Trace number 4392750

Some explanations

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

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

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

Solver answer on this benchmark

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

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-23267-serial-file.bin HOME/instance-4392750-1568436818.xml
0.67/0.54	
0.67/0.54	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
0.67/0.54	
0.67/0.57	c BEGIN-Prog: Sat Sep 14 06:52:59 CEST 2019
0.67/0.57	c PID: 23270
0.67/0.57	c IP: 172.20.3.124
0.67/0.57	c HOST: node124.alineos.net
0.67/0.58	c (0,0) Parsing Begin
2.02/1.14	c (0,0) Parsing End
2.02/1.15	c (0,0) CSP: 109 int (0 aux), 2 bool (0 aux), 1261 ctr, max domain size 28
2.02/1.15	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.02/1.15	c (0,0) Constraint Name Generate Begin
2.02/1.16	c (0,0) Ctr:HOME/instance-4392750-1568436818.xml,ExtensionConflict:ExtensionSupport:Var
2.02/1.16	c (0,0) Constraint Name Generate End
2.02/1.16	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.02/1.16	c (0,0) CSP to CSPinCNF Begin
3.11/1.67	c (1,1) translated 127 (10%) constraints
3.46/1.78	c (1,1) translated 253 (20%) constraints
3.87/1.85	c (1,1) translated 379 (30%) constraints
4.28/1.92	c (1,1) translated 505 (40%) constraints
4.28/1.98	c (1,1) translated 631 (50%) constraints
4.73/2.03	c (1,1) translated 757 (60%) constraints
5.13/2.19	c (1,1) translated 883 (70%) constraints
6.02/2.43	c (1,1) translated 1009 (80%) constraints
6.27/2.66	c (2,2) translated 1135 (90%) constraints
6.77/2.98	c (2,2) translated 1261 (100%) constraints
6.77/2.98	c (2,2) ===========================================
6.77/3.00	c (2,2) Hybrid: #OE=793, #LE=0
6.77/3.00	c (2,2) Hybrid
6.77/3.00	c (2,2) ===========================================
7.17/3.07	c (2,2) translated 1883 (10%) constraints
7.57/3.13	c (2,2) translated 3765 (20%) constraints
7.57/3.19	c (2,2) translated 5647 (30%) constraints
7.57/3.24	c (2,2) translated 7529 (40%) constraints
7.57/3.29	c (2,2) translated 9411 (50%) constraints
7.57/3.34	c (2,2) translated 11294 (60%) constraints
7.57/3.39	c (2,2) translated 13176 (70%) constraints
7.57/3.43	c (2,2) translated 15058 (80%) constraints
8.81/3.47	c (2,2) translated 16940 (90%) constraints
8.95/3.51	c (2,2) translated 18822 (100%) constraints
8.95/3.51	c (2,2) CSP to CSPinCNF End
8.95/3.51	c (2,2) CSP: 108 int (0 aux), 685 bool (682 aux), 18822 ctr, max domain size 28
8.95/3.51	c (2,2) Heap : 788 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB)
8.95/3.51	c (2,2) CSPinCNF Propagation Begin
9.97/3.86	c (3,3) 109 values, 8487 unsatisfiable literals, and 4834 valid clauses are removed
9.97/3.86	c (3,3) CSPinCNF Propagation End
9.97/3.86	c (3,3) CSP: 108 int (0 aux), 685 bool (682 aux), 13988 ctr, max domain size 26
9.97/3.86	c (3,3) Heap : 1013 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
9.97/3.88	c (3,3) Hybrid: #OE=793, #LE=0
9.97/3.88	c (3,3) Simplify CSPinCNF Begin
10.24/3.93	c (3,3) Simplify CSPinCNF End
10.24/3.93	c (3,3) CSP: 108 int (0 aux), 685 bool (682 aux), 13988 ctr, max domain size 26
10.24/3.93	c (3,3) Heap : 1013 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
10.24/3.93	c (3,3) Calculate Precise Domain Begin
10.24/3.94	c (3,3) 0 values are removed by re-calculation
10.24/3.94	c (3,3) Calculate Precise Domain End
10.24/3.94	c (3,3) CSP: 108 int (0 aux), 685 bool (682 aux), 13988 ctr, max domain size 26
10.24/3.94	c (3,3) Heap : 1013 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
10.24/3.94	c (3,3) CSPinCNF to SatSolver Begin
10.55/4.09	c (3,3) 1399 (10 %) CSP clauses are encoded (0 SAT variables, 3107 SAT clauses)
10.85/4.14	c (3,3) 2798 (20 %) CSP clauses are encoded (0 SAT variables, 4506 SAT clauses)
10.85/4.19	c (3,3) 4197 (30 %) CSP clauses are encoded (0 SAT variables, 5905 SAT clauses)
11.28/4.24	c (3,3) 5596 (40 %) CSP clauses are encoded (0 SAT variables, 7304 SAT clauses)
11.28/4.28	c (3,3) 6994 (50 %) CSP clauses are encoded (0 SAT variables, 8702 SAT clauses)
11.28/4.30	c (3,3) 8393 (60 %) CSP clauses are encoded (0 SAT variables, 10101 SAT clauses)
11.67/4.32	c (3,3) 9792 (70 %) CSP clauses are encoded (0 SAT variables, 11500 SAT clauses)
11.67/4.33	c (3,3) 11191 (80 %) CSP clauses are encoded (0 SAT variables, 12899 SAT clauses)
11.67/4.35	c (3,3) 12590 (90 %) CSP clauses are encoded (0 SAT variables, 14298 SAT clauses)
11.67/4.36	c (3,3) 13988 (100 %) CSP clauses are encoded (0 SAT variables, 15696 SAT clauses)
11.67/4.36	c (3,3) CSPinCNF to SatSolver End
11.67/4.36	c (3,3) Heap : 1126 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB)
11.67/4.36	c (3,3) 2482 bool, 15697 clause
11.67/4.36	c (3,3) Export Begin
11.83/4.47	c (3,3) Export to HOME/scop-23267-serial-file.bin
11.83/4.47	c (3,3) Export End
11.83/4.47	c (3,3) Export File Size: 0.02 MB
11.83/4.47	c (3,3) 0,0,2,3,3,3,3,STOP-AFTER(DIMACS)
11.83/4.47	c END-Prog: Sat Sep 14 06:53:02 CEST 2019
11.83/4.49	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-23267-serial-file.bin
11.99/4.96	c (0,0) Read Serial File Begin
11.99/4.96	c (0,0) HOME/scop-23267-serial-file.bin
11.99/5.19	c (0,0) Read Serial File End
11.99/5.20	
11.99/5.20	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
11.99/5.20	(Solving Process)
11.99/5.20	
12.97/5.22	c BEGIN-Prog: Sat Sep 14 06:53:03 CEST 2019
12.97/5.22	c PID: 23290
12.97/5.22	c IP: 172.20.3.124
12.97/5.23	c HOST: node124.alineos.net
12.97/5.23	c (0,0) SatSolver.solve Begin
12.97/5.23	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4392750-1568436818.xml-scop-23270.cnf
12.97/5.26	c (0,0) c
12.97/5.26	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.97/5.26	c (0,0) c
12.97/5.26	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
12.97/5.26	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
12.97/5.26	c (0,0) c ========================================[ Problem Statistics ]===========================================
12.97/5.26	c (0,0) c |                                                                                                       |
12.97/5.26	c (0,0) c |  Number of variables:          2480                                                                   |
12.97/5.26	c (0,0) c |  Number of clauses:           15697                                                                   |
12.97/5.26	c (0,0) c |  Parse time:                   0.01 s                                                                 |
12.97/5.26	c (0,0) c |                                                                                                       |
12.97/5.26	c (0,0) WARNING! DIMACS header mismatch: wrong number of variables.
12.97/5.27	c (0,0) c |  Simplification time:          0.01 s                                                                 |
12.97/5.27	c (0,0) c |                                                                                                       |
12.97/5.27	c (0,0) c |  Generating clones                                                                                    |
12.97/5.27	c (0,0) c |  all clones generated. Memory =    32.05Mb.                                                           |
12.97/5.27	c (0,0) c ========================================================================================================|
12.97/5.28	c (0,0) c
12.97/5.28	c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
12.97/5.28	c (0,0) c
12.97/5.28	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
12.97/5.28	c (0,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
12.97/5.28	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
12.97/5.28	c (0,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
12.97/5.28	c (0,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
12.97/5.28	c (0,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
12.97/5.28	c (0,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
12.97/5.28	c (0,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
12.97/5.28	c (0,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
12.97/5.28	c (0,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
12.97/5.28	c (0,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
12.97/5.28	c (0,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
12.97/5.28	c (0,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
12.97/5.28	c (0,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
12.97/5.28	c (0,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
12.97/5.28	c (0,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
12.97/5.28	c (0,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
12.97/5.28	c (0,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
12.97/5.28	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
230.99/34.55	c (29,0) c
230.99/34.55	c (29,0) c |------------------------------------------------------------------------------------------------------------------------|
230.99/34.55	c (29,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
230.99/34.55	c (29,0) c |------------------------------------------------------------------------------------------------------------------------|
230.99/34.55	c (29,0) c |  0 |    393 |     610450 |     329049 |     9340 |    61864 |    51217 |   316636 |    14595 |      347 |  20 |  0.848 |
230.99/34.55	c (29,0) c |  1 |    480 |     597716 |     321996 |     9306 |    54808 |    50070 |   318635 |    11471 |      347 |  20 |  0.847 |
230.99/34.55	c (29,0) c |  2 |    395 |     594161 |     319194 |     9293 |    52012 |    46029 |   317156 |    13649 |      342 |  20 |  0.847 |
230.99/34.55	c (29,0) c |  3 |    517 |     578908 |     320764 |     9404 |    53582 |    45991 |   309956 |    15675 |      327 |  20 |  0.847 |
230.99/34.55	c (29,0) c |  4 |    411 |     622545 |     332503 |     9459 |    65319 |    45699 |   317236 |    18179 |      347 |  20 |  0.847 |
230.99/34.55	c (29,0) c |  5 |    409 |     583709 |     307489 |     8906 |    40298 |    44120 |   325358 |    13125 |      347 |  20 |  0.847 |
230.99/34.55	c (29,0) c |  6 |    426 |     590341 |     311510 |     9382 |    44322 |    44854 |   320821 |    13739 |      347 |  20 |  0.847 |
230.99/34.55	c (29,0) c |  7 |    395 |     611461 |     331123 |     9321 |    63940 |    49739 |   320193 |    15206 |      347 |  20 |  0.847 |
230.99/34.55	c (29,0) c 
230.99/34.55	c (29,0) c synthesis     2573629 conflicts   191455305 propagations    11823 conflicts/sec   879560 propagations/sec
230.99/34.55	c (29,0) c real: 29.2974 s, cpu: 217.672 s, memory: 630.17 Mb
447.72/63.55	c (58,0) c
447.72/63.55	c (58,0) c |------------------------------------------------------------------------------------------------------------------------|
447.72/63.55	c (58,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
447.72/63.55	c (58,0) c |------------------------------------------------------------------------------------------------------------------------|
447.72/63.55	c (58,0) c |  0 |    473 |     991028 |     525975 |     9426 |    89592 |    71113 |   461873 |    25914 |      680 |  20 |  0.847 |
447.72/63.55	c (58,0) c |  1 |    567 |     988396 |     524610 |     9431 |    88225 |    68116 |   464393 |    27238 |      680 |  20 |  0.848 |
447.72/63.55	c (58,0) c |  2 |    498 |     956792 |     511321 |     9481 |    74935 |    64674 |   459984 |    29498 |      660 |  20 |  0.847 |
447.72/63.55	c (58,0) c |  3 |    596 |     955375 |     518245 |     9444 |    81856 |    69252 |   462634 |    26687 |      680 |  20 |  0.847 |
447.72/63.55	c (58,0) c |  4 |    539 |    1002760 |     528773 |     9527 |    92392 |    65534 |   427058 |    29295 |      680 |  20 |  0.848 |
447.72/63.55	c (58,0) c |  5 |    538 |     974314 |     508082 |     9411 |    71699 |    64162 |   467783 |    31718 |      680 |  20 |  0.847 |
447.72/63.55	c (58,0) c |  6 |    495 |     947264 |     496734 |     9511 |    60355 |    62492 |   469938 |    28070 |      680 |  20 |  0.847 |
447.72/63.55	c (58,0) c |  7 |    524 |     997468 |     529976 |     9478 |    93589 |    73079 |   456353 |    29114 |      680 |  20 |  0.847 |
447.72/63.55	c (58,0) c 
447.72/63.55	c (58,0) c synthesis     4143716 conflicts   306943398 propagations     9557 conflicts/sec   707893 propagations/sec
447.72/63.55	c (58,0) c real: 58.2977 s, cpu: 433.602 s, memory: 695.07 Mb
662.46/92.55	c (87,0) c
662.46/92.55	c (87,0) c |------------------------------------------------------------------------------------------------------------------------|
662.46/92.55	c (87,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
662.46/92.55	c (87,0) c |------------------------------------------------------------------------------------------------------------------------|
662.46/92.55	c (87,0) c |  0 |    584 |    1298268 |     685379 |     9442 |    94796 |    85527 |   565718 |    37418 |     1000 |  20 |  0.848 |
662.46/92.55	c (87,0) c |  1 |    644 |    1308360 |     687854 |     9444 |    97269 |    84093 |   570627 |    41084 |     1005 |  20 |  0.847 |
662.46/92.55	c (87,0) c |  2 |    614 |    1288043 |     678860 |     9506 |    88274 |    80288 |   568937 |    43305 |      988 |  20 |  0.847 |
662.46/92.55	c (87,0) c |  3 |    684 |    1274539 |     679578 |     9461 |    88994 |    83743 |   568871 |    41352 |     1004 |  20 |  0.847 |
662.46/92.55	c (87,0) c |  4 |    641 |    1316862 |     688140 |     9549 |    97555 |    81395 |   556667 |    40479 |     1005 |  20 |  0.848 |
662.46/92.55	c (87,0) c |  5 |    645 |    1295474 |     671059 |     9445 |    80474 |    80308 |   574602 |    44592 |     1006 |  20 |  0.848 |
662.46/92.55	c (87,0) c |  6 |    634 |    1256045 |     654653 |     9537 |    64061 |    76653 |   568683 |    40280 |      986 |  20 |  0.847 |
662.46/92.55	c (87,0) c |  7 |    612 |    1317860 |     691721 |     9500 |   101134 |    87582 |   565502 |    39876 |     1004 |  20 |  0.847 |
662.46/92.55	c (87,0) c 
662.46/92.55	c (87,0) c synthesis     5437245 conflicts   403028765 propagations     8387 conflicts/sec   621687 propagations/sec
662.46/92.55	c (87,0) c real: 87.2977 s, cpu: 648.283 s, memory: 724.71 Mb
887.32/122.01	c (117,0) c
887.32/122.01	c (117,0) c real time : 116.756 s
887.32/122.01	c (117,0) c cpu time  : 872.343 s
887.32/122.01	c (117,0) c
887.32/122.01	c (117,0) c
887.32/122.01	c (117,0) c
887.32/122.01	c (117,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
887.32/122.01	c (117,0) c
887.32/122.01	c (117,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
887.32/122.01	c (117,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
887.32/122.01	c (117,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
887.32/122.01	c (117,0) c | Conflicts     |         6497302 |     817465 |     817573 |     814980 |     808658 |     818118 |     801421 |     794370 |     824717 |
887.32/122.01	c (117,0) c | Decisions     |        12469151 |    1563067 |    1563956 |    1557153 |    1536174 |    1579936 |    1555477 |    1528896 |    1584492 |
887.32/122.01	c (117,0) c | Propagations  |       484077690 |   60900156 |   61362407 |   60372327 |   59792687 |   60497600 |   59780002 |   60417554 |   60954957 |
887.32/122.01	c (117,0) c | ReduceDBs     |             192 |         24 |         24 |         24 |         24 |         24 |         24 |         24 |         24 |
887.32/122.01	c (117,0) c | SimpDBs       |              79 |         10 |          8 |         10 |          8 |         12 |         10 |         12 |          9 |
887.32/122.01	c (117,0) c | Restarts      |            5479 |        655 |        681 |        688 |        707 |        695 |        700 |        709 |        644 |
887.32/122.01	c (117,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
887.32/122.01	c (117,0) c | PropBinClauses|      1066619670 |  133305251 |  134678466 |  135398115 |  131300610 |  131757719 |  133530177 |  134238760 |  132410572 |
887.32/122.01	c (117,0) c | PropPreBlocker|     35742567053 | 4456324990 | 4521495231 | 4454953324 | 4404227654 | 4511279257 | 4464356600 | 4428767334 | 4501162663 |
887.32/122.01	c (117,0) c | PropNotBlocker|      5866122137 |  742256546 |  722331836 |  723944339 |  734032170 |  732721459 |  736483143 |  750362374 |  723990270 |
887.32/122.01	c (117,0) c | LitFullScans  |     63176004658 | 7897455948 | 7903372876 | 7885445580 | 7885116047 | 7915374946 | 7915537262 | 7888304149 | 7885397850 |
887.32/122.01	c (117,0) c | LitScanFracts |        10985176 |    1452325 |    1367912 |    1438918 |    1061246 |    1359597 |    1507875 |    1410866 |    1386437 |
887.32/122.01	c (117,0) c | DecisionLevel0|            5572 |        666 |        692 |        701 |        721 |        706 |        709 |        724 |        653 |
887.32/122.01	c (117,0) c | Periods       |           10527 |       1316 |       1317 |       1314 |       1314 |       1319 |       1319 |       1314 |       1314 |
887.32/122.01	c (117,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
887.32/122.01	c (117,0) c | Avg_Trail     |                 |        628 |        633 |        628 |        637 |        631 |        627 |        632 |        630 |
887.32/122.01	c (117,0) c | Avg_DL        |                 |         21 |         21 |         21 |         22 |         21 |         21 |         21 |         21 |
887.32/122.01	c (117,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
887.32/122.01	c (117,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
887.32/122.01	c (117,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
887.32/122.01	c (117,0) c | Exported      |          750601 |      96337 |      94855 |      91088 |      96559 |      92184 |      91026 |      88742 |      99810 |
887.32/122.01	c (117,0) c | Imported      |         5186106 |     646252 |     646905 |     654200 |     648738 |     649377 |     647621 |     657261 |     635752 |
887.32/122.01	c (117,0) c | Good          |           15362 |       1959 |       1892 |       1915 |       1921 |       1919 |       1924 |       1947 |       1885 |
887.32/122.01	c (117,0) c | Purge         |         5170744 |     644293 |     645013 |     652285 |     646817 |     647458 |     645697 |     655314 |     633867 |
887.32/122.01	c (117,0) c | Promoted      |          415011 |      47755 |      51188 |      54409 |      52947 |      52394 |      55426 |      50789 |      50103 |
887.32/122.01	c (117,0) c | Remove_Imp    |         4026116 |     496891 |     497679 |     504881 |     486342 |     508953 |     510189 |     514945 |     506236 |
887.32/122.01	c (117,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
887.32/122.01	c (117,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
887.32/122.01	c (117,0) c | Unaries       |                 |         11 |         11 |         13 |         14 |         11 |          9 |         15 |          9 |
887.32/122.01	c (117,0) c | Binaries      |                 |        247 |        308 |        308 |        299 |        277 |        251 |        291 |        286 |
887.32/122.01	c (117,0) c | Glues         |                 |        979 |        984 |       1030 |       1018 |       1007 |       1019 |       1051 |       1073 |
887.32/122.01	c (117,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
887.32/122.01	c (117,0) c | Orig_Seen     |            87 % |       9455 |       9458 |       9524 |       9468 |       9565 |       9459 |       9550 |       9516 |
887.32/122.01	c (117,0) c | Diff Orig seen|                 | -       95 | -       92 | -       26 | -       82 |         15 | -       91 |      X     | -       34 |
887.32/122.01	c (117,0) c | Hamming       |            10 % |        283 |        282 |        283 |        238 |        284 |        251 |      X     |        273 |
887.32/122.01	c (117,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
887.32/122.01	c (117,0) c | RunningTime   |                 |  110.1  95%|  106.9  92%|  115.7  99%|  111.9  97%|  105.0  91%|  106.9  92%|  112.0  97%|  105.2  90%|
887.32/122.01	c (117,0) c | WaitingTime   |                 |    5.3   5%|    8.5   7%|    0.6   1%|    3.5   3%|   10.3   9%|    8.5   7%|    3.4   3%|   11.0   9%|
887.32/122.01	c (117,0) c | ExchangingTime|                 |    0.4   0%|    0.3   0%|    0.3   0%|    0.3   0%|    0.4   0%|    0.3   0%|    0.3   0%|    0.3   0%|
887.32/122.01	c (117,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%|
887.32/122.01	c (117,0) c | SolvingTime   |                 |  115.8     |  115.8     |  116.7     |  115.8     |  115.8     |  115.8     |  115.7     |  116.5     |
887.32/122.01	c (117,0) c | PropagationTim|                 |   98.0  85%|   96.0  83%|   87.2  75%|   92.3  80%|  102.9  89%|   99.2  86%|   91.7  79%|   98.8  85%|
887.32/122.01	c (117,0) c | AnalysisTime  |                 |   14.3  12%|   16.4  14%|   26.1  22%|   20.1  17%|    9.4   8%|   13.1  11%|   20.7  18%|   14.3  12%|
887.32/122.01	c (117,0) c | ReductionTime |                 |    1.3   1%|    1.3   1%|    1.3   1%|    1.3   1%|    1.4   1%|    1.3   1%|    1.2   1%|    1.3   1%|
887.32/122.01	c (117,0) c | SimplifyTime  |                 |    0.0   0%|    0.1   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
887.32/122.01	c (117,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%|
887.32/122.01	c (117,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%|
887.32/122.01	c (117,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
887.32/122.01	c (117,0) c
887.32/122.01	c (117,0) c
887.32/122.01	c (117,0) c Threads : 8
887.32/122.01	c (117,0) c Winner : 6
887.32/122.01	c (117,0) c Conflicts_0 : 817465
887.32/122.01	c (117,0) c Conflicts_1 : 817573
887.32/122.01	c (117,0) c Conflicts_2 : 814980
887.32/122.01	c (117,0) c Conflicts_3 : 808658
887.32/122.01	c (117,0) c Conflicts_4 : 818118
887.32/122.01	c (117,0) c Conflicts_5 : 801421
887.32/122.01	c (117,0) c Conflicts_6 : 794370
887.32/122.01	c (117,0) c Conflicts_7 : 824717
887.32/122.01	c (117,0) c Conflicts_total : 6497302
887.32/122.01	c (117,0) c Conflicts_winner : 794370
887.32/122.01	c (117,0) c Decisions_0 : 1563067
887.32/122.01	c (117,0) c Decisions_1 : 1563956
887.32/122.01	c (117,0) c Decisions_2 : 1557153
887.32/122.01	c (117,0) c Decisions_3 : 1536174
887.32/122.01	c (117,0) c Decisions_4 : 1579936
887.32/122.01	c (117,0) c Decisions_5 : 1555477
887.32/122.01	c (117,0) c Decisions_6 : 1528896
887.32/122.01	c (117,0) c Decisions_7 : 1584492
887.32/122.01	c (117,0) c Decisions_total : 12469151
887.32/122.01	c (117,0) c Decisions_winner : 1528896
887.32/122.01	c (117,0) c Propagations_0 : 60900156
887.32/122.01	c (117,0) c Propagations_1 : 61362407
887.32/122.01	c (117,0) c Propagations_2 : 60372327
887.32/122.01	c (117,0) c Propagations_3 : 59792687
887.32/122.01	c (117,0) c Propagations_4 : 60497600
887.32/122.01	c (117,0) c Propagations_5 : 59780002
887.32/122.01	c (117,0) c Propagations_6 : 60417554
887.32/122.01	c (117,0) c Propagations_7 : 60954957
887.32/122.01	c (117,0) c Propagations_total : 484077690
887.32/122.01	c (117,0) c Propagations_winner : 60417554
887.32/122.01	c (117,0) c ReduceDBs_0 : 24
887.32/122.01	c (117,0) c ReduceDBs_1 : 24
887.32/122.01	c (117,0) c ReduceDBs_2 : 24
887.32/122.01	c (117,0) c ReduceDBs_3 : 24
887.32/122.01	c (117,0) c ReduceDBs_4 : 24
887.32/122.01	c (117,0) c ReduceDBs_5 : 24
887.32/122.01	c (117,0) c ReduceDBs_6 : 24
887.32/122.01	c (117,0) c ReduceDBs_7 : 24
887.32/122.01	c (117,0) c ReduceDBs_total : 192
887.32/122.01	c (117,0) c ReduceDBs_winner : 24
887.32/122.01	c (117,0) c SimpDBs_0 : 10
887.32/122.01	c (117,0) c SimpDBs_1 : 8
887.32/122.01	c (117,0) c SimpDBs_2 : 10
887.32/122.01	c (117,0) c SimpDBs_3 : 8
887.32/122.01	c (117,0) c SimpDBs_4 : 12
887.32/122.01	c (117,0) c SimpDBs_5 : 10
887.32/122.01	c (117,0) c SimpDBs_6 : 12
887.32/122.01	c (117,0) c SimpDBs_7 : 9
887.32/122.01	c (117,0) c SimpDBs_total : 79
887.32/122.01	c (117,0) c SimpDBs_winner : 12
887.32/122.01	c (117,0) c Restarts_0 : 655
887.32/122.01	c (117,0) c Restarts_1 : 681
887.32/122.01	c (117,0) c Restarts_2 : 688
887.32/122.01	c (117,0) c Restarts_3 : 707
887.32/122.01	c (117,0) c Restarts_4 : 695
887.32/122.01	c (117,0) c Restarts_5 : 700
887.32/122.01	c (117,0) c Restarts_6 : 709
887.32/122.01	c (117,0) c Restarts_7 : 644
887.32/122.01	c (117,0) c Restarts_total : 5479
887.32/122.01	c (117,0) c Restarts_winner : 709
887.32/122.01	c (117,0) c ForcedImports_0 : 0
887.32/122.01	c (117,0) c ForcedImports_1 : 0
887.32/122.01	c (117,0) c ForcedImports_2 : 0
887.32/122.01	c (117,0) c ForcedImports_3 : 0
887.32/122.01	c (117,0) c ForcedImports_4 : 0
887.32/122.01	c (117,0) c ForcedImports_5 : 0
887.32/122.01	c (117,0) c ForcedImports_6 : 0
887.32/122.01	c (117,0) c ForcedImports_7 : 0
887.32/122.01	c (117,0) c ForcedImports_total : 0
887.32/122.01	c (117,0) c ForcedImports_winner : 0
887.32/122.01	c (117,0) c PropsBinClauses_0 : 133305251
887.32/122.01	c (117,0) c PropsBinClauses_1 : 134678466
887.32/122.01	c (117,0) c PropsBinClauses_2 : 135398115
887.32/122.01	c (117,0) c PropsBinClauses_3 : 131300610
887.32/122.01	c (117,0) c PropsBinClauses_4 : 131757719
887.32/122.01	c (117,0) c PropsBinClauses_5 : 133530177
887.32/122.01	c (117,0) c PropsBinClauses_6 : 134238760
887.32/122.01	c (117,0) c PropsBinClauses_7 : 132410572
887.32/122.01	c (117,0) c PropsBinClauses_total : 1066619670
887.32/122.01	c (117,0) c PropsBinClauses_winner : 134238760
887.32/122.01	c (117,0) c PropsPreBlocker_0 : 4456324990
887.32/122.01	c (117,0) c PropsPreBlocker_1 : 4521495231
887.32/122.01	c (117,0) c PropsPreBlocker_2 : 4454953324
887.32/122.01	c (117,0) c PropsPreBlocker_3 : 4404227654
887.32/122.01	c (117,0) c PropsPreBlocker_4 : 4511279257
887.32/122.01	c (117,0) c PropsPreBlocker_5 : 4464356600
887.32/122.01	c (117,0) c PropsPreBlocker_6 : 4428767334
887.32/122.02	c (117,0) c PropsPreBlocker_7 : 4501162663
887.32/122.02	c (117,0) c PropsPreBlocker_total : 35742567053
887.32/122.02	c (117,0) c PropsPreBlocker_winner : 4428767334
887.32/122.02	c (117,0) c PropsNotBlocker_0 : 742256546
887.32/122.02	c (117,0) c PropsNotBlocker_1 : 722331836
887.32/122.02	c (117,0) c PropsNotBlocker_2 : 723944339
887.32/122.02	c (117,0) c PropsNotBlocker_3 : 734032170
887.32/122.02	c (117,0) c PropsNotBlocker_4 : 732721459
887.32/122.02	c (117,0) c PropsNotBlocker_5 : 736483143
887.32/122.02	c (117,0) c PropsNotBlocker_6 : 750362374
887.32/122.02	c (117,0) c PropsNotBlocker_7 : 723990270
887.32/122.02	c (117,0) c PropsNotBlocker_total : 5866122137
887.32/122.02	c (117,0) c PropsNotBlocker_winner : 750362374
887.32/122.02	c (117,0) c PropsLitFullScans_0 : 7897455948
887.32/122.02	c (117,0) c PropsLitFullScans_1 : 7903372876
887.32/122.02	c (117,0) c PropsLitFullScans_2 : 7885445580
887.32/122.02	c (117,0) c PropsLitFullScans_3 : 7885116047
887.32/122.02	c (117,0) c PropsLitFullScans_4 : 7915374946
887.32/122.02	c (117,0) c PropsLitFullScans_5 : 7915537262
887.32/122.02	c (117,0) c PropsLitFullScans_6 : 7888304149
887.32/122.02	c (117,0) c PropsLitFullScans_7 : 7885397850
887.32/122.02	c (117,0) c PropsLitFullScans_total : 63176004658
887.32/122.02	c (117,0) c PropsLitFullScans_winner : 7888304149
887.32/122.02	c (117,0) c LitScanFractions_0 : 1452325
887.32/122.02	c (117,0) c LitScanFractions_1 : 1367912
887.32/122.02	c (117,0) c LitScanFractions_2 : 1438918
887.32/122.02	c (117,0) c LitScanFractions_3 : 1061246
887.32/122.02	c (117,0) c LitScanFractions_4 : 1359597
887.32/122.02	c (117,0) c LitScanFractions_5 : 1507875
887.32/122.02	c (117,0) c LitScanFractions_6 : 1410866
887.32/122.02	c (117,0) c LitScanFractions_7 : 1386437
887.32/122.02	c (117,0) c LitScanFractions_total : 10985176
887.32/122.02	c (117,0) c LitScanFractions_winner : 1410866
887.32/122.02	c (117,0) c DecisionLevel0_0 : 666
887.32/122.02	c (117,0) c DecisionLevel0_1 : 692
887.32/122.02	c (117,0) c DecisionLevel0_2 : 701
887.32/122.02	c (117,0) c DecisionLevel0_3 : 721
887.32/122.02	c (117,0) c DecisionLevel0_4 : 706
887.32/122.02	c (117,0) c DecisionLevel0_5 : 709
887.32/122.02	c (117,0) c DecisionLevel0_6 : 724
887.32/122.02	c (117,0) c DecisionLevel0_7 : 653
887.32/122.02	c (117,0) c DecisionLevel0_total : 5572
887.32/122.02	c (117,0) c DecisionLevel0_winner : 724
887.32/122.02	c (117,0) c Periods_0 : 1316
887.32/122.02	c (117,0) c Periods_1 : 1317
887.32/122.02	c (117,0) c Periods_2 : 1314
887.32/122.02	c (117,0) c Periods_3 : 1314
887.32/122.02	c (117,0) c Periods_4 : 1319
887.32/122.02	c (117,0) c Periods_5 : 1319
887.32/122.02	c (117,0) c Periods_6 : 1314
887.32/122.02	c (117,0) c Periods_7 : 1314
887.32/122.02	c (117,0) c Periods_total : 10527
887.32/122.02	c (117,0) c Periods_winner : 1314
887.32/122.02	c (117,0) c Margin_0 : 20
887.32/122.02	c (117,0) c Margin_1 : 20
887.32/122.02	c (117,0) c Margin_2 : 20
887.32/122.02	c (117,0) c Margin_3 : 20
887.32/122.02	c (117,0) c Margin_4 : 20
887.32/122.02	c (117,0) c Margin_5 : 20
887.32/122.02	c (117,0) c Margin_6 : 20
887.32/122.02	c (117,0) c Margin_7 : 20
887.32/122.02	c (117,0) c Margin_total : 160
887.32/122.02	c (117,0) c Margin_winner : 20
887.32/122.02	c (117,0) c Exported_0 : 96337
887.32/122.02	c (117,0) c Exported_1 : 94855
887.32/122.02	c (117,0) c Exported_2 : 91088
887.32/122.02	c (117,0) c Exported_3 : 96559
887.32/122.02	c (117,0) c Exported_4 : 92184
887.32/122.02	c (117,0) c Exported_5 : 91026
887.32/122.02	c (117,0) c Exported_6 : 88742
887.32/122.02	c (117,0) c Exported_7 : 99810
887.32/122.02	c (117,0) c Exported_total : 750601
887.32/122.02	c (117,0) c Exported_winner : 88742
887.32/122.02	c (117,0) c Imported_0 : 646252
887.32/122.02	c (117,0) c Imported_1 : 646905
887.32/122.02	c (117,0) c Imported_2 : 654200
887.32/122.02	c (117,0) c Imported_3 : 648738
887.32/122.02	c (117,0) c Imported_4 : 649377
887.32/122.02	c (117,0) c Imported_5 : 647621
887.32/122.02	c (117,0) c Imported_6 : 657261
887.32/122.02	c (117,0) c Imported_7 : 635752
887.32/122.02	c (117,0) c Imported_total : 5186106
887.32/122.02	c (117,0) c Imported_winner : 657261
887.32/122.02	c (117,0) c Good_0 : 1959
887.32/122.02	c (117,0) c Good_1 : 1892
887.32/122.02	c (117,0) c Good_2 : 1915
887.32/122.02	c (117,0) c Good_3 : 1921
887.32/122.02	c (117,0) c Good_4 : 1919
887.32/122.02	c (117,0) c Good_5 : 1924
887.32/122.02	c (117,0) c Good_6 : 1947
887.32/122.02	c (117,0) c Good_7 : 1885
887.32/122.02	c (117,0) c Good_total : 15362
887.32/122.02	c (117,0) c Good_winner : 1947
887.32/122.02	c (117,0) c Purge_0 : 644293
887.32/122.02	c (117,0) c Purge_1 : 645013
887.32/122.02	c (117,0) c Purge_2 : 652285
887.32/122.02	c (117,0) c Purge_3 : 646817
887.32/122.02	c (117,0) c Purge_4 : 647458
887.32/122.02	c (117,0) c Purge_5 : 645697
887.32/122.02	c (117,0) c Purge_6 : 655314
887.32/122.02	c (117,0) c Purge_7 : 633867
887.32/122.02	c (117,0) c Purge_total : 5170744
887.32/122.02	c (117,0) c Purge_winner : 655314
887.32/122.02	c (117,0) c Promoted_0 : 47755
887.32/122.02	c (117,0) c Promoted_1 : 51188
887.32/122.02	c (117,0) c Promoted_2 : 54409
887.32/122.02	c (117,0) c Promoted_3 : 52947
887.32/122.02	c (117,0) c Promoted_4 : 52394
887.32/122.02	c (117,0) c Promoted_5 : 55426
887.32/122.02	c (117,0) c Promoted_6 : 50789
887.32/122.02	c (117,0) c Promoted_7 : 50103
887.32/122.02	c (117,0) c Promoted_total : 415011
887.32/122.02	c (117,0) c Promoted_winner : 50789
887.32/122.02	c (117,0) c Remove_Imp_0 : 496891
887.32/122.02	c (117,0) c Remove_Imp_1 : 497679
887.32/122.02	c (117,0) c Remove_Imp_2 : 504881
887.32/122.02	c (117,0) c Remove_Imp_3 : 486342
887.32/122.02	c (117,0) c Remove_Imp_4 : 508953
887.32/122.02	c (117,0) c Remove_Imp_5 : 510189
887.32/122.02	c (117,0) c Remove_Imp_6 : 514945
887.32/122.02	c (117,0) c Remove_Imp_7 : 506236
887.32/122.02	c (117,0) c Remove_Imp_total : 4026116
887.32/122.02	c (117,0) c Remove_Imp_winner : 514945
887.32/122.02	c (117,0) c Blocked_Reuse_0 : 0
887.32/122.02	c (117,0) c Blocked_Reuse_1 : 0
887.32/122.02	c (117,0) c Blocked_Reuse_2 : 0
887.32/122.02	c (117,0) c Blocked_Reuse_3 : 0
887.32/122.02	c (117,0) c Blocked_Reuse_4 : 0
887.32/122.02	c (117,0) c Blocked_Reuse_5 : 0
887.32/122.02	c (117,0) c Blocked_Reuse_6 : 0
887.32/122.02	c (117,0) c Blocked_Reuse_7 : 0
887.32/122.02	c (117,0) c Blocked_Reuse_total : 0
887.32/122.02	c (117,0) c Blocked_Reuse_winner : 0
887.32/122.02	c (117,0) c Unaries_0 : 11
887.32/122.02	c (117,0) c Unaries_1 : 11
887.32/122.02	c (117,0) c Unaries_2 : 13
887.32/122.02	c (117,0) c Unaries_3 : 14
887.32/122.02	c (117,0) c Unaries_4 : 11
887.32/122.02	c (117,0) c Unaries_5 : 9
887.32/122.02	c (117,0) c Unaries_6 : 15
887.32/122.02	c (117,0) c Unaries_7 : 9
887.32/122.02	c (117,0) c Unaries_total : 93
887.32/122.02	c (117,0) c Unaries_winner : 15
887.32/122.02	c (117,0) c Binaries_0 : 247
887.32/122.02	c (117,0) c Binaries_1 : 308
887.32/122.02	c (117,0) c Binaries_2 : 308
887.32/122.02	c (117,0) c Binaries_3 : 299
887.32/122.02	c (117,0) c Binaries_4 : 277
887.32/122.02	c (117,0) c Binaries_5 : 251
887.32/122.02	c (117,0) c Binaries_6 : 291
887.32/122.02	c (117,0) c Binaries_7 : 286
887.32/122.02	c (117,0) c Binaries_total : 2267
887.32/122.02	c (117,0) c Binaries_winner : 291
887.32/122.02	c (117,0) c Glues_0 : 979
887.32/122.02	c (117,0) c Glues_1 : 984
887.32/122.02	c (117,0) c Glues_2 : 1030
887.32/122.02	c (117,0) c Glues_3 : 1018
887.32/122.02	c (117,0) c Glues_4 : 1007
887.32/122.02	c (117,0) c Glues_5 : 1019
887.32/122.02	c (117,0) c Glues_6 : 1051
887.32/122.02	c (117,0) c Glues_7 : 1073
887.32/122.02	c (117,0) c Glues_total : 8161
887.32/122.02	c (117,0) c Glues_winner : 1051
887.32/122.02	c (117,0) c RunningTime_0 : 110.139405
887.32/122.02	c (117,0) c RunningTime_1 : 106.938984
887.32/122.02	c (117,0) c RunningTime_2 : 115.671384
887.32/122.02	c (117,0) c RunningTime_3 : 111.914527
887.32/122.02	c (117,0) c RunningTime_4 : 105.041584
887.32/122.02	c (117,0) c RunningTime_5 : 106.944120
887.32/122.02	c (117,0) c RunningTime_6 : 112.007838
887.32/122.02	c (117,0) c RunningTime_7 : 105.204594
887.32/122.02	c (117,0) c RunningTime_total : 873.862436
887.32/122.02	c (117,0) c RunningTime_winner : 112.007838
887.32/122.02	c (117,0) c WaitingTime_0 : 5.272519
887.32/122.02	c (117,0) c WaitingTime_1 : 8.502907
887.32/122.02	c (117,0) c WaitingTime_2 : 0.629074
887.32/122.02	c (117,0) c WaitingTime_3 : 3.502542
887.32/122.02	c (117,0) c WaitingTime_4 : 10.333522
887.32/122.02	c (117,0) c WaitingTime_5 : 8.472830
887.32/122.02	c (117,0) c WaitingTime_6 : 3.357129
887.32/122.02	c (117,0) c WaitingTime_7 : 10.977615
887.32/122.02	c (117,0) c WaitingTime_total : 51.048139
887.32/122.02	c (117,0) c WaitingTime_winner : 3.357129
887.32/122.02	c (117,0) c ExchangingTime_0 : 0.352311
887.32/122.02	c (117,0) c ExchangingTime_1 : 0.319814
887.32/122.02	c (117,0) c ExchangingTime_2 : 0.340639
887.32/122.02	c (117,0) c ExchangingTime_3 : 0.340926
887.32/122.02	c (117,0) c ExchangingTime_4 : 0.395306
887.32/122.02	c (117,0) c ExchangingTime_5 : 0.349477
887.32/122.02	c (117,0) c ExchangingTime_6 : 0.323906
887.32/122.02	c (117,0) c ExchangingTime_7 : 0.345844
887.32/122.02	c (117,0) c ExchangingTime_total : 2.768223
887.32/122.02	c (117,0) c ExchangingTime_winner : 0.323906
887.32/122.02	c (117,0) c PeriodProcTime_0 : 0.011735
887.32/122.02	c (117,0) c PeriodProcTime_1 : 0.011137
887.32/122.02	c (117,0) c PeriodProcTime_2 : 0.014035
887.32/122.02	c (117,0) c PeriodProcTime_3 : 0.012779
887.32/122.02	c (117,0) c PeriodProcTime_4 : 0.012770
887.32/122.02	c (117,0) c PeriodProcTime_5 : 0.011507
887.32/122.02	c (117,0) c PeriodProcTime_6 : 0.012297
887.32/122.02	c (117,0) c PeriodProcTime_7 : 0.013588
887.32/122.02	c (117,0) c PeriodProcTime_total : 0.099847
887.32/122.02	c (117,0) c PeriodProcTime_winner : 0.012297
887.32/122.02	c (117,0) c SolvingTime_0 : 115.775971
887.32/122.02	c (117,0) c SolvingTime_1 : 115.772842
887.32/122.02	c (117,0) c SolvingTime_2 : 116.655131
887.32/122.02	c (117,0) c SolvingTime_3 : 115.770775
887.32/122.02	c (117,0) c SolvingTime_4 : 115.783182
887.32/122.02	c (117,0) c SolvingTime_5 : 115.777933
887.32/122.02	c (117,0) c SolvingTime_6 : 115.701170
887.32/122.02	c (117,0) c SolvingTime_7 : 116.541641
887.32/122.02	c (117,0) c SolvingTime_total : 927.778645
887.32/122.02	c (117,0) c SolvingTime_winner : 115.701170
887.32/122.02	c (117,0) c PropagationTime_0 : 97.978245
887.32/122.02	c (117,0) c PropagationTime_1 : 95.992944
887.32/122.02	c (117,0) c PropagationTime_2 : 87.195501
887.32/122.02	c (117,0) c PropagationTime_3 : 92.325927
887.32/122.02	c (117,0) c PropagationTime_4 : 102.867637
887.32/122.02	c (117,0) c PropagationTime_5 : 99.237814
887.32/122.02	c (117,0) c PropagationTime_6 : 91.656132
887.32/122.02	c (117,0) c PropagationTime_7 : 98.839566
887.32/122.02	c (117,0) c PropagationTime_total : 766.093765
887.32/122.02	c (117,0) c PropagationTime_winner : 91.656132
887.32/122.02	c (117,0) c AnalysisTime_0 : 14.335037
887.32/122.02	c (117,0) c AnalysisTime_1 : 16.421654
887.32/122.02	c (117,0) c AnalysisTime_2 : 26.136842
887.32/122.02	c (117,0) c AnalysisTime_3 : 20.085295
887.32/122.02	c (117,0) c AnalysisTime_4 : 9.351492
887.32/122.02	c (117,0) c AnalysisTime_5 : 13.130794
887.32/122.02	c (117,0) c AnalysisTime_6 : 20.722110
887.32/122.02	c (117,0) c AnalysisTime_7 : 14.278051
887.32/122.02	c (117,0) c AnalysisTime_total : 134.461275
887.32/122.02	c (117,0) c AnalysisTime_winner : 20.722110
887.32/122.02	c (117,0) c ReductionTime_0 : 1.346237
887.32/122.02	c (117,0) c ReductionTime_1 : 1.296565
887.32/122.02	c (117,0) c ReductionTime_2 : 1.250104
887.32/122.02	c (117,0) c ReductionTime_3 : 1.269362
887.32/122.02	c (117,0) c ReductionTime_4 : 1.355528
887.32/122.02	c (117,0) c ReductionTime_5 : 1.277549
887.32/122.02	c (117,0) c ReductionTime_6 : 1.236362
887.32/122.02	c (117,0) c ReductionTime_7 : 1.333068
887.32/122.02	c (117,0) c ReductionTime_total : 10.364776
887.32/122.02	c (117,0) c ReductionTime_winner : 1.236362
887.32/122.02	c (117,0) c SimplifyTime_0 : 0.047132
887.32/122.02	c (117,0) c SimplifyTime_1 : 0.054316
887.32/122.02	c (117,0) c SimplifyTime_2 : 0.044489
887.32/122.02	c (117,0) c SimplifyTime_3 : 0.040726
887.32/122.02	c (117,0) c SimplifyTime_4 : 0.049524
887.32/122.02	c (117,0) c SimplifyTime_5 : 0.044281
887.32/122.02	c (117,0) c SimplifyTime_6 : 0.044559
887.32/122.02	c (117,0) c SimplifyTime_7 : 0.031782
887.32/122.02	c (117,0) c SimplifyTime_total : 0.356810
887.32/122.02	c (117,0) c SimplifyTime_winner : 0.044559
887.32/122.02	c (117,0) c UsedRateTime_0 : 0.000000
887.32/122.02	c (117,0) c UsedRateTime_1 : 0.000000
887.32/122.02	c (117,0) c UsedRateTime_2 : 0.000000
887.32/122.02	c (117,0) c UsedRateTime_3 : 0.000000
887.32/122.02	c (117,0) c UsedRateTime_4 : 0.000000
887.32/122.02	c (117,0) c UsedRateTime_5 : 0.000000
887.32/122.02	c (117,0) c UsedRateTime_6 : 0.000000
887.32/122.02	c (117,0) c UsedRateTime_7 : 0.000000
887.32/122.02	c (117,0) c UsedRateTime_total : 0.000000
887.32/122.02	c (117,0) c UsedRateTime_winner : 0.000000
887.32/122.02	c (117,0) c OverlapRateTime_0 : 0.000000
887.32/122.02	c (117,0) c OverlapRateTime_1 : 0.000000
887.32/122.02	c (117,0) c OverlapRateTime_2 : 0.000000
887.32/122.02	c (117,0) c OverlapRateTime_3 : 0.000000
887.32/122.02	c (117,0) c OverlapRateTime_4 : 0.000000
887.32/122.02	c (117,0) c OverlapRateTime_5 : 0.000000
887.32/122.02	c (117,0) c OverlapRateTime_6 : 0.000000
887.32/122.02	c (117,0) c OverlapRateTime_7 : 0.000000
887.32/122.02	c (117,0) c OverlapRateTime_total : 0.000000
887.32/122.02	c (117,0) c OverlapRateTime_winner : 0.000000
887.32/122.02	c (117,0) c
887.32/122.02	c (117,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
887.32/122.02	c (117,0) c
887.32/122.02	c (117,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
887.32/122.02	c (117,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
887.32/122.02	c (117,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
887.32/122.02	c (117,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
887.32/122.02	c (117,0) c | adaptStrategeis       |      False |      False |      False |      False |      False |      False |      False |      False |
887.32/122.02	c (117,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
887.32/122.02	c (117,0) c | Initial random_seed   | 1553039772 |  726136504 |  952616313 | 2140706035 | 2091791472 |   13110930 |  570332755 | 1367278045 |
887.32/122.02	c (117,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
887.32/122.02	c (117,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
887.32/122.02	c (117,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
887.32/122.02	c (117,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
887.32/122.02	c (117,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
887.32/122.02	c (117,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
887.32/122.02	c (117,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
887.32/122.02	c (117,0) c | var_decay             |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
887.32/122.02	c (117,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
887.32/122.02	c (117,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
887.32/122.02	c (117,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
887.32/122.02	c (117,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
887.32/122.02	c (117,0) 
887.32/122.02	c (117,0) s UNSATISFIABLE
887.32/122.03	c (117,0) SatSolver.solve End
887.32/122.03	c (117,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
887.32/122.03	c (117,0) Show results Begin
887.32/122.03	s UNSATISFIABLE
887.32/122.03	c (117,0) Show results End
887.32/122.03	c (117,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
887.32/122.04	c (117,0) 117,117,STOP-AFTER(ALL)
887.32/122.04	c END-Prog: Sat Sep 14 06:55:00 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 (13828 MiB free)
  memory of node 1: 16384 MiB (14265 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392750-1568436818/watcher-4392750-1568436818 -o /tmp/evaluation-result-4392750-1568436818/solver-4392750-1568436818 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node124-1568436778-23250 --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-4392750-1568436818.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=23267, runsolver pid=23264
Current StackSize limit: 8192 KiB


[startup+0.100136 s]*
/proc/loadavg: 6.87 6.71 6.53 5/212 23289
/proc/meminfo: memFree=28676636/32770624 swapFree=66959228/67108860
[pid=23267] ppid=23264 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/23267/stat : 23267 (scop.sh) S 23264 23267 23223 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 419621959 115843072 349 33554432000 4194304 5098028 140734138195168 140734138192424 139653047349884 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 37068800 140734138200868 140734138201196 140734138201196 140734138204109 0
/proc/23267/statm: 28282 349 296 221 0 87 0
[pid=23270] ppid=23267 vsize=27314120 memory=103376 CPUtime=0.11 cores=0-7
/proc/23270/stat : 23270 (java) S 23267 23267 23223 0 -1 1077944320 6928 0 0 0 8 3 0 0 20 0 20 0 419621960 27969658880 25844 33554432000 4194304 4196468 140728767559840 140728767542384 140245681557239 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 18890752 140728767566570 140728767566998 140728767566998 140728767569871 0
/proc/23270/statm: 6828530 25844 2796 1 0 6790935 0
[pid=23270/tid=23271] ppid=23267 vsize=27314120 memory=7824893785207118238 CPUtime=0.09 cores=0-7
/proc/23270/task/23271/stat : 23271 (java) R 23267 23267 23223 0 -1 4202560 4983 0 0 0 7 2 0 0 20 0 20 0 419621960 27969658880 25844 33554432000 4194304 4196468 140728767559840 140245653382000 140245665637726 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18890752 140728767566570 140728767566998 140728767566998 140728767569871 0
[pid=23270/tid=23272] ppid=23267 vsize=27314120 memory=732370674263501797 CPUtime=0 cores=0-7
/proc/23270/task/23272/stat : 23272 (java) S 23267 23267 23223 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419621962 27969658880 25844 33554432000 4194304 4196468 140728767559840 140245685799312 140245681567445 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18890752 140728767566570 140728767566998 140728767566998 140728767569871 0
[pid=23270/tid=23273] ppid=23267 vsize=27314120 memory=140535926048384 CPUtime=0 cores=0-7
/proc/23270/task/23273/stat : 23273 (java) S 23267 23267 23223 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419621962 27969658880 25844 33554432000 4194304 4196468 140728767559840 140245514893584 140245681567445 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18890752 140728767566570 140728767566998 140728767566998 140728767569871 0
[pid=23270/tid=23274] ppid=23267 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23270/task/23274/stat : 23274 (java) S 23267 23267 23223 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419621962 27969658880 25844 33554432000 4194304 4196468 140728767559840 140245102660240 140245681567445 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18890752 140728767566570 140728767566998 140728767566998 140728767569871 0
[pid=23270/tid=23275] ppid=23267 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23270/task/23275/stat : 23275 (java) S 23267 23267 23223 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419621962 27969658880 25844 33554432000 4194304 4196468 140728767559840 140245101607440 140245681567445 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18890752 140728767566570 140728767566998 140728767566998 140728767569871 0
[pid=23270/tid=23276] ppid=23267 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23270/task/23276/stat : 23276 (java) S 23267 23267 23223 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419621962 27969658880 25844 33554432000 4194304 4196468 140728767559840 140245100555152 140245681567445 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18890752 140728767566570 140728767566998 140728767566998 140728767569871 0
[pid=23270/tid=23277] ppid=23267 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/23270/task/23277/stat : 23277 (java) S 23267 23267 23223 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419621962 27969658880 25844 33554432000 4194304 4196468 140728767559840 140245099502352 140245681567445 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18890752 140728767566570 140728767566998 140728767566998 140728767569871 0
[pid=23270/tid=23278] ppid=23267 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23270/task/23278/stat : 23278 (java) S 23267 23267 23223 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419621962 27969658880 25844 33554432000 4194304 4196468 140728767559840 140245098450064 140245681567445 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18890752 140728767566570 140728767566998 140728767566998 140728767569871 0
[pid=23270/tid=23279] ppid=23267 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23270/task/23279/stat : 23279 (java) S 23267 23267 23223 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419621962 27969658880 25844 33554432000 4194304 4196468 140728767559840 140245097397264 140245681567445 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18890752 140728767566570 140728767566998 140728767566998 140728767569871 0
[pid=23270/tid=23280] ppid=23267 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23270/task/23280/stat : 23280 (java) S 23267 23267 23223 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419621964 27969658880 25844 33554432000 4194304 4196468 140728767559840 140244270241904 140245681568386 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18890752 140728767566570 140728767566998 140728767566998 140728767569871 0
[pid=23270/tid=23281] ppid=23267 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23270/task/23281/stat : 23281 (java) S 23267 23267 23223 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419621964 27969658880 25844 33554432000 4194304 4196468 140728767559840 140243231564576 140245681567445 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18890752 140728767566570 140728767566998 140728767566998 140728767569871 0
[pid=23270/tid=23282] ppid=23267 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23270/task/23282/stat : 23282 (java) S 23267 23267 23223 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419621964 27969658880 25844 33554432000 4194304 4196468 140728767559840 140243097343088 140245681567445 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18890752 140728767566570 140728767566998 140728767566998 140728767569871 0
[pid=23270/tid=23283] ppid=23267 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23270/task/23283/stat : 23283 (java) S 23267 23267 23223 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419621967 27969658880 25844 33554432000 4194304 4196468 140728767559840 140242722838608 140245681575835 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18890752 140728767566570 140728767566998 140728767566998 140728767569871 0
[pid=23270/tid=23284] ppid=23267 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23270/task/23284/stat : 23284 (java) S 23267 23267 23223 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 20 0 419621967 27969658880 25844 33554432000 4194304 4196468 140728767559840 140244269189744 140245681568386 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18890752 140728767566570 140728767566998 140728767566998 140728767569871 0
[pid=23270/tid=23285] ppid=23267 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23270/task/23285/stat : 23285 (java) S 23267 23267 23223 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419621967 27969658880 25844 33554432000 4194304 4196468 140728767559840 140244268136944 140245681568386 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18890752 140728767566570 140728767566998 140728767566998 140728767569871 0
[pid=23270/tid=23286] ppid=23267 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23270/task/23286/stat : 23286 (java) S 23267 23267 23223 0 -1 1077944384 274 0 0 0 0 0 0 0 20 0 20 0 419621967 27969658880 25844 33554432000 4194304 4196468 140728767559840 140244267084656 140245681568386 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18890752 140728767566570 140728767566998 140728767566998 140728767569871 0
[pid=23270/tid=23287] ppid=23267 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23270/task/23287/stat : 23287 (java) S 23267 23267 23223 0 -1 1077944384 283 0 0 0 0 0 0 0 20 0 20 0 419621967 27969658880 25844 33554432000 4194304 4196468 140728767559840 140244266031856 140245681568386 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18890752 140728767566570 140728767566998 140728767566998 140728767569871 0
[pid=23270/tid=23288] ppid=23267 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23270/task/23288/stat : 23288 (java) S 23267 23267 23223 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419621967 27969658880 25844 33554432000 4194304 4196468 140728767559840 140242224933216 140245681567445 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18890752 140728767566570 140728767566998 140728767566998 140728767569871 0
[pid=23270/tid=23289] ppid=23267 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/23270/task/23289/stat : 23289 (java) S 23267 23267 23223 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419621968 27969658880 25844 33554432000 4194304 4196468 140728767559840 140244264978736 140245681568386 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18890752 140728767566570 140728767566998 140728767566998 140728767569871 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 104772 KiB

[startup+0.210551 s]*
/proc/loadavg: 6.87 6.71 6.53 2/212 23289
/proc/meminfo: memFree=28656180/32770624 swapFree=66959228/67108860
[pid=23267] ppid=23264 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/23267/stat : 23267 (scop.sh) S 23264 23267 23223 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 419621959 115843072 349 33554432000 4194304 5098028 140734138195168 140734138192424 139653047349884 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 37068800 140734138200868 140734138201196 140734138201196 140734138204109 0
/proc/23267/statm: 28282 349 296 221 0 87 0
[pid=23270] ppid=23267 vsize=27314120 memory=122432 CPUtime=0.25 cores=0-7
/proc/23270/stat : 23270 (java) S 23267 23267 23223 0 -1 1077944320 12574 0 0 0 20 5 0 0 20 0 20 0 419621960 27969658880 30608 33554432000 4194304 4196468 140728767559840 140728767542384 140245681557239 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 18890752 140728767566570 140728767566998 140728767566998 140728767569871 0
/proc/23270/statm: 6828530 30608 2918 1 0 6790935 0
[pid=23270/tid=23271] ppid=23267 vsize=27314120 memory=0 CPUtime=0.2 cores=0-7
/proc/23270/task/23271/stat : 23271 (java) R 23267 23267 23223 0 -1 4202560 10196 0 0 0 16 4 0 0 20 0 20 0 419621960 27969658880 30608 33554432000 4194304 4196468 140728767559840 140245653379952 140245666722792 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18890752 140728767566570 140728767566998 140728767566998 140728767569871 0
[pid=23270/tid=23272] ppid=23267 vsize=27314120 memory=281071752267512 CPUtime=0 cores=0-7
/proc/23270/task/23272/stat : 23272 (java) S 23267 23267 23223 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419621962 27969658880 30608 33554432000 4194304 4196468 140728767559840 140245685799312 140245681567445 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18890752 140728767566570 140728767566998 140728767566998 140728767569871 0
[pid=23270/tid=23273] ppid=23267 vsize=27314120 memory=140535926048384 CPUtime=0 cores=0-7
/proc/23270/task/23273/stat : 23273 (java) S 23267 23267 23223 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419621962 27969658880 30608 33554432000 4194304 4196468 140728767559840 140245514893584 140245681567445 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18890752 140728767566570 140728767566998 140728767566998 140728767569871 0
[pid=23270/tid=23274] ppid=23267 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23270/task/23274/stat : 23274 (java) S 23267 23267 23223 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419621962 27969658880 30608 33554432000 4194304 4196468 140728767559840 140245102660240 140245681567445 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18890752 140728767566570 140728767566998 140728767566998 140728767569871 0
[pid=23270/tid=23275] ppid=23267 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23270/task/23275/stat : 23275 (java) S 23267 23267 23223 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419621962 27969658880 30608 33554432000 4194304 4196468 140728767559840 140245101607440 140245681567445 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18890752 140728767566570 140728767566998 140728767566998 140728767569871 0
[pid=23270/tid=23276] ppid=23267 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23270/task/23276/stat : 23276 (java) S 23267 23267 23223 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419621962 27969658880 30608 33554432000 4194304 4196468 140728767559840 140245100555152 140245681567445 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18890752 140728767566570 140728767566998 140728767566998 140728767569871 0
[pid=23270/tid=23277] ppid=23267 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/23270/task/23277/stat : 23277 (java) S 23267 23267 23223 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419621962 27969658880 30608 33554432000 4194304 4196468 140728767559840 140245099502352 140245681567445 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18890752 140728767566570 140728767566998 140728767566998 140728767569871 0
[pid=23270/tid=23278] ppid=23267 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23270/task/23278/stat : 23278 (java) S 23267 23267 23223 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419621962 27969658880 30608 33554432000 4194304 4196468 140728767559840 140245098450064 140245681567445 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18890752 140728767566570 140728767566998 140728767566998 140728767569871 0
[pid=23270/tid=23279] ppid=23267 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23270/task/23279/stat : 23279 (java) S 23267 23267 23223 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419621962 27969658880 30608 33554432000 4194304 4196468 140728767559840 140245097397264 140245681567445 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18890752 140728767566570 140728767566998 140728767566998 140728767569871 0
[pid=23270/tid=23280] ppid=23267 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23270/task/23280/stat : 23280 (java) S 23267 23267 23223 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419621964 27969658880 30608 33554432000 4194304 4196468 140728767559840 140244270241904 140245681568386 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18890752 140728767566570 140728767566998 140728767566998 140728767569871 0
[pid=23270/tid=23281] ppid=23267 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23270/task/23281/stat : 23281 (java) S 23267 23267 23223 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419621964 27969658880 30608 33554432000 4194304 4196468 140728767559840 140243231564576 140245681567445 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18890752 140728767566570 140728767566998 140728767566998 140728767569871 0
[pid=23270/tid=23282] ppid=23267 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23270/task/23282/stat : 23282 (java) S 23267 23267 23223 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419621964 27969658880 30608 33554432000 4194304 4196468 140728767559840 140243097343088 140245681567445 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18890752 140728767566570 140728767566998 140728767566998 140728767569871 0
[pid=23270/tid=23283] ppid=23267 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23270/task/23283/stat : 23283 (java) S 23267 23267 23223 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419621967 27969658880 30608 33554432000 4194304 4196468 140728767559840 140242722838608 140245681575835 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18890752 140728767566570 140728767566998 140728767566998 140728767569871 0
[pid=23270/tid=23284] ppid=23267 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23270/task/23284/stat : 23284 (java) S 23267 23267 23223 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 20 0 419621967 27969658880 30608 33554432000 4194304 4196468 140728767559840 140244269189744 140245681568386 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18890752 140728767566570 140728767566998 140728767566998 140728767569871 0
[pid=23270/tid=23285] ppid=23267 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23270/task/23285/stat : 23285 (java) S 23267 23267 23223 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 20 0 419621967 27969658880 30608 33554432000 4194304 4196468 140728767559840 140244268136944 140245681568386 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18890752 140728767566570 140728767566998 140728767566998 140728767569871 0
[pid=23270/tid=23286] ppid=23267 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23270/task/23286/stat : 23286 (java) S 23267 23267 23223 0 -1 1077944384 422 0 0 0 0 0 0 0 20 0 20 0 419621967 27969658880 30608 33554432000 4194304 4196468 140728767559840 140244267084656 140245681568386 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18890752 140728767566570 140728767566998 140728767566998 140728767569871 0
[pid=23270/tid=23287] ppid=23267 vsize=27314120 memory=0 CPUtime=0.02 cores=0-7
/proc/23270/task/23287/stat : 23287 (java) S 23267 23267 23223 0 -1 1077944384 524 0 0 0 2 0 0 0 20 0 20 0 419621967 27969658880 30608 33554432000 4194304 4196468 140728767559840 140244266031856 140245681568386 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18890752 140728767566570 140728767566998 140728767566998 140728767569871 0
[pid=23270/tid=23288] ppid=23267 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23270/task/23288/stat : 23288 (java) S 23267 23267 23223 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419621967 27969658880 30608 33554432000 4194304 4196468 140728767559840 140242224933216 140245681567445 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18890752 140728767566570 140728767566998 140728767566998 140728767569871 0
[pid=23270/tid=23289] ppid=23267 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/23270/task/23289/stat : 23289 (java) S 23267 23267 23223 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419621968 27969658880 30608 33554432000 4194304 4196468 140728767559840 140244264978736 140245681568386 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18890752 140728767566570 140728767566998 140728767566998 140728767569871 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 123828 KiB

[startup+0.310214 s]*
/proc/loadavg: 6.87 6.71 6.53 2/212 23289
/proc/meminfo: memFree=28653140/32770624 swapFree=66959228/67108860
[pid=23267] ppid=23264 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/23267/stat : 23267 (scop.sh) S 23264 23267 23223 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 419621959 115843072 349 33554432000 4194304 5098028 140734138195168 140734138192424 139653047349884 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 37068800 140734138200868 140734138201196 140734138201196 140734138204109 0
/proc/23267/statm: 28282 349 296 221 0 87 0
[pid=23270] ppid=23267 vsize=27314120 memory=126360 CPUtime=0.42 cores=0-7
/proc/23270/stat : 23270 (java) S 23267 23267 23223 0 -1 1077944320 13024 0 0 0 37 5 0 0 20 0 20 0 419621960 27969658880 31590 33554432000 4194304 4196468 140728767559840 140728767542384 140245681557239 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 18890752 140728767566570 140728767566998 140728767566998 140728767569871 0
/proc/23270/statm: 6828530 31590 3014 1 0 6790935 0
[pid=23270/tid=23271] ppid=23267 vsize=27314120 memory=6791534058613427641 CPUtime=0.3 cores=0-7
/proc/23270/task/23271/stat : 23271 (java) R 23267 23267 23223 0 -1 4202560 10399 0 0 0 26 4 0 0 20 0 20 0 419621960 27969658880 31590 33554432000 4194304 4196468 140728767559840 140245653351344 140245664744083 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18890752 140728767566570 140728767566998 140728767566998 140728767569871 0
[pid=23270/tid=23272] ppid=23267 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23270/task/23272/stat : 23272 (java) S 23267 23267 23223 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419621962 27969658880 31590 33554432000 4194304 4196468 140728767559840 140245685799312 140245681567445 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18890752 140728767566570 140728767566998 140728767566998 140728767569871 0
[pid=23270/tid=23273] ppid=23267 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23270/task/23273/stat : 23273 (java) S 23267 23267 23223 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419621962 27969658880 31590 33554432000 4194304 4196468 140728767559840 140245514893584 140245681567445 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18890752 140728767566570 140728767566998 140728767566998 140728767569871 0
[pid=23270/tid=23274] ppid=23267 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23270/task/23274/stat : 23274 (java) S 23267 23267 23223 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419621962 27969658880 31590 33554432000 4194304 4196468 140728767559840 140245102660240 140245681567445 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18890752 140728767566570 140728767566998 140728767566998 140728767569871 0
[pid=23270/tid=23275] ppid=23267 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23270/task/23275/stat : 23275 (java) S 23267 23267 23223 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419621962 27969658880 31590 33554432000 4194304 4196468 140728767559840 140245101607440 140245681567445 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18890752 140728767566570 140728767566998 140728767566998 140728767569871 0
[pid=23270/tid=23276] ppid=23267 vsize=27314120 memory=2244 CPUtime=0 cores=0-7
/proc/23270/task/23276/stat : 23276 (java) S 23267 23267 23223 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419621962 27969658880 31590 33554432000 4194304 4196468 140728767559840 140245100555152 140245681567445 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18890752 140728767566570 140728767566998 140728767566998 140728767569871 0
[pid=23270/tid=23277] ppid=23267 vsize=27314120 memory=140535826314159 CPUtime=0 cores=0-7
/proc/23270/task/23277/stat : 23277 (java) S 23267 23267 23223 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419621962 27969658880 31590 33554432000 4194304 4196468 140728767559840 140245099502352 140245681567445 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18890752 140728767566570 140728767566998 140728767566998 140728767569871 0
[pid=23270/tid=23278] ppid=23267 vsize=27314120 memory=140535826316464 CPUtime=0 cores=0-7
/proc/23270/task/23278/stat : 23278 (java) S 23267 23267 23223 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419621962 27969658880 31590 33554432000 4194304 4196468 140728767559840 140245098450064 140245681567445 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18890752 140728767566570 140728767566998 140728767566998 140728767569871 0
[pid=23270/tid=23279] ppid=23267 vsize=27314120 memory=140535826318768 CPUtime=0 cores=0-7
/proc/23270/task/23279/stat : 23279 (java) S 23267 23267 23223 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419621962 27969658880 31590 33554432000 4194304 4196468 140728767559840 140245097397264 140245681567445 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18890752 140728767566570 140728767566998 140728767566998 140728767569871 0
[pid=23270/tid=23280] ppid=23267 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23270/task/23280/stat : 23280 (java) S 23267 23267 23223 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419621964 27969658880 31590 33554432000 4194304 4196468 140728767559840 140244270241904 140245681568386 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18890752 140728767566570 140728767566998 140728767566998 140728767569871 0
[pid=23270/tid=23281] ppid=23267 vsize=27314120 memory=281071652644496 CPUtime=0 cores=0-7
/proc/23270/task/23281/stat : 23281 (java) S 23267 23267 23223 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419621964 27969658880 31590 33554432000 4194304 4196468 140728767559840 140243231564576 140245681567445 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18890752 140728767566570 140728767566998 140728767566998 140728767569871 0
[pid=23270/tid=23282] ppid=23267 vsize=27314120 memory=281071652651408 CPUtime=0 cores=0-7
/proc/23270/task/23282/stat : 23282 (java) S 23267 23267 23223 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419621964 27969658880 31590 33554432000 4194304 4196468 140728767559840 140243097343088 140245681567445 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18890752 140728767566570 140728767566998 140728767566998 140728767569871 0
[pid=23270/tid=23283] ppid=23267 vsize=27314120 memory=281071652592688 CPUtime=0 cores=0-7
/proc/23270/task/23283/stat : 23283 (java) S 23267 23267 23223 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419621967 27969658880 31590 33554432000 4194304 4196468 140728767559840 140242722838608 140245681575835 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18890752 140728767566570 140728767566998 140728767566998 140728767569871 0
[pid=23270/tid=23284] ppid=23267 vsize=27314120 memory=281071652665232 CPUtime=0.01 cores=0-7
/proc/23270/task/23284/stat : 23284 (java) R 23267 23267 23223 0 -1 4202560 145 0 0 0 1 0 0 0 20 0 20 0 419621967 27969658880 31590 33554432000 4194304 4196468 140728767559840 140244269189744 140245681578586 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18890752 140728767566570 140728767566998 140728767566998 140728767569871 0
[pid=23270/tid=23285] ppid=23267 vsize=27314120 memory=281071652672144 CPUtime=0 cores=0-7
/proc/23270/task/23285/stat : 23285 (java) S 23267 23267 23223 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 20 0 419621967 27969658880 31590 33554432000 4194304 4196468 140728767559840 140244268136944 140245681568386 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18890752 140728767566570 140728767566998 140728767566998 140728767569871 0
[pid=23270/tid=23286] ppid=23267 vsize=27314120 memory=281071652669840 CPUtime=0.01 cores=0-7
/proc/23270/task/23286/stat : 23286 (java) S 23267 23267 23223 0 -1 1077944384 432 0 0 0 1 0 0 0 20 0 20 0 419621967 27969658880 31590 33554432000 4194304 4196468 140728767559840 140244267084656 140245681568386 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18890752 140728767566570 140728767566998 140728767566998 140728767569871 0
[pid=23270/tid=23287] ppid=23267 vsize=27314120 memory=281071652686000 CPUtime=0.07 cores=0-7
/proc/23270/task/23287/stat : 23287 (java) S 23267 23267 23223 0 -1 1077944384 624 0 0 0 7 0 0 0 20 0 20 0 419621967 27969658880 31590 33554432000 4194304 4196468 140728767559840 140244266031856 140245681568386 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18890752 140728767566570 140728767566998 140728767566998 140728767569871 0
[pid=23270/tid=23288] ppid=23267 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23270/task/23288/stat : 23288 (java) S 23267 23267 23223 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419621967 27969658880 31590 33554432000 4194304 4196468 140728767559840 140242224933216 140245681567445 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18890752 140728767566570 140728767566998 140728767566998 140728767569871 0
[pid=23270/tid=23289] ppid=23267 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/23270/task/23289/stat : 23289 (java) S 23267 23267 23223 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419621968 27969658880 31590 33554432000 4194304 4196468 140728767559840 140244264978736 140245681568386 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18890752 140728767566570 140728767566998 140728767566998 140728767569871 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 127756 KiB

[startup+0.700989 s]
/proc/loadavg: 6.87 6.71 6.53 2/212 23289
/proc/meminfo: memFree=28632180/32770624 swapFree=66959228/67108860
[pid=23267] ppid=23264 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/23267/stat : 23267 (scop.sh) S 23264 23267 23223 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 419621959 115843072 349 33554432000 4194304 5098028 140734138195168 140734138192424 139653047349884 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 37068800 140734138200868 140734138201196 140734138201196 140734138204109 0
/proc/23267/statm: 28282 349 296 221 0 87 0
[pid=23270] ppid=23267 vsize=27320392 memory=162616 CPUtime=1.01 cores=0-7
/proc/23270/stat : 23270 (java) S 23267 23267 23223 0 -1 1077944320 20848 0 0 0 93 8 0 0 20 0 20 0 419621960 27976081408 40654 33554432000 4194304 4196468 140728767559840 140728767542384 140245681557239 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 18890752 140728767566570 140728767566998 140728767566998 140728767569871 0
/proc/23270/statm: 6830098 40654 3181 1 0 6791447 0
[pid=23270/tid=23271] ppid=23267 vsize=27320392 memory=281071652980864 CPUtime=0.68 cores=0-7
/proc/23270/task/23271/stat : 23271 (java) R 23267 23267 23223 0 -1 4202560 17455 0 0 0 62 6 0 0 20 0 20 0 419621960 27976081408 40654 33554432000 4194304 4196468 140728767559840 140245653395984 140245681569174 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18890752 140728767566570 140728767566998 140728767566998 140728767569871 0
[pid=23270/tid=23272] ppid=23267 vsize=27320392 memory=4943507358845 CPUtime=0 cores=0-7
/proc/23270/task/23272/stat : 23272 (java) S 23267 23267 23223 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419621962 27976081408 40654 33554432000 4194304 4196468 140728767559840 140245685799312 140245681567445 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18890752 140728767566570 140728767566998 140728767566998 140728767569871 0
[pid=23270/tid=23273] ppid=23267 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/23270/task/23273/stat : 23273 (java) S 23267 23267 23223 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419621962 27976081408 40654 33554432000 4194304 4196468 140728767559840 140245514893584 140245681567445 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18890752 140728767566570 140728767566998 140728767566998 140728767569871 0
[pid=23270/tid=23274] ppid=23267 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/23270/task/23274/stat : 23274 (java) S 23267 23267 23223 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419621962 27976081408 40654 33554432000 4194304 4196468 140728767559840 140245102660240 140245681567445 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18890752 140728767566570 140728767566998 140728767566998 140728767569871 0

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

[pid=23290/tid=23301] ppid=23267 vsize=8414124 memory=832 CPUtime=0 cores=0-7
/proc/23290/task/23301/stat : 23301 (java) S 23267 23267 23223 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 419622412 8616062976 29875 33554432000 4194304 4196468 140725252275104 140462073570592 140463752931029 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24330240 140725252281335 140725252281494 140725252281494 140725252284367 0
[pid=23290/tid=23302] ppid=23267 vsize=8414124 memory=1436 CPUtime=0 cores=0-7
/proc/23290/task/23302/stat : 23302 (java) S 23267 23267 23223 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 419622413 8616062976 29875 33554432000 4194304 4196468 140725252275104 140461939349104 140463752931029 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24330240 140725252281335 140725252281494 140725252281494 140725252284367 0
[pid=23290/tid=23303] ppid=23267 vsize=8414124 memory=1984 CPUtime=0 cores=0-7
/proc/23290/task/23303/stat : 23303 (java) S 23267 23267 23223 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419622415 8616062976 29875 33554432000 4194304 4196468 140725252275104 140461564844624 140463752939419 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24330240 140725252281335 140725252281494 140725252281494 140725252284367 0
[pid=23290/tid=23304] ppid=23267 vsize=8414124 memory=2580 CPUtime=0.05 cores=0-7
/proc/23290/task/23304/stat : 23304 (java) S 23267 23267 23223 0 -1 1077944384 341 0 0 0 5 0 0 0 20 0 24 0 419622416 8616062976 29875 33554432000 4194304 4196468 140725252275104 140462979549296 140463752931970 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24330240 140725252281335 140725252281494 140725252281494 140725252284367 0
[pid=23290/tid=23305] ppid=23267 vsize=8414124 memory=1760 CPUtime=0.05 cores=0-7
/proc/23290/task/23305/stat : 23305 (java) S 23267 23267 23223 0 -1 1077944384 531 0 0 0 5 0 0 0 20 0 24 0 419622416 8616062976 29875 33554432000 4194304 4196468 140725252275104 140462978496496 140463752931970 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24330240 140725252281335 140725252281494 140725252281494 140725252284367 0
[pid=23290/tid=23306] ppid=23267 vsize=8414124 memory=111636 CPUtime=0.08 cores=0-7
/proc/23290/task/23306/stat : 23306 (java) S 23267 23267 23223 0 -1 1077944384 308 0 0 0 8 0 0 0 20 0 24 0 419622416 8616062976 29875 33554432000 4194304 4196468 140725252275104 140462977444208 140463752931970 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24330240 140725252281335 140725252281494 140725252281494 140725252284367 0
[pid=23290/tid=23307] ppid=23267 vsize=8414124 memory=800 CPUtime=0.22 cores=0-7
/proc/23290/task/23307/stat : 23307 (java) S 23267 23267 23223 0 -1 1077944384 757 0 0 0 22 0 0 0 20 0 24 0 419622416 8616062976 29875 33554432000 4194304 4196468 140725252275104 140462976391408 140463752931970 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24330240 140725252281335 140725252281494 140725252281494 140725252284367 0
[pid=23290/tid=23308] ppid=23267 vsize=8414124 memory=4104 CPUtime=0 cores=0-7
/proc/23290/task/23308/stat : 23308 (java) S 23267 23267 23223 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419622417 8616062976 29875 33554432000 4194304 4196468 140725252275104 140461066939232 140463752931029 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24330240 140725252281335 140725252281494 140725252281494 140725252284367 0
[pid=23290/tid=23309] ppid=23267 vsize=8414124 memory=1804 CPUtime=0.09 cores=0-7
/proc/23290/task/23309/stat : 23309 (java) S 23267 23267 23223 0 -1 1077944384 9 0 0 0 6 3 0 0 20 0 24 0 419622417 8616062976 29875 33554432000 4194304 4196468 140725252275104 140462975339312 140463752931970 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 24330240 140725252281335 140725252281494 140725252281494 140725252284367 0
[pid=23290/tid=23311] ppid=23267 vsize=8414124 memory=920 CPUtime=0 cores=0-7
/proc/23290/task/23311/stat : 23311 (java) S 23267 23267 23223 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 419622485 8616062976 29875 33554432000 4194304 4196468 140725252275104 140462967306048 140463752945433 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 24330240 140725252281335 140725252281494 140725252281494 140725252284367 0
[pid=23290/tid=23313] ppid=23267 vsize=8414124 memory=3912 CPUtime=0 cores=0-7
/proc/23290/task/23313/stat : 23313 (java) S 23267 23267 23223 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 419622485 8616062976 29875 33554432000 4194304 4196468 140725252275104 140460395838864 140463752942749 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 24330240 140725252281335 140725252281494 140725252281494 140725252284367 0
[pid=23290/tid=23314] ppid=23267 vsize=8414124 memory=1412 CPUtime=0 cores=0-7
/proc/23290/task/23314/stat : 23314 (java) S 23267 23267 23223 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 24 0 419622485 8616062976 29875 33554432000 4194304 4196468 140725252275104 140460664274192 140463752942749 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 24330240 140725252281335 140725252281494 140725252281494 140725252284367 0
[pid=23290/tid=23323] ppid=23267 vsize=8414124 memory=3640 CPUtime=0 cores=0-7
/proc/23290/task/23323/stat : 23323 (java) S 23267 23267 23223 0 -1 1077944384 138 0 0 0 0 0 0 0 20 0 24 0 419622487 8616062976 29875 33554432000 4194304 4196468 140725252275104 140460127411504 140463752931029 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24330240 140725252281335 140725252281494 140725252281494 140725252284367 0
Current children cumulated CPU time: 884.71 s
Current children cumulated vsize: 9395588 KiB
Current children cumulated memory: 784580 KiB

[startup+121.801 s]
/proc/loadavg: 7.42 6.95 6.64 3/219 23331
/proc/meminfo: memFree=28000712/32770624 swapFree=66959228/67108860
[pid=23267] ppid=23264 vsize=113128 memory=1476 CPUtime=11.99 cores=0-7
/proc/23267/stat : 23267 (scop.sh) S 23264 23267 23223 0 -1 4202496 582 32244 0 0 0 0 1169 30 20 0 1 0 419621959 115843072 369 33554432000 4194304 5098028 140734138195168 140734138191912 139653047349884 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 37068800 140734138200868 140734138201196 140734138201196 140734138204109 0
/proc/23267/statm: 28282 369 311 221 0 87 0
[pid=23290] ppid=23267 vsize=8414124 memory=119500 CPUtime=1.3 cores=0-7
/proc/23290/stat : 23290 (java) S 23267 23267 23223 0 -1 1077944320 20358 0 0 0 122 8 0 0 20 0 24 0 419622409 8616062976 29875 33554432000 4194304 4196468 140725252275104 140725252257648 140463752920823 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24330240 140725252281335 140725252281494 140725252281494 140725252284367 0
/proc/23290/statm: 2103531 29875 3209 1 0 2064875 0
[pid=23310] ppid=23290 vsize=868336 memory=663988 CPUtime=873.72 cores=0-7
/proc/23310/stat : 23310 (manyglucose-4.1) S 23290 23267 23223 0 -1 1077944320 804134 0 0 0 87202 170 0 0 20 0 3 0 419622485 889176064 165997 33554432000 4194304 4454172 140724130716752 140724130715136 140577923358455 0 4 0 8388610 18446744073709551615 0 0 17 3 0 0 0 0 0 6552832 6554400 10702848 140724130718569 140724130718768 140724130718768 140724130721722 0
/proc/23310/statm: 217084 165997 419 64 0 212752 0
[pid=23310/tid=23317] ppid=23290 vsize=868336 memory=612356 CPUtime=115.73 cores=0-7
/proc/23310/task/23317/stat : 23317 (manyglucose-4.1) R 23290 23267 23223 0 -1 4202560 98918 0 0 0 11554 19 0 0 20 0 3 0 419622487 889176064 165997 33554432000 4194304 4454172 140724130716752 140577891355464 4351591 0 4 0 8388610 0 0 0 -1 6 0 0 0 0 0 6552832 6554400 10702848 140724130718569 140724130718768 140724130718768 140724130721722 0
[pid=23310/tid=23322] ppid=23290 vsize=868336 memory=-9175073142862016914 CPUtime=104.78 cores=0-7
/proc/23310/task/23322/stat : 23322 (manyglucose-4.1) R 23290 23267 23223 0 -1 4202560 89354 0 0 0 10460 18 0 0 20 0 3 0 419622487 889176064 165997 33554432000 4194304 4454172 140724130716752 140577857784968 4351552 0 4 0 8388610 0 0 0 -1 5 0 0 0 0 0 6552832 6554400 10702848 140724130718569 140724130718768 140724130718768 140724130721722 0
[pid=23290/tid=23291] ppid=23267 vsize=8414124 memory=119500 CPUtime=0.77 cores=0-7
/proc/23290/task/23291/stat : 23291 (java) S 23267 23267 23223 0 -1 1077944384 16863 0 0 0 71 6 0 0 20 0 24 0 419622409 8616062976 29875 33554432000 4194304 4196468 140725252275104 140463724760992 140463752931029 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 24330240 140725252281335 140725252281494 140725252281494 140725252284367 0
[pid=23290/tid=23292] ppid=23267 vsize=8414124 memory=616624 CPUtime=0 cores=0-7
/proc/23290/task/23292/stat : 23292 (java) S 23267 23267 23223 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419622410 8616062976 29875 33554432000 4194304 4196468 140725252275104 140463757163408 140463752931029 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24330240 140725252281335 140725252281494 140725252281494 140725252284367 0
[pid=23290/tid=23293] ppid=23267 vsize=8414124 memory=4104 CPUtime=0 cores=0-7
/proc/23290/task/23293/stat : 23293 (java) S 23267 23267 23223 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419622410 8616062976 29875 33554432000 4194304 4196468 140725252275104 140463557331728 140463752931029 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24330240 140725252281335 140725252281494 140725252281494 140725252284367 0
[pid=23290/tid=23294] ppid=23267 vsize=8414124 memory=1804 CPUtime=0 cores=0-7
/proc/23290/task/23294/stat : 23294 (java) S 23267 23267 23223 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419622410 8616062976 29875 33554432000 4194304 4196468 140725252275104 140463556279440 140463752931029 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24330240 140725252281335 140725252281494 140725252281494 140725252284367 0
[pid=23290/tid=23295] ppid=23267 vsize=8414124 memory=920 CPUtime=0 cores=0-7
/proc/23290/task/23295/stat : 23295 (java) S 23267 23267 23223 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419622410 8616062976 29875 33554432000 4194304 4196468 140725252275104 140463555226640 140463752931029 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24330240 140725252281335 140725252281494 140725252281494 140725252284367 0
[pid=23290/tid=23296] ppid=23267 vsize=8414124 memory=3360 CPUtime=0 cores=0-7
/proc/23290/task/23296/stat : 23296 (java) S 23267 23267 23223 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419622410 8616062976 29875 33554432000 4194304 4196468 140725252275104 140463554173328 140463752931029 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24330240 140725252281335 140725252281494 140725252281494 140725252284367 0
[pid=23290/tid=23297] ppid=23267 vsize=8414124 memory=776 CPUtime=0 cores=0-7
/proc/23290/task/23297/stat : 23297 (java) S 23267 23267 23223 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419622410 8616062976 29875 33554432000 4194304 4196468 140725252275104 140463553120528 140463752931029 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24330240 140725252281335 140725252281494 140725252281494 140725252284367 0
[pid=23290/tid=23298] ppid=23267 vsize=8414124 memory=1564 CPUtime=0 cores=0-7
/proc/23290/task/23298/stat : 23298 (java) S 23267 23267 23223 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419622410 8616062976 29875 33554432000 4194304 4196468 140725252275104 140463552068240 140463752931029 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24330240 140725252281335 140725252281494 140725252281494 140725252284367 0
[pid=23290/tid=23299] ppid=23267 vsize=8414124 memory=5984 CPUtime=0 cores=0-7
/proc/23290/task/23299/stat : 23299 (java) S 23267 23267 23223 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419622410 8616062976 29875 33554432000 4194304 4196468 140725252275104 140463231199760 140463752931029 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24330240 140725252281335 140725252281494 140725252281494 140725252284367 0
[pid=23290/tid=23300] ppid=23267 vsize=8414124 memory=1060 CPUtime=0 cores=0-7
/proc/23290/task/23300/stat : 23300 (java) S 23267 23267 23223 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 419622412 8616062976 29875 33554432000 4194304 4196468 140725252275104 140462980602480 140463752931970 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24330240 140725252281335 140725252281494 140725252281494 140725252284367 0
[pid=23290/tid=23301] ppid=23267 vsize=8414124 memory=2828 CPUtime=0 cores=0-7
/proc/23290/task/23301/stat : 23301 (java) S 23267 23267 23223 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 419622412 8616062976 29875 33554432000 4194304 4196468 140725252275104 140462073570592 140463752931029 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24330240 140725252281335 140725252281494 140725252281494 140725252284367 0
[pid=23290/tid=23302] ppid=23267 vsize=8414124 memory=1216 CPUtime=0 cores=0-7
/proc/23290/task/23302/stat : 23302 (java) S 23267 23267 23223 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 419622413 8616062976 29875 33554432000 4194304 4196468 140725252275104 140461939349104 140463752931029 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24330240 140725252281335 140725252281494 140725252281494 140725252284367 0
[pid=23290/tid=23303] ppid=23267 vsize=8414124 memory=984 CPUtime=0 cores=0-7
/proc/23290/task/23303/stat : 23303 (java) S 23267 23267 23223 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419622415 8616062976 29875 33554432000 4194304 4196468 140725252275104 140461564844624 140463752939419 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24330240 140725252281335 140725252281494 140725252281494 140725252284367 0
[pid=23290/tid=23304] ppid=23267 vsize=8414124 memory=14004 CPUtime=0.05 cores=0-7
/proc/23290/task/23304/stat : 23304 (java) S 23267 23267 23223 0 -1 1077944384 341 0 0 0 5 0 0 0 20 0 24 0 419622416 8616062976 29875 33554432000 4194304 4196468 140725252275104 140462979549296 140463752931970 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24330240 140725252281335 140725252281494 140725252281494 140725252284367 0
[pid=23290/tid=23305] ppid=23267 vsize=8414124 memory=22028 CPUtime=0.05 cores=0-7
/proc/23290/task/23305/stat : 23305 (java) S 23267 23267 23223 0 -1 1077944384 531 0 0 0 5 0 0 0 20 0 24 0 419622416 8616062976 29875 33554432000 4194304 4196468 140725252275104 140462978496496 140463752931970 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24330240 140725252281335 140725252281494 140725252281494 140725252284367 0
[pid=23290/tid=23306] ppid=23267 vsize=8414124 memory=14048 CPUtime=0.08 cores=0-7
/proc/23290/task/23306/stat : 23306 (java) S 23267 23267 23223 0 -1 1077944384 308 0 0 0 8 0 0 0 20 0 24 0 419622416 8616062976 29875 33554432000 4194304 4196468 140725252275104 140462977444208 140463752931970 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24330240 140725252281335 140725252281494 140725252281494 140725252284367 0
[pid=23290/tid=23307] ppid=23267 vsize=8414124 memory=2124 CPUtime=0.22 cores=0-7
/proc/23290/task/23307/stat : 23307 (java) S 23267 23267 23223 0 -1 1077944384 757 0 0 0 22 0 0 0 20 0 24 0 419622416 8616062976 29875 33554432000 4194304 4196468 140725252275104 140462976391408 140463752931970 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24330240 140725252281335 140725252281494 140725252281494 140725252284367 0
[pid=23290/tid=23308] ppid=23267 vsize=8414124 memory=500 CPUtime=0 cores=0-7
/proc/23290/task/23308/stat : 23308 (java) S 23267 23267 23223 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419622417 8616062976 29875 33554432000 4194304 4196468 140725252275104 140461066939232 140463752931029 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24330240 140725252281335 140725252281494 140725252281494 140725252284367 0
[pid=23290/tid=23309] ppid=23267 vsize=8414124 memory=1556 CPUtime=0.09 cores=0-7
/proc/23290/task/23309/stat : 23309 (java) S 23267 23267 23223 0 -1 1077944384 9 0 0 0 6 3 0 0 20 0 24 0 419622417 8616062976 29875 33554432000 4194304 4196468 140725252275104 140462975339312 140463752931970 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 24330240 140725252281335 140725252281494 140725252281494 140725252284367 0
[pid=23290/tid=23311] ppid=23267 vsize=8414124 memory=928 CPUtime=0 cores=0-7
/proc/23290/task/23311/stat : 23311 (java) S 23267 23267 23223 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 419622485 8616062976 29875 33554432000 4194304 4196468 140725252275104 140462967306048 140463752945433 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 24330240 140725252281335 140725252281494 140725252281494 140725252284367 0
[pid=23290/tid=23313] ppid=23267 vsize=8414124 memory=1772 CPUtime=0 cores=0-7
/proc/23290/task/23313/stat : 23313 (java) S 23267 23267 23223 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 419622485 8616062976 29875 33554432000 4194304 4196468 140725252275104 140460395838864 140463752942749 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 24330240 140725252281335 140725252281494 140725252281494 140725252284367 0
[pid=23290/tid=23314] ppid=23267 vsize=8414124 memory=832 CPUtime=0 cores=0-7
/proc/23290/task/23314/stat : 23314 (java) S 23267 23267 23223 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 24 0 419622485 8616062976 29875 33554432000 4194304 4196468 140725252275104 140460664274192 140463752942749 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 24330240 140725252281335 140725252281494 140725252281494 140725252284367 0
[pid=23290/tid=23323] ppid=23267 vsize=8414124 memory=1436 CPUtime=0 cores=0-7
/proc/23290/task/23323/stat : 23323 (java) S 23267 23267 23223 0 -1 1077944384 138 0 0 0 0 0 0 0 20 0 24 0 419622487 8616062976 29875 33554432000 4194304 4196468 140725252275104 140460127411504 140463752931029 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24330240 140725252281335 140725252281494 140725252281494 140725252284367 0
Current children cumulated CPU time: 887.01 s
Current children cumulated vsize: 9395588 KiB
Current children cumulated memory: 784964 KiB

[startup+122.001 s]
/proc/loadavg: 7.42 6.95 6.64 3/219 23331
/proc/meminfo: memFree=28000712/32770624 swapFree=66959228/67108860
[pid=23267] ppid=23264 vsize=113128 memory=1476 CPUtime=11.99 cores=0-7
/proc/23267/stat : 23267 (scop.sh) S 23264 23267 23223 0 -1 4202496 582 32244 0 0 0 0 1169 30 20 0 1 0 419621959 115843072 369 33554432000 4194304 5098028 140734138195168 140734138191912 139653047349884 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 37068800 140734138200868 140734138201196 140734138201196 140734138204109 0
/proc/23267/statm: 28282 369 311 221 0 87 0
[pid=23290] ppid=23267 vsize=8414124 memory=119500 CPUtime=1.3 cores=0-7
/proc/23290/stat : 23290 (java) S 23267 23267 23223 0 -1 1077944320 20358 0 0 0 122 8 0 0 20 0 24 0 419622409 8616062976 29875 33554432000 4194304 4196468 140725252275104 140725252257648 140463752920823 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24330240 140725252281335 140725252281494 140725252281494 140725252284367 0
/proc/23290/statm: 2103531 29875 3209 1 0 2064875 0
[pid=23310] ppid=23290 vsize=868336 memory=664028 CPUtime=874.03 cores=0-7
/proc/23310/stat : 23310 (manyglucose-4.1) S 23290 23267 23223 0 -1 1077944320 804140 0 0 0 87233 170 0 0 20 0 2 0 419622485 889176064 166007 33554432000 4194304 4454172 140724130716752 140724130715136 140577923358455 0 4 0 8388610 18446744073709551615 0 0 17 3 0 0 0 0 0 6552832 6554400 10702848 140724130718569 140724130718768 140724130718768 140724130721722 0
/proc/23310/statm: 217084 166007 419 64 0 212752 0
[pid=23310/tid=23317] ppid=23290 vsize=868336 memory=10179 CPUtime=115.93 cores=0-7
/proc/23310/task/23317/stat : 23317 (manyglucose-4.1) R 23290 23267 23223 0 -1 4202560 98923 0 0 0 11574 19 0 0 20 0 2 0 419622487 889176064 166007 33554432000 4194304 4454172 140724130716752 140577891355464 4351300 0 4 0 8388610 0 0 0 -1 6 0 0 0 0 0 6552832 6554400 10702848 140724130718569 140724130718768 140724130718768 140724130721722 0
[pid=23290/tid=23291] ppid=23267 vsize=8414124 memory=0 CPUtime=0.77 cores=0-7
/proc/23290/task/23291/stat : 23291 (java) S 23267 23267 23223 0 -1 1077944384 16863 0 0 0 71 6 0 0 20 0 24 0 419622409 8616062976 29875 33554432000 4194304 4196468 140725252275104 140463724760992 140463752931029 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 24330240 140725252281335 140725252281494 140725252281494 140725252284367 0
[pid=23290/tid=23292] ppid=23267 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/23290/task/23292/stat : 23292 (java) S 23267 23267 23223 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419622410 8616062976 29875 33554432000 4194304 4196468 140725252275104 140463757163408 140463752931029 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24330240 140725252281335 140725252281494 140725252281494 140725252284367 0
[pid=23290/tid=23293] ppid=23267 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/23290/task/23293/stat : 23293 (java) S 23267 23267 23223 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419622410 8616062976 29875 33554432000 4194304 4196468 140725252275104 140463557331728 140463752931029 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24330240 140725252281335 140725252281494 140725252281494 140725252284367 0
[pid=23290/tid=23294] ppid=23267 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/23290/task/23294/stat : 23294 (java) S 23267 23267 23223 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419622410 8616062976 29875 33554432000 4194304 4196468 140725252275104 140463556279440 140463752931029 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24330240 140725252281335 140725252281494 140725252281494 140725252284367 0
[pid=23290/tid=23295] ppid=23267 vsize=8414124 memory=3912 CPUtime=0 cores=0-7
/proc/23290/task/23295/stat : 23295 (java) S 23267 23267 23223 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419622410 8616062976 29875 33554432000 4194304 4196468 140725252275104 140463555226640 140463752931029 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24330240 140725252281335 140725252281494 140725252281494 140725252284367 0
[pid=23290/tid=23296] ppid=23267 vsize=8414124 memory=1412 CPUtime=0 cores=0-7
/proc/23290/task/23296/stat : 23296 (java) S 23267 23267 23223 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419622410 8616062976 29875 33554432000 4194304 4196468 140725252275104 140463554173328 140463752931029 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24330240 140725252281335 140725252281494 140725252281494 140725252284367 0
[pid=23290/tid=23297] ppid=23267 vsize=8414124 memory=3640 CPUtime=0 cores=0-7
/proc/23290/task/23297/stat : 23297 (java) S 23267 23267 23223 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419622410 8616062976 29875 33554432000 4194304 4196468 140725252275104 140463553120528 140463752931029 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24330240 140725252281335 140725252281494 140725252281494 140725252284367 0
[pid=23290/tid=23298] ppid=23267 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/23290/task/23298/stat : 23298 (java) S 23267 23267 23223 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419622410 8616062976 29875 33554432000 4194304 4196468 140725252275104 140463552068240 140463752931029 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24330240 140725252281335 140725252281494 140725252281494 140725252284367 0
[pid=23290/tid=23299] ppid=23267 vsize=8414124 memory=119500 CPUtime=0 cores=0-7
/proc/23290/task/23299/stat : 23299 (java) S 23267 23267 23223 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419622410 8616062976 29875 33554432000 4194304 4196468 140725252275104 140463231199760 140463752931029 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24330240 140725252281335 140725252281494 140725252281494 140725252284367 0
[pid=23290/tid=23300] ppid=23267 vsize=8414124 memory=630888 CPUtime=0 cores=0-7
/proc/23290/task/23300/stat : 23300 (java) S 23267 23267 23223 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 419622412 8616062976 29875 33554432000 4194304 4196468 140725252275104 140462980602480 140463752931970 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24330240 140725252281335 140725252281494 140725252281494 140725252284367 0
[pid=23290/tid=23301] ppid=23267 vsize=8414124 memory=1804 CPUtime=0 cores=0-7
/proc/23290/task/23301/stat : 23301 (java) S 23267 23267 23223 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 419622412 8616062976 29875 33554432000 4194304 4196468 140725252275104 140462073570592 140463752931029 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24330240 140725252281335 140725252281494 140725252281494 140725252284367 0
[pid=23290/tid=23302] ppid=23267 vsize=8414124 memory=920 CPUtime=0 cores=0-7
/proc/23290/task/23302/stat : 23302 (java) S 23267 23267 23223 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 419622413 8616062976 29875 33554432000 4194304 4196468 140725252275104 140461939349104 140463752931029 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24330240 140725252281335 140725252281494 140725252281494 140725252284367 0
[pid=23290/tid=23303] ppid=23267 vsize=8414124 memory=920 CPUtime=0 cores=0-7
/proc/23290/task/23303/stat : 23303 (java) S 23267 23267 23223 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419622415 8616062976 29875 33554432000 4194304 4196468 140725252275104 140461564844624 140463752939419 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24330240 140725252281335 140725252281494 140725252281494 140725252284367 0
[pid=23290/tid=23304] ppid=23267 vsize=8414124 memory=3912 CPUtime=0.05 cores=0-7
/proc/23290/task/23304/stat : 23304 (java) S 23267 23267 23223 0 -1 1077944384 341 0 0 0 5 0 0 0 20 0 24 0 419622416 8616062976 29875 33554432000 4194304 4196468 140725252275104 140462979549296 140463752931970 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24330240 140725252281335 140725252281494 140725252281494 140725252284367 0
[pid=23290/tid=23305] ppid=23267 vsize=8414124 memory=1412 CPUtime=0.05 cores=0-7
/proc/23290/task/23305/stat : 23305 (java) S 23267 23267 23223 0 -1 1077944384 531 0 0 0 5 0 0 0 20 0 24 0 419622416 8616062976 29875 33554432000 4194304 4196468 140725252275104 140462978496496 140463752931970 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24330240 140725252281335 140725252281494 140725252281494 140725252284367 0
[pid=23290/tid=23306] ppid=23267 vsize=8414124 memory=3640 CPUtime=0.08 cores=0-7
/proc/23290/task/23306/stat : 23306 (java) S 23267 23267 23223 0 -1 1077944384 308 0 0 0 8 0 0 0 20 0 24 0 419622416 8616062976 29875 33554432000 4194304 4196468 140725252275104 140462977444208 140463752931970 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24330240 140725252281335 140725252281494 140725252281494 140725252284367 0
[pid=23290/tid=23307] ppid=23267 vsize=8414124 memory=1476 CPUtime=0.22 cores=0-7
/proc/23290/task/23307/stat : 23307 (java) S 23267 23267 23223 0 -1 1077944384 757 0 0 0 22 0 0 0 20 0 24 0 419622416 8616062976 29875 33554432000 4194304 4196468 140725252275104 140462976391408 140463752931970 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24330240 140725252281335 140725252281494 140725252281494 140725252284367 0
[pid=23290/tid=23308] ppid=23267 vsize=8414124 memory=119500 CPUtime=0 cores=0-7
/proc/23290/task/23308/stat : 23308 (java) S 23267 23267 23223 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419622417 8616062976 29875 33554432000 4194304 4196468 140725252275104 140461066939232 140463752931029 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24330240 140725252281335 140725252281494 140725252281494 140725252284367 0
[pid=23290/tid=23309] ppid=23267 vsize=8414124 memory=590704 CPUtime=0.09 cores=0-7
/proc/23290/task/23309/stat : 23309 (java) S 23267 23267 23223 0 -1 1077944384 9 0 0 0 6 3 0 0 20 0 24 0 419622417 8616062976 29875 33554432000 4194304 4196468 140725252275104 140462975339312 140463752931970 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 24330240 140725252281335 140725252281494 140725252281494 140725252284367 0
[pid=23290/tid=23311] ppid=23267 vsize=8414124 memory=2124 CPUtime=0 cores=0-7
/proc/23290/task/23311/stat : 23311 (java) S 23267 23267 23223 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 419622485 8616062976 29875 33554432000 4194304 4196468 140725252275104 140462967306048 140463752945433 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 24330240 140725252281335 140725252281494 140725252281494 140725252284367 0
[pid=23290/tid=23313] ppid=23267 vsize=8414124 memory=240604269609589 CPUtime=0 cores=0-7
/proc/23290/task/23313/stat : 23313 (java) S 23267 23267 23223 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 419622485 8616062976 29875 33554432000 4194304 4196468 140725252275104 140460395838864 140463752942749 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 24330240 140725252281335 140725252281494 140725252281494 140725252284367 0
[pid=23290/tid=23314] ppid=23267 vsize=8414124 memory=7896953685074482011 CPUtime=0 cores=0-7
/proc/23290/task/23314/stat : 23314 (java) S 23267 23267 23223 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 24 0 419622485 8616062976 29875 33554432000 4194304 4196468 140725252275104 140460664274192 140463752942749 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 24330240 140725252281335 140725252281494 140725252281494 140725252284367 0
[pid=23290/tid=23323] ppid=23267 vsize=8414124 memory=7598824234097836114 CPUtime=0 cores=0-7
/proc/23290/task/23323/stat : 23323 (java) S 23267 23267 23223 0 -1 1077944384 138 0 0 0 0 0 0 0 20 0 24 0 419622487 8616062976 29875 33554432000 4194304 4196468 140725252275104 140460127411504 140463752931029 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24330240 140725252281335 140725252281494 140725252281494 140725252284367 0
Current children cumulated CPU time: 887.32 s
Current children cumulated vsize: 9395588 KiB
Current children cumulated memory: 785004 KiB

Child status: 0
Real time (s): 122.048
CPU time (s): 887.448
CPU user time (s): 885.315
CPU system time (s): 2.13208
CPU usage (%): 727.129
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 1056024

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 885.316
system time used= 2.13208
maximum resident set size= 1060116
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 857489
page faults= 0
swaps= 0
block input operations= 8
block output operations= 936
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 16997
involuntary context switches= 8909


# summary of solver processes directly reported to runsolver:
#   pid: 23267
#   total CPU time (s): 887.448
#   total CPU user time (s): 885.315
#   total CPU system time (s): 2.13208

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.21469 second user time and 1.62036 second system time

The end

Launcher Data 

Begin job on node124 at 2019-09-14 06:52:58
IDJOB=4392750
IDBENCH=134586
IDSOLVER=2839
FILE ID=node124/4392750-1568436818
RUNJOBID= node124-1568436778-23250
PBS_JOBID= 21702319
Free space on /tmp= 61812 MiB

SOLVER NAME= Fun-sCOP hybrid+ManyGlucose (2019-06-15)
BENCH NAME= XCSP17/Blackhole/Blackhole-xcsp2-s07/Blackhole-4-07-7_X2.xml
COMMAND LINE= DIR/scop.sh 22g DIR/scop.jar -hybrid DIR/manyglucose-4.1-27_release -model:-nthreads=NBCORE:-maxmemory=20000:-lit-scans=6000000 TMPDIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4392750-1568436818/watcher-4392750-1568436818 -o /tmp/evaluation-result-4392750-1568436818/solver-4392750-1568436818 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node124-1568436778-23250 --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-4392750-1568436818.xml

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

MD5SUM BENCH= 58733bdc54ee5d0b54338851c7cdf9d7
RANDOM SEED=903674988

node124.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.47
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.47
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.47
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.47
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:        28769176 kB
MemAvailable:   31847044 kB
Buffers:          196444 kB
Cached:          3162152 kB
SwapCached:        45884 kB
Active:           992080 kB
Inactive:        2417596 kB
Active(anon):       3296 kB
Inactive(anon):    89392 kB
Active(file):     988784 kB
Inactive(file):  2328204 kB
Unevictable:      107760 kB
Mlocked:          107760 kB
SwapTotal:      67108860 kB
SwapFree:       66959228 kB
Dirty:             20680 kB
Writeback:             0 kB
AnonPages:        114944 kB
Mapped:            44420 kB
Shmem:             32748 kB
Slab:             183140 kB
SReclaimable:     153432 kB
SUnreclaim:        29708 kB
KernelStack:        3296 kB
PageTables:         5656 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     497808 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     69632 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      112000 kB
DirectMap2M:    33433600 kB

Free space on /tmp at the end= 61792 MiB
End job on node124 at 2019-09-14 06:55:00