Trace number 4392787

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

NameBlackhole/Blackhole-xcsp2-s07/
Blackhole-4-07-2_X2.xml
MD5SUMbca347db5d1c552995f700e5a754db73
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 benchmark165.879
Satisfiable
(Un)Satisfiability was proved
Number of variables112
Number of constraints1262
Number of domains4
Minimum domain size1
Maximum domain size28
Distribution of domain sizes[{"size":1,"count":2},{"size":7,"count":28},{"size":14,"count":27},{"size":28,"count":54}]
Minimum variable degree0
Maximum variable degree56
Distribution of variable degrees[{"degree":0,"count":1},{"degree":2,"count":29},{"degree":3,"count":26},{"degree":28,"count":1},{"degree":29,"count":18},{"degree":30,"count":9},{"degree":56,"count":28}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":1262}]
Number of extensional constraints1262
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":1262}]
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-16094-serial-file.bin HOME/instance-4392787-1568436541.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.57	c BEGIN-Prog: Sat Sep 14 06:48:24 CEST 2019
0.66/0.57	c PID: 16097
0.66/0.57	c IP: 172.20.3.149
0.66/0.57	c HOST: node149.alineos.net
0.66/0.57	c (0,0) Parsing Begin
2.06/1.13	c (0,0) Parsing End
2.06/1.13	c (0,0) CSP: 109 int (0 aux), 2 bool (0 aux), 1261 ctr, max domain size 28
2.06/1.13	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.06/1.13	c (0,0) Constraint Name Generate Begin
2.06/1.14	c (0,0) Ctr:HOME/instance-4392787-1568436541.xml,ExtensionConflict:ExtensionSupport:Var
2.06/1.14	c (0,0) Constraint Name Generate End
2.06/1.14	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.06/1.14	c (0,0) CSP to CSPinCNF Begin
3.14/1.64	c (1,1) translated 127 (10%) constraints
3.55/1.75	c (1,1) translated 253 (20%) constraints
3.96/1.83	c (1,1) translated 379 (30%) constraints
3.96/1.90	c (1,1) translated 505 (40%) constraints
4.38/1.95	c (1,1) translated 631 (50%) constraints
4.38/2.00	c (1,1) translated 757 (60%) constraints
5.23/2.14	c (1,1) translated 883 (70%) constraints
5.83/2.37	c (1,1) translated 1009 (80%) constraints
6.10/2.58	c (2,2) translated 1135 (90%) constraints
6.63/2.89	c (2,2) translated 1261 (100%) constraints
6.63/2.90	c (2,2) ===========================================
6.99/2.92	c (2,2) Hybrid: #OE=793, #LE=0
6.99/2.92	c (2,2) Hybrid
6.99/2.92	c (2,2) ===========================================
6.99/2.99	c (2,2) translated 1883 (10%) constraints
7.43/3.04	c (2,2) translated 3765 (20%) constraints
7.43/3.10	c (2,2) translated 5647 (30%) constraints
7.84/3.16	c (2,2) translated 7529 (40%) constraints
8.20/3.22	c (2,2) translated 9411 (50%) constraints
8.20/3.28	c (2,2) translated 11294 (60%) constraints
8.60/3.34	c (2,2) translated 13176 (70%) constraints
8.60/3.39	c (2,2) translated 15058 (80%) constraints
9.00/3.43	c (2,2) translated 16940 (90%) constraints
9.00/3.48	c (2,2) translated 18822 (100%) constraints
9.00/3.48	c (2,2) CSP to CSPinCNF End
9.00/3.48	c (2,2) CSP: 108 int (0 aux), 685 bool (682 aux), 18822 ctr, max domain size 28
9.00/3.48	c (2,2) Heap : 788 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB)
9.00/3.48	c (2,2) CSPinCNF Propagation Begin
10.51/3.83	c (3,3) 109 values, 8487 unsatisfiable literals, and 4834 valid clauses are removed
10.51/3.83	c (3,3) CSPinCNF Propagation End
10.51/3.83	c (3,3) CSP: 108 int (0 aux), 685 bool (682 aux), 13988 ctr, max domain size 26
10.51/3.83	c (3,3) Heap : 1013 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
10.51/3.85	c (3,3) Hybrid: #OE=793, #LE=0
10.51/3.85	c (3,3) Simplify CSPinCNF Begin
10.76/3.90	c (3,3) Simplify CSPinCNF End
10.76/3.90	c (3,3) CSP: 108 int (0 aux), 685 bool (682 aux), 13988 ctr, max domain size 26
10.76/3.90	c (3,3) Heap : 1013 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
10.76/3.90	c (3,3) Calculate Precise Domain Begin
10.76/3.90	c (3,3) 0 values are removed by re-calculation
10.76/3.90	c (3,3) Calculate Precise Domain End
10.76/3.90	c (3,3) CSP: 108 int (0 aux), 685 bool (682 aux), 13988 ctr, max domain size 26
10.76/3.90	c (3,3) Heap : 1013 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
10.76/3.90	c (3,3) CSPinCNF to SatSolver Begin
11.04/4.05	c (3,3) 1399 (10 %) CSP clauses are encoded (0 SAT variables, 3107 SAT clauses)
11.42/4.11	c (3,3) 2798 (20 %) CSP clauses are encoded (0 SAT variables, 4506 SAT clauses)
11.42/4.16	c (3,3) 4197 (30 %) CSP clauses are encoded (0 SAT variables, 5905 SAT clauses)
11.78/4.20	c (3,3) 5596 (40 %) CSP clauses are encoded (0 SAT variables, 7304 SAT clauses)
11.78/4.24	c (3,3) 6994 (50 %) CSP clauses are encoded (0 SAT variables, 8702 SAT clauses)
11.78/4.27	c (3,3) 8393 (60 %) CSP clauses are encoded (0 SAT variables, 10101 SAT clauses)
11.78/4.29	c (3,3) 9792 (70 %) CSP clauses are encoded (0 SAT variables, 11500 SAT clauses)
12.19/4.31	c (3,3) 11191 (80 %) CSP clauses are encoded (0 SAT variables, 12899 SAT clauses)
12.29/4.72	c (4,3) 12590 (90 %) CSP clauses are encoded (0 SAT variables, 14298 SAT clauses)
12.29/4.73	c (4,3) 13988 (100 %) CSP clauses are encoded (0 SAT variables, 15696 SAT clauses)
12.29/4.73	c (4,3) CSPinCNF to SatSolver End
12.29/4.73	c (4,3) Heap : 1126 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB)
12.29/4.73	c (4,3) 2482 bool, 15697 clause
12.29/4.73	c (4,3) Export Begin
12.41/4.84	c (4,3) Export to HOME/scop-16094-serial-file.bin
12.41/4.84	c (4,3) Export End
12.41/4.84	c (4,3) Export File Size: 0.02 MB
12.41/4.84	c (4,3) 0,0,2,3,3,3,4,STOP-AFTER(DIMACS)
12.41/4.84	c END-Prog: Sat Sep 14 06:48:29 CEST 2019
12.41/4.86	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-16094-serial-file.bin
13.11/5.32	c (0,0) Read Serial File Begin
13.11/5.32	c (0,0) HOME/scop-16094-serial-file.bin
13.40/5.54	c (0,0) Read Serial File End
13.40/5.56	
13.40/5.56	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
13.40/5.56	(Solving Process)
13.40/5.56	
13.40/5.58	c BEGIN-Prog: Sat Sep 14 06:48:29 CEST 2019
13.40/5.58	c PID: 16117
13.40/5.58	c IP: 172.20.3.149
13.40/5.58	c HOST: node149.alineos.net
13.40/5.58	c (0,0) SatSolver.solve Begin
13.40/5.58	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4392787-1568436541.xml-scop-16097.cnf
13.61/5.61	c (0,0) c
13.61/5.61	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)
13.61/5.61	c (0,0) c
13.61/5.61	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
13.61/5.61	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
13.61/5.61	c (0,0) c ========================================[ Problem Statistics ]===========================================
13.61/5.61	c (0,0) c |                                                                                                       |
13.61/5.61	c (0,0) WARNING! DIMACS header mismatch: wrong number of variables.
13.61/5.61	c (0,0) c |  Number of variables:          2480                                                                   |
13.61/5.61	c (0,0) c |  Number of clauses:           15697                                                                   |
13.61/5.61	c (0,0) c |  Parse time:                   0.01 s                                                                 |
13.61/5.61	c (0,0) c |                                                                                                       |
13.61/5.62	c (0,0) c |  Simplification time:          0.01 s                                                                 |
13.61/5.62	c (0,0) c |                                                                                                       |
13.61/5.62	c (0,0) c |  Generating clones                                                                                    |
13.61/5.63	c (0,0) c |  all clones generated. Memory =    32.06Mb.                                                           |
13.61/5.63	c (0,0) c ========================================================================================================|
13.61/5.63	c (0,0) c
13.61/5.63	c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
13.61/5.63	c (0,0) c
13.61/5.63	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
13.61/5.63	c (0,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
13.61/5.63	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
13.61/5.63	c (0,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
13.61/5.63	c (0,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
13.61/5.63	c (0,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
13.61/5.63	c (0,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
13.61/5.63	c (0,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
13.61/5.63	c (0,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
13.61/5.63	c (0,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
13.61/5.63	c (0,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
13.61/5.63	c (0,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
13.61/5.63	c (0,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
13.61/5.63	c (0,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
13.61/5.63	c (0,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
13.61/5.63	c (0,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
13.61/5.63	c (0,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
13.61/5.63	c (0,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
13.61/5.63	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
219.69/34.76	c (29,0) c
219.69/34.76	c (29,0) c |------------------------------------------------------------------------------------------------------------------------|
219.69/34.76	c (29,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
219.69/34.76	c (29,0) c |------------------------------------------------------------------------------------------------------------------------|
219.69/34.76	c (29,0) c |  0 |    316 |     521576 |     284839 |     9398 |    53454 |    46200 |   277315 |    14773 |      279 |  20 |  0.847 |
219.69/34.76	c (29,0) c |  1 |    258 |     521088 |     278634 |     8752 |    47252 |    43438 |   308139 |    11641 |      299 |  20 |  0.847 |
219.69/34.76	c (29,0) c |  2 |    400 |     507748 |     289134 |     9361 |    57743 |    42365 |   305853 |    15784 |      296 |  20 |  0.847 |
219.69/34.76	c (29,0) c |  3 |    296 |     530630 |     285736 |     8759 |    54346 |    44881 |   287563 |    12657 |      299 |  20 |  0.847 |
219.69/34.76	c (29,0) c |  4 |    410 |     565572 |     304906 |     9469 |    37717 |    46986 |   287191 |    15819 |      299 |  20 |  0.847 |
219.69/34.76	c (29,0) c |  5 |    373 |     550090 |     300092 |     9473 |    68706 |    45687 |   303510 |    15827 |      299 |  20 |  0.848 |
219.69/34.76	c (29,0) c |  6 |    313 |     532314 |     289853 |     9397 |    58465 |    47637 |   303343 |    15978 |      299 |  20 |  0.847 |
219.69/34.76	c (29,0) c |  7 |    510 |     554683 |     302835 |     9554 |    71444 |    44149 |   306098 |    16292 |      299 |  20 |  0.847 |
219.69/34.76	c (29,0) c 
219.69/34.76	c (29,0) c synthesis     2336030 conflicts   175516948 propagations    11351 conflicts/sec   852867 propagations/sec
219.69/34.76	c (29,0) c real: 29.1515 s, cpu: 205.796 s, memory: 630.44 Mb
427.78/63.77	c (58,0) c
427.78/63.77	c (58,0) c |------------------------------------------------------------------------------------------------------------------------|
427.78/63.77	c (58,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
427.78/63.77	c (58,0) c |------------------------------------------------------------------------------------------------------------------------|
427.78/63.77	c (58,0) c |  0 |    396 |     870256 |     464069 |     9465 |    73891 |    65631 |   411528 |    26347 |      546 |  20 |  0.848 |
427.78/63.77	c (58,0) c |  1 |    371 |     837877 |     444461 |     9287 |    54268 |    59032 |   430687 |    25777 |      566 |  20 |  0.847 |
427.78/63.77	c (58,0) c |  2 |    476 |     820374 |     458294 |     9409 |    68110 |    61311 |   421183 |    26150 |      563 |  20 |  0.848 |
427.78/63.77	c (58,0) c |  3 |    429 |     854138 |     454341 |     9329 |    64153 |    60323 |   429012 |    29333 |      566 |  20 |  0.848 |
427.78/63.77	c (58,0) c |  4 |    526 |     890736 |     474183 |     9499 |    83996 |    64084 |   425178 |    27757 |      566 |  20 |  0.848 |
427.78/63.77	c (58,0) c |  5 |    471 |     862145 |     465331 |     9510 |    75148 |    62506 |   424352 |    26572 |      560 |  20 |  0.847 |
427.78/63.77	c (58,0) c |  6 |    442 |     867773 |     462631 |     9488 |    72440 |    63196 |   417261 |    29030 |      565 |  20 |  0.848 |
427.78/63.77	c (58,0) c |  7 |    622 |     873652 |     468131 |     9581 |    77949 |    59514 |   421406 |    27543 |      551 |  20 |  0.847 |
427.78/63.77	c (58,0) c 
427.78/63.77	c (58,0) c synthesis     3691442 conflicts   274864933 propagations     8930 conflicts/sec   664901 propagations/sec
427.78/63.77	c (58,0) c real: 58.1515 s, cpu: 413.392 s, memory: 696.18 Mb
628.17/92.76	c (87,0) c
628.17/92.76	c (87,0) c |------------------------------------------------------------------------------------------------------------------------|
628.17/92.76	c (87,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
628.17/92.76	c (87,0) c |------------------------------------------------------------------------------------------------------------------------|
628.17/92.76	c (87,0) c |  0 |    441 |    1166018 |     613545 |     9484 |    76963 |    81042 |   497387 |    37207 |      824 |  20 |  0.847 |
628.17/92.76	c (87,0) c |  1 |    526 |    1124018 |     587251 |     9354 |   102062 |    73363 |   516438 |    37353 |      832 |  20 |  0.847 |
628.17/92.76	c (87,0) c |  2 |    505 |    1074974 |     588001 |     9436 |    51411 |    72612 |   508281 |    36045 |      812 |  20 |  0.847 |
628.17/92.76	c (87,0) c |  3 |    567 |    1118375 |     589076 |     9359 |    52484 |    71514 |   524907 |    39960 |      831 |  20 |  0.848 |
628.17/92.76	c (87,0) c |  4 |    633 |    1185012 |     619260 |     9512 |    82676 |    78869 |   517554 |    37962 |      832 |  20 |  0.848 |
628.17/92.76	c (87,0) c |  5 |    546 |    1149631 |     610886 |     9534 |    74300 |    75055 |   520875 |    37858 |      830 |  20 |  0.848 |
628.17/92.76	c (87,0) c |  6 |    537 |    1126977 |     596754 |     9509 |    60164 |    74181 |   519604 |    38499 |      824 |  20 |  0.847 |
628.17/92.76	c (87,0) c |  7 |    670 |    1147852 |     607261 |     9594 |    70675 |    74467 |   516525 |    38606 |      816 |  20 |  0.847 |
628.17/92.76	c (87,0) c 
628.17/92.76	c (87,0) c synthesis     4812034 conflicts   358000832 propagations     7848 conflicts/sec   583855 propagations/sec
628.17/92.76	c (87,0) c real: 87.1513 s, cpu: 613.168 s, memory: 696.21 Mb
823.11/121.76	c (116,0) c
823.11/121.76	c (116,0) c |------------------------------------------------------------------------------------------------------------------------|
823.11/121.76	c (116,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
823.11/121.76	c (116,0) c |------------------------------------------------------------------------------------------------------------------------|
823.11/121.76	c (116,0) c |  0 |    496 |    1417767 |     737925 |     9498 |    86925 |    92722 |   586127 |    46265 |     1074 |  20 |  0.927 |
823.11/121.76	c (116,0) c |  1 |    577 |    1352555 |     701612 |     9372 |   106335 |    84983 |   593323 |    48149 |     1075 |  20 |  0.927 |
823.11/121.76	c (116,0) c |  2 |    543 |    1292860 |     701817 |     9453 |    99336 |    82301 |   591922 |    45666 |     1055 |  20 |  0.928 |
823.11/121.76	c (116,0) c |  3 |    645 |    1353085 |     704460 |     9378 |    56411 |    82856 |   594881 |    48756 |     1075 |  20 |  0.927 |
823.11/121.76	c (116,0) c |  4 |    717 |    1401224 |     728706 |     9518 |    78834 |    88704 |   589944 |    46593 |     1075 |  20 |  0.929 |
823.11/121.76	c (116,0) c |  5 |    601 |    1376831 |     725164 |     9547 |    75079 |    84468 |   590153 |    45302 |     1075 |  20 |  0.928 |
823.11/121.76	c (116,0) c |  6 |    614 |    1340507 |     704191 |     9522 |    54909 |    85228 |   590171 |    47420 |     1060 |  20 |  0.927 |
823.11/121.76	c (116,0) c |  7 |    741 |    1388450 |     725802 |     9606 |    76948 |    81572 |   596208 |    48529 |     1071 |  20 |  0.927 |
823.11/121.76	c (116,0) c 
823.11/121.76	c (116,0) c synthesis     5729678 conflicts   427384417 propagations     7096 conflicts/sec   529311 propagations/sec
823.11/121.76	c (116,0) c real: 116.152 s, cpu: 807.435 s, memory: 696.21 Mb
944.28/139.10	c (133,0) c
944.28/139.10	c (133,0) c real time : 133.498 s
944.28/139.10	c (133,0) c cpu time  : 927.917 s
944.28/139.10	c (133,0) c
944.28/139.10	c (133,0) c
944.28/139.10	c (133,0) c
944.28/139.10	c (133,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
944.28/139.10	c (133,0) c
944.28/139.10	c (133,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
944.28/139.10	c (133,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
944.28/139.10	c (133,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
944.28/139.10	c (133,0) c | Conflicts     |         6183691 |     792761 |     755777 |     765107 |     759275 |     783375 |     779633 |     765555 |     782208 |
944.28/139.10	c (133,0) c | Decisions     |        11819724 |    1525794 |    1460334 |    1411460 |    1461884 |    1508624 |    1486926 |    1462287 |    1502415 |
944.28/139.10	c (133,0) c | Propagations  |       462921058 |   59251027 |   56962414 |   57388342 |   56962140 |   58208541 |   58122782 |   57719188 |   58306624 |
944.28/139.10	c (133,0) c | ReduceDBs     |             188 |         24 |         23 |         23 |         23 |         24 |         24 |         23 |         24 |
944.28/139.10	c (133,0) c | SimpDBs       |              89 |         11 |         11 |          9 |         12 |         11 |         11 |         11 |         13 |
944.28/139.10	c (133,0) c | Restarts      |            5148 |        517 |        629 |        558 |        664 |        743 |        634 |        644 |        759 |
944.28/139.10	c (133,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
944.28/139.10	c (133,0) c | PropBinClauses|       979180842 |  124004768 |  121713429 |  125262421 |  120708853 |  120302186 |  121679584 |  123469171 |  122040430 |
944.28/139.10	c (133,0) c | PropPreBlocker|     32967381619 | 4140121052 | 4109629826 | 4012308441 | 4178821576 | 4113324750 | 4133493876 | 4148409722 | 4131272376 |
944.28/139.10	c (133,0) c | PropNotBlocker|      5406086570 |  667701854 |  672009347 |  704065742 |  660370844 |  675639262 |  676895048 |  669855972 |  679548501 |
944.28/139.10	c (133,0) c | LitFullScans  |     58189470244 | 7274004284 | 7275019480 | 7273063423 | 7273804806 | 7273366635 | 7273379118 | 7273622233 | 7273210265 |
944.28/139.10	c (133,0) c | LitScanFracts |        11705159 |    1997985 |    1339261 |    1023795 |    1797855 |    1360877 |    1365531 |    1617381 |    1202474 |
944.28/139.10	c (133,0) c | DecisionLevel0|            5237 |        529 |        645 |        569 |        673 |        754 |        644 |        655 |        768 |
944.28/139.10	c (133,0) c | Periods       |            9696 |       1212 |       1212 |       1212 |       1212 |       1212 |       1212 |       1212 |       1212 |
944.28/139.10	c (133,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
944.28/139.10	c (133,0) c | Avg_Trail     |                 |        633 |        629 |        626 |        630 |        636 |        636 |        630 |        635 |
944.28/139.10	c (133,0) c | Avg_DL        |                 |         22 |         20 |         22 |         21 |         22 |         22 |         21 |         22 |
944.28/139.10	c (133,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
944.28/139.10	c (133,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
944.28/139.10	c (133,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
944.28/139.10	c (133,0) c | Exported      |          720409 |      98898 |      89116 |      87602 |      86840 |      93264 |      88767 |      89601 |      86321 |
944.28/139.10	c (133,0) c | Imported      |         4979875 |     616235 |     625922 |     615390 |     627095 |     620716 |     623715 |     623860 |     626942 |
944.28/139.10	c (133,0) c | Good          |           14206 |       1783 |       1797 |       1744 |       1821 |       1755 |       1792 |       1788 |       1726 |
944.28/139.10	c (133,0) c | Purge         |         4965669 |     614452 |     624125 |     613646 |     625274 |     618961 |     621923 |     622072 |     625216 |
944.28/139.10	c (133,0) c | Promoted      |          417017 |      51022 |      52879 |      51411 |      53631 |      51429 |      50022 |      52740 |      53883 |
944.28/139.10	c (133,0) c | Remove_Imp    |         3882794 |     481673 |     481073 |     482698 |     476767 |     494705 |     496023 |     472271 |     497584 |
944.28/139.10	c (133,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
944.28/139.10	c (133,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
944.28/139.10	c (133,0) c | Unaries       |                 |         12 |         16 |         11 |          9 |         11 |         10 |         11 |          9 |
944.28/139.10	c (133,0) c | Binaries      |                 |        270 |        254 |        241 |        223 |        294 |        249 |        252 |        318 |
944.28/139.10	c (133,0) c | Glues         |                 |       1019 |        921 |        976 |        900 |       1102 |       1025 |       1010 |       1168 |
944.28/139.10	c (133,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
944.28/139.10	c (133,0) c | Orig_Seen     |            87 % |       9501 |       9380 |       9458 |       9389 |       9527 |       9549 |       9526 |       9614 |
944.28/139.10	c (133,0) c | Diff Orig seen|                 |        121 |      X     |         78 |          9 |        147 |        169 |        146 |        234 |
944.28/139.10	c (133,0) c | Hamming       |            11 % |        305 |      X     |        247 |        310 |        306 |        238 |        268 |        278 |
944.28/139.10	c (133,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
944.28/139.10	c (133,0) c | RunningTime   |                 |  128.0  97%|  103.4  79%|  130.9  98%|  100.1  76%|  102.4  78%|  115.3  88%|  126.0  95%|  128.6  97%|
944.28/139.10	c (133,0) c | WaitingTime   |                 |    3.7   3%|   27.8  21%|    2.1   2%|   31.1  24%|   28.9  22%|   16.0  12%|    7.0   5%|    3.3   2%|
944.28/139.10	c (133,0) c | ExchangingTime|                 |    0.3   0%|    0.3   0%|    0.3   0%|    0.4   0%|    0.3   0%|    0.3   0%|    0.4   0%|    0.4   0%|
944.28/139.10	c (133,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%|
944.28/139.10	c (133,0) c | SolvingTime   |                 |  132.0     |  131.6     |  133.4     |  131.6     |  131.6     |  131.6     |  133.4     |  132.3     |
944.28/139.11	c (133,0) c | PropagationTim|                 |   91.5  69%|  111.0  84%|   88.4  66%|  118.7  90%|  115.9  88%|   94.4  72%|   93.1  70%|   88.0  67%|
944.28/139.11	c (133,0) c | AnalysisTime  |                 |   37.2  28%|   17.4  13%|   41.8  31%|    9.6   7%|   12.1   9%|   34.0  26%|   36.8  28%|   40.7  31%|
944.28/139.11	c (133,0) c | ReductionTime |                 |    1.3   1%|    1.2   1%|    1.2   1%|    1.3   1%|    1.4   1%|    1.2   1%|    1.3   1%|    1.4   1%|
944.28/139.11	c (133,0) c | SimplifyTime  |                 |    0.1   0%|    0.1   0%|    0.0   0%|    0.1   0%|    0.1   0%|    0.2   0%|    0.1   0%|    0.1   0%|
944.28/139.11	c (133,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%|
944.28/139.11	c (133,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%|
944.28/139.11	c (133,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
944.28/139.11	c (133,0) c
944.28/139.11	c (133,0) c
944.28/139.11	c (133,0) c Threads : 8
944.28/139.11	c (133,0) c Winner : 1
944.28/139.11	c (133,0) c Conflicts_0 : 792761
944.28/139.11	c (133,0) c Conflicts_1 : 755777
944.28/139.11	c (133,0) c Conflicts_2 : 765107
944.28/139.11	c (133,0) c Conflicts_3 : 759275
944.28/139.11	c (133,0) c Conflicts_4 : 783375
944.28/139.11	c (133,0) c Conflicts_5 : 779633
944.28/139.11	c (133,0) c Conflicts_6 : 765555
944.28/139.11	c (133,0) c Conflicts_7 : 782208
944.28/139.11	c (133,0) c Conflicts_total : 6183691
944.28/139.11	c (133,0) c Conflicts_winner : 755777
944.28/139.11	c (133,0) c Decisions_0 : 1525794
944.28/139.11	c (133,0) c Decisions_1 : 1460334
944.28/139.11	c (133,0) c Decisions_2 : 1411460
944.28/139.11	c (133,0) c Decisions_3 : 1461884
944.28/139.11	c (133,0) c Decisions_4 : 1508624
944.28/139.11	c (133,0) c Decisions_5 : 1486926
944.28/139.11	c (133,0) c Decisions_6 : 1462287
944.28/139.11	c (133,0) c Decisions_7 : 1502415
944.28/139.11	c (133,0) c Decisions_total : 11819724
944.28/139.11	c (133,0) c Decisions_winner : 1460334
944.28/139.11	c (133,0) c Propagations_0 : 59251027
944.28/139.11	c (133,0) c Propagations_1 : 56962414
944.28/139.11	c (133,0) c Propagations_2 : 57388342
944.28/139.11	c (133,0) c Propagations_3 : 56962140
944.28/139.11	c (133,0) c Propagations_4 : 58208541
944.28/139.11	c (133,0) c Propagations_5 : 58122782
944.28/139.11	c (133,0) c Propagations_6 : 57719188
944.28/139.11	c (133,0) c Propagations_7 : 58306624
944.28/139.11	c (133,0) c Propagations_total : 462921058
944.28/139.11	c (133,0) c Propagations_winner : 56962414
944.28/139.11	c (133,0) c ReduceDBs_0 : 24
944.28/139.11	c (133,0) c ReduceDBs_1 : 23
944.28/139.11	c (133,0) c ReduceDBs_2 : 23
944.28/139.11	c (133,0) c ReduceDBs_3 : 23
944.28/139.11	c (133,0) c ReduceDBs_4 : 24
944.28/139.11	c (133,0) c ReduceDBs_5 : 24
944.28/139.11	c (133,0) c ReduceDBs_6 : 23
944.28/139.11	c (133,0) c ReduceDBs_7 : 24
944.28/139.11	c (133,0) c ReduceDBs_total : 188
944.28/139.11	c (133,0) c ReduceDBs_winner : 23
944.28/139.11	c (133,0) c SimpDBs_0 : 11
944.28/139.11	c (133,0) c SimpDBs_1 : 11
944.28/139.11	c (133,0) c SimpDBs_2 : 9
944.28/139.11	c (133,0) c SimpDBs_3 : 12
944.28/139.11	c (133,0) c SimpDBs_4 : 11
944.28/139.11	c (133,0) c SimpDBs_5 : 11
944.28/139.11	c (133,0) c SimpDBs_6 : 11
944.28/139.11	c (133,0) c SimpDBs_7 : 13
944.28/139.11	c (133,0) c SimpDBs_total : 89
944.28/139.11	c (133,0) c SimpDBs_winner : 11
944.28/139.11	c (133,0) c Restarts_0 : 517
944.28/139.11	c (133,0) c Restarts_1 : 629
944.28/139.11	c (133,0) c Restarts_2 : 558
944.28/139.11	c (133,0) c Restarts_3 : 664
944.28/139.11	c (133,0) c Restarts_4 : 743
944.28/139.11	c (133,0) c Restarts_5 : 634
944.28/139.11	c (133,0) c Restarts_6 : 644
944.28/139.11	c (133,0) c Restarts_7 : 759
13.88/139.11	c (133,0) c Restarts_total : 5148
13.88/139.11	c (133,0) c Restarts_winner : 629
13.88/139.11	c (133,0) c ForcedImports_0 : 0
13.88/139.11	c (133,0) c ForcedImports_1 : 0
13.88/139.11	c (133,0) c ForcedImports_2 : 0
13.88/139.11	c (133,0) c ForcedImports_3 : 0
13.88/139.11	c (133,0) c ForcedImports_4 : 0
13.88/139.11	c (133,0) c ForcedImports_5 : 0
13.88/139.11	c (133,0) c ForcedImports_6 : 0
13.88/139.11	c (133,0) c ForcedImports_7 : 0
13.88/139.11	c (133,0) c ForcedImports_total : 0
13.88/139.11	c (133,0) c ForcedImports_winner : 0
13.88/139.11	c (133,0) c PropsBinClauses_0 : 124004768
13.88/139.11	c (133,0) c PropsBinClauses_1 : 121713429
13.88/139.11	c (133,0) c PropsBinClauses_2 : 125262421
13.88/139.11	c (133,0) c PropsBinClauses_3 : 120708853
13.88/139.11	c (133,0) c PropsBinClauses_4 : 120302186
13.88/139.11	c (133,0) c PropsBinClauses_5 : 121679584
13.88/139.11	c (133,0) c PropsBinClauses_6 : 123469171
13.88/139.11	c (133,0) c PropsBinClauses_7 : 122040430
13.88/139.11	c (133,0) c PropsBinClauses_total : 979180842
13.88/139.11	c (133,0) c PropsBinClauses_winner : 121713429
13.88/139.11	c (133,0) c PropsPreBlocker_0 : 4140121052
13.88/139.11	c (133,0) c PropsPreBlocker_1 : 4109629826
13.88/139.11	c (133,0) c PropsPreBlocker_2 : 4012308441
13.88/139.11	c (133,0) c PropsPreBlocker_3 : 4178821576
13.88/139.11	c (133,0) c PropsPreBlocker_4 : 4113324750
13.88/139.11	c (133,0) c PropsPreBlocker_5 : 4133493876
13.88/139.11	c (133,0) c PropsPreBlocker_6 : 4148409722
13.88/139.11	c (133,0) c PropsPreBlocker_7 : 4131272376
13.88/139.11	c (133,0) c PropsPreBlocker_total : 32967381619
13.88/139.11	c (133,0) c PropsPreBlocker_winner : 4109629826
13.88/139.11	c (133,0) c PropsNotBlocker_0 : 667701854
13.88/139.11	c (133,0) c PropsNotBlocker_1 : 672009347
13.88/139.11	c (133,0) c PropsNotBlocker_2 : 704065742
13.88/139.11	c (133,0) c PropsNotBlocker_3 : 660370844
13.88/139.11	c (133,0) c PropsNotBlocker_4 : 675639262
13.88/139.11	c (133,0) c PropsNotBlocker_5 : 676895048
13.88/139.11	c (133,0) c PropsNotBlocker_6 : 669855972
13.88/139.11	c (133,0) c PropsNotBlocker_7 : 679548501
13.88/139.11	c (133,0) c PropsNotBlocker_total : 5406086570
13.88/139.11	c (133,0) c PropsNotBlocker_winner : 672009347
13.88/139.11	c (133,0) c PropsLitFullScans_0 : 7274004284
13.88/139.11	c (133,0) c PropsLitFullScans_1 : 7275019480
13.88/139.11	c (133,0) c PropsLitFullScans_2 : 7273063423
13.88/139.11	c (133,0) c PropsLitFullScans_3 : 7273804806
13.88/139.11	c (133,0) c PropsLitFullScans_4 : 7273366635
13.88/139.11	c (133,0) c PropsLitFullScans_5 : 7273379118
13.88/139.11	c (133,0) c PropsLitFullScans_6 : 7273622233
13.88/139.11	c (133,0) c PropsLitFullScans_7 : 7273210265
13.88/139.11	c (133,0) c PropsLitFullScans_total : 58189470244
13.88/139.11	c (133,0) c PropsLitFullScans_winner : 7275019480
13.88/139.11	c (133,0) c LitScanFractions_0 : 1997985
13.88/139.11	c (133,0) c LitScanFractions_1 : 1339261
13.88/139.11	c (133,0) c LitScanFractions_2 : 1023795
13.88/139.11	c (133,0) c LitScanFractions_3 : 1797855
13.88/139.11	c (133,0) c LitScanFractions_4 : 1360877
13.88/139.11	c (133,0) c LitScanFractions_5 : 1365531
13.88/139.11	c (133,0) c LitScanFractions_6 : 1617381
13.88/139.11	c (133,0) c LitScanFractions_7 : 1202474
13.88/139.11	c (133,0) c LitScanFractions_total : 11705159
13.88/139.11	c (133,0) c LitScanFractions_winner : 1339261
13.88/139.11	c (133,0) c DecisionLevel0_0 : 529
13.88/139.11	c (133,0) c DecisionLevel0_1 : 645
13.88/139.11	c (133,0) c DecisionLevel0_2 : 569
13.88/139.11	c (133,0) c DecisionLevel0_3 : 673
13.88/139.11	c (133,0) c DecisionLevel0_4 : 754
13.88/139.11	c (133,0) c DecisionLevel0_5 : 644
13.88/139.11	c (133,0) c DecisionLevel0_6 : 655
13.88/139.11	c (133,0) c DecisionLevel0_7 : 768
13.88/139.11	c (133,0) c DecisionLevel0_total : 5237
13.88/139.11	c (133,0) c DecisionLevel0_winner : 645
13.88/139.11	c (133,0) c Periods_0 : 1212
13.88/139.11	c (133,0) c Periods_1 : 1212
13.88/139.11	c (133,0) c Periods_2 : 1212
13.88/139.11	c (133,0) c Periods_3 : 1212
13.88/139.11	c (133,0) c Periods_4 : 1212
13.88/139.11	c (133,0) c Periods_5 : 1212
13.88/139.11	c (133,0) c Periods_6 : 1212
13.88/139.11	c (133,0) c Periods_7 : 1212
13.88/139.11	c (133,0) c Periods_total : 9696
13.88/139.11	c (133,0) c Periods_winner : 1212
13.88/139.11	c (133,0) c Margin_0 : 20
13.88/139.11	c (133,0) c Margin_1 : 20
13.88/139.11	c (133,0) c Margin_2 : 20
13.88/139.11	c (133,0) c Margin_3 : 20
13.88/139.11	c (133,0) c Margin_4 : 20
13.88/139.11	c (133,0) c Margin_5 : 20
13.88/139.11	c (133,0) c Margin_6 : 20
13.88/139.11	c (133,0) c Margin_7 : 20
13.88/139.11	c (133,0) c Margin_total : 160
13.88/139.11	c (133,0) c Margin_winner : 20
13.88/139.11	c (133,0) c Exported_0 : 98898
13.88/139.11	c (133,0) c Exported_1 : 89116
13.88/139.11	c (133,0) c Exported_2 : 87602
13.88/139.11	c (133,0) c Exported_3 : 86840
13.88/139.11	c (133,0) c Exported_4 : 93264
13.88/139.11	c (133,0) c Exported_5 : 88767
13.88/139.11	c (133,0) c Exported_6 : 89601
13.88/139.11	c (133,0) c Exported_7 : 86321
13.88/139.11	c (133,0) c Exported_total : 720409
13.88/139.11	c (133,0) c Exported_winner : 89116
13.88/139.11	c (133,0) c Imported_0 : 616235
13.88/139.11	c (133,0) c Imported_1 : 625922
13.88/139.11	c (133,0) c Imported_2 : 615390
13.88/139.11	c (133,0) c Imported_3 : 627095
13.88/139.11	c (133,0) c Imported_4 : 620716
13.88/139.11	c (133,0) c Imported_5 : 623715
13.88/139.11	c (133,0) c Imported_6 : 623860
13.88/139.11	c (133,0) c Imported_7 : 626942
13.88/139.11	c (133,0) c Imported_total : 4979875
13.88/139.11	c (133,0) c Imported_winner : 625922
13.88/139.11	c (133,0) c Good_0 : 1783
13.88/139.11	c (133,0) c Good_1 : 1797
13.88/139.11	c (133,0) c Good_2 : 1744
13.88/139.11	c (133,0) c Good_3 : 1821
13.88/139.11	c (133,0) c Good_4 : 1755
13.88/139.11	c (133,0) c Good_5 : 1792
13.88/139.11	c (133,0) c Good_6 : 1788
13.88/139.11	c (133,0) c Good_7 : 1726
13.88/139.11	c (133,0) c Good_total : 14206
13.88/139.11	c (133,0) c Good_winner : 1797
13.88/139.11	c (133,0) c Purge_0 : 614452
13.88/139.11	c (133,0) c Purge_1 : 624125
13.88/139.11	c (133,0) c Purge_2 : 613646
13.88/139.11	c (133,0) c Purge_3 : 625274
13.88/139.11	c (133,0) c Purge_4 : 618961
13.88/139.11	c (133,0) c Purge_5 : 621923
13.88/139.11	c (133,0) c Purge_6 : 622072
13.88/139.11	c (133,0) c Purge_7 : 625216
13.88/139.11	c (133,0) c Purge_total : 4965669
13.88/139.11	c (133,0) c Purge_winner : 624125
13.88/139.11	c (133,0) c Promoted_0 : 51022
13.88/139.11	c (133,0) c Promoted_1 : 52879
13.88/139.11	c (133,0) c Promoted_2 : 51411
13.88/139.11	c (133,0) c Promoted_3 : 53631
13.88/139.11	c (133,0) c Promoted_4 : 51429
13.88/139.11	c (133,0) c Promoted_5 : 50022
13.88/139.11	c (133,0) c Promoted_6 : 52740
13.88/139.11	c (133,0) c Promoted_7 : 53883
13.88/139.11	c (133,0) c Promoted_total : 417017
13.88/139.11	c (133,0) c Promoted_winner : 52879
13.88/139.11	c (133,0) c Remove_Imp_0 : 481673
13.88/139.11	c (133,0) c Remove_Imp_1 : 481073
13.88/139.11	c (133,0) c Remove_Imp_2 : 482698
13.88/139.11	c (133,0) c Remove_Imp_3 : 476767
13.88/139.11	c (133,0) c Remove_Imp_4 : 494705
13.88/139.11	c (133,0) c Remove_Imp_5 : 496023
13.88/139.11	c (133,0) c Remove_Imp_6 : 472271
13.88/139.11	c (133,0) c Remove_Imp_7 : 497584
13.88/139.11	c (133,0) c Remove_Imp_total : 3882794
13.88/139.11	c (133,0) c Remove_Imp_winner : 481073
13.88/139.11	c (133,0) c Blocked_Reuse_0 : 0
13.88/139.11	c (133,0) c Blocked_Reuse_1 : 0
13.88/139.11	c (133,0) c Blocked_Reuse_2 : 0
13.88/139.11	c (133,0) c Blocked_Reuse_3 : 0
13.88/139.12	c (133,0) c Blocked_Reuse_4 : 0
13.88/139.12	c (133,0) c Blocked_Reuse_5 : 0
13.88/139.12	c (133,0) c Blocked_Reuse_6 : 0
13.88/139.12	c (133,0) c Blocked_Reuse_7 : 0
13.88/139.12	c (133,0) c Blocked_Reuse_total : 0
13.88/139.12	c (133,0) c Blocked_Reuse_winner : 0
13.88/139.12	c (133,0) c Unaries_0 : 12
13.88/139.12	c (133,0) c Unaries_1 : 16
13.88/139.12	c (133,0) c Unaries_2 : 11
13.88/139.12	c (133,0) c Unaries_3 : 9
13.88/139.12	c (133,0) c Unaries_4 : 11
13.88/139.12	c (133,0) c Unaries_5 : 10
13.88/139.12	c (133,0) c Unaries_6 : 11
13.88/139.12	c (133,0) c Unaries_7 : 9
13.88/139.12	c (133,0) c Unaries_total : 89
13.88/139.12	c (133,0) c Unaries_winner : 16
13.88/139.12	c (133,0) c Binaries_0 : 270
13.88/139.12	c (133,0) c Binaries_1 : 254
13.88/139.12	c (133,0) c Binaries_2 : 241
13.88/139.12	c (133,0) c Binaries_3 : 223
13.88/139.12	c (133,0) c Binaries_4 : 294
13.88/139.12	c (133,0) c Binaries_5 : 249
13.88/139.12	c (133,0) c Binaries_6 : 252
13.88/139.12	c (133,0) c Binaries_7 : 318
13.88/139.12	c (133,0) c Binaries_total : 2101
13.88/139.12	c (133,0) c Binaries_winner : 254
13.88/139.12	c (133,0) c Glues_0 : 1019
13.88/139.12	c (133,0) c Glues_1 : 921
13.88/139.12	c (133,0) c Glues_2 : 976
13.88/139.12	c (133,0) c Glues_3 : 900
13.88/139.12	c (133,0) c Glues_4 : 1102
13.88/139.12	c (133,0) c Glues_5 : 1025
13.88/139.12	c (133,0) c Glues_6 : 1010
13.88/139.12	c (133,0) c Glues_7 : 1168
13.88/139.12	c (133,0) c Glues_total : 8121
13.88/139.12	c (133,0) c Glues_winner : 921
13.88/139.12	c (133,0) c RunningTime_0 : 127.970191
13.88/139.12	c (133,0) c RunningTime_1 : 103.401057
13.88/139.12	c (133,0) c RunningTime_2 : 130.905503
13.88/139.12	c (133,0) c RunningTime_3 : 100.128134
13.88/139.12	c (133,0) c RunningTime_4 : 102.354870
13.88/139.12	c (133,0) c RunningTime_5 : 115.297901
13.88/139.12	c (133,0) c RunningTime_6 : 126.045834
13.88/139.12	c (133,0) c RunningTime_7 : 128.599283
13.88/139.12	c (133,0) c RunningTime_total : 934.702773
13.88/139.12	c (133,0) c RunningTime_winner : 103.401057
13.88/139.12	c (133,0) c WaitingTime_0 : 3.712655
13.88/139.12	c (133,0) c WaitingTime_1 : 27.827705
13.88/139.12	c (133,0) c WaitingTime_2 : 2.133244
13.88/139.12	c (133,0) c WaitingTime_3 : 31.131925
13.88/139.12	c (133,0) c WaitingTime_4 : 28.877697
13.88/139.12	c (133,0) c WaitingTime_5 : 15.997811
13.88/139.12	c (133,0) c WaitingTime_6 : 6.952049
13.88/139.12	c (133,0) c WaitingTime_7 : 3.297137
13.88/139.12	c (133,0) c WaitingTime_total : 119.930223
13.88/139.12	c (133,0) c WaitingTime_winner : 27.827705
13.88/139.12	c (133,0) c ExchangingTime_0 : 0.329871
13.88/139.12	c (133,0) c ExchangingTime_1 : 0.339660
13.88/139.12	c (133,0) c ExchangingTime_2 : 0.331789
13.88/139.12	c (133,0) c ExchangingTime_3 : 0.357874
13.88/139.12	c (133,0) c ExchangingTime_4 : 0.343893
13.88/139.12	c (133,0) c ExchangingTime_5 : 0.327219
13.88/139.12	c (133,0) c ExchangingTime_6 : 0.364709
13.88/139.12	c (133,0) c ExchangingTime_7 : 0.354697
13.88/139.12	c (133,0) c ExchangingTime_total : 2.749712
13.88/139.12	c (133,0) c ExchangingTime_winner : 0.339660
13.88/139.12	c (133,0) c PeriodProcTime_0 : 0.014992
13.88/139.12	c (133,0) c PeriodProcTime_1 : 0.010748
13.88/139.12	c (133,0) c PeriodProcTime_2 : 0.015908
13.88/139.12	c (133,0) c PeriodProcTime_3 : 0.024041
13.88/139.12	c (133,0) c PeriodProcTime_4 : 0.012097
13.88/139.12	c (133,0) c PeriodProcTime_5 : 0.009687
13.88/139.12	c (133,0) c PeriodProcTime_6 : 0.012739
13.88/139.13	c (133,0) c PeriodProcTime_7 : 0.013066
13.88/139.13	c (133,0) c PeriodProcTime_total : 0.113278
13.88/139.13	c (133,0) c PeriodProcTime_winner : 0.010748
13.88/139.13	c (133,0) c SolvingTime_0 : 132.027710
13.88/139.13	c (133,0) c SolvingTime_1 : 131.579170
13.88/139.13	c (133,0) c SolvingTime_2 : 133.386444
13.88/139.13	c (133,0) c SolvingTime_3 : 131.641974
13.88/139.13	c (133,0) c SolvingTime_4 : 131.588557
13.88/139.13	c (133,0) c SolvingTime_5 : 131.632619
13.88/139.13	c (133,0) c SolvingTime_6 : 133.375331
13.88/139.13	c (133,0) c SolvingTime_7 : 132.264182
13.88/139.13	c (133,0) c SolvingTime_total : 1057.495986
13.88/139.13	c (133,0) c SolvingTime_winner : 131.579170
13.88/139.13	c (133,0) c PropagationTime_0 : 91.456407
13.88/139.13	c (133,0) c PropagationTime_1 : 110.980933
13.88/139.13	c (133,0) c PropagationTime_2 : 88.355639
13.88/139.13	c (133,0) c PropagationTime_3 : 118.712872
13.88/139.13	c (133,0) c PropagationTime_4 : 115.898568
13.88/139.13	c (133,0) c PropagationTime_5 : 94.364307
13.88/139.13	c (133,0) c PropagationTime_6 : 93.131657
13.88/139.13	c (133,0) c PropagationTime_7 : 88.026203
13.88/139.13	c (133,0) c PropagationTime_total : 800.926585
13.88/139.13	c (133,0) c PropagationTime_winner : 110.980933
13.88/139.13	c (133,0) c AnalysisTime_0 : 37.174602
13.88/139.13	c (133,0) c AnalysisTime_1 : 17.388346
13.88/139.13	c (133,0) c AnalysisTime_2 : 41.842860
13.88/139.13	c (133,0) c AnalysisTime_3 : 9.564397
13.88/139.13	c (133,0) c AnalysisTime_4 : 12.088535
13.88/139.13	c (133,0) c AnalysisTime_5 : 33.993634
13.88/139.13	c (133,0) c AnalysisTime_6 : 36.809064
13.88/139.13	c (133,0) c AnalysisTime_7 : 40.713035
13.88/139.13	c (133,0) c AnalysisTime_total : 229.574473
13.88/139.13	c (133,0) c AnalysisTime_winner : 17.388346
13.88/139.13	c (133,0) c ReductionTime_0 : 1.297678
13.88/139.13	c (133,0) c ReductionTime_1 : 1.160816
13.88/139.13	c (133,0) c ReductionTime_2 : 1.198096
13.88/139.13	c (133,0) c ReductionTime_3 : 1.273438
13.88/139.13	c (133,0) c ReductionTime_4 : 1.413418
13.88/139.13	c (133,0) c ReductionTime_5 : 1.159134
13.88/139.13	c (133,0) c ReductionTime_6 : 1.289559
13.88/139.13	c (133,0) c ReductionTime_7 : 1.372034
13.88/139.13	c (133,0) c ReductionTime_total : 10.164173
13.88/139.13	c (133,0) c ReductionTime_winner : 1.160816
13.88/139.13	c (133,0) c SimplifyTime_0 : 0.063116
13.88/139.13	c (133,0) c SimplifyTime_1 : 0.069161
13.88/139.13	c (133,0) c SimplifyTime_2 : 0.041018
13.88/139.13	c (133,0) c SimplifyTime_3 : 0.096238
13.88/139.13	c (133,0) c SimplifyTime_4 : 0.132773
13.88/139.13	c (133,0) c SimplifyTime_5 : 0.152186
13.88/139.13	c (133,0) c SimplifyTime_6 : 0.065884
13.88/139.13	c (133,0) c SimplifyTime_7 : 0.064459
13.88/139.13	c (133,0) c SimplifyTime_total : 0.684836
13.88/139.13	c (133,0) c SimplifyTime_winner : 0.069161
13.88/139.13	c (133,0) c UsedRateTime_0 : 0.000000
13.88/139.13	c (133,0) c UsedRateTime_1 : 0.000000
13.88/139.13	c (133,0) c UsedRateTime_2 : 0.000000
13.88/139.13	c (133,0) c UsedRateTime_3 : 0.000000
13.88/139.13	c (133,0) c UsedRateTime_4 : 0.000000
13.88/139.13	c (133,0) c UsedRateTime_5 : 0.000000
13.88/139.13	c (133,0) c UsedRateTime_6 : 0.000000
13.88/139.13	c (133,0) c UsedRateTime_7 : 0.000000
13.88/139.13	c (133,0) c UsedRateTime_total : 0.000000
13.88/139.13	c (133,0) c UsedRateTime_winner : 0.000000
13.88/139.13	c (133,0) c OverlapRateTime_0 : 0.000000
13.88/139.13	c (133,0) c OverlapRateTime_1 : 0.000000
13.88/139.13	c (133,0) c OverlapRateTime_2 : 0.000000
13.88/139.13	c (133,0) c OverlapRateTime_3 : 0.000000
13.88/139.13	c (133,0) c OverlapRateTime_4 : 0.000000
13.88/139.13	c (133,0) c OverlapRateTime_5 : 0.000000
13.88/139.13	c (133,0) c OverlapRateTime_6 : 0.000000
13.88/139.13	c (133,0) c OverlapRateTime_7 : 0.000000
13.88/139.13	c (133,0) c OverlapRateTime_total : 0.000000
13.88/139.13	c (133,0) c OverlapRateTime_winner : 0.000000
13.88/139.13	c (133,0) c
13.88/139.13	c (133,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
13.88/139.13	c (133,0) c
13.88/139.13	c (133,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
13.88/139.13	c (133,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
13.88/139.13	c (133,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
13.88/139.13	c (133,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
13.88/139.13	c (133,0) c | adaptStrategeis       |      False |      False |      False |      False |      False |      False |      False |      False |
13.88/139.13	c (133,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
13.88/139.13	c (133,0) c | Initial random_seed   | 1501048004 | 1363246240 |  225576758 |  888254766 |  496616609 | 1227459745 | 1328914127 |  264432473 |
13.88/139.13	c (133,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
13.88/139.13	c (133,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
13.88/139.13	c (133,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
13.88/139.13	c (133,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
13.88/139.13	c (133,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
13.88/139.13	c (133,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
13.88/139.13	c (133,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
13.88/139.13	c (133,0) c | var_decay             |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
13.88/139.13	c (133,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
13.88/139.13	c (133,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
13.88/139.13	c (133,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
13.88/139.13	c (133,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
13.88/139.13	c (133,0) 
13.88/139.13	c (133,0) s UNSATISFIABLE
13.88/139.13	c (133,0) SatSolver.solve End
13.88/139.13	c (133,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
13.88/139.13	c (133,0) Show results Begin
13.88/139.13	s UNSATISFIABLE
13.88/139.13	c (133,0) Show results End
13.88/139.13	c (133,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
13.88/139.14	c (133,0) 133,133,STOP-AFTER(ALL)
13.88/139.14	c END-Prog: Sat Sep 14 06:50:43 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 (14844 MiB free)
  memory of node 1: 16384 MiB (15304 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392787-1568436541/watcher-4392787-1568436541 -o /tmp/evaluation-result-4392787-1568436541/solver-4392787-1568436541 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node149-1568429993-11990 --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-4392787-1568436541.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
16091
Current StackSize limit: 8192 KiB


[startup+0.100106 s]*
/proc/loadavg: 6.58 7.17 7.49 4/211 16116
/proc/meminfo: memFree=30776276/32770624 swapFree=66940952/67108860
[pid=16094] ppid=16091 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/16094/stat : 16094 (scop.sh) S 16091 16094 11963 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 419892839 115843072 349 33554432000 4194304 5098028 140731794503680 140731794500936 140273679798908 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 28106752 140731794510628 140731794510956 140731794510956 140731794513869 0
/proc/16094/statm: 28282 349 296 221 0 87 0
[pid=16097] ppid=16094 vsize=27314120 memory=108484 CPUtime=0.11 cores=0-7
/proc/16097/stat : 16097 (java) S 16094 16094 11963 0 -1 1077944320 6158 0 0 0 8 3 0 0 20 0 20 0 419892839 27969658880 27121 33554432000 4194304 4196468 140724759960816 140724759943360 140654186266359 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11247616 140724759966442 140724759966870 140724759966870 140724759969743 0
/proc/16097/statm: 6828530 27121 2778 1 0 6790935 0
[pid=16097/tid=16098] ppid=16094 vsize=27314120 memory=7681621922549768352 CPUtime=0.08 cores=0-7
/proc/16097/task/16098/stat : 16098 (java) R 16094 16094 11963 0 -1 4202560 4267 0 0 0 6 2 0 0 20 0 20 0 419892839 27969658880 27121 33554432000 4194304 4196468 140724759960816 140654158089408 140654170346846 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11247616 140724759966442 140724759966870 140724759966870 140724759969743 0
[pid=16097/tid=16099] ppid=16094 vsize=27314120 memory=732369866104994789 CPUtime=0 cores=0-7
/proc/16097/task/16099/stat : 16099 (java) S 16094 16094 11963 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419892842 27969658880 27121 33554432000 4194304 4196468 140724759960816 140654190509072 140654186276565 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11247616 140724759966442 140724759966870 140724759966870 140724759969743 0
[pid=16097/tid=16100] ppid=16094 vsize=27314120 memory=139727767541376 CPUtime=0 cores=0-7
/proc/16097/task/16100/stat : 16100 (java) S 16094 16094 11963 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419892842 27969658880 27121 33554432000 4194304 4196468 140724759960816 140654008597648 140654186276565 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11247616 140724759966442 140724759966870 140724759966870 140724759969743 0
[pid=16097/tid=16101] ppid=16094 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16097/task/16101/stat : 16101 (java) S 16094 16094 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419892842 27969658880 27121 33554432000 4194304 4196468 140724759960816 140654007544592 140654186276565 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11247616 140724759966442 140724759966870 140724759966870 140724759969743 0
[pid=16097/tid=16102] ppid=16094 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16097/task/16102/stat : 16102 (java) S 16094 16094 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419892842 27969658880 27121 33554432000 4194304 4196468 140724759960816 140654006492048 140654186276565 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11247616 140724759966442 140724759966870 140724759966870 140724759969743 0
[pid=16097/tid=16103] ppid=16094 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16097/task/16103/stat : 16103 (java) S 16094 16094 11963 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419892842 27969658880 27121 33554432000 4194304 4196468 140724759960816 140653605321232 140654186276565 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11247616 140724759966442 140724759966870 140724759966870 140724759969743 0
[pid=16097/tid=16104] ppid=16094 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/16097/task/16104/stat : 16104 (java) S 16094 16094 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419892842 27969658880 27121 33554432000 4194304 4196468 140724759960816 140653604268688 140654186276565 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11247616 140724759966442 140724759966870 140724759966870 140724759969743 0
[pid=16097/tid=16105] ppid=16094 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16097/task/16105/stat : 16105 (java) S 16094 16094 11963 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419892842 27969658880 27121 33554432000 4194304 4196468 140724759960816 140653603215632 140654186276565 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11247616 140724759966442 140724759966870 140724759966870 140724759969743 0
[pid=16097/tid=16106] ppid=16094 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16097/task/16106/stat : 16106 (java) S 16094 16094 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419892842 27969658880 27121 33554432000 4194304 4196468 140724759960816 140653602163088 140654186276565 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11247616 140724759966442 140724759966870 140724759966870 140724759969743 0
[pid=16097/tid=16107] ppid=16094 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16097/task/16107/stat : 16107 (java) S 16094 16094 11963 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419892843 27969658880 27121 33554432000 4194304 4196468 140724759960816 140652305201904 140654186277506 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11247616 140724759966442 140724759966870 140724759966870 140724759969743 0
[pid=16097/tid=16108] ppid=16094 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16097/task/16108/stat : 16108 (java) S 16094 16094 11963 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419892844 27969658880 27121 33554432000 4194304 4196468 140724759960816 140652125873824 140654186276565 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11247616 140724759966442 140724759966870 140724759966870 140724759969743 0
[pid=16097/tid=16109] ppid=16094 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16097/task/16109/stat : 16109 (java) S 16094 16094 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419892844 27969658880 27121 33554432000 4194304 4196468 140724759960816 140651857437936 140654186276565 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11247616 140724759966442 140724759966870 140724759966870 140724759969743 0
[pid=16097/tid=16110] ppid=16094 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16097/task/16110/stat : 16110 (java) S 16094 16094 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419892846 27969658880 27121 33554432000 4194304 4196468 140724759960816 140651482929616 140654186284955 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11247616 140724759966442 140724759966870 140724759966870 140724759969743 0
[pid=16097/tid=16111] ppid=16094 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16097/task/16111/stat : 16111 (java) S 16094 16094 11963 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 20 0 419892846 27969658880 27121 33554432000 4194304 4196468 140724759960816 140652304148720 140654186277506 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11247616 140724759966442 140724759966870 140724759966870 140724759969743 0
[pid=16097/tid=16112] ppid=16094 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16097/task/16112/stat : 16112 (java) S 16094 16094 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419892847 27969658880 27121 33554432000 4194304 4196468 140724759960816 140652303096176 140654186277506 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11247616 140724759966442 140724759966870 140724759966870 140724759969743 0
[pid=16097/tid=16113] ppid=16094 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16097/task/16113/stat : 16113 (java) S 16094 16094 11963 0 -1 1077944384 275 0 0 0 0 0 0 0 20 0 20 0 419892847 27969658880 27121 33554432000 4194304 4196468 140724759960816 140652302043120 140654186277506 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11247616 140724759966442 140724759966870 140724759966870 140724759969743 0
[pid=16097/tid=16114] ppid=16094 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16097/task/16114/stat : 16114 (java) S 16094 16094 11963 0 -1 1077944384 249 0 0 0 0 0 0 0 20 0 20 0 419892847 27969658880 27121 33554432000 4194304 4196468 140724759960816 140652300990576 140654186277506 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11247616 140724759966442 140724759966870 140724759966870 140724759969743 0
[pid=16097/tid=16115] ppid=16094 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16097/task/16115/stat : 16115 (java) S 16094 16094 11963 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419892847 27969658880 27121 33554432000 4194304 4196468 140724759960816 140650985024480 140654186276565 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11247616 140724759966442 140724759966870 140724759966870 140724759969743 0
[pid=16097/tid=16116] ppid=16094 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/16097/task/16116/stat : 16116 (java) S 16094 16094 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419892847 27969658880 27121 33554432000 4194304 4196468 140724759960816 140652299938992 140654186277506 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11247616 140724759966442 140724759966870 140724759966870 140724759969743 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 109880 KiB

[startup+0.210077 s]*
/proc/loadavg: 6.58 7.17 7.49 2/211 16116
/proc/meminfo: memFree=30758200/32770624 swapFree=66940952/67108860
[pid=16094] ppid=16091 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/16094/stat : 16094 (scop.sh) S 16091 16094 11963 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 419892839 115843072 349 33554432000 4194304 5098028 140731794503680 140731794500936 140273679798908 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 28106752 140731794510628 140731794510956 140731794510956 140731794513869 0
/proc/16094/statm: 28282 349 296 221 0 87 0
[pid=16097] ppid=16094 vsize=27314120 memory=125088 CPUtime=0.24 cores=0-7
/proc/16097/stat : 16097 (java) S 16094 16094 11963 0 -1 1077944320 11157 0 0 0 20 4 0 0 20 0 20 0 419892839 27969658880 31272 33554432000 4194304 4196468 140724759960816 140724759943360 140654186266359 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11247616 140724759966442 140724759966870 140724759966870 140724759969743 0
/proc/16097/statm: 6828530 31272 2932 1 0 6790935 0
[pid=16097/tid=16098] ppid=16094 vsize=27314120 memory=0 CPUtime=0.2 cores=0-7
/proc/16097/task/16098/stat : 16098 (java) R 16094 16094 11963 0 -1 4202560 8889 0 0 0 16 4 0 0 20 0 20 0 419892839 27969658880 31272 33554432000 4194304 4196468 140724759960816 140654158089072 140654166542240 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11247616 140724759966442 140724759966870 140724759966870 140724759969743 0
[pid=16097/tid=16099] ppid=16094 vsize=27314120 memory=732369866104994789 CPUtime=0 cores=0-7
/proc/16097/task/16099/stat : 16099 (java) S 16094 16094 11963 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419892842 27969658880 31272 33554432000 4194304 4196468 140724759960816 140654190509072 140654186276565 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11247616 140724759966442 140724759966870 140724759966870 140724759969743 0
[pid=16097/tid=16100] ppid=16094 vsize=27314120 memory=139727767541376 CPUtime=0 cores=0-7
/proc/16097/task/16100/stat : 16100 (java) S 16094 16094 11963 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419892842 27969658880 31272 33554432000 4194304 4196468 140724759960816 140654008597648 140654186276565 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11247616 140724759966442 140724759966870 140724759966870 140724759969743 0
[pid=16097/tid=16101] ppid=16094 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16097/task/16101/stat : 16101 (java) S 16094 16094 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419892842 27969658880 31272 33554432000 4194304 4196468 140724759960816 140654007544592 140654186276565 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11247616 140724759966442 140724759966870 140724759966870 140724759969743 0
[pid=16097/tid=16102] ppid=16094 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16097/task/16102/stat : 16102 (java) S 16094 16094 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419892842 27969658880 31272 33554432000 4194304 4196468 140724759960816 140654006492048 140654186276565 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11247616 140724759966442 140724759966870 140724759966870 140724759969743 0
[pid=16097/tid=16103] ppid=16094 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16097/task/16103/stat : 16103 (java) S 16094 16094 11963 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419892842 27969658880 31272 33554432000 4194304 4196468 140724759960816 140653605321232 140654186276565 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11247616 140724759966442 140724759966870 140724759966870 140724759969743 0
[pid=16097/tid=16104] ppid=16094 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/16097/task/16104/stat : 16104 (java) S 16094 16094 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419892842 27969658880 31272 33554432000 4194304 4196468 140724759960816 140653604268688 140654186276565 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11247616 140724759966442 140724759966870 140724759966870 140724759969743 0
[pid=16097/tid=16105] ppid=16094 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16097/task/16105/stat : 16105 (java) S 16094 16094 11963 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419892842 27969658880 31272 33554432000 4194304 4196468 140724759960816 140653603215632 140654186276565 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11247616 140724759966442 140724759966870 140724759966870 140724759969743 0
[pid=16097/tid=16106] ppid=16094 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16097/task/16106/stat : 16106 (java) S 16094 16094 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419892842 27969658880 31272 33554432000 4194304 4196468 140724759960816 140653602163088 140654186276565 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11247616 140724759966442 140724759966870 140724759966870 140724759969743 0
[pid=16097/tid=16107] ppid=16094 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16097/task/16107/stat : 16107 (java) S 16094 16094 11963 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419892843 27969658880 31272 33554432000 4194304 4196468 140724759960816 140652305201904 140654186277506 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11247616 140724759966442 140724759966870 140724759966870 140724759969743 0
[pid=16097/tid=16108] ppid=16094 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16097/task/16108/stat : 16108 (java) S 16094 16094 11963 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419892844 27969658880 31272 33554432000 4194304 4196468 140724759960816 140652125873824 140654186276565 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11247616 140724759966442 140724759966870 140724759966870 140724759969743 0
[pid=16097/tid=16109] ppid=16094 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16097/task/16109/stat : 16109 (java) S 16094 16094 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419892844 27969658880 31272 33554432000 4194304 4196468 140724759960816 140651857437936 140654186276565 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11247616 140724759966442 140724759966870 140724759966870 140724759969743 0
[pid=16097/tid=16110] ppid=16094 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16097/task/16110/stat : 16110 (java) S 16094 16094 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419892846 27969658880 31272 33554432000 4194304 4196468 140724759960816 140651482929616 140654186284955 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11247616 140724759966442 140724759966870 140724759966870 140724759969743 0
[pid=16097/tid=16111] ppid=16094 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16097/task/16111/stat : 16111 (java) S 16094 16094 11963 0 -1 1077944384 178 0 0 0 0 0 0 0 20 0 20 0 419892846 27969658880 31272 33554432000 4194304 4196468 140724759960816 140652304148720 140654186277506 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11247616 140724759966442 140724759966870 140724759966870 140724759969743 0
[pid=16097/tid=16112] ppid=16094 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16097/task/16112/stat : 16112 (java) S 16094 16094 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419892847 27969658880 31272 33554432000 4194304 4196468 140724759960816 140652303096176 140654186277506 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11247616 140724759966442 140724759966870 140724759966870 140724759969743 0
[pid=16097/tid=16113] ppid=16094 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16097/task/16113/stat : 16113 (java) S 16094 16094 11963 0 -1 1077944384 288 0 0 0 0 0 0 0 20 0 20 0 419892847 27969658880 31272 33554432000 4194304 4196468 140724759960816 140652302043120 140654186277506 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11247616 140724759966442 140724759966870 140724759966870 140724759969743 0
[pid=16097/tid=16114] ppid=16094 vsize=27314120 memory=0 CPUtime=0.02 cores=0-7
/proc/16097/task/16114/stat : 16114 (java) S 16094 16094 11963 0 -1 1077944384 461 0 0 0 2 0 0 0 20 0 20 0 419892847 27969658880 31272 33554432000 4194304 4196468 140724759960816 140652300990576 140654186277506 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11247616 140724759966442 140724759966870 140724759966870 140724759969743 0
[pid=16097/tid=16115] ppid=16094 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16097/task/16115/stat : 16115 (java) S 16094 16094 11963 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419892847 27969658880 31272 33554432000 4194304 4196468 140724759960816 140650985024480 140654186276565 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11247616 140724759966442 140724759966870 140724759966870 140724759969743 0
[pid=16097/tid=16116] ppid=16094 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/16097/task/16116/stat : 16116 (java) S 16094 16094 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419892847 27969658880 31272 33554432000 4194304 4196468 140724759960816 140652299938992 140654186277506 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11247616 140724759966442 140724759966870 140724759966870 140724759969743 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 126484 KiB

[startup+0.30959 s]*
/proc/loadavg: 6.58 7.17 7.49 2/211 16116
/proc/meminfo: memFree=30755120/32770624 swapFree=66940952/67108860
[pid=16094] ppid=16091 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/16094/stat : 16094 (scop.sh) S 16091 16094 11963 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 419892839 115843072 349 33554432000 4194304 5098028 140731794503680 140731794500936 140273679798908 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 28106752 140731794510628 140731794510956 140731794510956 140731794513869 0
/proc/16094/statm: 28282 349 296 221 0 87 0
[pid=16097] ppid=16094 vsize=27314120 memory=129496 CPUtime=0.42 cores=0-7
/proc/16097/stat : 16097 (java) S 16094 16094 11963 0 -1 1077944320 11757 0 0 0 38 4 0 0 20 0 20 0 419892839 27969658880 32374 33554432000 4194304 4196468 140724759960816 140724759943360 140654186266359 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11247616 140724759966442 140724759966870 140724759966870 140724759969743 0
/proc/16097/statm: 6828530 32374 3041 1 0 6790935 0
[pid=16097/tid=16098] ppid=16094 vsize=27314120 memory=6791534058613427641 CPUtime=0.3 cores=0-7
/proc/16097/task/16098/stat : 16098 (java) R 16094 16094 11963 0 -1 4202560 9278 0 0 0 26 4 0 0 20 0 20 0 419892839 27969658880 32374 33554432000 4194304 4196468 140724759960816 140654158061032 140654167660093 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11247616 140724759966442 140724759966870 140724759966870 140724759969743 0
[pid=16097/tid=16099] ppid=16094 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16097/task/16099/stat : 16099 (java) S 16094 16094 11963 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419892842 27969658880 32374 33554432000 4194304 4196468 140724759960816 140654190509072 140654186276565 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11247616 140724759966442 140724759966870 140724759966870 140724759969743 0
[pid=16097/tid=16100] ppid=16094 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16097/task/16100/stat : 16100 (java) S 16094 16094 11963 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419892842 27969658880 32374 33554432000 4194304 4196468 140724759960816 140654008597648 140654186276565 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11247616 140724759966442 140724759966870 140724759966870 140724759969743 0
[pid=16097/tid=16101] ppid=16094 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16097/task/16101/stat : 16101 (java) S 16094 16094 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419892842 27969658880 32374 33554432000 4194304 4196468 140724759960816 140654007544592 140654186276565 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11247616 140724759966442 140724759966870 140724759966870 140724759969743 0
[pid=16097/tid=16102] ppid=16094 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16097/task/16102/stat : 16102 (java) S 16094 16094 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419892842 27969658880 32374 33554432000 4194304 4196468 140724759960816 140654006492048 140654186276565 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11247616 140724759966442 140724759966870 140724759966870 140724759969743 0
[pid=16097/tid=16103] ppid=16094 vsize=27314120 memory=2244 CPUtime=0 cores=0-7
/proc/16097/task/16103/stat : 16103 (java) S 16094 16094 11963 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419892842 27969658880 32374 33554432000 4194304 4196468 140724759960816 140653605321232 140654186276565 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11247616 140724759966442 140724759966870 140724759966870 140724759969743 0
[pid=16097/tid=16104] ppid=16094 vsize=27314120 memory=139727634265007 CPUtime=0 cores=0-7
/proc/16097/task/16104/stat : 16104 (java) S 16094 16094 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419892842 27969658880 32374 33554432000 4194304 4196468 140724759960816 140653604268688 140654186276565 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11247616 140724759966442 140724759966870 140724759966870 140724759969743 0
[pid=16097/tid=16105] ppid=16094 vsize=27314120 memory=139727634267312 CPUtime=0 cores=0-7
/proc/16097/task/16105/stat : 16105 (java) S 16094 16094 11963 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419892842 27969658880 32374 33554432000 4194304 4196468 140724759960816 140653603215632 140654186276565 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11247616 140724759966442 140724759966870 140724759966870 140724759969743 0
[pid=16097/tid=16106] ppid=16094 vsize=27314120 memory=139727634269616 CPUtime=0 cores=0-7
/proc/16097/task/16106/stat : 16106 (java) S 16094 16094 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419892842 27969658880 32374 33554432000 4194304 4196468 140724759960816 140653602163088 140654186276565 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11247616 140724759966442 140724759966870 140724759966870 140724759969743 0
[pid=16097/tid=16107] ppid=16094 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16097/task/16107/stat : 16107 (java) S 16094 16094 11963 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419892843 27969658880 32374 33554432000 4194304 4196468 140724759960816 140652305201904 140654186277506 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11247616 140724759966442 140724759966870 140724759966870 140724759969743 0
[pid=16097/tid=16108] ppid=16094 vsize=27314120 memory=279455268546192 CPUtime=0 cores=0-7
/proc/16097/task/16108/stat : 16108 (java) S 16094 16094 11963 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419892844 27969658880 32374 33554432000 4194304 4196468 140724759960816 140652125873824 140654186276565 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11247616 140724759966442 140724759966870 140724759966870 140724759969743 0
[pid=16097/tid=16109] ppid=16094 vsize=27314120 memory=279455268553104 CPUtime=0 cores=0-7
/proc/16097/task/16109/stat : 16109 (java) S 16094 16094 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419892844 27969658880 32374 33554432000 4194304 4196468 140724759960816 140651857437936 140654186276565 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11247616 140724759966442 140724759966870 140724759966870 140724759969743 0
[pid=16097/tid=16110] ppid=16094 vsize=27314120 memory=279455268494256 CPUtime=0 cores=0-7
/proc/16097/task/16110/stat : 16110 (java) S 16094 16094 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419892846 27969658880 32374 33554432000 4194304 4196468 140724759960816 140651482929616 140654186284955 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11247616 140724759966442 140724759966870 140724759966870 140724759969743 0
[pid=16097/tid=16111] ppid=16094 vsize=27314120 memory=279455268566928 CPUtime=0 cores=0-7
/proc/16097/task/16111/stat : 16111 (java) R 16094 16094 11963 0 -1 4202560 222 0 0 0 0 0 0 0 20 0 20 0 419892846 27969658880 32374 33554432000 4194304 4196468 140724759960816 140652304148720 140654167789327 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11247616 140724759966442 140724759966870 140724759966870 140724759969743 0
[pid=16097/tid=16112] ppid=16094 vsize=27314120 memory=279455268573840 CPUtime=0.02 cores=0-7
/proc/16097/task/16112/stat : 16112 (java) S 16094 16094 11963 0 -1 1077944384 113 0 0 0 2 0 0 0 20 0 20 0 419892847 27969658880 32374 33554432000 4194304 4196468 140724759960816 140652303096176 140654186277506 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11247616 140724759966442 140724759966870 140724759966870 140724759969743 0
[pid=16097/tid=16113] ppid=16094 vsize=27314120 memory=279455268571536 CPUtime=0.01 cores=0-7
/proc/16097/task/16113/stat : 16113 (java) S 16094 16094 11963 0 -1 1077944384 305 0 0 0 1 0 0 0 20 0 20 0 419892847 27969658880 32374 33554432000 4194304 4196468 140724759960816 140652302043120 140654186277506 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11247616 140724759966442 140724759966870 140724759966870 140724759969743 0
[pid=16097/tid=16114] ppid=16094 vsize=27314120 memory=279455268587696 CPUtime=0.07 cores=0-7
/proc/16097/task/16114/stat : 16114 (java) S 16094 16094 11963 0 -1 1077944384 505 0 0 0 7 0 0 0 20 0 20 0 419892847 27969658880 32374 33554432000 4194304 4196468 140724759960816 140652300990576 140654186277506 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11247616 140724759966442 140724759966870 140724759966870 140724759969743 0
[pid=16097/tid=16115] ppid=16094 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16097/task/16115/stat : 16115 (java) S 16094 16094 11963 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419892847 27969658880 32374 33554432000 4194304 4196468 140724759960816 140650985024480 140654186276565 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11247616 140724759966442 140724759966870 140724759966870 140724759969743 0
[pid=16097/tid=16116] ppid=16094 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/16097/task/16116/stat : 16116 (java) S 16094 16094 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419892847 27969658880 32374 33554432000 4194304 4196468 140724759960816 140652299938992 140654186277506 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11247616 140724759966442 140724759966870 140724759966870 140724759969743 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 130892 KiB

[startup+0.700945 s]
/proc/loadavg: 6.58 7.17 7.49 4/211 16116
/proc/meminfo: memFree=30732720/32770624 swapFree=66940952/67108860
[pid=16094] ppid=16091 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/16094/stat : 16094 (scop.sh) S 16091 16094 11963 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 419892839 115843072 349 33554432000 4194304 5098028 140731794503680 140731794500936 140273679798908 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 28106752 140731794510628 140731794510956 140731794510956 140731794513869 0
/proc/16094/statm: 28282 349 296 221 0 87 0
[pid=16097] ppid=16094 vsize=27320392 memory=167360 CPUtime=1.01 cores=0-7
/proc/16097/stat : 16097 (java) S 16094 16094 11963 0 -1 1077944320 19913 0 0 0 94 7 0 0 20 0 20 0 419892839 27976081408 41840 33554432000 4194304 4196468 140724759960816 140724759943360 140654186266359 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11247616 140724759966442 140724759966870 140724759966870 140724759969743 0
/proc/16097/statm: 6830098 41840 3181 1 0 6791447 0
[pid=16097/tid=16098] ppid=16094 vsize=27320392 memory=279455268882624 CPUtime=0.67 cores=0-7
/proc/16097/task/16098/stat : 16098 (java) R 16094 16094 11963 0 -1 4202560 16859 0 0 0 61 6 0 0 20 0 20 0 419892839 27976081408 41840 33554432000 4194304 4196468 140724759960816 140654158102384 140653686258128 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11247616 140724759966442 140724759966870 140724759966870 140724759969743 0
[pid=16097/tid=16099] ppid=16094 vsize=27320392 memory=1772 CPUtime=0 cores=0-7
/proc/16097/task/16099/stat : 16099 (java) S 16094 16094 11963 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419892842 27976081408 41840 33554432000 4194304 4196468 140724759960816 140654190509072 140654186276565 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11247616 140724759966442 140724759966870 140724759966870 140724759969743 0
[pid=16097/tid=16100] ppid=16094 vsize=27320392 memory=1056 CPUtime=0 cores=0-7
/proc/16097/task/16100/stat : 16100 (java) S 16094 16094 11963 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419892842 27976081408 41840 33554432000 4194304 4196468 140724759960816 140654008597648 140654186276565 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11247616 140724759966442 140724759966870 140724759966870 140724759969743 0
[pid=16097/tid=16101] ppid=16094 vsize=27320392 memory=1556 CPUtime=0 cores=0-7
/proc/16097/task/16101/stat : 16101 (java) S 16094 16094 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419892842 27976081408 41840 33554432000 4194304 4196468 140724759960816 140654007544592 140654186276565 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11247616 140724759966442 140724759966870 140724759966870 140724759969743 0

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

/proc/16117/task/16125/stat : 16125 (java) S 16094 16094 11963 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419893326 8616062976 30407 33554432000 4194304 4196468 140721172807008 140613792631568 140614312793813 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27770880 140721172808695 140721172808854 140721172808854 140721172811727 0
[pid=16117/tid=16126] ppid=16094 vsize=8414124 memory=804 CPUtime=0 cores=0-7
/proc/16117/task/16126/stat : 16126 (java) S 16094 16094 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419893326 8616062976 30407 33554432000 4194304 4196468 140721172807008 140613791579024 140614312793813 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27770880 140721172808695 140721172808854 140721172808854 140721172811727 0
[pid=16117/tid=16127] ppid=16094 vsize=8414124 memory=1764 CPUtime=0 cores=0-7
/proc/16117/task/16127/stat : 16127 (java) S 16094 16094 11963 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 419893328 8616062976 30407 33554432000 4194304 4196468 140721172807008 140613607631088 140614312794754 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27770880 140721172808695 140721172808854 140721172808854 140721172811727 0
[pid=16117/tid=16128] ppid=16094 vsize=8414124 memory=111628 CPUtime=0 cores=0-7
/proc/16117/task/16128/stat : 16128 (java) S 16094 16094 11963 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 419893328 8616062976 30407 33554432000 4194304 4196468 140721172807008 140613001405600 140614312793813 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27770880 140721172808695 140721172808854 140721172808854 140721172811727 0
[pid=16117/tid=16129] ppid=16094 vsize=8414124 memory=800 CPUtime=0 cores=0-7
/proc/16117/task/16129/stat : 16129 (java) S 16094 16094 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419893329 8616062976 30407 33554432000 4194304 4196468 140721172807008 140612732969712 140614312793813 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27770880 140721172808695 140721172808854 140721172808854 140721172811727 0
[pid=16117/tid=16130] ppid=16094 vsize=8414124 memory=1808 CPUtime=0 cores=0-7
/proc/16117/task/16130/stat : 16130 (java) S 16094 16094 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419893331 8616062976 30407 33554432000 4194304 4196468 140721172807008 140612358461392 140614312802203 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27770880 140721172808695 140721172808854 140721172808854 140721172811727 0
[pid=16117/tid=16131] ppid=16094 vsize=8414124 memory=924 CPUtime=0.07 cores=0-7
/proc/16117/task/16131/stat : 16131 (java) S 16094 16094 11963 0 -1 1077944384 612 0 0 0 7 0 0 0 20 0 24 0 419893331 8616062976 30407 33554432000 4194304 4196468 140721172807008 140613606578928 140614312794754 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27770880 140721172808695 140721172808854 140721172808854 140721172811727 0
[pid=16117/tid=16132] ppid=16094 vsize=8414124 memory=1476 CPUtime=0.06 cores=0-7
/proc/16117/task/16132/stat : 16132 (java) S 16094 16094 11963 0 -1 1077944384 193 0 0 0 6 0 0 0 20 0 24 0 419893331 8616062976 30407 33554432000 4194304 4196468 140721172807008 140612867185520 140614312794754 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27770880 140721172808695 140721172808854 140721172808854 140721172811727 0
[pid=16117/tid=16133] ppid=16094 vsize=8414124 memory=288230574492221466 CPUtime=0.06 cores=0-7
/proc/16117/task/16133/stat : 16133 (java) S 16094 16094 11963 0 -1 1077944384 376 0 0 0 6 0 0 0 20 0 24 0 419893331 8616062976 30407 33554432000 4194304 4196468 140721172807008 140612866132464 140614312794754 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27770880 140721172808695 140721172808854 140721172808854 140721172811727 0
[pid=16117/tid=16134] ppid=16094 vsize=8414124 memory=288230617509003574 CPUtime=0.22 cores=0-7
/proc/16117/task/16134/stat : 16134 (java) S 16094 16094 11963 0 -1 1077944384 718 0 0 0 22 0 0 0 20 0 24 0 419893331 8616062976 30407 33554432000 4194304 4196468 140721172807008 140612865079920 140614312794754 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27770880 140721172808695 140721172808854 140721172808854 140721172811727 0
[pid=16117/tid=16135] ppid=16094 vsize=8414124 memory=14698482732632482 CPUtime=0 cores=0-7
/proc/16117/task/16135/stat : 16135 (java) S 16094 16094 11963 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419893331 8616062976 30407 33554432000 4194304 4196468 140721172807008 140611860556256 140614312793813 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27770880 140721172808695 140721172808854 140721172808854 140721172811727 0
[pid=16117/tid=16136] ppid=16094 vsize=8414124 memory=0 CPUtime=0.08 cores=0-7
/proc/16117/task/16136/stat : 16136 (java) S 16094 16094 11963 0 -1 1077944384 11 0 0 0 7 1 0 0 20 0 24 0 419893332 8616062976 30407 33554432000 4194304 4196468 140721172807008 140612864027312 140614312794754 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27770880 140721172808695 140721172808854 140721172808854 140721172811727 0
[pid=16117/tid=16138] ppid=16094 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/16117/task/16138/stat : 16138 (java) S 16094 16094 11963 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 419893400 8616062976 30407 33554432000 4194304 4196468 140721172807008 140612855993280 140614312808217 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 27770880 140721172808695 140721172808854 140721172808854 140721172811727 0
[pid=16117/tid=16140] ppid=16094 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/16117/task/16140/stat : 16140 (java) S 16094 16094 11963 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 419893400 8616062976 30407 33554432000 4194304 4196468 140721172807008 140611457892368 140614312805533 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 27770880 140721172808695 140721172808854 140721172808854 140721172811727 0
[pid=16117/tid=16141] ppid=16094 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/16117/task/16141/stat : 16141 (java) S 16094 16094 11963 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 419893400 8616062976 30407 33554432000 4194304 4196468 140721172807008 140611189457040 140614312805533 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 27770880 140721172808695 140721172808854 140721172808854 140721172811727 0
[pid=16117/tid=16150] ppid=16094 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/16117/task/16150/stat : 16150 (java) S 16094 16094 11963 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 419893402 8616062976 30407 33554432000 4194304 4196468 140721172807008 140610921029040 140614312793813 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27770880 140721172808695 140721172808854 140721172808854 140721172811727 0
Current children cumulated CPU time: 943.86 s
Current children cumulated vsize: 9240164 KiB
Current children cumulated memory: 670008 KiB

[startup+139.001 s]*
/proc/loadavg: 6.07 6.82 7.32 4/219 16165
/proc/meminfo: memFree=30216820/32770624 swapFree=66940952/67108860
[pid=16094] ppid=16091 vsize=113128 memory=1476 CPUtime=12.54 cores=0-7
/proc/16094/stat : 16094 (scop.sh) S 16091 16094 11963 0 -1 4202496 583 31890 0 0 0 0 1221 33 20 0 1 0 419892839 115843072 369 33554432000 4194304 5098028 140731794503680 140731794500424 140273679798908 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 28106752 140731794510628 140731794510956 140731794510956 140731794513869 0
/proc/16094/statm: 28282 369 311 221 0 87 0
[pid=16117] ppid=16094 vsize=8414124 memory=121628 CPUtime=1.33 cores=0-7
/proc/16117/stat : 16117 (java) S 16094 16094 11963 0 -1 1077944320 21350 0 0 0 124 9 0 0 20 0 24 0 419893325 8616062976 30407 33554432000 4194304 4196468 140721172807008 140721172789552 140614312783607 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27770880 140721172808695 140721172808854 140721172808854 140721172811727 0
/proc/16117/statm: 2103531 30407 3206 1 0 2064875 0
[pid=16137] ppid=16117 vsize=712912 memory=546904 CPUtime=930.41 cores=0-7
/proc/16137/stat : 16137 (manyglucose-4.1) S 16117 16094 11963 0 -1 1077944320 1456751 0 0 0 92775 266 0 0 20 0 3 0 419893400 730021888 136726 33554432000 4194304 4454172 140729091302304 140729091300688 140450623786743 0 4 0 8388610 18446744073709551615 0 0 17 2 0 0 0 0 0 6552832 6554400 19402752 140729091310441 140729091310640 140729091310640 140729091313594 0
/proc/16137/statm: 178228 136726 419 64 0 173896 0
[pid=16137/tid=16144] ppid=16117 vsize=712912 memory=4960 CPUtime=130.81 cores=0-7
/proc/16137/task/16144/stat : 16144 (manyglucose-4.1) R 16117 16094 11963 0 -1 4202560 184974 0 0 0 13049 32 0 0 20 0 3 0 419893402 730021888 136726 33554432000 4194304 4454172 140729091302304 140450591784072 4351800 0 4 0 8388610 0 0 0 -1 5 0 0 0 0 0 6552832 6554400 19402752 140729091310441 140729091310640 140729091310640 140729091313594 0
[pid=16137/tid=16148] ppid=16117 vsize=712912 memory=4100 CPUtime=125.84 cores=0-7
/proc/16137/task/16148/stat : 16148 (manyglucose-4.1) R 16117 16094 11963 0 -1 4202560 208520 0 0 0 12540 44 0 0 20 0 3 0 419893402 730021888 136726 33554432000 4194304 4454172 140729091302304 140450558213256 4333329 0 4 0 8388610 0 0 0 -1 1 0 0 0 0 0 6552832 6554400 19402752 140729091310441 140729091310640 140729091310640 140729091313594 0
[pid=16117/tid=16118] ppid=16094 vsize=8414124 memory=-8672922871053709714 CPUtime=0.77 cores=0-7
/proc/16117/task/16118/stat : 16118 (java) S 16094 16094 11963 0 -1 1077944384 18043 0 0 0 72 5 0 0 20 0 24 0 419893325 8616062976 30407 33554432000 4194304 4196468 140721172807008 140614284623776 140614312793813 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27770880 140721172808695 140721172808854 140721172808854 140721172811727 0
[pid=16117/tid=16119] ppid=16094 vsize=8414124 memory=-7003737579269690708 CPUtime=0 cores=0-7
/proc/16117/task/16119/stat : 16119 (java) S 16094 16094 11963 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419893326 8616062976 30407 33554432000 4194304 4196468 140721172807008 140614317025808 140614312793813 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27770880 140721172808695 140721172808854 140721172808854 140721172811727 0
[pid=16117/tid=16120] ppid=16094 vsize=8414124 memory=7228928657758118464 CPUtime=0 cores=0-7
/proc/16117/task/16120/stat : 16120 (java) S 16094 16094 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419893326 8616062976 30407 33554432000 4194304 4196468 140721172807008 140614143842960 140614312793813 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27770880 140721172808695 140721172808854 140721172808854 140721172811727 0
[pid=16117/tid=16121] ppid=16094 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/16117/task/16121/stat : 16121 (java) S 16094 16094 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419893326 8616062976 30407 33554432000 4194304 4196468 140721172807008 140613796841744 140614312793813 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27770880 140721172808695 140721172808854 140721172808854 140721172811727 0
[pid=16117/tid=16122] ppid=16094 vsize=8414124 memory=2241 CPUtime=0 cores=0-7
/proc/16117/task/16122/stat : 16122 (java) S 16094 16094 11963 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419893326 8616062976 30407 33554432000 4194304 4196468 140721172807008 140613795789200 140614312793813 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27770880 140721172808695 140721172808854 140721172808854 140721172811727 0
[pid=16117/tid=16123] ppid=16094 vsize=8414124 memory=2244 CPUtime=0 cores=0-7
/proc/16117/task/16123/stat : 16123 (java) S 16094 16094 11963 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419893326 8616062976 30407 33554432000 4194304 4196468 140721172807008 140613794737168 140614312793813 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27770880 140721172808695 140721172808854 140721172808854 140721172811727 0
[pid=16117/tid=16124] ppid=16094 vsize=8414124 memory=139727767541375 CPUtime=0 cores=0-7
/proc/16117/task/16124/stat : 16124 (java) S 16094 16094 11963 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419893326 8616062976 30407 33554432000 4194304 4196468 140721172807008 140613793684624 140614312793813 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27770880 140721172808695 140721172808854 140721172808854 140721172811727 0
[pid=16117/tid=16125] ppid=16094 vsize=8414124 memory=288230587427455269 CPUtime=0 cores=0-7
/proc/16117/task/16125/stat : 16125 (java) S 16094 16094 11963 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419893326 8616062976 30407 33554432000 4194304 4196468 140721172807008 140613792631568 140614312793813 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27770880 140721172808695 140721172808854 140721172808854 140721172811727 0
[pid=16117/tid=16126] ppid=16094 vsize=8414124 memory=301741386309566757 CPUtime=0 cores=0-7
/proc/16117/task/16126/stat : 16126 (java) S 16094 16094 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419893326 8616062976 30407 33554432000 4194304 4196468 140721172807008 140613791579024 140614312793813 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27770880 140721172808695 140721172808854 140721172808854 140721172811727 0
[pid=16117/tid=16127] ppid=16094 vsize=8414124 memory=301741386309566757 CPUtime=0 cores=0-7
/proc/16117/task/16127/stat : 16127 (java) S 16094 16094 11963 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 419893328 8616062976 30407 33554432000 4194304 4196468 140721172807008 140613607631088 140614312794754 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27770880 140721172808695 140721172808854 140721172808854 140721172811727 0
[pid=16117/tid=16128] ppid=16094 vsize=8414124 memory=13570379490788704 CPUtime=0 cores=0-7
/proc/16117/task/16128/stat : 16128 (java) S 16094 16094 11963 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 419893328 8616062976 30407 33554432000 4194304 4196468 140721172807008 140613001405600 140614312793813 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27770880 140721172808695 140721172808854 140721172808854 140721172811727 0
[pid=16117/tid=16129] ppid=16094 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/16117/task/16129/stat : 16129 (java) S 16094 16094 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419893329 8616062976 30407 33554432000 4194304 4196468 140721172807008 140612732969712 140614312793813 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27770880 140721172808695 140721172808854 140721172808854 140721172811727 0
[pid=16117/tid=16130] ppid=16094 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/16117/task/16130/stat : 16130 (java) S 16094 16094 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419893331 8616062976 30407 33554432000 4194304 4196468 140721172807008 140612358461392 140614312802203 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27770880 140721172808695 140721172808854 140721172808854 140721172811727 0
[pid=16117/tid=16131] ppid=16094 vsize=8414124 memory=0 CPUtime=0.07 cores=0-7
/proc/16117/task/16131/stat : 16131 (java) S 16094 16094 11963 0 -1 1077944384 612 0 0 0 7 0 0 0 20 0 24 0 419893331 8616062976 30407 33554432000 4194304 4196468 140721172807008 140613606578928 140614312794754 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27770880 140721172808695 140721172808854 140721172808854 140721172811727 0
[pid=16117/tid=16132] ppid=16094 vsize=8414124 memory=0 CPUtime=0.06 cores=0-7
/proc/16117/task/16132/stat : 16132 (java) S 16094 16094 11963 0 -1 1077944384 193 0 0 0 6 0 0 0 20 0 24 0 419893331 8616062976 30407 33554432000 4194304 4196468 140721172807008 140612867185520 140614312794754 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27770880 140721172808695 140721172808854 140721172808854 140721172811727 0
[pid=16117/tid=16133] ppid=16094 vsize=8414124 memory=0 CPUtime=0.06 cores=0-7
/proc/16117/task/16133/stat : 16133 (java) S 16094 16094 11963 0 -1 1077944384 376 0 0 0 6 0 0 0 20 0 24 0 419893331 8616062976 30407 33554432000 4194304 4196468 140721172807008 140612866132464 140614312794754 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27770880 140721172808695 140721172808854 140721172808854 140721172811727 0
[pid=16117/tid=16134] ppid=16094 vsize=8414124 memory=0 CPUtime=0.22 cores=0-7
/proc/16117/task/16134/stat : 16134 (java) S 16094 16094 11963 0 -1 1077944384 718 0 0 0 22 0 0 0 20 0 24 0 419893331 8616062976 30407 33554432000 4194304 4196468 140721172807008 140612865079920 140614312794754 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27770880 140721172808695 140721172808854 140721172808854 140721172811727 0
[pid=16117/tid=16135] ppid=16094 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/16117/task/16135/stat : 16135 (java) S 16094 16094 11963 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419893331 8616062976 30407 33554432000 4194304 4196468 140721172807008 140611860556256 140614312793813 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27770880 140721172808695 140721172808854 140721172808854 140721172811727 0
[pid=16117/tid=16136] ppid=16094 vsize=8414124 memory=0 CPUtime=0.08 cores=0-7
/proc/16117/task/16136/stat : 16136 (java) S 16094 16094 11963 0 -1 1077944384 11 0 0 0 7 1 0 0 20 0 24 0 419893332 8616062976 30407 33554432000 4194304 4196468 140721172807008 140612864027312 140614312794754 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27770880 140721172808695 140721172808854 140721172808854 140721172811727 0
[pid=16117/tid=16138] ppid=16094 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/16117/task/16138/stat : 16138 (java) S 16094 16094 11963 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 419893400 8616062976 30407 33554432000 4194304 4196468 140721172807008 140612855993280 140614312808217 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 27770880 140721172808695 140721172808854 140721172808854 140721172811727 0
[pid=16117/tid=16140] ppid=16094 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/16117/task/16140/stat : 16140 (java) S 16094 16094 11963 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 419893400 8616062976 30407 33554432000 4194304 4196468 140721172807008 140611457892368 140614312805533 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 27770880 140721172808695 140721172808854 140721172808854 140721172811727 0
[pid=16117/tid=16141] ppid=16094 vsize=8414124 memory=4960 CPUtime=0 cores=0-7
/proc/16117/task/16141/stat : 16141 (java) S 16094 16094 11963 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 419893400 8616062976 30407 33554432000 4194304 4196468 140721172807008 140611189457040 140614312805533 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 27770880 140721172808695 140721172808854 140721172808854 140721172811727 0
[pid=16117/tid=16150] ppid=16094 vsize=8414124 memory=4960 CPUtime=0 cores=0-7
/proc/16117/task/16150/stat : 16150 (java) S 16094 16094 11963 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 419893402 8616062976 30407 33554432000 4194304 4196468 140721172807008 140610921029040 140614312793813 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27770880 140721172808695 140721172808854 140721172808854 140721172811727 0
Current children cumulated CPU time: 944.28 s
Current children cumulated vsize: 9240164 KiB
Current children cumulated memory: 670008 KiB

[startup+139.111 s]
/proc/loadavg: 6.07 6.82 7.32 4/219 16165
/proc/meminfo: memFree=30216820/32770624 swapFree=66940952/67108860
[pid=16094] ppid=16091 vsize=113128 memory=1476 CPUtime=12.54 cores=0-7
/proc/16094/stat : 16094 (scop.sh) S 16091 16094 11963 0 -1 4202496 583 31890 0 0 0 0 1221 33 20 0 1 0 419892839 115843072 369 33554432000 4194304 5098028 140731794503680 140731794500424 140273679798908 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 28106752 140731794510628 140731794510956 140731794510956 140731794513869 0
/proc/16094/statm: 28282 369 311 221 0 87 0
[pid=16117] ppid=16094 vsize=8414124 memory=121628 CPUtime=1.34 cores=0-7
/proc/16117/stat : 16117 (java) S 16094 16094 11963 0 -1 1077944320 21358 0 0 0 125 9 0 0 20 0 24 0 419893325 8616062976 30407 33554432000 4194304 4196468 140721172807008 140721172789552 140614312783607 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27770880 140721172808695 140721172808854 140721172808854 140721172811727 0
/proc/16117/statm: 2103531 30407 3206 1 0 2064875 0
[pid=16117/tid=16118] ppid=16094 vsize=8414124 memory=1476 CPUtime=0.77 cores=0-7
/proc/16117/task/16118/stat : 16118 (java) S 16094 16094 11963 0 -1 1077944384 18043 0 0 0 72 5 0 0 20 0 24 0 419893325 8616062976 30407 33554432000 4194304 4196468 140721172807008 140614284623776 140614312793813 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27770880 140721172808695 140721172808854 140721172808854 140721172811727 0
[pid=16117/tid=16119] ppid=16094 vsize=8414124 memory=537928 CPUtime=0 cores=0-7
/proc/16117/task/16119/stat : 16119 (java) S 16094 16094 11963 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419893326 8616062976 30407 33554432000 4194304 4196468 140721172807008 140614317025808 140614312793813 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27770880 140721172808695 140721172808854 140721172808854 140721172811727 0
[pid=16117/tid=16120] ppid=16094 vsize=8414124 memory=546904 CPUtime=0 cores=0-7
/proc/16117/task/16120/stat : 16120 (java) S 16094 16094 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419893326 8616062976 30407 33554432000 4194304 4196468 140721172807008 140614143842960 140614312793813 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27770880 140721172808695 140721172808854 140721172808854 140721172811727 0
[pid=16117/tid=16121] ppid=16094 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/16117/task/16121/stat : 16121 (java) S 16094 16094 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419893326 8616062976 30407 33554432000 4194304 4196468 140721172807008 140613796841744 140614312793813 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27770880 140721172808695 140721172808854 140721172808854 140721172811727 0
[pid=16117/tid=16122] ppid=16094 vsize=8414124 memory=40648 CPUtime=0 cores=0-7
/proc/16117/task/16122/stat : 16122 (java) S 16094 16094 11963 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419893326 8616062976 30407 33554432000 4194304 4196468 140721172807008 140613795789200 140614312793813 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27770880 140721172808695 140721172808854 140721172808854 140721172811727 0
[pid=16117/tid=16123] ppid=16094 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/16117/task/16123/stat : 16123 (java) S 16094 16094 11963 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419893326 8616062976 30407 33554432000 4194304 4196468 140721172807008 140613794737168 140614312793813 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27770880 140721172808695 140721172808854 140721172808854 140721172811727 0
[pid=16117/tid=16124] ppid=16094 vsize=8414124 memory=121628 CPUtime=0 cores=0-7
/proc/16117/task/16124/stat : 16124 (java) S 16094 16094 11963 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419893326 8616062976 30407 33554432000 4194304 4196468 140721172807008 140613793684624 140614312793813 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27770880 140721172808695 140721172808854 140721172808854 140721172811727 0
[pid=16117/tid=16125] ppid=16094 vsize=8414124 memory=1772 CPUtime=0 cores=0-7
/proc/16117/task/16125/stat : 16125 (java) S 16094 16094 11963 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419893326 8616062976 30407 33554432000 4194304 4196468 140721172807008 140613792631568 140614312793813 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27770880 140721172808695 140721172808854 140721172808854 140721172811727 0
[pid=16117/tid=16126] ppid=16094 vsize=8414124 memory=1056 CPUtime=0 cores=0-7
/proc/16117/task/16126/stat : 16126 (java) S 16094 16094 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419893326 8616062976 30407 33554432000 4194304 4196468 140721172807008 140613791579024 140614312793813 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27770880 140721172808695 140721172808854 140721172808854 140721172811727 0
[pid=16117/tid=16127] ppid=16094 vsize=8414124 memory=1556 CPUtime=0 cores=0-7
/proc/16117/task/16127/stat : 16127 (java) S 16094 16094 11963 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 419893328 8616062976 30407 33554432000 4194304 4196468 140721172807008 140613607631088 140614312794754 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27770880 140721172808695 140721172808854 140721172808854 140721172811727 0
[pid=16117/tid=16128] ppid=16094 vsize=8414124 memory=532 CPUtime=0 cores=0-7
/proc/16117/task/16128/stat : 16128 (java) S 16094 16094 11963 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 419893328 8616062976 30407 33554432000 4194304 4196468 140721172807008 140613001405600 140614312793813 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27770880 140721172808695 140721172808854 140721172808854 140721172811727 0
[pid=16117/tid=16129] ppid=16094 vsize=8414124 memory=924 CPUtime=0 cores=0-7
/proc/16117/task/16129/stat : 16129 (java) S 16094 16094 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419893329 8616062976 30407 33554432000 4194304 4196468 140721172807008 140612732969712 140614312793813 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27770880 140721172808695 140721172808854 140721172808854 140721172811727 0
[pid=16117/tid=16130] ppid=16094 vsize=8414124 memory=4960 CPUtime=0 cores=0-7
/proc/16117/task/16130/stat : 16130 (java) S 16094 16094 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419893331 8616062976 30407 33554432000 4194304 4196468 140721172807008 140612358461392 140614312802203 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27770880 140721172808695 140721172808854 140721172808854 140721172811727 0
[pid=16117/tid=16131] ppid=16094 vsize=8414124 memory=1476 CPUtime=0.07 cores=0-7
/proc/16117/task/16131/stat : 16131 (java) S 16094 16094 11963 0 -1 1077944384 612 0 0 0 7 0 0 0 20 0 24 0 419893331 8616062976 30407 33554432000 4194304 4196468 140721172807008 140613606578928 140614312794754 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27770880 140721172808695 140721172808854 140721172808854 140721172811727 0
[pid=16117/tid=16132] ppid=16094 vsize=8414124 memory=121628 CPUtime=0.06 cores=0-7
/proc/16117/task/16132/stat : 16132 (java) R 16094 16094 11963 0 -1 1077944384 193 0 0 0 6 0 0 0 20 0 24 0 419893331 8616062976 30407 33554432000 4194304 4196468 140721172807008 140612867185520 140614312794754 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27770880 140721172808695 140721172808854 140721172808854 140721172811727 0
[pid=16117/tid=16133] ppid=16094 vsize=8414124 memory=1476 CPUtime=0.06 cores=0-7
/proc/16117/task/16133/stat : 16133 (java) S 16094 16094 11963 0 -1 1077944384 376 0 0 0 6 0 0 0 20 0 24 0 419893331 8616062976 30407 33554432000 4194304 4196468 140721172807008 140612866132464 140614312794754 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27770880 140721172808695 140721172808854 140721172808854 140721172811727 0
[pid=16117/tid=16134] ppid=16094 vsize=8414124 memory=928 CPUtime=0.22 cores=0-7
/proc/16117/task/16134/stat : 16134 (java) R 16094 16094 11963 0 -1 4202560 726 0 0 0 22 0 0 0 20 0 24 0 419893331 8616062976 30407 33554432000 4194304 4196468 140721172807008 140612865079920 140614291332514 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27770880 140721172808695 140721172808854 140721172808854 140721172811727 0
[pid=16117/tid=16135] ppid=16094 vsize=8414124 memory=-8672922871053709714 CPUtime=0 cores=0-7
/proc/16117/task/16135/stat : 16135 (java) S 16094 16094 11963 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419893331 8616062976 30407 33554432000 4194304 4196468 140721172807008 140611860556256 140614312793813 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27770880 140721172808695 140721172808854 140721172808854 140721172811727 0
[pid=16117/tid=16136] ppid=16094 vsize=8414124 memory=1976 CPUtime=0.08 cores=0-7
/proc/16117/task/16136/stat : 16136 (java) S 16094 16094 11963 0 -1 1077944384 11 0 0 0 7 1 0 0 20 0 24 0 419893332 8616062976 30407 33554432000 4194304 4196468 140721172807008 140612864027312 140614312794754 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27770880 140721172808695 140721172808854 140721172808854 140721172811727 0
[pid=16117/tid=16138] ppid=16094 vsize=8414124 memory=1808 CPUtime=0 cores=0-7
/proc/16117/task/16138/stat : 16138 (java) S 16094 16094 11963 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 419893400 8616062976 30407 33554432000 4194304 4196468 140721172807008 140612855993280 140614312808217 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 27770880 140721172808695 140721172808854 140721172808854 140721172811727 0
[pid=16117/tid=16140] ppid=16094 vsize=8414124 memory=924 CPUtime=0.01 cores=0-7
/proc/16117/task/16140/stat : 16140 (java) R 16094 16094 11963 0 -1 4202560 22 0 0 0 1 0 0 0 20 0 24 0 419893400 8616062976 30407 33554432000 4194304 4196468 140721172807008 140611457892368 140614312805437 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27770880 140721172808695 140721172808854 140721172808854 140721172811727 0
[pid=16117/tid=16141] ppid=16094 vsize=8414124 memory=4960 CPUtime=0 cores=0-7
/proc/16117/task/16141/stat : 16141 (java) S 16094 16094 11963 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 419893400 8616062976 30407 33554432000 4194304 4196468 140721172807008 140611189457040 140614312805533 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 27770880 140721172808695 140721172808854 140721172808854 140721172811727 0
[pid=16117/tid=16150] ppid=16094 vsize=8414124 memory=121628 CPUtime=0 cores=0-7
/proc/16117/task/16150/stat : 16150 (java) S 16094 16094 11963 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 419893402 8616062976 30407 33554432000 4194304 4196468 140721172807008 140610921029040 140614312793813 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27770880 140721172808695 140721172808854 140721172808854 140721172811727 0
Current children cumulated CPU time: 13.88 s
Current children cumulated vsize: 8527252 KiB
Current children cumulated memory: 123104 KiB

Child status: 0
Real time (s): 139.149
CPU time (s): 944.572
CPU user time (s): 941.438
CPU system time (s): 3.13453
CPU usage (%): 678.821
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 1063440

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 941.438
system time used= 3.13453
maximum resident set size= 1066884
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1512607
page faults= 0
swaps= 0
block input operations= 0
block output operations= 952
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 18253
involuntary context switches= 9398


# summary of solver processes directly reported to runsolver:
#   pid: 16094
#   total CPU time (s): 944.572
#   total CPU user time (s): 941.438
#   total CPU system time (s): 3.13453

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.30252 second user time and 2.00283 second system time

The end

Launcher Data 

Begin job on node149 at 2019-09-14 06:48:24
IDJOB=4392787
IDBENCH=134577
IDSOLVER=2839
FILE ID=node149/4392787-1568436541
RUNJOBID= node149-1568429993-11990
PBS_JOBID= 21702308
Free space on /tmp= 61424 MiB

SOLVER NAME= Fun-sCOP hybrid+ManyGlucose (2019-06-15)
BENCH NAME= XCSP17/Blackhole/Blackhole-xcsp2-s07/Blackhole-4-07-2_X2.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-4392787-1568436541/watcher-4392787-1568436541 -o /tmp/evaluation-result-4392787-1568436541/solver-4392787-1568436541 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node149-1568429993-11990 --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-4392787-1568436541.xml

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

MD5SUM BENCH= bca347db5d1c552995f700e5a754db73
RANDOM SEED=592819019

node149.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.81
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.81
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.81
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.81
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:        30872424 kB
MemAvailable:   31850408 kB
Buffers:          192788 kB
Cached:          1080356 kB
SwapCached:        61328 kB
Active:           617452 kB
Inactive:         718652 kB
Active(anon):      30148 kB
Inactive(anon):    72512 kB
Active(file):     587304 kB
Inactive(file):   646140 kB
Unevictable:      111232 kB
Mlocked:          111232 kB
SwapTotal:      67108860 kB
SwapFree:       66940952 kB
Dirty:             20440 kB
Writeback:             0 kB
AnonPages:        165396 kB
Mapped:            43816 kB
Shmem:             31376 kB
Slab:             149868 kB
SReclaimable:     120752 kB
SUnreclaim:        29116 kB
KernelStack:        3776 kB
PageTables:         4708 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     499060 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    118784 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      144768 kB
DirectMap2M:    33400832 kB

Free space on /tmp at the end= 61400 MiB
End job on node149 at 2019-09-14 06:50:43