Trace number 4392393

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Fun-sCOP order+ManyGlucose (2019-06-15)UNSAT 602.58 79.0747

General information on the benchmark

NameLangford/Langford-m1-k3/
Langford-3-14.xml
MD5SUMbe7a6961e736c78e558242a96ea5fa7b
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 benchmark45.3998
Satisfiable
(Un)Satisfiability was proved
Number of variables42
Number of constraints29
Number of domains1
Minimum domain size42
Maximum domain size42
Distribution of domain sizes[{"size":42,"count":42}]
Minimum variable degree2
Maximum variable degree3
Distribution of variable degrees[{"degree":2,"count":28},{"degree":3,"count":14}]
Minimum constraint arity2
Maximum constraint arity42
Distribution of constraint arities[{"arity":2,"count":28},{"arity":42,"count":1}]
Number of extensional constraints0
Number of intensional constraints28
Distribution of constraint types[{"type":"intension","count":28},{"type":"allDifferent","count":1}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c (scop.sh) java -Xms22g -Xmx22g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Encode -order -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-20628-serial-file.bin HOME/instance-4392393-1568424434.xml
0.66/0.54	
0.66/0.54	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
0.66/0.54	
0.66/0.56	c BEGIN-Prog: Sat Sep 14 03:26:35 CEST 2019
0.66/0.56	c PID: 20631
0.66/0.56	c IP: 172.20.3.124
0.66/0.56	c HOST: node124.alineos.net
0.66/0.57	c (0,0) Parsing Begin
1.18/0.87	c (0,0) Parsing End
1.18/0.87	c (0,0) CSP: 42 int (0 aux), 0 bool (0 aux), 29 ctr, max domain size 42
1.18/0.87	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.18/0.87	c (0,0) Constraint Name Generate Begin
1.18/0.88	c (0,0) Ctr:HOME/instance-4392393-1568424434.xml,Add:AllDifferent:Eq:Num:Var
1.18/0.88	c (0,0) Constraint Name Generate End
1.18/0.88	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.18/0.88	c (0,0) CSP to CSPinCNF Begin
2.11/1.28	c (0,0) translated 3 (10%) constraints
2.11/1.28	c (0,0) translated 6 (20%) constraints
2.11/1.28	c (0,0) translated 9 (30%) constraints
2.11/1.28	c (0,0) translated 12 (40%) constraints
2.11/1.28	c (0,0) translated 15 (50%) constraints
2.11/1.28	c (0,0) translated 18 (60%) constraints
2.11/1.28	c (0,0) translated 21 (70%) constraints
2.11/1.28	c (0,0) translated 24 (80%) constraints
2.11/1.28	c (0,0) translated 27 (90%) constraints
2.11/1.28	c (0,0) translated 29 (100%) constraints
2.11/1.28	c (0,0) ===========================================
2.11/1.28	c (0,0) Order
2.11/1.28	c (0,0) ===========================================
2.45/1.31	c (0,0) translated 94 (10%) constraints
2.45/1.32	c (0,0) translated 187 (20%) constraints
2.45/1.33	c (0,0) translated 280 (30%) constraints
2.45/1.34	c (0,0) translated 374 (40%) constraints
2.45/1.35	c (0,0) translated 467 (50%) constraints
2.45/1.36	c (0,0) translated 560 (60%) constraints
2.45/1.37	c (0,0) translated 654 (70%) constraints
2.45/1.37	c (0,0) translated 747 (80%) constraints
2.45/1.38	c (0,0) translated 840 (90%) constraints
3.13/1.59	c (1,1) translated 933 (100%) constraints
3.13/1.60	c (1,1) CSP to CSPinCNF End
3.52/1.60	c (1,1) CSP: 42 int (0 aux), 1764 bool (1764 aux), 4489 ctr, max domain size 38
3.52/1.60	c (1,1) Heap : 337 MiB used (max 21589 MiB), NonHeap : 24 MiB used (max 0 MiB)
3.52/1.60	c (1,1) CSPinCNF Propagation Begin
3.95/1.71	c (1,1) 714 values, 1557 unsatisfiable literals, and 1579 valid clauses are removed
3.95/1.71	c (1,1) CSPinCNF Propagation End
3.95/1.71	c (1,1) CSP: 42 int (0 aux), 1764 bool (1764 aux), 2910 ctr, max domain size 38
3.95/1.71	c (1,1) Heap : 450 MiB used (max 21589 MiB), NonHeap : 25 MiB used (max 0 MiB)
3.95/1.71	c (1,1) Simplify CSPinCNF Begin
3.95/1.78	c (1,1) Simplify CSPinCNF End
3.95/1.78	c (1,1) CSP: 42 int (0 aux), 3340 bool (3340 aux), 4486 ctr, max domain size 38
3.95/1.78	c (1,1) Heap : 450 MiB used (max 21589 MiB), NonHeap : 25 MiB used (max 0 MiB)
3.95/1.78	c (1,1) Calculate Precise Domain Begin
3.95/1.78	c (1,1) 0 values are removed by re-calculation
3.95/1.78	c (1,1) Calculate Precise Domain End
3.95/1.78	c (1,1) CSP: 42 int (0 aux), 3340 bool (3340 aux), 4486 ctr, max domain size 38
3.95/1.78	c (1,1) Heap : 450 MiB used (max 21589 MiB), NonHeap : 25 MiB used (max 0 MiB)
3.95/1.78	c (1,1) CSPinCNF to SatSolver Begin
5.23/2.04	c (1,1) 449 (10 %) CSP clauses are encoded (0 SAT variables, 7692 SAT clauses)
5.67/2.11	c (1,1) 898 (20 %) CSP clauses are encoded (0 SAT variables, 12667 SAT clauses)
5.67/2.16	c (1,1) 1346 (30 %) CSP clauses are encoded (0 SAT variables, 16343 SAT clauses)
6.04/2.22	c (1,1) 1795 (40 %) CSP clauses are encoded (0 SAT variables, 22440 SAT clauses)
6.04/2.26	c (1,1) 2243 (50 %) CSP clauses are encoded (0 SAT variables, 27290 SAT clauses)
6.04/2.28	c (1,1) 2692 (60 %) CSP clauses are encoded (0 SAT variables, 29105 SAT clauses)
6.04/2.29	c (1,1) 3141 (70 %) CSP clauses are encoded (0 SAT variables, 29554 SAT clauses)
6.04/2.30	c (1,1) 3589 (80 %) CSP clauses are encoded (0 SAT variables, 30002 SAT clauses)
6.44/2.30	c (1,1) 4038 (90 %) CSP clauses are encoded (0 SAT variables, 30451 SAT clauses)
6.44/2.31	c (1,1) 4486 (100 %) CSP clauses are encoded (0 SAT variables, 32177 SAT clauses)
6.44/2.31	c (1,1) CSPinCNF to SatSolver End
6.44/2.31	c (1,1) Heap : 563 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB)
6.44/2.31	c (1,1) 3634 bool, 32188 clause
6.44/2.31	c (1,1) Export Begin
6.44/2.39	c (1,1) Export to HOME/scop-20628-serial-file.bin
6.44/2.39	c (1,1) Export End
6.44/2.40	c (1,1) Export File Size: 0.01 MB
6.44/2.40	c (1,1) 0,0,1,1,1,1,1,STOP-AFTER(DIMACS)
6.44/2.40	c END-Prog: Sat Sep 14 03:26:37 CEST 2019
6.74/2.42	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-20628-serial-file.bin
6.75/2.87	c (0,0) Read Serial File Begin
6.75/2.87	c (0,0) HOME/scop-20628-serial-file.bin
7.52/3.07	c (0,0) Read Serial File End
7.52/3.08	
7.52/3.08	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
7.52/3.08	(Solving Process)
7.52/3.08	
7.52/3.10	c BEGIN-Prog: Sat Sep 14 03:26:38 CEST 2019
7.52/3.10	c PID: 20651
7.52/3.10	c IP: 172.20.3.124
7.52/3.10	c HOST: node124.alineos.net
7.68/3.11	c (0,0) SatSolver.solve Begin
7.68/3.11	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4392393-1568424434.xml-scop-20631.cnf
7.68/3.14	c (0,0) c
7.68/3.14	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)
7.68/3.14	c (0,0) c
7.68/3.14	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
7.68/3.14	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
7.68/3.14	c (0,0) c ========================================[ Problem Statistics ]===========================================
7.68/3.14	c (0,0) c |                                                                                                       |
7.68/3.14	c (0,0) c |  Number of variables:          3634                                                                   |
7.68/3.14	c (0,0) c |  Number of clauses:           32188                                                                   |
7.68/3.14	c (0,0) c |  Parse time:                   0.01 s                                                                 |
7.68/3.14	c (0,0) c |                                                                                                       |
7.68/3.17	c (0,0) c |  Simplification time:          0.03 s                                                                 |
7.68/3.17	c (0,0) c |                                                                                                       |
7.68/3.17	c (0,0) c |  Generating clones                                                                                    |
7.68/3.18	c (0,0) c |  all clones generated. Memory =    42.31Mb.                                                           |
7.68/3.18	c (0,0) c ========================================================================================================|
7.68/3.18	c (0,0) c
7.68/3.18	c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
7.68/3.18	c (0,0) c
7.68/3.18	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
7.68/3.18	c (0,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
7.68/3.18	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
7.68/3.18	c (0,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
7.68/3.18	c (0,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
7.68/3.18	c (0,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
7.68/3.18	c (0,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
7.68/3.18	c (0,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
7.68/3.18	c (0,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
7.68/3.18	c (0,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
7.68/3.18	c (0,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
7.68/3.18	c (0,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
7.68/3.18	c (0,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
7.68/3.18	c (0,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
7.68/3.18	c (0,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
7.68/3.18	c (0,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
7.68/3.18	c (0,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
7.68/3.18	c (0,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
7.68/3.18	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
245.72/33.05	c (30,0) c
245.72/33.05	c (30,0) c |------------------------------------------------------------------------------------------------------------------------|
245.72/33.05	c (30,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
245.72/33.05	c (30,0) c |------------------------------------------------------------------------------------------------------------------------|
245.72/33.05	c (30,0) c |  0 |    347 |     206636 |     132435 |    30292 |    41044 |    16660 |   106218 |    13062 |      332 |  20 |  0.083 |
245.72/33.05	c (30,0) c |  1 |    399 |     212403 |     132619 |    30225 |    41234 |    15155 |   107239 |    13208 |      328 |  20 |  0.085 |
245.72/33.05	c (30,0) c |  2 |    380 |     212884 |     130542 |    30402 |    39153 |    15734 |   105424 |    13355 |      322 |  20 |  0.083 |
245.72/33.05	c (30,0) c |  3 |    292 |     207243 |     132679 |    30270 |    41294 |    15502 |   106687 |    13177 |      328 |  20 |  0.084 |
245.72/33.05	c (30,0) c |  4 |    400 |     218056 |     136000 |    30374 |    44616 |    16308 |   108406 |    13928 |      341 |  20 |  0.085 |
245.72/33.05	c (30,0) c |  5 |    298 |     208438 |     132906 |    30251 |    41517 |    15790 |   107229 |    13442 |      331 |  20 |  0.085 |
245.72/33.05	c (30,0) c |  6 |    454 |     215108 |     134912 |    30376 |    43525 |    15582 |   108958 |    13963 |      339 |  20 |  0.085 |
245.72/33.05	c (30,0) c |  7 |    456 |     217075 |     135223 |    30373 |    43833 |    15906 |   108725 |    13871 |      340 |  20 |  0.083 |
245.72/33.05	c (30,0) c 
245.72/33.05	c (30,0) c synthesis     1067316 conflicts   377043455 propagations     4490 conflicts/sec  1586090 propagations/sec
245.72/33.05	c (30,0) c real: 29.9116 s, cpu: 237.719 s, memory: 624.04 Mb
483.48/63.04	c (60,0) c
483.48/63.04	c (60,0) c |------------------------------------------------------------------------------------------------------------------------|
483.48/63.04	c (60,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
483.48/63.04	c (60,0) c |------------------------------------------------------------------------------------------------------------------------|
483.48/63.04	c (60,0) c |  0 |    702 |     341746 |     234096 |    30540 |    35900 |    24628 |   157396 |    22404 |      670 |  20 |  0.085 |
483.48/63.04	c (60,0) c |  1 |    783 |     345871 |     233903 |    30487 |    35712 |    22771 |   159180 |    22503 |      669 |  20 |  0.083 |
483.48/63.04	c (60,0) c |  2 |    724 |     351830 |     236192 |    30581 |    38000 |    23103 |   159386 |    22709 |      672 |  20 |  0.083 |
483.48/63.04	c (60,0) c |  3 |    603 |     342953 |     236908 |    30496 |    38718 |    22640 |   160121 |    22374 |      674 |  20 |  0.083 |
483.48/63.04	c (60,0) c |  4 |    705 |     341277 |     230128 |    30535 |    31942 |    23515 |   156531 |    22495 |      658 |  20 |  0.083 |
483.48/63.04	c (60,0) c |  5 |    580 |     342324 |     236074 |    30496 |    37881 |    23006 |   159063 |    22547 |      673 |  20 |  0.084 |
483.48/63.04	c (60,0) c |  6 |    784 |     344789 |     232968 |    30530 |    34774 |    22493 |   159154 |    22743 |      667 |  20 |  0.083 |
483.48/63.04	c (60,0) c |  7 |    758 |     348659 |     236047 |    30543 |    37855 |    23194 |   159102 |    22866 |      673 |  20 |  0.084 |
483.48/63.04	c (60,0) c 
483.48/63.04	c (60,0) c synthesis     1876316 conflicts   640743059 propagations     3948 conflicts/sec  1348140 propagations/sec
483.48/63.04	c (60,0) c real: 59.9026 s, cpu: 475.279 s, memory: 624.04 Mb
602.43/79.04	c (76,0) c
602.43/79.04	c (76,0) c real time : 75.9099 s
602.43/79.04	c (76,0) c cpu time  : 593.897 s
602.43/79.04	c (76,0) c
602.43/79.04	c (76,0) c
602.43/79.04	c (76,0) c
602.43/79.04	c (76,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
602.43/79.04	c (76,0) c
602.43/79.04	c (76,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
602.43/79.04	c (76,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
602.43/79.04	c (76,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
602.43/79.04	c (76,0) c | Conflicts     |         2263533 |     281868 |     281815 |     284575 |     283210 |     282621 |     283568 |     282201 |     283675 |
602.43/79.04	c (76,0) c | Decisions     |         3270366 |     404726 |     409491 |     415206 |     404794 |     410833 |     404072 |     409823 |     411421 |
602.43/79.04	c (76,0) c | Propagations  |       764586286 |   95271312 |   95536765 |   96433111 |   95269655 |   95803580 |   95617481 |   94919522 |   95734860 |
602.43/79.04	c (76,0) c | ReduceDBs     |             112 |         14 |         14 |         14 |         14 |         14 |         14 |         14 |         14 |
602.43/79.04	c (76,0) c | SimpDBs       |              86 |         11 |         11 |         11 |         10 |         10 |         12 |         11 |         10 |
602.43/79.04	c (76,0) c | Restarts      |            7066 |        876 |        969 |        898 |        797 |        924 |        721 |        958 |        923 |
602.43/79.04	c (76,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
602.43/79.04	c (76,0) c | PropBinClauses|      2101705234 |  261561515 |  262318528 |  265065885 |  262827263 |  262357176 |  263503187 |  261152233 |  262919447 |
602.43/79.04	c (76,0) c | PropPreBlocker|     18166635202 | 2265957333 | 2264365970 | 2282613248 | 2276742121 | 2267101970 | 2274501332 | 2260895305 | 2274457923 |
602.43/79.04	c (76,0) c | PropNotBlocker|      5021652862 |  627653890 |  628379448 |  628492647 |  627321041 |  630242335 |  627973601 |  623744468 |  627845432 |
602.43/79.04	c (76,0) c | LitFullScans  |     40194441135 | 5022448850 | 5023681845 | 5028599048 | 5028553381 | 5022612888 | 5023495247 | 5022686590 | 5022363286 |
602.43/79.04	c (76,0) c | LitScanFracts |         3795309 |     429097 |     298774 |     590243 |     538685 |     609705 |     292107 |     675510 |     361188 |
602.43/79.04	c (76,0) c | DecisionLevel0|            7135 |        883 |        983 |        910 |        802 |        933 |        732 |        965 |        927 |
602.43/79.04	c (76,0) c | Periods       |            6698 |        837 |        837 |        838 |        838 |        837 |        837 |        837 |        837 |
602.43/79.04	c (76,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
602.43/79.04	c (76,0) c | Avg_Trail     |                 |       1858 |       1859 |       1855 |       1851 |       1859 |       1854 |       1864 |       1857 |
602.43/79.04	c (76,0) c | Avg_DL        |                 |         16 |         16 |         17 |         17 |         16 |         16 |         17 |         17 |
602.43/79.04	c (76,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
602.43/79.04	c (76,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
602.43/79.04	c (76,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
602.43/79.04	c (76,0) c | Exported      |          216929 |      28762 |      26776 |      26603 |      26579 |      27863 |      26855 |      26248 |      27243 |
602.43/79.04	c (76,0) c | Imported      |         1486877 |     184175 |     186328 |     186502 |     186689 |     185030 |     186029 |     186316 |     185808 |
602.43/79.04	c (76,0) c | Good          |           59479 |       7437 |       7324 |       7455 |       7445 |       7423 |       7457 |       7490 |       7448 |
602.43/79.04	c (76,0) c | Purge         |         1427398 |     176738 |     179004 |     179047 |     179244 |     177607 |     178572 |     178826 |     178360 |
602.43/79.04	c (76,0) c | Promoted      |          218173 |      27068 |      27204 |      27379 |      26910 |      27511 |      27168 |      27390 |      27543 |
602.43/79.04	c (76,0) c | Remove_Imp    |          881620 |     108363 |     109800 |     111693 |     110115 |     108998 |     112073 |     112407 |     108171 |
602.43/79.04	c (76,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
602.43/79.04	c (76,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
602.43/79.04	c (76,0) c | Unaries       |                 |          7 |         14 |         12 |          5 |          9 |         11 |          7 |          4 |
602.43/79.04	c (76,0) c | Binaries      |                 |       1082 |       1207 |       1083 |       1080 |       1100 |       1052 |       1024 |       1061 |
602.43/79.04	c (76,0) c | Glues         |                 |       3969 |       4029 |       3915 |       3889 |       3996 |       3822 |       3736 |       3747 |
602.43/79.04	c (76,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
602.43/79.04	c (76,0) c | Orig_Seen     |            98 % |      30591 |      30523 |      30631 |      30542 |      30583 |      30553 |      30567 |      30584 |
602.43/79.04	c (76,0) c | Diff Orig seen|                 |         68 |      X     |        108 |         19 |         60 |         30 |         44 |         61 |
602.43/79.04	c (76,0) c | Hamming       |            19 % |        583 |      X     |        779 |        667 |        685 |        710 |        738 |        731 |
602.43/79.04	c (76,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
602.43/79.04	c (76,0) c | RunningTime   |                 |   74.8  99%|   74.4 100%|   74.0  99%|   73.7  99%|   74.6  99%|   74.1  99%|   75.7 100%|   74.1  99%|
602.43/79.04	c (76,0) c | WaitingTime   |                 |    0.5   1%|    0.0   0%|    0.5   1%|    0.7   1%|    0.3   0%|    0.3   0%|    0.0   0%|    0.5   1%|
602.43/79.04	c (76,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%|
602.43/79.04	c (76,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%|
602.43/79.04	c (76,0) c | SolvingTime   |                 |   75.4     |   74.5     |   74.6     |   74.5     |   75.1     |   74.5     |   75.8     |   74.7     |
602.43/79.04	c (76,0) c | PropagationTim|                 |   68.1  90%|   67.0  90%|   67.0  90%|   67.1  90%|   67.8  90%|   67.0  90%|   65.8  87%|   67.5  90%|
602.43/79.04	c (76,0) c | AnalysisTime  |                 |    5.6   7%|    5.8   8%|    6.0   8%|    5.8   8%|    5.7   8%|    5.9   8%|    8.4  11%|    5.6   8%|
602.43/79.04	c (76,0) c | ReductionTime |                 |    0.4   1%|    0.4   1%|    0.4   0%|    0.4   1%|    0.4   1%|    0.4   1%|    0.4   0%|    0.4   1%|
602.43/79.04	c (76,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%|
602.43/79.04	c (76,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%|
602.43/79.04	c (76,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%|
602.43/79.04	c (76,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
602.43/79.04	c (76,0) c
602.43/79.04	c (76,0) c
602.43/79.04	c (76,0) c Threads : 8
602.43/79.04	c (76,0) c Winner : 1
602.43/79.04	c (76,0) c Conflicts_0 : 281868
602.43/79.04	c (76,0) c Conflicts_1 : 281815
602.43/79.04	c (76,0) c Conflicts_2 : 284575
602.43/79.04	c (76,0) c Conflicts_3 : 283210
602.43/79.04	c (76,0) c Conflicts_4 : 282621
602.43/79.04	c (76,0) c Conflicts_5 : 283568
602.43/79.04	c (76,0) c Conflicts_6 : 282201
602.43/79.04	c (76,0) c Conflicts_7 : 283675
602.43/79.04	c (76,0) c Conflicts_total : 2263533
602.43/79.04	c (76,0) c Conflicts_winner : 281815
602.43/79.04	c (76,0) c Decisions_0 : 404726
602.43/79.04	c (76,0) c Decisions_1 : 409491
602.43/79.04	c (76,0) c Decisions_2 : 415206
602.43/79.04	c (76,0) c Decisions_3 : 404794
602.43/79.04	c (76,0) c Decisions_4 : 410833
602.43/79.04	c (76,0) c Decisions_5 : 404072
602.43/79.04	c (76,0) c Decisions_6 : 409823
602.43/79.04	c (76,0) c Decisions_7 : 411421
602.43/79.04	c (76,0) c Decisions_total : 3270366
602.43/79.04	c (76,0) c Decisions_winner : 409491
602.43/79.04	c (76,0) c Propagations_0 : 95271312
602.43/79.04	c (76,0) c Propagations_1 : 95536765
602.43/79.04	c (76,0) c Propagations_2 : 96433111
602.43/79.04	c (76,0) c Propagations_3 : 95269655
602.43/79.04	c (76,0) c Propagations_4 : 95803580
602.43/79.04	c (76,0) c Propagations_5 : 95617481
602.43/79.04	c (76,0) c Propagations_6 : 94919522
602.43/79.04	c (76,0) c Propagations_7 : 95734860
602.43/79.04	c (76,0) c Propagations_total : 764586286
602.43/79.05	c (76,0) c Propagations_winner : 95536765
602.43/79.05	c (76,0) c ReduceDBs_0 : 14
602.43/79.05	c (76,0) c ReduceDBs_1 : 14
602.43/79.05	c (76,0) c ReduceDBs_2 : 14
602.43/79.05	c (76,0) c ReduceDBs_3 : 14
602.43/79.05	c (76,0) c ReduceDBs_4 : 14
602.43/79.05	c (76,0) c ReduceDBs_5 : 14
602.43/79.05	c (76,0) c ReduceDBs_6 : 14
602.43/79.05	c (76,0) c ReduceDBs_7 : 14
602.43/79.05	c (76,0) c ReduceDBs_total : 112
602.43/79.05	c (76,0) c ReduceDBs_winner : 14
602.43/79.05	c (76,0) c SimpDBs_0 : 11
602.43/79.05	c (76,0) c SimpDBs_1 : 11
602.43/79.05	c (76,0) c SimpDBs_2 : 11
602.43/79.05	c (76,0) c SimpDBs_3 : 10
602.43/79.05	c (76,0) c SimpDBs_4 : 10
602.43/79.05	c (76,0) c SimpDBs_5 : 12
602.43/79.05	c (76,0) c SimpDBs_6 : 11
602.43/79.05	c (76,0) c SimpDBs_7 : 10
602.43/79.05	c (76,0) c SimpDBs_total : 86
602.43/79.05	c (76,0) c SimpDBs_winner : 11
602.43/79.05	c (76,0) c Restarts_0 : 876
602.43/79.05	c (76,0) c Restarts_1 : 969
602.43/79.05	c (76,0) c Restarts_2 : 898
602.43/79.05	c (76,0) c Restarts_3 : 797
602.43/79.05	c (76,0) c Restarts_4 : 924
602.43/79.05	c (76,0) c Restarts_5 : 721
602.43/79.05	c (76,0) c Restarts_6 : 958
602.43/79.05	c (76,0) c Restarts_7 : 923
602.43/79.05	c (76,0) c Restarts_total : 7066
602.43/79.05	c (76,0) c Restarts_winner : 969
602.43/79.05	c (76,0) c ForcedImports_0 : 0
602.43/79.05	c (76,0) c ForcedImports_1 : 0
602.43/79.05	c (76,0) c ForcedImports_2 : 0
602.43/79.05	c (76,0) c ForcedImports_3 : 0
602.43/79.05	c (76,0) c ForcedImports_4 : 0
602.43/79.05	c (76,0) c ForcedImports_5 : 0
602.43/79.05	c (76,0) c ForcedImports_6 : 0
602.43/79.05	c (76,0) c ForcedImports_7 : 0
602.43/79.05	c (76,0) c ForcedImports_total : 0
602.43/79.05	c (76,0) c ForcedImports_winner : 0
602.43/79.05	c (76,0) c PropsBinClauses_0 : 261561515
602.43/79.05	c (76,0) c PropsBinClauses_1 : 262318528
602.43/79.05	c (76,0) c PropsBinClauses_2 : 265065885
602.43/79.05	c (76,0) c PropsBinClauses_3 : 262827263
602.43/79.05	c (76,0) c PropsBinClauses_4 : 262357176
602.43/79.05	c (76,0) c PropsBinClauses_5 : 263503187
602.43/79.05	c (76,0) c PropsBinClauses_6 : 261152233
602.43/79.05	c (76,0) c PropsBinClauses_7 : 262919447
602.43/79.05	c (76,0) c PropsBinClauses_total : 2101705234
602.43/79.05	c (76,0) c PropsBinClauses_winner : 262318528
602.43/79.05	c (76,0) c PropsPreBlocker_0 : 2265957333
602.43/79.05	c (76,0) c PropsPreBlocker_1 : 2264365970
602.43/79.05	c (76,0) c PropsPreBlocker_2 : 2282613248
602.43/79.05	c (76,0) c PropsPreBlocker_3 : 2276742121
602.43/79.05	c (76,0) c PropsPreBlocker_4 : 2267101970
602.43/79.05	c (76,0) c PropsPreBlocker_5 : 2274501332
602.43/79.05	c (76,0) c PropsPreBlocker_6 : 2260895305
602.43/79.05	c (76,0) c PropsPreBlocker_7 : 2274457923
602.43/79.05	c (76,0) c PropsPreBlocker_total : 18166635202
602.43/79.05	c (76,0) c PropsPreBlocker_winner : 2264365970
602.43/79.05	c (76,0) c PropsNotBlocker_0 : 627653890
602.43/79.05	c (76,0) c PropsNotBlocker_1 : 628379448
602.43/79.05	c (76,0) c PropsNotBlocker_2 : 628492647
602.43/79.05	c (76,0) c PropsNotBlocker_3 : 627321041
602.43/79.05	c (76,0) c PropsNotBlocker_4 : 630242335
602.43/79.05	c (76,0) c PropsNotBlocker_5 : 627973601
602.43/79.05	c (76,0) c PropsNotBlocker_6 : 623744468
602.43/79.05	c (76,0) c PropsNotBlocker_7 : 627845432
602.43/79.05	c (76,0) c PropsNotBlocker_total : 5021652862
602.43/79.05	c (76,0) c PropsNotBlocker_winner : 628379448
602.43/79.05	c (76,0) c PropsLitFullScans_0 : 5022448850
602.43/79.05	c (76,0) c PropsLitFullScans_1 : 5023681845
602.43/79.05	c (76,0) c PropsLitFullScans_2 : 5028599048
602.43/79.05	c (76,0) c PropsLitFullScans_3 : 5028553381
602.43/79.05	c (76,0) c PropsLitFullScans_4 : 5022612888
602.43/79.05	c (76,0) c PropsLitFullScans_5 : 5023495247
602.43/79.05	c (76,0) c PropsLitFullScans_6 : 5022686590
602.43/79.05	c (76,0) c PropsLitFullScans_7 : 5022363286
602.43/79.05	c (76,0) c PropsLitFullScans_total : 40194441135
602.43/79.05	c (76,0) c PropsLitFullScans_winner : 5023681845
602.43/79.05	c (76,0) c LitScanFractions_0 : 429097
602.43/79.05	c (76,0) c LitScanFractions_1 : 298774
602.43/79.05	c (76,0) c LitScanFractions_2 : 590243
602.43/79.05	c (76,0) c LitScanFractions_3 : 538685
602.43/79.05	c (76,0) c LitScanFractions_4 : 609705
602.43/79.05	c (76,0) c LitScanFractions_5 : 292107
602.43/79.05	c (76,0) c LitScanFractions_6 : 675510
602.43/79.05	c (76,0) c LitScanFractions_7 : 361188
602.43/79.05	c (76,0) c LitScanFractions_total : 3795309
602.43/79.05	c (76,0) c LitScanFractions_winner : 298774
602.43/79.05	c (76,0) c DecisionLevel0_0 : 883
602.43/79.05	c (76,0) c DecisionLevel0_1 : 983
602.43/79.05	c (76,0) c DecisionLevel0_2 : 910
602.43/79.05	c (76,0) c DecisionLevel0_3 : 802
602.43/79.05	c (76,0) c DecisionLevel0_4 : 933
602.43/79.05	c (76,0) c DecisionLevel0_5 : 732
602.43/79.05	c (76,0) c DecisionLevel0_6 : 965
602.43/79.05	c (76,0) c DecisionLevel0_7 : 927
602.43/79.05	c (76,0) c DecisionLevel0_total : 7135
602.43/79.05	c (76,0) c DecisionLevel0_winner : 983
602.43/79.05	c (76,0) c Periods_0 : 837
602.43/79.05	c (76,0) c Periods_1 : 837
602.43/79.05	c (76,0) c Periods_2 : 838
602.43/79.05	c (76,0) c Periods_3 : 838
602.43/79.05	c (76,0) c Periods_4 : 837
602.43/79.05	c (76,0) c Periods_5 : 837
602.43/79.05	c (76,0) c Periods_6 : 837
602.43/79.05	c (76,0) c Periods_7 : 837
602.43/79.05	c (76,0) c Periods_total : 6698
602.43/79.05	c (76,0) c Periods_winner : 837
602.43/79.05	c (76,0) c Margin_0 : 20
602.43/79.05	c (76,0) c Margin_1 : 20
602.43/79.05	c (76,0) c Margin_2 : 20
602.43/79.05	c (76,0) c Margin_3 : 20
602.43/79.05	c (76,0) c Margin_4 : 20
602.43/79.05	c (76,0) c Margin_5 : 20
602.43/79.05	c (76,0) c Margin_6 : 20
602.43/79.05	c (76,0) c Margin_7 : 20
602.43/79.05	c (76,0) c Margin_total : 160
602.43/79.05	c (76,0) c Margin_winner : 20
602.43/79.05	c (76,0) c Exported_0 : 28762
602.43/79.05	c (76,0) c Exported_1 : 26776
602.43/79.05	c (76,0) c Exported_2 : 26603
602.43/79.05	c (76,0) c Exported_3 : 26579
602.43/79.05	c (76,0) c Exported_4 : 27863
602.43/79.05	c (76,0) c Exported_5 : 26855
602.43/79.05	c (76,0) c Exported_6 : 26248
602.43/79.05	c (76,0) c Exported_7 : 27243
602.43/79.05	c (76,0) c Exported_total : 216929
602.43/79.05	c (76,0) c Exported_winner : 26776
602.43/79.05	c (76,0) c Imported_0 : 184175
602.43/79.05	c (76,0) c Imported_1 : 186328
602.43/79.05	c (76,0) c Imported_2 : 186502
602.43/79.05	c (76,0) c Imported_3 : 186689
602.43/79.05	c (76,0) c Imported_4 : 185030
602.43/79.05	c (76,0) c Imported_5 : 186029
602.43/79.05	c (76,0) c Imported_6 : 186316
602.43/79.05	c (76,0) c Imported_7 : 185808
602.43/79.05	c (76,0) c Imported_total : 1486877
602.43/79.05	c (76,0) c Imported_winner : 186328
602.43/79.05	c (76,0) c Good_0 : 7437
602.43/79.05	c (76,0) c Good_1 : 7324
602.43/79.05	c (76,0) c Good_2 : 7455
602.43/79.05	c (76,0) c Good_3 : 7445
602.43/79.05	c (76,0) c Good_4 : 7423
602.43/79.05	c (76,0) c Good_5 : 7457
602.43/79.05	c (76,0) c Good_6 : 7490
602.43/79.05	c (76,0) c Good_7 : 7448
602.43/79.05	c (76,0) c Good_total : 59479
602.43/79.05	c (76,0) c Good_winner : 7324
602.43/79.05	c (76,0) c Purge_0 : 176738
602.43/79.05	c (76,0) c Purge_1 : 179004
602.43/79.05	c (76,0) c Purge_2 : 179047
602.43/79.05	c (76,0) c Purge_3 : 179244
602.43/79.05	c (76,0) c Purge_4 : 177607
602.43/79.05	c (76,0) c Purge_5 : 178572
602.43/79.05	c (76,0) c Purge_6 : 178826
602.43/79.05	c (76,0) c Purge_7 : 178360
602.43/79.05	c (76,0) c Purge_total : 1427398
602.43/79.05	c (76,0) c Purge_winner : 179004
602.43/79.05	c (76,0) c Promoted_0 : 27068
602.43/79.05	c (76,0) c Promoted_1 : 27204
602.43/79.05	c (76,0) c Promoted_2 : 27379
602.43/79.05	c (76,0) c Promoted_3 : 26910
602.43/79.05	c (76,0) c Promoted_4 : 27511
602.43/79.05	c (76,0) c Promoted_5 : 27168
602.43/79.05	c (76,0) c Promoted_6 : 27390
602.43/79.05	c (76,0) c Promoted_7 : 27543
602.43/79.05	c (76,0) c Promoted_total : 218173
602.43/79.05	c (76,0) c Promoted_winner : 27204
602.43/79.05	c (76,0) c Remove_Imp_0 : 108363
602.43/79.05	c (76,0) c Remove_Imp_1 : 109800
602.43/79.05	c (76,0) c Remove_Imp_2 : 111693
602.43/79.05	c (76,0) c Remove_Imp_3 : 110115
602.43/79.05	c (76,0) c Remove_Imp_4 : 108998
602.43/79.05	c (76,0) c Remove_Imp_5 : 112073
602.43/79.05	c (76,0) c Remove_Imp_6 : 112407
602.43/79.05	c (76,0) c Remove_Imp_7 : 108171
602.43/79.05	c (76,0) c Remove_Imp_total : 881620
602.43/79.05	c (76,0) c Remove_Imp_winner : 109800
602.43/79.05	c (76,0) c Blocked_Reuse_0 : 0
602.43/79.05	c (76,0) c Blocked_Reuse_1 : 0
602.43/79.05	c (76,0) c Blocked_Reuse_2 : 0
602.43/79.05	c (76,0) c Blocked_Reuse_3 : 0
602.43/79.05	c (76,0) c Blocked_Reuse_4 : 0
602.43/79.05	c (76,0) c Blocked_Reuse_5 : 0
602.43/79.05	c (76,0) c Blocked_Reuse_6 : 0
602.43/79.05	c (76,0) c Blocked_Reuse_7 : 0
602.43/79.05	c (76,0) c Blocked_Reuse_total : 0
602.43/79.05	c (76,0) c Blocked_Reuse_winner : 0
602.43/79.05	c (76,0) c Unaries_0 : 7
602.43/79.05	c (76,0) c Unaries_1 : 14
602.43/79.05	c (76,0) c Unaries_2 : 12
602.43/79.05	c (76,0) c Unaries_3 : 5
602.43/79.05	c (76,0) c Unaries_4 : 9
602.43/79.05	c (76,0) c Unaries_5 : 11
602.43/79.05	c (76,0) c Unaries_6 : 7
602.43/79.05	c (76,0) c Unaries_7 : 4
602.43/79.05	c (76,0) c Unaries_total : 69
602.43/79.05	c (76,0) c Unaries_winner : 14
602.43/79.05	c (76,0) c Binaries_0 : 1082
602.43/79.05	c (76,0) c Binaries_1 : 1207
602.43/79.05	c (76,0) c Binaries_2 : 1083
602.43/79.05	c (76,0) c Binaries_3 : 1080
602.43/79.05	c (76,0) c Binaries_4 : 1100
602.43/79.05	c (76,0) c Binaries_5 : 1052
602.43/79.05	c (76,0) c Binaries_6 : 1024
602.43/79.05	c (76,0) c Binaries_7 : 1061
602.43/79.05	c (76,0) c Binaries_total : 8689
602.43/79.05	c (76,0) c Binaries_winner : 1207
602.43/79.05	c (76,0) c Glues_0 : 3969
602.43/79.05	c (76,0) c Glues_1 : 4029
602.43/79.05	c (76,0) c Glues_2 : 3915
602.43/79.05	c (76,0) c Glues_3 : 3889
602.43/79.05	c (76,0) c Glues_4 : 3996
602.43/79.05	c (76,0) c Glues_5 : 3822
602.43/79.05	c (76,0) c Glues_6 : 3736
602.43/79.05	c (76,0) c Glues_7 : 3747
602.43/79.05	c (76,0) c Glues_total : 31103
602.43/79.05	c (76,0) c Glues_winner : 4029
602.43/79.05	c (76,0) c RunningTime_0 : 74.775839
602.43/79.05	c (76,0) c RunningTime_1 : 74.390093
602.43/79.05	c (76,0) c RunningTime_2 : 73.986030
602.43/79.05	c (76,0) c RunningTime_3 : 73.695891
602.43/79.05	c (76,0) c RunningTime_4 : 74.619314
602.43/79.05	c (76,0) c RunningTime_5 : 74.062648
602.43/79.05	c (76,0) c RunningTime_6 : 75.725492
602.43/79.05	c (76,0) c RunningTime_7 : 74.120902
602.43/79.05	c (76,0) c RunningTime_total : 595.376207
602.43/79.05	c (76,0) c RunningTime_winner : 74.390093
602.43/79.05	c (76,0) c WaitingTime_0 : 0.485092
602.43/79.05	c (76,0) c WaitingTime_1 : 0.001206
602.43/79.05	c (76,0) c WaitingTime_2 : 0.473950
602.43/79.05	c (76,0) c WaitingTime_3 : 0.713886
602.43/79.05	c (76,0) c WaitingTime_4 : 0.341125
602.43/79.05	c (76,0) c WaitingTime_5 : 0.339685
602.43/79.05	c (76,0) c WaitingTime_6 : 0.001318
602.43/79.05	c (76,0) c WaitingTime_7 : 0.519239
602.43/79.05	c (76,0) c WaitingTime_total : 2.875499
602.43/79.05	c (76,0) c WaitingTime_winner : 0.001206
602.43/79.05	c (76,0) c ExchangingTime_0 : 0.090293
602.43/79.05	c (76,0) c ExchangingTime_1 : 0.102731
602.43/79.05	c (76,0) c ExchangingTime_2 : 0.092233
602.43/79.05	c (76,0) c ExchangingTime_3 : 0.094362
602.43/79.05	c (76,0) c ExchangingTime_4 : 0.094663
602.43/79.05	c (76,0) c ExchangingTime_5 : 0.099584
602.43/79.05	c (76,0) c ExchangingTime_6 : 0.096490
602.43/79.05	c (76,0) c ExchangingTime_7 : 0.098013
602.43/79.05	c (76,0) c ExchangingTime_total : 0.768370
602.43/79.05	c (76,0) c ExchangingTime_winner : 0.102731
602.43/79.05	c (76,0) c PeriodProcTime_0 : 0.005935
602.43/79.05	c (76,0) c PeriodProcTime_1 : 0.006634
602.43/79.05	c (76,0) c PeriodProcTime_2 : 0.006203
602.43/79.05	c (76,0) c PeriodProcTime_3 : 0.006704
602.43/79.05	c (76,0) c PeriodProcTime_4 : 0.006099
602.43/79.05	c (76,0) c PeriodProcTime_5 : 0.007313
602.43/79.05	c (76,0) c PeriodProcTime_6 : 0.005900
602.43/79.05	c (76,0) c PeriodProcTime_7 : 0.007035
602.43/79.05	c (76,0) c PeriodProcTime_total : 0.051821
602.43/79.05	c (76,0) c PeriodProcTime_winner : 0.006634
602.43/79.05	c (76,0) c SolvingTime_0 : 75.357158
602.43/79.05	c (76,0) c SolvingTime_1 : 74.500663
602.43/79.05	c (76,0) c SolvingTime_2 : 74.558416
602.43/79.05	c (76,0) c SolvingTime_3 : 74.510843
602.43/79.05	c (76,0) c SolvingTime_4 : 75.061200
602.43/79.05	c (76,0) c SolvingTime_5 : 74.509230
602.43/79.05	c (76,0) c SolvingTime_6 : 75.829199
602.43/79.05	c (76,0) c SolvingTime_7 : 74.745188
602.43/79.05	c (76,0) c SolvingTime_total : 599.071897
602.43/79.05	c (76,0) c SolvingTime_winner : 74.500663
602.43/79.05	c (76,0) c PropagationTime_0 : 68.072661
602.43/79.05	c (76,0) c PropagationTime_1 : 66.996546
602.43/79.05	c (76,0) c PropagationTime_2 : 66.954603
602.43/79.05	c (76,0) c PropagationTime_3 : 67.143464
602.43/79.05	c (76,0) c PropagationTime_4 : 67.791754
602.43/79.05	c (76,0) c PropagationTime_5 : 66.965605
602.43/79.05	c (76,0) c PropagationTime_6 : 65.841758
602.43/79.05	c (76,0) c PropagationTime_7 : 67.487901
602.43/79.05	c (76,0) c PropagationTime_total : 537.254292
602.43/79.05	c (76,0) c PropagationTime_winner : 66.996546
602.43/79.05	c (76,0) c AnalysisTime_0 : 5.630816
602.43/79.05	c (76,0) c AnalysisTime_1 : 5.833158
602.43/79.05	c (76,0) c AnalysisTime_2 : 5.951475
602.43/79.05	c (76,0) c AnalysisTime_3 : 5.780374
602.43/79.05	c (76,0) c AnalysisTime_4 : 5.662792
602.43/79.05	c (76,0) c AnalysisTime_5 : 5.934338
602.43/79.05	c (76,0) c AnalysisTime_6 : 8.352784
602.43/79.05	c (76,0) c AnalysisTime_7 : 5.617738
602.43/79.05	c (76,0) c AnalysisTime_total : 48.763474
602.43/79.05	c (76,0) c AnalysisTime_winner : 5.833158
602.43/79.05	c (76,0) c ReductionTime_0 : 0.404192
602.43/79.05	c (76,0) c ReductionTime_1 : 0.386977
602.43/79.05	c (76,0) c ReductionTime_2 : 0.362642
602.43/79.05	c (76,0) c ReductionTime_3 : 0.379256
602.43/79.05	c (76,0) c ReductionTime_4 : 0.380034
602.43/79.05	c (76,0) c ReductionTime_5 : 0.383542
602.43/79.05	c (76,0) c ReductionTime_6 : 0.370740
602.43/79.05	c (76,0) c ReductionTime_7 : 0.374902
602.43/79.05	c (76,0) c ReductionTime_total : 3.042285
602.43/79.05	c (76,0) c ReductionTime_winner : 0.386977
602.43/79.05	c (76,0) c SimplifyTime_0 : 0.069390
602.43/79.05	c (76,0) c SimplifyTime_1 : 0.084364
602.43/79.05	c (76,0) c SimplifyTime_2 : 0.098894
602.43/79.05	c (76,0) c SimplifyTime_3 : 0.061236
602.43/79.05	c (76,0) c SimplifyTime_4 : 0.058279
602.43/79.05	c (76,0) c SimplifyTime_5 : 0.073305
602.43/79.05	c (76,0) c SimplifyTime_6 : 0.063874
602.43/79.05	c (76,0) c SimplifyTime_7 : 0.063848
602.43/79.05	c (76,0) c SimplifyTime_total : 0.573190
602.43/79.05	c (76,0) c SimplifyTime_winner : 0.084364
602.43/79.05	c (76,0) c UsedRateTime_0 : 0.000000
602.43/79.05	c (76,0) c UsedRateTime_1 : 0.000000
602.43/79.05	c (76,0) c UsedRateTime_2 : 0.000000
602.43/79.05	c (76,0) c UsedRateTime_3 : 0.000000
602.43/79.05	c (76,0) c UsedRateTime_4 : 0.000000
602.43/79.05	c (76,0) c UsedRateTime_5 : 0.000000
602.43/79.05	c (76,0) c UsedRateTime_6 : 0.000000
602.43/79.05	c (76,0) c UsedRateTime_7 : 0.000000
602.43/79.05	c (76,0) c UsedRateTime_total : 0.000000
602.43/79.05	c (76,0) c UsedRateTime_winner : 0.000000
602.43/79.05	c (76,0) c OverlapRateTime_0 : 0.000000
602.43/79.06	c (76,0) c OverlapRateTime_1 : 0.000000
602.43/79.06	c (76,0) c OverlapRateTime_2 : 0.000000
602.43/79.06	c (76,0) c OverlapRateTime_3 : 0.000000
602.43/79.06	c (76,0) c OverlapRateTime_4 : 0.000000
602.43/79.06	c (76,0) c OverlapRateTime_5 : 0.000000
602.43/79.06	c (76,0) c OverlapRateTime_6 : 0.000000
602.43/79.06	c (76,0) c OverlapRateTime_7 : 0.000000
602.43/79.06	c (76,0) c OverlapRateTime_total : 0.000000
602.43/79.06	c (76,0) c OverlapRateTime_winner : 0.000000
602.43/79.06	c (76,0) c
602.43/79.06	c (76,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
602.43/79.06	c (76,0) c
602.43/79.06	c (76,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
602.43/79.06	c (76,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
602.43/79.06	c (76,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
602.43/79.06	c (76,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
602.43/79.06	c (76,0) c | adaptStrategeis       |      False |      False |      False |      False |      False |      False |      False |      False |
602.43/79.06	c (76,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
602.43/79.06	c (76,0) c | Initial random_seed   |  679884139 |  110153939 | 1309115369 |  831288401 |  978996832 |  835017265 |  873637555 |  732842523 |
602.43/79.06	c (76,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
602.43/79.06	c (76,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
602.43/79.06	c (76,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
602.43/79.06	c (76,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
602.43/79.06	c (76,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
602.43/79.06	c (76,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
602.43/79.06	c (76,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
602.43/79.06	c (76,0) c | var_decay             |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
602.43/79.06	c (76,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
602.43/79.06	c (76,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
602.43/79.06	c (76,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
602.43/79.06	c (76,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
602.43/79.06	c (76,0) 
602.43/79.06	c (76,0) s UNSATISFIABLE
602.43/79.06	c (76,0) SatSolver.solve End
602.43/79.06	c (76,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
602.43/79.06	c (76,0) Show results Begin
602.43/79.06	s UNSATISFIABLE
602.43/79.06	c (76,0) Show results End
602.43/79.06	c (76,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
602.43/79.06	c (76,0) 76,76,STOP-AFTER(ALL)
602.43/79.06	c END-Prog: Sat Sep 14 03:27:54 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 (13854 MiB free)
  memory of node 1: 16384 MiB (14247 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392393-1568424434/watcher-4392393-1568424434 -o /tmp/evaluation-result-4392393-1568424434/solver-4392393-1568424434 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node124-1568416728-16435 --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-4392393-1568424434.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=20628, runsolver pid=20625
Current StackSize limit: 8192 KiB


[startup+0.1008 s]*
/proc/loadavg: 8.59 8.12 8.11 2/211 20650
/proc/meminfo: memFree=28680428/32770624 swapFree=66959224/67108860
[pid=20628] ppid=20625 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/20628/stat : 20628 (scop.sh) S 20625 20628 16408 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 418383611 115843072 349 33554432000 4194304 5098028 140733409158368 140733409155624 139947253445244 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 33792000 140733409162021 140733409162348 140733409162348 140733409165261 0
/proc/20628/statm: 28282 349 296 221 0 87 0
[pid=20631] ppid=20628 vsize=27314120 memory=107636 CPUtime=0.11 cores=0-7
/proc/20631/stat : 20631 (java) S 20628 20628 16408 0 -1 1077944320 6481 0 0 0 8 3 0 0 20 0 20 0 418383611 27969658880 26909 33554432000 4194304 4196468 140730828697680 140730828680224 140658161233655 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38371328 140730828706539 140730828706966 140730828706966 140730828709839 0
/proc/20631/statm: 6828530 26909 2790 1 0 6790935 0
[pid=20631/tid=20632] ppid=20628 vsize=27314120 memory=8112279736428698266 CPUtime=0.08 cores=0-7
/proc/20631/task/20632/stat : 20632 (java) R 20628 20628 16408 0 -1 4202560 4588 0 0 0 6 2 0 0 20 0 20 0 418383612 27969658880 26909 33554432000 4194304 4196468 140730828697680 140658133046896 140657645681568 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38371328 140730828706539 140730828706966 140730828706966 140730828709839 0
[pid=20631/tid=20633] ppid=20628 vsize=27314120 memory=732370425838382053 CPUtime=0 cores=0-7
/proc/20631/task/20633/stat : 20633 (java) S 20628 20628 16408 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418383614 27969658880 26909 33554432000 4194304 4196468 140730828697680 140658165475600 140658161243861 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38371328 140730828706539 140730828706966 140730828706966 140730828709839 0
[pid=20631/tid=20634] ppid=20628 vsize=27314120 memory=140287500928640 CPUtime=0 cores=0-7
/proc/20631/task/20634/stat : 20634 (java) S 20628 20628 16408 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418383614 27969658880 26909 33554432000 4194304 4196468 140730828697680 140657979632016 140658161243861 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38371328 140730828706539 140730828706966 140730828706966 140730828709839 0
[pid=20631/tid=20635] ppid=20628 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20631/task/20635/stat : 20635 (java) S 20628 20628 16408 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418383614 27969658880 26909 33554432000 4194304 4196468 140730828697680 140657978579472 140658161243861 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38371328 140730828706539 140730828706966 140730828706966 140730828709839 0
[pid=20631/tid=20636] ppid=20628 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20631/task/20636/stat : 20636 (java) S 20628 20628 16408 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418383614 27969658880 26909 33554432000 4194304 4196468 140730828697680 140657977526928 140658161243861 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38371328 140730828706539 140730828706966 140730828706966 140730828709839 0
[pid=20631/tid=20637] ppid=20628 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20631/task/20637/stat : 20637 (java) S 20628 20628 16408 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418383614 27969658880 26909 33554432000 4194304 4196468 140730828697680 140657976474384 140658161243861 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38371328 140730828706539 140730828706966 140730828706966 140730828709839 0
[pid=20631/tid=20638] ppid=20628 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/20631/task/20638/stat : 20638 (java) S 20628 20628 16408 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418383614 27969658880 26909 33554432000 4194304 4196468 140730828697680 140657975421840 140658161243861 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38371328 140730828706539 140730828706966 140730828706966 140730828709839 0
[pid=20631/tid=20639] ppid=20628 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20631/task/20639/stat : 20639 (java) S 20628 20628 16408 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418383614 27969658880 26909 33554432000 4194304 4196468 140730828697680 140657974369296 140658161243861 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38371328 140730828706539 140730828706966 140730828706966 140730828709839 0
[pid=20631/tid=20640] ppid=20628 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20631/task/20640/stat : 20640 (java) S 20628 20628 16408 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418383614 27969658880 26909 33554432000 4194304 4196468 140730828697680 140657973316752 140658161243861 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38371328 140730828706539 140730828706966 140730828706966 140730828709839 0
[pid=20631/tid=20641] ppid=20628 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20631/task/20641/stat : 20641 (java) S 20628 20628 16408 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418383616 27969658880 26909 33554432000 4194304 4196468 140730828697680 140656212146160 140658161244802 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38371328 140730828706539 140730828706966 140730828706966 140730828709839 0
[pid=20631/tid=20642] ppid=20628 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20631/task/20642/stat : 20642 (java) S 20628 20628 16408 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 418383616 27969658880 26909 33554432000 4194304 4196468 140730828697680 140656085296032 140658161243861 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38371328 140730828706539 140730828706966 140730828706966 140730828709839 0
[pid=20631/tid=20643] ppid=20628 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20631/task/20643/stat : 20643 (java) S 20628 20628 16408 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418383616 27969658880 26909 33554432000 4194304 4196468 140730828697680 140655816860656 140658161243861 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38371328 140730828706539 140730828706966 140730828706966 140730828709839 0
[pid=20631/tid=20644] ppid=20628 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20631/task/20644/stat : 20644 (java) S 20628 20628 16408 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418383619 27969658880 26909 33554432000 4194304 4196468 140730828697680 140655442352336 140658161252251 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38371328 140730828706539 140730828706966 140730828706966 140730828709839 0
[pid=20631/tid=20645] ppid=20628 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20631/task/20645/stat : 20645 (java) S 20628 20628 16408 0 -1 1077944384 292 0 0 0 0 0 0 0 20 0 20 0 418383619 27969658880 26909 33554432000 4194304 4196468 140730828697680 140656211094000 140658161244802 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38371328 140730828706539 140730828706966 140730828706966 140730828709839 0
[pid=20631/tid=20646] ppid=20628 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20631/task/20646/stat : 20646 (java) S 20628 20628 16408 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418383619 27969658880 26909 33554432000 4194304 4196468 140730828697680 140656210041456 140658161244802 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38371328 140730828706539 140730828706966 140730828706966 140730828709839 0
[pid=20631/tid=20647] ppid=20628 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20631/task/20647/stat : 20647 (java) S 20628 20628 16408 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418383619 27969658880 27421 33554432000 4194304 4196468 140730828697680 140656208988912 140658161244802 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38371328 140730828706539 140730828706966 140730828706966 140730828709839 0
[pid=20631/tid=20648] ppid=20628 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20631/task/20648/stat : 20648 (java) S 20628 20628 16408 0 -1 1077944384 263 0 0 0 0 0 0 0 20 0 20 0 418383619 27969658880 27421 33554432000 4194304 4196468 140730828697680 140656207936368 140658161244802 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38371328 140730828706539 140730828706966 140730828706966 140730828709839 0
[pid=20631/tid=20649] ppid=20628 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20631/task/20649/stat : 20649 (java) S 20628 20628 16408 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418383619 27969658880 27421 33554432000 4194304 4196468 140730828697680 140654944446688 140658161243861 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38371328 140730828706539 140730828706966 140730828706966 140730828709839 0
[pid=20631/tid=20650] ppid=20628 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/20631/task/20650/stat : 20650 (java) S 20628 20628 16408 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418383619 27969658880 27421 33554432000 4194304 4196468 140730828697680 140656206883248 140658161244802 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38371328 140730828706539 140730828706966 140730828706966 140730828709839 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 109032 KiB

[startup+0.210286 s]*
/proc/loadavg: 8.59 8.12 8.11 2/211 20650
/proc/meminfo: memFree=28659004/32770624 swapFree=66959224/67108860
[pid=20628] ppid=20625 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/20628/stat : 20628 (scop.sh) S 20625 20628 16408 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 418383611 115843072 349 33554432000 4194304 5098028 140733409158368 140733409155624 139947253445244 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 33792000 140733409162021 140733409162348 140733409162348 140733409165261 0
/proc/20628/statm: 28282 349 296 221 0 87 0
[pid=20631] ppid=20628 vsize=27314120 memory=126920 CPUtime=0.25 cores=0-7
/proc/20631/stat : 20631 (java) S 20628 20628 16408 0 -1 1077944320 11963 0 0 0 20 5 0 0 20 0 20 0 418383611 27969658880 31730 33554432000 4194304 4196468 140730828697680 140730828680224 140658161233655 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38371328 140730828706539 140730828706966 140730828706966 140730828709839 0
/proc/20631/statm: 6828530 31730 2927 1 0 6790935 0
[pid=20631/tid=20632] ppid=20628 vsize=27314120 memory=0 CPUtime=0.2 cores=0-7
/proc/20631/task/20632/stat : 20632 (java) R 20628 20628 16408 0 -1 4202560 9680 0 0 0 16 4 0 0 20 0 20 0 418383612 27969658880 31730 33554432000 4194304 4196468 140730828697680 140658133050064 140658142797211 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38371328 140730828706539 140730828706966 140730828706966 140730828709839 0
[pid=20631/tid=20633] ppid=20628 vsize=27314120 memory=280574890133240 CPUtime=0 cores=0-7
/proc/20631/task/20633/stat : 20633 (java) S 20628 20628 16408 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418383614 27969658880 31730 33554432000 4194304 4196468 140730828697680 140658165475600 140658161243861 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38371328 140730828706539 140730828706966 140730828706966 140730828709839 0
[pid=20631/tid=20634] ppid=20628 vsize=27314120 memory=140287500928640 CPUtime=0 cores=0-7
/proc/20631/task/20634/stat : 20634 (java) S 20628 20628 16408 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418383614 27969658880 31730 33554432000 4194304 4196468 140730828697680 140657979632016 140658161243861 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38371328 140730828706539 140730828706966 140730828706966 140730828709839 0
[pid=20631/tid=20635] ppid=20628 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20631/task/20635/stat : 20635 (java) S 20628 20628 16408 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418383614 27969658880 31730 33554432000 4194304 4196468 140730828697680 140657978579472 140658161243861 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38371328 140730828706539 140730828706966 140730828706966 140730828709839 0
[pid=20631/tid=20636] ppid=20628 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20631/task/20636/stat : 20636 (java) S 20628 20628 16408 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418383614 27969658880 31730 33554432000 4194304 4196468 140730828697680 140657977526928 140658161243861 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38371328 140730828706539 140730828706966 140730828706966 140730828709839 0
[pid=20631/tid=20637] ppid=20628 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20631/task/20637/stat : 20637 (java) S 20628 20628 16408 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418383614 27969658880 31730 33554432000 4194304 4196468 140730828697680 140657976474384 140658161243861 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38371328 140730828706539 140730828706966 140730828706966 140730828709839 0
[pid=20631/tid=20638] ppid=20628 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/20631/task/20638/stat : 20638 (java) S 20628 20628 16408 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418383614 27969658880 31730 33554432000 4194304 4196468 140730828697680 140657975421840 140658161243861 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38371328 140730828706539 140730828706966 140730828706966 140730828709839 0
[pid=20631/tid=20639] ppid=20628 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20631/task/20639/stat : 20639 (java) S 20628 20628 16408 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418383614 27969658880 31730 33554432000 4194304 4196468 140730828697680 140657974369296 140658161243861 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38371328 140730828706539 140730828706966 140730828706966 140730828709839 0
[pid=20631/tid=20640] ppid=20628 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20631/task/20640/stat : 20640 (java) S 20628 20628 16408 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418383614 27969658880 31730 33554432000 4194304 4196468 140730828697680 140657973316752 140658161243861 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38371328 140730828706539 140730828706966 140730828706966 140730828709839 0
[pid=20631/tid=20641] ppid=20628 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20631/task/20641/stat : 20641 (java) S 20628 20628 16408 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418383616 27969658880 31730 33554432000 4194304 4196468 140730828697680 140656212146160 140658161244802 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38371328 140730828706539 140730828706966 140730828706966 140730828709839 0
[pid=20631/tid=20642] ppid=20628 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20631/task/20642/stat : 20642 (java) S 20628 20628 16408 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 418383616 27969658880 31730 33554432000 4194304 4196468 140730828697680 140656085296032 140658161243861 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38371328 140730828706539 140730828706966 140730828706966 140730828709839 0
[pid=20631/tid=20643] ppid=20628 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20631/task/20643/stat : 20643 (java) S 20628 20628 16408 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418383616 27969658880 31730 33554432000 4194304 4196468 140730828697680 140655816860656 140658161243861 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38371328 140730828706539 140730828706966 140730828706966 140730828709839 0
[pid=20631/tid=20644] ppid=20628 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20631/task/20644/stat : 20644 (java) S 20628 20628 16408 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418383619 27969658880 31730 33554432000 4194304 4196468 140730828697680 140655442352336 140658161252251 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38371328 140730828706539 140730828706966 140730828706966 140730828709839 0
[pid=20631/tid=20645] ppid=20628 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20631/task/20645/stat : 20645 (java) S 20628 20628 16408 0 -1 1077944384 424 0 0 0 0 0 0 0 20 0 20 0 418383619 27969658880 31730 33554432000 4194304 4196468 140730828697680 140656211094000 140658161244802 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38371328 140730828706539 140730828706966 140730828706966 140730828709839 0
[pid=20631/tid=20646] ppid=20628 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20631/task/20646/stat : 20646 (java) S 20628 20628 16408 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 20 0 418383619 27969658880 31730 33554432000 4194304 4196468 140730828697680 140656210041456 140658161244802 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38371328 140730828706539 140730828706966 140730828706966 140730828709839 0
[pid=20631/tid=20647] ppid=20628 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20631/task/20647/stat : 20647 (java) S 20628 20628 16408 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 20 0 418383619 27969658880 31730 33554432000 4194304 4196468 140730828697680 140656208988912 140658161244802 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38371328 140730828706539 140730828706966 140730828706966 140730828709839 0
[pid=20631/tid=20648] ppid=20628 vsize=27314120 memory=0 CPUtime=0.02 cores=0-7
/proc/20631/task/20648/stat : 20648 (java) S 20628 20628 16408 0 -1 1077944384 463 0 0 0 2 0 0 0 20 0 20 0 418383619 27969658880 31730 33554432000 4194304 4196468 140730828697680 140656207936368 140658161244802 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38371328 140730828706539 140730828706966 140730828706966 140730828709839 0
[pid=20631/tid=20649] ppid=20628 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20631/task/20649/stat : 20649 (java) S 20628 20628 16408 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418383619 27969658880 31730 33554432000 4194304 4196468 140730828697680 140654944446688 140658161243861 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38371328 140730828706539 140730828706966 140730828706966 140730828709839 0
[pid=20631/tid=20650] ppid=20628 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/20631/task/20650/stat : 20650 (java) S 20628 20628 16408 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418383619 27969658880 31730 33554432000 4194304 4196468 140730828697680 140656206883248 140658161244802 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38371328 140730828706539 140730828706966 140730828706966 140730828709839 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 128316 KiB

[startup+0.31027 s]*
/proc/loadavg: 8.59 8.12 8.11 2/211 20650
/proc/meminfo: memFree=28656584/32770624 swapFree=66959224/67108860
[pid=20628] ppid=20625 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/20628/stat : 20628 (scop.sh) S 20625 20628 16408 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 418383611 115843072 349 33554432000 4194304 5098028 140733409158368 140733409155624 139947253445244 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 33792000 140733409162021 140733409162348 140733409162348 140733409165261 0
/proc/20628/statm: 28282 349 296 221 0 87 0
[pid=20631] ppid=20628 vsize=27314120 memory=130592 CPUtime=0.42 cores=0-7
/proc/20631/stat : 20631 (java) S 20628 20628 16408 0 -1 1077944320 12944 0 0 0 37 5 0 0 20 0 20 0 418383611 27969658880 32648 33554432000 4194304 4196468 140730828697680 140730828680224 140658161233655 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38371328 140730828706539 140730828706966 140730828706966 140730828709839 0
/proc/20631/statm: 6828530 32648 3047 1 0 6790935 0
[pid=20631/tid=20632] ppid=20628 vsize=27314120 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/20631/task/20632/stat : 20632 (java) R 20628 20628 16408 0 -1 4202560 10484 0 0 0 25 4 0 0 20 0 20 0 418383612 27969658880 32648 33554432000 4194304 4196468 140730828697680 140658133063728 140658145314142 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38371328 140730828706539 140730828706966 140730828706966 140730828709839 0
[pid=20631/tid=20633] ppid=20628 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20631/task/20633/stat : 20633 (java) S 20628 20628 16408 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418383614 27969658880 32648 33554432000 4194304 4196468 140730828697680 140658165475600 140658161243861 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38371328 140730828706539 140730828706966 140730828706966 140730828709839 0
[pid=20631/tid=20634] ppid=20628 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20631/task/20634/stat : 20634 (java) S 20628 20628 16408 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418383614 27969658880 32648 33554432000 4194304 4196468 140730828697680 140657979632016 140658161243861 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38371328 140730828706539 140730828706966 140730828706966 140730828709839 0
[pid=20631/tid=20635] ppid=20628 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20631/task/20635/stat : 20635 (java) S 20628 20628 16408 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418383614 27969658880 32648 33554432000 4194304 4196468 140730828697680 140657978579472 140658161243861 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38371328 140730828706539 140730828706966 140730828706966 140730828709839 0
[pid=20631/tid=20636] ppid=20628 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20631/task/20636/stat : 20636 (java) S 20628 20628 16408 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418383614 27969658880 32648 33554432000 4194304 4196468 140730828697680 140657977526928 140658161243861 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38371328 140730828706539 140730828706966 140730828706966 140730828709839 0
[pid=20631/tid=20637] ppid=20628 vsize=27314120 memory=2244 CPUtime=0 cores=0-7
/proc/20631/task/20637/stat : 20637 (java) S 20628 20628 16408 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418383614 27969658880 32648 33554432000 4194304 4196468 140730828697680 140657976474384 140658161243861 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38371328 140730828706539 140730828706966 140730828706966 140730828709839 0
[pid=20631/tid=20638] ppid=20628 vsize=27314120 memory=140287389299631 CPUtime=0 cores=0-7
/proc/20631/task/20638/stat : 20638 (java) S 20628 20628 16408 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418383614 27969658880 32648 33554432000 4194304 4196468 140730828697680 140657975421840 140658161243861 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38371328 140730828706539 140730828706966 140730828706966 140730828709839 0
[pid=20631/tid=20639] ppid=20628 vsize=27314120 memory=140287389301936 CPUtime=0 cores=0-7
/proc/20631/task/20639/stat : 20639 (java) S 20628 20628 16408 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418383614 27969658880 32648 33554432000 4194304 4196468 140730828697680 140657974369296 140658161243861 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38371328 140730828706539 140730828706966 140730828706966 140730828709839 0
[pid=20631/tid=20640] ppid=20628 vsize=27314120 memory=140287389304240 CPUtime=0 cores=0-7
/proc/20631/task/20640/stat : 20640 (java) S 20628 20628 16408 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418383614 27969658880 32648 33554432000 4194304 4196468 140730828697680 140657973316752 140658161243861 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38371328 140730828706539 140730828706966 140730828706966 140730828709839 0
[pid=20631/tid=20641] ppid=20628 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20631/task/20641/stat : 20641 (java) S 20628 20628 16408 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418383616 27969658880 32648 33554432000 4194304 4196468 140730828697680 140656212146160 140658161244802 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38371328 140730828706539 140730828706966 140730828706966 140730828709839 0
[pid=20631/tid=20642] ppid=20628 vsize=27314120 memory=280574778615440 CPUtime=0 cores=0-7
/proc/20631/task/20642/stat : 20642 (java) S 20628 20628 16408 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 418383616 27969658880 32648 33554432000 4194304 4196468 140730828697680 140656085296032 140658161243861 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38371328 140730828706539 140730828706966 140730828706966 140730828709839 0
[pid=20631/tid=20643] ppid=20628 vsize=27314120 memory=280574778622352 CPUtime=0 cores=0-7
/proc/20631/task/20643/stat : 20643 (java) S 20628 20628 16408 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418383616 27969658880 32648 33554432000 4194304 4196468 140730828697680 140655816860656 140658161243861 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38371328 140730828706539 140730828706966 140730828706966 140730828709839 0
[pid=20631/tid=20644] ppid=20628 vsize=27314120 memory=280574778563632 CPUtime=0 cores=0-7
/proc/20631/task/20644/stat : 20644 (java) S 20628 20628 16408 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418383619 27969658880 32648 33554432000 4194304 4196468 140730828697680 140655442352336 140658161252251 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38371328 140730828706539 140730828706966 140730828706966 140730828709839 0
[pid=20631/tid=20645] ppid=20628 vsize=27314120 memory=280574778636176 CPUtime=0.01 cores=0-7
/proc/20631/task/20645/stat : 20645 (java) R 20628 20628 16408 0 -1 4202560 473 0 0 0 1 0 0 0 20 0 20 0 418383619 27969658880 32648 33554432000 4194304 4196468 140730828697680 140656211094000 140658161245590 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38371328 140730828706539 140730828706966 140730828706966 140730828709839 0
[pid=20631/tid=20646] ppid=20628 vsize=27314120 memory=280574778643088 CPUtime=0.01 cores=0-7
/proc/20631/task/20646/stat : 20646 (java) S 20628 20628 16408 0 -1 1077944384 99 0 0 0 1 0 0 0 20 0 20 0 418383619 27969658880 32648 33554432000 4194304 4196468 140730828697680 140656210041456 140658161244802 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38371328 140730828706539 140730828706966 140730828706966 140730828709839 0
[pid=20631/tid=20647] ppid=20628 vsize=27314120 memory=280574778640784 CPUtime=0.01 cores=0-7
/proc/20631/task/20647/stat : 20647 (java) S 20628 20628 16408 0 -1 1077944384 68 0 0 0 1 0 0 0 20 0 20 0 418383619 27969658880 32648 33554432000 4194304 4196468 140730828697680 140656208988912 140658161244802 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38371328 140730828706539 140730828706966 140730828706966 140730828709839 0
[pid=20631/tid=20648] ppid=20628 vsize=27314120 memory=280574778656944 CPUtime=0.07 cores=0-7
/proc/20631/task/20648/stat : 20648 (java) S 20628 20628 16408 0 -1 1077944384 485 0 0 0 7 0 0 0 20 0 20 0 418383619 27969658880 32648 33554432000 4194304 4196468 140730828697680 140656207936368 140658161244802 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38371328 140730828706539 140730828706966 140730828706966 140730828709839 0
[pid=20631/tid=20649] ppid=20628 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20631/task/20649/stat : 20649 (java) S 20628 20628 16408 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418383619 27969658880 32648 33554432000 4194304 4196468 140730828697680 140654944446688 140658161243861 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38371328 140730828706539 140730828706966 140730828706966 140730828709839 0
[pid=20631/tid=20650] ppid=20628 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/20631/task/20650/stat : 20650 (java) S 20628 20628 16408 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418383619 27969658880 32648 33554432000 4194304 4196468 140730828697680 140656206883248 140658161244802 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38371328 140730828706539 140730828706966 140730828706966 140730828709839 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 131988 KiB

[startup+0.700864 s]
/proc/loadavg: 7.98 8.00 8.08 2/211 20650
/proc/meminfo: memFree=28636472/32770624 swapFree=66959224/67108860
[pid=20628] ppid=20625 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/20628/stat : 20628 (scop.sh) S 20625 20628 16408 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 418383611 115843072 349 33554432000 4194304 5098028 140733409158368 140733409155624 139947253445244 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 33792000 140733409162021 140733409162348 140733409162348 140733409165261 0
/proc/20628/statm: 28282 349 296 221 0 87 0
[pid=20631] ppid=20628 vsize=27322516 memory=166252 CPUtime=0.98 cores=0-7
/proc/20631/stat : 20631 (java) S 20628 20628 16408 0 -1 1077944320 20117 0 0 0 91 7 0 0 20 0 20 0 418383611 27978256384 41563 33554432000 4194304 4196468 140730828697680 140730828680224 140658161233655 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38371328 140730828706539 140730828706966 140730828706966 140730828709839 0
/proc/20631/statm: 6830629 41563 3201 1 0 6791959 0
[pid=20631/tid=20632] ppid=20628 vsize=27322516 memory=280574778951808 CPUtime=0.67 cores=0-7
/proc/20631/task/20632/stat : 20632 (java) R 20628 20628 16408 0 -1 4202560 17095 0 0 0 62 5 0 0 20 0 20 0 418383612 27978256384 41563 33554432000 4194304 4196468 140730828697680 140658133065392 140657645617384 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38371328 140730828706539 140730828706966 140730828706966 140730828709839 0
[pid=20631/tid=20633] ppid=20628 vsize=27322516 memory=1436 CPUtime=0 cores=0-7
/proc/20631/task/20633/stat : 20633 (java) S 20628 20628 16408 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418383614 27978256384 41563 33554432000 4194304 4196468 140730828697680 140658165475600 140658161243861 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38371328 140730828706539 140730828706966 140730828706966 140730828709839 0
[pid=20631/tid=20634] ppid=20628 vsize=27322516 memory=580 CPUtime=0 cores=0-7
/proc/20631/task/20634/stat : 20634 (java) S 20628 20628 16408 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418383614 27978256384 41563 33554432000 4194304 4196468 140730828697680 140657979632016 140658161243861 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38371328 140730828706539 140730828706966 140730828706966 140730828709839 0
[pid=20631/tid=20635] ppid=20628 vsize=27322516 memory=1720 CPUtime=0 cores=0-7
/proc/20631/task/20635/stat : 20635 (java) S 20628 20628 16408 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418383614 27978256384 41563 33554432000 4194304 4196468 140730828697680 140657978579472 140658161243861 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38371328 140730828706539 140730828706966 140730828706966 140730828709839 0

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

[pid=20651/tid=20661] ppid=20628 vsize=8414124 memory=280574780247888 CPUtime=0 cores=0-7
/proc/20651/task/20661/stat : 20661 (java) S 20628 20628 16408 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 418383856 8616062976 29611 33554432000 4194304 4196468 140731963324048 139911194622448 139911899851394 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14909440 140731963327479 140731963327638 140731963327638 140731963330511 0
[pid=20651/tid=20662] ppid=20628 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/20651/task/20662/stat : 20662 (java) S 20628 20628 16408 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 418383857 8616062976 29611 33554432000 4194304 4196468 140731963324048 139910371599776 139911899850453 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14909440 140731963327479 140731963327638 140731963327638 140731963330511 0
[pid=20651/tid=20663] ppid=20628 vsize=8414124 memory=2828 CPUtime=0 cores=0-7
/proc/20651/task/20663/stat : 20663 (java) S 20628 20628 16408 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 418383857 8616062976 29611 33554432000 4194304 4196468 140731963324048 139910237378032 139911899850453 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14909440 140731963327479 140731963327638 140731963327638 140731963330511 0
[pid=20651/tid=20664] ppid=20628 vsize=8414124 memory=1216 CPUtime=0 cores=0-7
/proc/20651/task/20664/stat : 20664 (java) S 20628 20628 16408 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418383859 8616062976 29611 33554432000 4194304 4196468 140731963324048 139909862873808 139911899858843 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14909440 140731963327479 140731963327638 140731963327638 140731963330511 0
[pid=20651/tid=20665] ppid=20628 vsize=8414124 memory=984 CPUtime=0.03 cores=0-7
/proc/20651/task/20665/stat : 20665 (java) S 20628 20628 16408 0 -1 1077944384 374 0 0 0 3 0 0 0 20 0 24 0 418383859 8616062976 29611 33554432000 4194304 4196468 140731963324048 139911193569264 139911899851394 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14909440 140731963327479 140731963327638 140731963327638 140731963330511 0
[pid=20651/tid=20666] ppid=20628 vsize=8414124 memory=14004 CPUtime=0.04 cores=0-7
/proc/20651/task/20666/stat : 20666 (java) S 20628 20628 16408 0 -1 1077944384 420 0 0 0 4 0 0 0 20 0 24 0 418383859 8616062976 29611 33554432000 4194304 4196468 140731963324048 139911192516720 139911899851394 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14909440 140731963327479 140731963327638 140731963327638 140731963330511 0
[pid=20651/tid=20667] ppid=20628 vsize=8414124 memory=21868 CPUtime=0.08 cores=0-7
/proc/20651/task/20667/stat : 20667 (java) S 20628 20628 16408 0 -1 1077944384 296 0 0 0 8 0 0 0 20 0 24 0 418383859 8616062976 29611 33554432000 4194304 4196468 140731963324048 139911191464176 139911899851394 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14909440 140731963327479 140731963327638 140731963327638 140731963330511 0
[pid=20651/tid=20668] ppid=20628 vsize=8414124 memory=7686721470250589075 CPUtime=0.18 cores=0-7
/proc/20651/task/20668/stat : 20668 (java) S 20628 20628 16408 0 -1 1077944384 734 0 0 0 18 0 0 0 20 0 24 0 418383859 8616062976 29611 33554432000 4194304 4196468 140731963324048 139911190411632 139911899851394 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14909440 140731963327479 140731963327638 140731963327638 140731963330511 0
[pid=20651/tid=20669] ppid=20628 vsize=8414124 memory=2124 CPUtime=0 cores=0-7
/proc/20651/task/20669/stat : 20669 (java) S 20628 20628 16408 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418383860 8616062976 29611 33554432000 4194304 4196468 140731963324048 139909364968160 139911899850453 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14909440 140731963327479 140731963327638 140731963327638 140731963330511 0
[pid=20651/tid=20670] ppid=20628 vsize=8414124 memory=1984 CPUtime=0.03 cores=0-7
/proc/20651/task/20670/stat : 20670 (java) S 20628 20628 16408 0 -1 1077944384 7 0 0 0 0 3 0 0 20 0 24 0 418383860 8616062976 29611 33554432000 4194304 4196468 140731963324048 139911189359536 139911899851394 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14909440 140731963327479 140731963327638 140731963327638 140731963330511 0
[pid=20651/tid=20672] ppid=20628 vsize=8414124 memory=2580 CPUtime=0 cores=0-7
/proc/20651/task/20672/stat : 20672 (java) S 20628 20628 16408 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 418383925 8616062976 29611 33554432000 4194304 4196468 140731963324048 139911181326016 139911899864857 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 14909440 140731963327479 140731963327638 140731963327638 140731963330511 0
[pid=20651/tid=20674] ppid=20628 vsize=8414124 memory=1760 CPUtime=0 cores=0-7
/proc/20651/task/20674/stat : 20674 (java) S 20628 20628 16408 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 418383925 8616062976 29611 33554432000 4194304 4196468 140731963324048 139908693867792 139911899862173 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 14909440 140731963327479 140731963327638 140731963327638 140731963330511 0
[pid=20651/tid=20675] ppid=20628 vsize=8414124 memory=111636 CPUtime=0 cores=0-7
/proc/20651/task/20675/stat : 20675 (java) S 20628 20628 16408 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 418383925 8616062976 29611 33554432000 4194304 4196468 140731963324048 139908962303376 139911899862173 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 14909440 140731963327479 140731963327638 140731963327638 140731963330511 0
[pid=20651/tid=20676] ppid=20628 vsize=8414124 memory=800 CPUtime=0 cores=0-7
/proc/20651/task/20676/stat : 20676 (java) S 20628 20628 16408 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 24 0 418383927 8616062976 29611 33554432000 4194304 4196468 140731963324048 139908425440432 139911899850453 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14909440 140731963327479 140731963327638 140731963327638 140731963330511 0
Current children cumulated CPU time: 601.65 s
Current children cumulated vsize: 9166264 KiB
Current children cumulated memory: 428916 KiB

[startup+78.8012 s]
/proc/loadavg: 8.05 8.01 8.07 4/219 20689
/proc/meminfo: memFree=28361556/32770624 swapFree=66959224/67108860
[pid=20628] ppid=20625 vsize=113128 memory=1476 CPUtime=6.75 cores=0-7
/proc/20628/stat : 20628 (scop.sh) S 20625 20628 16408 0 -1 4202496 583 28000 0 0 0 0 657 18 20 0 1 0 418383611 115843072 369 33554432000 4194304 5098028 140733409158368 140733409155112 139947253445244 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 33792000 140733409162021 140733409162348 140733409162348 140733409165261 0
/proc/20628/statm: 28282 369 311 221 0 87 0
[pid=20651] ppid=20628 vsize=8414124 memory=118444 CPUtime=1.18 cores=0-7
/proc/20651/stat : 20651 (java) S 20628 20628 16408 0 -1 1077944320 20617 0 0 0 110 8 0 0 20 0 24 0 418383853 8616062976 29611 33554432000 4194304 4196468 140731963324048 140731963306592 139911899840247 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14909440 140731963327479 140731963327638 140731963327638 140731963330511 0
/proc/20651/statm: 2103531 29611 3202 1 0 2064875 0
[pid=20671] ppid=20651 vsize=622620 memory=308980 CPUtime=594.29 cores=0-7
/proc/20671/stat : 20671 (manyglucose-4.1) S 20651 20628 16408 0 -1 1077944320 269217 0 0 0 59365 64 0 0 20 0 2 0 418383924 637562880 77245 33554432000 4194304 4454172 140736176881680 140736176880064 139682684559095 0 4 0 8388610 18446744073709551615 0 0 17 0 0 0 0 0 0 6552832 6554400 17817600 140736176890729 140736176890928 140736176890928 140736176893882 0
/proc/20671/statm: 155655 77245 418 64 0 151323 0
[pid=20671/tid=20683] ppid=20651 vsize=622620 memory=-9104137063569322386 CPUtime=75.58 cores=0-7
/proc/20671/task/20683/stat : 20683 (manyglucose-4.1) R 20651 20628 16408 0 -1 4202560 30737 0 0 0 7549 9 0 0 20 0 2 0 418383930 637562880 77245 33554432000 4194304 4454172 140736176881680 139682268572808 4351758 0 4 0 8388610 0 0 0 -1 5 0 0 0 0 0 6552832 6554400 17817600 140736176890729 140736176890928 140736176890928 140736176893882 0
[pid=20651/tid=20652] ppid=20628 vsize=8414124 memory=308972 CPUtime=0.74 cores=0-7
/proc/20651/task/20652/stat : 20652 (java) S 20628 20628 16408 0 -1 1077944384 17363 0 0 0 69 5 0 0 20 0 24 0 418383854 8616062976 29611 33554432000 4194304 4196468 140731963324048 139911871680416 139911899850453 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14909440 140731963327479 140731963327638 140731963327638 140731963330511 0
[pid=20651/tid=20653] ppid=20628 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/20651/task/20653/stat : 20653 (java) S 20628 20628 16408 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418383855 8616062976 29611 33554432000 4194304 4196468 140731963324048 139911904082704 139911899850453 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14909440 140731963327479 140731963327638 140731963327638 140731963330511 0
[pid=20651/tid=20654] ppid=20628 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/20651/task/20654/stat : 20654 (java) S 20628 20628 16408 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418383855 8616062976 29611 33554432000 4194304 4196468 140731963324048 139911718239120 139911899850453 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14909440 140731963327479 140731963327638 140731963327638 140731963330511 0
[pid=20651/tid=20655] ppid=20628 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/20651/task/20655/stat : 20655 (java) S 20628 20628 16408 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418383855 8616062976 29611 33554432000 4194304 4196468 140731963324048 139911717186576 139911899850453 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14909440 140731963327479 140731963327638 140731963327638 140731963330511 0
[pid=20651/tid=20656] ppid=20628 vsize=8414124 memory=8028676333680759155 CPUtime=0 cores=0-7
/proc/20651/task/20656/stat : 20656 (java) S 20628 20628 16408 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418383855 8616062976 29611 33554432000 4194304 4196468 140731963324048 139911716134032 139911899850453 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14909440 140731963327479 140731963327638 140731963327638 140731963330511 0
[pid=20651/tid=20657] ppid=20628 vsize=8414124 memory=4752 CPUtime=0 cores=0-7
/proc/20651/task/20657/stat : 20657 (java) S 20628 20628 16408 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418383855 8616062976 29611 33554432000 4194304 4196468 140731963324048 139911715080464 139911899850453 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14909440 140731963327479 140731963327638 140731963327638 140731963330511 0
[pid=20651/tid=20658] ppid=20628 vsize=8414124 memory=4104 CPUtime=0 cores=0-7
/proc/20651/task/20658/stat : 20658 (java) S 20628 20628 16408 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418383855 8616062976 29611 33554432000 4194304 4196468 140731963324048 139911381023120 139911899850453 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14909440 140731963327479 140731963327638 140731963327638 140731963330511 0
[pid=20651/tid=20659] ppid=20628 vsize=8414124 memory=1412 CPUtime=0 cores=0-7
/proc/20651/task/20659/stat : 20659 (java) S 20628 20628 16408 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418383855 8616062976 29611 33554432000 4194304 4196468 140731963324048 139911379970576 139911899850453 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14909440 140731963327479 140731963327638 140731963327638 140731963330511 0
[pid=20651/tid=20660] ppid=20628 vsize=8414124 memory=3476 CPUtime=0 cores=0-7
/proc/20651/task/20660/stat : 20660 (java) S 20628 20628 16408 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418383855 8616062976 29611 33554432000 4194304 4196468 140731963324048 139911378918032 139911899850453 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14909440 140731963327479 140731963327638 140731963327638 140731963330511 0
[pid=20651/tid=20661] ppid=20628 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/20651/task/20661/stat : 20661 (java) S 20628 20628 16408 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 418383856 8616062976 29611 33554432000 4194304 4196468 140731963324048 139911194622448 139911899851394 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14909440 140731963327479 140731963327638 140731963327638 140731963330511 0
[pid=20651/tid=20662] ppid=20628 vsize=8414124 memory=118444 CPUtime=0 cores=0-7
/proc/20651/task/20662/stat : 20662 (java) S 20628 20628 16408 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 418383857 8616062976 29611 33554432000 4194304 4196468 140731963324048 139910371599776 139911899850453 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14909440 140731963327479 140731963327638 140731963327638 140731963330511 0
[pid=20651/tid=20663] ppid=20628 vsize=8414124 memory=290196 CPUtime=0 cores=0-7
/proc/20651/task/20663/stat : 20663 (java) S 20628 20628 16408 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 418383857 8616062976 29611 33554432000 4194304 4196468 140731963324048 139910237378032 139911899850453 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14909440 140731963327479 140731963327638 140731963327638 140731963330511 0
[pid=20651/tid=20664] ppid=20628 vsize=8414124 memory=7686721470250589075 CPUtime=0 cores=0-7
/proc/20651/task/20664/stat : 20664 (java) S 20628 20628 16408 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418383859 8616062976 29611 33554432000 4194304 4196468 140731963324048 139909862873808 139911899858843 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14909440 140731963327479 140731963327638 140731963327638 140731963330511 0
[pid=20651/tid=20665] ppid=20628 vsize=8414124 memory=-9104137063569322386 CPUtime=0.03 cores=0-7
/proc/20651/task/20665/stat : 20665 (java) S 20628 20628 16408 0 -1 1077944384 374 0 0 0 3 0 0 0 20 0 24 0 418383859 8616062976 29611 33554432000 4194304 4196468 140731963324048 139911193569264 139911899851394 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14909440 140731963327479 140731963327638 140731963327638 140731963330511 0
[pid=20651/tid=20666] ppid=20628 vsize=8414124 memory=3400 CPUtime=0.04 cores=0-7
/proc/20651/task/20666/stat : 20666 (java) S 20628 20628 16408 0 -1 1077944384 420 0 0 0 4 0 0 0 20 0 24 0 418383859 8616062976 29611 33554432000 4194304 4196468 140731963324048 139911192516720 139911899851394 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14909440 140731963327479 140731963327638 140731963327638 140731963330511 0
[pid=20651/tid=20667] ppid=20628 vsize=8414124 memory=1476 CPUtime=0.08 cores=0-7
/proc/20651/task/20667/stat : 20667 (java) S 20628 20628 16408 0 -1 1077944384 296 0 0 0 8 0 0 0 20 0 24 0 418383859 8616062976 29611 33554432000 4194304 4196468 140731963324048 139911191464176 139911899851394 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14909440 140731963327479 140731963327638 140731963327638 140731963330511 0
[pid=20651/tid=20668] ppid=20628 vsize=8414124 memory=292160 CPUtime=0.18 cores=0-7
/proc/20651/task/20668/stat : 20668 (java) S 20628 20628 16408 0 -1 1077944384 734 0 0 0 18 0 0 0 20 0 24 0 418383859 8616062976 29611 33554432000 4194304 4196468 140731963324048 139911190411632 139911899851394 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14909440 140731963327479 140731963327638 140731963327638 140731963330511 0
[pid=20651/tid=20669] ppid=20628 vsize=8414124 memory=303824 CPUtime=0 cores=0-7
/proc/20651/task/20669/stat : 20669 (java) S 20628 20628 16408 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418383860 8616062976 29611 33554432000 4194304 4196468 140731963324048 139909364968160 139911899850453 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14909440 140731963327479 140731963327638 140731963327638 140731963330511 0
[pid=20651/tid=20670] ppid=20628 vsize=8414124 memory=280574779828192 CPUtime=0.04 cores=0-7
/proc/20651/task/20670/stat : 20670 (java) S 20628 20628 16408 0 -1 1077944384 7 0 0 0 0 4 0 0 20 0 24 0 418383860 8616062976 29611 33554432000 4194304 4196468 140731963324048 139911189359536 139911899851394 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14909440 140731963327479 140731963327638 140731963327638 140731963330511 0
[pid=20651/tid=20672] ppid=20628 vsize=8414124 memory=6228870163616393060 CPUtime=0 cores=0-7
/proc/20651/task/20672/stat : 20672 (java) S 20628 20628 16408 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 418383925 8616062976 29611 33554432000 4194304 4196468 140731963324048 139911181326016 139911899864857 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 14909440 140731963327479 140731963327638 140731963327638 140731963330511 0
[pid=20651/tid=20674] ppid=20628 vsize=8414124 memory=7230090927869420135 CPUtime=0 cores=0-7
/proc/20651/task/20674/stat : 20674 (java) S 20628 20628 16408 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 418383925 8616062976 29611 33554432000 4194304 4196468 140731963324048 139908693867792 139911899862173 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 14909440 140731963327479 140731963327638 140731963327638 140731963330511 0
[pid=20651/tid=20675] ppid=20628 vsize=8414124 memory=316748 CPUtime=0 cores=0-7
/proc/20651/task/20675/stat : 20675 (java) S 20628 20628 16408 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 418383925 8616062976 29611 33554432000 4194304 4196468 140731963324048 139908962303376 139911899862173 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 14909440 140731963327479 140731963327638 140731963327638 140731963330511 0
[pid=20651/tid=20676] ppid=20628 vsize=8414124 memory=304556123141439514 CPUtime=0 cores=0-7
/proc/20651/task/20676/stat : 20676 (java) S 20628 20628 16408 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 24 0 418383927 8616062976 29611 33554432000 4194304 4196468 140731963324048 139908425440432 139911899850453 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14909440 140731963327479 140731963327638 140731963327638 140731963330511 0
Current children cumulated CPU time: 602.22 s
Current children cumulated vsize: 9149872 KiB
Current children cumulated memory: 428900 KiB

[startup+79.0012 s]*
/proc/loadavg: 8.05 8.01 8.07 2/217 20689
/proc/meminfo: memFree=28361872/32770624 swapFree=66959224/67108860
[pid=20628] ppid=20625 vsize=113128 memory=1476 CPUtime=6.75 cores=0-7
/proc/20628/stat : 20628 (scop.sh) S 20625 20628 16408 0 -1 4202496 583 28000 0 0 0 0 657 18 20 0 1 0 418383611 115843072 369 33554432000 4194304 5098028 140733409158368 140733409155112 139947253445244 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 33792000 140733409162021 140733409162348 140733409162348 140733409165261 0
/proc/20628/statm: 28282 369 311 221 0 87 0
[pid=20651] ppid=20628 vsize=8414124 memory=118444 CPUtime=1.18 cores=0-7
/proc/20651/stat : 20651 (java) S 20628 20628 16408 0 -1 1077944320 20617 0 0 0 110 8 0 0 20 0 24 0 418383853 8616062976 29611 33554432000 4194304 4196468 140731963324048 140731963306592 139911899840247 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14909440 140731963327479 140731963327638 140731963327638 140731963330511 0
/proc/20651/statm: 2103531 29611 3202 1 0 2064875 0
[pid=20671] ppid=20651 vsize=622620 memory=309004 CPUtime=594.5 cores=0-7
/proc/20671/stat : 20671 (manyglucose-4.1) S 20651 20628 16408 0 -1 1077944320 269230 0 0 0 59386 64 0 0 20 0 2 0 418383924 637562880 77251 33554432000 4194304 4454172 140736176881680 140736176880064 139682684559095 0 4 0 8388610 18446744073709551615 0 0 17 0 0 0 0 0 0 6552832 6554400 17817600 140736176890729 140736176890928 140736176890928 140736176893882 0
/proc/20671/statm: 155655 77251 418 64 0 151323 0
[pid=20671/tid=20683] ppid=20651 vsize=622620 memory=7595718148113918290 CPUtime=75.79 cores=0-7
/proc/20671/task/20683/stat : 20683 (manyglucose-4.1) R 20651 20628 16408 0 -1 4202560 30750 0 0 0 7570 9 0 0 20 0 2 0 418383930 637562880 77251 33554432000 4194304 4454172 140736176881680 139682268572808 4351535 0 4 0 8388610 0 0 0 -1 5 0 0 0 0 0 6552832 6554400 17817600 140736176890729 140736176890928 140736176890928 140736176893882 0
[pid=20651/tid=20652] ppid=20628 vsize=8414124 memory=7235992895095002730 CPUtime=0.74 cores=0-7
/proc/20651/task/20652/stat : 20652 (java) S 20628 20628 16408 0 -1 1077944384 17363 0 0 0 69 5 0 0 20 0 24 0 418383854 8616062976 29611 33554432000 4194304 4196468 140731963324048 139911871680416 139911899850453 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14909440 140731963327479 140731963327638 140731963327638 140731963330511 0
[pid=20651/tid=20653] ppid=20628 vsize=8414124 memory=-7003737579269690708 CPUtime=0 cores=0-7
/proc/20651/task/20653/stat : 20653 (java) S 20628 20628 16408 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418383855 8616062976 29611 33554432000 4194304 4196468 140731963324048 139911904082704 139911899850453 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14909440 140731963327479 140731963327638 140731963327638 140731963330511 0
[pid=20651/tid=20654] ppid=20628 vsize=8414124 memory=5479 CPUtime=0 cores=0-7
/proc/20651/task/20654/stat : 20654 (java) S 20628 20628 16408 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418383855 8616062976 29611 33554432000 4194304 4196468 140731963324048 139911718239120 139911899850453 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14909440 140731963327479 140731963327638 140731963327638 140731963330511 0
[pid=20651/tid=20655] ppid=20628 vsize=8414124 memory=5420 CPUtime=0 cores=0-7
/proc/20651/task/20655/stat : 20655 (java) S 20628 20628 16408 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418383855 8616062976 29611 33554432000 4194304 4196468 140731963324048 139911717186576 139911899850453 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14909440 140731963327479 140731963327638 140731963327638 140731963330511 0
[pid=20651/tid=20656] ppid=20628 vsize=8414124 memory=7595725741498918995 CPUtime=0 cores=0-7
/proc/20651/task/20656/stat : 20656 (java) S 20628 20628 16408 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418383855 8616062976 29611 33554432000 4194304 4196468 140731963324048 139911716134032 139911899850453 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14909440 140731963327479 140731963327638 140731963327638 140731963330511 0
[pid=20651/tid=20657] ppid=20628 vsize=8414124 memory=7595725741498918995 CPUtime=0 cores=0-7
/proc/20651/task/20657/stat : 20657 (java) S 20628 20628 16408 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418383855 8616062976 29611 33554432000 4194304 4196468 140731963324048 139911715080464 139911899850453 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14909440 140731963327479 140731963327638 140731963327638 140731963330511 0
[pid=20651/tid=20658] ppid=20628 vsize=8414124 memory=6943526294502006880 CPUtime=0 cores=0-7
/proc/20651/task/20658/stat : 20658 (java) S 20628 20628 16408 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418383855 8616062976 29611 33554432000 4194304 4196468 140731963324048 139911381023120 139911899850453 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14909440 140731963327479 140731963327638 140731963327638 140731963330511 0
[pid=20651/tid=20659] ppid=20628 vsize=8414124 memory=288289965419397038 CPUtime=0 cores=0-7
/proc/20651/task/20659/stat : 20659 (java) S 20628 20628 16408 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418383855 8616062976 29611 33554432000 4194304 4196468 140731963324048 139911379970576 139911899850453 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14909440 140731963327479 140731963327638 140731963327638 140731963330511 0
[pid=20651/tid=20660] ppid=20628 vsize=8414124 memory=6160610 CPUtime=0 cores=0-7
/proc/20651/task/20660/stat : 20660 (java) S 20628 20628 16408 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418383855 8616062976 29611 33554432000 4194304 4196468 140731963324048 139911378918032 139911899850453 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14909440 140731963327479 140731963327638 140731963327638 140731963330511 0
[pid=20651/tid=20661] ppid=20628 vsize=8414124 memory=7595725741498918995 CPUtime=0 cores=0-7
/proc/20651/task/20661/stat : 20661 (java) S 20628 20628 16408 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 418383856 8616062976 29611 33554432000 4194304 4196468 140731963324048 139911194622448 139911899851394 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14909440 140731963327479 140731963327638 140731963327638 140731963330511 0
[pid=20651/tid=20662] ppid=20628 vsize=8414124 memory=7595725741498918995 CPUtime=0 cores=0-7
/proc/20651/task/20662/stat : 20662 (java) S 20628 20628 16408 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 418383857 8616062976 29611 33554432000 4194304 4196468 140731963324048 139910371599776 139911899850453 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14909440 140731963327479 140731963327638 140731963327638 140731963330511 0
[pid=20651/tid=20663] ppid=20628 vsize=8414124 memory=7595725741515696211 CPUtime=0 cores=0-7
/proc/20651/task/20663/stat : 20663 (java) S 20628 20628 16408 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 418383857 8616062976 29611 33554432000 4194304 4196468 140731963324048 139910237378032 139911899850453 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14909440 140731963327479 140731963327638 140731963327638 140731963330511 0
[pid=20651/tid=20664] ppid=20628 vsize=8414124 memory=7597662092810277740 CPUtime=0 cores=0-7
/proc/20651/task/20664/stat : 20664 (java) S 20628 20628 16408 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418383859 8616062976 29611 33554432000 4194304 4196468 140731963324048 139909862873808 139911899858843 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14909440 140731963327479 140731963327638 140731963327638 140731963330511 0
[pid=20651/tid=20665] ppid=20628 vsize=8414124 memory=7597662092810277740 CPUtime=0.03 cores=0-7
/proc/20651/task/20665/stat : 20665 (java) S 20628 20628 16408 0 -1 1077944384 374 0 0 0 3 0 0 0 20 0 24 0 418383859 8616062976 29611 33554432000 4194304 4196468 140731963324048 139911193569264 139911899851394 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14909440 140731963327479 140731963327638 140731963327638 140731963330511 0
[pid=20651/tid=20666] ppid=20628 vsize=8414124 memory=7595725741566027859 CPUtime=0.04 cores=0-7
/proc/20651/task/20666/stat : 20666 (java) S 20628 20628 16408 0 -1 1077944384 420 0 0 0 4 0 0 0 20 0 24 0 418383859 8616062976 29611 33554432000 4194304 4196468 140731963324048 139911192516720 139911899851394 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14909440 140731963327479 140731963327638 140731963327638 140731963330511 0
[pid=20651/tid=20667] ppid=20628 vsize=8414124 memory=8093370218951437413 CPUtime=0.08 cores=0-7
/proc/20651/task/20667/stat : 20667 (java) S 20628 20628 16408 0 -1 1077944384 296 0 0 0 8 0 0 0 20 0 24 0 418383859 8616062976 29611 33554432000 4194304 4196468 140731963324048 139911191464176 139911899851394 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14909440 140731963327479 140731963327638 140731963327638 140731963330511 0
[pid=20651/tid=20668] ppid=20628 vsize=8414124 memory=8093370218951437413 CPUtime=0.18 cores=0-7
/proc/20651/task/20668/stat : 20668 (java) S 20628 20628 16408 0 -1 1077944384 734 0 0 0 18 0 0 0 20 0 24 0 418383859 8616062976 29611 33554432000 4194304 4196468 140731963324048 139911190411632 139911899851394 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14909440 140731963327479 140731963327638 140731963327638 140731963330511 0
[pid=20651/tid=20669] ppid=20628 vsize=8414124 memory=8093370218951437413 CPUtime=0 cores=0-7
/proc/20651/task/20669/stat : 20669 (java) S 20628 20628 16408 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418383860 8616062976 29611 33554432000 4194304 4196468 140731963324048 139909364968160 139911899850453 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14909440 140731963327479 140731963327638 140731963327638 140731963330511 0
[pid=20651/tid=20670] ppid=20628 vsize=8414124 memory=5867439796098196824 CPUtime=0.04 cores=0-7
/proc/20651/task/20670/stat : 20670 (java) S 20628 20628 16408 0 -1 1077944384 7 0 0 0 0 4 0 0 20 0 24 0 418383860 8616062976 29611 33554432000 4194304 4196468 140731963324048 139911189359536 139911899851394 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14909440 140731963327479 140731963327638 140731963327638 140731963330511 0
[pid=20651/tid=20672] ppid=20628 vsize=8414124 memory=7235435645267891825 CPUtime=0 cores=0-7
/proc/20651/task/20672/stat : 20672 (java) S 20628 20628 16408 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 418383925 8616062976 29611 33554432000 4194304 4196468 140731963324048 139911181326016 139911899864857 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 14909440 140731963327479 140731963327638 140731963327638 140731963330511 0
[pid=20651/tid=20674] ppid=20628 vsize=8414124 memory=4049782560431408036 CPUtime=0 cores=0-7
/proc/20651/task/20674/stat : 20674 (java) S 20628 20628 16408 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 418383925 8616062976 29611 33554432000 4194304 4196468 140731963324048 139908693867792 139911899862173 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 14909440 140731963327479 140731963327638 140731963327638 140731963330511 0
[pid=20651/tid=20675] ppid=20628 vsize=8414124 memory=7595718148113918290 CPUtime=0 cores=0-7
/proc/20651/task/20675/stat : 20675 (java) S 20628 20628 16408 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 418383925 8616062976 29611 33554432000 4194304 4196468 140731963324048 139908962303376 139911899862173 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 14909440 140731963327479 140731963327638 140731963327638 140731963330511 0
[pid=20651/tid=20676] ppid=20628 vsize=8414124 memory=7523660553960575337 CPUtime=0 cores=0-7
/proc/20651/task/20676/stat : 20676 (java) S 20628 20628 16408 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 24 0 418383927 8616062976 29611 33554432000 4194304 4196468 140731963324048 139908425440432 139911899850453 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14909440 140731963327479 140731963327638 140731963327638 140731963330511 0
Current children cumulated CPU time: 602.43 s
Current children cumulated vsize: 9149872 KiB
Current children cumulated memory: 428924 KiB

Child status: 0
Real time (s): 79.0747
CPU time (s): 602.58
CPU user time (s): 601.639
CPU system time (s): 0.940932
CPU usage (%): 762.039
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 447492

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 601.639
system time used= 0.940932
maximum resident set size= 446460
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 318585
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1368
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 9266
involuntary context switches= 6721


# summary of solver processes directly reported to runsolver:
#   pid: 20628
#   total CPU time (s): 602.58
#   total CPU user time (s): 601.639
#   total CPU system time (s): 0.940932

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.729637 second user time and 1.10381 second system time

The end

Launcher Data 

Begin job on node124 at 2019-09-14 03:26:34
IDJOB=4392393
IDBENCH=124287
IDSOLVER=2838
FILE ID=node124/4392393-1568424434
RUNJOBID= node124-1568416728-16435
PBS_JOBID= 21702259
Free space on /tmp= 61812 MiB

SOLVER NAME= Fun-sCOP order+ManyGlucose (2019-06-15)
BENCH NAME= XCSP17/Langford/Langford-m1-k3/Langford-3-14.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-4392393-1568424434/watcher-4392393-1568424434 -o /tmp/evaluation-result-4392393-1568424434/solver-4392393-1568424434 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node124-1568416728-16435 --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-4392393-1568424434.xml

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

MD5SUM BENCH= be7a6961e736c78e558242a96ea5fa7b
RANDOM SEED=945301191

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

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

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

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

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

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

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.47
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:        28776960 kB
MemAvailable:   31849212 kB
Buffers:          191484 kB
Cached:          3161436 kB
SwapCached:        45888 kB
Active:           984120 kB
Inactive:        2422656 kB
Active(anon):       4960 kB
Inactive(anon):    90128 kB
Active(file):     979160 kB
Inactive(file):  2332528 kB
Unevictable:      106512 kB
Mlocked:          106512 kB
SwapTotal:      67108860 kB
SwapFree:       66959224 kB
Dirty:             20368 kB
Writeback:             0 kB
AnonPages:        132208 kB
Mapped:            44516 kB
Shmem:             32744 kB
Slab:             182396 kB
SReclaimable:     152800 kB
SUnreclaim:        29596 kB
KernelStack:        3712 kB
PageTables:         5692 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     498992 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     86016 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      112000 kB
DirectMap2M:    33433600 kB

Free space on /tmp at the end= 61792 MiB
End job on node124 at 2019-09-14 03:27:54