Trace number 4392385

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 90.1997 49.8877

General information on the benchmark

NamePrimes/
Primes-m1-p10/Primes-10-40-2-7.xml
MD5SUMc03c7f5b7c3afa870e2bbdca7571e3a2
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.264843
Satisfiable
(Un)Satisfiability was proved
Number of variables100
Number of constraints40
Number of domains1
Minimum domain size28
Maximum domain size28
Distribution of domain sizes[{"size":28,"count":88}]
Minimum variable degree0
Maximum variable degree7
Distribution of variable degrees[{"degree":0,"count":12},{"degree":1,"count":20},{"degree":2,"count":25},{"degree":3,"count":20},{"degree":4,"count":12},{"degree":5,"count":5},{"degree":6,"count":3},{"degree":7,"count":3}]
Minimum constraint arity2
Maximum constraint arity9
Distribution of constraint arities[{"arity":2,"count":4},{"arity":3,"count":4},{"arity":4,"count":4},{"arity":5,"count":2},{"arity":6,"count":7},{"arity":7,"count":4},{"arity":8,"count":9},{"arity":9,"count":6}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"sum","count":40}]
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-6254-serial-file.bin HOME/instance-4392385-1568433465.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.57	c BEGIN-Prog: Sat Sep 14 05:57:04 CEST 2019
0.65/0.57	c PID: 6257
0.96/0.87	c IP: 172.20.3.141
0.96/0.87	c HOST: node141.alineos.net
0.96/0.87	c (0,0) Parsing Begin
1.20/1.09	c (0,0) Parsing End
1.20/1.10	c (0,0) CSP: 88 int (0 aux), 0 bool (0 aux), 40 ctr, max domain size 28
1.20/1.10	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.20/1.10	c (0,0) Constraint Name Generate Begin
1.20/1.11	c (0,0) Ctr:HOME/instance-4392385-1568433465.xml,Num:Var:WeightedSum
1.20/1.11	c (0,0) Constraint Name Generate End
1.20/1.11	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.20/1.11	c (0,0) CSP to CSPinCNF Begin
1.41/1.20	c (0,0) translated 4 (10%) constraints
1.56/1.21	c (0,0) translated 8 (20%) constraints
1.56/1.22	c (0,0) translated 12 (30%) constraints
1.56/1.23	c (0,0) translated 16 (40%) constraints
1.56/1.24	c (0,0) translated 20 (50%) constraints
1.56/1.25	c (0,0) translated 24 (60%) constraints
1.56/1.26	c (0,0) translated 28 (70%) constraints
1.56/1.26	c (0,0) translated 32 (80%) constraints
1.56/1.27	c (0,0) translated 36 (90%) constraints
1.56/1.27	c (0,0) translated 40 (100%) constraints
1.56/1.27	c (0,0) ===========================================
1.56/1.27	c (0,0) Order
1.56/1.27	c (0,0) ===========================================
1.79/1.31	c (0,0) translated 4 (10%) constraints
1.79/1.33	c (0,0) translated 8 (20%) constraints
1.79/1.34	c (0,0) translated 12 (30%) constraints
1.79/1.36	c (0,0) translated 16 (40%) constraints
1.79/1.38	c (0,0) translated 20 (50%) constraints
1.79/1.39	c (0,0) translated 24 (60%) constraints
2.04/1.41	c (0,0) translated 28 (70%) constraints
2.04/1.42	c (0,0) translated 32 (80%) constraints
2.04/1.42	c (0,0) translated 36 (90%) constraints
2.04/1.43	c (0,0) translated 40 (100%) constraints
2.04/1.43	c (0,0) CSP to CSPinCNF End
2.04/1.43	c (0,0) CSP: 214 int (126 aux), 0 bool (0 aux), 332 ctr, max domain size 1838
2.04/1.43	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB)
2.04/1.43	c (0,0) CSPinCNF Propagation Begin
2.04/1.45	c (0,0) 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed
2.04/1.45	c (0,0) CSPinCNF Propagation End
2.04/1.45	c (0,0) CSP: 214 int (126 aux), 0 bool (0 aux), 332 ctr, max domain size 1838
2.04/1.45	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB)
2.04/1.45	c (0,0) Simplify CSPinCNF Begin
2.04/1.46	c (0,0) Simplify CSPinCNF End
2.04/1.46	c (0,0) CSP: 214 int (126 aux), 0 bool (0 aux), 332 ctr, max domain size 1838
2.04/1.46	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB)
2.04/1.46	c (0,0) Calculate Precise Domain Begin
3.11/1.80	c (1,1) 7777 values are removed by re-calculation
3.11/1.80	c (1,1) Calculate Precise Domain End
3.11/1.80	c (1,1) CSP: 214 int (126 aux), 0 bool (0 aux), 332 ctr, max domain size 1495
3.11/1.80	c (1,1) Heap : 337 MiB used (max 21589 MiB), NonHeap : 24 MiB used (max 0 MiB)
3.11/1.80	c (1,1) CSPinCNF to SatSolver Begin
11.52/8.55	c (8,7) 34 (10 %) CSP clauses are encoded (0 SAT variables, 3703050 SAT clauses)
17.10/11.35	c (10,10) 67 (20 %) CSP clauses are encoded (0 SAT variables, 5146010 SAT clauses)
21.76/15.72	c (15,14) 100 (30 %) CSP clauses are encoded (0 SAT variables, 7803231 SAT clauses)
29.49/19.77	c (19,17) 133 (40 %) CSP clauses are encoded (0 SAT variables, 9437795 SAT clauses)
31.76/22.78	c (22,19) 166 (50 %) CSP clauses are encoded (0 SAT variables, 10886420 SAT clauses)
33.90/24.80	c (24,21) 200 (60 %) CSP clauses are encoded (0 SAT variables, 12171813 SAT clauses)
35.44/26.32	c (25,22) 233 (70 %) CSP clauses are encoded (0 SAT variables, 13145134 SAT clauses)
39.18/30.19	c (29,25) 266 (80 %) CSP clauses are encoded (0 SAT variables, 15072831 SAT clauses)
42.12/33.47	c (32,28) 299 (90 %) CSP clauses are encoded (0 SAT variables, 16904977 SAT clauses)
42.61/33.91	c (33,29) 332 (100 %) CSP clauses are encoded (0 SAT variables, 17180790 SAT clauses)
42.61/33.91	c (33,29) CSPinCNF to SatSolver End
42.61/33.91	c (33,29) Heap : 4894 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB)
42.61/33.91	c (33,29) 83220 bool, 17180797 clause
42.61/33.91	c (33,29) Export Begin
42.61/34.00	c (33,29) Export to HOME/scop-6254-serial-file.bin
42.61/34.00	c (33,29) Export End
42.77/34.00	c (33,29) Export File Size: 0.02 MB
42.77/34.00	c (33,29) 0,0,0,0,0,1,33,STOP-AFTER(DIMACS)
42.77/34.00	c END-Prog: Sat Sep 14 05:57:37 CEST 2019
42.77/34.04	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-6254-serial-file.bin
43.40/34.50	c (0,0) Read Serial File Begin
43.40/34.50	c (0,0) HOME/scop-6254-serial-file.bin
43.69/34.71	c (0,0) Read Serial File End
43.69/34.72	
43.69/34.72	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
43.69/34.72	(Solving Process)
43.69/34.72	
43.69/34.74	c BEGIN-Prog: Sat Sep 14 05:57:38 CEST 2019
43.69/34.74	c PID: 6279
43.69/34.74	c IP: 172.20.3.141
43.69/34.74	c HOST: node141.alineos.net
43.69/34.75	c (0,0) SatSolver.solve Begin
43.69/34.75	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4392385-1568433465.xml-scop-6257.cnf
43.69/34.77	c (0,0) c
43.69/34.77	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)
43.69/34.77	c (0,0) c
43.69/34.77	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
43.69/34.77	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
43.69/34.77	c (0,0) c ========================================[ Problem Statistics ]===========================================
43.69/34.77	c (0,0) c |                                                                                                       |
48.48/39.38	c (4,0) c |  Number of variables:         83220                                                                   |
48.48/39.38	c (4,0) c |  Number of clauses:        17179102                                                                   |
48.48/39.38	c (4,0) c |  Parse time:                   4.18 s                                                                 |
48.48/39.38	c (4,0) c |                                                                                                       |
49.68/40.54	c (6,0) c | Too many clauses... No preprocessing                                                                  |
49.68/40.54	c (6,0) c |  Simplification time:          1.01 s                                                                 |
49.68/40.54	c (6,0) c |                                                                                                       |
49.68/40.54	c (6,0) c |  One Solver is taking   1247.53Mb... Let's take   6 solvers for this run (max 40% of the maxmemory).  |
49.68/40.54	c (6,0) c |  Generating clones                                                                                    |
51.49/42.31	c (7,0) c |  all clones generated. Memory =  5919.81Mb.                                                           |
51.49/42.31	c (7,0) c ========================================================================================================|
51.49/42.31	c (7,0) c
51.49/42.31	c (7,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
51.49/42.31	c (7,0) c
51.49/42.31	c (7,0) c |-----------------------|------------|------------|------------|------------|------------|------------|
51.49/42.31	c (7,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |
51.49/42.31	c (7,0) c |-----------------------|------------|------------|------------|------------|------------|------------|
51.49/42.31	c (7,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |
51.49/42.31	c (7,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |
51.49/42.31	c (7,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |
51.49/42.31	c (7,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |
51.49/42.31	c (7,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |
51.49/42.31	c (7,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |
51.49/42.31	c (7,0) c | glureduce             |       True |       True |       True |       True |       True |       True |
51.49/42.31	c (7,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
51.49/42.31	c (7,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |
51.49/42.31	c (7,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |
51.49/42.31	c (7,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |
51.49/42.31	c (7,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
51.49/42.31	c (7,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
51.49/42.31	c (7,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |
51.49/42.31	c (7,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |
51.49/42.31	c (7,0) c |-----------------------|------------|------------|------------|------------|------------|------------|
89.31/49.45	c (15,0) c
89.31/49.45	c (15,0) c real time : 14.6806 s
89.31/49.45	c (15,0) c cpu time  : 40.5752 s
89.31/49.45	c (15,0) c
89.31/49.45	c (15,0) c
89.31/49.45	c (15,0) c
89.31/49.45	c (15,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
89.31/49.45	c (15,0) c
89.31/49.45	c (15,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|
89.31/49.45	c (15,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |
89.31/49.45	c (15,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|
89.31/49.45	c (15,0) c | Conflicts     |            3272 |        536 |        477 |        618 |        466 |        590 |        585 |
89.31/49.45	c (15,0) c | Decisions     |            8997 |       1885 |        789 |       1172 |       2579 |        983 |       1589 |
89.31/49.45	c (15,0) c | Propagations  |        16943600 |    2897089 |    2857328 |    2366686 |    3000944 |    2903283 |    2918270 |
89.31/49.45	c (15,0) c | ReduceDBs     |               0 |          0 |          0 |          0 |          0 |          0 |          0 |
89.31/49.45	c (15,0) c | SimpDBs       |               6 |          1 |          1 |          1 |          1 |          1 |          1 |
89.31/49.45	c (15,0) c | Restarts      |              12 |          2 |          2 |          1 |          3 |          2 |          2 |
89.31/49.45	c (15,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |
89.31/49.45	c (15,0) c | PropBinClauses|        37203963 |    6179433 |    6452110 |    5111971 |    6666458 |    6341307 |    6452684 |
89.31/49.45	c (15,0) c | PropPreBlocker|      2833715934 |  477064984 |  451266984 |  472113050 |  466693676 |  470264047 |  496313193 |
89.31/49.45	c (15,0) c | PropNotBlocker|       302674066 |   50064893 |   63498789 |   48336752 |   48427639 |   44230093 |   48115900 |
89.31/49.45	c (15,0) c | LitFullScans  |      3187114403 |  535594676 |  523417748 |  527619182 |  524067698 |  523175599 |  553239500 |
89.31/49.45	c (15,0) c | LitScanFracts |          830390 |     134964 |     136880 |     157321 |     109788 |     139561 |     151876 |
89.31/49.45	c (15,0) c | DecisionLevel0|              21 |          4 |          4 |          1 |          5 |          3 |          4 |
89.31/49.45	c (15,0) c | Periods       |             529 |         89 |         87 |         87 |         87 |         87 |         92 |
89.31/49.45	c (15,0) c | Margin        |             120 |         20 |         20 |         20 |         20 |         20 |         20 |
89.31/49.45	c (15,0) c | Avg_Trail     |                 |      55739 |      51550 |      64628 |      49816 |      50954 |      57341 |
89.31/49.45	c (15,0) c | Avg_DL        |                 |        471 |         18 |         24 |         26 |         22 |         39 |
89.31/49.45	c (15,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |
89.31/49.45	c (15,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |
89.31/49.45	c (15,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|
89.31/49.45	c (15,0) c | Exported      |             102 |         31 |          9 |          4 |         17 |         22 |         19 |
89.31/49.45	c (15,0) c | Imported      |             196 |         56 |         15 |          0 |         52 |         32 |         41 |
89.31/49.45	c (15,0) c | Good          |              42 |         13 |          2 |          0 |         12 |          6 |          9 |
89.31/49.45	c (15,0) c | Purge         |             154 |         43 |         13 |          0 |         40 |         26 |         32 |
89.31/49.45	c (15,0) c | Promoted      |               4 |          1 |          0 |          0 |          0 |          3 |          0 |
89.31/49.45	c (15,0) c | Remove_Imp    |               0 |          0 |          0 |          0 |          0 |          0 |          0 |
89.31/49.45	c (15,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |
89.31/49.45	c (15,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|
89.31/49.45	c (15,0) c | Unaries       |                 |          2 |          2 |          0 |          2 |          1 |          2 |
89.31/49.45	c (15,0) c | Binaries      |                 |          4 |          4 |          1 |          2 |          4 |          3 |
89.31/49.45	c (15,0) c | Glues         |                 |         31 |          9 |          4 |         17 |         22 |         19 |
89.31/49.45	c (15,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|
89.31/49.45	c (15,0) c | Orig_Seen     |             0 % |      13944 |      10839 |      11419 |      10741 |      13179 |      14207 |
89.31/49.45	c (15,0) c | Diff Orig seen|                 |       2525 | -      580 |      X     | -      678 |       1760 |       2788 |
89.31/49.45	c (15,0) c | Hamming       |            18 % |      17998 |      14908 |      X     |      17211 |      14364 |      13331 |
89.31/49.45	c (15,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|
89.31/49.45	c (15,0) c | RunningTime   |                 |    6.5 100%|    7.1 100%|    6.4 100%|    6.7 100%|    6.7 100%|    6.3  98%|
89.31/49.45	c (15,0) c | WaitingTime   |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.1   2%|
89.31/49.45	c (15,0) c | ExchangingTime|                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
89.31/49.45	c (15,0) c | PeriodProcTime|                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
89.31/49.45	c (15,0) c | SolvingTime   |                 |    6.5     |    7.1     |    6.4     |    6.7     |    6.7     |    6.4     |
89.31/49.45	c (15,0) c | PropagationTim|                 |    6.4  99%|    7.1  99%|    6.3  99%|    6.7  99%|    6.6  99%|    6.4  99%|
89.31/49.45	c (15,0) c | AnalysisTime  |                 |    0.0   1%|    0.0   0%|    0.0   1%|    0.0   0%|    0.0   1%|    0.0   1%|
89.31/49.45	c (15,0) c | ReductionTime |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
89.31/49.45	c (15,0) c | SimplifyTime  |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
89.31/49.45	c (15,0) c | UsedRateTime  |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
89.31/49.45	c (15,0) c | OverlapRateTim|                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
89.31/49.45	c (15,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|
89.31/49.45	c (15,0) c
89.31/49.45	c (15,0) c
89.31/49.45	c (15,0) c Threads : 6
89.31/49.45	c (15,0) c Winner : 2
89.31/49.45	c (15,0) c Conflicts_0 : 536
89.31/49.45	c (15,0) c Conflicts_1 : 477
89.31/49.45	c (15,0) c Conflicts_2 : 618
89.31/49.45	c (15,0) c Conflicts_3 : 466
89.31/49.45	c (15,0) c Conflicts_4 : 590
89.31/49.45	c (15,0) c Conflicts_5 : 585
89.31/49.45	c (15,0) c Conflicts_total : 3272
89.31/49.45	c (15,0) c Conflicts_winner : 618
89.31/49.45	c (15,0) c Decisions_0 : 1885
89.31/49.45	c (15,0) c Decisions_1 : 789
89.31/49.45	c (15,0) c Decisions_2 : 1172
89.31/49.45	c (15,0) c Decisions_3 : 2579
89.31/49.45	c (15,0) c Decisions_4 : 983
89.31/49.45	c (15,0) c Decisions_5 : 1589
89.31/49.45	c (15,0) c Decisions_total : 8997
89.31/49.45	c (15,0) c Decisions_winner : 1172
89.31/49.45	c (15,0) c Propagations_0 : 2897089
89.31/49.45	c (15,0) c Propagations_1 : 2857328
89.31/49.45	c (15,0) c Propagations_2 : 2366686
89.31/49.45	c (15,0) c Propagations_3 : 3000944
89.31/49.45	c (15,0) c Propagations_4 : 2903283
89.31/49.45	c (15,0) c Propagations_5 : 2918270
89.31/49.45	c (15,0) c Propagations_total : 16943600
89.31/49.45	c (15,0) c Propagations_winner : 2366686
89.31/49.45	c (15,0) c ReduceDBs_0 : 0
89.31/49.45	c (15,0) c ReduceDBs_1 : 0
89.31/49.45	c (15,0) c ReduceDBs_2 : 0
89.31/49.45	c (15,0) c ReduceDBs_3 : 0
89.31/49.45	c (15,0) c ReduceDBs_4 : 0
89.31/49.45	c (15,0) c ReduceDBs_5 : 0
89.31/49.45	c (15,0) c ReduceDBs_total : 0
89.31/49.45	c (15,0) c ReduceDBs_winner : 0
89.31/49.45	c (15,0) c SimpDBs_0 : 1
89.31/49.45	c (15,0) c SimpDBs_1 : 1
89.31/49.45	c (15,0) c SimpDBs_2 : 1
89.31/49.45	c (15,0) c SimpDBs_3 : 1
89.31/49.45	c (15,0) c SimpDBs_4 : 1
89.31/49.45	c (15,0) c SimpDBs_5 : 1
89.31/49.45	c (15,0) c SimpDBs_total : 6
89.31/49.45	c (15,0) c SimpDBs_winner : 1
89.31/49.45	c (15,0) c Restarts_0 : 2
89.31/49.45	c (15,0) c Restarts_1 : 2
89.31/49.45	c (15,0) c Restarts_2 : 1
89.31/49.45	c (15,0) c Restarts_3 : 3
89.31/49.45	c (15,0) c Restarts_4 : 2
89.31/49.45	c (15,0) c Restarts_5 : 2
89.31/49.45	c (15,0) c Restarts_total : 12
89.31/49.45	c (15,0) c Restarts_winner : 1
89.31/49.45	c (15,0) c ForcedImports_0 : 0
89.31/49.45	c (15,0) c ForcedImports_1 : 0
89.31/49.45	c (15,0) c ForcedImports_2 : 0
89.31/49.45	c (15,0) c ForcedImports_3 : 0
89.31/49.45	c (15,0) c ForcedImports_4 : 0
89.31/49.45	c (15,0) c ForcedImports_5 : 0
89.31/49.45	c (15,0) c ForcedImports_total : 0
89.31/49.45	c (15,0) c ForcedImports_winner : 0
89.31/49.45	c (15,0) c PropsBinClauses_0 : 6179433
89.31/49.45	c (15,0) c PropsBinClauses_1 : 6452110
89.31/49.45	c (15,0) c PropsBinClauses_2 : 5111971
89.31/49.45	c (15,0) c PropsBinClauses_3 : 6666458
89.31/49.45	c (15,0) c PropsBinClauses_4 : 6341307
89.31/49.45	c (15,0) c PropsBinClauses_5 : 6452684
89.31/49.45	c (15,0) c PropsBinClauses_total : 37203963
89.31/49.45	c (15,0) c PropsBinClauses_winner : 5111971
89.31/49.45	c (15,0) c PropsPreBlocker_0 : 477064984
89.31/49.45	c (15,0) c PropsPreBlocker_1 : 451266984
89.31/49.45	c (15,0) c PropsPreBlocker_2 : 472113050
89.31/49.45	c (15,0) c PropsPreBlocker_3 : 466693676
89.31/49.45	c (15,0) c PropsPreBlocker_4 : 470264047
89.31/49.45	c (15,0) c PropsPreBlocker_5 : 496313193
89.31/49.45	c (15,0) c PropsPreBlocker_total : 2833715934
89.31/49.45	c (15,0) c PropsPreBlocker_winner : 472113050
89.31/49.45	c (15,0) c PropsNotBlocker_0 : 50064893
89.31/49.45	c (15,0) c PropsNotBlocker_1 : 63498789
89.31/49.45	c (15,0) c PropsNotBlocker_2 : 48336752
89.31/49.45	c (15,0) c PropsNotBlocker_3 : 48427639
89.31/49.45	c (15,0) c PropsNotBlocker_4 : 44230093
89.31/49.45	c (15,0) c PropsNotBlocker_5 : 48115900
89.31/49.45	c (15,0) c PropsNotBlocker_total : 302674066
89.31/49.45	c (15,0) c PropsNotBlocker_winner : 48336752
89.31/49.46	c (15,0) c PropsLitFullScans_0 : 535594676
89.31/49.46	c (15,0) c PropsLitFullScans_1 : 523417748
89.31/49.46	c (15,0) c PropsLitFullScans_2 : 527619182
89.31/49.46	c (15,0) c PropsLitFullScans_3 : 524067698
89.31/49.46	c (15,0) c PropsLitFullScans_4 : 523175599
89.31/49.46	c (15,0) c PropsLitFullScans_5 : 553239500
89.31/49.46	c (15,0) c PropsLitFullScans_total : 3187114403
89.31/49.46	c (15,0) c PropsLitFullScans_winner : 527619182
89.31/49.46	c (15,0) c LitScanFractions_0 : 134964
89.31/49.46	c (15,0) c LitScanFractions_1 : 136880
89.31/49.46	c (15,0) c LitScanFractions_2 : 157321
89.31/49.46	c (15,0) c LitScanFractions_3 : 109788
89.31/49.46	c (15,0) c LitScanFractions_4 : 139561
89.31/49.46	c (15,0) c LitScanFractions_5 : 151876
89.31/49.46	c (15,0) c LitScanFractions_total : 830390
89.31/49.46	c (15,0) c LitScanFractions_winner : 157321
89.31/49.46	c (15,0) c DecisionLevel0_0 : 4
89.31/49.46	c (15,0) c DecisionLevel0_1 : 4
89.31/49.46	c (15,0) c DecisionLevel0_2 : 1
89.31/49.46	c (15,0) c DecisionLevel0_3 : 5
89.31/49.46	c (15,0) c DecisionLevel0_4 : 3
89.31/49.46	c (15,0) c DecisionLevel0_5 : 4
89.31/49.46	c (15,0) c DecisionLevel0_total : 21
89.31/49.46	c (15,0) c DecisionLevel0_winner : 1
89.31/49.46	c (15,0) c Periods_0 : 89
89.31/49.46	c (15,0) c Periods_1 : 87
89.31/49.46	c (15,0) c Periods_2 : 87
89.31/49.46	c (15,0) c Periods_3 : 87
89.31/49.46	c (15,0) c Periods_4 : 87
89.31/49.46	c (15,0) c Periods_5 : 92
89.31/49.46	c (15,0) c Periods_total : 529
89.31/49.46	c (15,0) c Periods_winner : 87
89.31/49.46	c (15,0) c Margin_0 : 20
89.31/49.46	c (15,0) c Margin_1 : 20
89.31/49.46	c (15,0) c Margin_2 : 20
89.31/49.46	c (15,0) c Margin_3 : 20
89.31/49.46	c (15,0) c Margin_4 : 20
89.31/49.46	c (15,0) c Margin_5 : 20
89.31/49.46	c (15,0) c Margin_total : 120
89.31/49.46	c (15,0) c Margin_winner : 20
89.31/49.46	c (15,0) c Exported_0 : 31
89.31/49.46	c (15,0) c Exported_1 : 9
89.31/49.46	c (15,0) c Exported_2 : 4
89.31/49.46	c (15,0) c Exported_3 : 17
89.31/49.46	c (15,0) c Exported_4 : 22
89.31/49.46	c (15,0) c Exported_5 : 19
89.31/49.46	c (15,0) c Exported_total : 102
89.31/49.46	c (15,0) c Exported_winner : 4
89.31/49.46	c (15,0) c Imported_0 : 56
89.31/49.46	c (15,0) c Imported_1 : 15
89.31/49.46	c (15,0) c Imported_2 : 0
89.31/49.46	c (15,0) c Imported_3 : 52
89.31/49.46	c (15,0) c Imported_4 : 32
89.31/49.46	c (15,0) c Imported_5 : 41
89.31/49.46	c (15,0) c Imported_total : 196
89.31/49.46	c (15,0) c Imported_winner : 0
89.31/49.46	c (15,0) c Good_0 : 13
89.31/49.46	c (15,0) c Good_1 : 2
89.31/49.46	c (15,0) c Good_2 : 0
89.31/49.46	c (15,0) c Good_3 : 12
89.31/49.46	c (15,0) c Good_4 : 6
89.31/49.46	c (15,0) c Good_5 : 9
89.31/49.46	c (15,0) c Good_total : 42
89.31/49.46	c (15,0) c Good_winner : 0
89.31/49.46	c (15,0) c Purge_0 : 43
89.31/49.46	c (15,0) c Purge_1 : 13
89.31/49.46	c (15,0) c Purge_2 : 0
89.31/49.46	c (15,0) c Purge_3 : 40
89.31/49.46	c (15,0) c Purge_4 : 26
89.31/49.46	c (15,0) c Purge_5 : 32
89.31/49.46	c (15,0) c Purge_total : 154
89.31/49.46	c (15,0) c Purge_winner : 0
89.31/49.46	c (15,0) c Promoted_0 : 1
89.31/49.46	c (15,0) c Promoted_1 : 0
89.31/49.46	c (15,0) c Promoted_2 : 0
89.31/49.46	c (15,0) c Promoted_3 : 0
89.31/49.46	c (15,0) c Promoted_4 : 3
89.31/49.46	c (15,0) c Promoted_5 : 0
89.31/49.46	c (15,0) c Promoted_total : 4
89.31/49.46	c (15,0) c Promoted_winner : 0
89.31/49.46	c (15,0) c Remove_Imp_0 : 0
89.31/49.46	c (15,0) c Remove_Imp_1 : 0
89.31/49.46	c (15,0) c Remove_Imp_2 : 0
89.31/49.46	c (15,0) c Remove_Imp_3 : 0
89.31/49.46	c (15,0) c Remove_Imp_4 : 0
89.31/49.46	c (15,0) c Remove_Imp_5 : 0
89.31/49.46	c (15,0) c Remove_Imp_total : 0
89.31/49.46	c (15,0) c Remove_Imp_winner : 0
89.31/49.46	c (15,0) c Blocked_Reuse_0 : 0
89.31/49.46	c (15,0) c Blocked_Reuse_1 : 0
89.31/49.46	c (15,0) c Blocked_Reuse_2 : 0
89.31/49.46	c (15,0) c Blocked_Reuse_3 : 0
89.31/49.46	c (15,0) c Blocked_Reuse_4 : 0
89.31/49.46	c (15,0) c Blocked_Reuse_5 : 0
89.31/49.46	c (15,0) c Blocked_Reuse_total : 0
89.31/49.46	c (15,0) c Blocked_Reuse_winner : 0
89.31/49.46	c (15,0) c Unaries_0 : 2
89.31/49.46	c (15,0) c Unaries_1 : 2
89.31/49.46	c (15,0) c Unaries_2 : 0
89.31/49.46	c (15,0) c Unaries_3 : 2
89.31/49.46	c (15,0) c Unaries_4 : 1
89.31/49.46	c (15,0) c Unaries_5 : 2
89.31/49.46	c (15,0) c Unaries_total : 9
89.31/49.46	c (15,0) c Unaries_winner : 0
89.31/49.46	c (15,0) c Binaries_0 : 4
89.31/49.46	c (15,0) c Binaries_1 : 4
89.31/49.46	c (15,0) c Binaries_2 : 1
89.31/49.46	c (15,0) c Binaries_3 : 2
89.31/49.46	c (15,0) c Binaries_4 : 4
89.31/49.46	c (15,0) c Binaries_5 : 3
89.31/49.46	c (15,0) c Binaries_total : 18
89.31/49.46	c (15,0) c Binaries_winner : 1
89.31/49.46	c (15,0) c Glues_0 : 31
89.31/49.46	c (15,0) c Glues_1 : 9
89.31/49.46	c (15,0) c Glues_2 : 4
89.31/49.46	c (15,0) c Glues_3 : 17
89.31/49.46	c (15,0) c Glues_4 : 22
89.31/49.46	c (15,0) c Glues_5 : 19
89.31/49.46	c (15,0) c Glues_total : 102
89.31/49.46	c (15,0) c Glues_winner : 4
89.31/49.46	c (15,0) c RunningTime_0 : 6.456811
89.31/49.46	c (15,0) c RunningTime_1 : 7.132927
89.31/49.46	c (15,0) c RunningTime_2 : 6.414062
89.31/49.46	c (15,0) c RunningTime_3 : 6.721149
89.31/49.46	c (15,0) c RunningTime_4 : 6.680627
89.31/49.46	c (15,0) c RunningTime_5 : 6.312119
89.31/49.46	c (15,0) c RunningTime_total : 39.717695
89.31/49.46	c (15,0) c RunningTime_winner : 6.414062
89.31/49.46	c (15,0) c WaitingTime_0 : 0.000134
89.31/49.46	c (15,0) c WaitingTime_1 : 0.000113
89.31/49.46	c (15,0) c WaitingTime_2 : 0.000090
89.31/49.46	c (15,0) c WaitingTime_3 : 0.000111
89.31/49.46	c (15,0) c WaitingTime_4 : 0.000114
89.31/49.46	c (15,0) c WaitingTime_5 : 0.114942
89.31/49.46	c (15,0) c WaitingTime_total : 0.115505
89.31/49.46	c (15,0) c WaitingTime_winner : 0.000090
89.31/49.46	c (15,0) c ExchangingTime_0 : 0.000730
89.31/49.46	c (15,0) c ExchangingTime_1 : 0.000539
89.31/49.46	c (15,0) c ExchangingTime_2 : 0.000602
89.31/49.46	c (15,0) c ExchangingTime_3 : 0.000613
89.31/49.46	c (15,0) c ExchangingTime_4 : 0.000840
89.31/49.46	c (15,0) c ExchangingTime_5 : 0.000865
89.31/49.46	c (15,0) c ExchangingTime_total : 0.004189
89.31/49.46	c (15,0) c ExchangingTime_winner : 0.000602
89.31/49.46	c (15,0) c PeriodProcTime_0 : 0.000925
89.31/49.46	c (15,0) c PeriodProcTime_1 : 0.000995
89.31/49.46	c (15,0) c PeriodProcTime_2 : 0.001051
89.31/49.46	c (15,0) c PeriodProcTime_3 : 0.001013
89.31/49.46	c (15,0) c PeriodProcTime_4 : 0.001015
89.31/49.46	c (15,0) c PeriodProcTime_5 : 0.001029
89.31/49.46	c (15,0) c PeriodProcTime_total : 0.006027
89.31/49.46	c (15,0) c PeriodProcTime_winner : 0.001051
89.31/49.46	c (15,0) c SolvingTime_0 : 6.458601
89.31/49.46	c (15,0) c SolvingTime_1 : 7.134574
89.31/49.46	c (15,0) c SolvingTime_2 : 6.415805
89.31/49.46	c (15,0) c SolvingTime_3 : 6.722885
89.31/49.46	c (15,0) c SolvingTime_4 : 6.682596
89.31/49.46	c (15,0) c SolvingTime_5 : 6.428956
89.31/49.46	c (15,0) c SolvingTime_total : 39.843417
89.31/49.46	c (15,0) c SolvingTime_winner : 6.415805
89.31/49.46	c (15,0) c PropagationTime_0 : 6.389597
89.31/49.46	c (15,0) c PropagationTime_1 : 7.066968
89.31/49.46	c (15,0) c PropagationTime_2 : 6.345476
89.31/49.46	c (15,0) c PropagationTime_3 : 6.653008
89.31/49.46	c (15,0) c PropagationTime_4 : 6.603101
89.31/49.46	c (15,0) c PropagationTime_5 : 6.355424
89.31/49.46	c (15,0) c PropagationTime_total : 39.413574
89.31/49.46	c (15,0) c PropagationTime_winner : 6.345476
89.31/49.46	c (15,0) c AnalysisTime_0 : 0.033666
89.31/49.46	c (15,0) c AnalysisTime_1 : 0.029893
89.31/49.46	c (15,0) c AnalysisTime_2 : 0.033621
89.31/49.46	c (15,0) c AnalysisTime_3 : 0.030780
89.31/49.46	c (15,0) c AnalysisTime_4 : 0.037544
89.31/49.46	c (15,0) c AnalysisTime_5 : 0.037870
89.31/49.46	c (15,0) c AnalysisTime_total : 0.203373
89.31/49.46	c (15,0) c AnalysisTime_winner : 0.033621
89.31/49.46	c (15,0) c ReductionTime_0 : 0.000000
89.31/49.46	c (15,0) c ReductionTime_1 : 0.000000
89.31/49.46	c (15,0) c ReductionTime_2 : 0.000000
89.31/49.46	c (15,0) c ReductionTime_3 : 0.000000
89.31/49.46	c (15,0) c ReductionTime_4 : 0.000000
89.31/49.46	c (15,0) c ReductionTime_5 : 0.000000
89.31/49.46	c (15,0) c ReductionTime_total : 0.000000
89.31/49.46	c (15,0) c ReductionTime_winner : 0.000000
89.31/49.46	c (15,0) c SimplifyTime_0 : 0.000000
89.31/49.46	c (15,0) c SimplifyTime_1 : 0.000001
89.31/49.46	c (15,0) c SimplifyTime_2 : 0.000000
89.31/49.46	c (15,0) c SimplifyTime_3 : 0.000001
89.31/49.46	c (15,0) c SimplifyTime_4 : 0.000000
89.31/49.46	c (15,0) c SimplifyTime_5 : 0.000000
89.31/49.46	c (15,0) c SimplifyTime_total : 0.000002
89.31/49.46	c (15,0) c SimplifyTime_winner : 0.000000
89.31/49.46	c (15,0) c UsedRateTime_0 : 0.000000
89.31/49.46	c (15,0) c UsedRateTime_1 : 0.000000
89.31/49.46	c (15,0) c UsedRateTime_2 : 0.000000
89.31/49.46	c (15,0) c UsedRateTime_3 : 0.000000
89.31/49.46	c (15,0) c UsedRateTime_4 : 0.000000
89.31/49.46	c (15,0) c UsedRateTime_5 : 0.000000
89.31/49.46	c (15,0) c UsedRateTime_total : 0.000000
89.31/49.46	c (15,0) c UsedRateTime_winner : 0.000000
89.31/49.46	c (15,0) c OverlapRateTime_0 : 0.000000
89.31/49.46	c (15,0) c OverlapRateTime_1 : 0.000000
89.31/49.46	c (15,0) c OverlapRateTime_2 : 0.000000
89.31/49.46	c (15,0) c OverlapRateTime_3 : 0.000000
89.31/49.46	c (15,0) c OverlapRateTime_4 : 0.000000
89.31/49.46	c (15,0) c OverlapRateTime_5 : 0.000000
89.31/49.46	c (15,0) c OverlapRateTime_total : 0.000000
89.31/49.46	c (15,0) c OverlapRateTime_winner : 0.000000
89.31/49.46	c (15,0) c
89.31/49.46	c (15,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
89.31/49.46	c (15,0) c
89.31/49.46	c (15,0) c |-----------------------|------------|------------|------------|------------|------------|------------|
89.31/49.46	c (15,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |
89.31/49.46	c (15,0) c |-----------------------|------------|------------|------------|------------|------------|------------|
89.31/49.46	c (15,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |
89.31/49.46	c (15,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |
89.31/49.46	c (15,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |
89.31/49.46	c (15,0) c | Initial random_seed   |  554802670 | 1612956142 | 1770345484 |  430167216 |  753031859 | 2124005528 |
89.31/49.46	c (15,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |
89.31/49.46	c (15,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |
89.31/49.46	c (15,0) c | glureduce             |       True |       True |       True |       True |       True |       True |
89.31/49.46	c (15,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
89.31/49.46	c (15,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |
89.31/49.46	c (15,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |
89.31/49.46	c (15,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |
89.31/49.46	c (15,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
89.31/49.46	c (15,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
89.31/49.46	c (15,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |
89.31/49.46	c (15,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |
89.31/49.46	c (15,0) c |-----------------------|------------|------------|------------|------------|------------|------------|
89.31/49.46	c (15,0) 
89.31/49.46	c (15,0) s SATISFIABLE
44.23/49.70	c (15,0) SatSolver.solve End
44.23/49.70	c (15,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
44.23/49.70	c (15,0) Show results Begin
90.04/49.81	c (15,0) x[0] = 2
90.04/49.81	c (15,0) x[2] = 6
90.04/49.81	c (15,0) x[3] = 7
90.04/49.81	c (15,0) x[4] = 11
90.04/49.81	c (15,0) x[5] = 13
90.04/49.81	c (15,0) x[6] = 19
90.04/49.81	c (15,0) x[7] = 7
90.04/49.81	c (15,0) x[8] = 29
90.04/49.81	c (15,0) x[9] = 3
90.04/49.81	c (15,0) x[10] = 18
90.04/49.81	c (15,0) x[11] = 29
90.04/49.81	c (15,0) x[12] = 2
90.04/49.81	c (15,0) x[13] = 8
90.04/49.81	c (15,0) x[14] = 8
90.04/49.81	c (15,0) x[15] = 18
90.04/49.81	c (15,0) x[17] = 13
90.04/49.81	c (15,0) x[18] = 26
90.04/49.81	c (15,0) x[19] = 28
90.04/49.81	c (15,0) x[20] = 8
90.04/49.81	c (15,0) x[21] = 13
90.04/49.81	c (15,0) x[23] = 28
90.04/49.81	c (15,0) x[24] = 8
90.04/49.81	c (15,0) x[25] = 4
90.04/49.81	c (15,0) x[26] = 5
90.04/49.81	c (15,0) x[27] = 15
90.04/49.81	c (15,0) x[28] = 21
90.04/49.81	c (15,0) x[29] = 22
90.04/49.81	c (15,0) x[30] = 25
90.04/49.82	c (15,0) x[31] = 10
90.04/49.82	c (15,0) x[32] = 7
90.04/49.82	c (15,0) x[33] = 23
90.04/49.82	c (15,0) x[34] = 27
90.04/49.82	c (15,0) x[35] = 6
90.04/49.82	c (15,0) x[36] = 12
90.04/49.82	c (15,0) x[37] = 11
90.04/49.82	c (15,0) x[38] = 19
90.04/49.82	c (15,0) x[39] = 12
90.04/49.82	c (15,0) x[40] = 24
90.04/49.82	c (15,0) x[41] = 21
90.04/49.82	c (15,0) x[42] = 13
90.04/49.82	c (15,0) x[43] = 13
90.04/49.82	c (15,0) x[44] = 16
90.04/49.82	c (15,0) x[45] = 2
90.04/49.82	c (15,0) x[46] = 21
90.04/49.82	c (15,0) x[47] = 6
90.04/49.82	c (15,0) x[48] = 7
90.04/49.82	c (15,0) x[49] = 9
90.04/49.82	c (15,0) x[50] = 4
90.04/49.82	c (15,0) x[51] = 4
90.04/49.82	c (15,0) x[53] = 28
90.04/49.82	c (15,0) x[54] = 10
90.04/49.82	c (15,0) x[55] = 10
90.04/49.82	c (15,0) x[56] = 10
90.04/49.82	c (15,0) x[57] = 4
90.04/49.82	c (15,0) x[59] = 29
90.04/49.82	c (15,0) x[60] = 5
90.04/49.82	c (15,0) x[61] = 4
90.04/49.82	c (15,0) x[63] = 21
90.04/49.82	c (15,0) x[64] = 20
90.04/49.82	c (15,0) x[65] = 27
90.04/49.82	c (15,0) x[66] = 15
90.04/49.82	c (15,0) x[67] = 12
90.04/49.82	c (15,0) x[68] = 10
90.04/49.82	c (15,0) x[69] = 25
90.04/49.82	c (15,0) x[71] = 19
90.04/49.82	c (15,0) x[72] = 24
90.04/49.82	c (15,0) x[73] = 23
90.04/49.82	c (15,0) x[74] = 2
90.04/49.82	c (15,0) x[75] = 9
90.04/49.82	c (15,0) x[79] = 29
90.04/49.82	c (15,0) x[81] = 20
90.04/49.82	c (15,0) x[82] = 24
90.04/49.82	c (15,0) x[83] = 26
90.04/49.82	c (15,0) x[84] = 9
90.04/49.82	c (15,0) x[85] = 27
90.04/49.82	c (15,0) x[86] = 10
90.04/49.82	c (15,0) x[87] = 6
90.04/49.82	c (15,0) x[88] = 8
90.04/49.82	c (15,0) x[89] = 24
90.04/49.82	c (15,0) x[90] = 20
90.04/49.82	c (15,0) x[91] = 11
90.04/49.82	c (15,0) x[92] = 17
90.04/49.82	c (15,0) x[93] = 26
90.04/49.82	c (15,0) x[94] = 27
90.04/49.82	c (15,0) x[95] = 3
90.04/49.82	c (15,0) x[97] = 14
90.04/49.82	c (15,0) x[98] = 11
90.04/49.82	c (15,0) x[99] = 14
90.04/49.82	s SATISFIABLE
90.04/49.83	v <instantiation>
90.04/49.83	v     <list>x[0] 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[17] x[18] x[19] x[20] x[21] 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] x[50] x[51] x[53] x[54] x[55] x[56] x[57] x[59] x[60] x[61] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[71] x[72] x[73] x[74] x[75] x[79] x[81] x[82] x[83] x[84] x[85] x[86] x[87] x[88] x[89] x[90] x[91] x[92] x[93] x[94] x[95] x[97] x[98] x[99]</list>
90.04/49.83	v     <values>2 6 7 11 13 19 7 29 3 18 29 2 8 8 18 13 26 28 8 13 28 8 4 5 15 21 22 25 10 7 23 27 6 12 11 19 12 24 21 13 13 16 2 21 6 7 9 4 4 28 10 10 10 4 29 5 4 21 20 27 15 12 10 25 19 24 23 2 9 29 20 24 26 9 27 10 6 8 24 20 11 17 26 27 3 14 11 14</values>
90.04/49.83	v </instantiation>
90.04/49.83	c (15,0) Show results End
90.04/49.83	c (15,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB)
90.04/49.83	c (15,0) 15,15,STOP-AFTER(ALL)
90.04/49.83	c END-Prog: Sat Sep 14 05:57:53 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 (15068 MiB free)
  memory of node 1: 16384 MiB (15488 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392385-1568433465/watcher-4392385-1568433465 -o /tmp/evaluation-result-4392385-1568433465/solver-4392385-1568433465 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node141-1568427839-5017 --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-4392385-1568433465.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=6254, runsolver pid=6251

[startup+0.100153 s]*
/proc/loadavg: 1.03 1.14 2.47 2/212 6276
/proc/meminfo: memFree=31194528/32770624 swapFree=66919308/67108860
[pid=6254] ppid=6251 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/6254/stat : 6254 (scop.sh) S 6251 6254 4990 0 -1 4202496 554 319 0 0 0 0 0 0 20 0 1 0 419284380 115843072 348 33554432000 4194304 5098028 140730470962240 140730470959496 140588670575228 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 25153536 140730470966053 140730470966380 140730470966380 140730470969293 0
/proc/6254/statm: 28282 348 296 221 0 87 0
[pid=6257] ppid=6254 vsize=27314120 memory=107520 CPUtime=0.11 cores=0-7
/proc/6257/stat : 6257 (java) S 6254 6254 4990 0 -1 1077944320 6486 0 0 0 9 2 0 0 20 0 20 0 419284381 27969658880 26880 33554432000 4194304 4196468 140735391168464 140735391151008 140083885342455 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27365376 140735391171308 140735391171734 140735391171734 140735391174607 0
/proc/6257/statm: 6828530 26880 2779 1 0 6790935 0
[pid=6257/tid=6258] ppid=6254 vsize=27314120 memory=8317482817917895235 CPUtime=0.08 cores=0-7
/proc/6257/task/6258/stat : 6258 (java) R 6254 6254 4990 0 -1 4202560 4601 0 0 0 7 1 0 0 20 0 20 0 419284381 27969658880 26945 33554432000 4194304 4196468 140735391168464 140083857164736 140083871024981 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27365376 140735391171308 140735391171734 140735391171734 140735391174607 0
[pid=6257/tid=6259] ppid=6254 vsize=27314120 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/6257/task/6259/stat : 6259 (java) S 6254 6254 4990 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419284383 27969658880 26945 33554432000 4194304 4196468 140735391168464 140083889585168 140083885352661 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27365376 140735391171308 140735391171734 140735391171734 140735391174607 0
[pid=6257/tid=6260] ppid=6254 vsize=27314120 memory=139852307797632 CPUtime=0 cores=0-7
/proc/6257/task/6260/stat : 6260 (java) S 6254 6254 4990 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419284383 27969658880 26945 33554432000 4194304 4196468 140735391168464 140083307642000 140083885352661 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27365376 140735391171308 140735391171734 140735391171734 140735391174607 0
[pid=6257/tid=6261] ppid=6254 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6257/task/6261/stat : 6261 (java) S 6254 6254 4990 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419284383 27969658880 26945 33554432000 4194304 4196468 140735391168464 140083306588944 140083885352661 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27365376 140735391171308 140735391171734 140735391171734 140735391174607 0
[pid=6257/tid=6262] ppid=6254 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6257/task/6262/stat : 6262 (java) S 6254 6254 4990 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419284383 27969658880 26945 33554432000 4194304 4196468 140735391168464 140083305536400 140083885352661 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27365376 140735391171308 140735391171734 140735391171734 140735391174607 0
[pid=6257/tid=6263] ppid=6254 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6257/task/6263/stat : 6263 (java) S 6254 6254 4990 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419284383 27969658880 26945 33554432000 4194304 4196468 140735391168464 140083304483344 140083885352661 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27365376 140735391171308 140735391171734 140735391171734 140735391174607 0
[pid=6257/tid=6264] ppid=6254 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/6257/task/6264/stat : 6264 (java) S 6254 6254 4990 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419284383 27969658880 26945 33554432000 4194304 4196468 140735391168464 140083303430800 140083885352661 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27365376 140735391171308 140735391171734 140735391171734 140735391174607 0
[pid=6257/tid=6265] ppid=6254 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6257/task/6265/stat : 6265 (java) S 6254 6254 4990 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419284383 27969658880 26945 33554432000 4194304 4196468 140735391168464 140083302377744 140083885352661 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27365376 140735391171308 140735391171734 140735391171734 140735391174607 0
[pid=6257/tid=6266] ppid=6254 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6257/task/6266/stat : 6266 (java) S 6254 6254 4990 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419284383 27969658880 26945 33554432000 4194304 4196468 140735391168464 140083301325200 140083885352661 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27365376 140735391171308 140735391171734 140735391171734 140735391174607 0
[pid=6257/tid=6267] ppid=6254 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6257/task/6267/stat : 6267 (java) S 6254 6254 4990 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419284385 27969658880 26945 33554432000 4194304 4196468 140735391168464 140081937148656 140083885353602 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27365376 140735391171308 140735391171734 140735391171734 140735391174607 0
[pid=6257/tid=6268] ppid=6254 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6257/task/6268/stat : 6268 (java) S 6254 6254 4990 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419284385 27969658880 26945 33554432000 4194304 4196468 140735391168464 140081834747552 140083885352661 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27365376 140735391171308 140735391171734 140735391171734 140735391174607 0
[pid=6257/tid=6269] ppid=6254 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6257/task/6269/stat : 6269 (java) S 6254 6254 4990 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419284386 27969658880 26945 33554432000 4194304 4196468 140735391168464 140081566311664 140083885352661 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27365376 140735391171308 140735391171734 140735391171734 140735391174607 0
[pid=6257/tid=6270] ppid=6254 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6257/task/6270/stat : 6270 (java) S 6254 6254 4990 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419284388 27969658880 26945 33554432000 4194304 4196468 140735391168464 140081191803344 140083885361051 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27365376 140735391171308 140735391171734 140735391171734 140735391174607 0
[pid=6257/tid=6271] ppid=6254 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6257/task/6271/stat : 6271 (java) S 6254 6254 4990 0 -1 1077944384 309 0 0 0 0 0 0 0 20 0 20 0 419284388 27969658880 26945 33554432000 4194304 4196468 140735391168464 140081936095472 140083885353602 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27365376 140735391171308 140735391171734 140735391171734 140735391174607 0
[pid=6257/tid=6272] ppid=6254 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6257/task/6272/stat : 6272 (java) S 6254 6254 4990 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419284388 27969658880 26945 33554432000 4194304 4196468 140735391168464 140081935042928 140083885353602 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27365376 140735391171308 140735391171734 140735391171734 140735391174607 0
[pid=6257/tid=6273] ppid=6254 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6257/task/6273/stat : 6273 (java) S 6254 6254 4990 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419284388 27969658880 26945 33554432000 4194304 4196468 140735391168464 140081933989872 140083885353602 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27365376 140735391171308 140735391171734 140735391171734 140735391174607 0
[pid=6257/tid=6274] ppid=6254 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6257/task/6274/stat : 6274 (java) R 6254 6254 4990 0 -1 4202560 248 0 0 0 0 0 0 0 20 0 20 0 419284388 27969658880 26945 33554432000 4194304 4196468 140735391168464 140081932937328 140083864238592 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27365376 140735391171308 140735391171734 140735391171734 140735391174607 0
[pid=6257/tid=6275] ppid=6254 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6257/task/6275/stat : 6275 (java) S 6254 6254 4990 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419284388 27969658880 26945 33554432000 4194304 4196468 140735391168464 140080693898208 140083885352661 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27365376 140735391171308 140735391171734 140735391171734 140735391174607 0
[pid=6257/tid=6276] ppid=6254 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/6257/task/6276/stat : 6276 (java) S 6254 6254 4990 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419284389 27969658880 26945 33554432000 4194304 4196468 140735391168464 140081931885744 140083885353602 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27365376 140735391171308 140735391171734 140735391171734 140735391174607 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 108912 KiB

[startup+0.210499 s]*
/proc/loadavg: 1.03 1.14 2.47 3/212 6276
/proc/meminfo: memFree=31176284/32770624 swapFree=66919308/67108860
[pid=6254] ppid=6251 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/6254/stat : 6254 (scop.sh) S 6251 6254 4990 0 -1 4202496 554 319 0 0 0 0 0 0 20 0 1 0 419284380 115843072 348 33554432000 4194304 5098028 140730470962240 140730470959496 140588670575228 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 25153536 140730470966053 140730470966380 140730470966380 140730470969293 0
/proc/6254/statm: 28282 348 296 221 0 87 0
[pid=6257] ppid=6254 vsize=27314120 memory=124868 CPUtime=0.25 cores=0-7
/proc/6257/stat : 6257 (java) S 6254 6254 4990 0 -1 1077944320 11502 0 0 0 21 4 0 0 20 0 20 0 419284381 27969658880 31217 33554432000 4194304 4196468 140735391168464 140735391151008 140083885342455 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27365376 140735391171308 140735391171734 140735391171734 140735391174607 0
/proc/6257/statm: 6828530 31217 2976 1 0 6790935 0
[pid=6257/tid=6258] ppid=6254 vsize=27314120 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/6257/task/6258/stat : 6258 (java) R 6254 6254 4990 0 -1 4202560 9214 0 0 0 17 3 0 0 20 0 20 0 419284381 27969658880 31217 33554432000 4194304 4196468 140735391168464 140083857141840 140083866906030 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27365376 140735391171308 140735391171734 140735391171734 140735391174607 0
[pid=6257/tid=6259] ppid=6254 vsize=27314120 memory=331 CPUtime=0 cores=0-7
/proc/6257/task/6259/stat : 6259 (java) S 6254 6254 4990 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419284383 27969658880 31217 33554432000 4194304 4196468 140735391168464 140083889585168 140083885352661 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27365376 140735391171308 140735391171734 140735391171734 140735391174607 0
[pid=6257/tid=6260] ppid=6254 vsize=27314120 memory=139852307805117 CPUtime=0 cores=0-7
/proc/6257/task/6260/stat : 6260 (java) S 6254 6254 4990 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419284383 27969658880 31217 33554432000 4194304 4196468 140735391168464 140083307642000 140083885352661 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27365376 140735391171308 140735391171734 140735391171734 140735391174607 0
[pid=6257/tid=6261] ppid=6254 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/6257/task/6261/stat : 6261 (java) S 6254 6254 4990 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419284383 27969658880 31217 33554432000 4194304 4196468 140735391168464 140083306588944 140083885352661 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27365376 140735391171308 140735391171734 140735391171734 140735391174607 0
[pid=6257/tid=6262] ppid=6254 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6257/task/6262/stat : 6262 (java) S 6254 6254 4990 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419284383 27969658880 31217 33554432000 4194304 4196468 140735391168464 140083305536400 140083885352661 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27365376 140735391171308 140735391171734 140735391171734 140735391174607 0
[pid=6257/tid=6263] ppid=6254 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6257/task/6263/stat : 6263 (java) S 6254 6254 4990 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419284383 27969658880 31217 33554432000 4194304 4196468 140735391168464 140083304483344 140083885352661 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27365376 140735391171308 140735391171734 140735391171734 140735391174607 0
[pid=6257/tid=6264] ppid=6254 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/6257/task/6264/stat : 6264 (java) S 6254 6254 4990 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419284383 27969658880 31217 33554432000 4194304 4196468 140735391168464 140083303430800 140083885352661 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27365376 140735391171308 140735391171734 140735391171734 140735391174607 0
[pid=6257/tid=6265] ppid=6254 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6257/task/6265/stat : 6265 (java) S 6254 6254 4990 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419284383 27969658880 31217 33554432000 4194304 4196468 140735391168464 140083302377744 140083885352661 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27365376 140735391171308 140735391171734 140735391171734 140735391174607 0
[pid=6257/tid=6266] ppid=6254 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6257/task/6266/stat : 6266 (java) S 6254 6254 4990 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419284383 27969658880 31217 33554432000 4194304 4196468 140735391168464 140083301325200 140083885352661 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27365376 140735391171308 140735391171734 140735391171734 140735391174607 0
[pid=6257/tid=6267] ppid=6254 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6257/task/6267/stat : 6267 (java) S 6254 6254 4990 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419284385 27969658880 31217 33554432000 4194304 4196468 140735391168464 140081937148656 140083885353602 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27365376 140735391171308 140735391171734 140735391171734 140735391174607 0
[pid=6257/tid=6268] ppid=6254 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6257/task/6268/stat : 6268 (java) S 6254 6254 4990 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419284385 27969658880 31217 33554432000 4194304 4196468 140735391168464 140081834747552 140083885352661 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27365376 140735391171308 140735391171734 140735391171734 140735391174607 0
[pid=6257/tid=6269] ppid=6254 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6257/task/6269/stat : 6269 (java) S 6254 6254 4990 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419284386 27969658880 31217 33554432000 4194304 4196468 140735391168464 140081566311664 140083885352661 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27365376 140735391171308 140735391171734 140735391171734 140735391174607 0
[pid=6257/tid=6270] ppid=6254 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6257/task/6270/stat : 6270 (java) S 6254 6254 4990 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419284388 27969658880 31217 33554432000 4194304 4196468 140735391168464 140081191803344 140083885361051 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27365376 140735391171308 140735391171734 140735391171734 140735391174607 0
[pid=6257/tid=6271] ppid=6254 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6257/task/6271/stat : 6271 (java) S 6254 6254 4990 0 -1 1077944384 343 0 0 0 0 0 0 0 20 0 20 0 419284388 27969658880 31217 33554432000 4194304 4196468 140735391168464 140081936095472 140083885353602 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27365376 140735391171308 140735391171734 140735391171734 140735391174607 0
[pid=6257/tid=6272] ppid=6254 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6257/task/6272/stat : 6272 (java) S 6254 6254 4990 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419284388 27969658880 31217 33554432000 4194304 4196468 140735391168464 140081935042928 140083885353602 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27365376 140735391171308 140735391171734 140735391171734 140735391174607 0
[pid=6257/tid=6273] ppid=6254 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/6257/task/6273/stat : 6273 (java) S 6254 6254 4990 0 -1 1077944384 132 0 0 0 0 0 0 0 20 0 20 0 419284388 27969658880 31217 33554432000 4194304 4196468 140735391168464 140081933989872 140083885353602 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27365376 140735391171308 140735391171734 140735391171734 140735391174607 0
[pid=6257/tid=6274] ppid=6254 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7
/proc/6257/task/6274/stat : 6274 (java) S 6254 6254 4990 0 -1 1077944384 474 0 0 0 2 0 0 0 20 0 20 0 419284388 27969658880 31217 33554432000 4194304 4196468 140735391168464 140081932937328 140083885353602 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27365376 140735391171308 140735391171734 140735391171734 140735391174607 0
[pid=6257/tid=6275] ppid=6254 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6257/task/6275/stat : 6275 (java) S 6254 6254 4990 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419284388 27969658880 31217 33554432000 4194304 4196468 140735391168464 140080693898208 140083885352661 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27365376 140735391171308 140735391171734 140735391171734 140735391174607 0
[pid=6257/tid=6276] ppid=6254 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/6257/task/6276/stat : 6276 (java) S 6254 6254 4990 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419284389 27969658880 31217 33554432000 4194304 4196468 140735391168464 140081931885744 140083885353602 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27365376 140735391171308 140735391171734 140735391171734 140735391174607 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 126260 KiB

[startup+0.309964 s]*
/proc/loadavg: 1.03 1.14 2.47 3/212 6276
/proc/meminfo: memFree=31173120/32770624 swapFree=66919308/67108860
[pid=6254] ppid=6251 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/6254/stat : 6254 (scop.sh) S 6251 6254 4990 0 -1 4202496 554 319 0 0 0 0 0 0 20 0 1 0 419284380 115843072 348 33554432000 4194304 5098028 140730470962240 140730470959496 140588670575228 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 25153536 140730470966053 140730470966380 140730470966380 140730470969293 0
/proc/6254/statm: 28282 348 296 221 0 87 0
[pid=6257] ppid=6254 vsize=27314120 memory=128280 CPUtime=0.42 cores=0-7
/proc/6257/stat : 6257 (java) S 6254 6254 4990 0 -1 1077944320 12426 0 0 0 38 4 0 0 20 0 20 0 419284381 27969658880 32070 33554432000 4194304 4196468 140735391168464 140735391151008 140083885342455 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27365376 140735391171308 140735391171734 140735391171734 140735391174607 0
/proc/6257/statm: 6828530 32070 3020 1 0 6790935 0
[pid=6257/tid=6258] ppid=6254 vsize=27314120 memory=8317482817917895235 CPUtime=0.29 cores=0-7
/proc/6257/task/6258/stat : 6258 (java) R 6254 6254 4990 0 -1 4202560 9968 0 0 0 26 3 0 0 20 0 20 0 419284381 27969658880 32070 33554432000 4194304 4196468 140735391168464 140083857172528 140083866906041 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27365376 140735391171308 140735391171734 140735391171734 140735391174607 0
[pid=6257/tid=6259] ppid=6254 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6257/task/6259/stat : 6259 (java) S 6254 6254 4990 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419284383 27969658880 32070 33554432000 4194304 4196468 140735391168464 140083889585168 140083885352661 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27365376 140735391171308 140735391171734 140735391171734 140735391174607 0
[pid=6257/tid=6260] ppid=6254 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6257/task/6260/stat : 6260 (java) S 6254 6254 4990 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419284383 27969658880 32070 33554432000 4194304 4196468 140735391168464 140083307642000 140083885352661 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27365376 140735391171308 140735391171734 140735391171734 140735391174607 0
[pid=6257/tid=6261] ppid=6254 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6257/task/6261/stat : 6261 (java) S 6254 6254 4990 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419284383 27969658880 32070 33554432000 4194304 4196468 140735391168464 140083306588944 140083885352661 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27365376 140735391171308 140735391171734 140735391171734 140735391174607 0
[pid=6257/tid=6262] ppid=6254 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6257/task/6262/stat : 6262 (java) S 6254 6254 4990 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419284383 27969658880 32070 33554432000 4194304 4196468 140735391168464 140083305536400 140083885352661 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27365376 140735391171308 140735391171734 140735391171734 140735391174607 0
[pid=6257/tid=6263] ppid=6254 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6257/task/6263/stat : 6263 (java) S 6254 6254 4990 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419284383 27969658880 32070 33554432000 4194304 4196468 140735391168464 140083304483344 140083885352661 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27365376 140735391171308 140735391171734 140735391171734 140735391174607 0
[pid=6257/tid=6264] ppid=6254 vsize=27314120 memory=139852188314287 CPUtime=0 cores=0-7
/proc/6257/task/6264/stat : 6264 (java) S 6254 6254 4990 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419284383 27969658880 32070 33554432000 4194304 4196468 140735391168464 140083303430800 140083885352661 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27365376 140735391171308 140735391171734 140735391171734 140735391174607 0
[pid=6257/tid=6265] ppid=6254 vsize=27314120 memory=139852188316592 CPUtime=0 cores=0-7
/proc/6257/task/6265/stat : 6265 (java) S 6254 6254 4990 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419284383 27969658880 32070 33554432000 4194304 4196468 140735391168464 140083302377744 140083885352661 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27365376 140735391171308 140735391171734 140735391171734 140735391174607 0
[pid=6257/tid=6266] ppid=6254 vsize=27314120 memory=139852188318896 CPUtime=0 cores=0-7
/proc/6257/task/6266/stat : 6266 (java) S 6254 6254 4990 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419284383 27969658880 32070 33554432000 4194304 4196468 140735391168464 140083301325200 140083885352661 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27365376 140735391171308 140735391171734 140735391171734 140735391174607 0
[pid=6257/tid=6267] ppid=6254 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6257/task/6267/stat : 6267 (java) S 6254 6254 4990 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419284385 27969658880 32070 33554432000 4194304 4196468 140735391168464 140081937148656 140083885353602 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27365376 140735391171308 140735391171734 140735391171734 140735391174607 0
[pid=6257/tid=6268] ppid=6254 vsize=27314120 memory=279704376651664 CPUtime=0 cores=0-7
/proc/6257/task/6268/stat : 6268 (java) S 6254 6254 4990 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419284385 27969658880 32070 33554432000 4194304 4196468 140735391168464 140081834747552 140083885352661 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27365376 140735391171308 140735391171734 140735391171734 140735391174607 0
[pid=6257/tid=6269] ppid=6254 vsize=27314120 memory=279704376649360 CPUtime=0 cores=0-7
/proc/6257/task/6269/stat : 6269 (java) S 6254 6254 4990 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419284386 27969658880 32070 33554432000 4194304 4196468 140735391168464 140081566311664 140083885352661 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27365376 140735391171308 140735391171734 140735391171734 140735391174607 0
[pid=6257/tid=6270] ppid=6254 vsize=27314120 memory=279704376656272 CPUtime=0 cores=0-7
/proc/6257/task/6270/stat : 6270 (java) S 6254 6254 4990 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419284388 27969658880 32070 33554432000 4194304 4196468 140735391168464 140081191803344 140083885361051 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27365376 140735391171308 140735391171734 140735391171734 140735391174607 0
[pid=6257/tid=6271] ppid=6254 vsize=27314120 memory=279704376597552 CPUtime=0.02 cores=0-7
/proc/6257/task/6271/stat : 6271 (java) S 6254 6254 4990 0 -1 1077944384 433 0 0 0 2 0 0 0 20 0 20 0 419284388 27969658880 32070 33554432000 4194304 4196468 140735391168464 140081936095472 140083885353602 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27365376 140735391171308 140735391171734 140735391171734 140735391174607 0
[pid=6257/tid=6272] ppid=6254 vsize=27314120 memory=279704376670096 CPUtime=0 cores=0-7
/proc/6257/task/6272/stat : 6272 (java) S 6254 6254 4990 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 20 0 419284388 27969658880 32070 33554432000 4194304 4196468 140735391168464 140081935042928 140083885353602 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27365376 140735391171308 140735391171734 140735391171734 140735391174607 0
[pid=6257/tid=6273] ppid=6254 vsize=27314120 memory=279704376677008 CPUtime=0.01 cores=0-7
/proc/6257/task/6273/stat : 6273 (java) S 6254 6254 4990 0 -1 1077944384 177 0 0 0 1 0 0 0 20 0 20 0 419284388 27969658880 32070 33554432000 4194304 4196468 140735391168464 140081933989872 140083885353602 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27365376 140735391171308 140735391171734 140735391171734 140735391174607 0
[pid=6257/tid=6274] ppid=6254 vsize=27314120 memory=279704376674704 CPUtime=0.07 cores=0-7
/proc/6257/task/6274/stat : 6274 (java) S 6254 6254 4990 0 -1 1077944384 495 0 0 0 7 0 0 0 20 0 20 0 419284388 27969658880 32070 33554432000 4194304 4196468 140735391168464 140081932937328 140083885353602 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27365376 140735391171308 140735391171734 140735391171734 140735391174607 0
[pid=6257/tid=6275] ppid=6254 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6257/task/6275/stat : 6275 (java) S 6254 6254 4990 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419284388 27969658880 32070 33554432000 4194304 4196468 140735391168464 140080693898208 140083885352661 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27365376 140735391171308 140735391171734 140735391171734 140735391174607 0
[pid=6257/tid=6276] ppid=6254 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/6257/task/6276/stat : 6276 (java) S 6254 6254 4990 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419284389 27969658880 32070 33554432000 4194304 4196468 140735391168464 140081931885744 140083885353602 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27365376 140735391171308 140735391171734 140735391171734 140735391174607 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 129672 KiB

[startup+0.700886 s]
/proc/loadavg: 1.03 1.14 2.47 2/212 6276
/proc/meminfo: memFree=31149432/32770624 swapFree=66919308/67108860
[pid=6254] ppid=6251 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/6254/stat : 6254 (scop.sh) S 6251 6254 4990 0 -1 4202496 554 319 0 0 0 0 0 0 20 0 1 0 419284380 115843072 348 33554432000 4194304 5098028 140730470962240 140730470959496 140588670575228 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 25153536 140730470966053 140730470966380 140730470966380 140730470969293 0
/proc/6254/statm: 28282 348 296 221 0 87 0
[pid=6257] ppid=6254 vsize=27320392 memory=164712 CPUtime=0.96 cores=0-7
/proc/6257/stat : 6257 (java) S 6254 6254 4990 0 -1 1077944320 19777 0 0 0 90 6 0 0 20 0 20 0 419284381 27976081408 41178 33554432000 4194304 4196468 140735391168464 140735391151008 140083885342455 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27365376 140735391171308 140735391171734 140735391171734 140735391174607 0
/proc/6257/statm: 6830098 41178 3166 1 0 6791447 0
[pid=6257/tid=6258] ppid=6254 vsize=27320392 memory=0 CPUtime=0.65 cores=0-7
/proc/6257/task/6258/stat : 6258 (java) D 6254 6254 4990 0 -1 4202560 16837 0 0 0 60 5 0 0 20 0 20 0 419284381 27976081408 41178 33554432000 4194304 4196468 140735391168464 140083857181728 140083885364381 0 4 2 25189581 18446744072100220037 0 0 -1 6 0 0 0 0 0 6293624 6294260 27365376 140735391171308 140735391171734 140735391171734 140735391174607 0
[pid=6257/tid=6259] ppid=6254 vsize=27320392 memory=139852188525424 CPUtime=0 cores=0-7
/proc/6257/task/6259/stat : 6259 (java) S 6254 6254 4990 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419284383 27976081408 41178 33554432000 4194304 4196468 140735391168464 140083889585168 140083885352661 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27365376 140735391171308 140735391171734 140735391171734 140735391174607 0
[pid=6257/tid=6260] ppid=6254 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/6257/task/6260/stat : 6260 (java) S 6254 6254 4990 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419284383 27976081408 41178 33554432000 4194304 4196468 140735391168464 140083307642000 140083885352661 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27365376 140735391171308 140735391171734 140735391171734 140735391174607 0
[pid=6257/tid=6261] ppid=6254 vsize=27320392 memory=1560 CPUtime=0 cores=0-7
/proc/6257/task/6261/stat : 6261 (java) S 6254 6254 4990 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419284383 27976081408 41178 33554432000 4194304 4196468 140735391168464 140083306588944 140083885352661 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27365376 140735391171308 140735391171734 140735391171734 140735391174607 0

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

[pid=6279/tid=6282] ppid=6254 vsize=8414124 memory=7739276948478191983 CPUtime=0 cores=0-7
/proc/6279/task/6282/stat : 6282 (java) S 6254 6254 4990 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419287787 8616062976 30440 33554432000 4194304 4196468 140736557682784 140139165723024 140139361322709 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14942208 140736557687800 140736557687958 140736557687958 140736557690831 0
[pid=6279/tid=6283] ppid=6254 vsize=8414124 memory=7660742144744843625 CPUtime=0 cores=0-7
/proc/6279/task/6283/stat : 6283 (java) S 6254 6254 4990 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419287787 8616062976 30440 33554432000 4194304 4196468 140736557682784 140139164670480 140139361322709 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14942208 140736557687800 140736557687958 140736557687958 140736557690831 0
[pid=6279/tid=6284] ppid=6254 vsize=8414124 memory=1472 CPUtime=0 cores=0-7
/proc/6279/task/6284/stat : 6284 (java) S 6254 6254 4990 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419287787 8616062976 30440 33554432000 4194304 4196468 140736557682784 140139163617936 140139361322709 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14942208 140736557687800 140736557687958 140736557687958 140736557690831 0
[pid=6279/tid=6285] ppid=6254 vsize=8414124 memory=121760 CPUtime=0 cores=0-7
/proc/6279/task/6285/stat : 6285 (java) S 6254 6254 4990 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419287787 8616062976 30440 33554432000 4194304 4196468 140736557682784 140139162565392 140139361322709 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14942208 140736557687800 140736557687958 140736557687958 140736557690831 0
[pid=6279/tid=6286] ppid=6254 vsize=8414124 memory=279704378168160 CPUtime=0 cores=0-7
/proc/6279/task/6286/stat : 6286 (java) S 6254 6254 4990 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419287787 8616062976 30440 33554432000 4194304 4196468 140736557682784 140139161512848 140139361322709 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14942208 140736557687800 140736557687958 140736557687958 140736557690831 0
[pid=6279/tid=6287] ppid=6254 vsize=8414124 memory=31076 CPUtime=0 cores=0-7
/proc/6279/task/6287/stat : 6287 (java) S 6254 6254 4990 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419287787 8616062976 30440 33554432000 4194304 4196468 140736557682784 140139160460304 140139361322709 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14942208 140736557687800 140736557687958 140736557687958 140736557690831 0
[pid=6279/tid=6288] ppid=6254 vsize=8414124 memory=4100 CPUtime=0 cores=0-7
/proc/6279/task/6288/stat : 6288 (java) S 6254 6254 4990 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419287787 8616062976 30440 33554432000 4194304 4196468 140736557682784 140139159407760 140139361322709 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14942208 140736557687800 140736557687958 140736557687958 140736557690831 0
[pid=6279/tid=6289] ppid=6254 vsize=8414124 memory=1412 CPUtime=0 cores=0-7
/proc/6279/task/6289/stat : 6289 (java) S 6254 6254 4990 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 419287788 8616062976 30440 33554432000 4194304 4196468 140736557682784 140138320410608 140139361323650 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14942208 140736557687800 140736557687958 140736557687958 140736557690831 0
[pid=6279/tid=6290] ppid=6254 vsize=8414124 memory=3056 CPUtime=0 cores=0-7
/proc/6279/task/6290/stat : 6290 (java) S 6254 6254 4990 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 419287789 8616062976 30440 33554432000 4194304 4196468 140736557682784 140138004865952 140139361322709 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14942208 140736557687800 140736557687958 140736557687958 140736557690831 0
[pid=6279/tid=6291] ppid=6254 vsize=8414124 memory=1472 CPUtime=0 cores=0-7
/proc/6279/task/6291/stat : 6291 (java) S 6254 6254 4990 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419287789 8616062976 30440 33554432000 4194304 4196468 140736557682784 140137736430576 140139361322709 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14942208 140736557687800 140736557687958 140736557687958 140736557690831 0
[pid=6279/tid=6292] ppid=6254 vsize=8414124 memory=121760 CPUtime=0 cores=0-7
/proc/6279/task/6292/stat : 6292 (java) S 6254 6254 4990 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419287791 8616062976 30440 33554432000 4194304 4196468 140736557682784 140137361922256 140139361331099 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14942208 140736557687800 140736557687958 140736557687958 140736557690831 0
[pid=6279/tid=6293] ppid=6254 vsize=8414124 memory=1418644 CPUtime=0.06 cores=0-7
/proc/6279/task/6293/stat : 6293 (java) S 6254 6254 4990 0 -1 1077944384 590 0 0 0 6 0 0 0 20 0 24 0 419287791 8616062976 30440 33554432000 4194304 4196468 140736557682784 140138319358448 140139361323650 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14942208 140736557687800 140736557687958 140736557687958 140736557690831 0
[pid=6279/tid=6294] ppid=6254 vsize=8414124 memory=1580 CPUtime=0.03 cores=0-7
/proc/6279/task/6294/stat : 6294 (java) S 6254 6254 4990 0 -1 1077944384 254 0 0 0 3 0 0 0 20 0 24 0 419287791 8616062976 30440 33554432000 4194304 4196468 140736557682784 140138318305904 140139361323650 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14942208 140736557687800 140736557687958 140736557687958 140736557690831 0
[pid=6279/tid=6295] ppid=6254 vsize=8414124 memory=7378411700643129199 CPUtime=0.07 cores=0-7
/proc/6279/task/6295/stat : 6295 (java) S 6254 6254 4990 0 -1 1077944384 315 0 0 0 7 0 0 0 20 0 24 0 419287791 8616062976 30440 33554432000 4194304 4196468 140736557682784 140138317253360 140139361323650 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14942208 140736557687800 140736557687958 140736557687958 140736557690831 0
[pid=6279/tid=6296] ppid=6254 vsize=8414124 memory=288230574492221466 CPUtime=0.19 cores=0-7
/proc/6279/task/6296/stat : 6296 (java) S 6254 6254 4990 0 -1 1077944384 513 0 0 0 19 0 0 0 20 0 24 0 419287791 8616062976 30440 33554432000 4194304 4196468 140736557682784 140138316200816 140139361323650 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14942208 140736557687800 140736557687958 140736557687958 140736557690831 0
[pid=6279/tid=6297] ppid=6254 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/6279/task/6297/stat : 6297 (java) S 6254 6254 4990 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419287792 8616062976 30440 33554432000 4194304 4196468 140736557682784 140136864016608 140139361322709 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14942208 140736557687800 140736557687958 140736557687958 140736557690831 0
[pid=6279/tid=6298] ppid=6254 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/6279/task/6298/stat : 6298 (java) S 6254 6254 4990 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419287792 8616062976 30440 33554432000 4194304 4196468 140736557682784 140138315147696 140139361323650 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 38 0 0 6293624 6294260 14942208 140736557687800 140736557687958 140736557687958 140736557690831 0
[pid=6279/tid=6300] ppid=6254 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/6279/task/6300/stat : 6300 (java) S 6254 6254 4990 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 419287857 8616062976 30440 33554432000 4194304 4196468 140736557682784 140138307114176 140139361337113 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 14942208 140736557687800 140736557687958 140736557687958 140736557690831 0
[pid=6279/tid=6302] ppid=6254 vsize=8414124 memory=6944656592455097440 CPUtime=0 cores=0-7
/proc/6279/task/6302/stat : 6302 (java) S 6254 6254 4990 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 419287858 8616062976 30440 33554432000 4194304 4196468 140736557682784 140136192917264 140139361334429 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 14942208 140736557687800 140736557687958 140736557687958 140736557690831 0
[pid=6279/tid=6303] ppid=6254 vsize=8414124 memory=6656426216303648864 CPUtime=0 cores=0-7
/proc/6279/task/6303/stat : 6303 (java) S 6254 6254 4990 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 419287858 8616062976 30440 33554432000 4194304 4196468 140736557682784 140136461352848 140139361334429 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 14942208 140736557687800 140736557687958 140736557687958 140736557690831 0
[pid=6279/tid=6304] ppid=6254 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/6279/task/6304/stat : 6304 (java) S 6254 6254 4990 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 24 0 419287860 8616062976 30440 33554432000 4194304 4196468 140736557682784 140135924489904 140139361322709 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14942208 140736557687800 140736557687958 140736557687958 140736557690831 0
Current children cumulated CPU time: 89.21 s
Current children cumulated vsize: 15429996 KiB
Current children cumulated memory: 6725236 KiB

[startup+49.7011 s]
/proc/loadavg: 1.37 1.22 2.44 2/219 6313
/proc/meminfo: memFree=24209492/32770624 swapFree=66919308/67108860
[pid=6254] ppid=6251 vsize=113128 memory=1472 CPUtime=42.81 cores=0-7
/proc/6254/stat : 6254 (scop.sh) S 6251 6254 4990 0 -1 4202496 580 38246 0 0 0 0 4103 178 20 0 1 0 419284380 115843072 368 33554432000 4194304 5098028 140730470962240 140730470958984 140588670575228 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 25153536 140730470966053 140730470966380 140730470966380 140730470969293 0
/proc/6254/statm: 28282 368 311 221 0 87 0
[pid=6279] ppid=6254 vsize=8414124 memory=141040 CPUtime=1.42 cores=0-7
/proc/6279/stat : 6279 (java) S 6254 6254 4990 0 -1 1077944320 21133 0 0 0 135 7 0 0 20 0 24 0 419287785 8616062976 35260 33554432000 4194304 4196468 140736557682784 140736557665328 140139361312503 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14942208 140736557687800 140736557687958 140736557687958 140736557690831 0
/proc/6279/statm: 2103531 35260 3225 1 0 2064875 0
[pid=6279/tid=6280] ppid=6254 vsize=8414124 memory=1472 CPUtime=0.74 cores=0-7
/proc/6279/task/6280/stat : 6280 (java) S 6254 6254 4990 0 -1 1077944384 16388 0 0 0 70 4 0 0 20 0 24 0 419287786 8616062976 35260 33554432000 4194304 4196468 140736557682784 140139333152672 140139361322709 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14942208 140736557687800 140736557687958 140736557687958 140736557690831 0
[pid=6279/tid=6281] ppid=6254 vsize=8414124 memory=8112282956445269571 CPUtime=0 cores=0-7
/proc/6279/task/6281/stat : 6281 (java) S 6254 6254 4990 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419287787 8616062976 35260 33554432000 4194304 4196468 140736557682784 140139365554448 140139361322709 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14942208 140736557687800 140736557687958 140736557687958 140736557690831 0
[pid=6279/tid=6282] ppid=6254 vsize=8414124 memory=3560 CPUtime=0 cores=0-7
/proc/6279/task/6282/stat : 6282 (java) S 6254 6254 4990 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419287787 8616062976 35260 33554432000 4194304 4196468 140736557682784 140139165723024 140139361322709 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14942208 140736557687800 140736557687958 140736557687958 140736557690831 0
[pid=6279/tid=6283] ppid=6254 vsize=8414124 memory=467 CPUtime=0 cores=0-7
/proc/6279/task/6283/stat : 6283 (java) S 6254 6254 4990 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419287787 8616062976 35260 33554432000 4194304 4196468 140736557682784 140139164670480 140139361322709 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14942208 140736557687800 140736557687958 140736557687958 140736557690831 0
[pid=6279/tid=6284] ppid=6254 vsize=8414124 memory=465 CPUtime=0 cores=0-7
/proc/6279/task/6284/stat : 6284 (java) S 6254 6254 4990 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419287787 8616062976 35260 33554432000 4194304 4196468 140736557682784 140139163617936 140139361322709 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14942208 140736557687800 140736557687958 140736557687958 140736557690831 0
[pid=6279/tid=6285] ppid=6254 vsize=8414124 memory=466 CPUtime=0 cores=0-7
/proc/6279/task/6285/stat : 6285 (java) S 6254 6254 4990 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419287787 8616062976 35260 33554432000 4194304 4196468 140736557682784 140139162565392 140139361322709 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14942208 140736557687800 140736557687958 140736557687958 140736557690831 0
[pid=6279/tid=6286] ppid=6254 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/6279/task/6286/stat : 6286 (java) S 6254 6254 4990 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419287787 8616062976 35260 33554432000 4194304 4196468 140736557682784 140139161512848 140139361322709 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14942208 140736557687800 140736557687958 140736557687958 140736557690831 0
[pid=6279/tid=6287] ppid=6254 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/6279/task/6287/stat : 6287 (java) S 6254 6254 4990 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419287787 8616062976 35260 33554432000 4194304 4196468 140736557682784 140139160460304 140139361322709 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14942208 140736557687800 140736557687958 140736557687958 140736557690831 0
[pid=6279/tid=6288] ppid=6254 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/6279/task/6288/stat : 6288 (java) S 6254 6254 4990 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419287787 8616062976 35260 33554432000 4194304 4196468 140736557682784 140139159407760 140139361322709 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14942208 140736557687800 140736557687958 140736557687958 140736557690831 0
[pid=6279/tid=6289] ppid=6254 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/6279/task/6289/stat : 6289 (java) S 6254 6254 4990 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 419287788 8616062976 35260 33554432000 4194304 4196468 140736557682784 140138320410608 140139361323650 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14942208 140736557687800 140736557687958 140736557687958 140736557690831 0
[pid=6279/tid=6290] ppid=6254 vsize=8414124 memory=8996 CPUtime=0 cores=0-7
/proc/6279/task/6290/stat : 6290 (java) S 6254 6254 4990 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 419287789 8616062976 35260 33554432000 4194304 4196468 140736557682784 140138004865952 140139361322709 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14942208 140736557687800 140736557687958 140736557687958 140736557690831 0
[pid=6279/tid=6291] ppid=6254 vsize=8414124 memory=1804 CPUtime=0 cores=0-7
/proc/6279/task/6291/stat : 6291 (java) S 6254 6254 4990 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419287789 8616062976 35260 33554432000 4194304 4196468 140736557682784 140137736430576 140139361322709 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14942208 140736557687800 140736557687958 140736557687958 140736557690831 0
[pid=6279/tid=6292] ppid=6254 vsize=8414124 memory=1472 CPUtime=0 cores=0-7
/proc/6279/task/6292/stat : 6292 (java) S 6254 6254 4990 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419287791 8616062976 35260 33554432000 4194304 4196468 140736557682784 140137361922256 140139361331099 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14942208 140736557687800 140736557687958 140736557687958 140736557690831 0
[pid=6279/tid=6293] ppid=6254 vsize=8414124 memory=121760 CPUtime=0.1 cores=0-7
/proc/6279/task/6293/stat : 6293 (java) S 6254 6254 4990 0 -1 1077944384 758 0 0 0 10 0 0 0 20 0 24 0 419287791 8616062976 35260 33554432000 4194304 4196468 140736557682784 140138319358448 140139361323650 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14942208 140736557687800 140736557687958 140736557687958 140736557690831 0
[pid=6279/tid=6294] ppid=6254 vsize=8414124 memory=4735556 CPUtime=0.07 cores=0-7
/proc/6279/task/6294/stat : 6294 (java) S 6254 6254 4990 0 -1 1077944384 543 0 0 0 7 0 0 0 20 0 24 0 419287791 8616062976 35260 33554432000 4194304 4196468 140736557682784 140138318305904 140139361323650 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14942208 140736557687800 140736557687958 140736557687958 140736557690831 0
[pid=6279/tid=6295] ppid=6254 vsize=8414124 memory=588 CPUtime=0.11 cores=0-7
/proc/6279/task/6295/stat : 6295 (java) S 6254 6254 4990 0 -1 1077944384 465 0 0 0 11 0 0 0 20 0 24 0 419287791 8616062976 35260 33554432000 4194304 4196468 140736557682784 140138317253360 140139361323650 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14942208 140736557687800 140736557687958 140736557687958 140736557690831 0
[pid=6279/tid=6296] ppid=6254 vsize=8414124 memory=780 CPUtime=0.24 cores=0-7
/proc/6279/task/6296/stat : 6296 (java) S 6254 6254 4990 0 -1 1077944384 1014 0 0 0 24 0 0 0 20 0 24 0 419287791 8616062976 35260 33554432000 4194304 4196468 140736557682784 140138316200816 140139361323650 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14942208 140736557687800 140736557687958 140736557687958 140736557690831 0
[pid=6279/tid=6297] ppid=6254 vsize=8414124 memory=1056 CPUtime=0 cores=0-7
/proc/6279/task/6297/stat : 6297 (java) S 6254 6254 4990 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419287792 8616062976 35260 33554432000 4194304 4196468 140736557682784 140136864016608 140139361322709 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14942208 140736557687800 140736557687958 140736557687958 140736557690831 0
[pid=6279/tid=6298] ppid=6254 vsize=8414124 memory=11464 CPUtime=0 cores=0-7
/proc/6279/task/6298/stat : 6298 (java) S 6254 6254 4990 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419287792 8616062976 35260 33554432000 4194304 4196468 140736557682784 140138315147696 140139361323650 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 38 0 0 6293624 6294260 14942208 140736557687800 140736557687958 140736557687958 140736557690831 0
[pid=6279/tid=6300] ppid=6254 vsize=8414124 memory=3 CPUtime=0 cores=0-7
/proc/6279/task/6300/stat : 6300 (java) S 6254 6254 4990 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 419287857 8616062976 35260 33554432000 4194304 4196468 140736557682784 140138307114176 140139361337113 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 14942208 140736557687800 140736557687958 140736557687958 140736557690831 0
[pid=6279/tid=6302] ppid=6254 vsize=8414124 memory=139852189421110 CPUtime=0.09 cores=0-7
/proc/6279/task/6302/stat : 6302 (java) S 6254 6254 4990 0 -1 4202560 563 0 0 0 9 0 0 0 20 0 24 0 419287858 8616062976 35260 33554432000 4194304 4196468 140736557682784 140136192917232 140139361334429 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 14942208 140736557687800 140736557687958 140736557687958 140736557690831 0
[pid=6279/tid=6303] ppid=6254 vsize=8414124 memory=279704378838624 CPUtime=0 cores=0-7
/proc/6279/task/6303/stat : 6303 (java) S 6254 6254 4990 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 419287858 8616062976 35260 33554432000 4194304 4196468 140736557682784 140136461352848 140139361334429 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 14942208 140736557687800 140736557687958 140736557687958 140736557690831 0
[pid=6279/tid=6304] ppid=6254 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/6279/task/6304/stat : 6304 (java) S 6254 6254 4990 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 24 0 419287860 8616062976 35260 33554432000 4194304 4196468 140736557682784 140135924489904 140139361322709 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14942208 140736557687800 140736557687958 140736557687958 140736557690831 0
Current children cumulated CPU time: 44.23 s
Current children cumulated vsize: 8527252 KiB
Current children cumulated memory: 142512 KiB

[startup+49.801 s]
/proc/loadavg: 1.37 1.22 2.44 2/219 6313
/proc/meminfo: memFree=24209492/32770624 swapFree=66919308/67108860
[pid=6254] ppid=6251 vsize=113128 memory=1472 CPUtime=42.81 cores=0-7
/proc/6254/stat : 6254 (scop.sh) S 6251 6254 4990 0 -1 4202496 580 38246 0 0 0 0 4103 178 20 0 1 0 419284380 115843072 368 33554432000 4194304 5098028 140730470962240 140730470958984 140588670575228 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 25153536 140730470966053 140730470966380 140730470966380 140730470969293 0
/proc/6254/statm: 28282 368 311 221 0 87 0
[pid=6279] ppid=6254 vsize=8283048 memory=146684 CPUtime=47.23 cores=0-7
/proc/6279/stat : 6279 (java) S 6254 6254 4990 0 -1 1077944320 21543 1825571 0 0 153 8 4059 503 20 0 22 0 419287785 8481841152 36671 33554432000 4194304 4196468 140736557682784 140736557665328 140139361312503 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14942208 140736557687800 140736557687958 140736557687958 140736557690831 0
/proc/6279/statm: 2070762 36671 3227 1 0 2032106 0
[pid=6279/tid=6280] ppid=6254 vsize=8283048 memory=121760 CPUtime=46.47 cores=0-7
/proc/6279/task/6280/stat : 6280 (java) R 6254 6254 4990 0 -1 4202560 16658 1825571 0 0 80 5 4059 503 20 0 22 0 419287786 8481841152 36671 33554432000 4194304 4196468 140736557682784 140139333150752 140139361324438 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14942208 140736557687800 140736557687958 140736557687958 140736557690831 0
[pid=6279/tid=6281] ppid=6254 vsize=8283048 memory=141040 CPUtime=45.62 cores=0-7
/proc/6279/task/6281/stat : 6281 (java) S 6254 6254 4990 0 -1 1077944384 2 1825571 0 0 0 0 4059 503 20 0 22 0 419287787 8481841152 36671 33554432000 4194304 4196468 140736557682784 140139365554448 140139361322709 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14942208 140736557687800 140736557687958 140736557687958 140736557690831 0
[pid=6279/tid=6282] ppid=6254 vsize=8283048 memory=1472 CPUtime=45.62 cores=0-7
/proc/6279/task/6282/stat : 6282 (java) S 6254 6254 4990 0 -1 1077944384 1 1825571 0 0 0 0 4059 503 20 0 22 0 419287787 8481841152 36671 33554432000 4194304 4196468 140736557682784 140139165723024 140139361322709 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14942208 140736557687800 140736557687958 140736557687958 140736557690831 0
[pid=6279/tid=6283] ppid=6254 vsize=8283048 memory=6594780 CPUtime=45.62 cores=0-7
/proc/6279/task/6283/stat : 6283 (java) S 6254 6254 4990 0 -1 1077944384 3 1825571 0 0 0 0 4059 503 20 0 22 0 419287787 8481841152 36671 33554432000 4194304 4196468 140736557682784 140139164670480 140139361322709 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14942208 140736557687800 140736557687958 140736557687958 140736557690831 0
[pid=6279/tid=6284] ppid=6254 vsize=8283048 memory=780 CPUtime=45.62 cores=0-7
/proc/6279/task/6284/stat : 6284 (java) S 6254 6254 4990 0 -1 1077944384 2 1825571 0 0 0 0 4059 503 20 0 22 0 419287787 8481841152 36671 33554432000 4194304 4196468 140736557682784 140139163617936 140139361322709 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14942208 140736557687800 140736557687958 140736557687958 140736557690831 0
[pid=6279/tid=6285] ppid=6254 vsize=8283048 memory=0 CPUtime=45.62 cores=0-7
/proc/6279/task/6285/stat : 6285 (java) S 6254 6254 4990 0 -1 1077944384 2 1825571 0 0 0 0 4059 503 20 0 22 0 419287787 8481841152 36671 33554432000 4194304 4196468 140736557682784 140139162565392 140139361322709 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14942208 140736557687800 140736557687958 140736557687958 140736557690831 0
[pid=6279/tid=6286] ppid=6254 vsize=8283048 memory=6000916 CPUtime=45.62 cores=0-7
/proc/6279/task/6286/stat : 6286 (java) S 6254 6254 4990 0 -1 1077944384 2 1825571 0 0 0 0 4059 503 20 0 22 0 419287787 8481841152 36671 33554432000 4194304 4196468 140736557682784 140139161512848 140139361322709 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14942208 140736557687800 140736557687958 140736557687958 140736557690831 0
[pid=6279/tid=6287] ppid=6254 vsize=8283048 memory=2811011 CPUtime=45.62 cores=0-7
/proc/6279/task/6287/stat : 6287 (java) S 6254 6254 4990 0 -1 1077944384 1 1825571 0 0 0 0 4059 503 20 0 22 0 419287787 8481841152 36671 33554432000 4194304 4196468 140736557682784 140139160460304 140139361322709 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14942208 140736557687800 140736557687958 140736557687958 140736557690831 0
[pid=6279/tid=6288] ppid=6254 vsize=8283048 memory=0 CPUtime=45.62 cores=0-7
/proc/6279/task/6288/stat : 6288 (java) S 6254 6254 4990 0 -1 1077944384 2 1825571 0 0 0 0 4059 503 20 0 22 0 419287787 8481841152 36671 33554432000 4194304 4196468 140736557682784 140139159407760 140139361322709 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14942208 140736557687800 140736557687958 140736557687958 140736557690831 0
[pid=6279/tid=6289] ppid=6254 vsize=8283048 memory=0 CPUtime=45.62 cores=0-7
/proc/6279/task/6289/stat : 6289 (java) S 6254 6254 4990 0 -1 1077944384 8 1825571 0 0 0 0 4059 503 20 0 22 0 419287788 8481841152 36671 33554432000 4194304 4196468 140736557682784 140138320410608 140139361323650 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14942208 140736557687800 140736557687958 140736557687958 140736557690831 0
[pid=6279/tid=6290] ppid=6254 vsize=8283048 memory=1472 CPUtime=45.62 cores=0-7
/proc/6279/task/6290/stat : 6290 (java) S 6254 6254 4990 0 -1 1077944384 13 1825571 0 0 0 0 4059 503 20 0 22 0 419287789 8481841152 36671 33554432000 4194304 4196468 140736557682784 140138004865952 140139361322709 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14942208 140736557687800 140736557687958 140736557687958 140736557690831 0
[pid=6279/tid=6291] ppid=6254 vsize=8283048 memory=121760 CPUtime=45.62 cores=0-7
/proc/6279/task/6291/stat : 6291 (java) S 6254 6254 4990 0 -1 1077944384 1 1825571 0 0 0 0 4059 503 20 0 22 0 419287789 8481841152 36671 33554432000 4194304 4196468 140736557682784 140137736430576 140139361322709 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14942208 140736557687800 140736557687958 140736557687958 140736557690831 0
[pid=6279/tid=6292] ppid=6254 vsize=8283048 memory=6596524 CPUtime=45.62 cores=0-7
/proc/6279/task/6292/stat : 6292 (java) S 6254 6254 4990 0 -1 1077944384 1 1825571 0 0 0 0 4059 503 20 0 22 0 419287791 8481841152 36671 33554432000 4194304 4196468 140736557682784 140137361922256 140139361331099 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14942208 140736557687800 140736557687958 140736557687958 140736557690831 0
[pid=6279/tid=6293] ppid=6254 vsize=8283048 memory=1472 CPUtime=45.74 cores=0-7
/proc/6279/task/6293/stat : 6293 (java) S 6254 6254 4990 0 -1 1077944384 767 1825571 0 0 12 0 4059 503 20 0 22 0 419287791 8481841152 36671 33554432000 4194304 4196468 140736557682784 140138319358448 140139361323650 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14942208 140736557687800 140736557687958 140736557687958 140736557690831 0
[pid=6279/tid=6294] ppid=6254 vsize=8283048 memory=121760 CPUtime=45.71 cores=0-7
/proc/6279/task/6294/stat : 6294 (java) S 6254 6254 4990 0 -1 1077944384 555 1825571 0 0 9 0 4059 503 20 0 22 0 419287791 8481841152 36671 33554432000 4194304 4196468 140736557682784 140138318305904 140139361323650 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14942208 140736557687800 140736557687958 140736557687958 140736557690831 0
[pid=6279/tid=6295] ppid=6254 vsize=8283048 memory=1392 CPUtime=45.74 cores=0-7
/proc/6279/task/6295/stat : 6295 (java) S 6254 6254 4990 0 -1 1077944384 467 1825571 0 0 12 0 4059 503 20 0 22 0 419287791 8481841152 36671 33554432000 4194304 4196468 140736557682784 140138317253360 140139361323650 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14942208 140736557687800 140736557687958 140736557687958 140736557690831 0
[pid=6279/tid=6296] ppid=6254 vsize=8283048 memory=1472 CPUtime=45.91 cores=0-7
/proc/6279/task/6296/stat : 6296 (java) S 6254 6254 4990 0 -1 1077944384 1122 1825571 0 0 29 0 4059 503 20 0 22 0 419287791 8481841152 36671 33554432000 4194304 4196468 140736557682784 140138316200816 140139361323650 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14942208 140736557687800 140736557687958 140736557687958 140736557690831 0
[pid=6279/tid=6297] ppid=6254 vsize=8283048 memory=121760 CPUtime=45.62 cores=0-7
/proc/6279/task/6297/stat : 6297 (java) S 6254 6254 4990 0 -1 1077944384 3 1825571 0 0 0 0 4059 503 20 0 22 0 419287792 8481841152 36671 33554432000 4194304 4196468 140736557682784 140136864016608 140139361322709 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14942208 140736557687800 140736557687958 140736557687958 140736557690831 0
[pid=6279/tid=6298] ppid=6254 vsize=8283048 memory=6500096 CPUtime=45.62 cores=0-7
/proc/6279/task/6298/stat : 6298 (java) S 6254 6254 4990 0 -1 1077944384 3 1825571 0 0 0 0 4059 503 20 0 22 0 419287792 8481841152 36671 33554432000 4194304 4196468 140736557682784 140138315147696 140139361323650 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 38 0 0 6293624 6294260 14942208 140736557687800 140736557687958 140736557687958 140736557690831 0
[pid=6279/tid=6300] ppid=6254 vsize=8283048 memory=3184 CPUtime=45.62 cores=0-7
/proc/6279/task/6300/stat : 6300 (java) S 6254 6254 4990 0 -1 1077944384 25 1825571 0 0 0 0 4059 503 20 0 22 0 419287857 8481841152 36671 33554432000 4194304 4196468 140736557682784 140138307113360 140139361323650 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14942208 140736557687800 140736557687958 140736557687958 140736557690831 0
[pid=6279/tid=6304] ppid=6254 vsize=8283048 memory=6487300 CPUtime=45.62 cores=0-7
/proc/6279/task/6304/stat : 6304 (java) S 6254 6254 4990 0 -1 1077944384 16 1825571 0 0 0 0 4059 503 20 0 22 0 419287860 8481841152 36671 33554432000 4194304 4196468 140736557682784 140135924491696 140139361323650 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14942208 140736557687800 140736557687958 140736557687958 140736557690831 0
Current children cumulated CPU time: 90.04 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 148156 KiB

Child status: 0
Real time (s): 49.8877
CPU time (s): 90.1997
CPU user time (s): 83.2302
CPU system time (s): 6.96952
CPU usage (%): 180.805
Max. virtual memory (cumulated for all children) (KiB): 27441876
Max. memory (cumulated for all children) (KiB): 6725236

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 83.2302
system time used= 6.96952
maximum resident set size= 6602160
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1887060
page faults= 0
swaps= 0
block input operations= 16
block output operations= 701928
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 288054
involuntary context switches= 262


# summary of solver processes directly reported to runsolver:
#   pid: 6254
#   total CPU time (s): 90.1997
#   total CPU user time (s): 83.2302
#   total CPU system time (s): 6.96952

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.379975 second user time and 0.56282 second system time

The end

Launcher Data 

Begin job on node141 at 2019-09-14 05:57:03
IDJOB=4392385
IDBENCH=133410
IDSOLVER=2838
FILE ID=node141/4392385-1568433465
RUNJOBID= node141-1568427839-5017
PBS_JOBID= 21702301
Free space on /tmp= 58540 MiB

SOLVER NAME= Fun-sCOP order+ManyGlucose (2019-06-15)
BENCH NAME= XCSP17/Primes/Primes-m1-p10/Primes-10-40-2-7.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-4392385-1568433465/watcher-4392385-1568433465 -o /tmp/evaluation-result-4392385-1568433465/solver-4392385-1568433465 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node141-1568427839-5017 --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-4392385-1568433465.xml

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

MD5SUM BENCH= c03c7f5b7c3afa870e2bbdca7571e3a2
RANDOM SEED=1034148908

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.93
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.93
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.93
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        31290996 kB
MemAvailable:   31841220 kB
Buffers:          182104 kB
Cached:           656452 kB
SwapCached:        80308 kB
Active:           440812 kB
Inactive:         481072 kB
Active(anon):       9400 kB
Inactive(anon):   106128 kB
Active(file):     431412 kB
Inactive(file):   374944 kB
Unevictable:      109464 kB
Mlocked:          109464 kB
SwapTotal:      67108860 kB
SwapFree:       66919308 kB
Dirty:             20708 kB
Writeback:             0 kB
AnonPages:        111056 kB
Mapped:            36092 kB
Shmem:             23336 kB
Slab:             149500 kB
SReclaimable:     119404 kB
SUnreclaim:        30096 kB
KernelStack:        3552 kB
PageTables:         5296 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     499048 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     65536 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      128384 kB
DirectMap2M:    33417216 kB

Free space on /tmp at the end= 58520 MiB
End job on node141 at 2019-09-14 05:57:53