Trace number 4405124

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

NameXCSP19/ConsecutiveSquarePacking/
ConsecutiveSquarePacking-sp-17-042.xml
MD5SUM30a2df13e8a589268a4af4fb67fb8cf0
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 benchmark9.93882
Satisfiable
(Un)Satisfiability was proved
Number of variables34
Number of constraints136
Number of domains17
Minimum domain size26
Maximum domain size42
Distribution of domain sizes[{"size":26,"count":2},{"size":27,"count":2},{"size":28,"count":2},{"size":29,"count":2},{"size":30,"count":2},{"size":31,"count":2},{"size":32,"count":2},{"size":33,"count":2},{"size":34,"count":2},{"size":35,"count":2},{"size":36,"count":2},{"size":37,"count":2},{"size":38,"count":2},{"size":39,"count":2},{"size":40,"count":2},{"size":41,"count":2},{"size":42,"count":2}]
Minimum variable degree16
Maximum variable degree16
Distribution of variable degrees[{"degree":16,"count":34}]
Minimum constraint arity4
Maximum constraint arity4
Distribution of constraint arities[{"arity":4,"count":136}]
Number of extensional constraints0
Number of intensional constraints136
Distribution of constraint types[{"type":"intension","count":136}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c (scop.sh) java -Xms22g -Xmx22g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Encode -order -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-23180-serial-file.bin HOME/instance-4405124-1569366282.xml
0.65/0.54	
0.65/0.54	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
0.65/0.54	
0.65/0.56	c BEGIN-Prog: Wed Sep 25 01:04:02 CEST 2019
0.65/0.56	c PID: 23183
0.65/0.56	c IP: 172.20.3.151
0.65/0.56	c HOST: node151.alineos.net
0.65/0.57	c (0,0) Parsing Begin
1.73/1.05	c (0,0) Parsing End
1.73/1.06	c (0,0) CSP: 34 int (0 aux), 0 bool (0 aux), 136 ctr, max domain size 42
1.73/1.06	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB)
1.73/1.06	c (0,0) Constraint Name Generate Begin
1.73/1.07	c (0,0) Ctr:HOME/instance-4405124-1569366282.xml,Add:Le:Num:Or:Var
1.73/1.07	c (0,0) Constraint Name Generate End
1.73/1.07	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB)
1.73/1.07	c (0,0) CSP to CSPinCNF Begin
2.07/1.18	c (0,0) translated 14 (10%) constraints
2.07/1.19	c (0,0) translated 28 (20%) constraints
2.25/1.21	c (0,0) translated 41 (30%) constraints
2.25/1.22	c (0,0) translated 55 (40%) constraints
2.25/1.23	c (0,0) translated 68 (50%) constraints
2.25/1.24	c (0,0) translated 82 (60%) constraints
2.25/1.25	c (0,0) translated 96 (70%) constraints
2.25/1.26	c (0,0) translated 109 (80%) constraints
2.25/1.27	c (0,0) translated 123 (90%) constraints
2.25/1.27	c (0,0) translated 136 (100%) constraints
2.25/1.27	c (0,0) ===========================================
2.25/1.27	c (0,0) Order
2.25/1.27	c (0,0) ===========================================
2.25/1.28	c (0,0) translated 14 (10%) constraints
2.25/1.29	c (0,0) translated 28 (20%) constraints
2.25/1.29	c (0,0) translated 41 (30%) constraints
2.25/1.29	c (0,0) translated 55 (40%) constraints
2.25/1.30	c (0,0) translated 68 (50%) constraints
2.50/1.30	c (0,0) translated 82 (60%) constraints
2.50/1.30	c (0,0) translated 96 (70%) constraints
2.50/1.30	c (0,0) translated 109 (80%) constraints
2.50/1.31	c (0,0) translated 123 (90%) constraints
2.50/1.31	c (0,0) translated 136 (100%) constraints
2.50/1.31	c (0,0) CSP to CSPinCNF End
2.50/1.32	c (0,0) CSP: 34 int (0 aux), 0 bool (0 aux), 136 ctr, max domain size 42
2.50/1.32	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 23 MiB used (max 0 MiB)
2.50/1.32	c (0,0) CSPinCNF Propagation Begin
2.50/1.34	c (0,0) 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed
2.50/1.34	c (0,0) CSPinCNF Propagation End
2.50/1.34	c (0,0) CSP: 34 int (0 aux), 0 bool (0 aux), 136 ctr, max domain size 42
2.50/1.34	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 23 MiB used (max 0 MiB)
2.50/1.34	c (0,0) Simplify CSPinCNF Begin
2.77/1.41	c (0,0) Simplify CSPinCNF End
2.77/1.41	c (0,0) CSP: 34 int (0 aux), 544 bool (544 aux), 680 ctr, max domain size 42
2.77/1.41	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 23 MiB used (max 0 MiB)
2.77/1.41	c (0,0) Calculate Precise Domain Begin
2.77/1.42	c (0,0) 0 values are removed by re-calculation
2.77/1.42	c (0,0) Calculate Precise Domain End
2.77/1.42	c (0,0) CSP: 34 int (0 aux), 544 bool (544 aux), 680 ctr, max domain size 42
2.77/1.42	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 24 MiB used (max 0 MiB)
2.77/1.42	c (0,0) CSPinCNF to SatSolver Begin
3.31/1.60	c (1,1) 68 (10 %) CSP clauses are encoded (0 SAT variables, 2950 SAT clauses)
3.31/1.63	c (1,1) 136 (20 %) CSP clauses are encoded (0 SAT variables, 4755 SAT clauses)
3.31/1.66	c (1,1) 204 (30 %) CSP clauses are encoded (0 SAT variables, 6437 SAT clauses)
3.31/1.68	c (1,1) 272 (40 %) CSP clauses are encoded (0 SAT variables, 8031 SAT clauses)
3.71/1.70	c (1,1) 340 (50 %) CSP clauses are encoded (0 SAT variables, 9552 SAT clauses)
3.71/1.72	c (1,1) 408 (60 %) CSP clauses are encoded (0 SAT variables, 10943 SAT clauses)
3.71/1.74	c (1,1) 476 (70 %) CSP clauses are encoded (0 SAT variables, 12315 SAT clauses)
3.71/1.75	c (1,1) 544 (80 %) CSP clauses are encoded (0 SAT variables, 13483 SAT clauses)
3.71/1.76	c (1,1) 612 (90 %) CSP clauses are encoded (0 SAT variables, 14531 SAT clauses)
3.71/1.77	c (1,1) 680 (100 %) CSP clauses are encoded (0 SAT variables, 15357 SAT clauses)
3.71/1.77	c (1,1) CSPinCNF to SatSolver End
3.71/1.77	c (1,1) Heap : 337 MiB used (max 21589 MiB), NonHeap : 26 MiB used (max 0 MiB)
3.71/1.78	c (1,1) 1666 bool, 15368 clause
3.71/1.78	c (1,1) Export Begin
4.15/1.86	c (1,1) Export to HOME/scop-23180-serial-file.bin
4.15/1.86	c (1,1) Export End
4.15/1.86	c (1,1) Export File Size: 0.01 MB
4.15/1.86	c (1,1) 0,0,0,0,0,0,1,STOP-AFTER(DIMACS)
4.15/1.86	c END-Prog: Wed Sep 25 01:04:03 CEST 2019
4.15/1.88	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-23180-serial-file.bin
4.99/2.34	c (0,0) Read Serial File Begin
4.99/2.34	c (0,0) HOME/scop-23180-serial-file.bin
5.26/2.53	c (0,0) Read Serial File End
5.26/2.55	
5.26/2.55	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
5.26/2.55	(Solving Process)
5.26/2.55	
5.26/2.57	c BEGIN-Prog: Wed Sep 25 01:04:04 CEST 2019
5.26/2.57	c PID: 23203
5.26/2.57	c IP: 172.20.3.151
5.26/2.57	c HOST: node151.alineos.net
5.26/2.58	c (0,0) SatSolver.solve Begin
5.26/2.58	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4405124-1569366282.xml-scop-23183.cnf
5.43/2.60	c (0,0) c
5.43/2.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)
5.43/2.60	c (0,0) c
5.43/2.60	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
5.43/2.60	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
5.43/2.60	c (0,0) c ========================================[ Problem Statistics ]===========================================
5.43/2.60	c (0,0) c |                                                                                                       |
5.43/2.60	c (0,0) c |  Number of variables:          1666                                                                   |
5.43/2.60	c (0,0) c |  Number of clauses:           15368                                                                   |
5.43/2.60	c (0,0) c |  Parse time:                   0.01 s                                                                 |
5.43/2.60	c (0,0) c |                                                                                                       |
5.43/2.61	c (0,0) c |  Simplification time:          0.01 s                                                                 |
5.43/2.61	c (0,0) c |                                                                                                       |
5.43/2.61	c (0,0) c |  Generating clones                                                                                    |
5.43/2.62	c (0,0) c |  all clones generated. Memory =    32.49Mb.                                                           |
5.43/2.62	c (0,0) c ========================================================================================================|
5.43/2.62	c (0,0) c
5.43/2.62	c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
5.43/2.62	c (0,0) c
5.43/2.62	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
5.43/2.62	c (0,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
5.43/2.62	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
5.43/2.62	c (0,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
5.43/2.62	c (0,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
5.43/2.62	c (0,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
5.43/2.62	c (0,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
5.43/2.62	c (0,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
5.43/2.62	c (0,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
5.43/2.62	c (0,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
5.43/2.62	c (0,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
5.43/2.62	c (0,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
5.43/2.62	c (0,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
5.43/2.62	c (0,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
5.43/2.62	c (0,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
5.43/2.62	c (0,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
5.43/2.62	c (0,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
5.43/2.62	c (0,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
5.43/2.62	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
36.80/6.67	c (4,0) c
36.80/6.67	c (4,0) c real time : 4.0759 s
36.80/6.67	c (4,0) c cpu time  : 31.1768 s
36.80/6.67	c (4,0) c
36.80/6.67	c (4,0) c
36.80/6.67	c (4,0) c
36.80/6.67	c (4,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
36.80/6.67	c (4,0) c
36.80/6.67	c (4,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
36.80/6.67	c (4,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
36.80/6.67	c (4,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
36.80/6.67	c (4,0) c | Conflicts     |          397376 |      48571 |      48398 |      49469 |      50090 |      49051 |      50066 |      51729 |      50002 |
36.80/6.67	c (4,0) c | Decisions     |          697078 |      85887 |      83174 |      87633 |      88234 |      85798 |      87376 |      91527 |      87449 |
36.80/6.67	c (4,0) c | Propagations  |        40552057 |    4952629 |    5025872 |    5078572 |    5108850 |    4956763 |    5095229 |    5229573 |    5104569 |
36.80/6.67	c (4,0) c | ReduceDBs     |              41 |          5 |          5 |          5 |          5 |          5 |          5 |          6 |          5 |
36.80/6.67	c (4,0) c | SimpDBs       |              15 |          2 |          1 |          2 |          2 |          2 |          2 |          2 |          2 |
36.80/6.67	c (4,0) c | Restarts      |             960 |        116 |        104 |        141 |        125 |        126 |        117 |        138 |         93 |
36.80/6.67	c (4,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
36.80/6.67	c (4,0) c | PropBinClauses|        53755027 |    6573863 |    6714485 |    6728084 |    6766073 |    6561167 |    6739396 |    6917311 |    6754648 |
36.80/6.67	c (4,0) c | PropPreBlocker|       869667824 |  105601205 |  106116273 |  109583493 |  109036486 |  106110277 |  110520886 |  112398260 |  110300944 |
36.80/6.67	c (4,0) c | PropNotBlocker|       342104267 |   42670748 |   42254981 |   43346103 |   42320855 |   42064491 |   43490051 |   43207029 |   42750009 |
36.80/6.67	c (4,0) c | LitFullScans  |      2023702706 |  246030110 |  246028547 |  258036734 |  252031752 |  248197122 |  258034858 |  258024632 |  257318951 |
36.80/6.67	c (4,0) c | LitScanFracts |           77885 |       7880 |      11390 |       9148 |      11221 |      11718 |       9252 |       6973 |      10303 |
36.80/6.67	c (4,0) c | DecisionLevel0|             977 |        117 |        104 |        142 |        128 |        134 |        119 |        139 |         94 |
36.80/6.67	c (4,0) c | Periods       |             336 |         41 |         41 |         43 |         42 |         41 |         43 |         43 |         42 |
36.80/6.67	c (4,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
36.80/6.67	c (4,0) c | Avg_Trail     |                 |        693 |        705 |        702 |        705 |        699 |        701 |        707 |        706 |
36.80/6.67	c (4,0) c | Avg_DL        |                 |         16 |         16 |         17 |         17 |         16 |         16 |         16 |         17 |
36.80/6.67	c (4,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
36.80/6.67	c (4,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
36.80/6.67	c (4,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
36.80/6.67	c (4,0) c | Exported      |           81207 |       9130 |      10062 |      10253 |      10626 |       9938 |      10657 |       9798 |      10743 |
36.80/6.68	c (4,0) c | Imported      |          426234 |      51017 |      52565 |      53731 |      53623 |      53520 |      54383 |      53968 |      53427 |
36.80/6.68	c (4,0) c | Good          |              65 |          8 |          6 |          9 |          6 |          7 |         11 |          9 |          9 |
36.80/6.68	c (4,0) c | Purge         |          426169 |      51009 |      52559 |      53722 |      53617 |      53513 |      54372 |      53959 |      53418 |
36.80/6.68	c (4,0) c | Promoted      |           23819 |       2797 |       3087 |       3087 |       3118 |       2938 |       3283 |       2461 |       3048 |
36.80/6.68	c (4,0) c | Remove_Imp    |           30757 |          0 |          0 |          0 |          0 |          0 |          0 |      30757 |          0 |
36.80/6.68	c (4,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
36.80/6.68	c (4,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
36.80/6.68	c (4,0) c | Unaries       |                 |          1 |          0 |          1 |          3 |          8 |          2 |          1 |          1 |
36.80/6.68	c (4,0) c | Binaries      |                 |          9 |          5 |         15 |         20 |         32 |         21 |         16 |         10 |
36.80/6.68	c (4,0) c | Glues         |                 |        223 |        227 |        235 |        234 |        232 |        212 |        263 |        221 |
36.80/6.68	c (4,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
36.80/6.68	c (4,0) c | Orig_Seen     |            39 % |       5895 |       5800 |       5860 |       5983 |       6000 |       6751 |       6015 |       5903 |
36.80/6.68	c (4,0) c | Diff Orig seen|                 | -      105 | -      200 | -      140 | -       17 |      X     |        751 |         15 | -       97 |
36.80/6.68	c (4,0) c | Hamming       |            30 % |        581 |        446 |        499 |        509 |      X     |        470 |        541 |        459 |
36.80/6.68	c (4,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
36.80/6.68	c (4,0) c | RunningTime   |                 |    4.0 100%|    3.9 100%|    3.9 100%|    3.9 100%|    3.8 100%|    3.9 100%|    3.9  99%|    3.9 100%|
36.80/6.68	c (4,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%|
36.80/6.68	c (4,0) c | ExchangingTime|                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   1%|    0.0   0%|
36.80/6.68	c (4,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%|
36.80/6.68	c (4,0) c | SolvingTime   |                 |    4.0     |    3.9     |    3.9     |    3.9     |    3.9     |    3.9     |    3.9     |    3.9     |
36.80/6.68	c (4,0) c | PropagationTim|                 |    3.4  84%|    3.3  83%|    3.3  84%|    3.2  83%|    3.2  84%|    3.3  83%|    3.2  81%|    3.2  82%|
36.80/6.68	c (4,0) c | AnalysisTime  |                 |    0.5  12%|    0.5  13%|    0.5  12%|    0.5  13%|    0.5  12%|    0.5  13%|    0.6  14%|    0.5  14%|
36.80/6.68	c (4,0) c | ReductionTime |                 |    0.0   0%|    0.0   1%|    0.0   1%|    0.0   1%|    0.0   1%|    0.0   1%|    0.0   1%|    0.0   1%|
36.80/6.68	c (4,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%|
36.80/6.68	c (4,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%|
36.80/6.68	c (4,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%|
36.80/6.68	c (4,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
36.80/6.68	c (4,0) c
36.80/6.68	c (4,0) c
36.80/6.68	c (4,0) c Threads : 8
36.80/6.68	c (4,0) c Winner : 4
36.80/6.68	c (4,0) c Conflicts_0 : 48571
36.80/6.68	c (4,0) c Conflicts_1 : 48398
36.80/6.68	c (4,0) c Conflicts_2 : 49469
36.80/6.68	c (4,0) c Conflicts_3 : 50090
36.80/6.68	c (4,0) c Conflicts_4 : 49051
36.80/6.68	c (4,0) c Conflicts_5 : 50066
36.80/6.68	c (4,0) c Conflicts_6 : 51729
36.80/6.68	c (4,0) c Conflicts_7 : 50002
36.80/6.68	c (4,0) c Conflicts_total : 397376
36.80/6.68	c (4,0) c Conflicts_winner : 49051
36.80/6.68	c (4,0) c Decisions_0 : 85887
36.80/6.68	c (4,0) c Decisions_1 : 83174
36.80/6.68	c (4,0) c Decisions_2 : 87633
36.80/6.68	c (4,0) c Decisions_3 : 88234
36.80/6.68	c (4,0) c Decisions_4 : 85798
36.80/6.68	c (4,0) c Decisions_5 : 87376
36.80/6.68	c (4,0) c Decisions_6 : 91527
36.80/6.68	c (4,0) c Decisions_7 : 87449
36.80/6.68	c (4,0) c Decisions_total : 697078
36.80/6.68	c (4,0) c Decisions_winner : 85798
36.80/6.68	c (4,0) c Propagations_0 : 4952629
36.80/6.68	c (4,0) c Propagations_1 : 5025872
36.80/6.68	c (4,0) c Propagations_2 : 5078572
36.80/6.68	c (4,0) c Propagations_3 : 5108850
36.80/6.68	c (4,0) c Propagations_4 : 4956763
36.80/6.68	c (4,0) c Propagations_5 : 5095229
36.80/6.68	c (4,0) c Propagations_6 : 5229573
36.80/6.68	c (4,0) c Propagations_7 : 5104569
36.80/6.68	c (4,0) c Propagations_total : 40552057
36.80/6.68	c (4,0) c Propagations_winner : 4956763
36.80/6.68	c (4,0) c ReduceDBs_0 : 5
36.80/6.68	c (4,0) c ReduceDBs_1 : 5
36.80/6.68	c (4,0) c ReduceDBs_2 : 5
36.80/6.68	c (4,0) c ReduceDBs_3 : 5
36.80/6.68	c (4,0) c ReduceDBs_4 : 5
36.80/6.68	c (4,0) c ReduceDBs_5 : 5
36.80/6.68	c (4,0) c ReduceDBs_6 : 6
36.80/6.68	c (4,0) c ReduceDBs_7 : 5
36.80/6.68	c (4,0) c ReduceDBs_total : 41
36.80/6.68	c (4,0) c ReduceDBs_winner : 5
36.80/6.68	c (4,0) c SimpDBs_0 : 2
36.80/6.68	c (4,0) c SimpDBs_1 : 1
36.80/6.68	c (4,0) c SimpDBs_2 : 2
36.80/6.68	c (4,0) c SimpDBs_3 : 2
36.80/6.68	c (4,0) c SimpDBs_4 : 2
36.80/6.68	c (4,0) c SimpDBs_5 : 2
36.80/6.68	c (4,0) c SimpDBs_6 : 2
36.80/6.68	c (4,0) c SimpDBs_7 : 2
36.80/6.68	c (4,0) c SimpDBs_total : 15
36.80/6.68	c (4,0) c SimpDBs_winner : 2
36.80/6.68	c (4,0) c Restarts_0 : 116
36.80/6.68	c (4,0) c Restarts_1 : 104
36.80/6.68	c (4,0) c Restarts_2 : 141
36.80/6.68	c (4,0) c Restarts_3 : 125
36.80/6.68	c (4,0) c Restarts_4 : 126
36.80/6.68	c (4,0) c Restarts_5 : 117
36.80/6.68	c (4,0) c Restarts_6 : 138
36.80/6.68	c (4,0) c Restarts_7 : 93
36.80/6.68	c (4,0) c Restarts_total : 960
36.80/6.68	c (4,0) c Restarts_winner : 126
36.80/6.68	c (4,0) c ForcedImports_0 : 0
36.80/6.68	c (4,0) c ForcedImports_1 : 0
36.80/6.68	c (4,0) c ForcedImports_2 : 0
36.80/6.68	c (4,0) c ForcedImports_3 : 0
36.80/6.68	c (4,0) c ForcedImports_4 : 0
36.80/6.68	c (4,0) c ForcedImports_5 : 0
36.80/6.68	c (4,0) c ForcedImports_6 : 0
36.80/6.68	c (4,0) c ForcedImports_7 : 0
36.80/6.68	c (4,0) c ForcedImports_total : 0
36.80/6.68	c (4,0) c ForcedImports_winner : 0
36.80/6.68	c (4,0) c PropsBinClauses_0 : 6573863
36.80/6.68	c (4,0) c PropsBinClauses_1 : 6714485
36.80/6.68	c (4,0) c PropsBinClauses_2 : 6728084
36.80/6.68	c (4,0) c PropsBinClauses_3 : 6766073
36.80/6.68	c (4,0) c PropsBinClauses_4 : 6561167
36.80/6.68	c (4,0) c PropsBinClauses_5 : 6739396
36.80/6.68	c (4,0) c PropsBinClauses_6 : 6917311
36.80/6.68	c (4,0) c PropsBinClauses_7 : 6754648
36.80/6.68	c (4,0) c PropsBinClauses_total : 53755027
36.80/6.68	c (4,0) c PropsBinClauses_winner : 6561167
36.80/6.68	c (4,0) c PropsPreBlocker_0 : 105601205
36.80/6.68	c (4,0) c PropsPreBlocker_1 : 106116273
36.80/6.68	c (4,0) c PropsPreBlocker_2 : 109583493
36.80/6.68	c (4,0) c PropsPreBlocker_3 : 109036486
36.80/6.68	c (4,0) c PropsPreBlocker_4 : 106110277
36.80/6.68	c (4,0) c PropsPreBlocker_5 : 110520886
36.80/6.68	c (4,0) c PropsPreBlocker_6 : 112398260
36.80/6.68	c (4,0) c PropsPreBlocker_7 : 110300944
36.80/6.68	c (4,0) c PropsPreBlocker_total : 869667824
36.80/6.68	c (4,0) c PropsPreBlocker_winner : 106110277
36.80/6.68	c (4,0) c PropsNotBlocker_0 : 42670748
36.80/6.68	c (4,0) c PropsNotBlocker_1 : 42254981
36.80/6.68	c (4,0) c PropsNotBlocker_2 : 43346103
36.80/6.68	c (4,0) c PropsNotBlocker_3 : 42320855
36.80/6.68	c (4,0) c PropsNotBlocker_4 : 42064491
36.80/6.68	c (4,0) c PropsNotBlocker_5 : 43490051
36.80/6.68	c (4,0) c PropsNotBlocker_6 : 43207029
36.80/6.68	c (4,0) c PropsNotBlocker_7 : 42750009
36.80/6.68	c (4,0) c PropsNotBlocker_total : 342104267
36.80/6.68	c (4,0) c PropsNotBlocker_winner : 42064491
36.80/6.68	c (4,0) c PropsLitFullScans_0 : 246030110
36.80/6.68	c (4,0) c PropsLitFullScans_1 : 246028547
36.80/6.68	c (4,0) c PropsLitFullScans_2 : 258036734
36.80/6.68	c (4,0) c PropsLitFullScans_3 : 252031752
36.80/6.68	c (4,0) c PropsLitFullScans_4 : 248197122
36.80/6.68	c (4,0) c PropsLitFullScans_5 : 258034858
36.80/6.68	c (4,0) c PropsLitFullScans_6 : 258024632
36.80/6.68	c (4,0) c PropsLitFullScans_7 : 257318951
36.80/6.68	c (4,0) c PropsLitFullScans_total : 2023702706
36.80/6.68	c (4,0) c PropsLitFullScans_winner : 248197122
36.80/6.68	c (4,0) c LitScanFractions_0 : 7880
36.80/6.68	c (4,0) c LitScanFractions_1 : 11390
36.80/6.68	c (4,0) c LitScanFractions_2 : 9148
36.80/6.68	c (4,0) c LitScanFractions_3 : 11221
36.80/6.68	c (4,0) c LitScanFractions_4 : 11718
36.80/6.68	c (4,0) c LitScanFractions_5 : 9252
36.80/6.68	c (4,0) c LitScanFractions_6 : 6973
36.80/6.68	c (4,0) c LitScanFractions_7 : 10303
36.80/6.68	c (4,0) c LitScanFractions_total : 77885
36.80/6.68	c (4,0) c LitScanFractions_winner : 11718
36.80/6.68	c (4,0) c DecisionLevel0_0 : 117
36.80/6.68	c (4,0) c DecisionLevel0_1 : 104
36.80/6.68	c (4,0) c DecisionLevel0_2 : 142
36.80/6.68	c (4,0) c DecisionLevel0_3 : 128
36.80/6.68	c (4,0) c DecisionLevel0_4 : 134
36.80/6.68	c (4,0) c DecisionLevel0_5 : 119
36.80/6.68	c (4,0) c DecisionLevel0_6 : 139
36.80/6.68	c (4,0) c DecisionLevel0_7 : 94
36.80/6.68	c (4,0) c DecisionLevel0_total : 977
36.80/6.68	c (4,0) c DecisionLevel0_winner : 134
36.80/6.68	c (4,0) c Periods_0 : 41
36.80/6.68	c (4,0) c Periods_1 : 41
36.80/6.68	c (4,0) c Periods_2 : 43
36.80/6.68	c (4,0) c Periods_3 : 42
36.80/6.68	c (4,0) c Periods_4 : 41
36.80/6.68	c (4,0) c Periods_5 : 43
36.80/6.68	c (4,0) c Periods_6 : 43
36.80/6.68	c (4,0) c Periods_7 : 42
36.80/6.68	c (4,0) c Periods_total : 336
36.80/6.68	c (4,0) c Periods_winner : 41
36.80/6.68	c (4,0) c Margin_0 : 20
36.80/6.68	c (4,0) c Margin_1 : 20
36.80/6.68	c (4,0) c Margin_2 : 20
36.80/6.68	c (4,0) c Margin_3 : 20
36.80/6.68	c (4,0) c Margin_4 : 20
36.80/6.68	c (4,0) c Margin_5 : 20
36.80/6.68	c (4,0) c Margin_6 : 20
36.80/6.68	c (4,0) c Margin_7 : 20
36.80/6.68	c (4,0) c Margin_total : 160
36.80/6.68	c (4,0) c Margin_winner : 20
36.80/6.68	c (4,0) c Exported_0 : 9130
36.80/6.68	c (4,0) c Exported_1 : 10062
36.80/6.68	c (4,0) c Exported_2 : 10253
36.80/6.68	c (4,0) c Exported_3 : 10626
36.80/6.68	c (4,0) c Exported_4 : 9938
36.80/6.68	c (4,0) c Exported_5 : 10657
36.80/6.68	c (4,0) c Exported_6 : 9798
36.80/6.68	c (4,0) c Exported_7 : 10743
36.80/6.68	c (4,0) c Exported_total : 81207
36.80/6.68	c (4,0) c Exported_winner : 9938
36.80/6.68	c (4,0) c Imported_0 : 51017
36.80/6.68	c (4,0) c Imported_1 : 52565
36.80/6.68	c (4,0) c Imported_2 : 53731
36.80/6.68	c (4,0) c Imported_3 : 53623
36.80/6.68	c (4,0) c Imported_4 : 53520
36.80/6.68	c (4,0) c Imported_5 : 54383
36.80/6.68	c (4,0) c Imported_6 : 53968
36.80/6.68	c (4,0) c Imported_7 : 53427
36.80/6.68	c (4,0) c Imported_total : 426234
36.80/6.68	c (4,0) c Imported_winner : 53520
36.80/6.68	c (4,0) c Good_0 : 8
36.80/6.68	c (4,0) c Good_1 : 6
36.80/6.68	c (4,0) c Good_2 : 9
36.80/6.68	c (4,0) c Good_3 : 6
36.80/6.68	c (4,0) c Good_4 : 7
36.80/6.68	c (4,0) c Good_5 : 11
36.80/6.68	c (4,0) c Good_6 : 9
36.80/6.68	c (4,0) c Good_7 : 9
36.80/6.68	c (4,0) c Good_total : 65
36.80/6.68	c (4,0) c Good_winner : 7
36.80/6.68	c (4,0) c Purge_0 : 51009
36.80/6.68	c (4,0) c Purge_1 : 52559
36.80/6.68	c (4,0) c Purge_2 : 53722
36.80/6.68	c (4,0) c Purge_3 : 53617
36.80/6.68	c (4,0) c Purge_4 : 53513
36.80/6.68	c (4,0) c Purge_5 : 54372
36.80/6.68	c (4,0) c Purge_6 : 53959
36.80/6.68	c (4,0) c Purge_7 : 53418
36.80/6.68	c (4,0) c Purge_total : 426169
36.80/6.68	c (4,0) c Purge_winner : 53513
36.80/6.68	c (4,0) c Promoted_0 : 2797
36.80/6.68	c (4,0) c Promoted_1 : 3087
36.80/6.68	c (4,0) c Promoted_2 : 3087
36.80/6.68	c (4,0) c Promoted_3 : 3118
36.80/6.68	c (4,0) c Promoted_4 : 2938
36.80/6.68	c (4,0) c Promoted_5 : 3283
36.80/6.68	c (4,0) c Promoted_6 : 2461
36.80/6.68	c (4,0) c Promoted_7 : 3048
36.80/6.68	c (4,0) c Promoted_total : 23819
36.80/6.68	c (4,0) c Promoted_winner : 2938
36.80/6.68	c (4,0) c Remove_Imp_0 : 0
36.80/6.68	c (4,0) c Remove_Imp_1 : 0
36.80/6.68	c (4,0) c Remove_Imp_2 : 0
36.80/6.68	c (4,0) c Remove_Imp_3 : 0
36.80/6.68	c (4,0) c Remove_Imp_4 : 0
36.80/6.68	c (4,0) c Remove_Imp_5 : 0
36.80/6.68	c (4,0) c Remove_Imp_6 : 30757
36.80/6.68	c (4,0) c Remove_Imp_7 : 0
36.80/6.69	c (4,0) c Remove_Imp_total : 30757
36.80/6.69	c (4,0) c Remove_Imp_winner : 0
36.80/6.69	c (4,0) c Blocked_Reuse_0 : 0
36.80/6.69	c (4,0) c Blocked_Reuse_1 : 0
36.80/6.69	c (4,0) c Blocked_Reuse_2 : 0
36.80/6.69	c (4,0) c Blocked_Reuse_3 : 0
36.80/6.69	c (4,0) c Blocked_Reuse_4 : 0
36.80/6.69	c (4,0) c Blocked_Reuse_5 : 0
36.80/6.69	c (4,0) c Blocked_Reuse_6 : 0
36.80/6.69	c (4,0) c Blocked_Reuse_7 : 0
36.80/6.69	c (4,0) c Blocked_Reuse_total : 0
36.80/6.69	c (4,0) c Blocked_Reuse_winner : 0
36.80/6.69	c (4,0) c Unaries_0 : 1
36.80/6.69	c (4,0) c Unaries_1 : 0
36.80/6.69	c (4,0) c Unaries_2 : 1
36.80/6.69	c (4,0) c Unaries_3 : 3
36.80/6.69	c (4,0) c Unaries_4 : 8
36.80/6.69	c (4,0) c Unaries_5 : 2
36.80/6.69	c (4,0) c Unaries_6 : 1
36.80/6.69	c (4,0) c Unaries_7 : 1
36.80/6.69	c (4,0) c Unaries_total : 17
36.80/6.69	c (4,0) c Unaries_winner : 8
36.80/6.69	c (4,0) c Binaries_0 : 9
36.80/6.69	c (4,0) c Binaries_1 : 5
36.80/6.69	c (4,0) c Binaries_2 : 15
36.80/6.69	c (4,0) c Binaries_3 : 20
36.80/6.69	c (4,0) c Binaries_4 : 32
36.80/6.69	c (4,0) c Binaries_5 : 21
36.80/6.69	c (4,0) c Binaries_6 : 16
36.80/6.69	c (4,0) c Binaries_7 : 10
36.80/6.69	c (4,0) c Binaries_total : 128
36.80/6.69	c (4,0) c Binaries_winner : 32
36.80/6.69	c (4,0) c Glues_0 : 223
36.80/6.69	c (4,0) c Glues_1 : 227
36.80/6.69	c (4,0) c Glues_2 : 235
36.80/6.69	c (4,0) c Glues_3 : 234
36.80/6.69	c (4,0) c Glues_4 : 232
36.80/6.69	c (4,0) c Glues_5 : 212
36.80/6.69	c (4,0) c Glues_6 : 263
36.80/6.69	c (4,0) c Glues_7 : 221
36.80/6.69	c (4,0) c Glues_total : 1847
36.80/6.69	c (4,0) c Glues_winner : 232
36.80/6.69	c (4,0) c RunningTime_0 : 4.029178
36.80/6.69	c (4,0) c RunningTime_1 : 3.886779
36.80/6.69	c (4,0) c RunningTime_2 : 3.904016
36.80/6.69	c (4,0) c RunningTime_3 : 3.852886
36.80/6.69	c (4,0) c RunningTime_4 : 3.846111
36.80/6.69	c (4,0) c RunningTime_5 : 3.925296
36.80/6.69	c (4,0) c RunningTime_6 : 3.907657
36.80/6.69	c (4,0) c RunningTime_7 : 3.913005
36.80/6.69	c (4,0) c RunningTime_total : 31.264929
36.80/6.69	c (4,0) c RunningTime_winner : 3.846111
36.80/6.69	c (4,0) c WaitingTime_0 : 0.000026
36.80/6.69	c (4,0) c WaitingTime_1 : 0.000027
36.80/6.69	c (4,0) c WaitingTime_2 : 0.000034
36.80/6.69	c (4,0) c WaitingTime_3 : 0.000029
36.80/6.69	c (4,0) c WaitingTime_4 : 0.000023
36.80/6.69	c (4,0) c WaitingTime_5 : 0.000029
36.80/6.69	c (4,0) c WaitingTime_6 : 0.000029
36.80/6.69	c (4,0) c WaitingTime_7 : 0.000033
36.80/6.69	c (4,0) c WaitingTime_total : 0.000230
36.80/6.69	c (4,0) c WaitingTime_winner : 0.000023
36.80/6.69	c (4,0) c ExchangingTime_0 : 0.017975
36.80/6.69	c (4,0) c ExchangingTime_1 : 0.019191
36.80/6.69	c (4,0) c ExchangingTime_2 : 0.018579
36.80/6.69	c (4,0) c ExchangingTime_3 : 0.015862
36.80/6.69	c (4,0) c ExchangingTime_4 : 0.018242
36.80/6.69	c (4,0) c ExchangingTime_5 : 0.018234
36.80/6.69	c (4,0) c ExchangingTime_6 : 0.019972
36.80/6.69	c (4,0) c ExchangingTime_7 : 0.018169
36.80/6.69	c (4,0) c ExchangingTime_total : 0.146224
36.80/6.69	c (4,0) c ExchangingTime_winner : 0.018242
36.80/6.69	c (4,0) c PeriodProcTime_0 : 0.000292
36.80/6.69	c (4,0) c PeriodProcTime_1 : 0.000283
36.80/6.69	c (4,0) c PeriodProcTime_2 : 0.000300
36.80/6.69	c (4,0) c PeriodProcTime_3 : 0.000279
36.80/6.69	c (4,0) c PeriodProcTime_4 : 0.000260
36.80/6.69	c (4,0) c PeriodProcTime_5 : 0.000251
36.80/6.69	c (4,0) c PeriodProcTime_6 : 0.000272
36.80/6.69	c (4,0) c PeriodProcTime_7 : 0.000304
36.80/6.69	c (4,0) c PeriodProcTime_total : 0.002241
36.80/6.69	c (4,0) c PeriodProcTime_winner : 0.000260
36.80/6.69	c (4,0) c SolvingTime_0 : 4.047471
36.80/6.69	c (4,0) c SolvingTime_1 : 3.906280
36.80/6.69	c (4,0) c SolvingTime_2 : 3.922928
36.80/6.69	c (4,0) c SolvingTime_3 : 3.869057
36.80/6.69	c (4,0) c SolvingTime_4 : 3.864636
36.80/6.69	c (4,0) c SolvingTime_5 : 3.943811
36.80/6.69	c (4,0) c SolvingTime_6 : 3.927930
36.80/6.69	c (4,0) c SolvingTime_7 : 3.931511
36.80/6.69	c (4,0) c SolvingTime_total : 31.413624
36.80/6.69	c (4,0) c SolvingTime_winner : 3.864636
36.80/6.69	c (4,0) c PropagationTime_0 : 3.414388
36.80/6.69	c (4,0) c PropagationTime_1 : 3.250247
36.80/6.69	c (4,0) c PropagationTime_2 : 3.282287
36.80/6.69	c (4,0) c PropagationTime_3 : 3.216864
36.80/6.69	c (4,0) c PropagationTime_4 : 3.240237
36.80/6.69	c (4,0) c PropagationTime_5 : 3.291981
36.80/6.69	c (4,0) c PropagationTime_6 : 3.192550
36.80/6.69	c (4,0) c PropagationTime_7 : 3.243274
36.80/6.69	c (4,0) c PropagationTime_total : 26.131828
36.80/6.69	c (4,0) c PropagationTime_winner : 3.240237
36.80/6.69	c (4,0) c AnalysisTime_0 : 0.487764
36.80/6.69	c (4,0) c AnalysisTime_1 : 0.513435
36.80/6.69	c (4,0) c AnalysisTime_2 : 0.490349
36.80/6.69	c (4,0) c AnalysisTime_3 : 0.490793
36.80/6.69	c (4,0) c AnalysisTime_4 : 0.474549
36.80/6.69	c (4,0) c AnalysisTime_5 : 0.502352
36.80/6.69	c (4,0) c AnalysisTime_6 : 0.559912
36.80/6.69	c (4,0) c AnalysisTime_7 : 0.541620
36.80/6.69	c (4,0) c AnalysisTime_total : 4.060775
36.80/6.69	c (4,0) c AnalysisTime_winner : 0.474549
36.80/6.69	c (4,0) c ReductionTime_0 : 0.019680
36.80/6.69	c (4,0) c ReductionTime_1 : 0.021011
36.80/6.69	c (4,0) c ReductionTime_2 : 0.021008
36.80/6.69	c (4,0) c ReductionTime_3 : 0.019811
36.80/6.69	c (4,0) c ReductionTime_4 : 0.020954
36.80/6.69	c (4,0) c ReductionTime_5 : 0.020755
36.80/6.69	c (4,0) c ReductionTime_6 : 0.046978
36.80/6.69	c (4,0) c ReductionTime_7 : 0.021243
36.80/6.69	c (4,0) c ReductionTime_total : 0.191441
36.80/6.69	c (4,0) c ReductionTime_winner : 0.020954
36.80/6.69	c (4,0) c SimplifyTime_0 : 0.002742
36.80/6.69	c (4,0) c SimplifyTime_1 : 0.000006
36.80/6.69	c (4,0) c SimplifyTime_2 : 0.003851
36.80/6.69	c (4,0) c SimplifyTime_3 : 0.003109
36.80/6.69	c (4,0) c SimplifyTime_4 : 0.003331
36.80/6.69	c (4,0) c SimplifyTime_5 : 0.003504
36.80/6.69	c (4,0) c SimplifyTime_6 : 0.001358
36.80/6.69	c (4,0) c SimplifyTime_7 : 0.003474
36.80/6.69	c (4,0) c SimplifyTime_total : 0.021374
36.80/6.69	c (4,0) c SimplifyTime_winner : 0.003331
36.80/6.69	c (4,0) c UsedRateTime_0 : 0.000000
36.80/6.69	c (4,0) c UsedRateTime_1 : 0.000000
36.80/6.69	c (4,0) c UsedRateTime_2 : 0.000000
36.80/6.69	c (4,0) c UsedRateTime_3 : 0.000000
36.80/6.69	c (4,0) c UsedRateTime_4 : 0.000000
36.80/6.69	c (4,0) c UsedRateTime_5 : 0.000000
36.80/6.69	c (4,0) c UsedRateTime_6 : 0.000000
36.80/6.69	c (4,0) c UsedRateTime_7 : 0.000000
36.80/6.69	c (4,0) c UsedRateTime_total : 0.000000
36.80/6.69	c (4,0) c UsedRateTime_winner : 0.000000
36.80/6.69	c (4,0) c OverlapRateTime_0 : 0.000000
36.80/6.69	c (4,0) c OverlapRateTime_1 : 0.000000
36.80/6.69	c (4,0) c OverlapRateTime_2 : 0.000000
36.80/6.69	c (4,0) c OverlapRateTime_3 : 0.000000
36.80/6.69	c (4,0) c OverlapRateTime_4 : 0.000000
36.80/6.69	c (4,0) c OverlapRateTime_5 : 0.000000
36.80/6.69	c (4,0) c OverlapRateTime_6 : 0.000000
36.80/6.69	c (4,0) c OverlapRateTime_7 : 0.000000
36.80/6.69	c (4,0) c OverlapRateTime_total : 0.000000
36.80/6.69	c (4,0) c OverlapRateTime_winner : 0.000000
36.80/6.69	c (4,0) c
36.80/6.69	c (4,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
36.80/6.69	c (4,0) c
36.80/6.69	c (4,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
36.80/6.69	c (4,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
36.80/6.69	c (4,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
36.80/6.69	c (4,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
36.80/6.69	c (4,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
36.80/6.69	c (4,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
36.80/6.69	c (4,0) c | Initial random_seed   | 1648190617 |  929946632 | 1257686728 | 1205470537 |  769696780 |  196670406 |  480306329 |  713850175 |
36.80/6.69	c (4,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
36.80/6.69	c (4,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
36.80/6.69	c (4,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
36.80/6.69	c (4,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
36.80/6.69	c (4,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
36.80/6.69	c (4,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
36.80/6.69	c (4,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
36.80/6.69	c (4,0) c | var_decay             |     0.8900 |     0.8900 |     0.8900 |     0.9000 |     0.8900 |     0.9000 |     0.9000 |     0.9000 |
36.80/6.69	c (4,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
36.80/6.69	c (4,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
36.80/6.69	c (4,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
36.80/6.69	c (4,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
36.80/6.69	c (4,0) 
36.80/6.69	c (4,0) s UNSATISFIABLE
36.80/6.69	c (4,0) SatSolver.solve End
36.80/6.69	c (4,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 15 MiB used (max 0 MiB)
36.80/6.70	c (4,0) Show results Begin
36.80/6.70	s UNSATISFIABLE
36.80/6.70	c (4,0) Show results End
36.80/6.70	c (4,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 15 MiB used (max 0 MiB)
36.94/6.70	c (4,0) 4,4,STOP-AFTER(ALL)
36.94/6.70	c END-Prog: Wed Sep 25 01:04:08 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 (13822 MiB free)
  memory of node 1: 16384 MiB (11136 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4405124-1569366282/watcher-4405124-1569366282 -o /tmp/evaluation-result-4405124-1569366282/solver-4405124-1569366282 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node151-1569361187-21157 --watchdog 2580 HOME/scop.sh 22g HOME/scop.jar -order HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4405124-1569366282.xml 

running on 8 cores: 0,2,4,6,1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=23180, runsolver pid=23177
Current StackSize limit: 8192 KiB


[startup+0.1002 s]*
/proc/loadavg: 2.04 1.22 1.56 2/211 23202
/proc/meminfo: memFree=25465428/32770624 swapFree=66956532/67108860
[pid=23180] ppid=23177 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/23180/stat : 23180 (scop.sh) S 23177 23180 21130 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 512899480 115843072 349 33554432000 4194304 5098028 140729052660848 140729052658104 139765255778940 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 33918976 140729052664613 140729052664940 140729052664940 140729052667853 0
/proc/23180/statm: 28282 349 296 221 0 87 0
[pid=23183] ppid=23180 vsize=27314120 memory=106340 CPUtime=0.1 cores=0-7
/proc/23183/stat : 23183 (java) S 23180 23180 21130 0 -1 1077944320 6687 0 0 0 8 2 0 0 20 0 20 0 512899480 27969658880 26585 33554432000 4194304 4196468 140728862927024 140728862909568 139853749563127 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27729920 140728862933739 140728862934166 140728862934166 140728862937039 0
/proc/23183/statm: 6828530 26585 2794 1 0 6790935 0
[pid=23183/tid=23184] ppid=23180 vsize=27314120 memory=7752836191169191071 CPUtime=0.09 cores=0-7
/proc/23183/task/23184/stat : 23184 (java) R 23180 23180 21130 0 -1 4202560 4778 0 0 0 7 2 0 0 20 0 20 0 512899480 27969658880 26585 33554432000 4194304 4196468 140728862927024 139853721367328 139853733643614 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27729920 140728862933739 140728862934166 140728862934166 140728862937039 0
[pid=23183/tid=23185] ppid=23180 vsize=27314120 memory=732370723347295205 CPUtime=0 cores=0-7
/proc/23183/task/23185/stat : 23185 (java) S 23180 23180 21130 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512899483 27969658880 26585 33554432000 4194304 4196468 140728862927024 139853753805072 139853749573333 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27729920 140728862933739 140728862934166 140728862934166 140728862937039 0
[pid=23183/tid=23186] ppid=23180 vsize=27314120 memory=140585009841792 CPUtime=0 cores=0-7
/proc/23183/task/23186/stat : 23186 (java) S 23180 23180 21130 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512899483 27969658880 26585 33554432000 4194304 4196468 140728862927024 139853537200528 139853749573333 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27729920 140728862933739 140728862934166 140728862934166 140728862937039 0
[pid=23183/tid=23187] ppid=23180 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23183/task/23187/stat : 23187 (java) S 23180 23180 21130 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512899483 27969658880 26585 33554432000 4194304 4196468 140728862927024 139853536147984 139853749573333 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27729920 140728862933739 140728862934166 140728862934166 140728862937039 0
[pid=23183/tid=23188] ppid=23180 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23183/task/23188/stat : 23188 (java) S 23180 23180 21130 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512899483 27969658880 26585 33554432000 4194304 4196468 140728862927024 139853535095440 139853749573333 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27729920 140728862933739 140728862934166 140728862934166 140728862937039 0
[pid=23183/tid=23189] ppid=23180 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23183/task/23189/stat : 23189 (java) S 23180 23180 21130 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512899483 27969658880 26585 33554432000 4194304 4196468 140728862927024 139853534042896 139853749573333 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27729920 140728862933739 140728862934166 140728862934166 140728862937039 0
[pid=23183/tid=23190] ppid=23180 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/23183/task/23190/stat : 23190 (java) S 23180 23180 21130 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512899483 27969658880 26585 33554432000 4194304 4196468 140728862927024 139853532990352 139853749573333 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27729920 140728862933739 140728862934166 140728862934166 140728862937039 0
[pid=23183/tid=23191] ppid=23180 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23183/task/23191/stat : 23191 (java) S 23180 23180 21130 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512899483 27969658880 26585 33554432000 4194304 4196468 140728862927024 139853531937808 139853749573333 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27729920 140728862933739 140728862934166 140728862934166 140728862937039 0
[pid=23183/tid=23192] ppid=23180 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23183/task/23192/stat : 23192 (java) S 23180 23180 21130 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512899483 27969658880 26585 33554432000 4194304 4196468 140728862927024 139853165485200 139853749573333 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27729920 140728862933739 140728862934166 140728862934166 140728862937039 0
[pid=23183/tid=23193] ppid=23180 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23183/task/23193/stat : 23193 (java) S 23180 23180 21130 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512899484 27969658880 26585 33554432000 4194304 4196468 140728862927024 139851868379120 139853749574274 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27729920 140728862933739 140728862934166 140728862934166 140728862937039 0
[pid=23183/tid=23194] ppid=23180 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23183/task/23194/stat : 23194 (java) S 23180 23180 21130 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 512899485 27969658880 26585 33554432000 4194304 4196468 140728862927024 139851651343264 139853749573333 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27729920 140728862933739 140728862934166 140728862934166 140728862937039 0
[pid=23183/tid=23195] ppid=23180 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23183/task/23195/stat : 23195 (java) S 23180 23180 21130 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 512899485 27969658880 26585 33554432000 4194304 4196468 140728862927024 139851517121520 139853749573333 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27729920 140728862933739 140728862934166 140728862934166 140728862937039 0
[pid=23183/tid=23196] ppid=23180 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23183/task/23196/stat : 23196 (java) S 23180 23180 21130 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512899487 27969658880 26585 33554432000 4194304 4196468 140728862927024 139851142617296 139853749581723 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27729920 140728862933739 140728862934166 140728862934166 140728862937039 0
[pid=23183/tid=23197] ppid=23180 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23183/task/23197/stat : 23197 (java) S 23180 23180 21130 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 20 0 512899487 27969658880 26585 33554432000 4194304 4196468 140728862927024 139851867326960 139853749574274 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27729920 140728862933739 140728862934166 140728862934166 140728862937039 0
[pid=23183/tid=23198] ppid=23180 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23183/task/23198/stat : 23198 (java) S 23180 23180 21130 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512899487 27969658880 26585 33554432000 4194304 4196468 140728862927024 139851866274416 139853749574274 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27729920 140728862933739 140728862934166 140728862934166 140728862937039 0
[pid=23183/tid=23199] ppid=23180 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23183/task/23199/stat : 23199 (java) S 23180 23180 21130 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512899487 27969658880 26585 33554432000 4194304 4196468 140728862927024 139851865221872 139853749574274 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27729920 140728862933739 140728862934166 140728862934166 140728862937039 0
[pid=23183/tid=23200] ppid=23180 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23183/task/23200/stat : 23200 (java) S 23180 23180 21130 0 -1 1077944384 251 0 0 0 0 0 0 0 20 0 20 0 512899487 27969658880 26585 33554432000 4194304 4196468 140728862927024 139851864169328 139853749574274 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27729920 140728862933739 140728862934166 140728862934166 140728862937039 0
[pid=23183/tid=23201] ppid=23180 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23183/task/23201/stat : 23201 (java) S 23180 23180 21130 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512899488 27969658880 26585 33554432000 4194304 4196468 140728862927024 139850644711648 139853749573333 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27729920 140728862933739 140728862934166 140728862934166 140728862937039 0
[pid=23183/tid=23202] ppid=23180 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/23183/task/23202/stat : 23202 (java) S 23180 23180 21130 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512899488 27969658880 26585 33554432000 4194304 4196468 140728862927024 139851863116208 139853749574274 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27729920 140728862933739 140728862934166 140728862934166 140728862937039 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 107736 KiB

[startup+0.210239 s]*
/proc/loadavg: 2.04 1.22 1.56 3/211 23202
/proc/meminfo: memFree=25447112/32770624 swapFree=66956532/67108860
[pid=23180] ppid=23177 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/23180/stat : 23180 (scop.sh) S 23177 23180 21130 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 512899480 115843072 349 33554432000 4194304 5098028 140729052660848 140729052658104 139765255778940 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 33918976 140729052664613 140729052664940 140729052664940 140729052667853 0
/proc/23180/statm: 28282 349 296 221 0 87 0
[pid=23183] ppid=23180 vsize=27314120 memory=120904 CPUtime=0.24 cores=0-7
/proc/23183/stat : 23183 (java) S 23180 23180 21130 0 -1 1077944320 11680 0 0 0 20 4 0 0 20 0 20 0 512899480 27969658880 30226 33554432000 4194304 4196468 140728862927024 140728862909568 139853749563127 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27729920 140728862933739 140728862934166 140728862934166 140728862937039 0
/proc/23183/statm: 6828530 30226 2891 1 0 6790935 0
[pid=23183/tid=23184] ppid=23180 vsize=27314120 memory=0 CPUtime=0.19 cores=0-7
/proc/23183/task/23184/stat : 23184 (java) R 23180 23180 21130 0 -1 4202560 9378 0 0 0 16 3 0 0 20 0 20 0 512899480 27969658880 30226 33554432000 4194304 4196468 140728862927024 139853721362512 139853731126679 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27729920 140728862933739 140728862934166 140728862934166 140728862937039 0
[pid=23183/tid=23185] ppid=23180 vsize=27314120 memory=732370723347295205 CPUtime=0 cores=0-7
/proc/23183/task/23185/stat : 23185 (java) S 23180 23180 21130 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512899483 27969658880 30226 33554432000 4194304 4196468 140728862927024 139853753805072 139853749573333 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27729920 140728862933739 140728862934166 140728862934166 140728862937039 0
[pid=23183/tid=23186] ppid=23180 vsize=27314120 memory=140585009841792 CPUtime=0 cores=0-7
/proc/23183/task/23186/stat : 23186 (java) S 23180 23180 21130 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512899483 27969658880 30226 33554432000 4194304 4196468 140728862927024 139853537200528 139853749573333 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27729920 140728862933739 140728862934166 140728862934166 140728862937039 0
[pid=23183/tid=23187] ppid=23180 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23183/task/23187/stat : 23187 (java) S 23180 23180 21130 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512899483 27969658880 30226 33554432000 4194304 4196468 140728862927024 139853536147984 139853749573333 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27729920 140728862933739 140728862934166 140728862934166 140728862937039 0
[pid=23183/tid=23188] ppid=23180 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23183/task/23188/stat : 23188 (java) S 23180 23180 21130 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512899483 27969658880 30226 33554432000 4194304 4196468 140728862927024 139853535095440 139853749573333 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27729920 140728862933739 140728862934166 140728862934166 140728862937039 0
[pid=23183/tid=23189] ppid=23180 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23183/task/23189/stat : 23189 (java) S 23180 23180 21130 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512899483 27969658880 30226 33554432000 4194304 4196468 140728862927024 139853534042896 139853749573333 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27729920 140728862933739 140728862934166 140728862934166 140728862937039 0
[pid=23183/tid=23190] ppid=23180 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/23183/task/23190/stat : 23190 (java) S 23180 23180 21130 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512899483 27969658880 30226 33554432000 4194304 4196468 140728862927024 139853532990352 139853749573333 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27729920 140728862933739 140728862934166 140728862934166 140728862937039 0
[pid=23183/tid=23191] ppid=23180 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23183/task/23191/stat : 23191 (java) S 23180 23180 21130 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512899483 27969658880 30226 33554432000 4194304 4196468 140728862927024 139853531937808 139853749573333 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27729920 140728862933739 140728862934166 140728862934166 140728862937039 0
[pid=23183/tid=23192] ppid=23180 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23183/task/23192/stat : 23192 (java) S 23180 23180 21130 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512899483 27969658880 30226 33554432000 4194304 4196468 140728862927024 139853165485200 139853749573333 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27729920 140728862933739 140728862934166 140728862934166 140728862937039 0
[pid=23183/tid=23193] ppid=23180 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23183/task/23193/stat : 23193 (java) S 23180 23180 21130 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512899484 27969658880 30226 33554432000 4194304 4196468 140728862927024 139851868379120 139853749574274 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27729920 140728862933739 140728862934166 140728862934166 140728862937039 0
[pid=23183/tid=23194] ppid=23180 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23183/task/23194/stat : 23194 (java) S 23180 23180 21130 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 512899485 27969658880 30226 33554432000 4194304 4196468 140728862927024 139851651343264 139853749573333 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27729920 140728862933739 140728862934166 140728862934166 140728862937039 0
[pid=23183/tid=23195] ppid=23180 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23183/task/23195/stat : 23195 (java) S 23180 23180 21130 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 512899485 27969658880 30226 33554432000 4194304 4196468 140728862927024 139851517121520 139853749573333 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27729920 140728862933739 140728862934166 140728862934166 140728862937039 0
[pid=23183/tid=23196] ppid=23180 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23183/task/23196/stat : 23196 (java) S 23180 23180 21130 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512899487 27969658880 30226 33554432000 4194304 4196468 140728862927024 139851142617296 139853749581723 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27729920 140728862933739 140728862934166 140728862934166 140728862937039 0
[pid=23183/tid=23197] ppid=23180 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23183/task/23197/stat : 23197 (java) S 23180 23180 21130 0 -1 1077944384 313 0 0 0 0 0 0 0 20 0 20 0 512899487 27969658880 30226 33554432000 4194304 4196468 140728862927024 139851867326960 139853749574274 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27729920 140728862933739 140728862934166 140728862934166 140728862937039 0
[pid=23183/tid=23198] ppid=23180 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23183/task/23198/stat : 23198 (java) S 23180 23180 21130 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 20 0 512899487 27969658880 30226 33554432000 4194304 4196468 140728862927024 139851866274416 139853749574274 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27729920 140728862933739 140728862934166 140728862934166 140728862937039 0
[pid=23183/tid=23199] ppid=23180 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23183/task/23199/stat : 23199 (java) S 23180 23180 21130 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 20 0 512899487 27969658880 30226 33554432000 4194304 4196468 140728862927024 139851865221872 139853749574274 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27729920 140728862933739 140728862934166 140728862934166 140728862937039 0
[pid=23183/tid=23200] ppid=23180 vsize=27314120 memory=0 CPUtime=0.02 cores=0-7
/proc/23183/task/23200/stat : 23200 (java) S 23180 23180 21130 0 -1 1077944384 468 0 0 0 2 0 0 0 20 0 20 0 512899487 27969658880 30226 33554432000 4194304 4196468 140728862927024 139851864169328 139853749574274 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27729920 140728862933739 140728862934166 140728862934166 140728862937039 0
[pid=23183/tid=23201] ppid=23180 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23183/task/23201/stat : 23201 (java) S 23180 23180 21130 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512899488 27969658880 30226 33554432000 4194304 4196468 140728862927024 139850644711648 139853749573333 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27729920 140728862933739 140728862934166 140728862934166 140728862937039 0
[pid=23183/tid=23202] ppid=23180 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/23183/task/23202/stat : 23202 (java) S 23180 23180 21130 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512899488 27969658880 30226 33554432000 4194304 4196468 140728862927024 139851863116208 139853749574274 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27729920 140728862933739 140728862934166 140728862934166 140728862937039 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 122300 KiB

[startup+0.309529 s]*
/proc/loadavg: 2.04 1.22 1.56 2/211 23202
/proc/meminfo: memFree=25443576/32770624 swapFree=66956532/67108860
[pid=23180] ppid=23177 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/23180/stat : 23180 (scop.sh) S 23177 23180 21130 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 512899480 115843072 349 33554432000 4194304 5098028 140729052660848 140729052658104 139765255778940 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 33918976 140729052664613 140729052664940 140729052664940 140729052667853 0
/proc/23180/statm: 28282 349 296 221 0 87 0
[pid=23183] ppid=23180 vsize=27314120 memory=125404 CPUtime=0.42 cores=0-7
/proc/23183/stat : 23183 (java) S 23180 23180 21130 0 -1 1077944320 12776 0 0 0 37 5 0 0 20 0 20 0 512899480 27969658880 31351 33554432000 4194304 4196468 140728862927024 140728862909568 139853749563127 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27729920 140728862933739 140728862934166 140728862934166 140728862937039 0
/proc/23183/statm: 6828530 31351 3022 1 0 6790935 0
[pid=23183/tid=23184] ppid=23180 vsize=27314120 memory=6791534058613427641 CPUtime=0.3 cores=0-7
/proc/23183/task/23184/stat : 23184 (java) R 23180 23180 21130 0 -1 4202560 10285 0 0 0 26 4 0 0 20 0 20 0 512899480 27969658880 31351 33554432000 4194304 4196468 140728862927024 139853721346144 139853732749936 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27729920 140728862933739 140728862934166 140728862934166 140728862937039 0
[pid=23183/tid=23185] ppid=23180 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23183/task/23185/stat : 23185 (java) S 23180 23180 21130 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512899483 27969658880 31351 33554432000 4194304 4196468 140728862927024 139853753805072 139853749573333 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27729920 140728862933739 140728862934166 140728862934166 140728862937039 0
[pid=23183/tid=23186] ppid=23180 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23183/task/23186/stat : 23186 (java) S 23180 23180 21130 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512899483 27969658880 31351 33554432000 4194304 4196468 140728862927024 139853537200528 139853749573333 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27729920 140728862933739 140728862934166 140728862934166 140728862937039 0
[pid=23183/tid=23187] ppid=23180 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23183/task/23187/stat : 23187 (java) S 23180 23180 21130 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512899483 27969658880 31351 33554432000 4194304 4196468 140728862927024 139853536147984 139853749573333 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27729920 140728862933739 140728862934166 140728862934166 140728862937039 0
[pid=23183/tid=23188] ppid=23180 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23183/task/23188/stat : 23188 (java) S 23180 23180 21130 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512899483 27969658880 31351 33554432000 4194304 4196468 140728862927024 139853535095440 139853749573333 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27729920 140728862933739 140728862934166 140728862934166 140728862937039 0
[pid=23183/tid=23189] ppid=23180 vsize=27314120 memory=2244 CPUtime=0 cores=0-7
/proc/23183/task/23189/stat : 23189 (java) S 23180 23180 21130 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512899483 27969658880 31351 33554432000 4194304 4196468 140728862927024 139853534042896 139853749573333 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27729920 140728862933739 140728862934166 140728862934166 140728862937039 0
[pid=23183/tid=23190] ppid=23180 vsize=27314120 memory=140584882893743 CPUtime=0 cores=0-7
/proc/23183/task/23190/stat : 23190 (java) S 23180 23180 21130 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512899483 27969658880 31351 33554432000 4194304 4196468 140728862927024 139853532990352 139853749573333 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27729920 140728862933739 140728862934166 140728862934166 140728862937039 0
[pid=23183/tid=23191] ppid=23180 vsize=27314120 memory=140584882896048 CPUtime=0 cores=0-7
/proc/23183/task/23191/stat : 23191 (java) S 23180 23180 21130 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512899483 27969658880 31351 33554432000 4194304 4196468 140728862927024 139853531937808 139853749573333 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27729920 140728862933739 140728862934166 140728862934166 140728862937039 0
[pid=23183/tid=23192] ppid=23180 vsize=27314120 memory=140584882898352 CPUtime=0 cores=0-7
/proc/23183/task/23192/stat : 23192 (java) S 23180 23180 21130 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512899483 27969658880 31351 33554432000 4194304 4196468 140728862927024 139853165485200 139853749573333 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27729920 140728862933739 140728862934166 140728862934166 140728862937039 0
[pid=23183/tid=23193] ppid=23180 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23183/task/23193/stat : 23193 (java) S 23180 23180 21130 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512899484 27969658880 31351 33554432000 4194304 4196468 140728862927024 139851868379120 139853749574274 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27729920 140728862933739 140728862934166 140728862934166 140728862937039 0
[pid=23183/tid=23194] ppid=23180 vsize=27314120 memory=281169765803664 CPUtime=0 cores=0-7
/proc/23183/task/23194/stat : 23194 (java) S 23180 23180 21130 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 512899485 27969658880 31351 33554432000 4194304 4196468 140728862927024 139851651343264 139853749573333 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27729920 140728862933739 140728862934166 140728862934166 140728862937039 0
[pid=23183/tid=23195] ppid=23180 vsize=27314120 memory=281169765810576 CPUtime=0 cores=0-7
/proc/23183/task/23195/stat : 23195 (java) S 23180 23180 21130 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 512899485 27969658880 31351 33554432000 4194304 4196468 140728862927024 139851517121520 139853749573333 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27729920 140728862933739 140728862934166 140728862934166 140728862937039 0
[pid=23183/tid=23196] ppid=23180 vsize=27314120 memory=281169765751856 CPUtime=0 cores=0-7
/proc/23183/task/23196/stat : 23196 (java) S 23180 23180 21130 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512899487 27969658880 31351 33554432000 4194304 4196468 140728862927024 139851142617296 139853749581723 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27729920 140728862933739 140728862934166 140728862934166 140728862937039 0
[pid=23183/tid=23197] ppid=23180 vsize=27314120 memory=281169765824400 CPUtime=0.01 cores=0-7
/proc/23183/task/23197/stat : 23197 (java) S 23180 23180 21130 0 -1 1077944384 353 0 0 0 1 0 0 0 20 0 20 0 512899487 27969658880 31351 33554432000 4194304 4196468 140728862927024 139851867326960 139853749574274 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27729920 140728862933739 140728862934166 140728862934166 140728862937039 0
[pid=23183/tid=23198] ppid=23180 vsize=27314120 memory=281169765831312 CPUtime=0.01 cores=0-7
/proc/23183/task/23198/stat : 23198 (java) R 23180 23180 21130 0 -1 4202560 215 0 0 0 1 0 0 0 20 0 20 0 512899487 27969658880 31351 33554432000 4194304 4196468 140728862927024 139851866274416 139853727197776 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27729920 140728862933739 140728862934166 140728862934166 140728862937039 0
[pid=23183/tid=23199] ppid=23180 vsize=27314120 memory=281169765829008 CPUtime=0.01 cores=0-7
/proc/23183/task/23199/stat : 23199 (java) S 23180 23180 21130 0 -1 1077944384 54 0 0 0 1 0 0 0 20 0 20 0 512899487 27969658880 31351 33554432000 4194304 4196468 140728862927024 139851865221872 139853749574274 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27729920 140728862933739 140728862934166 140728862934166 140728862937039 0
[pid=23183/tid=23200] ppid=23180 vsize=27314120 memory=281169765845168 CPUtime=0.07 cores=0-7
/proc/23183/task/23200/stat : 23200 (java) S 23180 23180 21130 0 -1 1077944384 513 0 0 0 7 0 0 0 20 0 20 0 512899487 27969658880 31351 33554432000 4194304 4196468 140728862927024 139851864169328 139853749574274 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27729920 140728862933739 140728862934166 140728862934166 140728862937039 0
[pid=23183/tid=23201] ppid=23180 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23183/task/23201/stat : 23201 (java) S 23180 23180 21130 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512899488 27969658880 31351 33554432000 4194304 4196468 140728862927024 139850644711648 139853749573333 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27729920 140728862933739 140728862934166 140728862934166 140728862937039 0
[pid=23183/tid=23202] ppid=23180 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/23183/task/23202/stat : 23202 (java) S 23180 23180 21130 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512899488 27969658880 31351 33554432000 4194304 4196468 140728862927024 139851863116208 139853749574274 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27729920 140728862933739 140728862934166 140728862934166 140728862937039 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 126800 KiB

[startup+0.700922 s]
/proc/loadavg: 2.04 1.22 1.56 2/211 23202
/proc/meminfo: memFree=25421388/32770624 swapFree=66956532/67108860
[pid=23180] ppid=23177 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/23180/stat : 23180 (scop.sh) S 23177 23180 21130 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 512899480 115843072 349 33554432000 4194304 5098028 140729052660848 140729052658104 139765255778940 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 33918976 140729052664613 140729052664940 140729052664940 140729052667853 0
/proc/23180/statm: 28282 349 296 221 0 87 0
[pid=23183] ppid=23180 vsize=27322440 memory=163884 CPUtime=1.01 cores=0-7
/proc/23183/stat : 23183 (java) S 23180 23180 21130 0 -1 1077944320 20623 0 0 0 94 7 0 0 20 0 20 0 512899480 27978178560 40971 33554432000 4194304 4196468 140728862927024 140728862909568 139853749563127 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27729920 140728862933739 140728862934166 140728862934166 140728862937039 0
/proc/23183/statm: 6830610 40971 3182 1 0 6791959 0
[pid=23183/tid=23184] ppid=23180 vsize=27322440 memory=281169766140096 CPUtime=0.68 cores=0-7
/proc/23183/task/23184/stat : 23184 (java) R 23180 23180 21130 0 -1 4202560 17476 0 0 0 62 6 0 0 20 0 20 0 512899480 27978178560 40971 33554432000 4194304 4196468 140728862927024 139853721398416 139853733606757 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27729920 140728862933739 140728862934166 140728862934166 140728862937039 0
[pid=23183/tid=23185] ppid=23180 vsize=27322440 memory=1560 CPUtime=0 cores=0-7
/proc/23183/task/23185/stat : 23185 (java) S 23180 23180 21130 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512899483 27978178560 40971 33554432000 4194304 4196468 140728862927024 139853753805072 139853749573333 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27729920 140728862933739 140728862934166 140728862934166 140728862937039 0
[pid=23183/tid=23186] ppid=23180 vsize=27322440 memory=976 CPUtime=0 cores=0-7
/proc/23183/task/23186/stat : 23186 (java) S 23180 23180 21130 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512899483 27978178560 40971 33554432000 4194304 4196468 140728862927024 139853537200528 139853749573333 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27729920 140728862933739 140728862934166 140728862934166 140728862937039 0
[pid=23183/tid=23187] ppid=23180 vsize=27322440 memory=772 CPUtime=0 cores=0-7
/proc/23183/task/23187/stat : 23187 (java) S 23180 23180 21130 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512899483 27978178560 40971 33554432000 4194304 4196468 140728862927024 139853536147984 139853749573333 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27729920 140728862933739 140728862934166 140728862934166 140728862937039 0

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

/proc/23203/task/23208/stat : 23208 (java) S 23180 23180 21130 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 512899670 8616062976 29856 33554432000 4194304 4196468 140726180455648 139836677319824 139837194208981 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12804096 140726180463607 140726180463766 140726180463766 140726180466639 0
[pid=23203/tid=23209] ppid=23180 vsize=8414124 memory=4639645934784238160 CPUtime=0 cores=0-7
/proc/23203/task/23209/stat : 23209 (java) S 23180 23180 21130 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 512899670 8616062976 29856 33554432000 4194304 4196468 140726180455648 139836676266256 139837194208981 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12804096 140726180463607 140726180463766 140726180463766 140726180466639 0
[pid=23203/tid=23210] ppid=23180 vsize=8414124 memory=7865572140592018226 CPUtime=0 cores=0-7
/proc/23203/task/23210/stat : 23210 (java) S 23180 23180 21130 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 512899670 8616062976 29856 33554432000 4194304 4196468 140726180455648 139836675213712 139837194208981 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12804096 140726180463607 140726180463766 140726180463766 140726180466639 0
[pid=23203/tid=23211] ppid=23180 vsize=8414124 memory=1420 CPUtime=0 cores=0-7
/proc/23203/task/23211/stat : 23211 (java) S 23180 23180 21130 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 512899670 8616062976 29856 33554432000 4194304 4196468 140726180455648 139836674161168 139837194208981 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12804096 140726180463607 140726180463766 140726180463766 140726180466639 0
[pid=23203/tid=23212] ppid=23180 vsize=8414124 memory=1984 CPUtime=0 cores=0-7
/proc/23203/task/23212/stat : 23212 (java) S 23180 23180 21130 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 512899670 8616062976 29856 33554432000 4194304 4196468 140726180455648 139836673108624 139837194208981 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12804096 140726180463607 140726180463766 140726180463766 140726180466639 0
[pid=23203/tid=23213] ppid=23180 vsize=8414124 memory=2532 CPUtime=0 cores=0-7
/proc/23203/task/23213/stat : 23213 (java) S 23180 23180 21130 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 512899671 8616062976 29856 33554432000 4194304 4196468 140726180455648 139836489001456 139837194209922 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12804096 140726180463607 140726180463766 140726180463766 140726180466639 0
[pid=23203/tid=23214] ppid=23180 vsize=8414124 memory=1440 CPUtime=0 cores=0-7
/proc/23203/task/23214/stat : 23214 (java) S 23180 23180 21130 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 512899672 8616062976 29856 33554432000 4194304 4196468 140726180455648 139835679434144 139837194208981 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12804096 140726180463607 140726180463766 140726180463766 140726180466639 0
[pid=23203/tid=23215] ppid=23180 vsize=8414124 memory=804 CPUtime=0 cores=0-7
/proc/23203/task/23215/stat : 23215 (java) S 23180 23180 21130 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512899672 8616062976 29856 33554432000 4194304 4196468 140726180455648 139835410998768 139837194208981 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12804096 140726180463607 140726180463766 140726180463766 140726180466639 0
[pid=23203/tid=23216] ppid=23180 vsize=8414124 memory=1772 CPUtime=0 cores=0-7
/proc/23203/task/23216/stat : 23216 (java) S 23180 23180 21130 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512899675 8616062976 29856 33554432000 4194304 4196468 140726180455648 139835036490448 139837194217371 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12804096 140726180463607 140726180463766 140726180463766 140726180466639 0
[pid=23203/tid=23217] ppid=23180 vsize=8414124 memory=111632 CPUtime=0.05 cores=0-7
/proc/23203/task/23217/stat : 23217 (java) S 23180 23180 21130 0 -1 1077944384 618 0 0 0 5 0 0 0 20 0 24 0 512899675 8616062976 29856 33554432000 4194304 4196468 140726180455648 139836487948272 139837194209922 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12804096 140726180463607 140726180463766 140726180463766 140726180466639 0
[pid=23203/tid=23218] ppid=23180 vsize=8414124 memory=804 CPUtime=0.08 cores=0-7
/proc/23203/task/23218/stat : 23218 (java) S 23180 23180 21130 0 -1 1077944384 236 0 0 0 8 0 0 0 20 0 24 0 512899675 8616062976 29856 33554432000 4194304 4196468 140726180455648 139836486895728 139837194209922 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12804096 140726180463607 140726180463766 140726180463766 140726180466639 0
[pid=23203/tid=23219] ppid=23180 vsize=8414124 memory=1724 CPUtime=0.03 cores=0-7
/proc/23203/task/23219/stat : 23219 (java) S 23180 23180 21130 0 -1 1077944384 225 0 0 0 3 0 0 0 20 0 24 0 512899675 8616062976 29856 33554432000 4194304 4196468 140726180455648 139836485843184 139837194209922 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12804096 140726180463607 140726180463766 140726180463766 140726180466639 0
[pid=23203/tid=23220] ppid=23180 vsize=8414124 memory=1804 CPUtime=0.18 cores=0-7
/proc/23203/task/23220/stat : 23220 (java) S 23180 23180 21130 0 -1 1077944384 450 0 0 0 18 0 0 0 20 0 24 0 512899675 8616062976 29856 33554432000 4194304 4196468 140726180455648 139836216306032 139837194209922 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12804096 140726180463607 140726180463766 140726180463766 140726180466639 0
[pid=23203/tid=23221] ppid=23180 vsize=8414124 memory=916 CPUtime=0 cores=0-7
/proc/23203/task/23221/stat : 23221 (java) S 23180 23180 21130 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 512899675 8616062976 29856 33554432000 4194304 4196468 140726180455648 139834538584800 139837194208981 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12804096 140726180463607 140726180463766 140726180463766 140726180466639 0
[pid=23203/tid=23222] ppid=23180 vsize=8414124 memory=4324 CPUtime=0 cores=0-7
/proc/23203/task/23222/stat : 23222 (java) S 23180 23180 21130 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 512899675 8616062976 29856 33554432000 4194304 4196468 140726180455648 139836215253936 139837194209922 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12804096 140726180463607 140726180463766 140726180463766 140726180466639 0
[pid=23203/tid=23224] ppid=23180 vsize=8414124 memory=4108 CPUtime=0 cores=0-7
/proc/23203/task/23224/stat : 23224 (java) S 23180 23180 21130 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 512899740 8616062976 29856 33554432000 4194304 4196468 140726180455648 139836207220416 139837194223385 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 12804096 140726180463607 140726180463766 140726180463766 140726180466639 0
[pid=23203/tid=23226] ppid=23180 vsize=8414124 memory=1412 CPUtime=0 cores=0-7
/proc/23203/task/23226/stat : 23226 (java) S 23180 23180 21130 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 512899740 8616062976 29856 33554432000 4194304 4196468 140726180455648 139833867484432 139837194220701 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 12804096 140726180463607 140726180463766 140726180463766 140726180466639 0
[pid=23203/tid=23227] ppid=23180 vsize=8414124 memory=2592 CPUtime=0 cores=0-7
/proc/23203/task/23227/stat : 23227 (java) S 23180 23180 21130 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 512899740 8616062976 29856 33554432000 4194304 4196468 140726180455648 139834135920016 139837194220701 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 12804096 140726180463607 140726180463766 140726180463766 140726180466639 0
[pid=23203/tid=23234] ppid=23180 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/23203/task/23234/stat : 23234 (java) S 23180 23180 21130 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 512899742 8616062976 29856 33554432000 4194304 4196468 140726180455648 139833599057072 139837194208981 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12804096 140726180463607 140726180463766 140726180463766 140726180466639 0
Current children cumulated CPU time: 35.63 s
Current children cumulated vsize: 9209268 KiB
Current children cumulated memory: 256496 KiB

[startup+6.60135 s]
/proc/loadavg: 2.35 1.31 1.58 9/224 23236
/proc/meminfo: memFree=25317616/32770624 swapFree=66956532/67108860
[pid=23180] ppid=23177 vsize=113128 memory=1476 CPUtime=4.45 cores=0-7
/proc/23180/stat : 23180 (scop.sh) S 23177 23180 21130 0 -1 4202496 582 27086 0 0 0 0 431 14 20 0 1 0 512899480 115843072 369 33554432000 4194304 5098028 140729052660848 140729052657592 139765255778940 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 33918976 140729052664613 140729052664940 140729052664940 140729052667853 0
/proc/23180/statm: 28282 369 311 221 0 87 0
[pid=23203] ppid=23180 vsize=8414124 memory=119424 CPUtime=1.12 cores=0-7
/proc/23203/stat : 23203 (java) S 23180 23180 21130 0 -1 1077944320 20353 0 0 0 105 7 0 0 20 0 24 0 512899668 8616062976 29856 33554432000 4194304 4196468 140726180455648 140726180438192 139837194198775 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 12804096 140726180463607 140726180463766 140726180463766 140726180466639 0
/proc/23203/statm: 2103531 29856 3210 1 0 2064875 0
[pid=23223] ppid=23203 vsize=674940 memory=130060 CPUtime=31.23 cores=0-7
/proc/23223/stat : 23223 (manyglucose-4.1) S 23203 23180 21130 0 -1 1077944320 48319 0 0 0 3110 13 0 0 20 0 2 0 512899740 691138560 32515 33554432000 4194304 4454172 140735755460224 140735755458608 140164440432375 0 4 0 8388610 18446744073709551615 0 0 17 6 0 0 0 0 0 6552832 6554400 27189248 140735755461481 140735755461680 140735755461680 140735755464634 0
/proc/23223/statm: 168735 32515 416 64 0 164403 0
[pid=23223/tid=23228] ppid=23203 vsize=674940 memory=101745493543658 CPUtime=3.94 cores=0-7
/proc/23223/task/23228/stat : 23228 (manyglucose-4.1) R 23203 23180 21130 0 -1 4202560 6155 0 0 0 393 1 0 0 20 0 2 0 512899742 691138560 32515 33554432000 4194304 4454172 140735755460224 140164425214776 4351209 0 4 0 8388610 0 0 0 -1 4 0 0 0 0 0 6552832 6554400 27189248 140735755461481 140735755461680 140735755461680 140735755464634 0
[pid=23203/tid=23204] ppid=23180 vsize=8414124 memory=101745493543146 CPUtime=0.74 cores=0-7
/proc/23203/task/23204/stat : 23204 (java) S 23180 23180 21130 0 -1 1077944384 17424 0 0 0 69 5 0 0 20 0 24 0 512899669 8616062976 29856 33554432000 4194304 4196468 140726180455648 139837166038944 139837194208981 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12804096 140726180463607 140726180463766 140726180463766 140726180466639 0
[pid=23203/tid=23205] ppid=23180 vsize=8414124 memory=281169766277392 CPUtime=0 cores=0-7
/proc/23203/task/23205/stat : 23205 (java) S 23180 23180 21130 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 512899670 8616062976 29856 33554432000 4194304 4196468 140726180455648 139837198441232 139837194208981 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12804096 140726180463607 140726180463766 140726180463766 140726180466639 0
[pid=23203/tid=23206] ppid=23180 vsize=8414124 memory=101831392889578 CPUtime=0 cores=0-7
/proc/23203/task/23206/stat : 23206 (java) S 23180 23180 21130 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 512899670 8616062976 29856 33554432000 4194304 4196468 140726180455648 139837023083408 139837194208981 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12804096 140726180463607 140726180463766 140726180463766 140726180466639 0
[pid=23203/tid=23207] ppid=23180 vsize=8414124 memory=101831392889322 CPUtime=0 cores=0-7
/proc/23203/task/23207/stat : 23207 (java) S 23180 23180 21130 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 512899670 8616062976 29856 33554432000 4194304 4196468 140726180455648 139836678372368 139837194208981 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12804096 140726180463607 140726180463766 140726180463766 140726180466639 0
[pid=23203/tid=23208] ppid=23180 vsize=8414124 memory=101831392889322 CPUtime=0 cores=0-7
/proc/23203/task/23208/stat : 23208 (java) S 23180 23180 21130 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 512899670 8616062976 29856 33554432000 4194304 4196468 140726180455648 139836677319824 139837194208981 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12804096 140726180463607 140726180463766 140726180463766 140726180466639 0
[pid=23203/tid=23209] ppid=23180 vsize=8414124 memory=101831392889066 CPUtime=0 cores=0-7
/proc/23203/task/23209/stat : 23209 (java) S 23180 23180 21130 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 512899670 8616062976 29856 33554432000 4194304 4196468 140726180455648 139836676266256 139837194208981 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12804096 140726180463607 140726180463766 140726180463766 140726180466639 0
[pid=23203/tid=23210] ppid=23180 vsize=8414124 memory=6308235009 CPUtime=0 cores=0-7
/proc/23203/task/23210/stat : 23210 (java) S 23180 23180 21130 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 512899670 8616062976 29856 33554432000 4194304 4196468 140726180455648 139836675213712 139837194208981 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12804096 140726180463607 140726180463766 140726180463766 140726180466639 0
[pid=23203/tid=23211] ppid=23180 vsize=8414124 memory=1762949858817 CPUtime=0 cores=0-7
/proc/23203/task/23211/stat : 23211 (java) S 23180 23180 21130 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 512899670 8616062976 29856 33554432000 4194304 4196468 140726180455648 139836674161168 139837194208981 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12804096 140726180463607 140726180463766 140726180463766 140726180466639 0
[pid=23203/tid=23212] ppid=23180 vsize=8414124 memory=1840259270145 CPUtime=0 cores=0-7
/proc/23203/task/23212/stat : 23212 (java) S 23180 23180 21130 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 512899670 8616062976 29856 33554432000 4194304 4196468 140726180455648 139836673108624 139837194208981 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12804096 140726180463607 140726180463766 140726180463766 140726180466639 0
[pid=23203/tid=23213] ppid=23180 vsize=8414124 memory=1887503908865 CPUtime=0 cores=0-7
/proc/23203/task/23213/stat : 23213 (java) S 23180 23180 21130 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 512899671 8616062976 29856 33554432000 4194304 4196468 140726180455648 139836489001456 139837194209922 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12804096 140726180463607 140726180463766 140726180463766 140726180466639 0
[pid=23203/tid=23214] ppid=23180 vsize=8414124 memory=2414 CPUtime=0 cores=0-7
/proc/23203/task/23214/stat : 23214 (java) S 23180 23180 21130 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 512899672 8616062976 29856 33554432000 4194304 4196468 140726180455648 139835679434144 139837194208981 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12804096 140726180463607 140726180463766 140726180463766 140726180466639 0
[pid=23203/tid=23215] ppid=23180 vsize=8414124 memory=18504 CPUtime=0 cores=0-7
/proc/23203/task/23215/stat : 23215 (java) S 23180 23180 21130 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512899672 8616062976 29856 33554432000 4194304 4196468 140726180455648 139835410998768 139837194208981 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12804096 140726180463607 140726180463766 140726180463766 140726180466639 0
[pid=23203/tid=23216] ppid=23180 vsize=8414124 memory=676 CPUtime=0 cores=0-7
/proc/23203/task/23216/stat : 23216 (java) S 23180 23180 21130 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512899675 8616062976 29856 33554432000 4194304 4196468 140726180455648 139835036490448 139837194217371 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12804096 140726180463607 140726180463766 140726180463766 140726180466639 0
[pid=23203/tid=23217] ppid=23180 vsize=8414124 memory=1573 CPUtime=0.05 cores=0-7
/proc/23203/task/23217/stat : 23217 (java) S 23180 23180 21130 0 -1 1077944384 618 0 0 0 5 0 0 0 20 0 24 0 512899675 8616062976 29856 33554432000 4194304 4196468 140726180455648 139836487948272 139837194209922 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12804096 140726180463607 140726180463766 140726180463766 140726180466639 0
[pid=23203/tid=23218] ppid=23180 vsize=8414124 memory=1190 CPUtime=0.08 cores=0-7
/proc/23203/task/23218/stat : 23218 (java) S 23180 23180 21130 0 -1 1077944384 236 0 0 0 8 0 0 0 20 0 24 0 512899675 8616062976 29856 33554432000 4194304 4196468 140726180455648 139836486895728 139837194209922 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12804096 140726180463607 140726180463766 140726180463766 140726180466639 0
[pid=23203/tid=23219] ppid=23180 vsize=8414124 memory=418 CPUtime=0.03 cores=0-7
/proc/23203/task/23219/stat : 23219 (java) S 23180 23180 21130 0 -1 1077944384 225 0 0 0 3 0 0 0 20 0 24 0 512899675 8616062976 29856 33554432000 4194304 4196468 140726180455648 139836485843184 139837194209922 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12804096 140726180463607 140726180463766 140726180463766 140726180466639 0
[pid=23203/tid=23220] ppid=23180 vsize=8414124 memory=13 CPUtime=0.18 cores=0-7
/proc/23203/task/23220/stat : 23220 (java) S 23180 23180 21130 0 -1 1077944384 450 0 0 0 18 0 0 0 20 0 24 0 512899675 8616062976 29856 33554432000 4194304 4196468 140726180455648 139836216306032 139837194209922 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12804096 140726180463607 140726180463766 140726180463766 140726180466639 0
[pid=23203/tid=23221] ppid=23180 vsize=8414124 memory=32414 CPUtime=0 cores=0-7
/proc/23203/task/23221/stat : 23221 (java) S 23180 23180 21130 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 512899675 8616062976 29856 33554432000 4194304 4196468 140726180455648 139834538584800 139837194208981 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12804096 140726180463607 140726180463766 140726180463766 140726180466639 0
[pid=23203/tid=23222] ppid=23180 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/23203/task/23222/stat : 23222 (java) S 23180 23180 21130 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 512899675 8616062976 29856 33554432000 4194304 4196468 140726180455648 139836215253936 139837194209922 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12804096 140726180463607 140726180463766 140726180463766 140726180466639 0
[pid=23203/tid=23224] ppid=23180 vsize=8414124 memory=1581 CPUtime=0 cores=0-7
/proc/23203/task/23224/stat : 23224 (java) S 23180 23180 21130 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 512899740 8616062976 29856 33554432000 4194304 4196468 140726180455648 139836207220416 139837194223385 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 12804096 140726180463607 140726180463766 140726180463766 140726180466639 0
[pid=23203/tid=23226] ppid=23180 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/23203/task/23226/stat : 23226 (java) S 23180 23180 21130 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 512899740 8616062976 29856 33554432000 4194304 4196468 140726180455648 139833867484432 139837194220701 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 12804096 140726180463607 140726180463766 140726180463766 140726180466639 0
[pid=23203/tid=23227] ppid=23180 vsize=8414124 memory=1 CPUtime=0 cores=0-7
/proc/23203/task/23227/stat : 23227 (java) S 23180 23180 21130 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 512899740 8616062976 29856 33554432000 4194304 4196468 140726180455648 139834135920016 139837194220701 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 12804096 140726180463607 140726180463766 140726180463766 140726180466639 0
[pid=23203/tid=23234] ppid=23180 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/23203/task/23234/stat : 23234 (java) S 23180 23180 21130 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 512899742 8616062976 29856 33554432000 4194304 4196468 140726180455648 139833599057072 139837194208981 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12804096 140726180463607 140726180463766 140726180463766 140726180466639 0
Current children cumulated CPU time: 36.8 s
Current children cumulated vsize: 9202192 KiB
Current children cumulated memory: 250960 KiB

[startup+6.7012 s]
/proc/loadavg: 2.35 1.31 1.58 9/224 23236
/proc/meminfo: memFree=25317616/32770624 swapFree=66956532/67108860
[pid=23180] ppid=23177 vsize=113128 memory=1476 CPUtime=4.45 cores=0-7
/proc/23180/stat : 23180 (scop.sh) S 23177 23180 21130 0 -1 4202496 582 27086 0 0 0 0 431 14 20 0 1 0 512899480 115843072 369 33554432000 4194304 5098028 140729052660848 140729052657592 139765255778940 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 33918976 140729052664613 140729052664940 140729052664940 140729052667853 0
/proc/23180/statm: 28282 369 311 221 0 87 0
[pid=23203] ppid=23180 vsize=8283048 memory=119792 CPUtime=32.49 cores=0-7
/proc/23203/stat : 23203 (java) S 23180 23180 21130 0 -1 1077944320 20809 48339 0 0 111 8 3117 13 20 0 22 0 512899668 8481841152 29948 33554432000 4194304 4196468 140726180455648 140726180438192 139837194198775 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 12804096 140726180463607 140726180463766 140726180463766 140726180466639 0
/proc/23203/statm: 2070762 29948 3210 1 0 2032106 0
[pid=23203/tid=23204] ppid=23180 vsize=8283048 memory=140584883248733 CPUtime=32.04 cores=0-7
/proc/23203/task/23204/stat : 23204 (java) R 23180 23180 21130 0 -1 4202560 17434 48339 0 0 69 5 3117 13 20 0 22 0 512899669 8481841152 29948 33554432000 4194304 4196468 140726180455648 139837166038944 139837175762335 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 12804096 140726180463607 140726180463766 140726180463766 140726180466639 0
[pid=23203/tid=23205] ppid=23180 vsize=8283048 memory=135212 CPUtime=31.3 cores=0-7
/proc/23203/task/23205/stat : 23205 (java) S 23180 23180 21130 0 -1 1077944384 3 48339 0 0 0 0 3117 13 20 0 22 0 512899670 8481841152 29948 33554432000 4194304 4196468 140726180455648 139837198441232 139837194208981 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12804096 140726180463607 140726180463766 140726180463766 140726180466639 0
[pid=23203/tid=23206] ppid=23180 vsize=8283048 memory=7228928657758118464 CPUtime=31.3 cores=0-7
/proc/23203/task/23206/stat : 23206 (java) S 23180 23180 21130 0 -1 1077944384 3 48339 0 0 0 0 3117 13 20 0 22 0 512899670 8481841152 29948 33554432000 4194304 4196468 140726180455648 139837023083408 139837194208981 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12804096 140726180463607 140726180463766 140726180463766 140726180466639 0
[pid=23203/tid=23207] ppid=23180 vsize=8283048 memory=5787213827430965312 CPUtime=31.3 cores=0-7
/proc/23203/task/23207/stat : 23207 (java) S 23180 23180 21130 0 -1 1077944384 2 48339 0 0 0 0 3117 13 20 0 22 0 512899670 8481841152 29948 33554432000 4194304 4196468 140726180455648 139836678372368 139837194208981 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12804096 140726180463607 140726180463766 140726180463766 140726180466639 0
[pid=23203/tid=23208] ppid=23180 vsize=8283048 memory=0 CPUtime=31.3 cores=0-7
/proc/23203/task/23208/stat : 23208 (java) S 23180 23180 21130 0 -1 1077944384 2 48339 0 0 0 0 3117 13 20 0 22 0 512899670 8481841152 29948 33554432000 4194304 4196468 140726180455648 139836677319824 139837194208981 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12804096 140726180463607 140726180463766 140726180463766 140726180466639 0
[pid=23203/tid=23209] ppid=23180 vsize=8283048 memory=6655300316396806240 CPUtime=31.3 cores=0-7
/proc/23203/task/23209/stat : 23209 (java) S 23180 23180 21130 0 -1 1077944384 2 48339 0 0 0 0 3117 13 20 0 22 0 512899670 8481841152 29948 33554432000 4194304 4196468 140726180455648 139836676266256 139837194208981 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12804096 140726180463607 140726180463766 140726180463766 140726180466639 0
[pid=23203/tid=23210] ppid=23180 vsize=8283048 memory=6944656592387989600 CPUtime=31.3 cores=0-7
/proc/23203/task/23210/stat : 23210 (java) S 23180 23180 21130 0 -1 1077944384 2 48339 0 0 0 0 3117 13 20 0 22 0 512899670 8481841152 29948 33554432000 4194304 4196468 140726180455648 139836675213712 139837194208981 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12804096 140726180463607 140726180463766 140726180463766 140726180466639 0
[pid=23203/tid=23211] ppid=23180 vsize=8283048 memory=6656426216303648864 CPUtime=31.3 cores=0-7
/proc/23203/task/23211/stat : 23211 (java) S 23180 23180 21130 0 -1 1077944384 2 48339 0 0 0 0 3117 13 20 0 22 0 512899670 8481841152 29948 33554432000 4194304 4196468 140726180455648 139836674161168 139837194208981 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12804096 140726180463607 140726180463766 140726180463766 140726180466639 0
[pid=23203/tid=23212] ppid=23180 vsize=8283048 memory=7686721470283814806 CPUtime=31.3 cores=0-7
/proc/23203/task/23212/stat : 23212 (java) S 23180 23180 21130 0 -1 1077944384 2 48339 0 0 0 0 3117 13 20 0 22 0 512899670 8481841152 29948 33554432000 4194304 4196468 140726180455648 139836673108624 139837194208981 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12804096 140726180463607 140726180463766 140726180463766 140726180466639 0
[pid=23203/tid=23213] ppid=23180 vsize=8283048 memory=0 CPUtime=31.3 cores=0-7
/proc/23203/task/23213/stat : 23213 (java) S 23180 23180 21130 0 -1 1077944384 7 48339 0 0 0 0 3117 13 20 0 22 0 512899671 8481841152 29948 33554432000 4194304 4196468 140726180455648 139836489001456 139837194209922 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12804096 140726180463607 140726180463766 140726180463766 140726180466639 0
[pid=23203/tid=23214] ppid=23180 vsize=8283048 memory=0 CPUtime=31.3 cores=0-7
/proc/23203/task/23214/stat : 23214 (java) S 23180 23180 21130 0 -1 1077944384 13 48339 0 0 0 0 3117 13 20 0 22 0 512899672 8481841152 29948 33554432000 4194304 4196468 140726180455648 139835679434144 139837194208981 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12804096 140726180463607 140726180463766 140726180463766 140726180466639 0
[pid=23203/tid=23215] ppid=23180 vsize=8283048 memory=5 CPUtime=31.3 cores=0-7
/proc/23203/task/23215/stat : 23215 (java) S 23180 23180 21130 0 -1 1077944384 1 48339 0 0 0 0 3117 13 20 0 22 0 512899672 8481841152 29948 33554432000 4194304 4196468 140726180455648 139835410998768 139837194208981 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12804096 140726180463607 140726180463766 140726180463766 140726180466639 0
[pid=23203/tid=23216] ppid=23180 vsize=8283048 memory=8 CPUtime=31.3 cores=0-7
/proc/23203/task/23216/stat : 23216 (java) S 23180 23180 21130 0 -1 1077944384 1 48339 0 0 0 0 3117 13 20 0 22 0 512899675 8481841152 29948 33554432000 4194304 4196468 140726180455648 139835036490448 139837194217371 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12804096 140726180463607 140726180463766 140726180463766 140726180466639 0
[pid=23203/tid=23217] ppid=23180 vsize=8283048 memory=3 CPUtime=31.36 cores=0-7
/proc/23203/task/23217/stat : 23217 (java) S 23180 23180 21130 0 -1 1077944384 626 48339 0 0 6 0 3117 13 20 0 22 0 512899675 8481841152 29948 33554432000 4194304 4196468 140726180455648 139836487948272 139837194209922 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12804096 140726180463607 140726180463766 140726180463766 140726180466639 0
[pid=23203/tid=23218] ppid=23180 vsize=8283048 memory=1328 CPUtime=31.38 cores=0-7
/proc/23203/task/23218/stat : 23218 (java) R 23180 23180 21130 0 -1 4202560 239 48339 0 0 8 0 3117 13 20 0 22 0 512899675 8481841152 29948 33554432000 4194304 4196468 140726180455648 139836486884400 139837177666945 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12804096 140726180463607 140726180463766 140726180463766 140726180466639 0
[pid=23203/tid=23219] ppid=23180 vsize=8283048 memory=1560 CPUtime=31.33 cores=0-7
/proc/23203/task/23219/stat : 23219 (java) S 23180 23180 21130 0 -1 1077944384 228 48339 0 0 3 0 3117 13 20 0 22 0 512899675 8481841152 29948 33554432000 4194304 4196468 140726180455648 139836485843184 139837194209922 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12804096 140726180463607 140726180463766 140726180463766 140726180466639 0
[pid=23203/tid=23220] ppid=23180 vsize=8283048 memory=976 CPUtime=31.49 cores=0-7
/proc/23203/task/23220/stat : 23220 (java) R 23180 23180 21130 0 -1 4202560 489 48339 0 0 19 0 3117 13 20 0 22 0 512899675 8481841152 29948 33554432000 4194304 4196468 140726180455648 139836216306032 139837194210710 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12804096 140726180463607 140726180463766 140726180463766 140726180466639 0
[pid=23203/tid=23221] ppid=23180 vsize=8283048 memory=772 CPUtime=31.3 cores=0-7
/proc/23203/task/23221/stat : 23221 (java) S 23180 23180 21130 0 -1 1077944384 3 48339 0 0 0 0 3117 13 20 0 22 0 512899675 8481841152 29948 33554432000 4194304 4196468 140726180455648 139834538584800 139837194208981 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12804096 140726180463607 140726180463766 140726180463766 140726180466639 0
[pid=23203/tid=23222] ppid=23180 vsize=8283048 memory=3616 CPUtime=31.3 cores=0-7
/proc/23203/task/23222/stat : 23222 (java) S 23180 23180 21130 0 -1 1077944384 3 48339 0 0 0 0 3117 13 20 0 22 0 512899675 8481841152 29948 33554432000 4194304 4196468 140726180455648 139836215253936 139837194209922 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12804096 140726180463607 140726180463766 140726180463766 140726180466639 0
[pid=23203/tid=23224] ppid=23180 vsize=8283048 memory=2832 CPUtime=31.3 cores=0-7
/proc/23203/task/23224/stat : 23224 (java) S 23180 23180 21130 0 -1 1077944384 23 48339 0 0 0 0 3117 13 20 0 22 0 512899740 8481841152 29948 33554432000 4194304 4196468 140726180455648 139836207219600 139837194209922 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12804096 140726180463607 140726180463766 140726180463766 140726180466639 0
[pid=23203/tid=23234] ppid=23180 vsize=8283048 memory=22400 CPUtime=31.3 cores=0-7
/proc/23203/task/23234/stat : 23234 (java) S 23180 23180 21130 0 -1 1077944384 385 48339 0 0 0 0 3117 13 20 0 22 0 512899742 8481841152 29948 33554432000 4194304 4196468 140726180455648 139833599058864 139837194209922 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12804096 140726180463607 140726180463766 140726180463766 140726180466639 0
Current children cumulated CPU time: 36.94 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 121268 KiB

Child status: 0
Real time (s): 6.72169
CPU time (s): 36.9908
CPU user time (s): 36.6128
CPU system time (s): 0.377995
CPU usage (%): 550.319
Max. virtual memory (cumulated for all children) (KiB): 27441876
Max. memory (cumulated for all children) (KiB): 276688

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 36.6128
system time used= 0.377995
maximum resident set size= 284572
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 96839
page faults= 0
swaps= 0
block input operations= 0
block output operations= 712
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7895
involuntary context switches= 408


# summary of solver processes directly reported to runsolver:
#   pid: 23180
#   total CPU time (s): 36.9908
#   total CPU user time (s): 36.6128
#   total CPU system time (s): 0.377995

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.084391 second user time and 0.119462 second system time

The end

Launcher Data 

Begin job on node151 at 2019-09-25 01:04:01
IDJOB=4405124
IDBENCH=141744
IDSOLVER=2867
FILE ID=node151/4405124-1569366282
RUNJOBID= node151-1569361187-21157
PBS_JOBID= 21705125
Free space on /tmp= 12412 MiB

SOLVER NAME= Fun-sCOP order+ManyGlucose (2019-09-22)
BENCH NAME= XCSP19/ConsecutiveSquarePacking/ConsecutiveSquarePacking-sp-17-042.xml
COMMAND LINE= DIR/scop.sh 22g DIR/scop.jar -order DIR/manyglucose-4.1-27_release -model:-nthreads=NBCORE:-maxmemory=20000:-lit-scans=6000000 TMPDIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4405124-1569366282/watcher-4405124-1569366282 -o /tmp/evaluation-result-4405124-1569366282/solver-4405124-1569366282 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node151-1569361187-21157 --watchdog 2580  HOME/scop.sh 22g HOME/scop.jar -order HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4405124-1569366282.xml

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

MD5SUM BENCH= 30a2df13e8a589268a4af4fb67fb8cf0
RANDOM SEED=885023280

node151.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        25557420 kB
MemAvailable:   31795264 kB
Buffers:           69932 kB
Cached:          6356004 kB
SwapCached:        50712 kB
Active:          2693624 kB
Inactive:        3787760 kB
Active(anon):       3808 kB
Inactive(anon):   106024 kB
Active(file):    2689816 kB
Inactive(file):  3681736 kB
Unevictable:      108536 kB
Mlocked:          108536 kB
SwapTotal:      67108860 kB
SwapFree:       66956532 kB
Dirty:             20632 kB
Writeback:             4 kB
AnonPages:        113508 kB
Mapped:            54864 kB
Shmem:             45996 kB
Slab:             322884 kB
SReclaimable:     294752 kB
SUnreclaim:        28132 kB
KernelStack:        3648 kB
PageTables:         5528 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     514588 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     69632 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      138624 kB
DirectMap2M:    33406976 kB

Free space on /tmp at the end= 12392 MiB
End job on node151 at 2019-09-25 01:04:08