Trace number 4405194

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Fun-sCOP order+ManyGlucose (2019-09-22)UNSAT 26.0592 7.9166

General information on the benchmark

NameSocialGolfers/SocialGolfers-cp-s1/
SocialGolfers-5-5-9-cp.xml
MD5SUMa6754b0df54e854fabf9aee35b814723
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark15.7529
Satisfiable
(Un)Satisfiability was proved
Number of variables225
Number of constraints10811
Number of domains1
Minimum domain size5
Maximum domain size5
Distribution of domain sizes[{"size":5,"count":225}]
Minimum variable degree194
Maximum variable degree195
Distribution of variable degrees[{"degree":194,"count":200},{"degree":195,"count":25}]
Minimum constraint arity4
Maximum constraint arity225
Distribution of constraint arities[{"arity":4,"count":10800},{"arity":25,"count":10},{"arity":225,"count":1}]
Number of extensional constraints0
Number of intensional constraints10800
Distribution of constraint types[{"type":"intension","count":10800},{"type":"lex","count":1},{"type":"cardinality","count":9},{"type":"instantiation","count":1}]
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-5792-serial-file.bin HOME/instance-4405194-1569336055.xml
0.65/0.54	
0.65/0.54	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
0.65/0.54	
0.65/0.56	c BEGIN-Prog: Tue Sep 24 16:40:18 CEST 2019
0.65/0.56	c PID: 5795
0.65/0.56	c IP: 172.20.3.148
0.65/0.56	c HOST: node148.alineos.net
0.65/0.57	c (0,0) Parsing Begin
7.23/2.39	c (1,1) Parsing End
7.23/2.39	c (1,1) CSP: 215 int (0 aux), 10 bool (0 aux), 10811 ctr, max domain size 5
7.23/2.39	c (1,1) Heap : 788 MiB used (max 21589 MiB), NonHeap : 24 MiB used (max 0 MiB)
7.23/2.39	c (1,1) Constraint Name Generate Begin
7.65/2.46	c (1,1) Ctr:HOME/instance-4405194-1569336055.xml,Cardinality:Instantiation:LexMatrix:Ne:Num:Or:Var
7.65/2.46	c (1,1) Constraint Name Generate End
7.65/2.46	c (1,1) Heap : 788 MiB used (max 21589 MiB), NonHeap : 24 MiB used (max 0 MiB)
7.65/2.46	c (1,1) CSP to CSPinCNF Begin
8.84/2.74	c (2,2) translated 1082 (10%) constraints
9.17/2.81	c (2,2) translated 2163 (20%) constraints
9.17/2.87	c (2,2) translated 3244 (30%) constraints
9.48/2.92	c (2,2) translated 4325 (40%) constraints
9.48/2.97	c (2,2) translated 5406 (50%) constraints
9.82/3.01	c (2,2) translated 6487 (60%) constraints
9.82/3.05	c (2,2) translated 7568 (70%) constraints
9.82/3.08	c (2,2) translated 8649 (80%) constraints
10.00/3.11	c (2,2) translated 9730 (90%) constraints
11.11/3.49	c (2,2) translated 10811 (100%) constraints
11.97/3.78	c (3,3) ===========================================
11.97/3.79	c (3,3) Order
11.97/3.79	c (3,3) ===========================================
12.64/3.90	c (3,3) translated 1389 (10%) constraints
12.64/4.00	c (3,3) translated 2778 (20%) constraints
13.16/4.19	c (3,3) translated 4167 (30%) constraints
13.16/4.19	c (3,3) translated 5556 (40%) constraints
13.44/4.23	c (3,3) translated 6944 (50%) constraints
13.44/4.30	c (3,3) translated 8333 (60%) constraints
13.55/4.36	c (3,3) translated 9722 (70%) constraints
13.67/4.48	c (3,3) translated 11111 (80%) constraints
14.35/4.60	c (4,4) translated 12500 (90%) constraints
14.35/4.69	c (4,4) translated 13888 (100%) constraints
14.35/4.69	c (4,4) CSP to CSPinCNF End
14.35/4.70	c (4,4) CSP: 350 int (135 aux), 2612 bool (2602 aux), 16478 ctr, max domain size 6
14.35/4.70	c (4,4) Heap : 1464 MiB used (max 21589 MiB), NonHeap : 32 MiB used (max 0 MiB)
14.75/4.70	c (4,4) CSPinCNF Propagation Begin
15.56/4.92	c (4,4) 345 values, 3818 unsatisfiable literals, and 3043 valid clauses are removed
15.56/4.92	c (4,4) CSPinCNF Propagation End
15.56/4.92	c (4,4) CSP: 343 int (128 aux), 2619 bool (2609 aux), 13435 ctr, max domain size 6
15.56/4.92	c (4,4) Heap : 1576 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
15.56/4.92	c (4,4) Simplify CSPinCNF Begin
16.54/5.21	c (4,4) Simplify CSPinCNF End
16.54/5.21	c (4,4) CSP: 343 int (128 aux), 7818 bool (7808 aux), 18634 ctr, max domain size 6
16.54/5.21	c (4,4) Heap : 1689 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
16.54/5.21	c (4,4) Calculate Precise Domain Begin
16.54/5.27	c (4,4) 0 values are removed by re-calculation
16.54/5.27	c (4,4) Calculate Precise Domain End
16.54/5.27	c (4,4) CSP: 343 int (128 aux), 7818 bool (7808 aux), 18634 ctr, max domain size 6
16.54/5.27	c (4,4) Heap : 1689 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
16.54/5.27	c (4,4) CSPinCNF to SatSolver Begin
17.74/5.58	c (5,5) 1864 (10 %) CSP clauses are encoded (0 SAT variables, 8207 SAT clauses)
18.55/5.71	c (5,5) 3727 (20 %) CSP clauses are encoded (0 SAT variables, 15090 SAT clauses)
18.94/5.80	c (5,5) 5591 (30 %) CSP clauses are encoded (0 SAT variables, 21630 SAT clauses)
18.94/5.87	c (5,5) 7454 (40 %) CSP clauses are encoded (0 SAT variables, 27733 SAT clauses)
19.34/5.90	c (5,5) 9317 (50 %) CSP clauses are encoded (0 SAT variables, 29596 SAT clauses)
19.34/5.93	c (5,5) 11181 (60 %) CSP clauses are encoded (0 SAT variables, 31460 SAT clauses)
19.34/5.96	c (5,5) 13044 (70 %) CSP clauses are encoded (0 SAT variables, 33323 SAT clauses)
19.61/6.07	c (5,5) 14908 (80 %) CSP clauses are encoded (0 SAT variables, 58752 SAT clauses)
20.02/6.18	c (5,5) 16771 (90 %) CSP clauses are encoded (0 SAT variables, 92035 SAT clauses)
20.38/6.26	c (5,5) 18634 (100 %) CSP clauses are encoded (0 SAT variables, 104195 SAT clauses)
20.38/6.26	c (5,5) CSPinCNF to SatSolver End
20.38/6.26	c (5,5) Heap : 2027 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB)
20.38/6.26	c (5,5) 8931 bool, 104199 clause
20.38/6.26	c (5,5) Export Begin
20.79/6.36	c (5,5) Export to HOME/scop-5792-serial-file.bin
20.79/6.36	c (5,5) Export End
20.79/6.37	c (5,5) Export File Size: 0.04 MB
20.79/6.37	c (5,5) 1,1,4,4,4,4,5,STOP-AFTER(DIMACS)
20.79/6.37	c END-Prog: Tue Sep 24 16:40:24 CEST 2019
0.00/6.40	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-5792-serial-file.bin
21.10/6.86	c (0,0) Read Serial File Begin
21.10/6.86	c (0,0) HOME/scop-5792-serial-file.bin
21.90/7.08	c (0,0) Read Serial File End
21.90/7.09	
21.90/7.09	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
21.90/7.09	(Solving Process)
21.90/7.09	
22.08/7.12	c BEGIN-Prog: Tue Sep 24 16:40:25 CEST 2019
22.08/7.12	c PID: 5815
22.08/7.12	c IP: 172.20.3.148
22.08/7.12	c HOST: node148.alineos.net
22.08/7.12	c (0,0) SatSolver.solve Begin
22.08/7.12	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4405194-1569336055.xml-scop-5795.cnf
22.08/7.15	c (0,0) c
22.08/7.15	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)
22.08/7.15	c (0,0) c
22.08/7.15	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
22.08/7.15	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
22.08/7.15	c (0,0) c ========================================[ Problem Statistics ]===========================================
22.08/7.15	c (0,0) c |                                                                                                       |
22.08/7.19	c (0,0) c |  Number of variables:          8931                                                                   |
22.08/7.19	c (0,0) c |  Number of clauses:          104199                                                                   |
22.08/7.19	c (0,0) c |  Parse time:                   0.04 s                                                                 |
22.08/7.19	c (0,0) c |                                                                                                       |
22.28/7.37	c (0,0) c |  Simplification time:          0.19 s                                                                 |
22.28/7.37	c (0,0) c |                                                                                                       |
22.28/7.37	c (0,0) c |  Generating clones                                                                                    |
22.28/7.41	c (0,0) c |  all clones generated. Memory =    85.79Mb.                                                           |
22.28/7.41	c (0,0) c ========================================================================================================|
22.28/7.41	c (0,0) c
22.28/7.41	c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
22.28/7.41	c (0,0) c
22.28/7.41	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
22.28/7.41	c (0,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
22.28/7.41	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
22.28/7.41	c (0,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
22.28/7.41	c (0,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
22.28/7.41	c (0,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
22.28/7.41	c (0,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
22.28/7.41	c (0,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
22.28/7.41	c (0,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
22.28/7.41	c (0,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
22.28/7.41	c (0,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
22.28/7.41	c (0,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
22.28/7.41	c (0,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
22.28/7.41	c (0,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
22.28/7.41	c (0,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
22.28/7.41	c (0,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
22.28/7.41	c (0,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
22.28/7.41	c (0,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
22.28/7.41	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
22.28/7.87	c (1,0) c
22.28/7.87	c (1,0) c real time : 0.727512 s
22.28/7.87	c (1,0) c cpu time  : 3.55669 s
22.28/7.87	c (1,0) c
22.28/7.87	c (1,0) c
22.28/7.87	c (1,0) c
22.28/7.87	c (1,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
22.28/7.87	c (1,0) c
22.28/7.87	c (1,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
22.28/7.87	c (1,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
22.28/7.87	c (1,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
22.28/7.87	c (1,0) c | Conflicts     |          100198 |       8789 |      19785 |      22631 |       8607 |       9246 |       9112 |       8351 |      13677 |
22.28/7.87	c (1,0) c | Decisions     |          169972 |      17114 |      31714 |      31585 |      14536 |      18662 |      17918 |      16225 |      22218 |
22.28/7.87	c (1,0) c | Propagations  |        10634969 |    1268410 |    1310795 |    1294624 |    1241570 |    1304588 |    1367450 |    1204543 |    1642989 |
22.28/7.87	c (1,0) c | ReduceDBs     |              18 |          2 |          3 |          3 |          2 |          2 |          2 |          2 |          2 |
22.28/7.87	c (1,0) c | SimpDBs       |              17 |          2 |          3 |          2 |          2 |          2 |          2 |          2 |          2 |
22.28/7.87	c (1,0) c | Restarts      |             207 |         26 |         24 |          8 |         15 |         37 |         43 |         33 |         21 |
22.28/7.87	c (1,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
22.28/7.87	c (1,0) c | PropBinClauses|        15604112 |    1953733 |    1875988 |    1868213 |    1810617 |    2018136 |    2003651 |    1747171 |    2326603 |
22.28/7.87	c (1,0) c | PropPreBlocker|       108699779 |   12660191 |   12642366 |   17725497 |   13129015 |   13543954 |   13626449 |   11575836 |   13796471 |
22.28/7.87	c (1,0) c | PropNotBlocker|        44585939 |    5457405 |    4997329 |    5658839 |    5779032 |    5624455 |    5767145 |    5312428 |    5989306 |
22.28/7.87	c (1,0) c | LitFullScans  |       236799350 |   28552972 |   26085740 |   36001948 |   30001092 |   30000968 |   30000672 |   26154569 |   30001389 |
22.28/7.87	c (1,0) c | LitScanFracts |           17006 |        457 |       3748 |        766 |        461 |        746 |        423 |       9753 |        652 |
22.28/7.87	c (1,0) c | DecisionLevel0|             419 |         45 |         58 |          9 |         50 |         72 |         78 |         62 |         45 |
22.28/7.87	c (1,0) c | Periods       |              38 |          4 |          4 |          6 |          5 |          5 |          5 |          4 |          5 |
22.28/7.87	c (1,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
22.28/7.87	c (1,0) c | Avg_Trail     |                 |       1872 |        836 |        323 |       1902 |       1950 |       1892 |       1959 |       1474 |
22.28/7.87	c (1,0) c | Avg_DL        |                 |         43 |         15 |         18 |         39 |         48 |         50 |         46 |         28 |
22.28/7.87	c (1,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
22.28/7.87	c (1,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
22.28/7.87	c (1,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
22.28/7.87	c (1,0) c | Exported      |           19327 |       1148 |       5147 |       5427 |       1198 |       1123 |       1093 |       1063 |       3128 |
22.28/7.87	c (1,0) c | Imported      |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
22.28/7.87	c (1,0) c | Good          |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
22.28/7.87	c (1,0) c | Purge         |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
22.28/7.87	c (1,0) c | Promoted      |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
22.28/7.87	c (1,0) c | Remove_Imp    |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
22.28/7.87	c (1,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
22.28/7.87	c (1,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
22.28/7.87	c (1,0) c | Unaries       |                 |         19 |         34 |          1 |         35 |         35 |         35 |         29 |         24 |
22.28/7.87	c (1,0) c | Binaries      |                 |         10 |         60 |         22 |         18 |         10 |          9 |          3 |         18 |
22.28/7.87	c (1,0) c | Glues         |                 |        170 |        322 |        214 |        213 |        132 |        150 |        168 |        284 |
22.28/7.87	c (1,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
22.28/7.87	c (1,0) c | Orig_Seen     |            13 % |      16661 |       1919 |       1962 |       9315 |      21288 |      17114 |      16244 |      13882 |
22.28/7.87	c (1,0) c | Diff Orig seen|                 |      14742 |      X     |         43 |       7396 |      19369 |      15195 |      14325 |      11963 |
22.28/7.87	c (1,0) c | Hamming       |            17 % |       1824 |      X     |        948 |       1333 |       1783 |       1599 |       2073 |       1429 |
22.28/7.87	c (1,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
22.28/7.87	c (1,0) c | RunningTime   |                 |    0.4 100%|    0.4 100%|    0.4 100%|    0.5 100%|    0.4 100%|    0.5 100%|    0.4 100%|    0.5 100%|
22.28/7.87	c (1,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%|
22.28/7.87	c (1,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%|
22.28/7.87	c (1,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%|
22.28/7.87	c (1,0) c | SolvingTime   |                 |    0.4     |    0.4     |    0.4     |    0.5     |    0.4     |    0.5     |    0.4     |    0.5     |
22.28/7.87	c (1,0) c | PropagationTim|                 |    0.3  77%|    0.3  76%|    0.3  78%|    0.4  78%|    0.3  75%|    0.4  77%|    0.3  78%|    0.4  77%|
22.28/7.87	c (1,0) c | AnalysisTime  |                 |    0.1  16%|    0.1  13%|    0.1  15%|    0.1  15%|    0.1  17%|    0.1  15%|    0.1  14%|    0.1  15%|
22.28/7.87	c (1,0) c | ReductionTime |                 |    0.0   2%|    0.0   3%|    0.0   1%|    0.0   2%|    0.0   2%|    0.0   2%|    0.0   3%|    0.0   2%|
22.28/7.87	c (1,0) c | SimplifyTime  |                 |    0.0   0%|    0.0   1%|    0.0   0%|    0.0   1%|    0.0   0%|    0.0   1%|    0.0   1%|    0.0   0%|
22.28/7.87	c (1,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%|
22.28/7.87	c (1,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%|
22.28/7.87	c (1,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
22.28/7.87	c (1,0) c
22.28/7.87	c (1,0) c
22.28/7.87	c (1,0) c Threads : 8
22.28/7.87	c (1,0) c Winner : 1
22.28/7.87	c (1,0) c Conflicts_0 : 8789
22.28/7.87	c (1,0) c Conflicts_1 : 19785
22.28/7.87	c (1,0) c Conflicts_2 : 22631
22.28/7.87	c (1,0) c Conflicts_3 : 8607
22.28/7.87	c (1,0) c Conflicts_4 : 9246
22.28/7.87	c (1,0) c Conflicts_5 : 9112
22.28/7.87	c (1,0) c Conflicts_6 : 8351
22.28/7.87	c (1,0) c Conflicts_7 : 13677
22.28/7.87	c (1,0) c Conflicts_total : 100198
22.28/7.87	c (1,0) c Conflicts_winner : 19785
22.28/7.87	c (1,0) c Decisions_0 : 17114
22.28/7.87	c (1,0) c Decisions_1 : 31714
22.28/7.87	c (1,0) c Decisions_2 : 31585
22.28/7.87	c (1,0) c Decisions_3 : 14536
22.28/7.87	c (1,0) c Decisions_4 : 18662
22.28/7.87	c (1,0) c Decisions_5 : 17918
22.28/7.87	c (1,0) c Decisions_6 : 16225
22.28/7.87	c (1,0) c Decisions_7 : 22218
22.28/7.87	c (1,0) c Decisions_total : 169972
22.28/7.87	c (1,0) c Decisions_winner : 31714
22.28/7.87	c (1,0) c Propagations_0 : 1268410
22.28/7.87	c (1,0) c Propagations_1 : 1310795
22.28/7.87	c (1,0) c Propagations_2 : 1294624
22.28/7.87	c (1,0) c Propagations_3 : 1241570
22.28/7.87	c (1,0) c Propagations_4 : 1304588
22.28/7.87	c (1,0) c Propagations_5 : 1367450
22.28/7.87	c (1,0) c Propagations_6 : 1204543
22.28/7.87	c (1,0) c Propagations_7 : 1642989
22.28/7.87	c (1,0) c Propagations_total : 10634969
22.28/7.87	c (1,0) c Propagations_winner : 1310795
22.28/7.88	c (1,0) c ReduceDBs_0 : 2
22.28/7.88	c (1,0) c ReduceDBs_1 : 3
22.28/7.88	c (1,0) c ReduceDBs_2 : 3
22.28/7.88	c (1,0) c ReduceDBs_3 : 2
22.28/7.88	c (1,0) c ReduceDBs_4 : 2
22.28/7.88	c (1,0) c ReduceDBs_5 : 2
22.28/7.88	c (1,0) c ReduceDBs_6 : 2
22.28/7.88	c (1,0) c ReduceDBs_7 : 2
22.28/7.88	c (1,0) c ReduceDBs_total : 18
22.28/7.88	c (1,0) c ReduceDBs_winner : 3
22.28/7.88	c (1,0) c SimpDBs_0 : 2
22.28/7.88	c (1,0) c SimpDBs_1 : 3
22.28/7.88	c (1,0) c SimpDBs_2 : 2
22.28/7.88	c (1,0) c SimpDBs_3 : 2
22.28/7.88	c (1,0) c SimpDBs_4 : 2
22.28/7.88	c (1,0) c SimpDBs_5 : 2
22.28/7.88	c (1,0) c SimpDBs_6 : 2
22.28/7.88	c (1,0) c SimpDBs_7 : 2
22.28/7.88	c (1,0) c SimpDBs_total : 17
22.28/7.88	c (1,0) c SimpDBs_winner : 3
22.28/7.88	c (1,0) c Restarts_0 : 26
22.28/7.88	c (1,0) c Restarts_1 : 24
22.28/7.88	c (1,0) c Restarts_2 : 8
22.28/7.88	c (1,0) c Restarts_3 : 15
22.28/7.88	c (1,0) c Restarts_4 : 37
22.28/7.88	c (1,0) c Restarts_5 : 43
22.28/7.88	c (1,0) c Restarts_6 : 33
22.28/7.88	c (1,0) c Restarts_7 : 21
22.28/7.88	c (1,0) c Restarts_total : 207
22.28/7.88	c (1,0) c Restarts_winner : 24
22.28/7.88	c (1,0) c ForcedImports_0 : 0
22.28/7.88	c (1,0) c ForcedImports_1 : 0
22.28/7.88	c (1,0) c ForcedImports_2 : 0
22.28/7.88	c (1,0) c ForcedImports_3 : 0
22.28/7.88	c (1,0) c ForcedImports_4 : 0
22.28/7.88	c (1,0) c ForcedImports_5 : 0
22.28/7.88	c (1,0) c ForcedImports_6 : 0
22.28/7.88	c (1,0) c ForcedImports_7 : 0
22.28/7.88	c (1,0) c ForcedImports_total : 0
22.28/7.88	c (1,0) c ForcedImports_winner : 0
22.28/7.88	c (1,0) c PropsBinClauses_0 : 1953733
22.28/7.88	c (1,0) c PropsBinClauses_1 : 1875988
22.28/7.88	c (1,0) c PropsBinClauses_2 : 1868213
22.28/7.88	c (1,0) c PropsBinClauses_3 : 1810617
22.28/7.88	c (1,0) c PropsBinClauses_4 : 2018136
22.28/7.88	c (1,0) c PropsBinClauses_5 : 2003651
22.28/7.88	c (1,0) c PropsBinClauses_6 : 1747171
22.28/7.88	c (1,0) c PropsBinClauses_7 : 2326603
22.28/7.88	c (1,0) c PropsBinClauses_total : 15604112
22.28/7.88	c (1,0) c PropsBinClauses_winner : 1875988
22.28/7.88	c (1,0) c PropsPreBlocker_0 : 12660191
22.28/7.88	c (1,0) c PropsPreBlocker_1 : 12642366
22.28/7.88	c (1,0) c PropsPreBlocker_2 : 17725497
22.28/7.88	c (1,0) c PropsPreBlocker_3 : 13129015
22.28/7.88	c (1,0) c PropsPreBlocker_4 : 13543954
22.28/7.88	c (1,0) c PropsPreBlocker_5 : 13626449
22.28/7.88	c (1,0) c PropsPreBlocker_6 : 11575836
22.28/7.88	c (1,0) c PropsPreBlocker_7 : 13796471
22.28/7.88	c (1,0) c PropsPreBlocker_total : 108699779
22.28/7.88	c (1,0) c PropsPreBlocker_winner : 12642366
22.28/7.88	c (1,0) c PropsNotBlocker_0 : 5457405
22.28/7.88	c (1,0) c PropsNotBlocker_1 : 4997329
22.28/7.88	c (1,0) c PropsNotBlocker_2 : 5658839
22.28/7.88	c (1,0) c PropsNotBlocker_3 : 5779032
22.28/7.88	c (1,0) c PropsNotBlocker_4 : 5624455
22.28/7.88	c (1,0) c PropsNotBlocker_5 : 5767145
22.28/7.88	c (1,0) c PropsNotBlocker_6 : 5312428
22.28/7.88	c (1,0) c PropsNotBlocker_7 : 5989306
22.28/7.88	c (1,0) c PropsNotBlocker_total : 44585939
22.28/7.88	c (1,0) c PropsNotBlocker_winner : 4997329
22.28/7.88	c (1,0) c PropsLitFullScans_0 : 28552972
22.28/7.88	c (1,0) c PropsLitFullScans_1 : 26085740
22.28/7.88	c (1,0) c PropsLitFullScans_2 : 36001948
22.28/7.88	c (1,0) c PropsLitFullScans_3 : 30001092
22.28/7.88	c (1,0) c PropsLitFullScans_4 : 30000968
22.28/7.88	c (1,0) c PropsLitFullScans_5 : 30000672
22.28/7.88	c (1,0) c PropsLitFullScans_6 : 26154569
22.28/7.88	c (1,0) c PropsLitFullScans_7 : 30001389
22.28/7.88	c (1,0) c PropsLitFullScans_total : 236799350
22.28/7.88	c (1,0) c PropsLitFullScans_winner : 26085740
22.28/7.88	c (1,0) c LitScanFractions_0 : 457
22.28/7.88	c (1,0) c LitScanFractions_1 : 3748
22.28/7.88	c (1,0) c LitScanFractions_2 : 766
22.28/7.88	c (1,0) c LitScanFractions_3 : 461
22.28/7.88	c (1,0) c LitScanFractions_4 : 746
22.28/7.88	c (1,0) c LitScanFractions_5 : 423
22.28/7.88	c (1,0) c LitScanFractions_6 : 9753
22.28/7.88	c (1,0) c LitScanFractions_7 : 652
22.28/7.88	c (1,0) c LitScanFractions_total : 17006
22.28/7.88	c (1,0) c LitScanFractions_winner : 3748
22.28/7.88	c (1,0) c DecisionLevel0_0 : 45
22.28/7.88	c (1,0) c DecisionLevel0_1 : 58
22.28/7.88	c (1,0) c DecisionLevel0_2 : 9
22.28/7.88	c (1,0) c DecisionLevel0_3 : 50
22.28/7.88	c (1,0) c DecisionLevel0_4 : 72
22.28/7.88	c (1,0) c DecisionLevel0_5 : 78
22.28/7.88	c (1,0) c DecisionLevel0_6 : 62
22.28/7.88	c (1,0) c DecisionLevel0_7 : 45
22.28/7.88	c (1,0) c DecisionLevel0_total : 419
22.28/7.88	c (1,0) c DecisionLevel0_winner : 58
22.28/7.88	c (1,0) c Periods_0 : 4
22.28/7.88	c (1,0) c Periods_1 : 4
22.28/7.88	c (1,0) c Periods_2 : 6
22.28/7.88	c (1,0) c Periods_3 : 5
22.28/7.88	c (1,0) c Periods_4 : 5
22.28/7.88	c (1,0) c Periods_5 : 5
22.28/7.88	c (1,0) c Periods_6 : 4
22.28/7.88	c (1,0) c Periods_7 : 5
22.28/7.88	c (1,0) c Periods_total : 38
22.28/7.88	c (1,0) c Periods_winner : 4
22.28/7.88	c (1,0) c Margin_0 : 20
22.28/7.88	c (1,0) c Margin_1 : 20
22.28/7.88	c (1,0) c Margin_2 : 20
22.28/7.88	c (1,0) c Margin_3 : 20
22.28/7.88	c (1,0) c Margin_4 : 20
22.28/7.88	c (1,0) c Margin_5 : 20
22.28/7.88	c (1,0) c Margin_6 : 20
22.28/7.88	c (1,0) c Margin_7 : 20
22.28/7.88	c (1,0) c Margin_total : 160
22.28/7.88	c (1,0) c Margin_winner : 20
22.28/7.88	c (1,0) c Exported_0 : 1148
22.28/7.88	c (1,0) c Exported_1 : 5147
22.28/7.88	c (1,0) c Exported_2 : 5427
22.28/7.88	c (1,0) c Exported_3 : 1198
22.28/7.88	c (1,0) c Exported_4 : 1123
22.28/7.88	c (1,0) c Exported_5 : 1093
22.28/7.88	c (1,0) c Exported_6 : 1063
22.28/7.88	c (1,0) c Exported_7 : 3128
22.28/7.88	c (1,0) c Exported_total : 19327
22.28/7.88	c (1,0) c Exported_winner : 5147
22.28/7.88	c (1,0) c Imported_0 : 0
22.28/7.88	c (1,0) c Imported_1 : 0
22.28/7.88	c (1,0) c Imported_2 : 0
22.28/7.88	c (1,0) c Imported_3 : 0
22.28/7.88	c (1,0) c Imported_4 : 0
22.28/7.88	c (1,0) c Imported_5 : 0
22.28/7.88	c (1,0) c Imported_6 : 0
22.28/7.88	c (1,0) c Imported_7 : 0
22.28/7.88	c (1,0) c Imported_total : 0
22.28/7.88	c (1,0) c Imported_winner : 0
22.28/7.88	c (1,0) c Good_0 : 0
22.28/7.88	c (1,0) c Good_1 : 0
22.28/7.88	c (1,0) c Good_2 : 0
22.28/7.88	c (1,0) c Good_3 : 0
22.28/7.88	c (1,0) c Good_4 : 0
22.28/7.88	c (1,0) c Good_5 : 0
22.28/7.88	c (1,0) c Good_6 : 0
22.28/7.88	c (1,0) c Good_7 : 0
22.28/7.88	c (1,0) c Good_total : 0
22.28/7.88	c (1,0) c Good_winner : 0
22.28/7.88	c (1,0) c Purge_0 : 0
22.28/7.88	c (1,0) c Purge_1 : 0
22.28/7.88	c (1,0) c Purge_2 : 0
22.28/7.88	c (1,0) c Purge_3 : 0
22.28/7.88	c (1,0) c Purge_4 : 0
22.28/7.88	c (1,0) c Purge_5 : 0
22.28/7.88	c (1,0) c Purge_6 : 0
22.28/7.88	c (1,0) c Purge_7 : 0
22.28/7.88	c (1,0) c Purge_total : 0
22.28/7.88	c (1,0) c Purge_winner : 0
22.28/7.88	c (1,0) c Promoted_0 : 0
22.28/7.88	c (1,0) c Promoted_1 : 0
22.28/7.88	c (1,0) c Promoted_2 : 0
22.28/7.88	c (1,0) c Promoted_3 : 0
22.28/7.88	c (1,0) c Promoted_4 : 0
22.28/7.88	c (1,0) c Promoted_5 : 0
22.28/7.88	c (1,0) c Promoted_6 : 0
22.28/7.88	c (1,0) c Promoted_7 : 0
22.28/7.88	c (1,0) c Promoted_total : 0
22.28/7.88	c (1,0) c Promoted_winner : 0
22.28/7.88	c (1,0) c Remove_Imp_0 : 0
22.28/7.88	c (1,0) c Remove_Imp_1 : 0
22.28/7.88	c (1,0) c Remove_Imp_2 : 0
22.28/7.88	c (1,0) c Remove_Imp_3 : 0
22.28/7.88	c (1,0) c Remove_Imp_4 : 0
22.28/7.88	c (1,0) c Remove_Imp_5 : 0
22.28/7.88	c (1,0) c Remove_Imp_6 : 0
22.28/7.88	c (1,0) c Remove_Imp_7 : 0
22.28/7.88	c (1,0) c Remove_Imp_total : 0
22.28/7.88	c (1,0) c Remove_Imp_winner : 0
22.28/7.88	c (1,0) c Blocked_Reuse_0 : 0
22.28/7.88	c (1,0) c Blocked_Reuse_1 : 0
22.28/7.88	c (1,0) c Blocked_Reuse_2 : 0
22.28/7.88	c (1,0) c Blocked_Reuse_3 : 0
22.28/7.88	c (1,0) c Blocked_Reuse_4 : 0
22.28/7.88	c (1,0) c Blocked_Reuse_5 : 0
22.28/7.88	c (1,0) c Blocked_Reuse_6 : 0
22.28/7.88	c (1,0) c Blocked_Reuse_7 : 0
22.28/7.88	c (1,0) c Blocked_Reuse_total : 0
22.28/7.88	c (1,0) c Blocked_Reuse_winner : 0
22.28/7.88	c (1,0) c Unaries_0 : 19
22.28/7.88	c (1,0) c Unaries_1 : 34
22.28/7.88	c (1,0) c Unaries_2 : 1
22.28/7.88	c (1,0) c Unaries_3 : 35
22.28/7.88	c (1,0) c Unaries_4 : 35
22.28/7.88	c (1,0) c Unaries_5 : 35
22.28/7.88	c (1,0) c Unaries_6 : 29
22.28/7.88	c (1,0) c Unaries_7 : 24
22.28/7.88	c (1,0) c Unaries_total : 212
22.28/7.88	c (1,0) c Unaries_winner : 34
22.28/7.88	c (1,0) c Binaries_0 : 10
22.28/7.88	c (1,0) c Binaries_1 : 60
22.28/7.88	c (1,0) c Binaries_2 : 22
22.28/7.88	c (1,0) c Binaries_3 : 18
22.28/7.88	c (1,0) c Binaries_4 : 10
22.28/7.88	c (1,0) c Binaries_5 : 9
22.28/7.88	c (1,0) c Binaries_6 : 3
22.28/7.88	c (1,0) c Binaries_7 : 18
22.28/7.88	c (1,0) c Binaries_total : 150
22.28/7.88	c (1,0) c Binaries_winner : 60
22.28/7.88	c (1,0) c Glues_0 : 170
22.28/7.88	c (1,0) c Glues_1 : 322
22.28/7.88	c (1,0) c Glues_2 : 214
22.28/7.88	c (1,0) c Glues_3 : 213
22.28/7.88	c (1,0) c Glues_4 : 132
22.28/7.88	c (1,0) c Glues_5 : 150
22.28/7.88	c (1,0) c Glues_6 : 168
22.28/7.88	c (1,0) c Glues_7 : 284
22.28/7.88	c (1,0) c Glues_total : 1653
22.28/7.88	c (1,0) c Glues_winner : 322
22.28/7.88	c (1,0) c RunningTime_0 : 0.423588
22.28/7.88	c (1,0) c RunningTime_1 : 0.416003
22.28/7.88	c (1,0) c RunningTime_2 : 0.435790
22.28/7.88	c (1,0) c RunningTime_3 : 0.450000
22.28/7.88	c (1,0) c RunningTime_4 : 0.441367
22.28/7.88	c (1,0) c RunningTime_5 : 0.461493
22.28/7.88	c (1,0) c RunningTime_6 : 0.418384
22.28/7.88	c (1,0) c RunningTime_7 : 0.454618
22.28/7.88	c (1,0) c RunningTime_total : 3.501241
22.28/7.88	c (1,0) c RunningTime_winner : 0.416003
22.28/7.88	c (1,0) c WaitingTime_0 : 0.000000
22.28/7.88	c (1,0) c WaitingTime_1 : 0.000000
22.28/7.88	c (1,0) c WaitingTime_2 : 0.000000
22.28/7.88	c (1,0) c WaitingTime_3 : 0.000000
22.28/7.88	c (1,0) c WaitingTime_4 : 0.000000
22.28/7.88	c (1,0) c WaitingTime_5 : 0.000000
22.28/7.88	c (1,0) c WaitingTime_6 : 0.000000
22.28/7.88	c (1,0) c WaitingTime_7 : 0.000000
22.28/7.88	c (1,0) c WaitingTime_total : 0.000000
22.28/7.88	c (1,0) c WaitingTime_winner : 0.000000
22.28/7.88	c (1,0) c ExchangingTime_0 : 0.000512
22.28/7.88	c (1,0) c ExchangingTime_1 : 0.000945
22.28/7.88	c (1,0) c ExchangingTime_2 : 0.001012
22.28/7.88	c (1,0) c ExchangingTime_3 : 0.000487
22.28/7.88	c (1,0) c ExchangingTime_4 : 0.000533
22.28/7.88	c (1,0) c ExchangingTime_5 : 0.000466
22.28/7.88	c (1,0) c ExchangingTime_6 : 0.000530
22.28/7.88	c (1,0) c ExchangingTime_7 : 0.000708
22.28/7.88	c (1,0) c ExchangingTime_total : 0.005192
22.28/7.88	c (1,0) c ExchangingTime_winner : 0.000945
22.28/7.88	c (1,0) c PeriodProcTime_0 : 0.000020
22.28/7.88	c (1,0) c PeriodProcTime_1 : 0.000030
22.28/7.88	c (1,0) c PeriodProcTime_2 : 0.000042
22.28/7.88	c (1,0) c PeriodProcTime_3 : 0.000030
22.28/7.88	c (1,0) c PeriodProcTime_4 : 0.000049
22.28/7.88	c (1,0) c PeriodProcTime_5 : 0.000031
22.28/7.88	c (1,0) c PeriodProcTime_6 : 0.000022
22.28/7.88	c (1,0) c PeriodProcTime_7 : 0.000033
22.28/7.88	c (1,0) c PeriodProcTime_total : 0.000257
22.28/7.88	c (1,0) c PeriodProcTime_winner : 0.000030
22.28/7.88	c (1,0) c SolvingTime_0 : 0.424120
22.28/7.88	c (1,0) c SolvingTime_1 : 0.416978
22.28/7.88	c (1,0) c SolvingTime_2 : 0.436843
22.28/7.88	c (1,0) c SolvingTime_3 : 0.450517
22.28/7.88	c (1,0) c SolvingTime_4 : 0.441950
22.28/7.88	c (1,0) c SolvingTime_5 : 0.461989
22.28/7.88	c (1,0) c SolvingTime_6 : 0.418936
22.28/7.88	c (1,0) c SolvingTime_7 : 0.455358
22.28/7.88	c (1,0) c SolvingTime_total : 3.506691
22.28/7.88	c (1,0) c SolvingTime_winner : 0.416978
22.28/7.88	c (1,0) c PropagationTime_0 : 0.324725
22.28/7.88	c (1,0) c PropagationTime_1 : 0.318331
22.28/7.88	c (1,0) c PropagationTime_2 : 0.338876
22.28/7.88	c (1,0) c PropagationTime_3 : 0.353411
22.28/7.88	c (1,0) c PropagationTime_4 : 0.333282
22.28/7.88	c (1,0) c PropagationTime_5 : 0.355835
22.28/7.88	c (1,0) c PropagationTime_6 : 0.324906
22.28/7.88	c (1,0) c PropagationTime_7 : 0.351027
22.28/7.88	c (1,0) c PropagationTime_total : 2.700393
22.28/7.88	c (1,0) c PropagationTime_winner : 0.318331
22.28/7.88	c (1,0) c AnalysisTime_0 : 0.066747
22.28/7.88	c (1,0) c AnalysisTime_1 : 0.053949
22.28/7.89	c (1,0) c AnalysisTime_2 : 0.064543
22.28/7.89	c (1,0) c AnalysisTime_3 : 0.065985
22.28/7.89	c (1,0) c AnalysisTime_4 : 0.073376
22.28/7.89	c (1,0) c AnalysisTime_5 : 0.070307
22.28/7.89	c (1,0) c AnalysisTime_6 : 0.059498
22.28/7.89	c (1,0) c AnalysisTime_7 : 0.066799
22.28/7.89	c (1,0) c AnalysisTime_total : 0.521204
22.28/7.89	c (1,0) c AnalysisTime_winner : 0.053949
22.28/7.89	c (1,0) c ReductionTime_0 : 0.008750
22.28/7.89	c (1,0) c ReductionTime_1 : 0.013149
22.28/7.89	c (1,0) c ReductionTime_2 : 0.003056
22.28/7.89	c (1,0) c ReductionTime_3 : 0.010766
22.28/7.89	c (1,0) c ReductionTime_4 : 0.009749
22.28/7.89	c (1,0) c ReductionTime_5 : 0.010594
22.28/7.89	c (1,0) c ReductionTime_6 : 0.011356
22.28/7.89	c (1,0) c ReductionTime_7 : 0.009452
22.28/7.89	c (1,0) c ReductionTime_total : 0.076872
22.28/7.89	c (1,0) c ReductionTime_winner : 0.013149
22.28/7.89	c (1,0) c SimplifyTime_0 : 0.002083
22.28/7.89	c (1,0) c SimplifyTime_1 : 0.004642
22.28/7.89	c (1,0) c SimplifyTime_2 : 0.001880
22.28/7.89	c (1,0) c SimplifyTime_3 : 0.002427
22.28/7.89	c (1,0) c SimplifyTime_4 : 0.002187
22.28/7.89	c (1,0) c SimplifyTime_5 : 0.002374
22.28/7.89	c (1,0) c SimplifyTime_6 : 0.002383
22.28/7.89	c (1,0) c SimplifyTime_7 : 0.002068
22.28/7.89	c (1,0) c SimplifyTime_total : 0.020044
22.28/7.89	c (1,0) c SimplifyTime_winner : 0.004642
22.28/7.89	c (1,0) c UsedRateTime_0 : 0.000000
22.28/7.89	c (1,0) c UsedRateTime_1 : 0.000000
22.28/7.89	c (1,0) c UsedRateTime_2 : 0.000000
22.28/7.89	c (1,0) c UsedRateTime_3 : 0.000000
22.28/7.89	c (1,0) c UsedRateTime_4 : 0.000000
22.28/7.89	c (1,0) c UsedRateTime_5 : 0.000000
22.28/7.89	c (1,0) c UsedRateTime_6 : 0.000000
22.28/7.89	c (1,0) c UsedRateTime_7 : 0.000000
22.28/7.89	c (1,0) c UsedRateTime_total : 0.000000
22.28/7.89	c (1,0) c UsedRateTime_winner : 0.000000
22.28/7.89	c (1,0) c OverlapRateTime_0 : 0.000000
22.28/7.89	c (1,0) c OverlapRateTime_1 : 0.000000
22.28/7.89	c (1,0) c OverlapRateTime_2 : 0.000000
22.28/7.89	c (1,0) c OverlapRateTime_3 : 0.000000
22.28/7.89	c (1,0) c OverlapRateTime_4 : 0.000000
22.28/7.89	c (1,0) c OverlapRateTime_5 : 0.000000
22.28/7.89	c (1,0) c OverlapRateTime_6 : 0.000000
22.28/7.89	c (1,0) c OverlapRateTime_7 : 0.000000
22.28/7.89	c (1,0) c OverlapRateTime_total : 0.000000
22.28/7.89	c (1,0) c OverlapRateTime_winner : 0.000000
22.28/7.89	c (1,0) c
22.28/7.89	c (1,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
22.28/7.89	c (1,0) c
22.28/7.89	c (1,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
22.28/7.89	c (1,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
22.28/7.89	c (1,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
22.28/7.89	c (1,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
22.28/7.89	c (1,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
22.28/7.89	c (1,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
22.28/7.89	c (1,0) c | Initial random_seed   | 2146254312 |  183337942 | 1264381049 |   52655457 |  337443347 |  922061069 | 1341092571 | 1674020099 |
22.28/7.89	c (1,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
22.28/7.89	c (1,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
22.28/7.89	c (1,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
22.28/7.89	c (1,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
22.28/7.89	c (1,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
22.28/7.89	c (1,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
22.28/7.89	c (1,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
22.28/7.89	c (1,0) c | var_decay             |     0.8100 |     0.8300 |     0.8400 |     0.8100 |     0.8100 |     0.8100 |     0.8100 |     0.8200 |
22.28/7.89	c (1,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
22.28/7.89	c (1,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
22.28/7.89	c (1,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
22.28/7.89	c (1,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
22.28/7.89	c (1,0) 
22.28/7.89	c (1,0) s UNSATISFIABLE
22.28/7.89	c (1,0) SatSolver.solve End
22.28/7.89	c (1,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
22.28/7.89	c (1,0) Show results Begin
22.28/7.89	s UNSATISFIABLE
22.28/7.89	c (1,0) Show results End
22.28/7.89	c (1,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
22.28/7.89	c (1,0) 1,1,STOP-AFTER(ALL)
22.28/7.89	c END-Prog: Tue Sep 24 16:40:26 CEST 2019

Verifier Data


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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4405194-1569336055/watcher-4405194-1569336055 -o /tmp/evaluation-result-4405194-1569336055/solver-4405194-1569336055 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node148-1569335941-5642 --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-4405194-1569336055.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=5792, runsolver pid=5789

[startup+0.100121 s]*
/proc/loadavg: 2.95 0.82 0.32 2/212 5814
/proc/meminfo: memFree=21975756/32770624 swapFree=67002572/67108860
[pid=5792] ppid=5789 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/5792/stat : 5792 (scop.sh) S 5789 5792 5615 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 509767035 115843072 348 33554432000 4194304 5098028 140725334479904 140725334477160 140477322543740 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 16007168 140725334483749 140725334484076 140725334484076 140725334486989 0
/proc/5792/statm: 28282 348 296 221 0 87 0
[pid=5795] ppid=5792 vsize=27314120 memory=107648 CPUtime=0.1 cores=0-7
/proc/5795/stat : 5795 (java) S 5792 5792 5615 0 -1 1077944320 6459 0 0 0 8 2 0 0 20 0 20 0 509767036 27969658880 26912 33554432000 4194304 4196468 140723298614992 140723298597536 139804334423799 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 10600448 140723298620140 140723298620566 140723298620566 140723298623439 0
/proc/5795/statm: 6828530 26912 2793 1 0 6790935 0
[pid=5795/tid=5796] ppid=5792 vsize=27314120 memory=576460756329955445 CPUtime=0.09 cores=0-7
/proc/5795/task/5796/stat : 5796 (java) R 5792 5792 5615 0 -1 4202560 4576 0 0 0 7 2 0 0 20 0 20 0 509767036 27969658880 26912 33554432000 4194304 4196468 140723298614992 139804306253864 139804326660926 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10600448 140723298620140 140723298620566 140723298620566 140723298623439 0
[pid=5795/tid=5797] ppid=5792 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5795/task/5797/stat : 5797 (java) S 5792 5792 5615 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509767038 27969658880 26912 33554432000 4194304 4196468 140723298614992 139804338666256 139804334434005 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10600448 140723298620140 140723298620566 140723298620566 140723298623439 0
[pid=5795/tid=5798] ppid=5792 vsize=27314120 memory=15121016706741912 CPUtime=0 cores=0-7
/proc/5795/task/5798/stat : 5798 (java) S 5792 5792 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509767038 27969658880 26912 33554432000 4194304 4196468 140723298614992 139804152822672 139804334434005 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10600448 140723298620140 140723298620566 140723298620566 140723298623439 0
[pid=5795/tid=5799] ppid=5792 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5795/task/5799/stat : 5799 (java) S 5792 5792 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509767038 27969658880 26912 33554432000 4194304 4196468 140723298614992 139804151770128 139804334434005 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10600448 140723298620140 140723298620566 140723298620566 140723298623439 0
[pid=5795/tid=5800] ppid=5792 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5795/task/5800/stat : 5800 (java) S 5792 5792 5615 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509767038 27969658880 26912 33554432000 4194304 4196468 140723298614992 139804150717584 139804334434005 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10600448 140723298620140 140723298620566 140723298620566 140723298623439 0
[pid=5795/tid=5801] ppid=5792 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5795/task/5801/stat : 5801 (java) S 5792 5792 5615 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509767038 27969658880 26912 33554432000 4194304 4196468 140723298614992 139804149664016 139804334434005 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10600448 140723298620140 140723298620566 140723298620566 140723298623439 0
[pid=5795/tid=5802] ppid=5792 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/5795/task/5802/stat : 5802 (java) S 5792 5792 5615 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509767038 27969658880 26912 33554432000 4194304 4196468 140723298614992 139804148611472 139804334434005 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10600448 140723298620140 140723298620566 140723298620566 140723298623439 0
[pid=5795/tid=5803] ppid=5792 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5795/task/5803/stat : 5803 (java) S 5792 5792 5615 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509767038 27969658880 26912 33554432000 4194304 4196468 140723298614992 139804147558928 139804334434005 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10600448 140723298620140 140723298620566 140723298620566 140723298623439 0
[pid=5795/tid=5804] ppid=5792 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5795/task/5804/stat : 5804 (java) S 5792 5792 5615 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509767038 27969658880 26912 33554432000 4194304 4196468 140723298614992 139804146506384 139804334434005 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10600448 140723298620140 140723298620566 140723298620566 140723298623439 0
[pid=5795/tid=5805] ppid=5792 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5795/task/5805/stat : 5805 (java) S 5792 5792 5615 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509767040 27969658880 26912 33554432000 4194304 4196468 140723298614992 139802653452784 139804334434946 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10600448 140723298620140 140723298620566 140723298620566 140723298623439 0
[pid=5795/tid=5806] ppid=5792 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5795/task/5806/stat : 5806 (java) S 5792 5792 5615 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 509767040 27969658880 26912 33554432000 4194304 4196468 140723298614992 139802125002144 139804334434005 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10600448 140723298620140 140723298620566 140723298620566 140723298623439 0
[pid=5795/tid=5807] ppid=5792 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5795/task/5807/stat : 5807 (java) S 5792 5792 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509767041 27969658880 26912 33554432000 4194304 4196468 140723298614992 139801856566768 139804334434005 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10600448 140723298620140 140723298620566 140723298620566 140723298623439 0
[pid=5795/tid=5808] ppid=5792 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5795/task/5808/stat : 5808 (java) S 5792 5792 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509767043 27969658880 26912 33554432000 4194304 4196468 140723298614992 139801482058448 139804334442395 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10600448 140723298620140 140723298620566 140723298620566 140723298623439 0
[pid=5795/tid=5809] ppid=5792 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5795/task/5809/stat : 5809 (java) S 5792 5792 5615 0 -1 1077944384 298 0 0 0 0 0 0 0 20 0 20 0 509767043 27969658880 26912 33554432000 4194304 4196468 140723298614992 139802652399600 139804334434946 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10600448 140723298620140 140723298620566 140723298620566 140723298623439 0
[pid=5795/tid=5810] ppid=5792 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5795/task/5810/stat : 5810 (java) S 5792 5792 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509767043 27969658880 26912 33554432000 4194304 4196468 140723298614992 139802651347056 139804334434946 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10600448 140723298620140 140723298620566 140723298620566 140723298623439 0
[pid=5795/tid=5811] ppid=5792 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5795/task/5811/stat : 5811 (java) S 5792 5792 5615 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509767043 27969658880 26912 33554432000 4194304 4196468 140723298614992 139802650294512 139804334434946 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10600448 140723298620140 140723298620566 140723298620566 140723298623439 0
[pid=5795/tid=5812] ppid=5792 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5795/task/5812/stat : 5812 (java) S 5792 5792 5615 0 -1 1077944384 252 0 0 0 0 0 0 0 20 0 20 0 509767043 27969658880 26912 33554432000 4194304 4196468 140723298614992 139802649241968 139804334434946 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10600448 140723298620140 140723298620566 140723298620566 140723298623439 0
[pid=5795/tid=5813] ppid=5792 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5795/task/5813/stat : 5813 (java) S 5792 5792 5615 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509767043 27969658880 26912 33554432000 4194304 4196468 140723298614992 139800984152800 139804334434005 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10600448 140723298620140 140723298620566 140723298620566 140723298623439 0
[pid=5795/tid=5814] ppid=5792 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/5795/task/5814/stat : 5814 (java) S 5792 5792 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509767044 27969658880 26912 33554432000 4194304 4196468 140723298614992 139802648189872 139804334434946 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10600448 140723298620140 140723298620566 140723298620566 140723298623439 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 109040 KiB

[startup+0.210268 s]*
/proc/loadavg: 2.95 0.82 0.32 2/212 5814
/proc/meminfo: memFree=21955120/32770624 swapFree=67002572/67108860
[pid=5792] ppid=5789 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/5792/stat : 5792 (scop.sh) S 5789 5792 5615 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 509767035 115843072 348 33554432000 4194304 5098028 140725334479904 140725334477160 140477322543740 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 16007168 140725334483749 140725334484076 140725334484076 140725334486989 0
/proc/5792/statm: 28282 348 296 221 0 87 0
[pid=5795] ppid=5792 vsize=27314120 memory=126812 CPUtime=0.25 cores=0-7
/proc/5795/stat : 5795 (java) S 5792 5792 5615 0 -1 1077944320 12090 0 0 0 21 4 0 0 20 0 20 0 509767036 27969658880 31703 33554432000 4194304 4196468 140723298614992 140723298597536 139804334423799 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 10600448 140723298620140 140723298620566 140723298620566 140723298623439 0
/proc/5795/statm: 6828530 31703 2923 1 0 6790935 0
[pid=5795/tid=5796] ppid=5792 vsize=27314120 memory=8316850467074736180 CPUtime=0.19 cores=0-7
/proc/5795/task/5796/stat : 5796 (java) R 5792 5792 5615 0 -1 4202560 9824 0 0 0 16 3 0 0 20 0 20 0 509767036 27969658880 31703 33554432000 4194304 4196468 140723298614992 139804306247760 139804314699001 0 4 2 16800973 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10600448 140723298620140 140723298620566 140723298620566 140723298623439 0
[pid=5795/tid=5797] ppid=5792 vsize=27314120 memory=14976 CPUtime=0 cores=0-7
/proc/5795/task/5797/stat : 5797 (java) S 5792 5792 5615 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509767038 27969658880 31703 33554432000 4194304 4196468 140723298614992 139804338666256 139804334434005 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10600448 140723298620140 140723298620566 140723298620566 140723298623439 0
[pid=5795/tid=5798] ppid=5792 vsize=27314120 memory=139933665650437 CPUtime=0 cores=0-7
/proc/5795/task/5798/stat : 5798 (java) S 5792 5792 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509767038 27969658880 31703 33554432000 4194304 4196468 140723298614992 139804152822672 139804334434005 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10600448 140723298620140 140723298620566 140723298620566 140723298623439 0
[pid=5795/tid=5799] ppid=5792 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/5795/task/5799/stat : 5799 (java) S 5792 5792 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509767038 27969658880 31703 33554432000 4194304 4196468 140723298614992 139804151770128 139804334434005 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10600448 140723298620140 140723298620566 140723298620566 140723298623439 0
[pid=5795/tid=5800] ppid=5792 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5795/task/5800/stat : 5800 (java) S 5792 5792 5615 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509767038 27969658880 31703 33554432000 4194304 4196468 140723298614992 139804150717584 139804334434005 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10600448 140723298620140 140723298620566 140723298620566 140723298623439 0
[pid=5795/tid=5801] ppid=5792 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5795/task/5801/stat : 5801 (java) S 5792 5792 5615 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509767038 27969658880 31703 33554432000 4194304 4196468 140723298614992 139804149664016 139804334434005 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10600448 140723298620140 140723298620566 140723298620566 140723298623439 0
[pid=5795/tid=5802] ppid=5792 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/5795/task/5802/stat : 5802 (java) S 5792 5792 5615 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509767038 27969658880 31703 33554432000 4194304 4196468 140723298614992 139804148611472 139804334434005 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10600448 140723298620140 140723298620566 140723298620566 140723298623439 0
[pid=5795/tid=5803] ppid=5792 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5795/task/5803/stat : 5803 (java) S 5792 5792 5615 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509767038 27969658880 31703 33554432000 4194304 4196468 140723298614992 139804147558928 139804334434005 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10600448 140723298620140 140723298620566 140723298620566 140723298623439 0
[pid=5795/tid=5804] ppid=5792 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5795/task/5804/stat : 5804 (java) S 5792 5792 5615 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509767038 27969658880 31703 33554432000 4194304 4196468 140723298614992 139804146506384 139804334434005 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10600448 140723298620140 140723298620566 140723298620566 140723298623439 0
[pid=5795/tid=5805] ppid=5792 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5795/task/5805/stat : 5805 (java) S 5792 5792 5615 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509767040 27969658880 31703 33554432000 4194304 4196468 140723298614992 139802653452784 139804334434946 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10600448 140723298620140 140723298620566 140723298620566 140723298623439 0
[pid=5795/tid=5806] ppid=5792 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5795/task/5806/stat : 5806 (java) S 5792 5792 5615 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 509767040 27969658880 31703 33554432000 4194304 4196468 140723298614992 139802125002144 139804334434005 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10600448 140723298620140 140723298620566 140723298620566 140723298623439 0
[pid=5795/tid=5807] ppid=5792 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5795/task/5807/stat : 5807 (java) S 5792 5792 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509767041 27969658880 31703 33554432000 4194304 4196468 140723298614992 139801856566768 139804334434005 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10600448 140723298620140 140723298620566 140723298620566 140723298623439 0
[pid=5795/tid=5808] ppid=5792 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5795/task/5808/stat : 5808 (java) S 5792 5792 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509767043 27969658880 31703 33554432000 4194304 4196468 140723298614992 139801482058448 139804334442395 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10600448 140723298620140 140723298620566 140723298620566 140723298623439 0
[pid=5795/tid=5809] ppid=5792 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5795/task/5809/stat : 5809 (java) S 5792 5792 5615 0 -1 1077944384 333 0 0 0 0 0 0 0 20 0 20 0 509767043 27969658880 31703 33554432000 4194304 4196468 140723298614992 139802652399600 139804334434946 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10600448 140723298620140 140723298620566 140723298620566 140723298623439 0
[pid=5795/tid=5810] ppid=5792 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5795/task/5810/stat : 5810 (java) S 5792 5792 5615 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 20 0 509767043 27969658880 31703 33554432000 4194304 4196468 140723298614992 139802651347056 139804334434946 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10600448 140723298620140 140723298620566 140723298620566 140723298623439 0
[pid=5795/tid=5811] ppid=5792 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/5795/task/5811/stat : 5811 (java) S 5792 5792 5615 0 -1 1077944384 126 0 0 0 0 0 0 0 20 0 20 0 509767043 27969658880 31703 33554432000 4194304 4196468 140723298614992 139802650294512 139804334434946 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10600448 140723298620140 140723298620566 140723298620566 140723298623439 0
[pid=5795/tid=5812] ppid=5792 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7
/proc/5795/task/5812/stat : 5812 (java) S 5792 5792 5615 0 -1 1077944384 449 0 0 0 2 0 0 0 20 0 20 0 509767043 27969658880 31703 33554432000 4194304 4196468 140723298614992 139802649241968 139804334434946 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10600448 140723298620140 140723298620566 140723298620566 140723298623439 0
[pid=5795/tid=5813] ppid=5792 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5795/task/5813/stat : 5813 (java) S 5792 5792 5615 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509767043 27969658880 31703 33554432000 4194304 4196468 140723298614992 139800984152800 139804334434005 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10600448 140723298620140 140723298620566 140723298620566 140723298623439 0
[pid=5795/tid=5814] ppid=5792 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/5795/task/5814/stat : 5814 (java) S 5792 5792 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509767044 27969658880 31703 33554432000 4194304 4196468 140723298614992 139802648189872 139804334434946 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10600448 140723298620140 140723298620566 140723298620566 140723298623439 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 128204 KiB

[startup+0.309435 s]*
/proc/loadavg: 2.95 0.82 0.32 2/212 5814
/proc/meminfo: memFree=21953188/32770624 swapFree=67002572/67108860
[pid=5792] ppid=5789 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/5792/stat : 5792 (scop.sh) S 5789 5792 5615 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 509767035 115843072 348 33554432000 4194304 5098028 140725334479904 140725334477160 140477322543740 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 16007168 140725334483749 140725334484076 140725334484076 140725334486989 0
/proc/5792/statm: 28282 348 296 221 0 87 0
[pid=5795] ppid=5792 vsize=27314120 memory=130420 CPUtime=0.42 cores=0-7
/proc/5795/stat : 5795 (java) S 5792 5792 5615 0 -1 1077944320 12446 0 0 0 38 4 0 0 20 0 20 0 509767036 27969658880 32605 33554432000 4194304 4196468 140723298614992 140723298597536 139804334423799 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 10600448 140723298620140 140723298620566 140723298620566 140723298623439 0
/proc/5795/statm: 6828530 32605 3032 1 0 6790935 0
[pid=5795/tid=5796] ppid=5792 vsize=27314120 memory=1398722017469774279 CPUtime=0.29 cores=0-7
/proc/5795/task/5796/stat : 5796 (java) R 5792 5792 5615 0 -1 4202560 10011 0 0 0 26 3 0 0 20 0 20 0 509767036 27969658880 32605 33554432000 4194304 4196468 140723298614992 139804306253872 139804315987395 0 4 2 16800973 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10600448 140723298620140 140723298620566 140723298620566 140723298623439 0
[pid=5795/tid=5797] ppid=5792 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5795/task/5797/stat : 5797 (java) S 5792 5792 5615 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509767038 27969658880 32605 33554432000 4194304 4196468 140723298614992 139804338666256 139804334434005 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10600448 140723298620140 140723298620566 140723298620566 140723298623439 0
[pid=5795/tid=5798] ppid=5792 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5795/task/5798/stat : 5798 (java) S 5792 5792 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509767038 27969658880 32605 33554432000 4194304 4196468 140723298614992 139804152822672 139804334434005 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10600448 140723298620140 140723298620566 140723298620566 140723298623439 0
[pid=5795/tid=5799] ppid=5792 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5795/task/5799/stat : 5799 (java) S 5792 5792 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509767038 27969658880 32605 33554432000 4194304 4196468 140723298614992 139804151770128 139804334434005 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10600448 140723298620140 140723298620566 140723298620566 140723298623439 0
[pid=5795/tid=5800] ppid=5792 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5795/task/5800/stat : 5800 (java) S 5792 5792 5615 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509767038 27969658880 32605 33554432000 4194304 4196468 140723298614992 139804150717584 139804334434005 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10600448 140723298620140 140723298620566 140723298620566 140723298623439 0
[pid=5795/tid=5801] ppid=5792 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5795/task/5801/stat : 5801 (java) S 5792 5792 5615 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509767038 27969658880 32605 33554432000 4194304 4196468 140723298614992 139804149664016 139804334434005 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10600448 140723298620140 140723298620566 140723298620566 140723298623439 0
[pid=5795/tid=5802] ppid=5792 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5795/task/5802/stat : 5802 (java) S 5792 5792 5615 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509767038 27969658880 32605 33554432000 4194304 4196468 140723298614992 139804148611472 139804334434005 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10600448 140723298620140 140723298620566 140723298620566 140723298623439 0
[pid=5795/tid=5803] ppid=5792 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5795/task/5803/stat : 5803 (java) S 5792 5792 5615 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509767038 27969658880 32605 33554432000 4194304 4196468 140723298614992 139804147558928 139804334434005 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10600448 140723298620140 140723298620566 140723298620566 140723298623439 0
[pid=5795/tid=5804] ppid=5792 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5795/task/5804/stat : 5804 (java) S 5792 5792 5615 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509767038 27969658880 32605 33554432000 4194304 4196468 140723298614992 139804146506384 139804334434005 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10600448 140723298620140 140723298620566 140723298620566 140723298623439 0
[pid=5795/tid=5805] ppid=5792 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5795/task/5805/stat : 5805 (java) S 5792 5792 5615 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509767040 27969658880 32605 33554432000 4194304 4196468 140723298614992 139802653452784 139804334434946 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10600448 140723298620140 140723298620566 140723298620566 140723298623439 0
[pid=5795/tid=5806] ppid=5792 vsize=27314120 memory=279867048533376 CPUtime=0 cores=0-7
/proc/5795/task/5806/stat : 5806 (java) S 5792 5792 5615 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 509767040 27969658880 32605 33554432000 4194304 4196468 140723298614992 139802125002144 139804334434005 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10600448 140723298620140 140723298620566 140723298620566 140723298623439 0
[pid=5795/tid=5807] ppid=5792 vsize=27314120 memory=279867048537984 CPUtime=0 cores=0-7
/proc/5795/task/5807/stat : 5807 (java) S 5792 5792 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509767041 27969658880 32605 33554432000 4194304 4196468 140723298614992 139801856566768 139804334434005 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10600448 140723298620140 140723298620566 140723298620566 140723298623439 0
[pid=5795/tid=5808] ppid=5792 vsize=27314120 memory=279867048542592 CPUtime=0 cores=0-7
/proc/5795/task/5808/stat : 5808 (java) S 5792 5792 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509767043 27969658880 32605 33554432000 4194304 4196468 140723298614992 139801482058448 139804334442395 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10600448 140723298620140 140723298620566 140723298620566 140723298623439 0
[pid=5795/tid=5809] ppid=5792 vsize=27314120 memory=279867048547200 CPUtime=0.01 cores=0-7
/proc/5795/task/5809/stat : 5809 (java) S 5792 5792 5615 0 -1 1077944384 345 0 0 0 1 0 0 0 20 0 20 0 509767043 27969658880 32605 33554432000 4194304 4196468 140723298614992 139802652399600 139804334434946 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10600448 140723298620140 140723298620566 140723298620566 140723298623439 0
[pid=5795/tid=5810] ppid=5792 vsize=27314120 memory=279867048551808 CPUtime=0.01 cores=0-7
/proc/5795/task/5810/stat : 5810 (java) S 5792 5792 5615 0 -1 1077944384 58 0 0 0 1 0 0 0 20 0 20 0 509767043 27969658880 32605 33554432000 4194304 4196468 140723298614992 139802651347056 139804334434946 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10600448 140723298620140 140723298620566 140723298620566 140723298623439 0
[pid=5795/tid=5811] ppid=5792 vsize=27314120 memory=279867048556416 CPUtime=0.01 cores=0-7
/proc/5795/task/5811/stat : 5811 (java) S 5792 5792 5615 0 -1 1077944384 221 0 0 0 1 0 0 0 20 0 20 0 509767043 27969658880 32605 33554432000 4194304 4196468 140723298614992 139802650294512 139804334434946 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10600448 140723298620140 140723298620566 140723298620566 140723298623439 0
[pid=5795/tid=5812] ppid=5792 vsize=27314120 memory=279867048561024 CPUtime=0.07 cores=0-7
/proc/5795/task/5812/stat : 5812 (java) S 5792 5792 5615 0 -1 1077944384 471 0 0 0 7 0 0 0 20 0 20 0 509767043 27969658880 32605 33554432000 4194304 4196468 140723298614992 139802649241968 139804334434946 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10600448 140723298620140 140723298620566 140723298620566 140723298623439 0
[pid=5795/tid=5813] ppid=5792 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5795/task/5813/stat : 5813 (java) S 5792 5792 5615 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509767043 27969658880 32605 33554432000 4194304 4196468 140723298614992 139800984152800 139804334434005 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10600448 140723298620140 140723298620566 140723298620566 140723298623439 0
[pid=5795/tid=5814] ppid=5792 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/5795/task/5814/stat : 5814 (java) S 5792 5792 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509767044 27969658880 32605 33554432000 4194304 4196468 140723298614992 139802648189872 139804334434946 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10600448 140723298620140 140723298620566 140723298620566 140723298623439 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 131812 KiB

[startup+0.700865 s]
/proc/loadavg: 2.95 0.82 0.32 2/212 5814
/proc/meminfo: memFree=21932456/32770624 swapFree=67002572/67108860
[pid=5792] ppid=5789 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/5792/stat : 5792 (scop.sh) S 5789 5792 5615 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 509767035 115843072 348 33554432000 4194304 5098028 140725334479904 140725334477160 140477322543740 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 16007168 140725334483749 140725334484076 140725334484076 140725334486989 0
/proc/5792/statm: 28282 348 296 221 0 87 0
[pid=5795] ppid=5792 vsize=27320392 memory=164996 CPUtime=1 cores=0-7
/proc/5795/stat : 5795 (java) S 5792 5792 5615 0 -1 1077944320 19903 0 0 0 93 7 0 0 20 0 20 0 509767036 27976081408 41249 33554432000 4194304 4196468 140723298614992 140723298597536 139804334423799 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 10600448 140723298620140 140723298620566 140723298620566 140723298623439 0
/proc/5795/statm: 6830098 41249 3183 1 0 6791447 0
[pid=5795/tid=5796] ppid=5792 vsize=27320392 memory=0 CPUtime=0.67 cores=0-7
/proc/5795/task/5796/stat : 5796 (java) R 5792 5792 5615 0 -1 4202560 16921 0 0 0 61 6 0 0 20 0 20 0 509767036 27976081408 41249 33554432000 4194304 4196468 140723298614992 139804306259472 139803819838979 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10600448 140723298620140 140723298620566 140723298620566 140723298623439 0
[pid=5795/tid=5797] ppid=5792 vsize=27320392 memory=139933524468608 CPUtime=0 cores=0-7
/proc/5795/task/5797/stat : 5797 (java) S 5792 5792 5615 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509767038 27976081408 41249 33554432000 4194304 4196468 140723298614992 139804338666256 139804334434005 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10600448 140723298620140 140723298620566 140723298620566 140723298623439 0
[pid=5795/tid=5798] ppid=5792 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/5795/task/5798/stat : 5798 (java) S 5792 5792 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509767038 27976081408 41249 33554432000 4194304 4196468 140723298614992 139804152822672 139804334434005 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10600448 140723298620140 140723298620566 140723298620566 140723298623439 0
[pid=5795/tid=5799] ppid=5792 vsize=27320392 memory=1052 CPUtime=0 cores=0-7
/proc/5795/task/5799/stat : 5799 (java) S 5792 5792 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509767038 27976081408 41249 33554432000 4194304 4196468 140723298614992 139804151770128 139804334434005 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10600448 140723298620140 140723298620566 140723298620566 140723298623439 0

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

/proc/5815/task/5831/stat : 5831 (java) S 5792 5792 5615 0 -1 1077944384 251 0 0 0 8 0 0 0 20 0 24 0 509767682 8616062976 29470 33554432000 4194304 4196468 140737296952688 140042287626992 140042929085058 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14290944 140737296958456 140737296958614 140737296958614 140737296961487 0
[pid=5815/tid=5832] ppid=5792 vsize=8414124 memory=279867049267876 CPUtime=0.21 cores=0-7
/proc/5815/task/5832/stat : 5832 (java) S 5792 5792 5615 0 -1 1077944384 573 0 0 0 21 0 0 0 20 0 24 0 509767682 8616062976 29470 33554432000 4194304 4196468 140737296952688 140042286574448 140042929085058 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14290944 140737296958456 140737296958614 140737296958614 140737296961487 0
[pid=5815/tid=5833] ppid=5792 vsize=8414124 memory=279867049267940 CPUtime=0 cores=0-7
/proc/5815/task/5833/stat : 5833 (java) S 5792 5792 5615 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 509767683 8616062976 29470 33554432000 4194304 4196468 140737296952688 140040227252448 140042929084117 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14290944 140737296958456 140737296958614 140737296958614 140737296961487 0
[pid=5815/tid=5834] ppid=5792 vsize=8414124 memory=279867049268004 CPUtime=0 cores=0-7
/proc/5815/task/5834/stat : 5834 (java) S 5792 5792 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509767683 8616062976 29470 33554432000 4194304 4196468 140737296952688 140042285521328 140042929085058 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14290944 140737296958456 140737296958614 140737296958614 140737296961487 0
Current children cumulated CPU time: 22.28 s
Current children cumulated vsize: 8527252 KiB
Current children cumulated memory: 119356 KiB

[startup+7.6024 s]
/proc/loadavg: 3.12 0.89 0.34 2/212 5834
/proc/meminfo: memFree=21988772/32770624 swapFree=67002572/67108860
[pid=5792] ppid=5789 vsize=113128 memory=1476 CPUtime=21.1 cores=0-7
/proc/5792/stat : 5792 (scop.sh) S 5789 5792 5615 0 -1 4202496 582 37725 0 0 0 0 2070 40 20 0 1 0 509767035 115843072 369 33554432000 4194304 5098028 140725334479904 140725334476648 140477322543740 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 16007168 140725334483749 140725334484076 140725334484076 140725334486989 0
/proc/5792/statm: 28282 369 311 221 0 87 0
[pid=5815] ppid=5792 vsize=8414124 memory=117880 CPUtime=1.18 cores=0-7
/proc/5815/stat : 5815 (java) S 5792 5792 5615 0 -1 1077944320 19990 0 0 0 110 8 0 0 20 0 24 0 509767676 8616062976 29470 33554432000 4194304 4196468 140737296952688 140737296935232 140042929073911 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14290944 140737296958456 140737296958614 140737296958614 140737296961487 0
/proc/5815/statm: 2103531 29470 3205 1 0 2064875 0
[pid=5815/tid=5816] ppid=5792 vsize=8414124 memory=14012 CPUtime=0.76 cores=0-7
/proc/5815/task/5816/stat : 5816 (java) S 5792 5792 5615 0 -1 1077944384 16891 0 0 0 70 6 0 0 20 0 24 0 509767677 8616062976 29470 33554432000 4194304 4196468 140737296952688 140042900914080 140042929084117 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14290944 140737296958456 140737296958614 140737296958614 140737296961487 0
[pid=5815/tid=5817] ppid=5792 vsize=8414124 memory=32704 CPUtime=0 cores=0-7
/proc/5815/task/5817/stat : 5817 (java) S 5792 5792 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509767678 8616062976 29470 33554432000 4194304 4196468 140737296952688 140042933315856 140042929084117 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14290944 140737296958456 140737296958614 140737296958614 140737296961487 0
[pid=5815/tid=5818] ppid=5792 vsize=8414124 memory=14068 CPUtime=0 cores=0-7
/proc/5815/task/5818/stat : 5818 (java) S 5792 5792 5615 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 509767678 8616062976 29470 33554432000 4194304 4196468 140737296952688 140042733484432 140042929084117 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14290944 140737296958456 140737296958614 140737296958614 140737296961487 0
[pid=5815/tid=5819] ppid=5792 vsize=8414124 memory=63188 CPUtime=0 cores=0-7
/proc/5815/task/5819/stat : 5819 (java) S 5792 5792 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509767678 8616062976 29470 33554432000 4194304 4196468 140737296952688 140042732431888 140042929084117 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14290944 140737296958456 140737296958614 140737296958614 140737296961487 0
[pid=5815/tid=5820] ppid=5792 vsize=8414124 memory=984 CPUtime=0 cores=0-7
/proc/5815/task/5820/stat : 5820 (java) S 5792 5792 5615 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 509767678 8616062976 29470 33554432000 4194304 4196468 140737296952688 140042731379344 140042929084117 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14290944 140737296958456 140737296958614 140737296958614 140737296961487 0
[pid=5815/tid=5821] ppid=5792 vsize=8414124 memory=1940 CPUtime=0 cores=0-7
/proc/5815/task/5821/stat : 5821 (java) S 5792 5792 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509767678 8616062976 29470 33554432000 4194304 4196468 140737296952688 140042730326800 140042929084117 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14290944 140737296958456 140737296958614 140737296958614 140737296961487 0
[pid=5815/tid=5822] ppid=5792 vsize=8414124 memory=1416 CPUtime=0 cores=0-7
/proc/5815/task/5822/stat : 5822 (java) S 5792 5792 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509767678 8616062976 29470 33554432000 4194304 4196468 140737296952688 140042729274256 140042929084117 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14290944 140737296958456 140737296958614 140737296958614 140737296961487 0
[pid=5815/tid=5823] ppid=5792 vsize=8414124 memory=1556 CPUtime=0 cores=0-7
/proc/5815/task/5823/stat : 5823 (java) S 5792 5792 5615 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 509767678 8616062976 29470 33554432000 4194304 4196468 140737296952688 140042728221712 140042929084117 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14290944 140737296958456 140737296958614 140737296958614 140737296961487 0
[pid=5815/tid=5824] ppid=5792 vsize=8414124 memory=740 CPUtime=0 cores=0-7
/proc/5815/task/5824/stat : 5824 (java) S 5792 5792 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509767678 8616062976 29470 33554432000 4194304 4196468 140737296952688 140042727169168 140042929084117 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14290944 140737296958456 140737296958614 140737296958614 140737296961487 0
[pid=5815/tid=5825] ppid=5792 vsize=8414124 memory=1052 CPUtime=0 cores=0-7
/proc/5815/task/5825/stat : 5825 (java) S 5792 5792 5615 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 24 0 509767679 8616062976 29470 33554432000 4194304 4196468 140737296952688 140042290784240 140042929085058 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14290944 140737296958456 140737296958614 140737296958614 140737296961487 0
[pid=5815/tid=5826] ppid=5792 vsize=8414124 memory=4136 CPUtime=0 cores=0-7
/proc/5815/task/5826/stat : 5826 (java) S 5792 5792 5615 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 509767680 8616062976 29470 33554432000 4194304 4196468 140737296952688 140041233884064 140042929084117 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14290944 140737296958456 140737296958614 140737296958614 140737296961487 0
[pid=5815/tid=5827] ppid=5792 vsize=8414124 memory=1412 CPUtime=0 cores=0-7
/proc/5815/task/5827/stat : 5827 (java) S 5792 5792 5615 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 509767680 8616062976 29470 33554432000 4194304 4196468 140737296952688 140041099662320 140042929084117 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14290944 140737296958456 140737296958614 140737296958614 140737296961487 0
[pid=5815/tid=5828] ppid=5792 vsize=8414124 memory=2540 CPUtime=0 cores=0-7
/proc/5815/task/5828/stat : 5828 (java) S 5792 5792 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509767682 8616062976 29470 33554432000 4194304 4196468 140737296952688 140040725158096 140042929092507 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14290944 140737296958456 140737296958614 140737296958614 140737296961487 0
[pid=5815/tid=5829] ppid=5792 vsize=8414124 memory=1392 CPUtime=0.03 cores=0-7
/proc/5815/task/5829/stat : 5829 (java) S 5792 5792 5615 0 -1 1077944384 542 0 0 0 3 0 0 0 20 0 24 0 509767682 8616062976 29470 33554432000 4194304 4196468 140737296952688 140042289732080 140042929085058 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14290944 140737296958456 140737296958614 140737296958614 140737296961487 0
[pid=5815/tid=5830] ppid=5792 vsize=8414124 memory=985188 CPUtime=0.06 cores=0-7
/proc/5815/task/5830/stat : 5830 (java) S 5792 5792 5615 0 -1 1077944384 315 0 0 0 6 0 0 0 20 0 24 0 509767682 8616062976 29470 33554432000 4194304 4196468 140737296952688 140042288679536 140042929085058 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14290944 140737296958456 140737296958614 140737296958614 140737296961487 0
[pid=5815/tid=5831] ppid=5792 vsize=8414124 memory=1736 CPUtime=0.08 cores=0-7
/proc/5815/task/5831/stat : 5831 (java) S 5792 5792 5615 0 -1 1077944384 251 0 0 0 8 0 0 0 20 0 24 0 509767682 8616062976 29470 33554432000 4194304 4196468 140737296952688 140042287626992 140042929085058 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14290944 140737296958456 140737296958614 140737296958614 140737296961487 0
[pid=5815/tid=5832] ppid=5792 vsize=8414124 memory=1398722017469774279 CPUtime=0.21 cores=0-7
/proc/5815/task/5832/stat : 5832 (java) S 5792 5792 5615 0 -1 1077944384 575 0 0 0 21 0 0 0 20 0 24 0 509767682 8616062976 29470 33554432000 4194304 4196468 140737296952688 140042286574448 140042929085058 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14290944 140737296958456 140737296958614 140737296958614 140737296961487 0
[pid=5815/tid=5833] ppid=5792 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/5815/task/5833/stat : 5833 (java) S 5792 5792 5615 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 509767683 8616062976 29470 33554432000 4194304 4196468 140737296952688 140040227252448 140042929084117 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14290944 140737296958456 140737296958614 140737296958614 140737296961487 0
[pid=5815/tid=5834] ppid=5792 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/5815/task/5834/stat : 5834 (java) S 5792 5792 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509767683 8616062976 29470 33554432000 4194304 4196468 140737296952688 140042285521328 140042929085058 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14290944 140737296958456 140737296958614 140737296958614 140737296961487 0
Current children cumulated CPU time: 22.28 s
Current children cumulated vsize: 8527252 KiB
Current children cumulated memory: 119356 KiB

[startup+7.8017 s]
/proc/loadavg: 3.12 0.89 0.34 2/212 5834
/proc/meminfo: memFree=21988772/32770624 swapFree=67002572/67108860
[pid=5792] ppid=5789 vsize=113128 memory=1476 CPUtime=21.1 cores=0-7
/proc/5792/stat : 5792 (scop.sh) S 5789 5792 5615 0 -1 4202496 582 37725 0 0 0 0 2070 40 20 0 1 0 509767035 115843072 369 33554432000 4194304 5098028 140725334479904 140725334476648 140477322543740 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 16007168 140725334483749 140725334484076 140725334484076 140725334486989 0
/proc/5792/statm: 28282 369 311 221 0 87 0
[pid=5815] ppid=5792 vsize=8414124 memory=117880 CPUtime=1.18 cores=0-7
/proc/5815/stat : 5815 (java) S 5792 5792 5615 0 -1 1077944320 19990 0 0 0 110 8 0 0 20 0 24 0 509767676 8616062976 29470 33554432000 4194304 4196468 140737296952688 140737296935232 140042929073911 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14290944 140737296958456 140737296958614 140737296958614 140737296961487 0
/proc/5815/statm: 2103531 29470 3205 1 0 2064875 0
[pid=5815/tid=5816] ppid=5792 vsize=8414124 memory=0 CPUtime=0.76 cores=0-7
/proc/5815/task/5816/stat : 5816 (java) S 5792 5792 5615 0 -1 1077944384 16891 0 0 0 70 6 0 0 20 0 24 0 509767677 8616062976 29470 33554432000 4194304 4196468 140737296952688 140042900914080 140042929084117 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14290944 140737296958456 140737296958614 140737296958614 140737296961487 0
[pid=5815/tid=5817] ppid=5792 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/5815/task/5817/stat : 5817 (java) S 5792 5792 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509767678 8616062976 29470 33554432000 4194304 4196468 140737296952688 140042933315856 140042929084117 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14290944 140737296958456 140737296958614 140737296958614 140737296961487 0
[pid=5815/tid=5818] ppid=5792 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/5815/task/5818/stat : 5818 (java) S 5792 5792 5615 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 509767678 8616062976 29470 33554432000 4194304 4196468 140737296952688 140042733484432 140042929084117 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14290944 140737296958456 140737296958614 140737296958614 140737296961487 0
[pid=5815/tid=5819] ppid=5792 vsize=8414124 memory=139933524694192 CPUtime=0 cores=0-7
/proc/5815/task/5819/stat : 5819 (java) S 5792 5792 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509767678 8616062976 29470 33554432000 4194304 4196468 140737296952688 140042732431888 140042929084117 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14290944 140737296958456 140737296958614 140737296958614 140737296961487 0
[pid=5815/tid=5820] ppid=5792 vsize=8414124 memory=43772361331 CPUtime=0 cores=0-7
/proc/5815/task/5820/stat : 5820 (java) S 5792 5792 5615 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 509767678 8616062976 29470 33554432000 4194304 4196468 140737296952688 140042731379344 140042929084117 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14290944 140737296958456 140737296958614 140737296958614 140737296961487 0
[pid=5815/tid=5821] ppid=5792 vsize=8414124 memory=-7751062316387021378 CPUtime=0 cores=0-7
/proc/5815/task/5821/stat : 5821 (java) S 5792 5792 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509767678 8616062976 29470 33554432000 4194304 4196468 140737296952688 140042730326800 140042929084117 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14290944 140737296958456 140737296958614 140737296958614 140737296961487 0
[pid=5815/tid=5822] ppid=5792 vsize=8414124 memory=6943526294502006880 CPUtime=0 cores=0-7
/proc/5815/task/5822/stat : 5822 (java) S 5792 5792 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509767678 8616062976 29470 33554432000 4194304 4196468 140737296952688 140042729274256 140042929084117 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14290944 140737296958456 140737296958614 140737296958614 140737296961487 0
[pid=5815/tid=5823] ppid=5792 vsize=8414124 memory=6656426216303648864 CPUtime=0 cores=0-7
/proc/5815/task/5823/stat : 5823 (java) S 5792 5792 5615 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 509767678 8616062976 29470 33554432000 4194304 4196468 140737296952688 140042728221712 140042929084117 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14290944 140737296958456 140737296958614 140737296958614 140737296961487 0
[pid=5815/tid=5824] ppid=5792 vsize=8414124 memory=6944656592455097440 CPUtime=0 cores=0-7
/proc/5815/task/5824/stat : 5824 (java) S 5792 5792 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509767678 8616062976 29470 33554432000 4194304 4196468 140737296952688 140042727169168 140042929084117 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14290944 140737296958456 140737296958614 140737296958614 140737296961487 0
[pid=5815/tid=5825] ppid=5792 vsize=8414124 memory=-7812736537705041862 CPUtime=0 cores=0-7
/proc/5815/task/5825/stat : 5825 (java) S 5792 5792 5615 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 24 0 509767679 8616062976 29470 33554432000 4194304 4196468 140737296952688 140042290784240 140042929085058 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14290944 140737296958456 140737296958614 140737296958614 140737296961487 0
[pid=5815/tid=5826] ppid=5792 vsize=8414124 memory=4104 CPUtime=0 cores=0-7
/proc/5815/task/5826/stat : 5826 (java) S 5792 5792 5615 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 509767680 8616062976 29470 33554432000 4194304 4196468 140737296952688 140041233884064 140042929084117 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14290944 140737296958456 140737296958614 140737296958614 140737296961487 0
[pid=5815/tid=5827] ppid=5792 vsize=8414124 memory=1804 CPUtime=0 cores=0-7
/proc/5815/task/5827/stat : 5827 (java) S 5792 5792 5615 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 509767680 8616062976 29470 33554432000 4194304 4196468 140737296952688 140041099662320 140042929084117 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14290944 140737296958456 140737296958614 140737296958614 140737296961487 0
[pid=5815/tid=5828] ppid=5792 vsize=8414124 memory=916 CPUtime=0 cores=0-7
/proc/5815/task/5828/stat : 5828 (java) S 5792 5792 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509767682 8616062976 29470 33554432000 4194304 4196468 140737296952688 140040725158096 140042929092507 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14290944 140737296958456 140737296958614 140737296958614 140737296961487 0
[pid=5815/tid=5829] ppid=5792 vsize=8414124 memory=4136 CPUtime=0.03 cores=0-7
/proc/5815/task/5829/stat : 5829 (java) S 5792 5792 5615 0 -1 1077944384 542 0 0 0 3 0 0 0 20 0 24 0 509767682 8616062976 29470 33554432000 4194304 4196468 140737296952688 140042289732080 140042929085058 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14290944 140737296958456 140737296958614 140737296958614 140737296961487 0
[pid=5815/tid=5830] ppid=5792 vsize=8414124 memory=1412 CPUtime=0.06 cores=0-7
/proc/5815/task/5830/stat : 5830 (java) S 5792 5792 5615 0 -1 1077944384 315 0 0 0 6 0 0 0 20 0 24 0 509767682 8616062976 29470 33554432000 4194304 4196468 140737296952688 140042288679536 140042929085058 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14290944 140737296958456 140737296958614 140737296958614 140737296961487 0
[pid=5815/tid=5831] ppid=5792 vsize=8414124 memory=2628 CPUtime=0.08 cores=0-7
/proc/5815/task/5831/stat : 5831 (java) S 5792 5792 5615 0 -1 1077944384 251 0 0 0 8 0 0 0 20 0 24 0 509767682 8616062976 29470 33554432000 4194304 4196468 140737296952688 140042287626992 140042929085058 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14290944 140737296958456 140737296958614 140737296958614 140737296961487 0
[pid=5815/tid=5832] ppid=5792 vsize=8414124 memory=1476 CPUtime=0.21 cores=0-7
/proc/5815/task/5832/stat : 5832 (java) S 5792 5792 5615 0 -1 1077944384 575 0 0 0 21 0 0 0 20 0 24 0 509767682 8616062976 29470 33554432000 4194304 4196468 140737296952688 140042286574448 140042929085058 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14290944 140737296958456 140737296958614 140737296958614 140737296961487 0
[pid=5815/tid=5833] ppid=5792 vsize=8414124 memory=95304 CPUtime=0 cores=0-7
/proc/5815/task/5833/stat : 5833 (java) S 5792 5792 5615 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 509767683 8616062976 29470 33554432000 4194304 4196468 140737296952688 140040227252448 140042929084117 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14290944 140737296958456 140737296958614 140737296958614 140737296961487 0
[pid=5815/tid=5834] ppid=5792 vsize=8414124 memory=1736 CPUtime=0 cores=0-7
/proc/5815/task/5834/stat : 5834 (java) S 5792 5792 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509767683 8616062976 29470 33554432000 4194304 4196468 140737296952688 140042285521328 140042929085058 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14290944 140737296958456 140737296958614 140737296958614 140737296961487 0
Current children cumulated CPU time: 22.28 s
Current children cumulated vsize: 8527252 KiB
Current children cumulated memory: 119356 KiB

[startup+7.9009 s]
/proc/loadavg: 3.12 0.89 0.34 2/212 5834
/proc/meminfo: memFree=21988772/32770624 swapFree=67002572/67108860
[pid=5792] ppid=5789 vsize=113128 memory=1476 CPUtime=21.1 cores=0-7
/proc/5792/stat : 5792 (scop.sh) S 5789 5792 5615 0 -1 4202496 582 37725 0 0 0 0 2070 40 20 0 1 0 509767035 115843072 369 33554432000 4194304 5098028 140725334479904 140725334476648 140477322543740 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 16007168 140725334483749 140725334484076 140725334484076 140725334486989 0
/proc/5792/statm: 28282 369 311 221 0 87 0
[pid=5815] ppid=5792 vsize=8150944 memory=120416 CPUtime=4.92 cores=0-7
/proc/5815/stat : 5815 (java) S 5792 5792 5615 0 -1 1077944320 20474 19986 0 0 117 9 355 11 20 0 20 0 509767676 8346566656 30104 33554432000 4194304 4196468 140737296952688 140737296935232 140042929073911 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14290944 140737296958456 140737296958614 140737296958614 140737296961487 0
/proc/5815/statm: 2037736 30104 3209 1 0 1999080 0
[pid=5815/tid=5816] ppid=5792 vsize=8150944 memory=7548 CPUtime=4.42 cores=0-7
/proc/5815/task/5816/stat : 5816 (java) S 5792 5792 5615 0 -1 1077944384 16906 19986 0 0 70 6 355 11 20 0 20 0 509767677 8346566656 30104 33554432000 4194304 4196468 140737296952688 140042900917392 140042929084117 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14290944 140737296958456 140737296958614 140737296958614 140737296961487 0
[pid=5815/tid=5817] ppid=5792 vsize=8150944 memory=3620 CPUtime=3.66 cores=0-7
/proc/5815/task/5817/stat : 5817 (java) S 5792 5792 5615 0 -1 1077944384 1 19986 0 0 0 0 355 11 20 0 20 0 509767678 8346566656 30104 33554432000 4194304 4196468 140737296952688 140042933315856 140042929084117 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14290944 140737296958456 140737296958614 140737296958614 140737296961487 0
[pid=5815/tid=5818] ppid=5792 vsize=8150944 memory=2832 CPUtime=3.66 cores=0-7
/proc/5815/task/5818/stat : 5818 (java) S 5792 5792 5615 0 -1 1077944384 3 19986 0 0 0 0 355 11 20 0 20 0 509767678 8346566656 30104 33554432000 4194304 4196468 140737296952688 140042733484432 140042929084117 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14290944 140737296958456 140737296958614 140737296958614 140737296961487 0
[pid=5815/tid=5819] ppid=5792 vsize=8150944 memory=1052 CPUtime=3.66 cores=0-7
/proc/5815/task/5819/stat : 5819 (java) S 5792 5792 5615 0 -1 1077944384 1 19986 0 0 0 0 355 11 20 0 20 0 509767678 8346566656 30104 33554432000 4194304 4196468 140737296952688 140042732431888 140042929084117 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14290944 140737296958456 140737296958614 140737296958614 140737296961487 0
[pid=5815/tid=5820] ppid=5792 vsize=8150944 memory=7548 CPUtime=3.66 cores=0-7
/proc/5815/task/5820/stat : 5820 (java) S 5792 5792 5615 0 -1 1077944384 2 19986 0 0 0 0 355 11 20 0 20 0 509767678 8346566656 30104 33554432000 4194304 4196468 140737296952688 140042731379344 140042929084117 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14290944 140737296958456 140737296958614 140737296958614 140737296961487 0
[pid=5815/tid=5821] ppid=5792 vsize=8150944 memory=3620 CPUtime=3.66 cores=0-7
/proc/5815/task/5821/stat : 5821 (java) S 5792 5792 5615 0 -1 1077944384 1 19986 0 0 0 0 355 11 20 0 20 0 509767678 8346566656 30104 33554432000 4194304 4196468 140737296952688 140042730326800 140042929084117 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14290944 140737296958456 140737296958614 140737296958614 140737296961487 0
[pid=5815/tid=5822] ppid=5792 vsize=8150944 memory=63188 CPUtime=3.66 cores=0-7
/proc/5815/task/5822/stat : 5822 (java) S 5792 5792 5615 0 -1 1077944384 1 19986 0 0 0 0 355 11 20 0 20 0 509767678 8346566656 30104 33554432000 4194304 4196468 140737296952688 140042729274256 140042929084117 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14290944 140737296958456 140737296958614 140737296958614 140737296961487 0
[pid=5815/tid=5823] ppid=5792 vsize=8150944 memory=984 CPUtime=3.66 cores=0-7
/proc/5815/task/5823/stat : 5823 (java) S 5792 5792 5615 0 -1 1077944384 2 19986 0 0 0 0 355 11 20 0 20 0 509767678 8346566656 30104 33554432000 4194304 4196468 140737296952688 140042728221712 140042929084117 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14290944 140737296958456 140737296958614 140737296958614 140737296961487 0
[pid=5815/tid=5824] ppid=5792 vsize=8150944 memory=1940 CPUtime=3.66 cores=0-7
/proc/5815/task/5824/stat : 5824 (java) S 5792 5792 5615 0 -1 1077944384 1 19986 0 0 0 0 355 11 20 0 20 0 509767678 8346566656 30104 33554432000 4194304 4196468 140737296952688 140042727169168 140042929084117 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14290944 140737296958456 140737296958614 140737296958614 140737296961487 0
[pid=5815/tid=5825] ppid=5792 vsize=8150944 memory=4104 CPUtime=3.66 cores=0-7
/proc/5815/task/5825/stat : 5825 (java) S 5792 5792 5615 0 -1 1077944384 6 19986 0 0 0 0 355 11 20 0 20 0 509767679 8346566656 30104 33554432000 4194304 4196468 140737296952688 140042290784448 140042929085058 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14290944 140737296958456 140737296958614 140737296958614 140737296961487 0
[pid=5815/tid=5826] ppid=5792 vsize=8150944 memory=1804 CPUtime=3.66 cores=0-7
/proc/5815/task/5826/stat : 5826 (java) S 5792 5792 5615 0 -1 1077944384 13 19986 0 0 0 0 355 11 20 0 20 0 509767680 8346566656 30104 33554432000 4194304 4196468 140737296952688 140041233884064 140042929084117 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14290944 140737296958456 140737296958614 140737296958614 140737296961487 0
[pid=5815/tid=5827] ppid=5792 vsize=8150944 memory=916 CPUtime=3.66 cores=0-7
/proc/5815/task/5827/stat : 5827 (java) S 5792 5792 5615 0 -1 1077944384 21 19986 0 0 0 0 355 11 20 0 20 0 509767680 8346566656 30104 33554432000 4194304 4196468 140737296952688 140041099662320 140042929084117 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14290944 140737296958456 140737296958614 140737296958614 140737296961487 0
[pid=5815/tid=5829] ppid=5792 vsize=8150944 memory=117880 CPUtime=3.7 cores=0-7
/proc/5815/task/5829/stat : 5829 (java) S 5792 5792 5615 0 -1 1077944384 547 19986 0 0 4 0 355 11 20 0 20 0 509767682 8346566656 30104 33554432000 4194304 4196468 140737296952688 140042289732080 140042929085058 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14290944 140737296958456 140737296958614 140737296958614 140737296961487 0
[pid=5815/tid=5830] ppid=5792 vsize=8150944 memory=2209 CPUtime=3.73 cores=0-7
/proc/5815/task/5830/stat : 5830 (java) S 5792 5792 5615 0 -1 1077944384 318 19986 0 0 7 0 355 11 20 0 20 0 509767682 8346566656 30104 33554432000 4194304 4196468 140737296952688 140042288664048 140042929084117 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14290944 140737296958456 140737296958614 140737296958614 140737296961487 0
[pid=5815/tid=5831] ppid=5792 vsize=8150944 memory=26660 CPUtime=3.74 cores=0-7
/proc/5815/task/5831/stat : 5831 (java) S 5792 5792 5615 0 -1 1077944384 254 19986 0 0 8 0 355 11 20 0 20 0 509767682 8346566656 30104 33554432000 4194304 4196468 140737296952688 140042287626992 140042929085058 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14290944 140737296958456 140737296958614 140737296958614 140737296961487 0
[pid=5815/tid=5832] ppid=5792 vsize=8150944 memory=1476 CPUtime=3.89 cores=0-7
/proc/5815/task/5832/stat : 5832 (java) S 5792 5792 5615 0 -1 1077944384 622 19986 0 0 23 0 355 11 20 0 20 0 509767682 8346566656 30104 33554432000 4194304 4196468 140737296952688 140042286574448 140042929085058 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14290944 140737296958456 140737296958614 140737296958614 140737296961487 0
[pid=5815/tid=5833] ppid=5792 vsize=8150944 memory=139933524431713 CPUtime=3.66 cores=0-7
/proc/5815/task/5833/stat : 5833 (java) S 5792 5792 5615 0 -1 1077944384 3 19986 0 0 0 0 355 11 20 0 20 0 509767683 8346566656 30104 33554432000 4194304 4196468 140737296952688 140040227252448 140042929084117 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14290944 140737296958456 140737296958614 140737296958614 140737296961487 0
Current children cumulated CPU time: 26.02 s
Current children cumulated vsize: 8264072 KiB
Current children cumulated memory: 121892 KiB

Child status: 0
Real time (s): 7.9166
CPU time (s): 26.0592
CPU user time (s): 25.4323
CPU system time (s): 0.626845
CPU usage (%): 329.171
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 1777000

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 25.4323
system time used= 0.626845
maximum resident set size= 1781104
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 78785
page faults= 0
swaps= 0
block input operations= 8
block output operations= 5640
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 22494
involuntary context switches= 62


# summary of solver processes directly reported to runsolver:
#   pid: 5792
#   total CPU time (s): 26.0592
#   total CPU user time (s): 25.4323
#   total CPU system time (s): 0.626845

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.077473 second user time and 0.123473 second system time

The end

Launcher Data 

Begin job on node148 at 2019-09-24 16:40:18
IDJOB=4405194
IDBENCH=126449
IDSOLVER=2867
FILE ID=node148/4405194-1569336055
RUNJOBID= node148-1569335941-5642
PBS_JOBID= 21705049
Free space on /tmp= 22084 MiB

SOLVER NAME= Fun-sCOP order+ManyGlucose (2019-09-22)
BENCH NAME= XCSP17/SocialGolfers/SocialGolfers-cp-s1/SocialGolfers-5-5-9-cp.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-4405194-1569336055/watcher-4405194-1569336055 -o /tmp/evaluation-result-4405194-1569336055/solver-4405194-1569336055 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node148-1569335941-5642 --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-4405194-1569336055.xml

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

MD5SUM BENCH= a6754b0df54e854fabf9aee35b814723
RANDOM SEED=969539028

node148.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.13
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.13
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.13
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.13
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:        22073464 kB
MemAvailable:   31854392 kB
Buffers:           89200 kB
Cached:          9962120 kB
SwapCached:         3340 kB
Active:          5143004 kB
Inactive:        4913048 kB
Active(anon):       4036 kB
Inactive(anon):    56480 kB
Active(file):    5138968 kB
Inactive(file):  4856568 kB
Unevictable:      110656 kB
Mlocked:          110656 kB
SwapTotal:      67108860 kB
SwapFree:       67002572 kB
Dirty:             21192 kB
Writeback:             0 kB
AnonPages:        112636 kB
Mapped:            55868 kB
Shmem:             47080 kB
Slab:             230984 kB
SReclaimable:     202456 kB
SUnreclaim:        28528 kB
KernelStack:        3376 kB
PageTables:         5724 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     513992 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     67584 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      124288 kB
DirectMap2M:    33421312 kB

Free space on /tmp at the end= 22064 MiB
End job on node148 at 2019-09-24 16:40:26