Trace number 4392355

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

NameScheduling/Scheduling-jsdec-sadeh/
Sadeh-enddr1-7.xml
MD5SUM7d172624d7d2d86f32f8d29666a5f8b7
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 benchmark0.021906
Satisfiable
(Un)Satisfiability was proved
Number of variables50
Number of constraints95
Number of domains1
Minimum domain size162
Maximum domain size162
Distribution of domain sizes[{"size":162,"count":50}]
Minimum variable degree3
Maximum variable degree4
Distribution of variable degrees[{"degree":3,"count":20},{"degree":4,"count":30}]
Minimum constraint arity1
Maximum constraint arity10
Distribution of constraint arities[{"arity":1,"count":50},{"arity":2,"count":40},{"arity":10,"count":5}]
Number of extensional constraints0
Number of intensional constraints90
Distribution of constraint types[{"type":"intension","count":90},{"type":"noOverlap","count":5}]
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-14758-serial-file.bin HOME/instance-4392355-1568416768.xml
0.66/1.02	
0.66/1.02	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
0.66/1.02	
0.73/1.12	c BEGIN-Prog: Sat Sep 14 01:18:50 CEST 2019
0.73/1.12	c PID: 14761
0.73/1.12	c IP: 172.20.3.151
0.73/1.12	c HOST: node151.alineos.net
0.73/1.13	c (0,0) Parsing Begin
1.53/1.51	c (0,0) Parsing End
1.53/1.52	c (0,0) CSP: 50 int (0 aux), 0 bool (0 aux), 95 ctr, max domain size 162
1.53/1.52	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.53/1.52	c (0,0) Constraint Name Generate Begin
1.53/1.52	c (0,0) Ctr:HOME/instance-4392355-1568416768.xml,Add:And:Le:NoOverlap:Num:Var
1.53/1.52	c (0,0) Constraint Name Generate End
1.53/1.52	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.53/1.52	c (0,0) CSP to CSPinCNF Begin
1.70/1.61	c (0,0) translated 10 (10%) constraints
1.70/1.62	c (0,0) translated 19 (20%) constraints
1.70/1.63	c (0,0) translated 29 (30%) constraints
1.70/1.64	c (0,0) translated 38 (40%) constraints
1.70/1.64	c (0,0) translated 48 (50%) constraints
1.70/1.65	c (0,0) translated 57 (60%) constraints
1.70/1.66	c (0,0) translated 67 (70%) constraints
1.70/1.66	c (0,0) translated 76 (80%) constraints
1.70/1.67	c (0,0) translated 86 (90%) constraints
2.18/1.80	c (0,0) translated 95 (100%) constraints
2.18/1.81	c (0,0) ===========================================
2.18/1.81	c (0,0) Order
2.18/1.81	c (0,0) ===========================================
2.18/1.82	c (0,0) translated 37 (10%) constraints
2.18/1.82	c (0,0) translated 73 (20%) constraints
2.18/1.83	c (0,0) translated 110 (30%) constraints
2.18/1.83	c (0,0) translated 146 (40%) constraints
2.18/1.84	c (0,0) translated 183 (50%) constraints
2.18/1.84	c (0,0) translated 219 (60%) constraints
2.18/1.85	c (0,0) translated 256 (70%) constraints
2.18/1.85	c (0,0) translated 292 (80%) constraints
2.18/1.86	c (0,0) translated 329 (90%) constraints
2.18/1.86	c (0,0) translated 365 (100%) constraints
2.18/1.87	c (0,0) CSP to CSPinCNF End
2.18/1.87	c (0,0) CSP: 50 int (0 aux), 0 bool (0 aux), 365 ctr, max domain size 143
2.18/1.87	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 23 MiB used (max 0 MiB)
2.18/1.87	c (0,0) CSPinCNF Propagation Begin
2.18/1.88	c (0,0) 0 values, 0 unsatisfiable literals, and 100 valid clauses are removed
2.18/1.88	c (0,0) CSPinCNF Propagation End
2.18/1.88	c (0,0) CSP: 50 int (0 aux), 0 bool (0 aux), 265 ctr, max domain size 143
2.18/1.88	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 23 MiB used (max 0 MiB)
2.18/1.88	c (0,0) Simplify CSPinCNF Begin
2.46/1.95	c (0,0) Simplify CSPinCNF End
2.46/1.95	c (0,0) CSP: 50 int (0 aux), 450 bool (450 aux), 715 ctr, max domain size 143
2.46/1.95	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 23 MiB used (max 0 MiB)
2.46/1.95	c (0,0) Calculate Precise Domain Begin
2.46/1.95	c (0,0) 0 values are removed by re-calculation
2.46/1.95	c (0,0) Calculate Precise Domain End
2.46/1.95	c (0,0) CSP: 50 int (0 aux), 450 bool (450 aux), 715 ctr, max domain size 143
2.46/1.95	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 23 MiB used (max 0 MiB)
2.46/1.95	c (0,0) CSPinCNF to SatSolver Begin
3.07/2.16	c (1,1) 72 (10 %) CSP clauses are encoded (0 SAT variables, 12076 SAT clauses)
3.43/2.21	c (1,1) 143 (20 %) CSP clauses are encoded (0 SAT variables, 17069 SAT clauses)
3.43/2.25	c (1,1) 215 (30 %) CSP clauses are encoded (0 SAT variables, 22098 SAT clauses)
3.43/2.28	c (1,1) 286 (40 %) CSP clauses are encoded (0 SAT variables, 26732 SAT clauses)
3.83/2.31	c (1,1) 358 (50 %) CSP clauses are encoded (0 SAT variables, 31529 SAT clauses)
3.83/2.34	c (1,1) 429 (60 %) CSP clauses are encoded (0 SAT variables, 36155 SAT clauses)
3.83/2.37	c (1,1) 501 (70 %) CSP clauses are encoded (0 SAT variables, 41131 SAT clauses)
3.83/2.39	c (1,1) 572 (80 %) CSP clauses are encoded (0 SAT variables, 46206 SAT clauses)
4.15/2.42	c (1,1) 644 (90 %) CSP clauses are encoded (0 SAT variables, 51086 SAT clauses)
4.15/2.44	c (1,1) 715 (100 %) CSP clauses are encoded (0 SAT variables, 55792 SAT clauses)
4.15/2.44	c (1,1) CSPinCNF to SatSolver End
4.15/2.44	c (1,1) Heap : 563 MiB used (max 21589 MiB), NonHeap : 26 MiB used (max 0 MiB)
4.15/2.44	c (1,1) 6149 bool, 55897 clause
4.15/2.44	c (1,1) Export Begin
4.31/2.52	c (1,1) Export to HOME/scop-14758-serial-file.bin
4.31/2.52	c (1,1) Export End
4.31/2.52	c (1,1) Export File Size: 0.01 MB
4.31/2.52	c (1,1) 0,0,0,0,0,0,1,STOP-AFTER(DIMACS)
4.31/2.52	c END-Prog: Sat Sep 14 01:18:51 CEST 2019
4.31/2.54	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-14758-serial-file.bin
4.39/3.00	c (0,0) Read Serial File Begin
4.39/3.00	c (0,0) HOME/scop-14758-serial-file.bin
5.27/3.20	c (0,0) Read Serial File End
5.27/3.21	
5.27/3.21	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
5.27/3.21	(Solving Process)
5.27/3.21	
5.27/3.24	c BEGIN-Prog: Sat Sep 14 01:18:52 CEST 2019
5.27/3.24	c PID: 14781
5.27/3.24	c IP: 172.20.3.151
5.27/3.24	c HOST: node151.alineos.net
5.27/3.24	c (0,0) SatSolver.solve Begin
5.27/3.24	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4392355-1568416768.xml-scop-14761.cnf
5.27/3.27	c (0,0) c
5.27/3.27	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)
5.27/3.27	c (0,0) c
5.27/3.27	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
5.27/3.27	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
5.27/3.27	c (0,0) c ========================================[ Problem Statistics ]===========================================
5.27/3.27	c (0,0) c |                                                                                                       |
5.27/3.28	c (0,0) c |  Number of variables:          6149                                                                   |
5.27/3.28	c (0,0) c |  Number of clauses:           54169                                                                   |
5.27/3.28	c (0,0) c |  Parse time:                   0.02 s                                                                 |
5.27/3.28	c (0,0) c |                                                                                                       |
5.50/3.33	c (0,0) c |  Simplification time:          0.04 s                                                                 |
5.50/3.33	c (0,0) c |                                                                                                       |
5.50/3.33	c (0,0) c |  Generating clones                                                                                    |
5.50/3.35	c (0,0) c |  all clones generated. Memory =    55.88Mb.                                                           |
5.50/3.35	c (0,0) c ========================================================================================================|
5.50/3.35	c (0,0) c
5.50/3.35	c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
5.50/3.35	c (0,0) c
5.50/3.35	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
5.50/3.35	c (0,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
5.50/3.35	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
5.50/3.35	c (0,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
5.50/3.35	c (0,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
5.50/3.35	c (0,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
5.50/3.35	c (0,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
5.50/3.35	c (0,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
5.50/3.35	c (0,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
5.50/3.35	c (0,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
5.50/3.35	c (0,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
5.50/3.35	c (0,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
5.50/3.35	c (0,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
5.50/3.35	c (0,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
5.50/3.35	c (0,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
5.50/3.35	c (0,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
5.50/3.35	c (0,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
5.50/3.35	c (0,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
5.50/3.35	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
5.50/3.37	c (0,0) c
5.50/3.37	c (0,0) c real time : 0.102434 s
5.50/3.37	c (0,0) c cpu time  : 0.119095 s
5.50/3.37	c (0,0) c
5.50/3.37	c (0,0) c
5.50/3.37	c (0,0) c
5.50/3.37	c (0,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
5.50/3.37	c (0,0) c
5.50/3.37	c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
5.50/3.37	c (0,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
5.50/3.37	c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
5.50/3.37	c (0,0) c | Conflicts     |             196 |          5 |          6 |          0 |          7 |         23 |        109 |          2 |         44 |
5.50/3.37	c (0,0) c | Decisions     |            1953 |        146 |        162 |        142 |        234 |        272 |        373 |        230 |        394 |
5.50/3.37	c (0,0) c | Propagations  |          109105 |       8186 |       6877 |       5557 |       7169 |       9620 |      48706 |       6336 |      16654 |
5.50/3.37	c (0,0) c | ReduceDBs     |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
5.50/3.37	c (0,0) c | SimpDBs       |               8 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |
5.50/3.37	c (0,0) c | Restarts      |               8 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |
5.50/3.37	c (0,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
5.50/3.37	c (0,0) c | PropBinClauses|          215479 |      15075 |      13002 |      10762 |      14105 |      19852 |      93620 |      12020 |      37043 |
5.50/3.37	c (0,0) c | PropPreBlocker|          894445 |      64221 |      59637 |      48875 |      63093 |      84051 |     366355 |      54710 |     153503 |
5.50/3.37	c (0,0) c | PropNotBlocker|          371328 |      37148 |      37073 |      34202 |      36489 |      41683 |      90689 |      35341 |      58703 |
5.50/3.37	c (0,0) c | LitFullScans  |         1553134 |     119612 |     112316 |      95962 |     116341 |     151405 |     589464 |     104296 |     263738 |
5.50/3.37	c (0,0) c | LitScanFracts |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
5.50/3.37	c (0,0) c | DecisionLevel0|               8 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |
5.50/3.37	c (0,0) c | Periods       |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
5.50/3.37	c (0,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
5.50/3.37	c (0,0) c | Avg_Trail     |                 |       3979 |       4395 |          0 |       4909 |       4579 |       4321 |       4276 |       3997 |
5.50/3.37	c (0,0) c | Avg_DL        |                 |         22 |         25 |          0 |         29 |         32 |         32 |         43 |         36 |
5.50/3.37	c (0,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
5.50/3.37	c (0,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
5.50/3.37	c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
5.50/3.37	c (0,0) c | Exported      |               3 |          0 |          0 |          0 |          1 |          0 |          0 |          0 |          2 |
5.50/3.37	c (0,0) c | Imported      |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
5.50/3.37	c (0,0) c | Good          |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
5.50/3.37	c (0,0) c | Purge         |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
5.50/3.37	c (0,0) c | Promoted      |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
5.50/3.37	c (0,0) c | Remove_Imp    |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
5.50/3.37	c (0,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
5.50/3.37	c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
5.50/3.37	c (0,0) c | Unaries       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
5.50/3.37	c (0,0) c | Binaries      |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
5.50/3.37	c (0,0) c | Glues         |                 |          0 |          0 |          0 |          1 |          0 |          0 |          0 |          2 |
5.50/3.37	c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
5.50/3.37	c (0,0) c | Orig_Seen     |             0 % |         56 |         44 |          0 |         52 |        143 |        939 |         10 |        388 |
5.50/3.37	c (0,0) c | Diff Orig seen|                 |      X     | -       12 | -       56 | -        4 |         87 |        883 | -       46 |        332 |
5.50/3.37	c (0,0) c | Hamming       |            20 % |      X     |       1460 |       1089 |        975 |       1239 |       1746 |       1045 |       1140 |
5.50/3.37	c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
5.50/3.37	c (0,0) c | RunningTime   |                 |    0.0  98%|    0.0 100%|    0.0 100%|    0.0 100%|    0.0 100%|    0.0 100%|    0.0 100%|    0.0 100%|
5.50/3.37	c (0,0) c | WaitingTime   |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
5.50/3.37	c (0,0) c | ExchangingTime|                 |    0.0   2%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
5.50/3.37	c (0,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%|
5.50/3.37	c (0,0) c | SolvingTime   |                 |    0.0     |    0.0     |    0.0     |    0.0     |    0.0     |    0.0     |    0.0     |    0.0     |
5.50/3.37	c (0,0) c | PropagationTim|                 |    0.0  96%|    0.0  98%|    0.0  96%|    0.0  99%|    0.0  92%|    0.0  94%|    0.0  99%|    0.0  96%|
5.50/3.37	c (0,0) c | AnalysisTime  |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   1%|    0.0   3%|    0.0   0%|    0.0   2%|
5.50/3.37	c (0,0) c | ReductionTime |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
5.50/3.37	c (0,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%|
5.50/3.37	c (0,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%|
5.50/3.37	c (0,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%|
5.50/3.37	c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
5.50/3.37	c (0,0) c
5.50/3.37	c (0,0) c
5.50/3.37	c (0,0) c Threads : 8
5.50/3.37	c (0,0) c Winner : 0
5.50/3.37	c (0,0) c Conflicts_0 : 5
5.50/3.37	c (0,0) c Conflicts_1 : 6
5.50/3.37	c (0,0) c Conflicts_2 : 0
5.50/3.37	c (0,0) c Conflicts_3 : 7
5.50/3.37	c (0,0) c Conflicts_4 : 23
5.50/3.37	c (0,0) c Conflicts_5 : 109
5.50/3.37	c (0,0) c Conflicts_6 : 2
5.50/3.37	c (0,0) c Conflicts_7 : 44
5.50/3.37	c (0,0) c Conflicts_total : 196
5.50/3.37	c (0,0) c Conflicts_winner : 5
5.50/3.37	c (0,0) c Decisions_0 : 146
5.50/3.37	c (0,0) c Decisions_1 : 162
5.50/3.37	c (0,0) c Decisions_2 : 142
5.50/3.37	c (0,0) c Decisions_3 : 234
5.50/3.37	c (0,0) c Decisions_4 : 272
5.50/3.37	c (0,0) c Decisions_5 : 373
5.50/3.37	c (0,0) c Decisions_6 : 230
5.50/3.37	c (0,0) c Decisions_7 : 394
5.50/3.37	c (0,0) c Decisions_total : 1953
5.50/3.37	c (0,0) c Decisions_winner : 146
5.50/3.37	c (0,0) c Propagations_0 : 8186
5.50/3.37	c (0,0) c Propagations_1 : 6877
5.50/3.37	c (0,0) c Propagations_2 : 5557
5.50/3.37	c (0,0) c Propagations_3 : 7169
5.50/3.37	c (0,0) c Propagations_4 : 9620
5.50/3.37	c (0,0) c Propagations_5 : 48706
5.50/3.37	c (0,0) c Propagations_6 : 6336
5.50/3.37	c (0,0) c Propagations_7 : 16654
5.50/3.37	c (0,0) c Propagations_total : 109105
5.50/3.37	c (0,0) c Propagations_winner : 8186
5.50/3.37	c (0,0) c ReduceDBs_0 : 0
5.50/3.37	c (0,0) c ReduceDBs_1 : 0
5.50/3.37	c (0,0) c ReduceDBs_2 : 0
5.50/3.37	c (0,0) c ReduceDBs_3 : 0
5.50/3.37	c (0,0) c ReduceDBs_4 : 0
5.50/3.37	c (0,0) c ReduceDBs_5 : 0
5.50/3.37	c (0,0) c ReduceDBs_6 : 0
5.50/3.37	c (0,0) c ReduceDBs_7 : 0
5.50/3.37	c (0,0) c ReduceDBs_total : 0
5.50/3.37	c (0,0) c ReduceDBs_winner : 0
5.50/3.37	c (0,0) c SimpDBs_0 : 1
5.50/3.37	c (0,0) c SimpDBs_1 : 1
5.50/3.37	c (0,0) c SimpDBs_2 : 1
5.50/3.37	c (0,0) c SimpDBs_3 : 1
5.50/3.37	c (0,0) c SimpDBs_4 : 1
5.50/3.37	c (0,0) c SimpDBs_5 : 1
5.50/3.37	c (0,0) c SimpDBs_6 : 1
5.50/3.37	c (0,0) c SimpDBs_7 : 1
5.50/3.37	c (0,0) c SimpDBs_total : 8
5.50/3.37	c (0,0) c SimpDBs_winner : 1
5.50/3.37	c (0,0) c Restarts_0 : 1
5.50/3.37	c (0,0) c Restarts_1 : 1
5.50/3.37	c (0,0) c Restarts_2 : 1
5.50/3.37	c (0,0) c Restarts_3 : 1
5.50/3.37	c (0,0) c Restarts_4 : 1
5.50/3.37	c (0,0) c Restarts_5 : 1
5.50/3.37	c (0,0) c Restarts_6 : 1
5.50/3.37	c (0,0) c Restarts_7 : 1
5.50/3.37	c (0,0) c Restarts_total : 8
5.50/3.37	c (0,0) c Restarts_winner : 1
5.50/3.37	c (0,0) c ForcedImports_0 : 0
5.50/3.37	c (0,0) c ForcedImports_1 : 0
5.50/3.37	c (0,0) c ForcedImports_2 : 0
5.50/3.37	c (0,0) c ForcedImports_3 : 0
5.50/3.37	c (0,0) c ForcedImports_4 : 0
5.50/3.37	c (0,0) c ForcedImports_5 : 0
5.50/3.37	c (0,0) c ForcedImports_6 : 0
5.50/3.37	c (0,0) c ForcedImports_7 : 0
5.50/3.37	c (0,0) c ForcedImports_total : 0
5.50/3.37	c (0,0) c ForcedImports_winner : 0
5.50/3.37	c (0,0) c PropsBinClauses_0 : 15075
5.50/3.37	c (0,0) c PropsBinClauses_1 : 13002
5.50/3.37	c (0,0) c PropsBinClauses_2 : 10762
5.50/3.37	c (0,0) c PropsBinClauses_3 : 14105
5.50/3.37	c (0,0) c PropsBinClauses_4 : 19852
5.50/3.37	c (0,0) c PropsBinClauses_5 : 93620
5.50/3.37	c (0,0) c PropsBinClauses_6 : 12020
5.50/3.37	c (0,0) c PropsBinClauses_7 : 37043
5.50/3.37	c (0,0) c PropsBinClauses_total : 215479
5.50/3.37	c (0,0) c PropsBinClauses_winner : 15075
5.50/3.37	c (0,0) c PropsPreBlocker_0 : 64221
5.50/3.37	c (0,0) c PropsPreBlocker_1 : 59637
5.50/3.37	c (0,0) c PropsPreBlocker_2 : 48875
5.50/3.37	c (0,0) c PropsPreBlocker_3 : 63093
5.50/3.37	c (0,0) c PropsPreBlocker_4 : 84051
5.50/3.37	c (0,0) c PropsPreBlocker_5 : 366355
5.50/3.37	c (0,0) c PropsPreBlocker_6 : 54710
5.50/3.37	c (0,0) c PropsPreBlocker_7 : 153503
5.50/3.37	c (0,0) c PropsPreBlocker_total : 894445
5.50/3.37	c (0,0) c PropsPreBlocker_winner : 64221
5.50/3.37	c (0,0) c PropsNotBlocker_0 : 37148
5.50/3.37	c (0,0) c PropsNotBlocker_1 : 37073
5.50/3.37	c (0,0) c PropsNotBlocker_2 : 34202
5.50/3.37	c (0,0) c PropsNotBlocker_3 : 36489
5.50/3.37	c (0,0) c PropsNotBlocker_4 : 41683
5.50/3.37	c (0,0) c PropsNotBlocker_5 : 90689
5.50/3.37	c (0,0) c PropsNotBlocker_6 : 35341
5.50/3.37	c (0,0) c PropsNotBlocker_7 : 58703
5.50/3.37	c (0,0) c PropsNotBlocker_total : 371328
5.50/3.37	c (0,0) c PropsNotBlocker_winner : 37148
5.50/3.37	c (0,0) c PropsLitFullScans_0 : 119612
5.50/3.37	c (0,0) c PropsLitFullScans_1 : 112316
5.50/3.37	c (0,0) c PropsLitFullScans_2 : 95962
5.50/3.37	c (0,0) c PropsLitFullScans_3 : 116341
5.50/3.37	c (0,0) c PropsLitFullScans_4 : 151405
5.50/3.37	c (0,0) c PropsLitFullScans_5 : 589464
5.50/3.37	c (0,0) c PropsLitFullScans_6 : 104296
5.50/3.37	c (0,0) c PropsLitFullScans_7 : 263738
5.50/3.37	c (0,0) c PropsLitFullScans_total : 1553134
5.50/3.37	c (0,0) c PropsLitFullScans_winner : 119612
5.50/3.37	c (0,0) c LitScanFractions_0 : 0
5.50/3.37	c (0,0) c LitScanFractions_1 : 0
5.50/3.37	c (0,0) c LitScanFractions_2 : 0
5.50/3.37	c (0,0) c LitScanFractions_3 : 0
5.50/3.37	c (0,0) c LitScanFractions_4 : 0
5.50/3.37	c (0,0) c LitScanFractions_5 : 0
5.50/3.37	c (0,0) c LitScanFractions_6 : 0
5.50/3.37	c (0,0) c LitScanFractions_7 : 0
5.50/3.37	c (0,0) c LitScanFractions_total : 0
5.50/3.37	c (0,0) c LitScanFractions_winner : 0
5.50/3.37	c (0,0) c DecisionLevel0_0 : 1
5.50/3.37	c (0,0) c DecisionLevel0_1 : 1
5.50/3.37	c (0,0) c DecisionLevel0_2 : 1
5.50/3.37	c (0,0) c DecisionLevel0_3 : 1
5.50/3.37	c (0,0) c DecisionLevel0_4 : 1
5.50/3.37	c (0,0) c DecisionLevel0_5 : 1
5.50/3.37	c (0,0) c DecisionLevel0_6 : 1
5.50/3.37	c (0,0) c DecisionLevel0_7 : 1
5.50/3.37	c (0,0) c DecisionLevel0_total : 8
5.50/3.37	c (0,0) c DecisionLevel0_winner : 1
5.50/3.37	c (0,0) c Periods_0 : 0
5.50/3.37	c (0,0) c Periods_1 : 0
5.50/3.37	c (0,0) c Periods_2 : 0
5.50/3.37	c (0,0) c Periods_3 : 0
5.50/3.37	c (0,0) c Periods_4 : 0
5.50/3.37	c (0,0) c Periods_5 : 0
5.50/3.37	c (0,0) c Periods_6 : 0
5.50/3.37	c (0,0) c Periods_7 : 0
5.50/3.38	c (0,0) c Periods_total : 0
5.50/3.38	c (0,0) c Periods_winner : 0
5.50/3.38	c (0,0) c Margin_0 : 20
5.50/3.38	c (0,0) c Margin_1 : 20
5.50/3.38	c (0,0) c Margin_2 : 20
5.50/3.38	c (0,0) c Margin_3 : 20
5.50/3.38	c (0,0) c Margin_4 : 20
5.50/3.38	c (0,0) c Margin_5 : 20
5.50/3.38	c (0,0) c Margin_6 : 20
5.50/3.38	c (0,0) c Margin_7 : 20
5.50/3.38	c (0,0) c Margin_total : 160
5.50/3.38	c (0,0) c Margin_winner : 20
5.50/3.38	c (0,0) c Exported_0 : 0
5.50/3.38	c (0,0) c Exported_1 : 0
5.50/3.38	c (0,0) c Exported_2 : 0
5.50/3.38	c (0,0) c Exported_3 : 1
5.50/3.38	c (0,0) c Exported_4 : 0
5.50/3.38	c (0,0) c Exported_5 : 0
5.50/3.38	c (0,0) c Exported_6 : 0
5.50/3.38	c (0,0) c Exported_7 : 2
5.50/3.38	c (0,0) c Exported_total : 3
5.50/3.38	c (0,0) c Exported_winner : 0
5.50/3.38	c (0,0) c Imported_0 : 0
5.50/3.38	c (0,0) c Imported_1 : 0
5.50/3.38	c (0,0) c Imported_2 : 0
5.50/3.38	c (0,0) c Imported_3 : 0
5.50/3.38	c (0,0) c Imported_4 : 0
5.50/3.38	c (0,0) c Imported_5 : 0
5.50/3.38	c (0,0) c Imported_6 : 0
5.50/3.38	c (0,0) c Imported_7 : 0
5.50/3.38	c (0,0) c Imported_total : 0
5.50/3.38	c (0,0) c Imported_winner : 0
5.50/3.38	c (0,0) c Good_0 : 0
5.50/3.38	c (0,0) c Good_1 : 0
5.50/3.38	c (0,0) c Good_2 : 0
5.50/3.38	c (0,0) c Good_3 : 0
5.50/3.38	c (0,0) c Good_4 : 0
5.50/3.38	c (0,0) c Good_5 : 0
5.50/3.38	c (0,0) c Good_6 : 0
5.50/3.38	c (0,0) c Good_7 : 0
5.50/3.38	c (0,0) c Good_total : 0
5.50/3.38	c (0,0) c Good_winner : 0
5.50/3.38	c (0,0) c Purge_0 : 0
5.50/3.38	c (0,0) c Purge_1 : 0
5.50/3.38	c (0,0) c Purge_2 : 0
5.50/3.38	c (0,0) c Purge_3 : 0
5.50/3.38	c (0,0) c Purge_4 : 0
5.50/3.38	c (0,0) c Purge_5 : 0
5.50/3.38	c (0,0) c Purge_6 : 0
5.50/3.38	c (0,0) c Purge_7 : 0
5.50/3.38	c (0,0) c Purge_total : 0
5.50/3.38	c (0,0) c Purge_winner : 0
5.50/3.38	c (0,0) c Promoted_0 : 0
5.50/3.38	c (0,0) c Promoted_1 : 0
5.50/3.38	c (0,0) c Promoted_2 : 0
5.50/3.38	c (0,0) c Promoted_3 : 0
5.50/3.38	c (0,0) c Promoted_4 : 0
5.50/3.38	c (0,0) c Promoted_5 : 0
5.50/3.38	c (0,0) c Promoted_6 : 0
5.50/3.38	c (0,0) c Promoted_7 : 0
5.50/3.38	c (0,0) c Promoted_total : 0
5.50/3.38	c (0,0) c Promoted_winner : 0
5.50/3.38	c (0,0) c Remove_Imp_0 : 0
5.50/3.38	c (0,0) c Remove_Imp_1 : 0
5.50/3.38	c (0,0) c Remove_Imp_2 : 0
5.50/3.38	c (0,0) c Remove_Imp_3 : 0
5.50/3.38	c (0,0) c Remove_Imp_4 : 0
5.50/3.38	c (0,0) c Remove_Imp_5 : 0
5.50/3.38	c (0,0) c Remove_Imp_6 : 0
5.50/3.38	c (0,0) c Remove_Imp_7 : 0
5.50/3.38	c (0,0) c Remove_Imp_total : 0
5.50/3.38	c (0,0) c Remove_Imp_winner : 0
5.50/3.38	c (0,0) c Blocked_Reuse_0 : 0
5.50/3.38	c (0,0) c Blocked_Reuse_1 : 0
5.50/3.38	c (0,0) c Blocked_Reuse_2 : 0
5.50/3.38	c (0,0) c Blocked_Reuse_3 : 0
5.50/3.38	c (0,0) c Blocked_Reuse_4 : 0
5.50/3.38	c (0,0) c Blocked_Reuse_5 : 0
5.50/3.38	c (0,0) c Blocked_Reuse_6 : 0
5.50/3.38	c (0,0) c Blocked_Reuse_7 : 0
5.50/3.38	c (0,0) c Blocked_Reuse_total : 0
5.50/3.38	c (0,0) c Blocked_Reuse_winner : 0
5.50/3.38	c (0,0) c Unaries_0 : 0
5.50/3.38	c (0,0) c Unaries_1 : 0
5.50/3.38	c (0,0) c Unaries_2 : 0
5.50/3.38	c (0,0) c Unaries_3 : 0
5.50/3.38	c (0,0) c Unaries_4 : 0
5.50/3.38	c (0,0) c Unaries_5 : 0
5.50/3.38	c (0,0) c Unaries_6 : 0
5.50/3.38	c (0,0) c Unaries_7 : 0
5.50/3.38	c (0,0) c Unaries_total : 0
5.50/3.38	c (0,0) c Unaries_winner : 0
5.50/3.38	c (0,0) c Binaries_0 : 0
5.50/3.38	c (0,0) c Binaries_1 : 0
5.50/3.38	c (0,0) c Binaries_2 : 0
5.50/3.38	c (0,0) c Binaries_3 : 0
5.50/3.38	c (0,0) c Binaries_4 : 0
5.50/3.38	c (0,0) c Binaries_5 : 0
5.50/3.38	c (0,0) c Binaries_6 : 0
5.50/3.38	c (0,0) c Binaries_7 : 0
5.50/3.38	c (0,0) c Binaries_total : 0
5.50/3.38	c (0,0) c Binaries_winner : 0
5.50/3.38	c (0,0) c Glues_0 : 0
5.50/3.38	c (0,0) c Glues_1 : 0
5.50/3.38	c (0,0) c Glues_2 : 0
5.50/3.38	c (0,0) c Glues_3 : 1
5.50/3.38	c (0,0) c Glues_4 : 0
5.50/3.38	c (0,0) c Glues_5 : 0
5.50/3.38	c (0,0) c Glues_6 : 0
5.50/3.38	c (0,0) c Glues_7 : 2
5.50/3.38	c (0,0) c Glues_total : 3
5.50/3.38	c (0,0) c Glues_winner : 0
5.50/3.38	c (0,0) c RunningTime_0 : 0.012338
5.50/3.38	c (0,0) c RunningTime_1 : 0.012285
5.50/3.38	c (0,0) c RunningTime_2 : 0.009370
5.50/3.38	c (0,0) c RunningTime_3 : 0.011807
5.50/3.38	c (0,0) c RunningTime_4 : 0.011416
5.50/3.38	c (0,0) c RunningTime_5 : 0.017488
5.50/3.38	c (0,0) c RunningTime_6 : 0.012778
5.50/3.38	c (0,0) c RunningTime_7 : 0.013443
5.50/3.38	c (0,0) c RunningTime_total : 0.100925
5.50/3.38	c (0,0) c RunningTime_winner : 0.012338
5.50/3.38	c (0,0) c WaitingTime_0 : 0.000000
5.50/3.38	c (0,0) c WaitingTime_1 : 0.000000
5.50/3.38	c (0,0) c WaitingTime_2 : 0.000000
5.50/3.38	c (0,0) c WaitingTime_3 : 0.000000
5.50/3.38	c (0,0) c WaitingTime_4 : 0.000000
5.50/3.38	c (0,0) c WaitingTime_5 : 0.000000
5.50/3.38	c (0,0) c WaitingTime_6 : 0.000000
5.50/3.38	c (0,0) c WaitingTime_7 : 0.000000
5.50/3.38	c (0,0) c WaitingTime_total : 0.000000
5.50/3.38	c (0,0) c WaitingTime_winner : 0.000000
5.50/3.38	c (0,0) c ExchangingTime_0 : 0.000275
5.50/3.38	c (0,0) c ExchangingTime_1 : 0.000001
5.50/3.38	c (0,0) c ExchangingTime_2 : 0.000000
5.50/3.38	c (0,0) c ExchangingTime_3 : 0.000003
5.50/3.38	c (0,0) c ExchangingTime_4 : 0.000004
5.50/3.38	c (0,0) c ExchangingTime_5 : 0.000005
5.50/3.38	c (0,0) c ExchangingTime_6 : 0.000000
5.50/3.38	c (0,0) c ExchangingTime_7 : 0.000003
5.50/3.38	c (0,0) c ExchangingTime_total : 0.000291
5.50/3.38	c (0,0) c ExchangingTime_winner : 0.000275
5.50/3.38	c (0,0) c PeriodProcTime_0 : 0.000000
5.50/3.38	c (0,0) c PeriodProcTime_1 : 0.000000
5.50/3.38	c (0,0) c PeriodProcTime_2 : 0.000000
5.50/3.38	c (0,0) c PeriodProcTime_3 : 0.000000
5.50/3.38	c (0,0) c PeriodProcTime_4 : 0.000000
5.50/3.38	c (0,0) c PeriodProcTime_5 : 0.000000
5.50/3.38	c (0,0) c PeriodProcTime_6 : 0.000000
5.50/3.38	c (0,0) c PeriodProcTime_7 : 0.000000
5.50/3.38	c (0,0) c PeriodProcTime_total : 0.000000
5.50/3.38	c (0,0) c PeriodProcTime_winner : 0.000000
5.50/3.38	c (0,0) c SolvingTime_0 : 0.012613
5.50/3.38	c (0,0) c SolvingTime_1 : 0.012286
5.50/3.38	c (0,0) c SolvingTime_2 : 0.009370
5.50/3.38	c (0,0) c SolvingTime_3 : 0.011810
5.50/3.38	c (0,0) c SolvingTime_4 : 0.011420
5.50/3.38	c (0,0) c SolvingTime_5 : 0.017493
5.50/3.38	c (0,0) c SolvingTime_6 : 0.012778
5.50/3.38	c (0,0) c SolvingTime_7 : 0.013446
5.50/3.38	c (0,0) c SolvingTime_total : 0.101216
5.50/3.38	c (0,0) c SolvingTime_winner : 0.012613
5.50/3.38	c (0,0) c PropagationTime_0 : 0.012144
5.50/3.38	c (0,0) c PropagationTime_1 : 0.012093
5.50/3.38	c (0,0) c PropagationTime_2 : 0.008952
5.50/3.38	c (0,0) c PropagationTime_3 : 0.011644
5.50/3.38	c (0,0) c PropagationTime_4 : 0.010505
5.50/3.38	c (0,0) c PropagationTime_5 : 0.016472
5.50/3.38	c (0,0) c PropagationTime_6 : 0.012670
5.50/3.38	c (0,0) c PropagationTime_7 : 0.012959
5.50/3.38	c (0,0) c PropagationTime_total : 0.097440
5.50/3.38	c (0,0) c PropagationTime_winner : 0.012144
5.50/3.38	c (0,0) c AnalysisTime_0 : 0.000048
5.50/3.38	c (0,0) c AnalysisTime_1 : 0.000037
5.50/3.38	c (0,0) c AnalysisTime_2 : 0.000000
5.50/3.38	c (0,0) c AnalysisTime_3 : 0.000030
5.50/3.38	c (0,0) c AnalysisTime_4 : 0.000076
5.50/3.38	c (0,0) c AnalysisTime_5 : 0.000529
5.50/3.38	c (0,0) c AnalysisTime_6 : 0.000008
5.50/3.38	c (0,0) c AnalysisTime_7 : 0.000214
5.50/3.38	c (0,0) c AnalysisTime_total : 0.000942
5.50/3.38	c (0,0) c AnalysisTime_winner : 0.000048
5.50/3.38	c (0,0) c ReductionTime_0 : 0.000000
5.50/3.38	c (0,0) c ReductionTime_1 : 0.000000
5.50/3.38	c (0,0) c ReductionTime_2 : 0.000000
5.50/3.38	c (0,0) c ReductionTime_3 : 0.000000
5.50/3.38	c (0,0) c ReductionTime_4 : 0.000000
5.50/3.38	c (0,0) c ReductionTime_5 : 0.000000
5.50/3.38	c (0,0) c ReductionTime_6 : 0.000000
5.50/3.38	c (0,0) c ReductionTime_7 : 0.000000
5.50/3.38	c (0,0) c ReductionTime_total : 0.000000
5.50/3.38	c (0,0) c ReductionTime_winner : 0.000000
5.50/3.38	c (0,0) c SimplifyTime_0 : 0.000000
5.50/3.38	c (0,0) c SimplifyTime_1 : 0.000000
5.50/3.38	c (0,0) c SimplifyTime_2 : 0.000000
5.50/3.38	c (0,0) c SimplifyTime_3 : 0.000000
5.50/3.38	c (0,0) c SimplifyTime_4 : 0.000000
5.50/3.38	c (0,0) c SimplifyTime_5 : 0.000000
5.50/3.38	c (0,0) c SimplifyTime_6 : 0.000000
5.50/3.38	c (0,0) c SimplifyTime_7 : 0.000000
5.50/3.38	c (0,0) c SimplifyTime_total : 0.000000
5.50/3.38	c (0,0) c SimplifyTime_winner : 0.000000
5.50/3.38	c (0,0) c UsedRateTime_0 : 0.000000
5.50/3.38	c (0,0) c UsedRateTime_1 : 0.000000
5.50/3.38	c (0,0) c UsedRateTime_2 : 0.000000
5.50/3.38	c (0,0) c UsedRateTime_3 : 0.000000
5.50/3.38	c (0,0) c UsedRateTime_4 : 0.000000
5.50/3.38	c (0,0) c UsedRateTime_5 : 0.000000
5.50/3.38	c (0,0) c UsedRateTime_6 : 0.000000
5.50/3.38	c (0,0) c UsedRateTime_7 : 0.000000
5.50/3.38	c (0,0) c UsedRateTime_total : 0.000000
5.50/3.38	c (0,0) c UsedRateTime_winner : 0.000000
5.50/3.38	c (0,0) c OverlapRateTime_0 : 0.000000
5.50/3.38	c (0,0) c OverlapRateTime_1 : 0.000000
5.50/3.38	c (0,0) c OverlapRateTime_2 : 0.000000
5.50/3.38	c (0,0) c OverlapRateTime_3 : 0.000000
5.50/3.38	c (0,0) c OverlapRateTime_4 : 0.000000
5.50/3.38	c (0,0) c OverlapRateTime_5 : 0.000000
5.50/3.38	c (0,0) c OverlapRateTime_6 : 0.000000
5.50/3.38	c (0,0) c OverlapRateTime_7 : 0.000000
5.50/3.38	c (0,0) c OverlapRateTime_total : 0.000000
5.50/3.38	c (0,0) c OverlapRateTime_winner : 0.000000
5.50/3.38	c (0,0) c
5.50/3.38	c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
5.50/3.38	c (0,0) c
5.50/3.38	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
5.50/3.38	c (0,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
5.50/3.38	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
5.50/3.38	c (0,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
5.50/3.38	c (0,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
5.50/3.38	c (0,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
5.50/3.38	c (0,0) c | Initial random_seed   |  308387549 | 1487902620 | 1944374865 |  606153808 |  851931181 | 1439099389 | 1271905089 | 2003479106 |
5.50/3.38	c (0,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
5.50/3.38	c (0,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
5.50/3.38	c (0,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
5.50/3.38	c (0,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
5.50/3.38	c (0,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
5.50/3.38	c (0,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
5.50/3.38	c (0,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
5.50/3.38	c (0,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
5.50/3.38	c (0,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
5.50/3.38	c (0,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
5.50/3.38	c (0,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
5.50/3.38	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
5.50/3.38	c (0,0) 
5.50/3.38	c (0,0) s SATISFIABLE
5.76/3.41	c (0,0) SatSolver.solve End
5.76/3.41	c (0,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
5.76/3.41	c (0,0) Show results Begin
5.96/3.51	c (0,0) x[0][0] = 12
5.96/3.51	c (0,0) x[0][1] = 21
5.96/3.51	c (0,0) x[0][2] = 25
5.96/3.51	c (0,0) x[0][3] = 40
5.96/3.51	c (0,0) x[0][4] = 50
5.96/3.51	c (0,0) x[1][0] = 60
5.96/3.51	c (0,0) x[1][1] = 111
5.96/3.51	c (0,0) x[1][2] = 119
5.96/3.51	c (0,0) x[1][3] = 131
5.96/3.51	c (0,0) x[1][4] = 134
5.96/3.51	c (0,0) x[2][0] = 45
5.96/3.51	c (0,0) x[2][1] = 106
5.96/3.51	c (0,0) x[2][2] = 131
5.96/3.51	c (0,0) x[2][3] = 142
5.96/3.51	c (0,0) x[2][4] = 149
5.96/3.51	c (0,0) x[3][0] = 6
5.96/3.51	c (0,0) x[3][1] = 39
5.96/3.51	c (0,0) x[3][2] = 58
5.96/3.51	c (0,0) x[3][3] = 78
5.96/3.51	c (0,0) x[3][4] = 103
5.96/3.51	c (0,0) x[4][0] = 9
5.96/3.51	c (0,0) x[4][1] = 92
5.96/3.51	c (0,0) x[4][2] = 103
5.96/3.51	c (0,0) x[4][3] = 115
5.96/3.51	c (0,0) x[4][4] = 122
5.96/3.51	c (0,0) x[5][0] = 72
5.96/3.51	c (0,0) x[5][1] = 79
5.96/3.51	c (0,0) x[5][2] = 88
5.96/3.51	c (0,0) x[5][3] = 98
5.96/3.51	c (0,0) x[5][4] = 111
5.96/3.51	c (0,0) x[6][0] = 25
5.96/3.51	c (0,0) x[6][1] = 36
5.96/3.51	c (0,0) x[6][2] = 73
5.96/3.51	c (0,0) x[6][3] = 86
5.96/3.51	c (0,0) x[6][4] = 118
5.96/3.51	c (0,0) x[7][0] = 28
5.96/3.51	c (0,0) x[7][1] = 36
5.96/3.51	c (0,0) x[7][2] = 47
5.96/3.51	c (0,0) x[7][3] = 96
5.96/3.51	c (0,0) x[7][4] = 127
5.96/3.51	c (0,0) x[8][0] = 12
5.96/3.51	c (0,0) x[8][1] = 23
5.96/3.51	c (0,0) x[8][2] = 37
5.96/3.51	c (0,0) x[8][3] = 49
5.96/3.51	c (0,0) x[8][4] = 61
5.96/3.51	c (0,0) x[9][0] = 2
5.96/3.51	c (0,0) x[9][1] = 6
5.96/3.51	c (0,0) x[9][2] = 12
5.96/3.51	c (0,0) x[9][3] = 87
5.96/3.51	c (0,0) x[9][4] = 92
5.96/3.51	s SATISFIABLE
5.96/3.51	v <instantiation>
5.96/3.51	v     <list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4]</list>
5.96/3.51	v     <values>12 21 25 40 50 60 111 119 131 134 45 106 131 142 149 6 39 58 78 103 9 92 103 115 122 72 79 88 98 111 25 36 73 86 118 28 36 47 96 127 12 23 37 49 61 2 6 12 87 92</values>
5.96/3.51	v </instantiation>
5.96/3.51	c (0,0) Show results End
5.96/3.51	c (0,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB)
5.96/3.51	c (0,0) 0,0,STOP-AFTER(ALL)
5.96/3.51	c END-Prog: Sat Sep 14 01:18:52 CEST 2019

Verifier Data 

OK

Watcher Data 

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (14893 MiB free)
  memory of node 1: 16384 MiB (15387 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392355-1568416768/watcher-4392355-1568416768 -o /tmp/evaluation-result-4392355-1568416768/solver-4392355-1568416768 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node151-1568416728-14741 --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-4392355-1568416768.xml 

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

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

solver pid=14758, runsolver pid=14755

[startup+0.100138 s]*
/proc/loadavg: 0.00 0.33 0.77 1/193 14762
/proc/meminfo: memFree=31007236/32770624 swapFree=66935016/67108860
[pid=14758] ppid=14755 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/14758/stat : 14758 (scop.sh) S 14755 14758 14714 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 417948224 115843072 349 33554432000 4194304 5098028 140733398461120 140733398458376 140434289898108 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 32747520 140733398467365 140733398467692 140733398467692 140733398470605 0
/proc/14758/statm: 28282 349 296 221 0 87 0
[pid=14761] ppid=14758 vsize=241644 memory=5568 CPUtime=0 cores=0-7
/proc/14761/stat : 14761 (java) S 14758 14758 14714 0 -1 1077944320 1728 0 0 0 0 0 0 0 20 0 2 0 417948225 247443456 1392 33554432000 4194304 4196468 140721080927232 140721080909776 140685136162551 0 0 6 16784584 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 30474240 140721080935147 140721080935574 140721080935574 140721080938447 0
/proc/14761/statm: 60411 1392 1054 1 0 49322 0
[pid=14761/tid=14762] ppid=14758 vsize=241644 memory=8185462130861841053 CPUtime=0 cores=0-7
/proc/14761/task/14762/stat : 14762 (java) D 14758 14758 14714 0 -1 1077944384 424 0 0 0 0 0 0 0 20 0 2 0 417948229 247443456 1392 33554432000 4194304 4196468 140721080927232 140685108003048 140685128840565 0 4 6 16784584 18446744072101662244 0 0 -1 6 0 0 0 0 0 6293624 6294260 30474240 140721080935147 140721080935574 140721080935574 140721080938447 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 354772 KiB
Current children cumulated memory: 6964 KiB

[startup+0.20944 s]*
/proc/loadavg: 0.00 0.33 0.77 1/204 14773
/proc/meminfo: memFree=30919052/32770624 swapFree=66935016/67108860
[pid=14758] ppid=14755 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/14758/stat : 14758 (scop.sh) S 14755 14758 14714 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 417948224 115843072 349 33554432000 4194304 5098028 140733398461120 140733398458376 140434289898108 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 32747520 140733398467365 140733398467692 140733398467692 140733398470605 0
/proc/14758/statm: 28282 349 296 221 0 87 0
[pid=14761] ppid=14758 vsize=26587532 memory=97704 CPUtime=0.05 cores=0-7
/proc/14761/stat : 14761 (java) S 14758 14758 14714 0 -1 1077944320 5430 0 0 0 4 1 0 0 20 0 13 0 417948225 27225632768 24426 33554432000 4194304 4196468 140721080927232 140721080909776 140685136162551 0 0 6 16800969 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 30474240 140721080935147 140721080935574 140721080935574 140721080938447 0
/proc/14761/statm: 6646883 24426 2146 1 0 6609424 0
[pid=14761/tid=14762] ppid=14758 vsize=26587532 memory=-4116735710718344508 CPUtime=0.05 cores=0-7
/proc/14761/task/14762/stat : 14762 (java) D 14758 14758 14714 0 -1 1077944384 4098 0 0 0 4 1 0 0 20 0 13 0 417948229 27225632768 24426 33554432000 4194304 4196468 140721080927232 140685107998504 140685128840565 0 4 6 16800969 18446744072101662244 0 0 -1 6 0 0 0 0 0 6293624 6294260 30474240 140721080935147 140721080935574 140721080935574 140721080938447 0
[pid=14761/tid=14763] ppid=14758 vsize=26587532 memory=732370777903705061 CPUtime=0 cores=0-7
/proc/14761/task/14763/stat : 14763 (java) S 14758 14758 14714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 13 0 417948239 27225632768 24426 33554432000 4194304 4196468 140721080927232 140685140405264 140685136172757 0 4 6 16800969 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30474240 140721080935147 140721080935574 140721080935574 140721080938447 0
[pid=14761/tid=14764] ppid=14758 vsize=26587532 memory=140639566251648 CPUtime=0 cores=0-7
/proc/14761/task/14764/stat : 14764 (java) S 14758 14758 14714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 13 0 417948239 27225632768 24426 33554432000 4194304 4196468 140721080927232 140684954561680 140685136172757 0 4 6 16800969 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30474240 140721080935147 140721080935574 140721080935574 140721080938447 0
[pid=14761/tid=14765] ppid=14758 vsize=26587532 memory=0 CPUtime=0 cores=0-7
/proc/14761/task/14765/stat : 14765 (java) S 14758 14758 14714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 13 0 417948239 27225632768 24426 33554432000 4194304 4196468 140721080927232 140684953508624 140685136172757 0 4 6 16800969 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30474240 140721080935147 140721080935574 140721080935574 140721080938447 0
[pid=14761/tid=14766] ppid=14758 vsize=26587532 memory=0 CPUtime=0 cores=0-7
/proc/14761/task/14766/stat : 14766 (java) S 14758 14758 14714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 13 0 417948239 27225632768 24426 33554432000 4194304 4196468 140721080927232 140684952456080 140685136172757 0 4 6 16800969 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30474240 140721080935147 140721080935574 140721080935574 140721080938447 0
[pid=14761/tid=14767] ppid=14758 vsize=26587532 memory=0 CPUtime=0 cores=0-7
/proc/14761/task/14767/stat : 14767 (java) S 14758 14758 14714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 13 0 417948239 27225632768 24426 33554432000 4194304 4196468 140721080927232 140684951403024 140685136172757 0 4 6 16800969 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30474240 140721080935147 140721080935574 140721080935574 140721080938447 0
[pid=14761/tid=14768] ppid=14758 vsize=26587532 memory=-1 CPUtime=0 cores=0-7
/proc/14761/task/14768/stat : 14768 (java) S 14758 14758 14714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 13 0 417948239 27225632768 24426 33554432000 4194304 4196468 140721080927232 140684950350480 140685136172757 0 4 6 16800969 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30474240 140721080935147 140721080935574 140721080935574 140721080938447 0
[pid=14761/tid=14769] ppid=14758 vsize=26587532 memory=0 CPUtime=0 cores=0-7
/proc/14761/task/14769/stat : 14769 (java) S 14758 14758 14714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 13 0 417948239 27225632768 24426 33554432000 4194304 4196468 140721080927232 140684949297424 140685136172757 0 4 6 16800969 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30474240 140721080935147 140721080935574 140721080935574 140721080938447 0
[pid=14761/tid=14770] ppid=14758 vsize=26587532 memory=0 CPUtime=0 cores=0-7
/proc/14761/task/14770/stat : 14770 (java) S 14758 14758 14714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 13 0 417948239 27225632768 24426 33554432000 4194304 4196468 140721080927232 140684948244880 140685136172757 0 4 6 16800969 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30474240 140721080935147 140721080935574 140721080935574 140721080938447 0
[pid=14761/tid=14771] ppid=14758 vsize=26587532 memory=0 CPUtime=0 cores=0-7
/proc/14761/task/14771/stat : 14771 (java) S 14758 14758 14714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 13 0 417948241 27225632768 24426 33554432000 4194304 4196468 140721080927232 140684059167472 140685136173698 0 0 6 16800969 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30474240 140721080935147 140721080935574 140721080935574 140721080938447 0
[pid=14761/tid=14772] ppid=14758 vsize=26587532 memory=0 CPUtime=0 cores=0-7
/proc/14761/task/14772/stat : 14772 (java) S 14758 14758 14714 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 13 0 417948242 27225632768 24426 33554432000 4194304 4196468 140721080927232 140683063060128 140685136172757 0 4 6 16800969 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30474240 140721080935147 140721080935574 140721080935574 140721080938447 0
[pid=14761/tid=14773] ppid=14758 vsize=26587532 memory=0 CPUtime=0 cores=0-7
/proc/14761/task/14773/stat : 14773 (java) S 14758 14758 14714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 13 0 417948242 27225632768 24426 33554432000 4194304 4196468 140721080927232 140682794624240 140685136172757 0 4 6 16800969 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30474240 140721080935147 140721080935574 140721080935574 140721080938447 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 26700660 KiB
Current children cumulated memory: 99100 KiB

[startup+0.309251 s]*
/proc/loadavg: 0.00 0.33 0.77 1/204 14773
/proc/meminfo: memFree=30919052/32770624 swapFree=66935016/67108860
[pid=14758] ppid=14755 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/14758/stat : 14758 (scop.sh) S 14755 14758 14714 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 417948224 115843072 349 33554432000 4194304 5098028 140733398461120 140733398458376 140434289898108 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 32747520 140733398467365 140733398467692 140733398467692 140733398470605 0
/proc/14758/statm: 28282 349 296 221 0 87 0
[pid=14761] ppid=14758 vsize=26587532 memory=97704 CPUtime=0.05 cores=0-7
/proc/14761/stat : 14761 (java) S 14758 14758 14714 0 -1 1077944320 5441 0 0 0 4 1 0 0 20 0 13 0 417948225 27225632768 24426 33554432000 4194304 4196468 140721080927232 140721080909776 140685136162551 0 0 6 16800969 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 30474240 140721080935147 140721080935574 140721080935574 140721080938447 0
/proc/14761/statm: 6646883 24426 2146 1 0 6609424 0
[pid=14761/tid=14762] ppid=14758 vsize=26587532 memory=12769 CPUtime=0.05 cores=0-7
/proc/14761/task/14762/stat : 14762 (java) D 14758 14758 14714 0 -1 1077944384 4109 0 0 0 4 1 0 0 20 0 13 0 417948229 27225632768 24426 33554432000 4194304 4196468 140721080927232 140685107989816 140685128840725 0 4 6 16800969 18446744072101662244 0 0 -1 6 0 0 0 0 0 6293624 6294260 30474240 140721080935147 140721080935574 140721080935574 140721080938447 0
[pid=14761/tid=14763] ppid=14758 vsize=26587532 memory=0 CPUtime=0 cores=0-7
/proc/14761/task/14763/stat : 14763 (java) S 14758 14758 14714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 13 0 417948239 27225632768 24426 33554432000 4194304 4196468 140721080927232 140685140405264 140685136172757 0 4 6 16800969 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30474240 140721080935147 140721080935574 140721080935574 140721080938447 0
[pid=14761/tid=14764] ppid=14758 vsize=26587532 memory=140639566251648 CPUtime=0 cores=0-7
/proc/14761/task/14764/stat : 14764 (java) S 14758 14758 14714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 13 0 417948239 27225632768 24426 33554432000 4194304 4196468 140721080927232 140684954561680 140685136172757 0 4 6 16800969 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30474240 140721080935147 140721080935574 140721080935574 140721080938447 0
[pid=14761/tid=14765] ppid=14758 vsize=26587532 memory=0 CPUtime=0 cores=0-7
/proc/14761/task/14765/stat : 14765 (java) S 14758 14758 14714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 13 0 417948239 27225632768 24426 33554432000 4194304 4196468 140721080927232 140684953508624 140685136172757 0 4 6 16800969 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30474240 140721080935147 140721080935574 140721080935574 140721080938447 0
[pid=14761/tid=14766] ppid=14758 vsize=26587532 memory=0 CPUtime=0 cores=0-7
/proc/14761/task/14766/stat : 14766 (java) S 14758 14758 14714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 13 0 417948239 27225632768 24426 33554432000 4194304 4196468 140721080927232 140684952456080 140685136172757 0 4 6 16800969 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30474240 140721080935147 140721080935574 140721080935574 140721080938447 0
[pid=14761/tid=14767] ppid=14758 vsize=26587532 memory=0 CPUtime=0 cores=0-7
/proc/14761/task/14767/stat : 14767 (java) S 14758 14758 14714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 13 0 417948239 27225632768 24426 33554432000 4194304 4196468 140721080927232 140684951403024 140685136172757 0 4 6 16800969 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30474240 140721080935147 140721080935574 140721080935574 140721080938447 0
[pid=14761/tid=14768] ppid=14758 vsize=26587532 memory=-1 CPUtime=0 cores=0-7
/proc/14761/task/14768/stat : 14768 (java) S 14758 14758 14714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 13 0 417948239 27225632768 24426 33554432000 4194304 4196468 140721080927232 140684950350480 140685136172757 0 4 6 16800969 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30474240 140721080935147 140721080935574 140721080935574 140721080938447 0
[pid=14761/tid=14769] ppid=14758 vsize=26587532 memory=0 CPUtime=0 cores=0-7
/proc/14761/task/14769/stat : 14769 (java) S 14758 14758 14714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 13 0 417948239 27225632768 24426 33554432000 4194304 4196468 140721080927232 140684949297424 140685136172757 0 4 6 16800969 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30474240 140721080935147 140721080935574 140721080935574 140721080938447 0
[pid=14761/tid=14770] ppid=14758 vsize=26587532 memory=0 CPUtime=0 cores=0-7
/proc/14761/task/14770/stat : 14770 (java) S 14758 14758 14714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 13 0 417948239 27225632768 24426 33554432000 4194304 4196468 140721080927232 140684948244880 140685136172757 0 4 6 16800969 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30474240 140721080935147 140721080935574 140721080935574 140721080938447 0
[pid=14761/tid=14771] ppid=14758 vsize=26587532 memory=0 CPUtime=0 cores=0-7
/proc/14761/task/14771/stat : 14771 (java) S 14758 14758 14714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 13 0 417948241 27225632768 24426 33554432000 4194304 4196468 140721080927232 140684059167472 140685136173698 0 0 6 16800969 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30474240 140721080935147 140721080935574 140721080935574 140721080938447 0
[pid=14761/tid=14772] ppid=14758 vsize=26587532 memory=0 CPUtime=0 cores=0-7
/proc/14761/task/14772/stat : 14772 (java) S 14758 14758 14714 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 13 0 417948242 27225632768 24426 33554432000 4194304 4196468 140721080927232 140683063060128 140685136172757 0 4 6 16800969 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30474240 140721080935147 140721080935574 140721080935574 140721080938447 0
[pid=14761/tid=14773] ppid=14758 vsize=26587532 memory=0 CPUtime=0 cores=0-7
/proc/14761/task/14773/stat : 14773 (java) S 14758 14758 14714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 13 0 417948242 27225632768 24426 33554432000 4194304 4196468 140721080927232 140682794624240 140685136172757 0 4 6 16800969 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30474240 140721080935147 140721080935574 140721080935574 140721080938447 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 26700660 KiB
Current children cumulated memory: 99100 KiB

[startup+0.700922 s]
/proc/loadavg: 0.00 0.33 0.77 1/210 14779
/proc/meminfo: memFree=30916180/32770624 swapFree=66935016/67108860
[pid=14758] ppid=14755 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/14758/stat : 14758 (scop.sh) S 14755 14758 14714 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 417948224 115843072 349 33554432000 4194304 5098028 140733398461120 140733398458376 140434289898108 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 32747520 140733398467365 140733398467692 140733398467692 140733398470605 0
/proc/14758/statm: 28282 349 296 221 0 87 0
[pid=14761] ppid=14758 vsize=27314120 memory=126708 CPUtime=0.25 cores=0-7
/proc/14761/stat : 14761 (java) S 14758 14758 14714 0 -1 1077944320 12085 0 0 0 21 4 0 0 20 0 20 0 417948225 27969658880 31677 33554432000 4194304 4196468 140721080927232 140721080909776 140685136162551 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 30474240 140721080935147 140721080935574 140721080935574 140721080938447 0
/proc/14761/statm: 6828530 31677 2938 1 0 6790935 0
[pid=14761/tid=14762] ppid=14758 vsize=27314120 memory=2244 CPUtime=0.19 cores=0-7
/proc/14761/task/14762/stat : 14762 (java) R 14758 14758 14714 0 -1 4202560 9799 0 0 0 16 3 0 0 20 0 20 0 417948229 27969658880 31677 33554432000 4194304 4196468 140721080927232 140685107961936 140685116438435 0 4 2 16800973 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 30474240 140721080935147 140721080935574 140721080935574 140721080938447 0
[pid=14761/tid=14763] ppid=14758 vsize=27314120 memory=126 CPUtime=0 cores=0-7
/proc/14761/task/14763/stat : 14763 (java) S 14758 14758 14714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417948239 27969658880 31677 33554432000 4194304 4196468 140721080927232 140685140405264 140685136172757 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30474240 140721080935147 140721080935574 140721080935574 140721080938447 0
[pid=14761/tid=14764] ppid=14758 vsize=27314120 memory=523 CPUtime=0 cores=0-7
/proc/14761/task/14764/stat : 14764 (java) S 14758 14758 14714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417948239 27969658880 31677 33554432000 4194304 4196468 140721080927232 140684954561680 140685136172757 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30474240 140721080935147 140721080935574 140721080935574 140721080938447 0
[pid=14761/tid=14765] ppid=14758 vsize=27314120 memory=4030 CPUtime=0 cores=0-7
/proc/14761/task/14765/stat : 14765 (java) S 14758 14758 14714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417948239 27969658880 31677 33554432000 4194304 4196468 140721080927232 140684953508624 140685136172757 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30474240 140721080935147 140721080935574 140721080935574 140721080938447 0
[pid=14761/tid=14766] ppid=14758 vsize=27314120 memory=268 CPUtime=0 cores=0-7
/proc/14761/task/14766/stat : 14766 (java) S 14758 14758 14714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417948239 27969658880 31677 33554432000 4194304 4196468 140721080927232 140684952456080 140685136172757 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30474240 140721080935147 140721080935574 140721080935574 140721080938447 0
[pid=14761/tid=14767] ppid=14758 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14761/task/14767/stat : 14767 (java) S 14758 14758 14714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417948239 27969658880 31677 33554432000 4194304 4196468 140721080927232 140684951403024 140685136172757 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30474240 140721080935147 140721080935574 140721080935574 140721080938447 0
[pid=14761/tid=14768] ppid=14758 vsize=27314120 memory=5 CPUtime=0 cores=0-7
/proc/14761/task/14768/stat : 14768 (java) S 14758 14758 14714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417948239 27969658880 31677 33554432000 4194304 4196468 140721080927232 140684950350480 140685136172757 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30474240 140721080935147 140721080935574 140721080935574 140721080938447 0
[pid=14761/tid=14769] ppid=14758 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14761/task/14769/stat : 14769 (java) S 14758 14758 14714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417948239 27969658880 31677 33554432000 4194304 4196468 140721080927232 140684949297424 140685136172757 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30474240 140721080935147 140721080935574 140721080935574 140721080938447 0
[pid=14761/tid=14770] ppid=14758 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14761/task/14770/stat : 14770 (java) S 14758 14758 14714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417948239 27969658880 31677 33554432000 4194304 4196468 140721080927232 140684948244880 140685136172757 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30474240 140721080935147 140721080935574 140721080935574 140721080938447 0
[pid=14761/tid=14771] ppid=14758 vsize=27314120 memory=4580 CPUtime=0 cores=0-7
/proc/14761/task/14771/stat : 14771 (java) S 14758 14758 14714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417948241 27969658880 31677 33554432000 4194304 4196468 140721080927232 140684059167472 140685136173698 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30474240 140721080935147 140721080935574 140721080935574 140721080938447 0
[pid=14761/tid=14772] ppid=14758 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14761/task/14772/stat : 14772 (java) S 14758 14758 14714 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 417948242 27969658880 31677 33554432000 4194304 4196468 140721080927232 140683063060128 140685136172757 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30474240 140721080935147 140721080935574 140721080935574 140721080938447 0
[pid=14761/tid=14773] ppid=14758 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14761/task/14773/stat : 14773 (java) S 14758 14758 14714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417948242 27969658880 31677 33554432000 4194304 4196468 140721080927232 140682794624240 140685136172757 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30474240 140721080935147 140721080935574 140721080935574 140721080938447 0
[pid=14761/tid=14774] ppid=14758 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14761/task/14774/stat : 14774 (java) S 14758 14758 14714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417948265 27969658880 31677 33554432000 4194304 4196468 140721080927232 140682420115920 140685136181147 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30474240 140721080935147 140721080935574 140721080935574 140721080938447 0
[pid=14761/tid=14775] ppid=14758 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14761/task/14775/stat : 14775 (java) S 14758 14758 14714 0 -1 1077944384 297 0 0 0 0 0 0 0 20 0 20 0 417948265 27969658880 31677 33554432000 4194304 4196468 140721080927232 140684058114288 140685136173698 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30474240 140721080935147 140721080935574 140721080935574 140721080938447 0
[pid=14761/tid=14776] ppid=14758 vsize=27314120 memory=3620 CPUtime=0 cores=0-7
/proc/14761/task/14776/stat : 14776 (java) S 14758 14758 14714 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 20 0 417948265 27969658880 31677 33554432000 4194304 4196468 140721080927232 140684057061744 140685136173698 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30474240 140721080935147 140721080935574 140721080935574 140721080938447 0
[pid=14761/tid=14777] ppid=14758 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14761/task/14777/stat : 14777 (java) S 14758 14758 14714 0 -1 1077944384 149 0 0 0 0 0 0 0 20 0 20 0 417948265 27969658880 31677 33554432000 4194304 4196468 140721080927232 140684056008688 140685136173698 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30474240 140721080935147 140721080935574 140721080935574 140721080938447 0
[pid=14761/tid=14778] ppid=14758 vsize=27314120 memory=140639442313872 CPUtime=0.03 cores=0-7
/proc/14761/task/14778/stat : 14778 (java) S 14758 14758 14714 0 -1 1077944384 461 0 0 0 3 0 0 0 20 0 20 0 417948265 27969658880 31677 33554432000 4194304 4196468 140721080927232 140684054956144 140685136173698 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30474240 140721080935147 140721080935574 140721080935574 140721080938447 0
[pid=14761/tid=14779] ppid=14758 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14761/task/14779/stat : 14779 (java) S 14758 14758 14714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417948266 27969658880 31677 33554432000 4194304 4196468 140721080927232 140681922210784 140685136172757 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30474240 140721080935147 140721080935574 140721080935574 140721080938447 0
[pid=14761/tid=14780] ppid=14758 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14761/task/14780/stat : 14780 (java) S 14758 14758 14714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417948275 27969658880 31677 33554432000 4194304 4196468 140721080927232 140684053904560 140685136173698 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30474240 140721080935147 140721080935574 140721080935574 140721080938447 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 128104 KiB

[startup+1.50095 s]
/proc/loadavg: 0.00 0.33 0.77 2/211 14780
/proc/meminfo: memFree=30866388/32770624 swapFree=66935016/67108860
[pid=14758] ppid=14755 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/14758/stat : 14758 (scop.sh) S 14755 14758 14714 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 417948224 115843072 349 33554432000 4194304 5098028 140733398461120 140733398458376 140434289898108 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 32747520 140733398467365 140733398467692 140733398467692 140733398470605 0
/proc/14758/statm: 28282 349 296 221 0 87 0
[pid=14761] ppid=14758 vsize=27322516 memory=179144 CPUtime=1.53 cores=0-7
/proc/14761/stat : 14761 (java) S 14758 14758 14714 0 -1 1077944320 21386 0 0 0 146 7 0 0 20 0 20 0 417948225 27978256384 44786 33554432000 4194304 4196468 140721080927232 140721080909776 140685136162551 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 30474240 140721080935147 140721080935574 140721080935574 140721080938447 0
/proc/14761/statm: 6830629 44786 3234 1 0 6791959 0
[pid=14761/tid=14762] ppid=14758 vsize=27322516 memory=72 CPUtime=0.92 cores=0-7
/proc/14761/task/14762/stat : 14762 (java) R 14758 14758 14714 0 -1 4202560 17755 0 0 0 87 5 0 0 20 0 20 0 417948229 27978256384 44786 33554432000 4194304 4196468 140721080927232 140685108000880 140685136184477 0 4 2 25189581 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 30474240 140721080935147 140721080935574 140721080935574 140721080938447 0
[pid=14761/tid=14763] ppid=14758 vsize=27322516 memory=140643861218943 CPUtime=0 cores=0-7
/proc/14761/task/14763/stat : 14763 (java) S 14758 14758 14714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417948239 27978256384 44786 33554432000 4194304 4196468 140721080927232 140685140405264 140685136172757 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30474240 140721080935147 140721080935574 140721080935574 140721080938447 0
[pid=14761/tid=14764] ppid=14758 vsize=27322516 memory=0 CPUtime=0 cores=0-7
/proc/14761/task/14764/stat : 14764 (java) S 14758 14758 14714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417948239 27978256384 44786 33554432000 4194304 4196468 140721080927232 140684954561680 140685136172757 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30474240 140721080935147 140721080935574 140721080935574 140721080938447 0
[pid=14761/tid=14765] ppid=14758 vsize=27322516 memory=0 CPUtime=0 cores=0-7
/proc/14761/task/14765/stat : 14765 (java) S 14758 14758 14714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417948239 27978256384 44786 33554432000 4194304 4196468 140721080927232 140684953508624 140685136172757 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30474240 140721080935147 140721080935574 140721080935574 140721080938447 0
[pid=14761/tid=14766] ppid=14758 vsize=27322516 memory=0 CPUtime=0 cores=0-7
/proc/14761/task/14766/stat : 14766 (java) S 14758 14758 14714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417948239 27978256384 44786 33554432000 4194304 4196468 140721080927232 140684952456080 140685136172757 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30474240 140721080935147 140721080935574 140721080935574 140721080938447 0
[pid=14761/tid=14767] ppid=14758 vsize=27322516 memory=0 CPUtime=0 cores=0-7
/proc/14761/task/14767/stat : 14767 (java) S 14758 14758 14714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417948239 27978256384 44786 33554432000 4194304 4196468 140721080927232 140684951403024 140685136172757 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30474240 140721080935147 140721080935574 140721080935574 140721080938447 0
[pid=14761/tid=14768] ppid=14758 vsize=27324564 memory=56 CPUtime=0 cores=0-7
/proc/14761/task/14768/stat : 14768 (java) S 14758 14758 14714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417948239 27980353536 44786 33554432000 4194304 4196468 140721080927232 140684950350480 140685136172757 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30474240 140721080935147 140721080935574 140721080935574 140721080938447 0
[pid=14761/tid=14769] ppid=14758 vsize=27324308 memory=2958597 CPUtime=0 cores=0-7
/proc/14761/task/14769/stat : 14769 (java) S 14758 14758 14714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417948239 27980091392 44816 33554432000 4194304 4196468 140721080927232 140684949297424 140685136172757 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30474240 140721080935147 140721080935574 140721080935574 140721080938447 0
[pid=14761/tid=14770] ppid=14758 vsize=27324564 memory=2965986 CPUtime=0 cores=0-7
/proc/14761/task/14770/stat : 14770 (java) S 14758 14758 14714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417948239 27980353536 44816 33554432000 4194304 4196468 140721080927232 140684948244880 140685136172757 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30474240 140721080935147 140721080935574 140721080935574 140721080938447 0
[pid=14761/tid=14771] ppid=14758 vsize=27324564 memory=0 CPUtime=0 cores=0-7
/proc/14761/task/14771/stat : 14771 (java) S 14758 14758 14714 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 417948241 27980353536 44816 33554432000 4194304 4196468 140721080927232 140684059167472 140685136173698 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30474240 140721080935147 140721080935574 140721080935574 140721080938447 0
[pid=14761/tid=14772] ppid=14758 vsize=27324564 memory=-3621219749712857441 CPUtime=0 cores=0-7

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

# the end of solver process 14758 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=5.776 s, system=0.251911 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+3.20108 s]
/proc/loadavg: 0.00 0.33 0.77 2/211 14800
/proc/meminfo: memFree=30947756/32770624 swapFree=66935016/67108860
[pid=14758] ppid=14755 vsize=113128 memory=1476 CPUtime=4.39 cores=0-7
/proc/14758/stat : 14758 (scop.sh) S 14755 14758 14714 0 -1 4202496 583 26419 0 0 0 0 424 15 20 0 1 0 417948224 115843072 369 33554432000 4194304 5098028 140733398461120 140733398457864 140434289898108 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 32747520 140733398467365 140733398467692 140733398467692 140733398470605 0
/proc/14758/statm: 28282 369 311 221 0 87 0
[pid=14781] ppid=14758 vsize=7754336 memory=96112 CPUtime=0.88 cores=0-7
/proc/14781/stat : 14781 (java) S 14758 14758 14714 0 -1 1077944320 18944 0 0 0 83 5 0 0 20 0 20 0 417948479 7940440064 24028 33554432000 4194304 4196468 140723210941120 140723210923664 140156162088695 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14901248 140723210949623 140723210949782 140723210949782 140723210952655 0
/proc/14781/statm: 1938584 24028 3105 1 0 1900463 0
[pid=14781/tid=14782] ppid=14758 vsize=7754336 memory=0 CPUtime=0.63 cores=0-7
/proc/14781/task/14782/stat : 14782 (java) R 14758 14758 14714 0 -1 4202560 16514 0 0 0 59 4 0 0 20 0 20 0 417948479 7940440064 24028 33554432000 4194304 4196468 140723210941120 140156133924528 140156146169182 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14901248 140723210949623 140723210949782 140723210949782 140723210952655 0
[pid=14781/tid=14783] ppid=14758 vsize=7754336 memory=-6799679378659261270 CPUtime=0 cores=0-7
/proc/14781/task/14783/stat : 14783 (java) S 14758 14758 14714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417948480 7940440064 24028 33554432000 4194304 4196468 140723210941120 140156166330896 140156162098901 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14901248 140723210949623 140723210949782 140723210949782 140723210952655 0
[pid=14781/tid=14784] ppid=14758 vsize=7754336 memory=6944656592387989600 CPUtime=0 cores=0-7
/proc/14781/task/14784/stat : 14784 (java) S 14758 14758 14714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417948480 7940440064 24028 33554432000 4194304 4196468 140723210941120 140155646802576 140156162098901 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14901248 140723210949623 140723210949782 140723210949782 140723210952655 0
[pid=14781/tid=14785] ppid=14758 vsize=7754336 memory=6944656592455360604 CPUtime=0 cores=0-7
/proc/14781/task/14785/stat : 14785 (java) S 14758 14758 14714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417948480 7940440064 24028 33554432000 4194304 4196468 140723210941120 140155645749520 140156162098901 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14901248 140723210949623 140723210949782 140723210949782 140723210952655 0
[pid=14781/tid=14786] ppid=14758 vsize=7754336 memory=6943526294502006880 CPUtime=0 cores=0-7
/proc/14781/task/14786/stat : 14786 (java) S 14758 14758 14714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417948480 7940440064 24028 33554432000 4194304 4196468 140723210941120 140155644696976 140156162098901 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14901248 140723210949623 140723210949782 140723210949782 140723210952655 0
[pid=14781/tid=14787] ppid=14758 vsize=7754336 memory=0 CPUtime=0 cores=0-7
/proc/14781/task/14787/stat : 14787 (java) S 14758 14758 14714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417948480 7940440064 24028 33554432000 4194304 4196468 140723210941120 140155643644944 140156162098901 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14901248 140723210949623 140723210949782 140723210949782 140723210952655 0
[pid=14781/tid=14788] ppid=14758 vsize=7754336 memory=0 CPUtime=0 cores=0-7
/proc/14781/task/14788/stat : 14788 (java) S 14758 14758 14714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417948480 7940440064 24028 33554432000 4194304 4196468 140723210941120 140155642592400 140156162098901 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14901248 140723210949623 140723210949782 140723210949782 140723210952655 0
[pid=14781/tid=14789] ppid=14758 vsize=7754336 memory=0 CPUtime=0 cores=0-7
/proc/14781/task/14789/stat : 14789 (java) S 14758 14758 14714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417948480 7940440064 24028 33554432000 4194304 4196468 140723210941120 140155641539344 140156162098901 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14901248 140723210949623 140723210949782 140723210949782 140723210952655 0
[pid=14781/tid=14790] ppid=14758 vsize=7754336 memory=4716266343162663511 CPUtime=0 cores=0-7
/proc/14781/task/14790/stat : 14790 (java) S 14758 14758 14714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417948480 7940440064 24028 33554432000 4194304 4196468 140723210941120 140155640486800 140156162098901 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14901248 140723210949623 140723210949782 140723210949782 140723210952655 0
[pid=14781/tid=14791] ppid=14758 vsize=7754336 memory=0 CPUtime=0 cores=0-7
/proc/14781/task/14791/stat : 14791 (java) S 14758 14758 14714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417948482 7940440064 24028 33554432000 4194304 4196468 140723210941120 140155591080176 140156162099842 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14901248 140723210949623 140723210949782 140723210949782 140723210952655 0
[pid=14781/tid=14792] ppid=14758 vsize=7754336 memory=7809523229951467570 CPUtime=0 cores=0-7
/proc/14781/task/14792/stat : 14792 (java) S 14758 14758 14714 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 417948482 7940440064 24028 33554432000 4194304 4196468 140723210941120 140154580755616 140156162098901 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14901248 140723210949623 140723210949782 140723210949782 140723210952655 0
[pid=14781/tid=14793] ppid=14758 vsize=7754336 memory=3328577 CPUtime=0 cores=0-7
/proc/14781/task/14793/stat : 14793 (java) S 14758 14758 14714 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 417948483 7940440064 24028 33554432000 4194304 4196468 140723210941120 140154446533360 140156162098901 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14901248 140723210949623 140723210949782 140723210949782 140723210952655 0
[pid=14781/tid=14794] ppid=14758 vsize=7754336 memory=2958613 CPUtime=0 cores=0-7
/proc/14781/task/14794/stat : 14794 (java) S 14758 14758 14714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417948485 7940440064 24028 33554432000 4194304 4196468 140723210941120 140154072029136 140156162107291 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14901248 140723210949623 140723210949782 140723210949782 140723210952655 0
[pid=14781/tid=14795] ppid=14758 vsize=7754336 memory=2966382 CPUtime=0.02 cores=0-7
/proc/14781/task/14795/stat : 14795 (java) S 14758 14758 14714 0 -1 1077944384 467 0 0 0 2 0 0 0 20 0 20 0 417948485 7940440064 24028 33554432000 4194304 4196468 140723210941120 140155590028016 140156162099842 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14901248 140723210949623 140723210949782 140723210949782 140723210952655 0
[pid=14781/tid=14796] ppid=14758 vsize=7754336 memory=7649399358562448433 CPUtime=0.01 cores=0-7
/proc/14781/task/14796/stat : 14796 (java) S 14758 14758 14714 0 -1 1077944384 28 0 0 0 1 0 0 0 20 0 20 0 417948485 7940440064 24028 33554432000 4194304 4196468 140723210941120 140155588975472 140156162099842 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14901248 140723210949623 140723210949782 140723210949782 140723210952655 0
[pid=14781/tid=14797] ppid=14758 vsize=7754336 memory=8298058378655734517 CPUtime=0.03 cores=0-7
/proc/14781/task/14797/stat : 14797 (java) S 14758 14758 14714 0 -1 1077944384 157 0 0 0 3 0 0 0 20 0 20 0 417948485 7940440064 24028 33554432000 4194304 4196468 140723210941120 140155386063344 140156162099842 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14901248 140723210949623 140723210949782 140723210949782 140723210952655 0
[pid=14781/tid=14798] ppid=14758 vsize=7754336 memory=15652 CPUtime=0.14 cores=0-7
/proc/14781/task/14798/stat : 14798 (java) S 14758 14758 14714 0 -1 1077944384 421 0 0 0 14 0 0 0 20 0 20 0 417948485 7940440064 24028 33554432000 4194304 4196468 140723210941120 140155385010800 140156162099842 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14901248 140723210949623 140723210949782 140723210949782 140723210952655 0
[pid=14781/tid=14799] ppid=14758 vsize=7754336 memory=0 CPUtime=0 cores=0-7
/proc/14781/task/14799/stat : 14799 (java) S 14758 14758 14714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417948485 7940440064 24028 33554432000 4194304 4196468 140723210941120 140153574124000 140156162098901 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14901248 140723210949623 140723210949782 140723210949782 140723210952655 0
[pid=14781/tid=14800] ppid=14758 vsize=7754336 memory=0 CPUtime=0 cores=0-7
/proc/14781/task/14800/stat : 14800 (java) S 14758 14758 14714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417948486 7940440064 24028 33554432000 4194304 4196468 140723210941120 140155383958192 140156162099842 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14901248 140723210949623 140723210949782 140723210949782 140723210952655 0
Current children cumulated CPU time: 5.27 s
Current children cumulated vsize: 7867464 KiB
Current children cumulated memory: 97588 KiB

[startup+3.40198 s]
/proc/loadavg: 0.00 0.33 0.77 2/211 14800
/proc/meminfo: memFree=30947756/32770624 swapFree=66935016/67108860
[pid=14758] ppid=14755 vsize=113128 memory=1476 CPUtime=4.39 cores=0-7
/proc/14758/stat : 14758 (scop.sh) S 14755 14758 14714 0 -1 4202496 583 26419 0 0 0 0 424 15 20 0 1 0 417948224 115843072 369 33554432000 4194304 5098028 140733398461120 140733398457864 140434289898108 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 32747520 140733398467365 140733398467692 140733398467692 140733398470605 0
/proc/14758/statm: 28282 369 311 221 0 87 0
[pid=14781] ppid=14758 vsize=8414124 memory=120420 CPUtime=1.37 cores=0-7
/proc/14781/stat : 14781 (java) S 14758 14758 14714 0 -1 1077944320 21087 7727 0 0 117 7 12 1 20 0 23 0 417948479 8616062976 30105 33554432000 4194304 4196468 140723210941120 140723210923664 140156162088695 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14901248 140723210949623 140723210949782 140723210949782 140723210952655 0
/proc/14781/statm: 2103531 30105 3203 1 0 2064875 0
[pid=14781/tid=14782] ppid=14758 vsize=8414124 memory=0 CPUtime=0.87 cores=0-7
/proc/14781/task/14782/stat : 14782 (java) S 14758 14758 14714 0 -1 1077944384 17390 7727 0 0 70 4 12 1 20 0 23 0 417948479 8616062976 30105 33554432000 4194304 4196468 140723210941120 140156133928864 140156162098901 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14901248 140723210949623 140723210949782 140723210949782 140723210952655 0
[pid=14781/tid=14783] ppid=14758 vsize=8414124 memory=0 CPUtime=0.13 cores=0-7
/proc/14781/task/14783/stat : 14783 (java) S 14758 14758 14714 0 -1 1077944384 2 7727 0 0 0 0 12 1 20 0 23 0 417948480 8616062976 30105 33554432000 4194304 4196468 140723210941120 140156166330896 140156162098901 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14901248 140723210949623 140723210949782 140723210949782 140723210952655 0
[pid=14781/tid=14784] ppid=14758 vsize=8414124 memory=47 CPUtime=0.13 cores=0-7
/proc/14781/task/14784/stat : 14784 (java) S 14758 14758 14714 0 -1 1077944384 1 7727 0 0 0 0 12 1 20 0 23 0 417948480 8616062976 30105 33554432000 4194304 4196468 140723210941120 140155646802576 140156162098901 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14901248 140723210949623 140723210949782 140723210949782 140723210952655 0
[pid=14781/tid=14785] ppid=14758 vsize=8414124 memory=3620 CPUtime=0.13 cores=0-7
/proc/14781/task/14785/stat : 14785 (java) S 14758 14758 14714 0 -1 1077944384 2 7727 0 0 0 0 12 1 20 0 23 0 417948480 8616062976 30105 33554432000 4194304 4196468 140723210941120 140155645749520 140156162098901 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14901248 140723210949623 140723210949782 140723210949782 140723210952655 0
[pid=14781/tid=14786] ppid=14758 vsize=8414124 memory=281278884909768 CPUtime=0.13 cores=0-7
/proc/14781/task/14786/stat : 14786 (java) S 14758 14758 14714 0 -1 1077944384 3 7727 0 0 0 0 12 1 20 0 23 0 417948480 8616062976 30105 33554432000 4194304 4196468 140723210941120 140155644696976 140156162098901 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14901248 140723210949623 140723210949782 140723210949782 140723210952655 0
[pid=14781/tid=14787] ppid=14758 vsize=8414124 memory=281278885208656 CPUtime=0.13 cores=0-7
/proc/14781/task/14787/stat : 14787 (java) S 14758 14758 14714 0 -1 1077944384 1 7727 0 0 0 0 12 1 20 0 23 0 417948480 8616062976 30105 33554432000 4194304 4196468 140723210941120 140155643644944 140156162098901 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14901248 140723210949623 140723210949782 140723210949782 140723210952655 0
[pid=14781/tid=14788] ppid=14758 vsize=8414124 memory=281278884792776 CPUtime=0.13 cores=0-7
/proc/14781/task/14788/stat : 14788 (java) S 14758 14758 14714 0 -1 1077944384 1 7727 0 0 0 0 12 1 20 0 23 0 417948480 8616062976 30105 33554432000 4194304 4196468 140723210941120 140155642592400 140156162098901 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14901248 140723210949623 140723210949782 140723210949782 140723210952655 0
[pid=14781/tid=14789] ppid=14758 vsize=8414124 memory=281278884792872 CPUtime=0.13 cores=0-7
/proc/14781/task/14789/stat : 14789 (java) S 14758 14758 14714 0 -1 1077944384 2 7727 0 0 0 0 12 1 20 0 23 0 417948480 8616062976 30105 33554432000 4194304 4196468 140723210941120 140155641539344 140156162098901 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14901248 140723210949623 140723210949782 140723210949782 140723210952655 0
[pid=14781/tid=14790] ppid=14758 vsize=8414124 memory=281278884792968 CPUtime=0.13 cores=0-7
/proc/14781/task/14790/stat : 14790 (java) S 14758 14758 14714 0 -1 1077944384 2 7727 0 0 0 0 12 1 20 0 23 0 417948480 8616062976 30105 33554432000 4194304 4196468 140723210941120 140155640486800 140156162098901 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14901248 140723210949623 140723210949782 140723210949782 140723210952655 0
[pid=14781/tid=14791] ppid=14758 vsize=8414124 memory=281278884793064 CPUtime=0.13 cores=0-7
/proc/14781/task/14791/stat : 14791 (java) S 14758 14758 14714 0 -1 1077944384 5 7727 0 0 0 0 12 1 20 0 23 0 417948482 8616062976 30105 33554432000 4194304 4196468 140723210941120 140155591080176 140156162099842 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14901248 140723210949623 140723210949782 140723210949782 140723210952655 0
[pid=14781/tid=14792] ppid=14758 vsize=8414124 memory=281278884793160 CPUtime=0.13 cores=0-7
/proc/14781/task/14792/stat : 14792 (java) S 14758 14758 14714 0 -1 1077944384 13 7727 0 0 0 0 12 1 20 0 23 0 417948482 8616062976 30105 33554432000 4194304 4196468 140723210941120 140154580755616 140156162098901 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14901248 140723210949623 140723210949782 140723210949782 140723210952655 0
[pid=14781/tid=14793] ppid=14758 vsize=8414124 memory=281278884793256 CPUtime=0.13 cores=0-7
/proc/14781/task/14793/stat : 14793 (java) S 14758 14758 14714 0 -1 1077944384 21 7727 0 0 0 0 12 1 20 0 23 0 417948483 8616062976 30105 33554432000 4194304 4196468 140723210941120 140154446533360 140156162098901 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14901248 140723210949623 140723210949782 140723210949782 140723210952655 0
[pid=14781/tid=14794] ppid=14758 vsize=8414124 memory=7008597519481980598 CPUtime=0.13 cores=0-7
/proc/14781/task/14794/stat : 14794 (java) S 14758 14758 14714 0 -1 1077944384 1 7727 0 0 0 0 12 1 20 0 23 0 417948485 8616062976 30105 33554432000 4194304 4196468 140723210941120 140154072029136 140156162107291 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14901248 140723210949623 140723210949782 140723210949782 140723210952655 0
[pid=14781/tid=14795] ppid=14758 vsize=8414124 memory=6879796308118664684 CPUtime=0.22 cores=0-7
/proc/14781/task/14795/stat : 14795 (java) R 14758 14758 14714 0 -1 1077944384 669 7727 0 0 9 0 12 1 20 0 23 0 417948485 8616062976 30105 33554432000 4194304 4196468 140723210941120 140155590028016 140156162099842 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14901248 140723210949623 140723210949782 140723210949782 140723210952655 0
[pid=14781/tid=14796] ppid=14758 vsize=8414124 memory=3977442744866550293 CPUtime=0.19 cores=0-7
/proc/14781/task/14796/stat : 14796 (java) R 14758 14758 14714 0 -1 4202560 263 7727 0 0 6 0 12 1 20 0 23 0 417948485 8616062976 30105 33554432000 4194304 4196468 140723210941120 140155588965856 140156146478544 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14901248 140723210949623 140723210949782 140723210949782 140723210952655 0
[pid=14781/tid=14797] ppid=14758 vsize=8414124 memory=3977442744866550389 CPUtime=0.18 cores=0-7
/proc/14781/task/14797/stat : 14797 (java) S 14758 14758 14714 0 -1 1077944384 219 7727 0 0 5 0 12 1 20 0 23 0 417948485 8616062976 30105 33554432000 4194304 4196468 140723210941120 140155386063344 140156162099842 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14901248 140723210949623 140723210949782 140723210949782 140723210952655 0
[pid=14781/tid=14798] ppid=14758 vsize=8414124 memory=3977442744866550485 CPUtime=0.34 cores=0-7
/proc/14781/task/14798/stat : 14798 (java) R 14758 14758 14714 0 -1 4202560 571 7727 0 0 21 0 12 1 20 0 23 0 417948485 8616062976 30105 33554432000 4194304 4196468 140723210941120 140155385010928 140156162100630 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14901248 140723210949623 140723210949782 140723210949782 140723210952655 0
[pid=14781/tid=14799] ppid=14758 vsize=8414124 memory=3905666625805333301 CPUtime=0.13 cores=0-7
/proc/14781/task/14799/stat : 14799 (java) S 14758 14758 14714 0 -1 1077944384 3 7727 0 0 0 0 12 1 20 0 23 0 417948485 8616062976 30105 33554432000 4194304 4196468 140723210941120 140153574124000 140156162098901 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14901248 140723210949623 140723210949782 140723210949782 140723210952655 0
[pid=14781/tid=14800] ppid=14758 vsize=8414124 memory=3618555573915072408 CPUtime=0.13 cores=0-7
/proc/14781/task/14800/stat : 14800 (java) S 14758 14758 14714 0 -1 1077944384 1 7727 0 0 0 0 12 1 20 0 23 0 417948486 8616062976 30105 33554432000 4194304 4196468 140723210941120 140155383958192 140156162099842 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14901248 140723210949623 140723210949782 140723210949782 140723210952655 0
Current children cumulated CPU time: 5.76 s
Current children cumulated vsize: 8527252 KiB
Current children cumulated memory: 121896 KiB

[startup+3.50096 s]
/proc/loadavg: 0.00 0.33 0.77 2/211 14800
/proc/meminfo: memFree=30947756/32770624 swapFree=66935016/67108860
[pid=14758] ppid=14755 vsize=113128 memory=1476 CPUtime=4.39 cores=0-7
/proc/14758/stat : 14758 (scop.sh) S 14755 14758 14714 0 -1 4202496 583 26419 0 0 0 0 424 15 20 0 1 0 417948224 115843072 369 33554432000 4194304 5098028 140733398461120 140733398457864 140434289898108 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 32747520 140733398467365 140733398467692 140733398467692 140733398470605 0
/proc/14758/statm: 28282 369 311 221 0 87 0
[pid=14781] ppid=14758 vsize=8283048 memory=124276 CPUtime=1.57 cores=0-7
/proc/14781/stat : 14781 (java) S 14758 14758 14714 0 -1 1077944320 21566 7727 0 0 137 7 12 1 20 0 22 0 417948479 8481841152 31069 33554432000 4194304 4196468 140723210941120 140723210923664 140156162088695 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14901248 140723210949623 140723210949782 140723210949782 140723210952655 0
/proc/14781/statm: 2070762 31069 3208 1 0 2032106 0
[pid=14781/tid=14782] ppid=14758 vsize=8283048 memory=0 CPUtime=0.96 cores=0-7
/proc/14781/task/14782/stat : 14782 (java) R 14758 14758 14714 0 -1 4202560 17706 7727 0 0 79 4 12 1 20 0 22 0 417948479 8481841152 31069 33554432000 4194304 4196468 140723210941120 140156133926768 140156141798976 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 14901248 140723210949623 140723210949782 140723210949782 140723210952655 0
[pid=14781/tid=14783] ppid=14758 vsize=8283048 memory=0 CPUtime=0.13 cores=0-7
/proc/14781/task/14783/stat : 14783 (java) S 14758 14758 14714 0 -1 1077944384 2 7727 0 0 0 0 12 1 20 0 22 0 417948480 8481841152 31069 33554432000 4194304 4196468 140723210941120 140156166330896 140156162098901 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14901248 140723210949623 140723210949782 140723210949782 140723210952655 0
[pid=14781/tid=14784] ppid=14758 vsize=8283048 memory=772 CPUtime=0.13 cores=0-7
/proc/14781/task/14784/stat : 14784 (java) S 14758 14758 14714 0 -1 1077944384 1 7727 0 0 0 0 12 1 20 0 22 0 417948480 8481841152 31069 33554432000 4194304 4196468 140723210941120 140155646802576 140156162098901 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14901248 140723210949623 140723210949782 140723210949782 140723210952655 0
[pid=14781/tid=14785] ppid=14758 vsize=8283048 memory=0 CPUtime=0.13 cores=0-7
/proc/14781/task/14785/stat : 14785 (java) S 14758 14758 14714 0 -1 1077944384 2 7727 0 0 0 0 12 1 20 0 22 0 417948480 8481841152 31069 33554432000 4194304 4196468 140723210941120 140155645749520 140156162098901 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14901248 140723210949623 140723210949782 140723210949782 140723210952655 0
[pid=14781/tid=14786] ppid=14758 vsize=8283048 memory=0 CPUtime=0.13 cores=0-7
/proc/14781/task/14786/stat : 14786 (java) S 14758 14758 14714 0 -1 1077944384 3 7727 0 0 0 0 12 1 20 0 22 0 417948480 8481841152 31069 33554432000 4194304 4196468 140723210941120 140155644696976 140156162098901 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14901248 140723210949623 140723210949782 140723210949782 140723210952655 0
[pid=14781/tid=14787] ppid=14758 vsize=8283048 memory=56 CPUtime=0.13 cores=0-7
/proc/14781/task/14787/stat : 14787 (java) S 14758 14758 14714 0 -1 1077944384 1 7727 0 0 0 0 12 1 20 0 22 0 417948480 8481841152 31069 33554432000 4194304 4196468 140723210941120 140155643644944 140156162098901 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14901248 140723210949623 140723210949782 140723210949782 140723210952655 0
[pid=14781/tid=14788] ppid=14758 vsize=8283048 memory=-8412621172359848557 CPUtime=0.13 cores=0-7
/proc/14781/task/14788/stat : 14788 (java) S 14758 14758 14714 0 -1 1077944384 1 7727 0 0 0 0 12 1 20 0 22 0 417948480 8481841152 31069 33554432000 4194304 4196468 140723210941120 140155642592400 140156162098901 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14901248 140723210949623 140723210949782 140723210949782 140723210952655 0
[pid=14781/tid=14789] ppid=14758 vsize=8283048 memory=281278884973904 CPUtime=0.13 cores=0-7
/proc/14781/task/14789/stat : 14789 (java) S 14758 14758 14714 0 -1 1077944384 2 7727 0 0 0 0 12 1 20 0 22 0 417948480 8481841152 31069 33554432000 4194304 4196468 140723210941120 140155641539344 140156162098901 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14901248 140723210949623 140723210949782 140723210949782 140723210952655 0
[pid=14781/tid=14790] ppid=14758 vsize=8283048 memory=1332 CPUtime=0.13 cores=0-7
/proc/14781/task/14790/stat : 14790 (java) S 14758 14758 14714 0 -1 1077944384 2 7727 0 0 0 0 12 1 20 0 22 0 417948480 8481841152 31069 33554432000 4194304 4196468 140723210941120 140155640486800 140156162098901 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14901248 140723210949623 140723210949782 140723210949782 140723210952655 0
[pid=14781/tid=14791] ppid=14758 vsize=8283048 memory=1564 CPUtime=0.13 cores=0-7
/proc/14781/task/14791/stat : 14791 (java) S 14758 14758 14714 0 -1 1077944384 5 7727 0 0 0 0 12 1 20 0 22 0 417948482 8481841152 31069 33554432000 4194304 4196468 140723210941120 140155591080176 140156162099842 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14901248 140723210949623 140723210949782 140723210949782 140723210952655 0
[pid=14781/tid=14792] ppid=14758 vsize=8283048 memory=0 CPUtime=0.13 cores=0-7
/proc/14781/task/14792/stat : 14792 (java) S 14758 14758 14714 0 -1 1077944384 13 7727 0 0 0 0 12 1 20 0 22 0 417948482 8481841152 31069 33554432000 4194304 4196468 140723210941120 140154580755616 140156162098901 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14901248 140723210949623 140723210949782 140723210949782 140723210952655 0
[pid=14781/tid=14793] ppid=14758 vsize=8283048 memory=23664 CPUtime=0.13 cores=0-7
/proc/14781/task/14793/stat : 14793 (java) S 14758 14758 14714 0 -1 1077944384 21 7727 0 0 0 0 12 1 20 0 22 0 417948483 8481841152 31069 33554432000 4194304 4196468 140723210941120 140154446533360 140156162098901 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14901248 140723210949623 140723210949782 140723210949782 140723210952655 0
[pid=14781/tid=14794] ppid=14758 vsize=8283048 memory=984 CPUtime=0.13 cores=0-7
/proc/14781/task/14794/stat : 14794 (java) S 14758 14758 14714 0 -1 1077944384 1 7727 0 0 0 0 12 1 20 0 22 0 417948485 8481841152 31069 33554432000 4194304 4196468 140723210941120 140154072029136 140156162107291 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14901248 140723210949623 140723210949782 140723210949782 140723210952655 0
[pid=14781/tid=14795] ppid=14758 vsize=8283048 memory=2032 CPUtime=0.24 cores=0-7
/proc/14781/task/14795/stat : 14795 (java) S 14758 14758 14714 0 -1 1077944384 691 7727 0 0 11 0 12 1 20 0 22 0 417948485 8481841152 31069 33554432000 4194304 4196468 140723210941120 140155590028016 140156162099842 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14901248 140723210949623 140723210949782 140723210949782 140723210952655 0
[pid=14781/tid=14796] ppid=14758 vsize=8283048 memory=1476 CPUtime=0.21 cores=0-7
/proc/14781/task/14796/stat : 14796 (java) S 14758 14758 14714 0 -1 1077944384 272 7727 0 0 8 0 12 1 20 0 22 0 417948485 8481841152 31069 33554432000 4194304 4196468 140723210941120 140155588975472 140156162099842 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14901248 140723210949623 140723210949782 140723210949782 140723210952655 0
[pid=14781/tid=14797] ppid=14758 vsize=8283048 memory=1548 CPUtime=0.19 cores=0-7
/proc/14781/task/14797/stat : 14797 (java) S 14758 14758 14714 0 -1 1077944384 226 7727 0 0 6 0 12 1 20 0 22 0 417948485 8481841152 31069 33554432000 4194304 4196468 140723210941120 140155386063344 140156162099842 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14901248 140723210949623 140723210949782 140723210949782 140723210952655 0
[pid=14781/tid=14798] ppid=14758 vsize=8283048 memory=0 CPUtime=0.39 cores=0-7
/proc/14781/task/14798/stat : 14798 (java) R 14758 14758 14714 0 -1 4202560 690 7727 0 0 26 0 12 1 20 0 22 0 417948485 8481841152 31069 33554432000 4194304 4196468 140723210941120 140155385010800 140156162110042 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14901248 140723210949623 140723210949782 140723210949782 140723210952655 0
[pid=14781/tid=14799] ppid=14758 vsize=8283048 memory=281278884930336 CPUtime=0.13 cores=0-7
/proc/14781/task/14799/stat : 14799 (java) S 14758 14758 14714 0 -1 1077944384 3 7727 0 0 0 0 12 1 20 0 22 0 417948485 8481841152 31069 33554432000 4194304 4196468 140723210941120 140153574124000 140156162098901 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14901248 140723210949623 140723210949782 140723210949782 140723210952655 0
[pid=14781/tid=14800] ppid=14758 vsize=8283048 memory=140639442314016 CPUtime=0.13 cores=0-7
/proc/14781/task/14800/stat : 14800 (java) S 14758 14758 14714 0 -1 1077944384 1 7727 0 0 0 0 12 1 20 0 22 0 417948486 8481841152 31069 33554432000 4194304 4196468 140723210941120 140155383958192 140156162099842 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14901248 140723210949623 140723210949782 140723210949782 140723210952655 0
Current children cumulated CPU time: 5.96 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 125752 KiB

Child status: 0
Real time (s): 3.52285
CPU time (s): 6.02791
CPU user time (s): 5.776
CPU system time (s): 0.251911
CPU usage (%): 171.109
Max. virtual memory (cumulated for all children) (KiB): 27441876
Max. memory (cumulated for all children) (KiB): 401036

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.776
system time used= 0.251911
maximum resident set size= 402596
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 56379
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2096
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8591
involuntary context switches= 14


# summary of solver processes directly reported to runsolver:
#   pid: 14758
#   total CPU time (s): 6.02791
#   total CPU user time (s): 5.776
#   total CPU system time (s): 0.251911

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.056295 second user time and 0.074017 second system time

The end

Launcher Data 

Begin job on node151 at 2019-09-14 01:18:48
IDJOB=4392355
IDBENCH=115545
IDSOLVER=2838
FILE ID=node151/4392355-1568416768
RUNJOBID= node151-1568416728-14741
PBS_JOBID= 21702250
Free space on /tmp= 59308 MiB

SOLVER NAME= Fun-sCOP order+ManyGlucose (2019-06-15)
BENCH NAME= XCSP17/Scheduling/Scheduling-jsdec-sadeh/Sadeh-enddr1-7.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-4392355-1568416768/watcher-4392355-1568416768 -o /tmp/evaluation-result-4392355-1568416768/solver-4392355-1568416768 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node151-1568416728-14741 --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-4392355-1568416768.xml

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

MD5SUM BENCH= 7d172624d7d2d86f32f8d29666a5f8b7
RANDOM SEED=1939677289

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        31008604 kB
MemAvailable:   31858152 kB
Buffers:          177272 kB
Cached:           964780 kB
SwapCached:        71244 kB
Active:           626468 kB
Inactive:         588728 kB
Active(anon):       8896 kB
Inactive(anon):    97140 kB
Active(file):     617572 kB
Inactive(file):   491588 kB
Unevictable:      111120 kB
Mlocked:          111120 kB
SwapTotal:      67108860 kB
SwapFree:       66935016 kB
Dirty:             20564 kB
Writeback:             0 kB
AnonPages:        113248 kB
Mapped:            36600 kB
Shmem:             24252 kB
Slab:             140948 kB
SReclaimable:     112444 kB
SUnreclaim:        28504 kB
KernelStack:        3280 kB
PageTables:         5168 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     497888 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     69632 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      138624 kB
DirectMap2M:    33406976 kB

Free space on /tmp at the end= 59288 MiB
End job on node151 at 2019-09-14 01:18:52