Trace number 4405496

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 152.527 22.2181

General information on the benchmark

NameRectPacking/RectPacking-m1-perf/
RectPacking-perfect-033.xml
MD5SUM273a3a450a7af16ef80dfed9e1af494c
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 benchmark36.4974
Satisfiable
(Un)Satisfiability was proved
Number of variables48
Number of constraints51
Number of domains1
Minimum domain size288
Maximum domain size288
Distribution of domain sizes[{"size":288,"count":48}]
Minimum variable degree2
Maximum variable degree4
Distribution of variable degrees[{"degree":2,"count":46},{"degree":3,"count":1},{"degree":4,"count":1}]
Minimum constraint arity1
Maximum constraint arity48
Distribution of constraint arities[{"arity":1,"count":49},{"arity":2,"count":1},{"arity":48,"count":1}]
Number of extensional constraints0
Number of intensional constraints50
Distribution of constraint types[{"type":"intension","count":50},{"type":"noOverlap","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-12018-serial-file.bin HOME/instance-4405496-1569338175.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 17:15:33 CEST 2019
0.66/0.57	c PID: 12021
0.66/0.57	c IP: 172.20.3.121
0.66/0.57	c HOST: node121.alineos.net
0.66/0.57	c (0,0) Parsing Begin
1.40/0.90	c (0,0) Parsing End
1.40/0.91	c (0,0) CSP: 48 int (0 aux), 0 bool (0 aux), 51 ctr, max domain size 288
1.40/0.91	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.40/0.91	c (0,0) Constraint Name Generate Begin
1.40/0.92	c (0,0) Ctr:HOME/instance-4405496-1569338175.xml,Le:NoOverlap:Num:Var
1.40/0.92	c (0,0) Constraint Name Generate End
1.40/0.92	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.40/0.92	c (0,0) CSP to CSPinCNF Begin
1.40/1.00	c (0,0) translated 6 (10%) constraints
1.40/1.00	c (0,0) translated 11 (20%) constraints
1.40/1.00	c (0,0) translated 16 (30%) constraints
1.40/1.01	c (0,0) translated 21 (40%) constraints
1.56/1.01	c (0,0) translated 26 (50%) constraints
1.56/1.01	c (0,0) translated 31 (60%) constraints
1.56/1.01	c (0,0) translated 36 (70%) constraints
1.56/1.02	c (0,0) translated 41 (80%) constraints
1.56/1.02	c (0,0) translated 46 (90%) constraints
2.16/1.27	c (0,0) translated 51 (100%) constraints
2.16/1.27	c (0,0) ===========================================
2.16/1.29	c (0,0) Hybrid: #OE=48, #LE=0
2.16/1.29	c (0,0) Hybrid
2.16/1.29	c (0,0) ===========================================
2.16/1.29	c (0,0) translated 33 (10%) constraints
2.49/1.30	c (0,0) translated 66 (20%) constraints
2.49/1.31	c (0,0) translated 98 (30%) constraints
2.49/1.32	c (0,0) translated 131 (40%) constraints
2.49/1.32	c (0,0) translated 163 (50%) constraints
2.49/1.33	c (0,0) translated 196 (60%) constraints
2.49/1.33	c (0,0) translated 229 (70%) constraints
2.49/1.33	c (0,0) translated 261 (80%) constraints
2.49/1.34	c (0,0) translated 294 (90%) constraints
2.49/1.34	c (0,0) translated 326 (100%) constraints
2.49/1.35	c (0,0) CSP to CSPinCNF End
2.49/1.35	c (0,0) CSP: 48 int (0 aux), 0 bool (0 aux), 326 ctr, max domain size 287
2.49/1.35	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 23 MiB used (max 0 MiB)
2.49/1.35	c (0,0) CSPinCNF Propagation Begin
2.49/1.38	c (0,0) 0 values, 10 unsatisfiable literals, and 49 valid clauses are removed
2.49/1.38	c (0,0) CSPinCNF Propagation End
2.49/1.38	c (0,0) CSP: 48 int (0 aux), 0 bool (0 aux), 277 ctr, max domain size 287
2.49/1.38	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 23 MiB used (max 0 MiB)
2.49/1.38	c (0,0) Hybrid: #OE=48, #LE=0
2.49/1.38	c (0,0) Simplify CSPinCNF Begin
2.84/1.48	c (0,0) Simplify CSPinCNF End
2.84/1.48	c (0,0) CSP: 48 int (0 aux), 1094 bool (1094 aux), 1371 ctr, max domain size 287
2.84/1.48	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 24 MiB used (max 0 MiB)
2.84/1.48	c (0,0) Calculate Precise Domain Begin
2.84/1.48	c (0,0) 0 values are removed by re-calculation
2.84/1.48	c (0,0) Calculate Precise Domain End
2.84/1.48	c (0,0) CSP: 48 int (0 aux), 1094 bool (1094 aux), 1371 ctr, max domain size 287
2.84/1.48	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 24 MiB used (max 0 MiB)
2.84/1.48	c (0,0) CSPinCNF to SatSolver Begin
4.22/1.86	c (1,1) 138 (10 %) CSP clauses are encoded (0 SAT variables, 38094 SAT clauses)
4.62/1.98	c (1,1) 275 (20 %) CSP clauses are encoded (0 SAT variables, 64094 SAT clauses)
4.79/2.08	c (1,1) 412 (30 %) CSP clauses are encoded (0 SAT variables, 88663 SAT clauses)
4.92/2.17	c (1,1) 549 (40 %) CSP clauses are encoded (0 SAT variables, 112258 SAT clauses)
5.03/2.27	c (1,1) 686 (50 %) CSP clauses are encoded (0 SAT variables, 135989 SAT clauses)
5.12/2.35	c (1,1) 823 (60 %) CSP clauses are encoded (0 SAT variables, 158403 SAT clauses)
5.24/2.43	c (1,1) 960 (70 %) CSP clauses are encoded (0 SAT variables, 179871 SAT clauses)
5.35/2.51	c (1,1) 1097 (80 %) CSP clauses are encoded (0 SAT variables, 199686 SAT clauses)
5.35/2.58	c (2,2) 1234 (90 %) CSP clauses are encoded (0 SAT variables, 216911 SAT clauses)
5.46/2.63	c (2,2) 1371 (100 %) CSP clauses are encoded (0 SAT variables, 229298 SAT clauses)
5.46/2.63	c (2,2) CSPinCNF to SatSolver End
5.46/2.63	c (2,2) Heap : 1126 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB)
5.46/2.63	c (2,2) 12648 bool, 229362 clause
5.46/2.63	c (2,2) Export Begin
5.62/2.71	c (2,2) Export to HOME/scop-12018-serial-file.bin
5.62/2.71	c (2,2) Export End
5.62/2.71	c (2,2) Export File Size: 0.01 MB
5.62/2.71	c (2,2) 0,0,0,0,0,0,2,STOP-AFTER(DIMACS)
5.62/2.71	c END-Prog: Tue Sep 24 17:15:35 CEST 2019
5.62/2.72	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-12018-serial-file.bin
6.16/3.18	c (0,0) Read Serial File Begin
6.16/3.18	c (0,0) HOME/scop-12018-serial-file.bin
6.42/3.38	c (0,0) Read Serial File End
6.42/3.39	
6.42/3.39	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
6.42/3.39	(Solving Process)
6.42/3.39	
6.57/3.41	c BEGIN-Prog: Tue Sep 24 17:15:36 CEST 2019
6.57/3.41	c PID: 12041
6.57/3.42	c IP: 172.20.3.121
6.57/3.42	c HOST: node121.alineos.net
6.57/3.42	c (0,0) SatSolver.solve Begin
6.57/3.42	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4405496-1569338175.xml-scop-12021.cnf
6.57/3.45	c (0,0) c
6.57/3.45	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)
6.57/3.45	c (0,0) c
6.57/3.45	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
6.57/3.45	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
6.57/3.45	c (0,0) c ========================================[ Problem Statistics ]===========================================
6.57/3.45	c (0,0) c |                                                                                                       |
6.79/3.52	c (0,0) c |  Number of variables:         12648                                                                   |
6.79/3.52	c (0,0) c |  Number of clauses:          229362                                                                   |
6.79/3.52	c (0,0) c |  Parse time:                   0.07 s                                                                 |
6.79/3.52	c (0,0) c |                                                                                                       |
6.79/3.76	c (0,0) c |  Simplification time:          0.24 s                                                                 |
6.79/3.76	c (0,0) c |                                                                                                       |
6.79/3.76	c (0,0) c |  Generating clones                                                                                    |
6.79/3.82	c (0,0) c |  all clones generated. Memory =   152.93Mb.                                                           |
6.79/3.82	c (0,0) c ========================================================================================================|
6.79/3.82	c (0,0) c
6.79/3.82	c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
6.79/3.82	c (0,0) c
6.79/3.82	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
6.79/3.82	c (0,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
6.79/3.82	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
8.57/4.07	c (0,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
8.57/4.07	c (0,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
8.57/4.07	c (0,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
8.57/4.07	c (0,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
8.57/4.07	c (0,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
8.57/4.07	c (0,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
8.57/4.07	c (0,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
8.57/4.07	c (0,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
8.57/4.07	c (0,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
8.57/4.07	c (0,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
8.57/4.07	c (0,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
8.57/4.07	c (0,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
8.57/4.07	c (0,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
8.57/4.07	c (0,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
8.57/4.07	c (0,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
8.57/4.07	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
152.04/22.04	c (18,0) c
152.04/22.04	c (18,0) c real time : 18.5999 s
152.04/22.04	c (18,0) c cpu time  : 144.794 s
152.04/22.04	c (18,0) c
152.04/22.04	c (18,0) c
152.04/22.04	c (18,0) c
152.04/22.04	c (18,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
152.04/22.04	c (18,0) c
152.04/22.04	c (18,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
152.04/22.04	c (18,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
152.04/22.04	c (18,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
152.04/22.04	c (18,0) c | Conflicts     |          514675 |      62473 |      63749 |      64372 |      67997 |      63697 |      65366 |      64203 |      62818 |
152.04/22.04	c (18,0) c | Decisions     |         1010828 |     121951 |     126668 |     129235 |     133479 |     123797 |     124536 |     126537 |     124625 |
152.04/22.04	c (18,0) c | Propagations  |       253848993 |   30481623 |   30768867 |   32071226 |   33256309 |   31712751 |   32476203 |   31904914 |   31177100 |
152.04/22.04	c (18,0) c | ReduceDBs     |              48 |          6 |          6 |          6 |          6 |          6 |          6 |          6 |          6 |
152.04/22.04	c (18,0) c | SimpDBs       |              32 |          4 |          4 |          4 |          4 |          4 |          4 |          4 |          4 |
152.04/22.04	c (18,0) c | Restarts      |            2122 |        248 |        248 |        286 |        300 |        257 |        225 |        257 |        301 |
152.04/22.04	c (18,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
152.04/22.04	c (18,0) c | PropBinClauses|       306780248 |   36661330 |   37442848 |   38702198 |   40025425 |   38250985 |   39384099 |   38472345 |   37841018 |
152.04/22.04	c (18,0) c | PropPreBlocker|      3424822699 |  410150221 |  414800479 |  428662017 |  455737687 |  424870624 |  441546521 |  430406321 |  418648829 |
152.04/22.04	c (18,0) c | PropNotBlocker|      1154767573 |  137057524 |  138893096 |  144680292 |  151266275 |  144332474 |  149259272 |  146568603 |  142710037 |
152.04/22.04	c (18,0) c | LitFullScans  |      6714841522 |  804042725 |  809037184 |  838302510 |  894066194 |  835227790 |  864908674 |  846052224 |  823204221 |
152.04/22.04	c (18,0) c | LitScanFracts |          370423 |      34579 |      44550 |      32119 |      52927 |      61243 |      55975 |      43598 |      45432 |
152.04/22.04	c (18,0) c | DecisionLevel0|            2128 |        248 |        249 |        287 |        302 |        257 |        226 |        257 |        302 |
152.04/22.04	c (18,0) c | Periods       |            1117 |        134 |        134 |        139 |        149 |        139 |        144 |        141 |        137 |
152.04/22.04	c (18,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
152.04/22.04	c (18,0) c | Avg_Trail     |                 |       4883 |       4895 |       4890 |       4849 |       4820 |       4808 |       4869 |       4913 |
152.04/22.04	c (18,0) c | Avg_DL        |                 |         21 |         22 |         22 |         21 |         20 |         20 |         21 |         22 |
152.04/22.04	c (18,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
152.04/22.04	c (18,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
152.04/22.04	c (18,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
152.04/22.04	c (18,0) c | Exported      |           80675 |      10028 |      10194 |      10026 |      10237 |      10397 |      10844 |       9520 |       9429 |
152.04/22.04	c (18,0) c | Imported      |          513594 |      62454 |      62078 |      64403 |      66403 |      64112 |      64996 |      65282 |      63866 |
152.04/22.04	c (18,0) c | Good          |             454 |         52 |         55 |         56 |         56 |         61 |         61 |         56 |         57 |
152.04/22.04	c (18,0) c | Purge         |          513140 |      62402 |      62023 |      64347 |      66347 |      64051 |      64935 |      65226 |      63809 |
152.04/22.04	c (18,0) c | Promoted      |           62356 |       7553 |       7567 |       7822 |       8360 |       7818 |       7884 |       8054 |       7298 |
152.04/22.04	c (18,0) c | Remove_Imp    |          212211 |      26293 |      25578 |      26864 |      26501 |      26950 |      26641 |      26974 |      26410 |
152.04/22.04	c (18,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
152.04/22.04	c (18,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
152.04/22.04	c (18,0) c | Unaries       |                 |          0 |          1 |          1 |          2 |          0 |          1 |          0 |          1 |
152.04/22.04	c (18,0) c | Binaries      |                 |         12 |          8 |         11 |         13 |          6 |          7 |         10 |          7 |
152.04/22.05	c (18,0) c | Glues         |                 |        210 |        184 |        174 |        201 |        188 |        176 |        179 |        182 |
152.04/22.05	c (18,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
152.04/22.05	c (18,0) c | Orig_Seen     |            20 % |      46298 |      49778 |      48165 |      46577 |      45776 |      43587 |      49158 |      47620 |
152.04/22.05	c (18,0) c | Diff Orig seen|                 | -     3480 |      X     | -     1613 | -     3201 | -     4002 | -     6191 | -      620 | -     2158 |
152.04/22.05	c (18,0) c | Hamming       |            31 % |       4624 |      X     |       3945 |       4430 |       3899 |       2307 |       3897 |       4602 |
152.04/22.05	c (18,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
152.04/22.05	c (18,0) c | RunningTime   |                 |   18.2 100%|   18.1 100%|   18.2 100%|   18.2 100%|   18.1 100%|   18.1 100%|   18.1 100%|   18.1 100%|
152.04/22.05	c (18,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%|
152.04/22.05	c (18,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%|
152.04/22.05	c (18,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%|
152.04/22.05	c (18,0) c | SolvingTime   |                 |   18.2     |   18.2     |   18.2     |   18.2     |   18.2     |   18.2     |   18.2     |   18.2     |
152.04/22.05	c (18,0) c | PropagationTim|                 |   15.1  83%|   15.0  83%|   14.7  81%|   14.9  82%|   14.6  80%|   15.0  82%|   15.0  83%|   14.7  81%|
152.04/22.05	c (18,0) c | AnalysisTime  |                 |    2.3  13%|    2.4  13%|    2.7  15%|    2.6  14%|    2.9  16%|    2.5  14%|    2.5  14%|    2.8  15%|
152.04/22.05	c (18,0) c | ReductionTime |                 |    0.1   1%|    0.1   1%|    0.1   1%|    0.1   1%|    0.1   1%|    0.1   1%|    0.1   1%|    0.1   1%|
152.04/22.05	c (18,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%|
152.04/22.05	c (18,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%|
152.04/22.05	c (18,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%|
152.04/22.05	c (18,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
152.04/22.05	c (18,0) c
152.04/22.05	c (18,0) c
152.04/22.05	c (18,0) c Threads : 8
152.04/22.05	c (18,0) c Winner : 1
152.04/22.05	c (18,0) c Conflicts_0 : 62473
152.04/22.05	c (18,0) c Conflicts_1 : 63749
152.04/22.05	c (18,0) c Conflicts_2 : 64372
152.04/22.05	c (18,0) c Conflicts_3 : 67997
152.04/22.05	c (18,0) c Conflicts_4 : 63697
152.04/22.05	c (18,0) c Conflicts_5 : 65366
152.04/22.05	c (18,0) c Conflicts_6 : 64203
152.04/22.05	c (18,0) c Conflicts_7 : 62818
152.04/22.05	c (18,0) c Conflicts_total : 514675
152.04/22.05	c (18,0) c Conflicts_winner : 63749
152.04/22.05	c (18,0) c Decisions_0 : 121951
152.04/22.05	c (18,0) c Decisions_1 : 126668
152.04/22.05	c (18,0) c Decisions_2 : 129235
152.04/22.05	c (18,0) c Decisions_3 : 133479
152.04/22.05	c (18,0) c Decisions_4 : 123797
152.04/22.05	c (18,0) c Decisions_5 : 124536
152.04/22.05	c (18,0) c Decisions_6 : 126537
152.04/22.05	c (18,0) c Decisions_7 : 124625
152.04/22.05	c (18,0) c Decisions_total : 1010828
152.04/22.05	c (18,0) c Decisions_winner : 126668
152.04/22.05	c (18,0) c Propagations_0 : 30481623
152.04/22.05	c (18,0) c Propagations_1 : 30768867
152.04/22.05	c (18,0) c Propagations_2 : 32071226
152.04/22.05	c (18,0) c Propagations_3 : 33256309
152.04/22.05	c (18,0) c Propagations_4 : 31712751
152.04/22.05	c (18,0) c Propagations_5 : 32476203
152.04/22.05	c (18,0) c Propagations_6 : 31904914
152.04/22.05	c (18,0) c Propagations_7 : 31177100
152.04/22.05	c (18,0) c Propagations_total : 253848993
152.04/22.05	c (18,0) c Propagations_winner : 30768867
152.04/22.05	c (18,0) c ReduceDBs_0 : 6
152.04/22.05	c (18,0) c ReduceDBs_1 : 6
152.04/22.05	c (18,0) c ReduceDBs_2 : 6
152.04/22.05	c (18,0) c ReduceDBs_3 : 6
152.04/22.05	c (18,0) c ReduceDBs_4 : 6
152.04/22.05	c (18,0) c ReduceDBs_5 : 6
152.04/22.05	c (18,0) c ReduceDBs_6 : 6
152.04/22.05	c (18,0) c ReduceDBs_7 : 6
152.04/22.05	c (18,0) c ReduceDBs_total : 48
152.04/22.05	c (18,0) c ReduceDBs_winner : 6
152.04/22.05	c (18,0) c SimpDBs_0 : 4
152.04/22.05	c (18,0) c SimpDBs_1 : 4
152.04/22.05	c (18,0) c SimpDBs_2 : 4
152.04/22.05	c (18,0) c SimpDBs_3 : 4
152.04/22.05	c (18,0) c SimpDBs_4 : 4
152.04/22.05	c (18,0) c SimpDBs_5 : 4
152.04/22.05	c (18,0) c SimpDBs_6 : 4
152.04/22.05	c (18,0) c SimpDBs_7 : 4
152.04/22.05	c (18,0) c SimpDBs_total : 32
152.04/22.05	c (18,0) c SimpDBs_winner : 4
152.04/22.05	c (18,0) c Restarts_0 : 248
152.04/22.05	c (18,0) c Restarts_1 : 248
152.04/22.05	c (18,0) c Restarts_2 : 286
152.04/22.05	c (18,0) c Restarts_3 : 300
152.04/22.05	c (18,0) c Restarts_4 : 257
152.04/22.05	c (18,0) c Restarts_5 : 225
152.04/22.05	c (18,0) c Restarts_6 : 257
152.04/22.05	c (18,0) c Restarts_7 : 301
152.04/22.05	c (18,0) c Restarts_total : 2122
152.04/22.05	c (18,0) c Restarts_winner : 248
152.04/22.05	c (18,0) c ForcedImports_0 : 0
152.04/22.05	c (18,0) c ForcedImports_1 : 0
152.04/22.05	c (18,0) c ForcedImports_2 : 0
152.04/22.05	c (18,0) c ForcedImports_3 : 0
152.04/22.05	c (18,0) c ForcedImports_4 : 0
152.04/22.05	c (18,0) c ForcedImports_5 : 0
152.04/22.05	c (18,0) c ForcedImports_6 : 0
152.04/22.05	c (18,0) c ForcedImports_7 : 0
152.04/22.05	c (18,0) c ForcedImports_total : 0
152.04/22.05	c (18,0) c ForcedImports_winner : 0
152.04/22.05	c (18,0) c PropsBinClauses_0 : 36661330
152.04/22.05	c (18,0) c PropsBinClauses_1 : 37442848
152.04/22.05	c (18,0) c PropsBinClauses_2 : 38702198
152.04/22.05	c (18,0) c PropsBinClauses_3 : 40025425
152.04/22.05	c (18,0) c PropsBinClauses_4 : 38250985
152.04/22.05	c (18,0) c PropsBinClauses_5 : 39384099
152.04/22.05	c (18,0) c PropsBinClauses_6 : 38472345
152.04/22.05	c (18,0) c PropsBinClauses_7 : 37841018
152.04/22.05	c (18,0) c PropsBinClauses_total : 306780248
152.04/22.05	c (18,0) c PropsBinClauses_winner : 37442848
152.04/22.05	c (18,0) c PropsPreBlocker_0 : 410150221
152.04/22.05	c (18,0) c PropsPreBlocker_1 : 414800479
152.04/22.05	c (18,0) c PropsPreBlocker_2 : 428662017
152.04/22.05	c (18,0) c PropsPreBlocker_3 : 455737687
152.04/22.05	c (18,0) c PropsPreBlocker_4 : 424870624
152.04/22.05	c (18,0) c PropsPreBlocker_5 : 441546521
152.04/22.05	c (18,0) c PropsPreBlocker_6 : 430406321
152.04/22.05	c (18,0) c PropsPreBlocker_7 : 418648829
152.04/22.05	c (18,0) c PropsPreBlocker_total : 3424822699
152.04/22.05	c (18,0) c PropsPreBlocker_winner : 414800479
152.04/22.05	c (18,0) c PropsNotBlocker_0 : 137057524
152.04/22.05	c (18,0) c PropsNotBlocker_1 : 138893096
152.04/22.05	c (18,0) c PropsNotBlocker_2 : 144680292
152.04/22.05	c (18,0) c PropsNotBlocker_3 : 151266275
152.04/22.05	c (18,0) c PropsNotBlocker_4 : 144332474
152.04/22.05	c (18,0) c PropsNotBlocker_5 : 149259272
152.04/22.05	c (18,0) c PropsNotBlocker_6 : 146568603
152.04/22.05	c (18,0) c PropsNotBlocker_7 : 142710037
152.04/22.05	c (18,0) c PropsNotBlocker_total : 1154767573
152.04/22.05	c (18,0) c PropsNotBlocker_winner : 138893096
152.04/22.05	c (18,0) c PropsLitFullScans_0 : 804042725
152.04/22.05	c (18,0) c PropsLitFullScans_1 : 809037184
152.04/22.05	c (18,0) c PropsLitFullScans_2 : 838302510
152.04/22.05	c (18,0) c PropsLitFullScans_3 : 894066194
152.04/22.05	c (18,0) c PropsLitFullScans_4 : 835227790
152.04/22.05	c (18,0) c PropsLitFullScans_5 : 864908674
152.04/22.05	c (18,0) c PropsLitFullScans_6 : 846052224
152.04/22.05	c (18,0) c PropsLitFullScans_7 : 823204221
152.04/22.05	c (18,0) c PropsLitFullScans_total : 6714841522
152.04/22.05	c (18,0) c PropsLitFullScans_winner : 809037184
152.04/22.05	c (18,0) c LitScanFractions_0 : 34579
152.04/22.05	c (18,0) c LitScanFractions_1 : 44550
152.04/22.05	c (18,0) c LitScanFractions_2 : 32119
152.04/22.05	c (18,0) c LitScanFractions_3 : 52927
152.04/22.05	c (18,0) c LitScanFractions_4 : 61243
152.04/22.05	c (18,0) c LitScanFractions_5 : 55975
152.04/22.05	c (18,0) c LitScanFractions_6 : 43598
152.04/22.05	c (18,0) c LitScanFractions_7 : 45432
152.04/22.05	c (18,0) c LitScanFractions_total : 370423
152.04/22.05	c (18,0) c LitScanFractions_winner : 44550
152.04/22.05	c (18,0) c DecisionLevel0_0 : 248
152.04/22.05	c (18,0) c DecisionLevel0_1 : 249
152.04/22.05	c (18,0) c DecisionLevel0_2 : 287
152.04/22.05	c (18,0) c DecisionLevel0_3 : 302
152.04/22.05	c (18,0) c DecisionLevel0_4 : 257
152.04/22.05	c (18,0) c DecisionLevel0_5 : 226
152.04/22.05	c (18,0) c DecisionLevel0_6 : 257
152.04/22.05	c (18,0) c DecisionLevel0_7 : 302
152.04/22.05	c (18,0) c DecisionLevel0_total : 2128
152.04/22.05	c (18,0) c DecisionLevel0_winner : 249
152.04/22.05	c (18,0) c Periods_0 : 134
152.04/22.05	c (18,0) c Periods_1 : 134
152.04/22.05	c (18,0) c Periods_2 : 139
152.04/22.05	c (18,0) c Periods_3 : 149
152.04/22.05	c (18,0) c Periods_4 : 139
152.04/22.05	c (18,0) c Periods_5 : 144
152.04/22.05	c (18,0) c Periods_6 : 141
152.04/22.05	c (18,0) c Periods_7 : 137
152.04/22.05	c (18,0) c Periods_total : 1117
152.04/22.05	c (18,0) c Periods_winner : 134
152.04/22.05	c (18,0) c Margin_0 : 20
152.04/22.05	c (18,0) c Margin_1 : 20
152.04/22.05	c (18,0) c Margin_2 : 20
152.04/22.05	c (18,0) c Margin_3 : 20
152.04/22.05	c (18,0) c Margin_4 : 20
152.04/22.05	c (18,0) c Margin_5 : 20
152.04/22.05	c (18,0) c Margin_6 : 20
152.04/22.05	c (18,0) c Margin_7 : 20
152.04/22.05	c (18,0) c Margin_total : 160
152.04/22.05	c (18,0) c Margin_winner : 20
152.04/22.05	c (18,0) c Exported_0 : 10028
152.04/22.05	c (18,0) c Exported_1 : 10194
152.04/22.05	c (18,0) c Exported_2 : 10026
152.04/22.05	c (18,0) c Exported_3 : 10237
152.04/22.05	c (18,0) c Exported_4 : 10397
152.04/22.05	c (18,0) c Exported_5 : 10844
152.04/22.05	c (18,0) c Exported_6 : 9520
152.04/22.05	c (18,0) c Exported_7 : 9429
152.04/22.05	c (18,0) c Exported_total : 80675
152.04/22.05	c (18,0) c Exported_winner : 10194
152.04/22.05	c (18,0) c Imported_0 : 62454
152.04/22.05	c (18,0) c Imported_1 : 62078
152.04/22.05	c (18,0) c Imported_2 : 64403
152.04/22.05	c (18,0) c Imported_3 : 66403
152.04/22.05	c (18,0) c Imported_4 : 64112
152.04/22.05	c (18,0) c Imported_5 : 64996
152.04/22.05	c (18,0) c Imported_6 : 65282
152.04/22.05	c (18,0) c Imported_7 : 63866
152.04/22.05	c (18,0) c Imported_total : 513594
152.04/22.05	c (18,0) c Imported_winner : 62078
152.04/22.05	c (18,0) c Good_0 : 52
152.04/22.05	c (18,0) c Good_1 : 55
152.04/22.05	c (18,0) c Good_2 : 56
152.04/22.05	c (18,0) c Good_3 : 56
152.04/22.05	c (18,0) c Good_4 : 61
152.04/22.05	c (18,0) c Good_5 : 61
152.04/22.05	c (18,0) c Good_6 : 56
152.04/22.05	c (18,0) c Good_7 : 57
152.04/22.05	c (18,0) c Good_total : 454
152.04/22.05	c (18,0) c Good_winner : 55
152.04/22.05	c (18,0) c Purge_0 : 62402
152.04/22.05	c (18,0) c Purge_1 : 62023
152.04/22.05	c (18,0) c Purge_2 : 64347
152.04/22.05	c (18,0) c Purge_3 : 66347
152.04/22.05	c (18,0) c Purge_4 : 64051
152.04/22.05	c (18,0) c Purge_5 : 64935
152.04/22.05	c (18,0) c Purge_6 : 65226
152.04/22.05	c (18,0) c Purge_7 : 63809
152.04/22.05	c (18,0) c Purge_total : 513140
152.04/22.05	c (18,0) c Purge_winner : 62023
152.04/22.05	c (18,0) c Promoted_0 : 7553
152.04/22.05	c (18,0) c Promoted_1 : 7567
152.04/22.05	c (18,0) c Promoted_2 : 7822
152.04/22.05	c (18,0) c Promoted_3 : 8360
152.04/22.05	c (18,0) c Promoted_4 : 7818
152.04/22.05	c (18,0) c Promoted_5 : 7884
152.04/22.05	c (18,0) c Promoted_6 : 8054
152.04/22.05	c (18,0) c Promoted_7 : 7298
152.04/22.05	c (18,0) c Promoted_total : 62356
152.04/22.05	c (18,0) c Promoted_winner : 7567
152.04/22.05	c (18,0) c Remove_Imp_0 : 26293
152.04/22.05	c (18,0) c Remove_Imp_1 : 25578
152.04/22.05	c (18,0) c Remove_Imp_2 : 26864
152.04/22.05	c (18,0) c Remove_Imp_3 : 26501
152.04/22.05	c (18,0) c Remove_Imp_4 : 26950
152.04/22.05	c (18,0) c Remove_Imp_5 : 26641
152.04/22.05	c (18,0) c Remove_Imp_6 : 26974
152.04/22.05	c (18,0) c Remove_Imp_7 : 26410
152.04/22.05	c (18,0) c Remove_Imp_total : 212211
152.04/22.05	c (18,0) c Remove_Imp_winner : 25578
152.04/22.05	c (18,0) c Blocked_Reuse_0 : 0
152.04/22.05	c (18,0) c Blocked_Reuse_1 : 0
152.04/22.05	c (18,0) c Blocked_Reuse_2 : 0
152.04/22.05	c (18,0) c Blocked_Reuse_3 : 0
152.04/22.05	c (18,0) c Blocked_Reuse_4 : 0
152.04/22.05	c (18,0) c Blocked_Reuse_5 : 0
152.04/22.05	c (18,0) c Blocked_Reuse_6 : 0
152.04/22.05	c (18,0) c Blocked_Reuse_7 : 0
152.04/22.05	c (18,0) c Blocked_Reuse_total : 0
152.04/22.05	c (18,0) c Blocked_Reuse_winner : 0
152.04/22.05	c (18,0) c Unaries_0 : 0
152.04/22.05	c (18,0) c Unaries_1 : 1
152.04/22.05	c (18,0) c Unaries_2 : 1
152.04/22.05	c (18,0) c Unaries_3 : 2
152.04/22.05	c (18,0) c Unaries_4 : 0
152.04/22.05	c (18,0) c Unaries_5 : 1
152.04/22.05	c (18,0) c Unaries_6 : 0
152.04/22.05	c (18,0) c Unaries_7 : 1
152.04/22.05	c (18,0) c Unaries_total : 6
152.04/22.05	c (18,0) c Unaries_winner : 1
152.04/22.05	c (18,0) c Binaries_0 : 12
152.04/22.05	c (18,0) c Binaries_1 : 8
152.04/22.05	c (18,0) c Binaries_2 : 11
152.04/22.05	c (18,0) c Binaries_3 : 13
152.04/22.05	c (18,0) c Binaries_4 : 6
152.04/22.05	c (18,0) c Binaries_5 : 7
152.04/22.05	c (18,0) c Binaries_6 : 10
152.04/22.05	c (18,0) c Binaries_7 : 7
152.04/22.05	c (18,0) c Binaries_total : 74
152.04/22.05	c (18,0) c Binaries_winner : 8
152.04/22.05	c (18,0) c Glues_0 : 210
152.04/22.05	c (18,0) c Glues_1 : 184
152.04/22.05	c (18,0) c Glues_2 : 174
152.04/22.05	c (18,0) c Glues_3 : 201
152.04/22.05	c (18,0) c Glues_4 : 188
152.04/22.05	c (18,0) c Glues_5 : 176
152.04/22.05	c (18,0) c Glues_6 : 179
152.04/22.05	c (18,0) c Glues_7 : 182
152.04/22.05	c (18,0) c Glues_total : 1494
152.04/22.05	c (18,0) c Glues_winner : 184
152.04/22.05	c (18,0) c RunningTime_0 : 18.161707
152.04/22.05	c (18,0) c RunningTime_1 : 18.135226
152.04/22.05	c (18,0) c RunningTime_2 : 18.150775
152.04/22.05	c (18,0) c RunningTime_3 : 18.179594
152.04/22.05	c (18,0) c RunningTime_4 : 18.138413
152.04/22.05	c (18,0) c RunningTime_5 : 18.142693
152.04/22.05	c (18,0) c RunningTime_6 : 18.143184
152.04/22.05	c (18,0) c RunningTime_7 : 18.143372
152.04/22.05	c (18,0) c RunningTime_total : 145.194964
152.04/22.05	c (18,0) c RunningTime_winner : 18.135226
152.04/22.05	c (18,0) c WaitingTime_0 : 0.000122
152.04/22.05	c (18,0) c WaitingTime_1 : 0.000188
152.04/22.05	c (18,0) c WaitingTime_2 : 0.000212
152.04/22.06	c (18,0) c WaitingTime_3 : 0.000182
152.04/22.06	c (18,0) c WaitingTime_4 : 0.000243
152.04/22.06	c (18,0) c WaitingTime_5 : 0.000189
152.04/22.06	c (18,0) c WaitingTime_6 : 0.000179
152.04/22.06	c (18,0) c WaitingTime_7 : 0.000216
152.04/22.06	c (18,0) c WaitingTime_total : 0.001531
152.04/22.06	c (18,0) c WaitingTime_winner : 0.000188
152.04/22.06	c (18,0) c ExchangingTime_0 : 0.024471
152.04/22.06	c (18,0) c ExchangingTime_1 : 0.025157
152.04/22.06	c (18,0) c ExchangingTime_2 : 0.026091
152.04/22.06	c (18,0) c ExchangingTime_3 : 0.027472
152.04/22.06	c (18,0) c ExchangingTime_4 : 0.027804
152.04/22.06	c (18,0) c ExchangingTime_5 : 0.026003
152.04/22.06	c (18,0) c ExchangingTime_6 : 0.025864
152.04/22.06	c (18,0) c ExchangingTime_7 : 0.026139
152.04/22.06	c (18,0) c ExchangingTime_total : 0.209002
152.04/22.06	c (18,0) c ExchangingTime_winner : 0.025157
152.04/22.06	c (18,0) c PeriodProcTime_0 : 0.001259
152.04/22.06	c (18,0) c PeriodProcTime_1 : 0.001332
152.04/22.06	c (18,0) c PeriodProcTime_2 : 0.001304
152.04/22.06	c (18,0) c PeriodProcTime_3 : 0.001335
152.04/22.06	c (18,0) c PeriodProcTime_4 : 0.001278
152.04/22.06	c (18,0) c PeriodProcTime_5 : 0.001303
152.04/22.06	c (18,0) c PeriodProcTime_6 : 0.001288
152.04/22.06	c (18,0) c PeriodProcTime_7 : 0.001133
152.04/22.06	c (18,0) c PeriodProcTime_total : 0.010231
152.04/22.06	c (18,0) c PeriodProcTime_winner : 0.001332
152.04/22.06	c (18,0) c SolvingTime_0 : 18.187560
152.04/22.06	c (18,0) c SolvingTime_1 : 18.161903
152.04/22.06	c (18,0) c SolvingTime_2 : 18.178382
152.04/22.06	c (18,0) c SolvingTime_3 : 18.208583
152.04/22.06	c (18,0) c SolvingTime_4 : 18.167738
152.04/22.06	c (18,0) c SolvingTime_5 : 18.170187
152.04/22.06	c (18,0) c SolvingTime_6 : 18.170515
152.04/22.06	c (18,0) c SolvingTime_7 : 18.170860
152.04/22.06	c (18,0) c SolvingTime_total : 145.415728
152.04/22.06	c (18,0) c SolvingTime_winner : 18.161903
152.04/22.06	c (18,0) c PropagationTime_0 : 15.134723
152.04/22.06	c (18,0) c PropagationTime_1 : 15.036985
152.04/22.06	c (18,0) c PropagationTime_2 : 14.732817
152.04/22.06	c (18,0) c PropagationTime_3 : 14.886689
152.04/22.06	c (18,0) c PropagationTime_4 : 14.600421
152.04/22.06	c (18,0) c PropagationTime_5 : 14.959008
152.04/22.06	c (18,0) c PropagationTime_6 : 15.000085
152.04/22.06	c (18,0) c PropagationTime_7 : 14.691416
152.04/22.06	c (18,0) c PropagationTime_total : 119.042145
152.04/22.06	c (18,0) c PropagationTime_winner : 15.036985
152.04/22.06	c (18,0) c AnalysisTime_0 : 2.349189
152.04/22.06	c (18,0) c AnalysisTime_1 : 2.392937
152.04/22.06	c (18,0) c AnalysisTime_2 : 2.709797
152.04/22.06	c (18,0) c AnalysisTime_3 : 2.598642
152.04/22.06	c (18,0) c AnalysisTime_4 : 2.860708
152.04/22.06	c (18,0) c AnalysisTime_5 : 2.512735
152.04/22.06	c (18,0) c AnalysisTime_6 : 2.468303
152.04/22.06	c (18,0) c AnalysisTime_7 : 2.751271
152.04/22.06	c (18,0) c AnalysisTime_total : 20.643582
152.04/22.06	c (18,0) c AnalysisTime_winner : 2.392937
152.04/22.06	c (18,0) c ReductionTime_0 : 0.135561
152.04/22.06	c (18,0) c ReductionTime_1 : 0.144477
152.04/22.06	c (18,0) c ReductionTime_2 : 0.138344
152.04/22.06	c (18,0) c ReductionTime_3 : 0.127027
152.04/22.06	c (18,0) c ReductionTime_4 : 0.134222
152.04/22.06	c (18,0) c ReductionTime_5 : 0.130839
152.04/22.06	c (18,0) c ReductionTime_6 : 0.127557
152.04/22.06	c (18,0) c ReductionTime_7 : 0.144641
152.04/22.06	c (18,0) c ReductionTime_total : 1.082667
152.04/22.06	c (18,0) c ReductionTime_winner : 0.144477
152.04/22.06	c (18,0) c SimplifyTime_0 : 0.024755
152.04/22.06	c (18,0) c SimplifyTime_1 : 0.035000
152.04/22.06	c (18,0) c SimplifyTime_2 : 0.024291
152.04/22.06	c (18,0) c SimplifyTime_3 : 0.025801
152.04/22.06	c (18,0) c SimplifyTime_4 : 0.023612
152.04/22.06	c (18,0) c SimplifyTime_5 : 0.026048
152.04/22.06	c (18,0) c SimplifyTime_6 : 0.025500
152.04/22.06	c (18,0) c SimplifyTime_7 : 0.025178
152.04/22.06	c (18,0) c SimplifyTime_total : 0.210186
152.04/22.06	c (18,0) c SimplifyTime_winner : 0.035000
152.04/22.06	c (18,0) c UsedRateTime_0 : 0.000000
152.04/22.06	c (18,0) c UsedRateTime_1 : 0.000000
152.04/22.06	c (18,0) c UsedRateTime_2 : 0.000000
152.04/22.06	c (18,0) c UsedRateTime_3 : 0.000000
152.04/22.06	c (18,0) c UsedRateTime_4 : 0.000000
152.04/22.06	c (18,0) c UsedRateTime_5 : 0.000000
152.04/22.06	c (18,0) c UsedRateTime_6 : 0.000000
152.04/22.06	c (18,0) c UsedRateTime_7 : 0.000000
152.04/22.06	c (18,0) c UsedRateTime_total : 0.000000
152.04/22.06	c (18,0) c UsedRateTime_winner : 0.000000
152.04/22.06	c (18,0) c OverlapRateTime_0 : 0.000000
152.04/22.06	c (18,0) c OverlapRateTime_1 : 0.000000
152.04/22.06	c (18,0) c OverlapRateTime_2 : 0.000000
152.04/22.06	c (18,0) c OverlapRateTime_3 : 0.000000
152.04/22.06	c (18,0) c OverlapRateTime_4 : 0.000000
152.04/22.06	c (18,0) c OverlapRateTime_5 : 0.000000
152.04/22.06	c (18,0) c OverlapRateTime_6 : 0.000000
152.04/22.06	c (18,0) c OverlapRateTime_7 : 0.000000
152.04/22.06	c (18,0) c OverlapRateTime_total : 0.000000
152.04/22.06	c (18,0) c OverlapRateTime_winner : 0.000000
152.04/22.06	c (18,0) c
152.04/22.06	c (18,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
152.04/22.06	c (18,0) c
152.04/22.06	c (18,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
152.04/22.06	c (18,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
152.04/22.06	c (18,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
152.04/22.06	c (18,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
152.04/22.06	c (18,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
152.04/22.06	c (18,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
152.04/22.06	c (18,0) c | Initial random_seed   | 1757040155 |  566292981 |  150104137 | 1931063697 | 1632698441 | 1611803023 | 1406724106 |   57838760 |
152.04/22.06	c (18,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
152.04/22.06	c (18,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
152.04/22.06	c (18,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
152.04/22.06	c (18,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
152.04/22.06	c (18,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
152.04/22.06	c (18,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
152.04/22.06	c (18,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
152.04/22.06	c (18,0) c | var_decay             |     0.9200 |     0.9200 |     0.9200 |     0.9300 |     0.9200 |     0.9300 |     0.9200 |     0.9200 |
152.04/22.06	c (18,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
152.04/22.06	c (18,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
152.04/22.06	c (18,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
152.04/22.06	c (18,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
152.04/22.06	c (18,0) 
152.04/22.06	c (18,0) s SATISFIABLE
152.04/22.09	c (18,0) SatSolver.solve End
152.04/22.09	c (18,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
152.04/22.09	c (18,0) Show results Begin
152.30/22.19	c (19,0) x[0] = 182
152.30/22.19	c (19,0) x[1] = 175
152.30/22.19	c (19,0) x[2] = 175
152.30/22.19	c (19,0) x[3] = 210
152.30/22.19	c (19,0) x[4] = 186
152.30/22.19	c (19,0) x[5] = 159
152.30/22.19	c (19,0) x[6] = 198
152.30/22.19	c (19,0) x[7] = 210
152.30/22.19	c (19,0) x[8] = 198
152.30/22.19	c (19,0) x[9] = 159
152.30/22.19	c (19,0) x[10] = 159
152.30/22.19	c (19,0) x[11] = 182
152.30/22.19	c (19,0) x[12] = 184
152.30/22.19	c (19,0) x[13] = 159
152.30/22.19	c (19,0) x[14] = 186
152.30/22.19	c (19,0) x[15] = 159
152.30/22.19	c (19,0) x[16] = 129
152.30/22.19	c (19,0) x[17] = 228
152.30/22.19	c (19,0) x[18] = 220
152.30/22.19	c (19,0) x[19] = 129
152.30/22.19	c (19,0) x[20] = 215
152.30/22.19	c (19,0) x[21] = 201
152.30/22.19	c (19,0) x[22] = 0
152.30/22.19	c (19,0) x[23] = 0
152.30/22.19	c (19,0) y[0] = 129
152.30/22.19	c (19,0) y[1] = 129
152.30/22.19	c (19,0) y[2] = 120
152.30/22.19	c (19,0) y[3] = 131
152.30/22.19	c (19,0) y[4] = 201
152.30/22.19	c (19,0) y[5] = 120
152.30/22.19	c (19,0) y[6] = 56
152.30/22.19	c (19,0) y[7] = 141
152.30/22.19	c (19,0) y[8] = 73
152.30/22.19	c (19,0) y[9] = 136
152.30/22.19	c (19,0) y[10] = 95
152.30/22.19	c (19,0) y[11] = 131
152.30/22.19	c (19,0) y[12] = 95
152.30/22.19	c (19,0) y[13] = 56
152.30/22.19	c (19,0) y[14] = 159
152.30/22.19	c (19,0) y[15] = 0
152.30/22.19	c (19,0) y[16] = 159
152.30/22.19	c (19,0) y[17] = 141
152.30/22.19	c (19,0) y[18] = 73
152.30/22.19	c (19,0) y[19] = 216
152.30/22.19	c (19,0) y[20] = 0
152.30/22.19	c (19,0) y[21] = 201
152.30/22.19	c (19,0) y[22] = 159
152.30/22.19	c (19,0) y[23] = 0
152.30/22.19	s SATISFIABLE
152.30/22.19	v <instantiation>
152.30/22.19	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] y[0] y[1] y[2] y[3] y[4] y[5] y[6] y[7] y[8] y[9] y[10] y[11] y[12] y[13] y[14] y[15] y[16] y[17] y[18] y[19] y[20] y[21] y[22] y[23]</list>
152.30/22.19	v     <values>182 175 175 210 186 159 198 210 198 159 159 182 184 159 186 159 129 228 220 129 215 201 0 0 129 129 120 131 201 120 56 141 73 136 95 131 95 56 159 0 159 141 73 216 0 201 159 0</values>
152.30/22.19	v </instantiation>
152.30/22.19	c (19,0) Show results End
152.30/22.19	c (19,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB)
152.30/22.19	c (19,0) 18,19,STOP-AFTER(ALL)
152.30/22.19	c END-Prog: Tue Sep 24 17:15:54 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 (11859 MiB free)
  memory of node 1: 16384 MiB (13085 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4405496-1569338175/watcher-4405496-1569338175 -o /var/tmp/evaluation-result-4405496-1569338175/solver-4405496-1569338175 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node121-1569335936-11725 --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-4405496-1569338175.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=12018, runsolver pid=12015
Current StackSize limit: 8192 KiB


[startup+0.100092 s]*
/proc/loadavg: 7.56 7.43 5.48 2/211 12040
/proc/meminfo: memFree=25449832/32770624 swapFree=66992384/67108860
[pid=12018] ppid=12015 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/12018/stat : 12018 (scop.sh) S 12015 12018 11698 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 510080090 115843072 349 33554432000 4194304 5098028 140731016358080 140731016355336 140265893614204 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 37691392 140731016364796 140731016365144 140731016365144 140731016368073 0
/proc/12018/statm: 28282 349 296 221 0 87 0
[pid=12021] ppid=12018 vsize=27314120 memory=106132 CPUtime=0.11 cores=0-7
/proc/12021/stat : 12021 (java) S 12018 12018 11698 0 -1 1077944320 6092 0 0 0 9 2 0 0 20 0 20 0 510080090 27969658880 26533 33554432000 4194304 4196468 140727034376864 140727034359408 140197960023799 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 26939392 140727034385094 140727034385542 140727034385542 140727034388431 0
/proc/12021/statm: 6828530 26533 2804 1 0 6790935 0
[pid=12021/tid=12022] ppid=12018 vsize=27314120 memory=1398722017469774279 CPUtime=0.08 cores=0-7
/proc/12021/task/12022/stat : 12022 (java) R 12018 12018 11698 0 -1 4202560 4197 0 0 0 7 1 0 0 20 0 20 0 510080091 27969658880 26533 33554432000 4194304 4196468 140727034376864 140197931850512 140197945706325 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26939392 140727034385094 140727034385542 140727034385542 140727034388431 0
[pid=12021/tid=12023] ppid=12018 vsize=27314120 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/12021/task/12023/stat : 12023 (java) S 12018 12018 11698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510080093 27969658880 26533 33554432000 4194304 4196468 140727034376864 140197964266000 140197960034005 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26939392 140727034385094 140727034385542 140727034385542 140727034388431 0
[pid=12021/tid=12024] ppid=12018 vsize=27314120 memory=140503654631040 CPUtime=0 cores=0-7
/proc/12021/task/12024/stat : 12024 (java) S 12018 12018 11698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510080093 27969658880 26533 33554432000 4194304 4196468 140727034376864 140197382228624 140197960034005 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26939392 140727034385094 140727034385542 140727034385542 140727034388431 0
[pid=12021/tid=12025] ppid=12018 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12021/task/12025/stat : 12025 (java) S 12018 12018 11698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510080093 27969658880 26533 33554432000 4194304 4196468 140727034376864 140197381175568 140197960034005 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26939392 140727034385094 140727034385542 140727034385542 140727034388431 0
[pid=12021/tid=12026] ppid=12018 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12021/task/12026/stat : 12026 (java) S 12018 12018 11698 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510080093 27969658880 26533 33554432000 4194304 4196468 140727034376864 140197380123024 140197960034005 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26939392 140727034385094 140727034385542 140727034385542 140727034388431 0
[pid=12021/tid=12027] ppid=12018 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12021/task/12027/stat : 12027 (java) S 12018 12018 11698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510080093 27969658880 26533 33554432000 4194304 4196468 140727034376864 140197379070992 140197960034005 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26939392 140727034385094 140727034385542 140727034385542 140727034388431 0
[pid=12021/tid=12028] ppid=12018 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/12021/task/12028/stat : 12028 (java) S 12018 12018 11698 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510080093 27969658880 26533 33554432000 4194304 4196468 140727034376864 140197378018448 140197960034005 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26939392 140727034385094 140727034385542 140727034385542 140727034388431 0
[pid=12021/tid=12029] ppid=12018 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12021/task/12029/stat : 12029 (java) S 12018 12018 11698 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510080093 27969658880 26533 33554432000 4194304 4196468 140727034376864 140197376965392 140197960034005 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26939392 140727034385094 140727034385542 140727034385542 140727034388431 0
[pid=12021/tid=12030] ppid=12018 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12021/task/12030/stat : 12030 (java) S 12018 12018 11698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510080093 27969658880 26533 33554432000 4194304 4196468 140727034376864 140197375912848 140197960034005 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26939392 140727034385094 140727034385542 140727034385542 140727034388431 0
[pid=12021/tid=12031] ppid=12018 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12021/task/12031/stat : 12031 (java) S 12018 12018 11698 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510080094 27969658880 26533 33554432000 4194304 4196468 140727034376864 140197333092592 140197960034946 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26939392 140727034385094 140727034385542 140727034385542 140727034388431 0
[pid=12021/tid=12032] ppid=12018 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12021/task/12032/stat : 12032 (java) S 12018 12018 11698 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 510080095 27969658880 26533 33554432000 4194304 4196468 140727034376864 140195919815840 140197960034005 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26939392 140727034385094 140727034385542 140727034385542 140727034388431 0
[pid=12021/tid=12033] ppid=12018 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12021/task/12033/stat : 12033 (java) S 12018 12018 11698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510080095 27969658880 26533 33554432000 4194304 4196468 140727034376864 140195651379952 140197960034005 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26939392 140727034385094 140727034385542 140727034385542 140727034388431 0
[pid=12021/tid=12034] ppid=12018 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12021/task/12034/stat : 12034 (java) S 12018 12018 11698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510080098 27969658880 26533 33554432000 4194304 4196468 140727034376864 140195276871632 140197960042395 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26939392 140727034385094 140727034385542 140727034385542 140727034388431 0
[pid=12021/tid=12035] ppid=12018 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12021/task/12035/stat : 12035 (java) R 12018 12018 11698 0 -1 1077944384 317 0 0 0 0 0 0 0 20 0 20 0 510080098 27969658880 26533 33554432000 4194304 4196468 140727034376864 140197332040432 140197960034946 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26939392 140727034385094 140727034385542 140727034385542 140727034388431 0
[pid=12021/tid=12036] ppid=12018 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12021/task/12036/stat : 12036 (java) S 12018 12018 11698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510080098 27969658880 26533 33554432000 4194304 4196468 140727034376864 140197330987888 140197960034946 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26939392 140727034385094 140727034385542 140727034385542 140727034388431 0
[pid=12021/tid=12037] ppid=12018 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12021/task/12037/stat : 12037 (java) R 12018 12018 11698 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510080098 27969658880 26533 33554432000 4194304 4196468 140727034376864 140196813203952 140197960034946 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26939392 140727034385094 140727034385542 140727034385542 140727034388431 0
[pid=12021/tid=12038] ppid=12018 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12021/task/12038/stat : 12038 (java) S 12018 12018 11698 0 -1 1077944384 254 0 0 0 0 0 0 0 20 0 20 0 510080098 27969658880 26533 33554432000 4194304 4196468 140727034376864 140196812151408 140197960034946 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26939392 140727034385094 140727034385542 140727034385542 140727034388431 0
[pid=12021/tid=12039] ppid=12018 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12021/task/12039/stat : 12039 (java) S 12018 12018 11698 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510080098 27969658880 26533 33554432000 4194304 4196468 140727034376864 140194778966496 140197960034005 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26939392 140727034385094 140727034385542 140727034385542 140727034388431 0
[pid=12021/tid=12040] ppid=12018 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/12021/task/12040/stat : 12040 (java) S 12018 12018 11698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510080098 27969658880 26533 33554432000 4194304 4196468 140727034376864 140196811098800 140197960034946 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26939392 140727034385094 140727034385542 140727034385542 140727034388431 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 107528 KiB

[startup+0.210074 s]*
/proc/loadavg: 7.56 7.43 5.48 2/211 12040
/proc/meminfo: memFree=25428404/32770624 swapFree=66992384/67108860
[pid=12018] ppid=12015 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/12018/stat : 12018 (scop.sh) S 12015 12018 11698 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 510080090 115843072 349 33554432000 4194304 5098028 140731016358080 140731016355336 140265893614204 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 37691392 140731016364796 140731016365144 140731016365144 140731016368073 0
/proc/12018/statm: 28282 349 296 221 0 87 0
[pid=12021] ppid=12018 vsize=27314120 memory=125320 CPUtime=0.24 cores=0-7
/proc/12021/stat : 12021 (java) S 12018 12018 11698 0 -1 1077944320 11600 0 0 0 21 3 0 0 20 0 20 0 510080090 27969658880 31330 33554432000 4194304 4196468 140727034376864 140727034359408 140197960023799 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 26939392 140727034385094 140727034385542 140727034385542 140727034388431 0
/proc/12021/statm: 6828530 31330 2936 1 0 6790935 0
[pid=12021/tid=12022] ppid=12018 vsize=27314120 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/12021/task/12022/stat : 12022 (java) R 12018 12018 11698 0 -1 4202560 9277 0 0 0 16 3 0 0 20 0 20 0 510080091 27969658880 31330 33554432000 4194304 4196468 140727034376864 140197931844720 140197945189454 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26939392 140727034385094 140727034385542 140727034385542 140727034388431 0
[pid=12021/tid=12023] ppid=12018 vsize=27314120 memory=330 CPUtime=0 cores=0-7
/proc/12021/task/12023/stat : 12023 (java) S 12018 12018 11698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510080093 27969658880 31330 33554432000 4194304 4196468 140727034376864 140197964266000 140197960034005 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26939392 140727034385094 140727034385542 140727034385542 140727034388431 0
[pid=12021/tid=12024] ppid=12018 vsize=27314120 memory=140503654643072 CPUtime=0 cores=0-7
/proc/12021/task/12024/stat : 12024 (java) S 12018 12018 11698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510080093 27969658880 31330 33554432000 4194304 4196468 140727034376864 140197382228624 140197960034005 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26939392 140727034385094 140727034385542 140727034385542 140727034388431 0
[pid=12021/tid=12025] ppid=12018 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/12021/task/12025/stat : 12025 (java) S 12018 12018 11698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510080093 27969658880 31330 33554432000 4194304 4196468 140727034376864 140197381175568 140197960034005 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26939392 140727034385094 140727034385542 140727034385542 140727034388431 0
[pid=12021/tid=12026] ppid=12018 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12021/task/12026/stat : 12026 (java) S 12018 12018 11698 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510080093 27969658880 31330 33554432000 4194304 4196468 140727034376864 140197380123024 140197960034005 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26939392 140727034385094 140727034385542 140727034385542 140727034388431 0
[pid=12021/tid=12027] ppid=12018 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12021/task/12027/stat : 12027 (java) S 12018 12018 11698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510080093 27969658880 31330 33554432000 4194304 4196468 140727034376864 140197379070992 140197960034005 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26939392 140727034385094 140727034385542 140727034385542 140727034388431 0
[pid=12021/tid=12028] ppid=12018 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/12021/task/12028/stat : 12028 (java) S 12018 12018 11698 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510080093 27969658880 31330 33554432000 4194304 4196468 140727034376864 140197378018448 140197960034005 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26939392 140727034385094 140727034385542 140727034385542 140727034388431 0
[pid=12021/tid=12029] ppid=12018 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12021/task/12029/stat : 12029 (java) S 12018 12018 11698 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510080093 27969658880 31330 33554432000 4194304 4196468 140727034376864 140197376965392 140197960034005 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26939392 140727034385094 140727034385542 140727034385542 140727034388431 0
[pid=12021/tid=12030] ppid=12018 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12021/task/12030/stat : 12030 (java) S 12018 12018 11698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510080093 27969658880 31330 33554432000 4194304 4196468 140727034376864 140197375912848 140197960034005 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26939392 140727034385094 140727034385542 140727034385542 140727034388431 0
[pid=12021/tid=12031] ppid=12018 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12021/task/12031/stat : 12031 (java) S 12018 12018 11698 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510080094 27969658880 31330 33554432000 4194304 4196468 140727034376864 140197333092592 140197960034946 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26939392 140727034385094 140727034385542 140727034385542 140727034388431 0
[pid=12021/tid=12032] ppid=12018 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12021/task/12032/stat : 12032 (java) S 12018 12018 11698 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 510080095 27969658880 31330 33554432000 4194304 4196468 140727034376864 140195919815840 140197960034005 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26939392 140727034385094 140727034385542 140727034385542 140727034388431 0
[pid=12021/tid=12033] ppid=12018 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12021/task/12033/stat : 12033 (java) S 12018 12018 11698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510080095 27969658880 31330 33554432000 4194304 4196468 140727034376864 140195651379952 140197960034005 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26939392 140727034385094 140727034385542 140727034385542 140727034388431 0
[pid=12021/tid=12034] ppid=12018 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12021/task/12034/stat : 12034 (java) S 12018 12018 11698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510080098 27969658880 31330 33554432000 4194304 4196468 140727034376864 140195276871632 140197960042395 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26939392 140727034385094 140727034385542 140727034385542 140727034388431 0
[pid=12021/tid=12035] ppid=12018 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12021/task/12035/stat : 12035 (java) S 12018 12018 11698 0 -1 1077944384 317 0 0 0 0 0 0 0 20 0 20 0 510080098 27969658880 31330 33554432000 4194304 4196468 140727034376864 140197332040432 140197960034946 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26939392 140727034385094 140727034385542 140727034385542 140727034388431 0
[pid=12021/tid=12036] ppid=12018 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12021/task/12036/stat : 12036 (java) S 12018 12018 11698 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 20 0 510080098 27969658880 31330 33554432000 4194304 4196468 140727034376864 140197330987888 140197960034946 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26939392 140727034385094 140727034385542 140727034385542 140727034388431 0
[pid=12021/tid=12037] ppid=12018 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/12021/task/12037/stat : 12037 (java) S 12018 12018 11698 0 -1 1077944384 173 0 0 0 0 0 0 0 20 0 20 0 510080098 27969658880 31330 33554432000 4194304 4196468 140727034376864 140196813203952 140197960034946 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26939392 140727034385094 140727034385542 140727034385542 140727034388431 0
[pid=12021/tid=12038] ppid=12018 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7
/proc/12021/task/12038/stat : 12038 (java) S 12018 12018 11698 0 -1 1077944384 479 0 0 0 2 0 0 0 20 0 20 0 510080098 27969658880 31330 33554432000 4194304 4196468 140727034376864 140196812151408 140197960034946 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26939392 140727034385094 140727034385542 140727034385542 140727034388431 0
[pid=12021/tid=12039] ppid=12018 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12021/task/12039/stat : 12039 (java) S 12018 12018 11698 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510080098 27969658880 31330 33554432000 4194304 4196468 140727034376864 140194778966496 140197960034005 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26939392 140727034385094 140727034385542 140727034385542 140727034388431 0
[pid=12021/tid=12040] ppid=12018 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/12021/task/12040/stat : 12040 (java) S 12018 12018 11698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510080098 27969658880 31330 33554432000 4194304 4196468 140727034376864 140196811098800 140197960034946 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26939392 140727034385094 140727034385542 140727034385542 140727034388431 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 126716 KiB

[startup+0.30956 s]*
/proc/loadavg: 7.56 7.43 5.48 3/211 12040
/proc/meminfo: memFree=25424620/32770624 swapFree=66992384/67108860
[pid=12018] ppid=12015 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/12018/stat : 12018 (scop.sh) S 12015 12018 11698 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 510080090 115843072 349 33554432000 4194304 5098028 140731016358080 140731016355336 140265893614204 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 37691392 140731016364796 140731016365144 140731016365144 140731016368073 0
/proc/12018/statm: 28282 349 296 221 0 87 0
[pid=12021] ppid=12018 vsize=27314120 memory=129688 CPUtime=0.42 cores=0-7
/proc/12021/stat : 12021 (java) S 12018 12018 11698 0 -1 1077944320 12778 0 0 0 38 4 0 0 20 0 20 0 510080090 27969658880 32422 33554432000 4194304 4196468 140727034376864 140727034359408 140197960023799 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 26939392 140727034385094 140727034385542 140727034385542 140727034388431 0
/proc/12021/statm: 6828530 32422 3049 1 0 6790935 0
[pid=12021/tid=12022] ppid=12018 vsize=27314120 memory=1398722017469774279 CPUtime=0.29 cores=0-7
/proc/12021/task/12022/stat : 12022 (java) R 12018 12018 11698 0 -1 4202560 10250 0 0 0 26 3 0 0 20 0 20 0 510080091 27969658880 32422 33554432000 4194304 4196468 140727034376864 140197931841296 140197940298994 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26939392 140727034385094 140727034385542 140727034385542 140727034388431 0
[pid=12021/tid=12023] ppid=12018 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12021/task/12023/stat : 12023 (java) S 12018 12018 11698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510080093 27969658880 32422 33554432000 4194304 4196468 140727034376864 140197964266000 140197960034005 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26939392 140727034385094 140727034385542 140727034385542 140727034388431 0
[pid=12021/tid=12024] ppid=12018 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12021/task/12024/stat : 12024 (java) S 12018 12018 11698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510080093 27969658880 32422 33554432000 4194304 4196468 140727034376864 140197382228624 140197960034005 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26939392 140727034385094 140727034385542 140727034385542 140727034388431 0
[pid=12021/tid=12025] ppid=12018 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12021/task/12025/stat : 12025 (java) S 12018 12018 11698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510080093 27969658880 32422 33554432000 4194304 4196468 140727034376864 140197381175568 140197960034005 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26939392 140727034385094 140727034385542 140727034385542 140727034388431 0
[pid=12021/tid=12026] ppid=12018 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12021/task/12026/stat : 12026 (java) S 12018 12018 11698 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510080093 27969658880 32422 33554432000 4194304 4196468 140727034376864 140197380123024 140197960034005 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26939392 140727034385094 140727034385542 140727034385542 140727034388431 0
[pid=12021/tid=12027] ppid=12018 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12021/task/12027/stat : 12027 (java) S 12018 12018 11698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510080093 27969658880 32422 33554432000 4194304 4196468 140727034376864 140197379070992 140197960034005 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26939392 140727034385094 140727034385542 140727034385542 140727034388431 0
[pid=12021/tid=12028] ppid=12018 vsize=27314120 memory=140503546948271 CPUtime=0 cores=0-7
/proc/12021/task/12028/stat : 12028 (java) S 12018 12018 11698 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510080093 27969658880 32422 33554432000 4194304 4196468 140727034376864 140197378018448 140197960034005 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26939392 140727034385094 140727034385542 140727034385542 140727034388431 0
[pid=12021/tid=12029] ppid=12018 vsize=27314120 memory=140503546950576 CPUtime=0 cores=0-7
/proc/12021/task/12029/stat : 12029 (java) S 12018 12018 11698 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510080093 27969658880 32422 33554432000 4194304 4196468 140727034376864 140197376965392 140197960034005 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26939392 140727034385094 140727034385542 140727034385542 140727034388431 0
[pid=12021/tid=12030] ppid=12018 vsize=27314120 memory=140503546952880 CPUtime=0 cores=0-7
/proc/12021/task/12030/stat : 12030 (java) S 12018 12018 11698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510080093 27969658880 32422 33554432000 4194304 4196468 140727034376864 140197375912848 140197960034005 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26939392 140727034385094 140727034385542 140727034385542 140727034388431 0
[pid=12021/tid=12031] ppid=12018 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12021/task/12031/stat : 12031 (java) S 12018 12018 11698 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510080094 27969658880 32422 33554432000 4194304 4196468 140727034376864 140197333092592 140197960034946 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26939392 140727034385094 140727034385542 140727034385542 140727034388431 0
[pid=12021/tid=12032] ppid=12018 vsize=27314120 memory=281007093919632 CPUtime=0 cores=0-7
/proc/12021/task/12032/stat : 12032 (java) S 12018 12018 11698 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 510080095 27969658880 32422 33554432000 4194304 4196468 140727034376864 140195919815840 140197960034005 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26939392 140727034385094 140727034385542 140727034385542 140727034388431 0
[pid=12021/tid=12033] ppid=12018 vsize=27314120 memory=281007093917328 CPUtime=0 cores=0-7
/proc/12021/task/12033/stat : 12033 (java) S 12018 12018 11698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510080095 27969658880 32422 33554432000 4194304 4196468 140727034376864 140195651379952 140197960034005 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26939392 140727034385094 140727034385542 140727034385542 140727034388431 0
[pid=12021/tid=12034] ppid=12018 vsize=27314120 memory=281007093924240 CPUtime=0 cores=0-7
/proc/12021/task/12034/stat : 12034 (java) S 12018 12018 11698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510080098 27969658880 32422 33554432000 4194304 4196468 140727034376864 140195276871632 140197960042395 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26939392 140727034385094 140727034385542 140727034385542 140727034388431 0
[pid=12021/tid=12035] ppid=12018 vsize=27314120 memory=281007093865488 CPUtime=0.01 cores=0-7
/proc/12021/task/12035/stat : 12035 (java) S 12018 12018 11698 0 -1 1077944384 413 0 0 0 1 0 0 0 20 0 20 0 510080098 27969658880 32422 33554432000 4194304 4196468 140727034376864 140197332040432 140197960034946 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26939392 140727034385094 140727034385542 140727034385542 140727034388431 0
[pid=12021/tid=12036] ppid=12018 vsize=27314120 memory=281007093938064 CPUtime=0.01 cores=0-7
/proc/12021/task/12036/stat : 12036 (java) S 12018 12018 11698 0 -1 1077944384 39 0 0 0 1 0 0 0 20 0 20 0 510080098 27969658880 32422 33554432000 4194304 4196468 140727034376864 140197330987888 140197960034946 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26939392 140727034385094 140727034385542 140727034385542 140727034388431 0
[pid=12021/tid=12037] ppid=12018 vsize=27314120 memory=281007093944976 CPUtime=0 cores=0-7
/proc/12021/task/12037/stat : 12037 (java) S 12018 12018 11698 0 -1 1077944384 213 0 0 0 0 0 0 0 20 0 20 0 510080098 27969658880 32422 33554432000 4194304 4196468 140727034376864 140196813203952 140197960034946 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26939392 140727034385094 140727034385542 140727034385542 140727034388431 0
[pid=12021/tid=12038] ppid=12018 vsize=27314120 memory=281007093942672 CPUtime=0.07 cores=0-7
/proc/12021/task/12038/stat : 12038 (java) S 12018 12018 11698 0 -1 1077944384 526 0 0 0 7 0 0 0 20 0 20 0 510080098 27969658880 32422 33554432000 4194304 4196468 140727034376864 140196812151408 140197960034946 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26939392 140727034385094 140727034385542 140727034385542 140727034388431 0
[pid=12021/tid=12039] ppid=12018 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12021/task/12039/stat : 12039 (java) S 12018 12018 11698 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510080098 27969658880 32422 33554432000 4194304 4196468 140727034376864 140194778966496 140197960034005 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26939392 140727034385094 140727034385542 140727034385542 140727034388431 0
[pid=12021/tid=12040] ppid=12018 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/12021/task/12040/stat : 12040 (java) S 12018 12018 11698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510080098 27969658880 32422 33554432000 4194304 4196468 140727034376864 140196811098800 140197960034946 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26939392 140727034385094 140727034385542 140727034385542 140727034388431 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 131084 KiB

[startup+0.700878 s]
/proc/loadavg: 7.56 7.43 5.48 2/211 12040
/proc/meminfo: memFree=25402668/32770624 swapFree=66992384/67108860
[pid=12018] ppid=12015 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/12018/stat : 12018 (scop.sh) S 12015 12018 11698 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 510080090 115843072 349 33554432000 4194304 5098028 140731016358080 140731016355336 140265893614204 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 37691392 140731016364796 140731016365144 140731016365144 140731016368073 0
/proc/12018/statm: 28282 349 296 221 0 87 0
[pid=12021] ppid=12018 vsize=27322516 memory=165744 CPUtime=0.98 cores=0-7
/proc/12021/stat : 12021 (java) S 12018 12018 11698 0 -1 1077944320 20027 0 0 0 92 6 0 0 20 0 20 0 510080090 27978256384 41436 33554432000 4194304 4196468 140727034376864 140727034359408 140197960023799 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 26939392 140727034385094 140727034385542 140727034385542 140727034388431 0
/proc/12021/statm: 6830629 41436 3193 1 0 6791959 0
[pid=12021/tid=12022] ppid=12018 vsize=27322516 memory=0 CPUtime=0.67 cores=0-7
/proc/12021/task/12022/stat : 12022 (java) R 12018 12018 11698 0 -1 4202560 16968 0 0 0 62 5 0 0 20 0 20 0 510080091 27978256384 41436 33554432000 4194304 4196468 140727034376864 140197931855536 140197944104286 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26939392 140727034385094 140727034385542 140727034385542 140727034388431 0
[pid=12021/tid=12023] ppid=12018 vsize=27322516 memory=140503547159408 CPUtime=0 cores=0-7
/proc/12021/task/12023/stat : 12023 (java) S 12018 12018 11698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510080093 27978256384 41436 33554432000 4194304 4196468 140727034376864 140197964266000 140197960034005 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26939392 140727034385094 140727034385542 140727034385542 140727034388431 0
[pid=12021/tid=12024] ppid=12018 vsize=27322516 memory=0 CPUtime=0 cores=0-7
/proc/12021/task/12024/stat : 12024 (java) S 12018 12018 11698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510080093 27978256384 41436 33554432000 4194304 4196468 140727034376864 140197382228624 140197960034005 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26939392 140727034385094 140727034385542 140727034385542 140727034388431 0
[pid=12021/tid=12025] ppid=12018 vsize=27322516 memory=1164 CPUtime=0 cores=0-7
/proc/12021/task/12025/stat : 12025 (java) S 12018 12018 11698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510080093 27978256384 41436 33554432000 4194304 4196468 140727034376864 140197381175568 140197960034005 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26939392 140727034385094 140727034385542 140727034385542 140727034388431 0

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

/proc/12041/task/12047/stat : 12047 (java) S 12018 12018 11698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510080364 8616062976 29471 33554432000 4194304 4196468 140734197949216 139759656274448 139760174106325 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38940672 140734197953503 140734197953670 140734197953670 140734197956559 0
[pid=12041/tid=12048] ppid=12018 vsize=8414124 memory=512 CPUtime=0 cores=0-7
/proc/12041/task/12048/stat : 12048 (java) S 12018 12018 11698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510080364 8616062976 29471 33554432000 4194304 4196468 140734197949216 139759655221904 139760174106325 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38940672 140734197953503 140734197953670 140734197953670 140734197956559 0
[pid=12041/tid=12049] ppid=12018 vsize=8414124 memory=1564 CPUtime=0 cores=0-7
/proc/12041/task/12049/stat : 12049 (java) S 12018 12018 11698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510080364 8616062976 29471 33554432000 4194304 4196468 140734197949216 139759654168848 139760174106325 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38940672 140734197953503 140734197953670 140734197953670 140734197956559 0
[pid=12041/tid=12050] ppid=12018 vsize=8414124 memory=928 CPUtime=0 cores=0-7
/proc/12041/task/12050/stat : 12050 (java) S 12018 12018 11698 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510080364 8616062976 29471 33554432000 4194304 4196468 140734197949216 139759653116304 139760174106325 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38940672 140734197953503 140734197953670 140734197953670 140734197956559 0
[pid=12041/tid=12051] ppid=12018 vsize=8414124 memory=3784 CPUtime=0 cores=0-7
/proc/12041/task/12051/stat : 12051 (java) S 12018 12018 11698 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 510080366 8616062976 29471 33554432000 4194304 4196468 140734197949216 139759401831152 139760174107266 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38940672 140734197953503 140734197953670 140734197953670 140734197956559 0
[pid=12041/tid=12052] ppid=12018 vsize=8414124 memory=1440 CPUtime=0 cores=0-7
/proc/12041/task/12052/stat : 12052 (java) S 12018 12018 11698 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 510080366 8616062976 29471 33554432000 4194304 4196468 140734197949216 139758504240800 139760174106325 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38940672 140734197953503 140734197953670 140734197953670 140734197956559 0
[pid=12041/tid=12053] ppid=12018 vsize=8414124 memory=904 CPUtime=0 cores=0-7
/proc/12041/task/12053/stat : 12053 (java) S 12018 12018 11698 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 510080367 8616062976 29471 33554432000 4194304 4196468 140734197949216 139758370018544 139760174106325 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38940672 140734197953503 140734197953670 140734197953670 140734197956559 0
[pid=12041/tid=12054] ppid=12018 vsize=8414124 memory=1984 CPUtime=0 cores=0-7
/proc/12041/task/12054/stat : 12054 (java) S 12018 12018 11698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510080369 8616062976 29471 33554432000 4194304 4196468 140734197949216 139757995514320 139760174114715 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38940672 140734197953503 140734197953670 140734197953670 140734197956559 0
[pid=12041/tid=12055] ppid=12018 vsize=8414124 memory=2528 CPUtime=0.06 cores=0-7
/proc/12041/task/12055/stat : 12055 (java) S 12018 12018 11698 0 -1 1077944384 543 0 0 0 6 0 0 0 20 0 24 0 510080369 8616062976 29471 33554432000 4194304 4196468 140734197949216 139759400777968 139760174107266 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38940672 140734197953503 140734197953670 140734197953670 140734197956559 0
[pid=12041/tid=12056] ppid=12018 vsize=8414124 memory=1764 CPUtime=0.05 cores=0-7
/proc/12041/task/12056/stat : 12056 (java) S 12018 12018 11698 0 -1 1077944384 375 0 0 0 5 0 0 0 20 0 24 0 510080369 8616062976 29471 33554432000 4194304 4196468 140734197949216 139759399725424 139760174107266 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38940672 140734197953503 140734197953670 140734197953670 140734197956559 0
[pid=12041/tid=12057] ppid=12018 vsize=8414124 memory=111632 CPUtime=0.05 cores=0-7
/proc/12041/task/12057/stat : 12057 (java) S 12018 12018 11698 0 -1 1077944384 238 0 0 0 5 0 0 0 20 0 24 0 510080369 8616062976 29471 33554432000 4194304 4196468 140734197949216 139759398672368 139760174107266 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38940672 140734197953503 140734197953670 140734197953670 140734197956559 0
[pid=12041/tid=12058] ppid=12018 vsize=8414124 memory=804 CPUtime=0.19 cores=0-7
/proc/12041/task/12058/stat : 12058 (java) S 12018 12018 11698 0 -1 1077944384 498 0 0 0 19 0 0 0 20 0 24 0 510080369 8616062976 29471 33554432000 4194304 4196468 140734197949216 139759397619824 139760174107266 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 7 0 0 6293624 6294260 38940672 140734197953503 140734197953670 140734197953670 140734197956559 0
[pid=12041/tid=12059] ppid=12018 vsize=8414124 memory=4100 CPUtime=0 cores=0-7
/proc/12041/task/12059/stat : 12059 (java) S 12018 12018 11698 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510080369 8616062976 29471 33554432000 4194304 4196468 140734197949216 139757497609184 139760174106325 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38940672 140734197953503 140734197953670 140734197953670 140734197956559 0
[pid=12041/tid=12060] ppid=12018 vsize=8414124 memory=1808 CPUtime=0.01 cores=0-7
/proc/12041/task/12060/stat : 12060 (java) S 12018 12018 11698 0 -1 1077944384 3 0 0 0 0 1 0 0 20 0 24 0 510080369 8616062976 29471 33554432000 4194304 4196468 140734197949216 139759396568240 139760174107266 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 4 0 0 6293624 6294260 38940672 140734197953503 140734197953670 140734197953670 140734197956559 0
[pid=12041/tid=12062] ppid=12018 vsize=8414124 memory=924 CPUtime=0 cores=0-7
/proc/12041/task/12062/stat : 12062 (java) S 12018 12018 11698 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 510080435 8616062976 29471 33554432000 4194304 4196468 140734197949216 139759388534208 139760174120729 0 4 2 25189581 18446744071579417331 0 0 -1 6 0 0 0 0 0 6293624 6294260 38940672 140734197953503 140734197953670 140734197953670 140734197956559 0
[pid=12041/tid=12064] ppid=12018 vsize=8414124 memory=4136 CPUtime=0 cores=0-7
/proc/12041/task/12064/stat : 12064 (java) S 12018 12018 11698 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 510080435 8616062976 29471 33554432000 4194304 4196468 140734197949216 139756826508816 139760174118045 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 38940672 140734197953503 140734197953670 140734197953670 140734197956559 0
[pid=12041/tid=12065] ppid=12018 vsize=8414124 memory=1412 CPUtime=0 cores=0-7
/proc/12041/task/12065/stat : 12065 (java) S 12018 12018 11698 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 510080435 8616062976 29471 33554432000 4194304 4196468 140734197949216 139757094944400 139760174118045 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 38940672 140734197953503 140734197953670 140734197953670 140734197956559 0
[pid=12041/tid=12066] ppid=12018 vsize=8414124 memory=3176 CPUtime=0 cores=0-7
/proc/12041/task/12066/stat : 12066 (java) S 12018 12018 11698 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 510080437 8616062976 29471 33554432000 4194304 4196468 140734197949216 139756558080944 139760174106325 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38940672 140734197953503 140734197953670 140734197953670 140734197956559 0
Current children cumulated CPU time: 148.8 s
Current children cumulated vsize: 9273872 KiB
Current children cumulated memory: 552324 KiB

[startup+22.0014 s]*
/proc/loadavg: 7.68 7.47 5.54 8/224 12077
/proc/meminfo: memFree=24999692/32770624 swapFree=66992384/67108860
[pid=12018] ppid=12015 vsize=113128 memory=1476 CPUtime=5.66 cores=0-7
/proc/12018/stat : 12018 (scop.sh) S 12015 12018 11698 0 -1 4202496 583 26928 0 0 0 0 539 27 20 0 1 0 510080090 115843072 369 33554432000 4194304 5098028 140731016358080 140731016354824 140265893614204 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 37691392 140731016364796 140731016365144 140731016365144 140731016368073 0
/proc/12018/statm: 28282 369 311 221 0 87 0
[pid=12041] ppid=12018 vsize=8414124 memory=117884 CPUtime=1.15 cores=0-7
/proc/12041/stat : 12041 (java) S 12018 12018 11698 0 -1 1077944320 19467 0 0 0 109 6 0 0 20 0 24 0 510080363 8616062976 29471 33554432000 4194304 4196468 140734197949216 140734197931760 139760174096119 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 38940672 140734197953503 140734197953670 140734197953670 140734197956559 0
/proc/12041/statm: 2103531 29471 3205 1 0 2064875 0
[pid=12061] ppid=12041 vsize=746620 memory=434852 CPUtime=145.23 cores=0-7
/proc/12061/stat : 12061 (manyglucose-4.1) S 12041 12018 11698 0 -1 1077944320 156413 0 0 0 14474 49 0 0 20 0 4 0 510080434 764538880 108713 33554432000 4194304 4454172 140727713762784 140727713761168 139811490873079 0 4 0 8388610 18446744073709551615 0 0 17 7 0 0 0 0 0 6552832 6554400 28319744 140727713764173 140727713764380 140727713764380 140727713767350 0
/proc/12061/statm: 186655 108713 420 64 0 182323 0
[pid=12061/tid=12067] ppid=12041 vsize=746620 memory=0 CPUtime=18.15 cores=0-7
/proc/12061/task/12067/stat : 12067 (manyglucose-4.1) R 12041 12018 11698 0 -1 4202560 19197 0 0 0 1808 7 0 0 20 0 4 0 510080473 764538880 108713 33554432000 4194304 4454172 140727713762784 139811462560616 4353764 0 4 0 8388610 0 0 0 -1 2 0 0 0 0 0 6552832 6554400 28319744 140727713764173 140727713764380 140727713764380 140727713767350 0
[pid=12061/tid=12069] ppid=12041 vsize=746620 memory=0 CPUtime=18.15 cores=0-7
/proc/12061/task/12069/stat : 12069 (manyglucose-4.1) R 12041 12018 11698 0 -1 4202560 15061 0 0 0 1811 4 0 0 20 0 4 0 510080473 764538880 108713 33554432000 4194304 4454172 140727713762784 139811445775208 4351209 0 4 0 8388610 0 0 0 -1 5 0 0 0 0 0 6552832 6554400 28319744 140727713764173 140727713764380 140727713764380 140727713767350 0
[pid=12061/tid=12070] ppid=12041 vsize=746620 memory=140503654631040 CPUtime=18.16 cores=0-7
/proc/12061/task/12070/stat : 12070 (manyglucose-4.1) R 12041 12018 11698 0 -1 4202560 14972 0 0 0 1811 5 0 0 20 0 4 0 510080473 764538880 108713 33554432000 4194304 4454172 140727713762784 139811437382760 4351555 0 4 0 8388610 0 0 0 -1 6 0 0 0 0 0 6552832 6554400 28319744 140727713764173 140727713764380 140727713764380 140727713767350 0
[pid=12041/tid=12042] ppid=12018 vsize=8414124 memory=1398722017469774279 CPUtime=0.74 cores=0-7
/proc/12041/task/12042/stat : 12042 (java) S 12018 12018 11698 0 -1 1077944384 16395 0 0 0 70 4 0 0 20 0 24 0 510080363 8616062976 29471 33554432000 4194304 4196468 140734197949216 139760145936288 139760174106325 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38940672 140734197953503 140734197953670 140734197953670 140734197956559 0
[pid=12041/tid=12043] ppid=12018 vsize=8414124 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/12041/task/12043/stat : 12043 (java) S 12018 12018 11698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510080364 8616062976 29471 33554432000 4194304 4196468 140734197949216 139760178338832 139760174106325 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38940672 140734197953503 140734197953670 140734197953670 140734197956559 0
[pid=12041/tid=12044] ppid=12018 vsize=8414124 memory=2867565960586600 CPUtime=0 cores=0-7
/proc/12041/task/12044/stat : 12044 (java) S 12018 12018 11698 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510080364 8616062976 29471 33554432000 4194304 4196468 140734197949216 139759984102544 139760174106325 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38940672 140734197953503 140734197953670 140734197953670 140734197956559 0
[pid=12041/tid=12045] ppid=12018 vsize=8414124 memory=6944656592455359580 CPUtime=0 cores=0-7
/proc/12041/task/12045/stat : 12045 (java) S 12018 12018 11698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510080364 8616062976 29471 33554432000 4194304 4196468 140734197949216 139759983049488 139760174106325 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38940672 140734197953503 140734197953670 140734197953670 140734197956559 0
[pid=12041/tid=12046] ppid=12018 vsize=8414124 memory=6943526294502006880 CPUtime=0 cores=0-7
/proc/12041/task/12046/stat : 12046 (java) S 12018 12018 11698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510080364 8616062976 29471 33554432000 4194304 4196468 140734197949216 139759981996944 139760174106325 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38940672 140734197953503 140734197953670 140734197953670 140734197956559 0
[pid=12041/tid=12047] ppid=12018 vsize=8414124 memory=6944656592455359580 CPUtime=0 cores=0-7
/proc/12041/task/12047/stat : 12047 (java) S 12018 12018 11698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510080364 8616062976 29471 33554432000 4194304 4196468 140734197949216 139759656274448 139760174106325 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38940672 140734197953503 140734197953670 140734197953670 140734197956559 0
[pid=12041/tid=12048] ppid=12018 vsize=8414124 memory=8547712850019655617 CPUtime=0 cores=0-7
/proc/12041/task/12048/stat : 12048 (java) S 12018 12018 11698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510080364 8616062976 29471 33554432000 4194304 4196468 140734197949216 139759655221904 139760174106325 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38940672 140734197953503 140734197953670 140734197953670 140734197956559 0
[pid=12041/tid=12049] ppid=12018 vsize=8414124 memory=7089056485457618024 CPUtime=0 cores=0-7
/proc/12041/task/12049/stat : 12049 (java) S 12018 12018 11698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510080364 8616062976 29471 33554432000 4194304 4196468 140734197949216 139759654168848 139760174106325 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38940672 140734197953503 140734197953670 140734197953670 140734197956559 0
[pid=12041/tid=12050] ppid=12018 vsize=8414124 memory=4209357772117481859 CPUtime=0 cores=0-7
/proc/12041/task/12050/stat : 12050 (java) S 12018 12018 11698 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510080364 8616062976 29471 33554432000 4194304 4196468 140734197949216 139759653116304 139760174106325 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38940672 140734197953503 140734197953670 140734197953670 140734197956559 0
[pid=12041/tid=12051] ppid=12018 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/12041/task/12051/stat : 12051 (java) S 12018 12018 11698 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 510080366 8616062976 29471 33554432000 4194304 4196468 140734197949216 139759401831152 139760174107266 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38940672 140734197953503 140734197953670 140734197953670 140734197956559 0
[pid=12041/tid=12052] ppid=12018 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/12041/task/12052/stat : 12052 (java) S 12018 12018 11698 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 510080366 8616062976 29471 33554432000 4194304 4196468 140734197949216 139758504240800 139760174106325 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38940672 140734197953503 140734197953670 140734197953670 140734197956559 0
[pid=12041/tid=12053] ppid=12018 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/12041/task/12053/stat : 12053 (java) S 12018 12018 11698 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 510080367 8616062976 29471 33554432000 4194304 4196468 140734197949216 139758370018544 139760174106325 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38940672 140734197953503 140734197953670 140734197953670 140734197956559 0
[pid=12041/tid=12054] ppid=12018 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/12041/task/12054/stat : 12054 (java) S 12018 12018 11698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510080369 8616062976 29471 33554432000 4194304 4196468 140734197949216 139757995514320 139760174114715 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38940672 140734197953503 140734197953670 140734197953670 140734197956559 0
[pid=12041/tid=12055] ppid=12018 vsize=8414124 memory=576587674381544995 CPUtime=0.06 cores=0-7
/proc/12041/task/12055/stat : 12055 (java) S 12018 12018 11698 0 -1 1077944384 543 0 0 0 6 0 0 0 20 0 24 0 510080369 8616062976 29471 33554432000 4194304 4196468 140734197949216 139759400777968 139760174107266 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38940672 140734197953503 140734197953670 140734197953670 140734197956559 0
[pid=12041/tid=12056] ppid=12018 vsize=8414124 memory=288283359774507896 CPUtime=0.05 cores=0-7
/proc/12041/task/12056/stat : 12056 (java) S 12018 12018 11698 0 -1 1077944384 375 0 0 0 5 0 0 0 20 0 24 0 510080369 8616062976 29471 33554432000 4194304 4196468 140734197949216 139759399725424 139760174107266 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38940672 140734197953503 140734197953670 140734197953670 140734197956559 0
[pid=12041/tid=12057] ppid=12018 vsize=8414124 memory=0 CPUtime=0.05 cores=0-7
/proc/12041/task/12057/stat : 12057 (java) S 12018 12018 11698 0 -1 1077944384 238 0 0 0 5 0 0 0 20 0 24 0 510080369 8616062976 29471 33554432000 4194304 4196468 140734197949216 139759398672368 139760174107266 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38940672 140734197953503 140734197953670 140734197953670 140734197956559 0
[pid=12041/tid=12058] ppid=12018 vsize=8414124 memory=0 CPUtime=0.19 cores=0-7
/proc/12041/task/12058/stat : 12058 (java) S 12018 12018 11698 0 -1 1077944384 498 0 0 0 19 0 0 0 20 0 24 0 510080369 8616062976 29471 33554432000 4194304 4196468 140734197949216 139759397619824 139760174107266 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 7 0 0 6293624 6294260 38940672 140734197953503 140734197953670 140734197953670 140734197956559 0
[pid=12041/tid=12059] ppid=12018 vsize=8414124 memory=6878254972180330865 CPUtime=0 cores=0-7
/proc/12041/task/12059/stat : 12059 (java) S 12018 12018 11698 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510080369 8616062976 29471 33554432000 4194304 4196468 140734197949216 139757497609184 139760174106325 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38940672 140734197953503 140734197953670 140734197953670 140734197956559 0
[pid=12041/tid=12060] ppid=12018 vsize=8414124 memory=-1 CPUtime=0.01 cores=0-7
/proc/12041/task/12060/stat : 12060 (java) S 12018 12018 11698 0 -1 1077944384 3 0 0 0 0 1 0 0 20 0 24 0 510080369 8616062976 29471 33554432000 4194304 4196468 140734197949216 139759396568240 139760174107266 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 4 0 0 6293624 6294260 38940672 140734197953503 140734197953670 140734197953670 140734197956559 0
[pid=12041/tid=12062] ppid=12018 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/12041/task/12062/stat : 12062 (java) S 12018 12018 11698 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 510080435 8616062976 29471 33554432000 4194304 4196468 140734197949216 139759388534208 139760174120729 0 4 2 25189581 18446744071579417331 0 0 -1 6 0 0 0 0 0 6293624 6294260 38940672 140734197953503 140734197953670 140734197953670 140734197956559 0
[pid=12041/tid=12064] ppid=12018 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/12041/task/12064/stat : 12064 (java) S 12018 12018 11698 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 510080435 8616062976 29471 33554432000 4194304 4196468 140734197949216 139756826508816 139760174118045 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 38940672 140734197953503 140734197953670 140734197953670 140734197956559 0
[pid=12041/tid=12065] ppid=12018 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/12041/task/12065/stat : 12065 (java) S 12018 12018 11698 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 510080435 8616062976 29471 33554432000 4194304 4196468 140734197949216 139757094944400 139760174118045 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 38940672 140734197953503 140734197953670 140734197953670 140734197956559 0
[pid=12041/tid=12066] ppid=12018 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/12041/task/12066/stat : 12066 (java) S 12018 12018 11698 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 510080437 8616062976 29471 33554432000 4194304 4196468 140734197949216 139756558080944 139760174106325 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38940672 140734197953503 140734197953670 140734197953670 140734197956559 0
Current children cumulated CPU time: 152.04 s
Current children cumulated vsize: 9273872 KiB
Current children cumulated memory: 554212 KiB

[startup+22.2009 s]
/proc/loadavg: 7.68 7.47 5.54 8/224 12077
/proc/meminfo: memFree=24999692/32770624 swapFree=66992384/67108860
[pid=12018] ppid=12015 vsize=113128 memory=1476 CPUtime=5.66 cores=0-7
/proc/12018/stat : 12018 (scop.sh) S 12015 12018 11698 0 -1 4202496 583 26928 0 0 0 0 539 27 20 0 1 0 510080090 115843072 369 33554432000 4194304 5098028 140731016358080 140731016354824 140265893614204 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 37691392 140731016364796 140731016365144 140731016365144 140731016368073 0
/proc/12018/statm: 28282 369 311 221 0 87 0
[pid=12041] ppid=12018 vsize=8151972 memory=130948 CPUtime=146.81 cores=0-7
/proc/12041/stat : 12041 (java) S 12018 12018 11698 0 -1 1077944320 21161 156440 0 0 145 7 14479 50 20 0 21 0 510080363 8347619328 32737 33554432000 4194304 4196468 140734197949216 140734197931760 139760174096119 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 38940672 140734197953503 140734197953670 140734197953670 140734197956559 0
/proc/12041/statm: 2037993 32737 3225 1 0 1999337 0
[pid=12041/tid=12042] ppid=12018 vsize=8151972 memory=7013625606824289617 CPUtime=146.13 cores=0-7
/proc/12041/task/12042/stat : 12042 (java) S 12018 12018 11698 0 -1 1077944384 16683 156440 0 0 80 4 14479 50 20 0 21 0 510080363 8347619328 32737 33554432000 4194304 4196468 140734197949216 139760145939600 139760174106325 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38940672 140734197953503 140734197953670 140734197953670 140734197956559 0
[pid=12041/tid=12043] ppid=12018 vsize=8151972 memory=6153980197191635300 CPUtime=145.29 cores=0-7
/proc/12041/task/12043/stat : 12043 (java) S 12018 12018 11698 0 -1 1077944384 1 156440 0 0 0 0 14479 50 20 0 21 0 510080364 8347619328 32737 33554432000 4194304 4196468 140734197949216 139760178338832 139760174106325 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38940672 140734197953503 140734197953670 140734197953670 140734197956559 0
[pid=12041/tid=12044] ppid=12018 vsize=8151972 memory=304556123141439514 CPUtime=145.29 cores=0-7
/proc/12041/task/12044/stat : 12044 (java) S 12018 12018 11698 0 -1 1077944384 2 156440 0 0 0 0 14479 50 20 0 21 0 510080364 8347619328 32737 33554432000 4194304 4196468 140734197949216 139759984102544 139760174106325 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38940672 140734197953503 140734197953670 140734197953670 140734197956559 0
[pid=12041/tid=12045] ppid=12018 vsize=8151972 memory=288230621803970871 CPUtime=145.29 cores=0-7
/proc/12041/task/12045/stat : 12045 (java) S 12018 12018 11698 0 -1 1077944384 1 156440 0 0 0 0 14479 50 20 0 21 0 510080364 8347619328 32737 33554432000 4194304 4196468 140734197949216 139759983049488 139760174106325 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38940672 140734197953503 140734197953670 140734197953670 140734197956559 0
[pid=12041/tid=12046] ppid=12018 vsize=8151972 memory=13848568834296442 CPUtime=145.29 cores=0-7
/proc/12041/task/12046/stat : 12046 (java) S 12018 12018 11698 0 -1 1077944384 1 156440 0 0 0 0 14479 50 20 0 21 0 510080364 8347619328 32737 33554432000 4194304 4196468 140734197949216 139759981996944 139760174106325 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38940672 140734197953503 140734197953670 140734197953670 140734197956559 0
[pid=12041/tid=12047] ppid=12018 vsize=8151972 memory=6944656592455360604 CPUtime=145.29 cores=0-7
/proc/12041/task/12047/stat : 12047 (java) S 12018 12018 11698 0 -1 1077944384 1 156440 0 0 0 0 14479 50 20 0 21 0 510080364 8347619328 32737 33554432000 4194304 4196468 140734197949216 139759656274448 139760174106325 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38940672 140734197953503 140734197953670 140734197953670 140734197956559 0
[pid=12041/tid=12048] ppid=12018 vsize=8151972 memory=6944652177228980320 CPUtime=145.29 cores=0-7
/proc/12041/task/12048/stat : 12048 (java) S 12018 12018 11698 0 -1 1077944384 1 156440 0 0 0 0 14479 50 20 0 21 0 510080364 8347619328 32737 33554432000 4194304 4196468 140734197949216 139759655221904 139760174106325 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38940672 140734197953503 140734197953670 140734197953670 140734197956559 0
[pid=12041/tid=12049] ppid=12018 vsize=8151972 memory=6944656592455359580 CPUtime=145.29 cores=0-7
/proc/12041/task/12049/stat : 12049 (java) S 12018 12018 11698 0 -1 1077944384 1 156440 0 0 0 0 14479 50 20 0 21 0 510080364 8347619328 32737 33554432000 4194304 4196468 140734197949216 139759654168848 139760174106325 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38940672 140734197953503 140734197953670 140734197953670 140734197956559 0
[pid=12041/tid=12050] ppid=12018 vsize=8151972 memory=7681407940103534239 CPUtime=145.29 cores=0-7
/proc/12041/task/12050/stat : 12050 (java) S 12018 12018 11698 0 -1 1077944384 3 156440 0 0 0 0 14479 50 20 0 21 0 510080364 8347619328 32737 33554432000 4194304 4196468 140734197949216 139759653116304 139760174106325 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38940672 140734197953503 140734197953670 140734197953670 140734197956559 0
[pid=12041/tid=12051] ppid=12018 vsize=8151972 memory=-7677464858452598683 CPUtime=145.29 cores=0-7
/proc/12041/task/12051/stat : 12051 (java) S 12018 12018 11698 0 -1 1077944384 7 156440 0 0 0 0 14479 50 20 0 21 0 510080366 8347619328 32737 33554432000 4194304 4196468 140734197949216 139759401831360 139760174107266 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38940672 140734197953503 140734197953670 140734197953670 140734197956559 0
[pid=12041/tid=12052] ppid=12018 vsize=8151972 memory=4785180571215093856 CPUtime=145.29 cores=0-7
/proc/12041/task/12052/stat : 12052 (java) S 12018 12018 11698 0 -1 1077944384 13 156440 0 0 0 0 14479 50 20 0 21 0 510080366 8347619328 32737 33554432000 4194304 4196468 140734197949216 139758504240800 139760174106325 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38940672 140734197953503 140734197953670 140734197953670 140734197956559 0
[pid=12041/tid=12053] ppid=12018 vsize=8151972 memory=-7457052372387209120 CPUtime=145.29 cores=0-7
/proc/12041/task/12053/stat : 12053 (java) S 12018 12018 11698 0 -1 1077944384 21 156440 0 0 0 0 14479 50 20 0 21 0 510080367 8347619328 32737 33554432000 4194304 4196468 140734197949216 139758370018544 139760174106325 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38940672 140734197953503 140734197953670 140734197953670 140734197956559 0
[pid=12041/tid=12054] ppid=12018 vsize=8151972 memory=9047017150487036571 CPUtime=145.29 cores=0-7
/proc/12041/task/12054/stat : 12054 (java) S 12018 12018 11698 0 -1 1077944384 22 156440 0 0 0 0 14479 50 20 0 21 0 510080369 8347619328 32737 33554432000 4194304 4196468 140734197949216 139757995513088 139760174106325 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38940672 140734197953503 140734197953670 140734197953670 140734197956559 0
[pid=12041/tid=12055] ppid=12018 vsize=8151972 memory=-2915666626912048542 CPUtime=145.39 cores=0-7
/proc/12041/task/12055/stat : 12055 (java) S 12018 12018 11698 0 -1 1077944384 593 156440 0 0 10 0 14479 50 20 0 21 0 510080369 8347619328 32737 33554432000 4194304 4196468 140734197949216 139759400777968 139760174107266 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38940672 140734197953503 140734197953670 140734197953670 140734197956559 0
[pid=12041/tid=12056] ppid=12018 vsize=8151972 memory=0 CPUtime=145.4 cores=0-7
/proc/12041/task/12056/stat : 12056 (java) S 12018 12018 11698 0 -1 1077944384 531 156440 0 0 11 0 14479 50 20 0 21 0 510080369 8347619328 32737 33554432000 4194304 4196468 140734197949216 139759399705840 139760174106325 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38940672 140734197953503 140734197953670 140734197953670 140734197956559 0
[pid=12041/tid=12057] ppid=12018 vsize=8151972 memory=0 CPUtime=145.38 cores=0-7
/proc/12041/task/12057/stat : 12057 (java) S 12018 12018 11698 0 -1 1077944384 403 156440 0 0 9 0 14479 50 20 0 21 0 510080369 8347619328 32737 33554432000 4194304 4196468 140734197949216 139759398653904 139760174106325 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38940672 140734197953503 140734197953670 140734197953670 140734197956559 0
[pid=12041/tid=12058] ppid=12018 vsize=8151972 memory=0 CPUtime=145.55 cores=0-7
/proc/12041/task/12058/stat : 12058 (java) S 12018 12018 11698 0 -1 1077944384 953 156440 0 0 26 0 14479 50 20 0 21 0 510080369 8347619328 32737 33554432000 4194304 4196468 140734197949216 139759397619824 139760174107266 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 7 0 0 6293624 6294260 38940672 140734197953503 140734197953670 140734197953670 140734197956559 0
[pid=12041/tid=12059] ppid=12018 vsize=8151972 memory=6655300316396806240 CPUtime=145.29 cores=0-7
/proc/12041/task/12059/stat : 12059 (java) S 12018 12018 11698 0 -1 1077944384 3 156440 0 0 0 0 14479 50 20 0 21 0 510080369 8347619328 32737 33554432000 4194304 4196468 140734197949216 139757497609184 139760174106325 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38940672 140734197953503 140734197953670 140734197953670 140734197956559 0
[pid=12041/tid=12062] ppid=12018 vsize=8151972 memory=6944656592455097440 CPUtime=145.29 cores=0-7
/proc/12041/task/12062/stat : 12062 (java) S 12018 12018 11698 0 -1 1077944384 26 156440 0 0 0 0 14479 50 20 0 21 0 510080435 8347619328 32737 33554432000 4194304 4196468 140734197949216 139759388533392 139760174107266 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38940672 140734197953503 140734197953670 140734197953670 140734197956559 0
[pid=12041/tid=12066] ppid=12018 vsize=8151972 memory=6943526294502006880 CPUtime=145.29 cores=0-7
/proc/12041/task/12066/stat : 12066 (java) S 12018 12018 11698 0 -1 1077944384 12 156440 0 0 0 0 14479 50 20 0 21 0 510080437 8347619328 32737 33554432000 4194304 4196468 140734197949216 139756558082736 139760174107266 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38940672 140734197953503 140734197953670 140734197953670 140734197956559 0
Current children cumulated CPU time: 152.47 s
Current children cumulated vsize: 8265100 KiB
Current children cumulated memory: 132424 KiB

Child status: 0
Real time (s): 22.2181
CPU time (s): 152.527
CPU user time (s): 151.652
CPU system time (s): 0.875323
CPU usage (%): 686.5
Max. virtual memory (cumulated for all children) (KiB): 27441876
Max. memory (cumulated for all children) (KiB): 1036708

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 151.652
system time used= 0.875323
maximum resident set size= 1038236
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 205128
page faults= 0
swaps= 0
block input operations= 8
block output operations= 9064
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 16201
involuntary context switches= 1737


# summary of solver processes directly reported to runsolver:
#   pid: 12018
#   total CPU time (s): 152.527
#   total CPU user time (s): 151.652
#   total CPU system time (s): 0.875323

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.232356 second user time and 0.33524 second system time

The end

Launcher Data 

Begin job on node121 at 2019-09-24 17:15:32
IDJOB=4405496
IDBENCH=127865
IDSOLVER=2868
FILE ID=node121/4405496-1569338175
RUNJOBID= node121-1569335936-11725
PBS_JOBID= 21705063
Free space on /var/tmp= 13512 MiB

SOLVER NAME= Fun-sCOP hybrid+ManyGlucose (2019-09-22)
BENCH NAME= XCSP17/RectPacking/RectPacking-m1-perf/RectPacking-perfect-033.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-4405496-1569338175/watcher-4405496-1569338175 -o /var/tmp/evaluation-result-4405496-1569338175/solver-4405496-1569338175 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node121-1569335936-11725 --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-4405496-1569338175.xml

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

MD5SUM BENCH= 273a3a450a7af16ef80dfed9e1af494c
RANDOM SEED=969539028

node121.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.75
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.75
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.75
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.75
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:        25544804 kB
MemAvailable:   31847156 kB
Buffers:          138788 kB
Cached:          6254320 kB
SwapCached:         4552 kB
Active:          3173992 kB
Inactive:        3226696 kB
Active(anon):       3804 kB
Inactive(anon):    53776 kB
Active(file):    3170188 kB
Inactive(file):  3172920 kB
Unevictable:      109072 kB
Mlocked:          109072 kB
SwapTotal:      67108860 kB
SwapFree:       66992384 kB
Dirty:             20688 kB
Writeback:             4 kB
AnonPages:        113532 kB
Mapped:            53196 kB
Shmem:             41072 kB
Slab:             416888 kB
SReclaimable:     387704 kB
SUnreclaim:        29184 kB
KernelStack:        3376 kB
PageTables:         5664 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     514504 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     67584 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      122240 kB
DirectMap2M:    33423360 kB

Free space on /var/tmp at the end= 13492 MiB
End job on node121 at 2019-09-24 17:15:55