Trace number 4392652

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Fun-sCOP hybrid+ManyGlucose (2019-06-15)UNSAT 61.7025 26.2253

General information on the benchmark

NameSuperSolutions/SuperSolutions-Taillard-os10/
SuperTaillard-os-10-23.xml
MD5SUMea1f89da39181e5263a1c81884ecc603
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 benchmark40.8874
Satisfiable
(Un)Satisfiability was proved
Number of variables200
Number of constraints2800
Number of domains67
Minimum domain size476
Maximum domain size574
Distribution of domain sizes[{"size":476,"count":4},{"size":478,"count":2},{"size":482,"count":2},{"size":483,"count":2},{"size":484,"count":6},{"size":485,"count":2},{"size":488,"count":2},{"size":489,"count":4},{"size":490,"count":2},{"size":492,"count":2},{"size":493,"count":2},{"size":494,"count":2},{"size":495,"count":4},{"size":496,"count":2},{"size":498,"count":4},{"size":499,"count":2},{"size":500,"count":4},{"size":501,"count":4},{"size":502,"count":4},{"size":503,"count":4},{"size":504,"count":4},{"size":505,"count":2},{"size":506,"count":2},{"size":507,"count":4},{"size":509,"count":2},"...",{"size":536,"count":6}, {"size":537,"count":2}, {"size":538,"count":2}, {"size":539,"count":4}, {"size":540,"count":2}, {"size":542,"count":2}, {"size":543,"count":4}, {"size":547,"count":2}, {"size":550,"count":8}, {"size":551,"count":2}, {"size":552,"count":4}, {"size":553,"count":2}, {"size":554,"count":2}, {"size":555,"count":2}, {"size":557,"count":2}, {"size":559,"count":6}, {"size":560,"count":4}, {"size":562,"count":2}, {"size":565,"count":2}, {"size":566,"count":2}, {"size":567,"count":2}, {"size":569,"count":2}, {"size":571,"count":6}, {"size":573,"count":2}, {"size":574,"count":2}]
Minimum variable degree19
Maximum variable degree37
Distribution of variable degrees[{"degree":19,"count":100},{"degree":37,"count":100}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":2800}]
Number of extensional constraints0
Number of intensional constraints2800
Distribution of constraint types[{"type":"intension","count":2800}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c (scop.sh) java -Xms22g -Xmx22g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Encode -hybrid -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-24257-serial-file.bin HOME/instance-4392652-1568441984.xml
0.66/0.54	
0.66/0.54	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
0.66/0.54	
0.66/0.56	c BEGIN-Prog: Sat Sep 14 08:19:05 CEST 2019
0.66/0.56	c PID: 24260
0.66/0.56	c IP: 172.20.3.124
0.66/0.56	c HOST: node124.alineos.net
0.66/0.57	c (0,0) Parsing Begin
4.37/1.56	c (1,1) Parsing End
4.37/1.57	c (1,1) CSP: 200 int (0 aux), 0 bool (0 aux), 2800 ctr, max domain size 574
4.37/1.57	c (1,1) Heap : 450 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB)
4.37/1.57	c (1,1) Constraint Name Generate Begin
4.79/1.60	c (1,1) Ctr:HOME/instance-4392652-1568441984.xml,Add:Le:Ne:Num:Or:Var
4.79/1.60	c (1,1) Constraint Name Generate End
4.79/1.60	c (1,1) Heap : 450 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB)
4.79/1.60	c (1,1) CSP to CSPinCNF Begin
5.48/1.82	c (1,1) translated 280 (10%) constraints
5.48/1.87	c (1,1) translated 560 (20%) constraints
5.81/1.91	c (1,1) translated 840 (30%) constraints
5.81/1.93	c (1,1) translated 1120 (40%) constraints
5.81/1.96	c (1,1) translated 1400 (50%) constraints
5.81/1.98	c (1,1) translated 1680 (60%) constraints
5.81/2.00	c (1,1) translated 1960 (70%) constraints
6.21/2.02	c (1,1) translated 2240 (80%) constraints
6.21/2.04	c (1,1) translated 2520 (90%) constraints
6.21/2.06	c (1,1) translated 2800 (100%) constraints
6.21/2.06	c (1,1) ===========================================
6.21/2.09	c (1,1) Hybrid: #OE=200, #LE=0
6.21/2.09	c (1,1) Hybrid
6.21/2.09	c (1,1) ===========================================
6.64/2.12	c (1,1) translated 280 (10%) constraints
6.64/2.13	c (1,1) translated 560 (20%) constraints
6.64/2.15	c (1,1) translated 840 (30%) constraints
6.64/2.16	c (1,1) translated 1120 (40%) constraints
6.64/2.17	c (1,1) translated 1400 (50%) constraints
6.64/2.18	c (1,1) translated 1680 (60%) constraints
6.64/2.19	c (1,1) translated 1960 (70%) constraints
7.01/2.21	c (1,1) translated 2240 (80%) constraints
7.01/2.22	c (1,1) translated 2520 (90%) constraints
7.01/2.23	c (1,1) translated 2800 (100%) constraints
7.01/2.24	c (1,1) CSP to CSPinCNF End
7.01/2.24	c (1,1) CSP: 200 int (0 aux), 0 bool (0 aux), 2800 ctr, max domain size 574
7.01/2.24	c (1,1) Heap : 450 MiB used (max 21589 MiB), NonHeap : 26 MiB used (max 0 MiB)
7.01/2.24	c (1,1) CSPinCNF Propagation Begin
7.01/2.29	c (1,1) 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed
7.01/2.29	c (1,1) CSPinCNF Propagation End
7.01/2.29	c (1,1) CSP: 200 int (0 aux), 0 bool (0 aux), 2800 ctr, max domain size 574
7.01/2.29	c (1,1) Heap : 450 MiB used (max 21589 MiB), NonHeap : 26 MiB used (max 0 MiB)
7.45/2.31	c (1,1) Hybrid: #OE=200, #LE=0
7.45/2.31	c (1,1) Simplify CSPinCNF Begin
8.25/2.50	c (1,1) Simplify CSPinCNF End
8.25/2.51	c (1,1) CSP: 200 int (0 aux), 5600 bool (5600 aux), 8400 ctr, max domain size 574
8.25/2.51	c (1,1) Heap : 563 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB)
8.25/2.51	c (1,1) Calculate Precise Domain Begin
8.25/2.51	c (1,1) 0 values are removed by re-calculation
8.25/2.51	c (1,1) Calculate Precise Domain End
8.25/2.51	c (1,1) CSP: 200 int (0 aux), 5600 bool (5600 aux), 8400 ctr, max domain size 574
8.25/2.51	c (1,1) Heap : 563 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB)
8.25/2.51	c (1,1) CSPinCNF to SatSolver Begin
12.12/4.17	c (3,3) 840 (10 %) CSP clauses are encoded (0 SAT variables, 375502 SAT clauses)
13.26/5.29	c (4,4) 1680 (20 %) CSP clauses are encoded (0 SAT variables, 641236 SAT clauses)
14.42/6.38	c (5,5) 2520 (30 %) CSP clauses are encoded (0 SAT variables, 903034 SAT clauses)
15.53/7.49	c (6,6) 3360 (40 %) CSP clauses are encoded (0 SAT variables, 1167665 SAT clauses)
16.74/8.60	c (8,8) 4200 (50 %) CSP clauses are encoded (0 SAT variables, 1434400 SAT clauses)
17.90/9.69	c (9,9) 5040 (60 %) CSP clauses are encoded (0 SAT variables, 1693743 SAT clauses)
18.92/10.67	c (10,10) 5880 (70 %) CSP clauses are encoded (0 SAT variables, 1956726 SAT clauses)
19.98/11.68	c (11,11) 6720 (80 %) CSP clauses are encoded (0 SAT variables, 2227366 SAT clauses)
20.98/12.69	c (12,12) 7560 (90 %) CSP clauses are encoded (0 SAT variables, 2498642 SAT clauses)
22.22/13.71	c (13,13) 8400 (100 %) CSP clauses are encoded (0 SAT variables, 2772894 SAT clauses)
22.48/13.96	c (13,13) CSPinCNF to SatSolver End
22.48/13.96	c (13,13) Heap : 4387 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB)
22.48/13.96	c (13,13) 110232 bool, 2773392 clause
22.48/13.96	c (13,13) Export Begin
22.48/13.96	c (13,13) Export to HOME/scop-24257-serial-file.bin
22.48/13.96	c (13,13) Export End
22.48/13.96	c (13,13) Export File Size: 0.03 MB
22.48/13.96	c (13,13) 1,1,1,1,1,1,13,STOP-AFTER(DIMACS)
22.48/13.96	c END-Prog: Sat Sep 14 08:19:18 CEST 2019
22.48/13.96	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-24257-serial-file.bin
23.06/14.32	c (0,0) Read Serial File Begin
23.06/14.32	c (0,0) HOME/scop-24257-serial-file.bin
23.35/14.54	c (0,0) Read Serial File End
23.35/14.55	
23.35/14.55	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
23.35/14.55	(Solving Process)
23.35/14.55	
23.35/14.57	c BEGIN-Prog: Sat Sep 14 08:19:19 CEST 2019
23.35/14.57	c PID: 24280
23.35/14.57	c IP: 172.20.3.124
23.35/14.57	c HOST: node124.alineos.net
23.35/14.58	c (0,0) SatSolver.solve Begin
23.35/14.58	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4392652-1568441984.xml-scop-24260.cnf
23.60/14.60	c (0,0) c
23.60/14.60	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)
23.60/14.60	c (0,0) c
23.60/14.60	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
23.60/14.60	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
23.60/14.60	c (0,0) c ========================================[ Problem Statistics ]===========================================
23.60/14.60	c (0,0) c |                                                                                                       |
24.62/15.58	c (1,0) c |  Number of variables:        110232                                                                   |
24.62/15.58	c (1,0) c |  Number of clauses:         2773392                                                                   |
24.62/15.58	c (1,0) c |  Parse time:                   0.88 s                                                                 |
24.62/15.58	c (1,0) c |                                                                                                       |
30.42/21.31	c (7,0) c |  Simplification time:          5.64 s                                                                 |
30.42/21.31	c (7,0) c |                                                                                                       |
30.42/21.31	c (7,0) c |  Generating clones                                                                                    |
31.13/22.03	c (7,0) c |  all clones generated. Memory =  1640.09Mb.                                                           |
31.13/22.03	c (7,0) c ========================================================================================================|
31.13/22.03	c (7,0) c
31.13/22.03	c (7,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
31.13/22.03	c (7,0) c
31.13/22.03	c (7,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
31.13/22.03	c (7,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
31.13/22.03	c (7,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
31.13/22.03	c (7,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
31.13/22.03	c (7,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
31.13/22.03	c (7,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
31.13/22.03	c (7,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
31.13/22.03	c (7,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
31.13/22.03	c (7,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
31.13/22.03	c (7,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
31.13/22.03	c (7,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
31.13/22.03	c (7,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
31.13/22.03	c (7,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
31.13/22.03	c (7,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
31.13/22.03	c (7,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
31.13/22.03	c (7,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
31.13/22.03	c (7,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
31.13/22.03	c (7,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
31.13/22.03	c (7,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
61.48/26.12	c (11,0) c
61.48/26.12	c (11,0) c real time : 11.5181 s
61.48/26.12	c (11,0) c cpu time  : 36.143 s
61.48/26.12	c (11,0) c
61.48/26.12	c (11,0) c
61.48/26.12	c (11,0) c
61.48/26.12	c (11,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
61.48/26.12	c (11,0) c
61.48/26.12	c (11,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
61.48/26.12	c (11,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
61.48/26.12	c (11,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
61.48/26.12	c (11,0) c | Conflicts     |           49210 |       5399 |       7226 |       7818 |       4476 |       6451 |       7233 |       5080 |       5527 |
61.48/26.12	c (11,0) c | Decisions     |           66855 |       8041 |       9500 |       9960 |       6264 |       8854 |       9465 |       6907 |       7864 |
61.48/26.12	c (11,0) c | Propagations  |        51569663 |    6151530 |    5859146 |    6986118 |    6031390 |    7007239 |    6358507 |    6557325 |    6618408 |
61.48/26.12	c (11,0) c | ReduceDBs     |              11 |          1 |          2 |          2 |          1 |          1 |          2 |          1 |          1 |
61.48/26.12	c (11,0) c | SimpDBs       |               8 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |
61.48/26.12	c (11,0) c | Restarts      |              30 |          5 |          2 |          3 |          3 |          4 |          2 |          4 |          7 |
61.48/26.12	c (11,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
61.48/26.12	c (11,0) c | PropBinClauses|        59561468 |    7321835 |    6787728 |    7993340 |    6881172 |    7916172 |    7436545 |    7618321 |    7606355 |
61.48/26.12	c (11,0) c | PropPreBlocker|       702888597 |   89136460 |   71051105 |   87109720 |   89534947 |   91392638 |   79301780 |  100217126 |   95144821 |
61.48/26.12	c (11,0) c | PropNotBlocker|       235941996 |   28165641 |   27772365 |   33545249 |   28545250 |   30655431 |   31454194 |   28269084 |   27534782 |
61.48/26.12	c (11,0) c | LitFullScans  |      1060998016 |  132020644 |  112823598 |  138029283 |  132012575 |  138017507 |  126019115 |  144029111 |  138046183 |
61.48/26.12	c (11,0) c | LitScanFracts |           73983 |       7708 |       7313 |      15039 |      10750 |       7650 |      11848 |       5021 |       8654 |
61.48/26.12	c (11,0) c | DecisionLevel0|              45 |          5 |         12 |          4 |          3 |          4 |          6 |          4 |          7 |
61.48/26.12	c (11,0) c | Periods       |             176 |         22 |         18 |         23 |         22 |         23 |         21 |         24 |         23 |
61.48/26.12	c (11,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
61.48/26.12	c (11,0) c | Avg_Trail     |                 |       7722 |       5220 |       6793 |       7803 |       7523 |       5050 |      11740 |       8297 |
61.48/26.12	c (11,0) c | Avg_DL        |                 |         32 |         11 |         14 |         18 |         16 |          9 |         22 |         16 |
61.48/26.12	c (11,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
61.48/26.12	c (11,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
61.48/26.12	c (11,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
61.48/26.12	c (11,0) c | Exported      |            5141 |        300 |       1205 |       1323 |        104 |        616 |       1109 |        187 |        297 |
61.48/26.12	c (11,0) c | Imported      |              40 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |         40 |
61.48/26.12	c (11,0) c | Good          |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
61.48/26.12	c (11,0) c | Purge         |              40 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |         40 |
61.48/26.12	c (11,0) c | Promoted      |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
61.48/26.12	c (11,0) c | Remove_Imp    |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
61.48/26.12	c (11,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
61.48/26.12	c (11,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
61.48/26.12	c (11,0) c | Unaries       |                 |          0 |         10 |          1 |          0 |          0 |          4 |          0 |          0 |
61.48/26.12	c (11,0) c | Binaries      |                 |          0 |         52 |         19 |          0 |          0 |         32 |          0 |          0 |
61.48/26.12	c (11,0) c | Glues         |                 |        161 |        332 |        223 |        104 |        132 |        303 |        153 |        118 |
61.48/26.12	c (11,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
61.48/26.12	c (11,0) c | Orig_Seen     |             0 % |      30944 |      18650 |      19357 |      22453 |      21369 |      17699 |      25067 |      25855 |
61.48/26.12	c (11,0) c | Diff Orig seen|                 |      12294 |      X     |        707 |       3803 |       2719 | -      951 |       6417 |       7205 |
61.48/26.12	c (11,0) c | Hamming       |            21 % |      24889 |      X     |      22045 |      24946 |      21982 |      20494 |      23922 |      25121 |
61.48/26.12	c (11,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
61.48/26.12	c (11,0) c | RunningTime   |                 |    4.1 100%|    4.0 100%|    4.0 100%|    4.1 100%|    4.0 100%|    4.0 100%|    4.0 100%|    4.1 100%|
61.48/26.12	c (11,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%|
61.48/26.12	c (11,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%|
61.48/26.12	c (11,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%|
61.48/26.12	c (11,0) c | SolvingTime   |                 |    4.1     |    4.0     |    4.0     |    4.1     |    4.0     |    4.0     |    4.0     |    4.1     |
61.48/26.12	c (11,0) c | PropagationTim|                 |    3.9  96%|    3.8  96%|    3.9  95%|    3.9  96%|    3.9  96%|    3.8  96%|    3.8  96%|    3.9  96%|
61.48/26.12	c (11,0) c | AnalysisTime  |                 |    0.1   2%|    0.1   2%|    0.1   3%|    0.1   2%|    0.1   2%|    0.1   2%|    0.1   2%|    0.1   2%|
61.48/26.12	c (11,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%|
61.48/26.12	c (11,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%|
61.48/26.12	c (11,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%|
61.48/26.12	c (11,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%|
61.48/26.12	c (11,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
61.48/26.12	c (11,0) c
61.48/26.12	c (11,0) c
61.48/26.12	c (11,0) c Threads : 8
61.48/26.12	c (11,0) c Winner : 1
61.48/26.12	c (11,0) c Conflicts_0 : 5399
61.48/26.12	c (11,0) c Conflicts_1 : 7226
61.48/26.12	c (11,0) c Conflicts_2 : 7818
61.48/26.12	c (11,0) c Conflicts_3 : 4476
61.48/26.12	c (11,0) c Conflicts_4 : 6451
61.48/26.12	c (11,0) c Conflicts_5 : 7233
61.48/26.12	c (11,0) c Conflicts_6 : 5080
61.48/26.12	c (11,0) c Conflicts_7 : 5527
61.48/26.12	c (11,0) c Conflicts_total : 49210
61.48/26.12	c (11,0) c Conflicts_winner : 7226
61.48/26.12	c (11,0) c Decisions_0 : 8041
61.48/26.12	c (11,0) c Decisions_1 : 9500
61.48/26.12	c (11,0) c Decisions_2 : 9960
61.48/26.12	c (11,0) c Decisions_3 : 6264
61.48/26.12	c (11,0) c Decisions_4 : 8854
61.48/26.12	c (11,0) c Decisions_5 : 9465
61.48/26.12	c (11,0) c Decisions_6 : 6907
61.48/26.12	c (11,0) c Decisions_7 : 7864
61.48/26.12	c (11,0) c Decisions_total : 66855
61.48/26.12	c (11,0) c Decisions_winner : 9500
61.48/26.12	c (11,0) c Propagations_0 : 6151530
61.48/26.12	c (11,0) c Propagations_1 : 5859146
61.48/26.12	c (11,0) c Propagations_2 : 6986118
61.48/26.12	c (11,0) c Propagations_3 : 6031390
61.48/26.12	c (11,0) c Propagations_4 : 7007239
61.48/26.12	c (11,0) c Propagations_5 : 6358507
61.48/26.12	c (11,0) c Propagations_6 : 6557325
61.48/26.12	c (11,0) c Propagations_7 : 6618408
61.48/26.12	c (11,0) c Propagations_total : 51569663
61.48/26.12	c (11,0) c Propagations_winner : 5859146
61.48/26.12	c (11,0) c ReduceDBs_0 : 1
61.48/26.12	c (11,0) c ReduceDBs_1 : 2
61.48/26.12	c (11,0) c ReduceDBs_2 : 2
61.48/26.12	c (11,0) c ReduceDBs_3 : 1
61.48/26.12	c (11,0) c ReduceDBs_4 : 1
61.48/26.12	c (11,0) c ReduceDBs_5 : 2
61.48/26.12	c (11,0) c ReduceDBs_6 : 1
61.48/26.12	c (11,0) c ReduceDBs_7 : 1
61.48/26.12	c (11,0) c ReduceDBs_total : 11
61.48/26.12	c (11,0) c ReduceDBs_winner : 2
61.48/26.12	c (11,0) c SimpDBs_0 : 1
61.48/26.12	c (11,0) c SimpDBs_1 : 1
61.48/26.12	c (11,0) c SimpDBs_2 : 1
61.48/26.12	c (11,0) c SimpDBs_3 : 1
61.48/26.12	c (11,0) c SimpDBs_4 : 1
61.48/26.12	c (11,0) c SimpDBs_5 : 1
61.48/26.12	c (11,0) c SimpDBs_6 : 1
61.48/26.12	c (11,0) c SimpDBs_7 : 1
61.48/26.12	c (11,0) c SimpDBs_total : 8
61.48/26.12	c (11,0) c SimpDBs_winner : 1
61.48/26.12	c (11,0) c Restarts_0 : 5
61.48/26.12	c (11,0) c Restarts_1 : 2
61.48/26.12	c (11,0) c Restarts_2 : 3
61.48/26.12	c (11,0) c Restarts_3 : 3
61.48/26.12	c (11,0) c Restarts_4 : 4
61.48/26.12	c (11,0) c Restarts_5 : 2
61.48/26.12	c (11,0) c Restarts_6 : 4
61.48/26.12	c (11,0) c Restarts_7 : 7
61.48/26.12	c (11,0) c Restarts_total : 30
61.48/26.12	c (11,0) c Restarts_winner : 2
61.48/26.12	c (11,0) c ForcedImports_0 : 0
61.48/26.12	c (11,0) c ForcedImports_1 : 0
61.48/26.12	c (11,0) c ForcedImports_2 : 0
61.48/26.12	c (11,0) c ForcedImports_3 : 0
61.48/26.12	c (11,0) c ForcedImports_4 : 0
61.48/26.12	c (11,0) c ForcedImports_5 : 0
61.48/26.12	c (11,0) c ForcedImports_6 : 0
61.48/26.12	c (11,0) c ForcedImports_7 : 0
61.48/26.12	c (11,0) c ForcedImports_total : 0
61.48/26.12	c (11,0) c ForcedImports_winner : 0
61.48/26.12	c (11,0) c PropsBinClauses_0 : 7321835
61.48/26.12	c (11,0) c PropsBinClauses_1 : 6787728
61.48/26.12	c (11,0) c PropsBinClauses_2 : 7993340
61.48/26.12	c (11,0) c PropsBinClauses_3 : 6881172
61.48/26.12	c (11,0) c PropsBinClauses_4 : 7916172
61.48/26.12	c (11,0) c PropsBinClauses_5 : 7436545
61.48/26.12	c (11,0) c PropsBinClauses_6 : 7618321
61.48/26.12	c (11,0) c PropsBinClauses_7 : 7606355
61.48/26.12	c (11,0) c PropsBinClauses_total : 59561468
61.48/26.12	c (11,0) c PropsBinClauses_winner : 6787728
61.48/26.12	c (11,0) c PropsPreBlocker_0 : 89136460
61.48/26.12	c (11,0) c PropsPreBlocker_1 : 71051105
61.48/26.12	c (11,0) c PropsPreBlocker_2 : 87109720
61.48/26.12	c (11,0) c PropsPreBlocker_3 : 89534947
61.48/26.12	c (11,0) c PropsPreBlocker_4 : 91392638
61.48/26.12	c (11,0) c PropsPreBlocker_5 : 79301780
61.48/26.12	c (11,0) c PropsPreBlocker_6 : 100217126
61.48/26.12	c (11,0) c PropsPreBlocker_7 : 95144821
61.48/26.12	c (11,0) c PropsPreBlocker_total : 702888597
61.48/26.12	c (11,0) c PropsPreBlocker_winner : 71051105
61.48/26.12	c (11,0) c PropsNotBlocker_0 : 28165641
61.48/26.12	c (11,0) c PropsNotBlocker_1 : 27772365
61.48/26.12	c (11,0) c PropsNotBlocker_2 : 33545249
61.48/26.12	c (11,0) c PropsNotBlocker_3 : 28545250
61.48/26.12	c (11,0) c PropsNotBlocker_4 : 30655431
61.48/26.12	c (11,0) c PropsNotBlocker_5 : 31454194
61.48/26.12	c (11,0) c PropsNotBlocker_6 : 28269084
61.48/26.12	c (11,0) c PropsNotBlocker_7 : 27534782
61.48/26.12	c (11,0) c PropsNotBlocker_total : 235941996
61.48/26.12	c (11,0) c PropsNotBlocker_winner : 27772365
61.48/26.12	c (11,0) c PropsLitFullScans_0 : 132020644
61.48/26.12	c (11,0) c PropsLitFullScans_1 : 112823598
61.48/26.12	c (11,0) c PropsLitFullScans_2 : 138029283
61.48/26.12	c (11,0) c PropsLitFullScans_3 : 132012575
61.48/26.12	c (11,0) c PropsLitFullScans_4 : 138017507
61.48/26.12	c (11,0) c PropsLitFullScans_5 : 126019115
61.48/26.12	c (11,0) c PropsLitFullScans_6 : 144029111
61.48/26.12	c (11,0) c PropsLitFullScans_7 : 138046183
61.48/26.12	c (11,0) c PropsLitFullScans_total : 1060998016
61.48/26.12	c (11,0) c PropsLitFullScans_winner : 112823598
61.48/26.12	c (11,0) c LitScanFractions_0 : 7708
61.48/26.12	c (11,0) c LitScanFractions_1 : 7313
61.48/26.12	c (11,0) c LitScanFractions_2 : 15039
61.48/26.12	c (11,0) c LitScanFractions_3 : 10750
61.48/26.12	c (11,0) c LitScanFractions_4 : 7650
61.48/26.12	c (11,0) c LitScanFractions_5 : 11848
61.48/26.12	c (11,0) c LitScanFractions_6 : 5021
61.48/26.12	c (11,0) c LitScanFractions_7 : 8654
61.48/26.12	c (11,0) c LitScanFractions_total : 73983
61.48/26.12	c (11,0) c LitScanFractions_winner : 7313
61.48/26.12	c (11,0) c DecisionLevel0_0 : 5
61.48/26.12	c (11,0) c DecisionLevel0_1 : 12
61.48/26.12	c (11,0) c DecisionLevel0_2 : 4
61.48/26.12	c (11,0) c DecisionLevel0_3 : 3
61.48/26.12	c (11,0) c DecisionLevel0_4 : 4
61.48/26.12	c (11,0) c DecisionLevel0_5 : 6
61.48/26.12	c (11,0) c DecisionLevel0_6 : 4
61.48/26.12	c (11,0) c DecisionLevel0_7 : 7
61.48/26.12	c (11,0) c DecisionLevel0_total : 45
61.48/26.12	c (11,0) c DecisionLevel0_winner : 12
61.48/26.12	c (11,0) c Periods_0 : 22
61.48/26.12	c (11,0) c Periods_1 : 18
61.48/26.12	c (11,0) c Periods_2 : 23
61.48/26.12	c (11,0) c Periods_3 : 22
61.48/26.12	c (11,0) c Periods_4 : 23
61.48/26.12	c (11,0) c Periods_5 : 21
61.48/26.12	c (11,0) c Periods_6 : 24
61.48/26.12	c (11,0) c Periods_7 : 23
61.48/26.12	c (11,0) c Periods_total : 176
61.48/26.12	c (11,0) c Periods_winner : 18
61.48/26.12	c (11,0) c Margin_0 : 20
61.48/26.12	c (11,0) c Margin_1 : 20
61.48/26.12	c (11,0) c Margin_2 : 20
61.48/26.12	c (11,0) c Margin_3 : 20
61.48/26.12	c (11,0) c Margin_4 : 20
61.48/26.12	c (11,0) c Margin_5 : 20
61.48/26.12	c (11,0) c Margin_6 : 20
61.48/26.12	c (11,0) c Margin_7 : 20
61.48/26.12	c (11,0) c Margin_total : 160
61.48/26.12	c (11,0) c Margin_winner : 20
61.48/26.12	c (11,0) c Exported_0 : 300
61.48/26.12	c (11,0) c Exported_1 : 1205
61.48/26.12	c (11,0) c Exported_2 : 1323
61.48/26.12	c (11,0) c Exported_3 : 104
61.48/26.12	c (11,0) c Exported_4 : 616
61.48/26.12	c (11,0) c Exported_5 : 1109
61.48/26.12	c (11,0) c Exported_6 : 187
61.48/26.12	c (11,0) c Exported_7 : 297
61.48/26.12	c (11,0) c Exported_total : 5141
61.48/26.12	c (11,0) c Exported_winner : 1205
61.48/26.12	c (11,0) c Imported_0 : 0
61.48/26.13	c (11,0) c Imported_1 : 0
61.48/26.13	c (11,0) c Imported_2 : 0
61.48/26.13	c (11,0) c Imported_3 : 0
61.48/26.13	c (11,0) c Imported_4 : 0
61.48/26.13	c (11,0) c Imported_5 : 0
61.48/26.13	c (11,0) c Imported_6 : 0
61.48/26.13	c (11,0) c Imported_7 : 40
61.48/26.13	c (11,0) c Imported_total : 40
61.48/26.13	c (11,0) c Imported_winner : 0
61.48/26.13	c (11,0) c Good_0 : 0
61.48/26.13	c (11,0) c Good_1 : 0
61.48/26.13	c (11,0) c Good_2 : 0
61.48/26.13	c (11,0) c Good_3 : 0
61.48/26.13	c (11,0) c Good_4 : 0
61.48/26.13	c (11,0) c Good_5 : 0
61.48/26.13	c (11,0) c Good_6 : 0
61.48/26.13	c (11,0) c Good_7 : 0
61.48/26.13	c (11,0) c Good_total : 0
61.48/26.13	c (11,0) c Good_winner : 0
61.48/26.13	c (11,0) c Purge_0 : 0
61.48/26.13	c (11,0) c Purge_1 : 0
61.48/26.13	c (11,0) c Purge_2 : 0
61.48/26.13	c (11,0) c Purge_3 : 0
61.48/26.13	c (11,0) c Purge_4 : 0
61.48/26.13	c (11,0) c Purge_5 : 0
61.48/26.13	c (11,0) c Purge_6 : 0
61.48/26.13	c (11,0) c Purge_7 : 40
61.48/26.13	c (11,0) c Purge_total : 40
61.48/26.13	c (11,0) c Purge_winner : 0
61.48/26.13	c (11,0) c Promoted_0 : 0
61.48/26.13	c (11,0) c Promoted_1 : 0
61.48/26.13	c (11,0) c Promoted_2 : 0
61.48/26.13	c (11,0) c Promoted_3 : 0
61.48/26.13	c (11,0) c Promoted_4 : 0
61.48/26.13	c (11,0) c Promoted_5 : 0
61.48/26.13	c (11,0) c Promoted_6 : 0
61.48/26.13	c (11,0) c Promoted_7 : 0
61.48/26.13	c (11,0) c Promoted_total : 0
61.48/26.13	c (11,0) c Promoted_winner : 0
61.48/26.13	c (11,0) c Remove_Imp_0 : 0
61.48/26.13	c (11,0) c Remove_Imp_1 : 0
61.48/26.13	c (11,0) c Remove_Imp_2 : 0
61.48/26.13	c (11,0) c Remove_Imp_3 : 0
61.48/26.13	c (11,0) c Remove_Imp_4 : 0
61.48/26.13	c (11,0) c Remove_Imp_5 : 0
61.48/26.13	c (11,0) c Remove_Imp_6 : 0
61.48/26.13	c (11,0) c Remove_Imp_7 : 0
61.48/26.13	c (11,0) c Remove_Imp_total : 0
61.48/26.13	c (11,0) c Remove_Imp_winner : 0
61.48/26.13	c (11,0) c Blocked_Reuse_0 : 0
61.48/26.13	c (11,0) c Blocked_Reuse_1 : 0
61.48/26.13	c (11,0) c Blocked_Reuse_2 : 0
61.48/26.13	c (11,0) c Blocked_Reuse_3 : 0
61.48/26.13	c (11,0) c Blocked_Reuse_4 : 0
61.48/26.13	c (11,0) c Blocked_Reuse_5 : 0
61.48/26.13	c (11,0) c Blocked_Reuse_6 : 0
61.48/26.13	c (11,0) c Blocked_Reuse_7 : 0
61.48/26.13	c (11,0) c Blocked_Reuse_total : 0
61.48/26.13	c (11,0) c Blocked_Reuse_winner : 0
61.48/26.13	c (11,0) c Unaries_0 : 0
61.48/26.13	c (11,0) c Unaries_1 : 10
61.48/26.13	c (11,0) c Unaries_2 : 1
61.48/26.13	c (11,0) c Unaries_3 : 0
61.48/26.13	c (11,0) c Unaries_4 : 0
61.48/26.13	c (11,0) c Unaries_5 : 4
61.48/26.13	c (11,0) c Unaries_6 : 0
61.48/26.13	c (11,0) c Unaries_7 : 0
61.48/26.13	c (11,0) c Unaries_total : 15
61.48/26.13	c (11,0) c Unaries_winner : 10
61.48/26.13	c (11,0) c Binaries_0 : 0
61.48/26.13	c (11,0) c Binaries_1 : 52
61.48/26.13	c (11,0) c Binaries_2 : 19
61.48/26.13	c (11,0) c Binaries_3 : 0
61.48/26.13	c (11,0) c Binaries_4 : 0
61.48/26.13	c (11,0) c Binaries_5 : 32
61.48/26.13	c (11,0) c Binaries_6 : 0
61.48/26.13	c (11,0) c Binaries_7 : 0
61.48/26.13	c (11,0) c Binaries_total : 103
61.48/26.13	c (11,0) c Binaries_winner : 52
61.48/26.13	c (11,0) c Glues_0 : 161
61.48/26.13	c (11,0) c Glues_1 : 332
61.48/26.13	c (11,0) c Glues_2 : 223
61.48/26.13	c (11,0) c Glues_3 : 104
61.48/26.13	c (11,0) c Glues_4 : 132
61.48/26.13	c (11,0) c Glues_5 : 303
61.48/26.13	c (11,0) c Glues_6 : 153
61.48/26.13	c (11,0) c Glues_7 : 118
61.48/26.13	c (11,0) c Glues_total : 1526
61.48/26.13	c (11,0) c Glues_winner : 332
61.48/26.13	c (11,0) c RunningTime_0 : 4.077838
61.48/26.13	c (11,0) c RunningTime_1 : 4.001574
61.48/26.13	c (11,0) c RunningTime_2 : 4.044182
61.48/26.13	c (11,0) c RunningTime_3 : 4.084571
61.48/26.13	c (11,0) c RunningTime_4 : 4.023888
61.48/26.13	c (11,0) c RunningTime_5 : 4.017339
61.48/26.13	c (11,0) c RunningTime_6 : 4.006830
61.48/26.13	c (11,0) c RunningTime_7 : 4.083315
61.48/26.13	c (11,0) c RunningTime_total : 32.339538
61.48/26.13	c (11,0) c RunningTime_winner : 4.001574
61.48/26.13	c (11,0) c WaitingTime_0 : 0.000003
61.48/26.13	c (11,0) c WaitingTime_1 : 0.000000
61.48/26.13	c (11,0) c WaitingTime_2 : 0.000003
61.48/26.13	c (11,0) c WaitingTime_3 : 0.000003
61.48/26.13	c (11,0) c WaitingTime_4 : 0.000010
61.48/26.13	c (11,0) c WaitingTime_5 : 0.000000
61.48/26.13	c (11,0) c WaitingTime_6 : 0.000051
61.48/26.13	c (11,0) c WaitingTime_7 : 0.000004
61.48/26.13	c (11,0) c WaitingTime_total : 0.000074
61.48/26.13	c (11,0) c WaitingTime_winner : 0.000000
61.48/26.13	c (11,0) c ExchangingTime_0 : 0.001361
61.48/26.13	c (11,0) c ExchangingTime_1 : 0.001336
61.48/26.13	c (11,0) c ExchangingTime_2 : 0.001220
61.48/26.13	c (11,0) c ExchangingTime_3 : 0.000870
61.48/26.13	c (11,0) c ExchangingTime_4 : 0.001044
61.48/26.13	c (11,0) c ExchangingTime_5 : 0.001674
61.48/26.13	c (11,0) c ExchangingTime_6 : 0.001130
61.48/26.13	c (11,0) c ExchangingTime_7 : 0.001080
61.48/26.13	c (11,0) c ExchangingTime_total : 0.009715
61.48/26.13	c (11,0) c ExchangingTime_winner : 0.001336
61.48/26.13	c (11,0) c PeriodProcTime_0 : 0.000463
61.48/26.13	c (11,0) c PeriodProcTime_1 : 0.000492
61.48/26.13	c (11,0) c PeriodProcTime_2 : 0.001083
61.48/26.13	c (11,0) c PeriodProcTime_3 : 0.000404
61.48/26.13	c (11,0) c PeriodProcTime_4 : 0.000323
61.48/26.13	c (11,0) c PeriodProcTime_5 : 0.000329
61.48/26.13	c (11,0) c PeriodProcTime_6 : 0.000332
61.48/26.13	c (11,0) c PeriodProcTime_7 : 0.000352
61.48/26.13	c (11,0) c PeriodProcTime_total : 0.003777
61.48/26.13	c (11,0) c PeriodProcTime_winner : 0.000492
61.48/26.13	c (11,0) c SolvingTime_0 : 4.079665
61.48/26.13	c (11,0) c SolvingTime_1 : 4.003402
61.48/26.13	c (11,0) c SolvingTime_2 : 4.046488
61.48/26.13	c (11,0) c SolvingTime_3 : 4.085848
61.48/26.13	c (11,0) c SolvingTime_4 : 4.025264
61.48/26.13	c (11,0) c SolvingTime_5 : 4.019343
61.48/26.13	c (11,0) c SolvingTime_6 : 4.008343
61.48/26.13	c (11,0) c SolvingTime_7 : 4.084751
61.48/26.13	c (11,0) c SolvingTime_total : 32.353103
61.48/26.13	c (11,0) c SolvingTime_winner : 4.003402
61.48/26.13	c (11,0) c PropagationTime_0 : 3.898651
61.48/26.13	c (11,0) c PropagationTime_1 : 3.839953
61.48/26.13	c (11,0) c PropagationTime_2 : 3.854075
61.48/26.13	c (11,0) c PropagationTime_3 : 3.922515
61.48/26.13	c (11,0) c PropagationTime_4 : 3.858787
61.48/26.13	c (11,0) c PropagationTime_5 : 3.840595
61.48/26.13	c (11,0) c PropagationTime_6 : 3.833654
61.48/26.13	c (11,0) c PropagationTime_7 : 3.905147
61.48/26.13	c (11,0) c PropagationTime_total : 30.953377
61.48/26.13	c (11,0) c PropagationTime_winner : 3.839953
61.48/26.13	c (11,0) c AnalysisTime_0 : 0.101677
61.48/26.13	c (11,0) c AnalysisTime_1 : 0.090478
61.48/26.13	c (11,0) c AnalysisTime_2 : 0.108800
61.48/26.13	c (11,0) c AnalysisTime_3 : 0.091532
61.48/26.13	c (11,0) c AnalysisTime_4 : 0.086019
61.48/26.13	c (11,0) c AnalysisTime_5 : 0.098311
61.48/26.13	c (11,0) c AnalysisTime_6 : 0.096526
61.48/26.13	c (11,0) c AnalysisTime_7 : 0.097069
61.48/26.13	c (11,0) c AnalysisTime_total : 0.770412
61.48/26.13	c (11,0) c AnalysisTime_winner : 0.090478
61.48/26.13	c (11,0) c ReductionTime_0 : 0.000390
61.48/26.13	c (11,0) c ReductionTime_1 : 0.001681
61.48/26.13	c (11,0) c ReductionTime_2 : 0.001465
61.48/26.13	c (11,0) c ReductionTime_3 : 0.000386
61.48/26.13	c (11,0) c ReductionTime_4 : 0.000358
61.48/26.13	c (11,0) c ReductionTime_5 : 0.001482
61.48/26.13	c (11,0) c ReductionTime_6 : 0.000373
61.48/26.13	c (11,0) c ReductionTime_7 : 0.000710
61.48/26.13	c (11,0) c ReductionTime_total : 0.006845
61.48/26.13	c (11,0) c ReductionTime_winner : 0.001681
61.48/26.13	c (11,0) c SimplifyTime_0 : 0.000001
61.48/26.13	c (11,0) c SimplifyTime_1 : 0.000002
61.48/26.13	c (11,0) c SimplifyTime_2 : 0.000000
61.48/26.13	c (11,0) c SimplifyTime_3 : 0.000000
61.48/26.13	c (11,0) c SimplifyTime_4 : 0.000000
61.48/26.13	c (11,0) c SimplifyTime_5 : 0.000000
61.48/26.13	c (11,0) c SimplifyTime_6 : 0.000000
61.48/26.13	c (11,0) c SimplifyTime_7 : 0.000000
61.48/26.13	c (11,0) c SimplifyTime_total : 0.000003
61.48/26.13	c (11,0) c SimplifyTime_winner : 0.000002
61.48/26.13	c (11,0) c UsedRateTime_0 : 0.000000
61.48/26.13	c (11,0) c UsedRateTime_1 : 0.000000
61.48/26.13	c (11,0) c UsedRateTime_2 : 0.000000
61.48/26.13	c (11,0) c UsedRateTime_3 : 0.000000
61.48/26.13	c (11,0) c UsedRateTime_4 : 0.000000
61.48/26.13	c (11,0) c UsedRateTime_5 : 0.000000
61.48/26.13	c (11,0) c UsedRateTime_6 : 0.000000
61.48/26.13	c (11,0) c UsedRateTime_7 : 0.000000
61.48/26.13	c (11,0) c UsedRateTime_total : 0.000000
61.48/26.13	c (11,0) c UsedRateTime_winner : 0.000000
61.48/26.13	c (11,0) c OverlapRateTime_0 : 0.000000
61.48/26.13	c (11,0) c OverlapRateTime_1 : 0.000000
61.48/26.13	c (11,0) c OverlapRateTime_2 : 0.000000
61.48/26.13	c (11,0) c OverlapRateTime_3 : 0.000000
61.48/26.13	c (11,0) c OverlapRateTime_4 : 0.000000
61.48/26.13	c (11,0) c OverlapRateTime_5 : 0.000000
61.48/26.13	c (11,0) c OverlapRateTime_6 : 0.000000
61.48/26.13	c (11,0) c OverlapRateTime_7 : 0.000000
61.48/26.13	c (11,0) c OverlapRateTime_total : 0.000000
61.48/26.13	c (11,0) c OverlapRateTime_winner : 0.000000
61.48/26.13	c (11,0) c
61.48/26.13	c (11,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
61.48/26.13	c (11,0) c
61.48/26.13	c (11,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
61.48/26.13	c (11,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
61.48/26.13	c (11,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
61.48/26.13	c (11,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
61.48/26.13	c (11,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
61.48/26.13	c (11,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
61.48/26.13	c (11,0) c | Initial random_seed   | 1377166219 | 1213598977 | 2012315836 | 2029276398 | 1863182901 |  924421868 | 1884577829 | 1872610944 |
61.48/26.13	c (11,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
61.48/26.13	c (11,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
61.48/26.13	c (11,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
61.48/26.13	c (11,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
61.48/26.13	c (11,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
61.48/26.13	c (11,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
61.48/26.13	c (11,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
61.48/26.13	c (11,0) c | var_decay             |     0.8100 |     0.8100 |     0.8100 |     0.8000 |     0.8100 |     0.8100 |     0.8100 |     0.8100 |
61.48/26.13	c (11,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
61.48/26.13	c (11,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
61.48/26.13	c (11,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
61.48/26.13	c (11,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
61.48/26.13	c (11,0) 
61.48/26.13	c (11,0) s UNSATISFIABLE
61.48/26.20	c (11,0) SatSolver.solve End
61.48/26.20	c (11,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
61.48/26.20	c (11,0) Show results Begin
61.48/26.20	s UNSATISFIABLE
61.48/26.20	c (11,0) Show results End
61.64/26.20	c (11,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
61.64/26.20	c (11,0) 11,11,STOP-AFTER(ALL)
61.64/26.20	c END-Prog: Sat Sep 14 08:19:31 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 (13831 MiB free)
  memory of node 1: 16384 MiB (14262 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392652-1568441984/watcher-4392652-1568441984 -o /tmp/evaluation-result-4392652-1568441984/solver-4392652-1568441984 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node124-1568436778-23250 --watchdog 2580 HOME/scop.sh 22g HOME/scop.jar -hybrid HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4392652-1568441984.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 threadver pid=24254ack expansion will fail 
Starting watchdog threadver pid=24254ack expansion will fail 

Current StackSize limit: 8192 KiB


[startup+0.10013 s]*
/proc/loadavg: 6.66 6.96 6.79 2/211 24279
/proc/meminfo: memFree=28670972/32770624 swapFree=66959228/67108860
[pid=24257] ppid=24254 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/24257/stat : 24257 (scop.sh) S 24254 24257 23223 0 -1 4202496 555 320 0 0 0 0 0 0 20 0 1 0 420138604 115843072 349 33554432000 4194304 5098028 140725138049312 140725138046568 140556783825532 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 37994496 140725138051876 140725138052204 140725138052204 140725138055117 0
/proc/24257/statm: 28282 349 296 221 0 87 0
[pid=24260] ppid=24257 vsize=27314120 memory=108056 CPUtime=0.11 cores=0-7
/proc/24260/stat : 24260 (java) S 24257 24257 23223 0 -1 1077944320 6527 0 0 0 8 3 0 0 20 0 20 0 420138604 27969658880 27014 33554432000 4194304 4196468 140736700048480 140736700031024 139831352438519 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 10215424 140736700052202 140736700052630 140736700052630 140736700055503 0
/proc/24260/statm: 6828530 27014 2817 1 0 6790935 0
[pid=24260/tid=24261] ppid=24257 vsize=27314120 memory=7825175260183828893 CPUtime=0.09 cores=0-7
/proc/24260/task/24261/stat : 24261 (java) R 24257 24257 23223 0 -1 4202560 4621 0 0 0 7 2 0 0 20 0 20 0 420138604 27969658880 27014 33554432000 4194304 4196468 140736700048480 139831324264848 139831338506638 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10215424 140736700052202 140736700052630 140736700052630 140736700055503 0
[pid=24260/tid=24262] ppid=24257 vsize=27314120 memory=732370413675072485 CPUtime=0 cores=0-7
/proc/24260/task/24262/stat : 24262 (java) S 24257 24257 23223 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420138607 27969658880 27014 33554432000 4194304 4196468 140736700048480 139831356680848 139831352448725 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10215424 140736700052202 140736700052630 140736700052630 140736700055503 0
[pid=24260/tid=24263] ppid=24257 vsize=27314120 memory=140275337619072 CPUtime=0 cores=0-7
/proc/24260/task/24263/stat : 24263 (java) S 24257 24257 23223 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420138607 27969658880 27014 33554432000 4194304 4196468 140736700048480 139830774811152 139831352448725 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10215424 140736700052202 140736700052630 140736700052630 140736700055503 0
[pid=24260/tid=24264] ppid=24257 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24260/task/24264/stat : 24264 (java) S 24257 24257 23223 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420138607 27969658880 27014 33554432000 4194304 4196468 140736700048480 139830773758352 139831352448725 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10215424 140736700052202 140736700052630 140736700052630 140736700055503 0
[pid=24260/tid=24265] ppid=24257 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24260/task/24265/stat : 24265 (java) S 24257 24257 23223 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420138607 27969658880 27014 33554432000 4194304 4196468 140736700048480 139830772705552 139831352448725 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10215424 140736700052202 140736700052630 140736700052630 140736700055503 0
[pid=24260/tid=24266] ppid=24257 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24260/task/24266/stat : 24266 (java) S 24257 24257 23223 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420138607 27969658880 27014 33554432000 4194304 4196468 140736700048480 139830771653776 139831352448725 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10215424 140736700052202 140736700052630 140736700052630 140736700055503 0
[pid=24260/tid=24267] ppid=24257 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/24260/task/24267/stat : 24267 (java) S 24257 24257 23223 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420138607 27969658880 27014 33554432000 4194304 4196468 140736700048480 139830770600976 139831352448725 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10215424 140736700052202 140736700052630 140736700052630 140736700055503 0
[pid=24260/tid=24268] ppid=24257 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24260/task/24268/stat : 24268 (java) S 24257 24257 23223 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420138607 27969658880 27014 33554432000 4194304 4196468 140736700048480 139830769548176 139831352448725 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10215424 140736700052202 140736700052630 140736700052630 140736700055503 0
[pid=24260/tid=24269] ppid=24257 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24260/task/24269/stat : 24269 (java) S 24257 24257 23223 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420138607 27969658880 27526 33554432000 4194304 4196468 140736700048480 139830768495376 139831352448725 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10215424 140736700052202 140736700052630 140736700052630 140736700055503 0
[pid=24260/tid=24270] ppid=24257 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24260/task/24270/stat : 24270 (java) S 24257 24257 23223 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420138608 27969658880 27526 33554432000 4194304 4196468 140736700048480 139830343776624 139831352449666 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10215424 140736700052202 140736700052630 140736700052630 140736700055503 0
[pid=24260/tid=24271] ppid=24257 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24260/task/24271/stat : 24271 (java) S 24257 24257 23223 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 420138609 27969658880 27526 33554432000 4194304 4196468 140736700048480 139829236982816 139831352448725 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10215424 140736700052202 140736700052630 140736700052630 140736700055503 0
[pid=24260/tid=24272] ppid=24257 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24260/task/24272/stat : 24272 (java) S 24257 24257 23223 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420138609 27969658880 27526 33554432000 4194304 4196468 140736700048480 139828968547184 139831352448725 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10215424 140736700052202 140736700052630 140736700052630 140736700055503 0
[pid=24260/tid=24273] ppid=24257 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24260/task/24273/stat : 24273 (java) S 24257 24257 23223 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420138611 27969658880 27526 33554432000 4194304 4196468 140736700048480 139828594038608 139831352457115 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10215424 140736700052202 140736700052630 140736700052630 140736700055503 0
[pid=24260/tid=24274] ppid=24257 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24260/task/24274/stat : 24274 (java) S 24257 24257 23223 0 -1 1077944384 289 0 0 0 0 0 0 0 20 0 20 0 420138611 27969658880 27526 33554432000 4194304 4196468 140736700048480 139830342724464 139831352449666 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10215424 140736700052202 140736700052630 140736700052630 140736700055503 0
[pid=24260/tid=24275] ppid=24257 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24260/task/24275/stat : 24275 (java) S 24257 24257 23223 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420138611 27969658880 27526 33554432000 4194304 4196468 140736700048480 139830341671664 139831352449666 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10215424 140736700052202 140736700052630 140736700052630 140736700055503 0
[pid=24260/tid=24276] ppid=24257 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24260/task/24276/stat : 24276 (java) S 24257 24257 23223 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420138611 27969658880 27526 33554432000 4194304 4196468 140736700048480 139830340618864 139831352449666 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10215424 140736700052202 140736700052630 140736700052630 140736700055503 0
[pid=24260/tid=24277] ppid=24257 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24260/task/24277/stat : 24277 (java) S 24257 24257 23223 0 -1 1077944384 271 0 0 0 0 0 0 0 20 0 20 0 420138611 27969658880 27526 33554432000 4194304 4196468 140736700048480 139830339566064 139831352449666 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10215424 140736700052202 140736700052630 140736700052630 140736700055503 0
[pid=24260/tid=24278] ppid=24257 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24260/task/24278/stat : 24278 (java) S 24257 24257 23223 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420138612 27969658880 27526 33554432000 4194304 4196468 140736700048480 139828096133728 139831352448725 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10215424 140736700052202 140736700052630 140736700052630 140736700055503 0
[pid=24260/tid=24279] ppid=24257 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/24260/task/24279/stat : 24279 (java) S 24257 24257 23223 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420138612 27969658880 27526 33554432000 4194304 4196468 140736700048480 139830338513456 139831352449666 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10215424 140736700052202 140736700052630 140736700052630 140736700055503 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 109452 KiB

[startup+0.210403 s]*
/proc/loadavg: 6.66 6.96 6.79 2/211 24279
/proc/meminfo: memFree=28652140/32770624 swapFree=66959228/67108860
[pid=24257] ppid=24254 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/24257/stat : 24257 (scop.sh) S 24254 24257 23223 0 -1 4202496 555 320 0 0 0 0 0 0 20 0 1 0 420138604 115843072 349 33554432000 4194304 5098028 140725138049312 140725138046568 140556783825532 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 37994496 140725138051876 140725138052204 140725138052204 140725138055117 0
/proc/24257/statm: 28282 349 296 221 0 87 0
[pid=24260] ppid=24257 vsize=27314120 memory=124348 CPUtime=0.25 cores=0-7
/proc/24260/stat : 24260 (java) S 24257 24257 23223 0 -1 1077944320 11523 0 0 0 21 4 0 0 20 0 20 0 420138604 27969658880 31087 33554432000 4194304 4196468 140736700048480 140736700031024 139831352438519 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 10215424 140736700052202 140736700052630 140736700052630 140736700055503 0
/proc/24260/statm: 6828530 31087 2892 1 0 6790935 0
[pid=24260/tid=24261] ppid=24257 vsize=27314120 memory=0 CPUtime=0.19 cores=0-7
/proc/24260/task/24261/stat : 24261 (java) R 24257 24257 23223 0 -1 4202560 9219 0 0 0 16 3 0 0 20 0 20 0 420138604 27969658880 31087 33554432000 4194304 4196468 140736700048480 139831324262480 139831334002029 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10215424 140736700052202 140736700052630 140736700052630 140736700055503 0
[pid=24260/tid=24262] ppid=24257 vsize=27314120 memory=280550513010424 CPUtime=0 cores=0-7
/proc/24260/task/24262/stat : 24262 (java) S 24257 24257 23223 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420138607 27969658880 31087 33554432000 4194304 4196468 140736700048480 139831356680848 139831352448725 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10215424 140736700052202 140736700052630 140736700052630 140736700055503 0
[pid=24260/tid=24263] ppid=24257 vsize=27314120 memory=140275337619072 CPUtime=0 cores=0-7
/proc/24260/task/24263/stat : 24263 (java) S 24257 24257 23223 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420138607 27969658880 31087 33554432000 4194304 4196468 140736700048480 139830774811152 139831352448725 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10215424 140736700052202 140736700052630 140736700052630 140736700055503 0
[pid=24260/tid=24264] ppid=24257 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24260/task/24264/stat : 24264 (java) S 24257 24257 23223 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420138607 27969658880 31087 33554432000 4194304 4196468 140736700048480 139830773758352 139831352448725 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10215424 140736700052202 140736700052630 140736700052630 140736700055503 0
[pid=24260/tid=24265] ppid=24257 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24260/task/24265/stat : 24265 (java) S 24257 24257 23223 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420138607 27969658880 31087 33554432000 4194304 4196468 140736700048480 139830772705552 139831352448725 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10215424 140736700052202 140736700052630 140736700052630 140736700055503 0
[pid=24260/tid=24266] ppid=24257 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24260/task/24266/stat : 24266 (java) S 24257 24257 23223 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420138607 27969658880 31087 33554432000 4194304 4196468 140736700048480 139830771653776 139831352448725 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10215424 140736700052202 140736700052630 140736700052630 140736700055503 0
[pid=24260/tid=24267] ppid=24257 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/24260/task/24267/stat : 24267 (java) S 24257 24257 23223 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420138607 27969658880 31087 33554432000 4194304 4196468 140736700048480 139830770600976 139831352448725 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10215424 140736700052202 140736700052630 140736700052630 140736700055503 0
[pid=24260/tid=24268] ppid=24257 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24260/task/24268/stat : 24268 (java) S 24257 24257 23223 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420138607 27969658880 31087 33554432000 4194304 4196468 140736700048480 139830769548176 139831352448725 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10215424 140736700052202 140736700052630 140736700052630 140736700055503 0
[pid=24260/tid=24269] ppid=24257 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24260/task/24269/stat : 24269 (java) S 24257 24257 23223 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420138607 27969658880 31087 33554432000 4194304 4196468 140736700048480 139830768495376 139831352448725 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10215424 140736700052202 140736700052630 140736700052630 140736700055503 0
[pid=24260/tid=24270] ppid=24257 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24260/task/24270/stat : 24270 (java) S 24257 24257 23223 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420138608 27969658880 31087 33554432000 4194304 4196468 140736700048480 139830343776624 139831352449666 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10215424 140736700052202 140736700052630 140736700052630 140736700055503 0
[pid=24260/tid=24271] ppid=24257 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24260/task/24271/stat : 24271 (java) S 24257 24257 23223 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 420138609 27969658880 31087 33554432000 4194304 4196468 140736700048480 139829236982816 139831352448725 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10215424 140736700052202 140736700052630 140736700052630 140736700055503 0
[pid=24260/tid=24272] ppid=24257 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24260/task/24272/stat : 24272 (java) S 24257 24257 23223 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420138609 27969658880 31087 33554432000 4194304 4196468 140736700048480 139828968547184 139831352448725 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10215424 140736700052202 140736700052630 140736700052630 140736700055503 0
[pid=24260/tid=24273] ppid=24257 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24260/task/24273/stat : 24273 (java) S 24257 24257 23223 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420138611 27969658880 31087 33554432000 4194304 4196468 140736700048480 139828594038608 139831352457115 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10215424 140736700052202 140736700052630 140736700052630 140736700055503 0
[pid=24260/tid=24274] ppid=24257 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24260/task/24274/stat : 24274 (java) S 24257 24257 23223 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 20 0 420138611 27969658880 31087 33554432000 4194304 4196468 140736700048480 139830342724464 139831352449666 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10215424 140736700052202 140736700052630 140736700052630 140736700055503 0
[pid=24260/tid=24275] ppid=24257 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24260/task/24275/stat : 24275 (java) S 24257 24257 23223 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 420138611 27969658880 31087 33554432000 4194304 4196468 140736700048480 139830341671664 139831352449666 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10215424 140736700052202 140736700052630 140736700052630 140736700055503 0
[pid=24260/tid=24276] ppid=24257 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24260/task/24276/stat : 24276 (java) S 24257 24257 23223 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 20 0 420138611 27969658880 31087 33554432000 4194304 4196468 140736700048480 139830340618864 139831352449666 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10215424 140736700052202 140736700052630 140736700052630 140736700055503 0
[pid=24260/tid=24277] ppid=24257 vsize=27314120 memory=0 CPUtime=0.02 cores=0-7
/proc/24260/task/24277/stat : 24277 (java) S 24257 24257 23223 0 -1 1077944384 497 0 0 0 2 0 0 0 20 0 20 0 420138611 27969658880 31087 33554432000 4194304 4196468 140736700048480 139830339566064 139831352449666 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10215424 140736700052202 140736700052630 140736700052630 140736700055503 0
[pid=24260/tid=24278] ppid=24257 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24260/task/24278/stat : 24278 (java) S 24257 24257 23223 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420138612 27969658880 31087 33554432000 4194304 4196468 140736700048480 139828096133728 139831352448725 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10215424 140736700052202 140736700052630 140736700052630 140736700055503 0
[pid=24260/tid=24279] ppid=24257 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/24260/task/24279/stat : 24279 (java) S 24257 24257 23223 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420138612 27969658880 31087 33554432000 4194304 4196468 140736700048480 139830338513456 139831352449666 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10215424 140736700052202 140736700052630 140736700052630 140736700055503 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 125744 KiB

[startup+0.310229 s]*
/proc/loadavg: 6.66 6.96 6.79 2/211 24279
/proc/meminfo: memFree=28649100/32770624 swapFree=66959228/67108860
[pid=24257] ppid=24254 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/24257/stat : 24257 (scop.sh) S 24254 24257 23223 0 -1 4202496 555 320 0 0 0 0 0 0 20 0 1 0 420138604 115843072 349 33554432000 4194304 5098028 140725138049312 140725138046568 140556783825532 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 37994496 140725138051876 140725138052204 140725138052204 140725138055117 0
/proc/24257/statm: 28282 349 296 221 0 87 0
[pid=24260] ppid=24257 vsize=27314120 memory=128552 CPUtime=0.43 cores=0-7
/proc/24260/stat : 24260 (java) S 24257 24257 23223 0 -1 1077944320 11986 0 0 0 38 5 0 0 20 0 20 0 420138604 27969658880 32138 33554432000 4194304 4196468 140736700048480 140736700031024 139831352438519 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 10215424 140736700052202 140736700052630 140736700052630 140736700055503 0
/proc/24260/statm: 6828530 32138 3077 1 0 6790935 0
[pid=24260/tid=24261] ppid=24257 vsize=27314120 memory=6791534058613427641 CPUtime=0.3 cores=0-7
/proc/24260/task/24261/stat : 24261 (java) R 24257 24257 23223 0 -1 4202560 9490 0 0 0 26 4 0 0 20 0 20 0 420138604 27969658880 32138 33554432000 4194304 4196468 140736700048480 139831324261344 139831352452406 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10215424 140736700052202 140736700052630 140736700052630 140736700055503 0
[pid=24260/tid=24262] ppid=24257 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24260/task/24262/stat : 24262 (java) S 24257 24257 23223 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420138607 27969658880 32138 33554432000 4194304 4196468 140736700048480 139831356680848 139831352448725 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10215424 140736700052202 140736700052630 140736700052630 140736700055503 0
[pid=24260/tid=24263] ppid=24257 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24260/task/24263/stat : 24263 (java) S 24257 24257 23223 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420138607 27969658880 32138 33554432000 4194304 4196468 140736700048480 139830774811152 139831352448725 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10215424 140736700052202 140736700052630 140736700052630 140736700055503 0
[pid=24260/tid=24264] ppid=24257 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24260/task/24264/stat : 24264 (java) S 24257 24257 23223 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420138607 27969658880 32138 33554432000 4194304 4196468 140736700048480 139830773758352 139831352448725 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10215424 140736700052202 140736700052630 140736700052630 140736700055503 0
[pid=24260/tid=24265] ppid=24257 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24260/task/24265/stat : 24265 (java) S 24257 24257 23223 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420138607 27969658880 32138 33554432000 4194304 4196468 140736700048480 139830772705552 139831352448725 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10215424 140736700052202 140736700052630 140736700052630 140736700055503 0
[pid=24260/tid=24266] ppid=24257 vsize=27314120 memory=2244 CPUtime=0 cores=0-7
/proc/24260/task/24266/stat : 24266 (java) S 24257 24257 23223 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420138607 27969658880 32138 33554432000 4194304 4196468 140736700048480 139830771653776 139831352448725 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10215424 140736700052202 140736700052630 140736700052630 140736700055503 0
[pid=24260/tid=24267] ppid=24257 vsize=27314120 memory=140275175486383 CPUtime=0 cores=0-7
/proc/24260/task/24267/stat : 24267 (java) S 24257 24257 23223 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420138607 27969658880 32138 33554432000 4194304 4196468 140736700048480 139830770600976 139831352448725 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10215424 140736700052202 140736700052630 140736700052630 140736700055503 0
[pid=24260/tid=24268] ppid=24257 vsize=27314120 memory=140275175488688 CPUtime=0 cores=0-7
/proc/24260/task/24268/stat : 24268 (java) S 24257 24257 23223 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420138607 27969658880 32138 33554432000 4194304 4196468 140736700048480 139830769548176 139831352448725 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10215424 140736700052202 140736700052630 140736700052630 140736700055503 0
[pid=24260/tid=24269] ppid=24257 vsize=27314120 memory=140275175490992 CPUtime=0 cores=0-7
/proc/24260/task/24269/stat : 24269 (java) S 24257 24257 23223 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420138607 27969658880 32138 33554432000 4194304 4196468 140736700048480 139830768495376 139831352448725 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10215424 140736700052202 140736700052630 140736700052630 140736700055503 0
[pid=24260/tid=24270] ppid=24257 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24260/task/24270/stat : 24270 (java) S 24257 24257 23223 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420138608 27969658880 32138 33554432000 4194304 4196468 140736700048480 139830343776624 139831352449666 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10215424 140736700052202 140736700052630 140736700052630 140736700055503 0
[pid=24260/tid=24271] ppid=24257 vsize=27314120 memory=280550350988944 CPUtime=0 cores=0-7
/proc/24260/task/24271/stat : 24271 (java) S 24257 24257 23223 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 420138609 27969658880 32138 33554432000 4194304 4196468 140736700048480 139829236982816 139831352448725 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10215424 140736700052202 140736700052630 140736700052630 140736700055503 0
[pid=24260/tid=24272] ppid=24257 vsize=27314120 memory=280550350995856 CPUtime=0 cores=0-7
/proc/24260/task/24272/stat : 24272 (java) S 24257 24257 23223 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420138609 27969658880 32138 33554432000 4194304 4196468 140736700048480 139828968547184 139831352448725 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10215424 140736700052202 140736700052630 140736700052630 140736700055503 0
[pid=24260/tid=24273] ppid=24257 vsize=27314120 memory=280550350937136 CPUtime=0 cores=0-7
/proc/24260/task/24273/stat : 24273 (java) S 24257 24257 23223 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420138611 27969658880 32138 33554432000 4194304 4196468 140736700048480 139828594038608 139831352457115 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10215424 140736700052202 140736700052630 140736700052630 140736700055503 0
[pid=24260/tid=24274] ppid=24257 vsize=27314120 memory=280550351009680 CPUtime=0.02 cores=0-7
/proc/24260/task/24274/stat : 24274 (java) S 24257 24257 23223 0 -1 1077944384 408 0 0 0 2 0 0 0 20 0 20 0 420138611 27969658880 32138 33554432000 4194304 4196468 140736700048480 139830342724464 139831352449666 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10215424 140736700052202 140736700052630 140736700052630 140736700055503 0
[pid=24260/tid=24275] ppid=24257 vsize=27314120 memory=280550351016592 CPUtime=0 cores=0-7
/proc/24260/task/24275/stat : 24275 (java) S 24257 24257 23223 0 -1 1077944384 140 0 0 0 0 0 0 0 20 0 20 0 420138611 27969658880 32138 33554432000 4194304 4196468 140736700048480 139830341671664 139831352449666 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10215424 140736700052202 140736700052630 140736700052630 140736700055503 0
[pid=24260/tid=24276] ppid=24257 vsize=27314120 memory=280550351014288 CPUtime=0.01 cores=0-7
/proc/24260/task/24276/stat : 24276 (java) S 24257 24257 23223 0 -1 1077944384 90 0 0 0 1 0 0 0 20 0 20 0 420138611 27969658880 32138 33554432000 4194304 4196468 140736700048480 139830340618864 139831352449666 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10215424 140736700052202 140736700052630 140736700052630 140736700055503 0
[pid=24260/tid=24277] ppid=24257 vsize=27314120 memory=280550351030448 CPUtime=0.07 cores=0-7
/proc/24260/task/24277/stat : 24277 (java) S 24257 24257 23223 0 -1 1077944384 518 0 0 0 7 0 0 0 20 0 20 0 420138611 27969658880 32138 33554432000 4194304 4196468 140736700048480 139830339566064 139831352449666 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10215424 140736700052202 140736700052630 140736700052630 140736700055503 0
[pid=24260/tid=24278] ppid=24257 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24260/task/24278/stat : 24278 (java) S 24257 24257 23223 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420138612 27969658880 32138 33554432000 4194304 4196468 140736700048480 139828096133728 139831352448725 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10215424 140736700052202 140736700052630 140736700052630 140736700055503 0
[pid=24260/tid=24279] ppid=24257 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/24260/task/24279/stat : 24279 (java) S 24257 24257 23223 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420138612 27969658880 32138 33554432000 4194304 4196468 140736700048480 139830338513456 139831352449666 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10215424 140736700052202 140736700052630 140736700052630 140736700055503 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 129948 KiB

[startup+0.700939 s]
/proc/loadavg: 6.66 6.96 6.79 3/211 24279
/proc/meminfo: memFree=28625788/32770624 swapFree=66959228/67108860
[pid=24257] ppid=24254 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/24257/stat : 24257 (scop.sh) S 24254 24257 23223 0 -1 4202496 555 320 0 0 0 0 0 0 20 0 1 0 420138604 115843072 349 33554432000 4194304 5098028 140725138049312 140725138046568 140556783825532 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 37994496 140725138051876 140725138052204 140725138052204 140725138055117 0
/proc/24257/statm: 28282 349 296 221 0 87 0
[pid=24260] ppid=24257 vsize=27320392 memory=165304 CPUtime=1.01 cores=0-7
/proc/24260/stat : 24260 (java) S 24257 24257 23223 0 -1 1077944320 19901 0 0 0 93 8 0 0 20 0 20 0 420138604 27976081408 41326 33554432000 4194304 4196468 140736700048480 140736700031024 139831352438519 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 10215424 140736700052202 140736700052630 140736700052630 140736700055503 0
/proc/24260/statm: 6830098 41326 3185 1 0 6791447 0
[pid=24260/tid=24261] ppid=24257 vsize=27320392 memory=280550351325312 CPUtime=0.68 cores=0-7
/proc/24260/task/24261/stat : 24261 (java) R 24257 24257 23223 0 -1 4202560 16929 0 0 0 61 7 0 0 20 0 20 0 420138604 27976081408 41326 33554432000 4194304 4196468 140736700048480 139831324275968 139830857988710 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10215424 140736700052202 140736700052630 140736700052630 140736700055503 0
[pid=24260/tid=24262] ppid=24257 vsize=27320392 memory=1436 CPUtime=0 cores=0-7
/proc/24260/task/24262/stat : 24262 (java) S 24257 24257 23223 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420138607 27976081408 41326 33554432000 4194304 4196468 140736700048480 139831356680848 139831352448725 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10215424 140736700052202 140736700052630 140736700052630 140736700055503 0
[pid=24260/tid=24263] ppid=24257 vsize=27320392 memory=580 CPUtime=0 cores=0-7
/proc/24260/task/24263/stat : 24263 (java) S 24257 24257 23223 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420138607 27976081408 41326 33554432000 4194304 4196468 140736700048480 139830774811152 139831352448725 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10215424 140736700052202 140736700052630 140736700052630 140736700055503 0
[pid=24260/tid=24264] ppid=24257 vsize=27320392 memory=1720 CPUtime=0 cores=0-7

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

/proc/24280/task/24292/stat : 24292 (java) S 24257 24257 23223 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 420139994 8616062976 29885 33554432000 4194304 4196468 140728670072560 140036469151088 140038300436181 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17235968 140728670077943 140728670078102 140728670078102 140728670080975 0
[pid=24280/tid=24293] ppid=24257 vsize=8414124 memory=56 CPUtime=0 cores=0-7
/proc/24280/task/24293/stat : 24293 (java) S 24257 24257 23223 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420139996 8616062976 29885 33554432000 4194304 4196468 140728670072560 140036094646608 140038300444571 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17235968 140728670077943 140728670078102 140728670078102 140728670080975 0
[pid=24280/tid=24294] ppid=24257 vsize=8414124 memory=8027495230052264035 CPUtime=0.05 cores=0-7
/proc/24280/task/24294/stat : 24294 (java) S 24257 24257 23223 0 -1 1077944384 605 0 0 0 5 0 0 0 20 0 24 0 420139996 8616062976 29885 33554432000 4194304 4196468 140728670072560 140037526972784 140038300437122 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17235968 140728670077943 140728670078102 140728670078102 140728670080975 0
[pid=24280/tid=24295] ppid=24257 vsize=8414124 memory=7450186711619363695 CPUtime=0.13 cores=0-7
/proc/24280/task/24295/stat : 24295 (java) S 24257 24257 23223 0 -1 1077944384 596 0 0 0 13 0 0 0 20 0 24 0 420139996 8616062976 29885 33554432000 4194304 4196468 140728670072560 140037525919984 140038300437122 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17235968 140728670077943 140728670078102 140728670078102 140728670080975 0
[pid=24280/tid=24296] ppid=24257 vsize=8414124 memory=8027495230052264035 CPUtime=0.06 cores=0-7
/proc/24280/task/24296/stat : 24296 (java) S 24257 24257 23223 0 -1 1077944384 314 0 0 0 6 0 0 0 20 0 24 0 420139996 8616062976 29885 33554432000 4194304 4196468 140728670072560 140037524867184 140038300437122 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17235968 140728670077943 140728670078102 140728670078102 140728670080975 0
[pid=24280/tid=24297] ppid=24257 vsize=8414124 memory=7450186711619363695 CPUtime=0.2 cores=0-7
/proc/24280/task/24297/stat : 24297 (java) S 24257 24257 23223 0 -1 1077944384 577 0 0 0 20 0 0 0 20 0 24 0 420139996 8616062976 29885 33554432000 4194304 4196468 140728670072560 140037523814384 140038300437122 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17235968 140728670077943 140728670078102 140728670078102 140728670080975 0
[pid=24280/tid=24298] ppid=24257 vsize=8414124 memory=7521978292495275880 CPUtime=0 cores=0-7
/proc/24280/task/24298/stat : 24298 (java) S 24257 24257 23223 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 420139996 8616062976 29885 33554432000 4194304 4196468 140728670072560 140035596741728 140038300436181 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17235968 140728670077943 140728670078102 140728670078102 140728670080975 0
[pid=24280/tid=24299] ppid=24257 vsize=8414124 memory=7521978292495275880 CPUtime=0 cores=0-7
/proc/24280/task/24299/stat : 24299 (java) S 24257 24257 23223 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 420139997 8616062976 29885 33554432000 4194304 4196468 140728670072560 140037522762800 140038300437122 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17235968 140728670077943 140728670078102 140728670078102 140728670080975 0
[pid=24280/tid=24301] ppid=24257 vsize=8414124 memory=7367994820020691277 CPUtime=0 cores=0-7
/proc/24280/task/24301/stat : 24301 (java) S 24257 24257 23223 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 420140064 8616062976 29885 33554432000 4194304 4196468 140728670072560 140037514729024 140038300450585 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 17235968 140728670077943 140728670078102 140728670078102 140728670080975 0
[pid=24280/tid=24303] ppid=24257 vsize=8414124 memory=2110625782835748 CPUtime=0 cores=0-7
/proc/24280/task/24303/stat : 24303 (java) S 24257 24257 23223 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 24 0 420140064 8616062976 29885 33554432000 4194304 4196468 140728670072560 140034925641360 140038300447901 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 17235968 140728670077943 140728670078102 140728670078102 140728670080975 0
[pid=24280/tid=24304] ppid=24257 vsize=8414124 memory=3835289846499464740 CPUtime=0 cores=0-7
/proc/24280/task/24304/stat : 24304 (java) S 24257 24257 23223 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 420140064 8616062976 29885 33554432000 4194304 4196468 140728670072560 140035194076688 140038300447901 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 17235968 140728670077943 140728670078102 140728670078102 140728670080975 0
[pid=24280/tid=24305] ppid=24257 vsize=8414124 memory=1396 CPUtime=0 cores=0-7
/proc/24280/task/24305/stat : 24305 (java) S 24257 24257 23223 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 24 0 420140066 8616062976 29885 33554432000 4194304 4196468 140728670072560 140034657213488 140038300436181 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17235968 140728670077943 140728670078102 140728670078102 140728670080975 0
Current children cumulated CPU time: 57.71 s
Current children cumulated vsize: 10796552 KiB
Current children cumulated memory: 1918596 KiB

[startup+26.0017 s]*
/proc/loadavg: 5.42 6.63 6.69 9/224 24313
/proc/meminfo: memFree=26800400/32770624 swapFree=66959228/67108860
[pid=24257] ppid=24254 vsize=113128 memory=1476 CPUtime=22.48 cores=0-7
/proc/24257/stat : 24257 (scop.sh) S 24254 24257 23223 0 -1 4202496 582 35263 0 0 0 0 2131 117 20 0 1 0 420138604 115843072 369 33554432000 4194304 5098028 140725138049312 140725138046056 140556783825532 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 37994496 140725138051876 140725138052204 140725138052204 140725138055117 0
/proc/24257/statm: 28282 369 311 221 0 87 0
[pid=24280] ppid=24257 vsize=8414124 memory=119540 CPUtime=1.26 cores=0-7
/proc/24280/stat : 24280 (java) S 24257 24257 23223 0 -1 1077944320 20770 0 0 0 119 7 0 0 20 0 24 0 420139990 8616062976 29885 33554432000 4194304 4196468 140728670072560 140728670055104 140038300425975 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17235968 140728670077943 140728670078102 140728670078102 140728670080975 0
/proc/24280/statm: 2103531 29885 3211 1 0 2064875 0
[pid=24300] ppid=24280 vsize=2269300 memory=1798448 CPUtime=37.23 cores=0-7
/proc/24300/stat : 24300 (manyglucose-4.1) S 24280 24257 23223 0 -1 1077944320 575842 0 0 0 3561 162 0 0 20 0 9 0 420140064 2323763200 449612 33554432000 4194304 4454172 140731830884368 140731830882768 139914534718082 0 4 0 8388610 18446744073709551615 0 0 17 3 0 0 0 0 0 6552832 6554400 27209728 140731830891369 140731830891568 140731830891568 140731830894522 0
/proc/24300/statm: 567325 449612 407 64 0 562993 0
[pid=24300/tid=24306] ppid=24280 vsize=2269300 memory=1436 CPUtime=3.8 cores=0-7
/proc/24300/task/24306/stat : 24306 (manyglucose-4.1) R 24280 24257 23223 0 -1 4202560 41722 0 0 0 371 9 0 0 20 0 9 0 420140807 2323763200 449612 33554432000 4194304 4454172 140731830884368 139914486025000 4333016 0 4 0 8388610 0 0 0 -1 3 0 0 0 0 0 6552832 6554400 27209728 140731830891369 140731830891568 140731830891568 140731830894522 0
[pid=24300/tid=24307] ppid=24280 vsize=2269300 memory=1984 CPUtime=3.73 cores=0-7
/proc/24300/task/24307/stat : 24307 (manyglucose-4.1) R 24280 24257 23223 0 -1 4202560 33041 0 0 0 354 19 0 0 20 0 9 0 420140807 2323763200 449612 33554432000 4194304 4454172 140731830884368 139913666775848 4351603 0 4 0 8388610 0 0 0 -1 2 0 0 0 0 0 6552832 6554400 27209728 140731830891369 140731830891568 140731830891568 140731830894522 0
[pid=24300/tid=24308] ppid=24280 vsize=2269300 memory=2580 CPUtime=3.71 cores=0-7
/proc/24300/task/24308/stat : 24308 (manyglucose-4.1) R 24280 24257 23223 0 -1 4202560 28668 0 0 0 365 6 0 0 20 0 9 0 420140807 2323763200 449612 33554432000 4194304 4454172 140731830884368 139913658383144 4351099 0 4 0 8388610 0 0 0 -1 5 0 0 0 0 0 6552832 6554400 27209728 140731830891369 140731830891568 140731830891568 140731830894522 0
[pid=24300/tid=24309] ppid=24280 vsize=2269300 memory=1760 CPUtime=3.71 cores=0-7
/proc/24300/task/24309/stat : 24309 (manyglucose-4.1) R 24280 24257 23223 0 -1 4202560 29240 0 0 0 351 20 0 0 20 0 9 0 420140807 2323763200 449612 33554432000 4194304 4454172 140731830884368 139913649990440 4349826 0 4 0 8388610 0 0 0 -1 0 0 0 0 0 0 6552832 6554400 27209728 140731830891369 140731830891568 140731830891568 140731830894522 0
[pid=24300/tid=24310] ppid=24280 vsize=2269300 memory=111636 CPUtime=3.68 cores=0-7
/proc/24300/task/24310/stat : 24310 (manyglucose-4.1) R 24280 24257 23223 0 -1 4202560 27043 0 0 0 362 6 0 0 20 0 9 0 420140807 2323763200 449612 33554432000 4194304 4454172 140731830884368 139913641597736 4351209 0 4 0 8388610 0 0 0 -1 1 0 0 0 0 0 6552832 6554400 27209728 140731830891369 140731830891568 140731830891568 140731830894522 0
[pid=24300/tid=24311] ppid=24280 vsize=2269300 memory=800 CPUtime=3.73 cores=0-7
/proc/24300/task/24311/stat : 24311 (manyglucose-4.1) R 24280 24257 23223 0 -1 4202560 25297 0 0 0 354 19 0 0 20 0 9 0 420140807 2323763200 449612 33554432000 4194304 4454172 140731830884368 139913633204856 4350887 0 4 0 8388610 0 0 0 -1 6 0 0 0 0 0 6552832 6554400 27209728 140731830891369 140731830891568 140731830891568 140731830894522 0
[pid=24300/tid=24312] ppid=24280 vsize=2269300 memory=1804 CPUtime=3.63 cores=0-7
/proc/24300/task/24312/stat : 24312 (manyglucose-4.1) R 24280 24257 23223 0 -1 4202560 33446 0 0 0 358 5 0 0 20 0 9 0 420140807 2323763200 449612 33554432000 4194304 4454172 140731830884368 139913624812328 4351209 0 4 0 8388610 0 0 0 -1 7 0 0 0 0 0 6552832 6554400 27209728 140731830891369 140731830891568 140731830891568 140731830894522 0
[pid=24300/tid=24313] ppid=24280 vsize=2269300 memory=920 CPUtime=3.73 cores=0-7
/proc/24300/task/24313/stat : 24313 (manyglucose-4.1) R 24280 24257 23223 0 -1 4202560 31240 0 0 0 350 23 0 0 20 0 9 0 420140807 2323763200 449612 33554432000 4194304 4454172 140731830884368 139913616419624 4350843 0 4 0 8388610 0 0 0 -1 4 0 0 0 0 0 6552832 6554400 27209728 140731830891369 140731830891568 140731830891568 140731830894522 0
[pid=24280/tid=24281] ppid=24257 vsize=8414124 memory=7686721470234007447 CPUtime=0.76 cores=0-7
/proc/24280/task/24281/stat : 24281 (java) S 24257 24257 23223 0 -1 1077944384 17255 0 0 0 71 5 0 0 20 0 24 0 420139990 8616062976 29885 33554432000 4194304 4196468 140728670072560 140038272266144 140038300436181 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17235968 140728670077943 140728670078102 140728670078102 140728670080975 0
[pid=24280/tid=24282] ppid=24257 vsize=8414124 memory=-7003737579269690708 CPUtime=0 cores=0-7
/proc/24280/task/24282/stat : 24282 (java) S 24257 24257 23223 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420139992 8616062976 29885 33554432000 4194304 4196468 140728670072560 140038304668816 140038300436181 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17235968 140728670077943 140728670078102 140728670078102 140728670080975 0
[pid=24280/tid=24283] ppid=24257 vsize=8414124 memory=7158022269842777200 CPUtime=0 cores=0-7
/proc/24280/task/24283/stat : 24283 (java) S 24257 24257 23223 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420139992 8616062976 29885 33554432000 4194304 4196468 140728670072560 140038104837136 140038300436181 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17235968 140728670077943 140728670078102 140728670078102 140728670080975 0
[pid=24280/tid=24284] ppid=24257 vsize=8414124 memory=6298095410969858148 CPUtime=0 cores=0-7
/proc/24280/task/24284/stat : 24284 (java) S 24257 24257 23223 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420139992 8616062976 29885 33554432000 4194304 4196468 140728670072560 140038103784336 140038300436181 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17235968 140728670077943 140728670078102 140728670078102 140728670080975 0
[pid=24280/tid=24285] ppid=24257 vsize=8414124 memory=3620 CPUtime=0 cores=0-7
/proc/24280/task/24285/stat : 24285 (java) S 24257 24257 23223 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420139992 8616062976 29885 33554432000 4194304 4196468 140728670072560 140038102731536 140038300436181 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17235968 140728670077943 140728670078102 140728670078102 140728670080975 0
[pid=24280/tid=24286] ppid=24257 vsize=8414124 memory=1660 CPUtime=0 cores=0-7
/proc/24280/task/24286/stat : 24286 (java) S 24257 24257 23223 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420139992 8616062976 29885 33554432000 4194304 4196468 140728670072560 140038101678736 140038300436181 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17235968 140728670077943 140728670078102 140728670078102 140728670080975 0
[pid=24280/tid=24287] ppid=24257 vsize=8414124 memory=41380 CPUtime=0 cores=0-7
/proc/24280/task/24287/stat : 24287 (java) S 24257 24257 23223 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 420139992 8616062976 29885 33554432000 4194304 4196468 140728670072560 140038100625936 140038300436181 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17235968 140728670077943 140728670078102 140728670078102 140728670080975 0
[pid=24280/tid=24288] ppid=24257 vsize=8414124 memory=988 CPUtime=0 cores=0-7
/proc/24280/task/24288/stat : 24288 (java) S 24257 24257 23223 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420139992 8616062976 29885 33554432000 4194304 4196468 140728670072560 140038099573136 140038300436181 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17235968 140728670077943 140728670078102 140728670078102 140728670080975 0
[pid=24280/tid=24289] ppid=24257 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/24280/task/24289/stat : 24289 (java) S 24257 24257 23223 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420139992 8616062976 29885 33554432000 4194304 4196468 140728670072560 140038098520336 140038300436181 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17235968 140728670077943 140728670078102 140728670078102 140728670080975 0
[pid=24280/tid=24290] ppid=24257 vsize=8414124 memory=11204 CPUtime=0 cores=0-7
/proc/24280/task/24290/stat : 24290 (java) S 24257 24257 23223 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 420139993 8616062976 29885 33554432000 4194304 4196468 140728670072560 140037528025968 140038300437122 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17235968 140728670077943 140728670078102 140728670078102 140728670080975 0
[pid=24280/tid=24291] ppid=24257 vsize=8414124 memory=6656426216303648864 CPUtime=0 cores=0-7
/proc/24280/task/24291/stat : 24291 (java) S 24257 24257 23223 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 420139994 8616062976 29885 33554432000 4194304 4196468 140728670072560 140036603373088 140038300436181 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17235968 140728670077943 140728670078102 140728670078102 140728670080975 0
[pid=24280/tid=24292] ppid=24257 vsize=8414124 memory=6656426216303648864 CPUtime=0 cores=0-7
/proc/24280/task/24292/stat : 24292 (java) S 24257 24257 23223 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 420139994 8616062976 29885 33554432000 4194304 4196468 140728670072560 140036469151088 140038300436181 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17235968 140728670077943 140728670078102 140728670078102 140728670080975 0
[pid=24280/tid=24293] ppid=24257 vsize=8414124 memory=1760 CPUtime=0 cores=0-7
/proc/24280/task/24293/stat : 24293 (java) S 24257 24257 23223 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420139996 8616062976 29885 33554432000 4194304 4196468 140728670072560 140036094646608 140038300444571 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17235968 140728670077943 140728670078102 140728670078102 140728670080975 0
[pid=24280/tid=24294] ppid=24257 vsize=8414124 memory=6944656592455360604 CPUtime=0.05 cores=0-7
/proc/24280/task/24294/stat : 24294 (java) S 24257 24257 23223 0 -1 1077944384 605 0 0 0 5 0 0 0 20 0 24 0 420139996 8616062976 29885 33554432000 4194304 4196468 140728670072560 140037526972784 140038300437122 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17235968 140728670077943 140728670078102 140728670078102 140728670080975 0
[pid=24280/tid=24295] ppid=24257 vsize=8414124 memory=800 CPUtime=0.13 cores=0-7
/proc/24280/task/24295/stat : 24295 (java) S 24257 24257 23223 0 -1 1077944384 596 0 0 0 13 0 0 0 20 0 24 0 420139996 8616062976 29885 33554432000 4194304 4196468 140728670072560 140037525919984 140038300437122 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17235968 140728670077943 140728670078102 140728670078102 140728670080975 0
[pid=24280/tid=24296] ppid=24257 vsize=8414124 memory=1804 CPUtime=0.06 cores=0-7
/proc/24280/task/24296/stat : 24296 (java) S 24257 24257 23223 0 -1 1077944384 314 0 0 0 6 0 0 0 20 0 24 0 420139996 8616062976 29885 33554432000 4194304 4196468 140728670072560 140037524867184 140038300437122 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17235968 140728670077943 140728670078102 140728670078102 140728670080975 0
[pid=24280/tid=24297] ppid=24257 vsize=8414124 memory=920 CPUtime=0.2 cores=0-7
/proc/24280/task/24297/stat : 24297 (java) S 24257 24257 23223 0 -1 1077944384 577 0 0 0 20 0 0 0 20 0 24 0 420139996 8616062976 29885 33554432000 4194304 4196468 140728670072560 140037523814384 140038300437122 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17235968 140728670077943 140728670078102 140728670078102 140728670080975 0
[pid=24280/tid=24298] ppid=24257 vsize=8414124 memory=4144 CPUtime=0 cores=0-7
/proc/24280/task/24298/stat : 24298 (java) S 24257 24257 23223 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 420139996 8616062976 29885 33554432000 4194304 4196468 140728670072560 140035596741728 140038300436181 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17235968 140728670077943 140728670078102 140728670078102 140728670080975 0
[pid=24280/tid=24299] ppid=24257 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/24280/task/24299/stat : 24299 (java) S 24257 24257 23223 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 420139997 8616062976 29885 33554432000 4194304 4196468 140728670072560 140037522762800 140038300437122 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17235968 140728670077943 140728670078102 140728670078102 140728670080975 0
[pid=24280/tid=24301] ppid=24257 vsize=8414124 memory=4642197910265684584 CPUtime=0 cores=0-7
/proc/24280/task/24301/stat : 24301 (java) S 24257 24257 23223 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 420140064 8616062976 29885 33554432000 4194304 4196468 140728670072560 140037514729024 140038300450585 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 17235968 140728670077943 140728670078102 140728670078102 140728670080975 0
[pid=24280/tid=24303] ppid=24257 vsize=8414124 memory=7512114543601282149 CPUtime=0 cores=0-7
/proc/24280/task/24303/stat : 24303 (java) S 24257 24257 23223 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 24 0 420140064 8616062976 29885 33554432000 4194304 4196468 140728670072560 140034925641360 140038300447901 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 17235968 140728670077943 140728670078102 140728670078102 140728670080975 0
[pid=24280/tid=24304] ppid=24257 vsize=8414124 memory=1772 CPUtime=0 cores=0-7
/proc/24280/task/24304/stat : 24304 (java) S 24257 24257 23223 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 420140064 8616062976 29885 33554432000 4194304 4196468 140728670072560 140035194076688 140038300447901 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 17235968 140728670077943 140728670078102 140728670078102 140728670080975 0
[pid=24280/tid=24305] ppid=24257 vsize=8414124 memory=832 CPUtime=0 cores=0-7
/proc/24280/task/24305/stat : 24305 (java) S 24257 24257 23223 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 24 0 420140066 8616062976 29885 33554432000 4194304 4196468 140728670072560 140034657213488 140038300436181 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17235968 140728670077943 140728670078102 140728670078102 140728670080975 0
Current children cumulated CPU time: 60.97 s
Current children cumulated vsize: 10796552 KiB
Current children cumulated memory: 1919464 KiB

[startup+26.2024 s]
/proc/loadavg: 5.42 6.63 6.69 9/224 24313
/proc/meminfo: memFree=26800400/32770624 swapFree=66959228/67108860
[pid=24257] ppid=24254 vsize=113128 memory=1476 CPUtime=22.48 cores=0-7
/proc/24257/stat : 24257 (scop.sh) S 24254 24257 23223 0 -1 4202496 582 35263 0 0 0 0 2131 117 20 0 1 0 420138604 115843072 369 33554432000 4194304 5098028 140725138049312 140725138046056 140556783825532 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 37994496 140725138051876 140725138052204 140725138052204 140725138055117 0
/proc/24257/statm: 28282 369 311 221 0 87 0
[pid=24280] ppid=24257 vsize=8283048 memory=120528 CPUtime=39.16 cores=0-7
/proc/24280/stat : 24280 (java) S 24257 24257 23223 0 -1 1077944320 21080 577476 0 0 125 7 3614 170 20 0 22 0 420139990 8481841152 30132 33554432000 4194304 4196468 140728670072560 140728670055104 140038300425975 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17235968 140728670077943 140728670078102 140728670078102 140728670080975 0
/proc/24280/statm: 2070762 30132 3212 1 0 2032106 0
[pid=24280/tid=24281] ppid=24257 vsize=8283048 memory=0 CPUtime=38.6 cores=0-7
/proc/24280/task/24281/stat : 24281 (java) R 24257 24257 23223 0 -1 4202560 17255 577476 0 0 71 5 3614 170 20 0 22 0 420139990 8481841152 30132 33554432000 4194304 4196468 140728670072560 140038272266144 140038300447901 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17235968 140728670077943 140728670078102 140728670078102 140728670080975 0
[pid=24280/tid=24282] ppid=24257 vsize=8283048 memory=0 CPUtime=37.84 cores=0-7
/proc/24280/task/24282/stat : 24282 (java) S 24257 24257 23223 0 -1 1077944384 1 577476 0 0 0 0 3614 170 20 0 22 0 420139992 8481841152 30132 33554432000 4194304 4196468 140728670072560 140038304668816 140038300436181 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17235968 140728670077943 140728670078102 140728670078102 140728670080975 0
[pid=24280/tid=24283] ppid=24257 vsize=8283048 memory=302022848351043610 CPUtime=37.84 cores=0-7
/proc/24280/task/24283/stat : 24283 (java) S 24257 24257 23223 0 -1 1077944384 2 577476 0 0 0 0 3614 170 20 0 22 0 420139992 8481841152 30132 33554432000 4194304 4196468 140728670072560 140038104837136 140038300436181 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17235968 140728670077943 140728670078102 140728670078102 140728670080975 0
[pid=24280/tid=24284] ppid=24257 vsize=8283048 memory=304274695476478263 CPUtime=37.84 cores=0-7
/proc/24280/task/24284/stat : 24284 (java) S 24257 24257 23223 0 -1 1077944384 2 577476 0 0 0 0 3614 170 20 0 22 0 420139992 8481841152 30132 33554432000 4194304 4196468 140728670072560 140038103784336 140038300436181 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17235968 140728670077943 140728670078102 140728670078102 140728670080975 0
[pid=24280/tid=24285] ppid=24257 vsize=8283048 memory=16104758104557987 CPUtime=37.84 cores=0-7
/proc/24280/task/24285/stat : 24285 (java) S 24257 24257 23223 0 -1 1077944384 2 577476 0 0 0 0 3614 170 20 0 22 0 420139992 8481841152 30132 33554432000 4194304 4196468 140728670072560 140038102731536 140038300436181 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17235968 140728670077943 140728670078102 140728670078102 140728670080975 0
[pid=24280/tid=24286] ppid=24257 vsize=8283048 memory=0 CPUtime=37.84 cores=0-7
/proc/24280/task/24286/stat : 24286 (java) S 24257 24257 23223 0 -1 1077944384 1 577476 0 0 0 0 3614 170 20 0 22 0 420139992 8481841152 30132 33554432000 4194304 4196468 140728670072560 140038101678736 140038300436181 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17235968 140728670077943 140728670078102 140728670078102 140728670080975 0
[pid=24280/tid=24287] ppid=24257 vsize=8283048 memory=3976995337384637497 CPUtime=37.84 cores=0-7
/proc/24280/task/24287/stat : 24287 (java) S 24257 24257 23223 0 -1 1077944384 3 577476 0 0 0 0 3614 170 20 0 22 0 420139992 8481841152 30132 33554432000 4194304 4196468 140728670072560 140038100625936 140038300436181 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17235968 140728670077943 140728670078102 140728670078102 140728670080975 0
[pid=24280/tid=24288] ppid=24257 vsize=8283048 memory=140275337641953 CPUtime=37.84 cores=0-7
/proc/24280/task/24288/stat : 24288 (java) S 24257 24257 23223 0 -1 1077944384 2 577476 0 0 0 0 3614 170 20 0 22 0 420139992 8481841152 30132 33554432000 4194304 4196468 140728670072560 140038099573136 140038300436181 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17235968 140728670077943 140728670078102 140728670078102 140728670080975 0
[pid=24280/tid=24289] ppid=24257 vsize=8283048 memory=7956572340855787864 CPUtime=37.84 cores=0-7
/proc/24280/task/24289/stat : 24289 (java) S 24257 24257 23223 0 -1 1077944384 1 577476 0 0 0 0 3614 170 20 0 22 0 420139992 8481841152 30132 33554432000 4194304 4196468 140728670072560 140038098520336 140038300436181 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17235968 140728670077943 140728670078102 140728670078102 140728670080975 0
[pid=24280/tid=24290] ppid=24257 vsize=8283048 memory=7956572340855787864 CPUtime=37.84 cores=0-7
/proc/24280/task/24290/stat : 24290 (java) S 24257 24257 23223 0 -1 1077944384 5 577476 0 0 0 0 3614 170 20 0 22 0 420139993 8481841152 30132 33554432000 4194304 4196468 140728670072560 140037528025968 140038300437122 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17235968 140728670077943 140728670078102 140728670078102 140728670080975 0
[pid=24280/tid=24291] ppid=24257 vsize=8283048 memory=7956572340855787864 CPUtime=37.84 cores=0-7
/proc/24280/task/24291/stat : 24291 (java) S 24257 24257 23223 0 -1 1077944384 13 577476 0 0 0 0 3614 170 20 0 22 0 420139994 8481841152 30132 33554432000 4194304 4196468 140728670072560 140036603373088 140038300436181 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17235968 140728670077943 140728670078102 140728670078102 140728670080975 0
[pid=24280/tid=24292] ppid=24257 vsize=8283048 memory=7956572340855787864 CPUtime=37.84 cores=0-7
/proc/24280/task/24292/stat : 24292 (java) S 24257 24257 23223 0 -1 1077944384 21 577476 0 0 0 0 3614 170 20 0 22 0 420139994 8481841152 30132 33554432000 4194304 4196468 140728670072560 140036469151088 140038300436181 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17235968 140728670077943 140728670078102 140728670078102 140728670080975 0
[pid=24280/tid=24293] ppid=24257 vsize=8283048 memory=7956572340855787864 CPUtime=37.84 cores=0-7
/proc/24280/task/24293/stat : 24293 (java) S 24257 24257 23223 0 -1 1077944384 1 577476 0 0 0 0 3614 170 20 0 22 0 420139996 8481841152 30132 33554432000 4194304 4196468 140728670072560 140036094646608 140038300444571 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17235968 140728670077943 140728670078102 140728670078102 140728670080975 0
[pid=24280/tid=24294] ppid=24257 vsize=8283048 memory=7956572340855787864 CPUtime=37.9 cores=0-7
/proc/24280/task/24294/stat : 24294 (java) S 24257 24257 23223 0 -1 1077944384 615 577476 0 0 6 0 3614 170 20 0 22 0 420139996 8481841152 30132 33554432000 4194304 4196468 140728670072560 140037526972784 140038300437122 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17235968 140728670077943 140728670078102 140728670078102 140728670080975 0
[pid=24280/tid=24295] ppid=24257 vsize=8283048 memory=119540 CPUtime=37.99 cores=0-7
/proc/24280/task/24295/stat : 24295 (java) S 24257 24257 23223 0 -1 1077944384 609 577476 0 0 15 0 3614 170 20 0 22 0 420139996 8481841152 30132 33554432000 4194304 4196468 140728670072560 140037525919984 140038300437122 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17235968 140728670077943 140728670078102 140728670078102 140728670080975 0
[pid=24280/tid=24296] ppid=24257 vsize=8283048 memory=321876 CPUtime=37.9 cores=0-7
/proc/24280/task/24296/stat : 24296 (java) S 24257 24257 23223 0 -1 1077944384 318 577476 0 0 6 0 3614 170 20 0 22 0 420139996 8481841152 30132 33554432000 4194304 4196468 140728670072560 140037524867184 140038300437122 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17235968 140728670077943 140728670078102 140728670078102 140728670080975 0
[pid=24280/tid=24297] ppid=24257 vsize=8283048 memory=208769770372573 CPUtime=38.06 cores=0-7
/proc/24280/task/24297/stat : 24297 (java) S 24257 24257 23223 0 -1 1077944384 836 577476 0 0 22 0 3614 170 20 0 22 0 420139996 8481841152 30132 33554432000 4194304 4196468 140728670072560 140037523814384 140038300437122 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17235968 140728670077943 140728670078102 140728670078102 140728670080975 0
[pid=24280/tid=24298] ppid=24257 vsize=8283048 memory=1966185 CPUtime=37.84 cores=0-7
/proc/24280/task/24298/stat : 24298 (java) S 24257 24257 23223 0 -1 1077944384 3 577476 0 0 0 0 3614 170 20 0 22 0 420139996 8481841152 30132 33554432000 4194304 4196468 140728670072560 140035596741728 140038300436181 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17235968 140728670077943 140728670078102 140728670078102 140728670080975 0
[pid=24280/tid=24299] ppid=24257 vsize=8283048 memory=1967572 CPUtime=37.84 cores=0-7
/proc/24280/task/24299/stat : 24299 (java) S 24257 24257 23223 0 -1 1077944384 3 577476 0 0 0 0 3614 170 20 0 22 0 420139997 8481841152 30132 33554432000 4194304 4196468 140728670072560 140037522762800 140038300437122 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17235968 140728670077943 140728670078102 140728670078102 140728670080975 0
[pid=24280/tid=24301] ppid=24257 vsize=8283048 memory=4277971446240009572 CPUtime=37.84 cores=0-7
/proc/24280/task/24301/stat : 24301 (java) S 24257 24257 23223 0 -1 1077944384 25 577476 0 0 0 0 3614 170 20 0 22 0 420140064 8481841152 30132 33554432000 4194304 4196468 140728670072560 140037514728208 140038300437122 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17235968 140728670077943 140728670078102 140728670078102 140728670080975 0
[pid=24280/tid=24305] ppid=24257 vsize=8283048 memory=0 CPUtime=37.84 cores=0-7
/proc/24280/task/24305/stat : 24305 (java) S 24257 24257 23223 0 -1 1077944384 15 577476 0 0 0 0 3614 170 20 0 22 0 420140066 8481841152 30132 33554432000 4194304 4196468 140728670072560 140034657215280 140038300437122 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17235968 140728670077943 140728670078102 140728670078102 140728670080975 0
Current children cumulated CPU time: 61.64 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 122004 KiB

Child status: 0
Real time (s): 26.2253
CPU time (s): 61.7025
CPU user time (s): 58.7202
CPU system time (s): 2.98236
CPU usage (%): 235.278
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 5922396

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 58.7202
system time used= 2.98236
maximum resident set size= 5923536
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 634431
page faults= 0
swaps= 0
block input operations= 0
block output operations= 122640
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 45315
involuntary context switches= 371


# summary of solver processes directly reported to runsolver:
#   pid: 24257
#   total CPU time (s): 61.7025
#   total CPU user time (s): 58.7202
#   total CPU system time (s): 2.98236

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.219184 second user time and 0.345967 second system time

The end

Launcher Data 

Begin job on node124 at 2019-09-14 08:19:04
IDJOB=4392652
IDBENCH=138447
IDSOLVER=2839
FILE ID=node124/4392652-1568441984
RUNJOBID= node124-1568436778-23250
PBS_JOBID= 21702319
Free space on /tmp= 61812 MiB

SOLVER NAME= Fun-sCOP hybrid+ManyGlucose (2019-06-15)
BENCH NAME= XCSP17/SuperSolutions/SuperSolutions-Taillard-os10/SuperTaillard-os-10-23.xml
COMMAND LINE= DIR/scop.sh 22g DIR/scop.jar -hybrid DIR/manyglucose-4.1-27_release -model:-nthreads=NBCORE:-maxmemory=20000:-lit-scans=6000000 TMPDIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4392652-1568441984/watcher-4392652-1568441984 -o /tmp/evaluation-result-4392652-1568441984/solver-4392652-1568441984 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node124-1568436778-23250 --watchdog 2580  HOME/scop.sh 22g HOME/scop.jar -hybrid HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4392652-1568441984.xml

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

MD5SUM BENCH= ea1f89da39181e5263a1c81884ecc603
RANDOM SEED=1218771466

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.47
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.47
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.47
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        28768600 kB
MemAvailable:   31849444 kB
Buffers:          198736 kB
Cached:          3162000 kB
SwapCached:        45884 kB
Active:           995592 kB
Inactive:        2417748 kB
Active(anon):       4324 kB
Inactive(anon):    89160 kB
Active(file):     991268 kB
Inactive(file):  2328588 kB
Unevictable:      107464 kB
Mlocked:          107464 kB
SwapTotal:      67108860 kB
SwapFree:       66959228 kB
Dirty:             20432 kB
Writeback:            28 kB
AnonPages:        114744 kB
Mapped:            44360 kB
Shmem:             32748 kB
Slab:             183324 kB
SReclaimable:     153648 kB
SUnreclaim:        29676 kB
KernelStack:        3376 kB
PageTables:         5172 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     498028 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:      112000 kB
DirectMap2M:    33433600 kB

Free space on /tmp at the end= 61792 MiB
End job on node124 at 2019-09-14 08:19:31