Trace number 4405274

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-09-22)SAT 2088.21 313.23

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-4714-serial-file.bin HOME/instance-4405274-1569335979.xml
0.75/0.62	
0.75/0.62	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
0.75/0.62	
0.75/0.65	c BEGIN-Prog: Tue Sep 24 16:38:58 CEST 2019
0.75/0.65	c PID: 4717
0.75/0.65	c IP: 172.20.3.116
0.75/0.65	c HOST: node116.alineos.net
0.75/0.65	c (0,0) Parsing Begin
7.49/5.79	c (5,5) Parsing End
7.49/5.80	c (5,5) CSP: 25 int (0 aux), 0 bool (0 aux), 56 ctr, max domain size 5
7.49/5.80	c (5,5) Heap : 3943 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
7.49/5.80	c (5,5) Constraint Name Generate Begin
7.60/5.80	c (5,5) Ctr:HOME/instance-4405274-1569335979.xml,ExtensionSupport:Var
7.60/5.80	c (5,5) Constraint Name Generate End
7.60/5.80	c (5,5) Heap : 3943 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
7.60/5.80	c (5,5) CSP to CSPinCNF Begin
21.45/11.20	c (10,10) translated 6 (10%) constraints
29.25/16.07	c (15,15) translated 12 (20%) constraints
34.33/20.00	c (19,19) translated 17 (30%) constraints
40.49/25.15	c (24,24) translated 23 (40%) constraints
44.47/28.92	c (28,27) translated 28 (50%) constraints
51.53/34.35	c (33,33) translated 34 (60%) constraints
56.70/39.00	c (38,37) translated 40 (70%) constraints
60.66/42.81	c (42,41) translated 45 (80%) constraints
66.53/47.85	c (47,46) translated 51 (90%) constraints
70.23/51.55	c (50,50) translated 56 (100%) constraints
71.05/52.35	c (51,51) ===========================================
71.05/52.36	c (51,51) Order
71.05/52.36	c (51,51) ===========================================
72.25/52.82	c (52,51) translated 14635 (10%) constraints
72.57/53.19	c (52,51) translated 29269 (20%) constraints
73.01/53.56	c (52,52) translated 43904 (30%) constraints
73.41/53.93	c (53,52) translated 58538 (40%) constraints
73.81/54.30	c (53,53) translated 73172 (50%) constraints
74.11/54.67	c (54,53) translated 87807 (60%) constraints
74.51/55.04	c (54,53) translated 102441 (70%) constraints
74.91/55.40	c (54,54) translated 117076 (80%) constraints
75.21/55.78	c (55,54) translated 131710 (90%) constraints
75.63/56.15	c (55,54) translated 146344 (100%) constraints
75.63/56.15	c (55,54) CSP to CSPinCNF End
75.63/56.16	c (55,54) CSP: 25 int (0 aux), 14000 bool (14000 aux), 146344 ctr, max domain size 5
75.63/56.16	c (55,54) Heap : 5832 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB)
75.63/56.16	c (55,54) CSPinCNF Propagation Begin
78.31/57.22	c (56,55) 0 values, 71 unsatisfiable literals, and 21 valid clauses are removed
78.31/57.22	c (56,55) CSPinCNF Propagation End
78.31/57.22	c (56,55) CSP: 25 int (0 aux), 14000 bool (14000 aux), 146323 ctr, max domain size 5
78.31/57.22	c (56,55) Heap : 1111 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB)
78.31/57.23	c (56,55) Simplify CSPinCNF Begin
78.79/57.59	c (56,56) Simplify CSPinCNF End
78.79/57.59	c (56,56) CSP: 25 int (0 aux), 14000 bool (14000 aux), 146323 ctr, max domain size 5
78.79/57.59	c (56,56) Heap : 1333 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB)
78.79/57.59	c (56,56) Calculate Precise Domain Begin
78.79/57.59	c (56,56) 0 values are removed by re-calculation
78.79/57.59	c (56,56) Calculate Precise Domain End
78.79/57.59	c (56,56) CSP: 25 int (0 aux), 14000 bool (14000 aux), 146323 ctr, max domain size 5
78.79/57.59	c (56,56) Heap : 1333 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB)
78.79/57.59	c (56,56) CSPinCNF to SatSolver Begin
80.40/58.04	c (57,56) 14633 (10 %) CSP clauses are encoded (0 SAT variables, 14707 SAT clauses)
80.63/58.21	c (57,56) 29265 (20 %) CSP clauses are encoded (0 SAT variables, 29339 SAT clauses)
80.74/58.38	c (57,57) 43897 (30 %) CSP clauses are encoded (0 SAT variables, 43971 SAT clauses)
80.94/58.54	c (57,57) 58530 (40 %) CSP clauses are encoded (0 SAT variables, 58604 SAT clauses)
81.14/58.71	c (58,57) 73162 (50 %) CSP clauses are encoded (0 SAT variables, 73236 SAT clauses)
81.24/58.87	c (58,57) 87794 (60 %) CSP clauses are encoded (0 SAT variables, 87868 SAT clauses)
81.46/59.03	c (58,57) 102427 (70 %) CSP clauses are encoded (0 SAT variables, 102501 SAT clauses)
81.56/59.20	c (58,57) 117059 (80 %) CSP clauses are encoded (0 SAT variables, 117133 SAT clauses)
81.75/59.36	c (58,57) 131691 (90 %) CSP clauses are encoded (0 SAT variables, 131765 SAT clauses)
81.95/59.52	c (58,58) 146323 (100 %) CSP clauses are encoded (0 SAT variables, 146397 SAT clauses)
81.95/59.52	c (58,58) CSPinCNF to SatSolver End
81.95/59.52	c (58,58) Heap : 2669 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
81.95/59.52	c (58,58) 14097 bool, 146398 clause
81.95/59.52	c (58,58) Export Begin
82.09/59.62	c (58,58) Export to HOME/scop-4714-serial-file.bin
82.09/59.62	c (58,58) Export End
82.09/59.62	c (59,58) Export File Size: 0.01 MB
82.09/59.62	c (59,58) 5,5,55,56,56,56,58,STOP-AFTER(DIMACS)
82.09/59.62	c END-Prog: Tue Sep 24 16:39:57 CEST 2019
82.09/59.67	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-4714-serial-file.bin
82.78/60.18	c (0,0) Read Serial File Begin
82.78/60.18	c (0,0) HOME/scop-4714-serial-file.bin
83.18/60.41	c (0,0) Read Serial File End
83.18/60.42	
83.18/60.42	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
83.18/60.42	(Solving Process)
83.18/60.42	
83.18/60.45	c BEGIN-Prog: Tue Sep 24 16:39:58 CEST 2019
83.18/60.45	c PID: 4740
83.18/60.45	c IP: 172.20.3.116
83.18/60.45	c HOST: node116.alineos.net
83.18/60.45	c (0,0) SatSolver.solve Begin
83.18/60.45	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4405274-1569335979.xml-scop-4717.cnf
83.18/60.48	c (0,0) c
83.18/60.48	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)
83.18/60.48	c (0,0) c
83.18/60.48	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
83.18/60.48	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
83.18/60.48	c (0,0) c ========================================[ Problem Statistics ]===========================================
83.18/60.48	c (0,0) c |                                                                                                       |
83.43/60.54	c (0,0) c |  Number of variables:         14097                                                                   |
83.43/60.54	c (0,0) c |  Number of clauses:          146398                                                                   |
83.43/60.54	c (0,0) c |  Parse time:                   0.06 s                                                                 |
83.43/60.54	c (0,0) c |                                                                                                       |
83.48/60.64	c (0,0) c |  Simplification time:          0.10 s                                                                 |
83.48/60.64	c (0,0) c |                                                                                                       |
83.48/60.64	c (0,0) c |  Generating clones                                                                                    |
83.48/60.69	c (0,0) c |  all clones generated. Memory =   121.02Mb.                                                           |
83.48/60.69	c (0,0) c ========================================================================================================|
83.48/60.69	c (0,0) c
83.48/60.69	c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
83.48/60.69	c (0,0) c
83.48/60.69	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
83.48/60.69	c (0,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
83.48/60.69	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
83.48/60.69	c (0,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
83.48/60.69	c (0,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
83.48/60.69	c (0,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
83.48/60.69	c (0,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
83.48/60.70	c (0,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
83.48/60.70	c (0,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
83.48/60.70	c (0,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
83.48/60.70	c (0,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
83.48/60.70	c (0,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
83.48/60.70	c (0,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
83.48/60.70	c (0,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
83.48/60.70	c (0,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
83.48/60.70	c (0,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
83.48/60.70	c (0,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
83.48/60.70	c (0,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
83.48/60.70	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
321.75/90.70	c (30,0) c
321.75/90.70	c (30,0) c |------------------------------------------------------------------------------------------------------------------------|
321.75/90.70	c (30,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
321.75/90.70	c (30,0) c |------------------------------------------------------------------------------------------------------------------------|
321.75/90.70	c (30,0) c |  0 |     54 |      55202 |      42326 |    45722 |    16239 |     7426 |    47676 |     2816 |      198 |  20 |  0.000 |
321.75/90.70	c (30,0) c |  1 |     45 |      54540 |      41915 |    46781 |    15835 |     7394 |    46837 |     2869 |      200 |  20 |  0.000 |
321.75/90.70	c (30,0) c |  2 |     28 |      52562 |      40647 |    42181 |    14560 |     7709 |    31521 |     2110 |      199 |  20 |  0.000 |
321.75/90.70	c (30,0) c |  3 |     22 |      52088 |      40978 |    41035 |    14892 |     7400 |    45102 |     1942 |      200 |  20 |  0.000 |
321.75/90.70	c (30,0) c |  4 |     34 |      50748 |      39620 |    43736 |    13528 |     7516 |    47345 |     2279 |      198 |  20 |  0.000 |
321.75/90.70	c (30,0) c |  5 |     27 |      52753 |      41213 |    42930 |    15123 |     7812 |    44969 |     2337 |      197 |  20 |  0.000 |
321.75/90.70	c (30,0) c |  6 |     46 |      54190 |      41113 |    45178 |    15024 |     7516 |    39175 |     2643 |      201 |  20 |  0.000 |
321.75/90.70	c (30,0) c |  7 |     45 |      54989 |      41870 |    46373 |    15777 |     7618 |    44131 |     2438 |      201 |  20 |  0.000 |
321.75/90.70	c (30,0) c 
321.75/90.70	c (30,0) c synthesis      329682 conflicts   627707075 propagations     1388 conflicts/sec  2642739 propagations/sec
321.75/90.70	c (30,0) c real: 30.2189 s, cpu: 237.521 s, memory: 708.87 Mb
560.96/120.70	c (60,0) c
560.96/120.70	c (60,0) c |------------------------------------------------------------------------------------------------------------------------|
560.96/120.70	c (60,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
560.96/120.70	c (60,0) c |------------------------------------------------------------------------------------------------------------------------|
560.96/120.70	c (60,0) c |  0 |     75 |      96600 |      76759 |    54777 |    23198 |    12520 |    83365 |     5741 |      389 |  20 |  0.000 |
560.96/120.70	c (60,0) c |  1 |     60 |      96366 |      76427 |    55670 |    22868 |    12522 |    81547 |     6042 |      393 |  20 |  0.000 |
560.96/120.70	c (60,0) c |  2 |     44 |      94675 |      75593 |    50713 |    22031 |    12726 |    79808 |     5271 |      392 |  20 |  0.000 |
560.96/120.70	c (60,0) c |  3 |     31 |      93859 |      75894 |    52350 |    22334 |    12742 |    84909 |     4882 |      394 |  20 |  0.000 |
560.96/120.70	c (60,0) c |  4 |     54 |      91919 |      73314 |    53906 |    19753 |    12505 |    77081 |     5037 |      385 |  20 |  0.000 |
560.96/120.70	c (60,0) c |  5 |     39 |      90956 |      73280 |    51892 |    19716 |    12553 |    71526 |     5427 |      382 |  20 |  0.000 |
560.96/120.70	c (60,0) c |  6 |     79 |      97615 |      76110 |    54944 |    22542 |    12919 |    85042 |     5419 |      391 |  20 |  0.000 |
560.96/120.70	c (60,0) c |  7 |     54 |      96082 |      76234 |    54361 |    22671 |    12893 |    84617 |     5091 |      393 |  20 |  0.000 |
560.96/120.70	c (60,0) c 
560.96/120.70	c (60,0) c synthesis      603611 conflicts  1178206570 propagations     1266 conflicts/sec  2471926 propagations/sec
560.96/120.70	c (60,0) c real: 60.2189 s, cpu: 476.635 s, memory: 708.87 Mb
800.15/150.70	c (90,0) c
800.15/150.70	c (90,0) c |------------------------------------------------------------------------------------------------------------------------|
800.15/150.70	c (90,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
800.15/150.70	c (90,0) c |------------------------------------------------------------------------------------------------------------------------|
800.15/150.70	c (90,0) c |  0 |     90 |     134790 |     109150 |    60719 |    37975 |    17051 |   114399 |     8470 |      578 |  20 |  0.000 |
800.15/150.70	c (90,0) c |  1 |     68 |     130953 |     106147 |    59862 |    34981 |    16564 |   113811 |     8140 |      578 |  20 |  0.000 |
800.15/150.70	c (90,0) c |  2 |     72 |     133251 |     107873 |    58188 |    36695 |    17042 |   113397 |     8091 |      584 |  20 |  0.000 |
800.15/150.70	c (90,0) c |  3 |     31 |     130480 |     108135 |    57632 |    36957 |    17152 |    84909 |     6607 |      588 |  20 |  0.000 |
800.15/150.70	c (90,0) c |  4 |     59 |     128301 |     104384 |    58077 |    33205 |    16325 |   109731 |     6707 |      568 |  20 |  0.000 |
800.15/150.70	c (90,0) c |  5 |     41 |     126912 |     104378 |    55907 |    33198 |    16309 |   113028 |     6861 |      572 |  20 |  0.000 |
800.15/150.70	c (90,0) c |  6 |    105 |     136147 |     108333 |    60602 |    37150 |    17213 |   107043 |     7947 |      580 |  20 |  0.000 |
800.15/150.70	c (90,0) c |  7 |     65 |     132380 |     107404 |    58577 |    36233 |    16947 |   110925 |     7498 |      579 |  20 |  0.000 |
800.15/150.70	c (90,0) c 
800.15/150.70	c (90,0) c synthesis      855804 conflicts  1702917544 propagations     1196 conflicts/sec  2379465 propagations/sec
800.15/150.70	c (90,0) c real: 90.2189 s, cpu: 715.673 s, memory: 708.87 Mb
1038.39/180.70	c (120,0) c
1038.39/180.70	c (120,0) c |------------------------------------------------------------------------------------------------------------------------|
1038.39/180.70	c (120,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1038.39/180.70	c (120,0) c |------------------------------------------------------------------------------------------------------------------------|
1038.39/180.70	c (120,0) c |  0 |    104 |     168339 |     137862 |    64091 |    23680 |    20621 |   133600 |    10446 |      754 |  20 |  0.000 |
1038.39/180.70	c (120,0) c |  1 |     82 |     165435 |     135663 |    63134 |    44291 |    20333 |   135271 |     9977 |      767 |  20 |  0.000 |
1038.39/180.70	c (120,0) c |  2 |     75 |     164434 |     135094 |    61183 |    43710 |    20534 |   129503 |     9752 |      759 |  20 |  0.000 |
1038.39/180.70	c (120,0) c |  3 |     35 |     159183 |     133552 |    60439 |    42165 |    19901 |   137980 |     7863 |      750 |  20 |  0.000 |
1038.39/180.70	c (120,0) c |  4 |     62 |     164257 |     135170 |    61452 |    43789 |    20153 |   121305 |     8084 |      758 |  20 |  0.000 |
1038.39/180.70	c (120,0) c |  5 |     56 |     164201 |     136099 |    60955 |    44720 |    19614 |   137896 |     9701 |      760 |  20 |  0.000 |
1038.39/180.70	c (120,0) c |  6 |    119 |     170596 |     138012 |    63732 |    23827 |    20524 |   140365 |     9848 |      770 |  20 |  0.000 |
1038.39/180.70	c (120,0) c |  7 |     77 |     166965 |     136969 |    62254 |    45592 |    20598 |   134993 |     9590 |      760 |  20 |  0.000 |
1038.39/180.70	c (120,0) c 
1038.39/180.70	c (120,0) c synthesis     1088421 conflicts  2186597401 propagations     1141 conflicts/sec  2292310 propagations/sec
1038.39/180.70	c (120,0) c real: 120.219 s, cpu: 953.884 s, memory: 708.87 Mb
1277.58/210.70	c (150,0) c
1277.58/210.70	c (150,0) c |------------------------------------------------------------------------------------------------------------------------|
1277.58/210.70	c (150,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1277.58/210.70	c (150,0) c |------------------------------------------------------------------------------------------------------------------------|
1277.58/210.70	c (150,0) c |  0 |    108 |     201447 |     167045 |    66885 |    27468 |    23803 |   145050 |    12340 |      942 |  20 |  0.000 |
1277.58/210.70	c (150,0) c |  1 |    104 |     199590 |     164435 |    66145 |    50254 |    23082 |   160815 |    12173 |      950 |  20 |  0.000 |
1277.58/210.70	c (150,0) c |  2 |     76 |     195447 |     162871 |    63190 |    48690 |    22987 |   162426 |    10648 |      949 |  20 |  0.000 |
1277.58/210.70	c (150,0) c |  3 |     72 |     195787 |     163799 |    64851 |    49611 |    22961 |   160832 |    10444 |      937 |  20 |  0.000 |
1277.58/210.70	c (150,0) c |  4 |     66 |     196085 |     162823 |    64067 |    48645 |    23241 |   157665 |    10111 |      933 |  20 |  0.000 |
1277.58/210.70	c (150,0) c |  5 |     72 |     198471 |     165297 |    64284 |    25712 |    23100 |   158223 |    11860 |      942 |  20 |  0.000 |
1277.58/210.70	c (150,0) c |  6 |    162 |     204846 |     166648 |    67148 |    27060 |    23828 |   160380 |    11715 |      951 |  20 |  0.000 |
1277.58/210.70	c (150,0) c |  7 |     86 |     201426 |     166374 |    65356 |    26793 |    24148 |   160399 |    11874 |      944 |  20 |  0.000 |
1277.58/210.70	c (150,0) c 
1277.58/210.70	c (150,0) c synthesis     1319293 conflicts  2663369476 propagations     1106 conflicts/sec  2232506 propagations/sec
1277.58/210.70	c (150,0) c real: 150.219 s, cpu: 1193 s, memory: 708.87 Mb
1516.55/240.70	c (180,0) c
1516.55/240.70	c (180,0) c |------------------------------------------------------------------------------------------------------------------------|
1516.55/240.70	c (180,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1516.55/240.70	c (180,0) c |------------------------------------------------------------------------------------------------------------------------|
1516.55/240.70	c (180,0) c |  0 |    108 |     233342 |     195436 |    68586 |    55859 |    26835 |   145050 |    13366 |     1136 |  20 |  0.000 |
1516.55/240.70	c (180,0) c |  1 |    123 |     232559 |     192860 |    69051 |    53279 |    26266 |   184089 |    14023 |     1136 |  20 |  0.000 |
1516.55/240.70	c (180,0) c |  2 |     88 |     226652 |     189531 |    66168 |    49948 |    26095 |   175955 |    12339 |     1121 |  20 |  0.000 |
1516.55/240.70	c (180,0) c |  3 |     87 |     230493 |     193810 |    67454 |    54219 |    25786 |   177329 |    12556 |     1127 |  20 |  0.000 |
1516.55/240.70	c (180,0) c |  4 |     72 |     228941 |     191072 |    67185 |    51489 |    26429 |   174598 |    11870 |     1116 |  20 |  0.000 |
1516.55/240.70	c (180,0) c |  5 |     97 |     230907 |     193277 |    66866 |    53692 |    26217 |   182366 |    13855 |     1125 |  20 |  0.000 |
1516.55/240.70	c (180,0) c |  6 |    175 |     236255 |     193806 |    69465 |    54218 |    26802 |   178732 |    13429 |     1121 |  20 |  0.000 |
1516.55/240.70	c (180,0) c |  7 |     90 |     231653 |     193171 |    67380 |    53590 |    26995 |   181899 |    13377 |     1126 |  20 |  0.000 |
1516.55/240.70	c (180,0) c 
1516.55/240.70	c (180,0) c synthesis     1542963 conflicts  3129781380 propagations     1078 conflicts/sec  2185713 propagations/sec
1516.55/240.70	c (180,0) c real: 180.219 s, cpu: 1431.93 s, memory: 708.87 Mb
1755.32/270.70	c (210,0) c
1755.32/270.70	c (210,0) c |------------------------------------------------------------------------------------------------------------------------|
1755.32/270.70	c (210,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1755.32/270.70	c (210,0) c |------------------------------------------------------------------------------------------------------------------------|
1755.32/270.70	c (210,0) c |  0 |    108 |     260933 |     220287 |    69752 |    52703 |    29179 |   145050 |    14028 |     1309 |  20 |  0.000 |
1755.32/270.70	c (210,0) c |  1 |    144 |     262576 |     218715 |    70779 |    51129 |    29049 |   199212 |    15472 |     1307 |  20 |  0.000 |
1755.32/270.70	c (210,0) c |  2 |     90 |     257379 |     216511 |    68399 |    48929 |    28669 |   189743 |    13928 |     1304 |  20 |  0.000 |
1755.32/270.70	c (210,0) c |  3 |     99 |     263414 |     222492 |    69660 |    54916 |    28988 |   202274 |    14651 |     1316 |  20 |  0.000 |
1755.32/270.70	c (210,0) c |  4 |     75 |     261200 |     219280 |    69565 |    51705 |    28777 |   191607 |    13296 |     1303 |  20 |  0.000 |
1755.32/270.70	c (210,0) c |  5 |    101 |     262563 |     220831 |    69212 |    53247 |    29248 |   200971 |    15525 |     1305 |  20 |  0.000 |
1755.32/270.70	c (210,0) c |  6 |    175 |     267274 |     220594 |    70838 |    53010 |    29988 |   178732 |    14525 |     1303 |  20 |  0.000 |
1755.32/270.70	c (210,0) c |  7 |     99 |     262456 |     220098 |    69565 |    52518 |    29980 |   193769 |    14806 |     1306 |  20 |  0.000 |
1755.32/270.70	c (210,0) c 
1755.32/270.70	c (210,0) c synthesis     1758809 conflicts  3582048122 propagations     1053 conflicts/sec  2144164 propagations/sec
1755.32/270.70	c (210,0) c real: 210.219 s, cpu: 1670.6 s, memory: 708.87 Mb
1990.10/300.70	c (240,0) c
1990.10/300.70	c (240,0) c |------------------------------------------------------------------------------------------------------------------------|
1990.10/300.70	c (240,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1990.10/300.70	c (240,0) c |------------------------------------------------------------------------------------------------------------------------|
1990.10/300.70	c (240,0) c |  0 |    108 |     289231 |     245645 |    71029 |    47461 |    31466 |   145050 |    14902 |     1486 |  20 |  0.000 |
1990.10/300.70	c (240,0) c |  1 |    164 |     289478 |     241941 |    72335 |    43750 |    31710 |   211513 |    16962 |     1466 |  20 |  0.000 |
1990.10/300.70	c (240,0) c |  2 |     91 |     286374 |     242335 |    69969 |    44148 |    30820 |   218630 |    15217 |     1481 |  20 |  0.000 |
1990.10/300.70	c (240,0) c |  3 |    128 |     292124 |     247068 |    71500 |    48888 |    31101 |   219490 |    16148 |     1479 |  20 |  0.000 |
1990.10/300.70	c (240,0) c |  4 |     82 |     291847 |     246373 |    71514 |    48195 |    31272 |   219670 |    15318 |     1486 |  20 |  0.000 |
1990.10/300.70	c (240,0) c |  5 |    103 |     291679 |     246667 |    70932 |    48483 |    31722 |   203805 |    16875 |     1486 |  20 |  0.000 |
1990.10/300.70	c (240,0) c |  6 |    180 |     298407 |     247648 |    72516 |    49459 |    32872 |   217051 |    15942 |     1486 |  20 |  0.000 |
1990.10/300.70	c (240,0) c |  7 |    110 |     291902 |     245897 |    71364 |    47712 |    32551 |   217681 |    16404 |     1486 |  20 |  0.000 |
1990.10/300.70	c (240,0) c 
1990.10/300.70	c (240,0) c synthesis     1963574 conflicts  4008739073 propagations     1031 conflicts/sec  2104231 propagations/sec
1990.10/300.70	c (240,0) c real: 240.219 s, cpu: 1905.08 s, memory: 708.87 Mb
2087.71/313.07	c (252,0) c
2087.71/313.07	c (252,0) c real time : 252.597 s
2087.71/313.07	c (252,0) c cpu time  : 2001.97 s
2087.71/313.07	c (252,0) c
2087.71/313.07	c (252,0) c
2087.71/313.07	c (252,0) c
2087.71/313.07	c (252,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
2087.71/313.07	c (252,0) c
2087.71/313.07	c (252,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
2087.71/313.07	c (252,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
2087.71/313.07	c (252,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
2087.71/313.07	c (252,0) c | Conflicts     |         2042615 |     255321 |     251643 |     251698 |     256446 |     256196 |     257295 |     258210 |     255806 |
2087.71/313.07	c (252,0) c | Decisions     |         2420929 |     300269 |     300375 |     296881 |     302576 |     302937 |     304043 |     310777 |     303071 |
2087.71/313.07	c (252,0) c | Propagations  |      4175556028 |  512300211 |  516570814 |  522930263 |  518872068 |  528450780 |  522878707 |  527217422 |  526335763 |
2087.71/313.07	c (252,0) c | ReduceDBs     |             104 |         13 |         13 |         13 |         13 |         13 |         13 |         13 |         13 |
2087.71/313.07	c (252,0) c | SimpDBs       |               8 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |
2087.71/313.07	c (252,0) c | Restarts      |             997 |        116 |        164 |         91 |        128 |         84 |        112 |        192 |        110 |
2087.71/313.07	c (252,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
2087.71/313.07	c (252,0) c | PropBinClauses|      1100129880 |  138378904 |  136694779 |  137224410 |  138503908 |  136545239 |  137177415 |  137744662 |  137860563 |
2087.71/313.07	c (252,0) c | PropPreBlocker|     44259479555 | 5516140480 | 5469083655 | 5537960309 | 5509556807 | 5553644509 | 5560193412 | 5555363797 | 5557536586 |
2087.71/313.07	c (252,0) c | PropNotBlocker|     15312803541 | 1946808033 | 1906536870 | 1900013331 | 1901881614 | 1908521269 | 1918629534 | 1910356525 | 1920056365 |
2087.71/313.07	c (252,0) c | LitFullScans  |     74525370825 | 9330655978 | 9228151549 | 9300650215 | 9270661681 | 9348770482 | 9349075653 | 9348740576 | 9348664691 |
2087.71/313.07	c (252,0) c | LitScanFracts |         5739001 |     637493 |     672460 |     633811 |     657564 |     715671 |    1074340 |     687021 |     660641 |
2087.71/313.08	c (252,0) c | DecisionLevel0|             997 |        116 |        164 |         91 |        128 |         84 |        112 |        192 |        110 |
2087.71/313.08	c (252,0) c | Periods       |           12419 |       1555 |       1537 |       1550 |       1545 |       1558 |       1558 |       1558 |       1558 |
2087.71/313.08	c (252,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
2087.71/313.08	c (252,0) c | Avg_Trail     |                 |       6667 |       6713 |       6779 |       6712 |       6741 |       6689 |       6708 |       6714 |
2087.71/313.08	c (252,0) c | Avg_DL        |                 |         15 |         16 |         15 |         16 |         17 |         16 |         16 |         16 |
2087.71/313.08	c (252,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
2087.71/313.08	c (252,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
2087.71/313.08	c (252,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
2087.71/313.08	c (252,0) c | Exported      |          260302 |      32111 |      32893 |      31568 |      31909 |      32186 |      32549 |      33706 |      33380 |
2087.71/313.08	c (252,0) c | Imported      |         1766266 |     224150 |     211513 |     218630 |     219490 |     224238 |     225775 |     224789 |     217681 |
2087.71/313.08	c (252,0) c | Good          |            2663 |        340 |        325 |        323 |        324 |        344 |        340 |        327 |        340 |
2087.71/313.08	c (252,0) c | Purge         |         1763603 |     223810 |     211188 |     218307 |     219166 |     223894 |     225435 |     224462 |     217341 |
2087.71/313.08	c (252,0) c | Promoted      |          133309 |      15844 |      17329 |      15811 |      16647 |      16011 |      17583 |      16996 |      17088 |
2087.71/313.08	c (252,0) c | Remove_Imp    |         1056093 |      94083 |     147875 |     128364 |     146682 |     130270 |     142194 |     122442 |     144183 |
2087.71/313.08	c (252,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
2087.71/313.08	c (252,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
2087.71/313.08	c (252,0) c | Unaries       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
2087.71/313.08	c (252,0) c | Binaries      |                 |         43 |         51 |         57 |         56 |         39 |         44 |         57 |         39 |
2087.71/313.08	c (252,0) c | Glues         |                 |       1196 |       1228 |       1140 |       1166 |       1170 |       1184 |       1273 |       1243 |
2087.71/313.08	c (252,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
2087.71/313.08	c (252,0) c | Orig_Seen     |            49 % |      71721 |      72787 |      70449 |      72075 |      72174 |      71558 |      73226 |      71971 |
2087.71/313.08	c (252,0) c | Diff Orig seen|                 | -     1066 |      X     | -     2338 | -      712 | -      613 | -     1229 |        439 | -      816 |
2087.71/313.08	c (252,0) c | Hamming       |            48 % |       6477 |      X     |       6683 |       6865 |       6573 |       6989 |       7008 |       6867 |
2087.71/313.08	c (252,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
2087.71/313.08	c (252,0) c | RunningTime   |                 |  251.4 100%|  252.0 100%|  250.4  99%|  250.4  99%|  252.0 100%|  251.0 100%|  250.8  99%|  251.9 100%|
2087.71/313.08	c (252,0) c | WaitingTime   |                 |    0.8   0%|    0.1   0%|    1.8   1%|    1.8   1%|    0.2   0%|    1.1   0%|    1.3   1%|    0.2   0%|
2087.71/313.08	c (252,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%|
2087.71/313.08	c (252,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%|
2087.71/313.08	c (252,0) c | SolvingTime   |                 |  252.3     |  252.2     |  252.3     |  252.3     |  252.2     |  252.2     |  252.2     |  252.3     |
2087.71/313.08	c (252,0) c | PropagationTim|                 |  240.6  95%|  240.5  95%|  238.9  95%|  239.6  95%|  239.4  95%|  239.3  95%|  238.9  95%|  238.2  94%|
2087.71/313.08	c (252,0) c | AnalysisTime  |                 |    5.9   2%|    6.0   2%|    7.6   3%|    6.7   3%|    7.0   3%|    7.1   3%|    7.4   3%|    8.3   3%|
2087.71/313.08	c (252,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%|
2087.71/313.08	c (252,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%|
2087.71/313.08	c (252,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%|
2087.71/313.08	c (252,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%|
2087.71/313.08	c (252,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
2087.71/313.08	c (252,0) c
2087.71/313.08	c (252,0) c
2087.71/313.08	c (252,0) c Threads : 8
2087.71/313.08	c (252,0) c Winner : 1
2087.71/313.08	c (252,0) c Conflicts_0 : 255321
2087.71/313.08	c (252,0) c Conflicts_1 : 251643
2087.71/313.08	c (252,0) c Conflicts_2 : 251698
2087.71/313.08	c (252,0) c Conflicts_3 : 256446
2087.71/313.08	c (252,0) c Conflicts_4 : 256196
2087.71/313.08	c (252,0) c Conflicts_5 : 257295
2087.71/313.08	c (252,0) c Conflicts_6 : 258210
2087.71/313.08	c (252,0) c Conflicts_7 : 255806
2087.71/313.08	c (252,0) c Conflicts_total : 2042615
2087.71/313.08	c (252,0) c Conflicts_winner : 251643
2087.71/313.08	c (252,0) c Decisions_0 : 300269
2087.71/313.08	c (252,0) c Decisions_1 : 300375
2087.71/313.08	c (252,0) c Decisions_2 : 296881
2087.71/313.08	c (252,0) c Decisions_3 : 302576
2087.71/313.08	c (252,0) c Decisions_4 : 302937
2087.71/313.08	c (252,0) c Decisions_5 : 304043
2087.71/313.08	c (252,0) c Decisions_6 : 310777
2087.71/313.08	c (252,0) c Decisions_7 : 303071
2087.71/313.08	c (252,0) c Decisions_total : 2420929
2087.71/313.08	c (252,0) c Decisions_winner : 300375
2087.71/313.08	c (252,0) c Propagations_0 : 512300211
2087.71/313.08	c (252,0) c Propagations_1 : 516570814
2087.71/313.08	c (252,0) c Propagations_2 : 522930263
2087.71/313.08	c (252,0) c Propagations_3 : 518872068
2087.71/313.08	c (252,0) c Propagations_4 : 528450780
2087.71/313.08	c (252,0) c Propagations_5 : 522878707
2087.71/313.08	c (252,0) c Propagations_6 : 527217422
2087.71/313.08	c (252,0) c Propagations_7 : 526335763
2087.71/313.08	c (252,0) c Propagations_total : 4175556028
2087.71/313.08	c (252,0) c Propagations_winner : 516570814
2087.71/313.08	c (252,0) c ReduceDBs_0 : 13
2087.71/313.08	c (252,0) c ReduceDBs_1 : 13
2087.71/313.08	c (252,0) c ReduceDBs_2 : 13
2087.71/313.08	c (252,0) c ReduceDBs_3 : 13
2087.71/313.08	c (252,0) c ReduceDBs_4 : 13
2087.71/313.08	c (252,0) c ReduceDBs_5 : 13
2087.71/313.08	c (252,0) c ReduceDBs_6 : 13
2087.71/313.08	c (252,0) c ReduceDBs_7 : 13
2087.71/313.08	c (252,0) c ReduceDBs_total : 104
2087.71/313.08	c (252,0) c ReduceDBs_winner : 13
2087.71/313.08	c (252,0) c SimpDBs_0 : 1
2087.71/313.08	c (252,0) c SimpDBs_1 : 1
2087.71/313.08	c (252,0) c SimpDBs_2 : 1
2087.71/313.08	c (252,0) c SimpDBs_3 : 1
2087.71/313.08	c (252,0) c SimpDBs_4 : 1
2087.71/313.08	c (252,0) c SimpDBs_5 : 1
2087.71/313.08	c (252,0) c SimpDBs_6 : 1
2087.71/313.08	c (252,0) c SimpDBs_7 : 1
2087.71/313.08	c (252,0) c SimpDBs_total : 8
2087.71/313.08	c (252,0) c SimpDBs_winner : 1
2087.71/313.08	c (252,0) c Restarts_0 : 116
2087.71/313.08	c (252,0) c Restarts_1 : 164
2087.71/313.08	c (252,0) c Restarts_2 : 91
2087.71/313.08	c (252,0) c Restarts_3 : 128
2087.71/313.08	c (252,0) c Restarts_4 : 84
2087.71/313.08	c (252,0) c Restarts_5 : 112
2087.71/313.08	c (252,0) c Restarts_6 : 192
2087.71/313.08	c (252,0) c Restarts_7 : 110
2087.71/313.08	c (252,0) c Restarts_total : 997
2087.71/313.08	c (252,0) c Restarts_winner : 164
2087.71/313.08	c (252,0) c ForcedImports_0 : 0
2087.71/313.08	c (252,0) c ForcedImports_1 : 0
2087.71/313.08	c (252,0) c ForcedImports_2 : 0
2087.71/313.08	c (252,0) c ForcedImports_3 : 0
2087.71/313.08	c (252,0) c ForcedImports_4 : 0
2087.71/313.08	c (252,0) c ForcedImports_5 : 0
2087.71/313.08	c (252,0) c ForcedImports_6 : 0
2087.71/313.08	c (252,0) c ForcedImports_7 : 0
2087.71/313.08	c (252,0) c ForcedImports_total : 0
2087.71/313.08	c (252,0) c ForcedImports_winner : 0
2087.71/313.08	c (252,0) c PropsBinClauses_0 : 138378904
2087.71/313.08	c (252,0) c PropsBinClauses_1 : 136694779
2087.71/313.08	c (252,0) c PropsBinClauses_2 : 137224410
2087.71/313.08	c (252,0) c PropsBinClauses_3 : 138503908
2087.71/313.08	c (252,0) c PropsBinClauses_4 : 136545239
2087.71/313.08	c (252,0) c PropsBinClauses_5 : 137177415
2087.71/313.08	c (252,0) c PropsBinClauses_6 : 137744662
2087.71/313.08	c (252,0) c PropsBinClauses_7 : 137860563
2087.71/313.08	c (252,0) c PropsBinClauses_total : 1100129880
2087.71/313.08	c (252,0) c PropsBinClauses_winner : 136694779
2087.71/313.08	c (252,0) c PropsPreBlocker_0 : 5516140480
2087.71/313.08	c (252,0) c PropsPreBlocker_1 : 5469083655
2087.71/313.08	c (252,0) c PropsPreBlocker_2 : 5537960309
2087.71/313.08	c (252,0) c PropsPreBlocker_3 : 5509556807
2087.71/313.08	c (252,0) c PropsPreBlocker_4 : 5553644509
2087.71/313.08	c (252,0) c PropsPreBlocker_5 : 5560193412
2087.71/313.08	c (252,0) c PropsPreBlocker_6 : 5555363797
2087.71/313.08	c (252,0) c PropsPreBlocker_7 : 5557536586
2087.71/313.08	c (252,0) c PropsPreBlocker_total : 44259479555
2087.71/313.08	c (252,0) c PropsPreBlocker_winner : 5469083655
2087.71/313.08	c (252,0) c PropsNotBlocker_0 : 1946808033
2087.71/313.08	c (252,0) c PropsNotBlocker_1 : 1906536870
2087.71/313.08	c (252,0) c PropsNotBlocker_2 : 1900013331
2087.71/313.08	c (252,0) c PropsNotBlocker_3 : 1901881614
2087.71/313.08	c (252,0) c PropsNotBlocker_4 : 1908521269
2087.71/313.08	c (252,0) c PropsNotBlocker_5 : 1918629534
2087.71/313.08	c (252,0) c PropsNotBlocker_6 : 1910356525
2087.71/313.08	c (252,0) c PropsNotBlocker_7 : 1920056365
2087.71/313.08	c (252,0) c PropsNotBlocker_total : 15312803541
2087.71/313.08	c (252,0) c PropsNotBlocker_winner : 1906536870
2087.71/313.08	c (252,0) c PropsLitFullScans_0 : 9330655978
2087.71/313.08	c (252,0) c PropsLitFullScans_1 : 9228151549
2087.71/313.08	c (252,0) c PropsLitFullScans_2 : 9300650215
2087.71/313.08	c (252,0) c PropsLitFullScans_3 : 9270661681
2087.71/313.08	c (252,0) c PropsLitFullScans_4 : 9348770482
2087.71/313.08	c (252,0) c PropsLitFullScans_5 : 9349075653
2087.71/313.08	c (252,0) c PropsLitFullScans_6 : 9348740576
2087.71/313.08	c (252,0) c PropsLitFullScans_7 : 9348664691
2087.71/313.08	c (252,0) c PropsLitFullScans_total : 74525370825
2087.71/313.08	c (252,0) c PropsLitFullScans_winner : 9228151549
2087.71/313.08	c (252,0) c LitScanFractions_0 : 637493
2087.71/313.08	c (252,0) c LitScanFractions_1 : 672460
2087.71/313.08	c (252,0) c LitScanFractions_2 : 633811
2087.71/313.08	c (252,0) c LitScanFractions_3 : 657564
2087.71/313.08	c (252,0) c LitScanFractions_4 : 715671
2087.71/313.08	c (252,0) c LitScanFractions_5 : 1074340
2087.71/313.08	c (252,0) c LitScanFractions_6 : 687021
2087.71/313.08	c (252,0) c LitScanFractions_7 : 660641
2087.71/313.08	c (252,0) c LitScanFractions_total : 5739001
2087.71/313.08	c (252,0) c LitScanFractions_winner : 672460
2087.71/313.08	c (252,0) c DecisionLevel0_0 : 116
2087.71/313.08	c (252,0) c DecisionLevel0_1 : 164
2087.71/313.08	c (252,0) c DecisionLevel0_2 : 91
2087.71/313.08	c (252,0) c DecisionLevel0_3 : 128
2087.71/313.08	c (252,0) c DecisionLevel0_4 : 84
2087.71/313.08	c (252,0) c DecisionLevel0_5 : 112
2087.71/313.08	c (252,0) c DecisionLevel0_6 : 192
2087.71/313.08	c (252,0) c DecisionLevel0_7 : 110
2087.71/313.08	c (252,0) c DecisionLevel0_total : 997
2087.71/313.08	c (252,0) c DecisionLevel0_winner : 164
2087.71/313.08	c (252,0) c Periods_0 : 1555
2087.71/313.08	c (252,0) c Periods_1 : 1537
2087.71/313.08	c (252,0) c Periods_2 : 1550
2087.71/313.08	c (252,0) c Periods_3 : 1545
2087.71/313.08	c (252,0) c Periods_4 : 1558
2087.71/313.08	c (252,0) c Periods_5 : 1558
2087.71/313.08	c (252,0) c Periods_6 : 1558
2087.71/313.08	c (252,0) c Periods_7 : 1558
2087.71/313.08	c (252,0) c Periods_total : 12419
2087.71/313.08	c (252,0) c Periods_winner : 1537
2087.71/313.08	c (252,0) c Margin_0 : 20
2087.71/313.08	c (252,0) c Margin_1 : 20
2087.71/313.08	c (252,0) c Margin_2 : 20
2087.71/313.08	c (252,0) c Margin_3 : 20
2087.71/313.08	c (252,0) c Margin_4 : 20
2087.71/313.08	c (252,0) c Margin_5 : 20
2087.71/313.08	c (252,0) c Margin_6 : 20
2087.71/313.08	c (252,0) c Margin_7 : 20
2087.71/313.08	c (252,0) c Margin_total : 160
2087.71/313.08	c (252,0) c Margin_winner : 20
2087.71/313.08	c (252,0) c Exported_0 : 32111
2087.71/313.08	c (252,0) c Exported_1 : 32893
2087.71/313.08	c (252,0) c Exported_2 : 31568
2087.71/313.08	c (252,0) c Exported_3 : 31909
2087.71/313.08	c (252,0) c Exported_4 : 32186
2087.71/313.08	c (252,0) c Exported_5 : 32549
2087.71/313.08	c (252,0) c Exported_6 : 33706
2087.71/313.08	c (252,0) c Exported_7 : 33380
2087.71/313.08	c (252,0) c Exported_total : 260302
2087.71/313.08	c (252,0) c Exported_winner : 32893
2087.71/313.08	c (252,0) c Imported_0 : 224150
2087.71/313.08	c (252,0) c Imported_1 : 211513
2087.71/313.08	c (252,0) c Imported_2 : 218630
2087.71/313.08	c (252,0) c Imported_3 : 219490
2087.71/313.08	c (252,0) c Imported_4 : 224238
2087.71/313.08	c (252,0) c Imported_5 : 225775
2087.71/313.08	c (252,0) c Imported_6 : 224789
2087.71/313.08	c (252,0) c Imported_7 : 217681
2087.71/313.08	c (252,0) c Imported_total : 1766266
2087.71/313.08	c (252,0) c Imported_winner : 211513
2087.71/313.08	c (252,0) c Good_0 : 340
2087.71/313.08	c (252,0) c Good_1 : 325
2087.71/313.08	c (252,0) c Good_2 : 323
2087.71/313.08	c (252,0) c Good_3 : 324
2087.71/313.08	c (252,0) c Good_4 : 344
2087.71/313.08	c (252,0) c Good_5 : 340
2087.71/313.08	c (252,0) c Good_6 : 327
2087.71/313.08	c (252,0) c Good_7 : 340
2087.71/313.08	c (252,0) c Good_total : 2663
2087.71/313.08	c (252,0) c Good_winner : 325
2087.71/313.08	c (252,0) c Purge_0 : 223810
2087.71/313.08	c (252,0) c Purge_1 : 211188
2087.71/313.08	c (252,0) c Purge_2 : 218307
2087.71/313.08	c (252,0) c Purge_3 : 219166
2087.71/313.08	c (252,0) c Purge_4 : 223894
2087.71/313.08	c (252,0) c Purge_5 : 225435
2087.71/313.08	c (252,0) c Purge_6 : 224462
2087.71/313.08	c (252,0) c Purge_7 : 217341
2087.71/313.08	c (252,0) c Purge_total : 1763603
2087.71/313.08	c (252,0) c Purge_winner : 211188
2087.71/313.08	c (252,0) c Promoted_0 : 15844
2087.71/313.08	c (252,0) c Promoted_1 : 17329
2087.71/313.08	c (252,0) c Promoted_2 : 15811
2087.71/313.08	c (252,0) c Promoted_3 : 16647
2087.71/313.08	c (252,0) c Promoted_4 : 16011
2087.71/313.08	c (252,0) c Promoted_5 : 17583
2087.71/313.08	c (252,0) c Promoted_6 : 16996
2087.71/313.08	c (252,0) c Promoted_7 : 17088
2087.71/313.08	c (252,0) c Promoted_total : 133309
2087.71/313.08	c (252,0) c Promoted_winner : 17329
2087.71/313.08	c (252,0) c Remove_Imp_0 : 94083
2087.71/313.08	c (252,0) c Remove_Imp_1 : 147875
2087.71/313.08	c (252,0) c Remove_Imp_2 : 128364
2087.71/313.08	c (252,0) c Remove_Imp_3 : 146682
2087.71/313.08	c (252,0) c Remove_Imp_4 : 130270
2087.71/313.08	c (252,0) c Remove_Imp_5 : 142194
2087.71/313.08	c (252,0) c Remove_Imp_6 : 122442
2087.71/313.08	c (252,0) c Remove_Imp_7 : 144183
2087.71/313.08	c (252,0) c Remove_Imp_total : 1056093
2087.71/313.08	c (252,0) c Remove_Imp_winner : 147875
2087.71/313.08	c (252,0) c Blocked_Reuse_0 : 0
2087.71/313.08	c (252,0) c Blocked_Reuse_1 : 0
2087.71/313.08	c (252,0) c Blocked_Reuse_2 : 0
2087.71/313.08	c (252,0) c Blocked_Reuse_3 : 0
2087.71/313.08	c (252,0) c Blocked_Reuse_4 : 0
2087.71/313.08	c (252,0) c Blocked_Reuse_5 : 0
2087.71/313.08	c (252,0) c Blocked_Reuse_6 : 0
2087.71/313.08	c (252,0) c Blocked_Reuse_7 : 0
2087.71/313.08	c (252,0) c Blocked_Reuse_total : 0
2087.71/313.08	c (252,0) c Blocked_Reuse_winner : 0
2087.71/313.08	c (252,0) c Unaries_0 : 0
2087.71/313.08	c (252,0) c Unaries_1 : 0
2087.71/313.08	c (252,0) c Unaries_2 : 0
2087.71/313.08	c (252,0) c Unaries_3 : 0
2087.71/313.08	c (252,0) c Unaries_4 : 0
2087.71/313.08	c (252,0) c Unaries_5 : 0
2087.71/313.08	c (252,0) c Unaries_6 : 0
2087.71/313.08	c (252,0) c Unaries_7 : 0
2087.71/313.08	c (252,0) c Unaries_total : 0
2087.71/313.08	c (252,0) c Unaries_winner : 0
2087.71/313.08	c (252,0) c Binaries_0 : 43
2087.71/313.08	c (252,0) c Binaries_1 : 51
2087.71/313.08	c (252,0) c Binaries_2 : 57
2087.71/313.08	c (252,0) c Binaries_3 : 56
2087.71/313.08	c (252,0) c Binaries_4 : 39
2087.71/313.08	c (252,0) c Binaries_5 : 44
2087.71/313.08	c (252,0) c Binaries_6 : 57
2087.71/313.08	c (252,0) c Binaries_7 : 39
2087.71/313.08	c (252,0) c Binaries_total : 386
2087.71/313.08	c (252,0) c Binaries_winner : 51
2087.71/313.08	c (252,0) c Glues_0 : 1196
2087.71/313.08	c (252,0) c Glues_1 : 1228
2087.71/313.08	c (252,0) c Glues_2 : 1140
2087.71/313.08	c (252,0) c Glues_3 : 1166
2087.71/313.08	c (252,0) c Glues_4 : 1170
2087.71/313.09	c (252,0) c Glues_5 : 1184
2087.71/313.09	c (252,0) c Glues_6 : 1273
2087.71/313.09	c (252,0) c Glues_7 : 1243
2087.71/313.09	c (252,0) c Glues_total : 9600
2087.71/313.09	c (252,0) c Glues_winner : 1228
2087.71/313.09	c (252,0) c RunningTime_0 : 251.364319
2087.71/313.09	c (252,0) c RunningTime_1 : 252.038860
2087.71/313.09	c (252,0) c RunningTime_2 : 250.422960
2087.71/313.09	c (252,0) c RunningTime_3 : 250.361163
2087.71/313.09	c (252,0) c RunningTime_4 : 251.957560
2087.71/313.09	c (252,0) c RunningTime_5 : 250.995823
2087.71/313.09	c (252,0) c RunningTime_6 : 250.758301
2087.71/313.09	c (252,0) c RunningTime_7 : 251.926443
2087.71/313.09	c (252,0) c RunningTime_total : 2009.825430
2087.71/313.09	c (252,0) c RunningTime_winner : 252.038860
2087.71/313.09	c (252,0) c WaitingTime_0 : 0.848296
2087.71/313.09	c (252,0) c WaitingTime_1 : 0.084067
2087.71/313.09	c (252,0) c WaitingTime_2 : 1.765206
2087.71/313.09	c (252,0) c WaitingTime_3 : 1.775826
2087.71/313.09	c (252,0) c WaitingTime_4 : 0.153336
2087.71/313.09	c (252,0) c WaitingTime_5 : 1.116059
2087.71/313.09	c (252,0) c WaitingTime_6 : 1.334356
2087.71/313.09	c (252,0) c WaitingTime_7 : 0.238752
2087.71/313.09	c (252,0) c WaitingTime_total : 7.315898
2087.71/313.09	c (252,0) c WaitingTime_winner : 0.084067
2087.71/313.09	c (252,0) c ExchangingTime_0 : 0.116728
2087.71/313.09	c (252,0) c ExchangingTime_1 : 0.102767
2087.71/313.09	c (252,0) c ExchangingTime_2 : 0.117539
2087.71/313.09	c (252,0) c ExchangingTime_3 : 0.118553
2087.71/313.09	c (252,0) c ExchangingTime_4 : 0.121320
2087.71/313.09	c (252,0) c ExchangingTime_5 : 0.115079
2087.71/313.09	c (252,0) c ExchangingTime_6 : 0.125581
2087.71/313.09	c (252,0) c ExchangingTime_7 : 0.110024
2087.71/313.09	c (252,0) c ExchangingTime_total : 0.927591
2087.71/313.09	c (252,0) c ExchangingTime_winner : 0.102767
2087.71/313.09	c (252,0) c PeriodProcTime_0 : 0.015025
2087.71/313.09	c (252,0) c PeriodProcTime_1 : 0.014704
2087.71/313.09	c (252,0) c PeriodProcTime_2 : 0.014940
2087.71/313.09	c (252,0) c PeriodProcTime_3 : 0.013754
2087.71/313.09	c (252,0) c PeriodProcTime_4 : 0.014290
2087.71/313.09	c (252,0) c PeriodProcTime_5 : 0.014982
2087.71/313.09	c (252,0) c PeriodProcTime_6 : 0.014928
2087.71/313.09	c (252,0) c PeriodProcTime_7 : 0.014919
2087.71/313.09	c (252,0) c PeriodProcTime_total : 0.117544
2087.71/313.09	c (252,0) c PeriodProcTime_winner : 0.014704
2087.71/313.09	c (252,0) c SolvingTime_0 : 252.344368
2087.71/313.09	c (252,0) c SolvingTime_1 : 252.240398
2087.71/313.09	c (252,0) c SolvingTime_2 : 252.320646
2087.71/313.09	c (252,0) c SolvingTime_3 : 252.269296
2087.71/313.09	c (252,0) c SolvingTime_4 : 252.246506
2087.71/313.09	c (252,0) c SolvingTime_5 : 252.241944
2087.71/313.09	c (252,0) c SolvingTime_6 : 252.233166
2087.71/313.09	c (252,0) c SolvingTime_7 : 252.290139
2087.71/313.09	c (252,0) c SolvingTime_total : 2018.186464
2087.71/313.09	c (252,0) c SolvingTime_winner : 252.240398
2087.71/313.09	c (252,0) c PropagationTime_0 : 240.648911
2087.71/313.09	c (252,0) c PropagationTime_1 : 240.486782
2087.71/313.09	c (252,0) c PropagationTime_2 : 238.930938
2087.71/313.09	c (252,0) c PropagationTime_3 : 239.644960
2087.71/313.09	c (252,0) c PropagationTime_4 : 239.411960
2087.71/313.09	c (252,0) c PropagationTime_5 : 239.330312
2087.71/313.09	c (252,0) c PropagationTime_6 : 238.875830
2087.71/313.09	c (252,0) c PropagationTime_7 : 238.192771
2087.71/313.09	c (252,0) c PropagationTime_total : 1915.522464
2087.71/313.09	c (252,0) c PropagationTime_winner : 240.486782
2087.71/313.09	c (252,0) c AnalysisTime_0 : 5.949954
2087.71/313.09	c (252,0) c AnalysisTime_1 : 6.038344
2087.71/313.09	c (252,0) c AnalysisTime_2 : 7.565473
2087.71/313.09	c (252,0) c AnalysisTime_3 : 6.732857
2087.71/313.09	c (252,0) c AnalysisTime_4 : 6.967726
2087.71/313.09	c (252,0) c AnalysisTime_5 : 7.124000
2087.71/313.09	c (252,0) c AnalysisTime_6 : 7.425333
2087.71/313.09	c (252,0) c AnalysisTime_7 : 8.291678
2087.71/313.09	c (252,0) c AnalysisTime_total : 56.095365
2087.71/313.09	c (252,0) c AnalysisTime_winner : 6.038344
2087.71/313.09	c (252,0) c ReductionTime_0 : 0.483811
2087.71/313.09	c (252,0) c ReductionTime_1 : 0.519245
2087.71/313.09	c (252,0) c ReductionTime_2 : 0.505215
2087.71/313.09	c (252,0) c ReductionTime_3 : 0.523610
2087.71/313.09	c (252,0) c ReductionTime_4 : 0.532014
2087.71/313.09	c (252,0) c ReductionTime_5 : 0.541583
2087.71/313.09	c (252,0) c ReductionTime_6 : 0.539083
2087.71/313.09	c (252,0) c ReductionTime_7 : 0.500023
2087.71/313.09	c (252,0) c ReductionTime_total : 4.144583
2087.71/313.09	c (252,0) c ReductionTime_winner : 0.519245
2087.71/313.09	c (252,0) c SimplifyTime_0 : 0.000014
2087.71/313.09	c (252,0) c SimplifyTime_1 : 0.000020
2087.71/313.09	c (252,0) c SimplifyTime_2 : 0.000012
2087.71/313.09	c (252,0) c SimplifyTime_3 : 0.000012
2087.71/313.09	c (252,0) c SimplifyTime_4 : 0.000005
2087.71/313.09	c (252,0) c SimplifyTime_5 : 0.000019
2087.71/313.09	c (252,0) c SimplifyTime_6 : 0.000015
2087.71/313.09	c (252,0) c SimplifyTime_7 : 0.000019
2087.71/313.09	c (252,0) c SimplifyTime_total : 0.000115
2087.71/313.09	c (252,0) c SimplifyTime_winner : 0.000020
2087.71/313.09	c (252,0) c UsedRateTime_0 : 0.000000
2087.71/313.09	c (252,0) c UsedRateTime_1 : 0.000000
2087.71/313.09	c (252,0) c UsedRateTime_2 : 0.000000
2087.71/313.09	c (252,0) c UsedRateTime_3 : 0.000000
2087.71/313.09	c (252,0) c UsedRateTime_4 : 0.000000
2087.71/313.09	c (252,0) c UsedRateTime_5 : 0.000000
2087.71/313.09	c (252,0) c UsedRateTime_6 : 0.000000
2087.71/313.09	c (252,0) c UsedRateTime_7 : 0.000000
2087.71/313.09	c (252,0) c UsedRateTime_total : 0.000000
2087.71/313.09	c (252,0) c UsedRateTime_winner : 0.000000
2087.71/313.09	c (252,0) c OverlapRateTime_0 : 0.000000
2087.71/313.09	c (252,0) c OverlapRateTime_1 : 0.000000
2087.71/313.09	c (252,0) c OverlapRateTime_2 : 0.000000
2087.71/313.09	c (252,0) c OverlapRateTime_3 : 0.000000
2087.71/313.09	c (252,0) c OverlapRateTime_4 : 0.000000
2087.71/313.09	c (252,0) c OverlapRateTime_5 : 0.000000
2087.71/313.10	c (253,0) c OverlapRateTime_6 : 0.000000
2087.71/313.10	c (253,0) c OverlapRateTime_7 : 0.000000
2087.71/313.10	c (253,0) c OverlapRateTime_total : 0.000000
2087.71/313.10	c (253,0) c OverlapRateTime_winner : 0.000000
2087.71/313.10	c (253,0) c
2087.71/313.10	c (253,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
2087.71/313.10	c (253,0) c
2087.71/313.10	c (253,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
2087.71/313.10	c (253,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
2087.71/313.10	c (253,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
2087.71/313.10	c (253,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
2087.71/313.10	c (253,0) c | adaptStrategeis       |      False |      False |      False |      False |      False |      False |      False |      False |
2087.71/313.10	c (253,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
2087.71/313.10	c (253,0) c | Initial random_seed   |  817617506 | 1690672982 | 1060920208 |  403715090 |  246059517 | 1008283065 |  865099757 |  872215469 |
2087.71/313.10	c (253,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
2087.71/313.10	c (253,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
2087.71/313.10	c (253,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
2087.71/313.10	c (253,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
2087.71/313.10	c (253,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
2087.71/313.10	c (253,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
2087.71/313.10	c (253,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
2087.71/313.10	c (253,0) c | var_decay             |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
2087.71/313.10	c (253,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
2087.71/313.10	c (253,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
2087.71/313.10	c (253,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
2087.71/313.10	c (253,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
2087.71/313.10	c (253,0) 
2087.71/313.10	c (253,0) s SATISFIABLE
83.74/313.14	c (253,0) SatSolver.solve End
83.74/313.14	c (253,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
83.74/313.14	c (253,0) Show results Begin
2088.13/313.21	c (253,0) x[0] = 3
2088.13/313.21	c (253,0) x[1] = 0
2088.13/313.21	c (253,0) x[2] = 4
2088.13/313.21	c (253,0) x[3] = 1
2088.13/313.21	c (253,0) x[4] = 0
2088.13/313.21	c (253,0) x[5] = 1
2088.13/313.21	c (253,0) x[6] = 1
2088.13/313.21	c (253,0) x[7] = 0
2088.13/313.21	c (253,0) x[8] = 4
2088.13/313.21	c (253,0) x[9] = 4
2088.13/313.21	c (253,0) x[10] = 2
2088.13/313.21	c (253,0) x[11] = 1
2088.13/313.21	c (253,0) x[12] = 0
2088.13/313.21	c (253,0) x[13] = 4
2088.13/313.21	c (253,0) x[14] = 0
2088.13/313.21	c (253,0) x[15] = 0
2088.13/313.21	c (253,0) x[16] = 3
2088.13/313.21	c (253,0) x[17] = 2
2088.13/313.21	c (253,0) x[18] = 0
2088.13/313.21	c (253,0) x[19] = 3
2088.13/313.21	c (253,0) x[20] = 2
2088.13/313.21	c (253,0) x[21] = 3
2088.13/313.21	c (253,0) x[22] = 1
2088.13/313.21	c (253,0) x[23] = 0
2088.13/313.21	c (253,0) x[24] = 4
2088.13/313.21	s SATISFIABLE
2088.13/313.21	v <instantiation>
2088.13/313.21	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>
2088.13/313.21	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>
2088.13/313.21	v </instantiation>
2088.13/313.21	c (253,0) Show results End
2088.13/313.21	c (253,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB)
2088.13/313.21	c (253,0) 253,253,STOP-AFTER(ALL)
2088.13/313.21	c END-Prog: Tue Sep 24 16:44:11 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: 16375 MiB (15474 MiB free)
  memory of node 1: 16384 MiB (9246 MiB free)
  node distances:
     10  21
     21  10

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

running on 8 cores: 0-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=4714, runsolver pid=4711

[startup+0.100143 s]*
/proc/loadavg: 0.00 0.01 0.05 2/210 4735
/proc/meminfo: memFree=25220432/32770688 swapFree=67001272/67108860
[pid=4714] ppid=4711 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/4714/stat : 4714 (scop.sh) S 4711 4714 4670 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 509539544 115843072 349 33554432000 4194304 5098028 140735692790000 140735692787256 140042289283708 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 12648448 140735692792613 140735692792940 140735692792940 140735692795853 0
/proc/4714/statm: 28282 349 296 221 0 87 0
[pid=4717] ppid=4714 vsize=27314120 memory=106436 CPUtime=0.09 cores=0-7
/proc/4717/stat : 4717 (java) S 4714 4714 4670 0 -1 1077944320 6674 0 0 0 6 3 0 0 20 0 20 0 509539544 27969658880 26609 33554432000 4194304 4196468 140727744852928 140727744835472 139634284146423 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13991936 140727744860908 140727744861334 140727744861334 140727744864207 0
/proc/4717/statm: 6828530 26609 2754 1 0 6790935 0
[pid=4717/tid=4718] ppid=4714 vsize=27314120 memory=1398722017469774279 CPUtime=0.08 cores=0-7
/proc/4717/task/4718/stat : 4718 (java) R 4714 4714 4670 0 -1 4202560 4801 0 0 0 6 2 0 0 20 0 20 0 509539545 27969658880 26609 33554432000 4194304 4196468 140727744852928 139634255969280 139634284168349 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13991936 140727744860908 140727744861334 140727744861334 140727744864207 0
[pid=4717/tid=4719] ppid=4714 vsize=27314120 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/4717/task/4719/stat : 4719 (java) S 4714 4714 4670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509539548 27969658880 26609 33554432000 4194304 4196468 140727744852928 139634288388624 139634284156629 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13991936 140727744860908 140727744861334 140727744861334 140727744864207 0
[pid=4717/tid=4720] ppid=4714 vsize=27314120 memory=139807314151040 CPUtime=0 cores=0-7
/proc/4717/task/4720/stat : 4720 (java) S 4714 4714 4670 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509539548 27969658880 26609 33554432000 4194304 4196468 140727744852928 139634102545040 139634284156629 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13991936 140727744860908 140727744861334 140727744861334 140727744864207 0
[pid=4717/tid=4721] ppid=4714 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4717/task/4721/stat : 4721 (java) S 4714 4714 4670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509539548 27969658880 26609 33554432000 4194304 4196468 140727744852928 139634101491984 139634284156629 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13991936 140727744860908 140727744861334 140727744861334 140727744864207 0
[pid=4717/tid=4722] ppid=4714 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4717/task/4722/stat : 4722 (java) S 4714 4714 4670 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509539548 27969658880 26609 33554432000 4194304 4196468 140727744852928 139634100439440 139634284156629 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13991936 140727744860908 140727744861334 140727744861334 140727744864207 0
[pid=4717/tid=4723] ppid=4714 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4717/task/4723/stat : 4723 (java) S 4714 4714 4670 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509539548 27969658880 26609 33554432000 4194304 4196468 140727744852928 139634099387408 139634284156629 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13991936 140727744860908 140727744861334 140727744861334 140727744864207 0
[pid=4717/tid=4724] ppid=4714 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/4717/task/4724/stat : 4724 (java) S 4714 4714 4670 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509539548 27969658880 26609 33554432000 4194304 4196468 140727744852928 139634098334864 139634284156629 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13991936 140727744860908 140727744861334 140727744861334 140727744864207 0
[pid=4717/tid=4725] ppid=4714 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4717/task/4725/stat : 4725 (java) S 4714 4714 4670 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509539548 27969658880 26609 33554432000 4194304 4196468 140727744852928 139634097281808 139634284156629 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13991936 140727744860908 140727744861334 140727744861334 140727744864207 0
[pid=4717/tid=4726] ppid=4714 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4717/task/4726/stat : 4726 (java) S 4714 4714 4670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509539548 27969658880 26609 33554432000 4194304 4196468 140727744852928 139634096229264 139634284156629 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13991936 140727744860908 140727744861334 140727744861334 140727744864207 0
[pid=4717/tid=4727] ppid=4714 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4717/task/4727/stat : 4727 (java) S 4714 4714 4670 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509539549 27969658880 26609 33554432000 4194304 4196468 140727744852928 139633140672752 139634284157570 0 0 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13991936 140727744860908 140727744861334 140727744861334 140727744864207 0
[pid=4717/tid=4728] ppid=4714 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4717/task/4728/stat : 4728 (java) S 4714 4714 4670 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 509539550 27969658880 26609 33554432000 4194304 4196468 140727744852928 139632205358240 139634284156629 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13991936 140727744860908 140727744861334 140727744861334 140727744864207 0
[pid=4717/tid=4729] ppid=4714 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4717/task/4729/stat : 4729 (java) S 4714 4714 4670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509539550 27969658880 26609 33554432000 4194304 4196468 140727744852928 139631936922352 139634284156629 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13991936 140727744860908 140727744861334 140727744861334 140727744864207 0
[pid=4717/tid=4730] ppid=4714 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4717/task/4730/stat : 4730 (java) S 4714 4714 4670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509539553 27969658880 26609 33554432000 4194304 4196468 140727744852928 139631562414032 139634284165019 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13991936 140727744860908 140727744861334 140727744861334 140727744864207 0
[pid=4717/tid=4731] ppid=4714 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4717/task/4731/stat : 4731 (java) S 4714 4714 4670 0 -1 1077944384 323 0 0 0 0 0 0 0 20 0 20 0 509539553 27969658880 26609 33554432000 4194304 4196468 140727744852928 139633139620592 139634284157570 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13991936 140727744860908 140727744861334 140727744861334 140727744864207 0
[pid=4717/tid=4732] ppid=4714 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4717/task/4732/stat : 4732 (java) S 4714 4714 4670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509539553 27969658880 26609 33554432000 4194304 4196468 140727744852928 139633138568048 139634284157570 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13991936 140727744860908 140727744861334 140727744861334 140727744864207 0
[pid=4717/tid=4733] ppid=4714 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4717/task/4733/stat : 4733 (java) S 4714 4714 4670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509539553 27969658880 26609 33554432000 4194304 4196468 140727744852928 139633137514992 139634284157570 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13991936 140727744860908 140727744861334 140727744861334 140727744864207 0
[pid=4717/tid=4734] ppid=4714 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4717/task/4734/stat : 4734 (java) R 4714 4714 4670 0 -1 4202560 222 0 0 0 0 0 0 0 20 0 20 0 509539553 27969658880 26609 33554432000 4194304 4196468 140727744852928 139633136462448 139634262706646 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13991936 140727744860908 140727744861334 140727744861334 140727744864207 0
[pid=4717/tid=4735] ppid=4714 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4717/task/4735/stat : 4735 (java) S 4714 4714 4670 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509539554 27969658880 26609 33554432000 4194304 4196468 140727744852928 139631064508896 139634284156629 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13991936 140727744860908 140727744861334 140727744861334 140727744864207 0
[pid=4717/tid=4736] ppid=4714 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/4717/task/4736/stat : 4736 (java) S 4714 4714 4670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509539554 27969658880 26609 33554432000 4194304 4196468 140727744852928 139633135409840 139634284157570 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13991936 140727744860908 140727744861334 140727744861334 140727744864207 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 107832 KiB

[startup+0.211445 s]*
/proc/loadavg: 0.00 0.01 0.05 2/211 4736
/proc/meminfo: memFree=25199040/32770688 swapFree=67001272/67108860
[pid=4714] ppid=4711 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/4714/stat : 4714 (scop.sh) S 4711 4714 4670 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 509539544 115843072 349 33554432000 4194304 5098028 140735692790000 140735692787256 140042289283708 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 12648448 140735692792613 140735692792940 140735692792940 140735692795853 0
/proc/4714/statm: 28282 349 296 221 0 87 0
[pid=4717] ppid=4714 vsize=27314120 memory=123688 CPUtime=0.23 cores=0-7
/proc/4717/stat : 4717 (java) S 4714 4714 4670 0 -1 1077944320 12201 0 0 0 18 5 0 0 20 0 20 0 509539544 27969658880 30922 33554432000 4194304 4196468 140727744852928 140727744835472 139634284146423 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13991936 140727744860908 140727744861334 140727744861334 140727744864207 0
/proc/4717/statm: 6828530 30922 2900 1 0 6790935 0
[pid=4717/tid=4718] ppid=4714 vsize=27314120 memory=8318255677412212789 CPUtime=0.18 cores=0-7
/proc/4717/task/4718/stat : 4718 (java) R 4714 4714 4670 0 -1 4202560 9960 0 0 0 15 3 0 0 20 0 20 0 509539545 27969658880 30922 33554432000 4194304 4196468 140727744852928 139634255950032 139634265709998 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13991936 140727744860908 140727744861334 140727744861334 140727744864207 0
[pid=4717/tid=4719] ppid=4714 vsize=27314120 memory=342 CPUtime=0 cores=0-7
/proc/4717/task/4719/stat : 4719 (java) S 4714 4714 4670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509539548 27969658880 30922 33554432000 4194304 4196468 140727744852928 139634288388624 139634284156629 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13991936 140727744860908 140727744861334 140727744861334 140727744864207 0
[pid=4717/tid=4720] ppid=4714 vsize=27314120 memory=139807314169442 CPUtime=0 cores=0-7
/proc/4717/task/4720/stat : 4720 (java) S 4714 4714 4670 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509539548 27969658880 30922 33554432000 4194304 4196468 140727744852928 139634102545040 139634284156629 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13991936 140727744860908 140727744861334 140727744861334 140727744864207 0
[pid=4717/tid=4721] ppid=4714 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/4717/task/4721/stat : 4721 (java) S 4714 4714 4670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509539548 27969658880 30922 33554432000 4194304 4196468 140727744852928 139634101491984 139634284156629 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13991936 140727744860908 140727744861334 140727744861334 140727744864207 0
[pid=4717/tid=4722] ppid=4714 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4717/task/4722/stat : 4722 (java) S 4714 4714 4670 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509539548 27969658880 30922 33554432000 4194304 4196468 140727744852928 139634100439440 139634284156629 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13991936 140727744860908 140727744861334 140727744861334 140727744864207 0
[pid=4717/tid=4723] ppid=4714 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4717/task/4723/stat : 4723 (java) S 4714 4714 4670 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509539548 27969658880 30922 33554432000 4194304 4196468 140727744852928 139634099387408 139634284156629 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13991936 140727744860908 140727744861334 140727744861334 140727744864207 0
[pid=4717/tid=4724] ppid=4714 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/4717/task/4724/stat : 4724 (java) S 4714 4714 4670 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509539548 27969658880 30922 33554432000 4194304 4196468 140727744852928 139634098334864 139634284156629 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13991936 140727744860908 140727744861334 140727744861334 140727744864207 0
[pid=4717/tid=4725] ppid=4714 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4717/task/4725/stat : 4725 (java) S 4714 4714 4670 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509539548 27969658880 30922 33554432000 4194304 4196468 140727744852928 139634097281808 139634284156629 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13991936 140727744860908 140727744861334 140727744861334 140727744864207 0
[pid=4717/tid=4726] ppid=4714 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4717/task/4726/stat : 4726 (java) S 4714 4714 4670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509539548 27969658880 30922 33554432000 4194304 4196468 140727744852928 139634096229264 139634284156629 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13991936 140727744860908 140727744861334 140727744861334 140727744864207 0
[pid=4717/tid=4727] ppid=4714 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4717/task/4727/stat : 4727 (java) S 4714 4714 4670 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509539549 27969658880 30922 33554432000 4194304 4196468 140727744852928 139633140672752 139634284157570 0 0 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13991936 140727744860908 140727744861334 140727744861334 140727744864207 0
[pid=4717/tid=4728] ppid=4714 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4717/task/4728/stat : 4728 (java) S 4714 4714 4670 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 509539550 27969658880 30922 33554432000 4194304 4196468 140727744852928 139632205358240 139634284156629 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13991936 140727744860908 140727744861334 140727744861334 140727744864207 0
[pid=4717/tid=4729] ppid=4714 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4717/task/4729/stat : 4729 (java) S 4714 4714 4670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509539550 27969658880 30922 33554432000 4194304 4196468 140727744852928 139631936922352 139634284156629 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13991936 140727744860908 140727744861334 140727744861334 140727744864207 0
[pid=4717/tid=4730] ppid=4714 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4717/task/4730/stat : 4730 (java) S 4714 4714 4670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509539553 27969658880 30922 33554432000 4194304 4196468 140727744852928 139631562414032 139634284165019 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13991936 140727744860908 140727744861334 140727744861334 140727744864207 0
[pid=4717/tid=4731] ppid=4714 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4717/task/4731/stat : 4731 (java) S 4714 4714 4670 0 -1 1077944384 449 0 0 0 0 0 0 0 20 0 20 0 509539553 27969658880 30922 33554432000 4194304 4196468 140727744852928 139633139620592 139634284157570 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13991936 140727744860908 140727744861334 140727744861334 140727744864207 0
[pid=4717/tid=4732] ppid=4714 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4717/task/4732/stat : 4732 (java) S 4714 4714 4670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509539553 27969658880 30922 33554432000 4194304 4196468 140727744852928 139633138568048 139634284157570 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13991936 140727744860908 140727744861334 140727744861334 140727744864207 0
[pid=4717/tid=4733] ppid=4714 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/4717/task/4733/stat : 4733 (java) S 4714 4714 4670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509539553 27969658880 30922 33554432000 4194304 4196468 140727744852928 139633137514992 139634284157570 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13991936 140727744860908 140727744861334 140727744861334 140727744864207 0
[pid=4717/tid=4734] ppid=4714 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7
/proc/4717/task/4734/stat : 4734 (java) S 4714 4714 4670 0 -1 1077944384 453 0 0 0 2 0 0 0 20 0 20 0 509539553 27969658880 30922 33554432000 4194304 4196468 140727744852928 139633136462448 139634284157570 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13991936 140727744860908 140727744861334 140727744861334 140727744864207 0
[pid=4717/tid=4735] ppid=4714 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4717/task/4735/stat : 4735 (java) S 4714 4714 4670 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509539554 27969658880 30922 33554432000 4194304 4196468 140727744852928 139631064508896 139634284156629 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13991936 140727744860908 140727744861334 140727744861334 140727744864207 0
[pid=4717/tid=4736] ppid=4714 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/4717/task/4736/stat : 4736 (java) S 4714 4714 4670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509539554 27969658880 30922 33554432000 4194304 4196468 140727744852928 139633135409840 139634284157570 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13991936 140727744860908 140727744861334 140727744861334 140727744864207 0
Current children cumulated CPU time: 0.23 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 125084 KiB

[startup+0.310638 s]*
/proc/loadavg: 0.00 0.01 0.05 4/211 4736
/proc/meminfo: memFree=25197568/32770688 swapFree=67001272/67108860
[pid=4714] ppid=4711 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/4714/stat : 4714 (scop.sh) S 4711 4714 4670 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 509539544 115843072 349 33554432000 4194304 5098028 140735692790000 140735692787256 140042289283708 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 12648448 140735692792613 140735692792940 140735692792940 140735692795853 0
/proc/4714/statm: 28282 349 296 221 0 87 0
[pid=4717] ppid=4714 vsize=27314120 memory=128932 CPUtime=0.4 cores=0-7
/proc/4717/stat : 4717 (java) S 4714 4714 4670 0 -1 1077944320 12626 0 0 0 34 6 0 0 20 0 20 0 509539544 27969658880 32233 33554432000 4194304 4196468 140727744852928 140727744835472 139634284146423 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13991936 140727744860908 140727744861334 140727744861334 140727744864207 0
/proc/4717/statm: 6828530 32233 2972 1 0 6790935 0
[pid=4717/tid=4718] ppid=4714 vsize=27314120 memory=1398722017469774279 CPUtime=0.29 cores=0-7
/proc/4717/task/4718/stat : 4718 (java) R 4714 4714 4670 0 -1 4202560 10231 0 0 0 25 4 0 0 20 0 20 0 509539545 27969658880 32233 33554432000 4194304 4196468 140727744852928 139634255969104 139634268190053 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13991936 140727744860908 140727744861334 140727744861334 140727744864207 0
[pid=4717/tid=4719] ppid=4714 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4717/task/4719/stat : 4719 (java) S 4714 4714 4670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509539548 27969658880 32233 33554432000 4194304 4196468 140727744852928 139634288388624 139634284156629 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13991936 140727744860908 140727744861334 140727744861334 140727744864207 0
[pid=4717/tid=4720] ppid=4714 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4717/task/4720/stat : 4720 (java) S 4714 4714 4670 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509539548 27969658880 32233 33554432000 4194304 4196468 140727744852928 139634102545040 139634284156629 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13991936 140727744860908 140727744861334 140727744861334 140727744864207 0
[pid=4717/tid=4721] ppid=4714 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4717/task/4721/stat : 4721 (java) S 4714 4714 4670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509539548 27969658880 32233 33554432000 4194304 4196468 140727744852928 139634101491984 139634284156629 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13991936 140727744860908 140727744861334 140727744861334 140727744864207 0
[pid=4717/tid=4722] ppid=4714 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4717/task/4722/stat : 4722 (java) S 4714 4714 4670 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509539548 27969658880 32233 33554432000 4194304 4196468 140727744852928 139634100439440 139634284156629 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13991936 140727744860908 140727744861334 140727744861334 140727744864207 0
[pid=4717/tid=4723] ppid=4714 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4717/task/4723/stat : 4723 (java) S 4714 4714 4670 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509539548 27969658880 32233 33554432000 4194304 4196468 140727744852928 139634099387408 139634284156629 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13991936 140727744860908 140727744861334 140727744861334 140727744864207 0
[pid=4717/tid=4724] ppid=4714 vsize=27314120 memory=139807158266543 CPUtime=0 cores=0-7
/proc/4717/task/4724/stat : 4724 (java) S 4714 4714 4670 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509539548 27969658880 32233 33554432000 4194304 4196468 140727744852928 139634098334864 139634284156629 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13991936 140727744860908 140727744861334 140727744861334 140727744864207 0
[pid=4717/tid=4725] ppid=4714 vsize=27314120 memory=139807158268848 CPUtime=0 cores=0-7
/proc/4717/task/4725/stat : 4725 (java) S 4714 4714 4670 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509539548 27969658880 32233 33554432000 4194304 4196468 140727744852928 139634097281808 139634284156629 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13991936 140727744860908 140727744861334 140727744861334 140727744864207 0
[pid=4717/tid=4726] ppid=4714 vsize=27314120 memory=139807158271152 CPUtime=0 cores=0-7
/proc/4717/task/4726/stat : 4726 (java) S 4714 4714 4670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509539548 27969658880 32233 33554432000 4194304 4196468 140727744852928 139634096229264 139634284156629 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13991936 140727744860908 140727744861334 140727744861334 140727744864207 0
[pid=4717/tid=4727] ppid=4714 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4717/task/4727/stat : 4727 (java) S 4714 4714 4670 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509539549 27969658880 32233 33554432000 4194304 4196468 140727744852928 139633140672752 139634284157570 0 0 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13991936 140727744860908 140727744861334 140727744861334 140727744864207 0
[pid=4717/tid=4728] ppid=4714 vsize=27314120 memory=279614316556176 CPUtime=0 cores=0-7
/proc/4717/task/4728/stat : 4728 (java) S 4714 4714 4670 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 509539550 27969658880 32233 33554432000 4194304 4196468 140727744852928 139632205358240 139634284156629 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13991936 140727744860908 140727744861334 140727744861334 140727744864207 0
[pid=4717/tid=4729] ppid=4714 vsize=27314120 memory=279614316553872 CPUtime=0 cores=0-7
/proc/4717/task/4729/stat : 4729 (java) S 4714 4714 4670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509539550 27969658880 32233 33554432000 4194304 4196468 140727744852928 139631936922352 139634284156629 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13991936 140727744860908 140727744861334 140727744861334 140727744864207 0
[pid=4717/tid=4730] ppid=4714 vsize=27314120 memory=279614316560784 CPUtime=0 cores=0-7
/proc/4717/task/4730/stat : 4730 (java) S 4714 4714 4670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509539553 27969658880 32233 33554432000 4194304 4196468 140727744852928 139631562414032 139634284165019 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13991936 140727744860908 140727744861334 140727744861334 140727744864207 0
[pid=4717/tid=4731] ppid=4714 vsize=27314120 memory=279614316502032 CPUtime=0 cores=0-7
/proc/4717/task/4731/stat : 4731 (java) S 4714 4714 4670 0 -1 1077944384 491 0 0 0 0 0 0 0 20 0 20 0 509539553 27969658880 32233 33554432000 4194304 4196468 140727744852928 139633139620592 139634284157570 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13991936 140727744860908 140727744861334 140727744861334 140727744864207 0
[pid=4717/tid=4732] ppid=4714 vsize=27314120 memory=279614316574608 CPUtime=0.01 cores=0-7
/proc/4717/task/4732/stat : 4732 (java) R 4714 4714 4670 0 -1 4202560 63 0 0 0 1 0 0 0 20 0 20 0 509539553 27969658880 32233 33554432000 4194304 4196468 140727744852928 139633138558432 139634267665809 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13991936 140727744860908 140727744861334 140727744861334 140727744864207 0
[pid=4717/tid=4733] ppid=4714 vsize=27314120 memory=279614316581520 CPUtime=0 cores=0-7
/proc/4717/task/4733/stat : 4733 (java) S 4714 4714 4670 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 20 0 509539553 27969658880 32233 33554432000 4194304 4196468 140727744852928 139633137514992 139634284157570 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13991936 140727744860908 140727744861334 140727744861334 140727744864207 0
[pid=4717/tid=4734] ppid=4714 vsize=27314120 memory=279614316579216 CPUtime=0.07 cores=0-7
/proc/4717/task/4734/stat : 4734 (java) S 4714 4714 4670 0 -1 1077944384 477 0 0 0 7 0 0 0 20 0 20 0 509539553 27969658880 32233 33554432000 4194304 4196468 140727744852928 139633136462448 139634284157570 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13991936 140727744860908 140727744861334 140727744861334 140727744864207 0
[pid=4717/tid=4735] ppid=4714 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4717/task/4735/stat : 4735 (java) S 4714 4714 4670 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509539554 27969658880 32233 33554432000 4194304 4196468 140727744852928 139631064508896 139634284156629 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13991936 140727744860908 140727744861334 140727744861334 140727744864207 0
[pid=4717/tid=4736] ppid=4714 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/4717/task/4736/stat : 4736 (java) S 4714 4714 4670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509539554 27969658880 32233 33554432000 4194304 4196468 140727744852928 139633135409840 139634284157570 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13991936 140727744860908 140727744861334 140727744861334 140727744864207 0
Current children cumulated CPU time: 0.4 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 130328 KiB

[startup+0.700986 s]
/proc/loadavg: 0.00 0.01 0.05 2/211 4736
/proc/meminfo: memFree=25192356/32770688 swapFree=67001272/67108860
[pid=4714] ppid=4711 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/4714/stat : 4714 (scop.sh) S 4711 4714 4670 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 509539544 115843072 349 33554432000 4194304 5098028 140735692790000 140735692787256 140042289283708 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 12648448 140735692792613 140735692792940 140735692792940 140735692795853 0
/proc/4714/statm: 28282 349 296 221 0 87 0
[pid=4717] ppid=4714 vsize=27320392 memory=158960 CPUtime=0.88 cores=0-7
/proc/4717/stat : 4717 (java) S 4714 4714 4670 0 -1 1077944320 19371 0 0 0 80 8 0 0 20 0 20 0 509539544 27976081408 39740 33554432000 4194304 4196468 140727744852928 140727744835472 139634284146423 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13991936 140727744860908 140727744861334 140727744861334 140727744864207 0
/proc/4717/statm: 6830098 39740 3068 1 0 6791447 0
[pid=4717/tid=4718] ppid=4714 vsize=27320392 memory=0 CPUtime=0.67 cores=0-7
/proc/4717/task/4718/stat : 4718 (java) R 4714 4714 4670 0 -1 4202560 16820 0 0 0 61 6 0 0 20 0 20 0 509539545 27976081408 39740 33554432000 4194304 4196468 140727744852928 139634255968976 139634265709952 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13991936 140727744860908 140727744861334 140727744861334 140727744864207 0
[pid=4717/tid=4719] ppid=4714 vsize=27320392 memory=139807158477680 CPUtime=0 cores=0-7
/proc/4717/task/4719/stat : 4719 (java) S 4714 4714 4670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509539548 27976081408 39740 33554432000 4194304 4196468 140727744852928 139634288388624 139634284156629 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13991936 140727744860908 140727744861334 140727744861334 140727744864207 0
[pid=4717/tid=4720] ppid=4714 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/4717/task/4720/stat : 4720 (java) S 4714 4714 4670 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509539548 27976081408 39740 33554432000 4194304 4196468 140727744852928 139634102545040 139634284156629 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13991936 140727744860908 140727744861334 140727744861334 140727744864207 0
[pid=4717/tid=4721] ppid=4714 vsize=27320392 memory=1564 CPUtime=0 cores=0-7
/proc/4717/task/4721/stat : 4721 (java) S 4714 4714 4670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509539548 27976081408 39740 33554432000 4194304 4196468 140727744852928 139634101491984 139634284156629 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13991936 140727744860908 140727744861334 140727744861334 140727744864207 0

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

/proc/4740/task/4752/stat : 4752 (java) S 4714 4714 4670 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 509545515 8616062976 30202 33554432000 4194304 4196468 140722847458496 139653814408048 139655638791893 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38268928 140722847466488 140722847466646 140722847466646 140722847469519 0
[pid=4740/tid=4753] ppid=4714 vsize=8414124 memory=32368 CPUtime=0 cores=0-7
/proc/4740/task/4753/stat : 4753 (java) S 4714 4714 4670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509545518 8616062976 30202 33554432000 4194304 4196468 140722847458496 139653439903568 139655638800283 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38268928 140722847466488 140722847466646 140722847466646 140722847469519 0
[pid=4740/tid=4754] ppid=4714 vsize=8414124 memory=14068 CPUtime=0.05 cores=0-7
/proc/4740/task/4754/stat : 4754 (java) S 4714 4714 4670 0 -1 1077944384 586 0 0 0 5 0 0 0 20 0 24 0 509545518 8616062976 30202 33554432000 4194304 4196468 140722847458496 139654865509232 139655638792834 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38268928 140722847466488 140722847466646 140722847466646 140722847469519 0
[pid=4740/tid=4755] ppid=4714 vsize=8414124 memory=2120 CPUtime=0.09 cores=0-7
/proc/4740/task/4755/stat : 4755 (java) S 4714 4714 4670 0 -1 1077944384 252 0 0 0 9 0 0 0 20 0 24 0 509545518 8616062976 30202 33554432000 4194304 4196468 140722847458496 139654864456432 139655638792834 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38268928 140722847466488 140722847466646 140722847466646 140722847469519 0
[pid=4740/tid=4756] ppid=4714 vsize=8414124 memory=442948 CPUtime=0.05 cores=0-7
/proc/4740/task/4756/stat : 4756 (java) S 4714 4714 4670 0 -1 1077944384 313 0 0 0 5 0 0 0 20 0 24 0 509545518 8616062976 30202 33554432000 4194304 4196468 140722847458496 139654863403632 139655638792834 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38268928 140722847466488 140722847466646 140722847466646 140722847469519 0
[pid=4740/tid=4757] ppid=4714 vsize=8414124 memory=1728 CPUtime=0.22 cores=0-7
/proc/4740/task/4757/stat : 4757 (java) S 4714 4714 4670 0 -1 1077944384 726 0 0 0 21 1 0 0 20 0 24 0 509545518 8616062976 30202 33554432000 4194304 4196468 140722847458496 139654862350832 139655638792834 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38268928 140722847466488 140722847466646 140722847466646 140722847469519 0
[pid=4740/tid=4758] ppid=4714 vsize=8414124 memory=1398722017469774279 CPUtime=0 cores=0-7
/proc/4740/task/4758/stat : 4758 (java) S 4714 4714 4670 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 509545518 8616062976 30202 33554432000 4194304 4196468 140722847458496 139652941998688 139655638791893 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38268928 140722847466488 140722847466646 140722847466646 140722847469519 0
[pid=4740/tid=4759] ppid=4714 vsize=8414124 memory=4126316290023845779 CPUtime=0.15 cores=0-7
/proc/4740/task/4759/stat : 4759 (java) S 4714 4714 4670 0 -1 1077944384 19 0 0 0 0 15 0 0 20 0 24 0 509545518 8616062976 30202 33554432000 4194304 4196468 140722847458496 139654861298224 139655638792834 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38268928 140722847466488 140722847466646 140722847466646 140722847469519 0
[pid=4740/tid=4761] ppid=4714 vsize=8414124 memory=7686721470233746583 CPUtime=0 cores=0-7
/proc/4740/task/4761/stat : 4761 (java) S 4714 4714 4670 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 509545592 8616062976 30202 33554432000 4194304 4196468 140722847458496 139654853264448 139655638806297 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 38268928 140722847466488 140722847466646 140722847466646 140722847469519 0
[pid=4740/tid=4763] ppid=4714 vsize=8414124 memory=1728 CPUtime=0 cores=0-7
/proc/4740/task/4763/stat : 4763 (java) S 4714 4714 4670 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 509545592 8616062976 30202 33554432000 4194304 4196468 140722847458496 139652270899344 139655638803613 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 38268928 140722847466488 140722847466646 140722847466646 140722847469519 0
[pid=4740/tid=4764] ppid=4714 vsize=8414124 memory=1398722017469774279 CPUtime=0 cores=0-7
/proc/4740/task/4764/stat : 4764 (java) S 4714 4714 4670 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 509545592 8616062976 30202 33554432000 4194304 4196468 140722847458496 139652539334672 139655638803613 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 38268928 140722847466488 140722847466646 140722847466646 140722847469519 0
[pid=4740/tid=4765] ppid=4714 vsize=8414124 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/4740/task/4765/stat : 4765 (java) S 4714 4714 4670 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 24 0 509545594 8616062976 30202 33554432000 4194304 4196468 140722847458496 139652002471472 139655638791893 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38268928 140722847466488 140722847466646 140722847466646 140722847469519 0
Current children cumulated CPU time: 2079.97 s
Current children cumulated vsize: 9253128 KiB
Current children cumulated memory: 576724 KiB

[startup+312.802 s]
/proc/loadavg: 7.93 4.66 1.99 9/225 4798
/proc/meminfo: memFree=24743936/32770688 swapFree=67001272/67108860
[pid=4714] ppid=4711 vsize=113128 memory=1476 CPUtime=82.2 cores=0-7
/proc/4714/stat : 4714 (scop.sh) S 4711 4714 4670 0 -1 4202496 583 66749 0 0 0 0 7909 311 20 0 1 0 509539544 115843072 369 33554432000 4194304 5098028 140735692790000 140735692786744 140042289283708 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 12648448 140735692792613 140735692792940 140735692792940 140735692795853 0
/proc/4714/statm: 28282 369 311 221 0 87 0
[pid=4740] ppid=4714 vsize=8414124 memory=120808 CPUtime=1.46 cores=0-7
/proc/4740/stat : 4740 (java) S 4714 4714 4670 0 -1 1077944320 20186 0 0 0 137 9 0 0 20 0 24 0 509545511 8616062976 30202 33554432000 4194304 4196468 140722847458496 140722847441040 139655638781687 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 38268928 140722847466488 140722847466646 140722847466646 140722847469519 0
/proc/4740/statm: 2103531 30202 3202 1 0 2064875 0
[pid=4760] ppid=4740 vsize=725876 memory=454440 CPUtime=2002.56 cores=0-7
/proc/4760/stat : 4760 (manyglucose-4.1) S 4740 4714 4670 0 -1 1077944320 493825 0 0 0 200035 221 0 0 20 0 9 0 509545591 743297024 113610 33554432000 4194304 4454172 140734893251824 140734893250224 140049431734914 0 4 0 8388610 18446744073709551615 0 0 17 4 0 0 0 0 0 6552832 6554400 12845056 140734893257578 140734893257776 140734893257776 140734893260730 0
/proc/4760/statm: 181469 113610 403 64 0 177137 0
[pid=4760/tid=4766] ppid=4740 vsize=725876 memory=7686721470233746583 CPUtime=250.71 cores=0-7
/proc/4760/task/4766/stat : 4766 (manyglucose-4.1) R 4740 4714 4670 0 -1 4202560 55173 0 0 0 25042 29 0 0 20 0 9 0 509545614 743297024 113610 33554432000 4194304 4454172 140734893251824 140049394818080 4351289 0 4 0 8388610 0 0 0 -1 4 0 0 0 0 0 6552832 6554400 12845056 140734893257578 140734893257776 140734893257776 140734893260730 0
[pid=4760/tid=4767] ppid=4740 vsize=725876 memory=1088 CPUtime=251.85 cores=0-7
/proc/4760/task/4767/stat : 4767 (manyglucose-4.1) R 4740 4714 4670 0 -1 4202560 64917 0 0 0 25156 29 0 0 20 0 9 0 509545614 743297024 113610 33554432000 4194304 4454172 140734893251824 140049386425480 4351231 0 4 0 8388610 0 0 0 -1 0 0 0 0 0 0 6552832 6554400 12845056 140734893257578 140734893257776 140734893257776 140734893260730 0
[pid=4760/tid=4768] ppid=4740 vsize=725876 memory=2832 CPUtime=249.81 cores=0-7
/proc/4760/task/4768/stat : 4768 (manyglucose-4.1) R 4740 4714 4670 0 -1 4202560 63168 0 0 0 24954 27 0 0 20 0 9 0 509545614 743297024 113610 33554432000 4194304 4454172 140734893251824 140049378032672 4351184 0 4 0 8388610 0 0 0 -1 6 0 0 0 0 0 6552832 6554400 12845056 140734893257578 140734893257776 140734893257776 140734893260730 0
[pid=4760/tid=4769] ppid=4740 vsize=725876 memory=1564 CPUtime=248.83 cores=0-7
/proc/4760/task/4769/stat : 4769 (manyglucose-4.1) R 4740 4714 4670 0 -1 4202560 59610 0 0 0 24854 29 0 0 20 0 9 0 509545614 743297024 113610 33554432000 4194304 4454172 140734893251824 140049369639968 4314707 0 4 0 8388610 0 0 0 -1 2 0 0 0 0 0 6552832 6554400 12845056 140734893257578 140734893257776 140734893257776 140734893260730 0
[pid=4760/tid=4770] ppid=4740 vsize=725876 memory=8392 CPUtime=250.37 cores=0-7
/proc/4760/task/4770/stat : 4770 (manyglucose-4.1) S 4740 4714 4670 0 -1 1077944384 59783 0 0 0 25014 23 0 0 20 0 9 0 509545614 743297024 113610 33554432000 4194304 4454172 140734893251824 140049361247344 140049431733973 0 4 0 8388610 18446744071579849748 0 0 -1 5 0 0 1 0 0 6552832 6554400 12845056 140734893257578 140734893257776 140734893257776 140734893260730 0
[pid=4760/tid=4771] ppid=4740 vsize=725876 memory=14008 CPUtime=250.87 cores=0-7
/proc/4760/task/4771/stat : 4771 (manyglucose-4.1) S 4740 4714 4670 0 -1 1077944384 55860 0 0 0 25062 25 0 0 20 0 9 0 509545614 743297024 113610 33554432000 4194304 4454172 140734893251824 140049352854640 140049431733973 0 4 0 8388610 18446744071579849748 0 0 -1 1 0 0 0 0 0 6552832 6554400 12845056 140734893257578 140734893257776 140734893257776 140734893260730 0
[pid=4760/tid=4772] ppid=4740 vsize=725876 memory=32368 CPUtime=248.09 cores=0-7
/proc/4760/task/4772/stat : 4772 (manyglucose-4.1) S 4740 4714 4670 0 -1 1077944384 65225 0 0 0 24783 26 0 0 20 0 9 0 509545614 743297024 113610 33554432000 4194304 4454172 140734893251824 140049344461936 140049431733973 0 4 0 8388610 18446744071579849748 0 0 -1 7 0 0 0 0 0 6552832 6554400 12845056 140734893257578 140734893257776 140734893257776 140734893260730 0
[pid=4760/tid=4773] ppid=4740 vsize=725876 memory=1476 CPUtime=251.72 cores=0-7
/proc/4760/task/4773/stat : 4773 (manyglucose-4.1) R 4740 4714 4670 0 -1 4202560 56176 0 0 0 25147 25 0 0 20 0 9 0 509545614 743297024 113610 33554432000 4194304 4454172 140734893251824 140049336069152 4349826 0 4 0 8388610 0 0 0 -1 3 0 0 0 0 0 6552832 6554400 12845056 140734893257578 140734893257776 140734893257776 140734893260730 0
[pid=4740/tid=4741] ppid=4714 vsize=8414124 memory=120808 CPUtime=0.83 cores=0-7
/proc/4740/task/4741/stat : 4741 (java) S 4714 4714 4670 0 -1 1077944384 16874 0 0 0 78 5 0 0 20 0 24 0 509545511 8616062976 30202 33554432000 4194304 4196468 140722847458496 139655610621856 139655638791893 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38268928 140722847466488 140722847466646 140722847466646 140722847469519 0
[pid=4740/tid=4742] ppid=4714 vsize=8414124 memory=454440 CPUtime=0 cores=0-7
/proc/4740/task/4742/stat : 4742 (java) S 4714 4714 4670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509545513 8616062976 30202 33554432000 4194304 4196468 140722847458496 139655643024016 139655638791893 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38268928 140722847466488 140722847466646 140722847466646 140722847469519 0
[pid=4740/tid=4743] ppid=4714 vsize=8414124 memory=-6581572559790380748 CPUtime=0 cores=0-7
/proc/4740/task/4743/stat : 4743 (java) S 4714 4714 4670 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 509545513 8616062976 30202 33554432000 4194304 4196468 140722847458496 139655443192336 139655638791893 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38268928 140722847466488 140722847466646 140722847466646 140722847469519 0
[pid=4740/tid=4744] ppid=4714 vsize=8414124 memory=-6442235823455361674 CPUtime=0 cores=0-7
/proc/4740/task/4744/stat : 4744 (java) S 4714 4714 4670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509545513 8616062976 30202 33554432000 4194304 4196468 140722847458496 139655442139536 139655638791893 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38268928 140722847466488 140722847466646 140722847466646 140722847469519 0
[pid=4740/tid=4745] ppid=4714 vsize=8414124 memory=-6224098205489846774 CPUtime=0 cores=0-7
/proc/4740/task/4745/stat : 4745 (java) S 4714 4714 4670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509545513 8616062976 30202 33554432000 4194304 4196468 140722847458496 139655441086736 139655638791893 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38268928 140722847466488 140722847466646 140722847466646 140722847469519 0
[pid=4740/tid=4746] ppid=4714 vsize=8414124 memory=-6329131692625085382 CPUtime=0 cores=0-7
/proc/4740/task/4746/stat : 4746 (java) S 4714 4714 4670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509545513 8616062976 30202 33554432000 4194304 4196468 140722847458496 139655440034960 139655638791893 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38268928 140722847466488 140722847466646 140722847466646 140722847469519 0
[pid=4740/tid=4747] ppid=4714 vsize=8414124 memory=3612 CPUtime=0 cores=0-7
/proc/4740/task/4747/stat : 4747 (java) S 4714 4714 4670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509545513 8616062976 30202 33554432000 4194304 4196468 140722847458496 139655438982160 139655638791893 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38268928 140722847466488 140722847466646 140722847466646 140722847469519 0
[pid=4740/tid=4748] ppid=4714 vsize=8414124 memory=62160 CPUtime=0 cores=0-7
/proc/4740/task/4748/stat : 4748 (java) S 4714 4714 4670 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 509545513 8616062976 30202 33554432000 4194304 4196468 140722847458496 139655437929360 139655638791893 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38268928 140722847466488 140722847466646 140722847466646 140722847469519 0
[pid=4740/tid=4749] ppid=4714 vsize=8414124 memory=984 CPUtime=0 cores=0-7
/proc/4740/task/4749/stat : 4749 (java) S 4714 4714 4670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509545513 8616062976 30202 33554432000 4194304 4196468 140722847458496 139655436876560 139655638791893 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38268928 140722847466488 140722847466646 140722847466646 140722847469519 0
[pid=4740/tid=4750] ppid=4714 vsize=8414124 memory=2044 CPUtime=0 cores=0-7
/proc/4740/task/4750/stat : 4750 (java) S 4714 4714 4670 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 24 0 509545514 8616062976 30202 33554432000 4194304 4196468 140722847458496 139654866561392 139655638792834 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38268928 140722847466488 140722847466646 140722847466646 140722847469519 0
[pid=4740/tid=4751] ppid=4714 vsize=8414124 memory=1368 CPUtime=0 cores=0-7
/proc/4740/task/4751/stat : 4751 (java) S 4714 4714 4670 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 509545515 8616062976 30202 33554432000 4194304 4196468 140722847458496 139653948630048 139655638791893 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38268928 140722847466488 140722847466646 140722847466646 140722847469519 0
[pid=4740/tid=4752] ppid=4714 vsize=8414124 memory=1056 CPUtime=0 cores=0-7
/proc/4740/task/4752/stat : 4752 (java) S 4714 4714 4670 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 509545515 8616062976 30202 33554432000 4194304 4196468 140722847458496 139653814408048 139655638791893 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38268928 140722847466488 140722847466646 140722847466646 140722847469519 0
[pid=4740/tid=4753] ppid=4714 vsize=8414124 memory=772 CPUtime=0 cores=0-7
/proc/4740/task/4753/stat : 4753 (java) S 4714 4714 4670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509545518 8616062976 30202 33554432000 4194304 4196468 140722847458496 139653439903568 139655638800283 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38268928 140722847466488 140722847466646 140722847466646 140722847469519 0
[pid=4740/tid=4754] ppid=4714 vsize=8414124 memory=1696 CPUtime=0.05 cores=0-7
/proc/4740/task/4754/stat : 4754 (java) S 4714 4714 4670 0 -1 1077944384 586 0 0 0 5 0 0 0 20 0 24 0 509545518 8616062976 30202 33554432000 4194304 4196468 140722847458496 139654865509232 139655638792834 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38268928 140722847466488 140722847466646 140722847466646 140722847469519 0
[pid=4740/tid=4755] ppid=4714 vsize=8414124 memory=1228 CPUtime=0.09 cores=0-7
/proc/4740/task/4755/stat : 4755 (java) S 4714 4714 4670 0 -1 1077944384 252 0 0 0 9 0 0 0 20 0 24 0 509545518 8616062976 30202 33554432000 4194304 4196468 140722847458496 139654864456432 139655638792834 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38268928 140722847466488 140722847466646 140722847466646 140722847469519 0
[pid=4740/tid=4756] ppid=4714 vsize=8414124 memory=6124 CPUtime=0.05 cores=0-7
/proc/4740/task/4756/stat : 4756 (java) S 4714 4714 4670 0 -1 1077944384 313 0 0 0 5 0 0 0 20 0 24 0 509545518 8616062976 30202 33554432000 4194304 4196468 140722847458496 139654863403632 139655638792834 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38268928 140722847466488 140722847466646 140722847466646 140722847469519 0
[pid=4740/tid=4757] ppid=4714 vsize=8414124 memory=780 CPUtime=0.22 cores=0-7
/proc/4740/task/4757/stat : 4757 (java) S 4714 4714 4670 0 -1 1077944384 726 0 0 0 21 1 0 0 20 0 24 0 509545518 8616062976 30202 33554432000 4194304 4196468 140722847458496 139654862350832 139655638792834 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38268928 140722847466488 140722847466646 140722847466646 140722847469519 0
[pid=4740/tid=4758] ppid=4714 vsize=8414124 memory=3516 CPUtime=0 cores=0-7
/proc/4740/task/4758/stat : 4758 (java) S 4714 4714 4670 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 509545518 8616062976 30202 33554432000 4194304 4196468 140722847458496 139652941998688 139655638791893 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38268928 140722847466488 140722847466646 140722847466646 140722847469519 0
[pid=4740/tid=4759] ppid=4714 vsize=8414124 memory=1088 CPUtime=0.15 cores=0-7
/proc/4740/task/4759/stat : 4759 (java) S 4714 4714 4670 0 -1 1077944384 19 0 0 0 0 15 0 0 20 0 24 0 509545518 8616062976 30202 33554432000 4194304 4196468 140722847458496 139654861298224 139655638792834 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38268928 140722847466488 140722847466646 140722847466646 140722847469519 0
[pid=4740/tid=4761] ppid=4714 vsize=8414124 memory=2832 CPUtime=0 cores=0-7
/proc/4740/task/4761/stat : 4761 (java) S 4714 4714 4670 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 509545592 8616062976 30202 33554432000 4194304 4196468 140722847458496 139654853264448 139655638806297 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 38268928 140722847466488 140722847466646 140722847466646 140722847469519 0
[pid=4740/tid=4763] ppid=4714 vsize=8414124 memory=1564 CPUtime=0 cores=0-7
/proc/4740/task/4763/stat : 4763 (java) S 4714 4714 4670 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 509545592 8616062976 30202 33554432000 4194304 4196468 140722847458496 139652270899344 139655638803613 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 38268928 140722847466488 140722847466646 140722847466646 140722847469519 0
[pid=4740/tid=4764] ppid=4714 vsize=8414124 memory=8392 CPUtime=0 cores=0-7
/proc/4740/task/4764/stat : 4764 (java) S 4714 4714 4670 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 509545592 8616062976 30202 33554432000 4194304 4196468 140722847458496 139652539334672 139655638803613 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 38268928 140722847466488 140722847466646 140722847466646 140722847469519 0
[pid=4740/tid=4765] ppid=4714 vsize=8414124 memory=14008 CPUtime=0 cores=0-7
/proc/4740/task/4765/stat : 4765 (java) S 4714 4714 4670 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 24 0 509545594 8616062976 30202 33554432000 4194304 4196468 140722847458496 139652002471472 139655638791893 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38268928 140722847466488 140722847466646 140722847466646 140722847469519 0
Current children cumulated CPU time: 2086.22 s
Current children cumulated vsize: 9253128 KiB
Current children cumulated memory: 576724 KiB

[startup+313.201 s]
/proc/loadavg: 7.93 4.66 1.99 4/220 4798
/proc/meminfo: memFree=24744184/32770688 swapFree=67001272/67108860
[pid=4714] ppid=4711 vsize=113128 memory=1476 CPUtime=82.2 cores=0-7
/proc/4714/stat : 4714 (scop.sh) S 4711 4714 4670 0 -1 4202496 583 66749 0 0 0 0 7909 311 20 0 1 0 509539544 115843072 369 33554432000 4194304 5098028 140735692790000 140735692786744 140042289283708 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 12648448 140735692792613 140735692792940 140735692792940 140735692795853 0
/proc/4714/statm: 28282 369 311 221 0 87 0
[pid=4740] ppid=4714 vsize=8283048 memory=132976 CPUtime=2005.93 cores=0-7
/proc/4740/stat : 4740 (java) S 4714 4714 4670 0 -1 1077944320 22703 493887 0 0 162 12 200197 222 20 0 22 0 509545511 8481841152 33244 33554432000 4194304 4196468 140722847458496 140722847441040 139655638781687 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 38268928 140722847466488 140722847466646 140722847466646 140722847469519 0
/proc/4740/statm: 2070762 33244 3223 1 0 2032106 0
[pid=4740/tid=4741] ppid=4714 vsize=8283048 memory=0 CPUtime=2005.08 cores=0-7
/proc/4740/task/4741/stat : 4741 (java) R 4714 4714 4670 0 -1 4202560 17105 493887 0 0 83 6 200197 222 20 0 22 0 509545511 8481841152 33244 33554432000 4194304 4196468 140722847458496 139655610616000 139655638793622 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38268928 140722847466488 140722847466646 140722847466646 140722847469519 0
[pid=4740/tid=4742] ppid=4714 vsize=8283048 memory=7377828980971431984 CPUtime=2004.19 cores=0-7
/proc/4740/task/4742/stat : 4742 (java) S 4714 4714 4670 0 -1 1077944384 1 493887 0 0 0 0 200197 222 20 0 22 0 509545513 8481841152 33244 33554432000 4194304 4196468 140722847458496 139655643024016 139655638791893 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38268928 140722847466488 140722847466646 140722847466646 140722847469519 0
[pid=4740/tid=4743] ppid=4714 vsize=8283048 memory=2319831393817201072 CPUtime=2004.19 cores=0-7
/proc/4740/task/4743/stat : 4743 (java) S 4714 4714 4670 0 -1 1077944384 3 493887 0 0 0 0 200197 222 20 0 22 0 509545513 8481841152 33244 33554432000 4194304 4196468 140722847458496 139655443192336 139655638791893 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38268928 140722847466488 140722847466646 140722847466646 140722847469519 0
[pid=4740/tid=4744] ppid=4714 vsize=8283048 memory=-7824251494391044452 CPUtime=2004.19 cores=0-7
/proc/4740/task/4744/stat : 4744 (java) S 4714 4714 4670 0 -1 1077944384 1 493887 0 0 0 0 200197 222 20 0 22 0 509545513 8481841152 33244 33554432000 4194304 4196468 140722847458496 139655442139536 139655638791893 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38268928 140722847466488 140722847466646 140722847466646 140722847469519 0
[pid=4740/tid=4745] ppid=4714 vsize=8283048 memory=120808 CPUtime=2004.19 cores=0-7
/proc/4740/task/4745/stat : 4745 (java) S 4714 4714 4670 0 -1 1077944384 1 493887 0 0 0 0 200197 222 20 0 22 0 509545513 8481841152 33244 33554432000 4194304 4196468 140722847458496 139655441086736 139655638791893 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38268928 140722847466488 140722847466646 140722847466646 140722847469519 0
[pid=4740/tid=4746] ppid=4714 vsize=8283048 memory=454440 CPUtime=2004.19 cores=0-7
/proc/4740/task/4746/stat : 4746 (java) S 4714 4714 4670 0 -1 1077944384 1 493887 0 0 0 0 200197 222 20 0 22 0 509545513 8481841152 33244 33554432000 4194304 4196468 140722847458496 139655440034960 139655638791893 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38268928 140722847466488 140722847466646 140722847466646 140722847469519 0
[pid=4740/tid=4747] ppid=4714 vsize=8283048 memory=3516 CPUtime=2004.19 cores=0-7
/proc/4740/task/4747/stat : 4747 (java) S 4714 4714 4670 0 -1 1077944384 1 493887 0 0 0 0 200197 222 20 0 22 0 509545513 8481841152 33244 33554432000 4194304 4196468 140722847458496 139655438982160 139655638791893 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38268928 140722847466488 140722847466646 140722847466646 140722847469519 0
[pid=4740/tid=4748] ppid=4714 vsize=8283048 memory=1088 CPUtime=2004.19 cores=0-7
/proc/4740/task/4748/stat : 4748 (java) S 4714 4714 4670 0 -1 1077944384 2 493887 0 0 0 0 200197 222 20 0 22 0 509545513 8481841152 33244 33554432000 4194304 4196468 140722847458496 139655437929360 139655638791893 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38268928 140722847466488 140722847466646 140722847466646 140722847469519 0
[pid=4740/tid=4749] ppid=4714 vsize=8283048 memory=2832 CPUtime=2004.19 cores=0-7
/proc/4740/task/4749/stat : 4749 (java) S 4714 4714 4670 0 -1 1077944384 1 493887 0 0 0 0 200197 222 20 0 22 0 509545513 8481841152 33244 33554432000 4194304 4196468 140722847458496 139655436876560 139655638791893 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38268928 140722847466488 140722847466646 140722847466646 140722847469519 0
[pid=4740/tid=4750] ppid=4714 vsize=8283048 memory=1476 CPUtime=2004.19 cores=0-7
/proc/4740/task/4750/stat : 4750 (java) S 4714 4714 4670 0 -1 1077944384 9 493887 0 0 0 0 200197 222 20 0 22 0 509545514 8481841152 33244 33554432000 4194304 4196468 140722847458496 139654866561392 139655638792834 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38268928 140722847466488 140722847466646 140722847466646 140722847469519 0
[pid=4740/tid=4751] ppid=4714 vsize=8283048 memory=288230574492221466 CPUtime=2004.19 cores=0-7
/proc/4740/task/4751/stat : 4751 (java) S 4714 4714 4670 0 -1 1077944384 13 493887 0 0 0 0 200197 222 20 0 22 0 509545515 8481841152 33244 33554432000 4194304 4196468 140722847458496 139653948630048 139655638791893 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38268928 140722847466488 140722847466646 140722847466646 140722847469519 0
[pid=4740/tid=4752] ppid=4714 vsize=8283048 memory=288230596050944315 CPUtime=2004.19 cores=0-7
/proc/4740/task/4752/stat : 4752 (java) S 4714 4714 4670 0 -1 1077944384 21 493887 0 0 0 0 200197 222 20 0 22 0 509545515 8481841152 33244 33554432000 4194304 4196468 140722847458496 139653814408048 139655638791893 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38268928 140722847466488 140722847466646 140722847466646 140722847469519 0
[pid=4740/tid=4753] ppid=4714 vsize=8283048 memory=14689699524513027 CPUtime=2004.19 cores=0-7
/proc/4740/task/4753/stat : 4753 (java) S 4714 4714 4670 0 -1 1077944384 1 493887 0 0 0 0 200197 222 20 0 22 0 509545518 8481841152 33244 33554432000 4194304 4196468 140722847458496 139653439903568 139655638800283 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38268928 140722847466488 140722847466646 140722847466646 140722847469519 0
[pid=4740/tid=4754] ppid=4714 vsize=8283048 memory=120808 CPUtime=2004.27 cores=0-7
/proc/4740/task/4754/stat : 4754 (java) R 4714 4714 4670 0 -1 4202560 636 493887 0 0 8 0 200197 222 20 0 22 0 509545518 8481841152 33244 33554432000 4194304 4196468 140722847458496 139654865509232 139655618015666 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38268928 140722847466488 140722847466646 140722847466646 140722847469519 0
[pid=4740/tid=4755] ppid=4714 vsize=8283048 memory=454440 CPUtime=2004.31 cores=0-7
/proc/4740/task/4755/stat : 4755 (java) S 4714 4714 4670 0 -1 1077944384 269 493887 0 0 12 0 200197 222 20 0 22 0 509545518 8481841152 33244 33554432000 4194304 4196468 140722847458496 139654864456432 139655638792834 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38268928 140722847466488 140722847466646 140722847466646 140722847469519 0
[pid=4740/tid=4756] ppid=4714 vsize=8283048 memory=14068 CPUtime=2004.28 cores=0-7
/proc/4740/task/4756/stat : 4756 (java) S 4714 4714 4670 0 -1 1077944384 579 493887 0 0 9 0 200197 222 20 0 22 0 509545518 8481841152 33244 33554432000 4194304 4196468 140722847458496 139654863403632 139655638792834 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38268928 140722847466488 140722847466646 140722847466646 140722847469519 0
[pid=4740/tid=4757] ppid=4714 vsize=8283048 memory=2120 CPUtime=2004.46 cores=0-7
/proc/4740/task/4757/stat : 4757 (java) S 4714 4714 4670 0 -1 1077944384 959 493887 0 0 26 1 200197 222 20 0 22 0 509545518 8481841152 33244 33554432000 4194304 4196468 140722847458496 139654862350832 139655638792834 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38268928 140722847466488 140722847466646 140722847466646 140722847469519 0
[pid=4740/tid=4758] ppid=4714 vsize=8283048 memory=496 CPUtime=2004.19 cores=0-7
/proc/4740/task/4758/stat : 4758 (java) S 4714 4714 4670 0 -1 1077944384 3 493887 0 0 0 0 200197 222 20 0 22 0 509545518 8481841152 33244 33554432000 4194304 4196468 140722847458496 139652941998688 139655638791893 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38268928 140722847466488 140722847466646 140722847466646 140722847469519 0
[pid=4740/tid=4759] ppid=4714 vsize=8283048 memory=1556 CPUtime=2004.34 cores=0-7
/proc/4740/task/4759/stat : 4759 (java) S 4714 4714 4670 0 -1 1077944384 19 493887 0 0 0 15 200197 222 20 0 22 0 509545518 8481841152 33244 33554432000 4194304 4196468 140722847458496 139654861298224 139655638792834 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38268928 140722847466488 140722847466646 140722847466646 140722847469519 0
[pid=4740/tid=4761] ppid=4714 vsize=8283048 memory=928 CPUtime=2004.19 cores=0-7
/proc/4740/task/4761/stat : 4761 (java) S 4714 4714 4670 0 -1 1077944384 25 493887 0 0 0 0 200197 222 20 0 22 0 509545592 8481841152 33244 33554432000 4194304 4196468 140722847458496 139654853263632 139655638792834 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38268928 140722847466488 140722847466646 140722847466646 140722847469519 0
[pid=4740/tid=4765] ppid=4714 vsize=8283048 memory=1444 CPUtime=2004.19 cores=0-7
/proc/4740/task/4765/stat : 4765 (java) S 4714 4714 4670 0 -1 1077944384 9 493887 0 0 0 0 200197 222 20 0 22 0 509545594 8481841152 33244 33554432000 4194304 4196468 140722847458496 139652002473264 139655638792834 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38268928 140722847466488 140722847466646 140722847466646 140722847469519 0
Current children cumulated CPU time: 2088.13 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 134452 KiB

Child status: 0
Real time (s): 313.23
CPU time (s): 2088.21
CPU user time (s): 2082.73
CPU system time (s): 5.47705
CPU usage (%): 666.668
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 6600492

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2082.73
system time used= 5.47705
maximum resident set size= 6599512
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 584007
page faults= 0
swaps= 0
block input operations= 0
block output operations= 7000
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 95283
involuntary context switches= 21674


# summary of solver processes directly reported to runsolver:
#   pid: 4714
#   total CPU time (s): 2088.21
#   total CPU user time (s): 2082.73
#   total CPU system time (s): 5.47705

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.41976 second user time and 4.04733 second system time

The end

Launcher Data 

Begin job on node116 at 2019-09-24 16:38:58
IDJOB=4405274
IDBENCH=126080
IDSOLVER=2867
FILE ID=node116/4405274-1569335979
RUNJOBID= node116-1569335937-4697
PBS_JOBID= 21705067
Free space on /tmp= 6496 MiB

SOLVER NAME= Fun-sCOP order+ManyGlucose (2019-09-22)
BENCH NAME= XCSP17/QRandom/QRandom-mdd-7-25-5/mdd-7-25-5-56-01.xml
COMMAND LINE= DIR/scop.sh 22g DIR/scop.jar -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-4405274-1569335979/watcher-4405274-1569335979 -o /tmp/evaluation-result-4405274-1569335979/solver-4405274-1569335979 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node116-1569335937-4697 --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-4405274-1569335979.xml

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

MD5SUM BENCH= 38fbb435e56fa73fec05cbb523a31b1b
RANDOM SEED=2101077985

node116.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		: 2667.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.12
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		: 2667.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.12
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		: 2667.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.12
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		: 2667.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.12
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		: 2667.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	: 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		: 2667.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	: 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		: 2667.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	: 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		: 2667.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:       32770688 kB
MemFree:        25313888 kB
MemAvailable:   31845900 kB
Buffers:           93612 kB
Cached:          6602620 kB
SwapCached:         3388 kB
Active:          3343628 kB
Inactive:        3358124 kB
Active(anon):       7468 kB
Inactive(anon):    54304 kB
Active(file):    3336160 kB
Inactive(file):  3303820 kB
Unevictable:      109496 kB
Mlocked:          109496 kB
SwapTotal:      67108860 kB
SwapFree:       67001272 kB
Dirty:             53572 kB
Writeback:             0 kB
AnonPages:        112724 kB
Mapped:            55676 kB
Shmem:             47768 kB
Slab:             349080 kB
SReclaimable:     320492 kB
SUnreclaim:        28588 kB
KernelStack:        3296 kB
PageTables:         5292 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494204 kB
Committed_AS:     513888 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350212 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     67584 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      116160 kB
DirectMap2M:    33429504 kB

Free space on /tmp at the end= 6476 MiB
End job on node116 at 2019-09-24 16:44:11