Trace number 4392336

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Fun-sCOP order+ManyGlucose (2019-06-15)SAT 156.865 22.7779

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 -order -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-32505-serial-file.bin HOME/instance-4392336-1568429891.xml
0.66/0.54	
0.66/0.54	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
0.66/0.54	
0.66/0.57	c BEGIN-Prog: Sat Sep 14 04:57:32 CEST 2019
0.66/0.57	c PID: 32508
0.66/0.57	c IP: 172.20.3.150
0.66/0.57	c HOST: node150.alineos.net
0.66/0.57	c (0,0) Parsing Begin
1.37/0.90	c (0,0) Parsing End
1.37/0.91	c (0,0) CSP: 48 int (0 aux), 0 bool (0 aux), 51 ctr, max domain size 288
1.37/0.91	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.37/0.91	c (0,0) Constraint Name Generate Begin
1.37/0.91	c (0,0) Ctr:HOME/instance-4392336-1568429891.xml,Le:NoOverlap:Num:Var
1.37/0.91	c (0,0) Constraint Name Generate End
1.37/0.91	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.37/0.91	c (0,0) CSP to CSPinCNF Begin
1.37/1.00	c (0,0) translated 6 (10%) constraints
1.37/1.00	c (0,0) translated 11 (20%) constraints
1.37/1.00	c (0,0) translated 16 (30%) constraints
1.37/1.00	c (0,0) translated 21 (40%) constraints
1.53/1.01	c (0,0) translated 26 (50%) constraints
1.53/1.01	c (0,0) translated 31 (60%) constraints
1.53/1.01	c (0,0) translated 36 (70%) constraints
1.53/1.02	c (0,0) translated 41 (80%) constraints
1.53/1.02	c (0,0) translated 46 (90%) constraints
2.11/1.27	c (0,0) translated 51 (100%) constraints
2.11/1.27	c (0,0) ===========================================
2.11/1.27	c (0,0) Order
2.11/1.27	c (0,0) ===========================================
2.11/1.28	c (0,0) translated 33 (10%) constraints
2.11/1.29	c (0,0) translated 66 (20%) constraints
2.11/1.29	c (0,0) translated 98 (30%) constraints
2.11/1.30	c (0,0) translated 131 (40%) constraints
2.43/1.30	c (0,0) translated 163 (50%) constraints
2.43/1.31	c (0,0) translated 196 (60%) constraints
2.43/1.31	c (0,0) translated 229 (70%) constraints
2.43/1.31	c (0,0) translated 261 (80%) constraints
2.43/1.32	c (0,0) translated 294 (90%) constraints
2.43/1.32	c (0,0) translated 326 (100%) constraints
2.43/1.33	c (0,0) CSP to CSPinCNF End
2.43/1.33	c (0,0) CSP: 48 int (0 aux), 0 bool (0 aux), 326 ctr, max domain size 287
2.43/1.33	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 23 MiB used (max 0 MiB)
2.43/1.33	c (0,0) CSPinCNF Propagation Begin
2.43/1.36	c (0,0) 0 values, 10 unsatisfiable literals, and 49 valid clauses are removed
2.43/1.36	c (0,0) CSPinCNF Propagation End
2.43/1.36	c (0,0) CSP: 48 int (0 aux), 0 bool (0 aux), 277 ctr, max domain size 287
2.43/1.36	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 23 MiB used (max 0 MiB)
2.43/1.36	c (0,0) Simplify CSPinCNF Begin
2.78/1.45	c (0,0) Simplify CSPinCNF End
2.78/1.46	c (0,0) CSP: 48 int (0 aux), 1094 bool (1094 aux), 1371 ctr, max domain size 287
2.78/1.46	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 24 MiB used (max 0 MiB)
2.78/1.46	c (0,0) Calculate Precise Domain Begin
2.78/1.46	c (0,0) 0 values are removed by re-calculation
2.78/1.46	c (0,0) Calculate Precise Domain End
2.78/1.46	c (0,0) CSP: 48 int (0 aux), 1094 bool (1094 aux), 1371 ctr, max domain size 287
2.78/1.46	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 24 MiB used (max 0 MiB)
2.78/1.46	c (0,0) CSPinCNF to SatSolver Begin
4.25/1.86	c (1,1) 138 (10 %) CSP clauses are encoded (0 SAT variables, 38094 SAT clauses)
4.67/1.98	c (1,1) 275 (20 %) CSP clauses are encoded (0 SAT variables, 64094 SAT clauses)
4.91/2.07	c (1,1) 412 (30 %) CSP clauses are encoded (0 SAT variables, 88663 SAT clauses)
5.03/2.17	c (1,1) 549 (40 %) CSP clauses are encoded (0 SAT variables, 112258 SAT clauses)
5.12/2.26	c (1,1) 686 (50 %) CSP clauses are encoded (0 SAT variables, 135989 SAT clauses)
5.23/2.34	c (1,1) 823 (60 %) CSP clauses are encoded (0 SAT variables, 158403 SAT clauses)
5.34/2.43	c (1,1) 960 (70 %) CSP clauses are encoded (0 SAT variables, 179871 SAT clauses)
5.45/2.50	c (1,1) 1097 (80 %) CSP clauses are encoded (0 SAT variables, 199686 SAT clauses)
5.45/2.57	c (2,2) 1234 (90 %) CSP clauses are encoded (0 SAT variables, 216911 SAT clauses)
5.56/2.62	c (2,2) 1371 (100 %) CSP clauses are encoded (0 SAT variables, 229298 SAT clauses)
5.56/2.62	c (2,2) CSPinCNF to SatSolver End
5.56/2.62	c (2,2) Heap : 1126 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB)
5.56/2.62	c (2,2) 12648 bool, 229362 clause
5.56/2.62	c (2,2) Export Begin
5.75/2.70	c (2,2) Export to HOME/scop-32505-serial-file.bin
5.75/2.70	c (2,2) Export End
5.75/2.70	c (2,2) Export File Size: 0.01 MB
5.75/2.70	c (2,2) 0,0,0,0,0,0,2,STOP-AFTER(DIMACS)
5.75/2.70	c END-Prog: Sat Sep 14 04:57:34 CEST 2019
5.75/2.72	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-32505-serial-file.bin
6.28/3.17	c (0,0) Read Serial File Begin
6.28/3.17	c (0,0) HOME/scop-32505-serial-file.bin
6.53/3.37	c (0,0) Read Serial File End
6.53/3.38	
6.53/3.38	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
6.53/3.38	(Solving Process)
6.53/3.38	
6.69/3.40	c BEGIN-Prog: Sat Sep 14 04:57:35 CEST 2019
6.69/3.40	c PID: 32528
6.69/3.40	c IP: 172.20.3.150
6.69/3.40	c HOST: node150.alineos.net
6.69/3.41	c (0,0) SatSolver.solve Begin
6.69/3.41	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4392336-1568429891.xml-scop-32508.cnf
6.69/3.43	c (0,0) c
6.69/3.43	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.69/3.43	c (0,0) c
6.69/3.43	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
6.69/3.43	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
6.69/3.43	c (0,0) c ========================================[ Problem Statistics ]===========================================
6.69/3.43	c (0,0) c |                                                                                                       |
6.88/3.51	c (0,0) c |  Number of variables:         12648                                                                   |
6.88/3.51	c (0,0) c |  Number of clauses:          229362                                                                   |
6.88/3.51	c (0,0) c |  Parse time:                   0.07 s                                                                 |
6.88/3.51	c (0,0) c |                                                                                                       |
6.88/3.75	c (0,0) c |  Simplification time:          0.23 s                                                                 |
6.88/3.75	c (0,0) c |                                                                                                       |
6.88/3.75	c (0,0) c |  Generating clones                                                                                    |
6.88/3.82	c (0,0) c |  all clones generated. Memory =   152.94Mb.                                                           |
6.88/3.82	c (0,0) c ========================================================================================================|
6.88/3.82	c (0,0) c
6.88/3.82	c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
6.88/3.82	c (0,0) c
6.88/3.82	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
6.88/3.82	c (0,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
6.88/3.82	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
6.88/3.82	c (0,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
6.88/3.82	c (0,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
6.88/3.82	c (0,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
6.88/3.82	c (0,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
6.88/3.82	c (0,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
6.88/3.82	c (0,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
6.88/3.82	c (0,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
6.88/3.82	c (0,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
6.88/3.82	c (0,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
6.88/3.82	c (0,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
6.88/3.82	c (0,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
6.88/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.88/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.88/3.82	c (0,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
6.88/3.82	c (0,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
6.88/3.82	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
156.42/22.60	c (19,0) c
156.42/22.60	c (19,0) c real time : 19.1689 s
156.42/22.60	c (19,0) c cpu time  : 149.041 s
156.42/22.60	c (19,0) c
156.42/22.60	c (19,0) c
156.42/22.60	c (19,0) c
156.42/22.60	c (19,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
156.42/22.60	c (19,0) c
156.42/22.60	c (19,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
156.42/22.60	c (19,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
156.42/22.60	c (19,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
156.42/22.60	c (19,0) c | Conflicts     |          524600 |      64511 |      63749 |      66343 |      68524 |      66516 |      67203 |      65798 |      61956 |
156.42/22.60	c (19,0) c | Decisions     |         1029506 |     125109 |     126668 |     133099 |     135081 |     129308 |     128154 |     129200 |     122887 |
156.42/22.60	c (19,0) c | Propagations  |       259194707 |   31574121 |   30768867 |   33098933 |   33507901 |   33071497 |   33544623 |   32841756 |   30787009 |
156.42/22.60	c (19,0) c | ReduceDBs     |              48 |          6 |          6 |          6 |          6 |          6 |          6 |          6 |          6 |
156.42/22.60	c (19,0) c | SimpDBs       |              32 |          4 |          4 |          4 |          4 |          4 |          4 |          4 |          4 |
156.42/22.60	c (19,0) c | Restarts      |            2164 |        258 |        248 |        293 |        301 |        263 |        237 |        266 |        298 |
156.42/22.60	c (19,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
156.42/22.60	c (19,0) c | PropBinClauses|       312964975 |   37934635 |   37442848 |   39920306 |   40311735 |   39767304 |   40615097 |   39580120 |   37392930 |
156.42/22.60	c (19,0) c | PropPreBlocker|      3512764981 |  427593713 |  414800479 |  445467883 |  460396842 |  448028745 |  458886641 |  445279466 |  412311212 |
156.42/22.60	c (19,0) c | PropNotBlocker|      1182867663 |  142790871 |  138893096 |  150038641 |  152514527 |  150702411 |  155157738 |  151870977 |  140899402 |
156.42/22.60	c (19,0) c | LitFullScans  |      6886829661 |  839021559 |  809037184 |  870653223 |  902464680 |  879182784 |  899280721 |  876087308 |  811102202 |
156.42/22.60	c (19,0) c | LitScanFracts |          384124 |      37496 |      44550 |      34154 |      52975 |      67350 |      58227 |      45081 |      44291 |
156.42/22.60	c (19,0) c | DecisionLevel0|            2170 |        258 |        249 |        294 |        303 |        263 |        238 |        266 |        299 |
156.42/22.60	c (19,0) c | Periods       |            1144 |        139 |        134 |        145 |        150 |        146 |        149 |        146 |        135 |
156.42/22.60	c (19,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
156.42/22.60	c (19,0) c | Avg_Trail     |                 |       4882 |       4895 |       4925 |       4865 |       4897 |       4816 |       4865 |       4888 |
156.42/22.60	c (19,0) c | Avg_DL        |                 |         21 |         22 |         22 |         21 |         20 |         20 |         21 |         22 |
156.42/22.60	c (19,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
156.42/22.60	c (19,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
156.42/22.60	c (19,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
156.42/22.60	c (19,0) c | Exported      |           81966 |      10339 |      10194 |      10294 |      10292 |      10805 |      11065 |       9673 |       9304 |
156.42/22.60	c (19,0) c | Imported      |          521116 |      63989 |      62078 |      65898 |      67663 |      64703 |      66849 |      66737 |      63199 |
156.42/22.60	c (19,0) c | Good          |             460 |         53 |         55 |         58 |         57 |         61 |         62 |         57 |         57 |
156.42/22.60	c (19,0) c | Purge         |          520656 |      63936 |      62023 |      65840 |      67606 |      64642 |      66787 |      66680 |      63142 |
156.42/22.60	c (19,0) c | Promoted      |           63803 |       7814 |       7567 |       8126 |       8433 |       8128 |       8224 |       8321 |       7190 |
156.42/22.60	c (19,0) c | Remove_Imp    |          212211 |      26293 |      25578 |      26864 |      26501 |      26950 |      26641 |      26974 |      26410 |
156.42/22.60	c (19,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
156.42/22.60	c (19,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
156.42/22.60	c (19,0) c | Unaries       |                 |          0 |          1 |          1 |          2 |          0 |          1 |          0 |          1 |
156.42/22.60	c (19,0) c | Binaries      |                 |         13 |          8 |         11 |         13 |          7 |          7 |         10 |          7 |
156.42/22.60	c (19,0) c | Glues         |                 |        216 |        184 |        175 |        202 |        194 |        183 |        184 |        181 |
156.42/22.60	c (19,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
156.42/22.60	c (19,0) c | Orig_Seen     |            21 % |      46614 |      49778 |      49828 |      47513 |      49705 |      44571 |      49371 |      46862 |
156.42/22.60	c (19,0) c | Diff Orig seen|                 | -     3164 |      X     |         50 | -     2265 | -       73 | -     5207 | -      407 | -     2916 |
156.42/22.60	c (19,0) c | Hamming       |            28 % |       4779 |      X     |       3999 |       4113 |       3405 |       4141 |       2179 |       2458 |
156.42/22.60	c (19,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
156.42/22.60	c (19,0) c | RunningTime   |                 |   18.7 100%|   18.7 100%|   18.7 100%|   18.5 100%|   18.7 100%|   18.7 100%|   18.7 100%|   18.7 100%|
156.42/22.60	c (19,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%|
156.42/22.60	c (19,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%|
156.42/22.60	c (19,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%|
156.42/22.60	c (19,0) c | SolvingTime   |                 |   18.8     |   18.7     |   18.7     |   18.5     |   18.8     |   18.7     |   18.8     |   18.7     |
156.42/22.60	c (19,0) c | PropagationTim|                 |   15.6  83%|   15.7  84%|   15.1  81%|   15.2  82%|   15.0  80%|   15.4  82%|   15.5  82%|   15.3  82%|
156.42/22.60	c (19,0) c | AnalysisTime  |                 |    2.5  13%|    2.3  12%|    2.9  15%|    2.6  14%|    3.0  16%|    2.6  14%|    2.6  14%|    2.7  14%|
156.42/22.60	c (19,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%|
156.42/22.60	c (19,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%|
156.42/22.60	c (19,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%|
156.42/22.60	c (19,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%|
156.42/22.60	c (19,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
156.42/22.60	c (19,0) c
156.42/22.60	c (19,0) c
156.42/22.60	c (19,0) c Threads : 8
156.42/22.60	c (19,0) c Winner : 1
156.42/22.60	c (19,0) c Conflicts_0 : 64511
156.42/22.60	c (19,0) c Conflicts_1 : 63749
156.42/22.60	c (19,0) c Conflicts_2 : 66343
156.42/22.60	c (19,0) c Conflicts_3 : 68524
156.42/22.60	c (19,0) c Conflicts_4 : 66516
156.42/22.60	c (19,0) c Conflicts_5 : 67203
156.42/22.60	c (19,0) c Conflicts_6 : 65798
156.42/22.60	c (19,0) c Conflicts_7 : 61956
156.42/22.60	c (19,0) c Conflicts_total : 524600
156.42/22.60	c (19,0) c Conflicts_winner : 63749
156.42/22.60	c (19,0) c Decisions_0 : 125109
156.42/22.60	c (19,0) c Decisions_1 : 126668
156.42/22.60	c (19,0) c Decisions_2 : 133099
156.42/22.60	c (19,0) c Decisions_3 : 135081
156.42/22.60	c (19,0) c Decisions_4 : 129308
156.42/22.60	c (19,0) c Decisions_5 : 128154
156.42/22.60	c (19,0) c Decisions_6 : 129200
156.42/22.60	c (19,0) c Decisions_7 : 122887
156.42/22.60	c (19,0) c Decisions_total : 1029506
156.42/22.60	c (19,0) c Decisions_winner : 126668
156.42/22.60	c (19,0) c Propagations_0 : 31574121
156.42/22.60	c (19,0) c Propagations_1 : 30768867
156.42/22.60	c (19,0) c Propagations_2 : 33098933
156.42/22.60	c (19,0) c Propagations_3 : 33507901
156.42/22.60	c (19,0) c Propagations_4 : 33071497
156.42/22.60	c (19,0) c Propagations_5 : 33544623
156.42/22.60	c (19,0) c Propagations_6 : 32841756
156.42/22.60	c (19,0) c Propagations_7 : 30787009
156.42/22.60	c (19,0) c Propagations_total : 259194707
156.42/22.60	c (19,0) c Propagations_winner : 30768867
156.42/22.60	c (19,0) c ReduceDBs_0 : 6
156.42/22.60	c (19,0) c ReduceDBs_1 : 6
156.42/22.60	c (19,0) c ReduceDBs_2 : 6
156.42/22.60	c (19,0) c ReduceDBs_3 : 6
156.42/22.60	c (19,0) c ReduceDBs_4 : 6
156.42/22.60	c (19,0) c ReduceDBs_5 : 6
156.42/22.60	c (19,0) c ReduceDBs_6 : 6
156.42/22.60	c (19,0) c ReduceDBs_7 : 6
156.42/22.60	c (19,0) c ReduceDBs_total : 48
156.42/22.60	c (19,0) c ReduceDBs_winner : 6
156.42/22.60	c (19,0) c SimpDBs_0 : 4
156.42/22.60	c (19,0) c SimpDBs_1 : 4
156.42/22.60	c (19,0) c SimpDBs_2 : 4
156.42/22.60	c (19,0) c SimpDBs_3 : 4
156.42/22.60	c (19,0) c SimpDBs_4 : 4
156.42/22.60	c (19,0) c SimpDBs_5 : 4
156.42/22.60	c (19,0) c SimpDBs_6 : 4
156.42/22.60	c (19,0) c SimpDBs_7 : 4
156.42/22.60	c (19,0) c SimpDBs_total : 32
156.42/22.60	c (19,0) c SimpDBs_winner : 4
156.42/22.61	c (19,0) c Restarts_0 : 258
156.42/22.61	c (19,0) c Restarts_1 : 248
156.42/22.61	c (19,0) c Restarts_2 : 293
156.42/22.61	c (19,0) c Restarts_3 : 301
156.42/22.61	c (19,0) c Restarts_4 : 263
156.42/22.61	c (19,0) c Restarts_5 : 237
156.42/22.61	c (19,0) c Restarts_6 : 266
156.42/22.61	c (19,0) c Restarts_7 : 298
156.42/22.61	c (19,0) c Restarts_total : 2164
156.42/22.61	c (19,0) c Restarts_winner : 248
156.42/22.61	c (19,0) c ForcedImports_0 : 0
156.42/22.61	c (19,0) c ForcedImports_1 : 0
156.42/22.61	c (19,0) c ForcedImports_2 : 0
156.42/22.61	c (19,0) c ForcedImports_3 : 0
156.42/22.61	c (19,0) c ForcedImports_4 : 0
156.42/22.61	c (19,0) c ForcedImports_5 : 0
156.42/22.61	c (19,0) c ForcedImports_6 : 0
156.42/22.61	c (19,0) c ForcedImports_7 : 0
156.42/22.61	c (19,0) c ForcedImports_total : 0
156.42/22.61	c (19,0) c ForcedImports_winner : 0
156.42/22.61	c (19,0) c PropsBinClauses_0 : 37934635
156.42/22.61	c (19,0) c PropsBinClauses_1 : 37442848
156.42/22.61	c (19,0) c PropsBinClauses_2 : 39920306
156.42/22.61	c (19,0) c PropsBinClauses_3 : 40311735
156.42/22.61	c (19,0) c PropsBinClauses_4 : 39767304
156.42/22.61	c (19,0) c PropsBinClauses_5 : 40615097
156.42/22.61	c (19,0) c PropsBinClauses_6 : 39580120
156.42/22.61	c (19,0) c PropsBinClauses_7 : 37392930
156.42/22.61	c (19,0) c PropsBinClauses_total : 312964975
156.42/22.61	c (19,0) c PropsBinClauses_winner : 37442848
156.42/22.61	c (19,0) c PropsPreBlocker_0 : 427593713
156.42/22.61	c (19,0) c PropsPreBlocker_1 : 414800479
156.42/22.61	c (19,0) c PropsPreBlocker_2 : 445467883
156.42/22.61	c (19,0) c PropsPreBlocker_3 : 460396842
156.42/22.61	c (19,0) c PropsPreBlocker_4 : 448028745
156.42/22.61	c (19,0) c PropsPreBlocker_5 : 458886641
156.42/22.61	c (19,0) c PropsPreBlocker_6 : 445279466
156.42/22.61	c (19,0) c PropsPreBlocker_7 : 412311212
156.42/22.61	c (19,0) c PropsPreBlocker_total : 3512764981
156.42/22.61	c (19,0) c PropsPreBlocker_winner : 414800479
156.42/22.61	c (19,0) c PropsNotBlocker_0 : 142790871
156.42/22.61	c (19,0) c PropsNotBlocker_1 : 138893096
156.42/22.61	c (19,0) c PropsNotBlocker_2 : 150038641
156.42/22.61	c (19,0) c PropsNotBlocker_3 : 152514527
156.42/22.61	c (19,0) c PropsNotBlocker_4 : 150702411
156.42/22.61	c (19,0) c PropsNotBlocker_5 : 155157738
156.42/22.61	c (19,0) c PropsNotBlocker_6 : 151870977
156.42/22.61	c (19,0) c PropsNotBlocker_7 : 140899402
156.42/22.61	c (19,0) c PropsNotBlocker_total : 1182867663
156.42/22.61	c (19,0) c PropsNotBlocker_winner : 138893096
156.42/22.61	c (19,0) c PropsLitFullScans_0 : 839021559
156.42/22.61	c (19,0) c PropsLitFullScans_1 : 809037184
156.42/22.61	c (19,0) c PropsLitFullScans_2 : 870653223
156.42/22.61	c (19,0) c PropsLitFullScans_3 : 902464680
156.42/22.61	c (19,0) c PropsLitFullScans_4 : 879182784
156.42/22.61	c (19,0) c PropsLitFullScans_5 : 899280721
156.42/22.61	c (19,0) c PropsLitFullScans_6 : 876087308
156.42/22.61	c (19,0) c PropsLitFullScans_7 : 811102202
156.42/22.61	c (19,0) c PropsLitFullScans_total : 6886829661
156.42/22.61	c (19,0) c PropsLitFullScans_winner : 809037184
156.42/22.61	c (19,0) c LitScanFractions_0 : 37496
156.42/22.61	c (19,0) c LitScanFractions_1 : 44550
156.42/22.61	c (19,0) c LitScanFractions_2 : 34154
156.42/22.61	c (19,0) c LitScanFractions_3 : 52975
156.42/22.61	c (19,0) c LitScanFractions_4 : 67350
156.42/22.61	c (19,0) c LitScanFractions_5 : 58227
156.42/22.61	c (19,0) c LitScanFractions_6 : 45081
156.42/22.61	c (19,0) c LitScanFractions_7 : 44291
156.42/22.61	c (19,0) c LitScanFractions_total : 384124
156.42/22.61	c (19,0) c LitScanFractions_winner : 44550
156.42/22.61	c (19,0) c DecisionLevel0_0 : 258
156.42/22.61	c (19,0) c DecisionLevel0_1 : 249
156.42/22.61	c (19,0) c DecisionLevel0_2 : 294
156.42/22.61	c (19,0) c DecisionLevel0_3 : 303
156.42/22.61	c (19,0) c DecisionLevel0_4 : 263
156.42/22.61	c (19,0) c DecisionLevel0_5 : 238
156.42/22.61	c (19,0) c DecisionLevel0_6 : 266
156.42/22.61	c (19,0) c DecisionLevel0_7 : 299
156.42/22.61	c (19,0) c DecisionLevel0_total : 2170
156.42/22.61	c (19,0) c DecisionLevel0_winner : 249
156.42/22.61	c (19,0) c Periods_0 : 139
156.42/22.61	c (19,0) c Periods_1 : 134
156.42/22.61	c (19,0) c Periods_2 : 145
156.42/22.61	c (19,0) c Periods_3 : 150
156.42/22.61	c (19,0) c Periods_4 : 146
156.42/22.61	c (19,0) c Periods_5 : 149
156.42/22.61	c (19,0) c Periods_6 : 146
156.42/22.61	c (19,0) c Periods_7 : 135
156.42/22.61	c (19,0) c Periods_total : 1144
156.42/22.61	c (19,0) c Periods_winner : 134
156.42/22.61	c (19,0) c Margin_0 : 20
156.42/22.61	c (19,0) c Margin_1 : 20
156.42/22.61	c (19,0) c Margin_2 : 20
156.42/22.61	c (19,0) c Margin_3 : 20
156.42/22.61	c (19,0) c Margin_4 : 20
156.42/22.61	c (19,0) c Margin_5 : 20
156.42/22.61	c (19,0) c Margin_6 : 20
156.42/22.61	c (19,0) c Margin_7 : 20
156.42/22.61	c (19,0) c Margin_total : 160
156.42/22.61	c (19,0) c Margin_winner : 20
156.42/22.61	c (19,0) c Exported_0 : 10339
156.42/22.61	c (19,0) c Exported_1 : 10194
156.42/22.61	c (19,0) c Exported_2 : 10294
156.42/22.61	c (19,0) c Exported_3 : 10292
156.42/22.61	c (19,0) c Exported_4 : 10805
156.42/22.61	c (19,0) c Exported_5 : 11065
156.42/22.61	c (19,0) c Exported_6 : 9673
156.42/22.61	c (19,0) c Exported_7 : 9304
156.42/22.61	c (19,0) c Exported_total : 81966
156.42/22.61	c (19,0) c Exported_winner : 10194
156.42/22.61	c (19,0) c Imported_0 : 63989
156.42/22.61	c (19,0) c Imported_1 : 62078
156.42/22.61	c (19,0) c Imported_2 : 65898
156.42/22.61	c (19,0) c Imported_3 : 67663
156.42/22.61	c (19,0) c Imported_4 : 64703
156.42/22.61	c (19,0) c Imported_5 : 66849
156.42/22.61	c (19,0) c Imported_6 : 66737
156.42/22.61	c (19,0) c Imported_7 : 63199
156.42/22.61	c (19,0) c Imported_total : 521116
156.42/22.61	c (19,0) c Imported_winner : 62078
156.42/22.61	c (19,0) c Good_0 : 53
156.42/22.61	c (19,0) c Good_1 : 55
156.42/22.61	c (19,0) c Good_2 : 58
156.42/22.61	c (19,0) c Good_3 : 57
156.42/22.61	c (19,0) c Good_4 : 61
156.42/22.61	c (19,0) c Good_5 : 62
156.42/22.61	c (19,0) c Good_6 : 57
156.42/22.61	c (19,0) c Good_7 : 57
156.42/22.61	c (19,0) c Good_total : 460
156.42/22.61	c (19,0) c Good_winner : 55
156.42/22.61	c (19,0) c Purge_0 : 63936
156.42/22.61	c (19,0) c Purge_1 : 62023
156.42/22.61	c (19,0) c Purge_2 : 65840
156.42/22.61	c (19,0) c Purge_3 : 67606
156.42/22.61	c (19,0) c Purge_4 : 64642
156.42/22.61	c (19,0) c Purge_5 : 66787
156.42/22.61	c (19,0) c Purge_6 : 66680
156.42/22.61	c (19,0) c Purge_7 : 63142
156.42/22.61	c (19,0) c Purge_total : 520656
156.42/22.61	c (19,0) c Purge_winner : 62023
156.42/22.61	c (19,0) c Promoted_0 : 7814
156.42/22.61	c (19,0) c Promoted_1 : 7567
156.42/22.61	c (19,0) c Promoted_2 : 8126
156.42/22.61	c (19,0) c Promoted_3 : 8433
156.42/22.61	c (19,0) c Promoted_4 : 8128
156.42/22.61	c (19,0) c Promoted_5 : 8224
156.42/22.61	c (19,0) c Promoted_6 : 8321
156.42/22.61	c (19,0) c Promoted_7 : 7190
156.42/22.61	c (19,0) c Promoted_total : 63803
156.42/22.61	c (19,0) c Promoted_winner : 7567
156.42/22.61	c (19,0) c Remove_Imp_0 : 26293
156.42/22.61	c (19,0) c Remove_Imp_1 : 25578
156.42/22.61	c (19,0) c Remove_Imp_2 : 26864
156.42/22.61	c (19,0) c Remove_Imp_3 : 26501
156.42/22.61	c (19,0) c Remove_Imp_4 : 26950
156.42/22.61	c (19,0) c Remove_Imp_5 : 26641
156.42/22.61	c (19,0) c Remove_Imp_6 : 26974
156.42/22.61	c (19,0) c Remove_Imp_7 : 26410
156.42/22.61	c (19,0) c Remove_Imp_total : 212211
156.42/22.61	c (19,0) c Remove_Imp_winner : 25578
156.42/22.61	c (19,0) c Blocked_Reuse_0 : 0
156.42/22.61	c (19,0) c Blocked_Reuse_1 : 0
156.42/22.61	c (19,0) c Blocked_Reuse_2 : 0
156.42/22.61	c (19,0) c Blocked_Reuse_3 : 0
156.42/22.61	c (19,0) c Blocked_Reuse_4 : 0
156.42/22.61	c (19,0) c Blocked_Reuse_5 : 0
156.42/22.61	c (19,0) c Blocked_Reuse_6 : 0
156.42/22.61	c (19,0) c Blocked_Reuse_7 : 0
156.42/22.61	c (19,0) c Blocked_Reuse_total : 0
156.42/22.61	c (19,0) c Blocked_Reuse_winner : 0
156.42/22.61	c (19,0) c Unaries_0 : 0
156.42/22.61	c (19,0) c Unaries_1 : 1
156.42/22.61	c (19,0) c Unaries_2 : 1
156.42/22.61	c (19,0) c Unaries_3 : 2
156.42/22.61	c (19,0) c Unaries_4 : 0
156.42/22.61	c (19,0) c Unaries_5 : 1
156.42/22.61	c (19,0) c Unaries_6 : 0
156.42/22.61	c (19,0) c Unaries_7 : 1
156.42/22.61	c (19,0) c Unaries_total : 6
156.42/22.61	c (19,0) c Unaries_winner : 1
156.42/22.61	c (19,0) c Binaries_0 : 13
156.42/22.61	c (19,0) c Binaries_1 : 8
156.42/22.61	c (19,0) c Binaries_2 : 11
156.42/22.61	c (19,0) c Binaries_3 : 13
156.42/22.61	c (19,0) c Binaries_4 : 7
156.42/22.61	c (19,0) c Binaries_5 : 7
156.42/22.61	c (19,0) c Binaries_6 : 10
156.42/22.61	c (19,0) c Binaries_7 : 7
156.42/22.61	c (19,0) c Binaries_total : 76
156.42/22.61	c (19,0) c Binaries_winner : 8
156.42/22.61	c (19,0) c Glues_0 : 216
156.42/22.61	c (19,0) c Glues_1 : 184
156.42/22.61	c (19,0) c Glues_2 : 175
156.42/22.61	c (19,0) c Glues_3 : 202
156.42/22.61	c (19,0) c Glues_4 : 194
156.42/22.61	c (19,0) c Glues_5 : 183
156.42/22.61	c (19,0) c Glues_6 : 184
156.42/22.61	c (19,0) c Glues_7 : 181
156.42/22.61	c (19,0) c Glues_total : 1519
156.42/22.61	c (19,0) c Glues_winner : 184
156.42/22.61	c (19,0) c RunningTime_0 : 18.724943
156.42/22.61	c (19,0) c RunningTime_1 : 18.690155
156.42/22.61	c (19,0) c RunningTime_2 : 18.699387
156.42/22.61	c (19,0) c RunningTime_3 : 18.491768
156.42/22.61	c (19,0) c RunningTime_4 : 18.742397
156.42/22.61	c (19,0) c RunningTime_5 : 18.717286
156.42/22.61	c (19,0) c RunningTime_6 : 18.737525
156.42/22.61	c (19,0) c RunningTime_7 : 18.700995
156.42/22.61	c (19,0) c RunningTime_total : 149.504457
156.42/22.61	c (19,0) c RunningTime_winner : 18.690155
156.42/22.61	c (19,0) c WaitingTime_0 : 0.000156
156.42/22.61	c (19,0) c WaitingTime_1 : 0.000138
156.42/22.61	c (19,0) c WaitingTime_2 : 0.000182
156.42/22.61	c (19,0) c WaitingTime_3 : 0.000229
156.42/22.61	c (19,0) c WaitingTime_4 : 0.000189
156.42/22.61	c (19,0) c WaitingTime_5 : 0.000197
156.42/22.61	c (19,0) c WaitingTime_6 : 0.000260
156.42/22.61	c (19,0) c WaitingTime_7 : 0.000177
156.42/22.61	c (19,0) c WaitingTime_total : 0.001528
156.42/22.61	c (19,0) c WaitingTime_winner : 0.000138
156.42/22.61	c (19,0) c ExchangingTime_0 : 0.025584
156.42/22.61	c (19,0) c ExchangingTime_1 : 0.026505
156.42/22.61	c (19,0) c ExchangingTime_2 : 0.033521
156.42/22.61	c (19,0) c ExchangingTime_3 : 0.029264
156.42/22.61	c (19,0) c ExchangingTime_4 : 0.026414
156.42/22.61	c (19,0) c ExchangingTime_5 : 0.026558
156.42/22.61	c (19,0) c ExchangingTime_6 : 0.027135
156.42/22.61	c (19,0) c ExchangingTime_7 : 0.026082
156.42/22.61	c (19,0) c ExchangingTime_total : 0.221064
156.42/22.61	c (19,0) c ExchangingTime_winner : 0.026505
156.42/22.61	c (19,0) c PeriodProcTime_0 : 0.001114
156.42/22.61	c (19,0) c PeriodProcTime_1 : 0.001450
156.42/22.61	c (19,0) c PeriodProcTime_2 : 0.001100
156.42/22.61	c (19,0) c PeriodProcTime_3 : 0.001503
156.42/22.61	c (19,0) c PeriodProcTime_4 : 0.001232
156.42/22.61	c (19,0) c PeriodProcTime_5 : 0.001538
156.42/22.61	c (19,0) c PeriodProcTime_6 : 0.001247
156.42/22.61	c (19,0) c PeriodProcTime_7 : 0.001658
156.42/22.61	c (19,0) c PeriodProcTime_total : 0.010842
156.42/22.61	c (19,0) c PeriodProcTime_winner : 0.001450
156.42/22.61	c (19,0) c SolvingTime_0 : 18.751797
156.42/22.61	c (19,0) c SolvingTime_1 : 18.718248
156.42/22.61	c (19,0) c SolvingTime_2 : 18.734190
156.42/22.61	c (19,0) c SolvingTime_3 : 18.522764
156.42/22.61	c (19,0) c SolvingTime_4 : 18.770232
156.42/22.61	c (19,0) c SolvingTime_5 : 18.745579
156.42/22.61	c (19,0) c SolvingTime_6 : 18.766167
156.42/22.61	c (19,0) c SolvingTime_7 : 18.728912
156.42/22.61	c (19,0) c SolvingTime_total : 149.737890
156.42/22.61	c (19,0) c SolvingTime_winner : 18.718248
156.42/22.61	c (19,0) c PropagationTime_0 : 15.558044
156.42/22.61	c (19,0) c PropagationTime_1 : 15.693243
156.42/22.61	c (19,0) c PropagationTime_2 : 15.134728
156.42/22.61	c (19,0) c PropagationTime_3 : 15.152120
156.42/22.61	c (19,0) c PropagationTime_4 : 15.020136
156.42/22.61	c (19,0) c PropagationTime_5 : 15.419777
156.42/22.61	c (19,0) c PropagationTime_6 : 15.453734
156.42/22.61	c (19,0) c PropagationTime_7 : 15.330835
156.42/22.61	c (19,0) c PropagationTime_total : 122.762617
156.42/22.61	c (19,0) c PropagationTime_winner : 15.693243
156.42/22.61	c (19,0) c AnalysisTime_0 : 2.472286
156.42/22.61	c (19,0) c AnalysisTime_1 : 2.308402
156.42/22.61	c (19,0) c AnalysisTime_2 : 2.862725
156.42/22.61	c (19,0) c AnalysisTime_3 : 2.627069
156.42/22.61	c (19,0) c AnalysisTime_4 : 3.033054
156.42/22.61	c (19,0) c AnalysisTime_5 : 2.602668
156.42/22.61	c (19,0) c AnalysisTime_6 : 2.592297
156.42/22.61	c (19,0) c AnalysisTime_7 : 2.683943
156.42/22.61	c (19,0) c AnalysisTime_total : 21.182443
156.42/22.61	c (19,0) c AnalysisTime_winner : 2.308402
156.42/22.61	c (19,0) c ReductionTime_0 : 0.140359
156.42/22.61	c (19,0) c ReductionTime_1 : 0.137584
156.42/22.61	c (19,0) c ReductionTime_2 : 0.133025
156.42/22.61	c (19,0) c ReductionTime_3 : 0.124827
156.42/22.61	c (19,0) c ReductionTime_4 : 0.133095
156.42/22.61	c (19,0) c ReductionTime_5 : 0.124478
156.42/22.61	c (19,0) c ReductionTime_6 : 0.134908
156.42/22.61	c (19,0) c ReductionTime_7 : 0.131711
156.42/22.61	c (19,0) c ReductionTime_total : 1.059986
156.42/22.61	c (19,0) c ReductionTime_winner : 0.137584
156.42/22.61	c (19,0) c SimplifyTime_0 : 0.023517
156.42/22.61	c (19,0) c SimplifyTime_1 : 0.025152
156.42/22.61	c (19,0) c SimplifyTime_2 : 0.023633
156.42/22.61	c (19,0) c SimplifyTime_3 : 0.026461
156.42/22.61	c (19,0) c SimplifyTime_4 : 0.023782
156.42/22.61	c (19,0) c SimplifyTime_5 : 0.027329
156.42/22.61	c (19,0) c SimplifyTime_6 : 0.023612
156.42/22.61	c (19,0) c SimplifyTime_7 : 0.027289
156.42/22.61	c (19,0) c SimplifyTime_total : 0.200776
156.42/22.61	c (19,0) c SimplifyTime_winner : 0.025152
156.42/22.61	c (19,0) c UsedRateTime_0 : 0.000000
156.42/22.61	c (19,0) c UsedRateTime_1 : 0.000000
156.42/22.61	c (19,0) c UsedRateTime_2 : 0.000000
156.42/22.61	c (19,0) c UsedRateTime_3 : 0.000000
156.42/22.61	c (19,0) c UsedRateTime_4 : 0.000000
156.42/22.61	c (19,0) c UsedRateTime_5 : 0.000000
156.42/22.61	c (19,0) c UsedRateTime_6 : 0.000000
156.42/22.61	c (19,0) c UsedRateTime_7 : 0.000000
156.42/22.61	c (19,0) c UsedRateTime_total : 0.000000
156.42/22.61	c (19,0) c UsedRateTime_winner : 0.000000
156.42/22.61	c (19,0) c OverlapRateTime_0 : 0.000000
156.42/22.61	c (19,0) c OverlapRateTime_1 : 0.000000
156.42/22.61	c (19,0) c OverlapRateTime_2 : 0.000000
156.42/22.61	c (19,0) c OverlapRateTime_3 : 0.000000
156.42/22.61	c (19,0) c OverlapRateTime_4 : 0.000000
156.42/22.61	c (19,0) c OverlapRateTime_5 : 0.000000
156.42/22.62	c (19,0) c OverlapRateTime_6 : 0.000000
156.42/22.62	c (19,0) c OverlapRateTime_7 : 0.000000
156.42/22.62	c (19,0) c OverlapRateTime_total : 0.000000
156.42/22.62	c (19,0) c OverlapRateTime_winner : 0.000000
156.42/22.62	c (19,0) c
156.42/22.62	c (19,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
156.42/22.62	c (19,0) c
156.42/22.62	c (19,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
156.42/22.62	c (19,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
156.42/22.62	c (19,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
156.42/22.62	c (19,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
156.42/22.62	c (19,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
156.42/22.62	c (19,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
156.42/22.62	c (19,0) c | Initial random_seed   | 1005086073 |  566292981 |  824270521 | 1137029838 | 1063541960 | 1299043004 |  668231048 |  174869317 |
156.42/22.62	c (19,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
156.42/22.62	c (19,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
156.42/22.62	c (19,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
156.42/22.62	c (19,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
156.42/22.62	c (19,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
156.42/22.62	c (19,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
156.42/22.62	c (19,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
156.42/22.62	c (19,0) c | var_decay             |     0.9200 |     0.9200 |     0.9300 |     0.9300 |     0.9300 |     0.9300 |     0.9300 |     0.9200 |
156.42/22.62	c (19,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
156.42/22.62	c (19,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
156.42/22.62	c (19,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
156.42/22.62	c (19,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
156.42/22.62	c (19,0) 
156.42/22.62	c (19,0) s SATISFIABLE
156.42/22.65	c (19,0) SatSolver.solve End
156.42/22.65	c (19,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
156.42/22.66	c (19,0) Show results Begin
156.69/22.75	c (19,0) x[0] = 182
156.69/22.75	c (19,0) x[1] = 175
156.69/22.75	c (19,0) x[2] = 175
156.69/22.75	c (19,0) x[3] = 210
156.69/22.75	c (19,0) x[4] = 186
156.69/22.75	c (19,0) x[5] = 159
156.69/22.75	c (19,0) x[6] = 198
156.69/22.75	c (19,0) x[7] = 210
156.69/22.75	c (19,0) x[8] = 198
156.69/22.75	c (19,0) x[9] = 159
156.69/22.75	c (19,0) x[10] = 159
156.69/22.75	c (19,0) x[11] = 182
156.69/22.75	c (19,0) x[12] = 184
156.69/22.75	c (19,0) x[13] = 159
156.69/22.75	c (19,0) x[14] = 186
156.69/22.75	c (19,0) x[15] = 159
156.69/22.75	c (19,0) x[16] = 129
156.69/22.75	c (19,0) x[17] = 228
156.69/22.75	c (19,0) x[18] = 220
156.69/22.75	c (19,0) x[19] = 129
156.69/22.75	c (19,0) x[20] = 215
156.69/22.75	c (19,0) x[21] = 201
156.69/22.75	c (19,0) x[22] = 0
156.69/22.75	c (19,0) x[23] = 0
156.69/22.75	c (19,0) y[0] = 129
156.69/22.75	c (19,0) y[1] = 129
156.69/22.75	c (19,0) y[2] = 120
156.69/22.75	c (19,0) y[3] = 131
156.69/22.75	c (19,0) y[4] = 201
156.69/22.75	c (19,0) y[5] = 120
156.69/22.75	c (19,0) y[6] = 56
156.69/22.75	c (19,0) y[7] = 141
156.69/22.75	c (19,0) y[8] = 73
156.69/22.75	c (19,0) y[9] = 136
156.69/22.75	c (19,0) y[10] = 95
156.69/22.75	c (19,0) y[11] = 131
156.69/22.75	c (19,0) y[12] = 95
156.69/22.75	c (19,0) y[13] = 56
156.69/22.75	c (19,0) y[14] = 159
156.69/22.75	c (19,0) y[15] = 0
156.69/22.75	c (19,0) y[16] = 159
156.69/22.75	c (19,0) y[17] = 141
156.69/22.75	c (19,0) y[18] = 73
156.69/22.75	c (19,0) y[19] = 216
156.69/22.75	c (19,0) y[20] = 0
156.69/22.75	c (19,0) y[21] = 201
156.69/22.75	c (19,0) y[22] = 159
156.69/22.75	c (19,0) y[23] = 0
156.69/22.75	s SATISFIABLE
156.69/22.75	v <instantiation>
156.69/22.75	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>
156.69/22.75	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>
156.69/22.75	v </instantiation>
156.69/22.75	c (19,0) Show results End
156.69/22.75	c (19,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB)
156.69/22.75	c (19,0) 19,19,STOP-AFTER(ALL)
156.69/22.75	c END-Prog: Sat Sep 14 04:57:54 CEST 2019

Verifier Data 

OK

Watcher Data 

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (10784 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-4392336-1568429891/watcher-4392336-1568429891 -o /tmp/evaluation-result-4392336-1568429891/solver-4392336-1568429891 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node150-1568416728-26452 --watchdog 2580 HOME/scop.sh 22g HOME/scop.jar -order HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4392336-1568429891.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=32505, runsolver pid=32502

[startup+0.100163 s]*
/proc/loadavg: 7.26 6.79 5.00 3/211 32527
/proc/meminfo: memFree=26982624/32770624 swapFree=67021676/67108860
[pid=32505] ppid=32502 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/32505/stat : 32505 (scop.sh) S 32502 32505 26425 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 419261684 115843072 348 33554432000 4194304 5098028 140722957586176 140722957583432 140440517247612 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 21774336 140722957587237 140722957587564 140722957587564 140722957590477 0
/proc/32505/statm: 28282 348 296 221 0 87 0
[pid=32508] ppid=32505 vsize=27314120 memory=106168 CPUtime=0.1 cores=0-7
/proc/32508/stat : 32508 (java) S 32505 32505 26425 0 -1 1077944320 6657 0 0 0 8 2 0 0 20 0 20 0 419261685 27969658880 26542 33554432000 4194304 4196468 140725137998336 140725137980880 140384768192247 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13955072 140725138002667 140725138003094 140725138003094 140725138005967 0
/proc/32508/statm: 6828530 26542 2776 1 0 6790935 0
[pid=32508/tid=32509] ppid=32505 vsize=27314120 memory=4134930498285298233 CPUtime=0.08 cores=0-7
/proc/32508/task/32509/stat : 32509 (java) R 32505 32505 26425 0 -1 4202560 4728 0 0 0 7 1 0 0 20 0 20 0 419261685 27969658880 26542 33554432000 4194304 4196468 140725137998336 140384740010624 140384752272734 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13955072 140725138002667 140725138003094 140725138003094 140725138005967 0
[pid=32508/tid=32510] ppid=32505 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32508/task/32510/stat : 32510 (java) S 32505 32505 26425 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419261687 27969658880 26542 33554432000 4194304 4196468 140725137998336 140384772434576 140384768202453 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13955072 140725138002667 140725138003094 140725138003094 140725138005967 0
[pid=32508/tid=32511] ppid=32505 vsize=27314120 memory=139901828572800 CPUtime=0 cores=0-7
/proc/32508/task/32511/stat : 32511 (java) S 32505 32505 26425 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419261687 27969658880 26542 33554432000 4194304 4196468 140725137998336 140384586590736 140384768202453 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13955072 140725138002667 140725138003094 140725138003094 140725138005967 0
[pid=32508/tid=32512] ppid=32505 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32508/task/32512/stat : 32512 (java) S 32505 32505 26425 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419261687 27969658880 26542 33554432000 4194304 4196468 140725137998336 140384585537936 140384768202453 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13955072 140725138002667 140725138003094 140725138003094 140725138005967 0
[pid=32508/tid=32513] ppid=32505 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32508/task/32513/stat : 32513 (java) S 32505 32505 26425 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419261687 27969658880 26542 33554432000 4194304 4196468 140725137998336 140384584485136 140384768202453 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13955072 140725138002667 140725138003094 140725138003094 140725138005967 0
[pid=32508/tid=32514] ppid=32505 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32508/task/32514/stat : 32514 (java) S 32505 32505 26425 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419261687 27969658880 26542 33554432000 4194304 4196468 140725137998336 140384583433360 140384768202453 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13955072 140725138002667 140725138003094 140725138003094 140725138005967 0
[pid=32508/tid=32515] ppid=32505 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/32508/task/32515/stat : 32515 (java) S 32505 32505 26425 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419261687 27969658880 26542 33554432000 4194304 4196468 140725137998336 140384582380560 140384768202453 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13955072 140725138002667 140725138003094 140725138003094 140725138005967 0
[pid=32508/tid=32516] ppid=32505 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32508/task/32516/stat : 32516 (java) S 32505 32505 26425 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419261687 27969658880 26542 33554432000 4194304 4196468 140725137998336 140384581327760 140384768202453 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13955072 140725138002667 140725138003094 140725138003094 140725138005967 0
[pid=32508/tid=32517] ppid=32505 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32508/task/32517/stat : 32517 (java) S 32505 32505 26425 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419261687 27969658880 26542 33554432000 4194304 4196468 140725137998336 140384580274960 140384768202453 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13955072 140725138002667 140725138003094 140725138003094 140725138005967 0
[pid=32508/tid=32518] ppid=32505 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32508/task/32518/stat : 32518 (java) S 32505 32505 26425 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419261689 27969658880 26542 33554432000 4194304 4196468 140725137998336 140383289653616 140384768203394 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13955072 140725138002667 140725138003094 140725138003094 140725138005967 0
[pid=32508/tid=32519] ppid=32505 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32508/task/32519/stat : 32519 (java) S 32505 32505 26425 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419261689 27969658880 26542 33554432000 4194304 4196468 140725137998336 140382415348768 140384768202453 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13955072 140725138002667 140725138003094 140725138003094 140725138005967 0
[pid=32508/tid=32520] ppid=32505 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32508/task/32520/stat : 32520 (java) S 32505 32505 26425 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419261690 27969658880 26542 33554432000 4194304 4196468 140725137998336 140382281126768 140384768202453 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13955072 140725138002667 140725138003094 140725138003094 140725138005967 0
[pid=32508/tid=32521] ppid=32505 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32508/task/32521/stat : 32521 (java) S 32505 32505 26425 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419261692 27969658880 26542 33554432000 4194304 4196468 140725137998336 140381906622288 140384768210843 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13955072 140725138002667 140725138003094 140725138003094 140725138005967 0
[pid=32508/tid=32522] ppid=32505 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32508/task/32522/stat : 32522 (java) S 32505 32505 26425 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 20 0 419261692 27969658880 26542 33554432000 4194304 4196468 140725137998336 140383220657008 140384768203394 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13955072 140725138002667 140725138003094 140725138003094 140725138005967 0
[pid=32508/tid=32523] ppid=32505 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32508/task/32523/stat : 32523 (java) S 32505 32505 26425 0 -1 1077944384 274 0 0 0 0 0 0 0 20 0 20 0 419261692 27969658880 26542 33554432000 4194304 4196468 140725137998336 140383219604208 140384768203394 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13955072 140725138002667 140725138003094 140725138003094 140725138005967 0
[pid=32508/tid=32524] ppid=32505 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32508/task/32524/stat : 32524 (java) S 32505 32505 26425 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 419261692 27969658880 26542 33554432000 4194304 4196468 140725137998336 140383218551408 140384768203394 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13955072 140725138002667 140725138003094 140725138003094 140725138005967 0
[pid=32508/tid=32525] ppid=32505 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32508/task/32525/stat : 32525 (java) S 32505 32505 26425 0 -1 1077944384 262 0 0 0 0 0 0 0 20 0 20 0 419261692 27969658880 26542 33554432000 4194304 4196468 140725137998336 140383217498608 140384768203394 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13955072 140725138002667 140725138003094 140725138003094 140725138005967 0
[pid=32508/tid=32526] ppid=32505 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32508/task/32526/stat : 32526 (java) S 32505 32505 26425 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419261692 27969658880 26542 33554432000 4194304 4196468 140725137998336 140381408717408 140384768202453 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13955072 140725138002667 140725138003094 140725138003094 140725138005967 0
[pid=32508/tid=32527] ppid=32505 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/32508/task/32527/stat : 32527 (java) S 32505 32505 26425 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419261692 27969658880 26542 33554432000 4194304 4196468 140725137998336 140383216446000 140384768203394 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13955072 140725138002667 140725138003094 140725138003094 140725138005967 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 107560 KiB

[startup+0.210436 s]*
/proc/loadavg: 7.26 6.79 5.00 2/211 32527
/proc/meminfo: memFree=26962060/32770624 swapFree=67021676/67108860
[pid=32505] ppid=32502 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/32505/stat : 32505 (scop.sh) S 32502 32505 26425 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 419261684 115843072 348 33554432000 4194304 5098028 140722957586176 140722957583432 140440517247612 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 21774336 140722957587237 140722957587564 140722957587564 140722957590477 0
/proc/32505/statm: 28282 348 296 221 0 87 0
[pid=32508] ppid=32505 vsize=27314120 memory=123460 CPUtime=0.24 cores=0-7
/proc/32508/stat : 32508 (java) S 32505 32505 26425 0 -1 1077944320 12262 0 0 0 20 4 0 0 20 0 20 0 419261685 27969658880 30865 33554432000 4194304 4196468 140725137998336 140725137980880 140384768192247 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13955072 140725138002667 140725138003094 140725138003094 140725138005967 0
/proc/32508/statm: 6828530 30865 2924 1 0 6790935 0
[pid=32508/tid=32509] ppid=32505 vsize=27314120 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/32508/task/32509/stat : 32509 (java) R 32505 32505 26425 0 -1 4202560 9941 0 0 0 16 3 0 0 20 0 20 0 419261685 27969658880 30865 33554432000 4194304 4196468 140725137998336 140384740008656 140384749755757 0 4 2 16800973 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 13955072 140725138002667 140725138003094 140725138003094 140725138005967 0
[pid=32508/tid=32510] ppid=32505 vsize=27314120 memory=331 CPUtime=0 cores=0-7
/proc/32508/task/32510/stat : 32510 (java) S 32505 32505 26425 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419261687 27969658880 30865 33554432000 4194304 4196468 140725137998336 140384772434576 140384768202453 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13955072 140725138002667 140725138003094 140725138003094 140725138005967 0
[pid=32508/tid=32511] ppid=32505 vsize=27314120 memory=139901831678132 CPUtime=0 cores=0-7
/proc/32508/task/32511/stat : 32511 (java) S 32505 32505 26425 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419261687 27969658880 30865 33554432000 4194304 4196468 140725137998336 140384586590736 140384768202453 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13955072 140725138002667 140725138003094 140725138003094 140725138005967 0
[pid=32508/tid=32512] ppid=32505 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/32508/task/32512/stat : 32512 (java) S 32505 32505 26425 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419261687 27969658880 30865 33554432000 4194304 4196468 140725137998336 140384585537936 140384768202453 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13955072 140725138002667 140725138003094 140725138003094 140725138005967 0
[pid=32508/tid=32513] ppid=32505 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32508/task/32513/stat : 32513 (java) S 32505 32505 26425 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419261687 27969658880 30865 33554432000 4194304 4196468 140725137998336 140384584485136 140384768202453 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13955072 140725138002667 140725138003094 140725138003094 140725138005967 0
[pid=32508/tid=32514] ppid=32505 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32508/task/32514/stat : 32514 (java) S 32505 32505 26425 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419261687 27969658880 30865 33554432000 4194304 4196468 140725137998336 140384583433360 140384768202453 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13955072 140725138002667 140725138003094 140725138003094 140725138005967 0
[pid=32508/tid=32515] ppid=32505 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/32508/task/32515/stat : 32515 (java) S 32505 32505 26425 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419261687 27969658880 30865 33554432000 4194304 4196468 140725137998336 140384582380560 140384768202453 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13955072 140725138002667 140725138003094 140725138003094 140725138005967 0
[pid=32508/tid=32516] ppid=32505 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32508/task/32516/stat : 32516 (java) S 32505 32505 26425 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419261687 27969658880 30865 33554432000 4194304 4196468 140725137998336 140384581327760 140384768202453 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13955072 140725138002667 140725138003094 140725138003094 140725138005967 0
[pid=32508/tid=32517] ppid=32505 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32508/task/32517/stat : 32517 (java) S 32505 32505 26425 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419261687 27969658880 30865 33554432000 4194304 4196468 140725137998336 140384580274960 140384768202453 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13955072 140725138002667 140725138003094 140725138003094 140725138005967 0
[pid=32508/tid=32518] ppid=32505 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32508/task/32518/stat : 32518 (java) S 32505 32505 26425 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419261689 27969658880 30865 33554432000 4194304 4196468 140725137998336 140383289653616 140384768203394 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13955072 140725138002667 140725138003094 140725138003094 140725138005967 0
[pid=32508/tid=32519] ppid=32505 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32508/task/32519/stat : 32519 (java) S 32505 32505 26425 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419261689 27969658880 30865 33554432000 4194304 4196468 140725137998336 140382415348768 140384768202453 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13955072 140725138002667 140725138003094 140725138003094 140725138005967 0
[pid=32508/tid=32520] ppid=32505 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32508/task/32520/stat : 32520 (java) S 32505 32505 26425 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419261690 27969658880 30865 33554432000 4194304 4196468 140725137998336 140382281126768 140384768202453 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13955072 140725138002667 140725138003094 140725138003094 140725138005967 0
[pid=32508/tid=32521] ppid=32505 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32508/task/32521/stat : 32521 (java) S 32505 32505 26425 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419261692 27969658880 30865 33554432000 4194304 4196468 140725137998336 140381906622288 140384768210843 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13955072 140725138002667 140725138003094 140725138003094 140725138005967 0
[pid=32508/tid=32522] ppid=32505 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32508/task/32522/stat : 32522 (java) S 32505 32505 26425 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 20 0 419261692 27969658880 30865 33554432000 4194304 4196468 140725137998336 140383220657008 140384768203394 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13955072 140725138002667 140725138003094 140725138003094 140725138005967 0
[pid=32508/tid=32523] ppid=32505 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32508/task/32523/stat : 32523 (java) S 32505 32505 26425 0 -1 1077944384 309 0 0 0 0 0 0 0 20 0 20 0 419261692 27969658880 30865 33554432000 4194304 4196468 140725137998336 140383219604208 140384768203394 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13955072 140725138002667 140725138003094 140725138003094 140725138005967 0
[pid=32508/tid=32524] ppid=32505 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/32508/task/32524/stat : 32524 (java) S 32505 32505 26425 0 -1 1077944384 134 0 0 0 0 0 0 0 20 0 20 0 419261692 27969658880 30865 33554432000 4194304 4196468 140725137998336 140383218551408 140384768203394 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13955072 140725138002667 140725138003094 140725138003094 140725138005967 0
[pid=32508/tid=32525] ppid=32505 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7
/proc/32508/task/32525/stat : 32525 (java) S 32505 32505 26425 0 -1 1077944384 474 0 0 0 2 0 0 0 20 0 20 0 419261692 27969658880 30865 33554432000 4194304 4196468 140725137998336 140383217498608 140384768203394 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13955072 140725138002667 140725138003094 140725138003094 140725138005967 0
[pid=32508/tid=32526] ppid=32505 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32508/task/32526/stat : 32526 (java) S 32505 32505 26425 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419261692 27969658880 30865 33554432000 4194304 4196468 140725137998336 140381408717408 140384768202453 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13955072 140725138002667 140725138003094 140725138003094 140725138005967 0
[pid=32508/tid=32527] ppid=32505 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/32508/task/32527/stat : 32527 (java) S 32505 32505 26425 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419261692 27969658880 30865 33554432000 4194304 4196468 140725137998336 140383216446000 140384768203394 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13955072 140725138002667 140725138003094 140725138003094 140725138005967 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 124852 KiB

[startup+0.309636 s]*
/proc/loadavg: 7.26 6.79 5.00 2/211 32527
/proc/meminfo: memFree=26958152/32770624 swapFree=67021676/67108860
[pid=32505] ppid=32502 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/32505/stat : 32505 (scop.sh) S 32502 32505 26425 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 419261684 115843072 348 33554432000 4194304 5098028 140722957586176 140722957583432 140440517247612 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 21774336 140722957587237 140722957587564 140722957587564 140722957590477 0
/proc/32505/statm: 28282 348 296 221 0 87 0
[pid=32508] ppid=32505 vsize=27314120 memory=127496 CPUtime=0.42 cores=0-7
/proc/32508/stat : 32508 (java) S 32505 32505 26425 0 -1 1077944320 13187 0 0 0 37 5 0 0 20 0 20 0 419261685 27969658880 31874 33554432000 4194304 4196468 140725137998336 140725137980880 140384768192247 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13955072 140725138002667 140725138003094 140725138003094 140725138005967 0
/proc/32508/statm: 6828530 31874 3005 1 0 6790935 0
[pid=32508/tid=32509] ppid=32505 vsize=27314120 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/32508/task/32509/stat : 32509 (java) R 32505 32505 26425 0 -1 4202560 10677 0 0 0 26 3 0 0 20 0 20 0 419261685 27969658880 31874 33554432000 4194304 4196468 140725137998336 140384739975264 140384752272734 0 4 2 16800973 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 13955072 140725138002667 140725138003094 140725138003094 140725138005967 0
[pid=32508/tid=32510] ppid=32505 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32508/task/32510/stat : 32510 (java) S 32505 32505 26425 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419261687 27969658880 31874 33554432000 4194304 4196468 140725137998336 140384772434576 140384768202453 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13955072 140725138002667 140725138003094 140725138003094 140725138005967 0
[pid=32508/tid=32511] ppid=32505 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32508/task/32511/stat : 32511 (java) S 32505 32505 26425 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419261687 27969658880 31874 33554432000 4194304 4196468 140725137998336 140384586590736 140384768202453 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13955072 140725138002667 140725138003094 140725138003094 140725138005967 0
[pid=32508/tid=32512] ppid=32505 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32508/task/32512/stat : 32512 (java) S 32505 32505 26425 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419261687 27969658880 31874 33554432000 4194304 4196468 140725137998336 140384585537936 140384768202453 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13955072 140725138002667 140725138003094 140725138003094 140725138005967 0
[pid=32508/tid=32513] ppid=32505 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32508/task/32513/stat : 32513 (java) S 32505 32505 26425 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419261687 27969658880 31874 33554432000 4194304 4196468 140725137998336 140384584485136 140384768202453 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13955072 140725138002667 140725138003094 140725138003094 140725138005967 0
[pid=32508/tid=32514] ppid=32505 vsize=27314120 memory=2244 CPUtime=0 cores=0-7
/proc/32508/task/32514/stat : 32514 (java) S 32505 32505 26425 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419261687 27969658880 31874 33554432000 4194304 4196468 140725137998336 140384583433360 140384768202453 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13955072 140725138002667 140725138003094 140725138003094 140725138005967 0
[pid=32508/tid=32515] ppid=32505 vsize=27314120 memory=139901714658223 CPUtime=0 cores=0-7
/proc/32508/task/32515/stat : 32515 (java) S 32505 32505 26425 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419261687 27969658880 31874 33554432000 4194304 4196468 140725137998336 140384582380560 140384768202453 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13955072 140725138002667 140725138003094 140725138003094 140725138005967 0
[pid=32508/tid=32516] ppid=32505 vsize=27314120 memory=139901714660528 CPUtime=0 cores=0-7
/proc/32508/task/32516/stat : 32516 (java) S 32505 32505 26425 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419261687 27969658880 31874 33554432000 4194304 4196468 140725137998336 140384581327760 140384768202453 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13955072 140725138002667 140725138003094 140725138003094 140725138005967 0
[pid=32508/tid=32517] ppid=32505 vsize=27314120 memory=139901714662832 CPUtime=0 cores=0-7
/proc/32508/task/32517/stat : 32517 (java) S 32505 32505 26425 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419261687 27969658880 31874 33554432000 4194304 4196468 140725137998336 140384580274960 140384768202453 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13955072 140725138002667 140725138003094 140725138003094 140725138005967 0
[pid=32508/tid=32518] ppid=32505 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32508/task/32518/stat : 32518 (java) S 32505 32505 26425 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419261689 27969658880 31874 33554432000 4194304 4196468 140725137998336 140383289653616 140384768203394 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13955072 140725138002667 140725138003094 140725138003094 140725138005967 0
[pid=32508/tid=32519] ppid=32505 vsize=27314120 memory=279803429332624 CPUtime=0 cores=0-7
/proc/32508/task/32519/stat : 32519 (java) S 32505 32505 26425 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419261689 27969658880 31874 33554432000 4194304 4196468 140725137998336 140382415348768 140384768202453 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13955072 140725138002667 140725138003094 140725138003094 140725138005967 0
[pid=32508/tid=32520] ppid=32505 vsize=27314120 memory=279803429339536 CPUtime=0 cores=0-7
/proc/32508/task/32520/stat : 32520 (java) S 32505 32505 26425 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419261690 27969658880 31874 33554432000 4194304 4196468 140725137998336 140382281126768 140384768202453 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13955072 140725138002667 140725138003094 140725138003094 140725138005967 0
[pid=32508/tid=32521] ppid=32505 vsize=27314120 memory=279803429280816 CPUtime=0 cores=0-7
/proc/32508/task/32521/stat : 32521 (java) S 32505 32505 26425 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419261692 27969658880 31874 33554432000 4194304 4196468 140725137998336 140381906622288 140384768210843 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13955072 140725138002667 140725138003094 140725138003094 140725138005967 0
[pid=32508/tid=32522] ppid=32505 vsize=27314120 memory=279803429353360 CPUtime=0 cores=0-7
/proc/32508/task/32522/stat : 32522 (java) S 32505 32505 26425 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 20 0 419261692 27969658880 31874 33554432000 4194304 4196468 140725137998336 140383220657008 140384768203394 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13955072 140725138002667 140725138003094 140725138003094 140725138005967 0
[pid=32508/tid=32523] ppid=32505 vsize=27314120 memory=279803429360272 CPUtime=0 cores=0-7
/proc/32508/task/32523/stat : 32523 (java) S 32505 32505 26425 0 -1 1077944384 316 0 0 0 0 0 0 0 20 0 20 0 419261692 27969658880 31874 33554432000 4194304 4196468 140725137998336 140383219604208 140384768203394 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13955072 140725138002667 140725138003094 140725138003094 140725138005967 0
[pid=32508/tid=32524] ppid=32505 vsize=27314120 memory=279803429357968 CPUtime=0.02 cores=0-7
/proc/32508/task/32524/stat : 32524 (java) S 32505 32505 26425 0 -1 1077944384 243 0 0 0 2 0 0 0 20 0 20 0 419261692 27969658880 31874 33554432000 4194304 4196468 140725137998336 140383218551408 140384768203394 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13955072 140725138002667 140725138003094 140725138003094 140725138005967 0
[pid=32508/tid=32525] ppid=32505 vsize=27314120 memory=279803429374128 CPUtime=0.07 cores=0-7
/proc/32508/task/32525/stat : 32525 (java) S 32505 32505 26425 0 -1 1077944384 516 0 0 0 7 0 0 0 20 0 20 0 419261692 27969658880 31874 33554432000 4194304 4196468 140725137998336 140383217498608 140384768203394 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13955072 140725138002667 140725138003094 140725138003094 140725138005967 0
[pid=32508/tid=32526] ppid=32505 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32508/task/32526/stat : 32526 (java) S 32505 32505 26425 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419261692 27969658880 31874 33554432000 4194304 4196468 140725137998336 140381408717408 140384768202453 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13955072 140725138002667 140725138003094 140725138003094 140725138005967 0
[pid=32508/tid=32527] ppid=32505 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/32508/task/32527/stat : 32527 (java) S 32505 32505 26425 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419261692 27969658880 31874 33554432000 4194304 4196468 140725137998336 140383216446000 140384768203394 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13955072 140725138002667 140725138003094 140725138003094 140725138005967 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 128888 KiB

[startup+0.700937 s]
/proc/loadavg: 7.26 6.79 5.00 2/211 32527
/proc/meminfo: memFree=26937100/32770624 swapFree=67021676/67108860
[pid=32505] ppid=32502 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/32505/stat : 32505 (scop.sh) S 32502 32505 26425 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 419261684 115843072 348 33554432000 4194304 5098028 140722957586176 140722957583432 140440517247612 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 21774336 140722957587237 140722957587564 140722957587564 140722957590477 0
/proc/32505/statm: 28282 348 296 221 0 87 0
[pid=32508] ppid=32505 vsize=27322516 memory=163848 CPUtime=0.98 cores=0-7
/proc/32508/stat : 32508 (java) S 32505 32505 26425 0 -1 1077944320 20535 0 0 0 91 7 0 0 20 0 20 0 419261685 27978256384 40962 33554432000 4194304 4196468 140725137998336 140725137980880 140384768192247 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13955072 140725138002667 140725138003094 140725138003094 140725138005967 0
/proc/32508/statm: 6830629 40962 3216 1 0 6791959 0
[pid=32508/tid=32509] ppid=32505 vsize=27322516 memory=279803429732016 CPUtime=0.68 cores=0-7
/proc/32508/task/32509/stat : 32509 (java) R 32505 32505 26425 0 -1 4202560 17516 0 0 0 62 6 0 0 20 0 20 0 419261685 27978256384 40962 33554432000 4194304 4196468 140725137998336 140384740024016 140384768214173 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 13955072 140725138002667 140725138003094 140725138003094 140725138005967 0
[pid=32508/tid=32510] ppid=32505 vsize=27322516 memory=139901714867056 CPUtime=0 cores=0-7
/proc/32508/task/32510/stat : 32510 (java) S 32505 32505 26425 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419261687 27978256384 40962 33554432000 4194304 4196468 140725137998336 140384772434576 140384768202453 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13955072 140725138002667 140725138003094 140725138003094 140725138005967 0
[pid=32508/tid=32511] ppid=32505 vsize=27322516 memory=0 CPUtime=0 cores=0-7
/proc/32508/task/32511/stat : 32511 (java) S 32505 32505 26425 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419261687 27978256384 40962 33554432000 4194304 4196468 140725137998336 140384586590736 140384768202453 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13955072 140725138002667 140725138003094 140725138003094 140725138005967 0
[pid=32508/tid=32512] ppid=32505 vsize=27322516 memory=1224 CPUtime=0 cores=0-7
/proc/32508/task/32512/stat : 32512 (java) S 32505 32505 26425 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419261687 27978256384 40962 33554432000 4194304 4196468 140725137998336 140384585537936 140384768202453 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13955072 140725138002667 140725138003094 140725138003094 140725138005967 0

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

/proc/32528/task/32533/stat : 32533 (java) S 32505 32505 26425 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419261958 8616062976 29936 33554432000 4194304 4196468 140734951639120 139741278288656 139741475993301 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6889472 140734951642103 140734951642262 140734951642262 140734951645135 0
[pid=32528/tid=32534] ppid=32505 vsize=8414124 memory=1472 CPUtime=0 cores=0-7
/proc/32528/task/32534/stat : 32534 (java) S 32505 32505 26425 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419261958 8616062976 29936 33554432000 4194304 4196468 140734951639120 139741277235856 139741475993301 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6889472 140734951642103 140734951642262 140734951642262 140734951645135 0
[pid=32528/tid=32535] ppid=32505 vsize=8414124 memory=119744 CPUtime=0 cores=0-7
/proc/32528/task/32535/stat : 32535 (java) S 32505 32505 26425 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419261958 8616062976 29936 33554432000 4194304 4196468 140734951639120 139741276183056 139741475993301 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6889472 140734951642103 140734951642262 140734951642262 140734951645135 0
[pid=32528/tid=32536] ppid=32505 vsize=8414124 memory=413580 CPUtime=0 cores=0-7
/proc/32528/task/32536/stat : 32536 (java) S 32505 32505 26425 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419261958 8616062976 29936 33554432000 4194304 4196468 140734951639120 139741275130256 139741475993301 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6889472 140734951642103 140734951642262 140734951642262 140734951645135 0
[pid=32528/tid=32537] ppid=32505 vsize=8414124 memory=1784 CPUtime=0 cores=0-7
/proc/32528/task/32537/stat : 32537 (java) S 32505 32505 26425 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419261958 8616062976 29936 33554432000 4194304 4196468 140734951639120 139741274077456 139741475993301 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6889472 140734951642103 140734951642262 140734951642262 140734951645135 0
[pid=32528/tid=32538] ppid=32505 vsize=8414124 memory=924 CPUtime=0 cores=0-7
/proc/32528/task/32538/stat : 32538 (java) S 32505 32505 26425 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 419261960 8616062976 29936 33554432000 4194304 4196468 140734951639120 139740300897136 139741475994242 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6889472 140734951642103 140734951642262 140734951642262 140734951645135 0
[pid=32528/tid=32539] ppid=32505 vsize=8414124 memory=2344 CPUtime=0 cores=0-7
/proc/32528/task/32539/stat : 32539 (java) S 32505 32505 26425 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 419261960 8616062976 29936 33554432000 4194304 4196468 140734951639120 139740116411936 139741475993301 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6889472 140734951642103 140734951642262 140734951642262 140734951645135 0
[pid=32528/tid=32540] ppid=32505 vsize=8414124 memory=1472 CPUtime=0 cores=0-7
/proc/32528/task/32540/stat : 32540 (java) S 32505 32505 26425 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419261960 8616062976 29936 33554432000 4194304 4196468 140734951639120 139739847976304 139741475993301 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6889472 140734951642103 140734951642262 140734951642262 140734951645135 0
[pid=32528/tid=32541] ppid=32505 vsize=8414124 memory=119744 CPUtime=0 cores=0-7
/proc/32528/task/32541/stat : 32541 (java) S 32505 32505 26425 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419261963 8616062976 29936 33554432000 4194304 4196468 140734951639120 139739473467728 139741476001691 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6889472 140734951642103 140734951642262 140734951642262 140734951645135 0
[pid=32528/tid=32542] ppid=32505 vsize=8414124 memory=351480 CPUtime=0.04 cores=0-7
/proc/32528/task/32542/stat : 32542 (java) S 32505 32505 26425 0 -1 1077944384 409 0 0 0 4 0 0 0 20 0 24 0 419261963 8616062976 29936 33554432000 4194304 4196468 140734951639120 139740299843952 139741475994242 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6889472 140734951642103 140734951642262 140734951642262 140734951645135 0
[pid=32528/tid=32543] ppid=32505 vsize=8414124 memory=2876 CPUtime=0.05 cores=0-7
/proc/32528/task/32543/stat : 32543 (java) S 32505 32505 26425 0 -1 1077944384 326 0 0 0 5 0 0 0 20 0 24 0 419261963 8616062976 29936 33554432000 4194304 4196468 140734951639120 139740298791152 139741475994242 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6889472 140734951642103 140734951642262 140734951642262 140734951645135 0
[pid=32528/tid=32544] ppid=32505 vsize=8414124 memory=1572 CPUtime=0.06 cores=0-7
/proc/32528/task/32544/stat : 32544 (java) S 32505 32505 26425 0 -1 1077944384 349 0 0 0 6 0 0 0 20 0 24 0 419261963 8616062976 29936 33554432000 4194304 4196468 140734951639120 139740297738352 139741475994242 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6889472 140734951642103 140734951642262 140734951642262 140734951645135 0
[pid=32528/tid=32545] ppid=32505 vsize=8414124 memory=1472 CPUtime=0.18 cores=0-7
/proc/32528/task/32545/stat : 32545 (java) S 32505 32505 26425 0 -1 1077944384 510 0 0 0 18 0 0 0 20 0 24 0 419261963 8616062976 29936 33554432000 4194304 4196468 140734951639120 139740296685552 139741475994242 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6889472 140734951642103 140734951642262 140734951642262 140734951645135 0
[pid=32528/tid=32546] ppid=32505 vsize=8414124 memory=119744 CPUtime=0 cores=0-7
/proc/32528/task/32546/stat : 32546 (java) S 32505 32505 26425 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419261963 8616062976 29936 33554432000 4194304 4196468 140734951639120 139738975562848 139741475993301 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6889472 140734951642103 140734951642262 140734951642262 140734951645135 0
[pid=32528/tid=32547] ppid=32505 vsize=8414124 memory=351452 CPUtime=0.01 cores=0-7
/proc/32528/task/32547/stat : 32547 (java) S 32505 32505 26425 0 -1 1077944384 3 0 0 0 0 1 0 0 20 0 24 0 419261963 8616062976 29936 33554432000 4194304 4196468 140734951639120 139740295633968 139741475994242 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 6 0 0 6293624 6294260 6889472 140734951642103 140734951642262 140734951642262 140734951645135 0
[pid=32528/tid=32549] ppid=32505 vsize=8414124 memory=804 CPUtime=0 cores=0-7
/proc/32528/task/32549/stat : 32549 (java) S 32505 32505 26425 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 419262028 8616062976 29936 33554432000 4194304 4196468 140734951639120 139740287600192 139741476007705 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 6889472 140734951642103 140734951642262 140734951642262 140734951645135 0
[pid=32528/tid=32551] ppid=32505 vsize=8414124 memory=276 CPUtime=0 cores=0-7
/proc/32528/task/32551/stat : 32551 (java) S 32505 32505 26425 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 419262028 8616062976 29936 33554432000 4194304 4196468 140734951639120 139738304462480 139741476005021 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 6889472 140734951642103 140734951642262 140734951642262 140734951645135 0
[pid=32528/tid=32552] ppid=32505 vsize=8414124 memory=-6376206044695086740 CPUtime=0 cores=0-7
/proc/32528/task/32552/stat : 32552 (java) S 32505 32505 26425 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 419262028 8616062976 29936 33554432000 4194304 4196468 140734951639120 139738572897808 139741476005021 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 6889472 140734951642103 140734951642262 140734951642262 140734951645135 0
[pid=32528/tid=32553] ppid=32505 vsize=8414124 memory=1404226546319074183 CPUtime=0 cores=0-7
/proc/32528/task/32553/stat : 32553 (java) S 32505 32505 26425 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 419262030 8616062976 29936 33554432000 4194304 4196468 140734951639120 139738036034608 139741475993301 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6889472 140734951642103 140734951642262 140734951642262 140734951645135 0
Current children cumulated CPU time: 155.19 s
Current children cumulated vsize: 9273724 KiB
Current children cumulated memory: 537148 KiB

[startup+22.6015 s]
/proc/loadavg: 7.40 6.85 5.06 9/224 32563
/proc/meminfo: memFree=26549604/32770624 swapFree=67021676/67108860
[pid=32505] ppid=32502 vsize=113128 memory=1472 CPUtime=5.77 cores=0-7
/proc/32505/stat : 32505 (scop.sh) S 32502 32505 26425 0 -1 4202496 581 27514 0 0 0 0 552 25 20 0 1 0 419261684 115843072 368 33554432000 4194304 5098028 140722957586176 140722957582920 140440517247612 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 21774336 140722957587237 140722957587564 140722957587564 140722957590477 0
/proc/32505/statm: 28282 368 311 221 0 87 0
[pid=32528] ppid=32505 vsize=8414124 memory=119744 CPUtime=1.14 cores=0-7
/proc/32528/stat : 32528 (java) S 32505 32505 26425 0 -1 1077944320 19884 0 0 0 106 8 0 0 20 0 24 0 419261956 8616062976 29936 33554432000 4194304 4196468 140734951639120 140734951621664 139741475983095 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 6889472 140734951642103 140734951642262 140734951642262 140734951645135 0
/proc/32528/statm: 2103531 29936 3209 1 0 2064875 0
[pid=32548] ppid=32528 vsize=746472 memory=415360 CPUtime=149.51 cores=0-7
/proc/32548/stat : 32548 (manyglucose-4.1) S 32528 32505 26425 0 -1 1077944320 166278 0 0 0 14903 48 0 0 20 0 2 0 419262028 764387328 103840 33554432000 4194304 4454172 140727057441984 140727057440368 140552424668919 0 4 0 8388610 18446744073709551615 0 0 17 2 0 0 0 0 0 6552832 6554400 17022976 140727057449833 140727057450032 140727057450032 140727057452986 0
/proc/32548/statm: 186618 103840 420 64 0 182286 0
[pid=32548/tid=32558] ppid=32528 vsize=746472 memory=7740110412920283733 CPUtime=18.74 cores=0-7
/proc/32548/task/32558/stat : 32558 (manyglucose-4.1) R 32528 32505 26425 0 -1 4202560 17453 0 0 0 1871 3 0 0 20 0 2 0 419262067 764387328 103840 33554432000 4194304 4454172 140727057441984 140552362785640 4351289 0 4 0 8388610 0 0 0 -1 6 0 0 0 0 0 6552832 6554400 17022976 140727057449833 140727057450032 140727057450032 140727057452986 0
[pid=32528/tid=32529] ppid=32505 vsize=8414124 memory=1384 CPUtime=0.74 cores=0-7
/proc/32528/task/32529/stat : 32529 (java) S 32505 32505 26425 0 -1 1077944384 16888 0 0 0 68 6 0 0 20 0 24 0 419261957 8616062976 29936 33554432000 4194304 4196468 140734951639120 139741447823264 139741475993301 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6889472 140734951642103 140734951642262 140734951642262 140734951645135 0
[pid=32528/tid=32530] ppid=32505 vsize=8414124 memory=15080 CPUtime=0 cores=0-7
/proc/32528/task/32530/stat : 32530 (java) S 32505 32505 26425 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419261958 8616062976 29936 33554432000 4194304 4196468 140734951639120 139741480225936 139741475993301 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6889472 140734951642103 140734951642262 140734951642262 140734951645135 0
[pid=32528/tid=32531] ppid=32505 vsize=8414124 memory=9824 CPUtime=0 cores=0-7
/proc/32528/task/32531/stat : 32531 (java) S 32505 32505 26425 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419261958 8616062976 29936 33554432000 4194304 4196468 140734951639120 139741280394256 139741475993301 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6889472 140734951642103 140734951642262 140734951642262 140734951645135 0
[pid=32528/tid=32532] ppid=32505 vsize=8414124 memory=2676 CPUtime=0 cores=0-7
/proc/32528/task/32532/stat : 32532 (java) S 32505 32505 26425 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419261958 8616062976 29936 33554432000 4194304 4196468 140734951639120 139741279341456 139741475993301 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6889472 140734951642103 140734951642262 140734951642262 140734951645135 0
[pid=32528/tid=32533] ppid=32505 vsize=8414124 memory=13240 CPUtime=0 cores=0-7
/proc/32528/task/32533/stat : 32533 (java) S 32505 32505 26425 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419261958 8616062976 29936 33554432000 4194304 4196468 140734951639120 139741278288656 139741475993301 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6889472 140734951642103 140734951642262 140734951642262 140734951645135 0
[pid=32528/tid=32534] ppid=32505 vsize=8414124 memory=500 CPUtime=0 cores=0-7
/proc/32528/task/32534/stat : 32534 (java) S 32505 32505 26425 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419261958 8616062976 29936 33554432000 4194304 4196468 140734951639120 139741277235856 139741475993301 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6889472 140734951642103 140734951642262 140734951642262 140734951645135 0
[pid=32528/tid=32535] ppid=32505 vsize=8414124 memory=1736 CPUtime=0 cores=0-7
/proc/32528/task/32535/stat : 32535 (java) S 32505 32505 26425 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419261958 8616062976 29936 33554432000 4194304 4196468 140734951639120 139741276183056 139741475993301 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6889472 140734951642103 140734951642262 140734951642262 140734951645135 0
[pid=32528/tid=32536] ppid=32505 vsize=8414124 memory=1296 CPUtime=0 cores=0-7
/proc/32528/task/32536/stat : 32536 (java) S 32505 32505 26425 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419261958 8616062976 29936 33554432000 4194304 4196468 140734951639120 139741275130256 139741475993301 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6889472 140734951642103 140734951642262 140734951642262 140734951645135 0
[pid=32528/tid=32537] ppid=32505 vsize=8414124 memory=2184 CPUtime=0 cores=0-7
/proc/32528/task/32537/stat : 32537 (java) S 32505 32505 26425 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419261958 8616062976 29936 33554432000 4194304 4196468 140734951639120 139741274077456 139741475993301 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6889472 140734951642103 140734951642262 140734951642262 140734951645135 0
[pid=32528/tid=32538] ppid=32505 vsize=8414124 memory=1844 CPUtime=0 cores=0-7
/proc/32528/task/32538/stat : 32538 (java) S 32505 32505 26425 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 419261960 8616062976 29936 33554432000 4194304 4196468 140734951639120 139740300897136 139741475994242 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6889472 140734951642103 140734951642262 140734951642262 140734951645135 0
[pid=32528/tid=32539] ppid=32505 vsize=8414124 memory=4964 CPUtime=0 cores=0-7
/proc/32528/task/32539/stat : 32539 (java) S 32505 32505 26425 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 419261960 8616062976 29936 33554432000 4194304 4196468 140734951639120 139740116411936 139741475993301 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6889472 140734951642103 140734951642262 140734951642262 140734951645135 0
[pid=32528/tid=32540] ppid=32505 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/32528/task/32540/stat : 32540 (java) S 32505 32505 26425 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419261960 8616062976 29936 33554432000 4194304 4196468 140734951639120 139739847976304 139741475993301 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6889472 140734951642103 140734951642262 140734951642262 140734951645135 0
[pid=32528/tid=32541] ppid=32505 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/32528/task/32541/stat : 32541 (java) S 32505 32505 26425 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419261963 8616062976 29936 33554432000 4194304 4196468 140734951639120 139739473467728 139741476001691 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6889472 140734951642103 140734951642262 140734951642262 140734951645135 0
[pid=32528/tid=32542] ppid=32505 vsize=8414124 memory=0 CPUtime=0.04 cores=0-7
/proc/32528/task/32542/stat : 32542 (java) S 32505 32505 26425 0 -1 1077944384 409 0 0 0 4 0 0 0 20 0 24 0 419261963 8616062976 29936 33554432000 4194304 4196468 140734951639120 139740299843952 139741475994242 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6889472 140734951642103 140734951642262 140734951642262 140734951645135 0
[pid=32528/tid=32543] ppid=32505 vsize=8414124 memory=0 CPUtime=0.05 cores=0-7
/proc/32528/task/32543/stat : 32543 (java) S 32505 32505 26425 0 -1 1077944384 326 0 0 0 5 0 0 0 20 0 24 0 419261963 8616062976 29936 33554432000 4194304 4196468 140734951639120 139740298791152 139741475994242 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6889472 140734951642103 140734951642262 140734951642262 140734951645135 0
[pid=32528/tid=32544] ppid=32505 vsize=8414124 memory=0 CPUtime=0.06 cores=0-7
/proc/32528/task/32544/stat : 32544 (java) S 32505 32505 26425 0 -1 1077944384 349 0 0 0 6 0 0 0 20 0 24 0 419261963 8616062976 29936 33554432000 4194304 4196468 140734951639120 139740297738352 139741475994242 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6889472 140734951642103 140734951642262 140734951642262 140734951645135 0
[pid=32528/tid=32545] ppid=32505 vsize=8414124 memory=0 CPUtime=0.18 cores=0-7
/proc/32528/task/32545/stat : 32545 (java) S 32505 32505 26425 0 -1 1077944384 510 0 0 0 18 0 0 0 20 0 24 0 419261963 8616062976 29936 33554432000 4194304 4196468 140734951639120 139740296685552 139741475994242 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6889472 140734951642103 140734951642262 140734951642262 140734951645135 0
[pid=32528/tid=32546] ppid=32505 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/32528/task/32546/stat : 32546 (java) S 32505 32505 26425 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419261963 8616062976 29936 33554432000 4194304 4196468 140734951639120 139738975562848 139741475993301 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6889472 140734951642103 140734951642262 140734951642262 140734951645135 0
[pid=32528/tid=32547] ppid=32505 vsize=8414124 memory=0 CPUtime=0.01 cores=0-7
/proc/32528/task/32547/stat : 32547 (java) S 32505 32505 26425 0 -1 1077944384 3 0 0 0 0 1 0 0 20 0 24 0 419261963 8616062976 29936 33554432000 4194304 4196468 140734951639120 139740295633968 139741475994242 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 6 0 0 6293624 6294260 6889472 140734951642103 140734951642262 140734951642262 140734951645135 0
[pid=32528/tid=32549] ppid=32505 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/32528/task/32549/stat : 32549 (java) S 32505 32505 26425 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 419262028 8616062976 29936 33554432000 4194304 4196468 140734951639120 139740287600192 139741476007705 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 6889472 140734951642103 140734951642262 140734951642262 140734951645135 0
[pid=32528/tid=32551] ppid=32505 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/32528/task/32551/stat : 32551 (java) S 32505 32505 26425 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 419262028 8616062976 29936 33554432000 4194304 4196468 140734951639120 139738304462480 139741476005021 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 6889472 140734951642103 140734951642262 140734951642262 140734951645135 0
[pid=32528/tid=32552] ppid=32505 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/32528/task/32552/stat : 32552 (java) S 32505 32505 26425 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 419262028 8616062976 29936 33554432000 4194304 4196468 140734951639120 139738572897808 139741476005021 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 6889472 140734951642103 140734951642262 140734951642262 140734951645135 0
[pid=32528/tid=32553] ppid=32505 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/32528/task/32553/stat : 32553 (java) S 32505 32505 26425 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 419262030 8616062976 29936 33554432000 4194304 4196468 140734951639120 139738036034608 139741475993301 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6889472 140734951642103 140734951642262 140734951642262 140734951645135 0
Current children cumulated CPU time: 156.42 s
Current children cumulated vsize: 9273724 KiB
Current children cumulated memory: 536576 KiB

[startup+22.7012 s]
/proc/loadavg: 7.40 6.85 5.06 9/224 32563
/proc/meminfo: memFree=26549604/32770624 swapFree=67021676/67108860
[pid=32505] ppid=32502 vsize=113128 memory=1472 CPUtime=5.77 cores=0-7
/proc/32505/stat : 32505 (scop.sh) S 32502 32505 26425 0 -1 4202496 581 27514 0 0 0 0 552 25 20 0 1 0 419261684 115843072 368 33554432000 4194304 5098028 140722957586176 140722957582920 140440517247612 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 21774336 140722957587237 140722957587564 140722957587564 140722957590477 0
/proc/32505/statm: 28282 368 311 221 0 87 0
[pid=32528] ppid=32505 vsize=8283048 memory=127076 CPUtime=150.92 cores=0-7
/proc/32528/stat : 32528 (java) S 32505 32505 26425 0 -1 1077944320 21676 166294 0 0 131 8 14904 49 20 0 22 0 419261956 8481841152 31769 33554432000 4194304 4196468 140734951639120 140734951621664 139741475983095 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 6889472 140734951642103 140734951642262 140734951642262 140734951645135 0
/proc/32528/statm: 2070762 31769 3222 1 0 2032106 0
[pid=32528/tid=32529] ppid=32505 vsize=8283048 memory=415468 CPUtime=150.31 cores=0-7
/proc/32528/task/32529/stat : 32529 (java) R 32505 32505 26425 0 -1 4202560 17044 166294 0 0 72 6 14904 49 20 0 22 0 419261957 8481841152 31769 33554432000 4194304 4196468 140734951639120 139741447818672 139741457849312 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6889472 140734951642103 140734951642262 140734951642262 140734951645135 0
[pid=32528/tid=32530] ppid=32505 vsize=8283048 memory=119744 CPUtime=149.53 cores=0-7
/proc/32528/task/32530/stat : 32530 (java) S 32505 32505 26425 0 -1 1077944384 2 166294 0 0 0 0 14904 49 20 0 22 0 419261958 8481841152 31769 33554432000 4194304 4196468 140734951639120 139741480225936 139741475993301 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6889472 140734951642103 140734951642262 140734951642262 140734951645135 0
[pid=32528/tid=32531] ppid=32505 vsize=8283048 memory=416768 CPUtime=149.53 cores=0-7
/proc/32528/task/32531/stat : 32531 (java) S 32505 32505 26425 0 -1 1077944384 1 166294 0 0 0 0 14904 49 20 0 22 0 419261958 8481841152 31769 33554432000 4194304 4196468 140734951639120 139741280394256 139741475993301 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6889472 140734951642103 140734951642262 140734951642262 140734951645135 0
[pid=32528/tid=32532] ppid=32505 vsize=8283048 memory=0 CPUtime=149.53 cores=0-7
/proc/32528/task/32532/stat : 32532 (java) S 32505 32505 26425 0 -1 1077944384 1 166294 0 0 0 0 14904 49 20 0 22 0 419261958 8481841152 31769 33554432000 4194304 4196468 140734951639120 139741279341456 139741475993301 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6889472 140734951642103 140734951642262 140734951642262 140734951645135 0
[pid=32528/tid=32533] ppid=32505 vsize=8283048 memory=112 CPUtime=149.53 cores=0-7
/proc/32528/task/32533/stat : 32533 (java) S 32505 32505 26425 0 -1 1077944384 1 166294 0 0 0 0 14904 49 20 0 22 0 419261958 8481841152 31769 33554432000 4194304 4196468 140734951639120 139741278288656 139741475993301 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6889472 140734951642103 140734951642262 140734951642262 140734951645135 0
[pid=32528/tid=32534] ppid=32505 vsize=8283048 memory=0 CPUtime=149.53 cores=0-7
/proc/32528/task/32534/stat : 32534 (java) S 32505 32505 26425 0 -1 1077944384 1 166294 0 0 0 0 14904 49 20 0 22 0 419261958 8481841152 31769 33554432000 4194304 4196468 140734951639120 139741277235856 139741475993301 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6889472 140734951642103 140734951642262 140734951642262 140734951645135 0
[pid=32528/tid=32535] ppid=32505 vsize=8283048 memory=0 CPUtime=149.53 cores=0-7
/proc/32528/task/32535/stat : 32535 (java) S 32505 32505 26425 0 -1 1077944384 2 166294 0 0 0 0 14904 49 20 0 22 0 419261958 8481841152 31769 33554432000 4194304 4196468 140734951639120 139741276183056 139741475993301 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6889472 140734951642103 140734951642262 140734951642262 140734951645135 0
[pid=32528/tid=32536] ppid=32505 vsize=8283048 memory=279647065592708 CPUtime=149.53 cores=0-7
/proc/32528/task/32536/stat : 32536 (java) S 32505 32505 26425 0 -1 1077944384 1 166294 0 0 0 0 14904 49 20 0 22 0 419261958 8481841152 31769 33554432000 4194304 4196468 140734951639120 139741275130256 139741475993301 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6889472 140734951642103 140734951642262 140734951642262 140734951645135 0
[pid=32528/tid=32537] ppid=32505 vsize=8283048 memory=6944656591801717405 CPUtime=149.53 cores=0-7
/proc/32528/task/32537/stat : 32537 (java) S 32505 32505 26425 0 -1 1077944384 3 166294 0 0 0 0 14904 49 20 0 22 0 419261958 8481841152 31769 33554432000 4194304 4196468 140734951639120 139741274077456 139741475993301 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6889472 140734951642103 140734951642262 140734951642262 140734951645135 0
[pid=32528/tid=32538] ppid=32505 vsize=8283048 memory=1760 CPUtime=149.53 cores=0-7
/proc/32528/task/32538/stat : 32538 (java) S 32505 32505 26425 0 -1 1077944384 7 166294 0 0 0 0 14904 49 20 0 22 0 419261960 8481841152 31769 33554432000 4194304 4196468 140734951639120 139740300897136 139741475994242 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6889472 140734951642103 140734951642262 140734951642262 140734951645135 0
[pid=32528/tid=32539] ppid=32505 vsize=8283048 memory=111632 CPUtime=149.53 cores=0-7
/proc/32528/task/32539/stat : 32539 (java) S 32505 32505 26425 0 -1 1077944384 13 166294 0 0 0 0 14904 49 20 0 22 0 419261960 8481841152 31769 33554432000 4194304 4196468 140734951639120 139740116411936 139741475993301 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6889472 140734951642103 140734951642262 140734951642262 140734951645135 0
[pid=32528/tid=32540] ppid=32505 vsize=8283048 memory=804 CPUtime=149.53 cores=0-7
/proc/32528/task/32540/stat : 32540 (java) S 32505 32505 26425 0 -1 1077944384 1 166294 0 0 0 0 14904 49 20 0 22 0 419261960 8481841152 31769 33554432000 4194304 4196468 140734951639120 139739847976304 139741475993301 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6889472 140734951642103 140734951642262 140734951642262 140734951645135 0
[pid=32528/tid=32541] ppid=32505 vsize=8283048 memory=0 CPUtime=149.53 cores=0-7
/proc/32528/task/32541/stat : 32541 (java) S 32505 32505 26425 0 -1 1077944384 1 166294 0 0 0 0 14904 49 20 0 22 0 419261963 8481841152 31769 33554432000 4194304 4196468 140734951639120 139739473467728 139741476001691 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6889472 140734951642103 140734951642262 140734951642262 140734951645135 0
[pid=32528/tid=32542] ppid=32505 vsize=8283048 memory=0 CPUtime=149.6 cores=0-7
/proc/32528/task/32542/stat : 32542 (java) S 32505 32505 26425 0 -1 1077944384 741 166294 0 0 7 0 14904 49 20 0 22 0 419261963 8481841152 31769 33554432000 4194304 4196468 140734951639120 139740299843952 139741475994242 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6889472 140734951642103 140734951642262 140734951642262 140734951645135 0
[pid=32528/tid=32543] ppid=32505 vsize=8283048 memory=0 CPUtime=149.62 cores=0-7
/proc/32528/task/32543/stat : 32543 (java) S 32505 32505 26425 0 -1 1077944384 546 166294 0 0 9 0 14904 49 20 0 22 0 419261963 8481841152 31769 33554432000 4194304 4196468 140734951639120 139740298791152 139741475994242 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6889472 140734951642103 140734951642262 140734951642262 140734951645135 0
[pid=32528/tid=32544] ppid=32505 vsize=8283048 memory=1472 CPUtime=149.62 cores=0-7
/proc/32528/task/32544/stat : 32544 (java) S 32505 32505 26425 0 -1 1077944384 376 166294 0 0 9 0 14904 49 20 0 22 0 419261963 8481841152 31769 33554432000 4194304 4196468 140734951639120 139740297738352 139741475994242 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6889472 140734951642103 140734951642262 140734951642262 140734951645135 0
[pid=32528/tid=32545] ppid=32505 vsize=8283048 memory=119744 CPUtime=149.77 cores=0-7
/proc/32528/task/32545/stat : 32545 (java) R 32505 32505 26425 0 -1 4202560 1012 166294 0 0 24 0 14904 49 20 0 22 0 419261963 8481841152 31769 33554432000 4194304 4196468 140734951639120 139740296682288 139741469088757 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6889472 140734951642103 140734951642262 140734951642262 140734951645135 0
[pid=32528/tid=32546] ppid=32505 vsize=8283048 memory=349404 CPUtime=149.53 cores=0-7
/proc/32528/task/32546/stat : 32546 (java) S 32505 32505 26425 0 -1 1077944384 3 166294 0 0 0 0 14904 49 20 0 22 0 419261963 8481841152 31769 33554432000 4194304 4196468 140734951639120 139738975562848 139741475993301 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6889472 140734951642103 140734951642262 140734951642262 140734951645135 0
[pid=32528/tid=32547] ppid=32505 vsize=8283048 memory=4964 CPUtime=149.54 cores=0-7
/proc/32528/task/32547/stat : 32547 (java) S 32505 32505 26425 0 -1 1077944384 3 166294 0 0 0 1 14904 49 20 0 22 0 419261963 8481841152 31769 33554432000 4194304 4196468 140734951639120 139740295633968 139741475994242 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 6 0 0 6293624 6294260 6889472 140734951642103 140734951642262 140734951642262 140734951645135 0
[pid=32528/tid=32549] ppid=32505 vsize=8283048 memory=1544 CPUtime=149.53 cores=0-7
/proc/32528/task/32549/stat : 32549 (java) S 32505 32505 26425 0 -1 1077944384 25 166294 0 0 0 0 14904 49 20 0 22 0 419262028 8481841152 31769 33554432000 4194304 4196468 140734951639120 139740287599376 139741475994242 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6889472 140734951642103 140734951642262 140734951642262 140734951645135 0
[pid=32528/tid=32553] ppid=32505 vsize=8283048 memory=0 CPUtime=149.53 cores=0-7
/proc/32528/task/32553/stat : 32553 (java) S 32505 32505 26425 0 -1 1077944384 14 166294 0 0 0 0 14904 49 20 0 22 0 419262030 8481841152 31769 33554432000 4194304 4196468 140734951639120 139738036036400 139741475994242 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6889472 140734951642103 140734951642262 140734951642262 140734951645135 0
Current children cumulated CPU time: 156.69 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 128548 KiB

Child status: 0
Real time (s): 22.7779
CPU time (s): 156.865
CPU user time (s): 156.014
CPU system time (s): 0.850844
CPU usage (%): 688.672
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 1024604

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 156.014
system time used= 0.850844
maximum resident set size= 1026252
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 216340
page faults= 0
swaps= 0
block input operations= 0
block output operations= 9104
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 15493
involuntary context switches= 1694


# summary of solver processes directly reported to runsolver:
#   pid: 32505
#   total CPU time (s): 156.865
#   total CPU user time (s): 156.014
#   total CPU system time (s): 0.850844

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.226003 second user time and 0.358409 second system time

The end

Launcher Data 

Begin job on node150 at 2019-09-14 04:57:31
IDJOB=4392336
IDBENCH=127865
IDSOLVER=2838
FILE ID=node150/4392336-1568429891
RUNJOBID= node150-1568416728-26452
PBS_JOBID= 21702251
Free space on /tmp= 59360 MiB

SOLVER NAME= Fun-sCOP order+ManyGlucose (2019-06-15)
BENCH NAME= XCSP17/RectPacking/RectPacking-m1-perf/RectPacking-perfect-033.xml
COMMAND LINE= DIR/scop.sh 22g DIR/scop.jar -order DIR/manyglucose-4.1-27_release -model:-nthreads=NBCORE:-maxmemory=20000:-lit-scans=6000000 TMPDIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4392336-1568429891/watcher-4392336-1568429891 -o /tmp/evaluation-result-4392336-1568429891/solver-4392336-1568429891 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node150-1568416728-26452 --watchdog 2580  HOME/scop.sh 22g HOME/scop.jar -order HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4392336-1568429891.xml

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

MD5SUM BENCH= 273a3a450a7af16ef80dfed9e1af494c
RANDOM SEED=1925339228

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:        27076392 kB
MemAvailable:   31829948 kB
Buffers:          206016 kB
Cached:          4758108 kB
SwapCached:        13672 kB
Active:          1137324 kB
Inactive:        3875572 kB
Active(anon):      12416 kB
Inactive(anon):    61656 kB
Active(file):    1124908 kB
Inactive(file):  3813916 kB
Unevictable:      109232 kB
Mlocked:          109232 kB
SwapTotal:      67108860 kB
SwapFree:       67021676 kB
Dirty:             20856 kB
Writeback:             0 kB
AnonPages:        144120 kB
Mapped:            39108 kB
Shmem:             17008 kB
Slab:             274092 kB
SReclaimable:     243192 kB
SUnreclaim:        30900 kB
KernelStack:        3440 kB
PageTables:         6436 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:57:54