Trace number 4392333

Some explanations

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

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

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

Solver answer on this benchmark

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

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 -order -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-12007-serial-file.bin HOME/instance-4392333-1568430031.xml
0.65/0.54	
0.65/0.54	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
0.65/0.54	
0.65/0.56	c BEGIN-Prog: Sat Sep 14 04:59:54 CEST 2019
0.65/0.56	c PID: 12010
0.65/0.56	c IP: 172.20.3.149
0.65/0.56	c HOST: node149.alineos.net
0.65/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-4392333-1568430031.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/1.00	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.55/1.01	c (0,0) translated 35 (70%) constraints
1.55/1.01	c (0,0) translated 40 (80%) constraints
1.55/1.01	c (0,0) translated 45 (90%) constraints
2.13/1.26	c (0,0) translated 49 (100%) constraints
2.13/1.26	c (0,0) ===========================================
2.13/1.26	c (0,0) Order
2.13/1.26	c (0,0) ===========================================
2.13/1.27	c (0,0) translated 31 (10%) constraints
2.13/1.27	c (0,0) translated 61 (20%) constraints
2.13/1.28	c (0,0) translated 91 (30%) constraints
2.13/1.28	c (0,0) translated 121 (40%) constraints
2.13/1.29	c (0,0) translated 151 (50%) constraints
2.13/1.29	c (0,0) translated 181 (60%) constraints
2.13/1.29	c (0,0) translated 211 (70%) constraints
2.47/1.30	c (0,0) translated 241 (80%) constraints
2.47/1.30	c (0,0) translated 271 (90%) constraints
2.47/1.31	c (0,0) translated 301 (100%) constraints
2.47/1.31	c (0,0) CSP to CSPinCNF End
2.47/1.31	c (0,0) CSP: 46 int (0 aux), 0 bool (0 aux), 301 ctr, max domain size 140
2.47/1.31	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB)
2.47/1.31	c (0,0) CSPinCNF Propagation Begin
2.47/1.34	c (0,0) 0 values, 6 unsatisfiable literals, and 47 valid clauses are removed
2.47/1.34	c (0,0) CSPinCNF Propagation End
2.47/1.34	c (0,0) CSP: 46 int (0 aux), 0 bool (0 aux), 254 ctr, max domain size 140
2.47/1.34	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 23 MiB used (max 0 MiB)
2.47/1.34	c (0,0) Simplify CSPinCNF Begin
2.80/1.43	c (0,0) Simplify CSPinCNF End
2.80/1.44	c (0,0) CSP: 46 int (0 aux), 1006 bool (1006 aux), 1260 ctr, max domain size 140
2.80/1.44	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 23 MiB used (max 0 MiB)
2.80/1.44	c (0,0) Calculate Precise Domain Begin
2.80/1.44	c (0,0) 0 values are removed by re-calculation
2.80/1.44	c (0,0) Calculate Precise Domain End
2.80/1.44	c (0,0) CSP: 46 int (0 aux), 1006 bool (1006 aux), 1260 ctr, max domain size 140
2.80/1.44	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 23 MiB used (max 0 MiB)
2.80/1.44	c (0,0) CSPinCNF to SatSolver Begin
3.84/1.71	c (1,1) 126 (10 %) CSP clauses are encoded (0 SAT variables, 16893 SAT clauses)
3.84/1.80	c (1,1) 252 (20 %) CSP clauses are encoded (0 SAT variables, 28273 SAT clauses)
4.25/1.87	c (1,1) 378 (30 %) CSP clauses are encoded (0 SAT variables, 39287 SAT clauses)
4.66/1.91	c (1,1) 504 (40 %) CSP clauses are encoded (0 SAT variables, 49453 SAT clauses)
4.66/1.96	c (1,1) 630 (50 %) CSP clauses are encoded (0 SAT variables, 59895 SAT clauses)
4.66/2.00	c (1,1) 756 (60 %) CSP clauses are encoded (0 SAT variables, 69143 SAT clauses)
4.85/2.04	c (1,1) 882 (70 %) CSP clauses are encoded (0 SAT variables, 77631 SAT clauses)
4.85/2.07	c (1,1) 1008 (80 %) CSP clauses are encoded (0 SAT variables, 85684 SAT clauses)
4.85/2.10	c (1,1) 1134 (90 %) CSP clauses are encoded (0 SAT variables, 92551 SAT clauses)
4.98/2.12	c (1,1) 1260 (100 %) CSP clauses are encoded (0 SAT variables, 97747 SAT clauses)
4.98/2.13	c (1,1) CSPinCNF to SatSolver End
4.98/2.13	c (1,1) Heap : 675 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB)
4.98/2.13	c (1,1) 6256 bool, 97790 clause
4.98/2.13	c (1,1) Export Begin
5.14/2.21	c (1,1) Export to HOME/scop-12007-serial-file.bin
5.14/2.21	c (1,1) Export End
5.14/2.21	c (1,1) Export File Size: 0.01 MB
5.14/2.21	c (1,1) 0,0,0,0,0,0,1,STOP-AFTER(DIMACS)
5.14/2.21	c END-Prog: Sat Sep 14 04:59:55 CEST 2019
5.14/2.22	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-12007-serial-file.bin
5.17/2.68	c (0,0) Read Serial File Begin
5.17/2.68	c (0,0) HOME/scop-12007-serial-file.bin
5.17/2.87	c (0,0) Read Serial File End
5.17/2.89	
5.17/2.89	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
5.17/2.89	(Solving Process)
5.17/2.89	
5.17/2.91	c BEGIN-Prog: Sat Sep 14 04:59:56 CEST 2019
5.17/2.91	c PID: 12030
5.17/2.91	c IP: 172.20.3.149
5.17/2.91	c HOST: node149.alineos.net
5.17/2.91	c (0,0) SatSolver.solve Begin
5.17/2.91	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4392333-1568430031.xml-scop-12010.cnf
5.17/2.94	c (0,0) c
5.17/2.94	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.17/2.94	c (0,0) c
5.17/2.94	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
5.17/2.94	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
5.17/2.94	c (0,0) c ========================================[ Problem Statistics ]===========================================
5.17/2.94	c (0,0) c |                                                                                                       |
5.17/2.97	c (0,0) c |  Number of variables:          6256                                                                   |
5.17/2.97	c (0,0) c |  Number of clauses:           97790                                                                   |
5.17/2.97	c (0,0) c |  Parse time:                   0.03 s                                                                 |
5.17/2.97	c (0,0) c |                                                                                                       |
6.35/3.05	c (0,0) c |  Simplification time:          0.08 s                                                                 |
6.35/3.05	c (0,0) c |                                                                                                       |
6.35/3.05	c (0,0) c |  Generating clones                                                                                    |
6.35/3.08	c (0,0) c |  all clones generated. Memory =    85.58Mb.                                                           |
6.35/3.08	c (0,0) c ========================================================================================================|
6.35/3.08	c (0,0) c
6.35/3.08	c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
6.35/3.08	c (0,0) c
6.35/3.08	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
6.35/3.08	c (0,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
6.35/3.08	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
6.35/3.08	c (0,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
6.35/3.08	c (0,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
6.35/3.08	c (0,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
6.35/3.08	c (0,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
6.35/3.08	c (0,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
6.35/3.08	c (0,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
6.35/3.08	c (0,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
6.35/3.08	c (0,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
6.35/3.08	c (0,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
6.35/3.08	c (0,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
6.35/3.08	c (0,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
6.35/3.08	c (0,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
6.35/3.08	c (0,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
6.35/3.08	c (0,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
6.35/3.08	c (0,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
6.35/3.08	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
181.92/25.76	c (23,0) c
181.92/25.76	c (23,0) c real time : 22.8187 s
181.92/25.76	c (23,0) c cpu time  : 175.276 s
181.92/25.76	c (23,0) c
181.92/25.76	c (23,0) c
181.92/25.76	c (23,0) c
181.92/25.76	c (23,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
181.92/25.76	c (23,0) c
181.92/25.76	c (23,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
181.92/25.76	c (23,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
181.92/25.76	c (23,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
181.92/25.76	c (23,0) c | Conflicts     |          837713 |     102943 |     103761 |     107373 |     105087 |     102658 |     104787 |     104706 |     106398 |
181.92/25.76	c (23,0) c | Decisions     |         1405866 |     169286 |     176589 |     178880 |     175973 |     175068 |     174827 |     174652 |     180591 |
181.92/25.76	c (23,0) c | Propagations  |       220206374 |   27453256 |   27091795 |   27999147 |   27612255 |   26753430 |   27426981 |   28167767 |   27701743 |
181.92/25.76	c (23,0) c | ReduceDBs     |              64 |          8 |          8 |          8 |          8 |          8 |          8 |          8 |          8 |
181.92/25.76	c (23,0) c | SimpDBs       |              26 |          4 |          3 |          3 |          3 |          3 |          4 |          3 |          3 |
181.92/25.76	c (23,0) c | Restarts      |            2886 |        301 |        366 |        331 |        362 |        391 |        324 |        387 |        424 |
181.92/25.76	c (23,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
181.92/25.76	c (23,0) c | PropBinClauses|       296317967 |   36667225 |   36284123 |   38036170 |   37270113 |   36270340 |   36935977 |   37824718 |   37029301 |
181.92/25.76	c (23,0) c | PropPreBlocker|      4226533533 |  520672515 |  519322437 |  536933666 |  525868980 |  515260974 |  527991972 |  539978158 |  540504831 |
181.92/25.76	c (23,0) c | PropNotBlocker|      1580125885 |  192335669 |  193803788 |  198002860 |  197718621 |  195866763 |  197130390 |  202516844 |  202750950 |
181.92/25.76	c (23,0) c | LitFullScans  |      9044148722 | 1110052350 | 1111689096 | 1140047203 | 1134062436 | 1110048748 | 1128088003 | 1152088415 | 1158072471 |
181.92/25.76	c (23,0) c | LitScanFracts |          354791 |      42663 |      54223 |      42973 |      41289 |      42970 |      41886 |      44409 |      44378 |
181.92/25.76	c (23,0) c | DecisionLevel0|            2898 |        304 |        367 |        332 |        364 |        392 |        325 |        388 |        426 |
181.92/25.76	c (23,0) c | Periods       |            1507 |        185 |        185 |        190 |        189 |        185 |        188 |        192 |        193 |
181.92/25.76	c (23,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
181.92/25.76	c (23,0) c | Avg_Trail     |                 |       1969 |       1977 |       1967 |       1954 |       1951 |       1960 |       1955 |       1962 |
181.92/25.76	c (23,0) c | Avg_DL        |                 |         21 |         21 |         22 |         21 |         21 |         21 |         22 |         22 |
181.92/25.76	c (23,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
181.92/25.76	c (23,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
181.92/25.76	c (23,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
181.92/25.76	c (23,0) c | Exported      |          126646 |      15383 |      15625 |      15780 |      15876 |      15942 |      16608 |      15841 |      15591 |
181.92/25.76	c (23,0) c | Imported      |          834740 |     104255 |     103994 |     102828 |     104057 |     102662 |     104187 |     106016 |     106741 |
181.92/25.76	c (23,0) c | Good          |             472 |         58 |         63 |         58 |         59 |         59 |         60 |         59 |         56 |
181.92/25.76	c (23,0) c | Purge         |          834268 |     104197 |     103931 |     102770 |     103998 |     102603 |     104127 |     105957 |     106685 |
181.92/25.76	c (23,0) c | Promoted      |           99161 |      12136 |      12082 |      12672 |      12451 |      12406 |      12223 |      12497 |      12694 |
181.92/25.76	c (23,0) c | Remove_Imp    |          453927 |      56603 |      56139 |      55114 |      56482 |      57511 |      56744 |      58173 |      57161 |
181.92/25.76	c (23,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
181.92/25.76	c (23,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
181.92/25.76	c (23,0) c | Unaries       |                 |          3 |          1 |          1 |          2 |          1 |          1 |          1 |          2 |
181.92/25.76	c (23,0) c | Binaries      |                 |         10 |          5 |          8 |          9 |          7 |          8 |          9 |         12 |
181.92/25.76	c (23,0) c | Glues         |                 |        124 |        142 |        149 |        129 |        112 |        128 |        136 |        147 |
181.92/25.76	c (23,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
181.92/25.76	c (23,0) c | Orig_Seen     |            22 % |      21028 |      23734 |      22227 |      21853 |      21901 |      22354 |      20937 |      22256 |
181.92/25.76	c (23,0) c | Diff Orig seen|                 | -     2706 |      X     | -     1507 | -     1881 | -     1833 | -     1380 | -     2797 | -     1478 |
181.92/25.76	c (23,0) c | Hamming       |            27 % |       1516 |      X     |       1266 |       1770 |       1880 |       1674 |       1840 |       2003 |
181.92/25.76	c (23,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
181.92/25.76	c (23,0) c | RunningTime   |                 |   22.3 100%|   21.8 100%|   21.8 100%|   21.9 100%|   22.6 100%|   21.8 100%|   21.8 100%|   21.8 100%|
181.92/25.76	c (23,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%|
181.92/25.76	c (23,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%|
181.92/25.76	c (23,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%|
181.92/25.76	c (23,0) c | SolvingTime   |                 |   22.3     |   21.8     |   21.8     |   21.9     |   22.7     |   21.9     |   21.8     |   21.9     |
181.92/25.76	c (23,0) c | PropagationTim|                 |   19.2  86%|   19.0  87%|   19.0  87%|   19.1  87%|   19.6  86%|   18.8  86%|   18.7  85%|   19.0  87%|
181.92/25.76	c (23,0) c | AnalysisTime  |                 |    2.5  11%|    2.2  10%|    2.2  10%|    2.2  10%|    2.5  11%|    2.5  11%|    2.5  12%|    2.2  10%|
181.92/25.76	c (23,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%|
181.92/25.76	c (23,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%|
181.92/25.76	c (23,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%|
181.92/25.76	c (23,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%|
181.92/25.76	c (23,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
181.92/25.76	c (23,0) c
181.92/25.76	c (23,0) c
181.92/25.76	c (23,0) c Threads : 8
181.92/25.76	c (23,0) c Winner : 1
181.92/25.76	c (23,0) c Conflicts_0 : 102943
181.92/25.76	c (23,0) c Conflicts_1 : 103761
181.92/25.76	c (23,0) c Conflicts_2 : 107373
181.92/25.76	c (23,0) c Conflicts_3 : 105087
181.92/25.76	c (23,0) c Conflicts_4 : 102658
181.92/25.76	c (23,0) c Conflicts_5 : 104787
181.92/25.76	c (23,0) c Conflicts_6 : 104706
181.92/25.76	c (23,0) c Conflicts_7 : 106398
181.92/25.76	c (23,0) c Conflicts_total : 837713
181.92/25.76	c (23,0) c Conflicts_winner : 103761
181.92/25.76	c (23,0) c Decisions_0 : 169286
181.92/25.76	c (23,0) c Decisions_1 : 176589
181.92/25.76	c (23,0) c Decisions_2 : 178880
181.92/25.76	c (23,0) c Decisions_3 : 175973
181.92/25.76	c (23,0) c Decisions_4 : 175068
181.92/25.76	c (23,0) c Decisions_5 : 174827
181.92/25.76	c (23,0) c Decisions_6 : 174652
181.92/25.76	c (23,0) c Decisions_7 : 180591
181.92/25.76	c (23,0) c Decisions_total : 1405866
181.92/25.76	c (23,0) c Decisions_winner : 176589
181.92/25.76	c (23,0) c Propagations_0 : 27453256
181.92/25.76	c (23,0) c Propagations_1 : 27091795
181.92/25.76	c (23,0) c Propagations_2 : 27999147
181.92/25.76	c (23,0) c Propagations_3 : 27612255
181.92/25.76	c (23,0) c Propagations_4 : 26753430
181.92/25.76	c (23,0) c Propagations_5 : 27426981
181.92/25.76	c (23,0) c Propagations_6 : 28167767
181.92/25.76	c (23,0) c Propagations_7 : 27701743
181.92/25.76	c (23,0) c Propagations_total : 220206374
181.92/25.76	c (23,0) c Propagations_winner : 27091795
181.92/25.76	c (23,0) c ReduceDBs_0 : 8
181.92/25.76	c (23,0) c ReduceDBs_1 : 8
181.92/25.76	c (23,0) c ReduceDBs_2 : 8
181.92/25.76	c (23,0) c ReduceDBs_3 : 8
181.92/25.76	c (23,0) c ReduceDBs_4 : 8
181.92/25.76	c (23,0) c ReduceDBs_5 : 8
181.92/25.76	c (23,0) c ReduceDBs_6 : 8
181.92/25.76	c (23,0) c ReduceDBs_7 : 8
181.92/25.76	c (23,0) c ReduceDBs_total : 64
181.92/25.76	c (23,0) c ReduceDBs_winner : 8
181.92/25.76	c (23,0) c SimpDBs_0 : 4
181.92/25.76	c (23,0) c SimpDBs_1 : 3
181.92/25.76	c (23,0) c SimpDBs_2 : 3
181.92/25.76	c (23,0) c SimpDBs_3 : 3
181.92/25.76	c (23,0) c SimpDBs_4 : 3
181.92/25.76	c (23,0) c SimpDBs_5 : 4
181.92/25.76	c (23,0) c SimpDBs_6 : 3
181.92/25.76	c (23,0) c SimpDBs_7 : 3
181.92/25.76	c (23,0) c SimpDBs_total : 26
181.92/25.76	c (23,0) c SimpDBs_winner : 3
181.92/25.76	c (23,0) c Restarts_0 : 301
181.92/25.76	c (23,0) c Restarts_1 : 366
181.92/25.76	c (23,0) c Restarts_2 : 331
181.92/25.76	c (23,0) c Restarts_3 : 362
181.92/25.76	c (23,0) c Restarts_4 : 391
181.92/25.76	c (23,0) c Restarts_5 : 324
181.92/25.76	c (23,0) c Restarts_6 : 387
181.92/25.76	c (23,0) c Restarts_7 : 424
181.92/25.76	c (23,0) c Restarts_total : 2886
181.92/25.76	c (23,0) c Restarts_winner : 366
181.92/25.76	c (23,0) c ForcedImports_0 : 0
181.92/25.76	c (23,0) c ForcedImports_1 : 0
181.92/25.76	c (23,0) c ForcedImports_2 : 0
181.92/25.76	c (23,0) c ForcedImports_3 : 0
181.92/25.76	c (23,0) c ForcedImports_4 : 0
181.92/25.76	c (23,0) c ForcedImports_5 : 0
181.92/25.76	c (23,0) c ForcedImports_6 : 0
181.92/25.76	c (23,0) c ForcedImports_7 : 0
181.92/25.76	c (23,0) c ForcedImports_total : 0
181.92/25.76	c (23,0) c ForcedImports_winner : 0
181.92/25.76	c (23,0) c PropsBinClauses_0 : 36667225
181.92/25.76	c (23,0) c PropsBinClauses_1 : 36284123
181.92/25.76	c (23,0) c PropsBinClauses_2 : 38036170
181.92/25.76	c (23,0) c PropsBinClauses_3 : 37270113
181.92/25.76	c (23,0) c PropsBinClauses_4 : 36270340
181.92/25.76	c (23,0) c PropsBinClauses_5 : 36935977
181.92/25.76	c (23,0) c PropsBinClauses_6 : 37824718
181.92/25.76	c (23,0) c PropsBinClauses_7 : 37029301
181.92/25.76	c (23,0) c PropsBinClauses_total : 296317967
181.92/25.76	c (23,0) c PropsBinClauses_winner : 36284123
181.92/25.76	c (23,0) c PropsPreBlocker_0 : 520672515
181.92/25.76	c (23,0) c PropsPreBlocker_1 : 519322437
181.92/25.76	c (23,0) c PropsPreBlocker_2 : 536933666
181.92/25.76	c (23,0) c PropsPreBlocker_3 : 525868980
181.92/25.76	c (23,0) c PropsPreBlocker_4 : 515260974
181.92/25.76	c (23,0) c PropsPreBlocker_5 : 527991972
181.92/25.76	c (23,0) c PropsPreBlocker_6 : 539978158
181.92/25.76	c (23,0) c PropsPreBlocker_7 : 540504831
181.92/25.76	c (23,0) c PropsPreBlocker_total : 4226533533
181.92/25.76	c (23,0) c PropsPreBlocker_winner : 519322437
181.92/25.76	c (23,0) c PropsNotBlocker_0 : 192335669
181.92/25.76	c (23,0) c PropsNotBlocker_1 : 193803788
181.92/25.76	c (23,0) c PropsNotBlocker_2 : 198002860
181.92/25.76	c (23,0) c PropsNotBlocker_3 : 197718621
181.92/25.77	c (23,0) c PropsNotBlocker_4 : 195866763
181.92/25.77	c (23,0) c PropsNotBlocker_5 : 197130390
181.92/25.77	c (23,0) c PropsNotBlocker_6 : 202516844
181.92/25.77	c (23,0) c PropsNotBlocker_7 : 202750950
181.92/25.77	c (23,0) c PropsNotBlocker_total : 1580125885
181.92/25.77	c (23,0) c PropsNotBlocker_winner : 193803788
181.92/25.77	c (23,0) c PropsLitFullScans_0 : 1110052350
181.92/25.77	c (23,0) c PropsLitFullScans_1 : 1111689096
181.92/25.77	c (23,0) c PropsLitFullScans_2 : 1140047203
181.92/25.77	c (23,0) c PropsLitFullScans_3 : 1134062436
181.92/25.77	c (23,0) c PropsLitFullScans_4 : 1110048748
181.92/25.77	c (23,0) c PropsLitFullScans_5 : 1128088003
181.92/25.77	c (23,0) c PropsLitFullScans_6 : 1152088415
181.92/25.77	c (23,0) c PropsLitFullScans_7 : 1158072471
181.92/25.77	c (23,0) c PropsLitFullScans_total : 9044148722
181.92/25.77	c (23,0) c PropsLitFullScans_winner : 1111689096
181.92/25.77	c (23,0) c LitScanFractions_0 : 42663
181.92/25.77	c (23,0) c LitScanFractions_1 : 54223
181.92/25.77	c (23,0) c LitScanFractions_2 : 42973
181.92/25.77	c (23,0) c LitScanFractions_3 : 41289
181.92/25.77	c (23,0) c LitScanFractions_4 : 42970
181.92/25.77	c (23,0) c LitScanFractions_5 : 41886
181.92/25.77	c (23,0) c LitScanFractions_6 : 44409
181.92/25.77	c (23,0) c LitScanFractions_7 : 44378
181.92/25.77	c (23,0) c LitScanFractions_total : 354791
181.92/25.77	c (23,0) c LitScanFractions_winner : 54223
181.92/25.77	c (23,0) c DecisionLevel0_0 : 304
181.92/25.77	c (23,0) c DecisionLevel0_1 : 367
181.92/25.77	c (23,0) c DecisionLevel0_2 : 332
181.92/25.77	c (23,0) c DecisionLevel0_3 : 364
181.92/25.77	c (23,0) c DecisionLevel0_4 : 392
181.92/25.77	c (23,0) c DecisionLevel0_5 : 325
181.92/25.77	c (23,0) c DecisionLevel0_6 : 388
181.92/25.77	c (23,0) c DecisionLevel0_7 : 426
181.92/25.77	c (23,0) c DecisionLevel0_total : 2898
181.92/25.77	c (23,0) c DecisionLevel0_winner : 367
181.92/25.77	c (23,0) c Periods_0 : 185
181.92/25.77	c (23,0) c Periods_1 : 185
181.92/25.77	c (23,0) c Periods_2 : 190
181.92/25.77	c (23,0) c Periods_3 : 189
181.92/25.77	c (23,0) c Periods_4 : 185
181.92/25.77	c (23,0) c Periods_5 : 188
181.92/25.77	c (23,0) c Periods_6 : 192
181.92/25.77	c (23,0) c Periods_7 : 193
181.92/25.77	c (23,0) c Periods_total : 1507
181.92/25.77	c (23,0) c Periods_winner : 185
181.92/25.77	c (23,0) c Margin_0 : 20
181.92/25.77	c (23,0) c Margin_1 : 20
181.92/25.77	c (23,0) c Margin_2 : 20
181.92/25.77	c (23,0) c Margin_3 : 20
181.92/25.77	c (23,0) c Margin_4 : 20
181.92/25.77	c (23,0) c Margin_5 : 20
181.92/25.77	c (23,0) c Margin_6 : 20
181.92/25.77	c (23,0) c Margin_7 : 20
181.92/25.77	c (23,0) c Margin_total : 160
181.92/25.77	c (23,0) c Margin_winner : 20
181.92/25.77	c (23,0) c Exported_0 : 15383
181.92/25.77	c (23,0) c Exported_1 : 15625
181.92/25.77	c (23,0) c Exported_2 : 15780
181.92/25.77	c (23,0) c Exported_3 : 15876
181.92/25.77	c (23,0) c Exported_4 : 15942
181.92/25.77	c (23,0) c Exported_5 : 16608
181.92/25.77	c (23,0) c Exported_6 : 15841
181.92/25.77	c (23,0) c Exported_7 : 15591
181.92/25.77	c (23,0) c Exported_total : 126646
181.92/25.77	c (23,0) c Exported_winner : 15625
181.92/25.77	c (23,0) c Imported_0 : 104255
181.92/25.77	c (23,0) c Imported_1 : 103994
181.92/25.77	c (23,0) c Imported_2 : 102828
181.92/25.77	c (23,0) c Imported_3 : 104057
181.92/25.77	c (23,0) c Imported_4 : 102662
181.92/25.77	c (23,0) c Imported_5 : 104187
181.92/25.77	c (23,0) c Imported_6 : 106016
181.92/25.77	c (23,0) c Imported_7 : 106741
181.92/25.77	c (23,0) c Imported_total : 834740
181.92/25.77	c (23,0) c Imported_winner : 103994
181.92/25.77	c (23,0) c Good_0 : 58
181.92/25.77	c (23,0) c Good_1 : 63
181.92/25.77	c (23,0) c Good_2 : 58
181.92/25.77	c (23,0) c Good_3 : 59
181.92/25.77	c (23,0) c Good_4 : 59
181.92/25.77	c (23,0) c Good_5 : 60
181.92/25.77	c (23,0) c Good_6 : 59
181.92/25.77	c (23,0) c Good_7 : 56
181.92/25.77	c (23,0) c Good_total : 472
181.92/25.77	c (23,0) c Good_winner : 63
181.92/25.77	c (23,0) c Purge_0 : 104197
181.92/25.77	c (23,0) c Purge_1 : 103931
181.92/25.77	c (23,0) c Purge_2 : 102770
181.92/25.77	c (23,0) c Purge_3 : 103998
181.92/25.77	c (23,0) c Purge_4 : 102603
181.92/25.77	c (23,0) c Purge_5 : 104127
181.92/25.77	c (23,0) c Purge_6 : 105957
181.92/25.77	c (23,0) c Purge_7 : 106685
181.92/25.77	c (23,0) c Purge_total : 834268
181.92/25.77	c (23,0) c Purge_winner : 103931
181.92/25.77	c (23,0) c Promoted_0 : 12136
181.92/25.77	c (23,0) c Promoted_1 : 12082
181.92/25.77	c (23,0) c Promoted_2 : 12672
181.92/25.77	c (23,0) c Promoted_3 : 12451
181.92/25.77	c (23,0) c Promoted_4 : 12406
181.92/25.77	c (23,0) c Promoted_5 : 12223
181.92/25.77	c (23,0) c Promoted_6 : 12497
181.92/25.77	c (23,0) c Promoted_7 : 12694
181.92/25.77	c (23,0) c Promoted_total : 99161
181.92/25.77	c (23,0) c Promoted_winner : 12082
181.92/25.77	c (23,0) c Remove_Imp_0 : 56603
181.92/25.77	c (23,0) c Remove_Imp_1 : 56139
181.92/25.77	c (23,0) c Remove_Imp_2 : 55114
181.92/25.77	c (23,0) c Remove_Imp_3 : 56482
181.92/25.77	c (23,0) c Remove_Imp_4 : 57511
181.92/25.77	c (23,0) c Remove_Imp_5 : 56744
181.92/25.77	c (23,0) c Remove_Imp_6 : 58173
181.92/25.77	c (23,0) c Remove_Imp_7 : 57161
181.92/25.77	c (23,0) c Remove_Imp_total : 453927
181.92/25.77	c (23,0) c Remove_Imp_winner : 56139
181.92/25.77	c (23,0) c Blocked_Reuse_0 : 0
181.92/25.77	c (23,0) c Blocked_Reuse_1 : 0
181.92/25.77	c (23,0) c Blocked_Reuse_2 : 0
181.92/25.77	c (23,0) c Blocked_Reuse_3 : 0
181.92/25.77	c (23,0) c Blocked_Reuse_4 : 0
181.92/25.77	c (23,0) c Blocked_Reuse_5 : 0
181.92/25.77	c (23,0) c Blocked_Reuse_6 : 0
181.92/25.77	c (23,0) c Blocked_Reuse_7 : 0
181.92/25.77	c (23,0) c Blocked_Reuse_total : 0
181.92/25.77	c (23,0) c Blocked_Reuse_winner : 0
181.92/25.77	c (23,0) c Unaries_0 : 3
181.92/25.77	c (23,0) c Unaries_1 : 1
181.92/25.77	c (23,0) c Unaries_2 : 1
181.92/25.77	c (23,0) c Unaries_3 : 2
181.92/25.77	c (23,0) c Unaries_4 : 1
181.92/25.77	c (23,0) c Unaries_5 : 1
181.92/25.77	c (23,0) c Unaries_6 : 1
181.92/25.77	c (23,0) c Unaries_7 : 2
181.92/25.77	c (23,0) c Unaries_total : 12
181.92/25.77	c (23,0) c Unaries_winner : 1
181.92/25.77	c (23,0) c Binaries_0 : 10
181.92/25.77	c (23,0) c Binaries_1 : 5
181.92/25.77	c (23,0) c Binaries_2 : 8
181.92/25.77	c (23,0) c Binaries_3 : 9
181.92/25.77	c (23,0) c Binaries_4 : 7
181.92/25.77	c (23,0) c Binaries_5 : 8
181.92/25.77	c (23,0) c Binaries_6 : 9
181.92/25.77	c (23,0) c Binaries_7 : 12
181.92/25.77	c (23,0) c Binaries_total : 68
181.92/25.77	c (23,0) c Binaries_winner : 5
181.92/25.77	c (23,0) c Glues_0 : 124
181.92/25.77	c (23,0) c Glues_1 : 142
181.92/25.77	c (23,0) c Glues_2 : 149
181.92/25.77	c (23,0) c Glues_3 : 129
181.92/25.77	c (23,0) c Glues_4 : 112
181.92/25.77	c (23,0) c Glues_5 : 128
181.92/25.77	c (23,0) c Glues_6 : 136
181.92/25.77	c (23,0) c Glues_7 : 147
181.92/25.77	c (23,0) c Glues_total : 1067
181.92/25.77	c (23,0) c Glues_winner : 142
181.92/25.77	c (23,0) c RunningTime_0 : 22.269601
181.92/25.77	c (23,0) c RunningTime_1 : 21.794826
181.92/25.77	c (23,0) c RunningTime_2 : 21.806858
181.92/25.77	c (23,0) c RunningTime_3 : 21.863172
181.92/25.77	c (23,0) c RunningTime_4 : 22.621476
181.92/25.77	c (23,0) c RunningTime_5 : 21.828881
181.92/25.77	c (23,0) c RunningTime_6 : 21.804387
181.92/25.77	c (23,0) c RunningTime_7 : 21.846999
181.92/25.77	c (23,0) c RunningTime_total : 175.836199
181.92/25.77	c (23,0) c RunningTime_winner : 21.794826
181.92/25.77	c (23,0) c WaitingTime_0 : 0.000202
181.92/25.77	c (23,0) c WaitingTime_1 : 0.000229
181.92/25.77	c (23,0) c WaitingTime_2 : 0.000283
181.92/25.77	c (23,0) c WaitingTime_3 : 0.000290
181.92/25.77	c (23,0) c WaitingTime_4 : 0.000205
181.92/25.77	c (23,0) c WaitingTime_5 : 0.000266
181.92/25.77	c (23,0) c WaitingTime_6 : 0.000234
181.92/25.77	c (23,0) c WaitingTime_7 : 0.000255
181.92/25.77	c (23,0) c WaitingTime_total : 0.001964
181.92/25.77	c (23,0) c WaitingTime_winner : 0.000229
181.92/25.77	c (23,0) c ExchangingTime_0 : 0.035166
181.92/25.77	c (23,0) c ExchangingTime_1 : 0.036672
181.92/25.77	c (23,0) c ExchangingTime_2 : 0.039767
181.92/25.77	c (23,0) c ExchangingTime_3 : 0.042115
181.92/25.77	c (23,0) c ExchangingTime_4 : 0.037352
181.92/25.77	c (23,0) c ExchangingTime_5 : 0.039734
181.92/25.77	c (23,0) c ExchangingTime_6 : 0.036635
181.92/25.77	c (23,0) c ExchangingTime_7 : 0.039017
181.92/25.77	c (23,0) c ExchangingTime_total : 0.306458
181.92/25.77	c (23,0) c ExchangingTime_winner : 0.036672
181.92/25.77	c (23,0) c PeriodProcTime_0 : 0.001647
181.92/25.77	c (23,0) c PeriodProcTime_1 : 0.001819
181.92/25.77	c (23,0) c PeriodProcTime_2 : 0.001306
181.92/25.77	c (23,0) c PeriodProcTime_3 : 0.001577
181.92/25.77	c (23,0) c PeriodProcTime_4 : 0.001245
181.92/25.77	c (23,0) c PeriodProcTime_5 : 0.001426
181.92/25.77	c (23,0) c PeriodProcTime_6 : 0.001369
181.92/25.77	c (23,0) c PeriodProcTime_7 : 0.001854
181.92/25.77	c (23,0) c PeriodProcTime_total : 0.012244
181.92/25.77	c (23,0) c PeriodProcTime_winner : 0.001819
181.92/25.77	c (23,0) c SolvingTime_0 : 22.306616
181.92/25.77	c (23,0) c SolvingTime_1 : 21.833546
181.92/25.77	c (23,0) c SolvingTime_2 : 21.848214
181.92/25.77	c (23,0) c SolvingTime_3 : 21.907153
181.92/25.77	c (23,0) c SolvingTime_4 : 22.660278
181.92/25.77	c (23,0) c SolvingTime_5 : 21.870306
181.92/25.77	c (23,0) c SolvingTime_6 : 21.842626
181.92/25.77	c (23,0) c SolvingTime_7 : 21.888125
181.92/25.77	c (23,0) c SolvingTime_total : 176.156865
181.92/25.77	c (23,0) c SolvingTime_winner : 21.833546
181.92/25.77	c (23,0) c PropagationTime_0 : 19.169601
181.92/25.77	c (23,0) c PropagationTime_1 : 19.037933
181.92/25.77	c (23,0) c PropagationTime_2 : 19.047922
181.92/25.77	c (23,0) c PropagationTime_3 : 19.057509
181.92/25.77	c (23,0) c PropagationTime_4 : 19.564491
181.92/25.77	c (23,0) c PropagationTime_5 : 18.754852
181.92/25.77	c (23,0) c PropagationTime_6 : 18.665004
181.92/25.77	c (23,0) c PropagationTime_7 : 19.021146
181.92/25.77	c (23,0) c PropagationTime_total : 152.318456
181.92/25.77	c (23,0) c PropagationTime_winner : 19.037933
181.92/25.77	c (23,0) c AnalysisTime_0 : 2.532872
181.92/25.77	c (23,0) c AnalysisTime_1 : 2.162084
181.92/25.77	c (23,0) c AnalysisTime_2 : 2.180993
181.92/25.77	c (23,0) c AnalysisTime_3 : 2.199526
181.92/25.77	c (23,0) c AnalysisTime_4 : 2.470870
181.92/25.77	c (23,0) c AnalysisTime_5 : 2.469385
181.92/25.77	c (23,0) c AnalysisTime_6 : 2.534039
181.92/25.77	c (23,0) c AnalysisTime_7 : 2.228705
181.92/25.77	c (23,0) c AnalysisTime_total : 18.778476
181.92/25.77	c (23,0) c AnalysisTime_winner : 2.162084
181.92/25.77	c (23,0) c ReductionTime_0 : 0.152751
181.92/25.77	c (23,0) c ReductionTime_1 : 0.170178
181.92/25.77	c (23,0) c ReductionTime_2 : 0.165100
181.92/25.77	c (23,0) c ReductionTime_3 : 0.166020
181.92/25.77	c (23,0) c ReductionTime_4 : 0.168907
181.92/25.77	c (23,0) c ReductionTime_5 : 0.164499
181.92/25.77	c (23,0) c ReductionTime_6 : 0.164709
181.92/25.77	c (23,0) c ReductionTime_7 : 0.166300
181.92/25.77	c (23,0) c ReductionTime_total : 1.318463
181.92/25.77	c (23,0) c ReductionTime_winner : 0.170178
181.92/25.77	c (23,0) c SimplifyTime_0 : 0.008266
181.92/25.77	c (23,0) c SimplifyTime_1 : 0.004983
181.92/25.77	c (23,0) c SimplifyTime_2 : 0.004740
181.92/25.77	c (23,0) c SimplifyTime_3 : 0.004795
181.92/25.77	c (23,0) c SimplifyTime_4 : 0.005174
181.92/25.77	c (23,0) c SimplifyTime_5 : 0.008294
181.92/25.77	c (23,0) c SimplifyTime_6 : 0.005408
181.92/25.77	c (23,0) c SimplifyTime_7 : 0.004473
181.92/25.77	c (23,0) c SimplifyTime_total : 0.046134
181.92/25.77	c (23,0) c SimplifyTime_winner : 0.004983
181.92/25.77	c (23,0) c UsedRateTime_0 : 0.000000
181.92/25.77	c (23,0) c UsedRateTime_1 : 0.000000
181.92/25.77	c (23,0) c UsedRateTime_2 : 0.000000
181.92/25.77	c (23,0) c UsedRateTime_3 : 0.000000
181.92/25.77	c (23,0) c UsedRateTime_4 : 0.000000
181.92/25.77	c (23,0) c UsedRateTime_5 : 0.000000
181.92/25.77	c (23,0) c UsedRateTime_6 : 0.000000
181.92/25.77	c (23,0) c UsedRateTime_7 : 0.000000
181.92/25.77	c (23,0) c UsedRateTime_total : 0.000000
181.92/25.77	c (23,0) c UsedRateTime_winner : 0.000000
181.92/25.77	c (23,0) c OverlapRateTime_0 : 0.000000
181.92/25.77	c (23,0) c OverlapRateTime_1 : 0.000000
181.92/25.77	c (23,0) c OverlapRateTime_2 : 0.000000
181.92/25.77	c (23,0) c OverlapRateTime_3 : 0.000000
181.92/25.77	c (23,0) c OverlapRateTime_4 : 0.000000
181.92/25.77	c (23,0) c OverlapRateTime_5 : 0.000000
181.92/25.77	c (23,0) c OverlapRateTime_6 : 0.000000
181.92/25.77	c (23,0) c OverlapRateTime_7 : 0.000000
181.92/25.77	c (23,0) c OverlapRateTime_total : 0.000000
181.92/25.77	c (23,0) c OverlapRateTime_winner : 0.000000
181.92/25.77	c (23,0) c
181.92/25.77	c (23,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
181.92/25.77	c (23,0) c
181.92/25.77	c (23,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
181.92/25.77	c (23,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
181.92/25.77	c (23,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
181.92/25.77	c (23,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
181.92/25.77	c (23,0) c | adaptStrategeis       |      False |      False |      False |      False |      False |      False |      False |      False |
181.92/25.77	c (23,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
181.92/25.77	c (23,0) c | Initial random_seed   |  359170955 | 1680590881 | 1995122212 |  418813048 | 1576204636 | 1034296702 |   50870136 | 1427356948 |
181.92/25.77	c (23,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
181.92/25.77	c (23,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
181.92/25.77	c (23,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
181.92/25.77	c (23,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
181.92/25.77	c (23,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
181.92/25.77	c (23,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
181.92/25.77	c (23,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
181.92/25.77	c (23,0) c | var_decay             |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
181.92/25.77	c (23,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
181.92/25.77	c (23,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
181.92/25.77	c (23,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
181.92/25.77	c (23,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
181.92/25.77	c (23,0) 
181.92/25.77	c (23,0) s SATISFIABLE
182.14/25.80	c (23,0) SatSolver.solve End
182.14/25.80	c (23,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
182.14/25.80	c (23,0) Show results Begin
182.14/25.89	c (23,0) x[0] = 65
182.14/25.89	c (23,0) x[1] = 65
182.14/25.89	c (23,0) x[2] = 62
182.14/25.89	c (23,0) x[3] = 75
182.14/25.89	c (23,0) x[4] = 62
182.14/25.89	c (23,0) x[5] = 54
182.14/25.89	c (23,0) x[6] = 38
182.14/25.89	c (23,0) x[7] = 54
182.14/25.89	c (23,0) x[8] = 79
182.14/25.89	c (23,0) x[9] = 79
182.14/25.89	c (23,0) x[10] = 67
182.14/25.89	c (23,0) x[11] = 75
182.14/25.89	c (23,0) x[12] = 48
182.14/25.89	c (23,0) x[13] = 38
182.14/25.89	c (23,0) x[14] = 66
182.14/25.89	c (23,0) x[15] = 48
182.14/25.89	c (23,0) x[16] = 54
182.14/25.89	c (23,0) x[17] = 0
182.14/25.89	c (23,0) x[18] = 98
182.14/25.89	c (23,0) x[19] = 95
182.14/25.89	c (23,0) x[20] = 0
182.14/25.89	c (23,0) x[21] = 87
182.14/25.89	c (23,0) x[22] = 0
182.14/25.89	c (23,0) y[0] = 53
182.14/25.89	c (23,0) y[1] = 51
182.14/25.89	c (23,0) y[2] = 51
182.14/25.89	c (23,0) y[3] = 113
182.14/25.89	c (23,0) y[4] = 46
182.14/25.89	c (23,0) y[5] = 46
182.14/25.89	c (23,0) y[6] = 82
182.14/25.89	c (23,0) y[7] = 33
182.14/25.89	c (23,0) y[8] = 82
182.14/25.89	c (23,0) y[9] = 98
182.14/25.89	c (23,0) y[10] = 33
182.14/25.89	c (23,0) y[11] = 117
182.14/25.89	c (23,0) y[12] = 113
182.14/25.89	c (23,0) y[13] = 54
182.14/25.89	c (23,0) y[14] = 53
182.14/25.89	c (23,0) y[15] = 82
182.14/25.89	c (23,0) y[16] = 0
182.14/25.89	c (23,0) y[17] = 54
182.14/25.89	c (23,0) y[18] = 98
182.14/25.89	c (23,0) y[19] = 53
182.14/25.89	c (23,0) y[20] = 92
182.14/25.89	c (23,0) y[21] = 0
182.14/25.89	c (23,0) y[22] = 0
182.14/25.89	s SATISFIABLE
182.33/25.90	v <instantiation>
182.33/25.90	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>
182.33/25.90	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>
182.33/25.90	v </instantiation>
182.33/25.90	c (23,0) Show results End
182.33/25.90	c (23,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB)
182.33/25.90	c (23,0) 23,23,STOP-AFTER(ALL)
182.33/25.90	c END-Prog: Sat Sep 14 05:00:19 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 (14848 MiB free)
  memory of node 1: 16384 MiB (15305 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392333-1568430031/watcher-4392333-1568430031 -o /tmp/evaluation-result-4392333-1568430031/solver-4392333-1568430031 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node149-1568429993-11990 --watchdog 2580 HOME/scop.sh 22g HOME/scop.jar -order HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4392333-1568430031.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=12007, runsolver pid=12004
Current StackSize limit: 8192 KiB


[startup+0.100111 s]*
/proc/loadavg: 6.92 6.56 6.03 2/211 12029
/proc/meminfo: memFree=30783200/32770624 swapFree=66940948/67108860
[pid=12007] ppid=12004 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/12007/stat : 12007 (scop.sh) S 12004 12007 11963 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 419241776 115843072 349 33554432000 4194304 5098028 140728009607168 140728009604424 140502390706812 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 29024256 140728009610021 140728009610348 140728009610348 140728009613261 0
/proc/12007/statm: 28282 349 296 221 0 87 0
[pid=12010] ppid=12007 vsize=27314120 memory=107648 CPUtime=0.11 cores=0-7
/proc/12010/stat : 12010 (java) S 12007 12007 11963 0 -1 1077944320 6485 0 0 0 8 3 0 0 20 0 20 0 419241776 27969658880 26912 33554432000 4194304 4196468 140730463348288 140730463330832 140138126925559 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 26316800 140730463351531 140730463351958 140730463351958 140730463354831 0
/proc/12010/statm: 6828530 26912 2800 1 0 6790935 0
[pid=12010/tid=12011] ppid=12007 vsize=27314120 memory=4134930498285298233 CPUtime=0.08 cores=0-7
/proc/12010/task/12011/stat : 12011 (java) R 12007 12007 11963 0 -1 4202560 4584 0 0 0 6 2 0 0 20 0 20 0 419241776 27969658880 26912 33554432000 4194304 4196468 140730463348288 140138098749856 140138112993678 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26316800 140730463351531 140730463351958 140730463351958 140730463354831 0
[pid=12010/tid=12012] ppid=12007 vsize=27314120 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/12010/task/12012/stat : 12012 (java) S 12007 12007 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419241779 27969658880 26912 33554432000 4194304 4196468 140730463348288 140138131168144 140138126935765 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26316800 140730463351531 140730463351958 140730463351958 140730463354831 0
[pid=12010/tid=12013] ppid=12007 vsize=27314120 memory=140353907484288 CPUtime=0 cores=0-7
/proc/12010/task/12013/stat : 12013 (java) S 12007 12007 11963 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419241779 27969658880 26912 33554432000 4194304 4196468 140730463348288 140137945324304 140138126935765 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26316800 140730463351531 140730463351958 140730463351958 140730463354831 0
[pid=12010/tid=12014] ppid=12007 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12010/task/12014/stat : 12014 (java) S 12007 12007 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419241779 27969658880 26912 33554432000 4194304 4196468 140730463348288 140137944272016 140138126935765 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26316800 140730463351531 140730463351958 140730463351958 140730463354831 0
[pid=12010/tid=12015] ppid=12007 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12010/task/12015/stat : 12015 (java) S 12007 12007 11963 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419241779 27969658880 26912 33554432000 4194304 4196468 140730463348288 140137943219216 140138126935765 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26316800 140730463351531 140730463351958 140730463351958 140730463354831 0
[pid=12010/tid=12016] ppid=12007 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12010/task/12016/stat : 12016 (java) S 12007 12007 11963 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419241779 27969658880 26912 33554432000 4194304 4196468 140730463348288 140137942165904 140138126935765 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26316800 140730463351531 140730463351958 140730463351958 140730463354831 0
[pid=12010/tid=12017] ppid=12007 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/12010/task/12017/stat : 12017 (java) S 12007 12007 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419241779 27969658880 26912 33554432000 4194304 4196468 140730463348288 140137941113104 140138126935765 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26316800 140730463351531 140730463351958 140730463351958 140730463354831 0
[pid=12010/tid=12018] ppid=12007 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12010/task/12018/stat : 12018 (java) S 12007 12007 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419241779 27969658880 26912 33554432000 4194304 4196468 140730463348288 140137940060816 140138126935765 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26316800 140730463351531 140730463351958 140730463351958 140730463354831 0
[pid=12010/tid=12019] ppid=12007 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12010/task/12019/stat : 12019 (java) S 12007 12007 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419241779 27969658880 26912 33554432000 4194304 4196468 140730463348288 140137939008016 140138126935765 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26316800 140730463351531 140730463351958 140730463351958 140730463354831 0
[pid=12010/tid=12020] ppid=12007 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12010/task/12020/stat : 12020 (java) S 12007 12007 11963 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419241780 27969658880 26912 33554432000 4194304 4196468 140730463348288 140136178190960 140138126936706 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26316800 140730463351531 140730463351958 140730463351958 140730463354831 0
[pid=12010/tid=12021] ppid=12007 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12010/task/12021/stat : 12021 (java) S 12007 12007 11963 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419241781 27969658880 27424 33554432000 4194304 4196468 140730463348288 140136058709280 140138126935765 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26316800 140730463351531 140730463351958 140730463351958 140730463354831 0
[pid=12010/tid=12022] ppid=12007 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12010/task/12022/stat : 12022 (java) S 12007 12007 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419241781 27969658880 27424 33554432000 4194304 4196468 140730463348288 140135790274160 140138126935765 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26316800 140730463351531 140730463351958 140730463351958 140730463354831 0
[pid=12010/tid=12023] ppid=12007 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12010/task/12023/stat : 12023 (java) S 12007 12007 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419241783 27969658880 27424 33554432000 4194304 4196468 140730463348288 140135415765584 140138126944155 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26316800 140730463351531 140730463351958 140730463351958 140730463354831 0
[pid=12010/tid=12024] ppid=12007 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12010/task/12024/stat : 12024 (java) S 12007 12007 11963 0 -1 1077944384 305 0 0 0 0 0 0 0 20 0 20 0 419241783 27969658880 27424 33554432000 4194304 4196468 140730463348288 140136177137776 140138126936706 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26316800 140730463351531 140730463351958 140730463351958 140730463354831 0
[pid=12010/tid=12025] ppid=12007 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12010/task/12025/stat : 12025 (java) S 12007 12007 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419241783 27969658880 27424 33554432000 4194304 4196468 140730463348288 140136176084976 140138126936706 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26316800 140730463351531 140730463351958 140730463351958 140730463354831 0
[pid=12010/tid=12026] ppid=12007 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12010/task/12026/stat : 12026 (java) S 12007 12007 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419241783 27969658880 27424 33554432000 4194304 4196468 140730463348288 140136175032688 140138126936706 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26316800 140730463351531 140730463351958 140730463351958 140730463354831 0
[pid=12010/tid=12027] ppid=12007 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12010/task/12027/stat : 12027 (java) S 12007 12007 11963 0 -1 1077944384 259 0 0 0 0 0 0 0 20 0 20 0 419241783 27969658880 27424 33554432000 4194304 4196468 140730463348288 140136173979888 140138126936706 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26316800 140730463351531 140730463351958 140730463351958 140730463354831 0
[pid=12010/tid=12028] ppid=12007 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12010/task/12028/stat : 12028 (java) S 12007 12007 11963 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419241783 27969658880 27424 33554432000 4194304 4196468 140730463348288 140134917860192 140138126935765 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26316800 140730463351531 140730463351958 140730463351958 140730463354831 0
[pid=12010/tid=12029] ppid=12007 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/12010/task/12029/stat : 12029 (java) S 12007 12007 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419241784 27969658880 27424 33554432000 4194304 4196468 140730463348288 140136172927792 140138126936706 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26316800 140730463351531 140730463351958 140730463351958 140730463354831 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 109044 KiB

[startup+0.210055 s]*
/proc/loadavg: 6.92 6.56 6.03 2/211 12029
/proc/meminfo: memFree=30761484/32770624 swapFree=66940948/67108860
[pid=12007] ppid=12004 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/12007/stat : 12007 (scop.sh) S 12004 12007 11963 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 419241776 115843072 349 33554432000 4194304 5098028 140728009607168 140728009604424 140502390706812 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 29024256 140728009610021 140728009610348 140728009610348 140728009613261 0
/proc/12007/statm: 28282 349 296 221 0 87 0
[pid=12010] ppid=12007 vsize=27314120 memory=126708 CPUtime=0.24 cores=0-7
/proc/12010/stat : 12010 (java) S 12007 12007 11963 0 -1 1077944320 12081 0 0 0 19 5 0 0 20 0 20 0 419241776 27969658880 31677 33554432000 4194304 4196468 140730463348288 140730463330832 140138126925559 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 26316800 140730463351531 140730463351958 140730463351958 140730463354831 0
/proc/12010/statm: 6828530 31677 2936 1 0 6790935 0
[pid=12010/tid=12011] ppid=12007 vsize=27314120 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/12010/task/12011/stat : 12011 (java) R 12007 12007 11963 0 -1 4202560 9797 0 0 0 15 4 0 0 20 0 20 0 419241776 27969658880 31677 33554432000 4194304 4196468 140730463348288 140138098724944 140138107201346 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26316800 140730463351531 140730463351958 140730463351958 140730463354831 0
[pid=12010/tid=12012] ppid=12007 vsize=27314120 memory=329 CPUtime=0 cores=0-7
/proc/12010/task/12012/stat : 12012 (java) S 12007 12007 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419241779 27969658880 31677 33554432000 4194304 4196468 140730463348288 140138131168144 140138126935765 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26316800 140730463351531 140730463351958 140730463351958 140730463354831 0
[pid=12010/tid=12013] ppid=12007 vsize=27314120 memory=140353907496389 CPUtime=0 cores=0-7
/proc/12010/task/12013/stat : 12013 (java) S 12007 12007 11963 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419241779 27969658880 31677 33554432000 4194304 4196468 140730463348288 140137945324304 140138126935765 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26316800 140730463351531 140730463351958 140730463351958 140730463354831 0
[pid=12010/tid=12014] ppid=12007 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/12010/task/12014/stat : 12014 (java) S 12007 12007 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419241779 27969658880 31677 33554432000 4194304 4196468 140730463348288 140137944272016 140138126935765 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26316800 140730463351531 140730463351958 140730463351958 140730463354831 0
[pid=12010/tid=12015] ppid=12007 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12010/task/12015/stat : 12015 (java) S 12007 12007 11963 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419241779 27969658880 31677 33554432000 4194304 4196468 140730463348288 140137943219216 140138126935765 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26316800 140730463351531 140730463351958 140730463351958 140730463354831 0
[pid=12010/tid=12016] ppid=12007 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12010/task/12016/stat : 12016 (java) S 12007 12007 11963 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419241779 27969658880 31677 33554432000 4194304 4196468 140730463348288 140137942165904 140138126935765 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26316800 140730463351531 140730463351958 140730463351958 140730463354831 0
[pid=12010/tid=12017] ppid=12007 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/12010/task/12017/stat : 12017 (java) S 12007 12007 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419241779 27969658880 31677 33554432000 4194304 4196468 140730463348288 140137941113104 140138126935765 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26316800 140730463351531 140730463351958 140730463351958 140730463354831 0
[pid=12010/tid=12018] ppid=12007 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12010/task/12018/stat : 12018 (java) S 12007 12007 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419241779 27969658880 31677 33554432000 4194304 4196468 140730463348288 140137940060816 140138126935765 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26316800 140730463351531 140730463351958 140730463351958 140730463354831 0
[pid=12010/tid=12019] ppid=12007 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12010/task/12019/stat : 12019 (java) S 12007 12007 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419241779 27969658880 31677 33554432000 4194304 4196468 140730463348288 140137939008016 140138126935765 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26316800 140730463351531 140730463351958 140730463351958 140730463354831 0
[pid=12010/tid=12020] ppid=12007 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12010/task/12020/stat : 12020 (java) S 12007 12007 11963 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419241780 27969658880 31677 33554432000 4194304 4196468 140730463348288 140136178190960 140138126936706 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26316800 140730463351531 140730463351958 140730463351958 140730463354831 0
[pid=12010/tid=12021] ppid=12007 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12010/task/12021/stat : 12021 (java) S 12007 12007 11963 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419241781 27969658880 31677 33554432000 4194304 4196468 140730463348288 140136058709280 140138126935765 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26316800 140730463351531 140730463351958 140730463351958 140730463354831 0
[pid=12010/tid=12022] ppid=12007 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12010/task/12022/stat : 12022 (java) S 12007 12007 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419241781 27969658880 31677 33554432000 4194304 4196468 140730463348288 140135790274160 140138126935765 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26316800 140730463351531 140730463351958 140730463351958 140730463354831 0
[pid=12010/tid=12023] ppid=12007 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12010/task/12023/stat : 12023 (java) S 12007 12007 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419241783 27969658880 31677 33554432000 4194304 4196468 140730463348288 140135415765584 140138126944155 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26316800 140730463351531 140730463351958 140730463351958 140730463354831 0
[pid=12010/tid=12024] ppid=12007 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12010/task/12024/stat : 12024 (java) S 12007 12007 11963 0 -1 1077944384 317 0 0 0 0 0 0 0 20 0 20 0 419241783 27969658880 31677 33554432000 4194304 4196468 140730463348288 140136177137776 140138126936706 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26316800 140730463351531 140730463351958 140730463351958 140730463354831 0
[pid=12010/tid=12025] ppid=12007 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12010/task/12025/stat : 12025 (java) S 12007 12007 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419241783 27969658880 31677 33554432000 4194304 4196468 140730463348288 140136176084976 140138126936706 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26316800 140730463351531 140730463351958 140730463351958 140730463354831 0
[pid=12010/tid=12026] ppid=12007 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/12010/task/12026/stat : 12026 (java) S 12007 12007 11963 0 -1 1077944384 171 0 0 0 0 0 0 0 20 0 20 0 419241783 27969658880 31677 33554432000 4194304 4196468 140730463348288 140136175032688 140138126936706 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26316800 140730463351531 140730463351958 140730463351958 140730463354831 0
[pid=12010/tid=12027] ppid=12007 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7
/proc/12010/task/12027/stat : 12027 (java) S 12007 12007 11963 0 -1 1077944384 457 0 0 0 2 0 0 0 20 0 20 0 419241783 27969658880 31677 33554432000 4194304 4196468 140730463348288 140136173979888 140138126936706 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26316800 140730463351531 140730463351958 140730463351958 140730463354831 0
[pid=12010/tid=12028] ppid=12007 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12010/task/12028/stat : 12028 (java) S 12007 12007 11963 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419241783 27969658880 31677 33554432000 4194304 4196468 140730463348288 140134917860192 140138126935765 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26316800 140730463351531 140730463351958 140730463351958 140730463354831 0
[pid=12010/tid=12029] ppid=12007 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/12010/task/12029/stat : 12029 (java) S 12007 12007 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419241784 27969658880 31677 33554432000 4194304 4196468 140730463348288 140136172927792 140138126936706 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26316800 140730463351531 140730463351958 140730463351958 140730463354831 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 128104 KiB

[startup+0.309323 s]*
/proc/loadavg: 6.92 6.56 6.03 3/211 12029
/proc/meminfo: memFree=30758816/32770624 swapFree=66940948/67108860
[pid=12007] ppid=12004 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/12007/stat : 12007 (scop.sh) S 12004 12007 11963 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 419241776 115843072 349 33554432000 4194304 5098028 140728009607168 140728009604424 140502390706812 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 29024256 140728009610021 140728009610348 140728009610348 140728009613261 0
/proc/12007/statm: 28282 349 296 221 0 87 0
[pid=12010] ppid=12007 vsize=27314120 memory=130312 CPUtime=0.42 cores=0-7
/proc/12010/stat : 12010 (java) S 12007 12007 11963 0 -1 1077944320 12923 0 0 0 37 5 0 0 20 0 20 0 419241776 27969658880 32578 33554432000 4194304 4196468 140730463348288 140730463330832 140138126925559 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 26316800 140730463351531 140730463351958 140730463351958 140730463354831 0
/proc/12010/statm: 6828530 32578 3004 1 0 6790935 0
[pid=12010/tid=12011] ppid=12007 vsize=27314120 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/12010/task/12011/stat : 12011 (java) R 12007 12007 11963 0 -1 4202560 10471 0 0 0 25 4 0 0 20 0 20 0 419241776 27969658880 32578 33554432000 4194304 4196468 140730463348288 140138098755632 140138108489134 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26316800 140730463351531 140730463351958 140730463351958 140730463354831 0
[pid=12010/tid=12012] ppid=12007 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12010/task/12012/stat : 12012 (java) S 12007 12007 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419241779 27969658880 32578 33554432000 4194304 4196468 140730463348288 140138131168144 140138126935765 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26316800 140730463351531 140730463351958 140730463351958 140730463354831 0
[pid=12010/tid=12013] ppid=12007 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12010/task/12013/stat : 12013 (java) S 12007 12007 11963 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419241779 27969658880 32578 33554432000 4194304 4196468 140730463348288 140137945324304 140138126935765 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26316800 140730463351531 140730463351958 140730463351958 140730463354831 0
[pid=12010/tid=12014] ppid=12007 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12010/task/12014/stat : 12014 (java) S 12007 12007 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419241779 27969658880 32578 33554432000 4194304 4196468 140730463348288 140137944272016 140138126935765 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26316800 140730463351531 140730463351958 140730463351958 140730463354831 0
[pid=12010/tid=12015] ppid=12007 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12010/task/12015/stat : 12015 (java) S 12007 12007 11963 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419241779 27969658880 32578 33554432000 4194304 4196468 140730463348288 140137943219216 140138126935765 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26316800 140730463351531 140730463351958 140730463351958 140730463354831 0
[pid=12010/tid=12016] ppid=12007 vsize=27314120 memory=2244 CPUtime=0 cores=0-7
/proc/12010/task/12016/stat : 12016 (java) S 12007 12007 11963 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419241779 27969658880 32578 33554432000 4194304 4196468 140730463348288 140137942165904 140138126935765 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26316800 140730463351531 140730463351958 140730463351958 140730463354831 0
[pid=12010/tid=12017] ppid=12007 vsize=27314120 memory=140353759966127 CPUtime=0 cores=0-7
/proc/12010/task/12017/stat : 12017 (java) S 12007 12007 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419241779 27969658880 32578 33554432000 4194304 4196468 140730463348288 140137941113104 140138126935765 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26316800 140730463351531 140730463351958 140730463351958 140730463354831 0
[pid=12010/tid=12018] ppid=12007 vsize=27314120 memory=140353759968432 CPUtime=0 cores=0-7
/proc/12010/task/12018/stat : 12018 (java) S 12007 12007 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419241779 27969658880 32578 33554432000 4194304 4196468 140730463348288 140137940060816 140138126935765 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26316800 140730463351531 140730463351958 140730463351958 140730463354831 0
[pid=12010/tid=12019] ppid=12007 vsize=27314120 memory=140353759970736 CPUtime=0 cores=0-7
/proc/12010/task/12019/stat : 12019 (java) S 12007 12007 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419241779 27969658880 32578 33554432000 4194304 4196468 140730463348288 140137939008016 140138126935765 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26316800 140730463351531 140730463351958 140730463351958 140730463354831 0
[pid=12010/tid=12020] ppid=12007 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12010/task/12020/stat : 12020 (java) S 12007 12007 11963 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419241780 27969658880 32578 33554432000 4194304 4196468 140730463348288 140136178190960 140138126936706 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26316800 140730463351531 140730463351958 140730463351958 140730463354831 0
[pid=12010/tid=12021] ppid=12007 vsize=27314120 memory=280707519948432 CPUtime=0 cores=0-7
/proc/12010/task/12021/stat : 12021 (java) S 12007 12007 11963 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419241781 27969658880 32578 33554432000 4194304 4196468 140730463348288 140136058709280 140138126935765 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26316800 140730463351531 140730463351958 140730463351958 140730463354831 0
[pid=12010/tid=12022] ppid=12007 vsize=27314120 memory=280707519955344 CPUtime=0 cores=0-7
/proc/12010/task/12022/stat : 12022 (java) S 12007 12007 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419241781 27969658880 32578 33554432000 4194304 4196468 140730463348288 140135790274160 140138126935765 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26316800 140730463351531 140730463351958 140730463351958 140730463354831 0
[pid=12010/tid=12023] ppid=12007 vsize=27314120 memory=280707519896496 CPUtime=0 cores=0-7
/proc/12010/task/12023/stat : 12023 (java) S 12007 12007 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419241783 27969658880 32578 33554432000 4194304 4196468 140730463348288 140135415765584 140138126944155 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26316800 140730463351531 140730463351958 140730463351958 140730463354831 0
[pid=12010/tid=12024] ppid=12007 vsize=27314120 memory=280707519969168 CPUtime=0.01 cores=0-7
/proc/12010/task/12024/stat : 12024 (java) S 12007 12007 11963 0 -1 1077944384 341 0 0 0 1 0 0 0 20 0 20 0 419241783 27969658880 32578 33554432000 4194304 4196468 140730463348288 140136177137776 140138126936706 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26316800 140730463351531 140730463351958 140730463351958 140730463354831 0
[pid=12010/tid=12025] ppid=12007 vsize=27314120 memory=280707519976080 CPUtime=0.01 cores=0-7
/proc/12010/task/12025/stat : 12025 (java) S 12007 12007 11963 0 -1 1077944384 109 0 0 0 1 0 0 0 20 0 20 0 419241783 27969658880 32578 33554432000 4194304 4196468 140730463348288 140136176084976 140138126936706 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26316800 140730463351531 140730463351958 140730463351958 140730463354831 0
[pid=12010/tid=12026] ppid=12007 vsize=27314120 memory=280707519973776 CPUtime=0 cores=0-7
/proc/12010/task/12026/stat : 12026 (java) S 12007 12007 11963 0 -1 1077944384 185 0 0 0 0 0 0 0 20 0 20 0 419241783 27969658880 32578 33554432000 4194304 4196468 140730463348288 140136175032688 140138126936706 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26316800 140730463351531 140730463351958 140730463351958 140730463354831 0
[pid=12010/tid=12027] ppid=12007 vsize=27314120 memory=280707519989936 CPUtime=0.07 cores=0-7
/proc/12010/task/12027/stat : 12027 (java) S 12007 12007 11963 0 -1 1077944384 479 0 0 0 7 0 0 0 20 0 20 0 419241783 27969658880 32578 33554432000 4194304 4196468 140730463348288 140136173979888 140138126936706 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26316800 140730463351531 140730463351958 140730463351958 140730463354831 0
[pid=12010/tid=12028] ppid=12007 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12010/task/12028/stat : 12028 (java) S 12007 12007 11963 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419241783 27969658880 32578 33554432000 4194304 4196468 140730463348288 140134917860192 140138126935765 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26316800 140730463351531 140730463351958 140730463351958 140730463354831 0
[pid=12010/tid=12029] ppid=12007 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/12010/task/12029/stat : 12029 (java) S 12007 12007 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419241784 27969658880 32578 33554432000 4194304 4196468 140730463348288 140136172927792 140138126936706 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26316800 140730463351531 140730463351958 140730463351958 140730463354831 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 131708 KiB

[startup+0.70091 s]
/proc/loadavg: 6.92 6.56 6.03 2/211 12029
/proc/meminfo: memFree=30737712/32770624 swapFree=66940948/67108860
[pid=12007] ppid=12004 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/12007/stat : 12007 (scop.sh) S 12004 12007 11963 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 419241776 115843072 349 33554432000 4194304 5098028 140728009607168 140728009604424 140502390706812 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 29024256 140728009610021 140728009610348 140728009610348 140728009613261 0
/proc/12007/statm: 28282 349 296 221 0 87 0
[pid=12010] ppid=12007 vsize=27322516 memory=166252 CPUtime=0.98 cores=0-7
/proc/12010/stat : 12010 (java) S 12007 12007 11963 0 -1 1077944320 20108 0 0 0 90 8 0 0 20 0 20 0 419241776 27978256384 41563 33554432000 4194304 4196468 140730463348288 140730463330832 140138126925559 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 26316800 140730463351531 140730463351958 140730463351958 140730463354831 0
/proc/12010/statm: 6830629 41563 3208 1 0 6791959 0
[pid=12010/tid=12011] ppid=12007 vsize=27322516 memory=280707520347824 CPUtime=0.68 cores=0-7
/proc/12010/task/12011/stat : 12011 (java) R 12007 12007 11963 0 -1 4202560 17089 0 0 0 61 7 0 0 20 0 20 0 419241776 27978256384 41563 33554432000 4194304 4196468 140730463348288 140138098754784 140138126937494 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26316800 140730463351531 140730463351958 140730463351958 140730463354831 0
[pid=12010/tid=12012] ppid=12007 vsize=27322516 memory=140353760174960 CPUtime=0 cores=0-7
/proc/12010/task/12012/stat : 12012 (java) S 12007 12007 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419241779 27978256384 41563 33554432000 4194304 4196468 140730463348288 140138131168144 140138126935765 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26316800 140730463351531 140730463351958 140730463351958 140730463354831 0
[pid=12010/tid=12013] ppid=12007 vsize=27322516 memory=0 CPUtime=0 cores=0-7
/proc/12010/task/12013/stat : 12013 (java) S 12007 12007 11963 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419241779 27978256384 41563 33554432000 4194304 4196468 140730463348288 140137945324304 140138126935765 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26316800 140730463351531 140730463351958 140730463351958 140730463354831 0
[pid=12010/tid=12014] ppid=12007 vsize=27322516 memory=5980 CPUtime=0 cores=0-7
/proc/12010/task/12014/stat : 12014 (java) S 12007 12007 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419241779 27978256384 41563 33554432000 4194304 4196468 140730463348288 140137944272016 140138126935765 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26316800 140730463351531 140730463351958 140730463351958 140730463354831 0

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

[pid=12030/tid=12031] ppid=12007 vsize=8414124 memory=1088 CPUtime=0.74 cores=0-7
/proc/12030/task/12031/stat : 12031 (java) S 12007 12007 11963 0 -1 1077944384 16896 0 0 0 69 5 0 0 20 0 24 0 419241998 8616062976 29958 33554432000 4194304 4196468 140723119342880 140618115825568 140618143995605 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36278272 140723119346679 140723119346838 140723119346838 140723119349711 0
[pid=12030/tid=12032] ppid=12007 vsize=8414124 memory=988 CPUtime=0 cores=0-7
/proc/12030/task/12032/stat : 12032 (java) S 12007 12007 11963 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419241999 8616062976 29958 33554432000 4194304 4196468 140723119342880 140618148227472 140618143995605 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36278272 140723119346679 140723119346838 140723119346838 140723119349711 0
[pid=12030/tid=12033] ppid=12007 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/12030/task/12033/stat : 12033 (java) S 12007 12007 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419242000 8616062976 29958 33554432000 4194304 4196468 140723119342880 140617968523536 140618143995605 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36278272 140723119346679 140723119346838 140723119346838 140723119349711 0
[pid=12030/tid=12034] ppid=12007 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/12030/task/12034/stat : 12034 (java) S 12007 12007 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419242000 8616062976 29958 33554432000 4194304 4196468 140723119342880 140617628568208 140618143995605 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36278272 140723119346679 140723119346838 140723119346838 140723119349711 0
[pid=12030/tid=12035] ppid=12007 vsize=8414124 memory=119832 CPUtime=0 cores=0-7
/proc/12030/task/12035/stat : 12035 (java) S 12007 12007 11963 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419242000 8616062976 29958 33554432000 4194304 4196468 140723119342880 140617627515408 140618143995605 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36278272 140723119346679 140723119346838 140723119346838 140723119349711 0
[pid=12030/tid=12036] ppid=12007 vsize=8414124 memory=271480 CPUtime=0 cores=0-7
/proc/12030/task/12036/stat : 12036 (java) S 12007 12007 11963 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419242000 8616062976 29958 33554432000 4194304 4196468 140723119342880 140617626463120 140618143995605 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36278272 140723119346679 140723119346838 140723119346838 140723119349711 0
[pid=12030/tid=12037] ppid=12007 vsize=8414124 memory=3620 CPUtime=0 cores=0-7
/proc/12030/task/12037/stat : 12037 (java) S 12007 12007 11963 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419242000 8616062976 29958 33554432000 4194304 4196468 140723119342880 140617625410320 140618143995605 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36278272 140723119346679 140723119346838 140723119346838 140723119349711 0
[pid=12030/tid=12038] ppid=12007 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/12030/task/12038/stat : 12038 (java) S 12007 12007 11963 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419242000 8616062976 29958 33554432000 4194304 4196468 140723119342880 140617624358032 140618143995605 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36278272 140723119346679 140723119346838 140723119346838 140723119349711 0
[pid=12030/tid=12039] ppid=12007 vsize=8414124 memory=3620 CPUtime=0 cores=0-7
/proc/12030/task/12039/stat : 12039 (java) S 12007 12007 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419242000 8616062976 29958 33554432000 4194304 4196468 140723119342880 140617623305232 140618143995605 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36278272 140723119346679 140723119346838 140723119346838 140723119349711 0
[pid=12030/tid=12040] ppid=12007 vsize=8414124 memory=40500 CPUtime=0 cores=0-7
/proc/12030/task/12040/stat : 12040 (java) S 12007 12007 11963 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 419242001 8616062976 29958 33554432000 4194304 4196468 140723119342880 140617573091440 140618143996546 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36278272 140723119346679 140723119346838 140723119346838 140723119349711 0
[pid=12030/tid=12041] ppid=12007 vsize=8414124 memory=1988 CPUtime=0 cores=0-7
/proc/12030/task/12041/stat : 12041 (java) S 12007 12007 11963 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 419242002 8616062976 29958 33554432000 4194304 4196468 140723119342880 140616692392736 140618143995605 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36278272 140723119346679 140723119346838 140723119346838 140723119349711 0
[pid=12030/tid=12042] ppid=12007 vsize=8414124 memory=988 CPUtime=0 cores=0-7
/proc/12030/task/12042/stat : 12042 (java) S 12007 12007 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419242002 8616062976 29958 33554432000 4194304 4196468 140723119342880 140616423957616 140618143995605 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36278272 140723119346679 140723119346838 140723119346838 140723119349711 0
[pid=12030/tid=12043] ppid=12007 vsize=8414124 memory=1428 CPUtime=0 cores=0-7
/proc/12030/task/12043/stat : 12043 (java) S 12007 12007 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419242004 8616062976 29958 33554432000 4194304 4196468 140723119342880 140616049449040 140618144003995 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36278272 140723119346679 140723119346838 140723119346838 140723119349711 0
[pid=12030/tid=12044] ppid=12007 vsize=8414124 memory=1772 CPUtime=0.06 cores=0-7
/proc/12030/task/12044/stat : 12044 (java) S 12007 12007 11963 0 -1 1077944384 567 0 0 0 6 0 0 0 20 0 24 0 419242004 8616062976 29958 33554432000 4194304 4196468 140723119342880 140617572039280 140618143996546 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36278272 140723119346679 140723119346838 140723119346838 140723119349711 0
[pid=12030/tid=12045] ppid=12007 vsize=8414124 memory=271560 CPUtime=0.04 cores=0-7
/proc/12030/task/12045/stat : 12045 (java) S 12007 12007 11963 0 -1 1077944384 312 0 0 0 4 0 0 0 20 0 24 0 419242004 8616062976 29958 33554432000 4194304 4196468 140723119342880 140617570986480 140618143996546 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36278272 140723119346679 140723119346838 140723119346838 140723119349711 0
[pid=12030/tid=12046] ppid=12007 vsize=8414124 memory=271480 CPUtime=0.06 cores=0-7
/proc/12030/task/12046/stat : 12046 (java) S 12007 12007 11963 0 -1 1077944384 278 0 0 0 6 0 0 0 20 0 24 0 419242004 8616062976 29958 33554432000 4194304 4196468 140723119342880 140617569934192 140618143996546 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36278272 140723119346679 140723119346838 140723119346838 140723119349711 0
[pid=12030/tid=12047] ppid=12007 vsize=8414124 memory=1476 CPUtime=0.18 cores=0-7
/proc/12030/task/12047/stat : 12047 (java) S 12007 12007 11963 0 -1 1077944384 503 0 0 0 18 0 0 0 20 0 24 0 419242004 8616062976 29958 33554432000 4194304 4196468 140723119342880 140617568881392 140618143996546 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36278272 140723119346679 140723119346838 140723119346838 140723119349711 0
[pid=12030/tid=12048] ppid=12007 vsize=8414124 memory=119832 CPUtime=0 cores=0-7
/proc/12030/task/12048/stat : 12048 (java) S 12007 12007 11963 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419242005 8616062976 29958 33554432000 4194304 4196468 140723119342880 140615551543648 140618143995605 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36278272 140723119346679 140723119346838 140723119346838 140723119349711 0
[pid=12030/tid=12049] ppid=12007 vsize=8414124 memory=271480 CPUtime=0.01 cores=0-7
/proc/12030/task/12049/stat : 12049 (java) S 12007 12007 11963 0 -1 1077944384 5 0 0 0 0 1 0 0 20 0 24 0 419242005 8616062976 29958 33554432000 4194304 4196468 140723119342880 140617567828272 140618143996546 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 7 0 0 6293624 6294260 36278272 140723119346679 140723119346838 140723119346838 140723119349711 0
[pid=12030/tid=12051] ppid=12007 vsize=8414124 memory=65 CPUtime=0 cores=0-7
/proc/12030/task/12051/stat : 12051 (java) S 12007 12007 11963 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 419242070 8616062976 29958 33554432000 4194304 4196468 140723119342880 140617566217536 140618144010009 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 36278272 140723119346679 140723119346838 140723119346838 140723119349711 0
[pid=12030/tid=12053] ppid=12007 vsize=8414124 memory=7162792011379009360 CPUtime=0 cores=0-7
/proc/12030/task/12053/stat : 12053 (java) S 12007 12007 11963 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 419242070 8616062976 29958 33554432000 4194304 4196468 140723119342880 140614880444304 140618144007325 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 36278272 140723119346679 140723119346838 140723119346838 140723119349711 0
[pid=12030/tid=12054] ppid=12007 vsize=8414124 memory=202312 CPUtime=0 cores=0-7
/proc/12030/task/12054/stat : 12054 (java) S 12007 12007 11963 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 419242070 8616062976 29958 33554432000 4194304 4196468 140723119342880 140615148879632 140618144007325 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 36278272 140723119346679 140723119346838 140723119346838 140723119349711 0
[pid=12030/tid=12055] ppid=12007 vsize=8414124 memory=7686721470233679253 CPUtime=0 cores=0-7
/proc/12030/task/12055/stat : 12055 (java) S 12007 12007 11963 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 419242072 8616062976 29958 33554432000 4194304 4196468 140723119342880 140614612016944 140618143995605 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36278272 140723119346679 140723119346838 140723119346838 140723119349711 0
Current children cumulated CPU time: 181.82 s
Current children cumulated vsize: 9204740 KiB
Current children cumulated memory: 392868 KiB

[startup+25.8011 s]
/proc/loadavg: 6.88 6.56 6.04 4/220 12070
/proc/meminfo: memFree=30499600/32770624 swapFree=66940948/67108860
[pid=12007] ppid=12004 vsize=113128 memory=1476 CPUtime=5.17 cores=0-7
/proc/12007/stat : 12007 (scop.sh) S 12004 12007 11963 0 -1 4202496 583 26676 0 0 0 0 498 19 20 0 1 0 419241776 115843072 369 33554432000 4194304 5098028 140728009607168 140728009603912 140502390706812 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 29024256 140728009610021 140728009610348 140728009610348 140728009613261 0
/proc/12007/statm: 28282 369 311 221 0 87 0
[pid=12030] ppid=12007 vsize=8414124 memory=124672 CPUtime=176.97 cores=0-7
/proc/12030/stat : 12030 (java) S 12007 12007 11963 0 -1 1077944320 21097 141251 0 0 120 8 17527 42 20 0 23 0 419241998 8616062976 31168 33554432000 4194304 4196468 140723119342880 140723119325424 140618143985399 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 36278272 140723119346679 140723119346838 140723119346838 140723119349711 0
/proc/12030/statm: 2103531 31168 3220 1 0 2064875 0
[pid=12030/tid=12031] ppid=12007 vsize=8414124 memory=6944656592455360604 CPUtime=176.43 cores=0-7
/proc/12030/task/12031/stat : 12031 (java) S 12007 12007 11963 0 -1 1077944384 16896 141251 0 0 69 5 17527 42 20 0 23 0 419241998 8616062976 31168 33554432000 4194304 4196468 140723119342880 140618115825568 140618143995605 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36278272 140723119346679 140723119346838 140723119346838 140723119349711 0
[pid=12030/tid=12032] ppid=12007 vsize=8414124 memory=-5587046532246807594 CPUtime=175.69 cores=0-7
/proc/12030/task/12032/stat : 12032 (java) S 12007 12007 11963 0 -1 1077944384 2 141251 0 0 0 0 17527 42 20 0 23 0 419241999 8616062976 31168 33554432000 4194304 4196468 140723119342880 140618148227472 140618143995605 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36278272 140723119346679 140723119346838 140723119346838 140723119349711 0
[pid=12030/tid=12033] ppid=12007 vsize=8414124 memory=1476 CPUtime=175.69 cores=0-7
/proc/12030/task/12033/stat : 12033 (java) S 12007 12007 11963 0 -1 1077944384 1 141251 0 0 0 0 17527 42 20 0 23 0 419242000 8616062976 31168 33554432000 4194304 4196468 140723119342880 140617968523536 140618143995605 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36278272 140723119346679 140723119346838 140723119346838 140723119349711 0
[pid=12030/tid=12034] ppid=12007 vsize=8414124 memory=119832 CPUtime=175.69 cores=0-7
/proc/12030/task/12034/stat : 12034 (java) S 12007 12007 11963 0 -1 1077944384 1 141251 0 0 0 0 17527 42 20 0 23 0 419242000 8616062976 31168 33554432000 4194304 4196468 140723119342880 140617628568208 140618143995605 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36278272 140723119346679 140723119346838 140723119346838 140723119349711 0
[pid=12030/tid=12035] ppid=12007 vsize=8414124 memory=204304 CPUtime=175.69 cores=0-7
/proc/12030/task/12035/stat : 12035 (java) S 12007 12007 11963 0 -1 1077944384 3 141251 0 0 0 0 17527 42 20 0 23 0 419242000 8616062976 31168 33554432000 4194304 4196468 140723119342880 140617627515408 140618143995605 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36278272 140723119346679 140723119346838 140723119346838 140723119349711 0
[pid=12030/tid=12036] ppid=12007 vsize=8414124 memory=15460 CPUtime=175.69 cores=0-7
/proc/12030/task/12036/stat : 12036 (java) S 12007 12007 11963 0 -1 1077944384 2 141251 0 0 0 0 17527 42 20 0 23 0 419242000 8616062976 31168 33554432000 4194304 4196468 140723119342880 140617626463120 140618143995605 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36278272 140723119346679 140723119346838 140723119346838 140723119349711 0
[pid=12030/tid=12037] ppid=12007 vsize=8414124 memory=17668 CPUtime=175.69 cores=0-7
/proc/12030/task/12037/stat : 12037 (java) S 12007 12007 11963 0 -1 1077944384 2 141251 0 0 0 0 17527 42 20 0 23 0 419242000 8616062976 31168 33554432000 4194304 4196468 140723119342880 140617625410320 140618143995605 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36278272 140723119346679 140723119346838 140723119346838 140723119349711 0
[pid=12030/tid=12038] ppid=12007 vsize=8414124 memory=19876 CPUtime=175.69 cores=0-7
/proc/12030/task/12038/stat : 12038 (java) S 12007 12007 11963 0 -1 1077944384 2 141251 0 0 0 0 17527 42 20 0 23 0 419242000 8616062976 31168 33554432000 4194304 4196468 140723119342880 140617624358032 140618143995605 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36278272 140723119346679 140723119346838 140723119346838 140723119349711 0
[pid=12030/tid=12039] ppid=12007 vsize=8414124 memory=22084 CPUtime=175.69 cores=0-7
/proc/12030/task/12039/stat : 12039 (java) S 12007 12007 11963 0 -1 1077944384 1 141251 0 0 0 0 17527 42 20 0 23 0 419242000 8616062976 31168 33554432000 4194304 4196468 140723119342880 140617623305232 140618143995605 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36278272 140723119346679 140723119346838 140723119346838 140723119349711 0
[pid=12030/tid=12040] ppid=12007 vsize=8414124 memory=24292 CPUtime=175.69 cores=0-7
/proc/12030/task/12040/stat : 12040 (java) S 12007 12007 11963 0 -1 1077944384 7 141251 0 0 0 0 17527 42 20 0 23 0 419242001 8616062976 31168 33554432000 4194304 4196468 140723119342880 140617573091440 140618143996546 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36278272 140723119346679 140723119346838 140723119346838 140723119349711 0
[pid=12030/tid=12041] ppid=12007 vsize=8414124 memory=280707522202688 CPUtime=175.69 cores=0-7
/proc/12030/task/12041/stat : 12041 (java) S 12007 12007 11963 0 -1 1077944384 13 141251 0 0 0 0 17527 42 20 0 23 0 419242002 8616062976 31168 33554432000 4194304 4196468 140723119342880 140616692392736 140618143995605 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36278272 140723119346679 140723119346838 140723119346838 140723119349711 0
[pid=12030/tid=12042] ppid=12007 vsize=8414124 memory=288230600329134386 CPUtime=175.69 cores=0-7
/proc/12030/task/12042/stat : 12042 (java) S 12007 12007 11963 0 -1 1077944384 1 141251 0 0 0 0 17527 42 20 0 23 0 419242002 8616062976 31168 33554432000 4194304 4196468 140723119342880 140616423957616 140618143995605 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36278272 140723119346679 140723119346838 140723119346838 140723119349711 0
[pid=12030/tid=12043] ppid=12007 vsize=8414124 memory=14977758686087579 CPUtime=175.69 cores=0-7
/proc/12030/task/12043/stat : 12043 (java) S 12007 12007 11963 0 -1 1077944384 1 141251 0 0 0 0 17527 42 20 0 23 0 419242004 8616062976 31168 33554432000 4194304 4196468 140723119342880 140616049449040 140618144003995 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36278272 140723119346679 140723119346838 140723119346838 140723119349711 0
[pid=12030/tid=12044] ppid=12007 vsize=8414124 memory=0 CPUtime=175.76 cores=0-7
/proc/12030/task/12044/stat : 12044 (java) R 12007 12007 11963 0 -1 4202560 605 141251 0 0 7 0 17527 42 20 0 23 0 419242004 8616062976 31168 33554432000 4194304 4196468 140723119342880 140617572039280 140618122363864 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36278272 140723119346679 140723119346838 140723119346838 140723119349711 0
[pid=12030/tid=12045] ppid=12007 vsize=8414124 memory=2110704368191588 CPUtime=175.76 cores=0-7
/proc/12030/task/12045/stat : 12045 (java) R 12007 12007 11963 0 -1 4202560 521 141251 0 0 7 0 17527 42 20 0 23 0 419242004 8616062976 30668 33554432000 4194304 4196468 140723119342880 140617570972360 140618128914812 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36278272 140723119346679 140723119346838 140723119346838 140723119349711 0
[pid=12030/tid=12046] ppid=12007 vsize=8414124 memory=0 CPUtime=175.77 cores=0-7
/proc/12030/task/12046/stat : 12046 (java) R 12007 12007 11963 0 -1 4202560 321 141251 0 0 8 0 17527 42 20 0 23 0 419242004 8616062976 30668 33554432000 4194304 4196468 140723119342880 140617569934192 140618130045248 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36278272 140723119346679 140723119346838 140723119346838 140723119349711 0
[pid=12030/tid=12047] ppid=12007 vsize=8414124 memory=0 CPUtime=175.9 cores=0-7
/proc/12030/task/12047/stat : 12047 (java) S 12007 12007 11963 0 -1 1077944384 793 141251 0 0 21 0 17527 42 20 0 23 0 419242004 8616062976 30668 33554432000 4194304 4196468 140723119342880 140617568881392 140618143996546 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36278272 140723119346679 140723119346838 140723119346838 140723119349711 0
[pid=12030/tid=12048] ppid=12007 vsize=8414124 memory=0 CPUtime=175.69 cores=0-7
/proc/12030/task/12048/stat : 12048 (java) S 12007 12007 11963 0 -1 1077944384 3 141251 0 0 0 0 17527 42 20 0 23 0 419242005 8616062976 30668 33554432000 4194304 4196468 140723119342880 140615551543648 140618143995605 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36278272 140723119346679 140723119346838 140723119346838 140723119349711 0
[pid=12030/tid=12049] ppid=12007 vsize=8414124 memory=1476 CPUtime=175.7 cores=0-7
/proc/12030/task/12049/stat : 12049 (java) S 12007 12007 11963 0 -1 1077944384 5 141251 0 0 0 1 17527 42 20 0 23 0 419242005 8616062976 30668 33554432000 4194304 4196468 140723119342880 140617567828272 140618143996546 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 7 0 0 6293624 6294260 36278272 140723119346679 140723119346838 140723119346838 140723119349711 0
[pid=12030/tid=12051] ppid=12007 vsize=8283048 memory=119832 CPUtime=175.69 cores=0-7
/proc/12030/task/12051/stat : 12051 (java) S 12007 12007 11963 0 -1 1077944384 34 141251 0 0 0 0 17527 42 20 0 23 0 419242070 8481841152 30662 33554432000 4194304 4196468 140723119342880 140617566216720 140618143996546 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36278272 140723119346679 140723119346838 140723119346838 140723119349711 0
[pid=12030/tid=12055] ppid=12007 vsize=8283048 memory=7524497187802868842 CPUtime=175.69 cores=0-7
/proc/12030/task/12055/stat : 12055 (java) R 12007 12007 11963 0 -1 4202560 7 141251 0 0 0 0 17527 42 20 0 22 0 419242072 8481841152 30662 33554432000 4194304 4196468 140723119342880 140614612016704 140618143997334 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36278272 140723119346679 140723119346838 140723119346838 140723119349711 0
Current children cumulated CPU time: 182.14 s
Current children cumulated vsize: 8527252 KiB
Current children cumulated memory: 126148 KiB

[startup+25.901 s]
/proc/loadavg: 6.88 6.56 6.04 4/220 12070
/proc/meminfo: memFree=30499600/32770624 swapFree=66940948/67108860
[pid=12007] ppid=12004 vsize=113128 memory=1476 CPUtime=5.17 cores=0-7
/proc/12007/stat : 12007 (scop.sh) S 12004 12007 11963 0 -1 4202496 583 26676 0 0 0 0 498 19 20 0 1 0 419241776 115843072 369 33554432000 4194304 5098028 140728009607168 140728009603912 140502390706812 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 29024256 140728009610021 140728009610348 140728009610348 140728009613261 0
/proc/12007/statm: 28282 369 311 221 0 87 0
[pid=12030] ppid=12007 vsize=8283048 memory=128560 CPUtime=177.16 cores=0-7
/proc/12030/stat : 12030 (java) S 12007 12007 11963 0 -1 1077944320 21598 141251 0 0 139 8 17527 42 20 0 22 0 419241998 8481841152 32140 33554432000 4194304 4196468 140723119342880 140723119325424 140618143985399 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 36278272 140723119346679 140723119346838 140723119346838 140723119349711 0
/proc/12030/statm: 2070762 32140 3224 1 0 2032106 0
[pid=12030/tid=12031] ppid=12007 vsize=8283048 memory=271560 CPUtime=176.53 cores=0-7
/proc/12030/task/12031/stat : 12031 (java) R 12007 12007 11963 0 -1 4202560 17178 141251 0 0 78 6 17527 42 20 0 22 0 419241998 8481841152 32140 33554432000 4194304 4196468 140723119342880 140618115824528 140618143997334 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36278272 140723119346679 140723119346838 140723119346838 140723119349711 0
[pid=12030/tid=12032] ppid=12007 vsize=8283048 memory=56 CPUtime=175.69 cores=0-7
/proc/12030/task/12032/stat : 12032 (java) S 12007 12007 11963 0 -1 1077944384 2 141251 0 0 0 0 17527 42 20 0 22 0 419241999 8481841152 32140 33554432000 4194304 4196468 140723119342880 140618148227472 140618143995605 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36278272 140723119346679 140723119346838 140723119346838 140723119349711 0
[pid=12030/tid=12033] ppid=12007 vsize=8283048 memory=6944656592455359580 CPUtime=175.69 cores=0-7
/proc/12030/task/12033/stat : 12033 (java) S 12007 12007 11963 0 -1 1077944384 1 141251 0 0 0 0 17527 42 20 0 22 0 419242000 8481841152 32140 33554432000 4194304 4196468 140723119342880 140617968523536 140618143995605 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36278272 140723119346679 140723119346838 140723119346838 140723119349711 0
[pid=12030/tid=12034] ppid=12007 vsize=8283048 memory=7757904011942987143 CPUtime=175.69 cores=0-7
/proc/12030/task/12034/stat : 12034 (java) S 12007 12007 11963 0 -1 1077944384 1 141251 0 0 0 0 17527 42 20 0 22 0 419242000 8481841152 32140 33554432000 4194304 4196468 140723119342880 140617628568208 140618143995605 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36278272 140723119346679 140723119346838 140723119346838 140723119349711 0
[pid=12030/tid=12035] ppid=12007 vsize=8283048 memory=0 CPUtime=175.69 cores=0-7
/proc/12030/task/12035/stat : 12035 (java) S 12007 12007 11963 0 -1 1077944384 3 141251 0 0 0 0 17527 42 20 0 22 0 419242000 8481841152 32140 33554432000 4194304 4196468 140723119342880 140617627515408 140618143995605 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36278272 140723119346679 140723119346838 140723119346838 140723119349711 0
[pid=12030/tid=12036] ppid=12007 vsize=8283048 memory=6 CPUtime=175.69 cores=0-7
/proc/12030/task/12036/stat : 12036 (java) S 12007 12007 11963 0 -1 1077944384 2 141251 0 0 0 0 17527 42 20 0 22 0 419242000 8481841152 32140 33554432000 4194304 4196468 140723119342880 140617626463120 140618143995605 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36278272 140723119346679 140723119346838 140723119346838 140723119349711 0
[pid=12030/tid=12037] ppid=12007 vsize=8283048 memory=4 CPUtime=175.69 cores=0-7
/proc/12030/task/12037/stat : 12037 (java) S 12007 12007 11963 0 -1 1077944384 2 141251 0 0 0 0 17527 42 20 0 22 0 419242000 8481841152 32140 33554432000 4194304 4196468 140723119342880 140617625410320 140618143995605 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36278272 140723119346679 140723119346838 140723119346838 140723119349711 0
[pid=12030/tid=12038] ppid=12007 vsize=8283048 memory=288230574492221466 CPUtime=175.69 cores=0-7
/proc/12030/task/12038/stat : 12038 (java) S 12007 12007 11963 0 -1 1077944384 2 141251 0 0 0 0 17527 42 20 0 22 0 419242000 8481841152 32140 33554432000 4194304 4196468 140723119342880 140617624358032 140618143995605 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36278272 140723119346679 140723119346838 140723119346838 140723119349711 0
[pid=12030/tid=12039] ppid=12007 vsize=8283048 memory=288230617509003574 CPUtime=175.69 cores=0-7
/proc/12030/task/12039/stat : 12039 (java) S 12007 12007 11963 0 -1 1077944384 1 141251 0 0 0 0 17527 42 20 0 22 0 419242000 8481841152 32140 33554432000 4194304 4196468 140723119342880 140617623305232 140618143995605 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36278272 140723119346679 140723119346838 140723119346838 140723119349711 0
[pid=12030/tid=12040] ppid=12007 vsize=8283048 memory=14698482732632482 CPUtime=175.69 cores=0-7
/proc/12030/task/12040/stat : 12040 (java) S 12007 12007 11963 0 -1 1077944384 7 141251 0 0 0 0 17527 42 20 0 22 0 419242001 8481841152 32140 33554432000 4194304 4196468 140723119342880 140617573091440 140618143996546 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36278272 140723119346679 140723119346838 140723119346838 140723119349711 0
[pid=12030/tid=12041] ppid=12007 vsize=8283048 memory=0 CPUtime=175.69 cores=0-7
/proc/12030/task/12041/stat : 12041 (java) S 12007 12007 11963 0 -1 1077944384 13 141251 0 0 0 0 17527 42 20 0 22 0 419242002 8481841152 32140 33554432000 4194304 4196468 140723119342880 140616692392736 140618143995605 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36278272 140723119346679 140723119346838 140723119346838 140723119349711 0
[pid=12030/tid=12042] ppid=12007 vsize=8283048 memory=0 CPUtime=175.69 cores=0-7
/proc/12030/task/12042/stat : 12042 (java) S 12007 12007 11963 0 -1 1077944384 1 141251 0 0 0 0 17527 42 20 0 22 0 419242002 8481841152 32140 33554432000 4194304 4196468 140723119342880 140616423957616 140618143995605 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36278272 140723119346679 140723119346838 140723119346838 140723119349711 0
[pid=12030/tid=12043] ppid=12007 vsize=8283048 memory=0 CPUtime=175.69 cores=0-7
/proc/12030/task/12043/stat : 12043 (java) S 12007 12007 11963 0 -1 1077944384 1 141251 0 0 0 0 17527 42 20 0 22 0 419242004 8481841152 32140 33554432000 4194304 4196468 140723119342880 140616049449040 140618144003995 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36278272 140723119346679 140723119346838 140723119346838 140723119349711 0
[pid=12030/tid=12044] ppid=12007 vsize=8283048 memory=0 CPUtime=175.77 cores=0-7
/proc/12030/task/12044/stat : 12044 (java) S 12007 12007 11963 0 -1 1077944384 645 141251 0 0 8 0 17527 42 20 0 22 0 419242004 8481841152 32140 33554432000 4194304 4196468 140723119342880 140617572039280 140618143996546 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36278272 140723119346679 140723119346838 140723119346838 140723119349711 0
[pid=12030/tid=12045] ppid=12007 vsize=8283048 memory=0 CPUtime=175.78 cores=0-7
/proc/12030/task/12045/stat : 12045 (java) R 12007 12007 11963 0 -1 4202560 535 141251 0 0 9 0 17527 42 20 0 22 0 419242004 8481841152 32140 33554432000 4194304 4196468 140723119342880 140617570971872 140618127888446 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36278272 140723119346679 140723119346838 140723119346838 140723119349711 0
[pid=12030/tid=12046] ppid=12007 vsize=8283048 memory=6791534058613427641 CPUtime=175.78 cores=0-7
/proc/12030/task/12046/stat : 12046 (java) R 12007 12007 11963 0 -1 4202560 334 141251 0 0 9 0 17527 42 20 0 22 0 419242004 8481841152 32140 33554432000 4194304 4196468 140723119342880 140617569934192 140618144006746 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36278272 140723119346679 140723119346838 140723119346838 140723119349711 0
[pid=12030/tid=12047] ppid=12007 vsize=8283048 memory=5864059893310378578 CPUtime=175.95 cores=0-7
/proc/12030/task/12047/stat : 12047 (java) R 12007 12007 11963 0 -1 4202560 937 141251 0 0 26 0 17527 42 20 0 22 0 419242004 8481841152 32140 33554432000 4194304 4196468 140723119342880 140617568881392 140618144006746 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36278272 140723119346679 140723119346838 140723119346838 140723119349711 0
[pid=12030/tid=12048] ppid=12007 vsize=8283048 memory=140353760726320 CPUtime=175.69 cores=0-7
/proc/12030/task/12048/stat : 12048 (java) S 12007 12007 11963 0 -1 1077944384 3 141251 0 0 0 0 17527 42 20 0 22 0 419242005 8481841152 32140 33554432000 4194304 4196468 140723119342880 140615551543648 140618143995605 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36278272 140723119346679 140723119346838 140723119346838 140723119349711 0
[pid=12030/tid=12049] ppid=12007 vsize=8283048 memory=4639939496134862184 CPUtime=175.7 cores=0-7
/proc/12030/task/12049/stat : 12049 (java) S 12007 12007 11963 0 -1 1077944384 5 141251 0 0 0 1 17527 42 20 0 22 0 419242005 8481841152 32140 33554432000 4194304 4196468 140723119342880 140617567828272 140618143996546 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 7 0 0 6293624 6294260 36278272 140723119346679 140723119346838 140723119346838 140723119349711 0
[pid=12030/tid=12051] ppid=12007 vsize=8283048 memory=0 CPUtime=175.69 cores=0-7
/proc/12030/task/12051/stat : 12051 (java) S 12007 12007 11963 0 -1 1077944384 34 141251 0 0 0 0 17527 42 20 0 22 0 419242070 8481841152 32140 33554432000 4194304 4196468 140723119342880 140617566216720 140618143996546 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36278272 140723119346679 140723119346838 140723119346838 140723119349711 0
[pid=12030/tid=12055] ppid=12007 vsize=8283048 memory=9035305046 CPUtime=175.69 cores=0-7
/proc/12030/task/12055/stat : 12055 (java) S 12007 12007 11963 0 -1 1077944384 14 141251 0 0 0 0 17527 42 20 0 22 0 419242072 8481841152 32140 33554432000 4194304 4196468 140723119342880 140614612018736 140618143996546 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36278272 140723119346679 140723119346838 140723119346838 140723119349711 0
Current children cumulated CPU time: 182.33 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 130036 KiB

Child status: 0
Real time (s): 25.9101
CPU time (s): 182.381
CPU user time (s): 181.666
CPU system time (s): 0.715213
CPU usage (%): 703.9
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 569884

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 181.666
system time used= 0.715213
maximum resident set size= 571220
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 190160
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3744
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 11917
involuntary context switches= 2168


# summary of solver processes directly reported to runsolver:
#   pid: 12007
#   total CPU time (s): 182.381
#   total CPU user time (s): 181.666
#   total CPU system time (s): 0.715213

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.264861 second user time and 0.363896 second system time

The end

Launcher Data 

Begin job on node149 at 2019-09-14 04:59:53
IDJOB=4392333
IDBENCH=127909
IDSOLVER=2838
FILE ID=node149/4392333-1568430031
RUNJOBID= node149-1568429993-11990
PBS_JOBID= 21702308
Free space on /tmp= 61424 MiB

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

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

MD5SUM BENCH= 2f6e926eec9d3271c32e6368d6cce3f2
RANDOM SEED=195725221

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:        30877652 kB
MemAvailable:   31851724 kB
Buffers:          189592 kB
Cached:          1079916 kB
SwapCached:        61300 kB
Active:           613520 kB
Inactive:         716420 kB
Active(anon):      27996 kB
Inactive(anon):    72448 kB
Active(file):     585524 kB
Inactive(file):   643972 kB
Unevictable:      111264 kB
Mlocked:          111264 kB
SwapTotal:      67108860 kB
SwapFree:       66940948 kB
Dirty:             20700 kB
Writeback:             0 kB
AnonPages:        111996 kB
Mapped:            44376 kB
Shmem:             31372 kB
Slab:             150396 kB
SReclaimable:     120820 kB
SUnreclaim:        29576 kB
KernelStack:        3344 kB
PageTables:         5152 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     497880 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:19