Trace number 4405225

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Fun-sCOP order+ManyGlucose (2019-09-22)SAT 199.334 46.8677

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-16219-serial-file.bin HOME/instance-4405225-1569341078.xml
0.66/0.54	
0.66/0.54	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
0.66/0.54	
0.66/0.57	c BEGIN-Prog: Tue Sep 24 18:03:55 CEST 2019
0.66/0.57	c PID: 16222
0.66/0.57	c IP: 172.20.3.147
0.66/0.57	c HOST: node147.alineos.net
0.66/0.57	c (0,0) Parsing Begin
1.42/0.92	c (0,0) Parsing End
1.42/0.92	c (0,0) CSP: 99 int (0 aux), 0 bool (0 aux), 60 ctr, max domain size 28
1.42/0.92	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.42/0.92	c (0,0) Constraint Name Generate Begin
1.42/0.93	c (0,0) Ctr:HOME/instance-4405225-1569341078.xml,Num:Var:WeightedSum
1.42/0.93	c (0,0) Constraint Name Generate End
1.42/0.93	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.42/0.93	c (0,0) CSP to CSPinCNF Begin
1.58/1.03	c (0,0) translated 6 (10%) constraints
1.58/1.05	c (0,0) translated 12 (20%) constraints
1.58/1.06	c (0,0) translated 18 (30%) constraints
1.58/1.07	c (0,0) translated 24 (40%) constraints
1.58/1.08	c (0,0) translated 30 (50%) constraints
1.58/1.08	c (0,0) translated 36 (60%) constraints
1.58/1.09	c (0,0) translated 42 (70%) constraints
1.58/1.10	c (0,0) translated 48 (80%) constraints
1.58/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.16	c (0,0) translated 6 (10%) constraints
1.83/1.18	c (0,0) translated 12 (20%) constraints
1.83/1.19	c (0,0) translated 18 (30%) constraints
2.10/1.21	c (0,0) translated 24 (40%) constraints
2.10/1.22	c (0,0) translated 30 (50%) constraints
2.10/1.24	c (0,0) translated 36 (60%) constraints
2.10/1.25	c (0,0) translated 42 (70%) constraints
2.10/1.26	c (0,0) translated 48 (80%) constraints
2.10/1.27	c (0,0) translated 54 (90%) constraints
2.10/1.28	c (0,0) translated 60 (100%) constraints
2.10/1.29	c (0,0) CSP to CSPinCNF End
2.10/1.29	c (0,0) CSP: 261 int (162 aux), 0 bool (0 aux), 444 ctr, max domain size 1540
2.10/1.29	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB)
2.10/1.29	c (0,0) CSPinCNF Propagation Begin
2.35/1.31	c (0,0) 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed
2.35/1.31	c (0,0) CSPinCNF Propagation End
2.35/1.31	c (0,0) CSP: 261 int (162 aux), 0 bool (0 aux), 444 ctr, max domain size 1540
2.35/1.31	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB)
2.35/1.31	c (0,0) Simplify CSPinCNF Begin
2.35/1.32	c (0,0) Simplify CSPinCNF End
2.35/1.32	c (0,0) CSP: 261 int (162 aux), 0 bool (0 aux), 444 ctr, max domain size 1540
2.35/1.32	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 23 MiB used (max 0 MiB)
2.35/1.32	c (0,0) Calculate Precise Domain Begin
3.18/1.61	c (1,1) 11299 values are removed by re-calculation
3.18/1.61	c (1,1) Calculate Precise Domain End
3.18/1.62	c (1,1) CSP: 261 int (162 aux), 0 bool (0 aux), 444 ctr, max domain size 1484
3.18/1.62	c (1,1) Heap : 337 MiB used (max 21589 MiB), NonHeap : 24 MiB used (max 0 MiB)
3.18/1.62	c (1,1) CSPinCNF to SatSolver Begin
9.23/6.04	c (5,5) 45 (10 %) CSP clauses are encoded (0 SAT variables, 2259039 SAT clauses)
10.86/8.17	c (7,6) 89 (20 %) CSP clauses are encoded (0 SAT variables, 3157687 SAT clauses)
11.49/8.76	c (8,7) 134 (30 %) CSP clauses are encoded (0 SAT variables, 3483144 SAT clauses)
12.42/9.60	c (9,8) 178 (40 %) CSP clauses are encoded (0 SAT variables, 3964137 SAT clauses)
15.82/11.63	c (11,10) 222 (50 %) CSP clauses are encoded (0 SAT variables, 5068434 SAT clauses)
17.24/13.50	c (12,11) 267 (60 %) CSP clauses are encoded (0 SAT variables, 5946669 SAT clauses)
18.69/14.94	c (14,12) 311 (70 %) CSP clauses are encoded (0 SAT variables, 6886219 SAT clauses)
20.41/16.60	c (16,14) 356 (80 %) CSP clauses are encoded (0 SAT variables, 7956730 SAT clauses)
21.02/17.24	c (16,15) 400 (90 %) CSP clauses are encoded (0 SAT variables, 8377149 SAT clauses)
21.63/18.42	c (17,15) 444 (100 %) CSP clauses are encoded (0 SAT variables, 8732968 SAT clauses)
21.63/18.42	c (17,15) CSPinCNF to SatSolver End
21.63/18.42	c (17,15) Heap : 5559 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB)
21.63/18.42	c (17,15) 73296 bool, 8736275 clause
21.63/18.42	c (17,15) Export Begin
21.78/18.51	c (17,15) Export to HOME/scop-16219-serial-file.bin
21.78/18.51	c (17,15) Export End
21.78/18.51	c (17,15) Export File Size: 0.02 MB
21.78/18.51	c (17,15) 0,0,0,0,0,1,17,STOP-AFTER(DIMACS)
21.78/18.51	c END-Prog: Tue Sep 24 18:04:13 CEST 2019
21.78/18.56	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-16219-serial-file.bin
21.85/19.02	c (0,0) Read Serial File Begin
21.85/19.02	c (0,0) HOME/scop-16219-serial-file.bin
22.73/19.23	c (0,0) Read Serial File End
22.73/19.24	
22.73/19.24	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
22.73/19.24	(Solving Process)
22.73/19.24	
22.73/19.26	c BEGIN-Prog: Tue Sep 24 18:04:14 CEST 2019
22.73/19.26	c PID: 16242
22.73/19.26	c IP: 172.20.3.147
22.73/19.26	c HOST: node147.alineos.net
22.73/19.27	c (0,0) SatSolver.solve Begin
22.73/19.27	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4405225-1569341078.xml-scop-16222.cnf
22.73/19.29	c (0,0) c
22.73/19.29	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)
22.73/19.29	c (0,0) c
22.73/19.29	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
22.73/19.29	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
22.73/19.29	c (0,0) c ========================================[ Problem Statistics ]===========================================
22.73/19.29	c (0,0) c |                                                                                                       |
25.31/21.62	c (2,0) c |  Number of variables:         73296                                                                   |
25.31/21.62	c (2,0) c |  Number of clauses:         8731541                                                                   |
25.31/21.62	c (2,0) c |  Parse time:                   2.11 s                                                                 |
25.31/21.62	c (2,0) c |                                                                                                       |
25.92/22.25	c (3,0) c | Too many clauses... No preprocessing                                                                  |
25.92/22.25	c (3,0) c |  Simplification time:          0.56 s                                                                 |
25.92/22.25	c (3,0) c |                                                                                                       |
25.92/22.25	c (3,0) c |  Generating clones                                                                                    |
27.31/23.69	c (4,0) c |  all clones generated. Memory =  4436.36Mb.                                                           |
27.31/23.69	c (4,0) c ========================================================================================================|
27.31/23.69	c (4,0) c
27.31/23.69	c (4,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
27.31/23.69	c (4,0) c
27.31/23.69	c (4,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
27.31/23.69	c (4,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
27.31/23.69	c (4,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
27.31/23.69	c (4,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
27.31/23.69	c (4,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
27.31/23.69	c (4,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
27.31/23.69	c (4,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
27.31/23.69	c (4,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
27.31/23.69	c (4,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
27.31/23.69	c (4,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
27.31/23.69	c (4,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
27.31/23.69	c (4,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
27.31/23.69	c (4,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
27.31/23.69	c (4,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
27.31/23.69	c (4,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
27.31/23.69	c (4,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
27.31/23.69	c (4,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
27.31/23.69	c (4,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
27.31/23.69	c (4,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
198.49/46.49	c (27,0) c
198.49/46.49	c (27,0) c real time : 27.2059 s
198.49/46.50	c (27,0) c cpu time  : 169.886 s
198.49/46.50	c (27,0) c
198.49/46.50	c (27,0) c
198.49/46.50	c (27,0) c
198.49/46.50	c (27,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
198.49/46.50	c (27,0) c
198.49/46.50	c (27,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
198.49/46.50	c (27,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
198.49/46.50	c (27,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
198.49/46.50	c (27,0) c | Conflicts     |           17606 |       1946 |       2255 |       2141 |       2229 |       2485 |       2207 |       2179 |       2164 |
198.49/46.50	c (27,0) c | Decisions     |           26771 |       3380 |       3335 |       3178 |       3241 |       3637 |       3113 |       3292 |       3595 |
198.49/46.50	c (27,0) c | Propagations  |       125582154 |   15412714 |   15752865 |   15820862 |   16056068 |   16287305 |   15623569 |   15477852 |   15150919 |
198.49/46.50	c (27,0) c | ReduceDBs     |               7 |          0 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |
198.49/46.50	c (27,0) c | SimpDBs       |               8 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |
198.49/46.50	c (27,0) c | Restarts      |              32 |          3 |          8 |          3 |          4 |          2 |          5 |          6 |          1 |
198.49/46.50	c (27,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
198.49/46.50	c (27,0) c | PropBinClauses|       265612720 |   32557327 |   33601896 |   33056443 |   34297965 |   33861741 |   33129774 |   32892966 |   32214608 |
198.49/46.50	c (27,0) c | PropPreBlocker|     10047811406 | 1257840063 | 1265888385 | 1254002371 | 1247385623 | 1249604514 | 1259029547 | 1261628329 | 1252432574 |
198.49/46.50	c (27,0) c | PropNotBlocker|      1463617118 |  180388376 |  172278235 |  183435355 |  188278295 |  187140794 |  178175468 |  181776150 |  192144445 |
198.49/46.50	c (27,0) c | LitFullScans  |     11872984134 | 1482480253 | 1483707964 | 1482391386 | 1482223007 | 1483168861 | 1482264056 | 1488194539 | 1488554068 |
198.49/46.50	c (27,0) c | LitScanFracts |         1499928 |     180295 |     187527 |     213588 |     210065 |     163798 |     175243 |     182736 |     186676 |
198.49/46.50	c (27,0) c | DecisionLevel0|             101 |         12 |         27 |         12 |          8 |          6 |          8 |         25 |          3 |
198.49/46.50	c (27,0) c | Periods       |            1978 |        247 |        247 |        247 |        247 |        247 |        247 |        248 |        248 |
198.49/46.50	c (27,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
198.49/46.50	c (27,0) c | Avg_Trail     |                 |      38442 |      37640 |      37695 |      36744 |      37491 |      37095 |      37912 |      38404 |
198.49/46.50	c (27,0) c | Avg_DL        |                 |         16 |         11 |         12 |         13 |         31 |         14 |         13 |         72 |
198.49/46.50	c (27,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
198.49/46.50	c (27,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
198.49/46.50	c (27,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
198.49/46.50	c (27,0) c | Exported      |             649 |         61 |        140 |         83 |         66 |         68 |         61 |        114 |         56 |
198.49/46.50	c (27,0) c | Imported      |            3327 |        313 |        471 |        495 |        371 |        535 |        564 |        424 |        154 |
198.49/46.50	c (27,0) c | Good          |            1251 |        135 |        162 |        180 |        148 |        192 |        204 |        148 |         82 |
198.49/46.50	c (27,0) c | Purge         |            2076 |        178 |        309 |        315 |        223 |        343 |        360 |        276 |         72 |
198.49/46.50	c (27,0) c | Promoted      |             163 |         17 |         37 |         22 |         26 |         15 |         18 |         24 |          4 |
198.49/46.50	c (27,0) c | Remove_Imp    |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
198.49/46.50	c (27,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
198.49/46.50	c (27,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
198.49/46.50	c (27,0) c | Unaries       |                 |          9 |         19 |          9 |          4 |          4 |          3 |         19 |          2 |
198.49/46.50	c (27,0) c | Binaries      |                 |         21 |         55 |         29 |         22 |         22 |         15 |         46 |         18 |
198.49/46.50	c (27,0) c | Glues         |                 |         61 |        140 |         83 |         66 |         68 |         61 |        114 |         56 |
198.49/46.50	c (27,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
198.49/46.50	c (27,0) c | Orig_Seen     |             0 % |      49430 |      46739 |      49638 |      48398 |      41962 |      49009 |      50392 |      47442 |
198.49/46.50	c (27,0) c | Diff Orig seen|                 | -      208 | -     2899 |      X     | -     1240 | -     7676 | -      629 |        754 | -     2196 |
198.49/46.50	c (27,0) c | Hamming       |            17 % |      16368 |      13543 |      X     |      14097 |      12976 |      12993 |      11187 |       8612 |
198.49/46.50	c (27,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
198.49/46.50	c (27,0) c | RunningTime   |                 |   22.8 100%|   22.2 100%|   21.5 100%|   22.1 100%|   21.6 100%|   21.1  98%|   21.3  99%|   21.4  99%|
198.49/46.50	c (27,0) c | WaitingTime   |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.4   2%|    0.3   1%|    0.2   1%|
198.49/46.50	c (27,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%|
198.49/46.50	c (27,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%|
198.49/46.50	c (27,0) c | SolvingTime   |                 |   22.8     |   22.2     |   21.5     |   22.2     |   21.6     |   21.6     |   21.6     |   21.6     |
198.49/46.50	c (27,0) c | PropagationTim|                 |   22.4  98%|   21.9  98%|   21.2  98%|   21.8  98%|   21.2  98%|   21.2  98%|   21.2  98%|   21.3  98%|
198.49/46.50	c (27,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%|
198.49/46.50	c (27,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%|
198.49/46.50	c (27,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%|
198.59/46.50	c (27,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%|
198.59/46.50	c (27,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%|
198.59/46.50	c (27,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
198.59/46.50	c (27,0) c
198.59/46.50	c (27,0) c
198.59/46.50	c (27,0) c Threads : 8
198.59/46.50	c (27,0) c Winner : 2
198.59/46.50	c (27,0) c Conflicts_0 : 1946
198.59/46.50	c (27,0) c Conflicts_1 : 2255
198.59/46.50	c (27,0) c Conflicts_2 : 2141
198.59/46.50	c (27,0) c Conflicts_3 : 2229
198.59/46.50	c (27,0) c Conflicts_4 : 2485
198.59/46.50	c (27,0) c Conflicts_5 : 2207
198.59/46.50	c (27,0) c Conflicts_6 : 2179
198.59/46.50	c (27,0) c Conflicts_7 : 2164
198.59/46.50	c (27,0) c Conflicts_total : 17606
198.59/46.50	c (27,0) c Conflicts_winner : 2141
198.59/46.50	c (27,0) c Decisions_0 : 3380
198.59/46.50	c (27,0) c Decisions_1 : 3335
198.59/46.50	c (27,0) c Decisions_2 : 3178
198.59/46.50	c (27,0) c Decisions_3 : 3241
198.59/46.50	c (27,0) c Decisions_4 : 3637
198.59/46.50	c (27,0) c Decisions_5 : 3113
198.59/46.50	c (27,0) c Decisions_6 : 3292
198.59/46.50	c (27,0) c Decisions_7 : 3595
198.59/46.50	c (27,0) c Decisions_total : 26771
198.59/46.50	c (27,0) c Decisions_winner : 3178
198.59/46.50	c (27,0) c Propagations_0 : 15412714
198.59/46.50	c (27,0) c Propagations_1 : 15752865
198.59/46.50	c (27,0) c Propagations_2 : 15820862
198.59/46.50	c (27,0) c Propagations_3 : 16056068
198.59/46.50	c (27,0) c Propagations_4 : 16287305
198.59/46.50	c (27,0) c Propagations_5 : 15623569
198.59/46.50	c (27,0) c Propagations_6 : 15477852
198.59/46.50	c (27,0) c Propagations_7 : 15150919
198.59/46.50	c (27,0) c Propagations_total : 125582154
198.59/46.50	c (27,0) c Propagations_winner : 15820862
198.59/46.50	c (27,0) c ReduceDBs_0 : 0
198.59/46.50	c (27,0) c ReduceDBs_1 : 1
198.59/46.50	c (27,0) c ReduceDBs_2 : 1
198.59/46.50	c (27,0) c ReduceDBs_3 : 1
198.59/46.50	c (27,0) c ReduceDBs_4 : 1
198.59/46.50	c (27,0) c ReduceDBs_5 : 1
198.59/46.50	c (27,0) c ReduceDBs_6 : 1
198.59/46.50	c (27,0) c ReduceDBs_7 : 1
198.59/46.50	c (27,0) c ReduceDBs_total : 7
198.59/46.50	c (27,0) c ReduceDBs_winner : 1
198.59/46.50	c (27,0) c SimpDBs_0 : 1
198.59/46.50	c (27,0) c SimpDBs_1 : 1
198.59/46.50	c (27,0) c SimpDBs_2 : 1
198.59/46.50	c (27,0) c SimpDBs_3 : 1
198.59/46.50	c (27,0) c SimpDBs_4 : 1
198.59/46.50	c (27,0) c SimpDBs_5 : 1
198.59/46.50	c (27,0) c SimpDBs_6 : 1
198.59/46.50	c (27,0) c SimpDBs_7 : 1
198.59/46.50	c (27,0) c SimpDBs_total : 8
198.59/46.50	c (27,0) c SimpDBs_winner : 1
198.59/46.50	c (27,0) c Restarts_0 : 3
198.59/46.50	c (27,0) c Restarts_1 : 8
198.59/46.50	c (27,0) c Restarts_2 : 3
198.59/46.50	c (27,0) c Restarts_3 : 4
198.59/46.50	c (27,0) c Restarts_4 : 2
198.59/46.50	c (27,0) c Restarts_5 : 5
198.59/46.50	c (27,0) c Restarts_6 : 6
198.59/46.50	c (27,0) c Restarts_7 : 1
198.59/46.50	c (27,0) c Restarts_total : 32
198.59/46.50	c (27,0) c Restarts_winner : 3
198.59/46.50	c (27,0) c ForcedImports_0 : 0
198.59/46.50	c (27,0) c ForcedImports_1 : 0
198.59/46.50	c (27,0) c ForcedImports_2 : 0
198.59/46.50	c (27,0) c ForcedImports_3 : 0
198.59/46.50	c (27,0) c ForcedImports_4 : 0
198.59/46.50	c (27,0) c ForcedImports_5 : 0
198.59/46.50	c (27,0) c ForcedImports_6 : 0
198.59/46.50	c (27,0) c ForcedImports_7 : 0
198.59/46.50	c (27,0) c ForcedImports_total : 0
198.59/46.50	c (27,0) c ForcedImports_winner : 0
198.59/46.50	c (27,0) c PropsBinClauses_0 : 32557327
198.59/46.50	c (27,0) c PropsBinClauses_1 : 33601896
198.59/46.50	c (27,0) c PropsBinClauses_2 : 33056443
198.59/46.50	c (27,0) c PropsBinClauses_3 : 34297965
198.59/46.50	c (27,0) c PropsBinClauses_4 : 33861741
198.59/46.50	c (27,0) c PropsBinClauses_5 : 33129774
198.59/46.50	c (27,0) c PropsBinClauses_6 : 32892966
198.59/46.50	c (27,0) c PropsBinClauses_7 : 32214608
198.59/46.50	c (27,0) c PropsBinClauses_total : 265612720
198.59/46.50	c (27,0) c PropsBinClauses_winner : 33056443
198.59/46.50	c (27,0) c PropsPreBlocker_0 : 1257840063
198.59/46.50	c (27,0) c PropsPreBlocker_1 : 1265888385
198.59/46.50	c (27,0) c PropsPreBlocker_2 : 1254002371
198.59/46.50	c (27,0) c PropsPreBlocker_3 : 1247385623
198.59/46.50	c (27,0) c PropsPreBlocker_4 : 1249604514
198.59/46.50	c (27,0) c PropsPreBlocker_5 : 1259029547
198.59/46.50	c (27,0) c PropsPreBlocker_6 : 1261628329
198.59/46.50	c (27,0) c PropsPreBlocker_7 : 1252432574
198.59/46.50	c (27,0) c PropsPreBlocker_total : 10047811406
198.59/46.50	c (27,0) c PropsPreBlocker_winner : 1254002371
198.59/46.50	c (27,0) c PropsNotBlocker_0 : 180388376
198.59/46.50	c (27,0) c PropsNotBlocker_1 : 172278235
198.59/46.50	c (27,0) c PropsNotBlocker_2 : 183435355
198.59/46.50	c (27,0) c PropsNotBlocker_3 : 188278295
198.59/46.50	c (27,0) c PropsNotBlocker_4 : 187140794
198.59/46.50	c (27,0) c PropsNotBlocker_5 : 178175468
198.59/46.50	c (27,0) c PropsNotBlocker_6 : 181776150
198.59/46.50	c (27,0) c PropsNotBlocker_7 : 192144445
198.59/46.50	c (27,0) c PropsNotBlocker_total : 1463617118
198.59/46.50	c (27,0) c PropsNotBlocker_winner : 183435355
198.59/46.50	c (27,0) c PropsLitFullScans_0 : 1482480253
198.59/46.50	c (27,0) c PropsLitFullScans_1 : 1483707964
198.59/46.50	c (27,0) c PropsLitFullScans_2 : 1482391386
198.59/46.50	c (27,0) c PropsLitFullScans_3 : 1482223007
198.59/46.50	c (27,0) c PropsLitFullScans_4 : 1483168861
198.59/46.50	c (27,0) c PropsLitFullScans_5 : 1482264056
198.59/46.50	c (27,0) c PropsLitFullScans_6 : 1488194539
198.59/46.50	c (27,0) c PropsLitFullScans_7 : 1488554068
198.59/46.50	c (27,0) c PropsLitFullScans_total : 11872984134
198.59/46.50	c (27,0) c PropsLitFullScans_winner : 1482391386
198.59/46.50	c (27,0) c LitScanFractions_0 : 180295
198.59/46.50	c (27,0) c LitScanFractions_1 : 187527
198.59/46.50	c (27,0) c LitScanFractions_2 : 213588
198.59/46.50	c (27,0) c LitScanFractions_3 : 210065
198.59/46.50	c (27,0) c LitScanFractions_4 : 163798
198.59/46.50	c (27,0) c LitScanFractions_5 : 175243
198.59/46.50	c (27,0) c LitScanFractions_6 : 182736
198.59/46.50	c (27,0) c LitScanFractions_7 : 186676
198.59/46.50	c (27,0) c LitScanFractions_total : 1499928
198.59/46.50	c (27,0) c LitScanFractions_winner : 213588
198.59/46.50	c (27,0) c DecisionLevel0_0 : 12
198.59/46.50	c (27,0) c DecisionLevel0_1 : 27
198.59/46.50	c (27,0) c DecisionLevel0_2 : 12
198.59/46.50	c (27,0) c DecisionLevel0_3 : 8
198.59/46.50	c (27,0) c DecisionLevel0_4 : 6
198.59/46.50	c (27,0) c DecisionLevel0_5 : 8
198.59/46.50	c (27,0) c DecisionLevel0_6 : 25
198.59/46.50	c (27,0) c DecisionLevel0_7 : 3
198.59/46.50	c (27,0) c DecisionLevel0_total : 101
198.59/46.50	c (27,0) c DecisionLevel0_winner : 12
198.59/46.50	c (27,0) c Periods_0 : 247
198.59/46.50	c (27,0) c Periods_1 : 247
198.59/46.50	c (27,0) c Periods_2 : 247
198.59/46.50	c (27,0) c Periods_3 : 247
198.59/46.50	c (27,0) c Periods_4 : 247
198.59/46.50	c (27,0) c Periods_5 : 247
198.59/46.50	c (27,0) c Periods_6 : 248
198.59/46.50	c (27,0) c Periods_7 : 248
198.59/46.50	c (27,0) c Periods_total : 1978
198.59/46.50	c (27,0) c Periods_winner : 247
198.59/46.50	c (27,0) c Margin_0 : 20
198.59/46.50	c (27,0) c Margin_1 : 20
198.59/46.50	c (27,0) c Margin_2 : 20
198.59/46.50	c (27,0) c Margin_3 : 20
198.59/46.50	c (27,0) c Margin_4 : 20
198.59/46.50	c (27,0) c Margin_5 : 20
198.59/46.50	c (27,0) c Margin_6 : 20
198.59/46.50	c (27,0) c Margin_7 : 20
198.59/46.50	c (27,0) c Margin_total : 160
198.59/46.50	c (27,0) c Margin_winner : 20
198.59/46.50	c (27,0) c Exported_0 : 61
198.59/46.50	c (27,0) c Exported_1 : 140
198.59/46.50	c (27,0) c Exported_2 : 83
198.59/46.50	c (27,0) c Exported_3 : 66
198.59/46.50	c (27,0) c Exported_4 : 68
198.59/46.51	c (27,0) c Exported_5 : 61
198.59/46.51	c (27,0) c Exported_6 : 114
198.59/46.51	c (27,0) c Exported_7 : 56
198.59/46.51	c (27,0) c Exported_total : 649
198.59/46.51	c (27,0) c Exported_winner : 83
198.59/46.51	c (27,0) c Imported_0 : 313
198.59/46.51	c (27,0) c Imported_1 : 471
198.59/46.51	c (27,0) c Imported_2 : 495
198.59/46.51	c (27,0) c Imported_3 : 371
198.59/46.51	c (27,0) c Imported_4 : 535
198.59/46.51	c (27,0) c Imported_5 : 564
198.59/46.51	c (27,0) c Imported_6 : 424
198.59/46.51	c (27,0) c Imported_7 : 154
198.59/46.51	c (27,0) c Imported_total : 3327
198.59/46.51	c (27,0) c Imported_winner : 495
198.59/46.51	c (27,0) c Good_0 : 135
198.59/46.51	c (27,0) c Good_1 : 162
198.59/46.51	c (27,0) c Good_2 : 180
198.59/46.51	c (27,0) c Good_3 : 148
198.59/46.51	c (27,0) c Good_4 : 192
198.59/46.51	c (27,0) c Good_5 : 204
198.59/46.51	c (27,0) c Good_6 : 148
198.59/46.51	c (27,0) c Good_7 : 82
198.59/46.51	c (27,0) c Good_total : 1251
198.59/46.51	c (27,0) c Good_winner : 180
198.59/46.51	c (27,0) c Purge_0 : 178
198.59/46.51	c (27,0) c Purge_1 : 309
198.59/46.51	c (27,0) c Purge_2 : 315
198.59/46.51	c (27,0) c Purge_3 : 223
198.59/46.51	c (27,0) c Purge_4 : 343
198.59/46.51	c (27,0) c Purge_5 : 360
198.59/46.51	c (27,0) c Purge_6 : 276
198.59/46.51	c (27,0) c Purge_7 : 72
198.59/46.51	c (27,0) c Purge_total : 2076
198.59/46.51	c (27,0) c Purge_winner : 315
198.59/46.51	c (27,0) c Promoted_0 : 17
198.59/46.51	c (27,0) c Promoted_1 : 37
198.59/46.51	c (27,0) c Promoted_2 : 22
198.59/46.51	c (27,0) c Promoted_3 : 26
198.59/46.51	c (27,0) c Promoted_4 : 15
198.59/46.51	c (27,0) c Promoted_5 : 18
198.59/46.51	c (27,0) c Promoted_6 : 24
198.59/46.51	c (27,0) c Promoted_7 : 4
198.59/46.51	c (27,0) c Promoted_total : 163
198.59/46.51	c (27,0) c Promoted_winner : 22
198.59/46.51	c (27,0) c Remove_Imp_0 : 0
198.59/46.51	c (27,0) c Remove_Imp_1 : 0
198.59/46.51	c (27,0) c Remove_Imp_2 : 0
198.59/46.51	c (27,0) c Remove_Imp_3 : 0
198.59/46.51	c (27,0) c Remove_Imp_4 : 0
198.59/46.51	c (27,0) c Remove_Imp_5 : 0
198.59/46.51	c (27,0) c Remove_Imp_6 : 0
198.59/46.51	c (27,0) c Remove_Imp_7 : 0
198.59/46.51	c (27,0) c Remove_Imp_total : 0
198.59/46.51	c (27,0) c Remove_Imp_winner : 0
198.59/46.51	c (27,0) c Blocked_Reuse_0 : 0
198.59/46.51	c (27,0) c Blocked_Reuse_1 : 0
198.59/46.51	c (27,0) c Blocked_Reuse_2 : 0
198.59/46.51	c (27,0) c Blocked_Reuse_3 : 0
198.59/46.51	c (27,0) c Blocked_Reuse_4 : 0
198.59/46.51	c (27,0) c Blocked_Reuse_5 : 0
198.59/46.51	c (27,0) c Blocked_Reuse_6 : 0
198.59/46.51	c (27,0) c Blocked_Reuse_7 : 0
198.59/46.51	c (27,0) c Blocked_Reuse_total : 0
198.59/46.51	c (27,0) c Blocked_Reuse_winner : 0
198.59/46.51	c (27,0) c Unaries_0 : 9
198.59/46.51	c (27,0) c Unaries_1 : 19
198.59/46.51	c (27,0) c Unaries_2 : 9
198.59/46.51	c (27,0) c Unaries_3 : 4
198.59/46.51	c (27,0) c Unaries_4 : 4
198.59/46.51	c (27,0) c Unaries_5 : 3
198.59/46.51	c (27,0) c Unaries_6 : 19
198.59/46.51	c (27,0) c Unaries_7 : 2
198.59/46.51	c (27,0) c Unaries_total : 69
198.59/46.51	c (27,0) c Unaries_winner : 9
198.59/46.51	c (27,0) c Binaries_0 : 21
198.59/46.51	c (27,0) c Binaries_1 : 55
198.59/46.51	c (27,0) c Binaries_2 : 29
198.59/46.51	c (27,0) c Binaries_3 : 22
198.59/46.51	c (27,0) c Binaries_4 : 22
198.59/46.51	c (27,0) c Binaries_5 : 15
198.59/46.51	c (27,0) c Binaries_6 : 46
198.59/46.51	c (27,0) c Binaries_7 : 18
198.59/46.51	c (27,0) c Binaries_total : 228
198.59/46.51	c (27,0) c Binaries_winner : 29
198.59/46.51	c (27,0) c Glues_0 : 61
198.59/46.51	c (27,0) c Glues_1 : 140
198.59/46.51	c (27,0) c Glues_2 : 83
198.59/46.51	c (27,0) c Glues_3 : 66
198.59/46.51	c (27,0) c Glues_4 : 68
198.59/46.51	c (27,0) c Glues_5 : 61
198.59/46.51	c (27,0) c Glues_6 : 114
198.59/46.51	c (27,0) c Glues_7 : 56
198.59/46.51	c (27,0) c Glues_total : 649
198.59/46.51	c (27,0) c Glues_winner : 83
198.59/46.51	c (27,0) c RunningTime_0 : 22.789218
198.59/46.51	c (27,0) c RunningTime_1 : 22.206312
198.59/46.51	c (27,0) c RunningTime_2 : 21.503610
198.59/46.51	c (27,0) c RunningTime_3 : 22.149556
198.59/46.51	c (27,0) c RunningTime_4 : 21.592295
198.59/46.51	c (27,0) c RunningTime_5 : 21.147773
198.59/46.51	c (27,0) c RunningTime_6 : 21.309160
198.59/46.51	c (27,0) c RunningTime_7 : 21.430825
198.59/46.51	c (27,0) c RunningTime_total : 174.128749
198.59/46.51	c (27,0) c RunningTime_winner : 21.503610
198.59/46.51	c (27,0) c WaitingTime_0 : 0.000296
198.59/46.51	c (27,0) c WaitingTime_1 : 0.000459
198.59/46.51	c (27,0) c WaitingTime_2 : 0.020102
198.59/46.51	c (27,0) c WaitingTime_3 : 0.000468
198.59/46.51	c (27,0) c WaitingTime_4 : 0.000470
198.59/46.51	c (27,0) c WaitingTime_5 : 0.419623
198.59/46.51	c (27,0) c WaitingTime_6 : 0.289292
198.59/46.51	c (27,0) c WaitingTime_7 : 0.170677
198.59/46.51	c (27,0) c WaitingTime_total : 0.901388
198.59/46.51	c (27,0) c WaitingTime_winner : 0.020102
198.59/46.51	c (27,0) c ExchangingTime_0 : 0.003119
198.59/46.51	c (27,0) c ExchangingTime_1 : 0.003714
198.59/46.51	c (27,0) c ExchangingTime_2 : 0.004797
198.59/46.51	c (27,0) c ExchangingTime_3 : 0.003349
198.59/46.51	c (27,0) c ExchangingTime_4 : 0.003035
198.59/46.51	c (27,0) c ExchangingTime_5 : 0.003983
198.59/46.51	c (27,0) c ExchangingTime_6 : 0.003588
198.59/46.51	c (27,0) c ExchangingTime_7 : 0.003143
198.59/46.51	c (27,0) c ExchangingTime_total : 0.028726
198.59/46.51	c (27,0) c ExchangingTime_winner : 0.004797
198.59/46.51	c (27,0) c PeriodProcTime_0 : 0.003583
198.59/46.51	c (27,0) c PeriodProcTime_1 : 0.002713
198.59/46.51	c (27,0) c PeriodProcTime_2 : 0.002705
198.59/46.51	c (27,0) c PeriodProcTime_3 : 0.002736
198.59/46.51	c (27,0) c PeriodProcTime_4 : 0.002676
198.59/46.51	c (27,0) c PeriodProcTime_5 : 0.003051
198.59/46.51	c (27,0) c PeriodProcTime_6 : 0.002925
198.59/46.51	c (27,0) c PeriodProcTime_7 : 0.002941
198.59/46.51	c (27,0) c PeriodProcTime_total : 0.023331
198.59/46.51	c (27,0) c PeriodProcTime_winner : 0.002705
198.59/46.51	c (27,0) c SolvingTime_0 : 22.796216
198.59/46.51	c (27,0) c SolvingTime_1 : 22.213198
198.59/46.51	c (27,0) c SolvingTime_2 : 21.531214
198.59/46.51	c (27,0) c SolvingTime_3 : 22.156110
198.59/46.51	c (27,0) c SolvingTime_4 : 21.598475
198.59/46.51	c (27,0) c SolvingTime_5 : 21.574430
198.59/46.51	c (27,0) c SolvingTime_6 : 21.604964
198.59/46.51	c (27,0) c SolvingTime_7 : 21.607586
198.59/46.51	c (27,0) c SolvingTime_total : 175.082193
198.59/46.51	c (27,0) c SolvingTime_winner : 21.531214
198.59/46.51	c (27,0) c PropagationTime_0 : 22.436024
198.59/46.51	c (27,0) c PropagationTime_1 : 21.856837
198.59/46.51	c (27,0) c PropagationTime_2 : 21.172602
198.59/46.51	c (27,0) c PropagationTime_3 : 21.786876
198.59/46.51	c (27,0) c PropagationTime_4 : 21.221413
198.59/46.51	c (27,0) c PropagationTime_5 : 21.218828
198.59/46.51	c (27,0) c PropagationTime_6 : 21.243459
198.59/46.51	c (27,0) c PropagationTime_7 : 21.264607
198.59/46.51	c (27,0) c PropagationTime_total : 172.200647
198.59/46.51	c (27,0) c PropagationTime_winner : 21.172602
198.59/46.51	c (27,0) c AnalysisTime_0 : 0.176312
198.59/46.51	c (27,0) c AnalysisTime_1 : 0.171555
198.59/46.51	c (27,0) c AnalysisTime_2 : 0.174446
198.59/46.51	c (27,0) c AnalysisTime_3 : 0.180648
198.59/46.51	c (27,0) c AnalysisTime_4 : 0.186785
198.59/46.51	c (27,0) c AnalysisTime_5 : 0.177039
198.59/46.51	c (27,0) c AnalysisTime_6 : 0.179743
198.59/46.51	c (27,0) c AnalysisTime_7 : 0.172102
198.59/46.51	c (27,0) c AnalysisTime_total : 1.418630
198.59/46.51	c (27,0) c AnalysisTime_winner : 0.174446
198.59/46.51	c (27,0) c ReductionTime_0 : 0.000000
198.59/46.51	c (27,0) c ReductionTime_1 : 0.000405
198.59/46.51	c (27,0) c ReductionTime_2 : 0.000432
198.59/46.51	c (27,0) c ReductionTime_3 : 0.000421
198.59/46.51	c (27,0) c ReductionTime_4 : 0.000442
198.59/46.51	c (27,0) c ReductionTime_5 : 0.000460
198.59/46.51	c (27,0) c ReductionTime_6 : 0.000457
198.59/46.51	c (27,0) c ReductionTime_7 : 0.000475
198.59/46.51	c (27,0) c ReductionTime_total : 0.003092
198.59/46.51	c (27,0) c ReductionTime_winner : 0.000432
198.59/46.51	c (27,0) c SimplifyTime_0 : 0.000002
198.59/46.51	c (27,0) c SimplifyTime_1 : 0.000001
198.59/46.51	c (27,0) c SimplifyTime_2 : 0.000002
198.59/46.51	c (27,0) c SimplifyTime_3 : 0.000003
198.59/46.51	c (27,0) c SimplifyTime_4 : 0.000002
198.59/46.51	c (27,0) c SimplifyTime_5 : 0.000001
198.59/46.51	c (27,0) c SimplifyTime_6 : 0.000004
198.59/46.51	c (27,0) c SimplifyTime_7 : 0.000000
198.59/46.51	c (27,0) c SimplifyTime_total : 0.000015
198.59/46.51	c (27,0) c SimplifyTime_winner : 0.000002
198.59/46.51	c (27,0) c UsedRateTime_0 : 0.000000
198.59/46.51	c (27,0) c UsedRateTime_1 : 0.000000
198.59/46.51	c (27,0) c UsedRateTime_2 : 0.000000
198.59/46.51	c (27,0) c UsedRateTime_3 : 0.000000
198.59/46.51	c (27,0) c UsedRateTime_4 : 0.000000
198.59/46.51	c (27,0) c UsedRateTime_5 : 0.000000
198.59/46.51	c (27,0) c UsedRateTime_6 : 0.000000
198.59/46.51	c (27,0) c UsedRateTime_7 : 0.000000
198.59/46.51	c (27,0) c UsedRateTime_total : 0.000000
198.59/46.51	c (27,0) c UsedRateTime_winner : 0.000000
198.59/46.51	c (27,0) c OverlapRateTime_0 : 0.000000
198.59/46.51	c (27,0) c OverlapRateTime_1 : 0.000000
198.59/46.51	c (27,0) c OverlapRateTime_2 : 0.000000
198.59/46.51	c (27,0) c OverlapRateTime_3 : 0.000000
198.59/46.51	c (27,0) c OverlapRateTime_4 : 0.000000
198.59/46.51	c (27,0) c OverlapRateTime_5 : 0.000000
198.59/46.51	c (27,0) c OverlapRateTime_6 : 0.000000
198.59/46.51	c (27,0) c OverlapRateTime_7 : 0.000000
198.59/46.51	c (27,0) c OverlapRateTime_total : 0.000000
198.59/46.51	c (27,0) c OverlapRateTime_winner : 0.000000
198.59/46.51	c (27,0) c
198.59/46.51	c (27,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
198.59/46.51	c (27,0) c
198.59/46.51	c (27,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
198.59/46.51	c (27,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
198.59/46.51	c (27,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
198.59/46.51	c (27,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
198.59/46.51	c (27,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
198.59/46.51	c (27,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
198.59/46.51	c (27,0) c | Initial random_seed   | 1095241537 | 1197431262 |  682078321 |  736721457 | 1126572765 | 1531778872 |  807887663 |  920473469 |
198.59/46.51	c (27,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
198.59/46.51	c (27,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
198.59/46.51	c (27,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
198.59/46.51	c (27,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
198.59/46.51	c (27,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
198.59/46.51	c (27,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
198.59/46.51	c (27,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
198.59/46.51	c (27,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
198.59/46.51	c (27,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
198.59/46.51	c (27,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
198.59/46.51	c (27,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
198.59/46.51	c (27,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
198.59/46.51	c (27,0) 
198.59/46.51	c (27,0) s SATISFIABLE
199.02/46.70	c (27,0) SatSolver.solve End
199.02/46.70	c (27,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
199.02/46.70	c (27,0) Show results Begin
199.21/46.81	c (27,0) x[0] = 7
199.21/46.81	c (27,0) x[1] = 17
199.21/46.81	c (27,0) x[2] = 19
199.21/46.81	c (27,0) x[3] = 13
199.21/46.81	c (27,0) x[4] = 7
199.21/46.81	c (27,0) x[5] = 13
199.21/46.81	c (27,0) x[6] = 17
199.21/46.81	c (27,0) x[7] = 5
199.21/46.81	c (27,0) x[8] = 29
199.21/46.81	c (27,0) x[9] = 3
199.21/46.81	c (27,0) x[10] = 5
199.21/46.81	c (27,0) x[11] = 19
199.21/46.81	c (27,0) x[12] = 2
199.21/46.81	c (27,0) x[13] = 29
199.21/46.81	c (27,0) x[14] = 7
199.21/46.81	c (27,0) x[15] = 17
199.21/46.81	c (27,0) x[16] = 2
199.21/46.81	c (27,0) x[17] = 17
199.21/46.81	c (27,0) x[18] = 5
199.21/46.81	c (27,0) x[19] = 17
199.21/46.81	c (27,0) x[20] = 3
199.21/46.81	c (27,0) x[21] = 23
199.21/46.81	c (27,0) x[22] = 19
199.21/46.81	c (27,0) x[23] = 29
199.21/46.81	c (27,0) x[24] = 5
199.21/46.81	c (27,0) x[25] = 2
199.21/46.81	c (27,0) x[26] = 5
199.21/46.81	c (27,0) x[27] = 7
199.21/46.81	c (27,0) x[28] = 19
199.21/46.81	c (27,0) x[29] = 13
199.21/46.81	c (27,0) x[30] = 29
199.21/46.81	c (27,0) x[31] = 5
199.21/46.81	c (27,0) x[32] = 5
199.21/46.81	c (27,0) x[33] = 23
199.21/46.81	c (27,0) x[34] = 29
199.21/46.81	c (27,0) x[35] = 19
199.21/46.81	c (27,0) x[36] = 9
199.21/46.81	c (27,0) x[37] = 17
199.21/46.81	c (27,0) x[38] = 3
199.21/46.81	c (27,0) x[39] = 5
199.21/46.81	c (27,0) x[40] = 29
199.21/46.81	c (27,0) x[41] = 7
199.21/46.81	c (27,0) x[42] = 3
199.21/46.81	c (27,0) x[43] = 29
199.21/46.81	c (27,0) x[44] = 11
199.21/46.81	c (27,0) x[45] = 19
199.21/46.81	c (27,0) x[46] = 23
199.21/46.81	c (27,0) x[47] = 11
199.21/46.81	c (27,0) x[48] = 13
199.21/46.81	c (27,0) x[49] = 2
199.21/46.81	c (27,0) x[50] = 7
199.21/46.81	c (27,0) x[51] = 17
199.21/46.81	c (27,0) x[52] = 10
199.21/46.81	c (27,0) x[53] = 2
199.21/46.81	c (27,0) x[54] = 17
199.21/46.81	c (27,0) x[55] = 7
199.21/46.81	c (27,0) x[56] = 5
199.21/46.81	c (27,0) x[57] = 2
199.21/46.81	c (27,0) x[58] = 17
199.21/46.81	c (27,0) x[59] = 3
199.21/46.81	c (27,0) x[60] = 13
199.21/46.81	c (27,0) x[61] = 13
199.21/46.81	c (27,0) x[62] = 11
199.21/46.81	c (27,0) x[63] = 19
199.21/46.81	c (27,0) x[64] = 17
199.21/46.81	c (27,0) x[65] = 13
199.21/46.81	c (27,0) x[66] = 17
199.21/46.81	c (27,0) x[67] = 29
199.21/46.81	c (27,0) x[68] = 7
199.21/46.81	c (27,0) x[69] = 19
199.21/46.81	c (27,0) x[70] = 11
199.21/46.81	c (27,0) x[71] = 13
199.21/46.81	c (27,0) x[72] = 5
199.21/46.81	c (27,0) x[73] = 13
199.21/46.81	c (27,0) x[74] = 11
199.21/46.81	c (27,0) x[75] = 19
199.21/46.81	c (27,0) x[76] = 11
199.21/46.81	c (27,0) x[78] = 7
199.21/46.81	c (27,0) x[79] = 2
199.21/46.81	c (27,0) x[80] = 19
199.21/46.81	c (27,0) x[81] = 23
199.21/46.81	c (27,0) x[82] = 17
199.21/46.81	c (27,0) x[83] = 23
199.21/46.81	c (27,0) x[84] = 23
199.21/46.81	c (27,0) x[85] = 11
199.21/46.82	c (27,0) x[86] = 7
199.21/46.82	c (27,0) x[87] = 3
199.21/46.82	c (27,0) x[88] = 11
199.21/46.82	c (27,0) x[89] = 29
199.21/46.82	c (27,0) x[90] = 5
199.21/46.82	c (27,0) x[91] = 2
199.21/46.82	c (27,0) x[92] = 17
199.21/46.82	c (27,0) x[93] = 23
199.21/46.82	c (27,0) x[94] = 29
199.21/46.82	c (27,0) x[95] = 5
199.21/46.82	c (27,0) x[96] = 17
199.21/46.82	c (27,0) x[97] = 17
199.21/46.82	c (27,0) x[98] = 11
199.21/46.82	c (27,0) x[99] = 29
199.21/46.82	s SATISFIABLE
199.21/46.83	v <instantiation>
199.21/46.83	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>
199.21/46.83	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>
199.21/46.83	v </instantiation>
199.21/46.83	c (27,0) Show results End
199.21/46.83	c (27,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB)
199.21/46.83	c (27,0) 27,27,STOP-AFTER(ALL)
199.21/46.83	c END-Prog: Tue Sep 24 18:04:41 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 (13800 MiB free)
  memory of node 1: 16384 MiB (10862 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4405225-1569341078/watcher-4405225-1569341078 -o /var/tmp/evaluation-result-4405225-1569341078/solver-4405225-1569341078 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node147-1569335935-15195 --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-4405225-1569341078.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=16219, runsolver pid=16216
Current StackSize limit: 8192 KiB


[startup+0.100107 s]*
/proc/loadavg: 7.58 6.30 4.49 4/213 16241
/proc/meminfo: memFree=25158716/32770624 swapFree=66935948/67108860
[pid=16219] ppid=16216 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/16219/stat : 16219 (scop.sh) S 16216 16219 15168 0 -1 4202496 555 320 0 0 0 0 0 0 20 0 1 0 510021605 115843072 348 33554432000 4194304 5098028 140730323635840 140730323633096 139797627654780 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 36548608 140730323636989 140730323637336 140730323637336 140730323640265 0
/proc/16219/statm: 28282 348 296 221 0 87 0
[pid=16222] ppid=16219 vsize=27314120 memory=107660 CPUtime=0.1 cores=0-7
/proc/16222/stat : 16222 (java) S 16219 16219 15168 0 -1 1077944320 6461 0 0 0 8 2 0 0 20 0 20 0 510021606 27969658880 26915 33554432000 4194304 4196468 140722392208384 140722392190928 140642784116471 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20537344 140722392212167 140722392212614 140722392212614 140722392215503 0
/proc/16222/statm: 6828530 26915 2801 1 0 6790935 0
[pid=16222/tid=16223] ppid=16219 vsize=27314120 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/16222/task/16223/stat : 16223 (java) R 16219 16219 15168 0 -1 4202560 4581 0 0 0 7 2 0 0 20 0 20 0 510021606 27969658880 26915 33554432000 4194304 4196468 140722392208384 140642755920672 140642768196958 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20537344 140722392212167 140722392212614 140722392212614 140722392215503 0
[pid=16222/tid=16224] ppid=16219 vsize=27314120 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/16222/task/16224/stat : 16224 (java) S 16219 16219 15168 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510021608 27969658880 26915 33554432000 4194304 4196468 140722392208384 140642788358544 140642784126677 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20537344 140722392212167 140722392212614 140722392212614 140722392215503 0
[pid=16222/tid=16225] ppid=16219 vsize=27314120 memory=140679200126592 CPUtime=0 cores=0-7
/proc/16222/task/16225/stat : 16225 (java) S 16219 16219 15168 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510021608 27969658880 26915 33554432000 4194304 4196468 140722392208384 140642602514704 140642784126677 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20537344 140722392212167 140722392212614 140722392212614 140722392215503 0
[pid=16222/tid=16226] ppid=16219 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16222/task/16226/stat : 16226 (java) S 16219 16219 15168 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510021608 27969658880 26915 33554432000 4194304 4196468 140722392208384 140642601462416 140642784126677 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20537344 140722392212167 140722392212614 140722392212614 140722392215503 0
[pid=16222/tid=16227] ppid=16219 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16222/task/16227/stat : 16227 (java) S 16219 16219 15168 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510021608 27969658880 26915 33554432000 4194304 4196468 140722392208384 140642600409616 140642784126677 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20537344 140722392212167 140722392212614 140722392212614 140722392215503 0
[pid=16222/tid=16228] ppid=16219 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16222/task/16228/stat : 16228 (java) S 16219 16219 15168 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510021608 27969658880 26915 33554432000 4194304 4196468 140722392208384 140642599357328 140642784126677 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20537344 140722392212167 140722392212614 140722392212614 140722392215503 0
[pid=16222/tid=16229] ppid=16219 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/16222/task/16229/stat : 16229 (java) S 16219 16219 15168 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510021609 27969658880 26915 33554432000 4194304 4196468 140722392208384 140642598304528 140642784126677 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20537344 140722392212167 140722392212614 140722392212614 140722392215503 0
[pid=16222/tid=16230] ppid=16219 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16222/task/16230/stat : 16230 (java) S 16219 16219 15168 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510021609 27969658880 26915 33554432000 4194304 4196468 140722392208384 140642200747152 140642784126677 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20537344 140722392212167 140722392212614 140722392212614 140722392215503 0
[pid=16222/tid=16231] ppid=16219 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16222/task/16231/stat : 16231 (java) S 16219 16219 15168 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510021609 27969658880 26915 33554432000 4194304 4196468 140722392208384 140642199694352 140642784126677 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20537344 140722392212167 140722392212614 140722392212614 140722392215503 0
[pid=16222/tid=16232] ppid=16219 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16222/task/16232/stat : 16232 (java) S 16219 16219 15168 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510021610 27969658880 26915 33554432000 4194304 4196468 140722392208384 140640835795056 140642784127618 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20537344 140722392212167 140722392212614 140722392212614 140722392215503 0
[pid=16222/tid=16233] ppid=16219 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16222/task/16233/stat : 16233 (java) S 16219 16219 15168 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 510021610 27969658880 26915 33554432000 4194304 4196468 140722392208384 140640717366048 140642784126677 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20537344 140722392212167 140722392212614 140722392212614 140722392215503 0
[pid=16222/tid=16234] ppid=16219 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16222/task/16234/stat : 16234 (java) S 16219 16219 15168 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510021611 27969658880 26915 33554432000 4194304 4196468 140722392208384 140640448930928 140642784126677 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20537344 140722392212167 140722392212614 140722392212614 140722392215503 0
[pid=16222/tid=16235] ppid=16219 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16222/task/16235/stat : 16235 (java) S 16219 16219 15168 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510021613 27969658880 26915 33554432000 4194304 4196468 140722392208384 140640074422352 140642784135067 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20537344 140722392212167 140722392212614 140722392212614 140722392215503 0
[pid=16222/tid=16236] ppid=16219 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16222/task/16236/stat : 16236 (java) S 16219 16219 15168 0 -1 1077944384 294 0 0 0 0 0 0 0 20 0 20 0 510021613 27969658880 26915 33554432000 4194304 4196468 140722392208384 140640834742896 140642784127618 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20537344 140722392212167 140722392212614 140722392212614 140722392215503 0
[pid=16222/tid=16237] ppid=16219 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16222/task/16237/stat : 16237 (java) S 16219 16219 15168 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510021613 27969658880 26915 33554432000 4194304 4196468 140722392208384 140640833690096 140642784127618 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20537344 140722392212167 140722392212614 140722392212614 140722392215503 0
[pid=16222/tid=16238] ppid=16219 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16222/task/16238/stat : 16238 (java) S 16219 16219 15168 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510021613 27969658880 26915 33554432000 4194304 4196468 140722392208384 140640832637808 140642784127618 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20537344 140722392212167 140722392212614 140722392212614 140722392215503 0
[pid=16222/tid=16239] ppid=16219 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16222/task/16239/stat : 16239 (java) S 16219 16219 15168 0 -1 1077944384 252 0 0 0 0 0 0 0 20 0 20 0 510021613 27969658880 26915 33554432000 4194304 4196468 140722392208384 140640831585008 140642784127618 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20537344 140722392212167 140722392212614 140722392212614 140722392215503 0
[pid=16222/tid=16240] ppid=16219 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16222/task/16240/stat : 16240 (java) S 16219 16219 15168 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510021613 27969658880 26915 33554432000 4194304 4196468 140722392208384 140639576516960 140642784126677 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20537344 140722392212167 140722392212614 140722392212614 140722392215503 0
[pid=16222/tid=16241] ppid=16219 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/16222/task/16241/stat : 16241 (java) S 16219 16219 15168 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510021614 27969658880 26915 33554432000 4194304 4196468 140722392208384 140640830531888 140642784127618 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20537344 140722392212167 140722392212614 140722392212614 140722392215503 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 109052 KiB

[startup+0.21001 s]*
/proc/loadavg: 7.58 6.30 4.49 3/213 16241
/proc/meminfo: memFree=25140856/32770624 swapFree=66935948/67108860
[pid=16219] ppid=16216 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/16219/stat : 16219 (scop.sh) S 16216 16219 15168 0 -1 4202496 555 320 0 0 0 0 0 0 20 0 1 0 510021605 115843072 348 33554432000 4194304 5098028 140730323635840 140730323633096 139797627654780 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 36548608 140730323636989 140730323637336 140730323637336 140730323640265 0
/proc/16219/statm: 28282 348 296 221 0 87 0
[pid=16222] ppid=16219 vsize=27314120 memory=124404 CPUtime=0.25 cores=0-7
/proc/16222/stat : 16222 (java) S 16219 16219 15168 0 -1 1077944320 11348 0 0 0 21 4 0 0 20 0 20 0 510021606 27969658880 31101 33554432000 4194304 4196468 140722392208384 140722392190928 140642784116471 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20537344 140722392212167 140722392212614 140722392212614 140722392215503 0
/proc/16222/statm: 6828530 31101 2893 1 0 6790935 0
[pid=16222/tid=16223] ppid=16219 vsize=27314120 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/16222/task/16223/stat : 16223 (java) R 16219 16219 15168 0 -1 4202560 9076 0 0 0 17 3 0 0 20 0 20 0 510021606 27969658880 31101 33554432000 4194304 4196468 140722392208384 140642755929904 140642765681433 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20537344 140722392212167 140722392212614 140722392212614 140722392215503 0
[pid=16222/tid=16224] ppid=16219 vsize=27314120 memory=331 CPUtime=0 cores=0-7
/proc/16222/task/16224/stat : 16224 (java) S 16219 16219 15168 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510021608 27969658880 31101 33554432000 4194304 4196468 140722392208384 140642788358544 140642784126677 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20537344 140722392212167 140722392212614 140722392212614 140722392215503 0
[pid=16222/tid=16225] ppid=16219 vsize=27314120 memory=4120996139350898336 CPUtime=0 cores=0-7
/proc/16222/task/16225/stat : 16225 (java) S 16219 16219 15168 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510021608 27969658880 31101 33554432000 4194304 4196468 140722392208384 140642602514704 140642784126677 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20537344 140722392212167 140722392212614 140722392212614 140722392215503 0
[pid=16222/tid=16226] ppid=16219 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/16222/task/16226/stat : 16226 (java) S 16219 16219 15168 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510021608 27969658880 31101 33554432000 4194304 4196468 140722392208384 140642601462416 140642784126677 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20537344 140722392212167 140722392212614 140722392212614 140722392215503 0
[pid=16222/tid=16227] ppid=16219 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16222/task/16227/stat : 16227 (java) S 16219 16219 15168 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510021608 27969658880 31101 33554432000 4194304 4196468 140722392208384 140642600409616 140642784126677 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20537344 140722392212167 140722392212614 140722392212614 140722392215503 0
[pid=16222/tid=16228] ppid=16219 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16222/task/16228/stat : 16228 (java) S 16219 16219 15168 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510021608 27969658880 31101 33554432000 4194304 4196468 140722392208384 140642599357328 140642784126677 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20537344 140722392212167 140722392212614 140722392212614 140722392215503 0
[pid=16222/tid=16229] ppid=16219 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/16222/task/16229/stat : 16229 (java) S 16219 16219 15168 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510021609 27969658880 31101 33554432000 4194304 4196468 140722392208384 140642598304528 140642784126677 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20537344 140722392212167 140722392212614 140722392212614 140722392215503 0
[pid=16222/tid=16230] ppid=16219 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16222/task/16230/stat : 16230 (java) S 16219 16219 15168 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510021609 27969658880 31101 33554432000 4194304 4196468 140722392208384 140642200747152 140642784126677 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20537344 140722392212167 140722392212614 140722392212614 140722392215503 0
[pid=16222/tid=16231] ppid=16219 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16222/task/16231/stat : 16231 (java) S 16219 16219 15168 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510021609 27969658880 31101 33554432000 4194304 4196468 140722392208384 140642199694352 140642784126677 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20537344 140722392212167 140722392212614 140722392212614 140722392215503 0
[pid=16222/tid=16232] ppid=16219 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16222/task/16232/stat : 16232 (java) S 16219 16219 15168 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510021610 27969658880 31101 33554432000 4194304 4196468 140722392208384 140640835795056 140642784127618 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20537344 140722392212167 140722392212614 140722392212614 140722392215503 0
[pid=16222/tid=16233] ppid=16219 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16222/task/16233/stat : 16233 (java) S 16219 16219 15168 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 510021610 27969658880 31101 33554432000 4194304 4196468 140722392208384 140640717366048 140642784126677 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20537344 140722392212167 140722392212614 140722392212614 140722392215503 0
[pid=16222/tid=16234] ppid=16219 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16222/task/16234/stat : 16234 (java) S 16219 16219 15168 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510021611 27969658880 31101 33554432000 4194304 4196468 140722392208384 140640448930928 140642784126677 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20537344 140722392212167 140722392212614 140722392212614 140722392215503 0
[pid=16222/tid=16235] ppid=16219 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16222/task/16235/stat : 16235 (java) S 16219 16219 15168 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510021613 27969658880 31101 33554432000 4194304 4196468 140722392208384 140640074422352 140642784135067 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20537344 140722392212167 140722392212614 140722392212614 140722392215503 0
[pid=16222/tid=16236] ppid=16219 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16222/task/16236/stat : 16236 (java) S 16219 16219 15168 0 -1 1077944384 328 0 0 0 0 0 0 0 20 0 20 0 510021613 27969658880 31101 33554432000 4194304 4196468 140722392208384 140640834742896 140642784127618 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20537344 140722392212167 140722392212614 140722392212614 140722392215503 0
[pid=16222/tid=16237] ppid=16219 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16222/task/16237/stat : 16237 (java) S 16219 16219 15168 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 20 0 510021613 27969658880 31101 33554432000 4194304 4196468 140722392208384 140640833690096 140642784127618 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20537344 140722392212167 140722392212614 140722392212614 140722392215503 0
[pid=16222/tid=16238] ppid=16219 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/16222/task/16238/stat : 16238 (java) S 16219 16219 15168 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 510021613 27969658880 31101 33554432000 4194304 4196468 140722392208384 140640832637808 140642784127618 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20537344 140722392212167 140722392212614 140722392212614 140722392215503 0
[pid=16222/tid=16239] ppid=16219 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7
/proc/16222/task/16239/stat : 16239 (java) S 16219 16219 15168 0 -1 1077944384 469 0 0 0 2 0 0 0 20 0 20 0 510021613 27969658880 31101 33554432000 4194304 4196468 140722392208384 140640831585008 140642784127618 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20537344 140722392212167 140722392212614 140722392212614 140722392215503 0
[pid=16222/tid=16240] ppid=16219 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16222/task/16240/stat : 16240 (java) S 16219 16219 15168 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510021613 27969658880 31101 33554432000 4194304 4196468 140722392208384 140639576516960 140642784126677 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20537344 140722392212167 140722392212614 140722392212614 140722392215503 0
[pid=16222/tid=16241] ppid=16219 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/16222/task/16241/stat : 16241 (java) S 16219 16219 15168 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510021614 27969658880 31101 33554432000 4194304 4196468 140722392208384 140640830531888 140642784127618 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20537344 140722392212167 140722392212614 140722392212614 140722392215503 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 125796 KiB

[startup+0.309559 s]*
/proc/loadavg: 7.58 6.30 4.49 2/213 16241
/proc/meminfo: memFree=25137692/32770624 swapFree=66935948/67108860
[pid=16219] ppid=16216 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/16219/stat : 16219 (scop.sh) S 16216 16219 15168 0 -1 4202496 555 320 0 0 0 0 0 0 20 0 1 0 510021605 115843072 348 33554432000 4194304 5098028 140730323635840 140730323633096 139797627654780 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 36548608 140730323636989 140730323637336 140730323637336 140730323640265 0
/proc/16219/statm: 28282 348 296 221 0 87 0
[pid=16222] ppid=16219 vsize=27314120 memory=128220 CPUtime=0.43 cores=0-7
/proc/16222/stat : 16222 (java) S 16219 16219 15168 0 -1 1077944320 12387 0 0 0 38 5 0 0 20 0 20 0 510021606 27969658880 32055 33554432000 4194304 4196468 140722392208384 140722392190928 140642784116471 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20537344 140722392212167 140722392212614 140722392212614 140722392215503 0
/proc/16222/statm: 6828530 32055 3037 1 0 6790935 0
[pid=16222/tid=16223] ppid=16219 vsize=27314120 memory=6791534058613427641 CPUtime=0.3 cores=0-7
/proc/16222/task/16223/stat : 16223 (java) R 16219 16219 15168 0 -1 4202560 9956 0 0 0 26 4 0 0 20 0 20 0 510021606 27969658880 32055 33554432000 4194304 4196468 140722392208384 140642755899488 140642784138397 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20537344 140722392212167 140722392212614 140722392212614 140722392215503 0
[pid=16222/tid=16224] ppid=16219 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16222/task/16224/stat : 16224 (java) S 16219 16219 15168 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510021608 27969658880 32055 33554432000 4194304 4196468 140722392208384 140642788358544 140642784126677 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20537344 140722392212167 140722392212614 140722392212614 140722392215503 0
[pid=16222/tid=16225] ppid=16219 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16222/task/16225/stat : 16225 (java) S 16219 16219 15168 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510021608 27969658880 32055 33554432000 4194304 4196468 140722392208384 140642602514704 140642784126677 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20537344 140722392212167 140722392212614 140722392212614 140722392215503 0
[pid=16222/tid=16226] ppid=16219 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16222/task/16226/stat : 16226 (java) S 16219 16219 15168 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510021608 27969658880 32055 33554432000 4194304 4196468 140722392208384 140642601462416 140642784126677 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20537344 140722392212167 140722392212614 140722392212614 140722392215503 0
[pid=16222/tid=16227] ppid=16219 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16222/task/16227/stat : 16227 (java) S 16219 16219 15168 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510021608 27969658880 32055 33554432000 4194304 4196468 140722392208384 140642600409616 140642784126677 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20537344 140722392212167 140722392212614 140722392212614 140722392215503 0
[pid=16222/tid=16228] ppid=16219 vsize=27314120 memory=2244 CPUtime=0 cores=0-7
/proc/16222/task/16228/stat : 16228 (java) S 16219 16219 15168 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510021608 27969658880 32055 33554432000 4194304 4196468 140722392208384 140642599357328 140642784126677 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20537344 140722392212167 140722392212614 140722392212614 140722392215503 0
[pid=16222/tid=16229] ppid=16219 vsize=27314120 memory=140679103738799 CPUtime=0 cores=0-7
/proc/16222/task/16229/stat : 16229 (java) S 16219 16219 15168 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510021609 27969658880 32055 33554432000 4194304 4196468 140722392208384 140642598304528 140642784126677 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20537344 140722392212167 140722392212614 140722392212614 140722392215503 0
[pid=16222/tid=16230] ppid=16219 vsize=27314120 memory=140679103741104 CPUtime=0 cores=0-7
/proc/16222/task/16230/stat : 16230 (java) S 16219 16219 15168 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510021609 27969658880 32055 33554432000 4194304 4196468 140722392208384 140642200747152 140642784126677 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20537344 140722392212167 140722392212614 140722392212614 140722392215503 0
[pid=16222/tid=16231] ppid=16219 vsize=27314120 memory=140679103743408 CPUtime=0 cores=0-7
/proc/16222/task/16231/stat : 16231 (java) S 16219 16219 15168 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510021609 27969658880 32055 33554432000 4194304 4196468 140722392208384 140642199694352 140642784126677 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20537344 140722392212167 140722392212614 140722392212614 140722392215503 0
[pid=16222/tid=16232] ppid=16219 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16222/task/16232/stat : 16232 (java) S 16219 16219 15168 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510021610 27969658880 32055 33554432000 4194304 4196468 140722392208384 140640835795056 140642784127618 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20537344 140722392212167 140722392212614 140722392212614 140722392215503 0
[pid=16222/tid=16233] ppid=16219 vsize=27314120 memory=281358207493776 CPUtime=0 cores=0-7
/proc/16222/task/16233/stat : 16233 (java) S 16219 16219 15168 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 510021610 27969658880 32055 33554432000 4194304 4196468 140722392208384 140640717366048 140642784126677 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20537344 140722392212167 140722392212614 140722392212614 140722392215503 0
[pid=16222/tid=16234] ppid=16219 vsize=27314120 memory=281358207500688 CPUtime=0 cores=0-7
/proc/16222/task/16234/stat : 16234 (java) S 16219 16219 15168 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510021611 27969658880 32055 33554432000 4194304 4196468 140722392208384 140640448930928 140642784126677 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20537344 140722392212167 140722392212614 140722392212614 140722392215503 0
[pid=16222/tid=16235] ppid=16219 vsize=27314120 memory=281358207441968 CPUtime=0 cores=0-7
/proc/16222/task/16235/stat : 16235 (java) S 16219 16219 15168 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510021613 27969658880 32055 33554432000 4194304 4196468 140722392208384 140640074422352 140642784135067 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20537344 140722392212167 140722392212614 140722392212614 140722392215503 0
[pid=16222/tid=16236] ppid=16219 vsize=27314120 memory=281358207514512 CPUtime=0 cores=0-7
/proc/16222/task/16236/stat : 16236 (java) R 16219 16219 15168 0 -1 4202560 344 0 0 0 0 0 0 0 20 0 20 0 510021613 27969658880 32055 33554432000 4194304 4196468 140722392208384 140640834742896 140642784127618 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20537344 140722392212167 140722392212614 140722392212614 140722392215503 0
[pid=16222/tid=16237] ppid=16219 vsize=27314120 memory=281358207521424 CPUtime=0.01 cores=0-7
/proc/16222/task/16237/stat : 16237 (java) R 16219 16219 15168 0 -1 4202560 39 0 0 0 1 0 0 0 20 0 20 0 510021613 27969658880 32055 33554432000 4194304 4196468 140722392208384 140640833690096 140642777101513 0 4 2 16800973 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20537344 140722392212167 140722392212614 140722392212614 140722392215503 0
[pid=16222/tid=16238] ppid=16219 vsize=27314120 memory=281358207519120 CPUtime=0.01 cores=0-7
/proc/16222/task/16238/stat : 16238 (java) R 16219 16219 15168 0 -1 1077944384 224 0 0 0 1 0 0 0 20 0 20 0 510021613 27969658880 32055 33554432000 4194304 4196468 140722392208384 140640832637808 140642784127618 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20537344 140722392212167 140722392212614 140722392212614 140722392215503 0
[pid=16222/tid=16239] ppid=16219 vsize=27314120 memory=281358207535280 CPUtime=0.07 cores=0-7
/proc/16222/task/16239/stat : 16239 (java) S 16219 16219 15168 0 -1 1077944384 491 0 0 0 7 0 0 0 20 0 20 0 510021613 27969658880 32055 33554432000 4194304 4196468 140722392208384 140640831585008 140642784127618 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20537344 140722392212167 140722392212614 140722392212614 140722392215503 0
[pid=16222/tid=16240] ppid=16219 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16222/task/16240/stat : 16240 (java) S 16219 16219 15168 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510021613 27969658880 32055 33554432000 4194304 4196468 140722392208384 140639576516960 140642784126677 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20537344 140722392212167 140722392212614 140722392212614 140722392215503 0
[pid=16222/tid=16241] ppid=16219 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/16222/task/16241/stat : 16241 (java) S 16219 16219 15168 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510021614 27969658880 32055 33554432000 4194304 4196468 140722392208384 140640830531888 140642784127618 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20537344 140722392212167 140722392212614 140722392212614 140722392215503 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 129612 KiB

[startup+0.700873 s]
/proc/loadavg: 7.58 6.30 4.49 2/213 16241
/proc/meminfo: memFree=25114356/32770624 swapFree=66935948/67108860
[pid=16219] ppid=16216 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/16219/stat : 16219 (scop.sh) S 16216 16219 15168 0 -1 4202496 555 320 0 0 0 0 0 0 20 0 1 0 510021605 115843072 348 33554432000 4194304 5098028 140730323635840 140730323633096 139797627654780 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 36548608 140730323636989 140730323637336 140730323637336 140730323640265 0
/proc/16219/statm: 28282 348 296 221 0 87 0
[pid=16222] ppid=16219 vsize=27322440 memory=165892 CPUtime=1.01 cores=0-7
/proc/16222/stat : 16222 (java) S 16219 16219 15168 0 -1 1077944320 20044 0 0 0 94 7 0 0 20 0 20 0 510021606 27978178560 41473 33554432000 4194304 4196468 140722392208384 140722392190928 140642784116471 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20537344 140722392212167 140722392212614 140722392212614 140722392215503 0
/proc/16222/statm: 6830610 41473 3192 1 0 6791959 0
[pid=16222/tid=16223] ppid=16219 vsize=27322440 memory=281358207893168 CPUtime=0.67 cores=0-7
/proc/16222/task/16223/stat : 16223 (java) R 16219 16219 15168 0 -1 4202560 17010 0 0 0 62 5 0 0 20 0 20 0 510021606 27978178560 41473 33554432000 4194304 4196468 140722392208384 140642755945568 140642768196958 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20537344 140722392212167 140722392212614 140722392212614 140722392215503 0
[pid=16222/tid=16224] ppid=16219 vsize=27322440 memory=140679103947632 CPUtime=0 cores=0-7
/proc/16222/task/16224/stat : 16224 (java) S 16219 16219 15168 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510021608 27978178560 41473 33554432000 4194304 4196468 140722392208384 140642788358544 140642784126677 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20537344 140722392212167 140722392212614 140722392212614 140722392215503 0
[pid=16222/tid=16225] ppid=16219 vsize=27322440 memory=0 CPUtime=0 cores=0-7
/proc/16222/task/16225/stat : 16225 (java) S 16219 16219 15168 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510021608 27978178560 41473 33554432000 4194304 4196468 140722392208384 140642602514704 140642784126677 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20537344 140722392212167 140722392212614 140722392212614 140722392215503 0
[pid=16222/tid=16226] ppid=16219 vsize=27322440 memory=1128 CPUtime=0 cores=0-7
/proc/16222/task/16226/stat : 16226 (java) S 16219 16219 15168 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510021608 27978178560 41473 33554432000 4194304 4196468 140722392208384 140642601462416 140642784126677 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20537344 140722392212167 140722392212614 140722392212614 140722392215503 0

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

[pid=16242/tid=16245] ppid=16219 vsize=8414124 memory=1056 CPUtime=0 cores=0-7
/proc/16242/task/16245/stat : 16245 (java) S 16219 16219 15168 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510023463 8616062976 30076 33554432000 4194304 4196468 140734497649840 139626916268816 139627111868117 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29765632 140734497657823 140734497657990 140734497657990 140734497660879 0
[pid=16242/tid=16246] ppid=16219 vsize=8414124 memory=1716 CPUtime=0 cores=0-7
/proc/16242/task/16246/stat : 16246 (java) S 16219 16219 15168 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510023463 8616062976 30076 33554432000 4194304 4196468 140734497649840 139626915216528 139627111868117 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29765632 140734497657823 140734497657990 140734497657990 140734497660879 0
[pid=16242/tid=16247] ppid=16219 vsize=8414124 memory=6056 CPUtime=0 cores=0-7
/proc/16242/task/16247/stat : 16247 (java) S 16219 16219 15168 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510023463 8616062976 30076 33554432000 4194304 4196468 140734497649840 139626914163728 139627111868117 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29765632 140734497657823 140734497657990 140734497657990 140734497660879 0
[pid=16242/tid=16248] ppid=16219 vsize=8414124 memory=11528 CPUtime=0 cores=0-7
/proc/16242/task/16248/stat : 16248 (java) S 16219 16219 15168 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510023463 8616062976 30076 33554432000 4194304 4196468 140734497649840 139626913110416 139627111868117 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29765632 140734497657823 140734497657990 140734497657990 140734497660879 0
[pid=16242/tid=16249] ppid=16219 vsize=8414124 memory=780 CPUtime=0 cores=0-7
/proc/16242/task/16249/stat : 16249 (java) S 16219 16219 15168 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510023463 8616062976 30076 33554432000 4194304 4196468 140734497649840 139626912057616 139627111868117 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29765632 140734497657823 140734497657990 140734497657990 140734497660879 0
[pid=16242/tid=16250] ppid=16219 vsize=8414124 memory=776 CPUtime=0 cores=0-7
/proc/16242/task/16250/stat : 16250 (java) S 16219 16219 15168 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510023463 8616062976 30076 33554432000 4194304 4196468 140734497649840 139626911005328 139627111868117 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29765632 140734497657823 140734497657990 140734497657990 140734497660879 0
[pid=16242/tid=16251] ppid=16219 vsize=8414124 memory=1560 CPUtime=0 cores=0-7
/proc/16242/task/16251/stat : 16251 (java) S 16219 16219 15168 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510023463 8616062976 30076 33554432000 4194304 4196468 140734497649840 139626909952528 139627111868117 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29765632 140734497657823 140734497657990 140734497657990 140734497660879 0
[pid=16242/tid=16252] ppid=16219 vsize=8414124 memory=3592 CPUtime=0 cores=0-7
/proc/16242/task/16252/stat : 16252 (java) S 16219 16219 15168 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 510023465 8616062976 30076 33554432000 4194304 4196468 140734497649840 139626071190128 139627111869058 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29765632 140734497657823 140734497657990 140734497657990 140734497660879 0
[pid=16242/tid=16253] ppid=16219 vsize=8414124 memory=1128 CPUtime=0 cores=0-7
/proc/16242/task/16253/stat : 16253 (java) S 16219 16219 15168 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 510023465 8616062976 30076 33554432000 4194304 4196468 140734497649840 139625695798560 139627111868117 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29765632 140734497657823 140734497657990 140734497657990 140734497660879 0
[pid=16242/tid=16254] ppid=16219 vsize=8414124 memory=1436 CPUtime=0 cores=0-7
/proc/16242/task/16254/stat : 16254 (java) S 16219 16219 15168 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510023466 8616062976 30076 33554432000 4194304 4196468 140734497649840 139625427363440 139627111868117 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29765632 140734497657823 140734497657990 140734497657990 140734497660879 0
[pid=16242/tid=16255] ppid=16219 vsize=8414124 memory=880 CPUtime=0 cores=0-7
/proc/16242/task/16255/stat : 16255 (java) S 16219 16219 15168 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510023468 8616062976 30076 33554432000 4194304 4196468 140734497649840 139625052854864 139627111876507 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29765632 140734497657823 140734497657990 140734497657990 140734497660879 0
[pid=16242/tid=16256] ppid=16219 vsize=8414124 memory=1980 CPUtime=0.05 cores=0-7
/proc/16242/task/16256/stat : 16256 (java) S 16219 16219 15168 0 -1 1077944384 688 0 0 0 5 0 0 0 20 0 24 0 510023468 8616062976 30076 33554432000 4194304 4196468 140734497649840 139626070136944 139627111869058 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29765632 140734497657823 140734497657990 140734497657990 140734497660879 0
[pid=16242/tid=16257] ppid=16219 vsize=8414124 memory=2520 CPUtime=0.05 cores=0-7
/proc/16242/task/16257/stat : 16257 (java) S 16219 16219 15168 0 -1 1077944384 205 0 0 0 5 0 0 0 20 0 24 0 510023468 8616062976 30076 33554432000 4194304 4196468 140734497649840 139626069084144 139627111869058 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29765632 140734497657823 140734497657990 140734497657990 140734497660879 0
[pid=16242/tid=16258] ppid=16219 vsize=8414124 memory=1760 CPUtime=0.06 cores=0-7
/proc/16242/task/16258/stat : 16258 (java) S 16219 16219 15168 0 -1 1077944384 269 0 0 0 6 0 0 0 20 0 24 0 510023468 8616062976 30076 33554432000 4194304 4196468 140734497649840 139626068031856 139627111869058 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29765632 140734497657823 140734497657990 140734497657990 140734497660879 0
[pid=16242/tid=16259] ppid=16219 vsize=8414124 memory=1660 CPUtime=0.2 cores=0-7
/proc/16242/task/16259/stat : 16259 (java) S 16219 16219 15168 0 -1 1077944384 528 0 0 0 20 0 0 0 20 0 24 0 510023468 8616062976 30076 33554432000 4194304 4196468 140734497649840 139626066979056 139627111869058 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29765632 140734497657823 140734497657990 140734497657990 140734497660879 0
[pid=16242/tid=16260] ppid=16219 vsize=8414124 memory=111632 CPUtime=0 cores=0-7
/proc/16242/task/16260/stat : 16260 (java) S 16219 16219 15168 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510023468 8616062976 30076 33554432000 4194304 4196468 140734497649840 139624554949472 139627111868117 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29765632 140734497657823 140734497657990 140734497657990 140734497660879 0
[pid=16242/tid=16261] ppid=16219 vsize=8414124 memory=796 CPUtime=0 cores=0-7
/proc/16242/task/16261/stat : 16261 (java) S 16219 16219 15168 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510023469 8616062976 30076 33554432000 4194304 4196468 140734497649840 139626065926960 139627111869058 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29765632 140734497657823 140734497657990 140734497657990 140734497660879 0
[pid=16242/tid=16263] ppid=16219 vsize=8414124 memory=1804 CPUtime=0 cores=0-7
/proc/16242/task/16263/stat : 16263 (java) S 16219 16219 15168 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 510023535 8616062976 30076 33554432000 4194304 4196468 140734497649840 139626057893696 139627111882521 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 29765632 140734497657823 140734497657990 140734497657990 140734497660879 0
[pid=16242/tid=16265] ppid=16219 vsize=8414124 memory=916 CPUtime=0 cores=0-7
/proc/16242/task/16265/stat : 16265 (java) S 16219 16219 15168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 24 0 510023535 8616062976 30076 33554432000 4194304 4196468 140734497649840 139623883849104 139627111879837 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 29765632 140734497657823 140734497657990 140734497657990 140734497660879 0
[pid=16242/tid=16266] ppid=16219 vsize=8414124 memory=2828 CPUtime=0 cores=0-7
/proc/16242/task/16266/stat : 16266 (java) S 16219 16219 15168 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 510023535 8616062976 30076 33554432000 4194304 4196468 140734497649840 139624152284432 139627111879837 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 29765632 140734497657823 140734497657990 140734497657990 140734497660879 0
[pid=16242/tid=16267] ppid=16219 vsize=8414124 memory=1232 CPUtime=0 cores=0-7
/proc/16242/task/16267/stat : 16267 (java) S 16219 16219 15168 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510023537 8616062976 30076 33554432000 4194304 4196468 140734497649840 139623615421744 139627111868117 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29765632 140734497657823 140734497657990 140734497657990 140734497660879 0
Current children cumulated CPU time: 197.73 s
Current children cumulated vsize: 14188496 KiB
Current children cumulated memory: 5093976 KiB

[startup+46.603 s]
/proc/loadavg: 6.44 6.11 4.50 2/219 16277
/proc/meminfo: memFree=19987016/32770624 swapFree=66935948/67108860
[pid=16219] ppid=16216 vsize=113128 memory=1472 CPUtime=21.85 cores=0-7
/proc/16219/stat : 16219 (scop.sh) S 16216 16219 15168 0 -1 4202496 582 31741 0 0 0 0 2045 140 20 0 1 0 510021605 115843072 368 33554432000 4194304 5098028 140730323635840 140730323632584 139797627654780 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 36548608 140730323636989 140730323637336 140730323637336 140730323640265 0
/proc/16219/statm: 28282 368 311 221 0 87 0
[pid=16242] ppid=16219 vsize=8414124 memory=136536 CPUtime=1.42 cores=0-7
/proc/16242/stat : 16242 (java) S 16219 16219 15168 0 -1 1077944320 21038 0 0 0 134 8 0 0 20 0 24 0 510023462 8616062976 34134 33554432000 4194304 4196468 140734497649840 140734497632384 139627111857911 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29765632 140734497657823 140734497657990 140734497657990 140734497660879 0
/proc/16242/statm: 2103531 34134 3220 1 0 2064875 0
[pid=16242/tid=16243] ppid=16219 vsize=8414124 memory=0 CPUtime=0.75 cores=0-7
/proc/16242/task/16243/stat : 16243 (java) S 16219 16219 15168 0 -1 1077944384 16776 0 0 0 70 5 0 0 20 0 24 0 510023462 8616062976 34134 33554432000 4194304 4196468 140734497649840 139627083698080 139627111868117 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29765632 140734497657823 140734497657990 140734497657990 140734497660879 0
[pid=16242/tid=16244] ppid=16219 vsize=8414124 memory=1056 CPUtime=0 cores=0-7
/proc/16242/task/16244/stat : 16244 (java) S 16219 16219 15168 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510023463 8616062976 34134 33554432000 4194304 4196468 140734497649840 139627116100496 139627111868117 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29765632 140734497657823 140734497657990 140734497657990 140734497660879 0
[pid=16242/tid=16245] ppid=16219 vsize=8414124 memory=1716 CPUtime=0 cores=0-7
/proc/16242/task/16245/stat : 16245 (java) S 16219 16219 15168 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510023463 8616062976 34134 33554432000 4194304 4196468 140734497649840 139626916268816 139627111868117 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29765632 140734497657823 140734497657990 140734497657990 140734497660879 0
[pid=16242/tid=16246] ppid=16219 vsize=8414124 memory=6056 CPUtime=0 cores=0-7
/proc/16242/task/16246/stat : 16246 (java) S 16219 16219 15168 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510023463 8616062976 34134 33554432000 4194304 4196468 140734497649840 139626915216528 139627111868117 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29765632 140734497657823 140734497657990 140734497657990 140734497660879 0
[pid=16242/tid=16247] ppid=16219 vsize=8414124 memory=11528 CPUtime=0 cores=0-7
/proc/16242/task/16247/stat : 16247 (java) S 16219 16219 15168 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510023463 8616062976 34134 33554432000 4194304 4196468 140734497649840 139626914163728 139627111868117 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29765632 140734497657823 140734497657990 140734497657990 140734497660879 0
[pid=16242/tid=16248] ppid=16219 vsize=8414124 memory=780 CPUtime=0 cores=0-7
/proc/16242/task/16248/stat : 16248 (java) S 16219 16219 15168 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510023463 8616062976 34134 33554432000 4194304 4196468 140734497649840 139626913110416 139627111868117 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29765632 140734497657823 140734497657990 140734497657990 140734497660879 0
[pid=16242/tid=16249] ppid=16219 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/16242/task/16249/stat : 16249 (java) S 16219 16219 15168 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510023463 8616062976 34134 33554432000 4194304 4196468 140734497649840 139626912057616 139627111868117 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29765632 140734497657823 140734497657990 140734497657990 140734497660879 0
[pid=16242/tid=16250] ppid=16219 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/16242/task/16250/stat : 16250 (java) S 16219 16219 15168 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510023463 8616062976 34134 33554432000 4194304 4196468 140734497649840 139626911005328 139627111868117 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29765632 140734497657823 140734497657990 140734497657990 140734497660879 0
[pid=16242/tid=16251] ppid=16219 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/16242/task/16251/stat : 16251 (java) S 16219 16219 15168 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510023463 8616062976 34134 33554432000 4194304 4196468 140734497649840 139626909952528 139627111868117 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29765632 140734497657823 140734497657990 140734497657990 140734497660879 0
[pid=16242/tid=16252] ppid=16219 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/16242/task/16252/stat : 16252 (java) S 16219 16219 15168 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 510023465 8616062976 34134 33554432000 4194304 4196468 140734497649840 139626071190128 139627111869058 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29765632 140734497657823 140734497657990 140734497657990 140734497660879 0
[pid=16242/tid=16253] ppid=16219 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/16242/task/16253/stat : 16253 (java) S 16219 16219 15168 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 510023465 8616062976 34134 33554432000 4194304 4196468 140734497649840 139625695798560 139627111868117 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29765632 140734497657823 140734497657990 140734497657990 140734497660879 0
[pid=16242/tid=16254] ppid=16219 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/16242/task/16254/stat : 16254 (java) S 16219 16219 15168 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510023466 8616062976 34134 33554432000 4194304 4196468 140734497649840 139625427363440 139627111868117 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29765632 140734497657823 140734497657990 140734497657990 140734497660879 0
[pid=16242/tid=16255] ppid=16219 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/16242/task/16255/stat : 16255 (java) S 16219 16219 15168 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510023468 8616062976 34134 33554432000 4194304 4196468 140734497649840 139625052854864 139627111876507 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29765632 140734497657823 140734497657990 140734497657990 140734497660879 0
[pid=16242/tid=16256] ppid=16219 vsize=8414124 memory=0 CPUtime=0.09 cores=0-7
/proc/16242/task/16256/stat : 16256 (java) S 16219 16219 15168 0 -1 1077944384 850 0 0 0 9 0 0 0 20 0 24 0 510023468 8616062976 34134 33554432000 4194304 4196468 140734497649840 139626070136944 139627111869058 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29765632 140734497657823 140734497657990 140734497657990 140734497660879 0
[pid=16242/tid=16257] ppid=16219 vsize=8414124 memory=7686721470267299737 CPUtime=0.09 cores=0-7
/proc/16242/task/16257/stat : 16257 (java) S 16219 16219 15168 0 -1 1077944384 257 0 0 0 9 0 0 0 20 0 24 0 510023468 8616062976 34134 33554432000 4194304 4196468 140734497649840 139626069084144 139627111869058 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29765632 140734497657823 140734497657990 140734497657990 140734497660879 0
[pid=16242/tid=16258] ppid=16219 vsize=8414124 memory=0 CPUtime=0.1 cores=0-7
/proc/16242/task/16258/stat : 16258 (java) S 16219 16219 15168 0 -1 1077944384 498 0 0 0 10 0 0 0 20 0 24 0 510023468 8616062976 34134 33554432000 4194304 4196468 140734497649840 139626068031856 139627111869058 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29765632 140734497657823 140734497657990 140734497657990 140734497660879 0
[pid=16242/tid=16259] ppid=16219 vsize=8414124 memory=0 CPUtime=0.24 cores=0-7
/proc/16242/task/16259/stat : 16259 (java) S 16219 16219 15168 0 -1 1077944384 1080 0 0 0 24 0 0 0 20 0 24 0 510023468 8616062976 34134 33554432000 4194304 4196468 140734497649840 139626066979056 139627111869058 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29765632 140734497657823 140734497657990 140734497657990 140734497660879 0
[pid=16242/tid=16260] ppid=16219 vsize=8414124 memory=4136 CPUtime=0 cores=0-7
/proc/16242/task/16260/stat : 16260 (java) S 16219 16219 15168 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510023468 8616062976 34134 33554432000 4194304 4196468 140734497649840 139624554949472 139627111868117 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29765632 140734497657823 140734497657990 140734497657990 140734497660879 0
[pid=16242/tid=16261] ppid=16219 vsize=8414124 memory=4104 CPUtime=0 cores=0-7
/proc/16242/task/16261/stat : 16261 (java) S 16219 16219 15168 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510023469 8616062976 34134 33554432000 4194304 4196468 140734497649840 139626065926960 139627111869058 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29765632 140734497657823 140734497657990 140734497657990 140734497660879 0
[pid=16242/tid=16263] ppid=16219 vsize=8414124 memory=1412 CPUtime=0 cores=0-7
/proc/16242/task/16263/stat : 16263 (java) S 16219 16219 15168 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 510023535 8616062976 34134 33554432000 4194304 4196468 140734497649840 139626057893696 139627111882521 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 29765632 140734497657823 140734497657990 140734497657990 140734497660879 0
[pid=16242/tid=16265] ppid=16219 vsize=8414124 memory=3372 CPUtime=0.08 cores=0-7
/proc/16242/task/16265/stat : 16265 (java) S 16219 16219 15168 0 -1 4202560 186 0 0 0 8 0 0 0 20 0 24 0 510023535 8616062976 34134 33554432000 4194304 4196468 140734497649840 139623883849072 139627111879837 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 29765632 140734497657823 140734497657990 140734497657990 140734497660879 0
[pid=16242/tid=16266] ppid=16219 vsize=8414124 memory=1472 CPUtime=0 cores=0-7
/proc/16242/task/16266/stat : 16266 (java) S 16219 16219 15168 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 510023535 8616062976 34134 33554432000 4194304 4196468 140734497649840 139624152284432 139627111879837 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 29765632 140734497657823 140734497657990 140734497657990 140734497660879 0
[pid=16242/tid=16267] ppid=16219 vsize=8414124 memory=120304 CPUtime=0 cores=0-7
/proc/16242/task/16267/stat : 16267 (java) S 16219 16219 15168 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510023537 8616062976 34134 33554432000 4194304 4196468 140734497649840 139623615421744 139627111868117 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29765632 140734497657823 140734497657990 140734497657990 140734497660879 0
Current children cumulated CPU time: 23.27 s
Current children cumulated vsize: 8527252 KiB
Current children cumulated memory: 138008 KiB

[startup+46.801 s]
/proc/loadavg: 6.44 6.11 4.50 2/219 16277
/proc/meminfo: memFree=19987016/32770624 swapFree=66935948/67108860
[pid=16219] ppid=16216 vsize=113128 memory=1472 CPUtime=21.85 cores=0-7
/proc/16219/stat : 16219 (scop.sh) S 16216 16219 15168 0 -1 4202496 582 31741 0 0 0 0 2045 140 20 0 1 0 510021605 115843072 368 33554432000 4194304 5098028 140730323635840 140730323632584 139797627654780 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 36548608 140730323636989 140730323637336 140730323637336 140730323640265 0
/proc/16219/statm: 28282 368 311 221 0 87 0
[pid=16242] ppid=16219 vsize=8283048 memory=142572 CPUtime=177.36 cores=0-7
/proc/16242/stat : 16242 (java) S 16219 16219 15168 0 -1 1077944320 21479 2709820 0 0 152 9 16990 585 20 0 22 0 510023462 8481841152 35643 33554432000 4194304 4196468 140734497649840 140734497632384 139627111857911 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29765632 140734497657823 140734497657990 140734497657990 140734497660879 0
/proc/16242/statm: 2070762 35643 3225 1 0 2032106 0
[pid=16242/tid=16243] ppid=16219 vsize=8283048 memory=7686721470267299737 CPUtime=176.6 cores=0-7
/proc/16242/task/16243/stat : 16243 (java) R 16219 16219 15168 0 -1 4202560 17046 2709820 0 0 80 5 16990 585 20 0 22 0 510023462 8481841152 35643 33554432000 4194304 4196468 140734497649840 139627083694720 139627111869846 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29765632 140734497657823 140734497657990 140734497657990 140734497660879 0
[pid=16242/tid=16244] ppid=16219 vsize=8283048 memory=4872558044660077418 CPUtime=175.75 cores=0-7
/proc/16242/task/16244/stat : 16244 (java) S 16219 16219 15168 0 -1 1077944384 2 2709820 0 0 0 0 16990 585 20 0 22 0 510023463 8481841152 35643 33554432000 4194304 4196468 140734497649840 139627116100496 139627111868117 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29765632 140734497657823 140734497657990 140734497657990 140734497660879 0
[pid=16242/tid=16245] ppid=16219 vsize=8283048 memory=4104 CPUtime=175.75 cores=0-7
/proc/16242/task/16245/stat : 16245 (java) S 16219 16219 15168 0 -1 1077944384 2 2709820 0 0 0 0 16990 585 20 0 22 0 510023463 8481841152 35643 33554432000 4194304 4196468 140734497649840 139626916268816 139627111868117 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29765632 140734497657823 140734497657990 140734497657990 140734497660879 0
[pid=16242/tid=16246] ppid=16219 vsize=8283048 memory=1412 CPUtime=175.75 cores=0-7
/proc/16242/task/16246/stat : 16246 (java) S 16219 16219 15168 0 -1 1077944384 2 2709820 0 0 0 0 16990 585 20 0 22 0 510023463 8481841152 35643 33554432000 4194304 4196468 140734497649840 139626915216528 139627111868117 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29765632 140734497657823 140734497657990 140734497657990 140734497660879 0
[pid=16242/tid=16247] ppid=16219 vsize=8283048 memory=3252 CPUtime=175.75 cores=0-7
/proc/16242/task/16247/stat : 16247 (java) S 16219 16219 15168 0 -1 1077944384 3 2709820 0 0 0 0 16990 585 20 0 22 0 510023463 8481841152 35643 33554432000 4194304 4196468 140734497649840 139626914163728 139627111868117 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29765632 140734497657823 140734497657990 140734497657990 140734497660879 0
[pid=16242/tid=16248] ppid=16219 vsize=8283048 memory=1472 CPUtime=175.75 cores=0-7
/proc/16242/task/16248/stat : 16248 (java) S 16219 16219 15168 0 -1 1077944384 1 2709820 0 0 0 0 16990 585 20 0 22 0 510023463 8481841152 35643 33554432000 4194304 4196468 140734497649840 139626913110416 139627111868117 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29765632 140734497657823 140734497657990 140734497657990 140734497660879 0
[pid=16242/tid=16249] ppid=16219 vsize=8283048 memory=120304 CPUtime=175.75 cores=0-7
/proc/16242/task/16249/stat : 16249 (java) S 16219 16219 15168 0 -1 1077944384 2 2709820 0 0 0 0 16990 585 20 0 22 0 510023463 8481841152 35643 33554432000 4194304 4196468 140734497649840 139626912057616 139627111868117 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29765632 140734497657823 140734497657990 140734497657990 140734497660879 0
[pid=16242/tid=16250] ppid=16219 vsize=8283048 memory=4972192 CPUtime=175.75 cores=0-7
/proc/16242/task/16250/stat : 16250 (java) S 16219 16219 15168 0 -1 1077944384 2 2709820 0 0 0 0 16990 585 20 0 22 0 510023463 8481841152 35643 33554432000 4194304 4196468 140734497649840 139626911005328 139627111868117 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29765632 140734497657823 140734497657990 140734497657990 140734497660879 0
[pid=16242/tid=16251] ppid=16219 vsize=8283048 memory=0 CPUtime=175.75 cores=0-7
/proc/16242/task/16251/stat : 16251 (java) S 16219 16219 15168 0 -1 1077944384 1 2709820 0 0 0 0 16990 585 20 0 22 0 510023463 8481841152 35643 33554432000 4194304 4196468 140734497649840 139626909952528 139627111868117 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29765632 140734497657823 140734497657990 140734497657990 140734497660879 0
[pid=16242/tid=16252] ppid=16219 vsize=8283048 memory=0 CPUtime=175.75 cores=0-7
/proc/16242/task/16252/stat : 16252 (java) S 16219 16219 15168 0 -1 1077944384 6 2709820 0 0 0 0 16990 585 20 0 22 0 510023465 8481841152 35643 33554432000 4194304 4196468 140734497649840 139626071190128 139627111869058 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29765632 140734497657823 140734497657990 140734497657990 140734497660879 0
[pid=16242/tid=16253] ppid=16219 vsize=8283048 memory=0 CPUtime=175.75 cores=0-7
/proc/16242/task/16253/stat : 16253 (java) S 16219 16219 15168 0 -1 1077944384 13 2709820 0 0 0 0 16990 585 20 0 22 0 510023465 8481841152 35643 33554432000 4194304 4196468 140734497649840 139625695798560 139627111868117 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29765632 140734497657823 140734497657990 140734497657990 140734497660879 0
[pid=16242/tid=16254] ppid=16219 vsize=8283048 memory=0 CPUtime=175.75 cores=0-7
/proc/16242/task/16254/stat : 16254 (java) S 16219 16219 15168 0 -1 1077944384 1 2709820 0 0 0 0 16990 585 20 0 22 0 510023466 8481841152 35643 33554432000 4194304 4196468 140734497649840 139625427363440 139627111868117 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29765632 140734497657823 140734497657990 140734497657990 140734497660879 0
[pid=16242/tid=16255] ppid=16219 vsize=8283048 memory=4206468019014099040 CPUtime=175.75 cores=0-7
/proc/16242/task/16255/stat : 16255 (java) S 16219 16219 15168 0 -1 1077944384 1 2709820 0 0 0 0 16990 585 20 0 22 0 510023468 8481841152 35643 33554432000 4194304 4196468 140734497649840 139625052854864 139627111876507 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29765632 140734497657823 140734497657990 140734497657990 140734497660879 0
[pid=16242/tid=16256] ppid=16219 vsize=8283048 memory=-7965959130280075168 CPUtime=175.85 cores=0-7
/proc/16242/task/16256/stat : 16256 (java) S 16219 16219 15168 0 -1 1077944384 857 2709820 0 0 10 0 16990 585 20 0 22 0 510023468 8481841152 35643 33554432000 4194304 4196468 140734497649840 139626070136944 139627111869058 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29765632 140734497657823 140734497657990 140734497657990 140734497660879 0
[pid=16242/tid=16257] ppid=16219 vsize=8283048 memory=1399103955520229747 CPUtime=175.84 cores=0-7
/proc/16242/task/16257/stat : 16257 (java) S 16219 16219 15168 0 -1 1077944384 260 2709820 0 0 9 0 16990 585 20 0 22 0 510023468 8481841152 35643 33554432000 4194304 4196468 140734497649840 139626069084144 139627111869058 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29765632 140734497657823 140734497657990 140734497657990 140734497660879 0
[pid=16242/tid=16258] ppid=16219 vsize=8283048 memory=7510432583741839257 CPUtime=175.87 cores=0-7
/proc/16242/task/16258/stat : 16258 (java) S 16219 16219 15168 0 -1 1077944384 511 2709820 0 0 12 0 16990 585 20 0 22 0 510023468 8481841152 35643 33554432000 4194304 4196468 140734497649840 139626068031856 139627111869058 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29765632 140734497657823 140734497657990 140734497657990 140734497660879 0
[pid=16242/tid=16259] ppid=16219 vsize=8283048 memory=-8412652160765825907 CPUtime=176.05 cores=0-7
/proc/16242/task/16259/stat : 16259 (java) R 16219 16219 15168 0 -1 4202560 1217 2709820 0 0 30 0 16990 585 20 0 22 0 510023468 8481841152 35643 33554432000 4194304 4196468 140734497649840 139626066979056 139627095938398 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29765632 140734497657823 140734497657990 140734497657990 140734497660879 0
[pid=16242/tid=16260] ppid=16219 vsize=8283048 memory=7100839878645619564 CPUtime=175.75 cores=0-7
/proc/16242/task/16260/stat : 16260 (java) S 16219 16219 15168 0 -1 1077944384 3 2709820 0 0 0 0 16990 585 20 0 22 0 510023468 8481841152 35643 33554432000 4194304 4196468 140734497649840 139624554949472 139627111868117 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29765632 140734497657823 140734497657990 140734497657990 140734497660879 0
[pid=16242/tid=16261] ppid=16219 vsize=8283048 memory=776 CPUtime=175.75 cores=0-7
/proc/16242/task/16261/stat : 16261 (java) S 16219 16219 15168 0 -1 1077944384 3 2709820 0 0 0 0 16990 585 20 0 22 0 510023469 8481841152 35643 33554432000 4194304 4196468 140734497649840 139626065926960 139627111869058 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29765632 140734497657823 140734497657990 140734497657990 140734497660879 0
[pid=16242/tid=16263] ppid=16219 vsize=8283048 memory=1560 CPUtime=175.75 cores=0-7
/proc/16242/task/16263/stat : 16263 (java) S 16219 16219 15168 0 -1 1077944384 25 2709820 0 0 0 0 16990 585 20 0 22 0 510023535 8481841152 35643 33554432000 4194304 4196468 140734497649840 139626057892880 139627111869058 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29765632 140734497657823 140734497657990 140734497657990 140734497660879 0
[pid=16242/tid=16267] ppid=16219 vsize=8283048 memory=3592 CPUtime=175.75 cores=0-7
/proc/16242/task/16267/stat : 16267 (java) S 16219 16219 15168 0 -1 1077944384 8 2709820 0 0 0 0 16990 585 20 0 22 0 510023537 8481841152 35643 33554432000 4194304 4196468 140734497649840 139623615423536 139627111869058 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29765632 140734497657823 140734497657990 140734497657990 140734497660879 0
Current children cumulated CPU time: 199.21 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 144044 KiB

Child status: 0
Real time (s): 46.8677
CPU time (s): 199.334
CPU user time (s): 191.928
CPU system time (s): 7.40583
CPU usage (%): 425.312
Max. virtual memory (cumulated for all children) (KiB): 27441876
Max. memory (cumulated for all children) (KiB): 5991476

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 191.928
system time used= 7.40583
maximum resident set size= 5991584
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2764722
page faults= 0
swaps= 0
block input operations= 24
block output operations= 355248
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 164208
involuntary context switches= 1675


# summary of solver processes directly reported to runsolver:
#   pid: 16219
#   total CPU time (s): 199.334
#   total CPU user time (s): 191.928
#   total CPU system time (s): 7.40583

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.389693 second user time and 0.609427 second system time

The end

Launcher Data 

Begin job on node147 at 2019-09-24 18:03:54
IDJOB=4405225
IDBENCH=133432
IDSOLVER=2867
FILE ID=node147/4405225-1569341078
RUNJOBID= node147-1569335935-15195
PBS_JOBID= 21705050
Free space on /var/tmp= 13508 MiB

SOLVER NAME= Fun-sCOP order+ManyGlucose (2019-09-22)
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 /var/tmp/evaluation-result-4405225-1569341078/watcher-4405225-1569341078 -o /var/tmp/evaluation-result-4405225-1569341078/solver-4405225-1569341078 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node147-1569335935-15195 --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-4405225-1569341078.xml

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

MD5SUM BENCH= be3388c5d29b2a85b1452e4a694387b2
RANDOM SEED=586788715

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        25255796 kB
MemAvailable:   31777124 kB
Buffers:          135020 kB
Cached:          6446164 kB
SwapCached:        68664 kB
Active:          3257752 kB
Inactive:        3395752 kB
Active(anon):       3160 kB
Inactive(anon):   127000 kB
Active(file):    3254592 kB
Inactive(file):  3268752 kB
Unevictable:      107772 kB
Mlocked:          107772 kB
SwapTotal:      67108860 kB
SwapFree:       66935948 kB
Dirty:             20568 kB
Writeback:            24 kB
AnonPages:        113520 kB
Mapped:            57484 kB
Shmem:             49088 kB
Slab:             454856 kB
SReclaimable:     426444 kB
SUnreclaim:        28412 kB
KernelStack:        3392 kB
PageTables:         5276 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     513944 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     67584 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      120192 kB
DirectMap2M:    33425408 kB

Free space on /var/tmp at the end= 13488 MiB
End job on node147 at 2019-09-24 18:04:41