Trace number 4405184

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

NameQRandom/
QRandom-geometric-rw/geometric-50-20-d4-75-94.xml
MD5SUM6d6d0435d13d3ff0671cf8a5c787b057
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 benchmark48.6477
Satisfiable
(Un)Satisfiability was proved
Number of variables50
Number of constraints496
Number of domains1
Minimum domain size20
Maximum domain size20
Distribution of domain sizes[{"size":20,"count":50}]
Minimum variable degree7
Maximum variable degree30
Distribution of variable degrees[{"degree":7,"count":2},{"degree":8,"count":1},{"degree":9,"count":1},{"degree":12,"count":1},{"degree":13,"count":2},{"degree":14,"count":3},{"degree":15,"count":3},{"degree":16,"count":6},{"degree":17,"count":1},{"degree":18,"count":1},{"degree":19,"count":2},{"degree":20,"count":2},{"degree":21,"count":7},{"degree":23,"count":1},{"degree":24,"count":2},{"degree":25,"count":4},{"degree":26,"count":2},{"degree":27,"count":3},{"degree":29,"count":4},{"degree":30,"count":2}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":496}]
Number of extensional constraints496
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":496}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c (scop.sh) java -Xms22g -Xmx22g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Encode -order -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-5078-serial-file.bin HOME/instance-4405184-1569335994.xml
0.66/0.55	
0.66/0.55	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
0.66/0.55	
0.66/0.57	c BEGIN-Prog: Tue Sep 24 15:29:31 CEST 2019
0.66/0.57	c PID: 5081
0.66/0.57	c IP: 172.20.3.104
0.66/0.57	c HOST: node104.alineos.net
0.66/0.58	c (0,0) Parsing Begin
3.00/1.21	c (0,0) Parsing End
3.00/1.21	c (0,0) CSP: 50 int (0 aux), 0 bool (0 aux), 496 ctr, max domain size 20
3.00/1.22	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB)
3.00/1.22	c (0,0) Constraint Name Generate Begin
3.00/1.23	c (0,0) Ctr:HOME/instance-4405184-1569335994.xml,ExtensionConflict:Var
3.00/1.23	c (0,0) Constraint Name Generate End
3.00/1.23	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB)
3.00/1.23	c (0,0) CSP to CSPinCNF Begin
5.80/2.01	c (1,1) translated 50 (10%) constraints
6.99/2.32	c (1,1) translated 100 (20%) constraints
8.20/2.61	c (2,2) translated 149 (30%) constraints
9.40/2.91	c (2,2) translated 199 (40%) constraints
10.25/3.17	c (2,2) translated 248 (50%) constraints
10.57/3.37	c (2,2) translated 298 (60%) constraints
10.80/3.56	c (3,3) translated 348 (70%) constraints
11.01/3.75	c (3,3) translated 397 (80%) constraints
11.24/3.95	c (3,3) translated 447 (90%) constraints
11.47/4.14	c (3,3) translated 496 (100%) constraints
11.47/4.15	c (3,3) ===========================================
11.47/4.15	c (3,3) Order
11.47/4.15	c (3,3) ===========================================
11.61/4.26	c (3,3) translated 3772 (10%) constraints
11.79/4.35	c (3,3) translated 7544 (20%) constraints
12.04/4.44	c (3,3) translated 11315 (30%) constraints
12.14/4.52	c (3,3) translated 15087 (40%) constraints
12.24/4.60	c (4,4) translated 18858 (50%) constraints
12.24/4.69	c (4,4) translated 22630 (60%) constraints
12.34/4.77	c (4,4) translated 26402 (70%) constraints
12.44/4.85	c (4,4) translated 30173 (80%) constraints
12.54/4.94	c (4,4) translated 33945 (90%) constraints
12.65/5.02	c (4,4) translated 37716 (100%) constraints
12.65/5.02	c (4,4) CSP to CSPinCNF End
12.65/5.02	c (4,4) CSP: 50 int (0 aux), 0 bool (0 aux), 37716 ctr, max domain size 20
12.65/5.02	c (4,4) Heap : 1576 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB)
12.65/5.02	c (4,4) CSPinCNF Propagation Begin
13.39/5.32	c (4,4) 0 values, 4251 unsatisfiable literals, and 0 valid clauses are removed
13.39/5.32	c (4,4) CSPinCNF Propagation End
13.39/5.32	c (4,4) CSP: 50 int (0 aux), 0 bool (0 aux), 37716 ctr, max domain size 20
13.39/5.32	c (4,4) Heap : 1802 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
13.39/5.32	c (4,4) Simplify CSPinCNF Begin
13.58/5.45	c (4,4) Simplify CSPinCNF End
13.58/5.45	c (4,4) CSP: 50 int (0 aux), 0 bool (0 aux), 37716 ctr, max domain size 20
13.58/5.45	c (4,4) Heap : 1802 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
13.58/5.45	c (4,4) Calculate Precise Domain Begin
13.58/5.45	c (4,4) 0 values are removed by re-calculation
13.58/5.45	c (4,4) Calculate Precise Domain End
13.58/5.45	c (4,4) CSP: 50 int (0 aux), 0 bool (0 aux), 37716 ctr, max domain size 20
13.58/5.45	c (4,4) Heap : 1802 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
13.58/5.45	c (4,4) CSPinCNF to SatSolver Begin
14.13/5.67	c (5,5) 3772 (10 %) CSP clauses are encoded (0 SAT variables, 4671 SAT clauses)
14.52/5.76	c (5,5) 7544 (20 %) CSP clauses are encoded (0 SAT variables, 8443 SAT clauses)
14.90/5.81	c (5,5) 11315 (30 %) CSP clauses are encoded (0 SAT variables, 12214 SAT clauses)
14.90/5.86	c (5,5) 15087 (40 %) CSP clauses are encoded (0 SAT variables, 15986 SAT clauses)
15.03/5.90	c (5,5) 18858 (50 %) CSP clauses are encoded (0 SAT variables, 19757 SAT clauses)
15.03/5.95	c (5,5) 22630 (60 %) CSP clauses are encoded (0 SAT variables, 23529 SAT clauses)
15.03/5.99	c (5,5) 26402 (70 %) CSP clauses are encoded (0 SAT variables, 27301 SAT clauses)
15.14/6.04	c (5,5) 30173 (80 %) CSP clauses are encoded (0 SAT variables, 31072 SAT clauses)
15.14/6.08	c (5,5) 33945 (90 %) CSP clauses are encoded (0 SAT variables, 34844 SAT clauses)
15.25/6.13	c (5,5) 37716 (100 %) CSP clauses are encoded (0 SAT variables, 38615 SAT clauses)
15.25/6.13	c (5,5) CSPinCNF to SatSolver End
15.25/6.13	c (5,5) Heap : 2252 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
15.25/6.13	c (5,5) 950 bool, 38616 clause
15.25/6.13	c (5,5) Export Begin
15.41/6.22	c (5,5) Export to HOME/scop-5078-serial-file.bin
15.41/6.22	c (5,5) Export End
15.41/6.22	c (5,5) Export File Size: 0.01 MB
15.41/6.22	c (5,5) 0,0,4,4,4,4,5,STOP-AFTER(DIMACS)
15.41/6.22	c END-Prog: Tue Sep 24 15:29:37 CEST 2019
15.41/6.25	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-5078-serial-file.bin
15.48/6.71	c (0,0) Read Serial File Begin
15.48/6.71	c (0,0) HOME/scop-5078-serial-file.bin
15.48/6.92	c (0,0) Read Serial File End
15.48/6.93	
15.48/6.93	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
15.48/6.93	(Solving Process)
15.48/6.93	
15.48/6.95	c BEGIN-Prog: Tue Sep 24 15:29:38 CEST 2019
15.48/6.95	c PID: 5101
15.48/6.95	c IP: 172.20.3.104
15.48/6.95	c HOST: node104.alineos.net
15.48/6.96	c (0,0) SatSolver.solve Begin
15.48/6.96	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4405184-1569335994.xml-scop-5081.cnf
15.48/6.98	c (0,0) c
15.48/6.98	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)
15.48/6.99	c (0,0) c
15.48/6.99	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
15.48/6.99	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
15.48/6.99	c (0,0) c ========================================[ Problem Statistics ]===========================================
15.48/6.99	c (0,0) c |                                                                                                       |
15.48/6.99	c (0,0) c |  Number of variables:           950                                                                   |
15.48/6.99	c (0,0) c |  Number of clauses:           38616                                                                   |
15.48/6.99	c (0,0) c |  Parse time:                   0.01 s                                                                 |
15.48/6.99	c (0,0) c |                                                                                                       |
16.62/7.04	c (0,0) c |  Simplification time:          0.04 s                                                                 |
16.62/7.04	c (0,0) c |                                                                                                       |
16.62/7.04	c (0,0) c |  Generating clones                                                                                    |
16.62/7.05	c (0,0) c |  all clones generated. Memory =    42.06Mb.                                                           |
16.62/7.05	c (0,0) c ========================================================================================================|
16.62/7.05	c (0,0) c
16.62/7.05	c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
16.62/7.05	c (0,0) c
16.62/7.05	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
16.62/7.05	c (0,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
16.62/7.05	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
16.62/7.05	c (0,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
16.62/7.05	c (0,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
16.62/7.05	c (0,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
16.62/7.05	c (0,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
16.62/7.05	c (0,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
16.62/7.05	c (0,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
16.62/7.05	c (0,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
16.62/7.05	c (0,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
16.62/7.05	c (0,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
16.62/7.05	c (0,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
16.62/7.05	c (0,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
16.62/7.05	c (0,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
16.62/7.05	c (0,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
16.62/7.05	c (0,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
16.62/7.05	c (0,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
16.62/7.05	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
249.02/36.59	c (29,0) c
249.02/36.59	c (29,0) c |------------------------------------------------------------------------------------------------------------------------|
249.02/36.59	c (29,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
249.02/36.59	c (29,0) c |------------------------------------------------------------------------------------------------------------------------|
249.02/36.59	c (29,0) c |  0 |    141 |     544776 |     452687 |    50333 |     2436 |    55140 |   229544 |     4661 |      509 |  20 |  0.848 |
249.02/36.59	c (29,0) c |  1 |     49 |     405092 |     337872 |    28946 |    65541 |    35565 |   224017 |    14514 |      501 |  20 |  0.211 |
249.02/36.59	c (29,0) c |  2 |     88 |     406892 |     338315 |    27368 |    37826 |    33199 |   248525 |    14909 |      503 |  20 |  1.054 |
249.02/36.59	c (29,0) c |  3 |     95 |     406854 |     340027 |    27406 |    53323 |    36907 |   239202 |    15872 |      489 |  20 |  0.843 |
249.02/36.59	c (29,0) c |  4 |     70 |     427005 |     355781 |    26607 |    37843 |    33341 |   242697 |    14254 |      500 |  20 |  0.737 |
249.02/36.59	c (29,0) c |  5 |     62 |     400539 |     333457 |    27068 |    63619 |    30165 |   253377 |    15636 |      509 |  20 |  0.843 |
249.02/36.59	c (29,0) c |  6 |    235 |     407772 |     338502 |    26677 |    61842 |    32086 |   242330 |    14548 |      489 |  20 |  0.738 |
249.02/36.59	c (29,0) c |  7 |    103 |     394140 |     328240 |    26504 |    53744 |    31291 |   245493 |    14772 |      493 |  20 |  0.738 |
249.02/36.59	c (29,0) c 
249.02/36.59	c (29,0) c synthesis     2824881 conflicts   292569751 propagations    12141 conflicts/sec  1257478 propagations/sec
249.02/36.59	c (29,0) c real: 29.6099 s, cpu: 232.664 s, memory: 650.50 Mb
300.44/43.58	c (36,0) c
300.44/43.58	c (36,0) c real time : 36.6027 s
300.44/43.58	c (36,0) c cpu time  : 283.424 s
300.44/43.58	c (36,0) c
300.44/43.58	c (36,0) c
300.44/43.58	c (36,0) c
300.44/43.58	c (36,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
300.44/43.58	c (36,0) c
300.44/43.58	c (36,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
300.44/43.58	c (36,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
300.44/43.58	c (36,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
300.44/43.58	c (36,0) c | Conflicts     |         3338160 |     535925 |     403950 |     399544 |     411082 |     417158 |     382647 |     401489 |     386365 |
300.44/43.58	c (36,0) c | Decisions     |         4001401 |     643586 |     482985 |     479583 |     490940 |     499734 |     458950 |     482866 |     462757 |
300.44/43.58	c (36,0) c | Propagations  |       344072346 |   56485365 |   41861846 |   40565691 |   42304942 |   42312923 |   39226921 |   41402654 |   39912004 |
300.44/43.58	c (36,0) c | ReduceDBs     |             342 |        225 |         17 |         17 |         17 |         17 |         16 |         17 |         16 |
300.44/43.58	c (36,0) c | SimpDBs       |              77 |         15 |          9 |          7 |         10 |          9 |          7 |         11 |          9 |
300.44/43.58	c (36,0) c | Restarts      |             917 |        146 |         55 |        104 |        101 |         81 |         73 |        244 |        113 |
300.44/43.58	c (36,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
300.44/43.58	c (36,0) c | PropBinClauses|       333987680 |   54816923 |   40357795 |   39338723 |   40951928 |   41280463 |   38257639 |   40213694 |   38770515 |
300.44/43.58	c (36,0) c | PropPreBlocker|     22070308077 | 2760287662 | 2748689787 | 2761945888 | 2718648543 | 2744602283 | 2809890639 | 2740556861 | 2785686414 |
300.44/43.58	c (36,0) c | PropNotBlocker|      3320667614 |  470393050 |  415184051 |  412392969 |  432655256 |  410374863 |  384590739 |  409043273 |  386033413 |
300.44/43.58	c (36,0) c | LitFullScans  |     29215818965 | 3665711776 | 3653171793 | 3648305827 | 3644402589 | 3648354239 | 3666370436 | 3641145017 | 3648357288 |
300.44/43.58	c (36,0) c | LitScanFracts |         2920585 |     186378 |     461416 |     301886 |     378624 |     344954 |     362693 |     535829 |     348805 |
300.44/43.58	c (36,0) c | DecisionLevel0|            1001 |        166 |         76 |        105 |        119 |         83 |         74 |        264 |        114 |
300.44/43.58	c (36,0) c | Periods       |            4866 |        610 |        608 |        608 |        607 |        608 |        611 |        606 |        608 |
300.44/43.58	c (36,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
300.44/43.58	c (36,0) c | Avg_Trail     |                 |        354 |        358 |        350 |        352 |        352 |        352 |        351 |        352 |
300.44/43.58	c (36,0) c | Avg_DL        |                 |         12 |         12 |         12 |         12 |         12 |         12 |         11 |         12 |
300.44/43.58	c (36,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
300.44/43.58	c (36,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
300.44/43.59	c (36,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
300.44/43.59	c (36,0) c | Exported      |          332909 |      66967 |      39759 |      37167 |      41465 |      37807 |      34881 |      38177 |      36686 |
300.44/43.59	c (36,0) c | Imported      |         2204194 |     257742 |     281984 |     274991 |     279801 |     273447 |     272250 |     283168 |     280811 |
300.44/43.59	c (36,0) c | Good          |            1885 |        264 |        277 |        218 |        221 |        193 |        179 |        279 |        254 |
300.44/43.59	c (36,0) c | Purge         |         2202309 |     257478 |     281707 |     274773 |     279580 |     273254 |     272071 |     282889 |     280557 |
300.44/43.59	c (36,0) c | Promoted      |          136591 |       5261 |      17687 |      18153 |      19603 |      18170 |      19293 |      19007 |      19417 |
300.44/43.59	c (36,0) c | Remove_Imp    |         1502088 |     235976 |     198846 |     183955 |     195607 |     176676 |     162802 |     176573 |     171653 |
300.44/43.59	c (36,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
300.44/43.59	c (36,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
300.44/43.59	c (36,0) c | Unaries       |                 |         20 |         21 |          1 |         18 |          2 |          1 |         20 |          1 |
300.44/43.59	c (36,0) c | Binaries      |                 |        102 |         82 |         31 |        151 |         28 |         24 |        108 |         24 |
300.44/43.59	c (36,0) c | Glues         |                 |        732 |        515 |        457 |        613 |        452 |        459 |        567 |        465 |
300.44/43.59	c (36,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
300.44/43.59	c (36,0) c | Orig_Seen     |           100 % |      58560 |      29155 |      27435 |      27517 |      26725 |      27115 |      26747 |      26642 |
300.44/43.59	c (36,0) c | Diff Orig seen|                 |      31813 |       2408 |        688 |        770 | -       22 |        368 |      X     | -      105 |
300.44/43.59	c (36,0) c | Hamming       |            19 % |        191 |        179 |        188 |        186 |        171 |        201 |      X     |        161 |
300.44/43.59	c (36,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
300.44/43.59	c (36,0) c | RunningTime   |                 |   33.7  94%|   35.4  99%|   35.4  99%|   36.4 100%|   35.9 100%|   34.9  98%|   36.4 100%|   35.7  99%|
300.44/43.59	c (36,0) c | WaitingTime   |                 |    1.9   5%|    0.2   0%|    0.2   1%|    0.0   0%|    0.0   0%|    0.7   2%|    0.0   0%|    0.4   1%|
300.44/43.59	c (36,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%|
300.44/43.59	c (36,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%|
300.44/43.59	c (36,0) c | SolvingTime   |                 |   35.6     |   35.7     |   35.7     |   36.5     |   36.1     |   35.6     |   36.5     |   36.1     |
300.44/43.59	c (36,0) c | PropagationTim|                 |   30.7  86%|   32.3  90%|   32.2  90%|   32.5  89%|   32.4  90%|   31.7  89%|   32.4  89%|   32.6  90%|
300.44/43.59	c (36,0) c | AnalysisTime  |                 |    3.1   9%|    2.3   6%|    2.4   7%|    2.8   8%|    2.5   7%|    2.8   8%|    2.9   8%|    2.4   7%|
300.44/43.59	c (36,0) c | ReductionTime |                 |    0.8   2%|    0.5   1%|    0.5   1%|    0.4   1%|    0.5   1%|    0.4   1%|    0.5   1%|    0.5   1%|
300.44/43.59	c (36,0) c | SimplifyTime  |                 |    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|
300.44/43.59	c (36,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%|
300.44/43.59	c (36,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%|
300.44/43.59	c (36,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
300.44/43.59	c (36,0) c
300.44/43.59	c (36,0) c
300.44/43.59	c (36,0) c Threads : 8
300.44/43.59	c (36,0) c Winner : 6
300.44/43.59	c (36,0) c Conflicts_0 : 535925
300.44/43.59	c (36,0) c Conflicts_1 : 403950
300.44/43.59	c (36,0) c Conflicts_2 : 399544
300.44/43.59	c (36,0) c Conflicts_3 : 411082
300.44/43.59	c (36,0) c Conflicts_4 : 417158
300.44/43.59	c (36,0) c Conflicts_5 : 382647
300.44/43.59	c (36,0) c Conflicts_6 : 401489
300.44/43.59	c (36,0) c Conflicts_7 : 386365
300.44/43.59	c (36,0) c Conflicts_total : 3338160
300.44/43.59	c (36,0) c Conflicts_winner : 401489
300.44/43.59	c (36,0) c Decisions_0 : 643586
300.44/43.59	c (36,0) c Decisions_1 : 482985
300.44/43.59	c (36,0) c Decisions_2 : 479583
300.44/43.59	c (36,0) c Decisions_3 : 490940
300.44/43.59	c (36,0) c Decisions_4 : 499734
300.44/43.59	c (36,0) c Decisions_5 : 458950
300.44/43.59	c (36,0) c Decisions_6 : 482866
300.44/43.59	c (36,0) c Decisions_7 : 462757
300.44/43.59	c (36,0) c Decisions_total : 4001401
300.44/43.59	c (36,0) c Decisions_winner : 482866
300.44/43.59	c (36,0) c Propagations_0 : 56485365
300.44/43.59	c (36,0) c Propagations_1 : 41861846
300.44/43.59	c (36,0) c Propagations_2 : 40565691
300.44/43.59	c (36,0) c Propagations_3 : 42304942
300.44/43.59	c (36,0) c Propagations_4 : 42312923
300.44/43.59	c (36,0) c Propagations_5 : 39226921
300.44/43.59	c (36,0) c Propagations_6 : 41402654
300.44/43.59	c (36,0) c Propagations_7 : 39912004
300.44/43.59	c (36,0) c Propagations_total : 344072346
300.44/43.59	c (36,0) c Propagations_winner : 41402654
300.44/43.59	c (36,0) c ReduceDBs_0 : 225
300.44/43.59	c (36,0) c ReduceDBs_1 : 17
300.44/43.59	c (36,0) c ReduceDBs_2 : 17
300.44/43.59	c (36,0) c ReduceDBs_3 : 17
300.44/43.59	c (36,0) c ReduceDBs_4 : 17
300.44/43.59	c (36,0) c ReduceDBs_5 : 16
300.44/43.59	c (36,0) c ReduceDBs_6 : 17
300.44/43.59	c (36,0) c ReduceDBs_7 : 16
300.44/43.59	c (36,0) c ReduceDBs_total : 342
300.44/43.59	c (36,0) c ReduceDBs_winner : 17
300.44/43.59	c (36,0) c SimpDBs_0 : 15
300.44/43.59	c (36,0) c SimpDBs_1 : 9
300.44/43.59	c (36,0) c SimpDBs_2 : 7
300.44/43.59	c (36,0) c SimpDBs_3 : 10
300.44/43.59	c (36,0) c SimpDBs_4 : 9
300.44/43.59	c (36,0) c SimpDBs_5 : 7
300.44/43.59	c (36,0) c SimpDBs_6 : 11
300.44/43.59	c (36,0) c SimpDBs_7 : 9
300.44/43.59	c (36,0) c SimpDBs_total : 77
300.44/43.59	c (36,0) c SimpDBs_winner : 11
300.44/43.59	c (36,0) c Restarts_0 : 146
300.44/43.59	c (36,0) c Restarts_1 : 55
300.44/43.59	c (36,0) c Restarts_2 : 104
300.44/43.59	c (36,0) c Restarts_3 : 101
300.44/43.59	c (36,0) c Restarts_4 : 81
300.44/43.59	c (36,0) c Restarts_5 : 73
300.44/43.59	c (36,0) c Restarts_6 : 244
300.44/43.59	c (36,0) c Restarts_7 : 113
300.44/43.59	c (36,0) c Restarts_total : 917
300.44/43.59	c (36,0) c Restarts_winner : 244
300.44/43.59	c (36,0) c ForcedImports_0 : 0
300.44/43.59	c (36,0) c ForcedImports_1 : 0
300.44/43.59	c (36,0) c ForcedImports_2 : 0
300.44/43.59	c (36,0) c ForcedImports_3 : 0
300.44/43.59	c (36,0) c ForcedImports_4 : 0
300.44/43.59	c (36,0) c ForcedImports_5 : 0
300.44/43.59	c (36,0) c ForcedImports_6 : 0
300.44/43.59	c (36,0) c ForcedImports_7 : 0
300.44/43.59	c (36,0) c ForcedImports_total : 0
300.44/43.59	c (36,0) c ForcedImports_winner : 0
300.44/43.59	c (36,0) c PropsBinClauses_0 : 54816923
300.44/43.59	c (36,0) c PropsBinClauses_1 : 40357795
300.44/43.59	c (36,0) c PropsBinClauses_2 : 39338723
300.44/43.59	c (36,0) c PropsBinClauses_3 : 40951928
300.44/43.59	c (36,0) c PropsBinClauses_4 : 41280463
300.44/43.59	c (36,0) c PropsBinClauses_5 : 38257639
300.44/43.59	c (36,0) c PropsBinClauses_6 : 40213694
300.44/43.59	c (36,0) c PropsBinClauses_7 : 38770515
300.44/43.59	c (36,0) c PropsBinClauses_total : 333987680
300.44/43.59	c (36,0) c PropsBinClauses_winner : 40213694
300.44/43.59	c (36,0) c PropsPreBlocker_0 : 2760287662
300.44/43.59	c (36,0) c PropsPreBlocker_1 : 2748689787
300.44/43.59	c (36,0) c PropsPreBlocker_2 : 2761945888
300.44/43.59	c (36,0) c PropsPreBlocker_3 : 2718648543
300.44/43.59	c (36,0) c PropsPreBlocker_4 : 2744602283
300.44/43.59	c (36,0) c PropsPreBlocker_5 : 2809890639
300.44/43.59	c (36,0) c PropsPreBlocker_6 : 2740556861
300.44/43.59	c (36,0) c PropsPreBlocker_7 : 2785686414
300.44/43.59	c (36,0) c PropsPreBlocker_total : 22070308077
300.44/43.59	c (36,0) c PropsPreBlocker_winner : 2740556861
300.44/43.59	c (36,0) c PropsNotBlocker_0 : 470393050
300.44/43.59	c (36,0) c PropsNotBlocker_1 : 415184051
300.44/43.59	c (36,0) c PropsNotBlocker_2 : 412392969
300.44/43.59	c (36,0) c PropsNotBlocker_3 : 432655256
300.44/43.59	c (36,0) c PropsNotBlocker_4 : 410374863
300.44/43.59	c (36,0) c PropsNotBlocker_5 : 384590739
300.44/43.59	c (36,0) c PropsNotBlocker_6 : 409043273
300.44/43.59	c (36,0) c PropsNotBlocker_7 : 386033413
300.44/43.59	c (36,0) c PropsNotBlocker_total : 3320667614
300.44/43.59	c (36,0) c PropsNotBlocker_winner : 409043273
300.44/43.59	c (36,0) c PropsLitFullScans_0 : 3665711776
300.44/43.59	c (36,0) c PropsLitFullScans_1 : 3653171793
300.44/43.59	c (36,0) c PropsLitFullScans_2 : 3648305827
300.44/43.59	c (36,0) c PropsLitFullScans_3 : 3644402589
300.44/43.59	c (36,0) c PropsLitFullScans_4 : 3648354239
300.44/43.59	c (36,0) c PropsLitFullScans_5 : 3666370436
300.44/43.59	c (36,0) c PropsLitFullScans_6 : 3641145017
300.44/43.59	c (36,0) c PropsLitFullScans_7 : 3648357288
300.44/43.59	c (36,0) c PropsLitFullScans_total : 29215818965
300.44/43.59	c (36,0) c PropsLitFullScans_winner : 3641145017
300.44/43.59	c (36,0) c LitScanFractions_0 : 186378
300.44/43.59	c (36,0) c LitScanFractions_1 : 461416
300.44/43.59	c (36,0) c LitScanFractions_2 : 301886
300.44/43.59	c (36,0) c LitScanFractions_3 : 378624
300.44/43.59	c (36,0) c LitScanFractions_4 : 344954
300.44/43.59	c (36,0) c LitScanFractions_5 : 362693
300.44/43.59	c (36,0) c LitScanFractions_6 : 535829
300.44/43.59	c (36,0) c LitScanFractions_7 : 348805
300.44/43.59	c (36,0) c LitScanFractions_total : 2920585
300.44/43.59	c (36,0) c LitScanFractions_winner : 535829
300.44/43.59	c (36,0) c DecisionLevel0_0 : 166
300.44/43.59	c (36,0) c DecisionLevel0_1 : 76
300.44/43.59	c (36,0) c DecisionLevel0_2 : 105
300.44/43.59	c (36,0) c DecisionLevel0_3 : 119
300.44/43.59	c (36,0) c DecisionLevel0_4 : 83
300.44/43.59	c (36,0) c DecisionLevel0_5 : 74
300.44/43.59	c (36,0) c DecisionLevel0_6 : 264
300.44/43.59	c (36,0) c DecisionLevel0_7 : 114
300.44/43.59	c (36,0) c DecisionLevel0_total : 1001
300.44/43.59	c (36,0) c DecisionLevel0_winner : 264
300.44/43.59	c (36,0) c Periods_0 : 610
300.44/43.59	c (36,0) c Periods_1 : 608
300.44/43.59	c (36,0) c Periods_2 : 608
300.44/43.59	c (36,0) c Periods_3 : 607
300.44/43.59	c (36,0) c Periods_4 : 608
300.44/43.59	c (36,0) c Periods_5 : 611
300.44/43.59	c (36,0) c Periods_6 : 606
300.44/43.59	c (36,0) c Periods_7 : 608
300.44/43.59	c (36,0) c Periods_total : 4866
300.44/43.59	c (36,0) c Periods_winner : 606
300.44/43.59	c (36,0) c Margin_0 : 20
300.44/43.59	c (36,0) c Margin_1 : 20
300.44/43.59	c (36,0) c Margin_2 : 20
300.44/43.59	c (36,0) c Margin_3 : 20
300.44/43.59	c (36,0) c Margin_4 : 20
300.44/43.59	c (36,0) c Margin_5 : 20
300.44/43.59	c (36,0) c Margin_6 : 20
300.44/43.59	c (36,0) c Margin_7 : 20
300.44/43.59	c (36,0) c Margin_total : 160
300.44/43.59	c (36,0) c Margin_winner : 20
300.44/43.59	c (36,0) c Exported_0 : 66967
300.44/43.59	c (36,0) c Exported_1 : 39759
300.44/43.59	c (36,0) c Exported_2 : 37167
300.44/43.59	c (36,0) c Exported_3 : 41465
300.44/43.59	c (36,0) c Exported_4 : 37807
300.44/43.59	c (36,0) c Exported_5 : 34881
300.44/43.59	c (36,0) c Exported_6 : 38177
300.44/43.59	c (36,0) c Exported_7 : 36686
300.44/43.59	c (36,0) c Exported_total : 332909
300.44/43.59	c (36,0) c Exported_winner : 38177
300.44/43.59	c (36,0) c Imported_0 : 257742
300.44/43.59	c (36,0) c Imported_1 : 281984
300.44/43.59	c (36,0) c Imported_2 : 274991
300.44/43.59	c (36,0) c Imported_3 : 279801
300.44/43.59	c (36,0) c Imported_4 : 273447
300.44/43.59	c (36,0) c Imported_5 : 272250
300.44/43.59	c (36,0) c Imported_6 : 283168
300.44/43.59	c (36,0) c Imported_7 : 280811
300.44/43.59	c (36,0) c Imported_total : 2204194
300.44/43.59	c (36,0) c Imported_winner : 283168
300.44/43.59	c (36,0) c Good_0 : 264
300.44/43.59	c (36,0) c Good_1 : 277
300.44/43.59	c (36,0) c Good_2 : 218
300.44/43.59	c (36,0) c Good_3 : 221
300.44/43.59	c (36,0) c Good_4 : 193
300.44/43.59	c (36,0) c Good_5 : 179
300.44/43.59	c (36,0) c Good_6 : 279
300.44/43.59	c (36,0) c Good_7 : 254
300.44/43.59	c (36,0) c Good_total : 1885
300.44/43.59	c (36,0) c Good_winner : 279
300.44/43.59	c (36,0) c Purge_0 : 257478
300.44/43.59	c (36,0) c Purge_1 : 281707
300.44/43.59	c (36,0) c Purge_2 : 274773
300.44/43.59	c (36,0) c Purge_3 : 279580
300.44/43.59	c (36,0) c Purge_4 : 273254
300.44/43.59	c (36,0) c Purge_5 : 272071
300.44/43.59	c (36,0) c Purge_6 : 282889
300.44/43.59	c (36,0) c Purge_7 : 280557
300.44/43.59	c (36,0) c Purge_total : 2202309
300.44/43.59	c (36,0) c Purge_winner : 282889
300.44/43.59	c (36,0) c Promoted_0 : 5261
300.44/43.59	c (36,0) c Promoted_1 : 17687
300.44/43.60	c (36,0) c Promoted_2 : 18153
300.44/43.60	c (36,0) c Promoted_3 : 19603
300.44/43.60	c (36,0) c Promoted_4 : 18170
300.44/43.60	c (36,0) c Promoted_5 : 19293
300.44/43.60	c (36,0) c Promoted_6 : 19007
300.44/43.60	c (36,0) c Promoted_7 : 19417
300.44/43.60	c (36,0) c Promoted_total : 136591
300.44/43.60	c (36,0) c Promoted_winner : 19007
300.44/43.60	c (36,0) c Remove_Imp_0 : 235976
300.44/43.60	c (36,0) c Remove_Imp_1 : 198846
300.44/43.60	c (36,0) c Remove_Imp_2 : 183955
300.44/43.60	c (36,0) c Remove_Imp_3 : 195607
300.44/43.60	c (36,0) c Remove_Imp_4 : 176676
300.44/43.60	c (36,0) c Remove_Imp_5 : 162802
300.44/43.60	c (36,0) c Remove_Imp_6 : 176573
300.44/43.60	c (36,0) c Remove_Imp_7 : 171653
300.44/43.60	c (36,0) c Remove_Imp_total : 1502088
300.44/43.60	c (36,0) c Remove_Imp_winner : 176573
300.44/43.60	c (36,0) c Blocked_Reuse_0 : 0
300.44/43.60	c (36,0) c Blocked_Reuse_1 : 0
300.44/43.60	c (36,0) c Blocked_Reuse_2 : 0
300.44/43.60	c (36,0) c Blocked_Reuse_3 : 0
300.44/43.60	c (36,0) c Blocked_Reuse_4 : 0
300.44/43.60	c (36,0) c Blocked_Reuse_5 : 0
300.44/43.60	c (36,0) c Blocked_Reuse_6 : 0
300.44/43.60	c (36,0) c Blocked_Reuse_7 : 0
300.44/43.60	c (36,0) c Blocked_Reuse_total : 0
300.44/43.60	c (36,0) c Blocked_Reuse_winner : 0
300.44/43.60	c (36,0) c Unaries_0 : 20
300.44/43.60	c (36,0) c Unaries_1 : 21
300.44/43.60	c (36,0) c Unaries_2 : 1
300.44/43.60	c (36,0) c Unaries_3 : 18
300.44/43.60	c (36,0) c Unaries_4 : 2
300.44/43.60	c (36,0) c Unaries_5 : 1
300.44/43.60	c (36,0) c Unaries_6 : 20
300.44/43.60	c (36,0) c Unaries_7 : 1
300.44/43.60	c (36,0) c Unaries_total : 84
300.44/43.60	c (36,0) c Unaries_winner : 20
300.44/43.60	c (36,0) c Binaries_0 : 102
300.44/43.60	c (36,0) c Binaries_1 : 82
300.44/43.60	c (36,0) c Binaries_2 : 31
300.44/43.60	c (36,0) c Binaries_3 : 151
300.44/43.60	c (36,0) c Binaries_4 : 28
300.44/43.60	c (36,0) c Binaries_5 : 24
300.44/43.60	c (36,0) c Binaries_6 : 108
300.44/43.60	c (36,0) c Binaries_7 : 24
300.44/43.60	c (36,0) c Binaries_total : 550
300.44/43.60	c (36,0) c Binaries_winner : 108
300.44/43.60	c (36,0) c Glues_0 : 732
300.44/43.60	c (36,0) c Glues_1 : 515
300.44/43.60	c (36,0) c Glues_2 : 457
300.44/43.60	c (36,0) c Glues_3 : 613
300.44/43.60	c (36,0) c Glues_4 : 452
300.44/43.60	c (36,0) c Glues_5 : 459
300.44/43.60	c (36,0) c Glues_6 : 567
300.44/43.60	c (36,0) c Glues_7 : 465
300.44/43.60	c (36,0) c Glues_total : 4260
300.44/43.60	c (36,0) c Glues_winner : 567
300.44/43.60	c (36,0) c RunningTime_0 : 33.665985
300.44/43.60	c (36,0) c RunningTime_1 : 35.421025
300.44/43.60	c (36,0) c RunningTime_2 : 35.408307
300.44/43.60	c (36,0) c RunningTime_3 : 36.359373
300.44/43.60	c (36,0) c RunningTime_4 : 35.934595
300.44/43.60	c (36,0) c RunningTime_5 : 34.891553
300.44/43.60	c (36,0) c RunningTime_6 : 36.411097
300.44/43.60	c (36,0) c RunningTime_7 : 35.656243
300.44/43.60	c (36,0) c RunningTime_total : 283.748177
300.44/43.60	c (36,0) c RunningTime_winner : 36.411097
300.44/43.60	c (36,0) c WaitingTime_0 : 1.860225
300.44/43.60	c (36,0) c WaitingTime_1 : 0.174262
300.44/43.60	c (36,0) c WaitingTime_2 : 0.215843
300.44/43.60	c (36,0) c WaitingTime_3 : 0.000719
300.44/43.60	c (36,0) c WaitingTime_4 : 0.047243
300.44/43.60	c (36,0) c WaitingTime_5 : 0.662361
300.44/43.60	c (36,0) c WaitingTime_6 : 0.000713
300.44/43.60	c (36,0) c WaitingTime_7 : 0.383034
300.44/43.60	c (36,0) c WaitingTime_total : 3.344399
300.44/43.60	c (36,0) c WaitingTime_winner : 0.000713
300.44/43.60	c (36,0) c ExchangingTime_0 : 0.098500
300.44/43.60	c (36,0) c ExchangingTime_1 : 0.082839
300.44/43.60	c (36,0) c ExchangingTime_2 : 0.084011
300.44/43.60	c (36,0) c ExchangingTime_3 : 0.085790
300.44/43.60	c (36,0) c ExchangingTime_4 : 0.083487
300.44/43.60	c (36,0) c ExchangingTime_5 : 0.088170
300.44/43.60	c (36,0) c ExchangingTime_6 : 0.083773
300.44/43.60	c (36,0) c ExchangingTime_7 : 0.091407
300.44/43.60	c (36,0) c ExchangingTime_total : 0.697978
300.44/43.60	c (36,0) c ExchangingTime_winner : 0.083773
300.44/43.60	c (36,0) c PeriodProcTime_0 : 0.004477
300.44/43.60	c (36,0) c PeriodProcTime_1 : 0.004307
300.44/43.60	c (36,0) c PeriodProcTime_2 : 0.004499
300.44/43.60	c (36,0) c PeriodProcTime_3 : 0.005598
300.44/43.60	c (36,0) c PeriodProcTime_4 : 0.004544
300.44/43.60	c (36,0) c PeriodProcTime_5 : 0.004297
300.44/43.60	c (36,0) c PeriodProcTime_6 : 0.005352
300.44/43.60	c (36,0) c PeriodProcTime_7 : 0.004489
300.44/43.60	c (36,0) c PeriodProcTime_total : 0.037563
300.44/43.60	c (36,0) c PeriodProcTime_winner : 0.005352
300.44/43.60	c (36,0) c SolvingTime_0 : 35.629188
300.44/43.60	c (36,0) c SolvingTime_1 : 35.682433
300.44/43.60	c (36,0) c SolvingTime_2 : 35.712660
300.44/43.60	c (36,0) c SolvingTime_3 : 36.451480
300.44/43.60	c (36,0) c SolvingTime_4 : 36.069868
300.44/43.60	c (36,0) c SolvingTime_5 : 35.646381
300.44/43.60	c (36,0) c SolvingTime_6 : 36.500935
300.44/43.60	c (36,0) c SolvingTime_7 : 36.135173
300.44/43.60	c (36,0) c SolvingTime_total : 287.828117
300.44/43.60	c (36,0) c SolvingTime_winner : 36.500935
300.44/43.60	c (36,0) c PropagationTime_0 : 30.719142
300.44/43.60	c (36,0) c PropagationTime_1 : 32.271086
300.44/43.60	c (36,0) c PropagationTime_2 : 32.220181
300.44/43.60	c (36,0) c PropagationTime_3 : 32.492333
300.44/43.60	c (36,0) c PropagationTime_4 : 32.387028
300.44/43.60	c (36,0) c PropagationTime_5 : 31.734132
300.44/43.60	c (36,0) c PropagationTime_6 : 32.423265
300.44/43.60	c (36,0) c PropagationTime_7 : 32.633875
300.44/43.60	c (36,0) c PropagationTime_total : 256.881040
300.44/43.60	c (36,0) c PropagationTime_winner : 32.423265
300.44/43.60	c (36,0) c AnalysisTime_0 : 3.142145
300.44/43.60	c (36,0) c AnalysisTime_1 : 2.260975
300.44/43.60	c (36,0) c AnalysisTime_2 : 2.387760
300.44/43.60	c (36,0) c AnalysisTime_3 : 2.842757
300.44/43.60	c (36,0) c AnalysisTime_4 : 2.487420
300.44/43.60	c (36,0) c AnalysisTime_5 : 2.837864
300.44/43.60	c (36,0) c AnalysisTime_6 : 2.886607
300.44/43.60	c (36,0) c AnalysisTime_7 : 2.370616
300.44/43.60	c (36,0) c AnalysisTime_total : 21.216144
300.44/43.60	c (36,0) c AnalysisTime_winner : 2.886607
300.44/43.60	c (36,0) c ReductionTime_0 : 0.827091
300.44/43.60	c (36,0) c ReductionTime_1 : 0.464245
300.44/43.60	c (36,0) c ReductionTime_2 : 0.452147
300.44/43.60	c (36,0) c ReductionTime_3 : 0.418213
300.44/43.60	c (36,0) c ReductionTime_4 : 0.492211
300.44/43.60	c (36,0) c ReductionTime_5 : 0.446917
300.44/43.60	c (36,0) c ReductionTime_6 : 0.480490
300.44/43.60	c (36,0) c ReductionTime_7 : 0.459068
300.44/43.60	c (36,0) c ReductionTime_total : 4.040381
300.44/43.60	c (36,0) c ReductionTime_winner : 0.480490
300.44/43.60	c (36,0) c SimplifyTime_0 : 0.078004
16.71/43.60	c (36,0) c SimplifyTime_1 : 0.081772
16.71/43.60	c (36,0) c SimplifyTime_2 : 0.066686
16.71/43.60	c (36,0) c SimplifyTime_3 : 0.096871
16.71/43.60	c (36,0) c SimplifyTime_4 : 0.103377
16.71/43.60	c (36,0) c SimplifyTime_5 : 0.062454
16.71/43.60	c (36,0) c SimplifyTime_6 : 0.119728
16.71/43.60	c (36,0) c SimplifyTime_7 : 0.092113
16.71/43.60	c (36,0) c SimplifyTime_total : 0.701006
16.71/43.60	c (36,0) c SimplifyTime_winner : 0.119728
16.71/43.60	c (36,0) c UsedRateTime_0 : 0.000000
16.71/43.60	c (36,0) c UsedRateTime_1 : 0.000000
16.71/43.60	c (36,0) c UsedRateTime_2 : 0.000000
16.71/43.60	c (36,0) c UsedRateTime_3 : 0.000000
16.71/43.60	c (36,0) c UsedRateTime_4 : 0.000000
16.71/43.60	c (36,0) c UsedRateTime_5 : 0.000000
16.71/43.60	c (36,0) c UsedRateTime_6 : 0.000000
16.71/43.60	c (36,0) c UsedRateTime_7 : 0.000000
16.71/43.60	c (36,0) c UsedRateTime_total : 0.000000
16.71/43.60	c (36,0) c UsedRateTime_winner : 0.000000
16.71/43.60	c (36,0) c OverlapRateTime_0 : 0.000000
16.71/43.60	c (36,0) c OverlapRateTime_1 : 0.000000
16.71/43.60	c (36,0) c OverlapRateTime_2 : 0.000000
16.71/43.60	c (36,0) c OverlapRateTime_3 : 0.000000
16.71/43.60	c (36,0) c OverlapRateTime_4 : 0.000000
16.71/43.60	c (36,0) c OverlapRateTime_5 : 0.000000
16.71/43.60	c (36,0) c OverlapRateTime_6 : 0.000000
16.71/43.60	c (36,0) c OverlapRateTime_7 : 0.000000
16.71/43.60	c (36,0) c OverlapRateTime_total : 0.000000
16.71/43.60	c (36,0) c OverlapRateTime_winner : 0.000000
16.71/43.60	c (36,0) c
16.71/43.60	c (36,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
16.71/43.60	c (36,0) c
16.71/43.60	c (36,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
16.71/43.60	c (36,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
16.71/43.60	c (36,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
16.71/43.60	c (36,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
16.71/43.60	c (36,0) c | adaptStrategeis       |      False |      False |      False |      False |      False |      False |      False |      False |
16.71/43.60	c (36,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
16.71/43.60	c (36,0) c | Initial random_seed   |   17709487 |  192807017 | 1628048606 |  874064610 |  106243521 | 1751292336 | 1366989969 | 1594757435 |
16.71/43.60	c (36,0) c | chanseokStrategy      |       True |      False |      False |      False |      False |      False |      False |      False |
16.71/43.60	c (36,0) c | coLBDBound            |          4 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
16.71/43.60	c (36,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
16.71/43.60	c (36,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
16.71/43.60	c (36,0) c | incReduceDB           |          0 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
16.71/43.60	c (36,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
16.71/43.60	c (36,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
16.71/43.60	c (36,0) c | var_decay             |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
16.71/43.60	c (36,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
16.71/43.60	c (36,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
16.71/43.60	c (36,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
16.71/43.60	c (36,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
16.71/43.60	c (36,0) 
16.71/43.60	c (36,0) s UNSATISFIABLE
16.71/43.60	c (36,0) SatSolver.solve End
16.71/43.60	c (36,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
16.71/43.60	c (36,0) Show results Begin
16.71/43.60	s UNSATISFIABLE
16.71/43.60	c (36,0) Show results End
16.71/43.60	c (36,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
16.71/43.61	c (36,0) 36,36,STOP-AFTER(ALL)
16.71/43.61	c END-Prog: Tue Sep 24 15:30:15 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 (13181 MiB free)
  memory of node 1: 16384 MiB (11717 MiB free)
  node distances:
     10  21
     21  10

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

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

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


[startup+0.100113 s]*
/proc/loadavg: 0.59 0.14 0.09 2/210 5100
/proc/meminfo: memFree=25404256/32770624 swapFree=66986396/67108860
[pid=5078] ppid=5075 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/5078/stat : 5078 (scop.sh) S 5075 5078 4774 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 509856055 115843072 349 33554432000 4194304 5098028 140736775477472 140736775474728 140653366485628 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 12931072 140736775480101 140736775480428 140736775480428 140736775483341 0
/proc/5078/statm: 28282 349 296 221 0 87 0
[pid=5081] ppid=5078 vsize=27314120 memory=104600 CPUtime=0.1 cores=0-7
/proc/5081/stat : 5081 (java) S 5078 5078 4774 0 -1 1077944320 6706 0 0 0 8 2 0 0 20 0 20 0 509856055 27969658880 26150 33554432000 4194304 4196468 140722291947216 140722291929760 139940129357559 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27942912 140722291950316 140722291950742 140722291950742 140722291953615 0
/proc/5081/statm: 6828530 26150 2812 1 0 6790935 0
[pid=5081/tid=5082] ppid=5078 vsize=27314120 memory=576460756329955445 CPUtime=0.08 cores=0-7
/proc/5081/task/5082/stat : 5082 (java) R 5078 5078 4774 0 -1 4202560 4782 0 0 0 7 1 0 0 20 0 20 0 509856056 27969658880 26150 33554432000 4194304 4196468 140722291947216 139940101161760 139940113438046 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27942912 140722291950316 140722291950742 140722291950742 140722291953615 0
[pid=5081/tid=5083] ppid=5078 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5081/task/5083/stat : 5083 (java) S 5078 5078 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509856058 27969658880 26150 33554432000 4194304 4196468 140722291947216 139940133600272 139940129367765 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27942912 140722291950316 140722291950742 140722291950742 140722291953615 0
[pid=5081/tid=5084] ppid=5078 vsize=27314120 memory=15957295438603928 CPUtime=0 cores=0-7
/proc/5081/task/5084/stat : 5084 (java) S 5078 5078 4774 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509856058 27969658880 26150 33554432000 4194304 4196468 140722291947216 139939551718544 139940129367765 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27942912 140722291950316 140722291950742 140722291950742 140722291953615 0
[pid=5081/tid=5085] ppid=5078 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5081/task/5085/stat : 5085 (java) S 5078 5078 4774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509856058 27969658880 26150 33554432000 4194304 4196468 140722291947216 139939550665488 139940129367765 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27942912 140722291950316 140722291950742 140722291950742 140722291953615 0
[pid=5081/tid=5086] ppid=5078 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5081/task/5086/stat : 5086 (java) S 5078 5078 4774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509856058 27969658880 26150 33554432000 4194304 4196468 140722291947216 139939549612944 139940129367765 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27942912 140722291950316 140722291950742 140722291950742 140722291953615 0
[pid=5081/tid=5087] ppid=5078 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5081/task/5087/stat : 5087 (java) S 5078 5078 4774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509856058 27969658880 26150 33554432000 4194304 4196468 140722291947216 139939548559888 139940129367765 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27942912 140722291950316 140722291950742 140722291950742 140722291953615 0
[pid=5081/tid=5088] ppid=5078 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/5081/task/5088/stat : 5088 (java) S 5078 5078 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509856058 27969658880 26150 33554432000 4194304 4196468 140722291947216 139939547507344 139940129367765 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27942912 140722291950316 140722291950742 140722291950742 140722291953615 0
[pid=5081/tid=5089] ppid=5078 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5081/task/5089/stat : 5089 (java) S 5078 5078 4774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509856058 27969658880 26150 33554432000 4194304 4196468 140722291947216 139939546454288 139940129367765 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27942912 140722291950316 140722291950742 140722291950742 140722291953615 0
[pid=5081/tid=5090] ppid=5078 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5081/task/5090/stat : 5090 (java) S 5078 5078 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509856058 27969658880 26150 33554432000 4194304 4196468 140722291947216 139939545401744 139940129367765 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27942912 140722291950316 140722291950742 140722291950742 140722291953615 0
[pid=5081/tid=5091] ppid=5078 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5081/task/5091/stat : 5091 (java) S 5078 5078 4774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509856059 27969658880 26150 33554432000 4194304 4196468 140722291947216 139939502369520 139940129368706 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27942912 140722291950316 140722291950742 140722291950742 140722291953615 0
[pid=5081/tid=5092] ppid=5078 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5081/task/5092/stat : 5092 (java) S 5078 5078 4774 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 509856060 27969658880 26150 33554432000 4194304 4196468 140722291947216 139938087560864 139940129367765 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27942912 140722291950316 140722291950742 140722291950742 140722291953615 0
[pid=5081/tid=5093] ppid=5078 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5081/task/5093/stat : 5093 (java) S 5078 5078 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509856060 27969658880 26150 33554432000 4194304 4196468 140722291947216 139937819124976 139940129367765 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27942912 140722291950316 140722291950742 140722291950742 140722291953615 0
[pid=5081/tid=5094] ppid=5078 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5081/task/5094/stat : 5094 (java) S 5078 5078 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509856063 27969658880 26150 33554432000 4194304 4196468 140722291947216 139937444616656 139940129376155 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27942912 140722291950316 140722291950742 140722291950742 140722291953615 0
[pid=5081/tid=5095] ppid=5078 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5081/task/5095/stat : 5095 (java) S 5078 5078 4774 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 20 0 509856063 27969658880 26150 33554432000 4194304 4196468 140722291947216 139939501316336 139940129368706 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27942912 140722291950316 140722291950742 140722291950742 140722291953615 0
[pid=5081/tid=5096] ppid=5078 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5081/task/5096/stat : 5096 (java) S 5078 5078 4774 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509856063 27969658880 26150 33554432000 4194304 4196468 140722291947216 139939500263792 139940129368706 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27942912 140722291950316 140722291950742 140722291950742 140722291953615 0
[pid=5081/tid=5097] ppid=5078 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5081/task/5097/stat : 5097 (java) S 5078 5078 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509856063 27969658880 26150 33554432000 4194304 4196468 140722291947216 139939499210736 139940129368706 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27942912 140722291950316 140722291950742 140722291950742 140722291953615 0
[pid=5081/tid=5098] ppid=5078 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5081/task/5098/stat : 5098 (java) S 5078 5078 4774 0 -1 1077944384 292 0 0 0 0 0 0 0 20 0 20 0 509856063 27969658880 26150 33554432000 4194304 4196468 140722291947216 139939498158192 139940129368706 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27942912 140722291950316 140722291950742 140722291950742 140722291953615 0
[pid=5081/tid=5099] ppid=5078 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5081/task/5099/stat : 5099 (java) S 5078 5078 4774 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509856063 27969658880 26150 33554432000 4194304 4196468 140722291947216 139936946711520 139940129367765 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27942912 140722291950316 140722291950742 140722291950742 140722291953615 0
[pid=5081/tid=5100] ppid=5078 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/5081/task/5100/stat : 5100 (java) S 5078 5078 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509856063 27969658880 26150 33554432000 4194304 4196468 140722291947216 139938175642800 139940129368706 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27942912 140722291950316 140722291950742 140722291950742 140722291953615 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 105996 KiB

[startup+0.210193 s]*
/proc/loadavg: 0.59 0.14 0.09 4/210 5100
/proc/meminfo: memFree=25374300/32770624 swapFree=66986396/67108860
[pid=5078] ppid=5075 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/5078/stat : 5078 (scop.sh) S 5075 5078 4774 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 509856055 115843072 349 33554432000 4194304 5098028 140736775477472 140736775474728 140653366485628 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 12931072 140736775480101 140736775480428 140736775480428 140736775483341 0
/proc/5078/statm: 28282 349 296 221 0 87 0
[pid=5081] ppid=5078 vsize=27314120 memory=123720 CPUtime=0.24 cores=0-7
/proc/5081/stat : 5081 (java) S 5078 5078 4774 0 -1 1077944320 12367 0 0 0 20 4 0 0 20 0 20 0 509856055 27969658880 30930 33554432000 4194304 4196468 140722291947216 140722291929760 139940129357559 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27942912 140722291950316 140722291950742 140722291950742 140722291953615 0
/proc/5081/statm: 6828530 30930 2935 1 0 6790935 0
[pid=5081/tid=5082] ppid=5078 vsize=27314120 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/5081/task/5082/stat : 5082 (java) R 5078 5078 4774 0 -1 4202560 10015 0 0 0 16 3 0 0 20 0 20 0 509856056 27969658880 30930 33554432000 4194304 4196468 140722291947216 139940101172624 139940109632862 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27942912 140722291950316 140722291950742 140722291950742 140722291953615 0
[pid=5081/tid=5083] ppid=5078 vsize=27314120 memory=288230604707987820 CPUtime=0 cores=0-7
/proc/5081/task/5083/stat : 5083 (java) S 5078 5078 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509856058 27969658880 30930 33554432000 4194304 4196468 140722291947216 139940133600272 139940129367765 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27942912 140722291950316 140722291950742 140722291950742 140722291953615 0
[pid=5081/tid=5084] ppid=5078 vsize=27314120 memory=15683525633222296 CPUtime=0 cores=0-7
/proc/5081/task/5084/stat : 5084 (java) S 5078 5078 4774 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509856058 27969658880 30930 33554432000 4194304 4196468 140722291947216 139939551718544 139940129367765 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27942912 140722291950316 140722291950742 140722291950742 140722291953615 0
[pid=5081/tid=5085] ppid=5078 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/5081/task/5085/stat : 5085 (java) S 5078 5078 4774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509856058 27969658880 30930 33554432000 4194304 4196468 140722291947216 139939550665488 139940129367765 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27942912 140722291950316 140722291950742 140722291950742 140722291953615 0
[pid=5081/tid=5086] ppid=5078 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5081/task/5086/stat : 5086 (java) S 5078 5078 4774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509856058 27969658880 30930 33554432000 4194304 4196468 140722291947216 139939549612944 139940129367765 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27942912 140722291950316 140722291950742 140722291950742 140722291953615 0
[pid=5081/tid=5087] ppid=5078 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5081/task/5087/stat : 5087 (java) S 5078 5078 4774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509856058 27969658880 30930 33554432000 4194304 4196468 140722291947216 139939548559888 139940129367765 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27942912 140722291950316 140722291950742 140722291950742 140722291953615 0
[pid=5081/tid=5088] ppid=5078 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/5081/task/5088/stat : 5088 (java) S 5078 5078 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509856058 27969658880 30930 33554432000 4194304 4196468 140722291947216 139939547507344 139940129367765 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27942912 140722291950316 140722291950742 140722291950742 140722291953615 0
[pid=5081/tid=5089] ppid=5078 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5081/task/5089/stat : 5089 (java) S 5078 5078 4774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509856058 27969658880 30930 33554432000 4194304 4196468 140722291947216 139939546454288 139940129367765 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27942912 140722291950316 140722291950742 140722291950742 140722291953615 0
[pid=5081/tid=5090] ppid=5078 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5081/task/5090/stat : 5090 (java) S 5078 5078 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509856058 27969658880 30930 33554432000 4194304 4196468 140722291947216 139939545401744 139940129367765 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27942912 140722291950316 140722291950742 140722291950742 140722291953615 0
[pid=5081/tid=5091] ppid=5078 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5081/task/5091/stat : 5091 (java) S 5078 5078 4774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509856059 27969658880 30930 33554432000 4194304 4196468 140722291947216 139939502369520 139940129368706 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27942912 140722291950316 140722291950742 140722291950742 140722291953615 0
[pid=5081/tid=5092] ppid=5078 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5081/task/5092/stat : 5092 (java) S 5078 5078 4774 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 509856060 27969658880 30930 33554432000 4194304 4196468 140722291947216 139938087560864 139940129367765 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27942912 140722291950316 140722291950742 140722291950742 140722291953615 0
[pid=5081/tid=5093] ppid=5078 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5081/task/5093/stat : 5093 (java) S 5078 5078 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509856060 27969658880 30930 33554432000 4194304 4196468 140722291947216 139937819124976 139940129367765 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27942912 140722291950316 140722291950742 140722291950742 140722291953615 0
[pid=5081/tid=5094] ppid=5078 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5081/task/5094/stat : 5094 (java) S 5078 5078 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509856063 27969658880 30930 33554432000 4194304 4196468 140722291947216 139937444616656 139940129376155 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27942912 140722291950316 140722291950742 140722291950742 140722291953615 0
[pid=5081/tid=5095] ppid=5078 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5081/task/5095/stat : 5095 (java) S 5078 5078 4774 0 -1 1077944384 315 0 0 0 0 0 0 0 20 0 20 0 509856063 27969658880 30930 33554432000 4194304 4196468 140722291947216 139939501316336 139940129368706 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27942912 140722291950316 140722291950742 140722291950742 140722291953615 0
[pid=5081/tid=5096] ppid=5078 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5081/task/5096/stat : 5096 (java) S 5078 5078 4774 0 -1 1077944384 178 0 0 0 0 0 0 0 20 0 20 0 509856063 27969658880 30930 33554432000 4194304 4196468 140722291947216 139939500263792 139940129368706 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27942912 140722291950316 140722291950742 140722291950742 140722291953615 0
[pid=5081/tid=5097] ppid=5078 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/5081/task/5097/stat : 5097 (java) S 5078 5078 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509856063 27969658880 30930 33554432000 4194304 4196468 140722291947216 139939499210736 139940129368706 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27942912 140722291950316 140722291950742 140722291950742 140722291953615 0
[pid=5081/tid=5098] ppid=5078 vsize=27314120 memory=0 CPUtime=0.02 cores=0-7
/proc/5081/task/5098/stat : 5098 (java) S 5078 5078 4774 0 -1 1077944384 517 0 0 0 2 0 0 0 20 0 20 0 509856063 27969658880 30930 33554432000 4194304 4196468 140722291947216 139939498158192 139940129368706 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27942912 140722291950316 140722291950742 140722291950742 140722291953615 0
[pid=5081/tid=5099] ppid=5078 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5081/task/5099/stat : 5099 (java) S 5078 5078 4774 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509856063 27969658880 30930 33554432000 4194304 4196468 140722291947216 139936946711520 139940129367765 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27942912 140722291950316 140722291950742 140722291950742 140722291953615 0
[pid=5081/tid=5100] ppid=5078 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/5081/task/5100/stat : 5100 (java) S 5078 5078 4774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509856063 27969658880 30930 33554432000 4194304 4196468 140722291947216 139938175642800 139940129368706 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27942912 140722291950316 140722291950742 140722291950742 140722291953615 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 125116 KiB

[startup+0.310136 s]*
/proc/loadavg: 0.59 0.14 0.09 2/210 5100
/proc/meminfo: memFree=25374292/32770624 swapFree=66986396/67108860
[pid=5078] ppid=5075 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/5078/stat : 5078 (scop.sh) S 5075 5078 4774 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 509856055 115843072 349 33554432000 4194304 5098028 140736775477472 140736775474728 140653366485628 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 12931072 140736775480101 140736775480428 140736775480428 140736775483341 0
/proc/5078/statm: 28282 349 296 221 0 87 0
[pid=5081] ppid=5078 vsize=27314120 memory=128292 CPUtime=0.42 cores=0-7
/proc/5081/stat : 5081 (java) S 5078 5078 4774 0 -1 1077944320 13005 0 0 0 38 4 0 0 20 0 20 0 509856055 27969658880 32073 33554432000 4194304 4196468 140722291947216 140722291929760 139940129357559 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27942912 140722291950316 140722291950742 140722291950742 140722291953615 0
/proc/5081/statm: 6828530 32073 3007 1 0 6790935 0
[pid=5081/tid=5082] ppid=5078 vsize=27314120 memory=8317482817917895235 CPUtime=0.29 cores=0-7
/proc/5081/task/5082/stat : 5082 (java) R 5078 5078 4774 0 -1 4202560 10367 0 0 0 26 3 0 0 20 0 20 0 509856056 27969658880 32073 33554432000 4194304 4196468 140722291947216 139940101182720 139940114523112 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27942912 140722291950316 140722291950742 140722291950742 140722291953615 0
[pid=5081/tid=5083] ppid=5078 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5081/task/5083/stat : 5083 (java) S 5078 5078 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509856058 27969658880 32073 33554432000 4194304 4196468 140722291947216 139940133600272 139940129367765 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27942912 140722291950316 140722291950742 140722291950742 140722291953615 0
[pid=5081/tid=5084] ppid=5078 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5081/task/5084/stat : 5084 (java) S 5078 5078 4774 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509856058 27969658880 32073 33554432000 4194304 4196468 140722291947216 139939551718544 139940129367765 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27942912 140722291950316 140722291950742 140722291950742 140722291953615 0
[pid=5081/tid=5085] ppid=5078 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5081/task/5085/stat : 5085 (java) S 5078 5078 4774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509856058 27969658880 32073 33554432000 4194304 4196468 140722291947216 139939550665488 139940129367765 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27942912 140722291950316 140722291950742 140722291950742 140722291953615 0
[pid=5081/tid=5086] ppid=5078 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5081/task/5086/stat : 5086 (java) S 5078 5078 4774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509856058 27969658880 32073 33554432000 4194304 4196468 140722291947216 139939549612944 139940129367765 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27942912 140722291950316 140722291950742 140722291950742 140722291953615 0
[pid=5081/tid=5087] ppid=5078 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5081/task/5087/stat : 5087 (java) S 5078 5078 4774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509856058 27969658880 32073 33554432000 4194304 4196468 140722291947216 139939548559888 139940129367765 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27942912 140722291950316 140722291950742 140722291950742 140722291953615 0
[pid=5081/tid=5088] ppid=5078 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5081/task/5088/stat : 5088 (java) S 5078 5078 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509856058 27969658880 32073 33554432000 4194304 4196468 140722291947216 139939547507344 139940129367765 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27942912 140722291950316 140722291950742 140722291950742 140722291953615 0
[pid=5081/tid=5089] ppid=5078 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5081/task/5089/stat : 5089 (java) S 5078 5078 4774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509856058 27969658880 32073 33554432000 4194304 4196468 140722291947216 139939546454288 139940129367765 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27942912 140722291950316 140722291950742 140722291950742 140722291953615 0
[pid=5081/tid=5090] ppid=5078 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5081/task/5090/stat : 5090 (java) S 5078 5078 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509856058 27969658880 32073 33554432000 4194304 4196468 140722291947216 139939545401744 139940129367765 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27942912 140722291950316 140722291950742 140722291950742 140722291953615 0
[pid=5081/tid=5091] ppid=5078 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5081/task/5091/stat : 5091 (java) S 5078 5078 4774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509856059 27969658880 32073 33554432000 4194304 4196468 140722291947216 139939502369520 139940129368706 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27942912 140722291950316 140722291950742 140722291950742 140722291953615 0
[pid=5081/tid=5092] ppid=5078 vsize=27314120 memory=281166813011328 CPUtime=0 cores=0-7
/proc/5081/task/5092/stat : 5092 (java) S 5078 5078 4774 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 509856060 27969658880 32073 33554432000 4194304 4196468 140722291947216 139938087560864 139940129367765 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27942912 140722291950316 140722291950742 140722291950742 140722291953615 0
[pid=5081/tid=5093] ppid=5078 vsize=27314120 memory=281166813015936 CPUtime=0 cores=0-7
/proc/5081/task/5093/stat : 5093 (java) S 5078 5078 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509856060 27969658880 32073 33554432000 4194304 4196468 140722291947216 139937819124976 139940129367765 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27942912 140722291950316 140722291950742 140722291950742 140722291953615 0
[pid=5081/tid=5094] ppid=5078 vsize=27314120 memory=281166813020544 CPUtime=0 cores=0-7
/proc/5081/task/5094/stat : 5094 (java) S 5078 5078 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509856063 27969658880 32073 33554432000 4194304 4196468 140722291947216 139937444616656 139940129376155 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27942912 140722291950316 140722291950742 140722291950742 140722291953615 0
[pid=5081/tid=5095] ppid=5078 vsize=27314120 memory=281166813025152 CPUtime=0.02 cores=0-7
/proc/5081/task/5095/stat : 5095 (java) S 5078 5078 4774 0 -1 1077944384 432 0 0 0 2 0 0 0 20 0 20 0 509856063 27969658880 32073 33554432000 4194304 4196468 140722291947216 139939501316336 139940129368706 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27942912 140722291950316 140722291950742 140722291950742 140722291953615 0
[pid=5081/tid=5096] ppid=5078 vsize=27314120 memory=281166813029760 CPUtime=0 cores=0-7
/proc/5081/task/5096/stat : 5096 (java) S 5078 5078 4774 0 -1 1077944384 180 0 0 0 0 0 0 0 20 0 20 0 509856063 27969658880 32073 33554432000 4194304 4196468 140722291947216 139939500263792 139940129368706 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27942912 140722291950316 140722291950742 140722291950742 140722291953615 0
[pid=5081/tid=5097] ppid=5078 vsize=27314120 memory=281166813034368 CPUtime=0 cores=0-7
/proc/5081/task/5097/stat : 5097 (java) S 5078 5078 4774 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 20 0 509856063 27969658880 32073 33554432000 4194304 4196468 140722291947216 139939499210736 139940129368706 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27942912 140722291950316 140722291950742 140722291950742 140722291953615 0
[pid=5081/tid=5098] ppid=5078 vsize=27314120 memory=281166813038976 CPUtime=0.07 cores=0-7
/proc/5081/task/5098/stat : 5098 (java) S 5078 5078 4774 0 -1 1077944384 657 0 0 0 7 0 0 0 20 0 20 0 509856063 27969658880 32073 33554432000 4194304 4196468 140722291947216 139939498158192 139940129368706 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27942912 140722291950316 140722291950742 140722291950742 140722291953615 0
[pid=5081/tid=5099] ppid=5078 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5081/task/5099/stat : 5099 (java) S 5078 5078 4774 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509856063 27969658880 32073 33554432000 4194304 4196468 140722291947216 139936946711520 139940129367765 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27942912 140722291950316 140722291950742 140722291950742 140722291953615 0
[pid=5081/tid=5100] ppid=5078 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/5081/task/5100/stat : 5100 (java) S 5078 5078 4774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509856063 27969658880 32073 33554432000 4194304 4196468 140722291947216 139938175642800 139940129368706 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27942912 140722291950316 140722291950742 140722291950742 140722291953615 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 129688 KiB

[startup+0.700884 s]
/proc/loadavg: 0.59 0.14 0.09 3/210 5100
/proc/meminfo: memFree=25359008/32770624 swapFree=66986396/67108860
[pid=5078] ppid=5075 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/5078/stat : 5078 (scop.sh) S 5075 5078 4774 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 509856055 115843072 349 33554432000 4194304 5098028 140736775477472 140736775474728 140653366485628 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 12931072 140736775480101 140736775480428 140736775480428 140736775483341 0
/proc/5078/statm: 28282 349 296 221 0 87 0
[pid=5081] ppid=5078 vsize=27320392 memory=164572 CPUtime=0.99 cores=0-7
/proc/5081/stat : 5081 (java) S 5078 5078 4774 0 -1 1077944320 20737 0 0 0 92 7 0 0 20 0 20 0 509856055 27976081408 41143 33554432000 4194304 4196468 140722291947216 140722291929760 139940129357559 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27942912 140722291950316 140722291950742 140722291950742 140722291953615 0
/proc/5081/statm: 6830098 41143 3182 1 0 6791447 0
[pid=5081/tid=5082] ppid=5078 vsize=27320392 memory=4580 CPUtime=0.68 cores=0-7
/proc/5081/task/5082/stat : 5082 (java) R 5078 5078 4774 0 -1 4202560 17438 0 0 0 62 6 0 0 20 0 20 0 509856056 27976081408 41143 33554432000 4194304 4196468 140722291947216 139940101195040 139940107351631 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27942912 140722291950316 140722291950742 140722291950742 140722291953615 0
[pid=5081/tid=5083] ppid=5078 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/5081/task/5083/stat : 5083 (java) S 5078 5078 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509856058 27976081408 41143 33554432000 4194304 4196468 140722291947216 139940133600272 139940129367765 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27942912 140722291950316 140722291950742 140722291950742 140722291953615 0
[pid=5081/tid=5084] ppid=5078 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/5081/task/5084/stat : 5084 (java) S 5078 5078 4774 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509856058 27976081408 41143 33554432000 4194304 4196468 140722291947216 139939551718544 139940129367765 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27942912 140722291950316 140722291950742 140722291950742 140722291953615 0
[pid=5081/tid=5085] ppid=5078 vsize=27320392 memory=1056 CPUtime=0 cores=0-7
/proc/5081/task/5085/stat : 5085 (java) S 5078 5078 4774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509856058 27976081408 41143 33554432000 4194304 4196468 140722291947216 139939550665488 139940129367765 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27942912 140722291950316 140722291950742 140722291950742 140722291953615 0

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

/proc/5101/task/5110/stat : 5110 (java) S 5078 5078 4774 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 509856682 8616062976 30004 33554432000 4194304 4196468 140725534075696 139889244056464 139889445971669 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19181568 140725534077944 140725534078102 140725534078102 140725534080975 0
[pid=5101/tid=5111] ppid=5078 vsize=8414124 memory=-4075877051373423743 CPUtime=0 cores=0-7
/proc/5101/task/5111/stat : 5111 (java) S 5078 5078 4774 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 509856683 8616062976 30004 33554432000 4194304 4196468 140725534075696 139888673708272 139889445972610 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19181568 140725534077944 140725534078102 140725534078102 140725534080975 0
[pid=5101/tid=5112] ppid=5078 vsize=8414124 memory=120016 CPUtime=0 cores=0-7
/proc/5101/task/5112/stat : 5112 (java) S 5078 5078 4774 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 509856684 8616062976 30004 33554432000 4194304 4196468 140725534075696 139887755912352 139889445971669 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19181568 140725534077944 140725534078102 140725534078102 140725534080975 0
[pid=5101/tid=5113] ppid=5078 vsize=8414124 memory=274612 CPUtime=0 cores=0-7
/proc/5101/task/5113/stat : 5113 (java) S 5078 5078 4774 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 509856684 8616062976 30004 33554432000 4194304 4196468 140725534075696 139887621690096 139889445971669 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19181568 140725534077944 140725534078102 140725534078102 140725534080975 0
[pid=5101/tid=5114] ppid=5078 vsize=8414124 memory=1164 CPUtime=0 cores=0-7
/proc/5101/task/5114/stat : 5114 (java) S 5078 5078 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509856686 8616062976 30004 33554432000 4194304 4196468 140725534075696 139887247185872 139889445980059 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19181568 140725534077944 140725534078102 140725534078102 140725534080975 0
[pid=5101/tid=5115] ppid=5078 vsize=8414124 memory=8317482817917895235 CPUtime=0.05 cores=0-7
/proc/5101/task/5115/stat : 5115 (java) S 5078 5078 4774 0 -1 1077944384 558 0 0 0 5 0 0 0 20 0 24 0 509856686 8616062976 30004 33554432000 4194304 4196468 140725534075696 139888672656112 139889445972610 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19181568 140725534077944 140725534078102 140725534078102 140725534080975 0
[pid=5101/tid=5116] ppid=5078 vsize=8414124 memory=3616 CPUtime=0.04 cores=0-7
/proc/5101/task/5116/stat : 5116 (java) S 5078 5078 4774 0 -1 1077944384 286 0 0 0 4 0 0 0 20 0 24 0 509856686 8616062976 30004 33554432000 4194304 4196468 140725534075696 139888671603568 139889445972610 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19181568 140725534077944 140725534078102 140725534078102 140725534080975 0
[pid=5101/tid=5117] ppid=5078 vsize=8414124 memory=1228 CPUtime=0.08 cores=0-7
/proc/5101/task/5117/stat : 5117 (java) S 5078 5078 4774 0 -1 1077944384 312 0 0 0 8 0 0 0 20 0 24 0 509856686 8616062976 30004 33554432000 4194304 4196468 140725534075696 139888670550512 139889445972610 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19181568 140725534077944 140725534078102 140725534078102 140725534080975 0
[pid=5101/tid=5118] ppid=5078 vsize=8414124 memory=6184 CPUtime=0.19 cores=0-7
/proc/5101/task/5118/stat : 5118 (java) S 5078 5078 4774 0 -1 1077944384 525 0 0 0 19 0 0 0 20 0 24 0 509856686 8616062976 30004 33554432000 4194304 4196468 140725534075696 139888669497968 139889445972610 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19181568 140725534077944 140725534078102 140725534078102 140725534080975 0
[pid=5101/tid=5119] ppid=5078 vsize=8414124 memory=7552 CPUtime=0 cores=0-7
/proc/5101/task/5119/stat : 5119 (java) S 5078 5078 4774 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 509856687 8616062976 30004 33554432000 4194304 4196468 140725534075696 139886749280736 139889445971669 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19181568 140725534077944 140725534078102 140725534078102 140725534080975 0
[pid=5101/tid=5120] ppid=5078 vsize=8414124 memory=2832 CPUtime=0.02 cores=0-7
/proc/5101/task/5120/stat : 5120 (java) S 5078 5078 4774 0 -1 1077944384 5 0 0 0 2 0 0 0 20 0 24 0 509856687 8616062976 30004 33554432000 4194304 4196468 140725534075696 139888668445360 139889445972610 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19181568 140725534077944 140725534078102 140725534078102 140725534080975 0
[pid=5101/tid=5122] ppid=5078 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/5101/task/5122/stat : 5122 (java) S 5078 5078 4774 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 509856753 8616062976 30004 33554432000 4194304 4196468 140725534075696 139888660411328 139889445986073 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 19181568 140725534077944 140725534078102 140725534078102 140725534080975 0
[pid=5101/tid=5124] ppid=5078 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/5101/task/5124/stat : 5124 (java) S 5078 5078 4774 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 509856754 8616062976 30004 33554432000 4194304 4196468 140725534075696 139886078181392 139889445983389 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 19181568 140725534077944 140725534078102 140725534078102 140725534080975 0
[pid=5101/tid=5125] ppid=5078 vsize=8414124 memory=120016 CPUtime=0 cores=0-7
/proc/5101/task/5125/stat : 5125 (java) S 5078 5078 4774 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 24 0 509856754 8616062976 30004 33554432000 4194304 4196468 140725534075696 139886346616976 139889445983389 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 19181568 140725534077944 140725534078102 140725534078102 140725534080975 0
[pid=5101/tid=5126] ppid=5078 vsize=8414124 memory=44023414794247 CPUtime=0 cores=0-7
/proc/5101/task/5126/stat : 5126 (java) S 5078 5078 4774 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 509856756 8616062976 30004 33554432000 4194304 4196468 140725534075696 139885809753520 139889445971669 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19181568 140725534077944 140725534078102 140725534078102 140725534080975 0
Current children cumulated CPU time: 295.33 s
Current children cumulated vsize: 9197664 KiB
Current children cumulated memory: 400312 KiB

[startup+43.2012 s]
/proc/loadavg: 3.65 0.96 0.36 5/220 5144
/proc/meminfo: memFree=25111340/32770624 swapFree=66986396/67108860
[pid=5078] ppid=5075 vsize=113128 memory=1476 CPUtime=15.48 cores=0-7
/proc/5078/stat : 5078 (scop.sh) S 5075 5078 4774 0 -1 4202496 583 38428 0 0 0 0 1504 44 20 0 1 0 509856055 115843072 369 33554432000 4194304 5098028 140736775477472 140736775474216 140653366485628 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 12931072 140736775480101 140736775480428 140736775480428 140736775483341 0
/proc/5078/statm: 28282 369 311 221 0 87 0
[pid=5101] ppid=5078 vsize=8414124 memory=120016 CPUtime=1.19 cores=0-7
/proc/5101/stat : 5101 (java) S 5078 5078 4774 0 -1 1077944320 20004 0 0 0 112 7 0 0 20 0 24 0 509856680 8616062976 30004 33554432000 4194304 4196468 140725534075696 140725534058240 139889445961463 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 19181568 140725534077944 140725534078102 140725534078102 140725534080975 0
/proc/5101/statm: 2103531 30004 3200 1 0 2064875 0
[pid=5121] ppid=5101 vsize=670716 memory=279288 CPUtime=283.15 cores=0-7
/proc/5121/stat : 5121 (manyglucose-4.1) S 5101 5078 4774 0 -1 1077944320 215587 0 0 0 28267 48 0 0 20 0 4 0 509856753 686813184 69822 33554432000 4194304 4454172 140722405724736 140722405723120 140330032217847 0 4 0 8388610 18446744073709551615 0 0 17 7 0 0 0 0 0 6552832 6554400 15294464 140722405733226 140722405733424 140722405733424 140722405736378 0
/proc/5121/statm: 167679 69822 419 64 0 163347 0
[pid=5121/tid=5130] ppid=5101 vsize=670716 memory=120016 CPUtime=35.79 cores=0-7
/proc/5121/task/5130/stat : 5130 (manyglucose-4.1) R 5101 5078 4774 0 -1 4202560 26220 0 0 0 3574 5 0 0 20 0 4 0 509856760 686813184 69822 33554432000 4194304 4454172 140722405724736 140329985670280 4351800 0 4 0 8388610 0 0 0 -1 3 0 0 0 0 0 6552832 6554400 15294464 140722405733226 140722405733424 140722405733424 140722405736378 0
[pid=5121/tid=5133] ppid=5101 vsize=670716 memory=1728 CPUtime=36.12 cores=0-7
/proc/5121/task/5133/stat : 5133 (manyglucose-4.1) R 5101 5078 4774 0 -1 4202560 28350 0 0 0 3606 6 0 0 20 0 4 0 509856760 686813184 69822 33554432000 4194304 4454172 140722405724736 140329960491768 4351747 0 4 0 8388610 0 0 0 -1 6 0 0 0 0 0 6552832 6554400 15294464 140722405733226 140722405733424 140722405733424 140722405736378 0
[pid=5121/tid=5134] ppid=5101 vsize=670716 memory=692 CPUtime=35.71 cores=0-7
/proc/5121/task/5134/stat : 5134 (manyglucose-4.1) R 5101 5078 4774 0 -1 4202560 26049 0 0 0 3567 4 0 0 20 0 4 0 509856760 686813184 69822 33554432000 4194304 4454172 140722405724736 140329952099192 140722407124177 0 4 0 8388610 0 0 0 -1 4 0 0 0 0 0 6552832 6554400 15294464 140722405733226 140722405733424 140722405733424 140722405736378 0
[pid=5101/tid=5102] ppid=5078 vsize=8414124 memory=1056 CPUtime=0.76 cores=0-7
/proc/5101/task/5102/stat : 5102 (java) S 5078 5078 4774 0 -1 1077944384 16901 0 0 0 71 5 0 0 20 0 24 0 509856681 8616062976 30004 33554432000 4194304 4196468 140725534075696 139889417801632 139889445971669 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19181568 140725534077944 140725534078102 140725534078102 140725534080975 0
[pid=5101/tid=5103] ppid=5078 vsize=8414124 memory=1556 CPUtime=0 cores=0-7
/proc/5101/task/5103/stat : 5103 (java) S 5078 5078 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509856682 8616062976 30004 33554432000 4194304 4196468 140725534075696 139889450203664 139889445971669 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19181568 140725534077944 140725534078102 140725534078102 140725534080975 0
[pid=5101/tid=5104] ppid=5078 vsize=8414124 memory=780 CPUtime=0 cores=0-7
/proc/5101/task/5104/stat : 5104 (java) S 5078 5078 4774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 509856682 8616062976 30004 33554432000 4194304 4196468 140725534075696 139889250372240 139889445971669 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19181568 140725534077944 140725534078102 140725534078102 140725534080975 0
[pid=5101/tid=5105] ppid=5078 vsize=8414124 memory=3616 CPUtime=0 cores=0-7
/proc/5101/task/5105/stat : 5105 (java) S 5078 5078 4774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 509856682 8616062976 30004 33554432000 4194304 4196468 140725534075696 139889249319184 139889445971669 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19181568 140725534077944 140725534078102 140725534078102 140725534080975 0
[pid=5101/tid=5106] ppid=5078 vsize=8414124 memory=1228 CPUtime=0 cores=0-7
/proc/5101/task/5106/stat : 5106 (java) S 5078 5078 4774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 509856682 8616062976 30004 33554432000 4194304 4196468 140725534075696 139889248266640 139889445971669 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19181568 140725534077944 140725534078102 140725534078102 140725534080975 0
[pid=5101/tid=5107] ppid=5078 vsize=8414124 memory=6184 CPUtime=0 cores=0-7
/proc/5101/task/5107/stat : 5107 (java) S 5078 5078 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509856682 8616062976 30004 33554432000 4194304 4196468 140725534075696 139889247214608 139889445971669 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19181568 140725534077944 140725534078102 140725534078102 140725534080975 0
[pid=5101/tid=5108] ppid=5078 vsize=8414124 memory=7552 CPUtime=0 cores=0-7
/proc/5101/task/5108/stat : 5108 (java) S 5078 5078 4774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 509856682 8616062976 30004 33554432000 4194304 4196468 140725534075696 139889246162064 139889445971669 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19181568 140725534077944 140725534078102 140725534078102 140725534080975 0
[pid=5101/tid=5109] ppid=5078 vsize=8414124 memory=2832 CPUtime=0 cores=0-7
/proc/5101/task/5109/stat : 5109 (java) S 5078 5078 4774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 509856682 8616062976 30004 33554432000 4194304 4196468 140725534075696 139889245109008 139889445971669 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19181568 140725534077944 140725534078102 140725534078102 140725534080975 0
[pid=5101/tid=5110] ppid=5078 vsize=8414124 memory=1084 CPUtime=0 cores=0-7
/proc/5101/task/5110/stat : 5110 (java) S 5078 5078 4774 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 509856682 8616062976 30004 33554432000 4194304 4196468 140725534075696 139889244056464 139889445971669 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19181568 140725534077944 140725534078102 140725534078102 140725534080975 0
[pid=5101/tid=5111] ppid=5078 vsize=8414124 memory=14012 CPUtime=0 cores=0-7
/proc/5101/task/5111/stat : 5111 (java) S 5078 5078 4774 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 509856683 8616062976 30004 33554432000 4194304 4196468 140725534075696 139888673708272 139889445972610 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19181568 140725534077944 140725534078102 140725534078102 140725534080975 0
[pid=5101/tid=5112] ppid=5078 vsize=8414124 memory=14048 CPUtime=0 cores=0-7
/proc/5101/task/5112/stat : 5112 (java) S 5078 5078 4774 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 509856684 8616062976 30004 33554432000 4194304 4196468 140725534075696 139887755912352 139889445971669 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19181568 140725534077944 140725534078102 140725534078102 140725534080975 0
[pid=5101/tid=5113] ppid=5078 vsize=8414124 memory=34712 CPUtime=0 cores=0-7
/proc/5101/task/5113/stat : 5113 (java) S 5078 5078 4774 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 509856684 8616062976 30004 33554432000 4194304 4196468 140725534075696 139887621690096 139889445971669 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19181568 140725534077944 140725534078102 140725534078102 140725534080975 0
[pid=5101/tid=5114] ppid=5078 vsize=8414124 memory=2120 CPUtime=0 cores=0-7
/proc/5101/task/5114/stat : 5114 (java) S 5078 5078 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509856686 8616062976 30004 33554432000 4194304 4196468 140725534075696 139887247185872 139889445980059 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19181568 140725534077944 140725534078102 140725534078102 140725534080975 0
[pid=5101/tid=5115] ppid=5078 vsize=8414124 memory=532 CPUtime=0.05 cores=0-7
/proc/5101/task/5115/stat : 5115 (java) S 5078 5078 4774 0 -1 1077944384 558 0 0 0 5 0 0 0 20 0 24 0 509856686 8616062976 30004 33554432000 4194304 4196468 140725534075696 139888672656112 139889445972610 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19181568 140725534077944 140725534078102 140725534078102 140725534080975 0
[pid=5101/tid=5116] ppid=5078 vsize=8414124 memory=1564 CPUtime=0.04 cores=0-7
/proc/5101/task/5116/stat : 5116 (java) S 5078 5078 4774 0 -1 1077944384 286 0 0 0 4 0 0 0 20 0 24 0 509856686 8616062976 30004 33554432000 4194304 4196468 140725534075696 139888671603568 139889445972610 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19181568 140725534077944 140725534078102 140725534078102 140725534080975 0
[pid=5101/tid=5117] ppid=5078 vsize=8414124 memory=924 CPUtime=0.08 cores=0-7
/proc/5101/task/5117/stat : 5117 (java) S 5078 5078 4774 0 -1 1077944384 312 0 0 0 8 0 0 0 20 0 24 0 509856686 8616062976 30004 33554432000 4194304 4196468 140725534075696 139888670550512 139889445972610 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19181568 140725534077944 140725534078102 140725534078102 140725534080975 0
[pid=5101/tid=5118] ppid=5078 vsize=8414124 memory=532 CPUtime=0.19 cores=0-7
/proc/5101/task/5118/stat : 5118 (java) S 5078 5078 4774 0 -1 1077944384 525 0 0 0 19 0 0 0 20 0 24 0 509856686 8616062976 30004 33554432000 4194304 4196468 140725534075696 139888669497968 139889445972610 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19181568 140725534077944 140725534078102 140725534078102 140725534080975 0
[pid=5101/tid=5119] ppid=5078 vsize=8414124 memory=1564 CPUtime=0 cores=0-7
/proc/5101/task/5119/stat : 5119 (java) S 5078 5078 4774 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 509856687 8616062976 30004 33554432000 4194304 4196468 140725534075696 139886749280736 139889445971669 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19181568 140725534077944 140725534078102 140725534078102 140725534080975 0
[pid=5101/tid=5120] ppid=5078 vsize=8414124 memory=924 CPUtime=0.02 cores=0-7
/proc/5101/task/5120/stat : 5120 (java) S 5078 5078 4774 0 -1 1077944384 5 0 0 0 2 0 0 0 20 0 24 0 509856687 8616062976 30004 33554432000 4194304 4196468 140725534075696 139888668445360 139889445972610 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19181568 140725534077944 140725534078102 140725534078102 140725534080975 0
[pid=5101/tid=5122] ppid=5078 vsize=8414124 memory=1760 CPUtime=0 cores=0-7
/proc/5101/task/5122/stat : 5122 (java) S 5078 5078 4774 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 509856753 8616062976 30004 33554432000 4194304 4196468 140725534075696 139888660411328 139889445986073 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 19181568 140725534077944 140725534078102 140725534078102 140725534080975 0
[pid=5101/tid=5124] ppid=5078 vsize=8414124 memory=1440 CPUtime=0 cores=0-7
/proc/5101/task/5124/stat : 5124 (java) S 5078 5078 4774 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 509856754 8616062976 30004 33554432000 4194304 4196468 140725534075696 139886078181392 139889445983389 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 19181568 140725534077944 140725534078102 140725534078102 140725534080975 0
[pid=5101/tid=5125] ppid=5078 vsize=8414124 memory=912 CPUtime=0 cores=0-7
/proc/5101/task/5125/stat : 5125 (java) S 5078 5078 4774 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 24 0 509856754 8616062976 30004 33554432000 4194304 4196468 140725534075696 139886346616976 139889445983389 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 19181568 140725534077944 140725534078102 140725534078102 140725534080975 0
[pid=5101/tid=5126] ppid=5078 vsize=8414124 memory=1984 CPUtime=0 cores=0-7
/proc/5101/task/5126/stat : 5126 (java) S 5078 5078 4774 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 509856756 8616062976 30004 33554432000 4194304 4196468 140725534075696 139885809753520 139889445971669 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19181568 140725534077944 140725534078102 140725534078102 140725534080975 0
Current children cumulated CPU time: 299.82 s
Current children cumulated vsize: 9197968 KiB
Current children cumulated memory: 400780 KiB

[startup+43.6024 s]
/proc/loadavg: 3.65 0.96 0.36 5/220 5144
/proc/meminfo: memFree=25111340/32770624 swapFree=66986396/67108860
[pid=5078] ppid=5075 vsize=113128 memory=1476 CPUtime=15.48 cores=0-7
/proc/5078/stat : 5078 (scop.sh) S 5075 5078 4774 0 -1 4202496 583 38428 0 0 0 0 1504 44 20 0 1 0 509856055 115843072 369 33554432000 4194304 5098028 140736775477472 140736775474216 140653366485628 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 12931072 140736775480101 140736775480428 140736775480428 140736775483341 0
/proc/5078/statm: 28282 369 311 221 0 87 0
[pid=5101] ppid=5078 vsize=8414124 memory=121068 CPUtime=1.23 cores=0-7
/proc/5101/stat : 5101 (java) S 5078 5078 4774 0 -1 1077944320 20235 0 0 0 116 7 0 0 20 0 24 0 509856680 8616062976 30267 33554432000 4194304 4196468 140725534075696 140725534058240 139889445961463 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 19181568 140725534077944 140725534078102 140725534078102 140725534080975 0
/proc/5101/statm: 2103531 30267 3208 1 0 2064875 0
[pid=5101/tid=5102] ppid=5078 vsize=8414124 memory=2832 CPUtime=0.76 cores=0-7
/proc/5101/task/5102/stat : 5102 (java) S 5078 5078 4774 0 -1 1077944384 16901 0 0 0 71 5 0 0 20 0 24 0 509856681 8616062976 30267 33554432000 4194304 4196468 140725534075696 139889417801632 139889445971669 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19181568 140725534077944 140725534078102 140725534078102 140725534080975 0
[pid=5101/tid=5103] ppid=5078 vsize=8414124 memory=1084 CPUtime=0 cores=0-7
/proc/5101/task/5103/stat : 5103 (java) S 5078 5078 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509856682 8616062976 30267 33554432000 4194304 4196468 140725534075696 139889450203664 139889445971669 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19181568 140725534077944 140725534078102 140725534078102 140725534080975 0
[pid=5101/tid=5104] ppid=5078 vsize=8414124 memory=14012 CPUtime=0 cores=0-7
/proc/5101/task/5104/stat : 5104 (java) S 5078 5078 4774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 509856682 8616062976 30267 33554432000 4194304 4196468 140725534075696 139889250372240 139889445971669 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19181568 140725534077944 140725534078102 140725534078102 140725534080975 0
[pid=5101/tid=5105] ppid=5078 vsize=8414124 memory=14048 CPUtime=0 cores=0-7
/proc/5101/task/5105/stat : 5105 (java) S 5078 5078 4774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 509856682 8616062976 30267 33554432000 4194304 4196468 140725534075696 139889249319184 139889445971669 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19181568 140725534077944 140725534078102 140725534078102 140725534080975 0
[pid=5101/tid=5106] ppid=5078 vsize=8414124 memory=34712 CPUtime=0 cores=0-7
/proc/5101/task/5106/stat : 5106 (java) S 5078 5078 4774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 509856682 8616062976 30267 33554432000 4194304 4196468 140725534075696 139889248266640 139889445971669 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19181568 140725534077944 140725534078102 140725534078102 140725534080975 0
[pid=5101/tid=5107] ppid=5078 vsize=8414124 memory=2120 CPUtime=0 cores=0-7
/proc/5101/task/5107/stat : 5107 (java) S 5078 5078 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509856682 8616062976 30267 33554432000 4194304 4196468 140725534075696 139889247214608 139889445971669 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19181568 140725534077944 140725534078102 140725534078102 140725534080975 0
[pid=5101/tid=5108] ppid=5078 vsize=8414124 memory=4136 CPUtime=0 cores=0-7
/proc/5101/task/5108/stat : 5108 (java) S 5078 5078 4774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 509856682 8616062976 30267 33554432000 4194304 4196468 140725534075696 139889246162064 139889445971669 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19181568 140725534077944 140725534078102 140725534078102 140725534080975 0
[pid=5101/tid=5109] ppid=5078 vsize=8414124 memory=1412 CPUtime=0 cores=0-7
/proc/5101/task/5109/stat : 5109 (java) S 5078 5078 4774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 509856682 8616062976 30267 33554432000 4194304 4196468 140725534075696 139889245109008 139889445971669 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19181568 140725534077944 140725534078102 140725534078102 140725534080975 0
[pid=5101/tid=5110] ppid=5078 vsize=8414124 memory=3328 CPUtime=0 cores=0-7
/proc/5101/task/5110/stat : 5110 (java) S 5078 5078 4774 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 509856682 8616062976 30267 33554432000 4194304 4196468 140725534075696 139889244056464 139889445971669 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19181568 140725534077944 140725534078102 140725534078102 140725534080975 0
[pid=5101/tid=5111] ppid=5078 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/5101/task/5111/stat : 5111 (java) S 5078 5078 4774 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 509856683 8616062976 30267 33554432000 4194304 4196468 140725534075696 139888673708272 139889445972610 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19181568 140725534077944 140725534078102 140725534078102 140725534080975 0
[pid=5101/tid=5112] ppid=5078 vsize=8414124 memory=120016 CPUtime=0 cores=0-7
/proc/5101/task/5112/stat : 5112 (java) S 5078 5078 4774 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 509856684 8616062976 30267 33554432000 4194304 4196468 140725534075696 139887755912352 139889445971669 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19181568 140725534077944 140725534078102 140725534078102 140725534080975 0
[pid=5101/tid=5113] ppid=5078 vsize=8414124 memory=278696 CPUtime=0 cores=0-7
/proc/5101/task/5113/stat : 5113 (java) S 5078 5078 4774 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 509856684 8616062976 30267 33554432000 4194304 4196468 140725534075696 139887621690096 139889445971669 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19181568 140725534077944 140725534078102 140725534078102 140725534080975 0
[pid=5101/tid=5114] ppid=5078 vsize=8414124 memory=1164 CPUtime=0 cores=0-7
/proc/5101/task/5114/stat : 5114 (java) S 5078 5078 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509856686 8616062976 30267 33554432000 4194304 4196468 140725534075696 139887247185872 139889445980059 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19181568 140725534077944 140725534078102 140725534078102 140725534080975 0
[pid=5101/tid=5115] ppid=5078 vsize=8414124 memory=8317482817917895235 CPUtime=0.06 cores=0-7
/proc/5101/task/5115/stat : 5115 (java) R 5078 5078 4774 0 -1 4202560 563 0 0 0 6 0 0 0 20 0 24 0 509856686 8616062976 30267 33554432000 4194304 4196468 140725534075696 139888672656112 139889427314942 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19181568 140725534077944 140725534078102 140725534078102 140725534080975 0
[pid=5101/tid=5116] ppid=5078 vsize=8414124 memory=0 CPUtime=0.04 cores=0-7
/proc/5101/task/5116/stat : 5116 (java) R 5078 5078 4774 0 -1 4202560 293 0 0 0 4 0 0 0 20 0 24 0 509856686 8616062976 30267 33554432000 4194304 4196468 140725534075696 139888671595520 139889445973398 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19181568 140725534077944 140725534078102 140725534078102 140725534080975 0
[pid=5101/tid=5117] ppid=5078 vsize=8414124 memory=0 CPUtime=0.08 cores=0-7
/proc/5101/task/5117/stat : 5117 (java) R 5078 5078 4774 0 -1 4202560 317 0 0 0 8 0 0 0 20 0 24 0 509856686 8616062976 30267 33554432000 4194304 4196468 140725534075696 139888670540304 139889445982810 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19181568 140725534077944 140725534078102 140725534078102 140725534080975 0
[pid=5101/tid=5118] ppid=5078 vsize=8414124 memory=0 CPUtime=0.2 cores=0-7
/proc/5101/task/5118/stat : 5118 (java) R 5078 5078 4774 0 -1 4202560 738 0 0 0 20 0 0 0 20 0 24 0 509856686 8616062976 30267 33554432000 4194304 4196468 140725534075696 139888669495760 139889424940637 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19181568 140725534077944 140725534078102 140725534078102 140725534080975 0
[pid=5101/tid=5119] ppid=5078 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/5101/task/5119/stat : 5119 (java) S 5078 5078 4774 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 509856687 8616062976 30267 33554432000 4194304 4196468 140725534075696 139886749280736 139889445971669 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19181568 140725534077944 140725534078102 140725534078102 140725534080975 0
[pid=5101/tid=5120] ppid=5078 vsize=8414124 memory=0 CPUtime=0.02 cores=0-7
/proc/5101/task/5120/stat : 5120 (java) S 5078 5078 4774 0 -1 1077944384 5 0 0 0 2 0 0 0 20 0 24 0 509856687 8616062976 30267 33554432000 4194304 4196468 140725534075696 139888668445360 139889445972610 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19181568 140725534077944 140725534078102 140725534078102 140725534080975 0
[pid=5101/tid=5122] ppid=5078 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/5101/task/5122/stat : 5122 (java) S 5078 5078 4774 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 509856753 8616062976 30267 33554432000 4194304 4196468 140725534075696 139888660411328 139889445986073 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 19181568 140725534077944 140725534078102 140725534078102 140725534080975 0
[pid=5101/tid=5124] ppid=5078 vsize=8414124 memory=0 CPUtime=0.01 cores=0-7
/proc/5101/task/5124/stat : 5124 (java) R 5078 5078 4774 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 24 0 509856754 8616062976 30267 33554432000 4194304 4196468 140725534075696 139886078187776 139889445983293 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19181568 140725534077944 140725534078102 140725534078102 140725534080975 0
[pid=5101/tid=5125] ppid=5078 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/5101/task/5125/stat : 5125 (java) S 5078 5078 4774 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 24 0 509856754 8616062976 30267 33554432000 4194304 4196468 140725534075696 139886346616976 139889445983389 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 19181568 140725534077944 140725534078102 140725534078102 140725534080975 0
[pid=5101/tid=5126] ppid=5078 vsize=8414124 memory=140583407604049 CPUtime=0 cores=0-7
/proc/5101/task/5126/stat : 5126 (java) S 5078 5078 4774 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 509856756 8616062976 30267 33554432000 4194304 4196468 140725534075696 139885809753520 139889445971669 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19181568 140725534077944 140725534078102 140725534078102 140725534080975 0
Current children cumulated CPU time: 16.71 s
Current children cumulated vsize: 8527252 KiB
Current children cumulated memory: 122544 KiB

Child status: 0
Real time (s): 43.6305
CPU time (s): 300.703
CPU user time (s): 299.667
CPU system time (s): 1.03583
CPU usage (%): 689.203
Max. virtual memory (cumulated for all children) (KiB): 27441876
Max. memory (cumulated for all children) (KiB): 2081204

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 299.667
system time used= 1.03583
maximum resident set size= 2082708
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 275172
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1672
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 13848
involuntary context switches= 2910


# summary of solver processes directly reported to runsolver:
#   pid: 5078
#   total CPU time (s): 300.703
#   total CPU user time (s): 299.667
#   total CPU system time (s): 1.03583

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.432446 second user time and 0.575048 second system time

The end

Launcher Data 

Begin job on node104 at 2019-09-24 15:29:31
IDJOB=4405184
IDBENCH=126185
IDSOLVER=2867
FILE ID=node104/4405184-1569335994
RUNJOBID= node104-1569331756-4801
PBS_JOBID= 21705071
Free space on /tmp= 9832 MiB

SOLVER NAME= Fun-sCOP order+ManyGlucose (2019-09-22)
BENCH NAME= XCSP17/QRandom/QRandom-geometric-rw/geometric-50-20-d4-75-94.xml
COMMAND LINE= DIR/scop.sh 22g DIR/scop.jar -order DIR/manyglucose-4.1-27_release -model:-nthreads=NBCORE:-maxmemory=20000:-lit-scans=6000000 TMPDIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4405184-1569335994/watcher-4405184-1569335994 -o /tmp/evaluation-result-4405184-1569335994/solver-4405184-1569335994 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node104-1569331756-4801 --watchdog 2580  HOME/scop.sh 22g HOME/scop.jar -order HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4405184-1569335994.xml

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

MD5SUM BENCH= 6d6d0435d13d3ff0671cf8a5c787b057
RANDOM SEED=1849938884

node104.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	: 5334.09
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	: 5334.09
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	: 5334.09
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	: 5334.09
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:        25497892 kB
MemAvailable:   31820356 kB
Buffers:           94908 kB
Cached:          6292484 kB
SwapCached:        22644 kB
Active:          3176952 kB
Inactive:        3236896 kB
Active(anon):       4512 kB
Inactive(anon):    79852 kB
Active(file):    3172440 kB
Inactive(file):  3157044 kB
Unevictable:      109704 kB
Mlocked:          109704 kB
SwapTotal:      67108860 kB
SwapFree:       66986396 kB
Dirty:             21480 kB
Writeback:             0 kB
AnonPages:        114548 kB
Mapped:            56524 kB
Shmem:             49032 kB
Slab:             450920 kB
SReclaimable:     421440 kB
SUnreclaim:        29480 kB
KernelStack:        3392 kB
PageTables:         5328 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     505660 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     69632 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      124288 kB
DirectMap2M:    33421312 kB

Free space on /tmp at the end= 9812 MiB
End job on node104 at 2019-09-24 15:30:15