Trace number 4405294

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Fun-sCOP order+ManyGlucose (2019-09-22)UNSAT 1743.67 1568.66

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.02	c (scop.sh) java -Xms22g -Xmx22g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Encode -order -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-9282-serial-file.bin HOME/instance-4405294-1569336804.xml
0.63/0.55	
0.63/0.55	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
0.63/0.55	
0.63/0.58	c BEGIN-Prog: Tue Sep 24 16:52:46 CEST 2019
0.63/0.58	c PID: 9285
0.63/0.58	c IP: 172.20.3.151
0.63/0.58	c HOST: node151.alineos.net
0.63/0.59	c (0,0) Parsing Begin
148.63/96.53	c (95,89) Parsing End
148.63/96.55	c (95,89) CSP: 1000 int (0 aux), 0 bool (0 aux), 1998000 ctr, max domain size 999
148.63/96.55	c (95,89) Heap : 3310 MiB used (max 20025 MiB), NonHeap : 24 MiB used (max 0 MiB)
148.63/96.55	c (95,89) Constraint Name Generate Begin
153.83/101.50	c (100,94) Ctr:HOME/instance-4405294-1569336804.xml,Eq:Imp:Le:Num:Var
153.83/101.50	c (100,94) Constraint Name Generate End
153.83/101.50	c (100,94) Heap : 4656 MiB used (max 20025 MiB), NonHeap : 23 MiB used (max 0 MiB)
153.83/101.50	c (100,94) CSP to CSPinCNF Begin
160.95/107.77	c (107,100) translated 199800 (10%) constraints
172.31/114.33	c (113,106) translated 399600 (20%) constraints
178.12/120.18	c (119,112) translated 599400 (30%) constraints
184.03/126.02	c (125,118) translated 799200 (40%) constraints
202.09/133.39	c (132,124) translated 999000 (50%) constraints
208.48/139.46	c (138,130) translated 1198800 (60%) constraints
214.48/145.47	c (144,136) translated 1398600 (70%) constraints
224.61/152.05	c (151,142) translated 1598400 (80%) constraints
230.61/158.08	c (157,148) translated 1798200 (90%) constraints
236.81/164.15	c (163,154) translated 1998000 (100%) constraints
236.81/164.15	c (163,154) ===========================================
236.81/164.15	c (163,154) Order
236.81/164.15	c (163,154) ===========================================
240.30/167.05	c (166,157) translated 199800 (10%) constraints
243.20/169.96	c (169,160) translated 399600 (20%) constraints
250.74/173.37	c (172,162) translated 599400 (30%) constraints
253.55/176.18	c (175,165) translated 799200 (40%) constraints
256.46/179.02	c (178,168) translated 999000 (50%) constraints
275.49/192.79	c (192,181) translated 1198800 (60%) constraints
294.05/206.54	c (205,194) translated 1398600 (70%) constraints
312.85/220.06	c (219,207) translated 1598400 (80%) constraints
332.61/234.33	c (233,220) translated 1798200 (90%) constraints
351.72/247.88	c (247,233) translated 1998000 (100%) constraints
351.72/247.89	c (247,233) CSP to CSPinCNF End
352.12/248.21	c (247,233) CSP: 1000 int (0 aux), 999000 bool (999000 aux), 3996000 ctr, max domain size 999
352.12/248.21	c (247,233) Heap : 8612 MiB used (max 21409 MiB), NonHeap : 27 MiB used (max 0 MiB)
352.12/248.21	c (247,233) CSPinCNF Propagation Begin
1733.09/1561.12	c (1560,1537) 1780938 values, 2689286 unsatisfiable literals, and 3659834 valid clauses are removed
1733.09/1561.12	c (1560,1537) CSPinCNF Propagation End
1733.38/1561.47	c (1560,1537) CSP: 983 int (0 aux), 999017 bool (999000 aux), 336166 ctr, max domain size 747
1733.38/1561.47	c (1560,1537) Heap : 10644 MiB used (max 21683 MiB), NonHeap : 26 MiB used (max 0 MiB)
1733.49/1561.53	c (1560,1537) Simplify CSPinCNF Begin
1734.24/1562.08	c (1561,1538) Simplify CSPinCNF End
1734.63/1562.44	c (1561,1538) CSP: 983 int (0 aux), 999017 bool (999000 aux), 336166 ctr, max domain size 747
1734.63/1562.44	c (1561,1538) Heap : 10992 MiB used (max 21683 MiB), NonHeap : 26 MiB used (max 0 MiB)
1734.63/1562.44	c (1561,1538) Calculate Precise Domain Begin
1734.63/1562.44	c (1561,1538) 0 values are removed by re-calculation
1734.63/1562.44	c (1561,1538) Calculate Precise Domain End
1734.93/1562.79	c (1562,1538) CSP: 983 int (0 aux), 999017 bool (999000 aux), 336166 ctr, max domain size 747
1734.93/1562.79	c (1562,1538) Heap : 10992 MiB used (max 21683 MiB), NonHeap : 26 MiB used (max 0 MiB)
1734.93/1562.79	c (1562,1538) CSPinCNF to SatSolver Begin
1738.29/1564.43	c (1563,1540) 33617 (10 %) CSP clauses are encoded (0 SAT variables, 140276 SAT clauses)
1738.55/1564.66	c (1564,1540) 67234 (20 %) CSP clauses are encoded (0 SAT variables, 173893 SAT clauses)
1738.75/1564.86	c (1564,1540) 100850 (30 %) CSP clauses are encoded (0 SAT variables, 207509 SAT clauses)
1738.96/1565.07	c (1564,1541) 134467 (40 %) CSP clauses are encoded (0 SAT variables, 241126 SAT clauses)
1739.15/1565.27	c (1564,1541) 168083 (50 %) CSP clauses are encoded (0 SAT variables, 274742 SAT clauses)
1739.35/1565.48	c (1564,1541) 201700 (60 %) CSP clauses are encoded (0 SAT variables, 308359 SAT clauses)
1739.55/1565.69	c (1565,1541) 235317 (70 %) CSP clauses are encoded (0 SAT variables, 341976 SAT clauses)
1739.75/1565.89	c (1565,1541) 268933 (80 %) CSP clauses are encoded (0 SAT variables, 375592 SAT clauses)
1739.95/1566.10	c (1565,1542) 302550 (90 %) CSP clauses are encoded (0 SAT variables, 409209 SAT clauses)
1740.25/1566.30	c (1565,1542) 336166 (100 %) CSP clauses are encoded (0 SAT variables, 442825 SAT clauses)
1740.25/1566.30	c (1565,1542) CSPinCNF to SatSolver End
1740.25/1566.30	c (1565,1542) Heap : 14131 MiB used (max 21683 MiB), NonHeap : 29 MiB used (max 0 MiB)
1740.25/1566.30	c (1565,1542) 216062 bool, 442826 clause
1740.25/1566.30	c (1565,1542) Export Begin
1740.46/1566.44	c (1565,1542) Export to HOME/scop-9282-serial-file.bin
1740.46/1566.44	c (1565,1542) Export End
1740.46/1566.45	c (1565,1542) Export File Size: 0.16 MB
1740.46/1566.45	c (1565,1542) 95,100,247,1560,1561,1562,1565,STOP-AFTER(DIMACS)
1740.46/1566.45	c END-Prog: Tue Sep 24 17:18:52 CEST 2019
0.00/1566.53	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-9282-serial-file.bin
1740.72/1567.00	c (0,0) Read Serial File Begin
1740.72/1567.00	c (0,0) HOME/scop-9282-serial-file.bin
1741.62/1567.26	c (0,0) Read Serial File End
1741.62/1567.27	
1741.62/1567.27	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
1741.62/1567.27	(Solving Process)
1741.62/1567.27	
1741.62/1567.29	c BEGIN-Prog: Tue Sep 24 17:18:53 CEST 2019
1741.62/1567.29	c PID: 9444
1741.62/1567.29	c IP: 172.20.3.151
1741.62/1567.29	c HOST: node151.alineos.net
1741.62/1567.30	c (0,0) SatSolver.solve Begin
1741.62/1567.30	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4405294-1569336804.xml-scop-9285.cnf
1741.97/1567.32	c (0,0) c
1741.97/1567.32	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)
1741.97/1567.32	c (0,0) c
1741.97/1567.32	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
1741.97/1567.32	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
1741.97/1567.32	c (0,0) c ========================================[ Problem Statistics ]===========================================
1741.97/1567.32	c (0,0) c |                                                                                                       |
1742.15/1567.57	c (0,0) c |  Number of variables:        216062                                                                   |
1742.15/1567.57	c (0,0) c |  Number of clauses:          442826                                                                   |
1742.15/1567.57	c (0,0) c |  Parse time:                   0.21 s                                                                 |
1742.15/1567.57	c (0,0) c |                                                                                                       |
1742.93/1568.16	c (1,0) c |  Simplification time:          0.59 s                                                                 |
1742.93/1568.16	c (1,0) c |                                                                                                       |
1742.93/1568.16	c (1,0) c |  Generating clones                                                                                    |
1743.32/1568.59	c (1,0) c |  all clones generated. Memory =   493.80Mb.                                                           |
1743.32/1568.59	c (1,0) c ========================================================================================================|
1743.32/1568.59	c (1,0) c
1743.32/1568.59	c (1,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
1743.32/1568.59	c (1,0) c
1743.32/1568.59	c (1,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
1743.32/1568.59	c (1,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
1743.32/1568.59	c (1,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
1743.32/1568.59	c (1,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
1743.32/1568.59	c (1,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
1743.32/1568.59	c (1,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
1743.32/1568.59	c (1,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
1743.32/1568.59	c (1,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
1743.32/1568.59	c (1,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
1743.32/1568.59	c (1,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
1743.32/1568.59	c (1,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
1743.32/1568.59	c (1,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
1743.32/1568.59	c (1,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
1743.32/1568.59	c (1,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
1743.32/1568.59	c (1,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
1743.32/1568.59	c (1,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
1743.32/1568.59	c (1,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
1743.32/1568.59	c (1,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
1743.32/1568.59	c (1,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
1743.52/1568.61	c (1,0) c
1743.52/1568.61	c (1,0) c real time : 1.29068 s
1743.52/1568.61	c (1,0) c cpu time  : 1.22512 s
1743.52/1568.61	c (1,0) c
1743.52/1568.61	c (1,0) c
1743.52/1568.61	c (1,0) c
1743.52/1568.61	c (1,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
1743.52/1568.61	c (1,0) c
1743.52/1568.61	c (1,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1743.52/1568.61	c (1,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
1743.52/1568.61	c (1,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1743.52/1568.61	c (1,0) c | Conflicts     |              45 |          4 |          5 |          9 |         10 |          2 |          6 |          4 |          5 |
1743.52/1568.61	c (1,0) c | Decisions     |              38 |          3 |          4 |          8 |         10 |          1 |          5 |          3 |          4 |
1743.52/1568.61	c (1,0) c | Propagations  |           74486 |       8136 |       8032 |       9429 |       9074 |       8178 |       8892 |       8032 |      14713 |
1743.52/1568.61	c (1,0) c | ReduceDBs     |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1743.52/1568.61	c (1,0) c | SimpDBs       |               8 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |
1743.52/1568.61	c (1,0) c | Restarts      |               8 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |
1743.52/1568.61	c (1,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1743.52/1568.61	c (1,0) c | PropBinClauses|          194451 |      24181 |      22588 |      26089 |      28708 |      22785 |      22134 |      22627 |      25339 |
1743.52/1568.61	c (1,0) c | PropPreBlocker|          229206 |      28587 |      26798 |      30714 |      33353 |      26655 |      26396 |      27491 |      29212 |
1743.52/1568.61	c (1,0) c | PropNotBlocker|           92835 |      11866 |      11105 |      12532 |      13229 |      10331 |      10749 |      11672 |      11351 |
1743.52/1568.61	c (1,0) c | LitFullScans  |          924758 |      74109 |     103995 |     200001 |     173959 |      72983 |     105444 |      85844 |     108423 |
1743.52/1568.61	c (1,0) c | LitScanFracts |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1743.52/1568.61	c (1,0) c | DecisionLevel0|              18 |          4 |          2 |          2 |          2 |          2 |          2 |          2 |          2 |
1743.52/1568.61	c (1,0) c | Periods       |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1743.52/1568.61	c (1,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
1743.52/1568.61	c (1,0) c | Avg_Trail     |                 |       5997 |       6203 |       7033 |       6417 |       7993 |       5741 |       5042 |       7313 |
1743.52/1568.61	c (1,0) c | Avg_DL        |                 |          0 |          2 |          2 |          3 |          0 |          2 |          1 |          2 |
1743.52/1568.61	c (1,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1743.52/1568.61	c (1,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1743.52/1568.61	c (1,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1743.52/1568.61	c (1,0) c | Exported      |               7 |          0 |          1 |          1 |          2 |          0 |          1 |          1 |          1 |
1743.52/1568.61	c (1,0) c | Imported      |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1743.52/1568.61	c (1,0) c | Good          |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1743.52/1568.61	c (1,0) c | Purge         |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1743.52/1568.61	c (1,0) c | Promoted      |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1743.52/1568.61	c (1,0) c | Remove_Imp    |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1743.52/1568.61	c (1,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1743.52/1568.61	c (1,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1743.52/1568.61	c (1,0) c | Unaries       |                 |          3 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |
1743.52/1568.61	c (1,0) c | Binaries      |                 |          0 |          1 |          1 |          2 |          0 |          1 |          1 |          0 |
1743.52/1568.61	c (1,0) c | Glues         |                 |          0 |          1 |          1 |          2 |          0 |          1 |          1 |          1 |
1743.52/1568.61	c (1,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1743.52/1568.61	c (1,0) c | Orig_Seen     |            21 % |       3328 |       8385 |       8280 |       8229 |       7475 |       8466 |       7710 |       8270 |
1743.52/1568.61	c (1,0) c | Diff Orig seen|                 |      X     |       5057 |       4952 |       4901 |       4147 |       5138 |       4382 |       4942 |
1743.52/1568.61	c (1,0) c | Hamming       |             0 % |      X     |        390 |        537 |        728 |        593 |        441 |        552 |        486 |
1743.52/1568.61	c (1,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1743.52/1568.61	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%|
1743.52/1568.61	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%|
1743.52/1568.61	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%|
1743.52/1568.61	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%|
1743.52/1568.61	c (1,0) c | SolvingTime   |                 |    0.0     |    0.0     |    0.0     |    0.0     |    0.0     |    0.0     |    0.0     |    0.0     |
1743.52/1568.61	c (1,0) c | PropagationTim|                 |    0.0  87%|    0.0  69%|    0.0  50%|    0.0  60%|    0.0  81%|    0.0  57%|    0.0  75%|    0.0  62%|
1743.52/1568.61	c (1,0) c | AnalysisTime  |                 |    0.0   9%|    0.0  28%|    0.0  46%|    0.0  37%|    0.0  15%|    0.0  39%|    0.0  22%|    0.0  36%|
1743.52/1568.61	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%|
1743.52/1568.61	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%|
1743.52/1568.61	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%|
1743.52/1568.61	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%|
1743.52/1568.61	c (1,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1743.52/1568.61	c (1,0) c
1743.52/1568.61	c (1,0) c
1743.52/1568.61	c (1,0) c Threads : 8
1743.52/1568.61	c (1,0) c Winner : 0
1743.52/1568.61	c (1,0) c Conflicts_0 : 4
1743.52/1568.61	c (1,0) c Conflicts_1 : 5
1743.52/1568.61	c (1,0) c Conflicts_2 : 9
1743.52/1568.61	c (1,0) c Conflicts_3 : 10
1743.52/1568.61	c (1,0) c Conflicts_4 : 2
1743.52/1568.61	c (1,0) c Conflicts_5 : 6
1743.52/1568.61	c (1,0) c Conflicts_6 : 4
1743.52/1568.61	c (1,0) c Conflicts_7 : 5
1743.52/1568.61	c (1,0) c Conflicts_total : 45
1743.52/1568.61	c (1,0) c Conflicts_winner : 4
1743.52/1568.61	c (1,0) c Decisions_0 : 3
1743.52/1568.61	c (1,0) c Decisions_1 : 4
1743.52/1568.61	c (1,0) c Decisions_2 : 8
1743.52/1568.61	c (1,0) c Decisions_3 : 10
1743.52/1568.61	c (1,0) c Decisions_4 : 1
1743.52/1568.61	c (1,0) c Decisions_5 : 5
1743.52/1568.61	c (1,0) c Decisions_6 : 3
1743.52/1568.61	c (1,0) c Decisions_7 : 4
1743.52/1568.61	c (1,0) c Decisions_total : 38
1743.52/1568.61	c (1,0) c Decisions_winner : 3
1743.52/1568.61	c (1,0) c Propagations_0 : 8136
1743.52/1568.61	c (1,0) c Propagations_1 : 8032
1743.52/1568.61	c (1,0) c Propagations_2 : 9429
1743.52/1568.61	c (1,0) c Propagations_3 : 9074
1743.52/1568.61	c (1,0) c Propagations_4 : 8178
1743.52/1568.61	c (1,0) c Propagations_5 : 8892
1743.52/1568.61	c (1,0) c Propagations_6 : 8032
1743.52/1568.61	c (1,0) c Propagations_7 : 14713
1743.52/1568.61	c (1,0) c Propagations_total : 74486
1743.52/1568.61	c (1,0) c Propagations_winner : 8136
1743.52/1568.61	c (1,0) c ReduceDBs_0 : 0
1743.52/1568.61	c (1,0) c ReduceDBs_1 : 0
1743.52/1568.61	c (1,0) c ReduceDBs_2 : 0
1743.52/1568.62	c (1,0) c ReduceDBs_3 : 0
1743.52/1568.62	c (1,0) c ReduceDBs_4 : 0
1743.52/1568.62	c (1,0) c ReduceDBs_5 : 0
1743.52/1568.62	c (1,0) c ReduceDBs_6 : 0
1743.52/1568.62	c (1,0) c ReduceDBs_7 : 0
1743.52/1568.62	c (1,0) c ReduceDBs_total : 0
1743.52/1568.62	c (1,0) c ReduceDBs_winner : 0
1743.52/1568.62	c (1,0) c SimpDBs_0 : 1
1743.52/1568.62	c (1,0) c SimpDBs_1 : 1
1743.52/1568.62	c (1,0) c SimpDBs_2 : 1
1743.52/1568.62	c (1,0) c SimpDBs_3 : 1
1743.52/1568.62	c (1,0) c SimpDBs_4 : 1
1743.52/1568.62	c (1,0) c SimpDBs_5 : 1
1743.52/1568.62	c (1,0) c SimpDBs_6 : 1
1743.52/1568.62	c (1,0) c SimpDBs_7 : 1
1743.52/1568.62	c (1,0) c SimpDBs_total : 8
1743.52/1568.62	c (1,0) c SimpDBs_winner : 1
1743.52/1568.62	c (1,0) c Restarts_0 : 1
1743.52/1568.62	c (1,0) c Restarts_1 : 1
1743.52/1568.62	c (1,0) c Restarts_2 : 1
1743.52/1568.62	c (1,0) c Restarts_3 : 1
1743.52/1568.62	c (1,0) c Restarts_4 : 1
1743.52/1568.62	c (1,0) c Restarts_5 : 1
1743.52/1568.62	c (1,0) c Restarts_6 : 1
1743.52/1568.62	c (1,0) c Restarts_7 : 1
1743.52/1568.62	c (1,0) c Restarts_total : 8
1743.52/1568.62	c (1,0) c Restarts_winner : 1
1743.52/1568.62	c (1,0) c ForcedImports_0 : 0
1743.52/1568.62	c (1,0) c ForcedImports_1 : 0
1743.52/1568.62	c (1,0) c ForcedImports_2 : 0
1743.52/1568.62	c (1,0) c ForcedImports_3 : 0
1743.52/1568.62	c (1,0) c ForcedImports_4 : 0
1743.52/1568.62	c (1,0) c ForcedImports_5 : 0
1743.52/1568.62	c (1,0) c ForcedImports_6 : 0
1743.52/1568.62	c (1,0) c ForcedImports_7 : 0
1743.52/1568.62	c (1,0) c ForcedImports_total : 0
1743.52/1568.62	c (1,0) c ForcedImports_winner : 0
1743.52/1568.62	c (1,0) c PropsBinClauses_0 : 24181
1743.52/1568.62	c (1,0) c PropsBinClauses_1 : 22588
1743.52/1568.62	c (1,0) c PropsBinClauses_2 : 26089
1743.52/1568.62	c (1,0) c PropsBinClauses_3 : 28708
1743.52/1568.62	c (1,0) c PropsBinClauses_4 : 22785
1743.52/1568.62	c (1,0) c PropsBinClauses_5 : 22134
1743.52/1568.62	c (1,0) c PropsBinClauses_6 : 22627
1743.52/1568.62	c (1,0) c PropsBinClauses_7 : 25339
1743.52/1568.62	c (1,0) c PropsBinClauses_total : 194451
1743.52/1568.62	c (1,0) c PropsBinClauses_winner : 24181
1743.52/1568.62	c (1,0) c PropsPreBlocker_0 : 28587
1743.52/1568.62	c (1,0) c PropsPreBlocker_1 : 26798
1743.52/1568.62	c (1,0) c PropsPreBlocker_2 : 30714
1743.52/1568.62	c (1,0) c PropsPreBlocker_3 : 33353
1743.52/1568.62	c (1,0) c PropsPreBlocker_4 : 26655
1743.52/1568.62	c (1,0) c PropsPreBlocker_5 : 26396
1743.52/1568.62	c (1,0) c PropsPreBlocker_6 : 27491
1743.52/1568.62	c (1,0) c PropsPreBlocker_7 : 29212
1743.52/1568.62	c (1,0) c PropsPreBlocker_total : 229206
1743.52/1568.62	c (1,0) c PropsPreBlocker_winner : 28587
1743.52/1568.62	c (1,0) c PropsNotBlocker_0 : 11866
1743.52/1568.62	c (1,0) c PropsNotBlocker_1 : 11105
1743.52/1568.62	c (1,0) c PropsNotBlocker_2 : 12532
1743.52/1568.62	c (1,0) c PropsNotBlocker_3 : 13229
1743.52/1568.62	c (1,0) c PropsNotBlocker_4 : 10331
1743.52/1568.62	c (1,0) c PropsNotBlocker_5 : 10749
1743.52/1568.62	c (1,0) c PropsNotBlocker_6 : 11672
1743.52/1568.62	c (1,0) c PropsNotBlocker_7 : 11351
1743.52/1568.62	c (1,0) c PropsNotBlocker_total : 92835
1743.52/1568.62	c (1,0) c PropsNotBlocker_winner : 11866
1743.52/1568.62	c (1,0) c PropsLitFullScans_0 : 74109
1743.52/1568.62	c (1,0) c PropsLitFullScans_1 : 103995
1743.52/1568.62	c (1,0) c PropsLitFullScans_2 : 200001
1743.52/1568.62	c (1,0) c PropsLitFullScans_3 : 173959
1743.52/1568.62	c (1,0) c PropsLitFullScans_4 : 72983
1743.52/1568.62	c (1,0) c PropsLitFullScans_5 : 105444
1743.52/1568.62	c (1,0) c PropsLitFullScans_6 : 85844
1743.52/1568.62	c (1,0) c PropsLitFullScans_7 : 108423
1743.52/1568.62	c (1,0) c PropsLitFullScans_total : 924758
1743.52/1568.62	c (1,0) c PropsLitFullScans_winner : 74109
1743.52/1568.62	c (1,0) c LitScanFractions_0 : 0
1743.52/1568.62	c (1,0) c LitScanFractions_1 : 0
1743.52/1568.62	c (1,0) c LitScanFractions_2 : 0
1743.52/1568.62	c (1,0) c LitScanFractions_3 : 0
1743.52/1568.62	c (1,0) c LitScanFractions_4 : 0
1743.52/1568.62	c (1,0) c LitScanFractions_5 : 0
1743.52/1568.62	c (1,0) c LitScanFractions_6 : 0
1743.52/1568.62	c (1,0) c LitScanFractions_7 : 0
1743.52/1568.62	c (1,0) c LitScanFractions_total : 0
1743.52/1568.62	c (1,0) c LitScanFractions_winner : 0
1743.52/1568.62	c (1,0) c DecisionLevel0_0 : 4
1743.52/1568.62	c (1,0) c DecisionLevel0_1 : 2
1743.52/1568.62	c (1,0) c DecisionLevel0_2 : 2
1743.52/1568.62	c (1,0) c DecisionLevel0_3 : 2
1743.52/1568.62	c (1,0) c DecisionLevel0_4 : 2
1743.52/1568.62	c (1,0) c DecisionLevel0_5 : 2
1743.52/1568.62	c (1,0) c DecisionLevel0_6 : 2
1743.52/1568.62	c (1,0) c DecisionLevel0_7 : 2
1743.52/1568.62	c (1,0) c DecisionLevel0_total : 18
1743.52/1568.62	c (1,0) c DecisionLevel0_winner : 4
1743.52/1568.62	c (1,0) c Periods_0 : 0
1743.52/1568.62	c (1,0) c Periods_1 : 0
1743.52/1568.62	c (1,0) c Periods_2 : 0
1743.52/1568.62	c (1,0) c Periods_3 : 0
1743.52/1568.62	c (1,0) c Periods_4 : 0
1743.52/1568.62	c (1,0) c Periods_5 : 0
1743.52/1568.62	c (1,0) c Periods_6 : 0
1743.52/1568.62	c (1,0) c Periods_7 : 0
1743.52/1568.62	c (1,0) c Periods_total : 0
1743.52/1568.62	c (1,0) c Periods_winner : 0
1743.52/1568.62	c (1,0) c Margin_0 : 20
1743.52/1568.62	c (1,0) c Margin_1 : 20
1743.52/1568.62	c (1,0) c Margin_2 : 20
1743.52/1568.62	c (1,0) c Margin_3 : 20
1743.52/1568.62	c (1,0) c Margin_4 : 20
1743.52/1568.62	c (1,0) c Margin_5 : 20
1743.52/1568.62	c (1,0) c Margin_6 : 20
1743.52/1568.62	c (1,0) c Margin_7 : 20
1743.52/1568.62	c (1,0) c Margin_total : 160
1743.52/1568.62	c (1,0) c Margin_winner : 20
1743.52/1568.62	c (1,0) c Exported_0 : 0
1743.52/1568.62	c (1,0) c Exported_1 : 1
1743.52/1568.62	c (1,0) c Exported_2 : 1
1743.52/1568.62	c (1,0) c Exported_3 : 2
1743.52/1568.62	c (1,0) c Exported_4 : 0
1743.52/1568.62	c (1,0) c Exported_5 : 1
1743.52/1568.62	c (1,0) c Exported_6 : 1
1743.52/1568.62	c (1,0) c Exported_7 : 1
1743.52/1568.62	c (1,0) c Exported_total : 7
1743.52/1568.62	c (1,0) c Exported_winner : 0
1743.52/1568.62	c (1,0) c Imported_0 : 0
1743.52/1568.62	c (1,0) c Imported_1 : 0
1743.52/1568.62	c (1,0) c Imported_2 : 0
1743.52/1568.62	c (1,0) c Imported_3 : 0
1743.52/1568.62	c (1,0) c Imported_4 : 0
1743.52/1568.62	c (1,0) c Imported_5 : 0
1743.52/1568.62	c (1,0) c Imported_6 : 0
1743.52/1568.62	c (1,0) c Imported_7 : 0
1743.52/1568.62	c (1,0) c Imported_total : 0
1743.52/1568.62	c (1,0) c Imported_winner : 0
1743.52/1568.62	c (1,0) c Good_0 : 0
1743.52/1568.62	c (1,0) c Good_1 : 0
1743.52/1568.62	c (1,0) c Good_2 : 0
1743.52/1568.62	c (1,0) c Good_3 : 0
1743.52/1568.62	c (1,0) c Good_4 : 0
1743.52/1568.62	c (1,0) c Good_5 : 0
1743.52/1568.62	c (1,0) c Good_6 : 0
1743.52/1568.62	c (1,0) c Good_7 : 0
1743.52/1568.62	c (1,0) c Good_total : 0
1743.52/1568.62	c (1,0) c Good_winner : 0
1743.52/1568.62	c (1,0) c Purge_0 : 0
1743.52/1568.62	c (1,0) c Purge_1 : 0
1743.52/1568.62	c (1,0) c Purge_2 : 0
1743.52/1568.62	c (1,0) c Purge_3 : 0
1743.52/1568.62	c (1,0) c Purge_4 : 0
1743.52/1568.62	c (1,0) c Purge_5 : 0
1743.52/1568.62	c (1,0) c Purge_6 : 0
1743.52/1568.62	c (1,0) c Purge_7 : 0
1743.52/1568.62	c (1,0) c Purge_total : 0
1743.52/1568.62	c (1,0) c Purge_winner : 0
1743.52/1568.62	c (1,0) c Promoted_0 : 0
1743.52/1568.62	c (1,0) c Promoted_1 : 0
1743.52/1568.62	c (1,0) c Promoted_2 : 0
1743.52/1568.62	c (1,0) c Promoted_3 : 0
1743.52/1568.62	c (1,0) c Promoted_4 : 0
1743.52/1568.62	c (1,0) c Promoted_5 : 0
1743.52/1568.62	c (1,0) c Promoted_6 : 0
1743.52/1568.62	c (1,0) c Promoted_7 : 0
1743.52/1568.62	c (1,0) c Promoted_total : 0
1743.52/1568.62	c (1,0) c Promoted_winner : 0
1743.52/1568.62	c (1,0) c Remove_Imp_0 : 0
1743.52/1568.62	c (1,0) c Remove_Imp_1 : 0
1743.52/1568.62	c (1,0) c Remove_Imp_2 : 0
1743.52/1568.62	c (1,0) c Remove_Imp_3 : 0
1743.52/1568.62	c (1,0) c Remove_Imp_4 : 0
1743.52/1568.62	c (1,0) c Remove_Imp_5 : 0
1743.52/1568.62	c (1,0) c Remove_Imp_6 : 0
1743.52/1568.62	c (1,0) c Remove_Imp_7 : 0
1743.52/1568.62	c (1,0) c Remove_Imp_total : 0
1743.52/1568.62	c (1,0) c Remove_Imp_winner : 0
1743.52/1568.62	c (1,0) c Blocked_Reuse_0 : 0
1743.52/1568.62	c (1,0) c Blocked_Reuse_1 : 0
1743.52/1568.62	c (1,0) c Blocked_Reuse_2 : 0
1743.52/1568.62	c (1,0) c Blocked_Reuse_3 : 0
1743.52/1568.62	c (1,0) c Blocked_Reuse_4 : 0
1743.52/1568.62	c (1,0) c Blocked_Reuse_5 : 0
1743.52/1568.62	c (1,0) c Blocked_Reuse_6 : 0
1743.52/1568.62	c (1,0) c Blocked_Reuse_7 : 0
1743.52/1568.62	c (1,0) c Blocked_Reuse_total : 0
1743.52/1568.62	c (1,0) c Blocked_Reuse_winner : 0
1743.52/1568.62	c (1,0) c Unaries_0 : 3
1743.52/1568.62	c (1,0) c Unaries_1 : 1
1743.52/1568.62	c (1,0) c Unaries_2 : 1
1743.52/1568.62	c (1,0) c Unaries_3 : 1
1743.52/1568.62	c (1,0) c Unaries_4 : 1
1743.52/1568.62	c (1,0) c Unaries_5 : 1
1743.52/1568.62	c (1,0) c Unaries_6 : 1
1743.52/1568.62	c (1,0) c Unaries_7 : 1
1743.52/1568.62	c (1,0) c Unaries_total : 10
1743.52/1568.62	c (1,0) c Unaries_winner : 3
1743.52/1568.62	c (1,0) c Binaries_0 : 0
1743.52/1568.62	c (1,0) c Binaries_1 : 1
1743.52/1568.62	c (1,0) c Binaries_2 : 1
1743.52/1568.62	c (1,0) c Binaries_3 : 2
1743.52/1568.62	c (1,0) c Binaries_4 : 0
1743.52/1568.62	c (1,0) c Binaries_5 : 1
1743.52/1568.62	c (1,0) c Binaries_6 : 1
1743.52/1568.62	c (1,0) c Binaries_7 : 0
1743.52/1568.62	c (1,0) c Binaries_total : 6
1743.52/1568.62	c (1,0) c Binaries_winner : 0
1743.52/1568.62	c (1,0) c Glues_0 : 0
1743.52/1568.62	c (1,0) c Glues_1 : 1
1743.52/1568.62	c (1,0) c Glues_2 : 1
1743.52/1568.62	c (1,0) c Glues_3 : 2
1743.52/1568.62	c (1,0) c Glues_4 : 0
1743.52/1568.62	c (1,0) c Glues_5 : 1
1743.52/1568.62	c (1,0) c Glues_6 : 1
1743.52/1568.62	c (1,0) c Glues_7 : 1
1743.52/1568.62	c (1,0) c Glues_total : 7
1743.52/1568.62	c (1,0) c Glues_winner : 0
1743.52/1568.62	c (1,0) c RunningTime_0 : 0.013579
1743.52/1568.62	c (1,0) c RunningTime_1 : 0.014125
1743.52/1568.62	c (1,0) c RunningTime_2 : 0.014498
1743.52/1568.62	c (1,0) c RunningTime_3 : 0.019324
1743.52/1568.62	c (1,0) c RunningTime_4 : 0.009141
1743.52/1568.62	c (1,0) c RunningTime_5 : 0.015443
1743.52/1568.62	c (1,0) c RunningTime_6 : 0.015910
1743.52/1568.62	c (1,0) c RunningTime_7 : 0.010957
1743.52/1568.62	c (1,0) c RunningTime_total : 0.112978
1743.52/1568.62	c (1,0) c RunningTime_winner : 0.013579
1743.52/1568.62	c (1,0) c WaitingTime_0 : 0.000000
1743.52/1568.62	c (1,0) c WaitingTime_1 : 0.000000
1743.52/1568.62	c (1,0) c WaitingTime_2 : 0.000000
1743.52/1568.62	c (1,0) c WaitingTime_3 : 0.000000
1743.52/1568.62	c (1,0) c WaitingTime_4 : 0.000000
1743.52/1568.62	c (1,0) c WaitingTime_5 : 0.000000
1743.52/1568.62	c (1,0) c WaitingTime_6 : 0.000000
1743.52/1568.62	c (1,0) c WaitingTime_7 : 0.000000
1743.52/1568.62	c (1,0) c WaitingTime_total : 0.000000
1743.52/1568.62	c (1,0) c WaitingTime_winner : 0.000000
1743.52/1568.62	c (1,0) c ExchangingTime_0 : 0.000002
1743.52/1568.62	c (1,0) c ExchangingTime_1 : 0.000002
1743.52/1568.62	c (1,0) c ExchangingTime_2 : 0.000004
1743.52/1568.62	c (1,0) c ExchangingTime_3 : 0.000011
1743.52/1568.62	c (1,0) c ExchangingTime_4 : 0.000001
1743.52/1568.62	c (1,0) c ExchangingTime_5 : 0.000004
1743.52/1568.62	c (1,0) c ExchangingTime_6 : 0.000002
1743.52/1568.62	c (1,0) c ExchangingTime_7 : 0.000005
1743.52/1568.62	c (1,0) c ExchangingTime_total : 0.000030
1743.52/1568.62	c (1,0) c ExchangingTime_winner : 0.000002
1743.52/1568.62	c (1,0) c PeriodProcTime_0 : 0.000000
1743.52/1568.62	c (1,0) c PeriodProcTime_1 : 0.000000
1743.52/1568.62	c (1,0) c PeriodProcTime_2 : 0.000000
1743.52/1568.62	c (1,0) c PeriodProcTime_3 : 0.000000
1743.52/1568.62	c (1,0) c PeriodProcTime_4 : 0.000000
1743.52/1568.62	c (1,0) c PeriodProcTime_5 : 0.000000
1743.52/1568.62	c (1,0) c PeriodProcTime_6 : 0.000000
1743.52/1568.62	c (1,0) c PeriodProcTime_7 : 0.000000
1743.52/1568.62	c (1,0) c PeriodProcTime_total : 0.000000
1743.52/1568.62	c (1,0) c PeriodProcTime_winner : 0.000000
1743.52/1568.62	c (1,0) c SolvingTime_0 : 0.013581
1743.52/1568.62	c (1,0) c SolvingTime_1 : 0.014127
1743.52/1568.62	c (1,0) c SolvingTime_2 : 0.014502
1743.52/1568.62	c (1,0) c SolvingTime_3 : 0.019335
1743.52/1568.62	c (1,0) c SolvingTime_4 : 0.009142
1743.52/1568.62	c (1,0) c SolvingTime_5 : 0.015447
1743.52/1568.62	c (1,0) c SolvingTime_6 : 0.015912
1743.52/1568.62	c (1,0) c SolvingTime_7 : 0.010962
1743.52/1568.62	c (1,0) c SolvingTime_total : 0.113008
1743.52/1568.62	c (1,0) c SolvingTime_winner : 0.013581
1743.52/1568.62	c (1,0) c PropagationTime_0 : 0.011877
1743.52/1568.62	c (1,0) c PropagationTime_1 : 0.009770
1743.52/1568.62	c (1,0) c PropagationTime_2 : 0.007280
1743.52/1568.62	c (1,0) c PropagationTime_3 : 0.011640
1743.52/1568.62	c (1,0) c PropagationTime_4 : 0.007360
1743.52/1568.62	c (1,0) c PropagationTime_5 : 0.008865
1743.52/1568.62	c (1,0) c PropagationTime_6 : 0.011963
1743.52/1568.62	c (1,0) c PropagationTime_7 : 0.006751
1743.52/1568.62	c (1,0) c PropagationTime_total : 0.075505
1743.52/1568.62	c (1,0) c PropagationTime_winner : 0.011877
1743.52/1568.62	c (1,0) c AnalysisTime_0 : 0.001275
1743.52/1568.62	c (1,0) c AnalysisTime_1 : 0.003900
1743.52/1568.62	c (1,0) c AnalysisTime_2 : 0.006673
1743.52/1568.62	c (1,0) c AnalysisTime_3 : 0.007127
1743.52/1568.62	c (1,0) c AnalysisTime_4 : 0.001402
1743.52/1568.62	c (1,0) c AnalysisTime_5 : 0.006053
1743.52/1568.62	c (1,0) c AnalysisTime_6 : 0.003545
1743.52/1568.62	c (1,0) c AnalysisTime_7 : 0.003985
1743.52/1568.62	c (1,0) c AnalysisTime_total : 0.033960
1743.52/1568.62	c (1,0) c AnalysisTime_winner : 0.001275
1743.52/1568.62	c (1,0) c ReductionTime_0 : 0.000000
1743.52/1568.62	c (1,0) c ReductionTime_1 : 0.000000
1743.52/1568.62	c (1,0) c ReductionTime_2 : 0.000000
1743.52/1568.62	c (1,0) c ReductionTime_3 : 0.000000
1743.52/1568.62	c (1,0) c ReductionTime_4 : 0.000000
1743.52/1568.62	c (1,0) c ReductionTime_5 : 0.000000
1743.52/1568.62	c (1,0) c ReductionTime_6 : 0.000000
1743.52/1568.62	c (1,0) c ReductionTime_7 : 0.000000
1743.52/1568.62	c (1,0) c ReductionTime_total : 0.000000
1743.52/1568.62	c (1,0) c ReductionTime_winner : 0.000000
1743.52/1568.62	c (1,0) c SimplifyTime_0 : 0.000000
1743.52/1568.62	c (1,0) c SimplifyTime_1 : 0.000000
1743.52/1568.62	c (1,0) c SimplifyTime_2 : 0.000000
1743.52/1568.62	c (1,0) c SimplifyTime_3 : 0.000000
1743.52/1568.62	c (1,0) c SimplifyTime_4 : 0.000000
1743.52/1568.63	c (1,0) c SimplifyTime_5 : 0.000000
1743.52/1568.63	c (1,0) c SimplifyTime_6 : 0.000000
1743.52/1568.63	c (1,0) c SimplifyTime_7 : 0.000000
1743.52/1568.63	c (1,0) c SimplifyTime_total : 0.000000
1743.52/1568.63	c (1,0) c SimplifyTime_winner : 0.000000
1743.52/1568.63	c (1,0) c UsedRateTime_0 : 0.000000
1743.52/1568.63	c (1,0) c UsedRateTime_1 : 0.000000
1743.52/1568.63	c (1,0) c UsedRateTime_2 : 0.000000
1743.52/1568.63	c (1,0) c UsedRateTime_3 : 0.000000
1743.52/1568.63	c (1,0) c UsedRateTime_4 : 0.000000
1743.52/1568.63	c (1,0) c UsedRateTime_5 : 0.000000
1743.52/1568.63	c (1,0) c UsedRateTime_6 : 0.000000
1743.52/1568.63	c (1,0) c UsedRateTime_7 : 0.000000
1743.52/1568.63	c (1,0) c UsedRateTime_total : 0.000000
1743.52/1568.63	c (1,0) c UsedRateTime_winner : 0.000000
1743.52/1568.63	c (1,0) c OverlapRateTime_0 : 0.000000
1743.52/1568.63	c (1,0) c OverlapRateTime_1 : 0.000000
1743.52/1568.63	c (1,0) c OverlapRateTime_2 : 0.000000
1743.52/1568.63	c (1,0) c OverlapRateTime_3 : 0.000000
1743.52/1568.63	c (1,0) c OverlapRateTime_4 : 0.000000
1743.52/1568.63	c (1,0) c OverlapRateTime_5 : 0.000000
1743.52/1568.63	c (1,0) c OverlapRateTime_6 : 0.000000
1743.52/1568.63	c (1,0) c OverlapRateTime_7 : 0.000000
1743.52/1568.63	c (1,0) c OverlapRateTime_total : 0.000000
1743.52/1568.63	c (1,0) c OverlapRateTime_winner : 0.000000
1743.52/1568.63	c (1,0) c
1743.52/1568.63	c (1,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
1743.52/1568.63	c (1,0) c
1743.52/1568.63	c (1,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
1743.52/1568.63	c (1,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
1743.52/1568.63	c (1,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
1743.52/1568.63	c (1,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
1743.52/1568.63	c (1,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
1743.52/1568.63	c (1,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
1743.52/1568.63	c (1,0) c | Initial random_seed   | 1534951076 | 1663886499 | 1928049687 |  119644679 |  830914708 | 1518614985 | 1868138479 |  137540030 |
1743.52/1568.63	c (1,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
1743.52/1568.63	c (1,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
1743.52/1568.63	c (1,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
1743.52/1568.63	c (1,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
1743.52/1568.63	c (1,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
1743.52/1568.63	c (1,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
1743.52/1568.63	c (1,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
1743.52/1568.63	c (1,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
1743.52/1568.63	c (1,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
1743.52/1568.63	c (1,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
1743.52/1568.63	c (1,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
1743.52/1568.63	c (1,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
1743.52/1568.63	c (1,0) 
1743.52/1568.63	c (1,0) s UNSATISFIABLE
1743.52/1568.64	c (1,0) SatSolver.solve End
1743.52/1568.64	c (1,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
1743.52/1568.64	c (1,0) Show results Begin
1743.52/1568.64	s UNSATISFIABLE
1743.52/1568.64	c (1,0) Show results End
1743.52/1568.64	c (1,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
1743.52/1568.64	c (1,0) 1,1,STOP-AFTER(ALL)
1743.52/1568.64	c END-Prog: Tue Sep 24 17:18:54 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 (12677 MiB free)
  memory of node 1: 16384 MiB (10071 MiB free)
  node distances:
     10  21
     21  10

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


[startup+0.100099 s]*
/proc/loadavg: 0.93 0.92 0.62 1/211 9303
/proc/meminfo: memFree=23205504/32770624 swapFree=66956480/67108860
[pid=9282] ppid=9279 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/9282/stat : 9282 (scop.sh) S 9279 9282 8819 0 -1 4202496 556 319 0 1 0 0 0 0 20 0 1 0 509951897 115843072 349 33554432000 4194304 5098028 140728515541168 140728515538424 139834631283324 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 25595904 140728515543845 140728515544172 140728515544172 140728515547085 0
/proc/9282/statm: 28282 349 296 221 0 87 0
[pid=9285] ppid=9282 vsize=27314120 memory=104956 CPUtime=0.08 cores=0-7
/proc/9285/stat : 9285 (java) S 9282 9282 8819 0 -1 1077944320 6339 0 0 0 6 2 0 0 20 0 20 0 509951899 27969658880 26239 33554432000 4194304 4196468 140722034359440 140722034341984 140561449127671 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24125440 140722034361068 140722034361494 140722034361494 140722034364367 0
/proc/9285/statm: 6828530 26239 2736 1 0 6790935 0
[pid=9285/tid=9286] ppid=9282 vsize=27314120 memory=4714316025614726044 CPUtime=0.07 cores=0-7
/proc/9285/task/9286/stat : 9286 (java) R 9282 9282 8819 0 -1 4202560 4451 0 0 0 5 2 0 0 20 0 20 0 509951900 27969658880 26239 33554432000 4194304 4196468 140722034359440 140561420950528 140560941792228 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24125440 140722034361068 140722034361494 140722034361494 140722034364367 0
[pid=9285/tid=9287] ppid=9282 vsize=27314120 memory=732369773490645989 CPUtime=0 cores=0-7
/proc/9285/task/9287/stat : 9287 (java) S 9282 9282 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509951902 27969658880 26239 33554432000 4194304 4196468 140722034359440 140561453369872 140561449137877 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24125440 140722034361068 140722034361494 140722034361494 140722034364367 0
[pid=9285/tid=9288] ppid=9282 vsize=27314120 memory=139635153192576 CPUtime=0 cores=0-7
/proc/9285/task/9288/stat : 9288 (java) S 9282 9282 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509951902 27969658880 26239 33554432000 4194304 4196468 140722034359440 140561267526288 140561449137877 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24125440 140722034361068 140722034361494 140722034361494 140722034364367 0
[pid=9285/tid=9289] ppid=9282 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9285/task/9289/stat : 9289 (java) S 9282 9282 8819 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509951902 27969658880 26239 33554432000 4194304 4196468 140722034359440 140561266473232 140561449137877 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24125440 140722034361068 140722034361494 140722034361494 140722034364367 0
[pid=9285/tid=9290] ppid=9282 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9285/task/9290/stat : 9290 (java) S 9282 9282 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509951902 27969658880 26239 33554432000 4194304 4196468 140722034359440 140561265420688 140561449137877 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24125440 140722034361068 140722034361494 140722034361494 140722034364367 0
[pid=9285/tid=9291] ppid=9282 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9285/task/9291/stat : 9291 (java) S 9282 9282 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509951902 27969658880 26239 33554432000 4194304 4196468 140722034359440 140561264368656 140561449137877 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24125440 140722034361068 140722034361494 140722034361494 140722034364367 0
[pid=9285/tid=9292] ppid=9282 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/9285/task/9292/stat : 9292 (java) S 9282 9282 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509951902 27969658880 26239 33554432000 4194304 4196468 140722034359440 140561263316112 140561449137877 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24125440 140722034361068 140722034361494 140722034361494 140722034364367 0
[pid=9285/tid=9293] ppid=9282 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9285/task/9293/stat : 9293 (java) S 9282 9282 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509951902 27969658880 26239 33554432000 4194304 4196468 140722034359440 140561262263056 140561449137877 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24125440 140722034361068 140722034361494 140722034361494 140722034364367 0
[pid=9285/tid=9294] ppid=9282 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9285/task/9294/stat : 9294 (java) S 9282 9282 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509951902 27969658880 26239 33554432000 4194304 4196468 140722034359440 140560864803728 140561449137877 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24125440 140722034361068 140722034361494 140722034361494 140722034364367 0
[pid=9285/tid=9295] ppid=9282 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9285/task/9295/stat : 9295 (java) S 9282 9282 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509951904 27969658880 26239 33554432000 4194304 4196468 140722034359440 140560018589936 140561449138818 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24125440 140722034361068 140722034361494 140722034361494 140722034364367 0
[pid=9285/tid=9296] ppid=9282 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9285/task/9296/stat : 9296 (java) S 9282 9282 8819 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 509951904 27969658880 26239 33554432000 4194304 4196468 140722034359440 140559112987808 140561449137877 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24125440 140722034361068 140722034361494 140722034361494 140722034364367 0
[pid=9285/tid=9297] ppid=9282 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9285/task/9297/stat : 9297 (java) S 9282 9282 8819 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 509951904 27969658880 26239 33554432000 4194304 4196468 140722034359440 140558978765552 140561449137877 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24125440 140722034361068 140722034361494 140722034361494 140722034364367 0
[pid=9285/tid=9298] ppid=9282 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9285/task/9298/stat : 9298 (java) S 9282 9282 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509951907 27969658880 26239 33554432000 4194304 4196468 140722034359440 140558604261328 140561449146267 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24125440 140722034361068 140722034361494 140722034361494 140722034364367 0
[pid=9285/tid=9299] ppid=9282 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9285/task/9299/stat : 9299 (java) S 9282 9282 8819 0 -1 1077944384 288 0 0 0 0 0 0 0 20 0 20 0 509951907 27969658880 26239 33554432000 4194304 4196468 140722034359440 140560017537776 140561449138818 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24125440 140722034361068 140722034361494 140722034361494 140722034364367 0
[pid=9285/tid=9300] ppid=9282 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9285/task/9300/stat : 9300 (java) S 9282 9282 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509951907 27969658880 26239 33554432000 4194304 4196468 140722034359440 140560016485232 140561449138818 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24125440 140722034361068 140722034361494 140722034361494 140722034364367 0
[pid=9285/tid=9301] ppid=9282 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9285/task/9301/stat : 9301 (java) S 9282 9282 8819 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509951907 27969658880 26239 33554432000 4194304 4196468 140722034359440 140560015432176 140561449138818 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24125440 140722034361068 140722034361494 140722034361494 140722034364367 0
[pid=9285/tid=9302] ppid=9282 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9285/task/9302/stat : 9302 (java) R 9282 9282 8819 0 -1 4202560 235 0 0 0 0 0 0 0 20 0 20 0 509951907 27969658880 26239 33554432000 4194304 4196468 140722034359440 140560014379632 140561449149018 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24125440 140722034361068 140722034361494 140722034361494 140722034364367 0
[pid=9285/tid=9303] ppid=9282 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9285/task/9303/stat : 9303 (java) S 9282 9282 8819 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509951907 27969658880 26239 33554432000 4194304 4196468 140722034359440 140558106356192 140561449137877 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24125440 140722034361068 140722034361494 140722034361494 140722034364367 0
[pid=9285/tid=9304] ppid=9282 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/9285/task/9304/stat : 9304 (java) S 9282 9282 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509951907 27969658880 26239 33554432000 4194304 4196468 140722034359440 140560013327024 140561449138818 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24125440 140722034361068 140722034361494 140722034361494 140722034364367 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 106352 KiB

[startup+0.210172 s]*
/proc/loadavg: 0.93 0.92 0.62 2/212 9304
/proc/meminfo: memFree=23182240/32770624 swapFree=66956480/67108860
[pid=9282] ppid=9279 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/9282/stat : 9282 (scop.sh) S 9279 9282 8819 0 -1 4202496 556 319 0 1 0 0 0 0 20 0 1 0 509951897 115843072 349 33554432000 4194304 5098028 140728515541168 140728515538424 139834631283324 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 25595904 140728515543845 140728515544172 140728515544172 140728515547085 0
/proc/9282/statm: 28282 349 296 221 0 87 0
[pid=9285] ppid=9282 vsize=27314120 memory=124664 CPUtime=0.21 cores=0-7
/proc/9285/stat : 9285 (java) S 9282 9282 8819 0 -1 1077944320 11892 0 0 0 17 4 0 0 20 0 20 0 509951899 27969658880 31166 33554432000 4194304 4196468 140722034359440 140722034341984 140561449127671 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24125440 140722034361068 140722034361494 140722034361494 140722034364367 0
/proc/9285/statm: 6828530 31166 2942 1 0 6790935 0
[pid=9285/tid=9286] ppid=9282 vsize=27314120 memory=0 CPUtime=0.17 cores=0-7
/proc/9285/task/9286/stat : 9286 (java) R 9282 9282 8819 0 -1 4202560 9655 0 0 0 14 3 0 0 20 0 20 0 509951900 27969658880 31166 33554432000 4194304 4196468 140722034359440 140561420931280 140561433208158 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24125440 140722034361068 140722034361494 140722034361494 140722034364367 0
[pid=9285/tid=9287] ppid=9282 vsize=27314120 memory=732369773490645989 CPUtime=0 cores=0-7
/proc/9285/task/9287/stat : 9287 (java) S 9282 9282 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509951902 27969658880 31166 33554432000 4194304 4196468 140722034359440 140561453369872 140561449137877 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24125440 140722034361068 140722034361494 140722034361494 140722034364367 0
[pid=9285/tid=9288] ppid=9282 vsize=27314120 memory=139635153192576 CPUtime=0 cores=0-7
/proc/9285/task/9288/stat : 9288 (java) S 9282 9282 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509951902 27969658880 31166 33554432000 4194304 4196468 140722034359440 140561267526288 140561449137877 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24125440 140722034361068 140722034361494 140722034361494 140722034364367 0
[pid=9285/tid=9289] ppid=9282 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9285/task/9289/stat : 9289 (java) S 9282 9282 8819 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509951902 27969658880 31166 33554432000 4194304 4196468 140722034359440 140561266473232 140561449137877 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24125440 140722034361068 140722034361494 140722034361494 140722034364367 0
[pid=9285/tid=9290] ppid=9282 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9285/task/9290/stat : 9290 (java) S 9282 9282 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509951902 27969658880 31166 33554432000 4194304 4196468 140722034359440 140561265420688 140561449137877 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24125440 140722034361068 140722034361494 140722034361494 140722034364367 0
[pid=9285/tid=9291] ppid=9282 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9285/task/9291/stat : 9291 (java) S 9282 9282 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509951902 27969658880 31166 33554432000 4194304 4196468 140722034359440 140561264368656 140561449137877 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24125440 140722034361068 140722034361494 140722034361494 140722034364367 0
[pid=9285/tid=9292] ppid=9282 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/9285/task/9292/stat : 9292 (java) S 9282 9282 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509951902 27969658880 31166 33554432000 4194304 4196468 140722034359440 140561263316112 140561449137877 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24125440 140722034361068 140722034361494 140722034361494 140722034364367 0
[pid=9285/tid=9293] ppid=9282 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9285/task/9293/stat : 9293 (java) S 9282 9282 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509951902 27969658880 31166 33554432000 4194304 4196468 140722034359440 140561262263056 140561449137877 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24125440 140722034361068 140722034361494 140722034361494 140722034364367 0
[pid=9285/tid=9294] ppid=9282 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9285/task/9294/stat : 9294 (java) S 9282 9282 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509951902 27969658880 31166 33554432000 4194304 4196468 140722034359440 140560864803728 140561449137877 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24125440 140722034361068 140722034361494 140722034361494 140722034364367 0
[pid=9285/tid=9295] ppid=9282 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9285/task/9295/stat : 9295 (java) S 9282 9282 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509951904 27969658880 31166 33554432000 4194304 4196468 140722034359440 140560018589936 140561449138818 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24125440 140722034361068 140722034361494 140722034361494 140722034364367 0
[pid=9285/tid=9296] ppid=9282 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9285/task/9296/stat : 9296 (java) S 9282 9282 8819 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 509951904 27969658880 31166 33554432000 4194304 4196468 140722034359440 140559112987808 140561449137877 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24125440 140722034361068 140722034361494 140722034361494 140722034364367 0
[pid=9285/tid=9297] ppid=9282 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9285/task/9297/stat : 9297 (java) S 9282 9282 8819 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 509951904 27969658880 31166 33554432000 4194304 4196468 140722034359440 140558978765552 140561449137877 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24125440 140722034361068 140722034361494 140722034361494 140722034364367 0
[pid=9285/tid=9298] ppid=9282 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9285/task/9298/stat : 9298 (java) S 9282 9282 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509951907 27969658880 31166 33554432000 4194304 4196468 140722034359440 140558604261328 140561449146267 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24125440 140722034361068 140722034361494 140722034361494 140722034364367 0
[pid=9285/tid=9299] ppid=9282 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9285/task/9299/stat : 9299 (java) S 9282 9282 8819 0 -1 1077944384 288 0 0 0 0 0 0 0 20 0 20 0 509951907 27969658880 31166 33554432000 4194304 4196468 140722034359440 140560017537776 140561449138818 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24125440 140722034361068 140722034361494 140722034361494 140722034364367 0
[pid=9285/tid=9300] ppid=9282 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9285/task/9300/stat : 9300 (java) S 9282 9282 8819 0 -1 1077944384 134 0 0 0 0 0 0 0 20 0 20 0 509951907 27969658880 31166 33554432000 4194304 4196468 140722034359440 140560016485232 140561449138818 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24125440 140722034361068 140722034361494 140722034361494 140722034364367 0
[pid=9285/tid=9301] ppid=9282 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9285/task/9301/stat : 9301 (java) S 9282 9282 8819 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509951907 27969658880 31166 33554432000 4194304 4196468 140722034359440 140560015432176 140561449138818 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24125440 140722034361068 140722034361494 140722034361494 140722034364367 0
[pid=9285/tid=9302] ppid=9282 vsize=27314120 memory=0 CPUtime=0.02 cores=0-7
/proc/9285/task/9302/stat : 9302 (java) R 9282 9282 8819 0 -1 4202560 454 0 0 0 2 0 0 0 20 0 20 0 509951907 27969658880 31166 33554432000 4194304 4196468 140722034359440 140560014379632 140561441364798 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24125440 140722034361068 140722034361494 140722034361494 140722034364367 0
[pid=9285/tid=9303] ppid=9282 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9285/task/9303/stat : 9303 (java) S 9282 9282 8819 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509951907 27969658880 31166 33554432000 4194304 4196468 140722034359440 140558106356192 140561449137877 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24125440 140722034361068 140722034361494 140722034361494 140722034364367 0
[pid=9285/tid=9304] ppid=9282 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/9285/task/9304/stat : 9304 (java) S 9282 9282 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509951907 27969658880 31166 33554432000 4194304 4196468 140722034359440 140560013327024 140561449138818 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24125440 140722034361068 140722034361494 140722034361494 140722034364367 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 126060 KiB

[startup+0.309369 s]*
/proc/loadavg: 0.93 0.92 0.62 3/212 9304
/proc/meminfo: memFree=23177524/32770624 swapFree=66956480/67108860
[pid=9282] ppid=9279 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/9282/stat : 9282 (scop.sh) S 9279 9282 8819 0 -1 4202496 556 319 0 1 0 0 0 0 20 0 1 0 509951897 115843072 349 33554432000 4194304 5098028 140728515541168 140728515538424 139834631283324 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 25595904 140728515543845 140728515544172 140728515544172 140728515547085 0
/proc/9282/statm: 28282 349 296 221 0 87 0
[pid=9285] ppid=9282 vsize=27314120 memory=128100 CPUtime=0.4 cores=0-7
/proc/9285/stat : 9285 (java) S 9282 9282 8819 0 -1 1077944320 12441 0 0 0 35 5 0 0 20 0 20 0 509951899 27969658880 32025 33554432000 4194304 4196468 140722034359440 140722034341984 140561449127671 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24125440 140722034361068 140722034361494 140722034361494 140722034364367 0
/proc/9285/statm: 6828530 32025 3050 1 0 6790935 0
[pid=9285/tid=9286] ppid=9282 vsize=27314120 memory=8112282956445269571 CPUtime=0.28 cores=0-7
/proc/9285/task/9286/stat : 9286 (java) R 9282 9282 8819 0 -1 4202560 9985 0 0 0 24 4 0 0 20 0 20 0 509951900 27969658880 32086 33554432000 4194304 4196468 140722034359440 140561420943152 140561433208188 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24125440 140722034361068 140722034361494 140722034361494 140722034364367 0
[pid=9285/tid=9287] ppid=9282 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9285/task/9287/stat : 9287 (java) S 9282 9282 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509951902 27969658880 32086 33554432000 4194304 4196468 140722034359440 140561453369872 140561449137877 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24125440 140722034361068 140722034361494 140722034361494 140722034364367 0
[pid=9285/tid=9288] ppid=9282 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9285/task/9288/stat : 9288 (java) S 9282 9282 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509951902 27969658880 32086 33554432000 4194304 4196468 140722034359440 140561267526288 140561449137877 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24125440 140722034361068 140722034361494 140722034361494 140722034364367 0
[pid=9285/tid=9289] ppid=9282 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9285/task/9289/stat : 9289 (java) S 9282 9282 8819 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509951902 27969658880 32086 33554432000 4194304 4196468 140722034359440 140561266473232 140561449137877 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24125440 140722034361068 140722034361494 140722034361494 140722034364367 0
[pid=9285/tid=9290] ppid=9282 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9285/task/9290/stat : 9290 (java) S 9282 9282 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509951902 27969658880 32086 33554432000 4194304 4196468 140722034359440 140561265420688 140561449137877 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24125440 140722034361068 140722034361494 140722034361494 140722034364367 0
[pid=9285/tid=9291] ppid=9282 vsize=27314120 memory=2244 CPUtime=0 cores=0-7
/proc/9285/task/9291/stat : 9291 (java) S 9282 9282 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509951902 27969658880 32086 33554432000 4194304 4196468 140722034359440 140561264368656 140561449137877 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24125440 140722034361068 140722034361494 140722034361494 140722034364367 0
[pid=9285/tid=9292] ppid=9282 vsize=27314120 memory=139635024032687 CPUtime=0 cores=0-7
/proc/9285/task/9292/stat : 9292 (java) S 9282 9282 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509951902 27969658880 32086 33554432000 4194304 4196468 140722034359440 140561263316112 140561449137877 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24125440 140722034361068 140722034361494 140722034361494 140722034364367 0
[pid=9285/tid=9293] ppid=9282 vsize=27314120 memory=139635024034992 CPUtime=0 cores=0-7
/proc/9285/task/9293/stat : 9293 (java) S 9282 9282 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509951902 27969658880 32086 33554432000 4194304 4196468 140722034359440 140561262263056 140561449137877 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24125440 140722034361068 140722034361494 140722034361494 140722034364367 0
[pid=9285/tid=9294] ppid=9282 vsize=27314120 memory=139635024037296 CPUtime=0 cores=0-7
/proc/9285/task/9294/stat : 9294 (java) S 9282 9282 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509951902 27969658880 32086 33554432000 4194304 4196468 140722034359440 140560864803728 140561449137877 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24125440 140722034361068 140722034361494 140722034361494 140722034364367 0
[pid=9285/tid=9295] ppid=9282 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9285/task/9295/stat : 9295 (java) S 9282 9282 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509951904 27969658880 32086 33554432000 4194304 4196468 140722034359440 140560018589936 140561449138818 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24125440 140722034361068 140722034361494 140722034361494 140722034364367 0
[pid=9285/tid=9296] ppid=9282 vsize=27314120 memory=279270048081552 CPUtime=0 cores=0-7
/proc/9285/task/9296/stat : 9296 (java) S 9282 9282 8819 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 509951904 27969658880 32086 33554432000 4194304 4196468 140722034359440 140559112987808 140561449137877 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24125440 140722034361068 140722034361494 140722034361494 140722034364367 0
[pid=9285/tid=9297] ppid=9282 vsize=27314120 memory=279270048088464 CPUtime=0 cores=0-7
/proc/9285/task/9297/stat : 9297 (java) S 9282 9282 8819 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 509951904 27969658880 32086 33554432000 4194304 4196468 140722034359440 140558978765552 140561449137877 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24125440 140722034361068 140722034361494 140722034361494 140722034364367 0
[pid=9285/tid=9298] ppid=9282 vsize=27314120 memory=279270048029744 CPUtime=0 cores=0-7
/proc/9285/task/9298/stat : 9298 (java) S 9282 9282 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509951907 27969658880 32086 33554432000 4194304 4196468 140722034359440 140558604261328 140561449146267 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24125440 140722034361068 140722034361494 140722034361494 140722034364367 0
[pid=9285/tid=9299] ppid=9282 vsize=27314120 memory=279270048102288 CPUtime=0 cores=0-7
/proc/9285/task/9299/stat : 9299 (java) S 9282 9282 8819 0 -1 1077944384 297 0 0 0 0 0 0 0 20 0 20 0 509951907 27969658880 32086 33554432000 4194304 4196468 140722034359440 140560017537776 140561449138818 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24125440 140722034361068 140722034361494 140722034361494 140722034364367 0
[pid=9285/tid=9300] ppid=9282 vsize=27314120 memory=279270048109200 CPUtime=0.01 cores=0-7
/proc/9285/task/9300/stat : 9300 (java) S 9282 9282 8819 0 -1 1077944384 257 0 0 0 1 0 0 0 20 0 20 0 509951907 27969658880 32086 33554432000 4194304 4196468 140722034359440 140560016485232 140561449138818 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24125440 140722034361068 140722034361494 140722034361494 140722034364367 0
[pid=9285/tid=9301] ppid=9282 vsize=27314120 memory=279270048106896 CPUtime=0.01 cores=0-7
/proc/9285/task/9301/stat : 9301 (java) S 9282 9282 8819 0 -1 1077944384 66 0 0 0 1 0 0 0 20 0 20 0 509951907 27969658880 32086 33554432000 4194304 4196468 140722034359440 140560015432176 140561449138818 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24125440 140722034361068 140722034361494 140722034361494 140722034364367 0
[pid=9285/tid=9302] ppid=9282 vsize=27314120 memory=279270048123056 CPUtime=0.07 cores=0-7
/proc/9285/task/9302/stat : 9302 (java) S 9282 9282 8819 0 -1 1077944384 478 0 0 0 7 0 0 0 20 0 20 0 509951907 27969658880 32086 33554432000 4194304 4196468 140722034359440 140560014379632 140561449138818 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24125440 140722034361068 140722034361494 140722034361494 140722034364367 0
[pid=9285/tid=9303] ppid=9282 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9285/task/9303/stat : 9303 (java) S 9282 9282 8819 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509951907 27969658880 32086 33554432000 4194304 4196468 140722034359440 140558106356192 140561449137877 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24125440 140722034361068 140722034361494 140722034361494 140722034364367 0
[pid=9285/tid=9304] ppid=9282 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/9285/task/9304/stat : 9304 (java) S 9282 9282 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509951907 27969658880 32086 33554432000 4194304 4196468 140722034359440 140560013327024 140561449138818 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24125440 140722034361068 140722034361494 140722034361494 140722034364367 0
Current children cumulated CPU time: 0.4 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 129496 KiB

[startup+0.700884 s]
/proc/loadavg: 0.93 0.92 0.62 2/212 9304
/proc/meminfo: memFree=23158592/32770624 swapFree=66956480/67108860
[pid=9282] ppid=9279 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/9282/stat : 9282 (scop.sh) S 9279 9282 8819 0 -1 4202496 556 319 0 1 0 0 0 0 20 0 1 0 509951897 115843072 349 33554432000 4194304 5098028 140728515541168 140728515538424 139834631283324 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 25595904 140728515543845 140728515544172 140728515544172 140728515547085 0
/proc/9282/statm: 28282 349 296 221 0 87 0
[pid=9285] ppid=9282 vsize=27320392 memory=163512 CPUtime=0.95 cores=0-7
/proc/9285/stat : 9285 (java) S 9282 9282 8819 0 -1 1077944320 19898 0 0 0 88 7 0 0 20 0 20 0 509951899 27976081408 40878 33554432000 4194304 4196468 140722034359440 140722034341984 140561449127671 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24125440 140722034361068 140722034361494 140722034361494 140722034364367 0
/proc/9285/statm: 6830098 40878 3199 1 0 6791447 0
[pid=9285/tid=9286] ppid=9282 vsize=27320392 memory=279270048417984 CPUtime=0.66 cores=0-7
/proc/9285/task/9286/stat : 9286 (java) R 9282 9282 8819 0 -1 4202560 16913 0 0 0 60 6 0 0 20 0 20 0 509951900 27976081408 40878 33554432000 4194304 4196468 140722034359440 140561420963696 140560941861872 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24125440 140722034361068 140722034361494 140722034361494 140722034364367 0
[pid=9285/tid=9287] ppid=9282 vsize=27320392 memory=5076651345044 CPUtime=0 cores=0-7
/proc/9285/task/9287/stat : 9287 (java) S 9282 9282 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509951902 27976081408 40878 33554432000 4194304 4196468 140722034359440 140561453369872 140561449137877 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24125440 140722034361068 140722034361494 140722034361494 140722034364367 0
[pid=9285/tid=9288] ppid=9282 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/9285/task/9288/stat : 9288 (java) S 9282 9282 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509951902 27976081408 40878 33554432000 4194304 4196468 140722034359440 140561267526288 140561449137877 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24125440 140722034361068 140722034361494 140722034361494 140722034364367 0
[pid=9285/tid=9289] ppid=9282 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/9285/task/9289/stat : 9289 (java) S 9282 9282 8819 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509951902 27976081408 40878 33554432000 4194304 4196468 140722034359440 140561266473232 140561449137877 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24125440 140722034361068 140722034361494 140722034361494 140722034364367 0

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

[pid=9444/tid=9452] ppid=9282 vsize=8414124 memory=2832 CPUtime=0 cores=0-7
/proc/9444/task/9452/stat : 9452 (java) S 9282 9282 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510108553 8616062976 30570 33554432000 4194304 4196468 140721167152000 140627778886544 140627979749077 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11788288 140721167160312 140721167160470 140721167160470 140721167163343 0
[pid=9444/tid=9453] ppid=9282 vsize=8414124 memory=8112282956445269571 CPUtime=0 cores=0-7
/proc/9444/task/9453/stat : 9453 (java) S 9282 9282 8819 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510108553 8616062976 30570 33554432000 4194304 4196468 140721167152000 140627777833744 140627979749077 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11788288 140721167160312 140721167160470 140721167160470 140721167163343 0
[pid=9444/tid=9454] ppid=9282 vsize=8414124 memory=2032 CPUtime=0 cores=0-7
/proc/9444/task/9454/stat : 9454 (java) S 9282 9282 8819 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 510108554 8616062976 30570 33554432000 4194304 4196468 140721167152000 140627207432560 140627979750018 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11788288 140721167160312 140721167160470 140721167160470 140721167163343 0
[pid=9444/tid=9455] ppid=9282 vsize=8414124 memory=1328 CPUtime=0 cores=0-7
/proc/9444/task/9455/stat : 9455 (java) S 9282 9282 8819 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 510108555 8616062976 30570 33554432000 4194304 4196468 140721167152000 140626423178272 140627979749077 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11788288 140721167160312 140721167160470 140721167160470 140721167163343 0
[pid=9444/tid=9456] ppid=9282 vsize=8414124 memory=1560 CPUtime=0 cores=0-7
/proc/9444/task/9456/stat : 9456 (java) S 9282 9282 8819 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 510108555 8616062976 30570 33554432000 4194304 4196468 140721167152000 140626288956272 140627979749077 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11788288 140721167160312 140721167160470 140721167160470 140721167163343 0
[pid=9444/tid=9457] ppid=9282 vsize=8414124 memory=772 CPUtime=0 cores=0-7
/proc/9444/task/9457/stat : 9457 (java) S 9282 9282 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510108558 8616062976 30570 33554432000 4194304 4196468 140721167152000 140625914451792 140627979757467 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11788288 140721167160312 140721167160470 140721167160470 140721167163343 0
[pid=9444/tid=9458] ppid=9282 vsize=8414124 memory=3616 CPUtime=0.15 cores=0-7
/proc/9444/task/9458/stat : 9458 (java) S 9282 9282 8819 0 -1 1077944384 1014 0 0 0 15 0 0 0 20 0 24 0 510108558 8616062976 30570 33554432000 4194304 4196468 140721167152000 140627206380400 140627979750018 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11788288 140721167160312 140721167160470 140721167160470 140721167163343 0
[pid=9444/tid=9459] ppid=9282 vsize=8414124 memory=2832 CPUtime=0.12 cores=0-7
/proc/9444/task/9459/stat : 9459 (java) S 9282 9282 8819 0 -1 1077944384 305 0 0 0 12 0 0 0 20 0 24 0 510108558 8616062976 30570 33554432000 4194304 4196468 140721167152000 140627205327600 140627979750018 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11788288 140721167160312 140721167160470 140721167160470 140721167163343 0
[pid=9444/tid=9460] ppid=9282 vsize=8414124 memory=1548 CPUtime=0.09 cores=0-7
/proc/9444/task/9460/stat : 9460 (java) S 9282 9282 8819 0 -1 1077944384 385 0 0 0 9 0 0 0 20 0 24 0 510108558 8616062976 30570 33554432000 4194304 4196468 140721167152000 140627204274800 140627979750018 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11788288 140721167160312 140721167160470 140721167160470 140721167163343 0
[pid=9444/tid=9461] ppid=9282 vsize=8414124 memory=1056 CPUtime=0.22 cores=0-7
/proc/9444/task/9461/stat : 9461 (java) S 9282 9282 8819 0 -1 1077944384 561 0 0 0 22 0 0 0 20 0 24 0 510108558 8616062976 30570 33554432000 4194304 4196468 140721167152000 140627203222000 140627979750018 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11788288 140721167160312 140721167160470 140721167160470 140721167163343 0
[pid=9444/tid=9462] ppid=9282 vsize=8414124 memory=1124 CPUtime=0 cores=0-7
/proc/9444/task/9462/stat : 9462 (java) S 9282 9282 8819 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510108558 8616062976 30570 33554432000 4194304 4196468 140721167152000 140625416546912 140627979749077 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11788288 140721167160312 140721167160470 140721167160470 140721167163343 0
[pid=9444/tid=9463] ppid=9282 vsize=8414124 memory=14008 CPUtime=0 cores=0-7
/proc/9444/task/9463/stat : 9463 (java) S 9282 9282 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510108558 8616062976 30570 33554432000 4194304 4196468 140721167152000 140627202169392 140627979750018 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11788288 140721167160312 140721167160470 140721167160470 140721167163343 0
[pid=9444/tid=9465] ppid=9282 vsize=8414124 memory=17173944 CPUtime=0 cores=0-7
/proc/9444/task/9465/stat : 9465 (java) S 9282 9282 8819 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 510108629 8616062976 30570 33554432000 4194304 4196468 140721167152000 140627194135616 140627979763481 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 11788288 140721167160312 140721167160470 140721167160470 140721167163343 0
[pid=9444/tid=9467] ppid=9282 vsize=8414124 memory=3620 CPUtime=0 cores=0-7
/proc/9444/task/9467/stat : 9467 (java) S 9282 9282 8819 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 510108630 8616062976 30570 33554432000 4194304 4196468 140721167152000 140624745447600 140627979760797 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 11788288 140721167160312 140721167160470 140721167160470 140721167163343 0
[pid=9444/tid=9468] ppid=9282 vsize=8414124 memory=51780 CPUtime=0 cores=0-7
/proc/9444/task/9468/stat : 9468 (java) S 9282 9282 8819 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 510108630 8616062976 30570 33554432000 4194304 4196468 140721167152000 140625013882928 140627979760797 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 11788288 140721167160312 140721167160470 140721167160470 140721167163343 0
[pid=9444/tid=9469] ppid=9282 vsize=8414124 memory=2032 CPUtime=0 cores=0-7
/proc/9444/task/9469/stat : 9469 (java) S 9282 9282 8819 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 24 0 510108632 8616062976 30570 33554432000 4194304 4196468 140721167152000 140624477019696 140627979749077 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11788288 140721167160312 140721167160470 140721167160470 140721167163343 0
Current children cumulated CPU time: 1742.83 s
Current children cumulated vsize: 8646304 KiB
Current children cumulated memory: 210132 KiB

[startup+1568.4 s]
/proc/loadavg: 0.99 1.09 1.00 2/217 9469
/proc/meminfo: memFree=23088952/32770624 swapFree=66956484/67108860
[pid=9282] ppid=9279 vsize=113128 memory=1476 CPUtime=1740.72 cores=0-7
/proc/9282/stat : 9282 (scop.sh) S 9279 9282 8819 0 -1 4202496 583 380338 0 1 0 0 170809 3263 20 0 1 0 509951897 115843072 369 33554432000 4194304 5098028 140728515541168 140728515537912 139834631283324 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 25595904 140728515543845 140728515544172 140728515544172 140728515547085 0
/proc/9282/statm: 28282 369 311 221 0 87 0
[pid=9444] ppid=9282 vsize=8414124 memory=122280 CPUtime=1.43 cores=0-7
/proc/9444/stat : 9444 (java) S 9282 9282 8819 0 -1 1077944320 20082 0 0 0 135 8 0 0 20 0 24 0 510108551 8616062976 30570 33554432000 4194304 4196468 140721167152000 140721167134544 140627979738871 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 11788288 140721167160312 140721167160470 140721167160470 140721167163343 0
/proc/9444/statm: 2103531 30570 3217 1 0 2064875 0
[pid=9464] ppid=9444 vsize=311936 memory=281520 CPUtime=1.07 cores=0-7
/proc/9464/stat : 9464 (manyglucose-4.1) R 9444 9282 8819 0 -1 4202496 58605 0 0 0 97 10 0 0 20 0 1 0 510108629 319422464 70314 33554432000 4194304 4454172 140736975870672 140736975868584 140039421635826 0 4 0 8388610 0 0 0 17 2 0 0 0 0 0 6552832 6554400 23117824 140736975872874 140736975873072 140736975873072 140736975876026 0
/proc/9464/statm: 77984 70314 378 64 0 73652 0
[pid=9444/tid=9445] ppid=9282 vsize=8414124 memory=1476 CPUtime=0.8 cores=0-7
/proc/9444/task/9445/stat : 9445 (java) S 9282 9282 8819 0 -1 1077944384 16402 0 0 0 74 6 0 0 20 0 24 0 510108551 8616062976 30570 33554432000 4194304 4196468 140721167152000 140627951579040 140627979749077 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11788288 140721167160312 140721167160470 140721167160470 140721167163343 0
[pid=9444/tid=9446] ppid=9282 vsize=8414124 memory=73020 CPUtime=0 cores=0-7
/proc/9444/task/9446/stat : 9446 (java) S 9282 9282 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510108553 8616062976 30570 33554432000 4194304 4196468 140721167152000 140627983981200 140627979749077 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11788288 140721167160312 140721167160470 140721167160470 140721167163343 0
[pid=9444/tid=9447] ppid=9282 vsize=8414124 memory=8112282956445269571 CPUtime=0 cores=0-7
/proc/9444/task/9447/stat : 9447 (java) S 9282 9282 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510108553 8616062976 30570 33554432000 4194304 4196468 140721167152000 140627784149520 140627979749077 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11788288 140721167160312 140721167160470 140721167160470 140721167163343 0
[pid=9444/tid=9448] ppid=9282 vsize=8414124 memory=924 CPUtime=0 cores=0-7
/proc/9444/task/9448/stat : 9448 (java) S 9282 9282 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510108553 8616062976 30570 33554432000 4194304 4196468 140721167152000 140627783096720 140627979749077 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11788288 140721167160312 140721167160470 140721167160470 140721167163343 0
[pid=9444/tid=9449] ppid=9282 vsize=8414124 memory=17177976 CPUtime=0 cores=0-7
/proc/9444/task/9449/stat : 9449 (java) S 9282 9282 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510108553 8616062976 30570 33554432000 4194304 4196468 140721167152000 140627782043920 140627979749077 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11788288 140721167160312 140721167160470 140721167160470 140721167163343 0
[pid=9444/tid=9450] ppid=9282 vsize=8414124 memory=8444 CPUtime=0 cores=0-7
/proc/9444/task/9450/stat : 9450 (java) S 9282 9282 8819 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510108553 8616062976 30570 33554432000 4194304 4196468 140721167152000 140627780992144 140627979749077 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11788288 140721167160312 140721167160470 140721167160470 140721167163343 0
[pid=9444/tid=9451] ppid=9282 vsize=8414124 memory=6172 CPUtime=0 cores=0-7
/proc/9444/task/9451/stat : 9451 (java) S 9282 9282 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510108553 8616062976 30570 33554432000 4194304 4196468 140721167152000 140627779939344 140627979749077 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11788288 140721167160312 140721167160470 140721167160470 140721167163343 0
[pid=9444/tid=9452] ppid=9282 vsize=8414124 memory=1124 CPUtime=0 cores=0-7
/proc/9444/task/9452/stat : 9452 (java) S 9282 9282 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510108553 8616062976 30570 33554432000 4194304 4196468 140721167152000 140627778886544 140627979749077 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11788288 140721167160312 140721167160470 140721167160470 140721167163343 0
[pid=9444/tid=9453] ppid=9282 vsize=8414124 memory=14008 CPUtime=0 cores=0-7
/proc/9444/task/9453/stat : 9453 (java) S 9282 9282 8819 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510108553 8616062976 30570 33554432000 4194304 4196468 140721167152000 140627777833744 140627979749077 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11788288 140721167160312 140721167160470 140721167160470 140721167163343 0
[pid=9444/tid=9454] ppid=9282 vsize=8414124 memory=8112282956445269571 CPUtime=0 cores=0-7
/proc/9444/task/9454/stat : 9454 (java) S 9282 9282 8819 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 510108554 8616062976 30570 33554432000 4194304 4196468 140721167152000 140627207432560 140627979750018 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11788288 140721167160312 140721167160470 140721167160470 140721167163343 0
[pid=9444/tid=9455] ppid=9282 vsize=8414124 memory=-7003737579269690708 CPUtime=0 cores=0-7
/proc/9444/task/9455/stat : 9455 (java) S 9282 9282 8819 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 510108555 8616062976 30570 33554432000 4194304 4196468 140721167152000 140626423178272 140627979749077 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11788288 140721167160312 140721167160470 140721167160470 140721167163343 0
[pid=9444/tid=9456] ppid=9282 vsize=8414124 memory=1056 CPUtime=0 cores=0-7
/proc/9444/task/9456/stat : 9456 (java) S 9282 9282 8819 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 510108555 8616062976 30570 33554432000 4194304 4196468 140721167152000 140626288956272 140627979749077 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11788288 140721167160312 140721167160470 140721167160470 140721167163343 0
[pid=9444/tid=9457] ppid=9282 vsize=8414124 memory=744 CPUtime=0 cores=0-7
/proc/9444/task/9457/stat : 9457 (java) S 9282 9282 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510108558 8616062976 30570 33554432000 4194304 4196468 140721167152000 140625914451792 140627979757467 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11788288 140721167160312 140721167160470 140721167160470 140721167163343 0
[pid=9444/tid=9458] ppid=9282 vsize=8414124 memory=6791534058613427641 CPUtime=0.15 cores=0-7
/proc/9444/task/9458/stat : 9458 (java) S 9282 9282 8819 0 -1 1077944384 1014 0 0 0 15 0 0 0 20 0 24 0 510108558 8616062976 30570 33554432000 4194304 4196468 140721167152000 140627206380400 140627979750018 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11788288 140721167160312 140721167160470 140721167160470 140721167163343 0
[pid=9444/tid=9459] ppid=9282 vsize=8414124 memory=8112282956445269571 CPUtime=0.12 cores=0-7
/proc/9444/task/9459/stat : 9459 (java) S 9282 9282 8819 0 -1 1077944384 305 0 0 0 12 0 0 0 20 0 24 0 510108558 8616062976 30570 33554432000 4194304 4196468 140721167152000 140627205327600 140627979750018 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11788288 140721167160312 140721167160470 140721167160470 140721167163343 0
[pid=9444/tid=9460] ppid=9282 vsize=8414124 memory=3616 CPUtime=0.09 cores=0-7
/proc/9444/task/9460/stat : 9460 (java) S 9282 9282 8819 0 -1 1077944384 385 0 0 0 9 0 0 0 20 0 24 0 510108558 8616062976 30570 33554432000 4194304 4196468 140721167152000 140627204274800 140627979750018 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11788288 140721167160312 140721167160470 140721167160470 140721167163343 0
[pid=9444/tid=9461] ppid=9282 vsize=8414124 memory=2832 CPUtime=0.22 cores=0-7
/proc/9444/task/9461/stat : 9461 (java) S 9282 9282 8819 0 -1 1077944384 561 0 0 0 22 0 0 0 20 0 24 0 510108558 8616062976 30570 33554432000 4194304 4196468 140721167152000 140627203222000 140627979750018 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11788288 140721167160312 140721167160470 140721167160470 140721167163343 0
[pid=9444/tid=9462] ppid=9282 vsize=8414124 memory=1548 CPUtime=0 cores=0-7
/proc/9444/task/9462/stat : 9462 (java) S 9282 9282 8819 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510108558 8616062976 30570 33554432000 4194304 4196468 140721167152000 140625416546912 140627979749077 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11788288 140721167160312 140721167160470 140721167160470 140721167163343 0
[pid=9444/tid=9463] ppid=9282 vsize=8414124 memory=-5059952977386882957 CPUtime=0 cores=0-7
/proc/9444/task/9463/stat : 9463 (java) S 9282 9282 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510108558 8616062976 30570 33554432000 4194304 4196468 140721167152000 140627202169392 140627979750018 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11788288 140721167160312 140721167160470 140721167160470 140721167163343 0
[pid=9444/tid=9465] ppid=9282 vsize=8414124 memory=288230583166042426 CPUtime=0 cores=0-7
/proc/9444/task/9465/stat : 9465 (java) S 9282 9282 8819 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 510108629 8616062976 30570 33554432000 4194304 4196468 140721167152000 140627194135616 140627979763481 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 11788288 140721167160312 140721167160470 140721167160470 140721167163343 0
[pid=9444/tid=9467] ppid=9282 vsize=8414124 memory=14978858180937137 CPUtime=0 cores=0-7
/proc/9444/task/9467/stat : 9467 (java) S 9282 9282 8819 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 510108630 8616062976 30570 33554432000 4194304 4196468 140721167152000 140624745447600 140627979760797 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 11788288 140721167160312 140721167160470 140721167160470 140721167163343 0
[pid=9444/tid=9468] ppid=9282 vsize=8414124 memory=8112282956445269571 CPUtime=0 cores=0-7
/proc/9444/task/9468/stat : 9468 (java) S 9282 9282 8819 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 510108630 8616062976 30570 33554432000 4194304 4196468 140721167152000 140625013882928 140627979760797 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 11788288 140721167160312 140721167160470 140721167160470 140721167163343 0
[pid=9444/tid=9469] ppid=9282 vsize=8414124 memory=-7003737579269690708 CPUtime=0 cores=0-7
/proc/9444/task/9469/stat : 9469 (java) S 9282 9282 8819 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 24 0 510108632 8616062976 30570 33554432000 4194304 4196468 140721167152000 140624477019696 140627979749077 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11788288 140721167160312 140721167160470 140721167160470 140721167163343 0
Current children cumulated CPU time: 1743.22 s
Current children cumulated vsize: 8839188 KiB
Current children cumulated memory: 405276 KiB

[startup+1568.61 s]
/proc/loadavg: 0.99 1.09 1.00 2/217 9469
/proc/meminfo: memFree=23088952/32770624 swapFree=66956484/67108860
[pid=9282] ppid=9279 vsize=113128 memory=1476 CPUtime=1740.72 cores=0-7
/proc/9282/stat : 9282 (scop.sh) S 9279 9282 8819 0 -1 4202496 583 380338 0 1 0 0 170809 3263 20 0 1 0 509951897 115843072 369 33554432000 4194304 5098028 140728515541168 140728515537912 139834631283324 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 25595904 140728515543845 140728515544172 140728515544172 140728515547085 0
/proc/9282/statm: 28282 369 311 221 0 87 0
[pid=9444] ppid=9282 vsize=8414124 memory=122280 CPUtime=1.43 cores=0-7
/proc/9444/stat : 9444 (java) S 9282 9282 8819 0 -1 1077944320 20083 0 0 0 135 8 0 0 20 0 24 0 510108551 8616062976 30570 33554432000 4194304 4196468 140721167152000 140721167134544 140627979738871 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 11788288 140721167160312 140721167160470 140721167160470 140721167163343 0
/proc/9444/statm: 2103531 30570 3217 1 0 2064875 0
[pid=9464] ppid=9444 vsize=1095500 memory=476604 CPUtime=1.37 cores=0-7
/proc/9464/stat : 9464 (manyglucose-4.1) S 9444 9282 8819 0 -1 1077944320 92659 0 0 0 122 15 0 0 20 0 4 0 510108629 1121792000 119151 33554432000 4194304 4454172 140736975870672 140736975869056 140039435493111 0 4 0 8388610 18446744073709551615 0 0 17 4 0 0 0 0 0 6552832 6554400 23117824 140736975872874 140736975873072 140736975873072 140736975876026 0
/proc/9464/statm: 273875 119151 403 64 0 269543 0
[pid=9444/tid=9445] ppid=9282 vsize=8414124 memory=924 CPUtime=0.8 cores=0-7
/proc/9444/task/9445/stat : 9445 (java) S 9282 9282 8819 0 -1 1077944384 16402 0 0 0 74 6 0 0 20 0 24 0 510108551 8616062976 30570 33554432000 4194304 4196468 140721167152000 140627951579040 140627979749077 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11788288 140721167160312 140721167160470 140721167160470 140721167163343 0
[pid=9444/tid=9446] ppid=9282 vsize=8414124 memory=1420 CPUtime=0 cores=0-7
/proc/9444/task/9446/stat : 9446 (java) S 9282 9282 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510108553 8616062976 30570 33554432000 4194304 4196468 140721167152000 140627983981200 140627979749077 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11788288 140721167160312 140721167160470 140721167160470 140721167163343 0
[pid=9444/tid=9447] ppid=9282 vsize=8414124 memory=1396 CPUtime=0 cores=0-7
/proc/9444/task/9447/stat : 9447 (java) S 9282 9282 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510108553 8616062976 30570 33554432000 4194304 4196468 140721167152000 140627784149520 140627979749077 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11788288 140721167160312 140721167160470 140721167160470 140721167163343 0
[pid=9444/tid=9448] ppid=9282 vsize=8414124 memory=3620 CPUtime=0 cores=0-7
/proc/9444/task/9448/stat : 9448 (java) S 9282 9282 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510108553 8616062976 30570 33554432000 4194304 4196468 140721167152000 140627783096720 140627979749077 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11788288 140721167160312 140721167160470 140721167160470 140721167163343 0
[pid=9444/tid=9449] ppid=9282 vsize=8414124 memory=51780 CPUtime=0 cores=0-7
/proc/9444/task/9449/stat : 9449 (java) S 9282 9282 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510108553 8616062976 30570 33554432000 4194304 4196468 140721167152000 140627782043920 140627979749077 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11788288 140721167160312 140721167160470 140721167160470 140721167163343 0
[pid=9444/tid=9450] ppid=9282 vsize=8414124 memory=984 CPUtime=0 cores=0-7
/proc/9444/task/9450/stat : 9450 (java) S 9282 9282 8819 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510108553 8616062976 30570 33554432000 4194304 4196468 140721167152000 140627780992144 140627979749077 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11788288 140721167160312 140721167160470 140721167160470 140721167163343 0
[pid=9444/tid=9451] ppid=9282 vsize=8414124 memory=2032 CPUtime=0 cores=0-7
/proc/9444/task/9451/stat : 9451 (java) S 9282 9282 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510108553 8616062976 30570 33554432000 4194304 4196468 140721167152000 140627779939344 140627979749077 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11788288 140721167160312 140721167160470 140721167160470 140721167163343 0
[pid=9444/tid=9452] ppid=9282 vsize=8414124 memory=1328 CPUtime=0 cores=0-7
/proc/9444/task/9452/stat : 9452 (java) S 9282 9282 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510108553 8616062976 30570 33554432000 4194304 4196468 140721167152000 140627778886544 140627979749077 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11788288 140721167160312 140721167160470 140721167160470 140721167163343 0
[pid=9444/tid=9453] ppid=9282 vsize=8414124 memory=1560 CPUtime=0 cores=0-7
/proc/9444/task/9453/stat : 9453 (java) S 9282 9282 8819 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510108553 8616062976 30570 33554432000 4194304 4196468 140721167152000 140627777833744 140627979749077 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11788288 140721167160312 140721167160470 140721167160470 140721167163343 0
[pid=9444/tid=9454] ppid=9282 vsize=8414124 memory=164 CPUtime=0 cores=0-7
/proc/9444/task/9454/stat : 9454 (java) S 9282 9282 8819 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 510108554 8616062976 30570 33554432000 4194304 4196468 140721167152000 140627207432560 140627979750018 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11788288 140721167160312 140721167160470 140721167160470 140721167163343 0
[pid=9444/tid=9455] ppid=9282 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/9444/task/9455/stat : 9455 (java) S 9282 9282 8819 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 510108555 8616062976 30570 33554432000 4194304 4196468 140721167152000 140626423178272 140627979749077 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11788288 140721167160312 140721167160470 140721167160470 140721167163343 0
[pid=9444/tid=9456] ppid=9282 vsize=8414124 memory=7812726576340533336 CPUtime=0 cores=0-7
/proc/9444/task/9456/stat : 9456 (java) S 9282 9282 8819 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 510108555 8616062976 30570 33554432000 4194304 4196468 140721167152000 140626288956272 140627979749077 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11788288 140721167160312 140721167160470 140721167160470 140721167163343 0
[pid=9444/tid=9457] ppid=9282 vsize=8414124 memory=2965399 CPUtime=0 cores=0-7
/proc/9444/task/9457/stat : 9457 (java) S 9282 9282 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510108558 8616062976 30570 33554432000 4194304 4196468 140721167152000 140625914451792 140627979757467 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11788288 140721167160312 140721167160470 140721167160470 140721167163343 0
[pid=9444/tid=9458] ppid=9282 vsize=8414124 memory=0 CPUtime=0.15 cores=0-7
/proc/9444/task/9458/stat : 9458 (java) S 9282 9282 8819 0 -1 1077944384 1014 0 0 0 15 0 0 0 20 0 24 0 510108558 8616062976 30570 33554432000 4194304 4196468 140721167152000 140627206380400 140627979750018 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11788288 140721167160312 140721167160470 140721167160470 140721167163343 0
[pid=9444/tid=9459] ppid=9282 vsize=8414124 memory=0 CPUtime=0.13 cores=0-7
/proc/9444/task/9459/stat : 9459 (java) S 9282 9282 8819 0 -1 1077944384 305 0 0 0 13 0 0 0 20 0 24 0 510108558 8616062976 30570 33554432000 4194304 4196468 140721167152000 140627205327600 140627979750018 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11788288 140721167160312 140721167160470 140721167160470 140721167163343 0
[pid=9444/tid=9460] ppid=9282 vsize=8414124 memory=0 CPUtime=0.09 cores=0-7
/proc/9444/task/9460/stat : 9460 (java) S 9282 9282 8819 0 -1 1077944384 385 0 0 0 9 0 0 0 20 0 24 0 510108558 8616062976 30570 33554432000 4194304 4196468 140721167152000 140627204274800 140627979750018 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11788288 140721167160312 140721167160470 140721167160470 140721167163343 0
[pid=9444/tid=9461] ppid=9282 vsize=8414124 memory=0 CPUtime=0.22 cores=0-7
/proc/9444/task/9461/stat : 9461 (java) S 9282 9282 8819 0 -1 1077944384 561 0 0 0 22 0 0 0 20 0 24 0 510108558 8616062976 30570 33554432000 4194304 4196468 140721167152000 140627203222000 140627979750018 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11788288 140721167160312 140721167160470 140721167160470 140721167163343 0
[pid=9444/tid=9462] ppid=9282 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/9444/task/9462/stat : 9462 (java) S 9282 9282 8819 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510108558 8616062976 30570 33554432000 4194304 4196468 140721167152000 140625416546912 140627979749077 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11788288 140721167160312 140721167160470 140721167160470 140721167163343 0
[pid=9444/tid=9463] ppid=9282 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/9444/task/9463/stat : 9463 (java) S 9282 9282 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510108558 8616062976 30570 33554432000 4194304 4196468 140721167152000 140627202169392 140627979750018 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11788288 140721167160312 140721167160470 140721167160470 140721167163343 0
[pid=9444/tid=9465] ppid=9282 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/9444/task/9465/stat : 9465 (java) S 9282 9282 8819 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 510108629 8616062976 30570 33554432000 4194304 4196468 140721167152000 140627194135616 140627979763481 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 11788288 140721167160312 140721167160470 140721167160470 140721167163343 0
[pid=9444/tid=9467] ppid=9282 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/9444/task/9467/stat : 9467 (java) S 9282 9282 8819 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 510108630 8616062976 30570 33554432000 4194304 4196468 140721167152000 140624745447600 140627979760797 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 11788288 140721167160312 140721167160470 140721167160470 140721167163343 0
[pid=9444/tid=9468] ppid=9282 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/9444/task/9468/stat : 9468 (java) S 9282 9282 8819 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 510108630 8616062976 30570 33554432000 4194304 4196468 140721167152000 140625013882928 140627979760797 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 11788288 140721167160312 140721167160470 140721167160470 140721167163343 0
[pid=9444/tid=9469] ppid=9282 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/9444/task/9469/stat : 9469 (java) S 9282 9282 8819 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 24 0 510108632 8616062976 30570 33554432000 4194304 4196468 140721167152000 140624477019696 140627979749077 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11788288 140721167160312 140721167160470 140721167160470 140721167163343 0
Current children cumulated CPU time: 1743.52 s
Current children cumulated vsize: 9622752 KiB
Current children cumulated memory: 600360 KiB

Child status: 0
Real time (s): 1568.66
CPU time (s): 1743.67
CPU user time (s): 1710.76
CPU system time (s): 32.9102
CPU usage (%): 111.157
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 17181124

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1710.76
system time used= 32.9102
maximum resident set size= 17180336
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 494158
page faults= 1
swaps= 0
block input operations= 32
block output operations= 20256
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 54065
involuntary context switches= 3181


# summary of solver processes directly reported to runsolver:
#   pid: 9282
#   total CPU time (s): 1743.67
#   total CPU user time (s): 1710.76
#   total CPU system time (s): 32.9102

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.7088 second user time and 15.4604 second system time

The end

Launcher Data 

Begin job on node151 at 2019-09-24 16:52:45
IDJOB=4405294
IDBENCH=126912
IDSOLVER=2867
FILE ID=node151/4405294-1569336804
RUNJOBID= node151-1569335938-8846
PBS_JOBID= 21705046
Free space on /tmp= 12332 MiB

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

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

MD5SUM BENCH= 2ff4403728a82746813109e0b9ab6660
RANDOM SEED=693132921

node151.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.53
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	: 5335.75
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.53
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	: 5335.75
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.53
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	: 5335.75
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.53
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	: 5335.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        23294600 kB
MemAvailable:   31795500 kB
Buffers:           87500 kB
Cached:          8573084 kB
SwapCached:        50760 kB
Active:          2803096 kB
Inactive:        5911500 kB
Active(anon):        748 kB
Inactive(anon):   107852 kB
Active(file):    2802348 kB
Inactive(file):  5803648 kB
Unevictable:      108536 kB
Mlocked:          108536 kB
SwapTotal:      67108860 kB
SwapFree:       66956480 kB
Dirty:             70244 kB
Writeback:             0 kB
AnonPages:        112436 kB
Mapped:            54312 kB
Shmem:             45944 kB
Slab:             352504 kB
SReclaimable:     323364 kB
SUnreclaim:        29140 kB
KernelStack:        3360 kB
PageTables:         5272 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     514372 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     69632 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      138624 kB
DirectMap2M:    33406976 kB

Free space on /tmp at the end= 12312 MiB
End job on node151 at 2019-09-24 17:18:54