Trace number 4392636

Some explanations

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

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

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

Solver answer on this benchmark

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

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-32628-serial-file.bin HOME/instance-4392636-1568429914.xml
0.65/0.54	
0.65/0.54	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
0.65/0.54	
0.65/0.56	c BEGIN-Prog: Sat Sep 14 04:57:55 CEST 2019
0.65/0.56	c PID: 32631
0.65/0.56	c IP: 172.20.3.150
0.65/0.56	c HOST: node150.alineos.net
0.65/0.57	c (0,0) Parsing Begin
1.19/0.90	c (0,0) Parsing End
1.39/0.90	c (0,0) CSP: 48 int (0 aux), 0 bool (0 aux), 51 ctr, max domain size 288
1.39/0.90	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.39/0.90	c (0,0) Constraint Name Generate Begin
1.39/0.91	c (0,0) Ctr:HOME/instance-4392636-1568429914.xml,Le:NoOverlap:Num:Var
1.39/0.91	c (0,0) Constraint Name Generate End
1.39/0.91	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.39/0.91	c (0,0) CSP to CSPinCNF Begin
1.39/0.99	c (0,0) translated 6 (10%) constraints
1.39/0.99	c (0,0) translated 11 (20%) constraints
1.39/0.99	c (0,0) translated 16 (30%) constraints
1.39/1.00	c (0,0) translated 21 (40%) constraints
1.39/1.00	c (0,0) translated 26 (50%) constraints
1.39/1.00	c (0,0) translated 31 (60%) constraints
1.39/1.00	c (0,0) translated 36 (70%) constraints
1.56/1.01	c (0,0) translated 41 (80%) constraints
1.56/1.01	c (0,0) translated 46 (90%) constraints
2.17/1.26	c (0,0) translated 51 (100%) constraints
2.17/1.26	c (0,0) ===========================================
2.17/1.28	c (0,0) Hybrid: #OE=48, #LE=0
2.17/1.28	c (0,0) Hybrid
2.17/1.28	c (0,0) ===========================================
2.17/1.29	c (0,0) translated 33 (10%) constraints
2.17/1.29	c (0,0) translated 66 (20%) constraints
2.49/1.30	c (0,0) translated 98 (30%) constraints
2.49/1.31	c (0,0) translated 131 (40%) constraints
2.49/1.31	c (0,0) translated 163 (50%) constraints
2.49/1.32	c (0,0) translated 196 (60%) constraints
2.49/1.32	c (0,0) translated 229 (70%) constraints
2.49/1.33	c (0,0) translated 261 (80%) constraints
2.49/1.33	c (0,0) translated 294 (90%) constraints
2.49/1.33	c (0,0) translated 326 (100%) constraints
2.49/1.34	c (0,0) CSP to CSPinCNF End
2.49/1.34	c (0,0) CSP: 48 int (0 aux), 0 bool (0 aux), 326 ctr, max domain size 287
2.49/1.34	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 23 MiB used (max 0 MiB)
2.49/1.34	c (0,0) CSPinCNF Propagation Begin
2.49/1.37	c (0,0) 0 values, 10 unsatisfiable literals, and 49 valid clauses are removed
2.49/1.37	c (0,0) CSPinCNF Propagation End
2.49/1.37	c (0,0) CSP: 48 int (0 aux), 0 bool (0 aux), 277 ctr, max domain size 287
2.49/1.37	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.85/1.46	c (0,0) Simplify CSPinCNF End
2.85/1.47	c (0,0) CSP: 48 int (0 aux), 1094 bool (1094 aux), 1371 ctr, max domain size 287
2.85/1.47	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 24 MiB used (max 0 MiB)
2.85/1.47	c (0,0) Calculate Precise Domain Begin
2.85/1.47	c (0,0) 0 values are removed by re-calculation
2.85/1.47	c (0,0) Calculate Precise Domain End
2.85/1.47	c (0,0) CSP: 48 int (0 aux), 1094 bool (1094 aux), 1371 ctr, max domain size 287
2.85/1.47	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 24 MiB used (max 0 MiB)
2.85/1.47	c (0,0) CSPinCNF to SatSolver Begin
4.27/1.84	c (1,1) 138 (10 %) CSP clauses are encoded (0 SAT variables, 38094 SAT clauses)
4.68/1.96	c (1,1) 275 (20 %) CSP clauses are encoded (0 SAT variables, 64094 SAT clauses)
4.90/2.06	c (1,1) 412 (30 %) CSP clauses are encoded (0 SAT variables, 88663 SAT clauses)
5.03/2.15	c (1,1) 549 (40 %) CSP clauses are encoded (0 SAT variables, 112258 SAT clauses)
5.13/2.25	c (1,1) 686 (50 %) CSP clauses are encoded (0 SAT variables, 135989 SAT clauses)
5.24/2.33	c (1,1) 823 (60 %) CSP clauses are encoded (0 SAT variables, 158403 SAT clauses)
5.35/2.42	c (1,1) 960 (70 %) CSP clauses are encoded (0 SAT variables, 179871 SAT clauses)
5.35/2.49	c (1,1) 1097 (80 %) CSP clauses are encoded (0 SAT variables, 199686 SAT clauses)
5.46/2.56	c (2,2) 1234 (90 %) CSP clauses are encoded (0 SAT variables, 216911 SAT clauses)
5.57/2.61	c (2,2) 1371 (100 %) CSP clauses are encoded (0 SAT variables, 229298 SAT clauses)
5.57/2.61	c (2,2) CSPinCNF to SatSolver End
5.57/2.61	c (2,2) Heap : 1126 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB)
5.57/2.61	c (2,2) 12648 bool, 229362 clause
5.57/2.61	c (2,2) Export Begin
5.57/2.69	c (2,2) Export to HOME/scop-32628-serial-file.bin
5.57/2.69	c (2,2) Export End
5.57/2.69	c (2,2) Export File Size: 0.01 MB
5.57/2.69	c (2,2) 0,0,0,0,0,0,2,STOP-AFTER(DIMACS)
5.57/2.69	c END-Prog: Sat Sep 14 04:57:57 CEST 2019
5.74/2.72	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-32628-serial-file.bin
6.27/3.18	c (0,0) Read Serial File Begin
6.27/3.18	c (0,0) HOME/scop-32628-serial-file.bin
6.51/3.38	c (0,0) Read Serial File End
6.51/3.39	
6.51/3.39	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
6.51/3.39	(Solving Process)
6.51/3.39	
6.67/3.41	c BEGIN-Prog: Sat Sep 14 04:57:58 CEST 2019
6.67/3.41	c PID: 32651
6.67/3.41	c IP: 172.20.3.150
6.67/3.41	c HOST: node150.alineos.net
6.67/3.42	c (0,0) SatSolver.solve Begin
6.67/3.42	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4392636-1568429914.xml-scop-32631.cnf
6.67/3.44	c (0,0) c
6.67/3.44	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.67/3.44	c (0,0) c
6.67/3.44	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
6.67/3.44	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
6.67/3.44	c (0,0) c ========================================[ Problem Statistics ]===========================================
6.67/3.44	c (0,0) c |                                                                                                       |
6.88/3.52	c (0,0) c |  Number of variables:         12648                                                                   |
6.88/3.52	c (0,0) c |  Number of clauses:          229362                                                                   |
6.88/3.52	c (0,0) c |  Parse time:                   0.07 s                                                                 |
6.88/3.52	c (0,0) c |                                                                                                       |
6.89/3.75	c (0,0) c |  Simplification time:          0.23 s                                                                 |
6.89/3.75	c (0,0) c |                                                                                                       |
6.89/3.75	c (0,0) c |  Generating clones                                                                                    |
6.89/3.82	c (0,0) c |  all clones generated. Memory =   152.94Mb.                                                           |
6.89/3.82	c (0,0) c ========================================================================================================|
6.89/3.82	c (0,0) c
6.89/3.82	c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
6.89/3.82	c (0,0) c
6.89/3.82	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
6.89/3.82	c (0,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
6.89/3.82	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
6.89/3.82	c (0,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
6.89/3.82	c (0,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
6.89/3.82	c (0,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
6.89/3.82	c (0,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
6.89/3.82	c (0,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
6.89/3.82	c (0,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
6.89/3.82	c (0,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
6.89/3.82	c (0,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
6.89/3.82	c (0,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
6.89/3.82	c (0,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
6.89/3.82	c (0,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
6.89/3.82	c (0,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
6.89/3.82	c (0,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
6.89/3.82	c (0,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
6.89/3.82	c (0,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
6.89/3.82	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
146.59/21.48	c (18,0) c
146.59/21.48	c (18,0) c real time : 18.0398 s
146.59/21.48	c (18,0) c cpu time  : 139.311 s
146.59/21.48	c (18,0) c
146.59/21.48	c (18,0) c
146.59/21.48	c (18,0) c
146.59/21.48	c (18,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
146.59/21.48	c (18,0) c
146.59/21.48	c (18,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
146.59/21.48	c (18,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
146.59/21.48	c (18,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
146.59/21.48	c (18,0) c | Conflicts     |          505165 |      63782 |      63749 |      62382 |      64457 |      62130 |      63168 |      64017 |      61480 |
146.59/21.48	c (18,0) c | Decisions     |          994342 |     123906 |     126668 |     125838 |     127931 |     121347 |     120624 |     126132 |     121896 |
146.59/21.48	c (18,0) c | Propagations  |       248775515 |   31181913 |   30768867 |   30907643 |   31422401 |   30854861 |   31306456 |   31793328 |   30540046 |
146.59/21.48	c (18,0) c | ReduceDBs     |              48 |          6 |          6 |          6 |          6 |          6 |          6 |          6 |          6 |
146.59/21.48	c (18,0) c | SimpDBs       |              32 |          4 |          4 |          4 |          4 |          4 |          4 |          4 |          4 |
146.59/21.48	c (18,0) c | Restarts      |            2074 |        253 |        248 |        271 |        291 |        251 |        214 |        256 |        290 |
146.59/21.48	c (18,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
146.59/21.48	c (18,0) c | PropBinClauses|       300883696 |   37492505 |   37442848 |   37376104 |   37843588 |   37219584 |   38051585 |   38343862 |   37113620 |
146.59/21.48	c (18,0) c | PropPreBlocker|      3343447852 |  421096104 |  414800479 |  411443277 |  425242328 |  410767851 |  422712067 |  428715872 |  408669874 |
146.59/21.48	c (18,0) c | PropNotBlocker|      1129371136 |  140903130 |  138893096 |  139012999 |  141791414 |  139530614 |  143487219 |  145958369 |  139794295 |
146.59/21.48	c (18,0) c | LitFullScans  |      6555492471 |  826290378 |  809037184 |  804041069 |  834059142 |  807306481 |  828070906 |  842632418 |  804054893 |
146.59/21.48	c (18,0) c | LitScanFracts |          366581 |      37162 |      44550 |      31457 |      50546 |      61132 |      55331 |      43503 |      42900 |
146.59/21.48	c (18,0) c | DecisionLevel0|            2080 |        253 |        249 |        272 |        293 |        251 |        215 |        256 |        291 |
146.59/21.48	c (18,0) c | Periods       |            1090 |        137 |        134 |        134 |        139 |        134 |        138 |        140 |        134 |
146.59/21.48	c (18,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
146.59/21.48	c (18,0) c | Avg_Trail     |                 |       4876 |       4895 |       4890 |       4838 |       4817 |       4795 |       4869 |       4886 |
146.59/21.48	c (18,0) c | Avg_DL        |                 |         21 |         22 |         22 |         21 |         20 |         20 |         21 |         22 |
146.59/21.48	c (18,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
146.59/21.48	c (18,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
146.59/21.48	c (18,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
146.59/21.48	c (18,0) c | Exported      |           79644 |      10235 |      10194 |       9808 |       9835 |      10179 |      10622 |       9502 |       9269 |
146.59/21.48	c (18,0) c | Imported      |          504473 |      63063 |      62078 |      62486 |      63734 |      62502 |      63135 |      64998 |      62477 |
146.59/21.48	c (18,0) c | Good          |             445 |         52 |         55 |         54 |         53 |         59 |         59 |         56 |         57 |
146.59/21.48	c (18,0) c | Purge         |          504028 |      63011 |      62023 |      62432 |      63681 |      62443 |      63076 |      64942 |      62420 |
146.59/21.48	c (18,0) c | Promoted      |           60953 |       7754 |       7567 |       7487 |       7810 |       7641 |       7587 |       8023 |       7084 |
146.59/21.48	c (18,0) c | Remove_Imp    |          212211 |      26293 |      25578 |      26864 |      26501 |      26950 |      26641 |      26974 |      26410 |
146.59/21.48	c (18,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
146.59/21.48	c (18,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
146.59/21.48	c (18,0) c | Unaries       |                 |          0 |          1 |          1 |          2 |          0 |          1 |          0 |          1 |
146.59/21.48	c (18,0) c | Binaries      |                 |         13 |          8 |         10 |         13 |          5 |          7 |         10 |          7 |
146.59/21.48	c (18,0) c | Glues         |                 |        216 |        184 |        172 |        196 |        186 |        173 |        179 |        181 |
146.59/21.48	c (18,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
146.59/21.48	c (18,0) c | Orig_Seen     |            20 % |      46446 |      49778 |      47886 |      46103 |      45555 |      42988 |      49055 |      46753 |
146.59/21.48	c (18,0) c | Diff Orig seen|                 | -     3332 |      X     | -     1892 | -     3675 | -     4223 | -     6790 | -      723 | -     3025 |
146.59/21.48	c (18,0) c | Hamming       |            29 % |       4283 |      X     |       3980 |       4634 |       3587 |       3768 |       3635 |       2597 |
146.59/21.48	c (18,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
146.59/21.48	c (18,0) c | RunningTime   |                 |   17.5 100%|   17.4 100%|   17.6 100%|   17.4 100%|   17.4 100%|   17.5 100%|   17.4 100%|   17.5 100%|
146.59/21.48	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%|
146.59/21.48	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%|
146.59/21.48	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%|
146.59/21.48	c (18,0) c | SolvingTime   |                 |   17.5     |   17.4     |   17.7     |   17.5     |   17.5     |   17.5     |   17.4     |   17.5     |
146.59/21.48	c (18,0) c | PropagationTim|                 |   14.4  83%|   14.5  83%|   14.3  81%|   14.3  82%|   14.0  80%|   14.3  82%|   14.3  82%|   14.1  81%|
146.59/21.48	c (18,0) c | AnalysisTime  |                 |    2.3  13%|    2.2  13%|    2.7  15%|    2.4  14%|    2.8  16%|    2.5  14%|    2.4  14%|    2.7  15%|
146.59/21.48	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%|
146.59/21.48	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%|
146.59/21.48	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%|
146.59/21.48	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%|
146.59/21.48	c (18,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
146.59/21.48	c (18,0) c
146.59/21.48	c (18,0) c
146.59/21.48	c (18,0) c Threads : 8
146.59/21.48	c (18,0) c Winner : 1
146.59/21.48	c (18,0) c Conflicts_0 : 63782
146.59/21.48	c (18,0) c Conflicts_1 : 63749
146.59/21.48	c (18,0) c Conflicts_2 : 62382
146.59/21.48	c (18,0) c Conflicts_3 : 64457
146.59/21.48	c (18,0) c Conflicts_4 : 62130
146.59/21.48	c (18,0) c Conflicts_5 : 63168
146.59/21.48	c (18,0) c Conflicts_6 : 64017
146.59/21.48	c (18,0) c Conflicts_7 : 61480
146.59/21.48	c (18,0) c Conflicts_total : 505165
146.59/21.48	c (18,0) c Conflicts_winner : 63749
146.59/21.48	c (18,0) c Decisions_0 : 123906
146.59/21.48	c (18,0) c Decisions_1 : 126668
146.59/21.48	c (18,0) c Decisions_2 : 125838
146.59/21.48	c (18,0) c Decisions_3 : 127931
146.59/21.48	c (18,0) c Decisions_4 : 121347
146.59/21.48	c (18,0) c Decisions_5 : 120624
146.59/21.48	c (18,0) c Decisions_6 : 126132
146.59/21.48	c (18,0) c Decisions_7 : 121896
146.59/21.48	c (18,0) c Decisions_total : 994342
146.59/21.48	c (18,0) c Decisions_winner : 126668
146.59/21.48	c (18,0) c Propagations_0 : 31181913
146.59/21.48	c (18,0) c Propagations_1 : 30768867
146.59/21.48	c (18,0) c Propagations_2 : 30907643
146.59/21.48	c (18,0) c Propagations_3 : 31422401
146.59/21.48	c (18,0) c Propagations_4 : 30854861
146.59/21.48	c (18,0) c Propagations_5 : 31306456
146.59/21.48	c (18,0) c Propagations_6 : 31793328
146.59/21.48	c (18,0) c Propagations_7 : 30540046
146.59/21.48	c (18,0) c Propagations_total : 248775515
146.59/21.48	c (18,0) c Propagations_winner : 30768867
146.59/21.48	c (18,0) c ReduceDBs_0 : 6
146.59/21.48	c (18,0) c ReduceDBs_1 : 6
146.59/21.48	c (18,0) c ReduceDBs_2 : 6
146.59/21.48	c (18,0) c ReduceDBs_3 : 6
146.59/21.48	c (18,0) c ReduceDBs_4 : 6
146.59/21.48	c (18,0) c ReduceDBs_5 : 6
146.59/21.48	c (18,0) c ReduceDBs_6 : 6
146.59/21.48	c (18,0) c ReduceDBs_7 : 6
146.59/21.48	c (18,0) c ReduceDBs_total : 48
146.59/21.48	c (18,0) c ReduceDBs_winner : 6
146.59/21.48	c (18,0) c SimpDBs_0 : 4
146.59/21.48	c (18,0) c SimpDBs_1 : 4
146.59/21.48	c (18,0) c SimpDBs_2 : 4
146.59/21.48	c (18,0) c SimpDBs_3 : 4
146.59/21.48	c (18,0) c SimpDBs_4 : 4
146.59/21.48	c (18,0) c SimpDBs_5 : 4
146.59/21.48	c (18,0) c SimpDBs_6 : 4
146.59/21.48	c (18,0) c SimpDBs_7 : 4
146.59/21.48	c (18,0) c SimpDBs_total : 32
146.59/21.48	c (18,0) c SimpDBs_winner : 4
146.59/21.48	c (18,0) c Restarts_0 : 253
146.59/21.48	c (18,0) c Restarts_1 : 248
146.59/21.48	c (18,0) c Restarts_2 : 271
146.59/21.48	c (18,0) c Restarts_3 : 291
146.59/21.48	c (18,0) c Restarts_4 : 251
146.59/21.48	c (18,0) c Restarts_5 : 214
146.59/21.48	c (18,0) c Restarts_6 : 256
146.59/21.48	c (18,0) c Restarts_7 : 290
146.59/21.48	c (18,0) c Restarts_total : 2074
146.59/21.48	c (18,0) c Restarts_winner : 248
146.59/21.48	c (18,0) c ForcedImports_0 : 0
146.59/21.49	c (18,0) c ForcedImports_1 : 0
146.59/21.49	c (18,0) c ForcedImports_2 : 0
146.59/21.49	c (18,0) c ForcedImports_3 : 0
146.59/21.49	c (18,0) c ForcedImports_4 : 0
146.59/21.49	c (18,0) c ForcedImports_5 : 0
146.59/21.49	c (18,0) c ForcedImports_6 : 0
146.59/21.49	c (18,0) c ForcedImports_7 : 0
146.59/21.49	c (18,0) c ForcedImports_total : 0
146.59/21.49	c (18,0) c ForcedImports_winner : 0
146.59/21.49	c (18,0) c PropsBinClauses_0 : 37492505
146.59/21.49	c (18,0) c PropsBinClauses_1 : 37442848
146.59/21.49	c (18,0) c PropsBinClauses_2 : 37376104
146.59/21.49	c (18,0) c PropsBinClauses_3 : 37843588
146.59/21.49	c (18,0) c PropsBinClauses_4 : 37219584
146.59/21.49	c (18,0) c PropsBinClauses_5 : 38051585
146.59/21.49	c (18,0) c PropsBinClauses_6 : 38343862
146.59/21.49	c (18,0) c PropsBinClauses_7 : 37113620
146.59/21.49	c (18,0) c PropsBinClauses_total : 300883696
146.59/21.49	c (18,0) c PropsBinClauses_winner : 37442848
146.59/21.49	c (18,0) c PropsPreBlocker_0 : 421096104
146.59/21.49	c (18,0) c PropsPreBlocker_1 : 414800479
146.59/21.49	c (18,0) c PropsPreBlocker_2 : 411443277
146.59/21.49	c (18,0) c PropsPreBlocker_3 : 425242328
146.59/21.49	c (18,0) c PropsPreBlocker_4 : 410767851
146.59/21.49	c (18,0) c PropsPreBlocker_5 : 422712067
146.59/21.49	c (18,0) c PropsPreBlocker_6 : 428715872
146.59/21.49	c (18,0) c PropsPreBlocker_7 : 408669874
146.59/21.49	c (18,0) c PropsPreBlocker_total : 3343447852
146.59/21.49	c (18,0) c PropsPreBlocker_winner : 414800479
146.59/21.49	c (18,0) c PropsNotBlocker_0 : 140903130
146.59/21.49	c (18,0) c PropsNotBlocker_1 : 138893096
146.59/21.49	c (18,0) c PropsNotBlocker_2 : 139012999
146.59/21.49	c (18,0) c PropsNotBlocker_3 : 141791414
146.59/21.49	c (18,0) c PropsNotBlocker_4 : 139530614
146.59/21.49	c (18,0) c PropsNotBlocker_5 : 143487219
146.59/21.49	c (18,0) c PropsNotBlocker_6 : 145958369
146.59/21.49	c (18,0) c PropsNotBlocker_7 : 139794295
146.59/21.49	c (18,0) c PropsNotBlocker_total : 1129371136
146.59/21.49	c (18,0) c PropsNotBlocker_winner : 138893096
146.59/21.49	c (18,0) c PropsLitFullScans_0 : 826290378
146.59/21.49	c (18,0) c PropsLitFullScans_1 : 809037184
146.59/21.49	c (18,0) c PropsLitFullScans_2 : 804041069
146.59/21.49	c (18,0) c PropsLitFullScans_3 : 834059142
146.59/21.49	c (18,0) c PropsLitFullScans_4 : 807306481
146.59/21.49	c (18,0) c PropsLitFullScans_5 : 828070906
146.59/21.49	c (18,0) c PropsLitFullScans_6 : 842632418
146.59/21.49	c (18,0) c PropsLitFullScans_7 : 804054893
146.59/21.49	c (18,0) c PropsLitFullScans_total : 6555492471
146.59/21.49	c (18,0) c PropsLitFullScans_winner : 809037184
146.59/21.49	c (18,0) c LitScanFractions_0 : 37162
146.59/21.49	c (18,0) c LitScanFractions_1 : 44550
146.59/21.49	c (18,0) c LitScanFractions_2 : 31457
146.59/21.49	c (18,0) c LitScanFractions_3 : 50546
146.59/21.49	c (18,0) c LitScanFractions_4 : 61132
146.59/21.49	c (18,0) c LitScanFractions_5 : 55331
146.59/21.49	c (18,0) c LitScanFractions_6 : 43503
146.59/21.49	c (18,0) c LitScanFractions_7 : 42900
146.59/21.49	c (18,0) c LitScanFractions_total : 366581
146.59/21.49	c (18,0) c LitScanFractions_winner : 44550
146.59/21.49	c (18,0) c DecisionLevel0_0 : 253
146.59/21.49	c (18,0) c DecisionLevel0_1 : 249
146.59/21.49	c (18,0) c DecisionLevel0_2 : 272
146.59/21.49	c (18,0) c DecisionLevel0_3 : 293
146.59/21.49	c (18,0) c DecisionLevel0_4 : 251
146.59/21.49	c (18,0) c DecisionLevel0_5 : 215
146.59/21.49	c (18,0) c DecisionLevel0_6 : 256
146.59/21.49	c (18,0) c DecisionLevel0_7 : 291
146.59/21.49	c (18,0) c DecisionLevel0_total : 2080
146.59/21.49	c (18,0) c DecisionLevel0_winner : 249
146.59/21.49	c (18,0) c Periods_0 : 137
146.59/21.49	c (18,0) c Periods_1 : 134
146.59/21.49	c (18,0) c Periods_2 : 134
146.59/21.49	c (18,0) c Periods_3 : 139
146.59/21.49	c (18,0) c Periods_4 : 134
146.59/21.49	c (18,0) c Periods_5 : 138
146.59/21.49	c (18,0) c Periods_6 : 140
146.59/21.49	c (18,0) c Periods_7 : 134
146.59/21.49	c (18,0) c Periods_total : 1090
146.59/21.49	c (18,0) c Periods_winner : 134
146.59/21.49	c (18,0) c Margin_0 : 20
146.59/21.49	c (18,0) c Margin_1 : 20
146.59/21.49	c (18,0) c Margin_2 : 20
146.59/21.49	c (18,0) c Margin_3 : 20
146.59/21.49	c (18,0) c Margin_4 : 20
146.59/21.49	c (18,0) c Margin_5 : 20
146.59/21.49	c (18,0) c Margin_6 : 20
146.59/21.49	c (18,0) c Margin_7 : 20
146.59/21.49	c (18,0) c Margin_total : 160
146.59/21.49	c (18,0) c Margin_winner : 20
146.59/21.49	c (18,0) c Exported_0 : 10235
146.59/21.49	c (18,0) c Exported_1 : 10194
146.59/21.49	c (18,0) c Exported_2 : 9808
146.59/21.49	c (18,0) c Exported_3 : 9835
146.59/21.49	c (18,0) c Exported_4 : 10179
146.59/21.49	c (18,0) c Exported_5 : 10622
146.59/21.49	c (18,0) c Exported_6 : 9502
146.59/21.49	c (18,0) c Exported_7 : 9269
146.59/21.49	c (18,0) c Exported_total : 79644
146.59/21.49	c (18,0) c Exported_winner : 10194
146.59/21.49	c (18,0) c Imported_0 : 63063
146.59/21.49	c (18,0) c Imported_1 : 62078
146.59/21.49	c (18,0) c Imported_2 : 62486
146.59/21.49	c (18,0) c Imported_3 : 63734
146.59/21.49	c (18,0) c Imported_4 : 62502
146.59/21.49	c (18,0) c Imported_5 : 63135
146.59/21.49	c (18,0) c Imported_6 : 64998
146.59/21.49	c (18,0) c Imported_7 : 62477
146.59/21.49	c (18,0) c Imported_total : 504473
146.59/21.49	c (18,0) c Imported_winner : 62078
146.59/21.49	c (18,0) c Good_0 : 52
146.59/21.49	c (18,0) c Good_1 : 55
146.59/21.49	c (18,0) c Good_2 : 54
146.59/21.49	c (18,0) c Good_3 : 53
146.59/21.49	c (18,0) c Good_4 : 59
146.59/21.49	c (18,0) c Good_5 : 59
146.59/21.49	c (18,0) c Good_6 : 56
146.59/21.49	c (18,0) c Good_7 : 57
146.59/21.49	c (18,0) c Good_total : 445
146.59/21.49	c (18,0) c Good_winner : 55
146.59/21.49	c (18,0) c Purge_0 : 63011
146.59/21.49	c (18,0) c Purge_1 : 62023
146.59/21.49	c (18,0) c Purge_2 : 62432
146.59/21.49	c (18,0) c Purge_3 : 63681
146.59/21.49	c (18,0) c Purge_4 : 62443
146.59/21.49	c (18,0) c Purge_5 : 63076
146.59/21.49	c (18,0) c Purge_6 : 64942
146.59/21.49	c (18,0) c Purge_7 : 62420
146.59/21.49	c (18,0) c Purge_total : 504028
146.59/21.49	c (18,0) c Purge_winner : 62023
146.59/21.49	c (18,0) c Promoted_0 : 7754
146.59/21.49	c (18,0) c Promoted_1 : 7567
146.59/21.49	c (18,0) c Promoted_2 : 7487
146.59/21.49	c (18,0) c Promoted_3 : 7810
146.59/21.49	c (18,0) c Promoted_4 : 7641
146.59/21.49	c (18,0) c Promoted_5 : 7587
146.59/21.49	c (18,0) c Promoted_6 : 8023
146.59/21.49	c (18,0) c Promoted_7 : 7084
146.59/21.49	c (18,0) c Promoted_total : 60953
146.59/21.49	c (18,0) c Promoted_winner : 7567
146.59/21.49	c (18,0) c Remove_Imp_0 : 26293
146.59/21.49	c (18,0) c Remove_Imp_1 : 25578
146.59/21.49	c (18,0) c Remove_Imp_2 : 26864
146.59/21.49	c (18,0) c Remove_Imp_3 : 26501
146.59/21.49	c (18,0) c Remove_Imp_4 : 26950
146.59/21.49	c (18,0) c Remove_Imp_5 : 26641
146.59/21.49	c (18,0) c Remove_Imp_6 : 26974
146.59/21.49	c (18,0) c Remove_Imp_7 : 26410
146.59/21.49	c (18,0) c Remove_Imp_total : 212211
146.59/21.49	c (18,0) c Remove_Imp_winner : 25578
146.59/21.49	c (18,0) c Blocked_Reuse_0 : 0
146.59/21.49	c (18,0) c Blocked_Reuse_1 : 0
146.59/21.49	c (18,0) c Blocked_Reuse_2 : 0
146.59/21.49	c (18,0) c Blocked_Reuse_3 : 0
146.59/21.49	c (18,0) c Blocked_Reuse_4 : 0
146.59/21.49	c (18,0) c Blocked_Reuse_5 : 0
146.59/21.49	c (18,0) c Blocked_Reuse_6 : 0
146.59/21.49	c (18,0) c Blocked_Reuse_7 : 0
146.59/21.49	c (18,0) c Blocked_Reuse_total : 0
146.59/21.49	c (18,0) c Blocked_Reuse_winner : 0
146.59/21.49	c (18,0) c Unaries_0 : 0
146.59/21.49	c (18,0) c Unaries_1 : 1
146.59/21.49	c (18,0) c Unaries_2 : 1
146.59/21.49	c (18,0) c Unaries_3 : 2
146.59/21.49	c (18,0) c Unaries_4 : 0
146.59/21.49	c (18,0) c Unaries_5 : 1
146.59/21.49	c (18,0) c Unaries_6 : 0
146.59/21.49	c (18,0) c Unaries_7 : 1
146.59/21.49	c (18,0) c Unaries_total : 6
146.59/21.49	c (18,0) c Unaries_winner : 1
146.59/21.49	c (18,0) c Binaries_0 : 13
146.59/21.49	c (18,0) c Binaries_1 : 8
146.59/21.49	c (18,0) c Binaries_2 : 10
146.59/21.49	c (18,0) c Binaries_3 : 13
146.59/21.49	c (18,0) c Binaries_4 : 5
146.59/21.49	c (18,0) c Binaries_5 : 7
146.59/21.49	c (18,0) c Binaries_6 : 10
146.59/21.49	c (18,0) c Binaries_7 : 7
146.59/21.49	c (18,0) c Binaries_total : 73
146.59/21.49	c (18,0) c Binaries_winner : 8
146.59/21.49	c (18,0) c Glues_0 : 216
146.59/21.49	c (18,0) c Glues_1 : 184
146.59/21.49	c (18,0) c Glues_2 : 172
146.59/21.49	c (18,0) c Glues_3 : 196
146.59/21.49	c (18,0) c Glues_4 : 186
146.59/21.49	c (18,0) c Glues_5 : 173
146.59/21.49	c (18,0) c Glues_6 : 179
146.59/21.49	c (18,0) c Glues_7 : 181
146.59/21.49	c (18,0) c Glues_total : 1487
146.59/21.49	c (18,0) c Glues_winner : 184
146.59/21.49	c (18,0) c RunningTime_0 : 17.450932
146.59/21.49	c (18,0) c RunningTime_1 : 17.383444
146.59/21.49	c (18,0) c RunningTime_2 : 17.628925
146.59/21.49	c (18,0) c RunningTime_3 : 17.449689
146.59/21.49	c (18,0) c RunningTime_4 : 17.423901
146.59/21.49	c (18,0) c RunningTime_5 : 17.459857
146.59/21.49	c (18,0) c RunningTime_6 : 17.410052
146.59/21.49	c (18,0) c RunningTime_7 : 17.484102
146.59/21.49	c (18,0) c RunningTime_total : 139.690901
146.59/21.49	c (18,0) c RunningTime_winner : 17.383444
146.59/21.49	c (18,0) c WaitingTime_0 : 0.000173
146.59/21.49	c (18,0) c WaitingTime_1 : 0.000151
146.59/21.49	c (18,0) c WaitingTime_2 : 0.000164
146.59/21.49	c (18,0) c WaitingTime_3 : 0.000194
146.59/21.49	c (18,0) c WaitingTime_4 : 0.000179
146.59/21.49	c (18,0) c WaitingTime_5 : 0.000231
146.59/21.49	c (18,0) c WaitingTime_6 : 0.000160
146.59/21.49	c (18,0) c WaitingTime_7 : 0.000188
146.59/21.49	c (18,0) c WaitingTime_total : 0.001440
146.59/21.49	c (18,0) c WaitingTime_winner : 0.000151
146.59/21.49	c (18,0) c ExchangingTime_0 : 0.025106
146.59/21.49	c (18,0) c ExchangingTime_1 : 0.024783
146.59/21.49	c (18,0) c ExchangingTime_2 : 0.025267
146.59/21.49	c (18,0) c ExchangingTime_3 : 0.028997
146.59/21.49	c (18,0) c ExchangingTime_4 : 0.026277
146.59/21.49	c (18,0) c ExchangingTime_5 : 0.025143
146.59/21.49	c (18,0) c ExchangingTime_6 : 0.026267
146.59/21.49	c (18,0) c ExchangingTime_7 : 0.025694
146.59/21.49	c (18,0) c ExchangingTime_total : 0.207534
146.59/21.49	c (18,0) c ExchangingTime_winner : 0.024783
146.59/21.49	c (18,0) c PeriodProcTime_0 : 0.001106
146.59/21.49	c (18,0) c PeriodProcTime_1 : 0.001136
146.59/21.49	c (18,0) c PeriodProcTime_2 : 0.001415
146.59/21.49	c (18,0) c PeriodProcTime_3 : 0.001072
146.59/21.49	c (18,0) c PeriodProcTime_4 : 0.001171
146.59/21.49	c (18,0) c PeriodProcTime_5 : 0.001333
146.59/21.49	c (18,0) c PeriodProcTime_6 : 0.001218
146.59/21.49	c (18,0) c PeriodProcTime_7 : 0.001276
146.59/21.49	c (18,0) c PeriodProcTime_total : 0.009726
146.59/21.49	c (18,0) c PeriodProcTime_winner : 0.001136
146.59/21.49	c (18,0) c SolvingTime_0 : 17.477317
146.59/21.49	c (18,0) c SolvingTime_1 : 17.409514
146.59/21.49	c (18,0) c SolvingTime_2 : 17.655770
146.59/21.49	c (18,0) c SolvingTime_3 : 17.479951
146.59/21.49	c (18,0) c SolvingTime_4 : 17.451528
146.59/21.49	c (18,0) c SolvingTime_5 : 17.486564
146.59/21.49	c (18,0) c SolvingTime_6 : 17.437697
146.59/21.49	c (18,0) c SolvingTime_7 : 17.511259
146.59/21.49	c (18,0) c SolvingTime_total : 139.909601
146.59/21.49	c (18,0) c SolvingTime_winner : 17.409514
146.59/21.49	c (18,0) c PropagationTime_0 : 14.435587
146.59/21.49	c (18,0) c PropagationTime_1 : 14.466958
146.59/21.49	c (18,0) c PropagationTime_2 : 14.257378
146.59/21.49	c (18,0) c PropagationTime_3 : 14.340261
146.59/21.49	c (18,0) c PropagationTime_4 : 14.005307
146.59/21.49	c (18,0) c PropagationTime_5 : 14.330919
146.59/21.49	c (18,0) c PropagationTime_6 : 14.329145
146.59/21.49	c (18,0) c PropagationTime_7 : 14.142194
146.59/21.49	c (18,0) c PropagationTime_total : 114.307750
146.59/21.49	c (18,0) c PropagationTime_winner : 14.466958
146.59/21.49	c (18,0) c AnalysisTime_0 : 2.340176
146.59/21.49	c (18,0) c AnalysisTime_1 : 2.246586
146.59/21.49	c (18,0) c AnalysisTime_2 : 2.679741
146.59/21.49	c (18,0) c AnalysisTime_3 : 2.437231
146.59/21.49	c (18,0) c AnalysisTime_4 : 2.760191
146.59/21.49	c (18,0) c AnalysisTime_5 : 2.473129
146.59/21.49	c (18,0) c AnalysisTime_6 : 2.412684
146.59/21.49	c (18,0) c AnalysisTime_7 : 2.675122
146.59/21.49	c (18,0) c AnalysisTime_total : 20.024860
146.59/21.49	c (18,0) c AnalysisTime_winner : 2.246586
146.59/21.49	c (18,0) c ReductionTime_0 : 0.130250
146.59/21.49	c (18,0) c ReductionTime_1 : 0.136471
146.59/21.49	c (18,0) c ReductionTime_2 : 0.135545
146.59/21.49	c (18,0) c ReductionTime_3 : 0.128662
146.59/21.49	c (18,0) c ReductionTime_4 : 0.135654
146.59/21.49	c (18,0) c ReductionTime_5 : 0.133819
146.59/21.49	c (18,0) c ReductionTime_6 : 0.127877
146.59/21.49	c (18,0) c ReductionTime_7 : 0.138419
146.59/21.49	c (18,0) c ReductionTime_total : 1.066698
146.59/21.49	c (18,0) c ReductionTime_winner : 0.136471
146.59/21.49	c (18,0) c SimplifyTime_0 : 0.025928
146.59/21.49	c (18,0) c SimplifyTime_1 : 0.025259
146.59/21.49	c (18,0) c SimplifyTime_2 : 0.023551
146.59/21.49	c (18,0) c SimplifyTime_3 : 0.025717
146.59/21.49	c (18,0) c SimplifyTime_4 : 0.023805
146.59/21.49	c (18,0) c SimplifyTime_5 : 0.023810
146.59/21.49	c (18,0) c SimplifyTime_6 : 0.027303
146.59/21.49	c (18,0) c SimplifyTime_7 : 0.024029
146.59/21.49	c (18,0) c SimplifyTime_total : 0.199402
146.59/21.49	c (18,0) c SimplifyTime_winner : 0.025259
146.59/21.49	c (18,0) c UsedRateTime_0 : 0.000000
146.59/21.49	c (18,0) c UsedRateTime_1 : 0.000000
146.59/21.49	c (18,0) c UsedRateTime_2 : 0.000000
146.59/21.49	c (18,0) c UsedRateTime_3 : 0.000000
146.59/21.49	c (18,0) c UsedRateTime_4 : 0.000000
146.59/21.49	c (18,0) c UsedRateTime_5 : 0.000000
146.59/21.49	c (18,0) c UsedRateTime_6 : 0.000000
146.59/21.49	c (18,0) c UsedRateTime_7 : 0.000000
146.59/21.49	c (18,0) c UsedRateTime_total : 0.000000
146.59/21.49	c (18,0) c UsedRateTime_winner : 0.000000
146.59/21.49	c (18,0) c OverlapRateTime_0 : 0.000000
146.59/21.49	c (18,0) c OverlapRateTime_1 : 0.000000
146.59/21.49	c (18,0) c OverlapRateTime_2 : 0.000000
146.59/21.49	c (18,0) c OverlapRateTime_3 : 0.000000
146.59/21.49	c (18,0) c OverlapRateTime_4 : 0.000000
146.59/21.49	c (18,0) c OverlapRateTime_5 : 0.000000
146.59/21.50	c (18,0) c OverlapRateTime_6 : 0.000000
146.59/21.50	c (18,0) c OverlapRateTime_7 : 0.000000
146.59/21.50	c (18,0) c OverlapRateTime_total : 0.000000
146.59/21.50	c (18,0) c OverlapRateTime_winner : 0.000000
146.59/21.50	c (18,0) c
146.59/21.50	c (18,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
146.59/21.50	c (18,0) c
146.59/21.50	c (18,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
146.59/21.50	c (18,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
146.59/21.50	c (18,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
146.59/21.50	c (18,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
146.59/21.50	c (18,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
146.59/21.50	c (18,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
146.59/21.50	c (18,0) c | Initial random_seed   |  940708528 |  566292981 |  158694566 | 1886589864 | 1550472488 | 1585944128 |  837696804 |  122110139 |
146.59/21.50	c (18,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
146.59/21.50	c (18,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
146.59/21.50	c (18,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
146.59/21.50	c (18,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
146.59/21.50	c (18,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
146.59/21.50	c (18,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
146.59/21.50	c (18,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
146.59/21.50	c (18,0) c | var_decay             |     0.9200 |     0.9200 |     0.9200 |     0.9200 |     0.9200 |     0.9200 |     0.9200 |     0.9200 |
146.59/21.50	c (18,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
146.59/21.50	c (18,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
146.59/21.50	c (18,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
146.59/21.50	c (18,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
146.59/21.50	c (18,0) 
146.59/21.50	c (18,0) s SATISFIABLE
6.96/21.54	c (18,0) SatSolver.solve End
6.96/21.54	c (18,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
6.96/21.54	c (18,0) Show results Begin
146.97/21.63	c (18,0) x[0] = 182
146.97/21.63	c (18,0) x[1] = 175
146.97/21.63	c (18,0) x[2] = 175
146.97/21.63	c (18,0) x[3] = 210
146.97/21.63	c (18,0) x[4] = 186
146.97/21.63	c (18,0) x[5] = 159
146.97/21.63	c (18,0) x[6] = 198
146.97/21.63	c (18,0) x[7] = 210
146.97/21.63	c (18,0) x[8] = 198
146.97/21.63	c (18,0) x[9] = 159
146.97/21.63	c (18,0) x[10] = 159
146.97/21.63	c (18,0) x[11] = 182
146.97/21.63	c (18,0) x[12] = 184
146.97/21.63	c (18,0) x[13] = 159
146.97/21.63	c (18,0) x[14] = 186
146.97/21.63	c (18,0) x[15] = 159
146.97/21.63	c (18,0) x[16] = 129
146.97/21.63	c (18,0) x[17] = 228
146.97/21.63	c (18,0) x[18] = 220
146.97/21.63	c (18,0) x[19] = 129
146.97/21.63	c (18,0) x[20] = 215
146.97/21.63	c (18,0) x[21] = 201
146.97/21.63	c (18,0) x[22] = 0
146.97/21.63	c (18,0) x[23] = 0
146.97/21.63	c (18,0) y[0] = 129
146.97/21.63	c (18,0) y[1] = 129
146.97/21.63	c (18,0) y[2] = 120
146.97/21.63	c (18,0) y[3] = 131
146.97/21.63	c (18,0) y[4] = 201
146.97/21.63	c (18,0) y[5] = 120
146.97/21.63	c (18,0) y[6] = 56
146.97/21.63	c (18,0) y[7] = 141
146.97/21.63	c (18,0) y[8] = 73
146.97/21.63	c (18,0) y[9] = 136
146.97/21.63	c (18,0) y[10] = 95
146.97/21.63	c (18,0) y[11] = 131
146.97/21.63	c (18,0) y[12] = 95
146.97/21.63	c (18,0) y[13] = 56
146.97/21.63	c (18,0) y[14] = 159
146.97/21.63	c (18,0) y[15] = 0
146.97/21.63	c (18,0) y[16] = 159
146.97/21.63	c (18,0) y[17] = 141
146.97/21.63	c (18,0) y[18] = 73
146.97/21.63	c (18,0) y[19] = 216
146.97/21.63	c (18,0) y[20] = 0
146.97/21.63	c (18,0) y[21] = 201
146.97/21.63	c (18,0) y[22] = 159
146.97/21.63	c (18,0) y[23] = 0
146.97/21.63	s SATISFIABLE
146.97/21.63	v <instantiation>
146.97/21.63	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>
146.97/21.63	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>
146.97/21.63	v </instantiation>
146.97/21.63	c (18,0) Show results End
146.97/21.63	c (18,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB)
146.97/21.64	c (18,0) 18,18,STOP-AFTER(ALL)
146.97/21.64	c END-Prog: Sat Sep 14 04:58:16 CEST 2019

Verifier Data 

OK

Watcher Data 

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (10782 MiB free)
  memory of node 1: 16384 MiB (15657 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392636-1568429914/watcher-4392636-1568429914 -o /tmp/evaluation-result-4392636-1568429914/solver-4392636-1568429914 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node150-1568416728-26452 --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-4392636-1568429914.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
Current StackSize limit: 8192 KiB

solver pid=32628, runsolver pid=32625

[startup+0.100158 s]*
/proc/loadavg: 7.40 6.85 5.06 2/211 32650
/proc/meminfo: memFree=26982500/32770624 swapFree=67021676/67108860
[pid=32628] ppid=32625 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/32628/stat : 32628 (scop.sh) S 32625 32628 26425 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 419264035 115843072 348 33554432000 4194304 5098028 140734057413648 140734057410904 139692738593404 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 16359424 140734057415460 140734057415788 140734057415788 140734057418701 0
/proc/32628/statm: 28282 348 296 221 0 87 0
[pid=32631] ppid=32628 vsize=27314120 memory=106176 CPUtime=0.1 cores=0-7
/proc/32631/stat : 32631 (java) S 32628 32628 26425 0 -1 1077944320 6661 0 0 0 8 2 0 0 20 0 20 0 419264035 27969658880 26544 33554432000 4194304 4196468 140730424201024 140730424183568 140625558589175 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 30728192 140730424210154 140730424210582 140730424210582 140730424213455 0
/proc/32631/statm: 6828530 26544 2782 1 0 6790935 0
[pid=32631/tid=32632] ppid=32628 vsize=27314120 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/32631/task/32632/stat : 32632 (java) R 32628 32628 26425 0 -1 4202560 4733 0 0 0 7 2 0 0 20 0 20 0 419264035 27969658880 26544 33554432000 4194304 4196468 140730424201024 140625530421512 140625544787744 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30728192 140730424210154 140730424210582 140730424210582 140730424213455 0
[pid=32631/tid=32633] ppid=32628 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32631/task/32633/stat : 32633 (java) S 32628 32628 26425 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419264038 27969658880 26544 33554432000 4194304 4196468 140730424201024 140625562831120 140625558599381 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30728192 140730424210154 140730424210582 140730424210582 140730424213455 0
[pid=32631/tid=32634] ppid=32628 vsize=27314120 memory=140135736653440 CPUtime=0 cores=0-7
/proc/32631/task/32634/stat : 32634 (java) S 32628 32628 26425 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419264038 27969658880 26544 33554432000 4194304 4196468 140730424201024 140625376987536 140625558599381 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30728192 140730424210154 140730424210582 140730424210582 140730424213455 0
[pid=32631/tid=32635] ppid=32628 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32631/task/32635/stat : 32635 (java) S 32628 32628 26425 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419264038 27969658880 26544 33554432000 4194304 4196468 140730424201024 140625375934992 140625558599381 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30728192 140730424210154 140730424210582 140730424210582 140730424213455 0
[pid=32631/tid=32636] ppid=32628 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32631/task/32636/stat : 32636 (java) S 32628 32628 26425 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419264038 27969658880 26544 33554432000 4194304 4196468 140730424201024 140625374882448 140625558599381 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30728192 140730424210154 140730424210582 140730424210582 140730424213455 0
[pid=32631/tid=32637] ppid=32628 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32631/task/32637/stat : 32637 (java) S 32628 32628 26425 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419264038 27969658880 26544 33554432000 4194304 4196468 140730424201024 140625373829904 140625558599381 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30728192 140730424210154 140730424210582 140730424210582 140730424213455 0
[pid=32631/tid=32638] ppid=32628 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/32631/task/32638/stat : 32638 (java) S 32628 32628 26425 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419264038 27969658880 26544 33554432000 4194304 4196468 140730424201024 140625372777360 140625558599381 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30728192 140730424210154 140730424210582 140730424210582 140730424213455 0
[pid=32631/tid=32639] ppid=32628 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32631/task/32639/stat : 32639 (java) S 32628 32628 26425 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419264038 27969658880 26544 33554432000 4194304 4196468 140730424201024 140625371724816 140625558599381 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30728192 140730424210154 140730424210582 140730424210582 140730424213455 0
[pid=32631/tid=32640] ppid=32628 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32631/task/32640/stat : 32640 (java) S 32628 32628 26425 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419264038 27969658880 26544 33554432000 4194304 4196468 140730424201024 140625370672272 140625558599381 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30728192 140730424210154 140730424210582 140730424210582 140730424213455 0
[pid=32631/tid=32641] ppid=32628 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32631/task/32641/stat : 32641 (java) S 32628 32628 26425 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419264039 27969658880 26544 33554432000 4194304 4196468 140730424201024 140624549824496 140625558600322 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30728192 140730424210154 140730424210582 140730424210582 140730424213455 0
[pid=32631/tid=32642] ppid=32628 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32631/task/32642/stat : 32642 (java) S 32628 32628 26425 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419264040 27969658880 26544 33554432000 4194304 4196468 140730424201024 140623470388128 140625558599381 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30728192 140730424210154 140730424210582 140730424210582 140730424213455 0
[pid=32631/tid=32643] ppid=32628 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32631/task/32643/stat : 32643 (java) S 32628 32628 26425 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419264040 27969658880 26544 33554432000 4194304 4196468 140730424201024 140623336166384 140625558599381 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30728192 140730424210154 140730424210582 140730424210582 140730424213455 0
[pid=32631/tid=32644] ppid=32628 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32631/task/32644/stat : 32644 (java) S 32628 32628 26425 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419264042 27969658880 26609 33554432000 4194304 4196468 140730424201024 140622961662160 140625558607771 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30728192 140730424210154 140730424210582 140730424210582 140730424213455 0
[pid=32631/tid=32645] ppid=32628 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32631/task/32645/stat : 32645 (java) S 32628 32628 26425 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 20 0 419264042 27969658880 26609 33554432000 4194304 4196468 140730424201024 140624548772336 140625558600322 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30728192 140730424210154 140730424210582 140730424210582 140730424213455 0
[pid=32631/tid=32646] ppid=32628 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32631/task/32646/stat : 32646 (java) S 32628 32628 26425 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419264042 27969658880 26609 33554432000 4194304 4196468 140730424201024 140624547719792 140625558600322 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30728192 140730424210154 140730424210582 140730424210582 140730424213455 0
[pid=32631/tid=32647] ppid=32628 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32631/task/32647/stat : 32647 (java) S 32628 32628 26425 0 -1 1077944384 285 0 0 0 0 0 0 0 20 0 20 0 419264042 27969658880 26609 33554432000 4194304 4196468 140730424201024 140624546667248 140625558600322 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30728192 140730424210154 140730424210582 140730424210582 140730424213455 0
[pid=32631/tid=32648] ppid=32628 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32631/task/32648/stat : 32648 (java) S 32628 32628 26425 0 -1 1077944384 268 0 0 0 0 0 0 0 20 0 20 0 419264042 27969658880 26609 33554432000 4194304 4196468 140730424201024 140624545614704 140625558600322 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30728192 140730424210154 140730424210582 140730424210582 140730424213455 0
[pid=32631/tid=32649] ppid=32628 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32631/task/32649/stat : 32649 (java) S 32628 32628 26425 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419264043 27969658880 26609 33554432000 4194304 4196468 140730424201024 140622463756512 140625558599381 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30728192 140730424210154 140730424210582 140730424210582 140730424213455 0
[pid=32631/tid=32650] ppid=32628 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/32631/task/32650/stat : 32650 (java) S 32628 32628 26425 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419264043 27969658880 26609 33554432000 4194304 4196468 140730424201024 140623201946032 140625558600322 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30728192 140730424210154 140730424210582 140730424210582 140730424213455 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 107568 KiB

[startup+0.21021 s]*
/proc/loadavg: 7.40 6.85 5.06 3/211 32650
/proc/meminfo: memFree=26961908/32770624 swapFree=67021676/67108860
[pid=32628] ppid=32625 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/32628/stat : 32628 (scop.sh) S 32625 32628 26425 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 419264035 115843072 348 33554432000 4194304 5098028 140734057413648 140734057410904 139692738593404 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 16359424 140734057415460 140734057415788 140734057415788 140734057418701 0
/proc/32628/statm: 28282 348 296 221 0 87 0
[pid=32631] ppid=32628 vsize=27314120 memory=123188 CPUtime=0.24 cores=0-7
/proc/32631/stat : 32631 (java) S 32628 32628 26425 0 -1 1077944320 12254 0 0 0 21 3 0 0 20 0 20 0 419264035 27969658880 30797 33554432000 4194304 4196468 140730424201024 140730424183568 140625558589175 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 30728192 140730424210154 140730424210582 140730424210582 140730424213455 0
/proc/32631/statm: 6828530 30797 2918 1 0 6790935 0
[pid=32631/tid=32632] ppid=32628 vsize=27314120 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/32631/task/32632/stat : 32632 (java) R 32628 32628 26425 0 -1 4202560 9938 0 0 0 17 2 0 0 20 0 20 0 419264035 27969658880 30797 33554432000 4194304 4196468 140730424201024 140625530393552 140625538864962 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30728192 140730424210154 140730424210582 140730424210582 140730424213455 0
[pid=32631/tid=32633] ppid=32628 vsize=27314120 memory=331 CPUtime=0 cores=0-7
/proc/32631/task/32633/stat : 32633 (java) S 32628 32628 26425 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419264038 27969658880 30797 33554432000 4194304 4196468 140730424201024 140625562831120 140625558599381 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30728192 140730424210154 140730424210582 140730424210582 140730424213455 0
[pid=32631/tid=32634] ppid=32628 vsize=27314120 memory=140135739758772 CPUtime=0 cores=0-7
/proc/32631/task/32634/stat : 32634 (java) S 32628 32628 26425 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419264038 27969658880 30797 33554432000 4194304 4196468 140730424201024 140625376987536 140625558599381 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30728192 140730424210154 140730424210582 140730424210582 140730424213455 0
[pid=32631/tid=32635] ppid=32628 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/32631/task/32635/stat : 32635 (java) S 32628 32628 26425 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419264038 27969658880 30797 33554432000 4194304 4196468 140730424201024 140625375934992 140625558599381 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30728192 140730424210154 140730424210582 140730424210582 140730424213455 0
[pid=32631/tid=32636] ppid=32628 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32631/task/32636/stat : 32636 (java) S 32628 32628 26425 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419264038 27969658880 30797 33554432000 4194304 4196468 140730424201024 140625374882448 140625558599381 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30728192 140730424210154 140730424210582 140730424210582 140730424213455 0
[pid=32631/tid=32637] ppid=32628 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32631/task/32637/stat : 32637 (java) S 32628 32628 26425 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419264038 27969658880 30797 33554432000 4194304 4196468 140730424201024 140625373829904 140625558599381 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30728192 140730424210154 140730424210582 140730424210582 140730424213455 0
[pid=32631/tid=32638] ppid=32628 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/32631/task/32638/stat : 32638 (java) S 32628 32628 26425 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419264038 27969658880 30797 33554432000 4194304 4196468 140730424201024 140625372777360 140625558599381 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30728192 140730424210154 140730424210582 140730424210582 140730424213455 0
[pid=32631/tid=32639] ppid=32628 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32631/task/32639/stat : 32639 (java) S 32628 32628 26425 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419264038 27969658880 30797 33554432000 4194304 4196468 140730424201024 140625371724816 140625558599381 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30728192 140730424210154 140730424210582 140730424210582 140730424213455 0
[pid=32631/tid=32640] ppid=32628 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32631/task/32640/stat : 32640 (java) S 32628 32628 26425 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419264038 27969658880 30797 33554432000 4194304 4196468 140730424201024 140625370672272 140625558599381 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30728192 140730424210154 140730424210582 140730424210582 140730424213455 0
[pid=32631/tid=32641] ppid=32628 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32631/task/32641/stat : 32641 (java) S 32628 32628 26425 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419264039 27969658880 30797 33554432000 4194304 4196468 140730424201024 140624549824496 140625558600322 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30728192 140730424210154 140730424210582 140730424210582 140730424213455 0
[pid=32631/tid=32642] ppid=32628 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32631/task/32642/stat : 32642 (java) S 32628 32628 26425 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419264040 27969658880 30797 33554432000 4194304 4196468 140730424201024 140623470388128 140625558599381 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30728192 140730424210154 140730424210582 140730424210582 140730424213455 0
[pid=32631/tid=32643] ppid=32628 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32631/task/32643/stat : 32643 (java) S 32628 32628 26425 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419264040 27969658880 30797 33554432000 4194304 4196468 140730424201024 140623336166384 140625558599381 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30728192 140730424210154 140730424210582 140730424210582 140730424213455 0
[pid=32631/tid=32644] ppid=32628 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32631/task/32644/stat : 32644 (java) S 32628 32628 26425 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419264042 27969658880 30797 33554432000 4194304 4196468 140730424201024 140622961662160 140625558607771 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30728192 140730424210154 140730424210582 140730424210582 140730424213455 0
[pid=32631/tid=32645] ppid=32628 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32631/task/32645/stat : 32645 (java) S 32628 32628 26425 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 20 0 419264042 27969658880 30797 33554432000 4194304 4196468 140730424201024 140624548772336 140625558600322 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30728192 140730424210154 140730424210582 140730424210582 140730424213455 0
[pid=32631/tid=32646] ppid=32628 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32631/task/32646/stat : 32646 (java) S 32628 32628 26425 0 -1 1077944384 150 0 0 0 0 0 0 0 20 0 20 0 419264042 27969658880 30797 33554432000 4194304 4196468 140730424201024 140624547719792 140625558600322 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30728192 140730424210154 140730424210582 140730424210582 140730424213455 0
[pid=32631/tid=32647] ppid=32628 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/32631/task/32647/stat : 32647 (java) S 32628 32628 26425 0 -1 1077944384 285 0 0 0 0 0 0 0 20 0 20 0 419264042 27969658880 30797 33554432000 4194304 4196468 140730424201024 140624546667248 140625558600322 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30728192 140730424210154 140730424210582 140730424210582 140730424213455 0
[pid=32631/tid=32648] ppid=32628 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7
/proc/32631/task/32648/stat : 32648 (java) S 32628 32628 26425 0 -1 1077944384 460 0 0 0 2 0 0 0 20 0 20 0 419264042 27969658880 30797 33554432000 4194304 4196468 140730424201024 140624545614704 140625558600322 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30728192 140730424210154 140730424210582 140730424210582 140730424213455 0
[pid=32631/tid=32649] ppid=32628 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32631/task/32649/stat : 32649 (java) S 32628 32628 26425 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419264043 27969658880 30797 33554432000 4194304 4196468 140730424201024 140622463756512 140625558599381 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30728192 140730424210154 140730424210582 140730424210582 140730424213455 0
[pid=32631/tid=32650] ppid=32628 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/32631/task/32650/stat : 32650 (java) S 32628 32628 26425 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419264043 27969658880 30797 33554432000 4194304 4196468 140730424201024 140623201946032 140625558600322 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30728192 140730424210154 140730424210582 140730424210582 140730424213455 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 124580 KiB

[startup+0.309682 s]*
/proc/loadavg: 7.40 6.85 5.06 2/211 32650
/proc/meminfo: memFree=26958248/32770624 swapFree=67021676/67108860
[pid=32628] ppid=32625 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/32628/stat : 32628 (scop.sh) S 32625 32628 26425 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 419264035 115843072 348 33554432000 4194304 5098028 140734057413648 140734057410904 139692738593404 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 16359424 140734057415460 140734057415788 140734057415788 140734057418701 0
/proc/32628/statm: 28282 348 296 221 0 87 0
[pid=32631] ppid=32628 vsize=27314120 memory=127728 CPUtime=0.43 cores=0-7
/proc/32631/stat : 32631 (java) S 32628 32628 26425 0 -1 1077944320 12796 0 0 0 39 4 0 0 20 0 20 0 419264035 27969658880 31932 33554432000 4194304 4196468 140730424201024 140730424183568 140625558589175 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 30728192 140730424210154 140730424210582 140730424210582 140730424213455 0
/proc/32631/statm: 6828530 31932 3057 1 0 6790935 0
[pid=32631/tid=32632] ppid=32628 vsize=27314120 memory=6791534058613427641 CPUtime=0.3 cores=0-7
/proc/32631/task/32632/stat : 32632 (java) R 32628 32628 26425 0 -1 4202560 10297 0 0 0 27 3 0 0 20 0 20 0 419264035 27969658880 31932 33554432000 4194304 4196468 140730424201024 140625530410176 140625543754768 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30728192 140730424210154 140730424210582 140730424210582 140730424213455 0
[pid=32631/tid=32633] ppid=32628 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32631/task/32633/stat : 32633 (java) S 32628 32628 26425 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419264038 27969658880 31932 33554432000 4194304 4196468 140730424201024 140625562831120 140625558599381 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30728192 140730424210154 140730424210582 140730424210582 140730424213455 0
[pid=32631/tid=32634] ppid=32628 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32631/task/32634/stat : 32634 (java) S 32628 32628 26425 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419264038 27969658880 31932 33554432000 4194304 4196468 140730424201024 140625376987536 140625558599381 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30728192 140730424210154 140730424210582 140730424210582 140730424213455 0
[pid=32631/tid=32635] ppid=32628 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32631/task/32635/stat : 32635 (java) S 32628 32628 26425 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419264038 27969658880 31932 33554432000 4194304 4196468 140730424201024 140625375934992 140625558599381 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30728192 140730424210154 140730424210582 140730424210582 140730424213455 0
[pid=32631/tid=32636] ppid=32628 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32631/task/32636/stat : 32636 (java) S 32628 32628 26425 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419264038 27969658880 31932 33554432000 4194304 4196468 140730424201024 140625374882448 140625558599381 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30728192 140730424210154 140730424210582 140730424210582 140730424213455 0
[pid=32631/tid=32637] ppid=32628 vsize=27314120 memory=2244 CPUtime=0 cores=0-7
/proc/32631/task/32637/stat : 32637 (java) S 32628 32628 26425 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419264038 27969658880 31932 33554432000 4194304 4196468 140730424201024 140625373829904 140625558599381 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30728192 140730424210154 140730424210582 140730424210582 140730424213455 0
[pid=32631/tid=32638] ppid=32628 vsize=27314120 memory=140135589049263 CPUtime=0 cores=0-7
/proc/32631/task/32638/stat : 32638 (java) S 32628 32628 26425 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419264038 27969658880 31932 33554432000 4194304 4196468 140730424201024 140625372777360 140625558599381 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30728192 140730424210154 140730424210582 140730424210582 140730424213455 0
[pid=32631/tid=32639] ppid=32628 vsize=27314120 memory=140135589051568 CPUtime=0 cores=0-7
/proc/32631/task/32639/stat : 32639 (java) S 32628 32628 26425 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419264038 27969658880 31932 33554432000 4194304 4196468 140730424201024 140625371724816 140625558599381 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30728192 140730424210154 140730424210582 140730424210582 140730424213455 0
[pid=32631/tid=32640] ppid=32628 vsize=27314120 memory=140135589053872 CPUtime=0 cores=0-7
/proc/32631/task/32640/stat : 32640 (java) S 32628 32628 26425 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419264038 27969658880 31932 33554432000 4194304 4196468 140730424201024 140625370672272 140625558599381 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30728192 140730424210154 140730424210582 140730424210582 140730424213455 0
[pid=32631/tid=32641] ppid=32628 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32631/task/32641/stat : 32641 (java) S 32628 32628 26425 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419264039 27969658880 31932 33554432000 4194304 4196468 140730424201024 140624549824496 140625558600322 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30728192 140730424210154 140730424210582 140730424210582 140730424213455 0
[pid=32631/tid=32642] ppid=32628 vsize=27314120 memory=280271178114704 CPUtime=0 cores=0-7
/proc/32631/task/32642/stat : 32642 (java) S 32628 32628 26425 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419264040 27969658880 31932 33554432000 4194304 4196468 140730424201024 140623470388128 140625558599381 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30728192 140730424210154 140730424210582 140730424210582 140730424213455 0
[pid=32631/tid=32643] ppid=32628 vsize=27314120 memory=280271178121616 CPUtime=0 cores=0-7
/proc/32631/task/32643/stat : 32643 (java) S 32628 32628 26425 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419264040 27969658880 31932 33554432000 4194304 4196468 140730424201024 140623336166384 140625558599381 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30728192 140730424210154 140730424210582 140730424210582 140730424213455 0
[pid=32631/tid=32644] ppid=32628 vsize=27314120 memory=280271178062896 CPUtime=0 cores=0-7
/proc/32631/task/32644/stat : 32644 (java) S 32628 32628 26425 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419264042 27969658880 31932 33554432000 4194304 4196468 140730424201024 140622961662160 140625558607771 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30728192 140730424210154 140730424210582 140730424210582 140730424213455 0
[pid=32631/tid=32645] ppid=32628 vsize=27314120 memory=280271178135440 CPUtime=0 cores=0-7
/proc/32631/task/32645/stat : 32645 (java) S 32628 32628 26425 0 -1 1077944384 79 0 0 0 0 0 0 0 20 0 20 0 419264042 27969658880 31932 33554432000 4194304 4196468 140730424201024 140624548772336 140625558600322 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30728192 140730424210154 140730424210582 140730424210582 140730424213455 0
[pid=32631/tid=32646] ppid=32628 vsize=27314120 memory=280271178142352 CPUtime=0 cores=0-7
/proc/32631/task/32646/stat : 32646 (java) S 32628 32628 26425 0 -1 1077944384 157 0 0 0 0 0 0 0 20 0 20 0 419264042 27969658880 31932 33554432000 4194304 4196468 140730424201024 140624547719792 140625558600322 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30728192 140730424210154 140730424210582 140730424210582 140730424213455 0
[pid=32631/tid=32647] ppid=32628 vsize=27314120 memory=280271178140048 CPUtime=0.03 cores=0-7
/proc/32631/task/32647/stat : 32647 (java) S 32628 32628 26425 0 -1 1077944384 397 0 0 0 3 0 0 0 20 0 20 0 419264042 27969658880 31932 33554432000 4194304 4196468 140730424201024 140624546667248 140625558600322 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30728192 140730424210154 140730424210582 140730424210582 140730424213455 0
[pid=32631/tid=32648] ppid=32628 vsize=27314120 memory=280271178156208 CPUtime=0.07 cores=0-7
/proc/32631/task/32648/stat : 32648 (java) S 32628 32628 26425 0 -1 1077944384 510 0 0 0 7 0 0 0 20 0 20 0 419264042 27969658880 31932 33554432000 4194304 4196468 140730424201024 140624545614704 140625558600322 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30728192 140730424210154 140730424210582 140730424210582 140730424213455 0
[pid=32631/tid=32649] ppid=32628 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32631/task/32649/stat : 32649 (java) S 32628 32628 26425 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419264043 27969658880 31932 33554432000 4194304 4196468 140730424201024 140622463756512 140625558599381 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30728192 140730424210154 140730424210582 140730424210582 140730424213455 0
[pid=32631/tid=32650] ppid=32628 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/32631/task/32650/stat : 32650 (java) S 32628 32628 26425 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419264043 27969658880 31932 33554432000 4194304 4196468 140730424201024 140623201946032 140625558600322 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30728192 140730424210154 140730424210582 140730424210582 140730424213455 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 129120 KiB

[startup+0.700924 s]
/proc/loadavg: 7.40 6.85 5.06 3/211 32650
/proc/meminfo: memFree=26937176/32770624 swapFree=67021676/67108860
[pid=32628] ppid=32625 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/32628/stat : 32628 (scop.sh) S 32625 32628 26425 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 419264035 115843072 348 33554432000 4194304 5098028 140734057413648 140734057410904 139692738593404 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 16359424 140734057415460 140734057415788 140734057415788 140734057418701 0
/proc/32628/statm: 28282 348 296 221 0 87 0
[pid=32631] ppid=32628 vsize=27322516 memory=164296 CPUtime=0.99 cores=0-7
/proc/32631/stat : 32631 (java) S 32628 32628 26425 0 -1 1077944320 20759 0 0 0 93 6 0 0 20 0 20 0 419264035 27978256384 41074 33554432000 4194304 4196468 140730424201024 140730424183568 140625558589175 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 30728192 140730424210154 140730424210582 140730424210582 140730424213455 0
/proc/32631/statm: 6830629 41074 3207 1 0 6791959 0
[pid=32631/tid=32632] ppid=32628 vsize=27322516 memory=280271178514096 CPUtime=0.67 cores=0-7
/proc/32631/task/32632/stat : 32632 (java) R 32628 32628 26425 0 -1 4202560 17682 0 0 0 63 4 0 0 20 0 20 0 419264035 27978256384 41074 33554432000 4194304 4196468 140730424201024 140625530424160 140625537033921 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30728192 140730424210154 140730424210582 140730424210582 140730424213455 0
[pid=32631/tid=32633] ppid=32628 vsize=27322516 memory=140135589258096 CPUtime=0 cores=0-7
/proc/32631/task/32633/stat : 32633 (java) S 32628 32628 26425 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419264038 27978256384 41074 33554432000 4194304 4196468 140730424201024 140625562831120 140625558599381 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30728192 140730424210154 140730424210582 140730424210582 140730424213455 0
[pid=32631/tid=32634] ppid=32628 vsize=27322516 memory=0 CPUtime=0 cores=0-7
/proc/32631/task/32634/stat : 32634 (java) S 32628 32628 26425 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419264038 27978256384 41074 33554432000 4194304 4196468 140730424201024 140625376987536 140625558599381 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30728192 140730424210154 140730424210582 140730424210582 140730424213455 0
[pid=32631/tid=32635] ppid=32628 vsize=27322516 memory=1224 CPUtime=0 cores=0-7
/proc/32631/task/32635/stat : 32635 (java) S 32628 32628 26425 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419264038 27978256384 41074 33554432000 4194304 4196468 140730424201024 140625375934992 140625558599381 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30728192 140730424210154 140730424210582 140730424210582 140730424213455 0

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

/proc/32651/task/32663/stat : 32663 (java) S 32628 32628 26425 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 419264311 8616062976 29226 33554432000 4194304 4196468 140733323954912 139723137865200 139724980504277 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22380544 140733323961335 140733323961494 140733323961494 140733323964367 0
[pid=32651/tid=32664] ppid=32628 vsize=8414124 memory=280268090965765 CPUtime=0 cores=0-7
/proc/32651/task/32664/stat : 32664 (java) S 32628 32628 26425 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419264313 8616062976 29226 33554432000 4194304 4196468 140733323954912 139722763360976 139724980512667 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22380544 140733323961335 140733323961494 140733323961494 140733323964367 0
[pid=32651/tid=32665] ppid=32628 vsize=8414124 memory=1472 CPUtime=0.08 cores=0-7
/proc/32651/task/32665/stat : 32665 (java) S 32628 32628 26425 0 -1 1077944384 611 0 0 0 8 0 0 0 20 0 24 0 419264313 8616062976 29226 33554432000 4194304 4196468 140733323954912 139724206348272 139724980505218 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22380544 140733323961335 140733323961494 140733323961494 140733323964367 0
[pid=32651/tid=32666] ppid=32628 vsize=8414124 memory=116904 CPUtime=0.05 cores=0-7
/proc/32651/task/32666/stat : 32666 (java) S 32628 32628 26425 0 -1 1077944384 284 0 0 0 5 0 0 0 20 0 24 0 419264313 8616062976 29226 33554432000 4194304 4196468 140733323954912 139724205295728 139724980505218 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22380544 140733323961335 140733323961494 140733323961494 140733323964367 0
[pid=32651/tid=32667] ppid=32628 vsize=8414124 memory=349396 CPUtime=0.02 cores=0-7
/proc/32651/task/32667/stat : 32667 (java) S 32628 32628 26425 0 -1 1077944384 206 0 0 0 2 0 0 0 20 0 24 0 419264313 8616062976 29226 33554432000 4194304 4196468 140733323954912 139724204243184 139724980505218 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22380544 140733323961335 140733323961494 140733323961494 140733323964367 0
[pid=32651/tid=32668] ppid=32628 vsize=8414124 memory=0 CPUtime=0.18 cores=0-7
/proc/32651/task/32668/stat : 32668 (java) S 32628 32628 26425 0 -1 1077944384 762 0 0 0 18 0 0 0 20 0 24 0 419264313 8616062976 29226 33554432000 4194304 4196468 140733323954912 139724203190640 139724980505218 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22380544 140733323961335 140733323961494 140733323961494 140733323964367 0
[pid=32651/tid=32669] ppid=32628 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/32651/task/32669/stat : 32669 (java) S 32628 32628 26425 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419264314 8616062976 29226 33554432000 4194304 4196468 140733323954912 139722265455328 139724980504277 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22380544 140733323961335 140733323961494 140733323961494 140733323964367 0
[pid=32651/tid=32670] ppid=32628 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/32651/task/32670/stat : 32670 (java) S 32628 32628 26425 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419264314 8616062976 29226 33554432000 4194304 4196468 140733323954912 139724202138544 139724980505218 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 49 0 0 6293624 6294260 22380544 140733323961335 140733323961494 140733323961494 140733323964367 0
[pid=32651/tid=32672] ppid=32628 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/32651/task/32672/stat : 32672 (java) S 32628 32628 26425 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 419264379 8616062976 29226 33554432000 4194304 4196468 140733323954912 139724278974144 139724980518681 0 4 2 25189581 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 22380544 140733323961335 140733323961494 140733323961494 140733323964367 0
[pid=32651/tid=32674] ppid=32628 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/32651/task/32674/stat : 32674 (java) S 32628 32628 26425 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 419264379 8616062976 29226 33554432000 4194304 4196468 140733323954912 139721594354960 139724980515997 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 22380544 140733323961335 140733323961494 140733323961494 140733323964367 0
[pid=32651/tid=32675] ppid=32628 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/32651/task/32675/stat : 32675 (java) S 32628 32628 26425 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 24 0 419264379 8616062976 29226 33554432000 4194304 4196468 140733323954912 139721862790544 139724980515997 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 22380544 140733323961335 140733323961494 140733323961494 140733323964367 0
[pid=32651/tid=32676] ppid=32628 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/32651/task/32676/stat : 32676 (java) S 32628 32628 26425 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 24 0 419264381 8616062976 29226 33554432000 4194304 4196468 140733323954912 139721325927600 139724980504277 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22380544 140733323961335 140733323961494 140733323961494 140733323964367 0
Current children cumulated CPU time: 142.58 s
Current children cumulated vsize: 9273792 KiB
Current children cumulated memory: 559412 KiB

[startup+21.202 s]
/proc/loadavg: 7.89 6.99 5.15 9/224 32686
/proc/meminfo: memFree=26525484/32770624 swapFree=67021680/67108860
[pid=32628] ppid=32625 vsize=113128 memory=1472 CPUtime=5.76 cores=0-7
/proc/32628/stat : 32628 (scop.sh) S 32625 32628 26425 0 -1 4202496 582 27576 0 0 0 0 550 26 20 0 1 0 419264035 115843072 368 33554432000 4194304 5098028 140734057413648 140734057410392 139692738593404 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 16359424 140734057415460 140734057415788 140734057415788 140734057418701 0
/proc/32628/statm: 28282 368 311 221 0 87 0
[pid=32651] ppid=32628 vsize=8414124 memory=116904 CPUtime=1.14 cores=0-7
/proc/32651/stat : 32651 (java) S 32628 32628 26425 0 -1 1077944320 20714 0 0 0 106 8 0 0 20 0 24 0 419264307 8616062976 29226 33554432000 4194304 4196468 140733323954912 140733323937456 139724980494071 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22380544 140733323961335 140733323961494 140733323961494 140733323964367 0
/proc/32651/statm: 2103531 29226 3201 1 0 2064875 0
[pid=32671] ppid=32651 vsize=746540 memory=442484 CPUtime=138.87 cores=0-7
/proc/32671/stat : 32671 (manyglucose-4.1) S 32651 32628 26425 0 -1 1077944320 137372 0 0 0 13840 47 0 0 20 0 9 0 419264379 764456960 110621 33554432000 4194304 4454172 140735892498704 140735892497104 140496898652802 0 4 0 8388610 18446744073709551615 0 0 17 5 0 0 0 0 0 6552832 6554400 32788480 140735892501353 140735892501552 140735892501552 140735892504506 0
/proc/32671/statm: 186635 110621 407 64 0 182303 0
[pid=32671/tid=32677] ppid=32651 vsize=746540 memory=-3255422371651459150 CPUtime=17.36 cores=0-7
/proc/32671/task/32677/stat : 32677 (manyglucose-4.1) R 32651 32628 26425 0 -1 4202560 18458 0 0 0 1729 7 0 0 20 0 9 0 419264417 764456960 110621 33554432000 4194304 4454172 140735892498704 140496870329448 4351289 0 4 0 8388610 0 0 0 -1 2 0 0 0 0 0 6552832 6554400 32788480 140735892501353 140735892501552 140735892501552 140735892504506 0
[pid=32671/tid=32678] ppid=32651 vsize=746540 memory=7955418978676860008 CPUtime=17.34 cores=0-7
/proc/32671/task/32678/stat : 32678 (manyglucose-4.1) R 32651 32628 26425 0 -1 4202560 14878 0 0 0 1726 8 0 0 20 0 9 0 419264417 764456960 110621 33554432000 4194304 4454172 140735892498704 140496861936488 4351769 0 4 0 8388610 0 0 0 -1 0 0 0 0 0 0 6552832 6554400 32788480 140735892501353 140735892501552 140735892501552 140735892504506 0
[pid=32671/tid=32679] ppid=32651 vsize=746540 memory=6010431313640188264 CPUtime=16.99 cores=0-7
/proc/32671/task/32679/stat : 32679 (manyglucose-4.1) R 32651 32628 26425 0 -1 4202560 12348 0 0 0 1695 4 0 0 20 0 9 0 419264417 764456960 110621 33554432000 4194304 4454172 140735892498704 140496853543784 4351289 0 4 0 8388610 0 0 0 -1 1 0 0 0 0 0 6552832 6554400 32788480 140735892501353 140735892501552 140735892501552 140735892504506 0
[pid=32671/tid=32680] ppid=32651 vsize=746540 memory=0 CPUtime=17.36 cores=0-7
/proc/32671/task/32680/stat : 32680 (manyglucose-4.1) R 32651 32628 26425 0 -1 4202560 14116 0 0 0 1731 5 0 0 20 0 9 0 419264417 764456960 110621 33554432000 4194304 4454172 140735892498704 140496845151160 4351209 0 4 0 8388610 0 0 0 -1 6 0 0 0 0 0 6552832 6554400 32788480 140735892501353 140735892501552 140735892501552 140735892504506 0
[pid=32671/tid=32681] ppid=32651 vsize=746540 memory=6944656591801717405 CPUtime=17.35 cores=0-7
/proc/32671/task/32681/stat : 32681 (manyglucose-4.1) R 32651 32628 26425 0 -1 4202560 12267 0 0 0 1732 3 0 0 20 0 9 0 419264417 764456960 110621 33554432000 4194304 4454172 140735892498704 140496836758376 4351555 0 4 0 8388610 0 0 0 -1 3 0 0 0 0 0 6552832 6554400 32788480 140735892501353 140735892501552 140735892501552 140735892504506 0
[pid=32671/tid=32682] ppid=32651 vsize=746540 memory=4051325639050133536 CPUtime=17.31 cores=0-7
/proc/32671/task/32682/stat : 32682 (manyglucose-4.1) R 32651 32628 26425 0 -1 4202560 12631 0 0 0 1728 3 0 0 20 0 9 0 419264417 764456960 110621 33554432000 4194304 4454172 140735892498704 140496828365928 4351209 0 4 0 8388610 0 0 0 -1 7 0 0 0 0 0 6552832 6554400 32788480 140735892501353 140735892501552 140735892501552 140735892504506 0
[pid=32671/tid=32683] ppid=32651 vsize=746540 memory=0 CPUtime=17.35 cores=0-7
/proc/32671/task/32683/stat : 32683 (manyglucose-4.1) R 32651 32628 26425 0 -1 4202560 15422 0 0 0 1731 4 0 0 20 0 9 0 419264417 764456960 110621 33554432000 4194304 4454172 140735892498704 140496819973048 4351099 0 4 0 8388610 0 0 0 -1 4 0 0 0 0 0 6552832 6554400 32788480 140735892501353 140735892501552 140735892501552 140735892504506 0
[pid=32671/tid=32684] ppid=32651 vsize=746540 memory=140135589291776 CPUtime=17.37 cores=0-7
/proc/32671/task/32684/stat : 32684 (manyglucose-4.1) R 32651 32628 26425 0 -1 4202560 14584 0 0 0 1733 4 0 0 20 0 9 0 419264417 764456960 110621 33554432000 4194304 4454172 140735892498704 140496811580520 4351381 0 4 0 8388610 0 0 0 -1 5 0 0 0 0 0 6552832 6554400 32788480 140735892501353 140735892501552 140735892501552 140735892504506 0
[pid=32651/tid=32652] ppid=32628 vsize=8414124 memory=140136192999176 CPUtime=0.75 cores=0-7
/proc/32651/task/32652/stat : 32652 (java) S 32628 32628 26425 0 -1 1077944384 17432 0 0 0 69 6 0 0 20 0 24 0 419264308 8616062976 29226 33554432000 4194304 4196468 140733323954912 139724952334240 139724980504277 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22380544 140733323961335 140733323961494 140733323961494 140733323964367 0
[pid=32651/tid=32653] ppid=32628 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/32651/task/32653/stat : 32653 (java) S 32628 32628 26425 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419264309 8616062976 29226 33554432000 4194304 4196468 140733323954912 139724984736528 139724980504277 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22380544 140733323961335 140733323961494 140733323961494 140733323964367 0
[pid=32651/tid=32654] ppid=32628 vsize=8414124 memory=7305775823481497682 CPUtime=0 cores=0-7
/proc/32651/task/32654/stat : 32654 (java) S 32628 32628 26425 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419264309 8616062976 29226 33554432000 4194304 4196468 140733323954912 139724465744784 139724980504277 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22380544 140733323961335 140733323961494 140733323961494 140733323964367 0
[pid=32651/tid=32655] ppid=32628 vsize=8414124 memory=56 CPUtime=0 cores=0-7
/proc/32651/task/32655/stat : 32655 (java) S 32628 32628 26425 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419264309 8616062976 29226 33554432000 4194304 4196468 140733323954912 139724464692240 139724980504277 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22380544 140733323961335 140733323961494 140733323961494 140733323964367 0
[pid=32651/tid=32656] ppid=32628 vsize=8414124 memory=3472328295574040847 CPUtime=0 cores=0-7
/proc/32651/task/32656/stat : 32656 (java) S 32628 32628 26425 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419264309 8616062976 29226 33554432000 4194304 4196468 140733323954912 139724463639696 139724980504277 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22380544 140733323961335 140733323961494 140733323961494 140733323964367 0
[pid=32651/tid=32657] ppid=32628 vsize=8414124 memory=9092 CPUtime=0 cores=0-7
/proc/32651/task/32657/stat : 32657 (java) S 32628 32628 26425 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419264309 8616062976 29226 33554432000 4194304 4196468 140733323954912 139724462586128 139724980504277 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22380544 140733323961335 140733323961494 140733323961494 140733323964367 0
[pid=32651/tid=32658] ppid=32628 vsize=8414124 memory=4137287014106042739 CPUtime=0 cores=0-7
/proc/32651/task/32658/stat : 32658 (java) S 32628 32628 26425 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419264309 8616062976 29226 33554432000 4194304 4196468 140733323954912 139724461533584 139724980504277 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22380544 140733323961335 140733323961494 140733323961494 140733323964367 0
[pid=32651/tid=32659] ppid=32628 vsize=8414124 memory=-6876588461455810464 CPUtime=0 cores=0-7
/proc/32651/task/32659/stat : 32659 (java) S 32628 32628 26425 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419264309 8616062976 29226 33554432000 4194304 4196468 140733323954912 139724460481040 139724980504277 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22380544 140733323961335 140733323961494 140733323961494 140733323964367 0
[pid=32651/tid=32660] ppid=32628 vsize=8414124 memory=6944656592452807320 CPUtime=0 cores=0-7
/proc/32651/task/32660/stat : 32660 (java) S 32628 32628 26425 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419264309 8616062976 29226 33554432000 4194304 4196468 140733323954912 139724459428496 139724980504277 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22380544 140733323961335 140733323961494 140733323961494 140733323964367 0
[pid=32651/tid=32661] ppid=32628 vsize=8414124 memory=-7449383003082255508 CPUtime=0 cores=0-7
/proc/32651/task/32661/stat : 32661 (java) S 32628 32628 26425 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 419264310 8616062976 29226 33554432000 4194304 4196468 140733323954912 139724207401456 139724980505218 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 42 0 0 6293624 6294260 22380544 140733323961335 140733323961494 140733323961494 140733323964367 0
[pid=32651/tid=32662] ppid=32628 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/32651/task/32662/stat : 32662 (java) S 32628 32628 26425 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 419264311 8616062976 29226 33554432000 4194304 4196468 140733323954912 139723272086944 139724980504277 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22380544 140733323961335 140733323961494 140733323961494 140733323964367 0
[pid=32651/tid=32663] ppid=32628 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/32651/task/32663/stat : 32663 (java) S 32628 32628 26425 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 419264311 8616062976 29226 33554432000 4194304 4196468 140733323954912 139723137865200 139724980504277 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22380544 140733323961335 140733323961494 140733323961494 140733323964367 0
[pid=32651/tid=32664] ppid=32628 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/32651/task/32664/stat : 32664 (java) S 32628 32628 26425 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419264313 8616062976 29226 33554432000 4194304 4196468 140733323954912 139722763360976 139724980512667 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22380544 140733323961335 140733323961494 140733323961494 140733323964367 0
[pid=32651/tid=32665] ppid=32628 vsize=8414124 memory=0 CPUtime=0.08 cores=0-7
/proc/32651/task/32665/stat : 32665 (java) S 32628 32628 26425 0 -1 1077944384 611 0 0 0 8 0 0 0 20 0 24 0 419264313 8616062976 29226 33554432000 4194304 4196468 140733323954912 139724206348272 139724980505218 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22380544 140733323961335 140733323961494 140733323961494 140733323964367 0
[pid=32651/tid=32666] ppid=32628 vsize=8414124 memory=0 CPUtime=0.05 cores=0-7
/proc/32651/task/32666/stat : 32666 (java) S 32628 32628 26425 0 -1 1077944384 284 0 0 0 5 0 0 0 20 0 24 0 419264313 8616062976 29226 33554432000 4194304 4196468 140733323954912 139724205295728 139724980505218 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22380544 140733323961335 140733323961494 140733323961494 140733323964367 0
[pid=32651/tid=32667] ppid=32628 vsize=8414124 memory=0 CPUtime=0.02 cores=0-7
/proc/32651/task/32667/stat : 32667 (java) S 32628 32628 26425 0 -1 1077944384 206 0 0 0 2 0 0 0 20 0 24 0 419264313 8616062976 29226 33554432000 4194304 4196468 140733323954912 139724204243184 139724980505218 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22380544 140733323961335 140733323961494 140733323961494 140733323964367 0
[pid=32651/tid=32668] ppid=32628 vsize=8414124 memory=0 CPUtime=0.18 cores=0-7
/proc/32651/task/32668/stat : 32668 (java) S 32628 32628 26425 0 -1 1077944384 762 0 0 0 18 0 0 0 20 0 24 0 419264313 8616062976 29226 33554432000 4194304 4196468 140733323954912 139724203190640 139724980505218 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22380544 140733323961335 140733323961494 140733323961494 140733323964367 0
[pid=32651/tid=32669] ppid=32628 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/32651/task/32669/stat : 32669 (java) S 32628 32628 26425 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419264314 8616062976 29226 33554432000 4194304 4196468 140733323954912 139722265455328 139724980504277 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22380544 140733323961335 140733323961494 140733323961494 140733323964367 0
[pid=32651/tid=32670] ppid=32628 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/32651/task/32670/stat : 32670 (java) S 32628 32628 26425 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419264314 8616062976 29226 33554432000 4194304 4196468 140733323954912 139724202138544 139724980505218 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 49 0 0 6293624 6294260 22380544 140733323961335 140733323961494 140733323961494 140733323964367 0
[pid=32651/tid=32672] ppid=32628 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/32651/task/32672/stat : 32672 (java) S 32628 32628 26425 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 419264379 8616062976 29226 33554432000 4194304 4196468 140733323954912 139724278974144 139724980518681 0 4 2 25189581 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 22380544 140733323961335 140733323961494 140733323961494 140733323964367 0
[pid=32651/tid=32674] ppid=32628 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/32651/task/32674/stat : 32674 (java) S 32628 32628 26425 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 419264379 8616062976 29226 33554432000 4194304 4196468 140733323954912 139721594354960 139724980515997 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 22380544 140733323961335 140733323961494 140733323961494 140733323964367 0
[pid=32651/tid=32675] ppid=32628 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/32651/task/32675/stat : 32675 (java) S 32628 32628 26425 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 24 0 419264379 8616062976 29226 33554432000 4194304 4196468 140733323954912 139721862790544 139724980515997 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 22380544 140733323961335 140733323961494 140733323961494 140733323964367 0
[pid=32651/tid=32676] ppid=32628 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/32651/task/32676/stat : 32676 (java) S 32628 32628 26425 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 24 0 419264381 8616062976 29226 33554432000 4194304 4196468 140733323954912 139721325927600 139724980504277 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22380544 140733323961335 140733323961494 140733323961494 140733323964367 0
Current children cumulated CPU time: 145.77 s
Current children cumulated vsize: 9273792 KiB
Current children cumulated memory: 560860 KiB

[startup+21.6011 s]
/proc/loadavg: 7.89 6.99 5.15 9/224 32686
/proc/meminfo: memFree=26525484/32770624 swapFree=67021680/67108860
[pid=32628] ppid=32625 vsize=113128 memory=1472 CPUtime=5.76 cores=0-7
/proc/32628/stat : 32628 (scop.sh) S 32625 32628 26425 0 -1 4202496 582 27576 0 0 0 0 550 26 20 0 1 0 419264035 115843072 368 33554432000 4194304 5098028 140734057413648 140734057410392 139692738593404 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 16359424 140734057415460 140734057415788 140734057415788 140734057418701 0
/proc/32628/statm: 28282 368 311 221 0 87 0
[pid=32651] ppid=32628 vsize=8283048 memory=128328 CPUtime=141.21 cores=0-7
/proc/32651/stat : 32651 (java) S 32628 32628 26425 0 -1 1077944320 22535 137565 0 0 133 9 13931 48 20 0 22 0 419264307 8481841152 32082 33554432000 4194304 4196468 140733323954912 140733323937456 139724980494071 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22380544 140733323961335 140733323961494 140733323961494 140733323964367 0
/proc/32651/statm: 2070762 32082 3224 1 0 2032106 0
[pid=32651/tid=32652] ppid=32628 vsize=8283048 memory=2184 CPUtime=140.59 cores=0-7
/proc/32651/task/32652/stat : 32652 (java) R 32628 32628 26425 0 -1 4202560 17646 137565 0 0 74 6 13931 48 20 0 22 0 419264308 8481841152 32082 33554432000 4194304 4196468 140733323954912 139724952331424 139724964574558 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22380544 140733323961335 140733323961494 140733323961494 140733323964367 0
[pid=32651/tid=32653] ppid=32628 vsize=8283048 memory=8323117873028692878 CPUtime=139.79 cores=0-7
/proc/32651/task/32653/stat : 32653 (java) S 32628 32628 26425 0 -1 1077944384 2 137565 0 0 0 0 13931 48 20 0 22 0 419264309 8481841152 32082 33554432000 4194304 4196468 140733323954912 139724984736528 139724980504277 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22380544 140733323961335 140733323961494 140733323961494 140733323964367 0
[pid=32651/tid=32654] ppid=32628 vsize=8283048 memory=1472 CPUtime=139.79 cores=0-7
/proc/32651/task/32654/stat : 32654 (java) S 32628 32628 26425 0 -1 1077944384 1 137565 0 0 0 0 13931 48 20 0 22 0 419264309 8481841152 32082 33554432000 4194304 4196468 140733323954912 139724465744784 139724980504277 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22380544 140733323961335 140733323961494 140733323961494 140733323964367 0
[pid=32651/tid=32655] ppid=32628 vsize=8283048 memory=116904 CPUtime=139.79 cores=0-7
/proc/32651/task/32655/stat : 32655 (java) S 32628 32628 26425 0 -1 1077944384 2 137565 0 0 0 0 13931 48 20 0 22 0 419264309 8481841152 32082 33554432000 4194304 4196468 140733323954912 139724464692240 139724980504277 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22380544 140733323961335 140733323961494 140733323961494 140733323964367 0
[pid=32651/tid=32656] ppid=32628 vsize=8283048 memory=436584 CPUtime=139.79 cores=0-7
/proc/32651/task/32656/stat : 32656 (java) S 32628 32628 26425 0 -1 1077944384 2 137565 0 0 0 0 13931 48 20 0 22 0 419264309 8481841152 32082 33554432000 4194304 4196468 140733323954912 139724463639696 139724980504277 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22380544 140733323961335 140733323961494 140733323961494 140733323964367 0
[pid=32651/tid=32657] ppid=32628 vsize=8283048 memory=116904 CPUtime=139.79 cores=0-7
/proc/32651/task/32657/stat : 32657 (java) S 32628 32628 26425 0 -1 1077944384 2 137565 0 0 0 0 13931 48 20 0 22 0 419264309 8481841152 32082 33554432000 4194304 4196468 140733323954912 139724462586128 139724980504277 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22380544 140733323961335 140733323961494 140733323961494 140733323964367 0
[pid=32651/tid=32658] ppid=32628 vsize=8283048 memory=0 CPUtime=139.79 cores=0-7
/proc/32651/task/32658/stat : 32658 (java) S 32628 32628 26425 0 -1 1077944384 2 137565 0 0 0 0 13931 48 20 0 22 0 419264309 8481841152 32082 33554432000 4194304 4196468 140733323954912 139724461533584 139724980504277 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22380544 140733323961335 140733323961494 140733323961494 140733323964367 0
[pid=32651/tid=32659] ppid=32628 vsize=8283048 memory=50 CPUtime=139.79 cores=0-7
/proc/32651/task/32659/stat : 32659 (java) S 32628 32628 26425 0 -1 1077944384 1 137565 0 0 0 0 13931 48 20 0 22 0 419264309 8481841152 32082 33554432000 4194304 4196468 140733323954912 139724460481040 139724980504277 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22380544 140733323961335 140733323961494 140733323961494 140733323964367 0
[pid=32651/tid=32660] ppid=32628 vsize=8283048 memory=0 CPUtime=139.79 cores=0-7
/proc/32651/task/32660/stat : 32660 (java) S 32628 32628 26425 0 -1 1077944384 3 137565 0 0 0 0 13931 48 20 0 22 0 419264309 8481841152 32082 33554432000 4194304 4196468 140733323954912 139724459428496 139724980504277 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22380544 140733323961335 140733323961494 140733323961494 140733323964367 0
[pid=32651/tid=32661] ppid=32628 vsize=8283048 memory=0 CPUtime=139.79 cores=0-7
/proc/32651/task/32661/stat : 32661 (java) S 32628 32628 26425 0 -1 1077944384 7 137565 0 0 0 0 13931 48 20 0 22 0 419264310 8481841152 32082 33554432000 4194304 4196468 140733323954912 139724207401456 139724980505218 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 42 0 0 6293624 6294260 22380544 140733323961335 140733323961494 140733323961494 140733323964367 0
[pid=32651/tid=32662] ppid=32628 vsize=8283048 memory=0 CPUtime=139.79 cores=0-7
/proc/32651/task/32662/stat : 32662 (java) S 32628 32628 26425 0 -1 1077944384 13 137565 0 0 0 0 13931 48 20 0 22 0 419264311 8481841152 32082 33554432000 4194304 4196468 140733323954912 139723272086944 139724980504277 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22380544 140733323961335 140733323961494 140733323961494 140733323964367 0
[pid=32651/tid=32663] ppid=32628 vsize=8283048 memory=1472 CPUtime=139.79 cores=0-7
/proc/32651/task/32663/stat : 32663 (java) S 32628 32628 26425 0 -1 1077944384 21 137565 0 0 0 0 13931 48 20 0 22 0 419264311 8481841152 32082 33554432000 4194304 4196468 140733323954912 139723137865200 139724980504277 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22380544 140733323961335 140733323961494 140733323961494 140733323964367 0
[pid=32651/tid=32664] ppid=32628 vsize=8283048 memory=116904 CPUtime=139.79 cores=0-7
/proc/32651/task/32664/stat : 32664 (java) S 32628 32628 26425 0 -1 1077944384 1 137565 0 0 0 0 13931 48 20 0 22 0 419264313 8481841152 32082 33554432000 4194304 4196468 140733323954912 139722763360976 139724980512667 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22380544 140733323961335 140733323961494 140733323961494 140733323964367 0
[pid=32651/tid=32665] ppid=32628 vsize=8283048 memory=437720 CPUtime=139.9 cores=0-7
/proc/32651/task/32665/stat : 32665 (java) S 32628 32628 26425 0 -1 1077944384 636 137565 0 0 11 0 13931 48 20 0 22 0 419264313 8481841152 32082 33554432000 4194304 4196468 140733323954912 139724206348272 139724980505218 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22380544 140733323961335 140733323961494 140733323961494 140733323964367 0
[pid=32651/tid=32666] ppid=32628 vsize=8283048 memory=-7673670294037099712 CPUtime=139.87 cores=0-7
/proc/32651/task/32666/stat : 32666 (java) S 32628 32628 26425 0 -1 1077944384 489 137565 0 0 8 0 13931 48 20 0 22 0 419264313 8481841152 32082 33554432000 4194304 4196468 140733323954912 139724205295728 139724980505218 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22380544 140733323961335 140733323961494 140733323961494 140733323964367 0
[pid=32651/tid=32667] ppid=32628 vsize=8283048 memory=280271177908464 CPUtime=139.85 cores=0-7
/proc/32651/task/32667/stat : 32667 (java) S 32628 32628 26425 0 -1 1077944384 497 137565 0 0 6 0 13931 48 20 0 22 0 419264313 8481841152 32082 33554432000 4194304 4196468 140733323954912 139724204243184 139724980505218 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22380544 140733323961335 140733323961494 140733323961494 140733323964367 0
[pid=32651/tid=32668] ppid=32628 vsize=8283048 memory=280271177908464 CPUtime=140.04 cores=0-7
/proc/32651/task/32668/stat : 32668 (java) S 32628 32628 26425 0 -1 1077944384 1297 137565 0 0 25 0 13931 48 20 0 22 0 419264313 8481841152 32082 33554432000 4194304 4196468 140733323954912 139724203190640 139724980505218 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22380544 140733323961335 140733323961494 140733323961494 140733323964367 0
[pid=32651/tid=32669] ppid=32628 vsize=8283048 memory=280271177908464 CPUtime=139.79 cores=0-7
/proc/32651/task/32669/stat : 32669 (java) S 32628 32628 26425 0 -1 1077944384 3 137565 0 0 0 0 13931 48 20 0 22 0 419264314 8481841152 32082 33554432000 4194304 4196468 140733323954912 139722265455328 139724980504277 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22380544 140733323961335 140733323961494 140733323961494 140733323964367 0
[pid=32651/tid=32670] ppid=32628 vsize=8283048 memory=7432 CPUtime=139.79 cores=0-7
/proc/32651/task/32670/stat : 32670 (java) S 32628 32628 26425 0 -1 1077944384 3 137565 0 0 0 0 13931 48 20 0 22 0 419264314 8481841152 32082 33554432000 4194304 4196468 140733323954912 139724202138544 139724980505218 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 49 0 0 6293624 6294260 22380544 140733323961335 140733323961494 140733323961494 140733323964367 0
[pid=32651/tid=32672] ppid=32628 vsize=8283048 memory=860 CPUtime=139.79 cores=0-7
/proc/32651/task/32672/stat : 32672 (java) S 32628 32628 26425 0 -1 1077944384 24 137565 0 0 0 0 13931 48 20 0 22 0 419264379 8481841152 32082 33554432000 4194304 4196468 140733323954912 139724278973328 139724980505218 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22380544 140733323961335 140733323961494 140733323961494 140733323964367 0
[pid=32651/tid=32676] ppid=32628 vsize=8283048 memory=1224 CPUtime=139.79 cores=0-7
/proc/32651/task/32676/stat : 32676 (java) S 32628 32628 26425 0 -1 1077944384 10 137565 0 0 0 0 13931 48 20 0 22 0 419264381 8481841152 32082 33554432000 4194304 4196468 140733323954912 139721325929392 139724980505218 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22380544 140733323961335 140733323961494 140733323961494 140733323964367 0
Current children cumulated CPU time: 146.97 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 129800 KiB

Child status: 0
Real time (s): 21.6499
CPU time (s): 147.096
CPU user time (s): 146.228
CPU system time (s): 0.867542
CPU usage (%): 679.429
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 1037688

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 146.228
system time used= 0.867542
maximum resident set size= 1036744
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 188430
page faults= 0
swaps= 0
block input operations= 0
block output operations= 9064
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 16612
involuntary context switches= 1584


# summary of solver processes directly reported to runsolver:
#   pid: 32628
#   total CPU time (s): 147.096
#   total CPU user time (s): 146.228
#   total CPU system time (s): 0.867542

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.225969 second user time and 0.327119 second system time

The end

Launcher Data 

Begin job on node150 at 2019-09-14 04:57:55
IDJOB=4392636
IDBENCH=127865
IDSOLVER=2839
FILE ID=node150/4392636-1568429914
RUNJOBID= node150-1568416728-26452
PBS_JOBID= 21702251
Free space on /tmp= 59360 MiB

SOLVER NAME= Fun-sCOP hybrid+ManyGlucose (2019-06-15)
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 /tmp/evaluation-result-4392636-1568429914/watcher-4392636-1568429914 -o /tmp/evaluation-result-4392636-1568429914/solver-4392636-1568429914 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node150-1568416728-26452 --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-4392636-1568429914.xml

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

MD5SUM BENCH= 273a3a450a7af16ef80dfed9e1af494c
RANDOM SEED=612736271

node150.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.79
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.79
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.79
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.79
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:        27076024 kB
MemAvailable:   31829684 kB
Buffers:          206048 kB
Cached:          4757932 kB
SwapCached:        13672 kB
Active:          1137512 kB
Inactive:        3875428 kB
Active(anon):      12312 kB
Inactive(anon):    61656 kB
Active(file):    1125200 kB
Inactive(file):  3813772 kB
Unevictable:      109232 kB
Mlocked:          109232 kB
SwapTotal:      67108860 kB
SwapFree:       67021676 kB
Dirty:             20536 kB
Writeback:             0 kB
AnonPages:        143344 kB
Mapped:            38992 kB
Shmem:             17008 kB
Slab:             274204 kB
SReclaimable:     243148 kB
SUnreclaim:        31056 kB
KernelStack:        3424 kB
PageTables:         4812 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     498792 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:       99712 kB
DirectMap2M:    33445888 kB

Free space on /tmp at the end= 59340 MiB
End job on node150 at 2019-09-14 04:58:16