Trace number 4392660

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Fun-sCOP hybrid+ManyGlucose (2019-06-15)SAT 168.309 138.965

General information on the benchmark

NameHanoi/Hanoi-m1-s1/
Hanoi-07.xml
MD5SUM7f68b5f256bf6bd8019eb0158af88fa3
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.776956
Satisfiable
(Un)Satisfiability was proved
Number of variables126
Number of constraints126
Number of domains1
Minimum domain size2187
Maximum domain size2187
Distribution of domain sizes[{"size":2187,"count":126}]
Minimum variable degree1
Maximum variable degree2
Distribution of variable degrees[{"degree":1,"count":125},{"degree":2,"count":1}]
Minimum constraint arity1
Maximum constraint arity2
Distribution of constraint arities[{"arity":1,"count":1},{"arity":2,"count":125}]
Number of extensional constraints125
Number of intensional constraints1
Distribution of constraint types[{"type":"extension","count":125},{"type":"intension","count":1}]
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-28272-serial-file.bin HOME/instance-4392660-1568442576.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.57	c BEGIN-Prog: Sat Sep 14 08:28:57 CEST 2019
0.66/0.57	c PID: 28275
0.66/0.57	c IP: 172.20.3.119
0.66/0.57	c HOST: node119.alineos.net
0.66/0.57	c (0,0) Parsing Begin
2.21/1.05	c (0,0) Parsing End
2.21/1.06	c (0,0) CSP: 126 int (0 aux), 0 bool (0 aux), 126 ctr, max domain size 2187
2.21/1.06	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
2.21/1.06	c (0,0) Constraint Name Generate Begin
2.21/1.06	c (0,0) Ctr:HOME/instance-4392660-1568442576.xml,ExtensionSupport:In:Var
2.21/1.06	c (0,0) Constraint Name Generate End
2.21/1.06	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
2.21/1.06	c (0,0) CSP to CSPinCNF Begin
4.23/1.76	c (1,1) translated 13 (10%) constraints
6.72/2.42	c (1,1) translated 26 (20%) constraints
9.07/3.65	c (3,3) translated 38 (30%) constraints
11.70/6.02	c (5,5) translated 51 (40%) constraints
15.99/10.19	c (9,9) translated 63 (50%) constraints
24.15/18.18	c (17,17) translated 76 (60%) constraints
36.66/29.11	c (28,28) translated 89 (70%) constraints
51.80/43.92	c (43,43) translated 101 (80%) constraints
76.83/66.95	c (66,65) translated 114 (90%) constraints
113.56/99.47	c (98,97) translated 126 (100%) constraints
113.56/99.47	c (98,97) ===========================================
113.77/99.63	c (99,97) Hybrid: #OE=90648, #LE=0
113.77/99.63	c (99,97) Hybrid
113.77/99.63	c (99,97) ===========================================
115.39/100.70	c (100,99) translated 56261 (10%) constraints
116.39/101.72	c (101,100) translated 112521 (20%) constraints
117.46/102.75	c (102,101) translated 168782 (30%) constraints
118.46/103.77	c (103,102) translated 225042 (40%) constraints
119.46/104.79	c (104,103) translated 281303 (50%) constraints
120.56/105.80	c (105,104) translated 337563 (60%) constraints
121.56/106.82	c (106,105) translated 393824 (70%) constraints
122.56/107.83	c (107,106) translated 450084 (80%) constraints
123.56/108.86	c (108,107) translated 506345 (90%) constraints
124.56/109.88	c (109,108) translated 562605 (100%) constraints
124.56/109.89	c (109,108) CSP to CSPinCNF End
124.69/109.94	c (109,108) CSP: 126 int (0 aux), 90524 bool (90524 aux), 562609 ctr, max domain size 2059
124.69/109.94	c (109,108) Heap : 4239 MiB used (max 21589 MiB), NonHeap : 26 MiB used (max 0 MiB)
124.69/109.94	c (109,108) CSPinCNF Propagation Begin
150.55/127.69	c (127,124) 0 values, 125 unsatisfiable literals, and 2 valid clauses are removed
150.55/127.69	c (127,124) CSPinCNF Propagation End
150.65/127.73	c (127,124) CSP: 126 int (0 aux), 90524 bool (90524 aux), 562607 ctr, max domain size 2059
150.65/127.73	c (127,124) Heap : 935 MiB used (max 21850 MiB), NonHeap : 27 MiB used (max 0 MiB)
150.78/127.88	c (127,125) Hybrid: #OE=90650, #LE=0
150.78/127.88	c (127,125) Simplify CSPinCNF Begin
151.78/128.75	c (128,125) Simplify CSPinCNF End
151.78/128.79	c (128,126) CSP: 126 int (0 aux), 90524 bool (90524 aux), 562607 ctr, max domain size 2059
151.78/128.79	c (128,126) Heap : 1549 MiB used (max 21850 MiB), NonHeap : 27 MiB used (max 0 MiB)
151.78/128.79	c (128,126) Calculate Precise Domain Begin
151.78/128.79	c (128,126) 0 values are removed by re-calculation
151.78/128.79	c (128,126) Calculate Precise Domain End
151.88/128.83	c (128,126) CSP: 126 int (0 aux), 90524 bool (90524 aux), 562607 ctr, max domain size 2059
151.88/128.83	c (128,126) Heap : 1549 MiB used (max 21850 MiB), NonHeap : 27 MiB used (max 0 MiB)
151.88/128.83	c (128,126) CSPinCNF to SatSolver Begin
155.67/130.02	c (129,127) 56261 (10 %) CSP clauses are encoded (0 SAT variables, 148589 SAT clauses)
156.19/130.54	c (129,127) 112522 (20 %) CSP clauses are encoded (0 SAT variables, 204850 SAT clauses)
156.69/131.07	c (130,128) 168783 (30 %) CSP clauses are encoded (0 SAT variables, 261111 SAT clauses)
157.30/131.62	c (131,128) 225043 (40 %) CSP clauses are encoded (0 SAT variables, 317371 SAT clauses)
157.82/132.17	c (131,129) 281304 (50 %) CSP clauses are encoded (0 SAT variables, 373632 SAT clauses)
158.44/132.74	c (132,129) 337565 (60 %) CSP clauses are encoded (0 SAT variables, 429893 SAT clauses)
158.99/133.49	c (132,130) 393825 (70 %) CSP clauses are encoded (0 SAT variables, 486153 SAT clauses)
159.60/134.09	c (133,131) 450086 (80 %) CSP clauses are encoded (0 SAT variables, 542414 SAT clauses)
160.29/134.73	c (134,131) 506347 (90 %) CSP clauses are encoded (0 SAT variables, 598675 SAT clauses)
162.83/135.61	c (135,132) 562607 (100 %) CSP clauses are encoded (0 SAT variables, 654935 SAT clauses)
162.83/135.61	c (135,132) CSPinCNF to SatSolver End
162.83/135.61	c (135,132) Heap : 755 MiB used (max 21876 MiB), NonHeap : 29 MiB used (max 0 MiB)
162.83/135.61	c (135,132) 182979 bool, 654936 clause
162.83/135.61	c (135,132) Export Begin
163.72/136.14	c (135,132) Export to HOME/scop-28272-serial-file.bin
163.72/136.14	c (135,132) Export End
163.72/136.14	c (135,132) Export File Size: 2.74 MB
163.72/136.14	c (135,132) 0,0,109,127,128,128,135,STOP-AFTER(DIMACS)
163.72/136.15	c END-Prog: Sat Sep 14 08:31:12 CEST 2019
163.72/136.19	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-28272-serial-file.bin
163.82/136.67	c (0,0) Read Serial File Begin
163.82/136.67	c (0,0) HOME/scop-28272-serial-file.bin
165.44/137.21	c (0,0) Read Serial File End
165.44/137.23	
165.44/137.23	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
165.44/137.23	(Solving Process)
165.44/137.23	
165.44/137.25	c BEGIN-Prog: Sat Sep 14 08:31:13 CEST 2019
165.44/137.25	c PID: 28312
165.44/137.25	c IP: 172.20.3.119
165.44/137.25	c HOST: node119.alineos.net
165.44/137.25	c (0,0) SatSolver.solve Begin
165.44/137.25	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4392660-1568442576.xml-scop-28275.cnf
165.44/137.28	c (0,0) c
165.44/137.28	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)
165.44/137.28	c (0,0) c
165.44/137.28	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
165.44/137.28	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
165.44/137.28	c (0,0) c ========================================[ Problem Statistics ]===========================================
165.44/137.28	c (0,0) c |                                                                                                       |
165.73/137.58	c (0,0) c |  Number of variables:        182979                                                                   |
165.73/137.58	c (0,0) c |  Number of clauses:          654936                                                                   |
165.73/137.58	c (0,0) c |  Parse time:                   0.27 s                                                                 |
165.73/137.58	c (0,0) c |                                                                                                       |
166.45/138.11	c (1,0) c |  Simplification time:          0.52 s                                                                 |
166.45/138.11	c (1,0) c |                                                                                                       |
166.55/138.11	c (1,0) c |  Generating clones                                                                                    |
166.94/138.50	c (1,0) c |  all clones generated. Memory =   557.51Mb.                                                           |
166.94/138.50	c (1,0) c ========================================================================================================|
166.94/138.50	c (1,0) c
166.94/138.50	c (1,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
166.94/138.50	c (1,0) c
166.94/138.50	c (1,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
166.94/138.50	c (1,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
166.94/138.50	c (1,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
166.94/138.50	c (1,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
166.94/138.50	c (1,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
166.94/138.50	c (1,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
166.94/138.50	c (1,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
166.94/138.50	c (1,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
166.94/138.50	c (1,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
166.94/138.50	c (1,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
166.94/138.50	c (1,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
166.94/138.50	c (1,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
166.94/138.50	c (1,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
166.94/138.50	c (1,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
166.94/138.50	c (1,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
166.94/138.50	c (1,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
166.94/138.50	c (1,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
166.94/138.50	c (1,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
166.94/138.50	c (1,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
167.44/138.62	c (2,0) c
167.44/138.62	c (2,0) c real time : 1.34067 s
167.44/138.62	c (2,0) c cpu time  : 1.54929 s
167.44/138.62	c (2,0) c
167.44/138.62	c (2,0) c
167.44/138.62	c (2,0) c
167.44/138.62	c (2,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
167.44/138.62	c (2,0) c
167.44/138.62	c (2,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
167.44/138.62	c (2,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
167.44/138.62	c (2,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
167.44/138.62	c (2,0) c | Conflicts     |               4 |          0 |          1 |          0 |          0 |          1 |          1 |          0 |          1 |
167.44/138.62	c (2,0) c | Decisions     |            8850 |       1717 |       1065 |        981 |       1182 |        710 |       1051 |       1306 |        838 |
167.44/138.62	c (2,0) c | Propagations  |         1457815 |     182223 |     182233 |     182223 |     182223 |     182234 |     182233 |     182223 |     182223 |
167.44/138.62	c (2,0) c | ReduceDBs     |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
167.44/138.62	c (2,0) c | SimpDBs       |               8 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |
167.44/138.62	c (2,0) c | Restarts      |               8 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |
167.44/138.62	c (2,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
167.44/138.62	c (2,0) c | PropBinClauses|         1459664 |     182451 |     182464 |     182452 |     182449 |     182462 |     182462 |     182452 |     182472 |
167.44/138.62	c (2,0) c | PropPreBlocker|         4016214 |     571687 |     490415 |     492442 |     481787 |     502262 |     483655 |     491573 |     502393 |
167.44/138.62	c (2,0) c | PropNotBlocker|         1956235 |     382592 |     221676 |     225250 |     204432 |     244659 |     208100 |     224272 |     245254 |
167.44/138.62	c (2,0) c | LitFullScans  |         7903186 |    1228598 |     948048 |     954306 |     917894 |     988376 |     924416 |     952335 |     989213 |
167.44/138.62	c (2,0) c | LitScanFracts |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
167.44/138.62	c (2,0) c | DecisionLevel0|               8 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |
167.44/138.62	c (2,0) c | Periods       |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
167.44/138.62	c (2,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
167.44/138.62	c (2,0) c | Avg_Trail     |                 |          0 |     181957 |          0 |          0 |     158255 |     181331 |          0 |     180650 |
167.44/138.62	c (2,0) c | Avg_DL        |                 |          0 |       1045 |          0 |          0 |        475 |       1008 |          0 |        785 |
167.44/138.62	c (2,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
167.44/138.62	c (2,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
167.44/138.62	c (2,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
167.44/138.62	c (2,0) c | Exported      |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
167.44/138.62	c (2,0) c | Imported      |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
167.44/138.62	c (2,0) c | Good          |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
167.44/138.62	c (2,0) c | Purge         |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
167.44/138.62	c (2,0) c | Promoted      |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
167.44/138.62	c (2,0) c | Remove_Imp    |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
167.44/138.62	c (2,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
167.44/138.62	c (2,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
167.44/138.62	c (2,0) c | Unaries       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
167.44/138.62	c (2,0) c | Binaries      |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
167.44/138.62	c (2,0) c | Glues         |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
167.44/138.62	c (2,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
167.44/138.62	c (2,0) c | Orig_Seen     |             0 % |          0 |          8 |          0 |          0 |          8 |          8 |          0 |          8 |
167.44/138.62	c (2,0) c | Diff Orig seen|                 |      X     |          8 | -        0 | -        0 |          8 |          8 | -        0 |          8 |
167.44/138.62	c (2,0) c | Hamming       |             0 % |      X     |         25 |        523 |         92 |         20 |         20 |        419 |         27 |
167.44/138.62	c (2,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
167.44/138.62	c (2,0) c | RunningTime   |                 |    0.1 100%|    0.1 100%|    0.1 100%|    0.1 100%|    0.1 100%|    0.1 100%|    0.1 100%|    0.1 100%|
167.44/138.62	c (2,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%|
167.44/138.62	c (2,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%|
167.44/138.62	c (2,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%|
167.44/138.62	c (2,0) c | SolvingTime   |                 |    0.1     |    0.1     |    0.1     |    0.1     |    0.1     |    0.1     |    0.1     |    0.1     |
167.44/138.62	c (2,0) c | PropagationTim|                 |    0.1  97%|    0.1  96%|    0.1  95%|    0.1  96%|    0.1  97%|    0.1  97%|    0.1  97%|    0.1  97%|
167.44/138.62	c (2,0) c | AnalysisTime  |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
167.44/138.62	c (2,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%|
167.44/138.62	c (2,0) c | SimplifyTime  |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
167.44/138.62	c (2,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%|
167.44/138.62	c (2,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%|
167.44/138.62	c (2,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
167.44/138.62	c (2,0) c
167.44/138.62	c (2,0) c
167.44/138.62	c (2,0) c Threads : 8
167.44/138.62	c (2,0) c Winner : 0
167.44/138.62	c (2,0) c Conflicts_0 : 0
167.44/138.62	c (2,0) c Conflicts_1 : 1
167.44/138.62	c (2,0) c Conflicts_2 : 0
167.44/138.62	c (2,0) c Conflicts_3 : 0
167.44/138.62	c (2,0) c Conflicts_4 : 1
167.44/138.62	c (2,0) c Conflicts_5 : 1
167.44/138.62	c (2,0) c Conflicts_6 : 0
167.44/138.62	c (2,0) c Conflicts_7 : 1
167.44/138.62	c (2,0) c Conflicts_total : 4
167.44/138.62	c (2,0) c Conflicts_winner : 0
167.44/138.62	c (2,0) c Decisions_0 : 1717
167.44/138.62	c (2,0) c Decisions_1 : 1065
167.44/138.62	c (2,0) c Decisions_2 : 981
167.44/138.62	c (2,0) c Decisions_3 : 1182
167.44/138.62	c (2,0) c Decisions_4 : 710
167.44/138.62	c (2,0) c Decisions_5 : 1051
167.44/138.62	c (2,0) c Decisions_6 : 1306
167.44/138.62	c (2,0) c Decisions_7 : 838
167.44/138.62	c (2,0) c Decisions_total : 8850
167.44/138.62	c (2,0) c Decisions_winner : 1717
167.44/138.62	c (2,0) c Propagations_0 : 182223
167.44/138.62	c (2,0) c Propagations_1 : 182233
167.44/138.62	c (2,0) c Propagations_2 : 182223
167.44/138.62	c (2,0) c Propagations_3 : 182223
167.44/138.62	c (2,0) c Propagations_4 : 182234
167.44/138.62	c (2,0) c Propagations_5 : 182233
167.44/138.62	c (2,0) c Propagations_6 : 182223
167.44/138.62	c (2,0) c Propagations_7 : 182223
167.44/138.62	c (2,0) c Propagations_total : 1457815
167.44/138.62	c (2,0) c Propagations_winner : 182223
167.44/138.62	c (2,0) c ReduceDBs_0 : 0
167.44/138.62	c (2,0) c ReduceDBs_1 : 0
167.44/138.62	c (2,0) c ReduceDBs_2 : 0
167.44/138.62	c (2,0) c ReduceDBs_3 : 0
167.44/138.62	c (2,0) c ReduceDBs_4 : 0
167.44/138.62	c (2,0) c ReduceDBs_5 : 0
167.44/138.62	c (2,0) c ReduceDBs_6 : 0
167.44/138.62	c (2,0) c ReduceDBs_7 : 0
167.44/138.62	c (2,0) c ReduceDBs_total : 0
167.44/138.62	c (2,0) c ReduceDBs_winner : 0
167.44/138.62	c (2,0) c SimpDBs_0 : 1
167.44/138.62	c (2,0) c SimpDBs_1 : 1
167.44/138.62	c (2,0) c SimpDBs_2 : 1
167.44/138.62	c (2,0) c SimpDBs_3 : 1
167.44/138.62	c (2,0) c SimpDBs_4 : 1
167.44/138.62	c (2,0) c SimpDBs_5 : 1
167.44/138.62	c (2,0) c SimpDBs_6 : 1
167.44/138.62	c (2,0) c SimpDBs_7 : 1
167.44/138.62	c (2,0) c SimpDBs_total : 8
167.44/138.62	c (2,0) c SimpDBs_winner : 1
167.44/138.62	c (2,0) c Restarts_0 : 1
167.44/138.62	c (2,0) c Restarts_1 : 1
167.44/138.62	c (2,0) c Restarts_2 : 1
167.44/138.62	c (2,0) c Restarts_3 : 1
167.44/138.62	c (2,0) c Restarts_4 : 1
167.44/138.62	c (2,0) c Restarts_5 : 1
167.44/138.62	c (2,0) c Restarts_6 : 1
167.44/138.62	c (2,0) c Restarts_7 : 1
167.44/138.62	c (2,0) c Restarts_total : 8
167.44/138.62	c (2,0) c Restarts_winner : 1
167.44/138.62	c (2,0) c ForcedImports_0 : 0
167.44/138.62	c (2,0) c ForcedImports_1 : 0
167.44/138.62	c (2,0) c ForcedImports_2 : 0
167.44/138.62	c (2,0) c ForcedImports_3 : 0
167.44/138.62	c (2,0) c ForcedImports_4 : 0
167.44/138.62	c (2,0) c ForcedImports_5 : 0
167.44/138.62	c (2,0) c ForcedImports_6 : 0
167.44/138.62	c (2,0) c ForcedImports_7 : 0
167.44/138.63	c (2,0) c ForcedImports_total : 0
167.44/138.63	c (2,0) c ForcedImports_winner : 0
167.44/138.63	c (2,0) c PropsBinClauses_0 : 182451
167.44/138.63	c (2,0) c PropsBinClauses_1 : 182464
167.44/138.63	c (2,0) c PropsBinClauses_2 : 182452
167.44/138.63	c (2,0) c PropsBinClauses_3 : 182449
167.44/138.63	c (2,0) c PropsBinClauses_4 : 182462
167.44/138.63	c (2,0) c PropsBinClauses_5 : 182462
167.44/138.63	c (2,0) c PropsBinClauses_6 : 182452
167.44/138.63	c (2,0) c PropsBinClauses_7 : 182472
167.44/138.63	c (2,0) c PropsBinClauses_total : 1459664
167.44/138.63	c (2,0) c PropsBinClauses_winner : 182451
167.44/138.63	c (2,0) c PropsPreBlocker_0 : 571687
167.44/138.63	c (2,0) c PropsPreBlocker_1 : 490415
167.44/138.63	c (2,0) c PropsPreBlocker_2 : 492442
167.44/138.63	c (2,0) c PropsPreBlocker_3 : 481787
167.44/138.63	c (2,0) c PropsPreBlocker_4 : 502262
167.44/138.63	c (2,0) c PropsPreBlocker_5 : 483655
167.44/138.63	c (2,0) c PropsPreBlocker_6 : 491573
167.44/138.63	c (2,0) c PropsPreBlocker_7 : 502393
167.44/138.63	c (2,0) c PropsPreBlocker_total : 4016214
167.44/138.63	c (2,0) c PropsPreBlocker_winner : 571687
167.44/138.63	c (2,0) c PropsNotBlocker_0 : 382592
167.44/138.63	c (2,0) c PropsNotBlocker_1 : 221676
167.44/138.63	c (2,0) c PropsNotBlocker_2 : 225250
167.44/138.63	c (2,0) c PropsNotBlocker_3 : 204432
167.44/138.63	c (2,0) c PropsNotBlocker_4 : 244659
167.44/138.63	c (2,0) c PropsNotBlocker_5 : 208100
167.44/138.63	c (2,0) c PropsNotBlocker_6 : 224272
167.44/138.63	c (2,0) c PropsNotBlocker_7 : 245254
167.44/138.63	c (2,0) c PropsNotBlocker_total : 1956235
167.44/138.63	c (2,0) c PropsNotBlocker_winner : 382592
167.44/138.63	c (2,0) c PropsLitFullScans_0 : 1228598
167.44/138.63	c (2,0) c PropsLitFullScans_1 : 948048
167.44/138.63	c (2,0) c PropsLitFullScans_2 : 954306
167.44/138.63	c (2,0) c PropsLitFullScans_3 : 917894
167.44/138.63	c (2,0) c PropsLitFullScans_4 : 988376
167.44/138.63	c (2,0) c PropsLitFullScans_5 : 924416
167.44/138.63	c (2,0) c PropsLitFullScans_6 : 952335
167.44/138.63	c (2,0) c PropsLitFullScans_7 : 989213
167.44/138.63	c (2,0) c PropsLitFullScans_total : 7903186
167.44/138.63	c (2,0) c PropsLitFullScans_winner : 1228598
167.44/138.63	c (2,0) c LitScanFractions_0 : 0
167.44/138.63	c (2,0) c LitScanFractions_1 : 0
167.44/138.63	c (2,0) c LitScanFractions_2 : 0
167.44/138.63	c (2,0) c LitScanFractions_3 : 0
167.44/138.63	c (2,0) c LitScanFractions_4 : 0
167.44/138.63	c (2,0) c LitScanFractions_5 : 0
167.44/138.63	c (2,0) c LitScanFractions_6 : 0
167.44/138.63	c (2,0) c LitScanFractions_7 : 0
167.44/138.63	c (2,0) c LitScanFractions_total : 0
167.44/138.63	c (2,0) c LitScanFractions_winner : 0
167.44/138.63	c (2,0) c DecisionLevel0_0 : 1
167.44/138.63	c (2,0) c DecisionLevel0_1 : 1
167.44/138.63	c (2,0) c DecisionLevel0_2 : 1
167.44/138.63	c (2,0) c DecisionLevel0_3 : 1
167.44/138.63	c (2,0) c DecisionLevel0_4 : 1
167.44/138.63	c (2,0) c DecisionLevel0_5 : 1
167.44/138.63	c (2,0) c DecisionLevel0_6 : 1
167.44/138.63	c (2,0) c DecisionLevel0_7 : 1
167.44/138.63	c (2,0) c DecisionLevel0_total : 8
167.44/138.63	c (2,0) c DecisionLevel0_winner : 1
167.44/138.63	c (2,0) c Periods_0 : 0
167.44/138.63	c (2,0) c Periods_1 : 0
167.44/138.63	c (2,0) c Periods_2 : 0
167.44/138.63	c (2,0) c Periods_3 : 0
167.44/138.63	c (2,0) c Periods_4 : 0
167.44/138.63	c (2,0) c Periods_5 : 0
167.44/138.63	c (2,0) c Periods_6 : 0
167.44/138.63	c (2,0) c Periods_7 : 0
167.44/138.63	c (2,0) c Periods_total : 0
167.44/138.63	c (2,0) c Periods_winner : 0
167.44/138.63	c (2,0) c Margin_0 : 20
167.44/138.63	c (2,0) c Margin_1 : 20
167.44/138.63	c (2,0) c Margin_2 : 20
167.44/138.63	c (2,0) c Margin_3 : 20
167.44/138.63	c (2,0) c Margin_4 : 20
167.44/138.63	c (2,0) c Margin_5 : 20
167.44/138.63	c (2,0) c Margin_6 : 20
167.44/138.63	c (2,0) c Margin_7 : 20
167.44/138.63	c (2,0) c Margin_total : 160
167.44/138.63	c (2,0) c Margin_winner : 20
167.44/138.63	c (2,0) c Exported_0 : 0
167.44/138.63	c (2,0) c Exported_1 : 0
167.44/138.63	c (2,0) c Exported_2 : 0
167.44/138.63	c (2,0) c Exported_3 : 0
167.44/138.63	c (2,0) c Exported_4 : 0
167.44/138.63	c (2,0) c Exported_5 : 0
167.44/138.63	c (2,0) c Exported_6 : 0
167.44/138.63	c (2,0) c Exported_7 : 0
167.44/138.63	c (2,0) c Exported_total : 0
167.44/138.63	c (2,0) c Exported_winner : 0
167.44/138.63	c (2,0) c Imported_0 : 0
167.44/138.63	c (2,0) c Imported_1 : 0
167.44/138.63	c (2,0) c Imported_2 : 0
167.44/138.63	c (2,0) c Imported_3 : 0
167.44/138.63	c (2,0) c Imported_4 : 0
167.44/138.63	c (2,0) c Imported_5 : 0
167.44/138.63	c (2,0) c Imported_6 : 0
167.44/138.63	c (2,0) c Imported_7 : 0
167.44/138.63	c (2,0) c Imported_total : 0
167.44/138.63	c (2,0) c Imported_winner : 0
167.44/138.63	c (2,0) c Good_0 : 0
167.44/138.63	c (2,0) c Good_1 : 0
167.44/138.63	c (2,0) c Good_2 : 0
167.44/138.63	c (2,0) c Good_3 : 0
167.44/138.63	c (2,0) c Good_4 : 0
167.44/138.63	c (2,0) c Good_5 : 0
167.44/138.63	c (2,0) c Good_6 : 0
167.44/138.63	c (2,0) c Good_7 : 0
167.44/138.63	c (2,0) c Good_total : 0
167.44/138.63	c (2,0) c Good_winner : 0
167.44/138.63	c (2,0) c Purge_0 : 0
167.44/138.63	c (2,0) c Purge_1 : 0
167.44/138.63	c (2,0) c Purge_2 : 0
167.44/138.63	c (2,0) c Purge_3 : 0
167.44/138.63	c (2,0) c Purge_4 : 0
167.44/138.63	c (2,0) c Purge_5 : 0
167.44/138.63	c (2,0) c Purge_6 : 0
167.44/138.63	c (2,0) c Purge_7 : 0
167.44/138.63	c (2,0) c Purge_total : 0
167.44/138.63	c (2,0) c Purge_winner : 0
167.44/138.63	c (2,0) c Promoted_0 : 0
167.44/138.63	c (2,0) c Promoted_1 : 0
167.44/138.63	c (2,0) c Promoted_2 : 0
167.44/138.63	c (2,0) c Promoted_3 : 0
167.44/138.63	c (2,0) c Promoted_4 : 0
167.44/138.63	c (2,0) c Promoted_5 : 0
167.44/138.63	c (2,0) c Promoted_6 : 0
167.44/138.63	c (2,0) c Promoted_7 : 0
167.44/138.63	c (2,0) c Promoted_total : 0
167.44/138.63	c (2,0) c Promoted_winner : 0
167.44/138.63	c (2,0) c Remove_Imp_0 : 0
167.44/138.63	c (2,0) c Remove_Imp_1 : 0
167.44/138.63	c (2,0) c Remove_Imp_2 : 0
167.44/138.63	c (2,0) c Remove_Imp_3 : 0
167.44/138.63	c (2,0) c Remove_Imp_4 : 0
167.44/138.63	c (2,0) c Remove_Imp_5 : 0
167.44/138.63	c (2,0) c Remove_Imp_6 : 0
167.44/138.63	c (2,0) c Remove_Imp_7 : 0
167.44/138.63	c (2,0) c Remove_Imp_total : 0
167.44/138.63	c (2,0) c Remove_Imp_winner : 0
167.44/138.63	c (2,0) c Blocked_Reuse_0 : 0
167.44/138.63	c (2,0) c Blocked_Reuse_1 : 0
167.44/138.63	c (2,0) c Blocked_Reuse_2 : 0
167.44/138.63	c (2,0) c Blocked_Reuse_3 : 0
167.44/138.63	c (2,0) c Blocked_Reuse_4 : 0
167.44/138.63	c (2,0) c Blocked_Reuse_5 : 0
167.44/138.63	c (2,0) c Blocked_Reuse_6 : 0
167.44/138.63	c (2,0) c Blocked_Reuse_7 : 0
167.44/138.63	c (2,0) c Blocked_Reuse_total : 0
167.44/138.63	c (2,0) c Blocked_Reuse_winner : 0
167.44/138.63	c (2,0) c Unaries_0 : 0
167.44/138.63	c (2,0) c Unaries_1 : 0
167.44/138.63	c (2,0) c Unaries_2 : 0
167.44/138.63	c (2,0) c Unaries_3 : 0
167.44/138.63	c (2,0) c Unaries_4 : 0
167.44/138.63	c (2,0) c Unaries_5 : 0
167.44/138.63	c (2,0) c Unaries_6 : 0
167.44/138.63	c (2,0) c Unaries_7 : 0
167.44/138.63	c (2,0) c Unaries_total : 0
167.44/138.63	c (2,0) c Unaries_winner : 0
167.44/138.63	c (2,0) c Binaries_0 : 0
167.44/138.63	c (2,0) c Binaries_1 : 0
167.44/138.63	c (2,0) c Binaries_2 : 0
167.44/138.63	c (2,0) c Binaries_3 : 0
167.44/138.63	c (2,0) c Binaries_4 : 0
167.44/138.63	c (2,0) c Binaries_5 : 0
167.44/138.63	c (2,0) c Binaries_6 : 0
167.44/138.63	c (2,0) c Binaries_7 : 0
167.44/138.63	c (2,0) c Binaries_total : 0
167.44/138.63	c (2,0) c Binaries_winner : 0
167.44/138.63	c (2,0) c Glues_0 : 0
167.44/138.63	c (2,0) c Glues_1 : 0
167.44/138.63	c (2,0) c Glues_2 : 0
167.44/138.63	c (2,0) c Glues_3 : 0
167.44/138.63	c (2,0) c Glues_4 : 0
167.44/138.63	c (2,0) c Glues_5 : 0
167.44/138.63	c (2,0) c Glues_6 : 0
167.44/138.63	c (2,0) c Glues_7 : 0
167.44/138.63	c (2,0) c Glues_total : 0
167.44/138.63	c (2,0) c Glues_winner : 0
167.44/138.63	c (2,0) c RunningTime_0 : 0.090645
167.44/138.63	c (2,0) c RunningTime_1 : 0.064810
167.44/138.63	c (2,0) c RunningTime_2 : 0.058192
167.44/138.63	c (2,0) c RunningTime_3 : 0.068210
167.44/138.63	c (2,0) c RunningTime_4 : 0.059678
167.44/138.63	c (2,0) c RunningTime_5 : 0.067488
167.44/138.63	c (2,0) c RunningTime_6 : 0.070707
167.44/138.63	c (2,0) c RunningTime_7 : 0.060179
167.44/138.63	c (2,0) c RunningTime_total : 0.539909
167.44/138.63	c (2,0) c RunningTime_winner : 0.090645
167.44/138.63	c (2,0) c WaitingTime_0 : 0.000000
167.44/138.63	c (2,0) c WaitingTime_1 : 0.000000
167.44/138.63	c (2,0) c WaitingTime_2 : 0.000000
167.44/138.63	c (2,0) c WaitingTime_3 : 0.000000
167.44/138.63	c (2,0) c WaitingTime_4 : 0.000000
167.44/138.63	c (2,0) c WaitingTime_5 : 0.000000
167.44/138.63	c (2,0) c WaitingTime_6 : 0.000000
167.44/138.63	c (2,0) c WaitingTime_7 : 0.000000
167.44/138.63	c (2,0) c WaitingTime_total : 0.000000
167.44/138.63	c (2,0) c WaitingTime_winner : 0.000000
167.44/138.63	c (2,0) c ExchangingTime_0 : 0.000000
167.44/138.63	c (2,0) c ExchangingTime_1 : 0.000001
167.44/138.63	c (2,0) c ExchangingTime_2 : 0.000001
167.44/138.63	c (2,0) c ExchangingTime_3 : 0.000001
167.44/138.63	c (2,0) c ExchangingTime_4 : 0.000013
167.44/138.63	c (2,0) c ExchangingTime_5 : 0.000002
167.44/138.63	c (2,0) c ExchangingTime_6 : 0.000000
167.44/138.63	c (2,0) c ExchangingTime_7 : 0.000000
167.44/138.63	c (2,0) c ExchangingTime_total : 0.000018
167.44/138.63	c (2,0) c ExchangingTime_winner : 0.000000
167.44/138.63	c (2,0) c PeriodProcTime_0 : 0.000000
167.44/138.63	c (2,0) c PeriodProcTime_1 : 0.000000
167.44/138.63	c (2,0) c PeriodProcTime_2 : 0.000000
167.44/138.63	c (2,0) c PeriodProcTime_3 : 0.000000
167.44/138.63	c (2,0) c PeriodProcTime_4 : 0.000000
167.44/138.63	c (2,0) c PeriodProcTime_5 : 0.000000
167.44/138.63	c (2,0) c PeriodProcTime_6 : 0.000000
167.44/138.63	c (2,0) c PeriodProcTime_7 : 0.000000
167.44/138.63	c (2,0) c PeriodProcTime_total : 0.000000
167.44/138.63	c (2,0) c PeriodProcTime_winner : 0.000000
167.44/138.63	c (2,0) c SolvingTime_0 : 0.090645
167.44/138.63	c (2,0) c SolvingTime_1 : 0.064811
167.44/138.63	c (2,0) c SolvingTime_2 : 0.058193
167.44/138.63	c (2,0) c SolvingTime_3 : 0.068211
167.44/138.63	c (2,0) c SolvingTime_4 : 0.059691
167.44/138.63	c (2,0) c SolvingTime_5 : 0.067490
167.44/138.63	c (2,0) c SolvingTime_6 : 0.070707
167.44/138.63	c (2,0) c SolvingTime_7 : 0.060179
167.44/138.63	c (2,0) c SolvingTime_total : 0.539927
167.44/138.63	c (2,0) c SolvingTime_winner : 0.090645
167.44/138.63	c (2,0) c PropagationTime_0 : 0.088018
167.44/138.63	c (2,0) c PropagationTime_1 : 0.062415
167.44/138.63	c (2,0) c PropagationTime_2 : 0.055130
167.44/138.63	c (2,0) c PropagationTime_3 : 0.065704
167.44/138.63	c (2,0) c PropagationTime_4 : 0.057688
167.44/138.63	c (2,0) c PropagationTime_5 : 0.065137
167.44/138.63	c (2,0) c PropagationTime_6 : 0.068270
167.44/138.63	c (2,0) c PropagationTime_7 : 0.058234
167.44/138.63	c (2,0) c PropagationTime_total : 0.520597
167.44/138.63	c (2,0) c PropagationTime_winner : 0.088018
167.44/138.63	c (2,0) c AnalysisTime_0 : 0.000000
167.44/138.63	c (2,0) c AnalysisTime_1 : 0.000006
167.44/138.63	c (2,0) c AnalysisTime_2 : 0.000000
167.44/138.63	c (2,0) c AnalysisTime_3 : 0.000000
167.44/138.63	c (2,0) c AnalysisTime_4 : 0.000012
167.44/138.63	c (2,0) c AnalysisTime_5 : 0.000011
167.44/138.63	c (2,0) c AnalysisTime_6 : 0.000000
167.44/138.63	c (2,0) c AnalysisTime_7 : 0.000010
167.44/138.63	c (2,0) c AnalysisTime_total : 0.000039
167.44/138.63	c (2,0) c AnalysisTime_winner : 0.000000
167.44/138.63	c (2,0) c ReductionTime_0 : 0.000000
167.44/138.63	c (2,0) c ReductionTime_1 : 0.000000
167.44/138.63	c (2,0) c ReductionTime_2 : 0.000000
167.44/138.63	c (2,0) c ReductionTime_3 : 0.000000
167.44/138.63	c (2,0) c ReductionTime_4 : 0.000000
167.44/138.63	c (2,0) c ReductionTime_5 : 0.000000
167.44/138.63	c (2,0) c ReductionTime_6 : 0.000000
167.44/138.63	c (2,0) c ReductionTime_7 : 0.000000
167.44/138.63	c (2,0) c ReductionTime_total : 0.000000
167.44/138.63	c (2,0) c ReductionTime_winner : 0.000000
167.44/138.63	c (2,0) c SimplifyTime_0 : 0.000000
167.44/138.63	c (2,0) c SimplifyTime_1 : 0.000000
167.44/138.63	c (2,0) c SimplifyTime_2 : 0.000000
167.44/138.63	c (2,0) c SimplifyTime_3 : 0.000000
167.44/138.63	c (2,0) c SimplifyTime_4 : 0.000000
167.44/138.63	c (2,0) c SimplifyTime_5 : 0.000000
167.44/138.63	c (2,0) c SimplifyTime_6 : 0.000000
167.44/138.63	c (2,0) c SimplifyTime_7 : 0.000000
167.44/138.63	c (2,0) c SimplifyTime_total : 0.000000
167.44/138.63	c (2,0) c SimplifyTime_winner : 0.000000
167.44/138.63	c (2,0) c UsedRateTime_0 : 0.000000
167.44/138.63	c (2,0) c UsedRateTime_1 : 0.000000
167.44/138.63	c (2,0) c UsedRateTime_2 : 0.000000
167.44/138.63	c (2,0) c UsedRateTime_3 : 0.000000
167.44/138.63	c (2,0) c UsedRateTime_4 : 0.000000
167.44/138.63	c (2,0) c UsedRateTime_5 : 0.000000
167.44/138.63	c (2,0) c UsedRateTime_6 : 0.000000
167.44/138.63	c (2,0) c UsedRateTime_7 : 0.000000
167.44/138.63	c (2,0) c UsedRateTime_total : 0.000000
167.44/138.63	c (2,0) c UsedRateTime_winner : 0.000000
167.44/138.63	c (2,0) c OverlapRateTime_0 : 0.000000
167.44/138.63	c (2,0) c OverlapRateTime_1 : 0.000000
167.44/138.63	c (2,0) c OverlapRateTime_2 : 0.000000
167.44/138.63	c (2,0) c OverlapRateTime_3 : 0.000000
167.44/138.63	c (2,0) c OverlapRateTime_4 : 0.000000
167.44/138.63	c (2,0) c OverlapRateTime_5 : 0.000000
167.44/138.63	c (2,0) c OverlapRateTime_6 : 0.000000
167.44/138.63	c (2,0) c OverlapRateTime_7 : 0.000000
167.44/138.63	c (2,0) c OverlapRateTime_total : 0.000000
167.44/138.63	c (2,0) c OverlapRateTime_winner : 0.000000
167.44/138.63	c (2,0) c
167.44/138.63	c (2,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
167.44/138.63	c (2,0) c
167.44/138.63	c (2,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
167.44/138.63	c (2,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
167.44/138.63	c (2,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
167.44/138.63	c (2,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
167.44/138.63	c (2,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
167.44/138.63	c (2,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
167.44/138.63	c (2,0) c | Initial random_seed   | 1141427057 | 1617645874 |  676774694 |   71410636 | 1054995583 |  729380857 | 2035777755 | 1421890594 |
167.44/138.63	c (2,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
167.44/138.63	c (2,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
167.44/138.63	c (2,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
167.44/138.63	c (2,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
167.44/138.63	c (2,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
167.44/138.63	c (2,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
167.44/138.63	c (2,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
167.44/138.63	c (2,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
167.44/138.63	c (2,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
167.44/138.63	c (2,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
167.44/138.63	c (2,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
167.44/138.63	c (2,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
167.44/138.63	c (2,0) 
167.44/138.64	c (2,0) s SATISFIABLE
165.93/138.77	c (2,0) SatSolver.solve End
165.93/138.77	c (2,0) Heap : 186 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB)
165.93/138.77	c (2,0) Show results Begin
168.17/138.93	c (2,0) x[0] = 1
168.17/138.93	c (2,0) x[1] = 7
168.17/138.93	c (2,0) x[2] = 1
168.17/138.93	c (2,0) x[3] = 0
168.17/138.93	c (2,0) x[4] = 2
168.17/138.93	c (2,0) x[5] = 0
168.17/138.93	c (2,0) x[6] = 2
168.17/138.93	c (2,0) x[7] = 0
168.17/138.93	c (2,0) x[8] = 2
168.17/138.93	c (2,0) x[9] = 0
168.17/138.93	c (2,0) x[10] = 2
168.17/138.93	c (2,0) x[11] = 0
168.17/138.93	c (2,0) x[12] = 2
168.17/138.93	c (2,0) x[13] = 0
168.17/138.93	c (2,0) x[14] = 2
168.17/138.93	c (2,0) x[15] = 0
168.17/138.93	c (2,0) x[16] = 2
168.17/138.93	c (2,0) x[17] = 0
168.17/138.93	c (2,0) x[18] = 2
168.17/138.93	c (2,0) x[19] = 0
168.17/138.93	c (2,0) x[20] = 2
168.17/138.93	c (2,0) x[21] = 0
168.17/138.93	c (2,0) x[22] = 2
168.17/138.93	c (2,0) x[23] = 0
168.17/138.93	c (2,0) x[24] = 2
168.17/138.93	c (2,0) x[25] = 0
168.17/138.93	c (2,0) x[26] = 2
168.17/138.93	c (2,0) x[27] = 0
168.17/138.93	c (2,0) x[28] = 2
168.17/138.93	c (2,0) x[29] = 0
168.17/138.93	c (2,0) x[30] = 2
168.17/138.93	c (2,0) x[31] = 0
168.17/138.93	c (2,0) x[32] = 2
168.17/138.93	c (2,0) x[33] = 0
168.17/138.93	c (2,0) x[34] = 2
168.17/138.93	c (2,0) x[35] = 0
168.17/138.93	c (2,0) x[36] = 2
168.17/138.93	c (2,0) x[37] = 0
168.17/138.93	c (2,0) x[38] = 2
168.17/138.93	c (2,0) x[39] = 0
168.17/138.93	c (2,0) x[40] = 2
168.17/138.93	c (2,0) x[41] = 0
168.17/138.93	c (2,0) x[42] = 2
168.17/138.93	c (2,0) x[43] = 0
168.17/138.93	c (2,0) x[44] = 2
168.17/138.93	c (2,0) x[45] = 0
168.17/138.93	c (2,0) x[46] = 2
168.17/138.93	c (2,0) x[47] = 0
168.17/138.93	c (2,0) x[48] = 2
168.17/138.93	c (2,0) x[49] = 0
168.17/138.93	c (2,0) x[50] = 2
168.17/138.93	c (2,0) x[51] = 0
168.17/138.93	c (2,0) x[52] = 2
168.17/138.93	c (2,0) x[53] = 0
168.17/138.93	c (2,0) x[54] = 2
168.17/138.93	c (2,0) x[55] = 0
168.17/138.93	c (2,0) x[56] = 2
168.17/138.93	c (2,0) x[57] = 0
168.17/138.93	c (2,0) x[58] = 2
168.17/138.93	c (2,0) x[59] = 0
168.17/138.93	c (2,0) x[60] = 2
168.17/138.93	c (2,0) x[61] = 0
168.17/138.93	c (2,0) x[62] = 2
168.17/138.93	c (2,0) x[63] = 0
168.17/138.93	c (2,0) x[64] = 2
168.17/138.93	c (2,0) x[65] = 0
168.17/138.93	c (2,0) x[66] = 2
168.17/138.93	c (2,0) x[67] = 0
168.17/138.93	c (2,0) x[68] = 2
168.17/138.93	c (2,0) x[69] = 0
168.17/138.93	c (2,0) x[70] = 2
168.17/138.93	c (2,0) x[71] = 0
168.17/138.93	c (2,0) x[72] = 2
168.17/138.93	c (2,0) x[73] = 0
168.17/138.93	c (2,0) x[74] = 2
168.17/138.93	c (2,0) x[75] = 0
168.17/138.93	c (2,0) x[76] = 2
168.17/138.93	c (2,0) x[77] = 0
168.17/138.93	c (2,0) x[78] = 2
168.17/138.93	c (2,0) x[79] = 0
168.17/138.93	c (2,0) x[80] = 2
168.17/138.93	c (2,0) x[81] = 0
168.17/138.93	c (2,0) x[82] = 2
168.17/138.93	c (2,0) x[83] = 0
168.17/138.93	c (2,0) x[84] = 2
168.17/138.93	c (2,0) x[85] = 0
168.17/138.94	c (2,0) x[86] = 2
168.17/138.94	c (2,0) x[87] = 0
168.17/138.94	c (2,0) x[88] = 2
168.17/138.94	c (2,0) x[89] = 0
168.17/138.94	c (2,0) x[90] = 2
168.17/138.94	c (2,0) x[91] = 0
168.17/138.94	c (2,0) x[92] = 2
168.17/138.94	c (2,0) x[93] = 0
168.17/138.94	c (2,0) x[94] = 2
168.17/138.94	c (2,0) x[95] = 0
168.17/138.94	c (2,0) x[96] = 2
168.17/138.94	c (2,0) x[97] = 0
168.17/138.94	c (2,0) x[98] = 2
168.17/138.94	c (2,0) x[99] = 0
168.17/138.94	c (2,0) x[100] = 2
168.17/138.94	c (2,0) x[101] = 0
168.17/138.94	c (2,0) x[102] = 2
168.17/138.94	c (2,0) x[103] = 0
168.17/138.94	c (2,0) x[104] = 2
168.17/138.94	c (2,0) x[105] = 0
168.17/138.94	c (2,0) x[106] = 2
168.17/138.94	c (2,0) x[107] = 0
168.17/138.94	c (2,0) x[108] = 2
168.17/138.94	c (2,0) x[109] = 0
168.17/138.94	c (2,0) x[110] = 2
168.17/138.94	c (2,0) x[111] = 0
168.17/138.94	c (2,0) x[112] = 2
168.17/138.94	c (2,0) x[113] = 0
168.17/138.94	c (2,0) x[114] = 2
168.17/138.94	c (2,0) x[115] = 0
168.17/138.94	c (2,0) x[116] = 2
168.17/138.94	c (2,0) x[117] = 0
168.17/138.94	c (2,0) x[118] = 2
168.17/138.94	c (2,0) x[119] = 0
168.17/138.94	c (2,0) x[120] = 2
168.17/138.94	c (2,0) x[121] = 0
168.17/138.94	c (2,0) x[122] = 2
168.17/138.94	c (2,0) x[123] = 0
168.17/138.94	c (2,0) x[124] = 2
168.17/138.94	c (2,0) x[125] = 0
168.17/138.94	s SATISFIABLE
168.17/138.95	v <instantiation>
168.17/138.95	v     <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[77] x[78] x[79] x[80] x[81] x[82] x[83] x[84] x[85] x[86] x[87] x[88] x[89] x[90] x[91] x[92] x[93] x[94] x[95] x[96] x[97] x[98] x[99] x[100] x[101] x[102] x[103] x[104] x[105] x[106] x[107] x[108] x[109] x[110] x[111] x[112] x[113] x[114] x[115] x[116] x[117] x[118] x[119] x[120] x[121] x[122] x[123] x[124] x[125]</list>
168.17/138.95	v     <values>1 7 1 0 2 0 2 0 2 0 2 0 2 0 2 0 2 0 2 0 2 0 2 0 2 0 2 0 2 0 2 0 2 0 2 0 2 0 2 0 2 0 2 0 2 0 2 0 2 0 2 0 2 0 2 0 2 0 2 0 2 0 2 0 2 0 2 0 2 0 2 0 2 0 2 0 2 0 2 0 2 0 2 0 2 0 2 0 2 0 2 0 2 0 2 0 2 0 2 0 2 0 2 0 2 0 2 0 2 0 2 0 2 0 2 0 2 0 2 0 2 0 2 0 2 0</values>
168.17/138.95	v </instantiation>
168.17/138.95	c (2,0) Show results End
168.17/138.95	c (2,0) Heap : 186 MiB used (max 3925 MiB), NonHeap : 19 MiB used (max 0 MiB)
168.17/138.95	c (2,0) 2,2,STOP-AFTER(ALL)
168.17/138.95	c END-Prog: Sat Sep 14 08:31:15 CEST 2019

Verifier Data 

OK

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 (12444 MiB free)
  memory of node 1: 16384 MiB (11668 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392660-1568442576/watcher-4392660-1568442576 -o /tmp/evaluation-result-4392660-1568442576/solver-4392660-1568442576 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node119-1568442536-28255 --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-4392660-1568442576.xml 

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

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


[startup+0.100136 s]*
/proc/loadavg: 8.15 8.24 8.29 2/211 28294
/proc/meminfo: memFree=24596620/32770624 swapFree=66939852/67108860
[pid=28272] ppid=28269 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/28272/stat : 28272 (scop.sh) S 28269 28272 28228 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 420172482 115843072 348 33554432000 4194304 5098028 140727807528464 140727807525720 139674217620092 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 37462016 140727807529764 140727807530092 140727807530092 140727807533005 0
/proc/28272/statm: 28282 348 296 221 0 87 0
[pid=28275] ppid=28272 vsize=27314120 memory=106424 CPUtime=0.11 cores=0-7
/proc/28275/stat : 28275 (java) S 28272 28272 28228 0 -1 1077944320 6182 0 0 0 8 3 0 0 20 0 20 0 420172483 27969658880 26606 33554432000 4194304 4196468 140724788955344 140724788937888 140571642044151 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24154112 140724788957930 140724788958358 140724788958358 140724788961231 0
/proc/28275/statm: 6828530 26606 2802 1 0 6790935 0
[pid=28275/tid=28276] ppid=28272 vsize=27314120 memory=8317482817917895235 CPUtime=0.09 cores=0-7
/proc/28275/task/28276/stat : 28276 (java) R 28272 28272 28228 0 -1 4202560 4288 0 0 0 7 2 0 0 20 0 20 0 420172483 27969658880 26606 33554432000 4194304 4196468 140724788955344 140571613857664 140571626087781 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24154112 140724788957930 140724788958358 140724788958358 140724788961231 0
[pid=28275/tid=28277] ppid=28272 vsize=27314120 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/28275/task/28277/stat : 28277 (java) S 28272 28272 28228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420172485 27969658880 26606 33554432000 4194304 4196468 140724788955344 140571646286608 140571642054357 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24154112 140724788957930 140724788958358 140724788958358 140724788961231 0
[pid=28275/tid=28278] ppid=28272 vsize=27314120 memory=140444690687616 CPUtime=0 cores=0-7
/proc/28275/task/28278/stat : 28278 (java) S 28272 28272 28228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420172485 27969658880 26606 33554432000 4194304 4196468 140724788955344 140571464375184 140571642054357 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24154112 140724788957930 140724788958358 140724788958358 140724788961231 0
[pid=28275/tid=28279] ppid=28272 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28275/task/28279/stat : 28279 (java) S 28272 28272 28228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420172485 27969658880 26606 33554432000 4194304 4196468 140724788955344 140571463322640 140571642054357 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24154112 140724788957930 140724788958358 140724788958358 140724788961231 0
[pid=28275/tid=28280] ppid=28272 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28275/task/28280/stat : 28280 (java) S 28272 28272 28228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420172485 27969658880 26606 33554432000 4194304 4196468 140724788955344 140571462270096 140571642054357 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24154112 140724788957930 140724788958358 140724788958358 140724788961231 0
[pid=28275/tid=28281] ppid=28272 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28275/task/28281/stat : 28281 (java) S 28272 28272 28228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420172485 27969658880 26606 33554432000 4194304 4196468 140724788955344 140571061418256 140571642054357 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24154112 140724788957930 140724788958358 140724788958358 140724788961231 0
[pid=28275/tid=28282] ppid=28272 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/28275/task/28282/stat : 28282 (java) S 28272 28272 28228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420172485 27969658880 26606 33554432000 4194304 4196468 140724788955344 140571060365712 140571642054357 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24154112 140724788957930 140724788958358 140724788958358 140724788961231 0
[pid=28275/tid=28283] ppid=28272 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28275/task/28283/stat : 28283 (java) S 28272 28272 28228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420172485 27969658880 26606 33554432000 4194304 4196468 140724788955344 140571059313168 140571642054357 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24154112 140724788957930 140724788958358 140724788958358 140724788961231 0
[pid=28275/tid=28284] ppid=28272 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28275/task/28284/stat : 28284 (java) S 28272 28272 28228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420172485 27969658880 26606 33554432000 4194304 4196468 140724788955344 140571058260624 140571642054357 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24154112 140724788957930 140724788958358 140724788958358 140724788961231 0
[pid=28275/tid=28285] ppid=28272 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28275/task/28285/stat : 28285 (java) S 28272 28272 28228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420172487 27969658880 26606 33554432000 4194304 4196468 140724788955344 140569760922096 140571642055298 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24154112 140724788957930 140724788958358 140724788958358 140724788961231 0
[pid=28275/tid=28286] ppid=28272 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28275/task/28286/stat : 28286 (java) S 28272 28272 28228 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 420172487 27969658880 26606 33554432000 4194304 4196468 140724788955344 140569581970848 140571642054357 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24154112 140724788957930 140724788958358 140724788958358 140724788961231 0
[pid=28275/tid=28287] ppid=28272 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28275/task/28287/stat : 28287 (java) S 28272 28272 28228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420172488 27969658880 26606 33554432000 4194304 4196468 140724788955344 140569313535472 140571642054357 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24154112 140724788957930 140724788958358 140724788958358 140724788961231 0
[pid=28275/tid=28288] ppid=28272 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28275/task/28288/stat : 28288 (java) S 28272 28272 28228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420172490 27969658880 26606 33554432000 4194304 4196468 140724788955344 140568939027152 140571642062747 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24154112 140724788957930 140724788958358 140724788958358 140724788961231 0
[pid=28275/tid=28289] ppid=28272 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28275/task/28289/stat : 28289 (java) S 28272 28272 28228 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 20 0 420172490 27969658880 26606 33554432000 4194304 4196468 140724788955344 140569759868912 140571642055298 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24154112 140724788957930 140724788958358 140724788958358 140724788961231 0
[pid=28275/tid=28290] ppid=28272 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28275/task/28290/stat : 28290 (java) S 28272 28272 28228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420172490 27969658880 27118 33554432000 4194304 4196468 140724788955344 140569758816368 140571642055298 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24154112 140724788957930 140724788958358 140724788958358 140724788961231 0
[pid=28275/tid=28291] ppid=28272 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28275/task/28291/stat : 28291 (java) S 28272 28272 28228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420172490 27969658880 27118 33554432000 4194304 4196468 140724788955344 140569757763824 140571642055298 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24154112 140724788957930 140724788958358 140724788958358 140724788961231 0
[pid=28275/tid=28292] ppid=28272 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28275/task/28292/stat : 28292 (java) S 28272 28272 28228 0 -1 1077944384 254 0 0 0 0 0 0 0 20 0 20 0 420172490 27969658880 27118 33554432000 4194304 4196468 140724788955344 140569756711280 140571642055298 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24154112 140724788957930 140724788958358 140724788958358 140724788961231 0
[pid=28275/tid=28293] ppid=28272 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28275/task/28293/stat : 28293 (java) S 28272 28272 28228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420172490 27969658880 27118 33554432000 4194304 4196468 140724788955344 140568441121504 140571642054357 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24154112 140724788957930 140724788958358 140724788958358 140724788961231 0
[pid=28275/tid=28294] ppid=28272 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/28275/task/28294/stat : 28294 (java) S 28272 28272 28228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420172491 27969658880 27118 33554432000 4194304 4196468 140724788955344 140569755659184 140571642055298 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24154112 140724788957930 140724788958358 140724788958358 140724788961231 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 107816 KiB

[startup+0.210327 s]*
/proc/loadavg: 8.15 8.24 8.29 2/211 28294
/proc/meminfo: memFree=24578292/32770624 swapFree=66939852/67108860
[pid=28272] ppid=28269 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/28272/stat : 28272 (scop.sh) S 28269 28272 28228 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 420172482 115843072 348 33554432000 4194304 5098028 140727807528464 140727807525720 139674217620092 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 37462016 140727807529764 140727807530092 140727807530092 140727807533005 0
/proc/28272/statm: 28282 348 296 221 0 87 0
[pid=28275] ppid=28272 vsize=27314120 memory=122996 CPUtime=0.25 cores=0-7
/proc/28275/stat : 28275 (java) S 28272 28272 28228 0 -1 1077944320 11176 0 0 0 20 5 0 0 20 0 20 0 420172483 27969658880 30749 33554432000 4194304 4196468 140724788955344 140724788937888 140571642044151 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24154112 140724788957930 140724788958358 140724788958358 140724788961231 0
/proc/28275/statm: 6828530 30749 2896 1 0 6790935 0
[pid=28275/tid=28276] ppid=28272 vsize=27314120 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/28275/task/28276/stat : 28276 (java) R 28272 28272 28228 0 -1 4202560 8879 0 0 0 16 4 0 0 20 0 20 0 420172483 27969658880 30749 33554432000 4194304 4196468 140724788955344 140571613860560 140571622319485 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24154112 140724788957930 140724788958358 140724788958358 140724788961231 0
[pid=28275/tid=28277] ppid=28272 vsize=27314120 memory=342 CPUtime=0 cores=0-7
/proc/28275/task/28277/stat : 28277 (java) S 28272 28272 28228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420172485 27969658880 30749 33554432000 4194304 4196468 140724788955344 140571646286608 140571642054357 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24154112 140724788957930 140724788958358 140724788958358 140724788961231 0
[pid=28275/tid=28278] ppid=28272 vsize=27314120 memory=3977157798007547552 CPUtime=0 cores=0-7
/proc/28275/task/28278/stat : 28278 (java) S 28272 28272 28228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420172485 27969658880 30749 33554432000 4194304 4196468 140724788955344 140571464375184 140571642054357 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24154112 140724788957930 140724788958358 140724788958358 140724788961231 0
[pid=28275/tid=28279] ppid=28272 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/28275/task/28279/stat : 28279 (java) S 28272 28272 28228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420172485 27969658880 30749 33554432000 4194304 4196468 140724788955344 140571463322640 140571642054357 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24154112 140724788957930 140724788958358 140724788958358 140724788961231 0
[pid=28275/tid=28280] ppid=28272 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28275/task/28280/stat : 28280 (java) S 28272 28272 28228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420172485 27969658880 30749 33554432000 4194304 4196468 140724788955344 140571462270096 140571642054357 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24154112 140724788957930 140724788958358 140724788958358 140724788961231 0
[pid=28275/tid=28281] ppid=28272 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28275/task/28281/stat : 28281 (java) S 28272 28272 28228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420172485 27969658880 30749 33554432000 4194304 4196468 140724788955344 140571061418256 140571642054357 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24154112 140724788957930 140724788958358 140724788958358 140724788961231 0
[pid=28275/tid=28282] ppid=28272 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/28275/task/28282/stat : 28282 (java) S 28272 28272 28228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420172485 27969658880 30749 33554432000 4194304 4196468 140724788955344 140571060365712 140571642054357 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24154112 140724788957930 140724788958358 140724788958358 140724788961231 0
[pid=28275/tid=28283] ppid=28272 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28275/task/28283/stat : 28283 (java) S 28272 28272 28228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420172485 27969658880 30749 33554432000 4194304 4196468 140724788955344 140571059313168 140571642054357 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24154112 140724788957930 140724788958358 140724788958358 140724788961231 0
[pid=28275/tid=28284] ppid=28272 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28275/task/28284/stat : 28284 (java) S 28272 28272 28228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420172485 27969658880 30749 33554432000 4194304 4196468 140724788955344 140571058260624 140571642054357 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24154112 140724788957930 140724788958358 140724788958358 140724788961231 0
[pid=28275/tid=28285] ppid=28272 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28275/task/28285/stat : 28285 (java) S 28272 28272 28228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420172487 27969658880 30749 33554432000 4194304 4196468 140724788955344 140569760922096 140571642055298 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24154112 140724788957930 140724788958358 140724788958358 140724788961231 0
[pid=28275/tid=28286] ppid=28272 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28275/task/28286/stat : 28286 (java) S 28272 28272 28228 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 420172487 27969658880 30749 33554432000 4194304 4196468 140724788955344 140569581970848 140571642054357 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24154112 140724788957930 140724788958358 140724788958358 140724788961231 0
[pid=28275/tid=28287] ppid=28272 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28275/task/28287/stat : 28287 (java) S 28272 28272 28228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420172488 27969658880 30749 33554432000 4194304 4196468 140724788955344 140569313535472 140571642054357 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24154112 140724788957930 140724788958358 140724788958358 140724788961231 0
[pid=28275/tid=28288] ppid=28272 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28275/task/28288/stat : 28288 (java) S 28272 28272 28228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420172490 27969658880 30749 33554432000 4194304 4196468 140724788955344 140568939027152 140571642062747 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24154112 140724788957930 140724788958358 140724788958358 140724788961231 0
[pid=28275/tid=28289] ppid=28272 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28275/task/28289/stat : 28289 (java) S 28272 28272 28228 0 -1 1077944384 315 0 0 0 0 0 0 0 20 0 20 0 420172490 27969658880 30749 33554432000 4194304 4196468 140724788955344 140569759868912 140571642055298 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24154112 140724788957930 140724788958358 140724788958358 140724788961231 0
[pid=28275/tid=28290] ppid=28272 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28275/task/28290/stat : 28290 (java) S 28272 28272 28228 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 20 0 420172490 27969658880 30749 33554432000 4194304 4196468 140724788955344 140569758816368 140571642055298 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24154112 140724788957930 140724788958358 140724788958358 140724788961231 0
[pid=28275/tid=28291] ppid=28272 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/28275/task/28291/stat : 28291 (java) S 28272 28272 28228 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 20 0 420172490 27969658880 30749 33554432000 4194304 4196468 140724788955344 140569757763824 140571642055298 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24154112 140724788957930 140724788958358 140724788958358 140724788961231 0
[pid=28275/tid=28292] ppid=28272 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7
/proc/28275/task/28292/stat : 28292 (java) S 28272 28272 28228 0 -1 1077944384 481 0 0 0 2 0 0 0 20 0 20 0 420172490 27969658880 30749 33554432000 4194304 4196468 140724788955344 140569756711280 140571642055298 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24154112 140724788957930 140724788958358 140724788958358 140724788961231 0
[pid=28275/tid=28293] ppid=28272 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28275/task/28293/stat : 28293 (java) S 28272 28272 28228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420172490 27969658880 30749 33554432000 4194304 4196468 140724788955344 140568441121504 140571642054357 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24154112 140724788957930 140724788958358 140724788958358 140724788961231 0
[pid=28275/tid=28294] ppid=28272 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/28275/task/28294/stat : 28294 (java) S 28272 28272 28228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420172491 27969658880 30749 33554432000 4194304 4196468 140724788955344 140569755659184 140571642055298 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24154112 140724788957930 140724788958358 140724788958358 140724788961231 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 124388 KiB

[startup+0.310267 s]*
/proc/loadavg: 8.15 8.24 8.29 2/211 28294
/proc/meminfo: memFree=24574508/32770624 swapFree=66939852/67108860
[pid=28272] ppid=28269 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/28272/stat : 28272 (scop.sh) S 28269 28272 28228 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 420172482 115843072 348 33554432000 4194304 5098028 140727807528464 140727807525720 139674217620092 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 37462016 140727807529764 140727807530092 140727807530092 140727807533005 0
/proc/28272/statm: 28282 348 296 221 0 87 0
[pid=28275] ppid=28272 vsize=27314120 memory=127400 CPUtime=0.42 cores=0-7
/proc/28275/stat : 28275 (java) S 28272 28272 28228 0 -1 1077944320 12246 0 0 0 37 5 0 0 20 0 20 0 420172483 27969658880 31850 33554432000 4194304 4196468 140724788955344 140724788937888 140571642044151 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24154112 140724788957930 140724788958358 140724788958358 140724788961231 0
/proc/28275/statm: 6828530 31850 3020 1 0 6790935 0
[pid=28275/tid=28276] ppid=28272 vsize=27314120 memory=8317482817917895235 CPUtime=0.3 cores=0-7
/proc/28275/task/28276/stat : 28276 (java) R 28272 28272 28228 0 -1 4202560 9759 0 0 0 26 4 0 0 20 0 20 0 420172483 27969658880 31850 33554432000 4194304 4196468 140724788955344 140571613874224 140571626124638 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24154112 140724788957930 140724788958358 140724788958358 140724788961231 0
[pid=28275/tid=28277] ppid=28272 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28275/task/28277/stat : 28277 (java) S 28272 28272 28228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420172485 27969658880 31850 33554432000 4194304 4196468 140724788955344 140571646286608 140571642054357 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24154112 140724788957930 140724788958358 140724788958358 140724788961231 0
[pid=28275/tid=28278] ppid=28272 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28275/task/28278/stat : 28278 (java) S 28272 28272 28228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420172485 27969658880 31850 33554432000 4194304 4196468 140724788955344 140571464375184 140571642054357 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24154112 140724788957930 140724788958358 140724788958358 140724788961231 0
[pid=28275/tid=28279] ppid=28272 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28275/task/28279/stat : 28279 (java) S 28272 28272 28228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420172485 27969658880 31850 33554432000 4194304 4196468 140724788955344 140571463322640 140571642054357 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24154112 140724788957930 140724788958358 140724788958358 140724788961231 0
[pid=28275/tid=28280] ppid=28272 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28275/task/28280/stat : 28280 (java) S 28272 28272 28228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420172485 27969658880 31850 33554432000 4194304 4196468 140724788955344 140571462270096 140571642054357 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24154112 140724788957930 140724788958358 140724788958358 140724788961231 0
[pid=28275/tid=28281] ppid=28272 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28275/task/28281/stat : 28281 (java) S 28272 28272 28228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420172485 27969658880 31850 33554432000 4194304 4196468 140724788955344 140571061418256 140571642054357 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24154112 140724788957930 140724788958358 140724788958358 140724788961231 0
[pid=28275/tid=28282] ppid=28272 vsize=27314120 memory=140444558256815 CPUtime=0 cores=0-7
/proc/28275/task/28282/stat : 28282 (java) S 28272 28272 28228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420172485 27969658880 31850 33554432000 4194304 4196468 140724788955344 140571060365712 140571642054357 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24154112 140724788957930 140724788958358 140724788958358 140724788961231 0
[pid=28275/tid=28283] ppid=28272 vsize=27314120 memory=140444558259120 CPUtime=0 cores=0-7
/proc/28275/task/28283/stat : 28283 (java) S 28272 28272 28228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420172485 27969658880 31850 33554432000 4194304 4196468 140724788955344 140571059313168 140571642054357 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24154112 140724788957930 140724788958358 140724788958358 140724788961231 0
[pid=28275/tid=28284] ppid=28272 vsize=27314120 memory=140444558261424 CPUtime=0 cores=0-7
/proc/28275/task/28284/stat : 28284 (java) S 28272 28272 28228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420172485 27969658880 31850 33554432000 4194304 4196468 140724788955344 140571058260624 140571642054357 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24154112 140724788957930 140724788958358 140724788958358 140724788961231 0
[pid=28275/tid=28285] ppid=28272 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28275/task/28285/stat : 28285 (java) S 28272 28272 28228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420172487 27969658880 31850 33554432000 4194304 4196468 140724788955344 140569760922096 140571642055298 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24154112 140724788957930 140724788958358 140724788958358 140724788961231 0
[pid=28275/tid=28286] ppid=28272 vsize=27314120 memory=280889116536720 CPUtime=0 cores=0-7
/proc/28275/task/28286/stat : 28286 (java) S 28272 28272 28228 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 420172487 27969658880 31850 33554432000 4194304 4196468 140724788955344 140569581970848 140571642054357 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24154112 140724788957930 140724788958358 140724788958358 140724788961231 0
[pid=28275/tid=28287] ppid=28272 vsize=27314120 memory=280889116534416 CPUtime=0 cores=0-7
/proc/28275/task/28287/stat : 28287 (java) S 28272 28272 28228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420172488 27969658880 31850 33554432000 4194304 4196468 140724788955344 140569313535472 140571642054357 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24154112 140724788957930 140724788958358 140724788958358 140724788961231 0
[pid=28275/tid=28288] ppid=28272 vsize=27314120 memory=280889116541328 CPUtime=0 cores=0-7
/proc/28275/task/28288/stat : 28288 (java) S 28272 28272 28228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420172490 27969658880 31850 33554432000 4194304 4196468 140724788955344 140568939027152 140571642062747 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24154112 140724788957930 140724788958358 140724788958358 140724788961231 0
[pid=28275/tid=28289] ppid=28272 vsize=27314120 memory=280889116482608 CPUtime=0.01 cores=0-7
/proc/28275/task/28289/stat : 28289 (java) R 28272 28272 28228 0 -1 4202560 355 0 0 0 1 0 0 0 20 0 20 0 420172490 27969658880 31850 33554432000 4194304 4196468 140724788955344 140569759868912 140571625536231 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24154112 140724788957930 140724788958358 140724788958358 140724788961231 0
[pid=28275/tid=28290] ppid=28272 vsize=27314120 memory=280889116555152 CPUtime=0 cores=0-7
/proc/28275/task/28290/stat : 28290 (java) S 28272 28272 28228 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 20 0 420172490 27969658880 31850 33554432000 4194304 4196468 140724788955344 140569758816368 140571642055298 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24154112 140724788957930 140724788958358 140724788958358 140724788961231 0
[pid=28275/tid=28291] ppid=28272 vsize=27314120 memory=280889116562064 CPUtime=0.02 cores=0-7
/proc/28275/task/28291/stat : 28291 (java) S 28272 28272 28228 0 -1 1077944384 216 0 0 0 2 0 0 0 20 0 20 0 420172490 27969658880 31850 33554432000 4194304 4196468 140724788955344 140569757763824 140571642055298 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24154112 140724788957930 140724788958358 140724788958358 140724788961231 0
[pid=28275/tid=28292] ppid=28272 vsize=27314120 memory=280889116559760 CPUtime=0.07 cores=0-7
/proc/28275/task/28292/stat : 28292 (java) S 28272 28272 28228 0 -1 1077944384 527 0 0 0 7 0 0 0 20 0 20 0 420172490 27969658880 31850 33554432000 4194304 4196468 140724788955344 140569756711280 140571642055298 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24154112 140724788957930 140724788958358 140724788958358 140724788961231 0
[pid=28275/tid=28293] ppid=28272 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28275/task/28293/stat : 28293 (java) S 28272 28272 28228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420172490 27969658880 31850 33554432000 4194304 4196468 140724788955344 140568441121504 140571642054357 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24154112 140724788957930 140724788958358 140724788958358 140724788961231 0
[pid=28275/tid=28294] ppid=28272 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/28275/task/28294/stat : 28294 (java) S 28272 28272 28228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420172491 27969658880 31850 33554432000 4194304 4196468 140724788955344 140569755659184 140571642055298 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24154112 140724788957930 140724788958358 140724788958358 140724788961231 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 128792 KiB

[startup+0.703531 s]
/proc/loadavg: 7.58 8.12 8.26 2/211 28294
/proc/meminfo: memFree=24551304/32770624 swapFree=66939852/67108860
[pid=28272] ppid=28269 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/28272/stat : 28272 (scop.sh) S 28269 28272 28228 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 420172482 115843072 348 33554432000 4194304 5098028 140727807528464 140727807525720 139674217620092 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 37462016 140727807529764 140727807530092 140727807530092 140727807533005 0
/proc/28272/statm: 28282 348 296 221 0 87 0
[pid=28275] ppid=28272 vsize=27322516 memory=165876 CPUtime=1.01 cores=0-7
/proc/28275/stat : 28275 (java) S 28272 28272 28228 0 -1 1077944320 20067 0 0 0 93 8 0 0 20 0 20 0 420172483 27978256384 41469 33554432000 4194304 4196468 140724788955344 140724788937888 140571642044151 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24154112 140724788957930 140724788958358 140724788958358 140724788961231 0
/proc/28275/statm: 6830629 41469 3201 1 0 6791959 0
[pid=28275/tid=28276] ppid=28272 vsize=27322516 memory=0 CPUtime=0.68 cores=0-7
/proc/28275/task/28276/stat : 28276 (java) R 28272 28272 28228 0 -1 4202560 16995 0 0 0 62 6 0 0 20 0 20 0 420172483 27978256384 41469 33554432000 4194304 4196468 140724788955344 140571613875888 140571626124638 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24154112 140724788957930 140724788958358 140724788958358 140724788961231 0
[pid=28275/tid=28277] ppid=28272 vsize=27322516 memory=140444558467952 CPUtime=0 cores=0-7
/proc/28275/task/28277/stat : 28277 (java) S 28272 28272 28228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420172485 27978256384 41469 33554432000 4194304 4196468 140724788955344 140571646286608 140571642054357 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24154112 140724788957930 140724788958358 140724788958358 140724788961231 0
[pid=28275/tid=28278] ppid=28272 vsize=27322516 memory=0 CPUtime=0 cores=0-7
/proc/28275/task/28278/stat : 28278 (java) S 28272 28272 28228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420172485 27978256384 41469 33554432000 4194304 4196468 140724788955344 140571464375184 140571642054357 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24154112 140724788957930 140724788958358 140724788958358 140724788961231 0
[pid=28275/tid=28279] ppid=28272 vsize=27322516 memory=1256 CPUtime=0 cores=0-7

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

[pid=28312/tid=28313] ppid=28272 vsize=8414124 memory=1728 CPUtime=1.1 cores=0-7
/proc/28312/task/28313/stat : 28313 (java) S 28272 28272 28228 0 -1 1077944384 17470 0 0 0 91 19 0 0 20 0 24 0 420186103 8616062976 39470 33554432000 4194304 4196468 140728661702288 140355167477664 140355195647701 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13135872 140728661709815 140728661709974 140728661709974 140728661712847 0
[pid=28312/tid=28314] ppid=28272 vsize=8414124 memory=6791534058613427641 CPUtime=0 cores=0-7
/proc/28312/task/28314/stat : 28314 (java) S 28272 28272 28228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420186104 8616062976 39470 33554432000 4194304 4196468 140728661702288 140355199880336 140355195647701 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13135872 140728661709815 140728661709974 140728661709974 140728661712847 0
[pid=28312/tid=28315] ppid=28272 vsize=8414124 memory=7909804 CPUtime=0 cores=0-7
/proc/28312/task/28315/stat : 28315 (java) S 28272 28272 28228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420186104 8616062976 39470 33554432000 4194304 4196468 140728661702288 140355000048656 140355195647701 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13135872 140728661709815 140728661709974 140728661709974 140728661712847 0
[pid=28312/tid=28316] ppid=28272 vsize=8414124 memory=2116 CPUtime=0 cores=0-7
/proc/28312/task/28316/stat : 28316 (java) S 28272 28272 28228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420186104 8616062976 39470 33554432000 4194304 4196468 140728661702288 140354998995856 140355195647701 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13135872 140728661709815 140728661709974 140728661709974 140728661712847 0
[pid=28312/tid=28317] ppid=28272 vsize=8414124 memory=7880576 CPUtime=0 cores=0-7
/proc/28312/task/28317/stat : 28317 (java) S 28272 28272 28228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420186104 8616062976 39470 33554432000 4194304 4196468 140728661702288 140354997943056 140355195647701 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13135872 140728661709815 140728661709974 140728661709974 140728661712847 0
[pid=28312/tid=28318] ppid=28272 vsize=8414124 memory=1392 CPUtime=0 cores=0-7
/proc/28312/task/28318/stat : 28318 (java) S 28272 28272 28228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420186104 8616062976 39470 33554432000 4194304 4196468 140728661702288 140354996890256 140355195647701 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13135872 140728661709815 140728661709974 140728661709974 140728661712847 0
[pid=28312/tid=28319] ppid=28272 vsize=8414124 memory=6711016 CPUtime=0 cores=0-7
/proc/28312/task/28319/stat : 28319 (java) S 28272 28272 28228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420186104 8616062976 39470 33554432000 4194304 4196468 140728661702288 140354995837456 140355195647701 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13135872 140728661709815 140728661709974 140728661709974 140728661712847 0
[pid=28312/tid=28320] ppid=28272 vsize=8414124 memory=7265604 CPUtime=0 cores=0-7
/proc/28312/task/28320/stat : 28320 (java) S 28272 28272 28228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 420186104 8616062976 39470 33554432000 4194304 4196468 140728661702288 140354994784656 140355195647701 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13135872 140728661709815 140728661709974 140728661709974 140728661712847 0
[pid=28312/tid=28321] ppid=28272 vsize=8414124 memory=3504 CPUtime=0 cores=0-7
/proc/28312/task/28321/stat : 28321 (java) S 28272 28272 28228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420186104 8616062976 39470 33554432000 4194304 4196468 140728661702288 140354993731856 140355195647701 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13135872 140728661709815 140728661709974 140728661709974 140728661712847 0
[pid=28312/tid=28322] ppid=28272 vsize=8414124 memory=7992 CPUtime=0 cores=0-7
/proc/28312/task/28322/stat : 28322 (java) S 28272 28272 28228 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 24 0 420186106 8616062976 39470 33554432000 4194304 4196468 140728661702288 140354019879792 140355195648642 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13135872 140728661709815 140728661709974 140728661709974 140728661712847 0
[pid=28312/tid=28323] ppid=28272 vsize=8414124 memory=9580 CPUtime=0 cores=0-7
/proc/28312/task/28323/stat : 28323 (java) S 28272 28272 28228 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 420186106 8616062976 39470 33554432000 4194304 4196468 140728661702288 140353826973216 140355195647701 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13135872 140728661709815 140728661709974 140728661709974 140728661712847 0
[pid=28312/tid=28324] ppid=28272 vsize=8414124 memory=-7824251494390914152 CPUtime=0 cores=0-7
/proc/28312/task/28324/stat : 28324 (java) S 28272 28272 28228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420186107 8616062976 39470 33554432000 4194304 4196468 140728661702288 140353558537584 140355195647701 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13135872 140728661709815 140728661709974 140728661709974 140728661712847 0
[pid=28312/tid=28325] ppid=28272 vsize=8414124 memory=1076 CPUtime=0 cores=0-7
/proc/28312/task/28325/stat : 28325 (java) S 28272 28272 28228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420186109 8616062976 39470 33554432000 4194304 4196468 140728661702288 140353184029008 140355195656091 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13135872 140728661709815 140728661709974 140728661709974 140728661712847 0
[pid=28312/tid=28326] ppid=28272 vsize=8414124 memory=14008 CPUtime=0.21 cores=0-7
/proc/28312/task/28326/stat : 28326 (java) S 28272 28272 28228 0 -1 1077944384 953 0 0 0 21 0 0 0 20 0 24 0 420186109 8616062976 39470 33554432000 4194304 4196468 140728661702288 140354018826608 140355195648642 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13135872 140728661709815 140728661709974 140728661709974 140728661712847 0
[pid=28312/tid=28327] ppid=28272 vsize=8414124 memory=22740 CPUtime=0.17 cores=0-7
/proc/28312/task/28327/stat : 28327 (java) S 28272 28272 28228 0 -1 1077944384 362 0 0 0 17 0 0 0 20 0 24 0 420186109 8616062976 39470 33554432000 4194304 4196468 140728661702288 140354017773808 140355195648642 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13135872 140728661709815 140728661709974 140728661709974 140728661712847 0
[pid=28312/tid=28328] ppid=28272 vsize=8414124 memory=14056 CPUtime=0.16 cores=0-7
/proc/28312/task/28328/stat : 28328 (java) S 28272 28272 28228 0 -1 1077944384 450 0 0 0 16 0 0 0 20 0 24 0 420186110 8616062976 39470 33554432000 4194304 4196468 140728661702288 140354016721008 140355195648642 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13135872 140728661709815 140728661709974 140728661709974 140728661712847 0
[pid=28312/tid=28329] ppid=28272 vsize=8414124 memory=2116 CPUtime=0.23 cores=0-7
/proc/28312/task/28329/stat : 28329 (java) S 28272 28272 28228 0 -1 1077944384 629 0 0 0 23 0 0 0 20 0 24 0 420186110 8616062976 39470 33554432000 4194304 4196468 140728661702288 140354015668208 140355195648642 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13135872 140728661709815 140728661709974 140728661709974 140728661712847 0
[pid=28312/tid=28330] ppid=28272 vsize=8414124 memory=520 CPUtime=0 cores=0-7
/proc/28312/task/28330/stat : 28330 (java) S 28272 28272 28228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 420186110 8616062976 39470 33554432000 4194304 4196468 140728661702288 140352686124128 140355195647701 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13135872 140728661709815 140728661709974 140728661709974 140728661712847 0
[pid=28312/tid=28331] ppid=28272 vsize=8414124 memory=288230574492221466 CPUtime=0 cores=0-7
/proc/28312/task/28331/stat : 28331 (java) S 28272 28272 28228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 420186110 8616062976 39470 33554432000 4194304 4196468 140728661702288 140354014616624 140355195648642 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 13 0 0 6293624 6294260 13135872 140728661709815 140728661709974 140728661709974 140728661712847 0
[pid=28312/tid=28333] ppid=28272 vsize=8414124 memory=288230596050944315 CPUtime=0 cores=0-7
/proc/28312/task/28333/stat : 28333 (java) S 28272 28272 28228 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 420186211 8616062976 39470 33554432000 4194304 4196468 140728661702288 140354632545856 140355195662105 0 4 2 25189581 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 13135872 140728661709815 140728661709974 140728661709974 140728661712847 0
[pid=28312/tid=28335] ppid=28272 vsize=8414124 memory=15825490741037707 CPUtime=0 cores=0-7
/proc/28312/task/28335/stat : 28335 (java) S 28272 28272 28228 0 -1 4202560 23 0 0 0 0 0 0 0 20 0 24 0 420186211 8616062976 39470 33554432000 4194304 4196468 140728661702288 140352283459248 140355195659421 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 13135872 140728661709815 140728661709974 140728661709974 140728661712847 0
[pid=28312/tid=28336] ppid=28272 vsize=8414124 memory=8317482817917895235 CPUtime=0 cores=0-7
/proc/28312/task/28336/stat : 28336 (java) S 28272 28272 28228 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 24 0 420186211 8616062976 39470 33554432000 4194304 4196468 140728661702288 140352015023664 140355195659421 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 13135872 140728661709815 140728661709974 140728661709974 140728661712847 0
[pid=28312/tid=28337] ppid=28272 vsize=8414124 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/28312/task/28337/stat : 28337 (java) S 28272 28272 28228 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 24 0 420186213 8616062976 39470 33554432000 4194304 4196468 140728661702288 140351746595888 140355195647701 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13135872 140728661709815 140728661709974 140728661709974 140728661712847 0
Current children cumulated CPU time: 166.84 s
Current children cumulated vsize: 8983876 KiB
Current children cumulated memory: 583864 KiB

[startup+138.802 s]
/proc/loadavg: 2.30 5.72 7.34 2/217 28337
/proc/meminfo: memFree=24442556/32770624 swapFree=66939852/67108860
[pid=28272] ppid=28269 vsize=113128 memory=1472 CPUtime=163.82 cores=0-7
/proc/28272/stat : 28272 (scop.sh) S 28269 28272 28228 0 -1 4202496 582 80192 0 0 0 0 15696 686 20 0 1 0 420172482 115843072 368 33554432000 4194304 5098028 140727807528464 140727807525208 139674217620092 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 37462016 140727807529764 140727807530092 140727807530092 140727807533005 0
/proc/28272/statm: 28282 368 311 221 0 87 0
[pid=28312] ppid=28272 vsize=8283048 memory=198252 CPUtime=4.12 cores=0-7
/proc/28312/stat : 28312 (java) S 28272 28272 28228 0 -1 1077944320 21657 97561 0 0 209 23 159 21 20 0 22 0 420186102 8481841152 49563 33554432000 4194304 4196468 140728661702288 140728661684832 140355195637495 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 13135872 140728661709815 140728661709974 140728661709974 140728661712847 0
/proc/28312/statm: 2070762 49563 3232 1 0 2032106 0
[pid=28312/tid=28313] ppid=28272 vsize=8283048 memory=176768 CPUtime=2.92 cores=0-7
/proc/28312/task/28313/stat : 28313 (java) R 28272 28272 28228 0 -1 4202560 17612 97561 0 0 93 19 159 21 20 0 22 0 420186103 8481841152 49563 33554432000 4194304 4196468 140728661702288 140355167469944 140354650498325 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13135872 140728661709815 140728661709974 140728661709974 140728661712847 0
[pid=28312/tid=28314] ppid=28272 vsize=8283048 memory=7306357374722336614 CPUtime=1.8 cores=0-7
/proc/28312/task/28314/stat : 28314 (java) S 28272 28272 28228 0 -1 1077944384 1 97561 0 0 0 0 159 21 20 0 22 0 420186104 8481841152 49563 33554432000 4194304 4196468 140728661702288 140355199880336 140355195647701 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13135872 140728661709815 140728661709974 140728661709974 140728661712847 0
[pid=28312/tid=28315] ppid=28272 vsize=8283048 memory=7306357374722336614 CPUtime=1.8 cores=0-7
/proc/28312/task/28315/stat : 28315 (java) S 28272 28272 28228 0 -1 1077944384 2 97561 0 0 0 0 159 21 20 0 22 0 420186104 8481841152 49563 33554432000 4194304 4196468 140728661702288 140355000048656 140355195647701 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13135872 140728661709815 140728661709974 140728661709974 140728661712847 0
[pid=28312/tid=28316] ppid=28272 vsize=8283048 memory=7450758539236622436 CPUtime=1.8 cores=0-7
/proc/28312/task/28316/stat : 28316 (java) S 28272 28272 28228 0 -1 1077944384 1 97561 0 0 0 0 159 21 20 0 22 0 420186104 8481841152 49563 33554432000 4194304 4196468 140728661702288 140354998995856 140355195647701 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13135872 140728661709815 140728661709974 140728661709974 140728661712847 0
[pid=28312/tid=28317] ppid=28272 vsize=8283048 memory=7018691147222902848 CPUtime=1.8 cores=0-7
/proc/28312/task/28317/stat : 28317 (java) S 28272 28272 28228 0 -1 1077944384 2 97561 0 0 0 0 159 21 20 0 22 0 420186104 8481841152 49563 33554432000 4194304 4196468 140728661702288 140354997943056 140355195647701 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13135872 140728661709815 140728661709974 140728661709974 140728661712847 0
[pid=28312/tid=28318] ppid=28272 vsize=8283048 memory=7018691147222902848 CPUtime=1.8 cores=0-7
/proc/28312/task/28318/stat : 28318 (java) S 28272 28272 28228 0 -1 1077944384 1 97561 0 0 0 0 159 21 20 0 22 0 420186104 8481841152 49563 33554432000 4194304 4196468 140728661702288 140354996890256 140355195647701 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13135872 140728661709815 140728661709974 140728661709974 140728661712847 0
[pid=28312/tid=28319] ppid=28272 vsize=8283048 memory=7018691147222902848 CPUtime=1.8 cores=0-7
/proc/28312/task/28319/stat : 28319 (java) S 28272 28272 28228 0 -1 1077944384 1 97561 0 0 0 0 159 21 20 0 22 0 420186104 8481841152 49563 33554432000 4194304 4196468 140728661702288 140354995837456 140355195647701 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13135872 140728661709815 140728661709974 140728661709974 140728661712847 0
[pid=28312/tid=28320] ppid=28272 vsize=8283048 memory=1440 CPUtime=1.8 cores=0-7
/proc/28312/task/28320/stat : 28320 (java) S 28272 28272 28228 0 -1 1077944384 3 97561 0 0 0 0 159 21 20 0 22 0 420186104 8481841152 49563 33554432000 4194304 4196468 140728661702288 140354994784656 140355195647701 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13135872 140728661709815 140728661709974 140728661709974 140728661712847 0
[pid=28312/tid=28321] ppid=28272 vsize=8283048 memory=816 CPUtime=1.8 cores=0-7
/proc/28312/task/28321/stat : 28321 (java) S 28272 28272 28228 0 -1 1077944384 1 97561 0 0 0 0 159 21 20 0 22 0 420186104 8481841152 49563 33554432000 4194304 4196468 140728661702288 140354993731856 140355195647701 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13135872 140728661709815 140728661709974 140728661709974 140728661712847 0
[pid=28312/tid=28322] ppid=28272 vsize=8283048 memory=6791534058613427641 CPUtime=1.8 cores=0-7
/proc/28312/task/28322/stat : 28322 (java) S 28272 28272 28228 0 -1 1077944384 6 97561 0 0 0 0 159 21 20 0 22 0 420186106 8481841152 49563 33554432000 4194304 4196468 140728661702288 140354019879792 140355195648642 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13135872 140728661709815 140728661709974 140728661709974 140728661712847 0
[pid=28312/tid=28323] ppid=28272 vsize=8283048 memory=1760 CPUtime=1.8 cores=0-7
/proc/28312/task/28323/stat : 28323 (java) S 28272 28272 28228 0 -1 1077944384 13 97561 0 0 0 0 159 21 20 0 22 0 420186106 8481841152 49563 33554432000 4194304 4196468 140728661702288 140353826973216 140355195647701 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13135872 140728661709815 140728661709974 140728661709974 140728661712847 0
[pid=28312/tid=28324] ppid=28272 vsize=8283048 memory=111636 CPUtime=1.8 cores=0-7
/proc/28312/task/28324/stat : 28324 (java) S 28272 28272 28228 0 -1 1077944384 1 97561 0 0 0 0 159 21 20 0 22 0 420186107 8481841152 49563 33554432000 4194304 4196468 140728661702288 140353558537584 140355195647701 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13135872 140728661709815 140728661709974 140728661709974 140728661712847 0
[pid=28312/tid=28325] ppid=28272 vsize=8283048 memory=808 CPUtime=1.8 cores=0-7
/proc/28312/task/28325/stat : 28325 (java) S 28272 28272 28228 0 -1 1077944384 1 97561 0 0 0 0 159 21 20 0 22 0 420186109 8481841152 49563 33554432000 4194304 4196468 140728661702288 140353184029008 140355195656091 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13135872 140728661709815 140728661709974 140728661709974 140728661712847 0
[pid=28312/tid=28326] ppid=28272 vsize=8283048 memory=4108 CPUtime=2.06 cores=0-7
/proc/28312/task/28326/stat : 28326 (java) S 28272 28272 28228 0 -1 1077944384 972 97561 0 0 26 0 159 21 20 0 22 0 420186109 8481841152 49563 33554432000 4194304 4196468 140728661702288 140354018826608 140355195648642 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13135872 140728661709815 140728661709974 140728661709974 140728661712847 0
[pid=28312/tid=28327] ppid=28272 vsize=8283048 memory=1808 CPUtime=2.03 cores=0-7
/proc/28312/task/28327/stat : 28327 (java) R 28272 28272 28228 0 -1 4202560 386 97561 0 0 23 0 159 21 20 0 22 0 420186109 8481841152 49563 33554432000 4194304 4196468 140728661702288 140354017773808 140355175354631 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13135872 140728661709815 140728661709974 140728661709974 140728661712847 0
[pid=28312/tid=28328] ppid=28272 vsize=8283048 memory=924 CPUtime=2.02 cores=0-7
/proc/28312/task/28328/stat : 28328 (java) S 28272 28272 28228 0 -1 1077944384 478 97561 0 0 22 0 159 21 20 0 22 0 420186110 8481841152 49563 33554432000 4194304 4196468 140728661702288 140354016721008 140355195648642 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13135872 140728661709815 140728661709974 140728661709974 140728661712847 0
[pid=28312/tid=28329] ppid=28272 vsize=8283048 memory=3908 CPUtime=2.08 cores=0-7
/proc/28312/task/28329/stat : 28329 (java) S 28272 28272 28228 0 -1 1077944384 735 97561 0 0 28 0 159 21 20 0 22 0 420186110 8481841152 49563 33554432000 4194304 4196468 140728661702288 140354015668208 140355195648642 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13135872 140728661709815 140728661709974 140728661709974 140728661712847 0
[pid=28312/tid=28330] ppid=28272 vsize=8283048 memory=1408 CPUtime=1.8 cores=0-7
/proc/28312/task/28330/stat : 28330 (java) S 28272 28272 28228 0 -1 1077944384 3 97561 0 0 0 0 159 21 20 0 22 0 420186110 8481841152 49563 33554432000 4194304 4196468 140728661702288 140352686124128 140355195647701 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13135872 140728661709815 140728661709974 140728661709974 140728661712847 0
[pid=28312/tid=28331] ppid=28272 vsize=8283048 memory=3184 CPUtime=1.8 cores=0-7
/proc/28312/task/28331/stat : 28331 (java) S 28272 28272 28228 0 -1 1077944384 3 97561 0 0 0 0 159 21 20 0 22 0 420186110 8481841152 49563 33554432000 4194304 4196468 140728661702288 140354014616624 140355195648642 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 13 0 0 6293624 6294260 13135872 140728661709815 140728661709974 140728661709974 140728661712847 0
[pid=28312/tid=28333] ppid=28272 vsize=8283048 memory=1392 CPUtime=1.8 cores=0-7
/proc/28312/task/28333/stat : 28333 (java) S 28272 28272 28228 0 -1 1077944384 23 97561 0 0 0 0 159 21 20 0 22 0 420186211 8481841152 49563 33554432000 4194304 4196468 140728661702288 140354632545040 140355195648642 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13135872 140728661709815 140728661709974 140728661709974 140728661712847 0
[pid=28312/tid=28337] ppid=28272 vsize=8283048 memory=8317482817917895235 CPUtime=1.8 cores=0-7
/proc/28312/task/28337/stat : 28337 (java) S 28272 28272 28228 0 -1 1077944384 14 97561 0 0 0 0 159 21 20 0 22 0 420186213 8481841152 49563 33554432000 4194304 4196468 140728661702288 140351746597680 140355195648642 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13135872 140728661709815 140728661709974 140728661709974 140728661712847 0
Current children cumulated CPU time: 167.94 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 199724 KiB

[startup+138.901 s]
/proc/loadavg: 2.30 5.72 7.34 2/217 28337
/proc/meminfo: memFree=24442556/32770624 swapFree=66939852/67108860
[pid=28272] ppid=28269 vsize=113128 memory=1472 CPUtime=163.82 cores=0-7
/proc/28272/stat : 28272 (scop.sh) S 28269 28272 28228 0 -1 4202496 582 80192 0 0 0 0 15696 686 20 0 1 0 420172482 115843072 368 33554432000 4194304 5098028 140727807528464 140727807525208 139674217620092 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 37462016 140727807529764 140727807530092 140727807530092 140727807533005 0
/proc/28272/statm: 28282 368 311 221 0 87 0
[pid=28312] ppid=28272 vsize=8283048 memory=205656 CPUtime=4.35 cores=0-7
/proc/28312/stat : 28312 (java) S 28272 28272 28228 0 -1 1077944320 21919 97561 0 0 232 23 159 21 20 0 22 0 420186102 8481841152 51414 33554432000 4194304 4196468 140728661702288 140728661684832 140355195637495 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 13135872 140728661709815 140728661709974 140728661709974 140728661712847 0
/proc/28312/statm: 2070762 51414 3238 1 0 2032106 0
[pid=28312/tid=28313] ppid=28272 vsize=8283048 memory=157880 CPUtime=3.02 cores=0-7
/proc/28312/task/28313/stat : 28313 (java) R 28272 28272 28228 0 -1 4202560 17721 97561 0 0 103 19 159 21 20 0 22 0 420186103 8481841152 51414 33554432000 4194304 4196468 140728661702288 140355167475472 140354649194049 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13135872 140728661709815 140728661709974 140728661709974 140728661712847 0
[pid=28312/tid=28314] ppid=28272 vsize=8283048 memory=174668 CPUtime=1.8 cores=0-7
/proc/28312/task/28314/stat : 28314 (java) S 28272 28272 28228 0 -1 1077944384 1 97561 0 0 0 0 159 21 20 0 22 0 420186104 8481841152 51414 33554432000 4194304 4196468 140728661702288 140355199880336 140355195647701 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13135872 140728661709815 140728661709974 140728661709974 140728661712847 0
[pid=28312/tid=28315] ppid=28272 vsize=8283048 memory=1472 CPUtime=1.8 cores=0-7
/proc/28312/task/28315/stat : 28315 (java) S 28272 28272 28228 0 -1 1077944384 2 97561 0 0 0 0 159 21 20 0 22 0 420186104 8481841152 51414 33554432000 4194304 4196468 140728661702288 140355000048656 140355195647701 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13135872 140728661709815 140728661709974 140728661709974 140728661712847 0
[pid=28312/tid=28316] ppid=28272 vsize=8283048 memory=4872558044660077418 CPUtime=1.8 cores=0-7
/proc/28312/task/28316/stat : 28316 (java) S 28272 28272 28228 0 -1 1077944384 1 97561 0 0 0 0 159 21 20 0 22 0 420186104 8481841152 51414 33554432000 4194304 4196468 140728661702288 140354998995856 140355195647701 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13135872 140728661709815 140728661709974 140728661709974 140728661712847 0
[pid=28312/tid=28317] ppid=28272 vsize=8283048 memory=1436 CPUtime=1.8 cores=0-7
/proc/28312/task/28317/stat : 28317 (java) S 28272 28272 28228 0 -1 1077944384 2 97561 0 0 0 0 159 21 20 0 22 0 420186104 8481841152 51414 33554432000 4194304 4196468 140728661702288 140354997943056 140355195647701 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13135872 140728661709815 140728661709974 140728661709974 140728661712847 0
[pid=28312/tid=28318] ppid=28272 vsize=8283048 memory=4164 CPUtime=1.8 cores=0-7
/proc/28312/task/28318/stat : 28318 (java) S 28272 28272 28228 0 -1 1077944384 1 97561 0 0 0 0 159 21 20 0 22 0 420186104 8481841152 51414 33554432000 4194304 4196468 140728661702288 140354996890256 140355195647701 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13135872 140728661709815 140728661709974 140728661709974 140728661712847 0
[pid=28312/tid=28319] ppid=28272 vsize=8283048 memory=1052 CPUtime=1.8 cores=0-7
/proc/28312/task/28319/stat : 28319 (java) S 28272 28272 28228 0 -1 1077944384 1 97561 0 0 0 0 159 21 20 0 22 0 420186104 8481841152 51414 33554432000 4194304 4196468 140728661702288 140354995837456 140355195647701 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13135872 140728661709815 140728661709974 140728661709974 140728661712847 0
[pid=28312/tid=28320] ppid=28272 vsize=8283048 memory=776 CPUtime=1.8 cores=0-7
/proc/28312/task/28320/stat : 28320 (java) S 28272 28272 28228 0 -1 1077944384 3 97561 0 0 0 0 159 21 20 0 22 0 420186104 8481841152 51414 33554432000 4194304 4196468 140728661702288 140354994784656 140355195647701 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13135872 140728661709815 140728661709974 140728661709974 140728661712847 0
[pid=28312/tid=28321] ppid=28272 vsize=8283048 memory=1472 CPUtime=1.8 cores=0-7
/proc/28312/task/28321/stat : 28321 (java) S 28272 28272 28228 0 -1 1077944384 1 97561 0 0 0 0 159 21 20 0 22 0 420186104 8481841152 51414 33554432000 4194304 4196468 140728661702288 140354993731856 140355195647701 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13135872 140728661709815 140728661709974 140728661709974 140728661712847 0
[pid=28312/tid=28322] ppid=28272 vsize=8283048 memory=1472 CPUtime=1.8 cores=0-7
/proc/28312/task/28322/stat : 28322 (java) S 28272 28272 28228 0 -1 1077944384 6 97561 0 0 0 0 159 21 20 0 22 0 420186106 8481841152 51414 33554432000 4194304 4196468 140728661702288 140354019879792 140355195648642 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13135872 140728661709815 140728661709974 140728661709974 140728661712847 0
[pid=28312/tid=28323] ppid=28272 vsize=8283048 memory=2832 CPUtime=1.8 cores=0-7
/proc/28312/task/28323/stat : 28323 (java) S 28272 28272 28228 0 -1 1077944384 13 97561 0 0 0 0 159 21 20 0 22 0 420186106 8481841152 51414 33554432000 4194304 4196468 140728661702288 140353826973216 140355195647701 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13135872 140728661709815 140728661709974 140728661709974 140728661712847 0
[pid=28312/tid=28324] ppid=28272 vsize=8283048 memory=668 CPUtime=1.8 cores=0-7
/proc/28312/task/28324/stat : 28324 (java) S 28272 28272 28228 0 -1 1077944384 1 97561 0 0 0 0 159 21 20 0 22 0 420186107 8481841152 51414 33554432000 4194304 4196468 140728661702288 140353558537584 140355195647701 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13135872 140728661709815 140728661709974 140728661709974 140728661712847 0
[pid=28312/tid=28325] ppid=28272 vsize=8283048 memory=1256 CPUtime=1.8 cores=0-7
/proc/28312/task/28325/stat : 28325 (java) S 28272 28272 28228 0 -1 1077944384 1 97561 0 0 0 0 159 21 20 0 22 0 420186109 8481841152 51414 33554432000 4194304 4196468 140728661702288 140353184029008 140355195656091 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13135872 140728661709815 140728661709974 140728661709974 140728661712847 0
[pid=28312/tid=28326] ppid=28272 vsize=8283048 memory=1076 CPUtime=2.09 cores=0-7
/proc/28312/task/28326/stat : 28326 (java) S 28272 28272 28228 0 -1 1077944384 980 97561 0 0 29 0 159 21 20 0 22 0 420186109 8481841152 51414 33554432000 4194304 4196468 140728661702288 140354018826608 140355195648642 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13135872 140728661709815 140728661709974 140728661709974 140728661712847 0
[pid=28312/tid=28327] ppid=28272 vsize=8283048 memory=14008 CPUtime=2.06 cores=0-7
/proc/28312/task/28327/stat : 28327 (java) S 28272 28272 28228 0 -1 1077944384 399 97561 0 0 26 0 159 21 20 0 22 0 420186109 8481841152 51414 33554432000 4194304 4196468 140728661702288 140354017773808 140355195648642 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13135872 140728661709815 140728661709974 140728661709974 140728661712847 0
[pid=28312/tid=28328] ppid=28272 vsize=8283048 memory=22740 CPUtime=2.06 cores=0-7
/proc/28312/task/28328/stat : 28328 (java) S 28272 28272 28228 0 -1 1077944384 499 97561 0 0 26 0 159 21 20 0 22 0 420186110 8481841152 51414 33554432000 4194304 4196468 140728661702288 140354016721008 140355195648642 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13135872 140728661709815 140728661709974 140728661709974 140728661712847 0
[pid=28312/tid=28329] ppid=28272 vsize=8283048 memory=1392 CPUtime=2.13 cores=0-7
/proc/28312/task/28329/stat : 28329 (java) R 28272 28272 28228 0 -1 4202560 847 97561 0 0 33 0 159 21 20 0 22 0 420186110 8481841152 51414 33554432000 4194304 4196468 140728661702288 140354015668208 140355179717982 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 13135872 140728661709815 140728661709974 140728661709974 140728661712847 0
[pid=28312/tid=28330] ppid=28272 vsize=8283048 memory=7905880 CPUtime=1.8 cores=0-7
/proc/28312/task/28330/stat : 28330 (java) S 28272 28272 28228 0 -1 1077944384 3 97561 0 0 0 0 159 21 20 0 22 0 420186110 8481841152 51414 33554432000 4194304 4196468 140728661702288 140352686124128 140355195647701 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13135872 140728661709815 140728661709974 140728661709974 140728661712847 0
[pid=28312/tid=28331] ppid=28272 vsize=8283048 memory=157880 CPUtime=1.8 cores=0-7
/proc/28312/task/28331/stat : 28331 (java) S 28272 28272 28228 0 -1 1077944384 3 97561 0 0 0 0 159 21 20 0 22 0 420186110 8481841152 51414 33554432000 4194304 4196468 140728661702288 140354014616624 140355195648642 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 13 0 0 6293624 6294260 13135872 140728661709815 140728661709974 140728661709974 140728661712847 0
[pid=28312/tid=28333] ppid=28272 vsize=8283048 memory=1728 CPUtime=1.8 cores=0-7
/proc/28312/task/28333/stat : 28333 (java) S 28272 28272 28228 0 -1 1077944384 23 97561 0 0 0 0 159 21 20 0 22 0 420186211 8481841152 51414 33554432000 4194304 4196468 140728661702288 140354632545040 140355195648642 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13135872 140728661709815 140728661709974 140728661709974 140728661712847 0
[pid=28312/tid=28337] ppid=28272 vsize=8283048 memory=7992 CPUtime=1.8 cores=0-7
/proc/28312/task/28337/stat : 28337 (java) S 28272 28272 28228 0 -1 1077944384 14 97561 0 0 0 0 159 21 20 0 22 0 420186213 8481841152 51414 33554432000 4194304 4196468 140728661702288 140351746597680 140355195648642 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13135872 140728661709815 140728661709974 140728661709974 140728661712847 0
Current children cumulated CPU time: 168.17 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 207128 KiB

Child status: 0
Real time (s): 138.965
CPU time (s): 168.309
CPU user time (s): 160.977
CPU system time (s): 7.33221
CPU usage (%): 121.116
Max. virtual memory (cumulated for all children) (KiB): 27444336
Max. memory (cumulated for all children) (KiB): 7993796

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 160.977
system time used= 7.33221
maximum resident set size= 7992708
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 202067
page faults= 0
swaps= 0
block input operations= 0
block output operations= 35920
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 17985
involuntary context switches= 340


# summary of solver processes directly reported to runsolver:
#   pid: 28272
#   total CPU time (s): 168.309
#   total CPU user time (s): 160.977
#   total CPU system time (s): 7.33221

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.986623 second user time and 1.48704 second system time

The end

Launcher Data 

Begin job on node119 at 2019-09-14 08:28:56
IDJOB=4392660
IDBENCH=138763
IDSOLVER=2839
FILE ID=node119/4392660-1568442576
RUNJOBID= node119-1568442536-28255
PBS_JOBID= 21702345
Free space on /tmp= 61504 MiB

SOLVER NAME= Fun-sCOP hybrid+ManyGlucose (2019-06-15)
BENCH NAME= XCSP17/Hanoi/Hanoi-m1-s1/Hanoi-07.xml
COMMAND LINE= DIR/scop.sh 22g DIR/scop.jar -hybrid DIR/manyglucose-4.1-27_release -model:-nthreads=NBCORE:-maxmemory=20000:-lit-scans=6000000 TMPDIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4392660-1568442576/watcher-4392660-1568442576 -o /tmp/evaluation-result-4392660-1568442576/solver-4392660-1568442576 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node119-1568442536-28255 --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-4392660-1568442576.xml

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

MD5SUM BENCH= 7f68b5f256bf6bd8019eb0158af88fa3
RANDOM SEED=1012166896

node119.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.47
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.47
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.47
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.47
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:        24691480 kB
MemAvailable:   31822252 kB
Buffers:          191640 kB
Cached:          7207576 kB
SwapCached:        61128 kB
Active:          2828336 kB
Inactive:        4635588 kB
Active(anon):       3224 kB
Inactive(anon):   102940 kB
Active(file):    2825112 kB
Inactive(file):  4532648 kB
Unevictable:      107932 kB
Mlocked:          107932 kB
SwapTotal:      67108860 kB
SwapFree:       66939852 kB
Dirty:             20576 kB
Writeback:             0 kB
AnonPages:        113396 kB
Mapped:            44316 kB
Shmem:             32816 kB
Slab:             207448 kB
SReclaimable:     177692 kB
SUnreclaim:        29756 kB
KernelStack:        3280 kB
PageTables:         5880 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     497592 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:      126336 kB
DirectMap2M:    33419264 kB

Free space on /tmp at the end= 61484 MiB
End job on node119 at 2019-09-14 08:31:15