Trace number 4405553

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-09-22)UNSAT 596.78 78.4846

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-6155-serial-file.bin HOME/instance-4405553-1569242326.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: Mon Sep 23 14:38:06 CEST 2019
0.66/0.56	c PID: 6158
0.66/0.57	c IP: 172.20.3.127
0.66/0.57	c HOST: node127.alineos.net
0.66/0.57	c (0,0) Parsing Begin
1.16/0.87	c (0,0) Parsing End
1.16/0.88	c (0,0) CSP: 42 int (0 aux), 0 bool (0 aux), 29 ctr, max domain size 42
1.16/0.88	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.16/0.88	c (0,0) Constraint Name Generate Begin
1.16/0.88	c (0,0) Ctr:HOME/instance-4405553-1569242326.xml,Add:AllDifferent:Eq:Num:Var
1.16/0.88	c (0,0) Constraint Name Generate End
1.16/0.88	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.16/0.88	c (0,0) CSP to CSPinCNF Begin
2.06/1.29	c (0,0) translated 3 (10%) constraints
2.06/1.29	c (0,0) translated 6 (20%) constraints
2.06/1.29	c (0,0) translated 9 (30%) constraints
2.06/1.29	c (0,0) translated 12 (40%) constraints
2.06/1.29	c (0,0) translated 15 (50%) constraints
2.06/1.29	c (0,0) translated 18 (60%) constraints
2.06/1.29	c (0,0) translated 21 (70%) constraints
2.06/1.29	c (0,0) translated 24 (80%) constraints
2.06/1.29	c (0,0) translated 27 (90%) constraints
2.06/1.29	c (0,0) translated 29 (100%) constraints
2.06/1.29	c (0,0) ===========================================
2.41/1.31	c (0,0) Hybrid: #OE=42, #LE=0
2.41/1.31	c (0,0) Hybrid
2.41/1.31	c (0,0) ===========================================
2.41/1.34	c (0,0) translated 94 (10%) constraints
2.41/1.35	c (0,0) translated 187 (20%) constraints
2.41/1.36	c (0,0) translated 280 (30%) constraints
2.41/1.37	c (0,0) translated 374 (40%) constraints
2.41/1.38	c (0,0) translated 467 (50%) constraints
2.41/1.39	c (0,0) translated 560 (60%) constraints
2.41/1.40	c (0,0) translated 654 (70%) constraints
2.68/1.40	c (0,0) translated 747 (80%) constraints
2.68/1.41	c (0,0) translated 840 (90%) constraints
3.42/1.63	c (1,1) translated 933 (100%) constraints
3.42/1.63	c (1,1) CSP to CSPinCNF End
3.42/1.64	c (1,1) CSP: 42 int (0 aux), 1764 bool (1764 aux), 4489 ctr, max domain size 38
3.42/1.64	c (1,1) Heap : 337 MiB used (max 21589 MiB), NonHeap : 24 MiB used (max 0 MiB)
3.42/1.64	c (1,1) CSPinCNF Propagation Begin
3.86/1.76	c (1,1) 714 values, 1557 unsatisfiable literals, and 1579 valid clauses are removed
3.86/1.76	c (1,1) CSPinCNF Propagation End
3.86/1.76	c (1,1) CSP: 42 int (0 aux), 1764 bool (1764 aux), 2910 ctr, max domain size 38
3.86/1.76	c (1,1) Heap : 450 MiB used (max 21589 MiB), NonHeap : 25 MiB used (max 0 MiB)
3.86/1.77	c (1,1) Hybrid: #OE=1806, #LE=0
3.86/1.77	c (1,1) Simplify CSPinCNF Begin
4.30/1.84	c (1,1) Simplify CSPinCNF End
4.30/1.85	c (1,1) CSP: 42 int (0 aux), 3340 bool (3340 aux), 4486 ctr, max domain size 38
4.30/1.85	c (1,1) Heap : 450 MiB used (max 21589 MiB), NonHeap : 25 MiB used (max 0 MiB)
4.30/1.85	c (1,1) Calculate Precise Domain Begin
4.30/1.85	c (1,1) 0 values are removed by re-calculation
4.30/1.85	c (1,1) Calculate Precise Domain End
4.30/1.85	c (1,1) CSP: 42 int (0 aux), 3340 bool (3340 aux), 4486 ctr, max domain size 38
4.30/1.85	c (1,1) Heap : 450 MiB used (max 21589 MiB), NonHeap : 25 MiB used (max 0 MiB)
4.30/1.85	c (1,1) CSPinCNF to SatSolver Begin
5.17/2.10	c (1,1) 449 (10 %) CSP clauses are encoded (0 SAT variables, 7692 SAT clauses)
5.61/2.17	c (1,1) 898 (20 %) CSP clauses are encoded (0 SAT variables, 12667 SAT clauses)
5.99/2.22	c (1,1) 1346 (30 %) CSP clauses are encoded (0 SAT variables, 16343 SAT clauses)
5.99/2.28	c (1,1) 1795 (40 %) CSP clauses are encoded (0 SAT variables, 22440 SAT clauses)
6.40/2.33	c (1,1) 2243 (50 %) CSP clauses are encoded (0 SAT variables, 27290 SAT clauses)
6.40/2.35	c (1,1) 2692 (60 %) CSP clauses are encoded (0 SAT variables, 29105 SAT clauses)
6.65/2.72	c (2,1) 3141 (70 %) CSP clauses are encoded (0 SAT variables, 29554 SAT clauses)
6.65/2.73	c (2,1) 3589 (80 %) CSP clauses are encoded (0 SAT variables, 30002 SAT clauses)
6.65/2.73	c (2,1) 4038 (90 %) CSP clauses are encoded (0 SAT variables, 30451 SAT clauses)
6.65/2.75	c (2,1) 4486 (100 %) CSP clauses are encoded (0 SAT variables, 32177 SAT clauses)
6.65/2.75	c (2,1) CSPinCNF to SatSolver End
6.65/2.75	c (2,1) Heap : 563 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB)
6.65/2.75	c (2,1) 3634 bool, 32188 clause
6.65/2.75	c (2,1) Export Begin
6.89/2.83	c (2,1) Export to HOME/scop-6155-serial-file.bin
6.89/2.83	c (2,1) Export End
6.89/2.83	c (2,1) Export File Size: 0.01 MB
6.89/2.83	c (2,1) 0,0,1,1,1,1,2,STOP-AFTER(DIMACS)
6.89/2.83	c END-Prog: Mon Sep 23 14:38:08 CEST 2019
6.89/2.85	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-6155-serial-file.bin
7.55/3.31	c (0,0) Read Serial File Begin
7.55/3.31	c (0,0) HOME/scop-6155-serial-file.bin
7.83/3.50	c (0,0) Read Serial File End
7.83/3.52	
7.83/3.52	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
7.83/3.52	(Solving Process)
7.83/3.52	
7.83/3.54	c BEGIN-Prog: Mon Sep 23 14:38:09 CEST 2019
7.83/3.54	c PID: 6178
7.83/3.54	c IP: 172.20.3.127
7.83/3.54	c HOST: node127.alineos.net
7.83/3.54	c (0,0) SatSolver.solve Begin
7.83/3.54	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4405553-1569242326.xml-scop-6158.cnf
7.83/3.57	c (0,0) c
7.83/3.57	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.83/3.57	c (0,0) c
7.83/3.57	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
7.83/3.57	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
7.83/3.57	c (0,0) c ========================================[ Problem Statistics ]===========================================
7.83/3.57	c (0,0) c |                                                                                                       |
7.83/3.58	c (0,0) c |  Number of variables:          3634                                                                   |
7.83/3.58	c (0,0) c |  Number of clauses:           32188                                                                   |
7.83/3.58	c (0,0) c |  Parse time:                   0.01 s                                                                 |
7.83/3.58	c (0,0) c |                                                                                                       |
8.07/3.60	c (0,0) c |  Simplification time:          0.03 s                                                                 |
8.07/3.60	c (0,0) c |                                                                                                       |
8.07/3.60	c (0,0) c |  Generating clones                                                                                    |
8.07/3.62	c (0,0) c |  all clones generated. Memory =    42.31Mb.                                                           |
8.07/3.62	c (0,0) c ========================================================================================================|
8.07/3.62	c (0,0) c
8.07/3.62	c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
8.07/3.62	c (0,0) c
8.07/3.62	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
8.07/3.62	c (0,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
8.07/3.62	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
8.07/3.62	c (0,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
8.07/3.62	c (0,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
8.07/3.62	c (0,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
8.07/3.62	c (0,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
8.07/3.62	c (0,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
8.07/3.62	c (0,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
8.07/3.62	c (0,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
8.07/3.62	c (0,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
8.07/3.62	c (0,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
8.07/3.62	c (0,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
8.07/3.62	c (0,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
8.07/3.62	c (0,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
8.07/3.62	c (0,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
8.07/3.62	c (0,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
8.07/3.62	c (0,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
8.07/3.62	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
243.75/33.27	c (30,0) c
243.75/33.27	c (30,0) c |------------------------------------------------------------------------------------------------------------------------|
243.75/33.27	c (30,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
243.75/33.27	c (30,0) c |------------------------------------------------------------------------------------------------------------------------|
243.75/33.27	c (30,0) c |  0 |    344 |     205006 |     131238 |    30284 |    39847 |    16543 |   105024 |    12918 |      328 |  20 |  0.084 |
243.75/33.27	c (30,0) c |  1 |    385 |     209696 |     130777 |    30220 |    39392 |    15033 |   106011 |    13033 |      322 |  20 |  0.083 |
243.75/33.27	c (30,0) c |  2 |    376 |     212051 |     129950 |    30402 |    38562 |    15697 |   105070 |    13279 |      320 |  20 |  0.083 |
243.75/33.27	c (30,0) c |  3 |    292 |     206830 |     132377 |    30269 |    40992 |    15473 |   106687 |    13137 |      327 |  20 |  0.084 |
243.75/33.27	c (30,0) c |  4 |    395 |     216201 |     134679 |    30370 |    43295 |    16225 |   107575 |    13797 |      336 |  20 |  0.084 |
243.75/33.27	c (30,0) c |  5 |    300 |     210656 |     134552 |    30261 |    43163 |    15944 |   107738 |    13639 |      337 |  20 |  0.083 |
243.75/33.27	c (30,0) c |  6 |    455 |     215226 |     134989 |    30376 |    43602 |    15584 |   109148 |    13970 |      340 |  20 |  0.083 |
243.75/33.27	c (30,0) c |  7 |    455 |     216953 |     135177 |    30373 |    43788 |    15900 |   108534 |    13865 |      340 |  20 |  0.083 |
243.75/33.27	c (30,0) c 
243.75/33.27	c (30,0) c synthesis     1063739 conflicts   375858785 propagations     4512 conflicts/sec  1594415 propagations/sec
243.75/33.27	c (30,0) c real: 29.6935 s, cpu: 235.735 s, memory: 624.05 Mb
481.42/63.26	c (60,0) c
481.42/63.26	c (60,0) c |------------------------------------------------------------------------------------------------------------------------|
481.42/63.26	c (60,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
481.42/63.26	c (60,0) c |------------------------------------------------------------------------------------------------------------------------|
481.42/63.26	c (60,0) c |  0 |    709 |     344377 |     236189 |    30544 |    37994 |    24813 |   158418 |    22548 |      676 |  20 |  0.084 |
481.42/63.26	c (60,0) c |  1 |    772 |     341459 |     230410 |    30485 |    32219 |    22527 |   157807 |    22339 |      659 |  20 |  0.083 |
481.42/63.26	c (60,0) c |  2 |    729 |     353479 |     237396 |    30583 |    39203 |    23151 |   159944 |    22802 |      676 |  20 |  0.083 |
481.42/63.26	c (60,0) c |  3 |    605 |     343577 |     237393 |    30496 |    39203 |    22665 |   160259 |    22412 |      675 |  20 |  0.083 |
481.42/63.26	c (60,0) c |  4 |    716 |     346686 |     234229 |    30538 |    36043 |    23810 |   158338 |    22781 |      670 |  20 |  0.084 |
481.42/63.26	c (60,0) c |  5 |    573 |     338229 |     232796 |    30492 |    34604 |    22785 |   158084 |    22335 |      663 |  20 |  0.084 |
481.42/63.26	c (60,0) c |  6 |    785 |     347131 |     234891 |    30531 |    36698 |    22669 |   159154 |    22838 |      672 |  20 |  0.086 |
481.42/63.26	c (60,0) c |  7 |    761 |     351003 |     237922 |    30547 |    39730 |    23343 |   160315 |    22985 |      679 |  20 |  0.084 |
481.42/63.26	c (60,0) c 
481.42/63.26	c (60,0) c synthesis     1881226 conflicts   642348834 propagations     3975 conflicts/sec  1357278 propagations/sec
481.42/63.26	c (60,0) c real: 59.6935 s, cpu: 473.263 s, memory: 624.05 Mb
596.60/78.44	c (75,0) c
596.60/78.44	c (75,0) c real time : 74.8715 s
596.60/78.44	c (75,0) c cpu time  : 587.977 s
596.60/78.44	c (75,0) c
596.60/78.44	c (75,0) c
596.60/78.44	c (75,0) c
596.60/78.44	c (75,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
596.60/78.44	c (75,0) c
596.60/78.44	c (75,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
596.60/78.44	c (75,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
596.60/78.44	c (75,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
596.60/78.44	c (75,0) c | Conflicts     |         2265245 |     282139 |     281815 |     284666 |     283229 |     282923 |     283758 |     282487 |     284228 |
596.60/78.44	c (75,0) c | Decisions     |         3272665 |     405112 |     409491 |     415298 |     404804 |     411210 |     404365 |     410199 |     412186 |
596.60/78.44	c (75,0) c | Propagations  |       765187751 |   95369030 |   95536765 |   96467100 |   95275504 |   95913373 |   95686173 |   95011568 |   95928238 |
596.60/78.44	c (75,0) c | ReduceDBs     |             112 |         14 |         14 |         14 |         14 |         14 |         14 |         14 |         14 |
596.60/78.44	c (75,0) c | SimpDBs       |              86 |         11 |         11 |         11 |         10 |         10 |         12 |         11 |         10 |
596.60/78.44	c (75,0) c | Restarts      |            7071 |        877 |        969 |        898 |        797 |        924 |        724 |        958 |        924 |
596.60/78.44	c (75,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
596.60/78.44	c (75,0) c | PropBinClauses|      2103308764 |  261814003 |  262318528 |  265167090 |  262842919 |  262648400 |  263690048 |  261390441 |  263437335 |
596.60/78.44	c (75,0) c | PropPreBlocker|     18182791513 | 2268511425 | 2264365970 | 2283593183 | 2276905118 | 2269856082 | 2276453183 | 2263427357 | 2279679195 |
596.60/78.44	c (75,0) c | PropNotBlocker|      5026682221 |  628483786 |  628379448 |  628804216 |  627373325 |  630956518 |  628667245 |  624533640 |  629484043 |
596.60/78.44	c (75,0) c | LitFullScans  |     40231988998 | 5028443999 | 5023681845 | 5030964389 | 5028911997 | 5028617064 | 5028323371 | 5028678730 | 5034367603 |
596.60/78.44	c (75,0) c | LitScanFracts |         3796569 |     429716 |     298774 |     590243 |     538685 |     609889 |     292289 |     675694 |     361279 |
596.60/78.44	c (75,0) c | DecisionLevel0|            7151 |        886 |        983 |        915 |        804 |        934 |        735 |        966 |        928 |
596.60/78.44	c (75,0) c | Periods       |            6704 |        838 |        837 |        838 |        838 |        838 |        838 |        838 |        839 |
596.60/78.44	c (75,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
596.60/78.44	c (75,0) c | Avg_Trail     |                 |       1858 |       1859 |       1855 |       1851 |       1858 |       1853 |       1864 |       1856 |
596.60/78.44	c (75,0) c | Avg_DL        |                 |         16 |         16 |         17 |         17 |         16 |         16 |         17 |         17 |
596.60/78.44	c (75,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
596.60/78.44	c (75,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
596.60/78.44	c (75,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
596.60/78.44	c (75,0) c | Exported      |          217119 |      28779 |      26776 |      26613 |      26585 |      27898 |      26866 |      26282 |      27320 |
596.60/78.44	c (75,0) c | Imported      |         1488526 |     184350 |     186328 |     186695 |     186892 |     185348 |     186181 |     186762 |     185970 |
596.60/78.44	c (75,0) c | Good          |           59515 |       7441 |       7324 |       7459 |       7449 |       7430 |       7461 |       7499 |       7452 |
596.60/78.44	c (75,0) c | Purge         |         1429011 |     176909 |     179004 |     179236 |     179443 |     177918 |     178720 |     179263 |     178518 |
596.60/78.44	c (75,0) c | Promoted      |          218301 |      27087 |      27204 |      27386 |      26911 |      27530 |      27190 |      27411 |      27582 |
596.60/78.44	c (75,0) c | Remove_Imp    |          881620 |     108363 |     109800 |     111693 |     110115 |     108998 |     112073 |     112407 |     108171 |
596.60/78.44	c (75,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
596.60/78.44	c (75,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
596.60/78.44	c (75,0) c | Unaries       |                 |          9 |         14 |         17 |          7 |         10 |         11 |          8 |          4 |
596.60/78.44	c (75,0) c | Binaries      |                 |       1082 |       1207 |       1088 |       1082 |       1102 |       1052 |       1027 |       1064 |
596.60/78.44	c (75,0) c | Glues         |                 |       3969 |       4029 |       3920 |       3892 |       4002 |       3822 |       3741 |       3752 |
596.60/78.44	c (75,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
596.60/78.44	c (75,0) c | Orig_Seen     |            98 % |      30591 |      30523 |      30631 |      30542 |      30583 |      30554 |      30567 |      30585 |
596.60/78.44	c (75,0) c | Diff Orig seen|                 |         68 |      X     |        108 |         19 |         60 |         31 |         44 |         62 |
596.60/78.44	c (75,0) c | Hamming       |            18 % |        848 |      X     |        739 |        481 |        657 |        579 |        753 |        669 |
596.60/78.44	c (75,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
596.60/78.44	c (75,0) c | RunningTime   |                 |   73.6 100%|   74.7 100%|   73.3 100%|   73.5 100%|   73.6  99%|   74.0 100%|   74.3 100%|   72.4  98%|
596.60/78.44	c (75,0) c | WaitingTime   |                 |    0.1   0%|    0.0   0%|    0.2   0%|    0.1   0%|    0.3   0%|    0.1   0%|    0.1   0%|    1.2   2%|
596.60/78.44	c (75,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%|
596.60/78.44	c (75,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%|
596.60/78.44	c (75,0) c | SolvingTime   |                 |   73.8     |   74.8     |   73.7     |   73.6     |   74.0     |   74.3     |   74.5     |   73.7     |
596.60/78.44	c (75,0) c | PropagationTim|                 |   66.6  90%|   67.3  90%|   66.0  90%|   66.3  90%|   66.8  90%|   66.6  90%|   64.7  87%|   66.5  90%|
596.60/78.44	c (75,0) c | AnalysisTime  |                 |    5.5   8%|    5.8   8%|    6.0   8%|    5.7   8%|    5.6   8%|    6.0   8%|    8.1  11%|    5.6   8%|
596.60/78.44	c (75,0) c | ReductionTime |                 |    0.4   1%|    0.4   1%|    0.4   0%|    0.4   1%|    0.4   0%|    0.4   1%|    0.4   0%|    0.4   1%|
596.60/78.44	c (75,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%|
596.60/78.44	c (75,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%|
596.60/78.44	c (75,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%|
596.60/78.44	c (75,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
596.60/78.44	c (75,0) c
596.60/78.44	c (75,0) c
596.60/78.44	c (75,0) c Threads : 8
596.60/78.44	c (75,0) c Winner : 1
596.60/78.44	c (75,0) c Conflicts_0 : 282139
596.60/78.44	c (75,0) c Conflicts_1 : 281815
596.60/78.44	c (75,0) c Conflicts_2 : 284666
596.60/78.44	c (75,0) c Conflicts_3 : 283229
596.60/78.44	c (75,0) c Conflicts_4 : 282923
596.60/78.44	c (75,0) c Conflicts_5 : 283758
596.60/78.44	c (75,0) c Conflicts_6 : 282487
596.60/78.44	c (75,0) c Conflicts_7 : 284228
596.60/78.44	c (75,0) c Conflicts_total : 2265245
596.60/78.44	c (75,0) c Conflicts_winner : 281815
596.60/78.44	c (75,0) c Decisions_0 : 405112
596.60/78.44	c (75,0) c Decisions_1 : 409491
596.60/78.44	c (75,0) c Decisions_2 : 415298
596.60/78.44	c (75,0) c Decisions_3 : 404804
596.60/78.44	c (75,0) c Decisions_4 : 411210
596.60/78.44	c (75,0) c Decisions_5 : 404365
596.60/78.44	c (75,0) c Decisions_6 : 410199
596.60/78.44	c (75,0) c Decisions_7 : 412186
596.60/78.44	c (75,0) c Decisions_total : 3272665
596.60/78.44	c (75,0) c Decisions_winner : 409491
596.60/78.44	c (75,0) c Propagations_0 : 95369030
596.60/78.44	c (75,0) c Propagations_1 : 95536765
596.60/78.44	c (75,0) c Propagations_2 : 96467100
596.60/78.44	c (75,0) c Propagations_3 : 95275504
596.60/78.44	c (75,0) c Propagations_4 : 95913373
596.60/78.44	c (75,0) c Propagations_5 : 95686173
596.60/78.44	c (75,0) c Propagations_6 : 95011568
596.60/78.44	c (75,0) c Propagations_7 : 95928238
596.60/78.44	c (75,0) c Propagations_total : 765187751
596.60/78.44	c (75,0) c Propagations_winner : 95536765
596.60/78.44	c (75,0) c ReduceDBs_0 : 14
596.60/78.44	c (75,0) c ReduceDBs_1 : 14
596.60/78.44	c (75,0) c ReduceDBs_2 : 14
596.60/78.44	c (75,0) c ReduceDBs_3 : 14
596.60/78.44	c (75,0) c ReduceDBs_4 : 14
596.60/78.44	c (75,0) c ReduceDBs_5 : 14
596.60/78.44	c (75,0) c ReduceDBs_6 : 14
596.60/78.44	c (75,0) c ReduceDBs_7 : 14
596.60/78.44	c (75,0) c ReduceDBs_total : 112
596.60/78.44	c (75,0) c ReduceDBs_winner : 14
596.60/78.44	c (75,0) c SimpDBs_0 : 11
596.60/78.44	c (75,0) c SimpDBs_1 : 11
596.60/78.44	c (75,0) c SimpDBs_2 : 11
596.60/78.44	c (75,0) c SimpDBs_3 : 10
596.60/78.44	c (75,0) c SimpDBs_4 : 10
596.60/78.44	c (75,0) c SimpDBs_5 : 12
596.60/78.44	c (75,0) c SimpDBs_6 : 11
596.60/78.44	c (75,0) c SimpDBs_7 : 10
596.60/78.44	c (75,0) c SimpDBs_total : 86
596.60/78.44	c (75,0) c SimpDBs_winner : 11
596.60/78.44	c (75,0) c Restarts_0 : 877
596.60/78.44	c (75,0) c Restarts_1 : 969
596.60/78.44	c (75,0) c Restarts_2 : 898
596.60/78.44	c (75,0) c Restarts_3 : 797
596.60/78.44	c (75,0) c Restarts_4 : 924
596.60/78.44	c (75,0) c Restarts_5 : 724
596.60/78.44	c (75,0) c Restarts_6 : 958
596.60/78.44	c (75,0) c Restarts_7 : 924
596.60/78.44	c (75,0) c Restarts_total : 7071
596.60/78.44	c (75,0) c Restarts_winner : 969
596.60/78.44	c (75,0) c ForcedImports_0 : 0
596.60/78.44	c (75,0) c ForcedImports_1 : 0
596.60/78.44	c (75,0) c ForcedImports_2 : 0
596.60/78.44	c (75,0) c ForcedImports_3 : 0
596.60/78.44	c (75,0) c ForcedImports_4 : 0
596.60/78.44	c (75,0) c ForcedImports_5 : 0
596.60/78.44	c (75,0) c ForcedImports_6 : 0
596.60/78.44	c (75,0) c ForcedImports_7 : 0
596.60/78.44	c (75,0) c ForcedImports_total : 0
596.60/78.44	c (75,0) c ForcedImports_winner : 0
596.60/78.44	c (75,0) c PropsBinClauses_0 : 261814003
596.60/78.44	c (75,0) c PropsBinClauses_1 : 262318528
596.60/78.44	c (75,0) c PropsBinClauses_2 : 265167090
596.60/78.44	c (75,0) c PropsBinClauses_3 : 262842919
596.60/78.44	c (75,0) c PropsBinClauses_4 : 262648400
596.60/78.44	c (75,0) c PropsBinClauses_5 : 263690048
596.60/78.44	c (75,0) c PropsBinClauses_6 : 261390441
596.60/78.44	c (75,0) c PropsBinClauses_7 : 263437335
596.60/78.44	c (75,0) c PropsBinClauses_total : 2103308764
596.60/78.44	c (75,0) c PropsBinClauses_winner : 262318528
596.60/78.44	c (75,0) c PropsPreBlocker_0 : 2268511425
596.60/78.44	c (75,0) c PropsPreBlocker_1 : 2264365970
596.60/78.44	c (75,0) c PropsPreBlocker_2 : 2283593183
596.60/78.44	c (75,0) c PropsPreBlocker_3 : 2276905118
596.60/78.44	c (75,0) c PropsPreBlocker_4 : 2269856082
596.60/78.44	c (75,0) c PropsPreBlocker_5 : 2276453183
596.60/78.44	c (75,0) c PropsPreBlocker_6 : 2263427357
596.60/78.44	c (75,0) c PropsPreBlocker_7 : 2279679195
596.60/78.44	c (75,0) c PropsPreBlocker_total : 18182791513
596.60/78.44	c (75,0) c PropsPreBlocker_winner : 2264365970
596.60/78.44	c (75,0) c PropsNotBlocker_0 : 628483786
596.60/78.44	c (75,0) c PropsNotBlocker_1 : 628379448
596.60/78.44	c (75,0) c PropsNotBlocker_2 : 628804216
596.60/78.44	c (75,0) c PropsNotBlocker_3 : 627373325
596.60/78.44	c (75,0) c PropsNotBlocker_4 : 630956518
596.60/78.44	c (75,0) c PropsNotBlocker_5 : 628667245
596.60/78.44	c (75,0) c PropsNotBlocker_6 : 624533640
596.60/78.44	c (75,0) c PropsNotBlocker_7 : 629484043
596.60/78.44	c (75,0) c PropsNotBlocker_total : 5026682221
596.60/78.44	c (75,0) c PropsNotBlocker_winner : 628379448
596.60/78.44	c (75,0) c PropsLitFullScans_0 : 5028443999
596.60/78.44	c (75,0) c PropsLitFullScans_1 : 5023681845
596.60/78.44	c (75,0) c PropsLitFullScans_2 : 5030964389
596.60/78.44	c (75,0) c PropsLitFullScans_3 : 5028911997
596.60/78.44	c (75,0) c PropsLitFullScans_4 : 5028617064
596.60/78.44	c (75,0) c PropsLitFullScans_5 : 5028323371
596.60/78.44	c (75,0) c PropsLitFullScans_6 : 5028678730
596.60/78.44	c (75,0) c PropsLitFullScans_7 : 5034367603
596.60/78.44	c (75,0) c PropsLitFullScans_total : 40231988998
596.60/78.44	c (75,0) c PropsLitFullScans_winner : 5023681845
596.60/78.44	c (75,0) c LitScanFractions_0 : 429716
596.60/78.44	c (75,0) c LitScanFractions_1 : 298774
596.60/78.44	c (75,0) c LitScanFractions_2 : 590243
596.60/78.44	c (75,0) c LitScanFractions_3 : 538685
596.60/78.44	c (75,0) c LitScanFractions_4 : 609889
596.60/78.44	c (75,0) c LitScanFractions_5 : 292289
596.60/78.44	c (75,0) c LitScanFractions_6 : 675694
596.60/78.44	c (75,0) c LitScanFractions_7 : 361279
596.60/78.44	c (75,0) c LitScanFractions_total : 3796569
596.60/78.45	c (75,0) c LitScanFractions_winner : 298774
596.60/78.45	c (75,0) c DecisionLevel0_0 : 886
596.60/78.45	c (75,0) c DecisionLevel0_1 : 983
596.60/78.45	c (75,0) c DecisionLevel0_2 : 915
596.60/78.45	c (75,0) c DecisionLevel0_3 : 804
596.60/78.45	c (75,0) c DecisionLevel0_4 : 934
596.60/78.45	c (75,0) c DecisionLevel0_5 : 735
596.60/78.45	c (75,0) c DecisionLevel0_6 : 966
596.60/78.45	c (75,0) c DecisionLevel0_7 : 928
596.60/78.45	c (75,0) c DecisionLevel0_total : 7151
596.60/78.45	c (75,0) c DecisionLevel0_winner : 983
596.60/78.45	c (75,0) c Periods_0 : 838
596.60/78.45	c (75,0) c Periods_1 : 837
596.60/78.45	c (75,0) c Periods_2 : 838
596.60/78.45	c (75,0) c Periods_3 : 838
596.60/78.45	c (75,0) c Periods_4 : 838
596.60/78.45	c (75,0) c Periods_5 : 838
596.60/78.45	c (75,0) c Periods_6 : 838
596.60/78.45	c (75,0) c Periods_7 : 839
596.60/78.45	c (75,0) c Periods_total : 6704
596.60/78.45	c (75,0) c Periods_winner : 837
596.60/78.45	c (75,0) c Margin_0 : 20
596.60/78.45	c (75,0) c Margin_1 : 20
596.60/78.45	c (75,0) c Margin_2 : 20
596.60/78.45	c (75,0) c Margin_3 : 20
596.60/78.45	c (75,0) c Margin_4 : 20
596.60/78.45	c (75,0) c Margin_5 : 20
596.60/78.45	c (75,0) c Margin_6 : 20
596.60/78.45	c (75,0) c Margin_7 : 20
596.60/78.45	c (75,0) c Margin_total : 160
596.60/78.45	c (75,0) c Margin_winner : 20
596.60/78.45	c (75,0) c Exported_0 : 28779
596.60/78.45	c (75,0) c Exported_1 : 26776
596.60/78.45	c (75,0) c Exported_2 : 26613
596.60/78.45	c (75,0) c Exported_3 : 26585
596.60/78.45	c (75,0) c Exported_4 : 27898
596.60/78.45	c (75,0) c Exported_5 : 26866
596.60/78.45	c (75,0) c Exported_6 : 26282
596.60/78.45	c (75,0) c Exported_7 : 27320
596.60/78.45	c (75,0) c Exported_total : 217119
596.60/78.45	c (75,0) c Exported_winner : 26776
596.60/78.45	c (75,0) c Imported_0 : 184350
596.60/78.45	c (75,0) c Imported_1 : 186328
596.60/78.45	c (75,0) c Imported_2 : 186695
596.60/78.45	c (75,0) c Imported_3 : 186892
596.60/78.45	c (75,0) c Imported_4 : 185348
596.60/78.45	c (75,0) c Imported_5 : 186181
596.60/78.45	c (75,0) c Imported_6 : 186762
596.60/78.45	c (75,0) c Imported_7 : 185970
596.60/78.45	c (75,0) c Imported_total : 1488526
596.60/78.45	c (75,0) c Imported_winner : 186328
596.60/78.45	c (75,0) c Good_0 : 7441
596.60/78.45	c (75,0) c Good_1 : 7324
596.60/78.45	c (75,0) c Good_2 : 7459
596.60/78.45	c (75,0) c Good_3 : 7449
596.60/78.45	c (75,0) c Good_4 : 7430
596.60/78.45	c (75,0) c Good_5 : 7461
596.60/78.45	c (75,0) c Good_6 : 7499
596.60/78.45	c (75,0) c Good_7 : 7452
596.60/78.45	c (75,0) c Good_total : 59515
596.60/78.45	c (75,0) c Good_winner : 7324
596.60/78.45	c (75,0) c Purge_0 : 176909
596.60/78.45	c (75,0) c Purge_1 : 179004
596.60/78.45	c (75,0) c Purge_2 : 179236
596.60/78.45	c (75,0) c Purge_3 : 179443
596.60/78.45	c (75,0) c Purge_4 : 177918
596.60/78.45	c (75,0) c Purge_5 : 178720
596.60/78.45	c (75,0) c Purge_6 : 179263
596.60/78.45	c (75,0) c Purge_7 : 178518
596.60/78.45	c (75,0) c Purge_total : 1429011
596.60/78.45	c (75,0) c Purge_winner : 179004
596.60/78.45	c (75,0) c Promoted_0 : 27087
596.60/78.45	c (75,0) c Promoted_1 : 27204
596.60/78.45	c (75,0) c Promoted_2 : 27386
596.60/78.45	c (75,0) c Promoted_3 : 26911
596.60/78.45	c (75,0) c Promoted_4 : 27530
596.60/78.45	c (75,0) c Promoted_5 : 27190
596.60/78.45	c (75,0) c Promoted_6 : 27411
596.60/78.45	c (75,0) c Promoted_7 : 27582
596.60/78.45	c (75,0) c Promoted_total : 218301
596.60/78.45	c (75,0) c Promoted_winner : 27204
596.60/78.45	c (75,0) c Remove_Imp_0 : 108363
596.60/78.45	c (75,0) c Remove_Imp_1 : 109800
596.60/78.45	c (75,0) c Remove_Imp_2 : 111693
596.60/78.45	c (75,0) c Remove_Imp_3 : 110115
596.60/78.45	c (75,0) c Remove_Imp_4 : 108998
596.60/78.45	c (75,0) c Remove_Imp_5 : 112073
596.60/78.45	c (75,0) c Remove_Imp_6 : 112407
596.60/78.45	c (75,0) c Remove_Imp_7 : 108171
596.60/78.45	c (75,0) c Remove_Imp_total : 881620
596.60/78.45	c (75,0) c Remove_Imp_winner : 109800
596.60/78.45	c (75,0) c Blocked_Reuse_0 : 0
596.60/78.45	c (75,0) c Blocked_Reuse_1 : 0
596.60/78.45	c (75,0) c Blocked_Reuse_2 : 0
596.60/78.45	c (75,0) c Blocked_Reuse_3 : 0
596.60/78.45	c (75,0) c Blocked_Reuse_4 : 0
596.60/78.45	c (75,0) c Blocked_Reuse_5 : 0
596.60/78.45	c (75,0) c Blocked_Reuse_6 : 0
596.60/78.45	c (75,0) c Blocked_Reuse_7 : 0
596.60/78.45	c (75,0) c Blocked_Reuse_total : 0
596.60/78.45	c (75,0) c Blocked_Reuse_winner : 0
596.60/78.45	c (75,0) c Unaries_0 : 9
596.60/78.45	c (75,0) c Unaries_1 : 14
596.60/78.45	c (75,0) c Unaries_2 : 17
596.60/78.45	c (75,0) c Unaries_3 : 7
596.60/78.45	c (75,0) c Unaries_4 : 10
596.60/78.45	c (75,0) c Unaries_5 : 11
596.60/78.45	c (75,0) c Unaries_6 : 8
596.60/78.45	c (75,0) c Unaries_7 : 4
596.60/78.45	c (75,0) c Unaries_total : 80
596.60/78.45	c (75,0) c Unaries_winner : 14
596.60/78.45	c (75,0) c Binaries_0 : 1082
596.60/78.45	c (75,0) c Binaries_1 : 1207
596.60/78.45	c (75,0) c Binaries_2 : 1088
596.60/78.45	c (75,0) c Binaries_3 : 1082
596.60/78.45	c (75,0) c Binaries_4 : 1102
596.60/78.45	c (75,0) c Binaries_5 : 1052
596.60/78.45	c (75,0) c Binaries_6 : 1027
596.60/78.45	c (75,0) c Binaries_7 : 1064
596.60/78.45	c (75,0) c Binaries_total : 8704
596.60/78.45	c (75,0) c Binaries_winner : 1207
596.60/78.45	c (75,0) c Glues_0 : 3969
596.60/78.45	c (75,0) c Glues_1 : 4029
596.60/78.45	c (75,0) c Glues_2 : 3920
596.60/78.45	c (75,0) c Glues_3 : 3892
596.60/78.45	c (75,0) c Glues_4 : 4002
596.60/78.45	c (75,0) c Glues_5 : 3822
596.60/78.45	c (75,0) c Glues_6 : 3741
596.60/78.45	c (75,0) c Glues_7 : 3752
596.60/78.45	c (75,0) c Glues_total : 31127
596.60/78.45	c (75,0) c Glues_winner : 4029
596.60/78.45	c (75,0) c RunningTime_0 : 73.602710
596.60/78.45	c (75,0) c RunningTime_1 : 74.677988
596.60/78.45	c (75,0) c RunningTime_2 : 73.344552
596.60/78.45	c (75,0) c RunningTime_3 : 73.466972
596.60/78.45	c (75,0) c RunningTime_4 : 73.593404
596.60/78.45	c (75,0) c RunningTime_5 : 74.042717
596.60/78.45	c (75,0) c RunningTime_6 : 74.320462
596.60/78.45	c (75,0) c RunningTime_7 : 72.375157
596.60/78.45	c (75,0) c RunningTime_total : 589.423962
596.60/78.45	c (75,0) c RunningTime_winner : 74.677988
596.60/78.45	c (75,0) c WaitingTime_0 : 0.070682
596.60/78.45	c (75,0) c WaitingTime_1 : 0.001085
596.60/78.45	c (75,0) c WaitingTime_2 : 0.212958
596.60/78.45	c (75,0) c WaitingTime_3 : 0.064508
596.60/78.45	c (75,0) c WaitingTime_4 : 0.319658
596.60/78.45	c (75,0) c WaitingTime_5 : 0.114396
596.60/78.45	c (75,0) c WaitingTime_6 : 0.063499
596.60/78.45	c (75,0) c WaitingTime_7 : 1.216951
596.60/78.45	c (75,0) c WaitingTime_total : 2.063737
596.60/78.45	c (75,0) c WaitingTime_winner : 0.001085
596.60/78.45	c (75,0) c ExchangingTime_0 : 0.089044
596.60/78.45	c (75,0) c ExchangingTime_1 : 0.104517
596.60/78.45	c (75,0) c ExchangingTime_2 : 0.094319
596.60/78.45	c (75,0) c ExchangingTime_3 : 0.095690
596.60/78.45	c (75,0) c ExchangingTime_4 : 0.095757
596.60/78.45	c (75,0) c ExchangingTime_5 : 0.098672
596.60/78.45	c (75,0) c ExchangingTime_6 : 0.096428
596.60/78.45	c (75,0) c ExchangingTime_7 : 0.102390
596.60/78.45	c (75,0) c ExchangingTime_total : 0.776816
596.60/78.45	c (75,0) c ExchangingTime_winner : 0.104517
596.60/78.45	c (75,0) c PeriodProcTime_0 : 0.006437
596.60/78.45	c (75,0) c PeriodProcTime_1 : 0.007630
596.60/78.45	c (75,0) c PeriodProcTime_2 : 0.007569
596.60/78.45	c (75,0) c PeriodProcTime_3 : 0.006005
596.60/78.45	c (75,0) c PeriodProcTime_4 : 0.005895
596.60/78.45	c (75,0) c PeriodProcTime_5 : 0.006504
596.60/78.45	c (75,0) c PeriodProcTime_6 : 0.006146
596.60/78.45	c (75,0) c PeriodProcTime_7 : 0.006513
596.60/78.45	c (75,0) c PeriodProcTime_total : 0.052700
596.60/78.45	c (75,0) c PeriodProcTime_winner : 0.007630
596.60/78.45	c (75,0) c SolvingTime_0 : 73.768872
596.60/78.45	c (75,0) c SolvingTime_1 : 74.791220
596.60/78.45	c (75,0) c SolvingTime_2 : 73.659398
596.60/78.45	c (75,0) c SolvingTime_3 : 73.633175
596.60/78.45	c (75,0) c SolvingTime_4 : 74.014714
596.60/78.45	c (75,0) c SolvingTime_5 : 74.262289
596.60/78.45	c (75,0) c SolvingTime_6 : 74.486536
596.60/78.45	c (75,0) c SolvingTime_7 : 73.701011
596.60/78.45	c (75,0) c SolvingTime_total : 592.317214
596.60/78.45	c (75,0) c SolvingTime_winner : 74.791220
596.60/78.45	c (75,0) c PropagationTime_0 : 66.627443
596.60/78.45	c (75,0) c PropagationTime_1 : 67.311400
596.60/78.45	c (75,0) c PropagationTime_2 : 66.015889
596.60/78.45	c (75,0) c PropagationTime_3 : 66.285562
596.60/78.45	c (75,0) c PropagationTime_4 : 66.782189
596.60/78.45	c (75,0) c PropagationTime_5 : 66.599041
596.60/78.45	c (75,0) c PropagationTime_6 : 64.742369
596.60/78.45	c (75,0) c PropagationTime_7 : 66.484709
596.60/78.45	c (75,0) c PropagationTime_total : 530.848601
596.60/78.45	c (75,0) c PropagationTime_winner : 67.311400
596.60/78.45	c (75,0) c AnalysisTime_0 : 5.538555
596.60/78.45	c (75,0) c AnalysisTime_1 : 5.814116
596.60/78.45	c (75,0) c AnalysisTime_2 : 5.981587
596.60/78.45	c (75,0) c AnalysisTime_3 : 5.733302
596.60/78.45	c (75,0) c AnalysisTime_4 : 5.626637
596.60/78.45	c (75,0) c AnalysisTime_5 : 6.014480
596.60/78.45	c (75,0) c AnalysisTime_6 : 8.147893
596.60/78.45	c (75,0) c AnalysisTime_7 : 5.594171
596.60/78.45	c (75,0) c AnalysisTime_total : 48.450740
596.60/78.45	c (75,0) c AnalysisTime_winner : 5.814116
596.60/78.45	c (75,0) c ReductionTime_0 : 0.379922
596.60/78.45	c (75,0) c ReductionTime_1 : 0.378984
596.60/78.45	c (75,0) c ReductionTime_2 : 0.366415
596.60/78.45	c (75,0) c ReductionTime_3 : 0.369904
596.60/78.45	c (75,0) c ReductionTime_4 : 0.360119
596.60/78.45	c (75,0) c ReductionTime_5 : 0.377138
596.60/78.45	c (75,0) c ReductionTime_6 : 0.370584
596.60/78.45	c (75,0) c ReductionTime_7 : 0.373451
596.60/78.45	c (75,0) c ReductionTime_total : 2.976518
596.60/78.45	c (75,0) c ReductionTime_winner : 0.378984
596.60/78.45	c (75,0) c SimplifyTime_0 : 0.064603
596.60/78.45	c (75,0) c SimplifyTime_1 : 0.075762
596.60/78.45	c (75,0) c SimplifyTime_2 : 0.074965
596.60/78.45	c (75,0) c SimplifyTime_3 : 0.059536
596.60/78.45	c (75,0) c SimplifyTime_4 : 0.058078
596.60/78.45	c (75,0) c SimplifyTime_5 : 0.067194
596.60/78.45	c (75,0) c SimplifyTime_6 : 0.063225
596.60/78.45	c (75,0) c SimplifyTime_7 : 0.058888
596.60/78.45	c (75,0) c SimplifyTime_total : 0.522250
596.60/78.45	c (75,0) c SimplifyTime_winner : 0.075762
596.60/78.45	c (75,0) c UsedRateTime_0 : 0.000000
596.60/78.45	c (75,0) c UsedRateTime_1 : 0.000000
596.60/78.45	c (75,0) c UsedRateTime_2 : 0.000000
596.60/78.45	c (75,0) c UsedRateTime_3 : 0.000000
596.60/78.45	c (75,0) c UsedRateTime_4 : 0.000000
596.60/78.45	c (75,0) c UsedRateTime_5 : 0.000000
596.60/78.45	c (75,0) c UsedRateTime_6 : 0.000000
596.60/78.45	c (75,0) c UsedRateTime_7 : 0.000000
596.60/78.45	c (75,0) c UsedRateTime_total : 0.000000
596.60/78.45	c (75,0) c UsedRateTime_winner : 0.000000
596.60/78.45	c (75,0) c OverlapRateTime_0 : 0.000000
596.60/78.45	c (75,0) c OverlapRateTime_1 : 0.000000
596.60/78.45	c (75,0) c OverlapRateTime_2 : 0.000000
596.60/78.45	c (75,0) c OverlapRateTime_3 : 0.000000
596.60/78.45	c (75,0) c OverlapRateTime_4 : 0.000000
596.60/78.45	c (75,0) c OverlapRateTime_5 : 0.000000
596.60/78.45	c (75,0) c OverlapRateTime_6 : 0.000000
596.60/78.45	c (75,0) c OverlapRateTime_7 : 0.000000
596.60/78.45	c (75,0) c OverlapRateTime_total : 0.000000
596.60/78.45	c (75,0) c OverlapRateTime_winner : 0.000000
596.60/78.45	c (75,0) c
596.60/78.45	c (75,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
596.60/78.45	c (75,0) c
596.60/78.45	c (75,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
596.60/78.45	c (75,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
596.60/78.45	c (75,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
596.60/78.45	c (75,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
596.60/78.45	c (75,0) c | adaptStrategeis       |      False |      False |      False |      False |      False |      False |      False |      False |
596.60/78.45	c (75,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
596.60/78.45	c (75,0) c | Initial random_seed   | 1036712458 |  110153939 | 1772472420 |  970273036 | 1012328778 | 1341092756 | 2004889392 | 1856375893 |
596.60/78.45	c (75,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
596.60/78.45	c (75,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
596.60/78.45	c (75,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
596.60/78.45	c (75,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
596.60/78.45	c (75,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
596.60/78.45	c (75,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
596.60/78.45	c (75,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
596.60/78.45	c (75,0) c | var_decay             |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
596.60/78.45	c (75,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
596.60/78.45	c (75,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
596.60/78.45	c (75,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
596.60/78.45	c (75,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
596.60/78.45	c (75,0) 
596.60/78.45	c (75,0) s UNSATISFIABLE
596.60/78.46	c (75,0) SatSolver.solve End
596.60/78.46	c (75,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
596.60/78.46	c (75,0) Show results Begin
596.60/78.46	s UNSATISFIABLE
596.60/78.46	c (75,0) Show results End
596.60/78.46	c (75,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
596.60/78.46	c (75,0) 75,75,STOP-AFTER(ALL)
596.60/78.46	c END-Prog: Mon Sep 23 14:39:24 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 (13820 MiB free)
  memory of node 1: 16384 MiB (11344 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4405553-1569242326/watcher-4405553-1569242326 -o /tmp/evaluation-result-4405553-1569242326/solver-4405553-1569242326 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node127-1569238588-5599 --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-4405553-1569242326.xml 

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

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


[startup+0.103486 s]*
/proc/loadavg: 1.67 1.63 3.00 2/211 6177
/proc/meminfo: memFree=25676284/32770624 swapFree=66959684/67108860
[pid=6155] ppid=6152 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/6155/stat : 6155 (scop.sh) S 6152 6155 5572 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 500501388 115843072 349 33554432000 4194304 5098028 140733511411328 140733511408584 140418362524284 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 21532672 140733511418660 140733511418988 140733511418988 140733511421901 0
/proc/6155/statm: 28282 349 296 221 0 87 0
[pid=6158] ppid=6155 vsize=27314120 memory=108156 CPUtime=0.11 cores=0-7
/proc/6158/stat : 6158 (java) S 6155 6155 5572 0 -1 1077944320 6598 0 0 0 8 3 0 0 20 0 20 0 500501389 27969658880 27039 33554432000 4194304 4196468 140733145486784 140733145469328 140316145401591 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 32460800 140733145490155 140733145490582 140733145490582 140733145493455 0
/proc/6158/statm: 6828530 27039 2816 1 0 6790935 0
[pid=6158/tid=6159] ppid=6155 vsize=27314120 memory=1398722017469774279 CPUtime=0.09 cores=0-7
/proc/6158/task/6159/stat : 6159 (java) R 6155 6155 5572 0 -1 4202560 4681 0 0 0 7 2 0 0 20 0 20 0 500501389 27969658880 27105 33554432000 4194304 4196468 140733145486784 140316117205792 140316129482078 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32460800 140733145490155 140733145490582 140733145490582 140733145493455 0
[pid=6158/tid=6160] ppid=6155 vsize=27314120 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/6158/task/6160/stat : 6160 (java) S 6155 6155 5572 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500501391 27969658880 27105 33554432000 4194304 4196468 140733145486784 140316149643664 140316145411797 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32460800 140733145490155 140733145490582 140733145490582 140733145493455 0
[pid=6158/tid=6161] ppid=6155 vsize=27314120 memory=140232343328384 CPUtime=0 cores=0-7
/proc/6158/task/6161/stat : 6161 (java) S 6155 6155 5572 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500501391 27969658880 27105 33554432000 4194304 4196468 140733145486784 140315978737936 140316145411797 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32460800 140733145490155 140733145490582 140733145490582 140733145493455 0
[pid=6158/tid=6162] ppid=6155 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6158/task/6162/stat : 6162 (java) S 6155 6155 5572 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500501391 27969658880 27105 33554432000 4194304 4196468 140733145486784 140315566967440 140316145411797 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32460800 140733145490155 140733145490582 140733145490582 140733145493455 0
[pid=6158/tid=6163] ppid=6155 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6158/task/6163/stat : 6163 (java) S 6155 6155 5572 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500501391 27969658880 27105 33554432000 4194304 4196468 140733145486784 140315565914640 140316145411797 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32460800 140733145490155 140733145490582 140733145490582 140733145493455 0
[pid=6158/tid=6164] ppid=6155 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6158/task/6164/stat : 6164 (java) S 6155 6155 5572 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500501391 27969658880 27105 33554432000 4194304 4196468 140733145486784 140315564862352 140316145411797 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32460800 140733145490155 140733145490582 140733145490582 140733145493455 0
[pid=6158/tid=6165] ppid=6155 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/6158/task/6165/stat : 6165 (java) S 6155 6155 5572 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500501391 27969658880 27170 33554432000 4194304 4196468 140733145486784 140315563809552 140316145411797 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32460800 140733145490155 140733145490582 140733145490582 140733145493455 0
[pid=6158/tid=6166] ppid=6155 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6158/task/6166/stat : 6166 (java) S 6155 6155 5572 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500501391 27969658880 27170 33554432000 4194304 4196468 140733145486784 140315562757264 140316145411797 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32460800 140733145490155 140733145490582 140733145490582 140733145493455 0
[pid=6158/tid=6167] ppid=6155 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6158/task/6167/stat : 6167 (java) S 6155 6155 5572 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500501391 27969658880 27170 33554432000 4194304 4196468 140733145486784 140315561704464 140316145411797 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32460800 140733145490155 140733145490582 140733145490582 140733145493455 0
[pid=6158/tid=6168] ppid=6155 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6158/task/6168/stat : 6168 (java) S 6155 6155 5572 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500501393 27969658880 27170 33554432000 4194304 4196468 140733145486784 140314264201328 140316145412738 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32460800 140733145490155 140733145490582 140733145490582 140733145493455 0
[pid=6158/tid=6169] ppid=6155 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6158/task/6169/stat : 6169 (java) S 6155 6155 5572 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 500501393 27969658880 27170 33554432000 4194304 4196468 140733145486784 140314098524960 140316145411797 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32460800 140733145490155 140733145490582 140733145490582 140733145493455 0
[pid=6158/tid=6170] ppid=6155 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6158/task/6170/stat : 6170 (java) S 6155 6155 5572 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500501394 27969658880 27170 33554432000 4194304 4196468 140733145486784 140313830089840 140316145411797 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32460800 140733145490155 140733145490582 140733145490582 140733145493455 0
[pid=6158/tid=6171] ppid=6155 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6158/task/6171/stat : 6171 (java) S 6155 6155 5572 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500501396 27969658880 27170 33554432000 4194304 4196468 140733145486784 140313455581264 140316145420187 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32460800 140733145490155 140733145490582 140733145490582 140733145493455 0
[pid=6158/tid=6172] ppid=6155 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6158/task/6172/stat : 6172 (java) S 6155 6155 5572 0 -1 1077944384 290 0 0 0 0 0 0 0 20 0 20 0 500501396 27969658880 27170 33554432000 4194304 4196468 140733145486784 140314263149168 140316145412738 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32460800 140733145490155 140733145490582 140733145490582 140733145493455 0
[pid=6158/tid=6173] ppid=6155 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6158/task/6173/stat : 6173 (java) S 6155 6155 5572 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500501396 27969658880 27170 33554432000 4194304 4196468 140733145486784 140314262096368 140316145412738 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32460800 140733145490155 140733145490582 140733145490582 140733145493455 0
[pid=6158/tid=6174] ppid=6155 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6158/task/6174/stat : 6174 (java) S 6155 6155 5572 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500501396 27969658880 27170 33554432000 4194304 4196468 140733145486784 140314261044080 140316145412738 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32460800 140733145490155 140733145490582 140733145490582 140733145493455 0
[pid=6158/tid=6175] ppid=6155 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6158/task/6175/stat : 6175 (java) S 6155 6155 5572 0 -1 1077944384 344 0 0 0 0 0 0 0 20 0 20 0 500501396 27969658880 27170 33554432000 4194304 4196468 140733145486784 140314259991280 140316145412738 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32460800 140733145490155 140733145490582 140733145490582 140733145493455 0
[pid=6158/tid=6176] ppid=6155 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6158/task/6176/stat : 6176 (java) S 6155 6155 5572 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500501396 27969658880 27170 33554432000 4194304 4196468 140733145486784 140312957675872 140316145411797 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32460800 140733145490155 140733145490582 140733145490582 140733145493455 0
[pid=6158/tid=6177] ppid=6155 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/6158/task/6177/stat : 6177 (java) S 6155 6155 5572 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500501397 27969658880 27170 33554432000 4194304 4196468 140733145486784 140314258938160 140316145412738 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32460800 140733145490155 140733145490582 140733145490582 140733145493455 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 109552 KiB

[startup+0.210515 s]*
/proc/loadavg: 1.67 1.63 3.00 2/211 6177
/proc/meminfo: memFree=25654472/32770624 swapFree=66959684/67108860
[pid=6155] ppid=6152 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/6155/stat : 6155 (scop.sh) S 6152 6155 5572 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 500501388 115843072 349 33554432000 4194304 5098028 140733511411328 140733511408584 140418362524284 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 21532672 140733511418660 140733511418988 140733511418988 140733511421901 0
/proc/6155/statm: 28282 349 296 221 0 87 0
[pid=6158] ppid=6155 vsize=27314120 memory=125320 CPUtime=0.24 cores=0-7
/proc/6158/stat : 6158 (java) S 6155 6155 5572 0 -1 1077944320 12205 0 0 0 20 4 0 0 20 0 20 0 500501389 27969658880 31330 33554432000 4194304 4196468 140733145486784 140733145469328 140316145401591 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 32460800 140733145490155 140733145490582 140733145490582 140733145493455 0
/proc/6158/statm: 6828530 31330 2952 1 0 6790935 0
[pid=6158/tid=6159] ppid=6155 vsize=27314120 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/6158/task/6159/stat : 6159 (java) R 6155 6155 5572 0 -1 4202560 9898 0 0 0 16 3 0 0 20 0 20 0 500501389 27969658880 31330 33554432000 4194304 4196468 140733145486784 140316117222512 140316126775360 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32460800 140733145490155 140733145490582 140733145490582 140733145493455 0
[pid=6158/tid=6160] ppid=6155 vsize=27314120 memory=342 CPUtime=0 cores=0-7
/proc/6158/task/6160/stat : 6160 (java) S 6155 6155 5572 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500501391 27969658880 31330 33554432000 4194304 4196468 140733145486784 140316149643664 140316145411797 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32460800 140733145490155 140733145490582 140733145490582 140733145493455 0
[pid=6158/tid=6161] ppid=6155 vsize=27314120 memory=140232343338963 CPUtime=0 cores=0-7
/proc/6158/task/6161/stat : 6161 (java) S 6155 6155 5572 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500501391 27969658880 31330 33554432000 4194304 4196468 140733145486784 140315978737936 140316145411797 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32460800 140733145490155 140733145490582 140733145490582 140733145493455 0
[pid=6158/tid=6162] ppid=6155 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/6158/task/6162/stat : 6162 (java) S 6155 6155 5572 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500501391 27969658880 31330 33554432000 4194304 4196468 140733145486784 140315566967440 140316145411797 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32460800 140733145490155 140733145490582 140733145490582 140733145493455 0
[pid=6158/tid=6163] ppid=6155 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6158/task/6163/stat : 6163 (java) S 6155 6155 5572 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500501391 27969658880 31330 33554432000 4194304 4196468 140733145486784 140315565914640 140316145411797 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32460800 140733145490155 140733145490582 140733145490582 140733145493455 0
[pid=6158/tid=6164] ppid=6155 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6158/task/6164/stat : 6164 (java) S 6155 6155 5572 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500501391 27969658880 31330 33554432000 4194304 4196468 140733145486784 140315564862352 140316145411797 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32460800 140733145490155 140733145490582 140733145490582 140733145493455 0
[pid=6158/tid=6165] ppid=6155 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/6158/task/6165/stat : 6165 (java) S 6155 6155 5572 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500501391 27969658880 31330 33554432000 4194304 4196468 140733145486784 140315563809552 140316145411797 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32460800 140733145490155 140733145490582 140733145490582 140733145493455 0
[pid=6158/tid=6166] ppid=6155 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6158/task/6166/stat : 6166 (java) S 6155 6155 5572 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500501391 27969658880 31330 33554432000 4194304 4196468 140733145486784 140315562757264 140316145411797 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32460800 140733145490155 140733145490582 140733145490582 140733145493455 0
[pid=6158/tid=6167] ppid=6155 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6158/task/6167/stat : 6167 (java) S 6155 6155 5572 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500501391 27969658880 31330 33554432000 4194304 4196468 140733145486784 140315561704464 140316145411797 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32460800 140733145490155 140733145490582 140733145490582 140733145493455 0
[pid=6158/tid=6168] ppid=6155 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6158/task/6168/stat : 6168 (java) S 6155 6155 5572 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500501393 27969658880 31330 33554432000 4194304 4196468 140733145486784 140314264201328 140316145412738 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32460800 140733145490155 140733145490582 140733145490582 140733145493455 0
[pid=6158/tid=6169] ppid=6155 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6158/task/6169/stat : 6169 (java) S 6155 6155 5572 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 500501393 27969658880 31330 33554432000 4194304 4196468 140733145486784 140314098524960 140316145411797 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32460800 140733145490155 140733145490582 140733145490582 140733145493455 0
[pid=6158/tid=6170] ppid=6155 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6158/task/6170/stat : 6170 (java) S 6155 6155 5572 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500501394 27969658880 31330 33554432000 4194304 4196468 140733145486784 140313830089840 140316145411797 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32460800 140733145490155 140733145490582 140733145490582 140733145493455 0
[pid=6158/tid=6171] ppid=6155 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6158/task/6171/stat : 6171 (java) S 6155 6155 5572 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500501396 27969658880 31330 33554432000 4194304 4196468 140733145486784 140313455581264 140316145420187 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32460800 140733145490155 140733145490582 140733145490582 140733145493455 0
[pid=6158/tid=6172] ppid=6155 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6158/task/6172/stat : 6172 (java) S 6155 6155 5572 0 -1 1077944384 327 0 0 0 0 0 0 0 20 0 20 0 500501396 27969658880 31330 33554432000 4194304 4196468 140733145486784 140314263149168 140316145412738 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32460800 140733145490155 140733145490582 140733145490582 140733145493455 0
[pid=6158/tid=6173] ppid=6155 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6158/task/6173/stat : 6173 (java) S 6155 6155 5572 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500501396 27969658880 31330 33554432000 4194304 4196468 140733145486784 140314262096368 140316145412738 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32460800 140733145490155 140733145490582 140733145490582 140733145493455 0
[pid=6158/tid=6174] ppid=6155 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/6158/task/6174/stat : 6174 (java) S 6155 6155 5572 0 -1 1077944384 137 0 0 0 0 0 0 0 20 0 20 0 500501396 27969658880 31330 33554432000 4194304 4196468 140733145486784 140314261044080 140316145412738 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32460800 140733145490155 140733145490582 140733145490582 140733145493455 0
[pid=6158/tid=6175] ppid=6155 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7
/proc/6158/task/6175/stat : 6175 (java) S 6155 6155 5572 0 -1 1077944384 502 0 0 0 2 0 0 0 20 0 20 0 500501396 27969658880 31330 33554432000 4194304 4196468 140733145486784 140314259991280 140316145412738 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32460800 140733145490155 140733145490582 140733145490582 140733145493455 0
[pid=6158/tid=6176] ppid=6155 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6158/task/6176/stat : 6176 (java) S 6155 6155 5572 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500501396 27969658880 31330 33554432000 4194304 4196468 140733145486784 140312957675872 140316145411797 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32460800 140733145490155 140733145490582 140733145490582 140733145493455 0
[pid=6158/tid=6177] ppid=6155 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/6158/task/6177/stat : 6177 (java) S 6155 6155 5572 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500501397 27969658880 31330 33554432000 4194304 4196468 140733145486784 140314258938160 140316145412738 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32460800 140733145490155 140733145490582 140733145490582 140733145493455 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 126716 KiB

[startup+0.310347 s]*
/proc/loadavg: 1.67 1.63 3.00 2/211 6177
/proc/meminfo: memFree=25651804/32770624 swapFree=66959684/67108860
[pid=6155] ppid=6152 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/6155/stat : 6155 (scop.sh) S 6152 6155 5572 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 500501388 115843072 349 33554432000 4194304 5098028 140733511411328 140733511408584 140418362524284 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 21532672 140733511418660 140733511418988 140733511418988 140733511421901 0
/proc/6155/statm: 28282 349 296 221 0 87 0
[pid=6158] ppid=6155 vsize=27314120 memory=129496 CPUtime=0.43 cores=0-7
/proc/6158/stat : 6158 (java) S 6155 6155 5572 0 -1 1077944320 12659 0 0 0 38 5 0 0 20 0 20 0 500501389 27969658880 32374 33554432000 4194304 4196468 140733145486784 140733145469328 140316145401591 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 32460800 140733145490155 140733145490582 140733145490582 140733145493455 0
/proc/6158/statm: 6828530 32374 3082 1 0 6790935 0
[pid=6158/tid=6159] ppid=6155 vsize=27314120 memory=1398722017469774279 CPUtime=0.29 cores=0-7
/proc/6158/task/6159/stat : 6159 (java) R 6155 6155 5572 0 -1 4202560 10093 0 0 0 26 3 0 0 20 0 20 0 500501389 27969658880 32374 33554432000 4194304 4196468 140733145486784 140316117227488 140316128588400 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32460800 140733145490155 140733145490582 140733145490582 140733145493455 0
[pid=6158/tid=6160] ppid=6155 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6158/task/6160/stat : 6160 (java) S 6155 6155 5572 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500501391 27969658880 32374 33554432000 4194304 4196468 140733145486784 140316149643664 140316145411797 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32460800 140733145490155 140733145490582 140733145490582 140733145493455 0
[pid=6158/tid=6161] ppid=6155 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6158/task/6161/stat : 6161 (java) S 6155 6155 5572 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500501391 27969658880 32374 33554432000 4194304 4196468 140733145486784 140315978737936 140316145411797 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32460800 140733145490155 140733145490582 140733145490582 140733145493455 0
[pid=6158/tid=6162] ppid=6155 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6158/task/6162/stat : 6162 (java) S 6155 6155 5572 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500501391 27969658880 32374 33554432000 4194304 4196468 140733145486784 140315566967440 140316145411797 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32460800 140733145490155 140733145490582 140733145490582 140733145493455 0
[pid=6158/tid=6163] ppid=6155 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6158/task/6163/stat : 6163 (java) S 6155 6155 5572 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500501391 27969658880 32374 33554432000 4194304 4196468 140733145486784 140315565914640 140316145411797 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32460800 140733145490155 140733145490582 140733145490582 140733145493455 0
[pid=6158/tid=6164] ppid=6155 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6158/task/6164/stat : 6164 (java) S 6155 6155 5572 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500501391 27969658880 32374 33554432000 4194304 4196468 140733145486784 140315564862352 140316145411797 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32460800 140733145490155 140733145490582 140733145490582 140733145493455 0
[pid=6158/tid=6165] ppid=6155 vsize=27314120 memory=140232225811119 CPUtime=0 cores=0-7
/proc/6158/task/6165/stat : 6165 (java) S 6155 6155 5572 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500501391 27969658880 32374 33554432000 4194304 4196468 140733145486784 140315563809552 140316145411797 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32460800 140733145490155 140733145490582 140733145490582 140733145493455 0
[pid=6158/tid=6166] ppid=6155 vsize=27314120 memory=140232225813424 CPUtime=0 cores=0-7
/proc/6158/task/6166/stat : 6166 (java) S 6155 6155 5572 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500501391 27969658880 32374 33554432000 4194304 4196468 140733145486784 140315562757264 140316145411797 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32460800 140733145490155 140733145490582 140733145490582 140733145493455 0
[pid=6158/tid=6167] ppid=6155 vsize=27314120 memory=140232225815728 CPUtime=0 cores=0-7
/proc/6158/task/6167/stat : 6167 (java) S 6155 6155 5572 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500501391 27969658880 32374 33554432000 4194304 4196468 140733145486784 140315561704464 140316145411797 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32460800 140733145490155 140733145490582 140733145490582 140733145493455 0
[pid=6158/tid=6168] ppid=6155 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6158/task/6168/stat : 6168 (java) S 6155 6155 5572 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500501393 27969658880 32374 33554432000 4194304 4196468 140733145486784 140314264201328 140316145412738 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32460800 140733145490155 140733145490582 140733145490582 140733145493455 0
[pid=6158/tid=6169] ppid=6155 vsize=27314120 memory=280464451645328 CPUtime=0 cores=0-7
/proc/6158/task/6169/stat : 6169 (java) S 6155 6155 5572 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 500501393 27969658880 32374 33554432000 4194304 4196468 140733145486784 140314098524960 140316145411797 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32460800 140733145490155 140733145490582 140733145490582 140733145493455 0
[pid=6158/tid=6170] ppid=6155 vsize=27314120 memory=280464451643024 CPUtime=0 cores=0-7
/proc/6158/task/6170/stat : 6170 (java) S 6155 6155 5572 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500501394 27969658880 32374 33554432000 4194304 4196468 140733145486784 140313830089840 140316145411797 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32460800 140733145490155 140733145490582 140733145490582 140733145493455 0
[pid=6158/tid=6171] ppid=6155 vsize=27314120 memory=280464451649936 CPUtime=0 cores=0-7
/proc/6158/task/6171/stat : 6171 (java) S 6155 6155 5572 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500501396 27969658880 32374 33554432000 4194304 4196468 140733145486784 140313455581264 140316145420187 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32460800 140733145490155 140733145490582 140733145490582 140733145493455 0
[pid=6158/tid=6172] ppid=6155 vsize=27314120 memory=280464451591216 CPUtime=0.01 cores=0-7
/proc/6158/task/6172/stat : 6172 (java) R 6155 6155 5572 0 -1 4202560 350 0 0 0 1 0 0 0 20 0 20 0 500501396 27969658880 32374 33554432000 4194304 4196468 140733145486784 140314263149168 140316130527772 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32460800 140733145490155 140733145490582 140733145490582 140733145493455 0
[pid=6158/tid=6173] ppid=6155 vsize=27314120 memory=280464451663760 CPUtime=0 cores=0-7
/proc/6158/task/6173/stat : 6173 (java) S 6155 6155 5572 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 20 0 500501396 27969658880 32374 33554432000 4194304 4196468 140733145486784 140314262096368 140316145412738 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32460800 140733145490155 140733145490582 140733145490582 140733145493455 0
[pid=6158/tid=6174] ppid=6155 vsize=27314120 memory=280464451670672 CPUtime=0.02 cores=0-7
/proc/6158/task/6174/stat : 6174 (java) S 6155 6155 5572 0 -1 1077944384 268 0 0 0 2 0 0 0 20 0 20 0 500501396 27969658880 32374 33554432000 4194304 4196468 140733145486784 140314261044080 140316145412738 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32460800 140733145490155 140733145490582 140733145490582 140733145493455 0
[pid=6158/tid=6175] ppid=6155 vsize=27314120 memory=280464451668368 CPUtime=0.07 cores=0-7
/proc/6158/task/6175/stat : 6175 (java) S 6155 6155 5572 0 -1 1077944384 600 0 0 0 7 0 0 0 20 0 20 0 500501396 27969658880 32374 33554432000 4194304 4196468 140733145486784 140314259991280 140316145412738 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32460800 140733145490155 140733145490582 140733145490582 140733145493455 0
[pid=6158/tid=6176] ppid=6155 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6158/task/6176/stat : 6176 (java) S 6155 6155 5572 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500501396 27969658880 32374 33554432000 4194304 4196468 140733145486784 140312957675872 140316145411797 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32460800 140733145490155 140733145490582 140733145490582 140733145493455 0
[pid=6158/tid=6177] ppid=6155 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/6158/task/6177/stat : 6177 (java) S 6155 6155 5572 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500501397 27969658880 32374 33554432000 4194304 4196468 140733145486784 140314258938160 140316145412738 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32460800 140733145490155 140733145490582 140733145490582 140733145493455 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 130892 KiB

[startup+0.701924 s]
/proc/loadavg: 1.67 1.63 3.00 2/211 6177
/proc/meminfo: memFree=25629968/32770624 swapFree=66959684/67108860
[pid=6155] ppid=6152 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/6155/stat : 6155 (scop.sh) S 6152 6155 5572 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 500501388 115843072 349 33554432000 4194304 5098028 140733511411328 140733511408584 140418362524284 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 21532672 140733511418660 140733511418988 140733511418988 140733511421901 0
/proc/6155/statm: 28282 349 296 221 0 87 0
[pid=6158] ppid=6155 vsize=27322516 memory=164488 CPUtime=0.97 cores=0-7
/proc/6158/stat : 6158 (java) S 6155 6155 5572 0 -1 1077944320 20235 0 0 0 90 7 0 0 20 0 20 0 500501389 27978256384 41122 33554432000 4194304 4196468 140733145486784 140733145469328 140316145401591 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 32460800 140733145490155 140733145490582 140733145490582 140733145493455 0
/proc/6158/statm: 6830629 41122 3199 1 0 6791959 0
[pid=6158/tid=6159] ppid=6155 vsize=27322516 memory=0 CPUtime=0.67 cores=0-7
/proc/6158/task/6159/stat : 6159 (java) R 6155 6155 5572 0 -1 4202560 17176 0 0 0 62 5 0 0 20 0 20 0 500501389 27978256384 41122 33554432000 4194304 4196468 140733145486784 140316117232056 140316145423517 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32460800 140733145490155 140733145490582 140733145490582 140733145493455 0
[pid=6158/tid=6160] ppid=6155 vsize=27322516 memory=140232226022256 CPUtime=0 cores=0-7
/proc/6158/task/6160/stat : 6160 (java) S 6155 6155 5572 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500501391 27978256384 41122 33554432000 4194304 4196468 140733145486784 140316149643664 140316145411797 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32460800 140733145490155 140733145490582 140733145490582 140733145493455 0
[pid=6158/tid=6161] ppid=6155 vsize=27322516 memory=0 CPUtime=0 cores=0-7
/proc/6158/task/6161/stat : 6161 (java) S 6155 6155 5572 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500501391 27978256384 41122 33554432000 4194304 4196468 140733145486784 140315978737936 140316145411797 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32460800 140733145490155 140733145490582 140733145490582 140733145493455 0
[pid=6158/tid=6162] ppid=6155 vsize=27322516 memory=1016 CPUtime=0 cores=0-7
/proc/6158/task/6162/stat : 6162 (java) S 6155 6155 5572 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500501391 27978256384 41122 33554432000 4194304 4196468 140733145486784 140315566967440 140316145411797 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32460800 140733145490155 140733145490582 140733145490582 140733145493455 0

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

[pid=6178/tid=6189] ppid=6155 vsize=8414124 memory=9592 CPUtime=0 cores=0-7
/proc/6178/task/6189/stat : 6189 (java) S 6155 6155 5572 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 500501678 8616062976 30087 33554432000 4194304 4196468 140727036139216 140315642029344 140316983273173 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19439616 140727036142584 140727036142742 140727036142742 140727036145615 0
[pid=6178/tid=6190] ppid=6155 vsize=8414124 memory=2828 CPUtime=0 cores=0-7
/proc/6178/task/6190/stat : 6190 (java) S 6155 6155 5572 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500501678 8616062976 30087 33554432000 4194304 4196468 140727036139216 140315373594224 140316983273173 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19439616 140727036142584 140727036142742 140727036142742 140727036145615 0
[pid=6178/tid=6191] ppid=6155 vsize=8414124 memory=780 CPUtime=0 cores=0-7
/proc/6178/task/6191/stat : 6191 (java) S 6155 6155 5572 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500501680 8616062976 30087 33554432000 4194304 4196468 140727036139216 140314999085648 140316983281563 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19439616 140727036142584 140727036142742 140727036142742 140727036145615 0
[pid=6178/tid=6192] ppid=6155 vsize=8414124 memory=620 CPUtime=0.05 cores=0-7
/proc/6178/task/6192/stat : 6192 (java) S 6155 6155 5572 0 -1 1077944384 565 0 0 0 5 0 0 0 20 0 24 0 500501680 8616062976 30087 33554432000 4194304 4196468 140727036139216 140315807193200 140316983274114 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19439616 140727036142584 140727036142742 140727036142742 140727036145615 0
[pid=6178/tid=6193] ppid=6155 vsize=8414124 memory=1496 CPUtime=0.07 cores=0-7
/proc/6178/task/6193/stat : 6193 (java) S 6155 6155 5572 0 -1 1077944384 289 0 0 0 7 0 0 0 20 0 24 0 500501680 8616062976 30087 33554432000 4194304 4196468 140727036139216 140315806140400 140316983274114 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19439616 140727036142584 140727036142742 140727036142742 140727036145615 0
[pid=6178/tid=6194] ppid=6155 vsize=8414124 memory=1016 CPUtime=0.03 cores=0-7
/proc/6178/task/6194/stat : 6194 (java) S 6155 6155 5572 0 -1 1077944384 219 0 0 0 3 0 0 0 20 0 24 0 500501680 8616062976 30087 33554432000 4194304 4196468 140727036139216 140315805088112 140316983274114 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19439616 140727036142584 140727036142742 140727036142742 140727036145615 0
[pid=6178/tid=6195] ppid=6155 vsize=8414124 memory=6064 CPUtime=0.18 cores=0-7
/proc/6178/task/6195/stat : 6195 (java) S 6155 6155 5572 0 -1 1077944384 695 0 0 0 18 0 0 0 20 0 24 0 500501680 8616062976 30087 33554432000 4194304 4196468 140727036139216 140315804035312 140316983274114 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19439616 140727036142584 140727036142742 140727036142742 140727036145615 0
[pid=6178/tid=6196] ppid=6155 vsize=8414124 memory=14012 CPUtime=0 cores=0-7
/proc/6178/task/6196/stat : 6196 (java) S 6155 6155 5572 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 500501681 8616062976 30087 33554432000 4194304 4196468 140727036139216 140314501180256 140316983273173 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19439616 140727036142584 140727036142742 140727036142742 140727036145615 0
[pid=6178/tid=6197] ppid=6155 vsize=8414124 memory=2116 CPUtime=0.03 cores=0-7
/proc/6178/task/6197/stat : 6197 (java) S 6155 6155 5572 0 -1 1077944384 7 0 0 0 1 2 0 0 20 0 24 0 500501681 8616062976 30087 33554432000 4194304 4196468 140727036139216 140315802983216 140316983274114 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19439616 140727036142584 140727036142742 140727036142742 140727036145615 0
[pid=6178/tid=6199] ppid=6155 vsize=8414124 memory=34112 CPUtime=0 cores=0-7
/proc/6178/task/6199/stat : 6199 (java) S 6155 6155 5572 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 500501745 8616062976 30087 33554432000 4194304 4196468 140727036139216 140315794949952 140316983287577 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 19439616 140727036142584 140727036142742 140727036142742 140727036145615 0
[pid=6178/tid=6201] ppid=6155 vsize=8414124 memory=14068 CPUtime=0 cores=0-7
/proc/6178/task/6201/stat : 6201 (java) S 6155 6155 5572 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 500501746 8616062976 30087 33554432000 4194304 4196468 140727036139216 140313830079888 140316983284893 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 19439616 140727036142584 140727036142742 140727036142742 140727036145615 0
[pid=6178/tid=6202] ppid=6155 vsize=8414124 memory=524 CPUtime=0 cores=0-7
/proc/6178/task/6202/stat : 6202 (java) S 6155 6155 5572 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 500501746 8616062976 30087 33554432000 4194304 4196468 140727036139216 140314098515216 140316983284893 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 19439616 140727036142584 140727036142742 140727036142742 140727036145615 0
[pid=6178/tid=6203] ppid=6155 vsize=8414124 memory=1568 CPUtime=0 cores=0-7
/proc/6178/task/6203/stat : 6203 (java) S 6155 6155 5572 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 24 0 500501748 8616062976 30087 33554432000 4194304 4196468 140727036139216 140313561652528 140316983273173 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19439616 140727036142584 140727036142742 140727036142742 140727036145615 0
Current children cumulated CPU time: 594.89 s
Current children cumulated vsize: 9166272 KiB
Current children cumulated memory: 432776 KiB

[startup+78.0013 s]*
/proc/loadavg: 6.56 3.14 3.41 3/218 6216
/proc/meminfo: memFree=25356956/32770624 swapFree=66959684/67108860
[pid=6155] ppid=6152 vsize=113128 memory=1476 CPUtime=6.97 cores=0-7
/proc/6155/stat : 6155 (scop.sh) S 6152 6155 5572 0 -1 4202496 583 28072 0 0 0 0 680 17 20 0 1 0 500501388 115843072 369 33554432000 4194304 5098028 140733511411328 140733511408072 140418362524284 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 21532672 140733511418660 140733511418988 140733511418988 140733511421901 0
/proc/6155/statm: 28282 369 311 221 0 87 0
[pid=6178] ppid=6155 vsize=8414124 memory=120348 CPUtime=1.17 cores=0-7
/proc/6178/stat : 6178 (java) S 6155 6155 5572 0 -1 1077944320 20075 0 0 0 109 8 0 0 20 0 24 0 500501674 8616062976 30087 33554432000 4194304 4196468 140727036139216 140727036121760 140316983262967 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19439616 140727036142584 140727036142742 140727036142742 140727036145615 0
/proc/6178/statm: 2103531 30087 3188 1 0 2064875 0
[pid=6198] ppid=6178 vsize=639020 memory=310964 CPUtime=587.94 cores=0-7
/proc/6198/stat : 6198 (manyglucose-4.1) S 6178 6155 5572 0 -1 1077944320 218949 0 0 0 58741 53 0 0 20 0 3 0 500501745 654356480 77741 33554432000 4194304 4454172 140721915869888 140721915868272 139930184564471 0 4 0 8388610 18446744073709551615 0 0 17 0 0 0 0 0 0 6552832 6554400 26759168 140721915876202 140721915876400 140721915876400 140721915879354 0
/proc/6198/statm: 159755 77741 418 64 0 155423 0
[pid=6198/tid=6205] ppid=6178 vsize=639020 memory=0 CPUtime=74.29 cores=0-7
/proc/6198/task/6205/stat : 6205 (manyglucose-4.1) R 6178 6155 5572 0 -1 4202560 30605 0 0 0 7422 7 0 0 20 0 3 0 500501750 654356480 77741 33554432000 4194304 4454172 140721915869888 139930160954504 4351289 0 4 0 8388610 0 0 0 -1 5 0 0 0 0 0 6552832 6554400 26759168 140721915876202 140721915876400 140721915876400 140721915879354 0
[pid=6198/tid=6210] ppid=6178 vsize=639020 memory=1476 CPUtime=74.16 cores=0-7
/proc/6198/task/6210/stat : 6210 (manyglucose-4.1) R 6178 6155 5572 0 -1 4202560 25206 0 0 0 7410 6 0 0 20 0 3 0 500501751 654356480 77741 33554432000 4194304 4454172 140721915869888 139930118990776 4321839 0 4 0 8388610 0 0 0 -1 4 0 0 0 0 0 6552832 6554400 26759168 140721915876202 140721915876400 140721915876400 140721915879354 0
[pid=6178/tid=6179] ppid=6155 vsize=8414124 memory=1398722017469774279 CPUtime=0.74 cores=0-7
/proc/6178/task/6179/stat : 6179 (java) S 6155 6155 5572 0 -1 1077944384 16900 0 0 0 69 5 0 0 20 0 24 0 500501675 8616062976 30087 33554432000 4194304 4196468 140727036139216 140316955103136 140316983273173 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19439616 140727036142584 140727036142742 140727036142742 140727036145615 0
[pid=6178/tid=6180] ppid=6155 vsize=8414124 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/6178/task/6180/stat : 6180 (java) S 6155 6155 5572 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500501676 8616062976 30087 33554432000 4194304 4196468 140727036139216 140316987505552 140316983273173 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19439616 140727036142584 140727036142742 140727036142742 140727036145615 0
[pid=6178/tid=6181] ppid=6155 vsize=8414124 memory=3468 CPUtime=0 cores=0-7
/proc/6178/task/6181/stat : 6181 (java) S 6155 6155 5572 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 500501676 8616062976 30087 33554432000 4194304 4196468 140727036139216 140316787673872 140316983273173 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19439616 140727036142584 140727036142742 140727036142742 140727036145615 0
[pid=6178/tid=6182] ppid=6155 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/6178/task/6182/stat : 6182 (java) S 6155 6155 5572 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500501676 8616062976 30087 33554432000 4194304 4196468 140727036139216 140316786621584 140316983273173 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19439616 140727036142584 140727036142742 140727036142742 140727036145615 0
[pid=6178/tid=6183] ppid=6155 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/6178/task/6183/stat : 6183 (java) S 6155 6155 5572 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 500501676 8616062976 30087 33554432000 4194304 4196468 140727036139216 140316785568784 140316983273173 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19439616 140727036142584 140727036142742 140727036142742 140727036145615 0
[pid=6178/tid=6184] ppid=6155 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/6178/task/6184/stat : 6184 (java) S 6155 6155 5572 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500501676 8616062976 30087 33554432000 4194304 4196468 140727036139216 140316784515472 140316983273173 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19439616 140727036142584 140727036142742 140727036142742 140727036145615 0
[pid=6178/tid=6185] ppid=6155 vsize=8414124 memory=140232227082776 CPUtime=0 cores=0-7
/proc/6178/task/6185/stat : 6185 (java) S 6155 6155 5572 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 500501676 8616062976 30087 33554432000 4194304 4196468 140727036139216 140316464113936 140316983273173 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19439616 140727036142584 140727036142742 140727036142742 140727036145615 0
[pid=6178/tid=6186] ppid=6155 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/6178/task/6186/stat : 6186 (java) S 6155 6155 5572 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 500501676 8616062976 30087 33554432000 4194304 4196468 140727036139216 140316463061648 140316983273173 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19439616 140727036142584 140727036142742 140727036142742 140727036145615 0
[pid=6178/tid=6187] ppid=6155 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/6178/task/6187/stat : 6187 (java) S 6155 6155 5572 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500501676 8616062976 30087 33554432000 4194304 4196468 140727036139216 140316462008848 140316983273173 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19439616 140727036142584 140727036142742 140727036142742 140727036145615 0
[pid=6178/tid=6188] ppid=6155 vsize=8414124 memory=928 CPUtime=0 cores=0-7
/proc/6178/task/6188/stat : 6188 (java) S 6155 6155 5572 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 24 0 500501677 8616062976 30087 33554432000 4194304 4196468 140727036139216 140315808246384 140316983274114 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19439616 140727036142584 140727036142742 140727036142742 140727036145615 0
[pid=6178/tid=6189] ppid=6155 vsize=8414124 memory=3656 CPUtime=0 cores=0-7
/proc/6178/task/6189/stat : 6189 (java) S 6155 6155 5572 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 500501678 8616062976 30087 33554432000 4194304 4196468 140727036139216 140315642029344 140316983273173 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19439616 140727036142584 140727036142742 140727036142742 140727036145615 0
[pid=6178/tid=6190] ppid=6155 vsize=8414124 memory=6656426216303648864 CPUtime=0 cores=0-7
/proc/6178/task/6190/stat : 6190 (java) S 6155 6155 5572 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500501678 8616062976 30087 33554432000 4194304 4196468 140727036139216 140315373594224 140316983273173 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19439616 140727036142584 140727036142742 140727036142742 140727036145615 0
[pid=6178/tid=6191] ppid=6155 vsize=8414124 memory=6944656592455360604 CPUtime=0 cores=0-7
/proc/6178/task/6191/stat : 6191 (java) S 6155 6155 5572 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500501680 8616062976 30087 33554432000 4194304 4196468 140727036139216 140314999085648 140316983281563 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19439616 140727036142584 140727036142742 140727036142742 140727036145615 0
[pid=6178/tid=6192] ppid=6155 vsize=8414124 memory=3624 CPUtime=0.05 cores=0-7
/proc/6178/task/6192/stat : 6192 (java) S 6155 6155 5572 0 -1 1077944384 565 0 0 0 5 0 0 0 20 0 24 0 500501680 8616062976 30087 33554432000 4194304 4196468 140727036139216 140315807193200 140316983274114 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19439616 140727036142584 140727036142742 140727036142742 140727036145615 0
[pid=6178/tid=6193] ppid=6155 vsize=8414124 memory=62280 CPUtime=0.07 cores=0-7
/proc/6178/task/6193/stat : 6193 (java) S 6155 6155 5572 0 -1 1077944384 289 0 0 0 7 0 0 0 20 0 24 0 500501680 8616062976 30087 33554432000 4194304 4196468 140727036139216 140315806140400 140316983274114 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19439616 140727036142584 140727036142742 140727036142742 140727036145615 0
[pid=6178/tid=6194] ppid=6155 vsize=8414124 memory=988 CPUtime=0.03 cores=0-7
/proc/6178/task/6194/stat : 6194 (java) S 6155 6155 5572 0 -1 1077944384 219 0 0 0 3 0 0 0 20 0 24 0 500501680 8616062976 30087 33554432000 4194304 4196468 140727036139216 140315805088112 140316983274114 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19439616 140727036142584 140727036142742 140727036142742 140727036145615 0
[pid=6178/tid=6195] ppid=6155 vsize=8414124 memory=2024 CPUtime=0.18 cores=0-7
/proc/6178/task/6195/stat : 6195 (java) S 6155 6155 5572 0 -1 1077944384 695 0 0 0 18 0 0 0 20 0 24 0 500501680 8616062976 30087 33554432000 4194304 4196468 140727036139216 140315804035312 140316983274114 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19439616 140727036142584 140727036142742 140727036142742 140727036145615 0
[pid=6178/tid=6196] ppid=6155 vsize=8414124 memory=1384 CPUtime=0 cores=0-7
/proc/6178/task/6196/stat : 6196 (java) S 6155 6155 5572 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 500501681 8616062976 30087 33554432000 4194304 4196468 140727036139216 140314501180256 140316983273173 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19439616 140727036142584 140727036142742 140727036142742 140727036145615 0
[pid=6178/tid=6197] ppid=6155 vsize=8414124 memory=327344 CPUtime=0.03 cores=0-7
/proc/6178/task/6197/stat : 6197 (java) S 6155 6155 5572 0 -1 1077944384 7 0 0 0 1 2 0 0 20 0 24 0 500501681 8616062976 30087 33554432000 4194304 4196468 140727036139216 140315802983216 140316983274114 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19439616 140727036142584 140727036142742 140727036142742 140727036145615 0
[pid=6178/tid=6199] ppid=6155 vsize=8414124 memory=1948351 CPUtime=0 cores=0-7
/proc/6178/task/6199/stat : 6199 (java) S 6155 6155 5572 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 500501745 8616062976 30087 33554432000 4194304 4196468 140727036139216 140315794949952 140316983287577 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 19439616 140727036142584 140727036142742 140727036142742 140727036145615 0
[pid=6178/tid=6201] ppid=6155 vsize=8414124 memory=28707561407466 CPUtime=0 cores=0-7
/proc/6178/task/6201/stat : 6201 (java) S 6155 6155 5572 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 500501746 8616062976 30087 33554432000 4194304 4196468 140727036139216 140313830079888 140316983284893 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 19439616 140727036142584 140727036142742 140727036142742 140727036145615 0
[pid=6178/tid=6202] ppid=6155 vsize=8414124 memory=280464453962896 CPUtime=0 cores=0-7
/proc/6178/task/6202/stat : 6202 (java) S 6155 6155 5572 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 500501746 8616062976 30087 33554432000 4194304 4196468 140727036139216 140314098515216 140316983284893 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 19439616 140727036142584 140727036142742 140727036142742 140727036145615 0
[pid=6178/tid=6203] ppid=6155 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/6178/task/6203/stat : 6203 (java) S 6155 6155 5572 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 24 0 500501748 8616062976 30087 33554432000 4194304 4196468 140727036139216 140313561652528 140316983273173 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19439616 140727036142584 140727036142742 140727036142742 140727036145615 0
Current children cumulated CPU time: 596.08 s
Current children cumulated vsize: 9166272 KiB
Current children cumulated memory: 432788 KiB

[startup+78.4012 s]
/proc/loadavg: 6.56 3.14 3.41 3/218 6216
/proc/meminfo: memFree=25356956/32770624 swapFree=66959684/67108860
[pid=6155] ppid=6152 vsize=113128 memory=1476 CPUtime=6.97 cores=0-7
/proc/6155/stat : 6155 (scop.sh) S 6152 6155 5572 0 -1 4202496 583 28072 0 0 0 0 680 17 20 0 1 0 500501388 115843072 369 33554432000 4194304 5098028 140733511411328 140733511408072 140418362524284 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 21532672 140733511418660 140733511418988 140733511418988 140733511421901 0
/proc/6155/statm: 28282 369 311 221 0 87 0
[pid=6178] ppid=6155 vsize=8414124 memory=120348 CPUtime=1.17 cores=0-7
/proc/6178/stat : 6178 (java) S 6155 6155 5572 0 -1 1077944320 20075 0 0 0 109 8 0 0 20 0 24 0 500501674 8616062976 30087 33554432000 4194304 4196468 140727036139216 140727036121760 140316983262967 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19439616 140727036142584 140727036142742 140727036142742 140727036145615 0
/proc/6178/statm: 2103531 30087 3188 1 0 2064875 0
[pid=6198] ppid=6178 vsize=639020 memory=310988 CPUtime=588.46 cores=0-7
/proc/6198/stat : 6198 (manyglucose-4.1) S 6178 6155 5572 0 -1 1077944320 218969 0 0 0 58793 53 0 0 20 0 2 0 500501745 654356480 77747 33554432000 4194304 4454172 140721915869888 140721915868272 139930184564471 0 4 0 8388610 18446744073709551615 0 0 17 0 0 0 0 0 0 6552832 6554400 26759168 140721915876202 140721915876400 140721915876400 140721915879354 0
/proc/6198/statm: 159755 77747 418 64 0 155423 0
[pid=6198/tid=6205] ppid=6178 vsize=639020 memory=-4075877051373423736 CPUtime=74.68 cores=0-7
/proc/6198/task/6205/stat : 6205 (manyglucose-4.1) R 6178 6155 5572 0 -1 4202560 30625 0 0 0 7461 7 0 0 20 0 2 0 500501750 654356480 77747 33554432000 4194304 4454172 140721915869888 139930160954504 4351279 0 4 0 8388610 0 0 0 -1 5 0 0 0 0 0 6552832 6554400 26759168 140721915876202 140721915876400 140721915876400 140721915879354 0
[pid=6178/tid=6179] ppid=6155 vsize=8414124 memory=1536 CPUtime=0.74 cores=0-7
/proc/6178/task/6179/stat : 6179 (java) S 6155 6155 5572 0 -1 1077944384 16900 0 0 0 69 5 0 0 20 0 24 0 500501675 8616062976 30087 33554432000 4194304 4196468 140727036139216 140316955103136 140316983273173 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19439616 140727036142584 140727036142742 140727036142742 140727036145615 0
[pid=6178/tid=6180] ppid=6155 vsize=8414124 memory=9592 CPUtime=0 cores=0-7
/proc/6178/task/6180/stat : 6180 (java) S 6155 6155 5572 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500501676 8616062976 30087 33554432000 4194304 4196468 140727036139216 140316987505552 140316983273173 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19439616 140727036142584 140727036142742 140727036142742 140727036145615 0
[pid=6178/tid=6181] ppid=6155 vsize=8414124 memory=2828 CPUtime=0 cores=0-7
/proc/6178/task/6181/stat : 6181 (java) S 6155 6155 5572 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 500501676 8616062976 30087 33554432000 4194304 4196468 140727036139216 140316787673872 140316983273173 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19439616 140727036142584 140727036142742 140727036142742 140727036145615 0
[pid=6178/tid=6182] ppid=6155 vsize=8414124 memory=780 CPUtime=0 cores=0-7
/proc/6178/task/6182/stat : 6182 (java) S 6155 6155 5572 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500501676 8616062976 30087 33554432000 4194304 4196468 140727036139216 140316786621584 140316983273173 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19439616 140727036142584 140727036142742 140727036142742 140727036145615 0
[pid=6178/tid=6183] ppid=6155 vsize=8414124 memory=280464452122120 CPUtime=0 cores=0-7
/proc/6178/task/6183/stat : 6183 (java) S 6155 6155 5572 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 500501676 8616062976 30087 33554432000 4194304 4196468 140727036139216 140316785568784 140316983273173 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19439616 140727036142584 140727036142742 140727036142742 140727036145615 0
[pid=6178/tid=6184] ppid=6155 vsize=8414124 memory=28709104913130 CPUtime=0 cores=0-7
/proc/6178/task/6184/stat : 6184 (java) S 6155 6155 5572 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500501676 8616062976 30087 33554432000 4194304 4196468 140727036139216 140316784515472 140316983273173 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19439616 140727036142584 140727036142742 140727036142742 140727036145615 0
[pid=6178/tid=6185] ppid=6155 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/6178/task/6185/stat : 6185 (java) S 6155 6155 5572 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 500501676 8616062976 30087 33554432000 4194304 4196468 140727036139216 140316464113936 140316983273173 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19439616 140727036142584 140727036142742 140727036142742 140727036145615 0
[pid=6178/tid=6186] ppid=6155 vsize=8414124 memory=120348 CPUtime=0 cores=0-7
/proc/6178/task/6186/stat : 6186 (java) S 6155 6155 5572 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 500501676 8616062976 30087 33554432000 4194304 4196468 140727036139216 140316463061648 140316983273173 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19439616 140727036142584 140727036142742 140727036142742 140727036145615 0
[pid=6178/tid=6187] ppid=6155 vsize=8414124 memory=310832 CPUtime=0 cores=0-7
/proc/6178/task/6187/stat : 6187 (java) S 6155 6155 5572 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500501676 8616062976 30087 33554432000 4194304 4196468 140727036139216 140316462008848 140316983273173 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19439616 140727036142584 140727036142742 140727036142742 140727036145615 0
[pid=6178/tid=6188] ppid=6155 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/6178/task/6188/stat : 6188 (java) S 6155 6155 5572 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 24 0 500501677 8616062976 30087 33554432000 4194304 4196468 140727036139216 140315808246384 140316983274114 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19439616 140727036142584 140727036142742 140727036142742 140727036145615 0
[pid=6178/tid=6189] ppid=6155 vsize=8414124 memory=120348 CPUtime=0 cores=0-7
/proc/6178/task/6189/stat : 6189 (java) S 6155 6155 5572 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 500501678 8616062976 30087 33554432000 4194304 4196468 140727036139216 140315642029344 140316983273173 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19439616 140727036142584 140727036142742 140727036142742 140727036145615 0
[pid=6178/tid=6190] ppid=6155 vsize=8414124 memory=310952 CPUtime=0 cores=0-7
/proc/6178/task/6190/stat : 6190 (java) S 6155 6155 5572 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500501678 8616062976 30087 33554432000 4194304 4196468 140727036139216 140315373594224 140316983273173 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19439616 140727036142584 140727036142742 140727036142742 140727036145615 0
[pid=6178/tid=6191] ppid=6155 vsize=8414124 memory=2512 CPUtime=0 cores=0-7
/proc/6178/task/6191/stat : 6191 (java) S 6155 6155 5572 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500501680 8616062976 30087 33554432000 4194304 4196468 140727036139216 140314999085648 140316983281563 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19439616 140727036142584 140727036142742 140727036142742 140727036145615 0
[pid=6178/tid=6192] ppid=6155 vsize=8414124 memory=808 CPUtime=0.05 cores=0-7
/proc/6178/task/6192/stat : 6192 (java) S 6155 6155 5572 0 -1 1077944384 565 0 0 0 5 0 0 0 20 0 24 0 500501680 8616062976 30087 33554432000 4194304 4196468 140727036139216 140315807193200 140316983274114 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19439616 140727036142584 140727036142742 140727036142742 140727036145615 0
[pid=6178/tid=6193] ppid=6155 vsize=8414124 memory=1448 CPUtime=0.07 cores=0-7
/proc/6178/task/6193/stat : 6193 (java) S 6155 6155 5572 0 -1 1077944384 289 0 0 0 7 0 0 0 20 0 24 0 500501680 8616062976 30087 33554432000 4194304 4196468 140727036139216 140315806140400 140316983274114 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19439616 140727036142584 140727036142742 140727036142742 140727036145615 0
[pid=6178/tid=6194] ppid=6155 vsize=8414124 memory=1764 CPUtime=0.03 cores=0-7
/proc/6178/task/6194/stat : 6194 (java) S 6155 6155 5572 0 -1 1077944384 219 0 0 0 3 0 0 0 20 0 24 0 500501680 8616062976 30087 33554432000 4194304 4196468 140727036139216 140315805088112 140316983274114 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19439616 140727036142584 140727036142742 140727036142742 140727036145615 0
[pid=6178/tid=6195] ppid=6155 vsize=8414124 memory=111632 CPUtime=0.18 cores=0-7
/proc/6178/task/6195/stat : 6195 (java) S 6155 6155 5572 0 -1 1077944384 695 0 0 0 18 0 0 0 20 0 24 0 500501680 8616062976 30087 33554432000 4194304 4196468 140727036139216 140315804035312 140316983274114 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19439616 140727036142584 140727036142742 140727036142742 140727036145615 0
[pid=6178/tid=6196] ppid=6155 vsize=8414124 memory=800 CPUtime=0 cores=0-7
/proc/6178/task/6196/stat : 6196 (java) S 6155 6155 5572 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 500501681 8616062976 30087 33554432000 4194304 4196468 140727036139216 140314501180256 140316983273173 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19439616 140727036142584 140727036142742 140727036142742 140727036145615 0
[pid=6178/tid=6197] ppid=6155 vsize=8414124 memory=1808 CPUtime=0.03 cores=0-7
/proc/6178/task/6197/stat : 6197 (java) S 6155 6155 5572 0 -1 1077944384 7 0 0 0 1 2 0 0 20 0 24 0 500501681 8616062976 30087 33554432000 4194304 4196468 140727036139216 140315802983216 140316983274114 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19439616 140727036142584 140727036142742 140727036142742 140727036145615 0
[pid=6178/tid=6199] ppid=6155 vsize=8414124 memory=920 CPUtime=0 cores=0-7
/proc/6178/task/6199/stat : 6199 (java) S 6155 6155 5572 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 500501745 8616062976 30087 33554432000 4194304 4196468 140727036139216 140315794949952 140316983287577 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 19439616 140727036142584 140727036142742 140727036142742 140727036145615 0
[pid=6178/tid=6201] ppid=6155 vsize=8414124 memory=4864 CPUtime=0 cores=0-7
/proc/6178/task/6201/stat : 6201 (java) S 6155 6155 5572 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 500501746 8616062976 30087 33554432000 4194304 4196468 140727036139216 140313830079888 140316983284893 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 19439616 140727036142584 140727036142742 140727036142742 140727036145615 0
[pid=6178/tid=6202] ppid=6155 vsize=8414124 memory=4100 CPUtime=0 cores=0-7
/proc/6178/task/6202/stat : 6202 (java) S 6155 6155 5572 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 500501746 8616062976 30087 33554432000 4194304 4196468 140727036139216 140314098515216 140316983284893 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 19439616 140727036142584 140727036142742 140727036142742 140727036145615 0
[pid=6178/tid=6203] ppid=6155 vsize=8414124 memory=1412 CPUtime=0 cores=0-7
/proc/6178/task/6203/stat : 6203 (java) S 6155 6155 5572 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 24 0 500501748 8616062976 30087 33554432000 4194304 4196468 140727036139216 140313561652528 140316983273173 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19439616 140727036142584 140727036142742 140727036142742 140727036145615 0
Current children cumulated CPU time: 596.6 s
Current children cumulated vsize: 9166272 KiB
Current children cumulated memory: 432812 KiB

Child status: 0
Real time (s): 78.4846
CPU time (s): 596.78
CPU user time (s): 595.948
CPU system time (s): 0.831487
CPU usage (%): 760.378
Max. virtual memory (cumulated for all children) (KiB): 27441876
Max. memory (cumulated for all children) (KiB): 455092

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 595.948
system time used= 0.831487
maximum resident set size= 448796
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 268320
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1416
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 9647
involuntary context switches= 6486


# summary of solver processes directly reported to runsolver:
#   pid: 6155
#   total CPU time (s): 596.78
#   total CPU user time (s): 595.948
#   total CPU system time (s): 0.831487

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.772215 second user time and 1.04496 second system time

The end

Launcher Data 

Begin job on node127 at 2019-09-23 14:38:05
IDJOB=4405553
IDBENCH=124287
IDSOLVER=2868
FILE ID=node127/4405553-1569242326
RUNJOBID= node127-1569238588-5599
PBS_JOBID= 21704903
Free space on /tmp= 35920 MiB

SOLVER NAME= Fun-sCOP hybrid+ManyGlucose (2019-09-22)
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-4405553-1569242326/watcher-4405553-1569242326 -o /tmp/evaluation-result-4405553-1569242326/solver-4405553-1569242326 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node127-1569238588-5599 --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-4405553-1569242326.xml

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

MD5SUM BENCH= be7a6961e736c78e558242a96ea5fa7b
RANDOM SEED=600633216

node127.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.55
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.55
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.55
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.55
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:        25770264 kB
MemAvailable:   31797280 kB
Buffers:           70276 kB
Cached:          6157684 kB
SwapCached:        44408 kB
Active:          3024972 kB
Inactive:        3254816 kB
Active(anon):       4516 kB
Inactive(anon):   104792 kB
Active(file):    3020456 kB
Inactive(file):  3150024 kB
Unevictable:      107080 kB
Mlocked:          107080 kB
SwapTotal:      67108860 kB
SwapFree:       66959684 kB
Dirty:             20572 kB
Writeback:            12 kB
AnonPages:        115400 kB
Mapped:            55988 kB
Shmem:             49024 kB
Slab:             313748 kB
SReclaimable:     284996 kB
SUnreclaim:        28752 kB
KernelStack:        3392 kB
PageTables:         6000 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     515444 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     69632 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      138624 kB
DirectMap2M:    33406976 kB

Free space on /tmp at the end= 35900 MiB
End job on node127 at 2019-09-23 14:39:24