Trace number 4392661

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

NameLangford/Langford-m1-k4/
Langford-4-16.xml
MD5SUMa550bb6a39ca50ab9210b9c0283e2640
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark85.5465
Satisfiable
(Un)Satisfiability was proved
Number of variables64
Number of constraints49
Number of domains1
Minimum domain size64
Maximum domain size64
Distribution of domain sizes[{"size":64,"count":64}]
Minimum variable degree2
Maximum variable degree3
Distribution of variable degrees[{"degree":2,"count":32},{"degree":3,"count":32}]
Minimum constraint arity2
Maximum constraint arity64
Distribution of constraint arities[{"arity":2,"count":48},{"arity":64,"count":1}]
Number of extensional constraints0
Number of intensional constraints48
Distribution of constraint types[{"type":"intension","count":48},{"type":"allDifferent","count":1}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c (scop.sh) java -Xms22g -Xmx22g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Encode -hybrid -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-5619-serial-file.bin HOME/instance-4392661-1568424486.xml
0.66/0.54	
0.66/0.54	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
0.66/0.54	
0.66/0.56	c BEGIN-Prog: Sat Sep 14 03:27:17 CEST 2019
0.66/0.56	c PID: 5622
0.66/0.56	c IP: 172.20.3.132
0.66/0.56	c HOST: node132.alineos.net
0.66/0.57	c (0,0) Parsing Begin
1.20/0.90	c (0,0) Parsing End
1.41/0.90	c (0,0) CSP: 64 int (0 aux), 0 bool (0 aux), 49 ctr, max domain size 64
1.41/0.90	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.41/0.90	c (0,0) Constraint Name Generate Begin
1.41/0.91	c (0,0) Ctr:HOME/instance-4392661-1568424486.xml,Add:AllDifferent:Eq:Num:Var
1.41/0.91	c (0,0) Constraint Name Generate End
1.41/0.91	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.41/0.91	c (0,0) CSP to CSPinCNF Begin
2.91/1.41	c (0,0) translated 5 (10%) constraints
2.91/1.41	c (0,0) translated 10 (20%) constraints
2.91/1.41	c (0,0) translated 15 (30%) constraints
2.91/1.41	c (0,0) translated 20 (40%) constraints
2.91/1.41	c (0,0) translated 25 (50%) constraints
2.91/1.41	c (0,0) translated 30 (60%) constraints
2.91/1.41	c (0,0) translated 35 (70%) constraints
2.91/1.41	c (0,0) translated 40 (80%) constraints
2.91/1.41	c (0,0) translated 45 (90%) constraints
2.91/1.41	c (0,0) translated 49 (100%) constraints
2.91/1.41	c (0,0) ===========================================
2.91/1.44	c (0,0) Hybrid: #OE=64, #LE=0
2.91/1.44	c (0,0) Hybrid
2.91/1.44	c (0,0) ===========================================
2.91/1.48	c (0,0) translated 213 (10%) constraints
2.91/1.50	c (0,0) translated 426 (20%) constraints
3.28/1.51	c (0,0) translated 639 (30%) constraints
3.28/1.53	c (0,0) translated 852 (40%) constraints
3.28/1.54	c (0,0) translated 1065 (50%) constraints
3.28/1.55	c (1,1) translated 1278 (60%) constraints
3.28/1.57	c (1,1) translated 1491 (70%) constraints
3.28/1.58	c (1,1) translated 1704 (80%) constraints
3.28/1.59	c (1,1) translated 1917 (90%) constraints
4.81/1.96	c (1,1) translated 2130 (100%) constraints
4.81/1.97	c (1,1) CSP to CSPinCNF End
4.81/1.97	c (1,1) CSP: 64 int (0 aux), 4096 bool (4096 aux), 10370 ctr, max domain size 60
4.81/1.97	c (1,1) Heap : 450 MiB used (max 21589 MiB), NonHeap : 26 MiB used (max 0 MiB)
4.81/1.97	c (1,1) CSPinCNF Propagation Begin
5.65/2.19	c (1,1) 1672 values, 3565 unsatisfiable literals, and 3587 valid clauses are removed
5.65/2.19	c (1,1) CSPinCNF Propagation End
5.65/2.19	c (1,1) CSP: 64 int (0 aux), 4096 bool (4096 aux), 6783 ctr, max domain size 60
5.65/2.19	c (1,1) Heap : 563 MiB used (max 21589 MiB), NonHeap : 26 MiB used (max 0 MiB)
6.03/2.20	c (1,1) Hybrid: #OE=4160, #LE=0
6.03/2.20	c (1,1) Simplify CSPinCNF Begin
6.44/2.33	c (1,1) Simplify CSPinCNF End
6.44/2.33	c (1,1) CSP: 64 int (0 aux), 7878 bool (7878 aux), 10565 ctr, max domain size 60
6.44/2.33	c (1,1) Heap : 563 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB)
6.44/2.33	c (1,1) Calculate Precise Domain Begin
6.44/2.33	c (1,1) 0 values are removed by re-calculation
6.44/2.33	c (1,1) Calculate Precise Domain End
6.44/2.34	c (1,1) CSP: 64 int (0 aux), 7878 bool (7878 aux), 10565 ctr, max domain size 60
6.44/2.34	c (1,1) Heap : 563 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB)
6.44/2.34	c (1,1) CSPinCNF to SatSolver Begin
8.10/2.72	c (2,2) 1057 (10 %) CSP clauses are encoded (0 SAT variables, 26802 SAT clauses)
8.51/2.83	c (2,2) 2113 (20 %) CSP clauses are encoded (0 SAT variables, 45314 SAT clauses)
8.74/2.92	c (2,2) 3170 (30 %) CSP clauses are encoded (0 SAT variables, 64154 SAT clauses)
8.74/3.00	c (2,2) 4226 (40 %) CSP clauses are encoded (0 SAT variables, 78464 SAT clauses)
8.88/3.09	c (2,2) 5283 (50 %) CSP clauses are encoded (0 SAT variables, 96584 SAT clauses)
9.04/3.13	c (2,2) 6339 (60 %) CSP clauses are encoded (0 SAT variables, 104164 SAT clauses)
9.04/3.14	c (2,2) 7396 (70 %) CSP clauses are encoded (0 SAT variables, 105221 SAT clauses)
9.04/3.15	c (2,2) 8452 (80 %) CSP clauses are encoded (0 SAT variables, 106277 SAT clauses)
9.04/3.16	c (2,2) 9509 (90 %) CSP clauses are encoded (0 SAT variables, 107334 SAT clauses)
9.04/3.18	c (2,2) 10565 (100 %) CSP clauses are encoded (0 SAT variables, 111611 SAT clauses)
9.04/3.18	c (2,2) CSPinCNF to SatSolver End
9.04/3.18	c (2,2) Heap : 1013 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
9.04/3.18	c (2,2) 8566 bool, 111623 clause
9.04/3.18	c (2,2) Export Begin
9.19/3.26	c (2,2) Export to HOME/scop-5619-serial-file.bin
9.19/3.26	c (2,2) Export End
9.19/3.26	c (2,2) Export File Size: 0.01 MB
9.19/3.26	c (2,2) 0,0,1,1,1,1,2,STOP-AFTER(DIMACS)
9.19/3.26	c END-Prog: Sat Sep 14 03:27:19 CEST 2019
9.19/3.29	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-5619-serial-file.bin
9.34/3.74	c (0,0) Read Serial File Begin
9.34/3.74	c (0,0) HOME/scop-5619-serial-file.bin
9.34/3.94	c (0,0) Read Serial File End
9.34/3.96	
9.34/3.96	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
9.34/3.96	(Solving Process)
9.34/3.96	
9.34/3.98	c BEGIN-Prog: Sat Sep 14 03:27:20 CEST 2019
9.34/3.98	c PID: 5642
9.34/3.98	c IP: 172.20.3.132
9.34/3.98	c HOST: node132.alineos.net
9.34/3.98	c (0,0) SatSolver.solve Begin
9.34/3.98	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4392661-1568424486.xml-scop-5622.cnf
10.35/4.01	c (0,0) c
10.35/4.01	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)
10.35/4.01	c (0,0) c
10.35/4.01	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
10.35/4.01	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
10.35/4.01	c (0,0) c ========================================[ Problem Statistics ]===========================================
10.35/4.01	c (0,0) c |                                                                                                       |
10.35/4.04	c (0,0) c |  Number of variables:          8566                                                                   |
10.35/4.04	c (0,0) c |  Number of clauses:          111607                                                                   |
10.35/4.04	c (0,0) c |  Parse time:                   0.03 s                                                                 |
10.35/4.04	c (0,0) c |                                                                                                       |
10.47/4.14	c (0,0) c |  Simplification time:          0.10 s                                                                 |
10.47/4.14	c (0,0) c |                                                                                                       |
10.47/4.14	c (0,0) c |  Generating clones                                                                                    |
10.47/4.18	c (0,0) c |  all clones generated. Memory =    95.25Mb.                                                           |
10.47/4.18	c (0,0) c ========================================================================================================|
10.47/4.18	c (0,0) c
10.47/4.18	c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
10.47/4.18	c (0,0) c
10.47/4.18	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
10.47/4.18	c (0,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
10.47/4.18	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
10.47/4.18	c (0,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
10.47/4.18	c (0,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
10.47/4.18	c (0,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
10.47/4.18	c (0,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
10.47/4.18	c (0,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
10.47/4.18	c (0,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
10.47/4.18	c (0,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
10.47/4.18	c (0,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
10.47/4.18	c (0,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
10.47/4.18	c (0,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
10.47/4.18	c (0,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
10.47/4.18	c (0,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
10.47/4.18	c (0,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
10.47/4.18	c (0,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
10.47/4.18	c (0,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
10.47/4.18	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
242.77/33.32	c (29,0) c
242.77/33.32	c (29,0) c |------------------------------------------------------------------------------------------------------------------------|
242.77/33.32	c (29,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
242.77/33.32	c (29,0) c |------------------------------------------------------------------------------------------------------------------------|
242.77/33.32	c (29,0) c |  0 |    136 |     134308 |      62503 |    71297 |    23960 |    10650 |    68663 |     7201 |      221 |  20 |  6.082 |
242.77/33.32	c (29,0) c |  1 |    166 |     132947 |      64762 |    65440 |    26223 |    10458 |    71298 |     7045 |      229 |  20 |  6.083 |
242.77/33.32	c (29,0) c |  2 |    213 |     146668 |      66897 |    75540 |    28351 |    11197 |    71608 |     8632 |      232 |  20 |  6.082 |
242.77/33.32	c (29,0) c |  3 |    153 |     135488 |      65884 |    67769 |    27340 |    10885 |    72983 |     7090 |      236 |  20 |  6.082 |
242.77/33.32	c (29,0) c |  4 |    180 |     137228 |      64744 |    71325 |    26197 |    10602 |    71330 |     7987 |      229 |  20 |  6.082 |
242.77/33.32	c (29,0) c |  5 |    183 |     146662 |      67093 |    73378 |    28546 |    11762 |    71403 |     6801 |      233 |  20 |  6.083 |
242.77/33.32	c (29,0) c |  6 |    189 |     149095 |      66830 |    76055 |    28295 |    11189 |    72650 |     7983 |      235 |  20 |  6.082 |
242.77/33.32	c (29,0) c |  7 |    147 |     140612 |      66288 |    71654 |    27744 |    10736 |    72693 |     8414 |      237 |  20 |  6.082 |
242.77/33.32	c (29,0) c 
242.77/33.32	c (29,0) c synthesis      525001 conflicts   375349362 propagations     2263 conflicts/sec  1617712 propagations/sec
242.77/33.32	c (29,0) c real: 29.3117 s, cpu: 232.025 s, memory: 668.32 Mb
472.71/62.32	c (58,0) c
472.71/62.32	c (58,0) c |------------------------------------------------------------------------------------------------------------------------|
472.71/62.32	c (58,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
472.71/62.32	c (58,0) c |------------------------------------------------------------------------------------------------------------------------|
472.71/62.32	c (58,0) c |  0 |    308 |     237064 |     121651 |    77131 |    28176 |    17534 |   116526 |    14566 |      456 |  20 |  6.269 |
472.71/62.32	c (58,0) c |  1 |    327 |     236784 |     126037 |    72611 |    31411 |    16758 |   119578 |    14513 |      466 |  20 |  6.281 |
472.71/62.32	c (58,0) c |  2 |    414 |     251425 |     128217 |    79431 |    33458 |    17717 |   120260 |    15931 |      473 |  20 |  6.386 |
472.71/62.32	c (58,0) c |  3 |    320 |     236867 |     126804 |    73412 |    30862 |    17355 |   121194 |    14277 |      476 |  20 |  6.293 |
472.71/62.32	c (58,0) c |  4 |    361 |     239262 |     125378 |    76109 |    31492 |    16792 |   119331 |    15329 |      464 |  20 |  6.269 |
472.71/62.32	c (58,0) c |  5 |    324 |     250240 |     129204 |    78221 |    34829 |    18930 |   118469 |    14014 |      472 |  20 |  6.340 |
472.71/62.32	c (58,0) c |  6 |    390 |     254181 |     128742 |    80179 |    34493 |    18375 |   120137 |    15293 |      476 |  20 |  6.292 |
472.71/62.32	c (58,0) c |  7 |    305 |     243987 |     127451 |    75470 |    30409 |    17633 |   120919 |    15384 |      476 |  20 |  6.305 |
472.71/62.32	c (58,0) c 
472.71/62.32	c (58,0) c synthesis     1013485 conflicts   695282900 propagations     2194 conflicts/sec  1505411 propagations/sec
472.71/62.32	c (58,0) c real: 58.3117 s, cpu: 461.856 s, memory: 668.32 Mb
521.31/69.29	c (65,0) c
521.31/69.29	c (65,0) c real time : 65.2897 s
521.31/69.29	c (65,0) c cpu time  : 510.402 s
521.31/69.29	c (65,0) c
521.31/69.29	c (65,0) c
521.31/69.29	c (65,0) c
521.31/69.29	c (65,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
521.31/69.29	c (65,0) c
521.31/69.29	c (65,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
521.31/69.29	c (65,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
521.31/69.29	c (65,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
521.31/69.29	c (65,0) c | Conflicts     |         1123406 |     138341 |     140633 |     141192 |     139209 |     140445 |     142842 |     141257 |     139487 |
521.31/69.29	c (65,0) c | Decisions     |         2123448 |     264481 |     259778 |     272147 |     256768 |     262516 |     271031 |     274256 |     262471 |
521.31/69.29	c (65,0) c | Propagations  |       759149403 |   93718141 |   94172099 |   96203686 |   94048243 |   94669717 |   96764314 |   95322342 |   94250861 |
521.31/69.29	c (65,0) c | ReduceDBs     |              80 |         10 |         10 |         10 |         10 |         10 |         10 |         10 |         10 |
521.31/69.29	c (65,0) c | SimpDBs       |             167 |         22 |         22 |         20 |         19 |         20 |         22 |         21 |         21 |
521.31/69.29	c (65,0) c | Restarts      |            3200 |        393 |        383 |        470 |        382 |        411 |        364 |        457 |        340 |
521.31/69.29	c (65,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
521.31/69.29	c (65,0) c | PropBinClauses|      2453544101 |  302572741 |  306412680 |  309984336 |  305858403 |  305836589 |  310627200 |  307667373 |  304584779 |
521.31/69.29	c (65,0) c | PropPreBlocker|     13571537845 | 1681372734 | 1688897505 | 1709458851 | 1698347600 | 1689415639 | 1712878307 | 1701454659 | 1689712550 |
521.31/69.29	c (65,0) c | PropNotBlocker|      3556510315 |  442238190 |  434211741 |  453024882 |  438760796 |  439657073 |  450113142 |  456197396 |  442307095 |
521.31/69.29	c (65,0) c | LitFullScans  |     25170226488 | 3138657500 | 3143753791 | 3150353143 | 3152509305 | 3138309278 | 3144128509 | 3152295013 | 3150219949 |
521.31/69.29	c (65,0) c | LitScanFracts |         2827573 |     621261 |     660634 |     304649 |     113624 |     290563 |     108307 |     255495 |     473040 |
521.31/69.29	c (65,0) c | DecisionLevel0|            3352 |        407 |        404 |        480 |        411 |        431 |        380 |        472 |        367 |
521.31/69.29	c (65,0) c | Periods       |            4192 |        523 |        523 |        525 |        525 |        523 |        524 |        525 |        524 |
521.31/69.29	c (65,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
521.31/69.29	c (65,0) c | Avg_Trail     |                 |       3896 |       3898 |       3886 |       3885 |       3895 |       3907 |       3910 |       3885 |
521.31/69.29	c (65,0) c | Avg_DL        |                 |         17 |         17 |         18 |         18 |         17 |         17 |         18 |         18 |
521.31/69.29	c (65,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
521.31/69.29	c (65,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
521.31/69.29	c (65,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
521.31/69.29	c (65,0) c | Exported      |          153139 |      19175 |      18265 |      19213 |      18722 |      18266 |      20280 |      19917 |      19301 |
521.31/69.29	c (65,0) c | Imported      |         1035983 |     129079 |     130330 |     129476 |     130200 |     130025 |     128290 |     129081 |     129502 |
521.31/69.29	c (65,0) c | Good          |           86606 |      10871 |      11000 |      10865 |      10895 |      10874 |      10357 |      10862 |      10882 |
521.31/69.29	c (65,0) c | Purge         |          949377 |     118208 |     119330 |     118611 |     119305 |     119151 |     117933 |     118219 |     118620 |
521.31/69.29	c (65,0) c | Promoted      |          131886 |      16610 |      16293 |      17307 |      15899 |      17033 |      15396 |      16588 |      16760 |
521.31/69.29	c (65,0) c | Remove_Imp    |          647710 |      81335 |      80733 |      79190 |      83031 |      83126 |      77004 |      79186 |      84105 |
521.31/69.29	c (65,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
521.31/69.29	c (65,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
521.31/69.29	c (65,0) c | Unaries       |                 |         14 |         21 |         10 |         29 |         20 |         16 |         15 |         27 |
521.31/69.30	c (65,0) c | Binaries      |                 |       1522 |       1427 |       1544 |       1532 |       1536 |       2051 |       1563 |       1542 |
521.31/69.30	c (65,0) c | Glues         |                 |       6044 |       5883 |       6048 |       5651 |       5964 |       6561 |       6057 |       5873 |
521.31/69.30	c (65,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
521.31/69.30	c (65,0) c | Orig_Seen     |            76 % |      77686 |      73554 |      79712 |      74124 |      76521 |      78537 |      80467 |      75849 |
521.31/69.30	c (65,0) c | Diff Orig seen|                 |       4132 |      X     |       6158 |        570 |       2967 |       4983 |       6913 |       2295 |
521.31/69.30	c (65,0) c | Hamming       |            11 % |        997 |      X     |       1018 |        885 |        856 |       1159 |       1087 |        987 |
521.31/69.30	c (65,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
521.31/69.30	c (65,0) c | RunningTime   |                 |   65.0 100%|   64.6 100%|   63.9 100%|   63.1  99%|   64.6 100%|   64.0 100%|   63.6  99%|   62.9  98%|
521.31/69.30	c (65,0) c | WaitingTime   |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.7   1%|    0.0   0%|    0.0   0%|    0.3   0%|    1.0   1%|
521.31/69.30	c (65,0) c | ExchangingTime|                 |    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|
521.31/69.30	c (65,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%|
521.31/69.30	c (65,0) c | SolvingTime   |                 |   65.1     |   64.7     |   63.9     |   63.9     |   64.7     |   64.1     |   63.9     |   63.9     |
521.31/69.30	c (65,0) c | PropagationTim|                 |   59.5  91%|   58.9  91%|   58.2  91%|   58.3  91%|   59.1  91%|   58.4  91%|   58.1  91%|   58.2  91%|
521.31/69.30	c (65,0) c | AnalysisTime  |                 |    4.0   6%|    4.1   6%|    4.1   6%|    4.0   6%|    3.9   6%|    3.9   6%|    4.2   7%|    4.0   6%|
521.31/69.30	c (65,0) c | ReductionTime |                 |    0.2   0%|    0.3   0%|    0.3   0%|    0.3   0%|    0.3   0%|    0.3   0%|    0.3   0%|    0.3   0%|
521.31/69.30	c (65,0) c | SimplifyTime  |                 |    0.1   0%|    0.2   0%|    0.1   0%|    0.2   0%|    0.1   0%|    0.2   0%|    0.2   0%|    0.2   0%|
521.31/69.30	c (65,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%|
521.31/69.30	c (65,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%|
521.31/69.30	c (65,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
521.31/69.30	c (65,0) c
521.31/69.30	c (65,0) c
521.31/69.30	c (65,0) c Threads : 8
521.31/69.30	c (65,0) c Winner : 1
521.31/69.30	c (65,0) c Conflicts_0 : 138341
521.31/69.30	c (65,0) c Conflicts_1 : 140633
521.31/69.30	c (65,0) c Conflicts_2 : 141192
521.31/69.30	c (65,0) c Conflicts_3 : 139209
521.31/69.30	c (65,0) c Conflicts_4 : 140445
521.31/69.30	c (65,0) c Conflicts_5 : 142842
521.31/69.30	c (65,0) c Conflicts_6 : 141257
521.31/69.30	c (65,0) c Conflicts_7 : 139487
521.31/69.30	c (65,0) c Conflicts_total : 1123406
521.31/69.30	c (65,0) c Conflicts_winner : 140633
521.31/69.30	c (65,0) c Decisions_0 : 264481
521.31/69.30	c (65,0) c Decisions_1 : 259778
521.31/69.30	c (65,0) c Decisions_2 : 272147
521.31/69.30	c (65,0) c Decisions_3 : 256768
521.31/69.30	c (65,0) c Decisions_4 : 262516
521.31/69.30	c (65,0) c Decisions_5 : 271031
521.31/69.30	c (65,0) c Decisions_6 : 274256
521.31/69.30	c (65,0) c Decisions_7 : 262471
521.31/69.30	c (65,0) c Decisions_total : 2123448
521.31/69.30	c (65,0) c Decisions_winner : 259778
521.31/69.30	c (65,0) c Propagations_0 : 93718141
521.31/69.30	c (65,0) c Propagations_1 : 94172099
521.31/69.30	c (65,0) c Propagations_2 : 96203686
521.31/69.30	c (65,0) c Propagations_3 : 94048243
521.31/69.30	c (65,0) c Propagations_4 : 94669717
521.31/69.30	c (65,0) c Propagations_5 : 96764314
521.31/69.30	c (65,0) c Propagations_6 : 95322342
521.31/69.30	c (65,0) c Propagations_7 : 94250861
521.31/69.30	c (65,0) c Propagations_total : 759149403
521.31/69.30	c (65,0) c Propagations_winner : 94172099
521.31/69.30	c (65,0) c ReduceDBs_0 : 10
521.31/69.30	c (65,0) c ReduceDBs_1 : 10
521.31/69.30	c (65,0) c ReduceDBs_2 : 10
521.31/69.30	c (65,0) c ReduceDBs_3 : 10
521.31/69.30	c (65,0) c ReduceDBs_4 : 10
521.31/69.30	c (65,0) c ReduceDBs_5 : 10
521.31/69.30	c (65,0) c ReduceDBs_6 : 10
521.31/69.30	c (65,0) c ReduceDBs_7 : 10
521.31/69.30	c (65,0) c ReduceDBs_total : 80
10.53/69.30	c (65,0) c ReduceDBs_winner : 10
10.53/69.30	c (65,0) c SimpDBs_0 : 22
10.53/69.30	c (65,0) c SimpDBs_1 : 22
10.53/69.30	c (65,0) c SimpDBs_2 : 20
10.53/69.30	c (65,0) c SimpDBs_3 : 19
10.53/69.30	c (65,0) c SimpDBs_4 : 20
10.53/69.30	c (65,0) c SimpDBs_5 : 22
10.53/69.30	c (65,0) c SimpDBs_6 : 21
10.53/69.30	c (65,0) c SimpDBs_7 : 21
10.53/69.30	c (65,0) c SimpDBs_total : 167
10.53/69.30	c (65,0) c SimpDBs_winner : 22
10.53/69.30	c (65,0) c Restarts_0 : 393
10.53/69.30	c (65,0) c Restarts_1 : 383
10.53/69.30	c (65,0) c Restarts_2 : 470
10.53/69.30	c (65,0) c Restarts_3 : 382
10.53/69.30	c (65,0) c Restarts_4 : 411
10.53/69.30	c (65,0) c Restarts_5 : 364
10.53/69.30	c (65,0) c Restarts_6 : 457
10.53/69.30	c (65,0) c Restarts_7 : 340
10.53/69.30	c (65,0) c Restarts_total : 3200
10.53/69.30	c (65,0) c Restarts_winner : 383
10.53/69.30	c (65,0) c ForcedImports_0 : 0
10.53/69.30	c (65,0) c ForcedImports_1 : 0
10.53/69.30	c (65,0) c ForcedImports_2 : 0
10.53/69.30	c (65,0) c ForcedImports_3 : 0
10.53/69.30	c (65,0) c ForcedImports_4 : 0
10.53/69.30	c (65,0) c ForcedImports_5 : 0
10.53/69.30	c (65,0) c ForcedImports_6 : 0
10.53/69.30	c (65,0) c ForcedImports_7 : 0
10.53/69.30	c (65,0) c ForcedImports_total : 0
10.53/69.30	c (65,0) c ForcedImports_winner : 0
10.53/69.30	c (65,0) c PropsBinClauses_0 : 302572741
10.53/69.30	c (65,0) c PropsBinClauses_1 : 306412680
10.53/69.30	c (65,0) c PropsBinClauses_2 : 309984336
10.53/69.30	c (65,0) c PropsBinClauses_3 : 305858403
10.53/69.30	c (65,0) c PropsBinClauses_4 : 305836589
10.53/69.30	c (65,0) c PropsBinClauses_5 : 310627200
10.53/69.30	c (65,0) c PropsBinClauses_6 : 307667373
10.53/69.30	c (65,0) c PropsBinClauses_7 : 304584779
10.53/69.30	c (65,0) c PropsBinClauses_total : 2453544101
10.53/69.30	c (65,0) c PropsBinClauses_winner : 306412680
10.53/69.30	c (65,0) c PropsPreBlocker_0 : 1681372734
10.53/69.30	c (65,0) c PropsPreBlocker_1 : 1688897505
10.53/69.30	c (65,0) c PropsPreBlocker_2 : 1709458851
10.53/69.30	c (65,0) c PropsPreBlocker_3 : 1698347600
10.53/69.30	c (65,0) c PropsPreBlocker_4 : 1689415639
10.53/69.30	c (65,0) c PropsPreBlocker_5 : 1712878307
10.53/69.30	c (65,0) c PropsPreBlocker_6 : 1701454659
10.53/69.30	c (65,0) c PropsPreBlocker_7 : 1689712550
10.53/69.30	c (65,0) c PropsPreBlocker_total : 13571537845
10.53/69.30	c (65,0) c PropsPreBlocker_winner : 1688897505
10.53/69.30	c (65,0) c PropsNotBlocker_0 : 442238190
10.53/69.30	c (65,0) c PropsNotBlocker_1 : 434211741
10.53/69.30	c (65,0) c PropsNotBlocker_2 : 453024882
10.53/69.30	c (65,0) c PropsNotBlocker_3 : 438760796
10.53/69.30	c (65,0) c PropsNotBlocker_4 : 439657073
10.53/69.30	c (65,0) c PropsNotBlocker_5 : 450113142
10.53/69.30	c (65,0) c PropsNotBlocker_6 : 456197396
10.53/69.30	c (65,0) c PropsNotBlocker_7 : 442307095
10.53/69.30	c (65,0) c PropsNotBlocker_total : 3556510315
10.53/69.30	c (65,0) c PropsNotBlocker_winner : 434211741
10.53/69.30	c (65,0) c PropsLitFullScans_0 : 3138657500
10.53/69.30	c (65,0) c PropsLitFullScans_1 : 3143753791
10.53/69.30	c (65,0) c PropsLitFullScans_2 : 3150353143
10.53/69.30	c (65,0) c PropsLitFullScans_3 : 3152509305
10.53/69.30	c (65,0) c PropsLitFullScans_4 : 3138309278
10.53/69.30	c (65,0) c PropsLitFullScans_5 : 3144128509
10.53/69.30	c (65,0) c PropsLitFullScans_6 : 3152295013
10.53/69.30	c (65,0) c PropsLitFullScans_7 : 3150219949
10.53/69.30	c (65,0) c PropsLitFullScans_total : 25170226488
10.53/69.30	c (65,0) c PropsLitFullScans_winner : 3143753791
10.53/69.30	c (65,0) c LitScanFractions_0 : 621261
10.53/69.30	c (65,0) c LitScanFractions_1 : 660634
10.53/69.30	c (65,0) c LitScanFractions_2 : 304649
10.53/69.30	c (65,0) c LitScanFractions_3 : 113624
10.53/69.30	c (65,0) c LitScanFractions_4 : 290563
10.53/69.30	c (65,0) c LitScanFractions_5 : 108307
10.53/69.30	c (65,0) c LitScanFractions_6 : 255495
10.53/69.30	c (65,0) c LitScanFractions_7 : 473040
10.53/69.30	c (65,0) c LitScanFractions_total : 2827573
10.53/69.30	c (65,0) c LitScanFractions_winner : 660634
10.53/69.30	c (65,0) c DecisionLevel0_0 : 407
10.53/69.30	c (65,0) c DecisionLevel0_1 : 404
10.53/69.30	c (65,0) c DecisionLevel0_2 : 480
10.53/69.30	c (65,0) c DecisionLevel0_3 : 411
10.53/69.30	c (65,0) c DecisionLevel0_4 : 431
10.53/69.30	c (65,0) c DecisionLevel0_5 : 380
10.53/69.30	c (65,0) c DecisionLevel0_6 : 472
10.53/69.30	c (65,0) c DecisionLevel0_7 : 367
10.53/69.30	c (65,0) c DecisionLevel0_total : 3352
10.53/69.30	c (65,0) c DecisionLevel0_winner : 404
10.53/69.30	c (65,0) c Periods_0 : 523
10.53/69.30	c (65,0) c Periods_1 : 523
10.53/69.30	c (65,0) c Periods_2 : 525
10.53/69.30	c (65,0) c Periods_3 : 525
10.53/69.30	c (65,0) c Periods_4 : 523
10.53/69.30	c (65,0) c Periods_5 : 524
10.53/69.30	c (65,0) c Periods_6 : 525
10.53/69.30	c (65,0) c Periods_7 : 524
10.53/69.30	c (65,0) c Periods_total : 4192
10.53/69.30	c (65,0) c Periods_winner : 523
10.53/69.30	c (65,0) c Margin_0 : 20
10.53/69.30	c (65,0) c Margin_1 : 20
10.53/69.30	c (65,0) c Margin_2 : 20
10.53/69.30	c (65,0) c Margin_3 : 20
10.53/69.30	c (65,0) c Margin_4 : 20
10.53/69.30	c (65,0) c Margin_5 : 20
10.53/69.30	c (65,0) c Margin_6 : 20
10.53/69.30	c (65,0) c Margin_7 : 20
10.53/69.30	c (65,0) c Margin_total : 160
10.53/69.30	c (65,0) c Margin_winner : 20
10.53/69.30	c (65,0) c Exported_0 : 19175
10.53/69.30	c (65,0) c Exported_1 : 18265
10.53/69.30	c (65,0) c Exported_2 : 19213
10.53/69.30	c (65,0) c Exported_3 : 18722
10.53/69.30	c (65,0) c Exported_4 : 18266
10.53/69.30	c (65,0) c Exported_5 : 20280
10.53/69.30	c (65,0) c Exported_6 : 19917
10.53/69.30	c (65,0) c Exported_7 : 19301
10.53/69.30	c (65,0) c Exported_total : 153139
10.53/69.30	c (65,0) c Exported_winner : 18265
10.53/69.30	c (65,0) c Imported_0 : 129079
10.53/69.30	c (65,0) c Imported_1 : 130330
10.53/69.30	c (65,0) c Imported_2 : 129476
10.53/69.30	c (65,0) c Imported_3 : 130200
10.53/69.30	c (65,0) c Imported_4 : 130025
10.53/69.30	c (65,0) c Imported_5 : 128290
10.53/69.30	c (65,0) c Imported_6 : 129081
10.53/69.30	c (65,0) c Imported_7 : 129502
10.53/69.30	c (65,0) c Imported_total : 1035983
10.53/69.30	c (65,0) c Imported_winner : 130330
10.53/69.30	c (65,0) c Good_0 : 10871
10.53/69.30	c (65,0) c Good_1 : 11000
10.53/69.30	c (65,0) c Good_2 : 10865
10.53/69.30	c (65,0) c Good_3 : 10895
10.53/69.30	c (65,0) c Good_4 : 10874
10.53/69.30	c (65,0) c Good_5 : 10357
10.53/69.30	c (65,0) c Good_6 : 10862
10.53/69.30	c (65,0) c Good_7 : 10882
10.53/69.30	c (65,0) c Good_total : 86606
10.53/69.30	c (65,0) c Good_winner : 11000
10.53/69.30	c (65,0) c Purge_0 : 118208
10.53/69.30	c (65,0) c Purge_1 : 119330
10.53/69.30	c (65,0) c Purge_2 : 118611
10.53/69.30	c (65,0) c Purge_3 : 119305
10.53/69.30	c (65,0) c Purge_4 : 119151
10.53/69.30	c (65,0) c Purge_5 : 117933
10.53/69.30	c (65,0) c Purge_6 : 118219
10.53/69.30	c (65,0) c Purge_7 : 118620
10.53/69.30	c (65,0) c Purge_total : 949377
10.53/69.30	c (65,0) c Purge_winner : 119330
10.53/69.30	c (65,0) c Promoted_0 : 16610
10.53/69.30	c (65,0) c Promoted_1 : 16293
10.53/69.30	c (65,0) c Promoted_2 : 17307
10.53/69.30	c (65,0) c Promoted_3 : 15899
10.53/69.30	c (65,0) c Promoted_4 : 17033
10.53/69.30	c (65,0) c Promoted_5 : 15396
10.53/69.30	c (65,0) c Promoted_6 : 16588
10.53/69.30	c (65,0) c Promoted_7 : 16760
10.53/69.30	c (65,0) c Promoted_total : 131886
10.53/69.30	c (65,0) c Promoted_winner : 16293
10.53/69.30	c (65,0) c Remove_Imp_0 : 81335
10.53/69.30	c (65,0) c Remove_Imp_1 : 80733
10.53/69.30	c (65,0) c Remove_Imp_2 : 79190
10.53/69.30	c (65,0) c Remove_Imp_3 : 83031
10.53/69.30	c (65,0) c Remove_Imp_4 : 83126
10.53/69.30	c (65,0) c Remove_Imp_5 : 77004
10.53/69.30	c (65,0) c Remove_Imp_6 : 79186
10.53/69.30	c (65,0) c Remove_Imp_7 : 84105
10.53/69.30	c (65,0) c Remove_Imp_total : 647710
10.53/69.30	c (65,0) c Remove_Imp_winner : 80733
10.53/69.30	c (65,0) c Blocked_Reuse_0 : 0
10.53/69.30	c (65,0) c Blocked_Reuse_1 : 0
10.53/69.30	c (65,0) c Blocked_Reuse_2 : 0
10.53/69.30	c (65,0) c Blocked_Reuse_3 : 0
10.53/69.30	c (65,0) c Blocked_Reuse_4 : 0
10.53/69.30	c (65,0) c Blocked_Reuse_5 : 0
10.53/69.30	c (65,0) c Blocked_Reuse_6 : 0
10.53/69.30	c (65,0) c Blocked_Reuse_7 : 0
10.53/69.30	c (65,0) c Blocked_Reuse_total : 0
10.53/69.30	c (65,0) c Blocked_Reuse_winner : 0
10.53/69.30	c (65,0) c Unaries_0 : 14
10.53/69.30	c (65,0) c Unaries_1 : 21
10.53/69.30	c (65,0) c Unaries_2 : 10
10.53/69.30	c (65,0) c Unaries_3 : 29
10.53/69.30	c (65,0) c Unaries_4 : 20
10.53/69.30	c (65,0) c Unaries_5 : 16
10.53/69.30	c (65,0) c Unaries_6 : 15
10.53/69.30	c (65,0) c Unaries_7 : 27
10.53/69.30	c (65,0) c Unaries_total : 152
10.53/69.30	c (65,0) c Unaries_winner : 21
10.53/69.30	c (65,0) c Binaries_0 : 1522
10.53/69.30	c (65,0) c Binaries_1 : 1427
10.53/69.30	c (65,0) c Binaries_2 : 1544
10.53/69.30	c (65,0) c Binaries_3 : 1532
10.53/69.30	c (65,0) c Binaries_4 : 1536
10.53/69.30	c (65,0) c Binaries_5 : 2051
10.53/69.30	c (65,0) c Binaries_6 : 1563
10.53/69.30	c (65,0) c Binaries_7 : 1542
10.53/69.30	c (65,0) c Binaries_total : 12717
10.53/69.30	c (65,0) c Binaries_winner : 1427
10.53/69.30	c (65,0) c Glues_0 : 6044
10.53/69.30	c (65,0) c Glues_1 : 5883
10.53/69.30	c (65,0) c Glues_2 : 6048
10.53/69.30	c (65,0) c Glues_3 : 5651
10.53/69.30	c (65,0) c Glues_4 : 5964
10.53/69.30	c (65,0) c Glues_5 : 6561
10.53/69.30	c (65,0) c Glues_6 : 6057
10.53/69.30	c (65,0) c Glues_7 : 5873
10.53/69.30	c (65,0) c Glues_total : 48081
10.53/69.30	c (65,0) c Glues_winner : 5883
10.53/69.30	c (65,0) c RunningTime_0 : 65.023372
10.53/69.30	c (65,0) c RunningTime_1 : 64.613699
10.53/69.30	c (65,0) c RunningTime_2 : 63.865883
10.53/69.30	c (65,0) c RunningTime_3 : 63.121460
10.53/69.30	c (65,0) c RunningTime_4 : 64.624360
10.53/69.30	c (65,0) c RunningTime_5 : 63.996215
10.53/69.30	c (65,0) c RunningTime_6 : 63.573961
10.53/69.30	c (65,0) c RunningTime_7 : 62.911365
10.53/69.30	c (65,0) c RunningTime_total : 511.730316
10.53/69.30	c (65,0) c RunningTime_winner : 64.613699
10.53/69.30	c (65,0) c WaitingTime_0 : 0.000599
10.53/69.31	c (65,0) c WaitingTime_1 : 0.000746
10.53/69.31	c (65,0) c WaitingTime_2 : 0.000740
10.53/69.31	c (65,0) c WaitingTime_3 : 0.731834
10.53/69.31	c (65,0) c WaitingTime_4 : 0.000702
10.53/69.31	c (65,0) c WaitingTime_5 : 0.000736
10.53/69.31	c (65,0) c WaitingTime_6 : 0.261951
10.53/69.31	c (65,0) c WaitingTime_7 : 0.952606
10.53/69.31	c (65,0) c WaitingTime_total : 1.949914
10.53/69.31	c (65,0) c WaitingTime_winner : 0.000746
10.53/69.31	c (65,0) c ExchangingTime_0 : 0.065819
10.53/69.31	c (65,0) c ExchangingTime_1 : 0.066716
10.53/69.31	c (65,0) c ExchangingTime_2 : 0.072333
10.53/69.31	c (65,0) c ExchangingTime_3 : 0.068516
10.53/69.31	c (65,0) c ExchangingTime_4 : 0.062776
10.53/69.31	c (65,0) c ExchangingTime_5 : 0.060313
10.53/69.31	c (65,0) c ExchangingTime_6 : 0.064793
10.53/69.31	c (65,0) c ExchangingTime_7 : 0.068525
10.53/69.31	c (65,0) c ExchangingTime_total : 0.529791
10.53/69.31	c (65,0) c ExchangingTime_winner : 0.066716
10.53/69.31	c (65,0) c PeriodProcTime_0 : 0.006585
10.53/69.31	c (65,0) c PeriodProcTime_1 : 0.003878
10.53/69.31	c (65,0) c PeriodProcTime_2 : 0.004660
10.53/69.31	c (65,0) c PeriodProcTime_3 : 0.005311
10.53/69.31	c (65,0) c PeriodProcTime_4 : 0.003910
10.53/69.31	c (65,0) c PeriodProcTime_5 : 0.003778
10.53/69.31	c (65,0) c PeriodProcTime_6 : 0.003836
10.53/69.31	c (65,0) c PeriodProcTime_7 : 0.005292
10.53/69.31	c (65,0) c PeriodProcTime_total : 0.037251
10.53/69.31	c (65,0) c PeriodProcTime_winner : 0.003878
10.53/69.31	c (65,0) c SolvingTime_0 : 65.096375
10.53/69.31	c (65,0) c SolvingTime_1 : 64.685040
10.53/69.31	c (65,0) c SolvingTime_2 : 63.943616
10.53/69.31	c (65,0) c SolvingTime_3 : 63.927122
10.53/69.31	c (65,0) c SolvingTime_4 : 64.691748
10.53/69.31	c (65,0) c SolvingTime_5 : 64.061042
10.53/69.31	c (65,0) c SolvingTime_6 : 63.904541
10.53/69.31	c (65,0) c SolvingTime_7 : 63.937788
10.53/69.31	c (65,0) c SolvingTime_total : 514.247271
10.53/69.31	c (65,0) c SolvingTime_winner : 64.685040
10.53/69.31	c (65,0) c PropagationTime_0 : 59.458764
10.53/69.31	c (65,0) c PropagationTime_1 : 58.893963
10.53/69.31	c (65,0) c PropagationTime_2 : 58.187164
10.53/69.31	c (65,0) c PropagationTime_3 : 58.267692
10.53/69.31	c (65,0) c PropagationTime_4 : 59.110645
10.53/69.31	c (65,0) c PropagationTime_5 : 58.401787
10.53/69.31	c (65,0) c PropagationTime_6 : 58.090083
10.53/69.31	c (65,0) c PropagationTime_7 : 58.201905
10.53/69.31	c (65,0) c PropagationTime_total : 468.612003
10.53/69.31	c (65,0) c PropagationTime_winner : 58.893963
10.53/69.31	c (65,0) c AnalysisTime_0 : 3.987031
10.53/69.31	c (65,0) c AnalysisTime_1 : 4.082925
10.53/69.31	c (65,0) c AnalysisTime_2 : 4.074624
10.53/69.31	c (65,0) c AnalysisTime_3 : 3.981110
10.53/69.31	c (65,0) c AnalysisTime_4 : 3.933562
10.53/69.31	c (65,0) c AnalysisTime_5 : 3.936589
10.53/69.31	c (65,0) c AnalysisTime_6 : 4.153984
10.53/69.31	c (65,0) c AnalysisTime_7 : 3.997318
10.53/69.31	c (65,0) c AnalysisTime_total : 32.147142
10.53/69.31	c (65,0) c AnalysisTime_winner : 4.082925
10.53/69.31	c (65,0) c ReductionTime_0 : 0.248469
10.53/69.31	c (65,0) c ReductionTime_1 : 0.271888
10.53/69.31	c (65,0) c ReductionTime_2 : 0.262506
10.53/69.31	c (65,0) c ReductionTime_3 : 0.264213
10.53/69.31	c (65,0) c ReductionTime_4 : 0.267113
10.53/69.31	c (65,0) c ReductionTime_5 : 0.276463
10.53/69.31	c (65,0) c ReductionTime_6 : 0.265927
10.53/69.31	c (65,0) c ReductionTime_7 : 0.267103
10.53/69.31	c (65,0) c ReductionTime_total : 2.123683
10.53/69.31	c (65,0) c ReductionTime_winner : 0.271888
10.53/69.31	c (65,0) c SimplifyTime_0 : 0.141495
10.53/69.31	c (65,0) c SimplifyTime_1 : 0.162603
10.53/69.31	c (65,0) c SimplifyTime_2 : 0.135620
10.53/69.31	c (65,0) c SimplifyTime_3 : 0.154794
10.53/69.31	c (65,0) c SimplifyTime_4 : 0.137984
10.53/69.31	c (65,0) c SimplifyTime_5 : 0.167257
10.53/69.31	c (65,0) c SimplifyTime_6 : 0.160697
10.53/69.31	c (65,0) c SimplifyTime_7 : 0.220325
10.53/69.31	c (65,0) c SimplifyTime_total : 1.280775
10.53/69.31	c (65,0) c SimplifyTime_winner : 0.162603
10.53/69.31	c (65,0) c UsedRateTime_0 : 0.000000
10.53/69.31	c (65,0) c UsedRateTime_1 : 0.000000
10.53/69.31	c (65,0) c UsedRateTime_2 : 0.000000
10.53/69.31	c (65,0) c UsedRateTime_3 : 0.000000
10.53/69.31	c (65,0) c UsedRateTime_4 : 0.000000
10.53/69.31	c (65,0) c UsedRateTime_5 : 0.000000
10.53/69.31	c (65,0) c UsedRateTime_6 : 0.000000
10.53/69.31	c (65,0) c UsedRateTime_7 : 0.000000
10.53/69.31	c (65,0) c UsedRateTime_total : 0.000000
10.53/69.31	c (65,0) c UsedRateTime_winner : 0.000000
10.53/69.31	c (65,0) c OverlapRateTime_0 : 0.000000
10.53/69.31	c (65,0) c OverlapRateTime_1 : 0.000000
10.53/69.31	c (65,0) c OverlapRateTime_2 : 0.000000
10.53/69.31	c (65,0) c OverlapRateTime_3 : 0.000000
10.53/69.31	c (65,0) c OverlapRateTime_4 : 0.000000
10.53/69.31	c (65,0) c OverlapRateTime_5 : 0.000000
10.53/69.31	c (65,0) c OverlapRateTime_6 : 0.000000
10.53/69.31	c (65,0) c OverlapRateTime_7 : 0.000000
10.53/69.31	c (65,0) c OverlapRateTime_total : 0.000000
10.53/69.31	c (65,0) c OverlapRateTime_winner : 0.000000
10.53/69.31	c (65,0) c
10.53/69.31	c (65,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
10.53/69.31	c (65,0) c
10.53/69.31	c (65,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
10.53/69.31	c (65,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
10.53/69.31	c (65,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
10.53/69.31	c (65,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
10.53/69.31	c (65,0) c | adaptStrategeis       |      False |      False |      False |      False |      False |      False |      False |      False |
10.53/69.31	c (65,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
10.53/69.31	c (65,0) c | Initial random_seed   |  551499133 | 1889331297 | 2134107003 |  968772879 |  137494002 | 1435445863 |  377595646 | 2063115811 |
10.53/69.31	c (65,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
10.53/69.31	c (65,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
10.53/69.31	c (65,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
10.53/69.31	c (65,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
10.53/69.31	c (65,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
10.53/69.31	c (65,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
10.53/69.31	c (65,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
10.53/69.31	c (65,0) c | var_decay             |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
10.53/69.31	c (65,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
10.53/69.31	c (65,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
10.53/69.31	c (65,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
10.53/69.31	c (65,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
10.53/69.31	c (65,0) 
10.53/69.31	c (65,0) s UNSATISFIABLE
10.53/69.31	c (65,0) SatSolver.solve End
10.53/69.31	c (65,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
10.53/69.31	c (65,0) Show results Begin
10.53/69.31	s UNSATISFIABLE
10.53/69.31	c (65,0) Show results End
10.53/69.31	c (65,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
10.53/69.32	c (65,0) 65,65,STOP-AFTER(ALL)
10.53/69.32	c END-Prog: Sat Sep 14 03:28:26 CEST 2019

Verifier Data


Watcher Data 

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

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

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

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

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

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

solver pid=5619, runsolver pid=5616

[startup+0.100172 s]*
/proc/loadavg: 3.99 6.81 5.93 3/217 5641
/proc/meminfo: memFree=31552160/32770624 swapFree=67009596/67108860
[pid=5619] ppid=5616 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/5619/stat : 5619 (scop.sh) S 5616 5619 2982 0 -1 4202496 557 319 0 0 0 0 0 0 20 0 1 0 418371283 115843072 349 33554432000 4194304 5098028 140728847115008 140728847112264 139853444067964 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 13320192 140728847123236 140728847123564 140728847123564 140728847126477 0
/proc/5619/statm: 28282 349 296 221 0 87 0
[pid=5622] ppid=5619 vsize=27314120 memory=107640 CPUtime=0.1 cores=0-7
/proc/5622/stat : 5622 (java) S 5619 5619 2982 0 -1 1077944320 6461 0 0 0 8 2 0 0 20 0 20 0 418371283 27969658880 26910 33554432000 4194304 4196468 140723717192752 140723717175296 140024650874615 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 19304448 140723717198571 140723717198998 140723717198998 140723717201871 0
/proc/5622/statm: 6828530 26910 2793 1 0 6790935 0
[pid=5622/tid=5623] ppid=5619 vsize=27314120 memory=-7024592270288534718 CPUtime=0.08 cores=0-7
/proc/5622/task/5623/stat : 5623 (java) R 5619 5619 2982 0 -1 4202560 4576 0 0 0 6 2 0 0 20 0 20 0 418371284 27969658880 26975 33554432000 4194304 4196468 140723717192752 140024622696896 140024636306554 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19304448 140723717198571 140723717198998 140723717198998 140723717201871 0
[pid=5622/tid=5624] ppid=5619 vsize=27314120 memory=6735269665564437106 CPUtime=0 cores=0-7
/proc/5622/task/5624/stat : 5624 (java) S 5619 5619 2982 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418371286 27969658880 26975 33554432000 4194304 4196468 140723717192752 140024655116688 140024650884821 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19304448 140723717198571 140723717198998 140723717198998 140723717201871 0
[pid=5622/tid=5625] ppid=5619 vsize=27314120 memory=139933666088576 CPUtime=0 cores=0-7
/proc/5622/task/5625/stat : 5625 (java) S 5619 5619 2982 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418371286 27969658880 26975 33554432000 4194304 4196468 140723717192752 140024469272848 140024650884821 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19304448 140723717198571 140723717198998 140723717198998 140723717201871 0
[pid=5622/tid=5626] ppid=5619 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5622/task/5626/stat : 5626 (java) S 5619 5619 2982 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418371286 27969658880 26975 33554432000 4194304 4196468 140723717192752 140024468220560 140024650884821 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19304448 140723717198571 140723717198998 140723717198998 140723717201871 0
[pid=5622/tid=5627] ppid=5619 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5622/task/5627/stat : 5627 (java) S 5619 5619 2982 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418371286 27969658880 26975 33554432000 4194304 4196468 140723717192752 140024467167760 140024650884821 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19304448 140723717198571 140723717198998 140723717198998 140723717201871 0
[pid=5622/tid=5628] ppid=5619 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5622/task/5628/stat : 5628 (java) S 5619 5619 2982 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418371286 27969658880 26975 33554432000 4194304 4196468 140723717192752 140024466115472 140024650884821 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19304448 140723717198571 140723717198998 140723717198998 140723717201871 0
[pid=5622/tid=5629] ppid=5619 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/5622/task/5629/stat : 5629 (java) S 5619 5619 2982 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418371286 27969658880 26975 33554432000 4194304 4196468 140723717192752 140024465062672 140024650884821 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19304448 140723717198571 140723717198998 140723717198998 140723717201871 0
[pid=5622/tid=5630] ppid=5619 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5622/task/5630/stat : 5630 (java) S 5619 5619 2982 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418371286 27969658880 26975 33554432000 4194304 4196468 140723717192752 140024464010384 140024650884821 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19304448 140723717198571 140723717198998 140723717198998 140723717201871 0
[pid=5622/tid=5631] ppid=5619 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5622/task/5631/stat : 5631 (java) S 5619 5619 2982 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418371286 27969658880 26975 33554432000 4194304 4196468 140723717192752 140024462957584 140024650884821 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19304448 140723717198571 140723717198998 140723717198998 140723717201871 0
[pid=5622/tid=5632] ppid=5619 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5622/task/5632/stat : 5632 (java) S 5619 5619 2982 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418371288 27969658880 26975 33554432000 4194304 4196468 140723717192752 140022702315632 140024650885762 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19304448 140723717198571 140723717198998 140723717198998 140723717201871 0
[pid=5622/tid=5633] ppid=5619 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5622/task/5633/stat : 5633 (java) S 5619 5619 2982 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 418371288 27969658880 26975 33554432000 4194304 4196468 140723717192752 140022577619744 140024650884821 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19304448 140723717198571 140723717198998 140723717198998 140723717201871 0
[pid=5622/tid=5634] ppid=5619 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5622/task/5634/stat : 5634 (java) S 5619 5619 2982 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418371288 27969658880 26975 33554432000 4194304 4196468 140723717192752 140022309184624 140024650884821 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19304448 140723717198571 140723717198998 140723717198998 140723717201871 0
[pid=5622/tid=5635] ppid=5619 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5622/task/5635/stat : 5635 (java) S 5619 5619 2982 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418371291 27969658880 26975 33554432000 4194304 4196468 140723717192752 140021934676048 140024650893211 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19304448 140723717198571 140723717198998 140723717198998 140723717201871 0
[pid=5622/tid=5636] ppid=5619 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5622/task/5636/stat : 5636 (java) S 5619 5619 2982 0 -1 1077944384 287 0 0 0 0 0 0 0 20 0 20 0 418371291 27969658880 26975 33554432000 4194304 4196468 140723717192752 140022701263472 140024650885762 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19304448 140723717198571 140723717198998 140723717198998 140723717201871 0
[pid=5622/tid=5637] ppid=5619 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5622/task/5637/stat : 5637 (java) S 5619 5619 2982 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418371291 27969658880 26975 33554432000 4194304 4196468 140723717192752 140022700210672 140024650885762 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19304448 140723717198571 140723717198998 140723717198998 140723717201871 0
[pid=5622/tid=5638] ppid=5619 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5622/task/5638/stat : 5638 (java) S 5619 5619 2982 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418371291 27969658880 26975 33554432000 4194304 4196468 140723717192752 140022699158384 140024650885762 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19304448 140723717198571 140723717198998 140723717198998 140723717201871 0
[pid=5622/tid=5639] ppid=5619 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5622/task/5639/stat : 5639 (java) S 5619 5619 2982 0 -1 1077944384 274 0 0 0 0 0 0 0 20 0 20 0 418371291 27969658880 26975 33554432000 4194304 4196468 140723717192752 140022698105584 140024650885762 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19304448 140723717198571 140723717198998 140723717198998 140723717201871 0
[pid=5622/tid=5640] ppid=5619 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5622/task/5640/stat : 5640 (java) S 5619 5619 2982 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418371291 27969658880 26975 33554432000 4194304 4196468 140723717192752 140021436770656 140024650884821 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19304448 140723717198571 140723717198998 140723717198998 140723717201871 0
[pid=5622/tid=5641] ppid=5619 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/5622/task/5641/stat : 5641 (java) S 5619 5619 2982 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418371291 27969658880 26975 33554432000 4194304 4196468 140723717192752 140022697052464 140024650885762 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19304448 140723717198571 140723717198998 140723717198998 140723717201871 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 109036 KiB

[startup+0.210404 s]*
/proc/loadavg: 3.99 6.81 5.93 2/217 5641
/proc/meminfo: memFree=31523992/32770624 swapFree=67009596/67108860
[pid=5619] ppid=5616 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/5619/stat : 5619 (scop.sh) S 5616 5619 2982 0 -1 4202496 557 319 0 0 0 0 0 0 20 0 1 0 418371283 115843072 349 33554432000 4194304 5098028 140728847115008 140728847112264 139853444067964 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 13320192 140728847123236 140728847123564 140728847123564 140728847126477 0
/proc/5619/statm: 28282 349 296 221 0 87 0
[pid=5622] ppid=5619 vsize=27314120 memory=124444 CPUtime=0.24 cores=0-7
/proc/5622/stat : 5622 (java) S 5619 5619 2982 0 -1 1077944320 11481 0 0 0 20 4 0 0 20 0 20 0 418371283 27969658880 31111 33554432000 4194304 4196468 140723717192752 140723717175296 140024650874615 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 19304448 140723717198571 140723717198998 140723717198998 140723717201871 0
/proc/5622/statm: 6828530 31111 2953 1 0 6790935 0
[pid=5622/tid=5623] ppid=5619 vsize=27314120 memory=8390339637985935414 CPUtime=0.19 cores=0-7
/proc/5622/task/5623/stat : 5623 (java) R 5619 5619 2982 0 -1 4202560 9179 0 0 0 16 3 0 0 20 0 20 0 418371284 27969658880 31111 33554432000 4194304 4196468 140723717192752 140024622674000 140024631153016 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19304448 140723717198571 140723717198998 140723717198998 140723717201871 0
[pid=5622/tid=5624] ppid=5619 vsize=27314120 memory=288230613314710904 CPUtime=0 cores=0-7
/proc/5622/task/5624/stat : 5624 (java) S 5619 5619 2982 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418371286 27969658880 31111 33554432000 4194304 4196468 140723717192752 140024655116688 140024650884821 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19304448 140723717198571 140723717198998 140723717198998 140723717201871 0
[pid=5622/tid=5625] ppid=5619 vsize=27314120 memory=3834736446308718240 CPUtime=0 cores=0-7
/proc/5622/task/5625/stat : 5625 (java) S 5619 5619 2982 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418371286 27969658880 31111 33554432000 4194304 4196468 140723717192752 140024469272848 140024650884821 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19304448 140723717198571 140723717198998 140723717198998 140723717201871 0
[pid=5622/tid=5626] ppid=5619 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/5622/task/5626/stat : 5626 (java) S 5619 5619 2982 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418371286 27969658880 31111 33554432000 4194304 4196468 140723717192752 140024468220560 140024650884821 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19304448 140723717198571 140723717198998 140723717198998 140723717201871 0
[pid=5622/tid=5627] ppid=5619 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5622/task/5627/stat : 5627 (java) S 5619 5619 2982 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418371286 27969658880 31111 33554432000 4194304 4196468 140723717192752 140024467167760 140024650884821 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19304448 140723717198571 140723717198998 140723717198998 140723717201871 0
[pid=5622/tid=5628] ppid=5619 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5622/task/5628/stat : 5628 (java) S 5619 5619 2982 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418371286 27969658880 31111 33554432000 4194304 4196468 140723717192752 140024466115472 140024650884821 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19304448 140723717198571 140723717198998 140723717198998 140723717201871 0
[pid=5622/tid=5629] ppid=5619 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/5622/task/5629/stat : 5629 (java) S 5619 5619 2982 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418371286 27969658880 31111 33554432000 4194304 4196468 140723717192752 140024465062672 140024650884821 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19304448 140723717198571 140723717198998 140723717198998 140723717201871 0
[pid=5622/tid=5630] ppid=5619 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5622/task/5630/stat : 5630 (java) S 5619 5619 2982 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418371286 27969658880 31111 33554432000 4194304 4196468 140723717192752 140024464010384 140024650884821 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19304448 140723717198571 140723717198998 140723717198998 140723717201871 0
[pid=5622/tid=5631] ppid=5619 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5622/task/5631/stat : 5631 (java) S 5619 5619 2982 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418371286 27969658880 31111 33554432000 4194304 4196468 140723717192752 140024462957584 140024650884821 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19304448 140723717198571 140723717198998 140723717198998 140723717201871 0
[pid=5622/tid=5632] ppid=5619 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5622/task/5632/stat : 5632 (java) S 5619 5619 2982 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418371288 27969658880 31111 33554432000 4194304 4196468 140723717192752 140022702315632 140024650885762 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19304448 140723717198571 140723717198998 140723717198998 140723717201871 0
[pid=5622/tid=5633] ppid=5619 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5622/task/5633/stat : 5633 (java) S 5619 5619 2982 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 418371288 27969658880 31111 33554432000 4194304 4196468 140723717192752 140022577619744 140024650884821 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19304448 140723717198571 140723717198998 140723717198998 140723717201871 0
[pid=5622/tid=5634] ppid=5619 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5622/task/5634/stat : 5634 (java) S 5619 5619 2982 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418371288 27969658880 31111 33554432000 4194304 4196468 140723717192752 140022309184624 140024650884821 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19304448 140723717198571 140723717198998 140723717198998 140723717201871 0
[pid=5622/tid=5635] ppid=5619 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5622/task/5635/stat : 5635 (java) S 5619 5619 2982 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418371291 27969658880 31111 33554432000 4194304 4196468 140723717192752 140021934676048 140024650893211 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19304448 140723717198571 140723717198998 140723717198998 140723717201871 0
[pid=5622/tid=5636] ppid=5619 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5622/task/5636/stat : 5636 (java) S 5619 5619 2982 0 -1 1077944384 287 0 0 0 0 0 0 0 20 0 20 0 418371291 27969658880 31111 33554432000 4194304 4196468 140723717192752 140022701263472 140024650885762 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19304448 140723717198571 140723717198998 140723717198998 140723717201871 0
[pid=5622/tid=5637] ppid=5619 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5622/task/5637/stat : 5637 (java) S 5619 5619 2982 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 20 0 418371291 27969658880 31111 33554432000 4194304 4196468 140723717192752 140022700210672 140024650885762 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19304448 140723717198571 140723717198998 140723717198998 140723717201871 0
[pid=5622/tid=5638] ppid=5619 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5622/task/5638/stat : 5638 (java) S 5619 5619 2982 0 -1 1077944384 133 0 0 0 0 0 0 0 20 0 20 0 418371291 27969658880 31111 33554432000 4194304 4196468 140723717192752 140022699158384 140024650885762 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19304448 140723717198571 140723717198998 140723717198998 140723717201871 0
[pid=5622/tid=5639] ppid=5619 vsize=27314120 memory=0 CPUtime=0.02 cores=0-7
/proc/5622/task/5639/stat : 5639 (java) S 5619 5619 2982 0 -1 1077944384 500 0 0 0 2 0 0 0 20 0 20 0 418371291 27969658880 31111 33554432000 4194304 4196468 140723717192752 140022698105584 140024650885762 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19304448 140723717198571 140723717198998 140723717198998 140723717201871 0
[pid=5622/tid=5640] ppid=5619 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5622/task/5640/stat : 5640 (java) S 5619 5619 2982 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418371291 27969658880 31111 33554432000 4194304 4196468 140723717192752 140021436770656 140024650884821 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19304448 140723717198571 140723717198998 140723717198998 140723717201871 0
[pid=5622/tid=5641] ppid=5619 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/5622/task/5641/stat : 5641 (java) S 5619 5619 2982 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418371291 27969658880 31111 33554432000 4194304 4196468 140723717192752 140022697052464 140024650885762 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19304448 140723717198571 140723717198998 140723717198998 140723717201871 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 125840 KiB

[startup+0.309755 s]*
/proc/loadavg: 3.99 6.81 5.93 2/217 5641
/proc/meminfo: memFree=31523520/32770624 swapFree=67009596/67108860
[pid=5619] ppid=5616 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/5619/stat : 5619 (scop.sh) S 5616 5619 2982 0 -1 4202496 557 319 0 0 0 0 0 0 20 0 1 0 418371283 115843072 349 33554432000 4194304 5098028 140728847115008 140728847112264 139853444067964 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 13320192 140728847123236 140728847123564 140728847123564 140728847126477 0
/proc/5619/statm: 28282 349 296 221 0 87 0
[pid=5622] ppid=5619 vsize=27314120 memory=127860 CPUtime=0.41 cores=0-7
/proc/5622/stat : 5622 (java) S 5619 5619 2982 0 -1 1077944320 11915 0 0 0 37 4 0 0 20 0 20 0 418371283 27969658880 31965 33554432000 4194304 4196468 140723717192752 140723717175296 140024650874615 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 19304448 140723717198571 140723717198998 140723717198998 140723717201871 0
/proc/5622/statm: 6828530 31965 3007 1 0 6790935 0
[pid=5622/tid=5623] ppid=5619 vsize=27314120 memory=1398722017469774279 CPUtime=0.3 cores=0-7
/proc/5622/task/5623/stat : 5623 (java) R 5619 5619 2982 0 -1 4202560 9451 0 0 0 26 4 0 0 20 0 20 0 418371284 27969658880 32030 33554432000 4194304 4196468 140723717192752 140024622704688 140024636040208 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19304448 140723717198571 140723717198998 140723717198998 140723717201871 0
[pid=5622/tid=5624] ppid=5619 vsize=27314120 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/5622/task/5624/stat : 5624 (java) S 5619 5619 2982 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418371286 27969658880 32030 33554432000 4194304 4196468 140723717192752 140024655116688 140024650884821 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19304448 140723717198571 140723717198998 140723717198998 140723717201871 0
[pid=5622/tid=5625] ppid=5619 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5622/task/5625/stat : 5625 (java) S 5619 5619 2982 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418371286 27969658880 32030 33554432000 4194304 4196468 140723717192752 140024469272848 140024650884821 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19304448 140723717198571 140723717198998 140723717198998 140723717201871 0
[pid=5622/tid=5626] ppid=5619 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5622/task/5626/stat : 5626 (java) S 5619 5619 2982 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418371286 27969658880 32030 33554432000 4194304 4196468 140723717192752 140024468220560 140024650884821 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19304448 140723717198571 140723717198998 140723717198998 140723717201871 0
[pid=5622/tid=5627] ppid=5619 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5622/task/5627/stat : 5627 (java) S 5619 5619 2982 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418371286 27969658880 32030 33554432000 4194304 4196468 140723717192752 140024467167760 140024650884821 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19304448 140723717198571 140723717198998 140723717198998 140723717201871 0
[pid=5622/tid=5628] ppid=5619 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5622/task/5628/stat : 5628 (java) S 5619 5619 2982 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418371286 27969658880 32030 33554432000 4194304 4196468 140723717192752 140024466115472 140024650884821 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19304448 140723717198571 140723717198998 140723717198998 140723717201871 0
[pid=5622/tid=5629] ppid=5619 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5622/task/5629/stat : 5629 (java) S 5619 5619 2982 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418371286 27969658880 32030 33554432000 4194304 4196468 140723717192752 140024465062672 140024650884821 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19304448 140723717198571 140723717198998 140723717198998 140723717201871 0
[pid=5622/tid=5630] ppid=5619 vsize=27314120 memory=2244 CPUtime=0 cores=0-7
/proc/5622/task/5630/stat : 5630 (java) S 5619 5619 2982 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418371286 27969658880 32030 33554432000 4194304 4196468 140723717192752 140024464010384 140024650884821 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19304448 140723717198571 140723717198998 140723717198998 140723717201871 0
[pid=5622/tid=5631] ppid=5619 vsize=27314120 memory=2244 CPUtime=0 cores=0-7
/proc/5622/task/5631/stat : 5631 (java) S 5619 5619 2982 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418371286 27969658880 32030 33554432000 4194304 4196468 140723717192752 140024462957584 140024650884821 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19304448 140723717198571 140723717198998 140723717198998 140723717201871 0
[pid=5622/tid=5632] ppid=5619 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5622/task/5632/stat : 5632 (java) S 5619 5619 2982 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418371288 27969658880 32030 33554432000 4194304 4196468 140723717192752 140022702315632 140024650885762 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19304448 140723717198571 140723717198998 140723717198998 140723717201871 0
[pid=5622/tid=5633] ppid=5619 vsize=27314120 memory=139933524255183 CPUtime=0 cores=0-7
/proc/5622/task/5633/stat : 5633 (java) S 5619 5619 2982 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 418371288 27969658880 32030 33554432000 4194304 4196468 140723717192752 140022577619744 140024650884821 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19304448 140723717198571 140723717198998 140723717198998 140723717201871 0
[pid=5622/tid=5634] ppid=5619 vsize=27314120 memory=279867048538000 CPUtime=0 cores=0-7
/proc/5622/task/5634/stat : 5634 (java) S 5619 5619 2982 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418371288 27969658880 32030 33554432000 4194304 4196468 140723717192752 140022309184624 140024650884821 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19304448 140723717198571 140723717198998 140723717198998 140723717201871 0
[pid=5622/tid=5635] ppid=5619 vsize=27314120 memory=279867048535696 CPUtime=0 cores=0-7
/proc/5622/task/5635/stat : 5635 (java) S 5619 5619 2982 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418371291 27969658880 32030 33554432000 4194304 4196468 140723717192752 140021934676048 140024650893211 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19304448 140723717198571 140723717198998 140723717198998 140723717201871 0
[pid=5622/tid=5636] ppid=5619 vsize=27314120 memory=279867048542608 CPUtime=0 cores=0-7
/proc/5622/task/5636/stat : 5636 (java) S 5619 5619 2982 0 -1 1077944384 296 0 0 0 0 0 0 0 20 0 20 0 418371291 27969658880 32030 33554432000 4194304 4196468 140723717192752 140022701263472 140024650885762 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19304448 140723717198571 140723717198998 140723717198998 140723717201871 0
[pid=5622/tid=5637] ppid=5619 vsize=27314120 memory=279867048483888 CPUtime=0 cores=0-7
/proc/5622/task/5637/stat : 5637 (java) R 5619 5619 2982 0 -1 4202560 69 0 0 0 0 0 0 0 20 0 20 0 418371291 27969658880 32030 33554432000 4194304 4196468 140723717192752 140022700210672 140024632395392 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19304448 140723717198571 140723717198998 140723717198998 140723717201871 0
[pid=5622/tid=5638] ppid=5619 vsize=27314120 memory=279867048556432 CPUtime=0.02 cores=0-7
/proc/5622/task/5638/stat : 5638 (java) S 5619 5619 2982 0 -1 1077944384 247 0 0 0 2 0 0 0 20 0 20 0 418371291 27969658880 32030 33554432000 4194304 4196468 140723717192752 140022699158384 140024650885762 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19304448 140723717198571 140723717198998 140723717198998 140723717201871 0
[pid=5622/tid=5639] ppid=5619 vsize=27314120 memory=279867048563312 CPUtime=0.07 cores=0-7
/proc/5622/task/5639/stat : 5639 (java) S 5619 5619 2982 0 -1 1077944384 521 0 0 0 7 0 0 0 20 0 20 0 418371291 27969658880 32030 33554432000 4194304 4196468 140723717192752 140022698105584 140024650885762 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19304448 140723717198571 140723717198998 140723717198998 140723717201871 0
[pid=5622/tid=5640] ppid=5619 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5622/task/5640/stat : 5640 (java) S 5619 5619 2982 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418371291 27969658880 32030 33554432000 4194304 4196468 140723717192752 140021436770656 140024650884821 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19304448 140723717198571 140723717198998 140723717198998 140723717201871 0
[pid=5622/tid=5641] ppid=5619 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/5622/task/5641/stat : 5641 (java) S 5619 5619 2982 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418371291 27969658880 32030 33554432000 4194304 4196468 140723717192752 140022697052464 140024650885762 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19304448 140723717198571 140723717198998 140723717198998 140723717201871 0
Current children cumulated CPU time: 0.41 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 129256 KiB

[startup+0.700936 s]
/proc/loadavg: 3.99 6.81 5.93 2/217 5641
/proc/meminfo: memFree=31506632/32770624 swapFree=67009596/67108860
[pid=5619] ppid=5616 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/5619/stat : 5619 (scop.sh) S 5616 5619 2982 0 -1 4202496 557 319 0 0 0 0 0 0 20 0 1 0 418371283 115843072 349 33554432000 4194304 5098028 140728847115008 140728847112264 139853444067964 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 13320192 140728847123236 140728847123564 140728847123564 140728847126477 0
/proc/5619/statm: 28282 349 296 221 0 87 0
[pid=5622] ppid=5619 vsize=27322516 memory=166176 CPUtime=1.01 cores=0-7
/proc/5622/stat : 5622 (java) S 5619 5619 2982 0 -1 1077944320 20160 0 0 0 94 7 0 0 20 0 20 0 418371283 27978256384 41544 33554432000 4194304 4196468 140723717192752 140723717175296 140024650874615 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 19304448 140723717198571 140723717198998 140723717198998 140723717201871 0
/proc/5622/statm: 6830629 41544 3200 1 0 6791959 0
[pid=5622/tid=5623] ppid=5619 vsize=27322516 memory=2244 CPUtime=0.68 cores=0-7
/proc/5622/task/5623/stat : 5623 (java) R 5619 5619 2982 0 -1 4202560 17076 0 0 0 62 6 0 0 20 0 20 0 418371284 27978256384 41544 33554432000 4194304 4196468 140723717192752 140024622708400 140024634955132 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19304448 140723717198571 140723717198998 140723717198998 140723717201871 0
[pid=5622/tid=5624] ppid=5619 vsize=27322516 memory=0 CPUtime=0 cores=0-7
/proc/5622/task/5624/stat : 5624 (java) S 5619 5619 2982 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418371286 27978256384 41544 33554432000 4194304 4196468 140723717192752 140024655116688 140024650884821 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19304448 140723717198571 140723717198998 140723717198998 140723717201871 0
[pid=5622/tid=5625] ppid=5619 vsize=27322516 memory=0 CPUtime=0 cores=0-7
/proc/5622/task/5625/stat : 5625 (java) S 5619 5619 2982 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418371286 27978256384 41544 33554432000 4194304 4196468 140723717192752 140024469272848 140024650884821 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19304448 140723717198571 140723717198998 140723717198998 140723717201871 0
[pid=5622/tid=5626] ppid=5619 vsize=27322516 memory=14008 CPUtime=0 cores=0-7
/proc/5622/task/5626/stat : 5626 (java) S 5619 5619 2982 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418371286 27978256384 41544 33554432000 4194304 4196468 140723717192752 140024468220560 140024650884821 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19304448 140723717198571 140723717198998 140723717198998 140723717201871 0

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

/proc/5642/task/5649/stat : 5649 (java) S 5619 5619 2982 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418371613 8616062976 29632 33554432000 4194304 4196468 140734173877600 140400952813840 140401152624341 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35291136 140734173881336 140734173881494 140734173881494 140734173884367 0
[pid=5642/tid=5650] ppid=5619 vsize=8414124 memory=287416 CPUtime=0 cores=0-7
/proc/5642/task/5650/stat : 5650 (java) S 5619 5619 2982 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418371613 8616062976 29632 33554432000 4194304 4196468 140734173877600 140400951761552 140401152624341 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35291136 140734173881336 140734173881494 140734173881494 140734173884367 0
[pid=5642/tid=5651] ppid=5619 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/5642/task/5651/stat : 5651 (java) S 5619 5619 2982 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418371613 8616062976 29632 33554432000 4194304 4196468 140734173877600 140400950708752 140401152624341 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35291136 140734173881336 140734173881494 140734173881494 140734173884367 0
[pid=5642/tid=5652] ppid=5619 vsize=8414124 memory=118528 CPUtime=0 cores=0-7
/proc/5642/task/5652/stat : 5652 (java) S 5619 5619 2982 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 418371615 8616062976 29632 33554432000 4194304 4196468 140734173877600 140400111819376 140401152625282 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35291136 140734173881336 140734173881494 140734173881494 140734173884367 0
[pid=5642/tid=5653] ppid=5619 vsize=8414124 memory=285444 CPUtime=0 cores=0-7
/proc/5642/task/5653/stat : 5653 (java) S 5619 5619 2982 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 418371615 8616062976 29632 33554432000 4194304 4196468 140734173877600 140399729435936 140401152624341 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35291136 140734173881336 140734173881494 140734173881494 140734173884367 0
[pid=5642/tid=5654] ppid=5619 vsize=8414124 memory=118528 CPUtime=0 cores=0-7
/proc/5642/task/5654/stat : 5654 (java) S 5619 5619 2982 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 418371616 8616062976 29632 33554432000 4194304 4196468 140734173877600 140399595214448 140401152624341 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35291136 140734173881336 140734173881494 140734173881494 140734173884367 0
[pid=5642/tid=5655] ppid=5619 vsize=8414124 memory=287416 CPUtime=0 cores=0-7
/proc/5642/task/5655/stat : 5655 (java) S 5619 5619 2982 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418371618 8616062976 29632 33554432000 4194304 4196468 140734173877600 140399220709968 140401152632731 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35291136 140734173881336 140734173881494 140734173881494 140734173884367 0
[pid=5642/tid=5656] ppid=5619 vsize=8414124 memory=1476 CPUtime=0.04 cores=0-7
/proc/5642/task/5656/stat : 5656 (java) S 5619 5619 2982 0 -1 1077944384 517 0 0 0 4 0 0 0 20 0 24 0 418371618 8616062976 29632 33554432000 4194304 4196468 140734173877600 140400110766192 140401152625282 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35291136 140734173881336 140734173881494 140734173881494 140734173884367 0
[pid=5642/tid=5657] ppid=5619 vsize=8414124 memory=118528 CPUtime=0.05 cores=0-7
/proc/5642/task/5657/stat : 5657 (java) S 5619 5619 2982 0 -1 1077944384 330 0 0 0 5 0 0 0 20 0 24 0 418371618 8616062976 29632 33554432000 4194304 4196468 140734173877600 140400109713392 140401152625282 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35291136 140734173881336 140734173881494 140734173881494 140734173884367 0
[pid=5642/tid=5658] ppid=5619 vsize=8414124 memory=287416 CPUtime=0.07 cores=0-7
/proc/5642/task/5658/stat : 5658 (java) S 5619 5619 2982 0 -1 1077944384 319 0 0 0 7 0 0 0 20 0 24 0 418371618 8616062976 29632 33554432000 4194304 4196468 140734173877600 140400108661104 140401152625282 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35291136 140734173881336 140734173881494 140734173881494 140734173884367 0
[pid=5642/tid=5659] ppid=5619 vsize=8414124 memory=288285597435691882 CPUtime=0.19 cores=0-7
/proc/5642/task/5659/stat : 5659 (java) S 5619 5619 2982 0 -1 1077944384 615 0 0 0 19 0 0 0 20 0 24 0 418371618 8616062976 29632 33554432000 4194304 4196468 140734173877600 140400107608304 140401152625282 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35291136 140734173881336 140734173881494 140734173881494 140734173884367 0
[pid=5642/tid=5660] ppid=5619 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/5642/task/5660/stat : 5660 (java) S 5619 5619 2982 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418371618 8616062976 29632 33554432000 4194304 4196468 140734173877600 140398722804576 140401152624341 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35291136 140734173881336 140734173881494 140734173881494 140734173884367 0
[pid=5642/tid=5661] ppid=5619 vsize=8414124 memory=31076 CPUtime=0.06 cores=0-7
/proc/5642/task/5661/stat : 5661 (java) S 5619 5619 2982 0 -1 1077944384 7 0 0 0 3 3 0 0 20 0 24 0 418371619 8616062976 29632 33554432000 4194304 4196468 140734173877600 140400106556208 140401152625282 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35291136 140734173881336 140734173881494 140734173881494 140734173884367 0
[pid=5642/tid=5663] ppid=5619 vsize=8414124 memory=287416 CPUtime=0 cores=0-7
/proc/5642/task/5663/stat : 5663 (java) S 5619 5619 2982 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 418371684 8616062976 29632 33554432000 4194304 4196468 140734173877600 140400098522944 140401152638745 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 35291136 140734173881336 140734173881494 140734173881494 140734173884367 0
[pid=5642/tid=5665] ppid=5619 vsize=8414124 memory=118528 CPUtime=0 cores=0-7
/proc/5642/task/5665/stat : 5665 (java) S 5619 5619 2982 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 24 0 418371684 8616062976 29632 33554432000 4194304 4196468 140734173877600 140398051704208 140401152636061 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 35291136 140734173881336 140734173881494 140734173881494 140734173884367 0
[pid=5642/tid=5666] ppid=5619 vsize=8414124 memory=287416 CPUtime=0 cores=0-7
/proc/5642/task/5666/stat : 5666 (java) S 5619 5619 2982 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 418371684 8616062976 29632 33554432000 4194304 4196468 140734173877600 140398320139536 140401152636061 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 35291136 140734173881336 140734173881494 140734173881494 140734173884367 0
[pid=5642/tid=5667] ppid=5619 vsize=8414124 memory=5931329036598597200 CPUtime=0 cores=0-7
/proc/5642/task/5667/stat : 5667 (java) S 5619 5619 2982 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 418371686 8616062976 29632 33554432000 4194304 4196468 140734173877600 140397783276848 140401152624341 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35291136 140734173881336 140734173881494 140734173881494 140734173884367 0
Current children cumulated CPU time: 520.74 s
Current children cumulated vsize: 9211604 KiB
Current children cumulated memory: 405448 KiB

[startup+69.2012 s]
/proc/loadavg: 6.11 6.87 6.01 2/223 5679
/proc/meminfo: memFree=31257692/32770624 swapFree=67009600/67108860
[pid=5619] ppid=5616 vsize=113128 memory=1476 CPUtime=9.34 cores=0-7
/proc/5619/stat : 5619 (scop.sh) S 5616 5619 2982 0 -1 4202496 583 28627 0 0 0 0 909 25 20 0 1 0 418371283 115843072 369 33554432000 4194304 5098028 140728847115008 140728847111752 139853444067964 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 13320192 140728847123236 140728847123564 140728847123564 140728847126477 0
/proc/5619/statm: 28282 369 311 221 0 87 0
[pid=5642] ppid=5619 vsize=8414124 memory=118528 CPUtime=1.18 cores=0-7
/proc/5642/stat : 5642 (java) S 5619 5619 2982 0 -1 1077944320 19619 0 0 0 111 7 0 0 20 0 24 0 418371612 8616062976 29632 33554432000 4194304 4196468 140734173877600 140734173860144 140401152614135 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35291136 140734173881336 140734173881494 140734173881494 140734173884367 0
/proc/5642/statm: 2103531 29632 3209 1 0 2064875 0
[pid=5662] ppid=5642 vsize=684352 memory=285444 CPUtime=510.79 cores=0-7
/proc/5662/stat : 5662 (manyglucose-4.1) S 5642 5619 2982 0 -1 1077944320 235732 0 0 0 51030 49 0 0 20 0 2 0 418371683 700776448 71361 33554432000 4194304 4454172 140722306989520 140722306987904 139646725123831 0 4 0 8388610 18446744073709551615 0 0 17 6 0 0 0 0 0 6552832 6554400 11960320 140722306995050 140722306995248 140722306995248 140722306998202 0
/proc/5662/statm: 171088 71361 422 64 0 166756 0
[pid=5662/tid=5668] ppid=5642 vsize=684352 memory=7988 CPUtime=64.62 cores=0-7
/proc/5662/task/5668/stat : 5668 (manyglucose-4.1) R 5642 5619 2982 0 -1 4202560 25596 0 0 0 6456 6 0 0 20 0 2 0 418371701 700776448 71361 33554432000 4194304 4454172 140722306989520 139646698925192 4349826 0 4 0 8388610 0 0 0 -1 5 0 0 0 0 0 6552832 6554400 11960320 140722306995050 140722306995248 140722306995248 140722306998202 0
[pid=5642/tid=5643] ppid=5619 vsize=8414124 memory=1584 CPUtime=0.74 cores=0-7
/proc/5642/task/5643/stat : 5643 (java) S 5619 5619 2982 0 -1 1077944384 16410 0 0 0 69 5 0 0 20 0 24 0 418371612 8616062976 29632 33554432000 4194304 4196468 140734173877600 140401124454304 140401152624341 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35291136 140734173881336 140734173881494 140734173881494 140734173884367 0
[pid=5642/tid=5644] ppid=5619 vsize=8414124 memory=14008 CPUtime=0 cores=0-7
/proc/5642/task/5644/stat : 5644 (java) S 5619 5619 2982 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418371613 8616062976 29632 33554432000 4194304 4196468 140734173877600 140401156856720 140401152624341 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35291136 140734173881336 140734173881494 140734173881494 140734173884367 0
[pid=5642/tid=5645] ppid=5619 vsize=8414124 memory=6164 CPUtime=0 cores=0-7
/proc/5642/task/5645/stat : 5645 (java) S 5619 5619 2982 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418371613 8616062976 29632 33554432000 4194304 4196468 140734173877600 140400957025040 140401152624341 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35291136 140734173881336 140734173881494 140734173881494 140734173884367 0
[pid=5642/tid=5646] ppid=5619 vsize=8414124 memory=13948 CPUtime=0 cores=0-7
/proc/5642/task/5646/stat : 5646 (java) S 5619 5619 2982 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418371613 8616062976 29632 33554432000 4194304 4196468 140734173877600 140400955972752 140401152624341 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35291136 140734173881336 140734173881494 140734173881494 140734173884367 0
[pid=5642/tid=5647] ppid=5619 vsize=8414124 memory=304556123141439514 CPUtime=0 cores=0-7
/proc/5642/task/5647/stat : 5647 (java) S 5619 5619 2982 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418371613 8616062976 29632 33554432000 4194304 4196468 140734173877600 140400954919952 140401152624341 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35291136 140734173881336 140734173881494 140734173881494 140734173884367 0
[pid=5642/tid=5648] ppid=5619 vsize=8414124 memory=288230596050944315 CPUtime=0 cores=0-7
/proc/5642/task/5648/stat : 5648 (java) S 5619 5619 2982 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418371613 8616062976 29632 33554432000 4194304 4196468 140734173877600 140400953866640 140401152624341 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35291136 140734173881336 140734173881494 140734173881494 140734173884367 0
[pid=5642/tid=5649] ppid=5619 vsize=8414124 memory=14413709221038509 CPUtime=0 cores=0-7
/proc/5642/task/5649/stat : 5649 (java) S 5619 5619 2982 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418371613 8616062976 29632 33554432000 4194304 4196468 140734173877600 140400952813840 140401152624341 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35291136 140734173881336 140734173881494 140734173881494 140734173884367 0
[pid=5642/tid=5650] ppid=5619 vsize=8414124 memory=2120 CPUtime=0 cores=0-7
/proc/5642/task/5650/stat : 5650 (java) S 5619 5619 2982 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418371613 8616062976 29632 33554432000 4194304 4196468 140734173877600 140400951761552 140401152624341 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35291136 140734173881336 140734173881494 140734173881494 140734173884367 0
[pid=5642/tid=5651] ppid=5619 vsize=8414124 memory=520 CPUtime=0 cores=0-7
/proc/5642/task/5651/stat : 5651 (java) S 5619 5619 2982 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418371613 8616062976 29632 33554432000 4194304 4196468 140734173877600 140400950708752 140401152624341 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35291136 140734173881336 140734173881494 140734173881494 140734173884367 0
[pid=5642/tid=5652] ppid=5619 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/5642/task/5652/stat : 5652 (java) S 5619 5619 2982 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 418371615 8616062976 29632 33554432000 4194304 4196468 140734173877600 140400111819376 140401152625282 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35291136 140734173881336 140734173881494 140734173881494 140734173884367 0
[pid=5642/tid=5653] ppid=5619 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/5642/task/5653/stat : 5653 (java) S 5619 5619 2982 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 418371615 8616062976 29632 33554432000 4194304 4196468 140734173877600 140399729435936 140401152624341 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35291136 140734173881336 140734173881494 140734173881494 140734173884367 0
[pid=5642/tid=5654] ppid=5619 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/5642/task/5654/stat : 5654 (java) S 5619 5619 2982 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 418371616 8616062976 29632 33554432000 4194304 4196468 140734173877600 140399595214448 140401152624341 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35291136 140734173881336 140734173881494 140734173881494 140734173884367 0
[pid=5642/tid=5655] ppid=5619 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/5642/task/5655/stat : 5655 (java) S 5619 5619 2982 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418371618 8616062976 29632 33554432000 4194304 4196468 140734173877600 140399220709968 140401152632731 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35291136 140734173881336 140734173881494 140734173881494 140734173884367 0
[pid=5642/tid=5656] ppid=5619 vsize=8414124 memory=0 CPUtime=0.04 cores=0-7
/proc/5642/task/5656/stat : 5656 (java) S 5619 5619 2982 0 -1 1077944384 517 0 0 0 4 0 0 0 20 0 24 0 418371618 8616062976 29632 33554432000 4194304 4196468 140734173877600 140400110766192 140401152625282 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35291136 140734173881336 140734173881494 140734173881494 140734173884367 0
[pid=5642/tid=5657] ppid=5619 vsize=8414124 memory=0 CPUtime=0.05 cores=0-7
/proc/5642/task/5657/stat : 5657 (java) S 5619 5619 2982 0 -1 1077944384 330 0 0 0 5 0 0 0 20 0 24 0 418371618 8616062976 29632 33554432000 4194304 4196468 140734173877600 140400109713392 140401152625282 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35291136 140734173881336 140734173881494 140734173881494 140734173884367 0
[pid=5642/tid=5658] ppid=5619 vsize=8414124 memory=2241 CPUtime=0.07 cores=0-7
/proc/5642/task/5658/stat : 5658 (java) S 5619 5619 2982 0 -1 1077944384 319 0 0 0 7 0 0 0 20 0 24 0 418371618 8616062976 29632 33554432000 4194304 4196468 140734173877600 140400108661104 140401152625282 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35291136 140734173881336 140734173881494 140734173881494 140734173884367 0
[pid=5642/tid=5659] ppid=5619 vsize=8414124 memory=2244 CPUtime=0.19 cores=0-7
/proc/5642/task/5659/stat : 5659 (java) S 5619 5619 2982 0 -1 1077944384 615 0 0 0 19 0 0 0 20 0 24 0 418371618 8616062976 29632 33554432000 4194304 4196468 140734173877600 140400107608304 140401152625282 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35291136 140734173881336 140734173881494 140734173881494 140734173884367 0
[pid=5642/tid=5660] ppid=5619 vsize=8414124 memory=1052 CPUtime=0 cores=0-7
/proc/5642/task/5660/stat : 5660 (java) S 5619 5619 2982 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418371618 8616062976 29632 33554432000 4194304 4196468 140734173877600 140398722804576 140401152624341 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35291136 140734173881336 140734173881494 140734173881494 140734173884367 0
[pid=5642/tid=5661] ppid=5619 vsize=8414124 memory=7686721470267300760 CPUtime=0.06 cores=0-7
/proc/5642/task/5661/stat : 5661 (java) S 5619 5619 2982 0 -1 1077944384 7 0 0 0 3 3 0 0 20 0 24 0 418371619 8616062976 29632 33554432000 4194304 4196468 140734173877600 140400106556208 140401152625282 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35291136 140734173881336 140734173881494 140734173881494 140734173884367 0
[pid=5642/tid=5663] ppid=5619 vsize=8414124 memory=288230604657656139 CPUtime=0 cores=0-7
/proc/5642/task/5663/stat : 5663 (java) S 5619 5619 2982 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 418371684 8616062976 29632 33554432000 4194304 4196468 140734173877600 140400098522944 140401152638745 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 35291136 140734173881336 140734173881494 140734173881494 140734173884367 0
[pid=5642/tid=5665] ppid=5619 vsize=8414124 memory=16097057244974656 CPUtime=0 cores=0-7
/proc/5642/task/5665/stat : 5665 (java) S 5619 5619 2982 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 24 0 418371684 8616062976 29632 33554432000 4194304 4196468 140734173877600 140398051704208 140401152636061 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 35291136 140734173881336 140734173881494 140734173881494 140734173884367 0
[pid=5642/tid=5666] ppid=5619 vsize=8414124 memory=-1807685287717842718 CPUtime=0 cores=0-7
/proc/5642/task/5666/stat : 5666 (java) S 5619 5619 2982 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 418371684 8616062976 29632 33554432000 4194304 4196468 140734173877600 140398320139536 140401152636061 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 35291136 140734173881336 140734173881494 140734173881494 140734173884367 0
[pid=5642/tid=5667] ppid=5619 vsize=8414124 memory=6655300316396806240 CPUtime=0 cores=0-7
/proc/5642/task/5667/stat : 5667 (java) S 5619 5619 2982 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 418371686 8616062976 29632 33554432000 4194304 4196468 140734173877600 140397783276848 140401152624341 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35291136 140734173881336 140734173881494 140734173881494 140734173884367 0
Current children cumulated CPU time: 521.31 s
Current children cumulated vsize: 9211604 KiB
Current children cumulated memory: 405448 KiB

[startup+69.3011 s]
/proc/loadavg: 6.11 6.87 6.01 2/223 5679
/proc/meminfo: memFree=31257692/32770624 swapFree=67009600/67108860
[pid=5619] ppid=5616 vsize=113128 memory=1476 CPUtime=9.34 cores=0-7
/proc/5619/stat : 5619 (scop.sh) S 5616 5619 2982 0 -1 4202496 583 28627 0 0 0 0 909 25 20 0 1 0 418371283 115843072 369 33554432000 4194304 5098028 140728847115008 140728847111752 139853444067964 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 13320192 140728847123236 140728847123564 140728847123564 140728847126477 0
/proc/5619/statm: 28282 369 311 221 0 87 0
[pid=5642] ppid=5619 vsize=8414124 memory=118528 CPUtime=1.19 cores=0-7
/proc/5642/stat : 5642 (java) S 5619 5619 2982 0 -1 1077944320 19630 0 0 0 112 7 0 0 20 0 24 0 418371612 8616062976 29632 33554432000 4194304 4196468 140734173877600 140734173860144 140401152614135 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35291136 140734173881336 140734173881494 140734173881494 140734173884367 0
/proc/5642/statm: 2103531 29632 3209 1 0 2064875 0
[pid=5642/tid=5643] ppid=5619 vsize=8414124 memory=1476 CPUtime=0.74 cores=0-7
/proc/5642/task/5643/stat : 5643 (java) S 5619 5619 2982 0 -1 1077944384 16410 0 0 0 69 5 0 0 20 0 24 0 418371612 8616062976 29632 33554432000 4194304 4196468 140734173877600 140401124454304 140401152624341 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35291136 140734173881336 140734173881494 140734173881494 140734173884367 0
[pid=5642/tid=5644] ppid=5619 vsize=8414124 memory=6075463926023344208 CPUtime=0 cores=0-7
/proc/5642/task/5644/stat : 5644 (java) S 5619 5619 2982 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418371613 8616062976 29632 33554432000 4194304 4196468 140734173877600 140401156856720 140401152624341 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35291136 140734173881336 140734173881494 140734173881494 140734173884367 0
[pid=5642/tid=5645] ppid=5619 vsize=8414124 memory=6075463926023344208 CPUtime=0 cores=0-7
/proc/5642/task/5645/stat : 5645 (java) S 5619 5619 2982 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418371613 8616062976 29632 33554432000 4194304 4196468 140734173877600 140400957025040 140401152624341 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35291136 140734173881336 140734173881494 140734173881494 140734173884367 0
[pid=5642/tid=5646] ppid=5619 vsize=8414124 memory=5429 CPUtime=0 cores=0-7
/proc/5642/task/5646/stat : 5646 (java) S 5619 5619 2982 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418371613 8616062976 29632 33554432000 4194304 4196468 140734173877600 140400955972752 140401152624341 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35291136 140734173881336 140734173881494 140734173881494 140734173884367 0
[pid=5642/tid=5647] ppid=5619 vsize=8414124 memory=5425 CPUtime=0 cores=0-7
/proc/5642/task/5647/stat : 5647 (java) S 5619 5619 2982 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418371613 8616062976 29632 33554432000 4194304 4196468 140734173877600 140400954919952 140401152624341 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35291136 140734173881336 140734173881494 140734173881494 140734173884367 0
[pid=5642/tid=5648] ppid=5619 vsize=8414124 memory=1600 CPUtime=0 cores=0-7
/proc/5642/task/5648/stat : 5648 (java) S 5619 5619 2982 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418371613 8616062976 29632 33554432000 4194304 4196468 140734173877600 140400953866640 140401152624341 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35291136 140734173881336 140734173881494 140734173881494 140734173884367 0
[pid=5642/tid=5649] ppid=5619 vsize=8414124 memory=1398722017469774279 CPUtime=0 cores=0-7
/proc/5642/task/5649/stat : 5649 (java) S 5619 5619 2982 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418371613 8616062976 29632 33554432000 4194304 4196468 140734173877600 140400952813840 140401152624341 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35291136 140734173881336 140734173881494 140734173881494 140734173884367 0
[pid=5642/tid=5650] ppid=5619 vsize=8414124 memory=-8253362762722141311 CPUtime=0 cores=0-7
/proc/5642/task/5650/stat : 5650 (java) S 5619 5619 2982 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418371613 8616062976 29632 33554432000 4194304 4196468 140734173877600 140400951761552 140401152624341 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35291136 140734173881336 140734173881494 140734173881494 140734173884367 0
[pid=5642/tid=5651] ppid=5619 vsize=8414124 memory=-8412656567318647667 CPUtime=0 cores=0-7
/proc/5642/task/5651/stat : 5651 (java) S 5619 5619 2982 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418371613 8616062976 29632 33554432000 4194304 4196468 140734173877600 140400950708752 140401152624341 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35291136 140734173881336 140734173881494 140734173881494 140734173884367 0
[pid=5642/tid=5652] ppid=5619 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/5642/task/5652/stat : 5652 (java) S 5619 5619 2982 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 418371615 8616062976 29632 33554432000 4194304 4196468 140734173877600 140400111819376 140401152625282 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35291136 140734173881336 140734173881494 140734173881494 140734173884367 0
[pid=5642/tid=5653] ppid=5619 vsize=8414124 memory=117924 CPUtime=0 cores=0-7
/proc/5642/task/5653/stat : 5653 (java) S 5619 5619 2982 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 418371615 8616062976 29632 33554432000 4194304 4196468 140734173877600 140399729435936 140401152624341 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35291136 140734173881336 140734173881494 140734173881494 140734173884367 0
[pid=5642/tid=5654] ppid=5619 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/5642/task/5654/stat : 5654 (java) S 5619 5619 2982 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 418371616 8616062976 29632 33554432000 4194304 4196468 140734173877600 140399595214448 140401152624341 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35291136 140734173881336 140734173881494 140734173881494 140734173884367 0
[pid=5642/tid=5655] ppid=5619 vsize=8414124 memory=117924 CPUtime=0 cores=0-7
/proc/5642/task/5655/stat : 5655 (java) S 5619 5619 2982 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418371618 8616062976 29632 33554432000 4194304 4196468 140734173877600 140399220709968 140401152632731 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35291136 140734173881336 140734173881494 140734173881494 140734173884367 0
[pid=5642/tid=5656] ppid=5619 vsize=8414124 memory=192976 CPUtime=0.04 cores=0-7
/proc/5642/task/5656/stat : 5656 (java) S 5619 5619 2982 0 -1 1077944384 517 0 0 0 4 0 0 0 20 0 24 0 418371618 8616062976 29632 33554432000 4194304 4196468 140734173877600 140400110766192 140401152625282 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35291136 140734173881336 140734173881494 140734173881494 140734173884367 0
[pid=5642/tid=5657] ppid=5619 vsize=8414124 memory=1476 CPUtime=0.05 cores=0-7
/proc/5642/task/5657/stat : 5657 (java) S 5619 5619 2982 0 -1 1077944384 330 0 0 0 5 0 0 0 20 0 24 0 418371618 8616062976 29632 33554432000 4194304 4196468 140734173877600 140400109713488 140401152624341 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35291136 140734173881336 140734173881494 140734173881494 140734173884367 0
[pid=5642/tid=5658] ppid=5619 vsize=8414124 memory=3484 CPUtime=0.07 cores=0-7
/proc/5642/task/5658/stat : 5658 (java) R 5619 5619 2982 0 -1 1077944384 319 0 0 0 7 0 0 0 20 0 24 0 418371618 8616062976 29632 33554432000 4194304 4196468 140734173877600 140400108661104 140401152625282 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35291136 140734173881336 140734173881494 140734173881494 140734173884367 0
[pid=5642/tid=5659] ppid=5619 vsize=8414124 memory=17828 CPUtime=0.2 cores=0-7
/proc/5642/task/5659/stat : 5659 (java) R 5619 5619 2982 0 -1 4202560 627 0 0 0 20 0 0 0 20 0 24 0 418371618 8616062976 29632 33554432000 4194304 4196468 140734173877600 140400107608304 140401136854333 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35291136 140734173881336 140734173881494 140734173881494 140734173884367 0
[pid=5642/tid=5660] ppid=5619 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/5642/task/5660/stat : 5660 (java) S 5619 5619 2982 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418371618 8616062976 29632 33554432000 4194304 4196468 140734173877600 140398722804576 140401152624341 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35291136 140734173881336 140734173881494 140734173881494 140734173884367 0
[pid=5642/tid=5661] ppid=5619 vsize=8414124 memory=118528 CPUtime=0.06 cores=0-7
/proc/5642/task/5661/stat : 5661 (java) S 5619 5619 2982 0 -1 1077944384 7 0 0 0 3 3 0 0 20 0 24 0 418371619 8616062976 29632 33554432000 4194304 4196468 140734173877600 140400106556208 140401152625282 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35291136 140734173881336 140734173881494 140734173881494 140734173884367 0
[pid=5642/tid=5663] ppid=5619 vsize=8414124 memory=287416 CPUtime=0 cores=0-7
/proc/5642/task/5663/stat : 5663 (java) S 5619 5619 2982 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 418371684 8616062976 29632 33554432000 4194304 4196468 140734173877600 140400098522944 140401152638745 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 35291136 140734173881336 140734173881494 140734173881494 140734173884367 0
[pid=5642/tid=5665] ppid=5619 vsize=8414124 memory=2120 CPUtime=0.01 cores=0-7
/proc/5642/task/5665/stat : 5665 (java) R 5619 5619 2982 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 24 0 418371684 8616062976 29632 33554432000 4194304 4196468 140734173877600 140398051711792 140734174128066 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35291136 140734173881336 140734173881494 140734173881494 140734173884367 0
[pid=5642/tid=5666] ppid=5619 vsize=8414124 memory=520 CPUtime=0 cores=0-7
/proc/5642/task/5666/stat : 5666 (java) S 5619 5619 2982 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 418371684 8616062976 29632 33554432000 4194304 4196468 140734173877600 140398320139536 140401152636061 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 35291136 140734173881336 140734173881494 140734173881494 140734173884367 0
[pid=5642/tid=5667] ppid=5619 vsize=8414124 memory=1560 CPUtime=0 cores=0-7
/proc/5642/task/5667/stat : 5667 (java) S 5619 5619 2982 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 418371686 8616062976 29632 33554432000 4194304 4196468 140734173877600 140397783276848 140401152624341 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35291136 140734173881336 140734173881494 140734173881494 140734173884367 0
Current children cumulated CPU time: 10.53 s
Current children cumulated vsize: 8527252 KiB
Current children cumulated memory: 120004 KiB

Child status: 0
Real time (s): 69.3405
CPU time (s): 521.533
CPU user time (s): 520.668
CPU system time (s): 0.8648
CPU usage (%): 752.133
Max. virtual memory (cumulated for all children) (KiB): 27441876
Max. memory (cumulated for all children) (KiB): 917808

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 520.668
system time used= 0.8648
maximum resident set size= 924376
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 285130
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4336
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 10909
involuntary context switches= 5757


# summary of solver processes directly reported to runsolver:
#   pid: 5619
#   total CPU time (s): 521.533
#   total CPU user time (s): 520.668
#   total CPU system time (s): 0.8648

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.620512 second user time and 1.04885 second system time

The end

Launcher Data 

Begin job on node132 at 2019-09-14 03:27:16
IDJOB=4392661
IDBENCH=124313
IDSOLVER=2839
FILE ID=node132/4392661-1568424486
RUNJOBID= node132-1568417633-3009
PBS_JOBID= 21702279
Free space on /tmp= 61624 MiB

SOLVER NAME= Fun-sCOP hybrid+ManyGlucose (2019-06-15)
BENCH NAME= XCSP17/Langford/Langford-m1-k4/Langford-4-16.xml
COMMAND LINE= DIR/scop.sh 22g DIR/scop.jar -hybrid DIR/manyglucose-4.1-27_release -model:-nthreads=NBCORE:-maxmemory=20000:-lit-scans=6000000 TMPDIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4392661-1568424486/watcher-4392661-1568424486 -o /tmp/evaluation-result-4392661-1568424486/solver-4392661-1568424486 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node132-1568417633-3009 --watchdog 2580  HOME/scop.sh 22g HOME/scop.jar -hybrid HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4392661-1568424486.xml

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

MD5SUM BENCH= a550bb6a39ca50ab9210b9c0283e2640
RANDOM SEED=1307732246

node132.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.95
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.95
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.95
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.95
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:        31648552 kB
MemAvailable:   31916016 kB
Buffers:           62960 kB
Cached:           483868 kB
SwapCached:         6296 kB
Active:           403432 kB
Inactive:         151040 kB
Active(anon):       4356 kB
Inactive(anon):    31336 kB
Active(file):     399076 kB
Inactive(file):   119704 kB
Unevictable:      109584 kB
Mlocked:          109584 kB
SwapTotal:      67108860 kB
SwapFree:       67009596 kB
Dirty:             20716 kB
Writeback:             0 kB
AnonPages:        112964 kB
Mapped:            31800 kB
Shmem:             19444 kB
Slab:             158676 kB
SReclaimable:     129040 kB
SUnreclaim:        29636 kB
KernelStack:        3440 kB
PageTables:         5540 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     476856 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:      136576 kB
DirectMap2M:    33409024 kB

Free space on /tmp at the end= 61604 MiB
End job on node132 at 2019-09-14 03:28:26