Trace number 4405310

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Fun-sCOP order+ManyGlucose (2019-09-22)UNSAT 875.5 122.672

General information on the benchmark

NameBlackhole/Blackhole-xcsp2-s07/
Blackhole-4-07-7_X2.xml
MD5SUM58733bdc54ee5d0b54338851c7cdf9d7
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark164.594
Satisfiable
(Un)Satisfiability was proved
Number of variables112
Number of constraints1262
Number of domains4
Minimum domain size1
Maximum domain size28
Distribution of domain sizes[{"size":1,"count":2},{"size":7,"count":28},{"size":14,"count":27},{"size":28,"count":54}]
Minimum variable degree0
Maximum variable degree56
Distribution of variable degrees[{"degree":0,"count":1},{"degree":2,"count":29},{"degree":3,"count":26},{"degree":28,"count":1},{"degree":29,"count":18},{"degree":30,"count":9},{"degree":56,"count":28}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":1262}]
Number of extensional constraints1262
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":1262}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c (scop.sh) java -Xms22g -Xmx22g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Encode -order -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-11581-serial-file.bin HOME/instance-4405310-1569343161.xml
0.65/0.54	
0.65/0.54	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
0.65/0.54	
0.65/0.57	c BEGIN-Prog: Tue Sep 24 18:38:37 CEST 2019
0.65/0.57	c PID: 11584
0.65/0.57	c IP: 172.20.3.136
0.65/0.57	c HOST: node136.alineos.net
0.65/0.57	c (0,0) Parsing Begin
2.00/1.13	c (0,0) Parsing End
2.00/1.13	c (0,0) CSP: 109 int (0 aux), 2 bool (0 aux), 1261 ctr, max domain size 28
2.00/1.14	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.00/1.14	c (0,0) Constraint Name Generate Begin
2.00/1.15	c (0,0) Ctr:HOME/instance-4405310-1569343161.xml,ExtensionConflict:ExtensionSupport:Var
2.00/1.15	c (0,0) Constraint Name Generate End
2.00/1.15	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.00/1.15	c (0,0) CSP to CSPinCNF Begin
3.09/1.64	c (1,1) translated 127 (10%) constraints
3.49/1.75	c (1,1) translated 253 (20%) constraints
3.91/1.82	c (1,1) translated 379 (30%) constraints
3.91/1.88	c (1,1) translated 505 (40%) constraints
4.33/1.94	c (1,1) translated 631 (50%) constraints
4.33/2.00	c (1,1) translated 757 (60%) constraints
5.17/2.15	c (1,1) translated 883 (70%) constraints
5.81/2.39	c (1,1) translated 1009 (80%) constraints
6.31/2.62	c (2,2) translated 1135 (90%) constraints
6.93/2.94	c (2,2) translated 1261 (100%) constraints
6.93/2.94	c (2,2) ===========================================
6.93/2.94	c (2,2) Order
6.93/2.94	c (2,2) ===========================================
6.93/3.00	c (2,2) translated 1883 (10%) constraints
7.35/3.05	c (2,2) translated 3765 (20%) constraints
7.75/3.11	c (2,2) translated 5647 (30%) constraints
7.75/3.16	c (2,2) translated 7529 (40%) constraints
8.11/3.21	c (2,2) translated 9411 (50%) constraints
8.11/3.26	c (2,2) translated 11294 (60%) constraints
8.51/3.30	c (2,2) translated 13176 (70%) constraints
8.51/3.34	c (2,2) translated 15058 (80%) constraints
8.51/3.38	c (2,2) translated 16940 (90%) constraints
8.83/3.42	c (2,2) translated 18822 (100%) constraints
8.83/3.42	c (2,2) CSP to CSPinCNF End
8.83/3.42	c (2,2) CSP: 108 int (0 aux), 685 bool (682 aux), 18822 ctr, max domain size 28
8.83/3.42	c (2,2) Heap : 675 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB)
8.83/3.42	c (2,2) CSPinCNF Propagation Begin
9.96/3.77	c (3,3) 109 values, 8487 unsatisfiable literals, and 4834 valid clauses are removed
9.96/3.77	c (3,3) CSPinCNF Propagation End
9.96/3.77	c (3,3) CSP: 108 int (0 aux), 685 bool (682 aux), 13988 ctr, max domain size 26
9.96/3.77	c (3,3) Heap : 1013 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
9.96/3.77	c (3,3) Simplify CSPinCNF Begin
10.25/3.82	c (3,3) Simplify CSPinCNF End
10.25/3.82	c (3,3) CSP: 108 int (0 aux), 685 bool (682 aux), 13988 ctr, max domain size 26
10.25/3.82	c (3,3) Heap : 1013 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
10.25/3.82	c (3,3) Calculate Precise Domain Begin
10.25/3.83	c (3,3) 0 values are removed by re-calculation
10.25/3.83	c (3,3) Calculate Precise Domain End
10.25/3.83	c (3,3) CSP: 108 int (0 aux), 685 bool (682 aux), 13988 ctr, max domain size 26
10.25/3.83	c (3,3) Heap : 1013 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
10.25/3.83	c (3,3) CSPinCNF to SatSolver Begin
10.56/3.97	c (3,3) 1399 (10 %) CSP clauses are encoded (0 SAT variables, 3107 SAT clauses)
10.91/4.03	c (3,3) 2798 (20 %) CSP clauses are encoded (0 SAT variables, 4506 SAT clauses)
10.91/4.08	c (3,3) 4197 (30 %) CSP clauses are encoded (0 SAT variables, 5905 SAT clauses)
11.30/4.12	c (3,3) 5596 (40 %) CSP clauses are encoded (0 SAT variables, 7304 SAT clauses)
11.30/4.16	c (3,3) 6994 (50 %) CSP clauses are encoded (0 SAT variables, 8702 SAT clauses)
11.30/4.18	c (3,3) 8393 (60 %) CSP clauses are encoded (0 SAT variables, 10101 SAT clauses)
11.67/4.20	c (3,3) 9792 (70 %) CSP clauses are encoded (0 SAT variables, 11500 SAT clauses)
11.67/4.22	c (3,3) 11191 (80 %) CSP clauses are encoded (0 SAT variables, 12899 SAT clauses)
11.67/4.23	c (3,3) 12590 (90 %) CSP clauses are encoded (0 SAT variables, 14298 SAT clauses)
11.67/4.24	c (3,3) 13988 (100 %) CSP clauses are encoded (0 SAT variables, 15696 SAT clauses)
11.67/4.24	c (3,3) CSPinCNF to SatSolver End
11.67/4.24	c (3,3) Heap : 1126 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB)
11.67/4.24	c (3,3) 2482 bool, 15697 clause
11.67/4.24	c (3,3) Export Begin
11.84/4.35	c (3,3) Export to HOME/scop-11581-serial-file.bin
11.84/4.35	c (3,3) Export End
11.84/4.35	c (3,3) Export File Size: 0.02 MB
11.84/4.35	c (3,3) 0,0,2,3,3,3,3,STOP-AFTER(DIMACS)
11.84/4.35	c END-Prog: Tue Sep 24 18:38:41 CEST 2019
11.84/4.39	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-11581-serial-file.bin
11.99/4.85	c (0,0) Read Serial File Begin
11.99/4.85	c (0,0) HOME/scop-11581-serial-file.bin
12.80/5.08	c (0,0) Read Serial File End
12.80/5.09	
12.80/5.09	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
12.80/5.09	(Solving Process)
12.80/5.09	
12.99/5.12	c BEGIN-Prog: Tue Sep 24 18:38:42 CEST 2019
12.99/5.12	c PID: 11604
12.99/5.12	c IP: 172.20.3.136
12.99/5.12	c HOST: node136.alineos.net
12.99/5.12	c (0,0) SatSolver.solve Begin
12.99/5.12	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4405310-1569343161.xml-scop-11584.cnf
12.99/5.15	c (0,0) c
12.99/5.15	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.99/5.15	c (0,0) c
12.99/5.15	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
12.99/5.15	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
12.99/5.15	c (0,0) c ========================================[ Problem Statistics ]===========================================
12.99/5.15	c (0,0) c |                                                                                                       |
12.99/5.15	c (0,0) WARNING! DIMACS header mismatch: wrong number of variables.
12.99/5.15	c (0,0) c |  Number of variables:          2480                                                                   |
12.99/5.15	c (0,0) c |  Number of clauses:           15697                                                                   |
12.99/5.15	c (0,0) c |  Parse time:                   0.00 s                                                                 |
12.99/5.15	c (0,0) c |                                                                                                       |
12.99/5.16	c (0,0) c |  Simplification time:          0.01 s                                                                 |
12.99/5.16	c (0,0) c |                                                                                                       |
12.99/5.16	c (0,0) c |  Generating clones                                                                                    |
12.99/5.16	c (0,0) c |  all clones generated. Memory =    32.06Mb.                                                           |
12.99/5.16	c (0,0) c ========================================================================================================|
12.99/5.16	c (0,0) c
12.99/5.16	c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
12.99/5.16	c (0,0) c
12.99/5.16	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
12.99/5.16	c (0,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
12.99/5.16	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
12.99/5.16	c (0,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
12.99/5.16	c (0,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
12.99/5.16	c (0,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
12.99/5.16	c (0,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
12.99/5.16	c (0,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
12.99/5.16	c (0,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
12.99/5.16	c (0,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
12.99/5.16	c (0,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
12.99/5.16	c (0,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
12.99/5.16	c (0,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
12.99/5.16	c (0,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
12.99/5.16	c (0,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
12.99/5.16	c (0,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
12.99/5.17	c (0,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
12.99/5.17	c (0,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
12.99/5.17	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
234.94/35.05	c (30,0) c
234.94/35.05	c (30,0) c |------------------------------------------------------------------------------------------------------------------------|
234.94/35.05	c (30,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
234.94/35.05	c (30,0) c |------------------------------------------------------------------------------------------------------------------------|
234.94/35.05	c (30,0) c |  0 |    396 |     618340 |     332939 |     9344 |    65754 |    51536 |   320962 |    14839 |      354 |  20 |  0.847 |
234.94/35.05	c (30,0) c |  1 |    480 |     606792 |     326264 |     9307 |    59076 |    50269 |   318635 |    11568 |      354 |  20 |  0.847 |
234.94/35.05	c (30,0) c |  2 |    399 |     608159 |     326604 |     9293 |    59422 |    46752 |   324831 |    14117 |      354 |  20 |  0.847 |
234.94/35.05	c (30,0) c |  3 |    517 |     586798 |     325077 |     9404 |    57895 |    46874 |   309956 |    15804 |      334 |  20 |  0.847 |
234.94/35.05	c (30,0) c |  4 |    411 |     630965 |     336275 |     9462 |    69091 |    46160 |   317236 |    18585 |      354 |  20 |  0.847 |
234.94/35.05	c (30,0) c |  5 |    411 |     591825 |     311926 |     8906 |    44734 |    44593 |   325895 |    13278 |      354 |  20 |  0.847 |
234.94/35.05	c (30,0) c |  6 |    426 |     584594 |     308706 |     9382 |    41518 |    44599 |   320821 |    13623 |      343 |  20 |  0.847 |
234.94/35.05	c (30,0) c |  7 |    410 |     619467 |     335339 |     9343 |    68155 |    50029 |   324373 |    15659 |      354 |  20 |  0.847 |
234.94/35.05	c (30,0) c 
234.94/35.05	c (30,0) c synthesis     2603130 conflicts   193626604 propagations    11753 conflicts/sec   874250 propagations/sec
234.94/35.05	c (30,0) c real: 29.9039 s, cpu: 221.478 s, memory: 630.32 Mb
450.58/65.05	c (60,0) c
450.58/65.05	c (60,0) c |------------------------------------------------------------------------------------------------------------------------|
450.58/65.05	c (60,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
450.58/65.05	c (60,0) c |------------------------------------------------------------------------------------------------------------------------|
450.58/65.05	c (60,0) c |  0 |    476 |     999200 |     529902 |     9427 |    93519 |    71469 |   464542 |    26437 |      688 |  20 |  0.847 |
450.58/65.05	c (60,0) c |  1 |    571 |     997099 |     528759 |     9431 |    92374 |    68417 |   465923 |    27798 |      688 |  20 |  0.847 |
450.58/65.05	c (60,0) c |  2 |    503 |     966312 |     516212 |     9483 |    79826 |    65041 |   464260 |    30163 |      669 |  20 |  0.847 |
450.58/65.05	c (60,0) c |  3 |    596 |     961315 |     521198 |     9446 |    84809 |    69554 |   462634 |    27167 |      686 |  20 |  0.847 |
450.58/65.05	c (60,0) c |  4 |    540 |    1010052 |     532443 |     9529 |    96062 |    65889 |   470472 |    29399 |      689 |  20 |  0.848 |
450.58/65.05	c (60,0) c |  5 |    541 |     983022 |     512516 |     9412 |    76133 |    64519 |   469660 |    32172 |      688 |  20 |  0.847 |
450.58/65.05	c (60,0) c |  6 |    495 |     954869 |     501231 |     9511 |    64852 |    62865 |   469938 |    28242 |      688 |  20 |  0.847 |
450.58/65.05	c (60,0) c |  7 |    529 |    1005890 |     533844 |     9478 |    97456 |    73315 |   460801 |    29512 |      688 |  20 |  0.847 |
450.58/65.05	c (60,0) c 
450.58/65.05	c (60,0) c synthesis     4176106 conflicts   309324828 propagations     9560 conflicts/sec   708144 propagations/sec
450.58/65.05	c (60,0) c real: 59.9089 s, cpu: 436.811 s, memory: 724.54 Mb
673.59/95.05	c (90,0) c
673.59/95.05	c (90,0) c |------------------------------------------------------------------------------------------------------------------------|
673.59/95.05	c (90,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
673.59/95.05	c (90,0) c |------------------------------------------------------------------------------------------------------------------------|
673.59/95.05	c (90,0) c |  0 |    589 |    1320722 |     696678 |     9444 |   106096 |    86101 |   575469 |    38486 |     1026 |  20 |  0.848 |
673.59/95.05	c (90,0) c |  1 |    645 |    1329398 |     698226 |     9446 |   107641 |    85520 |   571771 |    42010 |     1029 |  20 |  0.847 |
673.59/95.05	c (90,0) c |  2 |    618 |    1307455 |     688409 |     9507 |    97823 |    80839 |   575712 |    44355 |     1010 |  20 |  0.847 |
673.59/95.05	c (90,0) c |  3 |    692 |    1296576 |     690228 |     9462 |    99644 |    84542 |   575098 |    42395 |     1029 |  20 |  0.848 |
673.59/95.05	c (90,0) c |  4 |    641 |    1335506 |     697889 |     9550 |   107304 |    82332 |   556667 |    40754 |     1030 |  20 |  0.848 |
673.59/95.05	c (90,0) c |  5 |    655 |    1317154 |     681390 |     9447 |    90805 |    81174 |   581869 |    45543 |     1029 |  20 |  0.847 |
673.59/95.05	c (90,0) c |  6 |    638 |    1291430 |     672719 |     9538 |    82127 |    79154 |   579751 |    41404 |     1022 |  20 |  0.848 |
673.59/95.05	c (90,0) c |  7 |    616 |    1336446 |     701567 |     9500 |   110980 |    88159 |   571392 |    40878 |     1030 |  20 |  0.847 |
673.59/95.05	c (90,0) c 
673.59/95.05	c (90,0) c synthesis     5527106 conflicts   409710295 propagations     8381 conflicts/sec   621261 propagations/sec
673.59/95.05	c (90,0) c real: 89.9039 s, cpu: 659.482 s, memory: 724.54 Mb
875.36/122.63	c (117,0) c
875.36/122.63	c (117,0) c real time : 117.492 s
875.36/122.63	c (117,0) c cpu time  : 860.8 s
875.36/122.63	c (117,0) c
875.36/122.63	c (117,0) c
875.36/122.63	c (117,0) c
875.36/122.63	c (117,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
875.36/122.63	c (117,0) c
875.36/122.63	c (117,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
875.36/122.63	c (117,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
875.36/122.63	c (117,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
875.36/122.64	c (117,0) c | Conflicts     |         6495222 |     817465 |     817267 |     814980 |     808893 |     816764 |     800503 |     794370 |     824980 |
875.36/122.64	c (117,0) c | Decisions     |        12465177 |    1563067 |    1563337 |    1557153 |    1536690 |    1577390 |    1553633 |    1528896 |    1585011 |
875.36/122.64	c (117,0) c | Propagations  |       483916944 |   60900156 |   61339773 |   60372327 |   59814555 |   60395122 |   59701907 |   60417554 |   60975550 |
875.36/122.64	c (117,0) c | ReduceDBs     |             192 |         24 |         24 |         24 |         24 |         24 |         24 |         24 |         24 |
875.36/122.64	c (117,0) c | SimpDBs       |              79 |         10 |          8 |         10 |          8 |         12 |         10 |         12 |          9 |
875.36/122.64	c (117,0) c | Restarts      |            5479 |        655 |        681 |        688 |        707 |        695 |        700 |        709 |        644 |
875.36/122.64	c (117,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
875.36/122.64	c (117,0) c | PropBinClauses|      1066218856 |  133305251 |  134617925 |  135398115 |  131360447 |  131499537 |  133330886 |  134238760 |  132467935 |
875.36/122.64	c (117,0) c | PropPreBlocker|     35723348994 | 4456324990 | 4518564254 | 4454953324 | 4406863206 | 4498656027 | 4455329687 | 4428767334 | 4503890172 |
875.36/122.64	c (117,0) c | PropNotBlocker|      5861601219 |  742256546 |  721504227 |  723944339 |  734941247 |  729645937 |  734054065 |  750362374 |  724892484 |
875.36/122.64	c (117,0) c | LitFullScans  |     63139929276 | 7897455948 | 7897380290 | 7885445580 | 7891067306 | 7891362049 | 7897507003 | 7888304149 | 7891406951 |
875.36/122.64	c (117,0) c | LitScanFracts |        10981533 |    1452325 |    1367105 |    1438918 |    1061283 |    1357664 |    1501542 |    1410866 |    1391830 |
875.36/122.64	c (117,0) c | DecisionLevel0|            5575 |        666 |        692 |        701 |        724 |        706 |        709 |        724 |        653 |
875.36/122.64	c (117,0) c | Periods       |           10521 |       1316 |       1316 |       1314 |       1315 |       1315 |       1316 |       1314 |       1315 |
875.36/122.64	c (117,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
875.36/122.64	c (117,0) c | Avg_Trail     |                 |        628 |        633 |        628 |        637 |        631 |        627 |        632 |        630 |
875.36/122.64	c (117,0) c | Avg_DL        |                 |         21 |         21 |         21 |         22 |         21 |         21 |         21 |         21 |
875.36/122.64	c (117,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
875.36/122.64	c (117,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
875.36/122.64	c (117,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
875.36/122.64	c (117,0) c | Exported      |          750325 |      96337 |      94815 |      91088 |      96615 |      91971 |      90933 |      88742 |      99824 |
875.36/122.64	c (117,0) c | Imported      |         5186512 |     646252 |     646905 |     654200 |     649144 |     649377 |     647621 |     657261 |     635752 |
875.36/122.64	c (117,0) c | Good          |           15364 |       1959 |       1892 |       1915 |       1923 |       1919 |       1924 |       1947 |       1885 |
875.36/122.64	c (117,0) c | Purge         |         5171148 |     644293 |     645013 |     652285 |     647221 |     647458 |     645697 |     655314 |     633867 |
875.36/122.64	c (117,0) c | Promoted      |          414788 |      47755 |      51141 |      54409 |      52982 |      52247 |      55342 |      50789 |      50123 |
875.36/122.64	c (117,0) c | Remove_Imp    |         4026116 |     496891 |     497679 |     504881 |     486342 |     508953 |     510189 |     514945 |     506236 |
875.36/122.64	c (117,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
875.36/122.64	c (117,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
875.36/122.64	c (117,0) c | Unaries       |                 |         11 |         11 |         13 |         17 |         11 |          9 |         15 |          9 |
875.36/122.64	c (117,0) c | Binaries      |                 |        247 |        308 |        308 |        303 |        275 |        251 |        291 |        286 |
875.36/122.64	c (117,0) c | Glues         |                 |        979 |        984 |       1030 |       1024 |       1003 |       1019 |       1051 |       1074 |
875.36/122.64	c (117,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
875.36/122.64	c (117,0) c | Orig_Seen     |            87 % |       9455 |       9458 |       9524 |       9468 |       9565 |       9459 |       9550 |       9516 |
875.36/122.64	c (117,0) c | Diff Orig seen|                 | -       95 | -       92 | -       26 | -       82 |         15 | -       91 |      X     | -       34 |
875.36/122.64	c (117,0) c | Hamming       |            11 % |        283 |        257 |        283 |        285 |        247 |        278 |      X     |        303 |
875.36/122.64	c (117,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
875.36/122.64	c (117,0) c | RunningTime   |                 |  107.5  92%|  106.4  92%|  114.1  97%|  111.7  96%|  101.7  87%|  106.8  92%|  111.8  96%|  102.0  88%|
875.36/122.64	c (117,0) c | WaitingTime   |                 |    8.4   7%|    9.5   8%|    2.9   3%|    4.1   4%|   14.2  12%|    9.1   8%|    4.0   3%|   13.8  12%|
875.36/122.64	c (117,0) c | ExchangingTime|                 |    0.3   0%|    0.3   0%|    0.3   0%|    0.3   0%|    0.3   0%|    0.3   0%|    0.3   0%|    0.3   0%|
875.36/122.64	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%|
875.36/122.64	c (117,0) c | SolvingTime   |                 |  116.2     |  116.2     |  117.4     |  116.2     |  116.2     |  116.2     |  116.2     |  116.2     |
875.36/122.64	c (117,0) c | PropagationTim|                 |   98.6  85%|   96.5  83%|   87.7  75%|   92.9  80%|  103.2  89%|   99.8  86%|   91.9  79%|   98.9  85%|
875.36/122.64	c (117,0) c | AnalysisTime  |                 |   14.2  12%|   16.3  14%|   26.5  23%|   19.9  17%|    9.6   8%|   13.0  11%|   21.0  18%|   13.8  12%|
875.36/122.64	c (117,0) c | ReductionTime |                 |    1.3   1%|    1.3   1%|    1.2   1%|    1.2   1%|    1.3   1%|    1.3   1%|    1.2   1%|    1.3   1%|
875.36/122.64	c (117,0) c | SimplifyTime  |                 |    0.1   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.1   0%|    0.0   0%|    0.0   0%|    0.0   0%|
875.36/122.64	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%|
875.36/122.64	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%|
875.36/122.64	c (117,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
875.36/122.64	c (117,0) c
875.36/122.64	c (117,0) c
875.36/122.64	c (117,0) c Threads : 8
875.36/122.64	c (117,0) c Winner : 6
875.36/122.64	c (117,0) c Conflicts_0 : 817465
875.36/122.64	c (117,0) c Conflicts_1 : 817267
875.36/122.64	c (117,0) c Conflicts_2 : 814980
875.36/122.64	c (117,0) c Conflicts_3 : 808893
875.36/122.64	c (117,0) c Conflicts_4 : 816764
875.36/122.64	c (117,0) c Conflicts_5 : 800503
875.36/122.64	c (117,0) c Conflicts_6 : 794370
875.36/122.64	c (117,0) c Conflicts_7 : 824980
875.36/122.64	c (117,0) c Conflicts_total : 6495222
875.36/122.64	c (117,0) c Conflicts_winner : 794370
875.36/122.64	c (117,0) c Decisions_0 : 1563067
875.36/122.64	c (117,0) c Decisions_1 : 1563337
875.36/122.64	c (117,0) c Decisions_2 : 1557153
875.36/122.64	c (117,0) c Decisions_3 : 1536690
875.36/122.64	c (117,0) c Decisions_4 : 1577390
875.36/122.64	c (117,0) c Decisions_5 : 1553633
875.36/122.64	c (117,0) c Decisions_6 : 1528896
875.36/122.64	c (117,0) c Decisions_7 : 1585011
875.36/122.64	c (117,0) c Decisions_total : 12465177
875.36/122.64	c (117,0) c Decisions_winner : 1528896
875.36/122.64	c (117,0) c Propagations_0 : 60900156
875.36/122.64	c (117,0) c Propagations_1 : 61339773
875.36/122.64	c (117,0) c Propagations_2 : 60372327
875.36/122.64	c (117,0) c Propagations_3 : 59814555
875.36/122.64	c (117,0) c Propagations_4 : 60395122
875.36/122.64	c (117,0) c Propagations_5 : 59701907
875.36/122.64	c (117,0) c Propagations_6 : 60417554
875.36/122.64	c (117,0) c Propagations_7 : 60975550
875.36/122.64	c (117,0) c Propagations_total : 483916944
875.36/122.64	c (117,0) c Propagations_winner : 60417554
875.36/122.64	c (117,0) c ReduceDBs_0 : 24
875.36/122.64	c (117,0) c ReduceDBs_1 : 24
875.36/122.64	c (117,0) c ReduceDBs_2 : 24
875.36/122.64	c (117,0) c ReduceDBs_3 : 24
875.36/122.64	c (117,0) c ReduceDBs_4 : 24
875.36/122.64	c (117,0) c ReduceDBs_5 : 24
875.36/122.64	c (117,0) c ReduceDBs_6 : 24
875.36/122.64	c (117,0) c ReduceDBs_7 : 24
875.36/122.64	c (117,0) c ReduceDBs_total : 192
875.36/122.64	c (117,0) c ReduceDBs_winner : 24
875.36/122.64	c (117,0) c SimpDBs_0 : 10
875.36/122.64	c (117,0) c SimpDBs_1 : 8
875.36/122.64	c (117,0) c SimpDBs_2 : 10
875.36/122.64	c (117,0) c SimpDBs_3 : 8
875.36/122.64	c (117,0) c SimpDBs_4 : 12
875.36/122.64	c (117,0) c SimpDBs_5 : 10
875.36/122.64	c (117,0) c SimpDBs_6 : 12
875.36/122.64	c (117,0) c SimpDBs_7 : 9
875.36/122.64	c (117,0) c SimpDBs_total : 79
875.36/122.64	c (117,0) c SimpDBs_winner : 12
875.36/122.64	c (117,0) c Restarts_0 : 655
875.36/122.64	c (117,0) c Restarts_1 : 681
875.36/122.64	c (117,0) c Restarts_2 : 688
875.36/122.64	c (117,0) c Restarts_3 : 707
875.36/122.64	c (117,0) c Restarts_4 : 695
875.36/122.64	c (117,0) c Restarts_5 : 700
875.36/122.64	c (117,0) c Restarts_6 : 709
875.36/122.64	c (117,0) c Restarts_7 : 644
875.36/122.64	c (117,0) c Restarts_total : 5479
875.36/122.64	c (117,0) c Restarts_winner : 709
875.36/122.64	c (117,0) c ForcedImports_0 : 0
875.36/122.64	c (117,0) c ForcedImports_1 : 0
875.36/122.64	c (117,0) c ForcedImports_2 : 0
875.36/122.64	c (117,0) c ForcedImports_3 : 0
875.36/122.64	c (117,0) c ForcedImports_4 : 0
875.36/122.64	c (117,0) c ForcedImports_5 : 0
875.36/122.64	c (117,0) c ForcedImports_6 : 0
875.36/122.64	c (117,0) c ForcedImports_7 : 0
875.36/122.64	c (117,0) c ForcedImports_total : 0
875.36/122.64	c (117,0) c ForcedImports_winner : 0
875.36/122.64	c (117,0) c PropsBinClauses_0 : 133305251
875.36/122.64	c (117,0) c PropsBinClauses_1 : 134617925
875.36/122.64	c (117,0) c PropsBinClauses_2 : 135398115
875.36/122.64	c (117,0) c PropsBinClauses_3 : 131360447
875.36/122.64	c (117,0) c PropsBinClauses_4 : 131499537
875.36/122.64	c (117,0) c PropsBinClauses_5 : 133330886
875.36/122.64	c (117,0) c PropsBinClauses_6 : 134238760
875.36/122.64	c (117,0) c PropsBinClauses_7 : 132467935
875.36/122.64	c (117,0) c PropsBinClauses_total : 1066218856
875.36/122.64	c (117,0) c PropsBinClauses_winner : 134238760
875.36/122.64	c (117,0) c PropsPreBlocker_0 : 4456324990
875.36/122.64	c (117,0) c PropsPreBlocker_1 : 4518564254
875.36/122.64	c (117,0) c PropsPreBlocker_2 : 4454953324
875.36/122.64	c (117,0) c PropsPreBlocker_3 : 4406863206
875.36/122.64	c (117,0) c PropsPreBlocker_4 : 4498656027
875.36/122.64	c (117,0) c PropsPreBlocker_5 : 4455329687
875.36/122.64	c (117,0) c PropsPreBlocker_6 : 4428767334
875.36/122.64	c (117,0) c PropsPreBlocker_7 : 4503890172
875.36/122.64	c (117,0) c PropsPreBlocker_total : 35723348994
875.36/122.64	c (117,0) c PropsPreBlocker_winner : 4428767334
875.36/122.64	c (117,0) c PropsNotBlocker_0 : 742256546
875.36/122.64	c (117,0) c PropsNotBlocker_1 : 721504227
875.36/122.64	c (117,0) c PropsNotBlocker_2 : 723944339
875.36/122.64	c (117,0) c PropsNotBlocker_3 : 734941247
875.36/122.64	c (117,0) c PropsNotBlocker_4 : 729645937
875.36/122.64	c (117,0) c PropsNotBlocker_5 : 734054065
875.36/122.64	c (117,0) c PropsNotBlocker_6 : 750362374
875.36/122.64	c (117,0) c PropsNotBlocker_7 : 724892484
875.36/122.64	c (117,0) c PropsNotBlocker_total : 5861601219
875.36/122.64	c (117,0) c PropsNotBlocker_winner : 750362374
875.36/122.64	c (117,0) c PropsLitFullScans_0 : 7897455948
875.36/122.64	c (117,0) c PropsLitFullScans_1 : 7897380290
875.36/122.64	c (117,0) c PropsLitFullScans_2 : 7885445580
875.36/122.64	c (117,0) c PropsLitFullScans_3 : 7891067306
875.36/122.64	c (117,0) c PropsLitFullScans_4 : 7891362049
875.36/122.64	c (117,0) c PropsLitFullScans_5 : 7897507003
875.36/122.64	c (117,0) c PropsLitFullScans_6 : 7888304149
875.36/122.64	c (117,0) c PropsLitFullScans_7 : 7891406951
875.36/122.64	c (117,0) c PropsLitFullScans_total : 63139929276
875.36/122.64	c (117,0) c PropsLitFullScans_winner : 7888304149
875.36/122.64	c (117,0) c LitScanFractions_0 : 1452325
875.36/122.64	c (117,0) c LitScanFractions_1 : 1367105
875.36/122.64	c (117,0) c LitScanFractions_2 : 1438918
875.36/122.64	c (117,0) c LitScanFractions_3 : 1061283
875.36/122.64	c (117,0) c LitScanFractions_4 : 1357664
875.36/122.64	c (117,0) c LitScanFractions_5 : 1501542
875.36/122.64	c (117,0) c LitScanFractions_6 : 1410866
875.36/122.64	c (117,0) c LitScanFractions_7 : 1391830
875.36/122.64	c (117,0) c LitScanFractions_total : 10981533
875.36/122.64	c (117,0) c LitScanFractions_winner : 1410866
875.36/122.64	c (117,0) c DecisionLevel0_0 : 666
875.36/122.64	c (117,0) c DecisionLevel0_1 : 692
875.36/122.64	c (117,0) c DecisionLevel0_2 : 701
875.36/122.64	c (117,0) c DecisionLevel0_3 : 724
875.36/122.64	c (117,0) c DecisionLevel0_4 : 706
875.36/122.64	c (117,0) c DecisionLevel0_5 : 709
875.36/122.64	c (117,0) c DecisionLevel0_6 : 724
875.36/122.64	c (117,0) c DecisionLevel0_7 : 653
875.36/122.64	c (117,0) c DecisionLevel0_total : 5575
875.36/122.64	c (117,0) c DecisionLevel0_winner : 724
875.36/122.64	c (117,0) c Periods_0 : 1316
875.36/122.64	c (117,0) c Periods_1 : 1316
875.36/122.64	c (117,0) c Periods_2 : 1314
875.36/122.64	c (117,0) c Periods_3 : 1315
875.36/122.64	c (117,0) c Periods_4 : 1315
875.36/122.64	c (117,0) c Periods_5 : 1316
875.36/122.64	c (117,0) c Periods_6 : 1314
875.36/122.64	c (117,0) c Periods_7 : 1315
875.36/122.64	c (117,0) c Periods_total : 10521
875.36/122.64	c (117,0) c Periods_winner : 1314
875.36/122.64	c (117,0) c Margin_0 : 20
875.36/122.64	c (117,0) c Margin_1 : 20
875.36/122.64	c (117,0) c Margin_2 : 20
875.36/122.64	c (117,0) c Margin_3 : 20
875.36/122.64	c (117,0) c Margin_4 : 20
875.36/122.64	c (117,0) c Margin_5 : 20
875.36/122.64	c (117,0) c Margin_6 : 20
875.36/122.64	c (117,0) c Margin_7 : 20
875.36/122.64	c (117,0) c Margin_total : 160
875.36/122.64	c (117,0) c Margin_winner : 20
875.36/122.64	c (117,0) c Exported_0 : 96337
875.36/122.64	c (117,0) c Exported_1 : 94815
875.36/122.64	c (117,0) c Exported_2 : 91088
875.36/122.64	c (117,0) c Exported_3 : 96615
875.36/122.64	c (117,0) c Exported_4 : 91971
875.36/122.64	c (117,0) c Exported_5 : 90933
875.36/122.64	c (117,0) c Exported_6 : 88742
875.36/122.64	c (117,0) c Exported_7 : 99824
875.36/122.64	c (117,0) c Exported_total : 750325
875.36/122.64	c (117,0) c Exported_winner : 88742
875.36/122.64	c (117,0) c Imported_0 : 646252
875.36/122.64	c (117,0) c Imported_1 : 646905
875.36/122.64	c (117,0) c Imported_2 : 654200
875.36/122.64	c (117,0) c Imported_3 : 649144
875.36/122.64	c (117,0) c Imported_4 : 649377
875.36/122.64	c (117,0) c Imported_5 : 647621
875.36/122.64	c (117,0) c Imported_6 : 657261
875.36/122.64	c (117,0) c Imported_7 : 635752
875.36/122.64	c (117,0) c Imported_total : 5186512
875.36/122.64	c (117,0) c Imported_winner : 657261
875.36/122.64	c (117,0) c Good_0 : 1959
875.36/122.64	c (117,0) c Good_1 : 1892
875.36/122.64	c (117,0) c Good_2 : 1915
875.36/122.64	c (117,0) c Good_3 : 1923
875.36/122.64	c (117,0) c Good_4 : 1919
875.36/122.64	c (117,0) c Good_5 : 1924
875.36/122.64	c (117,0) c Good_6 : 1947
875.36/122.64	c (117,0) c Good_7 : 1885
875.36/122.64	c (117,0) c Good_total : 15364
875.36/122.64	c (117,0) c Good_winner : 1947
875.36/122.64	c (117,0) c Purge_0 : 644293
875.36/122.64	c (117,0) c Purge_1 : 645013
875.36/122.64	c (117,0) c Purge_2 : 652285
875.36/122.64	c (117,0) c Purge_3 : 647221
875.36/122.64	c (117,0) c Purge_4 : 647458
875.36/122.64	c (117,0) c Purge_5 : 645697
875.36/122.64	c (117,0) c Purge_6 : 655314
875.36/122.64	c (117,0) c Purge_7 : 633867
875.36/122.64	c (117,0) c Purge_total : 5171148
875.36/122.64	c (117,0) c Purge_winner : 655314
875.36/122.64	c (117,0) c Promoted_0 : 47755
875.36/122.64	c (117,0) c Promoted_1 : 51141
875.36/122.64	c (117,0) c Promoted_2 : 54409
875.36/122.64	c (117,0) c Promoted_3 : 52982
875.36/122.64	c (117,0) c Promoted_4 : 52247
875.36/122.64	c (117,0) c Promoted_5 : 55342
875.36/122.64	c (117,0) c Promoted_6 : 50789
875.36/122.64	c (117,0) c Promoted_7 : 50123
875.36/122.64	c (117,0) c Promoted_total : 414788
875.36/122.64	c (117,0) c Promoted_winner : 50789
875.36/122.64	c (117,0) c Remove_Imp_0 : 496891
875.36/122.64	c (117,0) c Remove_Imp_1 : 497679
875.36/122.64	c (117,0) c Remove_Imp_2 : 504881
875.36/122.64	c (117,0) c Remove_Imp_3 : 486342
875.36/122.64	c (117,0) c Remove_Imp_4 : 508953
875.36/122.64	c (117,0) c Remove_Imp_5 : 510189
875.36/122.64	c (117,0) c Remove_Imp_6 : 514945
875.36/122.64	c (117,0) c Remove_Imp_7 : 506236
875.36/122.64	c (117,0) c Remove_Imp_total : 4026116
875.36/122.64	c (117,0) c Remove_Imp_winner : 514945
875.36/122.64	c (117,0) c Blocked_Reuse_0 : 0
875.36/122.64	c (117,0) c Blocked_Reuse_1 : 0
875.36/122.64	c (117,0) c Blocked_Reuse_2 : 0
875.36/122.64	c (117,0) c Blocked_Reuse_3 : 0
875.36/122.64	c (117,0) c Blocked_Reuse_4 : 0
875.36/122.64	c (117,0) c Blocked_Reuse_5 : 0
875.36/122.64	c (117,0) c Blocked_Reuse_6 : 0
875.36/122.64	c (117,0) c Blocked_Reuse_7 : 0
875.36/122.64	c (117,0) c Blocked_Reuse_total : 0
875.36/122.64	c (117,0) c Blocked_Reuse_winner : 0
875.36/122.65	c (117,0) c Unaries_0 : 11
875.36/122.65	c (117,0) c Unaries_1 : 11
875.36/122.65	c (117,0) c Unaries_2 : 13
875.36/122.65	c (117,0) c Unaries_3 : 17
875.36/122.65	c (117,0) c Unaries_4 : 11
875.36/122.65	c (117,0) c Unaries_5 : 9
875.36/122.65	c (117,0) c Unaries_6 : 15
875.36/122.65	c (117,0) c Unaries_7 : 9
875.36/122.65	c (117,0) c Unaries_total : 96
875.36/122.65	c (117,0) c Unaries_winner : 15
875.36/122.65	c (117,0) c Binaries_0 : 247
875.36/122.65	c (117,0) c Binaries_1 : 308
875.36/122.65	c (117,0) c Binaries_2 : 308
875.36/122.65	c (117,0) c Binaries_3 : 303
875.36/122.65	c (117,0) c Binaries_4 : 275
875.36/122.65	c (117,0) c Binaries_5 : 251
875.36/122.65	c (117,0) c Binaries_6 : 291
875.36/122.65	c (117,0) c Binaries_7 : 286
875.36/122.65	c (117,0) c Binaries_total : 2269
875.36/122.65	c (117,0) c Binaries_winner : 291
875.36/122.65	c (117,0) c Glues_0 : 979
875.36/122.65	c (117,0) c Glues_1 : 984
875.36/122.65	c (117,0) c Glues_2 : 1030
875.36/122.65	c (117,0) c Glues_3 : 1024
875.36/122.65	c (117,0) c Glues_4 : 1003
875.36/122.65	c (117,0) c Glues_5 : 1019
875.36/122.65	c (117,0) c Glues_6 : 1051
875.36/122.65	c (117,0) c Glues_7 : 1074
875.36/122.65	c (117,0) c Glues_total : 8164
875.36/122.65	c (117,0) c Glues_winner : 1051
875.36/122.65	c (117,0) c RunningTime_0 : 107.460335
875.36/122.65	c (117,0) c RunningTime_1 : 106.427987
875.36/122.65	c (117,0) c RunningTime_2 : 114.116487
875.36/122.65	c (117,0) c RunningTime_3 : 111.690337
875.36/122.65	c (117,0) c RunningTime_4 : 101.668363
875.36/122.65	c (117,0) c RunningTime_5 : 106.785042
875.36/122.65	c (117,0) c RunningTime_6 : 111.796683
875.36/122.65	c (117,0) c RunningTime_7 : 102.040987
875.36/122.65	c (117,0) c RunningTime_total : 861.986220
875.36/122.65	c (117,0) c RunningTime_winner : 111.796683
875.36/122.65	c (117,0) c WaitingTime_0 : 8.418629
875.36/122.65	c (117,0) c WaitingTime_1 : 9.451847
875.36/122.65	c (117,0) c WaitingTime_2 : 2.946442
875.36/122.65	c (117,0) c WaitingTime_3 : 4.142129
875.36/122.65	c (117,0) c WaitingTime_4 : 14.175788
875.36/122.65	c (117,0) c WaitingTime_5 : 9.071469
875.36/122.65	c (117,0) c WaitingTime_6 : 4.030550
875.36/122.65	c (117,0) c WaitingTime_7 : 13.778284
875.36/122.65	c (117,0) c WaitingTime_total : 66.015139
875.36/122.65	c (117,0) c WaitingTime_winner : 4.030550
875.36/122.65	c (117,0) c ExchangingTime_0 : 0.320370
875.36/122.65	c (117,0) c ExchangingTime_1 : 0.327419
875.36/122.65	c (117,0) c ExchangingTime_2 : 0.318532
875.36/122.65	c (117,0) c ExchangingTime_3 : 0.344007
875.36/122.65	c (117,0) c ExchangingTime_4 : 0.342841
875.36/122.65	c (117,0) c ExchangingTime_5 : 0.333062
875.36/122.65	c (117,0) c ExchangingTime_6 : 0.313244
875.36/122.65	c (117,0) c ExchangingTime_7 : 0.340274
875.36/122.65	c (117,0) c ExchangingTime_total : 2.639749
875.36/122.65	c (117,0) c ExchangingTime_winner : 0.313244
875.36/122.65	c (117,0) c PeriodProcTime_0 : 0.009651
875.36/122.65	c (117,0) c PeriodProcTime_1 : 0.013232
875.36/122.65	c (117,0) c PeriodProcTime_2 : 0.012171
875.36/122.65	c (117,0) c PeriodProcTime_3 : 0.010934
875.36/122.65	c (117,0) c PeriodProcTime_4 : 0.010449
875.36/122.65	c (117,0) c PeriodProcTime_5 : 0.013471
875.36/122.65	c (117,0) c PeriodProcTime_6 : 0.014865
875.36/122.65	c (117,0) c PeriodProcTime_7 : 0.013587
875.36/122.65	c (117,0) c PeriodProcTime_total : 0.098361
875.36/122.65	c (117,0) c PeriodProcTime_winner : 0.014865
875.36/122.65	c (117,0) c SolvingTime_0 : 116.208986
875.36/122.65	c (117,0) c SolvingTime_1 : 116.220485
875.36/122.65	c (117,0) c SolvingTime_2 : 117.393632
875.36/122.65	c (117,0) c SolvingTime_3 : 116.187407
875.36/122.65	c (117,0) c SolvingTime_4 : 116.197441
875.36/122.65	c (117,0) c SolvingTime_5 : 116.203044
875.36/122.65	c (117,0) c SolvingTime_6 : 116.155342
875.36/122.65	c (117,0) c SolvingTime_7 : 116.173132
875.36/122.65	c (117,0) c SolvingTime_total : 930.739469
875.36/122.65	c (117,0) c SolvingTime_winner : 116.155342
875.36/122.65	c (117,0) c PropagationTime_0 : 98.613785
875.36/122.65	c (117,0) c PropagationTime_1 : 96.481417
875.36/122.65	c (117,0) c PropagationTime_2 : 87.665020
875.36/122.65	c (117,0) c PropagationTime_3 : 92.880196
875.36/122.65	c (117,0) c PropagationTime_4 : 103.185300
875.36/122.65	c (117,0) c PropagationTime_5 : 99.798708
875.36/122.65	c (117,0) c PropagationTime_6 : 91.877723
875.36/122.65	c (117,0) c PropagationTime_7 : 98.925513
875.36/122.65	c (117,0) c PropagationTime_total : 769.427663
875.36/122.65	c (117,0) c PropagationTime_winner : 91.877723
875.36/122.65	c (117,0) c AnalysisTime_0 : 14.231513
875.36/122.65	c (117,0) c AnalysisTime_1 : 16.317244
875.36/122.65	c (117,0) c AnalysisTime_2 : 26.495138
875.36/122.65	c (117,0) c AnalysisTime_3 : 19.939973
875.36/122.65	c (117,0) c AnalysisTime_4 : 9.560451
875.36/122.65	c (117,0) c AnalysisTime_5 : 13.024255
875.36/122.65	c (117,0) c AnalysisTime_6 : 20.963126
875.36/122.65	c (117,0) c AnalysisTime_7 : 13.832234
875.36/122.65	c (117,0) c AnalysisTime_total : 134.363935
875.36/122.65	c (117,0) c AnalysisTime_winner : 20.963126
875.36/122.65	c (117,0) c ReductionTime_0 : 1.284723
875.36/122.65	c (117,0) c ReductionTime_1 : 1.293662
875.36/122.65	c (117,0) c ReductionTime_2 : 1.165148
875.36/122.65	c (117,0) c ReductionTime_3 : 1.241449
875.36/122.65	c (117,0) c ReductionTime_4 : 1.334575
875.36/122.65	c (117,0) c ReductionTime_5 : 1.288133
875.36/122.65	c (117,0) c ReductionTime_6 : 1.234996
875.36/122.65	c (117,0) c ReductionTime_7 : 1.302555
875.36/122.65	c (117,0) c ReductionTime_total : 10.145240
875.36/122.65	c (117,0) c ReductionTime_winner : 1.234996
875.36/122.65	c (117,0) c SimplifyTime_0 : 0.066163
875.36/122.65	c (117,0) c SimplifyTime_1 : 0.044844
875.36/122.65	c (117,0) c SimplifyTime_2 : 0.042925
875.36/122.65	c (117,0) c SimplifyTime_3 : 0.043405
875.36/122.65	c (117,0) c SimplifyTime_4 : 0.079151
875.36/122.65	c (117,0) c SimplifyTime_5 : 0.043954
875.36/122.65	c (117,0) c SimplifyTime_6 : 0.043905
875.36/122.65	c (117,0) c SimplifyTime_7 : 0.029006
875.36/122.65	c (117,0) c SimplifyTime_total : 0.393353
875.36/122.65	c (117,0) c SimplifyTime_winner : 0.043905
875.36/122.65	c (117,0) c UsedRateTime_0 : 0.000000
875.36/122.65	c (117,0) c UsedRateTime_1 : 0.000000
875.36/122.65	c (117,0) c UsedRateTime_2 : 0.000000
875.36/122.65	c (117,0) c UsedRateTime_3 : 0.000000
875.36/122.65	c (117,0) c UsedRateTime_4 : 0.000000
875.36/122.65	c (117,0) c UsedRateTime_5 : 0.000000
875.36/122.65	c (117,0) c UsedRateTime_6 : 0.000000
875.36/122.65	c (117,0) c UsedRateTime_7 : 0.000000
875.36/122.65	c (117,0) c UsedRateTime_total : 0.000000
875.36/122.65	c (117,0) c UsedRateTime_winner : 0.000000
875.36/122.65	c (117,0) c OverlapRateTime_0 : 0.000000
875.36/122.65	c (117,0) c OverlapRateTime_1 : 0.000000
875.36/122.65	c (117,0) c OverlapRateTime_2 : 0.000000
875.36/122.65	c (117,0) c OverlapRateTime_3 : 0.000000
875.36/122.65	c (117,0) c OverlapRateTime_4 : 0.000000
875.36/122.65	c (117,0) c OverlapRateTime_5 : 0.000000
875.36/122.65	c (117,0) c OverlapRateTime_6 : 0.000000
875.36/122.65	c (117,0) c OverlapRateTime_7 : 0.000000
875.36/122.65	c (117,0) c OverlapRateTime_total : 0.000000
875.36/122.65	c (117,0) c OverlapRateTime_winner : 0.000000
875.36/122.65	c (117,0) c
875.36/122.65	c (117,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
875.36/122.65	c (117,0) c
875.36/122.65	c (117,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
875.36/122.65	c (117,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
875.36/122.65	c (117,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
875.36/122.65	c (117,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
875.36/122.65	c (117,0) c | adaptStrategeis       |      False |      False |      False |      False |      False |      False |      False |      False |
875.36/122.65	c (117,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
875.36/122.65	c (117,0) c | Initial random_seed   | 1553039772 | 1495939488 |  952616313 |  816840856 | 1200409094 | 1992665790 |  570332755 |  257021075 |
875.36/122.65	c (117,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
875.36/122.65	c (117,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
875.36/122.65	c (117,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
875.36/122.65	c (117,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
875.36/122.65	c (117,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
875.36/122.65	c (117,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
875.36/122.65	c (117,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
875.36/122.65	c (117,0) c | var_decay             |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
875.36/122.65	c (117,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
875.36/122.65	c (117,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
875.36/122.65	c (117,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
875.36/122.65	c (117,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
875.36/122.65	c (117,0) 
875.36/122.65	c (117,0) s UNSATISFIABLE
875.36/122.66	c (117,0) SatSolver.solve End
875.36/122.66	c (117,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
875.36/122.66	c (117,0) Show results Begin
875.36/122.66	s UNSATISFIABLE
875.36/122.66	c (117,0) Show results End
875.36/122.66	c (117,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
875.36/122.66	c (117,0) 117,117,STOP-AFTER(ALL)
875.36/122.66	c END-Prog: Tue Sep 24 18:40:39 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 (13385 MiB free)
  memory of node 1: 16384 MiB (12519 MiB free)
  node distances:
     10  21
     21  10

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

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

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

solver pid=11581, runsolver pid=11578

[startup+0.100322 s]*
/proc/loadavg: 6.05 6.74 6.71 2/211 11603
/proc/meminfo: memFree=26432736/32770624 swapFree=67002120/67108860
[pid=11581] ppid=11578 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/11581/stat : 11581 (scop.sh) S 11578 11581 10125 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 510564709 115843072 349 33554432000 4194304 5098028 140731200938096 140731200935352 140390051054204 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 16826368 140731200946941 140731200947288 140731200947288 140731200950217 0
/proc/11581/statm: 28282 349 296 221 0 87 0
[pid=11584] ppid=11581 vsize=27314120 memory=106112 CPUtime=0.11 cores=0-7
/proc/11584/stat : 11584 (java) S 11581 11581 10125 0 -1 1077944320 6554 0 0 0 8 3 0 0 20 0 20 0 510564710 27969658880 26528 33554432000 4194304 4196468 140720657428800 140720657411344 140303727480567 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 25825280 140720657437383 140720657437830 140720657437830 140720657440719 0
/proc/11584/statm: 6828530 26528 2813 1 0 6790935 0
[pid=11584/tid=11585] ppid=11581 vsize=27314120 memory=4134930498285298233 CPUtime=0.08 cores=0-7
/proc/11584/task/11585/stat : 11585 (java) R 11581 11581 10125 0 -1 4202560 4652 0 0 0 6 2 0 0 20 0 20 0 510564710 27969658880 26528 33554432000 4194304 4196468 140720657428800 140303699302848 140303705476972 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25825280 140720657437383 140720657437830 140720657437830 140720657440719 0
[pid=11584/tid=11586] ppid=11581 vsize=27314120 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/11584/task/11586/stat : 11586 (java) S 11581 11581 10125 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510564712 27969658880 26528 33554432000 4194304 4196468 140720657428800 140303731723408 140303727490773 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25825280 140720657437383 140720657437830 140720657437830 140720657440719 0
[pid=11584/tid=11587] ppid=11581 vsize=27314120 memory=140485471975040 CPUtime=0 cores=0-7
/proc/11584/task/11587/stat : 11587 (java) S 11581 11581 10125 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510564713 27969658880 26528 33554432000 4194304 4196468 140720657428800 140303149673488 140303727490773 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25825280 140720657437383 140720657437830 140720657437830 140720657440719 0
[pid=11584/tid=11588] ppid=11581 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11584/task/11588/stat : 11588 (java) S 11581 11581 10125 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510564713 27969658880 26528 33554432000 4194304 4196468 140720657428800 140303148620688 140303727490773 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25825280 140720657437383 140720657437830 140720657437830 140720657440719 0
[pid=11584/tid=11589] ppid=11581 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11584/task/11589/stat : 11589 (java) S 11581 11581 10125 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510564713 27969658880 26528 33554432000 4194304 4196468 140720657428800 140303147567888 140303727490773 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25825280 140720657437383 140720657437830 140720657437830 140720657440719 0
[pid=11584/tid=11590] ppid=11581 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11584/task/11590/stat : 11590 (java) S 11581 11581 10125 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510564713 27969658880 26528 33554432000 4194304 4196468 140720657428800 140303146515088 140303727490773 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25825280 140720657437383 140720657437830 140720657437830 140720657440719 0
[pid=11584/tid=11591] ppid=11581 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/11584/task/11591/stat : 11591 (java) S 11581 11581 10125 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510564713 27969658880 26528 33554432000 4194304 4196468 140720657428800 140303145462288 140303727490773 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25825280 140720657437383 140720657437830 140720657437830 140720657440719 0
[pid=11584/tid=11592] ppid=11581 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11584/task/11592/stat : 11592 (java) S 11581 11581 10125 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510564713 27969658880 26528 33554432000 4194304 4196468 140720657428800 140303144409488 140303727490773 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25825280 140720657437383 140720657437830 140720657437830 140720657440719 0
[pid=11584/tid=11593] ppid=11581 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11584/task/11593/stat : 11593 (java) S 11581 11581 10125 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510564713 27969658880 26528 33554432000 4194304 4196468 140720657428800 140303143356688 140303727490773 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25825280 140720657437383 140720657437830 140720657437830 140720657440719 0
[pid=11584/tid=11594] ppid=11581 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11584/task/11594/stat : 11594 (java) S 11581 11581 10125 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510564714 27969658880 26528 33554432000 4194304 4196468 140720657428800 140301846342512 140303727491714 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25825280 140720657437383 140720657437830 140720657437830 140720657440719 0
[pid=11584/tid=11595] ppid=11581 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11584/task/11595/stat : 11595 (java) S 11581 11581 10125 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 510564715 27969658880 26528 33554432000 4194304 4196468 140720657428800 140301683385888 140303727490773 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25825280 140720657437383 140720657437830 140720657437830 140720657440719 0
[pid=11584/tid=11596] ppid=11581 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11584/task/11596/stat : 11596 (java) S 11581 11581 10125 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510564715 27969658880 26528 33554432000 4194304 4196468 140720657428800 140301414950256 140303727490773 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25825280 140720657437383 140720657437830 140720657437830 140720657440719 0
[pid=11584/tid=11597] ppid=11581 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11584/task/11597/stat : 11597 (java) S 11581 11581 10125 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510564717 27969658880 26528 33554432000 4194304 4196468 140720657428800 140301040441680 140303727499163 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25825280 140720657437383 140720657437830 140720657437830 140720657440719 0
[pid=11584/tid=11598] ppid=11581 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11584/task/11598/stat : 11598 (java) S 11581 11581 10125 0 -1 1077944384 304 0 0 0 0 0 0 0 20 0 20 0 510564717 27969658880 26528 33554432000 4194304 4196468 140720657428800 140301845289328 140303727491714 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25825280 140720657437383 140720657437830 140720657437830 140720657440719 0
[pid=11584/tid=11599] ppid=11581 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11584/task/11599/stat : 11599 (java) S 11581 11581 10125 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510564717 27969658880 27040 33554432000 4194304 4196468 140720657428800 140301844236528 140303727491714 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25825280 140720657437383 140720657437830 140720657437830 140720657440719 0
[pid=11584/tid=11600] ppid=11581 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11584/task/11600/stat : 11600 (java) S 11581 11581 10125 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510564717 27969658880 27040 33554432000 4194304 4196468 140720657428800 140301843183728 140303727491714 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25825280 140720657437383 140720657437830 140720657437830 140720657440719 0
[pid=11584/tid=11601] ppid=11581 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11584/task/11601/stat : 11601 (java) S 11581 11581 10125 0 -1 1077944384 265 0 0 0 0 0 0 0 20 0 20 0 510564717 27969658880 27040 33554432000 4194304 4196468 140720657428800 140301842130928 140303727491714 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25825280 140720657437383 140720657437830 140720657437830 140720657440719 0
[pid=11584/tid=11602] ppid=11581 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11584/task/11602/stat : 11602 (java) S 11581 11581 10125 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510564717 27969658880 27040 33554432000 4194304 4196468 140720657428800 140300542536800 140303727490773 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25825280 140720657437383 140720657437830 140720657437830 140720657440719 0
[pid=11584/tid=11603] ppid=11581 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/11584/task/11603/stat : 11603 (java) S 11581 11581 10125 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510564718 27969658880 27040 33554432000 4194304 4196468 140720657428800 140301841079344 140303727491714 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25825280 140720657437383 140720657437830 140720657437830 140720657440719 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 107508 KiB

[startup+0.210565 s]*
/proc/loadavg: 6.05 6.74 6.71 3/211 11603
/proc/meminfo: memFree=26413912/32770624 swapFree=67002120/67108860
[pid=11581] ppid=11578 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/11581/stat : 11581 (scop.sh) S 11578 11581 10125 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 510564709 115843072 349 33554432000 4194304 5098028 140731200938096 140731200935352 140390051054204 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 16826368 140731200946941 140731200947288 140731200947288 140731200950217 0
/proc/11581/statm: 28282 349 296 221 0 87 0
[pid=11584] ppid=11581 vsize=27314120 memory=122444 CPUtime=0.24 cores=0-7
/proc/11584/stat : 11584 (java) S 11581 11581 10125 0 -1 1077944320 11606 0 0 0 20 4 0 0 20 0 20 0 510564710 27969658880 30611 33554432000 4194304 4196468 140720657428800 140720657411344 140303727480567 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 25825280 140720657437383 140720657437830 140720657437830 140720657440719 0
/proc/11584/statm: 6828530 30611 2888 1 0 6790935 0
[pid=11584/tid=11585] ppid=11581 vsize=27314120 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/11584/task/11585/stat : 11585 (java) R 11581 11581 10125 0 -1 4202560 9260 0 0 0 16 4 0 0 20 0 20 0 510564710 27969658880 30611 33554432000 4194304 4196468 140720657428800 140303699279952 140303707756451 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25825280 140720657437383 140720657437830 140720657437830 140720657440719 0
[pid=11584/tid=11586] ppid=11581 vsize=27314120 memory=330 CPUtime=0 cores=0-7
/proc/11584/task/11586/stat : 11586 (java) S 11581 11581 10125 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510564712 27969658880 30611 33554432000 4194304 4196468 140720657428800 140303731723408 140303727490773 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25825280 140720657437383 140720657437830 140720657437830 140720657440719 0
[pid=11584/tid=11587] ppid=11581 vsize=27314120 memory=288370861623686784 CPUtime=0 cores=0-7
/proc/11584/task/11587/stat : 11587 (java) S 11581 11581 10125 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510564713 27969658880 30611 33554432000 4194304 4196468 140720657428800 140303149673488 140303727490773 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25825280 140720657437383 140720657437830 140720657437830 140720657440719 0
[pid=11584/tid=11588] ppid=11581 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/11584/task/11588/stat : 11588 (java) S 11581 11581 10125 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510564713 27969658880 30611 33554432000 4194304 4196468 140720657428800 140303148620688 140303727490773 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25825280 140720657437383 140720657437830 140720657437830 140720657440719 0
[pid=11584/tid=11589] ppid=11581 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11584/task/11589/stat : 11589 (java) S 11581 11581 10125 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510564713 27969658880 30611 33554432000 4194304 4196468 140720657428800 140303147567888 140303727490773 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25825280 140720657437383 140720657437830 140720657437830 140720657440719 0
[pid=11584/tid=11590] ppid=11581 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11584/task/11590/stat : 11590 (java) S 11581 11581 10125 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510564713 27969658880 30611 33554432000 4194304 4196468 140720657428800 140303146515088 140303727490773 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25825280 140720657437383 140720657437830 140720657437830 140720657440719 0
[pid=11584/tid=11591] ppid=11581 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/11584/task/11591/stat : 11591 (java) S 11581 11581 10125 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510564713 27969658880 30611 33554432000 4194304 4196468 140720657428800 140303145462288 140303727490773 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25825280 140720657437383 140720657437830 140720657437830 140720657440719 0
[pid=11584/tid=11592] ppid=11581 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11584/task/11592/stat : 11592 (java) S 11581 11581 10125 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510564713 27969658880 30611 33554432000 4194304 4196468 140720657428800 140303144409488 140303727490773 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25825280 140720657437383 140720657437830 140720657437830 140720657440719 0
[pid=11584/tid=11593] ppid=11581 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11584/task/11593/stat : 11593 (java) S 11581 11581 10125 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510564713 27969658880 30611 33554432000 4194304 4196468 140720657428800 140303143356688 140303727490773 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25825280 140720657437383 140720657437830 140720657437830 140720657440719 0
[pid=11584/tid=11594] ppid=11581 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11584/task/11594/stat : 11594 (java) S 11581 11581 10125 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510564714 27969658880 30611 33554432000 4194304 4196468 140720657428800 140301846342512 140303727491714 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25825280 140720657437383 140720657437830 140720657437830 140720657440719 0
[pid=11584/tid=11595] ppid=11581 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11584/task/11595/stat : 11595 (java) S 11581 11581 10125 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 510564715 27969658880 30611 33554432000 4194304 4196468 140720657428800 140301683385888 140303727490773 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25825280 140720657437383 140720657437830 140720657437830 140720657440719 0
[pid=11584/tid=11596] ppid=11581 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11584/task/11596/stat : 11596 (java) S 11581 11581 10125 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510564715 27969658880 30611 33554432000 4194304 4196468 140720657428800 140301414950256 140303727490773 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25825280 140720657437383 140720657437830 140720657437830 140720657440719 0
[pid=11584/tid=11597] ppid=11581 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11584/task/11597/stat : 11597 (java) S 11581 11581 10125 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510564717 27969658880 30611 33554432000 4194304 4196468 140720657428800 140301040441680 140303727499163 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25825280 140720657437383 140720657437830 140720657437830 140720657440719 0
[pid=11584/tid=11598] ppid=11581 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11584/task/11598/stat : 11598 (java) S 11581 11581 10125 0 -1 1077944384 316 0 0 0 0 0 0 0 20 0 20 0 510564717 27969658880 30611 33554432000 4194304 4196468 140720657428800 140301845289328 140303727491714 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25825280 140720657437383 140720657437830 140720657437830 140720657440719 0
[pid=11584/tid=11599] ppid=11581 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11584/task/11599/stat : 11599 (java) S 11581 11581 10125 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 20 0 510564717 27969658880 30611 33554432000 4194304 4196468 140720657428800 140301844236528 140303727491714 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25825280 140720657437383 140720657437830 140720657437830 140720657440719 0
[pid=11584/tid=11600] ppid=11581 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/11584/task/11600/stat : 11600 (java) S 11581 11581 10125 0 -1 1077944384 127 0 0 0 0 0 0 0 20 0 20 0 510564717 27969658880 30611 33554432000 4194304 4196468 140720657428800 140301843183728 140303727491714 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25825280 140720657437383 140720657437830 140720657437830 140720657440719 0
[pid=11584/tid=11601] ppid=11581 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7
/proc/11584/task/11601/stat : 11601 (java) S 11581 11581 10125 0 -1 1077944384 521 0 0 0 2 0 0 0 20 0 20 0 510564717 27969658880 30611 33554432000 4194304 4196468 140720657428800 140301842130928 140303727491714 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25825280 140720657437383 140720657437830 140720657437830 140720657440719 0
[pid=11584/tid=11602] ppid=11581 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11584/task/11602/stat : 11602 (java) S 11581 11581 10125 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510564717 27969658880 30611 33554432000 4194304 4196468 140720657428800 140300542536800 140303727490773 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25825280 140720657437383 140720657437830 140720657437830 140720657440719 0
[pid=11584/tid=11603] ppid=11581 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/11584/task/11603/stat : 11603 (java) S 11581 11581 10125 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510564718 27969658880 30611 33554432000 4194304 4196468 140720657428800 140301841079344 140303727491714 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25825280 140720657437383 140720657437830 140720657437830 140720657440719 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 123840 KiB

[startup+0.310308 s]*
/proc/loadavg: 6.05 6.74 6.71 2/211 11603
/proc/meminfo: memFree=26410500/32770624 swapFree=67002120/67108860
[pid=11581] ppid=11578 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/11581/stat : 11581 (scop.sh) S 11578 11581 10125 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 510564709 115843072 349 33554432000 4194304 5098028 140731200938096 140731200935352 140390051054204 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 16826368 140731200946941 140731200947288 140731200947288 140731200950217 0
/proc/11581/statm: 28282 349 296 221 0 87 0
[pid=11584] ppid=11581 vsize=27314120 memory=127232 CPUtime=0.42 cores=0-7
/proc/11584/stat : 11584 (java) S 11581 11581 10125 0 -1 1077944320 12158 0 0 0 37 5 0 0 20 0 20 0 510564710 27969658880 31808 33554432000 4194304 4196468 140720657428800 140720657411344 140303727480567 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 25825280 140720657437383 140720657437830 140720657437830 140720657440719 0
/proc/11584/statm: 6828530 31808 3055 1 0 6790935 0
[pid=11584/tid=11585] ppid=11581 vsize=27314120 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/11584/task/11585/stat : 11585 (java) R 11581 11581 10125 0 -1 4202560 9543 0 0 0 25 4 0 0 20 0 20 0 510564710 27969658880 31808 33554432000 4194304 4196468 140720657428800 140303699294432 140303707756238 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25825280 140720657437383 140720657437830 140720657437830 140720657440719 0
[pid=11584/tid=11586] ppid=11581 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11584/task/11586/stat : 11586 (java) S 11581 11581 10125 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510564712 27969658880 31808 33554432000 4194304 4196468 140720657428800 140303731723408 140303727490773 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25825280 140720657437383 140720657437830 140720657437830 140720657440719 0
[pid=11584/tid=11587] ppid=11581 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11584/task/11587/stat : 11587 (java) S 11581 11581 10125 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510564713 27969658880 31808 33554432000 4194304 4196468 140720657428800 140303149673488 140303727490773 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25825280 140720657437383 140720657437830 140720657437830 140720657440719 0
[pid=11584/tid=11588] ppid=11581 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11584/task/11588/stat : 11588 (java) S 11581 11581 10125 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510564713 27969658880 31808 33554432000 4194304 4196468 140720657428800 140303148620688 140303727490773 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25825280 140720657437383 140720657437830 140720657437830 140720657440719 0
[pid=11584/tid=11589] ppid=11581 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11584/task/11589/stat : 11589 (java) S 11581 11581 10125 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510564713 27969658880 31808 33554432000 4194304 4196468 140720657428800 140303147567888 140303727490773 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25825280 140720657437383 140720657437830 140720657437830 140720657440719 0
[pid=11584/tid=11590] ppid=11581 vsize=27314120 memory=2244 CPUtime=0 cores=0-7
/proc/11584/task/11590/stat : 11590 (java) S 11581 11581 10125 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510564713 27969658880 31808 33554432000 4194304 4196468 140720657428800 140303146515088 140303727490773 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25825280 140720657437383 140720657437830 140720657437830 140720657440719 0
[pid=11584/tid=11591] ppid=11581 vsize=27314120 memory=140485360448431 CPUtime=0 cores=0-7
/proc/11584/task/11591/stat : 11591 (java) S 11581 11581 10125 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510564713 27969658880 31808 33554432000 4194304 4196468 140720657428800 140303145462288 140303727490773 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25825280 140720657437383 140720657437830 140720657437830 140720657440719 0
[pid=11584/tid=11592] ppid=11581 vsize=27314120 memory=140485360450736 CPUtime=0 cores=0-7
/proc/11584/task/11592/stat : 11592 (java) S 11581 11581 10125 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510564713 27969658880 31808 33554432000 4194304 4196468 140720657428800 140303144409488 140303727490773 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25825280 140720657437383 140720657437830 140720657437830 140720657440719 0
[pid=11584/tid=11593] ppid=11581 vsize=27314120 memory=140485360453040 CPUtime=0 cores=0-7
/proc/11584/task/11593/stat : 11593 (java) S 11581 11581 10125 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510564713 27969658880 31808 33554432000 4194304 4196468 140720657428800 140303143356688 140303727490773 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25825280 140720657437383 140720657437830 140720657437830 140720657440719 0
[pid=11584/tid=11594] ppid=11581 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11584/task/11594/stat : 11594 (java) S 11581 11581 10125 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510564714 27969658880 31808 33554432000 4194304 4196468 140720657428800 140301846342512 140303727491714 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25825280 140720657437383 140720657437830 140720657437830 140720657440719 0
[pid=11584/tid=11595] ppid=11581 vsize=27314120 memory=280970720913040 CPUtime=0 cores=0-7
/proc/11584/task/11595/stat : 11595 (java) S 11581 11581 10125 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 510564715 27969658880 31808 33554432000 4194304 4196468 140720657428800 140301683385888 140303727490773 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25825280 140720657437383 140720657437830 140720657437830 140720657440719 0
[pid=11584/tid=11596] ppid=11581 vsize=27314120 memory=280970720919952 CPUtime=0 cores=0-7
/proc/11584/task/11596/stat : 11596 (java) S 11581 11581 10125 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510564715 27969658880 31808 33554432000 4194304 4196468 140720657428800 140301414950256 140303727490773 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25825280 140720657437383 140720657437830 140720657437830 140720657440719 0
[pid=11584/tid=11597] ppid=11581 vsize=27314120 memory=280970720861232 CPUtime=0 cores=0-7
/proc/11584/task/11597/stat : 11597 (java) S 11581 11581 10125 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510564717 27969658880 31808 33554432000 4194304 4196468 140720657428800 140301040441680 140303727499163 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25825280 140720657437383 140720657437830 140720657437830 140720657440719 0
[pid=11584/tid=11598] ppid=11581 vsize=27314120 memory=280970720933776 CPUtime=0 cores=0-7
/proc/11584/task/11598/stat : 11598 (java) R 11581 11581 10125 0 -1 4202560 347 0 0 0 0 0 0 0 20 0 20 0 510564717 27969658880 31808 33554432000 4194304 4196468 140720657428800 140301845289328 140303709001746 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25825280 140720657437383 140720657437830 140720657437830 140720657440719 0
[pid=11584/tid=11599] ppid=11581 vsize=27314120 memory=280970720940688 CPUtime=0.01 cores=0-7
/proc/11584/task/11599/stat : 11599 (java) S 11581 11581 10125 0 -1 1077944384 155 0 0 0 1 0 0 0 20 0 20 0 510564717 27969658880 31808 33554432000 4194304 4196468 140720657428800 140301844236528 140303727491714 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25825280 140720657437383 140720657437830 140720657437830 140720657440719 0
[pid=11584/tid=11600] ppid=11581 vsize=27314120 memory=280970720938384 CPUtime=0.01 cores=0-7
/proc/11584/task/11600/stat : 11600 (java) S 11581 11581 10125 0 -1 1077944384 176 0 0 0 1 0 0 0 20 0 20 0 510564717 27969658880 31808 33554432000 4194304 4196468 140720657428800 140301843183728 140303727491714 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25825280 140720657437383 140720657437830 140720657437830 140720657440719 0
[pid=11584/tid=11601] ppid=11581 vsize=27314120 memory=280970720954544 CPUtime=0.07 cores=0-7
/proc/11584/task/11601/stat : 11601 (java) S 11581 11581 10125 0 -1 1077944384 613 0 0 0 7 0 0 0 20 0 20 0 510564717 27969658880 31808 33554432000 4194304 4196468 140720657428800 140301842130928 140303727491714 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25825280 140720657437383 140720657437830 140720657437830 140720657440719 0
[pid=11584/tid=11602] ppid=11581 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11584/task/11602/stat : 11602 (java) S 11581 11581 10125 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510564717 27969658880 31808 33554432000 4194304 4196468 140720657428800 140300542536800 140303727490773 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25825280 140720657437383 140720657437830 140720657437830 140720657440719 0
[pid=11584/tid=11603] ppid=11581 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/11584/task/11603/stat : 11603 (java) S 11581 11581 10125 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510564718 27969658880 31808 33554432000 4194304 4196468 140720657428800 140301841079344 140303727491714 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25825280 140720657437383 140720657437830 140720657437830 140720657440719 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 128628 KiB

[startup+0.70093 s]
/proc/loadavg: 6.05 6.74 6.71 2/211 11603
/proc/meminfo: memFree=26387436/32770624 swapFree=67002120/67108860
[pid=11581] ppid=11578 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/11581/stat : 11581 (scop.sh) S 11578 11581 10125 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 510564709 115843072 349 33554432000 4194304 5098028 140731200938096 140731200935352 140390051054204 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 16826368 140731200946941 140731200947288 140731200947288 140731200950217 0
/proc/11581/statm: 28282 349 296 221 0 87 0
[pid=11584] ppid=11581 vsize=27320392 memory=164272 CPUtime=0.98 cores=0-7
/proc/11584/stat : 11584 (java) S 11581 11581 10125 0 -1 1077944320 20126 0 0 0 91 7 0 0 20 0 20 0 510564710 27976081408 41068 33554432000 4194304 4196468 140720657428800 140720657411344 140303727480567 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 25825280 140720657437383 140720657437830 140720657437830 140720657440719 0
/proc/11584/statm: 6830098 41068 3179 1 0 6791447 0
[pid=11584/tid=11585] ppid=11581 vsize=27320392 memory=280970721312432 CPUtime=0.67 cores=0-7
/proc/11584/task/11585/stat : 11585 (java) R 11581 11581 10125 0 -1 4202560 16987 0 0 0 61 6 0 0 20 0 20 0 510564710 27976081408 41068 33554432000 4194304 4196468 140720657428800 140303699319040 140303727492502 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25825280 140720657437383 140720657437830 140720657437830 140720657440719 0
[pid=11584/tid=11586] ppid=11581 vsize=27320392 memory=140485360657264 CPUtime=0 cores=0-7
/proc/11584/task/11586/stat : 11586 (java) S 11581 11581 10125 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510564712 27976081408 41068 33554432000 4194304 4196468 140720657428800 140303731723408 140303727490773 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25825280 140720657437383 140720657437830 140720657437830 140720657440719 0
[pid=11584/tid=11587] ppid=11581 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/11584/task/11587/stat : 11587 (java) S 11581 11581 10125 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510564713 27976081408 41068 33554432000 4194304 4196468 140720657428800 140303149673488 140303727490773 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25825280 140720657437383 140720657437830 140720657437830 140720657440719 0
[pid=11584/tid=11588] ppid=11581 vsize=27320392 memory=1056 CPUtime=0 cores=0-7
/proc/11584/task/11588/stat : 11588 (java) S 11581 11581 10125 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510564713 27976081408 41068 33554432000 4194304 4196468 140720657428800 140303148620688 140303727490773 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25825280 140720657437383 140720657437830 140720657437830 140720657440719 0

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

[pid=11604/tid=11614] ppid=11581 vsize=8414124 memory=500 CPUtime=0 cores=0-7
/proc/11604/task/11614/stat : 11614 (java) S 11581 11581 10125 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 510565152 8616062976 29665 33554432000 4194304 4196468 140727848373984 139682134354288 139682906741378 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39313408 140727848375263 140727848375430 140727848375430 140727848378319 0
[pid=11604/tid=11615] ppid=11581 vsize=8414124 memory=932 CPUtime=0 cores=0-7
/proc/11604/task/11615/stat : 11615 (java) S 11581 11581 10125 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 510565153 8616062976 29665 33554432000 4194304 4196468 140727848373984 139681396155424 139682906740437 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39313408 140727848375263 140727848375430 140727848375430 140727848378319 0
[pid=11604/tid=11616] ppid=11581 vsize=8414124 memory=1824 CPUtime=0 cores=0-7
/proc/11604/task/11616/stat : 11616 (java) S 11581 11581 10125 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 510565153 8616062976 29665 33554432000 4194304 4196468 140727848373984 139681261933424 139682906740437 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39313408 140727848375263 140727848375430 140727848375430 140727848378319 0
[pid=11604/tid=11617] ppid=11581 vsize=8414124 memory=1656 CPUtime=0 cores=0-7
/proc/11604/task/11617/stat : 11617 (java) S 11581 11581 10125 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510565155 8616062976 29665 33554432000 4194304 4196468 140727848373984 139680887428944 139682906748827 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39313408 140727848375263 140727848375430 140727848375430 140727848378319 0
[pid=11604/tid=11618] ppid=11581 vsize=8414124 memory=584488 CPUtime=0.07 cores=0-7
/proc/11604/task/11618/stat : 11618 (java) S 11581 11581 10125 0 -1 1077944384 605 0 0 0 7 0 0 0 20 0 24 0 510565155 8616062976 29665 33554432000 4194304 4196468 140727848373984 139682133302128 139682906741378 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39313408 140727848375263 140727848375430 140727848375430 140727848378319 0
[pid=11604/tid=11619] ppid=11581 vsize=8414124 memory=2024 CPUtime=0.05 cores=0-7
/proc/11604/task/11619/stat : 11619 (java) S 11581 11581 10125 0 -1 1077944384 204 0 0 0 5 0 0 0 20 0 24 0 510565155 8616062976 29665 33554432000 4194304 4196468 140727848373984 139682132249328 139682906741378 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39313408 140727848375263 140727848375430 140727848375430 140727848378319 0
[pid=11604/tid=11620] ppid=11581 vsize=8414124 memory=1416 CPUtime=0.07 cores=0-7
/proc/11604/task/11620/stat : 11620 (java) S 11581 11581 10125 0 -1 1077944384 430 0 0 0 7 0 0 0 20 0 24 0 510565155 8616062976 29665 33554432000 4194304 4196468 140727848373984 139682131196528 139682906741378 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39313408 140727848375263 140727848375430 140727848375430 140727848378319 0
[pid=11604/tid=11621] ppid=11581 vsize=8414124 memory=776 CPUtime=0.21 cores=0-7
/proc/11604/task/11621/stat : 11621 (java) S 11581 11581 10125 0 -1 1077944384 949 0 0 0 21 0 0 0 20 0 24 0 510565155 8616062976 29665 33554432000 4194304 4196468 140727848373984 139682130143728 139682906741378 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39313408 140727848375263 140727848375430 140727848375430 140727848378319 0
[pid=11604/tid=11622] ppid=11581 vsize=8414124 memory=3540 CPUtime=0 cores=0-7
/proc/11604/task/11622/stat : 11622 (java) S 11581 11581 10125 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510565156 8616062976 29665 33554432000 4194304 4196468 140727848373984 139680389524064 139682906740437 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39313408 140727848375263 140727848375430 140727848375430 140727848378319 0
[pid=11604/tid=11623] ppid=11581 vsize=8414124 memory=1232 CPUtime=0.07 cores=0-7
/proc/11604/task/11623/stat : 11623 (java) S 11581 11581 10125 0 -1 1077944384 9 0 0 0 0 7 0 0 20 0 24 0 510565156 8616062976 29665 33554432000 4194304 4196468 140727848373984 139682129091120 139682906741378 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39313408 140727848375263 140727848375430 140727848375430 140727848378319 0
[pid=11604/tid=11625] ppid=11581 vsize=8414124 memory=10600 CPUtime=0 cores=0-7
/proc/11604/task/11625/stat : 11625 (java) S 11581 11581 10125 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 510565224 8616062976 29665 33554432000 4194304 4196468 140727848373984 139682121057344 139682906754841 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 39313408 140727848375263 140727848375430 140727848375430 140727848378319 0
[pid=11604/tid=11627] ppid=11581 vsize=8414124 memory=1736 CPUtime=0 cores=0-7
/proc/11604/task/11627/stat : 11627 (java) S 11581 11581 10125 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 510565224 8616062976 29665 33554432000 4194304 4196468 140727848373984 139679718424720 139682906752157 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 39313408 140727848375263 140727848375430 140727848375430 140727848378319 0
[pid=11604/tid=11628] ppid=11581 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/11604/task/11628/stat : 11628 (java) S 11581 11581 10125 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 24 0 510565225 8616062976 29665 33554432000 4194304 4196468 140727848373984 139679986860048 139682906752157 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 39313408 140727848375263 140727848375430 140727848375430 140727848378319 0
[pid=11604/tid=11637] ppid=11581 vsize=8414124 memory=118660 CPUtime=0 cores=0-7
/proc/11604/task/11637/stat : 11637 (java) S 11581 11581 10125 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 24 0 510565227 8616062976 29665 33554432000 4194304 4196468 140727848373984 139679449996848 139682906740437 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39313408 140727848375263 140727848375430 140727848375430 140727848378319 0
Current children cumulated CPU time: 874.36 s
Current children cumulated vsize: 9299524 KiB
Current children cumulated memory: 729460 KiB

[startup+122.401 s]
/proc/loadavg: 7.47 6.98 6.79 2/218 11651
/proc/meminfo: memFree=25814520/32770624 swapFree=67002120/67108860
[pid=11581] ppid=11578 vsize=113128 memory=1476 CPUtime=11.99 cores=0-7
/proc/11581/stat : 11581 (scop.sh) S 11578 11581 10125 0 -1 4202496 582 31786 0 0 0 0 1169 30 20 0 1 0 510564709 115843072 369 33554432000 4194304 5098028 140731200938096 140731200934840 140390051054204 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 16826368 140731200946941 140731200947288 140731200947288 140731200950217 0
/proc/11581/statm: 28282 369 311 221 0 87 0
[pid=11604] ppid=11581 vsize=8414124 memory=118660 CPUtime=1.32 cores=0-7
/proc/11604/stat : 11604 (java) S 11581 11581 10125 0 -1 1077944320 21694 0 0 0 123 9 0 0 20 0 24 0 510565149 8616062976 29665 33554432000 4194304 4196468 140727848373984 140727848356528 139682906730231 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 39313408 140727848375263 140727848375430 140727848375430 140727848378319 0
/proc/11604/statm: 2103531 29665 3210 1 0 2064875 0
[pid=11624] ppid=11604 vsize=772272 memory=609324 CPUtime=861.85 cores=0-7
/proc/11624/stat : 11624 (manyglucose-4.1) S 11604 11581 10125 0 -1 1077944320 682534 0 0 0 86056 129 0 0 20 0 2 0 510565224 790806528 152331 33554432000 4194304 4454172 140728421984544 140728421982928 139986156003063 0 4 0 8388610 18446744073709551615 0 0 17 1 0 0 0 0 0 6552832 6554400 27652096 140728421991245 140728421991452 140728421991452 140728421994422 0
/proc/11624/statm: 193068 152331 419 64 0 188736 0
[pid=11624/tid=11631] ppid=11604 vsize=772272 memory=118660 CPUtime=114.1 cores=0-7
/proc/11624/task/11631/stat : 11631 (manyglucose-4.1) R 11604 11581 10125 0 -1 4202560 85181 0 0 0 11395 15 0 0 20 0 2 0 510565226 790806528 152331 33554432000 4194304 4454172 140728421984544 139986124000392 4351555 0 4 0 8388610 0 0 0 -1 0 0 0 0 0 0 6552832 6554400 27652096 140728421991245 140728421991452 140728421991452 140728421994422 0
[pid=11604/tid=11605] ppid=11581 vsize=8414124 memory=7686721470300593044 CPUtime=0.78 cores=0-7
/proc/11604/task/11605/stat : 11605 (java) S 11581 11581 10125 0 -1 1077944384 18081 0 0 0 73 5 0 0 20 0 24 0 510565149 8616062976 29665 33554432000 4194304 4196468 140727848373984 139682878570400 139682906740437 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39313408 140727848375263 140727848375430 140727848375430 140727848378319 0
[pid=11604/tid=11606] ppid=11581 vsize=8414124 memory=3668 CPUtime=0 cores=0-7
/proc/11604/task/11606/stat : 11606 (java) S 11581 11581 10125 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510565151 8616062976 29665 33554432000 4194304 4196468 140727848373984 139682910972560 139682906740437 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39313408 140727848375263 140727848375430 140727848375430 140727848378319 0
[pid=11604/tid=11607] ppid=11581 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/11604/task/11607/stat : 11607 (java) S 11581 11581 10125 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510565151 8616062976 29665 33554432000 4194304 4196468 140727848373984 139682740066832 139682906740437 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39313408 140727848375263 140727848375430 140727848375430 140727848378319 0
[pid=11604/tid=11608] ppid=11581 vsize=8414124 memory=118660 CPUtime=0 cores=0-7
/proc/11604/task/11608/stat : 11608 (java) S 11581 11581 10125 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510565151 8616062976 29665 33554432000 4194304 4196468 140727848373984 139682390641040 139682906740437 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39313408 140727848375263 140727848375430 140727848375430 140727848378319 0
[pid=11604/tid=11609] ppid=11581 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/11604/task/11609/stat : 11609 (java) S 11581 11581 10125 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510565151 8616062976 29665 33554432000 4194304 4196468 140727848373984 139682389588240 139682906740437 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39313408 140727848375263 140727848375430 140727848375430 140727848378319 0
[pid=11604/tid=11610] ppid=11581 vsize=8414124 memory=118660 CPUtime=0 cores=0-7
/proc/11604/task/11610/stat : 11610 (java) S 11581 11581 10125 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510565151 8616062976 29665 33554432000 4194304 4196468 140727848373984 139682388536464 139682906740437 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39313408 140727848375263 140727848375430 140727848375430 140727848378319 0
[pid=11604/tid=11611] ppid=11581 vsize=8414124 memory=609324 CPUtime=0 cores=0-7
/proc/11604/task/11611/stat : 11611 (java) S 11581 11581 10125 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510565151 8616062976 29665 33554432000 4194304 4196468 140727848373984 139682387483664 139682906740437 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39313408 140727848375263 140727848375430 140727848375430 140727848378319 0
[pid=11604/tid=11612] ppid=11581 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/11604/task/11612/stat : 11612 (java) S 11581 11581 10125 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510565151 8616062976 29665 33554432000 4194304 4196468 140727848373984 139682386430864 139682906740437 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39313408 140727848375263 140727848375430 140727848375430 140727848378319 0
[pid=11604/tid=11613] ppid=11581 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/11604/task/11613/stat : 11613 (java) S 11581 11581 10125 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510565151 8616062976 29665 33554432000 4194304 4196468 140727848373984 139682385378064 139682906740437 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39313408 140727848375263 140727848375430 140727848375430 140727848378319 0
[pid=11604/tid=11614] ppid=11581 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/11604/task/11614/stat : 11614 (java) S 11581 11581 10125 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 510565152 8616062976 29665 33554432000 4194304 4196468 140727848373984 139682134354288 139682906741378 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39313408 140727848375263 140727848375430 140727848375430 140727848378319 0
[pid=11604/tid=11615] ppid=11581 vsize=8414124 memory=1448 CPUtime=0 cores=0-7
/proc/11604/task/11615/stat : 11615 (java) S 11581 11581 10125 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 510565153 8616062976 29665 33554432000 4194304 4196468 140727848373984 139681396155424 139682906740437 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39313408 140727848375263 140727848375430 140727848375430 140727848378319 0
[pid=11604/tid=11616] ppid=11581 vsize=8414124 memory=1980 CPUtime=0 cores=0-7
/proc/11604/task/11616/stat : 11616 (java) S 11581 11581 10125 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 510565153 8616062976 29665 33554432000 4194304 4196468 140727848373984 139681261933424 139682906740437 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39313408 140727848375263 140727848375430 140727848375430 140727848378319 0
[pid=11604/tid=11617] ppid=11581 vsize=8414124 memory=2676 CPUtime=0 cores=0-7
/proc/11604/task/11617/stat : 11617 (java) S 11581 11581 10125 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510565155 8616062976 29665 33554432000 4194304 4196468 140727848373984 139680887428944 139682906748827 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39313408 140727848375263 140727848375430 140727848375430 140727848378319 0
[pid=11604/tid=11618] ppid=11581 vsize=8414124 memory=1764 CPUtime=0.07 cores=0-7
/proc/11604/task/11618/stat : 11618 (java) S 11581 11581 10125 0 -1 1077944384 605 0 0 0 7 0 0 0 20 0 24 0 510565155 8616062976 29665 33554432000 4194304 4196468 140727848373984 139682133302128 139682906741378 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39313408 140727848375263 140727848375430 140727848375430 140727848378319 0
[pid=11604/tid=11619] ppid=11581 vsize=8414124 memory=111632 CPUtime=0.05 cores=0-7
/proc/11604/task/11619/stat : 11619 (java) S 11581 11581 10125 0 -1 1077944384 204 0 0 0 5 0 0 0 20 0 24 0 510565155 8616062976 29665 33554432000 4194304 4196468 140727848373984 139682132249328 139682906741378 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39313408 140727848375263 140727848375430 140727848375430 140727848378319 0
[pid=11604/tid=11620] ppid=11581 vsize=8414124 memory=796 CPUtime=0.07 cores=0-7
/proc/11604/task/11620/stat : 11620 (java) S 11581 11581 10125 0 -1 1077944384 430 0 0 0 7 0 0 0 20 0 24 0 510565155 8616062976 29665 33554432000 4194304 4196468 140727848373984 139682131196528 139682906741378 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39313408 140727848375263 140727848375430 140727848375430 140727848378319 0
[pid=11604/tid=11621] ppid=11581 vsize=8414124 memory=1808 CPUtime=0.21 cores=0-7
/proc/11604/task/11621/stat : 11621 (java) S 11581 11581 10125 0 -1 1077944384 949 0 0 0 21 0 0 0 20 0 24 0 510565155 8616062976 29665 33554432000 4194304 4196468 140727848373984 139682130143728 139682906741378 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39313408 140727848375263 140727848375430 140727848375430 140727848378319 0
[pid=11604/tid=11622] ppid=11581 vsize=8414124 memory=920 CPUtime=0 cores=0-7
/proc/11604/task/11622/stat : 11622 (java) S 11581 11581 10125 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510565156 8616062976 29665 33554432000 4194304 4196468 140727848373984 139680389524064 139682906740437 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39313408 140727848375263 140727848375430 140727848375430 140727848378319 0
[pid=11604/tid=11623] ppid=11581 vsize=8414124 memory=609216 CPUtime=0.07 cores=0-7
/proc/11604/task/11623/stat : 11623 (java) S 11581 11581 10125 0 -1 1077944384 9 0 0 0 0 7 0 0 20 0 24 0 510565156 8616062976 29665 33554432000 4194304 4196468 140727848373984 139682129091120 139682906741378 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39313408 140727848375263 140727848375430 140727848375430 140727848378319 0
[pid=11604/tid=11625] ppid=11581 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/11604/task/11625/stat : 11625 (java) S 11581 11581 10125 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 510565224 8616062976 29665 33554432000 4194304 4196468 140727848373984 139682121057344 139682906754841 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 39313408 140727848375263 140727848375430 140727848375430 140727848378319 0
[pid=11604/tid=11627] ppid=11581 vsize=8414124 memory=118660 CPUtime=0 cores=0-7
/proc/11604/task/11627/stat : 11627 (java) S 11581 11581 10125 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 510565224 8616062976 29665 33554432000 4194304 4196468 140727848373984 139679718424720 139682906752157 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 39313408 140727848375263 140727848375430 140727848375430 140727848378319 0
[pid=11604/tid=11628] ppid=11581 vsize=8414124 memory=582404 CPUtime=0 cores=0-7
/proc/11604/task/11628/stat : 11628 (java) S 11581 11581 10125 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 24 0 510565225 8616062976 29665 33554432000 4194304 4196468 140727848373984 139679986860048 139682906752157 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 39313408 140727848375263 140727848375430 140727848375430 140727848378319 0
[pid=11604/tid=11637] ppid=11581 vsize=8414124 memory=558896 CPUtime=0 cores=0-7
/proc/11604/task/11637/stat : 11637 (java) S 11581 11581 10125 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 24 0 510565227 8616062976 29665 33554432000 4194304 4196468 140727848373984 139679449996848 139682906740437 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39313408 140727848375263 140727848375430 140727848375430 140727848378319 0
Current children cumulated CPU time: 875.16 s
Current children cumulated vsize: 9299524 KiB
Current children cumulated memory: 729460 KiB

[startup+122.601 s]
/proc/loadavg: 7.47 6.98 6.79 2/218 11651
/proc/meminfo: memFree=25814520/32770624 swapFree=67002120/67108860
[pid=11581] ppid=11578 vsize=113128 memory=1476 CPUtime=11.99 cores=0-7
/proc/11581/stat : 11581 (scop.sh) S 11578 11581 10125 0 -1 4202496 582 31786 0 0 0 0 1169 30 20 0 1 0 510564709 115843072 369 33554432000 4194304 5098028 140731200938096 140731200934840 140390051054204 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 16826368 140731200946941 140731200947288 140731200947288 140731200950217 0
/proc/11581/statm: 28282 369 311 221 0 87 0
[pid=11604] ppid=11581 vsize=8414124 memory=118660 CPUtime=1.32 cores=0-7
/proc/11604/stat : 11604 (java) S 11581 11581 10125 0 -1 1077944320 21694 0 0 0 123 9 0 0 20 0 24 0 510565149 8616062976 29665 33554432000 4194304 4196468 140727848373984 140727848356528 139682906730231 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 39313408 140727848375263 140727848375430 140727848375430 140727848378319 0
/proc/11604/statm: 2103531 29665 3210 1 0 2064875 0
[pid=11624] ppid=11604 vsize=772272 memory=609324 CPUtime=862.05 cores=0-7
/proc/11624/stat : 11624 (manyglucose-4.1) S 11604 11581 10125 0 -1 1077944320 682547 0 0 0 86076 129 0 0 20 0 2 0 510565224 790806528 152331 33554432000 4194304 4454172 140728421984544 140728421982928 139986156003063 0 4 0 8388610 18446744073709551615 0 0 17 1 0 0 0 0 0 6552832 6554400 27652096 140728421991245 140728421991452 140728421991452 140728421994422 0
/proc/11624/statm: 193068 152331 419 64 0 188736 0
[pid=11624/tid=11631] ppid=11604 vsize=772272 memory=776 CPUtime=114.3 cores=0-7
/proc/11624/task/11631/stat : 11631 (manyglucose-4.1) R 11604 11581 10125 0 -1 4202560 85194 0 0 0 11415 15 0 0 20 0 2 0 510565226 790806528 152331 33554432000 4194304 4454172 140728421984544 139986124000392 4351209 0 4 0 8388610 0 0 0 -1 0 0 0 0 0 0 6552832 6554400 27652096 140728421991245 140728421991452 140728421991452 140728421994422 0
[pid=11604/tid=11605] ppid=11581 vsize=8414124 memory=288230574492221466 CPUtime=0.78 cores=0-7
/proc/11604/task/11605/stat : 11605 (java) S 11581 11581 10125 0 -1 1077944384 18081 0 0 0 73 5 0 0 20 0 24 0 510565149 8616062976 29665 33554432000 4194304 4196468 140727848373984 139682878570400 139682906740437 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39313408 140727848375263 140727848375430 140727848375430 140727848378319 0
[pid=11604/tid=11606] ppid=11581 vsize=8414124 memory=288230621803970871 CPUtime=0 cores=0-7
/proc/11604/task/11606/stat : 11606 (java) S 11581 11581 10125 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510565151 8616062976 29665 33554432000 4194304 4196468 140727848373984 139682910972560 139682906740437 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39313408 140727848375263 140727848375430 140727848375430 140727848378319 0
[pid=11604/tid=11607] ppid=11581 vsize=8414124 memory=14689690934577713 CPUtime=0 cores=0-7
/proc/11604/task/11607/stat : 11607 (java) S 11581 11581 10125 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510565151 8616062976 29665 33554432000 4194304 4196468 140727848373984 139682740066832 139682906740437 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39313408 140727848375263 140727848375430 140727848375430 140727848378319 0
[pid=11604/tid=11608] ppid=11581 vsize=8414124 memory=1416 CPUtime=0 cores=0-7
/proc/11604/task/11608/stat : 11608 (java) S 11581 11581 10125 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510565151 8616062976 29665 33554432000 4194304 4196468 140727848373984 139682390641040 139682906740437 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39313408 140727848375263 140727848375430 140727848375430 140727848378319 0
[pid=11604/tid=11609] ppid=11581 vsize=8414124 memory=776 CPUtime=0 cores=0-7
/proc/11604/task/11609/stat : 11609 (java) S 11581 11581 10125 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510565151 8616062976 29665 33554432000 4194304 4196468 140727848373984 139682389588240 139682906740437 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39313408 140727848375263 140727848375430 140727848375430 140727848378319 0
[pid=11604/tid=11610] ppid=11581 vsize=8414124 memory=3540 CPUtime=0 cores=0-7
/proc/11604/task/11610/stat : 11610 (java) S 11581 11581 10125 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510565151 8616062976 29665 33554432000 4194304 4196468 140727848373984 139682388536464 139682906740437 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39313408 140727848375263 140727848375430 140727848375430 140727848378319 0
[pid=11604/tid=11611] ppid=11581 vsize=8414124 memory=1232 CPUtime=0 cores=0-7
/proc/11604/task/11611/stat : 11611 (java) S 11581 11581 10125 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510565151 8616062976 29665 33554432000 4194304 4196468 140727848373984 139682387483664 139682906740437 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39313408 140727848375263 140727848375430 140727848375430 140727848378319 0
[pid=11604/tid=11612] ppid=11581 vsize=8414124 memory=10600 CPUtime=0 cores=0-7
/proc/11604/task/11612/stat : 11612 (java) S 11581 11581 10125 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510565151 8616062976 29665 33554432000 4194304 4196468 140727848373984 139682386430864 139682906740437 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39313408 140727848375263 140727848375430 140727848375430 140727848378319 0
[pid=11604/tid=11613] ppid=11581 vsize=8414124 memory=1736 CPUtime=0 cores=0-7
/proc/11604/task/11613/stat : 11613 (java) S 11581 11581 10125 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510565151 8616062976 29665 33554432000 4194304 4196468 140727848373984 139682385378064 139682906740437 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39313408 140727848375263 140727848375430 140727848375430 140727848378319 0
[pid=11604/tid=11614] ppid=11581 vsize=8414124 memory=6184 CPUtime=0 cores=0-7
/proc/11604/task/11614/stat : 11614 (java) S 11581 11581 10125 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 510565152 8616062976 29665 33554432000 4194304 4196468 140727848373984 139682134354288 139682906741378 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39313408 140727848375263 140727848375430 140727848375430 140727848378319 0
[pid=11604/tid=11615] ppid=11581 vsize=8414124 memory=636 CPUtime=0 cores=0-7
/proc/11604/task/11615/stat : 11615 (java) S 11581 11581 10125 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 510565153 8616062976 29665 33554432000 4194304 4196468 140727848373984 139681396155424 139682906740437 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39313408 140727848375263 140727848375430 140727848375430 140727848378319 0
[pid=11604/tid=11616] ppid=11581 vsize=8414124 memory=2836 CPUtime=0 cores=0-7
/proc/11604/task/11616/stat : 11616 (java) S 11581 11581 10125 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 510565153 8616062976 29665 33554432000 4194304 4196468 140727848373984 139681261933424 139682906740437 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39313408 140727848375263 140727848375430 140727848375430 140727848378319 0
[pid=11604/tid=11617] ppid=11581 vsize=8414124 memory=1056 CPUtime=0 cores=0-7
/proc/11604/task/11617/stat : 11617 (java) S 11581 11581 10125 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510565155 8616062976 29665 33554432000 4194304 4196468 140727848373984 139680887428944 139682906748827 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39313408 140727848375263 140727848375430 140727848375430 140727848378319 0
[pid=11604/tid=11618] ppid=11581 vsize=8414124 memory=1568 CPUtime=0.07 cores=0-7
/proc/11604/task/11618/stat : 11618 (java) S 11581 11581 10125 0 -1 1077944384 605 0 0 0 7 0 0 0 20 0 24 0 510565155 8616062976 29665 33554432000 4194304 4196468 140727848373984 139682133302128 139682906741378 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39313408 140727848375263 140727848375430 140727848375430 140727848378319 0
[pid=11604/tid=11619] ppid=11581 vsize=8414124 memory=1064 CPUtime=0.05 cores=0-7
/proc/11604/task/11619/stat : 11619 (java) S 11581 11581 10125 0 -1 1077944384 204 0 0 0 5 0 0 0 20 0 24 0 510565155 8616062976 29665 33554432000 4194304 4196468 140727848373984 139682132249328 139682906741378 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39313408 140727848375263 140727848375430 140727848375430 140727848378319 0
[pid=11604/tid=11620] ppid=11581 vsize=8414124 memory=14008 CPUtime=0.07 cores=0-7
/proc/11604/task/11620/stat : 11620 (java) S 11581 11581 10125 0 -1 1077944384 430 0 0 0 7 0 0 0 20 0 24 0 510565155 8616062976 29665 33554432000 4194304 4196468 140727848373984 139682131196528 139682906741378 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39313408 140727848375263 140727848375430 140727848375430 140727848378319 0
[pid=11604/tid=11621] ppid=11581 vsize=8414124 memory=12040 CPUtime=0.21 cores=0-7
/proc/11604/task/11621/stat : 11621 (java) S 11581 11581 10125 0 -1 1077944384 949 0 0 0 21 0 0 0 20 0 24 0 510565155 8616062976 29665 33554432000 4194304 4196468 140727848373984 139682130143728 139682906741378 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39313408 140727848375263 140727848375430 140727848375430 140727848378319 0
[pid=11604/tid=11622] ppid=11581 vsize=8414124 memory=2120 CPUtime=0 cores=0-7
/proc/11604/task/11622/stat : 11622 (java) S 11581 11581 10125 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510565156 8616062976 29665 33554432000 4194304 4196468 140727848373984 139680389524064 139682906740437 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39313408 140727848375263 140727848375430 140727848375430 140727848378319 0
[pid=11604/tid=11623] ppid=11581 vsize=8414124 memory=35228 CPUtime=0.07 cores=0-7
/proc/11604/task/11623/stat : 11623 (java) S 11581 11581 10125 0 -1 1077944384 9 0 0 0 0 7 0 0 20 0 24 0 510565156 8616062976 29665 33554432000 4194304 4196468 140727848373984 139682129091120 139682906741378 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39313408 140727848375263 140727848375430 140727848375430 140727848378319 0
[pid=11604/tid=11625] ppid=11581 vsize=8414124 memory=1556 CPUtime=0 cores=0-7
/proc/11604/task/11625/stat : 11625 (java) S 11581 11581 10125 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 510565224 8616062976 29665 33554432000 4194304 4196468 140727848373984 139682121057344 139682906754841 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 39313408 140727848375263 140727848375430 140727848375430 140727848378319 0
[pid=11604/tid=11627] ppid=11581 vsize=8414124 memory=500 CPUtime=0 cores=0-7
/proc/11604/task/11627/stat : 11627 (java) S 11581 11581 10125 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 510565224 8616062976 29665 33554432000 4194304 4196468 140727848373984 139679718424720 139682906752157 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 39313408 140727848375263 140727848375430 140727848375430 140727848378319 0
[pid=11604/tid=11628] ppid=11581 vsize=8414124 memory=932 CPUtime=0 cores=0-7
/proc/11604/task/11628/stat : 11628 (java) S 11581 11581 10125 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 24 0 510565225 8616062976 29665 33554432000 4194304 4196468 140727848373984 139679986860048 139682906752157 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 39313408 140727848375263 140727848375430 140727848375430 140727848378319 0
[pid=11604/tid=11637] ppid=11581 vsize=8414124 memory=1824 CPUtime=0 cores=0-7
/proc/11604/task/11637/stat : 11637 (java) S 11581 11581 10125 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 24 0 510565227 8616062976 29665 33554432000 4194304 4196468 140727848373984 139679449996848 139682906740437 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39313408 140727848375263 140727848375430 140727848375430 140727848378319 0
Current children cumulated CPU time: 875.36 s
Current children cumulated vsize: 9299524 KiB
Current children cumulated memory: 729460 KiB

Child status: 0
Real time (s): 122.672
CPU time (s): 875.5
CPU user time (s): 873.783
CPU system time (s): 1.71705
CPU usage (%): 713.693
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 1047340

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 873.783
system time used= 1.71705
maximum resident set size= 1051372
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 736754
page faults= 0
swaps= 0
block input operations= 0
block output operations= 928
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 17955
involuntary context switches= 9138


# summary of solver processes directly reported to runsolver:
#   pid: 11581
#   total CPU time (s): 875.5
#   total CPU user time (s): 873.783
#   total CPU system time (s): 1.71705

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.1725 second user time and 1.74416 second system time

The end

Launcher Data 

Begin job on node136 at 2019-09-24 18:38:36
IDJOB=4405310
IDBENCH=134586
IDSOLVER=2867
FILE ID=node136/4405310-1569343161
RUNJOBID= node136-1569335934-10152
PBS_JOBID= 21705056
Free space on /var/tmp= 13484 MiB

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

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

MD5SUM BENCH= 58733bdc54ee5d0b54338851c7cdf9d7
RANDOM SEED=1193125568

node136.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.00
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.54
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.00
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.54
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.00
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.54
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.00
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.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        26527780 kB
MemAvailable:   31838984 kB
Buffers:          141464 kB
Cached:          5293444 kB
SwapCached:         3560 kB
Active:          2702584 kB
Inactive:        2740668 kB
Active(anon):       3288 kB
Inactive(anon):    61340 kB
Active(file):    2699296 kB
Inactive(file):  2679328 kB
Unevictable:      108444 kB
Mlocked:          108444 kB
SwapTotal:      67108860 kB
SwapFree:       67002120 kB
Dirty:             20308 kB
Writeback:             4 kB
AnonPages:        111952 kB
Mapped:            57120 kB
Shmem:             48256 kB
Slab:             390740 kB
SReclaimable:     361040 kB
SUnreclaim:        29700 kB
KernelStack:        3872 kB
PageTables:         5128 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     516148 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     65536 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      120192 kB
DirectMap2M:    33425408 kB

Free space on /var/tmp at the end= 13464 MiB
End job on node136 at 2019-09-24 18:40:39