Trace number 4392314

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Fun-sCOP order+ManyGlucose (2019-06-15)UNSAT 223.004 142.133

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 -order -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-27476-serial-file.bin HOME/instance-4392314-1568446573.xml
0.66/0.55	
0.66/0.55	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
0.66/0.55	
0.66/0.57	c BEGIN-Prog: Sat Sep 14 09:35:34 CEST 2019
0.66/0.57	c PID: 27479
0.66/0.57	c IP: 172.20.3.133
0.66/0.57	c HOST: node133.alineos.net
0.66/0.58	c (0,0) Parsing Begin
1.62/1.00	c (0,0) Parsing End
1.97/1.01	c (0,0) CSP: 256 int (0 aux), 0 bool (0 aux), 32 ctr, max domain size 26
1.97/1.01	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.97/1.01	c (0,0) Constraint Name Generate Begin
1.97/1.01	c (0,0) Ctr:HOME/instance-4392314-1568446573.xml,ExtensionSupport:Var
1.97/1.01	c (0,0) Constraint Name Generate End
1.97/1.01	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.97/1.01	c (0,0) CSP to CSPinCNF Begin
18.31/10.33	c (9,9) translated 4 (10%) constraints
27.83/17.58	c (17,16) translated 7 (20%) constraints
34.46/24.16	c (23,23) translated 10 (30%) constraints
44.48/31.15	c (30,29) translated 13 (40%) constraints
51.11/37.76	c (37,36) translated 16 (50%) constraints
65.84/48.50	c (47,46) translated 20 (60%) constraints
72.38/55.06	c (54,53) translated 23 (70%) constraints
84.35/63.16	c (62,60) translated 26 (80%) constraints
97.31/71.09	c (70,68) translated 29 (90%) constraints
104.65/78.17	c (77,75) translated 32 (100%) constraints
104.86/78.35	c (77,75) ===========================================
104.86/78.38	c (77,75) Order
104.86/78.38	c (77,75) ===========================================
108.13/81.13	c (80,78) translated 147333 (10%) constraints
117.06/84.67	c (84,80) translated 294665 (20%) constraints
120.00/87.41	c (86,83) translated 441997 (30%) constraints
122.71/90.13	c (89,86) translated 589330 (40%) constraints
125.41/92.85	c (92,89) translated 736662 (50%) constraints
128.11/95.55	c (95,91) translated 883994 (60%) constraints
130.81/98.28	c (97,94) translated 1031327 (70%) constraints
139.82/101.79	c (101,97) translated 1178659 (80%) constraints
142.52/104.49	c (103,99) translated 1325991 (90%) constraints
145.31/107.19	c (106,102) translated 1473323 (100%) constraints
145.31/107.19	c (106,102) CSP to CSPinCNF End
145.41/107.28	c (106,102) CSP: 256 int (0 aux), 264258 bool (264258 aux), 1473323 ctr, max domain size 26
145.41/107.28	c (106,102) Heap : 3371 MiB used (max 20999 MiB), NonHeap : 26 MiB used (max 0 MiB)
145.41/107.28	c (106,102) CSPinCNF Propagation Begin
160.40/116.45	c (115,111) 1250 values, 5796 unsatisfiable literals, and 7277 valid clauses are removed
160.40/116.45	c (115,111) CSPinCNF Propagation End
160.50/116.53	c (115,111) CSP: 256 int (0 aux), 264258 bool (264258 aux), 1466046 ctr, max domain size 26
160.50/116.53	c (115,111) Heap : 5983 MiB used (max 20951 MiB), NonHeap : 27 MiB used (max 0 MiB)
160.50/116.55	c (115,111) Simplify CSPinCNF Begin
170.09/119.82	c (119,113) Simplify CSPinCNF End
170.19/119.90	c (119,113) CSP: 256 int (0 aux), 264258 bool (264258 aux), 1466046 ctr, max domain size 26
170.19/119.90	c (119,113) Heap : 3061 MiB used (max 20988 MiB), NonHeap : 27 MiB used (max 0 MiB)
170.19/119.90	c (119,113) Calculate Precise Domain Begin
170.19/119.90	c (119,113) 0 values are removed by re-calculation
170.19/119.90	c (119,113) Calculate Precise Domain End
170.19/119.98	c (119,113) CSP: 256 int (0 aux), 264258 bool (264258 aux), 1466046 ctr, max domain size 26
170.19/119.98	c (119,113) Heap : 3061 MiB used (max 20988 MiB), NonHeap : 27 MiB used (max 0 MiB)
170.19/119.98	c (119,113) CSPinCNF to SatSolver Begin
173.41/121.82	c (121,115) 146605 (10 %) CSP clauses are encoded (0 SAT variables, 151559 SAT clauses)
174.66/123.03	c (122,116) 293210 (20 %) CSP clauses are encoded (0 SAT variables, 298164 SAT clauses)
180.71/124.84	c (124,117) 439814 (30 %) CSP clauses are encoded (0 SAT variables, 444768 SAT clauses)
181.92/126.05	c (125,119) 586419 (40 %) CSP clauses are encoded (0 SAT variables, 591373 SAT clauses)
183.12/127.25	c (126,120) 733023 (50 %) CSP clauses are encoded (0 SAT variables, 737977 SAT clauses)
184.32/128.46	c (127,121) 879628 (60 %) CSP clauses are encoded (0 SAT variables, 884582 SAT clauses)
185.51/129.67	c (129,122) 1026233 (70 %) CSP clauses are encoded (0 SAT variables, 1031187 SAT clauses)
190.74/131.38	c (130,123) 1172837 (80 %) CSP clauses are encoded (0 SAT variables, 1177791 SAT clauses)
191.95/132.57	c (132,125) 1319442 (90 %) CSP clauses are encoded (0 SAT variables, 1324396 SAT clauses)
193.14/133.77	c (133,126) 1466046 (100 %) CSP clauses are encoded (0 SAT variables, 1471000 SAT clauses)
193.14/133.77	c (133,126) CSPinCNF to SatSolver End
193.14/133.77	c (133,126) Heap : 5143 MiB used (max 20025 MiB), NonHeap : 29 MiB used (max 0 MiB)
193.14/133.77	c (133,126) 268219 bool, 1471001 clause
193.14/133.77	c (133,126) Export Begin
193.50/133.90	c (133,126) Export to HOME/scop-27476-serial-file.bin
193.50/133.90	c (133,126) Export End
193.50/133.90	c (133,126) Export File Size: 0.15 MB
193.50/133.90	c (133,126) 0,0,106,115,119,119,133,STOP-AFTER(DIMACS)
193.50/133.90	c END-Prog: Sat Sep 14 09:37:48 CEST 2019
193.50/133.96	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-27476-serial-file.bin
194.14/134.43	c (0,0) Read Serial File Begin
194.14/134.43	c (0,0) HOME/scop-27476-serial-file.bin
194.41/134.69	c (0,0) Read Serial File End
194.68/134.70	
194.68/134.70	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
194.68/134.70	(Solving Process)
194.68/134.70	
194.68/134.73	c BEGIN-Prog: Sat Sep 14 09:37:49 CEST 2019
194.68/134.73	c PID: 27508
194.68/134.73	c IP: 172.20.3.133
194.68/134.73	c HOST: node133.alineos.net
194.68/134.73	c (0,0) SatSolver.solve Begin
194.68/134.73	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4392314-1568446573.xml-scop-27479.cnf
194.68/134.76	c (0,0) c
194.68/134.76	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)
194.68/134.76	c (0,0) c
194.68/134.76	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
194.68/134.76	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
194.68/134.76	c (0,0) c ========================================[ Problem Statistics ]===========================================
194.68/134.76	c (0,0) c |                                                                                                       |
195.46/135.37	c (1,0) c |  Number of variables:        268219                                                                   |
195.46/135.37	c (1,0) c |  Number of clauses:         1463462                                                                   |
195.46/135.37	c (1,0) c |  Parse time:                   0.54 s                                                                 |
195.46/135.37	c (1,0) c |                                                                                                       |
198.07/137.98	c (3,0) c |  Simplification time:          2.56 s                                                                 |
198.07/137.98	c (3,0) c |                                                                                                       |
198.07/137.98	c (3,0) c |  Generating clones                                                                                    |
198.87/138.79	c (4,0) c |  all clones generated. Memory =  1083.89Mb.                                                           |
198.87/138.79	c (4,0) c ========================================================================================================|
198.87/138.79	c (4,0) c
198.87/138.79	c (4,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
198.87/138.79	c (4,0) c
198.87/138.79	c (4,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
198.87/138.79	c (4,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
198.87/138.79	c (4,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
198.87/138.79	c (4,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
198.87/138.79	c (4,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
198.87/138.79	c (4,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
198.87/138.79	c (4,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
198.87/138.79	c (4,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
198.87/138.79	c (4,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
198.87/138.79	c (4,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
198.87/138.79	c (4,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
198.87/138.79	c (4,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
198.87/138.79	c (4,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
198.87/138.79	c (4,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
198.87/138.79	c (4,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
198.87/138.79	c (4,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
198.87/138.79	c (4,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
198.87/138.79	c (4,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
198.87/138.79	c (4,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
222.79/142.06	c (7,0) c
222.79/142.06	c (7,0) c real time : 7.30446 s
222.79/142.06	c (7,0) c cpu time  : 26.7676 s
222.79/142.06	c (7,0) c
222.79/142.06	c (7,0) c
222.79/142.06	c (7,0) c
222.79/142.06	c (7,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
222.79/142.06	c (7,0) c
222.79/142.06	c (7,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
222.79/142.06	c (7,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
222.79/142.06	c (7,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
222.79/142.06	c (7,0) c | Conflicts     |           25912 |       3301 |       2452 |       3543 |       2846 |       3757 |       2786 |       4124 |       3103 |
222.79/142.06	c (7,0) c | Decisions     |           80144 |       8150 |       9141 |      12188 |       7246 |      11725 |      10050 |      12806 |       8838 |
222.79/142.06	c (7,0) c | Propagations  |        62044009 |    7584666 |    7385289 |    8201441 |    7525417 |    7987175 |    7687439 |    8395238 |    7277344 |
222.79/142.06	c (7,0) c | ReduceDBs     |               8 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |
222.79/142.06	c (7,0) c | SimpDBs       |              19 |          2 |          2 |          3 |          3 |          2 |          2 |          3 |          2 |
222.79/142.06	c (7,0) c | Restarts      |              75 |          9 |          5 |         16 |          4 |         10 |          8 |         15 |          8 |
222.79/142.06	c (7,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
222.79/142.06	c (7,0) c | PropBinClauses|       103662005 |   13311630 |   11082449 |   13229763 |   11896514 |   14062438 |   13071243 |   14731287 |   12276681 |
222.79/142.06	c (7,0) c | PropPreBlocker|       111222386 |   14381092 |   11040662 |   14741381 |   12166330 |   15359407 |   14068196 |   15891371 |   13573947 |
222.79/142.06	c (7,0) c | PropNotBlocker|        47173057 |    6121838 |    4876457 |    6106370 |    5153031 |    6682961 |    5457220 |    6942316 |    5832864 |
222.79/142.06	c (7,0) c | LitFullScans  |       342238455 |   42043851 |   36045924 |   46102488 |   40793041 |   45319038 |   42043648 |   49623269 |   40267196 |
222.79/142.06	c (7,0) c | LitScanFracts |           84653 |      18019 |      10333 |        554 |      13879 |      23009 |        416 |      17874 |        569 |
222.79/142.06	c (7,0) c | DecisionLevel0|             157 |         17 |         16 |         33 |         13 |         18 |         19 |         27 |         14 |
222.79/142.06	c (7,0) c | Periods       |              54 |          7 |          6 |          7 |          6 |          7 |          7 |          8 |          6 |
222.79/142.06	c (7,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
222.79/142.06	c (7,0) c | Avg_Trail     |                 |      20088 |      23035 |      21681 |      24513 |      20665 |      22279 |      20342 |      21476 |
222.79/142.06	c (7,0) c | Avg_DL        |                 |         18 |         35 |         26 |         33 |         23 |         26 |         19 |         20 |
222.79/142.06	c (7,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
222.79/142.06	c (7,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
222.79/142.06	c (7,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
222.79/142.06	c (7,0) c | Exported      |            5399 |        706 |        480 |        817 |        480 |        844 |        580 |        917 |        575 |
222.79/142.06	c (7,0) c | Imported      |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
222.79/142.06	c (7,0) c | Good          |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
222.79/142.06	c (7,0) c | Purge         |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
222.79/142.06	c (7,0) c | Promoted      |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
222.79/142.06	c (7,0) c | Remove_Imp    |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
222.79/142.06	c (7,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
222.79/142.06	c (7,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
222.79/142.06	c (7,0) c | Unaries       |                 |          8 |         11 |         17 |          9 |          8 |         11 |         12 |          6 |
222.79/142.06	c (7,0) c | Binaries      |                 |        488 |        304 |        514 |        288 |        543 |        380 |        620 |        348 |
222.79/142.06	c (7,0) c | Glues         |                 |        706 |        480 |        817 |        480 |        844 |        580 |        917 |        575 |
222.79/142.06	c (7,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
222.79/142.06	c (7,0) c | Orig_Seen     |             7 % |      61362 |      74016 |      66486 |      51367 |      69432 |      65135 |      62449 |      72065 |
222.79/142.06	c (7,0) c | Diff Orig seen|                 |       9995 |      22649 |      15119 |      X     |      18065 |      13768 |      11082 |      20698 |
222.79/142.06	c (7,0) c | Hamming       |             0 % |       2101 |       2103 |       2249 |      X     |       2131 |       2174 |       1978 |       1884 |
222.79/142.06	c (7,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
222.79/142.06	c (7,0) c | RunningTime   |                 |    2.9 100%|    3.3 100%|    2.9 100%|    3.0 100%|    2.9 100%|    3.1 100%|    3.0 100%|    3.1 100%|
222.79/142.06	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%|
222.79/142.06	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%|
222.79/142.06	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%|
222.79/142.06	c (7,0) c | SolvingTime   |                 |    2.9     |    3.3     |    2.9     |    3.0     |    2.9     |    3.1     |    3.0     |    3.1     |
222.79/142.06	c (7,0) c | PropagationTim|                 |    2.6  90%|    2.9  89%|    2.5  87%|    2.6  88%|    2.6  88%|    2.8  89%|    2.6  88%|    2.7  89%|
222.79/142.06	c (7,0) c | AnalysisTime  |                 |    0.1   4%|    0.2   5%|    0.1   5%|    0.2   5%|    0.1   5%|    0.2   5%|    0.1   5%|    0.1   5%|
222.79/142.06	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%|
222.79/142.06	c (7,0) c | SimplifyTime  |                 |    0.0   1%|    0.0   1%|    0.1   2%|    0.1   2%|    0.0   1%|    0.0   1%|    0.0   2%|    0.0   1%|
222.79/142.06	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%|
222.79/142.06	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%|
222.79/142.06	c (7,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
222.79/142.06	c (7,0) c
222.79/142.06	c (7,0) c
222.79/142.06	c (7,0) c Threads : 8
222.79/142.06	c (7,0) c Winner : 3
222.79/142.06	c (7,0) c Conflicts_0 : 3301
222.79/142.06	c (7,0) c Conflicts_1 : 2452
222.79/142.06	c (7,0) c Conflicts_2 : 3543
222.79/142.06	c (7,0) c Conflicts_3 : 2846
222.79/142.06	c (7,0) c Conflicts_4 : 3757
222.79/142.06	c (7,0) c Conflicts_5 : 2786
222.79/142.06	c (7,0) c Conflicts_6 : 4124
222.79/142.06	c (7,0) c Conflicts_7 : 3103
222.79/142.06	c (7,0) c Conflicts_total : 25912
222.79/142.06	c (7,0) c Conflicts_winner : 2846
222.79/142.06	c (7,0) c Decisions_0 : 8150
222.79/142.06	c (7,0) c Decisions_1 : 9141
222.79/142.06	c (7,0) c Decisions_2 : 12188
222.79/142.06	c (7,0) c Decisions_3 : 7246
222.79/142.06	c (7,0) c Decisions_4 : 11725
222.79/142.06	c (7,0) c Decisions_5 : 10050
222.79/142.06	c (7,0) c Decisions_6 : 12806
222.79/142.06	c (7,0) c Decisions_7 : 8838
222.79/142.06	c (7,0) c Decisions_total : 80144
222.79/142.06	c (7,0) c Decisions_winner : 7246
222.79/142.06	c (7,0) c Propagations_0 : 7584666
222.79/142.06	c (7,0) c Propagations_1 : 7385289
222.79/142.06	c (7,0) c Propagations_2 : 8201441
222.79/142.06	c (7,0) c Propagations_3 : 7525417
222.79/142.06	c (7,0) c Propagations_4 : 7987175
222.79/142.06	c (7,0) c Propagations_5 : 7687439
222.79/142.06	c (7,0) c Propagations_6 : 8395238
222.79/142.06	c (7,0) c Propagations_7 : 7277344
222.79/142.06	c (7,0) c Propagations_total : 62044009
222.79/142.06	c (7,0) c Propagations_winner : 7525417
222.79/142.06	c (7,0) c ReduceDBs_0 : 1
222.79/142.06	c (7,0) c ReduceDBs_1 : 1
222.79/142.06	c (7,0) c ReduceDBs_2 : 1
222.79/142.06	c (7,0) c ReduceDBs_3 : 1
222.79/142.06	c (7,0) c ReduceDBs_4 : 1
222.79/142.06	c (7,0) c ReduceDBs_5 : 1
222.79/142.06	c (7,0) c ReduceDBs_6 : 1
222.79/142.06	c (7,0) c ReduceDBs_7 : 1
222.79/142.06	c (7,0) c ReduceDBs_total : 8
222.79/142.06	c (7,0) c ReduceDBs_winner : 1
222.79/142.06	c (7,0) c SimpDBs_0 : 2
222.79/142.06	c (7,0) c SimpDBs_1 : 2
222.79/142.06	c (7,0) c SimpDBs_2 : 3
222.79/142.06	c (7,0) c SimpDBs_3 : 3
222.79/142.06	c (7,0) c SimpDBs_4 : 2
222.79/142.06	c (7,0) c SimpDBs_5 : 2
222.79/142.06	c (7,0) c SimpDBs_6 : 3
222.79/142.06	c (7,0) c SimpDBs_7 : 2
222.79/142.06	c (7,0) c SimpDBs_total : 19
222.79/142.06	c (7,0) c SimpDBs_winner : 3
222.79/142.06	c (7,0) c Restarts_0 : 9
222.79/142.06	c (7,0) c Restarts_1 : 5
222.79/142.06	c (7,0) c Restarts_2 : 16
222.79/142.06	c (7,0) c Restarts_3 : 4
222.79/142.06	c (7,0) c Restarts_4 : 10
222.79/142.06	c (7,0) c Restarts_5 : 8
222.79/142.06	c (7,0) c Restarts_6 : 15
222.79/142.06	c (7,0) c Restarts_7 : 8
222.79/142.06	c (7,0) c Restarts_total : 75
222.79/142.06	c (7,0) c Restarts_winner : 4
222.79/142.06	c (7,0) c ForcedImports_0 : 0
222.79/142.06	c (7,0) c ForcedImports_1 : 0
222.79/142.06	c (7,0) c ForcedImports_2 : 0
222.79/142.06	c (7,0) c ForcedImports_3 : 0
222.79/142.06	c (7,0) c ForcedImports_4 : 0
222.79/142.06	c (7,0) c ForcedImports_5 : 0
222.79/142.06	c (7,0) c ForcedImports_6 : 0
222.79/142.06	c (7,0) c ForcedImports_7 : 0
222.79/142.06	c (7,0) c ForcedImports_total : 0
222.79/142.06	c (7,0) c ForcedImports_winner : 0
222.79/142.06	c (7,0) c PropsBinClauses_0 : 13311630
222.79/142.06	c (7,0) c PropsBinClauses_1 : 11082449
222.79/142.06	c (7,0) c PropsBinClauses_2 : 13229763
222.79/142.06	c (7,0) c PropsBinClauses_3 : 11896514
222.79/142.06	c (7,0) c PropsBinClauses_4 : 14062438
222.79/142.06	c (7,0) c PropsBinClauses_5 : 13071243
222.79/142.06	c (7,0) c PropsBinClauses_6 : 14731287
222.79/142.06	c (7,0) c PropsBinClauses_7 : 12276681
222.79/142.06	c (7,0) c PropsBinClauses_total : 103662005
222.79/142.06	c (7,0) c PropsBinClauses_winner : 11896514
222.79/142.06	c (7,0) c PropsPreBlocker_0 : 14381092
222.79/142.06	c (7,0) c PropsPreBlocker_1 : 11040662
222.79/142.06	c (7,0) c PropsPreBlocker_2 : 14741381
222.79/142.06	c (7,0) c PropsPreBlocker_3 : 12166330
222.79/142.06	c (7,0) c PropsPreBlocker_4 : 15359407
222.79/142.06	c (7,0) c PropsPreBlocker_5 : 14068196
222.79/142.06	c (7,0) c PropsPreBlocker_6 : 15891371
222.79/142.06	c (7,0) c PropsPreBlocker_7 : 13573947
222.79/142.06	c (7,0) c PropsPreBlocker_total : 111222386
222.79/142.06	c (7,0) c PropsPreBlocker_winner : 12166330
222.79/142.06	c (7,0) c PropsNotBlocker_0 : 6121838
222.79/142.06	c (7,0) c PropsNotBlocker_1 : 4876457
222.79/142.06	c (7,0) c PropsNotBlocker_2 : 6106370
222.79/142.06	c (7,0) c PropsNotBlocker_3 : 5153031
222.79/142.06	c (7,0) c PropsNotBlocker_4 : 6682961
222.79/142.07	c (7,0) c PropsNotBlocker_5 : 5457220
222.79/142.07	c (7,0) c PropsNotBlocker_6 : 6942316
222.79/142.07	c (7,0) c PropsNotBlocker_7 : 5832864
222.79/142.07	c (7,0) c PropsNotBlocker_total : 47173057
222.79/142.07	c (7,0) c PropsNotBlocker_winner : 5153031
222.79/142.07	c (7,0) c PropsLitFullScans_0 : 42043851
222.79/142.07	c (7,0) c PropsLitFullScans_1 : 36045924
222.79/142.07	c (7,0) c PropsLitFullScans_2 : 46102488
222.79/142.07	c (7,0) c PropsLitFullScans_3 : 40793041
222.79/142.07	c (7,0) c PropsLitFullScans_4 : 45319038
222.79/142.07	c (7,0) c PropsLitFullScans_5 : 42043648
222.79/142.07	c (7,0) c PropsLitFullScans_6 : 49623269
222.79/142.07	c (7,0) c PropsLitFullScans_7 : 40267196
222.79/142.07	c (7,0) c PropsLitFullScans_total : 342238455
222.79/142.07	c (7,0) c PropsLitFullScans_winner : 40793041
222.79/142.07	c (7,0) c LitScanFractions_0 : 18019
222.79/142.07	c (7,0) c LitScanFractions_1 : 10333
222.79/142.07	c (7,0) c LitScanFractions_2 : 554
222.79/142.07	c (7,0) c LitScanFractions_3 : 13879
222.79/142.07	c (7,0) c LitScanFractions_4 : 23009
222.79/142.07	c (7,0) c LitScanFractions_5 : 416
222.79/142.07	c (7,0) c LitScanFractions_6 : 17874
222.79/142.07	c (7,0) c LitScanFractions_7 : 569
222.79/142.07	c (7,0) c LitScanFractions_total : 84653
222.79/142.07	c (7,0) c LitScanFractions_winner : 13879
222.79/142.07	c (7,0) c DecisionLevel0_0 : 17
222.79/142.07	c (7,0) c DecisionLevel0_1 : 16
222.79/142.07	c (7,0) c DecisionLevel0_2 : 33
222.79/142.07	c (7,0) c DecisionLevel0_3 : 13
222.79/142.07	c (7,0) c DecisionLevel0_4 : 18
222.79/142.07	c (7,0) c DecisionLevel0_5 : 19
222.79/142.07	c (7,0) c DecisionLevel0_6 : 27
222.79/142.07	c (7,0) c DecisionLevel0_7 : 14
222.79/142.07	c (7,0) c DecisionLevel0_total : 157
222.79/142.07	c (7,0) c DecisionLevel0_winner : 13
222.79/142.07	c (7,0) c Periods_0 : 7
222.79/142.07	c (7,0) c Periods_1 : 6
222.79/142.07	c (7,0) c Periods_2 : 7
222.79/142.07	c (7,0) c Periods_3 : 6
222.79/142.07	c (7,0) c Periods_4 : 7
222.79/142.07	c (7,0) c Periods_5 : 7
222.79/142.07	c (7,0) c Periods_6 : 8
222.79/142.07	c (7,0) c Periods_7 : 6
222.79/142.07	c (7,0) c Periods_total : 54
222.79/142.07	c (7,0) c Periods_winner : 6
222.79/142.07	c (7,0) c Margin_0 : 20
222.79/142.07	c (7,0) c Margin_1 : 20
222.79/142.07	c (7,0) c Margin_2 : 20
222.79/142.07	c (7,0) c Margin_3 : 20
222.79/142.07	c (7,0) c Margin_4 : 20
222.79/142.07	c (7,0) c Margin_5 : 20
222.79/142.07	c (7,0) c Margin_6 : 20
222.79/142.07	c (7,0) c Margin_7 : 20
222.79/142.07	c (7,0) c Margin_total : 160
222.79/142.07	c (7,0) c Margin_winner : 20
222.79/142.07	c (7,0) c Exported_0 : 706
222.79/142.07	c (7,0) c Exported_1 : 480
222.79/142.07	c (7,0) c Exported_2 : 817
222.79/142.07	c (7,0) c Exported_3 : 480
222.79/142.07	c (7,0) c Exported_4 : 844
222.79/142.07	c (7,0) c Exported_5 : 580
222.79/142.07	c (7,0) c Exported_6 : 917
222.79/142.07	c (7,0) c Exported_7 : 575
222.79/142.07	c (7,0) c Exported_total : 5399
222.79/142.07	c (7,0) c Exported_winner : 480
222.79/142.07	c (7,0) c Imported_0 : 0
222.79/142.07	c (7,0) c Imported_1 : 0
222.79/142.07	c (7,0) c Imported_2 : 0
222.79/142.07	c (7,0) c Imported_3 : 0
222.79/142.07	c (7,0) c Imported_4 : 0
222.79/142.07	c (7,0) c Imported_5 : 0
222.79/142.07	c (7,0) c Imported_6 : 0
222.79/142.07	c (7,0) c Imported_7 : 0
222.79/142.07	c (7,0) c Imported_total : 0
222.79/142.07	c (7,0) c Imported_winner : 0
222.79/142.07	c (7,0) c Good_0 : 0
222.79/142.07	c (7,0) c Good_1 : 0
222.79/142.07	c (7,0) c Good_2 : 0
222.79/142.07	c (7,0) c Good_3 : 0
222.79/142.07	c (7,0) c Good_4 : 0
222.79/142.07	c (7,0) c Good_5 : 0
222.79/142.07	c (7,0) c Good_6 : 0
222.79/142.07	c (7,0) c Good_7 : 0
222.79/142.07	c (7,0) c Good_total : 0
222.79/142.07	c (7,0) c Good_winner : 0
222.79/142.07	c (7,0) c Purge_0 : 0
222.79/142.07	c (7,0) c Purge_1 : 0
222.79/142.07	c (7,0) c Purge_2 : 0
222.79/142.07	c (7,0) c Purge_3 : 0
222.79/142.07	c (7,0) c Purge_4 : 0
222.79/142.07	c (7,0) c Purge_5 : 0
222.79/142.07	c (7,0) c Purge_6 : 0
222.79/142.07	c (7,0) c Purge_7 : 0
222.79/142.07	c (7,0) c Purge_total : 0
222.79/142.07	c (7,0) c Purge_winner : 0
222.79/142.07	c (7,0) c Promoted_0 : 0
222.79/142.07	c (7,0) c Promoted_1 : 0
222.79/142.07	c (7,0) c Promoted_2 : 0
222.79/142.07	c (7,0) c Promoted_3 : 0
222.79/142.07	c (7,0) c Promoted_4 : 0
222.79/142.07	c (7,0) c Promoted_5 : 0
222.79/142.07	c (7,0) c Promoted_6 : 0
222.79/142.07	c (7,0) c Promoted_7 : 0
222.79/142.07	c (7,0) c Promoted_total : 0
222.79/142.07	c (7,0) c Promoted_winner : 0
222.79/142.07	c (7,0) c Remove_Imp_0 : 0
222.79/142.07	c (7,0) c Remove_Imp_1 : 0
222.79/142.07	c (7,0) c Remove_Imp_2 : 0
222.79/142.07	c (7,0) c Remove_Imp_3 : 0
222.79/142.07	c (7,0) c Remove_Imp_4 : 0
222.79/142.07	c (7,0) c Remove_Imp_5 : 0
222.79/142.07	c (7,0) c Remove_Imp_6 : 0
222.79/142.07	c (7,0) c Remove_Imp_7 : 0
222.79/142.07	c (7,0) c Remove_Imp_total : 0
222.79/142.07	c (7,0) c Remove_Imp_winner : 0
222.79/142.07	c (7,0) c Blocked_Reuse_0 : 0
222.79/142.07	c (7,0) c Blocked_Reuse_1 : 0
222.79/142.07	c (7,0) c Blocked_Reuse_2 : 0
222.79/142.07	c (7,0) c Blocked_Reuse_3 : 0
222.79/142.07	c (7,0) c Blocked_Reuse_4 : 0
222.79/142.07	c (7,0) c Blocked_Reuse_5 : 0
222.79/142.07	c (7,0) c Blocked_Reuse_6 : 0
222.79/142.07	c (7,0) c Blocked_Reuse_7 : 0
222.79/142.07	c (7,0) c Blocked_Reuse_total : 0
222.79/142.07	c (7,0) c Blocked_Reuse_winner : 0
222.79/142.07	c (7,0) c Unaries_0 : 8
222.79/142.07	c (7,0) c Unaries_1 : 11
222.79/142.07	c (7,0) c Unaries_2 : 17
222.79/142.07	c (7,0) c Unaries_3 : 9
222.79/142.07	c (7,0) c Unaries_4 : 8
222.79/142.07	c (7,0) c Unaries_5 : 11
222.79/142.07	c (7,0) c Unaries_6 : 12
222.79/142.07	c (7,0) c Unaries_7 : 6
222.79/142.07	c (7,0) c Unaries_total : 82
222.79/142.07	c (7,0) c Unaries_winner : 9
222.79/142.07	c (7,0) c Binaries_0 : 488
222.79/142.07	c (7,0) c Binaries_1 : 304
222.79/142.07	c (7,0) c Binaries_2 : 514
222.79/142.07	c (7,0) c Binaries_3 : 288
222.79/142.07	c (7,0) c Binaries_4 : 543
222.79/142.07	c (7,0) c Binaries_5 : 380
222.79/142.07	c (7,0) c Binaries_6 : 620
222.79/142.07	c (7,0) c Binaries_7 : 348
222.79/142.07	c (7,0) c Binaries_total : 3485
222.79/142.07	c (7,0) c Binaries_winner : 288
222.79/142.07	c (7,0) c Glues_0 : 706
222.79/142.07	c (7,0) c Glues_1 : 480
222.79/142.07	c (7,0) c Glues_2 : 817
222.79/142.07	c (7,0) c Glues_3 : 480
222.79/142.07	c (7,0) c Glues_4 : 844
222.79/142.07	c (7,0) c Glues_5 : 580
222.79/142.07	c (7,0) c Glues_6 : 917
222.79/142.07	c (7,0) c Glues_7 : 575
222.79/142.07	c (7,0) c Glues_total : 5399
222.79/142.07	c (7,0) c Glues_winner : 480
222.79/142.07	c (7,0) c RunningTime_0 : 2.907785
222.79/142.07	c (7,0) c RunningTime_1 : 3.268061
222.79/142.07	c (7,0) c RunningTime_2 : 2.894531
222.79/142.07	c (7,0) c RunningTime_3 : 3.001094
222.79/142.07	c (7,0) c RunningTime_4 : 2.937802
222.79/142.07	c (7,0) c RunningTime_5 : 3.115722
222.79/142.07	c (7,0) c RunningTime_6 : 2.973339
222.79/142.07	c (7,0) c RunningTime_7 : 3.051118
222.79/142.07	c (7,0) c RunningTime_total : 24.149452
222.79/142.07	c (7,0) c RunningTime_winner : 3.001094
222.79/142.07	c (7,0) c WaitingTime_0 : 0.000000
222.79/142.07	c (7,0) c WaitingTime_1 : 0.000000
222.79/142.07	c (7,0) c WaitingTime_2 : 0.000000
222.79/142.07	c (7,0) c WaitingTime_3 : 0.000000
222.79/142.07	c (7,0) c WaitingTime_4 : 0.000000
222.79/142.07	c (7,0) c WaitingTime_5 : 0.000000
222.79/142.07	c (7,0) c WaitingTime_6 : 0.000000
222.79/142.07	c (7,0) c WaitingTime_7 : 0.000000
222.79/142.07	c (7,0) c WaitingTime_total : 0.000000
222.79/142.07	c (7,0) c WaitingTime_winner : 0.000000
222.79/142.07	c (7,0) c ExchangingTime_0 : 0.001048
222.79/142.07	c (7,0) c ExchangingTime_1 : 0.000953
222.79/142.07	c (7,0) c ExchangingTime_2 : 0.001298
222.79/142.07	c (7,0) c ExchangingTime_3 : 0.000935
222.79/142.07	c (7,0) c ExchangingTime_4 : 0.001292
222.79/142.07	c (7,0) c ExchangingTime_5 : 0.001063
222.79/142.07	c (7,0) c ExchangingTime_6 : 0.001189
222.79/142.07	c (7,0) c ExchangingTime_7 : 0.001126
222.79/142.07	c (7,0) c ExchangingTime_total : 0.008904
222.79/142.07	c (7,0) c ExchangingTime_winner : 0.000935
222.79/142.07	c (7,0) c PeriodProcTime_0 : 0.000112
222.79/142.07	c (7,0) c PeriodProcTime_1 : 0.000074
222.79/142.07	c (7,0) c PeriodProcTime_2 : 0.000070
222.79/142.07	c (7,0) c PeriodProcTime_3 : 0.000082
222.79/142.07	c (7,0) c PeriodProcTime_4 : 0.000077
222.79/142.07	c (7,0) c PeriodProcTime_5 : 0.000120
222.79/142.07	c (7,0) c PeriodProcTime_6 : 0.000101
222.79/142.07	c (7,0) c PeriodProcTime_7 : 0.000077
222.79/142.07	c (7,0) c PeriodProcTime_total : 0.000713
222.79/142.07	c (7,0) c PeriodProcTime_winner : 0.000082
222.79/142.07	c (7,0) c SolvingTime_0 : 2.908945
222.79/142.07	c (7,0) c SolvingTime_1 : 3.269088
222.79/142.07	c (7,0) c SolvingTime_2 : 2.895899
222.79/142.07	c (7,0) c SolvingTime_3 : 3.002111
222.79/142.07	c (7,0) c SolvingTime_4 : 2.939171
222.79/142.07	c (7,0) c SolvingTime_5 : 3.116905
222.79/142.07	c (7,0) c SolvingTime_6 : 2.974629
222.79/142.07	c (7,0) c SolvingTime_7 : 3.052322
222.79/142.07	c (7,0) c SolvingTime_total : 24.159069
222.79/142.07	c (7,0) c SolvingTime_winner : 3.002111
222.79/142.07	c (7,0) c PropagationTime_0 : 2.608996
222.79/142.07	c (7,0) c PropagationTime_1 : 2.924678
222.79/142.07	c (7,0) c PropagationTime_2 : 2.531218
222.79/142.07	c (7,0) c PropagationTime_3 : 2.640912
222.79/142.07	c (7,0) c PropagationTime_4 : 2.597605
222.79/142.07	c (7,0) c PropagationTime_5 : 2.761521
222.79/142.07	c (7,0) c PropagationTime_6 : 2.616917
222.79/142.07	c (7,0) c PropagationTime_7 : 2.716661
222.79/142.07	c (7,0) c PropagationTime_total : 21.398509
222.79/142.07	c (7,0) c PropagationTime_winner : 2.640912
222.79/142.07	c (7,0) c AnalysisTime_0 : 0.115484
222.79/142.07	c (7,0) c AnalysisTime_1 : 0.163885
222.79/142.07	c (7,0) c AnalysisTime_2 : 0.144508
222.79/142.07	c (7,0) c AnalysisTime_3 : 0.150791
222.79/142.07	c (7,0) c AnalysisTime_4 : 0.136237
222.79/142.07	c (7,0) c AnalysisTime_5 : 0.154350
222.79/142.07	c (7,0) c AnalysisTime_6 : 0.141501
222.79/142.07	c (7,0) c AnalysisTime_7 : 0.149681
222.79/142.07	c (7,0) c AnalysisTime_total : 1.156438
222.79/142.07	c (7,0) c AnalysisTime_winner : 0.150791
222.79/142.07	c (7,0) c ReductionTime_0 : 0.000353
222.79/142.07	c (7,0) c ReductionTime_1 : 0.000387
222.79/142.07	c (7,0) c ReductionTime_2 : 0.000401
222.79/142.07	c (7,0) c ReductionTime_3 : 0.000526
222.79/142.07	c (7,0) c ReductionTime_4 : 0.000398
222.79/142.07	c (7,0) c ReductionTime_5 : 0.000832
222.79/142.07	c (7,0) c ReductionTime_6 : 0.000402
222.79/142.07	c (7,0) c ReductionTime_7 : 0.000818
222.79/142.07	c (7,0) c ReductionTime_total : 0.004117
222.79/142.07	c (7,0) c ReductionTime_winner : 0.000526
222.79/142.07	c (7,0) c SimplifyTime_0 : 0.028939
222.79/142.07	c (7,0) c SimplifyTime_1 : 0.032415
222.79/142.07	c (7,0) c SimplifyTime_2 : 0.055893
222.79/142.07	c (7,0) c SimplifyTime_3 : 0.057582
222.79/142.07	c (7,0) c SimplifyTime_4 : 0.029390
222.79/142.07	c (7,0) c SimplifyTime_5 : 0.031491
222.79/142.07	c (7,0) c SimplifyTime_6 : 0.049866
222.79/142.07	c (7,0) c SimplifyTime_7 : 0.029026
222.79/142.07	c (7,0) c SimplifyTime_total : 0.314601
222.79/142.07	c (7,0) c SimplifyTime_winner : 0.057582
222.79/142.07	c (7,0) c UsedRateTime_0 : 0.000000
222.79/142.07	c (7,0) c UsedRateTime_1 : 0.000000
222.79/142.07	c (7,0) c UsedRateTime_2 : 0.000000
222.79/142.07	c (7,0) c UsedRateTime_3 : 0.000000
222.79/142.07	c (7,0) c UsedRateTime_4 : 0.000000
222.79/142.07	c (7,0) c UsedRateTime_5 : 0.000000
222.79/142.07	c (7,0) c UsedRateTime_6 : 0.000000
222.79/142.07	c (7,0) c UsedRateTime_7 : 0.000000
222.79/142.07	c (7,0) c UsedRateTime_total : 0.000000
222.79/142.07	c (7,0) c UsedRateTime_winner : 0.000000
222.79/142.07	c (7,0) c OverlapRateTime_0 : 0.000000
222.79/142.07	c (7,0) c OverlapRateTime_1 : 0.000000
222.79/142.07	c (7,0) c OverlapRateTime_2 : 0.000000
222.79/142.07	c (7,0) c OverlapRateTime_3 : 0.000000
222.79/142.07	c (7,0) c OverlapRateTime_4 : 0.000000
222.79/142.07	c (7,0) c OverlapRateTime_5 : 0.000000
222.79/142.07	c (7,0) c OverlapRateTime_6 : 0.000000
222.79/142.07	c (7,0) c OverlapRateTime_7 : 0.000000
222.79/142.07	c (7,0) c OverlapRateTime_total : 0.000000
222.79/142.07	c (7,0) c OverlapRateTime_winner : 0.000000
222.79/142.07	c (7,0) c
222.79/142.07	c (7,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
222.79/142.07	c (7,0) c
222.79/142.07	c (7,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
222.79/142.07	c (7,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
222.79/142.07	c (7,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
222.79/142.07	c (7,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
222.79/142.07	c (7,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
222.79/142.07	c (7,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
222.79/142.07	c (7,0) c | Initial random_seed   | 1245318935 |  385234098 |  524758921 | 1761022727 |  509404796 |  253481533 | 1890581397 |  695981072 |
222.79/142.07	c (7,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
222.79/142.07	c (7,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
222.79/142.07	c (7,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
222.79/142.07	c (7,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
222.79/142.07	c (7,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
222.79/142.07	c (7,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
222.79/142.07	c (7,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
222.79/142.07	c (7,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
222.79/142.07	c (7,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
222.79/142.07	c (7,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
222.79/142.07	c (7,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
222.79/142.07	c (7,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
222.79/142.07	c (7,0) 
222.79/142.07	c (7,0) s UNSATISFIABLE
194.99/142.11	c (7,0) SatSolver.solve End
194.99/142.11	c (7,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
194.99/142.11	c (7,0) Show results Begin
194.99/142.11	s UNSATISFIABLE
194.99/142.11	c (7,0) Show results End
194.99/142.11	c (7,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
194.99/142.11	c (7,0) 7,7,STOP-AFTER(ALL)
194.99/142.11	c END-Prog: Sat Sep 14 09:37:56 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-4392314-1568446573/watcher-4392314-1568446573 -o /tmp/evaluation-result-4392314-1568446573/solver-4392314-1568446573 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node133-1568439804-25815 --watchdog 2580 HOME/scop.sh 22g HOME/scop.jar -order HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4392314-1568446573.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=27476, runsolver pid=27473
Current StackSize limit: 8192 KiB


[startup+0.100153 s]*
/proc/loadavg: 7.67 8.21 8.25 3/216 27498
/proc/meminfo: memFree=31363924/32770624 swapFree=67004168/67108860
[pid=27476] ppid=27473 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/27476/stat : 27476 (scop.sh) S 27473 27476 25788 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 420896946 115843072 349 33554432000 4194304 5098028 140722838995216 140722838992472 139884730208892 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 23486464 140722838999845 140722839000172 140722839000172 140722839003085 0
/proc/27476/statm: 28282 349 296 221 0 87 0
[pid=27479] ppid=27476 vsize=27314120 memory=104064 CPUtime=0.1 cores=0-7
/proc/27479/stat : 27479 (java) S 27476 27476 25788 0 -1 1077944320 6585 0 0 0 8 2 0 0 20 0 20 0 420896947 27969658880 26016 33554432000 4194304 4196468 140726152444272 140726152426816 140559078440695 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33120256 140726152450795 140726152451222 140726152451222 140726152454095 0
/proc/27479/statm: 6828530 26016 2812 1 0 6790935 0
[pid=27479/tid=27480] ppid=27476 vsize=27314120 memory=4134930498285298233 CPUtime=0.08 cores=0-7
/proc/27479/task/27480/stat : 27480 (java) R 27476 27476 25788 0 -1 4202560 4642 0 0 0 7 1 0 0 20 0 20 0 420896947 27969658880 26016 33554432000 4194304 4196468 140726152444272 140559050275824 140559078462621 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33120256 140726152450795 140726152451222 140726152451222 140726152454095 0
[pid=27479/tid=27481] ppid=27476 vsize=27314120 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/27479/task/27481/stat : 27481 (java) S 27476 27476 25788 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420896949 27969658880 26016 33554432000 4194304 4196468 140726152444272 140559082682640 140559078450901 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33120256 140726152450795 140726152451222 140726152451222 140726152454095 0
[pid=27479/tid=27482] ppid=27476 vsize=27314120 memory=139938870269568 CPUtime=0 cores=0-7
/proc/27479/task/27482/stat : 27482 (java) S 27476 27476 25788 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420896949 27969658880 26016 33554432000 4194304 4196468 140726152444272 140558501054864 140559078450901 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33120256 140726152450795 140726152451222 140726152451222 140726152454095 0
[pid=27479/tid=27483] ppid=27476 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/27479/task/27483/stat : 27483 (java) S 27476 27476 25788 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420896949 27969658880 26016 33554432000 4194304 4196468 140726152444272 140558500002320 140559078450901 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33120256 140726152450795 140726152451222 140726152451222 140726152454095 0
[pid=27479/tid=27484] ppid=27476 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/27479/task/27484/stat : 27484 (java) S 27476 27476 25788 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420896949 27969658880 26016 33554432000 4194304 4196468 140726152444272 140558498949776 140559078450901 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33120256 140726152450795 140726152451222 140726152451222 140726152454095 0
[pid=27479/tid=27485] ppid=27476 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/27479/task/27485/stat : 27485 (java) S 27476 27476 25788 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420896949 27969658880 26016 33554432000 4194304 4196468 140726152444272 140558497897232 140559078450901 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33120256 140726152450795 140726152451222 140726152451222 140726152454095 0
[pid=27479/tid=27486] ppid=27476 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/27479/task/27486/stat : 27486 (java) S 27476 27476 25788 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420896949 27969658880 26016 33554432000 4194304 4196468 140726152444272 140558496844688 140559078450901 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33120256 140726152450795 140726152451222 140726152451222 140726152454095 0
[pid=27479/tid=27487] ppid=27476 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/27479/task/27487/stat : 27487 (java) S 27476 27476 25788 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420896949 27969658880 26016 33554432000 4194304 4196468 140726152444272 140558495792144 140559078450901 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33120256 140726152450795 140726152451222 140726152451222 140726152454095 0
[pid=27479/tid=27488] ppid=27476 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/27479/task/27488/stat : 27488 (java) S 27476 27476 25788 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420896949 27969658880 26016 33554432000 4194304 4196468 140726152444272 140558494739600 140559078450901 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33120256 140726152450795 140726152451222 140726152451222 140726152454095 0
[pid=27479/tid=27489] ppid=27476 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/27479/task/27489/stat : 27489 (java) S 27476 27476 25788 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420896951 27969658880 26016 33554432000 4194304 4196468 140726152444272 140558069651440 140559078451842 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33120256 140726152450795 140726152451222 140726152451222 140726152454095 0
[pid=27479/tid=27490] ppid=27476 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/27479/task/27490/stat : 27490 (java) S 27476 27476 25788 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 420896951 27969658880 26528 33554432000 4194304 4196468 140726152444272 140556965503904 140559078450901 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33120256 140726152450795 140726152451222 140726152451222 140726152454095 0
[pid=27479/tid=27491] ppid=27476 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/27479/task/27491/stat : 27491 (java) S 27476 27476 25788 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 420896951 27969658880 26528 33554432000 4194304 4196468 140726152444272 140556831282160 140559078450901 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33120256 140726152450795 140726152451222 140726152451222 140726152454095 0
[pid=27479/tid=27492] ppid=27476 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/27479/task/27492/stat : 27492 (java) S 27476 27476 25788 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420896954 27969658880 26528 33554432000 4194304 4196468 140726152444272 140556456777936 140559078459291 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33120256 140726152450795 140726152451222 140726152451222 140726152454095 0
[pid=27479/tid=27493] ppid=27476 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/27479/task/27493/stat : 27493 (java) S 27476 27476 25788 0 -1 1077944384 314 0 0 0 0 0 0 0 20 0 20 0 420896954 27969658880 26528 33554432000 4194304 4196468 140726152444272 140558068599280 140559078451842 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33120256 140726152450795 140726152451222 140726152451222 140726152454095 0
[pid=27479/tid=27494] ppid=27476 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/27479/task/27494/stat : 27494 (java) S 27476 27476 25788 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420896954 27969658880 26528 33554432000 4194304 4196468 140726152444272 140558067546736 140559078451842 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33120256 140726152450795 140726152451222 140726152451222 140726152454095 0
[pid=27479/tid=27495] ppid=27476 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/27479/task/27495/stat : 27495 (java) S 27476 27476 25788 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420896954 27969658880 26528 33554432000 4194304 4196468 140726152444272 140558066494192 140559078451842 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33120256 140726152450795 140726152451222 140726152451222 140726152454095 0
[pid=27479/tid=27496] ppid=27476 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/27479/task/27496/stat : 27496 (java) S 27476 27476 25788 0 -1 1077944384 267 0 0 0 0 0 0 0 20 0 20 0 420896954 27969658880 26528 33554432000 4194304 4196468 140726152444272 140558065441648 140559078451842 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33120256 140726152450795 140726152451222 140726152451222 140726152454095 0
[pid=27479/tid=27497] ppid=27476 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/27479/task/27497/stat : 27497 (java) S 27476 27476 25788 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420896954 27969658880 26528 33554432000 4194304 4196468 140726152444272 140555958872288 140559078450901 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33120256 140726152450795 140726152451222 140726152451222 140726152454095 0
[pid=27479/tid=27498] ppid=27476 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/27479/task/27498/stat : 27498 (java) S 27476 27476 25788 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420896954 27969658880 26528 33554432000 4194304 4196468 140726152444272 140558064388528 140559078451842 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33120256 140726152450795 140726152451222 140726152451222 140726152454095 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 105460 KiB

[startup+0.21577 s]*
/proc/loadavg: 7.67 8.21 8.25 2/216 27498
/proc/meminfo: memFree=31342812/32770624 swapFree=67004168/67108860
[pid=27476] ppid=27473 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/27476/stat : 27476 (scop.sh) S 27473 27476 25788 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 420896946 115843072 349 33554432000 4194304 5098028 140722838995216 140722838992472 139884730208892 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 23486464 140722838999845 140722839000172 140722839000172 140722839003085 0
/proc/27476/statm: 28282 349 296 221 0 87 0
[pid=27479] ppid=27476 vsize=27314120 memory=123196 CPUtime=0.25 cores=0-7
/proc/27479/stat : 27479 (java) S 27476 27476 25788 0 -1 1077944320 12233 0 0 0 21 4 0 0 20 0 20 0 420896947 27969658880 30799 33554432000 4194304 4196468 140726152444272 140726152426816 140559078440695 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33120256 140726152450795 140726152451222 140726152451222 140726152454095 0
/proc/27479/statm: 6828530 30799 2914 1 0 6790935 0
[pid=27479/tid=27480] ppid=27476 vsize=27314120 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/27479/task/27480/stat : 27480 (java) R 27476 27476 25788 0 -1 4202560 9882 0 0 0 17 3 0 0 20 0 20 0 420896947 27969658880 30799 33554432000 4194304 4196468 140726152444272 140559050224256 140559062521182 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33120256 140726152450795 140726152451222 140726152451222 140726152454095 0
[pid=27479/tid=27481] ppid=27476 vsize=27314120 memory=331 CPUtime=0 cores=0-7
/proc/27479/task/27481/stat : 27481 (java) S 27476 27476 25788 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420896949 27969658880 30799 33554432000 4194304 4196468 140726152444272 140559082682640 140559078450901 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33120256 140726152450795 140726152451222 140726152451222 140726152454095 0
[pid=27479/tid=27482] ppid=27476 vsize=27314120 memory=3977718038822327968 CPUtime=0 cores=0-7
/proc/27479/task/27482/stat : 27482 (java) S 27476 27476 25788 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420896949 27969658880 30799 33554432000 4194304 4196468 140726152444272 140558501054864 140559078450901 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33120256 140726152450795 140726152451222 140726152451222 140726152454095 0
[pid=27479/tid=27483] ppid=27476 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/27479/task/27483/stat : 27483 (java) S 27476 27476 25788 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420896949 27969658880 30799 33554432000 4194304 4196468 140726152444272 140558500002320 140559078450901 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33120256 140726152450795 140726152451222 140726152451222 140726152454095 0
[pid=27479/tid=27484] ppid=27476 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/27479/task/27484/stat : 27484 (java) S 27476 27476 25788 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420896949 27969658880 30799 33554432000 4194304 4196468 140726152444272 140558498949776 140559078450901 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33120256 140726152450795 140726152451222 140726152451222 140726152454095 0
[pid=27479/tid=27485] ppid=27476 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/27479/task/27485/stat : 27485 (java) S 27476 27476 25788 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420896949 27969658880 30799 33554432000 4194304 4196468 140726152444272 140558497897232 140559078450901 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33120256 140726152450795 140726152451222 140726152451222 140726152454095 0
[pid=27479/tid=27486] ppid=27476 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/27479/task/27486/stat : 27486 (java) S 27476 27476 25788 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420896949 27969658880 30799 33554432000 4194304 4196468 140726152444272 140558496844688 140559078450901 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33120256 140726152450795 140726152451222 140726152451222 140726152454095 0
[pid=27479/tid=27487] ppid=27476 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/27479/task/27487/stat : 27487 (java) S 27476 27476 25788 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420896949 27969658880 30799 33554432000 4194304 4196468 140726152444272 140558495792144 140559078450901 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33120256 140726152450795 140726152451222 140726152451222 140726152454095 0
[pid=27479/tid=27488] ppid=27476 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/27479/task/27488/stat : 27488 (java) S 27476 27476 25788 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420896949 27969658880 30799 33554432000 4194304 4196468 140726152444272 140558494739600 140559078450901 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33120256 140726152450795 140726152451222 140726152451222 140726152454095 0
[pid=27479/tid=27489] ppid=27476 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/27479/task/27489/stat : 27489 (java) S 27476 27476 25788 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420896951 27969658880 30799 33554432000 4194304 4196468 140726152444272 140558069651440 140559078451842 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33120256 140726152450795 140726152451222 140726152451222 140726152454095 0
[pid=27479/tid=27490] ppid=27476 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/27479/task/27490/stat : 27490 (java) S 27476 27476 25788 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 420896951 27969658880 30799 33554432000 4194304 4196468 140726152444272 140556965503904 140559078450901 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33120256 140726152450795 140726152451222 140726152451222 140726152454095 0
[pid=27479/tid=27491] ppid=27476 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/27479/task/27491/stat : 27491 (java) S 27476 27476 25788 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 420896951 27969658880 30799 33554432000 4194304 4196468 140726152444272 140556831282160 140559078450901 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33120256 140726152450795 140726152451222 140726152451222 140726152454095 0
[pid=27479/tid=27492] ppid=27476 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/27479/task/27492/stat : 27492 (java) S 27476 27476 25788 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420896954 27969658880 30799 33554432000 4194304 4196468 140726152444272 140556456777936 140559078459291 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33120256 140726152450795 140726152451222 140726152451222 140726152454095 0
[pid=27479/tid=27493] ppid=27476 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/27479/task/27493/stat : 27493 (java) S 27476 27476 25788 0 -1 1077944384 455 0 0 0 0 0 0 0 20 0 20 0 420896954 27969658880 30799 33554432000 4194304 4196468 140726152444272 140558068599280 140559078451842 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33120256 140726152450795 140726152451222 140726152451222 140726152454095 0
[pid=27479/tid=27494] ppid=27476 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/27479/task/27494/stat : 27494 (java) S 27476 27476 25788 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 20 0 420896954 27969658880 30799 33554432000 4194304 4196468 140726152444272 140558067546736 140559078451842 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33120256 140726152450795 140726152451222 140726152451222 140726152454095 0
[pid=27479/tid=27495] ppid=27476 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/27479/task/27495/stat : 27495 (java) S 27476 27476 25788 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420896954 27969658880 30799 33554432000 4194304 4196468 140726152444272 140558066494192 140559078451842 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33120256 140726152450795 140726152451222 140726152451222 140726152454095 0
[pid=27479/tid=27496] ppid=27476 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7
/proc/27479/task/27496/stat : 27496 (java) S 27476 27476 25788 0 -1 1077944384 493 0 0 0 2 0 0 0 20 0 20 0 420896954 27969658880 30799 33554432000 4194304 4196468 140726152444272 140558065441648 140559078451842 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33120256 140726152450795 140726152451222 140726152451222 140726152454095 0
[pid=27479/tid=27497] ppid=27476 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/27479/task/27497/stat : 27497 (java) S 27476 27476 25788 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420896954 27969658880 30799 33554432000 4194304 4196468 140726152444272 140555958872288 140559078450901 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33120256 140726152450795 140726152451222 140726152451222 140726152454095 0
[pid=27479/tid=27498] ppid=27476 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/27479/task/27498/stat : 27498 (java) S 27476 27476 25788 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420896954 27969658880 30799 33554432000 4194304 4196468 140726152444272 140558064388528 140559078451842 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33120256 140726152450795 140726152451222 140726152451222 140726152454095 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 124592 KiB

[startup+0.314739 s]*
/proc/loadavg: 7.67 8.21 8.25 2/216 27500
/proc/meminfo: memFree=31341076/32770624 swapFree=67004168/67108860
[pid=27476] ppid=27473 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/27476/stat : 27476 (scop.sh) S 27473 27476 25788 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 420896946 115843072 349 33554432000 4194304 5098028 140722838995216 140722838992472 139884730208892 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 23486464 140722838999845 140722839000172 140722839000172 140722839003085 0
/proc/27476/statm: 28282 349 296 221 0 87 0
[pid=27479] ppid=27476 vsize=27314120 memory=127092 CPUtime=0.43 cores=0-7
/proc/27479/stat : 27479 (java) S 27476 27476 25788 0 -1 1077944320 13182 0 0 0 38 5 0 0 20 0 20 0 420896947 27969658880 31773 33554432000 4194304 4196468 140726152444272 140726152426816 140559078440695 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33120256 140726152450795 140726152451222 140726152451222 140726152454095 0
/proc/27479/statm: 6828530 31773 3020 1 0 6790935 0
[pid=27479/tid=27480] ppid=27476 vsize=27314120 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/27479/task/27480/stat : 27480 (java) R 27476 27476 25788 0 -1 4202560 10556 0 0 0 26 3 0 0 20 0 20 0 420896947 27969658880 31773 33554432000 4194304 4196468 140726152444272 140559050231344 140559058716097 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33120256 140726152450795 140726152451222 140726152451222 140726152454095 0
[pid=27479/tid=27481] ppid=27476 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/27479/task/27481/stat : 27481 (java) S 27476 27476 25788 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420896949 27969658880 31773 33554432000 4194304 4196468 140726152444272 140559082682640 140559078450901 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33120256 140726152450795 140726152451222 140726152451222 140726152454095 0
[pid=27479/tid=27482] ppid=27476 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/27479/task/27482/stat : 27482 (java) S 27476 27476 25788 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420896949 27969658880 31773 33554432000 4194304 4196468 140726152444272 140558501054864 140559078450901 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33120256 140726152450795 140726152451222 140726152451222 140726152454095 0
[pid=27479/tid=27483] ppid=27476 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/27479/task/27483/stat : 27483 (java) S 27476 27476 25788 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420896949 27969658880 31773 33554432000 4194304 4196468 140726152444272 140558500002320 140559078450901 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33120256 140726152450795 140726152451222 140726152451222 140726152454095 0
[pid=27479/tid=27484] ppid=27476 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/27479/task/27484/stat : 27484 (java) S 27476 27476 25788 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420896949 27969658880 31773 33554432000 4194304 4196468 140726152444272 140558498949776 140559078450901 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33120256 140726152450795 140726152451222 140726152451222 140726152454095 0
[pid=27479/tid=27485] ppid=27476 vsize=27314120 memory=2244 CPUtime=0 cores=0-7
/proc/27479/task/27485/stat : 27485 (java) S 27476 27476 25788 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420896949 27969658880 31773 33554432000 4194304 4196468 140726152444272 140558497897232 140559078450901 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33120256 140726152450795 140726152451222 140726152451222 140726152454095 0
[pid=27479/tid=27486] ppid=27476 vsize=27314120 memory=139938758751151 CPUtime=0 cores=0-7
/proc/27479/task/27486/stat : 27486 (java) S 27476 27476 25788 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420896949 27969658880 31773 33554432000 4194304 4196468 140726152444272 140558496844688 140559078450901 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33120256 140726152450795 140726152451222 140726152451222 140726152454095 0
[pid=27479/tid=27487] ppid=27476 vsize=27314120 memory=139938758753456 CPUtime=0 cores=0-7
/proc/27479/task/27487/stat : 27487 (java) S 27476 27476 25788 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420896949 27969658880 31773 33554432000 4194304 4196468 140726152444272 140558495792144 140559078450901 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33120256 140726152450795 140726152451222 140726152451222 140726152454095 0
[pid=27479/tid=27488] ppid=27476 vsize=27314120 memory=139938758755760 CPUtime=0 cores=0-7
/proc/27479/task/27488/stat : 27488 (java) S 27476 27476 25788 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420896949 27969658880 31773 33554432000 4194304 4196468 140726152444272 140558494739600 140559078450901 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33120256 140726152450795 140726152451222 140726152451222 140726152454095 0
[pid=27479/tid=27489] ppid=27476 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/27479/task/27489/stat : 27489 (java) S 27476 27476 25788 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420896951 27969658880 31773 33554432000 4194304 4196468 140726152444272 140558069651440 140559078451842 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33120256 140726152450795 140726152451222 140726152451222 140726152454095 0
[pid=27479/tid=27490] ppid=27476 vsize=27314120 memory=279877517518480 CPUtime=0 cores=0-7
/proc/27479/task/27490/stat : 27490 (java) S 27476 27476 25788 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 420896951 27969658880 31773 33554432000 4194304 4196468 140726152444272 140556965503904 140559078450901 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33120256 140726152450795 140726152451222 140726152451222 140726152454095 0
[pid=27479/tid=27491] ppid=27476 vsize=27314120 memory=279877517525392 CPUtime=0 cores=0-7
/proc/27479/task/27491/stat : 27491 (java) S 27476 27476 25788 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 420896951 27969658880 31773 33554432000 4194304 4196468 140726152444272 140556831282160 140559078450901 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33120256 140726152450795 140726152451222 140726152451222 140726152454095 0
[pid=27479/tid=27492] ppid=27476 vsize=27314120 memory=279877517466672 CPUtime=0 cores=0-7
/proc/27479/task/27492/stat : 27492 (java) S 27476 27476 25788 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420896954 27969658880 31773 33554432000 4194304 4196468 140726152444272 140556456777936 140559078459291 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33120256 140726152450795 140726152451222 140726152451222 140726152454095 0
[pid=27479/tid=27493] ppid=27476 vsize=27314120 memory=279877517539216 CPUtime=0.01 cores=0-7
/proc/27479/task/27493/stat : 27493 (java) S 27476 27476 25788 0 -1 1077944384 499 0 0 0 1 0 0 0 20 0 20 0 420896954 27969658880 31773 33554432000 4194304 4196468 140726152444272 140558068599280 140559078451842 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33120256 140726152450795 140726152451222 140726152451222 140726152454095 0
[pid=27479/tid=27494] ppid=27476 vsize=27314120 memory=279877517546128 CPUtime=0.02 cores=0-7
/proc/27479/task/27494/stat : 27494 (java) S 27476 27476 25788 0 -1 1077944384 132 0 0 0 2 0 0 0 20 0 20 0 420896954 27969658880 31773 33554432000 4194304 4196468 140726152444272 140558067546736 140559078451842 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33120256 140726152450795 140726152451222 140726152451222 140726152454095 0
[pid=27479/tid=27495] ppid=27476 vsize=27314120 memory=279877517543824 CPUtime=0 cores=0-7
/proc/27479/task/27495/stat : 27495 (java) S 27476 27476 25788 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 20 0 420896954 27969658880 31773 33554432000 4194304 4196468 140726152444272 140558066494192 140559078451842 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33120256 140726152450795 140726152451222 140726152451222 140726152454095 0
[pid=27479/tid=27496] ppid=27476 vsize=27314120 memory=279877517559984 CPUtime=0.07 cores=0-7
/proc/27479/task/27496/stat : 27496 (java) S 27476 27476 25788 0 -1 1077944384 601 0 0 0 7 0 0 0 20 0 20 0 420896954 27969658880 31773 33554432000 4194304 4196468 140726152444272 140558065441648 140559078451842 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33120256 140726152450795 140726152451222 140726152451222 140726152454095 0
[pid=27479/tid=27497] ppid=27476 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/27479/task/27497/stat : 27497 (java) S 27476 27476 25788 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420896954 27969658880 31773 33554432000 4194304 4196468 140726152444272 140555958872288 140559078450901 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33120256 140726152450795 140726152451222 140726152451222 140726152454095 0
[pid=27479/tid=27498] ppid=27476 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/27479/task/27498/stat : 27498 (java) S 27476 27476 25788 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420896954 27969658880 31773 33554432000 4194304 4196468 140726152444272 140558064388528 140559078451842 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33120256 140726152450795 140726152451222 140726152451222 140726152454095 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 128488 KiB

[startup+0.701026 s]
/proc/loadavg: 7.67 8.21 8.25 3/216 27500
/proc/meminfo: memFree=31319992/32770624 swapFree=67004168/67108860
[pid=27476] ppid=27473 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/27476/stat : 27476 (scop.sh) S 27473 27476 25788 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 420896946 115843072 349 33554432000 4194304 5098028 140722838995216 140722838992472 139884730208892 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 23486464 140722838999845 140722839000172 140722839000172 140722839003085 0
/proc/27476/statm: 28282 349 296 221 0 87 0
[pid=27479] ppid=27476 vsize=27320392 memory=162240 CPUtime=0.97 cores=0-7
/proc/27479/stat : 27479 (java) S 27476 27476 25788 0 -1 1077944320 20107 0 0 0 90 7 0 0 20 0 20 0 420896947 27976081408 40560 33554432000 4194304 4196468 140726152444272 140726152426816 140559078440695 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33120256 140726152450795 140726152451222 140726152451222 140726152454095 0
/proc/27479/statm: 6830098 40560 3184 1 0 6791447 0
[pid=27479/tid=27480] ppid=27476 vsize=27320392 memory=279877517917872 CPUtime=0.67 cores=0-7
/proc/27479/task/27480/stat : 27480 (java) R 27476 27476 25788 0 -1 4202560 16981 0 0 0 62 5 0 0 20 0 20 0 420896947 27976081408 40560 33554432000 4194304 4196468 140726152444272 140559050276720 140559078462621 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33120256 140726152450795 140726152451222 140726152451222 140726152454095 0
[pid=27479/tid=27481] ppid=27476 vsize=27320392 memory=139938758959984 CPUtime=0 cores=0-7
/proc/27479/task/27481/stat : 27481 (java) S 27476 27476 25788 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420896949 27976081408 40560 33554432000 4194304 4196468 140726152444272 140559082682640 140559078450901 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33120256 140726152450795 140726152451222 140726152451222 140726152454095 0
[pid=27479/tid=27482] ppid=27476 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/27479/task/27482/stat : 27482 (java) S 27476 27476 25788 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420896949 27976081408 40560 33554432000 4194304 4196468 140726152444272 140558501054864 140559078450901 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33120256 140726152450795 140726152451222 140726152451222 140726152454095 0
[pid=27479/tid=27483] ppid=27476 vsize=27320392 memory=2832 CPUtime=0 cores=0-7
/proc/27479/task/27483/stat : 27483 (java) S 27476 27476 25788 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420896949 27976081408 40584 33554432000 4194304 4196468 140726152444272 140558500002320 140559078450901 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33120256 140726152450795 140726152451222 140726152451222 140726152454095 0

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

/proc/27508/task/27515/stat : 27515 (java) S 27476 27476 25788 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420910345 8616062976 30870 33554432000 4194304 4196468 140733315290064 140014336850960 140014856435413 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12169216 140733315298295 140733315298454 140733315298454 140733315301327 0
[pid=27508/tid=27516] ppid=27476 vsize=8414124 memory=1212 CPUtime=0 cores=0-7
/proc/27508/task/27516/stat : 27516 (java) S 27476 27476 25788 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420910345 8616062976 30870 33554432000 4194304 4196468 140733315290064 140014335798160 140014856435413 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12169216 140733315298295 140733315298454 140733315298454 140733315301327 0
[pid=27508/tid=27517] ppid=27476 vsize=8414124 memory=1036 CPUtime=0 cores=0-7
/proc/27508/task/27517/stat : 27517 (java) S 27476 27476 25788 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420910345 8616062976 30870 33554432000 4194304 4196468 140733315290064 140014334745360 140014856435413 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12169216 140733315298295 140733315298454 140733315298454 140733315301327 0
[pid=27508/tid=27518] ppid=27476 vsize=8414124 memory=14008 CPUtime=0 cores=0-7
/proc/27508/task/27518/stat : 27518 (java) S 27476 27476 25788 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 420910346 8616062976 30870 33554432000 4194304 4196468 140733315290064 140013681494384 140014856436354 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12169216 140733315298295 140733315298454 140733315298454 140733315301327 0
[pid=27508/tid=27519] ppid=27476 vsize=8414124 memory=1660 CPUtime=0 cores=0-7
/proc/27508/task/27519/stat : 27519 (java) S 27476 27476 25788 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 420910346 8616062976 30870 33554432000 4194304 4196468 140733315290064 140013517923360 140014856435413 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12169216 140733315298295 140733315298454 140733315298454 140733315301327 0
[pid=27508/tid=27520] ppid=27476 vsize=8414124 memory=1808 CPUtime=0 cores=0-7
/proc/27508/task/27520/stat : 27520 (java) S 27476 27476 25788 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420910347 8616062976 30870 33554432000 4194304 4196468 140733315290064 140013249487728 140014856435413 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12169216 140733315298295 140733315298454 140733315298454 140733315301327 0
[pid=27508/tid=27521] ppid=27476 vsize=8414124 memory=924 CPUtime=0 cores=0-7
/proc/27508/task/27521/stat : 27521 (java) S 27476 27476 25788 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420910349 8616062976 30870 33554432000 4194304 4196468 140733315290064 140012874979152 140014856443803 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12169216 140733315298295 140733315298454 140733315298454 140733315301327 0
[pid=27508/tid=27522] ppid=27476 vsize=8414124 memory=4212 CPUtime=0.1 cores=0-7
/proc/27508/task/27522/stat : 27522 (java) S 27476 27476 25788 0 -1 1077944384 734 0 0 0 10 0 0 0 20 0 24 0 420910349 8616062976 30870 33554432000 4194304 4196468 140733315290064 140013680442224 140014856436354 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12169216 140733315298295 140733315298454 140733315298454 140733315301327 0
[pid=27508/tid=27523] ppid=27476 vsize=8414124 memory=4100 CPUtime=0.11 cores=0-7
/proc/27508/task/27523/stat : 27523 (java) S 27476 27476 25788 0 -1 1077944384 315 0 0 0 11 0 0 0 20 0 24 0 420910349 8616062976 30870 33554432000 4194304 4196468 140733315290064 140013679389424 140014856436354 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12169216 140733315298295 140733315298454 140733315298454 140733315301327 0
[pid=27508/tid=27524] ppid=27476 vsize=8414124 memory=1412 CPUtime=0.07 cores=0-7
/proc/27508/task/27524/stat : 27524 (java) S 27476 27476 25788 0 -1 1077944384 332 0 0 0 7 0 0 0 20 0 24 0 420910350 8616062976 30870 33554432000 4194304 4196468 140733315290064 140013678336624 140014856436354 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12169216 140733315298295 140733315298454 140733315298454 140733315301327 0
[pid=27508/tid=27525] ppid=27476 vsize=8414124 memory=3184 CPUtime=0.23 cores=0-7
/proc/27508/task/27525/stat : 27525 (java) S 27476 27476 25788 0 -1 1077944384 578 0 0 0 23 0 0 0 20 0 24 0 420910350 8616062976 30870 33554432000 4194304 4196468 140733315290064 140013677283824 140014856436354 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12169216 140733315298295 140733315298454 140733315298454 140733315301327 0
[pid=27508/tid=27526] ppid=27476 vsize=8414124 memory=12024 CPUtime=0 cores=0-7
/proc/27508/task/27526/stat : 27526 (java) S 27476 27476 25788 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 420910350 8616062976 30870 33554432000 4194304 4196468 140733315290064 140012377074272 140014856435413 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12169216 140733315298295 140733315298454 140733315298454 140733315301327 0
[pid=27508/tid=27527] ppid=27476 vsize=8414124 memory=2116 CPUtime=0 cores=0-7
/proc/27508/task/27527/stat : 27527 (java) S 27476 27476 25788 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 420910350 8616062976 30870 33554432000 4194304 4196468 140733315290064 140013676231216 140014856436354 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 7 0 0 6293624 6294260 12169216 140733315298295 140733315298454 140733315298454 140733315301327 0
[pid=27508/tid=27529] ppid=27476 vsize=8414124 memory=21920 CPUtime=0 cores=0-7
/proc/27508/task/27529/stat : 27529 (java) S 27476 27476 25788 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 420910422 8616062976 30870 33554432000 4194304 4196468 140733315290064 140013668197440 140014856449817 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 12169216 140733315298295 140733315298454 140733315298454 140733315301327 0
[pid=27508/tid=27531] ppid=27476 vsize=8414124 memory=496 CPUtime=0 cores=0-7
/proc/27508/task/27531/stat : 27531 (java) S 27476 27476 25788 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 24 0 420910422 8616062976 30870 33554432000 4194304 4196468 140733315290064 140011705974928 140014856447133 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 12169216 140733315298295 140733315298454 140733315298454 140733315301327 0
[pid=27508/tid=27532] ppid=27476 vsize=8414124 memory=1564 CPUtime=0 cores=0-7
/proc/27508/task/27532/stat : 27532 (java) S 27476 27476 25788 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 24 0 420910422 8616062976 30870 33554432000 4194304 4196468 140733315290064 140011974410256 140014856447133 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 12169216 140733315298295 140733315298454 140733315298454 140733315301327 0
[pid=27508/tid=27533] ppid=27476 vsize=8414124 memory=928 CPUtime=0 cores=0-7
/proc/27508/task/27533/stat : 27533 (java) S 27476 27476 25788 0 -1 1077944384 136 0 0 0 0 0 0 0 20 0 24 0 420910424 8616062976 30870 33554432000 4194304 4196468 140733315290064 140011437547056 140014856435413 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12169216 140733315298295 140733315298454 140733315298454 140733315301327 0
Current children cumulated CPU time: 221.17 s
Current children cumulated vsize: 10232812 KiB
Current children cumulated memory: 1244004 KiB

[startup+142.001 s]*
/proc/loadavg: 1.64 5.51 7.24 2/223 27543
/proc/meminfo: memFree=30191800/32770624 swapFree=67004168/67108860
[pid=27476] ppid=27473 vsize=113128 memory=1476 CPUtime=193.58 cores=0-7
/proc/27476/stat : 27476 (scop.sh) S 27473 27476 25788 0 -1 4202496 582 90078 0 0 0 0 18213 1145 20 0 1 0 420896946 115843072 369 33554432000 4194304 5098028 140722838995216 140722838991960 139884730208892 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 23486464 140722838999845 140722839000172 140722839000172 140722839003085 0
/proc/27476/statm: 28282 369 311 221 0 87 0
[pid=27508] ppid=27476 vsize=8414124 memory=123480 CPUtime=1.35 cores=0-7
/proc/27508/stat : 27508 (java) S 27476 27476 25788 0 -1 1077944320 20355 0 0 0 127 8 0 0 20 0 24 0 420910342 8616062976 30870 33554432000 4194304 4196468 140733315290064 140733315272608 140014856425207 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 12169216 140733315298295 140733315298454 140733315298454 140733315301327 0
/proc/27508/statm: 2103531 30870 3198 1 0 2064875 0
[pid=27528] ppid=27508 vsize=1705692 memory=1119748 CPUtime=27.86 cores=0-7
/proc/27528/stat : 27528 (manyglucose-4.1) S 27508 27476 25788 0 -1 1077944320 492540 0 0 0 2671 115 0 0 20 0 2 0 420910422 1746628608 279937 33554432000 4194304 4454172 140727553356656 140727553355040 140702086663927 0 4 0 8388610 18446744073709551615 0 0 17 4 0 0 0 0 0 6552832 6554400 29253632 140727553360745 140727553360944 140727553360944 140727553363898 0
/proc/27528/statm: 426423 279937 420 64 0 422091 0
[pid=27528/tid=27537] ppid=27508 vsize=1705692 memory=0 CPUtime=3.13 cores=0-7
/proc/27528/task/27537/stat : 27537 (manyglucose-4.1) R 27508 27476 25788 0 -1 4202560 44871 0 0 0 296 17 0 0 20 0 2 0 420910825 1746628608 279937 33554432000 4194304 4454172 140727553356656 140701452962920 4351286 0 4 0 8388610 0 0 0 -1 4 0 0 0 0 0 6552832 6554400 29253632 140727553360745 140727553360944 140727553360944 140727553363898 0
[pid=27508/tid=27509] ppid=27476 vsize=8414124 memory=7686721470367701658 CPUtime=0.8 cores=0-7
/proc/27508/task/27509/stat : 27509 (java) S 27476 27476 25788 0 -1 1077944384 16865 0 0 0 74 6 0 0 20 0 24 0 420910343 8616062976 30870 33554432000 4194304 4196468 140733315290064 140014828265376 140014856435413 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12169216 140733315298295 140733315298454 140733315298454 140733315301327 0
[pid=27508/tid=27510] ppid=27476 vsize=8414124 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/27508/task/27510/stat : 27510 (java) S 27476 27476 25788 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420910345 8616062976 30870 33554432000 4194304 4196468 140733315290064 140014860667536 140014856435413 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12169216 140733315298295 140733315298454 140733315298454 140733315301327 0
[pid=27508/tid=27511] ppid=27476 vsize=8414124 memory=7686721470367701658 CPUtime=0 cores=0-7
/proc/27508/task/27511/stat : 27511 (java) S 27476 27476 25788 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 420910345 8616062976 30870 33554432000 4194304 4196468 140733315290064 140014660835856 140014856435413 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12169216 140733315298295 140733315298454 140733315298454 140733315301327 0
[pid=27508/tid=27512] ppid=27476 vsize=8414124 memory=7521949701083064165 CPUtime=0 cores=0-7
/proc/27508/task/27512/stat : 27512 (java) S 27476 27476 25788 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420910345 8616062976 30870 33554432000 4194304 4196468 140733315290064 140014340008336 140014856435413 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12169216 140733315298295 140733315298454 140733315298454 140733315301327 0
[pid=27508/tid=27513] ppid=27476 vsize=8414124 memory=13773 CPUtime=0 cores=0-7
/proc/27508/task/27513/stat : 27513 (java) S 27476 27476 25788 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420910345 8616062976 30870 33554432000 4194304 4196468 140733315290064 140014338955536 140014856435413 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12169216 140733315298295 140733315298454 140733315298454 140733315301327 0
[pid=27508/tid=27514] ppid=27476 vsize=8414124 memory=14174 CPUtime=0 cores=0-7
/proc/27508/task/27514/stat : 27514 (java) S 27476 27476 25788 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420910345 8616062976 30870 33554432000 4194304 4196468 140733315290064 140014337903760 140014856435413 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12169216 140733315298295 140733315298454 140733315298454 140733315301327 0
[pid=27508/tid=27515] ppid=27476 vsize=8414124 memory=14174 CPUtime=0 cores=0-7
/proc/27508/task/27515/stat : 27515 (java) S 27476 27476 25788 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420910345 8616062976 30870 33554432000 4194304 4196468 140733315290064 140014336850960 140014856435413 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12169216 140733315298295 140733315298454 140733315298454 140733315301327 0
[pid=27508/tid=27516] ppid=27476 vsize=8414124 memory=8028061496005317991 CPUtime=0 cores=0-7
/proc/27508/task/27516/stat : 27516 (java) S 27476 27476 25788 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420910345 8616062976 30870 33554432000 4194304 4196468 140733315290064 140014335798160 140014856435413 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12169216 140733315298295 140733315298454 140733315298454 140733315301327 0
[pid=27508/tid=27517] ppid=27476 vsize=8414124 memory=8028061496005317991 CPUtime=0 cores=0-7
/proc/27508/task/27517/stat : 27517 (java) S 27476 27476 25788 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420910345 8616062976 30870 33554432000 4194304 4196468 140733315290064 140014334745360 140014856435413 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12169216 140733315298295 140733315298454 140733315298454 140733315301327 0
[pid=27508/tid=27518] ppid=27476 vsize=8414124 memory=7682744562847679290 CPUtime=0 cores=0-7
/proc/27508/task/27518/stat : 27518 (java) S 27476 27476 25788 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 420910346 8616062976 30870 33554432000 4194304 4196468 140733315290064 140013681494384 140014856436354 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12169216 140733315298295 140733315298454 140733315298454 140733315301327 0
[pid=27508/tid=27519] ppid=27476 vsize=8414124 memory=4206468019014099040 CPUtime=0 cores=0-7
/proc/27508/task/27519/stat : 27519 (java) S 27476 27476 25788 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 420910346 8616062976 30870 33554432000 4194304 4196468 140733315290064 140013517923360 140014856435413 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12169216 140733315298295 140733315298454 140733315298454 140733315301327 0
[pid=27508/tid=27520] ppid=27476 vsize=8414124 memory=-8990767739041717920 CPUtime=0 cores=0-7
/proc/27508/task/27520/stat : 27520 (java) S 27476 27476 25788 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420910347 8616062976 30870 33554432000 4194304 4196468 140733315290064 140013249487728 140014856435413 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12169216 140733315298295 140733315298454 140733315298454 140733315301327 0
[pid=27508/tid=27521] ppid=27476 vsize=8414124 memory=-7522837415797432224 CPUtime=0 cores=0-7
/proc/27508/task/27521/stat : 27521 (java) S 27476 27476 25788 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420910349 8616062976 30870 33554432000 4194304 4196468 140733315290064 140012874979152 140014856443803 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12169216 140733315298295 140733315298454 140733315298454 140733315301327 0
[pid=27508/tid=27522] ppid=27476 vsize=8414124 memory=7230653925048741480 CPUtime=0.1 cores=0-7
/proc/27508/task/27522/stat : 27522 (java) S 27476 27476 25788 0 -1 1077944384 734 0 0 0 10 0 0 0 20 0 24 0 420910349 8616062976 30870 33554432000 4194304 4196468 140733315290064 140013680442224 140014856436354 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12169216 140733315298295 140733315298454 140733315298454 140733315301327 0
[pid=27508/tid=27523] ppid=27476 vsize=8414124 memory=7230653925048741480 CPUtime=0.11 cores=0-7
/proc/27508/task/27523/stat : 27523 (java) S 27476 27476 25788 0 -1 1077944384 315 0 0 0 11 0 0 0 20 0 24 0 420910349 8616062976 30870 33554432000 4194304 4196468 140733315290064 140013679389424 140014856436354 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12169216 140733315298295 140733315298454 140733315298454 140733315301327 0
[pid=27508/tid=27524] ppid=27476 vsize=8414124 memory=7230653925048741480 CPUtime=0.07 cores=0-7
/proc/27508/task/27524/stat : 27524 (java) S 27476 27476 25788 0 -1 1077944384 332 0 0 0 7 0 0 0 20 0 24 0 420910350 8616062976 30870 33554432000 4194304 4196468 140733315290064 140013678336624 140014856436354 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12169216 140733315298295 140733315298454 140733315298454 140733315301327 0
[pid=27508/tid=27525] ppid=27476 vsize=8414124 memory=0 CPUtime=0.23 cores=0-7
/proc/27508/task/27525/stat : 27525 (java) S 27476 27476 25788 0 -1 1077944384 578 0 0 0 23 0 0 0 20 0 24 0 420910350 8616062976 30870 33554432000 4194304 4196468 140733315290064 140013677283824 140014856436354 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12169216 140733315298295 140733315298454 140733315298454 140733315301327 0
[pid=27508/tid=27526] ppid=27476 vsize=8414124 memory=279877518360152 CPUtime=0 cores=0-7
/proc/27508/task/27526/stat : 27526 (java) S 27476 27476 25788 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 420910350 8616062976 30870 33554432000 4194304 4196468 140733315290064 140012377074272 140014856435413 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12169216 140733315298295 140733315298454 140733315298454 140733315301327 0
[pid=27508/tid=27527] ppid=27476 vsize=8414124 memory=13773 CPUtime=0 cores=0-7
/proc/27508/task/27527/stat : 27527 (java) S 27476 27476 25788 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 420910350 8616062976 30870 33554432000 4194304 4196468 140733315290064 140013676231216 140014856436354 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 7 0 0 6293624 6294260 12169216 140733315298295 140733315298454 140733315298454 140733315301327 0
[pid=27508/tid=27529] ppid=27476 vsize=8414124 memory=14174 CPUtime=0 cores=0-7
/proc/27508/task/27529/stat : 27529 (java) S 27476 27476 25788 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 420910422 8616062976 30870 33554432000 4194304 4196468 140733315290064 140013668197440 140014856449817 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 12169216 140733315298295 140733315298454 140733315298454 140733315301327 0
[pid=27508/tid=27531] ppid=27476 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/27508/task/27531/stat : 27531 (java) S 27476 27476 25788 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 24 0 420910422 8616062976 30870 33554432000 4194304 4196468 140733315290064 140011705974928 140014856447133 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 12169216 140733315298295 140733315298454 140733315298454 140733315301327 0
[pid=27508/tid=27532] ppid=27476 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/27508/task/27532/stat : 27532 (java) S 27476 27476 25788 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 24 0 420910422 8616062976 30870 33554432000 4194304 4196468 140733315290064 140011974410256 140014856447133 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 12169216 140733315298295 140733315298454 140733315298454 140733315301327 0
[pid=27508/tid=27533] ppid=27476 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/27508/task/27533/stat : 27533 (java) S 27476 27476 25788 0 -1 1077944384 136 0 0 0 0 0 0 0 20 0 24 0 420910424 8616062976 30870 33554432000 4194304 4196468 140733315290064 140011437547056 140014856435413 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12169216 140733315298295 140733315298454 140733315298454 140733315301327 0
Current children cumulated CPU time: 222.79 s
Current children cumulated vsize: 10232944 KiB
Current children cumulated memory: 1244704 KiB

[startup+142.111 s]
/proc/loadavg: 1.64 5.51 7.24 2/223 27543
/proc/meminfo: memFree=30191800/32770624 swapFree=67004168/67108860
[pid=27476] ppid=27473 vsize=113128 memory=1476 CPUtime=193.58 cores=0-7
/proc/27476/stat : 27476 (scop.sh) S 27473 27476 25788 0 -1 4202496 582 90078 0 0 0 0 18213 1145 20 0 1 0 420896946 115843072 369 33554432000 4194304 5098028 140722838995216 140722838991960 139884730208892 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 23486464 140722838999845 140722839000172 140722839000172 140722839003085 0
/proc/27476/statm: 28282 369 311 221 0 87 0
[pid=27508] ppid=27476 vsize=8414124 memory=124528 CPUtime=1.41 cores=0-7
/proc/27508/stat : 27508 (java) S 27476 27476 25788 0 -1 1077944320 20599 0 0 0 132 9 0 0 20 0 24 0 420910342 8616062976 31132 33554432000 4194304 4196468 140733315290064 140733315272608 140014856425207 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 12169216 140733315298295 140733315298454 140733315298454 140733315301327 0
/proc/27508/statm: 2103531 31132 3198 1 0 2064875 0
[pid=27508/tid=27509] ppid=27476 vsize=8414124 memory=1476 CPUtime=0.8 cores=0-7
/proc/27508/task/27509/stat : 27509 (java) S 27476 27476 25788 0 -1 1077944384 16865 0 0 0 74 6 0 0 20 0 24 0 420910343 8616062976 31132 33554432000 4194304 4196468 140733315290064 140014828265376 140014856435413 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12169216 140733315298295 140733315298454 140733315298454 140733315301327 0
[pid=27508/tid=27510] ppid=27476 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/27508/task/27510/stat : 27510 (java) S 27476 27476 25788 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420910345 8616062976 31132 33554432000 4194304 4196468 140733315290064 140014860667536 140014856435413 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12169216 140733315298295 140733315298454 140733315298454 140733315301327 0
[pid=27508/tid=27511] ppid=27476 vsize=8414124 memory=3690902721126295104 CPUtime=0 cores=0-7
/proc/27508/task/27511/stat : 27511 (java) S 27476 27476 25788 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 420910345 8616062976 31132 33554432000 4194304 4196468 140733315290064 140014660835856 140014856435413 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12169216 140733315298295 140733315298454 140733315298454 140733315301327 0
[pid=27508/tid=27512] ppid=27476 vsize=8414124 memory=1396 CPUtime=0 cores=0-7
/proc/27508/task/27512/stat : 27512 (java) S 27476 27476 25788 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420910345 8616062976 31132 33554432000 4194304 4196468 140733315290064 140014340008336 140014856435413 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12169216 140733315298295 140733315298454 140733315298454 140733315301327 0
[pid=27508/tid=27513] ppid=27476 vsize=8414124 memory=9873032 CPUtime=0 cores=0-7
/proc/27508/task/27513/stat : 27513 (java) S 27476 27476 25788 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420910345 8616062976 31132 33554432000 4194304 4196468 140733315290064 140014338955536 140014856435413 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12169216 140733315298295 140733315298454 140733315298454 140733315301327 0
[pid=27508/tid=27514] ppid=27476 vsize=8414124 memory=496 CPUtime=0 cores=0-7
/proc/27508/task/27514/stat : 27514 (java) S 27476 27476 25788 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420910345 8616062976 31132 33554432000 4194304 4196468 140733315290064 140014337903760 140014856435413 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12169216 140733315298295 140733315298454 140733315298454 140733315301327 0
[pid=27508/tid=27515] ppid=27476 vsize=8414124 memory=1396 CPUtime=0 cores=0-7
/proc/27508/task/27515/stat : 27515 (java) S 27476 27476 25788 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420910345 8616062976 31132 33554432000 4194304 4196468 140733315290064 140014336850960 140014856435413 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12169216 140733315298295 140733315298454 140733315298454 140733315301327 0
[pid=27508/tid=27516] ppid=27476 vsize=8414124 memory=9248248 CPUtime=0 cores=0-7
/proc/27508/task/27516/stat : 27516 (java) S 27476 27476 25788 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420910345 8616062976 31132 33554432000 4194304 4196468 140733315290064 140014335798160 140014856435413 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12169216 140733315298295 140733315298454 140733315298454 140733315301327 0
[pid=27508/tid=27517] ppid=27476 vsize=8414124 memory=1396 CPUtime=0 cores=0-7
/proc/27508/task/27517/stat : 27517 (java) S 27476 27476 25788 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420910345 8616062976 31132 33554432000 4194304 4196468 140733315290064 140014334745360 140014856435413 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12169216 140733315298295 140733315298454 140733315298454 140733315301327 0
[pid=27508/tid=27518] ppid=27476 vsize=8414124 memory=8252 CPUtime=0 cores=0-7
/proc/27508/task/27518/stat : 27518 (java) S 27476 27476 25788 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 420910346 8616062976 31132 33554432000 4194304 4196468 140733315290064 140013681494384 140014856436354 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12169216 140733315298295 140733315298454 140733315298454 140733315301327 0
[pid=27508/tid=27519] ppid=27476 vsize=8414124 memory=5936 CPUtime=0 cores=0-7
/proc/27508/task/27519/stat : 27519 (java) S 27476 27476 25788 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 420910346 8616062976 31132 33554432000 4194304 4196468 140733315290064 140013517923360 140014856435413 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12169216 140733315298295 140733315298454 140733315298454 140733315301327 0
[pid=27508/tid=27520] ppid=27476 vsize=8414124 memory=1056 CPUtime=0 cores=0-7
/proc/27508/task/27520/stat : 27520 (java) S 27476 27476 25788 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420910347 8616062976 31132 33554432000 4194304 4196468 140733315290064 140013249487728 140014856435413 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12169216 140733315298295 140733315298454 140733315298454 140733315301327 0
[pid=27508/tid=27521] ppid=27476 vsize=8414124 memory=168152 CPUtime=0 cores=0-7
/proc/27508/task/27521/stat : 27521 (java) S 27476 27476 25788 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420910349 8616062976 31132 33554432000 4194304 4196468 140733315290064 140012874979152 140014856443803 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12169216 140733315298295 140733315298454 140733315298454 140733315301327 0
[pid=27508/tid=27522] ppid=27476 vsize=8414124 memory=1476 CPUtime=0.1 cores=0-7
/proc/27508/task/27522/stat : 27522 (java) S 27476 27476 25788 0 -1 1077944384 734 0 0 0 10 0 0 0 20 0 24 0 420910349 8616062976 31132 33554432000 4194304 4196468 140733315290064 140013680442224 140014856436354 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12169216 140733315298295 140733315298454 140733315298454 140733315301327 0
[pid=27508/tid=27523] ppid=27476 vsize=8414124 memory=123480 CPUtime=0.11 cores=0-7
/proc/27508/task/27523/stat : 27523 (java) S 27476 27476 25788 0 -1 1077944384 317 0 0 0 11 0 0 0 20 0 24 0 420910349 8616062976 31132 33554432000 4194304 4196468 140733315290064 140013679389424 140014856436354 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12169216 140733315298295 140733315298454 140733315298454 140733315301327 0
[pid=27508/tid=27524] ppid=27476 vsize=8414124 memory=1220 CPUtime=0.08 cores=0-7
/proc/27508/task/27524/stat : 27524 (java) S 27476 27476 25788 0 -1 1077944384 337 0 0 0 8 0 0 0 20 0 24 0 420910350 8616062976 31132 33554432000 4194304 4196468 140733315290064 140013678336624 140014856436354 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12169216 140733315298295 140733315298454 140733315298454 140733315301327 0
[pid=27508/tid=27525] ppid=27476 vsize=8414124 memory=1616 CPUtime=0.24 cores=0-7
/proc/27508/task/27525/stat : 27525 (java) S 27476 27476 25788 0 -1 1077944384 808 0 0 0 24 0 0 0 20 0 24 0 420910350 8616062976 31132 33554432000 4194304 4196468 140733315290064 140013677283824 140014856436354 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12169216 140733315298295 140733315298454 140733315298454 140733315301327 0
[pid=27508/tid=27526] ppid=27476 vsize=8414124 memory=784 CPUtime=0 cores=0-7
/proc/27508/task/27526/stat : 27526 (java) S 27476 27476 25788 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 420910350 8616062976 31132 33554432000 4194304 4196468 140733315290064 140012377074272 140014856435413 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12169216 140733315298295 140733315298454 140733315298454 140733315301327 0
[pid=27508/tid=27527] ppid=27476 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/27508/task/27527/stat : 27527 (java) S 27476 27476 25788 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 420910350 8616062976 31132 33554432000 4194304 4196468 140733315290064 140013676231216 140014856436354 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 7 0 0 6293624 6294260 12169216 140733315298295 140733315298454 140733315298454 140733315301327 0
[pid=27508/tid=27529] ppid=27476 vsize=8414124 memory=123480 CPUtime=0 cores=0-7
/proc/27508/task/27529/stat : 27529 (java) S 27476 27476 25788 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 420910422 8616062976 31132 33554432000 4194304 4196468 140733315290064 140013668197440 140014856449817 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 12169216 140733315298295 140733315298454 140733315298454 140733315301327 0
[pid=27508/tid=27531] ppid=27476 vsize=8414124 memory=234872 CPUtime=0.01 cores=0-7
/proc/27508/task/27531/stat : 27531 (java) S 27476 27476 25788 0 -1 4202560 17 0 0 0 1 0 0 0 20 0 24 0 420910422 8616062976 31132 33554432000 4194304 4196468 140733315290064 140011705974960 140014856447133 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 12169216 140733315298295 140733315298454 140733315298454 140733315301327 0
[pid=27508/tid=27532] ppid=27476 vsize=8414124 memory=56 CPUtime=0 cores=0-7
/proc/27508/task/27532/stat : 27532 (java) S 27476 27476 25788 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 24 0 420910422 8616062976 31132 33554432000 4194304 4196468 140733315290064 140011974410256 140014856447133 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 12169216 140733315298295 140733315298454 140733315298454 140733315301327 0
[pid=27508/tid=27533] ppid=27476 vsize=8414124 memory=-9178176117148050014 CPUtime=0 cores=0-7
/proc/27508/task/27533/stat : 27533 (java) S 27476 27476 25788 0 -1 1077944384 136 0 0 0 0 0 0 0 20 0 24 0 420910424 8616062976 31132 33554432000 4194304 4196468 140733315290064 140011437547056 140014856435413 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12169216 140733315298295 140733315298454 140733315298454 140733315301327 0
Current children cumulated CPU time: 194.99 s
Current children cumulated vsize: 8527252 KiB
Current children cumulated memory: 126004 KiB

Child status: 0
Real time (s): 142.133
CPU time (s): 223.004
CPU user time (s): 210.236
CPU system time (s): 12.7676
CPU usage (%): 156.898
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 9876012

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 210.236
system time used= 12.7676
maximum resident set size= 9875292
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 606909
page faults= 0
swaps= 0
block input operations= 0
block output operations= 71336
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 24398
involuntary context switches= 1062


# summary of solver processes directly reported to runsolver:
#   pid: 27476
#   total CPU time (s): 223.004
#   total CPU user time (s): 210.236
#   total CPU system time (s): 12.7676

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.14818 second user time and 1.51703 second system time

The end

Launcher Data 

Begin job on node133 at 2019-09-14 09:35:34
IDJOB=4392314
IDBENCH=140010
IDSOLVER=2838
FILE ID=node133/4392314-1568446573
RUNJOBID= node133-1568439804-25815
PBS_JOBID= 21702337
Free space on /tmp= 59416 MiB

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

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

MD5SUM BENCH= 4f70966c99dd40579db6abd1a80acf5b
RANDOM SEED=1866257157

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:        31457088 kB
MemAvailable:   31897148 kB
Buffers:          205620 kB
Cached:           516868 kB
SwapCached:         3336 kB
Active:           405472 kB
Inactive:         321856 kB
Active(anon):      28456 kB
Inactive(anon):    16056 kB
Active(file):     377016 kB
Inactive(file):   305800 kB
Unevictable:      111224 kB
Mlocked:          111224 kB
SwapTotal:      67108860 kB
SwapFree:       67004168 kB
Dirty:             20512 kB
Writeback:           192 kB
AnonPages:        123732 kB
Mapped:            44852 kB
Shmem:             31544 kB
Slab:             175220 kB
SReclaimable:     146156 kB
SUnreclaim:        29064 kB
KernelStack:        3792 kB
PageTables:         5660 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     497560 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     79872 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:37:56