Trace number 4392575

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

NameCrossword/
Crossword-m1c-ogd-vg/Crossword-m1c-ogd-vg-15-19.xml
MD5SUM771a2032fa08b3551aec0b6adeb94e67
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.204409
Satisfiable
(Un)Satisfiability was proved
Number of variables285
Number of constraints34
Number of domains1
Minimum domain size26
Maximum domain size26
Distribution of domain sizes[{"size":26,"count":285}]
Minimum variable degree2
Maximum variable degree2
Distribution of variable degrees[{"degree":2,"count":285}]
Minimum constraint arity15
Maximum constraint arity19
Distribution of constraint arities[{"arity":15,"count":19},{"arity":19,"count":15}]
Number of extensional constraints34
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":34}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c (scop.sh) java -Xms22g -Xmx22g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Encode -hybrid -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-17909-serial-file.bin HOME/instance-4392575-1568446559.xml
0.66/0.54	
0.66/0.54	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
0.66/0.54	
0.66/0.56	c BEGIN-Prog: Sat Sep 14 09:35:16 CEST 2019
0.66/0.56	c PID: 17912
0.66/0.56	c IP: 172.20.3.136
0.66/0.56	c HOST: node136.alineos.net
0.66/0.57	c (0,0) Parsing Begin
2.03/1.10	c (0,0) Parsing End
2.03/1.10	c (0,0) CSP: 285 int (0 aux), 0 bool (0 aux), 34 ctr, max domain size 26
2.03/1.10	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
2.03/1.10	c (0,0) Constraint Name Generate Begin
2.32/1.11	c (0,0) Ctr:HOME/instance-4392575-1568446559.xml,ExtensionSupport:Var
2.32/1.11	c (0,0) Constraint Name Generate End
2.32/1.11	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
2.32/1.11	c (0,0) CSP to CSPinCNF Begin
12.50/4.42	c (3,3) translated 4 (10%) constraints
14.56/6.47	c (5,5) translated 7 (20%) constraints
17.46/9.20	c (8,8) translated 11 (30%) constraints
19.52/11.24	c (10,10) translated 14 (40%) constraints
31.27/20.65	c (20,19) translated 17 (50%) constraints
59.99/44.32	c (43,42) translated 21 (60%) constraints
89.16/68.26	c (67,66) translated 24 (70%) constraints
136.95/104.12	c (103,100) translated 28 (80%) constraints
163.61/125.42	c (124,120) translated 31 (90%) constraints
181.88/140.57	c (140,135) translated 34 (100%) constraints
181.99/140.60	c (140,135) ===========================================
182.48/141.09	c (140,135) Hybrid: #OE=298696, #LE=0
182.48/141.09	c (140,135) Hybrid
182.48/141.09	c (140,135) ===========================================
186.53/144.36	c (143,139) translated 174492 (10%) constraints
189.84/147.67	c (147,142) translated 348983 (20%) constraints
193.30/151.02	c (150,145) translated 523474 (30%) constraints
199.63/154.73	c (154,149) translated 697965 (40%) constraints
202.94/158.06	c (157,152) translated 872456 (50%) constraints
206.33/161.40	c (160,155) translated 1046948 (60%) constraints
209.69/164.74	c (164,159) translated 1221439 (70%) constraints
213.00/168.07	c (167,162) translated 1395930 (80%) constraints
216.31/171.39	c (170,165) translated 1570421 (90%) constraints
223.92/175.27	c (174,169) translated 1744912 (100%) constraints
223.92/175.27	c (174,169) CSP to CSPinCNF End
224.20/175.40	c (174,169) CSP: 285 int (0 aux), 298411 bool (298411 aux), 1744912 ctr, max domain size 24
224.20/175.40	c (174,169) Heap : 2670 MiB used (max 21562 MiB), NonHeap : 26 MiB used (max 0 MiB)
224.20/175.40	c (174,169) CSPinCNF Propagation Begin
247.24/191.54	c (190,184) 21788 values, 74103 unsatisfiable literals, and 112651 valid clauses are removed
247.24/191.54	c (190,184) CSPinCNF Propagation End
247.34/191.67	c (191,184) CSP: 285 int (0 aux), 298411 bool (298411 aux), 1632261 ctr, max domain size 24
247.34/191.67	c (191,184) Heap : 5978 MiB used (max 21659 MiB), NonHeap : 27 MiB used (max 0 MiB)
247.85/192.15	c (191,185) Hybrid: #OE=298696, #LE=0
247.85/192.15	c (191,185) Simplify CSPinCNF Begin
251.21/195.35	c (194,188) Simplify CSPinCNF End
251.31/195.47	c (194,188) CSP: 285 int (0 aux), 298411 bool (298411 aux), 1632261 ctr, max domain size 24
251.31/195.47	c (194,188) Heap : 7695 MiB used (max 21659 MiB), NonHeap : 28 MiB used (max 0 MiB)
251.31/195.47	c (194,188) Calculate Precise Domain Begin
251.31/195.47	c (194,188) 0 values are removed by re-calculation
251.31/195.47	c (194,188) Calculate Precise Domain End
251.41/195.59	c (195,188) CSP: 285 int (0 aux), 298411 bool (298411 aux), 1632261 ctr, max domain size 24
251.41/195.59	c (195,188) Heap : 7695 MiB used (max 21659 MiB), NonHeap : 28 MiB used (max 0 MiB)
251.41/195.59	c (195,188) CSPinCNF to SatSolver Begin
259.41/198.29	c (197,190) 163227 (10 %) CSP clauses are encoded (0 SAT variables, 167896 SAT clauses)
260.94/199.70	c (199,192) 326453 (20 %) CSP clauses are encoded (0 SAT variables, 331122 SAT clauses)
262.36/201.11	c (200,193) 489679 (30 %) CSP clauses are encoded (0 SAT variables, 494348 SAT clauses)
263.75/202.55	c (202,194) 652905 (40 %) CSP clauses are encoded (0 SAT variables, 657574 SAT clauses)
269.72/204.56	c (204,196) 816131 (50 %) CSP clauses are encoded (0 SAT variables, 820800 SAT clauses)
271.12/205.97	c (205,197) 979357 (60 %) CSP clauses are encoded (0 SAT variables, 984026 SAT clauses)
272.53/207.38	c (206,199) 1142583 (70 %) CSP clauses are encoded (0 SAT variables, 1147252 SAT clauses)
273.92/208.78	c (208,200) 1305809 (80 %) CSP clauses are encoded (0 SAT variables, 1310478 SAT clauses)
275.33/210.18	c (209,201) 1469035 (90 %) CSP clauses are encoded (0 SAT variables, 1473704 SAT clauses)
279.55/211.93	c (211,203) 1632261 (100 %) CSP clauses are encoded (0 SAT variables, 1636930 SAT clauses)
279.55/211.93	c (211,203) CSPinCNF to SatSolver End
279.55/211.93	c (211,203) Heap : 3474 MiB used (max 20942 MiB), NonHeap : 30 MiB used (max 0 MiB)
279.55/211.93	c (211,203) 281594 bool, 1636931 clause
279.55/211.93	c (211,203) Export Begin
279.69/212.07	c (211,203) Export to HOME/scop-17909-serial-file.bin
279.69/212.07	c (211,203) Export End
279.69/212.07	c (211,203) Export File Size: 0.17 MB
279.69/212.07	c (211,203) 0,0,174,191,194,195,211,STOP-AFTER(DIMACS)
279.69/212.07	c END-Prog: Sat Sep 14 09:38:47 CEST 2019
0.00/212.13	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-17909-serial-file.bin
279.93/212.60	c (0,0) Read Serial File Begin
279.93/212.60	c (0,0) HOME/scop-17909-serial-file.bin
279.93/212.87	c (0,0) Read Serial File End
279.93/212.89	
279.93/212.89	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
279.93/212.89	(Solving Process)
279.93/212.89	
279.93/212.91	c BEGIN-Prog: Sat Sep 14 09:38:48 CEST 2019
279.93/212.91	c PID: 17946
279.93/212.91	c IP: 172.20.3.136
279.93/212.91	c HOST: node136.alineos.net
279.93/212.91	c (0,0) SatSolver.solve Begin
279.93/212.91	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4392575-1568446559.xml-scop-17912.cnf
279.93/212.94	c (0,0) c
279.93/212.94	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)
279.93/212.94	c (0,0) c
279.93/212.94	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
279.93/212.94	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
279.93/212.94	c (0,0) c ========================================[ Problem Statistics ]===========================================
279.93/212.94	c (0,0) c |                                                                                                       |
281.96/213.62	c (1,0) c |  Number of variables:        281594                                                                   |
281.96/213.62	c (1,0) c |  Number of clauses:         1636368                                                                   |
281.96/213.62	c (1,0) c |  Parse time:                   0.60 s                                                                 |
281.96/213.62	c (1,0) c |                                                                                                       |
284.96/216.62	c (4,0) c |  Simplification time:          2.96 s                                                                 |
284.96/216.62	c (4,0) c |                                                                                                       |
284.96/216.62	c (4,0) c |  Generating clones                                                                                    |
285.86/217.53	c (5,0) c |  all clones generated. Memory =  1340.69Mb.                                                           |
285.86/217.53	c (5,0) c ========================================================================================================|
285.86/217.53	c (5,0) c
285.86/217.53	c (5,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
285.86/217.53	c (5,0) c
285.86/217.53	c (5,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
285.86/217.53	c (5,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
285.86/217.53	c (5,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
285.86/217.53	c (5,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
285.86/217.53	c (5,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
285.86/217.53	c (5,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
285.86/217.53	c (5,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
285.86/217.53	c (5,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
285.86/217.53	c (5,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
285.86/217.53	c (5,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
285.86/217.53	c (5,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
285.86/217.53	c (5,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
285.86/217.53	c (5,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
285.86/217.53	c (5,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
285.86/217.53	c (5,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
285.86/217.53	c (5,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
285.86/217.53	c (5,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
285.86/217.53	c (5,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
285.86/217.53	c (5,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
285.86/217.55	c (5,0) c
285.86/217.55	c (5,0) c real time : 4.61947 s
285.86/217.56	c (5,0) c cpu time  : 4.2441 s
285.86/217.56	c (5,0) c
285.86/217.56	c (5,0) c
285.86/217.56	c (5,0) c
285.86/217.56	c (5,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
285.86/217.56	c (5,0) c
285.86/217.56	c (5,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
285.86/217.56	c (5,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
285.86/217.56	c (5,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
285.86/217.56	c (5,0) c | Conflicts     |              78 |          8 |         11 |          8 |          8 |          8 |          8 |         11 |         16 |
285.86/217.56	c (5,0) c | Decisions     |           20193 |       3240 |       3417 |       3302 |       3360 |       3386 |       3361 |         38 |         89 |
285.86/217.56	c (5,0) c | Propagations  |           92435 |      16442 |       8784 |       6161 |      18129 |      10900 |       8491 |       9142 |      14386 |
285.86/217.56	c (5,0) c | ReduceDBs     |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
285.86/217.56	c (5,0) c | SimpDBs       |               8 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |
285.86/217.56	c (5,0) c | Restarts      |               8 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |
285.86/217.56	c (5,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
285.86/217.56	c (5,0) c | PropBinClauses|          160176 |      15667 |      18786 |      16142 |      26244 |      19678 |      18238 |      20499 |      24922 |
285.86/217.56	c (5,0) c | PropPreBlocker|          291624 |      21633 |      32371 |      23811 |      51056 |      40743 |      29768 |      40366 |      51876 |
285.86/217.56	c (5,0) c | PropNotBlocker|          228181 |      17320 |      23944 |      19042 |      44179 |      30454 |      24163 |      31575 |      37504 |
285.86/217.56	c (5,0) c | LitFullScans  |          747835 |      59294 |      82474 |      63879 |     132126 |     100933 |      77429 |     102180 |     129520 |
285.86/217.56	c (5,0) c | LitScanFracts |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
285.86/217.56	c (5,0) c | DecisionLevel0|              42 |          5 |          3 |          5 |          5 |          5 |          5 |          6 |          8 |
285.86/217.56	c (5,0) c | Periods       |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
285.86/217.56	c (5,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
285.86/217.56	c (5,0) c | Avg_Trail     |                 |      12152 |      13550 |      12409 |      15387 |      14757 |      13564 |      14325 |      12281 |
285.86/217.56	c (5,0) c | Avg_DL        |                 |        405 |        413 |        435 |        450 |        476 |        463 |         11 |         10 |
285.86/217.56	c (5,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
285.86/217.56	c (5,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
285.86/217.56	c (5,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
285.86/217.56	c (5,0) c | Exported      |              24 |          2 |          4 |          2 |          2 |          2 |          2 |          4 |          6 |
285.86/217.56	c (5,0) c | Imported      |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
285.86/217.56	c (5,0) c | Good          |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
285.86/217.56	c (5,0) c | Purge         |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
285.86/217.56	c (5,0) c | Promoted      |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
285.86/217.56	c (5,0) c | Remove_Imp    |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
285.86/217.56	c (5,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
285.86/217.56	c (5,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
285.86/217.56	c (5,0) c | Unaries       |                 |          4 |          2 |          4 |          4 |          4 |          4 |          5 |          7 |
285.86/217.56	c (5,0) c | Binaries      |                 |          1 |          3 |          1 |          1 |          1 |          1 |          3 |          3 |
285.86/217.56	c (5,0) c | Glues         |                 |          2 |          4 |          2 |          2 |          2 |          2 |          4 |          6 |
285.86/217.56	c (5,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
285.86/217.56	c (5,0) c | Orig_Seen     |             0 % |         81 |        125 |         81 |         81 |         81 |         81 |        173 |        202 |
285.86/217.56	c (5,0) c | Diff Orig seen|                 |      X     |         44 | -        0 | -        0 | -        0 | -        0 |         92 |        121 |
285.86/217.56	c (5,0) c | Hamming       |             0 % |      X     |        132 |          0 |          5 |          6 |          0 |        233 |        300 |
285.86/217.56	c (5,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
285.86/217.56	c (5,0) c | RunningTime   |                 |    0.0 100%|    0.0 100%|    0.0 100%|    0.0 100%|    0.0 100%|    0.0 100%|    0.0 100%|    0.0 100%|
285.86/217.56	c (5,0) c | WaitingTime   |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
285.86/217.56	c (5,0) c | ExchangingTime|                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
285.86/217.56	c (5,0) c | PeriodProcTime|                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
285.86/217.56	c (5,0) c | SolvingTime   |                 |    0.0     |    0.0     |    0.0     |    0.0     |    0.0     |    0.0     |    0.0     |    0.0     |
285.86/217.56	c (5,0) c | PropagationTim|                 |    0.0  92%|    0.0  76%|    0.0  93%|    0.0  95%|    0.0  93%|    0.0  90%|    0.0  98%|    0.0  97%|
285.86/217.56	c (5,0) c | AnalysisTime  |                 |    0.0   1%|    0.0   2%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   1%|    0.0   1%|
285.86/217.56	c (5,0) c | ReductionTime |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
285.86/217.56	c (5,0) c | SimplifyTime  |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
285.86/217.56	c (5,0) c | UsedRateTime  |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
285.86/217.56	c (5,0) c | OverlapRateTim|                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
285.86/217.56	c (5,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
285.86/217.56	c (5,0) c
285.86/217.56	c (5,0) c
285.86/217.56	c (5,0) c Threads : 8
285.86/217.56	c (5,0) c Winner : 0
285.86/217.56	c (5,0) c Conflicts_0 : 8
285.86/217.56	c (5,0) c Conflicts_1 : 11
285.86/217.56	c (5,0) c Conflicts_2 : 8
285.86/217.56	c (5,0) c Conflicts_3 : 8
285.86/217.56	c (5,0) c Conflicts_4 : 8
285.86/217.56	c (5,0) c Conflicts_5 : 8
285.86/217.56	c (5,0) c Conflicts_6 : 11
285.86/217.56	c (5,0) c Conflicts_7 : 16
285.86/217.56	c (5,0) c Conflicts_total : 78
285.86/217.56	c (5,0) c Conflicts_winner : 8
285.86/217.56	c (5,0) c Decisions_0 : 3240
285.86/217.56	c (5,0) c Decisions_1 : 3417
285.86/217.56	c (5,0) c Decisions_2 : 3302
285.86/217.56	c (5,0) c Decisions_3 : 3360
285.86/217.56	c (5,0) c Decisions_4 : 3386
285.86/217.56	c (5,0) c Decisions_5 : 3361
285.86/217.56	c (5,0) c Decisions_6 : 38
285.86/217.56	c (5,0) c Decisions_7 : 89
285.86/217.56	c (5,0) c Decisions_total : 20193
285.86/217.56	c (5,0) c Decisions_winner : 3240
285.86/217.56	c (5,0) c Propagations_0 : 16442
285.86/217.56	c (5,0) c Propagations_1 : 8784
285.86/217.56	c (5,0) c Propagations_2 : 6161
285.86/217.56	c (5,0) c Propagations_3 : 18129
285.86/217.56	c (5,0) c Propagations_4 : 10900
285.86/217.56	c (5,0) c Propagations_5 : 8491
285.86/217.56	c (5,0) c Propagations_6 : 9142
285.86/217.56	c (5,0) c Propagations_7 : 14386
285.86/217.56	c (5,0) c Propagations_total : 92435
285.86/217.56	c (5,0) c Propagations_winner : 16442
285.86/217.56	c (5,0) c ReduceDBs_0 : 0
285.86/217.56	c (5,0) c ReduceDBs_1 : 0
285.86/217.56	c (5,0) c ReduceDBs_2 : 0
285.86/217.56	c (5,0) c ReduceDBs_3 : 0
285.86/217.56	c (5,0) c ReduceDBs_4 : 0
285.86/217.56	c (5,0) c ReduceDBs_5 : 0
285.86/217.56	c (5,0) c ReduceDBs_6 : 0
285.86/217.56	c (5,0) c ReduceDBs_7 : 0
285.86/217.56	c (5,0) c ReduceDBs_total : 0
285.86/217.56	c (5,0) c ReduceDBs_winner : 0
285.86/217.56	c (5,0) c SimpDBs_0 : 1
285.86/217.56	c (5,0) c SimpDBs_1 : 1
285.86/217.56	c (5,0) c SimpDBs_2 : 1
285.86/217.56	c (5,0) c SimpDBs_3 : 1
285.86/217.56	c (5,0) c SimpDBs_4 : 1
285.86/217.56	c (5,0) c SimpDBs_5 : 1
285.86/217.56	c (5,0) c SimpDBs_6 : 1
285.86/217.56	c (5,0) c SimpDBs_7 : 1
285.86/217.56	c (5,0) c SimpDBs_total : 8
285.86/217.56	c (5,0) c SimpDBs_winner : 1
285.86/217.56	c (5,0) c Restarts_0 : 1
285.86/217.56	c (5,0) c Restarts_1 : 1
285.86/217.56	c (5,0) c Restarts_2 : 1
285.86/217.56	c (5,0) c Restarts_3 : 1
285.86/217.56	c (5,0) c Restarts_4 : 1
285.86/217.56	c (5,0) c Restarts_5 : 1
285.86/217.56	c (5,0) c Restarts_6 : 1
285.86/217.56	c (5,0) c Restarts_7 : 1
285.86/217.56	c (5,0) c Restarts_total : 8
285.86/217.56	c (5,0) c Restarts_winner : 1
285.86/217.56	c (5,0) c ForcedImports_0 : 0
285.86/217.56	c (5,0) c ForcedImports_1 : 0
285.86/217.56	c (5,0) c ForcedImports_2 : 0
285.86/217.56	c (5,0) c ForcedImports_3 : 0
285.86/217.56	c (5,0) c ForcedImports_4 : 0
285.86/217.56	c (5,0) c ForcedImports_5 : 0
285.86/217.56	c (5,0) c ForcedImports_6 : 0
285.86/217.56	c (5,0) c ForcedImports_7 : 0
285.86/217.56	c (5,0) c ForcedImports_total : 0
285.86/217.56	c (5,0) c ForcedImports_winner : 0
285.86/217.56	c (5,0) c PropsBinClauses_0 : 15667
285.86/217.56	c (5,0) c PropsBinClauses_1 : 18786
285.86/217.56	c (5,0) c PropsBinClauses_2 : 16142
285.86/217.56	c (5,0) c PropsBinClauses_3 : 26244
285.86/217.56	c (5,0) c PropsBinClauses_4 : 19678
285.86/217.56	c (5,0) c PropsBinClauses_5 : 18238
285.86/217.56	c (5,0) c PropsBinClauses_6 : 20499
285.86/217.56	c (5,0) c PropsBinClauses_7 : 24922
285.86/217.56	c (5,0) c PropsBinClauses_total : 160176
285.86/217.56	c (5,0) c PropsBinClauses_winner : 15667
285.86/217.56	c (5,0) c PropsPreBlocker_0 : 21633
285.86/217.56	c (5,0) c PropsPreBlocker_1 : 32371
285.86/217.56	c (5,0) c PropsPreBlocker_2 : 23811
285.86/217.56	c (5,0) c PropsPreBlocker_3 : 51056
285.86/217.56	c (5,0) c PropsPreBlocker_4 : 40743
285.86/217.56	c (5,0) c PropsPreBlocker_5 : 29768
285.86/217.56	c (5,0) c PropsPreBlocker_6 : 40366
285.86/217.56	c (5,0) c PropsPreBlocker_7 : 51876
285.86/217.56	c (5,0) c PropsPreBlocker_total : 291624
285.86/217.56	c (5,0) c PropsPreBlocker_winner : 21633
285.86/217.56	c (5,0) c PropsNotBlocker_0 : 17320
285.86/217.56	c (5,0) c PropsNotBlocker_1 : 23944
285.86/217.56	c (5,0) c PropsNotBlocker_2 : 19042
285.86/217.56	c (5,0) c PropsNotBlocker_3 : 44179
285.86/217.56	c (5,0) c PropsNotBlocker_4 : 30454
285.86/217.56	c (5,0) c PropsNotBlocker_5 : 24163
285.86/217.56	c (5,0) c PropsNotBlocker_6 : 31575
285.86/217.56	c (5,0) c PropsNotBlocker_7 : 37504
285.86/217.56	c (5,0) c PropsNotBlocker_total : 228181
285.86/217.56	c (5,0) c PropsNotBlocker_winner : 17320
285.86/217.56	c (5,0) c PropsLitFullScans_0 : 59294
285.86/217.56	c (5,0) c PropsLitFullScans_1 : 82474
285.86/217.56	c (5,0) c PropsLitFullScans_2 : 63879
285.86/217.56	c (5,0) c PropsLitFullScans_3 : 132126
285.86/217.56	c (5,0) c PropsLitFullScans_4 : 100933
285.86/217.56	c (5,0) c PropsLitFullScans_5 : 77429
285.86/217.56	c (5,0) c PropsLitFullScans_6 : 102180
285.86/217.56	c (5,0) c PropsLitFullScans_7 : 129520
285.86/217.56	c (5,0) c PropsLitFullScans_total : 747835
285.86/217.56	c (5,0) c PropsLitFullScans_winner : 59294
285.86/217.56	c (5,0) c LitScanFractions_0 : 0
285.86/217.56	c (5,0) c LitScanFractions_1 : 0
285.86/217.56	c (5,0) c LitScanFractions_2 : 0
285.86/217.56	c (5,0) c LitScanFractions_3 : 0
285.86/217.56	c (5,0) c LitScanFractions_4 : 0
285.86/217.56	c (5,0) c LitScanFractions_5 : 0
285.86/217.56	c (5,0) c LitScanFractions_6 : 0
285.86/217.56	c (5,0) c LitScanFractions_7 : 0
285.86/217.56	c (5,0) c LitScanFractions_total : 0
285.86/217.56	c (5,0) c LitScanFractions_winner : 0
285.86/217.56	c (5,0) c DecisionLevel0_0 : 5
285.86/217.56	c (5,0) c DecisionLevel0_1 : 3
285.86/217.56	c (5,0) c DecisionLevel0_2 : 5
285.86/217.56	c (5,0) c DecisionLevel0_3 : 5
285.86/217.56	c (5,0) c DecisionLevel0_4 : 5
285.86/217.56	c (5,0) c DecisionLevel0_5 : 5
285.86/217.56	c (5,0) c DecisionLevel0_6 : 6
285.86/217.56	c (5,0) c DecisionLevel0_7 : 8
285.86/217.56	c (5,0) c DecisionLevel0_total : 42
285.86/217.56	c (5,0) c DecisionLevel0_winner : 5
285.86/217.56	c (5,0) c Periods_0 : 0
285.86/217.56	c (5,0) c Periods_1 : 0
285.86/217.56	c (5,0) c Periods_2 : 0
285.86/217.56	c (5,0) c Periods_3 : 0
285.86/217.56	c (5,0) c Periods_4 : 0
285.86/217.56	c (5,0) c Periods_5 : 0
285.86/217.56	c (5,0) c Periods_6 : 0
285.86/217.56	c (5,0) c Periods_7 : 0
285.86/217.56	c (5,0) c Periods_total : 0
285.86/217.56	c (5,0) c Periods_winner : 0
285.86/217.56	c (5,0) c Margin_0 : 20
285.86/217.56	c (5,0) c Margin_1 : 20
285.86/217.56	c (5,0) c Margin_2 : 20
285.86/217.56	c (5,0) c Margin_3 : 20
285.86/217.56	c (5,0) c Margin_4 : 20
285.86/217.56	c (5,0) c Margin_5 : 20
285.86/217.56	c (5,0) c Margin_6 : 20
285.86/217.56	c (5,0) c Margin_7 : 20
285.86/217.56	c (5,0) c Margin_total : 160
285.86/217.56	c (5,0) c Margin_winner : 20
285.86/217.56	c (5,0) c Exported_0 : 2
285.86/217.56	c (5,0) c Exported_1 : 4
285.86/217.56	c (5,0) c Exported_2 : 2
285.86/217.56	c (5,0) c Exported_3 : 2
285.86/217.56	c (5,0) c Exported_4 : 2
285.86/217.56	c (5,0) c Exported_5 : 2
285.86/217.56	c (5,0) c Exported_6 : 4
285.86/217.56	c (5,0) c Exported_7 : 6
285.86/217.56	c (5,0) c Exported_total : 24
285.86/217.56	c (5,0) c Exported_winner : 2
285.86/217.56	c (5,0) c Imported_0 : 0
285.86/217.56	c (5,0) c Imported_1 : 0
285.86/217.56	c (5,0) c Imported_2 : 0
285.86/217.56	c (5,0) c Imported_3 : 0
285.86/217.56	c (5,0) c Imported_4 : 0
285.86/217.56	c (5,0) c Imported_5 : 0
285.86/217.56	c (5,0) c Imported_6 : 0
285.86/217.56	c (5,0) c Imported_7 : 0
285.86/217.56	c (5,0) c Imported_total : 0
285.86/217.57	c (5,0) c Imported_winner : 0
285.86/217.57	c (5,0) c Good_0 : 0
285.86/217.57	c (5,0) c Good_1 : 0
285.86/217.57	c (5,0) c Good_2 : 0
285.86/217.57	c (5,0) c Good_3 : 0
285.86/217.57	c (5,0) c Good_4 : 0
285.86/217.57	c (5,0) c Good_5 : 0
285.86/217.57	c (5,0) c Good_6 : 0
285.86/217.57	c (5,0) c Good_7 : 0
285.86/217.57	c (5,0) c Good_total : 0
285.86/217.57	c (5,0) c Good_winner : 0
285.86/217.57	c (5,0) c Purge_0 : 0
285.86/217.57	c (5,0) c Purge_1 : 0
285.86/217.57	c (5,0) c Purge_2 : 0
285.86/217.57	c (5,0) c Purge_3 : 0
285.86/217.57	c (5,0) c Purge_4 : 0
285.86/217.57	c (5,0) c Purge_5 : 0
285.86/217.57	c (5,0) c Purge_6 : 0
285.86/217.57	c (5,0) c Purge_7 : 0
285.86/217.57	c (5,0) c Purge_total : 0
285.86/217.57	c (5,0) c Purge_winner : 0
285.86/217.57	c (5,0) c Promoted_0 : 0
285.86/217.57	c (5,0) c Promoted_1 : 0
285.86/217.57	c (5,0) c Promoted_2 : 0
285.86/217.57	c (5,0) c Promoted_3 : 0
285.86/217.57	c (5,0) c Promoted_4 : 0
285.86/217.57	c (5,0) c Promoted_5 : 0
285.86/217.57	c (5,0) c Promoted_6 : 0
285.86/217.57	c (5,0) c Promoted_7 : 0
285.86/217.57	c (5,0) c Promoted_total : 0
285.86/217.57	c (5,0) c Promoted_winner : 0
285.86/217.57	c (5,0) c Remove_Imp_0 : 0
285.86/217.57	c (5,0) c Remove_Imp_1 : 0
285.86/217.57	c (5,0) c Remove_Imp_2 : 0
285.86/217.57	c (5,0) c Remove_Imp_3 : 0
285.86/217.57	c (5,0) c Remove_Imp_4 : 0
285.86/217.57	c (5,0) c Remove_Imp_5 : 0
285.86/217.57	c (5,0) c Remove_Imp_6 : 0
285.86/217.57	c (5,0) c Remove_Imp_7 : 0
285.86/217.57	c (5,0) c Remove_Imp_total : 0
285.86/217.57	c (5,0) c Remove_Imp_winner : 0
285.86/217.57	c (5,0) c Blocked_Reuse_0 : 0
285.86/217.57	c (5,0) c Blocked_Reuse_1 : 0
285.86/217.57	c (5,0) c Blocked_Reuse_2 : 0
285.86/217.57	c (5,0) c Blocked_Reuse_3 : 0
285.86/217.57	c (5,0) c Blocked_Reuse_4 : 0
285.86/217.57	c (5,0) c Blocked_Reuse_5 : 0
285.86/217.57	c (5,0) c Blocked_Reuse_6 : 0
285.86/217.57	c (5,0) c Blocked_Reuse_7 : 0
285.86/217.57	c (5,0) c Blocked_Reuse_total : 0
285.86/217.57	c (5,0) c Blocked_Reuse_winner : 0
285.86/217.57	c (5,0) c Unaries_0 : 4
285.86/217.57	c (5,0) c Unaries_1 : 2
285.86/217.57	c (5,0) c Unaries_2 : 4
285.86/217.57	c (5,0) c Unaries_3 : 4
285.86/217.57	c (5,0) c Unaries_4 : 4
285.86/217.57	c (5,0) c Unaries_5 : 4
285.86/217.57	c (5,0) c Unaries_6 : 5
285.86/217.57	c (5,0) c Unaries_7 : 7
285.86/217.57	c (5,0) c Unaries_total : 34
285.86/217.57	c (5,0) c Unaries_winner : 4
285.86/217.57	c (5,0) c Binaries_0 : 1
285.86/217.57	c (5,0) c Binaries_1 : 3
285.86/217.57	c (5,0) c Binaries_2 : 1
285.86/217.57	c (5,0) c Binaries_3 : 1
285.86/217.57	c (5,0) c Binaries_4 : 1
285.86/217.57	c (5,0) c Binaries_5 : 1
285.86/217.57	c (5,0) c Binaries_6 : 3
285.86/217.57	c (5,0) c Binaries_7 : 3
285.86/217.57	c (5,0) c Binaries_total : 14
285.86/217.57	c (5,0) c Binaries_winner : 1
285.86/217.57	c (5,0) c Glues_0 : 2
285.86/217.57	c (5,0) c Glues_1 : 4
285.86/217.57	c (5,0) c Glues_2 : 2
285.86/217.57	c (5,0) c Glues_3 : 2
285.86/217.57	c (5,0) c Glues_4 : 2
285.86/217.57	c (5,0) c Glues_5 : 2
285.86/217.57	c (5,0) c Glues_6 : 4
285.86/217.57	c (5,0) c Glues_7 : 6
285.86/217.57	c (5,0) c Glues_total : 24
285.86/217.57	c (5,0) c Glues_winner : 2
285.86/217.57	c (5,0) c RunningTime_0 : 0.009424
285.86/217.57	c (5,0) c RunningTime_1 : 0.028569
285.86/217.57	c (5,0) c RunningTime_2 : 0.012809
285.86/217.57	c (5,0) c RunningTime_3 : 0.020969
285.86/217.57	c (5,0) c RunningTime_4 : 0.013176
285.86/217.57	c (5,0) c RunningTime_5 : 0.011405
285.86/217.57	c (5,0) c RunningTime_6 : 0.011831
285.86/217.57	c (5,0) c RunningTime_7 : 0.014925
285.86/217.57	c (5,0) c RunningTime_total : 0.123109
285.86/217.57	c (5,0) c RunningTime_winner : 0.009424
285.86/217.57	c (5,0) c WaitingTime_0 : 0.000000
285.86/217.57	c (5,0) c WaitingTime_1 : 0.000000
285.86/217.57	c (5,0) c WaitingTime_2 : 0.000000
285.86/217.57	c (5,0) c WaitingTime_3 : 0.000000
285.86/217.57	c (5,0) c WaitingTime_4 : 0.000000
285.86/217.57	c (5,0) c WaitingTime_5 : 0.000000
285.86/217.57	c (5,0) c WaitingTime_6 : 0.000000
285.86/217.57	c (5,0) c WaitingTime_7 : 0.000000
285.86/217.57	c (5,0) c WaitingTime_total : 0.000000
285.86/217.57	c (5,0) c WaitingTime_winner : 0.000000
285.86/217.57	c (5,0) c ExchangingTime_0 : 0.000010
285.86/217.57	c (5,0) c ExchangingTime_1 : 0.000005
285.86/217.57	c (5,0) c ExchangingTime_2 : 0.000005
285.86/217.57	c (5,0) c ExchangingTime_3 : 0.000009
285.86/217.57	c (5,0) c ExchangingTime_4 : 0.000006
285.86/217.57	c (5,0) c ExchangingTime_5 : 0.000026
285.86/217.57	c (5,0) c ExchangingTime_6 : 0.000005
285.86/217.57	c (5,0) c ExchangingTime_7 : 0.000014
285.86/217.57	c (5,0) c ExchangingTime_total : 0.000080
285.86/217.57	c (5,0) c ExchangingTime_winner : 0.000010
285.86/217.57	c (5,0) c PeriodProcTime_0 : 0.000000
285.86/217.57	c (5,0) c PeriodProcTime_1 : 0.000000
285.86/217.57	c (5,0) c PeriodProcTime_2 : 0.000000
285.86/217.57	c (5,0) c PeriodProcTime_3 : 0.000000
285.86/217.57	c (5,0) c PeriodProcTime_4 : 0.000000
285.86/217.57	c (5,0) c PeriodProcTime_5 : 0.000000
285.86/217.57	c (5,0) c PeriodProcTime_6 : 0.000000
285.86/217.57	c (5,0) c PeriodProcTime_7 : 0.000000
285.86/217.57	c (5,0) c PeriodProcTime_total : 0.000000
285.86/217.57	c (5,0) c PeriodProcTime_winner : 0.000000
285.86/217.57	c (5,0) c SolvingTime_0 : 0.009434
285.86/217.57	c (5,0) c SolvingTime_1 : 0.028574
285.86/217.57	c (5,0) c SolvingTime_2 : 0.012814
285.86/217.57	c (5,0) c SolvingTime_3 : 0.020978
285.86/217.57	c (5,0) c SolvingTime_4 : 0.013182
285.86/217.57	c (5,0) c SolvingTime_5 : 0.011431
285.86/217.57	c (5,0) c SolvingTime_6 : 0.011836
285.86/217.57	c (5,0) c SolvingTime_7 : 0.014939
285.86/217.57	c (5,0) c SolvingTime_total : 0.123189
285.86/217.57	c (5,0) c SolvingTime_winner : 0.009434
285.86/217.57	c (5,0) c PropagationTime_0 : 0.008721
285.86/217.57	c (5,0) c PropagationTime_1 : 0.021834
285.86/217.57	c (5,0) c PropagationTime_2 : 0.011977
285.86/217.57	c (5,0) c PropagationTime_3 : 0.019989
285.86/217.57	c (5,0) c PropagationTime_4 : 0.012196
285.86/217.57	c (5,0) c PropagationTime_5 : 0.010289
285.86/217.57	c (5,0) c PropagationTime_6 : 0.011596
285.86/217.57	c (5,0) c PropagationTime_7 : 0.014562
285.86/217.57	c (5,0) c PropagationTime_total : 0.111164
285.86/217.57	c (5,0) c PropagationTime_winner : 0.008721
285.86/217.57	c (5,0) c AnalysisTime_0 : 0.000076
285.86/217.57	c (5,0) c AnalysisTime_1 : 0.000536
285.86/217.57	c (5,0) c AnalysisTime_2 : 0.000055
285.86/217.57	c (5,0) c AnalysisTime_3 : 0.000062
285.86/217.57	c (5,0) c AnalysisTime_4 : 0.000051
285.86/217.57	c (5,0) c AnalysisTime_5 : 0.000049
285.86/217.57	c (5,0) c AnalysisTime_6 : 0.000072
285.86/217.57	c (5,0) c AnalysisTime_7 : 0.000090
285.86/217.57	c (5,0) c AnalysisTime_total : 0.000992
285.86/217.57	c (5,0) c AnalysisTime_winner : 0.000076
285.86/217.57	c (5,0) c ReductionTime_0 : 0.000000
285.86/217.57	c (5,0) c ReductionTime_1 : 0.000000
285.86/217.57	c (5,0) c ReductionTime_2 : 0.000000
285.86/217.57	c (5,0) c ReductionTime_3 : 0.000000
285.86/217.57	c (5,0) c ReductionTime_4 : 0.000000
285.86/217.57	c (5,0) c ReductionTime_5 : 0.000000
285.86/217.57	c (5,0) c ReductionTime_6 : 0.000000
285.86/217.57	c (5,0) c ReductionTime_7 : 0.000000
285.86/217.57	c (5,0) c ReductionTime_total : 0.000000
285.86/217.57	c (5,0) c ReductionTime_winner : 0.000000
285.86/217.57	c (5,0) c SimplifyTime_0 : 0.000000
285.86/217.57	c (5,0) c SimplifyTime_1 : 0.000000
285.86/217.57	c (5,0) c SimplifyTime_2 : 0.000000
285.86/217.57	c (5,0) c SimplifyTime_3 : 0.000001
285.86/217.57	c (5,0) c SimplifyTime_4 : 0.000000
285.86/217.57	c (5,0) c SimplifyTime_5 : 0.000002
285.86/217.57	c (5,0) c SimplifyTime_6 : 0.000000
285.86/217.57	c (5,0) c SimplifyTime_7 : 0.000000
285.86/217.57	c (5,0) c SimplifyTime_total : 0.000003
285.86/217.57	c (5,0) c SimplifyTime_winner : 0.000000
285.86/217.57	c (5,0) c UsedRateTime_0 : 0.000000
285.86/217.57	c (5,0) c UsedRateTime_1 : 0.000000
285.86/217.57	c (5,0) c UsedRateTime_2 : 0.000000
285.86/217.57	c (5,0) c UsedRateTime_3 : 0.000000
285.86/217.57	c (5,0) c UsedRateTime_4 : 0.000000
285.86/217.57	c (5,0) c UsedRateTime_5 : 0.000000
285.86/217.57	c (5,0) c UsedRateTime_6 : 0.000000
285.86/217.57	c (5,0) c UsedRateTime_7 : 0.000000
285.86/217.57	c (5,0) c UsedRateTime_total : 0.000000
285.86/217.57	c (5,0) c UsedRateTime_winner : 0.000000
285.86/217.57	c (5,0) c OverlapRateTime_0 : 0.000000
285.86/217.57	c (5,0) c OverlapRateTime_1 : 0.000000
285.86/217.57	c (5,0) c OverlapRateTime_2 : 0.000000
285.86/217.57	c (5,0) c OverlapRateTime_3 : 0.000000
285.86/217.57	c (5,0) c OverlapRateTime_4 : 0.000000
285.86/217.57	c (5,0) c OverlapRateTime_5 : 0.000000
285.86/217.57	c (5,0) c OverlapRateTime_6 : 0.000000
285.86/217.57	c (5,0) c OverlapRateTime_7 : 0.000000
285.86/217.57	c (5,0) c OverlapRateTime_total : 0.000000
285.86/217.57	c (5,0) c OverlapRateTime_winner : 0.000000
285.86/217.57	c (5,0) c
285.86/217.57	c (5,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
285.86/217.57	c (5,0) c
285.86/217.57	c (5,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
285.86/217.57	c (5,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
285.86/217.57	c (5,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
285.86/217.57	c (5,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
285.86/217.57	c (5,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
285.86/217.57	c (5,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
285.86/217.57	c (5,0) c | Initial random_seed   | 1167720804 | 2034656122 |  763684797 |  888926382 | 1329059524 | 1696983573 |  437531610 |  752291688 |
285.86/217.57	c (5,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
285.86/217.57	c (5,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
285.86/217.57	c (5,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
285.86/217.57	c (5,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
285.86/217.57	c (5,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
285.86/217.57	c (5,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
285.86/217.57	c (5,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
285.86/217.57	c (5,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
285.86/217.57	c (5,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
285.86/217.57	c (5,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
285.86/217.57	c (5,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
285.86/217.57	c (5,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
285.86/217.57	c (5,0) 
285.86/217.57	c (5,0) s UNSATISFIABLE
281.36/217.60	c (5,0) SatSolver.solve End
281.36/217.60	c (5,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
281.36/217.60	c (5,0) Show results Begin
281.36/217.60	s UNSATISFIABLE
281.36/217.60	c (5,0) Show results End
281.36/217.60	c (5,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
281.36/217.61	c (5,0) 5,5,STOP-AFTER(ALL)
281.36/217.61	c END-Prog: Sat Sep 14 09:38:53 CEST 2019

Verifier Data


Watcher Data 

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

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

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

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

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

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


[startup+0.100659 s]*
/proc/loadavg: 1.97 3.74 5.52 2/212 17933
/proc/meminfo: memFree=25706884/32770624 swapFree=67002288/67108860
[pid=17909] ppid=17906 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/17909/stat : 17909 (scop.sh) S 17906 17909 14480 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 420904604 115843072 349 33554432000 4194304 5098028 140721425944496 140721425941752 140010641969788 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 19083264 140721425949476 140721425949804 140721425949804 140721425952717 0
/proc/17909/statm: 28282 349 296 221 0 87 0
[pid=17912] ppid=17909 vsize=27314120 memory=104076 CPUtime=0.11 cores=0-7
/proc/17912/stat : 17912 (java) S 17909 17909 14480 0 -1 1077944320 6636 0 0 0 8 3 0 0 20 0 20 0 420904604 27969658880 26019 33554432000 4194304 4196468 140727116821840 140727116804384 140346832621303 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 12554240 140727116825322 140727116825750 140727116825750 140727116828623 0
/proc/17912/statm: 6828530 26019 2799 1 0 6790935 0
[pid=17912/tid=17913] ppid=17909 vsize=27314120 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/17912/task/17913/stat : 17913 (java) R 17909 17909 14480 0 -1 4202560 4717 0 0 0 7 2 0 0 20 0 20 0 420904604 27969658880 26019 33554432000 4194304 4196468 140727116821840 140346804446160 140346816664933 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12554240 140727116825322 140727116825750 140727116825750 140727116828623 0
[pid=17912/tid=17914] ppid=17909 vsize=27314120 memory=6789802306324843961 CPUtime=0 cores=0-7
/proc/17912/task/17914/stat : 17914 (java) S 17909 17909 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420904607 27969658880 26019 33554432000 4194304 4196468 140727116821840 140346836864144 140346832631509 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12554240 140727116825322 140727116825750 140727116825750 140727116828623 0
[pid=17912/tid=17915] ppid=17909 vsize=27314120 memory=140122723673728 CPUtime=0 cores=0-7
/proc/17912/task/17915/stat : 17915 (java) S 17909 17909 14480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420904607 27969658880 26019 33554432000 4194304 4196468 140727116821840 140346651020304 140346832631509 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12554240 140727116825322 140727116825750 140727116825750 140727116828623 0
[pid=17912/tid=17916] ppid=17909 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17912/task/17916/stat : 17916 (java) S 17909 17909 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420904607 27969658880 26019 33554432000 4194304 4196468 140727116821840 140346649967504 140346832631509 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12554240 140727116825322 140727116825750 140727116825750 140727116828623 0
[pid=17912/tid=17917] ppid=17909 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17912/task/17917/stat : 17917 (java) S 17909 17909 14480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420904607 27969658880 26019 33554432000 4194304 4196468 140727116821840 140346648914704 140346832631509 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12554240 140727116825322 140727116825750 140727116825750 140727116828623 0
[pid=17912/tid=17918] ppid=17909 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17912/task/17918/stat : 17918 (java) S 17909 17909 14480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420904607 27969658880 26019 33554432000 4194304 4196468 140727116821840 140346647861904 140346832631509 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12554240 140727116825322 140727116825750 140727116825750 140727116828623 0
[pid=17912/tid=17919] ppid=17909 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/17912/task/17919/stat : 17919 (java) S 17909 17909 14480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420904607 27969658880 26019 33554432000 4194304 4196468 140727116821840 140346250656272 140346832631509 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12554240 140727116825322 140727116825750 140727116825750 140727116828623 0
[pid=17912/tid=17920] ppid=17909 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17912/task/17920/stat : 17920 (java) S 17909 17909 14480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420904607 27969658880 26019 33554432000 4194304 4196468 140727116821840 140346249603472 140346832631509 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12554240 140727116825322 140727116825750 140727116825750 140727116828623 0
[pid=17912/tid=17921] ppid=17909 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17912/task/17921/stat : 17921 (java) S 17909 17909 14480 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420904607 27969658880 26019 33554432000 4194304 4196468 140727116821840 140346248550672 140346832631509 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12554240 140727116825322 140727116825750 140727116825750 140727116828623 0
[pid=17912/tid=17922] ppid=17909 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17912/task/17922/stat : 17922 (java) S 17909 17909 14480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420904608 27969658880 26019 33554432000 4194304 4196468 140727116821840 140345354279792 140346832632450 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12554240 140727116825322 140727116825750 140727116825750 140727116828623 0
[pid=17912/tid=17923] ppid=17909 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17912/task/17923/stat : 17923 (java) S 17909 17909 14480 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 420904609 27969658880 26019 33554432000 4194304 4196468 140727116821840 140344431732256 140346832631509 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12554240 140727116825322 140727116825750 140727116825750 140727116828623 0
[pid=17912/tid=17924] ppid=17909 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17912/task/17924/stat : 17924 (java) S 17909 17909 14480 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 420904609 27969658880 26019 33554432000 4194304 4196468 140727116821840 140344297510256 140346832631509 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12554240 140727116825322 140727116825750 140727116825750 140727116828623 0
[pid=17912/tid=17927] ppid=17909 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17912/task/17927/stat : 17927 (java) S 17909 17909 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420904611 27969658880 26019 33554432000 4194304 4196468 140727116821840 140343923005776 140346832639899 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12554240 140727116825322 140727116825750 140727116825750 140727116828623 0
[pid=17912/tid=17928] ppid=17909 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17912/task/17928/stat : 17928 (java) S 17909 17909 14480 0 -1 1077944384 305 0 0 0 0 0 0 0 20 0 20 0 420904611 27969658880 26019 33554432000 4194304 4196468 140727116821840 140345353226608 140346832632450 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12554240 140727116825322 140727116825750 140727116825750 140727116828623 0
[pid=17912/tid=17929] ppid=17909 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17912/task/17929/stat : 17929 (java) S 17909 17909 14480 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420904612 27969658880 26019 33554432000 4194304 4196468 140727116821840 140345352173808 140346832632450 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12554240 140727116825322 140727116825750 140727116825750 140727116828623 0
[pid=17912/tid=17930] ppid=17909 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17912/task/17930/stat : 17930 (java) S 17909 17909 14480 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420904612 27969658880 26019 33554432000 4194304 4196468 140727116821840 140345351121008 140346832632450 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12554240 140727116825322 140727116825750 140727116825750 140727116828623 0
[pid=17912/tid=17931] ppid=17909 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17912/task/17931/stat : 17931 (java) S 17909 17909 14480 0 -1 1077944384 251 0 0 0 0 0 0 0 20 0 20 0 420904612 27969658880 26019 33554432000 4194304 4196468 140727116821840 140345350068208 140346832632450 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12554240 140727116825322 140727116825750 140727116825750 140727116828623 0
[pid=17912/tid=17932] ppid=17909 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17912/task/17932/stat : 17932 (java) S 17909 17909 14480 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420904612 27969658880 26019 33554432000 4194304 4196468 140727116821840 140343425100896 140346832631509 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12554240 140727116825322 140727116825750 140727116825750 140727116828623 0
[pid=17912/tid=17933] ppid=17909 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/17912/task/17933/stat : 17933 (java) S 17909 17909 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420904612 27969658880 26019 33554432000 4194304 4196468 140727116821840 140345349016624 140346832632450 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12554240 140727116825322 140727116825750 140727116825750 140727116828623 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 105472 KiB

[startup+0.210335 s]*
/proc/loadavg: 1.97 3.74 5.52 2/212 17933
/proc/meminfo: memFree=25688264/32770624 swapFree=67002288/67108860
[pid=17909] ppid=17906 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/17909/stat : 17909 (scop.sh) S 17906 17909 14480 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 420904604 115843072 349 33554432000 4194304 5098028 140721425944496 140721425941752 140010641969788 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 19083264 140721425949476 140721425949804 140721425949804 140721425952717 0
/proc/17909/statm: 28282 349 296 221 0 87 0
[pid=17912] ppid=17909 vsize=27314120 memory=120808 CPUtime=0.24 cores=0-7
/proc/17912/stat : 17912 (java) S 17909 17909 14480 0 -1 1077944320 11522 0 0 0 20 4 0 0 20 0 20 0 420904604 27969658880 30202 33554432000 4194304 4196468 140727116821840 140727116804384 140346832621303 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 12554240 140727116825322 140727116825750 140727116825750 140727116828623 0
/proc/17912/statm: 6828530 30202 2892 1 0 6790935 0
[pid=17912/tid=17913] ppid=17909 vsize=27314120 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/17912/task/17913/stat : 17913 (java) R 17909 17909 14480 0 -1 4202560 9196 0 0 0 16 3 0 0 20 0 20 0 420904604 27969658880 30202 33554432000 4194304 4196468 140727116821840 140346804432048 140346832635185 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12554240 140727116825322 140727116825750 140727116825750 140727116828623 0
[pid=17912/tid=17914] ppid=17909 vsize=27314120 memory=330 CPUtime=0 cores=0-7
/proc/17912/task/17914/stat : 17914 (java) S 17909 17909 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420904607 27969658880 30202 33554432000 4194304 4196468 140727116821840 140346836864144 140346832631509 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12554240 140727116825322 140727116825750 140727116825750 140727116828623 0
[pid=17912/tid=17915] ppid=17909 vsize=27314120 memory=288370498875385472 CPUtime=0 cores=0-7
/proc/17912/task/17915/stat : 17915 (java) S 17909 17909 14480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420904607 27969658880 30202 33554432000 4194304 4196468 140727116821840 140346651020304 140346832631509 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12554240 140727116825322 140727116825750 140727116825750 140727116828623 0
[pid=17912/tid=17916] ppid=17909 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/17912/task/17916/stat : 17916 (java) S 17909 17909 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420904607 27969658880 30202 33554432000 4194304 4196468 140727116821840 140346649967504 140346832631509 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12554240 140727116825322 140727116825750 140727116825750 140727116828623 0
[pid=17912/tid=17917] ppid=17909 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17912/task/17917/stat : 17917 (java) S 17909 17909 14480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420904607 27969658880 30202 33554432000 4194304 4196468 140727116821840 140346648914704 140346832631509 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12554240 140727116825322 140727116825750 140727116825750 140727116828623 0
[pid=17912/tid=17918] ppid=17909 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17912/task/17918/stat : 17918 (java) S 17909 17909 14480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420904607 27969658880 30202 33554432000 4194304 4196468 140727116821840 140346647861904 140346832631509 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12554240 140727116825322 140727116825750 140727116825750 140727116828623 0
[pid=17912/tid=17919] ppid=17909 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/17912/task/17919/stat : 17919 (java) S 17909 17909 14480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420904607 27969658880 30202 33554432000 4194304 4196468 140727116821840 140346250656272 140346832631509 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12554240 140727116825322 140727116825750 140727116825750 140727116828623 0
[pid=17912/tid=17920] ppid=17909 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17912/task/17920/stat : 17920 (java) S 17909 17909 14480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420904607 27969658880 30202 33554432000 4194304 4196468 140727116821840 140346249603472 140346832631509 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12554240 140727116825322 140727116825750 140727116825750 140727116828623 0
[pid=17912/tid=17921] ppid=17909 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17912/task/17921/stat : 17921 (java) S 17909 17909 14480 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420904607 27969658880 30202 33554432000 4194304 4196468 140727116821840 140346248550672 140346832631509 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12554240 140727116825322 140727116825750 140727116825750 140727116828623 0
[pid=17912/tid=17922] ppid=17909 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17912/task/17922/stat : 17922 (java) S 17909 17909 14480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420904608 27969658880 30202 33554432000 4194304 4196468 140727116821840 140345354279792 140346832632450 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12554240 140727116825322 140727116825750 140727116825750 140727116828623 0
[pid=17912/tid=17923] ppid=17909 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17912/task/17923/stat : 17923 (java) S 17909 17909 14480 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 420904609 27969658880 30202 33554432000 4194304 4196468 140727116821840 140344431732256 140346832631509 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12554240 140727116825322 140727116825750 140727116825750 140727116828623 0
[pid=17912/tid=17924] ppid=17909 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17912/task/17924/stat : 17924 (java) S 17909 17909 14480 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 420904609 27969658880 30202 33554432000 4194304 4196468 140727116821840 140344297510256 140346832631509 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12554240 140727116825322 140727116825750 140727116825750 140727116828623 0
[pid=17912/tid=17927] ppid=17909 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17912/task/17927/stat : 17927 (java) S 17909 17909 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420904611 27969658880 30202 33554432000 4194304 4196468 140727116821840 140343923005776 140346832639899 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12554240 140727116825322 140727116825750 140727116825750 140727116828623 0
[pid=17912/tid=17928] ppid=17909 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17912/task/17928/stat : 17928 (java) S 17909 17909 14480 0 -1 1077944384 316 0 0 0 0 0 0 0 20 0 20 0 420904611 27969658880 30202 33554432000 4194304 4196468 140727116821840 140345353226608 140346832632450 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12554240 140727116825322 140727116825750 140727116825750 140727116828623 0
[pid=17912/tid=17929] ppid=17909 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17912/task/17929/stat : 17929 (java) S 17909 17909 14480 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 20 0 420904612 27969658880 30202 33554432000 4194304 4196468 140727116821840 140345352173808 140346832632450 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12554240 140727116825322 140727116825750 140727116825750 140727116828623 0
[pid=17912/tid=17930] ppid=17909 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/17912/task/17930/stat : 17930 (java) S 17909 17909 14480 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 20 0 420904612 27969658880 30202 33554432000 4194304 4196468 140727116821840 140345351121008 140346832632450 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12554240 140727116825322 140727116825750 140727116825750 140727116828623 0
[pid=17912/tid=17931] ppid=17909 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7
/proc/17912/task/17931/stat : 17931 (java) S 17909 17909 14480 0 -1 1077944384 484 0 0 0 2 0 0 0 20 0 20 0 420904612 27969658880 30202 33554432000 4194304 4196468 140727116821840 140345350068208 140346832632450 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12554240 140727116825322 140727116825750 140727116825750 140727116828623 0
[pid=17912/tid=17932] ppid=17909 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17912/task/17932/stat : 17932 (java) S 17909 17909 14480 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420904612 27969658880 30202 33554432000 4194304 4196468 140727116821840 140343425100896 140346832631509 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12554240 140727116825322 140727116825750 140727116825750 140727116828623 0
[pid=17912/tid=17933] ppid=17909 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/17912/task/17933/stat : 17933 (java) S 17909 17909 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420904612 27969658880 30202 33554432000 4194304 4196468 140727116821840 140345349016624 140346832632450 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12554240 140727116825322 140727116825750 140727116825750 140727116828623 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 122204 KiB

[startup+0.310235 s]*
/proc/loadavg: 1.97 3.74 5.52 2/212 17933
/proc/meminfo: memFree=25684604/32770624 swapFree=67002288/67108860
[pid=17909] ppid=17906 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/17909/stat : 17909 (scop.sh) S 17906 17909 14480 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 420904604 115843072 349 33554432000 4194304 5098028 140721425944496 140721425941752 140010641969788 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 19083264 140721425949476 140721425949804 140721425949804 140721425952717 0
/proc/17909/statm: 28282 349 296 221 0 87 0
[pid=17912] ppid=17909 vsize=27314120 memory=125828 CPUtime=0.43 cores=0-7
/proc/17912/stat : 17912 (java) S 17909 17909 14480 0 -1 1077944320 12789 0 0 0 38 5 0 0 20 0 20 0 420904604 27969658880 31457 33554432000 4194304 4196468 140727116821840 140727116804384 140346832621303 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 12554240 140727116825322 140727116825750 140727116825750 140727116828623 0
/proc/17912/statm: 6828530 31457 3066 1 0 6790935 0
[pid=17912/tid=17913] ppid=17909 vsize=27314120 memory=6791534058613427641 CPUtime=0.3 cores=0-7
/proc/17912/task/17913/stat : 17913 (java) R 17909 17909 14480 0 -1 4202560 10258 0 0 0 26 4 0 0 20 0 20 0 420904604 27969658880 31457 33554432000 4194304 4196468 140727116821840 140346804451376 140346814015037 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12554240 140727116825322 140727116825750 140727116825750 140727116828623 0
[pid=17912/tid=17914] ppid=17909 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17912/task/17914/stat : 17914 (java) S 17909 17909 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420904607 27969658880 31457 33554432000 4194304 4196468 140727116821840 140346836864144 140346832631509 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12554240 140727116825322 140727116825750 140727116825750 140727116828623 0
[pid=17912/tid=17915] ppid=17909 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17912/task/17915/stat : 17915 (java) S 17909 17909 14480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420904607 27969658880 31457 33554432000 4194304 4196468 140727116821840 140346651020304 140346832631509 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12554240 140727116825322 140727116825750 140727116825750 140727116828623 0
[pid=17912/tid=17916] ppid=17909 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17912/task/17916/stat : 17916 (java) S 17909 17909 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420904607 27969658880 31457 33554432000 4194304 4196468 140727116821840 140346649967504 140346832631509 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12554240 140727116825322 140727116825750 140727116825750 140727116828623 0
[pid=17912/tid=17917] ppid=17909 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17912/task/17917/stat : 17917 (java) S 17909 17909 14480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420904607 27969658880 31457 33554432000 4194304 4196468 140727116821840 140346648914704 140346832631509 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12554240 140727116825322 140727116825750 140727116825750 140727116828623 0
[pid=17912/tid=17918] ppid=17909 vsize=27314120 memory=2244 CPUtime=0 cores=0-7
/proc/17912/task/17918/stat : 17918 (java) S 17909 17909 14480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420904607 27969658880 31457 33554432000 4194304 4196468 140727116821840 140346647861904 140346832631509 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12554240 140727116825322 140727116825750 140727116825750 140727116828623 0
[pid=17912/tid=17919] ppid=17909 vsize=27314120 memory=140122569929647 CPUtime=0 cores=0-7
/proc/17912/task/17919/stat : 17919 (java) S 17909 17909 14480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420904607 27969658880 31457 33554432000 4194304 4196468 140727116821840 140346250656272 140346832631509 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12554240 140727116825322 140727116825750 140727116825750 140727116828623 0
[pid=17912/tid=17920] ppid=17909 vsize=27314120 memory=140122569931952 CPUtime=0 cores=0-7
/proc/17912/task/17920/stat : 17920 (java) S 17909 17909 14480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420904607 27969658880 31457 33554432000 4194304 4196468 140727116821840 140346249603472 140346832631509 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12554240 140727116825322 140727116825750 140727116825750 140727116828623 0
[pid=17912/tid=17921] ppid=17909 vsize=27314120 memory=140122569934256 CPUtime=0 cores=0-7
/proc/17912/task/17921/stat : 17921 (java) S 17909 17909 14480 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420904607 27969658880 31457 33554432000 4194304 4196468 140727116821840 140346248550672 140346832631509 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12554240 140727116825322 140727116825750 140727116825750 140727116828623 0
[pid=17912/tid=17922] ppid=17909 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17912/task/17922/stat : 17922 (java) S 17909 17909 14480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420904608 27969658880 31457 33554432000 4194304 4196468 140727116821840 140345354279792 140346832632450 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12554240 140727116825322 140727116825750 140727116825750 140727116828623 0
[pid=17912/tid=17923] ppid=17909 vsize=27314120 memory=280245139875472 CPUtime=0 cores=0-7
/proc/17912/task/17923/stat : 17923 (java) S 17909 17909 14480 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 420904609 27969658880 31457 33554432000 4194304 4196468 140727116821840 140344431732256 140346832631509 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12554240 140727116825322 140727116825750 140727116825750 140727116828623 0
[pid=17912/tid=17924] ppid=17909 vsize=27314120 memory=280245139882384 CPUtime=0 cores=0-7
/proc/17912/task/17924/stat : 17924 (java) S 17909 17909 14480 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 420904609 27969658880 31457 33554432000 4194304 4196468 140727116821840 140344297510256 140346832631509 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12554240 140727116825322 140727116825750 140727116825750 140727116828623 0
[pid=17912/tid=17927] ppid=17909 vsize=27314120 memory=280245139823664 CPUtime=0 cores=0-7
/proc/17912/task/17927/stat : 17927 (java) S 17909 17909 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420904611 27969658880 31457 33554432000 4194304 4196468 140727116821840 140343923005776 140346832639899 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12554240 140727116825322 140727116825750 140727116825750 140727116828623 0
[pid=17912/tid=17928] ppid=17909 vsize=27314120 memory=280245139896208 CPUtime=0.01 cores=0-7
/proc/17912/task/17928/stat : 17928 (java) S 17909 17909 14480 0 -1 1077944384 417 0 0 0 1 0 0 0 20 0 20 0 420904611 27969658880 31457 33554432000 4194304 4196468 140727116821840 140345353226608 140346832632450 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12554240 140727116825322 140727116825750 140727116825750 140727116828623 0
[pid=17912/tid=17929] ppid=17909 vsize=27314120 memory=280245139903120 CPUtime=0.01 cores=0-7
/proc/17912/task/17929/stat : 17929 (java) R 17909 17909 14480 0 -1 4202560 82 0 0 0 1 0 0 0 20 0 20 0 420904612 27969658880 31457 33554432000 4194304 4196468 140727116821840 140345352173808 140346812125344 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12554240 140727116825322 140727116825750 140727116825750 140727116828623 0
[pid=17912/tid=17930] ppid=17909 vsize=27314120 memory=280245139900816 CPUtime=0.01 cores=0-7
/proc/17912/task/17930/stat : 17930 (java) S 17909 17909 14480 0 -1 1077944384 141 0 0 0 1 0 0 0 20 0 20 0 420904612 27969658880 31457 33554432000 4194304 4196468 140727116821840 140345351121008 140346832632450 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12554240 140727116825322 140727116825750 140727116825750 140727116828623 0
[pid=17912/tid=17931] ppid=17909 vsize=27314120 memory=280245139916976 CPUtime=0.07 cores=0-7
/proc/17912/task/17931/stat : 17931 (java) S 17909 17909 14480 0 -1 1077944384 532 0 0 0 7 0 0 0 20 0 20 0 420904612 27969658880 31457 33554432000 4194304 4196468 140727116821840 140345350068208 140346832632450 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12554240 140727116825322 140727116825750 140727116825750 140727116828623 0
[pid=17912/tid=17932] ppid=17909 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17912/task/17932/stat : 17932 (java) S 17909 17909 14480 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420904612 27969658880 31457 33554432000 4194304 4196468 140727116821840 140343425100896 140346832631509 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12554240 140727116825322 140727116825750 140727116825750 140727116828623 0
[pid=17912/tid=17933] ppid=17909 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/17912/task/17933/stat : 17933 (java) S 17909 17909 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420904612 27969658880 31457 33554432000 4194304 4196468 140727116821840 140345349016624 140346832632450 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12554240 140727116825322 140727116825750 140727116825750 140727116828623 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 127224 KiB

[startup+0.703402 s]
/proc/loadavg: 1.97 3.74 5.52 2/212 17933
/proc/meminfo: memFree=25662148/32770624 swapFree=67002288/67108860
[pid=17909] ppid=17906 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/17909/stat : 17909 (scop.sh) S 17906 17909 14480 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 420904604 115843072 349 33554432000 4194304 5098028 140721425944496 140721425941752 140010641969788 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 19083264 140721425949476 140721425949804 140721425949804 140721425952717 0
/proc/17909/statm: 28282 349 296 221 0 87 0
[pid=17912] ppid=17909 vsize=27320392 memory=165484 CPUtime=1.03 cores=0-7
/proc/17912/stat : 17912 (java) S 17909 17909 14480 0 -1 1077944320 20469 0 0 0 95 8 0 0 20 0 20 0 420904604 27976081408 41371 33554432000 4194304 4196468 140727116821840 140727116804384 140346832621303 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 12554240 140727116825322 140727116825750 140727116825750 140727116828623 0
/proc/17912/statm: 6830098 41371 3182 1 0 6791447 0
[pid=17912/tid=17913] ppid=17909 vsize=27320392 memory=280245140274864 CPUtime=0.68 cores=0-7
/proc/17912/task/17913/stat : 17913 (java) R 17909 17909 14480 0 -1 4202560 17346 0 0 0 61 7 0 0 20 0 20 0 420904604 27976081408 41371 33554432000 4194304 4196468 140727116821840 140346804455248 140346832643229 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12554240 140727116825322 140727116825750 140727116825750 140727116828623 0
[pid=17912/tid=17914] ppid=17909 vsize=27320392 memory=140122570138480 CPUtime=0 cores=0-7
/proc/17912/task/17914/stat : 17914 (java) S 17909 17909 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420904607 27976081408 41371 33554432000 4194304 4196468 140727116821840 140346836864144 140346832631509 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12554240 140727116825322 140727116825750 140727116825750 140727116828623 0
[pid=17912/tid=17915] ppid=17909 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/17912/task/17915/stat : 17915 (java) S 17909 17909 14480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420904607 27976081408 41371 33554432000 4194304 4196468 140727116821840 140346651020304 140346832631509 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12554240 140727116825322 140727116825750 140727116825750 140727116828623 0
[pid=17912/tid=17916] ppid=17909 vsize=27320392 memory=1056 CPUtime=0 cores=0-7
/proc/17912/task/17916/stat : 17916 (java) S 17909 17909 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420904607 27976081408 41371 33554432000 4194304 4196468 140727116821840 140346649967504 140346832631509 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12554240 140727116825322 140727116825750 140727116825750 140727116828623 0

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

/proc/17946/task/17952/stat : 17952 (java) S 17909 17909 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420925819 8616062976 30949 33554432000 4194304 4196468 140728131427760 140167333177744 140167850886869 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22523904 140728131433463 140728131433622 140728131433622 140728131436495 0
[pid=17946/tid=17953] ppid=17909 vsize=8414124 memory=1756 CPUtime=0 cores=0-7
/proc/17946/task/17953/stat : 17953 (java) S 17909 17909 14480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420925820 8616062976 30949 33554432000 4194304 4196468 140728131427760 140167332124944 140167850886869 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22523904 140728131433463 140728131433622 140728131433622 140728131436495 0
[pid=17946/tid=17954] ppid=17909 vsize=8414124 memory=5948 CPUtime=0 cores=0-7
/proc/17946/task/17954/stat : 17954 (java) S 17909 17909 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420925820 8616062976 30949 33554432000 4194304 4196468 140728131427760 140167331072656 140167850886869 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22523904 140728131433463 140728131433622 140728131433622 140728131436495 0
[pid=17946/tid=17955] ppid=17909 vsize=8414124 memory=636 CPUtime=0 cores=0-7
/proc/17946/task/17955/stat : 17955 (java) S 17909 17909 14480 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 420925820 8616062976 30949 33554432000 4194304 4196468 140728131427760 140167330019856 140167850886869 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22523904 140728131433463 140728131433622 140728131433622 140728131436495 0
[pid=17946/tid=17956] ppid=17909 vsize=8414124 memory=2900 CPUtime=0 cores=0-7
/proc/17946/task/17956/stat : 17956 (java) S 17909 17909 14480 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 420925821 8616062976 30949 33554432000 4194304 4196468 140728131427760 140167279942256 140167850887810 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22523904 140728131433463 140728131433622 140728131433622 140728131436495 0
[pid=17946/tid=17957] ppid=17909 vsize=8414124 memory=290763849282617370 CPUtime=0 cores=0-7
/proc/17946/task/17957/stat : 17957 (java) S 17909 17909 14480 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 420925821 8616062976 30949 33554432000 4194304 4196468 140728131427760 140166459024672 140167850886869 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22523904 140728131433463 140728131433622 140728131433622 140728131436495 0
[pid=17946/tid=17958] ppid=17909 vsize=8414124 memory=290763896594366775 CPUtime=0 cores=0-7
/proc/17946/task/17958/stat : 17958 (java) S 17909 17909 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420925822 8616062976 30949 33554432000 4194304 4196468 140728131427760 140166190589552 140167850886869 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22523904 140728131433463 140728131433622 140728131433622 140728131436495 0
[pid=17946/tid=17959] ppid=17909 vsize=8414124 memory=14126740981156277 CPUtime=0 cores=0-7
/proc/17946/task/17959/stat : 17959 (java) S 17909 17909 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420925824 8616062976 30949 33554432000 4194304 4196468 140728131427760 140165816080976 140167850895259 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22523904 140728131433463 140728131433622 140728131433622 140728131436495 0
[pid=17946/tid=17960] ppid=17909 vsize=8414124 memory=15460 CPUtime=0.09 cores=0-7
/proc/17946/task/17960/stat : 17960 (java) S 17909 17909 14480 0 -1 1077944384 684 0 0 0 9 0 0 0 20 0 24 0 420925824 8616062976 30949 33554432000 4194304 4196468 140728131427760 140167278889072 140167850887810 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22523904 140728131433463 140728131433622 140728131433622 140728131436495 0
[pid=17946/tid=17961] ppid=17909 vsize=8414124 memory=17668 CPUtime=0.1 cores=0-7
/proc/17946/task/17961/stat : 17961 (java) S 17909 17909 14480 0 -1 1077944384 448 0 0 0 10 0 0 0 20 0 24 0 420925824 8616062976 30949 33554432000 4194304 4196468 140728131427760 140167277836272 140167850887810 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22523904 140728131433463 140728131433622 140728131433622 140728131436495 0
[pid=17946/tid=17962] ppid=17909 vsize=8414124 memory=19876 CPUtime=0.09 cores=0-7
/proc/17946/task/17962/stat : 17962 (java) S 17909 17909 14480 0 -1 1077944384 308 0 0 0 9 0 0 0 20 0 24 0 420925824 8616062976 30949 33554432000 4194304 4196468 140728131427760 140167276783984 140167850887810 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22523904 140728131433463 140728131433622 140728131433622 140728131436495 0
[pid=17946/tid=17963] ppid=17909 vsize=8414124 memory=-7175204567652784766 CPUtime=0.24 cores=0-7
/proc/17946/task/17963/stat : 17963 (java) S 17909 17909 14480 0 -1 1077944384 659 0 0 0 24 0 0 0 20 0 24 0 420925824 8616062976 30949 33554432000 4194304 4196468 140728131427760 140167275731184 140167850887810 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22523904 140728131433463 140728131433622 140728131433622 140728131436495 0
[pid=17946/tid=17964] ppid=17909 vsize=8414124 memory=3054156605268465310 CPUtime=0 cores=0-7
/proc/17946/task/17964/stat : 17964 (java) S 17909 17909 14480 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 420925825 8616062976 30949 33554432000 4194304 4196468 140728131427760 140165318175584 140167850886869 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22523904 140728131433463 140728131433622 140728131433622 140728131436495 0
[pid=17946/tid=17965] ppid=17909 vsize=8414124 memory=-8707038579349950309 CPUtime=0 cores=0-7
/proc/17946/task/17965/stat : 17965 (java) S 17909 17909 14480 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 420925825 8616062976 30949 33554432000 4194304 4196468 140728131427760 140167274679088 140167850887810 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22523904 140728131433463 140728131433622 140728131433622 140728131436495 0
[pid=17946/tid=17967] ppid=17909 vsize=8414124 memory=-8341965534556230502 CPUtime=0 cores=0-7
/proc/17946/task/17967/stat : 17967 (java) S 17909 17909 14480 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 420925898 8616062976 30949 33554432000 4194304 4196468 140728131427760 140167266645824 140167850901273 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 22523904 140728131433463 140728131433622 140728131433622 140728131436495 0
[pid=17946/tid=17969] ppid=17909 vsize=8414124 memory=-8253362762722141311 CPUtime=0 cores=0-7
/proc/17946/task/17969/stat : 17969 (java) S 17909 17909 14480 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 420925898 8616062976 30949 33554432000 4194304 4196468 140728131427760 140164647075248 140167850898589 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 22523904 140728131433463 140728131433622 140728131433622 140728131436495 0
[pid=17946/tid=17970] ppid=17909 vsize=8414124 memory=123796 CPUtime=0 cores=0-7
/proc/17946/task/17970/stat : 17970 (java) S 17909 17909 14480 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 420925898 8616062976 30949 33554432000 4194304 4196468 140728131427760 140164915510576 140167850898589 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 22523904 140728131433463 140728131433622 140728131433622 140728131436495 0
[pid=17946/tid=17971] ppid=17909 vsize=8414124 memory=243360 CPUtime=0 cores=0-7
/proc/17946/task/17971/stat : 17971 (java) S 17909 17909 14480 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 420925900 8616062976 30949 33554432000 4194304 4196468 140728131427760 140164378647856 140167850886869 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22523904 140728131433463 140728131433622 140728131433622 140728131436495 0
Current children cumulated CPU time: 285.17 s
Current children cumulated vsize: 8970848 KiB
Current children cumulated memory: 523772 KiB

[startup+217.201 s]
/proc/loadavg: 1.08 2.38 4.60 2/215 17971
/proc/meminfo: memFree=25035764/32770624 swapFree=67002288/67108860
[pid=17909] ppid=17906 vsize=113128 memory=1476 CPUtime=279.93 cores=0-7
/proc/17909/stat : 17909 (scop.sh) S 17906 17909 14480 0 -1 4202496 582 106036 0 0 0 0 26716 1277 20 0 1 0 420904604 115843072 369 33554432000 4194304 5098028 140721425944496 140721425941240 140010641969788 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 19083264 140721425949476 140721425949804 140721425949804 140721425952717 0
/proc/17909/statm: 28282 369 311 221 0 87 0
[pid=17946] ppid=17909 vsize=8414124 memory=123796 CPUtime=1.38 cores=0-7
/proc/17946/stat : 17946 (java) S 17909 17909 14480 0 -1 1077944320 21454 0 0 0 129 9 0 0 20 0 24 0 420925817 8616062976 30949 33554432000 4194304 4196468 140728131427760 140728131410304 140167850876663 0 0 2 25189581 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 22523904 140728131433463 140728131433622 140728131433622 140728131436495 0
/proc/17946/statm: 2103531 30949 3204 1 0 2064875 0
[pid=17966] ppid=17946 vsize=959028 memory=914008 CPUtime=4.26 cores=0-7
/proc/17966/stat : 17966 (manyglucose-4.1) R 17946 17909 14480 0 -1 4202496 200190 0 0 0 396 30 0 0 20 0 1 0 420925898 982044672 228502 33554432000 4194304 4454172 140724214702832 140724214700264 139827348007909 0 4 0 8388610 0 0 0 17 6 0 0 0 0 0 6552832 6554400 13897728 140724214711145 140724214711344 140724214711344 140724214714298 0
/proc/17966/statm: 239790 228502 378 64 0 235458 0
[pid=17946/tid=17947] ppid=17909 vsize=8414124 memory=-7824251494390651234 CPUtime=0.81 cores=0-7
/proc/17946/task/17947/stat : 17947 (java) S 17909 17909 14480 0 -1 1077944384 17956 0 0 0 75 6 0 0 20 0 24 0 420925818 8616062976 30949 33554432000 4194304 4196468 140728131427760 140167822716832 140167850886869 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22523904 140728131433463 140728131433622 140728131433622 140728131436495 0
[pid=17946/tid=17948] ppid=17909 vsize=8414124 memory=7379550841931326568 CPUtime=0 cores=0-7
/proc/17946/task/17948/stat : 17948 (java) S 17909 17909 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420925819 8616062976 30949 33554432000 4194304 4196468 140728131427760 140167855119248 140167850886869 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22523904 140728131433463 140728131433622 140728131433622 140728131436495 0
[pid=17946/tid=17949] ppid=17909 vsize=8414124 memory=7597120016045336680 CPUtime=0 cores=0-7
/proc/17946/task/17949/stat : 17949 (java) S 17909 17909 14480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420925819 8616062976 30949 33554432000 4194304 4196468 140728131427760 140167669275408 140167850886869 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22523904 140728131433463 140728131433622 140728131433622 140728131436495 0
[pid=17946/tid=17950] ppid=17909 vsize=8414124 memory=7379550841931326568 CPUtime=0 cores=0-7
/proc/17946/task/17950/stat : 17950 (java) S 17909 17909 14480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420925819 8616062976 30949 33554432000 4194304 4196468 140728131427760 140167668223120 140167850886869 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22523904 140728131433463 140728131433622 140728131433622 140728131436495 0
[pid=17946/tid=17951] ppid=17909 vsize=8414124 memory=5859293514766577252 CPUtime=0 cores=0-7
/proc/17946/task/17951/stat : 17951 (java) S 17909 17909 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420925819 8616062976 30949 33554432000 4194304 4196468 140728131427760 140167334231056 140167850886869 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22523904 140728131433463 140728131433622 140728131433622 140728131436495 0
[pid=17946/tid=17952] ppid=17909 vsize=8414124 memory=7594002802400585321 CPUtime=0 cores=0-7
/proc/17946/task/17952/stat : 17952 (java) S 17909 17909 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420925819 8616062976 30949 33554432000 4194304 4196468 140728131427760 140167333177744 140167850886869 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22523904 140728131433463 140728131433622 140728131433622 140728131436495 0
[pid=17946/tid=17953] ppid=17909 vsize=8414124 memory=7594002802400585321 CPUtime=0 cores=0-7
/proc/17946/task/17953/stat : 17953 (java) S 17909 17909 14480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420925820 8616062976 30949 33554432000 4194304 4196468 140728131427760 140167332124944 140167850886869 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22523904 140728131433463 140728131433622 140728131433622 140728131436495 0
[pid=17946/tid=17954] ppid=17909 vsize=8414124 memory=7307481071277598822 CPUtime=0 cores=0-7
/proc/17946/task/17954/stat : 17954 (java) S 17909 17909 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420925820 8616062976 30949 33554432000 4194304 4196468 140728131427760 140167331072656 140167850886869 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22523904 140728131433463 140728131433622 140728131433622 140728131436495 0
[pid=17946/tid=17955] ppid=17909 vsize=8414124 memory=6226624960822601831 CPUtime=0 cores=0-7
/proc/17946/task/17955/stat : 17955 (java) S 17909 17909 14480 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 420925820 8616062976 30949 33554432000 4194304 4196468 140728131427760 140167330019856 140167850886869 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22523904 140728131433463 140728131433622 140728131433622 140728131436495 0
[pid=17946/tid=17956] ppid=17909 vsize=8414124 memory=7235685174328321130 CPUtime=0 cores=0-7
/proc/17946/task/17956/stat : 17956 (java) S 17909 17909 14480 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 420925821 8616062976 30949 33554432000 4194304 4196468 140728131427760 140167279942256 140167850887810 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22523904 140728131433463 140728131433622 140728131433622 140728131436495 0
[pid=17946/tid=17957] ppid=17909 vsize=8414124 memory=4639948313719891052 CPUtime=0 cores=0-7
/proc/17946/task/17957/stat : 17957 (java) S 17909 17909 14480 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 420925821 8616062976 30949 33554432000 4194304 4196468 140728131427760 140166459024672 140167850886869 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22523904 140728131433463 140728131433622 140728131433622 140728131436495 0
[pid=17946/tid=17958] ppid=17909 vsize=8414124 memory=7163368198491629393 CPUtime=0 cores=0-7
/proc/17946/task/17958/stat : 17958 (java) S 17909 17909 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420925822 8616062976 30949 33554432000 4194304 4196468 140728131427760 140166190589552 140167850886869 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22523904 140728131433463 140728131433622 140728131433622 140728131436495 0
[pid=17946/tid=17959] ppid=17909 vsize=8414124 memory=7379550841931326568 CPUtime=0 cores=0-7
/proc/17946/task/17959/stat : 17959 (java) S 17909 17909 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420925824 8616062976 30949 33554432000 4194304 4196468 140728131427760 140165816080976 140167850895259 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22523904 140728131433463 140728131433622 140728131433622 140728131436495 0
[pid=17946/tid=17960] ppid=17909 vsize=8414124 memory=7379550841931326568 CPUtime=0.09 cores=0-7
/proc/17946/task/17960/stat : 17960 (java) S 17909 17909 14480 0 -1 1077944384 684 0 0 0 9 0 0 0 20 0 24 0 420925824 8616062976 30949 33554432000 4194304 4196468 140728131427760 140167278889072 140167850887810 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22523904 140728131433463 140728131433622 140728131433622 140728131436495 0
[pid=17946/tid=17961] ppid=17909 vsize=8414124 memory=7379550841931326568 CPUtime=0.1 cores=0-7
/proc/17946/task/17961/stat : 17961 (java) S 17909 17909 14480 0 -1 1077944384 448 0 0 0 10 0 0 0 20 0 24 0 420925824 8616062976 30949 33554432000 4194304 4196468 140728131427760 140167277836272 140167850887810 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22523904 140728131433463 140728131433622 140728131433622 140728131436495 0
[pid=17946/tid=17962] ppid=17909 vsize=8414124 memory=7379550841931326568 CPUtime=0.09 cores=0-7
/proc/17946/task/17962/stat : 17962 (java) S 17909 17909 14480 0 -1 1077944384 308 0 0 0 9 0 0 0 20 0 24 0 420925824 8616062976 30949 33554432000 4194304 4196468 140728131427760 140167276783984 140167850887810 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22523904 140728131433463 140728131433622 140728131433622 140728131436495 0
[pid=17946/tid=17963] ppid=17909 vsize=8414124 memory=7379550841931326568 CPUtime=0.24 cores=0-7
/proc/17946/task/17963/stat : 17963 (java) S 17909 17909 14480 0 -1 1077944384 659 0 0 0 24 0 0 0 20 0 24 0 420925824 8616062976 30949 33554432000 4194304 4196468 140728131427760 140167275731184 140167850887810 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22523904 140728131433463 140728131433622 140728131433622 140728131436495 0
[pid=17946/tid=17964] ppid=17909 vsize=8414124 memory=288230574492221466 CPUtime=0 cores=0-7
/proc/17946/task/17964/stat : 17964 (java) S 17909 17909 14480 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 420925825 8616062976 30949 33554432000 4194304 4196468 140728131427760 140165318175584 140167850886869 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22523904 140728131433463 140728131433622 140728131433622 140728131436495 0
[pid=17946/tid=17965] ppid=17909 vsize=8414124 memory=288230621803970871 CPUtime=0 cores=0-7
/proc/17946/task/17965/stat : 17965 (java) S 17909 17909 14480 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 420925825 8616062976 30949 33554432000 4194304 4196468 140728131427760 140167274679088 140167850887810 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22523904 140728131433463 140728131433622 140728131433622 140728131436495 0
[pid=17946/tid=17967] ppid=17909 vsize=8414124 memory=14126740981156277 CPUtime=0 cores=0-7
/proc/17946/task/17967/stat : 17967 (java) S 17909 17909 14480 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 420925898 8616062976 30949 33554432000 4194304 4196468 140728131427760 140167266645824 140167850901273 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 22523904 140728131433463 140728131433622 140728131433622 140728131436495 0
[pid=17946/tid=17969] ppid=17909 vsize=8414124 memory=14126740981156277 CPUtime=0 cores=0-7
/proc/17946/task/17969/stat : 17969 (java) S 17909 17909 14480 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 420925898 8616062976 30949 33554432000 4194304 4196468 140728131427760 140164647075248 140167850898589 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 22523904 140728131433463 140728131433622 140728131433622 140728131436495 0
[pid=17946/tid=17970] ppid=17909 vsize=8414124 memory=2120 CPUtime=0 cores=0-7
/proc/17946/task/17970/stat : 17970 (java) S 17909 17909 14480 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 420925898 8616062976 30949 33554432000 4194304 4196468 140728131427760 140164915510576 140167850898589 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 22523904 140728131433463 140728131433622 140728131433622 140728131436495 0
[pid=17946/tid=17971] ppid=17909 vsize=8414124 memory=21952 CPUtime=0 cores=0-7
/proc/17946/task/17971/stat : 17971 (java) S 17909 17909 14480 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 420925900 8616062976 30949 33554432000 4194304 4196468 140728131427760 140164378647856 140167850886869 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22523904 140728131433463 140728131433622 140728131433622 140728131436495 0
Current children cumulated CPU time: 285.57 s
Current children cumulated vsize: 9486280 KiB
Current children cumulated memory: 1039280 KiB

[startup+217.601 s]
/proc/loadavg: 1.08 2.38 4.60 2/215 17971
/proc/meminfo: memFree=25035764/32770624 swapFree=67002288/67108860
[pid=17909] ppid=17906 vsize=113128 memory=1476 CPUtime=279.93 cores=0-7
/proc/17909/stat : 17909 (scop.sh) S 17906 17909 14480 0 -1 4202496 582 106036 0 0 0 0 26716 1277 20 0 1 0 420904604 115843072 369 33554432000 4194304 5098028 140721425944496 140721425941240 140010641969788 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 19083264 140721425949476 140721425949804 140721425949804 140721425952717 0
/proc/17909/statm: 28282 369 311 221 0 87 0
[pid=17946] ppid=17909 vsize=8414124 memory=124712 CPUtime=1.43 cores=0-7
/proc/17946/stat : 17946 (java) S 17909 17909 14480 0 -1 1077944320 21685 0 0 0 134 9 0 0 20 0 24 0 420925817 8616062976 31178 33554432000 4194304 4196468 140728131427760 140728131410304 140167850876663 0 0 2 25189581 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 22523904 140728131433463 140728131433622 140728131433622 140728131436495 0
/proc/17946/statm: 2103531 31178 3204 1 0 2064875 0
[pid=17946/tid=17947] ppid=17909 vsize=8414124 memory=12040 CPUtime=0.81 cores=0-7
/proc/17946/task/17947/stat : 17947 (java) S 17909 17909 14480 0 -1 1077944384 17956 0 0 0 75 6 0 0 20 0 24 0 420925818 8616062976 31178 33554432000 4194304 4196468 140728131427760 140167822716832 140167850886869 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22523904 140728131433463 140728131433622 140728131433622 140728131436495 0
[pid=17946/tid=17948] ppid=17909 vsize=8414124 memory=2120 CPUtime=0 cores=0-7
/proc/17946/task/17948/stat : 17948 (java) S 17909 17909 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420925819 8616062976 31178 33554432000 4194304 4196468 140728131427760 140167855119248 140167850886869 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22523904 140728131433463 140728131433622 140728131433622 140728131436495 0
[pid=17946/tid=17949] ppid=17909 vsize=8414124 memory=1292 CPUtime=0 cores=0-7
/proc/17946/task/17949/stat : 17949 (java) S 17909 17909 14480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420925819 8616062976 31178 33554432000 4194304 4196468 140728131427760 140167669275408 140167850886869 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22523904 140728131433463 140728131433622 140728131433622 140728131436495 0
[pid=17946/tid=17950] ppid=17909 vsize=8414124 memory=10592 CPUtime=0 cores=0-7
/proc/17946/task/17950/stat : 17950 (java) S 17909 17909 14480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420925819 8616062976 31178 33554432000 4194304 4196468 140728131427760 140167668223120 140167850886869 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22523904 140728131433463 140728131433622 140728131433622 140728131436495 0
[pid=17946/tid=17951] ppid=17909 vsize=8414124 memory=1756 CPUtime=0 cores=0-7
/proc/17946/task/17951/stat : 17951 (java) S 17909 17909 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420925819 8616062976 31178 33554432000 4194304 4196468 140728131427760 140167334231056 140167850886869 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22523904 140728131433463 140728131433622 140728131433622 140728131436495 0
[pid=17946/tid=17952] ppid=17909 vsize=8414124 memory=5948 CPUtime=0 cores=0-7
/proc/17946/task/17952/stat : 17952 (java) S 17909 17909 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420925819 8616062976 31178 33554432000 4194304 4196468 140728131427760 140167333177744 140167850886869 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22523904 140728131433463 140728131433622 140728131433622 140728131436495 0
[pid=17946/tid=17953] ppid=17909 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/17946/task/17953/stat : 17953 (java) S 17909 17909 14480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420925820 8616062976 31178 33554432000 4194304 4196468 140728131427760 140167332124944 140167850886869 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22523904 140728131433463 140728131433622 140728131433622 140728131436495 0
[pid=17946/tid=17954] ppid=17909 vsize=8414124 memory=227208 CPUtime=0 cores=0-7
/proc/17946/task/17954/stat : 17954 (java) S 17909 17909 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420925820 8616062976 31178 33554432000 4194304 4196468 140728131427760 140167331072656 140167850886869 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22523904 140728131433463 140728131433622 140728131433622 140728131436495 0
[pid=17946/tid=17955] ppid=17909 vsize=8414124 memory=123796 CPUtime=0 cores=0-7
/proc/17946/task/17955/stat : 17955 (java) S 17909 17909 14480 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 420925820 8616062976 31178 33554432000 4194304 4196468 140728131427760 140167330019856 140167850886869 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22523904 140728131433463 140728131433622 140728131433622 140728131436495 0
[pid=17946/tid=17956] ppid=17909 vsize=8414124 memory=196536 CPUtime=0 cores=0-7
/proc/17946/task/17956/stat : 17956 (java) S 17909 17909 14480 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 420925821 8616062976 31178 33554432000 4194304 4196468 140728131427760 140167279942256 140167850887810 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22523904 140728131433463 140728131433622 140728131433622 140728131436495 0
[pid=17946/tid=17957] ppid=17909 vsize=8414124 memory=10592 CPUtime=0 cores=0-7
/proc/17946/task/17957/stat : 17957 (java) S 17909 17909 14480 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 420925821 8616062976 31178 33554432000 4194304 4196468 140728131427760 140166459024672 140167850886869 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22523904 140728131433463 140728131433622 140728131433622 140728131436495 0
[pid=17946/tid=17958] ppid=17909 vsize=8414124 memory=1756 CPUtime=0 cores=0-7
/proc/17946/task/17958/stat : 17958 (java) S 17909 17909 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420925822 8616062976 31178 33554432000 4194304 4196468 140728131427760 140166190589552 140167850886869 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22523904 140728131433463 140728131433622 140728131433622 140728131436495 0
[pid=17946/tid=17959] ppid=17909 vsize=8414124 memory=1656 CPUtime=0 cores=0-7
/proc/17946/task/17959/stat : 17959 (java) S 17909 17909 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420925824 8616062976 31178 33554432000 4194304 4196468 140728131427760 140165816080976 140167850895259 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22523904 140728131433463 140728131433622 140728131433622 140728131436495 0
[pid=17946/tid=17960] ppid=17909 vsize=8414124 memory=804 CPUtime=0.09 cores=0-7
/proc/17946/task/17960/stat : 17960 (java) S 17909 17909 14480 0 -1 1077944384 689 0 0 0 9 0 0 0 20 0 24 0 420925824 8616062976 31178 33554432000 4194304 4196468 140728131427760 140167278889072 140167850887810 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22523904 140728131433463 140728131433622 140728131433622 140728131436495 0
[pid=17946/tid=17961] ppid=17909 vsize=8414124 memory=1448 CPUtime=0.1 cores=0-7
/proc/17946/task/17961/stat : 17961 (java) S 17909 17909 14480 0 -1 1077944384 452 0 0 0 10 0 0 0 20 0 24 0 420925824 8616062976 31178 33554432000 4194304 4196468 140728131427760 140167277836272 140167850887810 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22523904 140728131433463 140728131433622 140728131433622 140728131436495 0
[pid=17946/tid=17962] ppid=17909 vsize=8414124 memory=1980 CPUtime=0.1 cores=0-7
/proc/17946/task/17962/stat : 17962 (java) S 17909 17909 14480 0 -1 1077944384 312 0 0 0 10 0 0 0 20 0 24 0 420925824 8616062976 31178 33554432000 4194304 4196468 140728131427760 140167276783984 140167850887810 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22523904 140728131433463 140728131433622 140728131433622 140728131436495 0
[pid=17946/tid=17963] ppid=17909 vsize=8414124 memory=2812 CPUtime=0.25 cores=0-7
/proc/17946/task/17963/stat : 17963 (java) S 17909 17909 14480 0 -1 1077944384 869 0 0 0 25 0 0 0 20 0 24 0 420925824 8616062976 31178 33554432000 4194304 4196468 140728131427760 140167275731184 140167850887810 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22523904 140728131433463 140728131433622 140728131433622 140728131436495 0
[pid=17946/tid=17964] ppid=17909 vsize=8414124 memory=1764 CPUtime=0 cores=0-7
/proc/17946/task/17964/stat : 17964 (java) S 17909 17909 14480 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 420925825 8616062976 31178 33554432000 4194304 4196468 140728131427760 140165318175584 140167850886869 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22523904 140728131433463 140728131433622 140728131433622 140728131436495 0
[pid=17946/tid=17965] ppid=17909 vsize=8414124 memory=111632 CPUtime=0 cores=0-7
/proc/17946/task/17965/stat : 17965 (java) S 17909 17909 14480 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 420925825 8616062976 31178 33554432000 4194304 4196468 140728131427760 140167274679088 140167850887810 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22523904 140728131433463 140728131433622 140728131433622 140728131436495 0
[pid=17946/tid=17967] ppid=17909 vsize=8414124 memory=796 CPUtime=0 cores=0-7
/proc/17946/task/17967/stat : 17967 (java) S 17909 17909 14480 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 420925898 8616062976 31178 33554432000 4194304 4196468 140728131427760 140167266645824 140167850901273 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 22523904 140728131433463 140728131433622 140728131433622 140728131436495 0
[pid=17946/tid=17969] ppid=17909 vsize=8414124 memory=1808 CPUtime=0.01 cores=0-7
/proc/17946/task/17969/stat : 17969 (java) S 17909 17909 14480 0 -1 4202560 14 0 0 0 1 0 0 0 20 0 24 0 420925898 8616062976 31178 33554432000 4194304 4196468 140728131427760 140164647075280 140167850898589 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 22523904 140728131433463 140728131433622 140728131433622 140728131436495 0
[pid=17946/tid=17970] ppid=17909 vsize=8414124 memory=920 CPUtime=0 cores=0-7
/proc/17946/task/17970/stat : 17970 (java) S 17909 17909 14480 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 420925898 8616062976 31178 33554432000 4194304 4196468 140728131427760 140164915510576 140167850898589 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 22523904 140728131433463 140728131433622 140728131433622 140728131436495 0
[pid=17946/tid=17971] ppid=17909 vsize=8414124 memory=140127018641023 CPUtime=0 cores=0-7
/proc/17946/task/17971/stat : 17971 (java) S 17909 17909 14480 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 420925900 8616062976 31178 33554432000 4194304 4196468 140728131427760 140164378647856 140167850886869 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22523904 140728131433463 140728131433622 140728131433622 140728131436495 0
Current children cumulated CPU time: 281.36 s
Current children cumulated vsize: 8527252 KiB
Current children cumulated memory: 126188 KiB

Child status: 0
Real time (s): 217.625
CPU time (s): 286.133
CPU user time (s): 272.772
CPU system time (s): 13.3618
CPU usage (%): 131.48
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 10577520

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 272.772
system time used= 13.3618
maximum resident set size= 10577032
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 387177
page faults= 0
swaps= 0
block input operations= 0
block output operations= 81072
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 18167
involuntary context switches= 961


# summary of solver processes directly reported to runsolver:
#   pid: 17909
#   total CPU time (s): 286.133
#   total CPU user time (s): 272.772
#   total CPU system time (s): 13.3618

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.45334 second user time and 2.12952 second system time

The end

Launcher Data 

Begin job on node136 at 2019-09-14 09:35:15
IDJOB=4392575
IDBENCH=140009
IDSOLVER=2839
FILE ID=node136/4392575-1568446559
RUNJOBID= node136-1568439334-14507
PBS_JOBID= 21702333
Free space on /tmp= 61168 MiB

SOLVER NAME= Fun-sCOP hybrid+ManyGlucose (2019-06-15)
BENCH NAME= XCSP17/Crossword/Crossword-m1c-ogd-vg/Crossword-m1c-ogd-vg-15-19.xml
COMMAND LINE= DIR/scop.sh 22g DIR/scop.jar -hybrid DIR/manyglucose-4.1-27_release -model:-nthreads=NBCORE:-maxmemory=20000:-lit-scans=6000000 TMPDIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4392575-1568446559/watcher-4392575-1568446559 -o /tmp/evaluation-result-4392575-1568446559/solver-4392575-1568446559 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node136-1568439334-14507 --watchdog 2580  HOME/scop.sh 22g HOME/scop.jar -hybrid HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4392575-1568446559.xml

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

MD5SUM BENCH= 771a2032fa08b3551aec0b6adeb94e67
RANDOM SEED=1978259294

node136.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        25799708 kB
MemAvailable:   31887164 kB
Buffers:           86592 kB
Cached:          6276556 kB
SwapCached:         3908 kB
Active:          2059716 kB
Inactive:        4313664 kB
Active(anon):       5660 kB
Inactive(anon):    44780 kB
Active(file):    2054056 kB
Inactive(file):  4268884 kB
Unevictable:      106576 kB
Mlocked:          106576 kB
SwapTotal:      67108860 kB
SwapFree:       67002288 kB
Dirty:             21292 kB
Writeback:             0 kB
AnonPages:        128312 kB
Mapped:            44300 kB
Shmem:             31948 kB
Slab:             190344 kB
SReclaimable:     160700 kB
SUnreclaim:        29644 kB
KernelStack:        3712 kB
PageTables:         5668 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     499416 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     81920 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      120192 kB
DirectMap2M:    33425408 kB

Free space on /tmp at the end= 61148 MiB
End job on node136 at 2019-09-14 09:38:53