Trace number 4392450

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

NameBlackhole/Blackhole-xcsp2-s07/
Blackhole-4-07-7_X2.xml
MD5SUM58733bdc54ee5d0b54338851c7cdf9d7
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 benchmark164.594
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 -order -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-9339-serial-file.bin HOME/instance-4392450-1568436787.xml
0.66/0.54	
0.66/0.54	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
0.66/0.54	
0.66/0.57	c BEGIN-Prog: Sat Sep 14 06:52:27 CEST 2019
0.66/0.57	c PID: 9342
0.66/0.57	c IP: 172.20.3.146
0.66/0.57	c HOST: node146.alineos.net
0.66/0.58	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.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) Constraint Name Generate Begin
2.06/1.15	c (0,0) Ctr:HOME/instance-4392450-1568436787.xml,ExtensionConflict:ExtensionSupport:Var
2.06/1.15	c (0,0) Constraint Name Generate End
2.06/1.15	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.06/1.15	c (0,0) CSP to CSPinCNF Begin
3.15/1.65	c (1,1) translated 127 (10%) constraints
3.52/1.76	c (1,1) translated 253 (20%) constraints
3.95/1.84	c (1,1) translated 379 (30%) constraints
4.36/1.90	c (1,1) translated 505 (40%) constraints
4.36/1.96	c (1,1) translated 631 (50%) constraints
4.79/2.01	c (1,1) translated 757 (60%) constraints
5.16/2.14	c (1,1) translated 883 (70%) constraints
5.80/2.38	c (1,1) translated 1009 (80%) constraints
6.18/2.60	c (2,2) translated 1135 (90%) constraints
6.89/2.91	c (2,2) translated 1261 (100%) constraints
6.89/2.91	c (2,2) ===========================================
6.89/2.92	c (2,2) Order
6.89/2.92	c (2,2) ===========================================
6.89/2.98	c (2,2) translated 1883 (10%) constraints
7.29/3.03	c (2,2) translated 3765 (20%) constraints
7.29/3.09	c (2,2) translated 5647 (30%) constraints
7.69/3.14	c (2,2) translated 7529 (40%) constraints
7.69/3.19	c (2,2) translated 9411 (50%) constraints
8.06/3.24	c (2,2) translated 11294 (60%) constraints
8.06/3.29	c (2,2) translated 13176 (70%) constraints
8.45/3.33	c (2,2) translated 15058 (80%) constraints
8.45/3.37	c (2,2) translated 16940 (90%) constraints
8.80/3.41	c (2,2) translated 18822 (100%) constraints
8.80/3.41	c (2,2) CSP to CSPinCNF End
8.80/3.41	c (2,2) CSP: 108 int (0 aux), 685 bool (682 aux), 18822 ctr, max domain size 28
8.80/3.41	c (2,2) Heap : 675 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB)
8.80/3.41	c (2,2) CSPinCNF Propagation Begin
9.86/3.76	c (3,3) 109 values, 8487 unsatisfiable literals, and 4834 valid clauses are removed
9.86/3.76	c (3,3) CSPinCNF Propagation End
9.86/3.76	c (3,3) CSP: 108 int (0 aux), 685 bool (682 aux), 13988 ctr, max domain size 26
9.86/3.76	c (3,3) Heap : 1013 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
9.86/3.76	c (3,3) Simplify CSPinCNF Begin
10.17/3.82	c (3,3) Simplify CSPinCNF End
10.17/3.82	c (3,3) CSP: 108 int (0 aux), 685 bool (682 aux), 13988 ctr, max domain size 26
10.17/3.82	c (3,3) Heap : 1013 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
10.17/3.82	c (3,3) Calculate Precise Domain Begin
10.17/3.82	c (3,3) 0 values are removed by re-calculation
10.17/3.82	c (3,3) Calculate Precise Domain End
10.17/3.82	c (3,3) CSP: 108 int (0 aux), 685 bool (682 aux), 13988 ctr, max domain size 26
10.17/3.82	c (3,3) Heap : 1013 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
10.17/3.82	c (3,3) CSPinCNF to SatSolver Begin
10.48/3.96	c (3,3) 1399 (10 %) CSP clauses are encoded (0 SAT variables, 3107 SAT clauses)
10.82/4.02	c (3,3) 2798 (20 %) CSP clauses are encoded (0 SAT variables, 4506 SAT clauses)
10.82/4.07	c (3,3) 4197 (30 %) CSP clauses are encoded (0 SAT variables, 5905 SAT clauses)
11.22/4.11	c (3,3) 5596 (40 %) CSP clauses are encoded (0 SAT variables, 7304 SAT clauses)
11.22/4.15	c (3,3) 6994 (50 %) CSP clauses are encoded (0 SAT variables, 8702 SAT clauses)
11.22/4.17	c (3,3) 8393 (60 %) CSP clauses are encoded (0 SAT variables, 10101 SAT clauses)
11.22/4.19	c (3,3) 9792 (70 %) CSP clauses are encoded (0 SAT variables, 11500 SAT clauses)
11.54/4.21	c (3,3) 11191 (80 %) CSP clauses are encoded (0 SAT variables, 12899 SAT clauses)
11.54/4.22	c (3,3) 12590 (90 %) CSP clauses are encoded (0 SAT variables, 14298 SAT clauses)
11.54/4.23	c (3,3) 13988 (100 %) CSP clauses are encoded (0 SAT variables, 15696 SAT clauses)
11.54/4.23	c (3,3) CSPinCNF to SatSolver End
11.54/4.23	c (3,3) Heap : 1126 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB)
11.54/4.23	c (3,3) 2482 bool, 15697 clause
11.54/4.23	c (3,3) Export Begin
11.68/4.34	c (3,3) Export to HOME/scop-9339-serial-file.bin
11.68/4.34	c (3,3) Export End
11.80/4.72	c (3,3) Export File Size: 0.02 MB
11.80/4.72	c (3,3) 0,0,2,3,3,3,3,STOP-AFTER(DIMACS)
11.80/4.72	c END-Prog: Sat Sep 14 06:52:31 CEST 2019
11.80/4.74	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-9339-serial-file.bin
12.41/5.20	c (0,0) Read Serial File Begin
12.41/5.20	c (0,0) HOME/scop-9339-serial-file.bin
12.72/5.42	c (0,0) Read Serial File End
12.72/5.44	
12.72/5.44	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
12.72/5.44	(Solving Process)
12.72/5.44	
12.72/5.46	c BEGIN-Prog: Sat Sep 14 06:52:32 CEST 2019
12.72/5.46	c PID: 9362
12.72/5.46	c IP: 172.20.3.146
12.72/5.46	c HOST: node146.alineos.net
12.72/5.46	c (0,0) SatSolver.solve Begin
12.72/5.46	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4392450-1568436787.xml-scop-9342.cnf
12.72/5.49	c (0,0) c
12.72/5.49	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)
12.72/5.49	c (0,0) c
12.72/5.49	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
12.72/5.49	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
12.72/5.49	c (0,0) c ========================================[ Problem Statistics ]===========================================
12.72/5.49	c (0,0) c |                                                                                                       |
12.72/5.49	c (0,0) c |  Number of variables:          2480                                                                   |
12.72/5.49	c (0,0) c |  Number of clauses:           15697                                                                   |
12.72/5.49	c (0,0) c |  Parse time:                   0.01 s                                                                 |
12.72/5.49	c (0,0) c |                                                                                                       |
12.72/5.49	c (0,0) WARNING! DIMACS header mismatch: wrong number of variables.
12.96/5.50	c (0,0) c |  Simplification time:          0.01 s                                                                 |
12.96/5.50	c (0,0) c |                                                                                                       |
12.96/5.50	c (0,0) c |  Generating clones                                                                                    |
12.96/5.51	c (0,0) c |  all clones generated. Memory =    32.06Mb.                                                           |
12.96/5.51	c (0,0) c ========================================================================================================|
12.96/5.51	c (0,0) c
12.96/5.51	c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
12.96/5.51	c (0,0) c
12.96/5.51	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
12.96/5.51	c (0,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
12.96/5.51	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
12.96/5.51	c (0,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
12.96/5.51	c (0,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
12.96/5.51	c (0,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
12.96/5.51	c (0,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
12.96/5.51	c (0,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
12.96/5.51	c (0,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
12.96/5.51	c (0,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
12.96/5.51	c (0,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
12.96/5.51	c (0,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
12.96/5.51	c (0,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
12.96/5.51	c (0,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
12.96/5.51	c (0,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
12.96/5.51	c (0,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
12.96/5.51	c (0,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
12.96/5.51	c (0,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
12.96/5.51	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
228.17/34.91	c (29,0) c
228.17/34.91	c (29,0) c |------------------------------------------------------------------------------------------------------------------------|
228.17/34.91	c (29,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
228.17/34.91	c (29,0) c |------------------------------------------------------------------------------------------------------------------------|
228.17/34.91	c (29,0) c |  0 |    392 |     606705 |     327175 |     9340 |    59990 |    51123 |   316115 |    14459 |      344 |  20 |  0.847 |
228.17/34.91	c (29,0) c |  1 |    476 |     592902 |     319895 |     9306 |    52707 |    49964 |   317555 |    11366 |      344 |  20 |  0.847 |
228.17/34.91	c (29,0) c |  2 |    395 |     597303 |     320941 |     9293 |    53759 |    46307 |   317156 |    13755 |      344 |  20 |  0.847 |
228.17/34.91	c (29,0) c |  3 |    517 |     574877 |     318584 |     9403 |    51402 |    45698 |   309956 |    15556 |      324 |  20 |  0.847 |
228.17/34.91	c (29,0) c |  4 |    411 |     618549 |     330533 |     9459 |    63349 |    45525 |   317236 |    17946 |      344 |  20 |  0.847 |
228.17/34.91	c (29,0) c |  5 |    408 |     578952 |     304991 |     8906 |    37800 |    43952 |   322806 |    13068 |      344 |  20 |  0.847 |
228.17/34.91	c (29,0) c |  6 |    423 |     573427 |     303003 |     9379 |    35815 |    44211 |   313178 |    13450 |      335 |  20 |  0.847 |
228.17/34.91	c (29,0) c |  7 |    384 |     607252 |     329162 |     9320 |    61979 |    49563 |   318654 |    15054 |      344 |  20 |  0.847 |
228.17/34.91	c (29,0) c 
228.17/34.91	c (29,0) c synthesis     2554284 conflicts   189998988 propagations    11897 conflicts/sec   884955 propagations/sec
228.17/34.91	c (29,0) c real: 29.4263 s, cpu: 214.699 s, memory: 629.97 Mb
430.90/63.91	c (58,0) c
430.90/63.91	c (58,0) c |------------------------------------------------------------------------------------------------------------------------|
430.90/63.91	c (58,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
430.90/63.91	c (58,0) c |------------------------------------------------------------------------------------------------------------------------|
430.90/63.91	c (58,0) c |  0 |    466 |     971847 |     516062 |     9426 |    79679 |    70242 |   447764 |    25094 |      660 |  20 |  0.847 |
430.90/63.91	c (58,0) c |  1 |    559 |     969654 |     515181 |     9429 |    78796 |    67315 |   439846 |    26143 |      660 |  20 |  0.848 |
430.90/63.91	c (58,0) c |  2 |    483 |     934566 |     500244 |     9467 |    63858 |    63629 |   450332 |    27714 |      640 |  20 |  0.847 |
430.90/63.91	c (58,0) c |  3 |    592 |     937253 |     509088 |     9435 |    72698 |    68476 |   442867 |    25805 |      660 |  20 |  0.848 |
430.90/63.91	c (58,0) c |  4 |    539 |     984007 |     518792 |     9525 |    82411 |    64565 |   427058 |    29067 |      660 |  20 |  0.848 |
430.90/63.91	c (58,0) c |  5 |    527 |     950728 |     496269 |     9410 |    59886 |    63262 |   459059 |    30564 |      660 |  20 |  0.847 |
430.90/63.91	c (58,0) c |  6 |    486 |     917078 |     480384 |     9508 |    90204 |    60957 |   461888 |    27090 |      654 |  20 |  0.847 |
430.90/63.91	c (58,0) c |  7 |    521 |     979177 |     520436 |     9478 |    84049 |    72475 |   451371 |    28130 |      660 |  20 |  0.847 |
430.90/63.91	c (58,0) c 
430.90/63.91	c (58,0) c synthesis     4056457 conflicts   300537887 propagations     9722 conflicts/sec   720259 propagations/sec
430.90/63.91	c (58,0) c real: 58.4264 s, cpu: 417.264 s, memory: 694.95 Mb
635.23/92.91	c (87,0) c
635.23/92.91	c (87,0) c |------------------------------------------------------------------------------------------------------------------------|
635.23/92.91	c (87,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
635.23/92.91	c (87,0) c |------------------------------------------------------------------------------------------------------------------------|
635.23/92.91	c (87,0) c |  0 |    563 |    1277988 |     675381 |     9440 |    84799 |    85042 |   561125 |    36091 |      978 |  20 |  0.848 |
635.23/92.91	c (87,0) c |  1 |    637 |    1283683 |     675202 |     9443 |    84617 |    82839 |   563754 |    39963 |      978 |  20 |  0.847 |
635.23/92.91	c (87,0) c |  2 |    606 |    1258282 |     664123 |     9504 |    73537 |    79468 |   560387 |    41832 |      958 |  20 |  0.848 |
635.23/92.91	c (87,0) c |  3 |    680 |    1249728 |     666810 |     9460 |    76226 |    82748 |   563692 |    40200 |      978 |  20 |  0.848 |
635.23/92.91	c (87,0) c |  4 |    641 |    1295388 |     676904 |     9549 |    86319 |    80359 |   556667 |    39902 |      978 |  20 |  0.848 |
635.23/92.91	c (87,0) c |  5 |    642 |    1269724 |     657362 |     9442 |    66777 |    78655 |   565645 |    43709 |      978 |  20 |  0.848 |
635.23/92.91	c (87,0) c |  6 |    630 |    1238361 |     645490 |     9536 |    54898 |    75509 |   568413 |    40011 |      970 |  20 |  0.847 |
635.23/92.91	c (87,0) c |  7 |    606 |    1294608 |     680036 |     9498 |    89448 |    86996 |   558219 |    38850 |      977 |  20 |  0.848 |
635.23/92.91	c (87,0) c 
635.23/92.91	c (87,0) c synthesis     5341309 conflicts   395918339 propagations     8596 conflicts/sec   637186 propagations/sec
635.23/92.91	c (87,0) c real: 87.4264 s, cpu: 621.355 s, memory: 742.83 Mb
853.43/121.92	c (116,0) c
853.43/121.92	c (116,0) c |------------------------------------------------------------------------------------------------------------------------|
853.43/121.92	c (116,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
853.43/121.92	c (116,0) c |------------------------------------------------------------------------------------------------------------------------|
853.43/121.92	c (116,0) c |  0 |    653 |    1548675 |     809941 |     9454 |   101393 |    95696 |   641430 |    46921 |     1293 |  20 |  1.129 |
853.43/121.92	c (116,0) c |  1 |    680 |    1546743 |     808615 |     9456 |   100441 |    94187 |   642028 |    50293 |     1289 |  20 |  1.089 |
853.43/121.92	c (116,0) c |  2 |    683 |    1528615 |     801124 |     9522 |    92590 |    89277 |   644982 |    52784 |     1273 |  20 |  1.129 |
853.43/121.92	c (116,0) c |  3 |    706 |    1521737 |     801723 |     9467 |    93784 |    95924 |   641883 |    51803 |     1291 |  20 |  1.090 |
853.43/121.92	c (116,0) c |  4 |    693 |    1563100 |     809442 |     9562 |    97977 |    91267 |   645339 |    51401 |     1290 |  20 |  1.089 |
853.43/121.92	c (116,0) c |  5 |    700 |    1535267 |     791143 |     9459 |    83413 |    90128 |   647621 |    54483 |     1289 |  20 |  1.048 |
853.43/121.92	c (116,0) c |  6 |    707 |    1514151 |     786634 |     9549 |    78968 |    87878 |   651931 |    50124 |     1292 |  20 |  1.129 |
853.43/121.92	c (116,0) c |  7 |    644 |    1569716 |     816876 |     9516 |   101020 |    99360 |   635752 |    49230 |     1289 |  20 |  1.049 |
853.43/121.92	c (116,0) c 
853.43/121.92	c (116,0) c synthesis     6425499 conflicts   478391931 propagations     7656 conflicts/sec   570011 propagations/sec
853.43/121.92	c (116,0) c real: 116.426 s, cpu: 839.268 s, memory: 783.87 Mb
874.48/125.48	c (120,0) c
874.48/125.48	c (120,0) c real time : 119.996 s
874.48/125.48	c (120,0) c cpu time  : 860.274 s
874.48/125.48	c (120,0) c
874.48/125.48	c (120,0) c
874.48/125.48	c (120,0) c
874.48/125.48	c (120,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
874.48/125.48	c (120,0) c
874.48/125.48	c (120,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
874.48/125.48	c (120,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
874.48/125.48	c (120,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
874.48/125.48	c (120,0) c | Conflicts     |         6493501 |     817465 |     816605 |     814980 |     808893 |     816524 |     799947 |     794370 |     824717 |
874.48/125.48	c (120,0) c | Decisions     |        12462020 |    1563067 |    1562190 |    1557153 |    1536690 |    1576891 |    1552641 |    1528896 |    1584492 |
874.48/125.48	c (120,0) c | Propagations  |       483781415 |   60900156 |   61290587 |   60372327 |   59814555 |   60374026 |   59657253 |   60417554 |   60954957 |
874.48/125.48	c (120,0) c | ReduceDBs     |             192 |         24 |         24 |         24 |         24 |         24 |         24 |         24 |         24 |
874.48/125.48	c (120,0) c | SimpDBs       |              79 |         10 |          8 |         10 |          8 |         12 |         10 |         12 |          9 |
874.48/125.48	c (120,0) c | Restarts      |            5479 |        655 |        681 |        688 |        707 |        695 |        700 |        709 |        644 |
874.48/125.48	c (120,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
874.48/125.48	c (120,0) c | PropBinClauses|      1065852264 |  133305251 |  134499454 |  135398115 |  131360447 |  131441484 |  133198181 |  134238760 |  132410572 |
874.48/125.48	c (120,0) c | PropPreBlocker|     35706340589 | 4456324990 | 4512504555 | 4454953324 | 4406863206 | 4495917635 | 4449846882 | 4428767334 | 4501162663 |
874.48/125.48	c (120,0) c | PropNotBlocker|      5856443341 |  742256546 |  719983122 |  723944339 |  734941247 |  728723419 |  732242024 |  750362374 |  723990270 |
874.48/125.48	c (120,0) c | LitFullScans  |     63103913934 | 7897455948 | 7885371027 | 7885445580 | 7891067306 | 7885366372 | 7885505702 | 7888304149 | 7885397850 |
874.48/125.48	c (120,0) c | LitScanFracts |        10973076 |    1452325 |    1365736 |    1438918 |    1061283 |    1356732 |    1500779 |    1410866 |    1386437 |
874.48/125.48	c (120,0) c | DecisionLevel0|            5575 |        666 |        692 |        701 |        724 |        706 |        709 |        724 |        653 |
874.48/125.48	c (120,0) c | Periods       |           10515 |       1316 |       1314 |       1314 |       1315 |       1314 |       1314 |       1314 |       1314 |
874.48/125.48	c (120,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
874.48/125.48	c (120,0) c | Avg_Trail     |                 |        628 |        633 |        628 |        637 |        631 |        627 |        632 |        630 |
874.48/125.48	c (120,0) c | Avg_DL        |                 |         21 |         21 |         21 |         22 |         21 |         21 |         21 |         21 |
874.48/125.48	c (120,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
874.48/125.48	c (120,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
874.48/125.48	c (120,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
874.48/125.48	c (120,0) c | Exported      |          750138 |      96337 |      94727 |      91088 |      96615 |      91948 |      90871 |      88742 |      99810 |
874.48/125.48	c (120,0) c | Imported      |         5186512 |     646252 |     646905 |     654200 |     649144 |     649377 |     647621 |     657261 |     635752 |
874.48/125.48	c (120,0) c | Good          |           15364 |       1959 |       1892 |       1915 |       1923 |       1919 |       1924 |       1947 |       1885 |
874.48/125.48	c (120,0) c | Purge         |         5171148 |     644293 |     645013 |     652285 |     647221 |     647458 |     645697 |     655314 |     633867 |
874.48/125.48	c (120,0) c | Promoted      |          414638 |      47755 |      51076 |      54409 |      52982 |      52227 |      55297 |      50789 |      50103 |
874.48/125.48	c (120,0) c | Remove_Imp    |         4026116 |     496891 |     497679 |     504881 |     486342 |     508953 |     510189 |     514945 |     506236 |
874.48/125.48	c (120,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
874.48/125.48	c (120,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
874.48/125.48	c (120,0) c | Unaries       |                 |         11 |         11 |         13 |         17 |         11 |          9 |         15 |          9 |
874.48/125.48	c (120,0) c | Binaries      |                 |        247 |        307 |        308 |        303 |        275 |        251 |        291 |        286 |
874.48/125.48	c (120,0) c | Glues         |                 |        979 |        978 |       1030 |       1024 |       1003 |       1019 |       1051 |       1073 |
874.48/125.48	c (120,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
874.48/125.48	c (120,0) c | Orig_Seen     |            87 % |       9455 |       9458 |       9524 |       9468 |       9564 |       9459 |       9550 |       9516 |
874.48/125.48	c (120,0) c | Diff Orig seen|                 | -       95 | -       92 | -       26 | -       82 |         14 | -       91 |      X     | -       34 |
874.48/125.48	c (120,0) c | Hamming       |            10 % |        283 |        255 |        283 |        285 |        247 |        282 |      X     |        273 |
874.48/125.48	c (120,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
874.48/125.48	c (120,0) c | RunningTime   |                 |  108.5  91%|  103.6  87%|  117.4  98%|  112.7  95%|   99.8  84%|  103.0  86%|  114.2  96%|  101.2  85%|
874.48/125.48	c (120,0) c | WaitingTime   |                 |    9.8   8%|   15.1  13%|    2.1   2%|    5.6   5%|   18.8  16%|   15.8  13%|    4.0   3%|   17.4  15%|
874.48/125.48	c (120,0) c | ExchangingTime|                 |    0.3   0%|    0.3   0%|    0.3   0%|    0.4   0%|    0.4   0%|    0.3   0%|    0.3   0%|    0.3   0%|
874.48/125.48	c (120,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%|
874.48/125.48	c (120,0) c | SolvingTime   |                 |  118.7     |  119.0     |  119.9     |  118.7     |  119.0     |  119.2     |  118.6     |  119.0     |
874.48/125.48	c (120,0) c | PropagationTim|                 |  100.9  85%|  100.1  84%|   89.2  74%|   94.8  80%|  106.0  89%|  103.2  87%|   92.3  78%|  101.5  85%|
874.48/125.48	c (120,0) c | AnalysisTime  |                 |   14.3  12%|   15.7  13%|   27.4  23%|   20.5  17%|    9.6   8%|   12.7  11%|   22.9  19%|   14.1  12%|
874.48/125.48	c (120,0) c | ReductionTime |                 |    1.3   1%|    1.2   1%|    1.2   1%|    1.3   1%|    1.3   1%|    1.2   1%|    1.3   1%|    1.3   1%|
874.48/125.48	c (120,0) c | SimplifyTime  |                 |    0.1   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.1   0%|    0.0   0%|    0.1   0%|    0.0   0%|
874.48/125.48	c (120,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%|
874.48/125.48	c (120,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%|
874.48/125.48	c (120,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
874.48/125.48	c (120,0) c
874.48/125.48	c (120,0) c
874.48/125.48	c (120,0) c Threads : 8
874.48/125.48	c (120,0) c Winner : 6
874.48/125.48	c (120,0) c Conflicts_0 : 817465
874.48/125.48	c (120,0) c Conflicts_1 : 816605
874.48/125.48	c (120,0) c Conflicts_2 : 814980
874.48/125.48	c (120,0) c Conflicts_3 : 808893
874.48/125.48	c (120,0) c Conflicts_4 : 816524
874.48/125.48	c (120,0) c Conflicts_5 : 799947
874.48/125.48	c (120,0) c Conflicts_6 : 794370
874.48/125.48	c (120,0) c Conflicts_7 : 824717
874.48/125.48	c (120,0) c Conflicts_total : 6493501
874.48/125.48	c (120,0) c Conflicts_winner : 794370
874.48/125.48	c (120,0) c Decisions_0 : 1563067
874.48/125.48	c (120,0) c Decisions_1 : 1562190
874.48/125.48	c (120,0) c Decisions_2 : 1557153
874.48/125.48	c (120,0) c Decisions_3 : 1536690
874.48/125.48	c (120,0) c Decisions_4 : 1576891
874.48/125.48	c (120,0) c Decisions_5 : 1552641
874.48/125.48	c (120,0) c Decisions_6 : 1528896
874.48/125.49	c (120,0) c Decisions_7 : 1584492
874.48/125.49	c (120,0) c Decisions_total : 12462020
874.48/125.49	c (120,0) c Decisions_winner : 1528896
874.48/125.49	c (120,0) c Propagations_0 : 60900156
874.48/125.49	c (120,0) c Propagations_1 : 61290587
874.48/125.49	c (120,0) c Propagations_2 : 60372327
874.48/125.49	c (120,0) c Propagations_3 : 59814555
874.48/125.49	c (120,0) c Propagations_4 : 60374026
874.48/125.49	c (120,0) c Propagations_5 : 59657253
874.48/125.49	c (120,0) c Propagations_6 : 60417554
874.48/125.49	c (120,0) c Propagations_7 : 60954957
874.48/125.49	c (120,0) c Propagations_total : 483781415
874.48/125.49	c (120,0) c Propagations_winner : 60417554
874.48/125.49	c (120,0) c ReduceDBs_0 : 24
874.48/125.49	c (120,0) c ReduceDBs_1 : 24
874.48/125.49	c (120,0) c ReduceDBs_2 : 24
874.48/125.49	c (120,0) c ReduceDBs_3 : 24
874.48/125.49	c (120,0) c ReduceDBs_4 : 24
874.48/125.49	c (120,0) c ReduceDBs_5 : 24
874.48/125.49	c (120,0) c ReduceDBs_6 : 24
874.48/125.49	c (120,0) c ReduceDBs_7 : 24
874.48/125.49	c (120,0) c ReduceDBs_total : 192
874.48/125.49	c (120,0) c ReduceDBs_winner : 24
874.48/125.49	c (120,0) c SimpDBs_0 : 10
874.48/125.49	c (120,0) c SimpDBs_1 : 8
874.48/125.49	c (120,0) c SimpDBs_2 : 10
874.48/125.49	c (120,0) c SimpDBs_3 : 8
874.48/125.49	c (120,0) c SimpDBs_4 : 12
874.48/125.49	c (120,0) c SimpDBs_5 : 10
874.48/125.49	c (120,0) c SimpDBs_6 : 12
874.48/125.49	c (120,0) c SimpDBs_7 : 9
874.48/125.49	c (120,0) c SimpDBs_total : 79
874.48/125.49	c (120,0) c SimpDBs_winner : 12
874.48/125.49	c (120,0) c Restarts_0 : 655
874.48/125.49	c (120,0) c Restarts_1 : 681
874.48/125.49	c (120,0) c Restarts_2 : 688
874.48/125.49	c (120,0) c Restarts_3 : 707
874.48/125.49	c (120,0) c Restarts_4 : 695
874.48/125.49	c (120,0) c Restarts_5 : 700
874.48/125.49	c (120,0) c Restarts_6 : 709
874.48/125.49	c (120,0) c Restarts_7 : 644
874.48/125.49	c (120,0) c Restarts_total : 5479
874.48/125.49	c (120,0) c Restarts_winner : 709
874.48/125.49	c (120,0) c ForcedImports_0 : 0
874.48/125.49	c (120,0) c ForcedImports_1 : 0
874.48/125.49	c (120,0) c ForcedImports_2 : 0
874.48/125.49	c (120,0) c ForcedImports_3 : 0
874.48/125.49	c (120,0) c ForcedImports_4 : 0
874.48/125.49	c (120,0) c ForcedImports_5 : 0
874.48/125.49	c (120,0) c ForcedImports_6 : 0
874.48/125.49	c (120,0) c ForcedImports_7 : 0
874.48/125.49	c (120,0) c ForcedImports_total : 0
874.48/125.49	c (120,0) c ForcedImports_winner : 0
874.48/125.49	c (120,0) c PropsBinClauses_0 : 133305251
874.48/125.49	c (120,0) c PropsBinClauses_1 : 134499454
874.48/125.49	c (120,0) c PropsBinClauses_2 : 135398115
874.48/125.49	c (120,0) c PropsBinClauses_3 : 131360447
874.48/125.49	c (120,0) c PropsBinClauses_4 : 131441484
874.48/125.49	c (120,0) c PropsBinClauses_5 : 133198181
874.48/125.49	c (120,0) c PropsBinClauses_6 : 134238760
874.48/125.49	c (120,0) c PropsBinClauses_7 : 132410572
874.48/125.49	c (120,0) c PropsBinClauses_total : 1065852264
874.48/125.49	c (120,0) c PropsBinClauses_winner : 134238760
874.48/125.49	c (120,0) c PropsPreBlocker_0 : 4456324990
874.48/125.49	c (120,0) c PropsPreBlocker_1 : 4512504555
874.48/125.49	c (120,0) c PropsPreBlocker_2 : 4454953324
874.48/125.49	c (120,0) c PropsPreBlocker_3 : 4406863206
874.48/125.49	c (120,0) c PropsPreBlocker_4 : 4495917635
874.48/125.49	c (120,0) c PropsPreBlocker_5 : 4449846882
874.48/125.49	c (120,0) c PropsPreBlocker_6 : 4428767334
874.48/125.49	c (120,0) c PropsPreBlocker_7 : 4501162663
874.48/125.49	c (120,0) c PropsPreBlocker_total : 35706340589
874.48/125.49	c (120,0) c PropsPreBlocker_winner : 4428767334
874.48/125.49	c (120,0) c PropsNotBlocker_0 : 742256546
874.48/125.49	c (120,0) c PropsNotBlocker_1 : 719983122
874.48/125.49	c (120,0) c PropsNotBlocker_2 : 723944339
874.48/125.49	c (120,0) c PropsNotBlocker_3 : 734941247
874.48/125.49	c (120,0) c PropsNotBlocker_4 : 728723419
874.48/125.49	c (120,0) c PropsNotBlocker_5 : 732242024
874.48/125.49	c (120,0) c PropsNotBlocker_6 : 750362374
874.48/125.49	c (120,0) c PropsNotBlocker_7 : 723990270
874.48/125.49	c (120,0) c PropsNotBlocker_total : 5856443341
874.48/125.49	c (120,0) c PropsNotBlocker_winner : 750362374
874.48/125.49	c (120,0) c PropsLitFullScans_0 : 7897455948
874.48/125.49	c (120,0) c PropsLitFullScans_1 : 7885371027
874.48/125.49	c (120,0) c PropsLitFullScans_2 : 7885445580
874.48/125.49	c (120,0) c PropsLitFullScans_3 : 7891067306
874.48/125.49	c (120,0) c PropsLitFullScans_4 : 7885366372
874.48/125.49	c (120,0) c PropsLitFullScans_5 : 7885505702
874.48/125.49	c (120,0) c PropsLitFullScans_6 : 7888304149
874.48/125.49	c (120,0) c PropsLitFullScans_7 : 7885397850
874.48/125.49	c (120,0) c PropsLitFullScans_total : 63103913934
874.48/125.49	c (120,0) c PropsLitFullScans_winner : 7888304149
874.48/125.49	c (120,0) c LitScanFractions_0 : 1452325
874.48/125.49	c (120,0) c LitScanFractions_1 : 1365736
874.48/125.49	c (120,0) c LitScanFractions_2 : 1438918
874.48/125.49	c (120,0) c LitScanFractions_3 : 1061283
874.48/125.49	c (120,0) c LitScanFractions_4 : 1356732
874.48/125.49	c (120,0) c LitScanFractions_5 : 1500779
874.48/125.49	c (120,0) c LitScanFractions_6 : 1410866
874.48/125.49	c (120,0) c LitScanFractions_7 : 1386437
874.48/125.49	c (120,0) c LitScanFractions_total : 10973076
874.48/125.49	c (120,0) c LitScanFractions_winner : 1410866
874.48/125.49	c (120,0) c DecisionLevel0_0 : 666
874.48/125.49	c (120,0) c DecisionLevel0_1 : 692
874.48/125.49	c (120,0) c DecisionLevel0_2 : 701
874.48/125.49	c (120,0) c DecisionLevel0_3 : 724
874.48/125.49	c (120,0) c DecisionLevel0_4 : 706
874.48/125.49	c (120,0) c DecisionLevel0_5 : 709
874.48/125.49	c (120,0) c DecisionLevel0_6 : 724
874.48/125.49	c (120,0) c DecisionLevel0_7 : 653
874.48/125.49	c (120,0) c DecisionLevel0_total : 5575
874.48/125.49	c (120,0) c DecisionLevel0_winner : 724
874.48/125.49	c (120,0) c Periods_0 : 1316
874.48/125.49	c (120,0) c Periods_1 : 1314
874.48/125.49	c (120,0) c Periods_2 : 1314
874.48/125.49	c (120,0) c Periods_3 : 1315
874.48/125.49	c (120,0) c Periods_4 : 1314
874.48/125.49	c (120,0) c Periods_5 : 1314
874.48/125.49	c (120,0) c Periods_6 : 1314
874.48/125.49	c (120,0) c Periods_7 : 1314
874.48/125.49	c (120,0) c Periods_total : 10515
874.48/125.49	c (120,0) c Periods_winner : 1314
874.48/125.49	c (120,0) c Margin_0 : 20
874.48/125.49	c (120,0) c Margin_1 : 20
874.48/125.49	c (120,0) c Margin_2 : 20
874.48/125.49	c (120,0) c Margin_3 : 20
874.48/125.49	c (120,0) c Margin_4 : 20
874.48/125.49	c (120,0) c Margin_5 : 20
874.48/125.49	c (120,0) c Margin_6 : 20
874.48/125.49	c (120,0) c Margin_7 : 20
874.48/125.49	c (120,0) c Margin_total : 160
874.48/125.49	c (120,0) c Margin_winner : 20
874.48/125.49	c (120,0) c Exported_0 : 96337
874.48/125.49	c (120,0) c Exported_1 : 94727
874.48/125.49	c (120,0) c Exported_2 : 91088
874.48/125.49	c (120,0) c Exported_3 : 96615
874.48/125.49	c (120,0) c Exported_4 : 91948
874.48/125.49	c (120,0) c Exported_5 : 90871
874.48/125.49	c (120,0) c Exported_6 : 88742
874.48/125.49	c (120,0) c Exported_7 : 99810
874.48/125.49	c (120,0) c Exported_total : 750138
874.48/125.49	c (120,0) c Exported_winner : 88742
874.48/125.49	c (120,0) c Imported_0 : 646252
874.48/125.49	c (120,0) c Imported_1 : 646905
874.48/125.49	c (120,0) c Imported_2 : 654200
874.48/125.49	c (120,0) c Imported_3 : 649144
874.48/125.49	c (120,0) c Imported_4 : 649377
874.48/125.49	c (120,0) c Imported_5 : 647621
874.48/125.49	c (120,0) c Imported_6 : 657261
874.48/125.49	c (120,0) c Imported_7 : 635752
874.48/125.49	c (120,0) c Imported_total : 5186512
874.48/125.49	c (120,0) c Imported_winner : 657261
874.48/125.49	c (120,0) c Good_0 : 1959
874.48/125.49	c (120,0) c Good_1 : 1892
874.48/125.49	c (120,0) c Good_2 : 1915
874.48/125.49	c (120,0) c Good_3 : 1923
874.48/125.49	c (120,0) c Good_4 : 1919
874.48/125.49	c (120,0) c Good_5 : 1924
874.48/125.49	c (120,0) c Good_6 : 1947
874.48/125.49	c (120,0) c Good_7 : 1885
874.48/125.49	c (120,0) c Good_total : 15364
874.48/125.49	c (120,0) c Good_winner : 1947
874.48/125.49	c (120,0) c Purge_0 : 644293
874.48/125.49	c (120,0) c Purge_1 : 645013
874.48/125.49	c (120,0) c Purge_2 : 652285
874.48/125.49	c (120,0) c Purge_3 : 647221
874.48/125.49	c (120,0) c Purge_4 : 647458
874.48/125.49	c (120,0) c Purge_5 : 645697
874.48/125.49	c (120,0) c Purge_6 : 655314
874.48/125.49	c (120,0) c Purge_7 : 633867
874.48/125.49	c (120,0) c Purge_total : 5171148
874.48/125.49	c (120,0) c Purge_winner : 655314
874.48/125.49	c (120,0) c Promoted_0 : 47755
874.48/125.49	c (120,0) c Promoted_1 : 51076
874.48/125.49	c (120,0) c Promoted_2 : 54409
874.48/125.49	c (120,0) c Promoted_3 : 52982
874.48/125.49	c (120,0) c Promoted_4 : 52227
874.48/125.49	c (120,0) c Promoted_5 : 55297
874.48/125.49	c (120,0) c Promoted_6 : 50789
874.48/125.49	c (120,0) c Promoted_7 : 50103
874.48/125.49	c (120,0) c Promoted_total : 414638
874.48/125.49	c (120,0) c Promoted_winner : 50789
874.48/125.49	c (120,0) c Remove_Imp_0 : 496891
874.48/125.49	c (120,0) c Remove_Imp_1 : 497679
874.48/125.49	c (120,0) c Remove_Imp_2 : 504881
874.48/125.49	c (120,0) c Remove_Imp_3 : 486342
874.48/125.49	c (120,0) c Remove_Imp_4 : 508953
874.48/125.49	c (120,0) c Remove_Imp_5 : 510189
874.48/125.49	c (120,0) c Remove_Imp_6 : 514945
874.48/125.49	c (120,0) c Remove_Imp_7 : 506236
874.48/125.49	c (120,0) c Remove_Imp_total : 4026116
874.48/125.49	c (120,0) c Remove_Imp_winner : 514945
874.48/125.49	c (120,0) c Blocked_Reuse_0 : 0
874.48/125.49	c (120,0) c Blocked_Reuse_1 : 0
874.48/125.49	c (120,0) c Blocked_Reuse_2 : 0
874.48/125.49	c (120,0) c Blocked_Reuse_3 : 0
874.48/125.49	c (120,0) c Blocked_Reuse_4 : 0
874.48/125.49	c (120,0) c Blocked_Reuse_5 : 0
874.48/125.49	c (120,0) c Blocked_Reuse_6 : 0
874.48/125.49	c (120,0) c Blocked_Reuse_7 : 0
874.48/125.49	c (120,0) c Blocked_Reuse_total : 0
874.48/125.49	c (120,0) c Blocked_Reuse_winner : 0
874.48/125.49	c (120,0) c Unaries_0 : 11
874.48/125.49	c (120,0) c Unaries_1 : 11
874.48/125.49	c (120,0) c Unaries_2 : 13
874.48/125.49	c (120,0) c Unaries_3 : 17
874.48/125.49	c (120,0) c Unaries_4 : 11
874.48/125.49	c (120,0) c Unaries_5 : 9
874.48/125.49	c (120,0) c Unaries_6 : 15
874.48/125.49	c (120,0) c Unaries_7 : 9
874.48/125.49	c (120,0) c Unaries_total : 96
874.48/125.49	c (120,0) c Unaries_winner : 15
874.48/125.49	c (120,0) c Binaries_0 : 247
874.48/125.49	c (120,0) c Binaries_1 : 307
874.48/125.49	c (120,0) c Binaries_2 : 308
874.48/125.49	c (120,0) c Binaries_3 : 303
874.48/125.49	c (120,0) c Binaries_4 : 275
874.48/125.49	c (120,0) c Binaries_5 : 251
874.48/125.49	c (120,0) c Binaries_6 : 291
874.48/125.49	c (120,0) c Binaries_7 : 286
874.48/125.49	c (120,0) c Binaries_total : 2268
874.48/125.49	c (120,0) c Binaries_winner : 291
874.48/125.49	c (120,0) c Glues_0 : 979
874.48/125.49	c (120,0) c Glues_1 : 978
874.48/125.49	c (120,0) c Glues_2 : 1030
874.48/125.49	c (120,0) c Glues_3 : 1024
874.48/125.49	c (120,0) c Glues_4 : 1003
874.48/125.49	c (120,0) c Glues_5 : 1019
874.48/125.49	c (120,0) c Glues_6 : 1051
874.48/125.49	c (120,0) c Glues_7 : 1073
874.48/125.49	c (120,0) c Glues_total : 8157
874.48/125.49	c (120,0) c Glues_winner : 1051
874.48/125.49	c (120,0) c RunningTime_0 : 108.530250
874.48/125.49	c (120,0) c RunningTime_1 : 103.566399
874.48/125.49	c (120,0) c RunningTime_2 : 117.445273
874.48/125.49	c (120,0) c RunningTime_3 : 112.696868
874.48/125.49	c (120,0) c RunningTime_4 : 99.813041
874.48/125.49	c (120,0) c RunningTime_5 : 102.985616
874.48/125.49	c (120,0) c RunningTime_6 : 114.228733
874.48/125.49	c (120,0) c RunningTime_7 : 101.229839
874.48/125.49	c (120,0) c RunningTime_total : 860.496019
874.48/125.49	c (120,0) c RunningTime_winner : 114.228733
874.48/125.49	c (120,0) c WaitingTime_0 : 9.783582
874.48/125.49	c (120,0) c WaitingTime_1 : 15.129081
874.48/125.49	c (120,0) c WaitingTime_2 : 2.113052
874.48/125.49	c (120,0) c WaitingTime_3 : 5.590688
874.48/125.49	c (120,0) c WaitingTime_4 : 18.805729
874.48/125.49	c (120,0) c WaitingTime_5 : 15.828673
874.48/125.49	c (120,0) c WaitingTime_6 : 4.045073
874.48/125.49	c (120,0) c WaitingTime_7 : 17.401912
874.48/125.49	c (120,0) c WaitingTime_total : 88.697789
874.48/125.49	c (120,0) c WaitingTime_winner : 4.045073
874.48/125.49	c (120,0) c ExchangingTime_0 : 0.340897
874.48/125.49	c (120,0) c ExchangingTime_1 : 0.315830
874.48/125.49	c (120,0) c ExchangingTime_2 : 0.324817
874.48/125.49	c (120,0) c ExchangingTime_3 : 0.358753
874.48/125.49	c (120,0) c ExchangingTime_4 : 0.361631
874.48/125.49	c (120,0) c ExchangingTime_5 : 0.336597
874.48/125.49	c (120,0) c ExchangingTime_6 : 0.305130
874.48/125.49	c (120,0) c ExchangingTime_7 : 0.343656
874.48/125.49	c (120,0) c ExchangingTime_total : 2.687310
874.48/125.49	c (120,0) c ExchangingTime_winner : 0.305130
874.48/125.49	c (120,0) c PeriodProcTime_0 : 0.009261
874.48/125.49	c (120,0) c PeriodProcTime_1 : 0.011461
874.48/125.49	c (120,0) c PeriodProcTime_2 : 0.012928
874.48/125.49	c (120,0) c PeriodProcTime_3 : 0.010737
874.48/125.49	c (120,0) c PeriodProcTime_4 : 0.012292
874.48/125.49	c (120,0) c PeriodProcTime_5 : 0.012198
874.48/125.49	c (120,0) c PeriodProcTime_6 : 0.010173
874.48/125.49	c (120,0) c PeriodProcTime_7 : 0.012071
874.48/125.49	c (120,0) c PeriodProcTime_total : 0.091121
874.48/125.49	c (120,0) c PeriodProcTime_winner : 0.010173
874.48/125.49	c (120,0) c SolvingTime_0 : 118.663990
874.48/125.49	c (120,0) c SolvingTime_1 : 119.022770
874.48/125.49	c (120,0) c SolvingTime_2 : 119.896069
874.48/125.49	c (120,0) c SolvingTime_3 : 118.657046
874.48/125.49	c (120,0) c SolvingTime_4 : 118.992693
874.48/125.49	c (120,0) c SolvingTime_5 : 119.163084
874.48/125.49	c (120,0) c SolvingTime_6 : 118.589108
874.48/125.49	c (120,0) c SolvingTime_7 : 118.987478
874.48/125.49	c (120,0) c SolvingTime_total : 951.972239
874.48/125.49	c (120,0) c SolvingTime_winner : 118.589108
874.48/125.49	c (120,0) c PropagationTime_0 : 100.857207
874.48/125.49	c (120,0) c PropagationTime_1 : 100.106275
874.48/125.49	c (120,0) c PropagationTime_2 : 89.189737
874.48/125.49	c (120,0) c PropagationTime_3 : 94.784896
874.48/125.49	c (120,0) c PropagationTime_4 : 106.022976
874.48/125.49	c (120,0) c PropagationTime_5 : 103.221606
874.48/125.49	c (120,0) c PropagationTime_6 : 92.319862
874.48/125.49	c (120,0) c PropagationTime_7 : 101.503361
874.48/125.49	c (120,0) c PropagationTime_total : 788.005921
874.48/125.49	c (120,0) c PropagationTime_winner : 92.319862
874.48/125.49	c (120,0) c AnalysisTime_0 : 14.349938
874.48/125.49	c (120,0) c AnalysisTime_1 : 15.660572
874.48/125.49	c (120,0) c AnalysisTime_2 : 27.448185
874.48/125.49	c (120,0) c AnalysisTime_3 : 20.516968
874.48/125.49	c (120,0) c AnalysisTime_4 : 9.577492
874.48/125.49	c (120,0) c AnalysisTime_5 : 12.663172
874.48/125.49	c (120,0) c AnalysisTime_6 : 22.911453
874.48/125.49	c (120,0) c AnalysisTime_7 : 14.125515
874.48/125.49	c (120,0) c AnalysisTime_total : 137.253296
874.48/125.49	c (120,0) c AnalysisTime_winner : 22.911453
874.48/125.49	c (120,0) c ReductionTime_0 : 1.329835
874.48/125.49	c (120,0) c ReductionTime_1 : 1.192717
874.48/125.49	c (120,0) c ReductionTime_2 : 1.222301
874.48/125.49	c (120,0) c ReductionTime_3 : 1.291104
874.48/125.49	c (120,0) c ReductionTime_4 : 1.261721
874.48/125.49	c (120,0) c ReductionTime_5 : 1.203882
874.48/125.49	c (120,0) c ReductionTime_6 : 1.277800
874.48/125.49	c (120,0) c ReductionTime_7 : 1.251914
874.48/125.49	c (120,0) c ReductionTime_total : 10.031273
874.48/125.49	c (120,0) c ReductionTime_winner : 1.277800
874.48/125.49	c (120,0) c SimplifyTime_0 : 0.073990
874.48/125.49	c (120,0) c SimplifyTime_1 : 0.045750
874.48/125.49	c (120,0) c SimplifyTime_2 : 0.044545
874.48/125.49	c (120,0) c SimplifyTime_3 : 0.041582
874.48/125.49	c (120,0) c SimplifyTime_4 : 0.072590
874.48/125.49	c (120,0) c SimplifyTime_5 : 0.041512
874.48/125.49	c (120,0) c SimplifyTime_6 : 0.069207
874.48/125.49	c (120,0) c SimplifyTime_7 : 0.029816
874.48/125.49	c (120,0) c SimplifyTime_total : 0.418993
874.48/125.49	c (120,0) c SimplifyTime_winner : 0.069207
874.48/125.49	c (120,0) c UsedRateTime_0 : 0.000000
874.48/125.49	c (120,0) c UsedRateTime_1 : 0.000000
874.48/125.49	c (120,0) c UsedRateTime_2 : 0.000000
874.48/125.49	c (120,0) c UsedRateTime_3 : 0.000000
874.48/125.49	c (120,0) c UsedRateTime_4 : 0.000000
874.48/125.49	c (120,0) c UsedRateTime_5 : 0.000000
874.48/125.49	c (120,0) c UsedRateTime_6 : 0.000000
874.48/125.49	c (120,0) c UsedRateTime_7 : 0.000000
874.48/125.50	c (120,0) c UsedRateTime_total : 0.000000
874.48/125.50	c (120,0) c UsedRateTime_winner : 0.000000
874.48/125.50	c (120,0) c OverlapRateTime_0 : 0.000000
874.48/125.50	c (120,0) c OverlapRateTime_1 : 0.000000
874.48/125.50	c (120,0) c OverlapRateTime_2 : 0.000000
874.48/125.50	c (120,0) c OverlapRateTime_3 : 0.000000
874.48/125.50	c (120,0) c OverlapRateTime_4 : 0.000000
874.48/125.50	c (120,0) c OverlapRateTime_5 : 0.000000
874.48/125.50	c (120,0) c OverlapRateTime_6 : 0.000000
874.48/125.50	c (120,0) c OverlapRateTime_7 : 0.000000
874.48/125.50	c (120,0) c OverlapRateTime_total : 0.000000
874.48/125.50	c (120,0) c OverlapRateTime_winner : 0.000000
874.48/125.50	c (120,0) c
874.48/125.50	c (120,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
874.48/125.50	c (120,0) c
874.48/125.50	c (120,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
874.48/125.50	c (120,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
874.48/125.50	c (120,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
874.48/125.50	c (120,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
874.48/125.50	c (120,0) c | adaptStrategeis       |      False |      False |      False |      False |      False |      False |      False |      False |
874.48/125.50	c (120,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
874.48/125.50	c (120,0) c | Initial random_seed   | 1553039772 |  137971017 |  952616313 |  816840856 | 1174346335 |  781072646 |  570332755 | 1367278045 |
874.48/125.50	c (120,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
874.48/125.50	c (120,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
874.48/125.50	c (120,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
874.48/125.50	c (120,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
874.48/125.50	c (120,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
874.48/125.50	c (120,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
874.48/125.50	c (120,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
874.48/125.50	c (120,0) c | var_decay             |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
874.48/125.50	c (120,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
874.48/125.50	c (120,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
874.48/125.50	c (120,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
874.48/125.50	c (120,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
874.48/125.50	c (120,0) 
874.48/125.50	c (120,0) s UNSATISFIABLE
13.17/125.50	c (120,0) SatSolver.solve End
13.17/125.50	c (120,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
13.17/125.50	c (120,0) Show results Begin
13.17/125.50	s UNSATISFIABLE
13.17/125.50	c (120,0) Show results End
13.17/125.50	c (120,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
13.17/125.51	c (120,0) 120,120,STOP-AFTER(ALL)
13.17/125.51	c END-Prog: Sat Sep 14 06:54:32 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 (14933 MiB free)
  memory of node 1: 16384 MiB (15602 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392450-1568436787/watcher-4392450-1568436787 -o /tmp/evaluation-result-4392450-1568436787/solver-4392450-1568436787 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node146-1568429502-6614 --watchdog 2580 HOME/scop.sh 22g HOME/scop.jar -order HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4392450-1568436787.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
Current StackSize limit: 8192 KiB

solver pid=9339, runsolver pid=9336

[startup+0.100114 s]*
/proc/loadavg: 8.05 8.24 7.80 2/212 9361
/proc/meminfo: memFree=31175276/32770624 swapFree=67000580/67108860
[pid=9339] ppid=9336 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/9339/stat : 9339 (scop.sh) S 9336 9339 6587 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 419592724 115843072 349 33554432000 4194304 5098028 140734787502496 140734787499752 140156208542332 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 13209600 140734787511077 140734787511404 140734787511404 140734787514317 0
/proc/9339/statm: 28282 349 296 221 0 87 0
[pid=9342] ppid=9339 vsize=27314120 memory=107808 CPUtime=0.11 cores=0-7
/proc/9342/stat : 9342 (java) S 9339 9339 6587 0 -1 1077944320 6501 0 0 0 8 3 0 0 20 0 20 0 419592724 27969658880 26952 33554432000 4194304 4196468 140732038335232 140732038317776 140530894888695 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13942784 140732038337260 140732038337686 140732038337686 140732038340559 0
/proc/9342/statm: 6828530 26952 2795 1 0 6790935 0
[pid=9342/tid=9343] ppid=9339 vsize=27314120 memory=1398722017469774279 CPUtime=0.08 cores=0-7
/proc/9342/task/9343/stat : 9343 (java) R 9339 9339 6587 0 -1 4202560 4602 0 0 0 6 2 0 0 20 0 20 0 419592724 27969658880 26952 33554432000 4194304 4196468 140732038335232 140530866723136 140530894910621 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13942784 140732038337260 140732038337686 140732038337686 140732038340559 0
[pid=9342/tid=9344] ppid=9339 vsize=27314120 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/9342/task/9344/stat : 9344 (java) S 9339 9339 6587 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419592727 27969658880 26952 33554432000 4194304 4196468 140732038335232 140530899130768 140530894898901 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13942784 140732038337260 140732038337686 140732038337686 140732038340559 0
[pid=9342/tid=9345] ppid=9339 vsize=27314120 memory=140154855908992 CPUtime=0 cores=0-7
/proc/9342/task/9345/stat : 9345 (java) S 9339 9339 6587 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419592727 27969658880 26952 33554432000 4194304 4196468 140732038335232 140530317609232 140530894898901 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13942784 140732038337260 140732038337686 140732038337686 140732038340559 0
[pid=9342/tid=9346] ppid=9339 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9342/task/9346/stat : 9346 (java) S 9339 9339 6587 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419592727 27969658880 26952 33554432000 4194304 4196468 140732038335232 140530316556944 140530894898901 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13942784 140732038337260 140732038337686 140732038337686 140732038340559 0
[pid=9342/tid=9347] ppid=9339 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9342/task/9347/stat : 9347 (java) S 9339 9339 6587 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419592727 27969658880 26952 33554432000 4194304 4196468 140732038335232 140530315504144 140530894898901 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13942784 140732038337260 140732038337686 140732038337686 140732038340559 0
[pid=9342/tid=9348] ppid=9339 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9342/task/9348/stat : 9348 (java) S 9339 9339 6587 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419592727 27969658880 26952 33554432000 4194304 4196468 140732038335232 140530314451856 140530894898901 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13942784 140732038337260 140732038337686 140732038337686 140732038340559 0
[pid=9342/tid=9349] ppid=9339 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/9342/task/9349/stat : 9349 (java) S 9339 9339 6587 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419592727 27969658880 26952 33554432000 4194304 4196468 140732038335232 140530313399056 140530894898901 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13942784 140732038337260 140732038337686 140732038337686 140732038340559 0
[pid=9342/tid=9350] ppid=9339 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9342/task/9350/stat : 9350 (java) S 9339 9339 6587 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419592727 27969658880 26952 33554432000 4194304 4196468 140732038335232 140530312346768 140530894898901 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13942784 140732038337260 140732038337686 140732038337686 140732038340559 0
[pid=9342/tid=9351] ppid=9339 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9342/task/9351/stat : 9351 (java) S 9339 9339 6587 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419592727 27969658880 26952 33554432000 4194304 4196468 140732038335232 140530311293968 140530894898901 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13942784 140732038337260 140732038337686 140732038337686 140732038340559 0
[pid=9342/tid=9352] ppid=9339 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9342/task/9352/stat : 9352 (java) S 9339 9339 6587 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419592728 27969658880 26952 33554432000 4194304 4196468 140732038335232 140529886304368 140530894899842 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13942784 140732038337260 140732038337686 140732038337686 140732038340559 0
[pid=9342/tid=9353] ppid=9339 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9342/task/9353/stat : 9353 (java) S 9339 9339 6587 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419592729 27969658880 26952 33554432000 4194304 4196468 140732038335232 140528846889760 140530894898901 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13942784 140732038337260 140732038337686 140732038337686 140732038340559 0
[pid=9342/tid=9354] ppid=9339 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9342/task/9354/stat : 9354 (java) S 9339 9339 6587 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419592729 27969658880 26952 33554432000 4194304 4196468 140732038335232 140528578454640 140530894898901 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13942784 140732038337260 140732038337686 140732038337686 140732038340559 0
[pid=9342/tid=9355] ppid=9339 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9342/task/9355/stat : 9355 (java) S 9339 9339 6587 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419592731 27969658880 26952 33554432000 4194304 4196468 140732038335232 140528203946064 140530894907291 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13942784 140732038337260 140732038337686 140732038337686 140732038340559 0
[pid=9342/tid=9356] ppid=9339 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9342/task/9356/stat : 9356 (java) S 9339 9339 6587 0 -1 1077944384 299 0 0 0 0 0 0 0 20 0 20 0 419592731 27969658880 26952 33554432000 4194304 4196468 140732038335232 140529885252208 140530894899842 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13942784 140732038337260 140732038337686 140732038337686 140732038340559 0
[pid=9342/tid=9357] ppid=9339 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9342/task/9357/stat : 9357 (java) S 9339 9339 6587 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419592732 27969658880 26952 33554432000 4194304 4196468 140732038335232 140529884199408 140530894899842 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13942784 140732038337260 140732038337686 140732038337686 140732038340559 0
[pid=9342/tid=9358] ppid=9339 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9342/task/9358/stat : 9358 (java) S 9339 9339 6587 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 419592732 27969658880 26952 33554432000 4194304 4196468 140732038335232 140529883147120 140530894899842 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13942784 140732038337260 140732038337686 140732038337686 140732038340559 0
[pid=9342/tid=9359] ppid=9339 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9342/task/9359/stat : 9359 (java) S 9339 9339 6587 0 -1 1077944384 252 0 0 0 0 0 0 0 20 0 20 0 419592732 27969658880 26952 33554432000 4194304 4196468 140732038335232 140529882094320 140530894899842 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13942784 140732038337260 140732038337686 140732038337686 140732038340559 0
[pid=9342/tid=9360] ppid=9339 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9342/task/9360/stat : 9360 (java) S 9339 9339 6587 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419592732 27969658880 26952 33554432000 4194304 4196468 140732038335232 140527706040672 140530894898901 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13942784 140732038337260 140732038337686 140732038337686 140732038340559 0
[pid=9342/tid=9361] ppid=9339 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/9342/task/9361/stat : 9361 (java) S 9339 9339 6587 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419592732 27969658880 26952 33554432000 4194304 4196468 140732038335232 140529881041200 140530894899842 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13942784 140732038337260 140732038337686 140732038337686 140732038340559 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 109204 KiB

[startup+0.210262 s]*
/proc/loadavg: 8.05 8.24 7.80 5/212 9361
/proc/meminfo: memFree=31152052/32770624 swapFree=67000580/67108860
[pid=9339] ppid=9336 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/9339/stat : 9339 (scop.sh) S 9336 9339 6587 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 419592724 115843072 349 33554432000 4194304 5098028 140734787502496 140734787499752 140156208542332 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 13209600 140734787511077 140734787511404 140734787511404 140734787514317 0
/proc/9339/statm: 28282 349 296 221 0 87 0
[pid=9342] ppid=9339 vsize=27314120 memory=126876 CPUtime=0.25 cores=0-7
/proc/9342/stat : 9342 (java) S 9339 9339 6587 0 -1 1077944320 12136 0 0 0 20 5 0 0 20 0 20 0 419592724 27969658880 31719 33554432000 4194304 4196468 140732038335232 140732038317776 140530894888695 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13942784 140732038337260 140732038337686 140732038337686 140732038340559 0
/proc/9342/statm: 6828530 31719 2934 1 0 6790935 0
[pid=9342/tid=9343] ppid=9339 vsize=27314120 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/9342/task/9343/stat : 9343 (java) R 9339 9339 6587 0 -1 4202560 9844 0 0 0 15 4 0 0 20 0 20 0 419592724 27969658880 31719 33554432000 4194304 4196468 140732038335232 140530866688080 140530876452251 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13942784 140732038337260 140732038337686 140732038337686 140732038340559 0
[pid=9342/tid=9344] ppid=9339 vsize=27314120 memory=339 CPUtime=0 cores=0-7
/proc/9342/task/9344/stat : 9344 (java) S 9339 9339 6587 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419592727 27969658880 31719 33554432000 4194304 4196468 140732038335232 140530899130768 140530894898901 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13942784 140732038337260 140732038337686 140732038337686 140732038340559 0
[pid=9342/tid=9345] ppid=9339 vsize=27314120 memory=140154855918591 CPUtime=0 cores=0-7
/proc/9342/task/9345/stat : 9345 (java) S 9339 9339 6587 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419592727 27969658880 31719 33554432000 4194304 4196468 140732038335232 140530317609232 140530894898901 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13942784 140732038337260 140732038337686 140732038337686 140732038340559 0
[pid=9342/tid=9346] ppid=9339 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/9342/task/9346/stat : 9346 (java) S 9339 9339 6587 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419592727 27969658880 31719 33554432000 4194304 4196468 140732038335232 140530316556944 140530894898901 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13942784 140732038337260 140732038337686 140732038337686 140732038340559 0
[pid=9342/tid=9347] ppid=9339 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9342/task/9347/stat : 9347 (java) S 9339 9339 6587 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419592727 27969658880 31719 33554432000 4194304 4196468 140732038335232 140530315504144 140530894898901 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13942784 140732038337260 140732038337686 140732038337686 140732038340559 0
[pid=9342/tid=9348] ppid=9339 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9342/task/9348/stat : 9348 (java) S 9339 9339 6587 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419592727 27969658880 31719 33554432000 4194304 4196468 140732038335232 140530314451856 140530894898901 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13942784 140732038337260 140732038337686 140732038337686 140732038340559 0
[pid=9342/tid=9349] ppid=9339 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/9342/task/9349/stat : 9349 (java) S 9339 9339 6587 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419592727 27969658880 31719 33554432000 4194304 4196468 140732038335232 140530313399056 140530894898901 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13942784 140732038337260 140732038337686 140732038337686 140732038340559 0
[pid=9342/tid=9350] ppid=9339 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9342/task/9350/stat : 9350 (java) S 9339 9339 6587 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419592727 27969658880 31719 33554432000 4194304 4196468 140732038335232 140530312346768 140530894898901 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13942784 140732038337260 140732038337686 140732038337686 140732038340559 0
[pid=9342/tid=9351] ppid=9339 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9342/task/9351/stat : 9351 (java) S 9339 9339 6587 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419592727 27969658880 31719 33554432000 4194304 4196468 140732038335232 140530311293968 140530894898901 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13942784 140732038337260 140732038337686 140732038337686 140732038340559 0
[pid=9342/tid=9352] ppid=9339 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9342/task/9352/stat : 9352 (java) S 9339 9339 6587 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419592728 27969658880 31719 33554432000 4194304 4196468 140732038335232 140529886304368 140530894899842 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13942784 140732038337260 140732038337686 140732038337686 140732038340559 0
[pid=9342/tid=9353] ppid=9339 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9342/task/9353/stat : 9353 (java) S 9339 9339 6587 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419592729 27969658880 31719 33554432000 4194304 4196468 140732038335232 140528846889760 140530894898901 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13942784 140732038337260 140732038337686 140732038337686 140732038340559 0
[pid=9342/tid=9354] ppid=9339 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9342/task/9354/stat : 9354 (java) S 9339 9339 6587 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419592729 27969658880 31719 33554432000 4194304 4196468 140732038335232 140528578454640 140530894898901 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13942784 140732038337260 140732038337686 140732038337686 140732038340559 0
[pid=9342/tid=9355] ppid=9339 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9342/task/9355/stat : 9355 (java) S 9339 9339 6587 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419592731 27969658880 31719 33554432000 4194304 4196468 140732038335232 140528203946064 140530894907291 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13942784 140732038337260 140732038337686 140732038337686 140732038340559 0
[pid=9342/tid=9356] ppid=9339 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9342/task/9356/stat : 9356 (java) S 9339 9339 6587 0 -1 1077944384 311 0 0 0 0 0 0 0 20 0 20 0 419592731 27969658880 31719 33554432000 4194304 4196468 140732038335232 140529885252208 140530894899842 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13942784 140732038337260 140732038337686 140732038337686 140732038340559 0
[pid=9342/tid=9357] ppid=9339 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9342/task/9357/stat : 9357 (java) S 9339 9339 6587 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 20 0 419592732 27969658880 31719 33554432000 4194304 4196468 140732038335232 140529884199408 140530894899842 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13942784 140732038337260 140732038337686 140732038337686 140732038340559 0
[pid=9342/tid=9358] ppid=9339 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/9342/task/9358/stat : 9358 (java) S 9339 9339 6587 0 -1 1077944384 139 0 0 0 0 0 0 0 20 0 20 0 419592732 27969658880 31719 33554432000 4194304 4196468 140732038335232 140529883147120 140530894899842 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13942784 140732038337260 140732038337686 140732038337686 140732038340559 0
[pid=9342/tid=9359] ppid=9339 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7
/proc/9342/task/9359/stat : 9359 (java) S 9339 9339 6587 0 -1 1077944384 458 0 0 0 2 0 0 0 20 0 20 0 419592732 27969658880 31719 33554432000 4194304 4196468 140732038335232 140529882094320 140530894899842 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13942784 140732038337260 140732038337686 140732038337686 140732038340559 0
[pid=9342/tid=9360] ppid=9339 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9342/task/9360/stat : 9360 (java) S 9339 9339 6587 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419592732 27969658880 31719 33554432000 4194304 4196468 140732038335232 140527706040672 140530894898901 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13942784 140732038337260 140732038337686 140732038337686 140732038340559 0
[pid=9342/tid=9361] ppid=9339 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/9342/task/9361/stat : 9361 (java) S 9339 9339 6587 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419592732 27969658880 31719 33554432000 4194304 4196468 140732038335232 140529881041200 140530894899842 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13942784 140732038337260 140732038337686 140732038337686 140732038340559 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 128272 KiB

[startup+0.309736 s]*
/proc/loadavg: 8.05 8.24 7.80 2/212 9361
/proc/meminfo: memFree=31150120/32770624 swapFree=67000580/67108860
[pid=9339] ppid=9336 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/9339/stat : 9339 (scop.sh) S 9336 9339 6587 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 419592724 115843072 349 33554432000 4194304 5098028 140734787502496 140734787499752 140156208542332 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 13209600 140734787511077 140734787511404 140734787511404 140734787514317 0
/proc/9339/statm: 28282 349 296 221 0 87 0
[pid=9342] ppid=9339 vsize=27314120 memory=130220 CPUtime=0.42 cores=0-7
/proc/9342/stat : 9342 (java) S 9339 9339 6587 0 -1 1077944320 12464 0 0 0 37 5 0 0 20 0 20 0 419592724 27969658880 32555 33554432000 4194304 4196468 140732038335232 140732038317776 140530894888695 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13942784 140732038337260 140732038337686 140732038337686 140732038340559 0
/proc/9342/statm: 6828530 32555 2996 1 0 6790935 0
[pid=9342/tid=9343] ppid=9339 vsize=27314120 memory=1398722017469774279 CPUtime=0.29 cores=0-7
/proc/9342/task/9343/stat : 9343 (java) R 9339 9339 6587 0 -1 4202560 10028 0 0 0 25 4 0 0 20 0 20 0 419592724 27969658880 32555 33554432000 4194304 4196468 140732038335232 140530866673680 140530878075533 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13942784 140732038337260 140732038337686 140732038337686 140732038340559 0
[pid=9342/tid=9344] ppid=9339 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9342/task/9344/stat : 9344 (java) S 9339 9339 6587 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419592727 27969658880 32555 33554432000 4194304 4196468 140732038335232 140530899130768 140530894898901 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13942784 140732038337260 140732038337686 140732038337686 140732038340559 0
[pid=9342/tid=9345] ppid=9339 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9342/task/9345/stat : 9345 (java) S 9339 9339 6587 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419592727 27969658880 32555 33554432000 4194304 4196468 140732038335232 140530317609232 140530894898901 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13942784 140732038337260 140732038337686 140732038337686 140732038340559 0
[pid=9342/tid=9346] ppid=9339 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9342/task/9346/stat : 9346 (java) S 9339 9339 6587 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419592727 27969658880 32555 33554432000 4194304 4196468 140732038335232 140530316556944 140530894898901 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13942784 140732038337260 140732038337686 140732038337686 140732038340559 0
[pid=9342/tid=9347] ppid=9339 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9342/task/9347/stat : 9347 (java) S 9339 9339 6587 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419592727 27969658880 32555 33554432000 4194304 4196468 140732038335232 140530315504144 140530894898901 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13942784 140732038337260 140732038337686 140732038337686 140732038340559 0
[pid=9342/tid=9348] ppid=9339 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9342/task/9348/stat : 9348 (java) S 9339 9339 6587 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419592727 27969658880 32555 33554432000 4194304 4196468 140732038335232 140530314451856 140530894898901 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13942784 140732038337260 140732038337686 140732038337686 140732038340559 0
[pid=9342/tid=9349] ppid=9339 vsize=27314120 memory=140154715073199 CPUtime=0 cores=0-7
/proc/9342/task/9349/stat : 9349 (java) S 9339 9339 6587 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419592727 27969658880 32555 33554432000 4194304 4196468 140732038335232 140530313399056 140530894898901 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13942784 140732038337260 140732038337686 140732038337686 140732038340559 0
[pid=9342/tid=9350] ppid=9339 vsize=27314120 memory=140154715075504 CPUtime=0 cores=0-7
/proc/9342/task/9350/stat : 9350 (java) S 9339 9339 6587 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419592727 27969658880 32555 33554432000 4194304 4196468 140732038335232 140530312346768 140530894898901 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13942784 140732038337260 140732038337686 140732038337686 140732038340559 0
[pid=9342/tid=9351] ppid=9339 vsize=27314120 memory=140154715077808 CPUtime=0 cores=0-7
/proc/9342/task/9351/stat : 9351 (java) S 9339 9339 6587 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419592727 27969658880 32555 33554432000 4194304 4196468 140732038335232 140530311293968 140530894898901 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13942784 140732038337260 140732038337686 140732038337686 140732038340559 0
[pid=9342/tid=9352] ppid=9339 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9342/task/9352/stat : 9352 (java) S 9339 9339 6587 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419592728 27969658880 32555 33554432000 4194304 4196468 140732038335232 140529886304368 140530894899842 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13942784 140732038337260 140732038337686 140732038337686 140732038340559 0
[pid=9342/tid=9353] ppid=9339 vsize=27314120 memory=280309430169488 CPUtime=0 cores=0-7
/proc/9342/task/9353/stat : 9353 (java) S 9339 9339 6587 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419592729 27969658880 32555 33554432000 4194304 4196468 140732038335232 140528846889760 140530894898901 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13942784 140732038337260 140732038337686 140732038337686 140732038340559 0
[pid=9342/tid=9354] ppid=9339 vsize=27314120 memory=280309430167184 CPUtime=0 cores=0-7
/proc/9342/task/9354/stat : 9354 (java) S 9339 9339 6587 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419592729 27969658880 32555 33554432000 4194304 4196468 140732038335232 140528578454640 140530894898901 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13942784 140732038337260 140732038337686 140732038337686 140732038340559 0
[pid=9342/tid=9355] ppid=9339 vsize=27314120 memory=280309430174096 CPUtime=0 cores=0-7
/proc/9342/task/9355/stat : 9355 (java) S 9339 9339 6587 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419592731 27969658880 32555 33554432000 4194304 4196468 140732038335232 140528203946064 140530894907291 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13942784 140732038337260 140732038337686 140732038337686 140732038340559 0
[pid=9342/tid=9356] ppid=9339 vsize=27314120 memory=280309430115376 CPUtime=0 cores=0-7
/proc/9342/task/9356/stat : 9356 (java) S 9339 9339 6587 0 -1 1077944384 326 0 0 0 0 0 0 0 20 0 20 0 419592731 27969658880 32555 33554432000 4194304 4196468 140732038335232 140529885252208 140530894899842 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13942784 140732038337260 140732038337686 140732038337686 140732038340559 0
[pid=9342/tid=9357] ppid=9339 vsize=27314120 memory=280309430187920 CPUtime=0.01 cores=0-7
/proc/9342/task/9357/stat : 9357 (java) S 9339 9339 6587 0 -1 1077944384 42 0 0 0 1 0 0 0 20 0 20 0 419592732 27969658880 32555 33554432000 4194304 4196468 140732038335232 140529884199408 140530894899842 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13942784 140732038337260 140732038337686 140732038337686 140732038340559 0
[pid=9342/tid=9358] ppid=9339 vsize=27314120 memory=280309430194832 CPUtime=0.02 cores=0-7
/proc/9342/task/9358/stat : 9358 (java) S 9339 9339 6587 0 -1 1077944384 249 0 0 0 2 0 0 0 20 0 20 0 419592732 27969658880 32555 33554432000 4194304 4196468 140732038335232 140529883147120 140530894899842 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13942784 140732038337260 140732038337686 140732038337686 140732038340559 0
[pid=9342/tid=9359] ppid=9339 vsize=27314120 memory=280309430192528 CPUtime=0.07 cores=0-7
/proc/9342/task/9359/stat : 9359 (java) S 9339 9339 6587 0 -1 1077944384 479 0 0 0 7 0 0 0 20 0 20 0 419592732 27969658880 32555 33554432000 4194304 4196468 140732038335232 140529882094320 140530894899842 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13942784 140732038337260 140732038337686 140732038337686 140732038340559 0
[pid=9342/tid=9360] ppid=9339 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9342/task/9360/stat : 9360 (java) S 9339 9339 6587 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419592732 27969658880 32555 33554432000 4194304 4196468 140732038335232 140527706040672 140530894898901 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13942784 140732038337260 140732038337686 140732038337686 140732038340559 0
[pid=9342/tid=9361] ppid=9339 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/9342/task/9361/stat : 9361 (java) S 9339 9339 6587 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419592732 27969658880 32555 33554432000 4194304 4196468 140732038335232 140529881041200 140530894899842 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13942784 140732038337260 140732038337686 140732038337686 140732038340559 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 131616 KiB

[startup+0.70098 s]
/proc/loadavg: 8.05 8.24 7.80 2/212 9361
/proc/meminfo: memFree=31128460/32770624 swapFree=67000580/67108860
[pid=9339] ppid=9336 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/9339/stat : 9339 (scop.sh) S 9336 9339 6587 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 419592724 115843072 349 33554432000 4194304 5098028 140734787502496 140734787499752 140156208542332 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 13209600 140734787511077 140734787511404 140734787511404 140734787514317 0
/proc/9339/statm: 28282 349 296 221 0 87 0
[pid=9342] ppid=9339 vsize=27320392 memory=165360 CPUtime=1 cores=0-7
/proc/9342/stat : 9342 (java) S 9339 9339 6587 0 -1 1077944320 19966 0 0 0 93 7 0 0 20 0 20 0 419592724 27976081408 41340 33554432000 4194304 4196468 140732038335232 140732038317776 140530894888695 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13942784 140732038337260 140732038337686 140732038337686 140732038340559 0
/proc/9342/statm: 6830098 41340 3180 1 0 6791447 0
[pid=9342/tid=9343] ppid=9339 vsize=27320392 memory=0 CPUtime=0.67 cores=0-7
/proc/9342/task/9343/stat : 9343 (java) R 9339 9339 6587 0 -1 4202560 16941 0 0 0 61 6 0 0 20 0 20 0 419592724 27976081408 41340 33554432000 4194304 4196468 140732038335232 140530866726672 140530894900630 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13942784 140732038337260 140732038337686 140732038337686 140732038340559 0
[pid=9342/tid=9344] ppid=9339 vsize=27320392 memory=140154715284336 CPUtime=0 cores=0-7
/proc/9342/task/9344/stat : 9344 (java) S 9339 9339 6587 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419592727 27976081408 41340 33554432000 4194304 4196468 140732038335232 140530899130768 140530894898901 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13942784 140732038337260 140732038337686 140732038337686 140732038340559 0
[pid=9342/tid=9345] ppid=9339 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/9342/task/9345/stat : 9345 (java) S 9339 9339 6587 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419592727 27976081408 41340 33554432000 4194304 4196468 140732038335232 140530317609232 140530894898901 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13942784 140732038337260 140732038337686 140732038337686 140732038340559 0
[pid=9342/tid=9346] ppid=9339 vsize=27320392 memory=1056 CPUtime=0 cores=0-7
/proc/9342/task/9346/stat : 9346 (java) S 9339 9339 6587 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419592727 27976081408 41340 33554432000 4194304 4196468 140732038335232 140530316556944 140530894898901 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13942784 140732038337260 140732038337686 140732038337686 140732038340559 0

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

/proc/9362/task/9369/stat : 9369 (java) S 9339 9339 6587 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419593199 8616062976 30348 33554432000 4194304 4196468 140724924290224 139972842391824 139973361211093 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20008960 140724924294136 140724924294294 140724924294294 140724924297167 0
[pid=9362/tid=9370] ppid=9339 vsize=8414124 memory=543328 CPUtime=0 cores=0-7
/proc/9362/task/9370/stat : 9370 (java) S 9339 9339 6587 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419593199 8616062976 30348 33554432000 4194304 4196468 140724924290224 139972841339536 139973361211093 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20008960 140724924294136 140724924294294 140724924294294 140724924297167 0
[pid=9362/tid=9371] ppid=9339 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/9362/task/9371/stat : 9371 (java) S 9339 9339 6587 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419593199 8616062976 30348 33554432000 4194304 4196468 140724924290224 139972840286736 139973361211093 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20008960 140724924294136 140724924294294 140724924294294 140724924297167 0
[pid=9362/tid=9372] ppid=9339 vsize=8414124 memory=121392 CPUtime=0 cores=0-7
/proc/9362/task/9372/stat : 9372 (java) S 9339 9339 6587 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 419593201 8616062976 30348 33554432000 4194304 4196468 140724924290224 139972655991408 139973361212034 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20008960 140724924294136 140724924294294 140724924294294 140724924297167 0
[pid=9362/tid=9373] ppid=9339 vsize=8414124 memory=600248 CPUtime=0 cores=0-7
/proc/9362/task/9373/stat : 9373 (java) S 9339 9339 6587 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 419593201 8616062976 30348 33554432000 4194304 4196468 140724924290224 139971977536800 139973361211093 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20008960 140724924294136 140724924294294 140724924294294 140724924297167 0
[pid=9362/tid=9374] ppid=9339 vsize=8414124 memory=1398722017469774279 CPUtime=0 cores=0-7
/proc/9362/task/9374/stat : 9374 (java) S 9339 9339 6587 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419593202 8616062976 30348 33554432000 4194304 4196468 140724924290224 139971709101680 139973361211093 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20008960 140724924294136 140724924294294 140724924294294 140724924297167 0
[pid=9362/tid=9375] ppid=9339 vsize=8414124 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/9362/task/9375/stat : 9375 (java) S 9339 9339 6587 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419593204 8616062976 30348 33554432000 4194304 4196468 140724924290224 139971334593104 139973361219483 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20008960 140724924294136 140724924294294 140724924294294 140724924297167 0
[pid=9362/tid=9376] ppid=9339 vsize=8414124 memory=565340 CPUtime=0.08 cores=0-7
/proc/9362/task/9376/stat : 9376 (java) S 9339 9339 6587 0 -1 1077944384 594 0 0 0 8 0 0 0 20 0 24 0 419593204 8616062976 30348 33554432000 4194304 4196468 140724924290224 139972654938224 139973361212034 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20008960 140724924294136 140724924294294 140724924294294 140724924297167 0
[pid=9362/tid=9377] ppid=9339 vsize=8414124 memory=714044 CPUtime=0.05 cores=0-7
/proc/9362/task/9377/stat : 9377 (java) S 9339 9339 6587 0 -1 1077944384 292 0 0 0 5 0 0 0 20 0 24 0 419593204 8616062976 30348 33554432000 4194304 4196468 140724924290224 139972653885424 139973361212034 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20008960 140724924294136 140724924294294 140724924294294 140724924297167 0
[pid=9362/tid=9378] ppid=9339 vsize=8414124 memory=912 CPUtime=0.05 cores=0-7
/proc/9362/task/9378/stat : 9378 (java) S 9339 9339 6587 0 -1 1077944384 299 0 0 0 5 0 0 0 20 0 24 0 419593204 8616062976 30348 33554432000 4194304 4196468 140724924290224 139972652833136 139973361212034 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20008960 140724924294136 140724924294294 140724924294294 140724924297167 0
[pid=9362/tid=9379] ppid=9339 vsize=8414124 memory=1440 CPUtime=0.21 cores=0-7
/proc/9362/task/9379/stat : 9379 (java) S 9339 9339 6587 0 -1 1077944384 767 0 0 0 21 0 0 0 20 0 24 0 419593204 8616062976 30348 33554432000 4194304 4196468 140724924290224 139972651780336 139973361212034 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20008960 140724924294136 140724924294294 140724924294294 140724924297167 0
[pid=9362/tid=9380] ppid=9339 vsize=8414124 memory=1768 CPUtime=0 cores=0-7
/proc/9362/task/9380/stat : 9380 (java) S 9339 9339 6587 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419593204 8616062976 30348 33554432000 4194304 4196468 140724924290224 139970836687712 139973361211093 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20008960 140724924294136 140724924294294 140724924294294 140724924297167 0
[pid=9362/tid=9381] ppid=9339 vsize=8414124 memory=111636 CPUtime=0.07 cores=0-7
/proc/9362/task/9381/stat : 9381 (java) S 9339 9339 6587 0 -1 1077944384 19 0 0 0 0 7 0 0 20 0 24 0 419593205 8616062976 30348 33554432000 4194304 4196468 140724924290224 139972650728240 139973361212034 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20008960 140724924294136 140724924294294 140724924294294 140724924297167 0
[pid=9362/tid=9383] ppid=9339 vsize=8414124 memory=808 CPUtime=0 cores=0-7
/proc/9362/task/9383/stat : 9383 (java) S 9339 9339 6587 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 419593273 8616062976 30348 33554432000 4194304 4196468 140724924290224 139972649117504 139973361225497 0 4 2 25189581 18446744071579417331 0 0 -1 6 0 0 0 0 0 6293624 6294260 20008960 140724924294136 140724924294294 140724924294294 140724924297167 0
[pid=9362/tid=9385] ppid=9339 vsize=8414124 memory=1808 CPUtime=0 cores=0-7
/proc/9362/task/9385/stat : 9385 (java) S 9339 9339 6587 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 419593273 8616062976 30348 33554432000 4194304 4196468 140724924290224 139970165587344 139973361222813 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 20008960 140724924294136 140724924294294 140724924294294 140724924297167 0
[pid=9362/tid=9386] ppid=9339 vsize=8414124 memory=288230574492221466 CPUtime=0 cores=0-7
/proc/9362/task/9386/stat : 9386 (java) S 9339 9339 6587 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 24 0 419593273 8616062976 30348 33554432000 4194304 4196468 140724924290224 139970434022672 139973361222813 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 20008960 140724924294136 140724924294294 140724924294294 140724924297167 0
[pid=9362/tid=9395] ppid=9339 vsize=8414124 memory=288230596050944315 CPUtime=0 cores=0-7
/proc/9362/task/9395/stat : 9395 (java) S 9339 9339 6587 0 -1 1077944384 139 0 0 0 0 0 0 0 20 0 24 0 419593275 8616062976 30348 33554432000 4194304 4196468 140724924290224 139969897159984 139973361211093 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20008960 140724924294136 140724924294294 140724924294294 140724924297167 0
Current children cumulated CPU time: 874.28 s
Current children cumulated vsize: 9329928 KiB
Current children cumulated memory: 741520 KiB

[startup+125.401 s]
/proc/loadavg: 7.66 7.92 7.73 2/218 9403
/proc/meminfo: memFree=30542128/32770624 swapFree=67000580/67108860
[pid=9339] ppid=9336 vsize=113128 memory=1476 CPUtime=11.82 cores=0-7
/proc/9339/stat : 9339 (scop.sh) S 9336 9339 6587 0 -1 4202496 582 31454 0 0 0 0 1150 32 20 0 1 0 419592724 115843072 369 33554432000 4194304 5098028 140734787502496 140734787499240 140156208542332 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 13209600 140734787511077 140734787511404 140734787511404 140734787514317 0
/proc/9339/statm: 28282 369 311 221 0 87 0
[pid=9362] ppid=9339 vsize=8414124 memory=121392 CPUtime=1.3 cores=0-7
/proc/9362/stat : 9362 (java) S 9339 9339 6587 0 -1 1077944320 20855 0 0 0 122 8 0 0 20 0 24 0 419593198 8616062976 30348 33554432000 4194304 4196468 140724924290224 140724924272768 139973361200887 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20008960 140724924294136 140724924294294 140724924294294 140724924297167 0
/proc/9362/statm: 2103531 30348 3200 1 0 2064875 0
[pid=9382] ppid=9362 vsize=802676 memory=618692 CPUtime=861.36 cores=0-7
/proc/9382/stat : 9382 (manyglucose-4.1) S 9362 9339 6587 0 -1 1077944320 565828 0 0 0 86018 118 0 0 20 0 2 0 419593272 821940224 154673 33554432000 4194304 4454172 140720553272144 140720553270528 140033026260727 0 4 0 8388610 18446744073709551615 0 0 17 2 0 0 0 0 0 6552832 6554400 19972096 140720553276266 140720553276464 140720553276464 140720553279418 0
/proc/9382/statm: 200669 154673 419 64 0 196337 0
[pid=9382/tid=9389] ppid=9362 vsize=802676 memory=912 CPUtime=117.74 cores=0-7
/proc/9382/task/9389/stat : 9389 (manyglucose-4.1) R 9362 9339 6587 0 -1 4202560 71860 0 0 0 11761 13 0 0 20 0 2 0 419593275 821940224 154673 33554432000 4194304 4454172 140720553272144 140032994258056 4351624 0 4 0 8388610 0 0 0 -1 6 0 0 0 0 0 6552832 6554400 19972096 140720553276266 140720553276464 140720553276464 140720553279418 0
[pid=9362/tid=9363] ppid=9339 vsize=8414124 memory=1440 CPUtime=0.78 cores=0-7
/proc/9362/task/9363/stat : 9363 (java) S 9339 9339 6587 0 -1 1077944384 17350 0 0 0 72 6 0 0 20 0 24 0 419593198 8616062976 30348 33554432000 4194304 4196468 140724924290224 139973333041056 139973361211093 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20008960 140724924294136 140724924294294 140724924294294 140724924297167 0
[pid=9362/tid=9364] ppid=9339 vsize=8414124 memory=1768 CPUtime=0 cores=0-7
/proc/9362/task/9364/stat : 9364 (java) S 9339 9339 6587 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419593199 8616062976 30348 33554432000 4194304 4196468 140724924290224 139973365443472 139973361211093 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20008960 140724924294136 140724924294294 140724924294294 140724924297167 0
[pid=9362/tid=9365] ppid=9339 vsize=8414124 memory=111636 CPUtime=0 cores=0-7
/proc/9362/task/9365/stat : 9365 (java) S 9339 9339 6587 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419593199 8616062976 30348 33554432000 4194304 4196468 140724924290224 139972846603024 139973361211093 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20008960 140724924294136 140724924294294 140724924294294 140724924297167 0
[pid=9362/tid=9366] ppid=9339 vsize=8414124 memory=808 CPUtime=0 cores=0-7
/proc/9362/task/9366/stat : 9366 (java) S 9339 9339 6587 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419593199 8616062976 30348 33554432000 4194304 4196468 140724924290224 139972845550736 139973361211093 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20008960 140724924294136 140724924294294 140724924294294 140724924297167 0
[pid=9362/tid=9367] ppid=9339 vsize=8414124 memory=1808 CPUtime=0 cores=0-7
/proc/9362/task/9367/stat : 9367 (java) S 9339 9339 6587 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419593199 8616062976 30348 33554432000 4194304 4196468 140724924290224 139972844497936 139973361211093 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20008960 140724924294136 140724924294294 140724924294294 140724924297167 0
[pid=9362/tid=9368] ppid=9339 vsize=8414124 memory=1056 CPUtime=0 cores=0-7
/proc/9362/task/9368/stat : 9368 (java) S 9339 9339 6587 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419593199 8616062976 30348 33554432000 4194304 4196468 140724924290224 139972843444624 139973361211093 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20008960 140724924294136 140724924294294 140724924294294 140724924297167 0
[pid=9362/tid=9369] ppid=9339 vsize=8414124 memory=964 CPUtime=0 cores=0-7
/proc/9362/task/9369/stat : 9369 (java) S 9339 9339 6587 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419593199 8616062976 30348 33554432000 4194304 4196468 140724924290224 139972842391824 139973361211093 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20008960 140724924294136 140724924294294 140724924294294 140724924297167 0
[pid=9362/tid=9370] ppid=9339 vsize=8414124 memory=14008 CPUtime=0 cores=0-7
/proc/9362/task/9370/stat : 9370 (java) S 9339 9339 6587 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419593199 8616062976 30348 33554432000 4194304 4196468 140724924290224 139972841339536 139973361211093 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20008960 140724924294136 140724924294294 140724924294294 140724924297167 0
[pid=9362/tid=9371] ppid=9339 vsize=8414124 memory=2116 CPUtime=0 cores=0-7
/proc/9362/task/9371/stat : 9371 (java) S 9339 9339 6587 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419593199 8616062976 30348 33554432000 4194304 4196468 140724924290224 139972840286736 139973361211093 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20008960 140724924294136 140724924294294 140724924294294 140724924297167 0
[pid=9362/tid=9372] ppid=9339 vsize=8414124 memory=20692 CPUtime=0 cores=0-7
/proc/9362/task/9372/stat : 9372 (java) S 9339 9339 6587 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 419593201 8616062976 30348 33554432000 4194304 4196468 140724924290224 139972655991408 139973361212034 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20008960 140724924294136 140724924294294 140724924294294 140724924297167 0
[pid=9362/tid=9373] ppid=9339 vsize=8414124 memory=11852 CPUtime=0 cores=0-7
/proc/9362/task/9373/stat : 9373 (java) S 9339 9339 6587 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 419593201 8616062976 30348 33554432000 4194304 4196468 140724924290224 139971977536800 139973361211093 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20008960 140724924294136 140724924294294 140724924294294 140724924297167 0
[pid=9362/tid=9374] ppid=9339 vsize=8414124 memory=532 CPUtime=0 cores=0-7
/proc/9362/task/9374/stat : 9374 (java) S 9339 9339 6587 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419593202 8616062976 30348 33554432000 4194304 4196468 140724924290224 139971709101680 139973361211093 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20008960 140724924294136 140724924294294 140724924294294 140724924297167 0
[pid=9362/tid=9375] ppid=9339 vsize=8414124 memory=1564 CPUtime=0 cores=0-7
/proc/9362/task/9375/stat : 9375 (java) S 9339 9339 6587 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419593204 8616062976 30348 33554432000 4194304 4196468 140724924290224 139971334593104 139973361219483 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20008960 140724924294136 140724924294294 140724924294294 140724924297167 0
[pid=9362/tid=9376] ppid=9339 vsize=8414124 memory=928 CPUtime=0.08 cores=0-7
/proc/9362/task/9376/stat : 9376 (java) S 9339 9339 6587 0 -1 1077944384 594 0 0 0 8 0 0 0 20 0 24 0 419593204 8616062976 30348 33554432000 4194304 4196468 140724924290224 139972654938224 139973361212034 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20008960 140724924294136 140724924294294 140724924294294 140724924297167 0
[pid=9362/tid=9377] ppid=9339 vsize=8414124 memory=1980 CPUtime=0.05 cores=0-7
/proc/9362/task/9377/stat : 9377 (java) S 9339 9339 6587 0 -1 1077944384 292 0 0 0 5 0 0 0 20 0 24 0 419593204 8616062976 30348 33554432000 4194304 4196468 140724924290224 139972653885424 139973361212034 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20008960 140724924294136 140724924294294 140724924294294 140724924297167 0
[pid=9362/tid=9378] ppid=9339 vsize=8414124 memory=1332 CPUtime=0.05 cores=0-7
/proc/9362/task/9378/stat : 9378 (java) S 9339 9339 6587 0 -1 1077944384 299 0 0 0 5 0 0 0 20 0 24 0 419593204 8616062976 30348 33554432000 4194304 4196468 140724924290224 139972652833136 139973361212034 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20008960 140724924294136 140724924294294 140724924294294 140724924297167 0
[pid=9362/tid=9379] ppid=9339 vsize=8414124 memory=964 CPUtime=0.21 cores=0-7
/proc/9362/task/9379/stat : 9379 (java) S 9339 9339 6587 0 -1 1077944384 767 0 0 0 21 0 0 0 20 0 24 0 419593204 8616062976 30348 33554432000 4194304 4196468 140724924290224 139972651780336 139973361212034 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20008960 140724924294136 140724924294294 140724924294294 140724924297167 0
[pid=9362/tid=9380] ppid=9339 vsize=8414124 memory=14008 CPUtime=0 cores=0-7
/proc/9362/task/9380/stat : 9380 (java) S 9339 9339 6587 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419593204 8616062976 30348 33554432000 4194304 4196468 140724924290224 139970836687712 139973361211093 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20008960 140724924294136 140724924294294 140724924294294 140724924297167 0
[pid=9362/tid=9381] ppid=9339 vsize=8414124 memory=2116 CPUtime=0.07 cores=0-7
/proc/9362/task/9381/stat : 9381 (java) S 9339 9339 6587 0 -1 1077944384 19 0 0 0 0 7 0 0 20 0 24 0 419593205 8616062976 30348 33554432000 4194304 4196468 140724924290224 139972650728240 139973361212034 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20008960 140724924294136 140724924294294 140724924294294 140724924297167 0
[pid=9362/tid=9383] ppid=9339 vsize=8414124 memory=20692 CPUtime=0 cores=0-7
/proc/9362/task/9383/stat : 9383 (java) S 9339 9339 6587 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 419593273 8616062976 30348 33554432000 4194304 4196468 140724924290224 139972649117504 139973361225497 0 4 2 25189581 18446744071579417331 0 0 -1 6 0 0 0 0 0 6293624 6294260 20008960 140724924294136 140724924294294 140724924294294 140724924297167 0
[pid=9362/tid=9385] ppid=9339 vsize=8414124 memory=11852 CPUtime=0 cores=0-7
/proc/9362/task/9385/stat : 9385 (java) S 9339 9339 6587 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 419593273 8616062976 30348 33554432000 4194304 4196468 140724924290224 139970165587344 139973361222813 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 20008960 140724924294136 140724924294294 140724924294294 140724924297167 0
[pid=9362/tid=9386] ppid=9339 vsize=8414124 memory=532 CPUtime=0 cores=0-7
/proc/9362/task/9386/stat : 9386 (java) S 9339 9339 6587 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 24 0 419593273 8616062976 30348 33554432000 4194304 4196468 140724924290224 139970434022672 139973361222813 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 20008960 140724924294136 140724924294294 140724924294294 140724924297167 0
[pid=9362/tid=9395] ppid=9339 vsize=8414124 memory=1564 CPUtime=0 cores=0-7
/proc/9362/task/9395/stat : 9395 (java) S 9339 9339 6587 0 -1 1077944384 139 0 0 0 0 0 0 0 20 0 24 0 419593275 8616062976 30348 33554432000 4194304 4196468 140724924290224 139969897159984 139973361211093 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20008960 140724924294136 140724924294294 140724924294294 140724924297167 0
Current children cumulated CPU time: 874.48 s
Current children cumulated vsize: 9329928 KiB
Current children cumulated memory: 741560 KiB

[startup+125.505 s]
/proc/loadavg: 7.66 7.92 7.73 2/218 9403
/proc/meminfo: memFree=30542128/32770624 swapFree=67000580/67108860
[pid=9339] ppid=9336 vsize=113128 memory=1476 CPUtime=11.82 cores=0-7
/proc/9339/stat : 9339 (scop.sh) S 9336 9339 6587 0 -1 4202496 582 31454 0 0 0 0 1150 32 20 0 1 0 419592724 115843072 369 33554432000 4194304 5098028 140734787502496 140734787499240 140156208542332 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 13209600 140734787511077 140734787511404 140734787511404 140734787514317 0
/proc/9339/statm: 28282 369 311 221 0 87 0
[pid=9362] ppid=9339 vsize=8414124 memory=121560 CPUtime=1.35 cores=0-7
/proc/9362/stat : 9362 (java) S 9339 9339 6587 0 -1 1077944320 20906 0 0 0 127 8 0 0 20 0 24 0 419593198 8616062976 30390 33554432000 4194304 4196468 140724924290224 140724924272768 139973361200887 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20008960 140724924294136 140724924294294 140724924294294 140724924297167 0
/proc/9362/statm: 2103531 30390 3201 1 0 2064875 0
[pid=9362/tid=9363] ppid=9339 vsize=8414124 memory=121392 CPUtime=0.78 cores=0-7
/proc/9362/task/9363/stat : 9363 (java) S 9339 9339 6587 0 -1 1077944384 17350 0 0 0 72 6 0 0 20 0 24 0 419593198 8616062976 30390 33554432000 4194304 4196468 140724924290224 139973333041056 139973361211093 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20008960 140724924294136 140724924294294 140724924294294 140724924297167 0
[pid=9362/tid=9364] ppid=9339 vsize=8414124 memory=121392 CPUtime=0 cores=0-7
/proc/9362/task/9364/stat : 9364 (java) S 9339 9339 6587 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419593199 8616062976 30390 33554432000 4194304 4196468 140724924290224 139973365443472 139973361211093 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20008960 140724924294136 140724924294294 140724924294294 140724924297167 0
[pid=9362/tid=9365] ppid=9339 vsize=8414124 memory=121392 CPUtime=0 cores=0-7
/proc/9362/task/9365/stat : 9365 (java) S 9339 9339 6587 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419593199 8616062976 30390 33554432000 4194304 4196468 140724924290224 139972846603024 139973361211093 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20008960 140724924294136 140724924294294 140724924294294 140724924297167 0
[pid=9362/tid=9366] ppid=9339 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/9362/task/9366/stat : 9366 (java) S 9339 9339 6587 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419593199 8616062976 30390 33554432000 4194304 4196468 140724924290224 139972845550736 139973361211093 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20008960 140724924294136 140724924294294 140724924294294 140724924297167 0
[pid=9362/tid=9367] ppid=9339 vsize=8414124 memory=1696 CPUtime=0 cores=0-7
/proc/9362/task/9367/stat : 9367 (java) S 9339 9339 6587 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419593199 8616062976 30390 33554432000 4194304 4196468 140724924290224 139972844497936 139973361211093 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20008960 140724924294136 140724924294294 140724924294294 140724924297167 0
[pid=9362/tid=9368] ppid=9339 vsize=8414124 memory=579152 CPUtime=0 cores=0-7
/proc/9362/task/9368/stat : 9368 (java) S 9339 9339 6587 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419593199 8616062976 30390 33554432000 4194304 4196468 140724924290224 139972843444624 139973361211093 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20008960 140724924294136 140724924294294 140724924294294 140724924297167 0
[pid=9362/tid=9369] ppid=9339 vsize=8414124 memory=1720 CPUtime=0 cores=0-7
/proc/9362/task/9369/stat : 9369 (java) S 9339 9339 6587 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419593199 8616062976 30390 33554432000 4194304 4196468 140724924290224 139972842391824 139973361211093 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20008960 140724924294136 140724924294294 140724924294294 140724924297167 0
[pid=9362/tid=9370] ppid=9339 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/9362/task/9370/stat : 9370 (java) S 9339 9339 6587 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419593199 8616062976 30390 33554432000 4194304 4196468 140724924290224 139972841339536 139973361211093 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20008960 140724924294136 140724924294294 140724924294294 140724924297167 0
[pid=9362/tid=9371] ppid=9339 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/9362/task/9371/stat : 9371 (java) S 9339 9339 6587 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419593199 8616062976 30390 33554432000 4194304 4196468 140724924290224 139972840286736 139973361211093 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20008960 140724924294136 140724924294294 140724924294294 140724924297167 0
[pid=9362/tid=9372] ppid=9339 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/9362/task/9372/stat : 9372 (java) S 9339 9339 6587 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 419593201 8616062976 30390 33554432000 4194304 4196468 140724924290224 139972655991408 139973361212034 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20008960 140724924294136 140724924294294 140724924294294 140724924297167 0
[pid=9362/tid=9373] ppid=9339 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/9362/task/9373/stat : 9373 (java) S 9339 9339 6587 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 419593201 8616062976 30390 33554432000 4194304 4196468 140724924290224 139971977536800 139973361211093 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20008960 140724924294136 140724924294294 140724924294294 140724924297167 0
[pid=9362/tid=9374] ppid=9339 vsize=8414124 memory=1556 CPUtime=0 cores=0-7
/proc/9362/task/9374/stat : 9374 (java) S 9339 9339 6587 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419593202 8616062976 30390 33554432000 4194304 4196468 140724924290224 139971709101680 139973361211093 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20008960 140724924294136 140724924294294 140724924294294 140724924297167 0
[pid=9362/tid=9375] ppid=9339 vsize=8414124 memory=1056 CPUtime=0 cores=0-7
/proc/9362/task/9375/stat : 9375 (java) S 9339 9339 6587 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419593204 8616062976 30390 33554432000 4194304 4196468 140724924290224 139971334593104 139973361219483 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20008960 140724924294136 140724924294294 140724924294294 140724924297167 0
[pid=9362/tid=9376] ppid=9339 vsize=8414124 memory=2648 CPUtime=0.09 cores=0-7
/proc/9362/task/9376/stat : 9376 (java) S 9339 9339 6587 0 -1 1077944384 596 0 0 0 9 0 0 0 20 0 24 0 419593204 8616062976 30390 33554432000 4194304 4196468 140724924290224 139972654938224 139973361212034 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20008960 140724924294136 140724924294294 140724924294294 140724924297167 0
[pid=9362/tid=9377] ppid=9339 vsize=8414124 memory=912 CPUtime=0.05 cores=0-7
/proc/9362/task/9377/stat : 9377 (java) S 9339 9339 6587 0 -1 1077944384 292 0 0 0 5 0 0 0 20 0 24 0 419593204 8616062976 30390 33554432000 4194304 4196468 140724924290224 139972653885424 139973361212034 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20008960 140724924294136 140724924294294 140724924294294 140724924297167 0
[pid=9362/tid=9378] ppid=9339 vsize=8414124 memory=1476 CPUtime=0.06 cores=0-7
/proc/9362/task/9378/stat : 9378 (java) S 9339 9339 6587 0 -1 1077944384 306 0 0 0 6 0 0 0 20 0 24 0 419593204 8616062976 30390 33554432000 4194304 4196468 140724924290224 139972652833136 139973361212034 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20008960 140724924294136 140724924294294 140724924294294 140724924297167 0
[pid=9362/tid=9379] ppid=9339 vsize=8414124 memory=1476 CPUtime=0.22 cores=0-7
/proc/9362/task/9379/stat : 9379 (java) S 9339 9339 6587 0 -1 1077944384 796 0 0 0 22 0 0 0 20 0 24 0 419593204 8616062976 30390 33554432000 4194304 4196468 140724924290224 139972651780336 139973361212034 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20008960 140724924294136 140724924294294 140724924294294 140724924297167 0
[pid=9362/tid=9380] ppid=9339 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/9362/task/9380/stat : 9380 (java) S 9339 9339 6587 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419593204 8616062976 30390 33554432000 4194304 4196468 140724924290224 139970836687712 139973361211093 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20008960 140724924294136 140724924294294 140724924294294 140724924297167 0
[pid=9362/tid=9381] ppid=9339 vsize=8414124 memory=0 CPUtime=0.07 cores=0-7
/proc/9362/task/9381/stat : 9381 (java) S 9339 9339 6587 0 -1 1077944384 19 0 0 0 0 7 0 0 20 0 24 0 419593205 8616062976 30390 33554432000 4194304 4196468 140724924290224 139972650728240 139973361212034 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20008960 140724924294136 140724924294294 140724924294294 140724924297167 0
[pid=9362/tid=9383] ppid=9339 vsize=8414124 memory=164 CPUtime=0 cores=0-7
/proc/9362/task/9383/stat : 9383 (java) S 9339 9339 6587 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 419593273 8616062976 30390 33554432000 4194304 4196468 140724924290224 139972649117504 139973361225497 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20008960 140724924294136 140724924294294 140724924294294 140724924297167 0
[pid=9362/tid=9385] ppid=9339 vsize=8414112 memory=0 CPUtime=861.49 cores=0-7
/proc/9362/task/9385/stat : 9385 (java) R 9339 9339 6587 0 -1 4202560 19 565842 0 0 2 0 86027 120 20 0 24 0 419593273 8616050688 30390 33554432000 4194304 4196468 140724924290224 139970165587376 139973353917850 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20008960 140724924294136 140724924294294 140724924294294 140724924297167 0
[pid=9362/tid=9386] ppid=9339 vsize=8414124 memory=0 CPUtime=861.47 cores=0-7
/proc/9362/task/9386/stat : 9386 (java) R 9339 9339 6587 0 -1 4202560 20 565842 0 0 0 0 86027 120 20 0 24 0 419593273 8616062976 30390 33554432000 4194304 4196468 140724924290224 139970434022672 139973361222909 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20008960 140724924294136 140724924294294 140724924294294 140724924297167 0
[pid=9362/tid=9395] ppid=9339 vsize=8414124 memory=-8412660965215072671 CPUtime=861.47 cores=0-7
/proc/9362/task/9395/stat : 9395 (java) R 9339 9339 6587 0 -1 4202560 139 565842 0 0 0 0 86027 120 20 0 24 0 419593275 8616062976 30390 33554432000 4194304 4196468 140724924290224 139969897159984 139973361222234 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20008960 140724924294136 140724924294294 140724924294294 140724924297167 0
Current children cumulated CPU time: 13.17 s
Current children cumulated vsize: 8527252 KiB
Current children cumulated memory: 123036 KiB

Child status: 0
Real time (s): 125.519
CPU time (s): 874.681
CPU user time (s): 873.051
CPU system time (s): 1.63048
CPU usage (%): 696.854
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 1052360

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 873.051
system time used= 1.63048
maximum resident set size= 1051316
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 618841
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1016
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 18610
involuntary context switches= 8099


# summary of solver processes directly reported to runsolver:
#   pid: 9339
#   total CPU time (s): 874.681
#   total CPU user time (s): 873.051
#   total CPU system time (s): 1.63048

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.21481 second user time and 1.7444 second system time

The end

Launcher Data 

Begin job on node146 at 2019-09-14 06:52:26
IDJOB=4392450
IDBENCH=134586
IDSOLVER=2838
FILE ID=node146/4392450-1568436787
RUNJOBID= node146-1568429502-6614
PBS_JOBID= 21702307
Free space on /tmp= 59032 MiB

SOLVER NAME= Fun-sCOP order+ManyGlucose (2019-06-15)
BENCH NAME= XCSP17/Blackhole/Blackhole-xcsp2-s07/Blackhole-4-07-7_X2.xml
COMMAND LINE= DIR/scop.sh 22g DIR/scop.jar -order DIR/manyglucose-4.1-27_release -model:-nthreads=NBCORE:-maxmemory=20000:-lit-scans=6000000 TMPDIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4392450-1568436787/watcher-4392450-1568436787 -o /tmp/evaluation-result-4392450-1568436787/solver-4392450-1568436787 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node146-1568429502-6614 --watchdog 2580  HOME/scop.sh 22g HOME/scop.jar -order HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4392450-1568436787.xml

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

MD5SUM BENCH= 58733bdc54ee5d0b54338851c7cdf9d7
RANDOM SEED=413919488

node146.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	: 5332.90
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	: 5332.90
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	: 5332.90
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	: 5332.90
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:        31268472 kB
MemAvailable:   31880120 kB
Buffers:          191676 kB
Cached:           683456 kB
SwapCached:         4776 kB
Active:           503608 kB
Inactive:         378324 kB
Active(anon):      22940 kB
Inactive(anon):    22008 kB
Active(file):     480668 kB
Inactive(file):   356316 kB
Unevictable:      110128 kB
Mlocked:          110128 kB
SwapTotal:      67108860 kB
SwapFree:       67000580 kB
Dirty:             20932 kB
Writeback:             0 kB
AnonPages:        119760 kB
Mapped:            42708 kB
Shmem:             29924 kB
Slab:             211444 kB
SReclaimable:     181000 kB
SUnreclaim:        30444 kB
KernelStack:        3728 kB
PageTables:         6040 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     498936 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     75776 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      109952 kB
DirectMap2M:    33435648 kB

Free space on /tmp at the end= 59012 MiB
End job on node146 at 2019-09-14 06:54:32