Trace number 4392614

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

NameCrossword/
Crossword-m1c-ogd-vg/Crossword-m1c-ogd-vg-16-16.xml
MD5SUM4f70966c99dd40579db6abd1a80acf5b
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.088318
Satisfiable
(Un)Satisfiability was proved
Number of variables256
Number of constraints32
Number of domains1
Minimum domain size26
Maximum domain size26
Distribution of domain sizes[{"size":26,"count":256}]
Minimum variable degree2
Maximum variable degree2
Distribution of variable degrees[{"degree":2,"count":256}]
Minimum constraint arity16
Maximum constraint arity16
Distribution of constraint arities[{"arity":16,"count":32}]
Number of extensional constraints32
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":32}]
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-27608-serial-file.bin HOME/instance-4392614-1568446716.xml
0.66/0.54	
0.66/0.54	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
0.66/0.54	
0.66/0.56	c BEGIN-Prog: Sat Sep 14 09:37:57 CEST 2019
0.66/0.56	c PID: 27611
0.66/0.56	c IP: 172.20.3.133
0.66/0.56	c HOST: node133.alineos.net
0.66/0.57	c (0,0) Parsing Begin
1.64/0.99	c (0,0) Parsing End
1.64/1.00	c (0,0) CSP: 256 int (0 aux), 0 bool (0 aux), 32 ctr, max domain size 26
1.64/1.00	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.64/1.00	c (0,0) Constraint Name Generate Begin
1.64/1.00	c (0,0) Ctr:HOME/instance-4392614-1568446716.xml,ExtensionSupport:Var
1.64/1.00	c (0,0) Constraint Name Generate End
1.64/1.00	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.64/1.00	c (0,0) CSP to CSPinCNF Begin
18.64/10.42	c (9,9) translated 4 (10%) constraints
27.84/17.51	c (16,16) translated 7 (20%) constraints
34.26/23.99	c (23,23) translated 10 (30%) constraints
44.52/30.93	c (30,29) translated 13 (40%) constraints
51.03/37.44	c (36,36) translated 16 (50%) constraints
66.45/48.71	c (48,46) translated 20 (60%) constraints
72.98/55.21	c (54,53) translated 23 (70%) constraints
84.64/63.17	c (62,60) translated 26 (80%) constraints
97.40/70.96	c (70,67) translated 29 (90%) constraints
104.61/77.91	c (77,74) translated 32 (100%) constraints
104.73/78.09	c (77,74) ===========================================
105.16/78.45	c (77,75) Hybrid: #OE=264514, #LE=0
105.16/78.45	c (77,75) Hybrid
105.16/78.45	c (77,75) ===========================================
108.62/81.28	c (80,78) translated 147333 (10%) constraints
117.68/84.91	c (84,81) translated 294665 (20%) constraints
120.64/87.81	c (87,83) translated 441997 (30%) constraints
123.44/90.68	c (90,86) translated 589330 (40%) constraints
126.34/93.54	c (93,89) translated 736662 (50%) constraints
129.24/96.41	c (95,92) translated 883994 (60%) constraints
132.05/99.29	c (98,95) translated 1031327 (70%) constraints
140.94/102.92	c (102,98) translated 1178659 (80%) constraints
143.84/105.84	c (105,101) translated 1325991 (90%) constraints
146.82/108.74	c (108,104) translated 1473323 (100%) constraints
146.82/108.74	c (108,104) CSP to CSPinCNF End
146.93/108.83	c (108,104) CSP: 256 int (0 aux), 264258 bool (264258 aux), 1473323 ctr, max domain size 26
146.93/108.83	c (108,104) Heap : 4055 MiB used (max 21010 MiB), NonHeap : 26 MiB used (max 0 MiB)
146.93/108.83	c (108,104) CSPinCNF Propagation Begin
169.11/118.75	c (118,112) 1250 values, 5796 unsatisfiable literals, and 7277 valid clauses are removed
169.11/118.75	c (118,112) CSPinCNF Propagation End
169.21/118.84	c (118,112) CSP: 256 int (0 aux), 264258 bool (264258 aux), 1466046 ctr, max domain size 26
169.21/118.84	c (118,112) Heap : 2298 MiB used (max 21001 MiB), NonHeap : 27 MiB used (max 0 MiB)
169.54/119.14	c (118,112) Hybrid: #OE=264514, #LE=0
169.54/119.14	c (118,112) Simplify CSPinCNF Begin
172.04/121.53	c (120,115) Simplify CSPinCNF End
172.14/121.62	c (121,115) CSP: 256 int (0 aux), 264258 bool (264258 aux), 1466046 ctr, max domain size 26
172.14/121.62	c (121,115) Heap : 3899 MiB used (max 21001 MiB), NonHeap : 27 MiB used (max 0 MiB)
172.14/121.62	c (121,115) Calculate Precise Domain Begin
172.14/121.62	c (121,115) 0 values are removed by re-calculation
172.14/121.62	c (121,115) Calculate Precise Domain End
172.24/121.70	c (121,115) CSP: 256 int (0 aux), 264258 bool (264258 aux), 1466046 ctr, max domain size 26
172.24/121.70	c (121,115) Heap : 3899 MiB used (max 21001 MiB), NonHeap : 27 MiB used (max 0 MiB)
172.24/121.70	c (121,115) CSPinCNF to SatSolver Begin
175.45/123.52	c (122,117) 146605 (10 %) CSP clauses are encoded (0 SAT variables, 151559 SAT clauses)
176.58/124.68	c (124,118) 293210 (20 %) CSP clauses are encoded (0 SAT variables, 298164 SAT clauses)
182.70/126.43	c (125,119) 439814 (30 %) CSP clauses are encoded (0 SAT variables, 444768 SAT clauses)
183.80/127.57	c (127,120) 586419 (40 %) CSP clauses are encoded (0 SAT variables, 591373 SAT clauses)
185.00/128.72	c (128,121) 733023 (50 %) CSP clauses are encoded (0 SAT variables, 737977 SAT clauses)
186.10/129.88	c (129,122) 879628 (60 %) CSP clauses are encoded (0 SAT variables, 884582 SAT clauses)
191.38/131.54	c (130,124) 1026233 (70 %) CSP clauses are encoded (0 SAT variables, 1031187 SAT clauses)
192.48/132.68	c (132,125) 1172837 (80 %) CSP clauses are encoded (0 SAT variables, 1177791 SAT clauses)
193.68/133.81	c (133,126) 1319442 (90 %) CSP clauses are encoded (0 SAT variables, 1324396 SAT clauses)
194.83/135.02	c (134,127) 1466046 (100 %) CSP clauses are encoded (0 SAT variables, 1471000 SAT clauses)
194.83/135.02	c (134,127) CSPinCNF to SatSolver End
194.83/135.02	c (134,127) Heap : 5774 MiB used (max 20025 MiB), NonHeap : 29 MiB used (max 0 MiB)
194.83/135.02	c (134,127) 268219 bool, 1471001 clause
194.83/135.02	c (134,127) Export Begin
195.03/135.15	c (134,127) Export to HOME/scop-27608-serial-file.bin
195.03/135.15	c (134,127) Export End
195.03/135.15	c (134,127) Export File Size: 0.15 MB
195.03/135.15	c (134,127) 0,0,108,118,121,121,134,STOP-AFTER(DIMACS)
195.03/135.15	c END-Prog: Sat Sep 14 09:40:12 CEST 2019
0.00/135.21	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-27608-serial-file.bin
195.21/135.68	c (0,0) Read Serial File Begin
195.21/135.68	c (0,0) HOME/scop-27608-serial-file.bin
195.21/135.95	c (0,0) Read Serial File End
195.21/135.96	
195.21/135.96	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
195.21/135.96	(Solving Process)
195.21/135.96	
195.21/135.98	c BEGIN-Prog: Sat Sep 14 09:40:13 CEST 2019
195.21/135.98	c PID: 27647
195.21/135.98	c IP: 172.20.3.133
195.21/135.98	c HOST: node133.alineos.net
195.21/135.99	c (0,0) SatSolver.solve Begin
195.21/135.99	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4392614-1568446716.xml-scop-27611.cnf
195.21/136.01	c (0,0) c
195.21/136.01	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)
195.21/136.01	c (0,0) c
195.21/136.01	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
195.21/136.01	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
195.21/136.01	c (0,0) c ========================================[ Problem Statistics ]===========================================
195.21/136.01	c (0,0) c |                                                                                                       |
196.53/136.62	c (1,0) c |  Number of variables:        268219                                                                   |
196.53/136.62	c (1,0) c |  Number of clauses:         1463462                                                                   |
196.53/136.62	c (1,0) c |  Parse time:                   0.56 s                                                                 |
196.53/136.62	c (1,0) c |                                                                                                       |
199.71/139.22	c (3,0) c |  Simplification time:          2.53 s                                                                 |
199.71/139.22	c (3,0) c |                                                                                                       |
199.71/139.22	c (3,0) c |  Generating clones                                                                                    |
200.52/140.03	c (4,0) c |  all clones generated. Memory =  1083.89Mb.                                                           |
200.52/140.03	c (4,0) c ========================================================================================================|
200.52/140.03	c (4,0) c
200.52/140.03	c (4,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
200.52/140.03	c (4,0) c
200.52/140.03	c (4,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
200.52/140.03	c (4,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
200.52/140.03	c (4,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
200.52/140.03	c (4,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
200.52/140.03	c (4,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
200.52/140.03	c (4,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
200.52/140.03	c (4,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
200.52/140.03	c (4,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
200.52/140.03	c (4,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
200.52/140.03	c (4,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
200.52/140.03	c (4,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
200.52/140.03	c (4,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
200.52/140.03	c (4,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
200.52/140.03	c (4,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
200.52/140.03	c (4,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
200.52/140.03	c (4,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
200.52/140.03	c (4,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
200.52/140.03	c (4,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
200.52/140.03	c (4,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
224.41/143.19	c (7,0) c
224.41/143.19	c (7,0) c real time : 7.18158 s
224.41/143.19	c (7,0) c cpu time  : 26.8405 s
224.41/143.19	c (7,0) c
224.41/143.19	c (7,0) c
224.41/143.19	c (7,0) c
224.41/143.19	c (7,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
224.41/143.19	c (7,0) c
224.41/143.19	c (7,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
224.41/143.19	c (7,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
224.41/143.19	c (7,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
224.41/143.19	c (7,0) c | Conflicts     |           25457 |       2737 |       2452 |       3543 |       2846 |       3757 |       2895 |       4124 |       3103 |
224.41/143.19	c (7,0) c | Decisions     |           79066 |       6787 |       9141 |      12188 |       7246 |      11725 |      10335 |      12806 |       8838 |
224.41/143.19	c (7,0) c | Propagations  |        61637580 |    6375137 |    7385289 |    8201441 |    7525417 |    7987175 |    8490539 |    8395238 |    7277344 |
224.41/143.19	c (7,0) c | ReduceDBs     |               8 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |
224.41/143.19	c (7,0) c | SimpDBs       |              19 |          2 |          2 |          3 |          3 |          2 |          2 |          3 |          2 |
224.41/143.19	c (7,0) c | Restarts      |              73 |          7 |          5 |         16 |          4 |         10 |          8 |         15 |          8 |
224.41/143.19	c (7,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
224.41/143.19	c (7,0) c | PropBinClauses|       102638399 |   11333344 |   11082449 |   13229763 |   11896514 |   14062438 |   14025923 |   14731287 |   12276681 |
224.41/143.19	c (7,0) c | PropPreBlocker|       109817643 |   12235708 |   11040662 |   14741381 |   12166330 |   15359407 |   14808837 |   15891371 |   13573947 |
224.41/143.19	c (7,0) c | PropNotBlocker|        46572213 |    5161967 |    4876457 |    6106370 |    5153031 |    6682961 |    5816247 |    6942316 |    5832864 |
224.41/143.19	c (7,0) c | LitFullScans  |       338835844 |   36043541 |   36045924 |   46102488 |   40793041 |   45319038 |   44641347 |   49623269 |   40267196 |
224.41/143.19	c (7,0) c | LitScanFracts |           84573 |      17939 |      10333 |        554 |      13879 |      23009 |        416 |      17874 |        569 |
224.41/143.19	c (7,0) c | DecisionLevel0|             153 |         13 |         16 |         33 |         13 |         18 |         19 |         27 |         14 |
224.41/143.19	c (7,0) c | Periods       |              53 |          6 |          6 |          7 |          6 |          7 |          7 |          8 |          6 |
224.41/143.19	c (7,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
224.41/143.19	c (7,0) c | Avg_Trail     |                 |      20049 |      23035 |      21681 |      24513 |      20665 |      22491 |      20342 |      21476 |
224.41/143.19	c (7,0) c | Avg_DL        |                 |         19 |         35 |         26 |         33 |         23 |         26 |         19 |         20 |
224.41/143.19	c (7,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
224.41/143.19	c (7,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
224.41/143.19	c (7,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
224.41/143.19	c (7,0) c | Exported      |            5300 |        588 |        480 |        817 |        480 |        844 |        599 |        917 |        575 |
224.41/143.19	c (7,0) c | Imported      |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
224.41/143.19	c (7,0) c | Good          |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
224.41/143.19	c (7,0) c | Purge         |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
224.41/143.19	c (7,0) c | Promoted      |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
224.41/143.19	c (7,0) c | Remove_Imp    |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
224.41/143.19	c (7,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
224.41/143.19	c (7,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
224.41/143.19	c (7,0) c | Unaries       |                 |          6 |         11 |         17 |          9 |          8 |         11 |         12 |          6 |
224.41/143.19	c (7,0) c | Binaries      |                 |        406 |        304 |        514 |        288 |        543 |        392 |        620 |        348 |
224.41/143.19	c (7,0) c | Glues         |                 |        588 |        480 |        817 |        480 |        844 |        599 |        917 |        575 |
224.41/143.19	c (7,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
224.41/143.19	c (7,0) c | Orig_Seen     |             7 % |      57108 |      74016 |      66486 |      51367 |      69432 |      65654 |      62449 |      72065 |
224.41/143.19	c (7,0) c | Diff Orig seen|                 |       5741 |      22649 |      15119 |      X     |      18065 |      14287 |      11082 |      20698 |
224.41/143.19	c (7,0) c | Hamming       |             0 % |       2093 |       2103 |       2249 |      X     |       2131 |       2200 |       1978 |       1884 |
224.41/143.19	c (7,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
224.41/143.19	c (7,0) c | RunningTime   |                 |    3.2 100%|    3.1 100%|    3.0 100%|    2.9 100%|    3.0 100%|    3.1 100%|    3.0 100%|    3.0 100%|
224.41/143.19	c (7,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%|
224.41/143.19	c (7,0) c | ExchangingTime|                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
224.41/143.19	c (7,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%|
224.41/143.19	c (7,0) c | SolvingTime   |                 |    3.2     |    3.1     |    3.0     |    2.9     |    3.0     |    3.1     |    3.0     |    3.0     |
224.41/143.19	c (7,0) c | PropagationTim|                 |    2.9  91%|    2.8  90%|    2.6  87%|    2.6  88%|    2.6  88%|    2.7  88%|    2.6  88%|    2.7  89%|
224.41/143.19	c (7,0) c | AnalysisTime  |                 |    0.1   4%|    0.2   5%|    0.1   5%|    0.1   5%|    0.1   5%|    0.2   5%|    0.1   5%|    0.1   5%|
224.41/143.19	c (7,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%|
224.41/143.19	c (7,0) c | SimplifyTime  |                 |    0.0   1%|    0.0   1%|    0.1   2%|    0.1   2%|    0.0   1%|    0.0   1%|    0.1   2%|    0.0   1%|
224.41/143.19	c (7,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%|
224.41/143.19	c (7,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%|
224.41/143.19	c (7,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
224.41/143.19	c (7,0) c
224.41/143.19	c (7,0) c
224.41/143.19	c (7,0) c Threads : 8
224.41/143.19	c (7,0) c Winner : 3
224.41/143.19	c (7,0) c Conflicts_0 : 2737
224.41/143.19	c (7,0) c Conflicts_1 : 2452
224.41/143.19	c (7,0) c Conflicts_2 : 3543
224.41/143.19	c (7,0) c Conflicts_3 : 2846
224.41/143.19	c (7,0) c Conflicts_4 : 3757
224.41/143.19	c (7,0) c Conflicts_5 : 2895
224.41/143.19	c (7,0) c Conflicts_6 : 4124
224.41/143.19	c (7,0) c Conflicts_7 : 3103
224.41/143.19	c (7,0) c Conflicts_total : 25457
224.41/143.19	c (7,0) c Conflicts_winner : 2846
224.41/143.19	c (7,0) c Decisions_0 : 6787
224.41/143.19	c (7,0) c Decisions_1 : 9141
224.41/143.19	c (7,0) c Decisions_2 : 12188
224.41/143.19	c (7,0) c Decisions_3 : 7246
224.41/143.19	c (7,0) c Decisions_4 : 11725
224.41/143.19	c (7,0) c Decisions_5 : 10335
224.41/143.19	c (7,0) c Decisions_6 : 12806
224.41/143.19	c (7,0) c Decisions_7 : 8838
224.41/143.19	c (7,0) c Decisions_total : 79066
224.41/143.19	c (7,0) c Decisions_winner : 7246
224.41/143.19	c (7,0) c Propagations_0 : 6375137
224.41/143.19	c (7,0) c Propagations_1 : 7385289
224.41/143.19	c (7,0) c Propagations_2 : 8201441
224.41/143.19	c (7,0) c Propagations_3 : 7525417
224.41/143.19	c (7,0) c Propagations_4 : 7987175
224.41/143.19	c (7,0) c Propagations_5 : 8490539
224.41/143.19	c (7,0) c Propagations_6 : 8395238
224.41/143.19	c (7,0) c Propagations_7 : 7277344
224.41/143.20	c (7,0) c Propagations_total : 61637580
224.41/143.20	c (7,0) c Propagations_winner : 7525417
224.41/143.20	c (7,0) c ReduceDBs_0 : 1
224.41/143.20	c (7,0) c ReduceDBs_1 : 1
224.41/143.20	c (7,0) c ReduceDBs_2 : 1
224.41/143.20	c (7,0) c ReduceDBs_3 : 1
224.41/143.20	c (7,0) c ReduceDBs_4 : 1
224.41/143.20	c (7,0) c ReduceDBs_5 : 1
224.41/143.20	c (7,0) c ReduceDBs_6 : 1
224.41/143.20	c (7,0) c ReduceDBs_7 : 1
224.41/143.20	c (7,0) c ReduceDBs_total : 8
224.41/143.20	c (7,0) c ReduceDBs_winner : 1
224.41/143.20	c (7,0) c SimpDBs_0 : 2
224.41/143.20	c (7,0) c SimpDBs_1 : 2
224.41/143.20	c (7,0) c SimpDBs_2 : 3
224.41/143.20	c (7,0) c SimpDBs_3 : 3
224.41/143.20	c (7,0) c SimpDBs_4 : 2
224.41/143.20	c (7,0) c SimpDBs_5 : 2
224.41/143.20	c (7,0) c SimpDBs_6 : 3
224.41/143.20	c (7,0) c SimpDBs_7 : 2
224.41/143.20	c (7,0) c SimpDBs_total : 19
224.41/143.20	c (7,0) c SimpDBs_winner : 3
224.41/143.20	c (7,0) c Restarts_0 : 7
224.41/143.20	c (7,0) c Restarts_1 : 5
224.41/143.20	c (7,0) c Restarts_2 : 16
224.41/143.20	c (7,0) c Restarts_3 : 4
224.41/143.20	c (7,0) c Restarts_4 : 10
224.41/143.20	c (7,0) c Restarts_5 : 8
224.41/143.20	c (7,0) c Restarts_6 : 15
224.41/143.20	c (7,0) c Restarts_7 : 8
224.41/143.20	c (7,0) c Restarts_total : 73
224.41/143.20	c (7,0) c Restarts_winner : 4
224.41/143.20	c (7,0) c ForcedImports_0 : 0
224.41/143.20	c (7,0) c ForcedImports_1 : 0
224.41/143.20	c (7,0) c ForcedImports_2 : 0
224.41/143.20	c (7,0) c ForcedImports_3 : 0
224.41/143.20	c (7,0) c ForcedImports_4 : 0
224.41/143.20	c (7,0) c ForcedImports_5 : 0
224.41/143.20	c (7,0) c ForcedImports_6 : 0
224.41/143.20	c (7,0) c ForcedImports_7 : 0
224.41/143.20	c (7,0) c ForcedImports_total : 0
224.41/143.20	c (7,0) c ForcedImports_winner : 0
224.41/143.20	c (7,0) c PropsBinClauses_0 : 11333344
224.41/143.20	c (7,0) c PropsBinClauses_1 : 11082449
224.41/143.20	c (7,0) c PropsBinClauses_2 : 13229763
224.41/143.20	c (7,0) c PropsBinClauses_3 : 11896514
224.41/143.20	c (7,0) c PropsBinClauses_4 : 14062438
224.41/143.20	c (7,0) c PropsBinClauses_5 : 14025923
224.41/143.20	c (7,0) c PropsBinClauses_6 : 14731287
224.41/143.20	c (7,0) c PropsBinClauses_7 : 12276681
224.41/143.20	c (7,0) c PropsBinClauses_total : 102638399
224.41/143.20	c (7,0) c PropsBinClauses_winner : 11896514
224.41/143.20	c (7,0) c PropsPreBlocker_0 : 12235708
224.41/143.20	c (7,0) c PropsPreBlocker_1 : 11040662
224.41/143.20	c (7,0) c PropsPreBlocker_2 : 14741381
224.41/143.20	c (7,0) c PropsPreBlocker_3 : 12166330
224.41/143.20	c (7,0) c PropsPreBlocker_4 : 15359407
224.41/143.20	c (7,0) c PropsPreBlocker_5 : 14808837
224.41/143.20	c (7,0) c PropsPreBlocker_6 : 15891371
224.41/143.20	c (7,0) c PropsPreBlocker_7 : 13573947
224.41/143.20	c (7,0) c PropsPreBlocker_total : 109817643
224.41/143.20	c (7,0) c PropsPreBlocker_winner : 12166330
224.41/143.20	c (7,0) c PropsNotBlocker_0 : 5161967
224.41/143.20	c (7,0) c PropsNotBlocker_1 : 4876457
224.41/143.20	c (7,0) c PropsNotBlocker_2 : 6106370
224.41/143.20	c (7,0) c PropsNotBlocker_3 : 5153031
224.41/143.20	c (7,0) c PropsNotBlocker_4 : 6682961
224.41/143.20	c (7,0) c PropsNotBlocker_5 : 5816247
224.41/143.20	c (7,0) c PropsNotBlocker_6 : 6942316
224.41/143.20	c (7,0) c PropsNotBlocker_7 : 5832864
224.41/143.20	c (7,0) c PropsNotBlocker_total : 46572213
224.41/143.20	c (7,0) c PropsNotBlocker_winner : 5153031
224.41/143.20	c (7,0) c PropsLitFullScans_0 : 36043541
224.41/143.20	c (7,0) c PropsLitFullScans_1 : 36045924
224.41/143.20	c (7,0) c PropsLitFullScans_2 : 46102488
224.41/143.20	c (7,0) c PropsLitFullScans_3 : 40793041
224.41/143.20	c (7,0) c PropsLitFullScans_4 : 45319038
224.41/143.20	c (7,0) c PropsLitFullScans_5 : 44641347
224.41/143.20	c (7,0) c PropsLitFullScans_6 : 49623269
224.41/143.20	c (7,0) c PropsLitFullScans_7 : 40267196
224.41/143.20	c (7,0) c PropsLitFullScans_total : 338835844
224.41/143.20	c (7,0) c PropsLitFullScans_winner : 40793041
224.41/143.20	c (7,0) c LitScanFractions_0 : 17939
224.41/143.20	c (7,0) c LitScanFractions_1 : 10333
224.41/143.20	c (7,0) c LitScanFractions_2 : 554
224.41/143.20	c (7,0) c LitScanFractions_3 : 13879
224.41/143.20	c (7,0) c LitScanFractions_4 : 23009
224.41/143.20	c (7,0) c LitScanFractions_5 : 416
224.41/143.20	c (7,0) c LitScanFractions_6 : 17874
224.41/143.20	c (7,0) c LitScanFractions_7 : 569
224.41/143.20	c (7,0) c LitScanFractions_total : 84573
224.41/143.20	c (7,0) c LitScanFractions_winner : 13879
224.41/143.20	c (7,0) c DecisionLevel0_0 : 13
224.41/143.20	c (7,0) c DecisionLevel0_1 : 16
224.41/143.20	c (7,0) c DecisionLevel0_2 : 33
224.41/143.20	c (7,0) c DecisionLevel0_3 : 13
224.41/143.20	c (7,0) c DecisionLevel0_4 : 18
224.41/143.20	c (7,0) c DecisionLevel0_5 : 19
224.41/143.20	c (7,0) c DecisionLevel0_6 : 27
224.41/143.20	c (7,0) c DecisionLevel0_7 : 14
224.41/143.20	c (7,0) c DecisionLevel0_total : 153
224.41/143.20	c (7,0) c DecisionLevel0_winner : 13
224.41/143.20	c (7,0) c Periods_0 : 6
224.41/143.20	c (7,0) c Periods_1 : 6
224.41/143.20	c (7,0) c Periods_2 : 7
224.41/143.20	c (7,0) c Periods_3 : 6
224.41/143.20	c (7,0) c Periods_4 : 7
224.41/143.20	c (7,0) c Periods_5 : 7
224.41/143.20	c (7,0) c Periods_6 : 8
224.41/143.20	c (7,0) c Periods_7 : 6
224.41/143.20	c (7,0) c Periods_total : 53
224.41/143.20	c (7,0) c Periods_winner : 6
224.41/143.20	c (7,0) c Margin_0 : 20
224.41/143.20	c (7,0) c Margin_1 : 20
224.41/143.20	c (7,0) c Margin_2 : 20
224.41/143.20	c (7,0) c Margin_3 : 20
224.41/143.20	c (7,0) c Margin_4 : 20
224.41/143.20	c (7,0) c Margin_5 : 20
224.41/143.20	c (7,0) c Margin_6 : 20
224.41/143.20	c (7,0) c Margin_7 : 20
224.41/143.20	c (7,0) c Margin_total : 160
224.41/143.20	c (7,0) c Margin_winner : 20
224.41/143.20	c (7,0) c Exported_0 : 588
224.41/143.20	c (7,0) c Exported_1 : 480
224.41/143.20	c (7,0) c Exported_2 : 817
224.41/143.20	c (7,0) c Exported_3 : 480
224.41/143.20	c (7,0) c Exported_4 : 844
224.41/143.20	c (7,0) c Exported_5 : 599
224.41/143.20	c (7,0) c Exported_6 : 917
224.41/143.20	c (7,0) c Exported_7 : 575
224.41/143.20	c (7,0) c Exported_total : 5300
224.41/143.20	c (7,0) c Exported_winner : 480
224.41/143.20	c (7,0) c Imported_0 : 0
224.41/143.20	c (7,0) c Imported_1 : 0
224.41/143.20	c (7,0) c Imported_2 : 0
224.41/143.20	c (7,0) c Imported_3 : 0
224.41/143.20	c (7,0) c Imported_4 : 0
224.41/143.20	c (7,0) c Imported_5 : 0
224.41/143.20	c (7,0) c Imported_6 : 0
224.41/143.20	c (7,0) c Imported_7 : 0
224.41/143.20	c (7,0) c Imported_total : 0
224.41/143.20	c (7,0) c Imported_winner : 0
224.41/143.20	c (7,0) c Good_0 : 0
224.41/143.20	c (7,0) c Good_1 : 0
224.41/143.20	c (7,0) c Good_2 : 0
224.41/143.20	c (7,0) c Good_3 : 0
224.41/143.20	c (7,0) c Good_4 : 0
224.41/143.20	c (7,0) c Good_5 : 0
224.41/143.20	c (7,0) c Good_6 : 0
224.41/143.20	c (7,0) c Good_7 : 0
224.41/143.20	c (7,0) c Good_total : 0
224.41/143.20	c (7,0) c Good_winner : 0
224.41/143.20	c (7,0) c Purge_0 : 0
224.41/143.20	c (7,0) c Purge_1 : 0
224.41/143.20	c (7,0) c Purge_2 : 0
224.41/143.20	c (7,0) c Purge_3 : 0
224.41/143.20	c (7,0) c Purge_4 : 0
224.41/143.20	c (7,0) c Purge_5 : 0
224.41/143.20	c (7,0) c Purge_6 : 0
224.41/143.20	c (7,0) c Purge_7 : 0
224.41/143.20	c (7,0) c Purge_total : 0
224.41/143.20	c (7,0) c Purge_winner : 0
224.41/143.20	c (7,0) c Promoted_0 : 0
224.41/143.20	c (7,0) c Promoted_1 : 0
224.41/143.20	c (7,0) c Promoted_2 : 0
224.41/143.20	c (7,0) c Promoted_3 : 0
224.41/143.20	c (7,0) c Promoted_4 : 0
224.41/143.20	c (7,0) c Promoted_5 : 0
224.41/143.20	c (7,0) c Promoted_6 : 0
224.41/143.20	c (7,0) c Promoted_7 : 0
224.41/143.20	c (7,0) c Promoted_total : 0
224.41/143.20	c (7,0) c Promoted_winner : 0
224.41/143.20	c (7,0) c Remove_Imp_0 : 0
224.41/143.20	c (7,0) c Remove_Imp_1 : 0
224.41/143.20	c (7,0) c Remove_Imp_2 : 0
224.41/143.20	c (7,0) c Remove_Imp_3 : 0
224.41/143.20	c (7,0) c Remove_Imp_4 : 0
224.41/143.20	c (7,0) c Remove_Imp_5 : 0
224.41/143.20	c (7,0) c Remove_Imp_6 : 0
224.41/143.20	c (7,0) c Remove_Imp_7 : 0
224.41/143.20	c (7,0) c Remove_Imp_total : 0
224.41/143.20	c (7,0) c Remove_Imp_winner : 0
224.41/143.20	c (7,0) c Blocked_Reuse_0 : 0
224.41/143.20	c (7,0) c Blocked_Reuse_1 : 0
224.41/143.20	c (7,0) c Blocked_Reuse_2 : 0
224.41/143.20	c (7,0) c Blocked_Reuse_3 : 0
224.41/143.20	c (7,0) c Blocked_Reuse_4 : 0
224.41/143.20	c (7,0) c Blocked_Reuse_5 : 0
224.41/143.20	c (7,0) c Blocked_Reuse_6 : 0
224.41/143.20	c (7,0) c Blocked_Reuse_7 : 0
224.41/143.20	c (7,0) c Blocked_Reuse_total : 0
224.41/143.20	c (7,0) c Blocked_Reuse_winner : 0
224.41/143.20	c (7,0) c Unaries_0 : 6
224.41/143.20	c (7,0) c Unaries_1 : 11
224.41/143.20	c (7,0) c Unaries_2 : 17
224.41/143.20	c (7,0) c Unaries_3 : 9
224.41/143.20	c (7,0) c Unaries_4 : 8
224.41/143.20	c (7,0) c Unaries_5 : 11
224.41/143.20	c (7,0) c Unaries_6 : 12
224.41/143.20	c (7,0) c Unaries_7 : 6
224.41/143.20	c (7,0) c Unaries_total : 80
224.41/143.20	c (7,0) c Unaries_winner : 9
224.41/143.20	c (7,0) c Binaries_0 : 406
224.41/143.20	c (7,0) c Binaries_1 : 304
224.41/143.20	c (7,0) c Binaries_2 : 514
224.41/143.20	c (7,0) c Binaries_3 : 288
224.41/143.20	c (7,0) c Binaries_4 : 543
224.41/143.20	c (7,0) c Binaries_5 : 392
224.41/143.20	c (7,0) c Binaries_6 : 620
224.41/143.20	c (7,0) c Binaries_7 : 348
224.41/143.20	c (7,0) c Binaries_total : 3415
224.41/143.20	c (7,0) c Binaries_winner : 288
224.41/143.20	c (7,0) c Glues_0 : 588
224.41/143.20	c (7,0) c Glues_1 : 480
224.41/143.20	c (7,0) c Glues_2 : 817
224.41/143.20	c (7,0) c Glues_3 : 480
224.41/143.20	c (7,0) c Glues_4 : 844
224.41/143.20	c (7,0) c Glues_5 : 599
224.41/143.20	c (7,0) c Glues_6 : 917
224.41/143.20	c (7,0) c Glues_7 : 575
224.41/143.20	c (7,0) c Glues_total : 5300
224.41/143.20	c (7,0) c Glues_winner : 480
224.41/143.20	c (7,0) c RunningTime_0 : 3.160045
224.41/143.20	c (7,0) c RunningTime_1 : 3.127489
224.41/143.20	c (7,0) c RunningTime_2 : 2.958479
196.57/143.20	c (7,0) c RunningTime_3 : 2.947332
196.57/143.20	c (7,0) c RunningTime_4 : 2.982213
196.57/143.20	c (7,0) c RunningTime_5 : 3.119366
196.57/143.20	c (7,0) c RunningTime_6 : 3.011997
196.57/143.20	c (7,0) c RunningTime_7 : 2.982136
196.57/143.20	c (7,0) c RunningTime_total : 24.289057
196.57/143.20	c (7,0) c RunningTime_winner : 2.947332
196.57/143.20	c (7,0) c WaitingTime_0 : 0.000000
196.57/143.20	c (7,0) c WaitingTime_1 : 0.000000
196.57/143.20	c (7,0) c WaitingTime_2 : 0.000000
196.57/143.20	c (7,0) c WaitingTime_3 : 0.000000
196.57/143.20	c (7,0) c WaitingTime_4 : 0.000000
196.57/143.20	c (7,0) c WaitingTime_5 : 0.000000
196.57/143.20	c (7,0) c WaitingTime_6 : 0.000000
196.57/143.20	c (7,0) c WaitingTime_7 : 0.000000
196.57/143.20	c (7,0) c WaitingTime_total : 0.000000
196.57/143.20	c (7,0) c WaitingTime_winner : 0.000000
196.57/143.20	c (7,0) c ExchangingTime_0 : 0.000870
196.57/143.20	c (7,0) c ExchangingTime_1 : 0.000810
196.57/143.20	c (7,0) c ExchangingTime_2 : 0.001712
196.57/143.20	c (7,0) c ExchangingTime_3 : 0.000809
196.57/143.20	c (7,0) c ExchangingTime_4 : 0.001540
196.57/143.20	c (7,0) c ExchangingTime_5 : 0.001245
196.57/143.20	c (7,0) c ExchangingTime_6 : 0.001362
196.57/143.20	c (7,0) c ExchangingTime_7 : 0.001545
196.57/143.20	c (7,0) c ExchangingTime_total : 0.009892
196.57/143.20	c (7,0) c ExchangingTime_winner : 0.000809
196.57/143.20	c (7,0) c PeriodProcTime_0 : 0.000065
196.57/143.20	c (7,0) c PeriodProcTime_1 : 0.000055
196.57/143.20	c (7,0) c PeriodProcTime_2 : 0.000074
196.57/143.20	c (7,0) c PeriodProcTime_3 : 0.000102
196.57/143.20	c (7,0) c PeriodProcTime_4 : 0.000116
196.57/143.20	c (7,0) c PeriodProcTime_5 : 0.000095
196.57/143.20	c (7,0) c PeriodProcTime_6 : 0.000108
196.57/143.20	c (7,0) c PeriodProcTime_7 : 0.000061
196.57/143.20	c (7,0) c PeriodProcTime_total : 0.000677
196.57/143.20	c (7,0) c PeriodProcTime_winner : 0.000102
196.57/143.20	c (7,0) c SolvingTime_0 : 3.160980
196.57/143.20	c (7,0) c SolvingTime_1 : 3.128354
196.57/143.20	c (7,0) c SolvingTime_2 : 2.960265
196.57/143.20	c (7,0) c SolvingTime_3 : 2.948243
196.57/143.20	c (7,0) c SolvingTime_4 : 2.983870
196.57/143.20	c (7,0) c SolvingTime_5 : 3.120706
196.57/143.20	c (7,0) c SolvingTime_6 : 3.013467
196.57/143.20	c (7,0) c SolvingTime_7 : 2.983741
196.57/143.20	c (7,0) c SolvingTime_total : 24.299626
196.57/143.20	c (7,0) c SolvingTime_winner : 2.948243
196.57/143.20	c (7,0) c PropagationTime_0 : 2.864822
196.57/143.20	c (7,0) c PropagationTime_1 : 2.800343
196.57/143.20	c (7,0) c PropagationTime_2 : 2.589487
196.57/143.20	c (7,0) c PropagationTime_3 : 2.596608
196.57/143.20	c (7,0) c PropagationTime_4 : 2.640350
196.57/143.20	c (7,0) c PropagationTime_5 : 2.745388
196.57/143.20	c (7,0) c PropagationTime_6 : 2.646117
196.57/143.20	c (7,0) c PropagationTime_7 : 2.650747
196.57/143.20	c (7,0) c PropagationTime_total : 21.533862
196.57/143.20	c (7,0) c PropagationTime_winner : 2.596608
196.57/143.20	c (7,0) c AnalysisTime_0 : 0.118136
196.57/143.20	c (7,0) c AnalysisTime_1 : 0.156514
196.57/143.20	c (7,0) c AnalysisTime_2 : 0.147813
196.57/143.20	c (7,0) c AnalysisTime_3 : 0.145201
196.57/143.20	c (7,0) c AnalysisTime_4 : 0.137031
196.57/143.20	c (7,0) c AnalysisTime_5 : 0.166464
196.57/143.20	c (7,0) c AnalysisTime_6 : 0.144413
196.57/143.20	c (7,0) c AnalysisTime_7 : 0.147174
196.57/143.20	c (7,0) c AnalysisTime_total : 1.162747
196.57/143.21	c (7,0) c AnalysisTime_winner : 0.145201
196.57/143.21	c (7,0) c ReductionTime_0 : 0.000377
196.57/143.21	c (7,0) c ReductionTime_1 : 0.000377
196.57/143.21	c (7,0) c ReductionTime_2 : 0.000379
196.57/143.21	c (7,0) c ReductionTime_3 : 0.000534
196.57/143.21	c (7,0) c ReductionTime_4 : 0.000364
196.57/143.21	c (7,0) c ReductionTime_5 : 0.000410
196.57/143.21	c (7,0) c ReductionTime_6 : 0.000423
196.57/143.21	c (7,0) c ReductionTime_7 : 0.000825
196.57/143.21	c (7,0) c ReductionTime_total : 0.003689
196.57/143.21	c (7,0) c ReductionTime_winner : 0.000534
196.57/143.21	c (7,0) c SimplifyTime_0 : 0.027759
196.57/143.21	c (7,0) c SimplifyTime_1 : 0.029597
196.57/143.21	c (7,0) c SimplifyTime_2 : 0.057052
196.57/143.21	c (7,0) c SimplifyTime_3 : 0.059184
196.57/143.21	c (7,0) c SimplifyTime_4 : 0.031838
196.57/143.21	c (7,0) c SimplifyTime_5 : 0.029145
196.57/143.21	c (7,0) c SimplifyTime_6 : 0.051022
196.57/143.21	c (7,0) c SimplifyTime_7 : 0.031655
196.57/143.21	c (7,0) c SimplifyTime_total : 0.317252
196.57/143.21	c (7,0) c SimplifyTime_winner : 0.059184
196.57/143.21	c (7,0) c UsedRateTime_0 : 0.000000
196.57/143.21	c (7,0) c UsedRateTime_1 : 0.000000
196.57/143.21	c (7,0) c UsedRateTime_2 : 0.000000
196.57/143.21	c (7,0) c UsedRateTime_3 : 0.000000
196.57/143.21	c (7,0) c UsedRateTime_4 : 0.000000
196.57/143.21	c (7,0) c UsedRateTime_5 : 0.000000
196.57/143.21	c (7,0) c UsedRateTime_6 : 0.000000
196.57/143.21	c (7,0) c UsedRateTime_7 : 0.000000
196.57/143.21	c (7,0) c UsedRateTime_total : 0.000000
196.57/143.21	c (7,0) c UsedRateTime_winner : 0.000000
196.57/143.21	c (7,0) c OverlapRateTime_0 : 0.000000
196.57/143.21	c (7,0) c OverlapRateTime_1 : 0.000000
196.57/143.21	c (7,0) c OverlapRateTime_2 : 0.000000
196.57/143.21	c (7,0) c OverlapRateTime_3 : 0.000000
196.57/143.21	c (7,0) c OverlapRateTime_4 : 0.000000
196.57/143.21	c (7,0) c OverlapRateTime_5 : 0.000000
196.57/143.21	c (7,0) c OverlapRateTime_6 : 0.000000
196.57/143.21	c (7,0) c OverlapRateTime_7 : 0.000000
196.57/143.21	c (7,0) c OverlapRateTime_total : 0.000000
196.57/143.21	c (7,0) c OverlapRateTime_winner : 0.000000
196.57/143.21	c (7,0) c
196.57/143.21	c (7,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
196.57/143.21	c (7,0) c
196.57/143.21	c (7,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
196.57/143.21	c (7,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
196.57/143.21	c (7,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
196.57/143.21	c (7,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
196.57/143.21	c (7,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
196.57/143.21	c (7,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
196.57/143.21	c (7,0) c | Initial random_seed   |  896221773 |  385234098 |  524758921 | 1761022727 |  509404796 |  487165691 | 1890581397 |  695981072 |
196.57/143.21	c (7,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
196.57/143.21	c (7,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
196.57/143.21	c (7,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
196.57/143.21	c (7,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
196.57/143.21	c (7,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
196.57/143.21	c (7,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
196.57/143.21	c (7,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
196.57/143.21	c (7,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
196.57/143.21	c (7,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
196.57/143.21	c (7,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
196.57/143.21	c (7,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
196.57/143.21	c (7,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
196.57/143.21	c (7,0) 
196.57/143.21	c (7,0) s UNSATISFIABLE
196.57/143.25	c (7,0) SatSolver.solve End
196.57/143.25	c (7,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
196.57/143.25	c (7,0) Show results Begin
196.57/143.25	s UNSATISFIABLE
196.57/143.25	c (7,0) Show results End
196.57/143.25	c (7,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
196.57/143.25	c (7,0) 7,7,STOP-AFTER(ALL)
196.57/143.25	c END-Prog: Sat Sep 14 09:40:20 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 (15220 MiB free)
  memory of node 1: 16384 MiB (15498 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392614-1568446716/watcher-4392614-1568446716 -o /tmp/evaluation-result-4392614-1568446716/solver-4392614-1568446716 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node133-1568439804-25815 --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-4392614-1568446716.xml 

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

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


[startup+0.100059 s]*
/proc/loadavg: 1.51 5.42 7.20 3/217 27630
/proc/meminfo: memFree=31360708/32770624 swapFree=67004168/67108860
[pid=27608] ppid=27605 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/27608/stat : 27608 (scop.sh) S 27605 27608 25788 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 420911229 115843072 349 33554432000 4194304 5098028 140727585285408 140727585282664 139975625437820 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 28082176 140727585288996 140727585289324 140727585289324 140727585292237 0
/proc/27608/statm: 28282 349 296 221 0 87 0
[pid=27611] ppid=27608 vsize=27314120 memory=106360 CPUtime=0.11 cores=0-7
/proc/27611/stat : 27611 (java) S 27608 27608 25788 0 -1 1077944320 6680 0 0 0 8 3 0 0 20 0 20 0 420911229 27969658880 26590 33554432000 4194304 4196468 140737196141376 140737196123920 140177476456183 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 9068544 140737196147434 140737196147862 140737196147862 140737196150735 0
/proc/27611/statm: 6828530 26590 2799 1 0 6790935 0
[pid=27611/tid=27612] ppid=27608 vsize=27314120 memory=4134930498285298233 CPUtime=0.08 cores=0-7
/proc/27611/task/27612/stat : 27612 (java) R 27608 27608 25788 0 -1 4202560 4777 0 0 0 6 2 0 0 20 0 20 0 420911229 27969658880 26590 33554432000 4194304 4196468 140737196141376 140177448269424 140177460499813 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9068544 140737196147434 140737196147862 140737196147862 140737196150735 0
[pid=27611/tid=27613] ppid=27608 vsize=27314120 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/27611/task/27613/stat : 27613 (java) S 27608 27608 25788 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420911232 27969658880 26590 33554432000 4194304 4196468 140737196141376 140177480698640 140177476466389 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9068544 140737196147434 140737196147862 140737196147862 140737196150735 0
[pid=27611/tid=27614] ppid=27608 vsize=27314120 memory=140399236515456 CPUtime=0 cores=0-7
/proc/27611/task/27614/stat : 27614 (java) S 27608 27608 25788 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420911232 27969658880 26590 33554432000 4194304 4196468 140737196141376 140176898644880 140177476466389 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9068544 140737196147434 140737196147862 140737196147862 140737196150735 0
[pid=27611/tid=27615] ppid=27608 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/27611/task/27615/stat : 27615 (java) S 27608 27608 25788 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420911232 27969658880 26590 33554432000 4194304 4196468 140737196141376 140176897592336 140177476466389 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9068544 140737196147434 140737196147862 140737196147862 140737196150735 0
[pid=27611/tid=27616] ppid=27608 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/27611/task/27616/stat : 27616 (java) S 27608 27608 25788 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420911232 27969658880 26590 33554432000 4194304 4196468 140737196141376 140176896539792 140177476466389 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9068544 140737196147434 140737196147862 140737196147862 140737196150735 0
[pid=27611/tid=27617] ppid=27608 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/27611/task/27617/stat : 27617 (java) S 27608 27608 25788 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420911232 27969658880 26590 33554432000 4194304 4196468 140737196141376 140176895486224 140177476466389 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9068544 140737196147434 140737196147862 140737196147862 140737196150735 0
[pid=27611/tid=27618] ppid=27608 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/27611/task/27618/stat : 27618 (java) S 27608 27608 25788 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420911232 27969658880 26590 33554432000 4194304 4196468 140737196141376 140176894433680 140177476466389 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9068544 140737196147434 140737196147862 140737196147862 140737196150735 0
[pid=27611/tid=27619] ppid=27608 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/27611/task/27619/stat : 27619 (java) S 27608 27608 25788 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420911232 27969658880 26590 33554432000 4194304 4196468 140737196141376 140176893381136 140177476466389 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9068544 140737196147434 140737196147862 140737196147862 140737196150735 0
[pid=27611/tid=27620] ppid=27608 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/27611/task/27620/stat : 27620 (java) S 27608 27608 25788 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420911232 27969658880 26590 33554432000 4194304 4196468 140737196141376 140176892328592 140177476466389 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9068544 140737196147434 140737196147862 140737196147862 140737196150735 0
[pid=27611/tid=27621] ppid=27608 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/27611/task/27621/stat : 27621 (java) S 27608 27608 25788 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420911233 27969658880 26590 33554432000 4194304 4196468 140737196141376 140176601856496 140177476467330 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9068544 140737196147434 140737196147862 140737196147862 140737196150735 0
[pid=27611/tid=27622] ppid=27608 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/27611/task/27622/stat : 27622 (java) S 27608 27608 25788 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 420911234 27969658880 26590 33554432000 4194304 4196468 140737196141376 140175451612576 140177476466389 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9068544 140737196147434 140737196147862 140737196147862 140737196150735 0
[pid=27611/tid=27623] ppid=27608 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/27611/task/27623/stat : 27623 (java) S 27608 27608 25788 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420911234 27969658880 26590 33554432000 4194304 4196468 140737196141376 140175183177200 140177476466389 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9068544 140737196147434 140737196147862 140737196147862 140737196150735 0
[pid=27611/tid=27624] ppid=27608 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/27611/task/27624/stat : 27624 (java) S 27608 27608 25788 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420911237 27969658880 26590 33554432000 4194304 4196468 140737196141376 140174808668880 140177476474779 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9068544 140737196147434 140737196147862 140737196147862 140737196150735 0
[pid=27611/tid=27625] ppid=27608 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/27611/task/27625/stat : 27625 (java) S 27608 27608 25788 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 20 0 420911237 27969658880 26590 33554432000 4194304 4196468 140737196141376 140176600803312 140177476467330 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9068544 140737196147434 140737196147862 140737196147862 140737196150735 0
[pid=27611/tid=27626] ppid=27608 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/27611/task/27626/stat : 27626 (java) S 27608 27608 25788 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420911237 27969658880 26590 33554432000 4194304 4196468 140737196141376 140176599750768 140177476467330 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9068544 140737196147434 140737196147862 140737196147862 140737196150735 0
[pid=27611/tid=27627] ppid=27608 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/27611/task/27627/stat : 27627 (java) S 27608 27608 25788 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420911237 27969658880 26590 33554432000 4194304 4196468 140737196141376 140176598698224 140177476467330 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9068544 140737196147434 140737196147862 140737196147862 140737196150735 0
[pid=27611/tid=27628] ppid=27608 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/27611/task/27628/stat : 27628 (java) S 27608 27608 25788 0 -1 1077944384 259 0 0 0 0 0 0 0 20 0 20 0 420911237 27969658880 26590 33554432000 4194304 4196468 140737196141376 140176597645680 140177476467330 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9068544 140737196147434 140737196147862 140737196147862 140737196150735 0
[pid=27611/tid=27629] ppid=27608 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/27611/task/27629/stat : 27629 (java) S 27608 27608 25788 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420911237 27969658880 26590 33554432000 4194304 4196468 140737196141376 140174310763232 140177476466389 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9068544 140737196147434 140737196147862 140737196147862 140737196150735 0
[pid=27611/tid=27630] ppid=27608 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/27611/task/27630/stat : 27630 (java) S 27608 27608 25788 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420911237 27969658880 27102 33554432000 4194304 4196468 140737196141376 140176596593584 140177476467330 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9068544 140737196147434 140737196147862 140737196147862 140737196150735 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 107756 KiB

[startup+0.211491 s]*
/proc/loadavg: 1.51 5.42 7.20 2/217 27630
/proc/meminfo: memFree=31342008/32770624 swapFree=67004168/67108860
[pid=27608] ppid=27605 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/27608/stat : 27608 (scop.sh) S 27605 27608 25788 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 420911229 115843072 349 33554432000 4194304 5098028 140727585285408 140727585282664 139975625437820 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 28082176 140727585288996 140727585289324 140727585289324 140727585292237 0
/proc/27608/statm: 28282 349 296 221 0 87 0
[pid=27611] ppid=27608 vsize=27314120 memory=123344 CPUtime=0.25 cores=0-7
/proc/27611/stat : 27611 (java) S 27608 27608 25788 0 -1 1077944320 11549 0 0 0 20 5 0 0 20 0 20 0 420911229 27969658880 30836 33554432000 4194304 4196468 140737196141376 140737196123920 140177476456183 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 9068544 140737196147434 140737196147862 140737196147862 140737196150735 0
/proc/27611/statm: 6828530 30836 2917 1 0 6790935 0
[pid=27611/tid=27612] ppid=27608 vsize=27314120 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/27611/task/27612/stat : 27612 (java) R 27608 27608 25788 0 -1 4202560 9257 0 0 0 16 4 0 0 20 0 20 0 420911229 27969658880 30836 33554432000 4194304 4196468 140737196141376 140177448269616 140177476478109 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9068544 140737196147434 140737196147862 140737196147862 140737196150735 0
[pid=27611/tid=27613] ppid=27608 vsize=27314120 memory=331 CPUtime=0 cores=0-7
/proc/27611/task/27613/stat : 27613 (java) S 27608 27608 25788 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420911232 27969658880 30836 33554432000 4194304 4196468 140737196141376 140177480698640 140177476466389 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9068544 140737196147434 140737196147862 140737196147862 140737196150735 0
[pid=27611/tid=27614] ppid=27608 vsize=27314120 memory=3977718499188573856 CPUtime=0 cores=0-7
/proc/27611/task/27614/stat : 27614 (java) S 27608 27608 25788 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420911232 27969658880 30836 33554432000 4194304 4196468 140737196141376 140176898644880 140177476466389 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9068544 140737196147434 140737196147862 140737196147862 140737196150735 0
[pid=27611/tid=27615] ppid=27608 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/27611/task/27615/stat : 27615 (java) S 27608 27608 25788 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420911232 27969658880 30836 33554432000 4194304 4196468 140737196141376 140176897592336 140177476466389 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9068544 140737196147434 140737196147862 140737196147862 140737196150735 0
[pid=27611/tid=27616] ppid=27608 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/27611/task/27616/stat : 27616 (java) S 27608 27608 25788 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420911232 27969658880 30836 33554432000 4194304 4196468 140737196141376 140176896539792 140177476466389 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9068544 140737196147434 140737196147862 140737196147862 140737196150735 0
[pid=27611/tid=27617] ppid=27608 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/27611/task/27617/stat : 27617 (java) S 27608 27608 25788 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420911232 27969658880 30836 33554432000 4194304 4196468 140737196141376 140176895486224 140177476466389 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9068544 140737196147434 140737196147862 140737196147862 140737196150735 0
[pid=27611/tid=27618] ppid=27608 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/27611/task/27618/stat : 27618 (java) S 27608 27608 25788 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420911232 27969658880 30836 33554432000 4194304 4196468 140737196141376 140176894433680 140177476466389 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9068544 140737196147434 140737196147862 140737196147862 140737196150735 0
[pid=27611/tid=27619] ppid=27608 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/27611/task/27619/stat : 27619 (java) S 27608 27608 25788 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420911232 27969658880 30836 33554432000 4194304 4196468 140737196141376 140176893381136 140177476466389 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9068544 140737196147434 140737196147862 140737196147862 140737196150735 0
[pid=27611/tid=27620] ppid=27608 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/27611/task/27620/stat : 27620 (java) S 27608 27608 25788 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420911232 27969658880 30836 33554432000 4194304 4196468 140737196141376 140176892328592 140177476466389 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9068544 140737196147434 140737196147862 140737196147862 140737196150735 0
[pid=27611/tid=27621] ppid=27608 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/27611/task/27621/stat : 27621 (java) S 27608 27608 25788 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420911233 27969658880 30836 33554432000 4194304 4196468 140737196141376 140176601856496 140177476467330 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9068544 140737196147434 140737196147862 140737196147862 140737196150735 0
[pid=27611/tid=27622] ppid=27608 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/27611/task/27622/stat : 27622 (java) S 27608 27608 25788 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 420911234 27969658880 30836 33554432000 4194304 4196468 140737196141376 140175451612576 140177476466389 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9068544 140737196147434 140737196147862 140737196147862 140737196150735 0
[pid=27611/tid=27623] ppid=27608 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/27611/task/27623/stat : 27623 (java) S 27608 27608 25788 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420911234 27969658880 30836 33554432000 4194304 4196468 140737196141376 140175183177200 140177476466389 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9068544 140737196147434 140737196147862 140737196147862 140737196150735 0
[pid=27611/tid=27624] ppid=27608 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/27611/task/27624/stat : 27624 (java) S 27608 27608 25788 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420911237 27969658880 30836 33554432000 4194304 4196468 140737196141376 140174808668880 140177476474779 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9068544 140737196147434 140737196147862 140737196147862 140737196150735 0
[pid=27611/tid=27625] ppid=27608 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/27611/task/27625/stat : 27625 (java) S 27608 27608 25788 0 -1 1077944384 338 0 0 0 0 0 0 0 20 0 20 0 420911237 27969658880 30836 33554432000 4194304 4196468 140737196141376 140176600803312 140177476467330 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9068544 140737196147434 140737196147862 140737196147862 140737196150735 0
[pid=27611/tid=27626] ppid=27608 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/27611/task/27626/stat : 27626 (java) S 27608 27608 25788 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 20 0 420911237 27969658880 30836 33554432000 4194304 4196468 140737196141376 140176599750768 140177476467330 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9068544 140737196147434 140737196147862 140737196147862 140737196150735 0
[pid=27611/tid=27627] ppid=27608 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/27611/task/27627/stat : 27627 (java) S 27608 27608 25788 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 20 0 420911237 27969658880 30836 33554432000 4194304 4196468 140737196141376 140176598698224 140177476467330 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9068544 140737196147434 140737196147862 140737196147862 140737196150735 0
[pid=27611/tid=27628] ppid=27608 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7
/proc/27611/task/27628/stat : 27628 (java) S 27608 27608 25788 0 -1 1077944384 474 0 0 0 2 0 0 0 20 0 20 0 420911237 27969658880 30836 33554432000 4194304 4196468 140737196141376 140176597645680 140177476467330 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9068544 140737196147434 140737196147862 140737196147862 140737196150735 0
[pid=27611/tid=27629] ppid=27608 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/27611/task/27629/stat : 27629 (java) S 27608 27608 25788 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420911237 27969658880 30836 33554432000 4194304 4196468 140737196141376 140174310763232 140177476466389 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9068544 140737196147434 140737196147862 140737196147862 140737196150735 0
[pid=27611/tid=27630] ppid=27608 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/27611/task/27630/stat : 27630 (java) S 27608 27608 25788 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420911237 27969658880 30836 33554432000 4194304 4196468 140737196141376 140176596593584 140177476467330 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9068544 140737196147434 140737196147862 140737196147862 140737196150735 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 124740 KiB

[startup+0.310716 s]*
/proc/loadavg: 1.51 5.42 7.20 2/217 27630
/proc/meminfo: memFree=31338956/32770624 swapFree=67004168/67108860
[pid=27608] ppid=27605 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/27608/stat : 27608 (scop.sh) S 27605 27608 25788 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 420911229 115843072 349 33554432000 4194304 5098028 140727585285408 140727585282664 139975625437820 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 28082176 140727585288996 140727585289324 140727585289324 140727585292237 0
/proc/27608/statm: 28282 349 296 221 0 87 0
[pid=27611] ppid=27608 vsize=27314120 memory=127408 CPUtime=0.43 cores=0-7
/proc/27611/stat : 27611 (java) S 27608 27608 25788 0 -1 1077944320 12771 0 0 0 37 6 0 0 20 0 20 0 420911229 27969658880 31852 33554432000 4194304 4196468 140737196141376 140737196123920 140177476456183 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 9068544 140737196147434 140737196147862 140737196147862 140737196150735 0
/proc/27611/statm: 6828530 31852 3016 1 0 6790935 0
[pid=27611/tid=27612] ppid=27608 vsize=27314120 memory=6791534058613427641 CPUtime=0.3 cores=0-7
/proc/27611/task/27612/stat : 27612 (java) R 27608 27608 25788 0 -1 4202560 10273 0 0 0 25 5 0 0 20 0 20 0 420911229 27969658880 31852 33554432000 4194304 4196468 140737196141376 140177448286256 140177457849914 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9068544 140737196147434 140737196147862 140737196147862 140737196150735 0
[pid=27611/tid=27613] ppid=27608 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/27611/task/27613/stat : 27613 (java) S 27608 27608 25788 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420911232 27969658880 31852 33554432000 4194304 4196468 140737196141376 140177480698640 140177476466389 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9068544 140737196147434 140737196147862 140737196147862 140737196150735 0
[pid=27611/tid=27614] ppid=27608 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/27611/task/27614/stat : 27614 (java) S 27608 27608 25788 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420911232 27969658880 31852 33554432000 4194304 4196468 140737196141376 140176898644880 140177476466389 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9068544 140737196147434 140737196147862 140737196147862 140737196150735 0
[pid=27611/tid=27615] ppid=27608 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/27611/task/27615/stat : 27615 (java) S 27608 27608 25788 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420911232 27969658880 31852 33554432000 4194304 4196468 140737196141376 140176897592336 140177476466389 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9068544 140737196147434 140737196147862 140737196147862 140737196150735 0
[pid=27611/tid=27616] ppid=27608 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/27611/task/27616/stat : 27616 (java) S 27608 27608 25788 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420911232 27969658880 31852 33554432000 4194304 4196468 140737196141376 140176896539792 140177476466389 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9068544 140737196147434 140737196147862 140737196147862 140737196150735 0
[pid=27611/tid=27617] ppid=27608 vsize=27314120 memory=2244 CPUtime=0 cores=0-7
/proc/27611/task/27617/stat : 27617 (java) S 27608 27608 25788 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420911232 27969658880 31852 33554432000 4194304 4196468 140737196141376 140176895486224 140177476466389 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9068544 140737196147434 140737196147862 140737196147862 140737196150735 0
[pid=27611/tid=27618] ppid=27608 vsize=27314120 memory=140399125558191 CPUtime=0 cores=0-7
/proc/27611/task/27618/stat : 27618 (java) S 27608 27608 25788 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420911232 27969658880 31852 33554432000 4194304 4196468 140737196141376 140176894433680 140177476466389 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9068544 140737196147434 140737196147862 140737196147862 140737196150735 0
[pid=27611/tid=27619] ppid=27608 vsize=27314120 memory=140399125560496 CPUtime=0 cores=0-7
/proc/27611/task/27619/stat : 27619 (java) S 27608 27608 25788 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420911232 27969658880 31852 33554432000 4194304 4196468 140737196141376 140176893381136 140177476466389 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9068544 140737196147434 140737196147862 140737196147862 140737196150735 0
[pid=27611/tid=27620] ppid=27608 vsize=27314120 memory=140399125562800 CPUtime=0 cores=0-7
/proc/27611/task/27620/stat : 27620 (java) S 27608 27608 25788 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420911232 27969658880 31852 33554432000 4194304 4196468 140737196141376 140176892328592 140177476466389 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9068544 140737196147434 140737196147862 140737196147862 140737196150735 0
[pid=27611/tid=27621] ppid=27608 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/27611/task/27621/stat : 27621 (java) S 27608 27608 25788 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420911233 27969658880 31852 33554432000 4194304 4196468 140737196141376 140176601856496 140177476467330 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9068544 140737196147434 140737196147862 140737196147862 140737196150735 0
[pid=27611/tid=27622] ppid=27608 vsize=27314120 memory=280798251132560 CPUtime=0 cores=0-7
/proc/27611/task/27622/stat : 27622 (java) S 27608 27608 25788 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 420911234 27969658880 31852 33554432000 4194304 4196468 140737196141376 140175451612576 140177476466389 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9068544 140737196147434 140737196147862 140737196147862 140737196150735 0
[pid=27611/tid=27623] ppid=27608 vsize=27314120 memory=280798251139472 CPUtime=0 cores=0-7
/proc/27611/task/27623/stat : 27623 (java) S 27608 27608 25788 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420911234 27969658880 31852 33554432000 4194304 4196468 140737196141376 140175183177200 140177476466389 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9068544 140737196147434 140737196147862 140737196147862 140737196150735 0
[pid=27611/tid=27624] ppid=27608 vsize=27314120 memory=280798251080752 CPUtime=0 cores=0-7
/proc/27611/task/27624/stat : 27624 (java) S 27608 27608 25788 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420911237 27969658880 31852 33554432000 4194304 4196468 140737196141376 140174808668880 140177476474779 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9068544 140737196147434 140737196147862 140737196147862 140737196150735 0
[pid=27611/tid=27625] ppid=27608 vsize=27314120 memory=280798251153296 CPUtime=0 cores=0-7
/proc/27611/task/27625/stat : 27625 (java) R 27608 27608 25788 0 -1 4202560 360 0 0 0 0 0 0 0 20 0 20 0 420911237 27969658880 31852 33554432000 4194304 4196468 140737196141376 140176600803312 140177468693310 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9068544 140737196147434 140737196147862 140737196147862 140737196150735 0
[pid=27611/tid=27626] ppid=27608 vsize=27314120 memory=280798251160208 CPUtime=0.01 cores=0-7
/proc/27611/task/27626/stat : 27626 (java) S 27608 27608 25788 0 -1 1077944384 169 0 0 0 1 0 0 0 20 0 20 0 420911237 27969658880 31852 33554432000 4194304 4196468 140737196141376 140176599750768 140177476467330 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9068544 140737196147434 140737196147862 140737196147862 140737196150735 0
[pid=27611/tid=27627] ppid=27608 vsize=27314120 memory=280798251157904 CPUtime=0.01 cores=0-7
/proc/27611/task/27627/stat : 27627 (java) S 27608 27608 25788 0 -1 1077944384 107 0 0 0 1 0 0 0 20 0 20 0 420911237 27969658880 31852 33554432000 4194304 4196468 140737196141376 140176598698224 140177476467330 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9068544 140737196147434 140737196147862 140737196147862 140737196150735 0
[pid=27611/tid=27628] ppid=27608 vsize=27314120 memory=280798251174064 CPUtime=0.07 cores=0-7
/proc/27611/task/27628/stat : 27628 (java) S 27608 27608 25788 0 -1 1077944384 525 0 0 0 7 0 0 0 20 0 20 0 420911237 27969658880 31852 33554432000 4194304 4196468 140737196141376 140176597645680 140177476467330 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9068544 140737196147434 140737196147862 140737196147862 140737196150735 0
[pid=27611/tid=27629] ppid=27608 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/27611/task/27629/stat : 27629 (java) S 27608 27608 25788 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420911237 27969658880 31852 33554432000 4194304 4196468 140737196141376 140174310763232 140177476466389 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9068544 140737196147434 140737196147862 140737196147862 140737196150735 0
[pid=27611/tid=27630] ppid=27608 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/27611/task/27630/stat : 27630 (java) S 27608 27608 25788 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420911237 27969658880 31852 33554432000 4194304 4196468 140737196141376 140176596593584 140177476467330 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9068544 140737196147434 140737196147862 140737196147862 140737196150735 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 128804 KiB

[startup+0.706688 s]
/proc/loadavg: 1.51 5.42 7.20 2/217 27630
/proc/meminfo: memFree=31316272/32770624 swapFree=67004168/67108860
[pid=27608] ppid=27605 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/27608/stat : 27608 (scop.sh) S 27605 27608 25788 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 420911229 115843072 349 33554432000 4194304 5098028 140727585285408 140727585282664 139975625437820 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 28082176 140727585288996 140727585289324 140727585289324 140727585292237 0
/proc/27608/statm: 28282 349 296 221 0 87 0
[pid=27611] ppid=27608 vsize=27322516 memory=165884 CPUtime=1.03 cores=0-7
/proc/27611/stat : 27611 (java) S 27608 27608 25788 0 -1 1077944320 20616 0 0 0 94 9 0 0 20 0 20 0 420911229 27978256384 41471 33554432000 4194304 4196468 140737196141376 140737196123920 140177476456183 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 9068544 140737196147434 140737196147862 140737196147862 140737196150735 0
/proc/27611/statm: 6830629 41471 3182 1 0 6791959 0
[pid=27611/tid=27612] ppid=27608 vsize=27322516 memory=280798251531952 CPUtime=0.68 cores=0-7
/proc/27611/task/27612/stat : 27612 (java) R 27608 27608 25788 0 -1 4202560 17503 0 0 0 61 7 0 0 20 0 20 0 420911229 27978256384 41471 33554432000 4194304 4196468 140737196141376 140177448287920 140177468693310 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9068544 140737196147434 140737196147862 140737196147862 140737196150735 0
[pid=27611/tid=27613] ppid=27608 vsize=27322516 memory=140399125767024 CPUtime=0 cores=0-7
/proc/27611/task/27613/stat : 27613 (java) S 27608 27608 25788 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420911232 27978256384 41471 33554432000 4194304 4196468 140737196141376 140177480698640 140177476466389 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9068544 140737196147434 140737196147862 140737196147862 140737196150735 0
[pid=27611/tid=27614] ppid=27608 vsize=27322516 memory=0 CPUtime=0 cores=0-7
/proc/27611/task/27614/stat : 27614 (java) S 27608 27608 25788 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420911232 27978256384 41471 33554432000 4194304 4196468 140737196141376 140176898644880 140177476466389 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9068544 140737196147434 140737196147862 140737196147862 140737196150735 0
[pid=27611/tid=27615] ppid=27608 vsize=27322516 memory=2832 CPUtime=0 cores=0-7
/proc/27611/task/27615/stat : 27615 (java) S 27608 27608 25788 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420911232 27978256384 41471 33554432000 4194304 4196468 140737196141376 140176897592336 140177476466389 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9068544 140737196147434 140737196147862 140737196147862 140737196150735 0

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

/proc/27647/task/27661/stat : 27661 (java) S 27608 27608 25788 0 -1 1077944384 590 0 0 0 7 0 0 0 20 0 24 0 420924758 8616062976 30317 33554432000 4194304 4196468 140732622809872 139871550454256 139872458021506 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33665024 140732622812151 140732622812310 140732622812310 140732622815183 0
[pid=27647/tid=27662] ppid=27608 vsize=8414124 memory=121268 CPUtime=0.09 cores=0-7
/proc/27647/task/27662/stat : 27662 (java) S 27608 27608 25788 0 -1 1077944384 451 0 0 0 9 0 0 0 20 0 24 0 420924758 8616062976 30317 33554432000 4194304 4196468 140732622809872 139871549401712 139872458021506 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33665024 140732622812151 140732622812310 140732622812310 140732622815183 0
[pid=27647/tid=27663] ppid=27608 vsize=8414124 memory=1110572 CPUtime=0.08 cores=0-7
/proc/27647/task/27663/stat : 27663 (java) S 27608 27608 25788 0 -1 1077944384 329 0 0 0 8 0 0 0 20 0 24 0 420924758 8616062976 30317 33554432000 4194304 4196468 140732622809872 139871548349168 139872458021506 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33665024 140732622812151 140732622812310 140732622812310 140732622815183 0
[pid=27647/tid=27664] ppid=27608 vsize=8414124 memory=1396 CPUtime=0.23 cores=0-7
/proc/27647/task/27664/stat : 27664 (java) S 27608 27608 25788 0 -1 1077944384 602 0 0 0 23 0 0 0 20 0 24 0 420924758 8616062976 30317 33554432000 4194304 4196468 140732622809872 139871547296624 139872458021506 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33665024 140732622812151 140732622812310 140732622812310 140732622815183 0
[pid=27647/tid=27665] ppid=27608 vsize=8414124 memory=9869576 CPUtime=0 cores=0-7
/proc/27647/task/27665/stat : 27665 (java) S 27608 27608 25788 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 420924758 8616062976 30317 33554432000 4194304 4196468 140732622809872 139870039173344 139872458020565 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33665024 140732622812151 140732622812310 140732622812310 140732622815183 0
[pid=27647/tid=27666] ppid=27608 vsize=8414124 memory=1226 CPUtime=0 cores=0-7
/proc/27647/task/27666/stat : 27666 (java) S 27608 27608 25788 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 420924758 8616062976 30317 33554432000 4194304 4196468 140732622809872 139871546243504 139872458021506 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33665024 140732622812151 140732622812310 140732622812310 140732622815183 0
[pid=27647/tid=27668] ppid=27608 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/27647/task/27668/stat : 27668 (java) S 27608 27608 25788 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 420924830 8616062976 30317 33554432000 4194304 4196468 140732622809872 139871538209984 139872458034969 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 33665024 140732622812151 140732622812310 140732622812310 140732622815183 0
[pid=27647/tid=27670] ppid=27608 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/27647/task/27670/stat : 27670 (java) S 27608 27608 25788 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 420924830 8616062976 30317 33554432000 4194304 4196468 140732622809872 139869368074000 139872458032285 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 33665024 140732622812151 140732622812310 140732622812310 140732622815183 0
[pid=27647/tid=27671] ppid=27608 vsize=8414124 memory=1440 CPUtime=0 cores=0-7
/proc/27647/task/27671/stat : 27671 (java) S 27608 27608 25788 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 420924830 8616062976 30317 33554432000 4194304 4196468 140732622809872 139869636509584 139872458032285 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 33665024 140732622812151 140732622812310 140732622812310 140732622815183 0
[pid=27647/tid=27672] ppid=27608 vsize=8414124 memory=1984 CPUtime=0 cores=0-7
/proc/27647/task/27672/stat : 27672 (java) S 27608 27608 25788 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 24 0 420924832 8616062976 30317 33554432000 4194304 4196468 140732622809872 139869099646640 139872458020565 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33665024 140732622812151 140732622812310 140732622812310 140732622815183 0
Current children cumulated CPU time: 219.27 s
Current children cumulated vsize: 10232416 KiB
Current children cumulated memory: 1239368 KiB

[startup+142.802 s]
/proc/loadavg: 0.88 3.70 6.31 9/230 27681
/proc/meminfo: memFree=30200536/32770624 swapFree=67004168/67108860
[pid=27608] ppid=27605 vsize=113128 memory=1476 CPUtime=195.21 cores=0-7
/proc/27608/stat : 27608 (scop.sh) S 27605 27608 25788 0 -1 4202496 583 93424 0 0 0 0 18355 1166 20 0 1 0 420911229 115843072 369 33554432000 4194304 5098028 140727585285408 140727585282152 139975625437820 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 28082176 140727585288996 140727585289324 140727585289324 140727585292237 0
/proc/27608/statm: 28282 369 311 221 0 87 0
[pid=27647] ppid=27608 vsize=8414124 memory=121268 CPUtime=1.33 cores=0-7
/proc/27647/stat : 27647 (java) S 27608 27608 25788 0 -1 1077944320 20899 0 0 0 124 9 0 0 20 0 24 0 420924751 8616062976 30317 33554432000 4194304 4196468 140732622809872 140732622792416 139872458010359 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 33665024 140732622812151 140732622812310 140732622812310 140732622815183 0
/proc/27647/statm: 2103531 30317 3203 1 0 2064875 0
[pid=27667] ppid=27647 vsize=1705428 memory=1118184 CPUtime=25.9 cores=0-7
/proc/27667/stat : 27667 (manyglucose-4.1) S 27647 27608 25788 0 -1 1077944320 473728 0 0 0 2476 114 0 0 20 0 9 0 420924830 1746358272 279534 33554432000 4194304 4454172 140722141753680 140722141752080 139963566475906 0 4 0 8388610 18446744073709551615 0 0 17 7 0 0 0 0 0 6552832 6554400 15454208 140722141758313 140722141758512 140722141758512 140722141761466 0
/proc/27667/statm: 426357 279546 407 64 0 422025 0
[pid=27667/tid=27674] ppid=27647 vsize=1705428 memory=12024 CPUtime=2.73 cores=0-7
/proc/27667/task/27674/stat : 27674 (manyglucose-4.1) R 27647 27608 25788 0 -1 4202560 33000 0 0 0 260 13 0 0 20 0 9 0 420925232 1746358272 279546 33554432000 4194304 4454172 140722141753680 139962941156136 4332642 0 4 0 8388610 0 0 0 -1 2 0 0 0 0 0 6552832 6554400 15454208 140722141758313 140722141758512 140722141758512 140722141761466 0
[pid=27667/tid=27675] ppid=27647 vsize=1705428 memory=2116 CPUtime=2.73 cores=0-7
/proc/27667/task/27675/stat : 27675 (manyglucose-4.1) R 27647 27608 25788 0 -1 4202560 33870 0 0 0 254 19 0 0 20 0 9 0 420925232 1746358272 279546 33554432000 4194304 4454172 140722141753680 139962932763752 4351099 0 4 0 8388610 0 0 0 -1 6 0 0 0 0 0 6552832 6554400 15454208 140722141758313 140722141758512 140722141758512 140722141761466 0
[pid=27667/tid=27676] ppid=27647 vsize=1705428 memory=21928 CPUtime=2.73 cores=0-7
/proc/27667/task/27676/stat : 27676 (manyglucose-4.1) R 27647 27608 25788 0 -1 4202560 32539 0 0 0 270 3 0 0 20 0 9 0 420925232 1746358272 279546 33554432000 4194304 4454172 140722141753680 139962924371048 4350930 0 4 0 8388610 0 0 0 -1 1 0 0 0 0 0 6552832 6554400 15454208 140722141758313 140722141758512 140722141758512 140722141761466 0
[pid=27667/tid=27677] ppid=27647 vsize=1705428 memory=496 CPUtime=2.73 cores=0-7
/proc/27667/task/27677/stat : 27677 (manyglucose-4.1) R 27647 27608 25788 0 -1 4202560 31169 0 0 0 255 18 0 0 20 0 9 0 420925232 1746358272 279546 33554432000 4194304 4454172 140722141753680 139962915978344 4333016 0 4 0 8388610 0 0 0 -1 4 0 0 0 0 0 6552832 6554400 15454208 140722141758313 140722141758512 140722141758512 140722141761466 0
[pid=27667/tid=27678] ppid=27647 vsize=1705428 memory=1564 CPUtime=2.74 cores=0-7
/proc/27667/task/27678/stat : 27678 (manyglucose-4.1) R 27647 27608 25788 0 -1 4202560 32331 0 0 0 271 3 0 0 20 0 9 0 420925232 1746358272 279546 33554432000 4194304 4454172 140722141753680 139962907585640 139963551836631 0 4 0 8388610 0 0 0 -1 5 0 0 0 0 0 6552832 6554400 15454208 140722141758313 140722141758512 140722141758512 140722141761466 0
[pid=27667/tid=27679] ppid=27647 vsize=1705428 memory=928 CPUtime=2.67 cores=0-7
/proc/27667/task/27679/stat : 27679 (manyglucose-4.1) R 27647 27608 25788 0 -1 4202560 31621 0 0 0 265 2 0 0 20 0 9 0 420925232 1746358272 279546 33554432000 4194304 4454172 140722141753680 139962899193000 4350933 0 4 0 8388610 0 0 0 -1 7 0 0 0 0 0 6552832 6554400 15454208 140722141758313 140722141758512 140722141758512 140722141761466 0
[pid=27667/tid=27680] ppid=27647 vsize=1705428 memory=1744 CPUtime=2.74 cores=0-7
/proc/27667/task/27680/stat : 27680 (manyglucose-4.1) R 27647 27608 25788 0 -1 4202560 32539 0 0 0 271 3 0 0 20 0 9 0 420925232 1746358272 279546 33554432000 4194304 4454172 140722141753680 139962890800232 4351099 0 4 0 8388610 0 0 0 -1 3 0 0 0 0 0 6552832 6554400 15454208 140722141758313 140722141758512 140722141758512 140722141761466 0
[pid=27667/tid=27681] ppid=27647 vsize=1705428 memory=792 CPUtime=2.72 cores=0-7
/proc/27667/task/27681/stat : 27681 (manyglucose-4.1) R 27647 27608 25788 0 -1 4202560 32346 0 0 0 256 16 0 0 20 0 9 0 420925232 1746358272 279546 33554432000 4194304 4454172 140722141753680 139962748189800 4351334 0 4 0 8388610 0 0 0 -1 0 0 0 0 0 0 6552832 6554400 15454208 140722141758313 140722141758512 140722141758512 140722141761466 0
[pid=27647/tid=27648] ppid=27608 vsize=8414124 memory=1440 CPUtime=0.81 cores=0-7
/proc/27647/task/27648/stat : 27648 (java) S 27608 27608 25788 0 -1 1077944384 17504 0 0 0 74 7 0 0 20 0 24 0 420924751 8616062976 30317 33554432000 4194304 4196468 140732622809872 139872429850528 139872458020565 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33665024 140732622812151 140732622812310 140732622812310 140732622815183 0
[pid=27647/tid=27649] ppid=27608 vsize=8414124 memory=1984 CPUtime=0 cores=0-7
/proc/27647/task/27649/stat : 27649 (java) S 27608 27608 25788 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420924753 8616062976 30317 33554432000 4194304 4196468 140732622809872 139872462252304 139872458020565 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33665024 140732622812151 140732622812310 140732622812310 140732622815183 0
[pid=27647/tid=27650] ppid=27608 vsize=8414124 memory=121268 CPUtime=0 cores=0-7
/proc/27647/task/27650/stat : 27650 (java) S 27608 27608 25788 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420924753 8616062976 30317 33554432000 4194304 4196468 140732622809872 139872262420880 139872458020565 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33665024 140732622812151 140732622812310 140732622812310 140732622815183 0
[pid=27647/tid=27651] ppid=27608 vsize=8414124 memory=593536 CPUtime=0 cores=0-7
/proc/27647/task/27651/stat : 27651 (java) S 27608 27608 25788 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420924753 8616062976 30317 33554432000 4194304 4196468 140732622809872 139872261368336 139872458020565 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33665024 140732622812151 140732622812310 140732622812310 140732622815183 0
[pid=27647/tid=27652] ppid=27608 vsize=8414124 memory=1744 CPUtime=0 cores=0-7
/proc/27647/task/27652/stat : 27652 (java) S 27608 27608 25788 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420924753 8616062976 30317 33554432000 4194304 4196468 140732622809872 139872260315792 139872458020565 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33665024 140732622812151 140732622812310 140732622812310 140732622815183 0
[pid=27647/tid=27653] ppid=27608 vsize=8414124 memory=792 CPUtime=0 cores=0-7
/proc/27647/task/27653/stat : 27653 (java) S 27608 27608 25788 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420924753 8616062976 30317 33554432000 4194304 4196468 140732622809872 139872259263248 139872458020565 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33665024 140732622812151 140732622812310 140732622812310 140732622815183 0
[pid=27647/tid=27654] ppid=27608 vsize=8414124 memory=1440 CPUtime=0 cores=0-7
/proc/27647/task/27654/stat : 27654 (java) S 27608 27608 25788 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420924753 8616062976 30317 33554432000 4194304 4196468 140732622809872 139872258210704 139872458020565 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33665024 140732622812151 140732622812310 140732622812310 140732622815183 0
[pid=27647/tid=27655] ppid=27608 vsize=8414124 memory=1984 CPUtime=0 cores=0-7
/proc/27647/task/27655/stat : 27655 (java) S 27608 27608 25788 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420924753 8616062976 30317 33554432000 4194304 4196468 140732622809872 139872257158160 139872458020565 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33665024 140732622812151 140732622812310 140732622812310 140732622815183 0
[pid=27647/tid=27656] ppid=27608 vsize=8414124 memory=2376 CPUtime=0 cores=0-7
/proc/27647/task/27656/stat : 27656 (java) S 27608 27608 25788 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 420924753 8616062976 30317 33554432000 4194304 4196468 140732622809872 139872256105616 139872458020565 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33665024 140732622812151 140732622812310 140732622812310 140732622815183 0
[pid=27647/tid=27657] ppid=27608 vsize=8414124 memory=1768 CPUtime=0 cores=0-7
/proc/27647/task/27657/stat : 27657 (java) S 27608 27608 25788 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 420924754 8616062976 30317 33554432000 4194304 4196468 140732622809872 139871551506416 139872458021506 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33665024 140732622812151 140732622812310 140732622812310 140732622815183 0
[pid=27647/tid=27658] ppid=27608 vsize=8414124 memory=111628 CPUtime=0 cores=0-7
/proc/27647/task/27658/stat : 27658 (java) S 27608 27608 25788 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 420924755 8616062976 30317 33554432000 4194304 4196468 140732622809872 139871045804960 139872458020565 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33665024 140732622812151 140732622812310 140732622812310 140732622815183 0
[pid=27647/tid=27659] ppid=27608 vsize=8414124 memory=804 CPUtime=0 cores=0-7
/proc/27647/task/27659/stat : 27659 (java) S 27608 27608 25788 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 420924755 8616062976 30317 33554432000 4194304 4196468 140732622809872 139870911583216 139872458020565 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33665024 140732622812151 140732622812310 140732622812310 140732622815183 0
[pid=27647/tid=27660] ppid=27608 vsize=8414124 memory=1660 CPUtime=0 cores=0-7
/proc/27647/task/27660/stat : 27660 (java) S 27608 27608 25788 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420924758 8616062976 30317 33554432000 4194304 4196468 140732622809872 139870537078992 139872458028955 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33665024 140732622812151 140732622812310 140732622812310 140732622815183 0
[pid=27647/tid=27661] ppid=27608 vsize=8414124 memory=1808 CPUtime=0.07 cores=0-7
/proc/27647/task/27661/stat : 27661 (java) S 27608 27608 25788 0 -1 1077944384 590 0 0 0 7 0 0 0 20 0 24 0 420924758 8616062976 30317 33554432000 4194304 4196468 140732622809872 139871550454256 139872458021506 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33665024 140732622812151 140732622812310 140732622812310 140732622815183 0
[pid=27647/tid=27662] ppid=27608 vsize=8414124 memory=924 CPUtime=0.09 cores=0-7
/proc/27647/task/27662/stat : 27662 (java) S 27608 27608 25788 0 -1 1077944384 451 0 0 0 9 0 0 0 20 0 24 0 420924758 8616062976 30317 33554432000 4194304 4196468 140732622809872 139871549401712 139872458021506 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33665024 140732622812151 140732622812310 140732622812310 140732622815183 0
[pid=27647/tid=27663] ppid=27608 vsize=8414124 memory=4460 CPUtime=0.08 cores=0-7
/proc/27647/task/27663/stat : 27663 (java) S 27608 27608 25788 0 -1 1077944384 329 0 0 0 8 0 0 0 20 0 24 0 420924758 8616062976 30317 33554432000 4194304 4196468 140732622809872 139871548349168 139872458021506 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33665024 140732622812151 140732622812310 140732622812310 140732622815183 0
[pid=27647/tid=27664] ppid=27608 vsize=8414124 memory=1476 CPUtime=0.23 cores=0-7
/proc/27647/task/27664/stat : 27664 (java) S 27608 27608 25788 0 -1 1077944384 602 0 0 0 23 0 0 0 20 0 24 0 420924758 8616062976 30317 33554432000 4194304 4196468 140732622809872 139871547296624 139872458021506 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33665024 140732622812151 140732622812310 140732622812310 140732622815183 0
[pid=27647/tid=27665] ppid=27608 vsize=8414124 memory=121268 CPUtime=0 cores=0-7
/proc/27647/task/27665/stat : 27665 (java) S 27608 27608 25788 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 420924758 8616062976 30317 33554432000 4194304 4196468 140732622809872 139870039173344 139872458020565 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33665024 140732622812151 140732622812310 140732622812310 140732622815183 0
[pid=27647/tid=27666] ppid=27608 vsize=8414124 memory=1115772 CPUtime=0 cores=0-7
/proc/27647/task/27666/stat : 27666 (java) S 27608 27608 25788 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 420924758 8616062976 30317 33554432000 4194304 4196468 140732622809872 139871546243504 139872458021506 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33665024 140732622812151 140732622812310 140732622812310 140732622815183 0
[pid=27647/tid=27668] ppid=27608 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/27647/task/27668/stat : 27668 (java) S 27608 27608 25788 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 420924830 8616062976 30317 33554432000 4194304 4196468 140732622809872 139871538209984 139872458034969 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 33665024 140732622812151 140732622812310 140732622812310 140732622815183 0
[pid=27647/tid=27670] ppid=27608 vsize=8414124 memory=121268 CPUtime=0 cores=0-7
/proc/27647/task/27670/stat : 27670 (java) S 27608 27608 25788 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 420924830 8616062976 30317 33554432000 4194304 4196468 140732622809872 139869368074000 139872458032285 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 33665024 140732622812151 140732622812310 140732622812310 140732622815183 0
[pid=27647/tid=27671] ppid=27608 vsize=8414124 memory=230408 CPUtime=0 cores=0-7
/proc/27647/task/27671/stat : 27671 (java) S 27608 27608 25788 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 420924830 8616062976 30317 33554432000 4194304 4196468 140732622809872 139869636509584 139872458032285 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 33665024 140732622812151 140732622812310 140732622812310 140732622815183 0
[pid=27647/tid=27672] ppid=27608 vsize=8414124 memory=-7824251494390585701 CPUtime=0 cores=0-7
/proc/27647/task/27672/stat : 27672 (java) S 27608 27608 25788 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 24 0 420924832 8616062976 30317 33554432000 4194304 4196468 140732622809872 139869099646640 139872458020565 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33665024 140732622812151 140732622812310 140732622812310 140732622815183 0
Current children cumulated CPU time: 222.44 s
Current children cumulated vsize: 10232680 KiB
Current children cumulated memory: 1240928 KiB

[startup+143.207 s]
/proc/loadavg: 0.88 3.70 6.31 7/228 27681
/proc/meminfo: memFree=30196536/32770624 swapFree=67004168/67108860
[pid=27608] ppid=27605 vsize=113128 memory=1476 CPUtime=195.21 cores=0-7
/proc/27608/stat : 27608 (scop.sh) S 27605 27608 25788 0 -1 4202496 583 93424 0 0 0 0 18355 1166 20 0 1 0 420911229 115843072 369 33554432000 4194304 5098028 140727585285408 140727585282152 139975625437820 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 28082176 140727585288996 140727585289324 140727585289324 140727585292237 0
/proc/27608/statm: 28282 369 311 221 0 87 0
[pid=27647] ppid=27608 vsize=8414124 memory=122192 CPUtime=1.36 cores=0-7
/proc/27647/stat : 27647 (java) S 27608 27608 25788 0 -1 1077944320 21120 0 0 0 126 10 0 0 20 0 24 0 420924751 8616062976 30517 33554432000 4194304 4196468 140732622809872 140732622792416 139872458010359 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 33665024 140732622812151 140732622812310 140732622812310 140732622815183 0
/proc/27647/statm: 2103531 30548 3203 1 0 2064875 0
[pid=27647/tid=27648] ppid=27608 vsize=8414124 memory=1056 CPUtime=0.81 cores=0-7
/proc/27647/task/27648/stat : 27648 (java) S 27608 27608 25788 0 -1 1077944384 17504 0 0 0 74 7 0 0 20 0 24 0 420924751 8616062976 30548 33554432000 4194304 4196468 140732622809872 139872429850528 139872458020565 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33665024 140732622812151 140732622812310 140732622812310 140732622815183 0
[pid=27647/tid=27649] ppid=27608 vsize=8414124 memory=1540 CPUtime=0 cores=0-7
/proc/27647/task/27649/stat : 27649 (java) S 27608 27608 25788 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420924753 8616062976 30548 33554432000 4194304 4196468 140732622809872 139872462252304 139872458020565 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33665024 140732622812151 140732622812310 140732622812310 140732622815183 0
[pid=27647/tid=27650] ppid=27608 vsize=8414124 memory=728 CPUtime=0 cores=0-7
/proc/27647/task/27650/stat : 27650 (java) S 27608 27608 25788 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420924753 8616062976 30548 33554432000 4194304 4196468 140732622809872 139872262420880 139872458020565 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33665024 140732622812151 140732622812310 140732622812310 140732622815183 0
[pid=27647/tid=27651] ppid=27608 vsize=8414124 memory=3924 CPUtime=0 cores=0-7
/proc/27647/task/27651/stat : 27651 (java) S 27608 27608 25788 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420924753 8616062976 30548 33554432000 4194304 4196468 140732622809872 139872261368336 139872458020565 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33665024 140732622812151 140732622812310 140732622812310 140732622815183 0
[pid=27647/tid=27652] ppid=27608 vsize=8414124 memory=2832 CPUtime=0 cores=0-7
/proc/27647/task/27652/stat : 27652 (java) S 27608 27608 25788 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420924753 8616062976 30548 33554432000 4194304 4196468 140732622809872 139872260315792 139872458020565 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33665024 140732622812151 140732622812310 140732622812310 140732622815183 0
[pid=27647/tid=27653] ppid=27608 vsize=8414124 memory=1212 CPUtime=0 cores=0-7
/proc/27647/task/27653/stat : 27653 (java) S 27608 27608 25788 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420924753 8616062976 30548 33554432000 4194304 4196468 140732622809872 139872259263248 139872458020565 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33665024 140732622812151 140732622812310 140732622812310 140732622815183 0
[pid=27647/tid=27654] ppid=27608 vsize=8414124 memory=1036 CPUtime=0 cores=0-7
/proc/27647/task/27654/stat : 27654 (java) S 27608 27608 25788 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420924753 8616062976 30548 33554432000 4194304 4196468 140732622809872 139872258210704 139872458020565 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33665024 140732622812151 140732622812310 140732622812310 140732622815183 0
[pid=27647/tid=27655] ppid=27608 vsize=8414124 memory=14008 CPUtime=0 cores=0-7
/proc/27647/task/27655/stat : 27655 (java) S 27608 27608 25788 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420924753 8616062976 30548 33554432000 4194304 4196468 140732622809872 139872257158160 139872458020565 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33665024 140732622812151 140732622812310 140732622812310 140732622815183 0
[pid=27647/tid=27656] ppid=27608 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/27647/task/27656/stat : 27656 (java) S 27608 27608 25788 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 420924753 8616062976 30548 33554432000 4194304 4196468 140732622809872 139872256105616 139872458020565 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33665024 140732622812151 140732622812310 140732622812310 140732622815183 0
[pid=27647/tid=27657] ppid=27608 vsize=8414124 memory=121268 CPUtime=0 cores=0-7
/proc/27647/task/27657/stat : 27657 (java) S 27608 27608 25788 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 420924754 8616062976 30548 33554432000 4194304 4196468 140732622809872 139871551506416 139872458021506 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33665024 140732622812151 140732622812310 140732622812310 140732622815183 0
[pid=27647/tid=27658] ppid=27608 vsize=8414124 memory=1117312 CPUtime=0 cores=0-7
/proc/27647/task/27658/stat : 27658 (java) S 27608 27608 25788 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 420924755 8616062976 30548 33554432000 4194304 4196468 140732622809872 139871045804960 139872458020565 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33665024 140732622812151 140732622812310 140732622812310 140732622815183 0
[pid=27647/tid=27659] ppid=27608 vsize=8414124 memory=928 CPUtime=0 cores=0-7
/proc/27647/task/27659/stat : 27659 (java) S 27608 27608 25788 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 420924755 8616062976 30548 33554432000 4194304 4196468 140732622809872 139870911583216 139872458020565 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33665024 140732622812151 140732622812310 140732622812310 140732622815183 0
[pid=27647/tid=27660] ppid=27608 vsize=8414124 memory=1744 CPUtime=0 cores=0-7
/proc/27647/task/27660/stat : 27660 (java) S 27608 27608 25788 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420924758 8616062976 30548 33554432000 4194304 4196468 140732622809872 139870537078992 139872458028955 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33665024 140732622812151 140732622812310 140732622812310 140732622815183 0
[pid=27647/tid=27661] ppid=27608 vsize=8414124 memory=792 CPUtime=0.07 cores=0-7
/proc/27647/task/27661/stat : 27661 (java) S 27608 27608 25788 0 -1 1077944384 590 0 0 0 7 0 0 0 20 0 24 0 420924758 8616062976 30548 33554432000 4194304 4196468 140732622809872 139871550454256 139872458021506 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33665024 140732622812151 140732622812310 140732622812310 140732622815183 0
[pid=27647/tid=27662] ppid=27608 vsize=8414124 memory=1440 CPUtime=0.09 cores=0-7
/proc/27647/task/27662/stat : 27662 (java) R 27608 27608 25788 0 -1 4202560 451 0 0 0 9 0 0 0 20 0 24 0 420924758 8616062976 30548 33554432000 4194304 4196468 140732622809872 139871549401712 139872437862495 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33665024 140732622812151 140732622812310 140732622812310 140732622815183 0
[pid=27647/tid=27663] ppid=27608 vsize=8414124 memory=9231824 CPUtime=0.08 cores=0-7
/proc/27647/task/27663/stat : 27663 (java) R 27608 27608 25788 0 -1 4202560 329 0 0 0 8 0 0 0 20 0 24 0 420924758 8616062976 30548 33554432000 4194304 4196468 140732622809872 139871548349168 139872441497190 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33665024 140732622812151 140732622812310 140732622812310 140732622815183 0
[pid=27647/tid=27664] ppid=27608 vsize=8414124 memory=8796804 CPUtime=0.24 cores=0-7
/proc/27647/task/27664/stat : 27664 (java) R 27608 27608 25788 0 -1 4202560 820 0 0 0 24 0 0 0 20 0 24 0 420924758 8616062976 30548 33554432000 4194304 4196468 140732622809872 139871547296624 139872436559185 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33665024 140732622812151 140732622812310 140732622812310 140732622815183 0
[pid=27647/tid=27665] ppid=27608 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/27647/task/27665/stat : 27665 (java) S 27608 27608 25788 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 420924758 8616062976 30548 33554432000 4194304 4196468 140732622809872 139870039173344 139872458020565 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33665024 140732622812151 140732622812310 140732622812310 140732622815183 0
[pid=27647/tid=27666] ppid=27608 vsize=8414124 memory=121268 CPUtime=0 cores=0-7
/proc/27647/task/27666/stat : 27666 (java) S 27608 27608 25788 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 420924758 8616062976 30548 33554432000 4194304 4196468 140732622809872 139871546243504 139872458021506 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33665024 140732622812151 140732622812310 140732622812310 140732622815183 0
[pid=27647/tid=27668] ppid=27608 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/27647/task/27668/stat : 27668 (java) S 27608 27608 25788 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 420924830 8616062976 30548 33554432000 4194304 4196468 140732622809872 139871538209984 139872458034969 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 33665024 140732622812151 140732622812310 140732622812310 140732622815183 0
[pid=27647/tid=27670] ppid=27608 vsize=8414124 memory=288230377057943841 CPUtime=0.01 cores=0-7
/proc/27647/task/27670/stat : 27670 (java) R 27608 27608 25788 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 24 0 420924830 8616062976 30548 33554432000 4194304 4196468 140732622809872 139869368081920 139872458032189 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33665024 140732622812151 140732622812310 140732622812310 140732622815183 0
[pid=27647/tid=27671] ppid=27608 vsize=8414124 memory=288289750685843745 CPUtime=0 cores=0-7
/proc/27647/task/27671/stat : 27671 (java) S 27608 27608 25788 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 420924830 8616062976 30548 33554432000 4194304 4196468 140732622809872 139869636509584 139872458032285 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 33665024 140732622812151 140732622812310 140732622812310 140732622815183 0
[pid=27647/tid=27672] ppid=27608 vsize=8414124 memory=288289974074475830 CPUtime=0 cores=0-7
/proc/27647/task/27672/stat : 27672 (java) S 27608 27608 25788 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 24 0 420924832 8616062976 30548 33554432000 4194304 4196468 140732622809872 139869099646640 139872458020565 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33665024 140732622812151 140732622812310 140732622812310 140732622815183 0
Current children cumulated CPU time: 196.57 s
Current children cumulated vsize: 8527252 KiB
Current children cumulated memory: 123668 KiB

Child status: 0
Real time (s): 143.269
CPU time (s): 224.745
CPU user time (s): 211.698
CPU system time (s): 13.0467
CPU usage (%): 156.869
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 9872464

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 211.698
system time used= 13.0467
maximum resident set size= 9871592
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 624209
page faults= 0
swaps= 0
block input operations= 0
block output operations= 71368
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 23023
involuntary context switches= 983


# summary of solver processes directly reported to runsolver:
#   pid: 27608
#   total CPU time (s): 224.745
#   total CPU user time (s): 211.698
#   total CPU system time (s): 13.0467

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.09231 second user time and 1.56117 second system time

The end

Launcher Data 

Begin job on node133 at 2019-09-14 09:37:57
IDJOB=4392614
IDBENCH=140010
IDSOLVER=2839
FILE ID=node133/4392614-1568446716
RUNJOBID= node133-1568439804-25815
PBS_JOBID= 21702337
Free space on /tmp= 59416 MiB

SOLVER NAME= Fun-sCOP hybrid+ManyGlucose (2019-06-15)
BENCH NAME= XCSP17/Crossword/Crossword-m1c-ogd-vg/Crossword-m1c-ogd-vg-16-16.xml
COMMAND LINE= DIR/scop.sh 22g DIR/scop.jar -hybrid DIR/manyglucose-4.1-27_release -model:-nthreads=NBCORE:-maxmemory=20000:-lit-scans=6000000 TMPDIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4392614-1568446716/watcher-4392614-1568446716 -o /tmp/evaluation-result-4392614-1568446716/solver-4392614-1568446716 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node133-1568439804-25815 --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-4392614-1568446716.xml

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

MD5SUM BENCH= 4f70966c99dd40579db6abd1a80acf5b
RANDOM SEED=411515273

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

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.18
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	: 5333.18
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	: 5333.18
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	: 5333.18
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:        31456868 kB
MemAvailable:   31896680 kB
Buffers:          205696 kB
Cached:           517080 kB
SwapCached:         3336 kB
Active:           404908 kB
Inactive:         321828 kB
Active(anon):      28160 kB
Inactive(anon):    16056 kB
Active(file):     376748 kB
Inactive(file):   305772 kB
Unevictable:      111224 kB
Mlocked:          111224 kB
SwapTotal:      67108860 kB
SwapFree:       67004168 kB
Dirty:             20640 kB
Writeback:             0 kB
AnonPages:        112460 kB
Mapped:            44368 kB
Shmem:             31544 kB
Slab:             174856 kB
SReclaimable:     146252 kB
SUnreclaim:        28604 kB
KernelStack:        3504 kB
PageTables:         5260 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     497800 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     69632 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      122240 kB
DirectMap2M:    33423360 kB

Free space on /tmp at the end= 59396 MiB
End job on node133 at 2019-09-14 09:40:20