Trace number 4392414

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Fun-sCOP order+ManyGlucose (2019-06-15)SAT 1986.04 294.369

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 -order -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-7566-serial-file.bin HOME/instance-4392414-1568425717.xml
0.65/0.54	
0.65/0.54	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
0.65/0.54	
0.65/0.56	c BEGIN-Prog: Sat Sep 14 03:47:57 CEST 2019
0.65/0.56	c PID: 7569
0.65/0.56	c IP: 172.20.3.143
0.65/0.56	c HOST: node143.alineos.net
0.65/0.57	c (0,0) Parsing Begin
6.67/5.09	c (4,4) Parsing End
6.67/5.09	c (4,4) CSP: 25 int (0 aux), 0 bool (0 aux), 56 ctr, max domain size 5
6.67/5.09	c (4,4) Heap : 3943 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
6.67/5.09	c (4,4) Constraint Name Generate Begin
6.67/5.10	c (4,4) Ctr:HOME/instance-4392414-1568425717.xml,ExtensionSupport:Var
6.67/5.10	c (4,4) Constraint Name Generate End
6.67/5.10	c (4,4) Heap : 3943 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
6.67/5.10	c (4,4) CSP to CSPinCNF Begin
19.70/10.14	c (9,9) translated 6 (10%) constraints
25.17/14.29	c (13,13) translated 12 (20%) constraints
29.39/17.75	c (17,16) translated 17 (30%) constraints
35.41/22.26	c (21,21) translated 23 (40%) constraints
38.87/25.53	c (24,24) translated 28 (50%) constraints
45.33/30.24	c (29,29) translated 34 (60%) constraints
49.35/34.08	c (33,32) translated 40 (70%) constraints
52.79/37.46	c (36,36) translated 45 (80%) constraints
58.27/41.85	c (41,40) translated 51 (90%) constraints
61.48/45.08	c (44,43) translated 56 (100%) constraints
62.30/45.80	c (45,44) ===========================================
62.30/45.81	c (45,44) Order
62.30/45.81	c (45,44) ===========================================
63.37/46.23	c (45,44) translated 14635 (10%) constraints
63.67/46.56	c (46,45) translated 29269 (20%) constraints
64.14/46.90	c (46,45) translated 43904 (30%) constraints
64.45/47.24	c (46,45) translated 58538 (40%) constraints
64.74/47.57	c (47,46) translated 73172 (50%) constraints
65.14/47.90	c (47,46) translated 87807 (60%) constraints
65.45/48.24	c (47,46) translated 102441 (70%) constraints
65.74/48.57	c (48,47) translated 117076 (80%) constraints
66.14/48.91	c (48,47) translated 131710 (90%) constraints
66.52/49.25	c (48,47) translated 146344 (100%) constraints
66.52/49.25	c (48,47) CSP to CSPinCNF End
66.52/49.27	c (48,47) CSP: 25 int (0 aux), 14000 bool (14000 aux), 146344 ctr, max domain size 5
66.52/49.27	c (48,47) Heap : 5739 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB)
66.52/49.27	c (48,47) CSPinCNF Propagation Begin
69.66/50.44	c (49,48) 0 values, 71 unsatisfiable literals, and 21 valid clauses are removed
69.66/50.44	c (49,48) CSPinCNF Propagation End
69.66/50.44	c (49,48) CSP: 25 int (0 aux), 14000 bool (14000 aux), 146323 ctr, max domain size 5
69.66/50.44	c (49,48) Heap : 1009 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB)
69.66/50.44	c (49,48) Simplify CSPinCNF Begin
70.12/50.79	c (50,49) Simplify CSPinCNF End
70.12/50.79	c (50,49) CSP: 25 int (0 aux), 14000 bool (14000 aux), 146323 ctr, max domain size 5
70.12/50.79	c (50,49) Heap : 1232 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB)
70.12/50.79	c (50,49) Calculate Precise Domain Begin
70.12/50.79	c (50,49) 0 values are removed by re-calculation
70.12/50.79	c (50,49) Calculate Precise Domain End
70.12/50.79	c (50,49) CSP: 25 int (0 aux), 14000 bool (14000 aux), 146323 ctr, max domain size 5
70.12/50.79	c (50,49) Heap : 1232 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB)
70.12/50.79	c (50,49) CSPinCNF to SatSolver Begin
71.79/51.24	c (50,49) 14633 (10 %) CSP clauses are encoded (0 SAT variables, 14707 SAT clauses)
71.89/51.39	c (50,49) 29265 (20 %) CSP clauses are encoded (0 SAT variables, 29339 SAT clauses)
72.12/51.53	c (50,50) 43897 (30 %) CSP clauses are encoded (0 SAT variables, 43971 SAT clauses)
72.22/51.67	c (51,50) 58530 (40 %) CSP clauses are encoded (0 SAT variables, 58604 SAT clauses)
72.42/51.81	c (51,50) 73162 (50 %) CSP clauses are encoded (0 SAT variables, 73236 SAT clauses)
72.53/51.96	c (51,50) 87794 (60 %) CSP clauses are encoded (0 SAT variables, 87868 SAT clauses)
72.63/52.10	c (51,50) 102427 (70 %) CSP clauses are encoded (0 SAT variables, 102501 SAT clauses)
72.84/52.24	c (51,50) 117059 (80 %) CSP clauses are encoded (0 SAT variables, 117133 SAT clauses)
72.93/52.38	c (51,50) 131691 (90 %) CSP clauses are encoded (0 SAT variables, 131765 SAT clauses)
73.13/52.52	c (51,51) 146323 (100 %) CSP clauses are encoded (0 SAT variables, 146397 SAT clauses)
73.13/52.52	c (51,51) CSPinCNF to SatSolver End
73.13/52.52	c (51,51) Heap : 2570 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
73.13/52.52	c (51,51) 14097 bool, 146398 clause
73.13/52.52	c (51,51) Export Begin
73.29/52.61	c (52,51) Export to HOME/scop-7566-serial-file.bin
73.29/52.61	c (52,51) Export End
73.29/52.61	c (52,51) Export File Size: 0.01 MB
73.29/52.61	c (52,51) 4,4,48,49,50,50,51,STOP-AFTER(DIMACS)
73.29/52.61	c END-Prog: Sat Sep 14 03:48:49 CEST 2019
73.29/52.65	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-7566-serial-file.bin
73.94/53.11	c (0,0) Read Serial File Begin
73.94/53.11	c (0,0) HOME/scop-7566-serial-file.bin
74.22/53.32	c (0,0) Read Serial File End
74.22/53.34	
74.22/53.34	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
74.22/53.34	(Solving Process)
74.22/53.34	
74.22/53.36	c BEGIN-Prog: Sat Sep 14 03:48:49 CEST 2019
74.22/53.36	c PID: 7594
74.22/53.36	c IP: 172.20.3.143
74.22/53.36	c HOST: node143.alineos.net
74.22/53.36	c (0,0) SatSolver.solve Begin
74.22/53.36	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4392414-1568425717.xml-scop-7569.cnf
74.22/53.39	c (0,0) c
74.22/53.39	c (0,0) c This is deterministic version of glucose-syrup 4.1-27 (glucose in many threads) --  based on MiniSAT (Many thanks to MiniSAT team)
74.22/53.39	c (0,0) c
74.22/53.39	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
74.22/53.39	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
74.22/53.39	c (0,0) c ========================================[ Problem Statistics ]===========================================
74.22/53.39	c (0,0) c |                                                                                                       |
74.44/53.45	c (0,0) c |  Number of variables:         14097                                                                   |
74.44/53.45	c (0,0) c |  Number of clauses:          146398                                                                   |
74.44/53.45	c (0,0) c |  Parse time:                   0.05 s                                                                 |
74.44/53.45	c (0,0) c |                                                                                                       |
74.51/53.53	c (0,0) c |  Simplification time:          0.09 s                                                                 |
74.51/53.53	c (0,0) c |                                                                                                       |
74.51/53.53	c (0,0) c |  Generating clones                                                                                    |
74.51/53.58	c (0,0) c |  all clones generated. Memory =   121.02Mb.                                                           |
74.51/53.58	c (0,0) c ========================================================================================================|
74.51/53.58	c (0,0) c
74.51/53.58	c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
74.51/53.58	c (0,0) c
74.51/53.58	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
74.51/53.58	c (0,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
74.51/53.58	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
74.51/53.58	c (0,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
74.51/53.58	c (0,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
74.51/53.58	c (0,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
74.51/53.58	c (0,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
74.51/53.58	c (0,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
74.51/53.58	c (0,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
74.51/53.58	c (0,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
74.51/53.58	c (0,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
74.51/53.58	c (0,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
74.51/53.58	c (0,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
74.51/53.58	c (0,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
74.51/53.58	c (0,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
74.51/53.58	c (0,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
74.51/53.58	c (0,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
74.51/53.58	c (0,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
74.51/53.58	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
311.27/83.36	c (30,0) c
311.27/83.36	c (30,0) c |------------------------------------------------------------------------------------------------------------------------|
311.27/83.36	c (30,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
311.27/83.36	c (30,0) c |------------------------------------------------------------------------------------------------------------------------|
311.27/83.36	c (30,0) c |  0 |     54 |      56222 |      43187 |    46088 |    17100 |     7565 |    47676 |     2899 |      203 |  20 |  0.000 |
311.27/83.36	c (30,0) c |  1 |     45 |      54584 |      41955 |    46798 |    15876 |     7399 |    46837 |     2875 |      200 |  20 |  0.000 |
311.27/83.36	c (30,0) c |  2 |     28 |      52481 |      40572 |    42171 |    14485 |     7699 |    31521 |     2107 |      198 |  20 |  0.000 |
311.27/83.36	c (30,0) c |  3 |     22 |      53623 |      42310 |    41587 |    16224 |     7640 |    45102 |     2086 |      207 |  20 |  0.000 |
311.27/83.36	c (30,0) c |  4 |     36 |      52822 |      41207 |    44541 |    15114 |     7795 |    49203 |     2431 |      206 |  20 |  0.000 |
311.27/83.36	c (30,0) c |  5 |     30 |      55112 |      43066 |    44119 |    16976 |     8101 |    49074 |     2595 |      207 |  20 |  0.000 |
311.27/83.36	c (30,0) c |  6 |     46 |      53686 |      40696 |    45086 |    14607 |     7449 |    39175 |     2625 |      199 |  20 |  0.000 |
311.27/83.36	c (30,0) c |  7 |     45 |      55472 |      42225 |    46492 |    16132 |     7671 |    44131 |     2483 |      202 |  20 |  0.000 |
311.27/83.36	c (30,0) c 
311.27/83.36	c (30,0) c synthesis      335218 conflicts   638691426 propagations     1422 conflicts/sec  2708470 propagations/sec
311.27/83.36	c (30,0) c real: 29.9762 s, cpu: 235.813 s, memory: 708.86 Mb
542.53/112.36	c (59,0) c
542.53/112.36	c (59,0) c |------------------------------------------------------------------------------------------------------------------------|
542.53/112.36	c (59,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
542.53/112.36	c (59,0) c |------------------------------------------------------------------------------------------------------------------------|
542.53/112.36	c (59,0) c |  0 |     75 |      96118 |      76341 |    54701 |    22780 |    12473 |    83365 |     5692 |      387 |  20 |  0.000 |
542.53/112.36	c (59,0) c |  1 |     60 |      96125 |      76241 |    55604 |    22682 |    12493 |    81547 |     6027 |      392 |  20 |  0.000 |
542.53/112.36	c (59,0) c |  2 |     44 |      92924 |      74122 |    50508 |    20560 |    12526 |    79808 |     5197 |      383 |  20 |  0.000 |
542.53/112.36	c (59,0) c |  3 |     31 |      95179 |      76999 |    52561 |    23439 |    12919 |    84909 |     4989 |      400 |  20 |  0.000 |
542.53/112.36	c (59,0) c |  4 |     54 |      94296 |      75400 |    54156 |    21839 |    12752 |    77081 |     5135 |      397 |  20 |  0.000 |
542.53/112.36	c (59,0) c |  5 |     39 |      94509 |      76334 |    52216 |    22770 |    13014 |    71526 |     5576 |      400 |  20 |  0.000 |
542.53/112.36	c (59,0) c |  6 |     77 |      97096 |      75735 |    54807 |    22167 |    12858 |    84325 |     5384 |      389 |  20 |  0.000 |
542.53/112.36	c (59,0) c |  7 |     54 |      96091 |      76243 |    54361 |    22680 |    12895 |    84617 |     5092 |      393 |  20 |  0.000 |
542.53/112.36	c (59,0) c 
542.53/112.36	c (59,0) c synthesis      607415 conflicts  1185782895 propagations     1301 conflicts/sec  2539279 propagations/sec
542.53/112.36	c (59,0) c real: 58.9762 s, cpu: 466.976 s, memory: 708.86 Mb
772.64/141.36	c (88,0) c
772.64/141.36	c (88,0) c |------------------------------------------------------------------------------------------------------------------------|
772.64/141.36	c (88,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
772.64/141.36	c (88,0) c |------------------------------------------------------------------------------------------------------------------------|
772.64/141.36	c (88,0) c |  0 |     88 |     133071 |     107721 |    60457 |    36547 |    16866 |   111871 |     8337 |      569 |  20 |  0.000 |
772.64/141.36	c (88,0) c |  1 |     68 |     130630 |     105878 |    59822 |    34712 |    16522 |   113811 |     8104 |      577 |  20 |  0.000 |
772.64/141.36	c (88,0) c |  2 |     70 |     130066 |     105225 |    57796 |    34047 |    16657 |   113252 |     7850 |      569 |  20 |  0.000 |
772.64/141.36	c (88,0) c |  3 |     31 |     130640 |     108277 |    57659 |    37099 |    17168 |    84909 |     6611 |      589 |  20 |  0.000 |
772.64/141.36	c (88,0) c |  4 |     59 |     132106 |     107704 |    58393 |    36525 |    16699 |   109731 |     6867 |      588 |  20 |  0.000 |
772.64/141.36	c (88,0) c |  5 |     42 |     130151 |     107077 |    56527 |    35897 |    16552 |   115055 |     7221 |      588 |  20 |  0.000 |
772.64/141.36	c (88,0) c |  6 |    105 |     134533 |     106976 |    60468 |    35793 |    17046 |   107043 |     7878 |      572 |  20 |  0.000 |
772.64/141.36	c (88,0) c |  7 |     65 |     132553 |     107569 |    58587 |    36398 |    16983 |   110925 |     7515 |      580 |  20 |  0.000 |
772.64/141.36	c (88,0) c 
772.64/141.36	c (88,0) c synthesis      856427 conflicts  1704063946 propagations     1229 conflicts/sec  2444818 propagations/sec
772.64/141.36	c (88,0) c real: 87.9762 s, cpu: 697.011 s, memory: 708.86 Mb
1002.29/170.37	c (117,0) c
1002.29/170.37	c (117,0) c |------------------------------------------------------------------------------------------------------------------------|
1002.29/170.37	c (117,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1002.29/170.37	c (117,0) c |------------------------------------------------------------------------------------------------------------------------|
1002.29/170.37	c (117,0) c |  0 |    104 |     167945 |     137509 |    64065 |    23327 |    20601 |   133600 |    10429 |      752 |  20 |  0.000 |
1002.29/170.37	c (117,0) c |  1 |     82 |     164267 |     134626 |    63052 |    43254 |    20221 |   135271 |     9940 |      760 |  20 |  0.000 |
1002.29/170.37	c (117,0) c |  2 |     75 |     163825 |     134569 |    61141 |    43185 |    20475 |   129503 |     9717 |      756 |  20 |  0.000 |
1002.29/170.37	c (117,0) c |  3 |     39 |     164034 |     137475 |    61215 |    23288 |    20274 |   141066 |     8412 |      772 |  20 |  0.000 |
1002.29/170.37	c (117,0) c |  4 |     62 |     166749 |     137328 |    61648 |    23150 |    20387 |   121305 |     8135 |      772 |  20 |  0.000 |
1002.29/170.37	c (117,0) c |  5 |     56 |     166475 |     138109 |    61158 |    23924 |    19837 |   137896 |     9811 |      772 |  20 |  0.000 |
1002.29/170.37	c (117,0) c |  6 |    118 |     168514 |     136275 |    63459 |    44895 |    20342 |   138862 |     9693 |      759 |  20 |  0.000 |
1002.29/170.37	c (117,0) c |  7 |     77 |     167336 |     137267 |    62287 |    23090 |    20635 |   134993 |     9605 |      762 |  20 |  0.000 |
1002.29/170.37	c (117,0) c 
1002.29/170.37	c (117,0) c synthesis     1093158 conflicts  2195201973 propagations     1180 conflicts/sec  2369085 propagations/sec
1002.29/170.37	c (117,0) c real: 116.976 s, cpu: 926.603 s, memory: 708.86 Mb
1241.48/200.36	c (147,0) c
1241.48/200.36	c (147,0) c |------------------------------------------------------------------------------------------------------------------------|
1241.48/200.36	c (147,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1241.48/200.36	c (147,0) c |------------------------------------------------------------------------------------------------------------------------|
1241.48/200.36	c (147,0) c |  0 |    108 |     201706 |     167272 |    66898 |    27695 |    23833 |   145050 |    12352 |      943 |  20 |  0.000 |
1241.48/200.36	c (147,0) c |  1 |    104 |     199473 |     164333 |    66129 |    50152 |    23072 |   160815 |    12165 |      949 |  20 |  0.000 |
1241.48/200.36	c (147,0) c |  2 |     76 |     195334 |     162782 |    63173 |    48601 |    22978 |   151792 |    10641 |      948 |  20 |  0.000 |
1241.48/200.36	c (147,0) c |  3 |     76 |     200675 |     167930 |    65335 |    28339 |    23376 |   163009 |    10800 |      962 |  20 |  0.000 |
1241.48/200.36	c (147,0) c |  4 |     66 |     199120 |     165438 |    64411 |    25855 |    23524 |   157665 |    10371 |      950 |  20 |  0.000 |
1241.48/200.36	c (147,0) c |  5 |     73 |     201741 |     168171 |    64576 |    28586 |    23424 |   163387 |    12036 |      959 |  20 |  0.000 |
1241.48/200.36	c (147,0) c |  6 |    162 |     203460 |     165426 |    66997 |    25838 |    23668 |   160380 |    11646 |      943 |  20 |  0.000 |
1241.48/200.36	c (147,0) c |  7 |     86 |     203325 |     168089 |    65535 |    28507 |    24334 |   160399 |    11971 |      954 |  20 |  0.000 |
1241.48/200.36	c (147,0) c 
1241.48/200.36	c (147,0) c synthesis     1329441 conflicts  2683657866 propagations     1140 conflicts/sec  2302127 propagations/sec
1241.48/200.36	c (147,0) c real: 146.976 s, cpu: 1165.73 s, memory: 708.86 Mb
1471.16/229.36	c (176,0) c
1471.16/229.36	c (176,0) c |------------------------------------------------------------------------------------------------------------------------|
1471.16/229.36	c (176,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1471.16/229.36	c (176,0) c |------------------------------------------------------------------------------------------------------------------------|
1471.16/229.36	c (176,0) c |  0 |    108 |     232212 |     194405 |    68522 |    54828 |    26732 |   145050 |    13333 |     1129 |  20 |  0.000 |
1471.16/229.36	c (176,0) c |  1 |    122 |     232107 |     192499 |    69016 |    52918 |    26233 |   177190 |    14006 |     1133 |  20 |  0.000 |
1471.16/229.36	c (176,0) c |  2 |     88 |     229132 |     191676 |    66378 |    52093 |    26372 |   175955 |    12456 |     1135 |  20 |  0.000 |
1471.16/229.36	c (176,0) c |  3 |     87 |     231545 |     194734 |    67519 |    55143 |    25865 |   177329 |    12609 |     1133 |  20 |  0.000 |
1471.16/229.36	c (176,0) c |  4 |     72 |     229441 |     191515 |    67208 |    51932 |    26480 |   174598 |    11900 |     1119 |  20 |  0.000 |
1471.16/229.36	c (176,0) c |  5 |     97 |     232623 |     194794 |    66973 |    55209 |    26399 |   182366 |    13978 |     1134 |  20 |  0.000 |
1471.16/229.36	c (176,0) c |  6 |    175 |     237824 |     195041 |    69567 |    55453 |    26962 |   178732 |    13527 |     1129 |  20 |  0.000 |
1471.16/229.36	c (176,0) c |  7 |     90 |     233017 |     194367 |    67533 |    54786 |    27129 |   181899 |    13463 |     1135 |  20 |  0.000 |
1471.16/229.36	c (176,0) c 
1471.16/229.36	c (176,0) c synthesis     1549031 conflicts  3142721695 propagations     1110 conflicts/sec  2252274 propagations/sec
1471.16/229.36	c (176,0) c real: 175.976 s, cpu: 1395.36 s, memory: 708.86 Mb
1702.44/258.36	c (205,0) c
1702.44/258.36	c (205,0) c |------------------------------------------------------------------------------------------------------------------------|
1702.44/258.36	c (205,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1702.44/258.36	c (205,0) c |------------------------------------------------------------------------------------------------------------------------|
1702.44/258.36	c (205,0) c |  0 |    108 |     261652 |     220936 |    69770 |    53352 |    29250 |   145050 |    14042 |     1313 |  20 |  0.000 |
1702.44/258.36	c (205,0) c |  1 |    144 |     263973 |     219936 |    70853 |    52350 |    29187 |   199212 |    15537 |     1316 |  20 |  0.000 |
1702.44/258.36	c (205,0) c |  2 |     90 |     259960 |     218804 |    68589 |    51222 |    28882 |   189743 |    14054 |     1320 |  20 |  0.000 |
1702.44/258.36	c (205,0) c |  3 |     99 |     263810 |     222867 |    69668 |    55291 |    29028 |   202274 |    14674 |     1318 |  20 |  0.000 |
1702.44/258.36	c (205,0) c |  4 |     75 |     261544 |     219589 |    69587 |    52014 |    28796 |   191607 |    13309 |     1305 |  20 |  0.000 |
1702.44/258.36	c (205,0) c |  5 |    101 |     264144 |     222242 |    69285 |    54657 |    29418 |   200971 |    15629 |     1315 |  20 |  0.000 |
1702.44/258.36	c (205,0) c |  6 |    175 |     269466 |     222522 |    70916 |    54938 |    30211 |   178732 |    14578 |     1316 |  20 |  0.000 |
1702.44/258.36	c (205,0) c |  7 |     99 |     264269 |     221691 |    69667 |    54111 |    30183 |   193769 |    14873 |     1317 |  20 |  0.000 |
1702.44/258.36	c (205,0) c 
1702.44/258.36	c (205,0) c synthesis     1768587 conflicts  3602342846 propagations     1087 conflicts/sec  2214667 propagations/sec
1702.44/258.36	c (205,0) c real: 204.976 s, cpu: 1626.58 s, memory: 708.86 Mb
1933.71/287.36	c (234,0) c
1933.71/287.36	c (234,0) c |------------------------------------------------------------------------------------------------------------------------|
1933.71/287.36	c (234,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1933.71/287.36	c (234,0) c |------------------------------------------------------------------------------------------------------------------------|
1933.71/287.36	c (234,0) c |  0 |    108 |     290709 |     246967 |    71100 |    48783 |    31568 |   145050 |    14942 |     1495 |  20 |  0.000 |
1933.71/287.36	c (234,0) c |  1 |    164 |     294320 |     246234 |    72548 |    48043 |    32239 |   211513 |    17127 |     1498 |  20 |  0.000 |
1933.71/287.36	c (234,0) c |  2 |     91 |     290459 |     245969 |    70158 |    47782 |    31107 |   218630 |    15458 |     1507 |  20 |  0.000 |
1933.71/287.36	c (234,0) c |  3 |    128 |     296417 |     250959 |    71767 |    52779 |    31454 |   219490 |    16383 |     1507 |  20 |  0.000 |
1933.71/287.36	c (234,0) c |  4 |     82 |     292799 |     247238 |    71585 |    49060 |    31344 |   219670 |    15372 |     1492 |  20 |  0.000 |
1933.71/287.36	c (234,0) c |  5 |    105 |     293502 |     248245 |    71015 |    50061 |    31847 |   221380 |    16945 |     1497 |  20 |  0.000 |
1933.71/287.36	c (234,0) c |  6 |    182 |     301166 |     250046 |    72709 |    51857 |    33075 |   219556 |    16257 |     1501 |  20 |  0.000 |
1933.71/287.36	c (234,0) c |  7 |    110 |     294096 |     247847 |    71477 |    49662 |    32727 |   217681 |    16514 |     1500 |  20 |  0.000 |
1933.71/287.36	c (234,0) c 
1933.71/287.36	c (234,0) c synthesis     1983505 conflicts  4051765009 propagations     1068 conflicts/sec  2180934 propagations/sec
1933.71/287.36	c (234,0) c real: 233.976 s, cpu: 1857.81 s, memory: 708.86 Mb
1985.66/294.22	c (241,0) c
1985.66/294.22	c (241,0) c real time : 240.831 s
1985.66/294.22	c (241,0) c cpu time  : 1909.26 s
1985.66/294.22	c (241,0) c
1985.66/294.22	c (241,0) c
1985.66/294.22	c (241,0) c
1985.66/294.22	c (241,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
1985.66/294.22	c (241,0) c
1985.66/294.22	c (241,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1985.66/294.22	c (241,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
1985.66/294.22	c (241,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1985.66/294.22	c (241,0) c | Conflicts     |         2029778 |     252946 |     251643 |     251409 |     256853 |     253461 |     254231 |     255973 |     253262 |
1985.66/294.22	c (241,0) c | Decisions     |         2406291 |     297556 |     300375 |     296528 |     303022 |     299919 |     300474 |     308179 |     300238 |
1985.66/294.22	c (241,0) c | Propagations  |      4148280379 |  506878320 |  516570814 |  522343092 |  519777949 |  522414928 |  516741941 |  522683622 |  520869713 |
1985.66/294.22	c (241,0) c | ReduceDBs     |             104 |         13 |         13 |         13 |         13 |         13 |         13 |         13 |         13 |
1985.66/294.22	c (241,0) c | SimpDBs       |               8 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |
1985.66/294.22	c (241,0) c | Restarts      |             993 |        116 |        164 |         91 |        128 |         84 |        109 |        191 |        110 |
1985.66/294.22	c (241,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1985.66/294.22	c (241,0) c | PropBinClauses|      1092591575 |  136951582 |  136694779 |  137079401 |  138779936 |  134767344 |  135391252 |  136503526 |  136423755 |
1985.66/294.22	c (241,0) c | PropPreBlocker|     43927344748 | 5452267993 | 5469083655 | 5530824763 | 5520674943 | 5478956226 | 5484189341 | 5498819344 | 5492528483 |
1985.66/294.22	c (241,0) c | PropNotBlocker|     15202999514 | 1926111324 | 1906536870 | 1897682748 | 1905282136 | 1883354620 | 1894146769 | 1890760691 | 1899124356 |
1985.66/294.22	c (241,0) c | LitFullScans  |     73967370617 | 9222643278 | 9228151549 | 9288659946 | 9288678547 | 9222778824 | 9223068026 | 9252728008 | 9240662439 |
1985.66/294.22	c (241,0) c | LitScanFracts |         5688218 |     626336 |     672460 |     631663 |     659314 |     709153 |    1066093 |     673396 |     649803 |
1985.66/294.22	c (241,0) c | DecisionLevel0|             993 |        116 |        164 |         91 |        128 |         84 |        109 |        191 |        110 |
1985.66/294.22	c (241,0) c | Periods       |           12326 |       1537 |       1537 |       1548 |       1548 |       1537 |       1537 |       1542 |       1540 |
1985.66/294.22	c (241,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
1985.66/294.22	c (241,0) c | Avg_Trail     |                 |       6665 |       6713 |       6779 |       6712 |       6741 |       6690 |       6707 |       6715 |
1985.66/294.22	c (241,0) c | Avg_DL        |                 |         15 |         16 |         15 |         16 |         17 |         16 |         16 |         16 |
1985.66/294.22	c (241,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1985.66/294.22	c (241,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1985.66/294.22	c (241,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1985.66/294.22	c (241,0) c | Exported      |          259342 |      31981 |      32893 |      31547 |      31941 |      31935 |      32337 |      33519 |      33189 |
1985.66/294.22	c (241,0) c | Imported      |         1762426 |     224150 |     211513 |     218630 |     219490 |     224238 |     222590 |     224134 |     217681 |
1985.66/294.22	c (241,0) c | Good          |            2663 |        340 |        325 |        323 |        324 |        344 |        340 |        327 |        340 |
1985.66/294.22	c (241,0) c | Purge         |         1759763 |     223810 |     211188 |     218307 |     219166 |     223894 |     222250 |     223807 |     217341 |
1985.66/294.22	c (241,0) c | Promoted      |          132214 |      15499 |      17329 |      15797 |      16662 |      15833 |      17374 |      16825 |      16895 |
1985.66/294.22	c (241,0) c | Remove_Imp    |         1056093 |      94083 |     147875 |     128364 |     146682 |     130270 |     142194 |     122442 |     144183 |
1985.66/294.22	c (241,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1985.66/294.22	c (241,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1985.66/294.22	c (241,0) c | Unaries       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1985.66/294.22	c (241,0) c | Binaries      |                 |         43 |         51 |         57 |         56 |         39 |         43 |         57 |         39 |
1985.66/294.22	c (241,0) c | Glues         |                 |       1191 |       1228 |       1139 |       1167 |       1167 |       1181 |       1271 |       1239 |
1985.66/294.22	c (241,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1985.66/294.22	c (241,0) c | Orig_Seen     |            49 % |      71511 |      72787 |      70430 |      72098 |      71959 |      71389 |      73112 |      71773 |
1985.66/294.22	c (241,0) c | Diff Orig seen|                 | -     1276 |      X     | -     2357 | -      689 | -      828 | -     1398 |        325 | -     1014 |
1985.66/294.22	c (241,0) c | Hamming       |            48 % |       7008 |      X     |       6840 |       6763 |       6604 |       6934 |       7041 |       6601 |
1985.66/294.22	c (241,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1985.66/294.22	c (241,0) c | RunningTime   |                 |  240.4 100%|  239.9 100%|  240.0 100%|  239.1 100%|  240.1 100%|  237.8  99%|  240.0 100%|  239.4 100%|
1985.66/294.22	c (241,0) c | WaitingTime   |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.9   0%|    0.4   0%|    2.3   1%|    0.0   0%|    0.5   0%|
1985.66/294.22	c (241,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%|
1985.66/294.22	c (241,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%|
1985.66/294.22	c (241,0) c | SolvingTime   |                 |  240.5     |  240.0     |  240.1     |  240.0     |  240.6     |  240.2     |  240.1     |  240.0     |
1985.66/294.22	c (241,0) c | PropagationTim|                 |  229.4  95%|  228.6  95%|  227.7  95%|  228.3  95%|  228.0  95%|  228.2  95%|  227.9  95%|  226.1  94%|
1985.66/294.22	c (241,0) c | AnalysisTime  |                 |    5.7   2%|    5.8   2%|    7.0   3%|    6.3   3%|    6.9   3%|    6.6   3%|    6.9   3%|    8.4   4%|
1985.66/294.22	c (241,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%|
1985.66/294.22	c (241,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%|
1985.66/294.22	c (241,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%|
1985.66/294.22	c (241,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%|
1985.66/294.22	c (241,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1985.66/294.22	c (241,0) c
1985.66/294.22	c (241,0) c
1985.66/294.22	c (241,0) c Threads : 8
1985.66/294.22	c (241,0) c Winner : 1
1985.66/294.22	c (241,0) c Conflicts_0 : 252946
1985.66/294.22	c (241,0) c Conflicts_1 : 251643
1985.66/294.22	c (241,0) c Conflicts_2 : 251409
1985.66/294.22	c (241,0) c Conflicts_3 : 256853
1985.66/294.22	c (241,0) c Conflicts_4 : 253461
1985.66/294.22	c (241,0) c Conflicts_5 : 254231
1985.66/294.22	c (241,0) c Conflicts_6 : 255973
1985.66/294.22	c (241,0) c Conflicts_7 : 253262
1985.66/294.22	c (241,0) c Conflicts_total : 2029778
1985.66/294.22	c (241,0) c Conflicts_winner : 251643
1985.66/294.22	c (241,0) c Decisions_0 : 297556
1985.66/294.22	c (241,0) c Decisions_1 : 300375
1985.66/294.22	c (241,0) c Decisions_2 : 296528
1985.66/294.22	c (241,0) c Decisions_3 : 303022
1985.66/294.22	c (241,0) c Decisions_4 : 299919
1985.66/294.22	c (241,0) c Decisions_5 : 300474
1985.66/294.22	c (241,0) c Decisions_6 : 308179
1985.66/294.22	c (241,0) c Decisions_7 : 300238
1985.66/294.22	c (241,0) c Decisions_total : 2406291
1985.66/294.22	c (241,0) c Decisions_winner : 300375
1985.66/294.22	c (241,0) c Propagations_0 : 506878320
1985.66/294.22	c (241,0) c Propagations_1 : 516570814
1985.66/294.22	c (241,0) c Propagations_2 : 522343092
1985.66/294.22	c (241,0) c Propagations_3 : 519777949
1985.66/294.22	c (241,0) c Propagations_4 : 522414928
1985.66/294.22	c (241,0) c Propagations_5 : 516741941
1985.66/294.22	c (241,0) c Propagations_6 : 522683622
1985.66/294.22	c (241,0) c Propagations_7 : 520869713
1985.66/294.22	c (241,0) c Propagations_total : 4148280379
1985.66/294.22	c (241,0) c Propagations_winner : 516570814
1985.66/294.22	c (241,0) c ReduceDBs_0 : 13
1985.66/294.22	c (241,0) c ReduceDBs_1 : 13
1985.66/294.22	c (241,0) c ReduceDBs_2 : 13
1985.66/294.22	c (241,0) c ReduceDBs_3 : 13
1985.66/294.22	c (241,0) c ReduceDBs_4 : 13
1985.66/294.22	c (241,0) c ReduceDBs_5 : 13
1985.66/294.22	c (241,0) c ReduceDBs_6 : 13
1985.66/294.22	c (241,0) c ReduceDBs_7 : 13
1985.66/294.22	c (241,0) c ReduceDBs_total : 104
1985.66/294.22	c (241,0) c ReduceDBs_winner : 13
1985.66/294.22	c (241,0) c SimpDBs_0 : 1
1985.66/294.22	c (241,0) c SimpDBs_1 : 1
1985.66/294.22	c (241,0) c SimpDBs_2 : 1
1985.66/294.22	c (241,0) c SimpDBs_3 : 1
1985.66/294.22	c (241,0) c SimpDBs_4 : 1
1985.66/294.22	c (241,0) c SimpDBs_5 : 1
1985.66/294.22	c (241,0) c SimpDBs_6 : 1
1985.66/294.22	c (241,0) c SimpDBs_7 : 1
1985.66/294.22	c (241,0) c SimpDBs_total : 8
1985.66/294.22	c (241,0) c SimpDBs_winner : 1
1985.66/294.22	c (241,0) c Restarts_0 : 116
1985.66/294.22	c (241,0) c Restarts_1 : 164
1985.66/294.22	c (241,0) c Restarts_2 : 91
1985.66/294.22	c (241,0) c Restarts_3 : 128
1985.66/294.22	c (241,0) c Restarts_4 : 84
1985.66/294.22	c (241,0) c Restarts_5 : 109
1985.66/294.22	c (241,0) c Restarts_6 : 191
1985.66/294.22	c (241,0) c Restarts_7 : 110
1985.66/294.22	c (241,0) c Restarts_total : 993
1985.66/294.22	c (241,0) c Restarts_winner : 164
1985.66/294.22	c (241,0) c ForcedImports_0 : 0
1985.66/294.22	c (241,0) c ForcedImports_1 : 0
1985.66/294.22	c (241,0) c ForcedImports_2 : 0
1985.66/294.22	c (241,0) c ForcedImports_3 : 0
1985.66/294.22	c (241,0) c ForcedImports_4 : 0
1985.66/294.22	c (241,0) c ForcedImports_5 : 0
1985.66/294.22	c (241,0) c ForcedImports_6 : 0
1985.66/294.22	c (241,0) c ForcedImports_7 : 0
1985.66/294.22	c (241,0) c ForcedImports_total : 0
1985.66/294.22	c (241,0) c ForcedImports_winner : 0
1985.66/294.22	c (241,0) c PropsBinClauses_0 : 136951582
1985.66/294.22	c (241,0) c PropsBinClauses_1 : 136694779
1985.66/294.22	c (241,0) c PropsBinClauses_2 : 137079401
1985.66/294.22	c (241,0) c PropsBinClauses_3 : 138779936
1985.66/294.22	c (241,0) c PropsBinClauses_4 : 134767344
1985.66/294.22	c (241,0) c PropsBinClauses_5 : 135391252
1985.66/294.22	c (241,0) c PropsBinClauses_6 : 136503526
1985.66/294.22	c (241,0) c PropsBinClauses_7 : 136423755
1985.66/294.22	c (241,0) c PropsBinClauses_total : 1092591575
1985.66/294.22	c (241,0) c PropsBinClauses_winner : 136694779
1985.66/294.22	c (241,0) c PropsPreBlocker_0 : 5452267993
1985.66/294.22	c (241,0) c PropsPreBlocker_1 : 5469083655
1985.66/294.22	c (241,0) c PropsPreBlocker_2 : 5530824763
1985.66/294.22	c (241,0) c PropsPreBlocker_3 : 5520674943
1985.66/294.22	c (241,0) c PropsPreBlocker_4 : 5478956226
1985.66/294.22	c (241,0) c PropsPreBlocker_5 : 5484189341
1985.66/294.22	c (241,0) c PropsPreBlocker_6 : 5498819344
1985.66/294.22	c (241,0) c PropsPreBlocker_7 : 5492528483
1985.66/294.22	c (241,0) c PropsPreBlocker_total : 43927344748
1985.66/294.22	c (241,0) c PropsPreBlocker_winner : 5469083655
1985.66/294.22	c (241,0) c PropsNotBlocker_0 : 1926111324
1985.66/294.22	c (241,0) c PropsNotBlocker_1 : 1906536870
1985.66/294.22	c (241,0) c PropsNotBlocker_2 : 1897682748
1985.66/294.22	c (241,0) c PropsNotBlocker_3 : 1905282136
1985.66/294.22	c (241,0) c PropsNotBlocker_4 : 1883354620
1985.66/294.22	c (241,0) c PropsNotBlocker_5 : 1894146769
1985.66/294.22	c (241,0) c PropsNotBlocker_6 : 1890760691
1985.66/294.22	c (241,0) c PropsNotBlocker_7 : 1899124356
1985.66/294.22	c (241,0) c PropsNotBlocker_total : 15202999514
1985.66/294.22	c (241,0) c PropsNotBlocker_winner : 1906536870
1985.66/294.22	c (241,0) c PropsLitFullScans_0 : 9222643278
1985.66/294.22	c (241,0) c PropsLitFullScans_1 : 9228151549
1985.66/294.22	c (241,0) c PropsLitFullScans_2 : 9288659946
1985.66/294.22	c (241,0) c PropsLitFullScans_3 : 9288678547
1985.66/294.22	c (241,0) c PropsLitFullScans_4 : 9222778824
1985.66/294.22	c (241,0) c PropsLitFullScans_5 : 9223068026
1985.66/294.22	c (241,0) c PropsLitFullScans_6 : 9252728008
1985.66/294.22	c (241,0) c PropsLitFullScans_7 : 9240662439
1985.66/294.22	c (241,0) c PropsLitFullScans_total : 73967370617
1985.66/294.22	c (241,0) c PropsLitFullScans_winner : 9228151549
1985.66/294.22	c (241,0) c LitScanFractions_0 : 626336
1985.66/294.22	c (241,0) c LitScanFractions_1 : 672460
1985.66/294.22	c (241,0) c LitScanFractions_2 : 631663
1985.66/294.22	c (241,0) c LitScanFractions_3 : 659314
1985.66/294.22	c (241,0) c LitScanFractions_4 : 709153
1985.66/294.22	c (241,0) c LitScanFractions_5 : 1066093
1985.66/294.22	c (241,0) c LitScanFractions_6 : 673396
1985.66/294.22	c (241,0) c LitScanFractions_7 : 649803
1985.66/294.22	c (241,0) c LitScanFractions_total : 5688218
1985.66/294.22	c (241,0) c LitScanFractions_winner : 672460
1985.66/294.22	c (241,0) c DecisionLevel0_0 : 116
1985.66/294.22	c (241,0) c DecisionLevel0_1 : 164
1985.66/294.22	c (241,0) c DecisionLevel0_2 : 91
1985.66/294.22	c (241,0) c DecisionLevel0_3 : 128
1985.66/294.22	c (241,0) c DecisionLevel0_4 : 84
1985.66/294.22	c (241,0) c DecisionLevel0_5 : 109
1985.66/294.22	c (241,0) c DecisionLevel0_6 : 191
1985.66/294.22	c (241,0) c DecisionLevel0_7 : 110
1985.66/294.22	c (241,0) c DecisionLevel0_total : 993
1985.66/294.22	c (241,0) c DecisionLevel0_winner : 164
1985.66/294.22	c (241,0) c Periods_0 : 1537
1985.66/294.22	c (241,0) c Periods_1 : 1537
1985.66/294.22	c (241,0) c Periods_2 : 1548
1985.66/294.22	c (241,0) c Periods_3 : 1548
1985.66/294.22	c (241,0) c Periods_4 : 1537
1985.66/294.22	c (241,0) c Periods_5 : 1537
1985.66/294.22	c (241,0) c Periods_6 : 1542
1985.66/294.22	c (241,0) c Periods_7 : 1540
1985.66/294.22	c (241,0) c Periods_total : 12326
1985.66/294.22	c (241,0) c Periods_winner : 1537
1985.66/294.22	c (241,0) c Margin_0 : 20
1985.66/294.22	c (241,0) c Margin_1 : 20
1985.66/294.22	c (241,0) c Margin_2 : 20
1985.66/294.22	c (241,0) c Margin_3 : 20
1985.66/294.22	c (241,0) c Margin_4 : 20
1985.66/294.22	c (241,0) c Margin_5 : 20
1985.66/294.22	c (241,0) c Margin_6 : 20
1985.66/294.22	c (241,0) c Margin_7 : 20
1985.66/294.22	c (241,0) c Margin_total : 160
1985.66/294.22	c (241,0) c Margin_winner : 20
1985.66/294.22	c (241,0) c Exported_0 : 31981
1985.66/294.22	c (241,0) c Exported_1 : 32893
1985.66/294.22	c (241,0) c Exported_2 : 31547
1985.66/294.22	c (241,0) c Exported_3 : 31941
1985.66/294.22	c (241,0) c Exported_4 : 31935
1985.66/294.22	c (241,0) c Exported_5 : 32337
1985.66/294.22	c (241,0) c Exported_6 : 33519
1985.66/294.22	c (241,0) c Exported_7 : 33189
1985.66/294.22	c (241,0) c Exported_total : 259342
1985.66/294.22	c (241,0) c Exported_winner : 32893
1985.66/294.22	c (241,0) c Imported_0 : 224150
1985.66/294.22	c (241,0) c Imported_1 : 211513
1985.66/294.22	c (241,0) c Imported_2 : 218630
1985.66/294.22	c (241,0) c Imported_3 : 219490
1985.66/294.22	c (241,0) c Imported_4 : 224238
1985.66/294.22	c (241,0) c Imported_5 : 222590
1985.66/294.22	c (241,0) c Imported_6 : 224134
1985.66/294.22	c (241,0) c Imported_7 : 217681
1985.66/294.22	c (241,0) c Imported_total : 1762426
1985.66/294.22	c (241,0) c Imported_winner : 211513
1985.66/294.22	c (241,0) c Good_0 : 340
1985.66/294.22	c (241,0) c Good_1 : 325
1985.66/294.22	c (241,0) c Good_2 : 323
1985.66/294.22	c (241,0) c Good_3 : 324
1985.66/294.23	c (241,0) c Good_4 : 344
1985.66/294.23	c (241,0) c Good_5 : 340
1985.66/294.23	c (241,0) c Good_6 : 327
1985.66/294.23	c (241,0) c Good_7 : 340
1985.66/294.23	c (241,0) c Good_total : 2663
1985.66/294.23	c (241,0) c Good_winner : 325
1985.66/294.23	c (241,0) c Purge_0 : 223810
1985.66/294.23	c (241,0) c Purge_1 : 211188
1985.66/294.23	c (241,0) c Purge_2 : 218307
1985.66/294.23	c (241,0) c Purge_3 : 219166
1985.66/294.23	c (241,0) c Purge_4 : 223894
1985.66/294.23	c (241,0) c Purge_5 : 222250
1985.66/294.23	c (241,0) c Purge_6 : 223807
1985.66/294.23	c (241,0) c Purge_7 : 217341
1985.66/294.23	c (241,0) c Purge_total : 1759763
1985.66/294.23	c (241,0) c Purge_winner : 211188
1985.66/294.23	c (241,0) c Promoted_0 : 15499
1985.66/294.23	c (241,0) c Promoted_1 : 17329
1985.66/294.23	c (241,0) c Promoted_2 : 15797
1985.66/294.23	c (241,0) c Promoted_3 : 16662
1985.66/294.23	c (241,0) c Promoted_4 : 15833
1985.66/294.23	c (241,0) c Promoted_5 : 17374
1985.66/294.23	c (241,0) c Promoted_6 : 16825
1985.66/294.23	c (241,0) c Promoted_7 : 16895
1985.66/294.23	c (241,0) c Promoted_total : 132214
1985.66/294.23	c (241,0) c Promoted_winner : 17329
1985.66/294.23	c (241,0) c Remove_Imp_0 : 94083
1985.66/294.23	c (241,0) c Remove_Imp_1 : 147875
1985.66/294.23	c (241,0) c Remove_Imp_2 : 128364
1985.66/294.23	c (241,0) c Remove_Imp_3 : 146682
1985.66/294.23	c (241,0) c Remove_Imp_4 : 130270
1985.66/294.23	c (241,0) c Remove_Imp_5 : 142194
1985.66/294.23	c (241,0) c Remove_Imp_6 : 122442
1985.66/294.23	c (241,0) c Remove_Imp_7 : 144183
1985.66/294.23	c (241,0) c Remove_Imp_total : 1056093
1985.66/294.23	c (241,0) c Remove_Imp_winner : 147875
1985.66/294.23	c (241,0) c Blocked_Reuse_0 : 0
1985.66/294.23	c (241,0) c Blocked_Reuse_1 : 0
1985.66/294.23	c (241,0) c Blocked_Reuse_2 : 0
1985.66/294.23	c (241,0) c Blocked_Reuse_3 : 0
1985.66/294.23	c (241,0) c Blocked_Reuse_4 : 0
1985.66/294.23	c (241,0) c Blocked_Reuse_5 : 0
1985.66/294.23	c (241,0) c Blocked_Reuse_6 : 0
1985.66/294.23	c (241,0) c Blocked_Reuse_7 : 0
1985.66/294.23	c (241,0) c Blocked_Reuse_total : 0
1985.66/294.23	c (241,0) c Blocked_Reuse_winner : 0
1985.66/294.23	c (241,0) c Unaries_0 : 0
1985.66/294.23	c (241,0) c Unaries_1 : 0
1985.66/294.23	c (241,0) c Unaries_2 : 0
1985.66/294.23	c (241,0) c Unaries_3 : 0
1985.66/294.23	c (241,0) c Unaries_4 : 0
1985.66/294.23	c (241,0) c Unaries_5 : 0
1985.66/294.23	c (241,0) c Unaries_6 : 0
1985.66/294.23	c (241,0) c Unaries_7 : 0
1985.66/294.23	c (241,0) c Unaries_total : 0
1985.66/294.23	c (241,0) c Unaries_winner : 0
1985.66/294.23	c (241,0) c Binaries_0 : 43
1985.66/294.23	c (241,0) c Binaries_1 : 51
1985.66/294.23	c (241,0) c Binaries_2 : 57
1985.66/294.23	c (241,0) c Binaries_3 : 56
1985.66/294.23	c (241,0) c Binaries_4 : 39
1985.66/294.23	c (241,0) c Binaries_5 : 43
1985.66/294.23	c (241,0) c Binaries_6 : 57
1985.66/294.23	c (241,0) c Binaries_7 : 39
1985.66/294.23	c (241,0) c Binaries_total : 385
1985.66/294.23	c (241,0) c Binaries_winner : 51
1985.66/294.23	c (241,0) c Glues_0 : 1191
1985.66/294.23	c (241,0) c Glues_1 : 1228
1985.66/294.23	c (241,0) c Glues_2 : 1139
1985.66/294.23	c (241,0) c Glues_3 : 1167
1985.66/294.23	c (241,0) c Glues_4 : 1167
1985.66/294.23	c (241,0) c Glues_5 : 1181
1985.66/294.23	c (241,0) c Glues_6 : 1271
1985.66/294.23	c (241,0) c Glues_7 : 1239
1985.66/294.23	c (241,0) c Glues_total : 9583
1985.66/294.23	c (241,0) c Glues_winner : 1228
1985.66/294.23	c (241,0) c RunningTime_0 : 240.424394
1985.66/294.23	c (241,0) c RunningTime_1 : 239.867862
1985.66/294.23	c (241,0) c RunningTime_2 : 239.955756
1985.66/294.23	c (241,0) c RunningTime_3 : 239.058159
1985.66/294.23	c (241,0) c RunningTime_4 : 240.077149
1985.66/294.23	c (241,0) c RunningTime_5 : 237.771728
1985.66/294.23	c (241,0) c RunningTime_6 : 239.977367
1985.66/294.23	c (241,0) c RunningTime_7 : 239.419922
1985.66/294.23	c (241,0) c RunningTime_total : 1916.552337
1985.66/294.23	c (241,0) c RunningTime_winner : 239.867862
1985.66/294.23	c (241,0) c WaitingTime_0 : 0.002247
1985.66/294.23	c (241,0) c WaitingTime_1 : 0.002421
1985.66/294.23	c (241,0) c WaitingTime_2 : 0.002160
1985.66/294.23	c (241,0) c WaitingTime_3 : 0.855295
1985.66/294.23	c (241,0) c WaitingTime_4 : 0.397758
1985.66/294.23	c (241,0) c WaitingTime_5 : 2.318827
1985.66/294.23	c (241,0) c WaitingTime_6 : 0.002317
1985.66/294.23	c (241,0) c WaitingTime_7 : 0.500980
1985.66/294.23	c (241,0) c WaitingTime_total : 4.082005
1985.66/294.23	c (241,0) c WaitingTime_winner : 0.002421
1985.66/294.23	c (241,0) c ExchangingTime_0 : 0.101940
1985.66/294.23	c (241,0) c ExchangingTime_1 : 0.102542
1985.66/294.23	c (241,0) c ExchangingTime_2 : 0.106022
1985.66/294.23	c (241,0) c ExchangingTime_3 : 0.106719
1985.66/294.23	c (241,0) c ExchangingTime_4 : 0.109916
1985.66/294.23	c (241,0) c ExchangingTime_5 : 0.105280
1985.66/294.23	c (241,0) c ExchangingTime_6 : 0.118953
1985.66/294.23	c (241,0) c ExchangingTime_7 : 0.105794
1985.66/294.23	c (241,0) c ExchangingTime_total : 0.857167
1985.66/294.23	c (241,0) c ExchangingTime_winner : 0.102542
1985.66/294.23	c (241,0) c PeriodProcTime_0 : 0.016635
1985.66/294.23	c (241,0) c PeriodProcTime_1 : 0.014675
1985.66/294.23	c (241,0) c PeriodProcTime_2 : 0.012801
1985.66/294.23	c (241,0) c PeriodProcTime_3 : 0.011995
1985.66/294.23	c (241,0) c PeriodProcTime_4 : 0.016109
1985.66/294.23	c (241,0) c PeriodProcTime_5 : 0.012615
1985.66/294.23	c (241,0) c PeriodProcTime_6 : 0.012553
1985.66/294.23	c (241,0) c PeriodProcTime_7 : 0.014558
1985.66/294.23	c (241,0) c PeriodProcTime_total : 0.111942
1985.66/294.23	c (241,0) c PeriodProcTime_winner : 0.014675
1985.66/294.23	c (241,0) c SolvingTime_0 : 240.545217
1985.66/294.23	c (241,0) c SolvingTime_1 : 239.987500
1985.66/294.23	c (241,0) c SolvingTime_2 : 240.076739
1985.66/294.23	c (241,0) c SolvingTime_3 : 240.032169
1985.66/294.23	c (241,0) c SolvingTime_4 : 240.600932
1985.66/294.23	c (241,0) c SolvingTime_5 : 240.208450
1985.66/294.23	c (241,0) c SolvingTime_6 : 240.111190
1985.66/294.23	c (241,0) c SolvingTime_7 : 240.041255
1985.66/294.23	c (241,0) c SolvingTime_total : 1921.603451
1985.66/294.23	c (241,0) c SolvingTime_winner : 239.987500
1985.66/294.23	c (241,0) c PropagationTime_0 : 229.430392
1985.66/294.23	c (241,0) c PropagationTime_1 : 228.596737
1985.66/294.23	c (241,0) c PropagationTime_2 : 227.722246
1985.66/294.23	c (241,0) c PropagationTime_3 : 228.347501
1985.66/294.23	c (241,0) c PropagationTime_4 : 227.996650
1985.66/294.23	c (241,0) c PropagationTime_5 : 228.237350
1985.66/294.23	c (241,0) c PropagationTime_6 : 227.850076
1985.66/294.23	c (241,0) c PropagationTime_7 : 226.084755
1985.66/294.23	c (241,0) c PropagationTime_total : 1824.265708
1985.66/294.23	c (241,0) c PropagationTime_winner : 228.596737
1985.66/294.23	c (241,0) c AnalysisTime_0 : 5.729854
1985.66/294.23	c (241,0) c AnalysisTime_1 : 5.788019
1985.66/294.23	c (241,0) c AnalysisTime_2 : 6.974101
1985.66/294.23	c (241,0) c AnalysisTime_3 : 6.257502
1985.66/294.23	c (241,0) c AnalysisTime_4 : 6.856285
1985.66/294.23	c (241,0) c AnalysisTime_5 : 6.629273
1985.66/294.23	c (241,0) c AnalysisTime_6 : 6.850968
1985.66/294.23	c (241,0) c AnalysisTime_7 : 8.446112
1985.66/294.23	c (241,0) c AnalysisTime_total : 53.532114
1985.66/294.23	c (241,0) c AnalysisTime_winner : 5.788019
1985.66/294.23	c (241,0) c ReductionTime_0 : 0.475018
1985.66/294.23	c (241,0) c ReductionTime_1 : 0.499236
1985.66/294.23	c (241,0) c ReductionTime_2 : 0.480691
1985.66/294.23	c (241,0) c ReductionTime_3 : 0.486932
1985.66/294.23	c (241,0) c ReductionTime_4 : 0.517413
1985.66/294.23	c (241,0) c ReductionTime_5 : 0.515110
1985.66/294.23	c (241,0) c ReductionTime_6 : 0.497608
1985.66/294.23	c (241,0) c ReductionTime_7 : 0.507717
1985.66/294.23	c (241,0) c ReductionTime_total : 3.979725
1985.66/294.23	c (241,0) c ReductionTime_winner : 0.499236
1985.66/294.23	c (241,0) c SimplifyTime_0 : 0.000015
1985.66/294.23	c (241,0) c SimplifyTime_1 : 0.000016
1985.66/294.23	c (241,0) c SimplifyTime_2 : 0.000010
1985.66/294.23	c (241,0) c SimplifyTime_3 : 0.000009
1985.66/294.23	c (241,0) c SimplifyTime_4 : 0.000007
1985.66/294.23	c (241,0) c SimplifyTime_5 : 0.000009
1985.66/294.23	c (241,0) c SimplifyTime_6 : 0.000020
1985.66/294.23	c (241,0) c SimplifyTime_7 : 0.000010
1985.66/294.23	c (241,0) c SimplifyTime_total : 0.000097
1985.66/294.23	c (241,0) c SimplifyTime_winner : 0.000016
1985.66/294.23	c (241,0) c UsedRateTime_0 : 0.000000
1985.66/294.23	c (241,0) c UsedRateTime_1 : 0.000000
1985.66/294.23	c (241,0) c UsedRateTime_2 : 0.000000
1985.66/294.23	c (241,0) c UsedRateTime_3 : 0.000000
1985.66/294.23	c (241,0) c UsedRateTime_4 : 0.000000
1985.66/294.23	c (241,0) c UsedRateTime_5 : 0.000000
1985.66/294.23	c (241,0) c UsedRateTime_6 : 0.000000
1985.66/294.23	c (241,0) c UsedRateTime_7 : 0.000000
1985.66/294.23	c (241,0) c UsedRateTime_total : 0.000000
1985.66/294.23	c (241,0) c UsedRateTime_winner : 0.000000
1985.66/294.23	c (241,0) c OverlapRateTime_0 : 0.000000
1985.66/294.23	c (241,0) c OverlapRateTime_1 : 0.000000
1985.66/294.23	c (241,0) c OverlapRateTime_2 : 0.000000
1985.66/294.23	c (241,0) c OverlapRateTime_3 : 0.000000
1985.66/294.23	c (241,0) c OverlapRateTime_4 : 0.000000
1985.66/294.23	c (241,0) c OverlapRateTime_5 : 0.000000
1985.66/294.24	c (241,0) c OverlapRateTime_6 : 0.000000
1985.66/294.24	c (241,0) c OverlapRateTime_7 : 0.000000
1985.66/294.24	c (241,0) c OverlapRateTime_total : 0.000000
1985.66/294.24	c (241,0) c OverlapRateTime_winner : 0.000000
1985.66/294.24	c (241,0) c
1985.66/294.24	c (241,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
1985.66/294.24	c (241,0) c
1985.66/294.24	c (241,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
1985.66/294.24	c (241,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
1985.66/294.24	c (241,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
1985.66/294.24	c (241,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
1985.66/294.24	c (241,0) c | adaptStrategeis       |      False |      False |      False |      False |      False |      False |      False |      False |
1985.66/294.24	c (241,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
1985.66/294.24	c (241,0) c | Initial random_seed   | 1545539343 | 1690672982 | 1001512789 | 1212388248 |  759905593 |  117209133 |  186218995 |  548938196 |
1985.66/294.24	c (241,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
1985.66/294.24	c (241,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
1985.66/294.24	c (241,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
1985.66/294.24	c (241,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
1985.66/294.24	c (241,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
1985.66/294.24	c (241,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
1985.66/294.24	c (241,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
1985.66/294.24	c (241,0) c | var_decay             |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
1985.66/294.24	c (241,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
1985.66/294.24	c (241,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
1985.66/294.24	c (241,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
1985.66/294.24	c (241,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
1985.66/294.24	c (241,0) 
1985.66/294.24	c (241,0) s SATISFIABLE
1985.66/294.28	c (241,0) SatSolver.solve End
1985.66/294.28	c (241,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
1985.66/294.28	c (241,0) Show results Begin
1985.90/294.34	c (241,0) x[0] = 3
1985.90/294.34	c (241,0) x[1] = 0
1985.90/294.34	c (241,0) x[2] = 4
1985.90/294.34	c (241,0) x[3] = 1
1985.90/294.34	c (241,0) x[4] = 0
1985.90/294.34	c (241,0) x[5] = 1
1985.90/294.34	c (241,0) x[6] = 1
1985.90/294.34	c (241,0) x[7] = 0
1985.90/294.34	c (241,0) x[8] = 4
1985.90/294.34	c (241,0) x[9] = 4
1985.90/294.34	c (241,0) x[10] = 2
1985.90/294.34	c (241,0) x[11] = 1
1985.90/294.34	c (241,0) x[12] = 0
1985.90/294.34	c (241,0) x[13] = 4
1985.90/294.34	c (241,0) x[14] = 0
1985.90/294.34	c (241,0) x[15] = 0
1985.90/294.34	c (241,0) x[16] = 3
1985.90/294.34	c (241,0) x[17] = 2
1985.90/294.34	c (241,0) x[18] = 0
1985.90/294.34	c (241,0) x[19] = 3
1985.90/294.34	c (241,0) x[20] = 2
1985.90/294.34	c (241,0) x[21] = 3
1985.90/294.34	c (241,0) x[22] = 1
1985.90/294.34	c (241,0) x[23] = 0
1985.90/294.34	c (241,0) x[24] = 4
1985.90/294.34	s SATISFIABLE
1985.90/294.35	v <instantiation>
1985.90/294.35	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>
1985.90/294.35	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>
1985.90/294.35	v </instantiation>
1985.90/294.35	c (241,0) Show results End
1985.90/294.35	c (241,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB)
1985.90/294.35	c (241,0) 241,241,STOP-AFTER(ALL)
1985.90/294.35	c END-Prog: Sat Sep 14 03:52:50 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 (10669 MiB free)
  memory of node 1: 16384 MiB (13032 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392414-1568425717/watcher-4392414-1568425717 -o /tmp/evaluation-result-4392414-1568425717/solver-4392414-1568425717 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node143-1568425676-7549 --watchdog 2580 HOME/scop.sh 22g HOME/scop.jar -order HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4392414-1568425717.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=7566, runsolver pid=7563

[startup+0.100157 s]*
/proc/loadavg: 8.05 8.18 8.10 2/212 7588
/proc/meminfo: memFree=24176696/32770624 swapFree=67108848/67108860
[pid=7566] ppid=7563 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/7566/stat : 7566 (scop.sh) S 7563 7566 7522 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 418509079 115843072 349 33554432000 4194304 5098028 140726926495856 140726926493112 140619159179900 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 19652608 140726926500645 140726926500972 140726926500972 140726926503885 0
/proc/7566/statm: 28282 349 296 221 0 87 0
[pid=7569] ppid=7566 vsize=27314120 memory=107340 CPUtime=0.1 cores=0-7
/proc/7569/stat : 7569 (java) S 7566 7566 7522 0 -1 1077944320 6392 0 0 0 8 2 0 0 20 0 20 0 418509079 27969658880 26835 33554432000 4194304 4196468 140721619128080 140721619110624 140450948263671 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11755520 140721619137260 140721619137686 140721619137686 140721619140559 0
/proc/7569/statm: 6828530 26835 2786 1 0 6790935 0
[pid=7569/tid=7570] ppid=7566 vsize=27314120 memory=1398722017469774279 CPUtime=0.09 cores=0-7
/proc/7569/task/7570/stat : 7570 (java) R 7566 7566 7522 0 -1 4202560 4487 0 0 0 7 2 0 0 20 0 20 0 418509079 27969658880 26900 33554432000 4194304 4196468 140721619128080 140450920086720 140450948275606 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11755520 140721619137260 140721619137686 140721619137686 140721619140559 0
[pid=7569/tid=7571] ppid=7566 vsize=27314120 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/7569/task/7571/stat : 7571 (java) S 7566 7566 7522 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418509082 27969658880 26900 33554432000 4194304 4196468 140721619128080 140450952506384 140450948273877 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11755520 140721619137260 140721619137686 140721619137686 140721619140559 0
[pid=7569/tid=7572] ppid=7566 vsize=27314120 memory=140453843093120 CPUtime=0 cores=0-7
/proc/7569/task/7572/stat : 7572 (java) S 7566 7566 7522 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418509082 27969658880 26900 33554432000 4194304 4196468 140721619128080 140450735901840 140450948273877 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11755520 140721619137260 140721619137686 140721619137686 140721619140559 0
[pid=7569/tid=7573] ppid=7566 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7569/task/7573/stat : 7573 (java) S 7566 7566 7522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418509082 27969658880 26900 33554432000 4194304 4196468 140721619128080 140450734848784 140450948273877 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11755520 140721619137260 140721619137686 140721619137686 140721619140559 0
[pid=7569/tid=7574] ppid=7566 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7569/task/7574/stat : 7574 (java) S 7566 7566 7522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418509082 27969658880 26900 33554432000 4194304 4196468 140721619128080 140450733796240 140450948273877 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11755520 140721619137260 140721619137686 140721619137686 140721619140559 0
[pid=7569/tid=7575] ppid=7566 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7569/task/7575/stat : 7575 (java) S 7566 7566 7522 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418509082 27969658880 26900 33554432000 4194304 4196468 140721619128080 140450367265296 140450948273877 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11755520 140721619137260 140721619137686 140721619137686 140721619140559 0
[pid=7569/tid=7576] ppid=7566 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/7569/task/7576/stat : 7576 (java) S 7566 7566 7522 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418509082 27969658880 26900 33554432000 4194304 4196468 140721619128080 140450366212752 140450948273877 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11755520 140721619137260 140721619137686 140721619137686 140721619140559 0
[pid=7569/tid=7577] ppid=7566 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7569/task/7577/stat : 7577 (java) S 7566 7566 7522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418509082 27969658880 26900 33554432000 4194304 4196468 140721619128080 140450365159696 140450948273877 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11755520 140721619137260 140721619137686 140721619137686 140721619140559 0
[pid=7569/tid=7578] ppid=7566 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7569/task/7578/stat : 7578 (java) S 7566 7566 7522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418509082 27969658880 26900 33554432000 4194304 4196468 140721619128080 140450364107152 140450948273877 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11755520 140721619137260 140721619137686 140721619137686 140721619140559 0
[pid=7569/tid=7579] ppid=7566 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7569/task/7579/stat : 7579 (java) S 7566 7566 7522 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418509083 27969658880 26900 33554432000 4194304 4196468 140721619128080 140450207853296 140450948274818 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11755520 140721619137260 140721619137686 140721619137686 140721619140559 0
[pid=7569/tid=7580] ppid=7566 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7569/task/7580/stat : 7580 (java) S 7566 7566 7522 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 418509084 27969658880 26900 33554432000 4194304 4196468 140721619128080 140448718907040 140450948273877 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11755520 140721619137260 140721619137686 140721619137686 140721619140559 0
[pid=7569/tid=7581] ppid=7566 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7569/task/7581/stat : 7581 (java) S 7566 7566 7522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418509084 27969658880 26900 33554432000 4194304 4196468 140721619128080 140448450471152 140450948273877 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11755520 140721619137260 140721619137686 140721619137686 140721619140559 0
[pid=7569/tid=7582] ppid=7566 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7569/task/7582/stat : 7582 (java) S 7566 7566 7522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418509086 27969658880 26900 33554432000 4194304 4196468 140721619128080 140448075962832 140450948282267 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11755520 140721619137260 140721619137686 140721619137686 140721619140559 0
[pid=7569/tid=7583] ppid=7566 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7569/task/7583/stat : 7583 (java) S 7566 7566 7522 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 20 0 418509086 27969658880 26900 33554432000 4194304 4196468 140721619128080 140450206800112 140450948274818 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11755520 140721619137260 140721619137686 140721619137686 140721619140559 0
[pid=7569/tid=7584] ppid=7566 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7569/task/7584/stat : 7584 (java) S 7566 7566 7522 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418509086 27969658880 26900 33554432000 4194304 4196468 140721619128080 140450205747568 140450948274818 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11755520 140721619137260 140721619137686 140721619137686 140721619140559 0
[pid=7569/tid=7585] ppid=7566 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7569/task/7585/stat : 7585 (java) S 7566 7566 7522 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418509086 27969658880 26900 33554432000 4194304 4196468 140721619128080 140450204694512 140450948274818 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11755520 140721619137260 140721619137686 140721619137686 140721619140559 0
[pid=7569/tid=7586] ppid=7566 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7569/task/7586/stat : 7586 (java) R 7566 7566 7522 0 -1 4202560 268 0 0 0 0 0 0 0 20 0 20 0 418509086 27969658880 26900 33554432000 4194304 4196468 140721619128080 140450203641968 140450948285018 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11755520 140721619137260 140721619137686 140721619137686 140721619140559 0
[pid=7569/tid=7587] ppid=7566 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7569/task/7587/stat : 7587 (java) S 7566 7566 7522 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418509087 27969658880 26900 33554432000 4194304 4196468 140721619128080 140447578057696 140450948273877 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11755520 140721619137260 140721619137686 140721619137686 140721619140559 0
[pid=7569/tid=7588] ppid=7566 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/7569/task/7588/stat : 7588 (java) S 7566 7566 7522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418509087 27969658880 26900 33554432000 4194304 4196468 140721619128080 140450202590384 140450948274818 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11755520 140721619137260 140721619137686 140721619137686 140721619140559 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 108736 KiB

[startup+0.21048 s]*
/proc/loadavg: 8.05 8.18 8.10 3/212 7588
/proc/meminfo: memFree=24154864/32770624 swapFree=67108848/67108860
[pid=7566] ppid=7563 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/7566/stat : 7566 (scop.sh) S 7563 7566 7522 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 418509079 115843072 349 33554432000 4194304 5098028 140726926495856 140726926493112 140619159179900 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 19652608 140726926500645 140726926500972 140726926500972 140726926503885 0
/proc/7566/statm: 28282 349 296 221 0 87 0
[pid=7569] ppid=7566 vsize=27314120 memory=126896 CPUtime=0.24 cores=0-7
/proc/7569/stat : 7569 (java) S 7566 7566 7522 0 -1 1077944320 12013 0 0 0 20 4 0 0 20 0 20 0 418509079 27969658880 31724 33554432000 4194304 4196468 140721619128080 140721619110624 140450948263671 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11755520 140721619137260 140721619137686 140721619137686 140721619140559 0
/proc/7569/statm: 6828530 31724 2977 1 0 6790935 0
[pid=7569/tid=7570] ppid=7566 vsize=27314120 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/7569/task/7570/stat : 7570 (java) R 7566 7566 7522 0 -1 4202560 9710 0 0 0 16 3 0 0 20 0 20 0 418509079 27969658880 31724 33554432000 4194304 4196468 140721619128080 140450920072144 140450929637450 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11755520 140721619137260 140721619137686 140721619137686 140721619140559 0
[pid=7569/tid=7571] ppid=7566 vsize=27314120 memory=342 CPUtime=0 cores=0-7
/proc/7569/task/7571/stat : 7571 (java) S 7566 7566 7522 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418509082 27969658880 31724 33554432000 4194304 4196468 140721619128080 140450952506384 140450948273877 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11755520 140721619137260 140721619137686 140721619137686 140721619140559 0
[pid=7569/tid=7572] ppid=7566 vsize=27314120 memory=140453843102819 CPUtime=0 cores=0-7
/proc/7569/task/7572/stat : 7572 (java) S 7566 7566 7522 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418509082 27969658880 31724 33554432000 4194304 4196468 140721619128080 140450735901840 140450948273877 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11755520 140721619137260 140721619137686 140721619137686 140721619140559 0
[pid=7569/tid=7573] ppid=7566 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/7569/task/7573/stat : 7573 (java) S 7566 7566 7522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418509082 27969658880 31724 33554432000 4194304 4196468 140721619128080 140450734848784 140450948273877 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11755520 140721619137260 140721619137686 140721619137686 140721619140559 0
[pid=7569/tid=7574] ppid=7566 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7569/task/7574/stat : 7574 (java) S 7566 7566 7522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418509082 27969658880 31724 33554432000 4194304 4196468 140721619128080 140450733796240 140450948273877 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11755520 140721619137260 140721619137686 140721619137686 140721619140559 0
[pid=7569/tid=7575] ppid=7566 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7569/task/7575/stat : 7575 (java) S 7566 7566 7522 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418509082 27969658880 31724 33554432000 4194304 4196468 140721619128080 140450367265296 140450948273877 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11755520 140721619137260 140721619137686 140721619137686 140721619140559 0
[pid=7569/tid=7576] ppid=7566 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/7569/task/7576/stat : 7576 (java) S 7566 7566 7522 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418509082 27969658880 31724 33554432000 4194304 4196468 140721619128080 140450366212752 140450948273877 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11755520 140721619137260 140721619137686 140721619137686 140721619140559 0
[pid=7569/tid=7577] ppid=7566 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7569/task/7577/stat : 7577 (java) S 7566 7566 7522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418509082 27969658880 31724 33554432000 4194304 4196468 140721619128080 140450365159696 140450948273877 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11755520 140721619137260 140721619137686 140721619137686 140721619140559 0
[pid=7569/tid=7578] ppid=7566 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7569/task/7578/stat : 7578 (java) S 7566 7566 7522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418509082 27969658880 31724 33554432000 4194304 4196468 140721619128080 140450364107152 140450948273877 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11755520 140721619137260 140721619137686 140721619137686 140721619140559 0
[pid=7569/tid=7579] ppid=7566 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7569/task/7579/stat : 7579 (java) S 7566 7566 7522 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418509083 27969658880 31724 33554432000 4194304 4196468 140721619128080 140450207853296 140450948274818 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11755520 140721619137260 140721619137686 140721619137686 140721619140559 0
[pid=7569/tid=7580] ppid=7566 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7569/task/7580/stat : 7580 (java) S 7566 7566 7522 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 418509084 27969658880 31724 33554432000 4194304 4196468 140721619128080 140448718907040 140450948273877 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11755520 140721619137260 140721619137686 140721619137686 140721619140559 0
[pid=7569/tid=7581] ppid=7566 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7569/task/7581/stat : 7581 (java) S 7566 7566 7522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418509084 27969658880 31724 33554432000 4194304 4196468 140721619128080 140448450471152 140450948273877 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11755520 140721619137260 140721619137686 140721619137686 140721619140559 0
[pid=7569/tid=7582] ppid=7566 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7569/task/7582/stat : 7582 (java) S 7566 7566 7522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418509086 27969658880 31724 33554432000 4194304 4196468 140721619128080 140448075962832 140450948282267 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11755520 140721619137260 140721619137686 140721619137686 140721619140559 0
[pid=7569/tid=7583] ppid=7566 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7569/task/7583/stat : 7583 (java) S 7566 7566 7522 0 -1 1077944384 464 0 0 0 0 0 0 0 20 0 20 0 418509086 27969658880 31724 33554432000 4194304 4196468 140721619128080 140450206800112 140450948274818 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11755520 140721619137260 140721619137686 140721619137686 140721619140559 0
[pid=7569/tid=7584] ppid=7566 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7569/task/7584/stat : 7584 (java) S 7566 7566 7522 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418509086 27969658880 31724 33554432000 4194304 4196468 140721619128080 140450205747568 140450948274818 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11755520 140721619137260 140721619137686 140721619137686 140721619140559 0
[pid=7569/tid=7585] ppid=7566 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/7569/task/7585/stat : 7585 (java) S 7566 7566 7522 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 20 0 418509086 27969658880 31724 33554432000 4194304 4196468 140721619128080 140450204694512 140450948274818 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11755520 140721619137260 140721619137686 140721619137686 140721619140559 0
[pid=7569/tid=7586] ppid=7566 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7
/proc/7569/task/7586/stat : 7586 (java) S 7566 7566 7522 0 -1 1077944384 477 0 0 0 2 0 0 0 20 0 20 0 418509086 27969658880 31724 33554432000 4194304 4196468 140721619128080 140450203641968 140450948274818 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11755520 140721619137260 140721619137686 140721619137686 140721619140559 0
[pid=7569/tid=7587] ppid=7566 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7569/task/7587/stat : 7587 (java) S 7566 7566 7522 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418509087 27969658880 31724 33554432000 4194304 4196468 140721619128080 140447578057696 140450948273877 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11755520 140721619137260 140721619137686 140721619137686 140721619140559 0
[pid=7569/tid=7588] ppid=7566 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/7569/task/7588/stat : 7588 (java) S 7566 7566 7522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418509087 27969658880 31724 33554432000 4194304 4196468 140721619128080 140450202590384 140450948274818 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11755520 140721619137260 140721619137686 140721619137686 140721619140559 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 128292 KiB

[startup+0.30975 s]*
/proc/loadavg: 8.05 8.18 8.10 2/212 7588
/proc/meminfo: memFree=24152172/32770624 swapFree=67108848/67108860
[pid=7566] ppid=7563 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/7566/stat : 7566 (scop.sh) S 7563 7566 7522 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 418509079 115843072 349 33554432000 4194304 5098028 140726926495856 140726926493112 140619159179900 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 19652608 140726926500645 140726926500972 140726926500972 140726926503885 0
/proc/7566/statm: 28282 349 296 221 0 87 0
[pid=7569] ppid=7566 vsize=27314120 memory=129972 CPUtime=0.42 cores=0-7
/proc/7569/stat : 7569 (java) S 7566 7566 7522 0 -1 1077944320 12354 0 0 0 37 5 0 0 20 0 20 0 418509079 27969658880 32493 33554432000 4194304 4196468 140721619128080 140721619110624 140450948263671 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11755520 140721619137260 140721619137686 140721619137686 140721619140559 0
/proc/7569/statm: 6828530 32493 3021 1 0 6790935 0
[pid=7569/tid=7570] ppid=7566 vsize=27314120 memory=1398722017469774279 CPUtime=0.3 cores=0-7
/proc/7569/task/7570/stat : 7570 (java) R 7566 7566 7522 0 -1 4202560 9897 0 0 0 26 4 0 0 20 0 20 0 418509079 27969658880 32493 33554432000 4194304 4196468 140721619128080 140450920091200 140450929827240 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11755520 140721619137260 140721619137686 140721619137686 140721619140559 0
[pid=7569/tid=7571] ppid=7566 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7569/task/7571/stat : 7571 (java) S 7566 7566 7522 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418509082 27969658880 32493 33554432000 4194304 4196468 140721619128080 140450952506384 140450948273877 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11755520 140721619137260 140721619137686 140721619137686 140721619140559 0
[pid=7569/tid=7572] ppid=7566 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7569/task/7572/stat : 7572 (java) S 7566 7566 7522 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418509082 27969658880 32493 33554432000 4194304 4196468 140721619128080 140450735901840 140450948273877 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11755520 140721619137260 140721619137686 140721619137686 140721619140559 0
[pid=7569/tid=7573] ppid=7566 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7569/task/7573/stat : 7573 (java) S 7566 7566 7522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418509082 27969658880 32493 33554432000 4194304 4196468 140721619128080 140450734848784 140450948273877 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11755520 140721619137260 140721619137686 140721619137686 140721619140559 0
[pid=7569/tid=7574] ppid=7566 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7569/task/7574/stat : 7574 (java) S 7566 7566 7522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418509082 27969658880 32493 33554432000 4194304 4196468 140721619128080 140450733796240 140450948273877 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11755520 140721619137260 140721619137686 140721619137686 140721619140559 0
[pid=7569/tid=7575] ppid=7566 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7569/task/7575/stat : 7575 (java) S 7566 7566 7522 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418509082 27969658880 32493 33554432000 4194304 4196468 140721619128080 140450367265296 140450948273877 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11755520 140721619137260 140721619137686 140721619137686 140721619140559 0
[pid=7569/tid=7576] ppid=7566 vsize=27314120 memory=140453685062319 CPUtime=0 cores=0-7
/proc/7569/task/7576/stat : 7576 (java) S 7566 7566 7522 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418509082 27969658880 32493 33554432000 4194304 4196468 140721619128080 140450366212752 140450948273877 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11755520 140721619137260 140721619137686 140721619137686 140721619140559 0
[pid=7569/tid=7577] ppid=7566 vsize=27314120 memory=140453685064624 CPUtime=0 cores=0-7
/proc/7569/task/7577/stat : 7577 (java) S 7566 7566 7522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418509082 27969658880 32493 33554432000 4194304 4196468 140721619128080 140450365159696 140450948273877 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11755520 140721619137260 140721619137686 140721619137686 140721619140559 0
[pid=7569/tid=7578] ppid=7566 vsize=27314120 memory=140453685066928 CPUtime=0 cores=0-7
/proc/7569/task/7578/stat : 7578 (java) S 7566 7566 7522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418509082 27969658880 32493 33554432000 4194304 4196468 140721619128080 140450364107152 140450948273877 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11755520 140721619137260 140721619137686 140721619137686 140721619140559 0
[pid=7569/tid=7579] ppid=7566 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7569/task/7579/stat : 7579 (java) S 7566 7566 7522 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418509083 27969658880 32493 33554432000 4194304 4196468 140721619128080 140450207853296 140450948274818 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11755520 140721619137260 140721619137686 140721619137686 140721619140559 0
[pid=7569/tid=7580] ppid=7566 vsize=27314120 memory=280907370147728 CPUtime=0 cores=0-7
/proc/7569/task/7580/stat : 7580 (java) S 7566 7566 7522 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 418509084 27969658880 32493 33554432000 4194304 4196468 140721619128080 140448718907040 140450948273877 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11755520 140721619137260 140721619137686 140721619137686 140721619140559 0
[pid=7569/tid=7581] ppid=7566 vsize=27314120 memory=280907370145424 CPUtime=0 cores=0-7
/proc/7569/task/7581/stat : 7581 (java) S 7566 7566 7522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418509084 27969658880 32493 33554432000 4194304 4196468 140721619128080 140448450471152 140450948273877 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11755520 140721619137260 140721619137686 140721619137686 140721619140559 0
[pid=7569/tid=7582] ppid=7566 vsize=27314120 memory=280907370152336 CPUtime=0 cores=0-7
/proc/7569/task/7582/stat : 7582 (java) S 7566 7566 7522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418509086 27969658880 32493 33554432000 4194304 4196468 140721619128080 140448075962832 140450948282267 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11755520 140721619137260 140721619137686 140721619137686 140721619140559 0
[pid=7569/tid=7583] ppid=7566 vsize=27314120 memory=280907370093616 CPUtime=0.01 cores=0-7
/proc/7569/task/7583/stat : 7583 (java) S 7566 7566 7522 0 -1 1077944384 464 0 0 0 1 0 0 0 20 0 20 0 418509086 27969658880 32493 33554432000 4194304 4196468 140721619128080 140450206800112 140450948274818 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11755520 140721619137260 140721619137686 140721619137686 140721619140559 0
[pid=7569/tid=7584] ppid=7566 vsize=27314120 memory=280907370166160 CPUtime=0.02 cores=0-7
/proc/7569/task/7584/stat : 7584 (java) R 7566 7566 7522 0 -1 4202560 115 0 0 0 2 0 0 0 20 0 20 0 418509086 27969658880 32493 33554432000 4194304 4196468 140721619128080 140450205747568 140450929807444 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11755520 140721619137260 140721619137686 140721619137686 140721619140559 0
[pid=7569/tid=7585] ppid=7566 vsize=27314120 memory=280907370173072 CPUtime=0 cores=0-7
/proc/7569/task/7585/stat : 7585 (java) S 7566 7566 7522 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 20 0 418509086 27969658880 32493 33554432000 4194304 4196468 140721619128080 140450204694512 140450948274818 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11755520 140721619137260 140721619137686 140721619137686 140721619140559 0
[pid=7569/tid=7586] ppid=7566 vsize=27314120 memory=280907370170768 CPUtime=0.07 cores=0-7
/proc/7569/task/7586/stat : 7586 (java) S 7566 7566 7522 0 -1 1077944384 498 0 0 0 7 0 0 0 20 0 20 0 418509086 27969658880 32493 33554432000 4194304 4196468 140721619128080 140450203641968 140450948274818 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11755520 140721619137260 140721619137686 140721619137686 140721619140559 0
[pid=7569/tid=7587] ppid=7566 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7569/task/7587/stat : 7587 (java) S 7566 7566 7522 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418509087 27969658880 32493 33554432000 4194304 4196468 140721619128080 140447578057696 140450948273877 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11755520 140721619137260 140721619137686 140721619137686 140721619140559 0
[pid=7569/tid=7588] ppid=7566 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/7569/task/7588/stat : 7588 (java) S 7566 7566 7522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418509087 27969658880 32493 33554432000 4194304 4196468 140721619128080 140450202590384 140450948274818 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11755520 140721619137260 140721619137686 140721619137686 140721619140559 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 131368 KiB

[startup+0.700908 s]
/proc/loadavg: 8.05 8.18 8.10 2/212 7588
/proc/meminfo: memFree=24130468/32770624 swapFree=67108848/67108860
[pid=7566] ppid=7563 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/7566/stat : 7566 (scop.sh) S 7563 7566 7522 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 418509079 115843072 349 33554432000 4194304 5098028 140726926495856 140726926493112 140619159179900 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 19652608 140726926500645 140726926500972 140726926500972 140726926503885 0
/proc/7566/statm: 28282 349 296 221 0 87 0
[pid=7569] ppid=7566 vsize=27320392 memory=167692 CPUtime=0.99 cores=0-7
/proc/7569/stat : 7569 (java) S 7566 7566 7522 0 -1 1077944320 20022 0 0 0 92 7 0 0 20 0 20 0 418509079 27976081408 41923 33554432000 4194304 4196468 140721619128080 140721619110624 140450948263671 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11755520 140721619137260 140721619137686 140721619137686 140721619140559 0
/proc/7569/statm: 6830098 41923 3185 1 0 6791447 0
[pid=7569/tid=7570] ppid=7566 vsize=27320392 memory=0 CPUtime=0.67 cores=0-7
/proc/7569/task/7570/stat : 7570 (java) R 7566 7566 7522 0 -1 4202560 16870 0 0 0 61 6 0 0 20 0 20 0 418509079 27976081408 41923 33554432000 4194304 4196468 140721619128080 140450920096496 140450948285597 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11755520 140721619137260 140721619137686 140721619137686 140721619140559 0
[pid=7569/tid=7571] ppid=7566 vsize=27320392 memory=140453685273456 CPUtime=0 cores=0-7
/proc/7569/task/7571/stat : 7571 (java) S 7566 7566 7522 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418509082 27976081408 41923 33554432000 4194304 4196468 140721619128080 140450952506384 140450948273877 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11755520 140721619137260 140721619137686 140721619137686 140721619140559 0
[pid=7569/tid=7572] ppid=7566 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/7569/task/7572/stat : 7572 (java) S 7566 7566 7522 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418509082 27976081408 41923 33554432000 4194304 4196468 140721619128080 140450735901840 140450948273877 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11755520 140721619137260 140721619137686 140721619137686 140721619140559 0
[pid=7569/tid=7573] ppid=7566 vsize=27320392 memory=7180 CPUtime=0 cores=0-7
/proc/7569/task/7573/stat : 7573 (java) S 7566 7566 7522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418509082 27976081408 41923 33554432000 4194304 4196468 140721619128080 140450734848784 140450948273877 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11755520 140721619137260 140721619137686 140721619137686 140721619140559 0

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

/proc/7594/task/7600/stat : 7600 (java) S 7566 7566 7522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418514345 8616062976 30175 33554432000 4194304 4196468 140735806352208 139805063539088 139805581997781 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13697024 140735806358520 140735806358678 140735806358678 140735806361551 0
[pid=7594/tid=7601] ppid=7566 vsize=8414124 memory=4048 CPUtime=0 cores=0-7
/proc/7594/task/7601/stat : 7601 (java) S 7566 7566 7522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418514345 8616062976 30175 33554432000 4194304 4196468 140735806352208 139805062486288 139805581997781 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13697024 140735806358520 140735806358678 140735806358678 140735806361551 0
[pid=7594/tid=7602] ppid=7566 vsize=8414124 memory=14288 CPUtime=0 cores=0-7
/proc/7594/task/7602/stat : 7602 (java) S 7566 7566 7522 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418514345 8616062976 30175 33554432000 4194304 4196468 140735806352208 139805061434000 139805581997781 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13697024 140735806358520 140735806358678 140735806358678 140735806361551 0
[pid=7594/tid=7603] ppid=7566 vsize=8414124 memory=504 CPUtime=0 cores=0-7
/proc/7594/task/7603/stat : 7603 (java) S 7566 7566 7522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418514345 8616062976 30175 33554432000 4194304 4196468 140735806352208 139805060381200 139805581997781 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13697024 140735806358520 140735806358678 140735806358678 140735806361551 0
[pid=7594/tid=7604] ppid=7566 vsize=8414124 memory=1728 CPUtime=0 cores=0-7
/proc/7594/task/7604/stat : 7604 (java) S 7566 7566 7522 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 418514347 8616062976 30175 33554432000 4194304 4196468 140735806352208 139804406704752 139805581998722 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13697024 140735806358520 140735806358678 140735806358678 140735806361551 0
[pid=7594/tid=7605] ppid=7566 vsize=8414124 memory=924 CPUtime=0 cores=0-7
/proc/7594/task/7605/stat : 7605 (java) S 7566 7566 7522 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 418514347 8616062976 30175 33554432000 4194304 4196468 140735806352208 139804205376800 139805581997781 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13697024 140735806358520 140735806358678 140735806358678 140735806361551 0
[pid=7594/tid=7606] ppid=7566 vsize=8414124 memory=2376 CPUtime=0 cores=0-7
/proc/7594/task/7606/stat : 7606 (java) S 7566 7566 7522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418514347 8616062976 30175 33554432000 4194304 4196468 140735806352208 139803936941680 139805581997781 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13697024 140735806358520 140735806358678 140735806358678 140735806361551 0
[pid=7594/tid=7607] ppid=7566 vsize=8414124 memory=2212 CPUtime=0 cores=0-7
/proc/7594/task/7607/stat : 7607 (java) S 7566 7566 7522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418514350 8616062976 30175 33554432000 4194304 4196468 140735806352208 139803562433104 139805582006171 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13697024 140735806358520 140735806358678 140735806358678 140735806361551 0
[pid=7594/tid=7608] ppid=7566 vsize=8414124 memory=4276 CPUtime=0.06 cores=0-7
/proc/7594/task/7608/stat : 7608 (java) S 7566 7566 7522 0 -1 1077944384 495 0 0 0 6 0 0 0 20 0 24 0 418514350 8616062976 30175 33554432000 4194304 4196468 140735806352208 139804405651568 139805581998722 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13697024 140735806358520 140735806358678 140735806358678 140735806361551 0
[pid=7594/tid=7609] ppid=7566 vsize=8414124 memory=1536 CPUtime=0.04 cores=0-7
/proc/7594/task/7609/stat : 7609 (java) S 7566 7566 7522 0 -1 1077944384 385 0 0 0 4 0 0 0 20 0 24 0 418514350 8616062976 30175 33554432000 4194304 4196468 140735806352208 139804404598768 139805581998722 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13697024 140735806358520 140735806358678 140735806358678 140735806361551 0
[pid=7594/tid=7610] ppid=7566 vsize=8414124 memory=932 CPUtime=0.06 cores=0-7
/proc/7594/task/7610/stat : 7610 (java) S 7566 7566 7522 0 -1 1077944384 330 0 0 0 6 0 0 0 20 0 24 0 418514350 8616062976 30175 33554432000 4194304 4196468 140735806352208 139804403546480 139805581998722 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13697024 140735806358520 140735806358678 140735806358678 140735806361551 0
[pid=7594/tid=7611] ppid=7566 vsize=8414124 memory=2008 CPUtime=0.2 cores=0-7
/proc/7594/task/7611/stat : 7611 (java) S 7566 7566 7522 0 -1 1077944384 947 0 0 0 20 0 0 0 20 0 24 0 418514350 8616062976 30175 33554432000 4194304 4196468 140735806352208 139804402493680 139805581998722 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13697024 140735806358520 140735806358678 140735806358678 140735806361551 0
[pid=7594/tid=7612] ppid=7566 vsize=8414124 memory=111636 CPUtime=0 cores=0-7
/proc/7594/task/7612/stat : 7612 (java) S 7566 7566 7522 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418514351 8616062976 30175 33554432000 4194304 4196468 140735806352208 139803064527712 139805581997781 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13697024 140735806358520 140735806358678 140735806358678 140735806361551 0
[pid=7594/tid=7613] ppid=7566 vsize=8414124 memory=804 CPUtime=0.13 cores=0-7
/proc/7594/task/7613/stat : 7613 (java) S 7566 7566 7522 0 -1 1077944384 19 0 0 0 13 0 0 0 20 0 24 0 418514351 8616062976 30175 33554432000 4194304 4196468 140735806352208 139804401441584 139805581998722 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13697024 140735806358520 140735806358678 140735806358678 140735806361551 0
[pid=7594/tid=7615] ppid=7566 vsize=8414124 memory=4104 CPUtime=0 cores=0-7
/proc/7594/task/7615/stat : 7615 (java) S 7566 7566 7522 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 418514418 8616062976 30175 33554432000 4194304 4196468 140735806352208 139805010974528 139805582012185 0 4 2 25189581 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 13697024 140735806358520 140735806358678 140735806358678 140735806361551 0
[pid=7594/tid=7617] ppid=7566 vsize=8414124 memory=1804 CPUtime=0 cores=0-7
/proc/7594/task/7617/stat : 7617 (java) S 7566 7566 7522 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 418514418 8616062976 30175 33554432000 4194304 4196468 140735806352208 139802661862800 139805582009501 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 13697024 140735806358520 140735806358678 140735806358678 140735806361551 0
[pid=7594/tid=7618] ppid=7566 vsize=8414124 memory=916 CPUtime=0 cores=0-7
/proc/7594/task/7618/stat : 7618 (java) S 7566 7566 7522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 24 0 418514418 8616062976 30175 33554432000 4194304 4196468 140735806352208 139802393427216 139805582009501 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 13697024 140735806358520 140735806358678 140735806358678 140735806361551 0
[pid=7594/tid=7619] ppid=7566 vsize=8414124 memory=3908 CPUtime=0 cores=0-7
/proc/7594/task/7619/stat : 7619 (java) S 7566 7566 7522 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 418514420 8616062976 30175 33554432000 4194304 4196468 140735806352208 139802124999984 139805581997781 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13697024 140735806358520 140735806358678 140735806358678 140735806361551 0
Current children cumulated CPU time: 1984.54 s
Current children cumulated vsize: 9253120 KiB
Current children cumulated memory: 569860 KiB

[startup+294.101 s]*
/proc/loadavg: 8.86 7.90 7.90 3/218 7648
/proc/meminfo: memFree=23715888/32770624 swapFree=67108848/67108860
[pid=7566] ppid=7563 vsize=113128 memory=1476 CPUtime=73.35 cores=0-7
/proc/7566/stat : 7566 (scop.sh) S 7563 7566 7522 0 -1 4202496 582 78733 0 0 0 0 6907 428 20 0 1 0 418509079 115843072 369 33554432000 4194304 5098028 140726926495856 140726926492600 140619159179900 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 19652608 140726926500645 140726926500972 140726926500972 140726926503885 0
/proc/7566/statm: 28282 369 311 221 0 87 0
[pid=7594] ppid=7566 vsize=8414124 memory=120700 CPUtime=1.32 cores=0-7
/proc/7594/stat : 7594 (java) S 7566 7566 7522 0 -1 1077944320 21618 0 0 0 124 8 0 0 20 0 24 0 418514344 8616062976 30175 33554432000 4194304 4196468 140735806352208 140735806334752 139805581987575 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13697024 140735806358520 140735806358678 140735806358678 140735806361551 0
/proc/7594/statm: 2103531 30175 3209 1 0 2064875 0
[pid=7614] ppid=7594 vsize=725868 memory=447684 CPUtime=1910.84 cores=0-7
/proc/7614/stat : 7614 (manyglucose-4.1) S 7594 7566 7522 0 -1 1077944320 317583 0 0 0 190910 174 0 0 20 0 3 0 418514417 743288832 111921 33554432000 4194304 4454172 140736840830976 140736840829360 140416681676535 0 4 0 8388610 18446744073709551615 0 0 17 1 0 0 0 0 0 6552832 6554400 11534336 140736840840042 140736840840240 140736840840240 140736840843194 0
/proc/7614/statm: 181467 111921 416 64 0 177135 0
[pid=7614/tid=7620] ppid=7594 vsize=725868 memory=0 CPUtime=238.21 cores=0-7
/proc/7614/task/7620/stat : 7620 (manyglucose-4.1) R 7594 7566 7522 0 -1 4202560 39615 0 0 0 23800 21 0 0 20 0 3 0 418514437 743288832 111921 33554432000 4194304 4454172 140736840830976 140416644770984 4351289 0 4 0 8388610 0 0 0 -1 1 0 0 0 0 0 6552832 6554400 11534336 140736840840042 140736840840240 140736840840240 140736840843194 0
[pid=7614/tid=7624] ppid=7594 vsize=725868 memory=0 CPUtime=238.03 cores=0-7
/proc/7614/task/7624/stat : 7624 (manyglucose-4.1) R 7594 7566 7522 0 -1 4202560 38258 0 0 0 23782 21 0 0 20 0 3 0 418514437 743288832 111921 33554432000 4194304 4454172 140736840830976 140416611200104 4351803 0 4 0 8388610 0 0 0 -1 5 0 0 0 0 0 6552832 6554400 11534336 140736840840042 140736840840240 140736840840240 140736840843194 0
[pid=7594/tid=7595] ppid=7566 vsize=8414124 memory=1398722017469774279 CPUtime=0.76 cores=0-7
/proc/7594/task/7595/stat : 7595 (java) S 7566 7566 7522 0 -1 1077944384 18049 0 0 0 71 5 0 0 20 0 24 0 418514344 8616062976 30175 33554432000 4194304 4196468 140735806352208 139805553827744 139805581997781 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13697024 140735806358520 140735806358678 140735806358678 140735806361551 0
[pid=7594/tid=7596] ppid=7566 vsize=8414124 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/7594/task/7596/stat : 7596 (java) S 7566 7566 7522 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418514345 8616062976 30175 33554432000 4194304 4196468 140735806352208 139805586230160 139805581997781 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13697024 140735806358520 140735806358678 140735806358678 140735806361551 0
[pid=7594/tid=7597] ppid=7566 vsize=8414124 memory=3908 CPUtime=0 cores=0-7
/proc/7594/task/7597/stat : 7597 (java) S 7566 7566 7522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418514345 8616062976 30175 33554432000 4194304 4196468 140735806352208 139805415324432 139805581997781 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13697024 140735806358520 140735806358678 140735806358678 140735806361551 0
[pid=7594/tid=7598] ppid=7566 vsize=8414124 memory=1408 CPUtime=0 cores=0-7
/proc/7594/task/7598/stat : 7598 (java) S 7566 7566 7522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418514345 8616062976 30175 33554432000 4194304 4196468 140735806352208 139805065645200 139805581997781 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13697024 140735806358520 140735806358678 140735806358678 140735806361551 0
[pid=7594/tid=7599] ppid=7566 vsize=8414124 memory=3756 CPUtime=0 cores=0-7
/proc/7594/task/7599/stat : 7599 (java) S 7566 7566 7522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418514345 8616062976 30175 33554432000 4194304 4196468 140735806352208 139805064592400 139805581997781 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13697024 140735806358520 140735806358678 140735806358678 140735806361551 0
[pid=7594/tid=7600] ppid=7566 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/7594/task/7600/stat : 7600 (java) S 7566 7566 7522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418514345 8616062976 30175 33554432000 4194304 4196468 140735806352208 139805063539088 139805581997781 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13697024 140735806358520 140735806358678 140735806358678 140735806361551 0
[pid=7594/tid=7601] ppid=7566 vsize=8414124 memory=120700 CPUtime=0 cores=0-7
/proc/7594/task/7601/stat : 7601 (java) S 7566 7566 7522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418514345 8616062976 30175 33554432000 4194304 4196468 140735806352208 139805062486288 139805581997781 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13697024 140735806358520 140735806358678 140735806358678 140735806361551 0
[pid=7594/tid=7602] ppid=7566 vsize=8414124 memory=447632 CPUtime=0 cores=0-7
/proc/7594/task/7602/stat : 7602 (java) S 7566 7566 7522 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418514345 8616062976 30175 33554432000 4194304 4196468 140735806352208 139805061434000 139805581997781 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13697024 140735806358520 140735806358678 140735806358678 140735806361551 0
[pid=7594/tid=7603] ppid=7566 vsize=8414124 memory=1964 CPUtime=0 cores=0-7
/proc/7594/task/7603/stat : 7603 (java) S 7566 7566 7522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418514345 8616062976 30175 33554432000 4194304 4196468 140735806352208 139805060381200 139805581997781 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13697024 140735806358520 140735806358678 140735806358678 140735806361551 0
[pid=7594/tid=7604] ppid=7566 vsize=8414124 memory=288230574492221466 CPUtime=0 cores=0-7
/proc/7594/task/7604/stat : 7604 (java) S 7566 7566 7522 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 418514347 8616062976 30175 33554432000 4194304 4196468 140735806352208 139804406704752 139805581998722 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13697024 140735806358520 140735806358678 140735806358678 140735806361551 0
[pid=7594/tid=7605] ppid=7566 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/7594/task/7605/stat : 7605 (java) S 7566 7566 7522 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 418514347 8616062976 30175 33554432000 4194304 4196468 140735806352208 139804205376800 139805581997781 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13697024 140735806358520 140735806358678 140735806358678 140735806361551 0
[pid=7594/tid=7606] ppid=7566 vsize=8414124 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/7594/task/7606/stat : 7606 (java) S 7566 7566 7522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418514347 8616062976 30175 33554432000 4194304 4196468 140735806352208 139803936941680 139805581997781 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13697024 140735806358520 140735806358678 140735806358678 140735806361551 0
[pid=7594/tid=7607] ppid=7566 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/7594/task/7607/stat : 7607 (java) S 7566 7566 7522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418514350 8616062976 30175 33554432000 4194304 4196468 140735806352208 139803562433104 139805582006171 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13697024 140735806358520 140735806358678 140735806358678 140735806361551 0
[pid=7594/tid=7608] ppid=7566 vsize=8414124 memory=6656426216303648864 CPUtime=0.06 cores=0-7
/proc/7594/task/7608/stat : 7608 (java) S 7566 7566 7522 0 -1 1077944384 495 0 0 0 6 0 0 0 20 0 24 0 418514350 8616062976 30175 33554432000 4194304 4196468 140735806352208 139804405651568 139805581998722 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13697024 140735806358520 140735806358678 140735806358678 140735806361551 0
[pid=7594/tid=7609] ppid=7566 vsize=8414124 memory=0 CPUtime=0.04 cores=0-7
/proc/7594/task/7609/stat : 7609 (java) S 7566 7566 7522 0 -1 1077944384 385 0 0 0 4 0 0 0 20 0 24 0 418514350 8616062976 30175 33554432000 4194304 4196468 140735806352208 139804404598768 139805581998722 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13697024 140735806358520 140735806358678 140735806358678 140735806361551 0
[pid=7594/tid=7610] ppid=7566 vsize=8414124 memory=0 CPUtime=0.06 cores=0-7
/proc/7594/task/7610/stat : 7610 (java) S 7566 7566 7522 0 -1 1077944384 330 0 0 0 6 0 0 0 20 0 24 0 418514350 8616062976 30175 33554432000 4194304 4196468 140735806352208 139804403546480 139805581998722 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13697024 140735806358520 140735806358678 140735806358678 140735806361551 0
[pid=7594/tid=7611] ppid=7566 vsize=8414124 memory=0 CPUtime=0.2 cores=0-7
/proc/7594/task/7611/stat : 7611 (java) S 7566 7566 7522 0 -1 1077944384 947 0 0 0 20 0 0 0 20 0 24 0 418514350 8616062976 30175 33554432000 4194304 4196468 140735806352208 139804402493680 139805581998722 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13697024 140735806358520 140735806358678 140735806358678 140735806361551 0
[pid=7594/tid=7612] ppid=7566 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/7594/task/7612/stat : 7612 (java) S 7566 7566 7522 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418514351 8616062976 30175 33554432000 4194304 4196468 140735806352208 139803064527712 139805581997781 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13697024 140735806358520 140735806358678 140735806358678 140735806361551 0
[pid=7594/tid=7613] ppid=7566 vsize=8414124 memory=0 CPUtime=0.13 cores=0-7
/proc/7594/task/7613/stat : 7613 (java) S 7566 7566 7522 0 -1 1077944384 19 0 0 0 13 0 0 0 20 0 24 0 418514351 8616062976 30175 33554432000 4194304 4196468 140735806352208 139804401441584 139805581998722 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13697024 140735806358520 140735806358678 140735806358678 140735806361551 0
[pid=7594/tid=7615] ppid=7566 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/7594/task/7615/stat : 7615 (java) S 7566 7566 7522 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 418514418 8616062976 30175 33554432000 4194304 4196468 140735806352208 139805010974528 139805582012185 0 4 2 25189581 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 13697024 140735806358520 140735806358678 140735806358678 140735806361551 0
[pid=7594/tid=7617] ppid=7566 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/7594/task/7617/stat : 7617 (java) S 7566 7566 7522 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 418514418 8616062976 30175 33554432000 4194304 4196468 140735806352208 139802661862800 139805582009501 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 13697024 140735806358520 140735806358678 140735806358678 140735806361551 0
[pid=7594/tid=7618] ppid=7566 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/7594/task/7618/stat : 7618 (java) S 7566 7566 7522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 24 0 418514418 8616062976 30175 33554432000 4194304 4196468 140735806352208 139802393427216 139805582009501 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 13697024 140735806358520 140735806358678 140735806358678 140735806361551 0
[pid=7594/tid=7619] ppid=7566 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/7594/task/7619/stat : 7619 (java) S 7566 7566 7522 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 418514420 8616062976 30175 33554432000 4194304 4196468 140735806352208 139802124999984 139805581997781 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13697024 140735806358520 140735806358678 140735806358678 140735806361551 0
Current children cumulated CPU time: 1985.51 s
Current children cumulated vsize: 9253120 KiB
Current children cumulated memory: 569860 KiB

[startup+294.301 s]
/proc/loadavg: 8.86 7.90 7.90 3/218 7648
/proc/meminfo: memFree=23715888/32770624 swapFree=67108848/67108860
[pid=7566] ppid=7563 vsize=113128 memory=1476 CPUtime=73.35 cores=0-7
/proc/7566/stat : 7566 (scop.sh) S 7563 7566 7522 0 -1 4202496 582 78733 0 0 0 0 6907 428 20 0 1 0 418509079 115843072 369 33554432000 4194304 5098028 140726926495856 140726926492600 140619159179900 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 19652608 140726926500645 140726926500972 140726926500972 140726926503885 0
/proc/7566/statm: 28282 369 311 221 0 87 0
[pid=7594] ppid=7566 vsize=8283048 memory=127204 CPUtime=1912.55 cores=0-7
/proc/7594/stat : 7594 (java) S 7566 7566 7522 0 -1 1077944320 23883 317595 0 0 143 10 190926 176 20 0 22 0 418514344 8481841152 31801 33554432000 4194304 4196468 140735806352208 140735806334752 139805581987575 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13697024 140735806358520 140735806358678 140735806358678 140735806361551 0
/proc/7594/statm: 2070762 31801 3221 1 0 2032106 0
[pid=7594/tid=7595] ppid=7566 vsize=8283048 memory=7666084671727424618 CPUtime=1911.8 cores=0-7
/proc/7594/task/7595/stat : 7595 (java) R 7566 7566 7522 0 -1 4202560 18162 317595 0 0 73 5 190926 176 20 0 22 0 418514344 8481841152 31801 33554432000 4194304 4196468 140735806352208 139805553814736 139805566031205 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 13697024 140735806358520 140735806358678 140735806358678 140735806361551 0
[pid=7594/tid=7596] ppid=7566 vsize=8283048 memory=5863798033597480294 CPUtime=1911.02 cores=0-7
/proc/7594/task/7596/stat : 7596 (java) S 7566 7566 7522 0 -1 1077944384 2 317595 0 0 0 0 190926 176 20 0 22 0 418514345 8481841152 31801 33554432000 4194304 4196468 140735806352208 139805586230160 139805581997781 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13697024 140735806358520 140735806358678 140735806358678 140735806361551 0
[pid=7594/tid=7597] ppid=7566 vsize=8283048 memory=6944656591801717918 CPUtime=1911.02 cores=0-7
/proc/7594/task/7597/stat : 7597 (java) S 7566 7566 7522 0 -1 1077944384 1 317595 0 0 0 0 190926 176 20 0 22 0 418514345 8481841152 31801 33554432000 4194304 4196468 140735806352208 139805415324432 139805581997781 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13697024 140735806358520 140735806358678 140735806358678 140735806361551 0
[pid=7594/tid=7598] ppid=7566 vsize=8283048 memory=8305311027921445216 CPUtime=1911.02 cores=0-7
/proc/7594/task/7598/stat : 7598 (java) S 7566 7566 7522 0 -1 1077944384 1 317595 0 0 0 0 190926 176 20 0 22 0 418514345 8481841152 31801 33554432000 4194304 4196468 140735806352208 139805065645200 139805581997781 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13697024 140735806358520 140735806358678 140735806358678 140735806361551 0
[pid=7594/tid=7599] ppid=7566 vsize=8283048 memory=-7606742951091920751 CPUtime=1911.02 cores=0-7
/proc/7594/task/7599/stat : 7599 (java) S 7566 7566 7522 0 -1 1077944384 1 317595 0 0 0 0 190926 176 20 0 22 0 418514345 8481841152 31801 33554432000 4194304 4196468 140735806352208 139805064592400 139805581997781 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13697024 140735806358520 140735806358678 140735806358678 140735806361551 0
[pid=7594/tid=7600] ppid=7566 vsize=8283048 memory=6944656425122700657 CPUtime=1911.02 cores=0-7
/proc/7594/task/7600/stat : 7600 (java) S 7566 7566 7522 0 -1 1077944384 1 317595 0 0 0 0 190926 176 20 0 22 0 418514345 8481841152 31801 33554432000 4194304 4196468 140735806352208 139805063539088 139805581997781 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13697024 140735806358520 140735806358678 140735806358678 140735806361551 0
[pid=7594/tid=7601] ppid=7566 vsize=8283048 memory=-6948055166404804227 CPUtime=1911.02 cores=0-7
/proc/7594/task/7601/stat : 7601 (java) S 7566 7566 7522 0 -1 1077944384 1 317595 0 0 0 0 190926 176 20 0 22 0 418514345 8481841152 31801 33554432000 4194304 4196468 140735806352208 139805062486288 139805581997781 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13697024 140735806358520 140735806358678 140735806358678 140735806361551 0
[pid=7594/tid=7602] ppid=7566 vsize=8283048 memory=2110804293835556 CPUtime=1911.02 cores=0-7
/proc/7594/task/7602/stat : 7602 (java) S 7566 7566 7522 0 -1 1077944384 3 317595 0 0 0 0 190926 176 20 0 22 0 418514345 8481841152 31801 33554432000 4194304 4196468 140735806352208 139805061434000 139805581997781 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13697024 140735806358520 140735806358678 140735806358678 140735806361551 0
[pid=7594/tid=7603] ppid=7566 vsize=8283048 memory=280907373468288 CPUtime=1911.02 cores=0-7
/proc/7594/task/7603/stat : 7603 (java) S 7566 7566 7522 0 -1 1077944384 1 317595 0 0 0 0 190926 176 20 0 22 0 418514345 8481841152 31801 33554432000 4194304 4196468 140735806352208 139805060381200 139805581997781 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13697024 140735806358520 140735806358678 140735806358678 140735806361551 0
[pid=7594/tid=7604] ppid=7566 vsize=8283048 memory=2110804293842372 CPUtime=1911.02 cores=0-7
/proc/7594/task/7604/stat : 7604 (java) S 7566 7566 7522 0 -1 1077944384 8 317595 0 0 0 0 190926 176 20 0 22 0 418514347 8481841152 31801 33554432000 4194304 4196468 140735806352208 139804406704752 139805581998722 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13697024 140735806358520 140735806358678 140735806358678 140735806361551 0
[pid=7594/tid=7605] ppid=7566 vsize=8283048 memory=0 CPUtime=1911.02 cores=0-7
/proc/7594/task/7605/stat : 7605 (java) S 7566 7566 7522 0 -1 1077944384 13 317595 0 0 0 0 190926 176 20 0 22 0 418514347 8481841152 31801 33554432000 4194304 4196468 140735806352208 139804205376800 139805581997781 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13697024 140735806358520 140735806358678 140735806358678 140735806361551 0
[pid=7594/tid=7606] ppid=7566 vsize=8283048 memory=0 CPUtime=1911.02 cores=0-7
/proc/7594/task/7606/stat : 7606 (java) S 7566 7566 7522 0 -1 1077944384 1 317595 0 0 0 0 190926 176 20 0 22 0 418514347 8481841152 31801 33554432000 4194304 4196468 140735806352208 139803936941680 139805581997781 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13697024 140735806358520 140735806358678 140735806358678 140735806361551 0
[pid=7594/tid=7607] ppid=7566 vsize=8283048 memory=0 CPUtime=1911.02 cores=0-7
/proc/7594/task/7607/stat : 7607 (java) S 7566 7566 7522 0 -1 1077944384 1 317595 0 0 0 0 190926 176 20 0 22 0 418514350 8481841152 31801 33554432000 4194304 4196468 140735806352208 139803562433104 139805582006171 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13697024 140735806358520 140735806358678 140735806358678 140735806361551 0
[pid=7594/tid=7608] ppid=7566 vsize=8283048 memory=0 CPUtime=1911.11 cores=0-7
/proc/7594/task/7608/stat : 7608 (java) S 7566 7566 7522 0 -1 1077944384 689 317595 0 0 9 0 190926 176 20 0 22 0 418514350 8481841152 31801 33554432000 4194304 4196468 140735806352208 139804405651568 139805581998722 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13697024 140735806358520 140735806358678 140735806358678 140735806361551 0
[pid=7594/tid=7609] ppid=7566 vsize=8283048 memory=0 CPUtime=1911.09 cores=0-7
/proc/7594/task/7609/stat : 7609 (java) S 7566 7566 7522 0 -1 1077944384 400 317595 0 0 7 0 190926 176 20 0 22 0 418514350 8481841152 31801 33554432000 4194304 4196468 140735806352208 139804404598768 139805581998722 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13697024 140735806358520 140735806358678 140735806358678 140735806361551 0
[pid=7594/tid=7610] ppid=7566 vsize=8283048 memory=0 CPUtime=1911.11 cores=0-7
/proc/7594/task/7610/stat : 7610 (java) S 7566 7566 7522 0 -1 1077944384 377 317595 0 0 9 0 190926 176 20 0 22 0 418514350 8481841152 31801 33554432000 4194304 4196468 140735806352208 139804403546480 139805581998722 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13697024 140735806358520 140735806358678 140735806358678 140735806361551 0
[pid=7594/tid=7611] ppid=7566 vsize=8283048 memory=0 CPUtime=1911.26 cores=0-7
/proc/7594/task/7611/stat : 7611 (java) R 7566 7566 7522 0 -1 4202560 1122 317595 0 0 24 0 190926 176 20 0 22 0 418514350 8481841152 31801 33554432000 4194304 4196468 140735806352208 139804402493680 139805582008922 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13697024 140735806358520 140735806358678 140735806358678 140735806361551 0
[pid=7594/tid=7612] ppid=7566 vsize=8283048 memory=0 CPUtime=1911.02 cores=0-7
/proc/7594/task/7612/stat : 7612 (java) S 7566 7566 7522 0 -1 1077944384 3 317595 0 0 0 0 190926 176 20 0 22 0 418514351 8481841152 31801 33554432000 4194304 4196468 140735806352208 139803064527712 139805581997781 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13697024 140735806358520 140735806358678 140735806358678 140735806361551 0
[pid=7594/tid=7613] ppid=7566 vsize=8283048 memory=0 CPUtime=1911.19 cores=0-7
/proc/7594/task/7613/stat : 7613 (java) S 7566 7566 7522 0 -1 1077944384 19 317595 0 0 13 4 190926 176 20 0 22 0 418514351 8481841152 31801 33554432000 4194304 4196468 140735806352208 139804401441584 139805581998722 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13697024 140735806358520 140735806358678 140735806358678 140735806361551 0
[pid=7594/tid=7615] ppid=7566 vsize=8283048 memory=0 CPUtime=1911.02 cores=0-7
/proc/7594/task/7615/stat : 7615 (java) S 7566 7566 7522 0 -1 1077944384 24 317595 0 0 0 0 190926 176 20 0 22 0 418514418 8481841152 31801 33554432000 4194304 4196468 140735806352208 139805010973712 139805581998722 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13697024 140735806358520 140735806358678 140735806358678 140735806361551 0
[pid=7594/tid=7619] ppid=7566 vsize=8283048 memory=0 CPUtime=1911.02 cores=0-7
/proc/7594/task/7619/stat : 7619 (java) S 7566 7566 7522 0 -1 1077944384 11 317595 0 0 0 0 190926 176 20 0 22 0 418514420 8481841152 31801 33554432000 4194304 4196468 140735806352208 139802125001776 139805581998722 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13697024 140735806358520 140735806358678 140735806358678 140735806361551 0
Current children cumulated CPU time: 1985.9 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 128680 KiB

Child status: 0
Real time (s): 294.369
CPU time (s): 1986.04
CPU user time (s): 1979.88
CPU system time (s): 6.16406
CPU usage (%): 674.677
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 6616056

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1979.88
system time used= 6.16406
maximum resident set size= 6614912
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 421089
page faults= 0
swaps= 0
block input operations= 0
block output operations= 7008
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 95375
involuntary context switches= 20806


# summary of solver processes directly reported to runsolver:
#   pid: 7566
#   total CPU time (s): 1986.04
#   total CPU user time (s): 1979.88
#   total CPU system time (s): 6.16406

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.02083 second user time and 3.52002 second system time

The end

Launcher Data 

Begin job on node143 at 2019-09-14 03:47:56
IDJOB=4392414
IDBENCH=126080
IDSOLVER=2838
FILE ID=node143/4392414-1568425717
RUNJOBID= node143-1568425676-7549
PBS_JOBID= 21702285
Free space on /tmp= 59240 MiB

SOLVER NAME= Fun-sCOP order+ManyGlucose (2019-06-15)
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 -order DIR/manyglucose-4.1-27_release -model:-nthreads=NBCORE:-maxmemory=20000:-lit-scans=6000000 TMPDIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4392414-1568425717/watcher-4392414-1568425717 -o /tmp/evaluation-result-4392414-1568425717/solver-4392414-1568425717 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node143-1568425676-7549 --watchdog 2580  HOME/scop.sh 22g HOME/scop.jar -order HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4392414-1568425717.xml

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

MD5SUM BENCH= 38fbb435e56fa73fec05cbb523a31b1b
RANDOM SEED=94755750

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        24271356 kB
MemAvailable:   31755512 kB
Buffers:          202744 kB
Cached:          7571120 kB
SwapCached:            8 kB
Active:          2171972 kB
Inactive:        5651540 kB
Active(anon):       4168 kB
Inactive(anon):   144860 kB
Active(file):    2167804 kB
Inactive(file):  5506680 kB
Unevictable:      107444 kB
Mlocked:          107444 kB
SwapTotal:      67108860 kB
SwapFree:       67108848 kB
Dirty:             53436 kB
Writeback:             0 kB
AnonPages:        156988 kB
Mapped:            48364 kB
Shmem:             90756 kB
Slab:             267040 kB
SReclaimable:     238132 kB
SUnreclaim:        28908 kB
KernelStack:        3312 kB
PageTables:         4896 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     498688 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     71680 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      132480 kB
DirectMap2M:    33413120 kB

Free space on /tmp at the end= 59220 MiB
End job on node143 at 2019-09-14 03:52:51