Trace number 4405493

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Fun-sCOP hybrid+ManyGlucose (2019-09-22)SAT 184.631 26.3009

General information on the benchmark

NameRectPacking/RectPacking-m1-perf/
RectPacking-perfect-012.xml
MD5SUM2f6e926eec9d3271c32e6368d6cce3f2
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark18.0419
Satisfiable
(Un)Satisfiability was proved
Number of variables46
Number of constraints49
Number of domains1
Minimum domain size140
Maximum domain size140
Distribution of domain sizes[{"size":140,"count":46}]
Minimum variable degree2
Maximum variable degree4
Distribution of variable degrees[{"degree":2,"count":44},{"degree":3,"count":1},{"degree":4,"count":1}]
Minimum constraint arity1
Maximum constraint arity46
Distribution of constraint arities[{"arity":1,"count":47},{"arity":2,"count":1},{"arity":46,"count":1}]
Number of extensional constraints0
Number of intensional constraints48
Distribution of constraint types[{"type":"intension","count":48},{"type":"noOverlap","count":1}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c (scop.sh) java -Xms22g -Xmx22g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Encode -hybrid -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-24909-serial-file.bin HOME/instance-4405493-1569338196.xml
0.66/0.54	
0.66/0.54	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
0.66/0.54	
0.66/0.56	c BEGIN-Prog: Tue Sep 24 17:15:53 CEST 2019
0.66/0.56	c PID: 24912
0.66/0.56	c IP: 172.20.3.125
0.66/0.56	c HOST: node125.alineos.net
0.66/0.57	c (0,0) Parsing Begin
1.20/0.90	c (0,0) Parsing End
1.40/0.90	c (0,0) CSP: 46 int (0 aux), 0 bool (0 aux), 49 ctr, max domain size 140
1.40/0.90	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.40/0.90	c (0,0) Constraint Name Generate Begin
1.40/0.91	c (0,0) Ctr:HOME/instance-4405493-1569338196.xml,Le:NoOverlap:Num:Var
1.40/0.91	c (0,0) Constraint Name Generate End
1.40/0.91	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.40/0.91	c (0,0) CSP to CSPinCNF Begin
1.40/0.99	c (0,0) translated 5 (10%) constraints
1.40/0.99	c (0,0) translated 10 (20%) constraints
1.40/0.99	c (0,0) translated 15 (30%) constraints
1.40/1.00	c (0,0) translated 20 (40%) constraints
1.40/1.00	c (0,0) translated 25 (50%) constraints
1.40/1.00	c (0,0) translated 30 (60%) constraints
1.40/1.00	c (0,0) translated 35 (70%) constraints
1.57/1.01	c (0,0) translated 40 (80%) constraints
1.57/1.01	c (0,0) translated 45 (90%) constraints
2.16/1.25	c (0,0) translated 49 (100%) constraints
2.16/1.25	c (0,0) ===========================================
2.16/1.27	c (0,0) Hybrid: #OE=46, #LE=0
2.16/1.27	c (0,0) Hybrid
2.16/1.27	c (0,0) ===========================================
2.16/1.28	c (0,0) translated 31 (10%) constraints
2.16/1.28	c (0,0) translated 61 (20%) constraints
2.16/1.29	c (0,0) translated 91 (30%) constraints
2.16/1.30	c (0,0) translated 121 (40%) constraints
2.50/1.30	c (0,0) translated 151 (50%) constraints
2.50/1.30	c (0,0) translated 181 (60%) constraints
2.50/1.31	c (0,0) translated 211 (70%) constraints
2.50/1.31	c (0,0) translated 241 (80%) constraints
2.50/1.32	c (0,0) translated 271 (90%) constraints
2.50/1.32	c (0,0) translated 301 (100%) constraints
2.50/1.32	c (0,0) CSP to CSPinCNF End
2.50/1.33	c (0,0) CSP: 46 int (0 aux), 0 bool (0 aux), 301 ctr, max domain size 140
2.50/1.33	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 23 MiB used (max 0 MiB)
2.50/1.33	c (0,0) CSPinCNF Propagation Begin
2.50/1.35	c (0,0) 0 values, 6 unsatisfiable literals, and 47 valid clauses are removed
2.50/1.35	c (0,0) CSPinCNF Propagation End
2.50/1.35	c (0,0) CSP: 46 int (0 aux), 0 bool (0 aux), 254 ctr, max domain size 140
2.50/1.35	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 23 MiB used (max 0 MiB)
2.50/1.36	c (0,0) Hybrid: #OE=46, #LE=0
2.50/1.36	c (0,0) Simplify CSPinCNF Begin
2.82/1.45	c (0,0) Simplify CSPinCNF End
2.82/1.45	c (0,0) CSP: 46 int (0 aux), 1006 bool (1006 aux), 1260 ctr, max domain size 140
2.82/1.45	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 24 MiB used (max 0 MiB)
2.82/1.45	c (0,0) Calculate Precise Domain Begin
2.82/1.46	c (0,0) 0 values are removed by re-calculation
2.82/1.46	c (0,0) Calculate Precise Domain End
2.82/1.46	c (0,0) CSP: 46 int (0 aux), 1006 bool (1006 aux), 1260 ctr, max domain size 140
2.82/1.46	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 24 MiB used (max 0 MiB)
2.82/1.46	c (0,0) CSPinCNF to SatSolver Begin
3.83/1.73	c (1,1) 126 (10 %) CSP clauses are encoded (0 SAT variables, 16893 SAT clauses)
4.26/1.81	c (1,1) 252 (20 %) CSP clauses are encoded (0 SAT variables, 28273 SAT clauses)
4.26/1.88	c (1,1) 378 (30 %) CSP clauses are encoded (0 SAT variables, 39287 SAT clauses)
4.61/1.92	c (1,1) 504 (40 %) CSP clauses are encoded (0 SAT variables, 49453 SAT clauses)
4.61/1.97	c (1,1) 630 (50 %) CSP clauses are encoded (0 SAT variables, 59895 SAT clauses)
4.77/2.01	c (1,1) 756 (60 %) CSP clauses are encoded (0 SAT variables, 69143 SAT clauses)
4.77/2.05	c (1,1) 882 (70 %) CSP clauses are encoded (0 SAT variables, 77631 SAT clauses)
4.77/2.09	c (1,1) 1008 (80 %) CSP clauses are encoded (0 SAT variables, 85684 SAT clauses)
4.91/2.12	c (1,1) 1134 (90 %) CSP clauses are encoded (0 SAT variables, 92551 SAT clauses)
4.91/2.15	c (1,1) 1260 (100 %) CSP clauses are encoded (0 SAT variables, 97747 SAT clauses)
4.91/2.15	c (1,1) CSPinCNF to SatSolver End
4.91/2.15	c (1,1) Heap : 675 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB)
4.91/2.15	c (1,1) 6256 bool, 97790 clause
4.91/2.15	c (1,1) Export Begin
5.07/2.23	c (1,1) Export to HOME/scop-24909-serial-file.bin
5.07/2.23	c (1,1) Export End
5.07/2.23	c (1,1) Export File Size: 0.01 MB
5.07/2.23	c (1,1) 0,0,0,0,0,0,1,STOP-AFTER(DIMACS)
5.07/2.23	c END-Prog: Tue Sep 24 17:15:55 CEST 2019
5.07/2.25	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-24909-serial-file.bin
5.13/2.71	c (0,0) Read Serial File Begin
5.13/2.71	c (0,0) HOME/scop-24909-serial-file.bin
5.13/2.91	c (0,0) Read Serial File End
5.13/2.92	
5.13/2.92	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
5.13/2.92	(Solving Process)
5.13/2.92	
5.13/2.94	c BEGIN-Prog: Tue Sep 24 17:15:56 CEST 2019
5.13/2.94	c PID: 24932
5.13/2.94	c IP: 172.20.3.125
5.13/2.94	c HOST: node125.alineos.net
5.13/2.95	c (0,0) SatSolver.solve Begin
5.13/2.95	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4405493-1569338196.xml-scop-24912.cnf
5.13/2.97	c (0,0) c
5.13/2.97	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.13/2.97	c (0,0) c
5.13/2.97	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
5.13/2.97	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
5.13/2.97	c (0,0) c ========================================[ Problem Statistics ]===========================================
5.13/2.97	c (0,0) c |                                                                                                       |
5.13/3.00	c (0,0) c |  Number of variables:          6256                                                                   |
5.13/3.00	c (0,0) c |  Number of clauses:           97790                                                                   |
5.13/3.00	c (0,0) c |  Parse time:                   0.03 s                                                                 |
5.13/3.00	c (0,0) c |                                                                                                       |
6.27/3.08	c (0,0) c |  Simplification time:          0.08 s                                                                 |
6.27/3.08	c (0,0) c |                                                                                                       |
6.27/3.08	c (0,0) c |  Generating clones                                                                                    |
6.38/3.11	c (0,0) c |  all clones generated. Memory =    85.58Mb.                                                           |
6.38/3.11	c (0,0) c ========================================================================================================|
6.38/3.12	c (0,0) c
6.38/3.12	c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
6.38/3.12	c (0,0) c
6.38/3.12	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
6.38/3.12	c (0,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
6.38/3.12	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
6.38/3.12	c (0,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
6.38/3.12	c (0,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
6.38/3.12	c (0,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
6.38/3.12	c (0,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
6.38/3.12	c (0,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
6.38/3.12	c (0,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
6.38/3.12	c (0,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
6.38/3.12	c (0,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
6.38/3.12	c (0,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
6.38/3.12	c (0,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
6.38/3.12	c (0,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
6.38/3.12	c (0,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
6.38/3.12	c (0,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
6.38/3.12	c (0,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
6.38/3.12	c (0,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
6.38/3.12	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
184.20/26.14	c (23,0) c
184.20/26.14	c (23,0) c real time : 23.1701 s
184.20/26.14	c (23,0) c cpu time  : 177.6 s
184.20/26.14	c (23,0) c
184.20/26.14	c (23,0) c
184.20/26.14	c (23,0) c
184.20/26.14	c (23,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
184.20/26.14	c (23,0) c
184.20/26.14	c (23,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
184.20/26.14	c (23,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
184.20/26.14	c (23,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
184.20/26.14	c (23,0) c | Conflicts     |          836166 |     102943 |     103761 |     105601 |     104439 |     102658 |     105704 |     104662 |     106398 |
184.20/26.14	c (23,0) c | Decisions     |         1403925 |     169286 |     176589 |     176513 |     175105 |     175068 |     176204 |     174569 |     180591 |
184.20/26.14	c (23,0) c | Propagations  |       219770223 |   27453256 |   27091795 |   27507773 |   27417745 |   26753430 |   27695537 |   28148944 |   27701743 |
184.20/26.14	c (23,0) c | ReduceDBs     |              64 |          8 |          8 |          8 |          8 |          8 |          8 |          8 |          8 |
184.20/26.14	c (23,0) c | SimpDBs       |              26 |          4 |          3 |          3 |          3 |          3 |          4 |          3 |          3 |
184.20/26.14	c (23,0) c | Restarts      |            2890 |        301 |        366 |        331 |        362 |        391 |        329 |        386 |        424 |
184.20/26.14	c (23,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
184.20/26.14	c (23,0) c | PropBinClauses|       295690759 |   36667225 |   36284123 |   37346225 |   37009912 |   36270340 |   37283164 |   37800469 |   37029301 |
184.20/26.14	c (23,0) c | PropPreBlocker|      4213214620 |  520672515 |  519322437 |  522540990 |  520151618 |  515260974 |  535346707 |  539414548 |  540504831 |
184.20/26.14	c (23,0) c | PropNotBlocker|      1575102025 |  192335669 |  193803788 |  192533169 |  195669417 |  195866763 |  199916261 |  202226008 |  202750950 |
184.20/26.14	c (23,0) c | LitFullScans  |      9016599435 | 1110052350 | 1111689096 | 1110045374 | 1122044994 | 1110048748 | 1143909002 | 1150737400 | 1158072471 |
184.20/26.14	c (23,0) c | LitScanFracts |          352946 |      42663 |      54223 |      41710 |      39829 |      42970 |      42777 |      44396 |      44378 |
184.20/26.14	c (23,0) c | DecisionLevel0|            2902 |        304 |        367 |        332 |        364 |        392 |        330 |        387 |        426 |
184.20/26.14	c (23,0) c | Periods       |            1501 |        185 |        185 |        185 |        187 |        185 |        190 |        191 |        193 |
184.20/26.14	c (23,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
184.20/26.14	c (23,0) c | Avg_Trail     |                 |       1969 |       1977 |       1968 |       1954 |       1951 |       1959 |       1955 |       1962 |
184.20/26.14	c (23,0) c | Avg_DL        |                 |         21 |         21 |         22 |         21 |         21 |         21 |         22 |         22 |
184.20/26.14	c (23,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
184.20/26.14	c (23,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
184.20/26.14	c (23,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
184.20/26.14	c (23,0) c | Exported      |          126415 |      15383 |      15625 |      15565 |      15798 |      15942 |      16675 |      15836 |      15591 |
184.20/26.14	c (23,0) c | Imported      |          835579 |     104255 |     103994 |     102828 |     104057 |     102662 |     105026 |     106016 |     106741 |
184.20/26.14	c (23,0) c | Good          |             472 |         58 |         63 |         58 |         59 |         59 |         60 |         59 |         56 |
184.20/26.14	c (23,0) c | Purge         |          835107 |     104197 |     103931 |     102770 |     103998 |     102603 |     104966 |     105957 |     106685 |
184.20/26.14	c (23,0) c | Promoted      |           98949 |      12136 |      12082 |      12447 |      12355 |      12406 |      12345 |      12484 |      12694 |
184.20/26.14	c (23,0) c | Remove_Imp    |          453927 |      56603 |      56139 |      55114 |      56482 |      57511 |      56744 |      58173 |      57161 |
184.20/26.14	c (23,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
184.20/26.14	c (23,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
184.20/26.14	c (23,0) c | Unaries       |                 |          3 |          1 |          1 |          2 |          1 |          1 |          1 |          2 |
184.20/26.14	c (23,0) c | Binaries      |                 |         10 |          5 |          8 |          9 |          7 |          8 |          9 |         12 |
184.20/26.14	c (23,0) c | Glues         |                 |        124 |        142 |        147 |        129 |        112 |        128 |        136 |        147 |
184.20/26.14	c (23,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
184.20/26.14	c (23,0) c | Orig_Seen     |            22 % |      21028 |      23734 |      22187 |      21846 |      21901 |      22363 |      20932 |      22256 |
184.20/26.14	c (23,0) c | Diff Orig seen|                 | -     2706 |      X     | -     1547 | -     1888 | -     1833 | -     1371 | -     2802 | -     1478 |
184.20/26.14	c (23,0) c | Hamming       |            28 % |       1516 |      X     |       1884 |       1676 |       1880 |       1499 |       1914 |       2003 |
184.20/26.14	c (23,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
184.20/26.14	c (23,0) c | RunningTime   |                 |   22.6 100%|   22.1 100%|   22.1 100%|   22.1 100%|   23.0 100%|   22.1 100%|   22.1 100%|   22.1 100%|
184.20/26.14	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%|
184.20/26.14	c (23,0) c | ExchangingTime|                 |    0.0   0%|    0.0   0%|    0.1   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
184.20/26.14	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%|
184.20/26.14	c (23,0) c | SolvingTime   |                 |   22.7     |   22.1     |   22.1     |   22.1     |   23.0     |   22.1     |   22.1     |   22.1     |
184.20/26.14	c (23,0) c | PropagationTim|                 |   19.5  86%|   19.3  87%|   19.3  87%|   19.2  87%|   20.0  87%|   19.0  86%|   18.9  86%|   19.2  87%|
184.20/26.14	c (23,0) c | AnalysisTime  |                 |    2.5  11%|    2.2  10%|    2.2  10%|    2.2  10%|    2.4  11%|    2.4  11%|    2.5  12%|    2.2  10%|
184.20/26.14	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%|
184.20/26.14	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%|
184.20/26.14	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%|
184.20/26.14	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%|
184.20/26.14	c (23,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
184.20/26.14	c (23,0) c
184.20/26.14	c (23,0) c
184.20/26.14	c (23,0) c Threads : 8
184.20/26.14	c (23,0) c Winner : 1
184.20/26.14	c (23,0) c Conflicts_0 : 102943
184.20/26.14	c (23,0) c Conflicts_1 : 103761
184.20/26.14	c (23,0) c Conflicts_2 : 105601
184.20/26.14	c (23,0) c Conflicts_3 : 104439
184.20/26.14	c (23,0) c Conflicts_4 : 102658
184.20/26.14	c (23,0) c Conflicts_5 : 105704
184.20/26.14	c (23,0) c Conflicts_6 : 104662
184.20/26.14	c (23,0) c Conflicts_7 : 106398
184.20/26.14	c (23,0) c Conflicts_total : 836166
184.20/26.14	c (23,0) c Conflicts_winner : 103761
184.20/26.14	c (23,0) c Decisions_0 : 169286
184.20/26.14	c (23,0) c Decisions_1 : 176589
184.20/26.14	c (23,0) c Decisions_2 : 176513
184.20/26.14	c (23,0) c Decisions_3 : 175105
184.20/26.14	c (23,0) c Decisions_4 : 175068
184.20/26.14	c (23,0) c Decisions_5 : 176204
184.20/26.14	c (23,0) c Decisions_6 : 174569
184.20/26.14	c (23,0) c Decisions_7 : 180591
184.20/26.14	c (23,0) c Decisions_total : 1403925
184.20/26.14	c (23,0) c Decisions_winner : 176589
184.20/26.14	c (23,0) c Propagations_0 : 27453256
184.20/26.14	c (23,0) c Propagations_1 : 27091795
184.20/26.14	c (23,0) c Propagations_2 : 27507773
184.20/26.14	c (23,0) c Propagations_3 : 27417745
184.20/26.14	c (23,0) c Propagations_4 : 26753430
184.20/26.14	c (23,0) c Propagations_5 : 27695537
184.20/26.14	c (23,0) c Propagations_6 : 28148944
184.20/26.14	c (23,0) c Propagations_7 : 27701743
184.20/26.14	c (23,0) c Propagations_total : 219770223
184.20/26.14	c (23,0) c Propagations_winner : 27091795
184.20/26.14	c (23,0) c ReduceDBs_0 : 8
184.20/26.14	c (23,0) c ReduceDBs_1 : 8
184.20/26.14	c (23,0) c ReduceDBs_2 : 8
184.20/26.14	c (23,0) c ReduceDBs_3 : 8
184.20/26.14	c (23,0) c ReduceDBs_4 : 8
184.20/26.14	c (23,0) c ReduceDBs_5 : 8
184.20/26.14	c (23,0) c ReduceDBs_6 : 8
184.20/26.14	c (23,0) c ReduceDBs_7 : 8
184.20/26.14	c (23,0) c ReduceDBs_total : 64
184.20/26.14	c (23,0) c ReduceDBs_winner : 8
184.20/26.14	c (23,0) c SimpDBs_0 : 4
184.20/26.14	c (23,0) c SimpDBs_1 : 3
184.20/26.14	c (23,0) c SimpDBs_2 : 3
184.20/26.14	c (23,0) c SimpDBs_3 : 3
184.20/26.14	c (23,0) c SimpDBs_4 : 3
184.20/26.14	c (23,0) c SimpDBs_5 : 4
184.20/26.14	c (23,0) c SimpDBs_6 : 3
184.20/26.14	c (23,0) c SimpDBs_7 : 3
184.20/26.14	c (23,0) c SimpDBs_total : 26
184.20/26.14	c (23,0) c SimpDBs_winner : 3
184.20/26.14	c (23,0) c Restarts_0 : 301
184.20/26.14	c (23,0) c Restarts_1 : 366
184.20/26.14	c (23,0) c Restarts_2 : 331
184.20/26.14	c (23,0) c Restarts_3 : 362
184.20/26.14	c (23,0) c Restarts_4 : 391
184.20/26.14	c (23,0) c Restarts_5 : 329
184.20/26.14	c (23,0) c Restarts_6 : 386
184.20/26.14	c (23,0) c Restarts_7 : 424
184.20/26.14	c (23,0) c Restarts_total : 2890
184.20/26.14	c (23,0) c Restarts_winner : 366
184.20/26.14	c (23,0) c ForcedImports_0 : 0
184.20/26.14	c (23,0) c ForcedImports_1 : 0
184.20/26.14	c (23,0) c ForcedImports_2 : 0
184.20/26.14	c (23,0) c ForcedImports_3 : 0
184.20/26.14	c (23,0) c ForcedImports_4 : 0
184.20/26.14	c (23,0) c ForcedImports_5 : 0
184.20/26.14	c (23,0) c ForcedImports_6 : 0
184.20/26.14	c (23,0) c ForcedImports_7 : 0
184.20/26.15	c (23,0) c ForcedImports_total : 0
184.20/26.15	c (23,0) c ForcedImports_winner : 0
184.20/26.15	c (23,0) c PropsBinClauses_0 : 36667225
184.20/26.15	c (23,0) c PropsBinClauses_1 : 36284123
184.20/26.15	c (23,0) c PropsBinClauses_2 : 37346225
184.20/26.15	c (23,0) c PropsBinClauses_3 : 37009912
184.20/26.15	c (23,0) c PropsBinClauses_4 : 36270340
184.20/26.15	c (23,0) c PropsBinClauses_5 : 37283164
184.20/26.15	c (23,0) c PropsBinClauses_6 : 37800469
184.20/26.15	c (23,0) c PropsBinClauses_7 : 37029301
184.20/26.15	c (23,0) c PropsBinClauses_total : 295690759
184.20/26.15	c (23,0) c PropsBinClauses_winner : 36284123
184.20/26.15	c (23,0) c PropsPreBlocker_0 : 520672515
184.20/26.15	c (23,0) c PropsPreBlocker_1 : 519322437
184.20/26.15	c (23,0) c PropsPreBlocker_2 : 522540990
184.20/26.15	c (23,0) c PropsPreBlocker_3 : 520151618
184.20/26.15	c (23,0) c PropsPreBlocker_4 : 515260974
184.20/26.15	c (23,0) c PropsPreBlocker_5 : 535346707
184.20/26.15	c (23,0) c PropsPreBlocker_6 : 539414548
184.20/26.15	c (23,0) c PropsPreBlocker_7 : 540504831
184.20/26.15	c (23,0) c PropsPreBlocker_total : 4213214620
184.20/26.15	c (23,0) c PropsPreBlocker_winner : 519322437
184.20/26.15	c (23,0) c PropsNotBlocker_0 : 192335669
184.20/26.15	c (23,0) c PropsNotBlocker_1 : 193803788
184.20/26.15	c (23,0) c PropsNotBlocker_2 : 192533169
184.20/26.15	c (23,0) c PropsNotBlocker_3 : 195669417
184.20/26.15	c (23,0) c PropsNotBlocker_4 : 195866763
184.20/26.15	c (23,0) c PropsNotBlocker_5 : 199916261
184.20/26.15	c (23,0) c PropsNotBlocker_6 : 202226008
184.20/26.15	c (23,0) c PropsNotBlocker_7 : 202750950
184.20/26.15	c (23,0) c PropsNotBlocker_total : 1575102025
184.20/26.15	c (23,0) c PropsNotBlocker_winner : 193803788
184.20/26.15	c (23,0) c PropsLitFullScans_0 : 1110052350
184.20/26.15	c (23,0) c PropsLitFullScans_1 : 1111689096
184.20/26.15	c (23,0) c PropsLitFullScans_2 : 1110045374
184.20/26.15	c (23,0) c PropsLitFullScans_3 : 1122044994
184.20/26.15	c (23,0) c PropsLitFullScans_4 : 1110048748
184.20/26.15	c (23,0) c PropsLitFullScans_5 : 1143909002
184.20/26.15	c (23,0) c PropsLitFullScans_6 : 1150737400
184.20/26.15	c (23,0) c PropsLitFullScans_7 : 1158072471
184.20/26.15	c (23,0) c PropsLitFullScans_total : 9016599435
184.20/26.15	c (23,0) c PropsLitFullScans_winner : 1111689096
184.20/26.15	c (23,0) c LitScanFractions_0 : 42663
184.20/26.15	c (23,0) c LitScanFractions_1 : 54223
184.20/26.15	c (23,0) c LitScanFractions_2 : 41710
184.20/26.15	c (23,0) c LitScanFractions_3 : 39829
184.20/26.15	c (23,0) c LitScanFractions_4 : 42970
184.20/26.15	c (23,0) c LitScanFractions_5 : 42777
184.20/26.15	c (23,0) c LitScanFractions_6 : 44396
184.20/26.15	c (23,0) c LitScanFractions_7 : 44378
184.20/26.15	c (23,0) c LitScanFractions_total : 352946
184.20/26.15	c (23,0) c LitScanFractions_winner : 54223
184.20/26.15	c (23,0) c DecisionLevel0_0 : 304
184.20/26.15	c (23,0) c DecisionLevel0_1 : 367
184.20/26.15	c (23,0) c DecisionLevel0_2 : 332
184.20/26.15	c (23,0) c DecisionLevel0_3 : 364
184.20/26.15	c (23,0) c DecisionLevel0_4 : 392
184.20/26.15	c (23,0) c DecisionLevel0_5 : 330
184.20/26.15	c (23,0) c DecisionLevel0_6 : 387
184.20/26.15	c (23,0) c DecisionLevel0_7 : 426
184.20/26.15	c (23,0) c DecisionLevel0_total : 2902
184.20/26.15	c (23,0) c DecisionLevel0_winner : 367
184.20/26.15	c (23,0) c Periods_0 : 185
184.20/26.15	c (23,0) c Periods_1 : 185
184.20/26.15	c (23,0) c Periods_2 : 185
184.20/26.15	c (23,0) c Periods_3 : 187
184.20/26.15	c (23,0) c Periods_4 : 185
184.20/26.15	c (23,0) c Periods_5 : 190
184.20/26.15	c (23,0) c Periods_6 : 191
184.20/26.15	c (23,0) c Periods_7 : 193
184.20/26.15	c (23,0) c Periods_total : 1501
184.20/26.15	c (23,0) c Periods_winner : 185
184.20/26.15	c (23,0) c Margin_0 : 20
184.20/26.15	c (23,0) c Margin_1 : 20
184.20/26.15	c (23,0) c Margin_2 : 20
184.20/26.15	c (23,0) c Margin_3 : 20
184.20/26.15	c (23,0) c Margin_4 : 20
184.20/26.15	c (23,0) c Margin_5 : 20
184.20/26.15	c (23,0) c Margin_6 : 20
184.20/26.15	c (23,0) c Margin_7 : 20
184.20/26.15	c (23,0) c Margin_total : 160
184.20/26.15	c (23,0) c Margin_winner : 20
184.20/26.15	c (23,0) c Exported_0 : 15383
184.20/26.15	c (23,0) c Exported_1 : 15625
184.20/26.15	c (23,0) c Exported_2 : 15565
184.20/26.15	c (23,0) c Exported_3 : 15798
184.20/26.15	c (23,0) c Exported_4 : 15942
184.20/26.15	c (23,0) c Exported_5 : 16675
184.20/26.15	c (23,0) c Exported_6 : 15836
184.20/26.15	c (23,0) c Exported_7 : 15591
184.20/26.15	c (23,0) c Exported_total : 126415
184.20/26.15	c (23,0) c Exported_winner : 15625
184.20/26.15	c (23,0) c Imported_0 : 104255
184.20/26.15	c (23,0) c Imported_1 : 103994
184.20/26.15	c (23,0) c Imported_2 : 102828
184.20/26.15	c (23,0) c Imported_3 : 104057
184.20/26.15	c (23,0) c Imported_4 : 102662
184.20/26.15	c (23,0) c Imported_5 : 105026
184.20/26.15	c (23,0) c Imported_6 : 106016
184.20/26.15	c (23,0) c Imported_7 : 106741
184.20/26.15	c (23,0) c Imported_total : 835579
184.20/26.15	c (23,0) c Imported_winner : 103994
184.20/26.15	c (23,0) c Good_0 : 58
184.20/26.15	c (23,0) c Good_1 : 63
184.20/26.15	c (23,0) c Good_2 : 58
184.20/26.15	c (23,0) c Good_3 : 59
184.20/26.15	c (23,0) c Good_4 : 59
184.20/26.15	c (23,0) c Good_5 : 60
184.20/26.15	c (23,0) c Good_6 : 59
184.20/26.15	c (23,0) c Good_7 : 56
184.20/26.15	c (23,0) c Good_total : 472
184.20/26.15	c (23,0) c Good_winner : 63
184.20/26.15	c (23,0) c Purge_0 : 104197
184.20/26.15	c (23,0) c Purge_1 : 103931
184.20/26.15	c (23,0) c Purge_2 : 102770
184.20/26.15	c (23,0) c Purge_3 : 103998
184.20/26.15	c (23,0) c Purge_4 : 102603
184.20/26.15	c (23,0) c Purge_5 : 104966
184.20/26.15	c (23,0) c Purge_6 : 105957
184.20/26.15	c (23,0) c Purge_7 : 106685
184.20/26.15	c (23,0) c Purge_total : 835107
184.20/26.15	c (23,0) c Purge_winner : 103931
184.20/26.15	c (23,0) c Promoted_0 : 12136
184.20/26.15	c (23,0) c Promoted_1 : 12082
184.20/26.15	c (23,0) c Promoted_2 : 12447
184.20/26.15	c (23,0) c Promoted_3 : 12355
184.20/26.15	c (23,0) c Promoted_4 : 12406
184.20/26.15	c (23,0) c Promoted_5 : 12345
184.20/26.15	c (23,0) c Promoted_6 : 12484
184.20/26.15	c (23,0) c Promoted_7 : 12694
184.20/26.15	c (23,0) c Promoted_total : 98949
184.20/26.15	c (23,0) c Promoted_winner : 12082
184.20/26.15	c (23,0) c Remove_Imp_0 : 56603
184.20/26.15	c (23,0) c Remove_Imp_1 : 56139
184.20/26.15	c (23,0) c Remove_Imp_2 : 55114
184.20/26.15	c (23,0) c Remove_Imp_3 : 56482
184.20/26.15	c (23,0) c Remove_Imp_4 : 57511
184.20/26.15	c (23,0) c Remove_Imp_5 : 56744
184.20/26.15	c (23,0) c Remove_Imp_6 : 58173
184.20/26.15	c (23,0) c Remove_Imp_7 : 57161
184.20/26.15	c (23,0) c Remove_Imp_total : 453927
184.20/26.15	c (23,0) c Remove_Imp_winner : 56139
184.20/26.15	c (23,0) c Blocked_Reuse_0 : 0
184.20/26.15	c (23,0) c Blocked_Reuse_1 : 0
184.20/26.15	c (23,0) c Blocked_Reuse_2 : 0
184.20/26.15	c (23,0) c Blocked_Reuse_3 : 0
184.20/26.15	c (23,0) c Blocked_Reuse_4 : 0
184.20/26.15	c (23,0) c Blocked_Reuse_5 : 0
184.20/26.15	c (23,0) c Blocked_Reuse_6 : 0
184.20/26.15	c (23,0) c Blocked_Reuse_7 : 0
184.20/26.15	c (23,0) c Blocked_Reuse_total : 0
184.20/26.15	c (23,0) c Blocked_Reuse_winner : 0
184.20/26.15	c (23,0) c Unaries_0 : 3
184.20/26.15	c (23,0) c Unaries_1 : 1
184.20/26.15	c (23,0) c Unaries_2 : 1
184.20/26.15	c (23,0) c Unaries_3 : 2
184.20/26.15	c (23,0) c Unaries_4 : 1
184.20/26.15	c (23,0) c Unaries_5 : 1
184.20/26.15	c (23,0) c Unaries_6 : 1
184.20/26.15	c (23,0) c Unaries_7 : 2
184.20/26.15	c (23,0) c Unaries_total : 12
184.20/26.15	c (23,0) c Unaries_winner : 1
184.20/26.15	c (23,0) c Binaries_0 : 10
184.20/26.15	c (23,0) c Binaries_1 : 5
184.20/26.15	c (23,0) c Binaries_2 : 8
184.20/26.15	c (23,0) c Binaries_3 : 9
184.20/26.15	c (23,0) c Binaries_4 : 7
184.20/26.15	c (23,0) c Binaries_5 : 8
184.20/26.15	c (23,0) c Binaries_6 : 9
184.20/26.15	c (23,0) c Binaries_7 : 12
184.20/26.15	c (23,0) c Binaries_total : 68
184.20/26.15	c (23,0) c Binaries_winner : 5
184.20/26.15	c (23,0) c Glues_0 : 124
184.20/26.15	c (23,0) c Glues_1 : 142
184.20/26.15	c (23,0) c Glues_2 : 147
184.20/26.15	c (23,0) c Glues_3 : 129
184.20/26.15	c (23,0) c Glues_4 : 112
184.20/26.15	c (23,0) c Glues_5 : 128
184.20/26.15	c (23,0) c Glues_6 : 136
184.20/26.15	c (23,0) c Glues_7 : 147
184.20/26.15	c (23,0) c Glues_total : 1065
184.20/26.15	c (23,0) c Glues_winner : 142
184.20/26.15	c (23,0) c RunningTime_0 : 22.615781
184.20/26.15	c (23,0) c RunningTime_1 : 22.051212
184.20/26.15	c (23,0) c RunningTime_2 : 22.069184
184.20/26.15	c (23,0) c RunningTime_3 : 22.060865
184.20/26.15	c (23,0) c RunningTime_4 : 22.972713
184.20/26.15	c (23,0) c RunningTime_5 : 22.073225
184.20/26.15	c (23,0) c RunningTime_6 : 22.053125
184.20/26.15	c (23,0) c RunningTime_7 : 22.080071
184.20/26.15	c (23,0) c RunningTime_total : 177.976176
184.20/26.15	c (23,0) c RunningTime_winner : 22.051212
184.20/26.15	c (23,0) c WaitingTime_0 : 0.000194
184.20/26.15	c (23,0) c WaitingTime_1 : 0.000233
184.20/26.15	c (23,0) c WaitingTime_2 : 0.000243
184.20/26.15	c (23,0) c WaitingTime_3 : 0.000275
184.20/26.15	c (23,0) c WaitingTime_4 : 0.000165
184.20/26.15	c (23,0) c WaitingTime_5 : 0.000249
184.20/26.15	c (23,0) c WaitingTime_6 : 0.000271
184.20/26.15	c (23,0) c WaitingTime_7 : 0.000276
184.20/26.15	c (23,0) c WaitingTime_total : 0.001906
184.20/26.15	c (23,0) c WaitingTime_winner : 0.000233
184.20/26.15	c (23,0) c ExchangingTime_0 : 0.035052
184.20/26.15	c (23,0) c ExchangingTime_1 : 0.036988
184.20/26.15	c (23,0) c ExchangingTime_2 : 0.050261
184.20/26.15	c (23,0) c ExchangingTime_3 : 0.041055
184.20/26.15	c (23,0) c ExchangingTime_4 : 0.038220
184.20/26.15	c (23,0) c ExchangingTime_5 : 0.040283
184.20/26.15	c (23,0) c ExchangingTime_6 : 0.038454
184.20/26.15	c (23,0) c ExchangingTime_7 : 0.038676
184.20/26.15	c (23,0) c ExchangingTime_total : 0.318990
184.20/26.15	c (23,0) c ExchangingTime_winner : 0.036988
184.20/26.15	c (23,0) c PeriodProcTime_0 : 0.001630
184.20/26.15	c (23,0) c PeriodProcTime_1 : 0.001461
184.20/26.15	c (23,0) c PeriodProcTime_2 : 0.001657
184.20/26.15	c (23,0) c PeriodProcTime_3 : 0.001356
184.20/26.15	c (23,0) c PeriodProcTime_4 : 0.001693
184.20/26.15	c (23,0) c PeriodProcTime_5 : 0.001577
184.20/26.15	c (23,0) c PeriodProcTime_6 : 0.001374
184.20/26.15	c (23,0) c PeriodProcTime_7 : 0.001621
184.20/26.15	c (23,0) c PeriodProcTime_total : 0.012369
184.20/26.15	c (23,0) c PeriodProcTime_winner : 0.001461
184.20/26.15	c (23,0) c SolvingTime_0 : 22.652657
184.20/26.15	c (23,0) c SolvingTime_1 : 22.089894
184.20/26.15	c (23,0) c SolvingTime_2 : 22.121344
184.20/26.15	c (23,0) c SolvingTime_3 : 22.103551
184.20/26.15	c (23,0) c SolvingTime_4 : 23.012792
184.20/26.15	c (23,0) c SolvingTime_5 : 22.115334
184.20/26.15	c (23,0) c SolvingTime_6 : 22.093225
184.20/26.15	c (23,0) c SolvingTime_7 : 22.120644
184.20/26.15	c (23,0) c SolvingTime_total : 178.309440
184.20/26.15	c (23,0) c SolvingTime_winner : 22.089894
184.20/26.15	c (23,0) c PropagationTime_0 : 19.532820
184.20/26.15	c (23,0) c PropagationTime_1 : 19.301769
184.20/26.15	c (23,0) c PropagationTime_2 : 19.300258
184.20/26.15	c (23,0) c PropagationTime_3 : 19.224421
184.20/26.15	c (23,0) c PropagationTime_4 : 19.958071
184.20/26.15	c (23,0) c PropagationTime_5 : 19.048767
184.20/26.15	c (23,0) c PropagationTime_6 : 18.914503
184.20/26.15	c (23,0) c PropagationTime_7 : 19.244800
184.20/26.15	c (23,0) c PropagationTime_total : 154.525409
184.20/26.15	c (23,0) c PropagationTime_winner : 19.301769
184.20/26.15	c (23,0) c AnalysisTime_0 : 2.509877
184.20/26.15	c (23,0) c AnalysisTime_1 : 2.164789
184.20/26.15	c (23,0) c AnalysisTime_2 : 2.182443
184.20/26.15	c (23,0) c AnalysisTime_3 : 2.238467
184.20/26.15	c (23,0) c AnalysisTime_4 : 2.430809
184.20/26.15	c (23,0) c AnalysisTime_5 : 2.429774
184.20/26.15	c (23,0) c AnalysisTime_6 : 2.546934
184.20/26.15	c (23,0) c AnalysisTime_7 : 2.243616
184.20/26.15	c (23,0) c AnalysisTime_total : 18.746710
184.20/26.15	c (23,0) c AnalysisTime_winner : 2.164789
184.20/26.15	c (23,0) c ReductionTime_0 : 0.157677
184.20/26.15	c (23,0) c ReductionTime_1 : 0.173285
184.20/26.15	c (23,0) c ReductionTime_2 : 0.168941
184.20/26.15	c (23,0) c ReductionTime_3 : 0.169337
184.20/26.15	c (23,0) c ReductionTime_4 : 0.165554
184.20/26.15	c (23,0) c ReductionTime_5 : 0.162549
184.20/26.15	c (23,0) c ReductionTime_6 : 0.166454
184.20/26.15	c (23,0) c ReductionTime_7 : 0.166954
184.20/26.15	c (23,0) c ReductionTime_total : 1.330751
184.20/26.15	c (23,0) c ReductionTime_winner : 0.173285
184.20/26.15	c (23,0) c SimplifyTime_0 : 0.008226
184.20/26.15	c (23,0) c SimplifyTime_1 : 0.004757
184.20/26.15	c (23,0) c SimplifyTime_2 : 0.004674
184.20/26.15	c (23,0) c SimplifyTime_3 : 0.004226
184.20/26.15	c (23,0) c SimplifyTime_4 : 0.005525
184.20/26.15	c (23,0) c SimplifyTime_5 : 0.008320
184.20/26.15	c (23,0) c SimplifyTime_6 : 0.005362
184.20/26.15	c (23,0) c SimplifyTime_7 : 0.004505
184.20/26.15	c (23,0) c SimplifyTime_total : 0.045595
184.20/26.15	c (23,0) c SimplifyTime_winner : 0.004757
184.20/26.15	c (23,0) c UsedRateTime_0 : 0.000000
184.20/26.15	c (23,0) c UsedRateTime_1 : 0.000000
184.20/26.15	c (23,0) c UsedRateTime_2 : 0.000000
184.20/26.15	c (23,0) c UsedRateTime_3 : 0.000000
184.20/26.15	c (23,0) c UsedRateTime_4 : 0.000000
184.20/26.15	c (23,0) c UsedRateTime_5 : 0.000000
184.20/26.15	c (23,0) c UsedRateTime_6 : 0.000000
184.20/26.15	c (23,0) c UsedRateTime_7 : 0.000000
184.20/26.15	c (23,0) c UsedRateTime_total : 0.000000
184.20/26.15	c (23,0) c UsedRateTime_winner : 0.000000
184.20/26.15	c (23,0) c OverlapRateTime_0 : 0.000000
184.20/26.15	c (23,0) c OverlapRateTime_1 : 0.000000
184.20/26.15	c (23,0) c OverlapRateTime_2 : 0.000000
184.20/26.15	c (23,0) c OverlapRateTime_3 : 0.000000
184.20/26.15	c (23,0) c OverlapRateTime_4 : 0.000000
184.20/26.15	c (23,0) c OverlapRateTime_5 : 0.000000
184.20/26.15	c (23,0) c OverlapRateTime_6 : 0.000000
184.20/26.15	c (23,0) c OverlapRateTime_7 : 0.000000
184.20/26.15	c (23,0) c OverlapRateTime_total : 0.000000
184.20/26.15	c (23,0) c OverlapRateTime_winner : 0.000000
184.20/26.15	c (23,0) c
184.20/26.15	c (23,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
184.20/26.15	c (23,0) c
184.20/26.15	c (23,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
184.20/26.15	c (23,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
184.20/26.15	c (23,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
184.20/26.15	c (23,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
184.20/26.16	c (23,0) c | adaptStrategeis       |      False |      False |      False |      False |      False |      False |      False |      False |
184.20/26.16	c (23,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
184.20/26.16	c (23,0) c | Initial random_seed   |  359170955 | 1680590881 |  327865954 |   94667439 | 1576204636 | 2001710121 |  875517349 | 1427356948 |
184.20/26.16	c (23,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
184.20/26.16	c (23,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
184.20/26.16	c (23,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
184.20/26.16	c (23,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
184.20/26.16	c (23,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
184.20/26.16	c (23,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
184.20/26.16	c (23,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
184.20/26.16	c (23,0) c | var_decay             |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
184.20/26.16	c (23,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
184.20/26.16	c (23,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
184.20/26.16	c (23,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
184.20/26.16	c (23,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
184.20/26.16	c (23,0) 
184.20/26.16	c (23,0) s SATISFIABLE
184.20/26.18	c (23,0) SatSolver.solve End
184.20/26.18	c (23,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
184.20/26.18	c (23,0) Show results Begin
184.44/26.27	c (23,0) x[0] = 65
184.44/26.27	c (23,0) x[1] = 65
184.44/26.27	c (23,0) x[2] = 62
184.44/26.27	c (23,0) x[3] = 75
184.44/26.27	c (23,0) x[4] = 62
184.44/26.27	c (23,0) x[5] = 54
184.44/26.27	c (23,0) x[6] = 38
184.44/26.27	c (23,0) x[7] = 54
184.44/26.27	c (23,0) x[8] = 79
184.44/26.27	c (23,0) x[9] = 79
184.44/26.27	c (23,0) x[10] = 67
184.44/26.27	c (23,0) x[11] = 75
184.44/26.27	c (23,0) x[12] = 48
184.44/26.27	c (23,0) x[13] = 38
184.44/26.27	c (23,0) x[14] = 66
184.44/26.27	c (23,0) x[15] = 48
184.44/26.27	c (23,0) x[16] = 54
184.44/26.27	c (23,0) x[17] = 0
184.44/26.27	c (23,0) x[18] = 98
184.44/26.27	c (23,0) x[19] = 95
184.44/26.27	c (23,0) x[20] = 0
184.44/26.27	c (23,0) x[21] = 87
184.44/26.27	c (23,0) x[22] = 0
184.44/26.27	c (23,0) y[0] = 53
184.44/26.27	c (23,0) y[1] = 51
184.44/26.27	c (23,0) y[2] = 51
184.44/26.27	c (23,0) y[3] = 113
184.44/26.27	c (23,0) y[4] = 46
184.44/26.27	c (23,0) y[5] = 46
184.44/26.27	c (23,0) y[6] = 82
184.44/26.27	c (23,0) y[7] = 33
184.44/26.27	c (23,0) y[8] = 82
184.44/26.27	c (23,0) y[9] = 98
184.44/26.27	c (23,0) y[10] = 33
184.44/26.27	c (23,0) y[11] = 117
184.44/26.27	c (23,0) y[12] = 113
184.44/26.27	c (23,0) y[13] = 54
184.44/26.27	c (23,0) y[14] = 53
184.44/26.27	c (23,0) y[15] = 82
184.44/26.27	c (23,0) y[16] = 0
184.44/26.27	c (23,0) y[17] = 54
184.44/26.27	c (23,0) y[18] = 98
184.44/26.27	c (23,0) y[19] = 53
184.44/26.27	c (23,0) y[20] = 92
184.44/26.27	c (23,0) y[21] = 0
184.44/26.27	c (23,0) y[22] = 0
184.44/26.27	s SATISFIABLE
184.44/26.28	v <instantiation>
184.44/26.28	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>
184.44/26.28	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>
184.44/26.28	v </instantiation>
184.44/26.28	c (23,0) Show results End
184.44/26.28	c (23,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB)
184.44/26.28	c (23,0) 23,23,STOP-AFTER(ALL)
184.44/26.28	c END-Prog: Tue Sep 24 17:16: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 (12288 MiB free)
  memory of node 1: 16384 MiB (12595 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4405493-1569338196/watcher-4405493-1569338196 -o /tmp/evaluation-result-4405493-1569338196/solver-4405493-1569338196 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node125-1569335936-24493 --watchdog 2580 HOME/scop.sh 22g HOME/scop.jar -hybrid HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4405493-1569338196.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=24909, runsolver pid=24906
Current StackSize limit: 8192 KiB


[startup+0.100148 s]*
/proc/loadavg: 7.28 7.43 5.39 2/212 24931
/proc/meminfo: memFree=25384416/32770624 swapFree=66975632/67108860
[pid=24909] ppid=24906 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/24909/stat : 24909 (scop.sh) S 24906 24909 24466 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 510086343 115843072 349 33554432000 4194304 5098028 140731891591808 140731891589064 140398274290300 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 24064000 140731891598116 140731891598444 140731891598444 140731891601357 0
/proc/24909/statm: 28282 349 296 221 0 87 0
[pid=24912] ppid=24909 vsize=27314120 memory=109672 CPUtime=0.11 cores=0-7
/proc/24912/stat : 24912 (java) S 24909 24909 24466 0 -1 1077944320 6493 0 0 0 9 2 0 0 20 0 20 0 510086343 27969658880 27418 33554432000 4194304 4196468 140721843409456 140721843392000 139770447380215 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 12914688 140721843417834 140721843418262 140721843418262 140721843421135 0
/proc/24912/statm: 6828530 27418 2798 1 0 6790935 0
[pid=24912/tid=24913] ppid=24909 vsize=27314120 memory=1398722017469774279 CPUtime=0.08 cores=0-7
/proc/24912/task/24913/stat : 24913 (java) R 24909 24909 24466 0 -1 4202560 4589 0 0 0 7 1 0 0 20 0 20 0 510086344 27969658880 27418 33554432000 4194304 4196468 140721843409456 139770419193728 139770432748359 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12914688 140721843417834 140721843418262 140721843418262 140721843421135 0
[pid=24912/tid=24914] ppid=24909 vsize=27314120 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/24912/task/24914/stat : 24914 (java) S 24909 24909 24466 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510086346 27969658880 27418 33554432000 4194304 4196468 140721843409456 139770451623056 139770447390421 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12914688 140721843417834 140721843418262 140721843418262 140721843421135 0
[pid=24912/tid=24915] ppid=24909 vsize=27314120 memory=139696608429696 CPUtime=0 cores=0-7
/proc/24912/task/24915/stat : 24915 (java) S 24909 24909 24466 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510086346 27969658880 27418 33554432000 4194304 4196468 140721843409456 139770265779216 139770447390421 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12914688 140721843417834 140721843418262 140721843418262 140721843421135 0
[pid=24912/tid=24916] ppid=24909 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24912/task/24916/stat : 24916 (java) S 24909 24909 24466 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510086346 27969658880 27418 33554432000 4194304 4196468 140721843409456 139770264726416 139770447390421 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12914688 140721843417834 140721843418262 140721843418262 140721843421135 0
[pid=24912/tid=24917] ppid=24909 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24912/task/24917/stat : 24917 (java) S 24909 24909 24466 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510086346 27969658880 27418 33554432000 4194304 4196468 140721843409456 139770263673616 139770447390421 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12914688 140721843417834 140721843418262 140721843418262 140721843421135 0
[pid=24912/tid=24918] ppid=24909 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24912/task/24918/stat : 24918 (java) S 24909 24909 24466 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510086346 27969658880 27418 33554432000 4194304 4196468 140721843409456 139770262620816 139770447390421 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12914688 140721843417834 140721843418262 140721843418262 140721843421135 0
[pid=24912/tid=24919] ppid=24909 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/24912/task/24919/stat : 24919 (java) S 24909 24909 24466 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510086346 27969658880 27418 33554432000 4194304 4196468 140721843409456 139770261568016 139770447390421 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12914688 140721843417834 140721843418262 140721843418262 140721843421135 0
[pid=24912/tid=24920] ppid=24909 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24912/task/24920/stat : 24920 (java) S 24909 24909 24466 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510086346 27969658880 27418 33554432000 4194304 4196468 140721843409456 139770260515216 139770447390421 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12914688 140721843417834 140721843418262 140721843418262 140721843421135 0
[pid=24912/tid=24921] ppid=24909 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24912/task/24921/stat : 24921 (java) S 24909 24909 24466 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510086346 27969658880 27418 33554432000 4194304 4196468 140721843409456 139770259462416 139770447390421 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12914688 140721843417834 140721843418262 140721843418262 140721843421135 0
[pid=24912/tid=24922] ppid=24909 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24912/task/24922/stat : 24922 (java) S 24909 24909 24466 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510086348 27969658880 27418 33554432000 4194304 4196468 140721843409456 139768498199408 139770447391362 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12914688 140721843417834 140721843418262 140721843418262 140721843421135 0
[pid=24912/tid=24923] ppid=24909 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24912/task/24923/stat : 24923 (java) S 24909 24909 24466 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 510086348 27969658880 27418 33554432000 4194304 4196468 140721843409456 139768369243680 139770447390421 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12914688 140721843417834 140721843418262 140721843418262 140721843421135 0
[pid=24912/tid=24924] ppid=24909 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24912/task/24924/stat : 24924 (java) S 24909 24909 24466 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510086348 27969658880 27418 33554432000 4194304 4196468 140721843409456 139768100808048 139770447390421 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12914688 140721843417834 140721843418262 140721843418262 140721843421135 0
[pid=24912/tid=24925] ppid=24909 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24912/task/24925/stat : 24925 (java) S 24909 24909 24466 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510086351 27969658880 27418 33554432000 4194304 4196468 140721843409456 139767726299472 139770447398811 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12914688 140721843417834 140721843418262 140721843418262 140721843421135 0
[pid=24912/tid=24926] ppid=24909 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24912/task/24926/stat : 24926 (java) S 24909 24909 24466 0 -1 1077944384 304 0 0 0 0 0 0 0 20 0 20 0 510086351 27969658880 27418 33554432000 4194304 4196468 140721843409456 139768497146224 139770447391362 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12914688 140721843417834 140721843418262 140721843418262 140721843421135 0
[pid=24912/tid=24927] ppid=24909 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24912/task/24927/stat : 24927 (java) S 24909 24909 24466 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510086351 27969658880 27418 33554432000 4194304 4196468 140721843409456 139768496093424 139770447391362 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12914688 140721843417834 140721843418262 140721843418262 140721843421135 0
[pid=24912/tid=24928] ppid=24909 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24912/task/24928/stat : 24928 (java) S 24909 24909 24466 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 510086351 27969658880 27418 33554432000 4194304 4196468 140721843409456 139768495040624 139770447391362 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12914688 140721843417834 140721843418262 140721843418262 140721843421135 0
[pid=24912/tid=24929] ppid=24909 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24912/task/24929/stat : 24929 (java) S 24909 24909 24466 0 -1 1077944384 253 0 0 0 0 0 0 0 20 0 20 0 510086351 27969658880 27418 33554432000 4194304 4196468 140721843409456 139768493987824 139770447391362 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12914688 140721843417834 140721843418262 140721843418262 140721843421135 0
[pid=24912/tid=24930] ppid=24909 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24912/task/24930/stat : 24930 (java) S 24909 24909 24466 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510086351 27969658880 27418 33554432000 4194304 4196468 140721843409456 139767228394592 139770447390421 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12914688 140721843417834 140721843418262 140721843418262 140721843421135 0
[pid=24912/tid=24931] ppid=24909 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/24912/task/24931/stat : 24931 (java) S 24909 24909 24466 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510086351 27969658880 27418 33554432000 4194304 4196468 140721843409456 139768492936240 139770447391362 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12914688 140721843417834 140721843418262 140721843418262 140721843421135 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 111068 KiB

[startup+0.210716 s]*
/proc/loadavg: 7.28 7.43 5.39 2/212 24931
/proc/meminfo: memFree=25356648/32770624 swapFree=66975632/67108860
[pid=24909] ppid=24906 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/24909/stat : 24909 (scop.sh) S 24906 24909 24466 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 510086343 115843072 349 33554432000 4194304 5098028 140731891591808 140731891589064 140398274290300 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 24064000 140731891598116 140731891598444 140731891598444 140731891601357 0
/proc/24909/statm: 28282 349 296 221 0 87 0
[pid=24912] ppid=24909 vsize=27314120 memory=124480 CPUtime=0.24 cores=0-7
/proc/24912/stat : 24912 (java) S 24909 24909 24466 0 -1 1077944320 11481 0 0 0 21 3 0 0 20 0 20 0 510086343 27969658880 31120 33554432000 4194304 4196468 140721843409456 140721843392000 139770447380215 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 12914688 140721843417834 140721843418262 140721843418262 140721843421135 0
/proc/24912/statm: 6828530 31120 2920 1 0 6790935 0
[pid=24912/tid=24913] ppid=24909 vsize=27314120 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/24912/task/24913/stat : 24913 (java) R 24909 24909 24466 0 -1 4202560 9192 0 0 0 17 3 0 0 20 0 20 0 510086344 27969658880 31120 33554432000 4194304 4196468 140721843409456 139770419196624 139770431460702 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12914688 140721843417834 140721843418262 140721843418262 140721843421135 0
[pid=24912/tid=24914] ppid=24909 vsize=27314120 memory=339 CPUtime=0 cores=0-7
/proc/24912/task/24914/stat : 24914 (java) S 24909 24909 24466 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510086346 27969658880 31120 33554432000 4194304 4196468 140721843409456 139770451623056 139770447390421 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12914688 140721843417834 140721843418262 140721843418262 140721843421135 0
[pid=24912/tid=24915] ppid=24909 vsize=27314120 memory=288370072760141440 CPUtime=0 cores=0-7
/proc/24912/task/24915/stat : 24915 (java) S 24909 24909 24466 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510086346 27969658880 31120 33554432000 4194304 4196468 140721843409456 139770265779216 139770447390421 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12914688 140721843417834 140721843418262 140721843418262 140721843421135 0
[pid=24912/tid=24916] ppid=24909 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/24912/task/24916/stat : 24916 (java) S 24909 24909 24466 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510086346 27969658880 31120 33554432000 4194304 4196468 140721843409456 139770264726416 139770447390421 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12914688 140721843417834 140721843418262 140721843418262 140721843421135 0
[pid=24912/tid=24917] ppid=24909 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24912/task/24917/stat : 24917 (java) S 24909 24909 24466 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510086346 27969658880 31120 33554432000 4194304 4196468 140721843409456 139770263673616 139770447390421 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12914688 140721843417834 140721843418262 140721843418262 140721843421135 0
[pid=24912/tid=24918] ppid=24909 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24912/task/24918/stat : 24918 (java) S 24909 24909 24466 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510086346 27969658880 31120 33554432000 4194304 4196468 140721843409456 139770262620816 139770447390421 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12914688 140721843417834 140721843418262 140721843418262 140721843421135 0
[pid=24912/tid=24919] ppid=24909 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/24912/task/24919/stat : 24919 (java) S 24909 24909 24466 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510086346 27969658880 31120 33554432000 4194304 4196468 140721843409456 139770261568016 139770447390421 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12914688 140721843417834 140721843418262 140721843418262 140721843421135 0
[pid=24912/tid=24920] ppid=24909 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24912/task/24920/stat : 24920 (java) S 24909 24909 24466 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510086346 27969658880 31120 33554432000 4194304 4196468 140721843409456 139770260515216 139770447390421 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12914688 140721843417834 140721843418262 140721843418262 140721843421135 0
[pid=24912/tid=24921] ppid=24909 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24912/task/24921/stat : 24921 (java) S 24909 24909 24466 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510086346 27969658880 31120 33554432000 4194304 4196468 140721843409456 139770259462416 139770447390421 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12914688 140721843417834 140721843418262 140721843418262 140721843421135 0
[pid=24912/tid=24922] ppid=24909 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24912/task/24922/stat : 24922 (java) S 24909 24909 24466 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510086348 27969658880 31120 33554432000 4194304 4196468 140721843409456 139768498199408 139770447391362 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12914688 140721843417834 140721843418262 140721843418262 140721843421135 0
[pid=24912/tid=24923] ppid=24909 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24912/task/24923/stat : 24923 (java) S 24909 24909 24466 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 510086348 27969658880 31120 33554432000 4194304 4196468 140721843409456 139768369243680 139770447390421 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12914688 140721843417834 140721843418262 140721843418262 140721843421135 0
[pid=24912/tid=24924] ppid=24909 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24912/task/24924/stat : 24924 (java) S 24909 24909 24466 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510086348 27969658880 31120 33554432000 4194304 4196468 140721843409456 139768100808048 139770447390421 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12914688 140721843417834 140721843418262 140721843418262 140721843421135 0
[pid=24912/tid=24925] ppid=24909 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24912/task/24925/stat : 24925 (java) S 24909 24909 24466 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510086351 27969658880 31120 33554432000 4194304 4196468 140721843409456 139767726299472 139770447398811 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12914688 140721843417834 140721843418262 140721843418262 140721843421135 0
[pid=24912/tid=24926] ppid=24909 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24912/task/24926/stat : 24926 (java) S 24909 24909 24466 0 -1 1077944384 431 0 0 0 0 0 0 0 20 0 20 0 510086351 27969658880 31120 33554432000 4194304 4196468 140721843409456 139768497146224 139770447391362 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12914688 140721843417834 140721843418262 140721843418262 140721843421135 0
[pid=24912/tid=24927] ppid=24909 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24912/task/24927/stat : 24927 (java) S 24909 24909 24466 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 20 0 510086351 27969658880 31120 33554432000 4194304 4196468 140721843409456 139768496093424 139770447391362 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12914688 140721843417834 140721843418262 140721843418262 140721843421135 0
[pid=24912/tid=24928] ppid=24909 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/24912/task/24928/stat : 24928 (java) S 24909 24909 24466 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 510086351 27969658880 31120 33554432000 4194304 4196468 140721843409456 139768495040624 139770447391362 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12914688 140721843417834 140721843418262 140721843418262 140721843421135 0
[pid=24912/tid=24929] ppid=24909 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7
/proc/24912/task/24929/stat : 24929 (java) S 24909 24909 24466 0 -1 1077944384 472 0 0 0 2 0 0 0 20 0 20 0 510086351 27969658880 31120 33554432000 4194304 4196468 140721843409456 139768493987824 139770447391362 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12914688 140721843417834 140721843418262 140721843418262 140721843421135 0
[pid=24912/tid=24930] ppid=24909 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24912/task/24930/stat : 24930 (java) S 24909 24909 24466 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510086351 27969658880 31120 33554432000 4194304 4196468 140721843409456 139767228394592 139770447390421 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12914688 140721843417834 140721843418262 140721843418262 140721843421135 0
[pid=24912/tid=24931] ppid=24909 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/24912/task/24931/stat : 24931 (java) S 24909 24909 24466 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510086351 27969658880 31120 33554432000 4194304 4196468 140721843409456 139768492936240 139770447391362 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12914688 140721843417834 140721843418262 140721843418262 140721843421135 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 125876 KiB

[startup+0.31025 s]*
/proc/loadavg: 7.28 7.43 5.39 2/212 24931
/proc/meminfo: memFree=25357200/32770624 swapFree=66975632/67108860
[pid=24909] ppid=24906 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/24909/stat : 24909 (scop.sh) S 24906 24909 24466 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 510086343 115843072 349 33554432000 4194304 5098028 140731891591808 140731891589064 140398274290300 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 24064000 140731891598116 140731891598444 140731891598444 140731891601357 0
/proc/24909/statm: 28282 349 296 221 0 87 0
[pid=24912] ppid=24909 vsize=27314120 memory=128420 CPUtime=0.43 cores=0-7
/proc/24912/stat : 24912 (java) S 24909 24909 24466 0 -1 1077944320 11939 0 0 0 39 4 0 0 20 0 20 0 510086343 27969658880 32105 33554432000 4194304 4196468 140721843409456 140721843392000 139770447380215 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 12914688 140721843417834 140721843418262 140721843418262 140721843421135 0
/proc/24912/statm: 6828530 32105 3051 1 0 6790935 0
[pid=24912/tid=24913] ppid=24909 vsize=27314120 memory=1398722017469774279 CPUtime=0.3 cores=0-7
/proc/24912/task/24913/stat : 24913 (java) R 24909 24909 24466 0 -1 4202560 9462 0 0 0 27 3 0 0 20 0 20 0 510086344 27969658880 32105 33554432000 4194304 4196468 140721843409456 139770419193872 139770427655617 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12914688 140721843417834 140721843418262 140721843418262 140721843421135 0
[pid=24912/tid=24914] ppid=24909 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24912/task/24914/stat : 24914 (java) S 24909 24909 24466 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510086346 27969658880 32105 33554432000 4194304 4196468 140721843409456 139770451623056 139770447390421 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12914688 140721843417834 140721843418262 140721843418262 140721843421135 0
[pid=24912/tid=24915] ppid=24909 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24912/task/24915/stat : 24915 (java) S 24909 24909 24466 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510086346 27969658880 32105 33554432000 4194304 4196468 140721843409456 139770265779216 139770447390421 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12914688 140721843417834 140721843418262 140721843418262 140721843421135 0
[pid=24912/tid=24916] ppid=24909 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24912/task/24916/stat : 24916 (java) S 24909 24909 24466 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510086346 27969658880 32105 33554432000 4194304 4196468 140721843409456 139770264726416 139770447390421 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12914688 140721843417834 140721843418262 140721843418262 140721843421135 0
[pid=24912/tid=24917] ppid=24909 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24912/task/24917/stat : 24917 (java) S 24909 24909 24466 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510086346 27969658880 32105 33554432000 4194304 4196468 140721843409456 139770263673616 139770447390421 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12914688 140721843417834 140721843418262 140721843418262 140721843421135 0
[pid=24912/tid=24918] ppid=24909 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24912/task/24918/stat : 24918 (java) S 24909 24909 24466 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510086346 27969658880 32105 33554432000 4194304 4196468 140721843409456 139770262620816 139770447390421 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12914688 140721843417834 140721843418262 140721843418262 140721843421135 0
[pid=24912/tid=24919] ppid=24909 vsize=27314120 memory=139696495749807 CPUtime=0 cores=0-7
/proc/24912/task/24919/stat : 24919 (java) S 24909 24909 24466 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510086346 27969658880 32105 33554432000 4194304 4196468 140721843409456 139770261568016 139770447390421 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12914688 140721843417834 140721843418262 140721843418262 140721843421135 0
[pid=24912/tid=24920] ppid=24909 vsize=27314120 memory=139696495752112 CPUtime=0 cores=0-7
/proc/24912/task/24920/stat : 24920 (java) S 24909 24909 24466 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510086346 27969658880 32105 33554432000 4194304 4196468 140721843409456 139770260515216 139770447390421 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12914688 140721843417834 140721843418262 140721843418262 140721843421135 0
[pid=24912/tid=24921] ppid=24909 vsize=27314120 memory=139696495754416 CPUtime=0 cores=0-7
/proc/24912/task/24921/stat : 24921 (java) S 24909 24909 24466 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510086346 27969658880 32105 33554432000 4194304 4196468 140721843409456 139770259462416 139770447390421 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12914688 140721843417834 140721843418262 140721843418262 140721843421135 0
[pid=24912/tid=24922] ppid=24909 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24912/task/24922/stat : 24922 (java) S 24909 24909 24466 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510086348 27969658880 32105 33554432000 4194304 4196468 140721843409456 139768498199408 139770447391362 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12914688 140721843417834 140721843418262 140721843418262 140721843421135 0
[pid=24912/tid=24923] ppid=24909 vsize=27314120 memory=279392991522704 CPUtime=0 cores=0-7
/proc/24912/task/24923/stat : 24923 (java) S 24909 24909 24466 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 510086348 27969658880 32105 33554432000 4194304 4196468 140721843409456 139768369243680 139770447390421 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12914688 140721843417834 140721843418262 140721843418262 140721843421135 0
[pid=24912/tid=24924] ppid=24909 vsize=27314120 memory=279392991520400 CPUtime=0 cores=0-7
/proc/24912/task/24924/stat : 24924 (java) S 24909 24909 24466 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510086348 27969658880 32105 33554432000 4194304 4196468 140721843409456 139768100808048 139770447390421 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12914688 140721843417834 140721843418262 140721843418262 140721843421135 0
[pid=24912/tid=24925] ppid=24909 vsize=27314120 memory=279392991527312 CPUtime=0 cores=0-7
/proc/24912/task/24925/stat : 24925 (java) S 24909 24909 24466 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510086351 27969658880 32105 33554432000 4194304 4196468 140721843409456 139767726299472 139770447398811 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12914688 140721843417834 140721843418262 140721843418262 140721843421135 0
[pid=24912/tid=24926] ppid=24909 vsize=27314120 memory=279392991468592 CPUtime=0.01 cores=0-7
/proc/24912/task/24926/stat : 24926 (java) S 24909 24909 24466 0 -1 1077944384 532 0 0 0 1 0 0 0 20 0 20 0 510086351 27969658880 32105 33554432000 4194304 4196468 140721843409456 139768497146224 139770447391362 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12914688 140721843417834 140721843418262 140721843418262 140721843421135 0
[pid=24912/tid=24927] ppid=24909 vsize=27314120 memory=279392991541136 CPUtime=0 cores=0-7
/proc/24912/task/24927/stat : 24927 (java) S 24909 24909 24466 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 20 0 510086351 27969658880 32105 33554432000 4194304 4196468 140721843409456 139768496093424 139770447391362 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12914688 140721843417834 140721843418262 140721843418262 140721843421135 0
[pid=24912/tid=24928] ppid=24909 vsize=27314120 memory=279392991548048 CPUtime=0.01 cores=0-7
/proc/24912/task/24928/stat : 24928 (java) S 24909 24909 24466 0 -1 1077944384 68 0 0 0 1 0 0 0 20 0 20 0 510086351 27969658880 32105 33554432000 4194304 4196468 140721843409456 139768495040624 139770447391362 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12914688 140721843417834 140721843418262 140721843418262 140721843421135 0
[pid=24912/tid=24929] ppid=24909 vsize=27314120 memory=279392991545744 CPUtime=0.07 cores=0-7
/proc/24912/task/24929/stat : 24929 (java) S 24909 24909 24466 0 -1 1077944384 494 0 0 0 7 0 0 0 20 0 20 0 510086351 27969658880 32105 33554432000 4194304 4196468 140721843409456 139768493987824 139770447391362 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12914688 140721843417834 140721843418262 140721843418262 140721843421135 0
[pid=24912/tid=24930] ppid=24909 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24912/task/24930/stat : 24930 (java) S 24909 24909 24466 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510086351 27969658880 32105 33554432000 4194304 4196468 140721843409456 139767228394592 139770447390421 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12914688 140721843417834 140721843418262 140721843418262 140721843421135 0
[pid=24912/tid=24931] ppid=24909 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/24912/task/24931/stat : 24931 (java) S 24909 24909 24466 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510086351 27969658880 32105 33554432000 4194304 4196468 140721843409456 139768492936240 139770447391362 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12914688 140721843417834 140721843418262 140721843418262 140721843421135 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 129816 KiB

[startup+0.701061 s]
/proc/loadavg: 7.28 7.43 5.39 3/212 24931
/proc/meminfo: memFree=25339112/32770624 swapFree=66975632/67108860
[pid=24909] ppid=24906 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/24909/stat : 24909 (scop.sh) S 24906 24909 24466 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 510086343 115843072 349 33554432000 4194304 5098028 140731891591808 140731891589064 140398274290300 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 24064000 140731891598116 140731891598444 140731891598444 140731891601357 0
/proc/24909/statm: 28282 349 296 221 0 87 0
[pid=24912] ppid=24909 vsize=27322516 memory=166216 CPUtime=1.01 cores=0-7
/proc/24912/stat : 24912 (java) S 24909 24909 24466 0 -1 1077944320 20139 0 0 0 94 7 0 0 20 0 20 0 510086343 27978256384 41554 33554432000 4194304 4196468 140721843409456 140721843392000 139770447380215 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 12914688 140721843417834 140721843418262 140721843418262 140721843421135 0
/proc/24912/statm: 6830629 41554 3200 1 0 6791959 0
[pid=24912/tid=24913] ppid=24909 vsize=27322516 memory=0 CPUtime=0.68 cores=0-7
/proc/24912/task/24913/stat : 24913 (java) R 24909 24909 24466 0 -1 4202560 17101 0 0 0 62 6 0 0 20 0 20 0 510086344 27978256384 41554 33554432000 4194304 4196468 140721843409456 139770419197600 139770440059437 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12914688 140721843417834 140721843418262 140721843418262 140721843421135 0
[pid=24912/tid=24914] ppid=24909 vsize=27323540 memory=139696495960944 CPUtime=0 cores=0-7
/proc/24912/task/24914/stat : 24914 (java) S 24909 24909 24466 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510086346 27979304960 41554 33554432000 4194304 4196468 140721843409456 139770451623056 139770447390421 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12914688 140721843417834 140721843418262 140721843418262 140721843421135 0
[pid=24912/tid=24915] ppid=24909 vsize=27323540 memory=0 CPUtime=0 cores=0-7
/proc/24912/task/24915/stat : 24915 (java) S 24909 24909 24466 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510086346 27979304960 41554 33554432000 4194304 4196468 140721843409456 139770265779216 139770447390421 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12914688 140721843417834 140721843418262 140721843418262 140721843421135 0
[pid=24912/tid=24916] ppid=24909 vsize=27323540 memory=1192 CPUtime=0 cores=0-7
/proc/24912/task/24916/stat : 24916 (java) S 24909 24909 24466 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510086346 27979304960 41554 33554432000 4194304 4196468 140721843409456 139770264726416 139770447390421 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12914688 140721843417834 140721843418262 140721843418262 140721843421135 0

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

/proc/24932/task/24937/stat : 24937 (java) S 24909 24909 24466 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510086570 8616062976 29379 33554432000 4194304 4196468 140723311008944 140191245564176 140191443269333 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10018816 140723311014903 140723311015062 140723311015062 140723311017935 0
[pid=24932/tid=24938] ppid=24909 vsize=8414124 memory=12040 CPUtime=0 cores=0-7
/proc/24932/task/24938/stat : 24938 (java) S 24909 24909 24466 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510086570 8616062976 29379 33554432000 4194304 4196468 140723311008944 140191244512400 140191443269333 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10018816 140723311014903 140723311015062 140723311015062 140723311017935 0
[pid=24932/tid=24939] ppid=24909 vsize=8414124 memory=7686721470267235991 CPUtime=0 cores=0-7
/proc/24932/task/24939/stat : 24939 (java) S 24909 24909 24466 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510086570 8616062976 29379 33554432000 4194304 4196468 140723311008944 140191243459600 140191443269333 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10018816 140723311014903 140723311015062 140723311015062 140723311017935 0
[pid=24932/tid=24940] ppid=24909 vsize=8414124 memory=2120 CPUtime=0 cores=0-7
/proc/24932/task/24940/stat : 24940 (java) S 24909 24909 24466 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510086570 8616062976 29379 33554432000 4194304 4196468 140723311008944 140191242406800 140191443269333 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10018816 140723311014903 140723311015062 140723311015062 140723311017935 0
[pid=24932/tid=24941] ppid=24909 vsize=8414124 memory=500 CPUtime=0 cores=0-7
/proc/24932/task/24941/stat : 24941 (java) S 24909 24909 24466 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510086570 8616062976 29379 33554432000 4194304 4196468 140723311008944 140191241354000 140191443269333 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10018816 140723311014903 140723311015062 140723311015062 140723311017935 0
[pid=24932/tid=24942] ppid=24909 vsize=8414124 memory=1556 CPUtime=0 cores=0-7
/proc/24932/task/24942/stat : 24942 (java) S 24909 24909 24466 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 510086572 8616062976 29379 33554432000 4194304 4196468 140723311008944 140190536370544 140191443270274 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10018816 140723311014903 140723311015062 140723311015062 140723311017935 0
[pid=24932/tid=24943] ppid=24909 vsize=8414124 memory=928 CPUtime=0 cores=0-7
/proc/24932/task/24943/stat : 24943 (java) S 24909 24909 24466 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 510086572 8616062976 29379 33554432000 4194304 4196468 140723311008944 140190014235680 140191443269333 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10018816 140723311014903 140723311015062 140723311015062 140723311017935 0
[pid=24932/tid=24944] ppid=24909 vsize=8414124 memory=1640 CPUtime=0 cores=0-7
/proc/24932/task/24944/stat : 24944 (java) S 24909 24909 24466 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 510086572 8616062976 29379 33554432000 4194304 4196468 140723311008944 140189880013680 140191443269333 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10018816 140723311014903 140723311015062 140723311015062 140723311017935 0
[pid=24932/tid=24945] ppid=24909 vsize=8414124 memory=1980 CPUtime=0 cores=0-7
/proc/24932/task/24945/stat : 24945 (java) S 24909 24909 24466 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510086575 8616062976 29379 33554432000 4194304 4196468 140723311008944 140189505509200 140191443277723 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10018816 140723311014903 140723311015062 140723311015062 140723311017935 0
[pid=24932/tid=24946] ppid=24909 vsize=8414124 memory=2572 CPUtime=0.03 cores=0-7
/proc/24932/task/24946/stat : 24946 (java) S 24909 24909 24466 0 -1 1077944384 463 0 0 0 3 0 0 0 20 0 24 0 510086575 8616062976 29379 33554432000 4194304 4196468 140723311008944 140190535318384 140191443270274 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10018816 140723311014903 140723311015062 140723311015062 140723311017935 0
[pid=24932/tid=24947] ppid=24909 vsize=8414124 memory=1476 CPUtime=0.06 cores=0-7
/proc/24932/task/24947/stat : 24947 (java) S 24909 24909 24466 0 -1 1077944384 292 0 0 0 6 0 0 0 20 0 24 0 510086575 8616062976 29379 33554432000 4194304 4196468 140723311008944 140190534265584 140191443270274 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10018816 140723311014903 140723311015062 140723311015062 140723311017935 0
[pid=24932/tid=24948] ppid=24909 vsize=8414124 memory=117516 CPUtime=0.07 cores=0-7
/proc/24932/task/24948/stat : 24948 (java) S 24909 24909 24466 0 -1 1077944384 314 0 0 0 7 0 0 0 20 0 24 0 510086575 8616062976 29379 33554432000 4194304 4196468 140723311008944 140190533212784 140191443270274 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10018816 140723311014903 140723311015062 140723311015062 140723311017935 0
[pid=24932/tid=24949] ppid=24909 vsize=8414124 memory=271552 CPUtime=0.18 cores=0-7
/proc/24932/task/24949/stat : 24949 (java) S 24909 24909 24466 0 -1 1077944384 545 0 0 0 18 0 0 0 20 0 24 0 510086575 8616062976 29379 33554432000 4194304 4196468 140723311008944 140190532159984 140191443270274 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10018816 140723311014903 140723311015062 140723311015062 140723311017935 0
[pid=24932/tid=24950] ppid=24909 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/24932/task/24950/stat : 24950 (java) S 24909 24909 24466 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510086575 8616062976 29379 33554432000 4194304 4196468 140723311008944 140189007604320 140191443269333 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10018816 140723311014903 140723311015062 140723311015062 140723311017935 0
[pid=24932/tid=24951] ppid=24909 vsize=8414124 memory=0 CPUtime=0.01 cores=0-7
/proc/24932/task/24951/stat : 24951 (java) S 24909 24909 24466 0 -1 1077944384 3 0 0 0 0 1 0 0 20 0 24 0 510086575 8616062976 29379 33554432000 4194304 4196468 140723311008944 140190531107376 140191443270274 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10018816 140723311014903 140723311015062 140723311015062 140723311017935 0
[pid=24932/tid=24953] ppid=24909 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/24932/task/24953/stat : 24953 (java) S 24909 24909 24466 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 510086640 8616062976 29379 33554432000 4194304 4196468 140723311008944 140190886995008 140191443283737 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 10018816 140723311014903 140723311015062 140723311015062 140723311017935 0
[pid=24932/tid=24955] ppid=24909 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/24932/task/24955/stat : 24955 (java) S 24909 24909 24466 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 510086641 8616062976 29379 33554432000 4194304 4196468 140723311008944 140188336504976 140191443281053 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 10018816 140723311014903 140723311015062 140723311015062 140723311017935 0
[pid=24932/tid=24956] ppid=24909 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/24932/task/24956/stat : 24956 (java) S 24909 24909 24466 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 510086641 8616062976 29379 33554432000 4194304 4196468 140723311008944 140188604940304 140191443281053 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 10018816 140723311014903 140723311015062 140723311015062 140723311017935 0
[pid=24932/tid=24957] ppid=24909 vsize=8414124 memory=884 CPUtime=0 cores=0-7
/proc/24932/task/24957/stat : 24957 (java) S 24909 24909 24466 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 24 0 510086643 8616062976 29379 33554432000 4194304 4196468 140723311008944 140188068077104 140191443269333 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10018816 140723311014903 140723311015062 140723311015062 140723311017935 0
Current children cumulated CPU time: 183.51 s
Current children cumulated vsize: 9204868 KiB
Current children cumulated memory: 390596 KiB

[startup+26.0011 s]*
/proc/loadavg: 7.30 7.42 5.44 2/217 24966
/proc/meminfo: memFree=25104592/32770624 swapFree=66975632/67108860
[pid=24909] ppid=24906 vsize=113128 memory=1476 CPUtime=5.13 cores=0-7
/proc/24909/stat : 24909 (scop.sh) S 24906 24909 24466 0 -1 4202496 583 26426 0 0 0 0 496 17 20 0 1 0 510086343 115843072 369 33554432000 4194304 5098028 140731891591808 140731891588552 140398274290300 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 24064000 140731891598116 140731891598444 140731891598444 140731891601357 0
/proc/24909/statm: 28282 369 311 221 0 87 0
[pid=24932] ppid=24909 vsize=8414124 memory=117516 CPUtime=1.14 cores=0-7
/proc/24932/stat : 24932 (java) S 24909 24909 24466 0 -1 1077944320 20410 0 0 0 107 7 0 0 20 0 24 0 510086569 8616062976 29379 33554432000 4194304 4196468 140723311008944 140723310991488 140191443259127 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10018816 140723311014903 140723311015062 140723311015062 140723311017935 0
/proc/24932/statm: 2103531 29379 3201 1 0 2064875 0
[pid=24952] ppid=24932 vsize=677616 memory=271604 CPUtime=177.83 cores=0-7
/proc/24952/stat : 24952 (manyglucose-4.1) S 24932 24909 24466 0 -1 1077944320 138496 0 0 0 17746 37 0 0 20 0 2 0 510086640 693878784 67901 33554432000 4194304 4454172 140726830134880 140726830133264 139928680206071 0 4 0 8388610 18446744073709551615 0 0 17 5 0 0 0 0 0 6552832 6554400 11841536 140726830138217 140726830138416 140726830138416 140726830141370 0
/proc/24952/statm: 169404 67901 415 64 0 165072 0
[pid=24952/tid=24962] ppid=24932 vsize=677616 memory=2004 CPUtime=22.86 cores=0-7
/proc/24952/task/24962/stat : 24962 (manyglucose-4.1) R 24932 24909 24466 0 -1 4202560 15841 0 0 0 2282 4 0 0 20 0 2 0 510086655 693878784 67901 33554432000 4194304 4454172 140726830134880 139928622496872 4351209 0 4 0 8388610 0 0 0 -1 6 0 0 0 0 0 6552832 6554400 11841536 140726830138217 140726830138416 140726830138416 140726830141370 0
[pid=24932/tid=24933] ppid=24909 vsize=8414124 memory=1398722017469774279 CPUtime=0.74 cores=0-7
/proc/24932/task/24933/stat : 24933 (java) S 24909 24909 24466 0 -1 1077944384 17369 0 0 0 68 6 0 0 20 0 24 0 510086569 8616062976 29379 33554432000 4194304 4196468 140723311008944 140191415099296 140191443269333 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10018816 140723311014903 140723311015062 140723311015062 140723311017935 0
[pid=24932/tid=24934] ppid=24909 vsize=8414124 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/24932/task/24934/stat : 24934 (java) S 24909 24909 24466 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510086570 8616062976 29379 33554432000 4194304 4196468 140723311008944 140191447501456 140191443269333 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10018816 140723311014903 140723311015062 140723311015062 140723311017935 0
[pid=24932/tid=24935] ppid=24909 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/24932/task/24935/stat : 24935 (java) S 24909 24909 24466 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510086570 8616062976 29379 33554432000 4194304 4196468 140723311008944 140191247669776 140191443269333 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10018816 140723311014903 140723311015062 140723311015062 140723311017935 0
[pid=24932/tid=24936] ppid=24909 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/24932/task/24936/stat : 24936 (java) S 24909 24909 24466 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510086570 8616062976 29379 33554432000 4194304 4196468 140723311008944 140191246616976 140191443269333 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10018816 140723311014903 140723311015062 140723311015062 140723311017935 0
[pid=24932/tid=24937] ppid=24909 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/24932/task/24937/stat : 24937 (java) S 24909 24909 24466 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510086570 8616062976 29379 33554432000 4194304 4196468 140723311008944 140191245564176 140191443269333 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10018816 140723311014903 140723311015062 140723311015062 140723311017935 0
[pid=24932/tid=24938] ppid=24909 vsize=8414124 memory=2120 CPUtime=0 cores=0-7
/proc/24932/task/24938/stat : 24938 (java) S 24909 24909 24466 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510086570 8616062976 29379 33554432000 4194304 4196468 140723311008944 140191244512400 140191443269333 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10018816 140723311014903 140723311015062 140723311015062 140723311017935 0
[pid=24932/tid=24939] ppid=24909 vsize=8414124 memory=500 CPUtime=0 cores=0-7
/proc/24932/task/24939/stat : 24939 (java) S 24909 24909 24466 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510086570 8616062976 29379 33554432000 4194304 4196468 140723311008944 140191243459600 140191443269333 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10018816 140723311014903 140723311015062 140723311015062 140723311017935 0
[pid=24932/tid=24940] ppid=24909 vsize=8414124 memory=1556 CPUtime=0 cores=0-7
/proc/24932/task/24940/stat : 24940 (java) S 24909 24909 24466 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510086570 8616062976 29379 33554432000 4194304 4196468 140723311008944 140191242406800 140191443269333 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10018816 140723311014903 140723311015062 140723311015062 140723311017935 0
[pid=24932/tid=24941] ppid=24909 vsize=8414124 memory=928 CPUtime=0 cores=0-7
/proc/24932/task/24941/stat : 24941 (java) S 24909 24909 24466 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510086570 8616062976 29379 33554432000 4194304 4196468 140723311008944 140191241354000 140191443269333 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10018816 140723311014903 140723311015062 140723311015062 140723311017935 0
[pid=24932/tid=24942] ppid=24909 vsize=8414124 memory=1640 CPUtime=0 cores=0-7
/proc/24932/task/24942/stat : 24942 (java) S 24909 24909 24466 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 510086572 8616062976 29379 33554432000 4194304 4196468 140723311008944 140190536370544 140191443270274 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10018816 140723311014903 140723311015062 140723311015062 140723311017935 0
[pid=24932/tid=24943] ppid=24909 vsize=8414124 memory=1980 CPUtime=0 cores=0-7
/proc/24932/task/24943/stat : 24943 (java) S 24909 24909 24466 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 510086572 8616062976 29379 33554432000 4194304 4196468 140723311008944 140190014235680 140191443269333 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10018816 140723311014903 140723311015062 140723311015062 140723311017935 0
[pid=24932/tid=24944] ppid=24909 vsize=8414124 memory=2572 CPUtime=0 cores=0-7
/proc/24932/task/24944/stat : 24944 (java) S 24909 24909 24466 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 510086572 8616062976 29379 33554432000 4194304 4196468 140723311008944 140189880013680 140191443269333 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10018816 140723311014903 140723311015062 140723311015062 140723311017935 0
[pid=24932/tid=24945] ppid=24909 vsize=8414124 memory=884 CPUtime=0 cores=0-7
/proc/24932/task/24945/stat : 24945 (java) S 24909 24909 24466 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510086575 8616062976 29379 33554432000 4194304 4196468 140723311008944 140189505509200 140191443277723 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10018816 140723311014903 140723311015062 140723311015062 140723311017935 0
[pid=24932/tid=24946] ppid=24909 vsize=8414124 memory=1432 CPUtime=0.03 cores=0-7
/proc/24932/task/24946/stat : 24946 (java) S 24909 24909 24466 0 -1 1077944384 463 0 0 0 3 0 0 0 20 0 24 0 510086575 8616062976 29379 33554432000 4194304 4196468 140723311008944 140190535318384 140191443270274 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10018816 140723311014903 140723311015062 140723311015062 140723311017935 0
[pid=24932/tid=24947] ppid=24909 vsize=8414124 memory=1764 CPUtime=0.06 cores=0-7
/proc/24932/task/24947/stat : 24947 (java) S 24909 24909 24466 0 -1 1077944384 292 0 0 0 6 0 0 0 20 0 24 0 510086575 8616062976 29379 33554432000 4194304 4196468 140723311008944 140190534265584 140191443270274 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10018816 140723311014903 140723311015062 140723311015062 140723311017935 0
[pid=24932/tid=24948] ppid=24909 vsize=8414124 memory=111632 CPUtime=0.07 cores=0-7
/proc/24932/task/24948/stat : 24948 (java) S 24909 24909 24466 0 -1 1077944384 314 0 0 0 7 0 0 0 20 0 24 0 510086575 8616062976 29379 33554432000 4194304 4196468 140723311008944 140190533212784 140191443270274 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10018816 140723311014903 140723311015062 140723311015062 140723311017935 0
[pid=24932/tid=24949] ppid=24909 vsize=8414124 memory=804 CPUtime=0.18 cores=0-7
/proc/24932/task/24949/stat : 24949 (java) S 24909 24909 24466 0 -1 1077944384 545 0 0 0 18 0 0 0 20 0 24 0 510086575 8616062976 29379 33554432000 4194304 4196468 140723311008944 140190532159984 140191443270274 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10018816 140723311014903 140723311015062 140723311015062 140723311017935 0
[pid=24932/tid=24950] ppid=24909 vsize=8414124 memory=4100 CPUtime=0 cores=0-7
/proc/24932/task/24950/stat : 24950 (java) S 24909 24909 24466 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510086575 8616062976 29379 33554432000 4194304 4196468 140723311008944 140189007604320 140191443269333 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10018816 140723311014903 140723311015062 140723311015062 140723311017935 0
[pid=24932/tid=24951] ppid=24909 vsize=8414124 memory=1804 CPUtime=0.01 cores=0-7
/proc/24932/task/24951/stat : 24951 (java) S 24909 24909 24466 0 -1 1077944384 3 0 0 0 0 1 0 0 20 0 24 0 510086575 8616062976 29379 33554432000 4194304 4196468 140723311008944 140190531107376 140191443270274 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10018816 140723311014903 140723311015062 140723311015062 140723311017935 0
[pid=24932/tid=24953] ppid=24909 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/24932/task/24953/stat : 24953 (java) S 24909 24909 24466 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 510086640 8616062976 29379 33554432000 4194304 4196468 140723311008944 140190886995008 140191443283737 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 10018816 140723311014903 140723311015062 140723311015062 140723311017935 0
[pid=24932/tid=24955] ppid=24909 vsize=8414124 memory=3620 CPUtime=0 cores=0-7
/proc/24932/task/24955/stat : 24955 (java) S 24909 24909 24466 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 510086641 8616062976 29379 33554432000 4194304 4196468 140723311008944 140188336504976 140191443281053 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 10018816 140723311014903 140723311015062 140723311015062 140723311017935 0
[pid=24932/tid=24956] ppid=24909 vsize=8414124 memory=63576 CPUtime=0 cores=0-7
/proc/24932/task/24956/stat : 24956 (java) S 24909 24909 24466 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 510086641 8616062976 29379 33554432000 4194304 4196468 140723311008944 140188604940304 140191443281053 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 10018816 140723311014903 140723311015062 140723311015062 140723311017935 0
[pid=24932/tid=24957] ppid=24909 vsize=8414124 memory=984 CPUtime=0 cores=0-7
/proc/24932/task/24957/stat : 24957 (java) S 24909 24909 24466 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 24 0 510086643 8616062976 29379 33554432000 4194304 4196468 140723311008944 140188068077104 140191443269333 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10018816 140723311014903 140723311015062 140723311015062 140723311017935 0
Current children cumulated CPU time: 184.1 s
Current children cumulated vsize: 9204868 KiB
Current children cumulated memory: 390596 KiB

[startup+26.201 s]
/proc/loadavg: 7.30 7.42 5.44 2/217 24966
/proc/meminfo: memFree=25104592/32770624 swapFree=66975632/67108860
[pid=24909] ppid=24906 vsize=113128 memory=1476 CPUtime=5.13 cores=0-7
/proc/24909/stat : 24909 (scop.sh) S 24906 24909 24466 0 -1 4202496 583 26426 0 0 0 0 496 17 20 0 1 0 510086343 115843072 369 33554432000 4194304 5098028 140731891591808 140731891588552 140398274290300 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 24064000 140731891598116 140731891598444 140731891598444 140731891601357 0
/proc/24909/statm: 28282 369 311 221 0 87 0
[pid=24932] ppid=24909 vsize=8283048 memory=120580 CPUtime=179.31 cores=0-7
/proc/24932/stat : 24932 (java) S 24909 24909 24466 0 -1 1077944320 21711 138537 0 0 125 8 17760 38 20 0 22 0 510086569 8481841152 30145 33554432000 4194304 4196468 140723311008944 140723310991488 140191443259127 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10018816 140723311014903 140723311015062 140723311015062 140723311017935 0
/proc/24932/statm: 2070762 30145 3213 1 0 2032106 0
[pid=24932/tid=24933] ppid=24909 vsize=8283048 memory=7230638415855315543 CPUtime=178.74 cores=0-7
/proc/24932/task/24933/stat : 24933 (java) R 24909 24909 24466 0 -1 4202560 17441 138537 0 0 70 6 17760 38 20 0 22 0 510086569 8481841152 30145 33554432000 4194304 4196468 140723311008944 140191415033664 140191427339614 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10018816 140723311014903 140723311015062 140723311015062 140723311017935 0
[pid=24932/tid=24934] ppid=24909 vsize=8283048 memory=0 CPUtime=177.98 cores=0-7
/proc/24932/task/24934/stat : 24934 (java) S 24909 24909 24466 0 -1 1077944384 1 138537 0 0 0 0 17760 38 20 0 22 0 510086570 8481841152 30145 33554432000 4194304 4196468 140723311008944 140191447501456 140191443269333 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10018816 140723311014903 140723311015062 140723311015062 140723311017935 0
[pid=24932/tid=24935] ppid=24909 vsize=8283048 memory=279392992252272 CPUtime=177.98 cores=0-7
/proc/24932/task/24935/stat : 24935 (java) S 24909 24909 24466 0 -1 1077944384 2 138537 0 0 0 0 17760 38 20 0 22 0 510086570 8481841152 30145 33554432000 4194304 4196468 140723311008944 140191247669776 140191443269333 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10018816 140723311014903 140723311015062 140723311015062 140723311017935 0
[pid=24932/tid=24936] ppid=24909 vsize=8283048 memory=2110047103606468 CPUtime=177.98 cores=0-7
/proc/24932/task/24936/stat : 24936 (java) S 24909 24909 24466 0 -1 1077944384 1 138537 0 0 0 0 17760 38 20 0 22 0 510086570 8481841152 30145 33554432000 4194304 4196468 140723311008944 140191246616976 140191443269333 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10018816 140723311014903 140723311015062 140723311015062 140723311017935 0
[pid=24932/tid=24937] ppid=24909 vsize=8283048 memory=0 CPUtime=177.98 cores=0-7
/proc/24932/task/24937/stat : 24937 (java) S 24909 24909 24466 0 -1 1077944384 2 138537 0 0 0 0 17760 38 20 0 22 0 510086570 8481841152 30145 33554432000 4194304 4196468 140723311008944 140191245564176 140191443269333 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10018816 140723311014903 140723311015062 140723311015062 140723311017935 0
[pid=24932/tid=24938] ppid=24909 vsize=8283048 memory=6655300316396806240 CPUtime=177.98 cores=0-7
/proc/24932/task/24938/stat : 24938 (java) S 24909 24909 24466 0 -1 1077944384 1 138537 0 0 0 0 17760 38 20 0 22 0 510086570 8481841152 30145 33554432000 4194304 4196468 140723311008944 140191244512400 140191443269333 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10018816 140723311014903 140723311015062 140723311015062 140723311017935 0
[pid=24932/tid=24939] ppid=24909 vsize=8283048 memory=6944656592455360604 CPUtime=177.98 cores=0-7
/proc/24932/task/24939/stat : 24939 (java) S 24909 24909 24466 0 -1 1077944384 1 138537 0 0 0 0 17760 38 20 0 22 0 510086570 8481841152 30145 33554432000 4194304 4196468 140723311008944 140191243459600 140191443269333 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10018816 140723311014903 140723311015062 140723311015062 140723311017935 0
[pid=24932/tid=24940] ppid=24909 vsize=8283048 memory=6944656575208382560 CPUtime=177.98 cores=0-7
/proc/24932/task/24940/stat : 24940 (java) S 24909 24909 24466 0 -1 1077944384 2 138537 0 0 0 0 17760 38 20 0 22 0 510086570 8481841152 30145 33554432000 4194304 4196468 140723311008944 140191242406800 140191443269333 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10018816 140723311014903 140723311015062 140723311015062 140723311017935 0
[pid=24932/tid=24941] ppid=24909 vsize=8283048 memory=5865209961165972578 CPUtime=177.98 cores=0-7
/proc/24932/task/24941/stat : 24941 (java) S 24909 24909 24466 0 -1 1077944384 3 138537 0 0 0 0 17760 38 20 0 22 0 510086570 8481841152 30145 33554432000 4194304 4196468 140723311008944 140191241354000 140191443269333 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10018816 140723311014903 140723311015062 140723311015062 140723311017935 0
[pid=24932/tid=24942] ppid=24909 vsize=8283048 memory=288230574492221466 CPUtime=177.98 cores=0-7
/proc/24932/task/24942/stat : 24942 (java) S 24909 24909 24466 0 -1 1077944384 7 138537 0 0 0 0 17760 38 20 0 22 0 510086572 8481841152 30145 33554432000 4194304 4196468 140723311008944 140190536370544 140191443270274 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10018816 140723311014903 140723311015062 140723311015062 140723311017935 0
[pid=24932/tid=24943] ppid=24909 vsize=8283048 memory=288230583166042426 CPUtime=177.98 cores=0-7
/proc/24932/task/24943/stat : 24943 (java) S 24909 24909 24466 0 -1 1077944384 13 138537 0 0 0 0 17760 38 20 0 22 0 510086572 8481841152 30145 33554432000 4194304 4196468 140723311008944 140190014235680 140191443269333 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10018816 140723311014903 140723311015062 140723311015062 140723311017935 0
[pid=24932/tid=24944] ppid=24909 vsize=8283048 memory=15816690369826919 CPUtime=177.98 cores=0-7
/proc/24932/task/24944/stat : 24944 (java) S 24909 24909 24466 0 -1 1077944384 21 138537 0 0 0 0 17760 38 20 0 22 0 510086572 8481841152 30145 33554432000 4194304 4196468 140723311008944 140189880013680 140191443269333 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10018816 140723311014903 140723311015062 140723311015062 140723311017935 0
[pid=24932/tid=24945] ppid=24909 vsize=8283048 memory=1724 CPUtime=177.98 cores=0-7
/proc/24932/task/24945/stat : 24945 (java) S 24909 24909 24466 0 -1 1077944384 1 138537 0 0 0 0 17760 38 20 0 22 0 510086575 8481841152 30145 33554432000 4194304 4196468 140723311008944 140189505509200 140191443277723 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10018816 140723311014903 140723311015062 140723311015062 140723311017935 0
[pid=24932/tid=24946] ppid=24909 vsize=8283048 memory=6140 CPUtime=178.03 cores=0-7
/proc/24932/task/24946/stat : 24946 (java) S 24909 24909 24466 0 -1 1077944384 621 138537 0 0 5 0 17760 38 20 0 22 0 510086575 8481841152 30145 33554432000 4194304 4196468 140723311008944 140190535318384 140191443270274 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10018816 140723311014903 140723311015062 140723311015062 140723311017935 0
[pid=24932/tid=24947] ppid=24909 vsize=8283048 memory=10604 CPUtime=178.07 cores=0-7
/proc/24932/task/24947/stat : 24947 (java) S 24909 24909 24466 0 -1 1077944384 322 138537 0 0 9 0 17760 38 20 0 22 0 510086575 8481841152 30145 33554432000 4194304 4196468 140723311008944 140190534265584 140191443270274 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10018816 140723311014903 140723311015062 140723311015062 140723311017935 0
[pid=24932/tid=24948] ppid=24909 vsize=8283048 memory=716 CPUtime=178.08 cores=0-7
/proc/24932/task/24948/stat : 24948 (java) S 24909 24909 24466 0 -1 1077944384 480 138537 0 0 10 0 17760 38 20 0 22 0 510086575 8481841152 30145 33554432000 4194304 4196468 140723311008944 140190533212784 140191443270274 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10018816 140723311014903 140723311015062 140723311015062 140723311017935 0
[pid=24932/tid=24949] ppid=24909 vsize=8283048 memory=780 CPUtime=178.2 cores=0-7
/proc/24932/task/24949/stat : 24949 (java) S 24909 24909 24466 0 -1 1077944384 858 138537 0 0 22 0 17760 38 20 0 22 0 510086575 8481841152 30145 33554432000 4194304 4196468 140723311008944 140190532159984 140191443270274 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10018816 140723311014903 140723311015062 140723311015062 140723311017935 0
[pid=24932/tid=24950] ppid=24909 vsize=8283048 memory=1552 CPUtime=177.98 cores=0-7
/proc/24932/task/24950/stat : 24950 (java) S 24909 24909 24466 0 -1 1077944384 3 138537 0 0 0 0 17760 38 20 0 22 0 510086575 8481841152 30145 33554432000 4194304 4196468 140723311008944 140189007604320 140191443269333 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10018816 140723311014903 140723311015062 140723311015062 140723311017935 0
[pid=24932/tid=24951] ppid=24909 vsize=8283048 memory=2832 CPUtime=178 cores=0-7
/proc/24932/task/24951/stat : 24951 (java) S 24909 24909 24466 0 -1 1077944384 3 138537 0 0 1 1 17760 38 20 0 22 0 510086575 8481841152 30145 33554432000 4194304 4196468 140723311008944 140190531107376 140191443270274 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10018816 140723311014903 140723311015062 140723311015062 140723311017935 0
[pid=24932/tid=24953] ppid=24909 vsize=8283048 memory=1192 CPUtime=177.98 cores=0-7
/proc/24932/task/24953/stat : 24953 (java) S 24909 24909 24466 0 -1 1077944384 34 138537 0 0 0 0 17760 38 20 0 22 0 510086640 8481841152 30145 33554432000 4194304 4196468 140723311008944 140190886994192 140191443270274 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10018816 140723311014903 140723311015062 140723311015062 140723311017935 0
[pid=24932/tid=24957] ppid=24909 vsize=8283048 memory=12040 CPUtime=177.98 cores=0-7
/proc/24932/task/24957/stat : 24957 (java) S 24909 24909 24466 0 -1 1077944384 17 138537 0 0 0 0 17760 38 20 0 22 0 510086643 8481841152 30145 33554432000 4194304 4196468 140723311008944 140188068078896 140191443270274 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10018816 140723311014903 140723311015062 140723311015062 140723311017935 0
Current children cumulated CPU time: 184.44 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 122056 KiB

Child status: 0
Real time (s): 26.3009
CPU time (s): 184.631
CPU user time (s): 183.974
CPU system time (s): 0.657193
CPU usage (%): 701.995
Max. virtual memory (cumulated for all children) (KiB): 27441876
Max. memory (cumulated for all children) (KiB): 572552

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 183.974
system time used= 0.657193
maximum resident set size= 574272
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 187610
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3752
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 12313
involuntary context switches= 1993


# summary of solver processes directly reported to runsolver:
#   pid: 24909
#   total CPU time (s): 184.631
#   total CPU user time (s): 183.974
#   total CPU system time (s): 0.657193

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.248293 second user time and 0.39704 second system time

The end

Launcher Data 

Begin job on node125 at 2019-09-24 17:15:53
IDJOB=4405493
IDBENCH=127909
IDSOLVER=2868
FILE ID=node125/4405493-1569338196
RUNJOBID= node125-1569335936-24493
PBS_JOBID= 21705060
Free space on /tmp= 4228 MiB

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

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

MD5SUM BENCH= 2f6e926eec9d3271c32e6368d6cce3f2
RANDOM SEED=1849938884

node125.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.29
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.29
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.29
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.29
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:        25481516 kB
MemAvailable:   31815816 kB
Buffers:          114100 kB
Cached:          6281780 kB
SwapCached:        29860 kB
Active:          3171280 kB
Inactive:        3257768 kB
Active(anon):       4340 kB
Inactive(anon):    84328 kB
Active(file):    3166940 kB
Inactive(file):  3173440 kB
Unevictable:      109444 kB
Mlocked:          109444 kB
SwapTotal:      67108860 kB
SwapFree:       66975632 kB
Dirty:             20352 kB
Writeback:             4 kB
AnonPages:        113808 kB
Mapped:            56848 kB
Shmem:             47468 kB
Slab:             451224 kB
SReclaimable:     422380 kB
SUnreclaim:        28844 kB
KernelStack:        3424 kB
PageTables:         6004 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     514464 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:      114048 kB
DirectMap2M:    33431552 kB

Free space on /tmp at the end= 4208 MiB
End job on node125 at 2019-09-24 17:16:19