Trace number 4405578

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 1044.1 151.931

General information on the benchmark

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

Solver Data 

0.00/0.00	c (scop.sh) java -Xms22g -Xmx22g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Encode -hybrid -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-11854-serial-file.bin HOME/instance-4405578-1569343231.xml
0.66/0.54	
0.66/0.54	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
0.66/0.54	
0.66/0.57	c BEGIN-Prog: Tue Sep 24 18:39:50 CEST 2019
0.66/0.57	c PID: 11857
0.66/0.57	c IP: 172.20.3.140
0.66/0.57	c HOST: node140.alineos.net
0.66/0.57	c (0,0) Parsing Begin
2.03/1.13	c (0,0) Parsing End
2.03/1.13	c (0,0) CSP: 109 int (0 aux), 2 bool (0 aux), 1261 ctr, max domain size 28
2.03/1.13	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.03/1.13	c (0,0) Constraint Name Generate Begin
2.03/1.15	c (0,0) Ctr:HOME/instance-4405578-1569343231.xml,ExtensionConflict:ExtensionSupport:Var
2.03/1.15	c (0,0) Constraint Name Generate End
2.03/1.15	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.03/1.15	c (0,0) CSP to CSPinCNF Begin
3.13/1.64	c (1,1) translated 127 (10%) constraints
3.55/1.74	c (1,1) translated 253 (20%) constraints
3.95/1.82	c (1,1) translated 379 (30%) constraints
3.95/1.88	c (1,1) translated 505 (40%) constraints
4.37/1.94	c (1,1) translated 631 (50%) constraints
4.37/1.99	c (1,1) translated 757 (60%) constraints
5.19/2.13	c (1,1) translated 883 (70%) constraints
5.82/2.37	c (1,1) translated 1009 (80%) constraints
6.16/2.59	c (2,2) translated 1135 (90%) constraints
7.05/2.90	c (2,2) translated 1261 (100%) constraints
7.05/2.90	c (2,2) ===========================================
7.05/2.92	c (2,2) Hybrid: #OE=793, #LE=0
7.05/2.92	c (2,2) Hybrid
7.05/2.92	c (2,2) ===========================================
7.05/2.99	c (2,2) translated 1883 (10%) constraints
7.47/3.05	c (2,2) translated 3765 (20%) constraints
7.47/3.10	c (2,2) translated 5647 (30%) constraints
7.86/3.15	c (2,2) translated 7529 (40%) constraints
8.23/3.20	c (2,2) translated 9411 (50%) constraints
8.23/3.25	c (2,2) translated 11294 (60%) constraints
8.60/3.30	c (2,2) translated 13176 (70%) constraints
8.60/3.34	c (2,2) translated 15058 (80%) constraints
8.60/3.38	c (2,2) translated 16940 (90%) constraints
8.87/3.41	c (2,2) translated 18822 (100%) constraints
8.87/3.41	c (2,2) CSP to CSPinCNF End
8.87/3.42	c (2,2) CSP: 108 int (0 aux), 685 bool (682 aux), 18822 ctr, max domain size 28
8.87/3.42	c (2,2) Heap : 788 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
8.87/3.42	c (2,2) CSPinCNF Propagation Begin
9.85/3.76	c (3,3) 109 values, 8487 unsatisfiable literals, and 4834 valid clauses are removed
9.85/3.76	c (3,3) CSPinCNF Propagation End
9.85/3.76	c (3,3) CSP: 108 int (0 aux), 685 bool (682 aux), 13988 ctr, max domain size 26
9.85/3.76	c (3,3) Heap : 1013 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
9.85/3.77	c (3,3) Hybrid: #OE=793, #LE=0
9.85/3.77	c (3,3) Simplify CSPinCNF Begin
10.06/3.83	c (3,3) Simplify CSPinCNF End
10.06/3.83	c (3,3) CSP: 108 int (0 aux), 685 bool (682 aux), 13988 ctr, max domain size 26
10.06/3.83	c (3,3) Heap : 1013 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
10.06/3.83	c (3,3) Calculate Precise Domain Begin
10.06/3.83	c (3,3) 0 values are removed by re-calculation
10.06/3.83	c (3,3) Calculate Precise Domain End
10.06/3.83	c (3,3) CSP: 108 int (0 aux), 685 bool (682 aux), 13988 ctr, max domain size 26
10.06/3.83	c (3,3) Heap : 1013 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
10.06/3.83	c (3,3) CSPinCNF to SatSolver Begin
10.37/3.98	c (3,3) 1399 (10 %) CSP clauses are encoded (0 SAT variables, 3107 SAT clauses)
10.72/4.03	c (3,3) 2798 (20 %) CSP clauses are encoded (0 SAT variables, 4506 SAT clauses)
10.72/4.08	c (3,3) 4197 (30 %) CSP clauses are encoded (0 SAT variables, 5905 SAT clauses)
11.11/4.13	c (3,3) 5596 (40 %) CSP clauses are encoded (0 SAT variables, 7304 SAT clauses)
11.11/4.17	c (3,3) 6994 (50 %) CSP clauses are encoded (0 SAT variables, 8702 SAT clauses)
11.11/4.19	c (3,3) 8393 (60 %) CSP clauses are encoded (0 SAT variables, 10101 SAT clauses)
11.47/4.21	c (3,3) 9792 (70 %) CSP clauses are encoded (0 SAT variables, 11500 SAT clauses)
11.47/4.22	c (3,3) 11191 (80 %) CSP clauses are encoded (0 SAT variables, 12899 SAT clauses)
11.47/4.24	c (3,3) 12590 (90 %) CSP clauses are encoded (0 SAT variables, 14298 SAT clauses)
11.47/4.25	c (3,3) 13988 (100 %) CSP clauses are encoded (0 SAT variables, 15696 SAT clauses)
11.47/4.25	c (3,3) CSPinCNF to SatSolver End
11.47/4.25	c (3,3) Heap : 1126 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB)
11.47/4.25	c (3,3) 2482 bool, 15697 clause
11.47/4.25	c (3,3) Export Begin
11.68/4.54	c (4,3) Export to HOME/scop-11854-serial-file.bin
11.68/4.54	c (4,3) Export End
11.68/4.55	c (4,3) Export File Size: 0.02 MB
11.68/4.55	c (4,3) 0,0,2,3,3,3,3,STOP-AFTER(DIMACS)
11.68/4.55	c END-Prog: Tue Sep 24 18:39:54 CEST 2019
11.68/4.56	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-11854-serial-file.bin
12.37/5.02	c (0,0) Read Serial File Begin
12.37/5.02	c (0,0) HOME/scop-11854-serial-file.bin
12.65/5.25	c (0,0) Read Serial File End
12.65/5.26	
12.65/5.26	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
12.65/5.26	(Solving Process)
12.65/5.26	
12.65/5.28	c BEGIN-Prog: Tue Sep 24 18:39:55 CEST 2019
12.65/5.28	c PID: 11877
12.65/5.28	c IP: 172.20.3.140
12.65/5.28	c HOST: node140.alineos.net
12.65/5.28	c (0,0) SatSolver.solve Begin
12.65/5.28	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4405578-1569343231.xml-scop-11857.cnf
12.88/5.31	c (0,0) c
12.88/5.31	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.88/5.31	c (0,0) c
12.88/5.31	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
12.88/5.31	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
12.88/5.31	c (0,0) c ========================================[ Problem Statistics ]===========================================
12.88/5.31	c (0,0) c |                                                                                                       |
12.88/5.31	c (0,0) c |  Number of variables:          2480                                                                   |
12.88/5.31	c (0,0) c |  Number of clauses:           15697                                                                   |
12.88/5.31	c (0,0) c |  Parse time:                   0.01 s                                                                 |
12.88/5.31	c (0,0) c |                                                                                                       |
12.88/5.31	c (0,0) WARNING! DIMACS header mismatch: wrong number of variables.
12.88/5.32	c (0,0) c |  Simplification time:          0.01 s                                                                 |
12.88/5.32	c (0,0) c |                                                                                                       |
12.88/5.32	c (0,0) c |  Generating clones                                                                                    |
12.88/5.33	c (0,0) c |  all clones generated. Memory =    32.06Mb.                                                           |
12.88/5.33	c (0,0) c ========================================================================================================|
12.88/5.33	c (0,0) c
12.88/5.33	c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
12.88/5.33	c (0,0) c
12.88/5.33	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
12.88/5.33	c (0,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
12.88/5.33	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
12.88/5.33	c (0,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
12.88/5.33	c (0,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
12.88/5.33	c (0,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
12.88/5.33	c (0,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
12.88/5.33	c (0,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
12.88/5.33	c (0,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
12.88/5.33	c (0,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
12.88/5.33	c (0,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
12.88/5.33	c (0,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
12.88/5.33	c (0,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
12.88/5.33	c (0,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
12.88/5.33	c (0,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
12.88/5.33	c (0,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
12.88/5.33	c (0,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
12.88/5.33	c (0,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
12.88/5.33	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
232.71/34.99	c (30,0) c
232.71/34.99	c (30,0) c |------------------------------------------------------------------------------------------------------------------------|
232.71/35.00	c (30,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
232.71/35.00	c (30,0) c |------------------------------------------------------------------------------------------------------------------------|
232.71/35.00	c (30,0) c |  0 |    448 |     562301 |     309110 |     9360 |    41927 |    44616 |   290916 |    17767 |      306 |  20 |  0.847 |
232.71/35.00	c (30,0) c |  1 |    368 |     545235 |     286044 |     9440 |    54660 |    39901 |   302518 |    13116 |      307 |  20 |  0.847 |
232.71/35.00	c (30,0) c |  2 |    409 |     554522 |     294791 |     9427 |    63406 |    44858 |   292206 |    13880 |      301 |  20 |  0.847 |
232.71/35.00	c (30,0) c |  3 |    357 |     534295 |     285330 |     9480 |    53944 |    45108 |   286305 |    14559 |      298 |  20 |  0.848 |
232.71/35.00	c (30,0) c |  4 |    265 |     543075 |     288559 |     9183 |    57169 |    44843 |   296074 |     9885 |      307 |  20 |  0.847 |
232.71/35.00	c (30,0) c |  5 |    435 |     552582 |     294024 |     9572 |    62637 |    44931 |   285224 |    15536 |      300 |  20 |  0.847 |
232.71/35.00	c (30,0) c |  6 |    414 |     545240 |     292711 |     9390 |    61331 |    43943 |   294103 |    15237 |      307 |  20 |  0.847 |
232.71/35.00	c (30,0) c |  7 |    339 |     515102 |     275505 |     8366 |    44121 |    41717 |   278414 |    10018 |      287 |  20 |  0.847 |
232.71/35.00	c (30,0) c 
232.71/35.00	c (30,0) c synthesis     2326074 conflicts   176123786 propagations    10583 conflicts/sec   801298 propagations/sec
232.71/35.00	c (30,0) c real: 29.6871 s, cpu: 219.798 s, memory: 629.58 Mb
431.51/64.99	c (60,0) c
431.51/64.99	c (60,0) c |------------------------------------------------------------------------------------------------------------------------|
431.51/64.99	c (60,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
431.51/64.99	c (60,0) c |------------------------------------------------------------------------------------------------------------------------|
431.51/64.99	c (60,0) c |  0 |    557 |     857836 |     462744 |     9400 |    72564 |    58615 |   396848 |    27624 |      552 |  20 |  0.848 |
431.51/64.99	c (60,0) c |  1 |    565 |     847047 |     440457 |     9528 |    50275 |    52285 |   400577 |    27276 |      552 |  20 |  0.847 |
431.51/64.99	c (60,0) c |  2 |    519 |     834363 |     441763 |     9460 |    51574 |    58430 |   394352 |    21472 |      547 |  20 |  0.847 |
431.51/64.99	c (60,0) c |  3 |    529 |     844904 |     445518 |     9545 |    55335 |    60226 |   393111 |    26761 |      552 |  20 |  0.847 |
431.51/64.99	c (60,0) c |  4 |    312 |     817722 |     429040 |     9350 |    82455 |    57745 |   397435 |    19615 |      552 |  20 |  0.847 |
431.51/64.99	c (60,0) c |  5 |    498 |     839352 |     440799 |     9599 |    50617 |    60287 |   380312 |    23803 |      532 |  20 |  0.848 |
431.51/64.99	c (60,0) c |  6 |    519 |     838057 |     444181 |     9430 |    54004 |    59371 |   388830 |    24490 |      552 |  20 |  0.847 |
431.51/64.99	c (60,0) c |  7 |    449 |     815484 |     430185 |     9198 |    83600 |    56282 |   395179 |    20984 |      542 |  20 |  0.847 |
431.51/64.99	c (60,0) c 
431.51/64.99	c (60,0) c synthesis     3534688 conflicts   265670642 propagations     8452 conflicts/sec   635278 propagations/sec
431.51/64.99	c (60,0) c real: 59.6874 s, cpu: 418.196 s, memory: 725.40 Mb
632.27/93.99	c (89,0) c
632.27/93.99	c (89,0) c |------------------------------------------------------------------------------------------------------------------------|
632.27/93.99	c (89,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
632.27/93.99	c (89,0) c |------------------------------------------------------------------------------------------------------------------------|
632.27/93.99	c (89,0) c |  0 |    603 |    1098111 |     585240 |     9416 |   100051 |    73201 |   463261 |    34999 |      797 |  20 |  0.848 |
632.27/93.99	c (89,0) c |  1 |    745 |    1118784 |     574927 |     9548 |    89735 |    64708 |   488334 |    37611 |      800 |  20 |  0.847 |
632.27/93.99	c (89,0) c |  2 |    568 |    1076352 |     565334 |     9483 |    80146 |    68797 |   479053 |    30375 |      799 |  20 |  0.848 |
632.27/93.99	c (89,0) c |  3 |    632 |    1097606 |     577607 |     9559 |    92425 |    73289 |   479406 |    36461 |      800 |  20 |  0.847 |
632.27/93.99	c (89,0) c |  4 |    487 |    1086189 |     565581 |     9518 |    80399 |    67582 |   482538 |    31189 |      800 |  20 |  0.848 |
632.27/94.00	c (89,0) c |  5 |    611 |    1108083 |     576355 |     9614 |    91167 |    70540 |   469900 |    33026 |      780 |  20 |  0.848 |
632.27/94.00	c (89,0) c |  6 |    597 |    1098946 |     574958 |     9446 |    89768 |    71930 |   481188 |    33523 |      800 |  20 |  0.847 |
632.27/94.00	c (89,0) c |  7 |    586 |    1104365 |     575243 |     9346 |    90066 |    68224 |   482836 |    33932 |      799 |  20 |  0.847 |
632.27/94.00	c (89,0) c 
632.27/94.00	c (89,0) c synthesis     4595245 conflicts   344222312 propagations     7424 conflicts/sec   556089 propagations/sec
632.27/94.00	c (89,0) c real: 88.6874 s, cpu: 619.005 s, memory: 755.04 Mb
844.74/123.99	c (119,0) c
844.74/123.99	c (119,0) c |------------------------------------------------------------------------------------------------------------------------|
844.74/123.99	c (119,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
844.74/123.99	c (119,0) c |------------------------------------------------------------------------------------------------------------------------|
844.74/123.99	c (119,0) c |  0 |    680 |    1317634 |     694109 |     9427 |   103530 |    80335 |   548447 |    45766 |     1037 |  20 |  0.847 |
844.74/123.99	c (119,0) c |  1 |    802 |    1348922 |     690796 |     9562 |   100201 |    76099 |   559588 |    45435 |     1057 |  20 |  0.847 |
844.74/123.99	c (119,0) c |  2 |    634 |    1303687 |     680211 |     9492 |    89629 |    79946 |   556635 |    39317 |     1057 |  20 |  0.848 |
844.74/123.99	c (119,0) c |  3 |    690 |    1338996 |     697509 |     9570 |   106922 |    84953 |   544969 |    45033 |     1057 |  20 |  0.849 |
844.74/123.99	c (119,0) c |  4 |    572 |    1332226 |     688670 |     9539 |    98088 |    79333 |   556020 |    41440 |     1057 |  20 |  0.848 |
844.74/123.99	c (119,0) c |  5 |    736 |    1352859 |     698303 |     9621 |   107710 |    81216 |   554199 |    41612 |     1051 |  20 |  0.847 |
844.74/123.99	c (119,0) c |  6 |    653 |    1327848 |     690521 |     9459 |    99931 |    83220 |   555519 |    42854 |     1057 |  20 |  0.847 |
844.74/123.99	c (119,0) c |  7 |    692 |    1334076 |     692878 |     9379 |   102296 |    79328 |   558426 |    42906 |     1053 |  20 |  0.848 |
844.74/123.99	c (119,0) c 
844.74/123.99	c (119,0) c synthesis     5532998 conflicts   415130648 propagations     6655 conflicts/sec   499297 propagations/sec
844.74/123.99	c (119,0) c real: 118.687 s, cpu: 831.429 s, memory: 814.31 Mb
1043.89/151.88	c (146,0) c
1043.89/151.88	c (146,0) c real time : 146.576 s
1043.89/151.88	c (146,0) c cpu time  : 1029.6 s
1043.89/151.88	c (146,0) c
1043.89/151.88	c (146,0) c
1043.89/151.88	c (146,0) c
1043.89/151.88	c (146,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
1043.89/151.88	c (146,0) c
1043.89/151.88	c (146,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1043.89/151.88	c (146,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
1043.89/151.88	c (146,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1043.89/151.88	c (146,0) c | Conflicts     |         6270451 |     793323 |     780548 |     772123 |     789751 |     781295 |     791919 |     778613 |     782879 |
1043.89/151.88	c (146,0) c | Decisions     |        12139097 |    1518319 |    1525279 |    1490593 |    1526434 |    1521236 |    1540186 |    1504969 |    1512081 |
1043.89/151.88	c (146,0) c | Propagations  |       472881505 |   59020416 |   59442901 |   58168505 |   59442988 |   59272916 |   59579731 |   58679129 |   59274919 |
1043.89/151.88	c (146,0) c | ReduceDBs     |             192 |         24 |         24 |         24 |         24 |         24 |         24 |         24 |         24 |
1043.89/151.88	c (146,0) c | SimpDBs       |              88 |         11 |         10 |         12 |         11 |         11 |         11 |         12 |         10 |
1043.89/151.88	c (146,0) c | Restarts      |            5807 |        719 |        849 |        669 |        759 |        589 |        795 |        693 |        734 |
1043.89/151.88	c (146,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1043.89/151.88	c (146,0) c | PropBinClauses|       993384092 |  123089992 |  125176376 |  123326566 |  123962690 |  125293498 |  123537670 |  123046105 |  125951195 |
1043.89/151.88	c (146,0) c | PropPreBlocker|     34500229138 | 4297540209 | 4333335545 | 4280760651 | 4357370357 | 4274236927 | 4325807309 | 4289300004 | 4341878136 |
1043.89/151.88	c (146,0) c | PropNotBlocker|      5830879232 |  734384960 |  736573293 |  741380294 |  707390226 |  734496135 |  720548672 |  733736663 |  722368989 |
1043.89/151.88	c (146,0) c | LitFullScans  |     61603312351 | 7705227512 | 7709070747 | 7711472169 | 7687363268 | 7723684686 | 7687673540 | 7691171681 | 7687648748 |
1043.89/151.88	c (146,0) c | LitScanFracts |        12115549 |    1222018 |    1595759 |    1461051 |    1354236 |    1666451 |    1656277 |    1519474 |    1640283 |
1043.89/151.88	c (146,0) c | DecisionLevel0|            5922 |        731 |        861 |        683 |        770 |        604 |        812 |        713 |        748 |
1043.89/151.88	c (146,0) c | Periods       |           10264 |       1284 |       1284 |       1285 |       1281 |       1287 |       1281 |       1281 |       1281 |
1043.89/151.88	c (146,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
1043.89/151.88	c (146,0) c | Avg_Trail     |                 |        634 |        638 |        629 |        636 |        629 |        634 |        632 |        634 |
1043.89/151.88	c (146,0) c | Avg_DL        |                 |         23 |         21 |         21 |         22 |         21 |         21 |         21 |         21 |
1043.89/151.88	c (146,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1043.89/151.88	c (146,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1043.89/151.88	c (146,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1043.89/151.88	c (146,0) c | Exported      |          710219 |      90682 |      83072 |      88188 |      91950 |      88199 |      88166 |      90571 |      89391 |
1043.89/151.88	c (146,0) c | Imported      |         4901667 |     610926 |     620123 |     613722 |     609674 |     615891 |     612495 |     611569 |     607267 |
1043.89/151.88	c (146,0) c | Good          |           14335 |       1762 |       1770 |       1803 |       1838 |       1792 |       1769 |       1773 |       1828 |
1043.89/151.88	c (146,0) c | Purge         |         4887332 |     609164 |     618353 |     611919 |     607836 |     614099 |     610726 |     609796 |     605439 |
1043.89/151.88	c (146,0) c | Promoted      |          404755 |      53581 |      52913 |      47706 |      52058 |      49118 |      49124 |      50378 |      49877 |
1043.89/151.88	c (146,0) c | Remove_Imp    |         3852075 |     475788 |     490931 |     491982 |     478532 |     479297 |     474752 |     480477 |     480316 |
1043.89/151.88	c (146,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1043.89/151.88	c (146,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1043.89/151.88	c (146,0) c | Unaries       |                 |         12 |         12 |         14 |         11 |         15 |         17 |         20 |         14 |
1043.89/151.88	c (146,0) c | Binaries      |                 |        298 |        297 |        255 |        215 |        293 |        288 |        300 |        209 |
1043.89/151.88	c (146,0) c | Glues         |                 |       1001 |       1141 |       1018 |        938 |       1053 |       1107 |       1024 |        861 |
1043.89/151.88	c (146,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1043.89/151.88	c (146,0) c | Orig_Seen     |            87 % |       9447 |       9573 |       9508 |       9579 |       9546 |       9625 |       9474 |       9399 |
1043.89/151.88	c (146,0) c | Diff Orig seen|                 | -       27 |         99 |         34 |        105 |         72 |        151 |      X     | -       75 |
1043.89/151.88	c (146,0) c | Hamming       |            12 % |        317 |        321 |        256 |        298 |        352 |        274 |      X     |        287 |
1043.89/151.88	c (146,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1043.89/151.88	c (146,0) c | RunningTime   |                 |  138.1  95%|  111.4  77%|  131.0  90%|  125.5  86%|  112.2  77%|  143.2  98%|  126.0  87%|  143.6  98%|
1043.89/151.88	c (146,0) c | WaitingTime   |                 |    7.0   5%|   33.4  23%|   13.9  10%|   20.0  14%|   32.6  22%|    3.0   2%|   19.1  13%|    2.4   2%|
1043.89/151.88	c (146,0) c | ExchangingTime|                 |    0.3   0%|    0.4   0%|    0.3   0%|    0.3   0%|    0.4   0%|    0.3   0%|    0.3   0%|    0.3   0%|
1043.89/151.88	c (146,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%|
1043.89/151.88	c (146,0) c | SolvingTime   |                 |  145.5     |  145.1     |  145.2     |  145.8     |  145.2     |  146.5     |  145.5     |  146.4     |
1043.89/151.88	c (146,0) c | PropagationTim|                 |  102.2  70%|  131.0  90%|  108.4  75%|  107.9  74%|  128.8  89%|   95.2  65%|  108.1  74%|   90.1  62%|
1043.89/151.88	c (146,0) c | AnalysisTime  |                 |   39.8  27%|   10.5   7%|   33.2  23%|   34.6  24%|   12.8   9%|   47.8  33%|   33.9  23%|   53.0  36%|
1043.89/151.88	c (146,0) c | ReductionTime |                 |    1.4   1%|    1.4   1%|    1.3   1%|    1.2   1%|    1.4   1%|    1.3   1%|    1.4   1%|    1.3   1%|
1043.89/151.89	c (146,0) c | SimplifyTime  |                 |    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|    0.0   0%|
1043.89/151.89	c (146,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%|
1043.89/151.89	c (146,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%|
1043.89/151.89	c (146,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1043.89/151.89	c (146,0) c
1043.89/151.89	c (146,0) c
1043.89/151.89	c (146,0) c Threads : 8
1043.89/151.89	c (146,0) c Winner : 6
1043.89/151.89	c (146,0) c Conflicts_0 : 793323
1043.89/151.89	c (146,0) c Conflicts_1 : 780548
1043.89/151.89	c (146,0) c Conflicts_2 : 772123
1043.89/151.89	c (146,0) c Conflicts_3 : 789751
1043.89/151.89	c (146,0) c Conflicts_4 : 781295
1043.89/151.89	c (146,0) c Conflicts_5 : 791919
1043.89/151.89	c (146,0) c Conflicts_6 : 778613
1043.89/151.89	c (146,0) c Conflicts_7 : 782879
1043.89/151.89	c (146,0) c Conflicts_total : 6270451
1043.89/151.89	c (146,0) c Conflicts_winner : 778613
1043.89/151.89	c (146,0) c Decisions_0 : 1518319
1043.89/151.89	c (146,0) c Decisions_1 : 1525279
1043.89/151.89	c (146,0) c Decisions_2 : 1490593
1043.89/151.89	c (146,0) c Decisions_3 : 1526434
1043.89/151.89	c (146,0) c Decisions_4 : 1521236
1043.89/151.89	c (146,0) c Decisions_5 : 1540186
1043.89/151.89	c (146,0) c Decisions_6 : 1504969
1043.89/151.89	c (146,0) c Decisions_7 : 1512081
1043.89/151.89	c (146,0) c Decisions_total : 12139097
1043.89/151.89	c (146,0) c Decisions_winner : 1504969
1043.89/151.89	c (146,0) c Propagations_0 : 59020416
1043.89/151.89	c (146,0) c Propagations_1 : 59442901
1043.89/151.89	c (146,0) c Propagations_2 : 58168505
1043.89/151.89	c (146,0) c Propagations_3 : 59442988
1043.89/151.89	c (146,0) c Propagations_4 : 59272916
1043.89/151.89	c (146,0) c Propagations_5 : 59579731
1043.89/151.89	c (146,0) c Propagations_6 : 58679129
1043.89/151.89	c (146,0) c Propagations_7 : 59274919
1043.89/151.89	c (146,0) c Propagations_total : 472881505
1043.89/151.89	c (146,0) c Propagations_winner : 58679129
1043.89/151.89	c (146,0) c ReduceDBs_0 : 24
1043.89/151.89	c (146,0) c ReduceDBs_1 : 24
1043.89/151.89	c (146,0) c ReduceDBs_2 : 24
1043.89/151.89	c (146,0) c ReduceDBs_3 : 24
1043.89/151.89	c (146,0) c ReduceDBs_4 : 24
1043.89/151.89	c (146,0) c ReduceDBs_5 : 24
1043.89/151.89	c (146,0) c ReduceDBs_6 : 24
1043.89/151.89	c (146,0) c ReduceDBs_7 : 24
1043.89/151.89	c (146,0) c ReduceDBs_total : 192
1043.89/151.89	c (146,0) c ReduceDBs_winner : 24
1043.89/151.89	c (146,0) c SimpDBs_0 : 11
1043.89/151.89	c (146,0) c SimpDBs_1 : 10
1043.89/151.89	c (146,0) c SimpDBs_2 : 12
1043.89/151.89	c (146,0) c SimpDBs_3 : 11
1043.89/151.89	c (146,0) c SimpDBs_4 : 11
1043.89/151.89	c (146,0) c SimpDBs_5 : 11
1043.89/151.89	c (146,0) c SimpDBs_6 : 12
1043.89/151.89	c (146,0) c SimpDBs_7 : 10
1043.89/151.89	c (146,0) c SimpDBs_total : 88
1043.89/151.89	c (146,0) c SimpDBs_winner : 12
1043.89/151.89	c (146,0) c Restarts_0 : 719
1043.89/151.89	c (146,0) c Restarts_1 : 849
1043.89/151.89	c (146,0) c Restarts_2 : 669
1043.89/151.89	c (146,0) c Restarts_3 : 759
1043.89/151.89	c (146,0) c Restarts_4 : 589
1043.89/151.89	c (146,0) c Restarts_5 : 795
1043.89/151.89	c (146,0) c Restarts_6 : 693
1043.89/151.89	c (146,0) c Restarts_7 : 734
1043.89/151.89	c (146,0) c Restarts_total : 5807
1043.89/151.89	c (146,0) c Restarts_winner : 693
1043.89/151.89	c (146,0) c ForcedImports_0 : 0
1043.89/151.89	c (146,0) c ForcedImports_1 : 0
1043.89/151.89	c (146,0) c ForcedImports_2 : 0
1043.89/151.89	c (146,0) c ForcedImports_3 : 0
1043.89/151.89	c (146,0) c ForcedImports_4 : 0
1043.89/151.89	c (146,0) c ForcedImports_5 : 0
1043.89/151.89	c (146,0) c ForcedImports_6 : 0
1043.89/151.89	c (146,0) c ForcedImports_7 : 0
1043.89/151.89	c (146,0) c ForcedImports_total : 0
1043.89/151.89	c (146,0) c ForcedImports_winner : 0
1043.89/151.89	c (146,0) c PropsBinClauses_0 : 123089992
1043.89/151.89	c (146,0) c PropsBinClauses_1 : 125176376
1043.89/151.89	c (146,0) c PropsBinClauses_2 : 123326566
1043.89/151.89	c (146,0) c PropsBinClauses_3 : 123962690
1043.89/151.89	c (146,0) c PropsBinClauses_4 : 125293498
1043.89/151.89	c (146,0) c PropsBinClauses_5 : 123537670
1043.89/151.89	c (146,0) c PropsBinClauses_6 : 123046105
1043.89/151.89	c (146,0) c PropsBinClauses_7 : 125951195
1043.89/151.89	c (146,0) c PropsBinClauses_total : 993384092
1043.89/151.89	c (146,0) c PropsBinClauses_winner : 123046105
1043.89/151.89	c (146,0) c PropsPreBlocker_0 : 4297540209
1043.89/151.89	c (146,0) c PropsPreBlocker_1 : 4333335545
1043.89/151.89	c (146,0) c PropsPreBlocker_2 : 4280760651
1043.89/151.89	c (146,0) c PropsPreBlocker_3 : 4357370357
1043.89/151.89	c (146,0) c PropsPreBlocker_4 : 4274236927
1043.89/151.89	c (146,0) c PropsPreBlocker_5 : 4325807309
1043.89/151.89	c (146,0) c PropsPreBlocker_6 : 4289300004
1043.89/151.89	c (146,0) c PropsPreBlocker_7 : 4341878136
1043.89/151.89	c (146,0) c PropsPreBlocker_total : 34500229138
1043.89/151.89	c (146,0) c PropsPreBlocker_winner : 4289300004
1043.89/151.89	c (146,0) c PropsNotBlocker_0 : 734384960
1043.89/151.89	c (146,0) c PropsNotBlocker_1 : 736573293
1043.89/151.89	c (146,0) c PropsNotBlocker_2 : 741380294
1043.89/151.89	c (146,0) c PropsNotBlocker_3 : 707390226
1043.89/151.89	c (146,0) c PropsNotBlocker_4 : 734496135
1043.89/151.89	c (146,0) c PropsNotBlocker_5 : 720548672
1043.89/151.89	c (146,0) c PropsNotBlocker_6 : 733736663
1043.89/151.89	c (146,0) c PropsNotBlocker_7 : 722368989
1043.89/151.89	c (146,0) c PropsNotBlocker_total : 5830879232
1043.89/151.89	c (146,0) c PropsNotBlocker_winner : 733736663
1043.89/151.89	c (146,0) c PropsLitFullScans_0 : 7705227512
1043.89/151.89	c (146,0) c PropsLitFullScans_1 : 7709070747
1043.89/151.89	c (146,0) c PropsLitFullScans_2 : 7711472169
1043.89/151.89	c (146,0) c PropsLitFullScans_3 : 7687363268
1043.89/151.89	c (146,0) c PropsLitFullScans_4 : 7723684686
1043.89/151.89	c (146,0) c PropsLitFullScans_5 : 7687673540
1043.89/151.89	c (146,0) c PropsLitFullScans_6 : 7691171681
1043.89/151.89	c (146,0) c PropsLitFullScans_7 : 7687648748
1043.89/151.89	c (146,0) c PropsLitFullScans_total : 61603312351
1043.89/151.89	c (146,0) c PropsLitFullScans_winner : 7691171681
1043.89/151.89	c (146,0) c LitScanFractions_0 : 1222018
1043.89/151.89	c (146,0) c LitScanFractions_1 : 1595759
1043.89/151.89	c (146,0) c LitScanFractions_2 : 1461051
1043.89/151.89	c (146,0) c LitScanFractions_3 : 1354236
1043.89/151.89	c (146,0) c LitScanFractions_4 : 1666451
1043.89/151.89	c (146,0) c LitScanFractions_5 : 1656277
1043.89/151.89	c (146,0) c LitScanFractions_6 : 1519474
1043.89/151.89	c (146,0) c LitScanFractions_7 : 1640283
1043.89/151.89	c (146,0) c LitScanFractions_total : 12115549
1043.89/151.89	c (146,0) c LitScanFractions_winner : 1519474
1043.89/151.89	c (146,0) c DecisionLevel0_0 : 731
1043.89/151.89	c (146,0) c DecisionLevel0_1 : 861
1043.89/151.89	c (146,0) c DecisionLevel0_2 : 683
1043.89/151.89	c (146,0) c DecisionLevel0_3 : 770
1043.89/151.89	c (146,0) c DecisionLevel0_4 : 604
1043.89/151.89	c (146,0) c DecisionLevel0_5 : 812
1043.89/151.89	c (146,0) c DecisionLevel0_6 : 713
1043.89/151.89	c (146,0) c DecisionLevel0_7 : 748
1043.89/151.89	c (146,0) c DecisionLevel0_total : 5922
1043.89/151.89	c (146,0) c DecisionLevel0_winner : 713
1043.89/151.89	c (146,0) c Periods_0 : 1284
1043.89/151.89	c (146,0) c Periods_1 : 1284
1043.89/151.89	c (146,0) c Periods_2 : 1285
1043.89/151.89	c (146,0) c Periods_3 : 1281
1043.89/151.89	c (146,0) c Periods_4 : 1287
1043.89/151.89	c (146,0) c Periods_5 : 1281
1043.89/151.89	c (146,0) c Periods_6 : 1281
1043.89/151.89	c (146,0) c Periods_7 : 1281
1043.89/151.89	c (146,0) c Periods_total : 10264
1043.89/151.89	c (146,0) c Periods_winner : 1281
1043.89/151.89	c (146,0) c Margin_0 : 20
1043.89/151.89	c (146,0) c Margin_1 : 20
1043.89/151.89	c (146,0) c Margin_2 : 20
1043.89/151.89	c (146,0) c Margin_3 : 20
1043.89/151.89	c (146,0) c Margin_4 : 20
1043.89/151.89	c (146,0) c Margin_5 : 20
1043.89/151.89	c (146,0) c Margin_6 : 20
1043.89/151.89	c (146,0) c Margin_7 : 20
1043.89/151.89	c (146,0) c Margin_total : 160
1043.89/151.89	c (146,0) c Margin_winner : 20
1043.89/151.89	c (146,0) c Exported_0 : 90682
1043.89/151.89	c (146,0) c Exported_1 : 83072
1043.89/151.89	c (146,0) c Exported_2 : 88188
1043.89/151.89	c (146,0) c Exported_3 : 91950
1043.89/151.89	c (146,0) c Exported_4 : 88199
1043.89/151.89	c (146,0) c Exported_5 : 88166
1043.89/151.89	c (146,0) c Exported_6 : 90571
1043.89/151.89	c (146,0) c Exported_7 : 89391
1043.89/151.89	c (146,0) c Exported_total : 710219
1043.89/151.89	c (146,0) c Exported_winner : 90571
1043.89/151.89	c (146,0) c Imported_0 : 610926
1043.89/151.89	c (146,0) c Imported_1 : 620123
1043.89/151.89	c (146,0) c Imported_2 : 613722
1043.89/151.89	c (146,0) c Imported_3 : 609674
1043.89/151.89	c (146,0) c Imported_4 : 615891
1043.89/151.89	c (146,0) c Imported_5 : 612495
1043.89/151.89	c (146,0) c Imported_6 : 611569
1043.89/151.89	c (146,0) c Imported_7 : 607267
1043.89/151.89	c (146,0) c Imported_total : 4901667
1043.89/151.89	c (146,0) c Imported_winner : 611569
1043.89/151.89	c (146,0) c Good_0 : 1762
1043.89/151.89	c (146,0) c Good_1 : 1770
1043.89/151.89	c (146,0) c Good_2 : 1803
1043.89/151.89	c (146,0) c Good_3 : 1838
1043.89/151.89	c (146,0) c Good_4 : 1792
1043.89/151.89	c (146,0) c Good_5 : 1769
1043.89/151.89	c (146,0) c Good_6 : 1773
1043.89/151.89	c (146,0) c Good_7 : 1828
1043.89/151.89	c (146,0) c Good_total : 14335
1043.89/151.89	c (146,0) c Good_winner : 1773
1043.89/151.89	c (146,0) c Purge_0 : 609164
1043.89/151.89	c (146,0) c Purge_1 : 618353
1043.89/151.89	c (146,0) c Purge_2 : 611919
1043.89/151.89	c (146,0) c Purge_3 : 607836
1043.89/151.89	c (146,0) c Purge_4 : 614099
1043.89/151.89	c (146,0) c Purge_5 : 610726
1043.89/151.89	c (146,0) c Purge_6 : 609796
1043.89/151.89	c (146,0) c Purge_7 : 605439
1043.89/151.89	c (146,0) c Purge_total : 4887332
1043.89/151.89	c (146,0) c Purge_winner : 609796
1043.89/151.89	c (146,0) c Promoted_0 : 53581
1043.89/151.89	c (146,0) c Promoted_1 : 52913
1043.89/151.89	c (146,0) c Promoted_2 : 47706
1043.89/151.89	c (146,0) c Promoted_3 : 52058
1043.89/151.89	c (146,0) c Promoted_4 : 49118
1043.89/151.89	c (146,0) c Promoted_5 : 49124
1043.89/151.89	c (146,0) c Promoted_6 : 50378
1043.89/151.89	c (146,0) c Promoted_7 : 49877
1043.89/151.89	c (146,0) c Promoted_total : 404755
1043.89/151.89	c (146,0) c Promoted_winner : 50378
1043.89/151.89	c (146,0) c Remove_Imp_0 : 475788
1043.89/151.89	c (146,0) c Remove_Imp_1 : 490931
1043.89/151.89	c (146,0) c Remove_Imp_2 : 491982
1043.89/151.89	c (146,0) c Remove_Imp_3 : 478532
1043.89/151.89	c (146,0) c Remove_Imp_4 : 479297
1043.89/151.89	c (146,0) c Remove_Imp_5 : 474752
1043.89/151.89	c (146,0) c Remove_Imp_6 : 480477
1043.89/151.89	c (146,0) c Remove_Imp_7 : 480316
1043.89/151.89	c (146,0) c Remove_Imp_total : 3852075
1043.89/151.89	c (146,0) c Remove_Imp_winner : 480477
1043.89/151.89	c (146,0) c Blocked_Reuse_0 : 0
1043.89/151.89	c (146,0) c Blocked_Reuse_1 : 0
1043.89/151.89	c (146,0) c Blocked_Reuse_2 : 0
1043.89/151.89	c (146,0) c Blocked_Reuse_3 : 0
1043.89/151.89	c (146,0) c Blocked_Reuse_4 : 0
1043.89/151.89	c (146,0) c Blocked_Reuse_5 : 0
1043.89/151.89	c (146,0) c Blocked_Reuse_6 : 0
1043.89/151.89	c (146,0) c Blocked_Reuse_7 : 0
1043.89/151.89	c (146,0) c Blocked_Reuse_total : 0
1043.89/151.89	c (146,0) c Blocked_Reuse_winner : 0
1043.89/151.89	c (146,0) c Unaries_0 : 12
1043.89/151.89	c (146,0) c Unaries_1 : 12
1043.89/151.89	c (146,0) c Unaries_2 : 14
1043.89/151.89	c (146,0) c Unaries_3 : 11
1043.89/151.89	c (146,0) c Unaries_4 : 15
1043.89/151.89	c (146,0) c Unaries_5 : 17
1043.89/151.89	c (146,0) c Unaries_6 : 20
1043.89/151.89	c (146,0) c Unaries_7 : 14
1043.89/151.89	c (146,0) c Unaries_total : 115
1043.89/151.89	c (146,0) c Unaries_winner : 20
1043.89/151.89	c (146,0) c Binaries_0 : 298
1043.89/151.89	c (146,0) c Binaries_1 : 297
1043.89/151.89	c (146,0) c Binaries_2 : 255
1043.89/151.89	c (146,0) c Binaries_3 : 215
1043.89/151.89	c (146,0) c Binaries_4 : 293
1043.89/151.89	c (146,0) c Binaries_5 : 288
1043.89/151.89	c (146,0) c Binaries_6 : 300
1043.89/151.89	c (146,0) c Binaries_7 : 209
1043.89/151.89	c (146,0) c Binaries_total : 2155
1043.89/151.89	c (146,0) c Binaries_winner : 300
1043.89/151.89	c (146,0) c Glues_0 : 1001
1043.89/151.89	c (146,0) c Glues_1 : 1141
1043.89/151.89	c (146,0) c Glues_2 : 1018
1043.89/151.89	c (146,0) c Glues_3 : 938
1043.89/151.89	c (146,0) c Glues_4 : 1053
1043.89/151.89	c (146,0) c Glues_5 : 1107
1043.89/151.89	c (146,0) c Glues_6 : 1024
1043.89/151.89	c (146,0) c Glues_7 : 861
1043.89/151.89	c (146,0) c Glues_total : 8143
1043.89/151.89	c (146,0) c Glues_winner : 1024
1043.89/151.89	c (146,0) c RunningTime_0 : 138.080472
1043.89/151.89	c (146,0) c RunningTime_1 : 111.397388
1043.89/151.89	c (146,0) c RunningTime_2 : 130.958688
1043.89/151.89	c (146,0) c RunningTime_3 : 125.470809
1043.89/151.89	c (146,0) c RunningTime_4 : 112.240541
1043.89/151.89	c (146,0) c RunningTime_5 : 143.151218
1043.89/151.89	c (146,0) c RunningTime_6 : 125.999444
1043.89/151.89	c (146,0) c RunningTime_7 : 143.621723
1043.89/151.89	c (146,0) c RunningTime_total : 1030.920284
1043.89/151.89	c (146,0) c RunningTime_winner : 125.999444
1043.89/151.89	c (146,0) c WaitingTime_0 : 7.043538
1043.89/151.89	c (146,0) c WaitingTime_1 : 33.369288
1043.89/151.89	c (146,0) c WaitingTime_2 : 13.918251
1043.89/151.89	c (146,0) c WaitingTime_3 : 20.006131
1043.89/151.89	c (146,0) c WaitingTime_4 : 32.582332
1043.89/151.89	c (146,0) c WaitingTime_5 : 2.981556
1043.89/151.89	c (146,0) c WaitingTime_6 : 19.140486
1043.89/151.89	c (146,0) c WaitingTime_7 : 2.404728
1043.89/151.89	c (146,0) c WaitingTime_total : 131.446311
1043.89/151.89	c (146,0) c WaitingTime_winner : 19.140486
1043.89/151.89	c (146,0) c ExchangingTime_0 : 0.324307
1043.89/151.89	c (146,0) c ExchangingTime_1 : 0.352979
1043.89/151.89	c (146,0) c ExchangingTime_2 : 0.337270
1043.89/151.89	c (146,0) c ExchangingTime_3 : 0.330687
1043.89/151.89	c (146,0) c ExchangingTime_4 : 0.375270
1043.89/151.89	c (146,0) c ExchangingTime_5 : 0.331585
1043.89/151.89	c (146,0) c ExchangingTime_6 : 0.335503
1043.89/151.89	c (146,0) c ExchangingTime_7 : 0.331205
1043.89/151.89	c (146,0) c ExchangingTime_total : 2.718807
1043.89/151.89	c (146,0) c ExchangingTime_winner : 0.335503
1043.89/151.89	c (146,0) c PeriodProcTime_0 : 0.014282
1043.89/151.89	c (146,0) c PeriodProcTime_1 : 0.012983
1043.89/151.89	c (146,0) c PeriodProcTime_2 : 0.011344
1043.89/151.89	c (146,0) c PeriodProcTime_3 : 0.013245
1043.89/151.89	c (146,0) c PeriodProcTime_4 : 0.011883
1043.89/151.89	c (146,0) c PeriodProcTime_5 : 0.013348
1043.89/151.89	c (146,0) c PeriodProcTime_6 : 0.012333
1043.89/151.89	c (146,0) c PeriodProcTime_7 : 0.013251
1043.89/151.89	c (146,0) c PeriodProcTime_total : 0.102670
1043.89/151.89	c (146,0) c PeriodProcTime_winner : 0.012333
1043.89/151.89	c (146,0) c SolvingTime_0 : 145.462600
1043.89/151.89	c (146,0) c SolvingTime_1 : 145.132638
1043.89/151.89	c (146,0) c SolvingTime_2 : 145.225554
1043.89/151.89	c (146,0) c SolvingTime_3 : 145.820871
1043.89/151.89	c (146,0) c SolvingTime_4 : 145.210026
1043.89/151.89	c (146,0) c SolvingTime_5 : 146.477709
1043.89/151.89	c (146,0) c SolvingTime_6 : 145.487766
1043.89/151.89	c (146,0) c SolvingTime_7 : 146.370908
1043.89/151.89	c (146,0) c SolvingTime_total : 1165.188072
1043.89/151.89	c (146,0) c SolvingTime_winner : 145.487766
1043.89/151.89	c (146,0) c PropagationTime_0 : 102.204020
1043.89/151.89	c (146,0) c PropagationTime_1 : 130.957950
1043.89/151.89	c (146,0) c PropagationTime_2 : 108.391559
1043.89/151.89	c (146,0) c PropagationTime_3 : 107.914317
1043.89/151.89	c (146,0) c PropagationTime_4 : 128.825372
1043.89/151.89	c (146,0) c PropagationTime_5 : 95.195747
1043.89/151.89	c (146,0) c PropagationTime_6 : 108.107021
1043.89/151.89	c (146,0) c PropagationTime_7 : 90.067681
1043.89/151.89	c (146,0) c PropagationTime_total : 871.663667
1043.89/151.90	c (146,0) c PropagationTime_winner : 108.107021
1043.89/151.90	c (146,0) c AnalysisTime_0 : 39.759593
1043.89/151.90	c (146,0) c AnalysisTime_1 : 10.514884
1043.89/151.90	c (146,0) c AnalysisTime_2 : 33.223551
1043.89/151.90	c (146,0) c AnalysisTime_3 : 34.563941
1043.89/151.90	c (146,0) c AnalysisTime_4 : 12.790195
1043.89/151.90	c (146,0) c AnalysisTime_5 : 47.847029
1043.89/151.90	c (146,0) c AnalysisTime_6 : 33.884653
1043.89/151.90	c (146,0) c AnalysisTime_7 : 52.972243
1043.89/151.90	c (146,0) c AnalysisTime_total : 265.556090
1043.89/151.90	c (146,0) c AnalysisTime_winner : 33.884653
1043.89/151.90	c (146,0) c ReductionTime_0 : 1.369196
1043.89/151.90	c (146,0) c ReductionTime_1 : 1.379247
1043.89/151.90	c (146,0) c ReductionTime_2 : 1.309222
1043.89/151.90	c (146,0) c ReductionTime_3 : 1.209651
1043.89/151.90	c (146,0) c ReductionTime_4 : 1.411613
1043.89/151.90	c (146,0) c ReductionTime_5 : 1.294627
1043.89/151.90	c (146,0) c ReductionTime_6 : 1.370970
1043.89/151.90	c (146,0) c ReductionTime_7 : 1.256848
1043.89/151.90	c (146,0) c ReductionTime_total : 10.601375
1043.89/151.90	c (146,0) c ReductionTime_winner : 1.370970
1043.89/151.90	c (146,0) c SimplifyTime_0 : 0.063793
1043.89/151.90	c (146,0) c SimplifyTime_1 : 0.068093
1043.89/151.90	c (146,0) c SimplifyTime_2 : 0.148816
1043.89/151.90	c (146,0) c SimplifyTime_3 : 0.059086
1043.89/151.90	c (146,0) c SimplifyTime_4 : 0.051397
1043.89/151.90	c (146,0) c SimplifyTime_5 : 0.052469
1043.89/151.90	c (146,0) c SimplifyTime_6 : 0.072607
1043.89/151.90	c (146,0) c SimplifyTime_7 : 0.044182
1043.89/151.90	c (146,0) c SimplifyTime_total : 0.560442
1043.89/151.90	c (146,0) c SimplifyTime_winner : 0.072607
1043.89/151.90	c (146,0) c UsedRateTime_0 : 0.000000
1043.89/151.90	c (146,0) c UsedRateTime_1 : 0.000000
1043.89/151.90	c (146,0) c UsedRateTime_2 : 0.000000
1043.89/151.90	c (146,0) c UsedRateTime_3 : 0.000000
1043.89/151.90	c (146,0) c UsedRateTime_4 : 0.000000
1043.89/151.90	c (146,0) c UsedRateTime_5 : 0.000000
1043.89/151.90	c (146,0) c UsedRateTime_6 : 0.000000
1043.89/151.90	c (146,0) c UsedRateTime_7 : 0.000000
1043.89/151.90	c (146,0) c UsedRateTime_total : 0.000000
1043.89/151.90	c (146,0) c UsedRateTime_winner : 0.000000
1043.89/151.90	c (146,0) c OverlapRateTime_0 : 0.000000
1043.89/151.90	c (146,0) c OverlapRateTime_1 : 0.000000
1043.89/151.90	c (146,0) c OverlapRateTime_2 : 0.000000
1043.89/151.90	c (146,0) c OverlapRateTime_3 : 0.000000
1043.89/151.90	c (146,0) c OverlapRateTime_4 : 0.000000
1043.89/151.90	c (146,0) c OverlapRateTime_5 : 0.000000
1043.89/151.90	c (146,0) c OverlapRateTime_6 : 0.000000
1043.89/151.90	c (146,0) c OverlapRateTime_7 : 0.000000
1043.89/151.90	c (146,0) c OverlapRateTime_total : 0.000000
1043.89/151.90	c (146,0) c OverlapRateTime_winner : 0.000000
1043.89/151.90	c (146,0) c
1043.89/151.90	c (146,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
1043.89/151.90	c (146,0) c
1043.89/151.90	c (146,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
1043.89/151.90	c (146,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
1043.89/151.90	c (146,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
1043.89/151.90	c (146,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
1043.89/151.90	c (146,0) c | adaptStrategeis       |      False |      False |      False |      False |      False |      False |      False |      False |
1043.89/151.90	c (146,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
1043.89/151.90	c (146,0) c | Initial random_seed   |  956294431 | 1808612318 |  769111915 | 1626685892 |  450629804 | 1956678552 |  600817058 | 1414876421 |
1043.89/151.90	c (146,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
1043.89/151.90	c (146,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
1043.89/151.90	c (146,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
1043.89/151.90	c (146,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
1043.89/151.90	c (146,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
1043.89/151.90	c (146,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
1043.89/151.90	c (146,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
1043.89/151.90	c (146,0) c | var_decay             |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
1043.89/151.90	c (146,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
1043.89/151.90	c (146,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
1043.89/151.90	c (146,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
1043.89/151.90	c (146,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
1043.89/151.90	c (146,0) 
13.15/151.90	c (146,0) s UNSATISFIABLE
13.15/151.90	c (146,0) SatSolver.solve End
13.15/151.90	c (146,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
13.15/151.90	c (146,0) Show results Begin
13.15/151.90	s UNSATISFIABLE
13.15/151.90	c (146,0) Show results End
13.15/151.90	c (146,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
13.15/151.91	c (146,0) 146,146,STOP-AFTER(ALL)
13.15/151.91	c END-Prog: Tue Sep 24 18:42:21 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 (14067 MiB free)
  memory of node 1: 16384 MiB (10977 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4405578-1569343231/watcher-4405578-1569343231 -o /var/tmp/evaluation-result-4405578-1569343231/solver-4405578-1569343231 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node140-1569335937-9287 --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-4405578-1569343231.xml 

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

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


[startup+0.102123 s]*
/proc/loadavg: 7.21 7.53 7.74 2/211 11876
/proc/meminfo: memFree=25552320/32770624 swapFree=66997512/67108860
[pid=11854] ppid=11851 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/11854/stat : 11854 (scop.sh) S 11851 11854 9260 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 510261415 115843072 349 33554432000 4194304 5098028 140723817602864 140723817600120 139730804716156 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 12029952 140723817612028 140723817612376 140723817612376 140723817615305 0
/proc/11854/statm: 28282 349 296 221 0 87 0
[pid=11857] ppid=11854 vsize=27314120 memory=106524 CPUtime=0.1 cores=0-7
/proc/11857/stat : 11857 (java) S 11854 11854 9260 0 -1 1077944320 6243 0 0 0 9 1 0 0 20 0 20 0 510261415 27969658880 26631 33554432000 4194304 4196468 140736599942656 140736599925200 139819881402103 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23203840 140736599950022 140736599950470 140736599950470 140736599953359 0
/proc/11857/statm: 6828530 26631 2812 1 0 6790935 0
[pid=11857/tid=11858] ppid=11854 vsize=27314120 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/11857/task/11858/stat : 11858 (java) R 11854 11854 9260 0 -1 4202560 4277 0 0 0 8 1 0 0 20 0 20 0 510261415 27969658880 26631 33554432000 4194304 4196468 140736599942656 139819853222264 139819866768836 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23203840 140736599950022 140736599950470 140736599950470 140736599953359 0
[pid=11857/tid=11859] ppid=11854 vsize=27314120 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/11857/task/11859/stat : 11859 (java) S 11854 11854 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510261418 27969658880 26631 33554432000 4194304 4196468 140736599942656 139819885644816 139819881412309 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23203840 140736599950022 140736599950470 140736599950470 140736599953359 0
[pid=11857/tid=11860] ppid=11854 vsize=27314120 memory=139694353364608 CPUtime=0 cores=0-7
/proc/11857/task/11860/stat : 11860 (java) S 11854 11854 9260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510261418 27969658880 26631 33554432000 4194304 4196468 140736599942656 139819303517328 139819881412309 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23203840 140736599950022 140736599950470 140736599950470 140736599953359 0
[pid=11857/tid=11861] ppid=11854 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11857/task/11861/stat : 11861 (java) S 11854 11854 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510261418 27969658880 26631 33554432000 4194304 4196468 140736599942656 139819302464272 139819881412309 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23203840 140736599950022 140736599950470 140736599950470 140736599953359 0
[pid=11857/tid=11862] ppid=11854 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11857/task/11862/stat : 11862 (java) S 11854 11854 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510261418 27969658880 26631 33554432000 4194304 4196468 140736599942656 139819301411728 139819881412309 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23203840 140736599950022 140736599950470 140736599950470 140736599953359 0
[pid=11857/tid=11863] ppid=11854 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11857/task/11863/stat : 11863 (java) S 11854 11854 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510261418 27969658880 26631 33554432000 4194304 4196468 140736599942656 139819300358672 139819881412309 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23203840 140736599950022 140736599950470 140736599950470 140736599953359 0
[pid=11857/tid=11864] ppid=11854 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/11857/task/11864/stat : 11864 (java) S 11854 11854 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510261418 27969658880 26631 33554432000 4194304 4196468 140736599942656 139819299306128 139819881412309 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23203840 140736599950022 140736599950470 140736599950470 140736599953359 0
[pid=11857/tid=11865] ppid=11854 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11857/task/11865/stat : 11865 (java) S 11854 11854 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510261418 27969658880 26631 33554432000 4194304 4196468 140736599942656 139819298253072 139819881412309 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23203840 140736599950022 140736599950470 140736599950470 140736599953359 0
[pid=11857/tid=11866] ppid=11854 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11857/task/11866/stat : 11866 (java) S 11854 11854 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510261418 27969658880 26631 33554432000 4194304 4196468 140736599942656 139819297200528 139819881412309 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23203840 140736599950022 140736599950470 140736599950470 140736599953359 0
[pid=11857/tid=11867] ppid=11854 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11857/task/11867/stat : 11867 (java) S 11854 11854 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510261419 27969658880 26631 33554432000 4194304 4196468 140736599942656 139818402818800 139819881413250 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23203840 140736599950022 140736599950470 140736599950470 140736599953359 0
[pid=11857/tid=11868] ppid=11854 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11857/task/11868/stat : 11868 (java) S 11854 11854 9260 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 510261420 27969658880 26631 33554432000 4194304 4196468 140736599942656 139817492932256 139819881412309 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23203840 140736599950022 140736599950470 140736599950470 140736599953359 0
[pid=11857/tid=11869] ppid=11854 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11857/task/11869/stat : 11869 (java) S 11854 11854 9260 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510261420 27969658880 26631 33554432000 4194304 4196468 140736599942656 139817358710000 139819881412309 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23203840 140736599950022 140736599950470 140736599950470 140736599953359 0
[pid=11857/tid=11870] ppid=11854 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11857/task/11870/stat : 11870 (java) S 11854 11854 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510261422 27969658880 26631 33554432000 4194304 4196468 140736599942656 139816984205776 139819881420699 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23203840 140736599950022 140736599950470 140736599950470 140736599953359 0
[pid=11857/tid=11871] ppid=11854 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11857/task/11871/stat : 11871 (java) S 11854 11854 9260 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 20 0 510261422 27969658880 26631 33554432000 4194304 4196468 140736599942656 139818401765616 139819881413250 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23203840 140736599950022 140736599950470 140736599950470 140736599953359 0
[pid=11857/tid=11872] ppid=11854 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11857/task/11872/stat : 11872 (java) S 11854 11854 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510261422 27969658880 26696 33554432000 4194304 4196468 140736599942656 139818400713072 139819881413250 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23203840 140736599950022 140736599950470 140736599950470 140736599953359 0
[pid=11857/tid=11873] ppid=11854 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11857/task/11873/stat : 11873 (java) S 11854 11854 9260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510261422 27969658880 26696 33554432000 4194304 4196468 140736599942656 139818399660016 139819881413250 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23203840 140736599950022 140736599950470 140736599950470 140736599953359 0
[pid=11857/tid=11874] ppid=11854 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11857/task/11874/stat : 11874 (java) R 11854 11854 9260 0 -1 4202560 317 0 0 0 0 0 0 0 20 0 20 0 510261422 27969658880 26696 33554432000 4194304 4196468 140736599942656 139818398607472 139819881423450 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23203840 140736599950022 140736599950470 140736599950470 140736599953359 0
[pid=11857/tid=11875] ppid=11854 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11857/task/11875/stat : 11875 (java) S 11854 11854 9260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510261422 27969658880 26696 33554432000 4194304 4196468 140736599942656 139816486300640 139819881412309 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23203840 140736599950022 140736599950470 140736599950470 140736599953359 0
[pid=11857/tid=11876] ppid=11854 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/11857/task/11876/stat : 11876 (java) S 11854 11854 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510261423 27969658880 26696 33554432000 4194304 4196468 140736599942656 139818397555888 139819881413250 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23203840 140736599950022 140736599950470 140736599950470 140736599953359 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 107920 KiB

[startup+0.210627 s]*
/proc/loadavg: 7.21 7.53 7.74 3/211 11876
/proc/meminfo: memFree=25530992/32770624 swapFree=66997512/67108860
[pid=11854] ppid=11851 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/11854/stat : 11854 (scop.sh) S 11851 11854 9260 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 510261415 115843072 349 33554432000 4194304 5098028 140723817602864 140723817600120 139730804716156 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 12029952 140723817612028 140723817612376 140723817612376 140723817615305 0
/proc/11854/statm: 28282 349 296 221 0 87 0
[pid=11857] ppid=11854 vsize=27314120 memory=123532 CPUtime=0.24 cores=0-7
/proc/11857/stat : 11857 (java) S 11854 11854 9260 0 -1 1077944320 11652 0 0 0 21 3 0 0 20 0 20 0 510261415 27969658880 30883 33554432000 4194304 4196468 140736599942656 140736599925200 139819881402103 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23203840 140736599950022 140736599950470 140736599950470 140736599953359 0
/proc/11857/statm: 6828530 30883 2971 1 0 6790935 0
[pid=11857/tid=11858] ppid=11854 vsize=27314120 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/11857/task/11858/stat : 11858 (java) R 11854 11854 9260 0 -1 4202560 9344 0 0 0 17 3 0 0 20 0 20 0 510261415 27969658880 30883 33554432000 4194304 4196468 140736599942656 139819853221888 139819866567649 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23203840 140736599950022 140736599950470 140736599950470 140736599953359 0
[pid=11857/tid=11859] ppid=11854 vsize=27314120 memory=339 CPUtime=0 cores=0-7
/proc/11857/task/11859/stat : 11859 (java) S 11854 11854 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510261418 27969658880 30883 33554432000 4194304 4196468 140736599942656 139819885644816 139819881412309 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23203840 140736599950022 140736599950470 140736599950470 140736599953359 0
[pid=11857/tid=11860] ppid=11854 vsize=27314120 memory=288370070505076352 CPUtime=0 cores=0-7
/proc/11857/task/11860/stat : 11860 (java) S 11854 11854 9260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510261418 27969658880 30883 33554432000 4194304 4196468 140736599942656 139819303517328 139819881412309 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23203840 140736599950022 140736599950470 140736599950470 140736599953359 0
[pid=11857/tid=11861] ppid=11854 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/11857/task/11861/stat : 11861 (java) S 11854 11854 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510261418 27969658880 30883 33554432000 4194304 4196468 140736599942656 139819302464272 139819881412309 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23203840 140736599950022 140736599950470 140736599950470 140736599953359 0
[pid=11857/tid=11862] ppid=11854 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11857/task/11862/stat : 11862 (java) S 11854 11854 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510261418 27969658880 30883 33554432000 4194304 4196468 140736599942656 139819301411728 139819881412309 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23203840 140736599950022 140736599950470 140736599950470 140736599953359 0
[pid=11857/tid=11863] ppid=11854 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11857/task/11863/stat : 11863 (java) S 11854 11854 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510261418 27969658880 30883 33554432000 4194304 4196468 140736599942656 139819300358672 139819881412309 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23203840 140736599950022 140736599950470 140736599950470 140736599953359 0
[pid=11857/tid=11864] ppid=11854 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/11857/task/11864/stat : 11864 (java) S 11854 11854 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510261418 27969658880 30883 33554432000 4194304 4196468 140736599942656 139819299306128 139819881412309 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23203840 140736599950022 140736599950470 140736599950470 140736599953359 0
[pid=11857/tid=11865] ppid=11854 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11857/task/11865/stat : 11865 (java) S 11854 11854 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510261418 27969658880 30883 33554432000 4194304 4196468 140736599942656 139819298253072 139819881412309 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23203840 140736599950022 140736599950470 140736599950470 140736599953359 0
[pid=11857/tid=11866] ppid=11854 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11857/task/11866/stat : 11866 (java) S 11854 11854 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510261418 27969658880 30883 33554432000 4194304 4196468 140736599942656 139819297200528 139819881412309 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23203840 140736599950022 140736599950470 140736599950470 140736599953359 0
[pid=11857/tid=11867] ppid=11854 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11857/task/11867/stat : 11867 (java) S 11854 11854 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510261419 27969658880 30883 33554432000 4194304 4196468 140736599942656 139818402818800 139819881413250 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23203840 140736599950022 140736599950470 140736599950470 140736599953359 0
[pid=11857/tid=11868] ppid=11854 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11857/task/11868/stat : 11868 (java) S 11854 11854 9260 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 510261420 27969658880 30883 33554432000 4194304 4196468 140736599942656 139817492932256 139819881412309 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23203840 140736599950022 140736599950470 140736599950470 140736599953359 0
[pid=11857/tid=11869] ppid=11854 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11857/task/11869/stat : 11869 (java) S 11854 11854 9260 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510261420 27969658880 30883 33554432000 4194304 4196468 140736599942656 139817358710000 139819881412309 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23203840 140736599950022 140736599950470 140736599950470 140736599953359 0
[pid=11857/tid=11870] ppid=11854 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11857/task/11870/stat : 11870 (java) S 11854 11854 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510261422 27969658880 30883 33554432000 4194304 4196468 140736599942656 139816984205776 139819881420699 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23203840 140736599950022 140736599950470 140736599950470 140736599953359 0
[pid=11857/tid=11871] ppid=11854 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11857/task/11871/stat : 11871 (java) S 11854 11854 9260 0 -1 1077944384 466 0 0 0 0 0 0 0 20 0 20 0 510261422 27969658880 30883 33554432000 4194304 4196468 140736599942656 139818401765616 139819881413250 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23203840 140736599950022 140736599950470 140736599950470 140736599953359 0
[pid=11857/tid=11872] ppid=11854 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11857/task/11872/stat : 11872 (java) S 11854 11854 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510261422 27969658880 30883 33554432000 4194304 4196468 140736599942656 139818400713072 139819881413250 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23203840 140736599950022 140736599950470 140736599950470 140736599953359 0
[pid=11857/tid=11873] ppid=11854 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/11857/task/11873/stat : 11873 (java) S 11854 11854 9260 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 20 0 510261422 27969658880 30883 33554432000 4194304 4196468 140736599942656 139818399660016 139819881413250 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23203840 140736599950022 140736599950470 140736599950470 140736599953359 0
[pid=11857/tid=11874] ppid=11854 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7
/proc/11857/task/11874/stat : 11874 (java) S 11854 11854 9260 0 -1 1077944384 462 0 0 0 2 0 0 0 20 0 20 0 510261422 27969658880 30883 33554432000 4194304 4196468 140736599942656 139818398607472 139819881413250 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23203840 140736599950022 140736599950470 140736599950470 140736599953359 0
[pid=11857/tid=11875] ppid=11854 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11857/task/11875/stat : 11875 (java) S 11854 11854 9260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510261422 27969658880 30883 33554432000 4194304 4196468 140736599942656 139816486300640 139819881412309 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23203840 140736599950022 140736599950470 140736599950470 140736599953359 0
[pid=11857/tid=11876] ppid=11854 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/11857/task/11876/stat : 11876 (java) S 11854 11854 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510261423 27969658880 30883 33554432000 4194304 4196468 140736599942656 139818397555888 139819881413250 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23203840 140736599950022 140736599950470 140736599950470 140736599953359 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 124928 KiB

[startup+0.310472 s]*
/proc/loadavg: 7.21 7.53 7.74 2/211 11876
/proc/meminfo: memFree=25527952/32770624 swapFree=66997512/67108860
[pid=11854] ppid=11851 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/11854/stat : 11854 (scop.sh) S 11851 11854 9260 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 510261415 115843072 349 33554432000 4194304 5098028 140723817602864 140723817600120 139730804716156 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 12029952 140723817612028 140723817612376 140723817612376 140723817615305 0
/proc/11854/statm: 28282 349 296 221 0 87 0
[pid=11857] ppid=11854 vsize=27314120 memory=127640 CPUtime=0.42 cores=0-7
/proc/11857/stat : 11857 (java) S 11854 11854 9260 0 -1 1077944320 12824 0 0 0 38 4 0 0 20 0 20 0 510261415 27969658880 31910 33554432000 4194304 4196468 140736599942656 140736599925200 139819881402103 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23203840 140736599950022 140736599950470 140736599950470 140736599953359 0
/proc/11857/statm: 6828530 31910 3012 1 0 6790935 0
[pid=11857/tid=11858] ppid=11854 vsize=27314120 memory=6791534058613427641 CPUtime=0.3 cores=0-7
/proc/11857/task/11858/stat : 11858 (java) R 11854 11854 9260 0 -1 4202560 10318 0 0 0 26 4 0 0 20 0 20 0 510261415 27969658880 31910 33554432000 4194304 4196468 140736599942656 139819853185120 139819865445733 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23203840 140736599950022 140736599950470 140736599950470 140736599953359 0
[pid=11857/tid=11859] ppid=11854 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11857/task/11859/stat : 11859 (java) S 11854 11854 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510261418 27969658880 31910 33554432000 4194304 4196468 140736599942656 139819885644816 139819881412309 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23203840 140736599950022 140736599950470 140736599950470 140736599953359 0
[pid=11857/tid=11860] ppid=11854 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11857/task/11860/stat : 11860 (java) S 11854 11854 9260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510261418 27969658880 31910 33554432000 4194304 4196468 140736599942656 139819303517328 139819881412309 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23203840 140736599950022 140736599950470 140736599950470 140736599953359 0
[pid=11857/tid=11861] ppid=11854 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11857/task/11861/stat : 11861 (java) S 11854 11854 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510261418 27969658880 31910 33554432000 4194304 4196468 140736599942656 139819302464272 139819881412309 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23203840 140736599950022 140736599950470 140736599950470 140736599953359 0
[pid=11857/tid=11862] ppid=11854 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11857/task/11862/stat : 11862 (java) S 11854 11854 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510261418 27969658880 31910 33554432000 4194304 4196468 140736599942656 139819301411728 139819881412309 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23203840 140736599950022 140736599950470 140736599950470 140736599953359 0
[pid=11857/tid=11863] ppid=11854 vsize=27314120 memory=2244 CPUtime=0 cores=0-7
/proc/11857/task/11863/stat : 11863 (java) S 11854 11854 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510261418 27969658880 31910 33554432000 4194304 4196468 140736599942656 139819300358672 139819881412309 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23203840 140736599950022 140736599950470 140736599950470 140736599953359 0
[pid=11857/tid=11864] ppid=11854 vsize=27314120 memory=139694214050735 CPUtime=0 cores=0-7
/proc/11857/task/11864/stat : 11864 (java) S 11854 11854 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510261418 27969658880 31910 33554432000 4194304 4196468 140736599942656 139819299306128 139819881412309 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23203840 140736599950022 140736599950470 140736599950470 140736599953359 0
[pid=11857/tid=11865] ppid=11854 vsize=27314120 memory=139694214053040 CPUtime=0 cores=0-7
/proc/11857/task/11865/stat : 11865 (java) S 11854 11854 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510261418 27969658880 31910 33554432000 4194304 4196468 140736599942656 139819298253072 139819881412309 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23203840 140736599950022 140736599950470 140736599950470 140736599953359 0
[pid=11857/tid=11866] ppid=11854 vsize=27314120 memory=139694214055344 CPUtime=0 cores=0-7
/proc/11857/task/11866/stat : 11866 (java) S 11854 11854 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510261418 27969658880 31910 33554432000 4194304 4196468 140736599942656 139819297200528 139819881412309 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23203840 140736599950022 140736599950470 140736599950470 140736599953359 0
[pid=11857/tid=11867] ppid=11854 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11857/task/11867/stat : 11867 (java) S 11854 11854 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510261419 27969658880 31910 33554432000 4194304 4196468 140736599942656 139818402818800 139819881413250 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23203840 140736599950022 140736599950470 140736599950470 140736599953359 0
[pid=11857/tid=11868] ppid=11854 vsize=27314120 memory=279388428117648 CPUtime=0 cores=0-7
/proc/11857/task/11868/stat : 11868 (java) S 11854 11854 9260 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 510261420 27969658880 31910 33554432000 4194304 4196468 140736599942656 139817492932256 139819881412309 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23203840 140736599950022 140736599950470 140736599950470 140736599953359 0
[pid=11857/tid=11869] ppid=11854 vsize=27314120 memory=279388428124560 CPUtime=0 cores=0-7
/proc/11857/task/11869/stat : 11869 (java) S 11854 11854 9260 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510261420 27969658880 31910 33554432000 4194304 4196468 140736599942656 139817358710000 139819881412309 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23203840 140736599950022 140736599950470 140736599950470 140736599953359 0
[pid=11857/tid=11870] ppid=11854 vsize=27314120 memory=279388428065712 CPUtime=0 cores=0-7
/proc/11857/task/11870/stat : 11870 (java) S 11854 11854 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510261422 27969658880 31910 33554432000 4194304 4196468 140736599942656 139816984205776 139819881420699 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23203840 140736599950022 140736599950470 140736599950470 140736599953359 0
[pid=11857/tid=11871] ppid=11854 vsize=27314120 memory=279388428138384 CPUtime=0 cores=0-7
/proc/11857/task/11871/stat : 11871 (java) S 11854 11854 9260 0 -1 1077944384 475 0 0 0 0 0 0 0 20 0 20 0 510261422 27969658880 31910 33554432000 4194304 4196468 140736599942656 139818401765616 139819881413250 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23203840 140736599950022 140736599950470 140736599950470 140736599953359 0
[pid=11857/tid=11872] ppid=11854 vsize=27314120 memory=279388428145296 CPUtime=0.02 cores=0-7
/proc/11857/task/11872/stat : 11872 (java) S 11854 11854 9260 0 -1 1077944384 103 0 0 0 2 0 0 0 20 0 20 0 510261422 27969658880 31910 33554432000 4194304 4196468 140736599942656 139818400713072 139819881413250 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23203840 140736599950022 140736599950470 140736599950470 140736599953359 0
[pid=11857/tid=11873] ppid=11854 vsize=27314120 memory=279388428142992 CPUtime=0.01 cores=0-7
/proc/11857/task/11873/stat : 11873 (java) R 11854 11854 9260 0 -1 4202560 60 0 0 0 1 0 0 0 20 0 20 0 510261422 27969658880 31910 33554432000 4194304 4196468 140736599942656 139818399660016 139819874387145 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23203840 140736599950022 140736599950470 140736599950470 140736599953359 0
[pid=11857/tid=11874] ppid=11854 vsize=27314120 memory=279388428159152 CPUtime=0.07 cores=0-7
/proc/11857/task/11874/stat : 11874 (java) S 11854 11854 9260 0 -1 1077944384 511 0 0 0 7 0 0 0 20 0 20 0 510261422 27969658880 31910 33554432000 4194304 4196468 140736599942656 139818398607472 139819881413250 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23203840 140736599950022 140736599950470 140736599950470 140736599953359 0
[pid=11857/tid=11875] ppid=11854 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11857/task/11875/stat : 11875 (java) S 11854 11854 9260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510261422 27969658880 31910 33554432000 4194304 4196468 140736599942656 139816486300640 139819881412309 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23203840 140736599950022 140736599950470 140736599950470 140736599953359 0
[pid=11857/tid=11876] ppid=11854 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/11857/task/11876/stat : 11876 (java) S 11854 11854 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510261423 27969658880 31910 33554432000 4194304 4196468 140736599942656 139818397555888 139819881413250 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23203840 140736599950022 140736599950470 140736599950470 140736599953359 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 129036 KiB

[startup+0.700957 s]
/proc/loadavg: 7.21 7.53 7.74 2/211 11876
/proc/meminfo: memFree=25506748/32770624 swapFree=66997512/67108860
[pid=11854] ppid=11851 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/11854/stat : 11854 (scop.sh) S 11851 11854 9260 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 510261415 115843072 349 33554432000 4194304 5098028 140723817602864 140723817600120 139730804716156 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 12029952 140723817612028 140723817612376 140723817612376 140723817615305 0
/proc/11854/statm: 28282 349 296 221 0 87 0
[pid=11857] ppid=11854 vsize=27320392 memory=163376 CPUtime=0.99 cores=0-7
/proc/11857/stat : 11857 (java) S 11854 11854 9260 0 -1 1077944320 19886 0 0 0 93 6 0 0 20 0 20 0 510261415 27976081408 40844 33554432000 4194304 4196468 140736599942656 140736599925200 139819881402103 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23203840 140736599950022 140736599950470 140736599950470 140736599953359 0
/proc/11857/statm: 6830098 40844 3183 1 0 6791447 0
[pid=11857/tid=11858] ppid=11854 vsize=27320392 memory=279388428517040 CPUtime=0.67 cores=0-7
/proc/11857/task/11858/stat : 11858 (java) R 11854 11854 9260 0 -1 4202560 16891 0 0 0 62 5 0 0 20 0 20 0 510261415 27976081408 40844 33554432000 4194304 4196468 140736599942656 139819853240576 139819881414038 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23203840 140736599950022 140736599950470 140736599950470 140736599953359 0
[pid=11857/tid=11859] ppid=11854 vsize=27320392 memory=139694214259568 CPUtime=0 cores=0-7
/proc/11857/task/11859/stat : 11859 (java) S 11854 11854 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510261418 27976081408 40844 33554432000 4194304 4196468 140736599942656 139819885644816 139819881412309 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23203840 140736599950022 140736599950470 140736599950470 140736599953359 0
[pid=11857/tid=11860] ppid=11854 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/11857/task/11860/stat : 11860 (java) S 11854 11854 9260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510261418 27976081408 40844 33554432000 4194304 4196468 140736599942656 139819303517328 139819881412309 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23203840 140736599950022 140736599950470 140736599950470 140736599953359 0
[pid=11857/tid=11861] ppid=11854 vsize=27320392 memory=6124 CPUtime=0 cores=0-7
/proc/11857/task/11861/stat : 11861 (java) S 11854 11854 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510261418 27976081408 40844 33554432000 4194304 4196468 140736599942656 139819302464272 139819881412309 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23203840 140736599950022 140736599950470 140736599950470 140736599953359 0

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

/proc/11877/task/11884/stat : 11884 (java) S 11854 11854 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510261873 8616062976 30289 33554432000 4194304 4196468 140726998192544 140419272789136 140419792033493 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8749056 140726998197215 140726998197382 140726998197382 140726998200271 0
[pid=11877/tid=11885] ppid=11854 vsize=8414124 memory=2828 CPUtime=0 cores=0-7
/proc/11877/task/11885/stat : 11885 (java) S 11854 11854 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510261873 8616062976 30289 33554432000 4194304 4196468 140726998192544 140419271736080 140419792033493 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8749056 140726998197215 140726998197382 140726998197382 140726998200271 0
[pid=11877/tid=11886] ppid=11854 vsize=8414124 memory=1048 CPUtime=0 cores=0-7
/proc/11877/task/11886/stat : 11886 (java) S 11854 11854 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510261873 8616062976 30289 33554432000 4194304 4196468 140726998192544 140419270683536 140419792033493 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8749056 140726998197215 140726998197382 140726998197382 140726998200271 0
[pid=11877/tid=11887] ppid=11854 vsize=8414124 memory=6124 CPUtime=0 cores=0-7
/proc/11877/task/11887/stat : 11887 (java) S 11854 11854 9260 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 510261874 8616062976 30289 33554432000 4194304 4196468 140726998192544 140418885490928 140419792034434 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8749056 140726998197215 140726998197382 140726998197382 140726998200271 0
[pid=11877/tid=11888] ppid=11854 vsize=8414124 memory=612 CPUtime=0 cores=0-7
/proc/11877/task/11888/stat : 11888 (java) S 11854 11854 9260 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 510261875 8616062976 30289 33554432000 4194304 4196468 140726998192544 140418452808864 140419792033493 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8749056 140726998197215 140726998197382 140726998197382 140726998200271 0
[pid=11877/tid=11889] ppid=11854 vsize=8414124 memory=1220 CPUtime=0 cores=0-7
/proc/11877/task/11889/stat : 11889 (java) S 11854 11854 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510261875 8616062976 30289 33554432000 4194304 4196468 140726998192544 140418184372976 140419792033493 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8749056 140726998197215 140726998197382 140726998197382 140726998200271 0
[pid=11877/tid=11890] ppid=11854 vsize=8414124 memory=14004 CPUtime=0 cores=0-7
/proc/11877/task/11890/stat : 11890 (java) S 11854 11854 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510261878 8616062976 30289 33554432000 4194304 4196468 140726998192544 140417809864656 140419792041883 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8749056 140726998197215 140726998197382 140726998197382 140726998200271 0
[pid=11877/tid=11891] ppid=11854 vsize=8414124 memory=14060 CPUtime=0.04 cores=0-7
/proc/11877/task/11891/stat : 11891 (java) S 11854 11854 9260 0 -1 1077944384 440 0 0 0 4 0 0 0 20 0 24 0 510261878 8616062976 30289 33554432000 4194304 4196468 140726998192544 140418884438768 140419792034434 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8749056 140726998197215 140726998197382 140726998197382 140726998200271 0
[pid=11877/tid=11892] ppid=11854 vsize=8414124 memory=2116 CPUtime=0.08 cores=0-7
/proc/11877/task/11892/stat : 11892 (java) S 11854 11854 9260 0 -1 1077944384 425 0 0 0 8 0 0 0 20 0 24 0 510261878 8616062976 30289 33554432000 4194304 4196468 140726998192544 140418883386224 140419792034434 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8749056 140726998197215 140726998197382 140726998197382 140726998200271 0
[pid=11877/tid=11893] ppid=11854 vsize=8414124 memory=33036 CPUtime=0.08 cores=0-7
/proc/11877/task/11893/stat : 11893 (java) S 11854 11854 9260 0 -1 1077944384 321 0 0 0 8 0 0 0 20 0 24 0 510261878 8616062976 30289 33554432000 4194304 4196468 140726998192544 140418882333168 140419792034434 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8749056 140726998197215 140726998197382 140726998197382 140726998200271 0
[pid=11877/tid=11894] ppid=11854 vsize=8414124 memory=532 CPUtime=0.21 cores=0-7
/proc/11877/task/11894/stat : 11894 (java) S 11854 11854 9260 0 -1 1077944384 741 0 0 0 21 0 0 0 20 0 24 0 510261878 8616062976 30289 33554432000 4194304 4196468 140726998192544 140418881280624 140419792034434 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8749056 140726998197215 140726998197382 140726998197382 140726998200271 0
[pid=11877/tid=11895] ppid=11854 vsize=8414124 memory=7686721470351383956 CPUtime=0 cores=0-7
/proc/11877/task/11895/stat : 11895 (java) S 11854 11854 9260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510261878 8616062976 30289 33554432000 4194304 4196468 140726998192544 140417311959520 140419792033493 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8749056 140726998197215 140726998197382 140726998197382 140726998200271 0
[pid=11877/tid=11896] ppid=11854 vsize=8414124 memory=279388431060544 CPUtime=0.1 cores=0-7
/proc/11877/task/11896/stat : 11896 (java) S 11854 11854 9260 0 -1 1077944384 11 0 0 0 2 8 0 0 20 0 24 0 510261878 8616062976 30289 33554432000 4194304 4196468 140726998192544 140418880228016 140419792034434 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8749056 140726998197215 140726998197382 140726998197382 140726998200271 0
[pid=11877/tid=11898] ppid=11854 vsize=8414124 memory=667913 CPUtime=0 cores=0-7
/proc/11877/task/11898/stat : 11898 (java) S 11854 11854 9260 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 510261946 8616062976 30289 33554432000 4194304 4196468 140726998192544 140418872193984 140419792047897 0 4 2 25189581 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 8749056 140726998197215 140726998197382 140726998197382 140726998200271 0
[pid=11877/tid=11900] ppid=11854 vsize=8414124 memory=1540 CPUtime=0 cores=0-7
/proc/11877/task/11900/stat : 11900 (java) S 11854 11854 9260 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 510261946 8616062976 30289 33554432000 4194304 4196468 140726998192544 140416640860176 140419792045213 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 8749056 140726998197215 140726998197382 140726998197382 140726998200271 0
[pid=11877/tid=11901] ppid=11854 vsize=8414124 memory=772 CPUtime=0 cores=0-7
/proc/11877/task/11901/stat : 11901 (java) S 11854 11854 9260 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 24 0 510261946 8616062976 30289 33554432000 4194304 4196468 140726998192544 140416909295760 140419792045213 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 8749056 140726998197215 140726998197382 140726998197382 140726998200271 0
[pid=11877/tid=11909] ppid=11854 vsize=8414124 memory=10596 CPUtime=0 cores=0-7
/proc/11877/task/11909/stat : 11909 (java) S 11854 11854 9260 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 24 0 510261948 8616062976 30289 33554432000 4194304 4196468 140726998192544 140416372432304 140419792033493 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8749056 140726998197215 140726998197382 140726998197382 140726998200271 0
Current children cumulated CPU time: 1043.51 s
Current children cumulated vsize: 9231516 KiB
Current children cumulated memory: 657184 KiB

[startup+151.801 s]
/proc/loadavg: 7.04 7.27 7.60 4/220 11927
/proc/meminfo: memFree=25001012/32770624 swapFree=66997512/67108860
[pid=11854] ppid=11851 vsize=113128 memory=1476 CPUtime=11.79 cores=0-7
/proc/11854/stat : 11854 (scop.sh) S 11851 11854 9260 0 -1 4202496 582 32054 0 0 0 0 1152 27 20 0 1 0 510261415 115843072 369 33554432000 4194304 5098028 140723817602864 140723817599608 139730804716156 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 12029952 140723817612028 140723817612376 140723817612376 140723817615305 0
/proc/11854/statm: 28282 369 311 221 0 87 0
[pid=11877] ppid=11854 vsize=8414124 memory=121156 CPUtime=1.33 cores=0-7
/proc/11877/stat : 11877 (java) S 11854 11854 9260 0 -1 1077944320 20826 0 0 0 125 8 0 0 20 0 24 0 510261871 8616062976 30289 33554432000 4194304 4196468 140726998192544 140726998175088 140419792023287 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 8749056 140726998197215 140726998197382 140726998197382 140726998200271 0
/proc/11877/statm: 2103531 30289 3207 1 0 2064875 0
[pid=11897] ppid=11877 vsize=704264 memory=534552 CPUtime=1030.77 cores=0-7
/proc/11897/stat : 11897 (manyglucose-4.1) S 11877 11854 9260 0 -1 1077944320 549830 0 0 0 102951 126 0 0 20 0 2 0 510261946 721166336 133638 33554432000 4194304 4454172 140731829108720 140731829107104 139856920182519 0 4 0 8388610 18446744073709551615 0 0 17 4 0 0 0 0 0 6552832 6554400 30732288 140731829117773 140731829117980 140731829117980 140731829120950 0
/proc/11897/statm: 176066 133638 419 64 0 171734 0
[pid=11897/tid=11907] ppid=11877 vsize=704264 memory=2828 CPUtime=143.33 cores=0-7
/proc/11897/task/11907/stat : 11907 (manyglucose-4.1) R 11877 11854 9260 0 -1 4202560 74665 0 0 0 14320 13 0 0 20 0 2 0 510261948 721166336 133638 33554432000 4194304 4454172 140731829108720 139856863001320 4350902 0 4 0 8388610 0 0 0 -1 0 0 0 0 0 0 6552832 6554400 30732288 140731829117773 140731829117980 140731829117980 140731829120950 0
[pid=11877/tid=11878] ppid=11854 vsize=8414124 memory=6124 CPUtime=0.76 cores=0-7
/proc/11877/task/11878/stat : 11878 (java) S 11854 11854 9260 0 -1 1077944384 17491 0 0 0 71 5 0 0 20 0 24 0 510261872 8616062976 30289 33554432000 4194304 4196468 140726998192544 140419763863456 140419792033493 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8749056 140726998197215 140726998197382 140726998197382 140726998200271 0
[pid=11877/tid=11879] ppid=11854 vsize=8414124 memory=612 CPUtime=0 cores=0-7
/proc/11877/task/11879/stat : 11879 (java) S 11854 11854 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510261873 8616062976 30289 33554432000 4194304 4196468 140726998192544 140419796265488 140419792033493 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8749056 140726998197215 140726998197382 140726998197382 140726998200271 0
[pid=11877/tid=11880] ppid=11854 vsize=8414124 memory=1556 CPUtime=0 cores=0-7
/proc/11877/task/11880/stat : 11880 (java) S 11854 11854 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510261873 8616062976 30289 33554432000 4194304 4196468 140726998192544 140419596434064 140419792033493 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8749056 140726998197215 140726998197382 140726998197382 140726998200271 0
[pid=11877/tid=11881] ppid=11854 vsize=8414124 memory=932 CPUtime=0 cores=0-7
/proc/11877/task/11881/stat : 11881 (java) S 11854 11854 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510261873 8616062976 30289 33554432000 4194304 4196468 140726998192544 140419595381008 140419792033493 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8749056 140726998197215 140726998197382 140726998197382 140726998200271 0
[pid=11877/tid=11882] ppid=11854 vsize=8414124 memory=3680 CPUtime=0 cores=0-7
/proc/11877/task/11882/stat : 11882 (java) S 11854 11854 9260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510261873 8616062976 30289 33554432000 4194304 4196468 140726998192544 140419274893712 140419792033493 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8749056 140726998197215 140726998197382 140726998197382 140726998200271 0
[pid=11877/tid=11883] ppid=11854 vsize=8414124 memory=836 CPUtime=0 cores=0-7
/proc/11877/task/11883/stat : 11883 (java) S 11854 11854 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510261873 8616062976 30289 33554432000 4194304 4196468 140726998192544 140419273841680 140419792033493 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8749056 140726998197215 140726998197382 140726998197382 140726998200271 0
[pid=11877/tid=11884] ppid=11854 vsize=8414124 memory=1436 CPUtime=0 cores=0-7
/proc/11877/task/11884/stat : 11884 (java) S 11854 11854 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510261873 8616062976 30289 33554432000 4194304 4196468 140726998192544 140419272789136 140419792033493 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8749056 140726998197215 140726998197382 140726998197382 140726998200271 0
[pid=11877/tid=11885] ppid=11854 vsize=8414124 memory=1720 CPUtime=0 cores=0-7
/proc/11877/task/11885/stat : 11885 (java) S 11854 11854 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510261873 8616062976 30289 33554432000 4194304 4196468 140726998192544 140419271736080 140419792033493 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8749056 140726998197215 140726998197382 140726998197382 140726998200271 0
[pid=11877/tid=11886] ppid=11854 vsize=8414124 memory=1980 CPUtime=0 cores=0-7
/proc/11877/task/11886/stat : 11886 (java) S 11854 11854 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510261873 8616062976 30289 33554432000 4194304 4196468 140726998192544 140419270683536 140419792033493 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8749056 140726998197215 140726998197382 140726998197382 140726998200271 0
[pid=11877/tid=11887] ppid=11854 vsize=8414124 memory=2540 CPUtime=0 cores=0-7
/proc/11877/task/11887/stat : 11887 (java) S 11854 11854 9260 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 510261874 8616062976 30289 33554432000 4194304 4196468 140726998192544 140418885490928 140419792034434 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8749056 140726998197215 140726998197382 140726998197382 140726998200271 0
[pid=11877/tid=11888] ppid=11854 vsize=8414124 memory=1760 CPUtime=0 cores=0-7
/proc/11877/task/11888/stat : 11888 (java) S 11854 11854 9260 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 510261875 8616062976 30289 33554432000 4194304 4196468 140726998192544 140418452808864 140419792033493 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8749056 140726998197215 140726998197382 140726998197382 140726998200271 0
[pid=11877/tid=11889] ppid=11854 vsize=8414124 memory=111636 CPUtime=0 cores=0-7
/proc/11877/task/11889/stat : 11889 (java) S 11854 11854 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510261875 8616062976 30289 33554432000 4194304 4196468 140726998192544 140418184372976 140419792033493 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8749056 140726998197215 140726998197382 140726998197382 140726998200271 0
[pid=11877/tid=11890] ppid=11854 vsize=8414124 memory=804 CPUtime=0 cores=0-7
/proc/11877/task/11890/stat : 11890 (java) S 11854 11854 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510261878 8616062976 30289 33554432000 4194304 4196468 140726998192544 140417809864656 140419792041883 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8749056 140726998197215 140726998197382 140726998197382 140726998200271 0
[pid=11877/tid=11891] ppid=11854 vsize=8414124 memory=1808 CPUtime=0.04 cores=0-7
/proc/11877/task/11891/stat : 11891 (java) S 11854 11854 9260 0 -1 1077944384 440 0 0 0 4 0 0 0 20 0 24 0 510261878 8616062976 30289 33554432000 4194304 4196468 140726998192544 140418884438768 140419792034434 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8749056 140726998197215 140726998197382 140726998197382 140726998200271 0
[pid=11877/tid=11892] ppid=11854 vsize=8414124 memory=920 CPUtime=0.08 cores=0-7
/proc/11877/task/11892/stat : 11892 (java) S 11854 11854 9260 0 -1 1077944384 425 0 0 0 8 0 0 0 20 0 24 0 510261878 8616062976 30289 33554432000 4194304 4196468 140726998192544 140418883386224 140419792034434 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8749056 140726998197215 140726998197382 140726998197382 140726998200271 0
[pid=11877/tid=11893] ppid=11854 vsize=8414124 memory=4488 CPUtime=0.08 cores=0-7
/proc/11877/task/11893/stat : 11893 (java) S 11854 11854 9260 0 -1 1077944384 321 0 0 0 8 0 0 0 20 0 24 0 510261878 8616062976 30289 33554432000 4194304 4196468 140726998192544 140418882333168 140419792034434 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8749056 140726998197215 140726998197382 140726998197382 140726998200271 0
[pid=11877/tid=11894] ppid=11854 vsize=8414124 memory=4100 CPUtime=0.21 cores=0-7
/proc/11877/task/11894/stat : 11894 (java) S 11854 11854 9260 0 -1 1077944384 741 0 0 0 21 0 0 0 20 0 24 0 510261878 8616062976 30289 33554432000 4194304 4196468 140726998192544 140418881280624 140419792034434 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8749056 140726998197215 140726998197382 140726998197382 140726998200271 0
[pid=11877/tid=11895] ppid=11854 vsize=8414124 memory=1412 CPUtime=0 cores=0-7
/proc/11877/task/11895/stat : 11895 (java) S 11854 11854 9260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510261878 8616062976 30289 33554432000 4194304 4196468 140726998192544 140417311959520 140419792033493 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8749056 140726998197215 140726998197382 140726998197382 140726998200271 0
[pid=11877/tid=11896] ppid=11854 vsize=8414124 memory=3736 CPUtime=0.1 cores=0-7
/proc/11877/task/11896/stat : 11896 (java) S 11854 11854 9260 0 -1 1077944384 11 0 0 0 2 8 0 0 20 0 24 0 510261878 8616062976 30289 33554432000 4194304 4196468 140726998192544 140418880228016 140419792034434 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8749056 140726998197215 140726998197382 140726998197382 140726998200271 0
[pid=11877/tid=11898] ppid=11854 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/11877/task/11898/stat : 11898 (java) S 11854 11854 9260 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 510261946 8616062976 30289 33554432000 4194304 4196468 140726998192544 140418872193984 140419792047897 0 4 2 25189581 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 8749056 140726998197215 140726998197382 140726998197382 140726998200271 0
[pid=11877/tid=11900] ppid=11854 vsize=8414124 memory=121156 CPUtime=0 cores=0-7
/proc/11877/task/11900/stat : 11900 (java) S 11854 11854 9260 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 510261946 8616062976 30289 33554432000 4194304 4196468 140726998192544 140416640860176 140419792045213 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 8749056 140726998197215 140726998197382 140726998197382 140726998200271 0
[pid=11877/tid=11901] ppid=11854 vsize=8414124 memory=534560 CPUtime=0 cores=0-7
/proc/11877/task/11901/stat : 11901 (java) S 11854 11854 9260 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 24 0 510261946 8616062976 30289 33554432000 4194304 4196468 140726998192544 140416909295760 140419792045213 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 8749056 140726998197215 140726998197382 140726998197382 140726998200271 0
[pid=11877/tid=11909] ppid=11854 vsize=8414124 memory=7686721470351383956 CPUtime=0 cores=0-7
/proc/11877/task/11909/stat : 11909 (java) S 11854 11854 9260 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 24 0 510261948 8616062976 30289 33554432000 4194304 4196468 140726998192544 140416372432304 140419792033493 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8749056 140726998197215 140726998197382 140726998197382 140726998200271 0
Current children cumulated CPU time: 1043.89 s
Current children cumulated vsize: 9231516 KiB
Current children cumulated memory: 657184 KiB

[startup+151.901 s]
/proc/loadavg: 7.04 7.27 7.60 4/220 11927
/proc/meminfo: memFree=25001012/32770624 swapFree=66997512/67108860
[pid=11854] ppid=11851 vsize=113128 memory=1476 CPUtime=11.79 cores=0-7
/proc/11854/stat : 11854 (scop.sh) S 11851 11854 9260 0 -1 4202496 582 32054 0 0 0 0 1152 27 20 0 1 0 510261415 115843072 369 33554432000 4194304 5098028 140723817602864 140723817599608 139730804716156 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 12029952 140723817612028 140723817612376 140723817612376 140723817615305 0
/proc/11854/statm: 28282 369 311 221 0 87 0
[pid=11877] ppid=11854 vsize=8414124 memory=121288 CPUtime=1.36 cores=0-7
/proc/11877/stat : 11877 (java) S 11854 11854 9260 0 -1 1077944320 20868 0 0 0 128 8 0 0 20 0 24 0 510261871 8616062976 30322 33554432000 4194304 4196468 140726998192544 140726998175088 140419792023287 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 8749056 140726998197215 140726998197382 140726998197382 140726998200271 0
/proc/11877/statm: 2103531 30322 3207 1 0 2064875 0
[pid=11877/tid=11878] ppid=11854 vsize=8414124 memory=279388429635392 CPUtime=0.76 cores=0-7
/proc/11877/task/11878/stat : 11878 (java) S 11854 11854 9260 0 -1 1077944384 17491 0 0 0 71 5 0 0 20 0 24 0 510261872 8616062976 30322 33554432000 4194304 4196468 140726998192544 140419763863456 140419792033493 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8749056 140726998197215 140726998197382 140726998197382 140726998200271 0
[pid=11877/tid=11879] ppid=11854 vsize=8414124 memory=4012603516962471968 CPUtime=0 cores=0-7
/proc/11877/task/11879/stat : 11879 (java) S 11854 11854 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510261873 8616062976 30322 33554432000 4194304 4196468 140726998192544 140419796265488 140419792033493 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8749056 140726998197215 140726998197382 140726998197382 140726998200271 0
[pid=11877/tid=11880] ppid=11854 vsize=8414124 memory=569632 CPUtime=0 cores=0-7
/proc/11877/task/11880/stat : 11880 (java) S 11854 11854 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510261873 8616062976 30322 33554432000 4194304 4196468 140726998192544 140419596434064 140419792033493 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8749056 140726998197215 140726998197382 140726998197382 140726998200271 0
[pid=11877/tid=11881] ppid=11854 vsize=8414124 memory=544692 CPUtime=0 cores=0-7
/proc/11877/task/11881/stat : 11881 (java) S 11854 11854 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510261873 8616062976 30322 33554432000 4194304 4196468 140726998192544 140419595381008 140419792033493 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8749056 140726998197215 140726998197382 140726998197382 140726998200271 0
[pid=11877/tid=11882] ppid=11854 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/11877/task/11882/stat : 11882 (java) S 11854 11854 9260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510261873 8616062976 30322 33554432000 4194304 4196468 140726998192544 140419274893712 140419792033493 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8749056 140726998197215 140726998197382 140726998197382 140726998200271 0
[pid=11877/tid=11883] ppid=11854 vsize=8414124 memory=121156 CPUtime=0 cores=0-7
/proc/11877/task/11883/stat : 11883 (java) S 11854 11854 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510261873 8616062976 30322 33554432000 4194304 4196468 140726998192544 140419273841680 140419792033493 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8749056 140726998197215 140726998197382 140726998197382 140726998200271 0
[pid=11877/tid=11884] ppid=11854 vsize=8414124 memory=63856 CPUtime=0 cores=0-7
/proc/11877/task/11884/stat : 11884 (java) S 11854 11854 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510261873 8616062976 30322 33554432000 4194304 4196468 140726998192544 140419272789136 140419792033493 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8749056 140726998197215 140726998197382 140726998197382 140726998200271 0
[pid=11877/tid=11885] ppid=11854 vsize=8414124 memory=988 CPUtime=0 cores=0-7
/proc/11877/task/11885/stat : 11885 (java) S 11854 11854 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510261873 8616062976 30322 33554432000 4194304 4196468 140726998192544 140419271736080 140419792033493 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8749056 140726998197215 140726998197382 140726998197382 140726998200271 0
[pid=11877/tid=11886] ppid=11854 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/11877/task/11886/stat : 11886 (java) S 11854 11854 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510261873 8616062976 30322 33554432000 4194304 4196468 140726998192544 140419270683536 140419792033493 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8749056 140726998197215 140726998197382 140726998197382 140726998200271 0
[pid=11877/tid=11887] ppid=11854 vsize=8414124 memory=133 CPUtime=0 cores=0-7
/proc/11877/task/11887/stat : 11887 (java) S 11854 11854 9260 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 510261874 8616062976 30322 33554432000 4194304 4196468 140726998192544 140418885490928 140419792034434 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8749056 140726998197215 140726998197382 140726998197382 140726998200271 0
[pid=11877/tid=11888] ppid=11854 vsize=8414124 memory=526260 CPUtime=0 cores=0-7
/proc/11877/task/11888/stat : 11888 (java) S 11854 11854 9260 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 510261875 8616062976 30322 33554432000 4194304 4196468 140726998192544 140418452808864 140419792033493 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8749056 140726998197215 140726998197382 140726998197382 140726998200271 0
[pid=11877/tid=11889] ppid=11854 vsize=8414124 memory=5864339070211413859 CPUtime=0 cores=0-7
/proc/11877/task/11889/stat : 11889 (java) S 11854 11854 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510261875 8616062976 30322 33554432000 4194304 4196468 140726998192544 140418184372976 140419792033493 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8749056 140726998197215 140726998197382 140726998197382 140726998200271 0
[pid=11877/tid=11890] ppid=11854 vsize=8414124 memory=279388429536864 CPUtime=0 cores=0-7
/proc/11877/task/11890/stat : 11890 (java) S 11854 11854 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510261878 8616062976 30322 33554432000 4194304 4196468 140726998192544 140417809864656 140419792041883 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8749056 140726998197215 140726998197382 140726998197382 140726998200271 0
[pid=11877/tid=11891] ppid=11854 vsize=8414124 memory=6444487662327065449 CPUtime=0.05 cores=0-7
/proc/11877/task/11891/stat : 11891 (java) S 11854 11854 9260 0 -1 1077944384 443 0 0 0 5 0 0 0 20 0 24 0 510261878 8616062976 30322 33554432000 4194304 4196468 140726998192544 140418884438768 140419792034434 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8749056 140726998197215 140726998197382 140726998197382 140726998200271 0
[pid=11877/tid=11892] ppid=11854 vsize=8414124 memory=121156 CPUtime=0.08 cores=0-7
/proc/11877/task/11892/stat : 11892 (java) R 11854 11854 9260 0 -1 4202560 428 0 0 0 8 0 0 0 20 0 24 0 510261878 8616062976 30322 33554432000 4194304 4196468 140726998192544 140418883386224 140419775491290 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8749056 140726998197215 140726998197382 140726998197382 140726998200271 0
[pid=11877/tid=11893] ppid=11854 vsize=8414124 memory=534560 CPUtime=0.08 cores=0-7
/proc/11877/task/11893/stat : 11893 (java) S 11854 11854 9260 0 -1 1077944384 323 0 0 0 8 0 0 0 20 0 24 0 510261878 8616062976 30322 33554432000 4194304 4196468 140726998192544 140418882333168 140419792034434 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8749056 140726998197215 140726998197382 140726998197382 140726998200271 0
[pid=11877/tid=11894] ppid=11854 vsize=8414124 memory=33036 CPUtime=0.22 cores=0-7
/proc/11877/task/11894/stat : 11894 (java) R 11854 11854 9260 0 -1 4202560 767 0 0 0 22 0 0 0 20 0 24 0 510261878 8616062976 30322 33554432000 4194304 4196468 140726998192544 140418881280752 140419776336878 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8749056 140726998197215 140726998197382 140726998197382 140726998200271 0
[pid=11877/tid=11895] ppid=11854 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/11877/task/11895/stat : 11895 (java) S 11854 11854 9260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510261878 8616062976 30322 33554432000 4194304 4196468 140726998192544 140417311959520 140419792033493 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8749056 140726998197215 140726998197382 140726998197382 140726998200271 0
[pid=11877/tid=11896] ppid=11854 vsize=8414124 memory=0 CPUtime=0.1 cores=0-7
/proc/11877/task/11896/stat : 11896 (java) S 11854 11854 9260 0 -1 1077944384 11 0 0 0 2 8 0 0 20 0 24 0 510261878 8616062976 30322 33554432000 4194304 4196468 140726998192544 140418880228016 140419792034434 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8749056 140726998197215 140726998197382 140726998197382 140726998200271 0
[pid=11877/tid=11898] ppid=11854 vsize=8414124 memory=734122130331934768 CPUtime=0 cores=0-7
/proc/11877/task/11898/stat : 11898 (java) S 11854 11854 9260 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 510261946 8616062976 30322 33554432000 4194304 4196468 140726998192544 140418872193984 140419792047897 0 4 2 25189581 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 8749056 140726998197215 140726998197382 140726998197382 140726998200271 0
[pid=11877/tid=11900] ppid=11854 vsize=8414124 memory=648320 CPUtime=0.01 cores=0-7
/proc/11877/task/11900/stat : 11900 (java) R 11854 11854 9260 0 -1 4202560 16 0 0 0 1 0 0 0 20 0 24 0 510261946 8616062976 30322 33554432000 4194304 4196468 140726998192544 140416640867120 140419784264677 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8749056 140726998197215 140726998197382 140726998197382 140726998200271 0
[pid=11877/tid=11901] ppid=11854 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/11877/task/11901/stat : 11901 (java) S 11854 11854 9260 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 24 0 510261946 8616062976 30322 33554432000 4194304 4196468 140726998192544 140416909295760 140419792045213 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 8749056 140726998197215 140726998197382 140726998197382 140726998200271 0
[pid=11877/tid=11909] ppid=11854 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/11877/task/11909/stat : 11909 (java) S 11854 11854 9260 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 24 0 510261948 8616062976 30322 33554432000 4194304 4196468 140726998192544 140416372432304 140419792033493 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8749056 140726998197215 140726998197382 140726998197382 140726998200271 0
Current children cumulated CPU time: 13.15 s
Current children cumulated vsize: 8527252 KiB
Current children cumulated memory: 122764 KiB

Child status: 0
Real time (s): 151.931
CPU time (s): 1044.1
CPU user time (s): 1042.44
CPU system time (s): 1.66177
CPU usage (%): 687.223
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 1055072

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1042.44
system time used= 1.66177
maximum resident set size= 1058904
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 603426
page faults= 0
swaps= 0
block input operations= 0
block output operations= 920
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 18486
involuntary context switches= 9790


# summary of solver processes directly reported to runsolver:
#   pid: 11854
#   total CPU time (s): 1044.1
#   total CPU user time (s): 1042.44
#   total CPU system time (s): 1.66177

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.46956 second user time and 2.22607 second system time

The end

Launcher Data 

Begin job on node140 at 2019-09-24 18:39:49
IDJOB=4405578
IDBENCH=134588
IDSOLVER=2868
FILE ID=node140/4405578-1569343231
RUNJOBID= node140-1569335937-9287
PBS_JOBID= 21705054
Free space on /var/tmp= 13516 MiB

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

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

MD5SUM BENCH= 10ee2207fbf9262b8884f336b5729a19
RANDOM SEED=499698120

node140.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.43
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.43
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.43
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.43
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:        25646104 kB
MemAvailable:   31844932 kB
Buffers:          123460 kB
Cached:          6173228 kB
SwapCached:         2796 kB
Active:          3126272 kB
Inactive:        3179096 kB
Active(anon):       5252 kB
Inactive(anon):    58400 kB
Active(file):    3121020 kB
Inactive(file):  3120696 kB
Unevictable:      107700 kB
Mlocked:          107700 kB
SwapTotal:      67108860 kB
SwapFree:       66997512 kB
Dirty:             20588 kB
Writeback:             0 kB
AnonPages:        121352 kB
Mapped:            56720 kB
Shmem:             46808 kB
Slab:             414396 kB
SReclaimable:     385572 kB
SUnreclaim:        28824 kB
KernelStack:        3712 kB
PageTables:         5360 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     515096 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     77824 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      105856 kB
DirectMap2M:    33439744 kB

Free space on /var/tmp at the end= 13496 MiB
End job on node140 at 2019-09-24 18:42:22