Trace number 4392418

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 1040.93 149.701

General information on the benchmark

NameBlackhole/Blackhole-xcsp2-s07/
Blackhole-4-07h-7_X2.xml
MD5SUM10ee2207fbf9262b8884f336b5729a19
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 benchmark159.215
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-10719-serial-file.bin HOME/instance-4392418-1568436847.xml
0.65/0.54	
0.65/0.54	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
0.65/0.54	
0.65/0.57	c BEGIN-Prog: Sat Sep 14 06:53:27 CEST 2019
0.65/0.57	c PID: 10722
0.65/0.57	c IP: 172.20.3.143
0.65/0.57	c HOST: node143.alineos.net
0.65/0.58	c (0,0) Parsing Begin
1.99/1.14	c (0,0) Parsing End
1.99/1.15	c (0,0) CSP: 109 int (0 aux), 2 bool (0 aux), 1261 ctr, max domain size 28
1.99/1.15	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB)
1.99/1.15	c (0,0) Constraint Name Generate Begin
1.99/1.16	c (0,0) Ctr:HOME/instance-4392418-1568436847.xml,ExtensionConflict:ExtensionSupport:Var
1.99/1.16	c (0,0) Constraint Name Generate End
1.99/1.16	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB)
1.99/1.16	c (0,0) CSP to CSPinCNF Begin
3.08/1.66	c (1,1) translated 127 (10%) constraints
3.42/1.77	c (1,1) translated 253 (20%) constraints
3.83/1.85	c (1,1) translated 379 (30%) constraints
4.26/1.91	c (1,1) translated 505 (40%) constraints
4.26/1.97	c (1,1) translated 631 (50%) constraints
4.70/2.03	c (1,1) translated 757 (60%) constraints
5.11/2.17	c (1,1) translated 883 (70%) constraints
5.99/2.41	c (1,1) translated 1009 (80%) constraints
6.24/2.64	c (2,2) translated 1135 (90%) constraints
6.88/2.95	c (2,2) translated 1261 (100%) constraints
6.88/2.96	c (2,2) ===========================================
6.88/2.96	c (2,2) Order
6.88/2.96	c (2,2) ===========================================
7.30/3.02	c (2,2) translated 1883 (10%) constraints
7.30/3.07	c (2,2) translated 3765 (20%) constraints
7.70/3.13	c (2,2) translated 5647 (30%) constraints
7.70/3.18	c (2,2) translated 7529 (40%) constraints
8.06/3.23	c (2,2) translated 9411 (50%) constraints
8.06/3.28	c (2,2) translated 11294 (60%) constraints
8.46/3.32	c (2,2) translated 13176 (70%) constraints
8.46/3.37	c (2,2) translated 15058 (80%) constraints
8.79/3.40	c (2,2) translated 16940 (90%) constraints
8.79/3.44	c (2,2) translated 18822 (100%) constraints
8.79/3.44	c (2,2) CSP to CSPinCNF End
8.79/3.44	c (2,2) CSP: 108 int (0 aux), 685 bool (682 aux), 18822 ctr, max domain size 28
8.79/3.44	c (2,2) Heap : 675 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB)
8.79/3.44	c (2,2) CSPinCNF Propagation Begin
9.83/3.79	c (3,3) 109 values, 8487 unsatisfiable literals, and 4834 valid clauses are removed
9.83/3.79	c (3,3) CSPinCNF Propagation End
9.83/3.79	c (3,3) CSP: 108 int (0 aux), 685 bool (682 aux), 13988 ctr, max domain size 26
9.83/3.79	c (3,3) Heap : 1013 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
9.83/3.79	c (3,3) Simplify CSPinCNF Begin
10.15/3.85	c (3,3) Simplify CSPinCNF End
10.15/3.85	c (3,3) CSP: 108 int (0 aux), 685 bool (682 aux), 13988 ctr, max domain size 26
10.15/3.85	c (3,3) Heap : 1013 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
10.15/3.85	c (3,3) Calculate Precise Domain Begin
10.15/3.85	c (3,3) 0 values are removed by re-calculation
10.15/3.85	c (3,3) Calculate Precise Domain End
10.15/3.85	c (3,3) CSP: 108 int (0 aux), 685 bool (682 aux), 13988 ctr, max domain size 26
10.15/3.85	c (3,3) Heap : 1013 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
10.15/3.85	c (3,3) CSPinCNF to SatSolver Begin
10.55/4.25	c (3,3) 1399 (10 %) CSP clauses are encoded (0 SAT variables, 3107 SAT clauses)
10.92/4.31	c (3,3) 2798 (20 %) CSP clauses are encoded (0 SAT variables, 4506 SAT clauses)
10.92/4.36	c (3,3) 4197 (30 %) CSP clauses are encoded (0 SAT variables, 5905 SAT clauses)
10.92/4.39	c (3,3) 5596 (40 %) CSP clauses are encoded (0 SAT variables, 7304 SAT clauses)
11.33/4.42	c (3,3) 6994 (50 %) CSP clauses are encoded (0 SAT variables, 8702 SAT clauses)
11.33/4.44	c (3,3) 8393 (60 %) CSP clauses are encoded (0 SAT variables, 10101 SAT clauses)
11.33/4.46	c (3,3) 9792 (70 %) CSP clauses are encoded (0 SAT variables, 11500 SAT clauses)
11.33/4.48	c (3,3) 11191 (80 %) CSP clauses are encoded (0 SAT variables, 12899 SAT clauses)
11.33/4.49	c (3,3) 12590 (90 %) CSP clauses are encoded (0 SAT variables, 14298 SAT clauses)
11.63/4.50	c (3,3) 13988 (100 %) CSP clauses are encoded (0 SAT variables, 15696 SAT clauses)
11.63/4.50	c (3,3) CSPinCNF to SatSolver End
11.63/4.50	c (3,3) Heap : 1126 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB)
11.63/4.50	c (3,3) 2482 bool, 15697 clause
11.63/4.50	c (3,3) Export Begin
11.82/4.61	c (4,3) Export to HOME/scop-10719-serial-file.bin
11.82/4.61	c (4,3) Export End
11.82/4.61	c (4,3) Export File Size: 0.02 MB
11.82/4.61	c (4,3) 0,0,2,3,3,3,3,STOP-AFTER(DIMACS)
11.82/4.61	c END-Prog: Sat Sep 14 06:53:31 CEST 2019
11.82/4.64	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-10719-serial-file.bin
12.35/5.10	c (0,0) Read Serial File Begin
12.35/5.10	c (0,0) HOME/scop-10719-serial-file.bin
12.77/5.32	c (0,0) Read Serial File End
12.77/5.34	
12.77/5.34	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
12.77/5.34	(Solving Process)
12.77/5.34	
12.77/5.36	c BEGIN-Prog: Sat Sep 14 06:53:32 CEST 2019
12.77/5.36	c PID: 10742
12.77/5.36	c IP: 172.20.3.143
12.77/5.36	c HOST: node143.alineos.net
12.77/5.36	c (0,0) SatSolver.solve Begin
12.77/5.36	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4392418-1568436847.xml-scop-10722.cnf
12.77/5.39	c (0,0) c
12.77/5.39	c (0,0) c This is deterministic version of glucose-syrup 4.1-27 (glucose in many threads) --  based on MiniSAT (Many thanks to MiniSAT team)
12.77/5.39	c (0,0) c
12.77/5.39	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
12.77/5.39	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
12.77/5.39	c (0,0) c ========================================[ Problem Statistics ]===========================================
12.77/5.39	c (0,0) c |                                                                                                       |
12.77/5.39	c (0,0) c |  Number of variables:          2480                                                                   |
12.77/5.39	c (0,0) c |  Number of clauses:           15697                                                                   |
12.77/5.39	c (0,0) c |  Parse time:                   0.01 s                                                                 |
12.77/5.39	c (0,0) c |                                                                                                       |
12.77/5.39	c (0,0) WARNING! DIMACS header mismatch: wrong number of variables.
13.01/5.40	c (0,0) c |  Simplification time:          0.01 s                                                                 |
13.01/5.40	c (0,0) c |                                                                                                       |
13.01/5.40	c (0,0) c |  Generating clones                                                                                    |
13.01/5.41	c (0,0) c |  all clones generated. Memory =    32.06Mb.                                                           |
13.01/5.41	c (0,0) c ========================================================================================================|
13.01/5.41	c (0,0) c
13.01/5.41	c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
13.01/5.41	c (0,0) c
13.01/5.41	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
13.01/5.41	c (0,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
13.01/5.41	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
13.01/5.41	c (0,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
13.01/5.41	c (0,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
13.01/5.41	c (0,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
13.01/5.41	c (0,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
13.01/5.41	c (0,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
13.01/5.41	c (0,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
13.01/5.41	c (0,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
13.01/5.41	c (0,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
13.01/5.41	c (0,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
13.01/5.41	c (0,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
13.01/5.41	c (0,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
13.01/5.41	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.41	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.41	c (0,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
13.01/5.41	c (0,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
13.01/5.41	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
228.42/35.29	c (30,0) c
228.42/35.29	c (30,0) c |------------------------------------------------------------------------------------------------------------------------|
228.42/35.29	c (30,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
228.42/35.29	c (30,0) c |------------------------------------------------------------------------------------------------------------------------|
228.42/35.29	c (30,0) c |  0 |    446 |     542898 |     298857 |     9355 |    67472 |    43262 |   287289 |    17119 |      292 |  20 |  0.847 |
228.42/35.29	c (30,0) c |  1 |    362 |     543715 |     285395 |     9440 |    54011 |    39874 |   300936 |    13042 |      307 |  20 |  0.847 |
228.42/35.29	c (30,0) c |  2 |    406 |     550622 |     292820 |     9427 |    61435 |    44672 |   287992 |    13736 |      297 |  20 |  0.847 |
228.42/35.29	c (30,0) c |  3 |    347 |     518789 |     277406 |     9472 |    46019 |    44304 |   282584 |    13305 |      287 |  20 |  0.848 |
228.42/35.29	c (30,0) c |  4 |    265 |     542258 |     288084 |     9183 |    56694 |    44811 |   296074 |     9840 |      307 |  20 |  0.847 |
228.42/35.29	c (30,0) c |  5 |    436 |     557021 |     296227 |     9572 |    64841 |    45196 |   294751 |    15694 |      304 |  20 |  0.847 |
228.42/35.29	c (30,0) c |  6 |    414 |     544235 |     292170 |     9390 |    60790 |    43883 |   294103 |    15216 |      307 |  20 |  0.847 |
228.42/35.29	c (30,0) c |  7 |    339 |     533562 |     284420 |     8367 |    53037 |    43459 |   278414 |    10194 |      301 |  20 |  0.847 |
228.42/35.29	c (30,0) c 
228.42/35.29	c (30,0) c synthesis     2315380 conflicts   175418986 propagations    10741 conflicts/sec   813801 propagations/sec
228.42/35.29	c (30,0) c real: 29.9021 s, cpu: 215.555 s, memory: 629.57 Mb
438.60/64.29	c (59,0) c
438.60/64.29	c (59,0) c |------------------------------------------------------------------------------------------------------------------------|
438.60/64.29	c (59,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
438.60/64.29	c (59,0) c |------------------------------------------------------------------------------------------------------------------------|
438.60/64.29	c (59,0) c |  0 |    552 |     852943 |     460193 |     9400 |    70012 |    58504 |   395252 |    27298 |      547 |  20 |  0.847 |
438.60/64.29	c (59,0) c |  1 |    590 |     856611 |     444844 |     9528 |    54662 |    52505 |   407701 |    27617 |      559 |  20 |  0.847 |
438.60/64.29	c (59,0) c |  2 |    516 |     825408 |     436983 |     9460 |    46793 |    58121 |   382778 |    21278 |      539 |  20 |  0.848 |
438.60/64.29	c (59,0) c |  3 |    529 |     853499 |     449895 |     9546 |    59713 |    60960 |   393111 |    26936 |      559 |  20 |  0.847 |
438.60/64.29	c (59,0) c |  4 |    315 |     825543 |     432649 |     9372 |    86064 |    58196 |   402111 |    20108 |      559 |  20 |  0.847 |
438.60/64.29	c (59,0) c |  5 |    498 |     849405 |     446085 |     9599 |    55902 |    61366 |   380312 |    23966 |      540 |  20 |  0.848 |
438.60/64.29	c (59,0) c |  6 |    519 |     847219 |     448804 |     9430 |    58627 |    59885 |   388830 |    24622 |      559 |  20 |  0.847 |
438.60/64.29	c (59,0) c |  7 |    450 |     833638 |     440284 |     9213 |    50102 |    57167 |   395467 |    21674 |      556 |  20 |  0.847 |
438.60/64.29	c (59,0) c 
438.60/64.29	c (59,0) c synthesis     3559738 conflicts   267516789 propagations     8369 conflicts/sec   628949 propagations/sec
438.60/64.29	c (59,0) c real: 58.902 s, cpu: 425.339 s, memory: 636.84 Mb
647.43/93.29	c (88,0) c
647.43/93.29	c (88,0) c |------------------------------------------------------------------------------------------------------------------------|
647.43/93.29	c (88,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
647.43/93.29	c (88,0) c |------------------------------------------------------------------------------------------------------------------------|
647.43/93.29	c (88,0) c |  0 |    603 |    1108062 |     590661 |     9416 |    54078 |    73780 |   463261 |    35179 |      809 |  20 |  0.848 |
647.43/93.29	c (88,0) c |  1 |    745 |    1129070 |     579920 |     9549 |    94728 |    65281 |   488334 |    38180 |      813 |  20 |  0.847 |
647.43/93.29	c (88,0) c |  2 |    568 |    1085894 |     570494 |     9483 |    85307 |    69632 |   479053 |    30569 |      813 |  20 |  0.848 |
647.43/93.29	c (88,0) c |  3 |    634 |    1108905 |     583286 |     9562 |    98104 |    73568 |   483422 |    36976 |      813 |  20 |  0.847 |
647.43/93.29	c (88,0) c |  4 |    493 |    1098399 |     571925 |     9518 |    86743 |    68148 |   489236 |    31867 |      813 |  20 |  0.847 |
647.43/93.29	c (88,0) c |  5 |    612 |    1119100 |     582056 |     9614 |    96869 |    70821 |   479645 |    33526 |      793 |  20 |  0.847 |
647.43/93.29	c (88,0) c |  6 |    598 |    1108963 |     580449 |     9447 |    95259 |    72476 |   482872 |    34094 |      812 |  20 |  0.848 |
647.43/93.29	c (88,0) c |  7 |    586 |    1108772 |     577573 |     9348 |    92397 |    68513 |   482836 |    34114 |      804 |  20 |  0.847 |
647.43/93.29	c (88,0) c 
647.43/93.29	c (88,0) c synthesis     4636364 conflicts   347310354 propagations     7313 conflicts/sec   547850 propagations/sec
647.43/93.29	c (88,0) c real: 87.906 s, cpu: 633.952 s, memory: 726.51 Mb
863.80/123.29	c (118,0) c
863.80/123.29	c (118,0) c |------------------------------------------------------------------------------------------------------------------------|
863.80/123.29	c (118,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
863.80/123.29	c (118,0) c |------------------------------------------------------------------------------------------------------------------------|
863.80/123.29	c (118,0) c |  0 |    686 |    1351481 |     710711 |     9432 |    63528 |    81387 |   564210 |    47074 |     1078 |  20 |  0.847 |
863.80/123.29	c (118,0) c |  1 |    812 |    1363393 |     698181 |     9562 |   107586 |    76514 |   568628 |    46374 |     1078 |  20 |  0.847 |
863.80/123.29	c (118,0) c |  2 |    641 |    1322152 |     688699 |     9492 |    98117 |    81033 |   563974 |    40161 |     1078 |  20 |  0.847 |
863.80/123.29	c (118,0) c |  3 |    691 |    1356069 |     705763 |     9571 |    55494 |    86090 |   558572 |    45822 |     1078 |  20 |  0.887 |
863.80/123.29	c (118,0) c |  4 |    574 |    1347944 |     696438 |     9539 |   105856 |    80294 |   563639 |    42326 |     1078 |  20 |  0.848 |
863.80/123.29	c (118,0) c |  5 |    736 |    1356591 |     700323 |     9621 |   109729 |    81436 |   554199 |    41972 |     1058 |  20 |  0.847 |
863.80/123.29	c (118,0) c |  6 |    653 |    1329759 |     691486 |     9459 |   100896 |    83333 |   555519 |    42936 |     1059 |  20 |  0.847 |
863.80/123.29	c (118,0) c |  7 |    700 |    1347178 |     699308 |     9380 |   108726 |    79829 |   562777 |    43634 |     1070 |  20 |  0.847 |
863.80/123.29	c (118,0) c 
863.80/123.29	c (118,0) c synthesis     5590909 conflicts   419609999 propagations     6578 conflicts/sec   493672 propagations/sec
863.80/123.29	c (118,0) c real: 117.902 s, cpu: 849.978 s, memory: 815.42 Mb
1040.75/149.66	c (144,0) c
1040.75/149.66	c (144,0) c real time : 144.278 s
1040.75/149.66	c (144,0) c cpu time  : 1026.02 s
1040.75/149.66	c (144,0) c
1040.75/149.66	c (144,0) c
1040.75/149.66	c (144,0) c
1040.75/149.66	c (144,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
1040.75/149.66	c (144,0) c
1040.75/149.66	c (144,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1040.75/149.66	c (144,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
1040.75/149.66	c (144,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1040.75/149.66	c (144,0) c | Conflicts     |         6269518 |     793323 |     780351 |     771591 |     790833 |     780009 |     791919 |     778613 |     782879 |
1040.75/149.66	c (144,0) c | Decisions     |        12137071 |    1518319 |    1524795 |    1489568 |    1528672 |    1518481 |    1540186 |    1504969 |    1512081 |
1040.75/149.66	c (144,0) c | Propagations  |       472801985 |   59020416 |   59423492 |   58124843 |   59533160 |   59166295 |   59579731 |   58679129 |   59274919 |
1040.75/149.66	c (144,0) c | ReduceDBs     |             192 |         24 |         24 |         24 |         24 |         24 |         24 |         24 |         24 |
1040.75/149.66	c (144,0) c | SimpDBs       |              88 |         11 |         10 |         12 |         11 |         11 |         11 |         12 |         10 |
1040.75/149.66	c (144,0) c | Restarts      |            5807 |        719 |        849 |        669 |        759 |        589 |        795 |        693 |        734 |
1040.75/149.66	c (144,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1040.75/149.66	c (144,0) c | PropBinClauses|       993226862 |  123089992 |  125133868 |  123232353 |  124170750 |  125064929 |  123537670 |  123046105 |  125951195 |
1040.75/149.66	c (144,0) c | PropPreBlocker|     34494825487 | 4297540209 | 4331649464 | 4277611885 | 4366214622 | 4264823858 | 4325807309 | 4289300004 | 4341878136 |
1040.75/149.66	c (144,0) c | PropNotBlocker|      5829706703 |  734384960 |  736100765 |  740637302 |  709646758 |  732282594 |  720548672 |  733736663 |  722368989 |
1040.75/149.66	c (144,0) c | LitFullScans  |     61592867905 | 7705227512 | 7705608637 | 7705472078 | 7704396376 | 7705669333 | 7687673540 | 7691171681 | 7687648748 |
1040.75/149.66	c (144,0) c | LitScanFracts |        12112080 |    1222018 |    1595759 |    1461039 |    1355102 |    1662128 |    1656277 |    1519474 |    1640283 |
1040.75/149.66	c (144,0) c | DecisionLevel0|            5927 |        731 |        860 |        683 |        780 |        600 |        812 |        713 |        748 |
1040.75/149.66	c (144,0) c | Periods       |           10262 |       1284 |       1284 |       1284 |       1283 |       1284 |       1281 |       1281 |       1281 |
1040.75/149.66	c (144,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
1040.75/149.66	c (144,0) c | Avg_Trail     |                 |        634 |        638 |        629 |        636 |        629 |        634 |        632 |        634 |
1040.75/149.66	c (144,0) c | Avg_DL        |                 |         23 |         21 |         21 |         22 |         21 |         21 |         21 |         21 |
1040.75/149.66	c (144,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1040.75/149.66	c (144,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1040.75/149.66	c (144,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1040.75/149.66	c (144,0) c | Exported      |          710015 |      90682 |      82993 |      88121 |      92188 |      87903 |      88166 |      90571 |      89391 |
1040.75/149.66	c (144,0) c | Imported      |         4896062 |     610926 |     617833 |     613722 |     610596 |     611654 |     612495 |     611569 |     607267 |
1040.75/149.66	c (144,0) c | Good          |           14311 |       1762 |       1757 |       1803 |       1847 |       1772 |       1769 |       1773 |       1828 |
1040.75/149.66	c (144,0) c | Purge         |         4881751 |     609164 |     616076 |     611919 |     608749 |     609882 |     610726 |     609796 |     605439 |
1040.75/149.66	c (144,0) c | Promoted      |          404722 |      53581 |      52898 |      47662 |      52202 |      49000 |      49124 |      50378 |      49877 |
1040.75/149.66	c (144,0) c | Remove_Imp    |         3852075 |     475788 |     490931 |     491982 |     478532 |     479297 |     474752 |     480477 |     480316 |
1040.75/149.66	c (144,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1040.75/149.66	c (144,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1040.75/149.66	c (144,0) c | Unaries       |                 |         12 |         11 |         14 |         21 |         11 |         17 |         20 |         14 |
1040.75/149.66	c (144,0) c | Binaries      |                 |        298 |        292 |        255 |        233 |        280 |        288 |        300 |        209 |
1040.75/149.66	c (144,0) c | Glues         |                 |       1001 |       1134 |       1018 |        967 |       1032 |       1107 |       1024 |        861 |
1040.75/149.66	c (144,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1040.75/149.66	c (144,0) c | Orig_Seen     |            87 % |       9447 |       9573 |       9508 |       9579 |       9545 |       9625 |       9474 |       9399 |
1040.75/149.66	c (144,0) c | Diff Orig seen|                 | -       27 |         99 |         34 |        105 |         71 |        151 |      X     | -       75 |
1040.75/149.66	c (144,0) c | Hamming       |            11 % |        317 |        291 |        310 |        272 |        306 |        274 |      X     |        287 |
1040.75/149.66	c (144,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1040.75/149.66	c (144,0) c | RunningTime   |                 |  134.3  94%|  116.2  81%|  130.2  91%|  127.8  89%|  112.3  78%|  137.5  96%|  129.5  91%|  140.9  98%|
1040.75/149.66	c (144,0) c | WaitingTime   |                 |    8.5   6%|   26.5  19%|   12.6   9%|   14.9  10%|   30.4  21%|    5.5   4%|   13.2   9%|    2.9   2%|
1040.75/149.66	c (144,0) c | ExchangingTime|                 |    0.3   0%|    0.4   0%|    0.3   0%|    0.3   0%|    0.4   0%|    0.3   0%|    0.3   0%|    0.3   0%|
1040.75/149.66	c (144,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%|
1040.75/149.66	c (144,0) c | SolvingTime   |                 |  143.1     |  143.1     |  143.1     |  143.1     |  143.1     |  143.3     |  143.0     |  144.2     |
1040.75/149.66	c (144,0) c | PropagationTim|                 |  100.1  70%|  128.7  90%|  104.9  73%|  104.0  73%|  126.7  89%|   96.2  67%|  106.1  74%|   90.2  63%|
1040.75/149.66	c (144,0) c | AnalysisTime  |                 |   39.5  28%|   10.6   7%|   34.6  24%|   35.7  25%|   12.7   9%|   43.6  30%|   33.6  23%|   50.7  35%|
1040.75/149.66	c (144,0) c | ReductionTime |                 |    1.3   1%|    1.5   1%|    1.3   1%|    1.2   1%|    1.4   1%|    1.3   1%|    1.3   1%|    1.2   1%|
1040.75/149.66	c (144,0) c | SimplifyTime  |                 |    0.2   0%|    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|
1040.75/149.66	c (144,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%|
1040.75/149.66	c (144,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%|
1040.75/149.66	c (144,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1040.75/149.66	c (144,0) c
1040.75/149.66	c (144,0) c
1040.75/149.66	c (144,0) c Threads : 8
1040.75/149.66	c (144,0) c Winner : 6
1040.75/149.66	c (144,0) c Conflicts_0 : 793323
1040.75/149.66	c (144,0) c Conflicts_1 : 780351
1040.75/149.66	c (144,0) c Conflicts_2 : 771591
1040.75/149.66	c (144,0) c Conflicts_3 : 790833
1040.75/149.66	c (144,0) c Conflicts_4 : 780009
1040.75/149.66	c (144,0) c Conflicts_5 : 791919
1040.75/149.66	c (144,0) c Conflicts_6 : 778613
1040.75/149.67	c (144,0) c Conflicts_7 : 782879
1040.75/149.67	c (144,0) c Conflicts_total : 6269518
1040.75/149.67	c (144,0) c Conflicts_winner : 778613
1040.75/149.67	c (144,0) c Decisions_0 : 1518319
1040.75/149.67	c (144,0) c Decisions_1 : 1524795
1040.75/149.67	c (144,0) c Decisions_2 : 1489568
1040.75/149.67	c (144,0) c Decisions_3 : 1528672
1040.75/149.67	c (144,0) c Decisions_4 : 1518481
1040.75/149.67	c (144,0) c Decisions_5 : 1540186
1040.75/149.67	c (144,0) c Decisions_6 : 1504969
1040.75/149.67	c (144,0) c Decisions_7 : 1512081
1040.75/149.67	c (144,0) c Decisions_total : 12137071
1040.75/149.67	c (144,0) c Decisions_winner : 1504969
1040.75/149.67	c (144,0) c Propagations_0 : 59020416
1040.75/149.67	c (144,0) c Propagations_1 : 59423492
1040.75/149.67	c (144,0) c Propagations_2 : 58124843
1040.75/149.67	c (144,0) c Propagations_3 : 59533160
1040.75/149.67	c (144,0) c Propagations_4 : 59166295
1040.75/149.67	c (144,0) c Propagations_5 : 59579731
1040.75/149.67	c (144,0) c Propagations_6 : 58679129
1040.75/149.67	c (144,0) c Propagations_7 : 59274919
1040.75/149.67	c (144,0) c Propagations_total : 472801985
1040.75/149.67	c (144,0) c Propagations_winner : 58679129
1040.75/149.67	c (144,0) c ReduceDBs_0 : 24
1040.75/149.67	c (144,0) c ReduceDBs_1 : 24
1040.75/149.67	c (144,0) c ReduceDBs_2 : 24
1040.75/149.67	c (144,0) c ReduceDBs_3 : 24
1040.75/149.67	c (144,0) c ReduceDBs_4 : 24
1040.75/149.67	c (144,0) c ReduceDBs_5 : 24
1040.75/149.67	c (144,0) c ReduceDBs_6 : 24
1040.75/149.67	c (144,0) c ReduceDBs_7 : 24
1040.75/149.67	c (144,0) c ReduceDBs_total : 192
1040.75/149.67	c (144,0) c ReduceDBs_winner : 24
1040.75/149.67	c (144,0) c SimpDBs_0 : 11
1040.75/149.67	c (144,0) c SimpDBs_1 : 10
1040.75/149.67	c (144,0) c SimpDBs_2 : 12
1040.75/149.67	c (144,0) c SimpDBs_3 : 11
1040.75/149.67	c (144,0) c SimpDBs_4 : 11
1040.75/149.67	c (144,0) c SimpDBs_5 : 11
1040.75/149.67	c (144,0) c SimpDBs_6 : 12
1040.75/149.67	c (144,0) c SimpDBs_7 : 10
1040.75/149.67	c (144,0) c SimpDBs_total : 88
1040.75/149.67	c (144,0) c SimpDBs_winner : 12
1040.75/149.67	c (144,0) c Restarts_0 : 719
1040.75/149.67	c (144,0) c Restarts_1 : 849
1040.75/149.67	c (144,0) c Restarts_2 : 669
1040.75/149.67	c (144,0) c Restarts_3 : 759
1040.75/149.67	c (144,0) c Restarts_4 : 589
1040.75/149.67	c (144,0) c Restarts_5 : 795
1040.75/149.67	c (144,0) c Restarts_6 : 693
1040.75/149.67	c (144,0) c Restarts_7 : 734
1040.75/149.67	c (144,0) c Restarts_total : 5807
1040.75/149.67	c (144,0) c Restarts_winner : 693
1040.75/149.67	c (144,0) c ForcedImports_0 : 0
1040.75/149.67	c (144,0) c ForcedImports_1 : 0
1040.75/149.67	c (144,0) c ForcedImports_2 : 0
1040.75/149.67	c (144,0) c ForcedImports_3 : 0
1040.75/149.67	c (144,0) c ForcedImports_4 : 0
1040.75/149.67	c (144,0) c ForcedImports_5 : 0
1040.75/149.67	c (144,0) c ForcedImports_6 : 0
1040.75/149.67	c (144,0) c ForcedImports_7 : 0
1040.75/149.67	c (144,0) c ForcedImports_total : 0
1040.75/149.67	c (144,0) c ForcedImports_winner : 0
1040.75/149.67	c (144,0) c PropsBinClauses_0 : 123089992
1040.75/149.67	c (144,0) c PropsBinClauses_1 : 125133868
1040.75/149.67	c (144,0) c PropsBinClauses_2 : 123232353
1040.75/149.67	c (144,0) c PropsBinClauses_3 : 124170750
1040.75/149.67	c (144,0) c PropsBinClauses_4 : 125064929
1040.75/149.67	c (144,0) c PropsBinClauses_5 : 123537670
1040.75/149.67	c (144,0) c PropsBinClauses_6 : 123046105
1040.75/149.67	c (144,0) c PropsBinClauses_7 : 125951195
1040.75/149.67	c (144,0) c PropsBinClauses_total : 993226862
1040.75/149.67	c (144,0) c PropsBinClauses_winner : 123046105
1040.75/149.67	c (144,0) c PropsPreBlocker_0 : 4297540209
1040.75/149.67	c (144,0) c PropsPreBlocker_1 : 4331649464
1040.75/149.67	c (144,0) c PropsPreBlocker_2 : 4277611885
1040.75/149.67	c (144,0) c PropsPreBlocker_3 : 4366214622
1040.75/149.67	c (144,0) c PropsPreBlocker_4 : 4264823858
1040.75/149.67	c (144,0) c PropsPreBlocker_5 : 4325807309
1040.75/149.67	c (144,0) c PropsPreBlocker_6 : 4289300004
1040.75/149.67	c (144,0) c PropsPreBlocker_7 : 4341878136
1040.75/149.67	c (144,0) c PropsPreBlocker_total : 34494825487
1040.75/149.67	c (144,0) c PropsPreBlocker_winner : 4289300004
1040.75/149.67	c (144,0) c PropsNotBlocker_0 : 734384960
1040.75/149.67	c (144,0) c PropsNotBlocker_1 : 736100765
1040.75/149.67	c (144,0) c PropsNotBlocker_2 : 740637302
1040.75/149.67	c (144,0) c PropsNotBlocker_3 : 709646758
1040.75/149.67	c (144,0) c PropsNotBlocker_4 : 732282594
1040.75/149.67	c (144,0) c PropsNotBlocker_5 : 720548672
1040.75/149.67	c (144,0) c PropsNotBlocker_6 : 733736663
1040.75/149.67	c (144,0) c PropsNotBlocker_7 : 722368989
1040.75/149.67	c (144,0) c PropsNotBlocker_total : 5829706703
1040.75/149.67	c (144,0) c PropsNotBlocker_winner : 733736663
1040.75/149.67	c (144,0) c PropsLitFullScans_0 : 7705227512
1040.75/149.67	c (144,0) c PropsLitFullScans_1 : 7705608637
1040.75/149.67	c (144,0) c PropsLitFullScans_2 : 7705472078
1040.75/149.67	c (144,0) c PropsLitFullScans_3 : 7704396376
1040.75/149.67	c (144,0) c PropsLitFullScans_4 : 7705669333
1040.75/149.67	c (144,0) c PropsLitFullScans_5 : 7687673540
1040.75/149.67	c (144,0) c PropsLitFullScans_6 : 7691171681
1040.75/149.67	c (144,0) c PropsLitFullScans_7 : 7687648748
1040.75/149.67	c (144,0) c PropsLitFullScans_total : 61592867905
1040.75/149.67	c (144,0) c PropsLitFullScans_winner : 7691171681
1040.75/149.67	c (144,0) c LitScanFractions_0 : 1222018
1040.75/149.67	c (144,0) c LitScanFractions_1 : 1595759
1040.75/149.67	c (144,0) c LitScanFractions_2 : 1461039
1040.75/149.67	c (144,0) c LitScanFractions_3 : 1355102
1040.75/149.67	c (144,0) c LitScanFractions_4 : 1662128
1040.75/149.67	c (144,0) c LitScanFractions_5 : 1656277
1040.75/149.67	c (144,0) c LitScanFractions_6 : 1519474
1040.75/149.67	c (144,0) c LitScanFractions_7 : 1640283
1040.75/149.67	c (144,0) c LitScanFractions_total : 12112080
1040.75/149.67	c (144,0) c LitScanFractions_winner : 1519474
1040.75/149.67	c (144,0) c DecisionLevel0_0 : 731
1040.75/149.67	c (144,0) c DecisionLevel0_1 : 860
1040.75/149.67	c (144,0) c DecisionLevel0_2 : 683
1040.75/149.67	c (144,0) c DecisionLevel0_3 : 780
1040.75/149.67	c (144,0) c DecisionLevel0_4 : 600
1040.75/149.67	c (144,0) c DecisionLevel0_5 : 812
1040.75/149.67	c (144,0) c DecisionLevel0_6 : 713
1040.75/149.67	c (144,0) c DecisionLevel0_7 : 748
1040.75/149.67	c (144,0) c DecisionLevel0_total : 5927
1040.75/149.67	c (144,0) c DecisionLevel0_winner : 713
1040.75/149.67	c (144,0) c Periods_0 : 1284
1040.75/149.67	c (144,0) c Periods_1 : 1284
1040.75/149.67	c (144,0) c Periods_2 : 1284
1040.75/149.67	c (144,0) c Periods_3 : 1283
1040.75/149.67	c (144,0) c Periods_4 : 1284
1040.75/149.67	c (144,0) c Periods_5 : 1281
1040.75/149.67	c (144,0) c Periods_6 : 1281
1040.75/149.67	c (144,0) c Periods_7 : 1281
1040.75/149.67	c (144,0) c Periods_total : 10262
1040.75/149.67	c (144,0) c Periods_winner : 1281
1040.75/149.67	c (144,0) c Margin_0 : 20
1040.75/149.67	c (144,0) c Margin_1 : 20
1040.75/149.67	c (144,0) c Margin_2 : 20
1040.75/149.67	c (144,0) c Margin_3 : 20
1040.75/149.67	c (144,0) c Margin_4 : 20
1040.75/149.67	c (144,0) c Margin_5 : 20
1040.75/149.67	c (144,0) c Margin_6 : 20
1040.75/149.67	c (144,0) c Margin_7 : 20
1040.75/149.67	c (144,0) c Margin_total : 160
1040.75/149.67	c (144,0) c Margin_winner : 20
1040.75/149.67	c (144,0) c Exported_0 : 90682
1040.75/149.67	c (144,0) c Exported_1 : 82993
1040.75/149.67	c (144,0) c Exported_2 : 88121
1040.75/149.67	c (144,0) c Exported_3 : 92188
1040.75/149.67	c (144,0) c Exported_4 : 87903
1040.75/149.67	c (144,0) c Exported_5 : 88166
1040.75/149.67	c (144,0) c Exported_6 : 90571
1040.75/149.67	c (144,0) c Exported_7 : 89391
1040.75/149.67	c (144,0) c Exported_total : 710015
1040.75/149.67	c (144,0) c Exported_winner : 90571
1040.75/149.67	c (144,0) c Imported_0 : 610926
1040.75/149.67	c (144,0) c Imported_1 : 617833
1040.75/149.67	c (144,0) c Imported_2 : 613722
1040.75/149.67	c (144,0) c Imported_3 : 610596
1040.75/149.67	c (144,0) c Imported_4 : 611654
1040.75/149.67	c (144,0) c Imported_5 : 612495
1040.75/149.67	c (144,0) c Imported_6 : 611569
1040.75/149.67	c (144,0) c Imported_7 : 607267
1040.75/149.67	c (144,0) c Imported_total : 4896062
1040.75/149.67	c (144,0) c Imported_winner : 611569
1040.75/149.67	c (144,0) c Good_0 : 1762
1040.75/149.67	c (144,0) c Good_1 : 1757
1040.75/149.67	c (144,0) c Good_2 : 1803
1040.75/149.67	c (144,0) c Good_3 : 1847
1040.75/149.67	c (144,0) c Good_4 : 1772
1040.75/149.67	c (144,0) c Good_5 : 1769
1040.75/149.67	c (144,0) c Good_6 : 1773
1040.75/149.67	c (144,0) c Good_7 : 1828
1040.75/149.67	c (144,0) c Good_total : 14311
1040.75/149.67	c (144,0) c Good_winner : 1773
1040.75/149.67	c (144,0) c Purge_0 : 609164
1040.75/149.67	c (144,0) c Purge_1 : 616076
1040.75/149.67	c (144,0) c Purge_2 : 611919
1040.75/149.67	c (144,0) c Purge_3 : 608749
1040.75/149.67	c (144,0) c Purge_4 : 609882
1040.75/149.67	c (144,0) c Purge_5 : 610726
1040.75/149.67	c (144,0) c Purge_6 : 609796
1040.75/149.67	c (144,0) c Purge_7 : 605439
1040.75/149.67	c (144,0) c Purge_total : 4881751
1040.75/149.67	c (144,0) c Purge_winner : 609796
1040.75/149.67	c (144,0) c Promoted_0 : 53581
1040.75/149.67	c (144,0) c Promoted_1 : 52898
1040.75/149.67	c (144,0) c Promoted_2 : 47662
1040.75/149.67	c (144,0) c Promoted_3 : 52202
1040.75/149.67	c (144,0) c Promoted_4 : 49000
1040.75/149.67	c (144,0) c Promoted_5 : 49124
1040.75/149.67	c (144,0) c Promoted_6 : 50378
1040.75/149.67	c (144,0) c Promoted_7 : 49877
1040.75/149.67	c (144,0) c Promoted_total : 404722
1040.75/149.67	c (144,0) c Promoted_winner : 50378
1040.75/149.67	c (144,0) c Remove_Imp_0 : 475788
1040.75/149.67	c (144,0) c Remove_Imp_1 : 490931
1040.75/149.67	c (144,0) c Remove_Imp_2 : 491982
1040.75/149.67	c (144,0) c Remove_Imp_3 : 478532
1040.75/149.67	c (144,0) c Remove_Imp_4 : 479297
1040.75/149.67	c (144,0) c Remove_Imp_5 : 474752
1040.75/149.67	c (144,0) c Remove_Imp_6 : 480477
1040.75/149.67	c (144,0) c Remove_Imp_7 : 480316
1040.75/149.67	c (144,0) c Remove_Imp_total : 3852075
1040.75/149.67	c (144,0) c Remove_Imp_winner : 480477
1040.75/149.67	c (144,0) c Blocked_Reuse_0 : 0
1040.75/149.67	c (144,0) c Blocked_Reuse_1 : 0
1040.75/149.67	c (144,0) c Blocked_Reuse_2 : 0
1040.75/149.67	c (144,0) c Blocked_Reuse_3 : 0
1040.75/149.67	c (144,0) c Blocked_Reuse_4 : 0
1040.75/149.67	c (144,0) c Blocked_Reuse_5 : 0
1040.75/149.67	c (144,0) c Blocked_Reuse_6 : 0
1040.75/149.67	c (144,0) c Blocked_Reuse_7 : 0
1040.75/149.67	c (144,0) c Blocked_Reuse_total : 0
1040.75/149.67	c (144,0) c Blocked_Reuse_winner : 0
1040.75/149.67	c (144,0) c Unaries_0 : 12
1040.75/149.67	c (144,0) c Unaries_1 : 11
1040.75/149.67	c (144,0) c Unaries_2 : 14
1040.75/149.67	c (144,0) c Unaries_3 : 21
1040.75/149.67	c (144,0) c Unaries_4 : 11
1040.75/149.67	c (144,0) c Unaries_5 : 17
1040.75/149.67	c (144,0) c Unaries_6 : 20
1040.75/149.67	c (144,0) c Unaries_7 : 14
1040.75/149.67	c (144,0) c Unaries_total : 120
1040.75/149.67	c (144,0) c Unaries_winner : 20
1040.75/149.67	c (144,0) c Binaries_0 : 298
1040.75/149.67	c (144,0) c Binaries_1 : 292
1040.75/149.67	c (144,0) c Binaries_2 : 255
1040.75/149.67	c (144,0) c Binaries_3 : 233
1040.75/149.67	c (144,0) c Binaries_4 : 280
1040.75/149.67	c (144,0) c Binaries_5 : 288
1040.75/149.67	c (144,0) c Binaries_6 : 300
1040.75/149.67	c (144,0) c Binaries_7 : 209
1040.75/149.67	c (144,0) c Binaries_total : 2155
1040.75/149.67	c (144,0) c Binaries_winner : 300
1040.75/149.67	c (144,0) c Glues_0 : 1001
1040.75/149.67	c (144,0) c Glues_1 : 1134
1040.75/149.67	c (144,0) c Glues_2 : 1018
1040.75/149.67	c (144,0) c Glues_3 : 967
1040.75/149.67	c (144,0) c Glues_4 : 1032
1040.75/149.67	c (144,0) c Glues_5 : 1107
1040.75/149.67	c (144,0) c Glues_6 : 1024
1040.75/149.67	c (144,0) c Glues_7 : 861
1040.75/149.67	c (144,0) c Glues_total : 8144
1040.75/149.67	c (144,0) c Glues_winner : 1024
1040.75/149.67	c (144,0) c RunningTime_0 : 134.259801
1040.75/149.67	c (144,0) c RunningTime_1 : 116.208880
1040.75/149.67	c (144,0) c RunningTime_2 : 130.150756
1040.75/149.67	c (144,0) c RunningTime_3 : 127.826205
1040.75/149.67	c (144,0) c RunningTime_4 : 112.272670
1040.75/149.67	c (144,0) c RunningTime_5 : 137.495771
1040.75/149.67	c (144,0) c RunningTime_6 : 129.493973
1040.75/149.67	c (144,0) c RunningTime_7 : 140.932012
1040.75/149.67	c (144,0) c RunningTime_total : 1028.640068
1040.75/149.67	c (144,0) c RunningTime_winner : 129.493973
1040.75/149.67	c (144,0) c WaitingTime_0 : 8.474424
1040.75/149.67	c (144,0) c WaitingTime_1 : 26.520001
1040.75/149.67	c (144,0) c WaitingTime_2 : 12.623571
1040.75/149.67	c (144,0) c WaitingTime_3 : 14.914213
1040.75/149.67	c (144,0) c WaitingTime_4 : 30.416583
1040.75/149.67	c (144,0) c WaitingTime_5 : 5.473193
1040.75/149.67	c (144,0) c WaitingTime_6 : 13.227399
1040.75/149.67	c (144,0) c WaitingTime_7 : 2.897015
1040.75/149.67	c (144,0) c WaitingTime_total : 114.546399
1040.75/149.67	c (144,0) c WaitingTime_winner : 13.227399
1040.75/149.67	c (144,0) c ExchangingTime_0 : 0.330901
1040.75/149.67	c (144,0) c ExchangingTime_1 : 0.356452
1040.75/149.67	c (144,0) c ExchangingTime_2 : 0.336569
1040.75/149.67	c (144,0) c ExchangingTime_3 : 0.319057
1040.75/149.67	c (144,0) c ExchangingTime_4 : 0.374565
1040.75/149.67	c (144,0) c ExchangingTime_5 : 0.325974
1040.75/149.67	c (144,0) c ExchangingTime_6 : 0.309106
1040.75/149.67	c (144,0) c ExchangingTime_7 : 0.342026
1040.75/149.67	c (144,0) c ExchangingTime_total : 2.694650
1040.75/149.67	c (144,0) c ExchangingTime_winner : 0.309106
1040.75/149.67	c (144,0) c PeriodProcTime_0 : 0.011248
1040.75/149.67	c (144,0) c PeriodProcTime_1 : 0.012926
1040.75/149.67	c (144,0) c PeriodProcTime_2 : 0.012225
1040.75/149.67	c (144,0) c PeriodProcTime_3 : 0.013285
1040.75/149.67	c (144,0) c PeriodProcTime_4 : 0.012908
1040.75/149.67	c (144,0) c PeriodProcTime_5 : 0.014062
1040.75/149.67	c (144,0) c PeriodProcTime_6 : 0.013494
1040.75/149.67	c (144,0) c PeriodProcTime_7 : 0.011924
1040.75/149.67	c (144,0) c PeriodProcTime_total : 0.102072
1040.75/149.67	c (144,0) c PeriodProcTime_winner : 0.013494
1040.75/149.67	c (144,0) c SolvingTime_0 : 143.076375
1040.75/149.67	c (144,0) c SolvingTime_1 : 143.098259
1040.75/149.67	c (144,0) c SolvingTime_2 : 143.123120
1040.75/149.67	c (144,0) c SolvingTime_3 : 143.072760
1040.75/149.67	c (144,0) c SolvingTime_4 : 143.076726
1040.75/149.67	c (144,0) c SolvingTime_5 : 143.309000
1040.75/149.67	c (144,0) c SolvingTime_6 : 143.043972
1040.75/149.67	c (144,0) c SolvingTime_7 : 144.182977
1040.75/149.67	c (144,0) c SolvingTime_total : 1145.983189
1040.75/149.67	c (144,0) c SolvingTime_winner : 143.043972
1040.75/149.67	c (144,0) c PropagationTime_0 : 100.062567
1040.75/149.67	c (144,0) c PropagationTime_1 : 128.694919
1040.75/149.67	c (144,0) c PropagationTime_2 : 104.929735
1040.75/149.67	c (144,0) c PropagationTime_3 : 103.970035
1040.75/149.67	c (144,0) c PropagationTime_4 : 126.740782
1040.75/149.67	c (144,0) c PropagationTime_5 : 96.170306
1040.75/149.67	c (144,0) c PropagationTime_6 : 106.054768
1040.75/149.67	c (144,0) c PropagationTime_7 : 90.196444
1040.75/149.67	c (144,0) c PropagationTime_total : 856.819555
1040.75/149.67	c (144,0) c PropagationTime_winner : 106.054768
1040.75/149.67	c (144,0) c AnalysisTime_0 : 39.502656
1040.75/149.67	c (144,0) c AnalysisTime_1 : 10.623660
1040.75/149.67	c (144,0) c AnalysisTime_2 : 34.571636
1040.75/149.67	c (144,0) c AnalysisTime_3 : 35.654660
1040.75/149.67	c (144,0) c AnalysisTime_4 : 12.727929
1040.75/149.67	c (144,0) c AnalysisTime_5 : 43.641925
1040.75/149.67	c (144,0) c AnalysisTime_6 : 33.557418
1040.75/149.67	c (144,0) c AnalysisTime_7 : 50.673208
1040.75/149.67	c (144,0) c AnalysisTime_total : 260.953092
1040.75/149.67	c (144,0) c AnalysisTime_winner : 33.557418
1040.75/149.67	c (144,0) c ReductionTime_0 : 1.282812
1040.75/149.67	c (144,0) c ReductionTime_1 : 1.469826
1040.75/149.67	c (144,0) c ReductionTime_2 : 1.298987
1040.75/149.67	c (144,0) c ReductionTime_3 : 1.249017
1040.75/149.67	c (144,0) c ReductionTime_4 : 1.415504
1040.75/149.67	c (144,0) c ReductionTime_5 : 1.348577
1040.75/149.67	c (144,0) c ReductionTime_6 : 1.343250
1040.75/149.67	c (144,0) c ReductionTime_7 : 1.225461
1040.75/149.67	c (144,0) c ReductionTime_total : 10.633435
1040.75/149.67	c (144,0) c ReductionTime_winner : 1.343250
1040.75/149.67	c (144,0) c SimplifyTime_0 : 0.150485
1040.75/149.67	c (144,0) c SimplifyTime_1 : 0.109806
1040.75/149.67	c (144,0) c SimplifyTime_2 : 0.134736
1040.75/149.67	c (144,0) c SimplifyTime_3 : 0.050244
1040.75/149.67	c (144,0) c SimplifyTime_4 : 0.051515
1040.75/149.67	c (144,0) c SimplifyTime_5 : 0.052175
1040.75/149.67	c (144,0) c SimplifyTime_6 : 0.050445
1040.75/149.67	c (144,0) c SimplifyTime_7 : 0.050074
1040.75/149.67	c (144,0) c SimplifyTime_total : 0.649480
1040.75/149.67	c (144,0) c SimplifyTime_winner : 0.050445
1040.75/149.67	c (144,0) c UsedRateTime_0 : 0.000000
1040.75/149.67	c (144,0) c UsedRateTime_1 : 0.000000
1040.75/149.67	c (144,0) c UsedRateTime_2 : 0.000000
1040.75/149.67	c (144,0) c UsedRateTime_3 : 0.000000
1040.75/149.67	c (144,0) c UsedRateTime_4 : 0.000000
1040.75/149.67	c (144,0) c UsedRateTime_5 : 0.000000
1040.75/149.67	c (144,0) c UsedRateTime_6 : 0.000000
1040.75/149.67	c (144,0) c UsedRateTime_7 : 0.000000
1040.75/149.68	c (144,0) c UsedRateTime_total : 0.000000
1040.75/149.68	c (144,0) c UsedRateTime_winner : 0.000000
1040.75/149.68	c (144,0) c OverlapRateTime_0 : 0.000000
1040.75/149.68	c (144,0) c OverlapRateTime_1 : 0.000000
1040.75/149.68	c (144,0) c OverlapRateTime_2 : 0.000000
1040.75/149.68	c (144,0) c OverlapRateTime_3 : 0.000000
1040.75/149.68	c (144,0) c OverlapRateTime_4 : 0.000000
1040.75/149.68	c (144,0) c OverlapRateTime_5 : 0.000000
1040.75/149.68	c (144,0) c OverlapRateTime_6 : 0.000000
1040.75/149.68	c (144,0) c OverlapRateTime_7 : 0.000000
1040.75/149.68	c (144,0) c OverlapRateTime_total : 0.000000
1040.75/149.68	c (144,0) c OverlapRateTime_winner : 0.000000
1040.75/149.68	c (144,0) c
1040.75/149.68	c (144,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
1040.75/149.68	c (144,0) c
1040.75/149.68	c (144,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
1040.75/149.68	c (144,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
1040.75/149.68	c (144,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
1040.75/149.68	c (144,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
1040.75/149.68	c (144,0) c | adaptStrategeis       |      False |      False |      False |      False |      False |      False |      False |      False |
1040.75/149.68	c (144,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
1040.75/149.68	c (144,0) c | Initial random_seed   |  956294431 | 1875340738 | 1929678284 | 1139643807 |  773963715 | 1956678552 |  600817058 | 1414876421 |
1040.75/149.68	c (144,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
1040.75/149.68	c (144,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
1040.75/149.68	c (144,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
1040.75/149.68	c (144,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
1040.75/149.68	c (144,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
1040.75/149.68	c (144,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
1040.75/149.68	c (144,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
1040.75/149.68	c (144,0) c | var_decay             |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
1040.75/149.68	c (144,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
1040.75/149.68	c (144,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
1040.75/149.68	c (144,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
1040.75/149.68	c (144,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
1040.75/149.68	c (144,0) 
1040.75/149.68	c (144,0) s UNSATISFIABLE
1040.75/149.68	c (144,0) SatSolver.solve End
1040.75/149.68	c (144,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
1040.75/149.69	c (144,0) Show results Begin
1040.75/149.69	s UNSATISFIABLE
1040.75/149.69	c (144,0) Show results End
1040.75/149.69	c (144,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
1040.75/149.69	c (144,0) 144,144,STOP-AFTER(ALL)
1040.75/149.69	c END-Prog: Sat Sep 14 06:55: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 (10818 MiB free)
  memory of node 1: 16384 MiB (13301 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392418-1568436847/watcher-4392418-1568436847 -o /tmp/evaluation-result-4392418-1568436847/solver-4392418-1568436847 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node143-1568436511-10434 --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-4392418-1568436847.xml 

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

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


[startup+0.100154 s]*
/proc/loadavg: 5.82 6.69 7.22 2/213 10741
/proc/meminfo: memFree=24608308/32770624 swapFree=67108848/67108860
[pid=10719] ppid=10716 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/10719/stat : 10719 (scop.sh) S 10716 10719 10407 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 419622086 115843072 349 33554432000 4194304 5098028 140725552114112 140725552111368 140061424779900 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 7417856 140725552120613 140725552120940 140725552120940 140725552123853 0
/proc/10719/statm: 28282 349 296 221 0 87 0
[pid=10722] ppid=10719 vsize=27314120 memory=104340 CPUtime=0.1 cores=0-7
/proc/10722/stat : 10722 (java) S 10719 10719 10407 0 -1 1077944320 6649 0 0 0 8 2 0 0 20 0 20 0 419622086 27969658880 26085 33554432000 4194304 4196468 140736341720640 140736341703184 140020660076279 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 16150528 140736341721835 140736341722262 140736341722262 140736341725135 0
/proc/10722/statm: 6828530 26085 2791 1 0 6790935 0
[pid=10722/tid=10723] ppid=10719 vsize=27314120 memory=1398722017469774279 CPUtime=0.08 cores=0-7
/proc/10722/task/10723/stat : 10723 (java) R 10719 10719 10407 0 -1 4202560 4756 0 0 0 7 1 0 0 20 0 20 0 419622087 27969658880 26085 33554432000 4194304 4196468 140736341720640 140020631909008 140020644156692 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16150528 140736341721835 140736341722262 140736341722262 140736341725135 0
[pid=10722/tid=10724] ppid=10719 vsize=27314120 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/10722/task/10724/stat : 10724 (java) S 10719 10719 10407 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419622089 27969658880 26085 33554432000 4194304 4196468 140736341720640 140020664318864 140020660086485 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16150528 140736341721835 140736341722262 140736341722262 140736341725135 0
[pid=10722/tid=10725] ppid=10719 vsize=27314120 memory=139866240751232 CPUtime=0 cores=0-7
/proc/10722/task/10725/stat : 10725 (java) S 10719 10719 10407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419622089 27969658880 26085 33554432000 4194304 4196468 140736341720640 140020082354960 140020660086485 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16150528 140736341721835 140736341722262 140736341722262 140736341725135 0
[pid=10722/tid=10726] ppid=10719 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10722/task/10726/stat : 10726 (java) S 10719 10719 10407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419622089 27969658880 26085 33554432000 4194304 4196468 140736341720640 140020081302672 140020660086485 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16150528 140736341721835 140736341722262 140736341722262 140736341725135 0
[pid=10722/tid=10727] ppid=10719 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10722/task/10727/stat : 10727 (java) S 10719 10719 10407 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419622089 27969658880 26085 33554432000 4194304 4196468 140736341720640 140020080249872 140020660086485 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16150528 140736341721835 140736341722262 140736341722262 140736341725135 0
[pid=10722/tid=10728] ppid=10719 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10722/task/10728/stat : 10728 (java) S 10719 10719 10407 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419622089 27969658880 26085 33554432000 4194304 4196468 140736341720640 140020079196560 140020660086485 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16150528 140736341721835 140736341722262 140736341722262 140736341725135 0
[pid=10722/tid=10729] ppid=10719 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/10722/task/10729/stat : 10729 (java) S 10719 10719 10407 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419622089 27969658880 26085 33554432000 4194304 4196468 140736341720640 140020078143760 140020660086485 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16150528 140736341721835 140736341722262 140736341722262 140736341725135 0
[pid=10722/tid=10730] ppid=10719 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10722/task/10730/stat : 10730 (java) S 10719 10719 10407 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419622089 27969658880 26085 33554432000 4194304 4196468 140736341720640 140020077091472 140020660086485 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16150528 140736341721835 140736341722262 140736341722262 140736341725135 0
[pid=10722/tid=10731] ppid=10719 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10722/task/10731/stat : 10731 (java) S 10719 10719 10407 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419622089 27969658880 26085 33554432000 4194304 4196468 140736341720640 140020076038672 140020660086485 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16150528 140736341721835 140736341722262 140736341722262 140736341725135 0
[pid=10722/tid=10732] ppid=10719 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10722/task/10732/stat : 10732 (java) S 10719 10719 10407 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419622091 27969658880 26085 33554432000 4194304 4196468 140736341720640 140019294943856 140020660087426 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16150528 140736341721835 140736341722262 140736341722262 140736341725135 0
[pid=10722/tid=10733] ppid=10719 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10722/task/10733/stat : 10733 (java) S 10719 10719 10407 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419622091 27969658880 26085 33554432000 4194304 4196468 140736341720640 140018416870688 140020660086485 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16150528 140736341721835 140736341722262 140736341722262 140736341725135 0
[pid=10722/tid=10734] ppid=10719 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10722/task/10734/stat : 10734 (java) S 10719 10719 10407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419622091 27969658880 26085 33554432000 4194304 4196468 140736341720640 140018148435568 140020660086485 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16150528 140736341721835 140736341722262 140736341722262 140736341725135 0
[pid=10722/tid=10735] ppid=10719 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10722/task/10735/stat : 10735 (java) S 10719 10719 10407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419622094 27969658880 26150 33554432000 4194304 4196468 140736341720640 140017773926992 140020660094875 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16150528 140736341721835 140736341722262 140736341722262 140736341725135 0
[pid=10722/tid=10736] ppid=10719 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10722/task/10736/stat : 10736 (java) S 10719 10719 10407 0 -1 1077944384 297 0 0 0 0 0 0 0 20 0 20 0 419622094 27969658880 26150 33554432000 4194304 4196468 140736341720640 140019293890672 140020660087426 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16150528 140736341721835 140736341722262 140736341722262 140736341725135 0
[pid=10722/tid=10737] ppid=10719 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10722/task/10737/stat : 10737 (java) S 10719 10719 10407 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419622094 27969658880 26150 33554432000 4194304 4196468 140736341720640 140019292837872 140020660087426 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16150528 140736341721835 140736341722262 140736341722262 140736341725135 0
[pid=10722/tid=10738] ppid=10719 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10722/task/10738/stat : 10738 (java) S 10719 10719 10407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419622094 27969658880 26150 33554432000 4194304 4196468 140736341720640 140019291785584 140020660087426 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16150528 140736341721835 140736341722262 140736341722262 140736341725135 0
[pid=10722/tid=10739] ppid=10719 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10722/task/10739/stat : 10739 (java) S 10719 10719 10407 0 -1 1077944384 269 0 0 0 0 0 0 0 20 0 20 0 419622094 27969658880 26150 33554432000 4194304 4196468 140736341720640 140019290732784 140020660087426 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16150528 140736341721835 140736341722262 140736341722262 140736341725135 0
[pid=10722/tid=10740] ppid=10719 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10722/task/10740/stat : 10740 (java) S 10719 10719 10407 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419622094 27969658880 26150 33554432000 4194304 4196468 140736341720640 140017276021600 140020660086485 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16150528 140736341721835 140736341722262 140736341722262 140736341725135 0
[pid=10722/tid=10741] ppid=10719 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/10722/task/10741/stat : 10741 (java) S 10719 10719 10407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419622095 27969658880 26150 33554432000 4194304 4196468 140736341720640 140019041823536 140020660087426 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16150528 140736341721835 140736341722262 140736341722262 140736341725135 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 105736 KiB

[startup+0.210669 s]*
/proc/loadavg: 5.82 6.69 7.22 3/213 10741
/proc/meminfo: memFree=24584348/32770624 swapFree=67108848/67108860
[pid=10719] ppid=10716 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/10719/stat : 10719 (scop.sh) S 10716 10719 10407 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 419622086 115843072 349 33554432000 4194304 5098028 140725552114112 140725552111368 140061424779900 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 7417856 140725552120613 140725552120940 140725552120940 140725552123853 0
/proc/10719/statm: 28282 349 296 221 0 87 0
[pid=10722] ppid=10719 vsize=27314120 memory=123788 CPUtime=0.24 cores=0-7
/proc/10722/stat : 10722 (java) S 10719 10719 10407 0 -1 1077944320 12362 0 0 0 20 4 0 0 20 0 20 0 419622086 27969658880 30947 33554432000 4194304 4196468 140736341720640 140736341703184 140020660076279 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 16150528 140736341721835 140736341722262 140736341722262 140736341725135 0
/proc/10722/statm: 6828530 30947 2951 1 0 6790935 0
[pid=10722/tid=10723] ppid=10719 vsize=27314120 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/10722/task/10723/stat : 10723 (java) R 10719 10719 10407 0 -1 4202560 10027 0 0 0 16 3 0 0 20 0 20 0 419622087 27969658880 30947 33554432000 4194304 4196468 140736341720640 140020631900240 140020641641232 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16150528 140736341721835 140736341722262 140736341722262 140736341725135 0
[pid=10722/tid=10724] ppid=10719 vsize=27314120 memory=342 CPUtime=0 cores=0-7
/proc/10722/task/10724/stat : 10724 (java) S 10719 10719 10407 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419622089 27969658880 30947 33554432000 4194304 4196468 140736341720640 140020664318864 140020660086485 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16150528 140736341721835 140736341722262 140736341722262 140736341725135 0
[pid=10722/tid=10725] ppid=10719 vsize=27314120 memory=139866243840432 CPUtime=0 cores=0-7
/proc/10722/task/10725/stat : 10725 (java) S 10719 10719 10407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419622089 27969658880 30947 33554432000 4194304 4196468 140736341720640 140020082354960 140020660086485 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16150528 140736341721835 140736341722262 140736341722262 140736341725135 0
[pid=10722/tid=10726] ppid=10719 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/10722/task/10726/stat : 10726 (java) S 10719 10719 10407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419622089 27969658880 30947 33554432000 4194304 4196468 140736341720640 140020081302672 140020660086485 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16150528 140736341721835 140736341722262 140736341722262 140736341725135 0
[pid=10722/tid=10727] ppid=10719 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10722/task/10727/stat : 10727 (java) S 10719 10719 10407 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419622089 27969658880 30947 33554432000 4194304 4196468 140736341720640 140020080249872 140020660086485 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16150528 140736341721835 140736341722262 140736341722262 140736341725135 0
[pid=10722/tid=10728] ppid=10719 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10722/task/10728/stat : 10728 (java) S 10719 10719 10407 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419622089 27969658880 30947 33554432000 4194304 4196468 140736341720640 140020079196560 140020660086485 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16150528 140736341721835 140736341722262 140736341722262 140736341725135 0
[pid=10722/tid=10729] ppid=10719 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/10722/task/10729/stat : 10729 (java) S 10719 10719 10407 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419622089 27969658880 30947 33554432000 4194304 4196468 140736341720640 140020078143760 140020660086485 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16150528 140736341721835 140736341722262 140736341722262 140736341725135 0
[pid=10722/tid=10730] ppid=10719 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10722/task/10730/stat : 10730 (java) S 10719 10719 10407 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419622089 27969658880 30947 33554432000 4194304 4196468 140736341720640 140020077091472 140020660086485 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16150528 140736341721835 140736341722262 140736341722262 140736341725135 0
[pid=10722/tid=10731] ppid=10719 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10722/task/10731/stat : 10731 (java) S 10719 10719 10407 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419622089 27969658880 30947 33554432000 4194304 4196468 140736341720640 140020076038672 140020660086485 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16150528 140736341721835 140736341722262 140736341722262 140736341725135 0
[pid=10722/tid=10732] ppid=10719 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10722/task/10732/stat : 10732 (java) S 10719 10719 10407 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419622091 27969658880 30947 33554432000 4194304 4196468 140736341720640 140019294943856 140020660087426 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16150528 140736341721835 140736341722262 140736341722262 140736341725135 0
[pid=10722/tid=10733] ppid=10719 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10722/task/10733/stat : 10733 (java) S 10719 10719 10407 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419622091 27969658880 30947 33554432000 4194304 4196468 140736341720640 140018416870688 140020660086485 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16150528 140736341721835 140736341722262 140736341722262 140736341725135 0
[pid=10722/tid=10734] ppid=10719 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10722/task/10734/stat : 10734 (java) S 10719 10719 10407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419622091 27969658880 30947 33554432000 4194304 4196468 140736341720640 140018148435568 140020660086485 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16150528 140736341721835 140736341722262 140736341722262 140736341725135 0
[pid=10722/tid=10735] ppid=10719 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10722/task/10735/stat : 10735 (java) S 10719 10719 10407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419622094 27969658880 30947 33554432000 4194304 4196468 140736341720640 140017773926992 140020660094875 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16150528 140736341721835 140736341722262 140736341722262 140736341725135 0
[pid=10722/tid=10736] ppid=10719 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10722/task/10736/stat : 10736 (java) S 10719 10719 10407 0 -1 1077944384 309 0 0 0 0 0 0 0 20 0 20 0 419622094 27969658880 30947 33554432000 4194304 4196468 140736341720640 140019293890672 140020660087426 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16150528 140736341721835 140736341722262 140736341722262 140736341725135 0
[pid=10722/tid=10737] ppid=10719 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10722/task/10737/stat : 10737 (java) S 10719 10719 10407 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419622094 27969658880 30947 33554432000 4194304 4196468 140736341720640 140019292837872 140020660087426 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16150528 140736341721835 140736341722262 140736341722262 140736341725135 0
[pid=10722/tid=10738] ppid=10719 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/10722/task/10738/stat : 10738 (java) S 10719 10719 10407 0 -1 1077944384 159 0 0 0 0 0 0 0 20 0 20 0 419622094 27969658880 30947 33554432000 4194304 4196468 140736341720640 140019291785584 140020660087426 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16150528 140736341721835 140736341722262 140736341722262 140736341725135 0
[pid=10722/tid=10739] ppid=10719 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7
/proc/10722/task/10739/stat : 10739 (java) S 10719 10719 10407 0 -1 1077944384 523 0 0 0 2 0 0 0 20 0 20 0 419622094 27969658880 30947 33554432000 4194304 4196468 140736341720640 140019290732784 140020660087426 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16150528 140736341721835 140736341722262 140736341722262 140736341725135 0
[pid=10722/tid=10740] ppid=10719 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10722/task/10740/stat : 10740 (java) S 10719 10719 10407 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419622094 27969658880 30947 33554432000 4194304 4196468 140736341720640 140017276021600 140020660086485 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16150528 140736341721835 140736341722262 140736341722262 140736341725135 0
[pid=10722/tid=10741] ppid=10719 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/10722/task/10741/stat : 10741 (java) S 10719 10719 10407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419622095 27969658880 30947 33554432000 4194304 4196468 140736341720640 140019041823536 140020660087426 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16150528 140736341721835 140736341722262 140736341722262 140736341725135 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 125184 KiB

[startup+0.309641 s]*
/proc/loadavg: 5.82 6.69 7.22 2/213 10741
/proc/meminfo: memFree=24581544/32770624 swapFree=67108848/67108860
[pid=10719] ppid=10716 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/10719/stat : 10719 (scop.sh) S 10716 10719 10407 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 419622086 115843072 349 33554432000 4194304 5098028 140725552114112 140725552111368 140061424779900 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 7417856 140725552120613 140725552120940 140725552120940 140725552123853 0
/proc/10719/statm: 28282 349 296 221 0 87 0
[pid=10722] ppid=10719 vsize=27314120 memory=128376 CPUtime=0.42 cores=0-7
/proc/10722/stat : 10722 (java) S 10719 10719 10407 0 -1 1077944320 13490 0 0 0 37 5 0 0 20 0 20 0 419622086 27969658880 32094 33554432000 4194304 4196468 140736341720640 140736341703184 140020660076279 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 16150528 140736341721835 140736341722262 140736341722262 140736341725135 0
/proc/10722/statm: 6828530 32094 3051 1 0 6790935 0
[pid=10722/tid=10723] ppid=10719 vsize=27314120 memory=1398722017469774279 CPUtime=0.29 cores=0-7
/proc/10722/task/10723/stat : 10723 (java) R 10719 10719 10407 0 -1 4202560 10880 0 0 0 25 4 0 0 20 0 20 0 419622087 27969658880 32094 33554432000 4194304 4196468 140736341720640 140020631859296 140020640352066 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16150528 140736341721835 140736341722262 140736341722262 140736341725135 0
[pid=10722/tid=10724] ppid=10719 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10722/task/10724/stat : 10724 (java) S 10719 10719 10407 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419622089 27969658880 32094 33554432000 4194304 4196468 140736341720640 140020664318864 140020660086485 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16150528 140736341721835 140736341722262 140736341722262 140736341725135 0
[pid=10722/tid=10725] ppid=10719 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10722/task/10725/stat : 10725 (java) S 10719 10719 10407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419622089 27969658880 32094 33554432000 4194304 4196468 140736341720640 140020082354960 140020660086485 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16150528 140736341721835 140736341722262 140736341722262 140736341725135 0
[pid=10722/tid=10726] ppid=10719 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10722/task/10726/stat : 10726 (java) S 10719 10719 10407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419622089 27969658880 32094 33554432000 4194304 4196468 140736341720640 140020081302672 140020660086485 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16150528 140736341721835 140736341722262 140736341722262 140736341725135 0
[pid=10722/tid=10727] ppid=10719 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10722/task/10727/stat : 10727 (java) S 10719 10719 10407 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419622089 27969658880 32094 33554432000 4194304 4196468 140736341720640 140020080249872 140020660086485 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16150528 140736341721835 140736341722262 140736341722262 140736341725135 0
[pid=10722/tid=10728] ppid=10719 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10722/task/10728/stat : 10728 (java) S 10719 10719 10407 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419622089 27969658880 32094 33554432000 4194304 4196468 140736341720640 140020079196560 140020660086485 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16150528 140736341721835 140736341722262 140736341722262 140736341725135 0
[pid=10722/tid=10729] ppid=10719 vsize=27314120 memory=139866079849135 CPUtime=0 cores=0-7
/proc/10722/task/10729/stat : 10729 (java) S 10719 10719 10407 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419622089 27969658880 32094 33554432000 4194304 4196468 140736341720640 140020078143760 140020660086485 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16150528 140736341721835 140736341722262 140736341722262 140736341725135 0
[pid=10722/tid=10730] ppid=10719 vsize=27314120 memory=139866079851440 CPUtime=0 cores=0-7
/proc/10722/task/10730/stat : 10730 (java) S 10719 10719 10407 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419622089 27969658880 32094 33554432000 4194304 4196468 140736341720640 140020077091472 140020660086485 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16150528 140736341721835 140736341722262 140736341722262 140736341725135 0
[pid=10722/tid=10731] ppid=10719 vsize=27314120 memory=139866079853744 CPUtime=0 cores=0-7
/proc/10722/task/10731/stat : 10731 (java) S 10719 10719 10407 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419622089 27969658880 32094 33554432000 4194304 4196468 140736341720640 140020076038672 140020660086485 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16150528 140736341721835 140736341722262 140736341722262 140736341725135 0
[pid=10722/tid=10732] ppid=10719 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10722/task/10732/stat : 10732 (java) S 10719 10719 10407 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419622091 27969658880 32094 33554432000 4194304 4196468 140736341720640 140019294943856 140020660087426 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16150528 140736341721835 140736341722262 140736341722262 140736341725135 0
[pid=10722/tid=10733] ppid=10719 vsize=27314120 memory=279732159721360 CPUtime=0 cores=0-7
/proc/10722/task/10733/stat : 10733 (java) S 10719 10719 10407 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419622091 27969658880 32094 33554432000 4194304 4196468 140736341720640 140018416870688 140020660086485 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16150528 140736341721835 140736341722262 140736341722262 140736341725135 0
[pid=10722/tid=10734] ppid=10719 vsize=27314120 memory=279732159719056 CPUtime=0 cores=0-7
/proc/10722/task/10734/stat : 10734 (java) S 10719 10719 10407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419622091 27969658880 32094 33554432000 4194304 4196468 140736341720640 140018148435568 140020660086485 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16150528 140736341721835 140736341722262 140736341722262 140736341725135 0
[pid=10722/tid=10735] ppid=10719 vsize=27314120 memory=279732159725968 CPUtime=0 cores=0-7
/proc/10722/task/10735/stat : 10735 (java) S 10719 10719 10407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419622094 27969658880 32094 33554432000 4194304 4196468 140736341720640 140017773926992 140020660094875 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16150528 140736341721835 140736341722262 140736341722262 140736341725135 0
[pid=10722/tid=10736] ppid=10719 vsize=27314120 memory=279732159667248 CPUtime=0 cores=0-7
/proc/10722/task/10736/stat : 10736 (java) S 10719 10719 10407 0 -1 1077944384 310 0 0 0 0 0 0 0 20 0 20 0 419622094 27969658880 32094 33554432000 4194304 4196468 140736341720640 140019293890672 140020660087426 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16150528 140736341721835 140736341722262 140736341722262 140736341725135 0
[pid=10722/tid=10737] ppid=10719 vsize=27314120 memory=279732159739792 CPUtime=0 cores=0-7
/proc/10722/task/10737/stat : 10737 (java) S 10719 10719 10407 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 20 0 419622094 27969658880 32094 33554432000 4194304 4196468 140736341720640 140019292837872 140020660087426 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16150528 140736341721835 140736341722262 140736341722262 140736341725135 0
[pid=10722/tid=10738] ppid=10719 vsize=27314120 memory=279732159746704 CPUtime=0.02 cores=0-7
/proc/10722/task/10738/stat : 10738 (java) S 10719 10719 10407 0 -1 1077944384 271 0 0 0 2 0 0 0 20 0 20 0 419622094 27969658880 32094 33554432000 4194304 4196468 140736341720640 140019291785584 140020660087426 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16150528 140736341721835 140736341722262 140736341722262 140736341725135 0
[pid=10722/tid=10739] ppid=10719 vsize=27314120 memory=279732159744400 CPUtime=0.07 cores=0-7
/proc/10722/task/10739/stat : 10739 (java) S 10719 10719 10407 0 -1 1077944384 649 0 0 0 7 0 0 0 20 0 20 0 419622094 27969658880 32094 33554432000 4194304 4196468 140736341720640 140019290732784 140020660087426 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16150528 140736341721835 140736341722262 140736341722262 140736341725135 0
[pid=10722/tid=10740] ppid=10719 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10722/task/10740/stat : 10740 (java) S 10719 10719 10407 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419622094 27969658880 32094 33554432000 4194304 4196468 140736341720640 140017276021600 140020660086485 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16150528 140736341721835 140736341722262 140736341722262 140736341725135 0
[pid=10722/tid=10741] ppid=10719 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/10722/task/10741/stat : 10741 (java) S 10719 10719 10407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419622095 27969658880 32094 33554432000 4194304 4196468 140736341720640 140019041823536 140020660087426 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16150528 140736341721835 140736341722262 140736341722262 140736341725135 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 129772 KiB

[startup+0.700881 s]
/proc/loadavg: 5.82 6.69 7.22 2/213 10741
/proc/meminfo: memFree=24560452/32770624 swapFree=67108848/67108860
[pid=10719] ppid=10716 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/10719/stat : 10719 (scop.sh) S 10716 10719 10407 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 419622086 115843072 349 33554432000 4194304 5098028 140725552114112 140725552111368 140061424779900 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 7417856 140725552120613 140725552120940 140725552120940 140725552123853 0
/proc/10719/statm: 28282 349 296 221 0 87 0
[pid=10722] ppid=10719 vsize=27320392 memory=164084 CPUtime=0.97 cores=0-7
/proc/10722/stat : 10722 (java) S 10719 10719 10407 0 -1 1077944320 20671 0 0 0 89 8 0 0 20 0 20 0 419622086 27976081408 41021 33554432000 4194304 4196468 140736341720640 140736341703184 140020660076279 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 16150528 140736341721835 140736341722262 140736341722262 140736341725135 0
/proc/10722/statm: 6830098 41021 3181 1 0 6791447 0
[pid=10722/tid=10723] ppid=10719 vsize=27320392 memory=0 CPUtime=0.67 cores=0-7
/proc/10722/task/10723/stat : 10723 (java) R 10719 10719 10407 0 -1 4202560 17457 0 0 0 61 6 0 0 20 0 20 0 419622087 27976081408 41021 33554432000 4194304 4196468 140736341720640 140020631915024 140020660088214 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16150528 140736341721835 140736341722262 140736341722262 140736341725135 0
[pid=10722/tid=10724] ppid=10719 vsize=27320392 memory=139866080060272 CPUtime=0 cores=0-7
/proc/10722/task/10724/stat : 10724 (java) S 10719 10719 10407 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419622089 27976081408 41021 33554432000 4194304 4196468 140736341720640 140020664318864 140020660086485 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16150528 140736341721835 140736341722262 140736341722262 140736341725135 0
[pid=10722/tid=10725] ppid=10719 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/10722/task/10725/stat : 10725 (java) S 10719 10719 10407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419622089 27976081408 41021 33554432000 4194304 4196468 140736341720640 140020082354960 140020660086485 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16150528 140736341721835 140736341722262 140736341722262 140736341725135 0
[pid=10722/tid=10726] ppid=10719 vsize=27320392 memory=7180 CPUtime=0 cores=0-7
/proc/10722/task/10726/stat : 10726 (java) S 10719 10719 10407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419622089 27976081408 41021 33554432000 4194304 4196468 140736341720640 140020081302672 140020660086485 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16150528 140736341721835 140736341722262 140736341722262 140736341725135 0

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

[pid=10742/tid=10752] ppid=10719 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/10742/task/10752/stat : 10752 (java) S 10719 10719 10407 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 419622553 8616062976 29775 33554432000 4194304 4196468 140726242388640 140266778355824 140267685440130 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38305792 140726242391031 140726242391190 140726242391190 140726242394063 0
[pid=10742/tid=10753] ppid=10719 vsize=8414124 memory=119100 CPUtime=0 cores=0-7
/proc/10742/task/10753/stat : 10753 (java) S 10719 10719 10407 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 419622554 8616062976 29775 33554432000 4194304 4196468 140726242388640 140266115687200 140267685439189 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38305792 140726242391031 140726242391190 140726242391190 140726242394063 0
[pid=10742/tid=10754] ppid=10719 vsize=8414124 memory=519400 CPUtime=0 cores=0-7
/proc/10742/task/10754/stat : 10754 (java) S 10719 10719 10407 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 419622554 8616062976 29775 33554432000 4194304 4196468 140726242388640 140265981465712 140267685439189 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38305792 140726242391031 140726242391190 140726242391190 140726242394063 0
[pid=10742/tid=10755] ppid=10719 vsize=8414124 memory=1228 CPUtime=0 cores=0-7
/proc/10742/task/10755/stat : 10755 (java) S 10719 10719 10407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419622556 8616062976 29775 33554432000 4194304 4196468 140726242388640 140265606961232 140267685447579 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38305792 140726242391031 140726242391190 140726242391190 140726242394063 0
[pid=10742/tid=10756] ppid=10719 vsize=8414124 memory=119100 CPUtime=0.05 cores=0-7
/proc/10742/task/10756/stat : 10756 (java) S 10719 10719 10407 0 -1 1077944384 454 0 0 0 5 0 0 0 20 0 24 0 419622556 8616062976 29775 33554432000 4194304 4196468 140726242388640 140266777303664 140267685440130 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38305792 140726242391031 140726242391190 140726242391190 140726242394063 0
[pid=10742/tid=10757] ppid=10719 vsize=8414124 memory=1476 CPUtime=0.09 cores=0-7
/proc/10742/task/10757/stat : 10757 (java) S 10719 10719 10407 0 -1 1077944384 488 0 0 0 9 0 0 0 20 0 24 0 419622556 8616062976 29775 33554432000 4194304 4196468 140726242388640 140266776250864 140267685440130 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38305792 140726242391031 140726242391190 140726242391190 140726242394063 0
[pid=10742/tid=10758] ppid=10719 vsize=8414124 memory=1476 CPUtime=0.06 cores=0-7
/proc/10742/task/10758/stat : 10758 (java) S 10719 10719 10407 0 -1 1077944384 235 0 0 0 6 0 0 0 20 0 24 0 419622557 8616062976 29775 33554432000 4194304 4196468 140726242388640 140266775198576 140267685440130 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38305792 140726242391031 140726242391190 140726242391190 140726242394063 0
[pid=10742/tid=10759] ppid=10719 vsize=8414124 memory=119100 CPUtime=0.21 cores=0-7
/proc/10742/task/10759/stat : 10759 (java) S 10719 10719 10407 0 -1 1077944384 771 0 0 0 21 0 0 0 20 0 24 0 419622557 8616062976 29775 33554432000 4194304 4196468 140726242388640 140266774145776 140267685440130 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38305792 140726242391031 140726242391190 140726242391190 140726242394063 0
[pid=10742/tid=10760] ppid=10719 vsize=8414124 memory=502988 CPUtime=0 cores=0-7
/proc/10742/task/10760/stat : 10760 (java) S 10719 10719 10407 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419622557 8616062976 29775 33554432000 4194304 4196468 140726242388640 140265109055840 140267685439189 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38305792 140726242391031 140726242391190 140726242391190 140726242394063 0
[pid=10742/tid=10761] ppid=10719 vsize=8414124 memory=4048 CPUtime=0.09 cores=0-7
/proc/10742/task/10761/stat : 10761 (java) S 10719 10719 10407 0 -1 1077944384 11 0 0 0 0 9 0 0 20 0 24 0 419622557 8616062976 29775 33554432000 4194304 4196468 140726242388640 140266773092656 140267685440130 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38305792 140726242391031 140726242391190 140726242391190 140726242394063 0
[pid=10742/tid=10763] ppid=10719 vsize=8414124 memory=14288 CPUtime=0 cores=0-7
/proc/10742/task/10763/stat : 10763 (java) S 10719 10719 10407 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 419622625 8616062976 29775 33554432000 4194304 4196468 140726242388640 140266765616448 140267685453593 0 4 2 25189581 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 38305792 140726242391031 140726242391190 140726242391190 140726242394063 0
[pid=10742/tid=10765] ppid=10719 vsize=8414124 memory=504 CPUtime=0 cores=0-7
/proc/10742/task/10765/stat : 10765 (java) S 10719 10719 10407 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 419622625 8616062976 29775 33554432000 4194304 4196468 140726242388640 140264437956496 140267685450909 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 38305792 140726242391031 140726242391190 140726242391190 140726242394063 0
[pid=10742/tid=10766] ppid=10719 vsize=8414124 memory=1728 CPUtime=0 cores=0-7
/proc/10742/task/10766/stat : 10766 (java) S 10719 10719 10407 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 24 0 419622625 8616062976 29775 33554432000 4194304 4196468 140726242388640 140264706391824 140267685450909 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 38305792 140726242391031 140726242391190 140726242391190 140726242394063 0
[pid=10742/tid=10775] ppid=10719 vsize=8414124 memory=924 CPUtime=0 cores=0-7
/proc/10742/task/10775/stat : 10775 (java) S 10719 10719 10407 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 419622627 8616062976 29775 33554432000 4194304 4196468 140726242388640 140264169529136 140267685439189 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38305792 140726242391031 140726242391190 140726242391190 140726242394063 0
Current children cumulated CPU time: 1039.95 s
Current children cumulated vsize: 9185908 KiB
Current children cumulated memory: 623592 KiB

[startup+149.201 s]
/proc/loadavg: 7.07 6.82 7.19 2/217 10784
/proc/meminfo: memFree=24090016/32770624 swapFree=67108848/67108860
[pid=10719] ppid=10716 vsize=113128 memory=1476 CPUtime=11.86 cores=0-7
/proc/10719/stat : 10719 (scop.sh) S 10716 10719 10407 0 -1 4202496 583 32207 0 0 0 0 1153 33 20 0 1 0 419622086 115843072 369 33554432000 4194304 5098028 140725552114112 140725552110856 140061424779900 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 7417856 140725552120613 140725552120940 140725552120940 140725552123853 0
/proc/10719/statm: 28282 369 311 221 0 87 0
[pid=10742] ppid=10719 vsize=8414124 memory=119100 CPUtime=1.33 cores=0-7
/proc/10742/stat : 10742 (java) S 10719 10719 10407 0 -1 1077944320 21335 0 0 0 125 8 0 0 20 0 24 0 419622550 8616062976 29775 33554432000 4194304 4196468 140726242388640 140726242371184 140267685428983 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38305792 140726242391031 140726242391190 140726242391190 140726242394063 0
/proc/10742/statm: 2103531 29775 3210 1 0 2064875 0
[pid=10762] ppid=10742 vsize=658656 memory=503016 CPUtime=1027.16 cores=0-7
/proc/10762/stat : 10762 (manyglucose-4.1) S 10742 10719 10407 0 -1 1077944320 730889 0 0 0 102555 161 0 0 20 0 2 0 419622625 674463744 125754 33554432000 4194304 4454172 140735741779344 140735741777728 140680079388407 0 4 0 8388610 18446744073709551615 0 0 17 4 0 0 0 0 0 6552832 6554400 38567936 140735741784937 140735741785136 140735741785136 140735741788090 0
/proc/10762/statm: 164664 125754 419 64 0 160332 0
[pid=10762/tid=10774] ppid=10742 vsize=658656 memory=1279602403 CPUtime=140.71 cores=0-7
/proc/10762/task/10774/stat : 10774 (manyglucose-4.1) R 10742 10719 10407 0 -1 4202560 83076 0 0 0 14055 16 0 0 20 0 2 0 419622627 674463744 125754 33554432000 4194304 4454172 140735741779344 140680005422216 4351289 0 4 0 8388610 0 0 0 -1 5 0 0 0 0 0 6552832 6554400 38567936 140735741784937 140735741785136 140735741785136 140735741788090 0
[pid=10742/tid=10743] ppid=10719 vsize=8414124 memory=1476 CPUtime=0.77 cores=0-7
/proc/10742/task/10743/stat : 10743 (java) S 10719 10719 10407 0 -1 1077944384 17954 0 0 0 72 5 0 0 20 0 24 0 419622551 8616062976 29775 33554432000 4194304 4196468 140726242388640 140267657269152 140267685439189 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38305792 140726242391031 140726242391190 140726242391190 140726242394063 0
[pid=10742/tid=10744] ppid=10719 vsize=8414124 memory=7686721470267301011 CPUtime=0 cores=0-7
/proc/10742/task/10744/stat : 10744 (java) S 10719 10719 10407 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419622552 8616062976 29775 33554432000 4194304 4196468 140726242388640 140267689671056 140267685439189 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38305792 140726242391031 140726242391190 140726242391190 140726242394063 0
[pid=10742/tid=10745] ppid=10719 vsize=8414124 memory=301741394933055803 CPUtime=0 cores=0-7
/proc/10742/task/10745/stat : 10745 (java) S 10719 10719 10407 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419622552 8616062976 29775 33554432000 4194304 4196468 140726242388640 140267489839376 140267685439189 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38305792 140726242391031 140726242391190 140726242391190 140726242394063 0
[pid=10742/tid=10746] ppid=10719 vsize=8414124 memory=15544015764327050 CPUtime=0 cores=0-7
/proc/10742/task/10746/stat : 10746 (java) S 10719 10719 10407 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419622552 8616062976 29775 33554432000 4194304 4196468 140726242388640 140267488787088 140267685439189 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38305792 140726242391031 140726242391190 140726242391190 140726242394063 0
[pid=10742/tid=10747] ppid=10719 vsize=8414124 memory=6010431309429434728 CPUtime=0 cores=0-7
/proc/10742/task/10747/stat : 10747 (java) S 10719 10719 10407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419622552 8616062976 29775 33554432000 4194304 4196468 140726242388640 140267487734288 140267685439189 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38305792 140726242391031 140726242391190 140726242391190 140726242394063 0
[pid=10742/tid=10748] ppid=10719 vsize=8414124 memory=6010431309429434728 CPUtime=0 cores=0-7
/proc/10742/task/10748/stat : 10748 (java) S 10719 10719 10407 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419622552 8616062976 29775 33554432000 4194304 4196468 140726242388640 140267486682000 140267685439189 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38305792 140726242391031 140726242391190 140726242391190 140726242394063 0
[pid=10742/tid=10749] ppid=10719 vsize=8414124 memory=6010431309429434728 CPUtime=0 cores=0-7
/proc/10742/task/10749/stat : 10749 (java) S 10719 10719 10407 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419622552 8616062976 29775 33554432000 4194304 4196468 140726242388640 140267485629200 140267685439189 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38305792 140726242391031 140726242391190 140726242391190 140726242394063 0
[pid=10742/tid=10750] ppid=10719 vsize=8414124 memory=6010431309429434728 CPUtime=0 cores=0-7
/proc/10742/task/10750/stat : 10750 (java) S 10719 10719 10407 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419622552 8616062976 29775 33554432000 4194304 4196468 140726242388640 140267484576912 140267685439189 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38305792 140726242391031 140726242391190 140726242391190 140726242394063 0
[pid=10742/tid=10751] ppid=10719 vsize=8414124 memory=6010431309429434728 CPUtime=0 cores=0-7
/proc/10742/task/10751/stat : 10751 (java) S 10719 10719 10407 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419622552 8616062976 29775 33554432000 4194304 4196468 140726242388640 140267483524112 140267685439189 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38305792 140726242391031 140726242391190 140726242391190 140726242394063 0
[pid=10742/tid=10752] ppid=10719 vsize=8414124 memory=6010431309429434728 CPUtime=0 cores=0-7
/proc/10742/task/10752/stat : 10752 (java) S 10719 10719 10407 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 419622553 8616062976 29775 33554432000 4194304 4196468 140726242388640 140266778355824 140267685440130 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38305792 140726242391031 140726242391190 140726242391190 140726242394063 0
[pid=10742/tid=10753] ppid=10719 vsize=8414124 memory=6010431309429434728 CPUtime=0 cores=0-7
/proc/10742/task/10753/stat : 10753 (java) S 10719 10719 10407 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 419622554 8616062976 29775 33554432000 4194304 4196468 140726242388640 140266115687200 140267685439189 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38305792 140726242391031 140726242391190 140726242391190 140726242394063 0
[pid=10742/tid=10754] ppid=10719 vsize=8414124 memory=6010431309429434728 CPUtime=0 cores=0-7
/proc/10742/task/10754/stat : 10754 (java) S 10719 10719 10407 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 419622554 8616062976 29775 33554432000 4194304 4196468 140726242388640 140265981465712 140267685439189 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38305792 140726242391031 140726242391190 140726242391190 140726242394063 0
[pid=10742/tid=10755] ppid=10719 vsize=8414124 memory=7590657096042506321 CPUtime=0 cores=0-7
/proc/10742/task/10755/stat : 10755 (java) S 10719 10719 10407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419622556 8616062976 29775 33554432000 4194304 4196468 140726242388640 140265606961232 140267685447579 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38305792 140726242391031 140726242391190 140726242391190 140726242394063 0
[pid=10742/tid=10756] ppid=10719 vsize=8414124 memory=7590657096042506321 CPUtime=0.05 cores=0-7
/proc/10742/task/10756/stat : 10756 (java) S 10719 10719 10407 0 -1 1077944384 454 0 0 0 5 0 0 0 20 0 24 0 419622556 8616062976 29775 33554432000 4194304 4196468 140726242388640 140266777303664 140267685440130 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38305792 140726242391031 140726242391190 140726242391190 140726242394063 0
[pid=10742/tid=10757] ppid=10719 vsize=8414124 memory=6010431309429434728 CPUtime=0.09 cores=0-7
/proc/10742/task/10757/stat : 10757 (java) S 10719 10719 10407 0 -1 1077944384 488 0 0 0 9 0 0 0 20 0 24 0 419622556 8616062976 29775 33554432000 4194304 4196468 140726242388640 140266776250864 140267685440130 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38305792 140726242391031 140726242391190 140726242391190 140726242394063 0
[pid=10742/tid=10758] ppid=10719 vsize=8414124 memory=1476 CPUtime=0.06 cores=0-7
/proc/10742/task/10758/stat : 10758 (java) S 10719 10719 10407 0 -1 1077944384 235 0 0 0 6 0 0 0 20 0 24 0 419622557 8616062976 29775 33554432000 4194304 4196468 140726242388640 140266775198576 140267685440130 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38305792 140726242391031 140726242391190 140726242391190 140726242394063 0
[pid=10742/tid=10759] ppid=10719 vsize=8414124 memory=1792 CPUtime=0.21 cores=0-7
/proc/10742/task/10759/stat : 10759 (java) S 10719 10719 10407 0 -1 1077944384 771 0 0 0 21 0 0 0 20 0 24 0 419622557 8616062976 29775 33554432000 4194304 4196468 140726242388640 140266774145776 140267685440130 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38305792 140726242391031 140726242391190 140726242391190 140726242394063 0
[pid=10742/tid=10760] ppid=10719 vsize=8414124 memory=8612 CPUtime=0 cores=0-7
/proc/10742/task/10760/stat : 10760 (java) S 10719 10719 10407 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419622557 8616062976 29775 33554432000 4194304 4196468 140726242388640 140265109055840 140267685439189 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38305792 140726242391031 140726242391190 140726242391190 140726242394063 0
[pid=10742/tid=10761] ppid=10719 vsize=8414124 memory=1192 CPUtime=0.09 cores=0-7
/proc/10742/task/10761/stat : 10761 (java) S 10719 10719 10407 0 -1 1077944384 11 0 0 0 0 9 0 0 20 0 24 0 419622557 8616062976 29775 33554432000 4194304 4196468 140726242388640 140266773092656 140267685440130 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38305792 140726242391031 140726242391190 140726242391190 140726242394063 0
[pid=10742/tid=10763] ppid=10719 vsize=8414124 memory=5536 CPUtime=0 cores=0-7
/proc/10742/task/10763/stat : 10763 (java) S 10719 10719 10407 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 419622625 8616062976 29775 33554432000 4194304 4196468 140726242388640 140266765616448 140267685453593 0 4 2 25189581 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 38305792 140726242391031 140726242391190 140726242391190 140726242394063 0
[pid=10742/tid=10765] ppid=10719 vsize=8414124 memory=4540 CPUtime=0 cores=0-7
/proc/10742/task/10765/stat : 10765 (java) S 10719 10719 10407 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 419622625 8616062976 29775 33554432000 4194304 4196468 140726242388640 140264437956496 140267685450909 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 38305792 140726242391031 140726242391190 140726242391190 140726242394063 0
[pid=10742/tid=10766] ppid=10719 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/10742/task/10766/stat : 10766 (java) S 10719 10719 10407 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 24 0 419622625 8616062976 29775 33554432000 4194304 4196468 140726242388640 140264706391824 140267685450909 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 38305792 140726242391031 140726242391190 140726242391190 140726242394063 0
[pid=10742/tid=10775] ppid=10719 vsize=8414124 memory=119100 CPUtime=0 cores=0-7
/proc/10742/task/10775/stat : 10775 (java) S 10719 10719 10407 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 419622627 8616062976 29775 33554432000 4194304 4196468 140726242388640 140264169529136 140267685439189 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38305792 140726242391031 140726242391190 140726242391190 140726242394063 0
Current children cumulated CPU time: 1040.35 s
Current children cumulated vsize: 9185908 KiB
Current children cumulated memory: 623592 KiB

[startup+149.601 s]
/proc/loadavg: 7.07 6.82 7.19 2/217 10784
/proc/meminfo: memFree=24090016/32770624 swapFree=67108848/67108860
[pid=10719] ppid=10716 vsize=113128 memory=1476 CPUtime=11.86 cores=0-7
/proc/10719/stat : 10719 (scop.sh) S 10716 10719 10407 0 -1 4202496 583 32207 0 0 0 0 1153 33 20 0 1 0 419622086 115843072 369 33554432000 4194304 5098028 140725552114112 140725552110856 140061424779900 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 7417856 140725552120613 140725552120940 140725552120940 140725552123853 0
/proc/10719/statm: 28282 369 311 221 0 87 0
[pid=10742] ppid=10719 vsize=8414124 memory=119100 CPUtime=1.33 cores=0-7
/proc/10742/stat : 10742 (java) S 10719 10719 10407 0 -1 1077944320 21335 0 0 0 125 8 0 0 20 0 24 0 419622550 8616062976 29775 33554432000 4194304 4196468 140726242388640 140726242371184 140267685428983 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38305792 140726242391031 140726242391190 140726242391190 140726242394063 0
/proc/10742/statm: 2103531 29775 3210 1 0 2064875 0
[pid=10762] ppid=10742 vsize=658656 memory=503016 CPUtime=1027.56 cores=0-7
/proc/10762/stat : 10762 (manyglucose-4.1) S 10742 10719 10407 0 -1 1077944320 730903 0 0 0 102595 161 0 0 20 0 2 0 419622625 674463744 125754 33554432000 4194304 4454172 140735741779344 140735741777728 140680079388407 0 4 0 8388610 18446744073709551615 0 0 17 4 0 0 0 0 0 6552832 6554400 38567936 140735741784937 140735741785136 140735741785136 140735741788090 0
/proc/10762/statm: 164664 125754 419 64 0 160332 0
[pid=10762/tid=10774] ppid=10742 vsize=658656 memory=932 CPUtime=141.11 cores=0-7
/proc/10762/task/10774/stat : 10774 (manyglucose-4.1) R 10742 10719 10407 0 -1 4202560 83090 0 0 0 14095 16 0 0 20 0 2 0 419622627 674463744 125754 33554432000 4194304 4454172 140735741779344 140680005422216 4349989 0 4 0 8388610 0 0 0 -1 5 0 0 0 0 0 6552832 6554400 38567936 140735741784937 140735741785136 140735741785136 140735741788090 0
[pid=10742/tid=10743] ppid=10719 vsize=8414124 memory=1476 CPUtime=0.77 cores=0-7
/proc/10742/task/10743/stat : 10743 (java) S 10719 10719 10407 0 -1 1077944384 17954 0 0 0 72 5 0 0 20 0 24 0 419622551 8616062976 29775 33554432000 4194304 4196468 140726242388640 140267657269152 140267685439189 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38305792 140726242391031 140726242391190 140726242391190 140726242394063 0
[pid=10742/tid=10744] ppid=10719 vsize=8414124 memory=119100 CPUtime=0 cores=0-7
/proc/10742/task/10744/stat : 10744 (java) S 10719 10719 10407 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419622552 8616062976 29775 33554432000 4194304 4196468 140726242388640 140267689671056 140267685439189 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38305792 140726242391031 140726242391190 140726242391190 140726242394063 0
[pid=10742/tid=10745] ppid=10719 vsize=8414124 memory=502988 CPUtime=0 cores=0-7
/proc/10742/task/10745/stat : 10745 (java) S 10719 10719 10407 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419622552 8616062976 29775 33554432000 4194304 4196468 140726242388640 140267489839376 140267685439189 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38305792 140726242391031 140726242391190 140726242391190 140726242394063 0
[pid=10742/tid=10746] ppid=10719 vsize=8414124 memory=119100 CPUtime=0 cores=0-7
/proc/10742/task/10746/stat : 10746 (java) S 10719 10719 10407 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419622552 8616062976 29775 33554432000 4194304 4196468 140726242388640 140267488787088 140267685439189 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38305792 140726242391031 140726242391190 140726242391190 140726242394063 0
[pid=10742/tid=10747] ppid=10719 vsize=8414124 memory=581412 CPUtime=0 cores=0-7
/proc/10742/task/10747/stat : 10747 (java) S 10719 10719 10407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419622552 8616062976 29775 33554432000 4194304 4196468 140726242388640 140267487734288 140267685439189 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38305792 140726242391031 140726242391190 140726242391190 140726242394063 0
[pid=10742/tid=10748] ppid=10719 vsize=8414124 memory=6300088847378698604 CPUtime=0 cores=0-7
/proc/10742/task/10748/stat : 10748 (java) S 10719 10719 10407 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419622552 8616062976 29775 33554432000 4194304 4196468 140726242388640 140267486682000 140267685439189 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38305792 140726242391031 140726242391190 140726242391190 140726242394063 0
[pid=10742/tid=10749] ppid=10719 vsize=8414124 memory=-8961168018402230209 CPUtime=0 cores=0-7
/proc/10742/task/10749/stat : 10749 (java) S 10719 10719 10407 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419622552 8616062976 29775 33554432000 4194304 4196468 140726242388640 140267485629200 140267685439189 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38305792 140726242391031 140726242391190 140726242391190 140726242394063 0
[pid=10742/tid=10750] ppid=10719 vsize=8414124 memory=-8253362762722141311 CPUtime=0 cores=0-7
/proc/10742/task/10750/stat : 10750 (java) S 10719 10719 10407 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419622552 8616062976 29775 33554432000 4194304 4196468 140726242388640 140267484576912 140267685439189 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38305792 140726242391031 140726242391190 140726242391190 140726242394063 0
[pid=10742/tid=10751] ppid=10719 vsize=8414124 memory=7956010516215852143 CPUtime=0 cores=0-7
/proc/10742/task/10751/stat : 10751 (java) S 10719 10719 10407 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419622552 8616062976 29775 33554432000 4194304 4196468 140726242388640 140267483524112 140267685439189 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38305792 140726242391031 140726242391190 140726242391190 140726242394063 0
[pid=10742/tid=10752] ppid=10719 vsize=8414124 memory=6010431309429434728 CPUtime=0 cores=0-7
/proc/10742/task/10752/stat : 10752 (java) S 10719 10719 10407 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 419622553 8616062976 29775 33554432000 4194304 4196468 140726242388640 140266778355824 140267685440130 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38305792 140726242391031 140726242391190 140726242391190 140726242394063 0
[pid=10742/tid=10753] ppid=10719 vsize=8414124 memory=7590657096042506321 CPUtime=0 cores=0-7
/proc/10742/task/10753/stat : 10753 (java) S 10719 10719 10407 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 419622554 8616062976 29775 33554432000 4194304 4196468 140726242388640 140266115687200 140267685439189 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38305792 140726242391031 140726242391190 140726242391190 140726242394063 0
[pid=10742/tid=10754] ppid=10719 vsize=8414124 memory=13412 CPUtime=0 cores=0-7
/proc/10742/task/10754/stat : 10754 (java) S 10719 10719 10407 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 419622554 8616062976 29775 33554432000 4194304 4196468 140726242388640 140265981465712 140267685439189 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38305792 140726242391031 140726242391190 140726242391190 140726242394063 0
[pid=10742/tid=10755] ppid=10719 vsize=8414124 memory=1192 CPUtime=0 cores=0-7
/proc/10742/task/10755/stat : 10755 (java) S 10719 10719 10407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419622556 8616062976 29775 33554432000 4194304 4196468 140726242388640 140265606961232 140267685447579 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38305792 140726242391031 140726242391190 140726242391190 140726242394063 0
[pid=10742/tid=10756] ppid=10719 vsize=8414124 memory=5536 CPUtime=0.05 cores=0-7
/proc/10742/task/10756/stat : 10756 (java) S 10719 10719 10407 0 -1 1077944384 454 0 0 0 5 0 0 0 20 0 24 0 419622556 8616062976 29775 33554432000 4194304 4196468 140726242388640 140266777303664 140267685440130 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38305792 140726242391031 140726242391190 140726242391190 140726242394063 0
[pid=10742/tid=10757] ppid=10719 vsize=8414124 memory=4540 CPUtime=0.09 cores=0-7
/proc/10742/task/10757/stat : 10757 (java) S 10719 10719 10407 0 -1 1077944384 488 0 0 0 9 0 0 0 20 0 24 0 419622556 8616062976 29775 33554432000 4194304 4196468 140726242388640 140266776250864 140267685440130 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38305792 140726242391031 140726242391190 140726242391190 140726242394063 0
[pid=10742/tid=10758] ppid=10719 vsize=8414124 memory=752 CPUtime=0.06 cores=0-7
/proc/10742/task/10758/stat : 10758 (java) S 10719 10719 10407 0 -1 1077944384 235 0 0 0 6 0 0 0 20 0 24 0 419622557 8616062976 29775 33554432000 4194304 4196468 140726242388640 140266775198576 140267685440130 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38305792 140726242391031 140726242391190 140726242391190 140726242394063 0
[pid=10742/tid=10759] ppid=10719 vsize=8414124 memory=1636 CPUtime=0.21 cores=0-7
/proc/10742/task/10759/stat : 10759 (java) S 10719 10719 10407 0 -1 1077944384 771 0 0 0 21 0 0 0 20 0 24 0 419622557 8616062976 29775 33554432000 4194304 4196468 140726242388640 140266774145776 140267685440130 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38305792 140726242391031 140726242391190 140726242391190 140726242394063 0
[pid=10742/tid=10760] ppid=10719 vsize=8414124 memory=812 CPUtime=0 cores=0-7
/proc/10742/task/10760/stat : 10760 (java) S 10719 10719 10407 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419622557 8616062976 29775 33554432000 4194304 4196468 140726242388640 140265109055840 140267685439189 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38305792 140726242391031 140726242391190 140726242391190 140726242394063 0
[pid=10742/tid=10761] ppid=10719 vsize=8414124 memory=1840 CPUtime=0.09 cores=0-7
/proc/10742/task/10761/stat : 10761 (java) S 10719 10719 10407 0 -1 1077944384 11 0 0 0 0 9 0 0 20 0 24 0 419622557 8616062976 29775 33554432000 4194304 4196468 140726242388640 140266773092656 140267685440130 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38305792 140726242391031 140726242391190 140726242391190 140726242394063 0
[pid=10742/tid=10763] ppid=10719 vsize=8414124 memory=1384 CPUtime=0 cores=0-7
/proc/10742/task/10763/stat : 10763 (java) S 10719 10719 10407 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 419622625 8616062976 29775 33554432000 4194304 4196468 140726242388640 140266765616448 140267685453593 0 4 2 25189581 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 38305792 140726242391031 140726242391190 140726242391190 140726242394063 0
[pid=10742/tid=10765] ppid=10719 vsize=8414124 memory=7180 CPUtime=0 cores=0-7
/proc/10742/task/10765/stat : 10765 (java) S 10719 10719 10407 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 419622625 8616062976 29775 33554432000 4194304 4196468 140726242388640 140264437956496 140267685450909 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 38305792 140726242391031 140726242391190 140726242391190 140726242394063 0
[pid=10742/tid=10766] ppid=10719 vsize=8414124 memory=1100 CPUtime=0 cores=0-7
/proc/10742/task/10766/stat : 10766 (java) S 10719 10719 10407 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 24 0 419622625 8616062976 29775 33554432000 4194304 4196468 140726242388640 140264706391824 140267685450909 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 38305792 140726242391031 140726242391190 140726242391190 140726242394063 0
[pid=10742/tid=10775] ppid=10719 vsize=8414124 memory=932 CPUtime=0 cores=0-7
/proc/10742/task/10775/stat : 10775 (java) S 10719 10719 10407 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 419622627 8616062976 29775 33554432000 4194304 4196468 140726242388640 140264169529136 140267685439189 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38305792 140726242391031 140726242391190 140726242391190 140726242394063 0
Current children cumulated CPU time: 1040.75 s
Current children cumulated vsize: 9185908 KiB
Current children cumulated memory: 623592 KiB

Child status: 0
Real time (s): 149.701
CPU time (s): 1040.93
CPU user time (s): 1038.86
CPU system time (s): 2.0673
CPU usage (%): 695.337
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 1046784

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1038.86
system time used= 2.0673
maximum resident set size= 1050196
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 785155
page faults= 0
swaps= 0
block input operations= 0
block output operations= 968
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 18291
involuntary context switches= 9403


# summary of solver processes directly reported to runsolver:
#   pid: 10719
#   total CPU time (s): 1040.93
#   total CPU user time (s): 1038.86
#   total CPU system time (s): 2.0673

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.43554 second user time and 2.21728 second system time

The end

Launcher Data 

Begin job on node143 at 2019-09-14 06:53:26
IDJOB=4392418
IDBENCH=134588
IDSOLVER=2838
FILE ID=node143/4392418-1568436847
RUNJOBID= node143-1568436511-10434
PBS_JOBID= 21702317
Free space on /tmp= 59272 MiB

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

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

MD5SUM BENCH= 10ee2207fbf9262b8884f336b5729a19
RANDOM SEED=1371592107

node143.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.73
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.73
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.73
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.73
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:        24698944 kB
MemAvailable:   31755352 kB
Buffers:          200128 kB
Cached:          7146336 kB
SwapCached:            8 kB
Active:          2142800 kB
Inactive:        5254120 kB
Active(anon):       4380 kB
Inactive(anon):   145344 kB
Active(file):    2138420 kB
Inactive(file):  5108776 kB
Unevictable:      107432 kB
Mlocked:          107432 kB
SwapTotal:      67108860 kB
SwapFree:       67108848 kB
Dirty:             20756 kB
Writeback:             0 kB
AnonPages:        157124 kB
Mapped:            48876 kB
Shmem:             90756 kB
Slab:             266408 kB
SReclaimable:     237672 kB
SUnreclaim:        28736 kB
KernelStack:        3424 kB
PageTables:         5104 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     498864 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     71680 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      132480 kB
DirectMap2M:    33413120 kB

Free space on /tmp at the end= 59252 MiB
End job on node143 at 2019-09-14 06:55:56