Trace number 4392633

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

NameRectPacking/RectPacking-m1-perf/
RectPacking-perfect-012.xml
MD5SUM2f6e926eec9d3271c32e6368d6cce3f2
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 benchmark18.0419
Satisfiable
(Un)Satisfiability was proved
Number of variables46
Number of constraints49
Number of domains1
Minimum domain size140
Maximum domain size140
Distribution of domain sizes[{"size":140,"count":46}]
Minimum variable degree2
Maximum variable degree4
Distribution of variable degrees[{"degree":2,"count":44},{"degree":3,"count":1},{"degree":4,"count":1}]
Minimum constraint arity1
Maximum constraint arity46
Distribution of constraint arities[{"arity":1,"count":47},{"arity":2,"count":1},{"arity":46,"count":1}]
Number of extensional constraints0
Number of intensional constraints48
Distribution of constraint types[{"type":"intension","count":48},{"type":"noOverlap","count":1}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c (scop.sh) java -Xms22g -Xmx22g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Encode -hybrid -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-12135-serial-file.bin HOME/instance-4392633-1568430058.xml
0.66/0.54	
0.66/0.54	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
0.66/0.54	
0.66/0.56	c BEGIN-Prog: Sat Sep 14 05:00:21 CEST 2019
0.66/0.56	c PID: 12138
0.66/0.56	c IP: 172.20.3.149
0.66/0.56	c HOST: node149.alineos.net
0.66/0.57	c (0,0) Parsing Begin
1.39/0.90	c (0,0) Parsing End
1.39/0.90	c (0,0) CSP: 46 int (0 aux), 0 bool (0 aux), 49 ctr, max domain size 140
1.39/0.90	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.39/0.90	c (0,0) Constraint Name Generate Begin
1.39/0.91	c (0,0) Ctr:HOME/instance-4392633-1568430058.xml,Le:NoOverlap:Num:Var
1.39/0.91	c (0,0) Constraint Name Generate End
1.39/0.91	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.39/0.91	c (0,0) CSP to CSPinCNF Begin
1.39/0.99	c (0,0) translated 5 (10%) constraints
1.39/0.99	c (0,0) translated 10 (20%) constraints
1.39/0.99	c (0,0) translated 15 (30%) constraints
1.39/1.00	c (0,0) translated 20 (40%) constraints
1.39/1.00	c (0,0) translated 25 (50%) constraints
1.39/1.00	c (0,0) translated 30 (60%) constraints
1.39/1.00	c (0,0) translated 35 (70%) constraints
1.56/1.01	c (0,0) translated 40 (80%) constraints
1.56/1.01	c (0,0) translated 45 (90%) constraints
2.19/1.25	c (0,0) translated 49 (100%) constraints
2.19/1.25	c (0,0) ===========================================
2.19/1.27	c (0,0) Hybrid: #OE=46, #LE=0
2.19/1.27	c (0,0) Hybrid
2.19/1.27	c (0,0) ===========================================
2.19/1.28	c (0,0) translated 31 (10%) constraints
2.19/1.28	c (0,0) translated 61 (20%) constraints
2.19/1.29	c (0,0) translated 91 (30%) constraints
2.19/1.30	c (0,0) translated 121 (40%) constraints
2.49/1.30	c (0,0) translated 151 (50%) constraints
2.49/1.31	c (0,0) translated 181 (60%) constraints
2.49/1.31	c (0,0) translated 211 (70%) constraints
2.49/1.31	c (0,0) translated 241 (80%) constraints
2.49/1.32	c (0,0) translated 271 (90%) constraints
2.49/1.32	c (0,0) translated 301 (100%) constraints
2.49/1.33	c (0,0) CSP to CSPinCNF End
2.49/1.33	c (0,0) CSP: 46 int (0 aux), 0 bool (0 aux), 301 ctr, max domain size 140
2.49/1.33	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 23 MiB used (max 0 MiB)
2.49/1.33	c (0,0) CSPinCNF Propagation Begin
2.49/1.35	c (0,0) 0 values, 6 unsatisfiable literals, and 47 valid clauses are removed
2.49/1.35	c (0,0) CSPinCNF Propagation End
2.49/1.36	c (0,0) CSP: 46 int (0 aux), 0 bool (0 aux), 254 ctr, max domain size 140
2.49/1.36	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 23 MiB used (max 0 MiB)
2.49/1.36	c (0,0) Hybrid: #OE=46, #LE=0
2.49/1.36	c (0,0) Simplify CSPinCNF Begin
2.84/1.45	c (0,0) Simplify CSPinCNF End
2.84/1.46	c (0,0) CSP: 46 int (0 aux), 1006 bool (1006 aux), 1260 ctr, max domain size 140
2.84/1.46	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 24 MiB used (max 0 MiB)
2.84/1.46	c (0,0) Calculate Precise Domain Begin
2.84/1.46	c (0,0) 0 values are removed by re-calculation
2.84/1.46	c (0,0) Calculate Precise Domain End
2.84/1.46	c (0,0) CSP: 46 int (0 aux), 1006 bool (1006 aux), 1260 ctr, max domain size 140
2.84/1.46	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 24 MiB used (max 0 MiB)
2.84/1.46	c (0,0) CSPinCNF to SatSolver Begin
3.81/1.73	c (1,1) 126 (10 %) CSP clauses are encoded (0 SAT variables, 16893 SAT clauses)
4.60/1.96	c (1,1) 252 (20 %) CSP clauses are encoded (0 SAT variables, 28273 SAT clauses)
4.60/1.96	c (1,1) 378 (30 %) CSP clauses are encoded (0 SAT variables, 39287 SAT clauses)
4.60/1.96	c (1,1) 504 (40 %) CSP clauses are encoded (0 SAT variables, 49453 SAT clauses)
4.60/1.96	c (1,1) 630 (50 %) CSP clauses are encoded (0 SAT variables, 59895 SAT clauses)
4.60/2.00	c (1,1) 756 (60 %) CSP clauses are encoded (0 SAT variables, 69143 SAT clauses)
4.78/2.04	c (1,1) 882 (70 %) CSP clauses are encoded (0 SAT variables, 77631 SAT clauses)
4.78/2.07	c (1,1) 1008 (80 %) CSP clauses are encoded (0 SAT variables, 85684 SAT clauses)
4.78/2.10	c (1,1) 1134 (90 %) CSP clauses are encoded (0 SAT variables, 92551 SAT clauses)
4.89/2.13	c (1,1) 1260 (100 %) CSP clauses are encoded (0 SAT variables, 97747 SAT clauses)
4.89/2.13	c (1,1) CSPinCNF to SatSolver End
4.89/2.13	c (1,1) Heap : 675 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB)
4.89/2.13	c (1,1) 6256 bool, 97790 clause
4.89/2.13	c (1,1) Export Begin
5.05/2.21	c (1,1) Export to HOME/scop-12135-serial-file.bin
5.05/2.21	c (1,1) Export End
5.05/2.21	c (1,1) Export File Size: 0.01 MB
5.05/2.21	c (1,1) 0,0,0,0,0,0,1,STOP-AFTER(DIMACS)
5.05/2.21	c END-Prog: Sat Sep 14 05:00:22 CEST 2019
5.05/2.23	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-12135-serial-file.bin
5.10/2.69	c (0,0) Read Serial File Begin
5.10/2.69	c (0,0) HOME/scop-12135-serial-file.bin
5.10/2.89	c (0,0) Read Serial File End
5.10/2.90	
5.10/2.90	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
5.10/2.90	(Solving Process)
5.10/2.90	
5.10/2.92	c BEGIN-Prog: Sat Sep 14 05:00:23 CEST 2019
5.10/2.92	c PID: 12158
5.10/2.92	c IP: 172.20.3.149
5.10/2.92	c HOST: node149.alineos.net
5.10/2.93	c (0,0) SatSolver.solve Begin
5.10/2.93	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4392633-1568430058.xml-scop-12138.cnf
5.10/2.95	c (0,0) c
5.10/2.95	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)
5.10/2.95	c (0,0) c
5.10/2.95	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
5.10/2.95	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
5.10/2.95	c (0,0) c ========================================[ Problem Statistics ]===========================================
5.10/2.95	c (0,0) c |                                                                                                       |
5.10/2.98	c (0,0) c |  Number of variables:          6256                                                                   |
5.10/2.98	c (0,0) c |  Number of clauses:           97790                                                                   |
5.10/2.98	c (0,0) c |  Parse time:                   0.03 s                                                                 |
5.10/2.98	c (0,0) c |                                                                                                       |
6.26/3.06	c (0,0) c |  Simplification time:          0.07 s                                                                 |
6.26/3.06	c (0,0) c |                                                                                                       |
6.26/3.06	c (0,0) c |  Generating clones                                                                                    |
6.26/3.09	c (0,0) c |  all clones generated. Memory =    85.58Mb.                                                           |
6.26/3.09	c (0,0) c ========================================================================================================|
6.26/3.09	c (0,0) c
6.26/3.09	c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
6.26/3.10	c (0,0) c
6.26/3.10	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
6.26/3.10	c (0,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
6.26/3.10	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
6.26/3.10	c (0,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
6.26/3.10	c (0,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
6.26/3.10	c (0,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
6.26/3.10	c (0,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
6.26/3.10	c (0,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
6.26/3.10	c (0,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
6.26/3.10	c (0,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
6.26/3.10	c (0,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
6.26/3.10	c (0,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
6.26/3.10	c (0,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
6.26/3.10	c (0,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
6.26/3.10	c (0,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
6.26/3.10	c (0,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
6.26/3.10	c (0,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
6.26/3.10	c (0,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
6.26/3.10	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
180.06/25.59	c (22,0) c
180.06/25.59	c (22,0) c real time : 22.6381 s
180.06/25.59	c (22,0) c cpu time  : 173.555 s
180.06/25.59	c (22,0) c
180.06/25.59	c (22,0) c
180.06/25.59	c (22,0) c
180.06/25.59	c (22,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
180.06/25.59	c (22,0) c
180.06/25.59	c (22,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
180.06/25.59	c (22,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
180.06/25.59	c (22,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
180.06/25.59	c (22,0) c | Conflicts     |          834776 |     102943 |     103761 |     107373 |     104119 |     102658 |     104787 |     104032 |     105103 |
180.06/25.59	c (22,0) c | Decisions     |         1401502 |     169286 |     176589 |     178880 |     174670 |     175068 |     174827 |     173443 |     178739 |
180.06/25.59	c (22,0) c | Propagations  |       219412878 |   27453256 |   27091795 |   27999147 |   27321263 |   26753430 |   27426981 |   27960066 |   27406940 |
180.06/25.59	c (22,0) c | ReduceDBs     |              64 |          8 |          8 |          8 |          8 |          8 |          8 |          8 |          8 |
180.06/25.59	c (22,0) c | SimpDBs       |              26 |          4 |          3 |          3 |          3 |          3 |          4 |          3 |          3 |
180.06/25.59	c (22,0) c | Restarts      |            2876 |        301 |        366 |        331 |        362 |        391 |        324 |        378 |        423 |
180.06/25.59	c (22,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
180.06/25.59	c (22,0) c | PropBinClauses|       295224040 |   36667225 |   36284123 |   38036170 |   36881424 |   36270340 |   36935977 |   37550709 |   36598072 |
180.06/25.59	c (22,0) c | PropPreBlocker|      4203864779 |  520672515 |  519322437 |  536933666 |  517355631 |  515260974 |  527991972 |  534070850 |  532256734 |
180.06/25.59	c (22,0) c | PropNotBlocker|      1571503797 |  192335669 |  193803788 |  198002860 |  194570653 |  195866763 |  197130390 |  200204152 |  199589522 |
180.06/25.59	c (22,0) c | LitFullScans  |      8995253228 | 1110052350 | 1111689096 | 1140047203 | 1116046449 | 1110048748 | 1128088003 | 1139230283 | 1140051096 |
180.06/25.59	c (22,0) c | LitScanFracts |          351927 |      42663 |      54223 |      42973 |      39814 |      42970 |      41886 |      44010 |      43388 |
180.06/25.59	c (22,0) c | DecisionLevel0|            2888 |        304 |        367 |        332 |        364 |        392 |        325 |        379 |        425 |
180.06/25.59	c (22,0) c | Periods       |            1498 |        185 |        185 |        190 |        186 |        185 |        188 |        189 |        190 |
180.06/25.59	c (22,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
180.06/25.59	c (22,0) c | Avg_Trail     |                 |       1969 |       1977 |       1967 |       1955 |       1951 |       1960 |       1955 |       1965 |
180.06/25.59	c (22,0) c | Avg_DL        |                 |         21 |         21 |         22 |         21 |         21 |         21 |         21 |         22 |
180.06/25.59	c (22,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
180.06/25.59	c (22,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
180.06/25.59	c (22,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
180.06/25.59	c (22,0) c | Exported      |          126331 |      15383 |      15625 |      15780 |      15766 |      15942 |      16608 |      15783 |      15444 |
180.06/25.59	c (22,0) c | Imported      |          832656 |     104255 |     103994 |     102828 |     104057 |     102662 |     104187 |     105404 |     105269 |
180.06/25.59	c (22,0) c | Good          |             472 |         58 |         63 |         58 |         59 |         59 |         60 |         59 |         56 |
180.06/25.59	c (22,0) c | Purge         |          832184 |     104197 |     103931 |     102770 |     103998 |     102603 |     104127 |     105345 |     105213 |
180.06/25.59	c (22,0) c | Promoted      |           98768 |      12136 |      12082 |      12672 |      12298 |      12406 |      12223 |      12380 |      12571 |
180.06/25.59	c (22,0) c | Remove_Imp    |          453927 |      56603 |      56139 |      55114 |      56482 |      57511 |      56744 |      58173 |      57161 |
180.06/25.59	c (22,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
180.06/25.59	c (22,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
180.06/25.59	c (22,0) c | Unaries       |                 |          3 |          1 |          1 |          2 |          1 |          1 |          1 |          2 |
180.06/25.59	c (22,0) c | Binaries      |                 |         10 |          5 |          8 |          9 |          7 |          8 |          9 |         12 |
180.06/25.59	c (22,0) c | Glues         |                 |        124 |        142 |        149 |        129 |        112 |        128 |        136 |        146 |
180.06/25.59	c (22,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
180.06/25.59	c (22,0) c | Orig_Seen     |            22 % |      21028 |      23734 |      22227 |      21843 |      21901 |      22354 |      20897 |      22205 |
180.06/25.59	c (22,0) c | Diff Orig seen|                 | -     2706 |      X     | -     1507 | -     1891 | -     1833 | -     1380 | -     2837 | -     1529 |
180.06/25.59	c (22,0) c | Hamming       |            26 % |       1516 |      X     |       1266 |       1875 |       1880 |       1674 |       1816 |       1755 |
180.06/25.59	c (22,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
180.06/25.59	c (22,0) c | RunningTime   |                 |   22.4 100%|   21.5 100%|   21.6 100%|   21.5 100%|   22.4 100%|   21.5 100%|   21.5 100%|   21.6 100%|
180.06/25.59	c (22,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%|
180.06/25.59	c (22,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%|
180.06/25.59	c (22,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%|
180.06/25.59	c (22,0) c | SolvingTime   |                 |   22.4     |   21.5     |   21.6     |   21.6     |   22.5     |   21.6     |   21.6     |   21.6     |
180.06/25.59	c (22,0) c | PropagationTim|                 |   19.3  86%|   18.8  87%|   18.8  87%|   18.7  87%|   19.4  86%|   18.5  86%|   18.5  86%|   18.8  87%|
180.06/25.59	c (22,0) c | AnalysisTime  |                 |    2.6  11%|    2.1  10%|    2.2  10%|    2.2  10%|    2.4  11%|    2.4  11%|    2.5  11%|    2.2  10%|
180.06/25.59	c (22,0) c | ReductionTime |                 |    0.2   1%|    0.2   1%|    0.2   1%|    0.2   1%|    0.2   1%|    0.2   1%|    0.2   1%|    0.2   1%|
180.06/25.59	c (22,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%|
180.06/25.59	c (22,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%|
180.06/25.59	c (22,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%|
180.06/25.59	c (22,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
180.06/25.59	c (22,0) c
180.06/25.59	c (22,0) c
180.06/25.59	c (22,0) c Threads : 8
180.06/25.59	c (22,0) c Winner : 1
180.06/25.59	c (22,0) c Conflicts_0 : 102943
180.06/25.59	c (22,0) c Conflicts_1 : 103761
180.06/25.59	c (22,0) c Conflicts_2 : 107373
180.06/25.59	c (22,0) c Conflicts_3 : 104119
180.06/25.59	c (22,0) c Conflicts_4 : 102658
180.06/25.59	c (22,0) c Conflicts_5 : 104787
180.06/25.59	c (22,0) c Conflicts_6 : 104032
180.06/25.59	c (22,0) c Conflicts_7 : 105103
180.06/25.59	c (22,0) c Conflicts_total : 834776
180.06/25.59	c (22,0) c Conflicts_winner : 103761
180.06/25.59	c (22,0) c Decisions_0 : 169286
180.06/25.59	c (22,0) c Decisions_1 : 176589
180.06/25.59	c (22,0) c Decisions_2 : 178880
180.06/25.59	c (22,0) c Decisions_3 : 174670
180.06/25.59	c (22,0) c Decisions_4 : 175068
180.06/25.59	c (22,0) c Decisions_5 : 174827
180.06/25.59	c (22,0) c Decisions_6 : 173443
180.06/25.59	c (22,0) c Decisions_7 : 178739
180.06/25.59	c (22,0) c Decisions_total : 1401502
180.06/25.59	c (22,0) c Decisions_winner : 176589
180.06/25.59	c (22,0) c Propagations_0 : 27453256
180.06/25.59	c (22,0) c Propagations_1 : 27091795
180.06/25.59	c (22,0) c Propagations_2 : 27999147
180.06/25.59	c (22,0) c Propagations_3 : 27321263
180.06/25.59	c (22,0) c Propagations_4 : 26753430
180.06/25.59	c (22,0) c Propagations_5 : 27426981
180.06/25.59	c (22,0) c Propagations_6 : 27960066
180.06/25.59	c (22,0) c Propagations_7 : 27406940
180.06/25.59	c (22,0) c Propagations_total : 219412878
180.06/25.59	c (22,0) c Propagations_winner : 27091795
180.06/25.59	c (22,0) c ReduceDBs_0 : 8
180.06/25.59	c (22,0) c ReduceDBs_1 : 8
180.06/25.59	c (22,0) c ReduceDBs_2 : 8
180.06/25.59	c (22,0) c ReduceDBs_3 : 8
180.06/25.59	c (22,0) c ReduceDBs_4 : 8
180.06/25.59	c (22,0) c ReduceDBs_5 : 8
180.06/25.59	c (22,0) c ReduceDBs_6 : 8
180.06/25.59	c (22,0) c ReduceDBs_7 : 8
180.06/25.59	c (22,0) c ReduceDBs_total : 64
180.06/25.59	c (22,0) c ReduceDBs_winner : 8
180.06/25.59	c (22,0) c SimpDBs_0 : 4
180.06/25.59	c (22,0) c SimpDBs_1 : 3
180.06/25.59	c (22,0) c SimpDBs_2 : 3
180.06/25.59	c (22,0) c SimpDBs_3 : 3
180.06/25.59	c (22,0) c SimpDBs_4 : 3
180.06/25.59	c (22,0) c SimpDBs_5 : 4
180.06/25.59	c (22,0) c SimpDBs_6 : 3
180.06/25.59	c (22,0) c SimpDBs_7 : 3
180.06/25.59	c (22,0) c SimpDBs_total : 26
180.06/25.59	c (22,0) c SimpDBs_winner : 3
180.06/25.59	c (22,0) c Restarts_0 : 301
180.06/25.59	c (22,0) c Restarts_1 : 366
180.06/25.59	c (22,0) c Restarts_2 : 331
180.06/25.59	c (22,0) c Restarts_3 : 362
180.06/25.59	c (22,0) c Restarts_4 : 391
180.06/25.59	c (22,0) c Restarts_5 : 324
180.06/25.59	c (22,0) c Restarts_6 : 378
180.06/25.59	c (22,0) c Restarts_7 : 423
180.06/25.59	c (22,0) c Restarts_total : 2876
180.06/25.59	c (22,0) c Restarts_winner : 366
180.06/25.59	c (22,0) c ForcedImports_0 : 0
180.06/25.59	c (22,0) c ForcedImports_1 : 0
180.06/25.59	c (22,0) c ForcedImports_2 : 0
180.06/25.59	c (22,0) c ForcedImports_3 : 0
180.06/25.59	c (22,0) c ForcedImports_4 : 0
180.06/25.59	c (22,0) c ForcedImports_5 : 0
180.06/25.59	c (22,0) c ForcedImports_6 : 0
180.06/25.59	c (22,0) c ForcedImports_7 : 0
180.06/25.59	c (22,0) c ForcedImports_total : 0
180.06/25.59	c (22,0) c ForcedImports_winner : 0
180.06/25.59	c (22,0) c PropsBinClauses_0 : 36667225
180.06/25.59	c (22,0) c PropsBinClauses_1 : 36284123
180.06/25.59	c (22,0) c PropsBinClauses_2 : 38036170
180.06/25.59	c (22,0) c PropsBinClauses_3 : 36881424
180.06/25.59	c (22,0) c PropsBinClauses_4 : 36270340
180.06/25.59	c (22,0) c PropsBinClauses_5 : 36935977
180.06/25.59	c (22,0) c PropsBinClauses_6 : 37550709
180.06/25.59	c (22,0) c PropsBinClauses_7 : 36598072
180.06/25.59	c (22,0) c PropsBinClauses_total : 295224040
180.06/25.59	c (22,0) c PropsBinClauses_winner : 36284123
180.06/25.59	c (22,0) c PropsPreBlocker_0 : 520672515
180.06/25.59	c (22,0) c PropsPreBlocker_1 : 519322437
180.06/25.59	c (22,0) c PropsPreBlocker_2 : 536933666
180.06/25.59	c (22,0) c PropsPreBlocker_3 : 517355631
180.06/25.59	c (22,0) c PropsPreBlocker_4 : 515260974
180.06/25.59	c (22,0) c PropsPreBlocker_5 : 527991972
180.06/25.59	c (22,0) c PropsPreBlocker_6 : 534070850
180.06/25.59	c (22,0) c PropsPreBlocker_7 : 532256734
180.06/25.59	c (22,0) c PropsPreBlocker_total : 4203864779
180.06/25.59	c (22,0) c PropsPreBlocker_winner : 519322437
180.06/25.59	c (22,0) c PropsNotBlocker_0 : 192335669
180.06/25.59	c (22,0) c PropsNotBlocker_1 : 193803788
180.06/25.60	c (22,0) c PropsNotBlocker_2 : 198002860
180.06/25.60	c (22,0) c PropsNotBlocker_3 : 194570653
180.06/25.60	c (22,0) c PropsNotBlocker_4 : 195866763
180.06/25.60	c (22,0) c PropsNotBlocker_5 : 197130390
180.06/25.60	c (22,0) c PropsNotBlocker_6 : 200204152
180.06/25.60	c (22,0) c PropsNotBlocker_7 : 199589522
180.06/25.60	c (22,0) c PropsNotBlocker_total : 1571503797
180.06/25.60	c (22,0) c PropsNotBlocker_winner : 193803788
180.06/25.60	c (22,0) c PropsLitFullScans_0 : 1110052350
180.06/25.60	c (22,0) c PropsLitFullScans_1 : 1111689096
180.06/25.60	c (22,0) c PropsLitFullScans_2 : 1140047203
180.06/25.60	c (22,0) c PropsLitFullScans_3 : 1116046449
180.06/25.60	c (22,0) c PropsLitFullScans_4 : 1110048748
180.06/25.60	c (22,0) c PropsLitFullScans_5 : 1128088003
180.06/25.60	c (22,0) c PropsLitFullScans_6 : 1139230283
180.06/25.60	c (22,0) c PropsLitFullScans_7 : 1140051096
180.06/25.60	c (22,0) c PropsLitFullScans_total : 8995253228
180.06/25.60	c (22,0) c PropsLitFullScans_winner : 1111689096
180.06/25.60	c (22,0) c LitScanFractions_0 : 42663
180.06/25.60	c (22,0) c LitScanFractions_1 : 54223
180.06/25.60	c (22,0) c LitScanFractions_2 : 42973
180.06/25.60	c (22,0) c LitScanFractions_3 : 39814
180.06/25.60	c (22,0) c LitScanFractions_4 : 42970
180.06/25.60	c (22,0) c LitScanFractions_5 : 41886
180.06/25.60	c (22,0) c LitScanFractions_6 : 44010
180.06/25.60	c (22,0) c LitScanFractions_7 : 43388
180.06/25.60	c (22,0) c LitScanFractions_total : 351927
180.06/25.60	c (22,0) c LitScanFractions_winner : 54223
180.06/25.60	c (22,0) c DecisionLevel0_0 : 304
180.06/25.60	c (22,0) c DecisionLevel0_1 : 367
180.06/25.60	c (22,0) c DecisionLevel0_2 : 332
180.06/25.60	c (22,0) c DecisionLevel0_3 : 364
180.06/25.60	c (22,0) c DecisionLevel0_4 : 392
180.06/25.60	c (22,0) c DecisionLevel0_5 : 325
180.06/25.60	c (22,0) c DecisionLevel0_6 : 379
180.06/25.60	c (22,0) c DecisionLevel0_7 : 425
180.06/25.60	c (22,0) c DecisionLevel0_total : 2888
180.06/25.60	c (22,0) c DecisionLevel0_winner : 367
180.06/25.60	c (22,0) c Periods_0 : 185
180.06/25.60	c (22,0) c Periods_1 : 185
180.06/25.60	c (22,0) c Periods_2 : 190
180.06/25.60	c (22,0) c Periods_3 : 186
180.06/25.60	c (22,0) c Periods_4 : 185
180.06/25.60	c (22,0) c Periods_5 : 188
180.06/25.60	c (22,0) c Periods_6 : 189
180.06/25.60	c (22,0) c Periods_7 : 190
180.06/25.60	c (22,0) c Periods_total : 1498
180.06/25.60	c (22,0) c Periods_winner : 185
180.06/25.60	c (22,0) c Margin_0 : 20
180.06/25.60	c (22,0) c Margin_1 : 20
180.06/25.60	c (22,0) c Margin_2 : 20
180.06/25.60	c (22,0) c Margin_3 : 20
180.06/25.60	c (22,0) c Margin_4 : 20
180.06/25.60	c (22,0) c Margin_5 : 20
180.06/25.60	c (22,0) c Margin_6 : 20
180.06/25.60	c (22,0) c Margin_7 : 20
180.06/25.60	c (22,0) c Margin_total : 160
180.06/25.60	c (22,0) c Margin_winner : 20
180.06/25.60	c (22,0) c Exported_0 : 15383
180.06/25.60	c (22,0) c Exported_1 : 15625
180.06/25.60	c (22,0) c Exported_2 : 15780
180.06/25.60	c (22,0) c Exported_3 : 15766
180.06/25.60	c (22,0) c Exported_4 : 15942
180.06/25.60	c (22,0) c Exported_5 : 16608
180.06/25.60	c (22,0) c Exported_6 : 15783
180.06/25.60	c (22,0) c Exported_7 : 15444
180.06/25.60	c (22,0) c Exported_total : 126331
180.06/25.60	c (22,0) c Exported_winner : 15625
180.06/25.60	c (22,0) c Imported_0 : 104255
180.06/25.60	c (22,0) c Imported_1 : 103994
180.06/25.60	c (22,0) c Imported_2 : 102828
180.06/25.60	c (22,0) c Imported_3 : 104057
180.06/25.60	c (22,0) c Imported_4 : 102662
6.25/25.60	c (22,0) c Imported_5 : 104187
6.25/25.60	c (22,0) c Imported_6 : 105404
6.25/25.60	c (22,0) c Imported_7 : 105269
6.25/25.60	c (22,0) c Imported_total : 832656
6.25/25.60	c (22,0) c Imported_winner : 103994
6.25/25.60	c (22,0) c Good_0 : 58
6.25/25.60	c (22,0) c Good_1 : 63
6.25/25.60	c (22,0) c Good_2 : 58
6.25/25.60	c (22,0) c Good_3 : 59
6.25/25.60	c (22,0) c Good_4 : 59
6.25/25.60	c (22,0) c Good_5 : 60
6.25/25.60	c (22,0) c Good_6 : 59
6.25/25.60	c (22,0) c Good_7 : 56
6.25/25.60	c (22,0) c Good_total : 472
6.25/25.60	c (22,0) c Good_winner : 63
6.25/25.60	c (22,0) c Purge_0 : 104197
6.25/25.60	c (22,0) c Purge_1 : 103931
6.25/25.60	c (22,0) c Purge_2 : 102770
6.25/25.60	c (22,0) c Purge_3 : 103998
6.25/25.60	c (22,0) c Purge_4 : 102603
6.25/25.60	c (22,0) c Purge_5 : 104127
6.25/25.60	c (22,0) c Purge_6 : 105345
6.25/25.60	c (22,0) c Purge_7 : 105213
6.25/25.60	c (22,0) c Purge_total : 832184
6.25/25.60	c (22,0) c Purge_winner : 103931
6.25/25.60	c (22,0) c Promoted_0 : 12136
6.25/25.60	c (22,0) c Promoted_1 : 12082
6.25/25.60	c (22,0) c Promoted_2 : 12672
6.25/25.60	c (22,0) c Promoted_3 : 12298
6.25/25.60	c (22,0) c Promoted_4 : 12406
6.25/25.60	c (22,0) c Promoted_5 : 12223
6.25/25.60	c (22,0) c Promoted_6 : 12380
6.25/25.60	c (22,0) c Promoted_7 : 12571
6.25/25.60	c (22,0) c Promoted_total : 98768
6.25/25.60	c (22,0) c Promoted_winner : 12082
6.25/25.60	c (22,0) c Remove_Imp_0 : 56603
6.25/25.60	c (22,0) c Remove_Imp_1 : 56139
6.25/25.60	c (22,0) c Remove_Imp_2 : 55114
6.25/25.60	c (22,0) c Remove_Imp_3 : 56482
6.25/25.60	c (22,0) c Remove_Imp_4 : 57511
6.25/25.60	c (22,0) c Remove_Imp_5 : 56744
6.25/25.60	c (22,0) c Remove_Imp_6 : 58173
6.25/25.60	c (22,0) c Remove_Imp_7 : 57161
6.25/25.60	c (22,0) c Remove_Imp_total : 453927
6.25/25.60	c (22,0) c Remove_Imp_winner : 56139
6.25/25.60	c (22,0) c Blocked_Reuse_0 : 0
6.25/25.60	c (22,0) c Blocked_Reuse_1 : 0
6.25/25.60	c (22,0) c Blocked_Reuse_2 : 0
6.25/25.60	c (22,0) c Blocked_Reuse_3 : 0
6.25/25.60	c (22,0) c Blocked_Reuse_4 : 0
6.25/25.60	c (22,0) c Blocked_Reuse_5 : 0
6.25/25.60	c (22,0) c Blocked_Reuse_6 : 0
6.25/25.60	c (22,0) c Blocked_Reuse_7 : 0
6.25/25.60	c (22,0) c Blocked_Reuse_total : 0
6.25/25.60	c (22,0) c Blocked_Reuse_winner : 0
6.25/25.60	c (22,0) c Unaries_0 : 3
6.25/25.60	c (22,0) c Unaries_1 : 1
6.25/25.60	c (22,0) c Unaries_2 : 1
6.25/25.60	c (22,0) c Unaries_3 : 2
6.25/25.60	c (22,0) c Unaries_4 : 1
6.25/25.60	c (22,0) c Unaries_5 : 1
6.25/25.60	c (22,0) c Unaries_6 : 1
6.25/25.60	c (22,0) c Unaries_7 : 2
6.25/25.60	c (22,0) c Unaries_total : 12
6.25/25.60	c (22,0) c Unaries_winner : 1
6.25/25.60	c (22,0) c Binaries_0 : 10
6.25/25.60	c (22,0) c Binaries_1 : 5
6.25/25.60	c (22,0) c Binaries_2 : 8
6.25/25.60	c (22,0) c Binaries_3 : 9
6.25/25.60	c (22,0) c Binaries_4 : 7
6.25/25.60	c (22,0) c Binaries_5 : 8
6.25/25.60	c (22,0) c Binaries_6 : 9
6.25/25.60	c (22,0) c Binaries_7 : 12
6.25/25.60	c (22,0) c Binaries_total : 68
6.25/25.60	c (22,0) c Binaries_winner : 5
6.25/25.60	c (22,0) c Glues_0 : 124
6.25/25.60	c (22,0) c Glues_1 : 142
6.25/25.60	c (22,0) c Glues_2 : 149
6.25/25.60	c (22,0) c Glues_3 : 129
6.25/25.60	c (22,0) c Glues_4 : 112
6.25/25.60	c (22,0) c Glues_5 : 128
6.25/25.60	c (22,0) c Glues_6 : 136
6.25/25.60	c (22,0) c Glues_7 : 146
6.25/25.60	c (22,0) c Glues_total : 1066
6.25/25.60	c (22,0) c Glues_winner : 142
6.25/25.60	c (22,0) c RunningTime_0 : 22.395659
6.25/25.60	c (22,0) c RunningTime_1 : 21.510911
6.25/25.60	c (22,0) c RunningTime_2 : 21.568919
6.25/25.60	c (22,0) c RunningTime_3 : 21.517344
6.25/25.60	c (22,0) c RunningTime_4 : 22.442373
6.25/25.60	c (22,0) c RunningTime_5 : 21.517520
6.25/25.60	c (22,0) c RunningTime_6 : 21.515615
6.25/25.60	c (22,0) c RunningTime_7 : 21.554446
6.25/25.60	c (22,0) c RunningTime_total : 174.022786
6.25/25.60	c (22,0) c RunningTime_winner : 21.510911
6.25/25.60	c (22,0) c WaitingTime_0 : 0.000204
6.25/25.60	c (22,0) c WaitingTime_1 : 0.000231
6.25/25.60	c (22,0) c WaitingTime_2 : 0.000226
6.25/25.60	c (22,0) c WaitingTime_3 : 0.000237
6.25/25.60	c (22,0) c WaitingTime_4 : 0.000201
6.25/25.60	c (22,0) c WaitingTime_5 : 0.000262
6.25/25.60	c (22,0) c WaitingTime_6 : 0.000247
6.25/25.60	c (22,0) c WaitingTime_7 : 0.000264
6.25/25.60	c (22,0) c WaitingTime_total : 0.001874
6.25/25.60	c (22,0) c WaitingTime_winner : 0.000231
6.25/25.60	c (22,0) c ExchangingTime_0 : 0.034728
6.25/25.60	c (22,0) c ExchangingTime_1 : 0.036196
6.25/25.60	c (22,0) c ExchangingTime_2 : 0.040435
6.25/25.60	c (22,0) c ExchangingTime_3 : 0.041136
6.25/25.60	c (22,0) c ExchangingTime_4 : 0.037354
6.25/25.60	c (22,0) c ExchangingTime_5 : 0.040737
6.25/25.60	c (22,0) c ExchangingTime_6 : 0.035016
6.25/25.60	c (22,0) c ExchangingTime_7 : 0.038442
6.25/25.60	c (22,0) c ExchangingTime_total : 0.304043
6.25/25.60	c (22,0) c ExchangingTime_winner : 0.036196
6.25/25.60	c (22,0) c PeriodProcTime_0 : 0.001765
6.25/25.60	c (22,0) c PeriodProcTime_1 : 0.001725
6.25/25.60	c (22,0) c PeriodProcTime_2 : 0.001385
6.25/25.60	c (22,0) c PeriodProcTime_3 : 0.001455
6.25/25.60	c (22,0) c PeriodProcTime_4 : 0.001312
6.25/25.60	c (22,0) c PeriodProcTime_5 : 0.001427
6.25/25.60	c (22,0) c PeriodProcTime_6 : 0.001468
6.25/25.60	c (22,0) c PeriodProcTime_7 : 0.001704
6.25/25.60	c (22,0) c PeriodProcTime_total : 0.012242
6.25/25.60	c (22,0) c PeriodProcTime_winner : 0.001725
6.25/25.60	c (22,0) c SolvingTime_0 : 22.432355
6.25/25.60	c (22,0) c SolvingTime_1 : 21.549062
6.25/25.60	c (22,0) c SolvingTime_2 : 21.610965
6.25/25.60	c (22,0) c SolvingTime_3 : 21.560172
6.25/25.60	c (22,0) c SolvingTime_4 : 22.481241
6.25/25.60	c (22,0) c SolvingTime_5 : 21.559947
6.25/25.60	c (22,0) c SolvingTime_6 : 21.552346
6.25/25.60	c (22,0) c SolvingTime_7 : 21.594857
6.25/25.60	c (22,0) c SolvingTime_total : 174.340945
6.25/25.60	c (22,0) c SolvingTime_winner : 21.549062
6.25/25.60	c (22,0) c PropagationTime_0 : 19.263983
6.25/25.60	c (22,0) c PropagationTime_1 : 18.782588
6.25/25.60	c (22,0) c PropagationTime_2 : 18.806035
6.25/25.60	c (22,0) c PropagationTime_3 : 18.737387
6.25/25.60	c (22,0) c PropagationTime_4 : 19.407333
6.25/25.60	c (22,0) c PropagationTime_5 : 18.487988
6.25/25.60	c (22,0) c PropagationTime_6 : 18.461513
6.25/25.60	c (22,0) c PropagationTime_7 : 18.784095
6.25/25.60	c (22,0) c PropagationTime_total : 150.730921
6.25/25.60	c (22,0) c PropagationTime_winner : 18.782588
6.25/25.60	c (22,0) c AnalysisTime_0 : 2.560264
6.25/25.60	c (22,0) c AnalysisTime_1 : 2.139128
6.25/25.60	c (22,0) c AnalysisTime_2 : 2.182438
6.25/25.60	c (22,0) c AnalysisTime_3 : 2.195434
6.25/25.60	c (22,0) c AnalysisTime_4 : 2.445026
6.25/25.60	c (22,0) c AnalysisTime_5 : 2.432712
6.25/25.60	c (22,0) c AnalysisTime_6 : 2.472473
6.25/25.60	c (22,0) c AnalysisTime_7 : 2.173146
6.25/25.60	c (22,0) c AnalysisTime_total : 18.600621
6.25/25.60	c (22,0) c AnalysisTime_winner : 2.139128
6.25/25.60	c (22,0) c ReductionTime_0 : 0.156513
6.25/25.60	c (22,0) c ReductionTime_1 : 0.171486
6.25/25.60	c (22,0) c ReductionTime_2 : 0.161960
6.25/25.60	c (22,0) c ReductionTime_3 : 0.166706
6.25/25.60	c (22,0) c ReductionTime_4 : 0.162300
6.25/25.60	c (22,0) c ReductionTime_5 : 0.159420
6.25/25.60	c (22,0) c ReductionTime_6 : 0.160097
6.25/25.60	c (22,0) c ReductionTime_7 : 0.166701
6.25/25.60	c (22,0) c ReductionTime_total : 1.305183
6.25/25.60	c (22,0) c ReductionTime_winner : 0.171486
6.25/25.60	c (22,0) c SimplifyTime_0 : 0.008076
6.25/25.60	c (22,0) c SimplifyTime_1 : 0.004923
6.25/25.60	c (22,0) c SimplifyTime_2 : 0.004661
6.25/25.60	c (22,0) c SimplifyTime_3 : 0.004069
6.25/25.60	c (22,0) c SimplifyTime_4 : 0.005030
6.25/25.60	c (22,0) c SimplifyTime_5 : 0.008159
6.25/25.60	c (22,0) c SimplifyTime_6 : 0.005702
6.25/25.60	c (22,0) c SimplifyTime_7 : 0.004488
6.25/25.60	c (22,0) c SimplifyTime_total : 0.045108
6.25/25.60	c (22,0) c SimplifyTime_winner : 0.004923
6.25/25.60	c (22,0) c UsedRateTime_0 : 0.000000
6.25/25.60	c (22,0) c UsedRateTime_1 : 0.000000
6.25/25.60	c (22,0) c UsedRateTime_2 : 0.000000
6.25/25.60	c (22,0) c UsedRateTime_3 : 0.000000
6.25/25.60	c (22,0) c UsedRateTime_4 : 0.000000
6.25/25.60	c (22,0) c UsedRateTime_5 : 0.000000
6.25/25.60	c (22,0) c UsedRateTime_6 : 0.000000
6.25/25.60	c (22,0) c UsedRateTime_7 : 0.000000
6.25/25.60	c (22,0) c UsedRateTime_total : 0.000000
6.25/25.60	c (22,0) c UsedRateTime_winner : 0.000000
6.25/25.60	c (22,0) c OverlapRateTime_0 : 0.000000
6.25/25.60	c (22,0) c OverlapRateTime_1 : 0.000000
6.25/25.60	c (22,0) c OverlapRateTime_2 : 0.000000
6.25/25.60	c (22,0) c OverlapRateTime_3 : 0.000000
6.25/25.60	c (22,0) c OverlapRateTime_4 : 0.000000
6.25/25.60	c (22,0) c OverlapRateTime_5 : 0.000000
6.25/25.60	c (22,0) c OverlapRateTime_6 : 0.000000
6.25/25.60	c (22,0) c OverlapRateTime_7 : 0.000000
6.25/25.60	c (22,0) c OverlapRateTime_total : 0.000000
6.25/25.60	c (22,0) c OverlapRateTime_winner : 0.000000
6.25/25.60	c (22,0) c
6.25/25.60	c (22,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
6.25/25.60	c (22,0) c
6.25/25.60	c (22,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
6.25/25.60	c (22,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
6.25/25.60	c (22,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
6.25/25.60	c (22,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
6.25/25.60	c (22,0) c | adaptStrategeis       |      False |      False |      False |      False |      False |      False |      False |      False |
6.25/25.60	c (22,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
6.25/25.60	c (22,0) c | Initial random_seed   |  359170955 | 1680590881 | 1995122212 |  628304767 | 1576204636 | 1034296702 |  341249855 |  259812684 |
6.25/25.60	c (22,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
6.25/25.60	c (22,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
6.25/25.60	c (22,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
6.25/25.60	c (22,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
6.25/25.60	c (22,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
6.25/25.60	c (22,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
6.25/25.60	c (22,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
6.25/25.60	c (22,0) c | var_decay             |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
6.25/25.60	c (22,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
6.25/25.60	c (22,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
6.25/25.60	c (22,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
6.25/25.60	c (22,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
6.25/25.60	c (22,0) 
6.25/25.60	c (22,0) s SATISFIABLE
6.25/25.63	c (23,0) SatSolver.solve End
6.25/25.63	c (23,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
6.25/25.63	c (23,0) Show results Begin
180.47/25.72	c (23,0) x[0] = 65
180.47/25.72	c (23,0) x[1] = 65
180.47/25.72	c (23,0) x[2] = 62
180.47/25.72	c (23,0) x[3] = 75
180.47/25.72	c (23,0) x[4] = 62
180.47/25.72	c (23,0) x[5] = 54
180.47/25.72	c (23,0) x[6] = 38
180.47/25.72	c (23,0) x[7] = 54
180.47/25.72	c (23,0) x[8] = 79
180.47/25.72	c (23,0) x[9] = 79
180.47/25.72	c (23,0) x[10] = 67
180.47/25.72	c (23,0) x[11] = 75
180.47/25.72	c (23,0) x[12] = 48
180.47/25.72	c (23,0) x[13] = 38
180.47/25.72	c (23,0) x[14] = 66
180.47/25.72	c (23,0) x[15] = 48
180.47/25.72	c (23,0) x[16] = 54
180.47/25.72	c (23,0) x[17] = 0
180.47/25.72	c (23,0) x[18] = 98
180.47/25.72	c (23,0) x[19] = 95
180.47/25.72	c (23,0) x[20] = 0
180.47/25.72	c (23,0) x[21] = 87
180.47/25.72	c (23,0) x[22] = 0
180.47/25.72	c (23,0) y[0] = 53
180.47/25.72	c (23,0) y[1] = 51
180.47/25.72	c (23,0) y[2] = 51
180.47/25.72	c (23,0) y[3] = 113
180.47/25.72	c (23,0) y[4] = 46
180.47/25.72	c (23,0) y[5] = 46
180.47/25.72	c (23,0) y[6] = 82
180.47/25.72	c (23,0) y[7] = 33
180.47/25.72	c (23,0) y[8] = 82
180.47/25.72	c (23,0) y[9] = 98
180.47/25.72	c (23,0) y[10] = 33
180.47/25.72	c (23,0) y[11] = 117
180.47/25.72	c (23,0) y[12] = 113
180.47/25.72	c (23,0) y[13] = 54
180.47/25.72	c (23,0) y[14] = 53
180.47/25.72	c (23,0) y[15] = 82
180.47/25.72	c (23,0) y[16] = 0
180.47/25.72	c (23,0) y[17] = 54
180.47/25.72	c (23,0) y[18] = 98
180.47/25.72	c (23,0) y[19] = 53
180.47/25.72	c (23,0) y[20] = 92
180.47/25.72	c (23,0) y[21] = 0
180.47/25.72	c (23,0) y[22] = 0
180.47/25.72	s SATISFIABLE
180.47/25.72	v <instantiation>
180.47/25.72	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] 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]</list>
180.47/25.72	v     <values>65 65 62 75 62 54 38 54 79 79 67 75 48 38 66 48 54 0 98 95 0 87 0 53 51 51 113 46 46 82 33 82 98 33 117 113 54 53 82 0 54 98 53 92 0 0</values>
180.47/25.72	v </instantiation>
180.47/25.72	c (23,0) Show results End
180.47/25.72	c (23,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB)
180.47/25.72	c (23,0) 23,23,STOP-AFTER(ALL)
180.47/25.72	c END-Prog: Sat Sep 14 05:00:46 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 (14868 MiB free)
  memory of node 1: 16384 MiB (15285 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392633-1568430058/watcher-4392633-1568430058 -o /tmp/evaluation-result-4392633-1568430058/solver-4392633-1568430058 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node149-1568429993-11990 --watchdog 2580 HOME/scop.sh 22g HOME/scop.jar -hybrid HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4392633-1568430058.xml 

running on 8 cores: 0,2,4,6,1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=12135, runsolver pid=12132
Current StackSize limit: 8192 KiB


[startup+0.100109 s]*
/proc/loadavg: 6.41 6.47 6.02 2/212 12157
/proc/meminfo: memFree=30784704/32770624 swapFree=66940948/67108860
[pid=12135] ppid=12132 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/12135/stat : 12135 (scop.sh) S 12132 12135 11963 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 419244485 115843072 349 33554432000 4194304 5098028 140736026219808 140736026217064 139869753762428 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 19681280 140736026223396 140736026223724 140736026223724 140736026226637 0
/proc/12135/statm: 28282 349 296 221 0 87 0
[pid=12138] ppid=12135 vsize=27314120 memory=106148 CPUtime=0.1 cores=0-7
/proc/12138/stat : 12138 (java) S 12135 12135 11963 0 -1 1077944320 6617 0 0 0 8 2 0 0 20 0 20 0 419244486 27969658880 26537 33554432000 4194304 4196468 140732926070528 140732926053072 139864141889271 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39342080 140732926079722 140732926080150 140732926080150 140732926083023 0
/proc/12138/statm: 6828530 26537 2798 1 0 6790935 0
[pid=12138/tid=12139] ppid=12135 vsize=27314120 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/12138/task/12139/stat : 12139 (java) R 12135 12135 11963 0 -1 4202560 4724 0 0 0 7 2 0 0 20 0 20 0 419244486 27969658880 26537 33554432000 4194304 4196468 140732926070528 139864113702784 139864127957390 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39342080 140732926079722 140732926080150 140732926080150 140732926083023 0
[pid=12138/tid=12140] ppid=12135 vsize=27314120 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/12138/task/12140/stat : 12140 (java) S 12135 12135 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419244488 27969658880 26537 33554432000 4194304 4196468 140732926070528 139864146131856 139864141899477 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39342080 140732926079722 140732926080150 140732926080150 140732926083023 0
[pid=12138/tid=12141] ppid=12135 vsize=27314120 memory=140085431780992 CPUtime=0 cores=0-7
/proc/12138/task/12141/stat : 12141 (java) S 12135 12135 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419244488 27969658880 27049 33554432000 4194304 4196468 140732926070528 139863960288016 139864141899477 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39342080 140732926079722 140732926080150 140732926080150 140732926083023 0
[pid=12138/tid=12142] ppid=12135 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12138/task/12142/stat : 12142 (java) S 12135 12135 11963 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419244488 27969658880 27049 33554432000 4194304 4196468 140732926070528 139863959235728 139864141899477 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39342080 140732926079722 140732926080150 140732926080150 140732926083023 0
[pid=12138/tid=12143] ppid=12135 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12138/task/12143/stat : 12143 (java) S 12135 12135 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419244488 27969658880 27049 33554432000 4194304 4196468 140732926070528 139863958182928 139864141899477 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39342080 140732926079722 140732926080150 140732926080150 140732926083023 0
[pid=12138/tid=12144] ppid=12135 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12138/task/12144/stat : 12144 (java) S 12135 12135 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419244488 27969658880 27049 33554432000 4194304 4196468 140732926070528 139863957129616 139864141899477 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39342080 140732926079722 140732926080150 140732926080150 140732926083023 0
[pid=12138/tid=12145] ppid=12135 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/12138/task/12145/stat : 12145 (java) S 12135 12135 11963 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419244488 27969658880 27049 33554432000 4194304 4196468 140732926070528 139863956076816 139864141899477 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39342080 140732926079722 140732926080150 140732926080150 140732926083023 0
[pid=12138/tid=12146] ppid=12135 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12138/task/12146/stat : 12146 (java) S 12135 12135 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419244488 27969658880 27049 33554432000 4194304 4196468 140732926070528 139863955024528 139864141899477 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39342080 140732926079722 140732926080150 140732926080150 140732926083023 0
[pid=12138/tid=12147] ppid=12135 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12138/task/12147/stat : 12147 (java) S 12135 12135 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419244489 27969658880 27049 33554432000 4194304 4196468 140732926070528 139863953971728 139864141899477 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39342080 140732926079722 140732926080150 140732926080150 140732926083023 0
[pid=12138/tid=12148] ppid=12135 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12138/task/12148/stat : 12148 (java) S 12135 12135 11963 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419244490 27969658880 27049 33554432000 4194304 4196468 140732926070528 139862306781808 139864141900418 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39342080 140732926079722 140732926080150 140732926080150 140732926083023 0
[pid=12138/tid=12149] ppid=12135 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12138/task/12149/stat : 12149 (java) S 12135 12135 11963 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419244490 27969658880 27049 33554432000 4194304 4196468 140732926070528 139862053217568 139864141899477 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39342080 140732926079722 140732926080150 140732926080150 140732926083023 0
[pid=12138/tid=12150] ppid=12135 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12138/task/12150/stat : 12150 (java) S 12135 12135 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419244491 27969658880 27049 33554432000 4194304 4196468 140732926070528 139861784782448 139864141899477 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39342080 140732926079722 140732926080150 140732926080150 140732926083023 0
[pid=12138/tid=12151] ppid=12135 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12138/task/12151/stat : 12151 (java) S 12135 12135 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419244493 27969658880 27049 33554432000 4194304 4196468 140732926070528 139861410273872 139864141907867 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39342080 140732926079722 140732926080150 140732926080150 140732926083023 0
[pid=12138/tid=12152] ppid=12135 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12138/task/12152/stat : 12152 (java) S 12135 12135 11963 0 -1 1077944384 293 0 0 0 0 0 0 0 20 0 20 0 419244493 27969658880 27049 33554432000 4194304 4196468 140732926070528 139862305728624 139864141900418 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39342080 140732926079722 140732926080150 140732926080150 140732926083023 0
[pid=12138/tid=12153] ppid=12135 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12138/task/12153/stat : 12153 (java) S 12135 12135 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419244493 27969658880 27049 33554432000 4194304 4196468 140732926070528 139862304675824 139864141900418 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39342080 140732926079722 140732926080150 140732926080150 140732926083023 0
[pid=12138/tid=12154] ppid=12135 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12138/task/12154/stat : 12154 (java) S 12135 12135 11963 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419244493 27969658880 27049 33554432000 4194304 4196468 140732926070528 139862303623536 139864141900418 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39342080 140732926079722 140732926080150 140732926080150 140732926083023 0
[pid=12138/tid=12155] ppid=12135 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12138/task/12155/stat : 12155 (java) S 12135 12135 11963 0 -1 1077944384 260 0 0 0 0 0 0 0 20 0 20 0 419244493 27969658880 27049 33554432000 4194304 4196468 140732926070528 139862302570736 139864141900418 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39342080 140732926079722 140732926080150 140732926080150 140732926083023 0
[pid=12138/tid=12156] ppid=12135 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12138/task/12156/stat : 12156 (java) S 12135 12135 11963 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419244493 27969658880 27049 33554432000 4194304 4196468 140732926070528 139860912368480 139864141899477 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39342080 140732926079722 140732926080150 140732926080150 140732926083023 0
[pid=12138/tid=12157] ppid=12135 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/12138/task/12157/stat : 12157 (java) S 12135 12135 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419244494 27969658880 27049 33554432000 4194304 4196468 140732926070528 139862301518640 139864141900418 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39342080 140732926079722 140732926080150 140732926080150 140732926083023 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 107544 KiB

[startup+0.210236 s]*
/proc/loadavg: 6.41 6.47 6.02 2/212 12157
/proc/meminfo: memFree=30762596/32770624 swapFree=66940948/67108860
[pid=12135] ppid=12132 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/12135/stat : 12135 (scop.sh) S 12132 12135 11963 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 419244485 115843072 349 33554432000 4194304 5098028 140736026219808 140736026217064 139869753762428 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 19681280 140736026223396 140736026223724 140736026223724 140736026226637 0
/proc/12135/statm: 28282 349 296 221 0 87 0
[pid=12138] ppid=12135 vsize=27314120 memory=125544 CPUtime=0.25 cores=0-7
/proc/12138/stat : 12138 (java) S 12135 12135 11963 0 -1 1077944320 12232 0 0 0 21 4 0 0 20 0 20 0 419244486 27969658880 31386 33554432000 4194304 4196468 140732926070528 140732926053072 139864141889271 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39342080 140732926079722 140732926080150 140732926080150 140732926083023 0
/proc/12138/statm: 6828530 31386 2929 1 0 6790935 0
[pid=12138/tid=12139] ppid=12135 vsize=27314120 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/12138/task/12139/stat : 12139 (java) R 12135 12135 11963 0 -1 4202560 9953 0 0 0 16 3 0 0 20 0 20 0 419244486 27969658880 31386 33554432000 4194304 4196468 140732926070528 139864113713232 139864122165152 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39342080 140732926079722 140732926080150 140732926080150 140732926083023 0
[pid=12138/tid=12140] ppid=12135 vsize=27314120 memory=329 CPUtime=0 cores=0-7
/proc/12138/task/12140/stat : 12140 (java) S 12135 12135 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419244488 27969658880 31386 33554432000 4194304 4196468 140732926070528 139864146131856 139864141899477 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39342080 140732926079722 140732926080150 140732926080150 140732926083023 0
[pid=12138/tid=12141] ppid=12135 vsize=27314120 memory=140085431793093 CPUtime=0 cores=0-7
/proc/12138/task/12141/stat : 12141 (java) S 12135 12135 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419244488 27969658880 31386 33554432000 4194304 4196468 140732926070528 139863960288016 139864141899477 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39342080 140732926079722 140732926080150 140732926080150 140732926083023 0
[pid=12138/tid=12142] ppid=12135 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/12138/task/12142/stat : 12142 (java) S 12135 12135 11963 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419244488 27969658880 31386 33554432000 4194304 4196468 140732926070528 139863959235728 139864141899477 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39342080 140732926079722 140732926080150 140732926080150 140732926083023 0
[pid=12138/tid=12143] ppid=12135 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12138/task/12143/stat : 12143 (java) S 12135 12135 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419244488 27969658880 31386 33554432000 4194304 4196468 140732926070528 139863958182928 139864141899477 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39342080 140732926079722 140732926080150 140732926080150 140732926083023 0
[pid=12138/tid=12144] ppid=12135 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12138/task/12144/stat : 12144 (java) S 12135 12135 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419244488 27969658880 31386 33554432000 4194304 4196468 140732926070528 139863957129616 139864141899477 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39342080 140732926079722 140732926080150 140732926080150 140732926083023 0
[pid=12138/tid=12145] ppid=12135 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/12138/task/12145/stat : 12145 (java) S 12135 12135 11963 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419244488 27969658880 31386 33554432000 4194304 4196468 140732926070528 139863956076816 139864141899477 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39342080 140732926079722 140732926080150 140732926080150 140732926083023 0
[pid=12138/tid=12146] ppid=12135 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12138/task/12146/stat : 12146 (java) S 12135 12135 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419244488 27969658880 31386 33554432000 4194304 4196468 140732926070528 139863955024528 139864141899477 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39342080 140732926079722 140732926080150 140732926080150 140732926083023 0
[pid=12138/tid=12147] ppid=12135 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12138/task/12147/stat : 12147 (java) S 12135 12135 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419244489 27969658880 31386 33554432000 4194304 4196468 140732926070528 139863953971728 139864141899477 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39342080 140732926079722 140732926080150 140732926080150 140732926083023 0
[pid=12138/tid=12148] ppid=12135 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12138/task/12148/stat : 12148 (java) S 12135 12135 11963 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419244490 27969658880 31386 33554432000 4194304 4196468 140732926070528 139862306781808 139864141900418 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39342080 140732926079722 140732926080150 140732926080150 140732926083023 0
[pid=12138/tid=12149] ppid=12135 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12138/task/12149/stat : 12149 (java) S 12135 12135 11963 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419244490 27969658880 31386 33554432000 4194304 4196468 140732926070528 139862053217568 139864141899477 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39342080 140732926079722 140732926080150 140732926080150 140732926083023 0
[pid=12138/tid=12150] ppid=12135 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12138/task/12150/stat : 12150 (java) S 12135 12135 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419244491 27969658880 31386 33554432000 4194304 4196468 140732926070528 139861784782448 139864141899477 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39342080 140732926079722 140732926080150 140732926080150 140732926083023 0
[pid=12138/tid=12151] ppid=12135 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12138/task/12151/stat : 12151 (java) S 12135 12135 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419244493 27969658880 31386 33554432000 4194304 4196468 140732926070528 139861410273872 139864141907867 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39342080 140732926079722 140732926080150 140732926080150 140732926083023 0
[pid=12138/tid=12152] ppid=12135 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12138/task/12152/stat : 12152 (java) S 12135 12135 11963 0 -1 1077944384 456 0 0 0 0 0 0 0 20 0 20 0 419244493 27969658880 31386 33554432000 4194304 4196468 140732926070528 139862305728624 139864141900418 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39342080 140732926079722 140732926080150 140732926080150 140732926083023 0
[pid=12138/tid=12153] ppid=12135 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12138/task/12153/stat : 12153 (java) S 12135 12135 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419244493 27969658880 31386 33554432000 4194304 4196468 140732926070528 139862304675824 139864141900418 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39342080 140732926079722 140732926080150 140732926080150 140732926083023 0
[pid=12138/tid=12154] ppid=12135 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/12138/task/12154/stat : 12154 (java) S 12135 12135 11963 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 20 0 419244493 27969658880 31386 33554432000 4194304 4196468 140732926070528 139862303623536 139864141900418 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39342080 140732926079722 140732926080150 140732926080150 140732926083023 0
[pid=12138/tid=12155] ppid=12135 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7
/proc/12138/task/12155/stat : 12155 (java) S 12135 12135 11963 0 -1 1077944384 466 0 0 0 2 0 0 0 20 0 20 0 419244493 27969658880 31386 33554432000 4194304 4196468 140732926070528 139862302570736 139864141900418 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39342080 140732926079722 140732926080150 140732926080150 140732926083023 0
[pid=12138/tid=12156] ppid=12135 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12138/task/12156/stat : 12156 (java) S 12135 12135 11963 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419244493 27969658880 31386 33554432000 4194304 4196468 140732926070528 139860912368480 139864141899477 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39342080 140732926079722 140732926080150 140732926080150 140732926083023 0
[pid=12138/tid=12157] ppid=12135 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/12138/task/12157/stat : 12157 (java) S 12135 12135 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419244494 27969658880 31386 33554432000 4194304 4196468 140732926070528 139862301518640 139864141900418 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39342080 140732926079722 140732926080150 140732926080150 140732926083023 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 126940 KiB

[startup+0.309593 s]*
/proc/loadavg: 6.41 6.47 6.02 2/212 12157
/proc/meminfo: memFree=30760040/32770624 swapFree=66940948/67108860
[pid=12135] ppid=12132 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/12135/stat : 12135 (scop.sh) S 12132 12135 11963 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 419244485 115843072 349 33554432000 4194304 5098028 140736026219808 140736026217064 139869753762428 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 19681280 140736026223396 140736026223724 140736026223724 140736026226637 0
/proc/12135/statm: 28282 349 296 221 0 87 0
[pid=12138] ppid=12135 vsize=27314120 memory=129572 CPUtime=0.42 cores=0-7
/proc/12138/stat : 12138 (java) S 12135 12135 11963 0 -1 1077944320 12801 0 0 0 38 4 0 0 20 0 20 0 419244486 27969658880 32393 33554432000 4194304 4196468 140732926070528 140732926053072 139864141889271 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39342080 140732926079722 140732926080150 140732926080150 140732926083023 0
/proc/12138/statm: 6828530 32393 3034 1 0 6790935 0
[pid=12138/tid=12139] ppid=12135 vsize=27314120 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/12138/task/12139/stat : 12139 (java) R 12135 12135 11963 0 -1 4202560 10313 0 0 0 26 3 0 0 20 0 20 0 419244486 27969658880 32393 33554432000 4194304 4196468 140732926070528 139864113701984 139864127054871 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39342080 140732926079722 140732926080150 140732926080150 140732926083023 0
[pid=12138/tid=12140] ppid=12135 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12138/task/12140/stat : 12140 (java) S 12135 12135 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419244488 27969658880 32393 33554432000 4194304 4196468 140732926070528 139864146131856 139864141899477 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39342080 140732926079722 140732926080150 140732926080150 140732926083023 0
[pid=12138/tid=12141] ppid=12135 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12138/task/12141/stat : 12141 (java) S 12135 12135 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419244488 27969658880 32393 33554432000 4194304 4196468 140732926070528 139863960288016 139864141899477 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39342080 140732926079722 140732926080150 140732926080150 140732926083023 0
[pid=12138/tid=12142] ppid=12135 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12138/task/12142/stat : 12142 (java) S 12135 12135 11963 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419244488 27969658880 32393 33554432000 4194304 4196468 140732926070528 139863959235728 139864141899477 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39342080 140732926079722 140732926080150 140732926080150 140732926083023 0
[pid=12138/tid=12143] ppid=12135 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12138/task/12143/stat : 12143 (java) S 12135 12135 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419244488 27969658880 32393 33554432000 4194304 4196468 140732926070528 139863958182928 139864141899477 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39342080 140732926079722 140732926080150 140732926080150 140732926083023 0
[pid=12138/tid=12144] ppid=12135 vsize=27314120 memory=2244 CPUtime=0 cores=0-7
/proc/12138/task/12144/stat : 12144 (java) S 12135 12135 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419244488 27969658880 32393 33554432000 4194304 4196468 140732926070528 139863957129616 139864141899477 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39342080 140732926079722 140732926080150 140732926080150 140732926083023 0
[pid=12138/tid=12145] ppid=12135 vsize=27314120 memory=140085324510127 CPUtime=0 cores=0-7
/proc/12138/task/12145/stat : 12145 (java) S 12135 12135 11963 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419244488 27969658880 32393 33554432000 4194304 4196468 140732926070528 139863956076816 139864141899477 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39342080 140732926079722 140732926080150 140732926080150 140732926083023 0
[pid=12138/tid=12146] ppid=12135 vsize=27314120 memory=140085324512432 CPUtime=0 cores=0-7
/proc/12138/task/12146/stat : 12146 (java) S 12135 12135 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419244488 27969658880 32393 33554432000 4194304 4196468 140732926070528 139863955024528 139864141899477 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39342080 140732926079722 140732926080150 140732926080150 140732926083023 0
[pid=12138/tid=12147] ppid=12135 vsize=27314120 memory=140085324514736 CPUtime=0 cores=0-7
/proc/12138/task/12147/stat : 12147 (java) S 12135 12135 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419244489 27969658880 32393 33554432000 4194304 4196468 140732926070528 139863953971728 139864141899477 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39342080 140732926079722 140732926080150 140732926080150 140732926083023 0
[pid=12138/tid=12148] ppid=12135 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12138/task/12148/stat : 12148 (java) S 12135 12135 11963 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419244490 27969658880 32393 33554432000 4194304 4196468 140732926070528 139862306781808 139864141900418 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39342080 140732926079722 140732926080150 140732926080150 140732926083023 0
[pid=12138/tid=12149] ppid=12135 vsize=27314120 memory=280170649036432 CPUtime=0 cores=0-7
/proc/12138/task/12149/stat : 12149 (java) S 12135 12135 11963 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419244490 27969658880 32393 33554432000 4194304 4196468 140732926070528 139862053217568 139864141899477 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39342080 140732926079722 140732926080150 140732926080150 140732926083023 0
[pid=12138/tid=12150] ppid=12135 vsize=27314120 memory=280170649043344 CPUtime=0 cores=0-7
/proc/12138/task/12150/stat : 12150 (java) S 12135 12135 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419244491 27969658880 32393 33554432000 4194304 4196468 140732926070528 139861784782448 139864141899477 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39342080 140732926079722 140732926080150 140732926080150 140732926083023 0
[pid=12138/tid=12151] ppid=12135 vsize=27314120 memory=280170648984496 CPUtime=0 cores=0-7
/proc/12138/task/12151/stat : 12151 (java) S 12135 12135 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419244493 27969658880 32393 33554432000 4194304 4196468 140732926070528 139861410273872 139864141907867 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39342080 140732926079722 140732926080150 140732926080150 140732926083023 0
[pid=12138/tid=12152] ppid=12135 vsize=27314120 memory=280170649057168 CPUtime=0.01 cores=0-7
/proc/12138/task/12152/stat : 12152 (java) R 12135 12135 11963 0 -1 4202560 496 0 0 0 1 0 0 0 20 0 20 0 419244493 27969658880 32393 33554432000 4194304 4196468 140732926070528 139862305728624 139864134178720 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39342080 140732926079722 140732926080150 140732926080150 140732926083023 0
[pid=12138/tid=12153] ppid=12135 vsize=27314120 memory=280170649064080 CPUtime=0.01 cores=0-7
/proc/12138/task/12153/stat : 12153 (java) S 12135 12135 11963 0 -1 1077944384 30 0 0 0 1 0 0 0 20 0 20 0 419244493 27969658880 32393 33554432000 4194304 4196468 140732926070528 139862304675824 139864141900418 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39342080 140732926079722 140732926080150 140732926080150 140732926083023 0
[pid=12138/tid=12154] ppid=12135 vsize=27314120 memory=280170649061776 CPUtime=0.01 cores=0-7
/proc/12138/task/12154/stat : 12154 (java) S 12135 12135 11963 0 -1 1077944384 120 0 0 0 1 0 0 0 20 0 20 0 419244493 27969658880 32393 33554432000 4194304 4196468 140732926070528 139862303623536 139864141900418 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39342080 140732926079722 140732926080150 140732926080150 140732926083023 0
[pid=12138/tid=12155] ppid=12135 vsize=27314120 memory=280170649077936 CPUtime=0.07 cores=0-7
/proc/12138/task/12155/stat : 12155 (java) S 12135 12135 11963 0 -1 1077944384 513 0 0 0 7 0 0 0 20 0 20 0 419244493 27969658880 32393 33554432000 4194304 4196468 140732926070528 139862302570736 139864141900418 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39342080 140732926079722 140732926080150 140732926080150 140732926083023 0
[pid=12138/tid=12156] ppid=12135 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12138/task/12156/stat : 12156 (java) S 12135 12135 11963 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419244493 27969658880 32393 33554432000 4194304 4196468 140732926070528 139860912368480 139864141899477 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39342080 140732926079722 140732926080150 140732926080150 140732926083023 0
[pid=12138/tid=12157] ppid=12135 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/12138/task/12157/stat : 12157 (java) S 12135 12135 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419244494 27969658880 32393 33554432000 4194304 4196468 140732926070528 139862301518640 139864141900418 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39342080 140732926079722 140732926080150 140732926080150 140732926083023 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 130968 KiB

[startup+0.700916 s]
/proc/loadavg: 6.41 6.47 6.02 3/212 12157
/proc/meminfo: memFree=30738636/32770624 swapFree=66940948/67108860
[pid=12135] ppid=12132 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/12135/stat : 12135 (scop.sh) S 12132 12135 11963 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 419244485 115843072 349 33554432000 4194304 5098028 140736026219808 140736026217064 139869753762428 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 19681280 140736026223396 140736026223724 140736026223724 140736026226637 0
/proc/12135/statm: 28282 349 296 221 0 87 0
[pid=12138] ppid=12135 vsize=27323540 memory=166136 CPUtime=0.98 cores=0-7
/proc/12138/stat : 12138 (java) S 12135 12135 11963 0 -1 1077944320 20673 0 0 0 91 7 0 0 20 0 20 0 419244486 27979304960 41534 33554432000 4194304 4196468 140732926070528 140732926053072 139864141889271 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39342080 140732926079722 140732926080150 140732926080150 140732926083023 0
/proc/12138/statm: 6830629 41534 3202 1 0 6791959 0
[pid=12138/tid=12139] ppid=12135 vsize=27322516 memory=280170649435824 CPUtime=0.67 cores=0-7
/proc/12138/task/12139/stat : 12139 (java) R 12135 12135 11963 0 -1 4202560 17636 0 0 0 61 6 0 0 20 0 20 0 419244486 27978256384 41534 33554432000 4194304 4196468 140732926070528 139864113706656 139864134606234 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39342080 140732926079722 140732926080150 140732926080150 140732926083023 0
[pid=12138/tid=12140] ppid=12135 vsize=27323540 memory=140085324718960 CPUtime=0 cores=0-7
/proc/12138/task/12140/stat : 12140 (java) S 12135 12135 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419244488 27979304960 41534 33554432000 4194304 4196468 140732926070528 139864146131856 139864141899477 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39342080 140732926079722 140732926080150 140732926080150 140732926083023 0
[pid=12138/tid=12141] ppid=12135 vsize=27323540 memory=0 CPUtime=0 cores=0-7
/proc/12138/task/12141/stat : 12141 (java) S 12135 12135 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419244488 27979304960 41534 33554432000 4194304 4196468 140732926070528 139863960288016 139864141899477 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39342080 140732926079722 140732926080150 140732926080150 140732926083023 0
[pid=12138/tid=12142] ppid=12135 vsize=27323540 memory=5980 CPUtime=0 cores=0-7
/proc/12138/task/12142/stat : 12142 (java) S 12135 12135 11963 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419244488 27979304960 41534 33554432000 4194304 4196468 140732926070528 139863959235728 139864141899477 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39342080 140732926079722 140732926080150 140732926080150 140732926083023 0

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

[pid=12158/tid=12165] ppid=12135 vsize=8414124 memory=9035307689 CPUtime=0 cores=0-7
/proc/12158/task/12165/stat : 12165 (java) S 12135 12135 11963 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419244711 8616062976 29966 33554432000 4194304 4196468 140729327372784 140293047192336 140293247002325 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10653696 140729327379447 140729327379606 140729327379606 140729327382479 0
[pid=12158/tid=12166] ppid=12135 vsize=8414124 memory=9035307689 CPUtime=0 cores=0-7
/proc/12158/task/12166/stat : 12166 (java) S 12135 12135 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419244711 8616062976 29966 33554432000 4194304 4196468 140729327372784 140293046140048 140293247002325 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10653696 140729327379447 140729327379606 140729327379606 140729327382479 0
[pid=12158/tid=12167] ppid=12135 vsize=8414124 memory=9035307691 CPUtime=0 cores=0-7
/proc/12158/task/12167/stat : 12167 (java) S 12135 12135 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419244711 8616062976 29966 33554432000 4194304 4196468 140729327372784 140293045087248 140293247002325 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10653696 140729327379447 140729327379606 140729327379606 140729327382479 0
[pid=12158/tid=12168] ppid=12135 vsize=8414124 memory=164 CPUtime=0 cores=0-7
/proc/12158/task/12168/stat : 12168 (java) S 12135 12135 11963 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 419244712 8616062976 29966 33554432000 4194304 4196468 140729327372784 140292004837488 140293247003266 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10653696 140729327379447 140729327379606 140729327379606 140729327382479 0
[pid=12158/tid=12169] ppid=12135 vsize=8414124 memory=7595444360979173993 CPUtime=0 cores=0-7
/proc/12158/task/12169/stat : 12169 (java) S 12135 12135 11963 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 419244713 8616062976 29966 33554432000 4194304 4196468 140729327372784 140291885490976 140293247002325 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10653696 140729327379447 140729327379606 140729327379606 140729327382479 0
[pid=12158/tid=12170] ppid=12135 vsize=8414124 memory=7595444360979173993 CPUtime=0 cores=0-7
/proc/12158/task/12170/stat : 12170 (java) S 12135 12135 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419244713 8616062976 29966 33554432000 4194304 4196468 140729327372784 140291617055856 140293247002325 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10653696 140729327379447 140729327379606 140729327379606 140729327382479 0
[pid=12158/tid=12171] ppid=12135 vsize=8414124 memory=7595444360979173993 CPUtime=0 cores=0-7
/proc/12158/task/12171/stat : 12171 (java) S 12135 12135 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419244715 8616062976 29966 33554432000 4194304 4196468 140729327372784 140291242547280 140293247010715 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10653696 140729327379447 140729327379606 140729327379606 140729327382479 0
[pid=12158/tid=12172] ppid=12135 vsize=8414124 memory=7595444360979173993 CPUtime=0.04 cores=0-7
/proc/12158/task/12172/stat : 12172 (java) S 12135 12135 11963 0 -1 1077944384 525 0 0 0 4 0 0 0 20 0 24 0 419244715 8616062976 29966 33554432000 4194304 4196468 140729327372784 140292003785328 140293247003266 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10653696 140729327379447 140729327379606 140729327379606 140729327382479 0
[pid=12158/tid=12173] ppid=12135 vsize=8414124 memory=271544 CPUtime=0.04 cores=0-7
/proc/12158/task/12173/stat : 12173 (java) S 12135 12135 11963 0 -1 1077944384 265 0 0 0 4 0 0 0 20 0 24 0 419244715 8616062976 29966 33554432000 4194304 4196468 140729327372784 140292002732528 140293247003266 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10653696 140729327379447 140729327379606 140729327379606 140729327382479 0
[pid=12158/tid=12174] ppid=12135 vsize=8414124 memory=1476 CPUtime=0.07 cores=0-7
/proc/12158/task/12174/stat : 12174 (java) S 12135 12135 11963 0 -1 1077944384 292 0 0 0 7 0 0 0 20 0 24 0 419244715 8616062976 29966 33554432000 4194304 4196468 140729327372784 140292001680240 140293247003266 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10653696 140729327379447 140729327379606 140729327379606 140729327382479 0
[pid=12158/tid=12175] ppid=12135 vsize=8414124 memory=119864 CPUtime=0.18 cores=0-7
/proc/12158/task/12175/stat : 12175 (java) S 12135 12135 11963 0 -1 1077944384 529 0 0 0 18 0 0 0 20 0 24 0 419244715 8616062976 29966 33554432000 4194304 4196468 140729327372784 140292000627440 140293247003266 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10653696 140729327379447 140729327379606 140729327379606 140729327382479 0
[pid=12158/tid=12176] ppid=12135 vsize=8414124 memory=269440 CPUtime=0 cores=0-7
/proc/12158/task/12176/stat : 12176 (java) S 12135 12135 11963 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419244716 8616062976 29966 33554432000 4194304 4196468 140729327372784 140290744641888 140293247002325 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10653696 140729327379447 140729327379606 140729327379606 140729327382479 0
[pid=12158/tid=12177] ppid=12135 vsize=8414124 memory=3620 CPUtime=0.02 cores=0-7
/proc/12158/task/12177/stat : 12177 (java) S 12135 12135 11963 0 -1 1077944384 3 0 0 0 1 1 0 0 20 0 24 0 419244716 8616062976 29966 33554432000 4194304 4196468 140729327372784 140291999574320 140293247003266 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10653696 140729327379447 140729327379606 140729327379606 140729327382479 0
[pid=12158/tid=12179] ppid=12135 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/12158/task/12179/stat : 12179 (java) S 12135 12135 11963 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 419244781 8616062976 29966 33554432000 4194304 4196468 140729327372784 140291991541056 140293247016729 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 10653696 140729327379447 140729327379606 140729327379606 140729327382479 0
[pid=12158/tid=12181] ppid=12135 vsize=8414124 memory=1056 CPUtime=0 cores=0-7
/proc/12158/task/12181/stat : 12181 (java) S 12135 12135 11963 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 419244781 8616062976 29966 33554432000 4194304 4196468 140729327372784 140290073542544 140293247014045 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 10653696 140729327379447 140729327379606 140729327379606 140729327382479 0
[pid=12158/tid=12182] ppid=12135 vsize=8414124 memory=1556 CPUtime=0 cores=0-7
/proc/12158/task/12182/stat : 12182 (java) S 12135 12135 11963 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 419244781 8616062976 29966 33554432000 4194304 4196468 140729327372784 140290341977872 140293247014045 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 10653696 140729327379447 140729327379606 140729327379606 140729327382479 0
[pid=12158/tid=12183] ppid=12135 vsize=8414124 memory=11568 CPUtime=0 cores=0-7
/proc/12158/task/12183/stat : 12183 (java) S 12135 12135 11963 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 419244783 8616062976 29966 33554432000 4194304 4196468 140729327372784 140289805115184 140293247002325 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10653696 140729327379447 140729327379606 140729327379606 140729327382479 0
Current children cumulated CPU time: 180.06 s
Current children cumulated vsize: 9204736 KiB
Current children cumulated memory: 392884 KiB

[startup+25.748 s]
# the end of solver process 12135 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=179.87 s, system=0.70008 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+25.6014 s]
/proc/loadavg: 6.72 6.53 6.05 3/219 12194
/proc/meminfo: memFree=30498348/32770624 swapFree=66940948/67108860
[pid=12135] ppid=12132 vsize=113128 memory=1476 CPUtime=5.1 cores=0-7
/proc/12135/stat : 12135 (scop.sh) S 12132 12135 11963 0 -1 4202496 583 27233 0 0 0 0 491 19 20 0 1 0 419244485 115843072 369 33554432000 4194304 5098028 140736026219808 140736026216552 139869753762428 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 19681280 140736026223396 140736026223724 140736026223724 140736026226637 0
/proc/12135/statm: 28282 369 311 221 0 87 0
[pid=12158] ppid=12135 vsize=8414124 memory=120716 CPUtime=1.15 cores=0-7
/proc/12158/stat : 12158 (java) S 12135 12135 11963 0 -1 1077944320 20102 0 0 0 109 6 0 0 20 0 24 0 419244709 8616062976 30179 33554432000 4194304 4196468 140729327372784 140729327355328 140293246992119 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10653696 140729327379447 140729327379606 140729327379606 140729327382479 0
/proc/12158/statm: 2103531 30179 3212 1 0 2064875 0
[pid=12158/tid=12159] ppid=12135 vsize=8414124 memory=1988 CPUtime=0.74 cores=0-7
/proc/12158/task/12159/stat : 12159 (java) S 12135 12135 11963 0 -1 1077944384 16881 0 0 0 70 4 0 0 20 0 24 0 419244709 8616062976 30179 33554432000 4194304 4196468 140729327372784 140293218832288 140293247002325 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10653696 140729327379447 140729327379606 140729327379606 140729327382479 0
[pid=12158/tid=12160] ppid=12135 vsize=8414124 memory=988 CPUtime=0 cores=0-7
/proc/12158/task/12160/stat : 12160 (java) S 12135 12135 11963 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419244711 8616062976 30179 33554432000 4194304 4196468 140729327372784 140293251234192 140293247002325 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10653696 140729327379447 140729327379606 140729327379606 140729327382479 0
[pid=12158/tid=12161] ppid=12135 vsize=8414124 memory=1428 CPUtime=0 cores=0-7
/proc/12158/task/12161/stat : 12161 (java) S 12135 12135 11963 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419244711 8616062976 30179 33554432000 4194304 4196468 140729327372784 140293051402512 140293247002325 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10653696 140729327379447 140729327379606 140729327379606 140729327382479 0
[pid=12158/tid=12162] ppid=12135 vsize=8414124 memory=1772 CPUtime=0 cores=0-7
/proc/12158/task/12162/stat : 12162 (java) S 12135 12135 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419244711 8616062976 30179 33554432000 4194304 4196468 140729327372784 140293050350224 140293247002325 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10653696 140729327379447 140729327379606 140729327379606 140729327382479 0
[pid=12158/tid=12163] ppid=12135 vsize=8414124 memory=271544 CPUtime=0 cores=0-7
/proc/12158/task/12163/stat : 12163 (java) S 12135 12135 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419244711 8616062976 30179 33554432000 4194304 4196468 140729327372784 140293049297424 140293247002325 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10653696 140729327379447 140729327379606 140729327379606 140729327382479 0
[pid=12158/tid=12164] ppid=12135 vsize=8414124 memory=269440 CPUtime=0 cores=0-7
/proc/12158/task/12164/stat : 12164 (java) S 12135 12135 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419244711 8616062976 30179 33554432000 4194304 4196468 140729327372784 140293048245136 140293247002325 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10653696 140729327379447 140729327379606 140729327379606 140729327382479 0
[pid=12158/tid=12165] ppid=12135 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/12158/task/12165/stat : 12165 (java) S 12135 12135 11963 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419244711 8616062976 30179 33554432000 4194304 4196468 140729327372784 140293047192336 140293247002325 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10653696 140729327379447 140729327379606 140729327379606 140729327382479 0
[pid=12158/tid=12166] ppid=12135 vsize=8414124 memory=119864 CPUtime=0 cores=0-7
/proc/12158/task/12166/stat : 12166 (java) S 12135 12135 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419244711 8616062976 30179 33554432000 4194304 4196468 140729327372784 140293046140048 140293247002325 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10653696 140729327379447 140729327379606 140729327379606 140729327382479 0
[pid=12158/tid=12167] ppid=12135 vsize=8414124 memory=269440 CPUtime=0 cores=0-7
/proc/12158/task/12167/stat : 12167 (java) S 12135 12135 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419244711 8616062976 30179 33554432000 4194304 4196468 140729327372784 140293045087248 140293247002325 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10653696 140729327379447 140729327379606 140729327379606 140729327382479 0
[pid=12158/tid=12168] ppid=12135 vsize=8414124 memory=65 CPUtime=0 cores=0-7
/proc/12158/task/12168/stat : 12168 (java) S 12135 12135 11963 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 419244712 8616062976 30179 33554432000 4194304 4196468 140729327372784 140292004837488 140293247003266 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10653696 140729327379447 140729327379606 140729327379606 140729327382479 0
[pid=12158/tid=12169] ppid=12135 vsize=8414124 memory=7162792011379008851 CPUtime=0 cores=0-7
/proc/12158/task/12169/stat : 12169 (java) S 12135 12135 11963 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 419244713 8616062976 30179 33554432000 4194304 4196468 140729327372784 140291885490976 140293247002325 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10653696 140729327379447 140729327379606 140729327379606 140729327382479 0
[pid=12158/tid=12170] ppid=12135 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/12158/task/12170/stat : 12170 (java) S 12135 12135 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419244713 8616062976 30179 33554432000 4194304 4196468 140729327372784 140291617055856 140293247002325 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10653696 140729327379447 140729327379606 140729327379606 140729327382479 0
[pid=12158/tid=12171] ppid=12135 vsize=8414124 memory=2241 CPUtime=0 cores=0-7
/proc/12158/task/12171/stat : 12171 (java) S 12135 12135 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419244715 8616062976 30179 33554432000 4194304 4196468 140729327372784 140291242547280 140293247010715 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10653696 140729327379447 140729327379606 140729327379606 140729327382479 0
[pid=12158/tid=12172] ppid=12135 vsize=8414124 memory=2244 CPUtime=0.04 cores=0-7
/proc/12158/task/12172/stat : 12172 (java) S 12135 12135 11963 0 -1 1077944384 525 0 0 0 4 0 0 0 20 0 24 0 419244715 8616062976 30179 33554432000 4194304 4196468 140729327372784 140292003785328 140293247003266 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10653696 140729327379447 140729327379606 140729327379606 140729327382479 0
[pid=12158/tid=12173] ppid=12135 vsize=8414124 memory=2244 CPUtime=0.04 cores=0-7
/proc/12158/task/12173/stat : 12173 (java) R 12135 12135 11963 0 -1 1077944384 265 0 0 0 4 0 0 0 20 0 24 0 419244715 8616062976 30179 33554432000 4194304 4196468 140729327372784 140292002732624 140293247002325 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10653696 140729327379447 140729327379606 140729327379606 140729327382479 0
[pid=12158/tid=12174] ppid=12135 vsize=8414124 memory=8099556152606026088 CPUtime=0.07 cores=0-7
/proc/12158/task/12174/stat : 12174 (java) S 12135 12135 11963 0 -1 1077944384 295 0 0 0 7 0 0 0 20 0 24 0 419244715 8616062976 30179 33554432000 4194304 4196468 140729327372784 140292001680240 140293247003266 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10653696 140729327379447 140729327379606 140729327379606 140729327382479 0
[pid=12158/tid=12175] ppid=12135 vsize=8414124 memory=0 CPUtime=0.19 cores=0-7
/proc/12158/task/12175/stat : 12175 (java) R 12135 12135 11963 0 -1 4202560 737 0 0 0 19 0 0 0 20 0 24 0 419244715 8616062976 30179 33554432000 4194304 4196468 140729327372784 140292000627440 140293247004054 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10653696 140729327379447 140729327379606 140729327379606 140729327382479 0
[pid=12158/tid=12176] ppid=12135 vsize=8414124 memory=-7533229591079788448 CPUtime=0 cores=0-7
/proc/12158/task/12176/stat : 12176 (java) S 12135 12135 11963 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419244716 8616062976 30179 33554432000 4194304 4196468 140729327372784 140290744641888 140293247002325 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10653696 140729327379447 140729327379606 140729327379606 140729327382479 0
[pid=12158/tid=12177] ppid=12135 vsize=8414124 memory=200396 CPUtime=0.02 cores=0-7
/proc/12158/task/12177/stat : 12177 (java) S 12135 12135 11963 0 -1 1077944384 3 0 0 0 1 1 0 0 20 0 24 0 419244716 8616062976 30179 33554432000 4194304 4196468 140729327372784 140291999574320 140293247003266 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10653696 140729327379447 140729327379606 140729327379606 140729327382479 0
[pid=12158/tid=12179] ppid=12135 vsize=8414124 memory=7686721470368028309 CPUtime=0 cores=0-7
/proc/12158/task/12179/stat : 12179 (java) S 12135 12135 11963 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 419244781 8616062976 30179 33554432000 4194304 4196468 140729327372784 140291991541056 140293247016729 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 10653696 140729327379447 140729327379606 140729327379606 140729327382479 0
[pid=12158/tid=12181] ppid=12135 vsize=8414124 memory=4126316290023845779 CPUtime=0.01 cores=0-7
/proc/12158/task/12181/stat : 12181 (java) R 12135 12135 11963 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 24 0 419244781 8616062976 30179 33554432000 4194304 4196468 140729327372784 140290073549216 140293247013949 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10653696 140729327379447 140729327379606 140729327379606 140729327382479 0
[pid=12158/tid=12182] ppid=12135 vsize=8414124 memory=-1807685287717842718 CPUtime=0 cores=0-7
/proc/12158/task/12182/stat : 12182 (java) S 12135 12135 11963 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 419244781 8616062976 30179 33554432000 4194304 4196468 140729327372784 140290341977872 140293247014045 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 10653696 140729327379447 140729327379606 140729327379606 140729327382479 0
[pid=12158/tid=12183] ppid=12135 vsize=8414124 memory=6944656575208382560 CPUtime=0 cores=0-7
/proc/12158/task/12183/stat : 12183 (java) S 12135 12135 11963 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 419244783 8616062976 30179 33554432000 4194304 4196468 140729327372784 140289805115184 140293247002325 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10653696 140729327379447 140729327379606 140729327379606 140729327382479 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 8527252 KiB
Current children cumulated memory: 122192 KiB

[startup+25.7013 s]
/proc/loadavg: 6.72 6.53 6.05 3/219 12194
/proc/meminfo: memFree=30498348/32770624 swapFree=66940948/67108860
[pid=12135] ppid=12132 vsize=113128 memory=1476 CPUtime=5.1 cores=0-7
/proc/12135/stat : 12135 (scop.sh) S 12132 12135 11963 0 -1 4202496 583 27233 0 0 0 0 491 19 20 0 1 0 419244485 115843072 369 33554432000 4194304 5098028 140736026219808 140736026216552 139869753762428 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 19681280 140736026223396 140736026223724 140736026223724 140736026226637 0
/proc/12135/statm: 28282 369 311 221 0 87 0
[pid=12158] ppid=12135 vsize=8283048 memory=128272 CPUtime=175.37 cores=0-7
/proc/12158/stat : 12158 (java) S 12135 12135 11963 0 -1 1077944320 21515 160741 0 0 133 7 17355 42 20 0 22 0 419244709 8481841152 32068 33554432000 4194304 4196468 140729327372784 140729327355328 140293246992119 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10653696 140729327379447 140729327379606 140729327379606 140729327382479 0
/proc/12158/statm: 2070762 32068 3226 1 0 2032106 0
[pid=12158/tid=12159] ppid=12135 vsize=8283048 memory=1056 CPUtime=174.77 cores=0-7
/proc/12158/task/12159/stat : 12159 (java) R 12135 12135 11963 0 -1 4202560 17134 160741 0 0 76 4 17355 42 20 0 22 0 419244709 8481841152 32068 33554432000 4194304 4196468 140729327372784 140293218821408 140293231072636 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10653696 140729327379447 140729327379606 140729327379606 140729327382479 0
[pid=12158/tid=12160] ppid=12135 vsize=8283048 memory=1556 CPUtime=173.97 cores=0-7
/proc/12158/task/12160/stat : 12160 (java) S 12135 12135 11963 0 -1 1077944384 3 160741 0 0 0 0 17355 42 20 0 22 0 419244711 8481841152 32068 33554432000 4194304 4196468 140729327372784 140293251234192 140293247002325 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10653696 140729327379447 140729327379606 140729327379606 140729327382479 0
[pid=12158/tid=12161] ppid=12135 vsize=8283048 memory=11568 CPUtime=173.97 cores=0-7
/proc/12158/task/12161/stat : 12161 (java) S 12135 12135 11963 0 -1 1077944384 2 160741 0 0 0 0 17355 42 20 0 22 0 419244711 8481841152 32068 33554432000 4194304 4196468 140729327372784 140293051402512 140293247002325 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10653696 140729327379447 140729327379606 140729327379606 140729327382479 0
[pid=12158/tid=12162] ppid=12135 vsize=8283048 memory=6944656575208382560 CPUtime=173.97 cores=0-7
/proc/12158/task/12162/stat : 12162 (java) S 12135 12135 11963 0 -1 1077944384 1 160741 0 0 0 0 17355 42 20 0 22 0 419244711 8481841152 32068 33554432000 4194304 4196468 140729327372784 140293050350224 140293247002325 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10653696 140729327379447 140729327379606 140729327379606 140729327382479 0
[pid=12158/tid=12163] ppid=12135 vsize=8283048 memory=6944656592455360604 CPUtime=173.97 cores=0-7
/proc/12158/task/12163/stat : 12163 (java) S 12135 12135 11963 0 -1 1077944384 1 160741 0 0 0 0 17355 42 20 0 22 0 419244711 8481841152 32068 33554432000 4194304 4196468 140729327372784 140293049297424 140293247002325 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10653696 140729327379447 140729327379606 140729327379606 140729327382479 0
[pid=12158/tid=12164] ppid=12135 vsize=8283048 memory=-5587046532246807594 CPUtime=173.97 cores=0-7
/proc/12158/task/12164/stat : 12164 (java) S 12135 12135 11963 0 -1 1077944384 1 160741 0 0 0 0 17355 42 20 0 22 0 419244711 8481841152 32068 33554432000 4194304 4196468 140729327372784 140293048245136 140293247002325 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10653696 140729327379447 140729327379606 140729327379606 140729327382479 0
[pid=12158/tid=12165] ppid=12135 vsize=8283048 memory=271544 CPUtime=173.97 cores=0-7
/proc/12158/task/12165/stat : 12165 (java) S 12135 12135 11963 0 -1 1077944384 2 160741 0 0 0 0 17355 42 20 0 22 0 419244711 8481841152 32068 33554432000 4194304 4196468 140729327372784 140293047192336 140293247002325 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10653696 140729327379447 140729327379606 140729327379606 140729327382479 0
[pid=12158/tid=12166] ppid=12135 vsize=8283048 memory=0 CPUtime=173.97 cores=0-7
/proc/12158/task/12166/stat : 12166 (java) S 12135 12135 11963 0 -1 1077944384 1 160741 0 0 0 0 17355 42 20 0 22 0 419244711 8481841152 32068 33554432000 4194304 4196468 140729327372784 140293046140048 140293247002325 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10653696 140729327379447 140729327379606 140729327379606 140729327382479 0
[pid=12158/tid=12167] ppid=12135 vsize=8283048 memory=0 CPUtime=173.97 cores=0-7
/proc/12158/task/12167/stat : 12167 (java) S 12135 12135 11963 0 -1 1077944384 1 160741 0 0 0 0 17355 42 20 0 22 0 419244711 8481841152 32068 33554432000 4194304 4196468 140729327372784 140293045087248 140293247002325 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10653696 140729327379447 140729327379606 140729327379606 140729327382479 0
[pid=12158/tid=12168] ppid=12135 vsize=8283048 memory=288230574492221466 CPUtime=173.97 cores=0-7
/proc/12158/task/12168/stat : 12168 (java) S 12135 12135 11963 0 -1 1077944384 7 160741 0 0 0 0 17355 42 20 0 22 0 419244712 8481841152 32068 33554432000 4194304 4196468 140729327372784 140292004837488 140293247003266 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10653696 140729327379447 140729327379606 140729327379606 140729327382479 0
[pid=12158/tid=12169] ppid=12135 vsize=8283048 memory=288230617509003574 CPUtime=173.97 cores=0-7
/proc/12158/task/12169/stat : 12169 (java) S 12135 12135 11963 0 -1 1077944384 13 160741 0 0 0 0 17355 42 20 0 22 0 419244713 8481841152 32068 33554432000 4194304 4196468 140729327372784 140291885490976 140293247002325 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10653696 140729327379447 140729327379606 140729327379606 140729327382479 0
[pid=12158/tid=12170] ppid=12135 vsize=8283048 memory=14698482732632482 CPUtime=173.97 cores=0-7
/proc/12158/task/12170/stat : 12170 (java) S 12135 12135 11963 0 -1 1077944384 1 160741 0 0 0 0 17355 42 20 0 22 0 419244713 8481841152 32068 33554432000 4194304 4196468 140729327372784 140291617055856 140293247002325 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10653696 140729327379447 140729327379606 140729327379606 140729327382479 0
[pid=12158/tid=12171] ppid=12135 vsize=8283048 memory=0 CPUtime=173.97 cores=0-7
/proc/12158/task/12171/stat : 12171 (java) S 12135 12135 11963 0 -1 1077944384 1 160741 0 0 0 0 17355 42 20 0 22 0 419244715 8481841152 32068 33554432000 4194304 4196468 140729327372784 140291242547280 140293247010715 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10653696 140729327379447 140729327379606 140729327379606 140729327382479 0
[pid=12158/tid=12172] ppid=12135 vsize=8283048 memory=0 CPUtime=174.04 cores=0-7
/proc/12158/task/12172/stat : 12172 (java) S 12135 12135 11963 0 -1 1077944384 796 160741 0 0 7 0 17355 42 20 0 22 0 419244715 8481841152 32068 33554432000 4194304 4196468 140729327372784 140292003785328 140293247003266 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10653696 140729327379447 140729327379606 140729327379606 140729327382479 0
[pid=12158/tid=12173] ppid=12135 vsize=8283048 memory=9035307688 CPUtime=174.04 cores=0-7
/proc/12158/task/12173/stat : 12173 (java) S 12135 12135 11963 0 -1 1077944384 289 160741 0 0 7 0 17355 42 20 0 22 0 419244715 8481841152 32068 33554432000 4194304 4196468 140729327372784 140292002732528 140293247003266 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10653696 140729327379447 140729327379606 140729327379606 140729327382479 0
[pid=12158/tid=12174] ppid=12135 vsize=8283048 memory=9035307689 CPUtime=174.07 cores=0-7
/proc/12158/task/12174/stat : 12174 (java) S 12135 12135 11963 0 -1 1077944384 400 160741 0 0 10 0 17355 42 20 0 22 0 419244715 8481841152 32068 33554432000 4194304 4196468 140729327372784 140292001680240 140293247003266 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10653696 140729327379447 140729327379606 140729327379606 140729327382479 0
[pid=12158/tid=12175] ppid=12135 vsize=8283048 memory=9035307689 CPUtime=174.21 cores=0-7
/proc/12158/task/12175/stat : 12175 (java) S 12135 12135 11963 0 -1 1077944384 927 160741 0 0 24 0 17355 42 20 0 22 0 419244715 8481841152 32068 33554432000 4194304 4196468 140729327372784 140292000627440 140293247003266 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10653696 140729327379447 140729327379606 140729327379606 140729327382479 0
[pid=12158/tid=12176] ppid=12135 vsize=8283048 memory=9035307691 CPUtime=173.97 cores=0-7
/proc/12158/task/12176/stat : 12176 (java) S 12135 12135 11963 0 -1 1077944384 3 160741 0 0 0 0 17355 42 20 0 22 0 419244716 8481841152 32068 33554432000 4194304 4196468 140729327372784 140290744641888 140293247002325 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10653696 140729327379447 140729327379606 140729327379606 140729327382479 0
[pid=12158/tid=12177] ppid=12135 vsize=8283048 memory=164 CPUtime=173.99 cores=0-7
/proc/12158/task/12177/stat : 12177 (java) S 12135 12135 11963 0 -1 1077944384 3 160741 0 0 1 1 17355 42 20 0 22 0 419244716 8481841152 32068 33554432000 4194304 4196468 140729327372784 140291999574320 140293247003266 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10653696 140729327379447 140729327379606 140729327379606 140729327382479 0
[pid=12158/tid=12179] ppid=12135 vsize=8283048 memory=7595444360979173993 CPUtime=173.97 cores=0-7
/proc/12158/task/12179/stat : 12179 (java) S 12135 12135 11963 0 -1 1077944384 31 160741 0 0 0 0 17355 42 20 0 22 0 419244781 8481841152 32068 33554432000 4194304 4196468 140729327372784 140291991540240 140293247003266 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10653696 140729327379447 140729327379606 140729327379606 140729327382479 0
[pid=12158/tid=12183] ppid=12135 vsize=8283048 memory=7595444360979173993 CPUtime=173.97 cores=0-7
/proc/12158/task/12183/stat : 12183 (java) S 12135 12135 11963 0 -1 1077944384 24 160741 0 0 0 0 17355 42 20 0 22 0 419244783 8481841152 32068 33554432000 4194304 4196468 140729327372784 140289805116976 140293247003266 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10653696 140729327379447 140729327379606 140729327379606 140729327382479 0
Current children cumulated CPU time: 180.47 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 129748 KiB

Child status: 0
Real time (s): 25.748
CPU time (s): 180.57
CPU user time (s): 179.87
CPU system time (s): 0.70008
CPU usage (%): 701.296
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 572136

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 179.87
system time used= 0.70008
maximum resident set size= 573420
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 210220
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3784
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 12344
involuntary context switches= 2068


# summary of solver processes directly reported to runsolver:
#   pid: 12135
#   total CPU time (s): 180.57
#   total CPU user time (s): 179.87
#   total CPU system time (s): 0.70008

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.253133 second user time and 0.384251 second system time

The end

Launcher Data 

Begin job on node149 at 2019-09-14 05:00:20
IDJOB=4392633
IDBENCH=127909
IDSOLVER=2839
FILE ID=node149/4392633-1568430058
RUNJOBID= node149-1568429993-11990
PBS_JOBID= 21702308
Free space on /tmp= 61424 MiB

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

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

MD5SUM BENCH= 2f6e926eec9d3271c32e6368d6cce3f2
RANDOM SEED=1770121306

node149.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.81
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.81
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.81
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.81
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:        30879512 kB
MemAvailable:   31853436 kB
Buffers:          189648 kB
Cached:          1080236 kB
SwapCached:        61300 kB
Active:           614420 kB
Inactive:         716072 kB
Active(anon):      28640 kB
Inactive(anon):    72448 kB
Active(file):     585780 kB
Inactive(file):   643624 kB
Unevictable:      111264 kB
Mlocked:          111264 kB
SwapTotal:      67108860 kB
SwapFree:       66940948 kB
Dirty:             20676 kB
Writeback:            12 kB
AnonPages:        112808 kB
Mapped:            44324 kB
Shmem:             31372 kB
Slab:             149904 kB
SReclaimable:     120712 kB
SUnreclaim:        29192 kB
KernelStack:        3408 kB
PageTables:         5488 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     498096 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:      144768 kB
DirectMap2M:    33400832 kB

Free space on /tmp at the end= 61400 MiB
End job on node149 at 2019-09-14 05:00:46