Trace number 4392283

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

NameXCSP19/ConsecutiveSquarePacking/
ConsecutiveSquarePacking-sp-20-054.xml
MD5SUM3ff211d871d85a956d1d429dedc73eaa
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 benchmark6.5032
Satisfiable
(Un)Satisfiability was proved
Number of variables40
Number of constraints190
Number of domains20
Minimum domain size35
Maximum domain size54
Distribution of domain sizes[{"size":35,"count":2},{"size":36,"count":2},{"size":37,"count":2},{"size":38,"count":2},{"size":39,"count":2},{"size":40,"count":2},{"size":41,"count":2},{"size":42,"count":2},{"size":43,"count":2},{"size":44,"count":2},{"size":45,"count":2},{"size":46,"count":2},{"size":47,"count":2},{"size":48,"count":2},{"size":49,"count":2},{"size":50,"count":2},{"size":51,"count":2},{"size":52,"count":2},{"size":53,"count":2},{"size":54,"count":2}]
Minimum variable degree19
Maximum variable degree19
Distribution of variable degrees[{"degree":19,"count":40}]
Minimum constraint arity4
Maximum constraint arity4
Distribution of constraint arities[{"arity":4,"count":190}]
Number of extensional constraints0
Number of intensional constraints190
Distribution of constraint types[{"type":"intension","count":190}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c (scop.sh) java -Xms22g -Xmx22g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Encode -order -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-26546-serial-file.bin HOME/instance-4392283-1568449252.xml
0.66/0.54	
0.66/0.54	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
0.66/0.54	
0.66/0.57	c BEGIN-Prog: Sat Sep 14 10:20:12 CEST 2019
0.66/0.57	c PID: 26549
0.66/0.57	c IP: 172.20.3.135
0.66/0.57	c HOST: node135.alineos.net
0.66/0.57	c (0,0) Parsing Begin
1.76/1.09	c (0,0) Parsing End
1.76/1.10	c (0,0) CSP: 40 int (0 aux), 0 bool (0 aux), 190 ctr, max domain size 54
1.76/1.10	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB)
1.76/1.10	c (0,0) Constraint Name Generate Begin
2.13/1.11	c (0,0) Ctr:HOME/instance-4392283-1568449252.xml,Add:Le:Num:Or:Var
2.13/1.11	c (0,0) Constraint Name Generate End
2.13/1.11	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.13/1.11	c (0,0) CSP to CSPinCNF Begin
2.30/1.23	c (0,0) translated 19 (10%) constraints
2.30/1.25	c (0,0) translated 38 (20%) constraints
2.30/1.27	c (0,0) translated 57 (30%) constraints
2.30/1.28	c (0,0) translated 76 (40%) constraints
2.55/1.30	c (0,0) translated 95 (50%) constraints
2.55/1.31	c (0,0) translated 114 (60%) constraints
2.55/1.32	c (0,0) translated 133 (70%) constraints
2.55/1.32	c (0,0) translated 152 (80%) constraints
2.55/1.33	c (0,0) translated 171 (90%) constraints
2.55/1.34	c (0,0) translated 190 (100%) constraints
2.55/1.34	c (0,0) ===========================================
2.55/1.34	c (0,0) Order
2.55/1.34	c (0,0) ===========================================
2.55/1.35	c (0,0) translated 19 (10%) constraints
2.55/1.35	c (0,0) translated 38 (20%) constraints
2.55/1.36	c (0,0) translated 57 (30%) constraints
2.55/1.36	c (0,0) translated 76 (40%) constraints
2.55/1.36	c (0,0) translated 95 (50%) constraints
2.55/1.37	c (0,0) translated 114 (60%) constraints
2.55/1.37	c (0,0) translated 133 (70%) constraints
2.55/1.37	c (0,0) translated 152 (80%) constraints
2.55/1.37	c (0,0) translated 171 (90%) constraints
2.55/1.38	c (0,0) translated 190 (100%) constraints
2.55/1.38	c (0,0) CSP to CSPinCNF End
2.55/1.38	c (0,0) CSP: 40 int (0 aux), 0 bool (0 aux), 190 ctr, max domain size 54
2.55/1.38	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 23 MiB used (max 0 MiB)
2.55/1.38	c (0,0) CSPinCNF Propagation Begin
2.85/1.41	c (0,0) 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed
2.85/1.41	c (0,0) CSPinCNF Propagation End
2.85/1.41	c (0,0) CSP: 40 int (0 aux), 0 bool (0 aux), 190 ctr, max domain size 54
2.85/1.41	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 23 MiB used (max 0 MiB)
2.85/1.41	c (0,0) Simplify CSPinCNF Begin
2.85/1.49	c (0,0) Simplify CSPinCNF End
2.85/1.50	c (0,0) CSP: 40 int (0 aux), 760 bool (760 aux), 950 ctr, max domain size 54
2.85/1.50	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 24 MiB used (max 0 MiB)
2.85/1.50	c (0,0) Calculate Precise Domain Begin
3.12/1.50	c (0,0) 0 values are removed by re-calculation
3.12/1.50	c (0,0) Calculate Precise Domain End
3.12/1.50	c (0,0) CSP: 40 int (0 aux), 760 bool (760 aux), 950 ctr, max domain size 54
3.12/1.50	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 24 MiB used (max 0 MiB)
3.12/1.50	c (0,0) CSPinCNF to SatSolver Begin
3.74/1.71	c (1,1) 95 (10 %) CSP clauses are encoded (0 SAT variables, 5028 SAT clauses)
3.74/1.75	c (1,1) 190 (20 %) CSP clauses are encoded (0 SAT variables, 8289 SAT clauses)
3.74/1.79	c (1,1) 285 (30 %) CSP clauses are encoded (0 SAT variables, 11456 SAT clauses)
4.15/1.82	c (1,1) 380 (40 %) CSP clauses are encoded (0 SAT variables, 14476 SAT clauses)
4.15/1.85	c (1,1) 475 (50 %) CSP clauses are encoded (0 SAT variables, 17301 SAT clauses)
4.15/1.87	c (1,1) 570 (60 %) CSP clauses are encoded (0 SAT variables, 19948 SAT clauses)
4.15/1.89	c (1,1) 665 (70 %) CSP clauses are encoded (0 SAT variables, 22464 SAT clauses)
4.54/1.91	c (1,1) 760 (80 %) CSP clauses are encoded (0 SAT variables, 24765 SAT clauses)
4.54/1.92	c (1,1) 855 (90 %) CSP clauses are encoded (0 SAT variables, 26809 SAT clauses)
4.54/1.93	c (1,1) 950 (100 %) CSP clauses are encoded (0 SAT variables, 28473 SAT clauses)
4.54/1.93	c (1,1) CSPinCNF to SatSolver End
4.54/1.93	c (1,1) Heap : 450 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB)
4.54/1.93	c (1,1) 2500 bool, 28490 clause
4.54/1.93	c (1,1) Export Begin
4.96/2.02	c (1,1) Export to HOME/scop-26546-serial-file.bin
4.96/2.02	c (1,1) Export End
4.96/2.02	c (1,1) Export File Size: 0.01 MB
4.96/2.02	c (1,1) 0,0,0,0,0,0,1,STOP-AFTER(DIMACS)
4.96/2.02	c END-Prog: Sat Sep 14 10:20:14 CEST 2019
4.96/2.04	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-26546-serial-file.bin
5.03/2.50	c (0,0) Read Serial File Begin
5.03/2.50	c (0,0) HOME/scop-26546-serial-file.bin
5.03/2.69	c (0,0) Read Serial File End
5.03/2.71	
5.03/2.71	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
5.03/2.71	(Solving Process)
5.03/2.71	
5.03/2.73	c BEGIN-Prog: Sat Sep 14 10:20:15 CEST 2019
5.03/2.73	c PID: 26569
5.03/2.73	c IP: 172.20.3.135
5.03/2.73	c HOST: node135.alineos.net
5.03/2.73	c (0,0) SatSolver.solve Begin
5.03/2.73	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4392283-1568449252.xml-scop-26549.cnf
5.03/2.76	c (0,0) c
5.03/2.76	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.03/2.76	c (0,0) c
5.03/2.76	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
5.03/2.76	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
5.03/2.76	c (0,0) c ========================================[ Problem Statistics ]===========================================
5.03/2.76	c (0,0) c |                                                                                                       |
5.03/2.77	c (0,0) c |  Number of variables:          2500                                                                   |
5.03/2.77	c (0,0) c |  Number of clauses:           28490                                                                   |
5.03/2.77	c (0,0) c |  Parse time:                   0.01 s                                                                 |
5.03/2.77	c (0,0) c |                                                                                                       |
5.03/2.79	c (0,0) c |  Simplification time:          0.02 s                                                                 |
5.03/2.79	c (0,0) c |                                                                                                       |
5.03/2.79	c (0,0) c |  Generating clones                                                                                    |
5.03/2.80	c (0,0) c |  all clones generated. Memory =    38.93Mb.                                                           |
5.03/2.80	c (0,0) c ========================================================================================================|
5.03/2.80	c (0,0) c
5.03/2.80	c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
5.03/2.80	c (0,0) c
5.03/2.80	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
5.03/2.80	c (0,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
5.03/2.80	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
5.03/2.80	c (0,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
5.03/2.80	c (0,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
5.03/2.80	c (0,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
5.03/2.80	c (0,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
5.03/2.80	c (0,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
5.03/2.80	c (0,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
5.03/2.80	c (0,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
5.03/2.80	c (0,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
5.03/2.80	c (0,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
5.03/2.80	c (0,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
5.03/2.80	c (0,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
5.03/2.80	c (0,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
5.03/2.80	c (0,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
5.03/2.80	c (0,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
5.03/2.80	c (0,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
5.03/2.80	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
5.03/2.97	c (0,0) c
5.03/2.97	c (0,0) c real time : 0.214746 s
5.03/2.97	c (0,0) c cpu time  : 1.20144 s
5.03/2.97	c (0,0) c
5.03/2.97	c (0,0) c
5.03/2.97	c (0,0) c
5.03/2.97	c (0,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
5.03/2.97	c (0,0) c
5.03/2.97	c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
5.03/2.97	c (0,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
5.03/2.97	c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
5.03/2.97	c (0,0) c | Conflicts     |           35910 |       4750 |       3258 |       4089 |       4672 |       4963 |       4797 |       4568 |       4813 |
5.03/2.97	c (0,0) c | Decisions     |           72163 |       9230 |       6801 |       8039 |       9533 |      10707 |       8535 |       9220 |      10098 |
5.03/2.97	c (0,0) c | Propagations  |         3883149 |     479628 |     360015 |     445414 |     489287 |     546744 |     528132 |     504500 |     529429 |
5.03/2.97	c (0,0) c | ReduceDBs     |               8 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |
5.03/2.97	c (0,0) c | SimpDBs       |               8 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |
5.03/2.97	c (0,0) c | Restarts      |              88 |          8 |          8 |          8 |         18 |         16 |          9 |          8 |         13 |
5.03/2.97	c (0,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
5.03/2.97	c (0,0) c | PropBinClauses|         5314511 |     639227 |     478555 |     606206 |     683495 |     751060 |     737732 |     693336 |     724900 |
5.03/2.97	c (0,0) c | PropPreBlocker|        38956790 |    5008780 |    3318453 |    4181137 |    4999146 |    5558236 |    5319980 |    5411393 |    5159665 |
5.03/2.97	c (0,0) c | PropNotBlocker|        14320893 |    1864827 |    1199457 |    1587295 |    1892314 |    1996196 |    1998911 |    1920627 |    1861266 |
5.03/2.97	c (0,0) c | LitFullScans  |        84652293 |   11342064 |    7094697 |    9394241 |   10743947 |   11462461 |   12000141 |   11574688 |   11040054 |
5.03/2.97	c (0,0) c | LitScanFracts |             581 |         62 |         64 |        112 |         30 |         64 |        141 |         56 |         52 |
5.03/2.97	c (0,0) c | DecisionLevel0|              88 |          8 |          8 |          8 |         18 |         16 |          9 |          8 |         13 |
5.03/2.97	c (0,0) c | Periods       |               9 |          1 |          1 |          1 |          1 |          1 |          2 |          1 |          1 |
5.03/2.97	c (0,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
5.03/2.97	c (0,0) c | Avg_Trail     |                 |        957 |        994 |        934 |        938 |       1001 |        947 |       1060 |        974 |
5.03/2.97	c (0,0) c | Avg_DL        |                 |         29 |         32 |         30 |         32 |         35 |         29 |         32 |         33 |
5.03/2.97	c (0,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
5.03/2.97	c (0,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
5.03/2.97	c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
5.03/2.97	c (0,0) c | Exported      |              75 |          9 |         15 |          7 |         13 |         13 |          2 |          7 |          9 |
5.03/2.97	c (0,0) c | Imported      |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
5.03/2.97	c (0,0) c | Good          |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
5.03/2.97	c (0,0) c | Purge         |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
5.03/2.97	c (0,0) c | Promoted      |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
5.03/2.97	c (0,0) c | Remove_Imp    |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
5.03/2.97	c (0,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
5.03/2.97	c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
5.03/2.97	c (0,0) c | Unaries       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
5.03/2.97	c (0,0) c | Binaries      |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
5.03/2.97	c (0,0) c | Glues         |                 |          9 |         15 |          7 |         13 |         13 |          2 |          7 |          9 |
5.03/2.97	c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
5.03/2.97	c (0,0) c | Orig_Seen     |            21 % |       5811 |       5982 |       5456 |       5802 |       7379 |       5803 |       6250 |       7259 |
5.03/2.97	c (0,0) c | Diff Orig seen|                 | -     1448 | -     1277 | -     1803 | -     1457 |        120 | -     1456 | -     1009 |      X     |
5.03/2.97	c (0,0) c | Hamming       |            35 % |        868 |        988 |        920 |        992 |        932 |        849 |        743 |      X     |
5.03/2.97	c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
5.03/2.97	c (0,0) c | RunningTime   |                 |    0.2 100%|    0.2 100%|    0.2 100%|    0.2 100%|    0.2 100%|    0.2 100%|    0.2 100%|    0.2 100%|
5.03/2.97	c (0,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%|
5.03/2.97	c (0,0) c | ExchangingTime|                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
5.03/2.97	c (0,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%|
5.03/2.97	c (0,0) c | SolvingTime   |                 |    0.2     |    0.2     |    0.2     |    0.2     |    0.2     |    0.2     |    0.2     |    0.2     |
5.03/2.97	c (0,0) c | PropagationTim|                 |    0.1  72%|    0.1  77%|    0.1  71%|    0.1  73%|    0.1  72%|    0.1  73%|    0.1  72%|    0.1  71%|
5.03/2.97	c (0,0) c | AnalysisTime  |                 |    0.0  21%|    0.0  17%|    0.0  18%|    0.0  20%|    0.0  20%|    0.0  21%|    0.0  21%|    0.0  21%|
5.03/2.97	c (0,0) c | ReductionTime |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
5.03/2.97	c (0,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%|
5.03/2.97	c (0,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%|
5.03/2.97	c (0,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%|
5.03/2.97	c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
5.03/2.97	c (0,0) c
5.03/2.97	c (0,0) c
5.03/2.97	c (0,0) c Threads : 8
5.03/2.97	c (0,0) c Winner : 7
5.03/2.97	c (0,0) c Conflicts_0 : 4750
5.03/2.97	c (0,0) c Conflicts_1 : 3258
5.03/2.97	c (0,0) c Conflicts_2 : 4089
5.03/2.97	c (0,0) c Conflicts_3 : 4672
5.03/2.97	c (0,0) c Conflicts_4 : 4963
5.03/2.97	c (0,0) c Conflicts_5 : 4797
5.03/2.97	c (0,0) c Conflicts_6 : 4568
5.03/2.97	c (0,0) c Conflicts_7 : 4813
5.03/2.97	c (0,0) c Conflicts_total : 35910
5.03/2.97	c (0,0) c Conflicts_winner : 4813
5.03/2.97	c (0,0) c Decisions_0 : 9230
5.03/2.97	c (0,0) c Decisions_1 : 6801
5.03/2.97	c (0,0) c Decisions_2 : 8039
5.03/2.97	c (0,0) c Decisions_3 : 9533
5.03/2.97	c (0,0) c Decisions_4 : 10707
5.03/2.97	c (0,0) c Decisions_5 : 8535
5.03/2.97	c (0,0) c Decisions_6 : 9220
5.03/2.97	c (0,0) c Decisions_7 : 10098
5.03/2.97	c (0,0) c Decisions_total : 72163
5.03/2.97	c (0,0) c Decisions_winner : 10098
5.03/2.97	c (0,0) c Propagations_0 : 479628
5.03/2.98	c (0,0) c Propagations_1 : 360015
5.03/2.98	c (0,0) c Propagations_2 : 445414
5.03/2.98	c (0,0) c Propagations_3 : 489287
5.03/2.98	c (0,0) c Propagations_4 : 546744
5.03/2.98	c (0,0) c Propagations_5 : 528132
5.03/2.98	c (0,0) c Propagations_6 : 504500
5.03/2.98	c (0,0) c Propagations_7 : 529429
5.03/2.98	c (0,0) c Propagations_total : 3883149
5.03/2.98	c (0,0) c Propagations_winner : 529429
5.03/2.98	c (0,0) c ReduceDBs_0 : 1
5.03/2.98	c (0,0) c ReduceDBs_1 : 1
5.03/2.98	c (0,0) c ReduceDBs_2 : 1
5.03/2.98	c (0,0) c ReduceDBs_3 : 1
5.03/2.98	c (0,0) c ReduceDBs_4 : 1
5.03/2.98	c (0,0) c ReduceDBs_5 : 1
5.03/2.98	c (0,0) c ReduceDBs_6 : 1
5.03/2.98	c (0,0) c ReduceDBs_7 : 1
5.03/2.98	c (0,0) c ReduceDBs_total : 8
5.03/2.98	c (0,0) c ReduceDBs_winner : 1
5.03/2.98	c (0,0) c SimpDBs_0 : 1
5.03/2.98	c (0,0) c SimpDBs_1 : 1
5.03/2.98	c (0,0) c SimpDBs_2 : 1
5.03/2.98	c (0,0) c SimpDBs_3 : 1
5.03/2.98	c (0,0) c SimpDBs_4 : 1
5.03/2.98	c (0,0) c SimpDBs_5 : 1
5.03/2.98	c (0,0) c SimpDBs_6 : 1
5.03/2.98	c (0,0) c SimpDBs_7 : 1
5.03/2.98	c (0,0) c SimpDBs_total : 8
5.03/2.98	c (0,0) c SimpDBs_winner : 1
5.03/2.98	c (0,0) c Restarts_0 : 8
5.03/2.98	c (0,0) c Restarts_1 : 8
5.03/2.98	c (0,0) c Restarts_2 : 8
5.03/2.98	c (0,0) c Restarts_3 : 18
5.03/2.98	c (0,0) c Restarts_4 : 16
5.03/2.98	c (0,0) c Restarts_5 : 9
5.03/2.98	c (0,0) c Restarts_6 : 8
5.03/2.98	c (0,0) c Restarts_7 : 13
5.03/2.98	c (0,0) c Restarts_total : 88
5.03/2.98	c (0,0) c Restarts_winner : 13
5.03/2.98	c (0,0) c ForcedImports_0 : 0
5.03/2.98	c (0,0) c ForcedImports_1 : 0
5.03/2.98	c (0,0) c ForcedImports_2 : 0
5.03/2.98	c (0,0) c ForcedImports_3 : 0
5.03/2.98	c (0,0) c ForcedImports_4 : 0
5.03/2.98	c (0,0) c ForcedImports_5 : 0
5.03/2.98	c (0,0) c ForcedImports_6 : 0
5.03/2.98	c (0,0) c ForcedImports_7 : 0
5.03/2.98	c (0,0) c ForcedImports_total : 0
5.03/2.98	c (0,0) c ForcedImports_winner : 0
5.03/2.98	c (0,0) c PropsBinClauses_0 : 639227
5.03/2.98	c (0,0) c PropsBinClauses_1 : 478555
5.03/2.98	c (0,0) c PropsBinClauses_2 : 606206
5.03/2.98	c (0,0) c PropsBinClauses_3 : 683495
5.03/2.98	c (0,0) c PropsBinClauses_4 : 751060
5.03/2.98	c (0,0) c PropsBinClauses_5 : 737732
5.03/2.98	c (0,0) c PropsBinClauses_6 : 693336
5.03/2.98	c (0,0) c PropsBinClauses_7 : 724900
5.03/2.98	c (0,0) c PropsBinClauses_total : 5314511
5.03/2.98	c (0,0) c PropsBinClauses_winner : 724900
5.03/2.98	c (0,0) c PropsPreBlocker_0 : 5008780
5.03/2.98	c (0,0) c PropsPreBlocker_1 : 3318453
5.03/2.98	c (0,0) c PropsPreBlocker_2 : 4181137
5.03/2.98	c (0,0) c PropsPreBlocker_3 : 4999146
5.03/2.98	c (0,0) c PropsPreBlocker_4 : 5558236
5.03/2.98	c (0,0) c PropsPreBlocker_5 : 5319980
5.03/2.98	c (0,0) c PropsPreBlocker_6 : 5411393
5.03/2.98	c (0,0) c PropsPreBlocker_7 : 5159665
5.03/2.98	c (0,0) c PropsPreBlocker_total : 38956790
5.03/2.98	c (0,0) c PropsPreBlocker_winner : 5159665
5.03/2.98	c (0,0) c PropsNotBlocker_0 : 1864827
5.03/2.98	c (0,0) c PropsNotBlocker_1 : 1199457
5.03/2.98	c (0,0) c PropsNotBlocker_2 : 1587295
5.03/2.98	c (0,0) c PropsNotBlocker_3 : 1892314
5.03/2.98	c (0,0) c PropsNotBlocker_4 : 1996196
5.03/2.98	c (0,0) c PropsNotBlocker_5 : 1998911
5.03/2.98	c (0,0) c PropsNotBlocker_6 : 1920627
5.03/2.98	c (0,0) c PropsNotBlocker_7 : 1861266
5.03/2.98	c (0,0) c PropsNotBlocker_total : 14320893
5.03/2.98	c (0,0) c PropsNotBlocker_winner : 1861266
5.03/2.98	c (0,0) c PropsLitFullScans_0 : 11342064
5.03/2.98	c (0,0) c PropsLitFullScans_1 : 7094697
5.03/2.98	c (0,0) c PropsLitFullScans_2 : 9394241
5.03/2.98	c (0,0) c PropsLitFullScans_3 : 10743947
5.03/2.98	c (0,0) c PropsLitFullScans_4 : 11462461
5.03/2.98	c (0,0) c PropsLitFullScans_5 : 12000141
5.03/2.98	c (0,0) c PropsLitFullScans_6 : 11574688
5.03/2.98	c (0,0) c PropsLitFullScans_7 : 11040054
5.03/2.98	c (0,0) c PropsLitFullScans_total : 84652293
5.03/2.98	c (0,0) c PropsLitFullScans_winner : 11040054
5.03/2.98	c (0,0) c LitScanFractions_0 : 62
5.03/2.98	c (0,0) c LitScanFractions_1 : 64
5.03/2.98	c (0,0) c LitScanFractions_2 : 112
5.03/2.98	c (0,0) c LitScanFractions_3 : 30
5.03/2.98	c (0,0) c LitScanFractions_4 : 64
5.03/2.98	c (0,0) c LitScanFractions_5 : 141
5.03/2.98	c (0,0) c LitScanFractions_6 : 56
5.03/2.98	c (0,0) c LitScanFractions_7 : 52
5.03/2.98	c (0,0) c LitScanFractions_total : 581
5.03/2.98	c (0,0) c LitScanFractions_winner : 52
5.03/2.98	c (0,0) c DecisionLevel0_0 : 8
5.03/2.98	c (0,0) c DecisionLevel0_1 : 8
5.03/2.98	c (0,0) c DecisionLevel0_2 : 8
5.03/2.98	c (0,0) c DecisionLevel0_3 : 18
5.03/2.98	c (0,0) c DecisionLevel0_4 : 16
5.03/2.98	c (0,0) c DecisionLevel0_5 : 9
5.03/2.98	c (0,0) c DecisionLevel0_6 : 8
5.03/2.98	c (0,0) c DecisionLevel0_7 : 13
5.03/2.98	c (0,0) c DecisionLevel0_total : 88
5.03/2.98	c (0,0) c DecisionLevel0_winner : 13
5.03/2.98	c (0,0) c Periods_0 : 1
5.03/2.98	c (0,0) c Periods_1 : 1
5.03/2.98	c (0,0) c Periods_2 : 1
5.03/2.98	c (0,0) c Periods_3 : 1
5.03/2.98	c (0,0) c Periods_4 : 1
5.03/2.98	c (0,0) c Periods_5 : 2
5.03/2.98	c (0,0) c Periods_6 : 1
5.03/2.98	c (0,0) c Periods_7 : 1
5.03/2.98	c (0,0) c Periods_total : 9
5.03/2.98	c (0,0) c Periods_winner : 1
5.03/2.98	c (0,0) c Margin_0 : 20
5.03/2.98	c (0,0) c Margin_1 : 20
5.03/2.98	c (0,0) c Margin_2 : 20
5.03/2.98	c (0,0) c Margin_3 : 20
5.03/2.98	c (0,0) c Margin_4 : 20
5.03/2.98	c (0,0) c Margin_5 : 20
5.03/2.98	c (0,0) c Margin_6 : 20
5.03/2.98	c (0,0) c Margin_7 : 20
5.03/2.98	c (0,0) c Margin_total : 160
5.03/2.98	c (0,0) c Margin_winner : 20
5.03/2.98	c (0,0) c Exported_0 : 9
5.03/2.98	c (0,0) c Exported_1 : 15
5.03/2.98	c (0,0) c Exported_2 : 7
5.03/2.98	c (0,0) c Exported_3 : 13
5.03/2.98	c (0,0) c Exported_4 : 13
5.03/2.98	c (0,0) c Exported_5 : 2
5.03/2.98	c (0,0) c Exported_6 : 7
5.03/2.98	c (0,0) c Exported_7 : 9
5.03/2.98	c (0,0) c Exported_total : 75
5.03/2.98	c (0,0) c Exported_winner : 9
5.03/2.98	c (0,0) c Imported_0 : 0
5.03/2.98	c (0,0) c Imported_1 : 0
5.03/2.98	c (0,0) c Imported_2 : 0
5.03/2.98	c (0,0) c Imported_3 : 0
5.03/2.98	c (0,0) c Imported_4 : 0
5.03/2.98	c (0,0) c Imported_5 : 0
5.03/2.98	c (0,0) c Imported_6 : 0
5.03/2.98	c (0,0) c Imported_7 : 0
5.03/2.98	c (0,0) c Imported_total : 0
5.03/2.98	c (0,0) c Imported_winner : 0
5.03/2.98	c (0,0) c Good_0 : 0
5.03/2.98	c (0,0) c Good_1 : 0
5.03/2.98	c (0,0) c Good_2 : 0
5.03/2.98	c (0,0) c Good_3 : 0
5.03/2.98	c (0,0) c Good_4 : 0
5.03/2.98	c (0,0) c Good_5 : 0
5.03/2.98	c (0,0) c Good_6 : 0
5.03/2.98	c (0,0) c Good_7 : 0
5.03/2.98	c (0,0) c Good_total : 0
5.03/2.98	c (0,0) c Good_winner : 0
5.03/2.98	c (0,0) c Purge_0 : 0
5.03/2.98	c (0,0) c Purge_1 : 0
5.03/2.98	c (0,0) c Purge_2 : 0
5.03/2.98	c (0,0) c Purge_3 : 0
5.03/2.98	c (0,0) c Purge_4 : 0
5.03/2.98	c (0,0) c Purge_5 : 0
5.03/2.98	c (0,0) c Purge_6 : 0
5.03/2.98	c (0,0) c Purge_7 : 0
5.03/2.98	c (0,0) c Purge_total : 0
5.03/2.98	c (0,0) c Purge_winner : 0
5.03/2.98	c (0,0) c Promoted_0 : 0
5.03/2.98	c (0,0) c Promoted_1 : 0
5.03/2.98	c (0,0) c Promoted_2 : 0
5.03/2.98	c (0,0) c Promoted_3 : 0
5.03/2.98	c (0,0) c Promoted_4 : 0
5.03/2.98	c (0,0) c Promoted_5 : 0
5.03/2.98	c (0,0) c Promoted_6 : 0
5.03/2.98	c (0,0) c Promoted_7 : 0
5.03/2.98	c (0,0) c Promoted_total : 0
5.03/2.98	c (0,0) c Promoted_winner : 0
5.03/2.98	c (0,0) c Remove_Imp_0 : 0
5.03/2.98	c (0,0) c Remove_Imp_1 : 0
5.03/2.98	c (0,0) c Remove_Imp_2 : 0
5.03/2.98	c (0,0) c Remove_Imp_3 : 0
5.03/2.98	c (0,0) c Remove_Imp_4 : 0
5.03/2.98	c (0,0) c Remove_Imp_5 : 0
5.03/2.99	c (0,0) c Remove_Imp_6 : 0
5.03/2.99	c (0,0) c Remove_Imp_7 : 0
5.03/2.99	c (0,0) c Remove_Imp_total : 0
5.03/2.99	c (0,0) c Remove_Imp_winner : 0
5.03/2.99	c (0,0) c Blocked_Reuse_0 : 0
5.03/2.99	c (0,0) c Blocked_Reuse_1 : 0
5.03/2.99	c (0,0) c Blocked_Reuse_2 : 0
5.03/2.99	c (0,0) c Blocked_Reuse_3 : 0
5.03/2.99	c (0,0) c Blocked_Reuse_4 : 0
5.03/2.99	c (0,0) c Blocked_Reuse_5 : 0
5.03/2.99	c (0,0) c Blocked_Reuse_6 : 0
5.03/2.99	c (0,0) c Blocked_Reuse_7 : 0
5.03/2.99	c (0,0) c Blocked_Reuse_total : 0
5.03/2.99	c (0,0) c Blocked_Reuse_winner : 0
5.03/2.99	c (0,0) c Unaries_0 : 0
5.03/2.99	c (0,0) c Unaries_1 : 0
5.03/2.99	c (0,0) c Unaries_2 : 0
5.03/2.99	c (0,0) c Unaries_3 : 0
5.03/2.99	c (0,0) c Unaries_4 : 0
5.03/2.99	c (0,0) c Unaries_5 : 0
5.03/2.99	c (0,0) c Unaries_6 : 0
5.03/2.99	c (0,0) c Unaries_7 : 0
5.03/2.99	c (0,0) c Unaries_total : 0
5.03/2.99	c (0,0) c Unaries_winner : 0
5.03/2.99	c (0,0) c Binaries_0 : 0
5.03/2.99	c (0,0) c Binaries_1 : 0
5.03/2.99	c (0,0) c Binaries_2 : 0
5.03/2.99	c (0,0) c Binaries_3 : 0
5.03/2.99	c (0,0) c Binaries_4 : 0
5.03/2.99	c (0,0) c Binaries_5 : 0
5.03/2.99	c (0,0) c Binaries_6 : 0
5.03/2.99	c (0,0) c Binaries_7 : 0
5.03/2.99	c (0,0) c Binaries_total : 0
5.03/2.99	c (0,0) c Binaries_winner : 0
5.03/2.99	c (0,0) c Glues_0 : 9
5.03/2.99	c (0,0) c Glues_1 : 15
5.03/2.99	c (0,0) c Glues_2 : 7
5.03/2.99	c (0,0) c Glues_3 : 13
5.03/2.99	c (0,0) c Glues_4 : 13
5.03/2.99	c (0,0) c Glues_5 : 2
5.03/2.99	c (0,0) c Glues_6 : 7
5.03/2.99	c (0,0) c Glues_7 : 9
5.03/2.99	c (0,0) c Glues_total : 75
5.03/2.99	c (0,0) c Glues_winner : 9
5.03/2.99	c (0,0) c RunningTime_0 : 0.167209
5.03/2.99	c (0,0) c RunningTime_1 : 0.156909
5.03/2.99	c (0,0) c RunningTime_2 : 0.169434
5.03/2.99	c (0,0) c RunningTime_3 : 0.159107
5.03/2.99	c (0,0) c RunningTime_4 : 0.163760
5.03/2.99	c (0,0) c RunningTime_5 : 0.171091
5.03/2.99	c (0,0) c RunningTime_6 : 0.161327
5.03/2.99	c (0,0) c RunningTime_7 : 0.155442
5.03/2.99	c (0,0) c RunningTime_total : 1.304280
5.03/2.99	c (0,0) c RunningTime_winner : 0.155442
5.03/2.99	c (0,0) c WaitingTime_0 : 0.000000
5.03/2.99	c (0,0) c WaitingTime_1 : 0.000000
5.03/2.99	c (0,0) c WaitingTime_2 : 0.000000
5.03/2.99	c (0,0) c WaitingTime_3 : 0.000000
5.03/2.99	c (0,0) c WaitingTime_4 : 0.000000
5.03/2.99	c (0,0) c WaitingTime_5 : 0.000000
5.03/2.99	c (0,0) c WaitingTime_6 : 0.000000
5.03/2.99	c (0,0) c WaitingTime_7 : 0.000000
5.03/2.99	c (0,0) c WaitingTime_total : 0.000000
5.03/2.99	c (0,0) c WaitingTime_winner : 0.000000
5.03/2.99	c (0,0) c ExchangingTime_0 : 0.000237
5.03/2.99	c (0,0) c ExchangingTime_1 : 0.000169
5.03/2.99	c (0,0) c ExchangingTime_2 : 0.000198
5.03/2.99	c (0,0) c ExchangingTime_3 : 0.000359
5.03/2.99	c (0,0) c ExchangingTime_4 : 0.000228
5.03/2.99	c (0,0) c ExchangingTime_5 : 0.000216
5.03/2.99	c (0,0) c ExchangingTime_6 : 0.000231
5.03/2.99	c (0,0) c ExchangingTime_7 : 0.000229
5.03/2.99	c (0,0) c ExchangingTime_total : 0.001868
5.03/2.99	c (0,0) c ExchangingTime_winner : 0.000229
5.03/2.99	c (0,0) c PeriodProcTime_0 : 0.000031
5.03/2.99	c (0,0) c PeriodProcTime_1 : 0.000007
5.03/2.99	c (0,0) c PeriodProcTime_2 : 0.000009
5.03/2.99	c (0,0) c PeriodProcTime_3 : 0.000004
5.03/2.99	c (0,0) c PeriodProcTime_4 : 0.000004
5.03/2.99	c (0,0) c PeriodProcTime_5 : 0.000011
5.03/2.99	c (0,0) c PeriodProcTime_6 : 0.000003
5.03/2.99	c (0,0) c PeriodProcTime_7 : 0.000005
5.03/2.99	c (0,0) c PeriodProcTime_total : 0.000073
5.03/2.99	c (0,0) c PeriodProcTime_winner : 0.000005
5.03/2.99	c (0,0) c SolvingTime_0 : 0.167477
5.03/2.99	c (0,0) c SolvingTime_1 : 0.157084
5.03/2.99	c (0,0) c SolvingTime_2 : 0.169641
5.03/2.99	c (0,0) c SolvingTime_3 : 0.159470
5.03/2.99	c (0,0) c SolvingTime_4 : 0.163993
5.03/2.99	c (0,0) c SolvingTime_5 : 0.171319
5.03/2.99	c (0,0) c SolvingTime_6 : 0.161561
5.03/2.99	c (0,0) c SolvingTime_7 : 0.155676
5.03/2.99	c (0,0) c SolvingTime_total : 1.306221
5.03/2.99	c (0,0) c SolvingTime_winner : 0.155676
5.03/2.99	c (0,0) c PropagationTime_0 : 0.120363
5.03/2.99	c (0,0) c PropagationTime_1 : 0.121558
5.03/2.99	c (0,0) c PropagationTime_2 : 0.119622
5.03/2.99	c (0,0) c PropagationTime_3 : 0.116592
5.03/2.99	c (0,0) c PropagationTime_4 : 0.117968
5.03/2.99	c (0,0) c PropagationTime_5 : 0.124671
5.03/2.99	c (0,0) c PropagationTime_6 : 0.115916
5.03/2.99	c (0,0) c PropagationTime_7 : 0.110031
5.03/2.99	c (0,0) c PropagationTime_total : 0.946720
5.03/2.99	c (0,0) c PropagationTime_winner : 0.110031
5.03/2.99	c (0,0) c AnalysisTime_0 : 0.035260
5.03/2.99	c (0,0) c AnalysisTime_1 : 0.026916
5.03/2.99	c (0,0) c AnalysisTime_2 : 0.029793
5.03/2.99	c (0,0) c AnalysisTime_3 : 0.031204
5.03/2.99	c (0,0) c AnalysisTime_4 : 0.032502
5.03/2.99	c (0,0) c AnalysisTime_5 : 0.035712
5.03/2.99	c (0,0) c AnalysisTime_6 : 0.034000
5.03/2.99	c (0,0) c AnalysisTime_7 : 0.033371
5.03/2.99	c (0,0) c AnalysisTime_total : 0.258756
5.03/2.99	c (0,0) c AnalysisTime_winner : 0.033371
5.03/2.99	c (0,0) c ReductionTime_0 : 0.000309
5.03/2.99	c (0,0) c ReductionTime_1 : 0.000327
5.03/2.99	c (0,0) c ReductionTime_2 : 0.000321
5.03/2.99	c (0,0) c ReductionTime_3 : 0.000336
5.03/2.99	c (0,0) c ReductionTime_4 : 0.000316
5.03/2.99	c (0,0) c ReductionTime_5 : 0.000312
5.03/2.99	c (0,0) c ReductionTime_6 : 0.000336
5.03/2.99	c (0,0) c ReductionTime_7 : 0.000326
5.03/2.99	c (0,0) c ReductionTime_total : 0.002582
5.03/2.99	c (0,0) c ReductionTime_winner : 0.000326
5.03/2.99	c (0,0) c SimplifyTime_0 : 0.000001
5.03/2.99	c (0,0) c SimplifyTime_1 : 0.000000
5.03/2.99	c (0,0) c SimplifyTime_2 : 0.000002
5.03/2.99	c (0,0) c SimplifyTime_3 : 0.000002
5.03/2.99	c (0,0) c SimplifyTime_4 : 0.000002
5.03/2.99	c (0,0) c SimplifyTime_5 : 0.000000
5.03/2.99	c (0,0) c SimplifyTime_6 : 0.000003
5.03/2.99	c (0,0) c SimplifyTime_7 : 0.000000
5.03/2.99	c (0,0) c SimplifyTime_total : 0.000010
5.03/2.99	c (0,0) c SimplifyTime_winner : 0.000000
5.03/2.99	c (0,0) c UsedRateTime_0 : 0.000000
5.03/2.99	c (0,0) c UsedRateTime_1 : 0.000000
5.03/2.99	c (0,0) c UsedRateTime_2 : 0.000000
5.03/2.99	c (0,0) c UsedRateTime_3 : 0.000000
5.03/2.99	c (0,0) c UsedRateTime_4 : 0.000000
5.03/2.99	c (0,0) c UsedRateTime_5 : 0.000000
5.03/2.99	c (0,0) c UsedRateTime_6 : 0.000000
5.03/2.99	c (0,0) c UsedRateTime_7 : 0.000000
5.03/2.99	c (0,0) c UsedRateTime_total : 0.000000
5.03/2.99	c (0,0) c UsedRateTime_winner : 0.000000
5.03/2.99	c (0,0) c OverlapRateTime_0 : 0.000000
5.03/2.99	c (0,0) c OverlapRateTime_1 : 0.000000
5.03/2.99	c (0,0) c OverlapRateTime_2 : 0.000000
5.03/2.99	c (0,0) c OverlapRateTime_3 : 0.000000
5.03/2.99	c (0,0) c OverlapRateTime_4 : 0.000000
5.03/2.99	c (0,0) c OverlapRateTime_5 : 0.000000
5.03/2.99	c (0,0) c OverlapRateTime_6 : 0.000000
5.03/2.99	c (0,0) c OverlapRateTime_7 : 0.000000
5.03/2.99	c (0,0) c OverlapRateTime_total : 0.000000
5.03/2.99	c (0,0) c OverlapRateTime_winner : 0.000000
5.03/2.99	c (0,0) c
5.03/2.99	c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
5.03/2.99	c (0,0) c
5.03/2.99	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
5.03/2.99	c (0,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
5.03/2.99	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
5.03/2.99	c (0,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
5.03/2.99	c (0,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
5.03/2.99	c (0,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
5.03/2.99	c (0,0) c | Initial random_seed   | 1962450922 |  487529151 | 1525990992 |  899451852 |  451116034 |  700026492 | 1800256006 | 1588580700 |
5.03/2.99	c (0,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
5.03/2.99	c (0,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
5.03/2.99	c (0,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
5.03/2.99	c (0,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
5.03/2.99	c (0,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
5.03/2.99	c (0,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
5.03/2.99	c (0,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
5.03/2.99	c (0,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
5.03/2.99	c (0,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
5.03/2.99	c (0,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
5.03/2.99	c (0,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
5.03/2.99	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
5.03/2.99	c (0,0) 
5.03/2.99	c (0,0) s SATISFIABLE
5.03/3.01	c (0,0) SatSolver.solve End
5.03/3.01	c (0,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
5.03/3.01	c (0,0) Show results Begin
7.48/3.09	c (0,0) x[0] = 10
7.48/3.09	c (0,0) x[1] = 24
7.48/3.09	c (0,0) x[2] = 21
7.48/3.09	c (0,0) x[3] = 19
7.48/3.09	c (0,0) x[4] = 21
7.48/3.09	c (0,0) x[5] = 15
7.48/3.09	c (0,0) x[6] = 14
7.48/3.09	c (0,0) x[7] = 26
7.48/3.09	c (0,0) x[8] = 10
7.48/3.09	c (0,0) x[9] = 0
7.48/3.09	c (0,0) x[10] = 0
7.48/3.09	c (0,0) x[11] = 11
7.48/3.09	c (0,0) x[12] = 21
7.48/3.09	c (0,0) x[13] = 0
7.48/3.09	c (0,0) x[14] = 39
7.48/3.09	c (0,0) x[15] = 23
7.48/3.09	c (0,0) x[16] = 19
7.48/3.09	c (0,0) x[17] = 36
7.48/3.09	c (0,0) x[18] = 0
7.48/3.09	c (0,0) x[19] = 34
7.48/3.09	c (0,0) y[0] = 11
7.48/3.09	c (0,0) y[1] = 46
7.48/3.09	c (0,0) y[2] = 46
7.48/3.09	c (0,0) y[3] = 12
7.48/3.09	c (0,0) y[4] = 49
7.48/3.09	c (0,0) y[5] = 48
7.48/3.09	c (0,0) y[6] = 41
7.48/3.09	c (0,0) y[7] = 46
7.48/3.09	c (0,0) y[8] = 12
7.48/3.09	c (0,0) y[9] = 11
7.48/3.09	c (0,0) y[10] = 0
7.48/3.09	c (0,0) y[11] = 0
7.48/3.09	c (0,0) y[12] = 33
7.48/3.09	c (0,0) y[13] = 40
7.48/3.09	c (0,0) y[14] = 0
7.48/3.09	c (0,0) y[15] = 0
7.48/3.09	c (0,0) y[16] = 16
7.48/3.09	c (0,0) y[17] = 16
7.48/3.09	c (0,0) y[18] = 21
7.48/3.09	c (0,0) y[19] = 34
7.48/3.09	s SATISFIABLE
7.48/3.10	v <instantiation>
7.48/3.10	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] 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]</list>
7.48/3.10	v     <values>10 24 21 19 21 15 14 26 10 0 0 11 21 0 39 23 19 36 0 34 11 46 46 12 49 48 41 46 12 11 0 0 33 40 0 0 16 16 21 34</values>
7.48/3.10	v </instantiation>
7.48/3.10	c (0,0) Show results End
7.48/3.10	c (0,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB)
7.48/3.10	c (0,0) 0,0,STOP-AFTER(ALL)
7.48/3.10	c END-Prog: Sat Sep 14 10:20:15 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 (15123 MiB free)
  memory of node 1: 16384 MiB (14956 MiB free)
  node distances:
     10  21
     21  10

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


[startup+0.100134 s]*
/proc/loadavg: 7.63 8.21 7.76 2/217 26568
/proc/meminfo: memFree=30707736/32770624 swapFree=66968600/67108860
[pid=26546] ppid=26543 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/26546/stat : 26546 (scop.sh) S 26543 26546 26503 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 421174748 115843072 349 33554432000 4194304 5098028 140734901112688 140734901109944 139621645755004 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 9789440 140734901121829 140734901122156 140734901122156 140734901125069 0
/proc/26546/statm: 28282 349 296 221 0 87 0
[pid=26549] ppid=26546 vsize=27314120 memory=106148 CPUtime=0.11 cores=0-7
/proc/26549/stat : 26549 (java) S 26546 26546 26503 0 -1 1077944320 6119 0 0 0 8 3 0 0 20 0 20 0 421174749 27969658880 26025 33554432000 4194304 4196468 140720970484656 140720970467200 140684900507383 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 36085760 140720970490603 140720970491030 140720970491030 140720970493903 0
/proc/26549/statm: 6828530 26537 2804 1 0 6790935 0
[pid=26549/tid=26550] ppid=26546 vsize=27314120 memory=8041910992251036315 CPUtime=0.08 cores=0-7
/proc/26549/task/26550/stat : 26550 (java) R 26546 26546 26503 0 -1 4202560 4216 0 0 0 6 2 0 0 20 0 20 0 421174749 27969658880 26537 33554432000 4194304 4196468 140720970484656 140684872320624 140684880784208 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36085760 140720970490603 140720970491030 140720970491030 140720970493903 0
[pid=26549/tid=26551] ppid=26546 vsize=27314120 memory=732370619435461605 CPUtime=0 cores=0-7
/proc/26549/task/26551/stat : 26551 (java) S 26546 26546 26503 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421174751 27969658880 26537 33554432000 4194304 4196468 140720970484656 140684904749584 140684900517589 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36085760 140720970490603 140720970491030 140720970491030 140720970493903 0
[pid=26549/tid=26552] ppid=26546 vsize=27314120 memory=140481098008192 CPUtime=0 cores=0-7
/proc/26549/task/26552/stat : 26552 (java) S 26546 26546 26503 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421174751 27969658880 26537 33554432000 4194304 4196468 140720970484656 140684688145040 140684900517589 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36085760 140720970490603 140720970491030 140720970491030 140720970493903 0
[pid=26549/tid=26553] ppid=26546 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/26549/task/26553/stat : 26553 (java) S 26546 26546 26503 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421174751 27969658880 26537 33554432000 4194304 4196468 140720970484656 140684687091984 140684900517589 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36085760 140720970490603 140720970491030 140720970491030 140720970493903 0
[pid=26549/tid=26554] ppid=26546 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/26549/task/26554/stat : 26554 (java) S 26546 26546 26503 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421174751 27969658880 26537 33554432000 4194304 4196468 140720970484656 140684686039440 140684900517589 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36085760 140720970490603 140720970491030 140720970491030 140720970493903 0
[pid=26549/tid=26555] ppid=26546 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/26549/task/26555/stat : 26555 (java) S 26546 26546 26503 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421174751 27969658880 26537 33554432000 4194304 4196468 140720970484656 140684684987408 140684900517589 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36085760 140720970490603 140720970491030 140720970491030 140720970493903 0
[pid=26549/tid=26556] ppid=26546 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/26549/task/26556/stat : 26556 (java) S 26546 26546 26503 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421174751 27969658880 26537 33554432000 4194304 4196468 140720970484656 140684683934864 140684900517589 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36085760 140720970490603 140720970491030 140720970491030 140720970493903 0
[pid=26549/tid=26557] ppid=26546 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/26549/task/26557/stat : 26557 (java) S 26546 26546 26503 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421174751 27969658880 26537 33554432000 4194304 4196468 140720970484656 140684682881808 140684900517589 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36085760 140720970490603 140720970491030 140720970491030 140720970493903 0
[pid=26549/tid=26558] ppid=26546 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/26549/task/26558/stat : 26558 (java) S 26546 26546 26503 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 421174751 27969658880 26537 33554432000 4194304 4196468 140720970484656 140684681829264 140684900517589 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36085760 140720970490603 140720970491030 140720970491030 140720970493903 0
[pid=26549/tid=26559] ppid=26546 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/26549/task/26559/stat : 26559 (java) S 26546 26546 26503 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421174753 27969658880 26537 33554432000 4194304 4196468 140720970484656 140684273518832 140684900518530 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36085760 140720970490603 140720970491030 140720970491030 140720970493903 0
[pid=26549/tid=26560] ppid=26546 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/26549/task/26560/stat : 26560 (java) S 26546 26546 26503 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 421174753 27969658880 26537 33554432000 4194304 4196468 140720970484656 140682794624160 140684900517589 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36085760 140720970490603 140720970491030 140720970491030 140720970493903 0
[pid=26549/tid=26561] ppid=26546 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/26549/task/26561/stat : 26561 (java) S 26546 26546 26503 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 421174753 27969658880 26537 33554432000 4194304 4196468 140720970484656 140682660401904 140684900517589 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36085760 140720970490603 140720970491030 140720970491030 140720970493903 0
[pid=26549/tid=26562] ppid=26546 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/26549/task/26562/stat : 26562 (java) S 26546 26546 26503 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421174756 27969658880 26537 33554432000 4194304 4196468 140720970484656 140682285897680 140684900525979 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36085760 140720970490603 140720970491030 140720970491030 140720970493903 0
[pid=26549/tid=26563] ppid=26546 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/26549/task/26563/stat : 26563 (java) S 26546 26546 26503 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 20 0 421174756 27969658880 26537 33554432000 4194304 4196468 140720970484656 140684272466672 140684900518530 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36085760 140720970490603 140720970491030 140720970491030 140720970493903 0
[pid=26549/tid=26564] ppid=26546 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/26549/task/26564/stat : 26564 (java) S 26546 26546 26503 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 421174756 27969658880 26537 33554432000 4194304 4196468 140720970484656 140683956448112 140684900518530 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36085760 140720970490603 140720970491030 140720970491030 140720970493903 0
[pid=26549/tid=26565] ppid=26546 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/26549/task/26565/stat : 26565 (java) S 26546 26546 26503 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 421174756 27969658880 26537 33554432000 4194304 4196468 140720970484656 140683955395056 140684900518530 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36085760 140720970490603 140720970491030 140720970491030 140720970493903 0
[pid=26549/tid=26566] ppid=26546 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/26549/task/26566/stat : 26566 (java) S 26546 26546 26503 0 -1 1077944384 249 0 0 0 0 0 0 0 20 0 20 0 421174756 27969658880 26537 33554432000 4194304 4196468 140720970484656 140683954342512 140684900518530 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36085760 140720970490603 140720970491030 140720970491030 140720970493903 0
[pid=26549/tid=26567] ppid=26546 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/26549/task/26567/stat : 26567 (java) S 26546 26546 26503 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 421174756 27969658880 26537 33554432000 4194304 4196468 140720970484656 140681787992544 140684900517589 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36085760 140720970490603 140720970491030 140720970491030 140720970493903 0
[pid=26549/tid=26568] ppid=26546 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/26549/task/26568/stat : 26568 (java) S 26546 26546 26503 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421174756 27969658880 26537 33554432000 4194304 4196468 140720970484656 140683953289904 140684900518530 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36085760 140720970490603 140720970491030 140720970491030 140720970493903 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 107544 KiB

[startup+0.210653 s]*
/proc/loadavg: 7.63 8.21 7.76 4/217 26568
/proc/meminfo: memFree=30686324/32770624 swapFree=66968600/67108860
[pid=26546] ppid=26543 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/26546/stat : 26546 (scop.sh) S 26543 26546 26503 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 421174748 115843072 349 33554432000 4194304 5098028 140734901112688 140734901109944 139621645755004 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 9789440 140734901121829 140734901122156 140734901122156 140734901125069 0
/proc/26546/statm: 28282 349 296 221 0 87 0
[pid=26549] ppid=26546 vsize=27314120 memory=123156 CPUtime=0.24 cores=0-7
/proc/26549/stat : 26549 (java) S 26546 26546 26503 0 -1 1077944320 11612 0 0 0 20 4 0 0 20 0 20 0 421174749 27969658880 30789 33554432000 4194304 4196468 140720970484656 140720970467200 140684900507383 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 36085760 140720970490603 140720970491030 140720970491030 140720970493903 0
/proc/26549/statm: 6828530 30789 2920 1 0 6790935 0
[pid=26549/tid=26550] ppid=26546 vsize=27314120 memory=0 CPUtime=0.19 cores=0-7
/proc/26549/task/26550/stat : 26550 (java) R 26546 26546 26503 0 -1 4202560 9312 0 0 0 16 3 0 0 20 0 20 0 421174749 27969658880 30789 33554432000 4194304 4196468 140720970484656 140684872290944 140684882070958 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36085760 140720970490603 140720970491030 140720970491030 140720970493903 0
[pid=26549/tid=26551] ppid=26546 vsize=27314120 memory=280962096285432 CPUtime=0 cores=0-7
/proc/26549/task/26551/stat : 26551 (java) S 26546 26546 26503 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421174751 27969658880 30789 33554432000 4194304 4196468 140720970484656 140684904749584 140684900517589 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36085760 140720970490603 140720970491030 140720970491030 140720970493903 0
[pid=26549/tid=26552] ppid=26546 vsize=27314120 memory=140481098008192 CPUtime=0 cores=0-7
/proc/26549/task/26552/stat : 26552 (java) S 26546 26546 26503 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421174751 27969658880 30789 33554432000 4194304 4196468 140720970484656 140684688145040 140684900517589 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36085760 140720970490603 140720970491030 140720970491030 140720970493903 0
[pid=26549/tid=26553] ppid=26546 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/26549/task/26553/stat : 26553 (java) S 26546 26546 26503 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421174751 27969658880 30789 33554432000 4194304 4196468 140720970484656 140684687091984 140684900517589 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36085760 140720970490603 140720970491030 140720970491030 140720970493903 0
[pid=26549/tid=26554] ppid=26546 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/26549/task/26554/stat : 26554 (java) S 26546 26546 26503 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421174751 27969658880 30789 33554432000 4194304 4196468 140720970484656 140684686039440 140684900517589 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36085760 140720970490603 140720970491030 140720970491030 140720970493903 0
[pid=26549/tid=26555] ppid=26546 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/26549/task/26555/stat : 26555 (java) S 26546 26546 26503 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421174751 27969658880 30789 33554432000 4194304 4196468 140720970484656 140684684987408 140684900517589 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36085760 140720970490603 140720970491030 140720970491030 140720970493903 0
[pid=26549/tid=26556] ppid=26546 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/26549/task/26556/stat : 26556 (java) S 26546 26546 26503 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421174751 27969658880 30789 33554432000 4194304 4196468 140720970484656 140684683934864 140684900517589 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36085760 140720970490603 140720970491030 140720970491030 140720970493903 0
[pid=26549/tid=26557] ppid=26546 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/26549/task/26557/stat : 26557 (java) S 26546 26546 26503 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421174751 27969658880 30789 33554432000 4194304 4196468 140720970484656 140684682881808 140684900517589 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36085760 140720970490603 140720970491030 140720970491030 140720970493903 0
[pid=26549/tid=26558] ppid=26546 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/26549/task/26558/stat : 26558 (java) S 26546 26546 26503 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 421174751 27969658880 30789 33554432000 4194304 4196468 140720970484656 140684681829264 140684900517589 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36085760 140720970490603 140720970491030 140720970491030 140720970493903 0
[pid=26549/tid=26559] ppid=26546 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/26549/task/26559/stat : 26559 (java) S 26546 26546 26503 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421174753 27969658880 30789 33554432000 4194304 4196468 140720970484656 140684273518832 140684900518530 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36085760 140720970490603 140720970491030 140720970491030 140720970493903 0
[pid=26549/tid=26560] ppid=26546 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/26549/task/26560/stat : 26560 (java) S 26546 26546 26503 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 421174753 27969658880 30789 33554432000 4194304 4196468 140720970484656 140682794624160 140684900517589 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36085760 140720970490603 140720970491030 140720970491030 140720970493903 0
[pid=26549/tid=26561] ppid=26546 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/26549/task/26561/stat : 26561 (java) S 26546 26546 26503 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 421174753 27969658880 30789 33554432000 4194304 4196468 140720970484656 140682660401904 140684900517589 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36085760 140720970490603 140720970491030 140720970491030 140720970493903 0
[pid=26549/tid=26562] ppid=26546 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/26549/task/26562/stat : 26562 (java) S 26546 26546 26503 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421174756 27969658880 30789 33554432000 4194304 4196468 140720970484656 140682285897680 140684900525979 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36085760 140720970490603 140720970491030 140720970491030 140720970493903 0
[pid=26549/tid=26563] ppid=26546 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/26549/task/26563/stat : 26563 (java) S 26546 26546 26503 0 -1 1077944384 460 0 0 0 0 0 0 0 20 0 20 0 421174756 27969658880 30789 33554432000 4194304 4196468 140720970484656 140684272466672 140684900518530 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36085760 140720970490603 140720970491030 140720970491030 140720970493903 0
[pid=26549/tid=26564] ppid=26546 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/26549/task/26564/stat : 26564 (java) S 26546 26546 26503 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 421174756 27969658880 30789 33554432000 4194304 4196468 140720970484656 140683956448112 140684900518530 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36085760 140720970490603 140720970491030 140720970491030 140720970493903 0
[pid=26549/tid=26565] ppid=26546 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/26549/task/26565/stat : 26565 (java) S 26546 26546 26503 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 20 0 421174756 27969658880 30789 33554432000 4194304 4196468 140720970484656 140683955395056 140684900518530 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36085760 140720970490603 140720970491030 140720970491030 140720970493903 0
[pid=26549/tid=26566] ppid=26546 vsize=27314120 memory=0 CPUtime=0.02 cores=0-7
/proc/26549/task/26566/stat : 26566 (java) S 26546 26546 26503 0 -1 1077944384 459 0 0 0 2 0 0 0 20 0 20 0 421174756 27969658880 30789 33554432000 4194304 4196468 140720970484656 140683954342512 140684900518530 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36085760 140720970490603 140720970491030 140720970491030 140720970493903 0
[pid=26549/tid=26567] ppid=26546 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/26549/task/26567/stat : 26567 (java) S 26546 26546 26503 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 421174756 27969658880 30789 33554432000 4194304 4196468 140720970484656 140681787992544 140684900517589 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36085760 140720970490603 140720970491030 140720970491030 140720970493903 0
[pid=26549/tid=26568] ppid=26546 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/26549/task/26568/stat : 26568 (java) S 26546 26546 26503 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421174756 27969658880 30789 33554432000 4194304 4196468 140720970484656 140683953289904 140684900518530 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36085760 140720970490603 140720970491030 140720970491030 140720970493903 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 124552 KiB

[startup+0.310581 s]*
/proc/loadavg: 7.63 8.21 7.76 2/217 26568
/proc/meminfo: memFree=30683756/32770624 swapFree=66968600/67108860
[pid=26546] ppid=26543 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/26546/stat : 26546 (scop.sh) S 26543 26546 26503 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 421174748 115843072 349 33554432000 4194304 5098028 140734901112688 140734901109944 139621645755004 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 9789440 140734901121829 140734901122156 140734901122156 140734901125069 0
/proc/26546/statm: 28282 349 296 221 0 87 0
[pid=26549] ppid=26546 vsize=27314120 memory=127524 CPUtime=0.42 cores=0-7
/proc/26549/stat : 26549 (java) S 26546 26546 26503 0 -1 1077944320 12787 0 0 0 37 5 0 0 20 0 20 0 421174749 27969658880 31881 33554432000 4194304 4196468 140720970484656 140720970467200 140684900507383 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 36085760 140720970490603 140720970491030 140720970491030 140720970493903 0
/proc/26549/statm: 6828530 31881 3019 1 0 6790935 0
[pid=26549/tid=26550] ppid=26546 vsize=27314120 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/26549/task/26550/stat : 26550 (java) R 26546 26546 26503 0 -1 4202560 10291 0 0 0 25 4 0 0 20 0 20 0 421174749 27969658880 31881 33554432000 4194304 4196468 140720970484656 140684872337456 140684880773138 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36085760 140720970490603 140720970491030 140720970491030 140720970493903 0
[pid=26549/tid=26551] ppid=26546 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/26549/task/26551/stat : 26551 (java) S 26546 26546 26503 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421174751 27969658880 31881 33554432000 4194304 4196468 140720970484656 140684904749584 140684900517589 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36085760 140720970490603 140720970491030 140720970491030 140720970493903 0
[pid=26549/tid=26552] ppid=26546 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/26549/task/26552/stat : 26552 (java) S 26546 26546 26503 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421174751 27969658880 31881 33554432000 4194304 4196468 140720970484656 140684688145040 140684900517589 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36085760 140720970490603 140720970491030 140720970491030 140720970493903 0
[pid=26549/tid=26553] ppid=26546 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/26549/task/26553/stat : 26553 (java) S 26546 26546 26503 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421174751 27969658880 31881 33554432000 4194304 4196468 140720970484656 140684687091984 140684900517589 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36085760 140720970490603 140720970491030 140720970491030 140720970493903 0
[pid=26549/tid=26554] ppid=26546 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/26549/task/26554/stat : 26554 (java) S 26546 26546 26503 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421174751 27969658880 31881 33554432000 4194304 4196468 140720970484656 140684686039440 140684900517589 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36085760 140720970490603 140720970491030 140720970491030 140720970493903 0
[pid=26549/tid=26555] ppid=26546 vsize=27314120 memory=2244 CPUtime=0 cores=0-7
/proc/26549/task/26555/stat : 26555 (java) S 26546 26546 26503 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421174751 27969658880 31881 33554432000 4194304 4196468 140720970484656 140684684987408 140684900517589 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36085760 140720970490603 140720970491030 140720970491030 140720970493903 0
[pid=26549/tid=26556] ppid=26546 vsize=27314120 memory=140480998372271 CPUtime=0 cores=0-7
/proc/26549/task/26556/stat : 26556 (java) S 26546 26546 26503 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421174751 27969658880 31881 33554432000 4194304 4196468 140720970484656 140684683934864 140684900517589 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36085760 140720970490603 140720970491030 140720970491030 140720970493903 0
[pid=26549/tid=26557] ppid=26546 vsize=27314120 memory=140480998374576 CPUtime=0 cores=0-7
/proc/26549/task/26557/stat : 26557 (java) S 26546 26546 26503 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421174751 27969658880 31881 33554432000 4194304 4196468 140720970484656 140684682881808 140684900517589 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36085760 140720970490603 140720970491030 140720970491030 140720970493903 0
[pid=26549/tid=26558] ppid=26546 vsize=27314120 memory=140480998376880 CPUtime=0 cores=0-7
/proc/26549/task/26558/stat : 26558 (java) S 26546 26546 26503 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 421174751 27969658880 31881 33554432000 4194304 4196468 140720970484656 140684681829264 140684900517589 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36085760 140720970490603 140720970491030 140720970491030 140720970493903 0
[pid=26549/tid=26559] ppid=26546 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/26549/task/26559/stat : 26559 (java) S 26546 26546 26503 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421174753 27969658880 31881 33554432000 4194304 4196468 140720970484656 140684273518832 140684900518530 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36085760 140720970490603 140720970491030 140720970491030 140720970493903 0
[pid=26549/tid=26560] ppid=26546 vsize=27314120 memory=280961996760720 CPUtime=0 cores=0-7
/proc/26549/task/26560/stat : 26560 (java) S 26546 26546 26503 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 421174753 27969658880 31881 33554432000 4194304 4196468 140720970484656 140682794624160 140684900517589 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36085760 140720970490603 140720970491030 140720970491030 140720970493903 0
[pid=26549/tid=26561] ppid=26546 vsize=27314120 memory=280961996767632 CPUtime=0 cores=0-7
/proc/26549/task/26561/stat : 26561 (java) S 26546 26546 26503 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 421174753 27969658880 31881 33554432000 4194304 4196468 140720970484656 140682660401904 140684900517589 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36085760 140720970490603 140720970491030 140720970491030 140720970493903 0
[pid=26549/tid=26562] ppid=26546 vsize=27314120 memory=280961996708912 CPUtime=0 cores=0-7
/proc/26549/task/26562/stat : 26562 (java) S 26546 26546 26503 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421174756 27969658880 31881 33554432000 4194304 4196468 140720970484656 140682285897680 140684900525979 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36085760 140720970490603 140720970491030 140720970491030 140720970493903 0
[pid=26549/tid=26563] ppid=26546 vsize=27314120 memory=280961996781456 CPUtime=0.01 cores=0-7
/proc/26549/task/26563/stat : 26563 (java) S 26546 26546 26503 0 -1 1077944384 503 0 0 0 1 0 0 0 20 0 20 0 421174756 27969658880 31881 33554432000 4194304 4196468 140720970484656 140684272466672 140684900518530 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36085760 140720970490603 140720970491030 140720970491030 140720970493903 0
[pid=26549/tid=26564] ppid=26546 vsize=27314120 memory=280961996788368 CPUtime=0.02 cores=0-7
/proc/26549/task/26564/stat : 26564 (java) R 26546 26546 26503 0 -1 4202560 100 0 0 0 2 0 0 0 20 0 20 0 421174756 27969658880 31881 33554432000 4194304 4196468 140720970484656 140683956448112 140684884896240 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36085760 140720970490603 140720970491030 140720970491030 140720970493903 0
[pid=26549/tid=26565] ppid=26546 vsize=27314120 memory=280961996786064 CPUtime=0 cores=0-7
/proc/26549/task/26565/stat : 26565 (java) S 26546 26546 26503 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 20 0 421174756 27969658880 31881 33554432000 4194304 4196468 140720970484656 140683955395056 140684900518530 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36085760 140720970490603 140720970491030 140720970491030 140720970493903 0
[pid=26549/tid=26566] ppid=26546 vsize=27314120 memory=280961996802224 CPUtime=0.07 cores=0-7
/proc/26549/task/26566/stat : 26566 (java) S 26546 26546 26503 0 -1 1077944384 506 0 0 0 7 0 0 0 20 0 20 0 421174756 27969658880 31881 33554432000 4194304 4196468 140720970484656 140683954342512 140684900518530 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36085760 140720970490603 140720970491030 140720970491030 140720970493903 0
[pid=26549/tid=26567] ppid=26546 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/26549/task/26567/stat : 26567 (java) S 26546 26546 26503 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 421174756 27969658880 31881 33554432000 4194304 4196468 140720970484656 140681787992544 140684900517589 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36085760 140720970490603 140720970491030 140720970491030 140720970493903 0
[pid=26549/tid=26568] ppid=26546 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/26549/task/26568/stat : 26568 (java) S 26546 26546 26503 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421174756 27969658880 31881 33554432000 4194304 4196468 140720970484656 140683953289904 140684900518530 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36085760 140720970490603 140720970491030 140720970491030 140720970493903 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 128920 KiB

[startup+0.700942 s]
/proc/loadavg: 7.63 8.21 7.76 2/217 26568
/proc/meminfo: memFree=30661928/32770624 swapFree=66968600/67108860
[pid=26546] ppid=26543 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/26546/stat : 26546 (scop.sh) S 26543 26546 26503 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 421174748 115843072 349 33554432000 4194304 5098028 140734901112688 140734901109944 139621645755004 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 9789440 140734901121829 140734901122156 140734901122156 140734901125069 0
/proc/26546/statm: 28282 349 296 221 0 87 0
[pid=26549] ppid=26546 vsize=27322440 memory=163152 CPUtime=0.99 cores=0-7
/proc/26549/stat : 26549 (java) S 26546 26546 26503 0 -1 1077944320 19963 0 0 0 91 8 0 0 20 0 20 0 421174749 27978178560 40788 33554432000 4194304 4196468 140720970484656 140720970467200 140684900507383 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 36085760 140720970490603 140720970491030 140720970491030 140720970493903 0
/proc/26549/statm: 6830610 40788 3183 1 0 6791959 0
[pid=26549/tid=26550] ppid=26546 vsize=27322440 memory=280961997097088 CPUtime=0.68 cores=0-7
/proc/26549/task/26550/stat : 26550 (java) R 26546 26546 26503 0 -1 4202560 16937 0 0 0 61 7 0 0 20 0 20 0 421174749 27978178560 40788 33554432000 4194304 4196468 140720970484656 140684872341760 140684900529309 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36085760 140720970490603 140720970491030 140720970491030 140720970493903 0
[pid=26549/tid=26551] ppid=26546 vsize=27322440 memory=5136780887203 CPUtime=0 cores=0-7
/proc/26549/task/26551/stat : 26551 (java) S 26546 26546 26503 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421174751 27978178560 40788 33554432000 4194304 4196468 140720970484656 140684904749584 140684900517589 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36085760 140720970490603 140720970491030 140720970491030 140720970493903 0
[pid=26549/tid=26552] ppid=26546 vsize=27322440 memory=0 CPUtime=0 cores=0-7
/proc/26549/task/26552/stat : 26552 (java) S 26546 26546 26503 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421174751 27978178560 40788 33554432000 4194304 4196468 140720970484656 140684688145040 140684900517589 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36085760 140720970490603 140720970491030 140720970491030 140720970493903 0
[pid=26549/tid=26553] ppid=26546 vsize=27322440 memory=0 CPUtime=0 cores=0-7
/proc/26549/task/26553/stat : 26553 (java) S 26546 26546 26503 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421174751 27978178560 40788 33554432000 4194304 4196468 140720970484656 140684687091984 140684900517589 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36085760 140720970490603 140720970491030 140720970491030 140720970493903 0

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

/proc/26546/statm: 28282 349 296 221 0 87 0
[pid=26549] ppid=26546 vsize=27324564 memory=219016 CPUtime=3.12 cores=0-7
/proc/26549/stat : 26549 (java) S 26546 26546 26503 0 -1 1077944320 23738 0 0 0 300 12 0 0 20 0 20 0 421174749 27980353536 54754 33554432000 4194304 4196468 140720970484656 140720970467200 140684900507383 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 36085760 140720970490603 140720970491030 140720970491030 140720970493903 0
/proc/26549/statm: 6831141 54754 3247 1 0 6792471 0
[pid=26549/tid=26550] ppid=26546 vsize=27324564 memory=7810763844726514514 CPUtime=1.47 cores=0-7
/proc/26549/task/26550/stat : 26550 (java) R 26546 26546 26503 0 -1 4202560 18181 0 0 0 139 8 0 0 20 0 20 0 421174749 27980353536 54754 33554432000 4194304 4196468 140720970484656 140684872344896 140684358012828 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36085760 140720970490603 140720970491030 140720970491030 140720970493903 0
[pid=26549/tid=26551] ppid=26546 vsize=27324564 memory=0 CPUtime=0 cores=0-7
/proc/26549/task/26551/stat : 26551 (java) S 26546 26546 26503 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421174751 27980353536 54754 33554432000 4194304 4196468 140720970484656 140684904749584 140684900517589 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36085760 140720970490603 140720970491030 140720970491030 140720970493903 0
[pid=26549/tid=26552] ppid=26546 vsize=27324564 memory=143 CPUtime=0 cores=0-7
/proc/26549/task/26552/stat : 26552 (java) S 26546 26546 26503 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421174751 27980353536 54754 33554432000 4194304 4196468 140720970484656 140684688145040 140684900517589 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36085760 140720970490603 140720970491030 140720970491030 140720970493903 0
[pid=26549/tid=26553] ppid=26546 vsize=27324564 memory=87 CPUtime=0 cores=0-7
/proc/26549/task/26553/stat : 26553 (java) S 26546 26546 26503 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421174751 27980353536 54754 33554432000 4194304 4196468 140720970484656 140684687091984 140684900517589 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36085760 140720970490603 140720970491030 140720970491030 140720970493903 0
[pid=26549/tid=26554] ppid=26546 vsize=27324564 memory=0 CPUtime=0 cores=0-7
/proc/26549/task/26554/stat : 26554 (java) S 26546 26546 26503 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421174751 27980353536 54754 33554432000 4194304 4196468 140720970484656 140684686039440 140684900517589 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36085760 140720970490603 140720970491030 140720970491030 140720970493903 0
[pid=26549/tid=26555] ppid=26546 vsize=27324564 memory=8028676333680759155 CPUtime=0 cores=0-7
/proc/26549/task/26555/stat : 26555 (java) S 26546 26546 26503 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421174751 27980353536 54754 33554432000 4194304 4196468 140720970484656 140684684987408 140684900517589 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36085760 140720970490603 140720970491030 140720970491030 140720970493903 0
[pid=26549/tid=26556] ppid=26546 vsize=27324564 memory=-7606742951091920751 CPUtime=0 cores=0-7
/proc/26549/task/26556/stat : 26556 (java) S 26546 26546 26503 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421174751 27980353536 54754 33554432000 4194304 4196468 140720970484656 140684683934864 140684900517589 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36085760 140720970490603 140720970491030 140720970491030 140720970493903 0
[pid=26549/tid=26557] ppid=26546 vsize=27324564 memory=6944656592455360569 CPUtime=0 cores=0-7
/proc/26549/task/26557/stat : 26557 (java) S 26546 26546 26503 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421174751 27980353536 54754 33554432000 4194304 4196468 140720970484656 140684682881808 140684900517589 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36085760 140720970490603 140720970491030 140720970491030 140720970493903 0
[pid=26549/tid=26558] ppid=26546 vsize=27324564 memory=-7606742951091920751 CPUtime=0 cores=0-7
/proc/26549/task/26558/stat : 26558 (java) S 26546 26546 26503 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 421174751 27980353536 54754 33554432000 4194304 4196468 140720970484656 140684681829264 140684900517589 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36085760 140720970490603 140720970491030 140720970491030 140720970493903 0
[pid=26549/tid=26559] ppid=26546 vsize=27324564 memory=8475934422144292502 CPUtime=0 cores=0-7
/proc/26549/task/26559/stat : 26559 (java) S 26546 26546 26503 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 421174753 27980353536 54754 33554432000 4194304 4196468 140720970484656 140684273518832 140684900518530 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36085760 140720970490603 140720970491030 140720970491030 140720970493903 0
[pid=26549/tid=26560] ppid=26546 vsize=27324564 memory=3624 CPUtime=0 cores=0-7
/proc/26549/task/26560/stat : 26560 (java) S 26546 26546 26503 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 421174753 27980353536 54754 33554432000 4194304 4196468 140720970484656 140682794624160 140684900517589 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36085760 140720970490603 140720970491030 140720970491030 140720970493903 0
[pid=26549/tid=26561] ppid=26546 vsize=27324564 memory=0 CPUtime=0 cores=0-7
/proc/26549/task/26561/stat : 26561 (java) S 26546 26546 26503 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 421174753 27980353536 54754 33554432000 4194304 4196468 140720970484656 140682660401904 140684900517589 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36085760 140720970490603 140720970491030 140720970491030 140720970493903 0
[pid=26549/tid=26562] ppid=26546 vsize=27324564 memory=140480998599296 CPUtime=0 cores=0-7
/proc/26549/task/26562/stat : 26562 (java) S 26546 26546 26503 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421174756 27980353536 54754 33554432000 4194304 4196468 140720970484656 140682285897680 140684900525979 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36085760 140720970490603 140720970491030 140720970491030 140720970493903 0
[pid=26549/tid=26563] ppid=26546 vsize=27324564 memory=140480998599392 CPUtime=0.36 cores=0-7
/proc/26549/task/26563/stat : 26563 (java) S 26546 26546 26503 0 -1 1077944384 1135 0 0 0 36 0 0 0 20 0 20 0 421174756 27980353536 54754 33554432000 4194304 4196468 140720970484656 140684272466672 140684900518530 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36085760 140720970490603 140720970491030 140720970491030 140720970493903 0
[pid=26549/tid=26564] ppid=26546 vsize=27324564 memory=140480998599488 CPUtime=0.29 cores=0-7
/proc/26549/task/26564/stat : 26564 (java) S 26546 26546 26503 0 -1 1077944384 468 0 0 0 29 0 0 0 20 0 20 0 421174756 27980353536 54754 33554432000 4194304 4196468 140720970484656 140683956448112 140684900518530 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36085760 140720970490603 140720970491030 140720970491030 140720970493903 0
[pid=26549/tid=26565] ppid=26546 vsize=27324564 memory=140480998599584 CPUtime=0.28 cores=0-7
/proc/26549/task/26565/stat : 26565 (java) S 26546 26546 26503 0 -1 1077944384 561 0 0 0 27 1 0 0 20 0 20 0 421174756 27980353536 54754 33554432000 4194304 4196468 140720970484656 140683955395056 140684900518530 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36085760 140720970490603 140720970491030 140720970491030 140720970493903 0
[pid=26549/tid=26566] ppid=26546 vsize=27324564 memory=140480998599680 CPUtime=0.67 cores=0-7
/proc/26549/task/26566/stat : 26566 (java) R 26546 26546 26503 0 -1 4202560 2032 0 0 0 67 0 0 0 20 0 20 0 421174756 27980353536 54754 33554432000 4194304 4196468 140720970484656 140683954342512 140684879378581 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36085760 140720970490603 140720970491030 140720970491030 140720970493903 0
[pid=26549/tid=26567] ppid=26546 vsize=27324564 memory=0 CPUtime=0 cores=0-7
/proc/26549/task/26567/stat : 26567 (java) S 26546 26546 26503 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 421174756 27980353536 54754 33554432000 4194304 4196468 140720970484656 140681787992544 140684900517589 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36085760 140720970490603 140720970491030 140720970491030 140720970493903 0
[pid=26549/tid=26568] ppid=26546 vsize=27324564 memory=4420 CPUtime=0 cores=0-7
/proc/26549/task/26568/stat : 26568 (java) S 26546 26546 26503 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421174756 27980353536 54754 33554432000 4194304 4196468 140720970484656 140683953289904 140684900518530 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36085760 140720970490603 140720970491030 140720970491030 140720970493903 0
Current children cumulated CPU time: 3.12 s
Current children cumulated vsize: 27437692 KiB
Current children cumulated memory: 220412 KiB

[startup+3.11066 s]
/proc/loadavg: 7.63 8.21 7.76 5/220 26602
/proc/meminfo: memFree=30689832/32770624 swapFree=66968600/67108860
[pid=26546] ppid=26543 vsize=113128 memory=1476 CPUtime=5.03 cores=0-7
/proc/26546/stat : 26546 (scop.sh) S 26543 26546 26503 0 -1 4202496 581 26906 0 0 0 0 486 17 20 0 1 0 421174748 115843072 369 33554432000 4194304 5098028 140734901112688 140734901109432 139621645755004 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 9789440 140734901121829 140734901122156 140734901122156 140734901125069 0
/proc/26546/statm: 28282 369 311 221 0 87 0
[pid=26569] ppid=26546 vsize=8151972 memory=130596 CPUtime=2.61 cores=0-7
/proc/26569/stat : 26569 (java) S 26546 26546 26503 0 -1 1077944320 21059 7705 0 0 132 8 120 1 20 0 21 0 421174953 8347619328 32649 33554432000 4194304 4196468 140722889530256 140722889512800 140475515858679 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 12111872 140722889536503 140722889536662 140722889536662 140722889539535 0
/proc/26569/statm: 2037993 32649 3215 1 0 1999337 0
[pid=26569/tid=26570] ppid=26546 vsize=8151972 memory=1476 CPUtime=2.05 cores=0-7
/proc/26569/task/26570/stat : 26570 (java) S 26546 26546 26503 0 -1 1077944384 17242 7705 0 0 79 5 120 1 20 0 21 0 421174953 8347619328 32649 33554432000 4194304 4196468 140722889530256 140475487702160 140475515868885 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12111872 140722889536503 140722889536662 140722889536662 140722889539535 0
[pid=26569/tid=26571] ppid=26546 vsize=8151972 memory=56 CPUtime=1.21 cores=0-7
/proc/26569/task/26571/stat : 26571 (java) S 26546 26546 26503 0 -1 1077944384 2 7705 0 0 0 0 120 1 20 0 21 0 421174954 8347619328 32649 33554432000 4194304 4196468 140722889530256 140475520101392 140475515868885 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12111872 140722889536503 140722889536662 140722889536662 140722889539535 0
[pid=26569/tid=26572] ppid=26546 vsize=8151972 memory=13806 CPUtime=1.21 cores=0-7
/proc/26569/task/26572/stat : 26572 (java) S 26546 26546 26503 0 -1 1077944384 3 7705 0 0 0 0 120 1 20 0 21 0 421174954 8347619328 32649 33554432000 4194304 4196468 140722889530256 140475320269968 140475515868885 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12111872 140722889536503 140722889536662 140722889536662 140722889539535 0
[pid=26569/tid=26573] ppid=26546 vsize=8151972 memory=22791 CPUtime=1.21 cores=0-7
/proc/26569/task/26573/stat : 26573 (java) S 26546 26546 26503 0 -1 1077944384 2 7705 0 0 0 0 120 1 20 0 21 0 421174954 8347619328 32649 33554432000 4194304 4196468 140722889530256 140475319216912 140475515868885 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12111872 140722889536503 140722889536662 140722889536662 140722889539535 0
[pid=26569/tid=26574] ppid=26546 vsize=8151972 memory=716 CPUtime=1.21 cores=0-7
/proc/26569/task/26574/stat : 26574 (java) S 26546 26546 26503 0 -1 1077944384 1 7705 0 0 0 0 120 1 20 0 21 0 421174954 8347619328 32649 33554432000 4194304 4196468 140722889530256 140475318164368 140475515868885 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12111872 140722889536503 140722889536662 140722889536662 140722889539535 0
[pid=26569/tid=26575] ppid=26546 vsize=8151972 memory=776 CPUtime=1.21 cores=0-7
/proc/26569/task/26575/stat : 26575 (java) S 26546 26546 26503 0 -1 1077944384 2 7705 0 0 0 0 120 1 20 0 21 0 421174954 8347619328 32649 33554432000 4194304 4196468 140722889530256 140475317111312 140475515868885 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12111872 140722889536503 140722889536662 140722889536662 140722889539535 0
[pid=26569/tid=26576] ppid=26546 vsize=8151972 memory=1052 CPUtime=1.21 cores=0-7
/proc/26569/task/26576/stat : 26576 (java) S 26546 26546 26503 0 -1 1077944384 3 7705 0 0 0 0 120 1 20 0 21 0 421174954 8347619328 32649 33554432000 4194304 4196468 140722889530256 140475316058768 140475515868885 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12111872 140722889536503 140722889536662 140722889536662 140722889539535 0
[pid=26569/tid=26577] ppid=26546 vsize=8151972 memory=2832 CPUtime=1.21 cores=0-7
/proc/26569/task/26577/stat : 26577 (java) S 26546 26546 26503 0 -1 1077944384 1 7705 0 0 0 0 120 1 20 0 21 0 421174954 8347619328 32649 33554432000 4194304 4196468 140722889530256 140475315005712 140475515868885 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12111872 140722889536503 140722889536662 140722889536662 140722889539535 0
[pid=26569/tid=26578] ppid=26546 vsize=8151972 memory=9328 CPUtime=1.21 cores=0-7
/proc/26569/task/26578/stat : 26578 (java) S 26546 26546 26503 0 -1 1077944384 3 7705 0 0 0 0 120 1 20 0 21 0 421174954 8347619328 32649 33554432000 4194304 4196468 140722889530256 140475313953168 140475515868885 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12111872 140722889536503 140722889536662 140722889536662 140722889539535 0
[pid=26569/tid=26579] ppid=26546 vsize=8151972 memory=1716 CPUtime=1.21 cores=0-7
/proc/26569/task/26579/stat : 26579 (java) S 26546 26546 26503 0 -1 1077944384 5 7705 0 0 0 0 120 1 20 0 21 0 421174956 8347619328 32649 33554432000 4194304 4196468 140722889530256 140474475027392 140475515869826 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12111872 140722889536503 140722889536662 140722889536662 140722889539535 0
[pid=26569/tid=26580] ppid=26546 vsize=8151972 memory=56 CPUtime=1.21 cores=0-7
/proc/26569/task/26580/stat : 26580 (java) S 26546 26546 26503 0 -1 1077944384 13 7705 0 0 0 0 120 1 20 0 21 0 421174956 8347619328 32649 33554432000 4194304 4196468 140722889530256 140474153166496 140475515868885 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12111872 140722889536503 140722889536662 140722889536662 140722889539535 0
[pid=26569/tid=26581] ppid=26546 vsize=8151972 memory=8514726395715218844 CPUtime=1.21 cores=0-7
/proc/26569/task/26581/stat : 26581 (java) S 26546 26546 26503 0 -1 1077944384 1 7705 0 0 0 0 120 1 20 0 21 0 421174956 8347619328 32649 33554432000 4194304 4196468 140722889530256 140473884730608 140475515868885 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12111872 140722889536503 140722889536662 140722889536662 140722889539535 0
[pid=26569/tid=26582] ppid=26546 vsize=8151972 memory=5450916479948256810 CPUtime=1.21 cores=0-7
/proc/26569/task/26582/stat : 26582 (java) S 26546 26546 26503 0 -1 1077944384 22 7705 0 0 0 0 120 1 20 0 21 0 421174959 8347619328 32649 33554432000 4194304 4196468 140722889530256 140473510219056 140475515868885 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12111872 140722889536503 140722889536662 140722889536662 140722889539535 0
[pid=26569/tid=26583] ppid=26546 vsize=8151972 memory=4638778398332768356 CPUtime=1.25 cores=0-7
/proc/26569/task/26583/stat : 26583 (java) S 26546 26546 26503 0 -1 1077944384 445 7705 0 0 4 0 120 1 20 0 21 0 421174959 8347619328 32649 33554432000 4194304 4196468 140722889530256 140474473974000 140475515869826 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12111872 140722889536503 140722889536662 140722889536662 140722889539535 0
[pid=26569/tid=26584] ppid=26546 vsize=8151972 memory=0 CPUtime=1.3 cores=0-7
/proc/26569/task/26584/stat : 26584 (java) S 26546 26546 26503 0 -1 1077944384 294 7705 0 0 9 0 120 1 20 0 21 0 421174959 8347619328 32649 33554432000 4194304 4196468 140722889530256 140474472921456 140475515869826 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12111872 140722889536503 140722889536662 140722889536662 140722889539535 0
[pid=26569/tid=26585] ppid=26546 vsize=8151972 memory=0 CPUtime=1.29 cores=0-7
/proc/26569/task/26585/stat : 26585 (java) S 26546 26546 26503 0 -1 1077944384 436 7705 0 0 8 0 120 1 20 0 21 0 421174959 8347619328 32649 33554432000 4194304 4196468 140722889530256 140474471852944 140475515868885 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12111872 140722889536503 140722889536662 140722889536662 140722889539535 0
[pid=26569/tid=26586] ppid=26546 vsize=8151972 memory=0 CPUtime=1.47 cores=0-7
/proc/26569/task/26586/stat : 26586 (java) S 26546 26546 26503 0 -1 1077944384 666 7705 0 0 26 0 120 1 20 0 21 0 421174959 8347619328 32649 33554432000 4194304 4196468 140722889530256 140474470815856 140475515869826 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12111872 140722889536503 140722889536662 140722889536662 140722889539535 0
[pid=26569/tid=26587] ppid=26546 vsize=8151972 memory=1216 CPUtime=1.21 cores=0-7
/proc/26569/task/26587/stat : 26587 (java) S 26546 26546 26503 0 -1 1077944384 3 7705 0 0 0 0 120 1 20 0 21 0 421174959 8347619328 32649 33554432000 4194304 4196468 140722889530256 140473012317152 140475515868885 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12111872 140722889536503 140722889536662 140722889536662 140722889539535 0
[pid=26569/tid=26590] ppid=26546 vsize=8151972 memory=7996 CPUtime=1.21 cores=0-7
/proc/26569/task/26590/stat : 26590 (java) S 26546 26546 26503 0 -1 1077944384 28 7705 0 0 0 0 120 1 20 0 21 0 421175024 8347619328 32649 33554432000 4194304 4196468 140722889530256 140474461729424 140475515869826 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12111872 140722889536503 140722889536662 140722889536662 140722889539535 0
[pid=26569/tid=26594] ppid=26546 vsize=8151972 memory=1560 CPUtime=1.21 cores=0-7
/proc/26569/task/26594/stat : 26594 (java) S 26546 26546 26503 0 -1 1077944384 13 7705 0 0 0 0 120 1 20 0 21 0 421175027 8347619328 32649 33554432000 4194304 4196468 140722889530256 140472072790704 140475515869826 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12111872 140722889536503 140722889536662 140722889536662 140722889539535 0
Current children cumulated CPU time: 7.64 s
Current children cumulated vsize: 8265100 KiB
Current children cumulated memory: 132072 KiB

[startup+3.11823 s]
# the end of solver process 26546 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=7.39508 s, system=0.275167 s

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

[startup+3.11066 s]
/proc/loadavg: 7.63 8.21 7.76 5/220 26602
/proc/meminfo: memFree=30689832/32770624 swapFree=66968600/67108860
[pid=26546] ppid=26543 vsize=113128 memory=1476 CPUtime=5.03 cores=0-7
/proc/26546/stat : 26546 (scop.sh) S 26543 26546 26503 0 -1 4202496 581 26906 0 0 0 0 486 17 20 0 1 0 421174748 115843072 369 33554432000 4194304 5098028 140734901112688 140734901109432 139621645755004 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 9789440 140734901121829 140734901122156 140734901122156 140734901125069 0
/proc/26546/statm: 28282 369 311 221 0 87 0
[pid=26569] ppid=26546 vsize=8151972 memory=130596 CPUtime=2.61 cores=0-7
/proc/26569/stat : 26569 (java) S 26546 26546 26503 0 -1 1077944320 21059 7705 0 0 132 8 120 1 20 0 21 0 421174953 8347619328 32649 33554432000 4194304 4196468 140722889530256 140722889512800 140475515858679 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 12111872 140722889536503 140722889536662 140722889536662 140722889539535 0
/proc/26569/statm: 2037993 32649 3215 1 0 1999337 0
[pid=26569/tid=26570] ppid=26546 vsize=8151972 memory=1476 CPUtime=2.05 cores=0-7
/proc/26569/task/26570/stat : 26570 (java) S 26546 26546 26503 0 -1 1077944384 17242 7705 0 0 79 5 120 1 20 0 21 0 421174953 8347619328 32649 33554432000 4194304 4196468 140722889530256 140475487702160 140475515868885 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12111872 140722889536503 140722889536662 140722889536662 140722889539535 0
[pid=26569/tid=26571] ppid=26546 vsize=8151972 memory=56 CPUtime=1.21 cores=0-7
/proc/26569/task/26571/stat : 26571 (java) S 26546 26546 26503 0 -1 1077944384 2 7705 0 0 0 0 120 1 20 0 21 0 421174954 8347619328 32649 33554432000 4194304 4196468 140722889530256 140475520101392 140475515868885 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12111872 140722889536503 140722889536662 140722889536662 140722889539535 0
[pid=26569/tid=26572] ppid=26546 vsize=8151972 memory=13806 CPUtime=1.21 cores=0-7
/proc/26569/task/26572/stat : 26572 (java) S 26546 26546 26503 0 -1 1077944384 3 7705 0 0 0 0 120 1 20 0 21 0 421174954 8347619328 32649 33554432000 4194304 4196468 140722889530256 140475320269968 140475515868885 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12111872 140722889536503 140722889536662 140722889536662 140722889539535 0
[pid=26569/tid=26573] ppid=26546 vsize=8151972 memory=22791 CPUtime=1.21 cores=0-7
/proc/26569/task/26573/stat : 26573 (java) S 26546 26546 26503 0 -1 1077944384 2 7705 0 0 0 0 120 1 20 0 21 0 421174954 8347619328 32649 33554432000 4194304 4196468 140722889530256 140475319216912 140475515868885 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12111872 140722889536503 140722889536662 140722889536662 140722889539535 0
[pid=26569/tid=26574] ppid=26546 vsize=8151972 memory=716 CPUtime=1.21 cores=0-7
/proc/26569/task/26574/stat : 26574 (java) S 26546 26546 26503 0 -1 1077944384 1 7705 0 0 0 0 120 1 20 0 21 0 421174954 8347619328 32649 33554432000 4194304 4196468 140722889530256 140475318164368 140475515868885 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12111872 140722889536503 140722889536662 140722889536662 140722889539535 0
[pid=26569/tid=26575] ppid=26546 vsize=8151972 memory=776 CPUtime=1.21 cores=0-7
/proc/26569/task/26575/stat : 26575 (java) S 26546 26546 26503 0 -1 1077944384 2 7705 0 0 0 0 120 1 20 0 21 0 421174954 8347619328 32649 33554432000 4194304 4196468 140722889530256 140475317111312 140475515868885 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12111872 140722889536503 140722889536662 140722889536662 140722889539535 0
[pid=26569/tid=26576] ppid=26546 vsize=8151972 memory=1052 CPUtime=1.21 cores=0-7
/proc/26569/task/26576/stat : 26576 (java) S 26546 26546 26503 0 -1 1077944384 3 7705 0 0 0 0 120 1 20 0 21 0 421174954 8347619328 32649 33554432000 4194304 4196468 140722889530256 140475316058768 140475515868885 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12111872 140722889536503 140722889536662 140722889536662 140722889539535 0
[pid=26569/tid=26577] ppid=26546 vsize=8151972 memory=2832 CPUtime=1.21 cores=0-7
/proc/26569/task/26577/stat : 26577 (java) S 26546 26546 26503 0 -1 1077944384 1 7705 0 0 0 0 120 1 20 0 21 0 421174954 8347619328 32649 33554432000 4194304 4196468 140722889530256 140475315005712 140475515868885 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12111872 140722889536503 140722889536662 140722889536662 140722889539535 0
[pid=26569/tid=26578] ppid=26546 vsize=8151972 memory=9328 CPUtime=1.21 cores=0-7
/proc/26569/task/26578/stat : 26578 (java) S 26546 26546 26503 0 -1 1077944384 3 7705 0 0 0 0 120 1 20 0 21 0 421174954 8347619328 32649 33554432000 4194304 4196468 140722889530256 140475313953168 140475515868885 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12111872 140722889536503 140722889536662 140722889536662 140722889539535 0
[pid=26569/tid=26579] ppid=26546 vsize=8151972 memory=1716 CPUtime=1.21 cores=0-7
/proc/26569/task/26579/stat : 26579 (java) S 26546 26546 26503 0 -1 1077944384 5 7705 0 0 0 0 120 1 20 0 21 0 421174956 8347619328 32649 33554432000 4194304 4196468 140722889530256 140474475027392 140475515869826 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12111872 140722889536503 140722889536662 140722889536662 140722889539535 0
[pid=26569/tid=26580] ppid=26546 vsize=8151972 memory=56 CPUtime=1.21 cores=0-7
/proc/26569/task/26580/stat : 26580 (java) S 26546 26546 26503 0 -1 1077944384 13 7705 0 0 0 0 120 1 20 0 21 0 421174956 8347619328 32649 33554432000 4194304 4196468 140722889530256 140474153166496 140475515868885 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12111872 140722889536503 140722889536662 140722889536662 140722889539535 0
[pid=26569/tid=26581] ppid=26546 vsize=8151972 memory=8514726395715218844 CPUtime=1.21 cores=0-7
/proc/26569/task/26581/stat : 26581 (java) S 26546 26546 26503 0 -1 1077944384 1 7705 0 0 0 0 120 1 20 0 21 0 421174956 8347619328 32649 33554432000 4194304 4196468 140722889530256 140473884730608 140475515868885 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12111872 140722889536503 140722889536662 140722889536662 140722889539535 0
[pid=26569/tid=26582] ppid=26546 vsize=8151972 memory=5450916479948256810 CPUtime=1.21 cores=0-7
/proc/26569/task/26582/stat : 26582 (java) S 26546 26546 26503 0 -1 1077944384 22 7705 0 0 0 0 120 1 20 0 21 0 421174959 8347619328 32649 33554432000 4194304 4196468 140722889530256 140473510219056 140475515868885 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12111872 140722889536503 140722889536662 140722889536662 140722889539535 0
[pid=26569/tid=26583] ppid=26546 vsize=8151972 memory=4638778398332768356 CPUtime=1.25 cores=0-7
/proc/26569/task/26583/stat : 26583 (java) S 26546 26546 26503 0 -1 1077944384 445 7705 0 0 4 0 120 1 20 0 21 0 421174959 8347619328 32649 33554432000 4194304 4196468 140722889530256 140474473974000 140475515869826 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12111872 140722889536503 140722889536662 140722889536662 140722889539535 0
[pid=26569/tid=26584] ppid=26546 vsize=8151972 memory=0 CPUtime=1.3 cores=0-7
/proc/26569/task/26584/stat : 26584 (java) S 26546 26546 26503 0 -1 1077944384 294 7705 0 0 9 0 120 1 20 0 21 0 421174959 8347619328 32649 33554432000 4194304 4196468 140722889530256 140474472921456 140475515869826 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12111872 140722889536503 140722889536662 140722889536662 140722889539535 0
[pid=26569/tid=26585] ppid=26546 vsize=8151972 memory=0 CPUtime=1.29 cores=0-7
/proc/26569/task/26585/stat : 26585 (java) S 26546 26546 26503 0 -1 1077944384 436 7705 0 0 8 0 120 1 20 0 21 0 421174959 8347619328 32649 33554432000 4194304 4196468 140722889530256 140474471852944 140475515868885 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12111872 140722889536503 140722889536662 140722889536662 140722889539535 0
[pid=26569/tid=26586] ppid=26546 vsize=8151972 memory=0 CPUtime=1.47 cores=0-7
/proc/26569/task/26586/stat : 26586 (java) S 26546 26546 26503 0 -1 1077944384 666 7705 0 0 26 0 120 1 20 0 21 0 421174959 8347619328 32649 33554432000 4194304 4196468 140722889530256 140474470815856 140475515869826 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12111872 140722889536503 140722889536662 140722889536662 140722889539535 0
[pid=26569/tid=26587] ppid=26546 vsize=8151972 memory=1216 CPUtime=1.21 cores=0-7
/proc/26569/task/26587/stat : 26587 (java) S 26546 26546 26503 0 -1 1077944384 3 7705 0 0 0 0 120 1 20 0 21 0 421174959 8347619328 32649 33554432000 4194304 4196468 140722889530256 140473012317152 140475515868885 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12111872 140722889536503 140722889536662 140722889536662 140722889539535 0
[pid=26569/tid=26590] ppid=26546 vsize=8151972 memory=7996 CPUtime=1.21 cores=0-7
/proc/26569/task/26590/stat : 26590 (java) S 26546 26546 26503 0 -1 1077944384 28 7705 0 0 0 0 120 1 20 0 21 0 421175024 8347619328 32649 33554432000 4194304 4196468 140722889530256 140474461729424 140475515869826 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12111872 140722889536503 140722889536662 140722889536662 140722889539535 0
[pid=26569/tid=26594] ppid=26546 vsize=8151972 memory=1560 CPUtime=1.21 cores=0-7
/proc/26569/task/26594/stat : 26594 (java) S 26546 26546 26503 0 -1 1077944384 13 7705 0 0 0 0 120 1 20 0 21 0 421175027 8347619328 32649 33554432000 4194304 4196468 140722889530256 140472072790704 140475515869826 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12111872 140722889536503 140722889536662 140722889536662 140722889539535 0
Current children cumulated CPU time: 7.64 s
Current children cumulated vsize: 8265100 KiB
Current children cumulated memory: 132072 KiB

Child status: 0
Real time (s): 3.11826
CPU time (s): 7.67024
CPU user time (s): 7.39508
CPU system time (s): 0.275167
CPU usage (%): 245.978
Max. virtual memory (cumulated for all children) (KiB): 27441876
Max. memory (cumulated for all children) (KiB): 337312

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7.39508
system time used= 0.275167
maximum resident set size= 339088
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 56268
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1232
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 9141
involuntary context switches= 30


# summary of solver processes directly reported to runsolver:
#   pid: 26546
#   total CPU time (s): 7.67024
#   total CPU user time (s): 7.39508
#   total CPU system time (s): 0.275167

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.037456 second user time and 0.090966 second system time

The end

Launcher Data 

Begin job on node135 at 2019-09-14 10:20:12
IDJOB=4392283
IDBENCH=141704
IDSOLVER=2838
FILE ID=node135/4392283-1568449252
RUNJOBID= node135-1568449212-26530
PBS_JOBID= 21702361
Free space on /tmp= 61376 MiB

SOLVER NAME= Fun-sCOP order+ManyGlucose (2019-06-15)
BENCH NAME= XCSP19/ConsecutiveSquarePacking/ConsecutiveSquarePacking-sp-20-054.xml
COMMAND LINE= DIR/scop.sh 22g DIR/scop.jar -order DIR/manyglucose-4.1-27_release -model:-nthreads=NBCORE:-maxmemory=20000:-lit-scans=6000000 TMPDIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4392283-1568449252/watcher-4392283-1568449252 -o /tmp/evaluation-result-4392283-1568449252/solver-4392283-1568449252 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node135-1568449212-26530 --watchdog 2580  HOME/scop.sh 22g HOME/scop.jar -order HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4392283-1568449252.xml

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

MD5SUM BENCH= 3ff211d871d85a956d1d429dedc73eaa
RANDOM SEED=1109052938

node135.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.76
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.76
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.76
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.76
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:        30802116 kB
MemAvailable:   31862444 kB
Buffers:          174848 kB
Cached:          1154352 kB
SwapCached:        34476 kB
Active:           562740 kB
Inactive:         804656 kB
Active(anon):      10688 kB
Inactive(anon):    60680 kB
Active(file):     552052 kB
Inactive(file):   743976 kB
Unevictable:      110284 kB
Mlocked:          110284 kB
SwapTotal:      67108860 kB
SwapFree:       66968600 kB
Dirty:             20640 kB
Writeback:             0 kB
AnonPages:        114308 kB
Mapped:            37304 kB
Shmem:             24532 kB
Slab:             190692 kB
SReclaimable:     160268 kB
SUnreclaim:        30424 kB
KernelStack:        3376 kB
PageTables:         5236 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     497596 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     71680 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      134528 kB
DirectMap2M:    33411072 kB

Free space on /tmp at the end= 61356 MiB
End job on node135 at 2019-09-14 10:20:15