Trace number 4392458

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

NameBlackhole/Blackhole-xcsp2-s07/
Blackhole-4-07-1_X2.xml
MD5SUM6c4aeb96443502fd0f9a0dc0a71b4b92
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 benchmark168.634
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-23103-serial-file.bin HOME/instance-4392458-1568436672.xml
0.66/0.54	
0.66/0.54	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
0.66/0.54	
0.66/0.56	c BEGIN-Prog: Sat Sep 14 06:50:33 CEST 2019
0.66/0.56	c PID: 23106
0.66/0.56	c IP: 172.20.3.124
0.66/0.56	c HOST: node124.alineos.net
0.66/0.57	c (0,0) Parsing Begin
2.05/1.12	c (0,0) Parsing End
2.05/1.13	c (0,0) CSP: 109 int (0 aux), 2 bool (0 aux), 1261 ctr, max domain size 28
2.05/1.13	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.05/1.13	c (0,0) Constraint Name Generate Begin
2.05/1.14	c (0,0) Ctr:HOME/instance-4392458-1568436672.xml,ExtensionConflict:ExtensionSupport:Var
2.05/1.14	c (0,0) Constraint Name Generate End
2.05/1.14	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.05/1.14	c (0,0) CSP to CSPinCNF Begin
3.13/1.63	c (1,1) translated 127 (10%) constraints
3.54/1.74	c (1,1) translated 253 (20%) constraints
3.95/1.82	c (1,1) translated 379 (30%) constraints
3.95/1.88	c (1,1) translated 505 (40%) constraints
4.37/1.93	c (1,1) translated 631 (50%) constraints
4.37/1.98	c (1,1) translated 757 (60%) constraints
5.21/2.11	c (1,1) translated 883 (70%) constraints
5.89/2.35	c (1,1) translated 1009 (80%) constraints
6.17/2.57	c (2,2) translated 1135 (90%) constraints
6.74/2.88	c (2,2) translated 1261 (100%) constraints
6.74/2.88	c (2,2) ===========================================
6.74/2.88	c (2,2) Order
6.74/2.88	c (2,2) ===========================================
7.12/2.94	c (2,2) translated 1883 (10%) constraints
7.12/2.99	c (2,2) translated 3765 (20%) constraints
7.56/3.04	c (2,2) translated 5647 (30%) constraints
7.56/3.08	c (2,2) translated 7529 (40%) constraints
7.96/3.13	c (2,2) translated 9411 (50%) constraints
7.96/3.18	c (2,2) translated 11294 (60%) constraints
8.32/3.22	c (2,2) translated 13176 (70%) constraints
8.32/3.26	c (2,2) translated 15058 (80%) constraints
8.32/3.29	c (2,2) translated 16940 (90%) constraints
8.67/3.32	c (2,2) translated 18822 (100%) constraints
8.67/3.32	c (2,2) CSP to CSPinCNF End
8.67/3.33	c (2,2) CSP: 108 int (0 aux), 685 bool (682 aux), 18822 ctr, max domain size 28
8.67/3.33	c (2,2) Heap : 788 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB)
8.67/3.33	c (2,2) CSPinCNF Propagation Begin
9.80/3.68	c (3,3) 109 values, 8487 unsatisfiable literals, and 4834 valid clauses are removed
9.80/3.68	c (3,3) CSPinCNF Propagation End
9.80/3.68	c (3,3) CSP: 108 int (0 aux), 685 bool (682 aux), 13988 ctr, max domain size 26
9.80/3.68	c (3,3) Heap : 1013 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
9.80/3.68	c (3,3) Simplify CSPinCNF Begin
10.16/3.74	c (3,3) Simplify CSPinCNF End
10.16/3.74	c (3,3) CSP: 108 int (0 aux), 685 bool (682 aux), 13988 ctr, max domain size 26
10.16/3.74	c (3,3) Heap : 1013 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
10.16/3.74	c (3,3) Calculate Precise Domain Begin
10.16/3.74	c (3,3) 0 values are removed by re-calculation
10.16/3.74	c (3,3) Calculate Precise Domain End
10.16/3.74	c (3,3) CSP: 108 int (0 aux), 685 bool (682 aux), 13988 ctr, max domain size 26
10.16/3.74	c (3,3) Heap : 1013 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
10.16/3.74	c (3,3) CSPinCNF to SatSolver Begin
10.57/3.89	c (3,3) 1399 (10 %) CSP clauses are encoded (0 SAT variables, 3107 SAT clauses)
10.84/3.94	c (3,3) 2798 (20 %) CSP clauses are encoded (0 SAT variables, 4506 SAT clauses)
10.84/3.99	c (3,3) 4197 (30 %) CSP clauses are encoded (0 SAT variables, 5905 SAT clauses)
11.27/4.03	c (3,3) 5596 (40 %) CSP clauses are encoded (0 SAT variables, 7304 SAT clauses)
11.27/4.06	c (3,3) 6994 (50 %) CSP clauses are encoded (0 SAT variables, 8702 SAT clauses)
11.27/4.09	c (3,3) 8393 (60 %) CSP clauses are encoded (0 SAT variables, 10101 SAT clauses)
11.27/4.11	c (3,3) 9792 (70 %) CSP clauses are encoded (0 SAT variables, 11500 SAT clauses)
11.68/4.12	c (3,3) 11191 (80 %) CSP clauses are encoded (0 SAT variables, 12899 SAT clauses)
11.68/4.14	c (3,3) 12590 (90 %) CSP clauses are encoded (0 SAT variables, 14298 SAT clauses)
11.68/4.15	c (3,3) 13988 (100 %) CSP clauses are encoded (0 SAT variables, 15696 SAT clauses)
11.68/4.15	c (3,3) CSPinCNF to SatSolver End
11.68/4.15	c (3,3) Heap : 1126 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB)
11.68/4.15	c (3,3) 2482 bool, 15697 clause
11.68/4.15	c (3,3) Export Begin
11.82/4.25	c (3,3) Export to HOME/scop-23103-serial-file.bin
11.82/4.25	c (3,3) Export End
11.82/4.25	c (3,3) Export File Size: 0.02 MB
11.82/4.25	c (3,3) 0,0,2,3,3,3,3,STOP-AFTER(DIMACS)
11.82/4.25	c END-Prog: Sat Sep 14 06:50:36 CEST 2019
11.82/4.28	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-23103-serial-file.bin
11.97/4.73	c (0,0) Read Serial File Begin
11.97/4.73	c (0,0) HOME/scop-23103-serial-file.bin
11.97/4.96	c (0,0) Read Serial File End
11.97/4.97	
11.97/4.97	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
11.97/4.97	(Solving Process)
11.97/4.97	
11.97/4.99	c BEGIN-Prog: Sat Sep 14 06:50:37 CEST 2019
11.97/4.99	c PID: 23126
11.97/4.99	c IP: 172.20.3.124
11.97/4.99	c HOST: node124.alineos.net
11.97/5.00	c (0,0) SatSolver.solve Begin
11.97/5.00	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4392458-1568436672.xml-scop-23106.cnf
13.01/5.03	c (0,0) c
13.01/5.03	c (0,0) c This is deterministic version of glucose-syrup 4.1-27 (glucose in many threads) --  based on MiniSAT (Many thanks to MiniSAT team)
13.01/5.03	c (0,0) c
13.01/5.03	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
13.01/5.03	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
13.01/5.03	c (0,0) c ========================================[ Problem Statistics ]===========================================
13.01/5.03	c (0,0) c |                                                                                                       |
13.01/5.03	c (0,0) c |  Number of variables:          2480                                                                   |
13.01/5.03	c (0,0) c |  Number of clauses:           15697                                                                   |
13.01/5.03	c (0,0) c |  Parse time:                   0.01 s                                                                 |
13.01/5.03	c (0,0) c |                                                                                                       |
13.01/5.03	c (0,0) WARNING! DIMACS header mismatch: wrong number of variables.
13.01/5.04	c (0,0) c |  Simplification time:          0.01 s                                                                 |
13.01/5.04	c (0,0) c |                                                                                                       |
13.01/5.04	c (0,0) c |  Generating clones                                                                                    |
13.01/5.04	c (0,0) c |  all clones generated. Memory =    32.06Mb.                                                           |
13.01/5.04	c (0,0) c ========================================================================================================|
13.01/5.04	c (0,0) c
13.01/5.04	c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
13.01/5.04	c (0,0) c
13.01/5.04	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
13.01/5.04	c (0,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
13.01/5.04	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
13.01/5.04	c (0,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
13.01/5.04	c (0,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
13.01/5.04	c (0,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
13.01/5.04	c (0,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
13.01/5.04	c (0,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
13.01/5.04	c (0,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
13.01/5.04	c (0,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
13.01/5.04	c (0,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
13.01/5.04	c (0,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
13.01/5.04	c (0,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
13.01/5.04	c (0,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
13.01/5.04	c (0,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
13.01/5.04	c (0,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
13.01/5.04	c (0,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
13.01/5.04	c (0,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
13.01/5.04	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
242.22/34.50	c (29,0) c
242.22/34.50	c (29,0) c |------------------------------------------------------------------------------------------------------------------------|
242.22/34.50	c (29,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
242.22/34.50	c (29,0) c |------------------------------------------------------------------------------------------------------------------------|
242.22/34.50	c (29,0) c |  0 |    347 |     547859 |     299383 |     9469 |    67991 |    45722 |   282660 |    16146 |      302 |  20 |  0.848 |
242.22/34.50	c (29,0) c |  1 |    307 |     530002 |     288262 |     9140 |    56878 |    42330 |   290797 |    10932 |      295 |  20 |  0.847 |
242.22/34.50	c (29,0) c |  2 |    484 |     574887 |     302790 |     9463 |    71403 |    42209 |   295128 |    17615 |      302 |  20 |  0.848 |
242.22/34.50	c (29,0) c |  3 |    320 |     560682 |     290834 |     9098 |    59447 |    42139 |   303739 |    12562 |      315 |  20 |  0.847 |
242.22/34.50	c (29,0) c |  4 |    331 |     552780 |     299337 |     9279 |    67949 |    44179 |   280816 |    15156 |      314 |  20 |  0.848 |
242.22/34.50	c (29,0) c |  5 |    407 |     568916 |     303251 |     9376 |    36063 |    48394 |   297109 |    17143 |      314 |  20 |  0.848 |
242.22/34.50	c (29,0) c |  6 |    263 |     496535 |     280681 |     8982 |    49297 |    41296 |   299137 |    12477 |      315 |  20 |  0.847 |
242.22/34.50	c (29,0) c |  7 |    411 |     560373 |     295604 |     9399 |    64215 |    46506 |   270901 |    14789 |      304 |  20 |  0.848 |
242.22/34.50	c (29,0) c 
242.22/34.50	c (29,0) c synthesis     2360143 conflicts   177907699 propagations    10296 conflicts/sec   776134 propagations/sec
242.22/34.50	c (29,0) c real: 29.4717 s, cpu: 229.223 s, memory: 629.53 Mb
456.25/64.49	c (59,0) c
456.25/64.49	c (59,0) c |------------------------------------------------------------------------------------------------------------------------|
456.25/64.49	c (59,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
456.25/64.49	c (59,0) c |------------------------------------------------------------------------------------------------------------------------|
456.25/64.49	c (59,0) c |  0 |    424 |     846614 |     456057 |     9527 |    65872 |    59236 |   392751 |    24722 |      551 |  20 |  0.848 |
456.25/64.49	c (59,0) c |  1 |    421 |     848706 |     453113 |     9327 |    62930 |    57978 |   409878 |    24124 |      571 |  20 |  0.848 |
456.25/64.49	c (59,0) c |  2 |    540 |     901157 |     471657 |     9497 |    81469 |    61487 |   405630 |    26883 |      568 |  20 |  0.848 |
456.25/64.49	c (59,0) c |  3 |    424 |     850513 |     436360 |     9380 |    46177 |    55700 |   404575 |    25468 |      561 |  20 |  0.848 |
456.25/64.49	c (59,0) c |  4 |    417 |     872708 |     459991 |     9372 |    69804 |    60835 |   409991 |    26607 |      570 |  20 |  0.847 |
456.25/64.49	c (59,0) c |  5 |    490 |     890713 |     469651 |     9435 |    79459 |    66628 |   395533 |    26620 |      571 |  20 |  0.847 |
456.25/64.49	c (59,0) c |  6 |    327 |     794209 |     434042 |     9279 |    43852 |    54159 |   415640 |    23974 |      571 |  20 |  0.847 |
456.25/64.49	c (59,0) c |  7 |    480 |     866507 |     451593 |     9444 |    61402 |    59984 |   403715 |    27199 |      558 |  20 |  0.848 |
456.25/64.49	c (59,0) c 
456.25/64.49	c (59,0) c synthesis     3632466 conflicts   272126905 propagations     8198 conflicts/sec   614121 propagations/sec
456.25/64.49	c (59,0) c real: 59.4684 s, cpu: 443.116 s, memory: 695.84 Mb
662.26/93.49	c (88,0) c
662.26/93.49	c (88,0) c |------------------------------------------------------------------------------------------------------------------------|
662.26/93.49	c (88,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
662.26/93.49	c (88,0) c |------------------------------------------------------------------------------------------------------------------------|
662.26/93.49	c (88,0) c |  0 |    521 |    1098951 |     584969 |     9543 |    99789 |    69946 |   495555 |    34954 |      800 |  20 |  0.847 |
662.26/93.49	c (88,0) c |  1 |    479 |    1081239 |     571213 |     9374 |    86033 |    70024 |   492366 |    34583 |      800 |  20 |  0.848 |
662.26/93.49	c (88,0) c |  2 |    642 |    1133945 |     588579 |     9513 |    51995 |    70840 |   487699 |    37036 |      798 |  20 |  0.847 |
662.26/93.49	c (88,0) c |  3 |    521 |    1103457 |     564087 |     9427 |    78896 |    71116 |   474916 |    35131 |      800 |  20 |  0.848 |
662.26/93.49	c (88,0) c |  4 |    492 |    1115450 |     578936 |     9385 |    93751 |    71740 |   491648 |    37070 |      799 |  20 |  0.847 |
662.26/93.49	c (88,0) c |  5 |    568 |    1128342 |     591135 |     9458 |    54549 |    79649 |   482732 |    35591 |      800 |  20 |  0.848 |
662.26/93.49	c (88,0) c |  6 |    365 |    1035572 |     556381 |     9343 |    71188 |    66025 |   499109 |    33323 |      800 |  20 |  0.847 |
662.26/93.49	c (88,0) c |  7 |    532 |    1103817 |     570656 |     9460 |    85469 |    71260 |   485709 |    36426 |      780 |  20 |  0.847 |
662.26/93.49	c (88,0) c 
662.26/93.49	c (88,0) c synthesis     4605956 conflicts   344653178 propagations     7099 conflicts/sec   531193 propagations/sec
662.26/93.49	c (88,0) c real: 88.4687 s, cpu: 648.829 s, memory: 743.71 Mb
873.90/122.49	c (117,0) c
873.90/122.49	c (117,0) c |------------------------------------------------------------------------------------------------------------------------|
873.90/122.49	c (117,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
873.90/122.49	c (117,0) c |------------------------------------------------------------------------------------------------------------------------|
873.90/122.49	c (117,0) c |  0 |    574 |    1297705 |     684189 |     9553 |    93604 |    78952 |   545915 |    42579 |     1004 |  20 |  0.847 |
873.90/122.49	c (117,0) c |  1 |    517 |    1289446 |     673707 |     9392 |    83122 |    76241 |   552320 |    42283 |     1023 |  20 |  0.847 |
873.90/122.49	c (117,0) c |  2 |    704 |    1334027 |     690452 |     9528 |    99870 |    82176 |   549156 |    44589 |     1021 |  20 |  0.847 |
873.90/122.49	c (117,0) c |  3 |    558 |    1312282 |     670076 |     9443 |    79488 |    79906 |   549159 |    42099 |     1022 |  20 |  0.847 |
873.90/122.49	c (117,0) c |  4 |    557 |    1319310 |     679547 |     9398 |    88964 |    77944 |   551537 |    45422 |     1015 |  20 |  0.848 |
873.90/122.49	c (117,0) c |  5 |    608 |    1336277 |     697402 |     9471 |   106817 |    86937 |   532122 |    41836 |     1024 |  20 |  0.848 |
873.90/122.49	c (117,0) c |  6 |    437 |    1246973 |     661551 |     9357 |    70962 |    73342 |   558704 |    42236 |     1024 |  20 |  0.847 |
873.90/122.49	c (117,0) c |  7 |    568 |    1329936 |     683374 |     9477 |    92784 |    82128 |   548681 |    44637 |     1024 |  20 |  0.848 |
873.90/122.49	c (117,0) c 
873.90/122.49	c (117,0) c synthesis     5440299 conflicts   408066674 propagations     6327 conflicts/sec   474603 propagations/sec
873.90/122.49	c (117,0) c real: 117.468 s, cpu: 859.806 s, memory: 695.84 Mb
1023.03/143.82	c (139,0) c
1023.03/143.82	c (139,0) c real time : 138.796 s
1023.03/143.82	c (139,0) c cpu time  : 1007.9 s
1023.03/143.82	c (139,0) c
1023.03/143.82	c (139,0) c
1023.03/143.82	c (139,0) c
1023.03/143.82	c (139,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
1023.03/143.82	c (139,0) c
1023.03/143.82	c (139,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1023.03/143.82	c (139,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
1023.03/143.82	c (139,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1023.03/143.82	c (139,0) c | Conflicts     |         5930825 |     751150 |     734074 |     748661 |     730556 |     743615 |     755935 |     722998 |     743836 |
1023.03/143.82	c (139,0) c | Decisions     |        11442191 |    1433881 |    1410595 |    1447496 |    1434825 |    1444736 |    1452873 |    1369075 |    1448710 |
1023.03/143.82	c (139,0) c | Propagations  |       446906851 |   56317117 |   55330318 |   56155496 |   55205609 |   55736154 |   56641048 |   55500751 |   56020358 |
1023.03/143.82	c (139,0) c | ReduceDBs     |             184 |         23 |         23 |         23 |         23 |         23 |         23 |         23 |         23 |
1023.03/143.82	c (139,0) c | SimpDBs       |              76 |         10 |         10 |          9 |          9 |          9 |          8 |         10 |         11 |
1023.03/143.82	c (139,0) c | Restarts      |            4661 |        586 |        548 |        727 |        573 |        569 |        627 |        456 |        575 |
1023.03/143.82	c (139,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1023.03/143.82	c (139,0) c | PropBinClauses|       967053518 |  122145185 |  120028270 |  120424449 |  120057957 |  118487044 |  122303187 |  123720869 |  119886557 |
1023.03/143.82	c (139,0) c | PropPreBlocker|     31757208999 | 3998835914 | 3994926162 | 3951500699 | 3985969350 | 3906168113 | 4017829441 | 3924373125 | 3977606195 |
1023.03/143.82	c (139,0) c | PropNotBlocker|      5298207609 |  663924978 |  653698019 |  675677005 |  657262222 |  669134956 |  656018811 |  673000978 |  649490640 |
1023.03/143.82	c (139,0) c | LitFullScans  |     56514809912 | 7063292304 | 7063052897 | 7063125802 | 7063449272 | 7063126041 | 7066483708 | 7069161527 | 7063118361 |
1023.03/143.82	c (139,0) c | LitScanFracts |         9153738 |    1286011 |    1019213 |    1101701 |    1442216 |    1102560 |     939742 |    1155463 |    1106832 |
1023.03/143.82	c (139,0) c | DecisionLevel0|            4759 |        599 |        558 |        737 |        583 |        582 |        643 |        469 |        588 |
1023.03/143.82	c (139,0) c | Periods       |            9417 |       1177 |       1177 |       1177 |       1177 |       1177 |       1177 |       1178 |       1177 |
1023.03/143.82	c (139,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
1023.03/143.82	c (139,0) c | Avg_Trail     |                 |        631 |        628 |        631 |        631 |        628 |        634 |        625 |        629 |
1023.03/143.82	c (139,0) c | Avg_DL        |                 |         21 |         20 |         22 |         21 |         21 |         21 |         20 |         22 |
1023.03/143.82	c (139,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1023.03/143.82	c (139,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1023.03/143.82	c (139,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1023.03/143.82	c (139,0) c | Exported      |          682661 |      85294 |      81221 |      87613 |      85215 |      83241 |      91455 |      80500 |      88122 |
1023.03/143.82	c (139,0) c | Imported      |         4716978 |     589075 |     591921 |     587467 |     586593 |     592030 |     585537 |     596691 |     587664 |
1023.03/143.82	c (139,0) c | Good          |           14267 |       1730 |       1773 |       1788 |       1785 |       1796 |       1778 |       1825 |       1792 |
1023.03/143.82	c (139,0) c | Purge         |         4702711 |     587345 |     590148 |     585679 |     584808 |     590234 |     583759 |     594866 |     585872 |
1023.03/143.82	c (139,0) c | Promoted      |          389962 |      48200 |      48359 |      49338 |      48151 |      51206 |      47462 |      47373 |      49873 |
1023.03/143.82	c (139,0) c | Remove_Imp    |         3626948 |     447849 |     462464 |     446873 |     466860 |     454018 |     436501 |     470617 |     441766 |
1023.03/143.82	c (139,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1023.03/143.82	c (139,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1023.03/143.82	c (139,0) c | Unaries       |                 |         13 |         10 |         10 |         10 |         13 |         16 |         13 |         13 |
1023.03/143.82	c (139,0) c | Binaries      |                 |        315 |        265 |        261 |        229 |        262 |        293 |        238 |        263 |
1023.03/143.82	c (139,0) c | Glues         |                 |       1097 |        972 |       1022 |        966 |        900 |       1048 |        915 |        968 |
1023.03/143.82	c (139,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1023.03/143.82	c (139,0) c | Orig_Seen     |            87 % |       9558 |       9403 |       9538 |       9453 |       9404 |       9481 |       9366 |       9483 |
1023.03/143.82	c (139,0) c | Diff Orig seen|                 |         77 | -       78 |         57 | -       28 | -       77 |      X     | -      115 |          2 |
1023.03/143.82	c (139,0) c | Hamming       |            10 % |        272 |        224 |        318 |        259 |        235 |      X     |        283 |        254 |
1023.03/143.82	c (139,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1023.03/143.82	c (139,0) c | RunningTime   |                 |  136.0  98%|  130.4  95%|  131.9  96%|  126.5  92%|  129.1  94%|  119.3  87%|  103.9  76%|  133.5  97%|
1023.03/143.82	c (139,0) c | WaitingTime   |                 |    2.4   2%|    6.8   5%|    5.2   4%|   10.5   8%|    8.4   6%|   17.6  13%|   33.0  24%|    3.7   3%|
1023.03/143.82	c (139,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%|
1023.03/143.82	c (139,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%|
1023.03/143.82	c (139,0) c | SolvingTime   |                 |  138.7     |  137.5     |  137.5     |  137.3     |  137.8     |  137.3     |  137.3     |  137.6     |
1023.03/143.82	c (139,0) c | PropagationTim|                 |   89.5  65%|   90.0  65%|   92.5  67%|   94.1  69%|   93.0  68%|  110.6  81%|  123.6  90%|   86.7  63%|
1023.03/143.82	c (139,0) c | AnalysisTime  |                 |   46.0  33%|   44.2  32%|   41.7  30%|   40.0  29%|   41.6  30%|   23.2  17%|   10.3   7%|   47.6  35%|
1023.03/143.82	c (139,0) c | ReductionTime |                 |    1.2   1%|    1.3   1%|    1.2   1%|    1.2   1%|    1.2   1%|    1.3   1%|    1.4   1%|    1.2   1%|
1023.03/143.82	c (139,0) c | SimplifyTime  |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
1023.03/143.82	c (139,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%|
1023.03/143.82	c (139,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%|
1023.03/143.82	c (139,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1023.03/143.82	c (139,0) c
1023.03/143.82	c (139,0) c
1023.03/143.82	c (139,0) c Threads : 8
1023.03/143.82	c (139,0) c Winner : 5
1023.03/143.82	c (139,0) c Conflicts_0 : 751150
1023.03/143.82	c (139,0) c Conflicts_1 : 734074
1023.03/143.82	c (139,0) c Conflicts_2 : 748661
1023.03/143.82	c (139,0) c Conflicts_3 : 730556
1023.03/143.82	c (139,0) c Conflicts_4 : 743615
1023.03/143.82	c (139,0) c Conflicts_5 : 755935
1023.03/143.82	c (139,0) c Conflicts_6 : 722998
1023.03/143.82	c (139,0) c Conflicts_7 : 743836
1023.03/143.82	c (139,0) c Conflicts_total : 5930825
1023.03/143.82	c (139,0) c Conflicts_winner : 755935
1023.03/143.82	c (139,0) c Decisions_0 : 1433881
1023.03/143.82	c (139,0) c Decisions_1 : 1410595
1023.03/143.82	c (139,0) c Decisions_2 : 1447496
1023.03/143.82	c (139,0) c Decisions_3 : 1434825
1023.03/143.82	c (139,0) c Decisions_4 : 1444736
1023.03/143.82	c (139,0) c Decisions_5 : 1452873
1023.03/143.82	c (139,0) c Decisions_6 : 1369075
1023.03/143.82	c (139,0) c Decisions_7 : 1448710
1023.03/143.82	c (139,0) c Decisions_total : 11442191
1023.03/143.82	c (139,0) c Decisions_winner : 1452873
1023.03/143.82	c (139,0) c Propagations_0 : 56317117
1023.03/143.82	c (139,0) c Propagations_1 : 55330318
1023.03/143.82	c (139,0) c Propagations_2 : 56155496
1023.03/143.82	c (139,0) c Propagations_3 : 55205609
1023.03/143.82	c (139,0) c Propagations_4 : 55736154
1023.03/143.82	c (139,0) c Propagations_5 : 56641048
1023.03/143.82	c (139,0) c Propagations_6 : 55500751
1023.03/143.82	c (139,0) c Propagations_7 : 56020358
1023.03/143.82	c (139,0) c Propagations_total : 446906851
1023.03/143.82	c (139,0) c Propagations_winner : 56641048
1023.03/143.82	c (139,0) c ReduceDBs_0 : 23
1023.03/143.82	c (139,0) c ReduceDBs_1 : 23
1023.03/143.82	c (139,0) c ReduceDBs_2 : 23
1023.03/143.82	c (139,0) c ReduceDBs_3 : 23
1023.03/143.82	c (139,0) c ReduceDBs_4 : 23
1023.03/143.82	c (139,0) c ReduceDBs_5 : 23
1023.03/143.82	c (139,0) c ReduceDBs_6 : 23
1023.03/143.82	c (139,0) c ReduceDBs_7 : 23
1023.03/143.82	c (139,0) c ReduceDBs_total : 184
1023.03/143.82	c (139,0) c ReduceDBs_winner : 23
1023.03/143.82	c (139,0) c SimpDBs_0 : 10
1023.03/143.82	c (139,0) c SimpDBs_1 : 10
1023.03/143.82	c (139,0) c SimpDBs_2 : 9
1023.03/143.82	c (139,0) c SimpDBs_3 : 9
1023.03/143.82	c (139,0) c SimpDBs_4 : 9
1023.03/143.82	c (139,0) c SimpDBs_5 : 8
1023.03/143.82	c (139,0) c SimpDBs_6 : 10
1023.03/143.82	c (139,0) c SimpDBs_7 : 11
1023.03/143.82	c (139,0) c SimpDBs_total : 76
1023.03/143.82	c (139,0) c SimpDBs_winner : 8
1023.03/143.82	c (139,0) c Restarts_0 : 586
1023.03/143.82	c (139,0) c Restarts_1 : 548
1023.03/143.82	c (139,0) c Restarts_2 : 727
1023.03/143.82	c (139,0) c Restarts_3 : 573
1023.03/143.82	c (139,0) c Restarts_4 : 569
1023.03/143.82	c (139,0) c Restarts_5 : 627
1023.03/143.82	c (139,0) c Restarts_6 : 456
1023.03/143.82	c (139,0) c Restarts_7 : 575
1023.03/143.82	c (139,0) c Restarts_total : 4661
1023.03/143.82	c (139,0) c Restarts_winner : 627
1023.03/143.82	c (139,0) c ForcedImports_0 : 0
1023.03/143.82	c (139,0) c ForcedImports_1 : 0
1023.03/143.82	c (139,0) c ForcedImports_2 : 0
1023.03/143.82	c (139,0) c ForcedImports_3 : 0
1023.03/143.82	c (139,0) c ForcedImports_4 : 0
1023.03/143.82	c (139,0) c ForcedImports_5 : 0
1023.03/143.82	c (139,0) c ForcedImports_6 : 0
1023.03/143.82	c (139,0) c ForcedImports_7 : 0
1023.03/143.82	c (139,0) c ForcedImports_total : 0
1023.03/143.82	c (139,0) c ForcedImports_winner : 0
1023.03/143.82	c (139,0) c PropsBinClauses_0 : 122145185
1023.03/143.82	c (139,0) c PropsBinClauses_1 : 120028270
1023.03/143.82	c (139,0) c PropsBinClauses_2 : 120424449
1023.03/143.82	c (139,0) c PropsBinClauses_3 : 120057957
1023.03/143.82	c (139,0) c PropsBinClauses_4 : 118487044
1023.03/143.82	c (139,0) c PropsBinClauses_5 : 122303187
1023.03/143.82	c (139,0) c PropsBinClauses_6 : 123720869
1023.03/143.82	c (139,0) c PropsBinClauses_7 : 119886557
1023.03/143.82	c (139,0) c PropsBinClauses_total : 967053518
1023.03/143.82	c (139,0) c PropsBinClauses_winner : 122303187
1023.03/143.82	c (139,0) c PropsPreBlocker_0 : 3998835914
1023.03/143.82	c (139,0) c PropsPreBlocker_1 : 3994926162
1023.03/143.82	c (139,0) c PropsPreBlocker_2 : 3951500699
1023.03/143.82	c (139,0) c PropsPreBlocker_3 : 3985969350
1023.03/143.82	c (139,0) c PropsPreBlocker_4 : 3906168113
1023.03/143.82	c (139,0) c PropsPreBlocker_5 : 4017829441
1023.03/143.82	c (139,0) c PropsPreBlocker_6 : 3924373125
1023.03/143.82	c (139,0) c PropsPreBlocker_7 : 3977606195
1023.03/143.82	c (139,0) c PropsPreBlocker_total : 31757208999
1023.03/143.82	c (139,0) c PropsPreBlocker_winner : 4017829441
1023.03/143.82	c (139,0) c PropsNotBlocker_0 : 663924978
1023.03/143.82	c (139,0) c PropsNotBlocker_1 : 653698019
1023.03/143.82	c (139,0) c PropsNotBlocker_2 : 675677005
1023.03/143.82	c (139,0) c PropsNotBlocker_3 : 657262222
1023.03/143.82	c (139,0) c PropsNotBlocker_4 : 669134956
1023.03/143.82	c (139,0) c PropsNotBlocker_5 : 656018811
1023.03/143.82	c (139,0) c PropsNotBlocker_6 : 673000978
1023.03/143.82	c (139,0) c PropsNotBlocker_7 : 649490640
1023.03/143.82	c (139,0) c PropsNotBlocker_total : 5298207609
1023.03/143.82	c (139,0) c PropsNotBlocker_winner : 656018811
1023.03/143.82	c (139,0) c PropsLitFullScans_0 : 7063292304
1023.03/143.82	c (139,0) c PropsLitFullScans_1 : 7063052897
1023.03/143.82	c (139,0) c PropsLitFullScans_2 : 7063125802
1023.03/143.82	c (139,0) c PropsLitFullScans_3 : 7063449272
1023.03/143.82	c (139,0) c PropsLitFullScans_4 : 7063126041
1023.03/143.82	c (139,0) c PropsLitFullScans_5 : 7066483708
1023.03/143.82	c (139,0) c PropsLitFullScans_6 : 7069161527
1023.03/143.82	c (139,0) c PropsLitFullScans_7 : 7063118361
1023.03/143.82	c (139,0) c PropsLitFullScans_total : 56514809912
1023.03/143.82	c (139,0) c PropsLitFullScans_winner : 7066483708
1023.03/143.82	c (139,0) c LitScanFractions_0 : 1286011
1023.03/143.82	c (139,0) c LitScanFractions_1 : 1019213
1023.03/143.82	c (139,0) c LitScanFractions_2 : 1101701
1023.03/143.82	c (139,0) c LitScanFractions_3 : 1442216
1023.03/143.82	c (139,0) c LitScanFractions_4 : 1102560
1023.03/143.82	c (139,0) c LitScanFractions_5 : 939742
1023.03/143.82	c (139,0) c LitScanFractions_6 : 1155463
1023.03/143.82	c (139,0) c LitScanFractions_7 : 1106832
1023.03/143.82	c (139,0) c LitScanFractions_total : 9153738
1023.03/143.82	c (139,0) c LitScanFractions_winner : 939742
1023.03/143.82	c (139,0) c DecisionLevel0_0 : 599
1023.03/143.82	c (139,0) c DecisionLevel0_1 : 558
1023.03/143.82	c (139,0) c DecisionLevel0_2 : 737
1023.03/143.82	c (139,0) c DecisionLevel0_3 : 583
1023.03/143.82	c (139,0) c DecisionLevel0_4 : 582
1023.03/143.82	c (139,0) c DecisionLevel0_5 : 643
1023.03/143.82	c (139,0) c DecisionLevel0_6 : 469
1023.03/143.82	c (139,0) c DecisionLevel0_7 : 588
1023.03/143.82	c (139,0) c DecisionLevel0_total : 4759
1023.03/143.82	c (139,0) c DecisionLevel0_winner : 643
1023.03/143.82	c (139,0) c Periods_0 : 1177
1023.03/143.83	c (139,0) c Periods_1 : 1177
1023.03/143.83	c (139,0) c Periods_2 : 1177
1023.03/143.83	c (139,0) c Periods_3 : 1177
1023.03/143.83	c (139,0) c Periods_4 : 1177
1023.03/143.83	c (139,0) c Periods_5 : 1177
1023.03/143.83	c (139,0) c Periods_6 : 1178
1023.03/143.83	c (139,0) c Periods_7 : 1177
1023.03/143.83	c (139,0) c Periods_total : 9417
1023.03/143.83	c (139,0) c Periods_winner : 1177
1023.03/143.83	c (139,0) c Margin_0 : 20
1023.03/143.83	c (139,0) c Margin_1 : 20
1023.03/143.83	c (139,0) c Margin_2 : 20
1023.03/143.83	c (139,0) c Margin_3 : 20
1023.03/143.83	c (139,0) c Margin_4 : 20
1023.03/143.83	c (139,0) c Margin_5 : 20
1023.03/143.83	c (139,0) c Margin_6 : 20
1023.03/143.83	c (139,0) c Margin_7 : 20
1023.03/143.83	c (139,0) c Margin_total : 160
1023.03/143.83	c (139,0) c Margin_winner : 20
1023.03/143.83	c (139,0) c Exported_0 : 85294
1023.03/143.83	c (139,0) c Exported_1 : 81221
1023.03/143.83	c (139,0) c Exported_2 : 87613
1023.03/143.83	c (139,0) c Exported_3 : 85215
1023.03/143.83	c (139,0) c Exported_4 : 83241
1023.03/143.83	c (139,0) c Exported_5 : 91455
1023.03/143.83	c (139,0) c Exported_6 : 80500
1023.03/143.83	c (139,0) c Exported_7 : 88122
1023.03/143.83	c (139,0) c Exported_total : 682661
1023.03/143.83	c (139,0) c Exported_winner : 91455
1023.03/143.83	c (139,0) c Imported_0 : 589075
1023.03/143.83	c (139,0) c Imported_1 : 591921
1023.03/143.83	c (139,0) c Imported_2 : 587467
1023.03/143.83	c (139,0) c Imported_3 : 586593
1023.03/143.83	c (139,0) c Imported_4 : 592030
1023.03/143.83	c (139,0) c Imported_5 : 585537
1023.03/143.83	c (139,0) c Imported_6 : 596691
1023.03/143.83	c (139,0) c Imported_7 : 587664
1023.03/143.83	c (139,0) c Imported_total : 4716978
1023.03/143.83	c (139,0) c Imported_winner : 585537
1023.03/143.83	c (139,0) c Good_0 : 1730
1023.03/143.83	c (139,0) c Good_1 : 1773
1023.03/143.83	c (139,0) c Good_2 : 1788
1023.03/143.83	c (139,0) c Good_3 : 1785
1023.03/143.83	c (139,0) c Good_4 : 1796
1023.03/143.83	c (139,0) c Good_5 : 1778
1023.03/143.83	c (139,0) c Good_6 : 1825
1023.03/143.83	c (139,0) c Good_7 : 1792
1023.03/143.83	c (139,0) c Good_total : 14267
1023.03/143.83	c (139,0) c Good_winner : 1778
1023.03/143.83	c (139,0) c Purge_0 : 587345
1023.03/143.83	c (139,0) c Purge_1 : 590148
1023.03/143.83	c (139,0) c Purge_2 : 585679
1023.03/143.83	c (139,0) c Purge_3 : 584808
1023.03/143.83	c (139,0) c Purge_4 : 590234
1023.03/143.83	c (139,0) c Purge_5 : 583759
1023.03/143.83	c (139,0) c Purge_6 : 594866
1023.03/143.83	c (139,0) c Purge_7 : 585872
1023.03/143.83	c (139,0) c Purge_total : 4702711
1023.03/143.83	c (139,0) c Purge_winner : 583759
1023.03/143.83	c (139,0) c Promoted_0 : 48200
1023.03/143.83	c (139,0) c Promoted_1 : 48359
1023.03/143.83	c (139,0) c Promoted_2 : 49338
1023.03/143.83	c (139,0) c Promoted_3 : 48151
1023.03/143.83	c (139,0) c Promoted_4 : 51206
1023.03/143.83	c (139,0) c Promoted_5 : 47462
1023.03/143.83	c (139,0) c Promoted_6 : 47373
1023.03/143.83	c (139,0) c Promoted_7 : 49873
1023.03/143.83	c (139,0) c Promoted_total : 389962
1023.03/143.83	c (139,0) c Promoted_winner : 47462
1023.03/143.83	c (139,0) c Remove_Imp_0 : 447849
1023.03/143.83	c (139,0) c Remove_Imp_1 : 462464
1023.03/143.83	c (139,0) c Remove_Imp_2 : 446873
1023.03/143.83	c (139,0) c Remove_Imp_3 : 466860
1023.03/143.83	c (139,0) c Remove_Imp_4 : 454018
1023.03/143.83	c (139,0) c Remove_Imp_5 : 436501
1023.03/143.83	c (139,0) c Remove_Imp_6 : 470617
1023.03/143.83	c (139,0) c Remove_Imp_7 : 441766
1023.03/143.83	c (139,0) c Remove_Imp_total : 3626948
1023.03/143.83	c (139,0) c Remove_Imp_winner : 436501
1023.03/143.83	c (139,0) c Blocked_Reuse_0 : 0
1023.03/143.83	c (139,0) c Blocked_Reuse_1 : 0
1023.03/143.83	c (139,0) c Blocked_Reuse_2 : 0
1023.03/143.83	c (139,0) c Blocked_Reuse_3 : 0
1023.03/143.83	c (139,0) c Blocked_Reuse_4 : 0
1023.03/143.83	c (139,0) c Blocked_Reuse_5 : 0
1023.03/143.83	c (139,0) c Blocked_Reuse_6 : 0
1023.03/143.83	c (139,0) c Blocked_Reuse_7 : 0
1023.03/143.83	c (139,0) c Blocked_Reuse_total : 0
1023.03/143.83	c (139,0) c Blocked_Reuse_winner : 0
1023.03/143.83	c (139,0) c Unaries_0 : 13
1023.03/143.83	c (139,0) c Unaries_1 : 10
1023.03/143.83	c (139,0) c Unaries_2 : 10
1023.03/143.83	c (139,0) c Unaries_3 : 10
1023.03/143.83	c (139,0) c Unaries_4 : 13
1023.03/143.83	c (139,0) c Unaries_5 : 16
1023.03/143.83	c (139,0) c Unaries_6 : 13
1023.03/143.83	c (139,0) c Unaries_7 : 13
1023.03/143.83	c (139,0) c Unaries_total : 98
1023.03/143.83	c (139,0) c Unaries_winner : 16
1023.03/143.83	c (139,0) c Binaries_0 : 315
1023.03/143.83	c (139,0) c Binaries_1 : 265
1023.03/143.83	c (139,0) c Binaries_2 : 261
1023.03/143.83	c (139,0) c Binaries_3 : 229
1023.03/143.83	c (139,0) c Binaries_4 : 262
1023.03/143.83	c (139,0) c Binaries_5 : 293
1023.03/143.83	c (139,0) c Binaries_6 : 238
1023.03/143.83	c (139,0) c Binaries_7 : 263
1023.03/143.83	c (139,0) c Binaries_total : 2126
1023.03/143.83	c (139,0) c Binaries_winner : 293
1023.03/143.83	c (139,0) c Glues_0 : 1097
1023.03/143.83	c (139,0) c Glues_1 : 972
1023.03/143.83	c (139,0) c Glues_2 : 1022
1023.03/143.83	c (139,0) c Glues_3 : 966
1023.03/143.83	c (139,0) c Glues_4 : 900
1023.03/143.83	c (139,0) c Glues_5 : 1048
1023.03/143.83	c (139,0) c Glues_6 : 915
1023.03/143.83	c (139,0) c Glues_7 : 968
1023.03/143.83	c (139,0) c Glues_total : 7888
1023.03/143.83	c (139,0) c Glues_winner : 1048
1023.03/143.83	c (139,0) c RunningTime_0 : 135.954654
1023.03/143.83	c (139,0) c RunningTime_1 : 130.425303
1023.03/143.83	c (139,0) c RunningTime_2 : 131.937681
1023.03/143.83	c (139,0) c RunningTime_3 : 126.460818
1023.03/143.83	c (139,0) c RunningTime_4 : 129.094482
1023.03/143.83	c (139,0) c RunningTime_5 : 119.322831
1023.03/143.83	c (139,0) c RunningTime_6 : 103.919512
1023.03/143.83	c (139,0) c RunningTime_7 : 133.502134
1023.03/143.83	c (139,0) c RunningTime_total : 1010.617417
1023.03/143.83	c (139,0) c RunningTime_winner : 119.322831
1023.03/143.83	c (139,0) c WaitingTime_0 : 2.394460
1023.03/143.83	c (139,0) c WaitingTime_1 : 6.750264
1023.03/143.83	c (139,0) c WaitingTime_2 : 5.241889
1023.03/143.83	c (139,0) c WaitingTime_3 : 10.548648
1023.03/143.83	c (139,0) c WaitingTime_4 : 8.360296
1023.03/143.83	c (139,0) c WaitingTime_5 : 17.586047
1023.03/143.83	c (139,0) c WaitingTime_6 : 33.009243
1023.03/143.83	c (139,0) c WaitingTime_7 : 3.728861
1023.03/143.83	c (139,0) c WaitingTime_total : 87.619710
1023.03/143.83	c (139,0) c WaitingTime_winner : 17.586047
1023.03/143.83	c (139,0) c ExchangingTime_0 : 0.334528
1023.03/143.83	c (139,0) c ExchangingTime_1 : 0.309331
1023.03/143.83	c (139,0) c ExchangingTime_2 : 0.319597
1023.03/143.83	c (139,0) c ExchangingTime_3 : 0.307336
1023.03/143.83	c (139,0) c ExchangingTime_4 : 0.304728
1023.03/143.83	c (139,0) c ExchangingTime_5 : 0.329491
1023.03/143.83	c (139,0) c ExchangingTime_6 : 0.336659
1023.03/143.83	c (139,0) c ExchangingTime_7 : 0.324606
1023.03/143.83	c (139,0) c ExchangingTime_total : 2.566277
1023.03/143.83	c (139,0) c ExchangingTime_winner : 0.329491
1023.03/143.83	c (139,0) c PeriodProcTime_0 : 0.016244
1023.03/143.83	c (139,0) c PeriodProcTime_1 : 0.012883
1023.03/143.83	c (139,0) c PeriodProcTime_2 : 0.011911
1023.03/143.83	c (139,0) c PeriodProcTime_3 : 0.009923
1023.03/143.83	c (139,0) c PeriodProcTime_4 : 0.011902
1023.03/143.83	c (139,0) c PeriodProcTime_5 : 0.012418
1023.03/143.83	c (139,0) c PeriodProcTime_6 : 0.012163
1023.03/143.83	c (139,0) c PeriodProcTime_7 : 0.011258
1023.03/143.83	c (139,0) c PeriodProcTime_total : 0.098702
1023.03/143.83	c (139,0) c PeriodProcTime_winner : 0.012418
1023.03/143.83	c (139,0) c SolvingTime_0 : 138.699887
1023.03/143.83	c (139,0) c SolvingTime_1 : 137.497782
1023.03/143.83	c (139,0) c SolvingTime_2 : 137.511079
1023.03/143.83	c (139,0) c SolvingTime_3 : 137.326725
1023.03/143.83	c (139,0) c SolvingTime_4 : 137.771408
1023.03/143.83	c (139,0) c SolvingTime_5 : 137.250787
1023.03/143.83	c (139,0) c SolvingTime_6 : 137.277577
1023.03/143.83	c (139,0) c SolvingTime_7 : 137.566859
1023.03/143.83	c (139,0) c SolvingTime_total : 1100.902105
1023.03/143.83	c (139,0) c SolvingTime_winner : 137.250787
1023.03/143.83	c (139,0) c PropagationTime_0 : 89.466209
1023.03/143.83	c (139,0) c PropagationTime_1 : 90.017713
1023.03/143.83	c (139,0) c PropagationTime_2 : 92.510585
1023.03/143.83	c (139,0) c PropagationTime_3 : 94.134607
1023.03/143.83	c (139,0) c PropagationTime_4 : 93.031862
1023.03/143.83	c (139,0) c PropagationTime_5 : 110.639939
1023.03/143.83	c (139,0) c PropagationTime_6 : 123.589825
1023.03/143.83	c (139,0) c PropagationTime_7 : 86.698033
1023.03/143.83	c (139,0) c PropagationTime_total : 780.088773
1023.03/143.83	c (139,0) c PropagationTime_winner : 110.639939
1023.03/143.83	c (139,0) c AnalysisTime_0 : 46.035248
1023.03/143.83	c (139,0) c AnalysisTime_1 : 44.230314
1023.03/143.83	c (139,0) c AnalysisTime_2 : 41.710074
1023.03/143.83	c (139,0) c AnalysisTime_3 : 39.952129
1023.03/143.83	c (139,0) c AnalysisTime_4 : 41.556628
1023.03/143.83	c (139,0) c AnalysisTime_5 : 23.179816
1023.03/143.83	c (139,0) c AnalysisTime_6 : 10.295027
1023.03/143.83	c (139,0) c AnalysisTime_7 : 47.618870
1023.03/143.83	c (139,0) c AnalysisTime_total : 294.578104
1023.03/143.83	c (139,0) c AnalysisTime_winner : 23.179816
1023.03/143.83	c (139,0) c ReductionTime_0 : 1.192237
1023.03/143.83	c (139,0) c ReductionTime_1 : 1.259491
1023.03/143.83	c (139,0) c ReductionTime_2 : 1.240527
1023.03/143.83	c (139,0) c ReductionTime_3 : 1.247555
1023.03/143.83	c (139,0) c ReductionTime_4 : 1.192131
1023.03/143.83	c (139,0) c ReductionTime_5 : 1.314356
1023.03/143.83	c (139,0) c ReductionTime_6 : 1.393950
1023.03/143.83	c (139,0) c ReductionTime_7 : 1.232322
1023.03/143.83	c (139,0) c ReductionTime_total : 10.072569
1023.03/143.83	c (139,0) c ReductionTime_winner : 1.314356
1023.03/143.83	c (139,0) c SimplifyTime_0 : 0.025770
1023.03/143.83	c (139,0) c SimplifyTime_1 : 0.034138
1023.03/143.83	c (139,0) c SimplifyTime_2 : 0.022261
1023.03/143.83	c (139,0) c SimplifyTime_3 : 0.048411
1023.03/143.83	c (139,0) c SimplifyTime_4 : 0.024542
1023.03/143.83	c (139,0) c SimplifyTime_5 : 0.025681
1023.03/143.83	c (139,0) c SimplifyTime_6 : 0.034306
1023.03/143.83	c (139,0) c SimplifyTime_7 : 0.031604
1023.03/143.83	c (139,0) c SimplifyTime_total : 0.246713
1023.03/143.83	c (139,0) c SimplifyTime_winner : 0.025681
1023.03/143.83	c (139,0) c UsedRateTime_0 : 0.000000
1023.03/143.83	c (139,0) c UsedRateTime_1 : 0.000000
1023.03/143.83	c (139,0) c UsedRateTime_2 : 0.000000
1023.03/143.83	c (139,0) c UsedRateTime_3 : 0.000000
1023.03/143.83	c (139,0) c UsedRateTime_4 : 0.000000
1023.03/143.83	c (139,0) c UsedRateTime_5 : 0.000000
1023.03/143.83	c (139,0) c UsedRateTime_6 : 0.000000
1023.03/143.83	c (139,0) c UsedRateTime_7 : 0.000000
1023.03/143.83	c (139,0) c UsedRateTime_total : 0.000000
1023.03/143.83	c (139,0) c UsedRateTime_winner : 0.000000
1023.03/143.83	c (139,0) c OverlapRateTime_0 : 0.000000
1023.03/143.83	c (139,0) c OverlapRateTime_1 : 0.000000
1023.03/143.83	c (139,0) c OverlapRateTime_2 : 0.000000
1023.03/143.83	c (139,0) c OverlapRateTime_3 : 0.000000
1023.03/143.83	c (139,0) c OverlapRateTime_4 : 0.000000
1023.03/143.83	c (139,0) c OverlapRateTime_5 : 0.000000
1023.03/143.83	c (139,0) c OverlapRateTime_6 : 0.000000
1023.03/143.83	c (139,0) c OverlapRateTime_7 : 0.000000
1023.03/143.83	c (139,0) c OverlapRateTime_total : 0.000000
1023.03/143.83	c (139,0) c OverlapRateTime_winner : 0.000000
1023.03/143.83	c (139,0) c
1023.03/143.83	c (139,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
1023.03/143.83	c (139,0) c
1023.03/143.83	c (139,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
1023.03/143.83	c (139,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
1023.03/143.83	c (139,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
1023.03/143.83	c (139,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
1023.03/143.83	c (139,0) c | adaptStrategeis       |      False |      False |      False |      False |      False |      False |      False |      False |
1023.03/143.83	c (139,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
1023.03/143.83	c (139,0) c | Initial random_seed   | 2049420632 | 1099155255 | 1453662295 | 1580874481 | 1014035928 | 2012583057 |   73979768 | 1187402853 |
1023.03/143.83	c (139,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
1023.03/143.83	c (139,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
1023.03/143.83	c (139,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
1023.03/143.83	c (139,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
1023.03/143.83	c (139,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
1023.03/143.83	c (139,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
1023.03/143.83	c (139,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
1023.03/143.83	c (139,0) c | var_decay             |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
1023.03/143.83	c (139,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
1023.03/143.83	c (139,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
1023.03/143.83	c (139,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
1023.03/143.83	c (139,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
1023.03/143.83	c (139,0) 
1023.03/143.83	c (139,0) s UNSATISFIABLE
1023.03/143.84	c (139,0) SatSolver.solve End
1023.03/143.84	c (139,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
1023.03/143.84	c (139,0) Show results Begin
1023.03/143.84	s UNSATISFIABLE
1023.03/143.84	c (139,0) Show results End
1023.03/143.84	c (139,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
1023.03/143.85	c (139,0) 139,139,STOP-AFTER(ALL)
1023.03/143.85	c END-Prog: Sat Sep 14 06:52:56 CEST 2019

Verifier Data


Watcher Data 

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (13850 MiB free)
  memory of node 1: 16384 MiB (14246 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392458-1568436672/watcher-4392458-1568436672 -o /tmp/evaluation-result-4392458-1568436672/solver-4392458-1568436672 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node124-1568427058-21341 --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-4392458-1568436672.xml 

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

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


[startup+0.100058 s]*
/proc/loadavg: 7.42 6.47 6.43 3/212 23125
/proc/meminfo: memFree=28674240/32770624 swapFree=66959228/67108860
[pid=23103] ppid=23100 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/23103/stat : 23103 (scop.sh) S 23100 23103 21314 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 419607365 115843072 349 33554432000 4194304 5098028 140726416369728 140726416366984 139969485722236 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 36098048 140726416376613 140726416376940 140726416376940 140726416379853 0
/proc/23103/statm: 28282 349 296 221 0 87 0
[pid=23106] ppid=23103 vsize=27314120 memory=108660 CPUtime=0.1 cores=0-7
/proc/23106/stat : 23106 (java) S 23103 23103 21314 0 -1 1077944320 6724 0 0 0 8 2 0 0 20 0 20 0 419607366 27969658880 27165 33554432000 4194304 4196468 140731167336896 140731167319440 140685752512247 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29499392 140731167343339 140731167343766 140731167343766 140731167346639 0
/proc/23106/statm: 6828530 27165 2804 1 0 6790935 0
[pid=23106/tid=23107] ppid=23103 vsize=27314120 memory=7752836191169191831 CPUtime=0.09 cores=0-7
/proc/23106/task/23107/stat : 23107 (java) R 23103 23103 21314 0 -1 4202560 4836 0 0 0 7 2 0 0 20 0 20 0 419607366 27969658880 27165 33554432000 4194304 4196468 140731167336896 140685724347376 140685227404424 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29499392 140731167343339 140731167343766 140731167343766 140731167346639 0
[pid=23106/tid=23108] ppid=23103 vsize=27314120 memory=732370104690220005 CPUtime=0 cores=0-7
/proc/23106/task/23108/stat : 23108 (java) S 23103 23103 21314 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419607368 27969658880 27165 33554432000 4194304 4196468 140731167336896 140685756754832 140685752522453 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29499392 140731167343339 140731167343766 140731167343766 140731167346639 0
[pid=23106/tid=23109] ppid=23103 vsize=27314120 memory=139966352766592 CPUtime=0 cores=0-7
/proc/23106/task/23109/stat : 23109 (java) S 23103 23103 21314 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419607368 27969658880 27165 33554432000 4194304 4196468 140731167336896 140685570910992 140685752522453 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29499392 140731167343339 140731167343766 140731167343766 140731167346639 0
[pid=23106/tid=23110] ppid=23103 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23106/task/23110/stat : 23110 (java) S 23103 23103 21314 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419607368 27969658880 27165 33554432000 4194304 4196468 140731167336896 140685569858704 140685752522453 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29499392 140731167343339 140731167343766 140731167343766 140731167346639 0
[pid=23106/tid=23111] ppid=23103 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23106/task/23111/stat : 23111 (java) S 23103 23103 21314 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419607368 27969658880 27165 33554432000 4194304 4196468 140731167336896 140685568805904 140685752522453 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29499392 140731167343339 140731167343766 140731167343766 140731167346639 0
[pid=23106/tid=23112] ppid=23103 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23106/task/23112/stat : 23112 (java) S 23103 23103 21314 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419607368 27969658880 27165 33554432000 4194304 4196468 140731167336896 140685567752592 140685752522453 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29499392 140731167343339 140731167343766 140731167343766 140731167346639 0
[pid=23106/tid=23113] ppid=23103 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/23106/task/23113/stat : 23113 (java) S 23103 23103 21314 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419607368 27969658880 27165 33554432000 4194304 4196468 140731167336896 140685566699792 140685752522453 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29499392 140731167343339 140731167343766 140731167343766 140731167346639 0
[pid=23106/tid=23114] ppid=23103 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23106/task/23114/stat : 23114 (java) S 23103 23103 21314 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419607368 27969658880 27165 33554432000 4194304 4196468 140731167336896 140685565647504 140685752522453 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29499392 140731167343339 140731167343766 140731167343766 140731167346639 0
[pid=23106/tid=23115] ppid=23103 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23106/task/23115/stat : 23115 (java) S 23103 23103 21314 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419607368 27969658880 27165 33554432000 4194304 4196468 140731167336896 140685564594704 140685752522453 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29499392 140731167343339 140731167343766 140731167343766 140731167346639 0
[pid=23106/tid=23116] ppid=23103 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23106/task/23116/stat : 23116 (java) S 23103 23103 21314 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419607370 27969658880 27165 33554432000 4194304 4196468 140731167336896 140683938417264 140685752523394 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29499392 140731167343339 140731167343766 140731167343766 140731167346639 0
[pid=23106/tid=23117] ppid=23103 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23106/task/23117/stat : 23117 (java) S 23103 23103 21314 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419607370 27969658880 27165 33554432000 4194304 4196468 140731167336896 140683734148384 140685752522453 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29499392 140731167343339 140731167343766 140731167343766 140731167346639 0
[pid=23106/tid=23118] ppid=23103 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23106/task/23118/stat : 23118 (java) S 23103 23103 21314 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419607371 27969658880 27165 33554432000 4194304 4196468 140731167336896 140683465713264 140685752522453 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29499392 140731167343339 140731167343766 140731167343766 140731167346639 0
[pid=23106/tid=23119] ppid=23103 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23106/task/23119/stat : 23119 (java) S 23103 23103 21314 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419607373 27969658880 27165 33554432000 4194304 4196468 140731167336896 140683091204688 140685752530843 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29499392 140731167343339 140731167343766 140731167343766 140731167346639 0
[pid=23106/tid=23120] ppid=23103 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23106/task/23120/stat : 23120 (java) S 23103 23103 21314 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 20 0 419607373 27969658880 27165 33554432000 4194304 4196468 140731167336896 140683937364080 140685752523394 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29499392 140731167343339 140731167343766 140731167343766 140731167346639 0
[pid=23106/tid=23121] ppid=23103 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23106/task/23121/stat : 23121 (java) S 23103 23103 21314 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419607373 27969658880 27165 33554432000 4194304 4196468 140731167336896 140683599927280 140685752523394 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29499392 140731167343339 140731167343766 140731167343766 140731167346639 0
[pid=23106/tid=23122] ppid=23103 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23106/task/23122/stat : 23122 (java) S 23103 23103 21314 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419607373 27969658880 27165 33554432000 4194304 4196468 140731167336896 140683598874992 140685752523394 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29499392 140731167343339 140731167343766 140731167343766 140731167346639 0
[pid=23106/tid=23123] ppid=23103 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23106/task/23123/stat : 23123 (java) S 23103 23103 21314 0 -1 1077944384 242 0 0 0 0 0 0 0 20 0 20 0 419607373 27969658880 27165 33554432000 4194304 4196468 140731167336896 140683597822192 140685752523394 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29499392 140731167343339 140731167343766 140731167343766 140731167346639 0
[pid=23106/tid=23124] ppid=23103 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23106/task/23124/stat : 23124 (java) S 23103 23103 21314 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419607373 27969658880 27165 33554432000 4194304 4196468 140731167336896 140682593299296 140685752522453 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29499392 140731167343339 140731167343766 140731167343766 140731167346639 0
[pid=23106/tid=23125] ppid=23103 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/23106/task/23125/stat : 23125 (java) S 23103 23103 21314 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419607374 27969658880 27165 33554432000 4194304 4196468 140731167336896 140683596770096 140685752523394 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29499392 140731167343339 140731167343766 140731167343766 140731167346639 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 110056 KiB

[startup+0.210555 s]*
/proc/loadavg: 7.42 6.47 6.43 2/212 23125
/proc/meminfo: memFree=28646912/32770624 swapFree=66959228/67108860
[pid=23103] ppid=23100 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/23103/stat : 23103 (scop.sh) S 23100 23103 21314 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 419607365 115843072 349 33554432000 4194304 5098028 140726416369728 140726416366984 139969485722236 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 36098048 140726416376613 140726416376940 140726416376940 140726416379853 0
/proc/23103/statm: 28282 349 296 221 0 87 0
[pid=23106] ppid=23103 vsize=27314120 memory=125468 CPUtime=0.25 cores=0-7
/proc/23106/stat : 23106 (java) S 23103 23103 21314 0 -1 1077944320 11716 0 0 0 21 4 0 0 20 0 20 0 419607366 27969658880 31367 33554432000 4194304 4196468 140731167336896 140731167319440 140685752512247 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29499392 140731167343339 140731167343766 140731167343766 140731167346639 0
/proc/23106/statm: 6828530 31367 2923 1 0 6790935 0
[pid=23106/tid=23107] ppid=23103 vsize=27314120 memory=0 CPUtime=0.19 cores=0-7
/proc/23106/task/23107/stat : 23107 (java) R 23103 23103 21314 0 -1 4202560 9433 0 0 0 16 3 0 0 20 0 20 0 419607366 27969658880 31367 33554432000 4194304 4196468 140731167336896 140685724311632 140685734075785 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29499392 140731167343339 140731167343766 140731167343766 140731167346639 0
[pid=23106/tid=23108] ppid=23103 vsize=27314120 memory=279932558948088 CPUtime=0 cores=0-7
/proc/23106/task/23108/stat : 23108 (java) S 23103 23103 21314 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419607368 27969658880 31367 33554432000 4194304 4196468 140731167336896 140685756754832 140685752522453 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29499392 140731167343339 140731167343766 140731167343766 140731167346639 0
[pid=23106/tid=23109] ppid=23103 vsize=27314120 memory=139966352766592 CPUtime=0 cores=0-7
/proc/23106/task/23109/stat : 23109 (java) S 23103 23103 21314 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419607368 27969658880 31367 33554432000 4194304 4196468 140731167336896 140685570910992 140685752522453 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29499392 140731167343339 140731167343766 140731167343766 140731167346639 0
[pid=23106/tid=23110] ppid=23103 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23106/task/23110/stat : 23110 (java) S 23103 23103 21314 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419607368 27969658880 31367 33554432000 4194304 4196468 140731167336896 140685569858704 140685752522453 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29499392 140731167343339 140731167343766 140731167343766 140731167346639 0
[pid=23106/tid=23111] ppid=23103 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23106/task/23111/stat : 23111 (java) S 23103 23103 21314 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419607368 27969658880 31367 33554432000 4194304 4196468 140731167336896 140685568805904 140685752522453 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29499392 140731167343339 140731167343766 140731167343766 140731167346639 0
[pid=23106/tid=23112] ppid=23103 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23106/task/23112/stat : 23112 (java) S 23103 23103 21314 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419607368 27969658880 31367 33554432000 4194304 4196468 140731167336896 140685567752592 140685752522453 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29499392 140731167343339 140731167343766 140731167343766 140731167346639 0
[pid=23106/tid=23113] ppid=23103 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/23106/task/23113/stat : 23113 (java) S 23103 23103 21314 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419607368 27969658880 31367 33554432000 4194304 4196468 140731167336896 140685566699792 140685752522453 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29499392 140731167343339 140731167343766 140731167343766 140731167346639 0
[pid=23106/tid=23114] ppid=23103 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23106/task/23114/stat : 23114 (java) S 23103 23103 21314 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419607368 27969658880 31367 33554432000 4194304 4196468 140731167336896 140685565647504 140685752522453 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29499392 140731167343339 140731167343766 140731167343766 140731167346639 0
[pid=23106/tid=23115] ppid=23103 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23106/task/23115/stat : 23115 (java) S 23103 23103 21314 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419607368 27969658880 31367 33554432000 4194304 4196468 140731167336896 140685564594704 140685752522453 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29499392 140731167343339 140731167343766 140731167343766 140731167346639 0
[pid=23106/tid=23116] ppid=23103 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23106/task/23116/stat : 23116 (java) S 23103 23103 21314 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419607370 27969658880 31367 33554432000 4194304 4196468 140731167336896 140683938417264 140685752523394 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29499392 140731167343339 140731167343766 140731167343766 140731167346639 0
[pid=23106/tid=23117] ppid=23103 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23106/task/23117/stat : 23117 (java) S 23103 23103 21314 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419607370 27969658880 31367 33554432000 4194304 4196468 140731167336896 140683734148384 140685752522453 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29499392 140731167343339 140731167343766 140731167343766 140731167346639 0
[pid=23106/tid=23118] ppid=23103 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23106/task/23118/stat : 23118 (java) S 23103 23103 21314 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419607371 27969658880 31367 33554432000 4194304 4196468 140731167336896 140683465713264 140685752522453 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29499392 140731167343339 140731167343766 140731167343766 140731167346639 0
[pid=23106/tid=23119] ppid=23103 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23106/task/23119/stat : 23119 (java) S 23103 23103 21314 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419607373 27969658880 31367 33554432000 4194304 4196468 140731167336896 140683091204688 140685752530843 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29499392 140731167343339 140731167343766 140731167343766 140731167346639 0
[pid=23106/tid=23120] ppid=23103 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23106/task/23120/stat : 23120 (java) S 23103 23103 21314 0 -1 1077944384 453 0 0 0 0 0 0 0 20 0 20 0 419607373 27969658880 31367 33554432000 4194304 4196468 140731167336896 140683937364080 140685752523394 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29499392 140731167343339 140731167343766 140731167343766 140731167346639 0
[pid=23106/tid=23121] ppid=23103 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23106/task/23121/stat : 23121 (java) S 23103 23103 21314 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 20 0 419607373 27969658880 31367 33554432000 4194304 4196468 140731167336896 140683599927280 140685752523394 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29499392 140731167343339 140731167343766 140731167343766 140731167346639 0
[pid=23106/tid=23122] ppid=23103 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23106/task/23122/stat : 23122 (java) S 23103 23103 21314 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419607373 27969658880 31367 33554432000 4194304 4196468 140731167336896 140683598874992 140685752523394 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29499392 140731167343339 140731167343766 140731167343766 140731167346639 0
[pid=23106/tid=23123] ppid=23103 vsize=27314120 memory=0 CPUtime=0.02 cores=0-7
/proc/23106/task/23123/stat : 23123 (java) S 23103 23103 21314 0 -1 1077944384 468 0 0 0 2 0 0 0 20 0 20 0 419607373 27969658880 31367 33554432000 4194304 4196468 140731167336896 140683597822192 140685752523394 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29499392 140731167343339 140731167343766 140731167343766 140731167346639 0
[pid=23106/tid=23124] ppid=23103 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23106/task/23124/stat : 23124 (java) S 23103 23103 21314 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419607373 27969658880 31367 33554432000 4194304 4196468 140731167336896 140682593299296 140685752522453 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29499392 140731167343339 140731167343766 140731167343766 140731167346639 0
[pid=23106/tid=23125] ppid=23103 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/23106/task/23125/stat : 23125 (java) S 23103 23103 21314 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419607374 27969658880 31367 33554432000 4194304 4196468 140731167336896 140683596770096 140685752523394 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29499392 140731167343339 140731167343766 140731167343766 140731167346639 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 126864 KiB

[startup+0.310426 s]*
/proc/loadavg: 7.42 6.47 6.43 2/212 23125
/proc/meminfo: memFree=28646548/32770624 swapFree=66959228/67108860
[pid=23103] ppid=23100 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/23103/stat : 23103 (scop.sh) S 23100 23103 21314 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 419607365 115843072 349 33554432000 4194304 5098028 140726416369728 140726416366984 139969485722236 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 36098048 140726416376613 140726416376940 140726416376940 140726416379853 0
/proc/23103/statm: 28282 349 296 221 0 87 0
[pid=23106] ppid=23103 vsize=27314120 memory=129372 CPUtime=0.43 cores=0-7
/proc/23106/stat : 23106 (java) S 23103 23103 21314 0 -1 1077944320 12269 0 0 0 38 5 0 0 20 0 20 0 419607366 27969658880 32343 33554432000 4194304 4196468 140731167336896 140731167319440 140685752512247 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29499392 140731167343339 140731167343766 140731167343766 140731167346639 0
/proc/23106/statm: 6828530 32343 3023 1 0 6790935 0
[pid=23106/tid=23107] ppid=23103 vsize=27314120 memory=6791534058613427641 CPUtime=0.3 cores=0-7
/proc/23106/task/23107/stat : 23107 (java) R 23103 23103 21314 0 -1 4202560 9763 0 0 0 26 4 0 0 20 0 20 0 419607366 27969658880 32343 33554432000 4194304 4196468 140731167336896 140685724342320 140685734075846 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29499392 140731167343339 140731167343766 140731167343766 140731167346639 0
[pid=23106/tid=23108] ppid=23103 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23106/task/23108/stat : 23108 (java) S 23103 23103 21314 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419607368 27969658880 32343 33554432000 4194304 4196468 140731167336896 140685756754832 140685752522453 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29499392 140731167343339 140731167343766 140731167343766 140731167346639 0
[pid=23106/tid=23109] ppid=23103 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23106/task/23109/stat : 23109 (java) S 23103 23103 21314 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419607368 27969658880 32343 33554432000 4194304 4196468 140731167336896 140685570910992 140685752522453 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29499392 140731167343339 140731167343766 140731167343766 140731167346639 0
[pid=23106/tid=23110] ppid=23103 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23106/task/23110/stat : 23110 (java) S 23103 23103 21314 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419607368 27969658880 32343 33554432000 4194304 4196468 140731167336896 140685569858704 140685752522453 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29499392 140731167343339 140731167343766 140731167343766 140731167346639 0
[pid=23106/tid=23111] ppid=23103 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23106/task/23111/stat : 23111 (java) S 23103 23103 21314 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419607368 27969658880 32343 33554432000 4194304 4196468 140731167336896 140685568805904 140685752522453 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29499392 140731167343339 140731167343766 140731167343766 140731167346639 0
[pid=23106/tid=23112] ppid=23103 vsize=27314120 memory=2244 CPUtime=0 cores=0-7
/proc/23106/task/23112/stat : 23112 (java) S 23103 23103 21314 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419607368 27969658880 32343 33554432000 4194304 4196468 140731167336896 140685567752592 140685752522453 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29499392 140731167343339 140731167343766 140731167343766 140731167346639 0
[pid=23106/tid=23113] ppid=23103 vsize=27314120 memory=139966206276527 CPUtime=0 cores=0-7
/proc/23106/task/23113/stat : 23113 (java) S 23103 23103 21314 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419607368 27969658880 32343 33554432000 4194304 4196468 140731167336896 140685566699792 140685752522453 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29499392 140731167343339 140731167343766 140731167343766 140731167346639 0
[pid=23106/tid=23114] ppid=23103 vsize=27314120 memory=139966206278832 CPUtime=0 cores=0-7
/proc/23106/task/23114/stat : 23114 (java) S 23103 23103 21314 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419607368 27969658880 32343 33554432000 4194304 4196468 140731167336896 140685565647504 140685752522453 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29499392 140731167343339 140731167343766 140731167343766 140731167346639 0
[pid=23106/tid=23115] ppid=23103 vsize=27314120 memory=139966206281136 CPUtime=0 cores=0-7
/proc/23106/task/23115/stat : 23115 (java) S 23103 23103 21314 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419607368 27969658880 32343 33554432000 4194304 4196468 140731167336896 140685564594704 140685752522453 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29499392 140731167343339 140731167343766 140731167343766 140731167346639 0
[pid=23106/tid=23116] ppid=23103 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23106/task/23116/stat : 23116 (java) S 23103 23103 21314 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419607370 27969658880 32343 33554432000 4194304 4196468 140731167336896 140683938417264 140685752523394 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29499392 140731167343339 140731167343766 140731167343766 140731167346639 0
[pid=23106/tid=23117] ppid=23103 vsize=27314120 memory=279932412569232 CPUtime=0 cores=0-7
/proc/23106/task/23117/stat : 23117 (java) S 23103 23103 21314 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419607370 27969658880 32343 33554432000 4194304 4196468 140731167336896 140683734148384 140685752522453 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29499392 140731167343339 140731167343766 140731167343766 140731167346639 0
[pid=23106/tid=23118] ppid=23103 vsize=27314120 memory=279932412576144 CPUtime=0 cores=0-7
/proc/23106/task/23118/stat : 23118 (java) S 23103 23103 21314 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419607371 27969658880 32343 33554432000 4194304 4196468 140731167336896 140683465713264 140685752522453 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29499392 140731167343339 140731167343766 140731167343766 140731167346639 0
[pid=23106/tid=23119] ppid=23103 vsize=27314120 memory=279932412517424 CPUtime=0 cores=0-7
/proc/23106/task/23119/stat : 23119 (java) S 23103 23103 21314 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419607373 27969658880 32343 33554432000 4194304 4196468 140731167336896 140683091204688 140685752530843 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29499392 140731167343339 140731167343766 140731167343766 140731167346639 0
[pid=23106/tid=23120] ppid=23103 vsize=27314120 memory=279932412589968 CPUtime=0.01 cores=0-7
/proc/23106/task/23120/stat : 23120 (java) S 23103 23103 21314 0 -1 1077944384 507 0 0 0 1 0 0 0 20 0 20 0 419607373 27969658880 32343 33554432000 4194304 4196468 140731167336896 140683937364080 140685752523394 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29499392 140731167343339 140731167343766 140731167343766 140731167346639 0
[pid=23106/tid=23121] ppid=23103 vsize=27314120 memory=279932412596880 CPUtime=0.01 cores=0-7
/proc/23106/task/23121/stat : 23121 (java) S 23103 23103 21314 0 -1 1077944384 107 0 0 0 1 0 0 0 20 0 20 0 419607373 27969658880 32343 33554432000 4194304 4196468 140731167336896 140683599927280 140685752523394 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29499392 140731167343339 140731167343766 140731167343766 140731167346639 0
[pid=23106/tid=23122] ppid=23103 vsize=27314120 memory=279932412594576 CPUtime=0.01 cores=0-7
/proc/23106/task/23122/stat : 23122 (java) S 23103 23103 21314 0 -1 1077944384 43 0 0 0 1 0 0 0 20 0 20 0 419607373 27969658880 32343 33554432000 4194304 4196468 140731167336896 140683598874992 140685752523394 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29499392 140731167343339 140731167343766 140731167343766 140731167346639 0
[pid=23106/tid=23123] ppid=23103 vsize=27314120 memory=279932412610736 CPUtime=0.07 cores=0-7
/proc/23106/task/23123/stat : 23123 (java) S 23103 23103 21314 0 -1 1077944384 508 0 0 0 7 0 0 0 20 0 20 0 419607373 27969658880 32343 33554432000 4194304 4196468 140731167336896 140683597822192 140685752523394 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29499392 140731167343339 140731167343766 140731167343766 140731167346639 0
[pid=23106/tid=23124] ppid=23103 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23106/task/23124/stat : 23124 (java) S 23103 23103 21314 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419607373 27969658880 32343 33554432000 4194304 4196468 140731167336896 140682593299296 140685752522453 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29499392 140731167343339 140731167343766 140731167343766 140731167346639 0
[pid=23106/tid=23125] ppid=23103 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/23106/task/23125/stat : 23125 (java) S 23103 23103 21314 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419607374 27969658880 32343 33554432000 4194304 4196468 140731167336896 140683596770096 140685752523394 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29499392 140731167343339 140731167343766 140731167343766 140731167346639 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 130768 KiB

[startup+0.700936 s]
/proc/loadavg: 6.98 6.40 6.41 2/212 23125
/proc/meminfo: memFree=28628592/32770624 swapFree=66959228/67108860
[pid=23103] ppid=23100 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/23103/stat : 23103 (scop.sh) S 23100 23103 21314 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 419607365 115843072 349 33554432000 4194304 5098028 140726416369728 140726416366984 139969485722236 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 36098048 140726416376613 140726416376940 140726416376940 140726416379853 0
/proc/23103/statm: 28282 349 296 221 0 87 0
[pid=23106] ppid=23103 vsize=27320392 memory=167752 CPUtime=1.02 cores=0-7
/proc/23106/stat : 23106 (java) S 23103 23103 21314 0 -1 1077944320 20490 0 0 0 94 8 0 0 20 0 20 0 419607366 27976081408 41938 33554432000 4194304 4196468 140731167336896 140731167319440 140685752512247 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29499392 140731167343339 140731167343766 140731167343766 140731167346639 0
/proc/23106/statm: 6830098 41938 3187 1 0 6791447 0
[pid=23106/tid=23107] ppid=23103 vsize=27320392 memory=279932412905600 CPUtime=0.67 cores=0-7
/proc/23106/task/23107/stat : 23107 (java) R 23103 23103 21314 0 -1 4202560 17346 0 0 0 61 6 0 0 20 0 20 0 419607366 27976081408 41938 33554432000 4194304 4196468 140731167336896 140685724351104 140685752524182 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29499392 140731167343339 140731167343766 140731167343766 140731167346639 0
[pid=23106/tid=23108] ppid=23103 vsize=27320392 memory=1436 CPUtime=0 cores=0-7
/proc/23106/task/23108/stat : 23108 (java) S 23103 23103 21314 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419607368 27976081408 41938 33554432000 4194304 4196468 140731167336896 140685756754832 140685752522453 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29499392 140731167343339 140731167343766 140731167343766 140731167346639 0
[pid=23106/tid=23109] ppid=23103 vsize=27320392 memory=580 CPUtime=0 cores=0-7
/proc/23106/task/23109/stat : 23109 (java) S 23103 23103 21314 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419607368 27976081408 41938 33554432000 4194304 4196468 140731167336896 140685570910992 140685752522453 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29499392 140731167343339 140731167343766 140731167343766 140731167346639 0
[pid=23106/tid=23110] ppid=23103 vsize=27320392 memory=1720 CPUtime=0 cores=0-7
/proc/23106/task/23110/stat : 23110 (java) S 23103 23103 21314 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419607368 27976081408 41938 33554432000 4194304 4196468 140731167336896 140685569858704 140685752522453 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29499392 140731167343339 140731167343766 140731167343766 140731167346639 0

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

[pid=23126/tid=23136] ppid=23103 vsize=8414124 memory=2008 CPUtime=0 cores=0-7
/proc/23126/task/23136/stat : 23136 (java) S 23103 23103 21314 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 24 0 419607796 8616062976 29785 33554432000 4194304 4196468 140723679440880 139663552223344 139664257407618 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21590016 140723679446007 140723679446166 140723679446166 140723679449039 0
[pid=23126/tid=23137] ppid=23103 vsize=8414124 memory=1436 CPUtime=0 cores=0-7
/proc/23126/task/23137/stat : 23137 (java) S 23103 23103 21314 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 419607797 8616062976 29785 33554432000 4194304 4196468 140723679440880 139662538564384 139664257406677 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21590016 140723679446007 140723679446166 140723679446166 140723679449039 0
[pid=23126/tid=23138] ppid=23103 vsize=8414124 memory=580 CPUtime=0 cores=0-7
/proc/23126/task/23138/stat : 23138 (java) S 23103 23103 21314 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 419607797 8616062976 29785 33554432000 4194304 4196468 140723679440880 139662404342896 139664257406677 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21590016 140723679446007 140723679446166 140723679446166 140723679449039 0
[pid=23126/tid=23139] ppid=23103 vsize=8414124 memory=1720 CPUtime=0 cores=0-7
/proc/23126/task/23139/stat : 23139 (java) S 23103 23103 21314 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419607800 8616062976 29785 33554432000 4194304 4196468 140723679440880 139662029838416 139664257415067 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21590016 140723679446007 140723679446166 140723679446166 140723679449039 0
[pid=23126/tid=23140] ppid=23103 vsize=8414124 memory=10604 CPUtime=0.03 cores=0-7
/proc/23126/task/23140/stat : 23140 (java) S 23103 23103 21314 0 -1 1077944384 448 0 0 0 3 0 0 0 20 0 24 0 419607800 8616062976 29785 33554432000 4194304 4196468 140723679440880 139663551171184 139664257407618 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21590016 140723679446007 140723679446166 140723679446166 140723679449039 0
[pid=23126/tid=23141] ppid=23103 vsize=8414124 memory=3360 CPUtime=0.08 cores=0-7
/proc/23126/task/23141/stat : 23141 (java) S 23103 23103 21314 0 -1 1077944384 436 0 0 0 8 0 0 0 20 0 24 0 419607800 8616062976 29785 33554432000 4194304 4196468 140723679440880 139663550118384 139664257407618 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21590016 140723679446007 140723679446166 140723679446166 140723679449039 0
[pid=23126/tid=23142] ppid=23103 vsize=8414124 memory=776 CPUtime=0.08 cores=0-7
/proc/23126/task/23142/stat : 23142 (java) S 23103 23103 21314 0 -1 1077944384 311 0 0 0 8 0 0 0 20 0 24 0 419607800 8616062976 29785 33554432000 4194304 4196468 140723679440880 139663549066096 139664257407618 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21590016 140723679446007 140723679446166 140723679446166 140723679449039 0
[pid=23126/tid=23143] ppid=23103 vsize=8414124 memory=591268 CPUtime=0.22 cores=0-7
/proc/23126/task/23143/stat : 23143 (java) S 23103 23103 21314 0 -1 1077944384 733 0 0 0 22 0 0 0 20 0 24 0 419607800 8616062976 29785 33554432000 4194304 4196468 140723679440880 139663548013296 139664257407618 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21590016 140723679446007 140723679446166 140723679446166 140723679449039 0
[pid=23126/tid=23144] ppid=23103 vsize=8414124 memory=-8744699002983051666 CPUtime=0 cores=0-7
/proc/23126/task/23144/stat : 23144 (java) S 23103 23103 21314 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419607800 8616062976 29785 33554432000 4194304 4196468 140723679440880 139661531933024 139664257406677 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21590016 140723679446007 140723679446166 140723679446166 140723679449039 0
[pid=23126/tid=23145] ppid=23103 vsize=8414124 memory=-7003737579269690708 CPUtime=0.09 cores=0-7
/proc/23126/task/23145/stat : 23145 (java) S 23103 23103 21314 0 -1 1077944384 11 0 0 0 0 9 0 0 20 0 24 0 419607800 8616062976 29785 33554432000 4194304 4196468 140723679440880 139663546960176 139664257407618 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21590016 140723679446007 140723679446166 140723679446166 140723679449039 0
[pid=23126/tid=23147] ppid=23103 vsize=8414124 memory=10604 CPUtime=0 cores=0-7
/proc/23126/task/23147/stat : 23147 (java) S 23103 23103 21314 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 419607868 8616062976 29785 33554432000 4194304 4196468 140723679440880 139663471666496 139664257421081 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 21590016 140723679446007 140723679446166 140723679446166 140723679449039 0
[pid=23126/tid=23149] ppid=23103 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/23126/task/23149/stat : 23149 (java) S 23103 23103 21314 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 419607868 8616062976 29785 33554432000 4194304 4196468 140723679440880 139660860833680 139664257418397 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 21590016 140723679446007 140723679446166 140723679446166 140723679449039 0
[pid=23126/tid=23150] ppid=23103 vsize=8414124 memory=119140 CPUtime=0 cores=0-7
/proc/23126/task/23150/stat : 23150 (java) S 23103 23103 21314 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 24 0 419607868 8616062976 29785 33554432000 4194304 4196468 140723679440880 139661129269008 139664257418397 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 21590016 140723679446007 140723679446166 140723679446166 140723679449039 0
[pid=23126/tid=23158] ppid=23103 vsize=8414124 memory=619876 CPUtime=0 cores=0-7
/proc/23126/task/23158/stat : 23158 (java) S 23103 23103 21314 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 419607870 8616062976 29785 33554432000 4194304 4196468 140723679440880 139660592406320 139664257406677 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21590016 140723679446007 140723679446166 140723679446166 140723679449039 0
Current children cumulated CPU time: 1022.43 s
Current children cumulated vsize: 9307484 KiB
Current children cumulated memory: 742592 KiB

[startup+143.601 s]
/proc/loadavg: 7.47 6.82 6.56 2/218 23167
/proc/meminfo: memFree=28040176/32770624 swapFree=66959228/67108860
[pid=23103] ppid=23100 vsize=113128 memory=1476 CPUtime=11.97 cores=0-7
/proc/23103/stat : 23103 (scop.sh) S 23100 23103 21314 0 -1 4202496 583 32148 0 0 0 0 1165 32 20 0 1 0 419607365 115843072 369 33554432000 4194304 5098028 140726416369728 140726416366472 139969485722236 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 36098048 140726416376613 140726416376940 140726416376940 140726416379853 0
/proc/23103/statm: 28282 369 311 221 0 87 0
[pid=23126] ppid=23103 vsize=8414124 memory=119140 CPUtime=1.34 cores=0-7
/proc/23126/stat : 23126 (java) S 23103 23103 21314 0 -1 1077944320 20867 0 0 0 125 9 0 0 20 0 24 0 419607794 8616062976 29785 33554432000 4194304 4196468 140723679440880 140723679423424 139664257396471 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21590016 140723679446007 140723679446166 140723679446166 140723679449039 0
/proc/23126/statm: 2103531 29785 3207 1 0 2064875 0
[pid=23146] ppid=23126 vsize=780232 memory=621976 CPUtime=1009.52 cores=0-7
/proc/23146/stat : 23146 (manyglucose-4.1) S 23126 23103 21314 0 -1 1077944320 857696 0 0 0 100768 184 0 0 20 0 2 0 419607868 798957568 155494 33554432000 4194304 4454172 140730954067584 140730954065968 140520573869815 0 4 0 8388610 18446744073709551615 0 0 17 6 0 0 0 0 0 6552832 6554400 16191488 140730954072937 140730954073136 140730954073136 140730954076090 0
/proc/23146/statm: 195058 155494 419 64 0 190726 0
[pid=23146/tid=23151] ppid=23126 vsize=780232 memory=580 CPUtime=136.02 cores=0-7
/proc/23146/task/23151/stat : 23151 (manyglucose-4.1) R 23126 23103 21314 0 -1 4202560 98282 0 0 0 13577 25 0 0 20 0 2 0 419607870 798957568 155494 33554432000 4194304 4454172 140730954067584 140520558652552 4349976 0 4 0 8388610 0 0 0 -1 1 0 0 0 0 0 6552832 6554400 16191488 140730954072937 140730954073136 140730954073136 140730954076090 0
[pid=23126/tid=23127] ppid=23103 vsize=8414124 memory=1720 CPUtime=0.78 cores=0-7
/proc/23126/task/23127/stat : 23127 (java) S 23103 23103 21314 0 -1 1077944384 17502 0 0 0 72 6 0 0 20 0 24 0 419607794 8616062976 29785 33554432000 4194304 4196468 140723679440880 139664229236640 139664257406677 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21590016 140723679446007 140723679446166 140723679446166 140723679449039 0
[pid=23126/tid=23128] ppid=23103 vsize=8414124 memory=10604 CPUtime=0 cores=0-7
/proc/23126/task/23128/stat : 23128 (java) S 23103 23103 21314 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419607795 8616062976 29785 33554432000 4194304 4196468 140723679440880 139664261638544 139664257406677 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21590016 140723679446007 140723679446166 140723679446166 140723679449039 0
[pid=23126/tid=23129] ppid=23103 vsize=8414124 memory=3360 CPUtime=0 cores=0-7
/proc/23126/task/23129/stat : 23129 (java) S 23103 23103 21314 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419607795 8616062976 29785 33554432000 4194304 4196468 140723679440880 139664084134160 139664257406677 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21590016 140723679446007 140723679446166 140723679446166 140723679449039 0
[pid=23126/tid=23130] ppid=23103 vsize=8414124 memory=776 CPUtime=0 cores=0-7
/proc/23126/task/23130/stat : 23130 (java) S 23103 23103 21314 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419607795 8616062976 29785 33554432000 4194304 4196468 140723679440880 139663740975760 139664257406677 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21590016 140723679446007 140723679446166 140723679446166 140723679449039 0
[pid=23126/tid=23131] ppid=23103 vsize=8414124 memory=1564 CPUtime=0 cores=0-7
/proc/23126/task/23131/stat : 23131 (java) S 23103 23103 21314 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419607795 8616062976 29785 33554432000 4194304 4196468 140723679440880 139663739922960 139664257406677 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21590016 140723679446007 140723679446166 140723679446166 140723679449039 0
[pid=23126/tid=23132] ppid=23103 vsize=8414124 memory=5984 CPUtime=0 cores=0-7
/proc/23126/task/23132/stat : 23132 (java) S 23103 23103 21314 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419607795 8616062976 29785 33554432000 4194304 4196468 140723679440880 139663738870672 139664257406677 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21590016 140723679446007 140723679446166 140723679446166 140723679449039 0
[pid=23126/tid=23133] ppid=23103 vsize=8414124 memory=1060 CPUtime=0 cores=0-7
/proc/23126/task/23133/stat : 23133 (java) S 23103 23103 21314 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419607795 8616062976 29785 33554432000 4194304 4196468 140723679440880 139663737817872 139664257406677 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21590016 140723679446007 140723679446166 140723679446166 140723679449039 0
[pid=23126/tid=23134] ppid=23103 vsize=8414124 memory=-8744699002983051666 CPUtime=0 cores=0-7
/proc/23126/task/23134/stat : 23134 (java) S 23103 23103 21314 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419607795 8616062976 29785 33554432000 4194304 4196468 140723679440880 139663736765584 139664257406677 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21590016 140723679446007 140723679446166 140723679446166 140723679449039 0
[pid=23126/tid=23135] ppid=23103 vsize=8414124 memory=1412 CPUtime=0 cores=0-7
/proc/23126/task/23135/stat : 23135 (java) S 23103 23103 21314 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419607795 8616062976 29785 33554432000 4194304 4196468 140723679440880 139663735712784 139664257406677 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21590016 140723679446007 140723679446166 140723679446166 140723679449039 0
[pid=23126/tid=23136] ppid=23103 vsize=8414124 memory=3660 CPUtime=0 cores=0-7
/proc/23126/task/23136/stat : 23136 (java) S 23103 23103 21314 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 24 0 419607796 8616062976 29785 33554432000 4194304 4196468 140723679440880 139663552223344 139664257407618 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21590016 140723679446007 140723679446166 140723679446166 140723679449039 0
[pid=23126/tid=23137] ppid=23103 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/23126/task/23137/stat : 23137 (java) S 23103 23103 21314 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 419607797 8616062976 29785 33554432000 4194304 4196468 140723679440880 139662538564384 139664257406677 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21590016 140723679446007 140723679446166 140723679446166 140723679449039 0
[pid=23126/tid=23138] ppid=23103 vsize=8414124 memory=119140 CPUtime=0 cores=0-7
/proc/23126/task/23138/stat : 23138 (java) S 23103 23103 21314 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 419607797 8616062976 29785 33554432000 4194304 4196468 140723679440880 139662404342896 139664257406677 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21590016 140723679446007 140723679446166 140723679446166 140723679449039 0
[pid=23126/tid=23139] ppid=23103 vsize=8414124 memory=619876 CPUtime=0 cores=0-7
/proc/23126/task/23139/stat : 23139 (java) S 23103 23103 21314 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419607800 8616062976 29785 33554432000 4194304 4196468 140723679440880 139662029838416 139664257415067 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21590016 140723679446007 140723679446166 140723679446166 140723679449039 0
[pid=23126/tid=23140] ppid=23103 vsize=8414124 memory=-8744699002983051666 CPUtime=0.03 cores=0-7
/proc/23126/task/23140/stat : 23140 (java) S 23103 23103 21314 0 -1 1077944384 448 0 0 0 3 0 0 0 20 0 24 0 419607800 8616062976 29785 33554432000 4194304 4196468 140723679440880 139663551171184 139664257407618 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21590016 140723679446007 140723679446166 140723679446166 140723679449039 0
[pid=23126/tid=23141] ppid=23103 vsize=8414124 memory=-7003737579269690708 CPUtime=0.08 cores=0-7
/proc/23126/task/23141/stat : 23141 (java) S 23103 23103 21314 0 -1 1077944384 436 0 0 0 8 0 0 0 20 0 24 0 419607800 8616062976 29785 33554432000 4194304 4196468 140723679440880 139663550118384 139664257407618 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21590016 140723679446007 140723679446166 140723679446166 140723679449039 0
[pid=23126/tid=23142] ppid=23103 vsize=8414124 memory=4104 CPUtime=0.08 cores=0-7
/proc/23126/task/23142/stat : 23142 (java) S 23103 23103 21314 0 -1 1077944384 311 0 0 0 8 0 0 0 20 0 24 0 419607800 8616062976 29785 33554432000 4194304 4196468 140723679440880 139663549066096 139664257407618 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21590016 140723679446007 140723679446166 140723679446166 140723679449039 0
[pid=23126/tid=23143] ppid=23103 vsize=8414124 memory=1412 CPUtime=0.22 cores=0-7
/proc/23126/task/23143/stat : 23143 (java) S 23103 23103 21314 0 -1 1077944384 733 0 0 0 22 0 0 0 20 0 24 0 419607800 8616062976 29785 33554432000 4194304 4196468 140723679440880 139663548013296 139664257407618 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21590016 140723679446007 140723679446166 140723679446166 140723679449039 0
[pid=23126/tid=23144] ppid=23103 vsize=8414124 memory=3640 CPUtime=0 cores=0-7
/proc/23126/task/23144/stat : 23144 (java) S 23103 23103 21314 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419607800 8616062976 29785 33554432000 4194304 4196468 140723679440880 139661531933024 139664257406677 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21590016 140723679446007 140723679446166 140723679446166 140723679449039 0
[pid=23126/tid=23145] ppid=23103 vsize=8414124 memory=1476 CPUtime=0.09 cores=0-7
/proc/23126/task/23145/stat : 23145 (java) S 23103 23103 21314 0 -1 1077944384 11 0 0 0 0 9 0 0 20 0 24 0 419607800 8616062976 29785 33554432000 4194304 4196468 140723679440880 139663546960176 139664257407618 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21590016 140723679446007 140723679446166 140723679446166 140723679449039 0
[pid=23126/tid=23147] ppid=23103 vsize=8414124 memory=119140 CPUtime=0 cores=0-7
/proc/23126/task/23147/stat : 23147 (java) S 23103 23103 21314 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 419607868 8616062976 29785 33554432000 4194304 4196468 140723679440880 139663471666496 139664257421081 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 21590016 140723679446007 140723679446166 140723679446166 140723679449039 0
[pid=23126/tid=23149] ppid=23103 vsize=8414124 memory=2828 CPUtime=0 cores=0-7
/proc/23126/task/23149/stat : 23149 (java) S 23103 23103 21314 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 419607868 8616062976 29785 33554432000 4194304 4196468 140723679440880 139660860833680 139664257418397 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 21590016 140723679446007 140723679446166 140723679446166 140723679449039 0
[pid=23126/tid=23150] ppid=23103 vsize=8414124 memory=1216 CPUtime=0 cores=0-7
/proc/23126/task/23150/stat : 23150 (java) S 23103 23103 21314 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 24 0 419607868 8616062976 29785 33554432000 4194304 4196468 140723679440880 139661129269008 139664257418397 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 21590016 140723679446007 140723679446166 140723679446166 140723679449039 0
[pid=23126/tid=23158] ppid=23103 vsize=8414124 memory=984 CPUtime=0 cores=0-7
/proc/23126/task/23158/stat : 23158 (java) S 23103 23103 21314 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 419607870 8616062976 29785 33554432000 4194304 4196468 140723679440880 139660592406320 139664257406677 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21590016 140723679446007 140723679446166 140723679446166 140723679449039 0
Current children cumulated CPU time: 1022.83 s
Current children cumulated vsize: 9307484 KiB
Current children cumulated memory: 742592 KiB

[startup+143.801 s]
/proc/loadavg: 7.47 6.82 6.56 2/218 23167
/proc/meminfo: memFree=28040176/32770624 swapFree=66959228/67108860
[pid=23103] ppid=23100 vsize=113128 memory=1476 CPUtime=11.97 cores=0-7
/proc/23103/stat : 23103 (scop.sh) S 23100 23103 21314 0 -1 4202496 583 32148 0 0 0 0 1165 32 20 0 1 0 419607365 115843072 369 33554432000 4194304 5098028 140726416369728 140726416366472 139969485722236 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 36098048 140726416376613 140726416376940 140726416376940 140726416379853 0
/proc/23103/statm: 28282 369 311 221 0 87 0
[pid=23126] ppid=23103 vsize=8414124 memory=119140 CPUtime=1.34 cores=0-7
/proc/23126/stat : 23126 (java) S 23103 23103 21314 0 -1 1077944320 20867 0 0 0 125 9 0 0 20 0 24 0 419607794 8616062976 29785 33554432000 4194304 4196468 140723679440880 140723679423424 139664257396471 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21590016 140723679446007 140723679446166 140723679446166 140723679449039 0
/proc/23126/statm: 2103531 29785 3207 1 0 2064875 0
[pid=23146] ppid=23126 vsize=780232 memory=621976 CPUtime=1009.72 cores=0-7
/proc/23146/stat : 23146 (manyglucose-4.1) S 23126 23103 21314 0 -1 1077944320 857706 0 0 0 100788 184 0 0 20 0 2 0 419607868 798957568 155494 33554432000 4194304 4454172 140730954067584 140730954065968 140520573869815 0 4 0 8388610 18446744073709551615 0 0 17 6 0 0 0 0 0 6552832 6554400 16191488 140730954072937 140730954073136 140730954073136 140730954076090 0
/proc/23146/statm: 195058 155494 419 64 0 190726 0
[pid=23146/tid=23151] ppid=23126 vsize=780232 memory=2124 CPUtime=136.22 cores=0-7
/proc/23146/task/23151/stat : 23151 (manyglucose-4.1) R 23126 23103 21314 0 -1 4202560 98292 0 0 0 13597 25 0 0 20 0 2 0 419607870 798957568 155494 33554432000 4194304 4454172 140730954067584 140520558652552 4351264 0 4 0 8388610 0 0 0 -1 1 0 0 0 0 0 6552832 6554400 16191488 140730954072937 140730954073136 140730954073136 140730954076090 0
[pid=23126/tid=23127] ppid=23103 vsize=8414124 memory=500 CPUtime=0.78 cores=0-7
/proc/23126/task/23127/stat : 23127 (java) S 23103 23103 21314 0 -1 1077944384 17502 0 0 0 72 6 0 0 20 0 24 0 419607794 8616062976 29785 33554432000 4194304 4196468 140723679440880 139664229236640 139664257406677 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21590016 140723679446007 140723679446166 140723679446166 140723679449039 0
[pid=23126/tid=23128] ppid=23103 vsize=8414124 memory=1556 CPUtime=0 cores=0-7
/proc/23126/task/23128/stat : 23128 (java) S 23103 23103 21314 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419607795 8616062976 29785 33554432000 4194304 4196468 140723679440880 139664261638544 139664257406677 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21590016 140723679446007 140723679446166 140723679446166 140723679449039 0
[pid=23126/tid=23129] ppid=23103 vsize=8414124 memory=928 CPUtime=0 cores=0-7
/proc/23126/task/23129/stat : 23129 (java) S 23103 23103 21314 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419607795 8616062976 29785 33554432000 4194304 4196468 140723679440880 139664084134160 139664257406677 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21590016 140723679446007 140723679446166 140723679446166 140723679449039 0
[pid=23126/tid=23130] ppid=23103 vsize=8414124 memory=1772 CPUtime=0 cores=0-7
/proc/23126/task/23130/stat : 23130 (java) S 23103 23103 21314 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419607795 8616062976 29785 33554432000 4194304 4196468 140723679440880 139663740975760 139664257406677 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21590016 140723679446007 140723679446166 140723679446166 140723679449039 0
[pid=23126/tid=23131] ppid=23103 vsize=8414124 memory=832 CPUtime=0 cores=0-7
/proc/23126/task/23131/stat : 23131 (java) S 23103 23103 21314 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419607795 8616062976 29785 33554432000 4194304 4196468 140723679440880 139663739922960 139664257406677 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21590016 140723679446007 140723679446166 140723679446166 140723679449039 0
[pid=23126/tid=23132] ppid=23103 vsize=8414124 memory=1436 CPUtime=0 cores=0-7
/proc/23126/task/23132/stat : 23132 (java) S 23103 23103 21314 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419607795 8616062976 29785 33554432000 4194304 4196468 140723679440880 139663738870672 139664257406677 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21590016 140723679446007 140723679446166 140723679446166 140723679449039 0
[pid=23126/tid=23133] ppid=23103 vsize=8414124 memory=1984 CPUtime=0 cores=0-7
/proc/23126/task/23133/stat : 23133 (java) S 23103 23103 21314 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419607795 8616062976 29785 33554432000 4194304 4196468 140723679440880 139663737817872 139664257406677 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21590016 140723679446007 140723679446166 140723679446166 140723679449039 0
[pid=23126/tid=23134] ppid=23103 vsize=8414124 memory=2580 CPUtime=0 cores=0-7
/proc/23126/task/23134/stat : 23134 (java) S 23103 23103 21314 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419607795 8616062976 29785 33554432000 4194304 4196468 140723679440880 139663736765584 139664257406677 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21590016 140723679446007 140723679446166 140723679446166 140723679449039 0
[pid=23126/tid=23135] ppid=23103 vsize=8414124 memory=4748 CPUtime=0 cores=0-7
/proc/23126/task/23135/stat : 23135 (java) S 23103 23103 21314 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419607795 8616062976 29785 33554432000 4194304 4196468 140723679440880 139663735712784 139664257406677 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21590016 140723679446007 140723679446166 140723679446166 140723679449039 0
[pid=23126/tid=23136] ppid=23103 vsize=8414124 memory=4104 CPUtime=0 cores=0-7
/proc/23126/task/23136/stat : 23136 (java) S 23103 23103 21314 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 24 0 419607796 8616062976 29785 33554432000 4194304 4196468 140723679440880 139663552223344 139664257407618 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21590016 140723679446007 140723679446166 140723679446166 140723679449039 0
[pid=23126/tid=23137] ppid=23103 vsize=8414124 memory=1412 CPUtime=0 cores=0-7
/proc/23126/task/23137/stat : 23137 (java) S 23103 23103 21314 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 419607797 8616062976 29785 33554432000 4194304 4196468 140723679440880 139662538564384 139664257406677 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21590016 140723679446007 140723679446166 140723679446166 140723679449039 0
[pid=23126/tid=23138] ppid=23103 vsize=8414124 memory=3640 CPUtime=0 cores=0-7
/proc/23126/task/23138/stat : 23138 (java) S 23103 23103 21314 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 419607797 8616062976 29785 33554432000 4194304 4196468 140723679440880 139662404342896 139664257406677 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21590016 140723679446007 140723679446166 140723679446166 140723679449039 0
[pid=23126/tid=23139] ppid=23103 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/23126/task/23139/stat : 23139 (java) S 23103 23103 21314 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419607800 8616062976 29785 33554432000 4194304 4196468 140723679440880 139662029838416 139664257415067 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21590016 140723679446007 140723679446166 140723679446166 140723679449039 0
[pid=23126/tid=23140] ppid=23103 vsize=8414124 memory=119140 CPUtime=0.03 cores=0-7
/proc/23126/task/23140/stat : 23140 (java) S 23103 23103 21314 0 -1 1077944384 448 0 0 0 3 0 0 0 20 0 24 0 419607800 8616062976 29785 33554432000 4194304 4196468 140723679440880 139663551171184 139664257407618 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21590016 140723679446007 140723679446166 140723679446166 140723679449039 0
[pid=23126/tid=23141] ppid=23103 vsize=8414124 memory=596404 CPUtime=0.08 cores=0-7
/proc/23126/task/23141/stat : 23141 (java) S 23103 23103 21314 0 -1 1077944384 436 0 0 0 8 0 0 0 20 0 24 0 419607800 8616062976 29785 33554432000 4194304 4196468 140723679440880 139663550118384 139664257407618 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21590016 140723679446007 140723679446166 140723679446166 140723679449039 0
[pid=23126/tid=23142] ppid=23103 vsize=8414124 memory=-8744699002983051666 CPUtime=0.08 cores=0-7
/proc/23126/task/23142/stat : 23142 (java) S 23103 23103 21314 0 -1 1077944384 311 0 0 0 8 0 0 0 20 0 24 0 419607800 8616062976 29785 33554432000 4194304 4196468 140723679440880 139663549066096 139664257407618 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21590016 140723679446007 140723679446166 140723679446166 140723679449039 0
[pid=23126/tid=23143] ppid=23103 vsize=8414124 memory=-7003737579269690708 CPUtime=0.22 cores=0-7
/proc/23126/task/23143/stat : 23143 (java) S 23103 23103 21314 0 -1 1077944384 733 0 0 0 22 0 0 0 20 0 24 0 419607800 8616062976 29785 33554432000 4194304 4196468 140723679440880 139663548013296 139664257407618 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21590016 140723679446007 140723679446166 140723679446166 140723679449039 0
[pid=23126/tid=23144] ppid=23103 vsize=8414124 memory=800 CPUtime=0 cores=0-7
/proc/23126/task/23144/stat : 23144 (java) S 23103 23103 21314 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419607800 8616062976 29785 33554432000 4194304 4196468 140723679440880 139661531933024 139664257406677 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21590016 140723679446007 140723679446166 140723679446166 140723679449039 0
[pid=23126/tid=23145] ppid=23103 vsize=8414124 memory=1808 CPUtime=0.09 cores=0-7
/proc/23126/task/23145/stat : 23145 (java) S 23103 23103 21314 0 -1 1077944384 11 0 0 0 0 9 0 0 20 0 24 0 419607800 8616062976 29785 33554432000 4194304 4196468 140723679440880 139663546960176 139664257407618 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21590016 140723679446007 140723679446166 140723679446166 140723679449039 0
[pid=23126/tid=23147] ppid=23103 vsize=8414124 memory=924 CPUtime=0 cores=0-7
/proc/23126/task/23147/stat : 23147 (java) S 23103 23103 21314 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 419607868 8616062976 29785 33554432000 4194304 4196468 140723679440880 139663471666496 139664257421081 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 21590016 140723679446007 140723679446166 140723679446166 140723679449039 0
[pid=23126/tid=23149] ppid=23103 vsize=8414124 memory=4748 CPUtime=0 cores=0-7
/proc/23126/task/23149/stat : 23149 (java) S 23103 23103 21314 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 419607868 8616062976 29785 33554432000 4194304 4196468 140723679440880 139660860833680 139664257418397 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 21590016 140723679446007 140723679446166 140723679446166 140723679449039 0
[pid=23126/tid=23150] ppid=23103 vsize=8414124 memory=4104 CPUtime=0 cores=0-7
/proc/23126/task/23150/stat : 23150 (java) S 23103 23103 21314 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 24 0 419607868 8616062976 29785 33554432000 4194304 4196468 140723679440880 139661129269008 139664257418397 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 21590016 140723679446007 140723679446166 140723679446166 140723679449039 0
[pid=23126/tid=23158] ppid=23103 vsize=8414124 memory=1412 CPUtime=0 cores=0-7
/proc/23126/task/23158/stat : 23158 (java) S 23103 23103 21314 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 419607870 8616062976 29785 33554432000 4194304 4196468 140723679440880 139660592406320 139664257406677 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21590016 140723679446007 140723679446166 140723679446166 140723679449039 0
Current children cumulated CPU time: 1023.03 s
Current children cumulated vsize: 9307484 KiB
Current children cumulated memory: 742592 KiB

Child status: 0
Real time (s): 143.859
CPU time (s): 1023.17
CPU user time (s): 1020.86
CPU system time (s): 2.306
CPU usage (%): 711.228
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 1054188

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1020.86
system time used= 2.306
maximum resident set size= 1057896
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 911476
page faults= 0
swaps= 0
block input operations= 0
block output operations= 976
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 17589
involuntary context switches= 9504


# summary of solver processes directly reported to runsolver:
#   pid: 23103
#   total CPU time (s): 1023.17
#   total CPU user time (s): 1020.86
#   total CPU system time (s): 2.306

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.39939 second user time and 2.07361 second system time

The end

Launcher Data 

Begin job on node124 at 2019-09-14 06:50:32
IDJOB=4392458
IDBENCH=134582
IDSOLVER=2838
FILE ID=node124/4392458-1568436672
RUNJOBID= node124-1568427058-21341
PBS_JOBID= 21702294
Free space on /tmp= 61812 MiB

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

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

MD5SUM BENCH= 6c4aeb96443502fd0f9a0dc0a71b4b92
RANDOM SEED=1333927658

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        28771284 kB
MemAvailable:   31849280 kB
Buffers:          196296 kB
Cached:          3162108 kB
SwapCached:        45884 kB
Active:           994280 kB
Inactive:        2417720 kB
Active(anon):       5512 kB
Inactive(anon):    89400 kB
Active(file):     988768 kB
Inactive(file):  2328320 kB
Unevictable:      107224 kB
Mlocked:          107224 kB
SwapTotal:      67108860 kB
SwapFree:       66959228 kB
Dirty:             20384 kB
Writeback:             0 kB
AnonPages:        114952 kB
Mapped:            43892 kB
Shmem:             32748 kB
Slab:             182944 kB
SReclaimable:     153488 kB
SUnreclaim:        29456 kB
KernelStack:        3360 kB
PageTables:         5856 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     498984 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     69632 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      112000 kB
DirectMap2M:    33433600 kB

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