Trace number 4405520

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Fun-sCOP hybrid+ManyGlucose (2019-09-22)SAT 167.682 138.268

General information on the benchmark

NameHanoi/Hanoi-m1-s1/
Hanoi-07.xml
MD5SUM7f68b5f256bf6bd8019eb0158af88fa3
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.776956
Satisfiable
(Un)Satisfiability was proved
Number of variables126
Number of constraints126
Number of domains1
Minimum domain size2187
Maximum domain size2187
Distribution of domain sizes[{"size":2187,"count":126}]
Minimum variable degree1
Maximum variable degree2
Distribution of variable degrees[{"degree":1,"count":125},{"degree":2,"count":1}]
Minimum constraint arity1
Maximum constraint arity2
Distribution of constraint arities[{"arity":1,"count":1},{"arity":2,"count":125}]
Number of extensional constraints125
Number of intensional constraints1
Distribution of constraint types[{"type":"extension","count":125},{"type":"intension","count":1}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c (scop.sh) java -Xms22g -Xmx22g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Encode -hybrid -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-29721-serial-file.bin HOME/instance-4405520-1569358965.xml
0.66/0.54	
0.66/0.54	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
0.66/0.54	
0.66/0.57	c BEGIN-Prog: Tue Sep 24 23:02:04 CEST 2019
0.66/0.57	c PID: 29724
0.66/0.57	c IP: 172.20.3.124
0.66/0.57	c HOST: node124.alineos.net
0.66/0.57	c (0,0) Parsing Begin
2.21/1.04	c (0,0) Parsing End
2.21/1.05	c (0,0) CSP: 126 int (0 aux), 0 bool (0 aux), 126 ctr, max domain size 2187
2.21/1.05	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
2.21/1.05	c (0,0) Constraint Name Generate Begin
2.21/1.05	c (0,0) Ctr:HOME/instance-4405520-1569358965.xml,ExtensionSupport:In:Var
2.21/1.05	c (0,0) Constraint Name Generate End
2.21/1.05	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
2.21/1.05	c (0,0) CSP to CSPinCNF Begin
4.39/1.78	c (1,1) translated 13 (10%) constraints
6.96/2.48	c (1,1) translated 26 (20%) constraints
9.61/3.75	c (3,3) translated 38 (30%) constraints
12.32/6.16	c (5,5) translated 51 (40%) constraints
16.69/10.37	c (9,9) translated 63 (50%) constraints
24.95/18.40	c (17,17) translated 76 (60%) constraints
37.29/29.29	c (28,28) translated 89 (70%) constraints
52.43/44.01	c (43,43) translated 101 (80%) constraints
77.26/66.91	c (66,65) translated 114 (90%) constraints
114.07/99.37	c (98,97) translated 126 (100%) constraints
114.07/99.38	c (98,97) ===========================================
114.29/99.53	c (98,97) Hybrid: #OE=90648, #LE=0
114.29/99.53	c (98,97) Hybrid
114.29/99.53	c (98,97) ===========================================
115.96/100.62	c (100,98) translated 56261 (10%) constraints
116.97/101.62	c (101,99) translated 112521 (20%) constraints
118.03/102.63	c (102,100) translated 168782 (30%) constraints
119.03/103.63	c (103,101) translated 225042 (40%) constraints
120.03/104.63	c (104,102) translated 281303 (50%) constraints
121.03/105.63	c (105,103) translated 337563 (60%) constraints
122.03/106.63	c (106,104) translated 393824 (70%) constraints
123.03/107.62	c (107,105) translated 450084 (80%) constraints
124.03/108.63	c (108,106) translated 506345 (90%) constraints
125.03/109.64	c (109,107) translated 562605 (100%) constraints
125.03/109.64	c (109,107) CSP to CSPinCNF End
125.03/109.69	c (109,107) CSP: 126 int (0 aux), 90524 bool (90524 aux), 562609 ctr, max domain size 2059
125.03/109.69	c (109,107) Heap : 4445 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB)
125.03/109.69	c (109,107) CSPinCNF Propagation Begin
150.53/127.20	c (126,124) 0 values, 125 unsatisfiable literals, and 2 valid clauses are removed
150.53/127.20	c (126,124) CSPinCNF Propagation End
150.63/127.24	c (126,124) CSP: 126 int (0 aux), 90524 bool (90524 aux), 562607 ctr, max domain size 2059
150.63/127.24	c (126,124) Heap : 1178 MiB used (max 21849 MiB), NonHeap : 27 MiB used (max 0 MiB)
150.85/127.46	c (126,124) Hybrid: #OE=90650, #LE=0
150.85/127.46	c (126,124) Simplify CSPinCNF Begin
151.96/128.44	c (127,125) Simplify CSPinCNF End
151.96/128.48	c (127,125) CSP: 126 int (0 aux), 90524 bool (90524 aux), 562607 ctr, max domain size 2059
151.96/128.48	c (127,125) Heap : 1791 MiB used (max 21849 MiB), NonHeap : 27 MiB used (max 0 MiB)
151.96/128.48	c (127,125) Calculate Precise Domain Begin
151.96/128.48	c (127,125) 0 values are removed by re-calculation
151.96/128.48	c (127,125) Calculate Precise Domain End
152.07/128.52	c (127,125) CSP: 126 int (0 aux), 90524 bool (90524 aux), 562607 ctr, max domain size 2059
152.07/128.52	c (127,125) Heap : 1791 MiB used (max 21849 MiB), NonHeap : 27 MiB used (max 0 MiB)
152.07/128.52	c (127,125) CSPinCNF to SatSolver Begin
155.06/129.56	c (129,126) 56261 (10 %) CSP clauses are encoded (0 SAT variables, 148589 SAT clauses)
155.60/130.07	c (129,127) 112522 (20 %) CSP clauses are encoded (0 SAT variables, 204850 SAT clauses)
156.09/130.59	c (130,127) 168783 (30 %) CSP clauses are encoded (0 SAT variables, 261111 SAT clauses)
156.71/131.12	c (130,128) 225043 (40 %) CSP clauses are encoded (0 SAT variables, 317371 SAT clauses)
157.21/131.66	c (131,128) 281304 (50 %) CSP clauses are encoded (0 SAT variables, 373632 SAT clauses)
157.74/132.20	c (131,129) 337565 (60 %) CSP clauses are encoded (0 SAT variables, 429893 SAT clauses)
158.33/132.88	c (132,129) 393825 (70 %) CSP clauses are encoded (0 SAT variables, 486153 SAT clauses)
158.93/133.44	c (132,130) 450086 (80 %) CSP clauses are encoded (0 SAT variables, 542414 SAT clauses)
159.53/134.03	c (133,131) 506347 (90 %) CSP clauses are encoded (0 SAT variables, 598675 SAT clauses)
162.08/134.87	c (134,131) 562607 (100 %) CSP clauses are encoded (0 SAT variables, 654935 SAT clauses)
162.08/134.87	c (134,131) CSPinCNF to SatSolver End
162.08/134.87	c (134,131) Heap : 1003 MiB used (max 21877 MiB), NonHeap : 30 MiB used (max 0 MiB)
162.08/134.87	c (134,131) 182979 bool, 654936 clause
162.08/134.87	c (134,131) Export Begin
163.02/135.40	c (134,132) Export to HOME/scop-29721-serial-file.bin
163.02/135.40	c (134,132) Export End
163.13/135.40	c (134,132) Export File Size: 2.74 MB
163.13/135.40	c (134,132) 0,0,109,126,127,127,134,STOP-AFTER(DIMACS)
163.13/135.40	c END-Prog: Tue Sep 24 23:04:19 CEST 2019
163.13/135.45	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-29721-serial-file.bin
163.18/135.92	c (0,0) Read Serial File Begin
163.18/135.92	c (0,0) HOME/scop-29721-serial-file.bin
164.77/136.48	c (0,0) Read Serial File End
164.77/136.49	
164.77/136.49	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
164.77/136.49	(Solving Process)
164.77/136.49	
164.89/136.51	c BEGIN-Prog: Tue Sep 24 23:04:20 CEST 2019
164.89/136.51	c PID: 29752
164.89/136.51	c IP: 172.20.3.124
164.89/136.51	c HOST: node124.alineos.net
164.89/136.52	c (0,0) SatSolver.solve Begin
164.89/136.52	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4405520-1569358965.xml-scop-29724.cnf
164.89/136.54	c (0,0) c
164.89/136.54	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.89/136.54	c (0,0) c
164.89/136.54	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
164.89/136.54	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
164.89/136.54	c (0,0) c ========================================[ Problem Statistics ]===========================================
164.89/136.54	c (0,0) c |                                                                                                       |
165.12/136.85	c (0,0) c |  Number of variables:        182979                                                                   |
165.12/136.85	c (0,0) c |  Number of clauses:          654936                                                                   |
165.12/136.85	c (0,0) c |  Parse time:                   0.27 s                                                                 |
165.12/136.85	c (0,0) c |                                                                                                       |
165.86/137.37	c (1,0) c |  Simplification time:          0.52 s                                                                 |
165.86/137.37	c (1,0) c |                                                                                                       |
165.98/137.41	c (1,0) c |  Generating clones                                                                                    |
166.28/137.78	c (1,0) c |  all clones generated. Memory =   557.51Mb.                                                           |
166.28/137.78	c (1,0) c ========================================================================================================|
166.28/137.78	c (1,0) c
166.28/137.78	c (1,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
166.28/137.78	c (1,0) c
166.28/137.78	c (1,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
166.28/137.78	c (1,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
166.28/137.78	c (1,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
166.28/137.78	c (1,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
166.28/137.78	c (1,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
166.28/137.78	c (1,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
166.28/137.78	c (1,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
166.28/137.78	c (1,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
166.28/137.78	c (1,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
166.28/137.78	c (1,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
166.28/137.78	c (1,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
166.28/137.78	c (1,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
166.28/137.78	c (1,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
166.28/137.78	c (1,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
166.28/137.78	c (1,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
166.28/137.78	c (1,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
166.28/137.78	c (1,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
166.28/137.78	c (1,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
166.28/137.78	c (1,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
166.80/137.93	c (2,0) c
166.80/137.93	c (2,0) c real time : 1.3928 s
166.80/137.93	c (2,0) c cpu time  : 1.51247 s
166.80/137.93	c (2,0) c
166.80/137.93	c (2,0) c
166.80/137.93	c (2,0) c
166.80/137.93	c (2,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
166.80/137.93	c (2,0) c
166.80/137.93	c (2,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
166.80/137.93	c (2,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
166.80/137.93	c (2,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
166.80/137.93	c (2,0) c | Conflicts     |               4 |          0 |          1 |          0 |          0 |          1 |          1 |          0 |          1 |
166.80/137.93	c (2,0) c | Decisions     |            8850 |       1717 |       1065 |        981 |       1182 |        710 |       1051 |       1306 |        838 |
166.80/137.93	c (2,0) c | Propagations  |         1457815 |     182223 |     182233 |     182223 |     182223 |     182234 |     182233 |     182223 |     182223 |
166.80/137.93	c (2,0) c | ReduceDBs     |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
166.80/137.93	c (2,0) c | SimpDBs       |               8 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |
166.80/137.94	c (2,0) c | Restarts      |               8 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |
166.80/137.94	c (2,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
166.80/137.94	c (2,0) c | PropBinClauses|         1459664 |     182451 |     182464 |     182452 |     182449 |     182462 |     182462 |     182452 |     182472 |
166.80/137.94	c (2,0) c | PropPreBlocker|         4016214 |     571687 |     490415 |     492442 |     481787 |     502262 |     483655 |     491573 |     502393 |
166.80/137.94	c (2,0) c | PropNotBlocker|         1956235 |     382592 |     221676 |     225250 |     204432 |     244659 |     208100 |     224272 |     245254 |
166.80/137.94	c (2,0) c | LitFullScans  |         7903186 |    1228598 |     948048 |     954306 |     917894 |     988376 |     924416 |     952335 |     989213 |
166.80/137.94	c (2,0) c | LitScanFracts |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
166.80/137.94	c (2,0) c | DecisionLevel0|               8 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |
166.80/137.94	c (2,0) c | Periods       |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
166.80/137.94	c (2,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
166.80/137.94	c (2,0) c | Avg_Trail     |                 |          0 |     181957 |          0 |          0 |     158255 |     181331 |          0 |     180650 |
166.80/137.94	c (2,0) c | Avg_DL        |                 |          0 |       1045 |          0 |          0 |        475 |       1008 |          0 |        785 |
166.80/137.94	c (2,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
166.80/137.94	c (2,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
166.80/137.94	c (2,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
166.80/137.94	c (2,0) c | Exported      |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
166.80/137.94	c (2,0) c | Imported      |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
166.80/137.94	c (2,0) c | Good          |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
166.80/137.94	c (2,0) c | Purge         |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
166.80/137.94	c (2,0) c | Promoted      |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
166.80/137.94	c (2,0) c | Remove_Imp    |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
166.80/137.94	c (2,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
166.80/137.94	c (2,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
166.80/137.94	c (2,0) c | Unaries       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
166.80/137.94	c (2,0) c | Binaries      |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
166.80/137.94	c (2,0) c | Glues         |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
166.80/137.94	c (2,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
166.80/137.94	c (2,0) c | Orig_Seen     |             0 % |          0 |          8 |          0 |          0 |          8 |          8 |          0 |          8 |
166.80/137.94	c (2,0) c | Diff Orig seen|                 |      X     |          8 | -        0 | -        0 |          8 |          8 | -        0 |          8 |
166.80/137.94	c (2,0) c | Hamming       |             0 % |      X     |         25 |        523 |         92 |         20 |         20 |        419 |         27 |
166.80/137.94	c (2,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
166.80/137.94	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%|
166.80/137.94	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%|
166.80/137.94	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%|
166.80/137.94	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%|
166.80/137.94	c (2,0) c | SolvingTime   |                 |    0.1     |    0.1     |    0.1     |    0.1     |    0.1     |    0.1     |    0.1     |    0.1     |
166.80/137.94	c (2,0) c | PropagationTim|                 |    0.1  98%|    0.1  97%|    0.1  97%|    0.1  97%|    0.1  98%|    0.1  98%|    0.1  97%|    0.1  98%|
166.80/137.94	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%|
166.80/137.94	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%|
166.80/137.94	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%|
166.80/137.94	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%|
166.80/137.94	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%|
166.80/137.94	c (2,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
166.80/137.94	c (2,0) c
166.80/137.94	c (2,0) c
166.80/137.94	c (2,0) c Threads : 8
166.80/137.94	c (2,0) c Winner : 0
166.80/137.94	c (2,0) c Conflicts_0 : 0
166.80/137.94	c (2,0) c Conflicts_1 : 1
166.80/137.94	c (2,0) c Conflicts_2 : 0
166.80/137.94	c (2,0) c Conflicts_3 : 0
166.80/137.94	c (2,0) c Conflicts_4 : 1
166.80/137.94	c (2,0) c Conflicts_5 : 1
166.80/137.94	c (2,0) c Conflicts_6 : 0
166.80/137.94	c (2,0) c Conflicts_7 : 1
166.80/137.94	c (2,0) c Conflicts_total : 4
166.80/137.94	c (2,0) c Conflicts_winner : 0
166.80/137.94	c (2,0) c Decisions_0 : 1717
166.80/137.94	c (2,0) c Decisions_1 : 1065
166.80/137.94	c (2,0) c Decisions_2 : 981
166.80/137.94	c (2,0) c Decisions_3 : 1182
166.80/137.94	c (2,0) c Decisions_4 : 710
166.80/137.94	c (2,0) c Decisions_5 : 1051
166.80/137.94	c (2,0) c Decisions_6 : 1306
166.80/137.94	c (2,0) c Decisions_7 : 838
166.80/137.94	c (2,0) c Decisions_total : 8850
166.80/137.94	c (2,0) c Decisions_winner : 1717
166.80/137.94	c (2,0) c Propagations_0 : 182223
166.80/137.94	c (2,0) c Propagations_1 : 182233
166.80/137.94	c (2,0) c Propagations_2 : 182223
166.80/137.94	c (2,0) c Propagations_3 : 182223
166.80/137.94	c (2,0) c Propagations_4 : 182234
166.80/137.94	c (2,0) c Propagations_5 : 182233
166.80/137.94	c (2,0) c Propagations_6 : 182223
166.80/137.94	c (2,0) c Propagations_7 : 182223
166.80/137.94	c (2,0) c Propagations_total : 1457815
166.80/137.94	c (2,0) c Propagations_winner : 182223
166.80/137.94	c (2,0) c ReduceDBs_0 : 0
166.80/137.94	c (2,0) c ReduceDBs_1 : 0
166.80/137.94	c (2,0) c ReduceDBs_2 : 0
166.80/137.94	c (2,0) c ReduceDBs_3 : 0
166.80/137.94	c (2,0) c ReduceDBs_4 : 0
166.80/137.94	c (2,0) c ReduceDBs_5 : 0
166.80/137.94	c (2,0) c ReduceDBs_6 : 0
166.80/137.94	c (2,0) c ReduceDBs_7 : 0
166.80/137.94	c (2,0) c ReduceDBs_total : 0
166.80/137.94	c (2,0) c ReduceDBs_winner : 0
166.80/137.94	c (2,0) c SimpDBs_0 : 1
166.80/137.94	c (2,0) c SimpDBs_1 : 1
166.80/137.94	c (2,0) c SimpDBs_2 : 1
166.80/137.94	c (2,0) c SimpDBs_3 : 1
166.80/137.94	c (2,0) c SimpDBs_4 : 1
166.80/137.94	c (2,0) c SimpDBs_5 : 1
166.80/137.94	c (2,0) c SimpDBs_6 : 1
166.80/137.94	c (2,0) c SimpDBs_7 : 1
166.80/137.94	c (2,0) c SimpDBs_total : 8
166.80/137.94	c (2,0) c SimpDBs_winner : 1
166.80/137.94	c (2,0) c Restarts_0 : 1
166.80/137.94	c (2,0) c Restarts_1 : 1
166.80/137.94	c (2,0) c Restarts_2 : 1
166.80/137.94	c (2,0) c Restarts_3 : 1
166.80/137.94	c (2,0) c Restarts_4 : 1
166.80/137.94	c (2,0) c Restarts_5 : 1
166.80/137.94	c (2,0) c Restarts_6 : 1
166.80/137.94	c (2,0) c Restarts_7 : 1
166.80/137.94	c (2,0) c Restarts_total : 8
166.80/137.94	c (2,0) c Restarts_winner : 1
166.80/137.94	c (2,0) c ForcedImports_0 : 0
166.80/137.94	c (2,0) c ForcedImports_1 : 0
166.80/137.94	c (2,0) c ForcedImports_2 : 0
166.80/137.94	c (2,0) c ForcedImports_3 : 0
166.80/137.94	c (2,0) c ForcedImports_4 : 0
166.80/137.94	c (2,0) c ForcedImports_5 : 0
166.80/137.94	c (2,0) c ForcedImports_6 : 0
166.80/137.94	c (2,0) c ForcedImports_7 : 0
166.80/137.94	c (2,0) c ForcedImports_total : 0
166.80/137.94	c (2,0) c ForcedImports_winner : 0
166.80/137.94	c (2,0) c PropsBinClauses_0 : 182451
166.80/137.94	c (2,0) c PropsBinClauses_1 : 182464
166.80/137.94	c (2,0) c PropsBinClauses_2 : 182452
166.80/137.94	c (2,0) c PropsBinClauses_3 : 182449
166.80/137.94	c (2,0) c PropsBinClauses_4 : 182462
166.80/137.94	c (2,0) c PropsBinClauses_5 : 182462
166.80/137.94	c (2,0) c PropsBinClauses_6 : 182452
166.80/137.94	c (2,0) c PropsBinClauses_7 : 182472
166.80/137.94	c (2,0) c PropsBinClauses_total : 1459664
166.80/137.94	c (2,0) c PropsBinClauses_winner : 182451
166.80/137.94	c (2,0) c PropsPreBlocker_0 : 571687
166.80/137.94	c (2,0) c PropsPreBlocker_1 : 490415
166.80/137.94	c (2,0) c PropsPreBlocker_2 : 492442
166.80/137.94	c (2,0) c PropsPreBlocker_3 : 481787
166.80/137.94	c (2,0) c PropsPreBlocker_4 : 502262
166.80/137.94	c (2,0) c PropsPreBlocker_5 : 483655
166.80/137.94	c (2,0) c PropsPreBlocker_6 : 491573
166.80/137.94	c (2,0) c PropsPreBlocker_7 : 502393
166.80/137.94	c (2,0) c PropsPreBlocker_total : 4016214
166.80/137.94	c (2,0) c PropsPreBlocker_winner : 571687
166.80/137.94	c (2,0) c PropsNotBlocker_0 : 382592
166.80/137.94	c (2,0) c PropsNotBlocker_1 : 221676
166.80/137.94	c (2,0) c PropsNotBlocker_2 : 225250
166.80/137.94	c (2,0) c PropsNotBlocker_3 : 204432
166.80/137.94	c (2,0) c PropsNotBlocker_4 : 244659
166.80/137.94	c (2,0) c PropsNotBlocker_5 : 208100
166.80/137.94	c (2,0) c PropsNotBlocker_6 : 224272
166.80/137.94	c (2,0) c PropsNotBlocker_7 : 245254
166.80/137.94	c (2,0) c PropsNotBlocker_total : 1956235
166.80/137.94	c (2,0) c PropsNotBlocker_winner : 382592
166.80/137.94	c (2,0) c PropsLitFullScans_0 : 1228598
166.80/137.94	c (2,0) c PropsLitFullScans_1 : 948048
166.80/137.94	c (2,0) c PropsLitFullScans_2 : 954306
166.80/137.94	c (2,0) c PropsLitFullScans_3 : 917894
166.80/137.94	c (2,0) c PropsLitFullScans_4 : 988376
166.80/137.94	c (2,0) c PropsLitFullScans_5 : 924416
166.80/137.94	c (2,0) c PropsLitFullScans_6 : 952335
166.80/137.94	c (2,0) c PropsLitFullScans_7 : 989213
166.80/137.94	c (2,0) c PropsLitFullScans_total : 7903186
166.80/137.94	c (2,0) c PropsLitFullScans_winner : 1228598
166.80/137.94	c (2,0) c LitScanFractions_0 : 0
166.80/137.94	c (2,0) c LitScanFractions_1 : 0
166.80/137.94	c (2,0) c LitScanFractions_2 : 0
166.80/137.94	c (2,0) c LitScanFractions_3 : 0
166.80/137.94	c (2,0) c LitScanFractions_4 : 0
166.80/137.94	c (2,0) c LitScanFractions_5 : 0
166.80/137.94	c (2,0) c LitScanFractions_6 : 0
166.80/137.94	c (2,0) c LitScanFractions_7 : 0
166.80/137.94	c (2,0) c LitScanFractions_total : 0
166.80/137.94	c (2,0) c LitScanFractions_winner : 0
166.80/137.94	c (2,0) c DecisionLevel0_0 : 1
166.80/137.94	c (2,0) c DecisionLevel0_1 : 1
166.80/137.94	c (2,0) c DecisionLevel0_2 : 1
166.80/137.94	c (2,0) c DecisionLevel0_3 : 1
166.80/137.94	c (2,0) c DecisionLevel0_4 : 1
166.80/137.94	c (2,0) c DecisionLevel0_5 : 1
166.80/137.94	c (2,0) c DecisionLevel0_6 : 1
166.80/137.94	c (2,0) c DecisionLevel0_7 : 1
166.80/137.94	c (2,0) c DecisionLevel0_total : 8
166.80/137.94	c (2,0) c DecisionLevel0_winner : 1
166.80/137.94	c (2,0) c Periods_0 : 0
166.80/137.94	c (2,0) c Periods_1 : 0
166.80/137.94	c (2,0) c Periods_2 : 0
166.80/137.94	c (2,0) c Periods_3 : 0
166.80/137.94	c (2,0) c Periods_4 : 0
166.80/137.94	c (2,0) c Periods_5 : 0
166.80/137.94	c (2,0) c Periods_6 : 0
166.80/137.94	c (2,0) c Periods_7 : 0
166.80/137.94	c (2,0) c Periods_total : 0
166.80/137.94	c (2,0) c Periods_winner : 0
166.80/137.94	c (2,0) c Margin_0 : 20
166.80/137.94	c (2,0) c Margin_1 : 20
166.80/137.94	c (2,0) c Margin_2 : 20
166.80/137.94	c (2,0) c Margin_3 : 20
166.80/137.94	c (2,0) c Margin_4 : 20
166.80/137.94	c (2,0) c Margin_5 : 20
166.80/137.94	c (2,0) c Margin_6 : 20
166.80/137.94	c (2,0) c Margin_7 : 20
166.80/137.94	c (2,0) c Margin_total : 160
166.80/137.94	c (2,0) c Margin_winner : 20
166.80/137.94	c (2,0) c Exported_0 : 0
166.80/137.94	c (2,0) c Exported_1 : 0
166.80/137.94	c (2,0) c Exported_2 : 0
166.80/137.94	c (2,0) c Exported_3 : 0
166.80/137.94	c (2,0) c Exported_4 : 0
166.80/137.94	c (2,0) c Exported_5 : 0
166.80/137.94	c (2,0) c Exported_6 : 0
166.80/137.94	c (2,0) c Exported_7 : 0
166.80/137.94	c (2,0) c Exported_total : 0
166.80/137.94	c (2,0) c Exported_winner : 0
166.80/137.94	c (2,0) c Imported_0 : 0
166.80/137.94	c (2,0) c Imported_1 : 0
166.80/137.94	c (2,0) c Imported_2 : 0
166.80/137.94	c (2,0) c Imported_3 : 0
166.80/137.94	c (2,0) c Imported_4 : 0
166.80/137.94	c (2,0) c Imported_5 : 0
166.80/137.94	c (2,0) c Imported_6 : 0
166.80/137.94	c (2,0) c Imported_7 : 0
166.80/137.94	c (2,0) c Imported_total : 0
166.80/137.94	c (2,0) c Imported_winner : 0
166.80/137.94	c (2,0) c Good_0 : 0
166.80/137.94	c (2,0) c Good_1 : 0
166.80/137.94	c (2,0) c Good_2 : 0
166.80/137.94	c (2,0) c Good_3 : 0
166.80/137.94	c (2,0) c Good_4 : 0
166.80/137.94	c (2,0) c Good_5 : 0
166.80/137.94	c (2,0) c Good_6 : 0
166.80/137.94	c (2,0) c Good_7 : 0
166.80/137.94	c (2,0) c Good_total : 0
166.80/137.94	c (2,0) c Good_winner : 0
166.80/137.94	c (2,0) c Purge_0 : 0
166.80/137.94	c (2,0) c Purge_1 : 0
166.80/137.94	c (2,0) c Purge_2 : 0
166.80/137.94	c (2,0) c Purge_3 : 0
166.80/137.94	c (2,0) c Purge_4 : 0
166.80/137.94	c (2,0) c Purge_5 : 0
166.80/137.94	c (2,0) c Purge_6 : 0
166.80/137.94	c (2,0) c Purge_7 : 0
166.80/137.94	c (2,0) c Purge_total : 0
166.80/137.94	c (2,0) c Purge_winner : 0
166.80/137.94	c (2,0) c Promoted_0 : 0
166.80/137.94	c (2,0) c Promoted_1 : 0
166.80/137.94	c (2,0) c Promoted_2 : 0
166.80/137.94	c (2,0) c Promoted_3 : 0
166.80/137.94	c (2,0) c Promoted_4 : 0
166.80/137.94	c (2,0) c Promoted_5 : 0
166.80/137.95	c (2,0) c Promoted_6 : 0
166.80/137.95	c (2,0) c Promoted_7 : 0
166.80/137.95	c (2,0) c Promoted_total : 0
166.80/137.95	c (2,0) c Promoted_winner : 0
166.80/137.95	c (2,0) c Remove_Imp_0 : 0
166.80/137.95	c (2,0) c Remove_Imp_1 : 0
166.80/137.95	c (2,0) c Remove_Imp_2 : 0
166.80/137.95	c (2,0) c Remove_Imp_3 : 0
166.80/137.95	c (2,0) c Remove_Imp_4 : 0
166.80/137.95	c (2,0) c Remove_Imp_5 : 0
166.80/137.95	c (2,0) c Remove_Imp_6 : 0
166.80/137.95	c (2,0) c Remove_Imp_7 : 0
166.80/137.95	c (2,0) c Remove_Imp_total : 0
166.80/137.95	c (2,0) c Remove_Imp_winner : 0
166.80/137.95	c (2,0) c Blocked_Reuse_0 : 0
166.80/137.95	c (2,0) c Blocked_Reuse_1 : 0
166.80/137.95	c (2,0) c Blocked_Reuse_2 : 0
166.80/137.95	c (2,0) c Blocked_Reuse_3 : 0
166.80/137.95	c (2,0) c Blocked_Reuse_4 : 0
166.80/137.95	c (2,0) c Blocked_Reuse_5 : 0
166.80/137.95	c (2,0) c Blocked_Reuse_6 : 0
166.80/137.95	c (2,0) c Blocked_Reuse_7 : 0
166.80/137.95	c (2,0) c Blocked_Reuse_total : 0
166.80/137.95	c (2,0) c Blocked_Reuse_winner : 0
166.80/137.95	c (2,0) c Unaries_0 : 0
166.80/137.95	c (2,0) c Unaries_1 : 0
166.80/137.95	c (2,0) c Unaries_2 : 0
166.80/137.95	c (2,0) c Unaries_3 : 0
166.80/137.95	c (2,0) c Unaries_4 : 0
166.80/137.95	c (2,0) c Unaries_5 : 0
166.80/137.95	c (2,0) c Unaries_6 : 0
166.80/137.95	c (2,0) c Unaries_7 : 0
166.80/137.95	c (2,0) c Unaries_total : 0
166.80/137.95	c (2,0) c Unaries_winner : 0
166.80/137.95	c (2,0) c Binaries_0 : 0
166.80/137.95	c (2,0) c Binaries_1 : 0
166.80/137.95	c (2,0) c Binaries_2 : 0
166.80/137.95	c (2,0) c Binaries_3 : 0
166.80/137.95	c (2,0) c Binaries_4 : 0
166.80/137.95	c (2,0) c Binaries_5 : 0
166.80/137.95	c (2,0) c Binaries_6 : 0
166.80/137.95	c (2,0) c Binaries_7 : 0
166.80/137.95	c (2,0) c Binaries_total : 0
166.80/137.95	c (2,0) c Binaries_winner : 0
166.80/137.95	c (2,0) c Glues_0 : 0
166.80/137.95	c (2,0) c Glues_1 : 0
166.80/137.95	c (2,0) c Glues_2 : 0
166.80/137.95	c (2,0) c Glues_3 : 0
166.80/137.95	c (2,0) c Glues_4 : 0
166.80/137.95	c (2,0) c Glues_5 : 0
166.80/137.95	c (2,0) c Glues_6 : 0
166.80/137.95	c (2,0) c Glues_7 : 0
166.80/137.95	c (2,0) c Glues_total : 0
166.80/137.95	c (2,0) c Glues_winner : 0
166.80/137.95	c (2,0) c RunningTime_0 : 0.130243
166.80/137.95	c (2,0) c RunningTime_1 : 0.105996
166.80/137.95	c (2,0) c RunningTime_2 : 0.091682
166.80/137.95	c (2,0) c RunningTime_3 : 0.098734
166.80/137.95	c (2,0) c RunningTime_4 : 0.094071
166.80/137.95	c (2,0) c RunningTime_5 : 0.098866
166.80/137.95	c (2,0) c RunningTime_6 : 0.090377
166.80/137.95	c (2,0) c RunningTime_7 : 0.103676
166.80/137.95	c (2,0) c RunningTime_total : 0.813645
166.80/137.95	c (2,0) c RunningTime_winner : 0.130243
166.80/137.95	c (2,0) c WaitingTime_0 : 0.000000
166.80/137.95	c (2,0) c WaitingTime_1 : 0.000000
166.80/137.95	c (2,0) c WaitingTime_2 : 0.000000
166.80/137.95	c (2,0) c WaitingTime_3 : 0.000000
166.80/137.95	c (2,0) c WaitingTime_4 : 0.000000
166.80/137.95	c (2,0) c WaitingTime_5 : 0.000000
166.80/137.95	c (2,0) c WaitingTime_6 : 0.000000
166.80/137.95	c (2,0) c WaitingTime_7 : 0.000000
166.80/137.95	c (2,0) c WaitingTime_total : 0.000000
166.80/137.95	c (2,0) c WaitingTime_winner : 0.000000
166.80/137.95	c (2,0) c ExchangingTime_0 : 0.000340
166.80/137.95	c (2,0) c ExchangingTime_1 : 0.000359
166.80/137.95	c (2,0) c ExchangingTime_2 : 0.000000
166.80/137.95	c (2,0) c ExchangingTime_3 : 0.000000
166.80/137.95	c (2,0) c ExchangingTime_4 : 0.000042
166.80/137.95	c (2,0) c ExchangingTime_5 : 0.000000
166.80/137.95	c (2,0) c ExchangingTime_6 : 0.000000
166.80/137.95	c (2,0) c ExchangingTime_7 : 0.000001
166.80/137.95	c (2,0) c ExchangingTime_total : 0.000742
166.80/137.95	c (2,0) c ExchangingTime_winner : 0.000340
166.80/137.95	c (2,0) c PeriodProcTime_0 : 0.000000
166.80/137.95	c (2,0) c PeriodProcTime_1 : 0.000000
166.80/137.95	c (2,0) c PeriodProcTime_2 : 0.000000
166.80/137.95	c (2,0) c PeriodProcTime_3 : 0.000000
166.80/137.95	c (2,0) c PeriodProcTime_4 : 0.000000
166.80/137.95	c (2,0) c PeriodProcTime_5 : 0.000000
166.80/137.95	c (2,0) c PeriodProcTime_6 : 0.000000
166.80/137.95	c (2,0) c PeriodProcTime_7 : 0.000000
166.80/137.95	c (2,0) c PeriodProcTime_total : 0.000000
166.80/137.95	c (2,0) c PeriodProcTime_winner : 0.000000
166.80/137.95	c (2,0) c SolvingTime_0 : 0.130583
166.80/137.95	c (2,0) c SolvingTime_1 : 0.106355
166.80/137.95	c (2,0) c SolvingTime_2 : 0.091682
166.80/137.95	c (2,0) c SolvingTime_3 : 0.098734
166.80/137.95	c (2,0) c SolvingTime_4 : 0.094113
166.80/137.95	c (2,0) c SolvingTime_5 : 0.098866
166.80/137.95	c (2,0) c SolvingTime_6 : 0.090377
166.80/137.95	c (2,0) c SolvingTime_7 : 0.103677
166.80/137.95	c (2,0) c SolvingTime_total : 0.814387
166.80/137.95	c (2,0) c SolvingTime_winner : 0.130583
166.80/137.95	c (2,0) c PropagationTime_0 : 0.127434
166.80/137.95	c (2,0) c PropagationTime_1 : 0.103272
166.80/137.95	c (2,0) c PropagationTime_2 : 0.088778
166.80/137.95	c (2,0) c PropagationTime_3 : 0.096249
166.80/137.95	c (2,0) c PropagationTime_4 : 0.092182
166.80/137.95	c (2,0) c PropagationTime_5 : 0.096418
166.80/137.95	c (2,0) c PropagationTime_6 : 0.087387
166.80/137.95	c (2,0) c PropagationTime_7 : 0.101529
166.80/137.95	c (2,0) c PropagationTime_total : 0.793248
166.80/137.95	c (2,0) c PropagationTime_winner : 0.127434
166.80/137.95	c (2,0) c AnalysisTime_0 : 0.000000
166.80/137.95	c (2,0) c AnalysisTime_1 : 0.000009
166.80/137.95	c (2,0) c AnalysisTime_2 : 0.000000
166.80/137.95	c (2,0) c AnalysisTime_3 : 0.000000
166.80/137.95	c (2,0) c AnalysisTime_4 : 0.000012
166.80/137.95	c (2,0) c AnalysisTime_5 : 0.000011
166.80/137.95	c (2,0) c AnalysisTime_6 : 0.000000
166.80/137.95	c (2,0) c AnalysisTime_7 : 0.000008
166.80/137.95	c (2,0) c AnalysisTime_total : 0.000040
166.80/137.95	c (2,0) c AnalysisTime_winner : 0.000000
166.80/137.95	c (2,0) c ReductionTime_0 : 0.000000
166.80/137.95	c (2,0) c ReductionTime_1 : 0.000000
166.80/137.95	c (2,0) c ReductionTime_2 : 0.000000
166.80/137.95	c (2,0) c ReductionTime_3 : 0.000000
166.80/137.95	c (2,0) c ReductionTime_4 : 0.000000
166.80/137.95	c (2,0) c ReductionTime_5 : 0.000000
166.80/137.95	c (2,0) c ReductionTime_6 : 0.000000
166.80/137.95	c (2,0) c ReductionTime_7 : 0.000000
166.80/137.95	c (2,0) c ReductionTime_total : 0.000000
166.80/137.95	c (2,0) c ReductionTime_winner : 0.000000
166.80/137.95	c (2,0) c SimplifyTime_0 : 0.000000
166.80/137.95	c (2,0) c SimplifyTime_1 : 0.000000
166.80/137.95	c (2,0) c SimplifyTime_2 : 0.000001
166.80/137.95	c (2,0) c SimplifyTime_3 : 0.000000
166.80/137.95	c (2,0) c SimplifyTime_4 : 0.000000
166.80/137.95	c (2,0) c SimplifyTime_5 : 0.000000
166.80/137.95	c (2,0) c SimplifyTime_6 : 0.000000
166.80/137.95	c (2,0) c SimplifyTime_7 : 0.000001
166.80/137.95	c (2,0) c SimplifyTime_total : 0.000002
166.80/137.95	c (2,0) c SimplifyTime_winner : 0.000000
166.80/137.95	c (2,0) c UsedRateTime_0 : 0.000000
166.80/137.95	c (2,0) c UsedRateTime_1 : 0.000000
166.80/137.95	c (2,0) c UsedRateTime_2 : 0.000000
166.80/137.95	c (2,0) c UsedRateTime_3 : 0.000000
166.80/137.95	c (2,0) c UsedRateTime_4 : 0.000000
166.80/137.95	c (2,0) c UsedRateTime_5 : 0.000000
166.80/137.95	c (2,0) c UsedRateTime_6 : 0.000000
166.80/137.95	c (2,0) c UsedRateTime_7 : 0.000000
166.80/137.95	c (2,0) c UsedRateTime_total : 0.000000
166.80/137.95	c (2,0) c UsedRateTime_winner : 0.000000
166.80/137.95	c (2,0) c OverlapRateTime_0 : 0.000000
166.80/137.95	c (2,0) c OverlapRateTime_1 : 0.000000
166.80/137.95	c (2,0) c OverlapRateTime_2 : 0.000000
166.80/137.95	c (2,0) c OverlapRateTime_3 : 0.000000
166.80/137.95	c (2,0) c OverlapRateTime_4 : 0.000000
166.80/137.95	c (2,0) c OverlapRateTime_5 : 0.000000
166.80/137.95	c (2,0) c OverlapRateTime_6 : 0.000000
166.80/137.95	c (2,0) c OverlapRateTime_7 : 0.000000
166.80/137.95	c (2,0) c OverlapRateTime_total : 0.000000
166.80/137.95	c (2,0) c OverlapRateTime_winner : 0.000000
166.80/137.95	c (2,0) c
166.80/137.95	c (2,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
166.80/137.95	c (2,0) c
166.80/137.95	c (2,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
166.80/137.95	c (2,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
166.80/137.95	c (2,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
166.80/137.95	c (2,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
166.80/137.95	c (2,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
166.80/137.95	c (2,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
166.80/137.95	c (2,0) c | Initial random_seed   | 1141427057 | 1617645874 |  676774694 |   71410636 | 1054995583 |  729380857 | 2035777755 | 1421890594 |
166.80/137.95	c (2,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
166.80/137.95	c (2,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
166.80/137.95	c (2,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
166.80/137.95	c (2,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
166.80/137.95	c (2,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
166.80/137.95	c (2,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
166.80/137.95	c (2,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
166.80/137.95	c (2,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
166.80/137.95	c (2,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
166.80/137.95	c (2,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
166.80/137.95	c (2,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
166.80/137.95	c (2,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
166.80/137.95	c (2,0) 
166.80/137.95	c (2,0) s SATISFIABLE
165.31/138.09	c (2,0) SatSolver.solve End
165.31/138.09	c (2,0) Heap : 186 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB)
165.31/138.09	c (2,0) Show results Begin
167.53/138.23	c (2,0) x[0] = 1
167.53/138.23	c (2,0) x[1] = 7
167.53/138.23	c (2,0) x[2] = 1
167.53/138.23	c (2,0) x[3] = 0
167.53/138.23	c (2,0) x[4] = 2
167.53/138.23	c (2,0) x[5] = 0
167.53/138.23	c (2,0) x[6] = 2
167.53/138.23	c (2,0) x[7] = 0
167.53/138.23	c (2,0) x[8] = 2
167.53/138.23	c (2,0) x[9] = 0
167.53/138.23	c (2,0) x[10] = 2
167.53/138.23	c (2,0) x[11] = 0
167.53/138.23	c (2,0) x[12] = 2
167.53/138.23	c (2,0) x[13] = 0
167.53/138.23	c (2,0) x[14] = 2
167.53/138.23	c (2,0) x[15] = 0
167.53/138.23	c (2,0) x[16] = 2
167.53/138.23	c (2,0) x[17] = 0
167.53/138.23	c (2,0) x[18] = 2
167.53/138.23	c (2,0) x[19] = 0
167.53/138.23	c (2,0) x[20] = 2
167.53/138.23	c (2,0) x[21] = 0
167.53/138.23	c (2,0) x[22] = 2
167.53/138.23	c (2,0) x[23] = 0
167.53/138.23	c (2,0) x[24] = 2
167.53/138.23	c (2,0) x[25] = 0
167.53/138.23	c (2,0) x[26] = 2
167.53/138.23	c (2,0) x[27] = 0
167.53/138.23	c (2,0) x[28] = 2
167.53/138.23	c (2,0) x[29] = 0
167.53/138.23	c (2,0) x[30] = 2
167.53/138.23	c (2,0) x[31] = 0
167.53/138.23	c (2,0) x[32] = 2
167.53/138.23	c (2,0) x[33] = 0
167.53/138.23	c (2,0) x[34] = 2
167.53/138.23	c (2,0) x[35] = 0
167.53/138.23	c (2,0) x[36] = 2
167.53/138.23	c (2,0) x[37] = 0
167.53/138.23	c (2,0) x[38] = 2
167.53/138.23	c (2,0) x[39] = 0
167.53/138.23	c (2,0) x[40] = 2
167.53/138.23	c (2,0) x[41] = 0
167.53/138.23	c (2,0) x[42] = 2
167.53/138.23	c (2,0) x[43] = 0
167.53/138.23	c (2,0) x[44] = 2
167.53/138.23	c (2,0) x[45] = 0
167.53/138.23	c (2,0) x[46] = 2
167.53/138.23	c (2,0) x[47] = 0
167.53/138.23	c (2,0) x[48] = 2
167.53/138.23	c (2,0) x[49] = 0
167.53/138.23	c (2,0) x[50] = 2
167.53/138.23	c (2,0) x[51] = 0
167.53/138.23	c (2,0) x[52] = 2
167.53/138.23	c (2,0) x[53] = 0
167.53/138.23	c (2,0) x[54] = 2
167.53/138.23	c (2,0) x[55] = 0
167.53/138.23	c (2,0) x[56] = 2
167.53/138.23	c (2,0) x[57] = 0
167.53/138.23	c (2,0) x[58] = 2
167.53/138.23	c (2,0) x[59] = 0
167.53/138.23	c (2,0) x[60] = 2
167.53/138.23	c (2,0) x[61] = 0
167.53/138.23	c (2,0) x[62] = 2
167.53/138.23	c (2,0) x[63] = 0
167.53/138.23	c (2,0) x[64] = 2
167.53/138.23	c (2,0) x[65] = 0
167.53/138.23	c (2,0) x[66] = 2
167.53/138.23	c (2,0) x[67] = 0
167.53/138.23	c (2,0) x[68] = 2
167.53/138.23	c (2,0) x[69] = 0
167.53/138.23	c (2,0) x[70] = 2
167.53/138.23	c (2,0) x[71] = 0
167.53/138.23	c (2,0) x[72] = 2
167.53/138.23	c (2,0) x[73] = 0
167.53/138.23	c (2,0) x[74] = 2
167.53/138.23	c (2,0) x[75] = 0
167.53/138.23	c (2,0) x[76] = 2
167.53/138.23	c (2,0) x[77] = 0
167.53/138.23	c (2,0) x[78] = 2
167.53/138.24	c (2,0) x[79] = 0
167.53/138.24	c (2,0) x[80] = 2
167.53/138.24	c (2,0) x[81] = 0
167.53/138.24	c (2,0) x[82] = 2
167.53/138.24	c (2,0) x[83] = 0
167.53/138.24	c (2,0) x[84] = 2
167.53/138.24	c (2,0) x[85] = 0
167.53/138.25	c (2,0) x[86] = 2
167.53/138.25	c (2,0) x[87] = 0
167.53/138.25	c (2,0) x[88] = 2
167.53/138.25	c (2,0) x[89] = 0
167.53/138.25	c (2,0) x[90] = 2
167.53/138.25	c (2,0) x[91] = 0
167.53/138.25	c (2,0) x[92] = 2
167.53/138.25	c (2,0) x[93] = 0
167.53/138.25	c (2,0) x[94] = 2
167.53/138.25	c (2,0) x[95] = 0
167.53/138.25	c (2,0) x[96] = 2
167.53/138.25	c (2,0) x[97] = 0
167.53/138.25	c (2,0) x[98] = 2
167.53/138.25	c (2,0) x[99] = 0
167.53/138.25	c (2,0) x[100] = 2
167.53/138.25	c (2,0) x[101] = 0
167.53/138.25	c (2,0) x[102] = 2
167.53/138.25	c (2,0) x[103] = 0
167.53/138.25	c (2,0) x[104] = 2
167.53/138.25	c (2,0) x[105] = 0
167.53/138.25	c (2,0) x[106] = 2
167.53/138.25	c (2,0) x[107] = 0
167.53/138.25	c (2,0) x[108] = 2
167.53/138.25	c (2,0) x[109] = 0
167.53/138.25	c (2,0) x[110] = 2
167.53/138.25	c (2,0) x[111] = 0
167.53/138.25	c (2,0) x[112] = 2
167.53/138.25	c (2,0) x[113] = 0
167.53/138.25	c (2,0) x[114] = 2
167.53/138.25	c (2,0) x[115] = 0
167.53/138.25	c (2,0) x[116] = 2
167.53/138.25	c (2,0) x[117] = 0
167.53/138.25	c (2,0) x[118] = 2
167.53/138.25	c (2,0) x[119] = 0
167.53/138.25	c (2,0) x[120] = 2
167.53/138.25	c (2,0) x[121] = 0
167.53/138.25	c (2,0) x[122] = 2
167.53/138.25	c (2,0) x[123] = 0
167.53/138.25	c (2,0) x[124] = 2
167.53/138.25	c (2,0) x[125] = 0
167.53/138.25	s SATISFIABLE
167.53/138.25	v <instantiation>
167.53/138.25	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.53/138.25	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.53/138.25	v </instantiation>
167.53/138.25	c (2,0) Show results End
167.53/138.25	c (2,0) Heap : 186 MiB used (max 3925 MiB), NonHeap : 19 MiB used (max 0 MiB)
167.53/138.25	c (2,0) 2,2,STOP-AFTER(ALL)
167.53/138.25	c END-Prog: Tue Sep 24 23:04:22 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 (11574 MiB free)
  memory of node 1: 16384 MiB (12622 MiB free)
  node distances:
     10  21
     21  10

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


[startup+0.100157 s]*
/proc/loadavg: 7.61 8.14 8.22 3/212 29743
/proc/meminfo: memFree=24680344/32770624 swapFree=66976788/67108860
[pid=29721] ppid=29718 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/29721/stat : 29721 (scop.sh) S 29718 29721 29677 0 -1 4202496 558 320 0 0 0 0 0 0 20 0 1 0 511836536 115843072 349 33554432000 4194304 5098028 140729537659536 140729537656792 139913404863100 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 36564992 140729537667836 140729537668184 140729537668184 140729537671113 0
/proc/29721/statm: 28282 349 296 221 0 87 0
[pid=29724] ppid=29721 vsize=27314120 memory=108412 CPUtime=0.11 cores=0-7
/proc/29724/stat : 29724 (java) S 29721 29721 29677 0 -1 1077944320 6618 0 0 0 8 3 0 0 20 0 20 0 511836537 27969658880 27103 33554432000 4194304 4196468 140734358286384 140734358268928 140221782892279 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20254720 140734358291142 140734358291590 140734358291590 140734358294479 0
/proc/29724/statm: 6828530 27103 2816 1 0 6790935 0
[pid=29724/tid=29725] ppid=29721 vsize=27314120 memory=4134930498285298233 CPUtime=0.08 cores=0-7
/proc/29724/task/29725/stat : 29725 (java) R 29721 29721 29677 0 -1 4202560 4708 0 0 0 6 2 0 0 20 0 20 0 511836537 27969658880 27103 33554432000 4194304 4196468 140734358286384 140221754724480 140221766972766 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20254720 140734358291142 140734358291590 140734358291590 140734358294479 0
[pid=29724/tid=29726] ppid=29721 vsize=27314120 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/29724/task/29726/stat : 29726 (java) S 29721 29721 29677 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511836540 27969658880 27103 33554432000 4194304 4196468 140734358286384 140221787134608 140221782902485 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20254720 140734358291142 140734358291590 140734358291590 140734358294479 0
[pid=29724/tid=29727] ppid=29721 vsize=27314120 memory=140460434908800 CPUtime=0 cores=0-7
/proc/29724/task/29727/stat : 29727 (java) S 29721 29721 29677 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511836540 27969658880 27103 33554432000 4194304 4196468 140734358286384 140221570529808 140221782902485 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20254720 140734358291142 140734358291590 140734358291590 140734358294479 0
[pid=29724/tid=29728] ppid=29721 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29724/task/29728/stat : 29728 (java) S 29721 29721 29677 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511836540 27969658880 27103 33554432000 4194304 4196468 140734358286384 140221569477008 140221782902485 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20254720 140734358291142 140734358291590 140734358291590 140734358294479 0
[pid=29724/tid=29729] ppid=29721 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29724/task/29729/stat : 29729 (java) S 29721 29721 29677 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511836540 27969658880 27103 33554432000 4194304 4196468 140734358286384 140221568424208 140221782902485 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20254720 140734358291142 140734358291590 140734358291590 140734358294479 0
[pid=29724/tid=29730] ppid=29721 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29724/task/29730/stat : 29730 (java) S 29721 29721 29677 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511836540 27969658880 27103 33554432000 4194304 4196468 140734358286384 140221567372432 140221782902485 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20254720 140734358291142 140734358291590 140734358291590 140734358294479 0
[pid=29724/tid=29731] ppid=29721 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/29724/task/29731/stat : 29731 (java) S 29721 29721 29677 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511836540 27969658880 27103 33554432000 4194304 4196468 140734358286384 140221566319632 140221782902485 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20254720 140734358291142 140734358291590 140734358291590 140734358294479 0
[pid=29724/tid=29732] ppid=29721 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29724/task/29732/stat : 29732 (java) S 29721 29721 29677 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511836540 27969658880 27103 33554432000 4194304 4196468 140734358286384 140221565266832 140221782902485 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20254720 140734358291142 140734358291590 140734358291590 140734358294479 0
[pid=29724/tid=29733] ppid=29721 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29724/task/29733/stat : 29733 (java) S 29721 29721 29677 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511836540 27969658880 27103 33554432000 4194304 4196468 140734358286384 140221564214032 140221782902485 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20254720 140734358291142 140734358291590 140734358291590 140734358294479 0
[pid=29724/tid=29734] ppid=29721 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29724/task/29734/stat : 29734 (java) S 29721 29721 29677 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511836541 27969658880 27103 33554432000 4194304 4196468 140734358286384 140221155895664 140221782903426 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20254720 140734358291142 140734358291590 140734358291590 140734358294479 0
[pid=29724/tid=29735] ppid=29721 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29724/task/29735/stat : 29735 (java) S 29721 29721 29677 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 511836542 27969658880 27103 33554432000 4194304 4196468 140734358286384 140219764433952 140221782902485 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20254720 140734358291142 140734358291590 140734358291590 140734358294479 0
[pid=29724/tid=29736] ppid=29721 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29724/task/29736/stat : 29736 (java) S 29721 29721 29677 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511836542 27969658880 27103 33554432000 4194304 4196468 140734358286384 140219542135664 140221782902485 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20254720 140734358291142 140734358291590 140734358291590 140734358294479 0
[pid=29724/tid=29737] ppid=29721 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29724/task/29737/stat : 29737 (java) S 29721 29721 29677 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511836544 27969658880 27103 33554432000 4194304 4196468 140734358286384 140219167627088 140221782910875 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20254720 140734358291142 140734358291590 140734358291590 140734358294479 0
[pid=29724/tid=29738] ppid=29721 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29724/task/29738/stat : 29738 (java) S 29721 29721 29677 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 20 0 511836544 27969658880 27103 33554432000 4194304 4196468 140734358286384 140221154843504 140221782903426 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20254720 140734358291142 140734358291590 140734358291590 140734358294479 0
[pid=29724/tid=29739] ppid=29721 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29724/task/29739/stat : 29739 (java) S 29721 29721 29677 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511836544 27969658880 27103 33554432000 4194304 4196468 140734358286384 140219630213872 140221782903426 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20254720 140734358291142 140734358291590 140734358291590 140734358294479 0
[pid=29724/tid=29740] ppid=29721 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29724/task/29740/stat : 29740 (java) S 29721 29721 29677 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511836544 27969658880 27103 33554432000 4194304 4196468 140734358286384 140219629161072 140221782903426 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20254720 140734358291142 140734358291590 140734358291590 140734358294479 0
[pid=29724/tid=29741] ppid=29721 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29724/task/29741/stat : 29741 (java) S 29721 29721 29677 0 -1 1077944384 267 0 0 0 0 0 0 0 20 0 20 0 511836544 27969658880 27103 33554432000 4194304 4196468 140734358286384 140219628108272 140221782903426 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20254720 140734358291142 140734358291590 140734358291590 140734358294479 0
[pid=29724/tid=29742] ppid=29721 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29724/task/29742/stat : 29742 (java) S 29721 29721 29677 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511836544 27969658880 27103 33554432000 4194304 4196468 140734358286384 140218669722208 140221782902485 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20254720 140734358291142 140734358291590 140734358291590 140734358294479 0
[pid=29724/tid=29743] ppid=29721 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/29724/task/29743/stat : 29743 (java) S 29721 29721 29677 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511836545 27969658880 27103 33554432000 4194304 4196468 140734358286384 140219627055664 140221782903426 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20254720 140734358291142 140734358291590 140734358291590 140734358294479 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 109808 KiB

[startup+0.210594 s]*
/proc/loadavg: 7.61 8.14 8.22 2/212 29743
/proc/meminfo: memFree=24658832/32770624 swapFree=66976788/67108860
[pid=29721] ppid=29718 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/29721/stat : 29721 (scop.sh) S 29718 29721 29677 0 -1 4202496 558 320 0 0 0 0 0 0 20 0 1 0 511836536 115843072 349 33554432000 4194304 5098028 140729537659536 140729537656792 139913404863100 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 36564992 140729537667836 140729537668184 140729537668184 140729537671113 0
/proc/29721/statm: 28282 349 296 221 0 87 0
[pid=29724] ppid=29721 vsize=27314120 memory=127420 CPUtime=0.25 cores=0-7
/proc/29724/stat : 29724 (java) S 29721 29721 29677 0 -1 1077944320 12223 0 0 0 20 5 0 0 20 0 20 0 511836537 27969658880 31855 33554432000 4194304 4196468 140734358286384 140734358268928 140221782892279 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20254720 140734358291142 140734358291590 140734358291590 140734358294479 0
/proc/29724/statm: 6828530 31855 2922 1 0 6790935 0
[pid=29724/tid=29725] ppid=29721 vsize=27314120 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/29724/task/29725/stat : 29725 (java) R 29721 29721 29677 0 -1 4202560 9910 0 0 0 16 4 0 0 20 0 20 0 511836537 27969658880 31855 33554432000 4194304 4196468 140734358286384 140221754705744 140221764265736 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20254720 140734358291142 140734358291590 140734358291590 140734358294479 0
[pid=29724/tid=29726] ppid=29721 vsize=27314120 memory=331 CPUtime=0 cores=0-7
/proc/29724/task/29726/stat : 29726 (java) S 29721 29721 29677 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511836540 27969658880 31855 33554432000 4194304 4196468 140734358286384 140221787134608 140221782902485 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20254720 140734358291142 140734358291590 140734358291590 140734358294479 0
[pid=29724/tid=29727] ppid=29721 vsize=27314120 memory=288370836586620544 CPUtime=0 cores=0-7
/proc/29724/task/29727/stat : 29727 (java) S 29721 29721 29677 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511836540 27969658880 31855 33554432000 4194304 4196468 140734358286384 140221570529808 140221782902485 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20254720 140734358291142 140734358291590 140734358291590 140734358294479 0
[pid=29724/tid=29728] ppid=29721 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/29724/task/29728/stat : 29728 (java) S 29721 29721 29677 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511836540 27969658880 31855 33554432000 4194304 4196468 140734358286384 140221569477008 140221782902485 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20254720 140734358291142 140734358291590 140734358291590 140734358294479 0
[pid=29724/tid=29729] ppid=29721 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29724/task/29729/stat : 29729 (java) S 29721 29721 29677 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511836540 27969658880 31855 33554432000 4194304 4196468 140734358286384 140221568424208 140221782902485 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20254720 140734358291142 140734358291590 140734358291590 140734358294479 0
[pid=29724/tid=29730] ppid=29721 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29724/task/29730/stat : 29730 (java) S 29721 29721 29677 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511836540 27969658880 31855 33554432000 4194304 4196468 140734358286384 140221567372432 140221782902485 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20254720 140734358291142 140734358291590 140734358291590 140734358294479 0
[pid=29724/tid=29731] ppid=29721 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/29724/task/29731/stat : 29731 (java) S 29721 29721 29677 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511836540 27969658880 31855 33554432000 4194304 4196468 140734358286384 140221566319632 140221782902485 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20254720 140734358291142 140734358291590 140734358291590 140734358294479 0
[pid=29724/tid=29732] ppid=29721 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29724/task/29732/stat : 29732 (java) S 29721 29721 29677 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511836540 27969658880 31855 33554432000 4194304 4196468 140734358286384 140221565266832 140221782902485 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20254720 140734358291142 140734358291590 140734358291590 140734358294479 0
[pid=29724/tid=29733] ppid=29721 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29724/task/29733/stat : 29733 (java) S 29721 29721 29677 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511836540 27969658880 31855 33554432000 4194304 4196468 140734358286384 140221564214032 140221782902485 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20254720 140734358291142 140734358291590 140734358291590 140734358294479 0
[pid=29724/tid=29734] ppid=29721 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29724/task/29734/stat : 29734 (java) S 29721 29721 29677 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511836541 27969658880 31855 33554432000 4194304 4196468 140734358286384 140221155895664 140221782903426 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20254720 140734358291142 140734358291590 140734358291590 140734358294479 0
[pid=29724/tid=29735] ppid=29721 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29724/task/29735/stat : 29735 (java) S 29721 29721 29677 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 511836542 27969658880 31855 33554432000 4194304 4196468 140734358286384 140219764433952 140221782902485 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20254720 140734358291142 140734358291590 140734358291590 140734358294479 0
[pid=29724/tid=29736] ppid=29721 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29724/task/29736/stat : 29736 (java) S 29721 29721 29677 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511836542 27969658880 31855 33554432000 4194304 4196468 140734358286384 140219542135664 140221782902485 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20254720 140734358291142 140734358291590 140734358291590 140734358294479 0
[pid=29724/tid=29737] ppid=29721 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29724/task/29737/stat : 29737 (java) S 29721 29721 29677 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511836544 27969658880 31855 33554432000 4194304 4196468 140734358286384 140219167627088 140221782910875 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20254720 140734358291142 140734358291590 140734358291590 140734358294479 0
[pid=29724/tid=29738] ppid=29721 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29724/task/29738/stat : 29738 (java) S 29721 29721 29677 0 -1 1077944384 432 0 0 0 0 0 0 0 20 0 20 0 511836544 27969658880 31855 33554432000 4194304 4196468 140734358286384 140221154843504 140221782903426 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20254720 140734358291142 140734358291590 140734358291590 140734358294479 0
[pid=29724/tid=29739] ppid=29721 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29724/task/29739/stat : 29739 (java) S 29721 29721 29677 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 20 0 511836544 27969658880 31855 33554432000 4194304 4196468 140734358286384 140219630213872 140221782903426 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20254720 140734358291142 140734358291590 140734358291590 140734358294479 0
[pid=29724/tid=29740] ppid=29721 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/29724/task/29740/stat : 29740 (java) S 29721 29721 29677 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 20 0 511836544 27969658880 31855 33554432000 4194304 4196468 140734358286384 140219629161072 140221782903426 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20254720 140734358291142 140734358291590 140734358291590 140734358294479 0
[pid=29724/tid=29741] ppid=29721 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7
/proc/29724/task/29741/stat : 29741 (java) S 29721 29721 29677 0 -1 1077944384 483 0 0 0 2 0 0 0 20 0 20 0 511836544 27969658880 31855 33554432000 4194304 4196468 140734358286384 140219628108272 140221782903426 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20254720 140734358291142 140734358291590 140734358291590 140734358294479 0
[pid=29724/tid=29742] ppid=29721 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29724/task/29742/stat : 29742 (java) S 29721 29721 29677 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511836544 27969658880 31855 33554432000 4194304 4196468 140734358286384 140218669722208 140221782902485 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20254720 140734358291142 140734358291590 140734358291590 140734358294479 0
[pid=29724/tid=29743] ppid=29721 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/29724/task/29743/stat : 29743 (java) S 29721 29721 29677 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511836545 27969658880 31855 33554432000 4194304 4196468 140734358286384 140219627055664 140221782903426 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20254720 140734358291142 140734358291590 140734358291590 140734358294479 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 128816 KiB

[startup+0.310322 s]*
/proc/loadavg: 7.61 8.14 8.22 2/212 29743
/proc/meminfo: memFree=24655296/32770624 swapFree=66976788/67108860
[pid=29721] ppid=29718 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/29721/stat : 29721 (scop.sh) S 29718 29721 29677 0 -1 4202496 558 320 0 0 0 0 0 0 20 0 1 0 511836536 115843072 349 33554432000 4194304 5098028 140729537659536 140729537656792 139913404863100 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 36564992 140729537667836 140729537668184 140729537668184 140729537671113 0
/proc/29721/statm: 28282 349 296 221 0 87 0
[pid=29724] ppid=29721 vsize=27314120 memory=131708 CPUtime=0.43 cores=0-7
/proc/29724/stat : 29724 (java) S 29721 29721 29677 0 -1 1077944320 12789 0 0 0 38 5 0 0 20 0 20 0 511836537 27969658880 32927 33554432000 4194304 4196468 140734358286384 140734358268928 140221782892279 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20254720 140734358291142 140734358291590 140734358291590 140734358294479 0
/proc/29724/statm: 6828530 32927 3012 1 0 6790935 0
[pid=29724/tid=29725] ppid=29721 vsize=27314120 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/29724/task/29725/stat : 29725 (java) R 29721 29721 29677 0 -1 4202560 10269 0 0 0 25 4 0 0 20 0 20 0 511836537 27969658880 32927 33554432000 4194304 4196468 140734358286384 140221754705920 140221768057918 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20254720 140734358291142 140734358291590 140734358291590 140734358294479 0
[pid=29724/tid=29726] ppid=29721 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29724/task/29726/stat : 29726 (java) S 29721 29721 29677 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511836540 27969658880 32927 33554432000 4194304 4196468 140734358286384 140221787134608 140221782902485 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20254720 140734358291142 140734358291590 140734358291590 140734358294479 0
[pid=29724/tid=29727] ppid=29721 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29724/task/29727/stat : 29727 (java) S 29721 29721 29677 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511836540 27969658880 32927 33554432000 4194304 4196468 140734358286384 140221570529808 140221782902485 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20254720 140734358291142 140734358291590 140734358291590 140734358294479 0
[pid=29724/tid=29728] ppid=29721 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29724/task/29728/stat : 29728 (java) S 29721 29721 29677 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511836540 27969658880 32927 33554432000 4194304 4196468 140734358286384 140221569477008 140221782902485 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20254720 140734358291142 140734358291590 140734358291590 140734358294479 0
[pid=29724/tid=29729] ppid=29721 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29724/task/29729/stat : 29729 (java) S 29721 29721 29677 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511836540 27969658880 32927 33554432000 4194304 4196468 140734358286384 140221568424208 140221782902485 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20254720 140734358291142 140734358291590 140734358291590 140734358294479 0
[pid=29724/tid=29730] ppid=29721 vsize=27314120 memory=2244 CPUtime=0 cores=0-7
/proc/29724/task/29730/stat : 29730 (java) S 29721 29721 29677 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511836540 27969658880 32927 33554432000 4194304 4196468 140734358286384 140221567372432 140221782902485 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20254720 140734358291142 140734358291590 140734358291590 140734358294479 0
[pid=29724/tid=29731] ppid=29721 vsize=27314120 memory=140460328842159 CPUtime=0 cores=0-7
/proc/29724/task/29731/stat : 29731 (java) S 29721 29721 29677 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511836540 27969658880 32927 33554432000 4194304 4196468 140734358286384 140221566319632 140221782902485 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20254720 140734358291142 140734358291590 140734358291590 140734358294479 0
[pid=29724/tid=29732] ppid=29721 vsize=27314120 memory=140460328844464 CPUtime=0 cores=0-7
/proc/29724/task/29732/stat : 29732 (java) S 29721 29721 29677 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511836540 27969658880 32927 33554432000 4194304 4196468 140734358286384 140221565266832 140221782902485 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20254720 140734358291142 140734358291590 140734358291590 140734358294479 0
[pid=29724/tid=29733] ppid=29721 vsize=27314120 memory=140460328846768 CPUtime=0 cores=0-7
/proc/29724/task/29733/stat : 29733 (java) S 29721 29721 29677 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511836540 27969658880 32927 33554432000 4194304 4196468 140734358286384 140221564214032 140221782902485 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20254720 140734358291142 140734358291590 140734358291590 140734358294479 0
[pid=29724/tid=29734] ppid=29721 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29724/task/29734/stat : 29734 (java) S 29721 29721 29677 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511836541 27969658880 32927 33554432000 4194304 4196468 140734358286384 140221155895664 140221782903426 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20254720 140734358291142 140734358291590 140734358291590 140734358294479 0
[pid=29724/tid=29735] ppid=29721 vsize=27314120 memory=280920657700496 CPUtime=0 cores=0-7
/proc/29724/task/29735/stat : 29735 (java) S 29721 29721 29677 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 511836542 27969658880 32927 33554432000 4194304 4196468 140734358286384 140219764433952 140221782902485 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20254720 140734358291142 140734358291590 140734358291590 140734358294479 0
[pid=29724/tid=29736] ppid=29721 vsize=27314120 memory=280920657707408 CPUtime=0 cores=0-7
/proc/29724/task/29736/stat : 29736 (java) S 29721 29721 29677 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511836542 27969658880 32927 33554432000 4194304 4196468 140734358286384 140219542135664 140221782902485 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20254720 140734358291142 140734358291590 140734358291590 140734358294479 0
[pid=29724/tid=29737] ppid=29721 vsize=27314120 memory=280920657648688 CPUtime=0 cores=0-7
/proc/29724/task/29737/stat : 29737 (java) S 29721 29721 29677 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511836544 27969658880 32927 33554432000 4194304 4196468 140734358286384 140219167627088 140221782910875 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20254720 140734358291142 140734358291590 140734358291590 140734358294479 0
[pid=29724/tid=29738] ppid=29721 vsize=27314120 memory=280920657721232 CPUtime=0.02 cores=0-7
/proc/29724/task/29738/stat : 29738 (java) R 29721 29721 29677 0 -1 4202560 519 0 0 0 2 0 0 0 20 0 20 0 511836544 27969658880 32927 33554432000 4194304 4196468 140734358286384 140221154843504 140221767280320 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20254720 140734358291142 140734358291590 140734358291590 140734358294479 0
[pid=29724/tid=29739] ppid=29721 vsize=27314120 memory=280920657728144 CPUtime=0.01 cores=0-7
/proc/29724/task/29739/stat : 29739 (java) S 29721 29721 29677 0 -1 1077944384 69 0 0 0 1 0 0 0 20 0 20 0 511836544 27969658880 32927 33554432000 4194304 4196468 140734358286384 140219630213872 140221782903426 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20254720 140734358291142 140734358291590 140734358291590 140734358294479 0
[pid=29724/tid=29740] ppid=29721 vsize=27314120 memory=280920657725840 CPUtime=0 cores=0-7
/proc/29724/task/29740/stat : 29740 (java) S 29721 29721 29677 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 20 0 511836544 27969658880 32927 33554432000 4194304 4196468 140734358286384 140219629161072 140221782903426 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20254720 140734358291142 140734358291590 140734358291590 140734358294479 0
[pid=29724/tid=29741] ppid=29721 vsize=27314120 memory=280920657742000 CPUtime=0.07 cores=0-7
/proc/29724/task/29741/stat : 29741 (java) S 29721 29721 29677 0 -1 1077944384 531 0 0 0 7 0 0 0 20 0 20 0 511836544 27969658880 32927 33554432000 4194304 4196468 140734358286384 140219628108272 140221782903426 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20254720 140734358291142 140734358291590 140734358291590 140734358294479 0
[pid=29724/tid=29742] ppid=29721 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29724/task/29742/stat : 29742 (java) S 29721 29721 29677 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511836544 27969658880 32927 33554432000 4194304 4196468 140734358286384 140218669722208 140221782902485 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20254720 140734358291142 140734358291590 140734358291590 140734358294479 0
[pid=29724/tid=29743] ppid=29721 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/29724/task/29743/stat : 29743 (java) S 29721 29721 29677 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511836545 27969658880 32927 33554432000 4194304 4196468 140734358286384 140219627055664 140221782903426 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20254720 140734358291142 140734358291590 140734358291590 140734358294479 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 133104 KiB

[startup+0.700955 s]
/proc/loadavg: 7.61 8.14 8.22 2/212 29743
/proc/meminfo: memFree=24635528/32770624 swapFree=66976788/67108860
[pid=29721] ppid=29718 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/29721/stat : 29721 (scop.sh) S 29718 29721 29677 0 -1 4202496 558 320 0 0 0 0 0 0 20 0 1 0 511836536 115843072 349 33554432000 4194304 5098028 140729537659536 140729537656792 139913404863100 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 36564992 140729537667836 140729537668184 140729537668184 140729537671113 0
/proc/29721/statm: 28282 349 296 221 0 87 0
[pid=29724] ppid=29721 vsize=27322440 memory=167784 CPUtime=1 cores=0-7
/proc/29724/stat : 29724 (java) S 29721 29721 29677 0 -1 1077944320 20555 0 0 0 92 8 0 0 20 0 20 0 511836537 27978178560 41946 33554432000 4194304 4196468 140734358286384 140734358268928 140221782892279 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20254720 140734358291142 140734358291590 140734358291590 140734358294479 0
/proc/29724/statm: 6830610 41946 3180 1 0 6791959 0
[pid=29724/tid=29725] ppid=29721 vsize=27322440 memory=280920658099888 CPUtime=0.67 cores=0-7
/proc/29724/task/29725/stat : 29725 (java) R 29721 29721 29677 0 -1 4202560 17425 0 0 0 61 6 0 0 20 0 20 0 511836537 27978178560 41946 33554432000 4194304 4196468 140734358286384 140221754724000 140221766972766 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20254720 140734358291142 140734358291590 140734358291590 140734358294479 0
[pid=29724/tid=29726] ppid=29721 vsize=27322440 memory=140460329050992 CPUtime=0 cores=0-7
/proc/29724/task/29726/stat : 29726 (java) S 29721 29721 29677 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511836540 27978178560 41946 33554432000 4194304 4196468 140734358286384 140221787134608 140221782902485 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20254720 140734358291142 140734358291590 140734358291590 140734358294479 0
[pid=29724/tid=29727] ppid=29721 vsize=27322440 memory=0 CPUtime=0 cores=0-7
/proc/29724/task/29727/stat : 29727 (java) S 29721 29721 29677 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511836540 27978178560 41946 33554432000 4194304 4196468 140734358286384 140221570529808 140221782902485 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20254720 140734358291142 140734358291590 140734358291590 140734358294479 0
[pid=29724/tid=29728] ppid=29721 vsize=27322440 memory=1060 CPUtime=0 cores=0-7
/proc/29724/task/29728/stat : 29728 (java) S 29721 29721 29677 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511836540 27978178560 41946 33554432000 4194304 4196468 140734358286384 140221569477008 140221782902485 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20254720 140734358291142 140734358291590 140734358291590 140734358294479 0

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

[pid=29752/tid=29755] ppid=29721 vsize=8414124 memory=988 CPUtime=0 cores=0-7
/proc/29752/task/29755/stat : 29755 (java) S 29721 29721 29677 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511850084 8616062976 39769 33554432000 4194304 4196468 140732907674912 140123251567632 140123447166677 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18886656 140732907676639 140732907676806 140732907676806 140732907679695 0
[pid=29752/tid=29756] ppid=29721 vsize=8414124 memory=2008 CPUtime=0 cores=0-7
/proc/29752/task/29756/stat : 29756 (java) S 29721 29721 29677 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 511850084 8616062976 39769 33554432000 4194304 4196468 140732907674912 140123250514832 140123447166677 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18886656 140732907676639 140732907676806 140732907676806 140732907679695 0
[pid=29752/tid=29757] ppid=29721 vsize=8414124 memory=1440 CPUtime=0 cores=0-7
/proc/29752/task/29757/stat : 29757 (java) S 29721 29721 29677 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 511850084 8616062976 39769 33554432000 4194304 4196468 140732907674912 140123249462032 140123447166677 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18886656 140732907676639 140732907676806 140732907676806 140732907679695 0
[pid=29752/tid=29758] ppid=29721 vsize=8414124 memory=580 CPUtime=0 cores=0-7
/proc/29752/task/29758/stat : 29758 (java) S 29721 29721 29677 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 511850085 8616062976 39769 33554432000 4194304 4196468 140732907674912 140123248409232 140123447166677 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18886656 140732907676639 140732907676806 140732907676806 140732907679695 0
[pid=29752/tid=29759] ppid=29721 vsize=8414124 memory=1716 CPUtime=0 cores=0-7
/proc/29752/task/29759/stat : 29759 (java) S 29721 29721 29677 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 511850085 8616062976 39769 33554432000 4194304 4196468 140732907674912 140123247356432 140123447166677 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18886656 140732907676639 140732907676806 140732907676806 140732907679695 0
[pid=29752/tid=29760] ppid=29721 vsize=8414124 memory=10604 CPUtime=0 cores=0-7
/proc/29752/task/29760/stat : 29760 (java) S 29721 29721 29677 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 511850085 8616062976 39769 33554432000 4194304 4196468 140732907674912 140123246303632 140123447166677 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18886656 140732907676639 140732907676806 140732907676806 140732907679695 0
[pid=29752/tid=29761] ppid=29721 vsize=8414124 memory=-7824251494390913124 CPUtime=0 cores=0-7
/proc/29752/task/29761/stat : 29761 (java) S 29721 29721 29677 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511850085 8616062976 39769 33554432000 4194304 4196468 140732907674912 140123245250832 140123447166677 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18886656 140732907676639 140732907676806 140732907676806 140732907679695 0
[pid=29752/tid=29762] ppid=29721 vsize=8414124 memory=2828 CPUtime=0 cores=0-7
/proc/29752/task/29762/stat : 29762 (java) S 29721 29721 29677 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 511850086 8616062976 39769 33554432000 4194304 4196468 140732907674912 140122540596080 140123447167618 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18886656 140732907676639 140732907676806 140732907676806 140732907679695 0
[pid=29752/tid=29763] ppid=29721 vsize=8414124 memory=1216 CPUtime=0 cores=0-7
/proc/29752/task/29763/stat : 29763 (java) S 29721 29721 29677 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 511850086 8616062976 39769 33554432000 4194304 4196468 140732907674912 140122032956960 140123447166677 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18886656 140732907676639 140732907676806 140732907676806 140732907679695 0
[pid=29752/tid=29764] ppid=29721 vsize=8414124 memory=984 CPUtime=0 cores=0-7
/proc/29752/task/29764/stat : 29764 (java) S 29721 29721 29677 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511850087 8616062976 39769 33554432000 4194304 4196468 140732907674912 140121764521328 140123447166677 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18886656 140732907676639 140732907676806 140732907676806 140732907679695 0
[pid=29752/tid=29765] ppid=29721 vsize=8414124 memory=14004 CPUtime=0 cores=0-7
/proc/29752/task/29765/stat : 29765 (java) S 29721 29721 29677 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511850089 8616062976 39769 33554432000 4194304 4196468 140732907674912 140121390012752 140123447175067 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18886656 140732907676639 140732907676806 140732907676806 140732907679695 0
[pid=29752/tid=29766] ppid=29721 vsize=8414124 memory=35524 CPUtime=0.22 cores=0-7
/proc/29752/task/29766/stat : 29766 (java) S 29721 29721 29677 0 -1 1077944384 1100 0 0 0 22 0 0 0 20 0 24 0 511850089 8616062976 39769 33554432000 4194304 4196468 140732907674912 140122539542896 140123447167618 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18886656 140732907676639 140732907676806 140732907676806 140732907679695 0
[pid=29752/tid=29767] ppid=29721 vsize=8414124 memory=14048 CPUtime=0.17 cores=0-7
/proc/29752/task/29767/stat : 29767 (java) S 29721 29721 29677 0 -1 1077944384 382 0 0 0 17 0 0 0 20 0 24 0 511850089 8616062976 39769 33554432000 4194304 4196468 140732907674912 140122538490096 140123447167618 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18886656 140732907676639 140732907676806 140732907676806 140732907679695 0
[pid=29752/tid=29768] ppid=29721 vsize=8414124 memory=6791534058613427641 CPUtime=0.18 cores=0-7
/proc/29752/task/29768/stat : 29768 (java) S 29721 29721 29677 0 -1 1077944384 589 0 0 0 18 0 0 0 20 0 24 0 511850090 8616062976 39769 33554432000 4194304 4196468 140732907674912 140122537437296 140123447167618 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18886656 140732907676639 140732907676806 140732907676806 140732907679695 0
[pid=29752/tid=29769] ppid=29721 vsize=8414124 memory=7881912 CPUtime=0.23 cores=0-7
/proc/29752/task/29769/stat : 29769 (java) S 29721 29721 29677 0 -1 1077944384 592 0 0 0 23 0 0 0 20 0 24 0 511850090 8616062976 39769 33554432000 4194304 4196468 140732907674912 140122536384496 140123447167618 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18886656 140732907676639 140732907676806 140732907676806 140732907679695 0
[pid=29752/tid=29770] ppid=29721 vsize=8414124 memory=7263388 CPUtime=0 cores=0-7
/proc/29752/task/29770/stat : 29770 (java) S 29721 29721 29677 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 511850090 8616062976 39769 33554432000 4194304 4196468 140732907674912 140120892107872 140123447166677 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18886656 140732907676639 140732907676806 140732907676806 140732907679695 0
[pid=29752/tid=29771] ppid=29721 vsize=8414124 memory=6791534058613427641 CPUtime=0 cores=0-7
/proc/29752/task/29771/stat : 29771 (java) S 29721 29721 29677 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511850090 8616062976 39769 33554432000 4194304 4196468 140732907674912 140122535332912 140123447167618 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18886656 140732907676639 140732907676806 140732907676806 140732907679695 0
[pid=29752/tid=29774] ppid=29721 vsize=8414124 memory=816 CPUtime=0 cores=0-7
/proc/29752/task/29774/stat : 29774 (java) S 29721 29721 29677 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 511850191 8616062976 39769 33554432000 4194304 4196468 140732907674912 140122527299136 140123447181081 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 18886656 140732907676639 140732907676806 140732907676806 140732907679695 0
[pid=29752/tid=29776] ppid=29721 vsize=8414124 memory=159076 CPUtime=0 cores=0-7
/proc/29752/task/29776/stat : 29776 (java) S 29721 29721 29677 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 511850191 8616062976 39769 33554432000 4194304 4196468 140732907674912 140120489442992 140123447178397 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 18886656 140732907676639 140732907676806 140732907676806 140732907679695 0
[pid=29752/tid=29777] ppid=29721 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/29752/task/29777/stat : 29777 (java) S 29721 29721 29677 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 24 0 511850191 8616062976 39769 33554432000 4194304 4196468 140732907674912 140120221007408 140123447178397 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 18886656 140732907676639 140732907676806 140732907676806 140732907679695 0
[pid=29752/tid=29778] ppid=29721 vsize=8414124 memory=14048 CPUtime=0 cores=0-7
/proc/29752/task/29778/stat : 29778 (java) S 29721 29721 29677 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 511850193 8616062976 39769 33554432000 4194304 4196468 140732907674912 140119952579632 140123447166677 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18886656 140732907676639 140732907676806 140732907676806 140732907679695 0
Current children cumulated CPU time: 166.17 s
Current children cumulated vsize: 8873660 KiB
Current children cumulated memory: 482880 KiB

[startup+138.001 s]*
/proc/loadavg: 1.70 5.56 7.25 4/217 29786
/proc/meminfo: memFree=24081512/32770624 swapFree=66976788/67108860
[pid=29721] ppid=29718 vsize=113128 memory=1476 CPUtime=163.18 cores=0-7
/proc/29721/stat : 29721 (scop.sh) S 29718 29721 29677 0 -1 4202496 584 75502 0 0 0 0 15641 677 20 0 1 0 511836536 115843072 369 33554432000 4194304 5098028 140729537659536 140729537656280 139913404863100 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 36564992 140729537667836 140729537668184 140729537668184 140729537671113 0
/proc/29721/statm: 28282 369 311 221 0 87 0
[pid=29752] ppid=29721 vsize=8414124 memory=173776 CPUtime=2.13 cores=0-7
/proc/29752/stat : 29752 (java) S 29721 29721 29677 0 -1 1077944320 21568 0 0 0 188 25 0 0 20 0 24 0 511850082 8616062976 43444 33554432000 4194304 4196468 140732907674912 140732907657456 140123447156471 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18886656 140732907676639 140732907676806 140732907676806 140732907679695 0
/proc/29752/statm: 2103531 43444 3209 1 0 2064875 0
[pid=29752/tid=29753] ppid=29721 vsize=8414124 memory=6791534058613427641 CPUtime=1.1 cores=0-7
/proc/29752/task/29753/stat : 29753 (java) S 29721 29721 29677 0 -1 1077944384 17371 0 0 0 88 22 0 0 20 0 24 0 511850083 8616062976 43444 33554432000 4194304 4196468 140732907674912 140123418996640 140123447166677 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18886656 140732907676639 140732907676806 140732907676806 140732907679695 0
[pid=29752/tid=29754] ppid=29721 vsize=8414124 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/29752/task/29754/stat : 29754 (java) S 29721 29721 29677 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511850084 8616062976 43444 33554432000 4194304 4196468 140732907674912 140123451399312 140123447166677 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18886656 140732907676639 140732907676806 140732907676806 140732907679695 0
[pid=29752/tid=29755] ppid=29721 vsize=8414124 memory=7591245158353710490 CPUtime=0 cores=0-7
/proc/29752/task/29755/stat : 29755 (java) S 29721 29721 29677 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511850084 8616062976 43444 33554432000 4194304 4196468 140732907674912 140123251567632 140123447166677 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18886656 140732907676639 140732907676806 140732907676806 140732907679695 0
[pid=29752/tid=29756] ppid=29721 vsize=8414124 memory=7591245158353710490 CPUtime=0 cores=0-7
/proc/29752/task/29756/stat : 29756 (java) S 29721 29721 29677 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 511850084 8616062976 43483 33554432000 4194304 4196468 140732907674912 140123250514832 140123447166677 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18886656 140732907676639 140732907676806 140732907676806 140732907679695 0
[pid=29752/tid=29757] ppid=29721 vsize=8414124 memory=7591245158353710490 CPUtime=0 cores=0-7
/proc/29752/task/29757/stat : 29757 (java) S 29721 29721 29677 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 511850084 8616062976 43483 33554432000 4194304 4196468 140732907674912 140123249462032 140123447166677 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18886656 140732907676639 140732907676806 140732907676806 140732907679695 0
[pid=29752/tid=29758] ppid=29721 vsize=8414124 memory=7591245158353710490 CPUtime=0 cores=0-7
/proc/29752/task/29758/stat : 29758 (java) S 29721 29721 29677 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 511850085 8616062976 43483 33554432000 4194304 4196468 140732907674912 140123248409232 140123447166677 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18886656 140732907676639 140732907676806 140732907676806 140732907679695 0
[pid=29752/tid=29759] ppid=29721 vsize=8414124 memory=7591245158353710490 CPUtime=0 cores=0-7
/proc/29752/task/29759/stat : 29759 (java) S 29721 29721 29677 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 511850085 8616062976 43483 33554432000 4194304 4196468 140732907674912 140123247356432 140123447166677 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18886656 140732907676639 140732907676806 140732907676806 140732907679695 0
[pid=29752/tid=29760] ppid=29721 vsize=8414124 memory=7591245158353710490 CPUtime=0 cores=0-7
/proc/29752/task/29760/stat : 29760 (java) S 29721 29721 29677 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 511850085 8616062976 43483 33554432000 4194304 4196468 140732907674912 140123246303632 140123447166677 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18886656 140732907676639 140732907676806 140732907676806 140732907679695 0
[pid=29752/tid=29761] ppid=29721 vsize=8414124 memory=7591245158353710490 CPUtime=0 cores=0-7
/proc/29752/task/29761/stat : 29761 (java) S 29721 29721 29677 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511850085 8616062976 43483 33554432000 4194304 4196468 140732907674912 140123245250832 140123447166677 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18886656 140732907676639 140732907676806 140732907676806 140732907679695 0
[pid=29752/tid=29762] ppid=29721 vsize=8414124 memory=7591245158353710490 CPUtime=0 cores=0-7
/proc/29752/task/29762/stat : 29762 (java) S 29721 29721 29677 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 511850086 8616062976 43483 33554432000 4194304 4196468 140732907674912 140122540596080 140123447167618 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18886656 140732907676639 140732907676806 140732907676806 140732907679695 0
[pid=29752/tid=29763] ppid=29721 vsize=8414124 memory=7591245158353710490 CPUtime=0 cores=0-7
/proc/29752/task/29763/stat : 29763 (java) S 29721 29721 29677 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 511850086 8616062976 43483 33554432000 4194304 4196468 140732907674912 140122032956960 140123447166677 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18886656 140732907676639 140732907676806 140732907676806 140732907679695 0
[pid=29752/tid=29764] ppid=29721 vsize=8414124 memory=7591245158353710490 CPUtime=0 cores=0-7
/proc/29752/task/29764/stat : 29764 (java) S 29721 29721 29677 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511850087 8616062976 43483 33554432000 4194304 4196468 140732907674912 140121764521328 140123447166677 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18886656 140732907676639 140732907676806 140732907676806 140732907679695 0
[pid=29752/tid=29765] ppid=29721 vsize=8414124 memory=7591245158353710490 CPUtime=0 cores=0-7
/proc/29752/task/29765/stat : 29765 (java) S 29721 29721 29677 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511850089 8616062976 43483 33554432000 4194304 4196468 140732907674912 140121390012752 140123447175067 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18886656 140732907676639 140732907676806 140732907676806 140732907679695 0
[pid=29752/tid=29766] ppid=29721 vsize=8414124 memory=7591245158353710490 CPUtime=0.25 cores=0-7
/proc/29752/task/29766/stat : 29766 (java) S 29721 29721 29677 0 -1 1077944384 1113 0 0 0 25 0 0 0 20 0 24 0 511850089 8616062976 43483 33554432000 4194304 4196468 140732907674912 140122539542896 140123447167618 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18886656 140732907676639 140732907676806 140732907676806 140732907679695 0
[pid=29752/tid=29767] ppid=29721 vsize=8414124 memory=7591245158353710490 CPUtime=0.21 cores=0-7
/proc/29752/task/29767/stat : 29767 (java) S 29721 29721 29677 0 -1 1077944384 394 0 0 0 21 0 0 0 20 0 24 0 511850089 8616062976 43483 33554432000 4194304 4196468 140732907674912 140122538490096 140123447167618 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18886656 140732907676639 140732907676806 140732907676806 140732907679695 0
[pid=29752/tid=29768] ppid=29721 vsize=8414124 memory=7591245158353710490 CPUtime=0.2 cores=0-7
/proc/29752/task/29768/stat : 29768 (java) S 29721 29721 29677 0 -1 1077944384 601 0 0 0 20 0 0 0 20 0 24 0 511850090 8616062976 43483 33554432000 4194304 4196468 140732907674912 140122537437296 140123447167618 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18886656 140732907676639 140732907676806 140732907676806 140732907679695 0
[pid=29752/tid=29769] ppid=29721 vsize=8414124 memory=7591245158353710490 CPUtime=0.27 cores=0-7
/proc/29752/task/29769/stat : 29769 (java) S 29721 29721 29677 0 -1 1077944384 674 0 0 0 27 0 0 0 20 0 24 0 511850090 8616062976 43483 33554432000 4194304 4196468 140732907674912 140122536384496 140123447167618 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18886656 140732907676639 140732907676806 140732907676806 140732907679695 0
[pid=29752/tid=29770] ppid=29721 vsize=8414124 memory=7591245158353710490 CPUtime=0 cores=0-7
/proc/29752/task/29770/stat : 29770 (java) S 29721 29721 29677 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 511850090 8616062976 43483 33554432000 4194304 4196468 140732907674912 140120892107872 140123447166677 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18886656 140732907676639 140732907676806 140732907676806 140732907679695 0
[pid=29752/tid=29771] ppid=29721 vsize=8414124 memory=5946792625143387286 CPUtime=0 cores=0-7
/proc/29752/task/29771/stat : 29771 (java) S 29721 29721 29677 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511850090 8616062976 43483 33554432000 4194304 4196468 140732907674912 140122535332912 140123447167618 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18886656 140732907676639 140732907676806 140732907676806 140732907679695 0
[pid=29752/tid=29774] ppid=29721 vsize=8414124 memory=-8820979915922421270 CPUtime=0 cores=0-7
/proc/29752/task/29774/stat : 29774 (java) S 29721 29721 29677 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 511850191 8616062976 43483 33554432000 4194304 4196468 140732907674912 140122527299136 140123447181081 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 18886656 140732907676639 140732907676806 140732907676806 140732907679695 0
[pid=29752/tid=29776] ppid=29721 vsize=8414124 memory=7517783488068102537 CPUtime=0.05 cores=0-7
/proc/29752/task/29776/stat : 29776 (java) R 29721 29721 29677 0 -1 4202560 43 0 0 0 5 0 0 0 20 0 24 0 511850191 8616062976 43483 33554432000 4194304 4196468 140732907674912 140120489443056 140122925750710 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18886656 140732907676639 140732907676806 140732907676806 140732907679695 0
[pid=29752/tid=29777] ppid=29721 vsize=8414124 memory=7295947216714228122 CPUtime=0 cores=0-7
/proc/29752/task/29777/stat : 29777 (java) S 29721 29721 29677 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 24 0 511850191 8616062976 43483 33554432000 4194304 4196468 140732907674912 140120221007408 140123447178397 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 18886656 140732907676639 140732907676806 140732907676806 140732907679695 0
[pid=29752/tid=29778] ppid=29721 vsize=8414124 memory=-6510923483710009956 CPUtime=0 cores=0-7
/proc/29752/task/29778/stat : 29778 (java) S 29721 29721 29677 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 511850193 8616062976 43483 33554432000 4194304 4196468 140732907674912 140119952579632 140123447166677 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18886656 140732907676639 140732907676806 140732907676806 140732907679695 0
Current children cumulated CPU time: 165.31 s
Current children cumulated vsize: 8527252 KiB
Current children cumulated memory: 175252 KiB

[startup+138.201 s]
/proc/loadavg: 1.70 5.56 7.25 4/217 29786
/proc/meminfo: memFree=24081512/32770624 swapFree=66976788/67108860
[pid=29721] ppid=29718 vsize=113128 memory=1476 CPUtime=163.18 cores=0-7
/proc/29721/stat : 29721 (scop.sh) S 29718 29721 29677 0 -1 4202496 584 75502 0 0 0 0 15641 677 20 0 1 0 511836536 115843072 369 33554432000 4194304 5098028 140729537659536 140729537656280 139913404863100 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 36564992 140729537667836 140729537668184 140729537668184 140729537671113 0
/proc/29721/statm: 28282 369 311 221 0 87 0
[pid=29752] ppid=29721 vsize=8283048 memory=206760 CPUtime=4.35 cores=0-7
/proc/29752/stat : 29752 (java) S 29721 29721 29677 0 -1 1077944320 22081 98456 0 0 230 26 155 24 20 0 22 0 511850082 8481841152 51690 33554432000 4194304 4196468 140732907674912 140732907657456 140123447156471 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18886656 140732907676639 140732907676806 140732907676806 140732907679695 0
/proc/29752/statm: 2070762 51690 3236 1 0 2032106 0
[pid=29752/tid=29753] ppid=29721 vsize=8283048 memory=1984 CPUtime=3 cores=0-7
/proc/29752/task/29753/stat : 29753 (java) R 29721 29721 29677 0 -1 4202560 17622 98456 0 0 99 22 155 24 20 0 22 0 511850083 8481841152 51690 33554432000 4194304 4196468 140732907674912 140123418987280 140123428720046 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18886656 140732907676639 140732907676806 140732907676806 140732907679695 0
[pid=29752/tid=29754] ppid=29721 vsize=8283048 memory=2580 CPUtime=1.79 cores=0-7
/proc/29752/task/29754/stat : 29754 (java) S 29721 29721 29677 0 -1 1077944384 1 98456 0 0 0 0 155 24 20 0 22 0 511850084 8481841152 51690 33554432000 4194304 4196468 140732907674912 140123451399312 140123447166677 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18886656 140732907676639 140732907676806 140732907676806 140732907679695 0
[pid=29752/tid=29755] ppid=29721 vsize=8283048 memory=1760 CPUtime=1.79 cores=0-7
/proc/29752/task/29755/stat : 29755 (java) S 29721 29721 29677 0 -1 1077944384 1 98456 0 0 0 0 155 24 20 0 22 0 511850084 8481841152 51690 33554432000 4194304 4196468 140732907674912 140123251567632 140123447166677 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18886656 140732907676639 140732907676806 140732907676806 140732907679695 0
[pid=29752/tid=29756] ppid=29721 vsize=8283048 memory=288230574492221466 CPUtime=1.79 cores=0-7
/proc/29752/task/29756/stat : 29756 (java) S 29721 29721 29677 0 -1 1077944384 3 98456 0 0 0 0 155 24 20 0 22 0 511850084 8481841152 51690 33554432000 4194304 4196468 140732907674912 140123250514832 140123447166677 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18886656 140732907676639 140732907676806 140732907676806 140732907679695 0
[pid=29752/tid=29757] ppid=29721 vsize=8283048 memory=303430231908417850 CPUtime=1.79 cores=0-7
/proc/29752/task/29757/stat : 29757 (java) S 29721 29721 29677 0 -1 1077944384 2 98456 0 0 0 0 155 24 20 0 22 0 511850084 8481841152 51690 33554432000 4194304 4196468 140732907674912 140123249462032 140123447166677 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18886656 140732907676639 140732907676806 140732907676806 140732907679695 0
[pid=29752/tid=29758] ppid=29721 vsize=8283048 memory=14981057220971048 CPUtime=1.79 cores=0-7
/proc/29752/task/29758/stat : 29758 (java) S 29721 29721 29677 0 -1 1077944384 2 98456 0 0 0 0 155 24 20 0 22 0 511850085 8481841152 51690 33554432000 4194304 4196468 140732907674912 140123248409232 140123447166677 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18886656 140732907676639 140732907676806 140732907676806 140732907679695 0
[pid=29752/tid=29759] ppid=29721 vsize=8283048 memory=3908 CPUtime=1.79 cores=0-7
/proc/29752/task/29759/stat : 29759 (java) S 29721 29721 29677 0 -1 1077944384 2 98456 0 0 0 0 155 24 20 0 22 0 511850085 8481841152 51690 33554432000 4194304 4196468 140732907674912 140123247356432 140123447166677 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18886656 140732907676639 140732907676806 140732907676806 140732907679695 0
[pid=29752/tid=29760] ppid=29721 vsize=8283048 memory=1408 CPUtime=1.79 cores=0-7
/proc/29752/task/29760/stat : 29760 (java) S 29721 29721 29677 0 -1 1077944384 2 98456 0 0 0 0 155 24 20 0 22 0 511850085 8481841152 51690 33554432000 4194304 4196468 140732907674912 140123246303632 140123447166677 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18886656 140732907676639 140732907676806 140732907676806 140732907679695 0
[pid=29752/tid=29761] ppid=29721 vsize=8283048 memory=3180 CPUtime=1.79 cores=0-7
/proc/29752/task/29761/stat : 29761 (java) S 29721 29721 29677 0 -1 1077944384 1 98456 0 0 0 0 155 24 20 0 22 0 511850085 8481841152 51690 33554432000 4194304 4196468 140732907674912 140123245250832 140123447166677 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18886656 140732907676639 140732907676806 140732907676806 140732907679695 0
[pid=29752/tid=29762] ppid=29721 vsize=8283048 memory=6791534058613427641 CPUtime=1.79 cores=0-7
/proc/29752/task/29762/stat : 29762 (java) S 29721 29721 29677 0 -1 1077944384 5 98456 0 0 0 0 155 24 20 0 22 0 511850086 8481841152 51690 33554432000 4194304 4196468 140732907674912 140122540596080 140123447167618 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18886656 140732907676639 140732907676806 140732907676806 140732907679695 0
[pid=29752/tid=29763] ppid=29721 vsize=8283048 memory=1436 CPUtime=1.79 cores=0-7
/proc/29752/task/29763/stat : 29763 (java) S 29721 29721 29677 0 -1 1077944384 13 98456 0 0 0 0 155 24 20 0 22 0 511850086 8481841152 51690 33554432000 4194304 4196468 140732907674912 140122032956960 140123447166677 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18886656 140732907676639 140732907676806 140732907676806 140732907679695 0
[pid=29752/tid=29764] ppid=29721 vsize=8283048 memory=1984 CPUtime=1.79 cores=0-7
/proc/29752/task/29764/stat : 29764 (java) S 29721 29721 29677 0 -1 1077944384 1 98456 0 0 0 0 155 24 20 0 22 0 511850087 8481841152 51690 33554432000 4194304 4196468 140732907674912 140121764521328 140123447166677 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18886656 140732907676639 140732907676806 140732907676806 140732907679695 0
[pid=29752/tid=29765] ppid=29721 vsize=8283048 memory=2580 CPUtime=1.79 cores=0-7
/proc/29752/task/29765/stat : 29765 (java) S 29721 29721 29677 0 -1 1077944384 1 98456 0 0 0 0 155 24 20 0 22 0 511850089 8481841152 51690 33554432000 4194304 4196468 140732907674912 140121390012752 140123447175067 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18886656 140732907676639 140732907676806 140732907676806 140732907679695 0
[pid=29752/tid=29766] ppid=29721 vsize=8283048 memory=1760 CPUtime=2.1 cores=0-7
/proc/29752/task/29766/stat : 29766 (java) R 29721 29721 29677 0 -1 1077944384 1147 98456 0 0 31 0 155 24 20 0 22 0 511850089 8481841152 51690 33554432000 4194304 4196468 140732907674912 140122539542896 140123447167618 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18886656 140732907676639 140732907676806 140732907676806 140732907679695 0
[pid=29752/tid=29767] ppid=29721 vsize=8283048 memory=111636 CPUtime=2.06 cores=0-7
/proc/29752/task/29767/stat : 29767 (java) S 29721 29721 29677 0 -1 1077944384 425 98456 0 0 27 0 155 24 20 0 22 0 511850089 8481841152 51690 33554432000 4194304 4196468 140732907674912 140122538490096 140123447167618 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18886656 140732907676639 140732907676806 140732907676806 140732907679695 0
[pid=29752/tid=29768] ppid=29721 vsize=8283048 memory=800 CPUtime=2.04 cores=0-7
/proc/29752/task/29768/stat : 29768 (java) S 29721 29721 29677 0 -1 1077944384 617 98456 0 0 25 0 155 24 20 0 22 0 511850090 8481841152 51690 33554432000 4194304 4196468 140732907674912 140122537437296 140123447167618 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18886656 140732907676639 140732907676806 140732907676806 140732907679695 0
[pid=29752/tid=29769] ppid=29721 vsize=8283048 memory=4108 CPUtime=2.11 cores=0-7
/proc/29752/task/29769/stat : 29769 (java) R 29721 29721 29677 0 -1 4202560 800 98456 0 0 32 0 155 24 20 0 22 0 511850090 8481841152 51690 33554432000 4194304 4196468 140732907674912 140122536384496 140123447168406 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 18886656 140732907676639 140732907676806 140732907676806 140732907679695 0
[pid=29752/tid=29770] ppid=29721 vsize=8283048 memory=6791534058613427641 CPUtime=1.79 cores=0-7
/proc/29752/task/29770/stat : 29770 (java) S 29721 29721 29677 0 -1 1077944384 3 98456 0 0 0 0 155 24 20 0 22 0 511850090 8481841152 51690 33554432000 4194304 4196468 140732907674912 140120892107872 140123447166677 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18886656 140732907676639 140732907676806 140732907676806 140732907679695 0
[pid=29752/tid=29771] ppid=29721 vsize=8283048 memory=1966203 CPUtime=1.79 cores=0-7
/proc/29752/task/29771/stat : 29771 (java) S 29721 29721 29677 0 -1 1077944384 1 98456 0 0 0 0 155 24 20 0 22 0 511850090 8481841152 51690 33554432000 4194304 4196468 140732907674912 140122535332912 140123447167618 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18886656 140732907676639 140732907676806 140732907676806 140732907679695 0
[pid=29752/tid=29774] ppid=29721 vsize=8283048 memory=1968462 CPUtime=1.79 cores=0-7
/proc/29752/task/29774/stat : 29774 (java) S 29721 29721 29677 0 -1 1077944384 23 98456 0 0 0 0 155 24 20 0 22 0 511850191 8481841152 51690 33554432000 4194304 4196468 140732907674912 140122527298320 140123447167618 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18886656 140732907676639 140732907676806 140732907676806 140732907679695 0
[pid=29752/tid=29778] ppid=29721 vsize=8283048 memory=0 CPUtime=1.79 cores=0-7
/proc/29752/task/29778/stat : 29778 (java) S 29721 29721 29677 0 -1 1077944384 11 98456 0 0 0 0 155 24 20 0 22 0 511850193 8481841152 51690 33554432000 4194304 4196468 140732907674912 140119952581424 140123447167618 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18886656 140732907676639 140732907676806 140732907676806 140732907679695 0
Current children cumulated CPU time: 167.53 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 208236 KiB

Child status: 0
Real time (s): 138.268
CPU time (s): 167.682
CPU user time (s): 160.371
CPU system time (s): 7.31153
CPU usage (%): 121.273
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 7979912

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 160.371
system time used= 7.31153
maximum resident set size= 7978548
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 198448
page faults= 0
swaps= 0
block input operations= 0
block output operations= 35848
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 24680
involuntary context switches= 319


# summary of solver processes directly reported to runsolver:
#   pid: 29721
#   total CPU time (s): 167.682
#   total CPU user time (s): 160.371
#   total CPU system time (s): 7.31153

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.967033 second user time and 1.49883 second system time

The end

Launcher Data 

Begin job on node124 at 2019-09-24 23:02:04
IDJOB=4405520
IDBENCH=138763
IDSOLVER=2868
FILE ID=node124/4405520-1569358965
RUNJOBID= node124-1569358924-29704
PBS_JOBID= 21705116
Free space on /var/tmp= 13520 MiB

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

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

MD5SUM BENCH= 7f68b5f256bf6bd8019eb0158af88fa3
RANDOM SEED=426137005

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        24778564 kB
MemAvailable:   31813384 kB
Buffers:          135312 kB
Cached:          6992460 kB
SwapCached:        29084 kB
Active:          3506548 kB
Inactive:        3655368 kB
Active(anon):       3072 kB
Inactive(anon):    88932 kB
Active(file):    3503476 kB
Inactive(file):  3566436 kB
Unevictable:      108576 kB
Mlocked:          108576 kB
SwapTotal:      67108860 kB
SwapFree:       66976788 kB
Dirty:             20212 kB
Writeback:             0 kB
AnonPages:        114968 kB
Mapped:            57512 kB
Shmem:             49092 kB
Slab:             421888 kB
SReclaimable:     393368 kB
SUnreclaim:        28520 kB
KernelStack:        3296 kB
PageTables:         5404 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     514232 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     69632 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      112000 kB
DirectMap2M:    33433600 kB

Free space on /var/tmp at the end= 13500 MiB
End job on node124 at 2019-09-24 23:04:22