Trace number 4405220

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Fun-sCOP order+ManyGlucose (2019-09-22)SAT 167.174 137.435

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 -order -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-9536-serial-file.bin HOME/instance-4405220-1569358901.xml
0.65/0.54	
0.65/0.54	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
0.65/0.54	
0.65/0.56	c BEGIN-Prog: Tue Sep 24 23:00:59 CEST 2019
0.65/0.56	c PID: 9539
0.65/0.56	c IP: 172.20.3.145
0.65/0.56	c HOST: node145.alineos.net
0.65/0.57	c (0,0) Parsing Begin
2.22/1.03	c (0,0) Parsing End
2.22/1.03	c (0,0) CSP: 126 int (0 aux), 0 bool (0 aux), 126 ctr, max domain size 2187
2.22/1.03	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
2.22/1.03	c (0,0) Constraint Name Generate Begin
2.22/1.04	c (0,0) Ctr:HOME/instance-4405220-1569358901.xml,ExtensionSupport:In:Var
2.22/1.04	c (0,0) Constraint Name Generate End
2.22/1.04	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
2.22/1.04	c (0,0) CSP to CSPinCNF Begin
4.26/1.72	c (1,1) translated 13 (10%) constraints
6.48/2.40	c (1,1) translated 26 (20%) constraints
9.19/3.64	c (3,3) translated 38 (30%) constraints
11.88/6.04	c (5,5) translated 51 (40%) constraints
16.24/10.25	c (9,9) translated 63 (50%) constraints
24.42/18.29	c (17,17) translated 76 (60%) constraints
36.95/29.22	c (28,28) translated 89 (70%) constraints
51.98/44.00	c (43,43) translated 101 (80%) constraints
77.06/67.04	c (66,65) translated 114 (90%) constraints
113.93/99.50	c (98,97) translated 126 (100%) constraints
113.93/99.51	c (98,97) ===========================================
113.93/99.52	c (98,97) Order
113.93/99.52	c (98,97) ===========================================
115.45/100.54	c (100,98) translated 56261 (10%) constraints
116.46/101.53	c (100,99) translated 112521 (20%) constraints
117.51/102.51	c (101,100) translated 168782 (30%) constraints
118.41/103.50	c (102,101) translated 225042 (40%) constraints
119.41/104.47	c (103,102) translated 281303 (50%) constraints
120.42/105.45	c (104,103) translated 337563 (60%) constraints
121.42/106.43	c (105,104) translated 393824 (70%) constraints
122.43/107.40	c (106,105) translated 450084 (80%) constraints
123.33/108.39	c (107,106) translated 506345 (90%) constraints
124.33/109.38	c (108,107) translated 562605 (100%) constraints
124.33/109.38	c (108,107) CSP to CSPinCNF End
124.45/109.43	c (108,107) CSP: 126 int (0 aux), 90524 bool (90524 aux), 562609 ctr, max domain size 2059
124.45/109.43	c (108,107) Heap : 4115 MiB used (max 21589 MiB), NonHeap : 26 MiB used (max 0 MiB)
124.45/109.43	c (108,107) CSPinCNF Propagation Begin
150.27/126.91	c (126,124) 0 values, 125 unsatisfiable literals, and 2 valid clauses are removed
150.27/126.91	c (126,124) CSPinCNF Propagation End
150.27/126.95	c (126,124) CSP: 126 int (0 aux), 90524 bool (90524 aux), 562607 ctr, max domain size 2059
150.27/126.95	c (126,124) Heap : 934 MiB used (max 21846 MiB), NonHeap : 27 MiB used (max 0 MiB)
150.27/126.96	c (126,124) Simplify CSPinCNF Begin
151.40/127.90	c (127,125) Simplify CSPinCNF End
151.40/127.94	c (127,125) CSP: 126 int (0 aux), 90524 bool (90524 aux), 562607 ctr, max domain size 2059
151.40/127.94	c (127,125) Heap : 1423 MiB used (max 21846 MiB), NonHeap : 27 MiB used (max 0 MiB)
151.40/127.94	c (127,125) Calculate Precise Domain Begin
151.40/127.94	c (127,125) 0 values are removed by re-calculation
151.40/127.94	c (127,125) Calculate Precise Domain End
151.40/127.98	c (127,125) CSP: 126 int (0 aux), 90524 bool (90524 aux), 562607 ctr, max domain size 2059
151.40/127.98	c (127,125) Heap : 1423 MiB used (max 21846 MiB), NonHeap : 27 MiB used (max 0 MiB)
151.40/127.98	c (127,125) CSPinCNF to SatSolver Begin
154.83/129.07	c (128,126) 56261 (10 %) CSP clauses are encoded (0 SAT variables, 148589 SAT clauses)
155.35/129.56	c (129,126) 112522 (20 %) CSP clauses are encoded (0 SAT variables, 204850 SAT clauses)
155.86/130.07	c (129,127) 168783 (30 %) CSP clauses are encoded (0 SAT variables, 261111 SAT clauses)
156.36/130.58	c (130,127) 225043 (40 %) CSP clauses are encoded (0 SAT variables, 317371 SAT clauses)
156.98/131.11	c (130,128) 281304 (50 %) CSP clauses are encoded (0 SAT variables, 373632 SAT clauses)
157.50/131.63	c (131,128) 337565 (60 %) CSP clauses are encoded (0 SAT variables, 429893 SAT clauses)
158.01/132.17	c (131,129) 393825 (70 %) CSP clauses are encoded (0 SAT variables, 486153 SAT clauses)
158.51/132.69	c (132,129) 450086 (80 %) CSP clauses are encoded (0 SAT variables, 542414 SAT clauses)
159.11/133.25	c (132,130) 506347 (90 %) CSP clauses are encoded (0 SAT variables, 598675 SAT clauses)
161.54/134.05	c (133,130) 562607 (100 %) CSP clauses are encoded (0 SAT variables, 654935 SAT clauses)
161.54/134.05	c (133,130) CSPinCNF to SatSolver End
161.54/134.05	c (133,130) Heap : 631 MiB used (max 21874 MiB), NonHeap : 29 MiB used (max 0 MiB)
161.54/134.06	c (133,131) 182979 bool, 654936 clause
161.54/134.06	c (133,131) Export Begin
162.47/134.59	c (134,131) Export to HOME/scop-9536-serial-file.bin
162.47/134.59	c (134,131) Export End
162.47/134.59	c (134,131) Export File Size: 2.74 MB
162.47/134.59	c (134,131) 0,0,108,126,127,127,133,STOP-AFTER(DIMACS)
162.47/134.59	c END-Prog: Tue Sep 24 23:03:13 CEST 2019
0.00/134.63	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-9536-serial-file.bin
163.09/135.10	c (0,0) Read Serial File Begin
163.09/135.10	c (0,0) HOME/scop-9536-serial-file.bin
164.25/135.67	c (0,0) Read Serial File End
164.25/135.69	
164.25/135.69	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
164.25/135.69	(Solving Process)
164.25/135.69	
164.37/135.71	c BEGIN-Prog: Tue Sep 24 23:03:15 CEST 2019
164.37/135.71	c PID: 9590
164.37/135.71	c IP: 172.20.3.145
164.37/135.71	c HOST: node145.alineos.net
164.37/135.71	c (0,0) SatSolver.solve Begin
164.37/135.71	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4405220-1569358901.xml-scop-9539.cnf
164.37/135.74	c (0,0) c
164.37/135.74	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)
164.37/135.74	c (0,0) c
164.37/135.74	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
164.37/135.74	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
164.37/135.74	c (0,0) c ========================================[ Problem Statistics ]===========================================
164.37/135.74	c (0,0) c |                                                                                                       |
164.86/136.04	c (1,0) c |  Number of variables:        182979                                                                   |
164.86/136.04	c (1,0) c |  Number of clauses:          654936                                                                   |
164.86/136.04	c (1,0) c |  Parse time:                   0.28 s                                                                 |
164.86/136.04	c (1,0) c |                                                                                                       |
165.36/136.56	c (1,0) c |  Simplification time:          0.52 s                                                                 |
165.36/136.56	c (1,0) c |                                                                                                       |
165.36/136.57	c (1,0) c |  Generating clones                                                                                    |
165.75/136.96	c (1,0) c |  all clones generated. Memory =   557.52Mb.                                                           |
165.75/136.96	c (1,0) c ========================================================================================================|
165.75/136.96	c (1,0) c
165.75/136.96	c (1,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
165.75/136.96	c (1,0) c
165.75/136.96	c (1,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
165.75/136.96	c (1,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
165.75/136.96	c (1,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
165.75/136.96	c (1,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
165.75/136.96	c (1,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
165.75/136.96	c (1,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
165.75/136.96	c (1,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
165.75/136.96	c (1,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
165.75/136.96	c (1,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
165.75/136.96	c (1,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
165.75/136.96	c (1,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
165.75/136.96	c (1,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
165.75/136.96	c (1,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
165.75/136.96	c (1,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
165.75/136.96	c (1,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
165.75/136.96	c (1,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
165.75/136.96	c (1,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
165.75/136.96	c (1,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
165.75/136.96	c (1,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
165.98/137.09	c (2,0) c
165.98/137.09	c (2,0) c real time : 1.35669 s
165.98/137.09	c (2,0) c cpu time  : 1.53813 s
165.98/137.09	c (2,0) c
165.98/137.09	c (2,0) c
165.98/137.09	c (2,0) c
165.98/137.09	c (2,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
165.98/137.09	c (2,0) c
165.98/137.09	c (2,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
165.98/137.09	c (2,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
165.98/137.09	c (2,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
165.98/137.09	c (2,0) c | Conflicts     |               4 |          0 |          1 |          0 |          0 |          1 |          1 |          0 |          1 |
165.98/137.09	c (2,0) c | Decisions     |            8850 |       1717 |       1065 |        981 |       1182 |        710 |       1051 |       1306 |        838 |
165.98/137.09	c (2,0) c | Propagations  |         1457815 |     182223 |     182233 |     182223 |     182223 |     182234 |     182233 |     182223 |     182223 |
165.98/137.10	c (2,0) c | ReduceDBs     |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
165.98/137.10	c (2,0) c | SimpDBs       |               8 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |
165.98/137.10	c (2,0) c | Restarts      |               8 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |
165.98/137.10	c (2,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
165.98/137.10	c (2,0) c | PropBinClauses|         1459664 |     182451 |     182464 |     182452 |     182449 |     182462 |     182462 |     182452 |     182472 |
165.98/137.10	c (2,0) c | PropPreBlocker|         4016214 |     571687 |     490415 |     492442 |     481787 |     502262 |     483655 |     491573 |     502393 |
165.98/137.10	c (2,0) c | PropNotBlocker|         1956235 |     382592 |     221676 |     225250 |     204432 |     244659 |     208100 |     224272 |     245254 |
165.98/137.10	c (2,0) c | LitFullScans  |         7903186 |    1228598 |     948048 |     954306 |     917894 |     988376 |     924416 |     952335 |     989213 |
165.98/137.10	c (2,0) c | LitScanFracts |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
165.98/137.10	c (2,0) c | DecisionLevel0|               8 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |
165.98/137.10	c (2,0) c | Periods       |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
165.98/137.10	c (2,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
165.98/137.10	c (2,0) c | Avg_Trail     |                 |          0 |     181957 |          0 |          0 |     158255 |     181331 |          0 |     180650 |
165.98/137.10	c (2,0) c | Avg_DL        |                 |          0 |       1045 |          0 |          0 |        475 |       1008 |          0 |        785 |
165.98/137.10	c (2,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
165.98/137.10	c (2,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
165.98/137.10	c (2,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
165.98/137.10	c (2,0) c | Exported      |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
165.98/137.10	c (2,0) c | Imported      |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
165.98/137.10	c (2,0) c | Good          |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
165.98/137.10	c (2,0) c | Purge         |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
165.98/137.10	c (2,0) c | Promoted      |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
165.98/137.10	c (2,0) c | Remove_Imp    |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
165.98/137.10	c (2,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
165.98/137.10	c (2,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
165.98/137.10	c (2,0) c | Unaries       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
165.98/137.10	c (2,0) c | Binaries      |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
165.98/137.10	c (2,0) c | Glues         |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
165.98/137.10	c (2,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
165.98/137.10	c (2,0) c | Orig_Seen     |             0 % |          0 |          8 |          0 |          0 |          8 |          8 |          0 |          8 |
165.98/137.10	c (2,0) c | Diff Orig seen|                 |      X     |          8 | -        0 | -        0 |          8 |          8 | -        0 |          8 |
165.98/137.10	c (2,0) c | Hamming       |             0 % |      X     |         25 |        523 |         92 |         20 |         20 |        419 |         27 |
165.98/137.10	c (2,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
165.98/137.10	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%|
165.98/137.10	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%|
165.98/137.10	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%|
165.98/137.10	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%|
165.98/137.10	c (2,0) c | SolvingTime   |                 |    0.1     |    0.1     |    0.1     |    0.1     |    0.1     |    0.1     |    0.1     |    0.1     |
165.98/137.10	c (2,0) c | PropagationTim|                 |    0.1  97%|    0.1  97%|    0.1  97%|    0.1  97%|    0.1  97%|    0.1  97%|    0.1  97%|    0.1  97%|
165.98/137.10	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%|
165.98/137.10	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%|
165.98/137.10	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%|
165.98/137.10	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%|
165.98/137.10	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%|
165.98/137.10	c (2,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
165.98/137.10	c (2,0) c
165.98/137.10	c (2,0) c
165.98/137.10	c (2,0) c Threads : 8
165.98/137.10	c (2,0) c Winner : 0
165.98/137.10	c (2,0) c Conflicts_0 : 0
165.98/137.10	c (2,0) c Conflicts_1 : 1
165.98/137.10	c (2,0) c Conflicts_2 : 0
165.98/137.10	c (2,0) c Conflicts_3 : 0
165.98/137.10	c (2,0) c Conflicts_4 : 1
165.98/137.10	c (2,0) c Conflicts_5 : 1
165.98/137.10	c (2,0) c Conflicts_6 : 0
165.98/137.10	c (2,0) c Conflicts_7 : 1
165.98/137.10	c (2,0) c Conflicts_total : 4
165.98/137.10	c (2,0) c Conflicts_winner : 0
165.98/137.10	c (2,0) c Decisions_0 : 1717
165.98/137.10	c (2,0) c Decisions_1 : 1065
165.98/137.10	c (2,0) c Decisions_2 : 981
165.98/137.10	c (2,0) c Decisions_3 : 1182
165.98/137.10	c (2,0) c Decisions_4 : 710
165.98/137.10	c (2,0) c Decisions_5 : 1051
165.98/137.10	c (2,0) c Decisions_6 : 1306
165.98/137.10	c (2,0) c Decisions_7 : 838
165.98/137.10	c (2,0) c Decisions_total : 8850
165.98/137.10	c (2,0) c Decisions_winner : 1717
165.98/137.10	c (2,0) c Propagations_0 : 182223
165.98/137.10	c (2,0) c Propagations_1 : 182233
165.98/137.10	c (2,0) c Propagations_2 : 182223
165.98/137.10	c (2,0) c Propagations_3 : 182223
165.98/137.10	c (2,0) c Propagations_4 : 182234
165.98/137.10	c (2,0) c Propagations_5 : 182233
165.98/137.10	c (2,0) c Propagations_6 : 182223
165.98/137.10	c (2,0) c Propagations_7 : 182223
165.98/137.10	c (2,0) c Propagations_total : 1457815
165.98/137.10	c (2,0) c Propagations_winner : 182223
165.98/137.10	c (2,0) c ReduceDBs_0 : 0
165.98/137.10	c (2,0) c ReduceDBs_1 : 0
165.98/137.10	c (2,0) c ReduceDBs_2 : 0
165.98/137.10	c (2,0) c ReduceDBs_3 : 0
165.98/137.10	c (2,0) c ReduceDBs_4 : 0
165.98/137.10	c (2,0) c ReduceDBs_5 : 0
165.98/137.10	c (2,0) c ReduceDBs_6 : 0
165.98/137.10	c (2,0) c ReduceDBs_7 : 0
165.98/137.10	c (2,0) c ReduceDBs_total : 0
165.98/137.10	c (2,0) c ReduceDBs_winner : 0
165.98/137.10	c (2,0) c SimpDBs_0 : 1
165.98/137.10	c (2,0) c SimpDBs_1 : 1
165.98/137.10	c (2,0) c SimpDBs_2 : 1
165.98/137.10	c (2,0) c SimpDBs_3 : 1
165.98/137.10	c (2,0) c SimpDBs_4 : 1
165.98/137.10	c (2,0) c SimpDBs_5 : 1
165.98/137.10	c (2,0) c SimpDBs_6 : 1
165.98/137.10	c (2,0) c SimpDBs_7 : 1
165.98/137.10	c (2,0) c SimpDBs_total : 8
165.98/137.10	c (2,0) c SimpDBs_winner : 1
165.98/137.10	c (2,0) c Restarts_0 : 1
165.98/137.10	c (2,0) c Restarts_1 : 1
165.98/137.10	c (2,0) c Restarts_2 : 1
165.98/137.10	c (2,0) c Restarts_3 : 1
165.98/137.10	c (2,0) c Restarts_4 : 1
165.98/137.10	c (2,0) c Restarts_5 : 1
165.98/137.10	c (2,0) c Restarts_6 : 1
165.98/137.10	c (2,0) c Restarts_7 : 1
165.98/137.10	c (2,0) c Restarts_total : 8
165.98/137.10	c (2,0) c Restarts_winner : 1
165.98/137.10	c (2,0) c ForcedImports_0 : 0
165.98/137.10	c (2,0) c ForcedImports_1 : 0
165.98/137.10	c (2,0) c ForcedImports_2 : 0
165.98/137.10	c (2,0) c ForcedImports_3 : 0
165.98/137.10	c (2,0) c ForcedImports_4 : 0
165.98/137.10	c (2,0) c ForcedImports_5 : 0
165.98/137.10	c (2,0) c ForcedImports_6 : 0
165.98/137.10	c (2,0) c ForcedImports_7 : 0
165.98/137.10	c (2,0) c ForcedImports_total : 0
165.98/137.10	c (2,0) c ForcedImports_winner : 0
165.98/137.10	c (2,0) c PropsBinClauses_0 : 182451
165.98/137.10	c (2,0) c PropsBinClauses_1 : 182464
165.98/137.10	c (2,0) c PropsBinClauses_2 : 182452
165.98/137.10	c (2,0) c PropsBinClauses_3 : 182449
165.98/137.10	c (2,0) c PropsBinClauses_4 : 182462
165.98/137.10	c (2,0) c PropsBinClauses_5 : 182462
165.98/137.10	c (2,0) c PropsBinClauses_6 : 182452
165.98/137.10	c (2,0) c PropsBinClauses_7 : 182472
165.98/137.10	c (2,0) c PropsBinClauses_total : 1459664
165.98/137.10	c (2,0) c PropsBinClauses_winner : 182451
165.98/137.10	c (2,0) c PropsPreBlocker_0 : 571687
165.98/137.10	c (2,0) c PropsPreBlocker_1 : 490415
165.98/137.10	c (2,0) c PropsPreBlocker_2 : 492442
165.98/137.10	c (2,0) c PropsPreBlocker_3 : 481787
165.98/137.10	c (2,0) c PropsPreBlocker_4 : 502262
165.98/137.10	c (2,0) c PropsPreBlocker_5 : 483655
165.98/137.10	c (2,0) c PropsPreBlocker_6 : 491573
165.98/137.10	c (2,0) c PropsPreBlocker_7 : 502393
165.98/137.10	c (2,0) c PropsPreBlocker_total : 4016214
165.98/137.10	c (2,0) c PropsPreBlocker_winner : 571687
165.98/137.10	c (2,0) c PropsNotBlocker_0 : 382592
165.98/137.10	c (2,0) c PropsNotBlocker_1 : 221676
165.98/137.10	c (2,0) c PropsNotBlocker_2 : 225250
165.98/137.10	c (2,0) c PropsNotBlocker_3 : 204432
165.98/137.10	c (2,0) c PropsNotBlocker_4 : 244659
165.98/137.10	c (2,0) c PropsNotBlocker_5 : 208100
165.98/137.10	c (2,0) c PropsNotBlocker_6 : 224272
165.98/137.10	c (2,0) c PropsNotBlocker_7 : 245254
165.98/137.10	c (2,0) c PropsNotBlocker_total : 1956235
165.98/137.10	c (2,0) c PropsNotBlocker_winner : 382592
165.98/137.10	c (2,0) c PropsLitFullScans_0 : 1228598
165.98/137.10	c (2,0) c PropsLitFullScans_1 : 948048
165.98/137.10	c (2,0) c PropsLitFullScans_2 : 954306
165.98/137.10	c (2,0) c PropsLitFullScans_3 : 917894
165.98/137.10	c (2,0) c PropsLitFullScans_4 : 988376
165.98/137.10	c (2,0) c PropsLitFullScans_5 : 924416
165.98/137.10	c (2,0) c PropsLitFullScans_6 : 952335
165.98/137.10	c (2,0) c PropsLitFullScans_7 : 989213
165.98/137.10	c (2,0) c PropsLitFullScans_total : 7903186
165.98/137.10	c (2,0) c PropsLitFullScans_winner : 1228598
165.98/137.10	c (2,0) c LitScanFractions_0 : 0
165.98/137.10	c (2,0) c LitScanFractions_1 : 0
165.98/137.10	c (2,0) c LitScanFractions_2 : 0
165.98/137.10	c (2,0) c LitScanFractions_3 : 0
165.98/137.10	c (2,0) c LitScanFractions_4 : 0
165.98/137.10	c (2,0) c LitScanFractions_5 : 0
165.98/137.10	c (2,0) c LitScanFractions_6 : 0
165.98/137.10	c (2,0) c LitScanFractions_7 : 0
165.98/137.10	c (2,0) c LitScanFractions_total : 0
165.98/137.10	c (2,0) c LitScanFractions_winner : 0
165.98/137.10	c (2,0) c DecisionLevel0_0 : 1
165.98/137.10	c (2,0) c DecisionLevel0_1 : 1
165.98/137.10	c (2,0) c DecisionLevel0_2 : 1
165.98/137.10	c (2,0) c DecisionLevel0_3 : 1
165.98/137.10	c (2,0) c DecisionLevel0_4 : 1
165.98/137.10	c (2,0) c DecisionLevel0_5 : 1
165.98/137.10	c (2,0) c DecisionLevel0_6 : 1
165.98/137.10	c (2,0) c DecisionLevel0_7 : 1
165.98/137.10	c (2,0) c DecisionLevel0_total : 8
165.98/137.10	c (2,0) c DecisionLevel0_winner : 1
165.98/137.10	c (2,0) c Periods_0 : 0
165.98/137.10	c (2,0) c Periods_1 : 0
165.98/137.10	c (2,0) c Periods_2 : 0
165.98/137.10	c (2,0) c Periods_3 : 0
165.98/137.10	c (2,0) c Periods_4 : 0
165.98/137.10	c (2,0) c Periods_5 : 0
165.98/137.10	c (2,0) c Periods_6 : 0
165.98/137.10	c (2,0) c Periods_7 : 0
165.98/137.10	c (2,0) c Periods_total : 0
165.98/137.10	c (2,0) c Periods_winner : 0
165.98/137.10	c (2,0) c Margin_0 : 20
165.98/137.10	c (2,0) c Margin_1 : 20
165.98/137.10	c (2,0) c Margin_2 : 20
165.98/137.10	c (2,0) c Margin_3 : 20
165.98/137.10	c (2,0) c Margin_4 : 20
165.98/137.10	c (2,0) c Margin_5 : 20
165.98/137.10	c (2,0) c Margin_6 : 20
165.98/137.10	c (2,0) c Margin_7 : 20
165.98/137.10	c (2,0) c Margin_total : 160
165.98/137.10	c (2,0) c Margin_winner : 20
165.98/137.10	c (2,0) c Exported_0 : 0
165.98/137.10	c (2,0) c Exported_1 : 0
165.98/137.10	c (2,0) c Exported_2 : 0
165.98/137.10	c (2,0) c Exported_3 : 0
165.98/137.10	c (2,0) c Exported_4 : 0
165.98/137.10	c (2,0) c Exported_5 : 0
165.98/137.10	c (2,0) c Exported_6 : 0
165.98/137.10	c (2,0) c Exported_7 : 0
165.98/137.10	c (2,0) c Exported_total : 0
165.98/137.10	c (2,0) c Exported_winner : 0
165.98/137.10	c (2,0) c Imported_0 : 0
165.98/137.10	c (2,0) c Imported_1 : 0
165.98/137.10	c (2,0) c Imported_2 : 0
165.98/137.10	c (2,0) c Imported_3 : 0
165.98/137.10	c (2,0) c Imported_4 : 0
165.98/137.10	c (2,0) c Imported_5 : 0
165.98/137.10	c (2,0) c Imported_6 : 0
165.98/137.10	c (2,0) c Imported_7 : 0
165.98/137.10	c (2,0) c Imported_total : 0
165.98/137.10	c (2,0) c Imported_winner : 0
165.98/137.10	c (2,0) c Good_0 : 0
165.98/137.10	c (2,0) c Good_1 : 0
165.98/137.10	c (2,0) c Good_2 : 0
165.98/137.10	c (2,0) c Good_3 : 0
165.98/137.10	c (2,0) c Good_4 : 0
165.98/137.10	c (2,0) c Good_5 : 0
165.98/137.10	c (2,0) c Good_6 : 0
165.98/137.10	c (2,0) c Good_7 : 0
165.98/137.10	c (2,0) c Good_total : 0
165.98/137.10	c (2,0) c Good_winner : 0
165.98/137.10	c (2,0) c Purge_0 : 0
165.98/137.10	c (2,0) c Purge_1 : 0
165.98/137.10	c (2,0) c Purge_2 : 0
165.98/137.10	c (2,0) c Purge_3 : 0
165.98/137.10	c (2,0) c Purge_4 : 0
165.98/137.10	c (2,0) c Purge_5 : 0
165.98/137.10	c (2,0) c Purge_6 : 0
165.98/137.10	c (2,0) c Purge_7 : 0
165.98/137.10	c (2,0) c Purge_total : 0
165.98/137.10	c (2,0) c Purge_winner : 0
165.98/137.10	c (2,0) c Promoted_0 : 0
165.98/137.11	c (2,0) c Promoted_1 : 0
165.98/137.11	c (2,0) c Promoted_2 : 0
165.98/137.11	c (2,0) c Promoted_3 : 0
165.98/137.11	c (2,0) c Promoted_4 : 0
165.98/137.11	c (2,0) c Promoted_5 : 0
165.98/137.11	c (2,0) c Promoted_6 : 0
165.98/137.11	c (2,0) c Promoted_7 : 0
165.98/137.11	c (2,0) c Promoted_total : 0
165.98/137.11	c (2,0) c Promoted_winner : 0
165.98/137.11	c (2,0) c Remove_Imp_0 : 0
165.98/137.11	c (2,0) c Remove_Imp_1 : 0
165.98/137.11	c (2,0) c Remove_Imp_2 : 0
165.98/137.11	c (2,0) c Remove_Imp_3 : 0
165.98/137.11	c (2,0) c Remove_Imp_4 : 0
165.98/137.11	c (2,0) c Remove_Imp_5 : 0
165.98/137.11	c (2,0) c Remove_Imp_6 : 0
165.98/137.11	c (2,0) c Remove_Imp_7 : 0
165.98/137.11	c (2,0) c Remove_Imp_total : 0
165.98/137.11	c (2,0) c Remove_Imp_winner : 0
165.98/137.11	c (2,0) c Blocked_Reuse_0 : 0
165.98/137.11	c (2,0) c Blocked_Reuse_1 : 0
165.98/137.11	c (2,0) c Blocked_Reuse_2 : 0
165.98/137.11	c (2,0) c Blocked_Reuse_3 : 0
165.98/137.11	c (2,0) c Blocked_Reuse_4 : 0
165.98/137.11	c (2,0) c Blocked_Reuse_5 : 0
165.98/137.11	c (2,0) c Blocked_Reuse_6 : 0
165.98/137.11	c (2,0) c Blocked_Reuse_7 : 0
165.98/137.11	c (2,0) c Blocked_Reuse_total : 0
165.98/137.11	c (2,0) c Blocked_Reuse_winner : 0
165.98/137.11	c (2,0) c Unaries_0 : 0
165.98/137.11	c (2,0) c Unaries_1 : 0
165.98/137.11	c (2,0) c Unaries_2 : 0
165.98/137.11	c (2,0) c Unaries_3 : 0
165.98/137.11	c (2,0) c Unaries_4 : 0
165.98/137.11	c (2,0) c Unaries_5 : 0
165.98/137.11	c (2,0) c Unaries_6 : 0
165.98/137.11	c (2,0) c Unaries_7 : 0
165.98/137.11	c (2,0) c Unaries_total : 0
165.98/137.11	c (2,0) c Unaries_winner : 0
165.98/137.11	c (2,0) c Binaries_0 : 0
165.98/137.11	c (2,0) c Binaries_1 : 0
165.98/137.11	c (2,0) c Binaries_2 : 0
165.98/137.11	c (2,0) c Binaries_3 : 0
165.98/137.11	c (2,0) c Binaries_4 : 0
165.98/137.11	c (2,0) c Binaries_5 : 0
165.98/137.11	c (2,0) c Binaries_6 : 0
165.98/137.11	c (2,0) c Binaries_7 : 0
165.98/137.11	c (2,0) c Binaries_total : 0
165.98/137.11	c (2,0) c Binaries_winner : 0
165.98/137.11	c (2,0) c Glues_0 : 0
165.98/137.11	c (2,0) c Glues_1 : 0
165.98/137.11	c (2,0) c Glues_2 : 0
165.98/137.11	c (2,0) c Glues_3 : 0
165.98/137.11	c (2,0) c Glues_4 : 0
165.98/137.11	c (2,0) c Glues_5 : 0
165.98/137.11	c (2,0) c Glues_6 : 0
166.36/137.11	c (2,0) c Glues_7 : 0
166.36/137.11	c (2,0) c Glues_total : 0
166.36/137.11	c (2,0) c Glues_winner : 0
166.36/137.11	c (2,0) c RunningTime_0 : 0.105783
166.36/137.11	c (2,0) c RunningTime_1 : 0.089515
166.36/137.11	c (2,0) c RunningTime_2 : 0.075611
166.36/137.11	c (2,0) c RunningTime_3 : 0.082984
166.36/137.11	c (2,0) c RunningTime_4 : 0.075078
166.36/137.11	c (2,0) c RunningTime_5 : 0.081816
166.36/137.11	c (2,0) c RunningTime_6 : 0.077549
166.36/137.11	c (2,0) c RunningTime_7 : 0.076766
166.36/137.11	c (2,0) c RunningTime_total : 0.665102
166.36/137.11	c (2,0) c RunningTime_winner : 0.105783
166.36/137.11	c (2,0) c WaitingTime_0 : 0.000000
166.36/137.11	c (2,0) c WaitingTime_1 : 0.000000
166.36/137.11	c (2,0) c WaitingTime_2 : 0.000000
166.36/137.11	c (2,0) c WaitingTime_3 : 0.000000
166.36/137.11	c (2,0) c WaitingTime_4 : 0.000000
166.36/137.11	c (2,0) c WaitingTime_5 : 0.000000
166.36/137.11	c (2,0) c WaitingTime_6 : 0.000000
166.36/137.11	c (2,0) c WaitingTime_7 : 0.000000
166.36/137.11	c (2,0) c WaitingTime_total : 0.000000
166.36/137.11	c (2,0) c WaitingTime_winner : 0.000000
166.36/137.11	c (2,0) c ExchangingTime_0 : 0.000001
166.36/137.11	c (2,0) c ExchangingTime_1 : 0.000001
166.36/137.11	c (2,0) c ExchangingTime_2 : 0.000002
166.36/137.11	c (2,0) c ExchangingTime_3 : 0.000000
166.36/137.11	c (2,0) c ExchangingTime_4 : 0.000019
166.36/137.11	c (2,0) c ExchangingTime_5 : 0.000001
166.36/137.11	c (2,0) c ExchangingTime_6 : 0.000000
166.36/137.11	c (2,0) c ExchangingTime_7 : 0.000000
166.36/137.11	c (2,0) c ExchangingTime_total : 0.000024
166.36/137.11	c (2,0) c ExchangingTime_winner : 0.000001
166.36/137.11	c (2,0) c PeriodProcTime_0 : 0.000000
166.36/137.11	c (2,0) c PeriodProcTime_1 : 0.000000
166.36/137.11	c (2,0) c PeriodProcTime_2 : 0.000000
166.36/137.11	c (2,0) c PeriodProcTime_3 : 0.000000
166.36/137.11	c (2,0) c PeriodProcTime_4 : 0.000000
166.36/137.11	c (2,0) c PeriodProcTime_5 : 0.000000
166.36/137.11	c (2,0) c PeriodProcTime_6 : 0.000000
166.36/137.11	c (2,0) c PeriodProcTime_7 : 0.000000
166.36/137.11	c (2,0) c PeriodProcTime_total : 0.000000
166.36/137.11	c (2,0) c PeriodProcTime_winner : 0.000000
166.36/137.11	c (2,0) c SolvingTime_0 : 0.105784
166.36/137.11	c (2,0) c SolvingTime_1 : 0.089516
166.36/137.11	c (2,0) c SolvingTime_2 : 0.075613
166.36/137.11	c (2,0) c SolvingTime_3 : 0.082984
166.36/137.11	c (2,0) c SolvingTime_4 : 0.075097
166.36/137.11	c (2,0) c SolvingTime_5 : 0.081817
166.36/137.11	c (2,0) c SolvingTime_6 : 0.077549
166.36/137.11	c (2,0) c SolvingTime_7 : 0.076766
166.36/137.11	c (2,0) c SolvingTime_total : 0.665126
166.36/137.11	c (2,0) c SolvingTime_winner : 0.105784
166.36/137.11	c (2,0) c PropagationTime_0 : 0.102992
166.36/137.11	c (2,0) c PropagationTime_1 : 0.087096
166.36/137.11	c (2,0) c PropagationTime_2 : 0.072994
166.36/137.11	c (2,0) c PropagationTime_3 : 0.080655
166.36/137.11	c (2,0) c PropagationTime_4 : 0.073067
166.36/137.11	c (2,0) c PropagationTime_5 : 0.079484
166.36/137.11	c (2,0) c PropagationTime_6 : 0.075491
166.36/137.11	c (2,0) c PropagationTime_7 : 0.074760
166.36/137.11	c (2,0) c PropagationTime_total : 0.646538
166.36/137.11	c (2,0) c PropagationTime_winner : 0.102992
166.36/137.11	c (2,0) c AnalysisTime_0 : 0.000000
166.36/137.11	c (2,0) c AnalysisTime_1 : 0.000009
166.36/137.11	c (2,0) c AnalysisTime_2 : 0.000000
166.36/137.11	c (2,0) c AnalysisTime_3 : 0.000000
166.36/137.11	c (2,0) c AnalysisTime_4 : 0.000012
166.36/137.11	c (2,0) c AnalysisTime_5 : 0.000012
166.36/137.11	c (2,0) c AnalysisTime_6 : 0.000000
166.36/137.11	c (2,0) c AnalysisTime_7 : 0.000008
166.36/137.11	c (2,0) c AnalysisTime_total : 0.000041
166.36/137.11	c (2,0) c AnalysisTime_winner : 0.000000
166.36/137.11	c (2,0) c ReductionTime_0 : 0.000000
166.36/137.11	c (2,0) c ReductionTime_1 : 0.000000
166.36/137.11	c (2,0) c ReductionTime_2 : 0.000000
166.36/137.11	c (2,0) c ReductionTime_3 : 0.000000
166.36/137.11	c (2,0) c ReductionTime_4 : 0.000000
166.36/137.11	c (2,0) c ReductionTime_5 : 0.000000
166.36/137.11	c (2,0) c ReductionTime_6 : 0.000000
166.36/137.11	c (2,0) c ReductionTime_7 : 0.000000
166.36/137.11	c (2,0) c ReductionTime_total : 0.000000
166.36/137.11	c (2,0) c ReductionTime_winner : 0.000000
166.36/137.11	c (2,0) c SimplifyTime_0 : 0.000001
166.36/137.11	c (2,0) c SimplifyTime_1 : 0.000001
166.36/137.11	c (2,0) c SimplifyTime_2 : 0.000001
166.36/137.11	c (2,0) c SimplifyTime_3 : 0.000000
166.36/137.11	c (2,0) c SimplifyTime_4 : 0.000000
166.36/137.11	c (2,0) c SimplifyTime_5 : 0.000001
166.36/137.11	c (2,0) c SimplifyTime_6 : 0.000000
166.36/137.11	c (2,0) c SimplifyTime_7 : 0.000000
166.36/137.11	c (2,0) c SimplifyTime_total : 0.000004
166.36/137.11	c (2,0) c SimplifyTime_winner : 0.000001
166.36/137.11	c (2,0) c UsedRateTime_0 : 0.000000
166.36/137.11	c (2,0) c UsedRateTime_1 : 0.000000
166.36/137.11	c (2,0) c UsedRateTime_2 : 0.000000
166.36/137.11	c (2,0) c UsedRateTime_3 : 0.000000
166.36/137.11	c (2,0) c UsedRateTime_4 : 0.000000
166.36/137.11	c (2,0) c UsedRateTime_5 : 0.000000
166.36/137.11	c (2,0) c UsedRateTime_6 : 0.000000
166.36/137.11	c (2,0) c UsedRateTime_7 : 0.000000
166.36/137.11	c (2,0) c UsedRateTime_total : 0.000000
166.36/137.11	c (2,0) c UsedRateTime_winner : 0.000000
166.36/137.11	c (2,0) c OverlapRateTime_0 : 0.000000
166.36/137.11	c (2,0) c OverlapRateTime_1 : 0.000000
166.36/137.11	c (2,0) c OverlapRateTime_2 : 0.000000
166.36/137.11	c (2,0) c OverlapRateTime_3 : 0.000000
166.36/137.11	c (2,0) c OverlapRateTime_4 : 0.000000
166.36/137.11	c (2,0) c OverlapRateTime_5 : 0.000000
166.36/137.11	c (2,0) c OverlapRateTime_6 : 0.000000
166.36/137.11	c (2,0) c OverlapRateTime_7 : 0.000000
166.36/137.11	c (2,0) c OverlapRateTime_total : 0.000000
166.36/137.11	c (2,0) c OverlapRateTime_winner : 0.000000
166.36/137.11	c (2,0) c
166.36/137.11	c (2,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
166.36/137.11	c (2,0) c
166.36/137.11	c (2,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
166.36/137.11	c (2,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
166.36/137.11	c (2,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
166.36/137.11	c (2,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
166.36/137.11	c (2,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
166.36/137.11	c (2,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
166.36/137.11	c (2,0) c | Initial random_seed   | 1141427057 | 1617645874 |  676774694 |   71410636 | 1054995583 |  729380857 | 2035777755 | 1421890594 |
166.36/137.11	c (2,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
166.36/137.11	c (2,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
166.36/137.11	c (2,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
166.36/137.11	c (2,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
166.36/137.11	c (2,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
166.36/137.11	c (2,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
166.36/137.11	c (2,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
166.36/137.11	c (2,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
166.36/137.11	c (2,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
166.36/137.11	c (2,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
166.36/137.11	c (2,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
166.36/137.11	c (2,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
166.36/137.11	c (2,0) 
166.36/137.11	c (2,0) s SATISFIABLE
166.62/137.25	c (2,0) SatSolver.solve End
166.62/137.25	c (2,0) Heap : 186 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB)
166.62/137.25	c (2,0) Show results Begin
167.08/137.40	c (2,0) x[0] = 1
167.08/137.40	c (2,0) x[1] = 7
167.08/137.40	c (2,0) x[2] = 1
167.08/137.40	c (2,0) x[3] = 0
167.08/137.40	c (2,0) x[4] = 2
167.08/137.40	c (2,0) x[5] = 0
167.08/137.40	c (2,0) x[6] = 2
167.08/137.40	c (2,0) x[7] = 0
167.08/137.40	c (2,0) x[8] = 2
167.08/137.40	c (2,0) x[9] = 0
167.08/137.40	c (2,0) x[10] = 2
167.08/137.40	c (2,0) x[11] = 0
167.08/137.40	c (2,0) x[12] = 2
167.08/137.40	c (2,0) x[13] = 0
167.08/137.40	c (2,0) x[14] = 2
167.08/137.40	c (2,0) x[15] = 0
167.08/137.40	c (2,0) x[16] = 2
167.08/137.40	c (2,0) x[17] = 0
167.08/137.40	c (2,0) x[18] = 2
167.08/137.40	c (2,0) x[19] = 0
167.08/137.40	c (2,0) x[20] = 2
167.08/137.40	c (2,0) x[21] = 0
167.08/137.40	c (2,0) x[22] = 2
167.08/137.40	c (2,0) x[23] = 0
167.08/137.40	c (2,0) x[24] = 2
167.08/137.40	c (2,0) x[25] = 0
167.08/137.40	c (2,0) x[26] = 2
167.08/137.40	c (2,0) x[27] = 0
167.08/137.40	c (2,0) x[28] = 2
167.08/137.40	c (2,0) x[29] = 0
167.08/137.40	c (2,0) x[30] = 2
167.08/137.40	c (2,0) x[31] = 0
167.08/137.40	c (2,0) x[32] = 2
167.08/137.40	c (2,0) x[33] = 0
167.08/137.40	c (2,0) x[34] = 2
167.08/137.40	c (2,0) x[35] = 0
167.08/137.40	c (2,0) x[36] = 2
167.08/137.40	c (2,0) x[37] = 0
167.08/137.40	c (2,0) x[38] = 2
167.08/137.40	c (2,0) x[39] = 0
167.08/137.40	c (2,0) x[40] = 2
167.08/137.40	c (2,0) x[41] = 0
167.08/137.40	c (2,0) x[42] = 2
167.08/137.40	c (2,0) x[43] = 0
167.08/137.40	c (2,0) x[44] = 2
167.08/137.40	c (2,0) x[45] = 0
167.08/137.40	c (2,0) x[46] = 2
167.08/137.40	c (2,0) x[47] = 0
167.08/137.40	c (2,0) x[48] = 2
167.08/137.40	c (2,0) x[49] = 0
167.08/137.40	c (2,0) x[50] = 2
167.08/137.40	c (2,0) x[51] = 0
167.08/137.40	c (2,0) x[52] = 2
167.08/137.40	c (2,0) x[53] = 0
167.08/137.40	c (2,0) x[54] = 2
167.08/137.40	c (2,0) x[55] = 0
167.08/137.40	c (2,0) x[56] = 2
167.08/137.40	c (2,0) x[57] = 0
167.08/137.40	c (2,0) x[58] = 2
167.08/137.40	c (2,0) x[59] = 0
167.08/137.40	c (2,0) x[60] = 2
167.08/137.40	c (2,0) x[61] = 0
167.08/137.40	c (2,0) x[62] = 2
167.08/137.40	c (2,0) x[63] = 0
167.08/137.40	c (2,0) x[64] = 2
167.08/137.40	c (2,0) x[65] = 0
167.08/137.40	c (2,0) x[66] = 2
167.08/137.40	c (2,0) x[67] = 0
167.08/137.40	c (2,0) x[68] = 2
167.08/137.40	c (2,0) x[69] = 0
167.08/137.40	c (2,0) x[70] = 2
167.08/137.40	c (2,0) x[71] = 0
167.08/137.40	c (2,0) x[72] = 2
167.08/137.40	c (2,0) x[73] = 0
167.08/137.40	c (2,0) x[74] = 2
167.08/137.40	c (2,0) x[75] = 0
167.08/137.40	c (2,0) x[76] = 2
167.08/137.40	c (2,0) x[77] = 0
167.08/137.40	c (2,0) x[78] = 2
167.08/137.40	c (2,0) x[79] = 0
167.08/137.40	c (2,0) x[80] = 2
167.08/137.40	c (2,0) x[81] = 0
167.08/137.40	c (2,0) x[82] = 2
167.08/137.40	c (2,0) x[83] = 0
167.08/137.40	c (2,0) x[84] = 2
167.08/137.40	c (2,0) x[85] = 0
167.08/137.41	c (2,0) x[86] = 2
167.08/137.41	c (2,0) x[87] = 0
167.08/137.41	c (2,0) x[88] = 2
167.08/137.41	c (2,0) x[89] = 0
167.08/137.41	c (2,0) x[90] = 2
167.08/137.41	c (2,0) x[91] = 0
167.08/137.41	c (2,0) x[92] = 2
167.08/137.41	c (2,0) x[93] = 0
167.08/137.41	c (2,0) x[94] = 2
167.08/137.41	c (2,0) x[95] = 0
167.08/137.41	c (2,0) x[96] = 2
167.08/137.41	c (2,0) x[97] = 0
167.08/137.41	c (2,0) x[98] = 2
167.08/137.41	c (2,0) x[99] = 0
167.08/137.41	c (2,0) x[100] = 2
167.08/137.41	c (2,0) x[101] = 0
167.08/137.41	c (2,0) x[102] = 2
167.08/137.41	c (2,0) x[103] = 0
167.08/137.41	c (2,0) x[104] = 2
167.08/137.41	c (2,0) x[105] = 0
167.08/137.41	c (2,0) x[106] = 2
167.08/137.41	c (2,0) x[107] = 0
167.08/137.41	c (2,0) x[108] = 2
167.08/137.41	c (2,0) x[109] = 0
167.08/137.41	c (2,0) x[110] = 2
167.08/137.41	c (2,0) x[111] = 0
167.08/137.41	c (2,0) x[112] = 2
167.08/137.41	c (2,0) x[113] = 0
167.08/137.41	c (2,0) x[114] = 2
167.08/137.41	c (2,0) x[115] = 0
167.08/137.41	c (2,0) x[116] = 2
167.08/137.41	c (2,0) x[117] = 0
167.08/137.41	c (2,0) x[118] = 2
167.08/137.41	c (2,0) x[119] = 0
167.08/137.41	c (2,0) x[120] = 2
167.08/137.41	c (2,0) x[121] = 0
167.08/137.41	c (2,0) x[122] = 2
167.08/137.41	c (2,0) x[123] = 0
167.08/137.41	c (2,0) x[124] = 2
167.08/137.41	c (2,0) x[125] = 0
167.08/137.41	s SATISFIABLE
167.08/137.42	v <instantiation>
167.08/137.42	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>
167.08/137.42	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>
167.08/137.42	v </instantiation>
167.08/137.42	c (2,0) Show results End
167.08/137.42	c (2,0) Heap : 186 MiB used (max 3925 MiB), NonHeap : 19 MiB used (max 0 MiB)
167.08/137.42	c (2,0) 2,2,STOP-AFTER(ALL)
167.08/137.42	c END-Prog: Tue Sep 24 23:03:16 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 (12391 MiB free)
  memory of node 1: 16384 MiB (12748 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4405220-1569358901/watcher-4405220-1569358901 -o /var/tmp/evaluation-result-4405220-1569358901/solver-4405220-1569358901 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node145-1569356229-8831 --watchdog 2580 HOME/scop.sh 22g HOME/scop.jar -order HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4405220-1569358901.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=9536, runsolver pid=9533
Current StackSize limit: 8192 KiB


[startup+0.100116 s]*
/proc/loadavg: 5.23 7.34 7.95 2/212 9558
/proc/meminfo: memFree=25646656/32770624 swapFree=66966884/67108860
[pid=9536] ppid=9533 vsize=113128 memory=1400 CPUtime=0 cores=0-7
/proc/9536/stat : 9536 (scop.sh) S 9533 9536 8804 0 -1 4202496 555 320 0 0 0 0 0 0 20 0 1 0 511826553 115843072 350 33554432000 4194304 5098028 140724729187632 140724729184888 140663843050108 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 26492928 140724729193213 140724729193560 140724729193560 140724729196489 0
/proc/9536/statm: 28282 350 297 221 0 87 0
[pid=9539] ppid=9536 vsize=27314120 memory=107700 CPUtime=0.1 cores=0-7
/proc/9539/stat : 9539 (java) S 9536 9536 8804 0 -1 1077944320 6495 0 0 0 8 2 0 0 20 0 20 0 511826553 27969658880 26925 33554432000 4194304 4196468 140721372314656 140721372297200 139923293052663 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20774912 140721372316360 140721372316806 140721372316806 140721372319695 0
/proc/9539/statm: 6828530 26925 2792 1 0 6790935 0
[pid=9539/tid=9540] ppid=9536 vsize=27314120 memory=1398722017469774279 CPUtime=0.09 cores=0-7
/proc/9539/task/9540/stat : 9540 (java) R 9536 9536 8804 0 -1 4202560 4574 0 0 0 7 2 0 0 20 0 20 0 511826554 27969658880 26990 33554432000 4194304 4196468 140721372314656 139923264887344 139922795161012 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20774912 140721372316360 140721372316806 140721372316806 140721372319695 0
[pid=9539/tid=9541] ppid=9536 vsize=27314120 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/9539/task/9541/stat : 9541 (java) S 9536 9536 8804 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511826556 27969658880 26990 33554432000 4194304 4196468 140721372314656 139923297295120 139923293062869 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20774912 140721372316360 140721372316806 140721372316806 140721372319695 0
[pid=9539/tid=9542] ppid=9536 vsize=27314120 memory=139754301970048 CPUtime=0 cores=0-7
/proc/9539/task/9542/stat : 9542 (java) S 9536 9536 8804 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511826556 27969658880 26990 33554432000 4194304 4196468 140721372314656 139923124112272 139923293062869 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20774912 140721372316360 140721372316806 140721372316806 140721372319695 0
[pid=9539/tid=9543] ppid=9536 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9539/task/9543/stat : 9543 (java) S 9536 9536 8804 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511826556 27969658880 26990 33554432000 4194304 4196468 140721372314656 139922713955344 139923293062869 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20774912 140721372316360 140721372316806 140721372316806 140721372319695 0
[pid=9539/tid=9544] ppid=9536 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9539/task/9544/stat : 9544 (java) S 9536 9536 8804 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511826556 27969658880 26990 33554432000 4194304 4196468 140721372314656 139922712902800 139923293062869 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20774912 140721372316360 140721372316806 140721372316806 140721372319695 0
[pid=9539/tid=9545] ppid=9536 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9539/task/9545/stat : 9545 (java) S 9536 9536 8804 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511826556 27969658880 26990 33554432000 4194304 4196468 140721372314656 139922711849232 139923293062869 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20774912 140721372316360 140721372316806 140721372316806 140721372319695 0
[pid=9539/tid=9546] ppid=9536 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/9539/task/9546/stat : 9546 (java) S 9536 9536 8804 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511826556 27969658880 26990 33554432000 4194304 4196468 140721372314656 139922710796688 139923293062869 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20774912 140721372316360 140721372316806 140721372316806 140721372319695 0
[pid=9539/tid=9547] ppid=9536 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9539/task/9547/stat : 9547 (java) S 9536 9536 8804 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511826556 27969658880 26990 33554432000 4194304 4196468 140721372314656 139922709744144 139923293062869 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20774912 140721372316360 140721372316806 140721372316806 140721372319695 0
[pid=9539/tid=9548] ppid=9536 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9539/task/9548/stat : 9548 (java) S 9536 9536 8804 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511826556 27969658880 26990 33554432000 4194304 4196468 140721372314656 139922708691600 139923293062869 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20774912 140721372316360 140721372316806 140721372316806 140721372319695 0
[pid=9539/tid=9549] ppid=9536 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9539/task/9549/stat : 9549 (java) S 9536 9536 8804 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511826558 27969658880 26990 33554432000 4194304 4196468 140721372314656 139922418596336 139923293063810 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20774912 140721372316360 140721372316806 140721372316806 140721372319695 0
[pid=9539/tid=9550] ppid=9536 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9539/task/9550/stat : 9550 (java) S 9536 9536 8804 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 511826558 27969658880 26990 33554432000 4194304 4196468 140721372314656 139921176126880 139923293062869 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20774912 140721372316360 140721372316806 140721372316806 140721372319695 0
[pid=9539/tid=9551] ppid=9536 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9539/task/9551/stat : 9551 (java) S 9536 9536 8804 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511826558 27969658880 26990 33554432000 4194304 4196468 140721372314656 139921041905136 139923293062869 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20774912 140721372316360 140721372316806 140721372316806 140721372319695 0
[pid=9539/tid=9552] ppid=9536 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9539/task/9552/stat : 9552 (java) S 9536 9536 8804 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511826561 27969658880 26990 33554432000 4194304 4196468 140721372314656 139920667400912 139923293071259 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20774912 140721372316360 140721372316806 140721372316806 140721372319695 0
[pid=9539/tid=9553] ppid=9536 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9539/task/9553/stat : 9553 (java) S 9536 9536 8804 0 -1 1077944384 295 0 0 0 0 0 0 0 20 0 20 0 511826561 27969658880 26990 33554432000 4194304 4196468 140721372314656 139922417543152 139923293063810 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20774912 140721372316360 140721372316806 140721372316806 140721372319695 0
[pid=9539/tid=9554] ppid=9536 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9539/task/9554/stat : 9554 (java) S 9536 9536 8804 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511826561 27969658880 26990 33554432000 4194304 4196468 140721372314656 139922416490608 139923293063810 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20774912 140721372316360 140721372316806 140721372316806 140721372319695 0
[pid=9539/tid=9555] ppid=9536 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9539/task/9555/stat : 9555 (java) S 9536 9536 8804 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511826561 27969658880 26990 33554432000 4194304 4196468 140721372314656 139922415438064 139923293063810 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20774912 140721372316360 140721372316806 140721372316806 140721372319695 0
[pid=9539/tid=9556] ppid=9536 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9539/task/9556/stat : 9556 (java) S 9536 9536 8804 0 -1 1077944384 272 0 0 0 0 0 0 0 20 0 20 0 511826561 27969658880 26990 33554432000 4194304 4196468 140721372314656 139922414385520 139923293063810 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20774912 140721372316360 140721372316806 140721372316806 140721372319695 0
[pid=9539/tid=9557] ppid=9536 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9539/task/9557/stat : 9557 (java) S 9536 9536 8804 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511826561 27969658880 26990 33554432000 4194304 4196468 140721372314656 139920169495264 139923293062869 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20774912 140721372316360 140721372316806 140721372316806 140721372319695 0
[pid=9539/tid=9558] ppid=9536 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/9539/task/9558/stat : 9558 (java) S 9536 9536 8804 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511826561 27969658880 26990 33554432000 4194304 4196468 140721372314656 139922413333424 139923293063810 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20774912 140721372316360 140721372316806 140721372316806 140721372319695 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 109100 KiB

[startup+0.210661 s]*
/proc/loadavg: 5.23 7.34 7.95 3/212 9558
/proc/meminfo: memFree=25629024/32770624 swapFree=66966884/67108860
[pid=9536] ppid=9533 vsize=113128 memory=1400 CPUtime=0 cores=0-7
/proc/9536/stat : 9536 (scop.sh) S 9533 9536 8804 0 -1 4202496 555 320 0 0 0 0 0 0 20 0 1 0 511826553 115843072 350 33554432000 4194304 5098028 140724729187632 140724729184888 140663843050108 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 26492928 140724729193213 140724729193560 140724729193560 140724729196489 0
/proc/9536/statm: 28282 350 297 221 0 87 0
[pid=9539] ppid=9536 vsize=27314120 memory=124204 CPUtime=0.24 cores=0-7
/proc/9539/stat : 9539 (java) S 9536 9536 8804 0 -1 1077944320 11507 0 0 0 20 4 0 0 20 0 20 0 511826553 27969658880 31051 33554432000 4194304 4196468 140721372314656 140721372297200 139923293052663 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20774912 140721372316360 140721372316806 140721372316806 140721372319695 0
/proc/9539/statm: 6828530 31051 2890 1 0 6790935 0
[pid=9539/tid=9540] ppid=9536 vsize=27314120 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/9539/task/9540/stat : 9540 (java) R 9536 9536 8804 0 -1 4202560 9181 0 0 0 16 3 0 0 20 0 20 0 511826554 27969658880 31051 33554432000 4194304 4196468 140721372314656 139923264836224 139923274616223 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20774912 140721372316360 140721372316806 140721372316806 140721372319695 0
[pid=9539/tid=9541] ppid=9536 vsize=27314120 memory=329 CPUtime=0 cores=0-7
/proc/9539/task/9541/stat : 9541 (java) S 9536 9536 8804 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511826556 27969658880 31051 33554432000 4194304 4196468 140721372314656 139923297295120 139923293062869 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20774912 140721372316360 140721372316806 140721372316806 140721372319695 0
[pid=9539/tid=9542] ppid=9536 vsize=27314120 memory=139754301979649 CPUtime=0 cores=0-7
/proc/9539/task/9542/stat : 9542 (java) S 9536 9536 8804 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511826556 27969658880 31051 33554432000 4194304 4196468 140721372314656 139923124112272 139923293062869 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20774912 140721372316360 140721372316806 140721372316806 140721372319695 0
[pid=9539/tid=9543] ppid=9536 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/9539/task/9543/stat : 9543 (java) S 9536 9536 8804 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511826556 27969658880 31051 33554432000 4194304 4196468 140721372314656 139922713955344 139923293062869 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20774912 140721372316360 140721372316806 140721372316806 140721372319695 0
[pid=9539/tid=9544] ppid=9536 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9539/task/9544/stat : 9544 (java) S 9536 9536 8804 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511826556 27969658880 31051 33554432000 4194304 4196468 140721372314656 139922712902800 139923293062869 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20774912 140721372316360 140721372316806 140721372316806 140721372319695 0
[pid=9539/tid=9545] ppid=9536 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9539/task/9545/stat : 9545 (java) S 9536 9536 8804 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511826556 27969658880 31051 33554432000 4194304 4196468 140721372314656 139922711849232 139923293062869 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20774912 140721372316360 140721372316806 140721372316806 140721372319695 0
[pid=9539/tid=9546] ppid=9536 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/9539/task/9546/stat : 9546 (java) S 9536 9536 8804 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511826556 27969658880 31051 33554432000 4194304 4196468 140721372314656 139922710796688 139923293062869 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20774912 140721372316360 140721372316806 140721372316806 140721372319695 0
[pid=9539/tid=9547] ppid=9536 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9539/task/9547/stat : 9547 (java) S 9536 9536 8804 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511826556 27969658880 31051 33554432000 4194304 4196468 140721372314656 139922709744144 139923293062869 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20774912 140721372316360 140721372316806 140721372316806 140721372319695 0
[pid=9539/tid=9548] ppid=9536 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9539/task/9548/stat : 9548 (java) S 9536 9536 8804 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511826556 27969658880 31051 33554432000 4194304 4196468 140721372314656 139922708691600 139923293062869 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20774912 140721372316360 140721372316806 140721372316806 140721372319695 0
[pid=9539/tid=9549] ppid=9536 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9539/task/9549/stat : 9549 (java) S 9536 9536 8804 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511826558 27969658880 31051 33554432000 4194304 4196468 140721372314656 139922418596336 139923293063810 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20774912 140721372316360 140721372316806 140721372316806 140721372319695 0
[pid=9539/tid=9550] ppid=9536 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9539/task/9550/stat : 9550 (java) S 9536 9536 8804 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 511826558 27969658880 31051 33554432000 4194304 4196468 140721372314656 139921176126880 139923293062869 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20774912 140721372316360 140721372316806 140721372316806 140721372319695 0
[pid=9539/tid=9551] ppid=9536 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9539/task/9551/stat : 9551 (java) S 9536 9536 8804 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511826558 27969658880 31051 33554432000 4194304 4196468 140721372314656 139921041905136 139923293062869 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20774912 140721372316360 140721372316806 140721372316806 140721372319695 0
[pid=9539/tid=9552] ppid=9536 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9539/task/9552/stat : 9552 (java) S 9536 9536 8804 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511826561 27969658880 31051 33554432000 4194304 4196468 140721372314656 139920667400912 139923293071259 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20774912 140721372316360 140721372316806 140721372316806 140721372319695 0
[pid=9539/tid=9553] ppid=9536 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9539/task/9553/stat : 9553 (java) S 9536 9536 8804 0 -1 1077944384 307 0 0 0 0 0 0 0 20 0 20 0 511826561 27969658880 31051 33554432000 4194304 4196468 140721372314656 139922417543152 139923293063810 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20774912 140721372316360 140721372316806 140721372316806 140721372319695 0
[pid=9539/tid=9554] ppid=9536 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9539/task/9554/stat : 9554 (java) S 9536 9536 8804 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 20 0 511826561 27969658880 31051 33554432000 4194304 4196468 140721372314656 139922416490608 139923293063810 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20774912 140721372316360 140721372316806 140721372316806 140721372319695 0
[pid=9539/tid=9555] ppid=9536 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/9539/task/9555/stat : 9555 (java) S 9536 9536 8804 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 20 0 511826561 27969658880 31051 33554432000 4194304 4196468 140721372314656 139922415438064 139923293063810 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20774912 140721372316360 140721372316806 140721372316806 140721372319695 0
[pid=9539/tid=9556] ppid=9536 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7
/proc/9539/task/9556/stat : 9556 (java) S 9536 9536 8804 0 -1 1077944384 495 0 0 0 2 0 0 0 20 0 20 0 511826561 27969658880 31051 33554432000 4194304 4196468 140721372314656 139922414385520 139923293063810 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20774912 140721372316360 140721372316806 140721372316806 140721372319695 0
[pid=9539/tid=9557] ppid=9536 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9539/task/9557/stat : 9557 (java) S 9536 9536 8804 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511826561 27969658880 31051 33554432000 4194304 4196468 140721372314656 139920169495264 139923293062869 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20774912 140721372316360 140721372316806 140721372316806 140721372319695 0
[pid=9539/tid=9558] ppid=9536 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/9539/task/9558/stat : 9558 (java) S 9536 9536 8804 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511826561 27969658880 31051 33554432000 4194304 4196468 140721372314656 139922413333424 139923293063810 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20774912 140721372316360 140721372316806 140721372316806 140721372319695 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 125604 KiB

[startup+0.310806 s]*
/proc/loadavg: 5.23 7.34 7.95 2/212 9558
/proc/meminfo: memFree=25626172/32770624 swapFree=66966884/67108860
[pid=9536] ppid=9533 vsize=113128 memory=1400 CPUtime=0 cores=0-7
/proc/9536/stat : 9536 (scop.sh) S 9533 9536 8804 0 -1 4202496 555 320 0 0 0 0 0 0 20 0 1 0 511826553 115843072 350 33554432000 4194304 5098028 140724729187632 140724729184888 140663843050108 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 26492928 140724729193213 140724729193560 140724729193560 140724729196489 0
/proc/9536/statm: 28282 350 297 221 0 87 0
[pid=9539] ppid=9536 vsize=27314120 memory=128144 CPUtime=0.42 cores=0-7
/proc/9539/stat : 9539 (java) S 9536 9536 8804 0 -1 1077944320 12431 0 0 0 37 5 0 0 20 0 20 0 511826553 27969658880 32036 33554432000 4194304 4196468 140721372314656 140721372297200 139923293052663 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20774912 140721372316360 140721372316806 140721372316806 140721372319695 0
/proc/9539/statm: 6828530 32036 3052 1 0 6790935 0
[pid=9539/tid=9540] ppid=9536 vsize=27314120 memory=1398722017469774279 CPUtime=0.29 cores=0-7
/proc/9539/task/9540/stat : 9540 (java) R 9536 9536 8804 0 -1 4202560 9946 0 0 0 26 3 0 0 20 0 20 0 511826554 27969658880 32036 33554432000 4194304 4196468 140721372314656 139923264848152 139923273328466 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20774912 140721372316360 140721372316806 140721372316806 140721372319695 0
[pid=9539/tid=9541] ppid=9536 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9539/task/9541/stat : 9541 (java) S 9536 9536 8804 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511826556 27969658880 32036 33554432000 4194304 4196468 140721372314656 139923297295120 139923293062869 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20774912 140721372316360 140721372316806 140721372316806 140721372319695 0
[pid=9539/tid=9542] ppid=9536 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9539/task/9542/stat : 9542 (java) S 9536 9536 8804 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511826556 27969658880 32036 33554432000 4194304 4196468 140721372314656 139923124112272 139923293062869 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20774912 140721372316360 140721372316806 140721372316806 140721372319695 0
[pid=9539/tid=9543] ppid=9536 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9539/task/9543/stat : 9543 (java) S 9536 9536 8804 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511826556 27969658880 32036 33554432000 4194304 4196468 140721372314656 139922713955344 139923293062869 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20774912 140721372316360 140721372316806 140721372316806 140721372319695 0
[pid=9539/tid=9544] ppid=9536 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9539/task/9544/stat : 9544 (java) S 9536 9536 8804 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511826556 27969658880 32036 33554432000 4194304 4196468 140721372314656 139922712902800 139923293062869 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20774912 140721372316360 140721372316806 140721372316806 140721372319695 0
[pid=9539/tid=9545] ppid=9536 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9539/task/9545/stat : 9545 (java) S 9536 9536 8804 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511826556 27969658880 32036 33554432000 4194304 4196468 140721372314656 139922711849232 139923293062869 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20774912 140721372316360 140721372316806 140721372316806 140721372319695 0
[pid=9539/tid=9546] ppid=9536 vsize=27314120 memory=139754142263983 CPUtime=0 cores=0-7
/proc/9539/task/9546/stat : 9546 (java) S 9536 9536 8804 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511826556 27969658880 32036 33554432000 4194304 4196468 140721372314656 139922710796688 139923293062869 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20774912 140721372316360 140721372316806 140721372316806 140721372319695 0
[pid=9539/tid=9547] ppid=9536 vsize=27314120 memory=139754142266288 CPUtime=0 cores=0-7
/proc/9539/task/9547/stat : 9547 (java) S 9536 9536 8804 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511826556 27969658880 32036 33554432000 4194304 4196468 140721372314656 139922709744144 139923293062869 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20774912 140721372316360 140721372316806 140721372316806 140721372319695 0
[pid=9539/tid=9548] ppid=9536 vsize=27314120 memory=139754142268592 CPUtime=0 cores=0-7
/proc/9539/task/9548/stat : 9548 (java) S 9536 9536 8804 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511826556 27969658880 32036 33554432000 4194304 4196468 140721372314656 139922708691600 139923293062869 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20774912 140721372316360 140721372316806 140721372316806 140721372319695 0
[pid=9539/tid=9549] ppid=9536 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9539/task/9549/stat : 9549 (java) S 9536 9536 8804 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511826558 27969658880 32036 33554432000 4194304 4196468 140721372314656 139922418596336 139923293063810 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20774912 140721372316360 140721372316806 140721372316806 140721372319695 0
[pid=9539/tid=9550] ppid=9536 vsize=27314120 memory=279508284551056 CPUtime=0 cores=0-7
/proc/9539/task/9550/stat : 9550 (java) S 9536 9536 8804 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 511826558 27969658880 32036 33554432000 4194304 4196468 140721372314656 139921176126880 139923293062869 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20774912 140721372316360 140721372316806 140721372316806 140721372319695 0
[pid=9539/tid=9551] ppid=9536 vsize=27314120 memory=279508284548752 CPUtime=0 cores=0-7
/proc/9539/task/9551/stat : 9551 (java) S 9536 9536 8804 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511826558 27969658880 32036 33554432000 4194304 4196468 140721372314656 139921041905136 139923293062869 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20774912 140721372316360 140721372316806 140721372316806 140721372319695 0
[pid=9539/tid=9552] ppid=9536 vsize=27314120 memory=279508284555664 CPUtime=0 cores=0-7
/proc/9539/task/9552/stat : 9552 (java) S 9536 9536 8804 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511826561 27969658880 32036 33554432000 4194304 4196468 140721372314656 139920667400912 139923293071259 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20774912 140721372316360 140721372316806 140721372316806 140721372319695 0
[pid=9539/tid=9553] ppid=9536 vsize=27314120 memory=279508284496912 CPUtime=0 cores=0-7
/proc/9539/task/9553/stat : 9553 (java) R 9536 9536 8804 0 -1 4202560 326 0 0 0 0 0 0 0 20 0 20 0 511826561 27969658880 32036 33554432000 4194304 4196468 140721372314656 139922417543152 139923273752960 0 4 2 16800973 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20774912 140721372316360 140721372316806 140721372316806 140721372319695 0
[pid=9539/tid=9554] ppid=9536 vsize=27314120 memory=279508284569488 CPUtime=0.01 cores=0-7
/proc/9539/task/9554/stat : 9554 (java) S 9536 9536 8804 0 -1 1077944384 147 0 0 0 1 0 0 0 20 0 20 0 511826561 27969658880 32036 33554432000 4194304 4196468 140721372314656 139922416490608 139923293063810 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20774912 140721372316360 140721372316806 140721372316806 140721372319695 0
[pid=9539/tid=9555] ppid=9536 vsize=27314120 memory=279508284576400 CPUtime=0.01 cores=0-7
/proc/9539/task/9555/stat : 9555 (java) S 9536 9536 8804 0 -1 1077944384 152 0 0 0 1 0 0 0 20 0 20 0 511826561 27969658880 32036 33554432000 4194304 4196468 140721372314656 139922415438064 139923293063810 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20774912 140721372316360 140721372316806 140721372316806 140721372319695 0
[pid=9539/tid=9556] ppid=9536 vsize=27314120 memory=279508284574096 CPUtime=0.07 cores=0-7
/proc/9539/task/9556/stat : 9556 (java) S 9536 9536 8804 0 -1 1077944384 516 0 0 0 7 0 0 0 20 0 20 0 511826561 27969658880 32036 33554432000 4194304 4196468 140721372314656 139922414385520 139923293063810 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20774912 140721372316360 140721372316806 140721372316806 140721372319695 0
[pid=9539/tid=9557] ppid=9536 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9539/task/9557/stat : 9557 (java) S 9536 9536 8804 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511826561 27969658880 32036 33554432000 4194304 4196468 140721372314656 139920169495264 139923293062869 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20774912 140721372316360 140721372316806 140721372316806 140721372319695 0
[pid=9539/tid=9558] ppid=9536 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/9539/task/9558/stat : 9558 (java) S 9536 9536 8804 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511826561 27969658880 32036 33554432000 4194304 4196468 140721372314656 139922413333424 139923293063810 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20774912 140721372316360 140721372316806 140721372316806 140721372319695 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 129544 KiB

[startup+0.703253 s]
/proc/loadavg: 5.23 7.34 7.95 2/212 9558
/proc/meminfo: memFree=25602980/32770624 swapFree=66966884/67108860
[pid=9536] ppid=9533 vsize=113128 memory=1400 CPUtime=0 cores=0-7
/proc/9536/stat : 9536 (scop.sh) S 9533 9536 8804 0 -1 4202496 555 320 0 0 0 0 0 0 20 0 1 0 511826553 115843072 350 33554432000 4194304 5098028 140724729187632 140724729184888 140663843050108 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 26492928 140724729193213 140724729193560 140724729193560 140724729196489 0
/proc/9536/statm: 28282 350 297 221 0 87 0
[pid=9539] ppid=9536 vsize=27322516 memory=165740 CPUtime=1 cores=0-7
/proc/9539/stat : 9539 (java) S 9536 9536 8804 0 -1 1077944320 20069 0 0 0 92 8 0 0 20 0 20 0 511826553 27978256384 41435 33554432000 4194304 4196468 140721372314656 140721372297200 139923293052663 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20774912 140721372316360 140721372316806 140721372316806 140721372319695 0
/proc/9539/statm: 6830629 41435 3201 1 0 6791959 0
[pid=9539/tid=9540] ppid=9536 vsize=27322516 memory=0 CPUtime=0.67 cores=0-7
/proc/9539/task/9540/stat : 9540 (java) R 9536 9536 8804 0 -1 4202560 17058 0 0 0 61 6 0 0 20 0 20 0 511826554 27978256384 41435 33554432000 4194304 4196468 140721372314656 139923264889520 139923293074589 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20774912 140721372316360 140721372316806 140721372316806 140721372319695 0
[pid=9539/tid=9541] ppid=9536 vsize=27322516 memory=139754142475120 CPUtime=0 cores=0-7
/proc/9539/task/9541/stat : 9541 (java) S 9536 9536 8804 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511826556 27978256384 41435 33554432000 4194304 4196468 140721372314656 139923297295120 139923293062869 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20774912 140721372316360 140721372316806 140721372316806 140721372319695 0
[pid=9539/tid=9542] ppid=9536 vsize=27322516 memory=0 CPUtime=0 cores=0-7
/proc/9539/task/9542/stat : 9542 (java) S 9536 9536 8804 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511826556 27978256384 41435 33554432000 4194304 4196468 140721372314656 139923124112272 139923293062869 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20774912 140721372316360 140721372316806 140721372316806 140721372319695 0
[pid=9539/tid=9543] ppid=9536 vsize=27322516 memory=8136 CPUtime=0 cores=0-7
/proc/9539/task/9543/stat : 9543 (java) S 9536 9536 8804 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511826556 27978256384 41435 33554432000 4194304 4196468 140721372314656 139922713955344 139923293062869 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20774912 140721372316360 140721372316806 140721372316806 140721372319695 0

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

[pid=9590/tid=9592] ppid=9536 vsize=8414124 memory=1432 CPUtime=0 cores=0-7
/proc/9590/task/9592/stat : 9592 (java) S 9536 9536 8804 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511840019 8616062976 39849 33554432000 4194304 4196468 140720845445984 140290082470288 140290078238421 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34963456 140720845448160 140720845448326 140720845448326 140720845451215 0
[pid=9590/tid=9593] ppid=9536 vsize=8414124 memory=776 CPUtime=0 cores=0-7
/proc/9590/task/9593/stat : 9593 (java) S 9536 9536 8804 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511840019 8616062976 39849 33554432000 4194304 4196468 140720845445984 140289882638608 140290078238421 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34963456 140720845448160 140720845448326 140720845448326 140720845451215 0
[pid=9590/tid=9594] ppid=9536 vsize=8414124 memory=1056 CPUtime=0 cores=0-7
/proc/9590/task/9594/stat : 9594 (java) S 9536 9536 8804 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511840019 8616062976 39849 33554432000 4194304 4196468 140720845445984 140289881586320 140290078238421 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34963456 140720845448160 140720845448326 140720845448326 140720845451215 0
[pid=9590/tid=9595] ppid=9536 vsize=8414124 memory=3616 CPUtime=0 cores=0-7
/proc/9590/task/9595/stat : 9595 (java) S 9536 9536 8804 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 511840019 8616062976 39849 33554432000 4194304 4196468 140720845445984 140289880533520 140290078238421 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34963456 140720845448160 140720845448326 140720845448326 140720845451215 0
[pid=9590/tid=9596] ppid=9536 vsize=8414124 memory=508 CPUtime=0 cores=0-7
/proc/9590/task/9596/stat : 9596 (java) S 9536 9536 8804 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511840019 8616062976 39849 33554432000 4194304 4196468 140720845445984 140289879481232 140290078238421 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34963456 140720845448160 140720845448326 140720845448326 140720845451215 0
[pid=9590/tid=9597] ppid=9536 vsize=8414124 memory=1560 CPUtime=0 cores=0-7
/proc/9590/task/9597/stat : 9597 (java) S 9536 9536 8804 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511840019 8616062976 39849 33554432000 4194304 4196468 140720845445984 140289878428432 140290078238421 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34963456 140720845448160 140720845448326 140720845448326 140720845451215 0
[pid=9590/tid=9598] ppid=9536 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/9590/task/9598/stat : 9598 (java) S 9536 9536 8804 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511840019 8616062976 39849 33554432000 4194304 4196468 140720845445984 140289877376144 140290078238421 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34963456 140720845448160 140720845448326 140720845448326 140720845451215 0
[pid=9590/tid=9599] ppid=9536 vsize=8414124 memory=135192 CPUtime=0 cores=0-7
/proc/9590/task/9599/stat : 9599 (java) S 9536 9536 8804 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511840019 8616062976 39849 33554432000 4194304 4196468 140720845445984 140289876323344 140290078238421 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34963456 140720845448160 140720845448326 140720845448326 140720845451215 0
[pid=9590/tid=9600] ppid=9536 vsize=8414124 memory=7906252 CPUtime=0 cores=0-7
/proc/9590/task/9600/stat : 9600 (java) S 9536 9536 8804 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 511840020 8616062976 39849 33554432000 4194304 4196468 140720845445984 140288836225136 140290078239362 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34963456 140720845448160 140720845448326 140720845448326 140720845451215 0
[pid=9590/tid=9601] ppid=9536 vsize=8414124 memory=1568 CPUtime=0 cores=0-7
/proc/9590/task/9601/stat : 9601 (java) S 9536 9536 8804 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 511840021 8616062976 39849 33554432000 4194304 4196468 140720845445984 140288731374368 140290078238421 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34963456 140720845448160 140720845448326 140720845448326 140720845451215 0
[pid=9590/tid=9602] ppid=9536 vsize=8414124 memory=10492 CPUtime=0 cores=0-7
/proc/9590/task/9602/stat : 9602 (java) S 9536 9536 8804 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511840021 8616062976 39849 33554432000 4194304 4196468 140720845445984 140288462939248 140290078238421 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34963456 140720845448160 140720845448326 140720845448326 140720845451215 0
[pid=9590/tid=9603] ppid=9536 vsize=8414124 memory=14012 CPUtime=0 cores=0-7
/proc/9590/task/9603/stat : 9603 (java) S 9536 9536 8804 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511840024 8616062976 39849 33554432000 4194304 4196468 140720845445984 140288088430672 140290078246811 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34963456 140720845448160 140720845448326 140720845448326 140720845451215 0
[pid=9590/tid=9604] ppid=9536 vsize=8414124 memory=159396 CPUtime=0.17 cores=0-7
/proc/9590/task/9604/stat : 9604 (java) S 9536 9536 8804 0 -1 1077944384 835 0 0 0 17 0 0 0 20 0 24 0 511840024 8616062976 39849 33554432000 4194304 4196468 140720845445984 140288835172976 140290078239362 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34963456 140720845448160 140720845448326 140720845448326 140720845451215 0
[pid=9590/tid=9605] ppid=9536 vsize=8414124 memory=932 CPUtime=0.22 cores=0-7
/proc/9590/task/9605/stat : 9605 (java) S 9536 9536 8804 0 -1 1077944384 576 0 0 0 22 0 0 0 20 0 24 0 511840024 8616062976 39849 33554432000 4194304 4196468 140720845445984 140288834120176 140290078239362 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34963456 140720845448160 140720845448326 140720845448326 140720845451215 0
[pid=9590/tid=9606] ppid=9536 vsize=8414124 memory=1568 CPUtime=0.19 cores=0-7
/proc/9590/task/9606/stat : 9606 (java) S 9536 9536 8804 0 -1 1077944384 732 0 0 0 19 0 0 0 20 0 24 0 511840024 8616062976 39849 33554432000 4194304 4196468 140720845445984 140288833067888 140290078239362 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34963456 140720845448160 140720845448326 140720845448326 140720845451215 0
[pid=9590/tid=9607] ppid=9536 vsize=8414124 memory=1444 CPUtime=0.24 cores=0-7
/proc/9590/task/9607/stat : 9607 (java) S 9536 9536 8804 0 -1 1077944384 608 0 0 0 24 0 0 0 20 0 24 0 511840024 8616062976 39849 33554432000 4194304 4196468 140720845445984 140288832015088 140290078239362 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34963456 140720845448160 140720845448326 140720845448326 140720845451215 0
[pid=9590/tid=9608] ppid=9536 vsize=8414124 memory=864 CPUtime=0 cores=0-7
/proc/9590/task/9608/stat : 9608 (java) S 9536 9536 8804 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 511840024 8616062976 39849 33554432000 4194304 4196468 140720845445984 140287590525280 140290078238421 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34963456 140720845448160 140720845448326 140720845448326 140720845451215 0
[pid=9590/tid=9609] ppid=9536 vsize=8414124 memory=1976 CPUtime=0 cores=0-7
/proc/9590/task/9609/stat : 9609 (java) S 9536 9536 8804 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511840024 8616062976 39849 33554432000 4194304 4196468 140720845445984 140288830961968 140290078239362 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34963456 140720845448160 140720845448326 140720845448326 140720845451215 0
[pid=9590/tid=9611] ppid=9536 vsize=8414124 memory=2496 CPUtime=0 cores=0-7
/proc/9590/task/9611/stat : 9611 (java) S 9536 9536 8804 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 511840127 8616062976 39849 33554432000 4194304 4196468 140720845445984 140288822928704 140290078252825 0 4 2 25189581 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 34963456 140720845448160 140720845448326 140720845448326 140720845451215 0
[pid=9590/tid=9613] ppid=9536 vsize=8414124 memory=1760 CPUtime=0 cores=0-7
/proc/9590/task/9613/stat : 9613 (java) S 9536 9536 8804 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 511840127 8616062976 39849 33554432000 4194304 4196468 140720845445984 140286919425968 140290078250141 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 34963456 140720845448160 140720845448326 140720845448326 140720845451215 0
[pid=9590/tid=9614] ppid=9536 vsize=8414124 memory=111636 CPUtime=0 cores=0-7
/proc/9590/task/9614/stat : 9614 (java) S 9536 9536 8804 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 511840127 8616062976 39849 33554432000 4194304 4196468 140720845445984 140287187861296 140290078250141 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 34963456 140720845448160 140720845448326 140720845448326 140720845451215 0
[pid=9590/tid=9615] ppid=9536 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/9590/task/9615/stat : 9615 (java) S 9536 9536 8804 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 24 0 511840129 8616062976 39849 33554432000 4194304 4196468 140720845445984 140286650998576 140290078238421 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34963456 140720845448160 140720845448326 140720845448326 140720845451215 0
Current children cumulated CPU time: 165.65 s
Current children cumulated vsize: 8915232 KiB
Current children cumulated memory: 505180 KiB

[startup+137.201 s]
/proc/loadavg: 1.31 5.00 7.00 2/226 9623
/proc/meminfo: memFree=25026580/32770624 swapFree=66966884/67108860
[pid=9536] ppid=9533 vsize=113128 memory=1476 CPUtime=162.61 cores=0-7
/proc/9536/stat : 9536 (scop.sh) S 9533 9536 8804 0 -1 4202496 582 80874 0 0 0 0 15547 714 20 0 1 0 511826553 115843072 369 33554432000 4194304 5098028 140724729187632 140724729184376 140663843050108 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 26492928 140724729193213 140724729193560 140724729193560 140724729196489 0
/proc/9536/statm: 28282 369 311 221 0 87 0
[pid=9590] ppid=9536 vsize=8414124 memory=196724 CPUtime=4.01 cores=0-7
/proc/9590/stat : 9590 (java) S 9536 9536 8804 0 -1 1077944320 21354 96327 0 0 196 27 158 20 20 0 23 0 511840017 8616062976 49181 33554432000 4194304 4196468 140720845445984 140720845428528 140290078228215 0 0 2 25189581 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 34963456 140720845448160 140720845448326 140720845448326 140720845451215 0
/proc/9590/statm: 2103531 49181 3231 1 0 2064875 0
[pid=9590/tid=9591] ppid=9536 vsize=8414124 memory=-4075877051373423744 CPUtime=2.9 cores=0-7
/proc/9590/task/9591/stat : 9591 (java) S 9536 9536 8804 0 -1 1077944384 17013 96327 0 0 89 23 158 20 20 0 23 0 511840017 8616062976 49181 33554432000 4194304 4196468 140720845445984 140290050068384 140290078238421 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34963456 140720845448160 140720845448326 140720845448326 140720845451215 0
[pid=9590/tid=9592] ppid=9536 vsize=8414124 memory=288230617509003574 CPUtime=1.78 cores=0-7
/proc/9590/task/9592/stat : 9592 (java) S 9536 9536 8804 0 -1 1077944384 1 96327 0 0 0 0 158 20 20 0 23 0 511840019 8616062976 49181 33554432000 4194304 4196468 140720845445984 140290082470288 140290078238421 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34963456 140720845448160 140720845448326 140720845448326 140720845451215 0
[pid=9590/tid=9593] ppid=9536 vsize=8414124 memory=15815620889413968 CPUtime=1.78 cores=0-7
/proc/9590/task/9593/stat : 9593 (java) S 9536 9536 8804 0 -1 1077944384 1 96327 0 0 0 0 158 20 20 0 23 0 511840019 8616062976 49181 33554432000 4194304 4196468 140720845445984 140289882638608 140290078238421 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34963456 140720845448160 140720845448326 140720845448326 140720845451215 0
[pid=9590/tid=9594] ppid=9536 vsize=8414124 memory=1398722017469774279 CPUtime=1.78 cores=0-7
/proc/9590/task/9594/stat : 9594 (java) S 9536 9536 8804 0 -1 1077944384 1 96327 0 0 0 0 158 20 20 0 23 0 511840019 8616062976 49181 33554432000 4194304 4196468 140720845445984 140289881586320 140290078238421 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34963456 140720845448160 140720845448326 140720845448326 140720845451215 0
[pid=9590/tid=9595] ppid=9536 vsize=8414124 memory=4126316290023845779 CPUtime=1.78 cores=0-7
/proc/9590/task/9595/stat : 9595 (java) S 9536 9536 8804 0 -1 1077944384 2 96327 0 0 0 0 158 20 20 0 23 0 511840019 8616062976 49181 33554432000 4194304 4196468 140720845445984 140289880533520 140290078238421 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34963456 140720845448160 140720845448326 140720845448326 140720845451215 0
[pid=9590/tid=9596] ppid=9536 vsize=8414124 memory=1400 CPUtime=1.78 cores=0-7
/proc/9590/task/9596/stat : 9596 (java) S 9536 9536 8804 0 -1 1077944384 1 96327 0 0 0 0 158 20 20 0 23 0 511840019 8616062976 49181 33554432000 4194304 4196468 140720845445984 140289879481232 140290078238421 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34963456 140720845448160 140720845448326 140720845448326 140720845451215 0
[pid=9590/tid=9597] ppid=9536 vsize=8414124 memory=6938812 CPUtime=1.78 cores=0-7
/proc/9590/task/9597/stat : 9597 (java) S 9536 9536 8804 0 -1 1077944384 1 96327 0 0 0 0 158 20 20 0 23 0 511840019 8616062976 49181 33554432000 4194304 4196468 140720845445984 140289878428432 140290078238421 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34963456 140720845448160 140720845448326 140720845448326 140720845451215 0
[pid=9590/tid=9598] ppid=9536 vsize=8414124 memory=8112282956445269571 CPUtime=1.78 cores=0-7
/proc/9590/task/9598/stat : 9598 (java) S 9536 9536 8804 0 -1 1077944384 1 96327 0 0 0 0 158 20 20 0 23 0 511840019 8616062976 49181 33554432000 4194304 4196468 140720845445984 140289877376144 140290078238421 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34963456 140720845448160 140720845448326 140720845448326 140720845451215 0
[pid=9590/tid=9599] ppid=9536 vsize=8414124 memory=1400 CPUtime=1.78 cores=0-7
/proc/9590/task/9599/stat : 9599 (java) S 9536 9536 8804 0 -1 1077944384 1 96327 0 0 0 0 158 20 20 0 23 0 511840019 8616062976 49181 33554432000 4194304 4196468 140720845445984 140289876323344 140290078238421 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34963456 140720845448160 140720845448326 140720845448326 140720845451215 0
[pid=9590/tid=9600] ppid=9536 vsize=8414124 memory=6975680 CPUtime=1.78 cores=0-7
/proc/9590/task/9600/stat : 9600 (java) S 9536 9536 8804 0 -1 1077944384 7 96327 0 0 0 0 158 20 20 0 23 0 511840020 8616062976 49181 33554432000 4194304 4196468 140720845445984 140288836225136 140290078239362 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34963456 140720845448160 140720845448326 140720845448326 140720845451215 0
[pid=9590/tid=9601] ppid=9536 vsize=8414124 memory=920 CPUtime=1.78 cores=0-7
/proc/9590/task/9601/stat : 9601 (java) S 9536 9536 8804 0 -1 1077944384 13 96327 0 0 0 0 158 20 20 0 23 0 511840021 8616062976 49181 33554432000 4194304 4196468 140720845445984 140288731374368 140290078238421 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34963456 140720845448160 140720845448326 140720845448326 140720845451215 0
[pid=9590/tid=9602] ppid=9536 vsize=8414124 memory=0 CPUtime=1.78 cores=0-7
/proc/9590/task/9602/stat : 9602 (java) S 9536 9536 8804 0 -1 1077944384 1 96327 0 0 0 0 158 20 20 0 23 0 511840021 8616062976 49181 33554432000 4194304 4196468 140720845445984 140288462939248 140290078238421 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34963456 140720845448160 140720845448326 140720845448326 140720845451215 0
[pid=9590/tid=9603] ppid=9536 vsize=8414124 memory=7524224616307385450 CPUtime=1.78 cores=0-7
/proc/9590/task/9603/stat : 9603 (java) S 9536 9536 8804 0 -1 1077944384 1 96327 0 0 0 0 158 20 20 0 23 0 511840024 8616062976 49181 33554432000 4194304 4196468 140720845445984 140288088430672 140290078246811 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34963456 140720845448160 140720845448326 140720845448326 140720845451215 0
[pid=9590/tid=9604] ppid=9536 vsize=8414124 memory=5450909908396308010 CPUtime=1.98 cores=0-7
/proc/9590/task/9604/stat : 9604 (java) S 9536 9536 8804 0 -1 1077944384 849 96327 0 0 20 0 158 20 20 0 23 0 511840024 8616062976 49181 33554432000 4194304 4196468 140720845445984 140288835172976 140290078239362 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34963456 140720845448160 140720845448326 140720845448326 140720845451215 0
[pid=9590/tid=9605] ppid=9536 vsize=8414124 memory=1476 CPUtime=2.04 cores=0-7
/proc/9590/task/9605/stat : 9605 (java) R 9536 9536 8804 0 -1 4202560 592 96327 0 0 26 0 158 20 20 0 23 0 511840024 8616062976 49181 33554432000 4194304 4196468 140720845445984 140288834120176 140290057921292 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34963456 140720845448160 140720845448326 140720845448326 140720845451215 0
[pid=9590/tid=9606] ppid=9536 vsize=8414124 memory=159396 CPUtime=2 cores=0-7
/proc/9590/task/9606/stat : 9606 (java) S 9536 9536 8804 0 -1 1077944384 739 96327 0 0 22 0 158 20 20 0 23 0 511840024 8616062976 49181 33554432000 4194304 4196468 140720845445984 140288833067888 140290078239362 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34963456 140720845448160 140720845448326 140720845448326 140720845451215 0
[pid=9590/tid=9607] ppid=9536 vsize=8414124 memory=110808 CPUtime=2.06 cores=0-7
/proc/9590/task/9607/stat : 9607 (java) S 9536 9536 8804 0 -1 1077944384 708 96327 0 0 28 0 158 20 20 0 23 0 511840024 8616062976 49181 33554432000 4194304 4196468 140720845445984 140288832015088 140290078239362 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34963456 140720845448160 140720845448326 140720845448326 140720845451215 0
[pid=9590/tid=9608] ppid=9536 vsize=8414124 memory=1044 CPUtime=1.78 cores=0-7
/proc/9590/task/9608/stat : 9608 (java) S 9536 9536 8804 0 -1 1077944384 3 96327 0 0 0 0 158 20 20 0 23 0 511840024 8616062976 49181 33554432000 4194304 4196468 140720845445984 140287590525280 140290078238421 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34963456 140720845448160 140720845448326 140720845448326 140720845451215 0
[pid=9590/tid=9609] ppid=9536 vsize=8414124 memory=712 CPUtime=1.78 cores=0-7
/proc/9590/task/9609/stat : 9609 (java) S 9536 9536 8804 0 -1 1077944384 1 96327 0 0 0 0 158 20 20 0 23 0 511840024 8616062976 49181 33554432000 4194304 4196468 140720845445984 140288830961968 140290078239362 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34963456 140720845448160 140720845448326 140720845448326 140720845451215 0
[pid=9590/tid=9611] ppid=9536 vsize=8414124 memory=2832 CPUtime=1.78 cores=0-7
/proc/9590/task/9611/stat : 9611 (java) S 9536 9536 8804 0 -1 1077944384 23 96327 0 0 0 0 158 20 20 0 23 0 511840127 8616062976 49181 33554432000 4194304 4196468 140720845445984 140288822927888 140290078239362 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34963456 140720845448160 140720845448326 140720845448326 140720845451215 0
[pid=9590/tid=9613] ppid=9536 vsize=8414124 memory=8136 CPUtime=1.86 cores=0-7
/proc/9590/task/9613/stat : 9613 (java) R 9536 9536 8804 0 -1 4202560 62 96327 0 0 8 0 158 20 20 0 23 0 511840127 8616062976 49181 33554432000 4194304 4196468 140720845445984 140286919432888 140289553564326 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 34963456 140720845448160 140720845448326 140720845448326 140720845451215 0
[pid=9590/tid=9615] ppid=9536 vsize=8414124 memory=14012 CPUtime=1.78 cores=0-7
/proc/9590/task/9615/stat : 9615 (java) S 9536 9536 8804 0 -1 1077944384 10 96327 0 0 0 0 158 20 20 0 23 0 511840129 8616062976 49181 33554432000 4194304 4196468 140720845445984 140286650998336 140290078238421 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34963456 140720845448160 140720845448326 140720845448326 140720845451215 0
Current children cumulated CPU time: 166.62 s
Current children cumulated vsize: 8527252 KiB
Current children cumulated memory: 198200 KiB

[startup+137.401 s]
/proc/loadavg: 1.31 5.00 7.00 2/226 9623
/proc/meminfo: memFree=25026580/32770624 swapFree=66966884/67108860
[pid=9536] ppid=9533 vsize=113128 memory=1476 CPUtime=162.61 cores=0-7
/proc/9536/stat : 9536 (scop.sh) S 9533 9536 8804 0 -1 4202496 582 80874 0 0 0 0 15547 714 20 0 1 0 511826553 115843072 369 33554432000 4194304 5098028 140724729187632 140724729184376 140663843050108 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 26492928 140724729193213 140724729193560 140724729193560 140724729196489 0
/proc/9536/statm: 28282 369 311 221 0 87 0
[pid=9590] ppid=9536 vsize=8283048 memory=207584 CPUtime=4.47 cores=0-7
/proc/9590/stat : 9590 (java) S 9536 9536 8804 0 -1 1077944320 21887 96327 0 0 241 28 158 20 20 0 22 0 511840017 8481841152 51896 33554432000 4194304 4196468 140720845445984 140720845428528 140290078228215 0 0 2 25189581 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 34963456 140720845448160 140720845448326 140720845448326 140720845451215 0
/proc/9590/statm: 2070762 51896 3239 1 0 2032106 0
[pid=9590/tid=9591] ppid=9536 vsize=8283048 memory=1568 CPUtime=3.04 cores=0-7
/proc/9590/task/9591/stat : 9591 (java) R 9536 9536 8804 0 -1 4202560 17274 96327 0 0 103 23 158 20 20 0 22 0 511840017 8481841152 51896 33554432000 4194304 4196468 140720845445984 140290050066656 140290078240150 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34963456 140720845448160 140720845448326 140720845448326 140720845451215 0
[pid=9590/tid=9592] ppid=9536 vsize=8283048 memory=1444 CPUtime=1.78 cores=0-7
/proc/9590/task/9592/stat : 9592 (java) S 9536 9536 8804 0 -1 1077944384 1 96327 0 0 0 0 158 20 20 0 22 0 511840019 8481841152 51896 33554432000 4194304 4196468 140720845445984 140290082470288 140290078238421 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34963456 140720845448160 140720845448326 140720845448326 140720845451215 0
[pid=9590/tid=9593] ppid=9536 vsize=8283048 memory=864 CPUtime=1.78 cores=0-7
/proc/9590/task/9593/stat : 9593 (java) S 9536 9536 8804 0 -1 1077944384 1 96327 0 0 0 0 158 20 20 0 22 0 511840019 8481841152 51896 33554432000 4194304 4196468 140720845445984 140289882638608 140290078238421 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34963456 140720845448160 140720845448326 140720845448326 140720845451215 0
[pid=9590/tid=9594] ppid=9536 vsize=8283048 memory=1976 CPUtime=1.78 cores=0-7
/proc/9590/task/9594/stat : 9594 (java) S 9536 9536 8804 0 -1 1077944384 1 96327 0 0 0 0 158 20 20 0 22 0 511840019 8481841152 51896 33554432000 4194304 4196468 140720845445984 140289881586320 140290078238421 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34963456 140720845448160 140720845448326 140720845448326 140720845451215 0
[pid=9590/tid=9595] ppid=9536 vsize=8283048 memory=2496 CPUtime=1.78 cores=0-7
/proc/9590/task/9595/stat : 9595 (java) S 9536 9536 8804 0 -1 1077944384 2 96327 0 0 0 0 158 20 20 0 22 0 511840019 8481841152 51896 33554432000 4194304 4196468 140720845445984 140289880533520 140290078238421 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34963456 140720845448160 140720845448326 140720845448326 140720845451215 0
[pid=9590/tid=9596] ppid=9536 vsize=8283048 memory=1760 CPUtime=1.78 cores=0-7
/proc/9590/task/9596/stat : 9596 (java) S 9536 9536 8804 0 -1 1077944384 1 96327 0 0 0 0 158 20 20 0 22 0 511840019 8481841152 51896 33554432000 4194304 4196468 140720845445984 140289879481232 140290078238421 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34963456 140720845448160 140720845448326 140720845448326 140720845451215 0
[pid=9590/tid=9597] ppid=9536 vsize=8283048 memory=6872598998417432672 CPUtime=1.78 cores=0-7
/proc/9590/task/9597/stat : 9597 (java) S 9536 9536 8804 0 -1 1077944384 1 96327 0 0 0 0 158 20 20 0 22 0 511840019 8481841152 51896 33554432000 4194304 4196468 140720845445984 140289878428432 140290078238421 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34963456 140720845448160 140720845448326 140720845448326 140720845451215 0
[pid=9590/tid=9598] ppid=9536 vsize=8283048 memory=6943526294502006880 CPUtime=1.78 cores=0-7
/proc/9590/task/9598/stat : 9598 (java) S 9536 9536 8804 0 -1 1077944384 1 96327 0 0 0 0 158 20 20 0 22 0 511840019 8481841152 51896 33554432000 4194304 4196468 140720845445984 140289877376144 140290078238421 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34963456 140720845448160 140720845448326 140720845448326 140720845451215 0
[pid=9590/tid=9599] ppid=9536 vsize=8283048 memory=-4695052241013923951 CPUtime=1.78 cores=0-7
/proc/9590/task/9599/stat : 9599 (java) S 9536 9536 8804 0 -1 1077944384 1 96327 0 0 0 0 158 20 20 0 22 0 511840019 8481841152 51896 33554432000 4194304 4196468 140720845445984 140289876323344 140290078238421 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34963456 140720845448160 140720845448326 140720845448326 140720845451215 0
[pid=9590/tid=9600] ppid=9536 vsize=8283048 memory=0 CPUtime=1.78 cores=0-7
/proc/9590/task/9600/stat : 9600 (java) S 9536 9536 8804 0 -1 1077944384 7 96327 0 0 0 0 158 20 20 0 22 0 511840020 8481841152 51896 33554432000 4194304 4196468 140720845445984 140288836225136 140290078239362 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34963456 140720845448160 140720845448326 140720845448326 140720845451215 0
[pid=9590/tid=9601] ppid=9536 vsize=8283048 memory=0 CPUtime=1.78 cores=0-7
/proc/9590/task/9601/stat : 9601 (java) S 9536 9536 8804 0 -1 1077944384 13 96327 0 0 0 0 158 20 20 0 22 0 511840021 8481841152 51896 33554432000 4194304 4196468 140720845445984 140288731374368 140290078238421 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34963456 140720845448160 140720845448326 140720845448326 140720845451215 0
[pid=9590/tid=9602] ppid=9536 vsize=8283048 memory=0 CPUtime=1.78 cores=0-7
/proc/9590/task/9602/stat : 9602 (java) S 9536 9536 8804 0 -1 1077944384 1 96327 0 0 0 0 158 20 20 0 22 0 511840021 8481841152 51896 33554432000 4194304 4196468 140720845445984 140288462939248 140290078238421 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34963456 140720845448160 140720845448326 140720845448326 140720845451215 0
[pid=9590/tid=9603] ppid=9536 vsize=8283048 memory=0 CPUtime=1.78 cores=0-7
/proc/9590/task/9603/stat : 9603 (java) S 9536 9536 8804 0 -1 1077944384 1 96327 0 0 0 0 158 20 20 0 22 0 511840024 8481841152 51896 33554432000 4194304 4196468 140720845445984 140288088430672 140290078246811 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34963456 140720845448160 140720845448326 140720845448326 140720845451215 0
[pid=9590/tid=9604] ppid=9536 vsize=8283048 memory=0 CPUtime=2.03 cores=0-7
/proc/9590/task/9604/stat : 9604 (java) R 9536 9536 8804 0 -1 4202560 864 96327 0 0 25 0 158 20 20 0 22 0 511840024 8481841152 51896 33554432000 4194304 4196468 140720845445984 140288835159168 140290057659724 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34963456 140720845448160 140720845448326 140720845448326 140720845451215 0
[pid=9590/tid=9605] ppid=9536 vsize=8283048 memory=0 CPUtime=2.1 cores=0-7
/proc/9590/task/9605/stat : 9605 (java) R 9536 9536 8804 0 -1 4202560 614 96327 0 0 32 0 158 20 20 0 22 0 511840024 8481841152 51896 33554432000 4194304 4196468 140720845445984 140288834119360 140290059539164 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34963456 140720845448160 140720845448326 140720845448326 140720845451215 0
[pid=9590/tid=9606] ppid=9536 vsize=8283048 memory=0 CPUtime=2.08 cores=0-7
/proc/9590/task/9606/stat : 9606 (java) S 9536 9536 8804 0 -1 1077944384 779 96327 0 0 30 0 158 20 20 0 22 0 511840024 8481841152 51896 33554432000 4194304 4196468 140720845445984 140288833067888 140290078239362 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34963456 140720845448160 140720845448326 140720845448326 140720845451215 0
[pid=9590/tid=9607] ppid=9536 vsize=8283048 memory=0 CPUtime=2.13 cores=0-7
/proc/9590/task/9607/stat : 9607 (java) S 9536 9536 8804 0 -1 1077944384 888 96327 0 0 35 0 158 20 20 0 22 0 511840024 8481841152 51896 33554432000 4194304 4196468 140720845445984 140288832015088 140290078239362 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34963456 140720845448160 140720845448326 140720845448326 140720845451215 0
[pid=9590/tid=9608] ppid=9536 vsize=8283048 memory=0 CPUtime=1.78 cores=0-7
/proc/9590/task/9608/stat : 9608 (java) S 9536 9536 8804 0 -1 1077944384 3 96327 0 0 0 0 158 20 20 0 22 0 511840024 8481841152 51896 33554432000 4194304 4196468 140720845445984 140287590525280 140290078238421 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34963456 140720845448160 140720845448326 140720845448326 140720845451215 0
[pid=9590/tid=9609] ppid=9536 vsize=8283048 memory=0 CPUtime=1.78 cores=0-7
/proc/9590/task/9609/stat : 9609 (java) S 9536 9536 8804 0 -1 1077944384 1 96327 0 0 0 0 158 20 20 0 22 0 511840024 8481841152 51896 33554432000 4194304 4196468 140720845445984 140288830961968 140290078239362 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34963456 140720845448160 140720845448326 140720845448326 140720845451215 0
[pid=9590/tid=9611] ppid=9536 vsize=8283048 memory=0 CPUtime=1.78 cores=0-7
/proc/9590/task/9611/stat : 9611 (java) S 9536 9536 8804 0 -1 1077944384 23 96327 0 0 0 0 158 20 20 0 22 0 511840127 8481841152 51896 33554432000 4194304 4196468 140720845445984 140288822927888 140290078239362 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34963456 140720845448160 140720845448326 140720845448326 140720845451215 0
[pid=9590/tid=9615] ppid=9536 vsize=8283048 memory=7162805252816069463 CPUtime=1.78 cores=0-7
/proc/9590/task/9615/stat : 9615 (java) S 9536 9536 8804 0 -1 1077944384 15 96327 0 0 0 0 158 20 20 0 22 0 511840129 8481841152 51896 33554432000 4194304 4196468 140720845445984 140286651000368 140290078239362 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34963456 140720845448160 140720845448326 140720845448326 140720845451215 0
Current children cumulated CPU time: 167.08 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 209060 KiB

Child status: 0
Real time (s): 137.435
CPU time (s): 167.174
CPU user time (s): 159.508
CPU system time (s): 7.66658
CPU usage (%): 121.639
Max. virtual memory (cumulated for all children) (KiB): 27444316
Max. memory (cumulated for all children) (KiB): 7992660

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 159.508
system time used= 7.66658
maximum resident set size= 7991408
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 201391
page faults= 0
swaps= 0
block input operations= 0
block output operations= 35840
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 20238
involuntary context switches= 322


# summary of solver processes directly reported to runsolver:
#   pid: 9536
#   total CPU time (s): 167.174
#   total CPU user time (s): 159.508
#   total CPU system time (s): 7.66658

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.02851 second user time and 1.41891 second system time

The end

Launcher Data 

Begin job on node145 at 2019-09-24 23:00:59
IDJOB=4405220
IDBENCH=138763
IDSOLVER=2867
FILE ID=node145/4405220-1569358901
RUNJOBID= node145-1569356229-8831
PBS_JOBID= 21705102
Free space on /var/tmp= 13512 MiB

SOLVER NAME= Fun-sCOP order+ManyGlucose (2019-09-22)
BENCH NAME= XCSP17/Hanoi/Hanoi-m1-s1/Hanoi-07.xml
COMMAND LINE= DIR/scop.sh 22g DIR/scop.jar -order DIR/manyglucose-4.1-27_release -model:-nthreads=NBCORE:-maxmemory=20000:-lit-scans=6000000 TMPDIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4405220-1569358901/watcher-4405220-1569358901 -o /var/tmp/evaluation-result-4405220-1569358901/solver-4405220-1569358901 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node145-1569356229-8831 --watchdog 2580  HOME/scop.sh 22g HOME/scop.jar -order HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4405220-1569358901.xml

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

MD5SUM BENCH= 7f68b5f256bf6bd8019eb0158af88fa3
RANDOM SEED=1967369722

node145.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.59
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.59
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.59
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.59
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:        25743980 kB
MemAvailable:   31809444 kB
Buffers:          157564 kB
Cached:          6060320 kB
SwapCached:        32452 kB
Active:          3041152 kB
Inactive:        3213588 kB
Active(anon):       4736 kB
Inactive(anon):    89852 kB
Active(file):    3036416 kB
Inactive(file):  3123736 kB
Unevictable:      108772 kB
Mlocked:          108772 kB
SwapTotal:      67108860 kB
SwapFree:       66966884 kB
Dirty:             20848 kB
Writeback:             0 kB
AnonPages:        156252 kB
Mapped:            57536 kB
Shmem:             48852 kB
Slab:             362864 kB
SReclaimable:     333772 kB
SUnreclaim:        29092 kB
KernelStack:        3728 kB
PageTables:         6192 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     515332 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    110592 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      120192 kB
DirectMap2M:    33425408 kB

Free space on /var/tmp at the end= 13492 MiB
End job on node145 at 2019-09-24 23:03:16