Trace number 4405594

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Fun-sCOP hybrid+ManyGlucose (2019-09-22)UNSAT 1778.37 1609.36

General information on the benchmark

NameRoomMate/
RoomMate-int-s1/RoomMate-sr1000c-int.xml
MD5SUM2ff4403728a82746813109e0b9ab6660
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark495.64
Satisfiable
(Un)Satisfiability was proved
Number of variables1000
Number of constraints1998000
Number of domains1
Minimum domain size999
Maximum domain size999
Distribution of domain sizes[{"size":999,"count":1000}]
Minimum variable degree3996
Maximum variable degree3996
Distribution of variable degrees[{"degree":3996,"count":1000}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":1998000}]
Number of extensional constraints0
Number of intensional constraints1998000
Distribution of constraint types[{"type":"intension","count":1998000}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c (scop.sh) java -Xms22g -Xmx22g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Encode -hybrid -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-15650-serial-file.bin HOME/instance-4405594-1569336944.xml
0.65/0.54	
0.65/0.54	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
0.65/0.54	
0.65/0.57	c BEGIN-Prog: Tue Sep 24 16:55:02 CEST 2019
0.65/0.57	c PID: 15653
0.65/0.57	c IP: 172.20.3.147
0.65/0.57	c HOST: node147.alineos.net
0.65/0.57	c (0,0) Parsing Begin
145.36/95.10	c (94,88) Parsing End
145.48/95.11	c (94,88) CSP: 1000 int (0 aux), 0 bool (0 aux), 1998000 ctr, max domain size 999
145.48/95.12	c (94,88) Heap : 3394 MiB used (max 21019 MiB), NonHeap : 24 MiB used (max 0 MiB)
145.48/95.12	c (94,88) Constraint Name Generate Begin
150.66/100.20	c (99,93) Ctr:HOME/instance-4405594-1569336944.xml,Eq:Imp:Le:Num:Var
150.66/100.20	c (99,93) Constraint Name Generate End
150.66/100.20	c (99,93) Heap : 4741 MiB used (max 21019 MiB), NonHeap : 23 MiB used (max 0 MiB)
150.66/100.20	c (99,93) CSP to CSPinCNF Begin
158.10/106.61	c (106,99) translated 199800 (10%) constraints
169.23/113.24	c (112,105) translated 399600 (20%) constraints
175.20/119.16	c (118,111) translated 599400 (30%) constraints
181.10/125.09	c (124,117) translated 799200 (40%) constraints
199.32/132.56	c (132,123) translated 999000 (50%) constraints
205.55/138.57	c (138,129) translated 1198800 (60%) constraints
211.55/144.57	c (144,135) translated 1398600 (70%) constraints
221.48/151.08	c (150,141) translated 1598400 (80%) constraints
227.48/157.09	c (156,147) translated 1798200 (90%) constraints
233.54/163.09	c (162,153) translated 1998000 (100%) constraints
233.54/163.09	c (162,153) ===========================================
233.98/163.49	c (162,153) Hybrid: #OE=1000, #LE=0
233.98/163.49	c (162,153) Hybrid
233.98/163.49	c (162,153) ===========================================
237.84/166.61	c (166,156) translated 199800 (10%) constraints
240.86/169.69	c (169,160) translated 399600 (20%) constraints
248.40/173.30	c (172,163) translated 599400 (30%) constraints
251.40/176.30	c (175,166) translated 799200 (40%) constraints
254.30/179.28	c (178,169) translated 999000 (50%) constraints
273.66/193.34	c (192,182) translated 1198800 (60%) constraints
291.91/207.23	c (206,195) translated 1398600 (70%) constraints
310.59/220.92	c (220,208) translated 1598400 (80%) constraints
330.29/235.31	c (234,222) translated 1798200 (90%) constraints
349.18/249.05	c (248,235) translated 1998000 (100%) constraints
349.18/249.05	c (248,235) CSP to CSPinCNF End
349.47/249.36	c (248,235) CSP: 1000 int (0 aux), 999000 bool (999000 aux), 3996000 ctr, max domain size 999
349.47/249.36	c (248,235) Heap : 9194 MiB used (max 21421 MiB), NonHeap : 27 MiB used (max 0 MiB)
349.47/249.36	c (248,235) CSPinCNF Propagation Begin
1767.27/1601.31	c (1600,1578) 1780938 values, 2689286 unsatisfiable literals, and 3659834 valid clauses are removed
1767.27/1601.31	c (1600,1578) CSPinCNF Propagation End
1767.57/1601.69	c (1601,1578) CSP: 983 int (0 aux), 999017 bool (999000 aux), 336166 ctr, max domain size 747
1767.57/1601.69	c (1601,1578) Heap : 10618 MiB used (max 21682 MiB), NonHeap : 26 MiB used (max 0 MiB)
1767.79/1601.84	c (1601,1578) Hybrid: #OE=1000000, #LE=0
1767.79/1601.84	c (1601,1578) Simplify CSPinCNF Begin
1768.61/1602.42	c (1601,1579) Simplify CSPinCNF End
1768.91/1602.79	c (1602,1579) CSP: 983 int (0 aux), 999017 bool (999000 aux), 336166 ctr, max domain size 747
1768.91/1602.79	c (1602,1579) Heap : 10966 MiB used (max 21682 MiB), NonHeap : 26 MiB used (max 0 MiB)
1768.91/1602.79	c (1602,1579) Calculate Precise Domain Begin
1768.91/1602.79	c (1602,1579) 0 values are removed by re-calculation
1768.91/1602.79	c (1602,1579) Calculate Precise Domain End
1769.32/1603.17	c (1602,1580) CSP: 983 int (0 aux), 999017 bool (999000 aux), 336166 ctr, max domain size 747
1769.32/1603.17	c (1602,1580) Heap : 10966 MiB used (max 21682 MiB), NonHeap : 26 MiB used (max 0 MiB)
1769.32/1603.17	c (1602,1580) CSPinCNF to SatSolver Begin
1772.68/1604.85	c (1604,1581) 33617 (10 %) CSP clauses are encoded (0 SAT variables, 140276 SAT clauses)
1772.94/1605.10	c (1604,1582) 67234 (20 %) CSP clauses are encoded (0 SAT variables, 173893 SAT clauses)
1773.23/1605.34	c (1604,1582) 100850 (30 %) CSP clauses are encoded (0 SAT variables, 207509 SAT clauses)
1773.43/1605.57	c (1605,1582) 134467 (40 %) CSP clauses are encoded (0 SAT variables, 241126 SAT clauses)
1773.73/1605.81	c (1605,1582) 168083 (50 %) CSP clauses are encoded (0 SAT variables, 274742 SAT clauses)
1773.95/1606.04	c (1605,1583) 201700 (60 %) CSP clauses are encoded (0 SAT variables, 308359 SAT clauses)
1774.14/1606.28	c (1605,1583) 235317 (70 %) CSP clauses are encoded (0 SAT variables, 341976 SAT clauses)
1774.44/1606.51	c (1605,1583) 268933 (80 %) CSP clauses are encoded (0 SAT variables, 375592 SAT clauses)
1774.64/1606.75	c (1606,1583) 302550 (90 %) CSP clauses are encoded (0 SAT variables, 409209 SAT clauses)
1774.84/1606.98	c (1606,1583) 336166 (100 %) CSP clauses are encoded (0 SAT variables, 442825 SAT clauses)
1774.84/1606.98	c (1606,1583) CSPinCNF to SatSolver End
1774.84/1606.98	c (1606,1583) Heap : 14103 MiB used (max 21682 MiB), NonHeap : 29 MiB used (max 0 MiB)
1774.84/1606.98	c (1606,1583) 216062 bool, 442826 clause
1774.84/1606.98	c (1606,1583) Export Begin
1775.19/1607.13	c (1606,1584) Export to HOME/scop-15650-serial-file.bin
1775.19/1607.13	c (1606,1584) Export End
1775.19/1607.13	c (1606,1584) Export File Size: 0.16 MB
1775.19/1607.13	c (1606,1584) 94,99,248,1601,1602,1602,1606,STOP-AFTER(DIMACS)
1775.19/1607.13	c END-Prog: Tue Sep 24 17:21:48 CEST 2019
0.00/1607.21	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-15650-serial-file.bin
1775.38/1607.69	c (0,0) Read Serial File Begin
1775.38/1607.69	c (0,0) HOME/scop-15650-serial-file.bin
1775.38/1607.95	c (0,0) Read Serial File End
1775.38/1607.96	
1775.38/1607.96	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
1775.38/1607.96	(Solving Process)
1775.38/1607.96	
1775.38/1607.98	c BEGIN-Prog: Tue Sep 24 17:21:49 CEST 2019
1775.38/1607.98	c PID: 15818
1775.38/1607.98	c IP: 172.20.3.147
1775.38/1607.98	c HOST: node147.alineos.net
1775.38/1607.99	c (0,0) SatSolver.solve Begin
1775.38/1607.99	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4405594-1569336944.xml-scop-15653.cnf
1776.70/1608.01	c (0,0) c
1776.70/1608.01	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)
1776.70/1608.01	c (0,0) c
1776.70/1608.01	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
1776.70/1608.01	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
1776.70/1608.01	c (0,0) c ========================================[ Problem Statistics ]===========================================
1776.70/1608.01	c (0,0) c |                                                                                                       |
1776.82/1608.26	c (0,0) c |  Number of variables:        216062                                                                   |
1776.82/1608.26	c (0,0) c |  Number of clauses:          442826                                                                   |
1776.82/1608.26	c (0,0) c |  Parse time:                   0.22 s                                                                 |
1776.82/1608.26	c (0,0) c |                                                                                                       |
1776.82/1608.85	c (1,0) c |  Simplification time:          0.58 s                                                                 |
1776.82/1608.85	c (1,0) c |                                                                                                       |
1776.82/1608.85	c (1,0) c |  Generating clones                                                                                    |
1778.00/1609.28	c (1,0) c |  all clones generated. Memory =   493.80Mb.                                                           |
1778.00/1609.28	c (1,0) c ========================================================================================================|
1778.00/1609.28	c (1,0) c
1778.00/1609.28	c (1,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
1778.00/1609.28	c (1,0) c
1778.00/1609.28	c (1,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
1778.00/1609.28	c (1,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
1778.00/1609.29	c (1,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
1778.00/1609.29	c (1,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
1778.00/1609.29	c (1,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
1778.00/1609.29	c (1,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
1778.00/1609.29	c (1,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
1778.00/1609.29	c (1,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
1778.00/1609.29	c (1,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
1778.00/1609.29	c (1,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
1778.00/1609.29	c (1,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
1778.00/1609.29	c (1,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
1778.00/1609.29	c (1,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
1778.00/1609.29	c (1,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
1778.00/1609.29	c (1,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
1778.00/1609.29	c (1,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
1778.00/1609.29	c (1,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
1778.00/1609.29	c (1,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
1778.00/1609.29	c (1,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
1778.19/1609.31	c (1,0) c
1778.19/1609.31	c (1,0) c real time : 1.29532 s
1778.19/1609.31	c (1,0) c cpu time  : 1.24281 s
1778.19/1609.31	c (1,0) c
1778.19/1609.31	c (1,0) c
1778.19/1609.31	c (1,0) c
1778.19/1609.31	c (1,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
1778.19/1609.31	c (1,0) c
1778.19/1609.31	c (1,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1778.19/1609.31	c (1,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
1778.19/1609.31	c (1,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1778.19/1609.31	c (1,0) c | Conflicts     |              45 |          4 |          5 |          9 |         10 |          2 |          6 |          4 |          5 |
1778.19/1609.31	c (1,0) c | Decisions     |              38 |          3 |          4 |          8 |         10 |          1 |          5 |          3 |          4 |
1778.19/1609.31	c (1,0) c | Propagations  |           74486 |       8136 |       8032 |       9429 |       9074 |       8178 |       8892 |       8032 |      14713 |
1778.19/1609.31	c (1,0) c | ReduceDBs     |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1778.19/1609.31	c (1,0) c | SimpDBs       |               8 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |
1778.19/1609.31	c (1,0) c | Restarts      |               8 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |
1778.19/1609.31	c (1,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1778.19/1609.31	c (1,0) c | PropBinClauses|          194451 |      24181 |      22588 |      26089 |      28708 |      22785 |      22134 |      22627 |      25339 |
1778.19/1609.31	c (1,0) c | PropPreBlocker|          229206 |      28587 |      26798 |      30714 |      33353 |      26655 |      26396 |      27491 |      29212 |
1778.19/1609.31	c (1,0) c | PropNotBlocker|           92835 |      11866 |      11105 |      12532 |      13229 |      10331 |      10749 |      11672 |      11351 |
1778.19/1609.31	c (1,0) c | LitFullScans  |          924758 |      74109 |     103995 |     200001 |     173959 |      72983 |     105444 |      85844 |     108423 |
1778.19/1609.31	c (1,0) c | LitScanFracts |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1778.19/1609.31	c (1,0) c | DecisionLevel0|              18 |          4 |          2 |          2 |          2 |          2 |          2 |          2 |          2 |
1778.19/1609.31	c (1,0) c | Periods       |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1778.19/1609.31	c (1,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
1778.19/1609.31	c (1,0) c | Avg_Trail     |                 |       5997 |       6203 |       7033 |       6417 |       7993 |       5741 |       5042 |       7313 |
1778.19/1609.31	c (1,0) c | Avg_DL        |                 |          0 |          2 |          2 |          3 |          0 |          2 |          1 |          2 |
1778.19/1609.31	c (1,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1778.19/1609.31	c (1,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1778.19/1609.31	c (1,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1778.19/1609.31	c (1,0) c | Exported      |               7 |          0 |          1 |          1 |          2 |          0 |          1 |          1 |          1 |
1778.19/1609.31	c (1,0) c | Imported      |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1778.19/1609.31	c (1,0) c | Good          |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1778.19/1609.31	c (1,0) c | Purge         |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1778.19/1609.31	c (1,0) c | Promoted      |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1778.19/1609.31	c (1,0) c | Remove_Imp    |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1778.19/1609.31	c (1,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1778.19/1609.31	c (1,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1778.19/1609.31	c (1,0) c | Unaries       |                 |          3 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |
1778.19/1609.31	c (1,0) c | Binaries      |                 |          0 |          1 |          1 |          2 |          0 |          1 |          1 |          0 |
1778.19/1609.31	c (1,0) c | Glues         |                 |          0 |          1 |          1 |          2 |          0 |          1 |          1 |          1 |
1778.19/1609.31	c (1,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1778.19/1609.31	c (1,0) c | Orig_Seen     |            21 % |       3328 |       8385 |       8280 |       8229 |       7475 |       8466 |       7710 |       8270 |
1778.19/1609.31	c (1,0) c | Diff Orig seen|                 |      X     |       5057 |       4952 |       4901 |       4147 |       5138 |       4382 |       4942 |
1778.19/1609.31	c (1,0) c | Hamming       |             0 % |      X     |        390 |        537 |        728 |        593 |        441 |        552 |        486 |
1778.19/1609.31	c (1,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1778.19/1609.31	c (1,0) c | RunningTime   |                 |    0.0 100%|    0.0 100%|    0.0 100%|    0.0 100%|    0.0 100%|    0.0 100%|    0.0 100%|    0.0 100%|
1778.19/1609.31	c (1,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%|
1778.19/1609.31	c (1,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%|
1778.19/1609.31	c (1,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%|
1778.19/1609.31	c (1,0) c | SolvingTime   |                 |    0.0     |    0.0     |    0.0     |    0.0     |    0.0     |    0.0     |    0.0     |    0.0     |
1778.19/1609.31	c (1,0) c | PropagationTim|                 |    0.0  89%|    0.0  62%|    0.0  55%|    0.0  63%|    0.0  81%|    0.0  60%|    0.0  74%|    0.0  65%|
1778.19/1609.31	c (1,0) c | AnalysisTime  |                 |    0.0   9%|    0.0  36%|    0.0  42%|    0.0  35%|    0.0  17%|    0.0  37%|    0.0  24%|    0.0  32%|
1778.19/1609.31	c (1,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%|
1778.19/1609.31	c (1,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%|
1778.19/1609.31	c (1,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%|
1778.19/1609.31	c (1,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%|
1778.19/1609.31	c (1,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1778.19/1609.31	c (1,0) c
1778.19/1609.31	c (1,0) c
1778.19/1609.31	c (1,0) c Threads : 8
1778.19/1609.31	c (1,0) c Winner : 0
1778.19/1609.31	c (1,0) c Conflicts_0 : 4
1778.19/1609.31	c (1,0) c Conflicts_1 : 5
1778.19/1609.31	c (1,0) c Conflicts_2 : 9
1778.19/1609.31	c (1,0) c Conflicts_3 : 10
1778.19/1609.31	c (1,0) c Conflicts_4 : 2
1778.19/1609.31	c (1,0) c Conflicts_5 : 6
1778.19/1609.31	c (1,0) c Conflicts_6 : 4
1778.19/1609.31	c (1,0) c Conflicts_7 : 5
1778.19/1609.31	c (1,0) c Conflicts_total : 45
1778.19/1609.31	c (1,0) c Conflicts_winner : 4
1778.19/1609.31	c (1,0) c Decisions_0 : 3
1778.19/1609.31	c (1,0) c Decisions_1 : 4
1778.19/1609.31	c (1,0) c Decisions_2 : 8
1778.19/1609.31	c (1,0) c Decisions_3 : 10
1778.19/1609.31	c (1,0) c Decisions_4 : 1
1778.19/1609.31	c (1,0) c Decisions_5 : 5
1778.19/1609.31	c (1,0) c Decisions_6 : 3
1778.19/1609.31	c (1,0) c Decisions_7 : 4
1778.19/1609.31	c (1,0) c Decisions_total : 38
1778.19/1609.31	c (1,0) c Decisions_winner : 3
1778.19/1609.31	c (1,0) c Propagations_0 : 8136
1778.19/1609.31	c (1,0) c Propagations_1 : 8032
1778.19/1609.31	c (1,0) c Propagations_2 : 9429
1778.19/1609.31	c (1,0) c Propagations_3 : 9074
1778.19/1609.31	c (1,0) c Propagations_4 : 8178
1778.19/1609.31	c (1,0) c Propagations_5 : 8892
1778.19/1609.31	c (1,0) c Propagations_6 : 8032
1778.19/1609.31	c (1,0) c Propagations_7 : 14713
1778.19/1609.31	c (1,0) c Propagations_total : 74486
1778.19/1609.31	c (1,0) c Propagations_winner : 8136
1778.19/1609.31	c (1,0) c ReduceDBs_0 : 0
1778.19/1609.31	c (1,0) c ReduceDBs_1 : 0
1778.19/1609.31	c (1,0) c ReduceDBs_2 : 0
1778.19/1609.31	c (1,0) c ReduceDBs_3 : 0
1778.19/1609.31	c (1,0) c ReduceDBs_4 : 0
1778.19/1609.31	c (1,0) c ReduceDBs_5 : 0
1778.19/1609.31	c (1,0) c ReduceDBs_6 : 0
1778.19/1609.31	c (1,0) c ReduceDBs_7 : 0
1778.19/1609.31	c (1,0) c ReduceDBs_total : 0
1778.19/1609.31	c (1,0) c ReduceDBs_winner : 0
1778.19/1609.31	c (1,0) c SimpDBs_0 : 1
1778.19/1609.31	c (1,0) c SimpDBs_1 : 1
1778.19/1609.31	c (1,0) c SimpDBs_2 : 1
1778.19/1609.31	c (1,0) c SimpDBs_3 : 1
1778.19/1609.31	c (1,0) c SimpDBs_4 : 1
1778.19/1609.31	c (1,0) c SimpDBs_5 : 1
1778.19/1609.31	c (1,0) c SimpDBs_6 : 1
1778.19/1609.31	c (1,0) c SimpDBs_7 : 1
1778.19/1609.31	c (1,0) c SimpDBs_total : 8
1778.19/1609.31	c (1,0) c SimpDBs_winner : 1
1778.19/1609.31	c (1,0) c Restarts_0 : 1
1778.19/1609.31	c (1,0) c Restarts_1 : 1
1778.19/1609.31	c (1,0) c Restarts_2 : 1
1778.19/1609.31	c (1,0) c Restarts_3 : 1
1778.19/1609.31	c (1,0) c Restarts_4 : 1
1778.19/1609.31	c (1,0) c Restarts_5 : 1
1778.19/1609.31	c (1,0) c Restarts_6 : 1
1778.19/1609.31	c (1,0) c Restarts_7 : 1
1778.19/1609.31	c (1,0) c Restarts_total : 8
1778.19/1609.31	c (1,0) c Restarts_winner : 1
1778.19/1609.31	c (1,0) c ForcedImports_0 : 0
1778.19/1609.31	c (1,0) c ForcedImports_1 : 0
1778.19/1609.31	c (1,0) c ForcedImports_2 : 0
1778.19/1609.31	c (1,0) c ForcedImports_3 : 0
1778.19/1609.31	c (1,0) c ForcedImports_4 : 0
1778.19/1609.31	c (1,0) c ForcedImports_5 : 0
1778.19/1609.31	c (1,0) c ForcedImports_6 : 0
1778.19/1609.31	c (1,0) c ForcedImports_7 : 0
1778.19/1609.31	c (1,0) c ForcedImports_total : 0
1778.19/1609.31	c (1,0) c ForcedImports_winner : 0
1778.19/1609.31	c (1,0) c PropsBinClauses_0 : 24181
1778.19/1609.31	c (1,0) c PropsBinClauses_1 : 22588
1778.19/1609.31	c (1,0) c PropsBinClauses_2 : 26089
1778.19/1609.31	c (1,0) c PropsBinClauses_3 : 28708
1778.19/1609.31	c (1,0) c PropsBinClauses_4 : 22785
1778.19/1609.31	c (1,0) c PropsBinClauses_5 : 22134
1778.19/1609.31	c (1,0) c PropsBinClauses_6 : 22627
1778.19/1609.31	c (1,0) c PropsBinClauses_7 : 25339
1778.19/1609.31	c (1,0) c PropsBinClauses_total : 194451
1778.19/1609.31	c (1,0) c PropsBinClauses_winner : 24181
1778.19/1609.31	c (1,0) c PropsPreBlocker_0 : 28587
1778.19/1609.31	c (1,0) c PropsPreBlocker_1 : 26798
1778.19/1609.31	c (1,0) c PropsPreBlocker_2 : 30714
1778.19/1609.31	c (1,0) c PropsPreBlocker_3 : 33353
1778.19/1609.31	c (1,0) c PropsPreBlocker_4 : 26655
1778.19/1609.31	c (1,0) c PropsPreBlocker_5 : 26396
1778.19/1609.31	c (1,0) c PropsPreBlocker_6 : 27491
1778.19/1609.31	c (1,0) c PropsPreBlocker_7 : 29212
1778.19/1609.31	c (1,0) c PropsPreBlocker_total : 229206
1778.19/1609.31	c (1,0) c PropsPreBlocker_winner : 28587
1778.19/1609.31	c (1,0) c PropsNotBlocker_0 : 11866
1778.19/1609.31	c (1,0) c PropsNotBlocker_1 : 11105
1778.19/1609.31	c (1,0) c PropsNotBlocker_2 : 12532
1778.19/1609.31	c (1,0) c PropsNotBlocker_3 : 13229
1778.19/1609.31	c (1,0) c PropsNotBlocker_4 : 10331
1778.19/1609.31	c (1,0) c PropsNotBlocker_5 : 10749
1778.19/1609.31	c (1,0) c PropsNotBlocker_6 : 11672
1778.19/1609.31	c (1,0) c PropsNotBlocker_7 : 11351
1778.19/1609.31	c (1,0) c PropsNotBlocker_total : 92835
1778.19/1609.31	c (1,0) c PropsNotBlocker_winner : 11866
1778.19/1609.31	c (1,0) c PropsLitFullScans_0 : 74109
1778.19/1609.31	c (1,0) c PropsLitFullScans_1 : 103995
1778.19/1609.31	c (1,0) c PropsLitFullScans_2 : 200001
1778.19/1609.31	c (1,0) c PropsLitFullScans_3 : 173959
1778.19/1609.31	c (1,0) c PropsLitFullScans_4 : 72983
1778.19/1609.31	c (1,0) c PropsLitFullScans_5 : 105444
1778.19/1609.31	c (1,0) c PropsLitFullScans_6 : 85844
1778.19/1609.31	c (1,0) c PropsLitFullScans_7 : 108423
1778.19/1609.31	c (1,0) c PropsLitFullScans_total : 924758
1778.19/1609.31	c (1,0) c PropsLitFullScans_winner : 74109
1778.19/1609.31	c (1,0) c LitScanFractions_0 : 0
1778.19/1609.31	c (1,0) c LitScanFractions_1 : 0
1778.19/1609.31	c (1,0) c LitScanFractions_2 : 0
1778.19/1609.31	c (1,0) c LitScanFractions_3 : 0
1778.19/1609.31	c (1,0) c LitScanFractions_4 : 0
1778.19/1609.31	c (1,0) c LitScanFractions_5 : 0
1778.19/1609.31	c (1,0) c LitScanFractions_6 : 0
1778.19/1609.31	c (1,0) c LitScanFractions_7 : 0
1778.19/1609.31	c (1,0) c LitScanFractions_total : 0
1778.19/1609.31	c (1,0) c LitScanFractions_winner : 0
1778.19/1609.31	c (1,0) c DecisionLevel0_0 : 4
1778.19/1609.31	c (1,0) c DecisionLevel0_1 : 2
1778.19/1609.31	c (1,0) c DecisionLevel0_2 : 2
1778.19/1609.31	c (1,0) c DecisionLevel0_3 : 2
1778.19/1609.31	c (1,0) c DecisionLevel0_4 : 2
1778.19/1609.31	c (1,0) c DecisionLevel0_5 : 2
1778.19/1609.31	c (1,0) c DecisionLevel0_6 : 2
1778.19/1609.31	c (1,0) c DecisionLevel0_7 : 2
1778.19/1609.31	c (1,0) c DecisionLevel0_total : 18
1778.19/1609.31	c (1,0) c DecisionLevel0_winner : 4
1778.19/1609.31	c (1,0) c Periods_0 : 0
1778.19/1609.31	c (1,0) c Periods_1 : 0
1778.19/1609.31	c (1,0) c Periods_2 : 0
1778.19/1609.31	c (1,0) c Periods_3 : 0
1778.19/1609.31	c (1,0) c Periods_4 : 0
1778.19/1609.31	c (1,0) c Periods_5 : 0
1778.19/1609.31	c (1,0) c Periods_6 : 0
1778.19/1609.31	c (1,0) c Periods_7 : 0
1778.19/1609.32	c (1,0) c Periods_total : 0
1778.19/1609.32	c (1,0) c Periods_winner : 0
1778.19/1609.32	c (1,0) c Margin_0 : 20
1778.19/1609.32	c (1,0) c Margin_1 : 20
1778.19/1609.32	c (1,0) c Margin_2 : 20
1778.19/1609.32	c (1,0) c Margin_3 : 20
1778.19/1609.32	c (1,0) c Margin_4 : 20
1778.19/1609.32	c (1,0) c Margin_5 : 20
1778.19/1609.32	c (1,0) c Margin_6 : 20
1778.19/1609.32	c (1,0) c Margin_7 : 20
1778.19/1609.32	c (1,0) c Margin_total : 160
1778.19/1609.32	c (1,0) c Margin_winner : 20
1778.19/1609.32	c (1,0) c Exported_0 : 0
1778.19/1609.32	c (1,0) c Exported_1 : 1
1778.19/1609.32	c (1,0) c Exported_2 : 1
1778.19/1609.32	c (1,0) c Exported_3 : 2
1778.19/1609.32	c (1,0) c Exported_4 : 0
1778.19/1609.32	c (1,0) c Exported_5 : 1
1778.19/1609.32	c (1,0) c Exported_6 : 1
1778.19/1609.32	c (1,0) c Exported_7 : 1
1778.19/1609.32	c (1,0) c Exported_total : 7
1778.19/1609.32	c (1,0) c Exported_winner : 0
1778.19/1609.32	c (1,0) c Imported_0 : 0
1778.19/1609.32	c (1,0) c Imported_1 : 0
1778.19/1609.32	c (1,0) c Imported_2 : 0
1778.19/1609.32	c (1,0) c Imported_3 : 0
1778.19/1609.32	c (1,0) c Imported_4 : 0
1778.19/1609.32	c (1,0) c Imported_5 : 0
1778.19/1609.32	c (1,0) c Imported_6 : 0
1778.19/1609.32	c (1,0) c Imported_7 : 0
1778.19/1609.32	c (1,0) c Imported_total : 0
1778.19/1609.32	c (1,0) c Imported_winner : 0
1778.19/1609.32	c (1,0) c Good_0 : 0
1778.19/1609.32	c (1,0) c Good_1 : 0
1778.19/1609.32	c (1,0) c Good_2 : 0
1778.19/1609.32	c (1,0) c Good_3 : 0
1778.19/1609.32	c (1,0) c Good_4 : 0
1778.19/1609.32	c (1,0) c Good_5 : 0
1778.19/1609.32	c (1,0) c Good_6 : 0
1778.19/1609.32	c (1,0) c Good_7 : 0
1778.19/1609.32	c (1,0) c Good_total : 0
1778.19/1609.32	c (1,0) c Good_winner : 0
1778.19/1609.32	c (1,0) c Purge_0 : 0
1778.19/1609.32	c (1,0) c Purge_1 : 0
1778.19/1609.32	c (1,0) c Purge_2 : 0
1778.19/1609.32	c (1,0) c Purge_3 : 0
1778.19/1609.32	c (1,0) c Purge_4 : 0
1778.19/1609.32	c (1,0) c Purge_5 : 0
1778.19/1609.32	c (1,0) c Purge_6 : 0
1778.19/1609.32	c (1,0) c Purge_7 : 0
1778.19/1609.32	c (1,0) c Purge_total : 0
1778.19/1609.32	c (1,0) c Purge_winner : 0
1778.19/1609.32	c (1,0) c Promoted_0 : 0
1778.19/1609.32	c (1,0) c Promoted_1 : 0
1778.19/1609.32	c (1,0) c Promoted_2 : 0
1778.19/1609.32	c (1,0) c Promoted_3 : 0
1778.19/1609.32	c (1,0) c Promoted_4 : 0
1778.19/1609.32	c (1,0) c Promoted_5 : 0
1778.19/1609.32	c (1,0) c Promoted_6 : 0
1778.19/1609.32	c (1,0) c Promoted_7 : 0
1778.19/1609.32	c (1,0) c Promoted_total : 0
1778.19/1609.32	c (1,0) c Promoted_winner : 0
1778.19/1609.32	c (1,0) c Remove_Imp_0 : 0
1778.19/1609.32	c (1,0) c Remove_Imp_1 : 0
1778.19/1609.32	c (1,0) c Remove_Imp_2 : 0
1778.19/1609.32	c (1,0) c Remove_Imp_3 : 0
1778.19/1609.32	c (1,0) c Remove_Imp_4 : 0
1778.19/1609.32	c (1,0) c Remove_Imp_5 : 0
1778.19/1609.32	c (1,0) c Remove_Imp_6 : 0
1778.19/1609.32	c (1,0) c Remove_Imp_7 : 0
1778.19/1609.32	c (1,0) c Remove_Imp_total : 0
1778.19/1609.32	c (1,0) c Remove_Imp_winner : 0
1778.19/1609.32	c (1,0) c Blocked_Reuse_0 : 0
1778.19/1609.32	c (1,0) c Blocked_Reuse_1 : 0
1778.19/1609.32	c (1,0) c Blocked_Reuse_2 : 0
1778.19/1609.32	c (1,0) c Blocked_Reuse_3 : 0
1778.19/1609.32	c (1,0) c Blocked_Reuse_4 : 0
1778.19/1609.32	c (1,0) c Blocked_Reuse_5 : 0
1778.19/1609.32	c (1,0) c Blocked_Reuse_6 : 0
1778.19/1609.32	c (1,0) c Blocked_Reuse_7 : 0
1778.19/1609.32	c (1,0) c Blocked_Reuse_total : 0
1778.19/1609.32	c (1,0) c Blocked_Reuse_winner : 0
1778.19/1609.32	c (1,0) c Unaries_0 : 3
1778.19/1609.32	c (1,0) c Unaries_1 : 1
1778.19/1609.32	c (1,0) c Unaries_2 : 1
1778.19/1609.32	c (1,0) c Unaries_3 : 1
1778.19/1609.32	c (1,0) c Unaries_4 : 1
1778.19/1609.32	c (1,0) c Unaries_5 : 1
1778.19/1609.32	c (1,0) c Unaries_6 : 1
1778.19/1609.32	c (1,0) c Unaries_7 : 1
1778.19/1609.32	c (1,0) c Unaries_total : 10
1778.19/1609.32	c (1,0) c Unaries_winner : 3
1778.19/1609.32	c (1,0) c Binaries_0 : 0
1778.19/1609.32	c (1,0) c Binaries_1 : 1
1778.19/1609.32	c (1,0) c Binaries_2 : 1
1778.19/1609.32	c (1,0) c Binaries_3 : 2
1778.19/1609.32	c (1,0) c Binaries_4 : 0
1778.19/1609.32	c (1,0) c Binaries_5 : 1
1778.19/1609.32	c (1,0) c Binaries_6 : 1
1778.19/1609.32	c (1,0) c Binaries_7 : 0
1778.19/1609.32	c (1,0) c Binaries_total : 6
1778.19/1609.32	c (1,0) c Binaries_winner : 0
1778.19/1609.32	c (1,0) c Glues_0 : 0
1778.19/1609.32	c (1,0) c Glues_1 : 1
1778.19/1609.32	c (1,0) c Glues_2 : 1
1778.19/1609.32	c (1,0) c Glues_3 : 2
1778.19/1609.32	c (1,0) c Glues_4 : 0
1778.19/1609.32	c (1,0) c Glues_5 : 1
1778.19/1609.32	c (1,0) c Glues_6 : 1
1778.19/1609.32	c (1,0) c Glues_7 : 1
1778.19/1609.32	c (1,0) c Glues_total : 7
1778.19/1609.32	c (1,0) c Glues_winner : 0
1778.19/1609.32	c (1,0) c RunningTime_0 : 0.011238
1778.19/1609.32	c (1,0) c RunningTime_1 : 0.016483
1778.19/1609.32	c (1,0) c RunningTime_2 : 0.020011
1778.19/1609.32	c (1,0) c RunningTime_3 : 0.015348
1778.19/1609.32	c (1,0) c RunningTime_4 : 0.009991
1778.19/1609.32	c (1,0) c RunningTime_5 : 0.016691
1778.19/1609.32	c (1,0) c RunningTime_6 : 0.012656
1778.19/1609.32	c (1,0) c RunningTime_7 : 0.016906
1778.19/1609.32	c (1,0) c RunningTime_total : 0.119325
1778.19/1609.32	c (1,0) c RunningTime_winner : 0.011238
1778.19/1609.32	c (1,0) c WaitingTime_0 : 0.000000
1778.19/1609.32	c (1,0) c WaitingTime_1 : 0.000000
1778.19/1609.32	c (1,0) c WaitingTime_2 : 0.000000
1778.19/1609.32	c (1,0) c WaitingTime_3 : 0.000000
1778.19/1609.32	c (1,0) c WaitingTime_4 : 0.000000
1778.19/1609.32	c (1,0) c WaitingTime_5 : 0.000000
1778.19/1609.32	c (1,0) c WaitingTime_6 : 0.000000
1778.19/1609.32	c (1,0) c WaitingTime_7 : 0.000000
1778.19/1609.32	c (1,0) c WaitingTime_total : 0.000000
1778.19/1609.32	c (1,0) c WaitingTime_winner : 0.000000
1778.19/1609.32	c (1,0) c ExchangingTime_0 : 0.000003
1778.19/1609.32	c (1,0) c ExchangingTime_1 : 0.000004
1778.19/1609.32	c (1,0) c ExchangingTime_2 : 0.000003
1778.19/1609.32	c (1,0) c ExchangingTime_3 : 0.000005
1778.19/1609.32	c (1,0) c ExchangingTime_4 : 0.000000
1778.19/1609.32	c (1,0) c ExchangingTime_5 : 0.000005
1778.19/1609.32	c (1,0) c ExchangingTime_6 : 0.000003
1778.19/1609.32	c (1,0) c ExchangingTime_7 : 0.000003
1778.19/1609.32	c (1,0) c ExchangingTime_total : 0.000025
1778.19/1609.32	c (1,0) c ExchangingTime_winner : 0.000003
1778.19/1609.32	c (1,0) c PeriodProcTime_0 : 0.000000
1778.19/1609.32	c (1,0) c PeriodProcTime_1 : 0.000000
1778.19/1609.32	c (1,0) c PeriodProcTime_2 : 0.000000
1778.19/1609.32	c (1,0) c PeriodProcTime_3 : 0.000000
1778.19/1609.32	c (1,0) c PeriodProcTime_4 : 0.000000
1778.19/1609.32	c (1,0) c PeriodProcTime_5 : 0.000000
1778.19/1609.32	c (1,0) c PeriodProcTime_6 : 0.000000
1778.19/1609.32	c (1,0) c PeriodProcTime_7 : 0.000000
1778.19/1609.32	c (1,0) c PeriodProcTime_total : 0.000000
1778.19/1609.32	c (1,0) c PeriodProcTime_winner : 0.000000
1778.19/1609.32	c (1,0) c SolvingTime_0 : 0.011241
1778.19/1609.32	c (1,0) c SolvingTime_1 : 0.016487
1778.19/1609.32	c (1,0) c SolvingTime_2 : 0.020014
1778.19/1609.32	c (1,0) c SolvingTime_3 : 0.015353
1778.19/1609.32	c (1,0) c SolvingTime_4 : 0.009991
1778.19/1609.32	c (1,0) c SolvingTime_5 : 0.016696
1778.19/1609.32	c (1,0) c SolvingTime_6 : 0.012659
1778.19/1609.32	c (1,0) c SolvingTime_7 : 0.016909
1778.19/1609.32	c (1,0) c SolvingTime_total : 0.119350
1778.19/1609.32	c (1,0) c SolvingTime_winner : 0.011241
1778.19/1609.32	c (1,0) c PropagationTime_0 : 0.010001
1778.19/1609.32	c (1,0) c PropagationTime_1 : 0.010159
1778.19/1609.32	c (1,0) c PropagationTime_2 : 0.011020
1778.19/1609.32	c (1,0) c PropagationTime_3 : 0.009737
1778.19/1609.32	c (1,0) c PropagationTime_4 : 0.008081
1778.19/1609.32	c (1,0) c PropagationTime_5 : 0.009984
1778.19/1609.32	c (1,0) c PropagationTime_6 : 0.009407
1778.19/1609.32	c (1,0) c PropagationTime_7 : 0.011073
1778.19/1609.32	c (1,0) c PropagationTime_total : 0.079463
1778.19/1609.32	c (1,0) c PropagationTime_winner : 0.010001
1778.19/1609.32	c (1,0) c AnalysisTime_0 : 0.000979
1778.19/1609.32	c (1,0) c AnalysisTime_1 : 0.005886
1778.19/1609.32	c (1,0) c AnalysisTime_2 : 0.008421
1778.19/1609.32	c (1,0) c AnalysisTime_3 : 0.005345
1778.19/1609.32	c (1,0) c AnalysisTime_4 : 0.001713
1778.19/1609.32	c (1,0) c AnalysisTime_5 : 0.006215
1778.19/1609.32	c (1,0) c AnalysisTime_6 : 0.003007
1778.19/1609.32	c (1,0) c AnalysisTime_7 : 0.005455
1778.19/1609.32	c (1,0) c AnalysisTime_total : 0.037021
1778.19/1609.32	c (1,0) c AnalysisTime_winner : 0.000979
1778.19/1609.32	c (1,0) c ReductionTime_0 : 0.000000
1778.19/1609.32	c (1,0) c ReductionTime_1 : 0.000000
1778.19/1609.32	c (1,0) c ReductionTime_2 : 0.000000
1778.19/1609.32	c (1,0) c ReductionTime_3 : 0.000000
1778.19/1609.32	c (1,0) c ReductionTime_4 : 0.000000
1778.19/1609.32	c (1,0) c ReductionTime_5 : 0.000000
1778.19/1609.32	c (1,0) c ReductionTime_6 : 0.000000
1778.19/1609.32	c (1,0) c ReductionTime_7 : 0.000000
1778.19/1609.32	c (1,0) c ReductionTime_total : 0.000000
1778.19/1609.32	c (1,0) c ReductionTime_winner : 0.000000
1778.19/1609.32	c (1,0) c SimplifyTime_0 : 0.000001
1778.19/1609.32	c (1,0) c SimplifyTime_1 : 0.000000
1778.19/1609.32	c (1,0) c SimplifyTime_2 : 0.000000
1778.19/1609.32	c (1,0) c SimplifyTime_3 : 0.000000
1778.19/1609.32	c (1,0) c SimplifyTime_4 : 0.000000
1778.19/1609.32	c (1,0) c SimplifyTime_5 : 0.000000
1778.19/1609.32	c (1,0) c SimplifyTime_6 : 0.000000
1778.19/1609.32	c (1,0) c SimplifyTime_7 : 0.000000
1778.19/1609.32	c (1,0) c SimplifyTime_total : 0.000001
1778.19/1609.32	c (1,0) c SimplifyTime_winner : 0.000001
1778.19/1609.32	c (1,0) c UsedRateTime_0 : 0.000000
1778.19/1609.32	c (1,0) c UsedRateTime_1 : 0.000000
1778.19/1609.32	c (1,0) c UsedRateTime_2 : 0.000000
1778.19/1609.32	c (1,0) c UsedRateTime_3 : 0.000000
1778.19/1609.32	c (1,0) c UsedRateTime_4 : 0.000000
1778.19/1609.32	c (1,0) c UsedRateTime_5 : 0.000000
1778.19/1609.32	c (1,0) c UsedRateTime_6 : 0.000000
1778.19/1609.32	c (1,0) c UsedRateTime_7 : 0.000000
1778.19/1609.32	c (1,0) c UsedRateTime_total : 0.000000
1778.19/1609.32	c (1,0) c UsedRateTime_winner : 0.000000
1778.19/1609.32	c (1,0) c OverlapRateTime_0 : 0.000000
1778.19/1609.32	c (1,0) c OverlapRateTime_1 : 0.000000
1778.19/1609.32	c (1,0) c OverlapRateTime_2 : 0.000000
1778.19/1609.32	c (1,0) c OverlapRateTime_3 : 0.000000
1778.19/1609.32	c (1,0) c OverlapRateTime_4 : 0.000000
1778.19/1609.32	c (1,0) c OverlapRateTime_5 : 0.000000
1778.19/1609.32	c (1,0) c OverlapRateTime_6 : 0.000000
1778.19/1609.32	c (1,0) c OverlapRateTime_7 : 0.000000
1778.19/1609.32	c (1,0) c OverlapRateTime_total : 0.000000
1778.19/1609.32	c (1,0) c OverlapRateTime_winner : 0.000000
1778.19/1609.32	c (1,0) c
1778.19/1609.32	c (1,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
1778.19/1609.32	c (1,0) c
1778.19/1609.32	c (1,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
1778.19/1609.32	c (1,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
1778.19/1609.32	c (1,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
1778.19/1609.32	c (1,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
1778.19/1609.32	c (1,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
1778.19/1609.32	c (1,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
1778.19/1609.32	c (1,0) c | Initial random_seed   | 1534951076 | 1663886499 | 1928049687 |  119644679 |  830914708 | 1518614985 | 1868138479 |  137540030 |
1778.19/1609.32	c (1,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
1778.19/1609.32	c (1,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
1778.19/1609.32	c (1,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
1778.19/1609.32	c (1,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
1778.19/1609.32	c (1,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
1778.19/1609.32	c (1,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
1778.19/1609.32	c (1,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
1778.19/1609.32	c (1,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
1778.19/1609.32	c (1,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
1778.19/1609.32	c (1,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
1778.19/1609.32	c (1,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
1778.19/1609.32	c (1,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
1778.19/1609.32	c (1,0) 
1778.19/1609.32	c (1,0) s UNSATISFIABLE
1778.19/1609.34	c (1,0) SatSolver.solve End
1778.19/1609.34	c (1,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
1778.19/1609.34	c (1,0) Show results Begin
1778.19/1609.34	s UNSATISFIABLE
1778.19/1609.34	c (1,0) Show results End
1778.19/1609.34	c (1,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
1778.19/1609.34	c (1,0) 1,1,STOP-AFTER(ALL)
1778.19/1609.34	c END-Prog: Tue Sep 24 17:21:51 CEST 2019

Verifier Data


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 (13387 MiB free)
  memory of node 1: 16384 MiB (10776 MiB free)
  node distances:
     10  21
     21  10

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


[startup+0.100155 s]*
/proc/loadavg: 0.82 2.88 2.94 2/211 15672
/proc/meminfo: memFree=24647912/32770624 swapFree=66935956/67108860
[pid=15650] ppid=15647 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/15650/stat : 15650 (scop.sh) S 15647 15650 15168 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 509608287 115843072 349 33554432000 4194304 5098028 140727690391776 140727690389032 139723694322300 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 30822400 140727690400508 140727690400856 140727690400856 140727690403785 0
/proc/15650/statm: 28282 349 296 221 0 87 0
[pid=15653] ppid=15650 vsize=27314120 memory=107204 CPUtime=0.11 cores=0-7
/proc/15653/stat : 15653 (java) S 15650 15650 15168 0 -1 1077944320 6408 0 0 0 8 3 0 0 20 0 20 0 509608287 27969658880 26801 33554432000 4194304 4196468 140731491368208 140731491350752 140428831706871 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14749696 140731491369670 140731491370118 140731491370118 140731491373007 0
/proc/15653/statm: 6828530 26801 2773 1 0 6790935 0
[pid=15653/tid=15654] ppid=15650 vsize=27314120 memory=4134930498285298233 CPUtime=0.08 cores=0-7
/proc/15653/task/15654/stat : 15654 (java) R 15650 15650 15168 0 -1 4202560 4518 0 0 0 6 2 0 0 20 0 20 0 509608288 27969658880 26931 33554432000 4194304 4196468 140731491368208 140428803539208 140428831728797 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14749696 140731491369670 140731491370118 140731491370118 140731491373007 0
[pid=15653/tid=15655] ppid=15650 vsize=27314120 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/15653/task/15655/stat : 15655 (java) S 15650 15650 15168 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509608290 27969658880 26931 33554432000 4194304 4196468 140731491368208 140428835949072 140428831717077 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14749696 140731491369670 140731491370118 140731491370118 140731491373007 0
[pid=15653/tid=15656] ppid=15650 vsize=27314120 memory=139867629573760 CPUtime=0 cores=0-7
/proc/15653/task/15656/stat : 15656 (java) S 15650 15650 15168 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509608290 27969658880 26931 33554432000 4194304 4196468 140731491368208 140428253756048 140428831717077 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14749696 140731491369670 140731491370118 140731491370118 140731491373007 0
[pid=15653/tid=15657] ppid=15650 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15653/task/15657/stat : 15657 (java) S 15650 15650 15168 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509608290 27969658880 26931 33554432000 4194304 4196468 140731491368208 140428252702992 140428831717077 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14749696 140731491369670 140731491370118 140731491370118 140731491373007 0
[pid=15653/tid=15658] ppid=15650 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15653/task/15658/stat : 15658 (java) S 15650 15650 15168 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509608290 27969658880 26931 33554432000 4194304 4196468 140731491368208 140428251650448 140428831717077 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14749696 140731491369670 140731491370118 140731491370118 140731491373007 0
[pid=15653/tid=15659] ppid=15650 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15653/task/15659/stat : 15659 (java) S 15650 15650 15168 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509608290 27969658880 26931 33554432000 4194304 4196468 140731491368208 140428250598416 140428831717077 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14749696 140731491369670 140731491370118 140731491370118 140731491373007 0
[pid=15653/tid=15660] ppid=15650 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/15653/task/15660/stat : 15660 (java) S 15650 15650 15168 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509608290 27969658880 26931 33554432000 4194304 4196468 140731491368208 140428249545872 140428831717077 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14749696 140731491369670 140731491370118 140731491370118 140731491373007 0
[pid=15653/tid=15661] ppid=15650 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15653/task/15661/stat : 15661 (java) S 15650 15650 15168 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509608290 27969658880 26931 33554432000 4194304 4196468 140731491368208 140428248492816 140428831717077 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14749696 140731491369670 140731491370118 140731491370118 140731491373007 0
[pid=15653/tid=15662] ppid=15650 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15653/task/15662/stat : 15662 (java) S 15650 15650 15168 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509608290 27969658880 26931 33554432000 4194304 4196468 140731491368208 140428247440272 140428831717077 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14749696 140731491369670 140731491370118 140731491370118 140731491373007 0
[pid=15653/tid=15663] ppid=15650 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15653/task/15663/stat : 15663 (java) S 15650 15650 15168 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509608291 27969658880 26931 33554432000 4194304 4196468 140731491368208 140427957246192 140428831718018 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14749696 140731491369670 140731491370118 140731491370118 140731491373007 0
[pid=15653/tid=15664] ppid=15650 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15653/task/15664/stat : 15664 (java) S 15650 15650 15168 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 509608292 27969658880 26931 33554432000 4194304 4196468 140731491368208 140426707199136 140428831717077 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14749696 140731491369670 140731491370118 140731491370118 140731491373007 0
[pid=15653/tid=15665] ppid=15650 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15653/task/15665/stat : 15665 (java) S 15650 15650 15168 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509608292 27969658880 26931 33554432000 4194304 4196468 140731491368208 140426438763248 140428831717077 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14749696 140731491369670 140731491370118 140731491370118 140731491373007 0
[pid=15653/tid=15666] ppid=15650 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15653/task/15666/stat : 15666 (java) S 15650 15650 15168 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509608295 27969658880 26931 33554432000 4194304 4196468 140731491368208 140426064254928 140428831725467 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14749696 140731491369670 140731491370118 140731491370118 140731491373007 0
[pid=15653/tid=15667] ppid=15650 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15653/task/15667/stat : 15667 (java) R 15650 15650 15168 0 -1 1077944384 304 0 0 0 0 0 0 0 20 0 20 0 509608295 27969658880 26931 33554432000 4194304 4196468 140731491368208 140427956194032 140428831718018 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14749696 140731491369670 140731491370118 140731491370118 140731491373007 0
[pid=15653/tid=15668] ppid=15650 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15653/task/15668/stat : 15668 (java) S 15650 15650 15168 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509608295 27969658880 26931 33554432000 4194304 4196468 140731491368208 140427955141488 140428831718018 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14749696 140731491369670 140731491370118 140731491370118 140731491373007 0
[pid=15653/tid=15669] ppid=15650 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15653/task/15669/stat : 15669 (java) S 15650 15650 15168 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509608295 27969658880 26931 33554432000 4194304 4196468 140731491368208 140427954088432 140428831718018 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14749696 140731491369670 140731491370118 140731491370118 140731491373007 0
[pid=15653/tid=15670] ppid=15650 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15653/task/15670/stat : 15670 (java) S 15650 15650 15168 0 -1 1077944384 265 0 0 0 0 0 0 0 20 0 20 0 509608295 27969658880 26931 33554432000 4194304 4196468 140731491368208 140427953035888 140428831718018 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14749696 140731491369670 140731491370118 140731491370118 140731491373007 0
[pid=15653/tid=15671] ppid=15650 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15653/task/15671/stat : 15671 (java) S 15650 15650 15168 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509608295 27969658880 26931 33554432000 4194304 4196468 140731491368208 140425566349792 140428831717077 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14749696 140731491369670 140731491370118 140731491370118 140731491373007 0
[pid=15653/tid=15672] ppid=15650 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/15653/task/15672/stat : 15672 (java) S 15650 15650 15168 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509608295 27969658880 26931 33554432000 4194304 4196468 140731491368208 140427951983280 140428831718018 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14749696 140731491369670 140731491370118 140731491370118 140731491373007 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 108600 KiB

[startup+0.210238 s]*
/proc/loadavg: 0.82 2.88 2.94 3/211 15672
/proc/meminfo: memFree=24625812/32770624 swapFree=66935956/67108860
[pid=15650] ppid=15647 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/15650/stat : 15650 (scop.sh) S 15647 15650 15168 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 509608287 115843072 349 33554432000 4194304 5098028 140727690391776 140727690389032 139723694322300 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 30822400 140727690400508 140727690400856 140727690400856 140727690403785 0
/proc/15650/statm: 28282 349 296 221 0 87 0
[pid=15653] ppid=15650 vsize=27314120 memory=126776 CPUtime=0.24 cores=0-7
/proc/15653/stat : 15653 (java) S 15650 15650 15168 0 -1 1077944320 12046 0 0 0 19 5 0 0 20 0 20 0 509608287 27969658880 31694 33554432000 4194304 4196468 140731491368208 140731491350752 140428831706871 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14749696 140731491369670 140731491370118 140731491370118 140731491373007 0
/proc/15653/statm: 6828530 31694 2964 1 0 6790935 0
[pid=15653/tid=15654] ppid=15650 vsize=27314120 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/15653/task/15654/stat : 15654 (java) R 15650 15650 15168 0 -1 4202560 9750 0 0 0 15 4 0 0 20 0 20 0 509608288 27969658880 31694 33554432000 4194304 4196468 140731491368208 140428803515264 140428811982201 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14749696 140731491369670 140731491370118 140731491370118 140731491373007 0
[pid=15653/tid=15655] ppid=15650 vsize=27314120 memory=331 CPUtime=0 cores=0-7
/proc/15653/task/15655/stat : 15655 (java) S 15650 15650 15168 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509608290 27969658880 31694 33554432000 4194304 4196468 140731491368208 140428835949072 140428831717077 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14749696 140731491369670 140731491370118 140731491370118 140731491373007 0
[pid=15653/tid=15656] ppid=15650 vsize=27314120 memory=3763232935799707296 CPUtime=0 cores=0-7
/proc/15653/task/15656/stat : 15656 (java) S 15650 15650 15168 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509608290 27969658880 31694 33554432000 4194304 4196468 140731491368208 140428253756048 140428831717077 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14749696 140731491369670 140731491370118 140731491370118 140731491373007 0
[pid=15653/tid=15657] ppid=15650 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/15653/task/15657/stat : 15657 (java) S 15650 15650 15168 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509608290 27969658880 31694 33554432000 4194304 4196468 140731491368208 140428252702992 140428831717077 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14749696 140731491369670 140731491370118 140731491370118 140731491373007 0
[pid=15653/tid=15658] ppid=15650 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15653/task/15658/stat : 15658 (java) S 15650 15650 15168 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509608290 27969658880 31694 33554432000 4194304 4196468 140731491368208 140428251650448 140428831717077 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14749696 140731491369670 140731491370118 140731491370118 140731491373007 0
[pid=15653/tid=15659] ppid=15650 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15653/task/15659/stat : 15659 (java) S 15650 15650 15168 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509608290 27969658880 31694 33554432000 4194304 4196468 140731491368208 140428250598416 140428831717077 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14749696 140731491369670 140731491370118 140731491370118 140731491373007 0
[pid=15653/tid=15660] ppid=15650 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/15653/task/15660/stat : 15660 (java) S 15650 15650 15168 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509608290 27969658880 31694 33554432000 4194304 4196468 140731491368208 140428249545872 140428831717077 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14749696 140731491369670 140731491370118 140731491370118 140731491373007 0
[pid=15653/tid=15661] ppid=15650 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15653/task/15661/stat : 15661 (java) S 15650 15650 15168 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509608290 27969658880 31694 33554432000 4194304 4196468 140731491368208 140428248492816 140428831717077 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14749696 140731491369670 140731491370118 140731491370118 140731491373007 0
[pid=15653/tid=15662] ppid=15650 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15653/task/15662/stat : 15662 (java) S 15650 15650 15168 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509608290 27969658880 31694 33554432000 4194304 4196468 140731491368208 140428247440272 140428831717077 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14749696 140731491369670 140731491370118 140731491370118 140731491373007 0
[pid=15653/tid=15663] ppid=15650 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15653/task/15663/stat : 15663 (java) S 15650 15650 15168 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509608291 27969658880 31694 33554432000 4194304 4196468 140731491368208 140427957246192 140428831718018 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14749696 140731491369670 140731491370118 140731491370118 140731491373007 0
[pid=15653/tid=15664] ppid=15650 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15653/task/15664/stat : 15664 (java) S 15650 15650 15168 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 509608292 27969658880 31694 33554432000 4194304 4196468 140731491368208 140426707199136 140428831717077 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14749696 140731491369670 140731491370118 140731491370118 140731491373007 0
[pid=15653/tid=15665] ppid=15650 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15653/task/15665/stat : 15665 (java) S 15650 15650 15168 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509608292 27969658880 31694 33554432000 4194304 4196468 140731491368208 140426438763248 140428831717077 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14749696 140731491369670 140731491370118 140731491370118 140731491373007 0
[pid=15653/tid=15666] ppid=15650 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15653/task/15666/stat : 15666 (java) S 15650 15650 15168 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509608295 27969658880 31694 33554432000 4194304 4196468 140731491368208 140426064254928 140428831725467 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14749696 140731491369670 140731491370118 140731491370118 140731491373007 0
[pid=15653/tid=15667] ppid=15650 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15653/task/15667/stat : 15667 (java) S 15650 15650 15168 0 -1 1077944384 338 0 0 0 0 0 0 0 20 0 20 0 509608295 27969658880 31694 33554432000 4194304 4196468 140731491368208 140427956194032 140428831718018 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14749696 140731491369670 140731491370118 140731491370118 140731491373007 0
[pid=15653/tid=15668] ppid=15650 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15653/task/15668/stat : 15668 (java) S 15650 15650 15168 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 20 0 509608295 27969658880 31694 33554432000 4194304 4196468 140731491368208 140427955141488 140428831718018 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14749696 140731491369670 140731491370118 140731491370118 140731491373007 0
[pid=15653/tid=15669] ppid=15650 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/15653/task/15669/stat : 15669 (java) S 15650 15650 15168 0 -1 1077944384 139 0 0 0 0 0 0 0 20 0 20 0 509608295 27969658880 31694 33554432000 4194304 4196468 140731491368208 140427954088432 140428831718018 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14749696 140731491369670 140731491370118 140731491370118 140731491373007 0
[pid=15653/tid=15670] ppid=15650 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7
/proc/15653/task/15670/stat : 15670 (java) S 15650 15650 15168 0 -1 1077944384 459 0 0 0 2 0 0 0 20 0 20 0 509608295 27969658880 31694 33554432000 4194304 4196468 140731491368208 140427953035888 140428831718018 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14749696 140731491369670 140731491370118 140731491370118 140731491373007 0
[pid=15653/tid=15671] ppid=15650 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15653/task/15671/stat : 15671 (java) S 15650 15650 15168 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509608295 27969658880 31694 33554432000 4194304 4196468 140731491368208 140425566349792 140428831717077 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14749696 140731491369670 140731491370118 140731491370118 140731491373007 0
[pid=15653/tid=15672] ppid=15650 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/15653/task/15672/stat : 15672 (java) S 15650 15650 15168 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509608295 27969658880 31694 33554432000 4194304 4196468 140731491368208 140427951983280 140428831718018 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14749696 140731491369670 140731491370118 140731491370118 140731491373007 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 128172 KiB

[startup+0.309439 s]*
/proc/loadavg: 0.82 2.88 2.94 2/211 15672
/proc/meminfo: memFree=24623516/32770624 swapFree=66935956/67108860
[pid=15650] ppid=15647 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/15650/stat : 15650 (scop.sh) S 15647 15650 15168 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 509608287 115843072 349 33554432000 4194304 5098028 140727690391776 140727690389032 139723694322300 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 30822400 140727690400508 140727690400856 140727690400856 140727690403785 0
/proc/15650/statm: 28282 349 296 221 0 87 0
[pid=15653] ppid=15650 vsize=27314120 memory=130120 CPUtime=0.42 cores=0-7
/proc/15653/stat : 15653 (java) S 15650 15650 15168 0 -1 1077944320 12394 0 0 0 36 6 0 0 20 0 20 0 509608287 27969658880 32530 33554432000 4194304 4196468 140731491368208 140731491350752 140428831706871 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14749696 140731491369670 140731491370118 140731491370118 140731491373007 0
/proc/15653/statm: 6828530 32530 3014 1 0 6790935 0
[pid=15653/tid=15654] ppid=15650 vsize=27314120 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/15653/task/15654/stat : 15654 (java) R 15650 15650 15168 0 -1 4202560 9934 0 0 0 25 4 0 0 20 0 20 0 509608288 27969658880 32530 33554432000 4194304 4196468 140731491368208 140428803510096 140428817402720 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14749696 140731491369670 140731491370118 140731491370118 140731491373007 0
[pid=15653/tid=15655] ppid=15650 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15653/task/15655/stat : 15655 (java) S 15650 15650 15168 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509608290 27969658880 32530 33554432000 4194304 4196468 140731491368208 140428835949072 140428831717077 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14749696 140731491369670 140731491370118 140731491370118 140731491373007 0
[pid=15653/tid=15656] ppid=15650 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15653/task/15656/stat : 15656 (java) S 15650 15650 15168 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509608290 27969658880 32530 33554432000 4194304 4196468 140731491368208 140428253756048 140428831717077 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14749696 140731491369670 140731491370118 140731491370118 140731491373007 0
[pid=15653/tid=15657] ppid=15650 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15653/task/15657/stat : 15657 (java) S 15650 15650 15168 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509608290 27969658880 32530 33554432000 4194304 4196468 140731491368208 140428252702992 140428831717077 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14749696 140731491369670 140731491370118 140731491370118 140731491373007 0
[pid=15653/tid=15658] ppid=15650 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15653/task/15658/stat : 15658 (java) S 15650 15650 15168 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509608290 27969658880 32530 33554432000 4194304 4196468 140731491368208 140428251650448 140428831717077 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14749696 140731491369670 140731491370118 140731491370118 140731491373007 0
[pid=15653/tid=15659] ppid=15650 vsize=27314120 memory=2244 CPUtime=0 cores=0-7
/proc/15653/task/15659/stat : 15659 (java) S 15650 15650 15168 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509608290 27969658880 32530 33554432000 4194304 4196468 140731491368208 140428250598416 140428831717077 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14749696 140731491369670 140731491370118 140731491370118 140731491373007 0
[pid=15653/tid=15660] ppid=15650 vsize=27314120 memory=139867489137583 CPUtime=0 cores=0-7
/proc/15653/task/15660/stat : 15660 (java) S 15650 15650 15168 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509608290 27969658880 32530 33554432000 4194304 4196468 140731491368208 140428249545872 140428831717077 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14749696 140731491369670 140731491370118 140731491370118 140731491373007 0
[pid=15653/tid=15661] ppid=15650 vsize=27314120 memory=139867489139888 CPUtime=0 cores=0-7
/proc/15653/task/15661/stat : 15661 (java) S 15650 15650 15168 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509608290 27969658880 32530 33554432000 4194304 4196468 140731491368208 140428248492816 140428831717077 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14749696 140731491369670 140731491370118 140731491370118 140731491373007 0
[pid=15653/tid=15662] ppid=15650 vsize=27314120 memory=139867489142192 CPUtime=0 cores=0-7
/proc/15653/task/15662/stat : 15662 (java) S 15650 15650 15168 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509608290 27969658880 32530 33554432000 4194304 4196468 140731491368208 140428247440272 140428831717077 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14749696 140731491369670 140731491370118 140731491370118 140731491373007 0
[pid=15653/tid=15663] ppid=15650 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15653/task/15663/stat : 15663 (java) S 15650 15650 15168 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509608291 27969658880 32530 33554432000 4194304 4196468 140731491368208 140427957246192 140428831718018 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14749696 140731491369670 140731491370118 140731491370118 140731491373007 0
[pid=15653/tid=15664] ppid=15650 vsize=27314120 memory=279734978291344 CPUtime=0 cores=0-7
/proc/15653/task/15664/stat : 15664 (java) S 15650 15650 15168 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 509608292 27969658880 32530 33554432000 4194304 4196468 140731491368208 140426707199136 140428831717077 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14749696 140731491369670 140731491370118 140731491370118 140731491373007 0
[pid=15653/tid=15665] ppid=15650 vsize=27314120 memory=279734978298256 CPUtime=0 cores=0-7
/proc/15653/task/15665/stat : 15665 (java) S 15650 15650 15168 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509608292 27969658880 32530 33554432000 4194304 4196468 140731491368208 140426438763248 140428831717077 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14749696 140731491369670 140731491370118 140731491370118 140731491373007 0
[pid=15653/tid=15666] ppid=15650 vsize=27314120 memory=279734978239536 CPUtime=0 cores=0-7
/proc/15653/task/15666/stat : 15666 (java) S 15650 15650 15168 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509608295 27969658880 32530 33554432000 4194304 4196468 140731491368208 140426064254928 140428831725467 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14749696 140731491369670 140731491370118 140731491370118 140731491373007 0
[pid=15653/tid=15667] ppid=15650 vsize=27314120 memory=279734978312080 CPUtime=0.01 cores=0-7
/proc/15653/task/15667/stat : 15667 (java) R 15650 15650 15168 0 -1 4202560 421 0 0 0 1 0 0 0 20 0 20 0 509608295 27969658880 32530 33554432000 4194304 4196468 140731491368208 140427956194032 140428812407977 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14749696 140731491369670 140731491370118 140731491370118 140731491373007 0
[pid=15653/tid=15668] ppid=15650 vsize=27314120 memory=279734978318992 CPUtime=0.01 cores=0-7
/proc/15653/task/15668/stat : 15668 (java) S 15650 15650 15168 0 -1 1077944384 65 0 0 0 1 0 0 0 20 0 20 0 509608295 27969658880 32530 33554432000 4194304 4196468 140731491368208 140427955141488 140428831718018 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14749696 140731491369670 140731491370118 140731491370118 140731491373007 0
[pid=15653/tid=15669] ppid=15650 vsize=27314120 memory=279734978316688 CPUtime=0 cores=0-7
/proc/15653/task/15669/stat : 15669 (java) S 15650 15650 15168 0 -1 1077944384 155 0 0 0 0 0 0 0 20 0 20 0 509608295 27969658880 32530 33554432000 4194304 4196468 140731491368208 140427954088432 140428831718018 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14749696 140731491369670 140731491370118 140731491370118 140731491373007 0
[pid=15653/tid=15670] ppid=15650 vsize=27314120 memory=279734978332848 CPUtime=0.06 cores=0-7
/proc/15653/task/15670/stat : 15670 (java) S 15650 15650 15168 0 -1 1077944384 480 0 0 0 6 0 0 0 20 0 20 0 509608295 27969658880 32530 33554432000 4194304 4196468 140731491368208 140427953035888 140428831718018 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14749696 140731491369670 140731491370118 140731491370118 140731491373007 0
[pid=15653/tid=15671] ppid=15650 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15653/task/15671/stat : 15671 (java) S 15650 15650 15168 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509608295 27969658880 32530 33554432000 4194304 4196468 140731491368208 140425566349792 140428831717077 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14749696 140731491369670 140731491370118 140731491370118 140731491373007 0
[pid=15653/tid=15672] ppid=15650 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/15653/task/15672/stat : 15672 (java) S 15650 15650 15168 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509608295 27969658880 32530 33554432000 4194304 4196468 140731491368208 140427951983280 140428831718018 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14749696 140731491369670 140731491370118 140731491370118 140731491373007 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 131516 KiB

[startup+0.700808 s]
/proc/loadavg: 0.82 2.88 2.94 2/211 15672
/proc/meminfo: memFree=24602436/32770624 swapFree=66935956/67108860
[pid=15650] ppid=15647 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/15650/stat : 15650 (scop.sh) S 15647 15650 15168 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 509608287 115843072 349 33554432000 4194304 5098028 140727690391776 140727690389032 139723694322300 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 30822400 140727690400508 140727690400856 140727690400856 140727690403785 0
/proc/15650/statm: 28282 349 296 221 0 87 0
[pid=15653] ppid=15650 vsize=27320392 memory=167572 CPUtime=0.99 cores=0-7
/proc/15653/stat : 15653 (java) S 15650 15650 15168 0 -1 1077944320 19959 0 0 0 91 8 0 0 20 0 20 0 509608287 27976081408 41893 33554432000 4194304 4196468 140731491368208 140731491350752 140428831706871 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14749696 140731491369670 140731491370118 140731491370118 140731491373007 0
/proc/15653/statm: 6830098 41893 3181 1 0 6791447 0
[pid=15653/tid=15654] ppid=15650 vsize=27320392 memory=279734978690736 CPUtime=0.68 cores=0-7
/proc/15653/task/15654/stat : 15654 (java) R 15650 15650 15168 0 -1 4202560 16851 0 0 0 61 7 0 0 20 0 20 0 509608288 27976081408 41893 33554432000 4194304 4196468 140731491368208 140428803542896 140428831718806 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 14749696 140731491369670 140731491370118 140731491370118 140731491373007 0
[pid=15653/tid=15655] ppid=15650 vsize=27320392 memory=139867489346416 CPUtime=0 cores=0-7
/proc/15653/task/15655/stat : 15655 (java) S 15650 15650 15168 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509608290 27976081408 41893 33554432000 4194304 4196468 140731491368208 140428835949072 140428831717077 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14749696 140731491369670 140731491370118 140731491370118 140731491373007 0
[pid=15653/tid=15656] ppid=15650 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/15653/task/15656/stat : 15656 (java) S 15650 15650 15168 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509608290 27976081408 41893 33554432000 4194304 4196468 140731491368208 140428253756048 140428831717077 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14749696 140731491369670 140731491370118 140731491370118 140731491373007 0
[pid=15653/tid=15657] ppid=15650 vsize=27320392 memory=1128 CPUtime=0 cores=0-7
/proc/15653/task/15657/stat : 15657 (java) S 15650 15650 15168 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509608290 27976081408 41893 33554432000 4194304 4196468 140731491368208 140428252702992 140428831717077 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14749696 140731491369670 140731491370118 140731491370118 140731491373007 0

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

[pid=15818/tid=15822] ppid=15650 vsize=8414124 memory=17153452 CPUtime=0 cores=0-7
/proc/15818/task/15822/stat : 15822 (java) S 15650 15650 15168 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 509769011 8616062976 30609 33554432000 4194304 4196468 140733944776448 140171964181648 140172142913237 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15966208 140733944779743 140733944779910 140733944779910 140733944782799 0
[pid=15818/tid=15823] ppid=15650 vsize=8414124 memory=12040 CPUtime=0 cores=0-7
/proc/15818/task/15823/stat : 15823 (java) S 15650 15650 15168 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509769011 8616062976 30609 33554432000 4194304 4196468 140733944776448 140171963128848 140172142913237 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15966208 140733944779743 140733944779910 140733944779910 140733944782799 0
[pid=15818/tid=15824] ppid=15650 vsize=8414124 memory=2124 CPUtime=0 cores=0-7
/proc/15818/task/15824/stat : 15824 (java) S 15650 15650 15168 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509769011 8616062976 30609 33554432000 4194304 4196468 140733944776448 140171625265552 140172142913237 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15966208 140733944779743 140733944779910 140733944779910 140733944782799 0
[pid=15818/tid=15825] ppid=15650 vsize=8414124 memory=288230574492221466 CPUtime=0 cores=0-7
/proc/15818/task/15825/stat : 15825 (java) S 15650 15650 15168 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509769011 8616062976 30609 33554432000 4194304 4196468 140733944776448 140171624212752 140172142913237 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15966208 140733944779743 140733944779910 140733944779910 140733944782799 0
[pid=15818/tid=15826] ppid=15650 vsize=8414124 memory=288230583166042426 CPUtime=0 cores=0-7
/proc/15818/task/15826/stat : 15826 (java) S 15650 15650 15168 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 509769011 8616062976 30609 33554432000 4194304 4196468 140733944776448 140171623160464 140172142913237 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15966208 140733944779743 140733944779910 140733944779910 140733944782799 0
[pid=15818/tid=15827] ppid=15650 vsize=8414124 memory=13848568834296438 CPUtime=0 cores=0-7
/proc/15818/task/15827/stat : 15827 (java) S 15650 15650 15168 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 509769011 8616062976 30609 33554432000 4194304 4196468 140733944776448 140171622107664 140172142913237 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15966208 140733944779743 140733944779910 140733944779910 140733944782799 0
[pid=15818/tid=15828] ppid=15650 vsize=8414124 memory=35196 CPUtime=0 cores=0-7
/proc/15818/task/15828/stat : 15828 (java) S 15650 15650 15168 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 509769012 8616062976 30609 33554432000 4194304 4196468 140733944776448 140171571894896 140172142914178 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15966208 140733944779743 140733944779910 140733944779910 140733944782799 0
[pid=15818/tid=15829] ppid=15650 vsize=8414124 memory=492 CPUtime=0 cores=0-7
/proc/15818/task/15829/stat : 15829 (java) S 15650 15650 15168 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 509769013 8616062976 30609 33554432000 4194304 4196468 140733944776448 140170753991968 140172142913237 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15966208 140733944779743 140733944779910 140733944779910 140733944782799 0
[pid=15818/tid=15830] ppid=15650 vsize=8414124 memory=1560 CPUtime=0 cores=0-7
/proc/15818/task/15830/stat : 15830 (java) S 15650 15650 15168 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 509769013 8616062976 30609 33554432000 4194304 4196468 140733944776448 140170619770480 140172142913237 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15966208 140733944779743 140733944779910 140733944779910 140733944782799 0
[pid=15818/tid=15831] ppid=15650 vsize=8414124 memory=932 CPUtime=0 cores=0-7
/proc/15818/task/15831/stat : 15831 (java) S 15650 15650 15168 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509769016 8616062976 30609 33554432000 4194304 4196468 140733944776448 140170245266000 140172142921627 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15966208 140733944779743 140733944779910 140733944779910 140733944782799 0
[pid=15818/tid=15832] ppid=15650 vsize=8414124 memory=1636 CPUtime=0.16 cores=0-7
/proc/15818/task/15832/stat : 15832 (java) S 15650 15650 15168 0 -1 1077944384 852 0 0 0 16 0 0 0 20 0 24 0 509769016 8616062976 30609 33554432000 4194304 4196468 140733944776448 140171570841712 140172142914178 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15966208 140733944779743 140733944779910 140733944779910 140733944782799 0
[pid=15818/tid=15833] ppid=15650 vsize=8414124 memory=1436 CPUtime=0.1 cores=0-7
/proc/15818/task/15833/stat : 15833 (java) S 15650 15650 15168 0 -1 1077944384 536 0 0 0 10 0 0 0 20 0 24 0 509769016 8616062976 30609 33554432000 4194304 4196468 140733944776448 140171569788912 140172142914178 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15966208 140733944779743 140733944779910 140733944779910 140733944782799 0
[pid=15818/tid=15834] ppid=15650 vsize=8414124 memory=880 CPUtime=0.11 cores=0-7
/proc/15818/task/15834/stat : 15834 (java) S 15650 15650 15168 0 -1 1077944384 309 0 0 0 11 0 0 0 20 0 24 0 509769016 8616062976 30609 33554432000 4194304 4196468 140733944776448 140171568736624 140172142914178 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15966208 140733944779743 140733944779910 140733944779910 140733944782799 0
[pid=15818/tid=15835] ppid=15650 vsize=8414124 memory=1980 CPUtime=0.22 cores=0-7
/proc/15818/task/15835/stat : 15835 (java) S 15650 15650 15168 0 -1 1077944384 607 0 0 0 22 0 0 0 20 0 24 0 509769016 8616062976 30609 33554432000 4194304 4196468 140733944776448 140171567683824 140172142914178 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15966208 140733944779743 140733944779910 140733944779910 140733944782799 0
[pid=15818/tid=15836] ppid=15650 vsize=8414124 memory=2520 CPUtime=0 cores=0-7
/proc/15818/task/15836/stat : 15836 (java) S 15650 15650 15168 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 509769016 8616062976 30609 33554432000 4194304 4196468 140733944776448 140169747360608 140172142913237 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15966208 140733944779743 140733944779910 140733944779910 140733944782799 0
[pid=15818/tid=15837] ppid=15650 vsize=8414124 memory=3512 CPUtime=0 cores=0-7
/proc/15818/task/15837/stat : 15837 (java) S 15650 15650 15168 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509769017 8616062976 30609 33554432000 4194304 4196468 140733944776448 140171566631728 140172142914178 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15966208 140733944779743 140733944779910 140733944779910 140733944782799 0
Current children cumulated CPU time: 1776.82 s
Current children cumulated vsize: 8527252 KiB
Current children cumulated memory: 123912 KiB

[startup+1609.2 s]
/proc/loadavg: 1.08 1.03 1.38 2/218 15843
/proc/meminfo: memFree=24422020/32770624 swapFree=66935956/67108860
[pid=15650] ppid=15647 vsize=113128 memory=1476 CPUtime=1775.38 cores=0-7
/proc/15650/stat : 15650 (scop.sh) S 15647 15650 15168 0 -1 4202496 582 370997 0 0 0 0 174587 2951 20 0 1 0 509608287 115843072 369 33554432000 4194304 5098028 140727690391776 140727690388520 139723694322300 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 30822400 140727690400508 140727690400856 140727690400856 140727690403785 0
/proc/15650/statm: 28282 369 311 221 0 87 0
[pid=15818] ppid=15650 vsize=8414124 memory=122436 CPUtime=1.44 cores=0-7
/proc/15818/stat : 15818 (java) S 15650 15650 15168 0 -1 1077944320 20598 0 0 0 133 11 0 0 20 0 24 0 509769009 8616062976 30609 33554432000 4194304 4196468 140733944776448 140733944758992 140172142903031 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 15966208 140733944779743 140733944779910 140733944779910 140733944782799 0
/proc/15818/statm: 2103531 30609 3218 1 0 2064875 0
[pid=15838] ppid=15818 vsize=415656 memory=387968 CPUtime=1.18 cores=0-7
/proc/15838/stat : 15838 (manyglucose-4.1) R 15818 15650 15168 0 -1 4202496 77473 0 0 0 107 11 0 0 20 0 1 0 509769088 425631744 96992 33554432000 4194304 4454172 140731333715104 140731333712584 139627316992997 0 4 0 8388610 0 0 0 17 2 0 0 0 0 0 6552832 6554400 37158912 140731333718861 140731333719068 140731333719068 140731333722038 0
/proc/15838/statm: 103914 96992 378 64 0 99582 0
[pid=15818/tid=15819] ppid=15650 vsize=8414124 memory=4100 CPUtime=0.81 cores=0-7
/proc/15818/task/15819/stat : 15819 (java) S 15650 15650 15168 0 -1 1077944384 16882 0 0 0 73 8 0 0 20 0 24 0 509769009 8616062976 30609 33554432000 4194304 4196468 140733944776448 140172114743200 140172142913237 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15966208 140733944779743 140733944779910 140733944779910 140733944782799 0
[pid=15818/tid=15820] ppid=15650 vsize=8414124 memory=1804 CPUtime=0 cores=0-7
/proc/15818/task/15820/stat : 15820 (java) S 15650 15650 15168 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 509769011 8616062976 30609 33554432000 4194304 4196468 140733944776448 140172147145616 140172142913237 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15966208 140733944779743 140733944779910 140733944779910 140733944782799 0
[pid=15818/tid=15821] ppid=15650 vsize=8414124 memory=916 CPUtime=0 cores=0-7
/proc/15818/task/15821/stat : 15821 (java) S 15650 15650 15168 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509769011 8616062976 30609 33554432000 4194304 4196468 140733944776448 140171965233936 140172142913237 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15966208 140733944779743 140733944779910 140733944779910 140733944782799 0
[pid=15818/tid=15822] ppid=15650 vsize=8414124 memory=4448 CPUtime=0 cores=0-7
/proc/15818/task/15822/stat : 15822 (java) S 15650 15650 15168 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 509769011 8616062976 30609 33554432000 4194304 4196468 140733944776448 140171964181648 140172142913237 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15966208 140733944779743 140733944779910 140733944779910 140733944782799 0
[pid=15818/tid=15823] ppid=15650 vsize=8414124 memory=1412 CPUtime=0 cores=0-7
/proc/15818/task/15823/stat : 15823 (java) S 15650 15650 15168 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509769011 8616062976 30609 33554432000 4194304 4196468 140733944776448 140171963128848 140172142913237 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15966208 140733944779743 140733944779910 140733944779910 140733944782799 0
[pid=15818/tid=15824] ppid=15650 vsize=8414124 memory=3404 CPUtime=0 cores=0-7
/proc/15818/task/15824/stat : 15824 (java) S 15650 15650 15168 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509769011 8616062976 30609 33554432000 4194304 4196468 140733944776448 140171625265552 140172142913237 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15966208 140733944779743 140733944779910 140733944779910 140733944782799 0
[pid=15818/tid=15825] ppid=15650 vsize=8414124 memory=1396 CPUtime=0 cores=0-7
/proc/15818/task/15825/stat : 15825 (java) S 15650 15650 15168 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509769011 8616062976 30609 33554432000 4194304 4196468 140733944776448 140171624212752 140172142913237 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15966208 140733944779743 140733944779910 140733944779910 140733944782799 0
[pid=15818/tid=15826] ppid=15650 vsize=8414124 memory=17152828 CPUtime=0 cores=0-7
/proc/15818/task/15826/stat : 15826 (java) S 15650 15650 15168 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 509769011 8616062976 30609 33554432000 4194304 4196468 140733944776448 140171623160464 140172142913237 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15966208 140733944779743 140733944779910 140733944779910 140733944782799 0
[pid=15818/tid=15827] ppid=15650 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/15818/task/15827/stat : 15827 (java) S 15650 15650 15168 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 509769011 8616062976 30609 33554432000 4194304 4196468 140733944776448 140171622107664 140172142913237 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15966208 140733944779743 140733944779910 140733944779910 140733944782799 0
[pid=15818/tid=15828] ppid=15650 vsize=8414124 memory=8514701219730522529 CPUtime=0 cores=0-7
/proc/15818/task/15828/stat : 15828 (java) S 15650 15650 15168 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 509769012 8616062976 30609 33554432000 4194304 4196468 140733944776448 140171571894896 140172142914178 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15966208 140733944779743 140733944779910 140733944779910 140733944782799 0
[pid=15818/tid=15829] ppid=15650 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/15818/task/15829/stat : 15829 (java) S 15650 15650 15168 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 509769013 8616062976 30609 33554432000 4194304 4196468 140733944776448 140170753991968 140172142913237 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15966208 140733944779743 140733944779910 140733944779910 140733944782799 0
[pid=15818/tid=15830] ppid=15650 vsize=8414124 memory=122436 CPUtime=0 cores=0-7
/proc/15818/task/15830/stat : 15830 (java) S 15650 15650 15168 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 509769013 8616062976 30609 33554432000 4194304 4196468 140733944776448 140170619770480 140172142913237 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15966208 140733944779743 140733944779910 140733944779910 140733944782799 0
[pid=15818/tid=15831] ppid=15650 vsize=8414124 memory=111632 CPUtime=0 cores=0-7
/proc/15818/task/15831/stat : 15831 (java) S 15650 15650 15168 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509769016 8616062976 30609 33554432000 4194304 4196468 140733944776448 140170245266000 140172142921627 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15966208 140733944779743 140733944779910 140733944779910 140733944782799 0
[pid=15818/tid=15832] ppid=15650 vsize=8414124 memory=796 CPUtime=0.16 cores=0-7
/proc/15818/task/15832/stat : 15832 (java) S 15650 15650 15168 0 -1 1077944384 852 0 0 0 16 0 0 0 20 0 24 0 509769016 8616062976 30609 33554432000 4194304 4196468 140733944776448 140171570841712 140172142914178 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15966208 140733944779743 140733944779910 140733944779910 140733944782799 0
[pid=15818/tid=15833] ppid=15650 vsize=8414124 memory=4100 CPUtime=0.1 cores=0-7
/proc/15818/task/15833/stat : 15833 (java) S 15650 15650 15168 0 -1 1077944384 536 0 0 0 10 0 0 0 20 0 24 0 509769016 8616062976 30609 33554432000 4194304 4196468 140733944776448 140171569788912 140172142914178 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15966208 140733944779743 140733944779910 140733944779910 140733944782799 0
[pid=15818/tid=15834] ppid=15650 vsize=8414124 memory=1804 CPUtime=0.11 cores=0-7
/proc/15818/task/15834/stat : 15834 (java) S 15650 15650 15168 0 -1 1077944384 309 0 0 0 11 0 0 0 20 0 24 0 509769016 8616062976 30609 33554432000 4194304 4196468 140733944776448 140171568736624 140172142914178 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15966208 140733944779743 140733944779910 140733944779910 140733944782799 0
[pid=15818/tid=15835] ppid=15650 vsize=8414124 memory=916 CPUtime=0.22 cores=0-7
/proc/15818/task/15835/stat : 15835 (java) S 15650 15650 15168 0 -1 1077944384 607 0 0 0 22 0 0 0 20 0 24 0 509769016 8616062976 30609 33554432000 4194304 4196468 140733944776448 140171567683824 140172142914178 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15966208 140733944779743 140733944779910 140733944779910 140733944782799 0
[pid=15818/tid=15836] ppid=15650 vsize=8414124 memory=4448 CPUtime=0 cores=0-7
/proc/15818/task/15836/stat : 15836 (java) S 15650 15650 15168 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 509769016 8616062976 30609 33554432000 4194304 4196468 140733944776448 140169747360608 140172142913237 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15966208 140733944779743 140733944779910 140733944779910 140733944782799 0
[pid=15818/tid=15837] ppid=15650 vsize=8414124 memory=1412 CPUtime=0 cores=0-7
/proc/15818/task/15837/stat : 15837 (java) S 15650 15650 15168 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509769017 8616062976 30609 33554432000 4194304 4196468 140733944776448 140171566631728 140172142914178 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15966208 140733944779743 140733944779910 140733944779910 140733944782799 0
[pid=15818/tid=15839] ppid=15650 vsize=8414124 memory=3404 CPUtime=0 cores=0-7
/proc/15818/task/15839/stat : 15839 (java) S 15650 15650 15168 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 509769088 8616062976 30609 33554432000 4194304 4196468 140733944776448 140171560789824 140172142927641 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 15966208 140733944779743 140733944779910 140733944779910 140733944782799 0
[pid=15818/tid=15841] ppid=15650 vsize=8414124 memory=1396 CPUtime=0 cores=0-7
/proc/15818/task/15841/stat : 15841 (java) S 15650 15650 15168 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 509769089 8616062976 30609 33554432000 4194304 4196468 140733944776448 140169076260272 140172142924957 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 15966208 140733944779743 140733944779910 140733944779910 140733944782799 0
[pid=15818/tid=15842] ppid=15650 vsize=8414124 memory=17152828 CPUtime=0 cores=0-7
/proc/15818/task/15842/stat : 15842 (java) S 15650 15650 15168 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 509769089 8616062976 30609 33554432000 4194304 4196468 140733944776448 140169344695600 140172142924957 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 15966208 140733944779743 140733944779910 140733944779910 140733944782799 0
[pid=15818/tid=15843] ppid=15650 vsize=8414124 memory=6791534058613427641 CPUtime=0 cores=0-7
/proc/15818/task/15843/stat : 15843 (java) S 15650 15650 15168 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 509769091 8616062976 30609 33554432000 4194304 4196468 140733944776448 140168807832880 140172142913237 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15966208 140733944779743 140733944779910 140733944779910 140733944782799 0
Current children cumulated CPU time: 1778 s
Current children cumulated vsize: 8942908 KiB
Current children cumulated memory: 511880 KiB

[startup+1609.31 s]
/proc/loadavg: 1.08 1.03 1.38 2/218 15843
/proc/meminfo: memFree=24422020/32770624 swapFree=66935956/67108860
[pid=15650] ppid=15647 vsize=113128 memory=1476 CPUtime=1775.38 cores=0-7
/proc/15650/stat : 15650 (scop.sh) S 15647 15650 15168 0 -1 4202496 582 370997 0 0 0 0 174587 2951 20 0 1 0 509608287 115843072 369 33554432000 4194304 5098028 140727690391776 140727690388520 139723694322300 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 30822400 140727690400508 140727690400856 140727690400856 140727690403785 0
/proc/15650/statm: 28282 369 311 221 0 87 0
[pid=15818] ppid=15650 vsize=8414124 memory=122436 CPUtime=1.44 cores=0-7
/proc/15818/stat : 15818 (java) S 15650 15650 15168 0 -1 1077944320 20599 0 0 0 133 11 0 0 20 0 24 0 509769009 8616062976 30609 33554432000 4194304 4196468 140733944776448 140733944758992 140172142903031 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 15966208 140733944779743 140733944779910 140733944779910 140733944782799 0
/proc/15818/statm: 2103531 30609 3218 1 0 2064875 0
[pid=15838] ppid=15818 vsize=1095504 memory=478376 CPUtime=1.37 cores=0-7
/proc/15838/stat : 15838 (manyglucose-4.1) S 15818 15650 15168 0 -1 1077944320 94001 0 0 0 123 14 0 0 20 0 5 0 509769088 1121796096 119594 33554432000 4194304 4454172 140731333715104 140731333713488 139627331690231 0 4 0 8388610 18446744073709551615 0 0 17 6 0 0 0 0 0 6552832 6554400 37158912 140731333718861 140731333719068 140731333719068 140731333722038 0
/proc/15838/statm: 273876 119594 404 64 0 269544 0
[pid=15818/tid=15819] ppid=15650 vsize=8414124 memory=122436 CPUtime=0.81 cores=0-7
/proc/15818/task/15819/stat : 15819 (java) S 15650 15650 15168 0 -1 1077944384 16882 0 0 0 73 8 0 0 20 0 24 0 509769009 8616062976 30609 33554432000 4194304 4196468 140733944776448 140172114743200 140172142913237 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15966208 140733944779743 140733944779910 140733944779910 140733944782799 0
[pid=15818/tid=15820] ppid=15650 vsize=8414124 memory=122436 CPUtime=0 cores=0-7
/proc/15818/task/15820/stat : 15820 (java) S 15650 15650 15168 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 509769011 8616062976 30609 33554432000 4194304 4196468 140733944776448 140172147145616 140172142913237 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15966208 140733944779743 140733944779910 140733944779910 140733944782799 0
[pid=15818/tid=15821] ppid=15650 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/15818/task/15821/stat : 15821 (java) S 15650 15650 15168 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509769011 8616062976 30609 33554432000 4194304 4196468 140733944776448 140171965233936 140172142913237 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15966208 140733944779743 140733944779910 140733944779910 140733944782799 0
[pid=15818/tid=15822] ppid=15650 vsize=8414124 memory=1396 CPUtime=0 cores=0-7
/proc/15818/task/15822/stat : 15822 (java) S 15650 15650 15168 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 509769011 8616062976 30609 33554432000 4194304 4196468 140733944776448 140171964181648 140172142913237 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15966208 140733944779743 140733944779910 140733944779910 140733944782799 0
[pid=15818/tid=15823] ppid=15650 vsize=8414124 memory=1396 CPUtime=0 cores=0-7
/proc/15818/task/15823/stat : 15823 (java) S 15650 15650 15168 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509769011 8616062976 30609 33554432000 4194304 4196468 140733944776448 140171963128848 140172142913237 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15966208 140733944779743 140733944779910 140733944779910 140733944782799 0
[pid=15818/tid=15824] ppid=15650 vsize=8414124 memory=1396 CPUtime=0 cores=0-7
/proc/15818/task/15824/stat : 15824 (java) S 15650 15650 15168 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509769011 8616062976 30609 33554432000 4194304 4196468 140733944776448 140171625265552 140172142913237 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15966208 140733944779743 140733944779910 140733944779910 140733944782799 0
[pid=15818/tid=15825] ppid=15650 vsize=8414124 memory=17148100 CPUtime=0 cores=0-7
/proc/15818/task/15825/stat : 15825 (java) S 15650 15650 15168 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509769011 8616062976 30609 33554432000 4194304 4196468 140733944776448 140171624212752 140172142913237 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15966208 140733944779743 140733944779910 140733944779910 140733944782799 0
[pid=15818/tid=15826] ppid=15650 vsize=8414124 memory=-7824251494390520931 CPUtime=0 cores=0-7
/proc/15818/task/15826/stat : 15826 (java) S 15650 15650 15168 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 509769011 8616062976 30609 33554432000 4194304 4196468 140733944776448 140171623160464 140172142913237 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15966208 140733944779743 140733944779910 140733944779910 140733944782799 0
[pid=15818/tid=15827] ppid=15650 vsize=8414124 memory=2124 CPUtime=0 cores=0-7
/proc/15818/task/15827/stat : 15827 (java) S 15650 15650 15168 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 509769011 8616062976 30609 33554432000 4194304 4196468 140733944776448 140171622107664 140172142913237 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15966208 140733944779743 140733944779910 140733944779910 140733944782799 0
[pid=15818/tid=15828] ppid=15650 vsize=8414124 memory=35196 CPUtime=0 cores=0-7
/proc/15818/task/15828/stat : 15828 (java) S 15650 15650 15168 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 509769012 8616062976 30609 33554432000 4194304 4196468 140733944776448 140171571894896 140172142914178 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15966208 140733944779743 140733944779910 140733944779910 140733944782799 0
[pid=15818/tid=15829] ppid=15650 vsize=8414124 memory=17152828 CPUtime=0 cores=0-7
/proc/15818/task/15829/stat : 15829 (java) S 15650 15650 15168 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 509769013 8616062976 30609 33554432000 4194304 4196468 140733944776448 140170753991968 140172142913237 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15966208 140733944779743 140733944779910 140733944779910 140733944782799 0
[pid=15818/tid=15830] ppid=15650 vsize=8414124 memory=1760 CPUtime=0 cores=0-7
/proc/15818/task/15830/stat : 15830 (java) S 15650 15650 15168 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 509769013 8616062976 30609 33554432000 4194304 4196468 140733944776448 140170619770480 140172142913237 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15966208 140733944779743 140733944779910 140733944779910 140733944782799 0
[pid=15818/tid=15831] ppid=15650 vsize=8414124 memory=1660 CPUtime=0 cores=0-7
/proc/15818/task/15831/stat : 15831 (java) S 15650 15650 15168 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509769016 8616062976 30609 33554432000 4194304 4196468 140733944776448 140170245266000 140172142921627 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15966208 140733944779743 140733944779910 140733944779910 140733944782799 0
[pid=15818/tid=15832] ppid=15650 vsize=8414124 memory=111632 CPUtime=0.16 cores=0-7
/proc/15818/task/15832/stat : 15832 (java) S 15650 15650 15168 0 -1 1077944384 852 0 0 0 16 0 0 0 20 0 24 0 509769016 8616062976 30609 33554432000 4194304 4196468 140733944776448 140171570841712 140172142914178 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15966208 140733944779743 140733944779910 140733944779910 140733944782799 0
[pid=15818/tid=15833] ppid=15650 vsize=8414124 memory=796 CPUtime=0.1 cores=0-7
/proc/15818/task/15833/stat : 15833 (java) S 15650 15650 15168 0 -1 1077944384 536 0 0 0 10 0 0 0 20 0 24 0 509769016 8616062976 30609 33554432000 4194304 4196468 140733944776448 140171569788912 140172142914178 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15966208 140733944779743 140733944779910 140733944779910 140733944782799 0
[pid=15818/tid=15834] ppid=15650 vsize=8414124 memory=4100 CPUtime=0.11 cores=0-7
/proc/15818/task/15834/stat : 15834 (java) S 15650 15650 15168 0 -1 1077944384 309 0 0 0 11 0 0 0 20 0 24 0 509769016 8616062976 30609 33554432000 4194304 4196468 140733944776448 140171568736624 140172142914178 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15966208 140733944779743 140733944779910 140733944779910 140733944782799 0
[pid=15818/tid=15835] ppid=15650 vsize=8414124 memory=1476 CPUtime=0.22 cores=0-7
/proc/15818/task/15835/stat : 15835 (java) S 15650 15650 15168 0 -1 1077944384 607 0 0 0 22 0 0 0 20 0 24 0 509769016 8616062976 30609 33554432000 4194304 4196468 140733944776448 140171567683824 140172142914178 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15966208 140733944779743 140733944779910 140733944779910 140733944782799 0
[pid=15818/tid=15836] ppid=15650 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/15818/task/15836/stat : 15836 (java) S 15650 15650 15168 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 509769016 8616062976 30609 33554432000 4194304 4196468 140733944776448 140169747360608 140172142913237 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15966208 140733944779743 140733944779910 140733944779910 140733944782799 0
[pid=15818/tid=15837] ppid=15650 vsize=8414124 memory=1396 CPUtime=0 cores=0-7
/proc/15818/task/15837/stat : 15837 (java) S 15650 15650 15168 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509769017 8616062976 30609 33554432000 4194304 4196468 140733944776448 140171566631728 140172142914178 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15966208 140733944779743 140733944779910 140733944779910 140733944782799 0
[pid=15818/tid=15839] ppid=15650 vsize=8414124 memory=17152828 CPUtime=0 cores=0-7
/proc/15818/task/15839/stat : 15839 (java) S 15650 15650 15168 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 509769088 8616062976 30609 33554432000 4194304 4196468 140733944776448 140171560789824 140172142927641 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 15966208 140733944779743 140733944779910 140733944779910 140733944782799 0
[pid=15818/tid=15841] ppid=15650 vsize=8414124 memory=1716 CPUtime=0 cores=0-7
/proc/15818/task/15841/stat : 15841 (java) S 15650 15650 15168 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 509769089 8616062976 30609 33554432000 4194304 4196468 140733944776448 140169076260272 140172142924957 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 15966208 140733944779743 140733944779910 140733944779910 140733944782799 0
[pid=15818/tid=15842] ppid=15650 vsize=8414124 memory=17148188 CPUtime=0 cores=0-7
/proc/15818/task/15842/stat : 15842 (java) S 15650 15650 15168 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 509769089 8616062976 30609 33554432000 4194304 4196468 140733944776448 140169344695600 140172142924957 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 15966208 140733944779743 140733944779910 140733944779910 140733944782799 0
[pid=15818/tid=15843] ppid=15650 vsize=8414124 memory=492 CPUtime=0 cores=0-7
/proc/15818/task/15843/stat : 15843 (java) S 15650 15650 15168 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 509769091 8616062976 30609 33554432000 4194304 4196468 140733944776448 140168807832880 140172142913237 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15966208 140733944779743 140733944779910 140733944779910 140733944782799 0
Current children cumulated CPU time: 1778.19 s
Current children cumulated vsize: 9622756 KiB
Current children cumulated memory: 602288 KiB

Child status: 0
Real time (s): 1609.36
CPU time (s): 1778.37
CPU user time (s): 1748.54
CPU system time (s): 29.824
CPU usage (%): 110.502
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 17155780

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1748.54
system time used= 29.824
maximum resident set size= 17154772
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 486676
page faults= 0
swaps= 0
block input operations= 0
block output operations= 20320
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 55523
involuntary context switches= 2495


# summary of solver processes directly reported to runsolver:
#   pid: 15650
#   total CPU time (s): 1778.37
#   total CPU user time (s): 1748.54
#   total CPU system time (s): 29.824

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.1347 second user time and 11.6993 second system time

The end

Launcher Data 

Begin job on node147 at 2019-09-24 16:55:01
IDJOB=4405594
IDBENCH=126912
IDSOLVER=2868
FILE ID=node147/4405594-1569336944
RUNJOBID= node147-1569335935-15195
PBS_JOBID= 21705050
Free space on /var/tmp= 13428 MiB

SOLVER NAME= Fun-sCOP hybrid+ManyGlucose (2019-09-22)
BENCH NAME= XCSP17/RoomMate/RoomMate-int-s1/RoomMate-sr1000c-int.xml
COMMAND LINE= DIR/scop.sh 22g DIR/scop.jar -hybrid DIR/manyglucose-4.1-27_release -model:-nthreads=NBCORE:-maxmemory=20000:-lit-scans=6000000 TMPDIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4405594-1569336944/watcher-4405594-1569336944 -o /var/tmp/evaluation-result-4405594-1569336944/solver-4405594-1569336944 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node147-1569335935-15195 --watchdog 2580  HOME/scop.sh 22g HOME/scop.jar -hybrid HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4405594-1569336944.xml

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

MD5SUM BENCH= 2ff4403728a82746813109e0b9ab6660
RANDOM SEED=693132921

node147.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.52
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.52
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.52
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.52
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:        24743552 kB
MemAvailable:   31777536 kB
Buffers:          145780 kB
Cached:          6942040 kB
SwapCached:        68656 kB
Active:          3523732 kB
Inactive:        3635596 kB
Active(anon):       3364 kB
Inactive(anon):   126076 kB
Active(file):    3520368 kB
Inactive(file):  3509520 kB
Unevictable:      107772 kB
Mlocked:          107772 kB
SwapTotal:      67108860 kB
SwapFree:       66935956 kB
Dirty:            103448 kB
Writeback:             0 kB
AnonPages:        112752 kB
Mapped:            57496 kB
Shmem:             49096 kB
Slab:             461248 kB
SReclaimable:     432556 kB
SUnreclaim:        28692 kB
KernelStack:        3360 kB
PageTables:         5296 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     514568 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     67584 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      120192 kB
DirectMap2M:    33425408 kB

Free space on /var/tmp at the end= 13408 MiB
End job on node147 at 2019-09-24 17:21:51