Trace number 4405435

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-09-22)UNSAT 291.595 223.432

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-20702-serial-file.bin HOME/instance-4405435-1569362725.xml
0.65/0.54	
0.65/0.54	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
0.65/0.54	
0.65/0.57	c BEGIN-Prog: Tue Sep 24 23:03:23 CEST 2019
0.65/0.57	c PID: 20705
0.65/0.57	c IP: 172.20.3.107
0.65/0.57	c HOST: node107.alineos.net
0.65/0.57	c (0,0) Parsing Begin
1.96/1.09	c (0,0) Parsing End
1.96/1.10	c (0,0) CSP: 285 int (0 aux), 0 bool (0 aux), 34 ctr, max domain size 26
1.96/1.10	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.96/1.10	c (0,0) Constraint Name Generate Begin
2.26/1.11	c (0,0) Ctr:HOME/instance-4405435-1569362725.xml,ExtensionSupport:Var
2.26/1.11	c (0,0) Constraint Name Generate End
2.26/1.11	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
2.26/1.11	c (0,0) CSP to CSPinCNF Begin
11.93/4.43	c (3,3) translated 4 (10%) constraints
13.99/6.45	c (5,5) translated 7 (20%) constraints
16.78/9.12	c (8,8) translated 11 (30%) constraints
18.83/11.11	c (10,10) translated 14 (40%) constraints
30.58/20.52	c (19,19) translated 17 (50%) constraints
59.26/44.27	c (43,42) translated 21 (60%) constraints
88.48/68.41	c (67,66) translated 24 (70%) constraints
135.12/103.37	c (102,99) translated 28 (80%) constraints
162.19/124.86	c (124,119) translated 31 (90%) constraints
180.61/140.10	c (139,134) translated 34 (100%) constraints
180.71/140.14	c (139,134) ===========================================
181.27/140.69	c (140,135) Hybrid: #OE=298696, #LE=0
181.27/140.69	c (140,135) Hybrid
181.27/140.69	c (140,135) ===========================================
185.43/144.07	c (143,138) translated 174492 (10%) constraints
188.93/147.52	c (146,142) translated 348983 (20%) constraints
192.38/150.95	c (150,145) translated 523474 (30%) constraints
198.55/154.72	c (154,149) translated 697965 (40%) constraints
201.96/158.14	c (157,152) translated 872456 (50%) constraints
205.35/161.59	c (161,155) translated 1046948 (60%) constraints
208.92/165.08	c (164,159) translated 1221439 (70%) constraints
212.42/168.57	c (168,162) translated 1395930 (80%) constraints
215.93/172.03	c (171,166) translated 1570421 (90%) constraints
223.87/176.06	c (175,169) translated 1744912 (100%) constraints
223.87/176.06	c (175,169) CSP to CSPinCNF End
224.14/176.20	c (175,169) CSP: 285 int (0 aux), 298411 bool (298411 aux), 1744912 ctr, max domain size 24
224.14/176.20	c (175,169) Heap : 2566 MiB used (max 21576 MiB), NonHeap : 27 MiB used (max 0 MiB)
224.14/176.20	c (175,169) CSPinCNF Propagation Begin
252.23/197.27	c (196,190) 21788 values, 74103 unsatisfiable literals, and 112651 valid clauses are removed
252.23/197.27	c (196,190) CSPinCNF Propagation End
252.33/197.38	c (196,190) CSP: 285 int (0 aux), 298411 bool (298411 aux), 1632261 ctr, max domain size 24
252.33/197.38	c (196,190) Heap : 5886 MiB used (max 21671 MiB), NonHeap : 27 MiB used (max 0 MiB)
252.85/197.87	c (197,190) Hybrid: #OE=298696, #LE=0
252.85/197.87	c (197,190) Simplify CSPinCNF Begin
255.85/200.73	c (200,193) Simplify CSPinCNF End
255.95/200.84	c (200,193) CSP: 285 int (0 aux), 298411 bool (298411 aux), 1632261 ctr, max domain size 24
255.95/200.84	c (200,193) Heap : 7611 MiB used (max 21671 MiB), NonHeap : 27 MiB used (max 0 MiB)
255.95/200.84	c (200,193) Calculate Precise Domain Begin
255.95/200.84	c (200,193) 0 values are removed by re-calculation
255.95/200.84	c (200,193) Calculate Precise Domain End
256.05/200.95	c (200,193) CSP: 285 int (0 aux), 298411 bool (298411 aux), 1632261 ctr, max domain size 24
256.05/200.95	c (200,193) Heap : 7621 MiB used (max 21671 MiB), NonHeap : 27 MiB used (max 0 MiB)
256.05/200.95	c (200,193) CSPinCNF to SatSolver Begin
264.33/203.65	c (203,195) 163227 (10 %) CSP clauses are encoded (0 SAT variables, 167896 SAT clauses)
265.77/205.10	c (204,197) 326453 (20 %) CSP clauses are encoded (0 SAT variables, 331122 SAT clauses)
267.26/206.53	c (205,198) 489679 (30 %) CSP clauses are encoded (0 SAT variables, 494348 SAT clauses)
268.67/207.96	c (207,200) 652905 (40 %) CSP clauses are encoded (0 SAT variables, 657574 SAT clauses)
274.36/210.00	c (209,201) 816131 (50 %) CSP clauses are encoded (0 SAT variables, 820800 SAT clauses)
276.35/211.44	c (210,203) 979357 (60 %) CSP clauses are encoded (0 SAT variables, 984026 SAT clauses)
277.73/212.89	c (212,204) 1142583 (70 %) CSP clauses are encoded (0 SAT variables, 1147252 SAT clauses)
279.24/214.34	c (213,206) 1305809 (80 %) CSP clauses are encoded (0 SAT variables, 1310478 SAT clauses)
280.64/215.77	c (215,207) 1469035 (90 %) CSP clauses are encoded (0 SAT variables, 1473704 SAT clauses)
284.93/217.56	c (217,208) 1632261 (100 %) CSP clauses are encoded (0 SAT variables, 1636930 SAT clauses)
284.93/217.56	c (217,208) CSPinCNF to SatSolver End
284.93/217.56	c (217,208) Heap : 3246 MiB used (max 20963 MiB), NonHeap : 29 MiB used (max 0 MiB)
284.93/217.56	c (217,208) 281594 bool, 1636931 clause
284.93/217.56	c (217,208) Export Begin
285.24/217.82	c (217,209) Export to HOME/scop-20702-serial-file.bin
285.24/217.82	c (217,209) Export End
285.24/217.82	c (217,209) Export File Size: 0.17 MB
285.24/217.82	c (217,209) 0,0,175,196,200,200,217,STOP-AFTER(DIMACS)
285.24/217.82	c END-Prog: Tue Sep 24 23:07:00 CEST 2019
285.24/217.88	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-20702-serial-file.bin
285.88/218.36	c (0,0) Read Serial File Begin
285.88/218.36	c (0,0) HOME/scop-20702-serial-file.bin
286.41/218.63	c (0,0) Read Serial File End
286.41/218.64	
286.41/218.64	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
286.41/218.64	(Solving Process)
286.41/218.64	
286.41/218.66	c BEGIN-Prog: Tue Sep 24 23:07:01 CEST 2019
286.41/218.66	c PID: 20737
286.41/218.66	c IP: 172.20.3.107
286.41/218.66	c HOST: node107.alineos.net
286.41/218.67	c (0,0) SatSolver.solve Begin
286.41/218.67	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4405435-1569362725.xml-scop-20705.cnf
286.41/218.69	c (0,0) c
286.41/218.69	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)
286.41/218.69	c (0,0) c
286.41/218.69	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
286.41/218.69	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
286.41/218.69	c (0,0) c ========================================[ Problem Statistics ]===========================================
286.41/218.69	c (0,0) c |                                                                                                       |
287.32/219.39	c (1,0) c |  Number of variables:        281594                                                                   |
287.32/219.39	c (1,0) c |  Number of clauses:         1636368                                                                   |
287.32/219.39	c (1,0) c |  Parse time:                   0.62 s                                                                 |
287.32/219.39	c (1,0) c |                                                                                                       |
290.43/222.42	c (4,0) c |  Simplification time:          2.99 s                                                                 |
290.43/222.42	c (4,0) c |                                                                                                       |
290.43/222.42	c (4,0) c |  Generating clones                                                                                    |
291.33/223.33	c (5,0) c |  all clones generated. Memory =  1340.69Mb.                                                           |
291.33/223.33	c (5,0) c ========================================================================================================|
291.33/223.33	c (5,0) c
291.33/223.33	c (5,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
291.33/223.33	c (5,0) c
291.33/223.33	c (5,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
291.33/223.33	c (5,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
291.33/223.33	c (5,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
291.33/223.33	c (5,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
291.33/223.33	c (5,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
291.33/223.33	c (5,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
291.33/223.33	c (5,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
291.33/223.33	c (5,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
291.33/223.33	c (5,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
291.33/223.33	c (5,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
291.33/223.33	c (5,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
291.33/223.33	c (5,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
291.33/223.33	c (5,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
291.33/223.33	c (5,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
291.33/223.33	c (5,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
291.33/223.33	c (5,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
291.33/223.33	c (5,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
291.33/223.33	c (5,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
291.33/223.33	c (5,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
291.33/223.36	c (5,0) c
291.33/223.36	c (5,0) c real time : 4.6727 s
291.33/223.36	c (5,0) c cpu time  : 4.3358 s
291.33/223.36	c (5,0) c
291.33/223.36	c (5,0) c
291.33/223.36	c (5,0) c
291.33/223.36	c (5,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
291.33/223.36	c (5,0) c
291.33/223.36	c (5,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
291.33/223.36	c (5,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
291.33/223.36	c (5,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
291.33/223.36	c (5,0) c | Conflicts     |              78 |          8 |         11 |          8 |          8 |          8 |          8 |         11 |         16 |
291.33/223.36	c (5,0) c | Decisions     |           20193 |       3240 |       3417 |       3302 |       3360 |       3386 |       3361 |         38 |         89 |
291.33/223.36	c (5,0) c | Propagations  |           92435 |      16442 |       8784 |       6161 |      18129 |      10900 |       8491 |       9142 |      14386 |
291.33/223.36	c (5,0) c | ReduceDBs     |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
291.33/223.36	c (5,0) c | SimpDBs       |               8 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |
291.33/223.36	c (5,0) c | Restarts      |               8 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |
291.33/223.36	c (5,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
291.33/223.36	c (5,0) c | PropBinClauses|          160176 |      15667 |      18786 |      16142 |      26244 |      19678 |      18238 |      20499 |      24922 |
291.33/223.36	c (5,0) c | PropPreBlocker|          291624 |      21633 |      32371 |      23811 |      51056 |      40743 |      29768 |      40366 |      51876 |
291.33/223.36	c (5,0) c | PropNotBlocker|          228181 |      17320 |      23944 |      19042 |      44179 |      30454 |      24163 |      31575 |      37504 |
291.33/223.36	c (5,0) c | LitFullScans  |          747835 |      59294 |      82474 |      63879 |     132126 |     100933 |      77429 |     102180 |     129520 |
291.33/223.36	c (5,0) c | LitScanFracts |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
291.33/223.36	c (5,0) c | DecisionLevel0|              42 |          5 |          3 |          5 |          5 |          5 |          5 |          6 |          8 |
291.33/223.36	c (5,0) c | Periods       |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
291.33/223.36	c (5,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
291.33/223.36	c (5,0) c | Avg_Trail     |                 |      12152 |      13550 |      12409 |      15387 |      14757 |      13564 |      14325 |      12281 |
291.33/223.36	c (5,0) c | Avg_DL        |                 |        405 |        413 |        435 |        450 |        476 |        463 |         11 |         10 |
291.33/223.36	c (5,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
291.33/223.36	c (5,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
291.33/223.36	c (5,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
291.33/223.36	c (5,0) c | Exported      |              24 |          2 |          4 |          2 |          2 |          2 |          2 |          4 |          6 |
291.33/223.36	c (5,0) c | Imported      |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
291.33/223.36	c (5,0) c | Good          |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
291.33/223.36	c (5,0) c | Purge         |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
291.33/223.36	c (5,0) c | Promoted      |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
291.33/223.36	c (5,0) c | Remove_Imp    |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
291.33/223.36	c (5,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
291.33/223.36	c (5,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
291.33/223.36	c (5,0) c | Unaries       |                 |          4 |          2 |          4 |          4 |          4 |          4 |          5 |          7 |
291.33/223.36	c (5,0) c | Binaries      |                 |          1 |          3 |          1 |          1 |          1 |          1 |          3 |          3 |
291.33/223.36	c (5,0) c | Glues         |                 |          2 |          4 |          2 |          2 |          2 |          2 |          4 |          6 |
291.33/223.36	c (5,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
291.33/223.36	c (5,0) c | Orig_Seen     |             0 % |         81 |        125 |         81 |         81 |         81 |         81 |        173 |        202 |
291.33/223.36	c (5,0) c | Diff Orig seen|                 |      X     |         44 | -        0 | -        0 | -        0 | -        0 |         92 |        121 |
291.33/223.36	c (5,0) c | Hamming       |             0 % |      X     |        132 |          0 |          5 |          6 |          0 |        233 |        300 |
291.33/223.36	c (5,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
291.33/223.36	c (5,0) c | RunningTime   |                 |    0.0  98%|    0.0  99%|    0.0  98%|    0.0  99%|    0.0  97%|    0.0  97%|    0.0 100%|    0.0 100%|
291.33/223.36	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%|
291.33/223.36	c (5,0) c | ExchangingTime|                 |    0.0   2%|    0.0   1%|    0.0   2%|    0.0   1%|    0.0   3%|    0.0   3%|    0.0   0%|    0.0   0%|
291.33/223.36	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%|
291.33/223.36	c (5,0) c | SolvingTime   |                 |    0.0     |    0.0     |    0.0     |    0.0     |    0.0     |    0.0     |    0.0     |    0.0     |
291.33/223.37	c (5,0) c | PropagationTim|                 |    0.0  86%|    0.0  77%|    0.0  87%|    0.0  93%|    0.0  86%|    0.0  87%|    0.0  98%|    0.0  97%|
291.33/223.37	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%|
291.33/223.37	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%|
291.33/223.37	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%|
291.33/223.37	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%|
291.33/223.37	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%|
291.33/223.37	c (5,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
291.33/223.37	c (5,0) c
291.33/223.37	c (5,0) c
291.33/223.37	c (5,0) c Threads : 8
291.33/223.37	c (5,0) c Winner : 0
291.33/223.37	c (5,0) c Conflicts_0 : 8
291.33/223.37	c (5,0) c Conflicts_1 : 11
291.33/223.37	c (5,0) c Conflicts_2 : 8
291.33/223.37	c (5,0) c Conflicts_3 : 8
291.33/223.37	c (5,0) c Conflicts_4 : 8
291.33/223.37	c (5,0) c Conflicts_5 : 8
291.33/223.37	c (5,0) c Conflicts_6 : 11
291.33/223.37	c (5,0) c Conflicts_7 : 16
291.33/223.37	c (5,0) c Conflicts_total : 78
291.33/223.37	c (5,0) c Conflicts_winner : 8
291.33/223.37	c (5,0) c Decisions_0 : 3240
291.33/223.37	c (5,0) c Decisions_1 : 3417
291.33/223.37	c (5,0) c Decisions_2 : 3302
291.33/223.37	c (5,0) c Decisions_3 : 3360
291.33/223.37	c (5,0) c Decisions_4 : 3386
291.33/223.37	c (5,0) c Decisions_5 : 3361
291.33/223.37	c (5,0) c Decisions_6 : 38
291.33/223.37	c (5,0) c Decisions_7 : 89
291.33/223.37	c (5,0) c Decisions_total : 20193
291.33/223.37	c (5,0) c Decisions_winner : 3240
291.33/223.37	c (5,0) c Propagations_0 : 16442
291.33/223.37	c (5,0) c Propagations_1 : 8784
291.33/223.37	c (5,0) c Propagations_2 : 6161
291.33/223.37	c (5,0) c Propagations_3 : 18129
291.33/223.37	c (5,0) c Propagations_4 : 10900
291.33/223.37	c (5,0) c Propagations_5 : 8491
291.33/223.37	c (5,0) c Propagations_6 : 9142
291.33/223.37	c (5,0) c Propagations_7 : 14386
291.33/223.37	c (5,0) c Propagations_total : 92435
291.33/223.37	c (5,0) c Propagations_winner : 16442
291.33/223.37	c (5,0) c ReduceDBs_0 : 0
291.33/223.37	c (5,0) c ReduceDBs_1 : 0
291.33/223.37	c (5,0) c ReduceDBs_2 : 0
291.33/223.37	c (5,0) c ReduceDBs_3 : 0
291.33/223.37	c (5,0) c ReduceDBs_4 : 0
291.33/223.37	c (5,0) c ReduceDBs_5 : 0
291.33/223.37	c (5,0) c ReduceDBs_6 : 0
291.33/223.37	c (5,0) c ReduceDBs_7 : 0
291.33/223.37	c (5,0) c ReduceDBs_total : 0
291.33/223.37	c (5,0) c ReduceDBs_winner : 0
291.33/223.37	c (5,0) c SimpDBs_0 : 1
291.33/223.37	c (5,0) c SimpDBs_1 : 1
291.33/223.37	c (5,0) c SimpDBs_2 : 1
291.33/223.37	c (5,0) c SimpDBs_3 : 1
291.33/223.37	c (5,0) c SimpDBs_4 : 1
291.33/223.37	c (5,0) c SimpDBs_5 : 1
291.33/223.37	c (5,0) c SimpDBs_6 : 1
291.33/223.37	c (5,0) c SimpDBs_7 : 1
291.33/223.37	c (5,0) c SimpDBs_total : 8
291.33/223.37	c (5,0) c SimpDBs_winner : 1
291.33/223.37	c (5,0) c Restarts_0 : 1
291.33/223.37	c (5,0) c Restarts_1 : 1
291.33/223.37	c (5,0) c Restarts_2 : 1
291.33/223.37	c (5,0) c Restarts_3 : 1
291.33/223.37	c (5,0) c Restarts_4 : 1
291.33/223.37	c (5,0) c Restarts_5 : 1
291.33/223.37	c (5,0) c Restarts_6 : 1
291.33/223.37	c (5,0) c Restarts_7 : 1
291.33/223.37	c (5,0) c Restarts_total : 8
291.33/223.37	c (5,0) c Restarts_winner : 1
291.33/223.37	c (5,0) c ForcedImports_0 : 0
291.33/223.37	c (5,0) c ForcedImports_1 : 0
291.33/223.37	c (5,0) c ForcedImports_2 : 0
291.33/223.37	c (5,0) c ForcedImports_3 : 0
291.33/223.37	c (5,0) c ForcedImports_4 : 0
291.33/223.37	c (5,0) c ForcedImports_5 : 0
291.33/223.37	c (5,0) c ForcedImports_6 : 0
291.33/223.37	c (5,0) c ForcedImports_7 : 0
291.33/223.37	c (5,0) c ForcedImports_total : 0
291.33/223.37	c (5,0) c ForcedImports_winner : 0
291.33/223.37	c (5,0) c PropsBinClauses_0 : 15667
291.33/223.37	c (5,0) c PropsBinClauses_1 : 18786
291.33/223.37	c (5,0) c PropsBinClauses_2 : 16142
291.33/223.37	c (5,0) c PropsBinClauses_3 : 26244
291.33/223.37	c (5,0) c PropsBinClauses_4 : 19678
291.33/223.37	c (5,0) c PropsBinClauses_5 : 18238
291.33/223.37	c (5,0) c PropsBinClauses_6 : 20499
291.33/223.37	c (5,0) c PropsBinClauses_7 : 24922
291.33/223.37	c (5,0) c PropsBinClauses_total : 160176
291.33/223.37	c (5,0) c PropsBinClauses_winner : 15667
291.33/223.37	c (5,0) c PropsPreBlocker_0 : 21633
291.33/223.37	c (5,0) c PropsPreBlocker_1 : 32371
291.33/223.37	c (5,0) c PropsPreBlocker_2 : 23811
291.33/223.37	c (5,0) c PropsPreBlocker_3 : 51056
291.33/223.37	c (5,0) c PropsPreBlocker_4 : 40743
291.33/223.37	c (5,0) c PropsPreBlocker_5 : 29768
291.33/223.37	c (5,0) c PropsPreBlocker_6 : 40366
291.33/223.37	c (5,0) c PropsPreBlocker_7 : 51876
291.33/223.37	c (5,0) c PropsPreBlocker_total : 291624
291.33/223.37	c (5,0) c PropsPreBlocker_winner : 21633
291.33/223.37	c (5,0) c PropsNotBlocker_0 : 17320
291.33/223.37	c (5,0) c PropsNotBlocker_1 : 23944
291.33/223.37	c (5,0) c PropsNotBlocker_2 : 19042
291.33/223.37	c (5,0) c PropsNotBlocker_3 : 44179
291.33/223.37	c (5,0) c PropsNotBlocker_4 : 30454
291.33/223.37	c (5,0) c PropsNotBlocker_5 : 24163
291.33/223.37	c (5,0) c PropsNotBlocker_6 : 31575
291.33/223.37	c (5,0) c PropsNotBlocker_7 : 37504
291.33/223.37	c (5,0) c PropsNotBlocker_total : 228181
291.33/223.37	c (5,0) c PropsNotBlocker_winner : 17320
291.33/223.37	c (5,0) c PropsLitFullScans_0 : 59294
291.33/223.37	c (5,0) c PropsLitFullScans_1 : 82474
291.33/223.37	c (5,0) c PropsLitFullScans_2 : 63879
291.33/223.37	c (5,0) c PropsLitFullScans_3 : 132126
291.33/223.37	c (5,0) c PropsLitFullScans_4 : 100933
291.33/223.37	c (5,0) c PropsLitFullScans_5 : 77429
291.33/223.37	c (5,0) c PropsLitFullScans_6 : 102180
291.33/223.37	c (5,0) c PropsLitFullScans_7 : 129520
291.33/223.37	c (5,0) c PropsLitFullScans_total : 747835
291.33/223.37	c (5,0) c PropsLitFullScans_winner : 59294
291.33/223.37	c (5,0) c LitScanFractions_0 : 0
291.33/223.37	c (5,0) c LitScanFractions_1 : 0
291.33/223.37	c (5,0) c LitScanFractions_2 : 0
291.33/223.37	c (5,0) c LitScanFractions_3 : 0
291.33/223.37	c (5,0) c LitScanFractions_4 : 0
291.33/223.37	c (5,0) c LitScanFractions_5 : 0
291.33/223.37	c (5,0) c LitScanFractions_6 : 0
291.33/223.37	c (5,0) c LitScanFractions_7 : 0
291.33/223.37	c (5,0) c LitScanFractions_total : 0
291.33/223.37	c (5,0) c LitScanFractions_winner : 0
291.33/223.37	c (5,0) c DecisionLevel0_0 : 5
291.33/223.37	c (5,0) c DecisionLevel0_1 : 3
291.33/223.37	c (5,0) c DecisionLevel0_2 : 5
291.33/223.37	c (5,0) c DecisionLevel0_3 : 5
291.33/223.37	c (5,0) c DecisionLevel0_4 : 5
291.33/223.37	c (5,0) c DecisionLevel0_5 : 5
291.33/223.37	c (5,0) c DecisionLevel0_6 : 6
291.33/223.37	c (5,0) c DecisionLevel0_7 : 8
291.33/223.37	c (5,0) c DecisionLevel0_total : 42
291.33/223.37	c (5,0) c DecisionLevel0_winner : 5
291.33/223.37	c (5,0) c Periods_0 : 0
291.33/223.37	c (5,0) c Periods_1 : 0
291.33/223.37	c (5,0) c Periods_2 : 0
291.33/223.37	c (5,0) c Periods_3 : 0
291.33/223.37	c (5,0) c Periods_4 : 0
291.33/223.37	c (5,0) c Periods_5 : 0
291.33/223.37	c (5,0) c Periods_6 : 0
291.33/223.37	c (5,0) c Periods_7 : 0
291.33/223.37	c (5,0) c Periods_total : 0
291.33/223.37	c (5,0) c Periods_winner : 0
291.33/223.37	c (5,0) c Margin_0 : 20
291.33/223.37	c (5,0) c Margin_1 : 20
291.33/223.37	c (5,0) c Margin_2 : 20
291.33/223.37	c (5,0) c Margin_3 : 20
291.33/223.37	c (5,0) c Margin_4 : 20
291.33/223.37	c (5,0) c Margin_5 : 20
291.33/223.37	c (5,0) c Margin_6 : 20
291.33/223.37	c (5,0) c Margin_7 : 20
291.33/223.37	c (5,0) c Margin_total : 160
291.33/223.37	c (5,0) c Margin_winner : 20
291.33/223.37	c (5,0) c Exported_0 : 2
291.33/223.37	c (5,0) c Exported_1 : 4
291.33/223.37	c (5,0) c Exported_2 : 2
291.33/223.37	c (5,0) c Exported_3 : 2
291.33/223.37	c (5,0) c Exported_4 : 2
291.33/223.37	c (5,0) c Exported_5 : 2
291.33/223.37	c (5,0) c Exported_6 : 4
291.33/223.37	c (5,0) c Exported_7 : 6
291.33/223.37	c (5,0) c Exported_total : 24
291.33/223.37	c (5,0) c Exported_winner : 2
291.33/223.37	c (5,0) c Imported_0 : 0
291.33/223.37	c (5,0) c Imported_1 : 0
291.33/223.37	c (5,0) c Imported_2 : 0
291.33/223.37	c (5,0) c Imported_3 : 0
291.33/223.37	c (5,0) c Imported_4 : 0
291.33/223.37	c (5,0) c Imported_5 : 0
291.33/223.37	c (5,0) c Imported_6 : 0
291.33/223.37	c (5,0) c Imported_7 : 0
291.33/223.37	c (5,0) c Imported_total : 0
291.33/223.37	c (5,0) c Imported_winner : 0
291.33/223.37	c (5,0) c Good_0 : 0
291.33/223.37	c (5,0) c Good_1 : 0
291.33/223.37	c (5,0) c Good_2 : 0
291.33/223.37	c (5,0) c Good_3 : 0
291.33/223.37	c (5,0) c Good_4 : 0
291.33/223.37	c (5,0) c Good_5 : 0
291.33/223.37	c (5,0) c Good_6 : 0
291.33/223.37	c (5,0) c Good_7 : 0
291.33/223.37	c (5,0) c Good_total : 0
291.33/223.37	c (5,0) c Good_winner : 0
291.33/223.37	c (5,0) c Purge_0 : 0
291.33/223.37	c (5,0) c Purge_1 : 0
291.33/223.37	c (5,0) c Purge_2 : 0
291.33/223.37	c (5,0) c Purge_3 : 0
291.33/223.37	c (5,0) c Purge_4 : 0
291.33/223.37	c (5,0) c Purge_5 : 0
291.33/223.37	c (5,0) c Purge_6 : 0
291.33/223.37	c (5,0) c Purge_7 : 0
291.33/223.37	c (5,0) c Purge_total : 0
291.33/223.37	c (5,0) c Purge_winner : 0
291.33/223.37	c (5,0) c Promoted_0 : 0
291.33/223.37	c (5,0) c Promoted_1 : 0
291.33/223.37	c (5,0) c Promoted_2 : 0
291.33/223.37	c (5,0) c Promoted_3 : 0
291.33/223.37	c (5,0) c Promoted_4 : 0
291.33/223.37	c (5,0) c Promoted_5 : 0
291.33/223.37	c (5,0) c Promoted_6 : 0
291.33/223.37	c (5,0) c Promoted_7 : 0
291.33/223.37	c (5,0) c Promoted_total : 0
291.33/223.37	c (5,0) c Promoted_winner : 0
291.33/223.37	c (5,0) c Remove_Imp_0 : 0
291.33/223.37	c (5,0) c Remove_Imp_1 : 0
291.33/223.37	c (5,0) c Remove_Imp_2 : 0
291.33/223.37	c (5,0) c Remove_Imp_3 : 0
291.33/223.37	c (5,0) c Remove_Imp_4 : 0
291.33/223.37	c (5,0) c Remove_Imp_5 : 0
291.33/223.37	c (5,0) c Remove_Imp_6 : 0
291.33/223.37	c (5,0) c Remove_Imp_7 : 0
291.33/223.37	c (5,0) c Remove_Imp_total : 0
291.33/223.37	c (5,0) c Remove_Imp_winner : 0
291.33/223.37	c (5,0) c Blocked_Reuse_0 : 0
291.33/223.37	c (5,0) c Blocked_Reuse_1 : 0
291.33/223.37	c (5,0) c Blocked_Reuse_2 : 0
291.33/223.37	c (5,0) c Blocked_Reuse_3 : 0
291.33/223.37	c (5,0) c Blocked_Reuse_4 : 0
291.33/223.37	c (5,0) c Blocked_Reuse_5 : 0
291.33/223.37	c (5,0) c Blocked_Reuse_6 : 0
291.33/223.37	c (5,0) c Blocked_Reuse_7 : 0
291.33/223.37	c (5,0) c Blocked_Reuse_total : 0
291.33/223.37	c (5,0) c Blocked_Reuse_winner : 0
291.33/223.37	c (5,0) c Unaries_0 : 4
291.33/223.37	c (5,0) c Unaries_1 : 2
291.33/223.37	c (5,0) c Unaries_2 : 4
291.33/223.37	c (5,0) c Unaries_3 : 4
291.33/223.37	c (5,0) c Unaries_4 : 4
291.33/223.37	c (5,0) c Unaries_5 : 4
291.33/223.37	c (5,0) c Unaries_6 : 5
291.33/223.37	c (5,0) c Unaries_7 : 7
291.33/223.37	c (5,0) c Unaries_total : 34
291.33/223.37	c (5,0) c Unaries_winner : 4
291.33/223.37	c (5,0) c Binaries_0 : 1
291.33/223.37	c (5,0) c Binaries_1 : 3
291.33/223.37	c (5,0) c Binaries_2 : 1
291.33/223.37	c (5,0) c Binaries_3 : 1
291.33/223.37	c (5,0) c Binaries_4 : 1
291.33/223.37	c (5,0) c Binaries_5 : 1
291.33/223.37	c (5,0) c Binaries_6 : 3
291.33/223.37	c (5,0) c Binaries_7 : 3
291.33/223.37	c (5,0) c Binaries_total : 14
291.33/223.37	c (5,0) c Binaries_winner : 1
291.33/223.37	c (5,0) c Glues_0 : 2
291.33/223.37	c (5,0) c Glues_1 : 4
291.33/223.37	c (5,0) c Glues_2 : 2
291.33/223.37	c (5,0) c Glues_3 : 2
291.33/223.37	c (5,0) c Glues_4 : 2
291.33/223.37	c (5,0) c Glues_5 : 2
291.33/223.37	c (5,0) c Glues_6 : 4
291.33/223.37	c (5,0) c Glues_7 : 6
291.33/223.37	c (5,0) c Glues_total : 24
291.33/223.37	c (5,0) c Glues_winner : 2
291.33/223.37	c (5,0) c RunningTime_0 : 0.011578
291.33/223.37	c (5,0) c RunningTime_1 : 0.029077
291.33/223.37	c (5,0) c RunningTime_2 : 0.012076
291.33/223.37	c (5,0) c RunningTime_3 : 0.022834
291.33/223.37	c (5,0) c RunningTime_4 : 0.013536
291.33/223.37	c (5,0) c RunningTime_5 : 0.015037
291.33/223.37	c (5,0) c RunningTime_6 : 0.015803
291.33/223.37	c (5,0) c RunningTime_7 : 0.019122
291.33/223.37	c (5,0) c RunningTime_total : 0.139063
291.33/223.37	c (5,0) c RunningTime_winner : 0.011578
291.33/223.37	c (5,0) c WaitingTime_0 : 0.000000
291.33/223.37	c (5,0) c WaitingTime_1 : 0.000000
291.33/223.37	c (5,0) c WaitingTime_2 : 0.000000
291.33/223.37	c (5,0) c WaitingTime_3 : 0.000000
291.33/223.37	c (5,0) c WaitingTime_4 : 0.000000
291.33/223.37	c (5,0) c WaitingTime_5 : 0.000000
291.33/223.37	c (5,0) c WaitingTime_6 : 0.000000
291.33/223.37	c (5,0) c WaitingTime_7 : 0.000000
291.33/223.37	c (5,0) c WaitingTime_total : 0.000000
291.33/223.38	c (5,0) c WaitingTime_winner : 0.000000
291.33/223.38	c (5,0) c ExchangingTime_0 : 0.000188
291.33/223.38	c (5,0) c ExchangingTime_1 : 0.000238
291.33/223.38	c (5,0) c ExchangingTime_2 : 0.000215
291.33/223.38	c (5,0) c ExchangingTime_3 : 0.000250
291.33/223.38	c (5,0) c ExchangingTime_4 : 0.000484
291.33/223.38	c (5,0) c ExchangingTime_5 : 0.000404
291.33/223.38	c (5,0) c ExchangingTime_6 : 0.000006
291.33/223.38	c (5,0) c ExchangingTime_7 : 0.000019
291.33/223.38	c (5,0) c ExchangingTime_total : 0.001804
291.33/223.38	c (5,0) c ExchangingTime_winner : 0.000188
291.33/223.38	c (5,0) c PeriodProcTime_0 : 0.000000
291.33/223.38	c (5,0) c PeriodProcTime_1 : 0.000000
291.33/223.38	c (5,0) c PeriodProcTime_2 : 0.000000
291.33/223.38	c (5,0) c PeriodProcTime_3 : 0.000000
291.33/223.38	c (5,0) c PeriodProcTime_4 : 0.000000
291.33/223.38	c (5,0) c PeriodProcTime_5 : 0.000000
291.33/223.38	c (5,0) c PeriodProcTime_6 : 0.000000
291.33/223.38	c (5,0) c PeriodProcTime_7 : 0.000000
291.33/223.38	c (5,0) c PeriodProcTime_total : 0.000000
291.33/223.38	c (5,0) c PeriodProcTime_winner : 0.000000
291.33/223.38	c (5,0) c SolvingTime_0 : 0.011766
291.33/223.38	c (5,0) c SolvingTime_1 : 0.029315
291.33/223.38	c (5,0) c SolvingTime_2 : 0.012291
291.33/223.38	c (5,0) c SolvingTime_3 : 0.023084
291.33/223.38	c (5,0) c SolvingTime_4 : 0.014020
291.33/223.38	c (5,0) c SolvingTime_5 : 0.015441
291.33/223.38	c (5,0) c SolvingTime_6 : 0.015809
291.33/223.38	c (5,0) c SolvingTime_7 : 0.019141
291.33/223.38	c (5,0) c SolvingTime_total : 0.140867
291.33/223.38	c (5,0) c SolvingTime_winner : 0.011766
291.33/223.38	c (5,0) c PropagationTime_0 : 0.010102
291.33/223.38	c (5,0) c PropagationTime_1 : 0.022644
291.33/223.38	c (5,0) c PropagationTime_2 : 0.010644
291.33/223.38	c (5,0) c PropagationTime_3 : 0.021474
291.33/223.38	c (5,0) c PropagationTime_4 : 0.012101
291.33/223.38	c (5,0) c PropagationTime_5 : 0.013393
291.33/223.38	c (5,0) c PropagationTime_6 : 0.015485
291.33/223.38	c (5,0) c PropagationTime_7 : 0.018660
291.33/223.38	c (5,0) c PropagationTime_total : 0.124504
291.33/223.38	c (5,0) c PropagationTime_winner : 0.010102
291.33/223.38	c (5,0) c AnalysisTime_0 : 0.000062
291.33/223.38	c (5,0) c AnalysisTime_1 : 0.000612
291.33/223.38	c (5,0) c AnalysisTime_2 : 0.000044
291.33/223.38	c (5,0) c AnalysisTime_3 : 0.000056
291.33/223.38	c (5,0) c AnalysisTime_4 : 0.000043
291.33/223.38	c (5,0) c AnalysisTime_5 : 0.000061
291.33/223.38	c (5,0) c AnalysisTime_6 : 0.000091
291.33/223.38	c (5,0) c AnalysisTime_7 : 0.000105
291.33/223.38	c (5,0) c AnalysisTime_total : 0.001073
291.33/223.38	c (5,0) c AnalysisTime_winner : 0.000062
291.33/223.38	c (5,0) c ReductionTime_0 : 0.000000
291.33/223.38	c (5,0) c ReductionTime_1 : 0.000000
291.33/223.38	c (5,0) c ReductionTime_2 : 0.000000
291.33/223.38	c (5,0) c ReductionTime_3 : 0.000000
291.33/223.38	c (5,0) c ReductionTime_4 : 0.000000
291.33/223.38	c (5,0) c ReductionTime_5 : 0.000000
291.33/223.38	c (5,0) c ReductionTime_6 : 0.000000
291.33/223.38	c (5,0) c ReductionTime_7 : 0.000000
291.33/223.38	c (5,0) c ReductionTime_total : 0.000000
291.33/223.38	c (5,0) c ReductionTime_winner : 0.000000
291.33/223.38	c (5,0) c SimplifyTime_0 : 0.000000
291.33/223.38	c (5,0) c SimplifyTime_1 : 0.000000
291.33/223.38	c (5,0) c SimplifyTime_2 : 0.000001
291.33/223.38	c (5,0) c SimplifyTime_3 : 0.000000
291.33/223.38	c (5,0) c SimplifyTime_4 : 0.000000
291.33/223.38	c (5,0) c SimplifyTime_5 : 0.000001
291.33/223.38	c (5,0) c SimplifyTime_6 : 0.000001
291.33/223.38	c (5,0) c SimplifyTime_7 : 0.000002
291.33/223.38	c (5,0) c SimplifyTime_total : 0.000005
291.33/223.38	c (5,0) c SimplifyTime_winner : 0.000000
291.33/223.38	c (5,0) c UsedRateTime_0 : 0.000000
291.33/223.38	c (5,0) c UsedRateTime_1 : 0.000000
291.33/223.38	c (5,0) c UsedRateTime_2 : 0.000000
291.33/223.38	c (5,0) c UsedRateTime_3 : 0.000000
291.33/223.38	c (5,0) c UsedRateTime_4 : 0.000000
291.33/223.38	c (5,0) c UsedRateTime_5 : 0.000000
291.33/223.38	c (5,0) c UsedRateTime_6 : 0.000000
291.33/223.38	c (5,0) c UsedRateTime_7 : 0.000000
291.33/223.38	c (5,0) c UsedRateTime_total : 0.000000
291.33/223.38	c (5,0) c UsedRateTime_winner : 0.000000
291.33/223.38	c (5,0) c OverlapRateTime_0 : 0.000000
291.33/223.38	c (5,0) c OverlapRateTime_1 : 0.000000
291.33/223.38	c (5,0) c OverlapRateTime_2 : 0.000000
291.33/223.38	c (5,0) c OverlapRateTime_3 : 0.000000
291.33/223.38	c (5,0) c OverlapRateTime_4 : 0.000000
291.33/223.38	c (5,0) c OverlapRateTime_5 : 0.000000
291.33/223.38	c (5,0) c OverlapRateTime_6 : 0.000000
291.33/223.38	c (5,0) c OverlapRateTime_7 : 0.000000
291.33/223.38	c (5,0) c OverlapRateTime_total : 0.000000
291.33/223.38	c (5,0) c OverlapRateTime_winner : 0.000000
291.33/223.38	c (5,0) c
291.33/223.38	c (5,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
291.33/223.38	c (5,0) c
291.33/223.38	c (5,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
291.33/223.38	c (5,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
291.33/223.38	c (5,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
291.33/223.38	c (5,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
291.33/223.38	c (5,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
291.33/223.38	c (5,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
291.33/223.38	c (5,0) c | Initial random_seed   | 1167720804 | 2034656122 |  763684797 |  888926382 | 1329059524 | 1696983573 |  437531610 |  752291688 |
291.33/223.38	c (5,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
291.33/223.38	c (5,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
291.33/223.38	c (5,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
291.33/223.38	c (5,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
291.33/223.38	c (5,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
291.33/223.38	c (5,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
291.33/223.38	c (5,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
291.33/223.38	c (5,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
291.33/223.38	c (5,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
291.33/223.38	c (5,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
291.33/223.38	c (5,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
291.33/223.38	c (5,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
291.33/223.38	c (5,0) 
291.33/223.38	c (5,0) s UNSATISFIABLE
286.78/223.41	c (5,0) SatSolver.solve End
286.78/223.41	c (5,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
286.78/223.41	c (5,0) Show results Begin
286.78/223.41	s UNSATISFIABLE
286.78/223.41	c (5,0) Show results End
286.78/223.41	c (5,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
286.78/223.41	c (5,0) 5,5,STOP-AFTER(ALL)
286.78/223.41	c END-Prog: Tue Sep 24 23:07:05 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 (14617 MiB free)
  memory of node 1: 16384 MiB (13453 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4405435-1569362725/watcher-4405435-1569362725 -o /var/tmp/evaluation-result-4405435-1569362725/solver-4405435-1569362725 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node107-1569355381-19265 --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-4405435-1569362725.xml 

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

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

solver pid=20702, runsolver pid=20699

[startup+0.100193 s]*
/proc/loadavg: 8.02 8.19 8.17 2/213 20724
/proc/meminfo: memFree=28650348/32770624 swapFree=66954152/67108860
[pid=20702] ppid=20699 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/20702/stat : 20702 (scop.sh) S 20699 20702 19238 0 -1 4202496 555 320 0 0 0 0 0 0 20 0 1 0 512527867 115843072 349 33554432000 4194304 5098028 140734825506096 140734825503352 139631107592828 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 10686464 140734825509628 140734825509976 140734825509976 140734825512905 0
/proc/20702/statm: 28282 349 296 221 0 87 0
[pid=20705] ppid=20702 vsize=27314120 memory=105872 CPUtime=0.11 cores=0-7
/proc/20705/stat : 20705 (java) S 20702 20702 19238 0 -1 1077944320 6546 0 0 0 8 3 0 0 20 0 20 0 512527867 27969658880 26468 33554432000 4194304 4196468 140729016498688 140729016481232 139723840708343 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 26595328 140729016505030 140729016505478 140729016505478 140729016508367 0
/proc/20705/statm: 6828530 26468 2793 1 0 6790935 0
[pid=20705/tid=20706] ppid=20702 vsize=27314120 memory=576460756329955445 CPUtime=0.08 cores=0-7
/proc/20705/task/20706/stat : 20706 (java) R 20702 20702 19238 0 -1 4202560 4632 0 0 0 6 2 0 0 20 0 20 0 512527868 27969658880 26533 33554432000 4194304 4196468 140729016498688 139723812534672 139723826390869 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26595328 140729016505030 140729016505478 140729016505478 140729016508367 0
[pid=20705/tid=20707] ppid=20702 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20705/task/20707/stat : 20707 (java) S 20702 20702 19238 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512527870 27969658880 26533 33554432000 4194304 4196468 140729016498688 139723844951056 139723840718549 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26595328 140729016505030 140729016505478 140729016505478 140729016508367 0
[pid=20705/tid=20708] ppid=20702 vsize=27314120 memory=3977998715095582368 CPUtime=0 cores=0-7
/proc/20705/task/20708/stat : 20708 (java) S 20702 20702 19238 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512527870 27969658880 26533 33554432000 4194304 4196468 140729016498688 139723676200080 139723840718549 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26595328 140729016505030 140729016505478 140729016505478 140729016508367 0
[pid=20705/tid=20709] ppid=20702 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20705/task/20709/stat : 20709 (java) S 20702 20702 19238 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512527870 27969658880 26533 33554432000 4194304 4196468 140729016498688 139723261979408 139723840718549 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26595328 140729016505030 140729016505478 140729016505478 140729016508367 0
[pid=20705/tid=20710] ppid=20702 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20705/task/20710/stat : 20710 (java) S 20702 20702 19238 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512527870 27969658880 26533 33554432000 4194304 4196468 140729016498688 139723260926864 139723840718549 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26595328 140729016505030 140729016505478 140729016505478 140729016508367 0
[pid=20705/tid=20711] ppid=20702 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20705/task/20711/stat : 20711 (java) S 20702 20702 19238 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512527870 27969658880 26533 33554432000 4194304 4196468 140729016498688 139723259873808 139723840718549 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26595328 140729016505030 140729016505478 140729016505478 140729016508367 0
[pid=20705/tid=20712] ppid=20702 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/20705/task/20712/stat : 20712 (java) S 20702 20702 19238 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512527870 27969658880 26533 33554432000 4194304 4196468 140729016498688 139723258821264 139723840718549 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26595328 140729016505030 140729016505478 140729016505478 140729016508367 0
[pid=20705/tid=20713] ppid=20702 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20705/task/20713/stat : 20713 (java) S 20702 20702 19238 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512527870 27969658880 26533 33554432000 4194304 4196468 140729016498688 139723257768208 139723840718549 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26595328 140729016505030 140729016505478 140729016505478 140729016508367 0
[pid=20705/tid=20714] ppid=20702 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20705/task/20714/stat : 20714 (java) S 20702 20702 19238 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512527870 27969658880 26533 33554432000 4194304 4196468 140729016498688 139723256715664 139723840718549 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26595328 140729016505030 140729016505478 140729016505478 140729016508367 0
[pid=20705/tid=20715] ppid=20702 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20705/task/20715/stat : 20715 (java) S 20702 20702 19238 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512527872 27969658880 26533 33554432000 4194304 4196468 140729016498688 139721959668464 139723840719490 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26595328 140729016505030 140729016505478 140729016505478 140729016508367 0
[pid=20705/tid=20716] ppid=20702 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20705/task/20716/stat : 20716 (java) S 20702 20702 19238 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 512527872 27969658880 26533 33554432000 4194304 4196468 140729016498688 139721795692192 139723840718549 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26595328 140729016505030 140729016505478 140729016505478 140729016508367 0
[pid=20705/tid=20717] ppid=20702 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20705/task/20717/stat : 20717 (java) S 20702 20702 19238 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512527872 27969658880 26533 33554432000 4194304 4196468 140729016498688 139721527256304 139723840718549 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26595328 140729016505030 140729016505478 140729016505478 140729016508367 0
[pid=20705/tid=20718] ppid=20702 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20705/task/20718/stat : 20718 (java) S 20702 20702 19238 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512527875 27969658880 26533 33554432000 4194304 4196468 140729016498688 139721152747984 139723840726939 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26595328 140729016505030 140729016505478 140729016505478 140729016508367 0
[pid=20705/tid=20719] ppid=20702 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20705/task/20719/stat : 20719 (java) S 20702 20702 19238 0 -1 1077944384 310 0 0 0 0 0 0 0 20 0 20 0 512527875 27969658880 26533 33554432000 4194304 4196468 140729016498688 139721958615280 139723840719490 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26595328 140729016505030 140729016505478 140729016505478 140729016508367 0
[pid=20705/tid=20720] ppid=20702 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20705/task/20720/stat : 20720 (java) R 20702 20702 19238 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512527875 27969658880 26533 33554432000 4194304 4196468 140729016498688 139721957562736 139723840719490 0 4 2 16800973 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 26595328 140729016505030 140729016505478 140729016505478 140729016508367 0
[pid=20705/tid=20721] ppid=20702 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20705/task/20721/stat : 20721 (java) R 20702 20702 19238 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512527875 27969658880 26533 33554432000 4194304 4196468 140729016498688 139721956509680 139723840719490 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26595328 140729016505030 140729016505478 140729016505478 140729016508367 0
[pid=20705/tid=20722] ppid=20702 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20705/task/20722/stat : 20722 (java) R 20702 20702 19238 0 -1 4202560 269 0 0 0 0 0 0 0 20 0 20 0 512527875 27969658880 26533 33554432000 4194304 4196468 140729016498688 139721955457136 139723819604480 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26595328 140729016505030 140729016505478 140729016505478 140729016508367 0
[pid=20705/tid=20723] ppid=20702 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20705/task/20723/stat : 20723 (java) S 20702 20702 19238 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512527875 27969658880 26533 33554432000 4194304 4196468 140729016498688 139720654842848 139723840718549 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26595328 140729016505030 140729016505478 140729016505478 140729016508367 0
[pid=20705/tid=20724] ppid=20702 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/20705/task/20724/stat : 20724 (java) S 20702 20702 19238 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512527875 27969658880 26533 33554432000 4194304 4196468 140729016498688 139721954405552 139723840719490 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26595328 140729016505030 140729016505478 140729016505478 140729016508367 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 107268 KiB

[startup+0.210075 s]*
/proc/loadavg: 8.02 8.19 8.17 3/213 20724
/proc/meminfo: memFree=28629308/32770624 swapFree=66954152/67108860
[pid=20702] ppid=20699 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/20702/stat : 20702 (scop.sh) S 20699 20702 19238 0 -1 4202496 555 320 0 0 0 0 0 0 20 0 1 0 512527867 115843072 349 33554432000 4194304 5098028 140734825506096 140734825503352 139631107592828 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 10686464 140734825509628 140734825509976 140734825509976 140734825512905 0
/proc/20702/statm: 28282 349 296 221 0 87 0
[pid=20705] ppid=20702 vsize=27314120 memory=125148 CPUtime=0.24 cores=0-7
/proc/20705/stat : 20705 (java) S 20702 20702 19238 0 -1 1077944320 12089 0 0 0 20 4 0 0 20 0 20 0 512527867 27969658880 31287 33554432000 4194304 4196468 140729016498688 140729016481232 139723840708343 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 26595328 140729016505030 140729016505478 140729016505478 140729016508367 0
/proc/20705/statm: 6828530 31287 2937 1 0 6790935 0
[pid=20705/tid=20706] ppid=20702 vsize=27314120 memory=8316850467074736180 CPUtime=0.2 cores=0-7
/proc/20705/task/20706/stat : 20706 (java) R 20702 20702 19238 0 -1 4202560 9751 0 0 0 16 4 0 0 20 0 20 0 512527868 27969658880 31287 33554432000 4194304 4196468 140729016498688 139723812511952 139723820983673 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26595328 140729016505030 140729016505478 140729016505478 140729016508367 0
[pid=20705/tid=20707] ppid=20702 vsize=27314120 memory=10927 CPUtime=0 cores=0-7
/proc/20705/task/20707/stat : 20707 (java) S 20702 20702 19238 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512527870 27969658880 31287 33554432000 4194304 4196468 140729016498688 139723844951056 139723840718549 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26595328 140729016505030 140729016505478 140729016505478 140729016508367 0
[pid=20705/tid=20708] ppid=20702 vsize=27314120 memory=140222518953223 CPUtime=0 cores=0-7
/proc/20705/task/20708/stat : 20708 (java) S 20702 20702 19238 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512527870 27969658880 31287 33554432000 4194304 4196468 140729016498688 139723676200080 139723840718549 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26595328 140729016505030 140729016505478 140729016505478 140729016508367 0
[pid=20705/tid=20709] ppid=20702 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/20705/task/20709/stat : 20709 (java) S 20702 20702 19238 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512527870 27969658880 31287 33554432000 4194304 4196468 140729016498688 139723261979408 139723840718549 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26595328 140729016505030 140729016505478 140729016505478 140729016508367 0
[pid=20705/tid=20710] ppid=20702 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20705/task/20710/stat : 20710 (java) S 20702 20702 19238 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512527870 27969658880 31287 33554432000 4194304 4196468 140729016498688 139723260926864 139723840718549 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26595328 140729016505030 140729016505478 140729016505478 140729016508367 0
[pid=20705/tid=20711] ppid=20702 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20705/task/20711/stat : 20711 (java) S 20702 20702 19238 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512527870 27969658880 31287 33554432000 4194304 4196468 140729016498688 139723259873808 139723840718549 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26595328 140729016505030 140729016505478 140729016505478 140729016508367 0
[pid=20705/tid=20712] ppid=20702 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/20705/task/20712/stat : 20712 (java) S 20702 20702 19238 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512527870 27969658880 31287 33554432000 4194304 4196468 140729016498688 139723258821264 139723840718549 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26595328 140729016505030 140729016505478 140729016505478 140729016508367 0
[pid=20705/tid=20713] ppid=20702 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20705/task/20713/stat : 20713 (java) S 20702 20702 19238 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512527870 27969658880 31287 33554432000 4194304 4196468 140729016498688 139723257768208 139723840718549 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26595328 140729016505030 140729016505478 140729016505478 140729016508367 0
[pid=20705/tid=20714] ppid=20702 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20705/task/20714/stat : 20714 (java) S 20702 20702 19238 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512527870 27969658880 31287 33554432000 4194304 4196468 140729016498688 139723256715664 139723840718549 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26595328 140729016505030 140729016505478 140729016505478 140729016508367 0
[pid=20705/tid=20715] ppid=20702 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20705/task/20715/stat : 20715 (java) S 20702 20702 19238 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512527872 27969658880 31287 33554432000 4194304 4196468 140729016498688 139721959668464 139723840719490 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26595328 140729016505030 140729016505478 140729016505478 140729016508367 0
[pid=20705/tid=20716] ppid=20702 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20705/task/20716/stat : 20716 (java) S 20702 20702 19238 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 512527872 27969658880 31287 33554432000 4194304 4196468 140729016498688 139721795692192 139723840718549 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26595328 140729016505030 140729016505478 140729016505478 140729016508367 0
[pid=20705/tid=20717] ppid=20702 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20705/task/20717/stat : 20717 (java) S 20702 20702 19238 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512527872 27969658880 31287 33554432000 4194304 4196468 140729016498688 139721527256304 139723840718549 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26595328 140729016505030 140729016505478 140729016505478 140729016508367 0
[pid=20705/tid=20718] ppid=20702 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20705/task/20718/stat : 20718 (java) S 20702 20702 19238 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512527875 27969658880 31287 33554432000 4194304 4196468 140729016498688 139721152747984 139723840726939 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26595328 140729016505030 140729016505478 140729016505478 140729016508367 0
[pid=20705/tid=20719] ppid=20702 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20705/task/20719/stat : 20719 (java) S 20702 20702 19238 0 -1 1077944384 323 0 0 0 0 0 0 0 20 0 20 0 512527875 27969658880 31287 33554432000 4194304 4196468 140729016498688 139721958615280 139723840719490 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26595328 140729016505030 140729016505478 140729016505478 140729016508367 0
[pid=20705/tid=20720] ppid=20702 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20705/task/20720/stat : 20720 (java) S 20702 20702 19238 0 -1 1077944384 140 0 0 0 0 0 0 0 20 0 20 0 512527875 27969658880 31287 33554432000 4194304 4196468 140729016498688 139721957562736 139723840719490 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26595328 140729016505030 140729016505478 140729016505478 140729016508367 0
[pid=20705/tid=20721] ppid=20702 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/20705/task/20721/stat : 20721 (java) S 20702 20702 19238 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 20 0 512527875 27969658880 31287 33554432000 4194304 4196468 140729016498688 139721956509680 139723840719490 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26595328 140729016505030 140729016505478 140729016505478 140729016508367 0
[pid=20705/tid=20722] ppid=20702 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7
/proc/20705/task/20722/stat : 20722 (java) S 20702 20702 19238 0 -1 1077944384 492 0 0 0 2 0 0 0 20 0 20 0 512527875 27969658880 31287 33554432000 4194304 4196468 140729016498688 139721955457136 139723840719490 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26595328 140729016505030 140729016505478 140729016505478 140729016508367 0
[pid=20705/tid=20723] ppid=20702 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20705/task/20723/stat : 20723 (java) S 20702 20702 19238 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512527875 27969658880 31287 33554432000 4194304 4196468 140729016498688 139720654842848 139723840718549 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26595328 140729016505030 140729016505478 140729016505478 140729016508367 0
[pid=20705/tid=20724] ppid=20702 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/20705/task/20724/stat : 20724 (java) S 20702 20702 19238 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512527875 27969658880 31287 33554432000 4194304 4196468 140729016498688 139721954405552 139723840719490 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26595328 140729016505030 140729016505478 140729016505478 140729016508367 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 126544 KiB

[startup+0.309659 s]*
/proc/loadavg: 8.02 8.19 8.17 3/213 20724
/proc/meminfo: memFree=28627000/32770624 swapFree=66954152/67108860
[pid=20702] ppid=20699 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/20702/stat : 20702 (scop.sh) S 20699 20702 19238 0 -1 4202496 555 320 0 0 0 0 0 0 20 0 1 0 512527867 115843072 349 33554432000 4194304 5098028 140734825506096 140734825503352 139631107592828 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 10686464 140734825509628 140734825509976 140734825509976 140734825512905 0
/proc/20702/statm: 28282 349 296 221 0 87 0
[pid=20705] ppid=20702 vsize=27314120 memory=128884 CPUtime=0.42 cores=0-7
/proc/20705/stat : 20705 (java) S 20702 20702 19238 0 -1 1077944320 13155 0 0 0 37 5 0 0 20 0 20 0 512527867 27969658880 32221 33554432000 4194304 4196468 140729016498688 140729016481232 139723840708343 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 26595328 140729016505030 140729016505478 140729016505478 140729016508367 0
/proc/20705/statm: 6828530 32221 3037 1 0 6790935 0
[pid=20705/tid=20706] ppid=20702 vsize=27314120 memory=8317482817917895235 CPUtime=0.29 cores=0-7
/proc/20705/task/20706/stat : 20706 (java) R 20702 20702 19238 0 -1 4202560 10561 0 0 0 25 4 0 0 20 0 20 0 512527868 27969658880 32221 33554432000 4194304 4196468 140729016498688 139723812491360 139723840722207 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26595328 140729016505030 140729016505478 140729016505478 140729016508367 0
[pid=20705/tid=20707] ppid=20702 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20705/task/20707/stat : 20707 (java) S 20702 20702 19238 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512527870 27969658880 32221 33554432000 4194304 4196468 140729016498688 139723844951056 139723840718549 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26595328 140729016505030 140729016505478 140729016505478 140729016508367 0
[pid=20705/tid=20708] ppid=20702 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20705/task/20708/stat : 20708 (java) S 20702 20702 19238 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512527870 27969658880 32221 33554432000 4194304 4196468 140729016498688 139723676200080 139723840718549 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26595328 140729016505030 140729016505478 140729016505478 140729016508367 0
[pid=20705/tid=20709] ppid=20702 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20705/task/20709/stat : 20709 (java) S 20702 20702 19238 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512527870 27969658880 32221 33554432000 4194304 4196468 140729016498688 139723261979408 139723840718549 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26595328 140729016505030 140729016505478 140729016505478 140729016508367 0
[pid=20705/tid=20710] ppid=20702 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20705/task/20710/stat : 20710 (java) S 20702 20702 19238 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512527870 27969658880 32221 33554432000 4194304 4196468 140729016498688 139723260926864 139723840718549 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26595328 140729016505030 140729016505478 140729016505478 140729016508367 0
[pid=20705/tid=20711] ppid=20702 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20705/task/20711/stat : 20711 (java) S 20702 20702 19238 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512527870 27969658880 32221 33554432000 4194304 4196468 140729016498688 139723259873808 139723840718549 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26595328 140729016505030 140729016505478 140729016505478 140729016508367 0
[pid=20705/tid=20712] ppid=20702 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20705/task/20712/stat : 20712 (java) S 20702 20702 19238 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512527870 27969658880 32221 33554432000 4194304 4196468 140729016498688 139723258821264 139723840718549 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26595328 140729016505030 140729016505478 140729016505478 140729016508367 0
[pid=20705/tid=20713] ppid=20702 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20705/task/20713/stat : 20713 (java) S 20702 20702 19238 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512527870 27969658880 32221 33554432000 4194304 4196468 140729016498688 139723257768208 139723840718549 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26595328 140729016505030 140729016505478 140729016505478 140729016508367 0
[pid=20705/tid=20714] ppid=20702 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20705/task/20714/stat : 20714 (java) S 20702 20702 19238 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512527870 27969658880 32221 33554432000 4194304 4196468 140729016498688 139723256715664 139723840718549 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26595328 140729016505030 140729016505478 140729016505478 140729016508367 0
[pid=20705/tid=20715] ppid=20702 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20705/task/20715/stat : 20715 (java) S 20702 20702 19238 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512527872 27969658880 32221 33554432000 4194304 4196468 140729016498688 139721959668464 139723840719490 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26595328 140729016505030 140729016505478 140729016505478 140729016508367 0
[pid=20705/tid=20716] ppid=20702 vsize=27314120 memory=280444721634688 CPUtime=0 cores=0-7
/proc/20705/task/20716/stat : 20716 (java) S 20702 20702 19238 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 512527872 27969658880 32221 33554432000 4194304 4196468 140729016498688 139721795692192 139723840718549 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26595328 140729016505030 140729016505478 140729016505478 140729016508367 0
[pid=20705/tid=20717] ppid=20702 vsize=27314120 memory=280444721639296 CPUtime=0 cores=0-7
/proc/20705/task/20717/stat : 20717 (java) S 20702 20702 19238 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512527872 27969658880 32221 33554432000 4194304 4196468 140729016498688 139721527256304 139723840718549 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26595328 140729016505030 140729016505478 140729016505478 140729016508367 0
[pid=20705/tid=20718] ppid=20702 vsize=27314120 memory=280444721643904 CPUtime=0 cores=0-7
/proc/20705/task/20718/stat : 20718 (java) S 20702 20702 19238 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512527875 27969658880 32221 33554432000 4194304 4196468 140729016498688 139721152747984 139723840726939 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26595328 140729016505030 140729016505478 140729016505478 140729016508367 0
[pid=20705/tid=20719] ppid=20702 vsize=27314120 memory=280444721648512 CPUtime=0.01 cores=0-7
/proc/20705/task/20719/stat : 20719 (java) S 20702 20702 19238 0 -1 1077944384 324 0 0 0 1 0 0 0 20 0 20 0 512527875 27969658880 32221 33554432000 4194304 4196468 140729016498688 139721958615280 139723840719490 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26595328 140729016505030 140729016505478 140729016505478 140729016508367 0
[pid=20705/tid=20720] ppid=20702 vsize=27314120 memory=280444721653120 CPUtime=0.01 cores=0-7
/proc/20705/task/20720/stat : 20720 (java) S 20702 20702 19238 0 -1 1077944384 198 0 0 0 1 0 0 0 20 0 20 0 512527875 27969658880 32221 33554432000 4194304 4196468 140729016498688 139721957562736 139723840719490 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26595328 140729016505030 140729016505478 140729016505478 140729016508367 0
[pid=20705/tid=20721] ppid=20702 vsize=27314120 memory=280444721657728 CPUtime=0.01 cores=0-7
/proc/20705/task/20721/stat : 20721 (java) S 20702 20702 19238 0 -1 1077944384 148 0 0 0 1 0 0 0 20 0 20 0 512527875 27969658880 32221 33554432000 4194304 4196468 140729016498688 139721956509680 139723840719490 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26595328 140729016505030 140729016505478 140729016505478 140729016508367 0
[pid=20705/tid=20722] ppid=20702 vsize=27314120 memory=280444721662336 CPUtime=0.07 cores=0-7
/proc/20705/task/20722/stat : 20722 (java) S 20702 20702 19238 0 -1 1077944384 587 0 0 0 7 0 0 0 20 0 20 0 512527875 27969658880 32221 33554432000 4194304 4196468 140729016498688 139721955457136 139723840719490 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26595328 140729016505030 140729016505478 140729016505478 140729016508367 0
[pid=20705/tid=20723] ppid=20702 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20705/task/20723/stat : 20723 (java) S 20702 20702 19238 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512527875 27969658880 32221 33554432000 4194304 4196468 140729016498688 139720654842848 139723840718549 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26595328 140729016505030 140729016505478 140729016505478 140729016508367 0
[pid=20705/tid=20724] ppid=20702 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/20705/task/20724/stat : 20724 (java) S 20702 20702 19238 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512527875 27969658880 32221 33554432000 4194304 4196468 140729016498688 139721954405552 139723840719490 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26595328 140729016505030 140729016505478 140729016505478 140729016508367 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 130280 KiB

[startup+0.700939 s]
/proc/loadavg: 8.02 8.19 8.17 2/213 20724
/proc/meminfo: memFree=28606504/32770624 swapFree=66954152/67108860
[pid=20702] ppid=20699 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/20702/stat : 20702 (scop.sh) S 20699 20702 19238 0 -1 4202496 555 320 0 0 0 0 0 0 20 0 1 0 512527867 115843072 349 33554432000 4194304 5098028 140734825506096 140734825503352 139631107592828 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 10686464 140734825509628 140734825509976 140734825509976 140734825512905 0
/proc/20702/statm: 28282 349 296 221 0 87 0
[pid=20705] ppid=20702 vsize=27320392 memory=164588 CPUtime=0.97 cores=0-7
/proc/20705/stat : 20705 (java) S 20702 20702 19238 0 -1 1077944320 20206 0 0 0 91 6 0 0 20 0 20 0 512527867 27976081408 41147 33554432000 4194304 4196468 140729016498688 140729016481232 139723840708343 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 26595328 140729016505030 140729016505478 140729016505478 140729016508367 0
/proc/20705/statm: 6830098 41147 3180 1 0 6791447 0
[pid=20705/tid=20706] ppid=20702 vsize=27320392 memory=0 CPUtime=0.68 cores=0-7
/proc/20705/task/20706/stat : 20706 (java) R 20702 20702 19238 0 -1 4202560 16985 0 0 0 63 5 0 0 20 0 20 0 512527868 27976081408 41147 33554432000 4194304 4196468 140729016498688 139723812544480 139723840730269 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 26595328 140729016505030 140729016505478 140729016505478 140729016508367 0
[pid=20705/tid=20707] ppid=20702 vsize=27320392 memory=140222361019264 CPUtime=0 cores=0-7
/proc/20705/task/20707/stat : 20707 (java) S 20702 20702 19238 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512527870 27976081408 41147 33554432000 4194304 4196468 140729016498688 139723844951056 139723840718549 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26595328 140729016505030 140729016505478 140729016505478 140729016508367 0
[pid=20705/tid=20708] ppid=20702 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/20705/task/20708/stat : 20708 (java) S 20702 20702 19238 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512527870 27976081408 41147 33554432000 4194304 4196468 140729016498688 139723676200080 139723840718549 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26595328 140729016505030 140729016505478 140729016505478 140729016508367 0
[pid=20705/tid=20709] ppid=20702 vsize=27320392 memory=9364 CPUtime=0 cores=0-7
/proc/20705/task/20709/stat : 20709 (java) S 20702 20702 19238 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512527870 27976081408 41147 33554432000 4194304 4196468 140729016498688 139723261979408 139723840718549 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26595328 140729016505030 140729016505478 140729016505478 140729016508367 0

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

/proc/20737/task/20743/stat : 20743 (java) S 20702 20702 19238 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512549658 8616062976 30403 33554432000 4194304 4196468 140722878905632 140001169525264 140001688069845 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9224192 140722878907359 140722878907526 140722878907526 140722878910415 0
[pid=20737/tid=20744] ppid=20702 vsize=8414124 memory=121612 CPUtime=0 cores=0-7
/proc/20737/task/20744/stat : 20744 (java) S 20702 20702 19238 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 512549658 8616062976 30403 33554432000 4194304 4196468 140722878905632 140001168472720 140001688069845 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9224192 140722878907359 140722878907526 140722878907526 140722878910415 0
[pid=20737/tid=20745] ppid=20702 vsize=8414124 memory=243248 CPUtime=0 cores=0-7
/proc/20737/task/20745/stat : 20745 (java) S 20702 20702 19238 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512549658 8616062976 30403 33554432000 4194304 4196468 140722878905632 140001167419664 140001688069845 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9224192 140722878907359 140722878907526 140722878907526 140722878910415 0
[pid=20737/tid=20746] ppid=20702 vsize=8414124 memory=111632 CPUtime=0 cores=0-7
/proc/20737/task/20746/stat : 20746 (java) S 20702 20702 19238 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 512549658 8616062976 30403 33554432000 4194304 4196468 140722878905632 140001166367120 140001688069845 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9224192 140722878907359 140722878907526 140722878907526 140722878910415 0
[pid=20737/tid=20747] ppid=20702 vsize=8414124 memory=804 CPUtime=0 cores=0-7
/proc/20737/task/20747/stat : 20747 (java) S 20702 20702 19238 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 512549659 8616062976 30403 33554432000 4194304 4196468 140722878905632 140000982878960 140001688070786 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9224192 140722878907359 140722878907526 140722878907526 140722878910415 0
[pid=20737/tid=20748] ppid=20702 vsize=8414124 memory=1804 CPUtime=0 cores=0-7
/proc/20737/task/20748/stat : 20748 (java) S 20702 20702 19238 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 512549660 8616062976 30403 33554432000 4194304 4196468 140722878905632 140000297477792 140001688069845 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9224192 140722878907359 140722878907526 140722878907526 140722878910415 0
[pid=20737/tid=20749] ppid=20702 vsize=8414124 memory=920 CPUtime=0 cores=0-7
/proc/20737/task/20749/stat : 20749 (java) S 20702 20702 19238 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 512549660 8616062976 30403 33554432000 4194304 4196468 140722878905632 140000163255536 140001688069845 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9224192 140722878907359 140722878907526 140722878907526 140722878910415 0
[pid=20737/tid=20750] ppid=20702 vsize=8414124 memory=4768 CPUtime=0 cores=0-7
/proc/20737/task/20750/stat : 20750 (java) S 20702 20702 19238 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512549663 8616062976 30403 33554432000 4194304 4196468 140722878905632 139999788751312 140001688078235 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9224192 140722878907359 140722878907526 140722878907526 140722878910415 0
[pid=20737/tid=20751] ppid=20702 vsize=8414124 memory=496 CPUtime=0.08 cores=0-7
/proc/20737/task/20751/stat : 20751 (java) S 20702 20702 19238 0 -1 1077944384 371 0 0 0 8 0 0 0 20 0 24 0 512549663 8616062976 30403 33554432000 4194304 4196468 140722878905632 140000981825776 140001688070786 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9224192 140722878907359 140722878907526 140722878907526 140722878910415 0
[pid=20737/tid=20752] ppid=20702 vsize=8414124 memory=1560 CPUtime=0.09 cores=0-7
/proc/20737/task/20752/stat : 20752 (java) S 20702 20702 19238 0 -1 1077944384 365 0 0 0 9 0 0 0 20 0 24 0 512549663 8616062976 30403 33554432000 4194304 4196468 140722878905632 140000980773232 140001688070786 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9224192 140722878907359 140722878907526 140722878907526 140722878910415 0
[pid=20737/tid=20753] ppid=20702 vsize=8414124 memory=928 CPUtime=0.1 cores=0-7
/proc/20737/task/20753/stat : 20753 (java) S 20702 20702 19238 0 -1 1077944384 627 0 0 0 10 0 0 0 20 0 24 0 512549663 8616062976 30403 33554432000 4194304 4196468 140722878905632 140000979720176 140001688070786 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9224192 140722878907359 140722878907526 140722878907526 140722878910415 0
[pid=20737/tid=20754] ppid=20702 vsize=8414124 memory=1680 CPUtime=0.23 cores=0-7
/proc/20737/task/20754/stat : 20754 (java) S 20702 20702 19238 0 -1 1077944384 642 0 0 0 23 0 0 0 20 0 24 0 512549663 8616062976 30403 33554432000 4194304 4196468 140722878905632 140000978667632 140001688070786 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9224192 140722878907359 140722878907526 140722878907526 140722878910415 0
[pid=20737/tid=20755] ppid=20702 vsize=8414124 memory=1444 CPUtime=0 cores=0-7
/proc/20737/task/20755/stat : 20755 (java) S 20702 20702 19238 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 512549663 8616062976 30403 33554432000 4194304 4196468 140722878905632 139999290846176 140001688069845 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9224192 140722878907359 140722878907526 140722878907526 140722878910415 0
[pid=20737/tid=20756] ppid=20702 vsize=8414124 memory=880 CPUtime=0 cores=0-7
/proc/20737/task/20756/stat : 20756 (java) S 20702 20702 19238 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 512549664 8616062976 30403 33554432000 4194304 4196468 140722878905632 140000977616048 140001688070786 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9224192 140722878907359 140722878907526 140722878907526 140722878910415 0
[pid=20737/tid=20758] ppid=20702 vsize=8414124 memory=1984 CPUtime=0 cores=0-7
/proc/20737/task/20758/stat : 20758 (java) S 20702 20702 19238 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 512549736 8616062976 30403 33554432000 4194304 4196468 140722878905632 140000969582016 140001688084249 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 9224192 140722878907359 140722878907526 140722878907526 140722878910415 0
[pid=20737/tid=20760] ppid=20702 vsize=8414124 memory=2552 CPUtime=0 cores=0-7
/proc/20737/task/20760/stat : 20760 (java) S 20702 20702 19238 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 24 0 512549737 8616062976 30403 33554432000 4194304 4196468 140722878905632 139998619745840 140001688081565 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 9224192 140722878907359 140722878907526 140722878907526 140722878910415 0
[pid=20737/tid=20761] ppid=20702 vsize=8414124 memory=1760 CPUtime=0 cores=0-7
/proc/20737/task/20761/stat : 20761 (java) S 20702 20702 19238 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 24 0 512549737 8616062976 30403 33554432000 4194304 4196468 140722878905632 139998888181424 140001688081565 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 9224192 140722878907359 140722878907526 140722878907526 140722878910415 0
[pid=20737/tid=20762] ppid=20702 vsize=8414124 memory=111632 CPUtime=0 cores=0-7
/proc/20737/task/20762/stat : 20762 (java) S 20702 20702 19238 0 -1 1077944384 139 0 0 0 0 0 0 0 20 0 24 0 512549738 8616062976 30403 33554432000 4194304 4196468 140722878905632 139998351317936 140001688069845 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9224192 140722878907359 140722878907526 140722878907526 140722878910415 0
Current children cumulated CPU time: 290.43 s
Current children cumulated vsize: 8846420 KiB
Current children cumulated memory: 379092 KiB

[startup+223.201 s]
/proc/loadavg: 1.61 4.71 6.77 2/215 20762
/proc/meminfo: memFree=27692088/32770624 swapFree=66954152/67108860
[pid=20702] ppid=20699 vsize=113128 memory=1476 CPUtime=285.35 cores=0-7
/proc/20702/stat : 20702 (scop.sh) S 20699 20702 19238 0 -1 4202496 582 106939 0 0 0 0 27256 1279 20 0 1 0 512527867 115843072 369 33554432000 4194304 5098028 140734825506096 140734825502840 139631107592828 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 10686464 140734825509628 140734825509976 140734825509976 140734825512905 0
/proc/20702/statm: 28282 369 311 221 0 87 0
[pid=20737] ppid=20702 vsize=8414124 memory=121612 CPUtime=1.38 cores=0-7
/proc/20737/stat : 20737 (java) S 20702 20702 19238 0 -1 1077944320 21391 0 0 0 129 9 0 0 20 0 24 0 512549656 8616062976 30403 33554432000 4194304 4196468 140722878905632 140722878888176 140001688059639 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 9224192 140722878907359 140722878907526 140722878907526 140722878910415 0
/proc/20737/statm: 2103531 30403 3211 1 0 2064875 0
[pid=20757] ppid=20737 vsize=1194456 memory=1149140 CPUtime=4.5 cores=0-7
/proc/20757/stat : 20757 (manyglucose-4.1) R 20737 20702 19238 0 -1 4202496 230746 0 0 0 417 33 0 0 20 0 1 0 512549736 1223122944 287285 33554432000 4194304 4454172 140734222734256 140734222731688 4344253 0 4 0 8388610 0 0 0 17 5 0 0 0 0 0 6552832 6554400 25284608 140734222742349 140734222742556 140734222742556 140734222745526 0
/proc/20757/statm: 298614 287285 378 64 0 294282 0
[pid=20737/tid=20738] ppid=20702 vsize=8414124 memory=1284 CPUtime=0.82 cores=0-7
/proc/20737/task/20738/stat : 20738 (java) S 20702 20702 19238 0 -1 1077944384 17834 0 0 0 76 6 0 0 20 0 24 0 512549657 8616062976 30403 33554432000 4194304 4196468 140722878905632 140001659899808 140001688069845 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9224192 140722878907359 140722878907526 140722878907526 140722878910415 0
[pid=20737/tid=20739] ppid=20702 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/20737/task/20739/stat : 20739 (java) S 20702 20702 19238 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512549658 8616062976 30403 33554432000 4194304 4196468 140722878905632 140001692302352 140001688069845 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9224192 140722878907359 140722878907526 140722878907526 140722878910415 0
[pid=20737/tid=20740] ppid=20702 vsize=8414124 memory=121612 CPUtime=0 cores=0-7
/proc/20737/task/20740/stat : 20740 (java) S 20702 20702 19238 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 512549658 8616062976 30403 33554432000 4194304 4196468 140722878905632 140001172683920 140001688069845 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9224192 140722878907359 140722878907526 140722878907526 140722878910415 0
[pid=20737/tid=20741] ppid=20702 vsize=8414124 memory=397976 CPUtime=0 cores=0-7
/proc/20737/task/20741/stat : 20741 (java) S 20702 20702 19238 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 512549658 8616062976 30403 33554432000 4194304 4196468 140722878905632 140001171630864 140001688069845 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9224192 140722878907359 140722878907526 140722878907526 140722878910415 0
[pid=20737/tid=20742] ppid=20702 vsize=8414124 memory=4768 CPUtime=0 cores=0-7
/proc/20737/task/20742/stat : 20742 (java) S 20702 20702 19238 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512549658 8616062976 30403 33554432000 4194304 4196468 140722878905632 140001170578320 140001688069845 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9224192 140722878907359 140722878907526 140722878907526 140722878910415 0
[pid=20737/tid=20743] ppid=20702 vsize=8414124 memory=4108 CPUtime=0 cores=0-7
/proc/20737/task/20743/stat : 20743 (java) S 20702 20702 19238 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512549658 8616062976 30403 33554432000 4194304 4196468 140722878905632 140001169525264 140001688069845 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9224192 140722878907359 140722878907526 140722878907526 140722878910415 0
[pid=20737/tid=20744] ppid=20702 vsize=8414124 memory=1412 CPUtime=0 cores=0-7
/proc/20737/task/20744/stat : 20744 (java) S 20702 20702 19238 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 512549658 8616062976 30403 33554432000 4194304 4196468 140722878905632 140001168472720 140001688069845 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9224192 140722878907359 140722878907526 140722878907526 140722878910415 0
[pid=20737/tid=20745] ppid=20702 vsize=8414124 memory=3328 CPUtime=0 cores=0-7
/proc/20737/task/20745/stat : 20745 (java) S 20702 20702 19238 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512549658 8616062976 30403 33554432000 4194304 4196468 140722878905632 140001167419664 140001688069845 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9224192 140722878907359 140722878907526 140722878907526 140722878910415 0
[pid=20737/tid=20746] ppid=20702 vsize=8414124 memory=243300 CPUtime=0 cores=0-7
/proc/20737/task/20746/stat : 20746 (java) S 20702 20702 19238 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 512549658 8616062976 30403 33554432000 4194304 4196468 140722878905632 140001166367120 140001688069845 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9224192 140722878907359 140722878907526 140722878907526 140722878910415 0
[pid=20737/tid=20747] ppid=20702 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/20737/task/20747/stat : 20747 (java) S 20702 20702 19238 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 512549659 8616062976 30403 33554432000 4194304 4196468 140722878905632 140000982878960 140001688070786 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9224192 140722878907359 140722878907526 140722878907526 140722878910415 0
[pid=20737/tid=20748] ppid=20702 vsize=8414124 memory=121612 CPUtime=0 cores=0-7
/proc/20737/task/20748/stat : 20748 (java) S 20702 20702 19238 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 512549660 8616062976 30403 33554432000 4194304 4196468 140722878905632 140000297477792 140001688069845 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9224192 140722878907359 140722878907526 140722878907526 140722878910415 0
[pid=20737/tid=20749] ppid=20702 vsize=8414124 memory=243044 CPUtime=0 cores=0-7
/proc/20737/task/20749/stat : 20749 (java) S 20702 20702 19238 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 512549660 8616062976 30403 33554432000 4194304 4196468 140722878905632 140000163255536 140001688069845 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9224192 140722878907359 140722878907526 140722878907526 140722878910415 0
[pid=20737/tid=20750] ppid=20702 vsize=8414124 memory=1556 CPUtime=0 cores=0-7
/proc/20737/task/20750/stat : 20750 (java) S 20702 20702 19238 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512549663 8616062976 30403 33554432000 4194304 4196468 140722878905632 139999788751312 140001688078235 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9224192 140722878907359 140722878907526 140722878907526 140722878910415 0
[pid=20737/tid=20751] ppid=20702 vsize=8414124 memory=2832 CPUtime=0.08 cores=0-7
/proc/20737/task/20751/stat : 20751 (java) S 20702 20702 19238 0 -1 1077944384 371 0 0 0 8 0 0 0 20 0 24 0 512549663 8616062976 30403 33554432000 4194304 4196468 140722878905632 140000981825776 140001688070786 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9224192 140722878907359 140722878907526 140722878907526 140722878910415 0
[pid=20737/tid=20752] ppid=20702 vsize=8414124 memory=984 CPUtime=0.09 cores=0-7
/proc/20737/task/20752/stat : 20752 (java) S 20702 20702 19238 0 -1 1077944384 365 0 0 0 9 0 0 0 20 0 24 0 512549663 8616062976 30403 33554432000 4194304 4196468 140722878905632 140000980773232 140001688070786 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9224192 140722878907359 140722878907526 140722878907526 140722878910415 0
[pid=20737/tid=20753] ppid=20702 vsize=8414124 memory=6791534058613427641 CPUtime=0.1 cores=0-7
/proc/20737/task/20753/stat : 20753 (java) S 20702 20702 19238 0 -1 1077944384 627 0 0 0 10 0 0 0 20 0 24 0 512549663 8616062976 30403 33554432000 4194304 4196468 140722878905632 140000979720176 140001688070786 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9224192 140722878907359 140722878907526 140722878907526 140722878910415 0
[pid=20737/tid=20754] ppid=20702 vsize=8414124 memory=708 CPUtime=0.23 cores=0-7
/proc/20737/task/20754/stat : 20754 (java) S 20702 20702 19238 0 -1 1077944384 644 0 0 0 23 0 0 0 20 0 24 0 512549663 8616062976 30403 33554432000 4194304 4196468 140722878905632 140000978667632 140001688070786 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9224192 140722878907359 140722878907526 140722878907526 140722878910415 0
[pid=20737/tid=20755] ppid=20702 vsize=8414124 memory=-7824251494390585956 CPUtime=0 cores=0-7
/proc/20737/task/20755/stat : 20755 (java) S 20702 20702 19238 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 512549663 8616062976 30403 33554432000 4194304 4196468 140722878905632 139999290846176 140001688069845 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9224192 140722878907359 140722878907526 140722878907526 140722878910415 0
[pid=20737/tid=20756] ppid=20702 vsize=8414124 memory=1444 CPUtime=0 cores=0-7
/proc/20737/task/20756/stat : 20756 (java) S 20702 20702 19238 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 512549664 8616062976 30403 33554432000 4194304 4196468 140722878905632 140000977616048 140001688070786 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9224192 140722878907359 140722878907526 140722878907526 140722878910415 0
[pid=20737/tid=20758] ppid=20702 vsize=8414124 memory=880 CPUtime=0 cores=0-7
/proc/20737/task/20758/stat : 20758 (java) S 20702 20702 19238 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 512549736 8616062976 30403 33554432000 4194304 4196468 140722878905632 140000969582016 140001688084249 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 9224192 140722878907359 140722878907526 140722878907526 140722878910415 0
[pid=20737/tid=20760] ppid=20702 vsize=8414124 memory=1984 CPUtime=0 cores=0-7
/proc/20737/task/20760/stat : 20760 (java) S 20702 20702 19238 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 512549737 8616062976 30403 33554432000 4194304 4196468 140722878905632 139998619745840 140001688081565 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 9224192 140722878907359 140722878907526 140722878907526 140722878910415 0
[pid=20737/tid=20761] ppid=20702 vsize=8414124 memory=2552 CPUtime=0 cores=0-7
/proc/20737/task/20761/stat : 20761 (java) S 20702 20702 19238 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 24 0 512549737 8616062976 30403 33554432000 4194304 4196468 140722878905632 139998888181424 140001688081565 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 9224192 140722878907359 140722878907526 140722878907526 140722878910415 0
[pid=20737/tid=20762] ppid=20702 vsize=8414124 memory=1760 CPUtime=0 cores=0-7
/proc/20737/task/20762/stat : 20762 (java) S 20702 20702 19238 0 -1 1077944384 139 0 0 0 0 0 0 0 20 0 24 0 512549738 8616062976 30403 33554432000 4194304 4196468 140722878905632 139998351317936 140001688069845 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9224192 140722878907359 140722878907526 140722878907526 140722878910415 0
Current children cumulated CPU time: 291.23 s
Current children cumulated vsize: 9721708 KiB
Current children cumulated memory: 1272228 KiB

[startup+223.401 s]
/proc/loadavg: 1.61 4.71 6.77 2/215 20762
/proc/meminfo: memFree=27692088/32770624 swapFree=66954152/67108860
[pid=20702] ppid=20699 vsize=113128 memory=1476 CPUtime=285.35 cores=0-7
/proc/20702/stat : 20702 (scop.sh) S 20699 20702 19238 0 -1 4202496 582 106939 0 0 0 0 27256 1279 20 0 1 0 512527867 115843072 369 33554432000 4194304 5098028 140734825506096 140734825502840 139631107592828 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 10686464 140734825509628 140734825509976 140734825509976 140734825512905 0
/proc/20702/statm: 28282 369 311 221 0 87 0
[pid=20737] ppid=20702 vsize=8414124 memory=122596 CPUtime=1.43 cores=0-7
/proc/20737/stat : 20737 (java) S 20702 20702 19238 0 -1 1077944320 21663 0 0 0 134 9 0 0 20 0 24 0 512549656 8616062976 30649 33554432000 4194304 4196468 140722878905632 140722878888176 140001688059639 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 9224192 140722878907359 140722878907526 140722878907526 140722878910415 0
/proc/20737/statm: 2103531 30649 3214 1 0 2064875 0
[pid=20737/tid=20738] ppid=20702 vsize=8414124 memory=920 CPUtime=0.82 cores=0-7
/proc/20737/task/20738/stat : 20738 (java) S 20702 20702 19238 0 -1 1077944384 17834 0 0 0 76 6 0 0 20 0 24 0 512549657 8616062976 30649 33554432000 4194304 4196468 140722878905632 140001659899808 140001688069845 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9224192 140722878907359 140722878907526 140722878907526 140722878910415 0
[pid=20737/tid=20739] ppid=20702 vsize=8414124 memory=2016 CPUtime=0 cores=0-7
/proc/20737/task/20739/stat : 20739 (java) S 20702 20702 19238 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512549658 8616062976 30649 33554432000 4194304 4196468 140722878905632 140001692302352 140001688069845 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9224192 140722878907359 140722878907526 140722878907526 140722878910415 0
[pid=20737/tid=20740] ppid=20702 vsize=8414124 memory=1284 CPUtime=0 cores=0-7
/proc/20737/task/20740/stat : 20740 (java) S 20702 20702 19238 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 512549658 8616062976 30649 33554432000 4194304 4196468 140722878905632 140001172683920 140001688069845 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9224192 140722878907359 140722878907526 140722878907526 140722878910415 0
[pid=20737/tid=20741] ppid=20702 vsize=8414124 memory=1044 CPUtime=0 cores=0-7
/proc/20737/task/20741/stat : 20741 (java) S 20702 20702 19238 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 512549658 8616062976 30649 33554432000 4194304 4196468 140722878905632 140001171630864 140001688069845 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9224192 140722878907359 140722878907526 140722878907526 140722878910415 0
[pid=20737/tid=20742] ppid=20702 vsize=8414124 memory=708 CPUtime=0 cores=0-7
/proc/20737/task/20742/stat : 20742 (java) S 20702 20702 19238 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512549658 8616062976 30649 33554432000 4194304 4196468 140722878905632 140001170578320 140001688069845 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9224192 140722878907359 140722878907526 140722878907526 140722878910415 0
[pid=20737/tid=20743] ppid=20702 vsize=8414124 memory=9364 CPUtime=0 cores=0-7
/proc/20737/task/20743/stat : 20743 (java) S 20702 20702 19238 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512549658 8616062976 30649 33554432000 4194304 4196468 140722878905632 140001169525264 140001688069845 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9224192 140722878907359 140722878907526 140722878907526 140722878910415 0
[pid=20737/tid=20744] ppid=20702 vsize=8414124 memory=1120 CPUtime=0 cores=0-7
/proc/20737/task/20744/stat : 20744 (java) S 20702 20702 19238 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 512549658 8616062976 30649 33554432000 4194304 4196468 140722878905632 140001168472720 140001688069845 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9224192 140722878907359 140722878907526 140722878907526 140722878910415 0
[pid=20737/tid=20745] ppid=20702 vsize=8414124 memory=776 CPUtime=0 cores=0-7
/proc/20737/task/20745/stat : 20745 (java) S 20702 20702 19238 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512549658 8616062976 30649 33554432000 4194304 4196468 140722878905632 140001167419664 140001688069845 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9224192 140722878907359 140722878907526 140722878907526 140722878910415 0
[pid=20737/tid=20746] ppid=20702 vsize=8414124 memory=1724 CPUtime=0 cores=0-7
/proc/20737/task/20746/stat : 20746 (java) S 20702 20702 19238 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 512549658 8616062976 30649 33554432000 4194304 4196468 140722878905632 140001166367120 140001688069845 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9224192 140722878907359 140722878907526 140722878907526 140722878910415 0
[pid=20737/tid=20747] ppid=20702 vsize=8414124 memory=8220 CPUtime=0 cores=0-7
/proc/20737/task/20747/stat : 20747 (java) S 20702 20702 19238 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 512549659 8616062976 30649 33554432000 4194304 4196468 140722878905632 140000982878960 140001688070786 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9224192 140722878907359 140722878907526 140722878907526 140722878910415 0
[pid=20737/tid=20748] ppid=20702 vsize=8414124 memory=3616 CPUtime=0 cores=0-7
/proc/20737/task/20748/stat : 20748 (java) S 20702 20702 19238 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 512549660 8616062976 30649 33554432000 4194304 4196468 140722878905632 140000297477792 140001688069845 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9224192 140722878907359 140722878907526 140722878907526 140722878910415 0
[pid=20737/tid=20749] ppid=20702 vsize=8414124 memory=1556 CPUtime=0 cores=0-7
/proc/20737/task/20749/stat : 20749 (java) S 20702 20702 19238 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 512549660 8616062976 30649 33554432000 4194304 4196468 140722878905632 140000163255536 140001688069845 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9224192 140722878907359 140722878907526 140722878907526 140722878910415 0
[pid=20737/tid=20750] ppid=20702 vsize=8414124 memory=2832 CPUtime=0 cores=0-7
/proc/20737/task/20750/stat : 20750 (java) S 20702 20702 19238 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512549663 8616062976 30649 33554432000 4194304 4196468 140722878905632 139999788751312 140001688078235 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9224192 140722878907359 140722878907526 140722878907526 140722878910415 0
[pid=20737/tid=20751] ppid=20702 vsize=8414124 memory=984 CPUtime=0.08 cores=0-7
/proc/20737/task/20751/stat : 20751 (java) S 20702 20702 19238 0 -1 1077944384 371 0 0 0 8 0 0 0 20 0 24 0 512549663 8616062976 30649 33554432000 4194304 4196468 140722878905632 140000981825776 140001688070786 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9224192 140722878907359 140722878907526 140722878907526 140722878910415 0
[pid=20737/tid=20752] ppid=20702 vsize=8414124 memory=14012 CPUtime=0.1 cores=0-7
/proc/20737/task/20752/stat : 20752 (java) S 20702 20702 19238 0 -1 1077944384 371 0 0 0 10 0 0 0 20 0 24 0 512549663 8616062976 30649 33554432000 4194304 4196468 140722878905632 140000980773232 140001688070786 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9224192 140722878907359 140722878907526 140722878907526 140722878910415 0
[pid=20737/tid=20753] ppid=20702 vsize=8414124 memory=21260 CPUtime=0.1 cores=0-7
/proc/20737/task/20753/stat : 20753 (java) S 20702 20702 19238 0 -1 1077944384 628 0 0 0 10 0 0 0 20 0 24 0 512549663 8616062976 30649 33554432000 4194304 4196468 140722878905632 140000979720176 140001688070786 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9224192 140722878907359 140722878907526 140722878907526 140722878910415 0
[pid=20737/tid=20754] ppid=20702 vsize=8414124 memory=2120 CPUtime=0.24 cores=0-7
/proc/20737/task/20754/stat : 20754 (java) S 20702 20702 19238 0 -1 1077944384 902 0 0 0 24 0 0 0 20 0 24 0 512549663 8616062976 30649 33554432000 4194304 4196468 140722878905632 140000978667632 140001688070786 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9224192 140722878907359 140722878907526 140722878907526 140722878910415 0
[pid=20737/tid=20755] ppid=20702 vsize=8414124 memory=12036 CPUtime=0 cores=0-7
/proc/20737/task/20755/stat : 20755 (java) S 20702 20702 19238 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 512549663 8616062976 30649 33554432000 4194304 4196468 140722878905632 139999290846176 140001688069845 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9224192 140722878907359 140722878907526 140722878907526 140722878910415 0
[pid=20737/tid=20756] ppid=20702 vsize=8414124 memory=496 CPUtime=0 cores=0-7
/proc/20737/task/20756/stat : 20756 (java) S 20702 20702 19238 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 512549664 8616062976 30649 33554432000 4194304 4196468 140722878905632 140000977616048 140001688070786 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9224192 140722878907359 140722878907526 140722878907526 140722878910415 0
[pid=20737/tid=20758] ppid=20702 vsize=8414124 memory=1560 CPUtime=0 cores=0-7
/proc/20737/task/20758/stat : 20758 (java) S 20702 20702 19238 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 512549736 8616062976 30649 33554432000 4194304 4196468 140722878905632 140000969582016 140001688084249 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 9224192 140722878907359 140722878907526 140722878907526 140722878910415 0
[pid=20737/tid=20760] ppid=20702 vsize=8414124 memory=928 CPUtime=0.02 cores=0-7
/proc/20737/task/20760/stat : 20760 (java) S 20702 20702 19238 0 -1 4202560 12 0 0 0 2 0 0 0 20 0 24 0 512549737 8616062976 30649 33554432000 4194304 4196468 140722878905632 139998619745872 140001688081565 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 9224192 140722878907359 140722878907526 140722878907526 140722878910415 0
[pid=20737/tid=20761] ppid=20702 vsize=8414124 memory=1680 CPUtime=0 cores=0-7
/proc/20737/task/20761/stat : 20761 (java) S 20702 20702 19238 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 24 0 512549737 8616062976 30649 33554432000 4194304 4196468 140722878905632 139998888181424 140001688081565 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 9224192 140722878907359 140722878907526 140722878907526 140722878910415 0
[pid=20737/tid=20762] ppid=20702 vsize=8414124 memory=1444 CPUtime=0 cores=0-7
/proc/20737/task/20762/stat : 20762 (java) S 20702 20702 19238 0 -1 1077944384 139 0 0 0 0 0 0 0 20 0 24 0 512549738 8616062976 30649 33554432000 4194304 4196468 140722878905632 139998351317936 140001688069845 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9224192 140722878907359 140722878907526 140722878907526 140722878910415 0
Current children cumulated CPU time: 286.78 s
Current children cumulated vsize: 8527252 KiB
Current children cumulated memory: 124072 KiB

Child status: 0
Real time (s): 223.432
CPU time (s): 291.595
CPU user time (s): 278.247
CPU system time (s): 13.3478
CPU usage (%): 130.507
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 10547148

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 278.247
system time used= 13.3478
maximum resident set size= 10546136
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 388094
page faults= 0
swaps= 0
block input operations= 0
block output operations= 80544
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 18173
involuntary context switches= 822


# summary of solver processes directly reported to runsolver:
#   pid: 20702
#   total CPU time (s): 291.595
#   total CPU user time (s): 278.247
#   total CPU system time (s): 13.3478

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.20248 second user time and 2.45652 second system time

The end

Launcher Data 

Begin job on node107 at 2019-09-24 23:03:22
IDJOB=4405435
IDBENCH=140009
IDSOLVER=2868
FILE ID=node107/4405435-1569362725
RUNJOBID= node107-1569355381-19265
PBS_JOBID= 21705118
Free space on /var/tmp= 12564 MiB

SOLVER NAME= Fun-sCOP hybrid+ManyGlucose (2019-09-22)
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 /var/tmp/evaluation-result-4405435-1569362725/watcher-4405435-1569362725 -o /var/tmp/evaluation-result-4405435-1569362725/solver-4405435-1569362725 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node107-1569355381-19265 --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-4405435-1569362725.xml

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

MD5SUM BENCH= 771a2032fa08b3551aec0b6adeb94e67
RANDOM SEED=1607080212

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        28744508 kB
MemAvailable:   31802024 kB
Buffers:           73704 kB
Cached:          3127012 kB
SwapCached:        48164 kB
Active:          1976132 kB
Inactive:        1274484 kB
Active(anon):       4504 kB
Inactive(anon):    98296 kB
Active(file):    1971628 kB
Inactive(file):  1176188 kB
Unevictable:      110988 kB
Mlocked:          110988 kB
SwapTotal:      67108860 kB
SwapFree:       66954152 kB
Dirty:             20840 kB
Writeback:             0 kB
AnonPages:         64628 kB
Mapped:            54608 kB
Shmem:             44540 kB
Slab:             366380 kB
SReclaimable:     338160 kB
SUnreclaim:        28220 kB
KernelStack:        3728 kB
PageTables:         4800 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     506468 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     18432 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      101760 kB
DirectMap2M:    33443840 kB

Free space on /var/tmp at the end= 12544 MiB
End job on node107 at 2019-09-24 23:07:06