Trace number 4405474

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Fun-sCOP hybrid+ManyGlucose (2019-09-22)UNSAT 224.754 143.429

General information on the benchmark

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

Solver Data 

0.00/0.00	c (scop.sh) java -Xms22g -Xmx22g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Encode -hybrid -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-8943-serial-file.bin HOME/instance-4405474-1569362766.xml
0.66/0.54	
0.66/0.54	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
0.66/0.54	
0.66/0.56	c BEGIN-Prog: Tue Sep 24 23:04:25 CEST 2019
0.66/0.56	c PID: 8946
0.66/0.56	c IP: 172.20.3.105
0.66/0.56	c HOST: node105.alineos.net
0.66/0.57	c (0,0) Parsing Begin
1.66/0.99	c (0,0) Parsing End
1.66/1.00	c (0,0) CSP: 256 int (0 aux), 0 bool (0 aux), 32 ctr, max domain size 26
1.66/1.00	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.66/1.00	c (0,0) Constraint Name Generate Begin
1.94/1.01	c (0,0) Ctr:HOME/instance-4405474-1569362766.xml,ExtensionSupport:Var
1.94/1.01	c (0,0) Constraint Name Generate End
1.94/1.01	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.94/1.01	c (0,0) CSP to CSPinCNF Begin
18.27/10.31	c (9,9) translated 4 (10%) constraints
27.61/17.49	c (16,16) translated 7 (20%) constraints
34.24/24.04	c (23,23) translated 10 (30%) constraints
44.48/31.05	c (30,29) translated 13 (40%) constraints
51.08/37.62	c (37,36) translated 16 (50%) constraints
66.11/48.61	c (48,46) translated 20 (60%) constraints
72.74/55.21	c (54,53) translated 23 (70%) constraints
85.24/63.45	c (62,61) translated 26 (80%) constraints
98.50/71.47	c (70,68) translated 29 (90%) constraints
105.98/78.64	c (78,75) translated 32 (100%) constraints
106.20/78.82	c (78,75) ===========================================
106.53/79.19	c (78,76) Hybrid: #OE=264514, #LE=0
106.53/79.19	c (78,76) Hybrid
106.53/79.19	c (78,76) ===========================================
109.93/81.96	c (81,78) translated 147333 (10%) constraints
118.49/85.45	c (84,81) translated 294665 (20%) constraints
121.37/88.25	c (87,84) translated 441997 (30%) constraints
124.19/91.01	c (90,87) translated 589330 (40%) constraints
126.88/93.77	c (93,89) translated 736662 (50%) constraints
129.68/96.54	c (95,92) translated 883994 (60%) constraints
132.49/99.30	c (98,95) translated 1031327 (70%) constraints
141.69/102.89	c (102,98) translated 1178659 (80%) constraints
144.49/105.65	c (105,100) translated 1325991 (90%) constraints
147.37/108.41	c (107,103) translated 1473323 (100%) constraints
147.37/108.41	c (107,103) CSP to CSPinCNF End
147.37/108.49	c (107,103) CSP: 256 int (0 aux), 264258 bool (264258 aux), 1473323 ctr, max domain size 26
147.37/108.49	c (107,103) Heap : 3885 MiB used (max 21007 MiB), NonHeap : 26 MiB used (max 0 MiB)
147.37/108.49	c (107,103) CSPinCNF Propagation Begin
161.96/117.44	c (116,112) 1250 values, 5796 unsatisfiable literals, and 7277 valid clauses are removed
161.96/117.44	c (116,112) CSPinCNF Propagation End
162.07/117.53	c (116,112) CSP: 256 int (0 aux), 264258 bool (264258 aux), 1466046 ctr, max domain size 26
162.07/117.53	c (116,112) Heap : 6473 MiB used (max 21009 MiB), NonHeap : 27 MiB used (max 0 MiB)
162.38/117.86	c (117,112) Hybrid: #OE=264514, #LE=0
162.38/117.86	c (117,112) Simplify CSPinCNF Begin
171.47/121.01	c (120,114) Simplify CSPinCNF End
171.47/121.09	c (120,114) CSP: 256 int (0 aux), 264258 bool (264258 aux), 1466046 ctr, max domain size 26
171.47/121.09	c (120,114) Heap : 3580 MiB used (max 21031 MiB), NonHeap : 27 MiB used (max 0 MiB)
171.47/121.09	c (120,114) Calculate Precise Domain Begin
171.47/121.09	c (120,114) 0 values are removed by re-calculation
171.47/121.09	c (120,114) Calculate Precise Domain End
171.57/121.18	c (120,114) CSP: 256 int (0 aux), 264258 bool (264258 aux), 1466046 ctr, max domain size 26
171.57/121.18	c (120,114) Heap : 3593 MiB used (max 21031 MiB), NonHeap : 27 MiB used (max 0 MiB)
171.57/121.18	c (120,114) CSPinCNF to SatSolver Begin
174.90/123.04	c (122,116) 146605 (10 %) CSP clauses are encoded (0 SAT variables, 151559 SAT clauses)
176.14/124.23	c (123,117) 293210 (20 %) CSP clauses are encoded (0 SAT variables, 298164 SAT clauses)
182.91/126.11	c (125,119) 439814 (30 %) CSP clauses are encoded (0 SAT variables, 444768 SAT clauses)
184.10/127.30	c (126,120) 586419 (40 %) CSP clauses are encoded (0 SAT variables, 591373 SAT clauses)
185.26/128.64	c (128,121) 733023 (50 %) CSP clauses are encoded (0 SAT variables, 737977 SAT clauses)
186.46/129.84	c (129,122) 879628 (60 %) CSP clauses are encoded (0 SAT variables, 884582 SAT clauses)
191.73/131.55	c (131,123) 1026233 (70 %) CSP clauses are encoded (0 SAT variables, 1031187 SAT clauses)
192.94/132.81	c (132,125) 1172837 (80 %) CSP clauses are encoded (0 SAT variables, 1177791 SAT clauses)
194.05/134.00	c (133,126) 1319442 (90 %) CSP clauses are encoded (0 SAT variables, 1324396 SAT clauses)
195.26/135.17	c (134,127) 1466046 (100 %) CSP clauses are encoded (0 SAT variables, 1471000 SAT clauses)
195.26/135.17	c (134,127) CSPinCNF to SatSolver End
195.26/135.17	c (134,127) Heap : 5469 MiB used (max 20025 MiB), NonHeap : 29 MiB used (max 0 MiB)
195.26/135.17	c (134,127) 268219 bool, 1471001 clause
195.26/135.17	c (134,127) Export Begin
195.61/135.30	c (134,127) Export to HOME/scop-8943-serial-file.bin
195.61/135.30	c (134,127) Export End
195.61/135.30	c (134,127) Export File Size: 0.15 MB
195.61/135.30	c (134,127) 0,0,107,116,120,120,134,STOP-AFTER(DIMACS)
195.61/135.31	c END-Prog: Tue Sep 24 23:06:40 CEST 2019
195.61/135.37	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-8943-serial-file.bin
195.69/135.84	c (0,0) Read Serial File Begin
195.69/135.84	c (0,0) HOME/scop-8943-serial-file.bin
196.52/136.10	c (0,0) Read Serial File End
196.80/136.12	
196.80/136.12	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
196.80/136.12	(Solving Process)
196.80/136.12	
196.80/136.14	c BEGIN-Prog: Tue Sep 24 23:06:41 CEST 2019
196.80/136.14	c PID: 8974
196.80/136.14	c IP: 172.20.3.105
196.80/136.14	c HOST: node105.alineos.net
196.80/136.14	c (0,0) SatSolver.solve Begin
196.80/136.14	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4405474-1569362766.xml-scop-8946.cnf
196.80/136.17	c (0,0) c
196.80/136.17	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)
196.80/136.17	c (0,0) c
196.80/136.17	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
196.80/136.17	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
196.80/136.17	c (0,0) c ========================================[ Problem Statistics ]===========================================
196.80/136.17	c (0,0) c |                                                                                                       |
197.05/136.78	c (1,0) c |  Number of variables:        268219                                                                   |
197.05/136.78	c (1,0) c |  Number of clauses:         1463462                                                                   |
197.05/136.78	c (1,0) c |  Parse time:                   0.55 s                                                                 |
197.05/136.78	c (1,0) c |                                                                                                       |
200.17/139.37	c (3,0) c |  Simplification time:          2.55 s                                                                 |
200.17/139.37	c (3,0) c |                                                                                                       |
200.17/139.37	c (3,0) c |  Generating clones                                                                                    |
200.98/140.18	c (4,0) c |  all clones generated. Memory =  1083.89Mb.                                                           |
200.98/140.18	c (4,0) c ========================================================================================================|
200.98/140.18	c (4,0) c
200.98/140.18	c (4,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
200.98/140.18	c (4,0) c
200.98/140.18	c (4,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
200.98/140.18	c (4,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
200.98/140.18	c (4,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
200.98/140.18	c (4,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
200.98/140.18	c (4,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
200.98/140.18	c (4,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
200.98/140.18	c (4,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
200.98/140.18	c (4,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
200.98/140.18	c (4,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
200.98/140.18	c (4,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
200.98/140.18	c (4,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
200.98/140.18	c (4,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
200.98/140.18	c (4,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
200.98/140.18	c (4,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
200.98/140.18	c (4,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
200.98/140.18	c (4,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
200.98/140.18	c (4,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
200.98/140.18	c (4,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
200.98/140.18	c (4,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
224.54/143.35	c (7,0) c
224.54/143.35	c (7,0) c real time : 7.1845 s
224.54/143.35	c (7,0) c cpu time  : 26.3851 s
224.54/143.35	c (7,0) c
224.54/143.35	c (7,0) c
224.54/143.35	c (7,0) c
224.54/143.35	c (7,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
224.54/143.35	c (7,0) c
224.54/143.35	c (7,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
224.54/143.35	c (7,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
224.54/143.35	c (7,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
224.54/143.35	c (7,0) c | Conflicts     |           25238 |       2737 |       2548 |       3543 |       2846 |       3757 |       2786 |       4124 |       2897 |
224.54/143.35	c (7,0) c | Decisions     |           78386 |       6787 |       9307 |      12188 |       7246 |      11725 |      10050 |      12806 |       8277 |
224.54/143.35	c (7,0) c | Propagations  |        60771395 |    6375137 |    7659903 |    8201441 |    7525417 |    7987175 |    7687439 |    8395238 |    6939645 |
224.54/143.35	c (7,0) c | ReduceDBs     |               8 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |
224.54/143.35	c (7,0) c | SimpDBs       |              20 |          2 |          3 |          3 |          3 |          2 |          2 |          3 |          2 |
224.54/143.35	c (7,0) c | Restarts      |              70 |          7 |          5 |         16 |          4 |         10 |          8 |         15 |          5 |
224.54/143.35	c (7,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
224.54/143.35	c (7,0) c | PropBinClauses|       101422892 |   11333344 |   11456177 |   13229763 |   11896514 |   14062438 |   13071243 |   14731287 |   11642126 |
224.54/143.35	c (7,0) c | PropPreBlocker|       108757217 |   12235708 |   11404023 |   14741381 |   12166330 |   15359407 |   14068196 |   15891371 |   12890801 |
224.54/143.35	c (7,0) c | PropNotBlocker|        46073274 |    5161967 |    5022536 |    6106370 |    5153031 |    6682961 |    5457220 |    6942316 |    5546873 |
224.54/143.35	c (7,0) c | LitFullScans  |       338212271 |   36043541 |   39863193 |   46102488 |   40793041 |   45319038 |   42043648 |   49623269 |   38424053 |
224.54/143.35	c (7,0) c | LitScanFracts |           84573 |      17939 |      10333 |        554 |      13879 |      23009 |        416 |      17874 |        569 |
224.54/143.35	c (7,0) c | DecisionLevel0|             158 |         13 |         24 |         33 |         13 |         18 |         19 |         27 |         11 |
224.54/143.35	c (7,0) c | Periods       |              53 |          6 |          6 |          7 |          6 |          7 |          7 |          8 |          6 |
224.54/143.35	c (7,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
224.54/143.35	c (7,0) c | Avg_Trail     |                 |      20049 |      23344 |      21681 |      24513 |      20665 |      22279 |      20342 |      21609 |
224.54/143.35	c (7,0) c | Avg_DL        |                 |         19 |         34 |         26 |         33 |         23 |         26 |         19 |         20 |
224.54/143.35	c (7,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
224.54/143.35	c (7,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
224.54/143.35	c (7,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
224.54/143.35	c (7,0) c | Exported      |            5259 |        588 |        493 |        817 |        480 |        844 |        580 |        917 |        540 |
224.54/143.35	c (7,0) c | Imported      |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
224.54/143.35	c (7,0) c | Good          |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
224.54/143.35	c (7,0) c | Purge         |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
224.54/143.35	c (7,0) c | Promoted      |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
224.54/143.35	c (7,0) c | Remove_Imp    |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
224.54/143.35	c (7,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
224.54/143.35	c (7,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
224.54/143.35	c (7,0) c | Unaries       |                 |          6 |         19 |         17 |          9 |          8 |         11 |         12 |          6 |
224.54/143.35	c (7,0) c | Binaries      |                 |        406 |        312 |        514 |        288 |        543 |        380 |        620 |        323 |
224.54/143.35	c (7,0) c | Glues         |                 |        588 |        493 |        817 |        480 |        844 |        580 |        917 |        540 |
224.54/143.35	c (7,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
224.54/143.35	c (7,0) c | Orig_Seen     |             7 % |      57108 |      74343 |      66486 |      51367 |      69432 |      65135 |      62449 |      70952 |
224.54/143.35	c (7,0) c | Diff Orig seen|                 | -    17235 |      X     | -     7857 | -    22976 | -     4911 | -     9208 | -    11894 | -     3391 |
224.54/143.35	c (7,0) c | Hamming       |             0 % |       2191 |      X     |       2027 |       2236 |       2211 |       2096 |       2198 |       2187 |
224.54/143.35	c (7,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
224.54/143.35	c (7,0) c | RunningTime   |                 |    3.2 100%|    2.8 100%|    2.9 100%|    2.9 100%|    2.9 100%|    3.1 100%|    3.0 100%|    2.9 100%|
224.54/143.35	c (7,0) c | WaitingTime   |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
224.54/143.35	c (7,0) c | ExchangingTime|                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
224.54/143.35	c (7,0) c | PeriodProcTime|                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
224.54/143.35	c (7,0) c | SolvingTime   |                 |    3.2     |    2.8     |    2.9     |    2.9     |    2.9     |    3.1     |    3.0     |    2.9     |
224.54/143.35	c (7,0) c | PropagationTim|                 |    2.9  91%|    2.5  87%|    2.6  87%|    2.6  88%|    2.6  88%|    2.7  89%|    2.6  88%|    2.6  89%|
224.54/143.35	c (7,0) c | AnalysisTime  |                 |    0.1   4%|    0.2   5%|    0.1   5%|    0.1   5%|    0.1   5%|    0.2   5%|    0.1   5%|    0.1   5%|
224.54/143.35	c (7,0) c | ReductionTime |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
224.54/143.35	c (7,0) c | SimplifyTime  |                 |    0.0   1%|    0.1   2%|    0.1   2%|    0.1   2%|    0.0   1%|    0.0   1%|    0.0   2%|    0.0   1%|
224.54/143.35	c (7,0) c | UsedRateTime  |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
224.54/143.35	c (7,0) c | OverlapRateTim|                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
224.54/143.35	c (7,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
224.54/143.35	c (7,0) c
224.54/143.35	c (7,0) c
224.54/143.35	c (7,0) c Threads : 8
224.54/143.35	c (7,0) c Winner : 1
224.54/143.35	c (7,0) c Conflicts_0 : 2737
224.54/143.35	c (7,0) c Conflicts_1 : 2548
224.54/143.35	c (7,0) c Conflicts_2 : 3543
224.54/143.35	c (7,0) c Conflicts_3 : 2846
224.54/143.35	c (7,0) c Conflicts_4 : 3757
224.54/143.35	c (7,0) c Conflicts_5 : 2786
224.54/143.35	c (7,0) c Conflicts_6 : 4124
224.54/143.35	c (7,0) c Conflicts_7 : 2897
224.54/143.35	c (7,0) c Conflicts_total : 25238
224.54/143.35	c (7,0) c Conflicts_winner : 2548
224.54/143.35	c (7,0) c Decisions_0 : 6787
224.54/143.35	c (7,0) c Decisions_1 : 9307
224.54/143.35	c (7,0) c Decisions_2 : 12188
224.54/143.35	c (7,0) c Decisions_3 : 7246
224.54/143.35	c (7,0) c Decisions_4 : 11725
224.54/143.35	c (7,0) c Decisions_5 : 10050
224.54/143.35	c (7,0) c Decisions_6 : 12806
224.54/143.35	c (7,0) c Decisions_7 : 8277
224.54/143.35	c (7,0) c Decisions_total : 78386
224.54/143.35	c (7,0) c Decisions_winner : 9307
224.54/143.35	c (7,0) c Propagations_0 : 6375137
224.54/143.35	c (7,0) c Propagations_1 : 7659903
224.54/143.35	c (7,0) c Propagations_2 : 8201441
224.54/143.35	c (7,0) c Propagations_3 : 7525417
224.54/143.35	c (7,0) c Propagations_4 : 7987175
224.54/143.35	c (7,0) c Propagations_5 : 7687439
224.54/143.35	c (7,0) c Propagations_6 : 8395238
224.54/143.35	c (7,0) c Propagations_7 : 6939645
224.54/143.35	c (7,0) c Propagations_total : 60771395
224.54/143.35	c (7,0) c Propagations_winner : 7659903
224.54/143.35	c (7,0) c ReduceDBs_0 : 1
224.54/143.35	c (7,0) c ReduceDBs_1 : 1
224.54/143.35	c (7,0) c ReduceDBs_2 : 1
224.54/143.35	c (7,0) c ReduceDBs_3 : 1
224.54/143.35	c (7,0) c ReduceDBs_4 : 1
224.54/143.35	c (7,0) c ReduceDBs_5 : 1
224.54/143.35	c (7,0) c ReduceDBs_6 : 1
224.54/143.35	c (7,0) c ReduceDBs_7 : 1
224.54/143.35	c (7,0) c ReduceDBs_total : 8
224.54/143.35	c (7,0) c ReduceDBs_winner : 1
224.54/143.35	c (7,0) c SimpDBs_0 : 2
224.54/143.35	c (7,0) c SimpDBs_1 : 3
224.54/143.35	c (7,0) c SimpDBs_2 : 3
224.54/143.35	c (7,0) c SimpDBs_3 : 3
224.54/143.35	c (7,0) c SimpDBs_4 : 2
224.54/143.35	c (7,0) c SimpDBs_5 : 2
224.54/143.35	c (7,0) c SimpDBs_6 : 3
224.54/143.36	c (7,0) c SimpDBs_7 : 2
224.54/143.36	c (7,0) c SimpDBs_total : 20
224.54/143.36	c (7,0) c SimpDBs_winner : 3
224.54/143.36	c (7,0) c Restarts_0 : 7
224.54/143.36	c (7,0) c Restarts_1 : 5
224.54/143.36	c (7,0) c Restarts_2 : 16
224.54/143.36	c (7,0) c Restarts_3 : 4
224.54/143.36	c (7,0) c Restarts_4 : 10
224.54/143.36	c (7,0) c Restarts_5 : 8
224.54/143.36	c (7,0) c Restarts_6 : 15
224.54/143.36	c (7,0) c Restarts_7 : 5
224.54/143.36	c (7,0) c Restarts_total : 70
224.54/143.36	c (7,0) c Restarts_winner : 5
224.54/143.36	c (7,0) c ForcedImports_0 : 0
224.54/143.36	c (7,0) c ForcedImports_1 : 0
224.54/143.36	c (7,0) c ForcedImports_2 : 0
224.54/143.36	c (7,0) c ForcedImports_3 : 0
224.54/143.36	c (7,0) c ForcedImports_4 : 0
224.54/143.36	c (7,0) c ForcedImports_5 : 0
224.54/143.36	c (7,0) c ForcedImports_6 : 0
224.54/143.36	c (7,0) c ForcedImports_7 : 0
224.54/143.36	c (7,0) c ForcedImports_total : 0
224.54/143.36	c (7,0) c ForcedImports_winner : 0
224.54/143.36	c (7,0) c PropsBinClauses_0 : 11333344
224.54/143.36	c (7,0) c PropsBinClauses_1 : 11456177
224.54/143.36	c (7,0) c PropsBinClauses_2 : 13229763
224.54/143.36	c (7,0) c PropsBinClauses_3 : 11896514
224.54/143.36	c (7,0) c PropsBinClauses_4 : 14062438
224.54/143.36	c (7,0) c PropsBinClauses_5 : 13071243
224.54/143.36	c (7,0) c PropsBinClauses_6 : 14731287
224.54/143.36	c (7,0) c PropsBinClauses_7 : 11642126
224.54/143.36	c (7,0) c PropsBinClauses_total : 101422892
224.54/143.36	c (7,0) c PropsBinClauses_winner : 11456177
224.54/143.36	c (7,0) c PropsPreBlocker_0 : 12235708
224.54/143.36	c (7,0) c PropsPreBlocker_1 : 11404023
224.54/143.36	c (7,0) c PropsPreBlocker_2 : 14741381
224.54/143.36	c (7,0) c PropsPreBlocker_3 : 12166330
224.54/143.36	c (7,0) c PropsPreBlocker_4 : 15359407
224.54/143.36	c (7,0) c PropsPreBlocker_5 : 14068196
224.54/143.36	c (7,0) c PropsPreBlocker_6 : 15891371
224.54/143.36	c (7,0) c PropsPreBlocker_7 : 12890801
224.54/143.36	c (7,0) c PropsPreBlocker_total : 108757217
224.54/143.36	c (7,0) c PropsPreBlocker_winner : 11404023
224.54/143.36	c (7,0) c PropsNotBlocker_0 : 5161967
224.54/143.36	c (7,0) c PropsNotBlocker_1 : 5022536
224.54/143.36	c (7,0) c PropsNotBlocker_2 : 6106370
224.54/143.36	c (7,0) c PropsNotBlocker_3 : 5153031
224.54/143.36	c (7,0) c PropsNotBlocker_4 : 6682961
224.54/143.36	c (7,0) c PropsNotBlocker_5 : 5457220
224.54/143.36	c (7,0) c PropsNotBlocker_6 : 6942316
224.54/143.36	c (7,0) c PropsNotBlocker_7 : 5546873
224.54/143.36	c (7,0) c PropsNotBlocker_total : 46073274
224.54/143.36	c (7,0) c PropsNotBlocker_winner : 5022536
224.54/143.36	c (7,0) c PropsLitFullScans_0 : 36043541
224.54/143.36	c (7,0) c PropsLitFullScans_1 : 39863193
224.54/143.36	c (7,0) c PropsLitFullScans_2 : 46102488
224.54/143.36	c (7,0) c PropsLitFullScans_3 : 40793041
224.54/143.36	c (7,0) c PropsLitFullScans_4 : 45319038
224.54/143.36	c (7,0) c PropsLitFullScans_5 : 42043648
224.54/143.36	c (7,0) c PropsLitFullScans_6 : 49623269
224.54/143.36	c (7,0) c PropsLitFullScans_7 : 38424053
224.54/143.36	c (7,0) c PropsLitFullScans_total : 338212271
224.54/143.36	c (7,0) c PropsLitFullScans_winner : 39863193
224.54/143.36	c (7,0) c LitScanFractions_0 : 17939
224.54/143.36	c (7,0) c LitScanFractions_1 : 10333
224.54/143.36	c (7,0) c LitScanFractions_2 : 554
224.54/143.36	c (7,0) c LitScanFractions_3 : 13879
224.54/143.36	c (7,0) c LitScanFractions_4 : 23009
224.54/143.36	c (7,0) c LitScanFractions_5 : 416
224.54/143.36	c (7,0) c LitScanFractions_6 : 17874
224.54/143.36	c (7,0) c LitScanFractions_7 : 569
224.54/143.36	c (7,0) c LitScanFractions_total : 84573
224.54/143.36	c (7,0) c LitScanFractions_winner : 10333
224.54/143.36	c (7,0) c DecisionLevel0_0 : 13
224.54/143.36	c (7,0) c DecisionLevel0_1 : 24
224.54/143.36	c (7,0) c DecisionLevel0_2 : 33
224.54/143.36	c (7,0) c DecisionLevel0_3 : 13
224.54/143.36	c (7,0) c DecisionLevel0_4 : 18
224.54/143.36	c (7,0) c DecisionLevel0_5 : 19
224.54/143.36	c (7,0) c DecisionLevel0_6 : 27
224.54/143.36	c (7,0) c DecisionLevel0_7 : 11
224.54/143.36	c (7,0) c DecisionLevel0_total : 158
224.54/143.36	c (7,0) c DecisionLevel0_winner : 24
224.54/143.36	c (7,0) c Periods_0 : 6
224.54/143.36	c (7,0) c Periods_1 : 6
224.54/143.36	c (7,0) c Periods_2 : 7
224.54/143.36	c (7,0) c Periods_3 : 6
224.54/143.36	c (7,0) c Periods_4 : 7
224.54/143.36	c (7,0) c Periods_5 : 7
224.54/143.36	c (7,0) c Periods_6 : 8
224.54/143.36	c (7,0) c Periods_7 : 6
224.54/143.36	c (7,0) c Periods_total : 53
224.54/143.36	c (7,0) c Periods_winner : 6
224.54/143.36	c (7,0) c Margin_0 : 20
224.54/143.36	c (7,0) c Margin_1 : 20
224.54/143.36	c (7,0) c Margin_2 : 20
224.54/143.36	c (7,0) c Margin_3 : 20
224.54/143.36	c (7,0) c Margin_4 : 20
224.54/143.36	c (7,0) c Margin_5 : 20
224.54/143.36	c (7,0) c Margin_6 : 20
224.54/143.36	c (7,0) c Margin_7 : 20
224.54/143.36	c (7,0) c Margin_total : 160
224.54/143.36	c (7,0) c Margin_winner : 20
224.54/143.36	c (7,0) c Exported_0 : 588
224.54/143.36	c (7,0) c Exported_1 : 493
224.54/143.36	c (7,0) c Exported_2 : 817
224.54/143.36	c (7,0) c Exported_3 : 480
224.54/143.36	c (7,0) c Exported_4 : 844
224.54/143.36	c (7,0) c Exported_5 : 580
224.54/143.36	c (7,0) c Exported_6 : 917
224.54/143.36	c (7,0) c Exported_7 : 540
224.54/143.36	c (7,0) c Exported_total : 5259
224.54/143.36	c (7,0) c Exported_winner : 493
224.54/143.36	c (7,0) c Imported_0 : 0
224.54/143.36	c (7,0) c Imported_1 : 0
224.54/143.36	c (7,0) c Imported_2 : 0
224.54/143.36	c (7,0) c Imported_3 : 0
224.54/143.36	c (7,0) c Imported_4 : 0
224.54/143.36	c (7,0) c Imported_5 : 0
224.54/143.36	c (7,0) c Imported_6 : 0
224.54/143.36	c (7,0) c Imported_7 : 0
224.54/143.36	c (7,0) c Imported_total : 0
224.54/143.36	c (7,0) c Imported_winner : 0
224.54/143.36	c (7,0) c Good_0 : 0
224.54/143.36	c (7,0) c Good_1 : 0
224.54/143.36	c (7,0) c Good_2 : 0
224.54/143.36	c (7,0) c Good_3 : 0
224.54/143.36	c (7,0) c Good_4 : 0
224.54/143.36	c (7,0) c Good_5 : 0
224.54/143.36	c (7,0) c Good_6 : 0
224.54/143.36	c (7,0) c Good_7 : 0
224.54/143.36	c (7,0) c Good_total : 0
224.54/143.36	c (7,0) c Good_winner : 0
224.54/143.36	c (7,0) c Purge_0 : 0
224.54/143.36	c (7,0) c Purge_1 : 0
224.54/143.36	c (7,0) c Purge_2 : 0
224.54/143.36	c (7,0) c Purge_3 : 0
224.54/143.36	c (7,0) c Purge_4 : 0
224.54/143.36	c (7,0) c Purge_5 : 0
224.54/143.36	c (7,0) c Purge_6 : 0
224.54/143.36	c (7,0) c Purge_7 : 0
224.54/143.36	c (7,0) c Purge_total : 0
224.54/143.36	c (7,0) c Purge_winner : 0
224.54/143.36	c (7,0) c Promoted_0 : 0
224.54/143.36	c (7,0) c Promoted_1 : 0
224.54/143.36	c (7,0) c Promoted_2 : 0
224.54/143.36	c (7,0) c Promoted_3 : 0
224.54/143.36	c (7,0) c Promoted_4 : 0
224.54/143.36	c (7,0) c Promoted_5 : 0
224.54/143.36	c (7,0) c Promoted_6 : 0
224.54/143.36	c (7,0) c Promoted_7 : 0
224.54/143.36	c (7,0) c Promoted_total : 0
224.54/143.36	c (7,0) c Promoted_winner : 0
224.54/143.36	c (7,0) c Remove_Imp_0 : 0
224.54/143.36	c (7,0) c Remove_Imp_1 : 0
224.54/143.36	c (7,0) c Remove_Imp_2 : 0
224.54/143.36	c (7,0) c Remove_Imp_3 : 0
224.54/143.36	c (7,0) c Remove_Imp_4 : 0
224.54/143.36	c (7,0) c Remove_Imp_5 : 0
224.54/143.36	c (7,0) c Remove_Imp_6 : 0
224.54/143.36	c (7,0) c Remove_Imp_7 : 0
224.54/143.36	c (7,0) c Remove_Imp_total : 0
224.54/143.36	c (7,0) c Remove_Imp_winner : 0
224.54/143.36	c (7,0) c Blocked_Reuse_0 : 0
224.54/143.36	c (7,0) c Blocked_Reuse_1 : 0
224.54/143.36	c (7,0) c Blocked_Reuse_2 : 0
224.54/143.36	c (7,0) c Blocked_Reuse_3 : 0
224.54/143.36	c (7,0) c Blocked_Reuse_4 : 0
224.54/143.36	c (7,0) c Blocked_Reuse_5 : 0
224.54/143.36	c (7,0) c Blocked_Reuse_6 : 0
224.54/143.36	c (7,0) c Blocked_Reuse_7 : 0
224.54/143.36	c (7,0) c Blocked_Reuse_total : 0
224.54/143.36	c (7,0) c Blocked_Reuse_winner : 0
224.54/143.36	c (7,0) c Unaries_0 : 6
224.54/143.36	c (7,0) c Unaries_1 : 19
224.54/143.36	c (7,0) c Unaries_2 : 17
224.54/143.36	c (7,0) c Unaries_3 : 9
224.54/143.36	c (7,0) c Unaries_4 : 8
224.54/143.36	c (7,0) c Unaries_5 : 11
224.54/143.36	c (7,0) c Unaries_6 : 12
224.54/143.36	c (7,0) c Unaries_7 : 6
224.54/143.36	c (7,0) c Unaries_total : 88
224.54/143.36	c (7,0) c Unaries_winner : 19
224.54/143.36	c (7,0) c Binaries_0 : 406
224.54/143.36	c (7,0) c Binaries_1 : 312
224.54/143.36	c (7,0) c Binaries_2 : 514
224.54/143.36	c (7,0) c Binaries_3 : 288
224.54/143.36	c (7,0) c Binaries_4 : 543
224.54/143.36	c (7,0) c Binaries_5 : 380
224.54/143.36	c (7,0) c Binaries_6 : 620
224.54/143.36	c (7,0) c Binaries_7 : 323
224.54/143.36	c (7,0) c Binaries_total : 3386
224.54/143.36	c (7,0) c Binaries_winner : 312
224.54/143.36	c (7,0) c Glues_0 : 588
224.54/143.36	c (7,0) c Glues_1 : 493
224.54/143.36	c (7,0) c Glues_2 : 817
224.54/143.36	c (7,0) c Glues_3 : 480
224.54/143.36	c (7,0) c Glues_4 : 844
224.54/143.36	c (7,0) c Glues_5 : 580
224.54/143.36	c (7,0) c Glues_6 : 917
224.54/143.36	c (7,0) c Glues_7 : 540
224.54/143.36	c (7,0) c Glues_total : 5259
224.54/143.36	c (7,0) c Glues_winner : 493
224.54/143.36	c (7,0) c RunningTime_0 : 3.167718
224.54/143.36	c (7,0) c RunningTime_1 : 2.845332
224.54/143.36	c (7,0) c RunningTime_2 : 2.928943
224.54/143.36	c (7,0) c RunningTime_3 : 2.940029
224.54/143.36	c (7,0) c RunningTime_4 : 2.916889
224.54/143.36	c (7,0) c RunningTime_5 : 3.083011
224.54/143.36	c (7,0) c RunningTime_6 : 2.966511
224.54/143.36	c (7,0) c RunningTime_7 : 2.900850
224.54/143.36	c (7,0) c RunningTime_total : 23.749283
224.54/143.36	c (7,0) c RunningTime_winner : 2.845332
224.54/143.36	c (7,0) c WaitingTime_0 : 0.000000
224.54/143.36	c (7,0) c WaitingTime_1 : 0.000000
224.54/143.36	c (7,0) c WaitingTime_2 : 0.000000
224.54/143.36	c (7,0) c WaitingTime_3 : 0.000000
224.54/143.36	c (7,0) c WaitingTime_4 : 0.000000
224.54/143.36	c (7,0) c WaitingTime_5 : 0.000000
224.54/143.36	c (7,0) c WaitingTime_6 : 0.000000
224.54/143.36	c (7,0) c WaitingTime_7 : 0.000000
224.54/143.36	c (7,0) c WaitingTime_total : 0.000000
224.54/143.36	c (7,0) c WaitingTime_winner : 0.000000
224.54/143.36	c (7,0) c ExchangingTime_0 : 0.000880
224.54/143.36	c (7,0) c ExchangingTime_1 : 0.000862
224.54/143.36	c (7,0) c ExchangingTime_2 : 0.001289
224.54/143.36	c (7,0) c ExchangingTime_3 : 0.000894
224.54/143.36	c (7,0) c ExchangingTime_4 : 0.001492
224.54/143.36	c (7,0) c ExchangingTime_5 : 0.000906
224.54/143.36	c (7,0) c ExchangingTime_6 : 0.001298
224.54/143.36	c (7,0) c ExchangingTime_7 : 0.000874
224.54/143.36	c (7,0) c ExchangingTime_total : 0.008495
224.54/143.36	c (7,0) c ExchangingTime_winner : 0.000862
224.54/143.36	c (7,0) c PeriodProcTime_0 : 0.000063
224.54/143.36	c (7,0) c PeriodProcTime_1 : 0.000070
224.54/143.36	c (7,0) c PeriodProcTime_2 : 0.000079
224.54/143.36	c (7,0) c PeriodProcTime_3 : 0.000070
224.54/143.36	c (7,0) c PeriodProcTime_4 : 0.000098
224.54/143.36	c (7,0) c PeriodProcTime_5 : 0.000081
224.54/143.36	c (7,0) c PeriodProcTime_6 : 0.000098
224.54/143.36	c (7,0) c PeriodProcTime_7 : 0.000055
224.54/143.36	c (7,0) c PeriodProcTime_total : 0.000615
224.54/143.36	c (7,0) c PeriodProcTime_winner : 0.000070
224.54/143.36	c (7,0) c SolvingTime_0 : 3.168661
224.54/143.36	c (7,0) c SolvingTime_1 : 2.846264
224.54/143.36	c (7,0) c SolvingTime_2 : 2.930311
224.54/143.36	c (7,0) c SolvingTime_3 : 2.940993
224.54/143.36	c (7,0) c SolvingTime_4 : 2.918480
224.54/143.36	c (7,0) c SolvingTime_5 : 3.083999
224.54/143.36	c (7,0) c SolvingTime_6 : 2.967907
224.54/143.36	c (7,0) c SolvingTime_7 : 2.901778
224.54/143.36	c (7,0) c SolvingTime_total : 23.758393
224.54/143.36	c (7,0) c SolvingTime_winner : 2.846264
224.54/143.36	c (7,0) c PropagationTime_0 : 2.870969
224.54/143.36	c (7,0) c PropagationTime_1 : 2.475917
224.54/143.36	c (7,0) c PropagationTime_2 : 2.563198
224.54/143.36	c (7,0) c PropagationTime_3 : 2.585009
224.54/143.36	c (7,0) c PropagationTime_4 : 2.581405
224.54/143.36	c (7,0) c PropagationTime_5 : 2.739712
224.54/143.36	c (7,0) c PropagationTime_6 : 2.612521
224.54/143.36	c (7,0) c PropagationTime_7 : 2.584809
224.54/143.36	c (7,0) c PropagationTime_total : 21.013542
224.54/143.36	c (7,0) c PropagationTime_winner : 2.475917
224.54/143.36	c (7,0) c AnalysisTime_0 : 0.121703
224.54/143.36	c (7,0) c AnalysisTime_1 : 0.154563
224.54/143.36	c (7,0) c AnalysisTime_2 : 0.145709
224.54/143.36	c (7,0) c AnalysisTime_3 : 0.148101
224.54/143.36	c (7,0) c AnalysisTime_4 : 0.135933
224.54/143.36	c (7,0) c AnalysisTime_5 : 0.153007
224.54/143.36	c (7,0) c AnalysisTime_6 : 0.139598
224.54/143.36	c (7,0) c AnalysisTime_7 : 0.141852
224.54/143.36	c (7,0) c AnalysisTime_total : 1.140466
224.54/143.36	c (7,0) c AnalysisTime_winner : 0.154563
224.54/143.36	c (7,0) c ReductionTime_0 : 0.000365
224.54/143.36	c (7,0) c ReductionTime_1 : 0.000382
224.54/143.36	c (7,0) c ReductionTime_2 : 0.000396
224.54/143.36	c (7,0) c ReductionTime_3 : 0.000335
224.54/143.36	c (7,0) c ReductionTime_4 : 0.000417
224.54/143.36	c (7,0) c ReductionTime_5 : 0.000424
224.54/143.36	c (7,0) c ReductionTime_6 : 0.000408
224.54/143.36	c (7,0) c ReductionTime_7 : 0.000401
224.54/143.36	c (7,0) c ReductionTime_total : 0.003128
224.54/143.36	c (7,0) c ReductionTime_winner : 0.000382
224.54/143.36	c (7,0) c SimplifyTime_0 : 0.027667
224.54/143.36	c (7,0) c SimplifyTime_1 : 0.055674
224.54/143.36	c (7,0) c SimplifyTime_2 : 0.055983
224.54/143.36	c (7,0) c SimplifyTime_3 : 0.058216
224.54/143.36	c (7,0) c SimplifyTime_4 : 0.028658
224.54/143.36	c (7,0) c SimplifyTime_5 : 0.026928
224.54/143.36	c (7,0) c SimplifyTime_6 : 0.048750
224.54/143.36	c (7,0) c SimplifyTime_7 : 0.026768
224.54/143.37	c (7,0) c SimplifyTime_total : 0.328644
224.54/143.37	c (7,0) c SimplifyTime_winner : 0.055674
224.54/143.37	c (7,0) c UsedRateTime_0 : 0.000000
224.54/143.37	c (7,0) c UsedRateTime_1 : 0.000000
224.54/143.37	c (7,0) c UsedRateTime_2 : 0.000000
224.54/143.37	c (7,0) c UsedRateTime_3 : 0.000000
224.54/143.37	c (7,0) c UsedRateTime_4 : 0.000000
224.54/143.37	c (7,0) c UsedRateTime_5 : 0.000000
224.54/143.37	c (7,0) c UsedRateTime_6 : 0.000000
224.54/143.37	c (7,0) c UsedRateTime_7 : 0.000000
224.54/143.37	c (7,0) c UsedRateTime_total : 0.000000
224.54/143.37	c (7,0) c UsedRateTime_winner : 0.000000
224.54/143.37	c (7,0) c OverlapRateTime_0 : 0.000000
224.54/143.37	c (7,0) c OverlapRateTime_1 : 0.000000
224.54/143.37	c (7,0) c OverlapRateTime_2 : 0.000000
224.54/143.37	c (7,0) c OverlapRateTime_3 : 0.000000
224.54/143.37	c (7,0) c OverlapRateTime_4 : 0.000000
224.54/143.37	c (7,0) c OverlapRateTime_5 : 0.000000
224.54/143.37	c (7,0) c OverlapRateTime_6 : 0.000000
224.54/143.37	c (7,0) c OverlapRateTime_7 : 0.000000
224.54/143.37	c (7,0) c OverlapRateTime_total : 0.000000
224.54/143.37	c (7,0) c OverlapRateTime_winner : 0.000000
224.54/143.37	c (7,0) c
224.54/143.37	c (7,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
224.54/143.37	c (7,0) c
224.54/143.37	c (7,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
224.54/143.37	c (7,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
224.54/143.37	c (7,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
224.54/143.37	c (7,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
224.54/143.37	c (7,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
224.54/143.37	c (7,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
224.54/143.37	c (7,0) c | Initial random_seed   |  896221773 |  644878925 |  524758921 | 1761022727 |  509404796 |  253481533 | 1890581397 |  804388564 |
224.54/143.37	c (7,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
224.54/143.37	c (7,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
224.54/143.37	c (7,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
224.54/143.37	c (7,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
224.54/143.37	c (7,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
224.54/143.37	c (7,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
224.54/143.37	c (7,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
224.54/143.37	c (7,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
224.54/143.37	c (7,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
224.54/143.37	c (7,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
224.54/143.37	c (7,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
224.54/143.37	c (7,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
224.54/143.37	c (7,0) 
224.54/143.37	c (7,0) s UNSATISFIABLE
197.12/143.40	c (7,0) SatSolver.solve End
197.12/143.40	c (7,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
197.12/143.40	c (7,0) Show results Begin
197.12/143.40	s UNSATISFIABLE
197.12/143.40	c (7,0) Show results End
197.12/143.41	c (7,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
197.12/143.41	c (7,0) 7,7,STOP-AFTER(ALL)
197.12/143.41	c END-Prog: Tue Sep 24 23:06:48 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 (13513 MiB free)
  memory of node 1: 16384 MiB (12061 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4405474-1569362766/watcher-4405474-1569362766 -o /var/tmp/evaluation-result-4405474-1569362766/solver-4405474-1569362766 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node105-1569352967-7589 --watchdog 2580 HOME/scop.sh 22g HOME/scop.jar -hybrid HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4405474-1569362766.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
Current StackSize limit: 8192 KiB

Starting watchdog thread
solver pid=8943, runsolver pid=8940

[startup+0.100134 s]*
/proc/loadavg: 8.63 8.37 8.03 2/214 8965
/proc/meminfo: memFree=26095836/32770624 swapFree=66956864/67108860
[pid=8943] ppid=8940 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/8943/stat : 8943 (scop.sh) S 8940 8943 7562 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 512534316 115843072 349 33554432000 4194304 5098028 140720935576608 140720935573864 139897498931836 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 11313152 140720935580412 140720935580760 140720935580760 140720935583689 0
/proc/8943/statm: 28282 349 297 221 0 87 0
[pid=8946] ppid=8943 vsize=27314120 memory=106392 CPUtime=0.11 cores=0-7
/proc/8946/stat : 8946 (java) S 8943 8943 7562 0 -1 1077944320 6658 0 0 0 8 3 0 0 20 0 20 0 512534316 27969658880 26598 33554432000 4194304 4196468 140732895039232 140732895021776 140012938051319 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 31772672 140732895044295 140732895044742 140732895044742 140732895047631 0
/proc/8946/statm: 6828530 26598 2816 1 0 6790935 0
[pid=8946/tid=8947] ppid=8943 vsize=27314120 memory=8317482817917895235 CPUtime=0.09 cores=0-7
/proc/8946/task/8947/stat : 8947 (java) R 8943 8943 7562 0 -1 4202560 4724 0 0 0 7 2 0 0 20 0 20 0 512534317 27969658880 26598 33554432000 4194304 4196468 140732895039232 140012909877648 140012938073245 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31772672 140732895044295 140732895044742 140732895044742 140732895047631 0
[pid=8946/tid=8948] ppid=8943 vsize=27314120 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/8946/task/8948/stat : 8948 (java) S 8943 8943 7562 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512534319 27969658880 26598 33554432000 4194304 4196468 140732895039232 140012942293904 140012938061525 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31772672 140732895044295 140732895044742 140732895044742 140732895047631 0
[pid=8946/tid=8949] ppid=8943 vsize=27314120 memory=140268860946048 CPUtime=0 cores=0-7
/proc/8946/task/8949/stat : 8949 (java) S 8943 8943 7562 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512534319 27969658880 26598 33554432000 4194304 4196468 140732895039232 140012725689104 140012938061525 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31772672 140732895044295 140732895044742 140732895044742 140732895047631 0
[pid=8946/tid=8950] ppid=8943 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8946/task/8950/stat : 8950 (java) S 8943 8943 7562 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512534319 27969658880 26598 33554432000 4194304 4196468 140732895039232 140012724636816 140012938061525 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31772672 140732895044295 140732895044742 140732895044742 140732895047631 0
[pid=8946/tid=8951] ppid=8943 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8946/task/8951/stat : 8951 (java) S 8943 8943 7562 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512534319 27969658880 26598 33554432000 4194304 4196468 140732895039232 140012723584016 140012938061525 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31772672 140732895044295 140732895044742 140732895044742 140732895047631 0
[pid=8946/tid=8952] ppid=8943 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8946/task/8952/stat : 8952 (java) S 8943 8943 7562 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512534319 27969658880 26598 33554432000 4194304 4196468 140732895039232 140012722530704 140012938061525 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31772672 140732895044295 140732895044742 140732895044742 140732895047631 0
[pid=8946/tid=8953] ppid=8943 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/8946/task/8953/stat : 8953 (java) S 8943 8943 7562 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512534319 27969658880 26598 33554432000 4194304 4196468 140732895039232 140012721477904 140012938061525 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31772672 140732895044295 140732895044742 140732895044742 140732895047631 0
[pid=8946/tid=8954] ppid=8943 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8946/task/8954/stat : 8954 (java) S 8943 8943 7562 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512534319 27969658880 26598 33554432000 4194304 4196468 140732895039232 140012720425616 140012938061525 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31772672 140732895044295 140732895044742 140732895044742 140732895047631 0
[pid=8946/tid=8955] ppid=8943 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8946/task/8955/stat : 8955 (java) S 8943 8943 7562 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512534319 27969658880 26598 33554432000 4194304 4196468 140732895039232 140012719372816 140012938061525 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31772672 140732895044295 140732895044742 140732895044742 140732895047631 0
[pid=8946/tid=8956] ppid=8943 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8946/task/8956/stat : 8956 (java) S 8943 8943 7562 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512534321 27969658880 26598 33554432000 4194304 4196468 140732895039232 140012311140976 140012938062466 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31772672 140732895044295 140732895044742 140732895044742 140732895047631 0
[pid=8946/tid=8957] ppid=8943 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8946/task/8957/stat : 8957 (java) S 8943 8943 7562 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 512534321 27969658880 26598 33554432000 4194304 4196468 140732895039232 140010632242464 140012938061525 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31772672 140732895044295 140732895044742 140732895044742 140732895047631 0
[pid=8946/tid=8958] ppid=8943 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8946/task/8958/stat : 8958 (java) S 8943 8943 7562 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 512534321 27969658880 26598 33554432000 4194304 4196468 140732895039232 140010498020976 140012938061525 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31772672 140732895044295 140732895044742 140732895044742 140732895047631 0
[pid=8946/tid=8959] ppid=8943 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8946/task/8959/stat : 8959 (java) S 8943 8943 7562 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512534324 27969658880 26598 33554432000 4194304 4196468 140732895039232 140010123516496 140012938069915 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31772672 140732895044295 140732895044742 140732895044742 140732895047631 0
[pid=8946/tid=8960] ppid=8943 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8946/task/8960/stat : 8960 (java) S 8943 8943 7562 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 20 0 512534324 27969658880 26598 33554432000 4194304 4196468 140732895039232 140012196718704 140012938062466 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31772672 140732895044295 140732895044742 140732895044742 140732895047631 0
[pid=8946/tid=8961] ppid=8943 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8946/task/8961/stat : 8961 (java) R 8943 8943 7562 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512534324 27969658880 26598 33554432000 4194304 4196468 140732895039232 140012195665904 140012938062466 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31772672 140732895044295 140732895044742 140732895044742 140732895047631 0
[pid=8946/tid=8962] ppid=8943 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8946/task/8962/stat : 8962 (java) R 8943 8943 7562 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512534324 27969658880 26598 33554432000 4194304 4196468 140732895039232 140012194613616 140012938062466 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31772672 140732895044295 140732895044742 140732895044742 140732895047631 0
[pid=8946/tid=8963] ppid=8943 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8946/task/8963/stat : 8963 (java) R 8943 8943 7562 0 -1 4202560 291 0 0 0 0 0 0 0 20 0 20 0 512534324 27969658880 26598 33554432000 4194304 4196468 140732895039232 140012193560816 140012916681569 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31772672 140732895044295 140732895044742 140732895044742 140732895047631 0
[pid=8946/tid=8964] ppid=8943 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8946/task/8964/stat : 8964 (java) S 8943 8943 7562 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512534324 27969658880 26598 33554432000 4194304 4196468 140732895039232 140009625611104 140012938061525 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31772672 140732895044295 140732895044742 140732895044742 140732895047631 0
[pid=8946/tid=8965] ppid=8943 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/8946/task/8965/stat : 8965 (java) S 8943 8943 7562 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512534324 27969658880 26598 33554432000 4194304 4196468 140732895039232 140012192508720 140012938062466 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31772672 140732895044295 140732895044742 140732895044742 140732895047631 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 107788 KiB

[startup+0.210652 s]*
/proc/loadavg: 8.63 8.37 8.03 3/214 8965
/proc/meminfo: memFree=26072276/32770624 swapFree=66956864/67108860
[pid=8943] ppid=8940 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/8943/stat : 8943 (scop.sh) S 8940 8943 7562 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 512534316 115843072 349 33554432000 4194304 5098028 140720935576608 140720935573864 139897498931836 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 11313152 140720935580412 140720935580760 140720935580760 140720935583689 0
/proc/8943/statm: 28282 349 297 221 0 87 0
[pid=8946] ppid=8943 vsize=27314120 memory=125416 CPUtime=0.24 cores=0-7
/proc/8946/stat : 8946 (java) S 8943 8943 7562 0 -1 1077944320 12257 0 0 0 20 4 0 0 20 0 20 0 512534316 27969658880 31354 33554432000 4194304 4196468 140732895039232 140732895021776 140012938051319 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 31772672 140732895044295 140732895044742 140732895044742 140732895047631 0
/proc/8946/statm: 6828530 31354 2943 1 0 6790935 0
[pid=8946/tid=8947] ppid=8943 vsize=27314120 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/8946/task/8947/stat : 8947 (java) R 8943 8943 7562 0 -1 4202560 9921 0 0 0 16 4 0 0 20 0 20 0 512534317 27969658880 31354 33554432000 4194304 4196468 140732895039232 140012909850704 140012918326649 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31772672 140732895044295 140732895044742 140732895044742 140732895047631 0
[pid=8946/tid=8948] ppid=8943 vsize=27314120 memory=331 CPUtime=0 cores=0-7
/proc/8946/task/8948/stat : 8948 (java) S 8943 8943 7562 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512534319 27969658880 31354 33554432000 4194304 4196468 140732895039232 140012942293904 140012938061525 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31772672 140732895044295 140732895044742 140732895044742 140732895047631 0
[pid=8946/tid=8949] ppid=8943 vsize=27314120 memory=140268860955245 CPUtime=0 cores=0-7
/proc/8946/task/8949/stat : 8949 (java) S 8943 8943 7562 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512534319 27969658880 31354 33554432000 4194304 4196468 140732895039232 140012725689104 140012938061525 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31772672 140732895044295 140732895044742 140732895044742 140732895047631 0
[pid=8946/tid=8950] ppid=8943 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/8946/task/8950/stat : 8950 (java) S 8943 8943 7562 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512534319 27969658880 31354 33554432000 4194304 4196468 140732895039232 140012724636816 140012938061525 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31772672 140732895044295 140732895044742 140732895044742 140732895047631 0
[pid=8946/tid=8951] ppid=8943 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8946/task/8951/stat : 8951 (java) S 8943 8943 7562 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512534319 27969658880 31354 33554432000 4194304 4196468 140732895039232 140012723584016 140012938061525 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31772672 140732895044295 140732895044742 140732895044742 140732895047631 0
[pid=8946/tid=8952] ppid=8943 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8946/task/8952/stat : 8952 (java) S 8943 8943 7562 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512534319 27969658880 31354 33554432000 4194304 4196468 140732895039232 140012722530704 140012938061525 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31772672 140732895044295 140732895044742 140732895044742 140732895047631 0
[pid=8946/tid=8953] ppid=8943 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/8946/task/8953/stat : 8953 (java) S 8943 8943 7562 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512534319 27969658880 31354 33554432000 4194304 4196468 140732895039232 140012721477904 140012938061525 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31772672 140732895044295 140732895044742 140732895044742 140732895047631 0
[pid=8946/tid=8954] ppid=8943 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8946/task/8954/stat : 8954 (java) S 8943 8943 7562 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512534319 27969658880 31354 33554432000 4194304 4196468 140732895039232 140012720425616 140012938061525 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31772672 140732895044295 140732895044742 140732895044742 140732895047631 0
[pid=8946/tid=8955] ppid=8943 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8946/task/8955/stat : 8955 (java) S 8943 8943 7562 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512534319 27969658880 31354 33554432000 4194304 4196468 140732895039232 140012719372816 140012938061525 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31772672 140732895044295 140732895044742 140732895044742 140732895047631 0
[pid=8946/tid=8956] ppid=8943 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8946/task/8956/stat : 8956 (java) S 8943 8943 7562 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512534321 27969658880 31354 33554432000 4194304 4196468 140732895039232 140012311140976 140012938062466 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31772672 140732895044295 140732895044742 140732895044742 140732895047631 0
[pid=8946/tid=8957] ppid=8943 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8946/task/8957/stat : 8957 (java) S 8943 8943 7562 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 512534321 27969658880 31354 33554432000 4194304 4196468 140732895039232 140010632242464 140012938061525 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31772672 140732895044295 140732895044742 140732895044742 140732895047631 0
[pid=8946/tid=8958] ppid=8943 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8946/task/8958/stat : 8958 (java) S 8943 8943 7562 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 512534321 27969658880 31354 33554432000 4194304 4196468 140732895039232 140010498020976 140012938061525 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31772672 140732895044295 140732895044742 140732895044742 140732895047631 0
[pid=8946/tid=8959] ppid=8943 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8946/task/8959/stat : 8959 (java) S 8943 8943 7562 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512534324 27969658880 31354 33554432000 4194304 4196468 140732895039232 140010123516496 140012938069915 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31772672 140732895044295 140732895044742 140732895044742 140732895047631 0
[pid=8946/tid=8960] ppid=8943 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8946/task/8960/stat : 8960 (java) S 8943 8943 7562 0 -1 1077944384 314 0 0 0 0 0 0 0 20 0 20 0 512534324 27969658880 31354 33554432000 4194304 4196468 140732895039232 140012196718704 140012938062466 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31772672 140732895044295 140732895044742 140732895044742 140732895047631 0
[pid=8946/tid=8961] ppid=8943 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8946/task/8961/stat : 8961 (java) S 8943 8943 7562 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 20 0 512534324 27969658880 31354 33554432000 4194304 4196468 140732895039232 140012195665904 140012938062466 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31772672 140732895044295 140732895044742 140732895044742 140732895047631 0
[pid=8946/tid=8962] ppid=8943 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/8946/task/8962/stat : 8962 (java) S 8943 8943 7562 0 -1 1077944384 135 0 0 0 0 0 0 0 20 0 20 0 512534324 27969658880 31354 33554432000 4194304 4196468 140732895039232 140012194613616 140012938062466 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31772672 140732895044295 140732895044742 140732895044742 140732895047631 0
[pid=8946/tid=8963] ppid=8943 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7
/proc/8946/task/8963/stat : 8963 (java) S 8943 8943 7562 0 -1 1077944384 488 0 0 0 2 0 0 0 20 0 20 0 512534324 27969658880 31354 33554432000 4194304 4196468 140732895039232 140012193560816 140012938062466 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31772672 140732895044295 140732895044742 140732895044742 140732895047631 0
[pid=8946/tid=8964] ppid=8943 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8946/task/8964/stat : 8964 (java) S 8943 8943 7562 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512534324 27969658880 31354 33554432000 4194304 4196468 140732895039232 140009625611104 140012938061525 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31772672 140732895044295 140732895044742 140732895044742 140732895047631 0
[pid=8946/tid=8965] ppid=8943 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/8946/task/8965/stat : 8965 (java) S 8943 8943 7562 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512534324 27969658880 31354 33554432000 4194304 4196468 140732895039232 140012192508720 140012938062466 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31772672 140732895044295 140732895044742 140732895044742 140732895047631 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 126812 KiB

[startup+0.310478 s]*
/proc/loadavg: 8.63 8.37 8.03 2/214 8965
/proc/meminfo: memFree=26068740/32770624 swapFree=66956864/67108860
[pid=8943] ppid=8940 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/8943/stat : 8943 (scop.sh) S 8940 8943 7562 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 512534316 115843072 349 33554432000 4194304 5098028 140720935576608 140720935573864 139897498931836 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 11313152 140720935580412 140720935580760 140720935580760 140720935583689 0
/proc/8943/statm: 28282 349 297 221 0 87 0
[pid=8946] ppid=8943 vsize=27314120 memory=129972 CPUtime=0.43 cores=0-7
/proc/8946/stat : 8946 (java) S 8943 8943 7562 0 -1 1077944320 12845 0 0 0 38 5 0 0 20 0 20 0 512534316 27969658880 32493 33554432000 4194304 4196468 140732895039232 140732895021776 140012938051319 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 31772672 140732895044295 140732895044742 140732895044742 140732895047631 0
/proc/8946/statm: 6828530 32493 3062 1 0 6790935 0
[pid=8946/tid=8947] ppid=8943 vsize=27314120 memory=8317482817917895235 CPUtime=0.3 cores=0-7
/proc/8946/task/8947/stat : 8947 (java) R 8943 8943 7562 0 -1 4202560 10285 0 0 0 26 4 0 0 20 0 20 0 512534317 27969658880 32493 33554432000 4194304 4196468 140732895039232 140012909881392 140012918327079 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31772672 140732895044295 140732895044742 140732895044742 140732895047631 0
[pid=8946/tid=8948] ppid=8943 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8946/task/8948/stat : 8948 (java) S 8943 8943 7562 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512534319 27969658880 32493 33554432000 4194304 4196468 140732895039232 140012942293904 140012938061525 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31772672 140732895044295 140732895044742 140732895044742 140732895047631 0
[pid=8946/tid=8949] ppid=8943 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8946/task/8949/stat : 8949 (java) S 8943 8943 7562 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512534319 27969658880 32493 33554432000 4194304 4196468 140732895039232 140012725689104 140012938061525 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31772672 140732895044295 140732895044742 140732895044742 140732895047631 0
[pid=8946/tid=8950] ppid=8943 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8946/task/8950/stat : 8950 (java) S 8943 8943 7562 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512534319 27969658880 32493 33554432000 4194304 4196468 140732895039232 140012724636816 140012938061525 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31772672 140732895044295 140732895044742 140732895044742 140732895047631 0
[pid=8946/tid=8951] ppid=8943 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8946/task/8951/stat : 8951 (java) S 8943 8943 7562 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512534319 27969658880 32493 33554432000 4194304 4196468 140732895039232 140012723584016 140012938061525 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31772672 140732895044295 140732895044742 140732895044742 140732895047631 0
[pid=8946/tid=8952] ppid=8943 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8946/task/8952/stat : 8952 (java) S 8943 8943 7562 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512534319 27969658880 32493 33554432000 4194304 4196468 140732895039232 140012722530704 140012938061525 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31772672 140732895044295 140732895044742 140732895044742 140732895047631 0
[pid=8946/tid=8953] ppid=8943 vsize=27314120 memory=140268733033135 CPUtime=0 cores=0-7
/proc/8946/task/8953/stat : 8953 (java) S 8943 8943 7562 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512534319 27969658880 32493 33554432000 4194304 4196468 140732895039232 140012721477904 140012938061525 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31772672 140732895044295 140732895044742 140732895044742 140732895047631 0
[pid=8946/tid=8954] ppid=8943 vsize=27314120 memory=140268733035440 CPUtime=0 cores=0-7
/proc/8946/task/8954/stat : 8954 (java) S 8943 8943 7562 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512534319 27969658880 32493 33554432000 4194304 4196468 140732895039232 140012720425616 140012938061525 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31772672 140732895044295 140732895044742 140732895044742 140732895047631 0
[pid=8946/tid=8955] ppid=8943 vsize=27314120 memory=140268733037744 CPUtime=0 cores=0-7
/proc/8946/task/8955/stat : 8955 (java) S 8943 8943 7562 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512534319 27969658880 32493 33554432000 4194304 4196468 140732895039232 140012719372816 140012938061525 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31772672 140732895044295 140732895044742 140732895044742 140732895047631 0
[pid=8946/tid=8956] ppid=8943 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8946/task/8956/stat : 8956 (java) S 8943 8943 7562 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512534321 27969658880 32493 33554432000 4194304 4196468 140732895039232 140012311140976 140012938062466 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31772672 140732895044295 140732895044742 140732895044742 140732895047631 0
[pid=8946/tid=8957] ppid=8943 vsize=27314120 memory=280537466089360 CPUtime=0 cores=0-7
/proc/8946/task/8957/stat : 8957 (java) S 8943 8943 7562 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 512534321 27969658880 32493 33554432000 4194304 4196468 140732895039232 140010632242464 140012938061525 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31772672 140732895044295 140732895044742 140732895044742 140732895047631 0
[pid=8946/tid=8958] ppid=8943 vsize=27314120 memory=280537466087056 CPUtime=0 cores=0-7
/proc/8946/task/8958/stat : 8958 (java) S 8943 8943 7562 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 512534321 27969658880 32493 33554432000 4194304 4196468 140732895039232 140010498020976 140012938061525 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31772672 140732895044295 140732895044742 140732895044742 140732895047631 0
[pid=8946/tid=8959] ppid=8943 vsize=27314120 memory=280537466093968 CPUtime=0 cores=0-7
/proc/8946/task/8959/stat : 8959 (java) S 8943 8943 7562 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512534324 27969658880 32493 33554432000 4194304 4196468 140732895039232 140010123516496 140012938069915 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31772672 140732895044295 140732895044742 140732895044742 140732895047631 0
[pid=8946/tid=8960] ppid=8943 vsize=27314120 memory=280537466035248 CPUtime=0.01 cores=0-7
/proc/8946/task/8960/stat : 8960 (java) S 8943 8943 7562 0 -1 1077944384 357 0 0 0 1 0 0 0 20 0 20 0 512534324 27969658880 32493 33554432000 4194304 4196468 140732895039232 140012196718704 140012938062466 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31772672 140732895044295 140732895044742 140732895044742 140732895047631 0
[pid=8946/tid=8961] ppid=8943 vsize=27314120 memory=280537466107792 CPUtime=0.01 cores=0-7
/proc/8946/task/8961/stat : 8961 (java) S 8943 8943 7562 0 -1 1077944384 96 0 0 0 1 0 0 0 20 0 20 0 512534324 27969658880 32493 33554432000 4194304 4196468 140732895039232 140012195665904 140012938062466 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31772672 140732895044295 140732895044742 140732895044742 140732895047631 0
[pid=8946/tid=8962] ppid=8943 vsize=27314120 memory=280537466114704 CPUtime=0.01 cores=0-7
/proc/8946/task/8962/stat : 8962 (java) S 8943 8943 7562 0 -1 1077944384 216 0 0 0 1 0 0 0 20 0 20 0 512534324 27969658880 32493 33554432000 4194304 4196468 140732895039232 140012194613616 140012938062466 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31772672 140732895044295 140732895044742 140732895044742 140732895047631 0
[pid=8946/tid=8963] ppid=8943 vsize=27314120 memory=280537466112400 CPUtime=0.07 cores=0-7
/proc/8946/task/8963/stat : 8963 (java) S 8943 8943 7562 0 -1 1077944384 535 0 0 0 7 0 0 0 20 0 20 0 512534324 27969658880 32493 33554432000 4194304 4196468 140732895039232 140012193560816 140012938062466 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31772672 140732895044295 140732895044742 140732895044742 140732895047631 0
[pid=8946/tid=8964] ppid=8943 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8946/task/8964/stat : 8964 (java) S 8943 8943 7562 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512534324 27969658880 32493 33554432000 4194304 4196468 140732895039232 140009625611104 140012938061525 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31772672 140732895044295 140732895044742 140732895044742 140732895047631 0
[pid=8946/tid=8965] ppid=8943 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/8946/task/8965/stat : 8965 (java) S 8943 8943 7562 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512534324 27969658880 32493 33554432000 4194304 4196468 140732895039232 140012192508720 140012938062466 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31772672 140732895044295 140732895044742 140732895044742 140732895047631 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 131368 KiB

[startup+0.700909 s]
/proc/loadavg: 8.63 8.37 8.03 4/214 8965
/proc/meminfo: memFree=26047272/32770624 swapFree=66956864/67108860
[pid=8943] ppid=8940 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/8943/stat : 8943 (scop.sh) S 8940 8943 7562 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 512534316 115843072 349 33554432000 4194304 5098028 140720935576608 140720935573864 139897498931836 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 11313152 140720935580412 140720935580760 140720935580760 140720935583689 0
/proc/8943/statm: 28282 349 297 221 0 87 0
[pid=8946] ppid=8943 vsize=27322440 memory=165500 CPUtime=0.99 cores=0-7
/proc/8946/stat : 8946 (java) S 8943 8943 7562 0 -1 1077944320 20582 0 0 0 92 7 0 0 20 0 20 0 512534316 27978178560 41375 33554432000 4194304 4196468 140732895039232 140732895021776 140012938051319 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 31772672 140732895044295 140732895044742 140732895044742 140732895047631 0
/proc/8946/statm: 6830610 41375 3184 1 0 6791959 0
[pid=8946/tid=8947] ppid=8943 vsize=27322440 memory=0 CPUtime=0.68 cores=0-7
/proc/8946/task/8947/stat : 8947 (java) R 8943 8943 7562 0 -1 4202560 17439 0 0 0 62 6 0 0 20 0 20 0 512534317 27978178560 41375 33554432000 4194304 4196468 140732895039232 140012909888880 140012922131806 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31772672 140732895044295 140732895044742 140732895044742 140732895047631 0
[pid=8946/tid=8948] ppid=8943 vsize=27322440 memory=140268733244272 CPUtime=0 cores=0-7
/proc/8946/task/8948/stat : 8948 (java) S 8943 8943 7562 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512534319 27978178560 41375 33554432000 4194304 4196468 140732895039232 140012942293904 140012938061525 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31772672 140732895044295 140732895044742 140732895044742 140732895047631 0
[pid=8946/tid=8949] ppid=8943 vsize=27322440 memory=0 CPUtime=0 cores=0-7
/proc/8946/task/8949/stat : 8949 (java) S 8943 8943 7562 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512534319 27978178560 41375 33554432000 4194304 4196468 140732895039232 140012725689104 140012938061525 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31772672 140732895044295 140732895044742 140732895044742 140732895047631 0
[pid=8946/tid=8950] ppid=8943 vsize=27322440 memory=784 CPUtime=0 cores=0-7
/proc/8946/task/8950/stat : 8950 (java) S 8943 8943 7562 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512534319 27978178560 41375 33554432000 4194304 4196468 140732895039232 140012724636816 140012938061525 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31772672 140732895044295 140732895044742 140732895044742 140732895047631 0

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

/proc/8974/task/8982/stat : 8982 (java) S 8943 8943 7562 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 512547856 8616062976 31311 33554432000 4194304 4196468 140737220759680 140640006700176 140640207562453 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22622208 140737220768736 140737220768902 140737220768902 140737220771791 0
[pid=8974/tid=8983] ppid=8943 vsize=8414124 memory=6791534058613427641 CPUtime=0 cores=0-7
/proc/8974/task/8983/stat : 8983 (java) S 8943 8943 7562 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 512547856 8616062976 31311 33554432000 4194304 4196468 140737220759680 140640005647376 140640207562453 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22622208 140737220768736 140737220768902 140737220768902 140737220771791 0
[pid=8974/tid=8984] ppid=8943 vsize=8414124 memory=54064 CPUtime=0 cores=0-7
/proc/8974/task/8984/stat : 8984 (java) S 8943 8943 7562 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 512547857 8616062976 31311 33554432000 4194304 4196468 140737220759680 140639032277104 140640207563394 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22622208 140737220768736 140737220768902 140737220768902 140737220771791 0
[pid=8974/tid=8985] ppid=8943 vsize=8414124 memory=984 CPUtime=0 cores=0-7
/proc/8974/task/8985/stat : 8985 (java) S 8943 8943 7562 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 512547857 8616062976 31311 33554432000 4194304 4196468 140737220759680 140638838317856 140640207562453 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22622208 140737220768736 140737220768902 140737220768902 140737220771791 0
[pid=8974/tid=8986] ppid=8943 vsize=8414124 memory=2016 CPUtime=0 cores=0-7
/proc/8974/task/8986/stat : 8986 (java) S 8943 8943 7562 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512547858 8616062976 31311 33554432000 4194304 4196468 140737220759680 140638569882736 140640207562453 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22622208 140737220768736 140737220768902 140737220768902 140737220771791 0
[pid=8974/tid=8987] ppid=8943 vsize=8414124 memory=54064 CPUtime=0 cores=0-7
/proc/8974/task/8987/stat : 8987 (java) S 8943 8943 7562 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512547861 8616062976 31311 33554432000 4194304 4196468 140737220759680 140638195374160 140640207570843 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22622208 140737220768736 140737220768902 140737220768902 140737220771791 0
[pid=8974/tid=8988] ppid=8943 vsize=8414124 memory=984 CPUtime=0.09 cores=0-7
/proc/8974/task/8988/stat : 8988 (java) S 8943 8943 7562 0 -1 1077944384 558 0 0 0 9 0 0 0 20 0 24 0 512547861 8616062976 31311 33554432000 4194304 4196468 140737220759680 140639031224944 140640207563394 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22622208 140737220768736 140737220768902 140737220768902 140737220771791 0
[pid=8974/tid=8989] ppid=8943 vsize=8414124 memory=2016 CPUtime=0.11 cores=0-7
/proc/8974/task/8989/stat : 8989 (java) S 8943 8943 7562 0 -1 1077944384 601 0 0 0 11 0 0 0 20 0 24 0 512547861 8616062976 31311 33554432000 4194304 4196468 140737220759680 140639030172144 140640207563394 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22622208 140737220768736 140737220768902 140737220768902 140737220771791 0
[pid=8974/tid=8990] ppid=8943 vsize=8414124 memory=1408 CPUtime=0.07 cores=0-7
/proc/8974/task/8990/stat : 8990 (java) S 8943 8943 7562 0 -1 1077944384 191 0 0 0 7 0 0 0 20 0 24 0 512547861 8616062976 31311 33554432000 4194304 4196468 140737220759680 140639029119856 140640207563394 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22622208 140737220768736 140737220768902 140737220768902 140737220771791 0
[pid=8974/tid=8991] ppid=8943 vsize=8414124 memory=1548 CPUtime=0.23 cores=0-7
/proc/8974/task/8991/stat : 8991 (java) S 8943 8943 7562 0 -1 1077944384 620 0 0 0 23 0 0 0 20 0 24 0 512547861 8616062976 31311 33554432000 4194304 4196468 140737220759680 140639028067056 140640207563394 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22622208 140737220768736 140737220768902 140737220768902 140737220771791 0
[pid=8974/tid=8992] ppid=8943 vsize=8414124 memory=7552 CPUtime=0 cores=0-7
/proc/8974/task/8992/stat : 8992 (java) S 8943 8943 7562 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 512547861 8616062976 31311 33554432000 4194304 4196468 140737220759680 140637697468768 140640207562453 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22622208 140737220768736 140737220768902 140737220768902 140737220771791 0
[pid=8974/tid=8993] ppid=8943 vsize=8414124 memory=3608 CPUtime=0 cores=0-7
/proc/8974/task/8993/stat : 8993 (java) S 8943 8943 7562 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 512547861 8616062976 31311 33554432000 4194304 4196468 140737220759680 140639027013936 140640207563394 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22622208 140737220768736 140737220768902 140737220768902 140737220771791 0
[pid=8974/tid=8995] ppid=8943 vsize=8414124 memory=616 CPUtime=0 cores=0-7
/proc/8974/task/8995/stat : 8995 (java) S 8943 8943 7562 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 512547933 8616062976 31311 33554432000 4194304 4196468 140737220759680 140639509718336 140640207576857 0 4 2 25189581 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 22622208 140737220768736 140737220768902 140737220768902 140737220771791 0
[pid=8974/tid=8997] ppid=8943 vsize=8414124 memory=2832 CPUtime=0 cores=0-7
/proc/8974/task/8997/stat : 8997 (java) S 8943 8943 7562 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 512547933 8616062976 31311 33554432000 4194304 4196468 140737220759680 140637026369424 140640207574173 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 22622208 140737220768736 140737220768902 140737220768902 140737220771791 0
[pid=8974/tid=8998] ppid=8943 vsize=8414124 memory=1620 CPUtime=0 cores=0-7
/proc/8974/task/8998/stat : 8998 (java) S 8943 8943 7562 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 24 0 512547933 8616062976 31311 33554432000 4194304 4196468 140737220759680 140637294804752 140640207574173 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 22622208 140737220768736 140737220768902 140737220768902 140737220771791 0
[pid=8974/tid=8999] ppid=8943 vsize=8414124 memory=1772 CPUtime=0 cores=0-7
/proc/8974/task/8999/stat : 8999 (java) S 8943 8943 7562 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 24 0 512547935 8616062976 31311 33554432000 4194304 4196468 140737220759680 140636757942064 140640207562453 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22622208 140737220768736 140737220768902 140737220768902 140737220771791 0
Current children cumulated CPU time: 218.59 s
Current children cumulated vsize: 10232284 KiB
Current children cumulated memory: 1243136 KiB

[startup+143.201 s]
/proc/loadavg: 2.12 5.63 7.05 9/223 9008
/proc/meminfo: memFree=24921548/32770624 swapFree=66956864/67108860
[pid=8943] ppid=8940 vsize=113128 memory=1476 CPUtime=195.69 cores=0-7
/proc/8943/stat : 8943 (scop.sh) S 8940 8943 7562 0 -1 4202496 582 93698 0 0 0 0 18415 1154 20 0 1 0 512534316 115843072 369 33554432000 4194304 5098028 140720935576608 140720935573352 139897498931836 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 11313152 140720935580412 140720935580760 140720935580760 140720935583689 0
/proc/8943/statm: 28282 369 311 221 0 87 0
[pid=8974] ppid=8943 vsize=8414124 memory=125244 CPUtime=1.37 cores=0-7
/proc/8974/stat : 8974 (java) S 8943 8943 7562 0 -1 1077944320 20811 0 0 0 129 8 0 0 20 0 24 0 512547853 8616062976 31311 33554432000 4194304 4196468 140737220759680 140737220742224 140640207552247 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 22622208 140737220768736 140737220768902 140737220768902 140737220771791 0
/proc/8974/statm: 2103531 31311 3195 1 0 2064875 0
[pid=8994] ppid=8974 vsize=1705560 memory=1119564 CPUtime=27.32 cores=0-7
/proc/8994/stat : 8994 (manyglucose-4.1) S 8974 8943 7562 0 -1 1077944320 484048 0 0 0 2618 114 0 0 20 0 3 0 512547933 1746493440 279891 33554432000 4194304 4454172 140727469228624 140727469227008 140477282688759 0 4 0 8388610 18446744073709551615 0 0 17 5 0 0 0 0 0 6552832 6554400 15663104 140727469232974 140727469233180 140727469233180 140727469236150 0
/proc/8994/statm: 426390 279891 420 64 0 422058 0
[pid=8994/tid=9001] ppid=8974 vsize=1705560 memory=616 CPUtime=2.99 cores=0-7
/proc/8994/task/9001/stat : 9001 (manyglucose-4.1) R 8974 8943 7562 0 -1 4202560 35169 0 0 0 287 12 0 0 20 0 3 0 512548334 1746493440 279891 33554432000 4194304 4454172 140727469228624 140476657380136 4351129 0 4 0 8388610 0 0 0 -1 6 0 0 0 0 0 6552832 6554400 15663104 140727469232974 140727469233180 140727469233180 140727469236150 0
[pid=8994/tid=9006] ppid=8974 vsize=1705560 memory=1136 CPUtime=2.99 cores=0-7
/proc/8994/task/9006/stat : 9006 (manyglucose-4.1) R 8974 8943 7562 0 -1 4202560 31536 0 0 0 283 16 0 0 20 0 3 0 512548334 1746493440 279891 33554432000 4194304 4454172 140727469228624 140476615416936 4351129 0 4 0 8388610 0 0 0 -1 2 0 0 0 0 0 6552832 6554400 15663104 140727469232974 140727469233180 140727469233180 140727469236150 0
[pid=8974/tid=8975] ppid=8943 vsize=8414124 memory=1476 CPUtime=0.81 cores=0-7
/proc/8974/task/8975/stat : 8975 (java) S 8943 8943 7562 0 -1 1077944384 17443 0 0 0 75 6 0 0 20 0 24 0 512547854 8616062976 31311 33554432000 4194304 4196468 140737220759680 140640179392416 140640207562453 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22622208 140737220768736 140737220768902 140737220768902 140737220771791 0
[pid=8974/tid=8976] ppid=8943 vsize=8414124 memory=125244 CPUtime=0 cores=0-7
/proc/8974/task/8976/stat : 8976 (java) S 8943 8943 7562 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512547856 8616062976 31311 33554432000 4194304 4196468 140737220759680 140640211794320 140640207562453 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22622208 140737220768736 140737220768902 140737220768902 140737220771791 0
[pid=8974/tid=8977] ppid=8943 vsize=8414124 memory=1116796 CPUtime=0 cores=0-7
/proc/8974/task/8977/stat : 8977 (java) S 8943 8943 7562 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512547856 8616062976 31311 33554432000 4194304 4196468 140737220759680 140640011962640 140640207562453 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22622208 140737220768736 140737220768902 140737220768902 140737220771791 0
[pid=8974/tid=8978] ppid=8943 vsize=8414124 memory=2580 CPUtime=0 cores=0-7
/proc/8974/task/8978/stat : 8978 (java) S 8943 8943 7562 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512547856 8616062976 31311 33554432000 4194304 4196468 140737220759680 140640010910352 140640207562453 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22622208 140737220768736 140737220768902 140737220768902 140737220771791 0
[pid=8974/tid=8979] ppid=8943 vsize=8414124 memory=1760 CPUtime=0 cores=0-7
/proc/8974/task/8979/stat : 8979 (java) S 8943 8943 7562 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512547856 8616062976 31311 33554432000 4194304 4196468 140737220759680 140640009857552 140640207562453 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22622208 140737220768736 140737220768902 140737220768902 140737220771791 0
[pid=8974/tid=8980] ppid=8943 vsize=8414124 memory=111632 CPUtime=0 cores=0-7
/proc/8974/task/8980/stat : 8980 (java) S 8943 8943 7562 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512547856 8616062976 31311 33554432000 4194304 4196468 140737220759680 140640008805264 140640207562453 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22622208 140737220768736 140737220768902 140737220768902 140737220771791 0
[pid=8974/tid=8981] ppid=8943 vsize=8414124 memory=804 CPUtime=0 cores=0-7
/proc/8974/task/8981/stat : 8981 (java) S 8943 8943 7562 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512547856 8616062976 31311 33554432000 4194304 4196468 140737220759680 140640007752464 140640207562453 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22622208 140737220768736 140737220768902 140737220768902 140737220771791 0
[pid=8974/tid=8982] ppid=8943 vsize=8414124 memory=1808 CPUtime=0 cores=0-7
/proc/8974/task/8982/stat : 8982 (java) S 8943 8943 7562 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 512547856 8616062976 31311 33554432000 4194304 4196468 140737220759680 140640006700176 140640207562453 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22622208 140737220768736 140737220768902 140737220768902 140737220771791 0
[pid=8974/tid=8983] ppid=8943 vsize=8414124 memory=920 CPUtime=0 cores=0-7
/proc/8974/task/8983/stat : 8983 (java) S 8943 8943 7562 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 512547856 8616062976 31311 33554432000 4194304 4196468 140737220759680 140640005647376 140640207562453 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22622208 140737220768736 140737220768902 140737220768902 140737220771791 0
[pid=8974/tid=8984] ppid=8943 vsize=8414124 memory=4136 CPUtime=0 cores=0-7
/proc/8974/task/8984/stat : 8984 (java) S 8943 8943 7562 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 512547857 8616062976 31311 33554432000 4194304 4196468 140737220759680 140639032277104 140640207563394 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22622208 140737220768736 140737220768902 140737220768902 140737220771791 0
[pid=8974/tid=8985] ppid=8943 vsize=8414124 memory=4096 CPUtime=0 cores=0-7
/proc/8974/task/8985/stat : 8985 (java) S 8943 8943 7562 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 512547857 8616062976 31311 33554432000 4194304 4196468 140737220759680 140638838317856 140640207562453 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22622208 140737220768736 140737220768902 140737220768902 140737220771791 0
[pid=8974/tid=8986] ppid=8943 vsize=8414124 memory=1412 CPUtime=0 cores=0-7
/proc/8974/task/8986/stat : 8986 (java) S 8943 8943 7562 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512547858 8616062976 31311 33554432000 4194304 4196468 140737220759680 140638569882736 140640207562453 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22622208 140737220768736 140737220768902 140737220768902 140737220771791 0
[pid=8974/tid=8987] ppid=8943 vsize=8414124 memory=3228 CPUtime=0 cores=0-7
/proc/8974/task/8987/stat : 8987 (java) S 8943 8943 7562 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512547861 8616062976 31311 33554432000 4194304 4196468 140737220759680 140638195374160 140640207570843 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22622208 140737220768736 140737220768902 140737220768902 140737220771791 0
[pid=8974/tid=8988] ppid=8943 vsize=8414124 memory=1476 CPUtime=0.09 cores=0-7
/proc/8974/task/8988/stat : 8988 (java) S 8943 8943 7562 0 -1 1077944384 558 0 0 0 9 0 0 0 20 0 24 0 512547861 8616062976 31311 33554432000 4194304 4196468 140737220759680 140639031224944 140640207563394 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22622208 140737220768736 140737220768902 140737220768902 140737220771791 0
[pid=8974/tid=8989] ppid=8943 vsize=8414124 memory=125244 CPUtime=0.11 cores=0-7
/proc/8974/task/8989/stat : 8989 (java) S 8943 8943 7562 0 -1 1077944384 601 0 0 0 11 0 0 0 20 0 24 0 512547861 8616062976 31311 33554432000 4194304 4196468 140737220759680 140639030172144 140640207563394 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22622208 140737220768736 140737220768902 140737220768902 140737220771791 0
[pid=8974/tid=8990] ppid=8943 vsize=8414124 memory=888696 CPUtime=0.07 cores=0-7
/proc/8974/task/8990/stat : 8990 (java) S 8943 8943 7562 0 -1 1077944384 191 0 0 0 7 0 0 0 20 0 24 0 512547861 8616062976 31311 33554432000 4194304 4196468 140737220759680 140639029119856 140640207563394 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22622208 140737220768736 140737220768902 140737220768902 140737220771791 0
[pid=8974/tid=8991] ppid=8943 vsize=8414124 memory=1160 CPUtime=0.23 cores=0-7
/proc/8974/task/8991/stat : 8991 (java) S 8943 8943 7562 0 -1 1077944384 620 0 0 0 23 0 0 0 20 0 24 0 512547861 8616062976 31311 33554432000 4194304 4196468 140737220759680 140639028067056 140640207563394 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22622208 140737220768736 140737220768902 140737220768902 140737220771791 0
[pid=8974/tid=8992] ppid=8943 vsize=8414124 memory=8317482817917895235 CPUtime=0 cores=0-7
/proc/8974/task/8992/stat : 8992 (java) S 8943 8943 7562 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 512547861 8616062976 31311 33554432000 4194304 4196468 140737220759680 140637697468768 140640207562453 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22622208 140737220768736 140737220768902 140737220768902 140737220771791 0
[pid=8974/tid=8993] ppid=8943 vsize=8414124 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/8974/task/8993/stat : 8993 (java) S 8943 8943 7562 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 512547861 8616062976 31311 33554432000 4194304 4196468 140737220759680 140639027013936 140640207563394 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22622208 140737220768736 140737220768902 140737220768902 140737220771791 0
[pid=8974/tid=8995] ppid=8943 vsize=8414124 memory=3184 CPUtime=0 cores=0-7
/proc/8974/task/8995/stat : 8995 (java) S 8943 8943 7562 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 512547933 8616062976 31311 33554432000 4194304 4196468 140737220759680 140639509718336 140640207576857 0 4 2 25189581 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 22622208 140737220768736 140737220768902 140737220768902 140737220771791 0
[pid=8974/tid=8997] ppid=8943 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/8974/task/8997/stat : 8997 (java) S 8943 8943 7562 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 512547933 8616062976 31311 33554432000 4194304 4196468 140737220759680 140637026369424 140640207574173 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 22622208 140737220768736 140737220768902 140737220768902 140737220771791 0
[pid=8974/tid=8998] ppid=8943 vsize=8414124 memory=125244 CPUtime=0 cores=0-7
/proc/8974/task/8998/stat : 8998 (java) S 8943 8943 7562 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 24 0 512547933 8616062976 31311 33554432000 4194304 4196468 140737220759680 140637294804752 140640207574173 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 22622208 140737220768736 140737220768902 140737220768902 140737220771791 0
[pid=8974/tid=8999] ppid=8943 vsize=8414124 memory=-5059952977386882957 CPUtime=0 cores=0-7
/proc/8974/task/8999/stat : 8999 (java) S 8943 8943 7562 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 24 0 512547935 8616062976 31311 33554432000 4194304 4196468 140737220759680 140636757942064 140640207562453 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22622208 140737220768736 140737220768902 140737220768902 140737220771791 0
Current children cumulated CPU time: 224.38 s
Current children cumulated vsize: 10232812 KiB
Current children cumulated memory: 1246284 KiB

[startup+143.401 s]
/proc/loadavg: 2.12 5.63 7.05 9/223 9008
/proc/meminfo: memFree=24921548/32770624 swapFree=66956864/67108860
[pid=8943] ppid=8940 vsize=113128 memory=1476 CPUtime=195.69 cores=0-7
/proc/8943/stat : 8943 (scop.sh) S 8940 8943 7562 0 -1 4202496 582 93698 0 0 0 0 18415 1154 20 0 1 0 512534316 115843072 369 33554432000 4194304 5098028 140720935576608 140720935573352 139897498931836 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 11313152 140720935580412 140720935580760 140720935580760 140720935583689 0
/proc/8943/statm: 28282 369 311 221 0 87 0
[pid=8974] ppid=8943 vsize=8414124 memory=126452 CPUtime=1.43 cores=0-7
/proc/8974/stat : 8974 (java) S 8943 8943 7562 0 -1 1077944320 21105 0 0 0 134 9 0 0 20 0 24 0 512547853 8616062976 31613 33554432000 4194304 4196468 140737220759680 140737220742224 140640207552247 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 22622208 140737220768736 140737220768902 140737220768902 140737220771791 0
/proc/8974/statm: 2103531 31613 3195 1 0 2064875 0
[pid=8974/tid=8975] ppid=8943 vsize=8414124 memory=-4075877051373423740 CPUtime=0.81 cores=0-7
/proc/8974/task/8975/stat : 8975 (java) S 8943 8943 7562 0 -1 1077944384 17443 0 0 0 75 6 0 0 20 0 24 0 512547854 8616062976 31613 33554432000 4194304 4196468 140737220759680 140640179392416 140640207562453 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22622208 140737220768736 140737220768902 140737220768902 140737220771791 0
[pid=8974/tid=8976] ppid=8943 vsize=8414124 memory=900 CPUtime=0 cores=0-7
/proc/8974/task/8976/stat : 8976 (java) S 8943 8943 7562 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512547856 8616062976 31613 33554432000 4194304 4196468 140737220759680 140640211794320 140640207562453 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22622208 140737220768736 140737220768902 140737220768902 140737220771791 0
[pid=8974/tid=8977] ppid=8943 vsize=8414124 memory=1136 CPUtime=0 cores=0-7
/proc/8974/task/8977/stat : 8977 (java) S 8943 8943 7562 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512547856 8616062976 31613 33554432000 4194304 4196468 140737220759680 140640011962640 140640207562453 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22622208 140737220768736 140737220768902 140737220768902 140737220771791 0
[pid=8974/tid=8978] ppid=8943 vsize=8414124 memory=1072 CPUtime=0 cores=0-7
/proc/8974/task/8978/stat : 8978 (java) S 8943 8943 7562 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512547856 8616062976 31613 33554432000 4194304 4196468 140737220759680 140640010910352 140640207562453 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22622208 140737220768736 140737220768902 140737220768902 140737220771791 0
[pid=8974/tid=8979] ppid=8943 vsize=8414124 memory=6196 CPUtime=0 cores=0-7
/proc/8974/task/8979/stat : 8979 (java) S 8943 8943 7562 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512547856 8616062976 31613 33554432000 4194304 4196468 140737220759680 140640009857552 140640207562453 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22622208 140737220768736 140737220768902 140737220768902 140737220771791 0
[pid=8974/tid=8980] ppid=8943 vsize=8414124 memory=784 CPUtime=0 cores=0-7
/proc/8974/task/8980/stat : 8980 (java) S 8943 8943 7562 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512547856 8616062976 31613 33554432000 4194304 4196468 140737220759680 140640008805264 140640207562453 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22622208 140737220768736 140737220768902 140737220768902 140737220771791 0
[pid=8974/tid=8981] ppid=8943 vsize=8414124 memory=1060 CPUtime=0 cores=0-7
/proc/8974/task/8981/stat : 8981 (java) S 8943 8943 7562 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512547856 8616062976 31613 33554432000 4194304 4196468 140737220759680 140640007752464 140640207562453 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22622208 140737220768736 140737220768902 140737220768902 140737220771791 0
[pid=8974/tid=8982] ppid=8943 vsize=8414124 memory=14012 CPUtime=0 cores=0-7
/proc/8974/task/8982/stat : 8982 (java) S 8943 8943 7562 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 512547856 8616062976 31613 33554432000 4194304 4196468 140737220759680 140640006700176 140640207562453 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22622208 140737220768736 140737220768902 140737220768902 140737220771791 0
[pid=8974/tid=8983] ppid=8943 vsize=8414124 memory=25404 CPUtime=0 cores=0-7
/proc/8974/task/8983/stat : 8983 (java) S 8943 8943 7562 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 512547856 8616062976 31613 33554432000 4194304 4196468 140737220759680 140640005647376 140640207562453 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22622208 140737220768736 140737220768902 140737220768902 140737220771791 0
[pid=8974/tid=8984] ppid=8943 vsize=8414124 memory=14056 CPUtime=0 cores=0-7
/proc/8974/task/8984/stat : 8984 (java) S 8943 8943 7562 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 512547857 8616062976 31613 33554432000 4194304 4196468 140737220759680 140639032277104 140640207563394 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22622208 140737220768736 140737220768902 140737220768902 140737220771791 0
[pid=8974/tid=8985] ppid=8943 vsize=8414124 memory=-4075877051373423740 CPUtime=0 cores=0-7
/proc/8974/task/8985/stat : 8985 (java) S 8943 8943 7562 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 512547857 8616062976 31613 33554432000 4194304 4196468 140737220759680 140638838317856 140640207562453 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22622208 140737220768736 140737220768902 140737220768902 140737220771791 0
[pid=8974/tid=8986] ppid=8943 vsize=8414124 memory=516 CPUtime=0 cores=0-7
/proc/8974/task/8986/stat : 8986 (java) S 8943 8943 7562 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512547858 8616062976 31613 33554432000 4194304 4196468 140737220759680 140638569882736 140640207562453 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22622208 140737220768736 140737220768902 140737220768902 140737220771791 0
[pid=8974/tid=8987] ppid=8943 vsize=8414124 memory=1556 CPUtime=0 cores=0-7
/proc/8974/task/8987/stat : 8987 (java) S 8943 8943 7562 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512547861 8616062976 31613 33554432000 4194304 4196468 140737220759680 140638195374160 140640207570843 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22622208 140737220768736 140737220768902 140737220768902 140737220771791 0
[pid=8974/tid=8988] ppid=8943 vsize=8414124 memory=928 CPUtime=0.1 cores=0-7
/proc/8974/task/8988/stat : 8988 (java) S 8943 8943 7562 0 -1 1077944384 566 0 0 0 10 0 0 0 20 0 24 0 512547861 8616062976 31613 33554432000 4194304 4196468 140737220759680 140639031224944 140640207563394 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22622208 140737220768736 140737220768902 140737220768902 140737220771791 0
[pid=8974/tid=8989] ppid=8943 vsize=8414124 memory=6196 CPUtime=0.12 cores=0-7
/proc/8974/task/8989/stat : 8989 (java) S 8943 8943 7562 0 -1 1077944384 603 0 0 0 12 0 0 0 20 0 24 0 512547861 8616062976 31613 33554432000 4194304 4196468 140737220759680 140639030172144 140640207563394 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22622208 140737220768736 140737220768902 140737220768902 140737220771791 0
[pid=8974/tid=8990] ppid=8943 vsize=8414124 memory=784 CPUtime=0.08 cores=0-7
/proc/8974/task/8990/stat : 8990 (java) S 8943 8943 7562 0 -1 1077944384 197 0 0 0 8 0 0 0 20 0 24 0 512547861 8616062976 31613 33554432000 4194304 4196468 140737220759680 140639029119856 140640207563394 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22622208 140737220768736 140737220768902 140737220768902 140737220771791 0
[pid=8974/tid=8991] ppid=8943 vsize=8414124 memory=1060 CPUtime=0.25 cores=0-7
/proc/8974/task/8991/stat : 8991 (java) S 8943 8943 7562 0 -1 1077944384 890 0 0 0 25 0 0 0 20 0 24 0 512547861 8616062976 31613 33554432000 4194304 4196468 140737220759680 140639028067056 140640207563394 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22622208 140737220768736 140737220768902 140737220768902 140737220771791 0
[pid=8974/tid=8992] ppid=8943 vsize=8414124 memory=14012 CPUtime=0 cores=0-7
/proc/8974/task/8992/stat : 8992 (java) S 8943 8943 7562 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 512547861 8616062976 31613 33554432000 4194304 4196468 140737220759680 140637697468768 140640207562453 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22622208 140737220768736 140737220768902 140737220768902 140737220771791 0
[pid=8974/tid=8993] ppid=8943 vsize=8414124 memory=25404 CPUtime=0 cores=0-7
/proc/8974/task/8993/stat : 8993 (java) S 8943 8943 7562 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 512547861 8616062976 31613 33554432000 4194304 4196468 140737220759680 140639027013936 140640207563394 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22622208 140737220768736 140737220768902 140737220768902 140737220771791 0
[pid=8974/tid=8995] ppid=8943 vsize=8414124 memory=14056 CPUtime=0 cores=0-7
/proc/8974/task/8995/stat : 8995 (java) S 8943 8943 7562 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 512547933 8616062976 31613 33554432000 4194304 4196468 140737220759680 140639509718336 140640207576857 0 4 2 25189581 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 22622208 140737220768736 140737220768902 140737220768902 140737220771791 0
[pid=8974/tid=8997] ppid=8943 vsize=8414124 memory=2116 CPUtime=0.01 cores=0-7
/proc/8974/task/8997/stat : 8997 (java) S 8943 8943 7562 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 24 0 512547933 8616062976 31613 33554432000 4194304 4196468 140737220759680 140637026369456 140640207574173 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 22622208 140737220768736 140737220768902 140737220768902 140737220771791 0
[pid=8974/tid=8998] ppid=8943 vsize=8414124 memory=516 CPUtime=0 cores=0-7
/proc/8974/task/8998/stat : 8998 (java) S 8943 8943 7562 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 24 0 512547933 8616062976 31613 33554432000 4194304 4196468 140737220759680 140637294804752 140640207574173 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 22622208 140737220768736 140737220768902 140737220768902 140737220771791 0
[pid=8974/tid=8999] ppid=8943 vsize=8414124 memory=1556 CPUtime=0 cores=0-7
/proc/8974/task/8999/stat : 8999 (java) S 8943 8943 7562 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 24 0 512547935 8616062976 31613 33554432000 4194304 4196468 140737220759680 140636757942064 140640207562453 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22622208 140737220768736 140737220768902 140737220768902 140737220771791 0
Current children cumulated CPU time: 197.12 s
Current children cumulated vsize: 8527252 KiB
Current children cumulated memory: 127928 KiB

Child status: 0
Real time (s): 143.429
CPU time (s): 224.754
CPU user time (s): 211.892
CPU system time (s): 12.8617
CPU usage (%): 156.7
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 9870536

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 211.892
system time used= 12.8617
maximum resident set size= 9869396
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 613888
page faults= 0
swaps= 0
block input operations= 0
block output operations= 71368
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 23811
involuntary context switches= 885


# summary of solver processes directly reported to runsolver:
#   pid: 8943
#   total CPU time (s): 224.754
#   total CPU user time (s): 211.892
#   total CPU system time (s): 12.8617

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.14286 second user time and 1.46053 second system time

The end

Launcher Data 

Begin job on node105 at 2019-09-24 23:04:24
IDJOB=4405474
IDBENCH=140010
IDSOLVER=2868
FILE ID=node105/4405474-1569362766
RUNJOBID= node105-1569352967-7589
PBS_JOBID= 21705104
Free space on /var/tmp= 13176 MiB

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

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

MD5SUM BENCH= 4f70966c99dd40579db6abd1a80acf5b
RANDOM SEED=1749639076

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        26188104 kB
MemAvailable:   31800824 kB
Buffers:          130260 kB
Cached:          5610328 kB
SwapCached:        48356 kB
Active:          2856928 kB
Inactive:        2932976 kB
Active(anon):       3820 kB
Inactive(anon):    99632 kB
Active(file):    2853108 kB
Inactive(file):  2833344 kB
Unevictable:      110896 kB
Mlocked:          110896 kB
SwapTotal:      67108860 kB
SwapFree:       66956864 kB
Dirty:             20432 kB
Writeback:             0 kB
AnonPages:        112984 kB
Mapped:            54664 kB
Shmem:             45940 kB
Slab:             383308 kB
SReclaimable:     354728 kB
SUnreclaim:        28580 kB
KernelStack:        3456 kB
PageTables:         5292 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     505708 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     67584 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      120192 kB
DirectMap2M:    33425408 kB

Free space on /var/tmp at the end= 13156 MiB
End job on node105 at 2019-09-24 23:06:48