Trace number 4405591

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

NameBlackhole/Blackhole-xcsp2-s07/
Blackhole-4-07-3_X2.xml
MD5SUM72c85c51a44e0e8527757e040a083bca
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 benchmark165.887
Satisfiable
(Un)Satisfiability was proved
Number of variables112
Number of constraints1262
Number of domains4
Minimum domain size1
Maximum domain size28
Distribution of domain sizes[{"size":1,"count":2},{"size":7,"count":28},{"size":14,"count":27},{"size":28,"count":54}]
Minimum variable degree0
Maximum variable degree56
Distribution of variable degrees[{"degree":0,"count":1},{"degree":2,"count":29},{"degree":3,"count":26},{"degree":28,"count":1},{"degree":29,"count":18},{"degree":30,"count":9},{"degree":56,"count":28}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":1262}]
Number of extensional constraints1262
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":1262}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c (scop.sh) java -Xms22g -Xmx22g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Encode -hybrid -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-7607-serial-file.bin HOME/instance-4405591-1569343274.xml
0.65/0.54	
0.65/0.54	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
0.65/0.54	
0.65/0.56	c BEGIN-Prog: Tue Sep 24 18:40:37 CEST 2019
0.65/0.56	c PID: 7610
0.65/0.56	c IP: 172.20.3.148
0.65/0.56	c HOST: node148.alineos.net
0.65/0.57	c (0,0) Parsing Begin
2.02/1.12	c (0,0) Parsing End
2.02/1.12	c (0,0) CSP: 109 int (0 aux), 2 bool (0 aux), 1261 ctr, max domain size 28
2.02/1.12	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.02/1.12	c (0,0) Constraint Name Generate Begin
2.02/1.14	c (0,0) Ctr:HOME/instance-4405591-1569343274.xml,ExtensionConflict:ExtensionSupport:Var
2.02/1.14	c (0,0) Constraint Name Generate End
2.02/1.14	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.02/1.14	c (0,0) CSP to CSPinCNF Begin
3.11/1.63	c (1,1) translated 127 (10%) constraints
3.52/1.74	c (1,1) translated 253 (20%) constraints
3.93/1.81	c (1,1) translated 379 (30%) constraints
3.93/1.88	c (1,1) translated 505 (40%) constraints
4.36/1.94	c (1,1) translated 631 (50%) constraints
4.36/2.00	c (1,1) translated 757 (60%) constraints
5.18/2.13	c (1,1) translated 883 (70%) constraints
5.86/2.37	c (1,1) translated 1009 (80%) constraints
6.16/2.59	c (2,2) translated 1135 (90%) constraints
7.01/2.90	c (2,2) translated 1261 (100%) constraints
7.01/2.91	c (2,2) ===========================================
7.01/2.93	c (2,2) Hybrid: #OE=793, #LE=0
7.01/2.93	c (2,2) Hybrid
7.01/2.93	c (2,2) ===========================================
7.01/2.99	c (2,2) translated 1883 (10%) constraints
7.42/3.05	c (2,2) translated 3765 (20%) constraints
7.42/3.10	c (2,2) translated 5647 (30%) constraints
7.81/3.15	c (2,2) translated 7529 (40%) constraints
8.17/3.20	c (2,2) translated 9411 (50%) constraints
8.17/3.25	c (2,2) translated 11294 (60%) constraints
8.56/3.30	c (2,2) translated 13176 (70%) constraints
8.56/3.34	c (2,2) translated 15058 (80%) constraints
8.56/3.38	c (2,2) translated 16940 (90%) constraints
8.82/3.41	c (2,2) translated 18822 (100%) constraints
8.82/3.41	c (2,2) CSP to CSPinCNF End
8.82/3.42	c (2,2) CSP: 108 int (0 aux), 685 bool (682 aux), 18822 ctr, max domain size 28
8.82/3.42	c (2,2) Heap : 788 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB)
8.82/3.42	c (2,2) CSPinCNF Propagation Begin
9.90/3.75	c (3,3) 109 values, 8487 unsatisfiable literals, and 4834 valid clauses are removed
9.90/3.75	c (3,3) CSPinCNF Propagation End
9.90/3.75	c (3,3) CSP: 108 int (0 aux), 685 bool (682 aux), 13988 ctr, max domain size 26
9.90/3.75	c (3,3) Heap : 1013 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
9.90/3.77	c (3,3) Hybrid: #OE=793, #LE=0
9.90/3.77	c (3,3) Simplify CSPinCNF Begin
10.13/3.82	c (3,3) Simplify CSPinCNF End
10.13/3.82	c (3,3) CSP: 108 int (0 aux), 685 bool (682 aux), 13988 ctr, max domain size 26
10.13/3.82	c (3,3) Heap : 1013 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
10.13/3.82	c (3,3) Calculate Precise Domain Begin
10.13/3.83	c (3,3) 0 values are removed by re-calculation
10.13/3.83	c (3,3) Calculate Precise Domain End
10.13/3.83	c (3,3) CSP: 108 int (0 aux), 685 bool (682 aux), 13988 ctr, max domain size 26
10.13/3.83	c (3,3) Heap : 1013 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
10.13/3.83	c (3,3) CSPinCNF to SatSolver Begin
10.46/3.97	c (3,3) 1399 (10 %) CSP clauses are encoded (0 SAT variables, 3107 SAT clauses)
10.79/4.03	c (3,3) 2798 (20 %) CSP clauses are encoded (0 SAT variables, 4506 SAT clauses)
10.79/4.07	c (3,3) 4197 (30 %) CSP clauses are encoded (0 SAT variables, 5905 SAT clauses)
11.20/4.11	c (3,3) 5596 (40 %) CSP clauses are encoded (0 SAT variables, 7304 SAT clauses)
11.20/4.13	c (3,3) 6994 (50 %) CSP clauses are encoded (0 SAT variables, 8702 SAT clauses)
11.20/4.15	c (3,3) 8393 (60 %) CSP clauses are encoded (0 SAT variables, 10101 SAT clauses)
11.20/4.17	c (3,3) 9792 (70 %) CSP clauses are encoded (0 SAT variables, 11500 SAT clauses)
11.20/4.18	c (3,3) 11191 (80 %) CSP clauses are encoded (0 SAT variables, 12899 SAT clauses)
11.20/4.19	c (3,3) 12590 (90 %) CSP clauses are encoded (0 SAT variables, 14298 SAT clauses)
11.45/4.21	c (3,3) 13988 (100 %) CSP clauses are encoded (0 SAT variables, 15696 SAT clauses)
11.45/4.21	c (3,3) CSPinCNF to SatSolver End
11.45/4.21	c (3,3) Heap : 1126 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB)
11.45/4.21	c (3,3) 2482 bool, 15697 clause
11.45/4.21	c (3,3) Export Begin
11.63/4.31	c (3,3) Export to HOME/scop-7607-serial-file.bin
11.63/4.31	c (3,3) Export End
11.63/4.31	c (3,3) Export File Size: 0.02 MB
11.63/4.31	c (3,3) 0,0,2,3,3,3,3,STOP-AFTER(DIMACS)
11.63/4.31	c END-Prog: Tue Sep 24 18:40:41 CEST 2019
11.63/4.34	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-7607-serial-file.bin
11.69/4.80	c (0,0) Read Serial File Begin
11.69/4.80	c (0,0) HOME/scop-7607-serial-file.bin
12.61/5.02	c (0,0) Read Serial File End
12.61/5.04	
12.90/5.34	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
12.90/5.34	(Solving Process)
12.90/5.34	
12.90/5.34	c BEGIN-Prog: Tue Sep 24 18:40:42 CEST 2019
12.90/5.34	c PID: 7630
12.90/5.34	c IP: 172.20.3.148
12.90/5.34	c HOST: node148.alineos.net
12.90/5.34	c (0,0) SatSolver.solve Begin
12.90/5.34	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4405591-1569343274.xml-scop-7610.cnf
12.90/5.34	c (0,0) c
12.90/5.34	c (0,0) c This is deterministic version of glucose-syrup 4.1-27 (glucose in many threads) --  based on MiniSAT (Many thanks to MiniSAT team)
12.90/5.34	c (0,0) c
12.90/5.34	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
12.90/5.34	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
12.90/5.34	c (0,0) c ========================================[ Problem Statistics ]===========================================
12.90/5.34	c (0,0) c |                                                                                                       |
12.90/5.35	c (0,0) c |  Number of variables:          2480                                                                   |
12.90/5.35	c (0,0) c |  Number of clauses:           15697                                                                   |
12.90/5.35	c (0,0) c |  Parse time:                   0.01 s                                                                 |
12.90/5.35	c (0,0) c |                                                                                                       |
12.90/5.35	c (0,0) WARNING! DIMACS header mismatch: wrong number of variables.
12.90/5.36	c (0,0) c |  Simplification time:          0.01 s                                                                 |
12.90/5.36	c (0,0) c |                                                                                                       |
12.90/5.36	c (0,0) c |  Generating clones                                                                                    |
12.90/5.37	c (0,0) c |  all clones generated. Memory =    32.06Mb.                                                           |
12.90/5.37	c (0,0) c ========================================================================================================|
12.90/5.37	c (0,0) c
12.90/5.37	c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
12.90/5.37	c (0,0) c
12.90/5.37	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
12.90/5.37	c (0,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
12.90/5.37	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
12.90/5.37	c (0,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
12.90/5.37	c (0,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
12.90/5.37	c (0,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
12.90/5.37	c (0,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
12.90/5.37	c (0,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
12.90/5.37	c (0,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
12.90/5.37	c (0,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
12.90/5.37	c (0,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
12.90/5.37	c (0,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
12.90/5.37	c (0,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
12.90/5.37	c (0,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
12.90/5.37	c (0,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
12.90/5.37	c (0,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
12.90/5.37	c (0,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
12.90/5.37	c (0,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
12.90/5.37	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
225.49/34.87	c (30,0) c
225.49/34.87	c (30,0) c |------------------------------------------------------------------------------------------------------------------------|
225.49/34.87	c (30,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
225.49/34.87	c (30,0) c |------------------------------------------------------------------------------------------------------------------------|
225.49/34.87	c (30,0) c |  0 |    326 |     594447 |     318441 |     9165 |    51256 |    50564 |   299849 |    14287 |      347 |  20 |  0.847 |
225.49/34.87	c (30,0) c |  1 |    348 |     600385 |     322315 |     9393 |    55128 |    46444 |   308773 |    15481 |      347 |  20 |  0.847 |
225.49/34.87	c (30,0) c |  2 |    226 |     550160 |     303002 |     9292 |    35812 |    44097 |   300134 |    12014 |      346 |  20 |  0.847 |
225.49/34.87	c (30,0) c |  3 |    319 |     571306 |     313896 |     9378 |    46714 |    45360 |   287129 |    13507 |      327 |  20 |  0.847 |
225.49/34.87	c (30,0) c |  4 |    344 |     596410 |     324501 |     9275 |    57320 |    46284 |   305600 |    16407 |      339 |  20 |  0.847 |
225.49/34.87	c (30,0) c |  5 |    450 |     586282 |     314364 |     9471 |    47177 |    40615 |   313193 |    13451 |      347 |  20 |  0.847 |
225.49/34.87	c (30,0) c |  6 |    517 |     610767 |     334100 |     9465 |    66917 |    49234 |   300602 |    17748 |      347 |  20 |  0.848 |
225.49/34.87	c (30,0) c |  7 |    378 |     555320 |     302916 |     9357 |    71524 |    44712 |   293513 |    12952 |      347 |  20 |  0.847 |
225.49/34.87	c (30,0) c 
225.49/34.87	c (30,0) c synthesis     2533537 conflicts   191202274 propagations    11919 conflicts/sec   899513 propagations/sec
225.49/34.87	c (30,0) c real: 29.7787 s, cpu: 212.562 s, memory: 631.06 Mb
404.40/64.87	c (60,0) c
404.40/64.87	c (60,0) c |------------------------------------------------------------------------------------------------------------------------|
404.40/64.87	c (60,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
404.40/64.87	c (60,0) c |------------------------------------------------------------------------------------------------------------------------|
404.40/64.87	c (60,0) c |  0 |    365 |     869883 |     465571 |     9191 |    75384 |    63663 |   411956 |    18975 |      608 |  20 |  0.847 |
404.40/64.87	c (60,0) c |  1 |    452 |     921929 |     488027 |     9431 |    51645 |    60942 |   404463 |    25373 |      608 |  20 |  0.848 |
404.40/64.87	c (60,0) c |  2 |    341 |     878056 |     472947 |     9409 |    82763 |    59377 |   418086 |    24775 |      608 |  20 |  0.848 |
404.40/64.87	c (60,0) c |  3 |    457 |     892102 |     478662 |     9464 |    88475 |    61152 |   407321 |    25570 |      588 |  20 |  0.847 |
404.40/64.87	c (60,0) c |  4 |    421 |     914542 |     487230 |     9329 |    50843 |    64249 |   399267 |    26737 |      602 |  20 |  0.847 |
404.40/64.87	c (60,0) c |  5 |    513 |     898255 |     475565 |     9495 |    85374 |    56449 |   412340 |    22507 |      608 |  20 |  0.847 |
404.40/64.87	c (60,0) c |  6 |    631 |     910626 |     490983 |     9498 |    54593 |    63059 |   417806 |    28053 |      608 |  20 |  0.847 |
404.40/64.87	c (60,0) c |  7 |    414 |     840351 |     452978 |     9421 |    62790 |    59037 |   416402 |    23704 |      608 |  20 |  0.847 |
404.40/64.87	c (60,0) c 
404.40/64.87	c (60,0) c synthesis     3811963 conflicts   285523452 propagations     9756 conflicts/sec   730758 propagations/sec
404.40/64.87	c (60,0) c real: 59.7757 s, cpu: 390.722 s, memory: 695.37 Mb
572.14/93.86	c (89,0) c
572.14/93.86	c (89,0) c |------------------------------------------------------------------------------------------------------------------------|
572.14/93.86	c (89,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
572.14/93.86	c (89,0) c |------------------------------------------------------------------------------------------------------------------------|
572.14/93.86	c (89,0) c |  0 |    383 |    1111320 |     588841 |     9350 |    52259 |    77310 |   500723 |    29965 |      850 |  20 |  0.847 |
572.14/93.86	c (89,0) c |  1 |    545 |    1177364 |     618145 |     9456 |    81556 |    73290 |   505889 |    34371 |      850 |  20 |  0.848 |
572.14/93.86	c (89,0) c |  2 |    427 |    1135796 |     602809 |     9423 |    66222 |    72464 |   507675 |    33925 |      850 |  20 |  0.847 |
572.14/93.86	c (89,0) c |  3 |    544 |    1144603 |     608809 |     9482 |    72222 |    72495 |   495243 |    34316 |      831 |  20 |  0.847 |
572.14/93.86	c (89,0) c |  4 |    469 |    1153293 |     610850 |     9351 |    74256 |    75451 |   498853 |    35176 |      830 |  20 |  0.848 |
572.14/93.86	c (89,0) c |  5 |    537 |    1137965 |     597457 |     9507 |    60876 |    67595 |   512954 |    29080 |      850 |  20 |  0.847 |
572.14/93.86	c (89,0) c |  6 |    689 |    1156204 |     619493 |     9515 |    82907 |    75509 |   493768 |    35768 |      850 |  20 |  0.847 |
572.14/93.86	c (89,0) c |  7 |    490 |    1090658 |     580038 |     9452 |    94855 |    71697 |   509000 |    35288 |      850 |  20 |  0.847 |
572.14/93.86	c (89,0) c 
572.14/93.86	c (89,0) c synthesis     4826442 conflicts   361086407 propagations     8647 conflicts/sec   646896 propagations/sec
572.14/93.86	c (89,0) c real: 88.7755 s, cpu: 558.183 s, memory: 729.73 Mb
738.20/122.86	c (118,0) c
738.20/122.86	c (118,0) c |------------------------------------------------------------------------------------------------------------------------|
738.20/122.86	c (118,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
738.20/122.86	c (118,0) c |------------------------------------------------------------------------------------------------------------------------|
738.20/122.86	c (118,0) c |  0 |    407 |    1338940 |     703801 |     9404 |   113215 |    84602 |   569753 |    38181 |     1090 |  20 |  0.847 |
738.20/122.86	c (118,0) c |  1 |    581 |    1397194 |     728637 |     9467 |    81448 |    84838 |   576790 |    41296 |     1090 |  20 |  0.848 |
738.20/122.86	c (118,0) c |  2 |    480 |    1365109 |     717574 |     9445 |    70391 |    82481 |   579308 |    40900 |     1090 |  20 |  0.848 |
738.20/122.86	c (118,0) c |  3 |    574 |    1379625 |     729306 |     9487 |    82120 |    84173 |   574786 |    42056 |     1089 |  20 |  0.848 |
738.20/122.86	c (118,0) c |  4 |    517 |    1376144 |     721150 |     9359 |    73962 |    86491 |   567778 |    42695 |     1070 |  20 |  0.847 |
738.20/122.86	c (118,0) c |  5 |    555 |    1359138 |     710461 |     9529 |    63274 |    78492 |   584164 |    37519 |     1090 |  20 |  0.847 |
738.20/122.86	c (118,0) c |  6 |    771 |    1381618 |     734896 |     9524 |    87713 |    82482 |   577273 |    43409 |     1090 |  20 |  0.848 |
738.20/122.86	c (118,0) c |  7 |    512 |    1304255 |     691206 |     9475 |   100622 |    83447 |   577400 |    43092 |     1090 |  20 |  0.848 |
738.20/122.86	c (118,0) c 
738.20/122.86	c (118,0) c synthesis     5737031 conflicts   429642845 propagations     7922 conflicts/sec   593239 propagations/sec
738.20/122.86	c (118,0) c real: 117.776 s, cpu: 724.233 s, memory: 754.64 Mb
910.21/152.86	c (148,0) c
910.21/152.86	c (148,0) c |------------------------------------------------------------------------------------------------------------------------|
910.21/152.86	c (148,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
910.21/152.86	c (148,0) c |------------------------------------------------------------------------------------------------------------------------|
910.21/152.86	c (148,0) c |  0 |    453 |    1533466 |     800886 |     9416 |    93064 |    91087 |   631014 |    46403 |     1310 |  20 |  1.089 |
910.21/152.86	c (148,0) c |  1 |    597 |    1576357 |     819127 |     9479 |   112122 |    91155 |   631328 |    49959 |     1310 |  20 |  1.089 |
910.21/152.86	c (148,0) c |  2 |    497 |    1555128 |     812323 |     9454 |   100980 |    89963 |   632666 |    47618 |     1310 |  20 |  1.130 |
910.21/152.86	c (148,0) c |  3 |    626 |    1559150 |     816953 |     9501 |    94655 |    91052 |   626792 |    48376 |     1290 |  20 |  1.008 |
910.21/152.86	c (148,0) c |  4 |    560 |    1561932 |     812902 |     9371 |   104851 |    92655 |   626908 |    51075 |     1298 |  20 |  1.049 |
910.21/152.86	c (148,0) c |  5 |    577 |    1553679 |     808398 |     9571 |   101016 |    93097 |   627302 |    46173 |     1310 |  20 |  1.050 |
910.21/152.86	c (148,0) c |  6 |    806 |    1557247 |     823647 |     9529 |   115160 |    89025 |   634701 |    49690 |     1310 |  20 |  1.129 |
910.21/152.86	c (148,0) c |  7 |    575 |    1499143 |     787994 |     9488 |    80948 |    89387 |   631635 |    49946 |     1310 |  20 |  1.048 |
910.21/152.86	c (148,0) c 
910.21/152.86	c (148,0) c synthesis     6482230 conflicts   486967120 propagations     7235 conflicts/sec   543481 propagations/sec
910.21/152.86	c (148,0) c real: 147.775 s, cpu: 896.015 s, memory: 843.55 Mb
949.80/160.53	c (155,0) c
949.80/160.53	c (155,0) c real time : 155.443 s
949.80/160.53	c (155,0) c cpu time  : 935.197 s
949.80/160.53	c (155,0) c
949.80/160.53	c (155,0) c
949.80/160.53	c (155,0) c
949.80/160.53	c (155,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
949.80/160.53	c (155,0) c
949.80/160.53	c (155,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
949.80/160.53	c (155,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
949.80/160.53	c (155,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
949.80/160.53	c (155,0) c | Conflicts     |         6620121 |     815238 |     833164 |     827050 |     843521 |     831858 |     823437 |     842309 |     803544 |
949.80/160.53	c (155,0) c | Decisions     |        12677675 |    1561863 |    1604893 |    1585528 |    1614089 |    1600206 |    1584450 |    1595620 |    1531026 |
949.80/160.53	c (155,0) c | Propagations  |       497901499 |   61470190 |   62257060 |   62043101 |   62798750 |   62032174 |   63466688 |   62566199 |   61267337 |
949.80/160.53	c (155,0) c | ReduceDBs     |             196 |         24 |         25 |         24 |         25 |         25 |         24 |         25 |         24 |
949.80/160.53	c (155,0) c | SimpDBs       |              88 |         14 |          7 |         12 |         11 |          9 |         10 |         13 |         12 |
949.80/160.53	c (155,0) c | Restarts      |            4723 |        457 |        599 |        501 |        636 |        562 |        577 |        814 |        577 |
949.80/160.53	c (155,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
949.80/160.53	c (155,0) c | PropBinClauses|      1065097117 |  131918932 |  131612408 |  135686876 |  133579513 |  131779532 |  132971017 |  132590088 |  134958751 |
949.80/160.53	c (155,0) c | PropPreBlocker|     36963908358 | 4604710104 | 4648018637 | 4619211770 | 4626375938 | 4608429416 | 4558461697 | 4674495980 | 4624204816 |
949.80/160.53	c (155,0) c | PropNotBlocker|      5930990558 |  739529400 |  735229694 |  737437637 |  747132136 |  742475156 |  746487369 |  741748906 |  740950260 |
949.80/160.53	c (155,0) c | LitFullScans  |     64979947380 | 8119707488 | 8125450710 | 8120863511 | 8119215434 | 8119331880 | 8125419179 | 8125616848 | 8124342330 |
949.80/160.53	c (155,0) c | LitScanFracts |        11654790 |    1696441 |    1443728 |    1216776 |    1205929 |    1303939 |    1412746 |    1610863 |    1764368 |
949.80/160.53	c (155,0) c | DecisionLevel0|            4828 |        468 |        608 |        522 |        651 |        573 |        587 |        824 |        595 |
949.80/160.53	c (155,0) c | Periods       |           10827 |       1353 |       1354 |       1353 |       1353 |       1353 |       1354 |       1354 |       1353 |
949.80/160.53	c (155,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
949.80/160.53	c (155,0) c | Avg_Trail     |                 |        629 |        623 |        625 |        628 |        628 |        633 |        631 |        625 |
949.80/160.53	c (155,0) c | Avg_DL        |                 |         21 |         20 |         20 |         21 |         21 |         22 |         21 |         21 |
949.80/160.53	c (155,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
949.80/160.53	c (155,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
949.80/160.53	c (155,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
949.80/160.53	c (155,0) c | Exported      |          741308 |      92632 |      92407 |      91455 |      93491 |      94265 |      95397 |      90703 |      90958 |
949.80/160.53	c (155,0) c | Imported      |         5122483 |     640076 |     634753 |     643785 |     641709 |     640477 |     636263 |     641039 |     644381 |
949.80/160.53	c (155,0) c | Good          |           14552 |       1835 |       1796 |       1864 |       1841 |       1871 |       1769 |       1753 |       1823 |
949.80/160.53	c (155,0) c | Purge         |         5107931 |     638241 |     632957 |     641921 |     639868 |     638606 |     634494 |     639286 |     642558 |
949.80/160.53	c (155,0) c | Promoted      |          403208 |      48248 |      51629 |      49473 |      50488 |      52851 |      48065 |      51060 |      51394 |
949.80/160.53	c (155,0) c | Remove_Imp    |         4013211 |     486319 |     509177 |     492154 |     521878 |     510514 |     480019 |     512609 |     500541 |
949.80/160.53	c (155,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
949.80/160.53	c (155,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
949.80/160.53	c (155,0) c | Unaries       |                 |         11 |          9 |         21 |         15 |         11 |         10 |         10 |         18 |
949.80/160.53	c (155,0) c | Binaries      |                 |        257 |        256 |        249 |        279 |        228 |        315 |        318 |        300 |
949.80/160.53	c (155,0) c | Glues         |                 |        933 |       1068 |        999 |       1020 |        934 |       1101 |       1024 |       1031 |
949.80/160.53	c (155,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
949.80/160.53	c (155,0) c | Orig_Seen     |            87 % |       9422 |       9483 |       9455 |       9503 |       9375 |       9574 |       9531 |       9493 |
949.80/160.53	c (155,0) c | Diff Orig seen|                 | -       33 |         28 |      X     |         48 | -       80 |        119 |         76 |         38 |
949.80/160.53	c (155,0) c | Hamming       |            10 % |        247 |        265 |      X     |        254 |        248 |        274 |        261 |        225 |
949.80/160.53	c (155,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
949.80/160.53	c (155,0) c | RunningTime   |                 |  105.0  69%|  102.5  67%|  103.5  68%|  152.4  98%|  153.5 100%|  105.5  69%|  107.5  70%|  106.1  69%|
949.80/160.53	c (155,0) c | WaitingTime   |                 |   47.8  31%|   50.4  33%|   49.3  32%|    2.3   1%|    0.3   0%|   47.5  31%|   45.4  30%|   46.8  31%|
949.80/160.53	c (155,0) c | ExchangingTime|                 |    0.3   0%|    0.4   0%|    0.4   0%|    0.3   0%|    0.3   0%|    0.3   0%|    0.4   0%|    0.3   0%|
949.80/160.53	c (155,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%|
949.80/160.53	c (155,0) c | SolvingTime   |                 |  153.2     |  153.3     |  153.2     |  155.1     |  154.2     |  153.3     |  153.3     |  153.2     |
949.80/160.53	c (155,0) c | PropagationTim|                 |  138.2  90%|  138.9  91%|  135.6  89%|   89.1  57%|   88.1  57%|  139.5  91%|  137.9  90%|  137.7  90%|
949.80/160.53	c (155,0) c | AnalysisTime  |                 |   11.6   8%|   11.0   7%|   14.2   9%|   62.5  40%|   62.7  41%|   10.2   7%|   11.7   8%|   12.2   8%|
949.80/160.53	c (155,0) c | ReductionTime |                 |    1.2   1%|    1.4   1%|    1.2   1%|    1.2   1%|    1.3   1%|    1.3   1%|    1.4   1%|    1.3   1%|
949.80/160.53	c (155,0) c | SimplifyTime  |                 |    0.2   0%|    0.0   0%|    0.0   0%|    0.1   0%|    0.1   0%|    0.1   0%|    0.2   0%|    0.1   0%|
949.80/160.53	c (155,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%|
949.80/160.53	c (155,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%|
949.80/160.53	c (155,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
949.80/160.53	c (155,0) c
949.80/160.53	c (155,0) c
949.80/160.53	c (155,0) c Threads : 8
949.80/160.53	c (155,0) c Winner : 2
949.80/160.53	c (155,0) c Conflicts_0 : 815238
949.80/160.53	c (155,0) c Conflicts_1 : 833164
949.80/160.53	c (155,0) c Conflicts_2 : 827050
949.80/160.53	c (155,0) c Conflicts_3 : 843521
949.80/160.53	c (155,0) c Conflicts_4 : 831858
949.80/160.53	c (155,0) c Conflicts_5 : 823437
949.80/160.53	c (155,0) c Conflicts_6 : 842309
949.80/160.53	c (155,0) c Conflicts_7 : 803544
949.80/160.53	c (155,0) c Conflicts_total : 6620121
949.80/160.53	c (155,0) c Conflicts_winner : 827050
949.80/160.53	c (155,0) c Decisions_0 : 1561863
949.80/160.53	c (155,0) c Decisions_1 : 1604893
949.80/160.53	c (155,0) c Decisions_2 : 1585528
949.80/160.53	c (155,0) c Decisions_3 : 1614089
949.80/160.53	c (155,0) c Decisions_4 : 1600206
949.80/160.53	c (155,0) c Decisions_5 : 1584450
949.80/160.53	c (155,0) c Decisions_6 : 1595620
949.80/160.53	c (155,0) c Decisions_7 : 1531026
949.80/160.53	c (155,0) c Decisions_total : 12677675
949.80/160.53	c (155,0) c Decisions_winner : 1585528
949.80/160.53	c (155,0) c Propagations_0 : 61470190
949.80/160.53	c (155,0) c Propagations_1 : 62257060
949.80/160.53	c (155,0) c Propagations_2 : 62043101
949.80/160.53	c (155,0) c Propagations_3 : 62798750
949.80/160.53	c (155,0) c Propagations_4 : 62032174
949.80/160.53	c (155,0) c Propagations_5 : 63466688
949.80/160.53	c (155,0) c Propagations_6 : 62566199
949.80/160.53	c (155,0) c Propagations_7 : 61267337
949.80/160.53	c (155,0) c Propagations_total : 497901499
949.80/160.53	c (155,0) c Propagations_winner : 62043101
949.80/160.53	c (155,0) c ReduceDBs_0 : 24
949.80/160.53	c (155,0) c ReduceDBs_1 : 25
949.80/160.53	c (155,0) c ReduceDBs_2 : 24
949.80/160.53	c (155,0) c ReduceDBs_3 : 25
949.80/160.53	c (155,0) c ReduceDBs_4 : 25
949.80/160.53	c (155,0) c ReduceDBs_5 : 24
949.80/160.53	c (155,0) c ReduceDBs_6 : 25
949.80/160.53	c (155,0) c ReduceDBs_7 : 24
949.80/160.53	c (155,0) c ReduceDBs_total : 196
949.80/160.53	c (155,0) c ReduceDBs_winner : 24
949.80/160.53	c (155,0) c SimpDBs_0 : 14
949.80/160.53	c (155,0) c SimpDBs_1 : 7
949.80/160.53	c (155,0) c SimpDBs_2 : 12
949.80/160.53	c (155,0) c SimpDBs_3 : 11
949.80/160.53	c (155,0) c SimpDBs_4 : 9
949.80/160.53	c (155,0) c SimpDBs_5 : 10
949.80/160.53	c (155,0) c SimpDBs_6 : 13
949.80/160.53	c (155,0) c SimpDBs_7 : 12
949.80/160.53	c (155,0) c SimpDBs_total : 88
949.80/160.53	c (155,0) c SimpDBs_winner : 12
949.80/160.53	c (155,0) c Restarts_0 : 457
949.80/160.53	c (155,0) c Restarts_1 : 599
949.80/160.53	c (155,0) c Restarts_2 : 501
949.80/160.53	c (155,0) c Restarts_3 : 636
949.80/160.53	c (155,0) c Restarts_4 : 562
949.80/160.53	c (155,0) c Restarts_5 : 577
949.80/160.53	c (155,0) c Restarts_6 : 814
949.80/160.53	c (155,0) c Restarts_7 : 577
949.80/160.53	c (155,0) c Restarts_total : 4723
949.80/160.53	c (155,0) c Restarts_winner : 501
949.80/160.53	c (155,0) c ForcedImports_0 : 0
949.80/160.53	c (155,0) c ForcedImports_1 : 0
949.80/160.53	c (155,0) c ForcedImports_2 : 0
949.80/160.53	c (155,0) c ForcedImports_3 : 0
949.80/160.53	c (155,0) c ForcedImports_4 : 0
949.80/160.53	c (155,0) c ForcedImports_5 : 0
949.80/160.53	c (155,0) c ForcedImports_6 : 0
949.80/160.53	c (155,0) c ForcedImports_7 : 0
949.80/160.53	c (155,0) c ForcedImports_total : 0
949.80/160.53	c (155,0) c ForcedImports_winner : 0
949.80/160.53	c (155,0) c PropsBinClauses_0 : 131918932
949.80/160.53	c (155,0) c PropsBinClauses_1 : 131612408
949.80/160.53	c (155,0) c PropsBinClauses_2 : 135686876
949.80/160.53	c (155,0) c PropsBinClauses_3 : 133579513
949.80/160.53	c (155,0) c PropsBinClauses_4 : 131779532
949.80/160.53	c (155,0) c PropsBinClauses_5 : 132971017
949.80/160.53	c (155,0) c PropsBinClauses_6 : 132590088
949.80/160.53	c (155,0) c PropsBinClauses_7 : 134958751
949.80/160.53	c (155,0) c PropsBinClauses_total : 1065097117
949.80/160.53	c (155,0) c PropsBinClauses_winner : 135686876
949.80/160.53	c (155,0) c PropsPreBlocker_0 : 4604710104
949.80/160.53	c (155,0) c PropsPreBlocker_1 : 4648018637
949.80/160.53	c (155,0) c PropsPreBlocker_2 : 4619211770
949.80/160.53	c (155,0) c PropsPreBlocker_3 : 4626375938
949.80/160.53	c (155,0) c PropsPreBlocker_4 : 4608429416
949.80/160.53	c (155,0) c PropsPreBlocker_5 : 4558461697
949.80/160.53	c (155,0) c PropsPreBlocker_6 : 4674495980
949.80/160.53	c (155,0) c PropsPreBlocker_7 : 4624204816
949.80/160.53	c (155,0) c PropsPreBlocker_total : 36963908358
949.80/160.53	c (155,0) c PropsPreBlocker_winner : 4619211770
949.80/160.53	c (155,0) c PropsNotBlocker_0 : 739529400
949.80/160.53	c (155,0) c PropsNotBlocker_1 : 735229694
949.80/160.53	c (155,0) c PropsNotBlocker_2 : 737437637
949.80/160.53	c (155,0) c PropsNotBlocker_3 : 747132136
949.80/160.53	c (155,0) c PropsNotBlocker_4 : 742475156
949.80/160.53	c (155,0) c PropsNotBlocker_5 : 746487369
949.80/160.53	c (155,0) c PropsNotBlocker_6 : 741748906
949.80/160.53	c (155,0) c PropsNotBlocker_7 : 740950260
949.80/160.53	c (155,0) c PropsNotBlocker_total : 5930990558
949.80/160.53	c (155,0) c PropsNotBlocker_winner : 737437637
949.80/160.53	c (155,0) c PropsLitFullScans_0 : 8119707488
949.80/160.53	c (155,0) c PropsLitFullScans_1 : 8125450710
949.80/160.53	c (155,0) c PropsLitFullScans_2 : 8120863511
949.80/160.53	c (155,0) c PropsLitFullScans_3 : 8119215434
949.80/160.53	c (155,0) c PropsLitFullScans_4 : 8119331880
949.80/160.53	c (155,0) c PropsLitFullScans_5 : 8125419179
949.80/160.53	c (155,0) c PropsLitFullScans_6 : 8125616848
949.80/160.53	c (155,0) c PropsLitFullScans_7 : 8124342330
949.80/160.53	c (155,0) c PropsLitFullScans_total : 64979947380
949.80/160.53	c (155,0) c PropsLitFullScans_winner : 8120863511
949.80/160.53	c (155,0) c LitScanFractions_0 : 1696441
949.80/160.53	c (155,0) c LitScanFractions_1 : 1443728
949.80/160.53	c (155,0) c LitScanFractions_2 : 1216776
949.80/160.53	c (155,0) c LitScanFractions_3 : 1205929
949.80/160.53	c (155,0) c LitScanFractions_4 : 1303939
949.80/160.53	c (155,0) c LitScanFractions_5 : 1412746
949.80/160.53	c (155,0) c LitScanFractions_6 : 1610863
949.80/160.53	c (155,0) c LitScanFractions_7 : 1764368
949.80/160.53	c (155,0) c LitScanFractions_total : 11654790
949.80/160.53	c (155,0) c LitScanFractions_winner : 1216776
949.80/160.53	c (155,0) c DecisionLevel0_0 : 468
949.80/160.53	c (155,0) c DecisionLevel0_1 : 608
949.80/160.54	c (155,0) c DecisionLevel0_2 : 522
949.80/160.54	c (155,0) c DecisionLevel0_3 : 651
949.80/160.54	c (155,0) c DecisionLevel0_4 : 573
949.80/160.54	c (155,0) c DecisionLevel0_5 : 587
949.80/160.54	c (155,0) c DecisionLevel0_6 : 824
949.80/160.54	c (155,0) c DecisionLevel0_7 : 595
949.80/160.54	c (155,0) c DecisionLevel0_total : 4828
949.80/160.54	c (155,0) c DecisionLevel0_winner : 522
949.80/160.54	c (155,0) c Periods_0 : 1353
949.80/160.54	c (155,0) c Periods_1 : 1354
949.80/160.54	c (155,0) c Periods_2 : 1353
949.80/160.54	c (155,0) c Periods_3 : 1353
949.80/160.54	c (155,0) c Periods_4 : 1353
949.80/160.54	c (155,0) c Periods_5 : 1354
949.80/160.54	c (155,0) c Periods_6 : 1354
949.80/160.54	c (155,0) c Periods_7 : 1353
949.80/160.54	c (155,0) c Periods_total : 10827
949.80/160.54	c (155,0) c Periods_winner : 1353
949.80/160.54	c (155,0) c Margin_0 : 20
949.80/160.54	c (155,0) c Margin_1 : 20
949.80/160.54	c (155,0) c Margin_2 : 20
949.80/160.54	c (155,0) c Margin_3 : 20
949.80/160.54	c (155,0) c Margin_4 : 20
949.80/160.54	c (155,0) c Margin_5 : 20
949.80/160.54	c (155,0) c Margin_6 : 20
949.80/160.54	c (155,0) c Margin_7 : 20
949.80/160.54	c (155,0) c Margin_total : 160
949.80/160.54	c (155,0) c Margin_winner : 20
949.80/160.54	c (155,0) c Exported_0 : 92632
949.80/160.54	c (155,0) c Exported_1 : 92407
949.80/160.54	c (155,0) c Exported_2 : 91455
949.80/160.54	c (155,0) c Exported_3 : 93491
949.80/160.54	c (155,0) c Exported_4 : 94265
949.80/160.54	c (155,0) c Exported_5 : 95397
949.80/160.54	c (155,0) c Exported_6 : 90703
949.80/160.54	c (155,0) c Exported_7 : 90958
949.80/160.54	c (155,0) c Exported_total : 741308
949.80/160.54	c (155,0) c Exported_winner : 91455
949.80/160.54	c (155,0) c Imported_0 : 640076
949.80/160.54	c (155,0) c Imported_1 : 634753
949.80/160.54	c (155,0) c Imported_2 : 643785
949.80/160.54	c (155,0) c Imported_3 : 641709
949.80/160.54	c (155,0) c Imported_4 : 640477
949.80/160.54	c (155,0) c Imported_5 : 636263
949.80/160.54	c (155,0) c Imported_6 : 641039
949.80/160.54	c (155,0) c Imported_7 : 644381
949.80/160.54	c (155,0) c Imported_total : 5122483
949.80/160.54	c (155,0) c Imported_winner : 643785
949.80/160.54	c (155,0) c Good_0 : 1835
949.80/160.54	c (155,0) c Good_1 : 1796
949.80/160.54	c (155,0) c Good_2 : 1864
949.80/160.54	c (155,0) c Good_3 : 1841
949.80/160.54	c (155,0) c Good_4 : 1871
949.80/160.54	c (155,0) c Good_5 : 1769
949.80/160.54	c (155,0) c Good_6 : 1753
949.80/160.54	c (155,0) c Good_7 : 1823
949.80/160.54	c (155,0) c Good_total : 14552
949.80/160.54	c (155,0) c Good_winner : 1864
949.80/160.54	c (155,0) c Purge_0 : 638241
949.80/160.54	c (155,0) c Purge_1 : 632957
949.80/160.54	c (155,0) c Purge_2 : 641921
949.80/160.54	c (155,0) c Purge_3 : 639868
949.80/160.54	c (155,0) c Purge_4 : 638606
949.80/160.54	c (155,0) c Purge_5 : 634494
949.80/160.54	c (155,0) c Purge_6 : 639286
949.80/160.54	c (155,0) c Purge_7 : 642558
949.80/160.54	c (155,0) c Purge_total : 5107931
949.80/160.54	c (155,0) c Purge_winner : 641921
949.80/160.54	c (155,0) c Promoted_0 : 48248
949.80/160.54	c (155,0) c Promoted_1 : 51629
949.80/160.54	c (155,0) c Promoted_2 : 49473
949.80/160.54	c (155,0) c Promoted_3 : 50488
949.80/160.54	c (155,0) c Promoted_4 : 52851
949.80/160.54	c (155,0) c Promoted_5 : 48065
949.80/160.54	c (155,0) c Promoted_6 : 51060
949.80/160.54	c (155,0) c Promoted_7 : 51394
949.80/160.54	c (155,0) c Promoted_total : 403208
949.80/160.54	c (155,0) c Promoted_winner : 49473
949.80/160.54	c (155,0) c Remove_Imp_0 : 486319
949.80/160.54	c (155,0) c Remove_Imp_1 : 509177
949.80/160.54	c (155,0) c Remove_Imp_2 : 492154
949.80/160.54	c (155,0) c Remove_Imp_3 : 521878
949.80/160.54	c (155,0) c Remove_Imp_4 : 510514
949.80/160.54	c (155,0) c Remove_Imp_5 : 480019
949.80/160.54	c (155,0) c Remove_Imp_6 : 512609
949.80/160.54	c (155,0) c Remove_Imp_7 : 500541
949.80/160.54	c (155,0) c Remove_Imp_total : 4013211
949.80/160.54	c (155,0) c Remove_Imp_winner : 492154
949.80/160.54	c (155,0) c Blocked_Reuse_0 : 0
949.80/160.54	c (155,0) c Blocked_Reuse_1 : 0
949.80/160.54	c (155,0) c Blocked_Reuse_2 : 0
949.80/160.54	c (155,0) c Blocked_Reuse_3 : 0
949.80/160.54	c (155,0) c Blocked_Reuse_4 : 0
949.80/160.54	c (155,0) c Blocked_Reuse_5 : 0
949.80/160.54	c (155,0) c Blocked_Reuse_6 : 0
949.80/160.54	c (155,0) c Blocked_Reuse_7 : 0
949.80/160.54	c (155,0) c Blocked_Reuse_total : 0
949.80/160.54	c (155,0) c Blocked_Reuse_winner : 0
949.80/160.54	c (155,0) c Unaries_0 : 11
949.80/160.54	c (155,0) c Unaries_1 : 9
949.80/160.54	c (155,0) c Unaries_2 : 21
949.80/160.54	c (155,0) c Unaries_3 : 15
949.80/160.54	c (155,0) c Unaries_4 : 11
949.80/160.54	c (155,0) c Unaries_5 : 10
949.80/160.54	c (155,0) c Unaries_6 : 10
949.80/160.54	c (155,0) c Unaries_7 : 18
949.80/160.54	c (155,0) c Unaries_total : 105
949.80/160.54	c (155,0) c Unaries_winner : 21
949.80/160.54	c (155,0) c Binaries_0 : 257
949.80/160.54	c (155,0) c Binaries_1 : 256
949.80/160.54	c (155,0) c Binaries_2 : 249
949.80/160.54	c (155,0) c Binaries_3 : 279
949.80/160.54	c (155,0) c Binaries_4 : 228
949.80/160.54	c (155,0) c Binaries_5 : 315
949.80/160.54	c (155,0) c Binaries_6 : 318
949.80/160.54	c (155,0) c Binaries_7 : 300
949.80/160.54	c (155,0) c Binaries_total : 2202
949.80/160.54	c (155,0) c Binaries_winner : 249
949.80/160.54	c (155,0) c Glues_0 : 933
949.80/160.54	c (155,0) c Glues_1 : 1068
949.80/160.54	c (155,0) c Glues_2 : 999
949.80/160.54	c (155,0) c Glues_3 : 1020
949.80/160.54	c (155,0) c Glues_4 : 934
949.80/160.54	c (155,0) c Glues_5 : 1101
949.80/160.54	c (155,0) c Glues_6 : 1024
949.80/160.54	c (155,0) c Glues_7 : 1031
949.80/160.54	c (155,0) c Glues_total : 8110
949.80/160.54	c (155,0) c Glues_winner : 999
949.80/160.54	c (155,0) c RunningTime_0 : 104.977012
949.80/160.54	c (155,0) c RunningTime_1 : 102.505559
949.80/160.54	c (155,0) c RunningTime_2 : 103.499163
949.80/160.54	c (155,0) c RunningTime_3 : 152.443802
949.80/160.54	c (155,0) c RunningTime_4 : 153.525278
949.80/160.54	c (155,0) c RunningTime_5 : 105.508358
949.80/160.54	c (155,0) c RunningTime_6 : 107.530027
949.80/160.54	c (155,0) c RunningTime_7 : 106.089804
949.80/160.54	c (155,0) c RunningTime_total : 936.079004
949.80/160.54	c (155,0) c RunningTime_winner : 103.499163
949.80/160.54	c (155,0) c WaitingTime_0 : 47.842958
949.80/160.54	c (155,0) c WaitingTime_1 : 50.448393
949.80/160.54	c (155,0) c WaitingTime_2 : 49.285893
949.80/160.54	c (155,0) c WaitingTime_3 : 2.274732
949.80/160.54	c (155,0) c WaitingTime_4 : 0.332963
949.80/160.54	c (155,0) c WaitingTime_5 : 47.457899
949.80/160.54	c (155,0) c WaitingTime_6 : 45.406119
949.80/160.54	c (155,0) c WaitingTime_7 : 46.784444
949.80/160.54	c (155,0) c WaitingTime_total : 289.833401
949.80/160.54	c (155,0) c WaitingTime_winner : 49.285893
949.80/160.54	c (155,0) c ExchangingTime_0 : 0.339292
949.80/160.54	c (155,0) c ExchangingTime_1 : 0.355381
949.80/160.54	c (155,0) c ExchangingTime_2 : 0.361130
949.80/160.54	c (155,0) c ExchangingTime_3 : 0.344751
949.80/160.54	c (155,0) c ExchangingTime_4 : 0.321274
949.80/160.54	c (155,0) c ExchangingTime_5 : 0.341569
949.80/160.54	c (155,0) c ExchangingTime_6 : 0.369679
949.80/160.54	c (155,0) c ExchangingTime_7 : 0.324888
949.80/160.54	c (155,0) c ExchangingTime_total : 2.757962
949.80/160.54	c (155,0) c ExchangingTime_winner : 0.361130
949.80/160.54	c (155,0) c PeriodProcTime_0 : 0.010637
949.80/160.54	c (155,0) c PeriodProcTime_1 : 0.011001
949.80/160.54	c (155,0) c PeriodProcTime_2 : 0.010741
949.80/160.54	c (155,0) c PeriodProcTime_3 : 0.017290
949.80/160.54	c (155,0) c PeriodProcTime_4 : 0.015124
949.80/160.54	c (155,0) c PeriodProcTime_5 : 0.011724
949.80/160.54	c (155,0) c PeriodProcTime_6 : 0.012007
949.80/160.54	c (155,0) c PeriodProcTime_7 : 0.011723
949.80/160.54	c (155,0) c PeriodProcTime_total : 0.100247
949.80/160.54	c (155,0) c PeriodProcTime_winner : 0.010741
949.80/160.54	c (155,0) c SolvingTime_0 : 153.169899
949.80/160.54	c (155,0) c SolvingTime_1 : 153.320333
949.80/160.54	c (155,0) c SolvingTime_2 : 153.156927
949.80/160.54	c (155,0) c SolvingTime_3 : 155.080575
949.80/160.54	c (155,0) c SolvingTime_4 : 154.194639
949.80/160.54	c (155,0) c SolvingTime_5 : 153.319550
949.80/160.54	c (155,0) c SolvingTime_6 : 153.317831
949.80/160.54	c (155,0) c SolvingTime_7 : 153.210860
949.80/160.54	c (155,0) c SolvingTime_total : 1228.770614
949.80/160.54	c (155,0) c SolvingTime_winner : 153.156927
949.80/160.54	c (155,0) c PropagationTime_0 : 138.227449
949.80/160.54	c (155,0) c PropagationTime_1 : 138.871845
949.80/160.54	c (155,0) c PropagationTime_2 : 135.574595
949.80/160.54	c (155,0) c PropagationTime_3 : 89.119185
949.80/160.54	c (155,0) c PropagationTime_4 : 88.123169
949.80/160.54	c (155,0) c PropagationTime_5 : 139.508320
949.80/160.54	c (155,0) c PropagationTime_6 : 137.918479
949.80/160.54	c (155,0) c PropagationTime_7 : 137.679915
949.80/160.54	c (155,0) c PropagationTime_total : 1005.022958
949.80/160.54	c (155,0) c PropagationTime_winner : 135.574595
949.80/160.54	c (155,0) c AnalysisTime_0 : 11.556520
949.80/160.54	c (155,0) c AnalysisTime_1 : 10.964469
949.80/160.54	c (155,0) c AnalysisTime_2 : 14.218045
949.80/160.54	c (155,0) c AnalysisTime_3 : 62.506535
949.80/160.54	c (155,0) c AnalysisTime_4 : 62.656247
949.80/160.54	c (155,0) c AnalysisTime_5 : 10.226508
949.80/160.54	c (155,0) c AnalysisTime_6 : 11.686373
949.80/160.54	c (155,0) c AnalysisTime_7 : 12.160498
949.80/160.54	c (155,0) c AnalysisTime_total : 195.975196
949.80/160.54	c (155,0) c AnalysisTime_winner : 14.218045
949.80/160.54	c (155,0) c ReductionTime_0 : 1.188381
949.80/160.54	c (155,0) c ReductionTime_1 : 1.375092
949.80/160.54	c (155,0) c ReductionTime_2 : 1.248755
949.80/160.54	c (155,0) c ReductionTime_3 : 1.247302
949.80/160.54	c (155,0) c ReductionTime_4 : 1.318036
949.80/160.54	c (155,0) c ReductionTime_5 : 1.284699
949.80/160.54	c (155,0) c ReductionTime_6 : 1.441940
949.80/160.54	c (155,0) c ReductionTime_7 : 1.272378
949.80/160.54	c (155,0) c ReductionTime_total : 10.376583
949.80/160.54	c (155,0) c ReductionTime_winner : 1.248755
949.80/160.54	c (155,0) c SimplifyTime_0 : 0.173033
949.80/160.54	c (155,0) c SimplifyTime_1 : 0.024252
949.80/160.54	c (155,0) c SimplifyTime_2 : 0.045403
949.80/160.54	c (155,0) c SimplifyTime_3 : 0.126681
949.80/160.54	c (155,0) c SimplifyTime_4 : 0.058503
949.80/160.54	c (155,0) c SimplifyTime_5 : 0.146403
949.80/160.54	c (155,0) c SimplifyTime_6 : 0.155938
949.80/160.54	c (155,0) c SimplifyTime_7 : 0.092279
949.80/160.54	c (155,0) c SimplifyTime_total : 0.822491
949.80/160.54	c (155,0) c SimplifyTime_winner : 0.045403
949.80/160.54	c (155,0) c UsedRateTime_0 : 0.000000
949.80/160.54	c (155,0) c UsedRateTime_1 : 0.000000
949.80/160.54	c (155,0) c UsedRateTime_2 : 0.000000
949.80/160.54	c (155,0) c UsedRateTime_3 : 0.000000
949.80/160.54	c (155,0) c UsedRateTime_4 : 0.000000
949.80/160.54	c (155,0) c UsedRateTime_5 : 0.000000
949.80/160.54	c (155,0) c UsedRateTime_6 : 0.000000
949.80/160.54	c (155,0) c UsedRateTime_7 : 0.000000
949.80/160.54	c (155,0) c UsedRateTime_total : 0.000000
949.80/160.54	c (155,0) c UsedRateTime_winner : 0.000000
949.80/160.54	c (155,0) c OverlapRateTime_0 : 0.000000
949.80/160.54	c (155,0) c OverlapRateTime_1 : 0.000000
949.80/160.54	c (155,0) c OverlapRateTime_2 : 0.000000
949.80/160.54	c (155,0) c OverlapRateTime_3 : 0.000000
949.80/160.54	c (155,0) c OverlapRateTime_4 : 0.000000
949.80/160.54	c (155,0) c OverlapRateTime_5 : 0.000000
949.80/160.54	c (155,0) c OverlapRateTime_6 : 0.000000
949.80/160.54	c (155,0) c OverlapRateTime_7 : 0.000000
949.80/160.54	c (155,0) c OverlapRateTime_total : 0.000000
949.80/160.54	c (155,0) c OverlapRateTime_winner : 0.000000
949.80/160.54	c (155,0) c
949.80/160.54	c (155,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
949.80/160.54	c (155,0) c
949.80/160.54	c (155,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
949.80/160.54	c (155,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
949.80/160.54	c (155,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
949.80/160.54	c (155,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
949.80/160.54	c (155,0) c | adaptStrategeis       |      False |      False |      False |      False |      False |      False |      False |      False |
949.80/160.54	c (155,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
949.80/160.54	c (155,0) c | Initial random_seed   | 1960199336 |   85422588 | 1882410120 | 1483762742 | 1504758565 | 1059418195 |  209025956 |  368410280 |
949.80/160.54	c (155,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
949.80/160.54	c (155,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
949.80/160.54	c (155,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
949.80/160.54	c (155,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
949.80/160.54	c (155,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
949.80/160.54	c (155,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
949.80/160.54	c (155,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
949.80/160.54	c (155,0) c | var_decay             |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
949.80/160.54	c (155,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
949.80/160.54	c (155,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
949.80/160.54	c (155,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
949.80/160.54	c (155,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
949.80/160.54	c (155,0) 
949.80/160.54	c (155,0) s UNSATISFIABLE
949.80/160.55	c (155,0) SatSolver.solve End
949.80/160.56	c (155,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
949.80/160.56	c (155,0) Show results Begin
949.80/160.56	s UNSATISFIABLE
949.80/160.56	c (155,0) Show results End
949.80/160.56	c (155,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
949.80/160.56	c (155,0) 155,155,STOP-AFTER(ALL)
949.80/160.56	c END-Prog: Tue Sep 24 18:43:17 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 (10816 MiB free)
  memory of node 1: 16384 MiB (14140 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4405591-1569343274/watcher-4405591-1569343274 -o /tmp/evaluation-result-4405591-1569343274/solver-4405591-1569343274 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node148-1569335941-5642 --watchdog 2580 HOME/scop.sh 22g HOME/scop.jar -hybrid HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4405591-1569343274.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=7607, runsolver pid=7604

[startup+0.100146 s]*
/proc/loadavg: 7.46 7.08 6.97 2/213 7629
/proc/meminfo: memFree=25462872/32770624 swapFree=67002552/67108860
[pid=7607] ppid=7604 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/7607/stat : 7607 (scop.sh) S 7604 7607 5615 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 510488929 115843072 349 33554432000 4194304 5098028 140724492486560 140724492483816 140414006076028 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 18006016 140724492489508 140724492489836 140724492489836 140724492492749 0
/proc/7607/statm: 28282 349 296 221 0 87 0
[pid=7610] ppid=7607 vsize=27314120 memory=104940 CPUtime=0.11 cores=0-7
/proc/7610/stat : 7610 (java) S 7607 7607 5615 0 -1 1077944320 6835 0 0 0 8 3 0 0 20 0 20 0 510488929 27969658880 26235 33554432000 4194304 4196468 140726105557040 140726105539584 140154106232567 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30904320 140726105559787 140726105560214 140726105560214 140726105563087 0
/proc/7610/statm: 6828530 26235 2801 1 0 6790935 0
[pid=7610/tid=7611] ppid=7607 vsize=27314120 memory=576460756329955445 CPUtime=0.08 cores=0-7
/proc/7610/task/7611/stat : 7611 (java) R 7607 7607 5615 0 -1 4202560 4930 0 0 0 6 2 0 0 20 0 20 0 510488929 27969658880 26235 33554432000 4194304 4196468 140726105557040 140154078062632 140154092300686 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30904320 140726105559787 140726105560214 140726105560214 140726105563087 0
[pid=7610/tid=7612] ppid=7607 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7610/task/7612/stat : 7612 (java) S 7607 7607 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510488932 27969658880 26235 33554432000 4194304 4196468 140726105557040 140154110475152 140154106242773 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30904320 140726105559787 140726105560214 140726105560214 140726105563087 0
[pid=7610/tid=7613] ppid=7607 vsize=27314120 memory=13989518690317976 CPUtime=0 cores=0-7
/proc/7610/task/7613/stat : 7613 (java) S 7607 7607 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510488932 27969658880 26235 33554432000 4194304 4196468 140726105557040 140153924631312 140154106242773 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30904320 140726105559787 140726105560214 140726105560214 140726105563087 0
[pid=7610/tid=7614] ppid=7607 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7610/task/7614/stat : 7614 (java) S 7607 7607 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510488932 27969658880 26235 33554432000 4194304 4196468 140726105557040 140153923579024 140154106242773 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30904320 140726105559787 140726105560214 140726105560214 140726105563087 0
[pid=7610/tid=7615] ppid=7607 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7610/task/7615/stat : 7615 (java) S 7607 7607 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510488932 27969658880 26235 33554432000 4194304 4196468 140726105557040 140153922526224 140154106242773 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30904320 140726105559787 140726105560214 140726105560214 140726105563087 0
[pid=7610/tid=7616] ppid=7607 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7610/task/7616/stat : 7616 (java) S 7607 7607 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510488932 27969658880 26235 33554432000 4194304 4196468 140726105557040 140153921472912 140154106242773 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30904320 140726105559787 140726105560214 140726105560214 140726105563087 0
[pid=7610/tid=7617] ppid=7607 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/7610/task/7617/stat : 7617 (java) S 7607 7607 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510488932 27969658880 26235 33554432000 4194304 4196468 140726105557040 140153920420112 140154106242773 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30904320 140726105559787 140726105560214 140726105560214 140726105563087 0
[pid=7610/tid=7618] ppid=7607 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7610/task/7618/stat : 7618 (java) S 7607 7607 5615 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510488932 27969658880 26235 33554432000 4194304 4196468 140726105557040 140153919367824 140154106242773 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30904320 140726105559787 140726105560214 140726105560214 140726105563087 0
[pid=7610/tid=7619] ppid=7607 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7610/task/7619/stat : 7619 (java) S 7607 7607 5615 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510488932 27969658880 26747 33554432000 4194304 4196468 140726105557040 140153918315024 140154106242773 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30904320 140726105559787 140726105560214 140726105560214 140726105563087 0
[pid=7610/tid=7620] ppid=7607 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7610/task/7620/stat : 7620 (java) S 7607 7607 5615 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510488933 27969658880 26747 33554432000 4194304 4196468 140726105557040 140152358795888 140154106243714 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30904320 140726105559787 140726105560214 140726105560214 140726105563087 0
[pid=7610/tid=7621] ppid=7607 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7610/task/7621/stat : 7621 (java) S 7607 7607 5615 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 510488934 27969658880 26747 33554432000 4194304 4196468 140726105557040 140151963510048 140154106242773 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30904320 140726105559787 140726105560214 140726105560214 140726105563087 0
[pid=7610/tid=7622] ppid=7607 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7610/task/7622/stat : 7622 (java) S 7607 7607 5615 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510488934 27969658880 26747 33554432000 4194304 4196468 140726105557040 140151829288560 140154106242773 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30904320 140726105559787 140726105560214 140726105560214 140726105563087 0
[pid=7610/tid=7623] ppid=7607 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7610/task/7623/stat : 7623 (java) S 7607 7607 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510488936 27969658880 26747 33554432000 4194304 4196468 140726105557040 140151454784080 140154106251163 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30904320 140726105559787 140726105560214 140726105560214 140726105563087 0
[pid=7610/tid=7624] ppid=7607 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7610/task/7624/stat : 7624 (java) S 7607 7607 5615 0 -1 1077944384 299 0 0 0 0 0 0 0 20 0 20 0 510488936 27969658880 26747 33554432000 4194304 4196468 140726105557040 140152357742704 140154106243714 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30904320 140726105559787 140726105560214 140726105560214 140726105563087 0
[pid=7610/tid=7625] ppid=7607 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7610/task/7625/stat : 7625 (java) S 7607 7607 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510488936 27969658880 26747 33554432000 4194304 4196468 140726105557040 140152356689904 140154106243714 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30904320 140726105559787 140726105560214 140726105560214 140726105563087 0
[pid=7610/tid=7626] ppid=7607 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7610/task/7626/stat : 7626 (java) S 7607 7607 5615 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510488936 27969658880 26747 33554432000 4194304 4196468 140726105557040 140152355637616 140154106243714 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30904320 140726105559787 140726105560214 140726105560214 140726105563087 0
[pid=7610/tid=7627] ppid=7607 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7610/task/7627/stat : 7627 (java) S 7607 7607 5615 0 -1 1077944384 249 0 0 0 0 0 0 0 20 0 20 0 510488936 27969658880 26747 33554432000 4194304 4196468 140726105557040 140152354584816 140154106243714 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30904320 140726105559787 140726105560214 140726105560214 140726105563087 0
[pid=7610/tid=7628] ppid=7607 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7610/task/7628/stat : 7628 (java) S 7607 7607 5615 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510488937 27969658880 26747 33554432000 4194304 4196468 140726105557040 140150956878688 140154106242773 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30904320 140726105559787 140726105560214 140726105560214 140726105563087 0
[pid=7610/tid=7629] ppid=7607 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/7610/task/7629/stat : 7629 (java) S 7607 7607 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510488937 27969658880 26747 33554432000 4194304 4196468 140726105557040 140152353532720 140154106243714 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30904320 140726105559787 140726105560214 140726105560214 140726105563087 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 106336 KiB

[startup+0.210392 s]*
/proc/loadavg: 7.46 7.08 6.97 3/213 7629
/proc/meminfo: memFree=25444576/32770624 swapFree=67002552/67108860
[pid=7607] ppid=7604 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/7607/stat : 7607 (scop.sh) S 7604 7607 5615 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 510488929 115843072 349 33554432000 4194304 5098028 140724492486560 140724492483816 140414006076028 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 18006016 140724492489508 140724492489836 140724492489836 140724492492749 0
/proc/7607/statm: 28282 349 296 221 0 87 0
[pid=7610] ppid=7607 vsize=27314120 memory=121796 CPUtime=0.25 cores=0-7
/proc/7610/stat : 7610 (java) S 7607 7607 5615 0 -1 1077944320 11831 0 0 0 20 5 0 0 20 0 20 0 510488929 27969658880 30449 33554432000 4194304 4196468 140726105557040 140726105539584 140154106232567 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30904320 140726105559787 140726105560214 140726105560214 140726105563087 0
/proc/7610/statm: 6828530 30449 2956 1 0 6790935 0
[pid=7610/tid=7611] ppid=7607 vsize=27314120 memory=8316850467074736180 CPUtime=0.2 cores=0-7
/proc/7610/task/7611/stat : 7611 (java) R 7607 7607 5615 0 -1 4202560 9533 0 0 0 16 4 0 0 20 0 20 0 510488929 27969658880 30449 33554432000 4194304 4196468 140726105557040 140154078031952 140154087606117 0 4 2 16800973 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30904320 140726105559787 140726105560214 140726105560214 140726105563087 0
[pid=7610/tid=7612] ppid=7607 vsize=27314120 memory=14976 CPUtime=0 cores=0-7
/proc/7610/task/7612/stat : 7612 (java) S 7607 7607 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510488932 27969658880 30449 33554432000 4194304 4196468 140726105557040 140154110475152 140154106242773 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30904320 140726105559787 140726105560214 140726105560214 140726105563087 0
[pid=7610/tid=7613] ppid=7607 vsize=27314120 memory=139841670583605 CPUtime=0 cores=0-7
/proc/7610/task/7613/stat : 7613 (java) S 7607 7607 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510488932 27969658880 30449 33554432000 4194304 4196468 140726105557040 140153924631312 140154106242773 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30904320 140726105559787 140726105560214 140726105560214 140726105563087 0
[pid=7610/tid=7614] ppid=7607 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/7610/task/7614/stat : 7614 (java) S 7607 7607 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510488932 27969658880 30449 33554432000 4194304 4196468 140726105557040 140153923579024 140154106242773 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30904320 140726105559787 140726105560214 140726105560214 140726105563087 0
[pid=7610/tid=7615] ppid=7607 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7610/task/7615/stat : 7615 (java) S 7607 7607 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510488932 27969658880 30449 33554432000 4194304 4196468 140726105557040 140153922526224 140154106242773 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30904320 140726105559787 140726105560214 140726105560214 140726105563087 0
[pid=7610/tid=7616] ppid=7607 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7610/task/7616/stat : 7616 (java) S 7607 7607 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510488932 27969658880 30449 33554432000 4194304 4196468 140726105557040 140153921472912 140154106242773 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30904320 140726105559787 140726105560214 140726105560214 140726105563087 0
[pid=7610/tid=7617] ppid=7607 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/7610/task/7617/stat : 7617 (java) S 7607 7607 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510488932 27969658880 30449 33554432000 4194304 4196468 140726105557040 140153920420112 140154106242773 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30904320 140726105559787 140726105560214 140726105560214 140726105563087 0
[pid=7610/tid=7618] ppid=7607 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7610/task/7618/stat : 7618 (java) S 7607 7607 5615 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510488932 27969658880 30449 33554432000 4194304 4196468 140726105557040 140153919367824 140154106242773 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30904320 140726105559787 140726105560214 140726105560214 140726105563087 0
[pid=7610/tid=7619] ppid=7607 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7610/task/7619/stat : 7619 (java) S 7607 7607 5615 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510488932 27969658880 30449 33554432000 4194304 4196468 140726105557040 140153918315024 140154106242773 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30904320 140726105559787 140726105560214 140726105560214 140726105563087 0
[pid=7610/tid=7620] ppid=7607 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7610/task/7620/stat : 7620 (java) S 7607 7607 5615 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510488933 27969658880 30449 33554432000 4194304 4196468 140726105557040 140152358795888 140154106243714 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30904320 140726105559787 140726105560214 140726105560214 140726105563087 0
[pid=7610/tid=7621] ppid=7607 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7610/task/7621/stat : 7621 (java) S 7607 7607 5615 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 510488934 27969658880 30449 33554432000 4194304 4196468 140726105557040 140151963510048 140154106242773 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30904320 140726105559787 140726105560214 140726105560214 140726105563087 0
[pid=7610/tid=7622] ppid=7607 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7610/task/7622/stat : 7622 (java) S 7607 7607 5615 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510488934 27969658880 30449 33554432000 4194304 4196468 140726105557040 140151829288560 140154106242773 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30904320 140726105559787 140726105560214 140726105560214 140726105563087 0
[pid=7610/tid=7623] ppid=7607 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7610/task/7623/stat : 7623 (java) S 7607 7607 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510488936 27969658880 30449 33554432000 4194304 4196468 140726105557040 140151454784080 140154106251163 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30904320 140726105559787 140726105560214 140726105560214 140726105563087 0
[pid=7610/tid=7624] ppid=7607 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7610/task/7624/stat : 7624 (java) S 7607 7607 5615 0 -1 1077944384 311 0 0 0 0 0 0 0 20 0 20 0 510488936 27969658880 30449 33554432000 4194304 4196468 140726105557040 140152357742704 140154106243714 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30904320 140726105559787 140726105560214 140726105560214 140726105563087 0
[pid=7610/tid=7625] ppid=7607 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7610/task/7625/stat : 7625 (java) S 7607 7607 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510488936 27969658880 30449 33554432000 4194304 4196468 140726105557040 140152356689904 140154106243714 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30904320 140726105559787 140726105560214 140726105560214 140726105563087 0
[pid=7610/tid=7626] ppid=7607 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/7610/task/7626/stat : 7626 (java) S 7607 7607 5615 0 -1 1077944384 156 0 0 0 0 0 0 0 20 0 20 0 510488936 27969658880 30449 33554432000 4194304 4196468 140726105557040 140152355637616 140154106243714 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30904320 140726105559787 140726105560214 140726105560214 140726105563087 0
[pid=7610/tid=7627] ppid=7607 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7
/proc/7610/task/7627/stat : 7627 (java) S 7607 7607 5615 0 -1 1077944384 473 0 0 0 2 0 0 0 20 0 20 0 510488936 27969658880 30449 33554432000 4194304 4196468 140726105557040 140152354584816 140154106243714 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30904320 140726105559787 140726105560214 140726105560214 140726105563087 0
[pid=7610/tid=7628] ppid=7607 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7610/task/7628/stat : 7628 (java) S 7607 7607 5615 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510488937 27969658880 30449 33554432000 4194304 4196468 140726105557040 140150956878688 140154106242773 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30904320 140726105559787 140726105560214 140726105560214 140726105563087 0
[pid=7610/tid=7629] ppid=7607 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/7610/task/7629/stat : 7629 (java) S 7607 7607 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510488937 27969658880 30449 33554432000 4194304 4196468 140726105557040 140152353532720 140154106243714 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30904320 140726105559787 140726105560214 140726105560214 140726105563087 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 123192 KiB

[startup+0.309484 s]*
/proc/loadavg: 7.46 7.08 6.97 2/213 7629
/proc/meminfo: memFree=25442432/32770624 swapFree=67002552/67108860
[pid=7607] ppid=7604 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/7607/stat : 7607 (scop.sh) S 7604 7607 5615 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 510488929 115843072 349 33554432000 4194304 5098028 140724492486560 140724492483816 140414006076028 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 18006016 140724492489508 140724492489836 140724492489836 140724492492749 0
/proc/7607/statm: 28282 349 296 221 0 87 0
[pid=7610] ppid=7607 vsize=27314120 memory=125488 CPUtime=0.41 cores=0-7
/proc/7610/stat : 7610 (java) S 7607 7607 5615 0 -1 1077944320 12788 0 0 0 36 5 0 0 20 0 20 0 510488929 27969658880 31372 33554432000 4194304 4196468 140726105557040 140726105539584 140154106232567 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30904320 140726105559787 140726105560214 140726105560214 140726105563087 0
/proc/7610/statm: 6828530 31372 3023 1 0 6790935 0
[pid=7610/tid=7611] ppid=7607 vsize=27314120 memory=1398722017469774279 CPUtime=0.29 cores=0-7
/proc/7610/task/7611/stat : 7611 (java) R 7607 7607 5615 0 -1 4202560 10305 0 0 0 25 4 0 0 20 0 20 0 510488929 27969658880 31372 33554432000 4194304 4196468 140726105557040 140154078035792 140154090313054 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30904320 140726105559787 140726105560214 140726105560214 140726105563087 0
[pid=7610/tid=7612] ppid=7607 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7610/task/7612/stat : 7612 (java) S 7607 7607 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510488932 27969658880 31372 33554432000 4194304 4196468 140726105557040 140154110475152 140154106242773 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30904320 140726105559787 140726105560214 140726105560214 140726105563087 0
[pid=7610/tid=7613] ppid=7607 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7610/task/7613/stat : 7613 (java) S 7607 7607 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510488932 27969658880 31372 33554432000 4194304 4196468 140726105557040 140153924631312 140154106242773 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30904320 140726105559787 140726105560214 140726105560214 140726105563087 0
[pid=7610/tid=7614] ppid=7607 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7610/task/7614/stat : 7614 (java) S 7607 7607 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510488932 27969658880 31372 33554432000 4194304 4196468 140726105557040 140153923579024 140154106242773 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30904320 140726105559787 140726105560214 140726105560214 140726105563087 0
[pid=7610/tid=7615] ppid=7607 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7610/task/7615/stat : 7615 (java) S 7607 7607 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510488932 27969658880 31372 33554432000 4194304 4196468 140726105557040 140153922526224 140154106242773 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30904320 140726105559787 140726105560214 140726105560214 140726105563087 0
[pid=7610/tid=7616] ppid=7607 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7610/task/7616/stat : 7616 (java) S 7607 7607 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510488932 27969658880 31372 33554432000 4194304 4196468 140726105557040 140153921472912 140154106242773 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30904320 140726105559787 140726105560214 140726105560214 140726105563087 0
[pid=7610/tid=7617] ppid=7607 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7610/task/7617/stat : 7617 (java) S 7607 7607 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510488932 27969658880 31372 33554432000 4194304 4196468 140726105557040 140153920420112 140154106242773 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30904320 140726105559787 140726105560214 140726105560214 140726105563087 0
[pid=7610/tid=7618] ppid=7607 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7610/task/7618/stat : 7618 (java) S 7607 7607 5615 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510488932 27969658880 31372 33554432000 4194304 4196468 140726105557040 140153919367824 140154106242773 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30904320 140726105559787 140726105560214 140726105560214 140726105563087 0
[pid=7610/tid=7619] ppid=7607 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7610/task/7619/stat : 7619 (java) S 7607 7607 5615 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510488932 27969658880 31372 33554432000 4194304 4196468 140726105557040 140153918315024 140154106242773 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30904320 140726105559787 140726105560214 140726105560214 140726105563087 0
[pid=7610/tid=7620] ppid=7607 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7610/task/7620/stat : 7620 (java) S 7607 7607 5615 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510488933 27969658880 31372 33554432000 4194304 4196468 140726105557040 140152358795888 140154106243714 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30904320 140726105559787 140726105560214 140726105560214 140726105563087 0
[pid=7610/tid=7621] ppid=7607 vsize=27314120 memory=279683036028288 CPUtime=0 cores=0-7
/proc/7610/task/7621/stat : 7621 (java) S 7607 7607 5615 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 510488934 27969658880 31372 33554432000 4194304 4196468 140726105557040 140151963510048 140154106242773 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30904320 140726105559787 140726105560214 140726105560214 140726105563087 0
[pid=7610/tid=7622] ppid=7607 vsize=27314120 memory=279683036032896 CPUtime=0 cores=0-7
/proc/7610/task/7622/stat : 7622 (java) S 7607 7607 5615 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510488934 27969658880 31372 33554432000 4194304 4196468 140726105557040 140151829288560 140154106242773 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30904320 140726105559787 140726105560214 140726105560214 140726105563087 0
[pid=7610/tid=7623] ppid=7607 vsize=27314120 memory=279683036037504 CPUtime=0 cores=0-7
/proc/7610/task/7623/stat : 7623 (java) S 7607 7607 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510488936 27969658880 31372 33554432000 4194304 4196468 140726105557040 140151454784080 140154106251163 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30904320 140726105559787 140726105560214 140726105560214 140726105563087 0
[pid=7610/tid=7624] ppid=7607 vsize=27314120 memory=279683036042112 CPUtime=0.01 cores=0-7
/proc/7610/task/7624/stat : 7624 (java) R 7607 7607 5615 0 -1 4202560 360 0 0 0 1 0 0 0 20 0 20 0 510488936 27969658880 31372 33554432000 4194304 4196468 140726105557040 140152357742704 140154089726790 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30904320 140726105559787 140726105560214 140726105560214 140726105563087 0
[pid=7610/tid=7625] ppid=7607 vsize=27314120 memory=279683036046720 CPUtime=0.01 cores=0-7
/proc/7610/task/7625/stat : 7625 (java) S 7607 7607 5615 0 -1 1077944384 37 0 0 0 1 0 0 0 20 0 20 0 510488936 27969658880 31372 33554432000 4194304 4196468 140726105557040 140152356689904 140154106243714 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30904320 140726105559787 140726105560214 140726105560214 140726105563087 0
[pid=7610/tid=7626] ppid=7607 vsize=27314120 memory=279683036051328 CPUtime=0.01 cores=0-7
/proc/7610/task/7626/stat : 7626 (java) S 7607 7607 5615 0 -1 1077944384 236 0 0 0 1 0 0 0 20 0 20 0 510488936 27969658880 31372 33554432000 4194304 4196468 140726105557040 140152355637616 140154106243714 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30904320 140726105559787 140726105560214 140726105560214 140726105563087 0
[pid=7610/tid=7627] ppid=7607 vsize=27314120 memory=279683036055936 CPUtime=0.07 cores=0-7
/proc/7610/task/7627/stat : 7627 (java) S 7607 7607 5615 0 -1 1077944384 496 0 0 0 7 0 0 0 20 0 20 0 510488936 27969658880 31372 33554432000 4194304 4196468 140726105557040 140152354584816 140154106243714 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30904320 140726105559787 140726105560214 140726105560214 140726105563087 0
[pid=7610/tid=7628] ppid=7607 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7610/task/7628/stat : 7628 (java) S 7607 7607 5615 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510488937 27969658880 31372 33554432000 4194304 4196468 140726105557040 140150956878688 140154106242773 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30904320 140726105559787 140726105560214 140726105560214 140726105563087 0
[pid=7610/tid=7629] ppid=7607 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/7610/task/7629/stat : 7629 (java) S 7607 7607 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510488937 27969658880 31372 33554432000 4194304 4196468 140726105557040 140152353532720 140154106243714 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30904320 140726105559787 140726105560214 140726105560214 140726105563087 0
Current children cumulated CPU time: 0.41 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 126884 KiB

[startup+0.700912 s]
/proc/loadavg: 7.46 7.08 6.97 2/213 7629
/proc/meminfo: memFree=25419576/32770624 swapFree=67002552/67108860
[pid=7607] ppid=7604 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/7607/stat : 7607 (scop.sh) S 7604 7607 5615 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 510488929 115843072 349 33554432000 4194304 5098028 140724492486560 140724492483816 140414006076028 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 18006016 140724492489508 140724492489836 140724492489836 140724492492749 0
/proc/7607/statm: 28282 349 296 221 0 87 0
[pid=7610] ppid=7607 vsize=27320392 memory=162940 CPUtime=0.99 cores=0-7
/proc/7610/stat : 7610 (java) S 7607 7607 5615 0 -1 1077944320 20366 0 0 0 91 8 0 0 20 0 20 0 510488929 27976081408 40735 33554432000 4194304 4196468 140726105557040 140726105539584 140154106232567 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30904320 140726105559787 140726105560214 140726105560214 140726105563087 0
/proc/7610/statm: 6830098 40735 3161 1 0 6791447 0
[pid=7610/tid=7611] ppid=7607 vsize=27320392 memory=0 CPUtime=0.68 cores=0-7
/proc/7610/task/7611/stat : 7611 (java) R 7607 7607 5615 0 -1 4202560 17393 0 0 0 62 6 0 0 20 0 20 0 510488929 27976081408 40735 33554432000 4194304 4196468 140726105557040 140154078069824 140154106244502 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30904320 140726105559787 140726105560214 140726105560214 140726105563087 0
[pid=7610/tid=7612] ppid=7607 vsize=27320392 memory=139841518216064 CPUtime=0 cores=0-7
/proc/7610/task/7612/stat : 7612 (java) S 7607 7607 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510488932 27976081408 40735 33554432000 4194304 4196468 140726105557040 140154110475152 140154106242773 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30904320 140726105559787 140726105560214 140726105560214 140726105563087 0
[pid=7610/tid=7613] ppid=7607 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/7610/task/7613/stat : 7613 (java) S 7607 7607 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510488932 27976081408 40735 33554432000 4194304 4196468 140726105557040 140153924631312 140154106242773 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30904320 140726105559787 140726105560214 140726105560214 140726105563087 0
[pid=7610/tid=7614] ppid=7607 vsize=27320392 memory=1052 CPUtime=0 cores=0-7
/proc/7610/task/7614/stat : 7614 (java) S 7607 7607 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510488932 27976081408 40735 33554432000 4194304 4196468 140726105557040 140153923579024 140154106242773 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30904320 140726105559787 140726105560214 140726105560214 140726105563087 0

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

[pid=7630/tid=7640] ppid=7607 vsize=8414124 memory=1160 CPUtime=0 cores=0-7
/proc/7630/task/7640/stat : 7640 (java) S 7607 7607 5615 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 510489366 8616062976 30341 33554432000 4194304 4196468 140736461443472 139979673868400 139980446259842 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16756736 140736461452280 140736461452438 140736461452438 140736461455311 0
[pid=7630/tid=7641] ppid=7607 vsize=8414124 memory=1720 CPUtime=0 cores=0-7
/proc/7630/task/7641/stat : 7641 (java) S 7607 7607 5615 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 24 0 510489367 8616062976 30341 33554432000 4194304 4196468 140736461443472 139979023967008 139980446258901 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16756736 140736461452280 140736461452438 140736461452438 140736461455311 0
[pid=7630/tid=7642] ppid=7607 vsize=8414124 memory=1096 CPUtime=0 cores=0-7
/proc/7630/task/7642/stat : 7642 (java) S 7607 7607 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510489367 8616062976 30341 33554432000 4194304 4196468 140736461443472 139978755531888 139980446258901 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16756736 140736461452280 140736461452438 140736461452438 140736461455311 0
[pid=7630/tid=7643] ppid=7607 vsize=8414124 memory=6160 CPUtime=0 cores=0-7
/proc/7630/task/7643/stat : 7643 (java) S 7607 7607 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510489369 8616062976 30341 33554432000 4194304 4196468 140736461443472 139978381023312 139980446267291 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16756736 140736461452280 140736461452438 140736461452438 140736461455311 0
[pid=7630/tid=7644] ppid=7607 vsize=8414124 memory=14012 CPUtime=0.06 cores=0-7
/proc/7630/task/7644/stat : 7644 (java) S 7607 7607 5615 0 -1 1077944384 547 0 0 0 6 0 0 0 20 0 24 0 510489369 8616062976 30341 33554432000 4194304 4196468 140736461443472 139979672816240 139980446259842 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16756736 140736461452280 140736461452438 140736461452438 140736461455311 0
[pid=7630/tid=7645] ppid=7607 vsize=8414124 memory=32812 CPUtime=0.07 cores=0-7
/proc/7630/task/7645/stat : 7645 (java) S 7607 7607 5615 0 -1 1077944384 352 0 0 0 7 0 0 0 20 0 24 0 510489369 8616062976 30341 33554432000 4194304 4196468 140736461443472 139979671763440 139980446259842 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16756736 140736461452280 140736461452438 140736461452438 140736461455311 0
[pid=7630/tid=7646] ppid=7607 vsize=8414124 memory=14068 CPUtime=0.06 cores=0-7
/proc/7630/task/7646/stat : 7646 (java) S 7607 7607 5615 0 -1 1077944384 284 0 0 0 6 0 0 0 20 0 24 0 510489369 8616062976 30341 33554432000 4194304 4196468 140736461443472 139979670711152 139980446259842 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16756736 140736461452280 140736461452438 140736461452438 140736461455311 0
[pid=7630/tid=7647] ppid=7607 vsize=8414124 memory=2120 CPUtime=0.22 cores=0-7
/proc/7630/task/7647/stat : 7647 (java) S 7607 7607 5615 0 -1 1077944384 747 0 0 0 22 0 0 0 20 0 24 0 510489369 8616062976 30341 33554432000 4194304 4196468 140736461443472 139979669658352 139980446259842 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16756736 140736461452280 140736461452438 140736461452438 140736461455311 0
[pid=7630/tid=7648] ppid=7607 vsize=8414124 memory=504 CPUtime=0 cores=0-7
/proc/7630/task/7648/stat : 7648 (java) S 7607 7607 5615 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510489370 8616062976 30341 33554432000 4194304 4196468 140736461443472 139977883117920 139980446258901 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16756736 140736461452280 140736461452438 140736461452438 140736461455311 0
[pid=7630/tid=7649] ppid=7607 vsize=8414124 memory=111632 CPUtime=0.1 cores=0-7
/proc/7630/task/7649/stat : 7649 (java) S 7607 7607 5615 0 -1 1077944384 10 0 0 0 6 4 0 0 20 0 24 0 510489370 8616062976 30341 33554432000 4194304 4196468 140736461443472 139979668605232 139980446259842 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 9 0 0 6293624 6294260 16756736 140736461452280 140736461452438 140736461452438 140736461455311 0
[pid=7630/tid=7651] ppid=7607 vsize=8414124 memory=804 CPUtime=0 cores=0-7
/proc/7630/task/7651/stat : 7651 (java) S 7607 7607 5615 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 510489438 8616062976 30341 33554432000 4194304 4196468 140736461443472 139979660571968 139980446273305 0 4 2 25189581 18446744071579417331 0 0 -1 1 0 0 0 0 0 6293624 6294260 16756736 140736461452280 140736461452438 140736461452438 140736461455311 0
[pid=7630/tid=7653] ppid=7607 vsize=8414124 memory=1804 CPUtime=0 cores=0-7
/proc/7630/task/7653/stat : 7653 (java) S 7607 7607 5615 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 510489438 8616062976 30341 33554432000 4194304 4196468 140736461443472 139977212018576 139980446270621 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 16756736 140736461452280 140736461452438 140736461452438 140736461455311 0
[pid=7630/tid=7654] ppid=7607 vsize=8414124 memory=916 CPUtime=0 cores=0-7
/proc/7630/task/7654/stat : 7654 (java) S 7607 7607 5615 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 510489438 8616062976 30341 33554432000 4194304 4196468 140736461443472 139977480453904 139980446270621 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 16756736 140736461452280 140736461452438 140736461452438 140736461455311 0
[pid=7630/tid=7655] ppid=7607 vsize=8414124 memory=4740 CPUtime=0 cores=0-7
/proc/7630/task/7655/stat : 7655 (java) S 7607 7607 5615 0 -1 1077944384 137 0 0 0 0 0 0 0 20 0 24 0 510489440 8616062976 30341 33554432000 4194304 4196468 140736461443472 139976943591216 139980446258901 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16756736 140736461452280 140736461452438 140736461452438 140736461455311 0
Current children cumulated CPU time: 949.31 s
Current children cumulated vsize: 9421396 KiB
Current children cumulated memory: 827160 KiB

[startup+160.401 s]
/proc/loadavg: 5.98 6.78 6.88 2/219 7674
/proc/meminfo: memFree=24746176/32770624 swapFree=67002552/67108860
[pid=7607] ppid=7604 vsize=113128 memory=1476 CPUtime=11.69 cores=0-7
/proc/7607/stat : 7607 (scop.sh) S 7604 7607 5615 0 -1 4202496 583 32648 0 0 0 0 1138 31 20 0 1 0 510488929 115843072 369 33554432000 4194304 5098028 140724492486560 140724492483304 140414006076028 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 18006016 140724492489508 140724492489836 140724492489836 140724492492749 0
/proc/7607/statm: 28282 369 311 221 0 87 0
[pid=7630] ppid=7607 vsize=8414124 memory=121364 CPUtime=1.33 cores=0-7
/proc/7630/stat : 7630 (java) S 7607 7607 5615 0 -1 1077944320 20334 0 0 0 126 7 0 0 20 0 24 0 510489363 8616062976 30341 33554432000 4194304 4196468 140736461443472 140736461426016 139980446248695 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 16756736 140736461452280 140736461452438 140736461452438 140736461455311 0
/proc/7630/statm: 2103531 30341 3203 1 0 2064875 0
[pid=7650] ppid=7630 vsize=894144 memory=704320 CPUtime=936.68 cores=0-7
/proc/7650/stat : 7650 (manyglucose-4.1) S 7630 7607 5615 0 -1 1077944320 788094 0 0 0 93506 162 0 0 20 0 2 0 510489437 915603456 176080 33554432000 4194304 4454172 140723254738224 140723254736608 140361704283895 0 4 0 8388610 18446744073709551615 0 0 17 1 0 0 26 0 0 6552832 6554400 17797120 140723254743914 140723254744112 140723254744112 140723254747066 0
/proc/7650/statm: 223536 176080 419 64 0 219204 0
[pid=7650/tid=7659] ppid=7630 vsize=894144 memory=7686721470233680794 CPUtime=152.67 cores=0-7
/proc/7650/task/7659/stat : 7659 (manyglucose-4.1) R 7630 7607 5615 0 -1 4202560 113176 0 0 0 15248 19 0 0 20 0 2 0 510489466 915603456 176080 33554432000 4194304 4454172 140723254738224 140361663888520 4333329 0 4 0 8388610 0 0 0 -1 0 0 0 0 0 0 6552832 6554400 17797120 140723254743914 140723254744112 140723254744112 140723254747066 0
[pid=7630/tid=7631] ppid=7607 vsize=8414124 memory=7548 CPUtime=0.77 cores=0-7
/proc/7630/task/7631/stat : 7631 (java) S 7607 7607 5615 0 -1 1077944384 16863 0 0 0 72 5 0 0 20 0 24 0 510489364 8616062976 30341 33554432000 4194304 4196468 140736461443472 139980418088864 139980446258901 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16756736 140736461452280 140736461452438 140736461452438 140736461455311 0
[pid=7630/tid=7632] ppid=7607 vsize=8414124 memory=3620 CPUtime=0 cores=0-7
/proc/7630/task/7632/stat : 7632 (java) S 7607 7607 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510489365 8616062976 30341 33554432000 4194304 4196468 140736461443472 139980450490768 139980446258901 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16756736 140736461452280 140736461452438 140736461452438 140736461455311 0
[pid=7630/tid=7633] ppid=7607 vsize=8414124 memory=2832 CPUtime=0 cores=0-7
/proc/7630/task/7633/stat : 7633 (java) S 7607 7607 5615 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510489365 8616062976 30341 33554432000 4194304 4196468 140736461443472 139980250659088 139980446258901 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16756736 140736461452280 140736461452438 140736461452438 140736461455311 0
[pid=7630/tid=7634] ppid=7607 vsize=8414124 memory=776 CPUtime=0 cores=0-7
/proc/7630/task/7634/stat : 7634 (java) S 7607 7607 5615 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510489365 8616062976 30341 33554432000 4194304 4196468 140736461443472 139980249606800 139980446258901 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16756736 140736461452280 140736461452438 140736461452438 140736461455311 0
[pid=7630/tid=7635] ppid=7607 vsize=8414124 memory=1160 CPUtime=0 cores=0-7
/proc/7630/task/7635/stat : 7635 (java) S 7607 7607 5615 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510489365 8616062976 30341 33554432000 4194304 4196468 140736461443472 139980248554000 139980446258901 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16756736 140736461452280 140736461452438 140736461452438 140736461455311 0
[pid=7630/tid=7636] ppid=7607 vsize=8414124 memory=1720 CPUtime=0 cores=0-7
/proc/7630/task/7636/stat : 7636 (java) S 7607 7607 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510489365 8616062976 30341 33554432000 4194304 4196468 140736461443472 139980247501712 139980446258901 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16756736 140736461452280 140736461452438 140736461452438 140736461455311 0
[pid=7630/tid=7637] ppid=7607 vsize=8414124 memory=1096 CPUtime=0 cores=0-7
/proc/7630/task/7637/stat : 7637 (java) S 7607 7607 5615 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510489365 8616062976 30341 33554432000 4194304 4196468 140736461443472 139980246448912 139980446258901 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16756736 140736461452280 140736461452438 140736461452438 140736461455311 0
[pid=7630/tid=7638] ppid=7607 vsize=8414124 memory=2456 CPUtime=0 cores=0-7
/proc/7630/task/7638/stat : 7638 (java) S 7607 7607 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510489365 8616062976 30341 33554432000 4194304 4196468 140736461443472 139980245396624 139980446258901 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16756736 140736461452280 140736461452438 140736461452438 140736461455311 0
[pid=7630/tid=7639] ppid=7607 vsize=8414124 memory=1760 CPUtime=0 cores=0-7
/proc/7630/task/7639/stat : 7639 (java) S 7607 7607 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510489365 8616062976 30341 33554432000 4194304 4196468 140736461443472 139980244343824 139980446258901 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16756736 140736461452280 140736461452438 140736461452438 140736461455311 0
[pid=7630/tid=7640] ppid=7607 vsize=8414124 memory=111632 CPUtime=0 cores=0-7
/proc/7630/task/7640/stat : 7640 (java) S 7607 7607 5615 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 510489366 8616062976 30341 33554432000 4194304 4196468 140736461443472 139979673868400 139980446259842 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16756736 140736461452280 140736461452438 140736461452438 140736461455311 0
[pid=7630/tid=7641] ppid=7607 vsize=8414124 memory=804 CPUtime=0 cores=0-7
/proc/7630/task/7641/stat : 7641 (java) S 7607 7607 5615 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 24 0 510489367 8616062976 30341 33554432000 4194304 4196468 140736461443472 139979023967008 139980446258901 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16756736 140736461452280 140736461452438 140736461452438 140736461455311 0
[pid=7630/tid=7642] ppid=7607 vsize=8414124 memory=1804 CPUtime=0 cores=0-7
/proc/7630/task/7642/stat : 7642 (java) S 7607 7607 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510489367 8616062976 30341 33554432000 4194304 4196468 140736461443472 139978755531888 139980446258901 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16756736 140736461452280 140736461452438 140736461452438 140736461455311 0
[pid=7630/tid=7643] ppid=7607 vsize=8414124 memory=916 CPUtime=0 cores=0-7
/proc/7630/task/7643/stat : 7643 (java) S 7607 7607 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510489369 8616062976 30341 33554432000 4194304 4196468 140736461443472 139978381023312 139980446267291 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16756736 140736461452280 140736461452438 140736461452438 140736461455311 0
[pid=7630/tid=7644] ppid=7607 vsize=8414124 memory=4740 CPUtime=0.06 cores=0-7
/proc/7630/task/7644/stat : 7644 (java) S 7607 7607 5615 0 -1 1077944384 547 0 0 0 6 0 0 0 20 0 24 0 510489369 8616062976 30341 33554432000 4194304 4196468 140736461443472 139979672816240 139980446259842 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16756736 140736461452280 140736461452438 140736461452438 140736461455311 0
[pid=7630/tid=7645] ppid=7607 vsize=8414124 memory=4100 CPUtime=0.07 cores=0-7
/proc/7630/task/7645/stat : 7645 (java) S 7607 7607 5615 0 -1 1077944384 352 0 0 0 7 0 0 0 20 0 24 0 510489369 8616062976 30341 33554432000 4194304 4196468 140736461443472 139979671763440 139980446259842 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16756736 140736461452280 140736461452438 140736461452438 140736461455311 0
[pid=7630/tid=7646] ppid=7607 vsize=8414124 memory=1412 CPUtime=0.06 cores=0-7
/proc/7630/task/7646/stat : 7646 (java) S 7607 7607 5615 0 -1 1077944384 284 0 0 0 6 0 0 0 20 0 24 0 510489369 8616062976 30341 33554432000 4194304 4196468 140736461443472 139979670711152 139980446259842 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16756736 140736461452280 140736461452438 140736461452438 140736461455311 0
[pid=7630/tid=7647] ppid=7607 vsize=8414124 memory=3676 CPUtime=0.22 cores=0-7
/proc/7630/task/7647/stat : 7647 (java) S 7607 7607 5615 0 -1 1077944384 747 0 0 0 22 0 0 0 20 0 24 0 510489369 8616062976 30341 33554432000 4194304 4196468 140736461443472 139979669658352 139980446259842 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16756736 140736461452280 140736461452438 140736461452438 140736461455311 0
[pid=7630/tid=7648] ppid=7607 vsize=8414124 memory=7686721470233680794 CPUtime=0 cores=0-7
/proc/7630/task/7648/stat : 7648 (java) S 7607 7607 5615 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510489370 8616062976 30341 33554432000 4194304 4196468 140736461443472 139977883117920 139980446258901 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16756736 140736461452280 140736461452438 140736461452438 140736461455311 0
[pid=7630/tid=7649] ppid=7607 vsize=8414124 memory=63384 CPUtime=0.1 cores=0-7
/proc/7630/task/7649/stat : 7649 (java) S 7607 7607 5615 0 -1 1077944384 10 0 0 0 6 4 0 0 20 0 24 0 510489370 8616062976 30341 33554432000 4194304 4196468 140736461443472 139979668605232 139980446259842 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 9 0 0 6293624 6294260 16756736 140736461452280 140736461452438 140736461452438 140736461455311 0
[pid=7630/tid=7651] ppid=7607 vsize=8414124 memory=984 CPUtime=0 cores=0-7
/proc/7630/task/7651/stat : 7651 (java) S 7607 7607 5615 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 510489438 8616062976 30341 33554432000 4194304 4196468 140736461443472 139979660571968 139980446273305 0 4 2 25189581 18446744071579417331 0 0 -1 1 0 0 0 0 0 6293624 6294260 16756736 140736461452280 140736461452438 140736461452438 140736461455311 0
[pid=7630/tid=7653] ppid=7607 vsize=8414124 memory=1940 CPUtime=0 cores=0-7
/proc/7630/task/7653/stat : 7653 (java) S 7607 7607 5615 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 510489438 8616062976 30341 33554432000 4194304 4196468 140736461443472 139977212018576 139980446270621 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 16756736 140736461452280 140736461452438 140736461452438 140736461455311 0
[pid=7630/tid=7654] ppid=7607 vsize=8414124 memory=1416 CPUtime=0 cores=0-7
/proc/7630/task/7654/stat : 7654 (java) S 7607 7607 5615 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 510489438 8616062976 30341 33554432000 4194304 4196468 140736461443472 139977480453904 139980446270621 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 16756736 140736461452280 140736461452438 140736461452438 140736461455311 0
[pid=7630/tid=7655] ppid=7607 vsize=8414124 memory=1556 CPUtime=0 cores=0-7
/proc/7630/task/7655/stat : 7655 (java) S 7607 7607 5615 0 -1 1077944384 137 0 0 0 0 0 0 0 20 0 24 0 510489440 8616062976 30341 33554432000 4194304 4196468 140736461443472 139976943591216 139980446258901 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16756736 140736461452280 140736461452438 140736461452438 140736461455311 0
Current children cumulated CPU time: 949.7 s
Current children cumulated vsize: 9421396 KiB
Current children cumulated memory: 827160 KiB

[startup+160.501 s]
/proc/loadavg: 5.98 6.78 6.88 2/219 7674
/proc/meminfo: memFree=24746176/32770624 swapFree=67002552/67108860
[pid=7607] ppid=7604 vsize=113128 memory=1476 CPUtime=11.69 cores=0-7
/proc/7607/stat : 7607 (scop.sh) S 7604 7607 5615 0 -1 4202496 583 32648 0 0 0 0 1138 31 20 0 1 0 510488929 115843072 369 33554432000 4194304 5098028 140724492486560 140724492483304 140414006076028 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 18006016 140724492489508 140724492489836 140724492489836 140724492492749 0
/proc/7607/statm: 28282 369 311 221 0 87 0
[pid=7630] ppid=7607 vsize=8414124 memory=121364 CPUtime=1.33 cores=0-7
/proc/7630/stat : 7630 (java) S 7607 7607 5615 0 -1 1077944320 20334 0 0 0 126 7 0 0 20 0 24 0 510489363 8616062976 30341 33554432000 4194304 4196468 140736461443472 140736461426016 139980446248695 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 16756736 140736461452280 140736461452438 140736461452438 140736461455311 0
/proc/7630/statm: 2103531 30341 3203 1 0 2064875 0
[pid=7650] ppid=7630 vsize=894144 memory=704320 CPUtime=936.78 cores=0-7
/proc/7650/stat : 7650 (manyglucose-4.1) S 7630 7607 5615 0 -1 1077944320 788107 0 0 0 93516 162 0 0 20 0 2 0 510489437 915603456 176080 33554432000 4194304 4454172 140723254738224 140723254736608 140361704283895 0 4 0 8388610 18446744073709551615 0 0 17 1 0 0 26 0 0 6552832 6554400 17797120 140723254743914 140723254744112 140723254744112 140723254747066 0
/proc/7650/statm: 223536 176080 419 64 0 219204 0
[pid=7650/tid=7659] ppid=7630 vsize=894144 memory=1476 CPUtime=152.77 cores=0-7
/proc/7650/task/7659/stat : 7659 (manyglucose-4.1) R 7630 7607 5615 0 -1 4202560 113189 0 0 0 15258 19 0 0 20 0 2 0 510489466 915603456 176080 33554432000 4194304 4454172 140723254738224 140361663888520 4351254 0 4 0 8388610 0 0 0 -1 0 0 0 0 0 0 6552832 6554400 17797120 140723254743914 140723254744112 140723254744112 140723254747066 0
[pid=7630/tid=7631] ppid=7607 vsize=8414124 memory=121364 CPUtime=0.77 cores=0-7
/proc/7630/task/7631/stat : 7631 (java) S 7607 7607 5615 0 -1 1077944384 16863 0 0 0 72 5 0 0 20 0 24 0 510489364 8616062976 30341 33554432000 4194304 4196468 140736461443472 139980418088864 139980446258901 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16756736 140736461452280 140736461452438 140736461452438 140736461455311 0
[pid=7630/tid=7632] ppid=7607 vsize=8414124 memory=121364 CPUtime=0 cores=0-7
/proc/7630/task/7632/stat : 7632 (java) S 7607 7607 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510489365 8616062976 30341 33554432000 4194304 4196468 140736461443472 139980450490768 139980446258901 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16756736 140736461452280 140736461452438 140736461452438 140736461455311 0
[pid=7630/tid=7633] ppid=7607 vsize=8414124 memory=121364 CPUtime=0 cores=0-7
/proc/7630/task/7633/stat : 7633 (java) S 7607 7607 5615 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510489365 8616062976 30341 33554432000 4194304 4196468 140736461443472 139980250659088 139980446258901 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16756736 140736461452280 140736461452438 140736461452438 140736461455311 0
[pid=7630/tid=7634] ppid=7607 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/7630/task/7634/stat : 7634 (java) S 7607 7607 5615 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510489365 8616062976 30341 33554432000 4194304 4196468 140736461443472 139980249606800 139980446258901 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16756736 140736461452280 140736461452438 140736461452438 140736461455311 0
[pid=7630/tid=7635] ppid=7607 vsize=8414124 memory=1412 CPUtime=0 cores=0-7
/proc/7630/task/7635/stat : 7635 (java) S 7607 7607 5615 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510489365 8616062976 30341 33554432000 4194304 4196468 140736461443472 139980248554000 139980446258901 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16756736 140736461452280 140736461452438 140736461452438 140736461455311 0
[pid=7630/tid=7636] ppid=7607 vsize=8414124 memory=3788 CPUtime=0 cores=0-7
/proc/7630/task/7636/stat : 7636 (java) S 7607 7607 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510489365 8616062976 30341 33554432000 4194304 4196468 140736461443472 139980247501712 139980446258901 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16756736 140736461452280 140736461452438 140736461452438 140736461455311 0
[pid=7630/tid=7637] ppid=7607 vsize=8414124 memory=77 CPUtime=0 cores=0-7
/proc/7630/task/7637/stat : 7637 (java) S 7607 7607 5615 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510489365 8616062976 30341 33554432000 4194304 4196468 140736461443472 139980246448912 139980446258901 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16756736 140736461452280 140736461452438 140736461452438 140736461455311 0
[pid=7630/tid=7638] ppid=7607 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/7630/task/7638/stat : 7638 (java) S 7607 7607 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510489365 8616062976 30341 33554432000 4194304 4196468 140736461443472 139980245396624 139980446258901 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16756736 140736461452280 140736461452438 140736461452438 140736461455311 0
[pid=7630/tid=7639] ppid=7607 vsize=8414124 memory=3588 CPUtime=0 cores=0-7
/proc/7630/task/7639/stat : 7639 (java) S 7607 7607 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510489365 8616062976 30341 33554432000 4194304 4196468 140736461443472 139980244343824 139980446258901 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16756736 140736461452280 140736461452438 140736461452438 140736461455311 0
[pid=7630/tid=7640] ppid=7607 vsize=8414124 memory=63384 CPUtime=0 cores=0-7
/proc/7630/task/7640/stat : 7640 (java) S 7607 7607 5615 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 510489366 8616062976 30341 33554432000 4194304 4196468 140736461443472 139979673868400 139980446259842 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16756736 140736461452280 140736461452438 140736461452438 140736461455311 0
[pid=7630/tid=7641] ppid=7607 vsize=8414124 memory=984 CPUtime=0 cores=0-7
/proc/7630/task/7641/stat : 7641 (java) S 7607 7607 5615 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 24 0 510489367 8616062976 30341 33554432000 4194304 4196468 140736461443472 139979023967008 139980446258901 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16756736 140736461452280 140736461452438 140736461452438 140736461455311 0
[pid=7630/tid=7642] ppid=7607 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/7630/task/7642/stat : 7642 (java) S 7607 7607 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510489367 8616062976 30341 33554432000 4194304 4196468 140736461443472 139978755531888 139980446258901 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16756736 140736461452280 140736461452438 140736461452438 140736461455311 0
[pid=7630/tid=7643] ppid=7607 vsize=8414124 memory=121364 CPUtime=0 cores=0-7
/proc/7630/task/7643/stat : 7643 (java) S 7607 7607 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510489369 8616062976 30341 33554432000 4194304 4196468 140736461443472 139978381023312 139980446267291 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16756736 140736461452280 140736461452438 140736461452438 140736461455311 0
[pid=7630/tid=7644] ppid=7607 vsize=8414124 memory=702272 CPUtime=0.06 cores=0-7
/proc/7630/task/7644/stat : 7644 (java) S 7607 7607 5615 0 -1 1077944384 547 0 0 0 6 0 0 0 20 0 24 0 510489369 8616062976 30341 33554432000 4194304 4196468 140736461443472 139979672816240 139980446259842 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16756736 140736461452280 140736461452438 140736461452438 140736461455311 0
[pid=7630/tid=7645] ppid=7607 vsize=8414124 memory=1476 CPUtime=0.07 cores=0-7
/proc/7630/task/7645/stat : 7645 (java) S 7607 7607 5615 0 -1 1077944384 352 0 0 0 7 0 0 0 20 0 24 0 510489369 8616062976 30341 33554432000 4194304 4196468 140736461443472 139979671763440 139980446259842 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16756736 140736461452280 140736461452438 140736461452438 140736461455311 0
[pid=7630/tid=7646] ppid=7607 vsize=8414124 memory=121364 CPUtime=0.06 cores=0-7
/proc/7630/task/7646/stat : 7646 (java) S 7607 7607 5615 0 -1 1077944384 284 0 0 0 6 0 0 0 20 0 24 0 510489369 8616062976 30341 33554432000 4194304 4196468 140736461443472 139979670711152 139980446259842 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16756736 140736461452280 140736461452438 140736461452438 140736461455311 0
[pid=7630/tid=7647] ppid=7607 vsize=8414124 memory=671676 CPUtime=0.22 cores=0-7
/proc/7630/task/7647/stat : 7647 (java) S 7607 7607 5615 0 -1 1077944384 747 0 0 0 22 0 0 0 20 0 24 0 510489369 8616062976 30341 33554432000 4194304 4196468 140736461443472 139979669658352 139980446259842 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16756736 140736461452280 140736461452438 140736461452438 140736461455311 0
[pid=7630/tid=7648] ppid=7607 vsize=8414124 memory=3588 CPUtime=0 cores=0-7
/proc/7630/task/7648/stat : 7648 (java) S 7607 7607 5615 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510489370 8616062976 30341 33554432000 4194304 4196468 140736461443472 139977883117920 139980446258901 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16756736 140736461452280 140736461452438 140736461452438 140736461455311 0
[pid=7630/tid=7649] ppid=7607 vsize=8414124 memory=63384 CPUtime=0.1 cores=0-7
/proc/7630/task/7649/stat : 7649 (java) S 7607 7607 5615 0 -1 1077944384 10 0 0 0 6 4 0 0 20 0 24 0 510489370 8616062976 30341 33554432000 4194304 4196468 140736461443472 139979668605232 139980446259842 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 9 0 0 6293624 6294260 16756736 140736461452280 140736461452438 140736461452438 140736461455311 0
[pid=7630/tid=7651] ppid=7607 vsize=8414124 memory=984 CPUtime=0 cores=0-7
/proc/7630/task/7651/stat : 7651 (java) S 7607 7607 5615 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 510489438 8616062976 30341 33554432000 4194304 4196468 140736461443472 139979660571968 139980446273305 0 4 2 25189581 18446744071579417331 0 0 -1 1 0 0 0 0 0 6293624 6294260 16756736 140736461452280 140736461452438 140736461452438 140736461455311 0
[pid=7630/tid=7653] ppid=7607 vsize=8414124 memory=63384 CPUtime=0 cores=0-7
/proc/7630/task/7653/stat : 7653 (java) S 7607 7607 5615 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 510489438 8616062976 30341 33554432000 4194304 4196468 140736461443472 139977212018576 139980446270621 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 16756736 140736461452280 140736461452438 140736461452438 140736461455311 0
[pid=7630/tid=7654] ppid=7607 vsize=8414124 memory=984 CPUtime=0 cores=0-7
/proc/7630/task/7654/stat : 7654 (java) S 7607 7607 5615 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 510489438 8616062976 30341 33554432000 4194304 4196468 140736461443472 139977480453904 139980446270621 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 16756736 140736461452280 140736461452438 140736461452438 140736461455311 0
[pid=7630/tid=7655] ppid=7607 vsize=8414124 memory=1940 CPUtime=0 cores=0-7
/proc/7630/task/7655/stat : 7655 (java) S 7607 7607 5615 0 -1 1077944384 137 0 0 0 0 0 0 0 20 0 24 0 510489440 8616062976 30341 33554432000 4194304 4196468 140736461443472 139976943591216 139980446258901 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16756736 140736461452280 140736461452438 140736461452438 140736461455311 0
Current children cumulated CPU time: 949.8 s
Current children cumulated vsize: 9421396 KiB
Current children cumulated memory: 827160 KiB

Child status: 0
Real time (s): 160.571
CPU time (s): 949.946
CPU user time (s): 947.89
CPU system time (s): 2.05565
CPU usage (%): 591.606
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 1060168

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 947.89
system time used= 2.05565
maximum resident set size= 1061684
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 841802
page faults= 0
swaps= 0
block input operations= 0
block output operations= 936
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 23365
involuntary context switches= 8056


# summary of solver processes directly reported to runsolver:
#   pid: 7607
#   total CPU time (s): 949.946
#   total CPU user time (s): 947.89
#   total CPU system time (s): 2.05565

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.46541 second user time and 2.25025 second system time

The end

Launcher Data 

Begin job on node148 at 2019-09-24 18:40:37
IDJOB=4405591
IDBENCH=134589
IDSOLVER=2868
FILE ID=node148/4405591-1569343274
RUNJOBID= node148-1569335941-5642
PBS_JOBID= 21705049
Free space on /tmp= 22084 MiB

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

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

MD5SUM BENCH= 72c85c51a44e0e8527757e040a083bca
RANDOM SEED=1201978005

node148.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.13
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.13
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.13
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.13
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:        25556524 kB
MemAvailable:   31855564 kB
Buffers:           52328 kB
Cached:          6518496 kB
SwapCached:         3352 kB
Active:          4353440 kB
Inactive:        2223960 kB
Active(anon):       4376 kB
Inactive(anon):    57876 kB
Active(file):    4349064 kB
Inactive(file):  2166084 kB
Unevictable:      110656 kB
Mlocked:          110656 kB
SwapTotal:      67108860 kB
SwapFree:       67002552 kB
Dirty:             20812 kB
Writeback:             0 kB
AnonPages:        114360 kB
Mapped:            55800 kB
Shmem:             47060 kB
Slab:             227952 kB
SReclaimable:     199456 kB
SUnreclaim:        28496 kB
KernelStack:        3424 kB
PageTables:         5900 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     514952 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     67584 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      124288 kB
DirectMap2M:    33421312 kB

Free space on /tmp at the end= 22064 MiB
End job on node148 at 2019-09-24 18:43:17