Trace number 4392365

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

NamePrimes/
Primes-m1-p10/Primes-10-60-3-5.xml
MD5SUMbe3388c5d29b2a85b1452e4a694387b2
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.303618
Satisfiable
(Un)Satisfiability was proved
Number of variables100
Number of constraints60
Number of domains1
Minimum domain size28
Maximum domain size28
Distribution of domain sizes[{"size":28,"count":99}]
Minimum variable degree0
Maximum variable degree8
Distribution of variable degrees[{"degree":0,"count":1},{"degree":1,"count":14},{"degree":2,"count":13},{"degree":3,"count":22},{"degree":4,"count":24},{"degree":5,"count":17},{"degree":6,"count":6},{"degree":7,"count":2},{"degree":8,"count":1}]
Minimum constraint arity3
Maximum constraint arity8
Distribution of constraint arities[{"arity":3,"count":5},{"arity":4,"count":10},{"arity":5,"count":15},{"arity":6,"count":8},{"arity":7,"count":9},{"arity":8,"count":13}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"sum","count":60}]
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-16277-serial-file.bin HOME/instance-4392365-1568433602.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.57	c BEGIN-Prog: Sat Sep 14 05:59:23 CEST 2019
0.65/0.57	c PID: 16280
0.65/0.57	c IP: 172.20.3.140
0.65/0.57	c HOST: node140.alineos.net
0.65/0.57	c (0,0) Parsing Begin
1.41/0.92	c (0,0) Parsing End
1.41/0.92	c (0,0) CSP: 99 int (0 aux), 0 bool (0 aux), 60 ctr, max domain size 28
1.41/0.92	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.41/0.92	c (0,0) Constraint Name Generate Begin
1.41/0.93	c (0,0) Ctr:HOME/instance-4392365-1568433602.xml,Num:Var:WeightedSum
1.41/0.93	c (0,0) Constraint Name Generate End
1.41/0.93	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.41/0.93	c (0,0) CSP to CSPinCNF Begin
1.57/1.03	c (0,0) translated 6 (10%) constraints
1.57/1.04	c (0,0) translated 12 (20%) constraints
1.57/1.05	c (0,0) translated 18 (30%) constraints
1.57/1.06	c (0,0) translated 24 (40%) constraints
1.57/1.07	c (0,0) translated 30 (50%) constraints
1.57/1.08	c (0,0) translated 36 (60%) constraints
1.57/1.09	c (0,0) translated 42 (70%) constraints
1.57/1.09	c (0,0) translated 48 (80%) constraints
1.57/1.10	c (0,0) translated 54 (90%) constraints
1.83/1.11	c (0,0) translated 60 (100%) constraints
1.83/1.11	c (0,0) ===========================================
1.83/1.11	c (0,0) Order
1.83/1.11	c (0,0) ===========================================
1.83/1.15	c (0,0) translated 6 (10%) constraints
1.83/1.17	c (0,0) translated 12 (20%) constraints
1.83/1.19	c (0,0) translated 18 (30%) constraints
2.61/1.42	c (0,0) translated 24 (40%) constraints
2.61/1.42	c (0,0) translated 30 (50%) constraints
2.61/1.42	c (0,0) translated 36 (60%) constraints
2.61/1.42	c (0,0) translated 42 (70%) constraints
2.61/1.42	c (0,0) translated 48 (80%) constraints
2.61/1.42	c (0,0) translated 54 (90%) constraints
2.61/1.42	c (0,0) translated 60 (100%) constraints
2.61/1.42	c (0,0) CSP to CSPinCNF End
2.61/1.42	c (0,0) CSP: 261 int (162 aux), 0 bool (0 aux), 444 ctr, max domain size 1540
2.61/1.42	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB)
2.61/1.42	c (0,0) CSPinCNF Propagation Begin
2.61/1.42	c (0,0) 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed
2.61/1.42	c (0,0) CSPinCNF Propagation End
2.61/1.42	c (0,0) CSP: 261 int (162 aux), 0 bool (0 aux), 444 ctr, max domain size 1540
2.61/1.42	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB)
2.61/1.42	c (0,0) Simplify CSPinCNF Begin
2.61/1.42	c (0,0) Simplify CSPinCNF End
2.61/1.42	c (0,0) CSP: 261 int (162 aux), 0 bool (0 aux), 444 ctr, max domain size 1540
2.61/1.42	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB)
2.61/1.42	c (0,0) Calculate Precise Domain Begin
3.20/1.61	c (1,1) 11299 values are removed by re-calculation
3.20/1.61	c (1,1) Calculate Precise Domain End
3.20/1.61	c (1,1) CSP: 261 int (162 aux), 0 bool (0 aux), 444 ctr, max domain size 1484
3.20/1.61	c (1,1) Heap : 337 MiB used (max 21589 MiB), NonHeap : 24 MiB used (max 0 MiB)
3.20/1.61	c (1,1) CSPinCNF to SatSolver Begin
9.07/5.83	c (5,5) 45 (10 %) CSP clauses are encoded (0 SAT variables, 2259039 SAT clauses)
10.73/7.41	c (6,6) 89 (20 %) CSP clauses are encoded (0 SAT variables, 3157687 SAT clauses)
11.25/7.99	c (7,7) 134 (30 %) CSP clauses are encoded (0 SAT variables, 3483144 SAT clauses)
12.19/8.83	c (8,8) 178 (40 %) CSP clauses are encoded (0 SAT variables, 3964137 SAT clauses)
15.81/10.89	c (10,10) 222 (50 %) CSP clauses are encoded (0 SAT variables, 5068434 SAT clauses)
17.21/12.97	c (12,11) 267 (60 %) CSP clauses are encoded (0 SAT variables, 5946669 SAT clauses)
18.77/14.41	c (13,12) 311 (70 %) CSP clauses are encoded (0 SAT variables, 6886219 SAT clauses)
20.41/16.09	c (15,14) 356 (80 %) CSP clauses are encoded (0 SAT variables, 7956730 SAT clauses)
21.09/17.57	c (17,15) 400 (90 %) CSP clauses are encoded (0 SAT variables, 8377149 SAT clauses)
21.73/18.12	c (17,15) 444 (100 %) CSP clauses are encoded (0 SAT variables, 8732968 SAT clauses)
21.73/18.12	c (17,15) CSPinCNF to SatSolver End
21.73/18.12	c (17,15) Heap : 5558 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB)
21.73/18.13	c (17,15) 73296 bool, 8736275 clause
21.73/18.13	c (17,15) Export Begin
21.85/18.21	c (17,15) Export to HOME/scop-16277-serial-file.bin
21.85/18.21	c (17,15) Export End
21.85/18.21	c (17,15) Export File Size: 0.02 MB
21.85/18.21	c (17,15) 0,0,0,0,0,1,17,STOP-AFTER(DIMACS)
21.85/18.21	c END-Prog: Sat Sep 14 05:59:41 CEST 2019
21.85/18.26	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-16277-serial-file.bin
21.93/18.72	c (0,0) Read Serial File Begin
21.93/18.72	c (0,0) HOME/scop-16277-serial-file.bin
21.93/18.93	c (0,0) Read Serial File End
21.93/18.94	
21.93/18.94	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
21.93/18.94	(Solving Process)
21.93/18.94	
21.93/18.96	c BEGIN-Prog: Sat Sep 14 05:59:41 CEST 2019
21.93/18.96	c PID: 16301
21.93/18.96	c IP: 172.20.3.140
21.93/18.96	c HOST: node140.alineos.net
21.93/18.97	c (0,0) SatSolver.solve Begin
21.93/18.97	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4392365-1568433602.xml-scop-16280.cnf
21.93/18.99	c (0,0) c
21.93/18.99	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)
21.93/18.99	c (0,0) c
21.93/18.99	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
21.93/18.99	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
21.93/18.99	c (0,0) c ========================================[ Problem Statistics ]===========================================
21.93/18.99	c (0,0) c |                                                                                                       |
25.37/21.31	c (2,0) c |  Number of variables:         73296                                                                   |
25.37/21.31	c (2,0) c |  Number of clauses:         8731541                                                                   |
25.37/21.31	c (2,0) c |  Parse time:                   2.08 s                                                                 |
25.37/21.31	c (2,0) c |                                                                                                       |
25.97/21.94	c (3,0) c | Too many clauses... No preprocessing                                                                  |
25.97/21.94	c (3,0) c |  Simplification time:          0.55 s                                                                 |
25.97/21.94	c (3,0) c |                                                                                                       |
25.97/21.94	c (3,0) c |  Generating clones                                                                                    |
27.37/23.37	c (4,0) c |  all clones generated. Memory =  4436.36Mb.                                                           |
27.37/23.37	c (4,0) c ========================================================================================================|
27.37/23.37	c (4,0) c
27.37/23.37	c (4,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
27.37/23.37	c (4,0) c
27.37/23.37	c (4,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
27.37/23.37	c (4,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
27.37/23.37	c (4,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
27.37/23.37	c (4,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
27.37/23.37	c (4,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
27.37/23.37	c (4,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
27.37/23.37	c (4,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
27.37/23.37	c (4,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
27.37/23.37	c (4,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
27.37/23.37	c (4,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
27.37/23.37	c (4,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
27.37/23.37	c (4,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
27.37/23.37	c (4,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
27.37/23.37	c (4,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
27.37/23.37	c (4,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
27.37/23.37	c (4,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
27.37/23.37	c (4,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
27.37/23.37	c (4,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
27.37/23.37	c (4,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
201.93/47.82	c (29,0) c
201.93/47.82	c (29,0) c real time : 28.837 s
201.93/47.82	c (29,0) c cpu time  : 171.218 s
201.93/47.82	c (29,0) c
201.93/47.82	c (29,0) c
201.93/47.83	c (29,0) c
201.93/47.83	c (29,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
201.93/47.83	c (29,0) c
201.93/47.83	c (29,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
201.93/47.83	c (29,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
201.93/47.83	c (29,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
201.93/47.83	c (29,0) c | Conflicts     |           17606 |       1946 |       2255 |       2141 |       2229 |       2485 |       2207 |       2179 |       2164 |
201.93/47.83	c (29,0) c | Decisions     |           26771 |       3380 |       3335 |       3178 |       3241 |       3637 |       3113 |       3292 |       3595 |
201.93/47.83	c (29,0) c | Propagations  |       125582154 |   15412714 |   15752865 |   15820862 |   16056068 |   16287305 |   15623569 |   15477852 |   15150919 |
201.93/47.83	c (29,0) c | ReduceDBs     |               7 |          0 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |
201.93/47.83	c (29,0) c | SimpDBs       |               8 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |
201.93/47.83	c (29,0) c | Restarts      |              32 |          3 |          8 |          3 |          4 |          2 |          5 |          6 |          1 |
201.93/47.83	c (29,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
201.93/47.83	c (29,0) c | PropBinClauses|       265612720 |   32557327 |   33601896 |   33056443 |   34297965 |   33861741 |   33129774 |   32892966 |   32214608 |
201.93/47.83	c (29,0) c | PropPreBlocker|     10047811406 | 1257840063 | 1265888385 | 1254002371 | 1247385623 | 1249604514 | 1259029547 | 1261628329 | 1252432574 |
201.93/47.83	c (29,0) c | PropNotBlocker|      1463617118 |  180388376 |  172278235 |  183435355 |  188278295 |  187140794 |  178175468 |  181776150 |  192144445 |
201.93/47.83	c (29,0) c | LitFullScans  |     11872984134 | 1482480253 | 1483707964 | 1482391386 | 1482223007 | 1483168861 | 1482264056 | 1488194539 | 1488554068 |
201.93/47.83	c (29,0) c | LitScanFracts |         1499928 |     180295 |     187527 |     213588 |     210065 |     163798 |     175243 |     182736 |     186676 |
201.93/47.83	c (29,0) c | DecisionLevel0|             101 |         12 |         27 |         12 |          8 |          6 |          8 |         25 |          3 |
201.93/47.83	c (29,0) c | Periods       |            1978 |        247 |        247 |        247 |        247 |        247 |        247 |        248 |        248 |
201.93/47.83	c (29,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
201.93/47.83	c (29,0) c | Avg_Trail     |                 |      38442 |      37640 |      37695 |      36744 |      37491 |      37095 |      37912 |      38404 |
201.93/47.83	c (29,0) c | Avg_DL        |                 |         16 |         11 |         12 |         13 |         31 |         14 |         13 |         72 |
201.93/47.83	c (29,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
201.93/47.83	c (29,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
201.93/47.83	c (29,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
201.93/47.83	c (29,0) c | Exported      |             649 |         61 |        140 |         83 |         66 |         68 |         61 |        114 |         56 |
201.93/47.83	c (29,0) c | Imported      |            3327 |        313 |        471 |        495 |        371 |        535 |        564 |        424 |        154 |
201.93/47.83	c (29,0) c | Good          |            1251 |        135 |        162 |        180 |        148 |        192 |        204 |        148 |         82 |
201.93/47.83	c (29,0) c | Purge         |            2076 |        178 |        309 |        315 |        223 |        343 |        360 |        276 |         72 |
201.93/47.83	c (29,0) c | Promoted      |             163 |         17 |         37 |         22 |         26 |         15 |         18 |         24 |          4 |
201.93/47.83	c (29,0) c | Remove_Imp    |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
201.93/47.83	c (29,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
201.93/47.83	c (29,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
201.93/47.83	c (29,0) c | Unaries       |                 |          9 |         19 |          9 |          4 |          4 |          3 |         19 |          2 |
201.93/47.83	c (29,0) c | Binaries      |                 |         21 |         55 |         29 |         22 |         22 |         15 |         46 |         18 |
201.93/47.83	c (29,0) c | Glues         |                 |         61 |        140 |         83 |         66 |         68 |         61 |        114 |         56 |
201.93/47.83	c (29,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
201.93/47.83	c (29,0) c | Orig_Seen     |             0 % |      49430 |      46739 |      49638 |      48398 |      41962 |      49009 |      50392 |      47442 |
201.93/47.83	c (29,0) c | Diff Orig seen|                 | -      208 | -     2899 |      X     | -     1240 | -     7676 | -      629 |        754 | -     2196 |
201.93/47.83	c (29,0) c | Hamming       |            17 % |      16368 |      13543 |      X     |      14097 |      12976 |      12993 |      11187 |       8612 |
201.93/47.83	c (29,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
201.93/47.83	c (29,0) c | RunningTime   |                 |   22.0  94%|   23.0  99%|   21.6  93%|   24.4 100%|   21.8  93%|   24.2 100%|   21.2  91%|   21.3  91%|
201.93/47.83	c (29,0) c | WaitingTime   |                 |    1.3   6%|    0.3   1%|    1.6   7%|    0.0   0%|    1.6   7%|    0.0   0%|    2.2   9%|    2.0   9%|
201.93/47.83	c (29,0) c | ExchangingTime|                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
201.93/47.83	c (29,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%|
201.93/47.83	c (29,0) c | SolvingTime   |                 |   23.4     |   23.3     |   23.3     |   24.4     |   23.4     |   24.2     |   23.4     |   23.4     |
201.93/47.83	c (29,0) c | PropagationTim|                 |   23.0  98%|   23.0  98%|   22.9  98%|   24.1  98%|   23.0  98%|   23.8  98%|   23.0  98%|   23.0  99%|
201.93/47.83	c (29,0) c | AnalysisTime  |                 |    0.2   1%|    0.2   1%|    0.2   1%|    0.2   1%|    0.2   1%|    0.2   1%|    0.2   1%|    0.2   1%|
201.93/47.83	c (29,0) c | ReductionTime |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
201.93/47.83	c (29,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%|
201.93/47.83	c (29,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%|
201.93/47.83	c (29,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%|
201.93/47.83	c (29,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
201.93/47.83	c (29,0) c
201.93/47.83	c (29,0) c
201.93/47.83	c (29,0) c Threads : 8
201.93/47.83	c (29,0) c Winner : 2
201.93/47.83	c (29,0) c Conflicts_0 : 1946
201.93/47.83	c (29,0) c Conflicts_1 : 2255
201.93/47.83	c (29,0) c Conflicts_2 : 2141
201.93/47.83	c (29,0) c Conflicts_3 : 2229
201.93/47.83	c (29,0) c Conflicts_4 : 2485
201.93/47.83	c (29,0) c Conflicts_5 : 2207
201.93/47.83	c (29,0) c Conflicts_6 : 2179
201.93/47.83	c (29,0) c Conflicts_7 : 2164
201.93/47.83	c (29,0) c Conflicts_total : 17606
201.93/47.83	c (29,0) c Conflicts_winner : 2141
201.93/47.83	c (29,0) c Decisions_0 : 3380
201.93/47.83	c (29,0) c Decisions_1 : 3335
201.93/47.83	c (29,0) c Decisions_2 : 3178
201.93/47.83	c (29,0) c Decisions_3 : 3241
201.93/47.83	c (29,0) c Decisions_4 : 3637
201.93/47.83	c (29,0) c Decisions_5 : 3113
201.93/47.83	c (29,0) c Decisions_6 : 3292
201.93/47.83	c (29,0) c Decisions_7 : 3595
201.93/47.83	c (29,0) c Decisions_total : 26771
201.93/47.83	c (29,0) c Decisions_winner : 3178
201.93/47.83	c (29,0) c Propagations_0 : 15412714
201.93/47.83	c (29,0) c Propagations_1 : 15752865
201.93/47.83	c (29,0) c Propagations_2 : 15820862
201.93/47.83	c (29,0) c Propagations_3 : 16056068
201.93/47.83	c (29,0) c Propagations_4 : 16287305
201.93/47.83	c (29,0) c Propagations_5 : 15623569
201.93/47.83	c (29,0) c Propagations_6 : 15477852
201.93/47.83	c (29,0) c Propagations_7 : 15150919
201.93/47.83	c (29,0) c Propagations_total : 125582154
201.93/47.83	c (29,0) c Propagations_winner : 15820862
201.93/47.83	c (29,0) c ReduceDBs_0 : 0
201.93/47.83	c (29,0) c ReduceDBs_1 : 1
201.93/47.83	c (29,0) c ReduceDBs_2 : 1
201.93/47.83	c (29,0) c ReduceDBs_3 : 1
201.93/47.83	c (29,0) c ReduceDBs_4 : 1
201.93/47.83	c (29,0) c ReduceDBs_5 : 1
201.93/47.83	c (29,0) c ReduceDBs_6 : 1
201.93/47.83	c (29,0) c ReduceDBs_7 : 1
201.93/47.83	c (29,0) c ReduceDBs_total : 7
201.93/47.83	c (29,0) c ReduceDBs_winner : 1
201.93/47.83	c (29,0) c SimpDBs_0 : 1
201.93/47.83	c (29,0) c SimpDBs_1 : 1
201.93/47.83	c (29,0) c SimpDBs_2 : 1
201.93/47.83	c (29,0) c SimpDBs_3 : 1
201.93/47.83	c (29,0) c SimpDBs_4 : 1
201.93/47.83	c (29,0) c SimpDBs_5 : 1
201.93/47.83	c (29,0) c SimpDBs_6 : 1
201.93/47.83	c (29,0) c SimpDBs_7 : 1
201.93/47.83	c (29,0) c SimpDBs_total : 8
201.93/47.83	c (29,0) c SimpDBs_winner : 1
201.93/47.83	c (29,0) c Restarts_0 : 3
201.93/47.83	c (29,0) c Restarts_1 : 8
201.93/47.83	c (29,0) c Restarts_2 : 3
201.93/47.83	c (29,0) c Restarts_3 : 4
201.93/47.83	c (29,0) c Restarts_4 : 2
201.93/47.83	c (29,0) c Restarts_5 : 5
201.93/47.83	c (29,0) c Restarts_6 : 6
201.93/47.83	c (29,0) c Restarts_7 : 1
201.93/47.83	c (29,0) c Restarts_total : 32
201.93/47.83	c (29,0) c Restarts_winner : 3
201.93/47.83	c (29,0) c ForcedImports_0 : 0
201.93/47.83	c (29,0) c ForcedImports_1 : 0
201.93/47.83	c (29,0) c ForcedImports_2 : 0
201.93/47.83	c (29,0) c ForcedImports_3 : 0
201.93/47.83	c (29,0) c ForcedImports_4 : 0
201.93/47.83	c (29,0) c ForcedImports_5 : 0
201.93/47.83	c (29,0) c ForcedImports_6 : 0
201.93/47.83	c (29,0) c ForcedImports_7 : 0
201.93/47.83	c (29,0) c ForcedImports_total : 0
201.93/47.83	c (29,0) c ForcedImports_winner : 0
201.93/47.83	c (29,0) c PropsBinClauses_0 : 32557327
201.93/47.83	c (29,0) c PropsBinClauses_1 : 33601896
201.93/47.83	c (29,0) c PropsBinClauses_2 : 33056443
201.93/47.83	c (29,0) c PropsBinClauses_3 : 34297965
201.93/47.83	c (29,0) c PropsBinClauses_4 : 33861741
201.93/47.83	c (29,0) c PropsBinClauses_5 : 33129774
201.93/47.83	c (29,0) c PropsBinClauses_6 : 32892966
201.93/47.83	c (29,0) c PropsBinClauses_7 : 32214608
201.93/47.83	c (29,0) c PropsBinClauses_total : 265612720
201.93/47.83	c (29,0) c PropsBinClauses_winner : 33056443
201.93/47.83	c (29,0) c PropsPreBlocker_0 : 1257840063
201.93/47.83	c (29,0) c PropsPreBlocker_1 : 1265888385
201.93/47.83	c (29,0) c PropsPreBlocker_2 : 1254002371
201.93/47.83	c (29,0) c PropsPreBlocker_3 : 1247385623
201.93/47.83	c (29,0) c PropsPreBlocker_4 : 1249604514
201.93/47.83	c (29,0) c PropsPreBlocker_5 : 1259029547
201.93/47.83	c (29,0) c PropsPreBlocker_6 : 1261628329
201.93/47.83	c (29,0) c PropsPreBlocker_7 : 1252432574
201.93/47.83	c (29,0) c PropsPreBlocker_total : 10047811406
201.93/47.83	c (29,0) c PropsPreBlocker_winner : 1254002371
201.93/47.83	c (29,0) c PropsNotBlocker_0 : 180388376
201.93/47.83	c (29,0) c PropsNotBlocker_1 : 172278235
201.93/47.83	c (29,0) c PropsNotBlocker_2 : 183435355
201.93/47.83	c (29,0) c PropsNotBlocker_3 : 188278295
201.93/47.83	c (29,0) c PropsNotBlocker_4 : 187140794
201.93/47.83	c (29,0) c PropsNotBlocker_5 : 178175468
201.93/47.83	c (29,0) c PropsNotBlocker_6 : 181776150
201.93/47.83	c (29,0) c PropsNotBlocker_7 : 192144445
201.93/47.83	c (29,0) c PropsNotBlocker_total : 1463617118
201.93/47.83	c (29,0) c PropsNotBlocker_winner : 183435355
201.93/47.83	c (29,0) c PropsLitFullScans_0 : 1482480253
201.93/47.83	c (29,0) c PropsLitFullScans_1 : 1483707964
201.93/47.83	c (29,0) c PropsLitFullScans_2 : 1482391386
201.93/47.83	c (29,0) c PropsLitFullScans_3 : 1482223007
201.93/47.83	c (29,0) c PropsLitFullScans_4 : 1483168861
201.93/47.83	c (29,0) c PropsLitFullScans_5 : 1482264056
201.93/47.83	c (29,0) c PropsLitFullScans_6 : 1488194539
201.93/47.83	c (29,0) c PropsLitFullScans_7 : 1488554068
201.93/47.83	c (29,0) c PropsLitFullScans_total : 11872984134
201.93/47.83	c (29,0) c PropsLitFullScans_winner : 1482391386
201.93/47.83	c (29,0) c LitScanFractions_0 : 180295
201.93/47.83	c (29,0) c LitScanFractions_1 : 187527
201.93/47.83	c (29,0) c LitScanFractions_2 : 213588
201.93/47.83	c (29,0) c LitScanFractions_3 : 210065
201.93/47.83	c (29,0) c LitScanFractions_4 : 163798
201.93/47.83	c (29,0) c LitScanFractions_5 : 175243
201.93/47.83	c (29,0) c LitScanFractions_6 : 182736
201.93/47.83	c (29,0) c LitScanFractions_7 : 186676
201.93/47.83	c (29,0) c LitScanFractions_total : 1499928
201.93/47.83	c (29,0) c LitScanFractions_winner : 213588
201.93/47.83	c (29,0) c DecisionLevel0_0 : 12
201.93/47.83	c (29,0) c DecisionLevel0_1 : 27
201.93/47.83	c (29,0) c DecisionLevel0_2 : 12
201.93/47.83	c (29,0) c DecisionLevel0_3 : 8
201.93/47.83	c (29,0) c DecisionLevel0_4 : 6
201.93/47.83	c (29,0) c DecisionLevel0_5 : 8
201.93/47.83	c (29,0) c DecisionLevel0_6 : 25
201.93/47.83	c (29,0) c DecisionLevel0_7 : 3
201.93/47.83	c (29,0) c DecisionLevel0_total : 101
201.93/47.83	c (29,0) c DecisionLevel0_winner : 12
201.93/47.83	c (29,0) c Periods_0 : 247
201.93/47.83	c (29,0) c Periods_1 : 247
201.93/47.83	c (29,0) c Periods_2 : 247
201.93/47.83	c (29,0) c Periods_3 : 247
201.93/47.83	c (29,0) c Periods_4 : 247
201.93/47.83	c (29,0) c Periods_5 : 247
201.93/47.83	c (29,0) c Periods_6 : 248
201.93/47.83	c (29,0) c Periods_7 : 248
201.93/47.83	c (29,0) c Periods_total : 1978
201.93/47.83	c (29,0) c Periods_winner : 247
201.93/47.83	c (29,0) c Margin_0 : 20
201.93/47.83	c (29,0) c Margin_1 : 20
201.93/47.83	c (29,0) c Margin_2 : 20
201.93/47.83	c (29,0) c Margin_3 : 20
201.93/47.83	c (29,0) c Margin_4 : 20
201.93/47.83	c (29,0) c Margin_5 : 20
201.93/47.83	c (29,0) c Margin_6 : 20
201.93/47.83	c (29,0) c Margin_7 : 20
201.93/47.83	c (29,0) c Margin_total : 160
201.93/47.83	c (29,0) c Margin_winner : 20
201.93/47.83	c (29,0) c Exported_0 : 61
201.93/47.83	c (29,0) c Exported_1 : 140
201.93/47.83	c (29,0) c Exported_2 : 83
201.93/47.83	c (29,0) c Exported_3 : 66
201.93/47.83	c (29,0) c Exported_4 : 68
201.93/47.83	c (29,0) c Exported_5 : 61
201.93/47.83	c (29,0) c Exported_6 : 114
201.93/47.83	c (29,0) c Exported_7 : 56
201.93/47.83	c (29,0) c Exported_total : 649
201.93/47.83	c (29,0) c Exported_winner : 83
201.93/47.83	c (29,0) c Imported_0 : 313
201.93/47.83	c (29,0) c Imported_1 : 471
201.93/47.83	c (29,0) c Imported_2 : 495
201.93/47.83	c (29,0) c Imported_3 : 371
201.93/47.83	c (29,0) c Imported_4 : 535
201.93/47.83	c (29,0) c Imported_5 : 564
201.93/47.83	c (29,0) c Imported_6 : 424
201.93/47.83	c (29,0) c Imported_7 : 154
201.93/47.83	c (29,0) c Imported_total : 3327
201.93/47.83	c (29,0) c Imported_winner : 495
201.93/47.83	c (29,0) c Good_0 : 135
201.93/47.83	c (29,0) c Good_1 : 162
201.93/47.83	c (29,0) c Good_2 : 180
201.93/47.83	c (29,0) c Good_3 : 148
201.93/47.83	c (29,0) c Good_4 : 192
201.93/47.83	c (29,0) c Good_5 : 204
201.93/47.83	c (29,0) c Good_6 : 148
201.93/47.83	c (29,0) c Good_7 : 82
201.93/47.83	c (29,0) c Good_total : 1251
201.93/47.84	c (29,0) c Good_winner : 180
201.93/47.84	c (29,0) c Purge_0 : 178
201.93/47.84	c (29,0) c Purge_1 : 309
201.93/47.84	c (29,0) c Purge_2 : 315
201.93/47.84	c (29,0) c Purge_3 : 223
201.93/47.84	c (29,0) c Purge_4 : 343
201.93/47.84	c (29,0) c Purge_5 : 360
201.93/47.84	c (29,0) c Purge_6 : 276
201.93/47.84	c (29,0) c Purge_7 : 72
201.93/47.84	c (29,0) c Purge_total : 2076
201.93/47.84	c (29,0) c Purge_winner : 315
201.93/47.84	c (29,0) c Promoted_0 : 17
201.93/47.84	c (29,0) c Promoted_1 : 37
201.93/47.84	c (29,0) c Promoted_2 : 22
201.93/47.84	c (29,0) c Promoted_3 : 26
201.93/47.84	c (29,0) c Promoted_4 : 15
201.93/47.84	c (29,0) c Promoted_5 : 18
201.93/47.84	c (29,0) c Promoted_6 : 24
201.93/47.84	c (29,0) c Promoted_7 : 4
201.93/47.84	c (29,0) c Promoted_total : 163
201.93/47.84	c (29,0) c Promoted_winner : 22
201.93/47.84	c (29,0) c Remove_Imp_0 : 0
201.93/47.84	c (29,0) c Remove_Imp_1 : 0
201.93/47.84	c (29,0) c Remove_Imp_2 : 0
201.93/47.84	c (29,0) c Remove_Imp_3 : 0
201.93/47.84	c (29,0) c Remove_Imp_4 : 0
201.93/47.84	c (29,0) c Remove_Imp_5 : 0
201.93/47.84	c (29,0) c Remove_Imp_6 : 0
201.93/47.84	c (29,0) c Remove_Imp_7 : 0
201.93/47.84	c (29,0) c Remove_Imp_total : 0
201.93/47.84	c (29,0) c Remove_Imp_winner : 0
201.93/47.84	c (29,0) c Blocked_Reuse_0 : 0
201.93/47.84	c (29,0) c Blocked_Reuse_1 : 0
201.93/47.84	c (29,0) c Blocked_Reuse_2 : 0
201.93/47.84	c (29,0) c Blocked_Reuse_3 : 0
201.93/47.84	c (29,0) c Blocked_Reuse_4 : 0
201.93/47.84	c (29,0) c Blocked_Reuse_5 : 0
201.93/47.84	c (29,0) c Blocked_Reuse_6 : 0
201.93/47.84	c (29,0) c Blocked_Reuse_7 : 0
201.93/47.84	c (29,0) c Blocked_Reuse_total : 0
201.93/47.84	c (29,0) c Blocked_Reuse_winner : 0
201.93/47.84	c (29,0) c Unaries_0 : 9
201.93/47.84	c (29,0) c Unaries_1 : 19
201.93/47.84	c (29,0) c Unaries_2 : 9
201.93/47.84	c (29,0) c Unaries_3 : 4
201.93/47.84	c (29,0) c Unaries_4 : 4
201.93/47.84	c (29,0) c Unaries_5 : 3
201.93/47.84	c (29,0) c Unaries_6 : 19
201.93/47.84	c (29,0) c Unaries_7 : 2
201.93/47.84	c (29,0) c Unaries_total : 69
201.93/47.84	c (29,0) c Unaries_winner : 9
201.93/47.84	c (29,0) c Binaries_0 : 21
201.93/47.84	c (29,0) c Binaries_1 : 55
201.93/47.84	c (29,0) c Binaries_2 : 29
201.93/47.84	c (29,0) c Binaries_3 : 22
201.93/47.84	c (29,0) c Binaries_4 : 22
201.93/47.84	c (29,0) c Binaries_5 : 15
201.93/47.84	c (29,0) c Binaries_6 : 46
201.93/47.84	c (29,0) c Binaries_7 : 18
201.93/47.84	c (29,0) c Binaries_total : 228
201.93/47.84	c (29,0) c Binaries_winner : 29
201.93/47.84	c (29,0) c Glues_0 : 61
201.93/47.84	c (29,0) c Glues_1 : 140
201.93/47.84	c (29,0) c Glues_2 : 83
201.93/47.84	c (29,0) c Glues_3 : 66
201.93/47.84	c (29,0) c Glues_4 : 68
201.93/47.84	c (29,0) c Glues_5 : 61
201.93/47.84	c (29,0) c Glues_6 : 114
201.93/47.84	c (29,0) c Glues_7 : 56
201.93/47.84	c (29,0) c Glues_total : 649
201.93/47.84	c (29,0) c Glues_winner : 83
201.93/47.84	c (29,0) c RunningTime_0 : 22.033777
201.93/47.84	c (29,0) c RunningTime_1 : 22.984410
201.93/47.84	c (29,0) c RunningTime_2 : 21.630670
201.93/47.84	c (29,0) c RunningTime_3 : 24.442572
201.93/47.84	c (29,0) c RunningTime_4 : 21.796207
201.93/47.84	c (29,0) c RunningTime_5 : 24.211527
201.93/47.84	c (29,0) c RunningTime_6 : 21.165081
201.93/47.84	c (29,0) c RunningTime_7 : 21.334096
201.93/47.84	c (29,0) c RunningTime_total : 179.598339
201.93/47.84	c (29,0) c RunningTime_winner : 21.630670
201.93/47.84	c (29,0) c WaitingTime_0 : 1.311049
201.93/47.84	c (29,0) c WaitingTime_1 : 0.334182
201.93/47.84	c (29,0) c WaitingTime_2 : 1.642789
201.93/47.84	c (29,0) c WaitingTime_3 : 0.000299
201.93/47.84	c (29,0) c WaitingTime_4 : 1.556300
201.93/47.84	c (29,0) c WaitingTime_5 : 0.000561
201.93/47.84	c (29,0) c WaitingTime_6 : 2.181788
201.93/47.84	c (29,0) c WaitingTime_7 : 2.015888
201.93/47.84	c (29,0) c WaitingTime_total : 9.042856
201.93/47.84	c (29,0) c WaitingTime_winner : 1.642789
201.93/47.84	c (29,0) c ExchangingTime_0 : 0.002774
201.93/47.84	c (29,0) c ExchangingTime_1 : 0.003704
201.93/47.84	c (29,0) c ExchangingTime_2 : 0.002832
201.93/47.84	c (29,0) c ExchangingTime_3 : 0.002813
201.93/47.84	c (29,0) c ExchangingTime_4 : 0.003311
201.93/47.84	c (29,0) c ExchangingTime_5 : 0.003264
201.93/47.84	c (29,0) c ExchangingTime_6 : 0.003634
201.93/47.84	c (29,0) c ExchangingTime_7 : 0.003068
201.93/47.84	c (29,0) c ExchangingTime_total : 0.025399
201.93/47.84	c (29,0) c ExchangingTime_winner : 0.002832
201.93/47.84	c (29,0) c PeriodProcTime_0 : 0.002584
201.93/47.84	c (29,0) c PeriodProcTime_1 : 0.002857
201.93/47.84	c (29,0) c PeriodProcTime_2 : 0.002482
201.93/47.84	c (29,0) c PeriodProcTime_3 : 0.003979
201.93/47.84	c (29,0) c PeriodProcTime_4 : 0.002579
201.93/47.84	c (29,0) c PeriodProcTime_5 : 0.003036
201.93/47.84	c (29,0) c PeriodProcTime_6 : 0.002851
201.93/47.84	c (29,0) c PeriodProcTime_7 : 0.002760
201.93/47.84	c (29,0) c PeriodProcTime_total : 0.023129
201.93/47.84	c (29,0) c PeriodProcTime_winner : 0.002482
201.93/47.84	c (29,0) c SolvingTime_0 : 23.350183
201.93/47.84	c (29,0) c SolvingTime_1 : 23.325153
201.93/47.84	c (29,0) c SolvingTime_2 : 23.278773
201.93/47.84	c (29,0) c SolvingTime_3 : 24.449662
201.93/47.84	c (29,0) c SolvingTime_4 : 23.358397
201.93/47.84	c (29,0) c SolvingTime_5 : 24.218387
201.93/47.84	c (29,0) c SolvingTime_6 : 23.353354
201.93/47.84	c (29,0) c SolvingTime_7 : 23.355812
201.93/47.84	c (29,0) c SolvingTime_total : 188.689723
201.93/47.84	c (29,0) c SolvingTime_winner : 23.278773
201.93/47.84	c (29,0) c PropagationTime_0 : 22.995953
201.93/47.84	c (29,0) c PropagationTime_1 : 22.965613
201.93/47.84	c (29,0) c PropagationTime_2 : 22.910047
201.93/47.84	c (29,0) c PropagationTime_3 : 24.050093
201.93/47.84	c (29,0) c PropagationTime_4 : 22.982097
201.93/47.84	c (29,0) c PropagationTime_5 : 23.769314
201.93/47.84	c (29,0) c PropagationTime_6 : 23.002682
201.93/47.84	c (29,0) c PropagationTime_7 : 23.016942
201.93/47.84	c (29,0) c PropagationTime_total : 185.692740
201.93/47.84	c (29,0) c PropagationTime_winner : 22.910047
201.93/47.84	c (29,0) c AnalysisTime_0 : 0.179977
201.93/47.84	c (29,0) c AnalysisTime_1 : 0.173577
201.93/47.84	c (29,0) c AnalysisTime_2 : 0.175151
201.93/47.84	c (29,0) c AnalysisTime_3 : 0.195066
201.93/47.84	c (29,0) c AnalysisTime_4 : 0.185553
201.93/47.84	c (29,0) c AnalysisTime_5 : 0.224878
201.93/47.84	c (29,0) c AnalysisTime_6 : 0.175422
201.93/47.84	c (29,0) c AnalysisTime_7 : 0.169395
201.93/47.84	c (29,0) c AnalysisTime_total : 1.479019
201.93/47.84	c (29,0) c AnalysisTime_winner : 0.175151
201.93/47.84	c (29,0) c ReductionTime_0 : 0.000000
201.93/47.84	c (29,0) c ReductionTime_1 : 0.000416
201.93/47.84	c (29,0) c ReductionTime_2 : 0.000418
201.93/47.84	c (29,0) c ReductionTime_3 : 0.000489
201.93/47.84	c (29,0) c ReductionTime_4 : 0.000466
201.93/47.84	c (29,0) c ReductionTime_5 : 0.000427
201.93/47.84	c (29,0) c ReductionTime_6 : 0.000432
201.93/47.84	c (29,0) c ReductionTime_7 : 0.000448
201.93/47.84	c (29,0) c ReductionTime_total : 0.003096
201.93/47.84	c (29,0) c ReductionTime_winner : 0.000418
201.93/47.84	c (29,0) c SimplifyTime_0 : 0.000001
201.93/47.84	c (29,0) c SimplifyTime_1 : 0.000005
201.93/47.84	c (29,0) c SimplifyTime_2 : 0.000002
201.93/47.84	c (29,0) c SimplifyTime_3 : 0.000001
201.93/47.84	c (29,0) c SimplifyTime_4 : 0.000002
201.93/47.84	c (29,0) c SimplifyTime_5 : 0.000001
201.93/47.84	c (29,0) c SimplifyTime_6 : 0.000005
201.93/47.84	c (29,0) c SimplifyTime_7 : 0.000001
201.93/47.84	c (29,0) c SimplifyTime_total : 0.000018
201.93/47.84	c (29,0) c SimplifyTime_winner : 0.000002
201.93/47.84	c (29,0) c UsedRateTime_0 : 0.000000
201.93/47.84	c (29,0) c UsedRateTime_1 : 0.000000
201.93/47.84	c (29,0) c UsedRateTime_2 : 0.000000
201.93/47.84	c (29,0) c UsedRateTime_3 : 0.000000
201.93/47.84	c (29,0) c UsedRateTime_4 : 0.000000
201.93/47.84	c (29,0) c UsedRateTime_5 : 0.000000
201.93/47.84	c (29,0) c UsedRateTime_6 : 0.000000
201.93/47.84	c (29,0) c UsedRateTime_7 : 0.000000
201.93/47.84	c (29,0) c UsedRateTime_total : 0.000000
201.93/47.84	c (29,0) c UsedRateTime_winner : 0.000000
201.93/47.84	c (29,0) c OverlapRateTime_0 : 0.000000
201.93/47.84	c (29,0) c OverlapRateTime_1 : 0.000000
201.93/47.84	c (29,0) c OverlapRateTime_2 : 0.000000
201.93/47.84	c (29,0) c OverlapRateTime_3 : 0.000000
201.93/47.84	c (29,0) c OverlapRateTime_4 : 0.000000
201.93/47.84	c (29,0) c OverlapRateTime_5 : 0.000000
201.93/47.84	c (29,0) c OverlapRateTime_6 : 0.000000
201.93/47.84	c (29,0) c OverlapRateTime_7 : 0.000000
201.93/47.84	c (29,0) c OverlapRateTime_total : 0.000000
201.93/47.84	c (29,0) c OverlapRateTime_winner : 0.000000
201.93/47.84	c (29,0) c
201.93/47.84	c (29,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
201.93/47.84	c (29,0) c
201.93/47.84	c (29,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
201.93/47.84	c (29,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
201.93/47.84	c (29,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
201.93/47.84	c (29,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
201.93/47.84	c (29,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
201.93/47.84	c (29,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
201.93/47.84	c (29,0) c | Initial random_seed   | 1095241537 | 1197431262 |  682078321 |  736721457 | 1126572765 | 1531778872 |  807887663 |  920473469 |
201.93/47.84	c (29,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
201.93/47.84	c (29,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
201.93/47.84	c (29,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
201.93/47.84	c (29,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
201.93/47.84	c (29,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
201.93/47.84	c (29,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
201.93/47.84	c (29,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
201.93/47.84	c (29,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
201.93/47.84	c (29,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
201.93/47.84	c (29,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
201.93/47.84	c (29,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
201.93/47.84	c (29,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
201.93/47.84	c (29,0) 
201.93/47.84	c (29,0) s SATISFIABLE
23.35/48.05	c (29,0) SatSolver.solve End
23.35/48.05	c (29,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
23.35/48.05	c (29,0) Show results Begin
202.53/48.17	c (29,0) x[0] = 7
202.53/48.17	c (29,0) x[1] = 17
202.53/48.17	c (29,0) x[2] = 19
202.53/48.17	c (29,0) x[3] = 13
202.53/48.17	c (29,0) x[4] = 7
202.53/48.17	c (29,0) x[5] = 13
202.53/48.17	c (29,0) x[6] = 17
202.53/48.17	c (29,0) x[7] = 5
202.53/48.17	c (29,0) x[8] = 29
202.53/48.17	c (29,0) x[9] = 3
202.53/48.17	c (29,0) x[10] = 5
202.53/48.17	c (29,0) x[11] = 19
202.53/48.17	c (29,0) x[12] = 2
202.53/48.17	c (29,0) x[13] = 29
202.53/48.17	c (29,0) x[14] = 7
202.53/48.17	c (29,0) x[15] = 17
202.53/48.17	c (29,0) x[16] = 2
202.53/48.17	c (29,0) x[17] = 17
202.53/48.17	c (29,0) x[18] = 5
202.53/48.17	c (29,0) x[19] = 17
202.53/48.17	c (29,0) x[20] = 3
202.53/48.17	c (29,0) x[21] = 23
202.53/48.17	c (29,0) x[22] = 19
202.53/48.17	c (29,0) x[23] = 29
202.53/48.17	c (29,0) x[24] = 5
202.53/48.17	c (29,0) x[25] = 2
202.53/48.17	c (29,0) x[26] = 5
202.53/48.17	c (29,0) x[27] = 7
202.53/48.17	c (29,0) x[28] = 19
202.53/48.17	c (29,0) x[29] = 13
202.53/48.17	c (29,0) x[30] = 29
202.53/48.17	c (29,0) x[31] = 5
202.53/48.17	c (29,0) x[32] = 5
202.53/48.17	c (29,0) x[33] = 23
202.53/48.17	c (29,0) x[34] = 29
202.53/48.17	c (29,0) x[35] = 19
202.53/48.17	c (29,0) x[36] = 9
202.53/48.17	c (29,0) x[37] = 17
202.53/48.17	c (29,0) x[38] = 3
202.53/48.17	c (29,0) x[39] = 5
202.53/48.17	c (29,0) x[40] = 29
202.53/48.17	c (29,0) x[41] = 7
202.53/48.17	c (29,0) x[42] = 3
202.53/48.17	c (29,0) x[43] = 29
202.53/48.17	c (29,0) x[44] = 11
202.53/48.17	c (29,0) x[45] = 19
202.53/48.17	c (29,0) x[46] = 23
202.53/48.17	c (29,0) x[47] = 11
202.53/48.17	c (29,0) x[48] = 13
202.53/48.17	c (29,0) x[49] = 2
202.53/48.17	c (29,0) x[50] = 7
202.53/48.17	c (29,0) x[51] = 17
202.53/48.17	c (29,0) x[52] = 10
202.53/48.17	c (29,0) x[53] = 2
202.53/48.17	c (29,0) x[54] = 17
202.53/48.17	c (29,0) x[55] = 7
202.53/48.17	c (29,0) x[56] = 5
202.53/48.17	c (29,0) x[57] = 2
202.53/48.17	c (29,0) x[58] = 17
202.53/48.17	c (29,0) x[59] = 3
202.53/48.17	c (29,0) x[60] = 13
202.53/48.17	c (29,0) x[61] = 13
202.53/48.17	c (29,0) x[62] = 11
202.53/48.17	c (29,0) x[63] = 19
202.53/48.17	c (29,0) x[64] = 17
202.53/48.17	c (29,0) x[65] = 13
202.53/48.17	c (29,0) x[66] = 17
202.53/48.17	c (29,0) x[67] = 29
202.53/48.17	c (29,0) x[68] = 7
202.53/48.17	c (29,0) x[69] = 19
202.53/48.17	c (29,0) x[70] = 11
202.53/48.17	c (29,0) x[71] = 13
202.53/48.17	c (29,0) x[72] = 5
202.53/48.17	c (29,0) x[73] = 13
202.53/48.17	c (29,0) x[74] = 11
202.53/48.17	c (29,0) x[75] = 19
202.53/48.17	c (29,0) x[76] = 11
202.53/48.17	c (29,0) x[78] = 7
202.53/48.17	c (29,0) x[79] = 2
202.53/48.17	c (29,0) x[80] = 19
202.53/48.17	c (29,0) x[81] = 23
202.53/48.17	c (29,0) x[82] = 17
202.53/48.17	c (29,0) x[83] = 23
202.53/48.17	c (29,0) x[84] = 23
202.53/48.17	c (29,0) x[85] = 11
202.53/48.18	c (29,0) x[86] = 7
202.53/48.18	c (29,0) x[87] = 3
202.53/48.18	c (29,0) x[88] = 11
202.53/48.18	c (29,0) x[89] = 29
202.53/48.18	c (29,0) x[90] = 5
202.53/48.18	c (29,0) x[91] = 2
202.53/48.18	c (29,0) x[92] = 17
202.53/48.18	c (29,0) x[93] = 23
202.53/48.18	c (29,0) x[94] = 29
202.53/48.18	c (29,0) x[95] = 5
202.53/48.18	c (29,0) x[96] = 17
202.53/48.18	c (29,0) x[97] = 17
202.53/48.18	c (29,0) x[98] = 11
202.53/48.18	c (29,0) x[99] = 29
202.53/48.18	s SATISFIABLE
202.53/48.18	v <instantiation>
202.53/48.18	v     <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[78] x[79] x[80] x[81] x[82] x[83] x[84] x[85] x[86] x[87] x[88] x[89] x[90] x[91] x[92] x[93] x[94] x[95] x[96] x[97] x[98] x[99]</list>
202.53/48.18	v     <values>7 17 19 13 7 13 17 5 29 3 5 19 2 29 7 17 2 17 5 17 3 23 19 29 5 2 5 7 19 13 29 5 5 23 29 19 9 17 3 5 29 7 3 29 11 19 23 11 13 2 7 17 10 2 17 7 5 2 17 3 13 13 11 19 17 13 17 29 7 19 11 13 5 13 11 19 11 7 2 19 23 17 23 23 11 7 3 11 29 5 2 17 23 29 5 17 17 11 29</values>
202.53/48.18	v </instantiation>
202.53/48.18	c (29,0) Show results End
202.53/48.18	c (29,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB)
202.53/48.18	c (29,0) 29,29,STOP-AFTER(ALL)
202.53/48.18	c END-Prog: Sat Sep 14 06:00:10 CEST 2019

Verifier Data 

OK

Watcher Data 

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (10576 MiB free)
  memory of node 1: 16384 MiB (13444 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392365-1568433602/watcher-4392365-1568433602 -o /tmp/evaluation-result-4392365-1568433602/solver-4392365-1568433602 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node140-1568430400-14914 --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-4392365-1568433602.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=16277, runsolver pid=16274
Current StackSize limit: 8192 KiB


[startup+0.100154 s]*
/proc/loadavg: 8.48 7.80 7.45 2/211 16299
/proc/meminfo: memFree=24502892/32770624 swapFree=66999300/67108860
[pid=16277] ppid=16274 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/16277/stat : 16277 (scop.sh) S 16274 16277 14887 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 419298696 115843072 348 33554432000 4194304 5098028 140736511093536 140736511090792 140566192861820 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 28557312 140736511099685 140736511100012 140736511100012 140736511102925 0
/proc/16277/statm: 28282 348 296 221 0 87 0
[pid=16280] ppid=16277 vsize=27314120 memory=106404 CPUtime=0.1 cores=0-7
/proc/16280/stat : 16280 (java) S 16277 16277 14887 0 -1 1077944320 6624 0 0 0 8 2 0 0 20 0 20 0 419298696 27969658880 26601 33554432000 4194304 4196468 140731702430496 140731702413040 140645843934967 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 16433152 140731702432491 140731702432918 140731702432918 140731702435791 0
/proc/16280/statm: 6828530 26601 2812 1 0 6790935 0
[pid=16280/tid=16281] ppid=16277 vsize=27314120 memory=7825737110625622431 CPUtime=0.08 cores=0-7
/proc/16280/task/16281/stat : 16281 (java) R 16277 16277 14887 0 -1 4202560 4708 0 0 0 6 2 0 0 20 0 20 0 419298696 27969658880 26601 33554432000 4194304 4196468 140731702430496 140645815761296 140645836172094 0 4 2 16800973 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 16433152 140731702432491 140731702432918 140731702432918 140731702435791 0
[pid=16280/tid=16282] ppid=16277 vsize=27314120 memory=732370480129510373 CPUtime=0 cores=0-7
/proc/16280/task/16282/stat : 16282 (java) S 16277 16277 14887 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419298699 27969658880 26601 33554432000 4194304 4196468 140731702430496 140645848177808 140645843945173 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16433152 140731702432491 140731702432918 140731702432918 140731702435791 0
[pid=16280/tid=16283] ppid=16277 vsize=27314120 memory=140341792056960 CPUtime=0 cores=0-7
/proc/16280/task/16283/stat : 16283 (java) S 16277 16277 14887 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419298699 27969658880 26601 33554432000 4194304 4196468 140731702430496 140645631573008 140645843945173 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16433152 140731702432491 140731702432918 140731702432918 140731702435791 0
[pid=16280/tid=16284] ppid=16277 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16280/task/16284/stat : 16284 (java) S 16277 16277 14887 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419298699 27969658880 26601 33554432000 4194304 4196468 140731702430496 140645630520208 140645843945173 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16433152 140731702432491 140731702432918 140731702432918 140731702435791 0
[pid=16280/tid=16285] ppid=16277 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16280/task/16285/stat : 16285 (java) S 16277 16277 14887 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419298699 27969658880 26601 33554432000 4194304 4196468 140731702430496 140645629467408 140645843945173 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16433152 140731702432491 140731702432918 140731702432918 140731702435791 0
[pid=16280/tid=16286] ppid=16277 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16280/task/16286/stat : 16286 (java) S 16277 16277 14887 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419298699 27969658880 26601 33554432000 4194304 4196468 140731702430496 140645628414608 140645843945173 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16433152 140731702432491 140731702432918 140731702432918 140731702435791 0
[pid=16280/tid=16287] ppid=16277 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/16280/task/16287/stat : 16287 (java) S 16277 16277 14887 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419298699 27969658880 26601 33554432000 4194304 4196468 140731702430496 140645627361808 140645843945173 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16433152 140731702432491 140731702432918 140731702432918 140731702435791 0
[pid=16280/tid=16288] ppid=16277 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16280/task/16288/stat : 16288 (java) S 16277 16277 14887 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419298699 27969658880 26601 33554432000 4194304 4196468 140731702430496 140645626309008 140645843945173 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16433152 140731702432491 140731702432918 140731702432918 140731702435791 0
[pid=16280/tid=16289] ppid=16277 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16280/task/16289/stat : 16289 (java) S 16277 16277 14887 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419298699 27969658880 26601 33554432000 4194304 4196468 140731702430496 140645625256208 140645843945173 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16433152 140731702432491 140731702432918 140731702432918 140731702435791 0
[pid=16280/tid=16290] ppid=16277 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16280/task/16290/stat : 16290 (java) S 16277 16277 14887 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419298700 27969658880 26601 33554432000 4194304 4196468 140731702430496 140644478745456 140645843946114 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16433152 140731702432491 140731702432918 140731702432918 140731702435791 0
[pid=16280/tid=16291] ppid=16277 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16280/task/16291/stat : 16291 (java) S 16277 16277 14887 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419298701 27969658880 26601 33554432000 4194304 4196468 140731702430496 140643603047968 140645843945173 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16433152 140731702432491 140731702432918 140731702432918 140731702435791 0
[pid=16280/tid=16292] ppid=16277 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16280/task/16292/stat : 16292 (java) S 16277 16277 14887 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419298701 27969658880 26601 33554432000 4194304 4196468 140731702430496 140643334612336 140645843945173 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16433152 140731702432491 140731702432918 140731702432918 140731702435791 0
[pid=16280/tid=16293] ppid=16277 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16280/task/16293/stat : 16293 (java) S 16277 16277 14887 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419298703 27969658880 26601 33554432000 4194304 4196468 140731702430496 140642960103760 140645843953563 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16433152 140731702432491 140731702432918 140731702432918 140731702435791 0
[pid=16280/tid=16294] ppid=16277 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16280/task/16294/stat : 16294 (java) S 16277 16277 14887 0 -1 1077944384 307 0 0 0 0 0 0 0 20 0 20 0 419298703 27969658880 26601 33554432000 4194304 4196468 140731702430496 140644477692272 140645843946114 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16433152 140731702432491 140731702432918 140731702432918 140731702435791 0
[pid=16280/tid=16295] ppid=16277 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16280/task/16295/stat : 16295 (java) S 16277 16277 14887 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419298703 27969658880 26601 33554432000 4194304 4196468 140731702430496 140644476639472 140645843946114 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16433152 140731702432491 140731702432918 140731702432918 140731702435791 0
[pid=16280/tid=16296] ppid=16277 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16280/task/16296/stat : 16296 (java) S 16277 16277 14887 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419298703 27969658880 26601 33554432000 4194304 4196468 140731702430496 140644408354928 140645843946114 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16433152 140731702432491 140731702432918 140731702432918 140731702435791 0
[pid=16280/tid=16297] ppid=16277 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16280/task/16297/stat : 16297 (java) S 16277 16277 14887 0 -1 1077944384 265 0 0 0 0 0 0 0 20 0 20 0 419298703 27969658880 26601 33554432000 4194304 4196468 140731702430496 140644407302128 140645843946114 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16433152 140731702432491 140731702432918 140731702432918 140731702435791 0
[pid=16280/tid=16298] ppid=16277 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16280/task/16298/stat : 16298 (java) S 16277 16277 14887 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419298704 27969658880 26601 33554432000 4194304 4196468 140731702430496 140642462198880 140645843945173 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16433152 140731702432491 140731702432918 140731702432918 140731702435791 0
[pid=16280/tid=16299] ppid=16277 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/16280/task/16299/stat : 16299 (java) S 16277 16277 14887 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419298704 27969658880 26601 33554432000 4194304 4196468 140731702430496 140644406250544 140645843946114 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16433152 140731702432491 140731702432918 140731702432918 140731702435791 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 107796 KiB

[startup+0.210263 s]*
/proc/loadavg: 8.48 7.80 7.45 3/211 16299
/proc/meminfo: memFree=24484012/32770624 swapFree=66999300/67108860
[pid=16277] ppid=16274 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/16277/stat : 16277 (scop.sh) S 16274 16277 14887 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 419298696 115843072 348 33554432000 4194304 5098028 140736511093536 140736511090792 140566192861820 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 28557312 140736511099685 140736511100012 140736511100012 140736511102925 0
/proc/16277/statm: 28282 348 296 221 0 87 0
[pid=16280] ppid=16277 vsize=27314120 memory=122964 CPUtime=0.24 cores=0-7
/proc/16280/stat : 16280 (java) S 16277 16277 14887 0 -1 1077944320 11631 0 0 0 20 4 0 0 20 0 20 0 419298696 27969658880 30741 33554432000 4194304 4196468 140731702430496 140731702413040 140645843934967 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 16433152 140731702432491 140731702432918 140731702432918 140731702435791 0
/proc/16280/statm: 6828530 30741 2915 1 0 6790935 0
[pid=16280/tid=16281] ppid=16277 vsize=27314120 memory=0 CPUtime=0.19 cores=0-7
/proc/16280/task/16281/stat : 16281 (java) R 16277 16277 14887 0 -1 4202560 9314 0 0 0 16 3 0 0 20 0 20 0 419298696 27969658880 30741 33554432000 4194304 4196468 140731702430496 140645815734352 140645825498496 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16433152 140731702432491 140731702432918 140731702432918 140731702435791 0
[pid=16280/tid=16282] ppid=16277 vsize=27314120 memory=732370480129510373 CPUtime=0 cores=0-7
/proc/16280/task/16282/stat : 16282 (java) S 16277 16277 14887 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419298699 27969658880 30741 33554432000 4194304 4196468 140731702430496 140645848177808 140645843945173 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16433152 140731702432491 140731702432918 140731702432918 140731702435791 0
[pid=16280/tid=16283] ppid=16277 vsize=27314120 memory=140341792056960 CPUtime=0 cores=0-7
/proc/16280/task/16283/stat : 16283 (java) S 16277 16277 14887 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419298699 27969658880 30741 33554432000 4194304 4196468 140731702430496 140645631573008 140645843945173 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16433152 140731702432491 140731702432918 140731702432918 140731702435791 0
[pid=16280/tid=16284] ppid=16277 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16280/task/16284/stat : 16284 (java) S 16277 16277 14887 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419298699 27969658880 30741 33554432000 4194304 4196468 140731702430496 140645630520208 140645843945173 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16433152 140731702432491 140731702432918 140731702432918 140731702435791 0
[pid=16280/tid=16285] ppid=16277 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16280/task/16285/stat : 16285 (java) S 16277 16277 14887 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419298699 27969658880 30741 33554432000 4194304 4196468 140731702430496 140645629467408 140645843945173 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16433152 140731702432491 140731702432918 140731702432918 140731702435791 0
[pid=16280/tid=16286] ppid=16277 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16280/task/16286/stat : 16286 (java) S 16277 16277 14887 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419298699 27969658880 30741 33554432000 4194304 4196468 140731702430496 140645628414608 140645843945173 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16433152 140731702432491 140731702432918 140731702432918 140731702435791 0
[pid=16280/tid=16287] ppid=16277 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/16280/task/16287/stat : 16287 (java) S 16277 16277 14887 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419298699 27969658880 30741 33554432000 4194304 4196468 140731702430496 140645627361808 140645843945173 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16433152 140731702432491 140731702432918 140731702432918 140731702435791 0
[pid=16280/tid=16288] ppid=16277 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16280/task/16288/stat : 16288 (java) S 16277 16277 14887 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419298699 27969658880 30741 33554432000 4194304 4196468 140731702430496 140645626309008 140645843945173 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16433152 140731702432491 140731702432918 140731702432918 140731702435791 0
[pid=16280/tid=16289] ppid=16277 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16280/task/16289/stat : 16289 (java) S 16277 16277 14887 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419298699 27969658880 30741 33554432000 4194304 4196468 140731702430496 140645625256208 140645843945173 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16433152 140731702432491 140731702432918 140731702432918 140731702435791 0
[pid=16280/tid=16290] ppid=16277 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16280/task/16290/stat : 16290 (java) S 16277 16277 14887 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419298700 27969658880 30741 33554432000 4194304 4196468 140731702430496 140644478745456 140645843946114 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16433152 140731702432491 140731702432918 140731702432918 140731702435791 0
[pid=16280/tid=16291] ppid=16277 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16280/task/16291/stat : 16291 (java) S 16277 16277 14887 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419298701 27969658880 30741 33554432000 4194304 4196468 140731702430496 140643603047968 140645843945173 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16433152 140731702432491 140731702432918 140731702432918 140731702435791 0
[pid=16280/tid=16292] ppid=16277 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16280/task/16292/stat : 16292 (java) S 16277 16277 14887 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419298701 27969658880 30741 33554432000 4194304 4196468 140731702430496 140643334612336 140645843945173 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16433152 140731702432491 140731702432918 140731702432918 140731702435791 0
[pid=16280/tid=16293] ppid=16277 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16280/task/16293/stat : 16293 (java) S 16277 16277 14887 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419298703 27969658880 30741 33554432000 4194304 4196468 140731702430496 140642960103760 140645843953563 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16433152 140731702432491 140731702432918 140731702432918 140731702435791 0
[pid=16280/tid=16294] ppid=16277 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16280/task/16294/stat : 16294 (java) S 16277 16277 14887 0 -1 1077944384 341 0 0 0 0 0 0 0 20 0 20 0 419298703 27969658880 30741 33554432000 4194304 4196468 140731702430496 140644477692272 140645843946114 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16433152 140731702432491 140731702432918 140731702432918 140731702435791 0
[pid=16280/tid=16295] ppid=16277 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16280/task/16295/stat : 16295 (java) S 16277 16277 14887 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 20 0 419298703 27969658880 30741 33554432000 4194304 4196468 140731702430496 140644476639472 140645843946114 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16433152 140731702432491 140731702432918 140731702432918 140731702435791 0
[pid=16280/tid=16296] ppid=16277 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16280/task/16296/stat : 16296 (java) S 16277 16277 14887 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 20 0 419298703 27969658880 30741 33554432000 4194304 4196468 140731702430496 140644408354928 140645843946114 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16433152 140731702432491 140731702432918 140731702432918 140731702435791 0
[pid=16280/tid=16297] ppid=16277 vsize=27314120 memory=0 CPUtime=0.02 cores=0-7
/proc/16280/task/16297/stat : 16297 (java) S 16277 16277 14887 0 -1 1077944384 493 0 0 0 2 0 0 0 20 0 20 0 419298703 27969658880 30741 33554432000 4194304 4196468 140731702430496 140644407302128 140645843946114 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16433152 140731702432491 140731702432918 140731702432918 140731702435791 0
[pid=16280/tid=16298] ppid=16277 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16280/task/16298/stat : 16298 (java) S 16277 16277 14887 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419298704 27969658880 30741 33554432000 4194304 4196468 140731702430496 140642462198880 140645843945173 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16433152 140731702432491 140731702432918 140731702432918 140731702435791 0
[pid=16280/tid=16299] ppid=16277 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/16280/task/16299/stat : 16299 (java) S 16277 16277 14887 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419298704 27969658880 30741 33554432000 4194304 4196468 140731702430496 140644406250544 140645843946114 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16433152 140731702432491 140731702432918 140731702432918 140731702435791 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 124356 KiB

[startup+0.309653 s]*
/proc/loadavg: 8.48 7.80 7.45 2/211 16299
/proc/meminfo: memFree=24480380/32770624 swapFree=66999300/67108860
[pid=16277] ppid=16274 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/16277/stat : 16277 (scop.sh) S 16274 16277 14887 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 419298696 115843072 348 33554432000 4194304 5098028 140736511093536 140736511090792 140566192861820 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 28557312 140736511099685 140736511100012 140736511100012 140736511102925 0
/proc/16277/statm: 28282 348 296 221 0 87 0
[pid=16280] ppid=16277 vsize=27314120 memory=127592 CPUtime=0.42 cores=0-7
/proc/16280/stat : 16280 (java) S 16277 16277 14887 0 -1 1077944320 12749 0 0 0 37 5 0 0 20 0 20 0 419298696 27969658880 31898 33554432000 4194304 4196468 140731702430496 140731702413040 140645843934967 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 16433152 140731702432491 140731702432918 140731702432918 140731702435791 0
/proc/16280/statm: 6828530 31898 3017 1 0 6790935 0
[pid=16280/tid=16281] ppid=16277 vsize=27314120 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/16280/task/16281/stat : 16281 (java) R 16277 16277 14887 0 -1 4202560 10241 0 0 0 25 4 0 0 20 0 20 0 419298696 27969658880 31898 33554432000 4194304 4196468 140731702430496 140645815765040 140645825498536 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16433152 140731702432491 140731702432918 140731702432918 140731702435791 0
[pid=16280/tid=16282] ppid=16277 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16280/task/16282/stat : 16282 (java) S 16277 16277 14887 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419298699 27969658880 31898 33554432000 4194304 4196468 140731702430496 140645848177808 140645843945173 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16433152 140731702432491 140731702432918 140731702432918 140731702435791 0
[pid=16280/tid=16283] ppid=16277 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16280/task/16283/stat : 16283 (java) S 16277 16277 14887 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419298699 27969658880 31898 33554432000 4194304 4196468 140731702430496 140645631573008 140645843945173 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16433152 140731702432491 140731702432918 140731702432918 140731702435791 0
[pid=16280/tid=16284] ppid=16277 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16280/task/16284/stat : 16284 (java) S 16277 16277 14887 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419298699 27969658880 31898 33554432000 4194304 4196468 140731702430496 140645630520208 140645843945173 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16433152 140731702432491 140731702432918 140731702432918 140731702435791 0
[pid=16280/tid=16285] ppid=16277 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16280/task/16285/stat : 16285 (java) S 16277 16277 14887 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419298699 27969658880 31898 33554432000 4194304 4196468 140731702430496 140645629467408 140645843945173 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16433152 140731702432491 140731702432918 140731702432918 140731702435791 0
[pid=16280/tid=16286] ppid=16277 vsize=27314120 memory=2244 CPUtime=0 cores=0-7
/proc/16280/task/16286/stat : 16286 (java) S 16277 16277 14887 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419298699 27969658880 31898 33554432000 4194304 4196468 140731702430496 140645628414608 140645843945173 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16433152 140731702432491 140731702432918 140731702432918 140731702435791 0
[pid=16280/tid=16287] ppid=16277 vsize=27314120 memory=140341680370607 CPUtime=0 cores=0-7
/proc/16280/task/16287/stat : 16287 (java) S 16277 16277 14887 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419298699 27969658880 31898 33554432000 4194304 4196468 140731702430496 140645627361808 140645843945173 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16433152 140731702432491 140731702432918 140731702432918 140731702435791 0
[pid=16280/tid=16288] ppid=16277 vsize=27314120 memory=140341680372912 CPUtime=0 cores=0-7
/proc/16280/task/16288/stat : 16288 (java) S 16277 16277 14887 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419298699 27969658880 31898 33554432000 4194304 4196468 140731702430496 140645626309008 140645843945173 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16433152 140731702432491 140731702432918 140731702432918 140731702435791 0
[pid=16280/tid=16289] ppid=16277 vsize=27314120 memory=140341680375216 CPUtime=0 cores=0-7
/proc/16280/task/16289/stat : 16289 (java) S 16277 16277 14887 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419298699 27969658880 31898 33554432000 4194304 4196468 140731702430496 140645625256208 140645843945173 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16433152 140731702432491 140731702432918 140731702432918 140731702435791 0
[pid=16280/tid=16290] ppid=16277 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16280/task/16290/stat : 16290 (java) S 16277 16277 14887 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419298700 27969658880 31898 33554432000 4194304 4196468 140731702430496 140644478745456 140645843946114 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16433152 140731702432491 140731702432918 140731702432918 140731702435791 0
[pid=16280/tid=16291] ppid=16277 vsize=27314120 memory=280683360757392 CPUtime=0 cores=0-7
/proc/16280/task/16291/stat : 16291 (java) S 16277 16277 14887 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419298701 27969658880 31898 33554432000 4194304 4196468 140731702430496 140643603047968 140645843945173 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16433152 140731702432491 140731702432918 140731702432918 140731702435791 0
[pid=16280/tid=16292] ppid=16277 vsize=27314120 memory=280683360764304 CPUtime=0 cores=0-7
/proc/16280/task/16292/stat : 16292 (java) S 16277 16277 14887 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419298701 27969658880 31898 33554432000 4194304 4196468 140731702430496 140643334612336 140645843945173 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16433152 140731702432491 140731702432918 140731702432918 140731702435791 0
[pid=16280/tid=16293] ppid=16277 vsize=27314120 memory=280683360705456 CPUtime=0 cores=0-7
/proc/16280/task/16293/stat : 16293 (java) S 16277 16277 14887 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419298703 27969658880 31898 33554432000 4194304 4196468 140731702430496 140642960103760 140645843953563 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16433152 140731702432491 140731702432918 140731702432918 140731702435791 0
[pid=16280/tid=16294] ppid=16277 vsize=27314120 memory=280683360778128 CPUtime=0.01 cores=0-7
/proc/16280/task/16294/stat : 16294 (java) S 16277 16277 14887 0 -1 1077944384 384 0 0 0 1 0 0 0 20 0 20 0 419298703 27969658880 31898 33554432000 4194304 4196468 140731702430496 140644477692272 140645843946114 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16433152 140731702432491 140731702432918 140731702432918 140731702435791 0
[pid=16280/tid=16295] ppid=16277 vsize=27314120 memory=280683360785040 CPUtime=0 cores=0-7
/proc/16280/task/16295/stat : 16295 (java) S 16277 16277 14887 0 -1 1077944384 142 0 0 0 0 0 0 0 20 0 20 0 419298703 27969658880 31898 33554432000 4194304 4196468 140731702430496 140644476639472 140645843946114 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16433152 140731702432491 140731702432918 140731702432918 140731702435791 0
[pid=16280/tid=16296] ppid=16277 vsize=27314120 memory=280683360782736 CPUtime=0.01 cores=0-7
/proc/16280/task/16296/stat : 16296 (java) S 16277 16277 14887 0 -1 1077944384 100 0 0 0 1 0 0 0 20 0 20 0 419298703 27969658880 31898 33554432000 4194304 4196468 140731702430496 140644408354928 140645843946114 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16433152 140731702432491 140731702432918 140731702432918 140731702435791 0
[pid=16280/tid=16297] ppid=16277 vsize=27314120 memory=280683360798896 CPUtime=0.07 cores=0-7
/proc/16280/task/16297/stat : 16297 (java) S 16277 16277 14887 0 -1 1077944384 540 0 0 0 7 0 0 0 20 0 20 0 419298703 27969658880 31898 33554432000 4194304 4196468 140731702430496 140644407302128 140645843946114 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16433152 140731702432491 140731702432918 140731702432918 140731702435791 0
[pid=16280/tid=16298] ppid=16277 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16280/task/16298/stat : 16298 (java) S 16277 16277 14887 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419298704 27969658880 31898 33554432000 4194304 4196468 140731702430496 140642462198880 140645843945173 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16433152 140731702432491 140731702432918 140731702432918 140731702435791 0
[pid=16280/tid=16299] ppid=16277 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/16280/task/16299/stat : 16299 (java) S 16277 16277 14887 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419298704 27969658880 31898 33554432000 4194304 4196468 140731702430496 140644406250544 140645843946114 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16433152 140731702432491 140731702432918 140731702432918 140731702435791 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 128984 KiB

[startup+0.700938 s]
/proc/loadavg: 8.48 7.80 7.45 3/211 16299
/proc/meminfo: memFree=24457412/32770624 swapFree=66999300/67108860
[pid=16277] ppid=16274 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/16277/stat : 16277 (scop.sh) S 16274 16277 14887 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 419298696 115843072 348 33554432000 4194304 5098028 140736511093536 140736511090792 140566192861820 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 28557312 140736511099685 140736511100012 140736511100012 140736511102925 0
/proc/16277/statm: 28282 348 296 221 0 87 0
[pid=16280] ppid=16277 vsize=27322440 memory=165832 CPUtime=1.01 cores=0-7
/proc/16280/stat : 16280 (java) S 16277 16277 14887 0 -1 1077944320 20538 0 0 0 95 6 0 0 20 0 20 0 419298696 27978178560 41458 33554432000 4194304 4196468 140731702430496 140731702413040 140645843934967 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 16433152 140731702432491 140731702432918 140731702432918 140731702435791 0
/proc/16280/statm: 6830610 41458 3153 1 0 6791959 0
[pid=16280/tid=16281] ppid=16277 vsize=27322440 memory=280683361093824 CPUtime=0.68 cores=0-7
/proc/16280/task/16281/stat : 16281 (java) R 16277 16277 14887 0 -1 4202560 17438 0 0 0 62 6 0 0 20 0 20 0 419298696 27978178560 41458 33554432000 4194304 4196468 140731702430496 140645815770944 140645828015454 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 16433152 140731702432491 140731702432918 140731702432918 140731702435791 0
[pid=16280/tid=16282] ppid=16277 vsize=27322440 memory=1540 CPUtime=0 cores=0-7
/proc/16280/task/16282/stat : 16282 (java) S 16277 16277 14887 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419298699 27978178560 41458 33554432000 4194304 4196468 140731702430496 140645848177808 140645843945173 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16433152 140731702432491 140731702432918 140731702432918 140731702435791 0
[pid=16280/tid=16283] ppid=16277 vsize=27322440 memory=772 CPUtime=0 cores=0-7
/proc/16280/task/16283/stat : 16283 (java) S 16277 16277 14887 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419298699 27978178560 41458 33554432000 4194304 4196468 140731702430496 140645631573008 140645843945173 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16433152 140731702432491 140731702432918 140731702432918 140731702435791 0
[pid=16280/tid=16284] ppid=16277 vsize=27322440 memory=10596 CPUtime=0 cores=0-7
/proc/16280/task/16284/stat : 16284 (java) S 16277 16277 14887 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419298699 27978178560 41458 33554432000 4194304 4196468 140731702430496 140645630520208 140645843945173 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16433152 140731702432491 140731702432918 140731702432918 140731702435791 0

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

[pid=16301/tid=16304] ppid=16277 vsize=8414124 memory=1048 CPUtime=0 cores=0-7
/proc/16301/task/16304/stat : 16304 (java) S 16277 16277 14887 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419300524 8616062976 29925 33554432000 4194304 4196468 140731769203056 139699748670096 139699944269525 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39141376 140731769209847 140731769210006 140731769210006 140731769212879 0
[pid=16301/tid=16305] ppid=16277 vsize=8414124 memory=5900 CPUtime=0 cores=0-7
/proc/16301/task/16305/stat : 16305 (java) S 16277 16277 14887 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419300524 8616062976 29925 33554432000 4194304 4196468 140731769203056 139699747617040 139699944269525 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39141376 140731769209847 140731769210006 140731769210006 140731769212879 0
[pid=16301/tid=16306] ppid=16277 vsize=8414124 memory=1472 CPUtime=0 cores=0-7
/proc/16301/task/16306/stat : 16306 (java) S 16277 16277 14887 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419300524 8616062976 29925 33554432000 4194304 4196468 140731769203056 139699746564496 139699944269525 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39141376 140731769209847 140731769210006 140731769210006 140731769212879 0
[pid=16301/tid=16307] ppid=16277 vsize=8414124 memory=119700 CPUtime=0 cores=0-7
/proc/16301/task/16307/stat : 16307 (java) S 16277 16277 14887 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419300524 8616062976 29925 33554432000 4194304 4196468 140731769203056 139699745512464 139699944269525 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39141376 140731769209847 140731769210006 140731769210006 140731769212879 0
[pid=16301/tid=16308] ppid=16277 vsize=8414124 memory=4970888 CPUtime=0 cores=0-7
/proc/16301/task/16308/stat : 16308 (java) S 16277 16277 14887 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419300524 8616062976 29925 33554432000 4194304 4196468 140731769203056 139699744459920 139699944269525 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39141376 140731769209847 140731769210006 140731769210006 140731769212879 0
[pid=16301/tid=16309] ppid=16277 vsize=8414124 memory=6656426216303648864 CPUtime=0 cores=0-7
/proc/16301/task/16309/stat : 16309 (java) S 16277 16277 14887 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419300524 8616062976 29925 33554432000 4194304 4196468 140731769203056 139699743406864 139699944269525 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39141376 140731769209847 140731769210006 140731769210006 140731769212879 0
[pid=16301/tid=16310] ppid=16277 vsize=8414124 memory=6944656592455359580 CPUtime=0 cores=0-7
/proc/16301/task/16310/stat : 16310 (java) S 16277 16277 14887 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419300524 8616062976 29925 33554432000 4194304 4196468 140731769203056 139699742354320 139699944269525 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39141376 140731769209847 140731769210006 140731769210006 140731769212879 0
[pid=16301/tid=16311] ppid=16277 vsize=8414124 memory=6944652177228980320 CPUtime=0 cores=0-7
/proc/16301/task/16311/stat : 16311 (java) S 16277 16277 14887 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 419300525 8616062976 29925 33554432000 4194304 4196468 140731769203056 139698903148784 139699944270466 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39141376 140731769209847 140731769210006 140731769210006 140731769212879 0
[pid=16301/tid=16312] ppid=16277 vsize=8414124 memory=8049867166153220215 CPUtime=0 cores=0-7
/proc/16301/task/16312/stat : 16312 (java) S 16277 16277 14887 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 419300526 8616062976 29925 33554432000 4194304 4196468 140731769203056 139698576024736 139699944269525 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39141376 140731769209847 140731769210006 140731769210006 140731769212879 0
[pid=16301/tid=16313] ppid=16277 vsize=8414124 memory=6943526294502006880 CPUtime=0 cores=0-7
/proc/16301/task/16313/stat : 16313 (java) S 16277 16277 14887 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419300526 8616062976 29925 33554432000 4194304 4196468 140731769203056 139698307588848 139699944269525 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39141376 140731769209847 140731769210006 140731769210006 140731769212879 0
[pid=16301/tid=16314] ppid=16277 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/16301/task/16314/stat : 16314 (java) S 16277 16277 14887 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419300528 8616062976 29925 33554432000 4194304 4196468 140731769203056 139697933080528 139699944277915 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39141376 140731769209847 140731769210006 140731769210006 140731769212879 0
[pid=16301/tid=16315] ppid=16277 vsize=8414124 memory=0 CPUtime=0.02 cores=0-7
/proc/16301/task/16315/stat : 16315 (java) S 16277 16277 14887 0 -1 1077944384 391 0 0 0 2 0 0 0 20 0 24 0 419300528 8616062976 29925 33554432000 4194304 4196468 140731769203056 139698902096624 139699944270466 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39141376 140731769209847 140731769210006 140731769210006 140731769212879 0
[pid=16301/tid=16316] ppid=16277 vsize=8414124 memory=2053 CPUtime=0.08 cores=0-7
/proc/16301/task/16316/stat : 16316 (java) S 16277 16277 14887 0 -1 1077944384 409 0 0 0 8 0 0 0 20 0 24 0 419300528 8616062976 29925 33554432000 4194304 4196468 140731769203056 139698901044080 139699944270466 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39141376 140731769209847 140731769210006 140731769210006 140731769212879 0
[pid=16301/tid=16317] ppid=16277 vsize=8414124 memory=75 CPUtime=0.05 cores=0-7
/proc/16301/task/16317/stat : 16317 (java) S 16277 16277 14887 0 -1 1077944384 301 0 0 0 5 0 0 0 20 0 24 0 419300528 8616062976 29925 33554432000 4194304 4196468 140731769203056 139698899991024 139699944270466 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39141376 140731769209847 140731769210006 140731769210006 140731769212879 0
[pid=16301/tid=16318] ppid=16277 vsize=8414124 memory=0 CPUtime=0.2 cores=0-7
/proc/16301/task/16318/stat : 16318 (java) S 16277 16277 14887 0 -1 1077944384 560 0 0 0 20 0 0 0 20 0 24 0 419300528 8616062976 29925 33554432000 4194304 4196468 140731769203056 139698898938480 139699944270466 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39141376 140731769209847 140731769210006 140731769210006 140731769212879 0
[pid=16301/tid=16319] ppid=16277 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/16301/task/16319/stat : 16319 (java) S 16277 16277 14887 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419300529 8616062976 29925 33554432000 4194304 4196468 140731769203056 139697435175392 139699944269525 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39141376 140731769209847 140731769210006 140731769210006 140731769212879 0
[pid=16301/tid=16320] ppid=16277 vsize=8414124 memory=0 CPUtime=0.01 cores=0-7
/proc/16301/task/16320/stat : 16320 (java) S 16277 16277 14887 0 -1 1077944384 3 0 0 0 1 0 0 0 20 0 24 0 419300529 8616062976 29925 33554432000 4194304 4196468 140731769203056 139698897885872 139699944270466 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 24 0 0 6293624 6294260 39141376 140731769209847 140731769210006 140731769210006 140731769212879 0
[pid=16301/tid=16322] ppid=16277 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/16301/task/16322/stat : 16322 (java) S 16277 16277 14887 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 419300595 8616062976 29925 33554432000 4194304 4196468 140731769203056 139699247559616 139699944283929 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 39141376 140731769209847 140731769210006 140731769210006 140731769212879 0
[pid=16301/tid=16324] ppid=16277 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/16301/task/16324/stat : 16324 (java) S 16277 16277 14887 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 24 0 419300595 8616062976 29925 33554432000 4194304 4196468 140731769203056 139696764076048 139699944281245 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 39141376 140731769209847 140731769210006 140731769210006 140731769212879 0
[pid=16301/tid=16325] ppid=16277 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/16301/task/16325/stat : 16325 (java) S 16277 16277 14887 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 419300595 8616062976 29925 33554432000 4194304 4196468 140731769203056 139697032511632 139699944281245 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 39141376 140731769209847 140731769210006 140731769210006 140731769212879 0
[pid=16301/tid=16326] ppid=16277 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/16301/task/16326/stat : 16326 (java) S 16277 16277 14887 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 24 0 419300597 8616062976 29925 33554432000 4194304 4196468 140731769203056 139696495648176 139699944269525 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39141376 140731769209847 140731769210006 140731769210006 140731769212879 0
Current children cumulated CPU time: 200.95 s
Current children cumulated vsize: 14188620 KiB
Current children cumulated memory: 5092912 KiB

[startup+48.0011 s]*
/proc/loadavg: 6.71 7.35 7.32 2/217 16344
/proc/meminfo: memFree=20962540/32770624 swapFree=66999300/67108860
[pid=16277] ppid=16274 vsize=113128 memory=1472 CPUtime=21.93 cores=0-7
/proc/16277/stat : 16277 (scop.sh) S 16274 16277 14887 0 -1 4202496 582 31841 0 0 0 0 2043 150 20 0 1 0 419298696 115843072 368 33554432000 4194304 5098028 140736511093536 140736511090280 140566192861820 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 28557312 140736511099685 140736511100012 140736511100012 140736511102925 0
/proc/16277/statm: 28282 368 311 221 0 87 0
[pid=16301] ppid=16277 vsize=8414124 memory=136472 CPUtime=1.42 cores=0-7
/proc/16301/stat : 16301 (java) S 16277 16277 14887 0 -1 1077944320 22081 0 0 0 135 7 0 0 20 0 24 0 419300522 8616062976 34118 33554432000 4194304 4196468 140731769203056 140731769185600 139699944259319 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39141376 140731769209847 140731769210006 140731769210006 140731769212879 0
/proc/16301/statm: 2103531 34118 3217 1 0 2064875 0
[pid=16301/tid=16302] ppid=16277 vsize=8414124 memory=6791534058613427641 CPUtime=0.75 cores=0-7
/proc/16301/task/16302/stat : 16302 (java) S 16277 16277 14887 0 -1 1077944384 17370 0 0 0 70 5 0 0 20 0 24 0 419300522 8616062976 34118 33554432000 4194304 4196468 140731769203056 139699916099488 139699944269525 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39141376 140731769209847 140731769210006 140731769210006 140731769212879 0
[pid=16301/tid=16303] ppid=16277 vsize=8414124 memory=-7003737579269690708 CPUtime=0 cores=0-7
/proc/16301/task/16303/stat : 16303 (java) S 16277 16277 14887 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419300524 8616062976 34118 33554432000 4194304 4196468 140731769203056 139699948501520 139699944269525 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39141376 140731769209847 140731769210006 140731769210006 140731769212879 0
[pid=16301/tid=16304] ppid=16277 vsize=8414124 memory=10596 CPUtime=0 cores=0-7
/proc/16301/task/16304/stat : 16304 (java) S 16277 16277 14887 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419300524 8616062976 34118 33554432000 4194304 4196468 140731769203056 139699748670096 139699944269525 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39141376 140731769209847 140731769210006 140731769210006 140731769212879 0
[pid=16301/tid=16305] ppid=16277 vsize=8414124 memory=1712 CPUtime=0 cores=0-7
/proc/16301/task/16305/stat : 16305 (java) S 16277 16277 14887 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419300524 8616062976 34118 33554432000 4194304 4196468 140731769203056 139699747617040 139699944269525 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39141376 140731769209847 140731769210006 140731769210006 140731769212879 0
[pid=16301/tid=16306] ppid=16277 vsize=8414124 memory=988 CPUtime=0 cores=0-7
/proc/16301/task/16306/stat : 16306 (java) S 16277 16277 14887 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419300524 8616062976 34118 33554432000 4194304 4196468 140731769203056 139699746564496 139699944269525 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39141376 140731769209847 140731769210006 140731769210006 140731769212879 0
[pid=16301/tid=16307] ppid=16277 vsize=8414124 memory=4004 CPUtime=0 cores=0-7
/proc/16301/task/16307/stat : 16307 (java) S 16277 16277 14887 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419300524 8616062976 34118 33554432000 4194304 4196468 140731769203056 139699745512464 139699944269525 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39141376 140731769209847 140731769210006 140731769210006 140731769212879 0
[pid=16301/tid=16308] ppid=16277 vsize=8414124 memory=1804 CPUtime=0 cores=0-7
/proc/16301/task/16308/stat : 16308 (java) S 16277 16277 14887 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419300524 8616062976 34118 33554432000 4194304 4196468 140731769203056 139699744459920 139699944269525 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39141376 140731769209847 140731769210006 140731769210006 140731769212879 0
[pid=16301/tid=16309] ppid=16277 vsize=8414124 memory=916 CPUtime=0 cores=0-7
/proc/16301/task/16309/stat : 16309 (java) S 16277 16277 14887 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419300524 8616062976 34118 33554432000 4194304 4196468 140731769203056 139699743406864 139699944269525 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39141376 140731769209847 140731769210006 140731769210006 140731769212879 0
[pid=16301/tid=16310] ppid=16277 vsize=8414124 memory=4424 CPUtime=0 cores=0-7
/proc/16301/task/16310/stat : 16310 (java) S 16277 16277 14887 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419300524 8616062976 34118 33554432000 4194304 4196468 140731769203056 139699742354320 139699944269525 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39141376 140731769209847 140731769210006 140731769210006 140731769212879 0
[pid=16301/tid=16311] ppid=16277 vsize=8414124 memory=4100 CPUtime=0 cores=0-7
/proc/16301/task/16311/stat : 16311 (java) S 16277 16277 14887 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 419300525 8616062976 34118 33554432000 4194304 4196468 140731769203056 139698903148784 139699944270466 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39141376 140731769209847 140731769210006 140731769210006 140731769212879 0
[pid=16301/tid=16312] ppid=16277 vsize=8414124 memory=1412 CPUtime=0 cores=0-7
/proc/16301/task/16312/stat : 16312 (java) S 16277 16277 14887 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 419300526 8616062976 34118 33554432000 4194304 4196468 140731769203056 139698576024736 139699944269525 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39141376 140731769209847 140731769210006 140731769210006 140731769212879 0
[pid=16301/tid=16313] ppid=16277 vsize=8414124 memory=3296 CPUtime=0 cores=0-7
/proc/16301/task/16313/stat : 16313 (java) S 16277 16277 14887 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419300526 8616062976 34118 33554432000 4194304 4196468 140731769203056 139698307588848 139699944269525 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39141376 140731769209847 140731769210006 140731769210006 140731769212879 0
[pid=16301/tid=16314] ppid=16277 vsize=8414124 memory=1472 CPUtime=0 cores=0-7
/proc/16301/task/16314/stat : 16314 (java) S 16277 16277 14887 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419300528 8616062976 34118 33554432000 4194304 4196468 140731769203056 139697933080528 139699944277915 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39141376 140731769209847 140731769210006 140731769210006 140731769212879 0
[pid=16301/tid=16315] ppid=16277 vsize=8414124 memory=119700 CPUtime=0.07 cores=0-7
/proc/16301/task/16315/stat : 16315 (java) S 16277 16277 14887 0 -1 1077944384 725 0 0 0 7 0 0 0 20 0 24 0 419300528 8616062976 34118 33554432000 4194304 4196468 140731769203056 139698902096624 139699944270466 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39141376 140731769209847 140731769210006 140731769210006 140731769212879 0
[pid=16301/tid=16316] ppid=16277 vsize=8414124 memory=4956992 CPUtime=0.12 cores=0-7
/proc/16301/task/16316/stat : 16316 (java) S 16277 16277 14887 0 -1 1077944384 562 0 0 0 12 0 0 0 20 0 24 0 419300528 8616062976 34118 33554432000 4194304 4196468 140731769203056 139698901044080 139699944270466 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39141376 140731769209847 140731769210006 140731769210006 140731769212879 0
[pid=16301/tid=16317] ppid=16277 vsize=8414124 memory=1472 CPUtime=0.08 cores=0-7
/proc/16301/task/16317/stat : 16317 (java) S 16277 16277 14887 0 -1 1077944384 352 0 0 0 8 0 0 0 20 0 24 0 419300528 8616062976 34118 33554432000 4194304 4196468 140731769203056 139698899991024 139699944270466 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39141376 140731769209847 140731769210006 140731769210006 140731769212879 0
[pid=16301/tid=16318] ppid=16277 vsize=8414124 memory=304556123141439514 CPUtime=0.24 cores=0-7
/proc/16301/task/16318/stat : 16318 (java) S 16277 16277 14887 0 -1 1077944384 1110 0 0 0 24 0 0 0 20 0 24 0 419300528 8616062976 34118 33554432000 4194304 4196468 140731769203056 139698898938480 139699944270466 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39141376 140731769209847 140731769210006 140731769210006 140731769212879 0
[pid=16301/tid=16319] ppid=16277 vsize=8414124 memory=288230583166042425 CPUtime=0 cores=0-7
/proc/16301/task/16319/stat : 16319 (java) S 16277 16277 14887 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419300529 8616062976 34118 33554432000 4194304 4196468 140731769203056 139697435175392 139699944269525 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39141376 140731769209847 140731769210006 140731769210006 140731769212879 0
[pid=16301/tid=16320] ppid=16277 vsize=8414124 memory=14973369229511284 CPUtime=0.01 cores=0-7
/proc/16301/task/16320/stat : 16320 (java) S 16277 16277 14887 0 -1 1077944384 3 0 0 0 1 0 0 0 20 0 24 0 419300529 8616062976 34118 33554432000 4194304 4196468 140731769203056 139698897885872 139699944270466 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 24 0 0 6293624 6294260 39141376 140731769209847 140731769210006 140731769210006 140731769212879 0
[pid=16301/tid=16322] ppid=16277 vsize=8414124 memory=1712 CPUtime=0 cores=0-7
/proc/16301/task/16322/stat : 16322 (java) S 16277 16277 14887 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 419300595 8616062976 34118 33554432000 4194304 4196468 140731769203056 139699247559616 139699944283929 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 39141376 140731769209847 140731769210006 140731769210006 140731769212879 0
[pid=16301/tid=16324] ppid=16277 vsize=8414124 memory=988 CPUtime=0.09 cores=0-7
/proc/16301/task/16324/stat : 16324 (java) S 16277 16277 14887 0 -1 4202560 558 0 0 0 9 0 0 0 20 0 24 0 419300595 8616062976 34118 33554432000 4194304 4196468 140731769203056 139696764076016 139699944281245 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 39141376 140731769209847 140731769210006 140731769210006 140731769212879 0
[pid=16301/tid=16325] ppid=16277 vsize=8414124 memory=4004 CPUtime=0 cores=0-7
/proc/16301/task/16325/stat : 16325 (java) S 16277 16277 14887 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 419300595 8616062976 34118 33554432000 4194304 4196468 140731769203056 139697032511632 139699944281245 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 39141376 140731769209847 140731769210006 140731769210006 140731769212879 0
[pid=16301/tid=16326] ppid=16277 vsize=8414124 memory=2828 CPUtime=0 cores=0-7
/proc/16301/task/16326/stat : 16326 (java) S 16277 16277 14887 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 24 0 419300597 8616062976 34118 33554432000 4194304 4196468 140731769203056 139696495648176 139699944269525 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39141376 140731769209847 140731769210006 140731769210006 140731769212879 0
Current children cumulated CPU time: 23.35 s
Current children cumulated vsize: 8527252 KiB
Current children cumulated memory: 137944 KiB

[startup+48.201 s]
/proc/loadavg: 6.71 7.35 7.32 2/217 16344
/proc/meminfo: memFree=20962540/32770624 swapFree=66999300/67108860
[pid=16277] ppid=16274 vsize=113128 memory=1472 CPUtime=21.93 cores=0-7
/proc/16277/stat : 16277 (scop.sh) S 16274 16277 14887 0 -1 4202496 582 31841 0 0 0 0 2043 150 20 0 1 0 419298696 115843072 368 33554432000 4194304 5098028 140736511093536 140736511090280 140566192861820 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 28557312 140736511099685 140736511100012 140736511100012 140736511102925 0
/proc/16277/statm: 28282 368 311 221 0 87 0
[pid=16301] ppid=16277 vsize=8283048 memory=145028 CPUtime=180.77 cores=0-7
/proc/16301/stat : 16301 (java) S 16277 16277 14887 0 -1 1077944320 23618 3409083 0 0 159 11 17123 784 20 0 22 0 419300522 8481841152 36257 33554432000 4194304 4196468 140731769203056 140731769185600 139699944259319 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39141376 140731769209847 140731769210006 140731769210006 140731769212879 0
/proc/16301/statm: 2070762 36257 3224 1 0 2032106 0
[pid=16301/tid=16302] ppid=16277 vsize=8283048 memory=5900 CPUtime=179.97 cores=0-7
/proc/16301/task/16302/stat : 16302 (java) R 16277 16277 14887 0 -1 4202560 18686 3409083 0 0 82 8 17123 784 20 0 22 0 419300522 8481841152 36257 33554432000 4194304 4196468 140731769203056 139699916086048 139699936944951 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 39141376 140731769209847 140731769210006 140731769210006 140731769212879 0
[pid=16301/tid=16303] ppid=16277 vsize=8283048 memory=612 CPUtime=179.07 cores=0-7
/proc/16301/task/16303/stat : 16303 (java) S 16277 16277 14887 0 -1 1077944384 2 3409083 0 0 0 0 17123 784 20 0 22 0 419300524 8481841152 36257 33554432000 4194304 4196468 140731769203056 139699948501520 139699944269525 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39141376 140731769209847 140731769210006 140731769210006 140731769212879 0
[pid=16301/tid=16304] ppid=16277 vsize=8283048 memory=1220 CPUtime=179.07 cores=0-7
/proc/16301/task/16304/stat : 16304 (java) S 16277 16277 14887 0 -1 1077944384 3 3409083 0 0 0 0 17123 784 20 0 22 0 419300524 8481841152 36257 33554432000 4194304 4196468 140731769203056 139699748670096 139699944269525 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39141376 140731769209847 140731769210006 140731769210006 140731769212879 0
[pid=16301/tid=16305] ppid=16277 vsize=8283048 memory=14004 CPUtime=179.07 cores=0-7
/proc/16301/task/16305/stat : 16305 (java) S 16277 16277 14887 0 -1 1077944384 2 3409083 0 0 0 0 17123 784 20 0 22 0 419300524 8481841152 36257 33554432000 4194304 4196468 140731769203056 139699747617040 139699944269525 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39141376 140731769209847 140731769210006 140731769210006 140731769212879 0
[pid=16301/tid=16306] ppid=16277 vsize=8283048 memory=14060 CPUtime=179.07 cores=0-7
/proc/16301/task/16306/stat : 16306 (java) S 16277 16277 14887 0 -1 1077944384 1 3409083 0 0 0 0 17123 784 20 0 22 0 419300524 8481841152 36257 33554432000 4194304 4196468 140731769203056 139699746564496 139699944269525 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39141376 140731769209847 140731769210006 140731769210006 140731769212879 0
[pid=16301/tid=16307] ppid=16277 vsize=8283048 memory=119700 CPUtime=179.07 cores=0-7
/proc/16301/task/16307/stat : 16307 (java) S 16277 16277 14887 0 -1 1077944384 2 3409083 0 0 0 0 17123 784 20 0 22 0 419300524 8481841152 36257 33554432000 4194304 4196468 140731769203056 139699745512464 139699944269525 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39141376 140731769209847 140731769210006 140731769210006 140731769212879 0
[pid=16301/tid=16308] ppid=16277 vsize=8283048 memory=1804 CPUtime=179.07 cores=0-7
/proc/16301/task/16308/stat : 16308 (java) S 16277 16277 14887 0 -1 1077944384 3 3409083 0 0 0 0 17123 784 20 0 22 0 419300524 8481841152 36257 33554432000 4194304 4196468 140731769203056 139699744459920 139699944269525 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39141376 140731769209847 140731769210006 140731769210006 140731769212879 0
[pid=16301/tid=16309] ppid=16277 vsize=8283048 memory=916 CPUtime=179.07 cores=0-7
/proc/16301/task/16309/stat : 16309 (java) S 16277 16277 14887 0 -1 1077944384 1 3409083 0 0 0 0 17123 784 20 0 22 0 419300524 8481841152 36257 33554432000 4194304 4196468 140731769203056 139699743406864 139699944269525 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39141376 140731769209847 140731769210006 140731769210006 140731769212879 0
[pid=16301/tid=16310] ppid=16277 vsize=8283048 memory=4424 CPUtime=179.07 cores=0-7
/proc/16301/task/16310/stat : 16310 (java) S 16277 16277 14887 0 -1 1077944384 2 3409083 0 0 0 0 17123 784 20 0 22 0 419300524 8481841152 36257 33554432000 4194304 4196468 140731769203056 139699742354320 139699944269525 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39141376 140731769209847 140731769210006 140731769210006 140731769212879 0
[pid=16301/tid=16311] ppid=16277 vsize=8283048 memory=4100 CPUtime=179.07 cores=0-7
/proc/16301/task/16311/stat : 16311 (java) S 16277 16277 14887 0 -1 1077944384 7 3409083 0 0 0 0 17123 784 20 0 22 0 419300525 8481841152 36257 33554432000 4194304 4196468 140731769203056 139698903148784 139699944270466 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39141376 140731769209847 140731769210006 140731769210006 140731769212879 0
[pid=16301/tid=16312] ppid=16277 vsize=8283048 memory=1412 CPUtime=179.07 cores=0-7
/proc/16301/task/16312/stat : 16312 (java) S 16277 16277 14887 0 -1 1077944384 13 3409083 0 0 0 0 17123 784 20 0 22 0 419300526 8481841152 36257 33554432000 4194304 4196468 140731769203056 139698576024736 139699944269525 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39141376 140731769209847 140731769210006 140731769210006 140731769212879 0
[pid=16301/tid=16313] ppid=16277 vsize=8283048 memory=3352 CPUtime=179.07 cores=0-7
/proc/16301/task/16313/stat : 16313 (java) S 16277 16277 14887 0 -1 1077944384 1 3409083 0 0 0 0 17123 784 20 0 22 0 419300526 8481841152 36257 33554432000 4194304 4196468 140731769203056 139698307588848 139699944269525 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39141376 140731769209847 140731769210006 140731769210006 140731769212879 0
[pid=16301/tid=16314] ppid=16277 vsize=8283048 memory=1472 CPUtime=179.07 cores=0-7
/proc/16301/task/16314/stat : 16314 (java) S 16277 16277 14887 0 -1 1077944384 1 3409083 0 0 0 0 17123 784 20 0 22 0 419300528 8481841152 36257 33554432000 4194304 4196468 140731769203056 139697933080528 139699944277915 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39141376 140731769209847 140731769210006 140731769210006 140731769212879 0
[pid=16301/tid=16315] ppid=16277 vsize=8283048 memory=119700 CPUtime=179.15 cores=0-7
/proc/16301/task/16315/stat : 16315 (java) S 16277 16277 14887 0 -1 1077944384 737 3409083 0 0 8 0 17123 784 20 0 22 0 419300528 8481841152 36257 33554432000 4194304 4196468 140731769203056 139698902096624 139699944270466 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39141376 140731769209847 140731769210006 140731769210006 140731769212879 0
[pid=16301/tid=16316] ppid=16277 vsize=8283048 memory=4968404 CPUtime=179.2 cores=0-7
/proc/16301/task/16316/stat : 16316 (java) S 16277 16277 14887 0 -1 1077944384 569 3409083 0 0 13 0 17123 784 20 0 22 0 419300528 8481841152 36257 33554432000 4194304 4196468 140731769203056 139698901044080 139699944270466 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39141376 140731769209847 140731769210006 140731769210006 140731769212879 0
[pid=16301/tid=16317] ppid=16277 vsize=8283048 memory=7686721470250260633 CPUtime=179.18 cores=0-7
/proc/16301/task/16317/stat : 16317 (java) S 16277 16277 14887 0 -1 1077944384 370 3409083 0 0 11 0 17123 784 20 0 22 0 419300528 8481841152 36257 33554432000 4194304 4196468 140731769203056 139698899991024 139699944270466 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39141376 140731769209847 140731769210006 140731769210006 140731769212879 0
[pid=16301/tid=16318] ppid=16277 vsize=8283048 memory=-7003737579269690708 CPUtime=179.38 cores=0-7
/proc/16301/task/16318/stat : 16318 (java) S 16277 16277 14887 0 -1 1077944384 1283 3409083 0 0 31 0 17123 784 20 0 22 0 419300528 8481841152 36257 33554432000 4194304 4196468 140731769203056 139698898938480 139699944270466 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39141376 140731769209847 140731769210006 140731769210006 140731769212879 0
[pid=16301/tid=16319] ppid=16277 vsize=8283048 memory=6944656592455359580 CPUtime=179.07 cores=0-7
/proc/16301/task/16319/stat : 16319 (java) S 16277 16277 14887 0 -1 1077944384 3 3409083 0 0 0 0 17123 784 20 0 22 0 419300529 8481841152 36257 33554432000 4194304 4196468 140731769203056 139697435175392 139699944269525 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39141376 140731769209847 140731769210006 140731769210006 140731769212879 0
[pid=16301/tid=16320] ppid=16277 vsize=8283048 memory=6944656592387989600 CPUtime=179.08 cores=0-7
/proc/16301/task/16320/stat : 16320 (java) S 16277 16277 14887 0 -1 1077944384 3 3409083 0 0 1 0 17123 784 20 0 22 0 419300529 8481841152 36257 33554432000 4194304 4196468 140731769203056 139698897885872 139699944270466 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 24 0 0 6293624 6294260 39141376 140731769209847 140731769210006 140731769210006 140731769212879 0
[pid=16301/tid=16322] ppid=16277 vsize=8283048 memory=119700 CPUtime=179.07 cores=0-7
/proc/16301/task/16322/stat : 16322 (java) S 16277 16277 14887 0 -1 1077944384 26 3409083 0 0 0 0 17123 784 20 0 22 0 419300595 8481841152 36257 33554432000 4194304 4196468 140731769203056 139699247558800 139699944270466 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39141376 140731769209847 140731769210006 140731769210006 140731769212879 0
[pid=16301/tid=16326] ppid=16277 vsize=8283048 memory=304556123141439514 CPUtime=179.07 cores=0-7
/proc/16301/task/16326/stat : 16326 (java) S 16277 16277 14887 0 -1 1077944384 16 3409083 0 0 0 0 17123 784 20 0 22 0 419300597 8481841152 36257 33554432000 4194304 4196468 140731769203056 139696495649968 139699944270466 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39141376 140731769209847 140731769210006 140731769210006 140731769212879 0
Current children cumulated CPU time: 202.7 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 146500 KiB

Child status: 0
Real time (s): 48.2254
CPU time (s): 202.764
CPU user time (s): 193.27
CPU system time (s): 9.49463
CPU usage (%): 420.452
Max. virtual memory (cumulated for all children) (KiB): 27441876
Max. memory (cumulated for all children) (KiB): 5989272

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 193.27
system time used= 9.49463
maximum resident set size= 5990088
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3465160
page faults= 0
swaps= 0
block input operations= 8
block output operations= 355248
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 189188
involuntary context switches= 1558


# summary of solver processes directly reported to runsolver:
#   pid: 16277
#   total CPU time (s): 202.764
#   total CPU user time (s): 193.27
#   total CPU system time (s): 9.49463

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.394461 second user time and 0.635848 second system time

The end

Launcher Data 

Begin job on node140 at 2019-09-14 05:59:22
IDJOB=4392365
IDBENCH=133432
IDSOLVER=2838
FILE ID=node140/4392365-1568433602
RUNJOBID= node140-1568430400-14914
PBS_JOBID= 21702310
Free space on /tmp= 58140 MiB

SOLVER NAME= Fun-sCOP order+ManyGlucose (2019-06-15)
BENCH NAME= XCSP17/Primes/Primes-m1-p10/Primes-10-60-3-5.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-4392365-1568433602/watcher-4392365-1568433602 -o /tmp/evaluation-result-4392365-1568433602/solver-4392365-1568433602 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node140-1568430400-14914 --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-4392365-1568433602.xml

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

MD5SUM BENCH= be3388c5d29b2a85b1452e4a694387b2
RANDOM SEED=201871844

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        24597220 kB
MemAvailable:   31856252 kB
Buffers:          173556 kB
Cached:          7293304 kB
SwapCached:         2724 kB
Active:          1524584 kB
Inactive:        5949592 kB
Active(anon):       3720 kB
Inactive(anon):    44556 kB
Active(file):    1520864 kB
Inactive(file):  5905036 kB
Unevictable:      107736 kB
Mlocked:          107736 kB
SwapTotal:      67108860 kB
SwapFree:       66999300 kB
Dirty:             20656 kB
Writeback:            32 kB
AnonPages:        113544 kB
Mapped:            44320 kB
Shmem:             32276 kB
Slab:             291336 kB
SReclaimable:     261592 kB
SUnreclaim:        29744 kB
KernelStack:        3408 kB
PageTables:         5164 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     498688 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:      105856 kB
DirectMap2M:    33439744 kB

Free space on /tmp at the end= 58120 MiB
End job on node140 at 2019-09-14 06:00:11