Trace number 4405610

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Fun-sCOP hybrid+ManyGlucose (2019-09-22)UNSAT 877.408 121.91

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 -hybrid -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-32171-serial-file.bin HOME/instance-4405610-1569343176.xml
0.66/0.54	
0.66/0.54	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
0.66/0.54	
0.66/0.56	c BEGIN-Prog: Tue Sep 24 18:38:54 CEST 2019
0.66/0.56	c PID: 32174
0.66/0.56	c IP: 172.20.3.145
0.66/0.56	c HOST: node145.alineos.net
0.66/0.57	c (0,0) Parsing Begin
2.08/1.12	c (0,0) Parsing End
2.08/1.13	c (0,0) CSP: 109 int (0 aux), 2 bool (0 aux), 1261 ctr, max domain size 28
2.08/1.13	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.08/1.13	c (0,0) Constraint Name Generate Begin
2.08/1.14	c (0,0) Ctr:HOME/instance-4405610-1569343176.xml,ExtensionConflict:ExtensionSupport:Var
2.08/1.14	c (0,0) Constraint Name Generate End
2.08/1.14	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.08/1.14	c (0,0) CSP to CSPinCNF Begin
3.21/1.62	c (1,1) translated 127 (10%) constraints
3.64/1.73	c (1,1) translated 253 (20%) constraints
4.04/1.81	c (1,1) translated 379 (30%) constraints
4.04/1.87	c (1,1) translated 505 (40%) constraints
4.46/1.93	c (1,1) translated 631 (50%) constraints
4.46/1.98	c (1,1) translated 757 (60%) constraints
5.30/2.12	c (1,1) translated 883 (70%) constraints
5.90/2.37	c (1,1) translated 1009 (80%) constraints
6.14/2.59	c (2,2) translated 1135 (90%) constraints
7.00/2.90	c (2,2) translated 1261 (100%) constraints
7.00/2.90	c (2,2) ===========================================
7.00/2.92	c (2,2) Hybrid: #OE=793, #LE=0
7.00/2.92	c (2,2) Hybrid
7.00/2.92	c (2,2) ===========================================
7.00/2.99	c (2,2) translated 1883 (10%) constraints
7.36/3.05	c (2,2) translated 3765 (20%) constraints
7.36/3.10	c (2,2) translated 5647 (30%) constraints
7.70/3.15	c (2,2) translated 7529 (40%) constraints
8.06/3.21	c (2,2) translated 9411 (50%) constraints
8.06/3.26	c (2,2) translated 11294 (60%) constraints
8.43/3.31	c (2,2) translated 13176 (70%) constraints
8.43/3.35	c (2,2) translated 15058 (80%) constraints
8.43/3.38	c (2,2) translated 16940 (90%) constraints
8.62/3.42	c (2,2) translated 18822 (100%) constraints
8.62/3.42	c (2,2) CSP to CSPinCNF End
8.62/3.42	c (2,2) CSP: 108 int (0 aux), 685 bool (682 aux), 18822 ctr, max domain size 28
8.62/3.42	c (2,2) Heap : 788 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB)
8.62/3.42	c (2,2) CSPinCNF Propagation Begin
9.76/3.79	c (3,3) 109 values, 8487 unsatisfiable literals, and 4834 valid clauses are removed
9.76/3.79	c (3,3) CSPinCNF Propagation End
9.76/3.79	c (3,3) CSP: 108 int (0 aux), 685 bool (682 aux), 13988 ctr, max domain size 26
9.76/3.79	c (3,3) Heap : 1013 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
10.05/3.81	c (3,3) Hybrid: #OE=793, #LE=0
10.05/3.81	c (3,3) Simplify CSPinCNF Begin
10.05/3.86	c (3,3) Simplify CSPinCNF End
10.05/3.86	c (3,3) CSP: 108 int (0 aux), 685 bool (682 aux), 13988 ctr, max domain size 26
10.05/3.86	c (3,3) Heap : 1013 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
10.05/3.86	c (3,3) Calculate Precise Domain Begin
10.05/3.86	c (3,3) 0 values are removed by re-calculation
10.05/3.86	c (3,3) Calculate Precise Domain End
10.05/3.86	c (3,3) CSP: 108 int (0 aux), 685 bool (682 aux), 13988 ctr, max domain size 26
10.05/3.86	c (3,3) Heap : 1013 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
10.05/3.86	c (3,3) CSPinCNF to SatSolver Begin
10.65/4.01	c (3,3) 1399 (10 %) CSP clauses are encoded (0 SAT variables, 3107 SAT clauses)
10.65/4.07	c (3,3) 2798 (20 %) CSP clauses are encoded (0 SAT variables, 4506 SAT clauses)
11.05/4.12	c (3,3) 4197 (30 %) CSP clauses are encoded (0 SAT variables, 5905 SAT clauses)
11.05/4.17	c (3,3) 5596 (40 %) CSP clauses are encoded (0 SAT variables, 7304 SAT clauses)
11.41/4.20	c (3,3) 6994 (50 %) CSP clauses are encoded (0 SAT variables, 8702 SAT clauses)
11.41/4.23	c (3,3) 8393 (60 %) CSP clauses are encoded (0 SAT variables, 10101 SAT clauses)
11.41/4.25	c (3,3) 9792 (70 %) CSP clauses are encoded (0 SAT variables, 11500 SAT clauses)
11.41/4.27	c (3,3) 11191 (80 %) CSP clauses are encoded (0 SAT variables, 12899 SAT clauses)
11.41/4.28	c (3,3) 12590 (90 %) CSP clauses are encoded (0 SAT variables, 14298 SAT clauses)
11.41/4.29	c (3,3) 13988 (100 %) CSP clauses are encoded (0 SAT variables, 15696 SAT clauses)
11.41/4.29	c (3,3) CSPinCNF to SatSolver End
11.41/4.29	c (3,3) Heap : 1126 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB)
11.41/4.29	c (3,3) 2482 bool, 15697 clause
11.41/4.29	c (3,3) Export Begin
11.93/4.52	c (3,3) Export to HOME/scop-32171-serial-file.bin
11.93/4.52	c (3,3) Export End
11.93/4.52	c (3,3) Export File Size: 0.02 MB
11.93/4.52	c (3,3) 0,0,2,3,3,3,3,STOP-AFTER(DIMACS)
11.93/4.52	c END-Prog: Tue Sep 24 18:38:58 CEST 2019
11.93/4.59	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-32171-serial-file.bin
12.53/5.05	c (0,0) Read Serial File Begin
12.53/5.05	c (0,0) HOME/scop-32171-serial-file.bin
12.79/5.28	c (0,0) Read Serial File End
12.79/5.29	
12.79/5.29	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
12.79/5.29	(Solving Process)
12.79/5.29	
12.96/5.31	c BEGIN-Prog: Tue Sep 24 18:38:59 CEST 2019
12.96/5.31	c PID: 32194
12.96/5.31	c IP: 172.20.3.145
12.96/5.31	c HOST: node145.alineos.net
12.96/5.32	c (0,0) SatSolver.solve Begin
12.96/5.32	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4405610-1569343176.xml-scop-32174.cnf
12.96/5.34	c (0,0) c
12.96/5.34	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.96/5.34	c (0,0) c
12.96/5.34	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
12.96/5.34	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
12.96/5.34	c (0,0) c ========================================[ Problem Statistics ]===========================================
12.96/5.34	c (0,0) c |                                                                                                       |
12.96/5.35	c (0,0) c |  Number of variables:          2480                                                                   |
12.96/5.35	c (0,0) c |  Number of clauses:           15697                                                                   |
12.96/5.35	c (0,0) c |  Parse time:                   0.01 s                                                                 |
12.96/5.35	c (0,0) c |                                                                                                       |
12.96/5.35	c (0,0) WARNING! DIMACS header mismatch: wrong number of variables.
12.96/5.36	c (0,0) c |  Simplification time:          0.01 s                                                                 |
12.96/5.36	c (0,0) c |                                                                                                       |
12.96/5.36	c (0,0) c |  Generating clones                                                                                    |
12.96/5.36	c (0,0) c |  all clones generated. Memory =    32.06Mb.                                                           |
12.96/5.36	c (0,0) c ========================================================================================================|
12.96/5.36	c (0,0) c
12.96/5.36	c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
12.96/5.36	c (0,0) c
12.96/5.36	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
12.96/5.36	c (0,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
12.96/5.36	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
12.96/5.36	c (0,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
12.96/5.36	c (0,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
12.96/5.36	c (0,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
12.96/5.36	c (0,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
12.96/5.36	c (0,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
12.96/5.36	c (0,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
12.96/5.36	c (0,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
12.96/5.36	c (0,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
12.96/5.36	c (0,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
12.96/5.36	c (0,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
12.96/5.36	c (0,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
12.96/5.36	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.36	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.36	c (0,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
12.96/5.36	c (0,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
12.96/5.36	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
236.99/34.64	c (29,0) c
236.99/34.64	c (29,0) c |------------------------------------------------------------------------------------------------------------------------|
236.99/34.65	c (29,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
236.99/34.65	c (29,0) c |------------------------------------------------------------------------------------------------------------------------|
236.99/34.65	c (29,0) c |  0 |    396 |     619321 |     333388 |     9344 |    66203 |    51587 |   320962 |    14877 |      354 |  20 |  0.847 |
236.99/34.65	c (29,0) c |  1 |    480 |     607565 |     326678 |     9307 |    59490 |    50306 |   318635 |    11585 |      354 |  20 |  0.847 |
236.99/34.65	c (29,0) c |  2 |    395 |     585165 |     314552 |     9292 |    47370 |    45454 |   317156 |    13242 |      334 |  20 |  0.847 |
236.99/34.65	c (29,0) c |  3 |    517 |     595966 |     329799 |     9405 |    62617 |    48038 |   309956 |    15982 |      341 |  20 |  0.847 |
236.99/34.65	c (29,0) c |  4 |    411 |     631834 |     336674 |     9463 |    69489 |    46195 |   317236 |    18627 |      354 |  20 |  0.847 |
236.99/34.65	c (29,0) c |  5 |    411 |     592814 |     312416 |     8906 |    45225 |    44668 |   325895 |    13293 |      354 |  20 |  0.847 |
236.99/34.65	c (29,0) c |  6 |    429 |     598190 |     316061 |     9382 |    48873 |    45123 |   325415 |    13915 |      354 |  20 |  0.847 |
236.99/34.65	c (29,0) c |  7 |    413 |     620411 |     335749 |     9343 |    68566 |    50069 |   324373 |    15723 |      354 |  20 |  0.848 |
236.99/34.65	c (29,0) c 
236.99/34.65	c (29,0) c synthesis     2605318 conflicts   193788699 propagations    11650 conflicts/sec   866551 propagations/sec
236.99/34.65	c (29,0) c real: 29.3046 s, cpu: 223.632 s, memory: 630.32 Mb
444.98/63.65	c (58,0) c
444.98/63.65	c (58,0) c |------------------------------------------------------------------------------------------------------------------------|
444.98/63.65	c (58,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
444.98/63.65	c (58,0) c |------------------------------------------------------------------------------------------------------------------------|
444.98/63.65	c (58,0) c |  0 |    470 |     987426 |     523900 |     9426 |    87517 |    70997 |   460265 |    25623 |      676 |  20 |  0.848 |
444.98/63.65	c (58,0) c |  1 |    563 |     984471 |     522505 |     9430 |    86120 |    67984 |   463111 |    26812 |      675 |  20 |  0.847 |
444.98/63.65	c (58,0) c |  2 |    498 |     953693 |     509768 |     9480 |    73382 |    64506 |   459984 |    29130 |      657 |  20 |  0.847 |
444.98/63.65	c (58,0) c |  3 |    592 |     951481 |     516465 |     9441 |    80076 |    69111 |   442867 |    26319 |      676 |  20 |  0.848 |
444.98/63.65	c (58,0) c |  4 |    539 |     999725 |     527261 |     9527 |    90880 |    65286 |   427058 |    29270 |      677 |  20 |  0.848 |
444.98/63.65	c (58,0) c |  5 |    537 |     970731 |     506393 |     9411 |    70010 |    64085 |   466982 |    31567 |      677 |  20 |  0.847 |
444.98/63.65	c (58,0) c |  6 |    494 |     944002 |     494825 |     9511 |    58446 |    62303 |   463260 |    27967 |      677 |  20 |  0.847 |
444.98/63.65	c (58,0) c |  7 |    524 |     994491 |     528348 |     9478 |    91961 |    72961 |   456353 |    28949 |      677 |  20 |  0.847 |
444.98/63.65	c (58,0) c 
444.98/63.65	c (58,0) c synthesis     4129467 conflicts   305911380 propagations     9577 conflicts/sec   709497 propagations/sec
444.98/63.65	c (58,0) c real: 58.3047 s, cpu: 431.166 s, memory: 696.43 Mb
659.14/92.65	c (87,0) c
659.14/92.65	c (87,0) c |------------------------------------------------------------------------------------------------------------------------|
659.14/92.65	c (87,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
659.14/92.65	c (87,0) c |------------------------------------------------------------------------------------------------------------------------|
659.14/92.65	c (87,0) c |  0 |    584 |    1298168 |     685320 |     9442 |    94738 |    85523 |   565718 |    37411 |     1000 |  20 |  0.848 |
659.14/92.65	c (87,0) c |  1 |    644 |    1309253 |     688305 |     9444 |    97720 |    84115 |   570627 |    41134 |     1005 |  20 |  0.847 |
659.14/92.65	c (87,0) c |  2 |    613 |    1286811 |     678226 |     9506 |    87640 |    80270 |   568158 |    43216 |      986 |  20 |  0.847 |
659.14/92.65	c (87,0) c |  3 |    684 |    1276727 |     680700 |     9461 |    90116 |    83842 |   568871 |    41395 |     1006 |  20 |  0.847 |
659.14/92.65	c (87,0) c |  4 |    641 |    1317079 |     688244 |     9549 |    97659 |    81400 |   556667 |    40482 |     1006 |  20 |  0.848 |
659.14/92.65	c (87,0) c |  5 |    645 |    1295738 |     671181 |     9445 |    80596 |    80321 |   574602 |    44605 |     1006 |  20 |  0.848 |
659.14/92.65	c (87,0) c |  6 |    634 |    1267645 |     660583 |     9538 |    69991 |    77520 |   568683 |    40492 |      998 |  20 |  0.847 |
659.14/92.65	c (87,0) c |  7 |    614 |    1318787 |     692235 |     9500 |   101648 |    87607 |   567582 |    39934 |     1006 |  20 |  0.847 |
659.14/92.65	c (87,0) c 
659.14/92.65	c (87,0) c synthesis     5444794 conflicts   403605712 propagations     8439 conflicts/sec   625571 propagations/sec
659.14/92.65	c (87,0) c real: 87.3048 s, cpu: 645.18 s, memory: 755.70 Mb
877.20/121.87	c (116,0) c
877.20/121.87	c (116,0) c real time : 116.531 s
877.20/121.87	c (116,0) c cpu time  : 862.5 s
877.20/121.87	c (116,0) c
877.20/121.87	c (116,0) c
877.20/121.87	c (116,0) c
877.20/121.87	c (116,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
877.20/121.87	c (116,0) c
877.20/121.87	c (116,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
877.20/121.87	c (116,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
877.20/121.87	c (116,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
877.20/121.87	c (116,0) c | Conflicts     |         6493965 |     816706 |     817267 |     814980 |     808658 |     816764 |     800503 |     794370 |     824717 |
877.20/121.87	c (116,0) c | Decisions     |        12462783 |    1561708 |    1563337 |    1557153 |    1536174 |    1577390 |    1553633 |    1528896 |    1584492 |
877.20/121.87	c (116,0) c | Propagations  |       483818918 |   60844591 |   61339773 |   60372327 |   59792687 |   60395122 |   59701907 |   60417554 |   60954957 |
877.20/121.87	c (116,0) c | ReduceDBs     |             192 |         24 |         24 |         24 |         24 |         24 |         24 |         24 |         24 |
877.20/121.87	c (116,0) c | SimpDBs       |              79 |         10 |          8 |         10 |          8 |         12 |         10 |         12 |          9 |
877.20/121.87	c (116,0) c | Restarts      |            5479 |        655 |        681 |        688 |        707 |        695 |        700 |        709 |        644 |
877.20/121.87	c (116,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
877.20/121.87	c (116,0) c | PropBinClauses|      1065949687 |  133153282 |  134617925 |  135398115 |  131300610 |  131499537 |  133330886 |  134238760 |  132410572 |
877.20/121.87	c (116,0) c | PropPreBlocker|     35711148929 | 4449487986 | 4518564254 | 4454953324 | 4404227654 | 4498656027 | 4455329687 | 4428767334 | 4501162663 |
877.20/121.87	c (116,0) c | PropNotBlocker|      5858453916 |  740920534 |  721504227 |  723944339 |  734032170 |  729645937 |  734054065 |  750362374 |  723990270 |
877.20/121.87	c (116,0) c | LitFullScans  |     63115983160 | 7885470192 | 7897380290 | 7885445580 | 7885116047 | 7891362049 | 7897507003 | 7888304149 | 7885397850 |
877.20/121.87	c (116,0) c | LitScanFracts |        10976061 |    1452283 |    1367105 |    1438918 |    1061246 |    1357664 |    1501542 |    1410866 |    1386437 |
877.20/121.87	c (116,0) c | DecisionLevel0|            5572 |        666 |        692 |        701 |        721 |        706 |        709 |        724 |        653 |
877.20/121.87	c (116,0) c | Periods       |           10517 |       1314 |       1316 |       1314 |       1314 |       1315 |       1316 |       1314 |       1314 |
877.20/121.87	c (116,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
877.20/121.87	c (116,0) c | Avg_Trail     |                 |        628 |        633 |        628 |        637 |        631 |        627 |        632 |        630 |
877.20/121.87	c (116,0) c | Avg_DL        |                 |         21 |         21 |         21 |         22 |         21 |         21 |         21 |         21 |
877.20/121.87	c (116,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
877.20/121.87	c (116,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
877.20/121.87	c (116,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
877.20/121.87	c (116,0) c | Exported      |          750159 |      96241 |      94815 |      91088 |      96559 |      91971 |      90933 |      88742 |      99810 |
877.20/121.87	c (116,0) c | Imported      |         5186106 |     646252 |     646905 |     654200 |     648738 |     649377 |     647621 |     657261 |     635752 |
877.20/121.87	c (116,0) c | Good          |           15362 |       1959 |       1892 |       1915 |       1921 |       1919 |       1924 |       1947 |       1885 |
877.20/121.87	c (116,0) c | Purge         |         5170744 |     644293 |     645013 |     652285 |     646817 |     647458 |     645697 |     655314 |     633867 |
877.20/121.87	c (116,0) c | Promoted      |          414683 |      47705 |      51141 |      54409 |      52947 |      52247 |      55342 |      50789 |      50103 |
877.20/121.87	c (116,0) c | Remove_Imp    |         4026116 |     496891 |     497679 |     504881 |     486342 |     508953 |     510189 |     514945 |     506236 |
877.20/121.87	c (116,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
877.20/121.87	c (116,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
877.20/121.87	c (116,0) c | Unaries       |                 |         11 |         11 |         13 |         14 |         11 |          9 |         15 |          9 |
877.20/121.87	c (116,0) c | Binaries      |                 |        247 |        308 |        308 |        299 |        275 |        251 |        291 |        286 |
877.20/121.87	c (116,0) c | Glues         |                 |        979 |        984 |       1030 |       1018 |       1003 |       1019 |       1051 |       1073 |
877.20/121.87	c (116,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
877.20/121.87	c (116,0) c | Orig_Seen     |            87 % |       9455 |       9458 |       9524 |       9468 |       9565 |       9459 |       9550 |       9516 |
877.20/121.87	c (116,0) c | Diff Orig seen|                 | -       95 | -       92 | -       26 | -       82 |         15 | -       91 |      X     | -       34 |
877.20/121.87	c (116,0) c | Hamming       |            10 % |        293 |        257 |        283 |        238 |        247 |        278 |      X     |        273 |
877.20/121.87	c (116,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
877.20/121.87	c (116,0) c | RunningTime   |                 |  107.6  93%|  105.1  91%|  116.1 100%|  110.3  96%|  101.6  88%|  107.8  93%|  110.1  96%|  105.8  92%|
877.20/121.87	c (116,0) c | WaitingTime   |                 |    7.3   6%|    9.8   9%|    0.0   0%|    4.7   4%|   13.3  12%|    7.2   6%|    4.8   4%|    9.2   8%|
877.20/121.87	c (116,0) c | ExchangingTime|                 |    0.3   0%|    0.3   0%|    0.3   0%|    0.3   0%|    0.4   0%|    0.3   0%|    0.3   0%|    0.3   0%|
877.20/121.87	c (116,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%|
877.20/121.87	c (116,0) c | SolvingTime   |                 |  115.3     |  115.3     |  116.4     |  115.3     |  115.3     |  115.3     |  115.2     |  115.4     |
877.20/121.87	c (116,0) c | PropagationTim|                 |   97.2  84%|   96.2  83%|   85.6  74%|   93.0  81%|  102.4  89%|   98.5  85%|   91.0  79%|   97.8  85%|
877.20/121.87	c (116,0) c | AnalysisTime  |                 |   14.7  13%|   15.7  14%|   27.5  24%|   19.0  16%|    9.3   8%|   13.4  12%|   21.0  18%|   14.2  12%|
877.20/121.87	c (116,0) c | ReductionTime |                 |    1.3   1%|    1.3   1%|    1.2   1%|    1.3   1%|    1.3   1%|    1.3   1%|    1.2   1%|    1.3   1%|
877.20/121.87	c (116,0) c | SimplifyTime  |                 |    0.0   0%|    0.1   0%|    0.0   0%|    0.0   0%|    0.1   0%|    0.0   0%|    0.0   0%|    0.0   0%|
877.20/121.87	c (116,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%|
877.20/121.87	c (116,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%|
877.20/121.87	c (116,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
877.20/121.87	c (116,0) c
877.20/121.87	c (116,0) c
877.20/121.87	c (116,0) c Threads : 8
877.20/121.87	c (116,0) c Winner : 6
877.20/121.87	c (116,0) c Conflicts_0 : 816706
877.20/121.87	c (116,0) c Conflicts_1 : 817267
877.20/121.87	c (116,0) c Conflicts_2 : 814980
877.20/121.87	c (116,0) c Conflicts_3 : 808658
877.20/121.87	c (116,0) c Conflicts_4 : 816764
877.20/121.87	c (116,0) c Conflicts_5 : 800503
877.20/121.87	c (116,0) c Conflicts_6 : 794370
877.20/121.87	c (116,0) c Conflicts_7 : 824717
877.20/121.87	c (116,0) c Conflicts_total : 6493965
877.20/121.87	c (116,0) c Conflicts_winner : 794370
877.20/121.87	c (116,0) c Decisions_0 : 1561708
877.20/121.87	c (116,0) c Decisions_1 : 1563337
877.20/121.87	c (116,0) c Decisions_2 : 1557153
877.20/121.87	c (116,0) c Decisions_3 : 1536174
877.20/121.87	c (116,0) c Decisions_4 : 1577390
877.20/121.87	c (116,0) c Decisions_5 : 1553633
877.20/121.87	c (116,0) c Decisions_6 : 1528896
877.20/121.87	c (116,0) c Decisions_7 : 1584492
877.20/121.87	c (116,0) c Decisions_total : 12462783
877.20/121.87	c (116,0) c Decisions_winner : 1528896
877.20/121.87	c (116,0) c Propagations_0 : 60844591
877.20/121.87	c (116,0) c Propagations_1 : 61339773
877.20/121.87	c (116,0) c Propagations_2 : 60372327
877.20/121.87	c (116,0) c Propagations_3 : 59792687
877.20/121.87	c (116,0) c Propagations_4 : 60395122
877.20/121.88	c (116,0) c Propagations_5 : 59701907
877.20/121.88	c (116,0) c Propagations_6 : 60417554
877.20/121.88	c (116,0) c Propagations_7 : 60954957
877.20/121.88	c (116,0) c Propagations_total : 483818918
877.20/121.88	c (116,0) c Propagations_winner : 60417554
877.20/121.88	c (116,0) c ReduceDBs_0 : 24
877.20/121.88	c (116,0) c ReduceDBs_1 : 24
877.20/121.88	c (116,0) c ReduceDBs_2 : 24
877.20/121.88	c (116,0) c ReduceDBs_3 : 24
877.20/121.88	c (116,0) c ReduceDBs_4 : 24
877.20/121.88	c (116,0) c ReduceDBs_5 : 24
877.20/121.88	c (116,0) c ReduceDBs_6 : 24
877.20/121.88	c (116,0) c ReduceDBs_7 : 24
877.20/121.88	c (116,0) c ReduceDBs_total : 192
877.20/121.88	c (116,0) c ReduceDBs_winner : 24
877.20/121.88	c (116,0) c SimpDBs_0 : 10
877.20/121.88	c (116,0) c SimpDBs_1 : 8
877.20/121.88	c (116,0) c SimpDBs_2 : 10
877.20/121.88	c (116,0) c SimpDBs_3 : 8
877.20/121.88	c (116,0) c SimpDBs_4 : 12
877.20/121.88	c (116,0) c SimpDBs_5 : 10
877.20/121.88	c (116,0) c SimpDBs_6 : 12
877.20/121.88	c (116,0) c SimpDBs_7 : 9
877.20/121.88	c (116,0) c SimpDBs_total : 79
877.20/121.88	c (116,0) c SimpDBs_winner : 12
877.20/121.88	c (116,0) c Restarts_0 : 655
877.20/121.88	c (116,0) c Restarts_1 : 681
877.20/121.88	c (116,0) c Restarts_2 : 688
877.20/121.88	c (116,0) c Restarts_3 : 707
877.20/121.88	c (116,0) c Restarts_4 : 695
877.20/121.88	c (116,0) c Restarts_5 : 700
877.20/121.88	c (116,0) c Restarts_6 : 709
877.20/121.88	c (116,0) c Restarts_7 : 644
877.20/121.88	c (116,0) c Restarts_total : 5479
877.20/121.88	c (116,0) c Restarts_winner : 709
877.20/121.88	c (116,0) c ForcedImports_0 : 0
877.20/121.88	c (116,0) c ForcedImports_1 : 0
877.20/121.88	c (116,0) c ForcedImports_2 : 0
877.20/121.88	c (116,0) c ForcedImports_3 : 0
877.20/121.88	c (116,0) c ForcedImports_4 : 0
877.20/121.88	c (116,0) c ForcedImports_5 : 0
877.20/121.88	c (116,0) c ForcedImports_6 : 0
877.20/121.88	c (116,0) c ForcedImports_7 : 0
877.20/121.88	c (116,0) c ForcedImports_total : 0
877.20/121.88	c (116,0) c ForcedImports_winner : 0
877.20/121.88	c (116,0) c PropsBinClauses_0 : 133153282
877.20/121.88	c (116,0) c PropsBinClauses_1 : 134617925
877.20/121.88	c (116,0) c PropsBinClauses_2 : 135398115
877.20/121.88	c (116,0) c PropsBinClauses_3 : 131300610
877.20/121.88	c (116,0) c PropsBinClauses_4 : 131499537
877.20/121.88	c (116,0) c PropsBinClauses_5 : 133330886
877.20/121.88	c (116,0) c PropsBinClauses_6 : 134238760
877.20/121.88	c (116,0) c PropsBinClauses_7 : 132410572
877.20/121.88	c (116,0) c PropsBinClauses_total : 1065949687
877.20/121.88	c (116,0) c PropsBinClauses_winner : 134238760
877.20/121.88	c (116,0) c PropsPreBlocker_0 : 4449487986
877.20/121.88	c (116,0) c PropsPreBlocker_1 : 4518564254
877.20/121.88	c (116,0) c PropsPreBlocker_2 : 4454953324
877.20/121.88	c (116,0) c PropsPreBlocker_3 : 4404227654
877.20/121.88	c (116,0) c PropsPreBlocker_4 : 4498656027
877.20/121.88	c (116,0) c PropsPreBlocker_5 : 4455329687
877.20/121.88	c (116,0) c PropsPreBlocker_6 : 4428767334
877.20/121.88	c (116,0) c PropsPreBlocker_7 : 4501162663
877.20/121.88	c (116,0) c PropsPreBlocker_total : 35711148929
877.20/121.88	c (116,0) c PropsPreBlocker_winner : 4428767334
877.20/121.88	c (116,0) c PropsNotBlocker_0 : 740920534
877.20/121.88	c (116,0) c PropsNotBlocker_1 : 721504227
877.20/121.88	c (116,0) c PropsNotBlocker_2 : 723944339
877.20/121.88	c (116,0) c PropsNotBlocker_3 : 734032170
877.20/121.88	c (116,0) c PropsNotBlocker_4 : 729645937
877.20/121.88	c (116,0) c PropsNotBlocker_5 : 734054065
877.20/121.88	c (116,0) c PropsNotBlocker_6 : 750362374
877.20/121.88	c (116,0) c PropsNotBlocker_7 : 723990270
877.20/121.88	c (116,0) c PropsNotBlocker_total : 5858453916
877.20/121.88	c (116,0) c PropsNotBlocker_winner : 750362374
877.20/121.88	c (116,0) c PropsLitFullScans_0 : 7885470192
877.20/121.88	c (116,0) c PropsLitFullScans_1 : 7897380290
877.20/121.88	c (116,0) c PropsLitFullScans_2 : 7885445580
877.20/121.88	c (116,0) c PropsLitFullScans_3 : 7885116047
877.20/121.88	c (116,0) c PropsLitFullScans_4 : 7891362049
877.20/121.88	c (116,0) c PropsLitFullScans_5 : 7897507003
877.20/121.88	c (116,0) c PropsLitFullScans_6 : 7888304149
877.20/121.88	c (116,0) c PropsLitFullScans_7 : 7885397850
877.20/121.88	c (116,0) c PropsLitFullScans_total : 63115983160
877.20/121.88	c (116,0) c PropsLitFullScans_winner : 7888304149
877.20/121.88	c (116,0) c LitScanFractions_0 : 1452283
877.20/121.88	c (116,0) c LitScanFractions_1 : 1367105
877.20/121.88	c (116,0) c LitScanFractions_2 : 1438918
877.20/121.88	c (116,0) c LitScanFractions_3 : 1061246
877.20/121.88	c (116,0) c LitScanFractions_4 : 1357664
877.20/121.88	c (116,0) c LitScanFractions_5 : 1501542
877.20/121.88	c (116,0) c LitScanFractions_6 : 1410866
877.20/121.88	c (116,0) c LitScanFractions_7 : 1386437
877.20/121.88	c (116,0) c LitScanFractions_total : 10976061
877.20/121.88	c (116,0) c LitScanFractions_winner : 1410866
877.20/121.88	c (116,0) c DecisionLevel0_0 : 666
877.20/121.88	c (116,0) c DecisionLevel0_1 : 692
877.20/121.88	c (116,0) c DecisionLevel0_2 : 701
877.20/121.88	c (116,0) c DecisionLevel0_3 : 721
877.20/121.88	c (116,0) c DecisionLevel0_4 : 706
877.20/121.88	c (116,0) c DecisionLevel0_5 : 709
877.20/121.88	c (116,0) c DecisionLevel0_6 : 724
877.20/121.88	c (116,0) c DecisionLevel0_7 : 653
877.20/121.88	c (116,0) c DecisionLevel0_total : 5572
877.20/121.88	c (116,0) c DecisionLevel0_winner : 724
877.20/121.88	c (116,0) c Periods_0 : 1314
877.20/121.88	c (116,0) c Periods_1 : 1316
877.20/121.88	c (116,0) c Periods_2 : 1314
877.20/121.88	c (116,0) c Periods_3 : 1314
877.20/121.88	c (116,0) c Periods_4 : 1315
877.20/121.88	c (116,0) c Periods_5 : 1316
877.20/121.88	c (116,0) c Periods_6 : 1314
877.20/121.88	c (116,0) c Periods_7 : 1314
877.20/121.88	c (116,0) c Periods_total : 10517
877.20/121.88	c (116,0) c Periods_winner : 1314
877.20/121.88	c (116,0) c Margin_0 : 20
877.20/121.88	c (116,0) c Margin_1 : 20
877.20/121.88	c (116,0) c Margin_2 : 20
877.20/121.88	c (116,0) c Margin_3 : 20
877.20/121.88	c (116,0) c Margin_4 : 20
877.20/121.88	c (116,0) c Margin_5 : 20
877.20/121.88	c (116,0) c Margin_6 : 20
877.20/121.88	c (116,0) c Margin_7 : 20
877.20/121.88	c (116,0) c Margin_total : 160
877.20/121.88	c (116,0) c Margin_winner : 20
877.20/121.88	c (116,0) c Exported_0 : 96241
877.20/121.88	c (116,0) c Exported_1 : 94815
877.20/121.88	c (116,0) c Exported_2 : 91088
877.20/121.88	c (116,0) c Exported_3 : 96559
877.20/121.88	c (116,0) c Exported_4 : 91971
877.20/121.88	c (116,0) c Exported_5 : 90933
877.20/121.88	c (116,0) c Exported_6 : 88742
877.20/121.88	c (116,0) c Exported_7 : 99810
877.20/121.88	c (116,0) c Exported_total : 750159
877.20/121.88	c (116,0) c Exported_winner : 88742
877.20/121.88	c (116,0) c Imported_0 : 646252
877.20/121.88	c (116,0) c Imported_1 : 646905
877.20/121.88	c (116,0) c Imported_2 : 654200
877.20/121.88	c (116,0) c Imported_3 : 648738
877.20/121.88	c (116,0) c Imported_4 : 649377
877.20/121.88	c (116,0) c Imported_5 : 647621
877.20/121.88	c (116,0) c Imported_6 : 657261
877.20/121.88	c (116,0) c Imported_7 : 635752
877.20/121.88	c (116,0) c Imported_total : 5186106
877.20/121.88	c (116,0) c Imported_winner : 657261
877.20/121.88	c (116,0) c Good_0 : 1959
877.20/121.88	c (116,0) c Good_1 : 1892
877.20/121.88	c (116,0) c Good_2 : 1915
877.20/121.88	c (116,0) c Good_3 : 1921
877.20/121.88	c (116,0) c Good_4 : 1919
877.20/121.88	c (116,0) c Good_5 : 1924
877.20/121.88	c (116,0) c Good_6 : 1947
877.20/121.88	c (116,0) c Good_7 : 1885
877.20/121.88	c (116,0) c Good_total : 15362
877.20/121.88	c (116,0) c Good_winner : 1947
877.20/121.88	c (116,0) c Purge_0 : 644293
877.20/121.88	c (116,0) c Purge_1 : 645013
877.20/121.88	c (116,0) c Purge_2 : 652285
877.20/121.88	c (116,0) c Purge_3 : 646817
877.20/121.88	c (116,0) c Purge_4 : 647458
877.20/121.88	c (116,0) c Purge_5 : 645697
877.20/121.88	c (116,0) c Purge_6 : 655314
877.20/121.88	c (116,0) c Purge_7 : 633867
877.20/121.88	c (116,0) c Purge_total : 5170744
877.20/121.88	c (116,0) c Purge_winner : 655314
877.20/121.88	c (116,0) c Promoted_0 : 47705
877.20/121.88	c (116,0) c Promoted_1 : 51141
877.20/121.88	c (116,0) c Promoted_2 : 54409
877.20/121.88	c (116,0) c Promoted_3 : 52947
877.20/121.88	c (116,0) c Promoted_4 : 52247
877.20/121.88	c (116,0) c Promoted_5 : 55342
877.20/121.88	c (116,0) c Promoted_6 : 50789
877.20/121.88	c (116,0) c Promoted_7 : 50103
877.20/121.88	c (116,0) c Promoted_total : 414683
877.20/121.88	c (116,0) c Promoted_winner : 50789
877.20/121.88	c (116,0) c Remove_Imp_0 : 496891
877.20/121.88	c (116,0) c Remove_Imp_1 : 497679
877.20/121.88	c (116,0) c Remove_Imp_2 : 504881
877.20/121.88	c (116,0) c Remove_Imp_3 : 486342
877.20/121.88	c (116,0) c Remove_Imp_4 : 508953
877.20/121.88	c (116,0) c Remove_Imp_5 : 510189
877.20/121.88	c (116,0) c Remove_Imp_6 : 514945
877.20/121.88	c (116,0) c Remove_Imp_7 : 506236
877.20/121.88	c (116,0) c Remove_Imp_total : 4026116
877.20/121.88	c (116,0) c Remove_Imp_winner : 514945
877.20/121.88	c (116,0) c Blocked_Reuse_0 : 0
877.20/121.88	c (116,0) c Blocked_Reuse_1 : 0
877.20/121.88	c (116,0) c Blocked_Reuse_2 : 0
877.20/121.88	c (116,0) c Blocked_Reuse_3 : 0
877.20/121.88	c (116,0) c Blocked_Reuse_4 : 0
877.20/121.88	c (116,0) c Blocked_Reuse_5 : 0
877.20/121.88	c (116,0) c Blocked_Reuse_6 : 0
877.20/121.88	c (116,0) c Blocked_Reuse_7 : 0
877.20/121.88	c (116,0) c Blocked_Reuse_total : 0
877.20/121.88	c (116,0) c Blocked_Reuse_winner : 0
877.20/121.88	c (116,0) c Unaries_0 : 11
877.20/121.88	c (116,0) c Unaries_1 : 11
877.20/121.88	c (116,0) c Unaries_2 : 13
877.20/121.88	c (116,0) c Unaries_3 : 14
877.20/121.88	c (116,0) c Unaries_4 : 11
877.20/121.88	c (116,0) c Unaries_5 : 9
877.20/121.88	c (116,0) c Unaries_6 : 15
877.20/121.88	c (116,0) c Unaries_7 : 9
877.20/121.88	c (116,0) c Unaries_total : 93
877.20/121.88	c (116,0) c Unaries_winner : 15
877.20/121.88	c (116,0) c Binaries_0 : 247
877.20/121.88	c (116,0) c Binaries_1 : 308
877.20/121.88	c (116,0) c Binaries_2 : 308
877.20/121.88	c (116,0) c Binaries_3 : 299
877.20/121.88	c (116,0) c Binaries_4 : 275
877.20/121.88	c (116,0) c Binaries_5 : 251
877.20/121.88	c (116,0) c Binaries_6 : 291
877.20/121.88	c (116,0) c Binaries_7 : 286
877.20/121.88	c (116,0) c Binaries_total : 2265
877.20/121.88	c (116,0) c Binaries_winner : 291
877.20/121.88	c (116,0) c Glues_0 : 979
877.20/121.88	c (116,0) c Glues_1 : 984
877.20/121.88	c (116,0) c Glues_2 : 1030
877.20/121.88	c (116,0) c Glues_3 : 1018
877.20/121.88	c (116,0) c Glues_4 : 1003
877.20/121.88	c (116,0) c Glues_5 : 1019
877.20/121.88	c (116,0) c Glues_6 : 1051
877.20/121.88	c (116,0) c Glues_7 : 1073
877.20/121.88	c (116,0) c Glues_total : 8157
877.20/121.88	c (116,0) c Glues_winner : 1051
877.20/121.88	c (116,0) c RunningTime_0 : 107.644162
877.20/121.88	c (116,0) c RunningTime_1 : 105.131399
877.20/121.88	c (116,0) c RunningTime_2 : 116.080412
877.20/121.88	c (116,0) c RunningTime_3 : 110.340380
877.20/121.88	c (116,0) c RunningTime_4 : 101.607943
877.20/121.88	c (116,0) c RunningTime_5 : 107.791037
877.20/121.88	c (116,0) c RunningTime_6 : 110.130948
877.20/121.88	c (116,0) c RunningTime_7 : 105.831172
877.20/121.88	c (116,0) c RunningTime_total : 864.557453
877.20/121.88	c (116,0) c RunningTime_winner : 110.130948
877.20/121.88	c (116,0) c WaitingTime_0 : 7.290512
877.20/121.88	c (116,0) c WaitingTime_1 : 9.817095
877.20/121.88	c (116,0) c WaitingTime_2 : 0.001606
877.20/121.88	c (116,0) c WaitingTime_3 : 4.660359
877.20/121.88	c (116,0) c WaitingTime_4 : 13.274841
877.20/121.88	c (116,0) c WaitingTime_5 : 7.169469
877.20/121.88	c (116,0) c WaitingTime_6 : 4.789582
877.20/121.88	c (116,0) c WaitingTime_7 : 9.205351
877.20/121.88	c (116,0) c WaitingTime_total : 56.208813
877.20/121.88	c (116,0) c WaitingTime_winner : 4.789582
877.20/121.88	c (116,0) c ExchangingTime_0 : 0.329600
877.20/121.88	c (116,0) c ExchangingTime_1 : 0.328990
877.20/121.88	c (116,0) c ExchangingTime_2 : 0.333539
877.20/121.88	c (116,0) c ExchangingTime_3 : 0.337751
877.20/121.88	c (116,0) c ExchangingTime_4 : 0.370382
877.20/121.88	c (116,0) c ExchangingTime_5 : 0.342956
877.20/121.88	c (116,0) c ExchangingTime_6 : 0.302181
877.20/121.88	c (116,0) c ExchangingTime_7 : 0.345290
877.20/121.88	c (116,0) c ExchangingTime_total : 2.690689
877.20/121.88	c (116,0) c ExchangingTime_winner : 0.302181
877.20/121.88	c (116,0) c PeriodProcTime_0 : 0.011587
877.20/121.88	c (116,0) c PeriodProcTime_1 : 0.011834
877.20/121.88	c (116,0) c PeriodProcTime_2 : 0.015869
877.20/121.88	c (116,0) c PeriodProcTime_3 : 0.010348
877.20/121.88	c (116,0) c PeriodProcTime_4 : 0.012516
877.20/121.88	c (116,0) c PeriodProcTime_5 : 0.010920
877.20/121.88	c (116,0) c PeriodProcTime_6 : 0.011984
877.20/121.88	c (116,0) c PeriodProcTime_7 : 0.011477
877.20/121.88	c (116,0) c PeriodProcTime_total : 0.096537
877.20/121.88	c (116,0) c PeriodProcTime_winner : 0.011984
877.20/121.88	c (116,0) c SolvingTime_0 : 115.275860
877.20/121.88	c (116,0) c SolvingTime_1 : 115.289318
877.20/121.88	c (116,0) c SolvingTime_2 : 116.431426
877.20/121.88	c (116,0) c SolvingTime_3 : 115.348838
877.20/121.88	c (116,0) c SolvingTime_4 : 115.265682
877.20/121.88	c (116,0) c SolvingTime_5 : 115.314382
877.20/121.88	c (116,0) c SolvingTime_6 : 115.234695
877.20/121.88	c (116,0) c SolvingTime_7 : 115.393290
877.20/121.88	c (116,0) c SolvingTime_total : 923.553492
877.20/121.88	c (116,0) c SolvingTime_winner : 115.234695
877.20/121.88	c (116,0) c PropagationTime_0 : 97.227301
877.20/121.88	c (116,0) c PropagationTime_1 : 96.171152
877.20/121.88	c (116,0) c PropagationTime_2 : 85.640468
877.20/121.88	c (116,0) c PropagationTime_3 : 92.951295
877.20/121.88	c (116,0) c PropagationTime_4 : 102.438361
877.20/121.88	c (116,0) c PropagationTime_5 : 98.540915
877.20/121.88	c (116,0) c PropagationTime_6 : 91.000846
877.20/121.88	c (116,0) c PropagationTime_7 : 97.807997
877.20/121.88	c (116,0) c PropagationTime_total : 761.778335
877.20/121.88	c (116,0) c PropagationTime_winner : 91.000846
877.20/121.88	c (116,0) c AnalysisTime_0 : 14.734997
877.20/121.88	c (116,0) c AnalysisTime_1 : 15.746421
877.20/121.88	c (116,0) c AnalysisTime_2 : 27.483183
877.20/121.88	c (116,0) c AnalysisTime_3 : 19.004299
877.20/121.88	c (116,0) c AnalysisTime_4 : 9.331437
877.20/121.88	c (116,0) c AnalysisTime_5 : 13.363789
877.20/121.88	c (116,0) c AnalysisTime_6 : 20.993387
877.20/121.88	c (116,0) c AnalysisTime_7 : 14.157832
877.20/121.88	c (116,0) c AnalysisTime_total : 134.815345
877.20/121.88	c (116,0) c AnalysisTime_winner : 20.993387
877.20/121.88	c (116,0) c ReductionTime_0 : 1.257735
877.20/121.88	c (116,0) c ReductionTime_1 : 1.264260
877.20/121.88	c (116,0) c ReductionTime_2 : 1.215496
877.20/121.88	c (116,0) c ReductionTime_3 : 1.330480
877.20/121.88	c (116,0) c ReductionTime_4 : 1.309083
877.20/121.88	c (116,0) c ReductionTime_5 : 1.300098
877.20/121.88	c (116,0) c ReductionTime_6 : 1.211994
877.20/121.88	c (116,0) c ReductionTime_7 : 1.321195
877.20/121.88	c (116,0) c ReductionTime_total : 10.210343
877.20/121.88	c (116,0) c ReductionTime_winner : 1.211994
877.20/121.88	c (116,0) c SimplifyTime_0 : 0.043034
877.20/121.88	c (116,0) c SimplifyTime_1 : 0.057265
877.20/121.88	c (116,0) c SimplifyTime_2 : 0.044328
877.20/121.88	c (116,0) c SimplifyTime_3 : 0.041367
877.20/121.88	c (116,0) c SimplifyTime_4 : 0.083449
877.20/121.88	c (116,0) c SimplifyTime_5 : 0.045025
877.20/121.88	c (116,0) c SimplifyTime_6 : 0.041800
877.20/121.88	c (116,0) c SimplifyTime_7 : 0.028542
877.20/121.88	c (116,0) c SimplifyTime_total : 0.384809
877.20/121.88	c (116,0) c SimplifyTime_winner : 0.041800
877.20/121.88	c (116,0) c UsedRateTime_0 : 0.000000
877.20/121.88	c (116,0) c UsedRateTime_1 : 0.000000
877.20/121.88	c (116,0) c UsedRateTime_2 : 0.000000
877.20/121.88	c (116,0) c UsedRateTime_3 : 0.000000
877.20/121.88	c (116,0) c UsedRateTime_4 : 0.000000
877.20/121.88	c (116,0) c UsedRateTime_5 : 0.000000
877.20/121.88	c (116,0) c UsedRateTime_6 : 0.000000
877.20/121.88	c (116,0) c UsedRateTime_7 : 0.000000
877.20/121.88	c (116,0) c UsedRateTime_total : 0.000000
877.20/121.88	c (116,0) c UsedRateTime_winner : 0.000000
877.20/121.88	c (116,0) c OverlapRateTime_0 : 0.000000
877.20/121.88	c (116,0) c OverlapRateTime_1 : 0.000000
877.20/121.88	c (116,0) c OverlapRateTime_2 : 0.000000
877.20/121.88	c (116,0) c OverlapRateTime_3 : 0.000000
877.20/121.88	c (116,0) c OverlapRateTime_4 : 0.000000
877.20/121.88	c (116,0) c OverlapRateTime_5 : 0.000000
877.20/121.88	c (116,0) c OverlapRateTime_6 : 0.000000
877.20/121.88	c (116,0) c OverlapRateTime_7 : 0.000000
877.20/121.89	c (116,0) c OverlapRateTime_total : 0.000000
877.20/121.89	c (116,0) c OverlapRateTime_winner : 0.000000
877.20/121.89	c (116,0) c
877.20/121.89	c (116,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
877.20/121.89	c (116,0) c
877.20/121.89	c (116,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
877.20/121.89	c (116,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
877.20/121.89	c (116,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
877.20/121.89	c (116,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
877.20/121.89	c (116,0) c | adaptStrategeis       |      False |      False |      False |      False |      False |      False |      False |      False |
877.20/121.89	c (116,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
877.20/121.89	c (116,0) c | Initial random_seed   | 1435795062 | 1495939488 |  952616313 | 2140706035 | 1200409094 | 1992665790 |  570332755 | 1367278045 |
877.20/121.89	c (116,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
877.20/121.89	c (116,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
877.20/121.89	c (116,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
877.20/121.89	c (116,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
877.20/121.89	c (116,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
877.20/121.89	c (116,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
877.20/121.89	c (116,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
877.20/121.89	c (116,0) c | var_decay             |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
877.20/121.89	c (116,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
877.20/121.89	c (116,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
877.20/121.89	c (116,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
877.20/121.89	c (116,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
877.20/121.89	c (116,0) 
877.20/121.89	c (116,0) s UNSATISFIABLE
877.20/121.89	c (116,0) SatSolver.solve End
877.20/121.90	c (116,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
877.20/121.90	c (116,0) Show results Begin
877.20/121.90	s UNSATISFIABLE
877.20/121.90	c (116,0) Show results End
877.20/121.90	c (116,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
877.37/121.90	c (116,0) 116,116,STOP-AFTER(ALL)
877.37/121.90	c END-Prog: Tue Sep 24 18:40:56 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 (12403 MiB free)
  memory of node 1: 16384 MiB (12777 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4405610-1569343176/watcher-4405610-1569343176 -o /var/tmp/evaluation-result-4405610-1569343176/solver-4405610-1569343176 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node145-1569335936-30460 --watchdog 2580 HOME/scop.sh 22g HOME/scop.jar -hybrid HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4405610-1569343176.xml 

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

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


[startup+0.10015 s]*
/proc/loadavg: 5.57 3.48 4.44 2/212 32193
/proc/meminfo: memFree=25689500/32770624 swapFree=66966880/67108860
[pid=32171] ppid=32168 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/32171/stat : 32171 (scop.sh) S 32168 32171 30433 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 510254050 115843072 349 33554432000 4194304 5098028 140722940643264 140722940640520 140427893895804 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 34529280 140722940646140 140722940646488 140722940646488 140722940649417 0
/proc/32171/statm: 28282 349 296 221 0 87 0
[pid=32174] ppid=32171 vsize=27314120 memory=109680 CPUtime=0.11 cores=0-7
/proc/32174/stat : 32174 (java) S 32171 32171 30433 0 -1 1077944320 6448 0 0 0 8 3 0 0 20 0 20 0 510254050 27969658880 27420 33554432000 4194304 4196468 140731720222272 140731720204816 140301470445303 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 31920128 140731720229574 140731720230022 140731720230022 140731720232911 0
/proc/32174/statm: 6828530 27420 2778 1 0 6790935 0
[pid=32174/tid=32175] ppid=32171 vsize=27314120 memory=4134930498285298233 CPUtime=0.08 cores=0-7
/proc/32174/task/32175/stat : 32175 (java) R 32171 32171 30433 0 -1 4202560 4559 0 0 0 6 2 0 0 20 0 20 0 510254051 27969658880 27420 33554432000 4194304 4196468 140731720222272 140301442279744 140301462682430 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31920128 140731720229574 140731720230022 140731720230022 140731720232911 0
[pid=32174/tid=32176] ppid=32171 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32174/task/32176/stat : 32176 (java) S 32171 32171 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510254053 27969658880 27420 33554432000 4194304 4196468 140731720222272 140301474687376 140301470455509 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31920128 140731720229574 140731720230022 140731720230022 140731720232911 0
[pid=32174/tid=32177] ppid=32171 vsize=27314120 memory=139838449018496 CPUtime=0 cores=0-7
/proc/32174/task/32177/stat : 32177 (java) S 32171 32171 30433 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510254053 27969658880 27420 33554432000 4194304 4196468 140731720222272 140301288843536 140301470455509 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31920128 140731720229574 140731720230022 140731720230022 140731720232911 0
[pid=32174/tid=32178] ppid=32171 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32174/task/32178/stat : 32178 (java) S 32171 32171 30433 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510254053 27969658880 27420 33554432000 4194304 4196468 140731720222272 140301287791248 140301470455509 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31920128 140731720229574 140731720230022 140731720230022 140731720232911 0
[pid=32174/tid=32179] ppid=32171 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32174/task/32179/stat : 32179 (java) S 32171 32171 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510254053 27969658880 27420 33554432000 4194304 4196468 140731720222272 140301286738448 140301470455509 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31920128 140731720229574 140731720230022 140731720230022 140731720232911 0
[pid=32174/tid=32180] ppid=32171 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32174/task/32180/stat : 32180 (java) S 32171 32171 30433 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510254053 27969658880 27420 33554432000 4194304 4196468 140731720222272 140301285686160 140301470455509 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31920128 140731720229574 140731720230022 140731720230022 140731720232911 0
[pid=32174/tid=32181] ppid=32171 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/32174/task/32181/stat : 32181 (java) S 32171 32171 30433 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510254053 27969658880 27420 33554432000 4194304 4196468 140731720222272 140301284633360 140301470455509 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31920128 140731720229574 140731720230022 140731720230022 140731720232911 0
[pid=32174/tid=32182] ppid=32171 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32174/task/32182/stat : 32182 (java) S 32171 32171 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510254053 27969658880 27420 33554432000 4194304 4196468 140731720222272 140301283581072 140301470455509 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31920128 140731720229574 140731720230022 140731720230022 140731720232911 0
[pid=32174/tid=32183] ppid=32171 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32174/task/32183/stat : 32183 (java) S 32171 32171 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510254053 27969658880 27420 33554432000 4194304 4196468 140731720222272 140301282528272 140301470455509 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31920128 140731720229574 140731720230022 140731720230022 140731720232911 0
[pid=32174/tid=32184] ppid=32171 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32174/task/32184/stat : 32184 (java) S 32171 32171 30433 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510254055 27969658880 27420 33554432000 4194304 4196468 140731720222272 140299522082928 140301470456450 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31920128 140731720229574 140731720230022 140731720230022 140731720232911 0
[pid=32174/tid=32185] ppid=32171 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32174/task/32185/stat : 32185 (java) S 32171 32171 30433 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 510254055 27969658880 27420 33554432000 4194304 4196468 140731720222272 140299401683744 140301470455509 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31920128 140731720229574 140731720230022 140731720230022 140731720232911 0
[pid=32174/tid=32186] ppid=32171 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32174/task/32186/stat : 32186 (java) S 32171 32171 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510254055 27969658880 27420 33554432000 4194304 4196468 140731720222272 140299133248624 140301470455509 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31920128 140731720229574 140731720230022 140731720230022 140731720232911 0
[pid=32174/tid=32187] ppid=32171 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32174/task/32187/stat : 32187 (java) S 32171 32171 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510254058 27969658880 27420 33554432000 4194304 4196468 140731720222272 140298758740048 140301470463899 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31920128 140731720229574 140731720230022 140731720230022 140731720232911 0
[pid=32174/tid=32188] ppid=32171 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32174/task/32188/stat : 32188 (java) S 32171 32171 30433 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 20 0 510254058 27969658880 27420 33554432000 4194304 4196468 140731720222272 140299521030768 140301470456450 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31920128 140731720229574 140731720230022 140731720230022 140731720232911 0
[pid=32174/tid=32189] ppid=32171 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32174/task/32189/stat : 32189 (java) S 32171 32171 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510254058 27969658880 27420 33554432000 4194304 4196468 140731720222272 140299519977968 140301470456450 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31920128 140731720229574 140731720230022 140731720230022 140731720232911 0
[pid=32174/tid=32190] ppid=32171 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32174/task/32190/stat : 32190 (java) S 32171 32171 30433 0 -1 1077944384 277 0 0 0 0 0 0 0 20 0 20 0 510254058 27969658880 27420 33554432000 4194304 4196468 140731720222272 140299518925680 140301470456450 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31920128 140731720229574 140731720230022 140731720230022 140731720232911 0
[pid=32174/tid=32191] ppid=32171 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32174/task/32191/stat : 32191 (java) S 32171 32171 30433 0 -1 1077944384 249 0 0 0 0 0 0 0 20 0 20 0 510254058 27969658880 27420 33554432000 4194304 4196468 140731720222272 140299517872880 140301470456450 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31920128 140731720229574 140731720230022 140731720230022 140731720232911 0
[pid=32174/tid=32192] ppid=32171 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32174/task/32192/stat : 32192 (java) S 32171 32171 30433 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510254058 27969658880 27420 33554432000 4194304 4196468 140731720222272 140298260834656 140301470455509 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31920128 140731720229574 140731720230022 140731720230022 140731720232911 0
[pid=32174/tid=32193] ppid=32171 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/32174/task/32193/stat : 32193 (java) S 32171 32171 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510254058 27969658880 27420 33554432000 4194304 4196468 140731720222272 140299516819760 140301470456450 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31920128 140731720229574 140731720230022 140731720230022 140731720232911 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 111076 KiB

[startup+0.210684 s]*
/proc/loadavg: 5.57 3.48 4.44 4/212 32193
/proc/meminfo: memFree=25668712/32770624 swapFree=66966880/67108860
[pid=32171] ppid=32168 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/32171/stat : 32171 (scop.sh) S 32168 32171 30433 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 510254050 115843072 349 33554432000 4194304 5098028 140722940643264 140722940640520 140427893895804 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 34529280 140722940646140 140722940646488 140722940646488 140722940649417 0
/proc/32171/statm: 28282 349 296 221 0 87 0
[pid=32174] ppid=32171 vsize=27314120 memory=126256 CPUtime=0.24 cores=0-7
/proc/32174/stat : 32174 (java) S 32171 32171 30433 0 -1 1077944320 11456 0 0 0 20 4 0 0 20 0 20 0 510254050 27969658880 31564 33554432000 4194304 4196468 140731720222272 140731720204816 140301470445303 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 31920128 140731720229574 140731720230022 140731720230022 140731720232911 0
/proc/32174/statm: 6828530 31564 2866 1 0 6790935 0
[pid=32174/tid=32175] ppid=32171 vsize=27314120 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/32174/task/32175/stat : 32175 (java) R 32171 32171 30433 0 -1 4202560 9181 0 0 0 16 3 0 0 20 0 20 0 510254051 27969658880 31564 33554432000 4194304 4196468 140731720222272 140301442228864 140301455610856 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31920128 140731720229574 140731720230022 140731720230022 140731720232911 0
[pid=32174/tid=32176] ppid=32171 vsize=27314120 memory=329 CPUtime=0 cores=0-7
/proc/32174/task/32176/stat : 32176 (java) S 32171 32171 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510254053 27969658880 31564 33554432000 4194304 4196468 140731720222272 140301474687376 140301470455509 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31920128 140731720229574 140731720230022 140731720230022 140731720232911 0
[pid=32174/tid=32177] ppid=32171 vsize=27314120 memory=139838452064878 CPUtime=0 cores=0-7
/proc/32174/task/32177/stat : 32177 (java) S 32171 32171 30433 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510254053 27969658880 31564 33554432000 4194304 4196468 140731720222272 140301288843536 140301470455509 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31920128 140731720229574 140731720230022 140731720230022 140731720232911 0
[pid=32174/tid=32178] ppid=32171 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/32174/task/32178/stat : 32178 (java) S 32171 32171 30433 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510254053 27969658880 31564 33554432000 4194304 4196468 140731720222272 140301287791248 140301470455509 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31920128 140731720229574 140731720230022 140731720230022 140731720232911 0
[pid=32174/tid=32179] ppid=32171 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32174/task/32179/stat : 32179 (java) S 32171 32171 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510254053 27969658880 31564 33554432000 4194304 4196468 140731720222272 140301286738448 140301470455509 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31920128 140731720229574 140731720230022 140731720230022 140731720232911 0
[pid=32174/tid=32180] ppid=32171 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32174/task/32180/stat : 32180 (java) S 32171 32171 30433 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510254053 27969658880 31564 33554432000 4194304 4196468 140731720222272 140301285686160 140301470455509 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31920128 140731720229574 140731720230022 140731720230022 140731720232911 0
[pid=32174/tid=32181] ppid=32171 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/32174/task/32181/stat : 32181 (java) S 32171 32171 30433 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510254053 27969658880 31564 33554432000 4194304 4196468 140731720222272 140301284633360 140301470455509 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31920128 140731720229574 140731720230022 140731720230022 140731720232911 0
[pid=32174/tid=32182] ppid=32171 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32174/task/32182/stat : 32182 (java) S 32171 32171 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510254053 27969658880 31564 33554432000 4194304 4196468 140731720222272 140301283581072 140301470455509 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31920128 140731720229574 140731720230022 140731720230022 140731720232911 0
[pid=32174/tid=32183] ppid=32171 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32174/task/32183/stat : 32183 (java) S 32171 32171 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510254053 27969658880 31564 33554432000 4194304 4196468 140731720222272 140301282528272 140301470455509 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31920128 140731720229574 140731720230022 140731720230022 140731720232911 0
[pid=32174/tid=32184] ppid=32171 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32174/task/32184/stat : 32184 (java) S 32171 32171 30433 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510254055 27969658880 31564 33554432000 4194304 4196468 140731720222272 140299522082928 140301470456450 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31920128 140731720229574 140731720230022 140731720230022 140731720232911 0
[pid=32174/tid=32185] ppid=32171 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32174/task/32185/stat : 32185 (java) S 32171 32171 30433 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 510254055 27969658880 31564 33554432000 4194304 4196468 140731720222272 140299401683744 140301470455509 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31920128 140731720229574 140731720230022 140731720230022 140731720232911 0
[pid=32174/tid=32186] ppid=32171 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32174/task/32186/stat : 32186 (java) S 32171 32171 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510254055 27969658880 31564 33554432000 4194304 4196468 140731720222272 140299133248624 140301470455509 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31920128 140731720229574 140731720230022 140731720230022 140731720232911 0
[pid=32174/tid=32187] ppid=32171 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32174/task/32187/stat : 32187 (java) S 32171 32171 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510254058 27969658880 31564 33554432000 4194304 4196468 140731720222272 140298758740048 140301470463899 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31920128 140731720229574 140731720230022 140731720230022 140731720232911 0
[pid=32174/tid=32188] ppid=32171 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32174/task/32188/stat : 32188 (java) S 32171 32171 30433 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 20 0 510254058 27969658880 31564 33554432000 4194304 4196468 140731720222272 140299521030768 140301470456450 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31920128 140731720229574 140731720230022 140731720230022 140731720232911 0
[pid=32174/tid=32189] ppid=32171 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32174/task/32189/stat : 32189 (java) S 32171 32171 30433 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 20 0 510254058 27969658880 31564 33554432000 4194304 4196468 140731720222272 140299519977968 140301470456450 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31920128 140731720229574 140731720230022 140731720230022 140731720232911 0
[pid=32174/tid=32190] ppid=32171 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/32174/task/32190/stat : 32190 (java) S 32171 32171 30433 0 -1 1077944384 394 0 0 0 0 0 0 0 20 0 20 0 510254058 27969658880 31564 33554432000 4194304 4196468 140731720222272 140299518925680 140301470456450 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31920128 140731720229574 140731720230022 140731720230022 140731720232911 0
[pid=32174/tid=32191] ppid=32171 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7
/proc/32174/task/32191/stat : 32191 (java) S 32171 32171 30433 0 -1 1077944384 462 0 0 0 2 0 0 0 20 0 20 0 510254058 27969658880 31564 33554432000 4194304 4196468 140731720222272 140299517872880 140301470456450 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31920128 140731720229574 140731720230022 140731720230022 140731720232911 0
[pid=32174/tid=32192] ppid=32171 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32174/task/32192/stat : 32192 (java) S 32171 32171 30433 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510254058 27969658880 31564 33554432000 4194304 4196468 140731720222272 140298260834656 140301470455509 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31920128 140731720229574 140731720230022 140731720230022 140731720232911 0
[pid=32174/tid=32193] ppid=32171 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/32174/task/32193/stat : 32193 (java) S 32171 32171 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510254058 27969658880 31564 33554432000 4194304 4196468 140731720222272 140299516819760 140301470456450 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31920128 140731720229574 140731720230022 140731720230022 140731720232911 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 127652 KiB

[startup+0.310473 s]*
/proc/loadavg: 5.57 3.48 4.44 2/212 32193
/proc/meminfo: memFree=25665960/32770624 swapFree=66966880/67108860
[pid=32171] ppid=32168 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/32171/stat : 32171 (scop.sh) S 32168 32171 30433 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 510254050 115843072 349 33554432000 4194304 5098028 140722940643264 140722940640520 140427893895804 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 34529280 140722940646140 140722940646488 140722940646488 140722940649417 0
/proc/32171/statm: 28282 349 296 221 0 87 0
[pid=32174] ppid=32171 vsize=27314120 memory=130192 CPUtime=0.42 cores=0-7
/proc/32174/stat : 32174 (java) S 32171 32171 30433 0 -1 1077944320 12398 0 0 0 37 5 0 0 20 0 20 0 510254050 27969658880 32548 33554432000 4194304 4196468 140731720222272 140731720204816 140301470445303 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 31920128 140731720229574 140731720230022 140731720230022 140731720232911 0
/proc/32174/statm: 6828530 32548 3019 1 0 6790935 0
[pid=32174/tid=32175] ppid=32171 vsize=27314120 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/32174/task/32175/stat : 32175 (java) R 32171 32171 30433 0 -1 4202560 9946 0 0 0 25 4 0 0 20 0 20 0 510254051 27969658880 32548 33554432000 4194304 4196468 140731720222272 140301442228320 140301454525790 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31920128 140731720229574 140731720230022 140731720230022 140731720232911 0
[pid=32174/tid=32176] ppid=32171 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32174/task/32176/stat : 32176 (java) S 32171 32171 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510254053 27969658880 32548 33554432000 4194304 4196468 140731720222272 140301474687376 140301470455509 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31920128 140731720229574 140731720230022 140731720230022 140731720232911 0
[pid=32174/tid=32177] ppid=32171 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32174/task/32177/stat : 32177 (java) S 32171 32171 30433 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510254053 27969658880 32548 33554432000 4194304 4196468 140731720222272 140301288843536 140301470455509 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31920128 140731720229574 140731720230022 140731720230022 140731720232911 0
[pid=32174/tid=32178] ppid=32171 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32174/task/32178/stat : 32178 (java) S 32171 32171 30433 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510254053 27969658880 32548 33554432000 4194304 4196468 140731720222272 140301287791248 140301470455509 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31920128 140731720229574 140731720230022 140731720230022 140731720232911 0
[pid=32174/tid=32179] ppid=32171 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32174/task/32179/stat : 32179 (java) S 32171 32171 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510254053 27969658880 32548 33554432000 4194304 4196468 140731720222272 140301286738448 140301470455509 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31920128 140731720229574 140731720230022 140731720230022 140731720232911 0
[pid=32174/tid=32180] ppid=32171 vsize=27314120 memory=2244 CPUtime=0 cores=0-7
/proc/32174/task/32180/stat : 32180 (java) S 32171 32171 30433 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510254053 27969658880 32548 33554432000 4194304 4196468 140731720222272 140301285686160 140301470455509 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31920128 140731720229574 140731720230022 140731720230022 140731720232911 0
[pid=32174/tid=32181] ppid=32171 vsize=27314120 memory=139838296781743 CPUtime=0 cores=0-7
/proc/32174/task/32181/stat : 32181 (java) S 32171 32171 30433 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510254053 27969658880 32548 33554432000 4194304 4196468 140731720222272 140301284633360 140301470455509 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31920128 140731720229574 140731720230022 140731720230022 140731720232911 0
[pid=32174/tid=32182] ppid=32171 vsize=27314120 memory=139838296784048 CPUtime=0 cores=0-7
/proc/32174/task/32182/stat : 32182 (java) S 32171 32171 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510254053 27969658880 32548 33554432000 4194304 4196468 140731720222272 140301283581072 140301470455509 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31920128 140731720229574 140731720230022 140731720230022 140731720232911 0
[pid=32174/tid=32183] ppid=32171 vsize=27314120 memory=3472463736477955552 CPUtime=0 cores=0-7
/proc/32174/task/32183/stat : 32183 (java) S 32171 32171 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510254053 27969658880 32548 33554432000 4194304 4196468 140731720222272 140301282528272 140301470455509 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31920128 140731720229574 140731720230022 140731720230022 140731720232911 0
[pid=32174/tid=32184] ppid=32171 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32174/task/32184/stat : 32184 (java) S 32171 32171 30433 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510254055 27969658880 32548 33554432000 4194304 4196468 140731720222272 140299522082928 140301470456450 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31920128 140731720229574 140731720230022 140731720230022 140731720232911 0
[pid=32174/tid=32185] ppid=32171 vsize=27314120 memory=279676593579664 CPUtime=0 cores=0-7
/proc/32174/task/32185/stat : 32185 (java) S 32171 32171 30433 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 510254055 27969658880 32548 33554432000 4194304 4196468 140731720222272 140299401683744 140301470455509 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31920128 140731720229574 140731720230022 140731720230022 140731720232911 0
[pid=32174/tid=32186] ppid=32171 vsize=27314120 memory=279676593586576 CPUtime=0 cores=0-7
/proc/32174/task/32186/stat : 32186 (java) S 32171 32171 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510254055 27969658880 32548 33554432000 4194304 4196468 140731720222272 140299133248624 140301470455509 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31920128 140731720229574 140731720230022 140731720230022 140731720232911 0
[pid=32174/tid=32187] ppid=32171 vsize=27314120 memory=279676593527824 CPUtime=0 cores=0-7
/proc/32174/task/32187/stat : 32187 (java) S 32171 32171 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510254058 27969658880 32548 33554432000 4194304 4196468 140731720222272 140298758740048 140301470463899 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31920128 140731720229574 140731720230022 140731720230022 140731720232911 0
[pid=32174/tid=32188] ppid=32171 vsize=27314120 memory=279676593600400 CPUtime=0 cores=0-7
/proc/32174/task/32188/stat : 32188 (java) S 32171 32171 30433 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 20 0 510254058 27969658880 32548 33554432000 4194304 4196468 140731720222272 140299521030768 140301470456450 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31920128 140731720229574 140731720230022 140731720230022 140731720232911 0
[pid=32174/tid=32189] ppid=32171 vsize=27314120 memory=279676593607312 CPUtime=0.01 cores=0-7
/proc/32174/task/32189/stat : 32189 (java) S 32171 32171 30433 0 -1 1077944384 89 0 0 0 1 0 0 0 20 0 20 0 510254058 27969658880 32548 33554432000 4194304 4196468 140731720222272 140299519977968 140301470456450 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31920128 140731720229574 140731720230022 140731720230022 140731720232911 0
[pid=32174/tid=32190] ppid=32171 vsize=27314120 memory=279676593605008 CPUtime=0.01 cores=0-7
/proc/32174/task/32190/stat : 32190 (java) R 32171 32171 30433 0 -1 4202560 480 0 0 0 1 0 0 0 20 0 20 0 510254058 27969658880 32548 33554432000 4194304 4196468 140731720222272 140299518925680 140301449615671 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31920128 140731720229574 140731720230022 140731720230022 140731720232911 0
[pid=32174/tid=32191] ppid=32171 vsize=27314120 memory=279676593621168 CPUtime=0.07 cores=0-7
/proc/32174/task/32191/stat : 32191 (java) S 32171 32171 30433 0 -1 1077944384 484 0 0 0 7 0 0 0 20 0 20 0 510254058 27969658880 32548 33554432000 4194304 4196468 140731720222272 140299517872880 140301470456450 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31920128 140731720229574 140731720230022 140731720230022 140731720232911 0
[pid=32174/tid=32192] ppid=32171 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32174/task/32192/stat : 32192 (java) S 32171 32171 30433 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510254058 27969658880 32548 33554432000 4194304 4196468 140731720222272 140298260834656 140301470455509 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31920128 140731720229574 140731720230022 140731720230022 140731720232911 0
[pid=32174/tid=32193] ppid=32171 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/32174/task/32193/stat : 32193 (java) S 32171 32171 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510254058 27969658880 32548 33554432000 4194304 4196468 140731720222272 140299516819760 140301470456450 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31920128 140731720229574 140731720230022 140731720230022 140731720232911 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 131588 KiB

[startup+0.700974 s]
/proc/loadavg: 5.57 3.48 4.44 2/212 32193
/proc/meminfo: memFree=25641932/32770624 swapFree=66966880/67108860
[pid=32171] ppid=32168 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/32171/stat : 32171 (scop.sh) S 32168 32171 30433 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 510254050 115843072 349 33554432000 4194304 5098028 140722940643264 140722940640520 140427893895804 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 34529280 140722940646140 140722940646488 140722940646488 140722940649417 0
/proc/32171/statm: 28282 349 296 221 0 87 0
[pid=32174] ppid=32171 vsize=27320392 memory=167212 CPUtime=1.02 cores=0-7
/proc/32174/stat : 32174 (java) S 32171 32171 30433 0 -1 1077944320 19905 0 0 0 94 8 0 0 20 0 20 0 510254050 27976081408 41803 33554432000 4194304 4196468 140731720222272 140731720204816 140301470445303 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 31920128 140731720229574 140731720230022 140731720230022 140731720232911 0
/proc/32174/statm: 6830098 41803 3177 1 0 6791447 0
[pid=32174/tid=32175] ppid=32171 vsize=27320392 memory=279676593979056 CPUtime=0.67 cores=0-7
/proc/32174/task/32175/stat : 32175 (java) R 32171 32171 30433 0 -1 4202560 16892 0 0 0 61 6 0 0 20 0 20 0 510254051 27976081408 41803 33554432000 4194304 4196468 140731720222272 140301442283888 140301470457238 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31920128 140731720229574 140731720230022 140731720230022 140731720232911 0
[pid=32174/tid=32176] ppid=32171 vsize=27320392 memory=139838296990576 CPUtime=0 cores=0-7
/proc/32174/task/32176/stat : 32176 (java) S 32171 32171 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510254053 27976081408 41803 33554432000 4194304 4196468 140731720222272 140301474687376 140301470455509 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31920128 140731720229574 140731720230022 140731720230022 140731720232911 0
[pid=32174/tid=32177] ppid=32171 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/32174/task/32177/stat : 32177 (java) S 32171 32171 30433 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510254053 27976081408 41803 33554432000 4194304 4196468 140731720222272 140301288843536 140301470455509 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31920128 140731720229574 140731720230022 140731720230022 140731720232911 0
[pid=32174/tid=32178] ppid=32171 vsize=27320392 memory=2832 CPUtime=0 cores=0-7
/proc/32174/task/32178/stat : 32178 (java) S 32171 32171 30433 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510254053 27976081408 41803 33554432000 4194304 4196468 140731720222272 140301287791248 140301470455509 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31920128 140731720229574 140731720230022 140731720230022 140731720232911 0

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

/proc/32194/task/32199/stat : 32199 (java) S 32171 32171 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510254511 8616062976 30392 33554432000 4194304 4196468 140722645369568 140046200626192 140046717171413 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23437312 140722645373919 140722645374086 140722645374086 140722645376975 0
[pid=32194/tid=32200] ppid=32171 vsize=8414124 memory=63816 CPUtime=0 cores=0-7
/proc/32194/task/32200/stat : 32200 (java) S 32171 32171 30433 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510254511 8616062976 30392 33554432000 4194304 4196468 140722645369568 140046199572880 140046717171413 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23437312 140722645373919 140722645374086 140722645374086 140722645376975 0
[pid=32194/tid=32201] ppid=32171 vsize=8414124 memory=988 CPUtime=0 cores=0-7
/proc/32194/task/32201/stat : 32201 (java) S 32171 32171 30433 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510254511 8616062976 30392 33554432000 4194304 4196468 140722645369568 140046198520080 140046717171413 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23437312 140722645373919 140722645374086 140722645374086 140722645376975 0
[pid=32194/tid=32202] ppid=32171 vsize=8414124 memory=2020 CPUtime=0 cores=0-7
/proc/32194/task/32202/stat : 32202 (java) S 32171 32171 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510254511 8616062976 30392 33554432000 4194304 4196468 140722645369568 140046197467792 140046717171413 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23437312 140722645373919 140722645374086 140722645374086 140722645376975 0
[pid=32194/tid=32203] ppid=32171 vsize=8414124 memory=1432 CPUtime=0 cores=0-7
/proc/32194/task/32203/stat : 32203 (java) S 32171 32171 30433 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510254511 8616062976 30392 33554432000 4194304 4196468 140722645369568 140046196414992 140046717171413 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23437312 140722645373919 140722645374086 140722645374086 140722645376975 0
[pid=32194/tid=32204] ppid=32171 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/32194/task/32204/stat : 32204 (java) S 32171 32171 30433 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 510254513 8616062976 30392 33554432000 4194304 4196468 140722645369568 140046011984496 140046717172354 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23437312 140722645373919 140722645374086 140722645374086 140722645376975 0
[pid=32194/tid=32205] ppid=32171 vsize=8414124 memory=3184097920075974049 CPUtime=0 cores=0-7
/proc/32194/task/32205/stat : 32205 (java) S 32171 32171 30433 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 510254513 8616062976 30392 33554432000 4194304 4196468 140722645369568 140045327525152 140046717171413 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23437312 140722645373919 140722645374086 140722645374086 140722645376975 0
[pid=32194/tid=32206] ppid=32171 vsize=8414124 memory=3472328296227421441 CPUtime=0 cores=0-7
/proc/32194/task/32206/stat : 32206 (java) S 32171 32171 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510254513 8616062976 30392 33554432000 4194304 4196468 140722645369568 140045059090032 140046717171413 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23437312 140722645373919 140722645374086 140722645374086 140722645376975 0
[pid=32194/tid=32207] ppid=32171 vsize=8414124 memory=7665807607598568556 CPUtime=0 cores=0-7
/proc/32194/task/32207/stat : 32207 (java) S 32171 32171 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510254516 8616062976 30392 33554432000 4194304 4196468 140722645369568 140044684581456 140046717179803 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23437312 140722645373919 140722645374086 140722645374086 140722645376975 0
[pid=32194/tid=32208] ppid=32171 vsize=8414124 memory=3616 CPUtime=0.04 cores=0-7
/proc/32194/task/32208/stat : 32208 (java) S 32171 32171 30433 0 -1 1077944384 456 0 0 0 4 0 0 0 20 0 24 0 510254516 8616062976 30392 33554432000 4194304 4196468 140722645369568 140046010931312 140046717172354 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23437312 140722645373919 140722645374086 140722645374086 140722645376975 0
[pid=32194/tid=32209] ppid=32171 vsize=8414124 memory=1552 CPUtime=0.06 cores=0-7
/proc/32194/task/32209/stat : 32209 (java) S 32171 32171 30433 0 -1 1077944384 422 0 0 0 6 0 0 0 20 0 24 0 510254516 8616062976 30392 33554432000 4194304 4196468 140722645369568 140046009878512 140046717172354 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23437312 140722645373919 140722645374086 140722645374086 140722645376975 0
[pid=32194/tid=32210] ppid=32171 vsize=8414124 memory=1708 CPUtime=0.09 cores=0-7
/proc/32194/task/32210/stat : 32210 (java) S 32171 32171 30433 0 -1 1077944384 297 0 0 0 9 0 0 0 20 0 24 0 510254516 8616062976 30392 33554432000 4194304 4196468 140722645369568 140046008826224 140046717172354 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23437312 140722645373919 140722645374086 140722645374086 140722645376975 0
[pid=32194/tid=32211] ppid=32171 vsize=8414124 memory=1196 CPUtime=0.22 cores=0-7
/proc/32194/task/32211/stat : 32211 (java) S 32171 32171 30433 0 -1 1077944384 814 0 0 0 22 0 0 0 20 0 24 0 510254516 8616062976 30392 33554432000 4194304 4196468 140722645369568 140046007773424 140046717172354 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23437312 140722645373919 140722645374086 140722645374086 140722645376975 0
[pid=32194/tid=32212] ppid=32171 vsize=8414124 memory=1044 CPUtime=0 cores=0-7
/proc/32194/task/32212/stat : 32212 (java) S 32171 32171 30433 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510254516 8616062976 30392 33554432000 4194304 4196468 140722645369568 140044186676064 140046717171413 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23437312 140722645373919 140722645374086 140722645374086 140722645376975 0
[pid=32194/tid=32213] ppid=32171 vsize=8414124 memory=932 CPUtime=0.14 cores=0-7
/proc/32194/task/32213/stat : 32213 (java) S 32171 32171 30433 0 -1 1077944384 9 0 0 0 7 7 0 0 20 0 24 0 510254516 8616062976 30392 33554432000 4194304 4196468 140722645369568 140046006721328 140046717172354 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 5 0 0 6293624 6294260 23437312 140722645373919 140722645374086 140722645374086 140722645376975 0
[pid=32194/tid=32215] ppid=32171 vsize=8414124 memory=1568 CPUtime=0 cores=0-7
/proc/32194/task/32215/stat : 32215 (java) S 32171 32171 30433 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 510254584 8616062976 30392 33554432000 4194304 4196468 140722645369568 140045663070016 140046717185817 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 23437312 140722645373919 140722645374086 140722645374086 140722645376975 0
[pid=32194/tid=32217] ppid=32171 vsize=8414124 memory=1444 CPUtime=0 cores=0-7
/proc/32194/task/32217/stat : 32217 (java) S 32171 32171 30433 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 510254585 8616062976 30392 33554432000 4194304 4196468 140722645369568 140043515575696 140046717183133 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 23437312 140722645373919 140722645374086 140722645374086 140722645376975 0
[pid=32194/tid=32218] ppid=32171 vsize=8414124 memory=864 CPUtime=0 cores=0-7
/proc/32194/task/32218/stat : 32218 (java) S 32171 32171 30433 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 24 0 510254585 8616062976 30392 33554432000 4194304 4196468 140722645369568 140043784011024 140046717183133 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 23437312 140722645373919 140722645374086 140722645374086 140722645376975 0
[pid=32194/tid=32224] ppid=32171 vsize=8414124 memory=1976 CPUtime=0 cores=0-7
/proc/32194/task/32224/stat : 32224 (java) S 32171 32171 30433 0 -1 1077944384 138 0 0 0 0 0 0 0 20 0 24 0 510254587 8616062976 30392 33554432000 4194304 4196468 140722645369568 140043247148336 140046717171413 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23437312 140722645373919 140722645374086 140722645374086 140722645376975 0
Current children cumulated CPU time: 877 s
Current children cumulated vsize: 9331432 KiB
Current children cumulated memory: 750460 KiB

[startup+121.801 s]
/proc/loadavg: 8.05 5.02 4.88 2/218 32241
/proc/meminfo: memFree=25046656/32770624 swapFree=66966880/67108860
[pid=32171] ppid=32168 vsize=113128 memory=1476 CPUtime=11.98 cores=0-7
/proc/32171/stat : 32171 (scop.sh) S 32168 32171 30433 0 -1 4202496 582 31621 0 0 0 0 1169 29 20 0 1 0 510254050 115843072 369 33554432000 4194304 5098028 140722940643264 140722940640008 140427893895804 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 34529280 140722940646140 140722940646488 140722940646488 140722940649417 0
/proc/32171/statm: 28282 369 311 221 0 87 0
[pid=32194] ppid=32171 vsize=8414124 memory=121568 CPUtime=1.3 cores=0-7
/proc/32194/stat : 32194 (java) S 32171 32171 30433 0 -1 1077944320 21368 0 0 0 123 7 0 0 20 0 24 0 510254510 8616062976 30392 33554432000 4194304 4196468 140722645369568 140722645352112 140046717161207 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23437312 140722645373919 140722645374086 140722645374086 140722645376975 0
/proc/32194/statm: 2103531 30392 3202 1 0 2064875 0
[pid=32214] ppid=32194 vsize=804180 memory=627460 CPUtime=863.92 cores=0-7
/proc/32214/stat : 32214 (manyglucose-4.1) S 32194 32171 30433 0 -1 1077944320 846583 0 0 0 86242 150 0 0 20 0 2 0 510254584 823480320 156865 33554432000 4194304 4454172 140722609463920 140722609462304 140236481466103 0 4 0 8388610 18446744073709551615 0 0 17 2 0 0 0 0 0 6552832 6554400 35115008 140722609472333 140722609472540 140722609472540 140722609475510 0
/proc/32214/statm: 201045 156865 419 64 0 196713 0
[pid=32214/tid=32221] ppid=32194 vsize=804180 memory=0 CPUtime=116.41 cores=0-7
/proc/32214/task/32221/stat : 32221 (manyglucose-4.1) R 32194 32171 30433 0 -1 4202560 96147 0 0 0 11622 19 0 0 20 0 2 0 510254587 823480320 156865 33554432000 4194304 4454172 140722609463920 140236449463432 4350320 0 4 0 8388610 0 0 0 -1 1 0 0 0 0 0 6552832 6554400 35115008 140722609472333 140722609472540 140722609472540 140722609475510 0
[pid=32194/tid=32195] ppid=32171 vsize=8414124 memory=0 CPUtime=0.78 cores=0-7
/proc/32194/task/32195/stat : 32195 (java) S 32171 32171 30433 0 -1 1077944384 17841 0 0 0 73 5 0 0 20 0 24 0 510254510 8616062976 30392 33554432000 4194304 4196468 140722645369568 140046689001376 140046717171413 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23437312 140722645373919 140722645374086 140722645374086 140722645376975 0
[pid=32194/tid=32196] ppid=32171 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/32194/task/32196/stat : 32196 (java) S 32171 32171 30433 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510254511 8616062976 30392 33554432000 4194304 4196468 140722645369568 140046721403792 140046717171413 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23437312 140722645373919 140722645374086 140722645374086 140722645376975 0
[pid=32194/tid=32197] ppid=32171 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/32194/task/32197/stat : 32197 (java) S 32171 32171 30433 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510254511 8616062976 30392 33554432000 4194304 4196468 140722645369568 140046202731280 140046717171413 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23437312 140722645373919 140722645374086 140722645374086 140722645376975 0
[pid=32194/tid=32198] ppid=32171 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/32194/task/32198/stat : 32198 (java) S 32171 32171 30433 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510254511 8616062976 30392 33554432000 4194304 4196468 140722645369568 140046201678992 140046717171413 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23437312 140722645373919 140722645374086 140722645374086 140722645376975 0
[pid=32194/tid=32199] ppid=32171 vsize=8414124 memory=121568 CPUtime=0 cores=0-7
/proc/32194/task/32199/stat : 32199 (java) S 32171 32171 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510254511 8616062976 30392 33554432000 4194304 4196468 140722645369568 140046200626192 140046717171413 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23437312 140722645373919 140722645374086 140722645374086 140722645376975 0
[pid=32194/tid=32200] ppid=32171 vsize=8414124 memory=625268 CPUtime=0 cores=0-7
/proc/32194/task/32200/stat : 32200 (java) S 32171 32171 30433 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510254511 8616062976 30392 33554432000 4194304 4196468 140722645369568 140046199572880 140046717171413 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23437312 140722645373919 140722645374086 140722645374086 140722645376975 0
[pid=32194/tid=32201] ppid=32171 vsize=8414124 memory=4100 CPUtime=0 cores=0-7
/proc/32194/task/32201/stat : 32201 (java) S 32171 32171 30433 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510254511 8616062976 30392 33554432000 4194304 4196468 140722645369568 140046198520080 140046717171413 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23437312 140722645373919 140722645374086 140722645374086 140722645376975 0
[pid=32194/tid=32202] ppid=32171 vsize=8414124 memory=1412 CPUtime=0 cores=0-7
/proc/32194/task/32202/stat : 32202 (java) S 32171 32171 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510254511 8616062976 30392 33554432000 4194304 4196468 140722645369568 140046197467792 140046717171413 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23437312 140722645373919 140722645374086 140722645374086 140722645376975 0
[pid=32194/tid=32203] ppid=32171 vsize=8414124 memory=3476 CPUtime=0 cores=0-7
/proc/32194/task/32203/stat : 32203 (java) S 32171 32171 30433 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510254511 8616062976 30392 33554432000 4194304 4196468 140722645369568 140046196414992 140046717171413 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23437312 140722645373919 140722645374086 140722645374086 140722645376975 0
[pid=32194/tid=32204] ppid=32171 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/32194/task/32204/stat : 32204 (java) S 32171 32171 30433 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 510254513 8616062976 30392 33554432000 4194304 4196468 140722645369568 140046011984496 140046717172354 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23437312 140722645373919 140722645374086 140722645374086 140722645376975 0
[pid=32194/tid=32205] ppid=32171 vsize=8414124 memory=121568 CPUtime=0 cores=0-7
/proc/32194/task/32205/stat : 32205 (java) S 32171 32171 30433 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 510254513 8616062976 30392 33554432000 4194304 4196468 140722645369568 140045327525152 140046717171413 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23437312 140722645373919 140722645374086 140722645374086 140722645376975 0
[pid=32194/tid=32206] ppid=32171 vsize=8414124 memory=580348 CPUtime=0 cores=0-7
/proc/32194/task/32206/stat : 32206 (java) S 32171 32171 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510254513 8616062976 30392 33554432000 4194304 4196468 140722645369568 140045059090032 140046717171413 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23437312 140722645373919 140722645374086 140722645374086 140722645376975 0
[pid=32194/tid=32207] ppid=32171 vsize=8414124 memory=1568 CPUtime=0 cores=0-7
/proc/32194/task/32207/stat : 32207 (java) S 32171 32171 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510254516 8616062976 30392 33554432000 4194304 4196468 140722645369568 140044684581456 140046717179803 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23437312 140722645373919 140722645374086 140722645374086 140722645376975 0
[pid=32194/tid=32208] ppid=32171 vsize=8414124 memory=1444 CPUtime=0.04 cores=0-7
/proc/32194/task/32208/stat : 32208 (java) S 32171 32171 30433 0 -1 1077944384 456 0 0 0 4 0 0 0 20 0 24 0 510254516 8616062976 30392 33554432000 4194304 4196468 140722645369568 140046010931312 140046717172354 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23437312 140722645373919 140722645374086 140722645374086 140722645376975 0
[pid=32194/tid=32209] ppid=32171 vsize=8414124 memory=1476 CPUtime=0.06 cores=0-7
/proc/32194/task/32209/stat : 32209 (java) S 32171 32171 30433 0 -1 1077944384 422 0 0 0 6 0 0 0 20 0 24 0 510254516 8616062976 30392 33554432000 4194304 4196468 140722645369568 140046009878512 140046717172354 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23437312 140722645373919 140722645374086 140722645374086 140722645376975 0
[pid=32194/tid=32210] ppid=32171 vsize=8414124 memory=121568 CPUtime=0.09 cores=0-7
/proc/32194/task/32210/stat : 32210 (java) S 32171 32171 30433 0 -1 1077944384 297 0 0 0 9 0 0 0 20 0 24 0 510254516 8616062976 30392 33554432000 4194304 4196468 140722645369568 140046008826224 140046717172354 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23437312 140722645373919 140722645374086 140722645374086 140722645376975 0
[pid=32194/tid=32211] ppid=32171 vsize=8414124 memory=1760 CPUtime=0.22 cores=0-7
/proc/32194/task/32211/stat : 32211 (java) S 32171 32171 30433 0 -1 1077944384 814 0 0 0 22 0 0 0 20 0 24 0 510254516 8616062976 30392 33554432000 4194304 4196468 140722645369568 140046007773424 140046717172354 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23437312 140722645373919 140722645374086 140722645374086 140722645376975 0
[pid=32194/tid=32212] ppid=32171 vsize=8414124 memory=111636 CPUtime=0 cores=0-7
/proc/32194/task/32212/stat : 32212 (java) S 32171 32171 30433 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510254516 8616062976 30392 33554432000 4194304 4196468 140722645369568 140044186676064 140046717171413 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23437312 140722645373919 140722645374086 140722645374086 140722645376975 0
[pid=32194/tid=32213] ppid=32171 vsize=8414124 memory=804 CPUtime=0.14 cores=0-7
/proc/32194/task/32213/stat : 32213 (java) S 32171 32171 30433 0 -1 1077944384 9 0 0 0 7 7 0 0 20 0 24 0 510254516 8616062976 30392 33554432000 4194304 4196468 140722645369568 140046006721328 140046717172354 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 5 0 0 6293624 6294260 23437312 140722645373919 140722645374086 140722645374086 140722645376975 0
[pid=32194/tid=32215] ppid=32171 vsize=8414124 memory=1660 CPUtime=0 cores=0-7
/proc/32194/task/32215/stat : 32215 (java) S 32171 32171 30433 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 510254584 8616062976 30392 33554432000 4194304 4196468 140722645369568 140045663070016 140046717185817 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 23437312 140722645373919 140722645374086 140722645374086 140722645376975 0
[pid=32194/tid=32217] ppid=32171 vsize=8414124 memory=1808 CPUtime=0 cores=0-7
/proc/32194/task/32217/stat : 32217 (java) S 32171 32171 30433 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 510254585 8616062976 30392 33554432000 4194304 4196468 140722645369568 140043515575696 140046717183133 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 23437312 140722645373919 140722645374086 140722645374086 140722645376975 0
[pid=32194/tid=32218] ppid=32171 vsize=8414124 memory=920 CPUtime=0 cores=0-7
/proc/32194/task/32218/stat : 32218 (java) S 32171 32171 30433 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 24 0 510254585 8616062976 30392 33554432000 4194304 4196468 140722645369568 140043784011024 140046717183133 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 23437312 140722645373919 140722645374086 140722645374086 140722645376975 0
[pid=32194/tid=32224] ppid=32171 vsize=8414124 memory=4796 CPUtime=0 cores=0-7
/proc/32194/task/32224/stat : 32224 (java) S 32171 32171 30433 0 -1 1077944384 138 0 0 0 0 0 0 0 20 0 24 0 510254587 8616062976 30392 33554432000 4194304 4196468 140722645369568 140043247148336 140046717171413 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23437312 140722645373919 140722645374086 140722645374086 140722645376975 0
Current children cumulated CPU time: 877.2 s
Current children cumulated vsize: 9331432 KiB
Current children cumulated memory: 750504 KiB

[startup+121.901 s]
/proc/loadavg: 8.05 5.02 4.88 2/218 32241
/proc/meminfo: memFree=25046656/32770624 swapFree=66966880/67108860
[pid=32171] ppid=32168 vsize=113128 memory=1476 CPUtime=11.98 cores=0-7
/proc/32171/stat : 32171 (scop.sh) S 32168 32171 30433 0 -1 4202496 582 31621 0 0 0 0 1169 29 20 0 1 0 510254050 115843072 369 33554432000 4194304 5098028 140722940643264 140722940640008 140427893895804 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 34529280 140722940646140 140722940646488 140722940646488 140722940649417 0
/proc/32171/statm: 28282 369 311 221 0 87 0
[pid=32194] ppid=32171 vsize=8283048 memory=122380 CPUtime=865.39 cores=0-7
/proc/32194/stat : 32194 (java) S 32171 32171 30433 0 -1 1077944320 21618 846601 0 0 129 7 86250 153 20 0 22 0 510254510 8481841152 30595 33554432000 4194304 4196468 140722645369568 140722645352112 140046717161207 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23437312 140722645373919 140722645374086 140722645374086 140722645376975 0
/proc/32194/statm: 2070762 30595 3212 1 0 2032106 0
[pid=32194/tid=32195] ppid=32171 vsize=8283048 memory=625364 CPUtime=864.81 cores=0-7
/proc/32194/task/32195/stat : 32195 (java) R 32171 32171 30433 0 -1 4202560 17851 846601 0 0 73 5 86250 153 20 0 22 0 510254510 8481841152 30595 33554432000 4194304 4196468 140722645369568 140046689001376 140046700353941 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23437312 140722645373919 140722645374086 140722645374086 140722645376975 0
[pid=32194/tid=32196] ppid=32171 vsize=8283048 memory=672348 CPUtime=864.03 cores=0-7
/proc/32194/task/32196/stat : 32196 (java) S 32171 32171 30433 0 -1 1077944384 2 846601 0 0 0 0 86250 153 20 0 22 0 510254511 8481841152 30595 33554432000 4194304 4196468 140722645369568 140046721403792 140046717171413 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23437312 140722645373919 140722645374086 140722645374086 140722645376975 0
[pid=32194/tid=32197] ppid=32171 vsize=8283048 memory=6944656592455097440 CPUtime=864.03 cores=0-7
/proc/32194/task/32197/stat : 32197 (java) S 32171 32171 30433 0 -1 1077944384 2 846601 0 0 0 0 86250 153 20 0 22 0 510254511 8481841152 30595 33554432000 4194304 4196468 140722645369568 140046202731280 140046717171413 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23437312 140722645373919 140722645374086 140722645374086 140722645376975 0
[pid=32194/tid=32198] ppid=32171 vsize=8283048 memory=63816 CPUtime=864.03 cores=0-7
/proc/32194/task/32198/stat : 32198 (java) S 32171 32171 30433 0 -1 1077944384 2 846601 0 0 0 0 86250 153 20 0 22 0 510254511 8481841152 30595 33554432000 4194304 4196468 140722645369568 140046201678992 140046717171413 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23437312 140722645373919 140722645374086 140722645374086 140722645376975 0
[pid=32194/tid=32199] ppid=32171 vsize=8283048 memory=988 CPUtime=864.03 cores=0-7
/proc/32194/task/32199/stat : 32199 (java) S 32171 32171 30433 0 -1 1077944384 1 846601 0 0 0 0 86250 153 20 0 22 0 510254511 8481841152 30595 33554432000 4194304 4196468 140722645369568 140046200626192 140046717171413 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23437312 140722645373919 140722645374086 140722645374086 140722645376975 0
[pid=32194/tid=32200] ppid=32171 vsize=8283048 memory=3612 CPUtime=864.03 cores=0-7
/proc/32194/task/32200/stat : 32200 (java) S 32171 32171 30433 0 -1 1077944384 2 846601 0 0 0 0 86250 153 20 0 22 0 510254511 8481841152 30595 33554432000 4194304 4196468 140722645369568 140046199572880 140046717171413 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23437312 140722645373919 140722645374086 140722645374086 140722645376975 0
[pid=32194/tid=32201] ppid=32171 vsize=8283048 memory=63816 CPUtime=864.03 cores=0-7
/proc/32194/task/32201/stat : 32201 (java) S 32171 32171 30433 0 -1 1077944384 2 846601 0 0 0 0 86250 153 20 0 22 0 510254511 8481841152 30595 33554432000 4194304 4196468 140722645369568 140046198520080 140046717171413 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23437312 140722645373919 140722645374086 140722645374086 140722645376975 0
[pid=32194/tid=32202] ppid=32171 vsize=8283048 memory=121568 CPUtime=864.03 cores=0-7
/proc/32194/task/32202/stat : 32202 (java) S 32171 32171 30433 0 -1 1077944384 1 846601 0 0 0 0 86250 153 20 0 22 0 510254511 8481841152 30595 33554432000 4194304 4196468 140722645369568 140046197467792 140046717171413 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23437312 140722645373919 140722645374086 140722645374086 140722645376975 0
[pid=32194/tid=32203] ppid=32171 vsize=8283048 memory=605636 CPUtime=864.03 cores=0-7
/proc/32194/task/32203/stat : 32203 (java) S 32171 32171 30433 0 -1 1077944384 3 846601 0 0 0 0 86250 153 20 0 22 0 510254511 8481841152 30595 33554432000 4194304 4196468 140722645369568 140046196414992 140046717171413 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23437312 140722645373919 140722645374086 140722645374086 140722645376975 0
[pid=32194/tid=32204] ppid=32171 vsize=8283048 memory=602180 CPUtime=864.03 cores=0-7
/proc/32194/task/32204/stat : 32204 (java) S 32171 32171 30433 0 -1 1077944384 7 846601 0 0 0 0 86250 153 20 0 22 0 510254513 8481841152 30595 33554432000 4194304 4196468 140722645369568 140046011984496 140046717172354 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23437312 140722645373919 140722645374086 140722645374086 140722645376975 0
[pid=32194/tid=32205] ppid=32171 vsize=8283048 memory=2496 CPUtime=864.03 cores=0-7
/proc/32194/task/32205/stat : 32205 (java) S 32171 32171 30433 0 -1 1077944384 13 846601 0 0 0 0 86250 153 20 0 22 0 510254513 8481841152 30595 33554432000 4194304 4196468 140722645369568 140045327525152 140046717171413 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23437312 140722645373919 140722645374086 140722645374086 140722645376975 0
[pid=32194/tid=32206] ppid=32171 vsize=8283048 memory=1476 CPUtime=864.03 cores=0-7
/proc/32194/task/32206/stat : 32206 (java) S 32171 32171 30433 0 -1 1077944384 1 846601 0 0 0 0 86250 153 20 0 22 0 510254513 8481841152 30595 33554432000 4194304 4196468 140722645369568 140045059090032 140046717171413 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23437312 140722645373919 140722645374086 140722645374086 140722645376975 0
[pid=32194/tid=32207] ppid=32171 vsize=8283048 memory=1476 CPUtime=864.03 cores=0-7
/proc/32194/task/32207/stat : 32207 (java) S 32171 32171 30433 0 -1 1077944384 1 846601 0 0 0 0 86250 153 20 0 22 0 510254516 8481841152 30595 33554432000 4194304 4196468 140722645369568 140044684581456 140046717179803 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23437312 140722645373919 140722645374086 140722645374086 140722645376975 0
[pid=32194/tid=32208] ppid=32171 vsize=8283048 memory=672352 CPUtime=864.07 cores=0-7
/proc/32194/task/32208/stat : 32208 (java) S 32171 32171 30433 0 -1 1077944384 461 846601 0 0 4 0 86250 153 20 0 22 0 510254516 8481841152 30595 33554432000 4194304 4196468 140722645369568 140046010931312 140046717172354 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23437312 140722645373919 140722645374086 140722645374086 140722645376975 0
[pid=32194/tid=32209] ppid=32171 vsize=8283048 memory=120808 CPUtime=864.1 cores=0-7
/proc/32194/task/32209/stat : 32209 (java) S 32171 32171 30433 0 -1 1077944384 491 846601 0 0 7 0 86250 153 20 0 22 0 510254516 8481841152 30595 33554432000 4194304 4196468 140722645369568 140046009878512 140046717172354 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23437312 140722645373919 140722645374086 140722645374086 140722645376975 0
[pid=32194/tid=32210] ppid=32171 vsize=8283048 memory=1660 CPUtime=864.12 cores=0-7
/proc/32194/task/32210/stat : 32210 (java) S 32171 32171 30433 0 -1 1077944384 297 846601 0 0 9 0 86250 153 20 0 22 0 510254516 8481841152 30595 33554432000 4194304 4196468 140722645369568 140046008826224 140046717172354 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23437312 140722645373919 140722645374086 140722645374086 140722645376975 0
[pid=32194/tid=32211] ppid=32171 vsize=8283048 memory=1808 CPUtime=864.27 cores=0-7
/proc/32194/task/32211/stat : 32211 (java) S 32171 32171 30433 0 -1 1077944384 959 846601 0 0 24 0 86250 153 20 0 22 0 510254516 8481841152 30595 33554432000 4194304 4196468 140722645369568 140046007773424 140046717172354 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23437312 140722645373919 140722645374086 140722645374086 140722645376975 0
[pid=32194/tid=32212] ppid=32171 vsize=8283048 memory=1476 CPUtime=864.03 cores=0-7
/proc/32194/task/32212/stat : 32212 (java) S 32171 32171 30433 0 -1 1077944384 3 846601 0 0 0 0 86250 153 20 0 22 0 510254516 8481841152 30595 33554432000 4194304 4196468 140722645369568 140044186676064 140046717171413 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23437312 140722645373919 140722645374086 140722645374086 140722645376975 0
[pid=32194/tid=32213] ppid=32171 vsize=8283048 memory=121568 CPUtime=864.17 cores=0-7
/proc/32194/task/32213/stat : 32213 (java) S 32171 32171 30433 0 -1 1077944384 9 846601 0 0 7 7 86250 153 20 0 22 0 510254516 8481841152 30595 33554432000 4194304 4196468 140722645369568 140046006721328 140046717172354 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 5 0 0 6293624 6294260 23437312 140722645373919 140722645374086 140722645374086 140722645376975 0
[pid=32194/tid=32215] ppid=32171 vsize=8283048 memory=613344 CPUtime=864.03 cores=0-7
/proc/32194/task/32215/stat : 32215 (java) S 32171 32171 30433 0 -1 1077944384 24 846601 0 0 0 0 86250 153 20 0 22 0 510254584 8481841152 30595 33554432000 4194304 4196468 140722645369568 140045663069200 140046717172354 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23437312 140722645373919 140722645374086 140722645374086 140722645376975 0
[pid=32194/tid=32224] ppid=32171 vsize=8283048 memory=1476 CPUtime=864.03 cores=0-7
/proc/32194/task/32224/stat : 32224 (java) S 32171 32171 30433 0 -1 1077944384 142 846601 0 0 0 0 86250 153 20 0 22 0 510254587 8481841152 30595 33554432000 4194304 4196468 140722645369568 140043247150128 140046717172354 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23437312 140722645373919 140722645374086 140722645374086 140722645376975 0
Current children cumulated CPU time: 877.37 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 123856 KiB

Child status: 0
Real time (s): 121.91
CPU time (s): 877.408
CPU user time (s): 875.488
CPU system time (s): 1.9204
CPU usage (%): 719.715
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 1064068

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 875.488
system time used= 1.9204
maximum resident set size= 1065052
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 900464
page faults= 0
swaps= 0
block input operations= 0
block output operations= 896
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 17412
involuntary context switches= 8464


# summary of solver processes directly reported to runsolver:
#   pid: 32171
#   total CPU time (s): 877.408
#   total CPU user time (s): 875.488
#   total CPU system time (s): 1.9204

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.14872 second user time and 1.74397 second system time

The end

Launcher Data 

Begin job on node145 at 2019-09-24 18:38:54
IDJOB=4405610
IDBENCH=134586
IDSOLVER=2868
FILE ID=node145/4405610-1569343176
RUNJOBID= node145-1569335936-30460
PBS_JOBID= 21705052
Free space on /var/tmp= 13512 MiB

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

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

MD5SUM BENCH= 58733bdc54ee5d0b54338851c7cdf9d7
RANDOM SEED=1229534081

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

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

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

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

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

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

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.59
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:        25785216 kB
MemAvailable:   31812396 kB
Buffers:          147936 kB
Cached:          6031328 kB
SwapCached:        32456 kB
Active:          3014352 kB
Inactive:        3202160 kB
Active(anon):       4612 kB
Inactive(anon):    89852 kB
Active(file):    3009740 kB
Inactive(file):  3112308 kB
Unevictable:      108772 kB
Mlocked:          108772 kB
SwapTotal:      67108860 kB
SwapFree:       66966880 kB
Dirty:             20588 kB
Writeback:             0 kB
AnonPages:        166564 kB
Mapped:            56236 kB
Shmem:             48848 kB
Slab:             362444 kB
SReclaimable:     333592 kB
SUnreclaim:        28852 kB
KernelStack:        3856 kB
PageTables:         5500 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     515140 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    120832 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      120192 kB
DirectMap2M:    33425408 kB

Free space on /var/tmp at the end= 13492 MiB
End job on node145 at 2019-09-24 18:40:56