Trace number 4392693

Some explanations

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

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

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

Solver answer on this benchmark

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

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 -hybrid -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-28901-serial-file.bin HOME/instance-4392693-1568424436.xml
0.66/0.54	
0.66/0.54	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
0.66/0.54	
0.66/0.56	c BEGIN-Prog: Sat Sep 14 03:26:35 CEST 2019
0.66/0.56	c PID: 28904
0.66/0.56	c IP: 172.20.3.134
0.66/0.56	c HOST: node134.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-4392693-1568424436.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.27	c (0,0) translated 3 (10%) constraints
2.11/1.27	c (0,0) translated 6 (20%) constraints
2.11/1.27	c (0,0) translated 9 (30%) constraints
2.11/1.27	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.45/1.30	c (0,0) Hybrid: #OE=42, #LE=0
2.45/1.30	c (0,0) Hybrid
2.45/1.30	c (0,0) ===========================================
2.45/1.32	c (0,0) translated 94 (10%) constraints
2.45/1.34	c (0,0) translated 187 (20%) constraints
2.45/1.35	c (0,0) translated 280 (30%) constraints
2.45/1.36	c (0,0) translated 374 (40%) constraints
2.45/1.37	c (0,0) translated 467 (50%) constraints
2.45/1.37	c (0,0) translated 560 (60%) constraints
2.45/1.38	c (0,0) translated 654 (70%) constraints
2.45/1.39	c (0,0) translated 747 (80%) constraints
2.45/1.39	c (0,0) translated 840 (90%) constraints
3.54/1.61	c (1,1) translated 933 (100%) constraints
3.54/1.61	c (1,1) CSP to CSPinCNF End
3.54/1.62	c (1,1) CSP: 42 int (0 aux), 1764 bool (1764 aux), 4489 ctr, max domain size 38
3.54/1.62	c (1,1) Heap : 225 MiB used (max 21589 MiB), NonHeap : 24 MiB used (max 0 MiB)
3.54/1.62	c (1,1) CSPinCNF Propagation Begin
3.93/1.73	c (1,1) 714 values, 1557 unsatisfiable literals, and 1579 valid clauses are removed
3.93/1.73	c (1,1) CSPinCNF Propagation End
3.93/1.73	c (1,1) CSP: 42 int (0 aux), 1764 bool (1764 aux), 2910 ctr, max domain size 38
3.93/1.73	c (1,1) Heap : 337 MiB used (max 21589 MiB), NonHeap : 25 MiB used (max 0 MiB)
3.93/1.74	c (1,1) Hybrid: #OE=1806, #LE=0
3.93/1.74	c (1,1) Simplify CSPinCNF Begin
4.37/1.81	c (1,1) Simplify CSPinCNF End
4.37/1.81	c (1,1) CSP: 42 int (0 aux), 3340 bool (3340 aux), 4486 ctr, max domain size 38
4.37/1.81	c (1,1) Heap : 337 MiB used (max 21589 MiB), NonHeap : 25 MiB used (max 0 MiB)
4.37/1.81	c (1,1) Calculate Precise Domain Begin
4.37/1.81	c (1,1) 0 values are removed by re-calculation
4.37/1.81	c (1,1) Calculate Precise Domain End
4.37/1.81	c (1,1) CSP: 42 int (0 aux), 3340 bool (3340 aux), 4486 ctr, max domain size 38
4.37/1.81	c (1,1) Heap : 337 MiB used (max 21589 MiB), NonHeap : 25 MiB used (max 0 MiB)
4.37/1.81	c (1,1) CSPinCNF to SatSolver Begin
5.21/2.07	c (1,1) 449 (10 %) CSP clauses are encoded (0 SAT variables, 7692 SAT clauses)
5.64/2.14	c (1,1) 898 (20 %) CSP clauses are encoded (0 SAT variables, 12667 SAT clauses)
5.64/2.19	c (1,1) 1346 (30 %) CSP clauses are encoded (0 SAT variables, 16343 SAT clauses)
6.01/2.25	c (1,1) 1795 (40 %) CSP clauses are encoded (0 SAT variables, 22440 SAT clauses)
6.01/2.29	c (1,1) 2243 (50 %) CSP clauses are encoded (0 SAT variables, 27290 SAT clauses)
6.41/2.32	c (1,1) 2692 (60 %) CSP clauses are encoded (0 SAT variables, 29105 SAT clauses)
6.41/2.33	c (1,1) 3141 (70 %) CSP clauses are encoded (0 SAT variables, 29554 SAT clauses)
6.41/2.34	c (1,1) 3589 (80 %) CSP clauses are encoded (0 SAT variables, 30002 SAT clauses)
6.41/2.34	c (1,1) 4038 (90 %) CSP clauses are encoded (0 SAT variables, 30451 SAT clauses)
6.41/2.36	c (1,1) 4486 (100 %) CSP clauses are encoded (0 SAT variables, 32177 SAT clauses)
6.41/2.36	c (1,1) CSPinCNF to SatSolver End
6.41/2.36	c (1,1) Heap : 563 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB)
6.41/2.36	c (1,1) 3634 bool, 32188 clause
6.41/2.36	c (1,1) Export Begin
6.82/2.44	c (1,1) Export to HOME/scop-28901-serial-file.bin
6.82/2.44	c (1,1) Export End
6.82/2.44	c (1,1) Export File Size: 0.01 MB
6.82/2.44	c (1,1) 0,0,1,1,1,1,1,STOP-AFTER(DIMACS)
6.82/2.44	c END-Prog: Sat Sep 14 03:26:37 CEST 2019
6.82/2.47	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-28901-serial-file.bin
7.04/2.92	c (0,0) Read Serial File Begin
7.04/2.92	c (0,0) HOME/scop-28901-serial-file.bin
7.89/3.12	c (0,0) Read Serial File End
7.89/3.13	
7.89/3.13	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
7.89/3.13	(Solving Process)
7.89/3.13	
7.89/3.15	c BEGIN-Prog: Sat Sep 14 03:26:38 CEST 2019
7.89/3.15	c PID: 28924
7.89/3.15	c IP: 172.20.3.134
7.89/3.15	c HOST: node134.alineos.net
7.89/3.16	c (0,0) SatSolver.solve Begin
7.89/3.16	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4392693-1568424436.xml-scop-28904.cnf
7.89/3.18	c (0,0) c
7.89/3.18	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.89/3.18	c (0,0) c
7.89/3.18	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
7.89/3.18	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
7.89/3.18	c (0,0) c ========================================[ Problem Statistics ]===========================================
7.89/3.18	c (0,0) c |                                                                                                       |
7.89/3.19	c (0,0) c |  Number of variables:          3634                                                                   |
7.89/3.19	c (0,0) c |  Number of clauses:           32188                                                                   |
7.89/3.19	c (0,0) c |  Parse time:                   0.01 s                                                                 |
7.89/3.19	c (0,0) c |                                                                                                       |
8.10/3.22	c (0,0) c |  Simplification time:          0.02 s                                                                 |
8.10/3.22	c (0,0) c |                                                                                                       |
8.10/3.22	c (0,0) c |  Generating clones                                                                                    |
8.10/3.23	c (0,0) c |  all clones generated. Memory =    42.31Mb.                                                           |
8.10/3.23	c (0,0) c ========================================================================================================|
8.10/3.23	c (0,0) c
8.10/3.23	c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
8.10/3.23	c (0,0) c
8.10/3.23	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
8.10/3.23	c (0,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
8.10/3.23	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
8.10/3.23	c (0,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
8.10/3.23	c (0,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
8.10/3.23	c (0,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
8.10/3.23	c (0,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
8.10/3.23	c (0,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
8.10/3.23	c (0,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
8.10/3.23	c (0,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
8.10/3.23	c (0,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
8.10/3.23	c (0,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
8.10/3.23	c (0,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
8.10/3.23	c (0,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
8.10/3.23	c (0,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
8.10/3.23	c (0,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
8.10/3.23	c (0,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
8.10/3.23	c (0,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
8.10/3.23	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
245.48/33.05	c (30,0) c
245.48/33.05	c (30,0) c |------------------------------------------------------------------------------------------------------------------------|
245.48/33.05	c (30,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
245.48/33.05	c (30,0) c |------------------------------------------------------------------------------------------------------------------------|
245.48/33.05	c (30,0) c |  0 |    359 |     208965 |     134030 |    30307 |    42639 |    16795 |   107250 |    13248 |      338 |  20 |  0.083 |
245.48/33.05	c (30,0) c |  1 |    410 |     216706 |     135779 |    30256 |    44394 |    15469 |   109261 |    13611 |      340 |  20 |  0.085 |
245.48/33.05	c (30,0) c |  2 |    385 |     214386 |     131590 |    30403 |    40202 |    15827 |   106095 |    13467 |      326 |  20 |  0.083 |
245.48/33.05	c (30,0) c |  3 |    293 |     207709 |     133026 |    30273 |    41640 |    15533 |   107011 |    13208 |      329 |  20 |  0.083 |
245.48/33.05	c (30,0) c |  4 |    387 |     213005 |     132446 |    30364 |    41062 |    16027 |   106393 |    13549 |      329 |  20 |  0.083 |
245.48/33.05	c (30,0) c |  5 |    295 |     207285 |     132058 |    30251 |    40669 |    15750 |   106840 |    13340 |      329 |  20 |  0.083 |
245.48/33.05	c (30,0) c |  6 |    460 |     217685 |     136662 |    30382 |    45274 |    15709 |   109656 |    14160 |      345 |  20 |  0.084 |
245.48/33.05	c (30,0) c |  7 |    447 |     214214 |     133082 |    30366 |    41693 |    15771 |   107374 |    13621 |      332 |  20 |  0.083 |
245.48/33.05	c (30,0) c 
245.48/33.05	c (30,0) c synthesis     1068673 conflicts   377596080 propagations     4505 conflicts/sec  1591769 propagations/sec
245.48/33.05	c (30,0) c real: 29.8661 s, cpu: 237.218 s, memory: 624.03 Mb
475.67/62.05	c (59,0) c
475.67/62.05	c (59,0) c |------------------------------------------------------------------------------------------------------------------------|
475.67/62.05	c (59,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
475.67/62.05	c (59,0) c |------------------------------------------------------------------------------------------------------------------------|
475.67/62.05	c (59,0) c |  0 |    689 |     336110 |     229713 |    30534 |    31518 |    24309 |   155599 |    22095 |      657 |  20 |  0.083 |
475.67/62.05	c (59,0) c |  1 |    775 |     343614 |     232159 |    30487 |    33968 |    22645 |   158216 |    22415 |      664 |  20 |  0.084 |
475.67/62.05	c (59,0) c |  2 |    710 |     346916 |     232431 |    30574 |    34239 |    22842 |   157394 |    22442 |      660 |  20 |  0.083 |
475.67/62.05	c (59,0) c |  3 |    596 |     340743 |     235249 |    30492 |    37059 |    22541 |   159231 |    22244 |      669 |  20 |  0.083 |
475.67/62.05	c (59,0) c |  4 |    708 |     342319 |     230891 |    30535 |    32705 |    23561 |   156800 |    22560 |      660 |  20 |  0.085 |
475.67/62.05	c (59,0) c |  5 |    579 |     339670 |     233885 |    30492 |    35693 |    22856 |   158630 |    22413 |      666 |  20 |  0.085 |
475.67/62.05	c (59,0) c |  6 |    771 |     338267 |     227894 |    30527 |    60301 |    22158 |   157014 |    22346 |      652 |  20 |  0.083 |
475.67/62.05	c (59,0) c |  7 |    757 |     346332 |     234179 |    30543 |    35987 |    23038 |   158408 |    22732 |      667 |  20 |  0.083 |
475.67/62.05	c (59,0) c 
475.67/62.05	c (59,0) c synthesis     1856401 conflicts   634360054 propagations     3973 conflicts/sec  1357717 propagations/sec
475.67/62.05	c (59,0) c real: 58.8661 s, cpu: 467.226 s, memory: 624.03 Mb
599.55/78.95	c (76,0) c
599.55/78.95	c (76,0) c real time : 75.7694 s
599.55/78.95	c (76,0) c cpu time  : 590.756 s
599.55/78.95	c (76,0) c
599.55/78.95	c (76,0) c
599.55/78.95	c (76,0) c
599.55/78.95	c (76,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
599.55/78.95	c (76,0) c
599.55/78.95	c (76,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
599.55/78.95	c (76,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
599.55/78.95	c (76,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
599.55/78.95	c (76,0) c | Conflicts     |         2263860 |     281868 |     281815 |     284575 |     283210 |     282621 |     283618 |     282201 |     283952 |
599.55/78.95	c (76,0) c | Decisions     |         3270835 |     404726 |     409491 |     415206 |     404794 |     410833 |     404154 |     409823 |     411808 |
599.55/78.95	c (76,0) c | Propagations  |       764699095 |   95271312 |   95536765 |   96433111 |   95269655 |   95803580 |   95636299 |   94919522 |   95828851 |
599.55/78.95	c (76,0) c | ReduceDBs     |             112 |         14 |         14 |         14 |         14 |         14 |         14 |         14 |         14 |
599.55/78.95	c (76,0) c | SimpDBs       |              86 |         11 |         11 |         11 |         10 |         10 |         12 |         11 |         10 |
599.55/78.95	c (76,0) c | Restarts      |            7068 |        876 |        969 |        898 |        797 |        924 |        722 |        958 |        924 |
599.55/78.95	c (76,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
599.55/78.95	c (76,0) c | PropBinClauses|      2102000852 |  261561515 |  262318528 |  265065885 |  262827263 |  262357176 |  263553858 |  261152233 |  263164394 |
599.55/78.95	c (76,0) c | PropPreBlocker|     18169723476 | 2265957333 | 2264365970 | 2282613248 | 2276742121 | 2267101970 | 2275022523 | 2260895305 | 2277025006 |
599.55/78.95	c (76,0) c | PropNotBlocker|      5022676812 |  627653890 |  628379448 |  628492647 |  627321041 |  630242335 |  628149142 |  623744468 |  628693841 |
599.55/78.95	c (76,0) c | LitFullScans  |     40201780672 | 5022448850 | 5023681845 | 5028599048 | 5028553381 | 5022612888 | 5024827274 | 5022686590 | 5028370796 |
599.55/78.95	c (76,0) c | LitScanFracts |         3795345 |     429097 |     298774 |     590243 |     538685 |     609705 |     292107 |     675510 |     361224 |
599.55/78.95	c (76,0) c | DecisionLevel0|            7137 |        883 |        983 |        910 |        802 |        933 |        733 |        965 |        928 |
599.55/78.95	c (76,0) c | Periods       |            6699 |        837 |        837 |        838 |        838 |        837 |        837 |        837 |        838 |
599.55/78.95	c (76,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
599.55/78.95	c (76,0) c | Avg_Trail     |                 |       1858 |       1859 |       1855 |       1851 |       1859 |       1854 |       1864 |       1856 |
599.55/78.95	c (76,0) c | Avg_DL        |                 |         16 |         16 |         17 |         17 |         16 |         16 |         17 |         17 |
599.55/78.95	c (76,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
599.55/78.95	c (76,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
599.55/78.95	c (76,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
599.55/78.95	c (76,0) c | Exported      |          216979 |      28762 |      26776 |      26603 |      26579 |      27863 |      26857 |      26248 |      27291 |
599.55/78.95	c (76,0) c | Imported      |         1487191 |     184175 |     186328 |     186502 |     186689 |     185030 |     186181 |     186316 |     185970 |
599.55/78.95	c (76,0) c | Good          |           59487 |       7437 |       7324 |       7455 |       7445 |       7423 |       7461 |       7490 |       7452 |
599.55/78.95	c (76,0) c | Purge         |         1427704 |     176738 |     179004 |     179047 |     179244 |     177607 |     178720 |     178826 |     178518 |
599.55/78.95	c (76,0) c | Promoted      |          218205 |      27068 |      27204 |      27379 |      26910 |      27511 |      27174 |      27390 |      27569 |
599.55/78.95	c (76,0) c | Remove_Imp    |          881620 |     108363 |     109800 |     111693 |     110115 |     108998 |     112073 |     112407 |     108171 |
599.55/78.95	c (76,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
599.55/78.95	c (76,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
599.55/78.95	c (76,0) c | Unaries       |                 |          7 |         14 |         12 |          5 |          9 |         11 |          7 |          4 |
599.55/78.95	c (76,0) c | Binaries      |                 |       1082 |       1207 |       1083 |       1080 |       1100 |       1052 |       1024 |       1064 |
599.55/78.95	c (76,0) c | Glues         |                 |       3969 |       4029 |       3915 |       3889 |       3996 |       3822 |       3736 |       3750 |
599.55/78.95	c (76,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
599.55/78.95	c (76,0) c | Orig_Seen     |            98 % |      30591 |      30523 |      30631 |      30542 |      30583 |      30553 |      30567 |      30585 |
599.55/78.95	c (76,0) c | Diff Orig seen|                 |         68 |      X     |        108 |         19 |         60 |         30 |         44 |         62 |
599.55/78.95	c (76,0) c | Hamming       |            18 % |        583 |      X     |        779 |        667 |        685 |        717 |        738 |        638 |
599.55/78.95	c (76,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
599.55/78.95	c (76,0) c | RunningTime   |                 |   75.0  99%|   73.0  98%|   74.1  99%|   73.3  98%|   74.2 100%|   74.3 100%|   75.3 100%|   73.3  98%|
599.55/78.95	c (76,0) c | WaitingTime   |                 |    0.4   1%|    1.4   2%|    0.4   1%|    1.1   2%|    0.2   0%|    0.1   0%|    0.2   0%|    1.1   2%|
599.55/78.95	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%|
599.55/78.95	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%|
599.55/78.95	c (76,0) c | SolvingTime   |                 |   75.5     |   74.5     |   74.6     |   74.6     |   74.6     |   74.5     |   75.7     |   74.6     |
599.55/78.95	c (76,0) c | PropagationTim|                 |   68.2  90%|   67.0  90%|   66.9  90%|   67.2  90%|   67.2  90%|   66.7  90%|   65.5  87%|   67.2  90%|
599.55/78.95	c (76,0) c | AnalysisTime  |                 |    5.7   8%|    5.9   8%|    6.0   8%|    5.8   8%|    5.7   8%|    6.1   8%|    8.5  11%|    5.7   8%|
599.55/78.95	c (76,0) c | ReductionTime |                 |    0.4   1%|    0.4   1%|    0.4   0%|    0.4   0%|    0.4   1%|    0.4   1%|    0.4   1%|    0.4   0%|
599.55/78.95	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%|
599.55/78.95	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%|
599.55/78.95	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%|
599.55/78.95	c (76,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
599.55/78.95	c (76,0) c
599.55/78.95	c (76,0) c
599.55/78.95	c (76,0) c Threads : 8
599.55/78.95	c (76,0) c Winner : 1
599.55/78.95	c (76,0) c Conflicts_0 : 281868
599.55/78.95	c (76,0) c Conflicts_1 : 281815
599.55/78.95	c (76,0) c Conflicts_2 : 284575
599.55/78.95	c (76,0) c Conflicts_3 : 283210
599.55/78.95	c (76,0) c Conflicts_4 : 282621
599.55/78.95	c (76,0) c Conflicts_5 : 283618
599.55/78.95	c (76,0) c Conflicts_6 : 282201
599.55/78.95	c (76,0) c Conflicts_7 : 283952
599.55/78.95	c (76,0) c Conflicts_total : 2263860
599.55/78.95	c (76,0) c Conflicts_winner : 281815
599.55/78.95	c (76,0) c Decisions_0 : 404726
599.55/78.95	c (76,0) c Decisions_1 : 409491
599.55/78.95	c (76,0) c Decisions_2 : 415206
599.55/78.95	c (76,0) c Decisions_3 : 404794
599.55/78.95	c (76,0) c Decisions_4 : 410833
599.55/78.95	c (76,0) c Decisions_5 : 404154
599.55/78.95	c (76,0) c Decisions_6 : 409823
599.55/78.95	c (76,0) c Decisions_7 : 411808
599.55/78.95	c (76,0) c Decisions_total : 3270835
599.55/78.95	c (76,0) c Decisions_winner : 409491
599.55/78.95	c (76,0) c Propagations_0 : 95271312
599.55/78.95	c (76,0) c Propagations_1 : 95536765
599.55/78.95	c (76,0) c Propagations_2 : 96433111
599.55/78.95	c (76,0) c Propagations_3 : 95269655
599.55/78.95	c (76,0) c Propagations_4 : 95803580
599.55/78.95	c (76,0) c Propagations_5 : 95636299
599.55/78.95	c (76,0) c Propagations_6 : 94919522
599.55/78.95	c (76,0) c Propagations_7 : 95828851
599.55/78.95	c (76,0) c Propagations_total : 764699095
599.55/78.95	c (76,0) c Propagations_winner : 95536765
599.55/78.95	c (76,0) c ReduceDBs_0 : 14
599.55/78.95	c (76,0) c ReduceDBs_1 : 14
599.55/78.95	c (76,0) c ReduceDBs_2 : 14
599.55/78.95	c (76,0) c ReduceDBs_3 : 14
599.55/78.95	c (76,0) c ReduceDBs_4 : 14
599.55/78.96	c (76,0) c ReduceDBs_5 : 14
599.55/78.96	c (76,0) c ReduceDBs_6 : 14
599.55/78.96	c (76,0) c ReduceDBs_7 : 14
599.55/78.96	c (76,0) c ReduceDBs_total : 112
599.55/78.96	c (76,0) c ReduceDBs_winner : 14
599.55/78.96	c (76,0) c SimpDBs_0 : 11
599.55/78.96	c (76,0) c SimpDBs_1 : 11
599.55/78.96	c (76,0) c SimpDBs_2 : 11
599.55/78.96	c (76,0) c SimpDBs_3 : 10
599.55/78.96	c (76,0) c SimpDBs_4 : 10
599.55/78.96	c (76,0) c SimpDBs_5 : 12
599.55/78.96	c (76,0) c SimpDBs_6 : 11
599.55/78.96	c (76,0) c SimpDBs_7 : 10
599.55/78.96	c (76,0) c SimpDBs_total : 86
599.55/78.96	c (76,0) c SimpDBs_winner : 11
599.55/78.96	c (76,0) c Restarts_0 : 876
599.55/78.96	c (76,0) c Restarts_1 : 969
599.55/78.96	c (76,0) c Restarts_2 : 898
599.55/78.96	c (76,0) c Restarts_3 : 797
599.55/78.96	c (76,0) c Restarts_4 : 924
599.55/78.96	c (76,0) c Restarts_5 : 722
599.55/78.96	c (76,0) c Restarts_6 : 958
599.55/78.96	c (76,0) c Restarts_7 : 924
599.55/78.96	c (76,0) c Restarts_total : 7068
599.55/78.96	c (76,0) c Restarts_winner : 969
599.55/78.96	c (76,0) c ForcedImports_0 : 0
599.55/78.96	c (76,0) c ForcedImports_1 : 0
599.55/78.96	c (76,0) c ForcedImports_2 : 0
599.55/78.96	c (76,0) c ForcedImports_3 : 0
599.55/78.96	c (76,0) c ForcedImports_4 : 0
599.55/78.96	c (76,0) c ForcedImports_5 : 0
599.55/78.96	c (76,0) c ForcedImports_6 : 0
599.55/78.96	c (76,0) c ForcedImports_7 : 0
599.55/78.96	c (76,0) c ForcedImports_total : 0
599.55/78.96	c (76,0) c ForcedImports_winner : 0
599.55/78.96	c (76,0) c PropsBinClauses_0 : 261561515
599.55/78.96	c (76,0) c PropsBinClauses_1 : 262318528
599.55/78.96	c (76,0) c PropsBinClauses_2 : 265065885
599.55/78.96	c (76,0) c PropsBinClauses_3 : 262827263
599.55/78.96	c (76,0) c PropsBinClauses_4 : 262357176
599.55/78.96	c (76,0) c PropsBinClauses_5 : 263553858
599.55/78.96	c (76,0) c PropsBinClauses_6 : 261152233
599.55/78.96	c (76,0) c PropsBinClauses_7 : 263164394
599.55/78.96	c (76,0) c PropsBinClauses_total : 2102000852
599.55/78.96	c (76,0) c PropsBinClauses_winner : 262318528
599.55/78.96	c (76,0) c PropsPreBlocker_0 : 2265957333
599.55/78.96	c (76,0) c PropsPreBlocker_1 : 2264365970
599.55/78.96	c (76,0) c PropsPreBlocker_2 : 2282613248
599.55/78.96	c (76,0) c PropsPreBlocker_3 : 2276742121
599.55/78.96	c (76,0) c PropsPreBlocker_4 : 2267101970
599.55/78.96	c (76,0) c PropsPreBlocker_5 : 2275022523
599.55/78.96	c (76,0) c PropsPreBlocker_6 : 2260895305
599.55/78.96	c (76,0) c PropsPreBlocker_7 : 2277025006
599.55/78.96	c (76,0) c PropsPreBlocker_total : 18169723476
599.55/78.96	c (76,0) c PropsPreBlocker_winner : 2264365970
599.55/78.96	c (76,0) c PropsNotBlocker_0 : 627653890
599.55/78.96	c (76,0) c PropsNotBlocker_1 : 628379448
599.55/78.96	c (76,0) c PropsNotBlocker_2 : 628492647
599.55/78.96	c (76,0) c PropsNotBlocker_3 : 627321041
599.55/78.96	c (76,0) c PropsNotBlocker_4 : 630242335
599.55/78.96	c (76,0) c PropsNotBlocker_5 : 628149142
599.55/78.96	c (76,0) c PropsNotBlocker_6 : 623744468
599.55/78.96	c (76,0) c PropsNotBlocker_7 : 628693841
599.55/78.96	c (76,0) c PropsNotBlocker_total : 5022676812
599.55/78.96	c (76,0) c PropsNotBlocker_winner : 628379448
599.55/78.96	c (76,0) c PropsLitFullScans_0 : 5022448850
599.55/78.96	c (76,0) c PropsLitFullScans_1 : 5023681845
599.55/78.96	c (76,0) c PropsLitFullScans_2 : 5028599048
599.55/78.96	c (76,0) c PropsLitFullScans_3 : 5028553381
599.55/78.96	c (76,0) c PropsLitFullScans_4 : 5022612888
599.55/78.96	c (76,0) c PropsLitFullScans_5 : 5024827274
599.55/78.96	c (76,0) c PropsLitFullScans_6 : 5022686590
599.55/78.96	c (76,0) c PropsLitFullScans_7 : 5028370796
599.55/78.96	c (76,0) c PropsLitFullScans_total : 40201780672
599.55/78.96	c (76,0) c PropsLitFullScans_winner : 5023681845
599.55/78.96	c (76,0) c LitScanFractions_0 : 429097
599.55/78.96	c (76,0) c LitScanFractions_1 : 298774
599.55/78.96	c (76,0) c LitScanFractions_2 : 590243
599.55/78.96	c (76,0) c LitScanFractions_3 : 538685
599.55/78.96	c (76,0) c LitScanFractions_4 : 609705
599.55/78.96	c (76,0) c LitScanFractions_5 : 292107
599.55/78.96	c (76,0) c LitScanFractions_6 : 675510
599.55/78.96	c (76,0) c LitScanFractions_7 : 361224
599.55/78.96	c (76,0) c LitScanFractions_total : 3795345
599.55/78.96	c (76,0) c LitScanFractions_winner : 298774
599.55/78.96	c (76,0) c DecisionLevel0_0 : 883
599.55/78.96	c (76,0) c DecisionLevel0_1 : 983
599.55/78.96	c (76,0) c DecisionLevel0_2 : 910
599.55/78.96	c (76,0) c DecisionLevel0_3 : 802
599.55/78.96	c (76,0) c DecisionLevel0_4 : 933
599.55/78.96	c (76,0) c DecisionLevel0_5 : 733
599.55/78.96	c (76,0) c DecisionLevel0_6 : 965
599.55/78.96	c (76,0) c DecisionLevel0_7 : 928
599.55/78.96	c (76,0) c DecisionLevel0_total : 7137
599.55/78.96	c (76,0) c DecisionLevel0_winner : 983
599.55/78.96	c (76,0) c Periods_0 : 837
599.55/78.96	c (76,0) c Periods_1 : 837
599.55/78.96	c (76,0) c Periods_2 : 838
599.55/78.96	c (76,0) c Periods_3 : 838
599.55/78.96	c (76,0) c Periods_4 : 837
599.55/78.96	c (76,0) c Periods_5 : 837
599.55/78.96	c (76,0) c Periods_6 : 837
599.55/78.96	c (76,0) c Periods_7 : 838
599.55/78.96	c (76,0) c Periods_total : 6699
599.55/78.96	c (76,0) c Periods_winner : 837
599.55/78.96	c (76,0) c Margin_0 : 20
599.55/78.96	c (76,0) c Margin_1 : 20
599.55/78.96	c (76,0) c Margin_2 : 20
599.55/78.96	c (76,0) c Margin_3 : 20
599.55/78.96	c (76,0) c Margin_4 : 20
599.55/78.96	c (76,0) c Margin_5 : 20
599.55/78.96	c (76,0) c Margin_6 : 20
599.55/78.96	c (76,0) c Margin_7 : 20
599.55/78.96	c (76,0) c Margin_total : 160
599.55/78.96	c (76,0) c Margin_winner : 20
599.55/78.96	c (76,0) c Exported_0 : 28762
599.55/78.96	c (76,0) c Exported_1 : 26776
599.55/78.96	c (76,0) c Exported_2 : 26603
599.55/78.96	c (76,0) c Exported_3 : 26579
599.55/78.96	c (76,0) c Exported_4 : 27863
599.55/78.96	c (76,0) c Exported_5 : 26857
599.55/78.96	c (76,0) c Exported_6 : 26248
599.55/78.96	c (76,0) c Exported_7 : 27291
599.55/78.96	c (76,0) c Exported_total : 216979
599.55/78.96	c (76,0) c Exported_winner : 26776
599.55/78.96	c (76,0) c Imported_0 : 184175
599.55/78.96	c (76,0) c Imported_1 : 186328
599.55/78.96	c (76,0) c Imported_2 : 186502
599.55/78.96	c (76,0) c Imported_3 : 186689
599.55/78.96	c (76,0) c Imported_4 : 185030
599.55/78.96	c (76,0) c Imported_5 : 186181
599.55/78.96	c (76,0) c Imported_6 : 186316
599.55/78.96	c (76,0) c Imported_7 : 185970
599.55/78.96	c (76,0) c Imported_total : 1487191
599.55/78.96	c (76,0) c Imported_winner : 186328
599.55/78.96	c (76,0) c Good_0 : 7437
599.55/78.96	c (76,0) c Good_1 : 7324
599.55/78.96	c (76,0) c Good_2 : 7455
599.55/78.96	c (76,0) c Good_3 : 7445
599.55/78.96	c (76,0) c Good_4 : 7423
599.55/78.96	c (76,0) c Good_5 : 7461
599.55/78.96	c (76,0) c Good_6 : 7490
599.55/78.96	c (76,0) c Good_7 : 7452
599.55/78.96	c (76,0) c Good_total : 59487
599.55/78.96	c (76,0) c Good_winner : 7324
599.55/78.96	c (76,0) c Purge_0 : 176738
599.55/78.96	c (76,0) c Purge_1 : 179004
599.55/78.96	c (76,0) c Purge_2 : 179047
599.55/78.96	c (76,0) c Purge_3 : 179244
599.55/78.96	c (76,0) c Purge_4 : 177607
599.55/78.96	c (76,0) c Purge_5 : 178720
599.55/78.96	c (76,0) c Purge_6 : 178826
599.55/78.96	c (76,0) c Purge_7 : 178518
599.55/78.96	c (76,0) c Purge_total : 1427704
599.55/78.96	c (76,0) c Purge_winner : 179004
599.55/78.96	c (76,0) c Promoted_0 : 27068
599.55/78.96	c (76,0) c Promoted_1 : 27204
599.55/78.96	c (76,0) c Promoted_2 : 27379
599.55/78.96	c (76,0) c Promoted_3 : 26910
599.55/78.96	c (76,0) c Promoted_4 : 27511
599.55/78.96	c (76,0) c Promoted_5 : 27174
599.55/78.96	c (76,0) c Promoted_6 : 27390
599.55/78.96	c (76,0) c Promoted_7 : 27569
599.55/78.96	c (76,0) c Promoted_total : 218205
599.55/78.96	c (76,0) c Promoted_winner : 27204
599.55/78.96	c (76,0) c Remove_Imp_0 : 108363
599.55/78.96	c (76,0) c Remove_Imp_1 : 109800
599.55/78.96	c (76,0) c Remove_Imp_2 : 111693
599.55/78.96	c (76,0) c Remove_Imp_3 : 110115
599.55/78.96	c (76,0) c Remove_Imp_4 : 108998
599.55/78.96	c (76,0) c Remove_Imp_5 : 112073
599.55/78.96	c (76,0) c Remove_Imp_6 : 112407
599.55/78.96	c (76,0) c Remove_Imp_7 : 108171
599.55/78.96	c (76,0) c Remove_Imp_total : 881620
599.55/78.96	c (76,0) c Remove_Imp_winner : 109800
599.55/78.96	c (76,0) c Blocked_Reuse_0 : 0
599.55/78.96	c (76,0) c Blocked_Reuse_1 : 0
599.55/78.96	c (76,0) c Blocked_Reuse_2 : 0
599.55/78.96	c (76,0) c Blocked_Reuse_3 : 0
599.55/78.96	c (76,0) c Blocked_Reuse_4 : 0
599.55/78.96	c (76,0) c Blocked_Reuse_5 : 0
599.55/78.96	c (76,0) c Blocked_Reuse_6 : 0
599.55/78.96	c (76,0) c Blocked_Reuse_7 : 0
599.55/78.96	c (76,0) c Blocked_Reuse_total : 0
599.55/78.96	c (76,0) c Blocked_Reuse_winner : 0
599.55/78.96	c (76,0) c Unaries_0 : 7
599.55/78.96	c (76,0) c Unaries_1 : 14
599.55/78.96	c (76,0) c Unaries_2 : 12
599.55/78.96	c (76,0) c Unaries_3 : 5
599.55/78.96	c (76,0) c Unaries_4 : 9
599.55/78.96	c (76,0) c Unaries_5 : 11
599.55/78.96	c (76,0) c Unaries_6 : 7
599.55/78.96	c (76,0) c Unaries_7 : 4
599.55/78.96	c (76,0) c Unaries_total : 69
599.55/78.96	c (76,0) c Unaries_winner : 14
599.55/78.96	c (76,0) c Binaries_0 : 1082
599.55/78.96	c (76,0) c Binaries_1 : 1207
599.55/78.96	c (76,0) c Binaries_2 : 1083
599.55/78.96	c (76,0) c Binaries_3 : 1080
599.55/78.96	c (76,0) c Binaries_4 : 1100
599.55/78.96	c (76,0) c Binaries_5 : 1052
599.55/78.96	c (76,0) c Binaries_6 : 1024
599.55/78.96	c (76,0) c Binaries_7 : 1064
599.55/78.96	c (76,0) c Binaries_total : 8692
599.55/78.96	c (76,0) c Binaries_winner : 1207
599.55/78.96	c (76,0) c Glues_0 : 3969
599.55/78.96	c (76,0) c Glues_1 : 4029
599.55/78.96	c (76,0) c Glues_2 : 3915
599.55/78.96	c (76,0) c Glues_3 : 3889
599.55/78.96	c (76,0) c Glues_4 : 3996
599.55/78.96	c (76,0) c Glues_5 : 3822
599.55/78.96	c (76,0) c Glues_6 : 3736
599.55/78.96	c (76,0) c Glues_7 : 3750
599.55/78.96	c (76,0) c Glues_total : 31106
599.55/78.96	c (76,0) c Glues_winner : 4029
599.55/78.96	c (76,0) c RunningTime_0 : 74.995454
599.55/78.96	c (76,0) c RunningTime_1 : 73.008032
599.55/78.96	c (76,0) c RunningTime_2 : 74.073006
599.55/78.96	c (76,0) c RunningTime_3 : 73.315750
599.55/78.96	c (76,0) c RunningTime_4 : 74.248769
599.55/78.96	c (76,0) c RunningTime_5 : 74.270365
599.55/78.96	c (76,0) c RunningTime_6 : 75.332209
599.55/78.96	c (76,0) c RunningTime_7 : 73.306116
599.55/78.96	c (76,0) c RunningTime_total : 592.549700
599.55/78.96	c (76,0) c RunningTime_winner : 73.008032
599.55/78.96	c (76,0) c WaitingTime_0 : 0.407899
599.55/78.96	c (76,0) c WaitingTime_1 : 1.363232
599.55/78.96	c (76,0) c WaitingTime_2 : 0.380397
599.55/78.96	c (76,0) c WaitingTime_3 : 1.142600
599.55/78.96	c (76,0) c WaitingTime_4 : 0.246325
599.55/78.96	c (76,0) c WaitingTime_5 : 0.124407
599.55/78.96	c (76,0) c WaitingTime_6 : 0.247186
599.55/78.96	c (76,0) c WaitingTime_7 : 1.143293
599.55/78.96	c (76,0) c WaitingTime_total : 5.055339
599.55/78.96	c (76,0) c WaitingTime_winner : 1.363232
599.55/78.96	c (76,0) c ExchangingTime_0 : 0.094436
599.55/78.96	c (76,0) c ExchangingTime_1 : 0.104264
599.55/78.96	c (76,0) c ExchangingTime_2 : 0.091732
599.55/78.96	c (76,0) c ExchangingTime_3 : 0.090755
599.55/78.96	c (76,0) c ExchangingTime_4 : 0.093511
599.55/78.96	c (76,0) c ExchangingTime_5 : 0.093943
599.55/78.96	c (76,0) c ExchangingTime_6 : 0.102413
599.55/78.96	c (76,0) c ExchangingTime_7 : 0.098605
599.55/78.96	c (76,0) c ExchangingTime_total : 0.769660
599.55/78.96	c (76,0) c ExchangingTime_winner : 0.104264
599.55/78.96	c (76,0) c PeriodProcTime_0 : 0.006343
599.55/78.96	c (76,0) c PeriodProcTime_1 : 0.006206
599.55/78.96	c (76,0) c PeriodProcTime_2 : 0.007724
599.55/78.96	c (76,0) c PeriodProcTime_3 : 0.005431
599.55/78.96	c (76,0) c PeriodProcTime_4 : 0.007431
599.55/78.96	c (76,0) c PeriodProcTime_5 : 0.007112
599.55/78.96	c (76,0) c PeriodProcTime_6 : 0.008957
599.55/78.96	c (76,0) c PeriodProcTime_7 : 0.005473
599.55/78.96	c (76,0) c PeriodProcTime_total : 0.054677
599.55/78.96	c (76,0) c PeriodProcTime_winner : 0.006206
599.55/78.96	c (76,0) c SolvingTime_0 : 75.504133
599.55/78.96	c (76,0) c SolvingTime_1 : 74.481733
599.55/78.96	c (76,0) c SolvingTime_2 : 74.552858
599.55/78.96	c (76,0) c SolvingTime_3 : 74.554535
599.55/78.96	c (76,0) c SolvingTime_4 : 74.596037
599.55/78.96	c (76,0) c SolvingTime_5 : 74.495827
599.55/78.96	c (76,0) c SolvingTime_6 : 75.690765
599.55/78.96	c (76,0) c SolvingTime_7 : 74.553488
599.55/78.96	c (76,0) c SolvingTime_total : 598.429376
599.55/78.96	c (76,0) c SolvingTime_winner : 74.481733
599.55/78.96	c (76,0) c PropagationTime_0 : 68.167515
599.55/78.96	c (76,0) c PropagationTime_1 : 66.950591
599.55/78.96	c (76,0) c PropagationTime_2 : 66.895099
599.55/78.96	c (76,0) c PropagationTime_3 : 67.162533
599.55/78.96	c (76,0) c PropagationTime_4 : 67.244364
599.55/78.96	c (76,0) c PropagationTime_5 : 66.693752
599.55/78.96	c (76,0) c PropagationTime_6 : 65.540794
599.55/78.96	c (76,0) c PropagationTime_7 : 67.242025
599.55/78.96	c (76,0) c PropagationTime_total : 535.896673
599.55/78.96	c (76,0) c PropagationTime_winner : 66.950591
599.55/78.96	c (76,0) c AnalysisTime_0 : 5.696375
599.55/78.96	c (76,0) c AnalysisTime_1 : 5.869168
599.55/78.96	c (76,0) c AnalysisTime_2 : 5.983323
599.55/78.96	c (76,0) c AnalysisTime_3 : 5.778297
599.55/78.96	c (76,0) c AnalysisTime_4 : 5.713930
599.55/78.96	c (76,0) c AnalysisTime_5 : 6.081518
599.55/78.96	c (76,0) c AnalysisTime_6 : 8.491491
599.55/78.96	c (76,0) c AnalysisTime_7 : 5.697108
599.55/78.96	c (76,0) c AnalysisTime_total : 49.311211
599.55/78.96	c (76,0) c AnalysisTime_winner : 5.869168
599.55/78.96	c (76,0) c ReductionTime_0 : 0.384750
599.55/78.96	c (76,0) c ReductionTime_1 : 0.383055
599.55/78.96	c (76,0) c ReductionTime_2 : 0.365337
599.55/78.96	c (76,0) c ReductionTime_3 : 0.372067
599.55/78.96	c (76,0) c ReductionTime_4 : 0.390900
599.55/78.96	c (76,0) c ReductionTime_5 : 0.374165
599.55/78.96	c (76,0) c ReductionTime_6 : 0.385294
599.55/78.96	c (76,0) c ReductionTime_7 : 0.365868
599.55/78.96	c (76,0) c ReductionTime_total : 3.021436
599.55/78.96	c (76,0) c ReductionTime_winner : 0.383055
599.55/78.96	c (76,0) c SimplifyTime_0 : 0.071714
599.55/78.96	c (76,0) c SimplifyTime_1 : 0.095479
599.55/78.96	c (76,0) c SimplifyTime_2 : 0.088318
599.55/78.96	c (76,0) c SimplifyTime_3 : 0.085005
599.55/78.96	c (76,0) c SimplifyTime_4 : 0.058706
599.55/78.96	c (76,0) c SimplifyTime_5 : 0.090397
599.55/78.96	c (76,0) c SimplifyTime_6 : 0.064342
599.55/78.96	c (76,0) c SimplifyTime_7 : 0.079832
599.55/78.96	c (76,0) c SimplifyTime_total : 0.633792
599.55/78.96	c (76,0) c SimplifyTime_winner : 0.095479
599.55/78.96	c (76,0) c UsedRateTime_0 : 0.000000
599.55/78.96	c (76,0) c UsedRateTime_1 : 0.000000
599.55/78.96	c (76,0) c UsedRateTime_2 : 0.000000
599.55/78.96	c (76,0) c UsedRateTime_3 : 0.000000
599.55/78.96	c (76,0) c UsedRateTime_4 : 0.000000
599.55/78.96	c (76,0) c UsedRateTime_5 : 0.000000
599.55/78.96	c (76,0) c UsedRateTime_6 : 0.000000
599.55/78.96	c (76,0) c UsedRateTime_7 : 0.000000
599.55/78.96	c (76,0) c UsedRateTime_total : 0.000000
599.55/78.96	c (76,0) c UsedRateTime_winner : 0.000000
599.55/78.96	c (76,0) c OverlapRateTime_0 : 0.000000
599.55/78.96	c (76,0) c OverlapRateTime_1 : 0.000000
599.55/78.96	c (76,0) c OverlapRateTime_2 : 0.000000
599.55/78.96	c (76,0) c OverlapRateTime_3 : 0.000000
599.55/78.96	c (76,0) c OverlapRateTime_4 : 0.000000
599.55/78.96	c (76,0) c OverlapRateTime_5 : 0.000000
599.55/78.96	c (76,0) c OverlapRateTime_6 : 0.000000
599.55/78.96	c (76,0) c OverlapRateTime_7 : 0.000000
599.55/78.96	c (76,0) c OverlapRateTime_total : 0.000000
599.55/78.96	c (76,0) c OverlapRateTime_winner : 0.000000
599.55/78.96	c (76,0) c
599.55/78.96	c (76,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
599.55/78.96	c (76,0) c
599.55/78.96	c (76,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
599.55/78.96	c (76,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
599.55/78.96	c (76,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
599.55/78.96	c (76,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
599.55/78.96	c (76,0) c | adaptStrategeis       |      False |      False |      False |      False |      False |      False |      False |      False |
599.55/78.96	c (76,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
599.55/78.96	c (76,0) c | Initial random_seed   |  679884139 |  110153939 | 1309115369 |  831288401 |  978996832 | 1264502692 |  873637555 |  944875181 |
599.55/78.96	c (76,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
599.55/78.96	c (76,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
599.55/78.96	c (76,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
599.55/78.96	c (76,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
599.55/78.96	c (76,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
599.55/78.96	c (76,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
599.55/78.96	c (76,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
599.55/78.96	c (76,0) c | var_decay             |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
599.55/78.96	c (76,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
599.55/78.96	c (76,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
599.55/78.96	c (76,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
599.55/78.96	c (76,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
599.55/78.96	c (76,0) 
599.55/78.96	c (76,0) s UNSATISFIABLE
599.55/78.97	c (76,0) SatSolver.solve End
599.55/78.97	c (76,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
599.55/78.97	c (76,0) Show results Begin
599.55/78.97	s UNSATISFIABLE
599.55/78.97	c (76,0) Show results End
599.55/78.97	c (76,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
599.55/78.97	c (76,0) 76,76,STOP-AFTER(ALL)
599.55/78.97	c END-Prog: Sat Sep 14 03:27:53 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 (14383 MiB free)
  memory of node 1: 16384 MiB (15171 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392693-1568424436/watcher-4392693-1568424436 -o /tmp/evaluation-result-4392693-1568424436/solver-4392693-1568424436 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node134-1568416726-24393 --watchdog 2580 HOME/scop.sh 22g HOME/scop.jar -hybrid HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4392693-1568424436.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
Starting watchdog thread
solver pid=28901, runsolver pid=28898
Current StackSize limit: 8192 KiB


[startup+0.10013 s]*
/proc/loadavg: 8.24 8.25 8.14 2/217 28923
/proc/meminfo: memFree=30167720/32770624 swapFree=66916620/67108860
[pid=28901] ppid=28898 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/28901/stat : 28901 (scop.sh) S 28898 28901 24366 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 418694109 115843072 348 33554432000 4194304 5098028 140729826012048 140729826009304 139816440025724 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 23572480 140729826018084 140729826018412 140729826018412 140729826021325 0
/proc/28901/statm: 28282 348 296 221 0 87 0
[pid=28904] ppid=28901 vsize=27314120 memory=107356 CPUtime=0.11 cores=0-7
/proc/28904/stat : 28904 (java) S 28901 28901 24366 0 -1 1077944320 6928 0 0 0 8 3 0 0 20 0 20 0 418694109 27969658880 26839 33554432000 4194304 4196468 140721989160864 140721989143408 139767545401079 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27291648 140721989169898 140721989170326 140721989170326 140721989173199 0
/proc/28904/statm: 6828530 26839 2793 1 0 6790935 0
[pid=28904/tid=28905] ppid=28901 vsize=27314120 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/28904/task/28905/stat : 28905 (java) R 28901 28901 24366 0 -1 4202560 5028 0 0 0 7 2 0 0 20 0 20 0 418694110 27969658880 27351 33554432000 4194304 4196468 140721989160864 139767517225936 139767529481566 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27291648 140721989169898 140721989170326 140721989170326 140721989173199 0
[pid=28904/tid=28906] ppid=28901 vsize=27314120 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/28904/task/28906/stat : 28906 (java) S 28901 28901 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418694112 27969658880 27351 33554432000 4194304 4196468 140721989160864 139767549643920 139767545411285 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27291648 140721989169898 140721989170326 140721989170326 140721989173199 0
[pid=28904/tid=28907] ppid=28901 vsize=27314120 memory=140580295358080 CPUtime=0 cores=0-7
/proc/28904/task/28907/stat : 28907 (java) S 28901 28901 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418694112 27969658880 27351 33554432000 4194304 4196468 140721989160864 139767363800080 139767545411285 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27291648 140721989169898 140721989170326 140721989170326 140721989173199 0
[pid=28904/tid=28908] ppid=28901 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28904/task/28908/stat : 28908 (java) S 28901 28901 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418694112 27969658880 27351 33554432000 4194304 4196468 140721989160864 139766966942608 139767545411285 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27291648 140721989169898 140721989170326 140721989170326 140721989173199 0
[pid=28904/tid=28909] ppid=28901 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28904/task/28909/stat : 28909 (java) S 28901 28901 24366 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418694112 27969658880 27351 33554432000 4194304 4196468 140721989160864 139766965889808 139767545411285 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27291648 140721989169898 140721989170326 140721989170326 140721989173199 0
[pid=28904/tid=28910] ppid=28901 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28904/task/28910/stat : 28910 (java) S 28901 28901 24366 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418694112 27969658880 27351 33554432000 4194304 4196468 140721989160864 139766964837008 139767545411285 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27291648 140721989169898 140721989170326 140721989170326 140721989173199 0
[pid=28904/tid=28911] ppid=28901 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/28904/task/28911/stat : 28911 (java) S 28901 28901 24366 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418694112 27969658880 27351 33554432000 4194304 4196468 140721989160864 139766963784208 139767545411285 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27291648 140721989169898 140721989170326 140721989170326 140721989173199 0
[pid=28904/tid=28912] ppid=28901 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28904/task/28912/stat : 28912 (java) S 28901 28901 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418694112 27969658880 27351 33554432000 4194304 4196468 140721989160864 139766962731408 139767545411285 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27291648 140721989169898 140721989170326 140721989170326 140721989173199 0
[pid=28904/tid=28913] ppid=28901 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28904/task/28913/stat : 28913 (java) S 28901 28901 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418694112 27969658880 27351 33554432000 4194304 4196468 140721989160864 139766961678608 139767545411285 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27291648 140721989169898 140721989170326 140721989170326 140721989173199 0
[pid=28904/tid=28914] ppid=28901 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28904/task/28914/stat : 28914 (java) S 28901 28901 24366 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418694114 27969658880 27351 33554432000 4194304 4196468 140721989160864 139766402546544 139767545412226 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27291648 140721989169898 140721989170326 140721989170326 140721989173199 0
[pid=28904/tid=28915] ppid=28901 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28904/task/28915/stat : 28915 (java) S 28901 28901 24366 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 418694114 27969658880 27351 33554432000 4194304 4196468 140721989160864 139765483562528 139767545411285 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27291648 140721989169898 140721989170326 140721989170326 140721989173199 0
[pid=28904/tid=28916] ppid=28901 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28904/task/28916/stat : 28916 (java) S 28901 28901 24366 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418694114 27969658880 27351 33554432000 4194304 4196468 140721989160864 139765215126896 139767545411285 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27291648 140721989169898 140721989170326 140721989170326 140721989173199 0
[pid=28904/tid=28917] ppid=28901 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28904/task/28917/stat : 28917 (java) S 28901 28901 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418694117 27969658880 27351 33554432000 4194304 4196468 140721989160864 139764840618320 139767545419675 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27291648 140721989169898 140721989170326 140721989170326 140721989173199 0
[pid=28904/tid=28918] ppid=28901 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28904/task/28918/stat : 28918 (java) S 28901 28901 24366 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 20 0 418694117 27969658880 27351 33554432000 4194304 4196468 140721989160864 139766401493360 139767545412226 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27291648 140721989169898 140721989170326 140721989170326 140721989173199 0
[pid=28904/tid=28919] ppid=28901 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28904/task/28919/stat : 28919 (java) S 28901 28901 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418694117 27969658880 27351 33554432000 4194304 4196468 140721989160864 139766400440560 139767545412226 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27291648 140721989169898 140721989170326 140721989170326 140721989173199 0
[pid=28904/tid=28920] ppid=28901 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28904/task/28920/stat : 28920 (java) S 28901 28901 24366 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418694117 27969658880 27351 33554432000 4194304 4196468 140721989160864 139766399387760 139767545412226 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27291648 140721989169898 140721989170326 140721989170326 140721989173199 0
[pid=28904/tid=28921] ppid=28901 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28904/task/28921/stat : 28921 (java) S 28901 28901 24366 0 -1 1077944384 263 0 0 0 0 0 0 0 20 0 20 0 418694117 27969658880 27351 33554432000 4194304 4196468 140721989160864 139766398334960 139767545412226 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27291648 140721989169898 140721989170326 140721989170326 140721989173199 0
[pid=28904/tid=28922] ppid=28901 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28904/task/28922/stat : 28922 (java) S 28901 28901 24366 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418694117 27969658880 27351 33554432000 4194304 4196468 140721989160864 139764342713440 139767545411285 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27291648 140721989169898 140721989170326 140721989170326 140721989173199 0
[pid=28904/tid=28923] ppid=28901 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/28904/task/28923/stat : 28923 (java) S 28901 28901 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418694117 27969658880 27351 33554432000 4194304 4196468 140721989160864 139766397283376 139767545412226 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27291648 140721989169898 140721989170326 140721989170326 140721989173199 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 108748 KiB

[startup+0.210854 s]*
/proc/loadavg: 8.24 8.25 8.14 3/217 28923
/proc/meminfo: memFree=30146720/32770624 swapFree=66916620/67108860
[pid=28901] ppid=28898 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/28901/stat : 28901 (scop.sh) S 28898 28901 24366 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 418694109 115843072 348 33554432000 4194304 5098028 140729826012048 140729826009304 139816440025724 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 23572480 140729826018084 140729826018412 140729826018412 140729826021325 0
/proc/28901/statm: 28282 348 296 221 0 87 0
[pid=28904] ppid=28901 vsize=27314120 memory=126740 CPUtime=0.25 cores=0-7
/proc/28904/stat : 28904 (java) S 28901 28901 24366 0 -1 1077944320 12525 0 0 0 21 4 0 0 20 0 20 0 418694109 27969658880 31685 33554432000 4194304 4196468 140721989160864 140721989143408 139767545401079 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27291648 140721989169898 140721989170326 140721989170326 140721989173199 0
/proc/28904/statm: 6828530 31685 2969 1 0 6790935 0
[pid=28904/tid=28905] ppid=28901 vsize=27314120 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/28904/task/28905/stat : 28905 (java) R 28901 28901 24366 0 -1 4202560 10250 0 0 0 16 3 0 0 20 0 20 0 418694110 27969658880 31685 33554432000 4194304 4196468 140721989160864 139767517200464 139767526954392 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27291648 140721989169898 140721989170326 140721989170326 140721989173199 0
[pid=28904/tid=28906] ppid=28901 vsize=27314120 memory=342 CPUtime=0 cores=0-7
/proc/28904/task/28906/stat : 28906 (java) S 28901 28901 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418694112 27969658880 31685 33554432000 4194304 4196468 140721989160864 139767549643920 139767545411285 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27291648 140721989169898 140721989170326 140721989170326 140721989173199 0
[pid=28904/tid=28907] ppid=28901 vsize=27314120 memory=140580298523919 CPUtime=0 cores=0-7
/proc/28904/task/28907/stat : 28907 (java) S 28901 28901 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418694112 27969658880 31685 33554432000 4194304 4196468 140721989160864 139767363800080 139767545411285 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27291648 140721989169898 140721989170326 140721989170326 140721989173199 0
[pid=28904/tid=28908] ppid=28901 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/28904/task/28908/stat : 28908 (java) S 28901 28901 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418694112 27969658880 31685 33554432000 4194304 4196468 140721989160864 139766966942608 139767545411285 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27291648 140721989169898 140721989170326 140721989170326 140721989173199 0
[pid=28904/tid=28909] ppid=28901 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28904/task/28909/stat : 28909 (java) S 28901 28901 24366 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418694112 27969658880 31685 33554432000 4194304 4196468 140721989160864 139766965889808 139767545411285 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27291648 140721989169898 140721989170326 140721989170326 140721989173199 0
[pid=28904/tid=28910] ppid=28901 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28904/task/28910/stat : 28910 (java) S 28901 28901 24366 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418694112 27969658880 31685 33554432000 4194304 4196468 140721989160864 139766964837008 139767545411285 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27291648 140721989169898 140721989170326 140721989170326 140721989173199 0
[pid=28904/tid=28911] ppid=28901 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/28904/task/28911/stat : 28911 (java) S 28901 28901 24366 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418694112 27969658880 31685 33554432000 4194304 4196468 140721989160864 139766963784208 139767545411285 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27291648 140721989169898 140721989170326 140721989170326 140721989173199 0
[pid=28904/tid=28912] ppid=28901 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28904/task/28912/stat : 28912 (java) S 28901 28901 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418694112 27969658880 31685 33554432000 4194304 4196468 140721989160864 139766962731408 139767545411285 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27291648 140721989169898 140721989170326 140721989170326 140721989173199 0
[pid=28904/tid=28913] ppid=28901 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28904/task/28913/stat : 28913 (java) S 28901 28901 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418694112 27969658880 31685 33554432000 4194304 4196468 140721989160864 139766961678608 139767545411285 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27291648 140721989169898 140721989170326 140721989170326 140721989173199 0
[pid=28904/tid=28914] ppid=28901 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28904/task/28914/stat : 28914 (java) S 28901 28901 24366 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418694114 27969658880 31685 33554432000 4194304 4196468 140721989160864 139766402546544 139767545412226 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27291648 140721989169898 140721989170326 140721989170326 140721989173199 0
[pid=28904/tid=28915] ppid=28901 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28904/task/28915/stat : 28915 (java) S 28901 28901 24366 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 418694114 27969658880 31685 33554432000 4194304 4196468 140721989160864 139765483562528 139767545411285 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27291648 140721989169898 140721989170326 140721989170326 140721989173199 0
[pid=28904/tid=28916] ppid=28901 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28904/task/28916/stat : 28916 (java) S 28901 28901 24366 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418694114 27969658880 31685 33554432000 4194304 4196468 140721989160864 139765215126896 139767545411285 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27291648 140721989169898 140721989170326 140721989170326 140721989173199 0
[pid=28904/tid=28917] ppid=28901 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28904/task/28917/stat : 28917 (java) S 28901 28901 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418694117 27969658880 31685 33554432000 4194304 4196468 140721989160864 139764840618320 139767545419675 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27291648 140721989169898 140721989170326 140721989170326 140721989173199 0
[pid=28904/tid=28918] ppid=28901 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28904/task/28918/stat : 28918 (java) S 28901 28901 24366 0 -1 1077944384 336 0 0 0 0 0 0 0 20 0 20 0 418694117 27969658880 31685 33554432000 4194304 4196468 140721989160864 139766401493360 139767545412226 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27291648 140721989169898 140721989170326 140721989170326 140721989173199 0
[pid=28904/tid=28919] ppid=28901 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28904/task/28919/stat : 28919 (java) S 28901 28901 24366 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 20 0 418694117 27969658880 31685 33554432000 4194304 4196468 140721989160864 139766400440560 139767545412226 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27291648 140721989169898 140721989170326 140721989170326 140721989173199 0
[pid=28904/tid=28920] ppid=28901 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/28904/task/28920/stat : 28920 (java) S 28901 28901 24366 0 -1 1077944384 136 0 0 0 0 0 0 0 20 0 20 0 418694117 27969658880 31685 33554432000 4194304 4196468 140721989160864 139766399387760 139767545412226 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27291648 140721989169898 140721989170326 140721989170326 140721989173199 0
[pid=28904/tid=28921] ppid=28901 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7
/proc/28904/task/28921/stat : 28921 (java) S 28901 28901 24366 0 -1 1077944384 448 0 0 0 2 0 0 0 20 0 20 0 418694117 27969658880 31685 33554432000 4194304 4196468 140721989160864 139766398334960 139767545412226 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27291648 140721989169898 140721989170326 140721989170326 140721989173199 0
[pid=28904/tid=28922] ppid=28901 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28904/task/28922/stat : 28922 (java) S 28901 28901 24366 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418694117 27969658880 31685 33554432000 4194304 4196468 140721989160864 139764342713440 139767545411285 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27291648 140721989169898 140721989170326 140721989170326 140721989173199 0
[pid=28904/tid=28923] ppid=28901 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/28904/task/28923/stat : 28923 (java) S 28901 28901 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418694117 27969658880 31685 33554432000 4194304 4196468 140721989160864 139766397283376 139767545412226 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27291648 140721989169898 140721989170326 140721989170326 140721989173199 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 128132 KiB

[startup+0.310686 s]*
/proc/loadavg: 8.24 8.25 8.14 2/217 28923
/proc/meminfo: memFree=30144776/32770624 swapFree=66916620/67108860
[pid=28901] ppid=28898 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/28901/stat : 28901 (scop.sh) S 28898 28901 24366 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 418694109 115843072 348 33554432000 4194304 5098028 140729826012048 140729826009304 139816440025724 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 23572480 140729826018084 140729826018412 140729826018412 140729826021325 0
/proc/28901/statm: 28282 348 296 221 0 87 0
[pid=28904] ppid=28901 vsize=27314120 memory=130344 CPUtime=0.42 cores=0-7
/proc/28904/stat : 28904 (java) S 28901 28901 24366 0 -1 1077944320 12865 0 0 0 38 4 0 0 20 0 20 0 418694109 27969658880 32586 33554432000 4194304 4196468 140721989160864 140721989143408 139767545401079 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27291648 140721989169898 140721989170326 140721989170326 140721989173199 0
/proc/28904/statm: 6828530 32586 3071 1 0 6790935 0
[pid=28904/tid=28905] ppid=28901 vsize=27314120 memory=6791534058613427641 CPUtime=0.3 cores=0-7
/proc/28904/task/28905/stat : 28905 (java) R 28901 28901 24366 0 -1 4202560 10437 0 0 0 26 4 0 0 20 0 20 0 418694110 27969658880 32586 33554432000 4194304 4196468 140721989160864 139767517186064 139767525676235 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27291648 140721989169898 140721989170326 140721989170326 140721989173199 0
[pid=28904/tid=28906] ppid=28901 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28904/task/28906/stat : 28906 (java) S 28901 28901 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418694112 27969658880 32586 33554432000 4194304 4196468 140721989160864 139767549643920 139767545411285 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27291648 140721989169898 140721989170326 140721989170326 140721989173199 0
[pid=28904/tid=28907] ppid=28901 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28904/task/28907/stat : 28907 (java) S 28901 28901 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418694112 27969658880 32586 33554432000 4194304 4196468 140721989160864 139767363800080 139767545411285 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27291648 140721989169898 140721989170326 140721989170326 140721989173199 0
[pid=28904/tid=28908] ppid=28901 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28904/task/28908/stat : 28908 (java) S 28901 28901 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418694112 27969658880 32586 33554432000 4194304 4196468 140721989160864 139766966942608 139767545411285 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27291648 140721989169898 140721989170326 140721989170326 140721989173199 0
[pid=28904/tid=28909] ppid=28901 vsize=27314120 memory=2244 CPUtime=0 cores=0-7
/proc/28904/task/28909/stat : 28909 (java) S 28901 28901 24366 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418694112 27969658880 32586 33554432000 4194304 4196468 140721989160864 139766965889808 139767545411285 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27291648 140721989169898 140721989170326 140721989170326 140721989173199 0
[pid=28904/tid=28910] ppid=28901 vsize=27314120 memory=2244 CPUtime=0 cores=0-7
/proc/28904/task/28910/stat : 28910 (java) S 28901 28901 24366 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418694112 27969658880 32586 33554432000 4194304 4196468 140721989160864 139766964837008 139767545411285 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27291648 140721989169898 140721989170326 140721989170326 140721989173199 0
[pid=28904/tid=28911] ppid=28901 vsize=27314120 memory=140580185275567 CPUtime=0 cores=0-7
/proc/28904/task/28911/stat : 28911 (java) S 28901 28901 24366 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418694112 27969658880 32586 33554432000 4194304 4196468 140721989160864 139766963784208 139767545411285 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27291648 140721989169898 140721989170326 140721989170326 140721989173199 0
[pid=28904/tid=28912] ppid=28901 vsize=27314120 memory=140580185277872 CPUtime=0 cores=0-7
/proc/28904/task/28912/stat : 28912 (java) S 28901 28901 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418694112 27969658880 32586 33554432000 4194304 4196468 140721989160864 139766962731408 139767545411285 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27291648 140721989169898 140721989170326 140721989170326 140721989173199 0
[pid=28904/tid=28913] ppid=28901 vsize=27314120 memory=140580185280176 CPUtime=0 cores=0-7
/proc/28904/task/28913/stat : 28913 (java) S 28901 28901 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418694112 27969658880 32586 33554432000 4194304 4196468 140721989160864 139766961678608 139767545411285 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27291648 140721989169898 140721989170326 140721989170326 140721989173199 0
[pid=28904/tid=28914] ppid=28901 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28904/task/28914/stat : 28914 (java) S 28901 28901 24366 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418694114 27969658880 32586 33554432000 4194304 4196468 140721989160864 139766402546544 139767545412226 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27291648 140721989169898 140721989170326 140721989170326 140721989173199 0
[pid=28904/tid=28915] ppid=28901 vsize=27314120 memory=281160370569616 CPUtime=0 cores=0-7
/proc/28904/task/28915/stat : 28915 (java) S 28901 28901 24366 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 418694114 27969658880 32586 33554432000 4194304 4196468 140721989160864 139765483562528 139767545411285 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27291648 140721989169898 140721989170326 140721989170326 140721989173199 0
[pid=28904/tid=28916] ppid=28901 vsize=27314120 memory=281160370510768 CPUtime=0 cores=0-7
/proc/28904/task/28916/stat : 28916 (java) S 28901 28901 24366 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418694114 27969658880 32586 33554432000 4194304 4196468 140721989160864 139765215126896 139767545411285 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27291648 140721989169898 140721989170326 140721989170326 140721989173199 0
[pid=28904/tid=28917] ppid=28901 vsize=27314120 memory=281160370583440 CPUtime=0 cores=0-7
/proc/28904/task/28917/stat : 28917 (java) S 28901 28901 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418694117 27969658880 32586 33554432000 4194304 4196468 140721989160864 139764840618320 139767545419675 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27291648 140721989169898 140721989170326 140721989170326 140721989173199 0
[pid=28904/tid=28918] ppid=28901 vsize=27314120 memory=281160370590352 CPUtime=0 cores=0-7
/proc/28904/task/28918/stat : 28918 (java) S 28901 28901 24366 0 -1 1077944384 336 0 0 0 0 0 0 0 20 0 20 0 418694117 27969658880 32586 33554432000 4194304 4196468 140721989160864 139766401493360 139767545412226 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27291648 140721989169898 140721989170326 140721989170326 140721989173199 0
[pid=28904/tid=28919] ppid=28901 vsize=27314120 memory=281160370588048 CPUtime=0.03 cores=0-7
/proc/28904/task/28919/stat : 28919 (java) S 28901 28901 24366 0 -1 1077944384 133 0 0 0 3 0 0 0 20 0 20 0 418694117 27969658880 32586 33554432000 4194304 4196468 140721989160864 139766400440560 139767545412226 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27291648 140721989169898 140721989170326 140721989170326 140721989173199 0
[pid=28904/tid=28920] ppid=28901 vsize=27314120 memory=281160370604176 CPUtime=0 cores=0-7
/proc/28904/task/28920/stat : 28920 (java) S 28901 28901 24366 0 -1 1077944384 152 0 0 0 0 0 0 0 20 0 20 0 418694117 27969658880 32586 33554432000 4194304 4196468 140721989160864 139766399387760 139767545412226 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27291648 140721989169898 140721989170326 140721989170326 140721989173199 0
[pid=28904/tid=28921] ppid=28901 vsize=27314120 memory=281160370601872 CPUtime=0.07 cores=0-7
/proc/28904/task/28921/stat : 28921 (java) S 28901 28901 24366 0 -1 1077944384 469 0 0 0 7 0 0 0 20 0 20 0 418694117 27969658880 32586 33554432000 4194304 4196468 140721989160864 139766398334960 139767545412226 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27291648 140721989169898 140721989170326 140721989170326 140721989173199 0
[pid=28904/tid=28922] ppid=28901 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28904/task/28922/stat : 28922 (java) S 28901 28901 24366 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418694117 27969658880 32586 33554432000 4194304 4196468 140721989160864 139764342713440 139767545411285 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27291648 140721989169898 140721989170326 140721989170326 140721989173199 0
[pid=28904/tid=28923] ppid=28901 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/28904/task/28923/stat : 28923 (java) S 28901 28901 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418694117 27969658880 32586 33554432000 4194304 4196468 140721989160864 139766397283376 139767545412226 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27291648 140721989169898 140721989170326 140721989170326 140721989173199 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 131736 KiB

[startup+0.700993 s]
/proc/loadavg: 8.24 8.25 8.14 2/217 28923
/proc/meminfo: memFree=30122936/32770624 swapFree=66916620/67108860
[pid=28901] ppid=28898 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/28901/stat : 28901 (scop.sh) S 28898 28901 24366 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 418694109 115843072 348 33554432000 4194304 5098028 140729826012048 140729826009304 139816440025724 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 23572480 140729826018084 140729826018412 140729826018412 140729826021325 0
/proc/28901/statm: 28282 348 296 221 0 87 0
[pid=28904] ppid=28901 vsize=27323540 memory=167864 CPUtime=0.99 cores=0-7
/proc/28904/stat : 28904 (java) S 28901 28901 24366 0 -1 1077944320 20602 0 0 0 92 7 0 0 20 0 20 0 418694109 27979304960 41966 33554432000 4194304 4196468 140721989160864 140721989143408 139767545401079 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27291648 140721989169898 140721989170326 140721989170326 140721989173199 0
/proc/28904/statm: 6830885 41966 3199 1 0 6792215 0
[pid=28904/tid=28905] ppid=28901 vsize=27322516 memory=0 CPUtime=0.67 cores=0-7
/proc/28904/task/28905/stat : 28905 (java) R 28901 28901 24366 0 -1 4202560 17648 0 0 0 61 6 0 0 20 0 20 0 418694110 27978256384 41966 33554432000 4194304 4196468 140721989160864 139767517218464 139767538080301 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27291648 140721989169898 140721989170326 140721989170326 140721989173199 0
[pid=28904/tid=28906] ppid=28901 vsize=27323540 memory=140580185486704 CPUtime=0 cores=0-7
/proc/28904/task/28906/stat : 28906 (java) S 28901 28901 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418694112 27979304960 41966 33554432000 4194304 4196468 140721989160864 139767549643920 139767545411285 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27291648 140721989169898 140721989170326 140721989170326 140721989173199 0
[pid=28904/tid=28907] ppid=28901 vsize=27323540 memory=0 CPUtime=0 cores=0-7
/proc/28904/task/28907/stat : 28907 (java) S 28901 28901 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418694112 27979304960 41966 33554432000 4194304 4196468 140721989160864 139767363800080 139767545411285 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27291648 140721989169898 140721989170326 140721989170326 140721989173199 0
[pid=28904/tid=28908] ppid=28901 vsize=27323540 memory=5996 CPUtime=0 cores=0-7

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

[pid=28924/tid=28934] ppid=28901 vsize=8414124 memory=1444 CPUtime=0 cores=0-7
/proc/28924/task/28934/stat : 28934 (java) S 28901 28901 24366 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 418694359 8616062976 30169 33554432000 4194304 4196468 140725758367792 140148142860656 140148713810562 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9609216 140725758370807 140725758370966 140725758370966 140725758373839 0
[pid=28924/tid=28935] ppid=28901 vsize=8414124 memory=1984 CPUtime=0 cores=0-7
/proc/28924/task/28935/stat : 28935 (java) S 28901 28901 24366 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 418694360 8616062976 30169 33554432000 4194304 4196468 140725758367792 140147332998176 140148713809621 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9609216 140725758370807 140725758370966 140725758370966 140725758373839 0
[pid=28924/tid=28936] ppid=28901 vsize=8414124 memory=1296 CPUtime=0 cores=0-7
/proc/28924/task/28936/stat : 28936 (java) S 28901 28901 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418694360 8616062976 30169 33554432000 4194304 4196468 140725758367792 140147064562544 140148713809621 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9609216 140725758370807 140725758370966 140725758370966 140725758373839 0
[pid=28924/tid=28937] ppid=28901 vsize=8414124 memory=620 CPUtime=0 cores=0-7
/proc/28924/task/28937/stat : 28937 (java) S 28901 28901 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418694362 8616062976 30169 33554432000 4194304 4196468 140725758367792 140146690053968 140148713818011 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9609216 140725758370807 140725758370966 140725758370966 140725758373839 0
[pid=28924/tid=28938] ppid=28901 vsize=8414124 memory=4000 CPUtime=0.07 cores=0-7
/proc/28924/task/28938/stat : 28938 (java) S 28901 28901 24366 0 -1 1077944384 561 0 0 0 7 0 0 0 20 0 24 0 418694363 8616062976 30169 33554432000 4194304 4196468 140725758367792 140148141808496 140148713810562 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9609216 140725758370807 140725758370966 140725758370966 140725758373839 0
[pid=28924/tid=28939] ppid=28901 vsize=8414124 memory=2828 CPUtime=0.05 cores=0-7
/proc/28924/task/28939/stat : 28939 (java) S 28901 28901 24366 0 -1 1077944384 296 0 0 0 5 0 0 0 20 0 24 0 418694363 8616062976 30169 33554432000 4194304 4196468 140725758367792 140148140755696 140148713810562 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9609216 140725758370807 140725758370966 140725758370966 140725758373839 0
[pid=28924/tid=28940] ppid=28901 vsize=8414124 memory=1712 CPUtime=0.04 cores=0-7
/proc/28924/task/28940/stat : 28940 (java) S 28901 28901 24366 0 -1 1077944384 281 0 0 0 4 0 0 0 20 0 24 0 418694363 8616062976 30169 33554432000 4194304 4196468 140725758367792 140148139702896 140148713810562 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9609216 140725758370807 140725758370966 140725758370966 140725758373839 0
[pid=28924/tid=28941] ppid=28901 vsize=8414124 memory=1156 CPUtime=0.19 cores=0-7
/proc/28924/task/28941/stat : 28941 (java) S 28901 28901 24366 0 -1 1077944384 639 0 0 0 19 0 0 0 20 0 24 0 418694363 8616062976 30169 33554432000 4194304 4196468 140725758367792 140147802761712 140148713810562 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9609216 140725758370807 140725758370966 140725758370966 140725758373839 0
[pid=28924/tid=28942] ppid=28901 vsize=8414124 memory=944 CPUtime=0 cores=0-7
/proc/28924/task/28942/stat : 28942 (java) S 28901 28901 24366 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418694363 8616062976 30169 33554432000 4194304 4196468 140725758367792 140146192149088 140148713809621 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9609216 140725758370807 140725758370966 140725758370966 140725758373839 0
[pid=28924/tid=28943] ppid=28901 vsize=8414124 memory=1552 CPUtime=0.03 cores=0-7
/proc/28924/task/28943/stat : 28943 (java) S 28901 28901 24366 0 -1 1077944384 7 0 0 0 0 3 0 0 20 0 24 0 418694363 8616062976 30169 33554432000 4194304 4196468 140725758367792 140147801709104 140148713810562 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 39 0 0 6293624 6294260 9609216 140725758370807 140725758370966 140725758370966 140725758373839 0
[pid=28924/tid=28945] ppid=28901 vsize=8414124 memory=1052 CPUtime=0 cores=0-7
/proc/28924/task/28945/stat : 28945 (java) S 28901 28901 24366 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 418694428 8616062976 30169 33554432000 4194304 4196468 140725758367792 140148138648640 140148713824025 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 9609216 140725758370807 140725758370966 140725758370966 140725758373839 0
[pid=28924/tid=28947] ppid=28901 vsize=8414124 memory=5996 CPUtime=0 cores=0-7
/proc/28924/task/28947/stat : 28947 (java) S 28901 28901 24366 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 418694428 8616062976 30169 33554432000 4194304 4196468 140725758367792 140145521049744 140148713821341 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 9609216 140725758370807 140725758370966 140725758370966 140725758373839 0
[pid=28924/tid=28948] ppid=28901 vsize=8414124 memory=8300 CPUtime=0 cores=0-7
/proc/28924/task/28948/stat : 28948 (java) S 28901 28901 24366 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 418694428 8616062976 30169 33554432000 4194304 4196468 140725758367792 140145789485072 140148713821341 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 9609216 140725758370807 140725758370966 140725758370966 140725758373839 0
[pid=28924/tid=28949] ppid=28901 vsize=8414124 memory=776 CPUtime=0 cores=0-7
/proc/28924/task/28949/stat : 28949 (java) S 28901 28901 24366 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418694430 8616062976 30169 33554432000 4194304 4196468 140725758367792 140145252621872 140148713809621 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9609216 140725758370807 140725758370966 140725758370966 140725758373839 0
Current children cumulated CPU time: 598.69 s
Current children cumulated vsize: 9166256 KiB
Current children cumulated memory: 406104 KiB

[startup+78.8012 s]
/proc/loadavg: 8.63 8.31 8.17 3/224 28962
/proc/meminfo: memFree=29875816/32770624 swapFree=66916620/67108860
[pid=28901] ppid=28898 vsize=113128 memory=1472 CPUtime=7.04 cores=0-7
/proc/28901/stat : 28901 (scop.sh) S 28898 28901 24366 0 -1 4202496 582 29134 0 0 0 0 686 18 20 0 1 0 418694109 115843072 368 33554432000 4194304 5098028 140729826012048 140729826008792 139816440025724 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 23572480 140729826018084 140729826018412 140729826018412 140729826021325 0
/proc/28901/statm: 28282 368 311 221 0 87 0
[pid=28924] ppid=28901 vsize=8414124 memory=120676 CPUtime=1.17 cores=0-7
/proc/28924/stat : 28924 (java) S 28901 28901 24366 0 -1 1077944320 20630 0 0 0 110 7 0 0 20 0 24 0 418694356 8616062976 30169 33554432000 4194304 4196468 140725758367792 140725758350336 140148713799415 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9609216 140725758370807 140725758370966 140725758370966 140725758373839 0
/proc/28924/statm: 2103531 30169 3202 1 0 2064875 0
[pid=28944] ppid=28924 vsize=622612 memory=284480 CPUtime=591.24 cores=0-7
/proc/28944/stat : 28944 (manyglucose-4.1) S 28924 28901 24366 0 -1 1077944320 313708 0 0 0 59060 64 0 0 20 0 2 0 418694427 637554688 71120 33554432000 4194304 4454172 140733480951536 140733480949920 140397019172599 0 4 0 8388610 18446744073709551615 0 0 17 6 0 0 0 0 0 6552832 6554400 36143104 140733480956777 140733480956976 140733480956976 140733480959930 0
/proc/28944/statm: 155653 71120 418 64 0 151321 0
[pid=28944/tid=28956] ppid=28924 vsize=622612 memory=37476 CPUtime=74.67 cores=0-7
/proc/28944/task/28956/stat : 28956 (manyglucose-4.1) R 28924 28901 24366 0 -1 4202560 35606 0 0 0 7460 7 0 0 20 0 2 0 418694433 637554688 71120 33554432000 4194304 4454172 140733480951536 140396953599112 4351800 0 4 0 8388610 0 0 0 -1 3 0 0 0 0 0 6552832 6554400 36143104 140733480956777 140733480956976 140733480956976 140733480959930 0
[pid=28924/tid=28925] ppid=28901 vsize=8414124 memory=7686721470300724891 CPUtime=0.73 cores=0-7
/proc/28924/task/28925/stat : 28925 (java) S 28901 28901 24366 0 -1 1077944384 17451 0 0 0 68 5 0 0 20 0 24 0 418694357 8616062976 30169 33554432000 4194304 4196468 140725758367792 140148685639584 140148713809621 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9609216 140725758370807 140725758370966 140725758370966 140725758373839 0
[pid=28924/tid=28926] ppid=28901 vsize=8414124 memory=281160370553920 CPUtime=0 cores=0-7
/proc/28924/task/28926/stat : 28926 (java) S 28901 28901 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418694358 8616062976 30169 33554432000 4194304 4196468 140725758367792 140148718041744 140148713809621 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9609216 140725758370807 140725758370966 140725758370966 140725758373839 0
[pid=28924/tid=28927] ppid=28901 vsize=8414124 memory=7686721470300724891 CPUtime=0 cores=0-7
/proc/28924/task/28927/stat : 28927 (java) S 28901 28901 24366 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418694358 8616062976 30169 33554432000 4194304 4196468 140725758367792 140148542683664 140148713809621 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9609216 140725758370807 140725758370966 140725758370966 140725758373839 0
[pid=28924/tid=28928] ppid=28901 vsize=8414124 memory=275308 CPUtime=0 cores=0-7
/proc/28924/task/28928/stat : 28928 (java) S 28901 28901 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418694358 8616062976 30169 33554432000 4194304 4196468 140725758367792 140148197718416 140148713809621 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9609216 140725758370807 140725758370966 140725758370966 140725758373839 0
[pid=28924/tid=28929] ppid=28901 vsize=8414124 memory=39784 CPUtime=0 cores=0-7
/proc/28924/task/28929/stat : 28929 (java) S 28901 28901 24366 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418694358 8616062976 30169 33554432000 4194304 4196468 140725758367792 140148196665616 140148713809621 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9609216 140725758370807 140725758370966 140725758370966 140725758373839 0
[pid=28924/tid=28930] ppid=28901 vsize=8414124 memory=992 CPUtime=0 cores=0-7
/proc/28924/task/28930/stat : 28930 (java) S 28901 28901 24366 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418694358 8616062976 30169 33554432000 4194304 4196468 140725758367792 140148195613840 140148713809621 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9609216 140725758370807 140725758370966 140725758370966 140725758373839 0
[pid=28924/tid=28931] ppid=28901 vsize=8414124 memory=2044 CPUtime=0 cores=0-7
/proc/28924/task/28931/stat : 28931 (java) S 28901 28901 24366 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418694358 8616062976 30169 33554432000 4194304 4196468 140725758367792 140148194561040 140148713809621 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9609216 140725758370807 140725758370966 140725758370966 140725758373839 0
[pid=28924/tid=28932] ppid=28901 vsize=8414124 memory=1296 CPUtime=0 cores=0-7
/proc/28924/task/28932/stat : 28932 (java) S 28901 28901 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418694358 8616062976 30169 33554432000 4194304 4196468 140725758367792 140148193508240 140148713809621 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9609216 140725758370807 140725758370966 140725758370966 140725758373839 0
[pid=28924/tid=28933] ppid=28901 vsize=8414124 memory=620 CPUtime=0 cores=0-7
/proc/28924/task/28933/stat : 28933 (java) S 28901 28901 24366 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418694358 8616062976 30169 33554432000 4194304 4196468 140725758367792 140148192455440 140148713809621 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9609216 140725758370807 140725758370966 140725758370966 140725758373839 0
[pid=28924/tid=28934] ppid=28901 vsize=8414124 memory=4000 CPUtime=0 cores=0-7
/proc/28924/task/28934/stat : 28934 (java) S 28901 28901 24366 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 418694359 8616062976 30169 33554432000 4194304 4196468 140725758367792 140148142860656 140148713810562 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9609216 140725758370807 140725758370966 140725758370966 140725758373839 0
[pid=28924/tid=28935] ppid=28901 vsize=8414124 memory=2828 CPUtime=0 cores=0-7
/proc/28924/task/28935/stat : 28935 (java) S 28901 28901 24366 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 418694360 8616062976 30169 33554432000 4194304 4196468 140725758367792 140147332998176 140148713809621 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9609216 140725758370807 140725758370966 140725758370966 140725758373839 0
[pid=28924/tid=28936] ppid=28901 vsize=8414124 memory=1712 CPUtime=0 cores=0-7
/proc/28924/task/28936/stat : 28936 (java) S 28901 28901 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418694360 8616062976 30169 33554432000 4194304 4196468 140725758367792 140147064562544 140148713809621 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9609216 140725758370807 140725758370966 140725758370966 140725758373839 0
[pid=28924/tid=28937] ppid=28901 vsize=8414124 memory=1156 CPUtime=0 cores=0-7
/proc/28924/task/28937/stat : 28937 (java) S 28901 28901 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418694362 8616062976 30169 33554432000 4194304 4196468 140725758367792 140146690053968 140148713818011 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9609216 140725758370807 140725758370966 140725758370966 140725758373839 0
[pid=28924/tid=28938] ppid=28901 vsize=8414124 memory=944 CPUtime=0.07 cores=0-7
/proc/28924/task/28938/stat : 28938 (java) S 28901 28901 24366 0 -1 1077944384 561 0 0 0 7 0 0 0 20 0 24 0 418694363 8616062976 30169 33554432000 4194304 4196468 140725758367792 140148141808496 140148713810562 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9609216 140725758370807 140725758370966 140725758370966 140725758373839 0
[pid=28924/tid=28939] ppid=28901 vsize=8414124 memory=39784 CPUtime=0.05 cores=0-7
/proc/28924/task/28939/stat : 28939 (java) S 28901 28901 24366 0 -1 1077944384 296 0 0 0 5 0 0 0 20 0 24 0 418694363 8616062976 30169 33554432000 4194304 4196468 140725758367792 140148140755696 140148713810562 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9609216 140725758370807 140725758370966 140725758370966 140725758373839 0
[pid=28924/tid=28940] ppid=28901 vsize=8414124 memory=992 CPUtime=0.04 cores=0-7
/proc/28924/task/28940/stat : 28940 (java) S 28901 28901 24366 0 -1 1077944384 281 0 0 0 4 0 0 0 20 0 24 0 418694363 8616062976 30169 33554432000 4194304 4196468 140725758367792 140148139702896 140148713810562 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9609216 140725758370807 140725758370966 140725758370966 140725758373839 0
[pid=28924/tid=28941] ppid=28901 vsize=8414124 memory=2044 CPUtime=0.19 cores=0-7
/proc/28924/task/28941/stat : 28941 (java) S 28901 28901 24366 0 -1 1077944384 639 0 0 0 19 0 0 0 20 0 24 0 418694363 8616062976 30169 33554432000 4194304 4196468 140725758367792 140147802761712 140148713810562 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9609216 140725758370807 140725758370966 140725758370966 140725758373839 0
[pid=28924/tid=28942] ppid=28901 vsize=8414124 memory=1296 CPUtime=0 cores=0-7
/proc/28924/task/28942/stat : 28942 (java) S 28901 28901 24366 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418694363 8616062976 30169 33554432000 4194304 4196468 140725758367792 140146192149088 140148713809621 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9609216 140725758370807 140725758370966 140725758370966 140725758373839 0
[pid=28924/tid=28943] ppid=28901 vsize=8414124 memory=1552 CPUtime=0.03 cores=0-7
/proc/28924/task/28943/stat : 28943 (java) S 28901 28901 24366 0 -1 1077944384 7 0 0 0 0 3 0 0 20 0 24 0 418694363 8616062976 30169 33554432000 4194304 4196468 140725758367792 140147801709104 140148713810562 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 39 0 0 6293624 6294260 9609216 140725758370807 140725758370966 140725758370966 140725758373839 0
[pid=28924/tid=28945] ppid=28901 vsize=8414124 memory=1052 CPUtime=0 cores=0-7
/proc/28924/task/28945/stat : 28945 (java) S 28901 28901 24366 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 418694428 8616062976 30169 33554432000 4194304 4196468 140725758367792 140148138648640 140148713824025 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 9609216 140725758370807 140725758370966 140725758370966 140725758373839 0
[pid=28924/tid=28947] ppid=28901 vsize=8414124 memory=5996 CPUtime=0 cores=0-7
/proc/28924/task/28947/stat : 28947 (java) S 28901 28901 24366 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 418694428 8616062976 30169 33554432000 4194304 4196468 140725758367792 140145521049744 140148713821341 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 9609216 140725758370807 140725758370966 140725758370966 140725758373839 0
[pid=28924/tid=28948] ppid=28901 vsize=8414124 memory=8300 CPUtime=0 cores=0-7
/proc/28924/task/28948/stat : 28948 (java) S 28901 28901 24366 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 418694428 8616062976 30169 33554432000 4194304 4196468 140725758367792 140145789485072 140148713821341 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 9609216 140725758370807 140725758370966 140725758370966 140725758373839 0
[pid=28924/tid=28949] ppid=28901 vsize=8414124 memory=776 CPUtime=0 cores=0-7
/proc/28924/task/28949/stat : 28949 (java) S 28901 28901 24366 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418694430 8616062976 30169 33554432000 4194304 4196468 140725758367792 140145252621872 140148713809621 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9609216 140725758370807 140725758370966 140725758370966 140725758373839 0
Current children cumulated CPU time: 599.45 s
Current children cumulated vsize: 9149864 KiB
Current children cumulated memory: 406628 KiB

[startup+78.9012 s]
/proc/loadavg: 8.63 8.31 8.17 3/224 28962
/proc/meminfo: memFree=29875816/32770624 swapFree=66916620/67108860
[pid=28901] ppid=28898 vsize=113128 memory=1472 CPUtime=7.04 cores=0-7
/proc/28901/stat : 28901 (scop.sh) S 28898 28901 24366 0 -1 4202496 582 29134 0 0 0 0 686 18 20 0 1 0 418694109 115843072 368 33554432000 4194304 5098028 140729826012048 140729826008792 139816440025724 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 23572480 140729826018084 140729826018412 140729826018412 140729826021325 0
/proc/28901/statm: 28282 368 311 221 0 87 0
[pid=28924] ppid=28901 vsize=8414124 memory=120676 CPUtime=1.17 cores=0-7
/proc/28924/stat : 28924 (java) S 28901 28901 24366 0 -1 1077944320 20630 0 0 0 110 7 0 0 20 0 24 0 418694356 8616062976 30169 33554432000 4194304 4196468 140725758367792 140725758350336 140148713799415 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9609216 140725758370807 140725758370966 140725758370966 140725758373839 0
/proc/28924/statm: 2103531 30169 3202 1 0 2064875 0
[pid=28944] ppid=28924 vsize=622612 memory=284480 CPUtime=591.34 cores=0-7
/proc/28944/stat : 28944 (manyglucose-4.1) S 28924 28901 24366 0 -1 1077944320 313708 0 0 0 59070 64 0 0 20 0 2 0 418694427 637554688 71120 33554432000 4194304 4454172 140733480951536 140733480949920 140397019172599 0 4 0 8388610 18446744073709551615 0 0 17 6 0 0 0 0 0 6552832 6554400 36143104 140733480956777 140733480956976 140733480956976 140733480959930 0
/proc/28944/statm: 155653 71120 418 64 0 151321 0
[pid=28944/tid=28956] ppid=28924 vsize=622612 memory=1472 CPUtime=74.77 cores=0-7
/proc/28944/task/28956/stat : 28956 (manyglucose-4.1) R 28924 28901 24366 0 -1 4202560 35606 0 0 0 7470 7 0 0 20 0 2 0 418694433 637554688 71120 33554432000 4194304 4454172 140733480951536 140396953599112 4349922 0 4 0 8388610 0 0 0 -1 3 0 0 0 0 0 6552832 6554400 36143104 140733480956777 140733480956976 140733480956976 140733480959930 0
[pid=28924/tid=28925] ppid=28901 vsize=8414124 memory=120676 CPUtime=0.73 cores=0-7
/proc/28924/task/28925/stat : 28925 (java) S 28901 28901 24366 0 -1 1077944384 17451 0 0 0 68 5 0 0 20 0 24 0 418694357 8616062976 30169 33554432000 4194304 4196468 140725758367792 140148685639584 140148713809621 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9609216 140725758370807 140725758370966 140725758370966 140725758373839 0
[pid=28924/tid=28926] ppid=28901 vsize=8414124 memory=1472 CPUtime=0 cores=0-7
/proc/28924/task/28926/stat : 28926 (java) S 28901 28901 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418694358 8616062976 30169 33554432000 4194304 4196468 140725758367792 140148718041744 140148713809621 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9609216 140725758370807 140725758370966 140725758370966 140725758373839 0
[pid=28924/tid=28927] ppid=28901 vsize=8414124 memory=282260 CPUtime=0 cores=0-7
/proc/28924/task/28927/stat : 28927 (java) S 28901 28901 24366 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418694358 8616062976 30169 33554432000 4194304 4196468 140725758367792 140148542683664 140148713809621 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9609216 140725758370807 140725758370966 140725758370966 140725758373839 0
[pid=28924/tid=28928] ppid=28901 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/28924/task/28928/stat : 28928 (java) S 28901 28901 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418694358 8616062976 30169 33554432000 4194304 4196468 140725758367792 140148197718416 140148713809621 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9609216 140725758370807 140725758370966 140725758370966 140725758373839 0
[pid=28924/tid=28929] ppid=28901 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/28924/task/28929/stat : 28929 (java) S 28901 28901 24366 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418694358 8616062976 30169 33554432000 4194304 4196468 140725758367792 140148196665616 140148713809621 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9609216 140725758370807 140725758370966 140725758370966 140725758373839 0
[pid=28924/tid=28930] ppid=28901 vsize=8414124 memory=1472 CPUtime=0 cores=0-7
/proc/28924/task/28930/stat : 28930 (java) S 28901 28901 24366 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418694358 8616062976 30169 33554432000 4194304 4196468 140725758367792 140148195613840 140148713809621 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9609216 140725758370807 140725758370966 140725758370966 140725758373839 0
[pid=28924/tid=28931] ppid=28901 vsize=8414124 memory=120676 CPUtime=0 cores=0-7
/proc/28924/task/28931/stat : 28931 (java) S 28901 28901 24366 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418694358 8616062976 30169 33554432000 4194304 4196468 140725758367792 140148194561040 140148713809621 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9609216 140725758370807 140725758370966 140725758370966 140725758373839 0
[pid=28924/tid=28932] ppid=28901 vsize=8414124 memory=1764 CPUtime=0 cores=0-7
/proc/28924/task/28932/stat : 28932 (java) S 28901 28901 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418694358 8616062976 30169 33554432000 4194304 4196468 140725758367792 140148193508240 140148713809621 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9609216 140725758370807 140725758370966 140725758370966 140725758373839 0
[pid=28924/tid=28933] ppid=28901 vsize=8414124 memory=111632 CPUtime=0 cores=0-7
/proc/28924/task/28933/stat : 28933 (java) S 28901 28901 24366 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418694358 8616062976 30169 33554432000 4194304 4196468 140725758367792 140148192455440 140148713809621 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9609216 140725758370807 140725758370966 140725758370966 140725758373839 0
[pid=28924/tid=28934] ppid=28901 vsize=8414124 memory=1472 CPUtime=0 cores=0-7
/proc/28924/task/28934/stat : 28934 (java) S 28901 28901 24366 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 418694359 8616062976 30169 33554432000 4194304 4196468 140725758367792 140148142860656 140148713810562 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9609216 140725758370807 140725758370966 140725758370966 140725758373839 0
[pid=28924/tid=28935] ppid=28901 vsize=8414124 memory=120676 CPUtime=0 cores=0-7
/proc/28924/task/28935/stat : 28935 (java) S 28901 28901 24366 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 418694360 8616062976 30169 33554432000 4194304 4196468 140725758367792 140147332998176 140148713809621 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9609216 140725758370807 140725758370966 140725758370966 140725758373839 0
[pid=28924/tid=28936] ppid=28901 vsize=8414124 memory=282860 CPUtime=0 cores=0-7
/proc/28924/task/28936/stat : 28936 (java) S 28901 28901 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418694360 8616062976 30169 33554432000 4194304 4196468 140725758367792 140147064562544 140148713809621 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9609216 140725758370807 140725758370966 140725758370966 140725758373839 0
[pid=28924/tid=28937] ppid=28901 vsize=8414124 memory=120676 CPUtime=0 cores=0-7
/proc/28924/task/28937/stat : 28937 (java) S 28901 28901 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418694362 8616062976 30169 33554432000 4194304 4196468 140725758367792 140146690053968 140148713818011 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9609216 140725758370807 140725758370966 140725758370966 140725758373839 0
[pid=28924/tid=28938] ppid=28901 vsize=8414124 memory=1472 CPUtime=0.07 cores=0-7
/proc/28924/task/28938/stat : 28938 (java) S 28901 28901 24366 0 -1 1077944384 561 0 0 0 7 0 0 0 20 0 24 0 418694363 8616062976 30169 33554432000 4194304 4196468 140725758367792 140148141808496 140148713810562 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9609216 140725758370807 140725758370966 140725758370966 140725758373839 0
[pid=28924/tid=28939] ppid=28901 vsize=8414124 memory=119744 CPUtime=0.05 cores=0-7
/proc/28924/task/28939/stat : 28939 (java) S 28901 28901 24366 0 -1 1077944384 296 0 0 0 5 0 0 0 20 0 24 0 418694363 8616062976 30169 33554432000 4194304 4196468 140725758367792 140148140755696 140148713810562 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9609216 140725758370807 140725758370966 140725758370966 140725758373839 0
[pid=28924/tid=28940] ppid=28901 vsize=8414124 memory=7686721470300724891 CPUtime=0.04 cores=0-7
/proc/28924/task/28940/stat : 28940 (java) S 28901 28901 24366 0 -1 1077944384 281 0 0 0 4 0 0 0 20 0 24 0 418694363 8616062976 30169 33554432000 4194304 4196468 140725758367792 140148139702896 140148713810562 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9609216 140725758370807 140725758370966 140725758370966 140725758373839 0
[pid=28924/tid=28941] ppid=28901 vsize=8414124 memory=500 CPUtime=0.19 cores=0-7
/proc/28924/task/28941/stat : 28941 (java) S 28901 28901 24366 0 -1 1077944384 639 0 0 0 19 0 0 0 20 0 24 0 418694363 8616062976 30169 33554432000 4194304 4196468 140725758367792 140147802761712 140148713810562 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9609216 140725758370807 140725758370966 140725758370966 140725758373839 0
[pid=28924/tid=28942] ppid=28901 vsize=8414124 memory=1556 CPUtime=0 cores=0-7
/proc/28924/task/28942/stat : 28942 (java) S 28901 28901 24366 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418694363 8616062976 30169 33554432000 4194304 4196468 140725758367792 140146192149088 140148713809621 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9609216 140725758370807 140725758370966 140725758370966 140725758373839 0
[pid=28924/tid=28943] ppid=28901 vsize=8414124 memory=14012 CPUtime=0.03 cores=0-7
/proc/28924/task/28943/stat : 28943 (java) S 28901 28901 24366 0 -1 1077944384 7 0 0 0 0 3 0 0 20 0 24 0 418694363 8616062976 30169 33554432000 4194304 4196468 140725758367792 140147801709104 140148713810562 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 39 0 0 6293624 6294260 9609216 140725758370807 140725758370966 140725758370966 140725758373839 0
[pid=28924/tid=28945] ppid=28901 vsize=8414124 memory=20652 CPUtime=0 cores=0-7
/proc/28924/task/28945/stat : 28945 (java) S 28901 28901 24366 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 418694428 8616062976 30169 33554432000 4194304 4196468 140725758367792 140148138648640 140148713824025 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 9609216 140725758370807 140725758370966 140725758370966 140725758373839 0
[pid=28924/tid=28947] ppid=28901 vsize=8414124 memory=12036 CPUtime=0 cores=0-7
/proc/28924/task/28947/stat : 28947 (java) S 28901 28901 24366 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 418694428 8616062976 30169 33554432000 4194304 4196468 140725758367792 140145521049744 140148713821341 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 9609216 140725758370807 140725758370966 140725758370966 140725758373839 0
[pid=28924/tid=28948] ppid=28901 vsize=8414124 memory=281160371320016 CPUtime=0 cores=0-7
/proc/28924/task/28948/stat : 28948 (java) S 28901 28901 24366 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 418694428 8616062976 30169 33554432000 4194304 4196468 140725758367792 140145789485072 140148713821341 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 9609216 140725758370807 140725758370966 140725758370966 140725758373839 0
[pid=28924/tid=28949] ppid=28901 vsize=8414124 memory=6080235982264156256 CPUtime=0 cores=0-7
/proc/28924/task/28949/stat : 28949 (java) S 28901 28901 24366 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418694430 8616062976 30169 33554432000 4194304 4196468 140725758367792 140145252621872 140148713809621 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9609216 140725758370807 140725758370966 140725758370966 140725758373839 0
Current children cumulated CPU time: 599.55 s
Current children cumulated vsize: 9149864 KiB
Current children cumulated memory: 406628 KiB

Child status: 0
Real time (s): 78.9955
CPU time (s): 599.728
CPU user time (s): 598.791
CPU system time (s): 0.937548
CPU usage (%): 759.193
Max. virtual memory (cumulated for all children) (KiB): 27441876
Max. memory (cumulated for all children) (KiB): 451256

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 598.791
system time used= 0.937548
maximum resident set size= 455036
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 364579
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= 9535
involuntary context switches= 6629


# summary of solver processes directly reported to runsolver:
#   pid: 28901
#   total CPU time (s): 599.728
#   total CPU user time (s): 598.791
#   total CPU system time (s): 0.937548

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.811764 second user time and 1.07812 second system time

The end

Launcher Data 

Begin job on node134 at 2019-09-14 03:26:34
IDJOB=4392693
IDBENCH=124287
IDSOLVER=2839
FILE ID=node134/4392693-1568424436
RUNJOBID= node134-1568416726-24393
PBS_JOBID= 21702257
Free space on /tmp= 59576 MiB

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

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

MD5SUM BENCH= be7a6961e736c78e558242a96ea5fa7b
RANDOM SEED=1313321470

node134.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.76
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.76
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.76
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.76
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:        30264472 kB
MemAvailable:   31794484 kB
Buffers:          194464 kB
Cached:          1602196 kB
SwapCached:        90608 kB
Active:           493644 kB
Inactive:        1395540 kB
Active(anon):      25268 kB
Inactive(anon):   106580 kB
Active(file):     468376 kB
Inactive(file):  1288960 kB
Unevictable:      110920 kB
Mlocked:          110920 kB
SwapTotal:      67108860 kB
SwapFree:       66916620 kB
Dirty:             20364 kB
Writeback:             0 kB
AnonPages:        113876 kB
Mapped:            44016 kB
Shmem:             31096 kB
Slab:             206520 kB
SReclaimable:     177024 kB
SUnreclaim:        29496 kB
KernelStack:        3472 kB
PageTables:         6360 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     498320 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     67584 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      118144 kB
DirectMap2M:    33427456 kB

Free space on /tmp at the end= 59556 MiB
End job on node134 at 2019-09-14 03:27:53