Trace number 4392316

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 8.09469 3.47719

General information on the benchmark

NameGracefulGraph/GracefulGraph-m1-s1/
GracefulGraph-K05-P02.xml
MD5SUM803795f7a37fd3a40686e408980b1bff
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.274715
Satisfiable
(Un)Satisfiability was proved
Number of variables65
Number of constraints27
Number of domains2
Minimum domain size25
Maximum domain size26
Distribution of domain sizes[{"size":25,"count":25},{"size":26,"count":10}]
Minimum variable degree0
Maximum variable degree6
Distribution of variable degrees[{"degree":0,"count":30},{"degree":2,"count":25},{"degree":6,"count":10}]
Minimum constraint arity3
Maximum constraint arity25
Distribution of constraint arities[{"arity":3,"count":25},{"arity":10,"count":1},{"arity":25,"count":1}]
Number of extensional constraints0
Number of intensional constraints25
Distribution of constraint types[{"type":"intension","count":25},{"type":"allDifferent","count":2}]
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-27673-serial-file.bin HOME/instance-4392316-1568416814.xml
0.66/0.54	
0.66/0.54	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
0.66/0.54	
0.66/0.56	c BEGIN-Prog: Sat Sep 14 01:19:35 CEST 2019
0.66/0.56	c PID: 27676
0.66/0.56	c IP: 172.20.3.150
0.66/0.56	c HOST: node150.alineos.net
0.66/0.57	c (0,0) Parsing Begin
1.16/0.87	c (0,0) Parsing End
1.16/0.87	c (0,0) CSP: 35 int (0 aux), 0 bool (0 aux), 27 ctr, max domain size 26
1.16/0.87	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.16/0.87	c (0,0) Constraint Name Generate Begin
1.16/0.88	c (0,0) Ctr:HOME/instance-4392316-1568416814.xml,AllDifferent:Dist:Eq:Var
1.16/0.88	c (0,0) Constraint Name Generate End
1.16/0.88	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.16/0.88	c (0,0) CSP to CSPinCNF Begin
1.36/0.98	c (0,0) translated 3 (10%) constraints
1.36/1.00	c (0,0) translated 6 (20%) constraints
1.54/1.01	c (0,0) translated 9 (30%) constraints
1.54/1.02	c (0,0) translated 11 (40%) constraints
1.54/1.03	c (0,0) translated 14 (50%) constraints
1.54/1.03	c (0,0) translated 17 (60%) constraints
1.54/1.04	c (0,0) translated 19 (70%) constraints
1.54/1.05	c (0,0) translated 22 (80%) constraints
1.54/1.05	c (0,0) translated 25 (90%) constraints
1.54/1.09	c (0,0) translated 27 (100%) constraints
2.00/1.22	c (0,0) ===========================================
2.00/1.22	c (0,0) Order
2.00/1.22	c (0,0) ===========================================
2.00/1.23	c (0,0) translated 45 (10%) constraints
2.00/1.24	c (0,0) translated 90 (20%) constraints
2.00/1.25	c (0,0) translated 135 (30%) constraints
2.00/1.26	c (0,0) translated 180 (40%) constraints
2.00/1.26	c (0,0) translated 225 (50%) constraints
2.00/1.27	c (0,0) translated 270 (60%) constraints
2.00/1.28	c (0,0) translated 315 (70%) constraints
2.00/1.28	c (0,0) translated 360 (80%) constraints
2.00/1.29	c (0,0) translated 405 (90%) constraints
2.58/1.41	c (0,0) translated 450 (100%) constraints
2.58/1.42	c (0,0) CSP to CSPinCNF End
2.99/1.76	c (0,0) CSP: 35 int (0 aux), 625 bool (625 aux), 1700 ctr, max domain size 26
2.99/1.76	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 24 MiB used (max 0 MiB)
2.99/1.76	c (0,0) CSPinCNF Propagation Begin
2.99/1.76	c (0,0) 0 values, 0 unsatisfiable literals, and 51 valid clauses are removed
2.99/1.76	c (0,0) CSPinCNF Propagation End
2.99/1.76	c (0,0) CSP: 35 int (0 aux), 625 bool (625 aux), 1649 ctr, max domain size 26
2.99/1.76	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 24 MiB used (max 0 MiB)
2.99/1.76	c (0,0) Simplify CSPinCNF Begin
2.99/1.76	c (0,0) Simplify CSPinCNF End
2.99/1.76	c (0,0) CSP: 35 int (0 aux), 1365 bool (1365 aux), 2389 ctr, max domain size 26
2.99/1.76	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 24 MiB used (max 0 MiB)
2.99/1.76	c (0,0) Calculate Precise Domain Begin
2.99/1.76	c (0,0) 0 values are removed by re-calculation
2.99/1.76	c (0,0) Calculate Precise Domain End
2.99/1.76	c (0,0) CSP: 35 int (0 aux), 1365 bool (1365 aux), 2389 ctr, max domain size 26
2.99/1.76	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 24 MiB used (max 0 MiB)
2.99/1.76	c (0,0) CSPinCNF to SatSolver Begin
4.31/2.12	c (1,1) 239 (10 %) CSP clauses are encoded (0 SAT variables, 35328 SAT clauses)
4.31/2.15	c (1,1) 478 (20 %) CSP clauses are encoded (0 SAT variables, 39374 SAT clauses)
4.31/2.19	c (1,1) 717 (30 %) CSP clauses are encoded (0 SAT variables, 43429 SAT clauses)
4.77/2.22	c (1,1) 956 (40 %) CSP clauses are encoded (0 SAT variables, 47508 SAT clauses)
4.77/2.25	c (1,1) 1195 (50 %) CSP clauses are encoded (0 SAT variables, 51059 SAT clauses)
4.77/2.25	c (1,1) 1434 (60 %) CSP clauses are encoded (0 SAT variables, 51298 SAT clauses)
4.77/2.25	c (1,1) 1673 (70 %) CSP clauses are encoded (0 SAT variables, 51537 SAT clauses)
4.77/2.26	c (1,1) 1912 (80 %) CSP clauses are encoded (0 SAT variables, 51776 SAT clauses)
4.77/2.26	c (1,1) 2151 (90 %) CSP clauses are encoded (0 SAT variables, 52015 SAT clauses)
4.77/2.27	c (1,1) 2389 (100 %) CSP clauses are encoded (0 SAT variables, 52253 SAT clauses)
4.77/2.27	c (1,1) CSPinCNF to SatSolver End
4.77/2.27	c (1,1) Heap : 563 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB)
4.77/2.27	c (1,1) 2215 bool, 52254 clause
4.77/2.27	c (1,1) Export Begin
5.18/2.35	c (1,1) Export to HOME/scop-27673-serial-file.bin
5.18/2.35	c (1,1) Export End
5.18/2.35	c (1,1) Export File Size: 0.01 MB
5.18/2.35	c (1,1) 0,0,0,0,0,0,1,STOP-AFTER(DIMACS)
5.18/2.35	c END-Prog: Sat Sep 14 01:19:37 CEST 2019
5.18/2.37	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-27673-serial-file.bin
5.38/2.83	c (0,0) Read Serial File Begin
5.38/2.83	c (0,0) HOME/scop-27673-serial-file.bin
5.38/3.02	c (0,0) Read Serial File End
5.38/3.03	
5.38/3.03	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
5.38/3.03	(Solving Process)
5.38/3.03	
5.38/3.06	c BEGIN-Prog: Sat Sep 14 01:19:37 CEST 2019
5.38/3.06	c PID: 27696
5.38/3.06	c IP: 172.20.3.150
5.38/3.06	c HOST: node150.alineos.net
5.38/3.06	c (0,0) SatSolver.solve Begin
5.38/3.06	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4392316-1568416814.xml-scop-27676.cnf
5.38/3.09	c (0,0) c
5.38/3.09	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.38/3.09	c (0,0) c
5.38/3.09	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
5.38/3.09	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
5.38/3.09	c (0,0) c ========================================[ Problem Statistics ]===========================================
5.38/3.09	c (0,0) c |                                                                                                       |
5.38/3.10	c (0,0) c |  Number of variables:          2215                                                                   |
5.38/3.10	c (0,0) c |  Number of clauses:           52254                                                                   |
5.38/3.10	c (0,0) c |  Parse time:                   0.01 s                                                                 |
5.38/3.10	c (0,0) c |                                                                                                       |
5.38/3.16	c (0,0) c |  Simplification time:          0.06 s                                                                 |
5.38/3.16	c (0,0) c |                                                                                                       |
5.38/3.16	c (0,0) c |  Generating clones                                                                                    |
5.38/3.17	c (0,0) c |  all clones generated. Memory =    48.35Mb.                                                           |
5.38/3.17	c (0,0) c ========================================================================================================|
5.38/3.17	c (0,0) c
5.38/3.17	c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
5.38/3.17	c (0,0) c
5.38/3.17	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
5.38/3.17	c (0,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
5.38/3.17	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
5.38/3.17	c (0,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
5.38/3.17	c (0,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
5.38/3.17	c (0,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
5.38/3.17	c (0,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
5.38/3.17	c (0,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
5.38/3.17	c (0,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
5.38/3.17	c (0,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
5.38/3.17	c (0,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
5.38/3.17	c (0,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
5.38/3.17	c (0,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
5.38/3.17	c (0,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
5.38/3.17	c (0,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
5.38/3.17	c (0,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
5.38/3.17	c (0,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
5.38/3.17	c (0,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
5.38/3.17	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
7.61/3.34	c (0,0) c
7.61/3.34	c (0,0) c real time : 0.262149 s
7.61/3.34	c (0,0) c cpu time  : 1.30408 s
7.61/3.34	c (0,0) c
7.61/3.34	c (0,0) c
7.61/3.34	c (0,0) c
7.61/3.34	c (0,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
7.61/3.34	c (0,0) c
7.61/3.34	c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
7.61/3.34	c (0,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
7.61/3.35	c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
7.61/3.35	c (0,0) c | Conflicts     |           14214 |       1841 |       1686 |       1915 |       1586 |       1864 |       1932 |       1718 |       1672 |
7.61/3.35	c (0,0) c | Decisions     |           30114 |       3986 |       3719 |       4114 |       3511 |       3493 |       3641 |       4104 |       3546 |
7.61/3.35	c (0,0) c | Propagations  |         3377095 |     410292 |     415812 |     471317 |     369039 |     433344 |     460011 |     401859 |     415421 |
7.61/3.35	c (0,0) c | ReduceDBs     |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
7.61/3.35	c (0,0) c | SimpDBs       |               8 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |
7.61/3.35	c (0,0) c | Restarts      |              52 |          6 |          7 |          5 |          8 |          5 |          5 |          9 |          7 |
7.61/3.35	c (0,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
7.61/3.35	c (0,0) c | PropBinClauses|         5148788 |     631476 |     636540 |     724898 |     559066 |     653382 |     700055 |     599685 |     643686 |
7.61/3.35	c (0,0) c | PropPreBlocker|        87729762 |   11229330 |   10678659 |   12334982 |    9229695 |   10889497 |   12362288 |   10211702 |   10793609 |
7.61/3.35	c (0,0) c | PropNotBlocker|        16521859 |    2239301 |    2099202 |    2238282 |    1751388 |    2076415 |    2127887 |    1891158 |    2098226 |
7.61/3.35	c (0,0) c | LitFullScans  |       127731990 |   16491026 |   15522919 |   18004681 |   13356373 |   15764898 |   18011135 |   14976592 |   15604366 |
7.61/3.35	c (0,0) c | LitScanFracts |            2783 |        524 |        107 |        405 |        261 |        359 |        204 |        572 |        351 |
7.61/3.35	c (0,0) c | DecisionLevel0|              52 |          6 |          7 |          5 |          8 |          5 |          5 |          9 |          7 |
7.61/3.35	c (0,0) c | Periods       |              18 |          2 |          2 |          3 |          2 |          2 |          3 |          2 |          2 |
7.61/3.35	c (0,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
7.61/3.35	c (0,0) c | Avg_Trail     |                 |       1328 |       1336 |       1399 |       1265 |       1243 |       1447 |       1344 |       1297 |
7.61/3.35	c (0,0) c | Avg_DL        |                 |         26 |         41 |         35 |         30 |         25 |         20 |         24 |         26 |
7.61/3.35	c (0,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
7.61/3.35	c (0,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
7.61/3.35	c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
7.61/3.35	c (0,0) c | Exported      |             299 |         34 |         55 |         28 |         40 |         24 |         29 |         56 |         33 |
7.61/3.35	c (0,0) c | Imported      |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
7.61/3.35	c (0,0) c | Good          |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
7.61/3.35	c (0,0) c | Purge         |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
7.61/3.35	c (0,0) c | Promoted      |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
7.61/3.35	c (0,0) c | Remove_Imp    |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
7.61/3.35	c (0,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
7.61/3.35	c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
7.61/3.35	c (0,0) c | Unaries       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
7.61/3.35	c (0,0) c | Binaries      |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
7.61/3.35	c (0,0) c | Glues         |                 |         34 |         55 |         28 |         40 |         24 |         29 |         56 |         33 |
7.61/3.35	c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
7.61/3.35	c (0,0) c | Orig_Seen     |            27 % |      14724 |      15118 |      15537 |      14283 |      12614 |      14059 |      12514 |      14132 |
7.61/3.35	c (0,0) c | Diff Orig seen|                 |       2110 |       2504 |       2923 |       1669 |      X     |       1445 | -      100 |       1518 |
7.61/3.35	c (0,0) c | Hamming       |            23 % |        450 |        569 |        519 |        484 |      X     |        572 |        536 |        489 |
7.61/3.35	c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
7.61/3.35	c (0,0) c | RunningTime   |                 |    0.2 100%|    0.2 100%|    0.2 100%|    0.2 100%|    0.1 100%|    0.2 100%|    0.1 100%|    0.1 100%|
7.61/3.35	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%|
7.61/3.35	c (0,0) c | ExchangingTime|                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
7.61/3.35	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%|
7.61/3.35	c (0,0) c | SolvingTime   |                 |    0.2     |    0.2     |    0.2     |    0.2     |    0.1     |    0.2     |    0.1     |    0.1     |
7.61/3.35	c (0,0) c | PropagationTim|                 |    0.1  82%|    0.1  83%|    0.1  81%|    0.1  85%|    0.1  83%|    0.1  81%|    0.1  82%|    0.1  83%|
7.61/3.35	c (0,0) c | AnalysisTime  |                 |    0.0  15%|    0.0  13%|    0.0  15%|    0.0  12%|    0.0  13%|    0.0  16%|    0.0  15%|    0.0  13%|
7.61/3.35	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%|
7.61/3.35	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%|
7.61/3.35	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%|
7.61/3.35	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%|
7.61/3.35	c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
7.61/3.35	c (0,0) c
7.61/3.35	c (0,0) c
7.61/3.35	c (0,0) c Threads : 8
7.61/3.35	c (0,0) c Winner : 4
7.61/3.35	c (0,0) c Conflicts_0 : 1841
7.61/3.35	c (0,0) c Conflicts_1 : 1686
7.61/3.35	c (0,0) c Conflicts_2 : 1915
7.61/3.35	c (0,0) c Conflicts_3 : 1586
7.61/3.35	c (0,0) c Conflicts_4 : 1864
7.61/3.35	c (0,0) c Conflicts_5 : 1932
7.61/3.35	c (0,0) c Conflicts_6 : 1718
7.61/3.35	c (0,0) c Conflicts_7 : 1672
7.61/3.35	c (0,0) c Conflicts_total : 14214
7.61/3.35	c (0,0) c Conflicts_winner : 1864
7.61/3.35	c (0,0) c Decisions_0 : 3986
7.61/3.35	c (0,0) c Decisions_1 : 3719
7.61/3.35	c (0,0) c Decisions_2 : 4114
7.61/3.35	c (0,0) c Decisions_3 : 3511
7.61/3.35	c (0,0) c Decisions_4 : 3493
7.61/3.35	c (0,0) c Decisions_5 : 3641
7.61/3.35	c (0,0) c Decisions_6 : 4104
7.61/3.35	c (0,0) c Decisions_7 : 3546
7.61/3.35	c (0,0) c Decisions_total : 30114
7.61/3.35	c (0,0) c Decisions_winner : 3493
7.61/3.35	c (0,0) c Propagations_0 : 410292
7.61/3.35	c (0,0) c Propagations_1 : 415812
7.61/3.35	c (0,0) c Propagations_2 : 471317
7.61/3.35	c (0,0) c Propagations_3 : 369039
7.61/3.35	c (0,0) c Propagations_4 : 433344
7.61/3.35	c (0,0) c Propagations_5 : 460011
7.61/3.35	c (0,0) c Propagations_6 : 401859
7.61/3.35	c (0,0) c Propagations_7 : 415421
7.61/3.35	c (0,0) c Propagations_total : 3377095
7.61/3.35	c (0,0) c Propagations_winner : 433344
7.61/3.35	c (0,0) c ReduceDBs_0 : 0
7.61/3.35	c (0,0) c ReduceDBs_1 : 0
7.61/3.35	c (0,0) c ReduceDBs_2 : 0
7.61/3.35	c (0,0) c ReduceDBs_3 : 0
7.61/3.35	c (0,0) c ReduceDBs_4 : 0
7.61/3.35	c (0,0) c ReduceDBs_5 : 0
7.61/3.35	c (0,0) c ReduceDBs_6 : 0
7.61/3.35	c (0,0) c ReduceDBs_7 : 0
7.61/3.35	c (0,0) c ReduceDBs_total : 0
7.61/3.35	c (0,0) c ReduceDBs_winner : 0
7.61/3.35	c (0,0) c SimpDBs_0 : 1
7.61/3.35	c (0,0) c SimpDBs_1 : 1
7.61/3.35	c (0,0) c SimpDBs_2 : 1
7.61/3.35	c (0,0) c SimpDBs_3 : 1
7.61/3.35	c (0,0) c SimpDBs_4 : 1
7.61/3.35	c (0,0) c SimpDBs_5 : 1
7.61/3.35	c (0,0) c SimpDBs_6 : 1
7.61/3.35	c (0,0) c SimpDBs_7 : 1
7.61/3.35	c (0,0) c SimpDBs_total : 8
7.61/3.35	c (0,0) c SimpDBs_winner : 1
7.61/3.35	c (0,0) c Restarts_0 : 6
7.61/3.35	c (0,0) c Restarts_1 : 7
7.61/3.35	c (0,0) c Restarts_2 : 5
7.61/3.35	c (0,0) c Restarts_3 : 8
7.61/3.35	c (0,0) c Restarts_4 : 5
7.61/3.35	c (0,0) c Restarts_5 : 5
7.61/3.35	c (0,0) c Restarts_6 : 9
7.61/3.35	c (0,0) c Restarts_7 : 7
7.61/3.35	c (0,0) c Restarts_total : 52
7.61/3.35	c (0,0) c Restarts_winner : 5
7.61/3.35	c (0,0) c ForcedImports_0 : 0
7.61/3.35	c (0,0) c ForcedImports_1 : 0
7.61/3.35	c (0,0) c ForcedImports_2 : 0
7.61/3.35	c (0,0) c ForcedImports_3 : 0
7.61/3.35	c (0,0) c ForcedImports_4 : 0
7.61/3.35	c (0,0) c ForcedImports_5 : 0
7.61/3.35	c (0,0) c ForcedImports_6 : 0
7.61/3.35	c (0,0) c ForcedImports_7 : 0
7.61/3.35	c (0,0) c ForcedImports_total : 0
7.61/3.35	c (0,0) c ForcedImports_winner : 0
7.61/3.35	c (0,0) c PropsBinClauses_0 : 631476
7.61/3.35	c (0,0) c PropsBinClauses_1 : 636540
7.61/3.35	c (0,0) c PropsBinClauses_2 : 724898
7.61/3.35	c (0,0) c PropsBinClauses_3 : 559066
7.61/3.35	c (0,0) c PropsBinClauses_4 : 653382
7.61/3.35	c (0,0) c PropsBinClauses_5 : 700055
7.61/3.35	c (0,0) c PropsBinClauses_6 : 599685
7.61/3.35	c (0,0) c PropsBinClauses_7 : 643686
7.61/3.35	c (0,0) c PropsBinClauses_total : 5148788
7.61/3.35	c (0,0) c PropsBinClauses_winner : 653382
7.61/3.35	c (0,0) c PropsPreBlocker_0 : 11229330
7.61/3.35	c (0,0) c PropsPreBlocker_1 : 10678659
7.61/3.35	c (0,0) c PropsPreBlocker_2 : 12334982
7.61/3.35	c (0,0) c PropsPreBlocker_3 : 9229695
7.61/3.35	c (0,0) c PropsPreBlocker_4 : 10889497
7.61/3.35	c (0,0) c PropsPreBlocker_5 : 12362288
7.61/3.35	c (0,0) c PropsPreBlocker_6 : 10211702
7.61/3.35	c (0,0) c PropsPreBlocker_7 : 10793609
7.61/3.35	c (0,0) c PropsPreBlocker_total : 87729762
7.61/3.35	c (0,0) c PropsPreBlocker_winner : 10889497
7.61/3.35	c (0,0) c PropsNotBlocker_0 : 2239301
7.61/3.35	c (0,0) c PropsNotBlocker_1 : 2099202
7.61/3.35	c (0,0) c PropsNotBlocker_2 : 2238282
7.61/3.35	c (0,0) c PropsNotBlocker_3 : 1751388
7.61/3.35	c (0,0) c PropsNotBlocker_4 : 2076415
7.61/3.35	c (0,0) c PropsNotBlocker_5 : 2127887
7.61/3.35	c (0,0) c PropsNotBlocker_6 : 1891158
7.61/3.35	c (0,0) c PropsNotBlocker_7 : 2098226
7.61/3.35	c (0,0) c PropsNotBlocker_total : 16521859
7.61/3.35	c (0,0) c PropsNotBlocker_winner : 2076415
7.61/3.35	c (0,0) c PropsLitFullScans_0 : 16491026
7.61/3.35	c (0,0) c PropsLitFullScans_1 : 15522919
7.61/3.35	c (0,0) c PropsLitFullScans_2 : 18004681
7.61/3.35	c (0,0) c PropsLitFullScans_3 : 13356373
7.61/3.35	c (0,0) c PropsLitFullScans_4 : 15764898
7.61/3.35	c (0,0) c PropsLitFullScans_5 : 18011135
7.61/3.35	c (0,0) c PropsLitFullScans_6 : 14976592
7.61/3.35	c (0,0) c PropsLitFullScans_7 : 15604366
7.61/3.35	c (0,0) c PropsLitFullScans_total : 127731990
7.61/3.35	c (0,0) c PropsLitFullScans_winner : 15764898
7.61/3.35	c (0,0) c LitScanFractions_0 : 524
7.61/3.35	c (0,0) c LitScanFractions_1 : 107
7.61/3.35	c (0,0) c LitScanFractions_2 : 405
7.61/3.35	c (0,0) c LitScanFractions_3 : 261
7.61/3.35	c (0,0) c LitScanFractions_4 : 359
7.61/3.35	c (0,0) c LitScanFractions_5 : 204
7.61/3.35	c (0,0) c LitScanFractions_6 : 572
7.61/3.35	c (0,0) c LitScanFractions_7 : 351
7.61/3.35	c (0,0) c LitScanFractions_total : 2783
7.61/3.35	c (0,0) c LitScanFractions_winner : 359
7.61/3.35	c (0,0) c DecisionLevel0_0 : 6
7.61/3.35	c (0,0) c DecisionLevel0_1 : 7
7.61/3.35	c (0,0) c DecisionLevel0_2 : 5
7.61/3.35	c (0,0) c DecisionLevel0_3 : 8
7.61/3.35	c (0,0) c DecisionLevel0_4 : 5
7.61/3.35	c (0,0) c DecisionLevel0_5 : 5
7.61/3.35	c (0,0) c DecisionLevel0_6 : 9
7.61/3.35	c (0,0) c DecisionLevel0_7 : 7
7.61/3.35	c (0,0) c DecisionLevel0_total : 52
7.61/3.35	c (0,0) c DecisionLevel0_winner : 5
7.61/3.35	c (0,0) c Periods_0 : 2
7.61/3.35	c (0,0) c Periods_1 : 2
7.61/3.35	c (0,0) c Periods_2 : 3
7.61/3.35	c (0,0) c Periods_3 : 2
7.61/3.35	c (0,0) c Periods_4 : 2
7.61/3.35	c (0,0) c Periods_5 : 3
7.61/3.35	c (0,0) c Periods_6 : 2
7.61/3.35	c (0,0) c Periods_7 : 2
7.61/3.35	c (0,0) c Periods_total : 18
7.61/3.35	c (0,0) c Periods_winner : 2
7.61/3.35	c (0,0) c Margin_0 : 20
7.61/3.35	c (0,0) c Margin_1 : 20
7.61/3.35	c (0,0) c Margin_2 : 20
7.61/3.35	c (0,0) c Margin_3 : 20
7.61/3.35	c (0,0) c Margin_4 : 20
7.61/3.35	c (0,0) c Margin_5 : 20
7.61/3.35	c (0,0) c Margin_6 : 20
7.61/3.35	c (0,0) c Margin_7 : 20
7.61/3.35	c (0,0) c Margin_total : 160
7.61/3.35	c (0,0) c Margin_winner : 20
7.61/3.35	c (0,0) c Exported_0 : 34
7.61/3.35	c (0,0) c Exported_1 : 55
7.61/3.35	c (0,0) c Exported_2 : 28
7.61/3.35	c (0,0) c Exported_3 : 40
7.61/3.35	c (0,0) c Exported_4 : 24
7.61/3.35	c (0,0) c Exported_5 : 29
7.61/3.35	c (0,0) c Exported_6 : 56
7.61/3.35	c (0,0) c Exported_7 : 33
7.61/3.35	c (0,0) c Exported_total : 299
7.61/3.35	c (0,0) c Exported_winner : 24
7.61/3.35	c (0,0) c Imported_0 : 0
7.61/3.35	c (0,0) c Imported_1 : 0
7.61/3.35	c (0,0) c Imported_2 : 0
7.61/3.35	c (0,0) c Imported_3 : 0
7.61/3.35	c (0,0) c Imported_4 : 0
7.61/3.35	c (0,0) c Imported_5 : 0
7.61/3.35	c (0,0) c Imported_6 : 0
7.61/3.35	c (0,0) c Imported_7 : 0
7.61/3.35	c (0,0) c Imported_total : 0
7.61/3.35	c (0,0) c Imported_winner : 0
7.61/3.35	c (0,0) c Good_0 : 0
7.61/3.35	c (0,0) c Good_1 : 0
7.61/3.35	c (0,0) c Good_2 : 0
7.61/3.35	c (0,0) c Good_3 : 0
7.61/3.35	c (0,0) c Good_4 : 0
7.61/3.35	c (0,0) c Good_5 : 0
7.61/3.35	c (0,0) c Good_6 : 0
7.61/3.35	c (0,0) c Good_7 : 0
7.61/3.35	c (0,0) c Good_total : 0
7.61/3.35	c (0,0) c Good_winner : 0
7.61/3.35	c (0,0) c Purge_0 : 0
7.61/3.35	c (0,0) c Purge_1 : 0
7.61/3.35	c (0,0) c Purge_2 : 0
7.61/3.35	c (0,0) c Purge_3 : 0
7.61/3.35	c (0,0) c Purge_4 : 0
7.61/3.35	c (0,0) c Purge_5 : 0
7.61/3.36	c (0,0) c Purge_6 : 0
7.61/3.36	c (0,0) c Purge_7 : 0
7.61/3.36	c (0,0) c Purge_total : 0
7.61/3.36	c (0,0) c Purge_winner : 0
7.61/3.36	c (0,0) c Promoted_0 : 0
7.61/3.36	c (0,0) c Promoted_1 : 0
7.61/3.36	c (0,0) c Promoted_2 : 0
7.61/3.36	c (0,0) c Promoted_3 : 0
7.61/3.36	c (0,0) c Promoted_4 : 0
7.61/3.36	c (0,0) c Promoted_5 : 0
7.61/3.36	c (0,0) c Promoted_6 : 0
7.61/3.36	c (0,0) c Promoted_7 : 0
7.61/3.36	c (0,0) c Promoted_total : 0
7.61/3.36	c (0,0) c Promoted_winner : 0
7.61/3.36	c (0,0) c Remove_Imp_0 : 0
7.61/3.36	c (0,0) c Remove_Imp_1 : 0
7.61/3.36	c (0,0) c Remove_Imp_2 : 0
7.61/3.36	c (0,0) c Remove_Imp_3 : 0
7.61/3.36	c (0,0) c Remove_Imp_4 : 0
7.61/3.36	c (0,0) c Remove_Imp_5 : 0
7.61/3.36	c (0,0) c Remove_Imp_6 : 0
7.61/3.36	c (0,0) c Remove_Imp_7 : 0
7.61/3.36	c (0,0) c Remove_Imp_total : 0
7.61/3.36	c (0,0) c Remove_Imp_winner : 0
7.61/3.36	c (0,0) c Blocked_Reuse_0 : 0
7.61/3.36	c (0,0) c Blocked_Reuse_1 : 0
7.61/3.36	c (0,0) c Blocked_Reuse_2 : 0
7.61/3.36	c (0,0) c Blocked_Reuse_3 : 0
7.61/3.36	c (0,0) c Blocked_Reuse_4 : 0
7.61/3.36	c (0,0) c Blocked_Reuse_5 : 0
7.61/3.36	c (0,0) c Blocked_Reuse_6 : 0
7.61/3.36	c (0,0) c Blocked_Reuse_7 : 0
7.61/3.36	c (0,0) c Blocked_Reuse_total : 0
7.61/3.36	c (0,0) c Blocked_Reuse_winner : 0
7.61/3.36	c (0,0) c Unaries_0 : 0
7.61/3.36	c (0,0) c Unaries_1 : 0
7.61/3.36	c (0,0) c Unaries_2 : 0
7.61/3.36	c (0,0) c Unaries_3 : 0
7.61/3.36	c (0,0) c Unaries_4 : 0
7.61/3.36	c (0,0) c Unaries_5 : 0
7.61/3.36	c (0,0) c Unaries_6 : 0
7.61/3.36	c (0,0) c Unaries_7 : 0
7.61/3.36	c (0,0) c Unaries_total : 0
7.61/3.36	c (0,0) c Unaries_winner : 0
7.61/3.36	c (0,0) c Binaries_0 : 0
7.61/3.36	c (0,0) c Binaries_1 : 0
7.61/3.36	c (0,0) c Binaries_2 : 0
7.61/3.36	c (0,0) c Binaries_3 : 0
7.61/3.36	c (0,0) c Binaries_4 : 0
7.61/3.36	c (0,0) c Binaries_5 : 0
7.61/3.36	c (0,0) c Binaries_6 : 0
7.61/3.36	c (0,0) c Binaries_7 : 0
7.61/3.36	c (0,0) c Binaries_total : 0
7.61/3.36	c (0,0) c Binaries_winner : 0
7.61/3.36	c (0,0) c Glues_0 : 34
7.61/3.36	c (0,0) c Glues_1 : 55
7.61/3.36	c (0,0) c Glues_2 : 28
7.61/3.36	c (0,0) c Glues_3 : 40
7.61/3.36	c (0,0) c Glues_4 : 24
7.61/3.36	c (0,0) c Glues_5 : 29
7.61/3.36	c (0,0) c Glues_6 : 56
7.61/3.36	c (0,0) c Glues_7 : 33
7.61/3.36	c (0,0) c Glues_total : 299
7.61/3.36	c (0,0) c Glues_winner : 24
7.61/3.36	c (0,0) c RunningTime_0 : 0.164023
7.61/3.36	c (0,0) c RunningTime_1 : 0.158560
7.61/3.36	c (0,0) c RunningTime_2 : 0.170309
7.61/3.36	c (0,0) c RunningTime_3 : 0.153795
7.61/3.36	c (0,0) c RunningTime_4 : 0.146303
7.61/3.36	c (0,0) c RunningTime_5 : 0.168708
7.61/3.36	c (0,0) c RunningTime_6 : 0.147546
7.61/3.36	c (0,0) c RunningTime_7 : 0.148127
7.61/3.36	c (0,0) c RunningTime_total : 1.257370
7.61/3.36	c (0,0) c RunningTime_winner : 0.146303
7.61/3.36	c (0,0) c WaitingTime_0 : 0.000000
7.61/3.36	c (0,0) c WaitingTime_1 : 0.000000
7.61/3.36	c (0,0) c WaitingTime_2 : 0.000000
7.61/3.36	c (0,0) c WaitingTime_3 : 0.000000
7.61/3.36	c (0,0) c WaitingTime_4 : 0.000000
7.61/3.36	c (0,0) c WaitingTime_5 : 0.000000
7.61/3.36	c (0,0) c WaitingTime_6 : 0.000000
7.61/3.36	c (0,0) c WaitingTime_7 : 0.000000
7.61/3.36	c (0,0) c WaitingTime_total : 0.000000
7.61/3.36	c (0,0) c WaitingTime_winner : 0.000000
7.61/3.36	c (0,0) c ExchangingTime_0 : 0.000105
7.61/3.36	c (0,0) c ExchangingTime_1 : 0.000126
7.61/3.36	c (0,0) c ExchangingTime_2 : 0.000099
7.61/3.36	c (0,0) c ExchangingTime_3 : 0.000112
7.61/3.36	c (0,0) c ExchangingTime_4 : 0.000096
7.61/3.36	c (0,0) c ExchangingTime_5 : 0.000125
7.61/3.36	c (0,0) c ExchangingTime_6 : 0.000112
7.61/3.36	c (0,0) c ExchangingTime_7 : 0.000090
7.61/3.36	c (0,0) c ExchangingTime_total : 0.000864
7.61/3.36	c (0,0) c ExchangingTime_winner : 0.000096
7.61/3.36	c (0,0) c PeriodProcTime_0 : 0.000012
7.61/3.36	c (0,0) c PeriodProcTime_1 : 0.000015
7.61/3.36	c (0,0) c PeriodProcTime_2 : 0.000014
7.61/3.36	c (0,0) c PeriodProcTime_3 : 0.000022
7.61/3.36	c (0,0) c PeriodProcTime_4 : 0.000036
7.61/3.36	c (0,0) c PeriodProcTime_5 : 0.000018
7.61/3.36	c (0,0) c PeriodProcTime_6 : 0.000016
7.61/3.36	c (0,0) c PeriodProcTime_7 : 0.000012
7.61/3.36	c (0,0) c PeriodProcTime_total : 0.000145
7.61/3.36	c (0,0) c PeriodProcTime_winner : 0.000036
7.61/3.36	c (0,0) c SolvingTime_0 : 0.164140
7.61/3.36	c (0,0) c SolvingTime_1 : 0.158701
7.61/3.36	c (0,0) c SolvingTime_2 : 0.170422
7.61/3.36	c (0,0) c SolvingTime_3 : 0.153928
7.61/3.36	c (0,0) c SolvingTime_4 : 0.146435
7.61/3.36	c (0,0) c SolvingTime_5 : 0.168851
7.61/3.36	c (0,0) c SolvingTime_6 : 0.147673
7.61/3.36	c (0,0) c SolvingTime_7 : 0.148230
7.61/3.36	c (0,0) c SolvingTime_total : 1.258379
7.61/3.36	c (0,0) c SolvingTime_winner : 0.146435
7.61/3.36	c (0,0) c PropagationTime_0 : 0.133849
7.61/3.36	c (0,0) c PropagationTime_1 : 0.132235
7.61/3.36	c (0,0) c PropagationTime_2 : 0.137903
7.61/3.36	c (0,0) c PropagationTime_3 : 0.130164
7.61/3.36	c (0,0) c PropagationTime_4 : 0.121607
7.61/3.36	c (0,0) c PropagationTime_5 : 0.136096
7.61/3.36	c (0,0) c PropagationTime_6 : 0.120538
7.61/3.36	c (0,0) c PropagationTime_7 : 0.123002
7.61/3.36	c (0,0) c PropagationTime_total : 1.035395
7.61/3.36	c (0,0) c PropagationTime_winner : 0.121607
7.61/3.36	c (0,0) c AnalysisTime_0 : 0.023897
7.61/3.36	c (0,0) c AnalysisTime_1 : 0.020772
7.61/3.36	c (0,0) c AnalysisTime_2 : 0.025632
7.61/3.36	c (0,0) c AnalysisTime_3 : 0.018515
7.61/3.36	c (0,0) c AnalysisTime_4 : 0.019385
7.61/3.36	c (0,0) c AnalysisTime_5 : 0.026972
7.61/3.36	c (0,0) c AnalysisTime_6 : 0.021770
7.61/3.36	c (0,0) c AnalysisTime_7 : 0.019797
7.61/3.36	c (0,0) c AnalysisTime_total : 0.176739
7.61/3.36	c (0,0) c AnalysisTime_winner : 0.019385
7.61/3.36	c (0,0) c ReductionTime_0 : 0.000000
7.61/3.36	c (0,0) c ReductionTime_1 : 0.000000
7.61/3.36	c (0,0) c ReductionTime_2 : 0.000000
7.61/3.36	c (0,0) c ReductionTime_3 : 0.000000
7.61/3.36	c (0,0) c ReductionTime_4 : 0.000000
7.61/3.36	c (0,0) c ReductionTime_5 : 0.000000
7.61/3.36	c (0,0) c ReductionTime_6 : 0.000000
7.61/3.36	c (0,0) c ReductionTime_7 : 0.000000
7.61/3.36	c (0,0) c ReductionTime_total : 0.000000
7.61/3.36	c (0,0) c ReductionTime_winner : 0.000000
7.61/3.36	c (0,0) c SimplifyTime_0 : 0.000000
7.61/3.36	c (0,0) c SimplifyTime_1 : 0.000001
7.61/3.36	c (0,0) c SimplifyTime_2 : 0.000000
7.61/3.36	c (0,0) c SimplifyTime_3 : 0.000002
7.61/3.36	c (0,0) c SimplifyTime_4 : 0.000000
7.61/3.36	c (0,0) c SimplifyTime_5 : 0.000001
7.61/3.36	c (0,0) c SimplifyTime_6 : 0.000001
7.61/3.36	c (0,0) c SimplifyTime_7 : 0.000001
7.61/3.36	c (0,0) c SimplifyTime_total : 0.000006
7.61/3.36	c (0,0) c SimplifyTime_winner : 0.000000
7.61/3.36	c (0,0) c UsedRateTime_0 : 0.000000
7.61/3.36	c (0,0) c UsedRateTime_1 : 0.000000
7.61/3.36	c (0,0) c UsedRateTime_2 : 0.000000
7.61/3.36	c (0,0) c UsedRateTime_3 : 0.000000
7.61/3.36	c (0,0) c UsedRateTime_4 : 0.000000
7.61/3.36	c (0,0) c UsedRateTime_5 : 0.000000
7.61/3.36	c (0,0) c UsedRateTime_6 : 0.000000
7.61/3.36	c (0,0) c UsedRateTime_7 : 0.000000
7.61/3.36	c (0,0) c UsedRateTime_total : 0.000000
7.61/3.36	c (0,0) c UsedRateTime_winner : 0.000000
7.61/3.36	c (0,0) c OverlapRateTime_0 : 0.000000
7.61/3.36	c (0,0) c OverlapRateTime_1 : 0.000000
7.61/3.36	c (0,0) c OverlapRateTime_2 : 0.000000
7.61/3.36	c (0,0) c OverlapRateTime_3 : 0.000000
7.61/3.36	c (0,0) c OverlapRateTime_4 : 0.000000
7.61/3.36	c (0,0) c OverlapRateTime_5 : 0.000000
7.61/3.36	c (0,0) c OverlapRateTime_6 : 0.000000
7.61/3.36	c (0,0) c OverlapRateTime_7 : 0.000000
7.61/3.36	c (0,0) c OverlapRateTime_total : 0.000000
7.61/3.36	c (0,0) c OverlapRateTime_winner : 0.000000
7.61/3.36	c (0,0) c
7.61/3.36	c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
7.61/3.36	c (0,0) c
7.61/3.36	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
7.61/3.36	c (0,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
7.61/3.36	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
7.61/3.36	c (0,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
7.61/3.36	c (0,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
7.61/3.36	c (0,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
7.61/3.36	c (0,0) c | Initial random_seed   |  319825391 |  171628192 | 1927066681 | 1625894406 |  637567009 | 1716117745 | 1072548224 |  677442822 |
7.61/3.36	c (0,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
7.61/3.36	c (0,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
7.61/3.36	c (0,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
7.61/3.36	c (0,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
7.61/3.36	c (0,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
7.61/3.36	c (0,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
7.61/3.36	c (0,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
7.61/3.36	c (0,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
7.61/3.36	c (0,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
7.61/3.36	c (0,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
7.61/3.36	c (0,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
7.61/3.36	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
7.61/3.36	c (0,0) 
7.61/3.36	c (0,0) s SATISFIABLE
7.61/3.38	c (0,0) SatSolver.solve End
7.61/3.38	c (0,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
7.61/3.38	c (0,0) Show results Begin
7.95/3.46	c (0,0) ce[0][0][1] = 9
7.95/3.46	c (0,0) ce[0][0][2] = 13
7.95/3.46	c (0,0) ce[0][0][3] = 11
7.95/3.46	c (0,0) ce[0][0][4] = 8
7.95/3.46	c (0,0) ce[0][1][2] = 22
7.95/3.46	c (0,0) ce[0][1][3] = 20
7.95/3.46	c (0,0) ce[0][1][4] = 17
7.95/3.46	c (0,0) ce[0][2][3] = 2
7.95/3.46	c (0,0) ce[0][2][4] = 5
7.95/3.46	c (0,0) ce[0][3][4] = 3
7.95/3.46	c (0,0) ce[1][0][1] = 4
7.95/3.46	c (0,0) ce[1][0][2] = 21
7.95/3.46	c (0,0) ce[1][0][3] = 15
7.95/3.46	c (0,0) ce[1][0][4] = 14
7.95/3.46	c (0,0) ce[1][1][2] = 25
7.95/3.46	c (0,0) ce[1][1][3] = 19
7.95/3.46	c (0,0) ce[1][1][4] = 18
7.95/3.46	c (0,0) ce[1][2][3] = 6
7.95/3.46	c (0,0) ce[1][2][4] = 7
7.95/3.46	c (0,0) ce[1][3][4] = 1
7.95/3.46	c (0,0) cie[0][0] = 10
7.95/3.46	c (0,0) cie[0][1] = 23
7.95/3.46	c (0,0) cie[0][2] = 24
7.95/3.46	c (0,0) cie[0][3] = 16
7.95/3.46	c (0,0) cie[0][4] = 12
7.95/3.46	c (0,0) cn[0][0] = 11
7.95/3.46	c (0,0) cn[0][1] = 2
7.95/3.46	c (0,0) cn[0][2] = 24
7.95/3.46	c (0,0) cn[0][3] = 22
7.95/3.46	c (0,0) cn[0][4] = 19
7.95/3.46	c (0,0) cn[1][0] = 21
7.95/3.46	c (0,0) cn[1][1] = 25
7.95/3.46	c (0,0) cn[1][2] = 0
7.95/3.46	c (0,0) cn[1][3] = 6
7.95/3.46	c (0,0) cn[1][4] = 7
7.95/3.46	s SATISFIABLE
7.95/3.46	v <instantiation>
7.95/3.46	v     <list>cn[0][0] cn[0][1] cn[0][2] cn[0][3] cn[0][4] cn[1][0] cn[1][1] cn[1][2] cn[1][3] cn[1][4] ce[0][0][1] ce[0][0][2] ce[0][0][3] ce[0][0][4] ce[0][1][2] ce[0][1][3] ce[0][1][4] ce[0][2][3] ce[0][2][4] ce[0][3][4] ce[1][0][1] ce[1][0][2] ce[1][0][3] ce[1][0][4] ce[1][1][2] ce[1][1][3] ce[1][1][4] ce[1][2][3] ce[1][2][4] ce[1][3][4] cie[0][0] cie[0][1] cie[0][2] cie[0][3] cie[0][4]</list>
7.95/3.46	v     <values>11 2 24 22 19 21 25 0 6 7 9 13 11 8 22 20 17 2 5 3 4 21 15 14 25 19 18 6 7 1 10 23 24 16 12</values>
7.95/3.46	v </instantiation>
7.95/3.46	c (0,0) Show results End
7.95/3.46	c (0,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB)
7.95/3.46	c (0,0) 0,0,STOP-AFTER(ALL)
7.95/3.46	c END-Prog: Sat Sep 14 01:19:38 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 (10793 MiB free)
  memory of node 1: 16384 MiB (15661 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392316-1568416814/watcher-4392316-1568416814 -o /tmp/evaluation-result-4392316-1568416814/solver-4392316-1568416814 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node150-1568416728-26452 --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-4392316-1568416814.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=27673, runsolver pid=27670

[startup+0.100108 s]*
/proc/loadavg: 0.63 0.36 0.57 3/211 27695
/proc/meminfo: memFree=26994132/32770624 swapFree=67021252/67108860
[pid=27673] ppid=27670 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/27673/stat : 27673 (scop.sh) S 27670 27673 26425 0 -1 4202496 558 319 0 0 0 0 0 0 20 0 1 0 417954003 115843072 349 33554432000 4194304 5098028 140727787541504 140727787538760 140592437412476 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 12976128 140727787549477 140727787549804 140727787549804 140727787552717 0
/proc/27673/statm: 28282 349 296 221 0 87 0
[pid=27676] ppid=27673 vsize=27314120 memory=106488 CPUtime=0.11 cores=0-7
/proc/27676/stat : 27676 (java) S 27673 27673 26425 0 -1 1077944320 6693 0 0 0 9 2 0 0 20 0 20 0 417954003 27969658880 26622 33554432000 4194304 4196468 140731465992240 140731465974784 140362690653943 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 25022464 140731465994987 140731465995414 140731465995414 140731465998287 0
/proc/27676/statm: 6828530 26622 2794 1 0 6790935 0
[pid=27676/tid=27677] ppid=27673 vsize=27314120 memory=4134930498285298233 CPUtime=0.08 cores=0-7
/proc/27676/task/27677/stat : 27677 (java) R 27673 27673 26425 0 -1 4202560 4795 0 0 0 7 1 0 0 20 0 20 0 417954004 27969658880 26622 33554432000 4194304 4196468 140731465992240 140362662467456 140362690675869 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25022464 140731465994987 140731465995414 140731465995414 140731465998287 0
[pid=27676/tid=27678] ppid=27673 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/27676/task/27678/stat : 27678 (java) S 27673 27673 26425 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417954006 27969658880 26622 33554432000 4194304 4196468 140731465992240 140362694896272 140362690664149 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25022464 140731465994987 140731465995414 140731465995414 140731465998287 0
[pid=27676/tid=27679] ppid=27673 vsize=27314120 memory=140310688802432 CPUtime=0 cores=0-7
/proc/27676/task/27679/stat : 27679 (java) S 27673 27673 26425 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417954006 27969658880 26622 33554432000 4194304 4196468 140731465992240 140362509052432 140362690664149 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25022464 140731465994987 140731465995414 140731465995414 140731465998287 0
[pid=27676/tid=27680] ppid=27673 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/27676/task/27680/stat : 27680 (java) S 27673 27673 26425 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417954006 27969658880 26622 33554432000 4194304 4196468 140731465992240 140362507999632 140362690664149 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25022464 140731465994987 140731465995414 140731465995414 140731465998287 0
[pid=27676/tid=27681] ppid=27673 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/27676/task/27681/stat : 27681 (java) S 27673 27673 26425 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417954006 27969658880 26622 33554432000 4194304 4196468 140731465992240 140362506946832 140362690664149 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25022464 140731465994987 140731465995414 140731465995414 140731465998287 0
[pid=27676/tid=27682] ppid=27673 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/27676/task/27682/stat : 27682 (java) S 27673 27673 26425 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417954006 27969658880 26622 33554432000 4194304 4196468 140731465992240 140362505895056 140362690664149 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25022464 140731465994987 140731465995414 140731465995414 140731465998287 0
[pid=27676/tid=27683] ppid=27673 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/27676/task/27683/stat : 27683 (java) S 27673 27673 26425 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417954006 27969658880 26622 33554432000 4194304 4196468 140731465992240 140362504842256 140362690664149 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25022464 140731465994987 140731465995414 140731465995414 140731465998287 0
[pid=27676/tid=27684] ppid=27673 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/27676/task/27684/stat : 27684 (java) S 27673 27673 26425 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417954006 27969658880 26622 33554432000 4194304 4196468 140731465992240 140362503789456 140362690664149 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25022464 140731465994987 140731465995414 140731465995414 140731465998287 0
[pid=27676/tid=27685] ppid=27673 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/27676/task/27685/stat : 27685 (java) S 27673 27673 26425 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417954006 27969658880 26622 33554432000 4194304 4196468 140731465992240 140362502736656 140362690664149 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25022464 140731465994987 140731465995414 140731465995414 140731465998287 0
[pid=27676/tid=27686] ppid=27673 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/27676/task/27686/stat : 27686 (java) S 27673 27673 26425 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417954008 27969658880 26622 33554432000 4194304 4196468 140731465992240 140361816004976 140362690665090 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25022464 140731465994987 140731465995414 140731465995414 140731465998287 0
[pid=27676/tid=27687] ppid=27673 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/27676/task/27687/stat : 27687 (java) S 27673 27673 26425 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 417954008 27969658880 26622 33554432000 4194304 4196468 140731465992240 140360604967968 140362690664149 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25022464 140731465994987 140731465995414 140731465995414 140731465998287 0
[pid=27676/tid=27688] ppid=27673 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/27676/task/27688/stat : 27688 (java) S 27673 27673 26425 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417954008 27969658880 26622 33554432000 4194304 4196468 140731465992240 140360336532336 140362690664149 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25022464 140731465994987 140731465995414 140731465995414 140731465998287 0
[pid=27676/tid=27689] ppid=27673 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/27676/task/27689/stat : 27689 (java) S 27673 27673 26425 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417954011 27969658880 26622 33554432000 4194304 4196468 140731465992240 140359962023760 140362690672539 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25022464 140731465994987 140731465995414 140731465995414 140731465998287 0
[pid=27676/tid=27690] ppid=27673 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/27676/task/27690/stat : 27690 (java) S 27673 27673 26425 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 20 0 417954011 27969658880 26622 33554432000 4194304 4196468 140731465992240 140361814952816 140362690665090 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25022464 140731465994987 140731465995414 140731465995414 140731465998287 0
[pid=27676/tid=27691] ppid=27673 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/27676/task/27691/stat : 27691 (java) S 27673 27673 26425 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417954011 27969658880 26622 33554432000 4194304 4196468 140731465992240 140361611602672 140362690665090 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25022464 140731465994987 140731465995414 140731465995414 140731465998287 0
[pid=27676/tid=27692] ppid=27673 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/27676/task/27692/stat : 27692 (java) S 27673 27673 26425 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417954011 27969658880 26622 33554432000 4194304 4196468 140731465992240 140361610549872 140362690665090 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25022464 140731465994987 140731465995414 140731465995414 140731465998287 0
[pid=27676/tid=27693] ppid=27673 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/27676/task/27693/stat : 27693 (java) S 27673 27673 26425 0 -1 1077944384 256 0 0 0 0 0 0 0 20 0 20 0 417954011 27969658880 26622 33554432000 4194304 4196468 140731465992240 140361609497072 140362690665090 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25022464 140731465994987 140731465995414 140731465995414 140731465998287 0
[pid=27676/tid=27694] ppid=27673 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/27676/task/27694/stat : 27694 (java) S 27673 27673 26425 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417954011 27969658880 26622 33554432000 4194304 4196468 140731465992240 140359464118880 140362690664149 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25022464 140731465994987 140731465995414 140731465995414 140731465998287 0
[pid=27676/tid=27695] ppid=27673 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/27676/task/27695/stat : 27695 (java) S 27673 27673 26425 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417954011 27969658880 26622 33554432000 4194304 4196468 140731465992240 140361608444464 140362690665090 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25022464 140731465994987 140731465995414 140731465995414 140731465998287 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 107884 KiB

[startup+0.209831 s]*
/proc/loadavg: 0.63 0.36 0.57 2/211 27695
/proc/meminfo: memFree=26972948/32770624 swapFree=67021252/67108860
[pid=27673] ppid=27670 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/27673/stat : 27673 (scop.sh) S 27670 27673 26425 0 -1 4202496 558 319 0 0 0 0 0 0 20 0 1 0 417954003 115843072 349 33554432000 4194304 5098028 140727787541504 140727787538760 140592437412476 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 12976128 140727787549477 140727787549804 140727787549804 140727787552717 0
/proc/27673/statm: 28282 349 296 221 0 87 0
[pid=27676] ppid=27673 vsize=27314120 memory=125624 CPUtime=0.25 cores=0-7
/proc/27676/stat : 27676 (java) S 27673 27673 26425 0 -1 1077944320 12302 0 0 0 21 4 0 0 20 0 20 0 417954003 27969658880 31406 33554432000 4194304 4196468 140731465992240 140731465974784 140362690653943 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 25022464 140731465994987 140731465995414 140731465995414 140731465998287 0
/proc/27676/statm: 6828530 31406 2922 1 0 6790935 0
[pid=27676/tid=27677] ppid=27673 vsize=27314120 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/27676/task/27677/stat : 27677 (java) R 27673 27673 26425 0 -1 4202560 10035 0 0 0 16 3 0 0 20 0 20 0 417954004 27969658880 31406 33554432000 4194304 4196468 140731465992240 140362662477904 140362672217499 0 4 2 16800973 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25022464 140731465994987 140731465995414 140731465995414 140731465998287 0
[pid=27676/tid=27678] ppid=27673 vsize=27314120 memory=331 CPUtime=0 cores=0-7
/proc/27676/task/27678/stat : 27678 (java) S 27673 27673 26425 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417954006 27969658880 31406 33554432000 4194304 4196468 140731465992240 140362694896272 140362690664149 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25022464 140731465994987 140731465995414 140731465995414 140731465998287 0
[pid=27676/tid=27679] ppid=27673 vsize=27314120 memory=140310691906502 CPUtime=0 cores=0-7
/proc/27676/task/27679/stat : 27679 (java) S 27673 27673 26425 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417954006 27969658880 31406 33554432000 4194304 4196468 140731465992240 140362509052432 140362690664149 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25022464 140731465994987 140731465995414 140731465995414 140731465998287 0
[pid=27676/tid=27680] ppid=27673 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/27676/task/27680/stat : 27680 (java) S 27673 27673 26425 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417954006 27969658880 31406 33554432000 4194304 4196468 140731465992240 140362507999632 140362690664149 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25022464 140731465994987 140731465995414 140731465995414 140731465998287 0
[pid=27676/tid=27681] ppid=27673 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/27676/task/27681/stat : 27681 (java) S 27673 27673 26425 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417954006 27969658880 31406 33554432000 4194304 4196468 140731465992240 140362506946832 140362690664149 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25022464 140731465994987 140731465995414 140731465995414 140731465998287 0
[pid=27676/tid=27682] ppid=27673 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/27676/task/27682/stat : 27682 (java) S 27673 27673 26425 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417954006 27969658880 31406 33554432000 4194304 4196468 140731465992240 140362505895056 140362690664149 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25022464 140731465994987 140731465995414 140731465995414 140731465998287 0
[pid=27676/tid=27683] ppid=27673 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/27676/task/27683/stat : 27683 (java) S 27673 27673 26425 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417954006 27969658880 31406 33554432000 4194304 4196468 140731465992240 140362504842256 140362690664149 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25022464 140731465994987 140731465995414 140731465995414 140731465998287 0
[pid=27676/tid=27684] ppid=27673 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/27676/task/27684/stat : 27684 (java) S 27673 27673 26425 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417954006 27969658880 31406 33554432000 4194304 4196468 140731465992240 140362503789456 140362690664149 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25022464 140731465994987 140731465995414 140731465995414 140731465998287 0
[pid=27676/tid=27685] ppid=27673 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/27676/task/27685/stat : 27685 (java) S 27673 27673 26425 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417954006 27969658880 31406 33554432000 4194304 4196468 140731465992240 140362502736656 140362690664149 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25022464 140731465994987 140731465995414 140731465995414 140731465998287 0
[pid=27676/tid=27686] ppid=27673 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/27676/task/27686/stat : 27686 (java) S 27673 27673 26425 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417954008 27969658880 31406 33554432000 4194304 4196468 140731465992240 140361816004976 140362690665090 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25022464 140731465994987 140731465995414 140731465995414 140731465998287 0
[pid=27676/tid=27687] ppid=27673 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/27676/task/27687/stat : 27687 (java) S 27673 27673 26425 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 417954008 27969658880 31406 33554432000 4194304 4196468 140731465992240 140360604967968 140362690664149 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25022464 140731465994987 140731465995414 140731465995414 140731465998287 0
[pid=27676/tid=27688] ppid=27673 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/27676/task/27688/stat : 27688 (java) S 27673 27673 26425 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417954008 27969658880 31406 33554432000 4194304 4196468 140731465992240 140360336532336 140362690664149 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25022464 140731465994987 140731465995414 140731465995414 140731465998287 0
[pid=27676/tid=27689] ppid=27673 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/27676/task/27689/stat : 27689 (java) S 27673 27673 26425 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417954011 27969658880 31406 33554432000 4194304 4196468 140731465992240 140359962023760 140362690672539 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25022464 140731465994987 140731465995414 140731465995414 140731465998287 0
[pid=27676/tid=27690] ppid=27673 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/27676/task/27690/stat : 27690 (java) S 27673 27673 26425 0 -1 1077944384 438 0 0 0 0 0 0 0 20 0 20 0 417954011 27969658880 31406 33554432000 4194304 4196468 140731465992240 140361814952816 140362690665090 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25022464 140731465994987 140731465995414 140731465995414 140731465998287 0
[pid=27676/tid=27691] ppid=27673 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/27676/task/27691/stat : 27691 (java) S 27673 27673 26425 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 20 0 417954011 27969658880 31406 33554432000 4194304 4196468 140731465992240 140361611602672 140362690665090 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25022464 140731465994987 140731465995414 140731465995414 140731465998287 0
[pid=27676/tid=27692] ppid=27673 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/27676/task/27692/stat : 27692 (java) S 27673 27673 26425 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417954011 27969658880 31406 33554432000 4194304 4196468 140731465992240 140361610549872 140362690665090 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25022464 140731465994987 140731465995414 140731465995414 140731465998287 0
[pid=27676/tid=27693] ppid=27673 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7
/proc/27676/task/27693/stat : 27693 (java) S 27673 27673 26425 0 -1 1077944384 449 0 0 0 2 0 0 0 20 0 20 0 417954011 27969658880 31406 33554432000 4194304 4196468 140731465992240 140361609497072 140362690665090 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25022464 140731465994987 140731465995414 140731465995414 140731465998287 0
[pid=27676/tid=27694] ppid=27673 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/27676/task/27694/stat : 27694 (java) S 27673 27673 26425 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417954011 27969658880 31406 33554432000 4194304 4196468 140731465992240 140359464118880 140362690664149 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25022464 140731465994987 140731465995414 140731465995414 140731465998287 0
[pid=27676/tid=27695] ppid=27673 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/27676/task/27695/stat : 27695 (java) S 27673 27673 26425 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417954011 27969658880 31406 33554432000 4194304 4196468 140731465992240 140361608444464 140362690665090 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25022464 140731465994987 140731465995414 140731465995414 140731465998287 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 127020 KiB

[startup+0.309479 s]*
/proc/loadavg: 0.63 0.36 0.57 2/211 27695
/proc/meminfo: memFree=26969524/32770624 swapFree=67021252/67108860
[pid=27673] ppid=27670 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/27673/stat : 27673 (scop.sh) S 27670 27673 26425 0 -1 4202496 558 319 0 0 0 0 0 0 20 0 1 0 417954003 115843072 349 33554432000 4194304 5098028 140727787541504 140727787538760 140592437412476 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 12976128 140727787549477 140727787549804 140727787549804 140727787552717 0
/proc/27673/statm: 28282 349 296 221 0 87 0
[pid=27676] ppid=27673 vsize=27314120 memory=129636 CPUtime=0.42 cores=0-7
/proc/27676/stat : 27676 (java) S 27673 27673 26425 0 -1 1077944320 13295 0 0 0 38 4 0 0 20 0 20 0 417954003 27969658880 32409 33554432000 4194304 4196468 140731465992240 140731465974784 140362690653943 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 25022464 140731465994987 140731465995414 140731465995414 140731465998287 0
/proc/27676/statm: 6828530 32409 3029 1 0 6790935 0
[pid=27676/tid=27677] ppid=27673 vsize=27314120 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/27676/task/27677/stat : 27677 (java) R 27673 27673 26425 0 -1 4202560 10818 0 0 0 26 3 0 0 20 0 20 0 417954004 27969658880 32409 33554432000 4194304 4196468 140731465992240 140362662436960 140362674734430 0 4 2 16800973 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25022464 140731465994987 140731465995414 140731465995414 140731465998287 0
[pid=27676/tid=27678] ppid=27673 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/27676/task/27678/stat : 27678 (java) S 27673 27673 26425 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417954006 27969658880 32409 33554432000 4194304 4196468 140731465992240 140362694896272 140362690664149 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25022464 140731465994987 140731465995414 140731465995414 140731465998287 0
[pid=27676/tid=27679] ppid=27673 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/27676/task/27679/stat : 27679 (java) S 27673 27673 26425 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417954006 27969658880 32409 33554432000 4194304 4196468 140731465992240 140362509052432 140362690664149 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25022464 140731465994987 140731465995414 140731465995414 140731465998287 0
[pid=27676/tid=27680] ppid=27673 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/27676/task/27680/stat : 27680 (java) S 27673 27673 26425 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417954006 27969658880 32409 33554432000 4194304 4196468 140731465992240 140362507999632 140362690664149 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25022464 140731465994987 140731465995414 140731465995414 140731465998287 0
[pid=27676/tid=27681] ppid=27673 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/27676/task/27681/stat : 27681 (java) S 27673 27673 26425 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417954006 27969658880 32409 33554432000 4194304 4196468 140731465992240 140362506946832 140362690664149 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25022464 140731465994987 140731465995414 140731465995414 140731465998287 0
[pid=27676/tid=27682] ppid=27673 vsize=27314120 memory=2244 CPUtime=0 cores=0-7
/proc/27676/task/27682/stat : 27682 (java) S 27673 27673 26425 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417954006 27969658880 32409 33554432000 4194304 4196468 140731465992240 140362505895056 140362690664149 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25022464 140731465994987 140731465995414 140731465995414 140731465998287 0
[pid=27676/tid=27683] ppid=27673 vsize=27314120 memory=140310541857711 CPUtime=0 cores=0-7
/proc/27676/task/27683/stat : 27683 (java) S 27673 27673 26425 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417954006 27969658880 32409 33554432000 4194304 4196468 140731465992240 140362504842256 140362690664149 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25022464 140731465994987 140731465995414 140731465995414 140731465998287 0
[pid=27676/tid=27684] ppid=27673 vsize=27314120 memory=140310541860016 CPUtime=0 cores=0-7
/proc/27676/task/27684/stat : 27684 (java) S 27673 27673 26425 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417954006 27969658880 32409 33554432000 4194304 4196468 140731465992240 140362503789456 140362690664149 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25022464 140731465994987 140731465995414 140731465995414 140731465998287 0
[pid=27676/tid=27685] ppid=27673 vsize=27314120 memory=140310541862320 CPUtime=0 cores=0-7
/proc/27676/task/27685/stat : 27685 (java) S 27673 27673 26425 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417954006 27969658880 32409 33554432000 4194304 4196468 140731465992240 140362502736656 140362690664149 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25022464 140731465994987 140731465995414 140731465995414 140731465998287 0
[pid=27676/tid=27686] ppid=27673 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/27676/task/27686/stat : 27686 (java) S 27673 27673 26425 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417954008 27969658880 32409 33554432000 4194304 4196468 140731465992240 140361816004976 140362690665090 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25022464 140731465994987 140731465995414 140731465995414 140731465998287 0
[pid=27676/tid=27687] ppid=27673 vsize=27314120 memory=280621083731600 CPUtime=0 cores=0-7
/proc/27676/task/27687/stat : 27687 (java) S 27673 27673 26425 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 417954008 27969658880 32409 33554432000 4194304 4196468 140731465992240 140360604967968 140362690664149 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25022464 140731465994987 140731465995414 140731465995414 140731465998287 0
[pid=27676/tid=27688] ppid=27673 vsize=27314120 memory=280621083738512 CPUtime=0 cores=0-7
/proc/27676/task/27688/stat : 27688 (java) S 27673 27673 26425 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417954008 27969658880 32409 33554432000 4194304 4196468 140731465992240 140360336532336 140362690664149 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25022464 140731465994987 140731465995414 140731465995414 140731465998287 0
[pid=27676/tid=27689] ppid=27673 vsize=27314120 memory=280621083679792 CPUtime=0 cores=0-7
/proc/27676/task/27689/stat : 27689 (java) S 27673 27673 26425 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417954011 27969658880 32409 33554432000 4194304 4196468 140731465992240 140359962023760 140362690672539 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25022464 140731465994987 140731465995414 140731465995414 140731465998287 0
[pid=27676/tid=27690] ppid=27673 vsize=27314120 memory=280621083752336 CPUtime=0.01 cores=0-7
/proc/27676/task/27690/stat : 27690 (java) R 27673 27673 26425 0 -1 4202560 518 0 0 0 1 0 0 0 20 0 20 0 417954011 27969658880 32409 33554432000 4194304 4196468 140731465992240 140361814952816 140362671349832 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25022464 140731465994987 140731465995414 140731465995414 140731465998287 0
[pid=27676/tid=27691] ppid=27673 vsize=27314120 memory=280621083759248 CPUtime=0.01 cores=0-7
/proc/27676/task/27691/stat : 27691 (java) S 27673 27673 26425 0 -1 1077944384 95 0 0 0 1 0 0 0 20 0 20 0 417954011 27969658880 32409 33554432000 4194304 4196468 140731465992240 140361611602672 140362690665090 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25022464 140731465994987 140731465995414 140731465995414 140731465998287 0
[pid=27676/tid=27692] ppid=27673 vsize=27314120 memory=280621083756944 CPUtime=0 cores=0-7
/proc/27676/task/27692/stat : 27692 (java) S 27673 27673 26425 0 -1 1077944384 31 0 0 0 0 0 0 0 20 0 20 0 417954011 27969658880 32409 33554432000 4194304 4196468 140731465992240 140361610549872 140362690665090 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25022464 140731465994987 140731465995414 140731465995414 140731465998287 0
[pid=27676/tid=27693] ppid=27673 vsize=27314120 memory=280621083773104 CPUtime=0.07 cores=0-7
/proc/27676/task/27693/stat : 27693 (java) S 27673 27673 26425 0 -1 1077944384 495 0 0 0 7 0 0 0 20 0 20 0 417954011 27969658880 32409 33554432000 4194304 4196468 140731465992240 140361609497072 140362690665090 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25022464 140731465994987 140731465995414 140731465995414 140731465998287 0
[pid=27676/tid=27694] ppid=27673 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/27676/task/27694/stat : 27694 (java) S 27673 27673 26425 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417954011 27969658880 32409 33554432000 4194304 4196468 140731465992240 140359464118880 140362690664149 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25022464 140731465994987 140731465995414 140731465995414 140731465998287 0
[pid=27676/tid=27695] ppid=27673 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/27676/task/27695/stat : 27695 (java) S 27673 27673 26425 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417954011 27969658880 32409 33554432000 4194304 4196468 140731465992240 140361608444464 140362690665090 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25022464 140731465994987 140731465995414 140731465995414 140731465998287 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 131032 KiB

[startup+0.700876 s]
/proc/loadavg: 0.63 0.36 0.57 2/211 27695
/proc/meminfo: memFree=26948568/32770624 swapFree=67021252/67108860
[pid=27673] ppid=27670 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/27673/stat : 27673 (scop.sh) S 27670 27673 26425 0 -1 4202496 558 319 0 0 0 0 0 0 20 0 1 0 417954003 115843072 349 33554432000 4194304 5098028 140727787541504 140727787538760 140592437412476 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 12976128 140727787549477 140727787549804 140727787549804 140727787552717 0
/proc/27673/statm: 28282 349 296 221 0 87 0
[pid=27676] ppid=27673 vsize=27322516 memory=165724 CPUtime=0.98 cores=0-7
/proc/27676/stat : 27676 (java) S 27673 27673 26425 0 -1 1077944320 20536 0 0 0 91 7 0 0 20 0 20 0 417954003 27978256384 41431 33554432000 4194304 4196468 140731465992240 140731465974784 140362690653943 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 25022464 140731465994987 140731465995414 140731465995414 140731465998287 0
/proc/27676/statm: 6830629 41431 3215 1 0 6791959 0
[pid=27676/tid=27677] ppid=27673 vsize=27322516 memory=280621084130992 CPUtime=0.68 cores=0-7
/proc/27676/task/27677/stat : 27677 (java) R 27673 27673 26425 0 -1 4202560 17568 0 0 0 62 6 0 0 20 0 20 0 417954004 27978256384 41431 33554432000 4194304 4196468 140731465992240 140362662485712 140362690665878 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25022464 140731465994987 140731465995414 140731465995414 140731465998287 0
[pid=27676/tid=27678] ppid=27673 vsize=27322516 memory=140310542066544 CPUtime=0 cores=0-7
/proc/27676/task/27678/stat : 27678 (java) S 27673 27673 26425 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417954006 27978256384 41431 33554432000 4194304 4196468 140731465992240 140362694896272 140362690664149 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25022464 140731465994987 140731465995414 140731465995414 140731465998287 0
[pid=27676/tid=27679] ppid=27673 vsize=27322516 memory=0 CPUtime=0 cores=0-7
/proc/27676/task/27679/stat : 27679 (java) S 27673 27673 26425 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417954006 27978256384 41468 33554432000 4194304 4196468 140731465992240 140362509052432 140362690664149 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25022464 140731465994987 140731465995414 140731465995414 140731465998287 0
[pid=27676/tid=27680] ppid=27673 vsize=27322516 memory=1224 CPUtime=0 cores=0-7
/proc/27676/task/27680/stat : 27680 (java) S 27673 27673 26425 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417954006 27978256384 41468 33554432000 4194304 4196468 140731465992240 140362507999632 140362690664149 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25022464 140731465994987 140731465995414 140731465995414 140731465998287 0
[pid=27676/tid=27681] ppid=27673 vsize=27322516 memory=3824 CPUtime=0 cores=0-7
/proc/27676/task/27681/stat : 27681 (java) S 27673 27673 26425 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417954006 27978256384 41468 33554432000 4194304 4196468 140731465992240 140362506946832 140362690664149 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25022464 140731465994987 140731465995414 140731465995414 140731465998287 0
[pid=27676/tid=27682] ppid=27673 vsize=27322516 memory=1384 CPUtime=0 cores=0-7
/proc/27676/task/27682/stat : 27682 (java) S 27673 27673 26425 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417954006 27978256384 41468 33554432000 4194304 4196468 140731465992240 140362505895056 140362690664149 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25022464 140731465994987 140731465995414 140731465995414 140731465998287 0
[pid=27676/tid=27683] ppid=27673 vsize=27322516 memory=15080 CPUtime=0 cores=0-7
/proc/27676/task/27683/stat : 27683 (java) S 27673 27673 26425 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417954006 27978256384 41468 33554432000 4194304 4196468 140731465992240 140362504842256 140362690664149 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25022464 140731465994987 140731465995414 140731465995414 140731465998287 0
[pid=27676/tid=27684] ppid=27673 vsize=27322516 memory=9636 CPUtime=0 cores=0-7
/proc/27676/task/27684/stat : 27684 (java) S 27673 27673 26425 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417954006 27978256384 41468 33554432000 4194304 4196468 140731465992240 140362503789456 140362690664149 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25022464 140731465994987 140731465995414 140731465995414 140731465998287 0
[pid=27676/tid=27685] ppid=27673 vsize=27322516 memory=2676 CPUtime=0 cores=0-7
/proc/27676/task/27685/stat : 27685 (java) S 27673 27673 26425 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417954006 27978256384 41468 33554432000 4194304 4196468 140731465992240 140362502736656 140362690664149 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25022464 140731465994987 140731465995414 140731465995414 140731465998287 0
[pid=27676/tid=27686] ppid=27673 vsize=27322516 memory=13240 CPUtime=0 cores=0-7
/proc/27676/task/27686/stat : 27686 (java) S 27673 27673 26425 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 417954008 27978256384 41468 33554432000 4194304 4196468 140731465992240 140361816004976 140362690665090 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25022464 140731465994987 140731465995414 140731465995414 140731465998287 0
[pid=27676/tid=27687] ppid=27673 vsize=27322516 memory=500 CPUtime=0 cores=0-7
/proc/27676/task/27687/stat : 27687 (java) S 27673 27673 26425 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 417954008 27978256384 41468 33554432000 4194304 4196468 140731465992240 140360604967968 140362690664149 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25022464 140731465994987 140731465995414 140731465995414 140731465998287 0
[pid=27676/tid=27688] ppid=27673 vsize=27322516 memory=1736 CPUtime=0 cores=0-7
/proc/27676/task/27688/stat : 27688 (java) S 27673 27673 26425 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417954008 27978256384 41468 33554432000 4194304 4196468 140731465992240 140360336532336 140362690664149 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25022464 140731465994987 140731465995414 140731465995414 140731465998287 0
[pid=27676/tid=27689] ppid=27673 vsize=27322516 memory=1784 CPUtime=0 cores=0-7
/proc/27676/task/27689/stat : 27689 (java) S 27673 27673 26425 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417954011 27978256384 41468 33554432000 4194304 4196468 140731465992240 140359962023760 140362690672539 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25022464 140731465994987 140731465995414 140731465995414 140731465998287 0
[pid=27676/tid=27690] ppid=27673 vsize=27322516 memory=22244 CPUtime=0.04 cores=0-7
/proc/27676/task/27690/stat : 27690 (java) S 27673 27673 26425 0 -1 1077944384 609 0 0 0 4 0 0 0 20 0 20 0 417954011 27978256384 41468 33554432000 4194304 4196468 140731465992240 140361814952816 140362690665090 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25022464 140731465994987 140731465995414 140731465995414 140731465998287 0
[pid=27676/tid=27691] ppid=27673 vsize=27322516 memory=10092 CPUtime=0.04 cores=0-7
/proc/27676/task/27691/stat : 27691 (java) S 27673 27673 26425 0 -1 1077944384 179 0 0 0 4 0 0 0 20 0 20 0 417954011 27978256384 41468 33554432000 4194304 4196468 140731465992240 140361611602672 140362690665090 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25022464 140731465994987 140731465995414 140731465995414 140731465998287 0
[pid=27676/tid=27692] ppid=27673 vsize=27322516 memory=1908 CPUtime=0.06 cores=0-7
/proc/27676/task/27692/stat : 27692 (java) S 27673 27673 26425 0 -1 1077944384 267 0 0 0 6 0 0 0 20 0 20 0 417954011 27978256384 41468 33554432000 4194304 4196468 140731465992240 140361610549872 140362690665090 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25022464 140731465994987 140731465995414 140731465995414 140731465998287 0
[pid=27676/tid=27693] ppid=27673 vsize=27322516 memory=1360 CPUtime=0.13 cores=0-7
/proc/27676/task/27693/stat : 27693 (java) S 27673 27673 26425 0 -1 1077944384 572 0 0 0 13 0 0 0 20 0 20 0 417954011 27978256384 41468 33554432000 4194304 4196468 140731465992240 140361609497072 140362690665090 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25022464 140731465994987 140731465995414 140731465995414 140731465998287 0
[pid=27676/tid=27694] ppid=27673 vsize=27322516 memory=7432 CPUtime=0 cores=0-7
/proc/27676/task/27694/stat : 27694 (java) S 27673 27673 26425 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417954011 27978256384 41468 33554432000 4194304 4196468 140731465992240 140359464118880 140362690664149 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25022464 140731465994987 140731465995414 140731465995414 140731465998287 0
[pid=27676/tid=27695] ppid=27673 vsize=27322516 memory=860 CPUtime=0 cores=0-7
/proc/27676/task/27695/stat : 27695 (java) S 27673 27673 26425 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417954011 27978256384 41468 33554432000 4194304 4196468 140731465992240 140361608444464 140362690665090 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25022464 140731465994987 140731465995414 140731465995414 140731465998287 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 27435644 KiB
Current children cumulated memory: 167120 KiB

[startup+1.5009 s]
/proc/loadavg: 0.66 0.37 0.57 2/211 27695
/proc/meminfo: memFree=26922704/32770624 swapFree=67021252/67108860
[pid=27673] ppid=27670 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/27673/stat : 27673 (scop.sh) S 27670 27673 26425 0 -1 4202496 558 319 0 0 0 0 0 0 20 0 1 0 417954003 115843072 349 33554432000 4194304 5098028 140727787541504 140727787538760 140592437412476 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 12976128 140727787549477 140727787549804 140727787549804 140727787552717 0
/proc/27673/statm: 28282 349 296 221 0 87 0
[pid=27676] ppid=27673 vsize=27326612 memory=227788 CPUtime=2.99 cores=0-7
/proc/27676/stat : 27676 (java) S 27673 27673 26425 0 -1 1077944320 23903 0 0 0 288 11 0 0 20 0 20 0 417954003 27982450688 56947 33554432000 4194304 4196468 140731465992240 140731465974784 140362690653943 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 25022464 140731465994987 140731465995414 140731465995414 140731465998287 0
/proc/27676/statm: 6831653 56947 3251 1 0 6792983 0
[pid=27676/tid=27677] ppid=27673 vsize=27326612 memory=15816698942982814 CPUtime=1.47 cores=0-7
/proc/27676/task/27677/stat : 27677 (java) R 27673 27673 26425 0 -1 4202560 18891 0 0 0 139 8 0 0 20 0 20 0 417954004 27982450688 56947 33554432000 4194304 4196468 140731465992240 140362662489632 140362172336856 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25022464 140731465994987 140731465995414 140731465995414 140731465998287 0
[pid=27676/tid=27678] ppid=27673 vsize=27326612 memory=0 CPUtime=0 cores=0-7
/proc/27676/task/27678/stat : 27678 (java) S 27673 27673 26425 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417954006 27982450688 56947 33554432000 4194304 4196468 140731465992240 140362694896272 140362690664149 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25022464 140731465994987 140731465995414 140731465995414 140731465998287 0
[pid=27676/tid=27679] ppid=27673 vsize=27326612 memory=0 CPUtime=0 cores=0-7
/proc/27676/task/27679/stat : 27679 (java) S 27673 27673 26425 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417954006 27982450688 56947 33554432000 4194304 4196468 140731465992240 140362509052432 140362690664149 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25022464 140731465994987 140731465995414 140731465995414 140731465998287 0
[pid=27676/tid=27680] ppid=27673 vsize=27326612 memory=0 CPUtime=0 cores=0-7
/proc/27676/task/27680/stat : 27680 (java) S 27673 27673 26425 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417954006 27982450688 56947 33554432000 4194304 4196468 140731465992240 140362507999632 140362690664149 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25022464 140731465994987 140731465995414 140731465995414 140731465998287 0
[pid=27676/tid=27681] ppid=27673 vsize=27326612 memory=0 CPUtime=0 cores=0-7
/proc/27676/task/27681/stat : 27681 (java) S 27673 27673 26425 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417954006 27982450688 56947 33554432000 4194304 4196468 140731465992240 140362506946832 140362690664149 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25022464 140731465994987 140731465995414 140731465995414 140731465998287 0
[pid=27676/tid=27682] ppid=27673 vsize=27326612 memory=4580 CPUtime=0 cores=0-7
/proc/27676/task/27682/stat : 27682 (java) S 27673 27673 26425 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417954006 27982450688 56947 33554432000 4194304 4196468 140731465992240 140362505895056 140362690664149 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25022464 140731465994987 140731465995414 140731465995414 140731465998287 0
[pid=27676/tid=27683] ppid=27673 vsize=27326612 memory=0 CPUtime=0 cores=0-7
/proc/27676/task/27683/stat : 27683 (java) S 27673 27673 26425 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417954006 27982450688 56947 33554432000 4194304 4196468 140731465992240 140362504842256 140362690664149 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25022464 140731465994987 140731465995414 140731465995414 140731465998287 0
[pid=27676/tid=27684] ppid=27673 vsize=27326612 memory=0 CPUtime=0 cores=0-7
/proc/27676/task/27684/stat : 27684 (java) S 27673 27673 26425 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417954006 27982450688 56947 33554432000 4194304 4196468 140731465992240 140362503789456 140362690664149 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25022464 140731465994987 140731465995414 140731465995414 140731465998287 0
[pid=27676/tid=27685] ppid=27673 vsize=27326612 memory=140314983769727 CPUtime=0 cores=0-7
/proc/27676/task/27685/stat : 27685 (java) S 27673 27673 26425 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417954006 27982450688 56947 33554432000 4194304 4196468 140731465992240 140362502736656 140362690664149 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25022464 140731465994987 140731465995414 140731465995414 140731465998287 0
[pid=27676/tid=27686] ppid=27673 vsize=27326612 memory=0 CPUtime=0 cores=0-7
/proc/27676/task/27686/stat : 27686 (java) S 27673 27673 26425 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 417954008 27982450688 56947 33554432000 4194304 4196468 140731465992240 140361816004976 140362690665090 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25022464 140731465994987 140731465995414 140731465995414 140731465998287 0
[pid=27676/tid=27687] ppid=27673 vsize=27326612 memory=0 CPUtime=0 cores=0-7
/proc/27676/task/27687/stat : 27687 (java) S 27673 27673 26425 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 417954008 27982450688 56947 33554432000 4194304 4196468 140731465992240 140360604967968 140362690664149 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25022464 140731465994987 140731465995414 140731465995414 140731465998287 0
[pid=27676/tid=27688] ppid=27673 vsize=27326612 memory=0 CPUtime=0 cores=0-7
/proc/27676/task/27688/stat : 27688 (java) S 27673 27673 26425 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417954008 27982450688 56947 33554432000 4194304 4196468 140731465992240 140360336532336 140362690664149 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25022464 140731465994987 140731465995414 140731465995414 140731465998287 0
[pid=27676/tid=27689] ppid=27673 vsize=27326612 memory=0 CPUtime=0 cores=0-7
/proc/27676/task/27689/stat : 27689 (java) S 27673 27673 26425 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417954011 27982450688 56947 33554432000 4194304 4196468 140731465992240 140359962023760 140362690672539 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25022464 140731465994987 140731465995414 140731465995414 140731465998287 0
[pid=27676/tid=27690] ppid=27673 vsize=27326612 memory=6944656592455097440 CPUtime=0.27 cores=0-7
/proc/27676/task/27690/stat : 27690 (java) R 27673 27673 26425 0 -1 4202560 775 0 0 0 27 0 0 0 20 0 20 0 417954011 27982450688 56947 33554432000 4194304 4196468 140731465992240 140361814952816 140362674559848 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25022464 140731465994987 140731465995414 140731465995414 140731465998287 0
[pid=27676/tid=27691] ppid=27673 vsize=27326612 memory=6943526294502006880 CPUtime=0.3 cores=0-7
/proc/27676/task/27691/stat : 27691 (java) R 27673 27673 26425 0 -1 4202560 592 0 0 0 30 0 0 0 20 0 20 0 417954011 27982450688 56947 33554432000 4194304 4196468 140731465992240 140361611589696 140362672198032 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25022464 140731465994987 140731465995414 140731465995414 140731465998287 0
[pid=27676/tid=27692] ppid=27673 vsize=27326612 memory=0 CPUtime=0.3 cores=0-7
/proc/27676/task/27692/stat : 27692 (java) R 27673 27673 26425 0 -1 4202560 410 0 0 0 30 0 0 0 20 0 20 0 417954011 27982450688 56947 33554432000 4194304 4196468 140731465992240 140361610540816 140362667878096 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25022464 140731465994987 140731465995414 140731465995414 140731465998287 0
[pid=27676/tid=27693] ppid=27673 vsize=27326612 memory=6944656592387989600 CPUtime=0.6 cores=0-7
/proc/27676/task/27693/stat : 27693 (java) S 27673 27673 26425 0 -1 1077944384 1894 0 0 0 60 0 0 0 20 0 20 0 417954011 27982450688 56947 33554432000 4194304 4196468 140731465992240 140361609497072 140362690665090 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25022464 140731465994987 140731465995414 140731465995414 140731465998287 0
[pid=27676/tid=27694] ppid=27673 vsize=27326612 memory=6943526294502006880 CPUtime=0 cores=0-7
/proc/27676/task/27694/stat : 27694 (java) S 27673 27673 26425 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417954011 27982450688 56947 33554432000 4194304 4196468 140731465992240 140359464118880 140362690664149 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25022464 140731465994987 140731465995414 140731465995414 140731465998287 0
[pid=27676/tid=27695] ppid=27673 vsize=27326612 memory=6944656592455097440 CPUtime=0 cores=0-7
/proc/27676/task/27695/stat : 27695 (java) S 27673 27673 26425 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417954011 27982450688 56947 33554432000 4194304 4196468 140731465992240 140361608444464 140362690665090 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25022464 140731465994987 140731465995414 140731465995414 140731465998287 0
Current children cumulated CPU time: 2.99 s
Current children cumulated vsize: 27439740 KiB
Current children cumulated memory: 229184 KiB

[startup+3.10034 s]
/proc/loadavg: 0.66 0.37 0.57 5/211 27695
/proc/meminfo: memFree=26728664/32770624 swapFree=67021252/67108860
[pid=27673] ppid=27670 vsize=113128 memory=1476 CPUtime=5.38 cores=0-7
/proc/27673/stat : 27673 (scop.sh) S 27670 27673 26425 0 -1 4202496 584 28394 0 0 0 0 521 17 20 0 1 0 417954003 115843072 369 33554432000 4194304 5098028 140727787541504 140727787538248 140592437412476 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 12976128 140727787549477 140727787549804 140727787549804 140727787552717 0
/proc/27673/statm: 28282 369 311 221 0 87 0
Current children cumulated CPU time: 5.38 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1476 KiB

[startup+3.47714 s]
# the end of solver process 27673 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=7.7953 s, system=0.299393 s

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

[startup+3.40139 s]
/proc/loadavg: 0.66 0.37 0.57 7/224 27729
/proc/meminfo: memFree=26945172/32770624 swapFree=67021252/67108860
[pid=27673] ppid=27670 vsize=113128 memory=1476 CPUtime=5.38 cores=0-7
/proc/27673/stat : 27673 (scop.sh) S 27670 27673 26425 0 -1 4202496 584 28394 0 0 0 0 521 17 20 0 1 0 417954003 115843072 369 33554432000 4194304 5098028 140727787541504 140727787538248 140592437412476 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 12976128 140727787549477 140727787549804 140727787549804 140727787552717 0
/proc/27673/statm: 28282 369 311 221 0 87 0
[pid=27696] ppid=27673 vsize=8283048 memory=122744 CPUtime=2.57 cores=0-7
/proc/27696/stat : 27696 (java) S 27673 27673 26425 0 -1 1077944320 20609 7184 0 0 116 9 130 2 20 0 22 0 417954241 8481841152 30686 33554432000 4194304 4196468 140732900804928 140732900787472 140557220286199 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 6926336 140732900807671 140732900807830 140732900807830 140732900810703 0
/proc/27696/statm: 2070762 30686 3214 1 0 2032106 0
[pid=27696/tid=27697] ppid=27673 vsize=8283048 memory=4108 CPUtime=2.07 cores=0-7
/proc/27696/task/27697/stat : 27697 (java) R 27673 27673 26425 0 -1 4202560 16988 7184 0 0 70 5 130 2 20 0 22 0 417954241 8481841152 30686 33554432000 4194304 4196468 140732900804928 140557192115280 140557220308125 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6926336 140732900807671 140732900807830 140732900807830 140732900810703 0
[pid=27696/tid=27698] ppid=27673 vsize=8283048 memory=1808 CPUtime=1.32 cores=0-7
/proc/27696/task/27698/stat : 27698 (java) S 27673 27673 26425 0 -1 1077944384 2 7184 0 0 0 0 130 2 20 0 22 0 417954242 8481841152 30686 33554432000 4194304 4196468 140732900804928 140557224529040 140557220296405 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6926336 140732900807671 140732900807830 140732900807830 140732900810703 0
[pid=27696/tid=27699] ppid=27673 vsize=8283048 memory=920 CPUtime=1.32 cores=0-7
/proc/27696/task/27699/stat : 27699 (java) S 27673 27673 26425 0 -1 1077944384 1 7184 0 0 0 0 130 2 20 0 22 0 417954242 8481841152 30686 33554432000 4194304 4196468 140732900804928 140556705455120 140557220296405 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6926336 140732900807671 140732900807830 140732900807830 140732900810703 0
[pid=27696/tid=27700] ppid=27673 vsize=8283048 memory=4136 CPUtime=1.32 cores=0-7
/proc/27696/task/27700/stat : 27700 (java) S 27673 27673 26425 0 -1 1077944384 2 7184 0 0 0 0 130 2 20 0 22 0 417954242 8481841152 30686 33554432000 4194304 4196468 140732900804928 140556704402320 140557220296405 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6926336 140732900807671 140732900807830 140732900807830 140732900810703 0
[pid=27696/tid=27701] ppid=27673 vsize=8283048 memory=1408 CPUtime=1.32 cores=0-7
/proc/27696/task/27701/stat : 27701 (java) S 27673 27673 26425 0 -1 1077944384 1 7184 0 0 0 0 130 2 20 0 22 0 417954242 8481841152 30686 33554432000 4194304 4196468 140732900804928 140556703349520 140557220296405 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6926336 140732900807671 140732900807830 140732900807830 140732900810703 0
[pid=27696/tid=27702] ppid=27673 vsize=8283048 memory=2440 CPUtime=1.32 cores=0-7
/proc/27696/task/27702/stat : 27702 (java) S 27673 27673 26425 0 -1 1077944384 3 7184 0 0 0 0 130 2 20 0 22 0 417954242 8481841152 30686 33554432000 4194304 4196468 140732900804928 140556702296720 140557220296405 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6926336 140732900807671 140732900807830 140732900807830 140732900810703 0
[pid=27696/tid=27703] ppid=27673 vsize=8283048 memory=1396 CPUtime=1.32 cores=0-7
/proc/27696/task/27703/stat : 27703 (java) S 27673 27673 26425 0 -1 1077944384 2 7184 0 0 0 0 130 2 20 0 22 0 417954242 8481841152 30686 33554432000 4194304 4196468 140732900804928 140556701243920 140557220296405 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6926336 140732900807671 140732900807830 140732900807830 140732900810703 0
[pid=27696/tid=27704] ppid=27673 vsize=8283048 memory=377428 CPUtime=1.32 cores=0-7
/proc/27696/task/27704/stat : 27704 (java) S 27673 27673 26425 0 -1 1077944384 2 7184 0 0 0 0 130 2 20 0 22 0 417954242 8481841152 30686 33554432000 4194304 4196468 140732900804928 140556700191120 140557220296405 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6926336 140732900807671 140732900807830 140732900807830 140732900810703 0
[pid=27696/tid=27705] ppid=27673 vsize=8283048 memory=288230574492221466 CPUtime=1.32 cores=0-7
/proc/27696/task/27705/stat : 27705 (java) S 27673 27673 26425 0 -1 1077944384 1 7184 0 0 0 0 130 2 20 0 22 0 417954242 8481841152 30686 33554432000 4194304 4196468 140732900804928 140556699138320 140557220296405 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6926336 140732900807671 140732900807830 140732900807830 140732900810703 0
[pid=27696/tid=27706] ppid=27673 vsize=8283048 memory=301741382048153914 CPUtime=1.32 cores=0-7
/proc/27696/task/27706/stat : 27706 (java) S 27673 27673 26425 0 -1 1077944384 5 7184 0 0 0 0 130 2 20 0 22 0 417954244 8481841152 30686 33554432000 4194304 4196468 140732900804928 140556246604656 140557220297346 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6926336 140732900807671 140732900807830 140732900807830 140732900810703 0
[pid=27696/tid=27707] ppid=27673 vsize=8283048 memory=15816698942982814 CPUtime=1.32 cores=0-7
/proc/27696/task/27707/stat : 27707 (java) S 27673 27673 26425 0 -1 1077944384 13 7184 0 0 0 0 130 2 20 0 22 0 417954244 8481841152 30686 33554432000 4194304 4196468 140732900804928 140555891762720 140557220296405 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6926336 140732900807671 140732900807830 140732900807830 140732900810703 0
[pid=27696/tid=27708] ppid=27673 vsize=8283048 memory=-3252517613198930781 CPUtime=1.32 cores=0-7
/proc/27696/task/27708/stat : 27708 (java) S 27673 27673 26425 0 -1 1077944384 1 7184 0 0 0 0 130 2 20 0 22 0 417954244 8481841152 30686 33554432000 4194304 4196468 140732900804928 140555623327088 140557220296405 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6926336 140732900807671 140732900807830 140732900807830 140732900810703 0
[pid=27696/tid=27709] ppid=27673 vsize=8283048 memory=7679927811743456362 CPUtime=1.32 cores=0-7
/proc/27696/task/27709/stat : 27709 (java) S 27673 27673 26425 0 -1 1077944384 1 7184 0 0 0 0 130 2 20 0 22 0 417954247 8481841152 30686 33554432000 4194304 4196468 140732900804928 140555248818512 140557220304795 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6926336 140732900807671 140732900807830 140732900807830 140732900810703 0
[pid=27696/tid=27710] ppid=27673 vsize=8283048 memory=6944652027076318631 CPUtime=1.41 cores=0-7
/proc/27696/task/27710/stat : 27710 (java) S 27673 27673 26425 0 -1 1077944384 568 7184 0 0 9 0 130 2 20 0 22 0 417954247 8481841152 30686 33554432000 4194304 4196468 140732900804928 140556245551472 140557220297346 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6926336 140732900807671 140732900807830 140732900807830 140732900810703 0
[pid=27696/tid=27711] ppid=27673 vsize=8283048 memory=7679927811743456362 CPUtime=1.35 cores=0-7
/proc/27696/task/27711/stat : 27711 (java) S 27673 27673 26425 0 -1 1077944384 203 7184 0 0 3 0 130 2 20 0 22 0 417954247 8481841152 30686 33554432000 4194304 4196468 140732900804928 140556244498672 140557220297346 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6926336 140732900807671 140732900807830 140732900807830 140732900810703 0
[pid=27696/tid=27712] ppid=27673 vsize=8283048 memory=-7740096080597194087 CPUtime=1.39 cores=0-7
/proc/27696/task/27712/stat : 27712 (java) S 27673 27673 26425 0 -1 1077944384 325 7184 0 0 7 0 130 2 20 0 22 0 417954247 8481841152 30686 33554432000 4194304 4196468 140732900804928 140556243445872 140557220297346 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6926336 140732900807671 140732900807830 140732900807830 140732900810703 0
[pid=27696/tid=27713] ppid=27673 vsize=8283048 memory=6944652027076318631 CPUtime=1.53 cores=0-7
/proc/27696/task/27713/stat : 27713 (java) S 27673 27673 26425 0 -1 1077944384 569 7184 0 0 21 0 130 2 20 0 22 0 417954247 8481841152 30686 33554432000 4194304 4196468 140732900804928 140556242393072 140557220297346 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6926336 140732900807671 140732900807830 140732900807830 140732900810703 0
[pid=27696/tid=27714] ppid=27673 vsize=8283048 memory=4486604260213485459 CPUtime=1.32 cores=0-7
/proc/27696/task/27714/stat : 27714 (java) S 27673 27673 26425 0 -1 1077944384 3 7184 0 0 0 0 130 2 20 0 22 0 417954247 8481841152 30686 33554432000 4194304 4196468 140732900804928 140554750913632 140557220296405 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6926336 140732900807671 140732900807830 140732900807830 140732900810703 0
[pid=27696/tid=27715] ppid=27673 vsize=8283048 memory=0 CPUtime=1.32 cores=0-7
/proc/27696/task/27715/stat : 27715 (java) S 27673 27673 26425 0 -1 1077944384 1 7184 0 0 0 0 130 2 20 0 22 0 417954247 8481841152 30686 33554432000 4194304 4196468 140732900804928 140556241341488 140557220297346 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6926336 140732900807671 140732900807830 140732900807830 140732900810703 0
[pid=27696/tid=27717] ppid=27673 vsize=8283048 memory=280621084118432 CPUtime=1.32 cores=0-7
/proc/27696/task/27717/stat : 27717 (java) S 27673 27673 26425 0 -1 1077944384 29 7184 0 0 0 0 130 2 20 0 22 0 417954312 8481841152 30686 33554432000 4194304 4196468 140732900804928 140556233306896 140557220297346 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6926336 140732900807671 140732900807830 140732900807830 140732900810703 0
[pid=27696/tid=27721] ppid=27673 vsize=8283048 memory=0 CPUtime=1.32 cores=0-7
/proc/27696/task/27721/stat : 27721 (java) S 27673 27673 26425 0 -1 1077944384 13 7184 0 0 0 0 130 2 20 0 22 0 417954314 8481841152 30686 33554432000 4194304 4196468 140732900804928 140553811387184 140557220297346 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6926336 140732900807671 140732900807830 140732900807830 140732900810703 0
Current children cumulated CPU time: 7.95 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 124220 KiB

Child status: 0
Real time (s): 3.47719
CPU time (s): 8.09469
CPU user time (s): 7.7953
CPU system time (s): 0.299393
CPU usage (%): 232.794
Max. virtual memory (cumulated for all children) (KiB): 27441876
Max. memory (cumulated for all children) (KiB): 410248

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7.7953
system time used= 0.299393
maximum resident set size= 414548
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 57147
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1984
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8275
involuntary context switches= 23


# summary of solver processes directly reported to runsolver:
#   pid: 27673
#   total CPU time (s): 8.09469
#   total CPU user time (s): 7.7953
#   total CPU system time (s): 0.299393

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.041109 second user time and 0.084474 second system time

The end

Launcher Data 

Begin job on node150 at 2019-09-14 01:19:34
IDJOB=4392316
IDBENCH=120720
IDSOLVER=2838
FILE ID=node150/4392316-1568416814
RUNJOBID= node150-1568416728-26452
PBS_JOBID= 21702251
Free space on /tmp= 59360 MiB

SOLVER NAME= Fun-sCOP order+ManyGlucose (2019-06-15)
BENCH NAME= XCSP17/GracefulGraph/GracefulGraph-m1-s1/GracefulGraph-K05-P02.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-4392316-1568416814/watcher-4392316-1568416814 -o /tmp/evaluation-result-4392316-1568416814/solver-4392316-1568416814 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node150-1568416728-26452 --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-4392316-1568416814.xml

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

MD5SUM BENCH= 803795f7a37fd3a40686e408980b1bff
RANDOM SEED=289336931

node150.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.79
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        27090480 kB
MemAvailable:   31831468 kB
Buffers:          197636 kB
Cached:          4754520 kB
SwapCached:        13472 kB
Active:          1131112 kB
Inactive:        3867180 kB
Active(anon):      10912 kB
Inactive(anon):    60848 kB
Active(file):    1120200 kB
Inactive(file):  3806332 kB
Unevictable:      109416 kB
Mlocked:          109416 kB
SwapTotal:      67108860 kB
SwapFree:       67021252 kB
Dirty:             20900 kB
Writeback:             0 kB
AnonPages:        145176 kB
Mapped:            39248 kB
Shmem:             16588 kB
Slab:             273780 kB
SReclaimable:     242916 kB
SUnreclaim:        30864 kB
KernelStack:        3616 kB
PageTables:         5960 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     497732 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:       99712 kB
DirectMap2M:    33445888 kB

Free space on /tmp at the end= 59340 MiB
End job on node150 at 2019-09-14 01:19:38