Trace number 4405574

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)SAT 2037.71 304.197

General information on the benchmark

NameQRandom/QRandom-mdd-7-25-5/
mdd-7-25-5-56-01.xml
MD5SUM38fbb435e56fa73fec05cbb523a31b1b
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark56.5752
Satisfiable
(Un)Satisfiability was proved
Number of variables25
Number of constraints56
Number of domains1
Minimum domain size5
Maximum domain size5
Distribution of domain sizes[{"size":5,"count":25}]
Minimum variable degree11
Maximum variable degree24
Distribution of variable degrees[{"degree":11,"count":5},{"degree":12,"count":2},{"degree":13,"count":1},{"degree":14,"count":5},{"degree":15,"count":1},{"degree":16,"count":2},{"degree":17,"count":1},{"degree":18,"count":2},{"degree":20,"count":2},{"degree":21,"count":1},{"degree":22,"count":1},{"degree":23,"count":1},{"degree":24,"count":1}]
Minimum constraint arity7
Maximum constraint arity7
Distribution of constraint arities[{"arity":7,"count":56}]
Number of extensional constraints56
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":56}]
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-13168-serial-file.bin HOME/instance-4405574-1569335979.xml
0.64/0.55	
0.64/0.55	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
0.64/0.55	
0.64/0.57	c BEGIN-Prog: Tue Sep 24 15:37:37 CEST 2019
0.64/0.57	c PID: 13171
0.64/0.57	c IP: 172.20.3.107
0.64/0.57	c HOST: node107.alineos.net
0.64/0.58	c (0,0) Parsing Begin
6.65/4.91	c (4,4) Parsing End
7.21/5.15	c (4,4) CSP: 25 int (0 aux), 0 bool (0 aux), 56 ctr, max domain size 5
7.21/5.15	c (4,4) Heap : 3943 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
7.21/5.15	c (4,4) Constraint Name Generate Begin
7.21/5.15	c (4,4) Ctr:HOME/instance-4405574-1569335979.xml,ExtensionSupport:Var
7.21/5.15	c (4,4) Constraint Name Generate End
7.21/5.15	c (4,4) Heap : 3943 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
7.21/5.15	c (4,4) CSP to CSPinCNF Begin
19.06/9.82	c (9,9) translated 6 (10%) constraints
26.51/14.14	c (13,13) translated 12 (20%) constraints
30.86/17.62	c (17,16) translated 17 (30%) constraints
36.40/22.20	c (21,21) translated 23 (40%) constraints
39.97/25.52	c (24,24) translated 28 (50%) constraints
46.05/30.19	c (29,29) translated 34 (60%) constraints
50.40/34.16	c (33,33) translated 40 (70%) constraints
53.84/37.50	c (36,36) translated 45 (80%) constraints
59.05/41.96	c (41,40) translated 51 (90%) constraints
62.36/45.22	c (44,44) translated 56 (100%) constraints
63.07/45.93	c (45,44) ===========================================
63.07/46.00	c (45,44) Hybrid: #OE=14025, #LE=0
63.07/46.00	c (45,44) Hybrid
63.07/46.00	c (45,44) ===========================================
64.25/46.43	c (45,45) translated 14635 (10%) constraints
64.56/46.77	c (46,45) translated 29269 (20%) constraints
65.04/47.13	c (46,46) translated 43904 (30%) constraints
65.35/47.47	c (46,46) translated 58538 (40%) constraints
65.75/47.81	c (47,46) translated 73172 (50%) constraints
66.06/48.15	c (47,47) translated 87807 (60%) constraints
66.35/48.49	c (47,47) translated 102441 (70%) constraints
66.75/48.83	c (48,47) translated 117076 (80%) constraints
67.06/49.17	c (48,48) translated 131710 (90%) constraints
67.46/49.50	c (48,48) translated 146344 (100%) constraints
67.46/49.50	c (48,48) CSP to CSPinCNF End
67.46/49.52	c (48,48) CSP: 25 int (0 aux), 14000 bool (14000 aux), 146344 ctr, max domain size 5
67.46/49.52	c (48,48) Heap : 5860 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB)
67.46/49.52	c (48,48) CSPinCNF Propagation Begin
70.09/50.48	c (49,49) 0 values, 71 unsatisfiable literals, and 21 valid clauses are removed
70.09/50.48	c (49,49) CSPinCNF Propagation End
70.09/50.48	c (49,49) CSP: 25 int (0 aux), 14000 bool (14000 aux), 146323 ctr, max domain size 5
70.09/50.48	c (49,49) Heap : 1116 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB)
70.20/50.54	c (49,49) Hybrid: #OE=14025, #LE=0
70.20/50.54	c (49,49) Simplify CSPinCNF Begin
70.62/50.86	c (50,49) Simplify CSPinCNF End
70.62/50.86	c (50,49) CSP: 25 int (0 aux), 14000 bool (14000 aux), 146323 ctr, max domain size 5
70.62/50.86	c (50,49) Heap : 1339 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB)
70.62/50.86	c (50,49) Calculate Precise Domain Begin
70.62/50.86	c (50,49) 0 values are removed by re-calculation
70.62/50.86	c (50,49) Calculate Precise Domain End
70.62/50.86	c (50,49) CSP: 25 int (0 aux), 14000 bool (14000 aux), 146323 ctr, max domain size 5
70.62/50.86	c (50,49) Heap : 1339 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB)
70.62/50.86	c (50,49) CSPinCNF to SatSolver Begin
71.89/51.30	c (50,50) 14633 (10 %) CSP clauses are encoded (0 SAT variables, 14707 SAT clauses)
72.33/51.44	c (50,50) 29265 (20 %) CSP clauses are encoded (0 SAT variables, 29339 SAT clauses)
72.45/51.59	c (51,50) 43897 (30 %) CSP clauses are encoded (0 SAT variables, 43971 SAT clauses)
72.65/51.73	c (51,50) 58530 (40 %) CSP clauses are encoded (0 SAT variables, 58604 SAT clauses)
72.75/51.87	c (51,50) 73162 (50 %) CSP clauses are encoded (0 SAT variables, 73236 SAT clauses)
72.96/52.01	c (51,50) 87794 (60 %) CSP clauses are encoded (0 SAT variables, 87868 SAT clauses)
73.06/52.15	c (51,50) 102427 (70 %) CSP clauses are encoded (0 SAT variables, 102501 SAT clauses)
73.15/52.30	c (51,51) 117059 (80 %) CSP clauses are encoded (0 SAT variables, 117133 SAT clauses)
73.35/52.44	c (51,51) 131691 (90 %) CSP clauses are encoded (0 SAT variables, 131765 SAT clauses)
73.45/52.58	c (52,51) 146323 (100 %) CSP clauses are encoded (0 SAT variables, 146397 SAT clauses)
73.45/52.58	c (52,51) CSPinCNF to SatSolver End
73.45/52.58	c (52,51) Heap : 2678 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
73.45/52.58	c (52,51) 14097 bool, 146398 clause
73.45/52.58	c (52,51) Export Begin
73.55/52.66	c (52,51) Export to HOME/scop-13168-serial-file.bin
73.55/52.66	c (52,51) Export End
73.55/52.67	c (52,51) Export File Size: 0.01 MB
73.55/52.67	c (52,51) 4,4,48,49,50,50,52,STOP-AFTER(DIMACS)
73.55/52.67	c END-Prog: Tue Sep 24 15:38:29 CEST 2019
0.00/52.71	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-13168-serial-file.bin
74.25/53.18	c (0,0) Read Serial File Begin
74.25/53.18	c (0,0) HOME/scop-13168-serial-file.bin
74.52/53.39	c (0,0) Read Serial File End
74.66/53.40	
74.66/53.40	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
74.66/53.40	(Solving Process)
74.66/53.40	
74.66/53.42	c BEGIN-Prog: Tue Sep 24 15:38:30 CEST 2019
74.66/53.42	c PID: 13193
74.66/53.42	c IP: 172.20.3.107
74.66/53.42	c HOST: node107.alineos.net
74.66/53.43	c (0,0) SatSolver.solve Begin
74.66/53.43	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4405574-1569335979.xml-scop-13171.cnf
74.66/53.45	c (0,0) c
74.66/53.45	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)
74.66/53.45	c (0,0) c
74.66/53.45	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
74.66/53.45	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
74.66/53.45	c (0,0) c ========================================[ Problem Statistics ]===========================================
74.66/53.45	c (0,0) c |                                                                                                       |
74.90/53.51	c (0,0) c |  Number of variables:         14097                                                                   |
74.90/53.51	c (0,0) c |  Number of clauses:          146398                                                                   |
74.90/53.51	c (0,0) c |  Parse time:                   0.05 s                                                                 |
74.90/53.51	c (0,0) c |                                                                                                       |
74.91/53.60	c (0,0) c |  Simplification time:          0.09 s                                                                 |
74.91/53.60	c (0,0) c |                                                                                                       |
74.91/53.60	c (0,0) c |  Generating clones                                                                                    |
74.91/53.65	c (0,0) c |  all clones generated. Memory =   121.02Mb.                                                           |
74.91/53.65	c (0,0) c ========================================================================================================|
74.91/53.65	c (0,0) c
74.91/53.65	c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
74.91/53.65	c (0,0) c
74.91/53.65	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
74.91/53.65	c (0,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
74.91/53.65	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
74.91/53.65	c (0,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
74.91/53.65	c (0,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
74.91/53.65	c (0,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
74.91/53.65	c (0,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
74.91/53.65	c (0,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
74.91/53.65	c (0,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
74.91/53.65	c (0,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
74.91/53.65	c (0,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
74.91/53.65	c (0,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
74.91/53.65	c (0,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
74.91/53.65	c (0,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
74.91/53.65	c (0,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
74.91/53.65	c (0,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
74.91/53.65	c (0,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
74.91/53.65	c (0,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
74.91/53.65	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
311.01/83.31	c (30,0) c
311.01/83.31	c (30,0) c |------------------------------------------------------------------------------------------------------------------------|
311.01/83.31	c (30,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
311.01/83.31	c (30,0) c |------------------------------------------------------------------------------------------------------------------------|
311.01/83.31	c (30,0) c |  0 |     54 |      55425 |      42514 |    45797 |    16427 |     7456 |    47676 |     2831 |      199 |  20 |  0.000 |
311.01/83.31	c (30,0) c |  1 |     45 |      54366 |      41772 |    46706 |    15693 |     7371 |    46837 |     2857 |      199 |  20 |  0.000 |
311.01/83.31	c (30,0) c |  2 |     28 |      52266 |      40396 |    42109 |    14309 |     7668 |    31521 |     2099 |      197 |  20 |  0.000 |
311.01/83.31	c (30,0) c |  3 |     22 |      53090 |      41833 |    41487 |    15747 |     7544 |    45102 |     2037 |      204 |  20 |  0.000 |
311.01/83.31	c (30,0) c |  4 |     35 |      51822 |      40451 |    44152 |    14359 |     7665 |    48252 |     2355 |      202 |  20 |  0.000 |
311.01/83.31	c (30,0) c |  5 |     28 |      53533 |      41852 |    43236 |    15762 |     7923 |    48072 |     2400 |      201 |  20 |  0.000 |
311.01/83.31	c (30,0) c |  6 |     46 |      53559 |      40579 |    45034 |    14490 |     7430 |    39175 |     2615 |      198 |  20 |  0.000 |
311.01/83.31	c (30,0) c |  7 |     45 |      54272 |      41267 |    46185 |    15174 |     7509 |    44131 |     2377 |      198 |  20 |  0.000 |
311.01/83.31	c (30,0) c 
311.01/83.31	c (30,0) c synthesis      330664 conflicts   629572279 propagations     1408 conflicts/sec  2680905 propagations/sec
311.01/83.31	c (30,0) c real: 29.8542 s, cpu: 234.836 s, memory: 708.75 Mb
550.22/113.31	c (60,0) c
550.22/113.31	c (60,0) c |------------------------------------------------------------------------------------------------------------------------|
550.22/113.31	c (60,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
550.22/113.31	c (60,0) c |------------------------------------------------------------------------------------------------------------------------|
550.22/113.31	c (60,0) c |  0 |     75 |      96703 |      76850 |    54793 |    23289 |    12538 |    83365 |     5750 |      390 |  20 |  0.000 |
550.22/113.31	c (60,0) c |  1 |     60 |      96678 |      76714 |    55718 |    23155 |    12566 |    81547 |     6061 |      395 |  20 |  0.000 |
550.22/113.31	c (60,0) c |  2 |     44 |      94487 |      75445 |    50695 |    21883 |    12701 |    79808 |     5262 |      391 |  20 |  0.000 |
550.22/113.31	c (60,0) c |  3 |     31 |      95070 |      76913 |    52551 |    23353 |    12908 |    84909 |     4982 |      399 |  20 |  0.000 |
550.22/113.31	c (60,0) c |  4 |     54 |      93727 |      74888 |    54102 |    21327 |    12699 |    77081 |     5109 |      394 |  20 |  0.000 |
550.22/113.31	c (60,0) c |  5 |     39 |      93332 |      75309 |    52101 |    21744 |    12860 |    71526 |     5527 |      394 |  20 |  0.000 |
550.22/113.31	c (60,0) c |  6 |     81 |      98394 |      76714 |    55082 |    23146 |    13001 |    85399 |     5469 |      394 |  20 |  0.000 |
550.22/113.31	c (60,0) c |  7 |     54 |      94904 |      75245 |    54127 |    21682 |    12745 |    84617 |     4987 |      387 |  20 |  0.000 |
550.22/113.31	c (60,0) c 
550.22/113.31	c (60,0) c synthesis      608078 conflicts  1187366038 propagations     1283 conflicts/sec  2505429 propagations/sec
550.22/113.31	c (60,0) c real: 59.8542 s, cpu: 473.917 s, memory: 708.75 Mb
789.02/143.31	c (90,0) c
789.02/143.31	c (90,0) c |------------------------------------------------------------------------------------------------------------------------|
789.02/143.31	c (90,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
789.02/143.31	c (90,0) c |------------------------------------------------------------------------------------------------------------------------|
789.02/143.31	c (90,0) c |  0 |     91 |     135062 |     109352 |    60758 |    38178 |    17076 |   114668 |     8486 |      579 |  20 |  0.000 |
789.02/143.31	c (90,0) c |  1 |     68 |     132054 |     107087 |    59992 |    35921 |    16696 |   113811 |     8256 |      585 |  20 |  0.000 |
789.02/143.31	c (90,0) c |  2 |     72 |     133082 |     107723 |    58170 |    36545 |    17014 |   113397 |     8080 |      583 |  20 |  0.000 |
789.02/143.31	c (90,0) c |  3 |     31 |     131101 |     108713 |    57694 |    37535 |    17232 |    84909 |     6623 |      592 |  20 |  0.000 |
789.02/143.31	c (90,0) c |  4 |     59 |     132155 |     107741 |    58397 |    36562 |    16704 |   109731 |     6870 |      588 |  20 |  0.000 |
789.02/143.31	c (90,0) c |  5 |     43 |     130699 |     107533 |    56679 |    36353 |    16602 |   116941 |     7282 |      592 |  20 |  0.000 |
789.02/143.31	c (90,0) c |  6 |    105 |     137297 |     109313 |    60694 |    38130 |    17316 |   107043 |     7989 |      586 |  20 |  0.000 |
789.02/143.31	c (90,0) c |  7 |     65 |     131108 |     106320 |    58430 |    35149 |    16770 |   110925 |     7409 |      572 |  20 |  0.000 |
789.02/143.31	c (90,0) c 
789.02/143.31	c (90,0) c synthesis      863782 conflicts  1719234639 propagations     1212 conflicts/sec  2412340 propagations/sec
789.02/143.31	c (90,0) c real: 89.8592 s, cpu: 712.683 s, memory: 708.75 Mb
1021.57/173.30	c (120,0) c
1021.57/173.30	c (120,0) c |------------------------------------------------------------------------------------------------------------------------|
1021.57/173.30	c (120,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1021.57/173.30	c (120,0) c |------------------------------------------------------------------------------------------------------------------------|
1021.57/173.30	c (120,0) c |  0 |    104 |     171242 |     140467 |    64346 |    26285 |    20882 |   133600 |    10573 |      770 |  20 |  0.000 |
1021.57/173.30	c (120,0) c |  1 |     82 |     166082 |     136238 |    63172 |    44866 |    20391 |   135271 |     9996 |      770 |  20 |  0.000 |
1021.57/173.30	c (120,0) c |  2 |     75 |     166296 |     136742 |    61349 |    45358 |    20734 |   129503 |     9825 |      770 |  20 |  0.000 |
1021.57/173.30	c (120,0) c |  3 |     37 |     163596 |     137160 |    61134 |    22973 |    20242 |   140420 |     8375 |      770 |  20 |  0.000 |
1021.57/173.30	c (120,0) c |  4 |     62 |     166475 |     137087 |    61630 |    22909 |    20365 |   121305 |     8130 |      770 |  20 |  0.000 |
1021.57/173.30	c (120,0) c |  5 |     56 |     166123 |     137820 |    61114 |    23635 |    19803 |   137896 |     9805 |      770 |  20 |  0.000 |
1021.57/173.30	c (120,0) c |  6 |    119 |     170696 |     138096 |    63748 |    23911 |    20540 |   140365 |     9856 |      770 |  20 |  0.000 |
1021.57/173.30	c (120,0) c |  7 |     77 |     165315 |     135570 |    62079 |    44193 |    20387 |   134993 |     9473 |      750 |  20 |  0.000 |
1021.57/173.30	c (120,0) c 
1021.57/173.30	c (120,0) c synthesis     1099180 conflicts  2208465653 propagations     1163 conflicts/sec  2336784 propagations/sec
1021.57/173.30	c (120,0) c real: 119.853 s, cpu: 945.088 s, memory: 708.75 Mb
1249.44/202.31	c (149,0) c
1249.44/202.31	c (149,0) c |------------------------------------------------------------------------------------------------------------------------|
1249.44/202.31	c (149,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1249.44/202.31	c (149,0) c |------------------------------------------------------------------------------------------------------------------------|
1249.44/202.31	c (149,0) c |  0 |    108 |     201540 |     167129 |    66887 |    27552 |    23815 |   145050 |    12346 |      943 |  20 |  0.000 |
1249.44/202.31	c (149,0) c |  1 |    104 |     198898 |     163831 |    66090 |    49650 |    23034 |   160815 |    12116 |      946 |  20 |  0.000 |
1249.44/202.31	c (149,0) c |  2 |     75 |     194952 |     162429 |    63139 |    48248 |    22958 |   129503 |    10631 |      945 |  20 |  0.000 |
1249.44/202.31	c (149,0) c |  3 |     72 |     196670 |     164585 |    64915 |    50398 |    23028 |   160832 |    10525 |      942 |  20 |  0.000 |
1249.44/202.31	c (149,0) c |  4 |     66 |     197512 |     164088 |    64247 |    49910 |    23366 |   157665 |    10223 |      942 |  20 |  0.000 |
1249.44/202.31	c (149,0) c |  5 |     72 |     198732 |     165526 |    64298 |    25940 |    23123 |   158223 |    11882 |      943 |  20 |  0.000 |
1249.44/202.31	c (149,0) c |  6 |    162 |     203193 |     165197 |    66971 |    25609 |    23642 |   160380 |    11636 |      941 |  20 |  0.000 |
1249.44/202.31	c (149,0) c |  7 |     85 |     198009 |     163506 |    65063 |    49329 |    23763 |   157009 |    11641 |      926 |  20 |  0.000 |
1249.44/202.31	c (149,0) c 
1249.44/202.31	c (149,0) c synthesis     1316291 conflicts  2656785207 propagations     1122 conflicts/sec  2265081 propagations/sec
1249.44/202.31	c (149,0) c real: 148.854 s, cpu: 1172.93 s, memory: 708.75 Mb
1487.47/232.31	c (179,0) c
1487.47/232.31	c (179,0) c |------------------------------------------------------------------------------------------------------------------------|
1487.47/232.31	c (179,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1487.47/232.31	c (179,0) c |------------------------------------------------------------------------------------------------------------------------|
1487.47/232.31	c (179,0) c |  0 |    108 |     230653 |     192999 |    68462 |    53422 |    26568 |   145050 |    13300 |     1119 |  20 |  0.000 |
1487.47/232.31	c (179,0) c |  1 |    122 |     231882 |     192305 |    69007 |    52724 |    26216 |   177190 |    13994 |     1132 |  20 |  0.000 |
1487.47/232.31	c (179,0) c |  2 |     88 |     228508 |     191144 |    66303 |    51561 |    26306 |   175955 |    12421 |     1132 |  20 |  0.000 |
1487.47/232.31	c (179,0) c |  3 |     87 |     228685 |     192246 |    67345 |    52655 |    25654 |   177329 |    12454 |     1116 |  20 |  0.000 |
1487.47/232.31	c (179,0) c |  4 |     72 |     231657 |     193409 |    67376 |    53826 |    26692 |   174598 |    12005 |     1132 |  20 |  0.000 |
1487.47/232.31	c (179,0) c |  5 |     95 |     229379 |     191981 |    66731 |    52396 |    26082 |   181271 |    13706 |     1116 |  20 |  0.000 |
1487.47/232.31	c (179,0) c |  6 |    175 |     234821 |     192586 |    69364 |    52998 |    26679 |   178732 |    13357 |     1113 |  20 |  0.000 |
1487.47/232.31	c (179,0) c |  7 |     87 |     229161 |     191048 |    67196 |    51467 |    26793 |   177429 |    13197 |     1112 |  20 |  0.000 |
1487.47/232.31	c (179,0) c 
1487.47/232.31	c (179,0) c synthesis     1537718 conflicts  3119580965 propagations     1090 conflicts/sec  2211284 propagations/sec
1487.47/232.31	c (179,0) c real: 178.854 s, cpu: 1410.76 s, memory: 708.75 Mb
1716.42/262.32	c (209,0) c
1716.42/262.32	c (209,0) c |------------------------------------------------------------------------------------------------------------------------|
1716.42/262.32	c (209,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1716.42/262.32	c (209,0) c |------------------------------------------------------------------------------------------------------------------------|
1716.42/262.32	c (209,0) c |  0 |    108 |     260059 |     219525 |    69714 |    51941 |    29102 |   145050 |    14011 |     1303 |  20 |  0.000 |
1716.42/262.32	c (209,0) c |  1 |    144 |     261931 |     218168 |    70750 |    50582 |    28982 |   199212 |    15431 |     1303 |  20 |  0.000 |
1716.42/262.32	c (209,0) c |  2 |     90 |     257289 |     216439 |    68395 |    48857 |    28663 |   189743 |    13923 |     1303 |  20 |  0.000 |
1716.42/262.32	c (209,0) c |  3 |     98 |     258183 |     217766 |    69432 |    50190 |    28403 |   194177 |    14303 |     1283 |  20 |  0.000 |
1716.42/262.32	c (209,0) c |  4 |     75 |     261212 |     219294 |    69567 |    51719 |    28778 |   191607 |    13298 |     1303 |  20 |  0.000 |
1716.42/262.32	c (209,0) c |  5 |    101 |     262057 |     220386 |    69170 |    52802 |    29199 |   200971 |    15481 |     1302 |  20 |  0.000 |
1716.42/262.32	c (209,0) c |  6 |    175 |     264301 |     217998 |    70714 |    50414 |    29665 |   178732 |    14444 |     1284 |  20 |  0.000 |
1716.42/262.32	c (209,0) c |  7 |     99 |     261067 |     218836 |    69515 |    51256 |    29825 |   193769 |    14757 |     1297 |  20 |  0.000 |
1716.42/262.32	c (209,0) c 
1716.42/262.32	c (209,0) c synthesis     1748412 conflicts  3560225179 propagations     1066 conflicts/sec  2171296 propagations/sec
1716.42/262.32	c (209,0) c real: 208.857 s, cpu: 1639.68 s, memory: 708.75 Mb
1946.96/292.30	c (239,0) c
1946.96/292.30	c (239,0) c |------------------------------------------------------------------------------------------------------------------------|
1946.96/292.30	c (239,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1946.96/292.30	c (239,0) c |------------------------------------------------------------------------------------------------------------------------|
1946.96/292.30	c (239,0) c |  0 |    108 |     288383 |     244869 |    70987 |    46685 |    31412 |   145050 |    14875 |     1480 |  20 |  0.000 |
1946.96/292.30	c (239,0) c |  1 |    164 |     291639 |     243916 |    72429 |    45725 |    31916 |   211513 |    17039 |     1480 |  20 |  0.000 |
1946.96/292.30	c (239,0) c |  2 |     91 |     285117 |     241254 |    69900 |    43067 |    30740 |   218630 |    15126 |     1474 |  20 |  0.000 |
1946.96/292.30	c (239,0) c |  3 |    124 |     288715 |     244214 |    71280 |    46034 |    30851 |   217800 |    15983 |     1460 |  20 |  0.000 |
1946.96/292.30	c (239,0) c |  4 |     82 |     290716 |     245372 |    71436 |    47194 |    31178 |   219670 |    15227 |     1479 |  20 |  0.000 |
1946.96/292.30	c (239,0) c |  5 |    103 |     289671 |     244850 |    70853 |    46666 |    31545 |   203805 |    16824 |     1472 |  20 |  0.000 |
1946.96/292.30	c (239,0) c |  6 |    180 |     294245 |     244001 |    72208 |    45812 |    32488 |   217051 |    15605 |     1463 |  20 |  0.000 |
1946.96/292.30	c (239,0) c |  7 |    110 |     290950 |     245051 |    71325 |    46866 |    32493 |   217681 |    16346 |     1479 |  20 |  0.000 |
1946.96/292.30	c (239,0) c 
1946.96/292.30	c (239,0) c synthesis     1953527 conflicts  3988460788 propagations     1045 conflicts/sec  2132826 propagations/sec
1946.96/292.30	c (239,0) c real: 238.854 s, cpu: 1870.04 s, memory: 708.75 Mb
2037.31/304.05	c (250,0) c
2037.31/304.05	c (250,0) c real time : 250.605 s
2037.31/304.05	c (250,0) c cpu time  : 1960.29 s
2037.31/304.05	c (250,0) c
2037.31/304.05	c (250,0) c
2037.31/304.05	c (250,0) c
2037.31/304.05	c (250,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
2037.31/304.05	c (250,0) c
2037.31/304.05	c (250,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
2037.31/304.05	c (250,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
2037.31/304.05	c (250,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
2037.31/304.05	c (250,0) c | Conflicts     |         2030647 |     253317 |     251643 |     251130 |     255282 |     254772 |     254804 |     255277 |     254422 |
2037.31/304.05	c (250,0) c | Decisions     |         2407180 |     297982 |     300375 |     296208 |     301277 |     301366 |     301120 |     307299 |     301553 |
2037.31/304.05	c (250,0) c | Propagations  |      4150296266 |  507806343 |  516570814 |  521775648 |  516405925 |  525317092 |  517912787 |  521181949 |  523325708 |
2037.31/304.06	c (250,0) c | ReduceDBs     |             104 |         13 |         13 |         13 |         13 |         13 |         13 |         13 |         13 |
2037.31/304.06	c (250,0) c | SimpDBs       |               8 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |
2037.31/304.06	c (250,0) c | Restarts      |             991 |        116 |        164 |         91 |        128 |         84 |        109 |        189 |        110 |
2037.31/304.06	c (250,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
2037.31/304.06	c (250,0) c | PropBinClauses|      1093178174 |  137189171 |  136694779 |  136918717 |  137829024 |  135627072 |  135738554 |  136132687 |  137048170 |
2037.31/304.06	c (250,0) c | PropPreBlocker|     43951622606 | 5463049569 | 5469083655 | 5523700993 | 5479826983 | 5514567661 | 5498886573 | 5480919626 | 5521587546 |
2037.31/304.06	c (250,0) c | PropNotBlocker|     15211562696 | 1929493828 | 1906536870 | 1895264352 | 1892840009 | 1895351077 | 1898791871 | 1884889237 | 1908395452 |
2037.31/304.06	c (250,0) c | LitFullScans  |     74009300027 | 9240634433 | 9228151549 | 9276651187 | 9222682138 | 9282717528 | 9247075809 | 9222700234 | 9288687149 |
2037.31/304.06	c (250,0) c | LitScanFracts |         5691591 |     629377 |     672460 |     631449 |     656995 |     710704 |    1066279 |     671353 |     652974 |
2037.31/304.06	c (250,0) c | DecisionLevel0|             991 |        116 |        164 |         91 |        128 |         84 |        109 |        189 |        110 |
2037.31/304.06	c (250,0) c | Periods       |           12333 |       1540 |       1537 |       1546 |       1537 |       1547 |       1541 |       1537 |       1548 |
2037.31/304.06	c (250,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
2037.31/304.06	c (250,0) c | Avg_Trail     |                 |       6665 |       6713 |       6779 |       6711 |       6741 |       6690 |       6706 |       6715 |
2037.31/304.06	c (250,0) c | Avg_DL        |                 |         15 |         16 |         15 |         16 |         17 |         16 |         16 |         16 |
2037.31/304.06	c (250,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
2037.31/304.06	c (250,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
2037.31/304.06	c (250,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
2037.31/304.06	c (250,0) c | Exported      |          259427 |      32007 |      32893 |      31520 |      31805 |      32059 |      32380 |      33469 |      33294 |
2037.31/304.06	c (250,0) c | Imported      |         1761656 |     224150 |     211513 |     218630 |     219490 |     224238 |     222590 |     223364 |     217681 |
2037.31/304.06	c (250,0) c | Good          |            2663 |        340 |        325 |        323 |        324 |        344 |        340 |        327 |        340 |
2037.31/304.06	c (250,0) c | Purge         |         1758993 |     223810 |     211188 |     218307 |     219166 |     223894 |     222250 |     223037 |     217341 |
2037.31/304.06	c (250,0) c | Promoted      |          132303 |      15570 |      17329 |      15774 |      16580 |      15917 |      17396 |      16760 |      16977 |
2037.31/304.06	c (250,0) c | Remove_Imp    |         1056093 |      94083 |     147875 |     128364 |     146682 |     130270 |     142194 |     122442 |     144183 |
2037.31/304.06	c (250,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
2037.31/304.06	c (250,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
2037.31/304.06	c (250,0) c | Unaries       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
2037.31/304.06	c (250,0) c | Binaries      |                 |         43 |         51 |         57 |         56 |         39 |         43 |         57 |         39 |
2037.31/304.06	c (250,0) c | Glues         |                 |       1193 |       1228 |       1139 |       1162 |       1170 |       1181 |       1270 |       1243 |
2037.31/304.06	c (250,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
2037.31/304.06	c (250,0) c | Orig_Seen     |            49 % |      71532 |      72787 |      70421 |      72025 |      72066 |      71414 |      73041 |      71895 |
2037.31/304.06	c (250,0) c | Diff Orig seen|                 | -     1255 |      X     | -     2366 | -      762 | -      721 | -     1373 |        254 | -      892 |
2037.31/304.06	c (250,0) c | Hamming       |            48 % |       6850 |      X     |       6944 |       6609 |       6936 |       6717 |       6779 |       6674 |
2037.31/304.06	c (250,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
2037.31/304.06	c (250,0) c | RunningTime   |                 |  244.1  98%|  242.5  97%|  245.0  98%|  248.6  99%|  243.4  97%|  246.7  99%|  248.5  99%|  249.2 100%|
2037.31/304.06	c (250,0) c | WaitingTime   |                 |    5.7   2%|    7.2   3%|    4.7   2%|    1.6   1%|    6.4   3%|    3.0   1%|    1.7   1%|    0.5   0%|
2037.31/304.06	c (250,0) c | ExchangingTime|                 |    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|
2037.31/304.06	c (250,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%|
2037.31/304.06	c (250,0) c | SolvingTime   |                 |  249.9     |  249.8     |  249.8     |  250.4     |  249.8     |  249.8     |  250.3     |  249.9     |
2037.31/304.06	c (250,0) c | PropagationTim|                 |  238.5  95%|  238.8  96%|  236.8  95%|  238.0  95%|  237.4  95%|  236.8  95%|  237.2  95%|  235.9  94%|
2037.31/304.06	c (250,0) c | AnalysisTime  |                 |    5.8   2%|    5.7   2%|    7.4   3%|    6.6   3%|    6.8   3%|    7.3   3%|    7.2   3%|    8.4   3%|
2037.31/304.06	c (250,0) c | ReductionTime |                 |    0.5   0%|    0.5   0%|    0.5   0%|    0.5   0%|    0.5   0%|    0.5   0%|    0.5   0%|    0.5   0%|
2037.31/304.06	c (250,0) c | SimplifyTime  |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
2037.31/304.06	c (250,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%|
2037.31/304.06	c (250,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%|
2037.31/304.06	c (250,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
2037.31/304.06	c (250,0) c
2037.31/304.06	c (250,0) c
2037.31/304.06	c (250,0) c Threads : 8
2037.31/304.06	c (250,0) c Winner : 1
2037.31/304.06	c (250,0) c Conflicts_0 : 253317
2037.31/304.06	c (250,0) c Conflicts_1 : 251643
2037.31/304.06	c (250,0) c Conflicts_2 : 251130
2037.31/304.06	c (250,0) c Conflicts_3 : 255282
2037.31/304.06	c (250,0) c Conflicts_4 : 254772
2037.31/304.06	c (250,0) c Conflicts_5 : 254804
2037.31/304.06	c (250,0) c Conflicts_6 : 255277
2037.31/304.06	c (250,0) c Conflicts_7 : 254422
2037.31/304.06	c (250,0) c Conflicts_total : 2030647
2037.31/304.06	c (250,0) c Conflicts_winner : 251643
2037.31/304.06	c (250,0) c Decisions_0 : 297982
2037.31/304.06	c (250,0) c Decisions_1 : 300375
2037.31/304.06	c (250,0) c Decisions_2 : 296208
2037.31/304.06	c (250,0) c Decisions_3 : 301277
2037.31/304.06	c (250,0) c Decisions_4 : 301366
2037.31/304.06	c (250,0) c Decisions_5 : 301120
2037.31/304.06	c (250,0) c Decisions_6 : 307299
2037.31/304.06	c (250,0) c Decisions_7 : 301553
2037.31/304.06	c (250,0) c Decisions_total : 2407180
2037.31/304.06	c (250,0) c Decisions_winner : 300375
2037.31/304.06	c (250,0) c Propagations_0 : 507806343
2037.31/304.06	c (250,0) c Propagations_1 : 516570814
2037.31/304.06	c (250,0) c Propagations_2 : 521775648
2037.31/304.06	c (250,0) c Propagations_3 : 516405925
2037.31/304.06	c (250,0) c Propagations_4 : 525317092
2037.31/304.06	c (250,0) c Propagations_5 : 517912787
2037.31/304.06	c (250,0) c Propagations_6 : 521181949
2037.31/304.06	c (250,0) c Propagations_7 : 523325708
2037.31/304.06	c (250,0) c Propagations_total : 4150296266
2037.31/304.06	c (250,0) c Propagations_winner : 516570814
2037.31/304.06	c (250,0) c ReduceDBs_0 : 13
2037.31/304.06	c (250,0) c ReduceDBs_1 : 13
2037.31/304.06	c (250,0) c ReduceDBs_2 : 13
2037.31/304.06	c (250,0) c ReduceDBs_3 : 13
2037.31/304.06	c (250,0) c ReduceDBs_4 : 13
2037.31/304.06	c (250,0) c ReduceDBs_5 : 13
2037.31/304.06	c (250,0) c ReduceDBs_6 : 13
2037.31/304.06	c (250,0) c ReduceDBs_7 : 13
2037.31/304.06	c (250,0) c ReduceDBs_total : 104
2037.31/304.06	c (250,0) c ReduceDBs_winner : 13
2037.31/304.06	c (250,0) c SimpDBs_0 : 1
2037.31/304.06	c (250,0) c SimpDBs_1 : 1
2037.31/304.06	c (250,0) c SimpDBs_2 : 1
2037.31/304.06	c (250,0) c SimpDBs_3 : 1
2037.31/304.06	c (250,0) c SimpDBs_4 : 1
2037.31/304.06	c (250,0) c SimpDBs_5 : 1
2037.31/304.06	c (250,0) c SimpDBs_6 : 1
2037.31/304.06	c (250,0) c SimpDBs_7 : 1
2037.31/304.06	c (250,0) c SimpDBs_total : 8
2037.31/304.06	c (250,0) c SimpDBs_winner : 1
2037.31/304.06	c (250,0) c Restarts_0 : 116
2037.31/304.06	c (250,0) c Restarts_1 : 164
2037.31/304.06	c (250,0) c Restarts_2 : 91
2037.31/304.06	c (250,0) c Restarts_3 : 128
2037.31/304.06	c (250,0) c Restarts_4 : 84
2037.31/304.06	c (250,0) c Restarts_5 : 109
2037.31/304.06	c (250,0) c Restarts_6 : 189
2037.31/304.06	c (250,0) c Restarts_7 : 110
2037.31/304.06	c (250,0) c Restarts_total : 991
2037.31/304.06	c (250,0) c Restarts_winner : 164
2037.31/304.06	c (250,0) c ForcedImports_0 : 0
2037.31/304.06	c (250,0) c ForcedImports_1 : 0
2037.31/304.06	c (250,0) c ForcedImports_2 : 0
2037.31/304.06	c (250,0) c ForcedImports_3 : 0
2037.31/304.06	c (250,0) c ForcedImports_4 : 0
2037.31/304.06	c (250,0) c ForcedImports_5 : 0
2037.31/304.06	c (250,0) c ForcedImports_6 : 0
2037.31/304.06	c (250,0) c ForcedImports_7 : 0
2037.31/304.06	c (250,0) c ForcedImports_total : 0
2037.31/304.06	c (250,0) c ForcedImports_winner : 0
2037.31/304.06	c (250,0) c PropsBinClauses_0 : 137189171
2037.31/304.06	c (250,0) c PropsBinClauses_1 : 136694779
2037.31/304.06	c (250,0) c PropsBinClauses_2 : 136918717
2037.31/304.06	c (250,0) c PropsBinClauses_3 : 137829024
2037.31/304.06	c (250,0) c PropsBinClauses_4 : 135627072
2037.31/304.06	c (250,0) c PropsBinClauses_5 : 135738554
2037.31/304.06	c (250,0) c PropsBinClauses_6 : 136132687
2037.31/304.06	c (250,0) c PropsBinClauses_7 : 137048170
2037.31/304.06	c (250,0) c PropsBinClauses_total : 1093178174
2037.31/304.06	c (250,0) c PropsBinClauses_winner : 136694779
2037.31/304.06	c (250,0) c PropsPreBlocker_0 : 5463049569
2037.31/304.06	c (250,0) c PropsPreBlocker_1 : 5469083655
2037.31/304.06	c (250,0) c PropsPreBlocker_2 : 5523700993
2037.31/304.06	c (250,0) c PropsPreBlocker_3 : 5479826983
2037.31/304.06	c (250,0) c PropsPreBlocker_4 : 5514567661
2037.31/304.06	c (250,0) c PropsPreBlocker_5 : 5498886573
2037.31/304.06	c (250,0) c PropsPreBlocker_6 : 5480919626
2037.31/304.06	c (250,0) c PropsPreBlocker_7 : 5521587546
2037.31/304.06	c (250,0) c PropsPreBlocker_total : 43951622606
2037.31/304.06	c (250,0) c PropsPreBlocker_winner : 5469083655
2037.31/304.06	c (250,0) c PropsNotBlocker_0 : 1929493828
2037.31/304.06	c (250,0) c PropsNotBlocker_1 : 1906536870
2037.31/304.06	c (250,0) c PropsNotBlocker_2 : 1895264352
2037.31/304.06	c (250,0) c PropsNotBlocker_3 : 1892840009
2037.31/304.06	c (250,0) c PropsNotBlocker_4 : 1895351077
2037.31/304.06	c (250,0) c PropsNotBlocker_5 : 1898791871
2037.31/304.06	c (250,0) c PropsNotBlocker_6 : 1884889237
2037.31/304.06	c (250,0) c PropsNotBlocker_7 : 1908395452
2037.31/304.06	c (250,0) c PropsNotBlocker_total : 15211562696
2037.31/304.06	c (250,0) c PropsNotBlocker_winner : 1906536870
2037.31/304.06	c (250,0) c PropsLitFullScans_0 : 9240634433
2037.31/304.06	c (250,0) c PropsLitFullScans_1 : 9228151549
2037.31/304.06	c (250,0) c PropsLitFullScans_2 : 9276651187
2037.31/304.06	c (250,0) c PropsLitFullScans_3 : 9222682138
2037.31/304.06	c (250,0) c PropsLitFullScans_4 : 9282717528
2037.31/304.06	c (250,0) c PropsLitFullScans_5 : 9247075809
2037.31/304.06	c (250,0) c PropsLitFullScans_6 : 9222700234
2037.31/304.06	c (250,0) c PropsLitFullScans_7 : 9288687149
2037.31/304.06	c (250,0) c PropsLitFullScans_total : 74009300027
2037.31/304.06	c (250,0) c PropsLitFullScans_winner : 9228151549
2037.31/304.06	c (250,0) c LitScanFractions_0 : 629377
2037.31/304.06	c (250,0) c LitScanFractions_1 : 672460
2037.31/304.06	c (250,0) c LitScanFractions_2 : 631449
2037.31/304.06	c (250,0) c LitScanFractions_3 : 656995
2037.31/304.06	c (250,0) c LitScanFractions_4 : 710704
2037.31/304.06	c (250,0) c LitScanFractions_5 : 1066279
2037.31/304.06	c (250,0) c LitScanFractions_6 : 671353
2037.31/304.06	c (250,0) c LitScanFractions_7 : 652974
2037.31/304.06	c (250,0) c LitScanFractions_total : 5691591
2037.31/304.06	c (250,0) c LitScanFractions_winner : 672460
2037.31/304.06	c (250,0) c DecisionLevel0_0 : 116
2037.31/304.06	c (250,0) c DecisionLevel0_1 : 164
2037.31/304.06	c (250,0) c DecisionLevel0_2 : 91
2037.31/304.06	c (250,0) c DecisionLevel0_3 : 128
2037.31/304.06	c (250,0) c DecisionLevel0_4 : 84
2037.31/304.06	c (250,0) c DecisionLevel0_5 : 109
2037.31/304.06	c (250,0) c DecisionLevel0_6 : 189
2037.31/304.06	c (250,0) c DecisionLevel0_7 : 110
2037.31/304.06	c (250,0) c DecisionLevel0_total : 991
2037.31/304.06	c (250,0) c DecisionLevel0_winner : 164
2037.31/304.06	c (250,0) c Periods_0 : 1540
2037.31/304.06	c (250,0) c Periods_1 : 1537
2037.31/304.06	c (250,0) c Periods_2 : 1546
2037.31/304.06	c (250,0) c Periods_3 : 1537
2037.31/304.06	c (250,0) c Periods_4 : 1547
2037.31/304.06	c (250,0) c Periods_5 : 1541
2037.31/304.06	c (250,0) c Periods_6 : 1537
2037.31/304.06	c (250,0) c Periods_7 : 1548
2037.31/304.06	c (250,0) c Periods_total : 12333
2037.31/304.06	c (250,0) c Periods_winner : 1537
2037.31/304.06	c (250,0) c Margin_0 : 20
2037.31/304.06	c (250,0) c Margin_1 : 20
2037.31/304.06	c (250,0) c Margin_2 : 20
2037.31/304.06	c (250,0) c Margin_3 : 20
2037.31/304.06	c (250,0) c Margin_4 : 20
2037.31/304.06	c (250,0) c Margin_5 : 20
2037.31/304.06	c (250,0) c Margin_6 : 20
2037.31/304.06	c (250,0) c Margin_7 : 20
2037.31/304.06	c (250,0) c Margin_total : 160
2037.31/304.06	c (250,0) c Margin_winner : 20
2037.31/304.06	c (250,0) c Exported_0 : 32007
2037.31/304.06	c (250,0) c Exported_1 : 32893
2037.31/304.06	c (250,0) c Exported_2 : 31520
2037.31/304.06	c (250,0) c Exported_3 : 31805
2037.31/304.06	c (250,0) c Exported_4 : 32059
2037.31/304.06	c (250,0) c Exported_5 : 32380
2037.31/304.06	c (250,0) c Exported_6 : 33469
2037.31/304.06	c (250,0) c Exported_7 : 33294
2037.31/304.06	c (250,0) c Exported_total : 259427
2037.31/304.06	c (250,0) c Exported_winner : 32893
2037.31/304.06	c (250,0) c Imported_0 : 224150
2037.31/304.06	c (250,0) c Imported_1 : 211513
2037.31/304.06	c (250,0) c Imported_2 : 218630
2037.31/304.06	c (250,0) c Imported_3 : 219490
2037.31/304.06	c (250,0) c Imported_4 : 224238
2037.31/304.06	c (250,0) c Imported_5 : 222590
2037.31/304.06	c (250,0) c Imported_6 : 223364
2037.31/304.06	c (250,0) c Imported_7 : 217681
2037.31/304.06	c (250,0) c Imported_total : 1761656
2037.31/304.06	c (250,0) c Imported_winner : 211513
2037.31/304.06	c (250,0) c Good_0 : 340
2037.31/304.06	c (250,0) c Good_1 : 325
2037.31/304.06	c (250,0) c Good_2 : 323
2037.31/304.06	c (250,0) c Good_3 : 324
2037.31/304.06	c (250,0) c Good_4 : 344
2037.31/304.06	c (250,0) c Good_5 : 340
2037.31/304.06	c (250,0) c Good_6 : 327
2037.31/304.06	c (250,0) c Good_7 : 340
2037.31/304.06	c (250,0) c Good_total : 2663
2037.31/304.06	c (250,0) c Good_winner : 325
2037.31/304.06	c (250,0) c Purge_0 : 223810
2037.31/304.06	c (250,0) c Purge_1 : 211188
2037.31/304.06	c (250,0) c Purge_2 : 218307
2037.31/304.06	c (250,0) c Purge_3 : 219166
2037.31/304.06	c (250,0) c Purge_4 : 223894
2037.31/304.06	c (250,0) c Purge_5 : 222250
2037.31/304.06	c (250,0) c Purge_6 : 223037
2037.31/304.06	c (250,0) c Purge_7 : 217341
2037.31/304.06	c (250,0) c Purge_total : 1758993
2037.31/304.06	c (250,0) c Purge_winner : 211188
2037.31/304.06	c (250,0) c Promoted_0 : 15570
2037.31/304.06	c (250,0) c Promoted_1 : 17329
2037.31/304.06	c (250,0) c Promoted_2 : 15774
2037.31/304.06	c (250,0) c Promoted_3 : 16580
2037.31/304.06	c (250,0) c Promoted_4 : 15917
2037.31/304.06	c (250,0) c Promoted_5 : 17396
2037.31/304.06	c (250,0) c Promoted_6 : 16760
2037.31/304.06	c (250,0) c Promoted_7 : 16977
2037.31/304.06	c (250,0) c Promoted_total : 132303
2037.31/304.06	c (250,0) c Promoted_winner : 17329
2037.31/304.06	c (250,0) c Remove_Imp_0 : 94083
2037.31/304.06	c (250,0) c Remove_Imp_1 : 147875
2037.31/304.06	c (250,0) c Remove_Imp_2 : 128364
2037.31/304.06	c (250,0) c Remove_Imp_3 : 146682
2037.31/304.06	c (250,0) c Remove_Imp_4 : 130270
2037.31/304.06	c (250,0) c Remove_Imp_5 : 142194
2037.31/304.06	c (250,0) c Remove_Imp_6 : 122442
2037.31/304.06	c (250,0) c Remove_Imp_7 : 144183
2037.31/304.06	c (250,0) c Remove_Imp_total : 1056093
2037.31/304.06	c (250,0) c Remove_Imp_winner : 147875
2037.31/304.06	c (250,0) c Blocked_Reuse_0 : 0
2037.31/304.06	c (250,0) c Blocked_Reuse_1 : 0
2037.31/304.06	c (250,0) c Blocked_Reuse_2 : 0
2037.31/304.06	c (250,0) c Blocked_Reuse_3 : 0
2037.31/304.06	c (250,0) c Blocked_Reuse_4 : 0
2037.31/304.06	c (250,0) c Blocked_Reuse_5 : 0
2037.31/304.06	c (250,0) c Blocked_Reuse_6 : 0
2037.31/304.06	c (250,0) c Blocked_Reuse_7 : 0
2037.31/304.06	c (250,0) c Blocked_Reuse_total : 0
2037.31/304.06	c (250,0) c Blocked_Reuse_winner : 0
2037.31/304.06	c (250,0) c Unaries_0 : 0
2037.31/304.06	c (250,0) c Unaries_1 : 0
2037.31/304.06	c (250,0) c Unaries_2 : 0
2037.31/304.06	c (250,0) c Unaries_3 : 0
2037.31/304.06	c (250,0) c Unaries_4 : 0
2037.31/304.06	c (250,0) c Unaries_5 : 0
2037.31/304.06	c (250,0) c Unaries_6 : 0
2037.31/304.06	c (250,0) c Unaries_7 : 0
2037.31/304.06	c (250,0) c Unaries_total : 0
2037.31/304.06	c (250,0) c Unaries_winner : 0
2037.31/304.06	c (250,0) c Binaries_0 : 43
2037.31/304.06	c (250,0) c Binaries_1 : 51
2037.31/304.06	c (250,0) c Binaries_2 : 57
2037.31/304.06	c (250,0) c Binaries_3 : 56
2037.31/304.06	c (250,0) c Binaries_4 : 39
2037.31/304.06	c (250,0) c Binaries_5 : 43
2037.31/304.06	c (250,0) c Binaries_6 : 57
2037.31/304.06	c (250,0) c Binaries_7 : 39
2037.31/304.06	c (250,0) c Binaries_total : 385
2037.31/304.06	c (250,0) c Binaries_winner : 51
2037.31/304.06	c (250,0) c Glues_0 : 1193
2037.31/304.06	c (250,0) c Glues_1 : 1228
2037.31/304.06	c (250,0) c Glues_2 : 1139
2037.31/304.06	c (250,0) c Glues_3 : 1162
2037.31/304.06	c (250,0) c Glues_4 : 1170
2037.31/304.06	c (250,0) c Glues_5 : 1181
2037.31/304.06	c (250,0) c Glues_6 : 1270
2037.31/304.06	c (250,0) c Glues_7 : 1243
2037.31/304.06	c (250,0) c Glues_total : 9586
2037.31/304.06	c (250,0) c Glues_winner : 1228
2037.31/304.06	c (250,0) c RunningTime_0 : 244.106057
2037.31/304.06	c (250,0) c RunningTime_1 : 242.517676
2037.31/304.06	c (250,0) c RunningTime_2 : 245.016797
2037.31/304.06	c (250,0) c RunningTime_3 : 248.629025
2037.31/304.07	c (250,0) c RunningTime_4 : 243.358025
2037.31/304.07	c (250,0) c RunningTime_5 : 246.701423
2037.31/304.07	c (250,0) c RunningTime_6 : 248.451524
2037.31/304.07	c (250,0) c RunningTime_7 : 249.212184
2037.31/304.07	c (250,0) c RunningTime_total : 1967.992712
2037.31/304.07	c (250,0) c RunningTime_winner : 242.517676
2037.31/304.07	c (250,0) c WaitingTime_0 : 5.665670
2037.31/304.07	c (250,0) c WaitingTime_1 : 7.169533
2037.31/304.07	c (250,0) c WaitingTime_2 : 4.668254
2037.31/304.07	c (250,0) c WaitingTime_3 : 1.613773
2037.31/304.07	c (250,0) c WaitingTime_4 : 6.360637
2037.31/304.07	c (250,0) c WaitingTime_5 : 2.980219
2037.31/304.07	c (250,0) c WaitingTime_6 : 1.688600
2037.31/304.07	c (250,0) c WaitingTime_7 : 0.538497
2037.31/304.07	c (250,0) c WaitingTime_total : 30.685183
2037.31/304.07	c (250,0) c WaitingTime_winner : 7.169533
2037.31/304.07	c (250,0) c ExchangingTime_0 : 0.101771
2037.31/304.07	c (250,0) c ExchangingTime_1 : 0.100927
2037.31/304.07	c (250,0) c ExchangingTime_2 : 0.111153
2037.31/304.07	c (250,0) c ExchangingTime_3 : 0.114971
2037.31/304.07	c (250,0) c ExchangingTime_4 : 0.108199
2037.31/304.07	c (250,0) c ExchangingTime_5 : 0.112229
2037.31/304.07	c (250,0) c ExchangingTime_6 : 0.122175
2037.31/304.07	c (250,0) c ExchangingTime_7 : 0.102066
2037.31/304.07	c (250,0) c ExchangingTime_total : 0.873491
2037.31/304.07	c (250,0) c ExchangingTime_winner : 0.100927
2037.31/304.07	c (250,0) c PeriodProcTime_0 : 0.015991
2037.31/304.07	c (250,0) c PeriodProcTime_1 : 0.012648
2037.31/304.07	c (250,0) c PeriodProcTime_2 : 0.015403
2037.31/304.07	c (250,0) c PeriodProcTime_3 : 0.017557
2037.31/304.07	c (250,0) c PeriodProcTime_4 : 0.015010
2037.31/304.07	c (250,0) c PeriodProcTime_5 : 0.012600
2037.31/304.07	c (250,0) c PeriodProcTime_6 : 0.014593
2037.31/304.07	c (250,0) c PeriodProcTime_7 : 0.016059
2037.31/304.07	c (250,0) c PeriodProcTime_total : 0.119862
2037.31/304.07	c (250,0) c PeriodProcTime_winner : 0.012648
2037.31/304.07	c (250,0) c SolvingTime_0 : 249.889490
2037.31/304.07	c (250,0) c SolvingTime_1 : 249.800783
2037.31/304.07	c (250,0) c SolvingTime_2 : 249.811607
2037.31/304.07	c (250,0) c SolvingTime_3 : 250.375326
2037.31/304.07	c (250,0) c SolvingTime_4 : 249.841872
2037.31/304.07	c (250,0) c SolvingTime_5 : 249.806472
2037.31/304.07	c (250,0) c SolvingTime_6 : 250.276892
2037.31/304.07	c (250,0) c SolvingTime_7 : 249.868806
2037.31/304.07	c (250,0) c SolvingTime_total : 1999.671248
2037.31/304.07	c (250,0) c SolvingTime_winner : 249.800783
2037.31/304.07	c (250,0) c PropagationTime_0 : 238.525584
2037.31/304.07	c (250,0) c PropagationTime_1 : 238.778137
2037.31/304.07	c (250,0) c PropagationTime_2 : 236.836750
2037.31/304.07	c (250,0) c PropagationTime_3 : 237.966625
2037.31/304.07	c (250,0) c PropagationTime_4 : 237.434038
2037.31/304.07	c (250,0) c PropagationTime_5 : 236.771993
2037.31/304.07	c (250,0) c PropagationTime_6 : 237.201605
2037.31/304.07	c (250,0) c PropagationTime_7 : 235.855048
2037.31/304.07	c (250,0) c PropagationTime_total : 1899.369781
2037.31/304.07	c (250,0) c PropagationTime_winner : 238.778137
2037.31/304.07	c (250,0) c AnalysisTime_0 : 5.835145
2037.31/304.07	c (250,0) c AnalysisTime_1 : 5.691681
2037.31/304.07	c (250,0) c AnalysisTime_2 : 7.418974
2037.31/304.07	c (250,0) c AnalysisTime_3 : 6.645334
2037.31/304.07	c (250,0) c AnalysisTime_4 : 6.759264
2037.31/304.07	c (250,0) c AnalysisTime_5 : 7.332613
2037.31/304.07	c (250,0) c AnalysisTime_6 : 7.219278
2037.31/304.07	c (250,0) c AnalysisTime_7 : 8.422042
2037.31/304.07	c (250,0) c AnalysisTime_total : 55.324333
2037.31/304.07	c (250,0) c AnalysisTime_winner : 5.691681
2037.31/304.07	c (250,0) c ReductionTime_0 : 0.456951
2037.31/304.07	c (250,0) c ReductionTime_1 : 0.498336
2037.31/304.07	c (250,0) c ReductionTime_2 : 0.513009
2037.31/304.07	c (250,0) c ReductionTime_3 : 0.514247
2037.31/304.07	c (250,0) c ReductionTime_4 : 0.512919
2037.31/304.07	c (250,0) c ReductionTime_5 : 0.546833
2037.31/304.07	c (250,0) c ReductionTime_6 : 0.523176
2037.31/304.07	c (250,0) c ReductionTime_7 : 0.499832
2037.31/304.07	c (250,0) c ReductionTime_total : 4.065302
2037.31/304.07	c (250,0) c ReductionTime_winner : 0.498336
2037.31/304.07	c (250,0) c SimplifyTime_0 : 0.000021
2037.31/304.07	c (250,0) c SimplifyTime_1 : 0.000021
2037.31/304.07	c (250,0) c SimplifyTime_2 : 0.000008
2037.31/304.07	c (250,0) c SimplifyTime_3 : 0.000014
2037.31/304.07	c (250,0) c SimplifyTime_4 : 0.000011
2037.31/304.07	c (250,0) c SimplifyTime_5 : 0.000014
2037.31/304.07	c (250,0) c SimplifyTime_6 : 0.000017
2037.31/304.07	c (250,0) c SimplifyTime_7 : 0.000006
2037.31/304.07	c (250,0) c SimplifyTime_total : 0.000111
2037.31/304.07	c (250,0) c SimplifyTime_winner : 0.000021
2037.31/304.07	c (250,0) c UsedRateTime_0 : 0.000000
2037.31/304.07	c (250,0) c UsedRateTime_1 : 0.000000
2037.31/304.07	c (250,0) c UsedRateTime_2 : 0.000000
2037.31/304.07	c (250,0) c UsedRateTime_3 : 0.000000
2037.31/304.07	c (250,0) c UsedRateTime_4 : 0.000000
2037.31/304.07	c (250,0) c UsedRateTime_5 : 0.000000
2037.31/304.07	c (250,0) c UsedRateTime_6 : 0.000000
2037.31/304.07	c (250,0) c UsedRateTime_7 : 0.000000
2037.31/304.07	c (250,0) c UsedRateTime_total : 0.000000
2037.31/304.07	c (250,0) c UsedRateTime_winner : 0.000000
2037.31/304.07	c (250,0) c OverlapRateTime_0 : 0.000000
2037.31/304.07	c (250,0) c OverlapRateTime_1 : 0.000000
2037.31/304.07	c (250,0) c OverlapRateTime_2 : 0.000000
2037.31/304.07	c (250,0) c OverlapRateTime_3 : 0.000000
2037.31/304.07	c (250,0) c OverlapRateTime_4 : 0.000000
2037.31/304.07	c (250,0) c OverlapRateTime_5 : 0.000000
2037.31/304.08	c (250,0) c OverlapRateTime_6 : 0.000000
2037.31/304.08	c (250,0) c OverlapRateTime_7 : 0.000000
2037.31/304.08	c (250,0) c OverlapRateTime_total : 0.000000
2037.31/304.08	c (250,0) c OverlapRateTime_winner : 0.000000
2037.31/304.08	c (250,0) c
2037.31/304.08	c (250,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
2037.31/304.08	c (250,0) c
2037.31/304.08	c (250,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
2037.31/304.08	c (250,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
2037.31/304.08	c (250,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
2037.31/304.08	c (250,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
2037.31/304.08	c (250,0) c | adaptStrategeis       |      False |      False |      False |      False |      False |      False |      False |      False |
2037.31/304.08	c (250,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
2037.31/304.08	c (250,0) c | Initial random_seed   | 2042323486 | 1690672982 |  781543001 | 1085312400 | 1729866895 | 1122761493 |  889807351 |   18624371 |
2037.31/304.08	c (250,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
2037.31/304.08	c (250,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
2037.31/304.08	c (250,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
2037.31/304.08	c (250,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
2037.31/304.08	c (250,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
2037.31/304.08	c (250,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
2037.31/304.08	c (250,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
2037.31/304.08	c (250,0) c | var_decay             |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
2037.31/304.08	c (250,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
2037.31/304.08	c (250,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
2037.31/304.08	c (250,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
2037.31/304.08	c (250,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
2037.31/304.08	c (250,0) 
2037.31/304.08	c (250,0) s SATISFIABLE
2037.51/304.11	c (251,0) SatSolver.solve End
2037.51/304.11	c (251,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
2037.51/304.11	c (251,0) Show results Begin
2037.51/304.18	c (251,0) x[0] = 3
2037.51/304.18	c (251,0) x[1] = 0
2037.51/304.18	c (251,0) x[2] = 4
2037.51/304.18	c (251,0) x[3] = 1
2037.51/304.18	c (251,0) x[4] = 0
2037.51/304.18	c (251,0) x[5] = 1
2037.51/304.18	c (251,0) x[6] = 1
2037.51/304.18	c (251,0) x[7] = 0
2037.51/304.18	c (251,0) x[8] = 4
2037.51/304.18	c (251,0) x[9] = 4
2037.51/304.18	c (251,0) x[10] = 2
2037.51/304.18	c (251,0) x[11] = 1
2037.51/304.18	c (251,0) x[12] = 0
2037.51/304.18	c (251,0) x[13] = 4
2037.51/304.18	c (251,0) x[14] = 0
2037.51/304.18	c (251,0) x[15] = 0
2037.51/304.18	c (251,0) x[16] = 3
2037.51/304.18	c (251,0) x[17] = 2
2037.51/304.18	c (251,0) x[18] = 0
2037.51/304.18	c (251,0) x[19] = 3
2037.51/304.18	c (251,0) x[20] = 2
2037.51/304.18	c (251,0) x[21] = 3
2037.51/304.18	c (251,0) x[22] = 1
2037.51/304.18	c (251,0) x[23] = 0
2037.51/304.18	c (251,0) x[24] = 4
2037.51/304.18	s SATISFIABLE
2037.51/304.18	v <instantiation>
2037.51/304.18	v     <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24]</list>
2037.51/304.18	v     <values>3 0 4 1 0 1 1 0 4 4 2 1 0 4 0 0 3 2 0 3 2 3 1 0 4</values>
2037.51/304.18	v </instantiation>
2037.51/304.18	c (251,0) Show results End
2037.51/304.18	c (251,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB)
2037.51/304.18	c (251,0) 251,251,STOP-AFTER(ALL)
2037.51/304.18	c END-Prog: Tue Sep 24 15:42:40 CEST 2019

Verifier Data 

OK

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 (13955 MiB free)
  memory of node 1: 16384 MiB (10552 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4405574-1569335979/watcher-4405574-1569335979 -o /var/tmp/evaluation-result-4405574-1569335979/solver-4405574-1569335979 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node107-1569332256-13151 --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-4405574-1569335979.xml 

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

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

solver pid=13168, runsolver pid=13165

[startup+0.100128 s]*
/proc/loadavg: 0.00 0.01 0.05 3/210 13190
/proc/meminfo: memFree=25000584/32770624 swapFree=66953996/67108860
[pid=13168] ppid=13165 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/13168/stat : 13168 (scop.sh) S 13165 13168 13124 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 509853284 115843072 349 33554432000 4194304 5098028 140728313333776 140728313331032 140602513625724 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 35020800 140728313340668 140728313341016 140728313341016 140728313343945 0
/proc/13168/statm: 28282 349 296 221 0 87 0
[pid=13171] ppid=13168 vsize=27314120 memory=107260 CPUtime=0.09 cores=0-7
/proc/13171/stat : 13171 (java) S 13168 13168 13124 0 -1 1077944320 6344 0 0 0 7 2 0 0 20 0 20 0 509853284 27969658880 26815 33554432000 4194304 4196468 140726184739664 140726184722208 139790439677687 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 28528640 140726184747718 140726184748166 140726184748166 140726184751055 0
/proc/13171/statm: 6828530 26815 2779 1 0 6790935 0
[pid=13171/tid=13172] ppid=13168 vsize=27314120 memory=576460756329955445 CPUtime=0.08 cores=0-7
/proc/13171/task/13172/stat : 13172 (java) R 13168 13168 13124 0 -1 4202560 4465 0 0 0 6 2 0 0 20 0 20 0 509853284 27969658880 26815 33554432000 4194304 4196468 140726184739664 139790411503872 139790439699613 0 4 2 16800973 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28528640 140726184747718 140726184748166 140726184748166 140726184751055 0
[pid=13171/tid=13173] ppid=13168 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13171/task/13173/stat : 13173 (java) S 13168 13168 13124 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509853287 27969658880 26815 33554432000 4194304 4196468 140726184739664 139790443920144 139790439687893 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28528640 140726184747718 140726184748166 140726184748166 140726184751055 0
[pid=13171/tid=13174] ppid=13168 vsize=27314120 memory=139858489145976 CPUtime=0 cores=0-7
/proc/13171/task/13174/stat : 13174 (java) S 13168 13168 13124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509853287 27969658880 26815 33554432000 4194304 4196468 140726184739664 139790258076560 139790439687893 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28528640 140726184747718 140726184748166 140726184748166 140726184751055 0
[pid=13171/tid=13175] ppid=13168 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13171/task/13175/stat : 13175 (java) S 13168 13168 13124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509853287 27969658880 26815 33554432000 4194304 4196468 140726184739664 139790257024016 139790439687893 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28528640 140726184747718 140726184748166 140726184748166 140726184751055 0
[pid=13171/tid=13176] ppid=13168 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13171/task/13176/stat : 13176 (java) S 13168 13168 13124 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509853287 27969658880 26815 33554432000 4194304 4196468 140726184739664 139790255971472 139790439687893 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28528640 140726184747718 140726184748166 140726184748166 140726184751055 0
[pid=13171/tid=13177] ppid=13168 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13171/task/13177/stat : 13177 (java) S 13168 13168 13124 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509853287 27969658880 26815 33554432000 4194304 4196468 140726184739664 139790254917904 139790439687893 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28528640 140726184747718 140726184748166 140726184748166 140726184751055 0
[pid=13171/tid=13178] ppid=13168 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/13171/task/13178/stat : 13178 (java) S 13168 13168 13124 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509853287 27969658880 26815 33554432000 4194304 4196468 140726184739664 139790253865360 139790439687893 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28528640 140726184747718 140726184748166 140726184748166 140726184751055 0
[pid=13171/tid=13179] ppid=13168 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13171/task/13179/stat : 13179 (java) S 13168 13168 13124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509853287 27969658880 26815 33554432000 4194304 4196468 140726184739664 139790252812816 139790439687893 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28528640 140726184747718 140726184748166 140726184748166 140726184751055 0
[pid=13171/tid=13180] ppid=13168 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13171/task/13180/stat : 13180 (java) S 13168 13168 13124 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509853287 27969658880 26815 33554432000 4194304 4196468 140726184739664 139790251760272 139790439687893 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28528640 140726184747718 140726184748166 140726184748166 140726184751055 0
[pid=13171/tid=13181] ppid=13168 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13171/task/13181/stat : 13181 (java) S 13168 13168 13124 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509853289 27969658880 26815 33554432000 4194304 4196468 140726184739664 139789496957424 139790439688834 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28528640 140726184747718 140726184748166 140726184748166 140726184751055 0
[pid=13171/tid=13182] ppid=13168 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13171/task/13182/stat : 13182 (java) S 13168 13168 13124 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 509853289 27969658880 26815 33554432000 4194304 4196468 140726184739664 139788367685024 139790439687893 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28528640 140726184747718 140726184748166 140726184748166 140726184751055 0
[pid=13171/tid=13183] ppid=13168 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13171/task/13183/stat : 13183 (java) S 13168 13168 13124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509853289 27969658880 26815 33554432000 4194304 4196468 140726184739664 139788099249648 139790439687893 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28528640 140726184747718 140726184748166 140726184748166 140726184751055 0
[pid=13171/tid=13184] ppid=13168 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13171/task/13184/stat : 13184 (java) S 13168 13168 13124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509853292 27969658880 26815 33554432000 4194304 4196468 140726184739664 139787724741328 139790439696283 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28528640 140726184747718 140726184748166 140726184748166 140726184751055 0
[pid=13171/tid=13185] ppid=13168 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13171/task/13185/stat : 13185 (java) S 13168 13168 13124 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 20 0 509853292 27969658880 26815 33554432000 4194304 4196468 140726184739664 139789495904240 139790439688834 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28528640 140726184747718 140726184748166 140726184748166 140726184751055 0
[pid=13171/tid=13186] ppid=13168 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13171/task/13186/stat : 13186 (java) S 13168 13168 13124 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509853292 27969658880 26815 33554432000 4194304 4196468 140726184739664 139789494851696 139790439688834 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28528640 140726184747718 140726184748166 140726184748166 140726184751055 0
[pid=13171/tid=13187] ppid=13168 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13171/task/13187/stat : 13187 (java) R 13168 13168 13124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509853292 27969658880 26815 33554432000 4194304 4196468 140726184739664 139789493799152 139790439688834 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28528640 140726184747718 140726184748166 140726184748166 140726184751055 0
[pid=13171/tid=13188] ppid=13168 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13171/task/13188/stat : 13188 (java) R 13168 13168 13124 0 -1 4202560 236 0 0 0 0 0 0 0 20 0 20 0 509853292 27969658880 26815 33554432000 4194304 4196468 140726184739664 139789492746608 139790439689622 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28528640 140726184747718 140726184748166 140726184748166 140726184751055 0
[pid=13171/tid=13189] ppid=13168 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13171/task/13189/stat : 13189 (java) S 13168 13168 13124 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509853292 27969658880 26815 33554432000 4194304 4196468 140726184739664 139787226835680 139790439687893 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28528640 140726184747718 140726184748166 140726184748166 140726184751055 0
[pid=13171/tid=13190] ppid=13168 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/13171/task/13190/stat : 13190 (java) S 13168 13168 13124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509853293 27969658880 26815 33554432000 4194304 4196468 140726184739664 139789491694512 139790439688834 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28528640 140726184747718 140726184748166 140726184748166 140726184751055 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 108656 KiB

[startup+0.210224 s]*
/proc/loadavg: 0.00 0.01 0.05 2/210 13190
/proc/meminfo: memFree=24982436/32770624 swapFree=66953996/67108860
[pid=13168] ppid=13165 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/13168/stat : 13168 (scop.sh) S 13165 13168 13124 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 509853284 115843072 349 33554432000 4194304 5098028 140728313333776 140728313331032 140602513625724 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 35020800 140728313340668 140728313341016 140728313341016 140728313343945 0
/proc/13168/statm: 28282 349 296 221 0 87 0
[pid=13171] ppid=13168 vsize=27314120 memory=124472 CPUtime=0.23 cores=0-7
/proc/13171/stat : 13171 (java) S 13168 13168 13124 0 -1 1077944320 11460 0 0 0 19 4 0 0 20 0 20 0 509853284 27969658880 31118 33554432000 4194304 4196468 140726184739664 140726184722208 139790439677687 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 28528640 140726184747718 140726184748166 140726184748166 140726184751055 0
/proc/13171/statm: 6828530 31118 2926 1 0 6790935 0
[pid=13171/tid=13172] ppid=13168 vsize=27314120 memory=8316850467074736180 CPUtime=0.18 cores=0-7
/proc/13171/task/13172/stat : 13172 (java) R 13168 13168 13124 0 -1 4202560 9167 0 0 0 15 3 0 0 20 0 20 0 509853284 27969658880 31118 33554432000 4194304 4196468 140726184739664 139790411498592 139790439699613 0 4 2 16800973 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28528640 140726184747718 140726184748166 140726184748166 140726184751055 0
[pid=13171/tid=13173] ppid=13168 vsize=27314120 memory=10927 CPUtime=0 cores=0-7
/proc/13171/task/13173/stat : 13173 (java) S 13168 13168 13124 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509853287 27969658880 31118 33554432000 4194304 4196468 140726184739664 139790443920144 139790439687893 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28528640 140726184747718 140726184748166 140726184748166 140726184751055 0
[pid=13171/tid=13174] ppid=13168 vsize=27314120 memory=288370234640844416 CPUtime=0 cores=0-7
/proc/13171/task/13174/stat : 13174 (java) S 13168 13168 13124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509853287 27969658880 31118 33554432000 4194304 4196468 140726184739664 139790258076560 139790439687893 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28528640 140726184747718 140726184748166 140726184748166 140726184751055 0
[pid=13171/tid=13175] ppid=13168 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/13171/task/13175/stat : 13175 (java) S 13168 13168 13124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509853287 27969658880 31118 33554432000 4194304 4196468 140726184739664 139790257024016 139790439687893 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28528640 140726184747718 140726184748166 140726184748166 140726184751055 0
[pid=13171/tid=13176] ppid=13168 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13171/task/13176/stat : 13176 (java) S 13168 13168 13124 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509853287 27969658880 31118 33554432000 4194304 4196468 140726184739664 139790255971472 139790439687893 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28528640 140726184747718 140726184748166 140726184748166 140726184751055 0
[pid=13171/tid=13177] ppid=13168 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13171/task/13177/stat : 13177 (java) S 13168 13168 13124 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509853287 27969658880 31118 33554432000 4194304 4196468 140726184739664 139790254917904 139790439687893 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28528640 140726184747718 140726184748166 140726184748166 140726184751055 0
[pid=13171/tid=13178] ppid=13168 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/13171/task/13178/stat : 13178 (java) S 13168 13168 13124 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509853287 27969658880 31118 33554432000 4194304 4196468 140726184739664 139790253865360 139790439687893 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28528640 140726184747718 140726184748166 140726184748166 140726184751055 0
[pid=13171/tid=13179] ppid=13168 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13171/task/13179/stat : 13179 (java) S 13168 13168 13124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509853287 27969658880 31118 33554432000 4194304 4196468 140726184739664 139790252812816 139790439687893 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28528640 140726184747718 140726184748166 140726184748166 140726184751055 0
[pid=13171/tid=13180] ppid=13168 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13171/task/13180/stat : 13180 (java) S 13168 13168 13124 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509853287 27969658880 31118 33554432000 4194304 4196468 140726184739664 139790251760272 139790439687893 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28528640 140726184747718 140726184748166 140726184748166 140726184751055 0
[pid=13171/tid=13181] ppid=13168 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13171/task/13181/stat : 13181 (java) S 13168 13168 13124 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509853289 27969658880 31118 33554432000 4194304 4196468 140726184739664 139789496957424 139790439688834 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28528640 140726184747718 140726184748166 140726184748166 140726184751055 0
[pid=13171/tid=13182] ppid=13168 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13171/task/13182/stat : 13182 (java) S 13168 13168 13124 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 509853289 27969658880 31118 33554432000 4194304 4196468 140726184739664 139788367685024 139790439687893 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28528640 140726184747718 140726184748166 140726184748166 140726184751055 0
[pid=13171/tid=13183] ppid=13168 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13171/task/13183/stat : 13183 (java) S 13168 13168 13124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509853289 27969658880 31118 33554432000 4194304 4196468 140726184739664 139788099249648 139790439687893 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28528640 140726184747718 140726184748166 140726184748166 140726184751055 0
[pid=13171/tid=13184] ppid=13168 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13171/task/13184/stat : 13184 (java) S 13168 13168 13124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509853292 27969658880 31118 33554432000 4194304 4196468 140726184739664 139787724741328 139790439696283 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28528640 140726184747718 140726184748166 140726184748166 140726184751055 0
[pid=13171/tid=13185] ppid=13168 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13171/task/13185/stat : 13185 (java) S 13168 13168 13124 0 -1 1077944384 417 0 0 0 0 0 0 0 20 0 20 0 509853292 27969658880 31118 33554432000 4194304 4196468 140726184739664 139789495904240 139790439688834 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28528640 140726184747718 140726184748166 140726184748166 140726184751055 0
[pid=13171/tid=13186] ppid=13168 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13171/task/13186/stat : 13186 (java) S 13168 13168 13124 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 20 0 509853292 27969658880 31118 33554432000 4194304 4196468 140726184739664 139789494851696 139790439688834 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28528640 140726184747718 140726184748166 140726184748166 140726184751055 0
[pid=13171/tid=13187] ppid=13168 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/13171/task/13187/stat : 13187 (java) S 13168 13168 13124 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 20 0 509853292 27969658880 31118 33554432000 4194304 4196468 140726184739664 139789493799152 139790439688834 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28528640 140726184747718 140726184748166 140726184748166 140726184751055 0
[pid=13171/tid=13188] ppid=13168 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7
/proc/13171/task/13188/stat : 13188 (java) S 13168 13168 13124 0 -1 1077944384 478 0 0 0 2 0 0 0 20 0 20 0 509853292 27969658880 31118 33554432000 4194304 4196468 140726184739664 139789492746608 139790439688834 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28528640 140726184747718 140726184748166 140726184748166 140726184751055 0
[pid=13171/tid=13189] ppid=13168 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13171/task/13189/stat : 13189 (java) S 13168 13168 13124 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509853292 27969658880 31118 33554432000 4194304 4196468 140726184739664 139787226835680 139790439687893 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28528640 140726184747718 140726184748166 140726184748166 140726184751055 0
[pid=13171/tid=13190] ppid=13168 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/13171/task/13190/stat : 13190 (java) S 13168 13168 13124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509853293 27969658880 31118 33554432000 4194304 4196468 140726184739664 139789491694512 139790439688834 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28528640 140726184747718 140726184748166 140726184748166 140726184751055 0
Current children cumulated CPU time: 0.23 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 125868 KiB

[startup+0.310015 s]*
/proc/loadavg: 0.00 0.01 0.05 2/210 13190
/proc/meminfo: memFree=24979272/32770624 swapFree=66953996/67108860
[pid=13168] ppid=13165 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/13168/stat : 13168 (scop.sh) S 13165 13168 13124 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 509853284 115843072 349 33554432000 4194304 5098028 140728313333776 140728313331032 140602513625724 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 35020800 140728313340668 140728313341016 140728313341016 140728313343945 0
/proc/13168/statm: 28282 349 296 221 0 87 0
[pid=13171] ppid=13168 vsize=27314120 memory=128412 CPUtime=0.41 cores=0-7
/proc/13171/stat : 13171 (java) S 13168 13168 13124 0 -1 1077944320 12394 0 0 0 36 5 0 0 20 0 20 0 509853284 27969658880 32103 33554432000 4194304 4196468 140726184739664 140726184722208 139790439677687 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 28528640 140726184747718 140726184748166 140726184748166 140726184751055 0
/proc/13171/statm: 6828530 32103 3065 1 0 6790935 0
[pid=13171/tid=13172] ppid=13168 vsize=27314120 memory=8317482817917895235 CPUtime=0.29 cores=0-7
/proc/13171/task/13172/stat : 13172 (java) R 13168 13168 13124 0 -1 4202560 9936 0 0 0 25 4 0 0 20 0 20 0 509853284 27969658880 32103 33554432000 4194304 4196468 140726184739664 139790411460704 139790422864513 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28528640 140726184747718 140726184748166 140726184748166 140726184751055 0
[pid=13171/tid=13173] ppid=13168 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13171/task/13173/stat : 13173 (java) S 13168 13168 13124 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509853287 27969658880 32103 33554432000 4194304 4196468 140726184739664 139790443920144 139790439687893 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28528640 140726184747718 140726184748166 140726184748166 140726184751055 0
[pid=13171/tid=13174] ppid=13168 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13171/task/13174/stat : 13174 (java) S 13168 13168 13124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509853287 27969658880 32103 33554432000 4194304 4196468 140726184739664 139790258076560 139790439687893 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28528640 140726184747718 140726184748166 140726184748166 140726184751055 0
[pid=13171/tid=13175] ppid=13168 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13171/task/13175/stat : 13175 (java) S 13168 13168 13124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509853287 27969658880 32103 33554432000 4194304 4196468 140726184739664 139790257024016 139790439687893 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28528640 140726184747718 140726184748166 140726184748166 140726184751055 0
[pid=13171/tid=13176] ppid=13168 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13171/task/13176/stat : 13176 (java) S 13168 13168 13124 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509853287 27969658880 32103 33554432000 4194304 4196468 140726184739664 139790255971472 139790439687893 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28528640 140726184747718 140726184748166 140726184748166 140726184751055 0
[pid=13171/tid=13177] ppid=13168 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13171/task/13177/stat : 13177 (java) S 13168 13168 13124 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509853287 27969658880 32103 33554432000 4194304 4196468 140726184739664 139790254917904 139790439687893 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28528640 140726184747718 140726184748166 140726184748166 140726184751055 0
[pid=13171/tid=13178] ppid=13168 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13171/task/13178/stat : 13178 (java) S 13168 13168 13124 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509853287 27969658880 32103 33554432000 4194304 4196468 140726184739664 139790253865360 139790439687893 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28528640 140726184747718 140726184748166 140726184748166 140726184751055 0
[pid=13171/tid=13179] ppid=13168 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13171/task/13179/stat : 13179 (java) S 13168 13168 13124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509853287 27969658880 32103 33554432000 4194304 4196468 140726184739664 139790252812816 139790439687893 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28528640 140726184747718 140726184748166 140726184748166 140726184751055 0
[pid=13171/tid=13180] ppid=13168 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13171/task/13180/stat : 13180 (java) S 13168 13168 13124 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509853287 27969658880 32103 33554432000 4194304 4196468 140726184739664 139790251760272 139790439687893 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28528640 140726184747718 140726184748166 140726184748166 140726184751055 0
[pid=13171/tid=13181] ppid=13168 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13171/task/13181/stat : 13181 (java) S 13168 13168 13124 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509853289 27969658880 32103 33554432000 4194304 4196468 140726184739664 139789496957424 139790439688834 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28528640 140726184747718 140726184748166 140726184748166 140726184751055 0
[pid=13171/tid=13182] ppid=13168 vsize=27314120 memory=279716724678016 CPUtime=0 cores=0-7
/proc/13171/task/13182/stat : 13182 (java) S 13168 13168 13124 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 509853289 27969658880 32103 33554432000 4194304 4196468 140726184739664 139788367685024 139790439687893 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28528640 140726184747718 140726184748166 140726184748166 140726184751055 0
[pid=13171/tid=13183] ppid=13168 vsize=27314120 memory=279716724682624 CPUtime=0 cores=0-7
/proc/13171/task/13183/stat : 13183 (java) S 13168 13168 13124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509853289 27969658880 32103 33554432000 4194304 4196468 140726184739664 139788099249648 139790439687893 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28528640 140726184747718 140726184748166 140726184748166 140726184751055 0
[pid=13171/tid=13184] ppid=13168 vsize=27314120 memory=279716724687232 CPUtime=0 cores=0-7
/proc/13171/task/13184/stat : 13184 (java) S 13168 13168 13124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509853292 27969658880 32103 33554432000 4194304 4196468 140726184739664 139787724741328 139790439696283 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28528640 140726184747718 140726184748166 140726184748166 140726184751055 0
[pid=13171/tid=13185] ppid=13168 vsize=27314120 memory=279716724691840 CPUtime=0.01 cores=0-7
/proc/13171/task/13185/stat : 13185 (java) S 13168 13168 13124 0 -1 1077944384 471 0 0 0 1 0 0 0 20 0 20 0 509853292 27969658880 32103 33554432000 4194304 4196468 140726184739664 139789495904240 139790439688834 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28528640 140726184747718 140726184748166 140726184748166 140726184751055 0
[pid=13171/tid=13186] ppid=13168 vsize=27314120 memory=279716724696448 CPUtime=0.02 cores=0-7
/proc/13171/task/13186/stat : 13186 (java) S 13168 13168 13124 0 -1 1077944384 132 0 0 0 2 0 0 0 20 0 20 0 509853292 27969658880 32103 33554432000 4194304 4196468 140726184739664 139789494851696 139790439688834 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28528640 140726184747718 140726184748166 140726184748166 140726184751055 0
[pid=13171/tid=13187] ppid=13168 vsize=27314120 memory=279716724701056 CPUtime=0 cores=0-7
/proc/13171/task/13187/stat : 13187 (java) S 13168 13168 13124 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 20 0 509853292 27969658880 32103 33554432000 4194304 4196468 140726184739664 139789493799152 139790439688834 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28528640 140726184747718 140726184748166 140726184748166 140726184751055 0
[pid=13171/tid=13188] ppid=13168 vsize=27314120 memory=279716724705664 CPUtime=0.07 cores=0-7
/proc/13171/task/13188/stat : 13188 (java) S 13168 13168 13124 0 -1 1077944384 501 0 0 0 7 0 0 0 20 0 20 0 509853292 27969658880 32103 33554432000 4194304 4196468 140726184739664 139789492746608 139790439688834 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28528640 140726184747718 140726184748166 140726184748166 140726184751055 0
[pid=13171/tid=13189] ppid=13168 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13171/task/13189/stat : 13189 (java) S 13168 13168 13124 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509853292 27969658880 32103 33554432000 4194304 4196468 140726184739664 139787226835680 139790439687893 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28528640 140726184747718 140726184748166 140726184748166 140726184751055 0
[pid=13171/tid=13190] ppid=13168 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/13171/task/13190/stat : 13190 (java) S 13168 13168 13124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509853293 27969658880 32103 33554432000 4194304 4196468 140726184739664 139789491694512 139790439688834 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28528640 140726184747718 140726184748166 140726184748166 140726184751055 0
Current children cumulated CPU time: 0.41 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 129808 KiB

[startup+0.700954 s]
/proc/loadavg: 0.00 0.01 0.05 2/210 13190
/proc/meminfo: memFree=24956988/32770624 swapFree=66953996/67108860
[pid=13168] ppid=13165 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/13168/stat : 13168 (scop.sh) S 13165 13168 13124 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 509853284 115843072 349 33554432000 4194304 5098028 140728313333776 140728313331032 140602513625724 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 35020800 140728313340668 140728313341016 140728313341016 140728313343945 0
/proc/13168/statm: 28282 349 296 221 0 87 0
[pid=13171] ppid=13168 vsize=27320392 memory=165696 CPUtime=0.98 cores=0-7
/proc/13171/stat : 13171 (java) S 13168 13168 13124 0 -1 1077944320 19951 0 0 0 91 7 0 0 20 0 20 0 509853284 27976081408 41424 33554432000 4194304 4196468 140726184739664 140726184722208 139790439677687 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 28528640 140726184747718 140726184748166 140726184748166 140726184751055 0
/proc/13171/statm: 6830098 41424 3193 1 0 6791447 0
[pid=13171/tid=13172] ppid=13168 vsize=27320392 memory=0 CPUtime=0.66 cores=0-7
/proc/13171/task/13172/stat : 13172 (java) R 13168 13168 13124 0 -1 4202560 16886 0 0 0 61 5 0 0 20 0 20 0 509853284 27976081408 41424 33554432000 4194304 4196468 140726184739664 139790411513728 139790439689622 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28528640 140726184747718 140726184748166 140726184748166 140726184751055 0
[pid=13171/tid=13173] ppid=13168 vsize=27320392 memory=139858362540928 CPUtime=0 cores=0-7
/proc/13171/task/13173/stat : 13173 (java) S 13168 13168 13124 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509853287 27976081408 41424 33554432000 4194304 4196468 140726184739664 139790443920144 139790439687893 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28528640 140726184747718 140726184748166 140726184748166 140726184751055 0
[pid=13171/tid=13174] ppid=13168 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/13171/task/13174/stat : 13174 (java) S 13168 13168 13124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509853287 27976081408 41424 33554432000 4194304 4196468 140726184739664 139790258076560 139790439687893 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28528640 140726184747718 140726184748166 140726184748166 140726184751055 0
[pid=13171/tid=13175] ppid=13168 vsize=27320392 memory=9364 CPUtime=0 cores=0-7
/proc/13171/task/13175/stat : 13175 (java) S 13168 13168 13124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509853287 27976081408 41424 33554432000 4194304 4196468 140726184739664 139790257024016 139790439687893 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28528640 140726184747718 140726184748166 140726184748166 140726184751055 0

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

/proc/13193/task/13199/stat : 13199 (java) S 13168 13168 13124 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 509858557 8616062976 29578 33554432000 4194304 4196468 140732228563824 139958071749136 139958590174933 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15376384 140732228572127 140732228572294 140732228572294 140732228575183 0
[pid=13193/tid=13200] ppid=13168 vsize=8414124 memory=9364 CPUtime=0 cores=0-7
/proc/13193/task/13200/stat : 13200 (java) S 13168 13168 13124 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 509858557 8616062976 29578 33554432000 4194304 4196468 140732228563824 139958070696592 139958590174933 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15376384 140732228572127 140732228572294 140732228572294 140732228575183 0
[pid=13193/tid=13201] ppid=13168 vsize=8414124 memory=1120 CPUtime=0 cores=0-7
/proc/13193/task/13201/stat : 13201 (java) S 13168 13168 13124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509858557 8616062976 29578 33554432000 4194304 4196468 140732228563824 139958069643536 139958590174933 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15376384 140732228572127 140732228572294 140732228572294 140732228575183 0
[pid=13193/tid=13202] ppid=13168 vsize=8414124 memory=776 CPUtime=0 cores=0-7
/proc/13193/task/13202/stat : 13202 (java) S 13168 13168 13124 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 509858557 8616062976 29578 33554432000 4194304 4196468 140732228563824 139958068590992 139958590174933 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15376384 140732228572127 140732228572294 140732228572294 140732228575183 0
[pid=13193/tid=13203] ppid=13168 vsize=8414124 memory=1724 CPUtime=0 cores=0-7
/proc/13193/task/13203/stat : 13203 (java) S 13168 13168 13124 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 509858558 8616062976 29578 33554432000 4194304 4196468 140732228563824 139957817567984 139958590175874 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15376384 140732228572127 140732228572294 140732228572294 140732228575183 0
[pid=13193/tid=13204] ppid=13168 vsize=8414124 memory=8224 CPUtime=0 cores=0-7
/proc/13193/task/13204/stat : 13204 (java) S 13168 13168 13124 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 509858559 8616062976 29578 33554432000 4194304 4196468 140732228563824 139956878042784 139958590174933 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15376384 140732228572127 140732228572294 140732228572294 140732228575183 0
[pid=13193/tid=13205] ppid=13168 vsize=8414124 memory=3616 CPUtime=0 cores=0-7
/proc/13193/task/13205/stat : 13205 (java) S 13168 13168 13124 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 509858559 8616062976 29578 33554432000 4194304 4196468 140732228563824 139956743820528 139958590174933 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15376384 140732228572127 140732228572294 140732228572294 140732228575183 0
[pid=13193/tid=13206] ppid=13168 vsize=8414124 memory=1556 CPUtime=0 cores=0-7
/proc/13193/task/13206/stat : 13206 (java) S 13168 13168 13124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509858562 8616062976 29578 33554432000 4194304 4196468 140732228563824 139956369316304 139958590183323 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15376384 140732228572127 140732228572294 140732228572294 140732228575183 0
[pid=13193/tid=13207] ppid=13168 vsize=8414124 memory=2832 CPUtime=0.06 cores=0-7
/proc/13193/task/13207/stat : 13207 (java) S 13168 13168 13124 0 -1 1077944384 593 0 0 0 6 0 0 0 20 0 24 0 509858562 8616062976 29578 33554432000 4194304 4196468 140732228563824 139957816514800 139958590175874 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15376384 140732228572127 140732228572294 140732228572294 140732228575183 0
[pid=13193/tid=13208] ppid=13168 vsize=8414124 memory=984 CPUtime=0.06 cores=0-7
/proc/13193/task/13208/stat : 13208 (java) S 13168 13168 13124 0 -1 1077944384 324 0 0 0 6 0 0 0 20 0 24 0 509858562 8616062976 29578 33554432000 4194304 4196468 140732228563824 139957815462256 139958590175874 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15376384 140732228572127 140732228572294 140732228572294 140732228575183 0
[pid=13193/tid=13209] ppid=13168 vsize=8414124 memory=14012 CPUtime=0.06 cores=0-7
/proc/13193/task/13209/stat : 13209 (java) S 13168 13168 13124 0 -1 1077944384 287 0 0 0 6 0 0 0 20 0 24 0 509858562 8616062976 29578 33554432000 4194304 4196468 140732228563824 139957814409200 139958590175874 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15376384 140732228572127 140732228572294 140732228572294 140732228575183 0
[pid=13193/tid=13210] ppid=13168 vsize=8414124 memory=20820 CPUtime=0.2 cores=0-7
/proc/13193/task/13210/stat : 13210 (java) S 13168 13168 13124 0 -1 1077944384 934 0 0 0 20 0 0 0 20 0 24 0 509858562 8616062976 29578 33554432000 4194304 4196468 140732228563824 139957813356656 139958590175874 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15376384 140732228572127 140732228572294 140732228572294 140732228575183 0
[pid=13193/tid=13211] ppid=13168 vsize=8414124 memory=2120 CPUtime=0 cores=0-7
/proc/13193/task/13211/stat : 13211 (java) S 13168 13168 13124 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 509858562 8616062976 29578 33554432000 4194304 4196468 140732228563824 139955871411168 139958590174933 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15376384 140732228572127 140732228572294 140732228572294 140732228575183 0
[pid=13193/tid=13212] ppid=13168 vsize=8414124 memory=12036 CPUtime=0.15 cores=0-7
/proc/13193/task/13212/stat : 13212 (java) S 13168 13168 13124 0 -1 1077944384 19 0 0 0 0 15 0 0 20 0 24 0 509858562 8616062976 29578 33554432000 4194304 4196468 140732228563824 139957812305072 139958590175874 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15376384 140732228572127 140732228572294 140732228572294 140732228575183 0
[pid=13193/tid=13214] ppid=13168 vsize=8414124 memory=3868 CPUtime=0 cores=0-7
/proc/13193/task/13214/stat : 13214 (java) S 13168 13168 13124 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 509858629 8616062976 29578 33554432000 4194304 4196468 140732228563824 139957884966336 139958590189337 0 4 2 25189581 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 15376384 140732228572127 140732228572294 140732228572294 140732228575183 0
[pid=13193/tid=13216] ppid=13168 vsize=8414124 memory=1476 CPUtime=0.01 cores=0-7
/proc/13193/task/13216/stat : 13216 (java) S 13168 13168 13124 0 -1 4202560 7 0 0 0 1 0 0 0 20 0 24 0 509858629 8616062976 29578 33554432000 4194304 4196468 140732228563824 139955200310800 139958590186653 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 15376384 140732228572127 140732228572294 140732228572294 140732228575183 0
[pid=13193/tid=13217] ppid=13168 vsize=8414124 memory=118312 CPUtime=0 cores=0-7
/proc/13193/task/13217/stat : 13217 (java) S 13168 13168 13124 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 509858629 8616062976 29578 33554432000 4194304 4196468 140732228563824 139955468746384 139958590186653 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 15376384 140732228572127 140732228572294 140732228572294 140732228575183 0
[pid=13193/tid=13218] ppid=13168 vsize=8414124 memory=457800 CPUtime=0 cores=0-7
/proc/13193/task/13218/stat : 13218 (java) S 13168 13168 13124 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 24 0 509858631 8616062976 29578 33554432000 4194304 4196468 140732228563824 139954931882928 139958590174933 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15376384 140732228572127 140732228572294 140732228572294 140732228575183 0
Current children cumulated CPU time: 2036.54 s
Current children cumulated vsize: 9253012 KiB
Current children cumulated memory: 575616 KiB

[startup+304.001 s]*
/proc/loadavg: 8.05 4.60 1.95 2/217 13250
/proc/meminfo: memFree=24529228/32770624 swapFree=66953996/67108860
[pid=13168] ppid=13165 vsize=113128 memory=1476 CPUtime=73.73 cores=0-7
/proc/13168/stat : 13168 (scop.sh) S 13165 13168 13124 0 -1 4202496 582 78300 0 0 0 0 7080 293 20 0 1 0 509853284 115843072 369 33554432000 4194304 5098028 140728313333776 140728313330520 140602513625724 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 35020800 140728313340668 140728313341016 140728313341016 140728313343945 0
/proc/13168/statm: 28282 369 311 221 0 87 0
[pid=13193] ppid=13168 vsize=8414124 memory=118312 CPUtime=1.36 cores=0-7
/proc/13193/stat : 13193 (java) S 13168 13168 13124 0 -1 1077944320 21623 0 0 0 128 8 0 0 20 0 24 0 509858555 8616062976 29578 33554432000 4194304 4196468 140732228563824 140732228546368 139958590164727 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 15376384 140732228572127 140732228572294 140732228572294 140732228575183 0
/proc/13193/statm: 2103531 29578 3200 1 0 2064875 0
[pid=13213] ppid=13193 vsize=725760 memory=455828 CPUtime=1962.22 cores=0-7
/proc/13213/stat : 13213 (manyglucose-4.1) S 13193 13168 13124 0 -1 1077944320 474930 0 0 0 196024 198 0 0 20 0 2 0 509858629 743178240 113957 33554432000 4194304 4454172 140733814036272 140733814034656 139888040439543 0 4 0 8388610 18446744073709551615 0 0 17 7 0 0 0 0 0 6552832 6554400 17350656 140733814039373 140733814039580 140733814039580 140733814042550 0
/proc/13213/statm: 181440 113957 417 64 0 177108 0
[pid=13213/tid=13222] ppid=13193 vsize=725760 memory=1984 CPUtime=248 cores=0-7
/proc/13213/task/13222/stat : 13222 (manyglucose-4.1) R 13193 13168 13124 0 -1 4202560 59529 0 0 0 24779 21 0 0 20 0 2 0 509858649 743178240 113957 33554432000 4194304 4454172 140733814036272 139887978355720 4351492 0 4 0 8388610 0 0 0 -1 1 0 0 0 0 0 6552832 6554400 17350656 140733814039373 140733814039580 140733814039580 140733814042550 0
[pid=13193/tid=13194] ppid=13168 vsize=8414124 memory=8317482817917895235 CPUtime=0.76 cores=0-7
/proc/13193/task/13194/stat : 13194 (java) S 13168 13168 13124 0 -1 1077944384 18048 0 0 0 71 5 0 0 20 0 24 0 509858556 8616062976 29578 33554432000 4194304 4196468 140732228563824 139958562004896 139958590174933 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15376384 140732228572127 140732228572294 140732228572294 140732228575183 0
[pid=13193/tid=13195] ppid=13168 vsize=8414124 memory=1560 CPUtime=0 cores=0-7
/proc/13193/task/13195/stat : 13195 (java) S 13168 13168 13124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509858557 8616062976 29578 33554432000 4194304 4196468 140732228563824 139958594407440 139958590174933 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15376384 140732228572127 140732228572294 140732228572294 140732228575183 0
[pid=13193/tid=13196] ppid=13168 vsize=8414124 memory=928 CPUtime=0 cores=0-7
/proc/13193/task/13196/stat : 13196 (java) S 13168 13168 13124 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 509858557 8616062976 29578 33554432000 4194304 4196468 140732228563824 139958423501968 139958590174933 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15376384 140732228572127 140732228572294 140732228572294 140732228575183 0
[pid=13193/tid=13197] ppid=13168 vsize=8414124 memory=1680 CPUtime=0 cores=0-7
/proc/13193/task/13197/stat : 13197 (java) S 13168 13168 13124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509858557 8616062976 29578 33554432000 4194304 4196468 140732228563824 139958073854736 139958590174933 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15376384 140732228572127 140732228572294 140732228572294 140732228575183 0
[pid=13193/tid=13198] ppid=13168 vsize=8414124 memory=1444 CPUtime=0 cores=0-7
/proc/13193/task/13198/stat : 13198 (java) S 13168 13168 13124 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 509858557 8616062976 29578 33554432000 4194304 4196468 140732228563824 139958072802192 139958590174933 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15376384 140732228572127 140732228572294 140732228572294 140732228575183 0
[pid=13193/tid=13199] ppid=13168 vsize=8414124 memory=880 CPUtime=0 cores=0-7
/proc/13193/task/13199/stat : 13199 (java) S 13168 13168 13124 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 509858557 8616062976 29578 33554432000 4194304 4196468 140732228563824 139958071749136 139958590174933 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15376384 140732228572127 140732228572294 140732228572294 140732228575183 0
[pid=13193/tid=13200] ppid=13168 vsize=8414124 memory=1984 CPUtime=0 cores=0-7
/proc/13193/task/13200/stat : 13200 (java) S 13168 13168 13124 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 509858557 8616062976 29578 33554432000 4194304 4196468 140732228563824 139958070696592 139958590174933 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15376384 140732228572127 140732228572294 140732228572294 140732228575183 0
[pid=13193/tid=13201] ppid=13168 vsize=8414124 memory=6791534058613427641 CPUtime=0 cores=0-7
/proc/13193/task/13201/stat : 13201 (java) S 13168 13168 13124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509858557 8616062976 29578 33554432000 4194304 4196468 140732228563824 139958069643536 139958590174933 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15376384 140732228572127 140732228572294 140732228572294 140732228575183 0
[pid=13193/tid=13202] ppid=13168 vsize=8414124 memory=1724 CPUtime=0 cores=0-7
/proc/13193/task/13202/stat : 13202 (java) S 13168 13168 13124 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 509858557 8616062976 29578 33554432000 4194304 4196468 140732228563824 139958068590992 139958590174933 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15376384 140732228572127 140732228572294 140732228572294 140732228575183 0
[pid=13193/tid=13203] ppid=13168 vsize=8414124 memory=8224 CPUtime=0 cores=0-7
/proc/13193/task/13203/stat : 13203 (java) S 13168 13168 13124 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 509858558 8616062976 29578 33554432000 4194304 4196468 140732228563824 139957817567984 139958590175874 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15376384 140732228572127 140732228572294 140732228572294 140732228575183 0
[pid=13193/tid=13204] ppid=13168 vsize=8414124 memory=3616 CPUtime=0 cores=0-7
/proc/13193/task/13204/stat : 13204 (java) S 13168 13168 13124 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 509858559 8616062976 29578 33554432000 4194304 4196468 140732228563824 139956878042784 139958590174933 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15376384 140732228572127 140732228572294 140732228572294 140732228575183 0
[pid=13193/tid=13205] ppid=13168 vsize=8414124 memory=1556 CPUtime=0 cores=0-7
/proc/13193/task/13205/stat : 13205 (java) S 13168 13168 13124 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 509858559 8616062976 29578 33554432000 4194304 4196468 140732228563824 139956743820528 139958590174933 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15376384 140732228572127 140732228572294 140732228572294 140732228575183 0
[pid=13193/tid=13206] ppid=13168 vsize=8414124 memory=2832 CPUtime=0 cores=0-7
/proc/13193/task/13206/stat : 13206 (java) S 13168 13168 13124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509858562 8616062976 29578 33554432000 4194304 4196468 140732228563824 139956369316304 139958590183323 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15376384 140732228572127 140732228572294 140732228572294 140732228575183 0
[pid=13193/tid=13207] ppid=13168 vsize=8414124 memory=984 CPUtime=0.06 cores=0-7
/proc/13193/task/13207/stat : 13207 (java) S 13168 13168 13124 0 -1 1077944384 593 0 0 0 6 0 0 0 20 0 24 0 509858562 8616062976 29578 33554432000 4194304 4196468 140732228563824 139957816514800 139958590175874 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15376384 140732228572127 140732228572294 140732228572294 140732228575183 0
[pid=13193/tid=13208] ppid=13168 vsize=8414124 memory=14012 CPUtime=0.06 cores=0-7
/proc/13193/task/13208/stat : 13208 (java) S 13168 13168 13124 0 -1 1077944384 324 0 0 0 6 0 0 0 20 0 24 0 509858562 8616062976 29578 33554432000 4194304 4196468 140732228563824 139957815462256 139958590175874 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15376384 140732228572127 140732228572294 140732228572294 140732228575183 0
[pid=13193/tid=13209] ppid=13168 vsize=8414124 memory=20820 CPUtime=0.06 cores=0-7
/proc/13193/task/13209/stat : 13209 (java) S 13168 13168 13124 0 -1 1077944384 287 0 0 0 6 0 0 0 20 0 24 0 509858562 8616062976 29578 33554432000 4194304 4196468 140732228563824 139957814409200 139958590175874 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15376384 140732228572127 140732228572294 140732228572294 140732228575183 0
[pid=13193/tid=13210] ppid=13168 vsize=8414124 memory=-8958901460276638098 CPUtime=0.2 cores=0-7
/proc/13193/task/13210/stat : 13210 (java) S 13168 13168 13124 0 -1 1077944384 934 0 0 0 20 0 0 0 20 0 24 0 509858562 8616062976 29578 33554432000 4194304 4196468 140732228563824 139957813356656 139958590175874 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15376384 140732228572127 140732228572294 140732228572294 140732228575183 0
[pid=13193/tid=13211] ppid=13168 vsize=8414124 memory=920 CPUtime=0 cores=0-7
/proc/13193/task/13211/stat : 13211 (java) S 13168 13168 13124 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 509858562 8616062976 29578 33554432000 4194304 4196468 140732228563824 139955871411168 139958590174933 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15376384 140732228572127 140732228572294 140732228572294 140732228575183 0
[pid=13193/tid=13212] ppid=13168 vsize=8414124 memory=3908 CPUtime=0.15 cores=0-7
/proc/13193/task/13212/stat : 13212 (java) S 13168 13168 13124 0 -1 1077944384 19 0 0 0 0 15 0 0 20 0 24 0 509858562 8616062976 29578 33554432000 4194304 4196468 140732228563824 139957812305072 139958590175874 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15376384 140732228572127 140732228572294 140732228572294 140732228575183 0
[pid=13193/tid=13214] ppid=13168 vsize=8414124 memory=1412 CPUtime=0 cores=0-7
/proc/13193/task/13214/stat : 13214 (java) S 13168 13168 13124 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 509858629 8616062976 29578 33554432000 4194304 4196468 140732228563824 139957884966336 139958590189337 0 4 2 25189581 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 15376384 140732228572127 140732228572294 140732228572294 140732228575183 0
[pid=13193/tid=13216] ppid=13168 vsize=8414124 memory=3868 CPUtime=0.01 cores=0-7
/proc/13193/task/13216/stat : 13216 (java) S 13168 13168 13124 0 -1 4202560 7 0 0 0 1 0 0 0 20 0 24 0 509858629 8616062976 29578 33554432000 4194304 4196468 140732228563824 139955200310800 139958590186653 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 15376384 140732228572127 140732228572294 140732228572294 140732228575183 0
[pid=13193/tid=13217] ppid=13168 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/13193/task/13217/stat : 13217 (java) S 13168 13168 13124 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 509858629 8616062976 29578 33554432000 4194304 4196468 140732228563824 139955468746384 139958590186653 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 15376384 140732228572127 140732228572294 140732228572294 140732228575183 0
[pid=13193/tid=13218] ppid=13168 vsize=8414124 memory=279716727689216 CPUtime=0 cores=0-7
/proc/13193/task/13218/stat : 13218 (java) S 13168 13168 13124 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 24 0 509858631 8616062976 29578 33554432000 4194304 4196468 140732228563824 139954931882928 139958590174933 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15376384 140732228572127 140732228572294 140732228572294 140732228575183 0
Current children cumulated CPU time: 2037.31 s
Current children cumulated vsize: 9253012 KiB
Current children cumulated memory: 575616 KiB

[startup+304.11 s]
/proc/loadavg: 8.05 4.60 1.95 2/217 13250
/proc/meminfo: memFree=24529228/32770624 swapFree=66953996/67108860
[pid=13168] ppid=13165 vsize=113128 memory=1476 CPUtime=73.73 cores=0-7
/proc/13168/stat : 13168 (scop.sh) S 13165 13168 13124 0 -1 4202496 582 78300 0 0 0 0 7080 293 20 0 1 0 509853284 115843072 369 33554432000 4194304 5098028 140728313333776 140728313330520 140602513625724 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 35020800 140728313340668 140728313341016 140728313341016 140728313343945 0
/proc/13168/statm: 28282 369 311 221 0 87 0
[pid=13193] ppid=13168 vsize=8414124 memory=127132 CPUtime=1963.78 cores=0-7
/proc/13193/stat : 13193 (java) S 13168 13168 13124 0 -1 1077944320 23788 474944 0 0 140 9 196029 200 20 0 23 0 509858555 8616062976 31783 33554432000 4194304 4196468 140732228563824 140732228546368 139958590164727 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 15376384 140732228572127 140732228572294 140732228572294 140732228575183 0
/proc/13193/statm: 2103531 31783 3218 1 0 2064875 0
[pid=13193/tid=13194] ppid=13168 vsize=8414124 memory=1476 CPUtime=1963.05 cores=0-7
/proc/13193/task/13194/stat : 13194 (java) S 13168 13168 13124 0 -1 1077944384 18048 474944 0 0 71 5 196029 200 20 0 23 0 509858556 8616062976 31783 33554432000 4194304 4196468 140732228563824 139958562004896 139958590174933 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15376384 140732228572127 140732228572294 140732228572294 140732228575183 0
[pid=13193/tid=13195] ppid=13168 vsize=8414124 memory=1476 CPUtime=1962.29 cores=0-7
/proc/13193/task/13195/stat : 13195 (java) S 13168 13168 13124 0 -1 1077944384 1 474944 0 0 0 0 196029 200 20 0 23 0 509858557 8616062976 31783 33554432000 4194304 4196468 140732228563824 139958594407440 139958590174933 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15376384 140732228572127 140732228572294 140732228572294 140732228575183 0
[pid=13193/tid=13196] ppid=13168 vsize=8414124 memory=450376 CPUtime=1962.29 cores=0-7
/proc/13193/task/13196/stat : 13196 (java) S 13168 13168 13124 0 -1 1077944384 2 474944 0 0 0 0 196029 200 20 0 23 0 509858557 8616062976 31783 33554432000 4194304 4196468 140732228563824 139958423501968 139958590174933 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15376384 140732228572127 140732228572294 140732228572294 140732228575183 0
[pid=13193/tid=13197] ppid=13168 vsize=8414124 memory=427308 CPUtime=1962.29 cores=0-7
/proc/13193/task/13197/stat : 13197 (java) S 13168 13168 13124 0 -1 1077944384 1 474944 0 0 0 0 196029 200 20 0 23 0 509858557 8616062976 31783 33554432000 4194304 4196468 140732228563824 139958073854736 139958590174933 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15376384 140732228572127 140732228572294 140732228572294 140732228575183 0
[pid=13193/tid=13198] ppid=13168 vsize=8414124 memory=988 CPUtime=1962.29 cores=0-7
/proc/13193/task/13198/stat : 13198 (java) S 13168 13168 13124 0 -1 1077944384 3 474944 0 0 0 0 196029 200 20 0 23 0 509858557 8616062976 31783 33554432000 4194304 4196468 140732228563824 139958072802192 139958590174933 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15376384 140732228572127 140732228572294 140732228572294 140732228575183 0
[pid=13193/tid=13199] ppid=13168 vsize=8414124 memory=-7003737579269690708 CPUtime=1962.29 cores=0-7
/proc/13193/task/13199/stat : 13199 (java) S 13168 13168 13124 0 -1 1077944384 2 474944 0 0 0 0 196029 200 20 0 23 0 509858557 8616062976 31783 33554432000 4194304 4196468 140732228563824 139958071749136 139958590174933 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15376384 140732228572127 140732228572294 140732228572294 140732228575183 0
[pid=13193/tid=13200] ppid=13168 vsize=8414124 memory=288230596050944315 CPUtime=1962.29 cores=0-7
/proc/13193/task/13200/stat : 13200 (java) S 13168 13168 13124 0 -1 1077944384 2 474944 0 0 0 0 196029 200 20 0 23 0 509858557 8616062976 31783 33554432000 4194304 4196468 140732228563824 139958070696592 139958590174933 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15376384 140732228572127 140732228572294 140732228572294 140732228575183 0
[pid=13193/tid=13201] ppid=13168 vsize=8414124 memory=118312 CPUtime=1962.29 cores=0-7
/proc/13193/task/13201/stat : 13201 (java) S 13168 13168 13124 0 -1 1077944384 1 474944 0 0 0 0 196029 200 20 0 23 0 509858557 8616062976 31783 33554432000 4194304 4196468 140732228563824 139958069643536 139958590174933 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15376384 140732228572127 140732228572294 140732228572294 140732228575183 0
[pid=13193/tid=13202] ppid=13168 vsize=8414124 memory=455540 CPUtime=1962.29 cores=0-7
/proc/13193/task/13202/stat : 13202 (java) S 13168 13168 13124 0 -1 1077944384 2 474944 0 0 0 0 196029 200 20 0 23 0 509858557 8616062976 31783 33554432000 4194304 4196468 140732228563824 139958068590992 139958590174933 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15376384 140732228572127 140732228572294 140732228572294 140732228575183 0
[pid=13193/tid=13203] ppid=13168 vsize=8414124 memory=804 CPUtime=1962.29 cores=0-7
/proc/13193/task/13203/stat : 13203 (java) S 13168 13168 13124 0 -1 1077944384 8 474944 0 0 0 0 196029 200 20 0 23 0 509858558 8616062976 31783 33554432000 4194304 4196468 140732228563824 139957817567984 139958590175874 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15376384 140732228572127 140732228572294 140732228572294 140732228575183 0
[pid=13193/tid=13204] ppid=13168 vsize=8414124 memory=4100 CPUtime=1962.29 cores=0-7
/proc/13193/task/13204/stat : 13204 (java) S 13168 13168 13124 0 -1 1077944384 13 474944 0 0 0 0 196029 200 20 0 23 0 509858559 8616062976 31783 33554432000 4194304 4196468 140732228563824 139956878042784 139958590174933 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15376384 140732228572127 140732228572294 140732228572294 140732228575183 0
[pid=13193/tid=13205] ppid=13168 vsize=8414124 memory=1476 CPUtime=1962.29 cores=0-7
/proc/13193/task/13205/stat : 13205 (java) S 13168 13168 13124 0 -1 1077944384 21 474944 0 0 0 0 196029 200 20 0 23 0 509858559 8616062976 31783 33554432000 4194304 4196468 140732228563824 139956743820528 139958590174933 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15376384 140732228572127 140732228572294 140732228572294 140732228575183 0
[pid=13193/tid=13206] ppid=13168 vsize=8414124 memory=118312 CPUtime=1962.29 cores=0-7
/proc/13193/task/13206/stat : 13206 (java) S 13168 13168 13124 0 -1 1077944384 1 474944 0 0 0 0 196029 200 20 0 23 0 509858562 8616062976 31783 33554432000 4194304 4196468 140732228563824 139956369316304 139958590183323 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15376384 140732228572127 140732228572294 140732228572294 140732228575183 0
[pid=13193/tid=13207] ppid=13168 vsize=8414124 memory=988 CPUtime=1962.36 cores=0-7
/proc/13193/task/13207/stat : 13207 (java) S 13168 13168 13124 0 -1 1077944384 606 474944 0 0 7 0 196029 200 20 0 23 0 509858562 8616062976 31783 33554432000 4194304 4196468 140732228563824 139957816514800 139958590175874 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15376384 140732228572127 140732228572294 140732228572294 140732228575183 0
[pid=13193/tid=13208] ppid=13168 vsize=8414124 memory=2016 CPUtime=1962.36 cores=0-7
/proc/13193/task/13208/stat : 13208 (java) S 13168 13168 13124 0 -1 1077944384 333 474944 0 0 7 0 196029 200 20 0 23 0 509858562 8616062976 31783 33554432000 4194304 4196468 140732228563824 139957815462256 139958590175874 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15376384 140732228572127 140732228572294 140732228572294 140732228575183 0
[pid=13193/tid=13209] ppid=13168 vsize=8414124 memory=1284 CPUtime=1962.38 cores=0-7
/proc/13193/task/13209/stat : 13209 (java) S 13168 13168 13124 0 -1 1077944384 521 474944 0 0 9 0 196029 200 20 0 23 0 509858562 8616062976 31783 33554432000 4194304 4196468 140732228563824 139957814409200 139958590175874 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15376384 140732228572127 140732228572294 140732228572294 140732228575183 0
[pid=13193/tid=13210] ppid=13168 vsize=8414124 memory=1476 CPUtime=1962.52 cores=0-7
/proc/13193/task/13210/stat : 13210 (java) R 13168 13168 13124 0 -1 4202560 1140 474944 0 0 23 0 196029 200 20 0 23 0 509858562 8616062976 31783 33554432000 4194304 4196468 140732228563824 139957813354448 139958583271094 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15376384 140732228572127 140732228572294 140732228572294 140732228575183 0
[pid=13193/tid=13211] ppid=13168 vsize=8414124 memory=118312 CPUtime=1962.29 cores=0-7
/proc/13193/task/13211/stat : 13211 (java) S 13168 13168 13124 0 -1 1077944384 3 474944 0 0 0 0 196029 200 20 0 23 0 509858562 8616062976 31783 33554432000 4194304 4196468 140732228563824 139955871411168 139958590174933 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15376384 140732228572127 140732228572294 140732228572294 140732228575183 0
[pid=13193/tid=13212] ppid=13168 vsize=8414124 memory=1476 CPUtime=1962.44 cores=0-7
/proc/13193/task/13212/stat : 13212 (java) S 13168 13168 13124 0 -1 1077944384 19 474944 0 0 0 15 196029 200 20 0 23 0 509858562 8616062976 31783 33554432000 4194304 4196468 140732228563824 139957812305072 139958590175874 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15376384 140732228572127 140732228572294 140732228572294 140732228575183 0
[pid=13193/tid=13214] ppid=13168 vsize=8414124 memory=1476 CPUtime=1962.29 cores=0-7
/proc/13193/task/13214/stat : 13214 (java) S 13168 13168 13124 0 -1 1077944384 25 474944 0 0 0 0 196029 200 20 0 23 0 509858629 8616062976 31783 33554432000 4194304 4196468 140732228563824 139957884965520 139958590175874 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15376384 140732228572127 140732228572294 140732228572294 140732228575183 0
[pid=13193/tid=13216] ppid=13168 vsize=8414124 memory=118312 CPUtime=1962.34 cores=0-7
/proc/13193/task/13216/stat : 13216 (java) R 13168 13168 13124 0 -1 4202560 1716 474944 0 0 5 0 196029 200 20 0 23 0 509858629 8616062976 31783 33554432000 4194304 4196468 140732228563824 139955200305424 139958094827989 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15376384 140732228572127 140732228572294 140732228572294 140732228575183 0
[pid=13193/tid=13218] ppid=13168 vsize=8414124 memory=455540 CPUtime=1962.29 cores=0-7
/proc/13193/task/13218/stat : 13218 (java) S 13168 13168 13124 0 -1 1077944384 4 474944 0 0 0 0 196029 200 20 0 23 0 509858631 8616062976 31783 33554432000 4194304 4196468 140732228563824 139954931882688 139958590174933 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15376384 140732228572127 140732228572294 140732228572294 140732228575183 0
Current children cumulated CPU time: 2037.51 s
Current children cumulated vsize: 8527252 KiB
Current children cumulated memory: 128608 KiB

Child status: 0
Real time (s): 304.197
CPU time (s): 2037.71
CPU user time (s): 2032.66
CPU system time (s): 5.05211
CPU usage (%): 669.864
Max. virtual memory (cumulated for all children) (KiB): 27441876
Max. memory (cumulated for all children) (KiB): 6609296

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2032.66
system time used= 5.05211
maximum resident set size= 6608908
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 578003
page faults= 0
swaps= 0
block input operations= 0
block output operations= 7024
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 98392
involuntary context switches= 18524


# summary of solver processes directly reported to runsolver:
#   pid: 13168
#   total CPU time (s): 2037.71
#   total CPU user time (s): 2032.66
#   total CPU system time (s): 5.05211

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.79946 second user time and 4.04341 second system time

The end

Launcher Data 

Begin job on node107 at 2019-09-24 15:37:36
IDJOB=4405574
IDBENCH=126080
IDSOLVER=2868
FILE ID=node107/4405574-1569335979
RUNJOBID= node107-1569332256-13151
PBS_JOBID= 21705068
Free space on /var/tmp= 12532 MiB

SOLVER NAME= Fun-sCOP hybrid+ManyGlucose (2019-09-22)
BENCH NAME= XCSP17/QRandom/QRandom-mdd-7-25-5/mdd-7-25-5-56-01.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-4405574-1569335979/watcher-4405574-1569335979 -o /var/tmp/evaluation-result-4405574-1569335979/solver-4405574-1569335979 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node107-1569332256-13151 --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-4405574-1569335979.xml

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

MD5SUM BENCH= 38fbb435e56fa73fec05cbb523a31b1b
RANDOM SEED=2101077985

node107.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	: 5334.11
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	: 5334.11
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	: 5334.11
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	: 5334.11
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:        25096672 kB
MemAvailable:   31804468 kB
Buffers:           99080 kB
Cached:          6679752 kB
SwapCached:        48256 kB
Active:          3367808 kB
Inactive:        3460380 kB
Active(anon):       3656 kB
Inactive(anon):    98420 kB
Active(file):    3364152 kB
Inactive(file):  3361960 kB
Unevictable:      110980 kB
Mlocked:          110980 kB
SwapTotal:      67108860 kB
SwapFree:       66953996 kB
Dirty:             52880 kB
Writeback:             0 kB
AnonPages:        112760 kB
Mapped:            53116 kB
Shmem:             44476 kB
Slab:             438468 kB
SReclaimable:     410144 kB
SUnreclaim:        28324 kB
KernelStack:        3280 kB
PageTables:         5972 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     505408 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     67584 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      101760 kB
DirectMap2M:    33443840 kB

Free space on /var/tmp at the end= 12512 MiB
End job on node107 at 2019-09-24 15:42:40