Trace number 4405211

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Fun-sCOP order+ManyGlucose (2019-09-22)SAT 36.7243 11.9668

General information on the benchmark

NameSocialGolfers/SocialGolfers-cp-s1/
SocialGolfers-9-7-4-cp.xml
MD5SUM6c7c8fee2fac051830782d16440ff60b
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark16.8668
Satisfiable
(Un)Satisfiability was proved
Number of variables252
Number of constraints11724
Number of domains1
Minimum domain size9
Maximum domain size9
Distribution of domain sizes[{"size":9,"count":252}]
Minimum variable degree188
Maximum variable degree189
Distribution of variable degrees[{"degree":188,"count":189},{"degree":189,"count":63}]
Minimum constraint arity4
Maximum constraint arity252
Distribution of constraint arities[{"arity":4,"count":11718},{"arity":63,"count":5},{"arity":252,"count":1}]
Number of extensional constraints0
Number of intensional constraints11718
Distribution of constraint types[{"type":"intension","count":11718},{"type":"lex","count":1},{"type":"cardinality","count":4},{"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-16317-serial-file.bin HOME/instance-4405211-1569336065.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:25 CEST 2019
0.65/0.56	c PID: 16320
0.65/0.56	c IP: 172.20.3.150
0.65/0.56	c HOST: node150.alineos.net
0.65/0.57	c (0,0) Parsing Begin
7.20/2.34	c (1,1) Parsing End
7.20/2.35	c (1,1) CSP: 238 int (0 aux), 14 bool (0 aux), 11724 ctr, max domain size 9
7.20/2.35	c (1,1) Heap : 901 MiB used (max 21589 MiB), NonHeap : 24 MiB used (max 0 MiB)
7.20/2.35	c (1,1) Constraint Name Generate Begin
7.62/2.42	c (1,1) Ctr:HOME/instance-4405211-1569336065.xml,Cardinality:Instantiation:LexMatrix:Ne:Num:Or:Var
7.62/2.42	c (1,1) Constraint Name Generate End
7.62/2.42	c (1,1) Heap : 901 MiB used (max 21589 MiB), NonHeap : 24 MiB used (max 0 MiB)
7.62/2.42	c (1,1) CSP to CSPinCNF Begin
8.24/2.70	c (2,2) translated 1173 (10%) constraints
8.52/2.78	c (2,2) translated 2345 (20%) constraints
8.85/2.84	c (2,2) translated 3518 (30%) constraints
9.24/2.90	c (2,2) translated 4690 (40%) constraints
9.24/2.95	c (2,2) translated 5862 (50%) constraints
9.24/2.99	c (2,2) translated 7035 (60%) constraints
9.59/3.04	c (2,2) translated 8207 (70%) constraints
9.59/3.07	c (2,2) translated 9380 (80%) constraints
9.59/3.10	c (2,2) translated 10552 (90%) constraints
11.92/3.74	c (3,3) translated 11724 (100%) constraints
13.51/4.63	c (4,4) ===========================================
13.51/4.63	c (4,4) Order
13.51/4.63	c (4,4) ===========================================
13.93/4.77	c (4,4) translated 1710 (10%) constraints
14.25/4.88	c (4,4) translated 3420 (20%) constraints
14.41/4.99	c (4,4) translated 5130 (30%) constraints
14.58/5.09	c (4,4) translated 6839 (40%) constraints
14.80/5.18	c (4,4) translated 8549 (50%) constraints
14.89/5.28	c (4,4) translated 10259 (60%) constraints
15.20/5.45	c (4,4) translated 11968 (70%) constraints
15.91/5.61	c (5,5) translated 13678 (80%) constraints
16.31/5.78	c (5,5) translated 15388 (90%) constraints
16.61/5.87	c (5,5) translated 17097 (100%) constraints
16.61/5.87	c (5,5) CSP to CSPinCNF End
16.61/5.88	c (5,5) CSP: 886 int (648 aux), 4857 bool (4843 aux), 23028 ctr, max domain size 9
16.61/5.88	c (5,5) Heap : 2252 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
16.61/5.88	c (5,5) CSPinCNF Propagation Begin
17.73/6.19	c (5,5) 2160 values, 9372 unsatisfiable literals, and 8537 valid clauses are removed
17.73/6.19	c (5,5) CSPinCNF Propagation End
17.73/6.19	c (5,5) CSP: 783 int (545 aux), 4960 bool (4946 aux), 14491 ctr, max domain size 9
17.73/6.19	c (5,5) Heap : 2365 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB)
17.73/6.19	c (5,5) Simplify CSPinCNF Begin
18.76/6.53	c (5,5) Simplify CSPinCNF End
18.76/6.53	c (5,5) CSP: 783 int (545 aux), 17090 bool (17076 aux), 26621 ctr, max domain size 9
18.76/6.53	c (5,5) Heap : 2478 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB)
18.76/6.53	c (5,5) Calculate Precise Domain Begin
19.00/6.60	c (6,6) 0 values are removed by re-calculation
19.00/6.60	c (6,6) Calculate Precise Domain End
19.00/6.60	c (6,6) CSP: 783 int (545 aux), 17090 bool (17076 aux), 26621 ctr, max domain size 9
19.00/6.60	c (6,6) Heap : 2478 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
19.00/6.60	c (6,6) CSPinCNF to SatSolver Begin
20.62/7.03	c (6,6) 2663 (10 %) CSP clauses are encoded (0 SAT variables, 21519 SAT clauses)
21.03/7.19	c (6,6) 5325 (20 %) CSP clauses are encoded (0 SAT variables, 41061 SAT clauses)
21.51/7.32	c (6,6) 7987 (30 %) CSP clauses are encoded (0 SAT variables, 60491 SAT clauses)
21.64/7.44	c (6,6) 10649 (40 %) CSP clauses are encoded (0 SAT variables, 79657 SAT clauses)
21.75/7.55	c (7,6) 13311 (50 %) CSP clauses are encoded (0 SAT variables, 96143 SAT clauses)
21.85/7.65	c (7,7) 15973 (60 %) CSP clauses are encoded (0 SAT variables, 112525 SAT clauses)
22.37/7.84	c (7,7) 18635 (70 %) CSP clauses are encoded (0 SAT variables, 174145 SAT clauses)
22.77/8.00	c (7,7) 21297 (80 %) CSP clauses are encoded (0 SAT variables, 234821 SAT clauses)
23.26/8.15	c (7,7) 23959 (90 %) CSP clauses are encoded (0 SAT variables, 295497 SAT clauses)
23.35/8.20	c (7,7) 26621 (100 %) CSP clauses are encoded (0 SAT variables, 302320 SAT clauses)
23.35/8.20	c (7,7) CSPinCNF to SatSolver End
23.35/8.20	c (7,7) Heap : 3379 MiB used (max 21589 MiB), NonHeap : 32 MiB used (max 0 MiB)
23.35/8.20	c (7,7) 20213 bool, 302328 clause
23.35/8.20	c (7,7) Export Begin
23.35/8.30	c (7,7) Export to HOME/scop-16317-serial-file.bin
23.35/8.30	c (7,7) Export End
23.53/8.30	c (7,7) Export File Size: 0.04 MB
23.53/8.30	c (7,7) 1,1,5,5,5,6,7,STOP-AFTER(DIMACS)
23.53/8.30	c END-Prog: Tue Sep 24 16:40:32 CEST 2019
23.53/8.33	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-16317-serial-file.bin
23.56/8.79	c (0,0) Read Serial File Begin
23.56/8.79	c (0,0) HOME/scop-16317-serial-file.bin
24.48/9.01	c (0,0) Read Serial File End
24.48/9.02	
24.48/9.02	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
24.48/9.02	(Solving Process)
24.48/9.02	
24.48/9.04	c BEGIN-Prog: Tue Sep 24 16:40:33 CEST 2019
24.48/9.04	c PID: 16340
24.48/9.04	c IP: 172.20.3.150
24.48/9.04	c HOST: node150.alineos.net
24.48/9.05	c (0,0) SatSolver.solve Begin
24.48/9.05	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4405211-1569336065.xml-scop-16320.cnf
24.48/9.07	c (0,0) c
24.48/9.07	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)
24.48/9.07	c (0,0) c
24.48/9.07	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
24.48/9.07	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
24.48/9.07	c (0,0) c ========================================[ Problem Statistics ]===========================================
24.48/9.07	c (0,0) c |                                                                                                       |
24.72/9.19	c (0,0) c |  Number of variables:         20213                                                                   |
24.72/9.19	c (0,0) c |  Number of clauses:          302328                                                                   |
24.72/9.19	c (0,0) c |  Parse time:                   0.10 s                                                                 |
24.72/9.19	c (0,0) c |                                                                                                       |
25.86/10.28	c (1,0) c |  Simplification time:          1.09 s                                                                 |
25.86/10.28	c (1,0) c |                                                                                                       |
25.86/10.28	c (1,0) c |  Generating clones                                                                                    |
25.95/10.36	c (1,0) c |  all clones generated. Memory =   197.93Mb.                                                           |
25.95/10.36	c (1,0) c ========================================================================================================|
25.95/10.36	c (1,0) c
25.95/10.36	c (1,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
25.95/10.36	c (1,0) c
25.95/10.36	c (1,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
25.95/10.36	c (1,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
25.95/10.36	c (1,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
25.95/10.36	c (1,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
25.95/10.36	c (1,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
25.95/10.36	c (1,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
25.95/10.36	c (1,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
25.95/10.36	c (1,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
25.95/10.36	c (1,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
25.95/10.36	c (1,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
25.95/10.36	c (1,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
25.95/10.36	c (1,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
25.95/10.36	c (1,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
25.95/10.36	c (1,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
25.95/10.36	c (1,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
25.95/10.36	c (1,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
25.95/10.36	c (1,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
25.95/10.36	c (1,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
25.95/10.36	c (1,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
36.09/11.74	c (3,0) c
36.09/11.74	c (3,0) c real time : 2.66612 s
36.09/11.74	c (3,0) c cpu time  : 11.1294 s
36.09/11.74	c (3,0) c
36.09/11.74	c (3,0) c
36.09/11.74	c (3,0) c
36.09/11.74	c (3,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
36.09/11.74	c (3,0) c
36.09/11.74	c (3,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
36.09/11.74	c (3,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
36.09/11.74	c (3,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
36.09/11.74	c (3,0) c | Conflicts     |           33335 |       3715 |       5805 |       4290 |       4629 |       3909 |       3907 |       3534 |       3546 |
36.09/11.74	c (3,0) c | Decisions     |          612957 |      84204 |      64260 |      79052 |      74455 |      83411 |      66247 |      78627 |      82701 |
36.09/11.74	c (3,0) c | Propagations  |        22891181 |    2737153 |    3164833 |    3030007 |    2919915 |    2874419 |    2685334 |    2740662 |    2738858 |
36.09/11.74	c (3,0) c | ReduceDBs     |               8 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |
36.09/11.74	c (3,0) c | SimpDBs       |              24 |          3 |          3 |          3 |          3 |          3 |          3 |          3 |          3 |
36.09/11.74	c (3,0) c | Restarts      |             366 |         44 |         34 |         55 |         51 |         47 |         45 |         47 |         43 |
36.09/11.74	c (3,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
36.09/11.74	c (3,0) c | PropBinClauses|        28009181 |    3308383 |    3876326 |    3699997 |    3662748 |    3510918 |    3297750 |    3324869 |    3328190 |
36.09/11.74	c (3,0) c | PropPreBlocker|       240062616 |   28315176 |   33978112 |   31309055 |   31227205 |   30395854 |   28219176 |   28365936 |   28252102 |
36.09/11.74	c (3,0) c | PropNotBlocker|        61226356 |    7224671 |    8252542 |    8067653 |    7954905 |    7873315 |    7249991 |    7252080 |    7351199 |
36.09/11.74	c (3,0) c | LitFullScans  |       407979741 |   48022599 |   58533546 |   53012659 |   52830556 |   51534046 |   48003022 |   48014590 |   48028723 |
36.09/11.74	c (3,0) c | LitScanFracts |           54622 |      22199 |       2229 |       1345 |       1387 |       1214 |        567 |        829 |      24852 |
36.09/11.74	c (3,0) c | DecisionLevel0|            1271 |        147 |        141 |        154 |        184 |        148 |        182 |        163 |        152 |
36.09/11.74	c (3,0) c | Periods       |              65 |          8 |          9 |          8 |          8 |          8 |          8 |          8 |          8 |
36.09/11.74	c (3,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
36.09/11.74	c (3,0) c | Avg_Trail     |                 |       9367 |       8615 |       9103 |       9886 |       9576 |       9108 |       9106 |       8934 |
36.09/11.74	c (3,0) c | Avg_DL        |                 |        297 |        360 |        333 |        354 |        311 |        291 |        317 |        299 |
36.09/11.74	c (3,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
36.09/11.74	c (3,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
36.09/11.74	c (3,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
36.09/11.74	c (3,0) c | Exported      |            1801 |        199 |        423 |        211 |        200 |        181 |        190 |        207 |        190 |
36.09/11.74	c (3,0) c | Imported      |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
36.09/11.74	c (3,0) c | Good          |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
36.09/11.74	c (3,0) c | Purge         |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
36.09/11.74	c (3,0) c | Promoted      |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
36.09/11.74	c (3,0) c | Remove_Imp    |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
36.09/11.74	c (3,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
36.09/11.74	c (3,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
36.09/11.74	c (3,0) c | Unaries       |                 |        103 |        107 |         99 |        133 |        101 |        137 |        116 |        109 |
36.09/11.74	c (3,0) c | Binaries      |                 |        117 |        105 |        103 |         87 |        100 |         92 |         89 |        105 |
36.09/11.74	c (3,0) c | Glues         |                 |        199 |        218 |        211 |        200 |        181 |        190 |        207 |        190 |
36.09/11.74	c (3,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
36.09/11.74	c (3,0) c | Orig_Seen     |            15 % |      32232 |      35700 |      34912 |      34672 |      34445 |      32722 |      31170 |      32234 |
36.09/11.74	c (3,0) c | Diff Orig seen|                 | -     2213 |       1255 |        467 |        227 |      X     | -     1723 | -     3275 | -     2211 |
36.09/11.74	c (3,0) c | Hamming       |            22 % |       4381 |       4536 |       4308 |       4331 |      X     |       4640 |       4615 |       4346 |
36.09/11.74	c (3,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
36.09/11.74	c (3,0) c | RunningTime   |                 |    1.4 100%|    1.2 100%|    1.2 100%|    1.2 100%|    1.2 100%|    1.3 100%|    1.3 100%|    1.4 100%|
36.09/11.74	c (3,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%|
36.09/11.74	c (3,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%|
36.09/11.74	c (3,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%|
36.09/11.74	c (3,0) c | SolvingTime   |                 |    1.4     |    1.2     |    1.2     |    1.2     |    1.2     |    1.3     |    1.3     |    1.4     |
36.09/11.74	c (3,0) c | PropagationTim|                 |    1.2  85%|    1.0  83%|    1.0  84%|    1.0  84%|    1.0  84%|    1.1  84%|    1.1  84%|    1.2  85%|
36.09/11.74	c (3,0) c | AnalysisTime  |                 |    0.1   5%|    0.1   7%|    0.1   5%|    0.1   5%|    0.1   5%|    0.1   5%|    0.1   4%|    0.1   4%|
36.09/11.74	c (3,0) c | ReductionTime |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
36.09/11.74	c (3,0) c | SimplifyTime  |                 |    0.0   4%|    0.0   4%|    0.0   4%|    0.0   4%|    0.0   3%|    0.1   4%|    0.1   4%|    0.1   4%|
36.09/11.74	c (3,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%|
36.09/11.74	c (3,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%|
36.09/11.74	c (3,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
36.09/11.74	c (3,0) c
36.09/11.74	c (3,0) c
36.09/11.74	c (3,0) c Threads : 8
36.09/11.74	c (3,0) c Winner : 4
36.09/11.74	c (3,0) c Conflicts_0 : 3715
36.09/11.74	c (3,0) c Conflicts_1 : 5805
36.09/11.74	c (3,0) c Conflicts_2 : 4290
36.09/11.74	c (3,0) c Conflicts_3 : 4629
36.09/11.74	c (3,0) c Conflicts_4 : 3909
36.09/11.74	c (3,0) c Conflicts_5 : 3907
36.09/11.74	c (3,0) c Conflicts_6 : 3534
36.09/11.74	c (3,0) c Conflicts_7 : 3546
36.09/11.74	c (3,0) c Conflicts_total : 33335
36.09/11.74	c (3,0) c Conflicts_winner : 3909
36.09/11.74	c (3,0) c Decisions_0 : 84204
36.09/11.74	c (3,0) c Decisions_1 : 64260
36.09/11.74	c (3,0) c Decisions_2 : 79052
36.09/11.74	c (3,0) c Decisions_3 : 74455
36.09/11.74	c (3,0) c Decisions_4 : 83411
36.09/11.74	c (3,0) c Decisions_5 : 66247
36.09/11.74	c (3,0) c Decisions_6 : 78627
36.09/11.74	c (3,0) c Decisions_7 : 82701
36.09/11.74	c (3,0) c Decisions_total : 612957
36.09/11.74	c (3,0) c Decisions_winner : 83411
36.09/11.74	c (3,0) c Propagations_0 : 2737153
36.09/11.74	c (3,0) c Propagations_1 : 3164833
36.09/11.74	c (3,0) c Propagations_2 : 3030007
36.09/11.74	c (3,0) c Propagations_3 : 2919915
36.09/11.74	c (3,0) c Propagations_4 : 2874419
36.09/11.74	c (3,0) c Propagations_5 : 2685334
36.09/11.74	c (3,0) c Propagations_6 : 2740662
36.09/11.74	c (3,0) c Propagations_7 : 2738858
36.09/11.74	c (3,0) c Propagations_total : 22891181
36.09/11.74	c (3,0) c Propagations_winner : 2874419
36.09/11.74	c (3,0) c ReduceDBs_0 : 1
36.09/11.74	c (3,0) c ReduceDBs_1 : 1
36.09/11.74	c (3,0) c ReduceDBs_2 : 1
36.09/11.74	c (3,0) c ReduceDBs_3 : 1
36.09/11.74	c (3,0) c ReduceDBs_4 : 1
36.09/11.74	c (3,0) c ReduceDBs_5 : 1
36.09/11.74	c (3,0) c ReduceDBs_6 : 1
36.09/11.74	c (3,0) c ReduceDBs_7 : 1
36.09/11.74	c (3,0) c ReduceDBs_total : 8
36.09/11.74	c (3,0) c ReduceDBs_winner : 1
36.09/11.74	c (3,0) c SimpDBs_0 : 3
36.09/11.74	c (3,0) c SimpDBs_1 : 3
36.09/11.74	c (3,0) c SimpDBs_2 : 3
36.09/11.74	c (3,0) c SimpDBs_3 : 3
36.09/11.74	c (3,0) c SimpDBs_4 : 3
36.09/11.74	c (3,0) c SimpDBs_5 : 3
36.09/11.74	c (3,0) c SimpDBs_6 : 3
36.09/11.74	c (3,0) c SimpDBs_7 : 3
36.09/11.74	c (3,0) c SimpDBs_total : 24
36.09/11.74	c (3,0) c SimpDBs_winner : 3
36.09/11.74	c (3,0) c Restarts_0 : 44
36.09/11.74	c (3,0) c Restarts_1 : 34
36.09/11.74	c (3,0) c Restarts_2 : 55
36.09/11.74	c (3,0) c Restarts_3 : 51
36.09/11.74	c (3,0) c Restarts_4 : 47
36.09/11.74	c (3,0) c Restarts_5 : 45
36.09/11.74	c (3,0) c Restarts_6 : 47
36.09/11.74	c (3,0) c Restarts_7 : 43
36.09/11.74	c (3,0) c Restarts_total : 366
36.09/11.74	c (3,0) c Restarts_winner : 47
36.09/11.74	c (3,0) c ForcedImports_0 : 0
36.09/11.74	c (3,0) c ForcedImports_1 : 0
36.09/11.74	c (3,0) c ForcedImports_2 : 0
36.09/11.74	c (3,0) c ForcedImports_3 : 0
36.09/11.74	c (3,0) c ForcedImports_4 : 0
36.09/11.74	c (3,0) c ForcedImports_5 : 0
36.09/11.74	c (3,0) c ForcedImports_6 : 0
36.09/11.74	c (3,0) c ForcedImports_7 : 0
36.09/11.74	c (3,0) c ForcedImports_total : 0
36.09/11.74	c (3,0) c ForcedImports_winner : 0
36.09/11.74	c (3,0) c PropsBinClauses_0 : 3308383
36.09/11.74	c (3,0) c PropsBinClauses_1 : 3876326
36.09/11.74	c (3,0) c PropsBinClauses_2 : 3699997
36.09/11.74	c (3,0) c PropsBinClauses_3 : 3662748
36.09/11.74	c (3,0) c PropsBinClauses_4 : 3510918
36.09/11.74	c (3,0) c PropsBinClauses_5 : 3297750
36.09/11.74	c (3,0) c PropsBinClauses_6 : 3324869
36.09/11.74	c (3,0) c PropsBinClauses_7 : 3328190
36.09/11.74	c (3,0) c PropsBinClauses_total : 28009181
36.09/11.74	c (3,0) c PropsBinClauses_winner : 3510918
36.09/11.74	c (3,0) c PropsPreBlocker_0 : 28315176
36.09/11.74	c (3,0) c PropsPreBlocker_1 : 33978112
36.09/11.74	c (3,0) c PropsPreBlocker_2 : 31309055
36.09/11.74	c (3,0) c PropsPreBlocker_3 : 31227205
36.09/11.74	c (3,0) c PropsPreBlocker_4 : 30395854
36.09/11.74	c (3,0) c PropsPreBlocker_5 : 28219176
36.09/11.74	c (3,0) c PropsPreBlocker_6 : 28365936
36.09/11.74	c (3,0) c PropsPreBlocker_7 : 28252102
36.09/11.74	c (3,0) c PropsPreBlocker_total : 240062616
36.09/11.74	c (3,0) c PropsPreBlocker_winner : 30395854
36.09/11.74	c (3,0) c PropsNotBlocker_0 : 7224671
36.09/11.74	c (3,0) c PropsNotBlocker_1 : 8252542
36.09/11.74	c (3,0) c PropsNotBlocker_2 : 8067653
36.09/11.74	c (3,0) c PropsNotBlocker_3 : 7954905
36.09/11.74	c (3,0) c PropsNotBlocker_4 : 7873315
36.09/11.74	c (3,0) c PropsNotBlocker_5 : 7249991
36.09/11.74	c (3,0) c PropsNotBlocker_6 : 7252080
36.09/11.74	c (3,0) c PropsNotBlocker_7 : 7351199
36.09/11.74	c (3,0) c PropsNotBlocker_total : 61226356
36.09/11.74	c (3,0) c PropsNotBlocker_winner : 7873315
36.09/11.74	c (3,0) c PropsLitFullScans_0 : 48022599
36.09/11.74	c (3,0) c PropsLitFullScans_1 : 58533546
36.09/11.74	c (3,0) c PropsLitFullScans_2 : 53012659
36.09/11.74	c (3,0) c PropsLitFullScans_3 : 52830556
36.09/11.74	c (3,0) c PropsLitFullScans_4 : 51534046
36.09/11.74	c (3,0) c PropsLitFullScans_5 : 48003022
36.09/11.74	c (3,0) c PropsLitFullScans_6 : 48014590
36.09/11.74	c (3,0) c PropsLitFullScans_7 : 48028723
36.09/11.74	c (3,0) c PropsLitFullScans_total : 407979741
36.09/11.74	c (3,0) c PropsLitFullScans_winner : 51534046
36.09/11.74	c (3,0) c LitScanFractions_0 : 22199
36.09/11.74	c (3,0) c LitScanFractions_1 : 2229
36.09/11.74	c (3,0) c LitScanFractions_2 : 1345
36.09/11.74	c (3,0) c LitScanFractions_3 : 1387
36.09/11.74	c (3,0) c LitScanFractions_4 : 1214
36.09/11.74	c (3,0) c LitScanFractions_5 : 567
36.09/11.74	c (3,0) c LitScanFractions_6 : 829
36.09/11.74	c (3,0) c LitScanFractions_7 : 24852
36.09/11.74	c (3,0) c LitScanFractions_total : 54622
36.09/11.74	c (3,0) c LitScanFractions_winner : 1214
36.09/11.74	c (3,0) c DecisionLevel0_0 : 147
36.09/11.74	c (3,0) c DecisionLevel0_1 : 141
36.09/11.74	c (3,0) c DecisionLevel0_2 : 154
36.09/11.74	c (3,0) c DecisionLevel0_3 : 184
36.09/11.74	c (3,0) c DecisionLevel0_4 : 148
36.09/11.74	c (3,0) c DecisionLevel0_5 : 182
36.09/11.74	c (3,0) c DecisionLevel0_6 : 163
36.09/11.74	c (3,0) c DecisionLevel0_7 : 152
36.09/11.74	c (3,0) c DecisionLevel0_total : 1271
36.09/11.74	c (3,0) c DecisionLevel0_winner : 148
36.09/11.74	c (3,0) c Periods_0 : 8
36.09/11.74	c (3,0) c Periods_1 : 9
36.09/11.74	c (3,0) c Periods_2 : 8
36.09/11.74	c (3,0) c Periods_3 : 8
36.09/11.74	c (3,0) c Periods_4 : 8
36.09/11.74	c (3,0) c Periods_5 : 8
36.09/11.74	c (3,0) c Periods_6 : 8
36.09/11.74	c (3,0) c Periods_7 : 8
36.09/11.74	c (3,0) c Periods_total : 65
36.09/11.74	c (3,0) c Periods_winner : 8
36.09/11.74	c (3,0) c Margin_0 : 20
36.09/11.74	c (3,0) c Margin_1 : 20
36.09/11.74	c (3,0) c Margin_2 : 20
36.09/11.75	c (3,0) c Margin_3 : 20
36.09/11.75	c (3,0) c Margin_4 : 20
36.09/11.75	c (3,0) c Margin_5 : 20
36.09/11.75	c (3,0) c Margin_6 : 20
36.09/11.75	c (3,0) c Margin_7 : 20
36.09/11.75	c (3,0) c Margin_total : 160
36.09/11.75	c (3,0) c Margin_winner : 20
36.09/11.75	c (3,0) c Exported_0 : 199
36.09/11.75	c (3,0) c Exported_1 : 423
36.09/11.75	c (3,0) c Exported_2 : 211
36.09/11.75	c (3,0) c Exported_3 : 200
36.09/11.75	c (3,0) c Exported_4 : 181
36.09/11.75	c (3,0) c Exported_5 : 190
36.09/11.75	c (3,0) c Exported_6 : 207
36.09/11.75	c (3,0) c Exported_7 : 190
36.09/11.75	c (3,0) c Exported_total : 1801
36.09/11.75	c (3,0) c Exported_winner : 181
36.09/11.75	c (3,0) c Imported_0 : 0
36.09/11.75	c (3,0) c Imported_1 : 0
36.09/11.75	c (3,0) c Imported_2 : 0
36.09/11.75	c (3,0) c Imported_3 : 0
36.09/11.75	c (3,0) c Imported_4 : 0
36.09/11.75	c (3,0) c Imported_5 : 0
36.09/11.75	c (3,0) c Imported_6 : 0
36.09/11.75	c (3,0) c Imported_7 : 0
36.09/11.75	c (3,0) c Imported_total : 0
36.09/11.75	c (3,0) c Imported_winner : 0
36.09/11.75	c (3,0) c Good_0 : 0
36.09/11.75	c (3,0) c Good_1 : 0
36.09/11.75	c (3,0) c Good_2 : 0
36.09/11.75	c (3,0) c Good_3 : 0
36.09/11.75	c (3,0) c Good_4 : 0
36.09/11.75	c (3,0) c Good_5 : 0
36.09/11.75	c (3,0) c Good_6 : 0
36.09/11.75	c (3,0) c Good_7 : 0
36.09/11.75	c (3,0) c Good_total : 0
36.09/11.75	c (3,0) c Good_winner : 0
36.09/11.75	c (3,0) c Purge_0 : 0
36.09/11.75	c (3,0) c Purge_1 : 0
36.09/11.75	c (3,0) c Purge_2 : 0
36.09/11.75	c (3,0) c Purge_3 : 0
36.09/11.75	c (3,0) c Purge_4 : 0
36.09/11.75	c (3,0) c Purge_5 : 0
36.09/11.75	c (3,0) c Purge_6 : 0
36.09/11.75	c (3,0) c Purge_7 : 0
36.09/11.75	c (3,0) c Purge_total : 0
36.09/11.75	c (3,0) c Purge_winner : 0
36.09/11.75	c (3,0) c Promoted_0 : 0
36.09/11.75	c (3,0) c Promoted_1 : 0
36.09/11.75	c (3,0) c Promoted_2 : 0
36.09/11.75	c (3,0) c Promoted_3 : 0
36.09/11.75	c (3,0) c Promoted_4 : 0
36.09/11.75	c (3,0) c Promoted_5 : 0
36.09/11.75	c (3,0) c Promoted_6 : 0
36.09/11.75	c (3,0) c Promoted_7 : 0
36.09/11.75	c (3,0) c Promoted_total : 0
36.09/11.75	c (3,0) c Promoted_winner : 0
36.09/11.75	c (3,0) c Remove_Imp_0 : 0
36.09/11.75	c (3,0) c Remove_Imp_1 : 0
36.09/11.75	c (3,0) c Remove_Imp_2 : 0
36.09/11.75	c (3,0) c Remove_Imp_3 : 0
36.09/11.75	c (3,0) c Remove_Imp_4 : 0
36.09/11.75	c (3,0) c Remove_Imp_5 : 0
36.09/11.75	c (3,0) c Remove_Imp_6 : 0
36.09/11.75	c (3,0) c Remove_Imp_7 : 0
36.09/11.75	c (3,0) c Remove_Imp_total : 0
36.09/11.75	c (3,0) c Remove_Imp_winner : 0
36.09/11.75	c (3,0) c Blocked_Reuse_0 : 0
36.09/11.75	c (3,0) c Blocked_Reuse_1 : 0
36.09/11.75	c (3,0) c Blocked_Reuse_2 : 0
36.09/11.75	c (3,0) c Blocked_Reuse_3 : 0
36.09/11.75	c (3,0) c Blocked_Reuse_4 : 0
36.09/11.75	c (3,0) c Blocked_Reuse_5 : 0
36.09/11.75	c (3,0) c Blocked_Reuse_6 : 0
36.09/11.75	c (3,0) c Blocked_Reuse_7 : 0
36.09/11.75	c (3,0) c Blocked_Reuse_total : 0
36.09/11.75	c (3,0) c Blocked_Reuse_winner : 0
36.09/11.75	c (3,0) c Unaries_0 : 103
36.09/11.75	c (3,0) c Unaries_1 : 107
36.09/11.75	c (3,0) c Unaries_2 : 99
36.09/11.75	c (3,0) c Unaries_3 : 133
36.09/11.75	c (3,0) c Unaries_4 : 101
36.09/11.75	c (3,0) c Unaries_5 : 137
36.09/11.75	c (3,0) c Unaries_6 : 116
36.09/11.75	c (3,0) c Unaries_7 : 109
36.09/11.75	c (3,0) c Unaries_total : 905
36.09/11.75	c (3,0) c Unaries_winner : 101
36.09/11.75	c (3,0) c Binaries_0 : 117
36.09/11.75	c (3,0) c Binaries_1 : 105
36.09/11.75	c (3,0) c Binaries_2 : 103
36.09/11.75	c (3,0) c Binaries_3 : 87
36.09/11.75	c (3,0) c Binaries_4 : 100
36.09/11.75	c (3,0) c Binaries_5 : 92
36.09/11.75	c (3,0) c Binaries_6 : 89
36.09/11.75	c (3,0) c Binaries_7 : 105
36.09/11.75	c (3,0) c Binaries_total : 798
36.09/11.75	c (3,0) c Binaries_winner : 100
36.09/11.75	c (3,0) c Glues_0 : 199
36.09/11.75	c (3,0) c Glues_1 : 218
36.09/11.75	c (3,0) c Glues_2 : 211
36.09/11.75	c (3,0) c Glues_3 : 200
36.09/11.75	c (3,0) c Glues_4 : 181
36.09/11.75	c (3,0) c Glues_5 : 190
36.09/11.75	c (3,0) c Glues_6 : 207
36.09/11.75	c (3,0) c Glues_7 : 190
36.09/11.75	c (3,0) c Glues_total : 1596
36.09/11.75	c (3,0) c Glues_winner : 181
36.09/11.75	c (3,0) c RunningTime_0 : 1.370540
36.09/11.75	c (3,0) c RunningTime_1 : 1.246011
36.09/11.75	c (3,0) c RunningTime_2 : 1.237507
36.09/11.75	c (3,0) c RunningTime_3 : 1.240795
36.09/11.75	c (3,0) c RunningTime_4 : 1.230643
36.09/11.75	c (3,0) c RunningTime_5 : 1.309045
36.09/11.75	c (3,0) c RunningTime_6 : 1.335329
36.09/11.75	c (3,0) c RunningTime_7 : 1.359357
36.09/11.75	c (3,0) c RunningTime_total : 10.329227
36.09/11.75	c (3,0) c RunningTime_winner : 1.230643
36.09/11.75	c (3,0) c WaitingTime_0 : 0.000000
36.09/11.75	c (3,0) c WaitingTime_1 : 0.000000
36.09/11.75	c (3,0) c WaitingTime_2 : 0.000000
36.09/11.75	c (3,0) c WaitingTime_3 : 0.000000
36.09/11.75	c (3,0) c WaitingTime_4 : 0.000000
36.09/11.75	c (3,0) c WaitingTime_5 : 0.000000
36.09/11.75	c (3,0) c WaitingTime_6 : 0.000000
36.09/11.75	c (3,0) c WaitingTime_7 : 0.000000
36.09/11.75	c (3,0) c WaitingTime_total : 0.000000
36.09/11.75	c (3,0) c WaitingTime_winner : 0.000000
36.09/11.75	c (3,0) c ExchangingTime_0 : 0.000490
36.09/11.75	c (3,0) c ExchangingTime_1 : 0.000534
36.09/11.75	c (3,0) c ExchangingTime_2 : 0.000475
36.09/11.75	c (3,0) c ExchangingTime_3 : 0.000536
36.09/11.75	c (3,0) c ExchangingTime_4 : 0.000477
36.09/11.75	c (3,0) c ExchangingTime_5 : 0.000510
36.09/11.75	c (3,0) c ExchangingTime_6 : 0.000483
36.09/11.75	c (3,0) c ExchangingTime_7 : 0.000438
36.09/11.75	c (3,0) c ExchangingTime_total : 0.003943
36.09/11.75	c (3,0) c ExchangingTime_winner : 0.000477
36.09/11.75	c (3,0) c PeriodProcTime_0 : 0.000084
36.09/11.75	c (3,0) c PeriodProcTime_1 : 0.000117
36.09/11.75	c (3,0) c PeriodProcTime_2 : 0.000078
36.09/11.75	c (3,0) c PeriodProcTime_3 : 0.000079
36.09/11.75	c (3,0) c PeriodProcTime_4 : 0.000076
36.09/11.75	c (3,0) c PeriodProcTime_5 : 0.000083
36.09/11.75	c (3,0) c PeriodProcTime_6 : 0.000090
36.09/11.75	c (3,0) c PeriodProcTime_7 : 0.000075
36.09/11.75	c (3,0) c PeriodProcTime_total : 0.000682
36.09/11.75	c (3,0) c PeriodProcTime_winner : 0.000076
36.09/11.75	c (3,0) c SolvingTime_0 : 1.371114
36.09/11.75	c (3,0) c SolvingTime_1 : 1.246662
36.09/11.75	c (3,0) c SolvingTime_2 : 1.238060
36.09/11.75	c (3,0) c SolvingTime_3 : 1.241410
36.09/11.75	c (3,0) c SolvingTime_4 : 1.231196
36.09/11.75	c (3,0) c SolvingTime_5 : 1.309638
36.09/11.75	c (3,0) c SolvingTime_6 : 1.335902
36.09/11.75	c (3,0) c SolvingTime_7 : 1.359871
36.09/11.75	c (3,0) c SolvingTime_total : 10.333853
36.09/11.75	c (3,0) c SolvingTime_winner : 1.231196
36.09/11.75	c (3,0) c PropagationTime_0 : 1.158875
36.09/11.75	c (3,0) c PropagationTime_1 : 1.029776
36.09/11.75	c (3,0) c PropagationTime_2 : 1.034761
36.09/11.75	c (3,0) c PropagationTime_3 : 1.040872
36.09/11.75	c (3,0) c PropagationTime_4 : 1.037313
36.09/11.75	c (3,0) c PropagationTime_5 : 1.097955
36.09/11.75	c (3,0) c PropagationTime_6 : 1.126331
36.09/11.75	c (3,0) c PropagationTime_7 : 1.152220
36.09/11.75	c (3,0) c PropagationTime_total : 8.678103
36.09/11.75	c (3,0) c PropagationTime_winner : 1.037313
36.09/11.75	c (3,0) c AnalysisTime_0 : 0.062700
36.09/11.75	c (3,0) c AnalysisTime_1 : 0.085837
36.09/11.75	c (3,0) c AnalysisTime_2 : 0.062108
36.09/11.75	c (3,0) c AnalysisTime_3 : 0.065549
36.09/11.75	c (3,0) c AnalysisTime_4 : 0.062156
36.09/11.75	c (3,0) c AnalysisTime_5 : 0.064487
36.09/11.75	c (3,0) c AnalysisTime_6 : 0.057602
36.09/11.75	c (3,0) c AnalysisTime_7 : 0.058932
36.09/11.75	c (3,0) c AnalysisTime_total : 0.519370
36.09/11.75	c (3,0) c AnalysisTime_winner : 0.062156
36.09/11.75	c (3,0) c ReductionTime_0 : 0.000410
36.09/11.75	c (3,0) c ReductionTime_1 : 0.000382
36.09/11.75	c (3,0) c ReductionTime_2 : 0.000452
36.09/11.75	c (3,0) c ReductionTime_3 : 0.000441
36.09/11.75	c (3,0) c ReductionTime_4 : 0.000397
36.09/11.75	c (3,0) c ReductionTime_5 : 0.000389
36.09/11.75	c (3,0) c ReductionTime_6 : 0.000400
36.09/11.75	c (3,0) c ReductionTime_7 : 0.000400
36.09/11.75	c (3,0) c ReductionTime_total : 0.003271
36.09/11.75	c (3,0) c ReductionTime_winner : 0.000397
36.09/11.75	c (3,0) c SimplifyTime_0 : 0.048772
36.09/11.75	c (3,0) c SimplifyTime_1 : 0.046501
36.09/11.75	c (3,0) c SimplifyTime_2 : 0.046696
36.09/11.75	c (3,0) c SimplifyTime_3 : 0.045234
36.09/11.75	c (3,0) c SimplifyTime_4 : 0.041083
36.09/11.75	c (3,0) c SimplifyTime_5 : 0.051684
36.09/11.75	c (3,0) c SimplifyTime_6 : 0.053611
36.09/11.75	c (3,0) c SimplifyTime_7 : 0.051341
36.09/11.75	c (3,0) c SimplifyTime_total : 0.384921
36.09/11.75	c (3,0) c SimplifyTime_winner : 0.041083
36.09/11.75	c (3,0) c UsedRateTime_0 : 0.000000
36.09/11.75	c (3,0) c UsedRateTime_1 : 0.000000
36.09/11.75	c (3,0) c UsedRateTime_2 : 0.000000
36.09/11.75	c (3,0) c UsedRateTime_3 : 0.000000
36.09/11.75	c (3,0) c UsedRateTime_4 : 0.000000
36.09/11.75	c (3,0) c UsedRateTime_5 : 0.000000
36.09/11.75	c (3,0) c UsedRateTime_6 : 0.000000
36.09/11.75	c (3,0) c UsedRateTime_7 : 0.000000
36.09/11.75	c (3,0) c UsedRateTime_total : 0.000000
36.09/11.75	c (3,0) c UsedRateTime_winner : 0.000000
36.09/11.75	c (3,0) c OverlapRateTime_0 : 0.000000
36.09/11.75	c (3,0) c OverlapRateTime_1 : 0.000000
36.09/11.75	c (3,0) c OverlapRateTime_2 : 0.000000
36.09/11.75	c (3,0) c OverlapRateTime_3 : 0.000000
36.09/11.75	c (3,0) c OverlapRateTime_4 : 0.000000
36.09/11.75	c (3,0) c OverlapRateTime_5 : 0.000000
36.09/11.75	c (3,0) c OverlapRateTime_6 : 0.000000
36.09/11.75	c (3,0) c OverlapRateTime_7 : 0.000000
36.09/11.75	c (3,0) c OverlapRateTime_total : 0.000000
36.09/11.75	c (3,0) c OverlapRateTime_winner : 0.000000
36.09/11.75	c (3,0) c
36.09/11.75	c (3,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
36.09/11.75	c (3,0) c
36.09/11.75	c (3,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
36.09/11.75	c (3,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
36.09/11.75	c (3,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
36.09/11.75	c (3,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
36.09/11.75	c (3,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
36.09/11.75	c (3,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
36.09/11.75	c (3,0) c | Initial random_seed   |  188215378 | 1488116677 |  729027343 |  290986732 |  866699488 |  233411392 | 1688595137 | 1303270374 |
36.09/11.75	c (3,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
36.09/11.75	c (3,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
36.09/11.75	c (3,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
36.09/11.75	c (3,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
36.09/11.75	c (3,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
36.09/11.75	c (3,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
36.09/11.75	c (3,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
36.09/11.75	c (3,0) c | var_decay             |     0.8000 |     0.8100 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
36.09/11.75	c (3,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
36.09/11.75	c (3,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
36.09/11.75	c (3,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
36.09/11.75	c (3,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
36.09/11.75	c (3,0) 
36.09/11.75	c (3,0) s SATISFIABLE
36.09/11.80	c (3,0) SatSolver.solve End
36.09/11.80	c (3,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
36.09/11.80	c (3,0) Show results Begin
36.56/11.93	c (3,0) x[0][0] = 0
36.56/11.93	c (3,0) x[0][1] = 0
36.56/11.93	c (3,0) x[0][2] = 0
36.56/11.93	c (3,0) x[0][3] = 0
36.56/11.93	c (3,0) x[0][4] = 0
36.56/11.93	c (3,0) x[0][5] = 0
36.56/11.93	c (3,0) x[0][6] = 0
36.56/11.93	c (3,0) x[0][7] = 1
36.56/11.93	c (3,0) x[0][8] = 1
36.56/11.93	c (3,0) x[0][9] = 1
36.56/11.93	c (3,0) x[0][10] = 1
36.56/11.93	c (3,0) x[0][11] = 1
36.56/11.93	c (3,0) x[0][12] = 1
36.56/11.93	c (3,0) x[0][13] = 1
36.56/11.93	c (3,0) x[0][14] = 2
36.56/11.93	c (3,0) x[0][15] = 2
36.56/11.93	c (3,0) x[0][16] = 2
36.56/11.93	c (3,0) x[0][17] = 2
36.56/11.93	c (3,0) x[0][18] = 2
36.56/11.93	c (3,0) x[0][19] = 2
36.56/11.93	c (3,0) x[0][20] = 2
36.56/11.93	c (3,0) x[0][21] = 3
36.56/11.93	c (3,0) x[0][22] = 3
36.56/11.93	c (3,0) x[0][23] = 3
36.56/11.93	c (3,0) x[0][24] = 3
36.56/11.93	c (3,0) x[0][25] = 3
36.56/11.93	c (3,0) x[0][26] = 3
36.56/11.93	c (3,0) x[0][27] = 3
36.56/11.93	c (3,0) x[0][28] = 4
36.56/11.93	c (3,0) x[0][29] = 4
36.56/11.93	c (3,0) x[0][30] = 4
36.56/11.93	c (3,0) x[0][31] = 4
36.56/11.93	c (3,0) x[0][32] = 4
36.56/11.93	c (3,0) x[0][33] = 4
36.56/11.93	c (3,0) x[0][34] = 4
36.56/11.93	c (3,0) x[0][35] = 5
36.56/11.93	c (3,0) x[0][36] = 5
36.56/11.93	c (3,0) x[0][37] = 5
36.56/11.93	c (3,0) x[0][38] = 5
36.56/11.93	c (3,0) x[0][39] = 5
36.56/11.93	c (3,0) x[0][40] = 5
36.56/11.93	c (3,0) x[0][41] = 5
36.56/11.93	c (3,0) x[0][42] = 6
36.56/11.93	c (3,0) x[0][43] = 6
36.56/11.93	c (3,0) x[0][44] = 6
36.56/11.93	c (3,0) x[0][45] = 6
36.56/11.93	c (3,0) x[0][46] = 6
36.56/11.93	c (3,0) x[0][47] = 6
36.56/11.93	c (3,0) x[0][48] = 6
36.56/11.93	c (3,0) x[0][49] = 7
36.56/11.93	c (3,0) x[0][50] = 7
36.56/11.93	c (3,0) x[0][51] = 7
36.56/11.93	c (3,0) x[0][52] = 7
36.56/11.93	c (3,0) x[0][53] = 7
36.56/11.93	c (3,0) x[0][54] = 7
36.56/11.93	c (3,0) x[0][55] = 7
36.56/11.93	c (3,0) x[0][56] = 8
36.56/11.93	c (3,0) x[0][57] = 8
36.56/11.93	c (3,0) x[0][58] = 8
36.56/11.93	c (3,0) x[0][59] = 8
36.56/11.93	c (3,0) x[0][60] = 8
36.56/11.93	c (3,0) x[0][61] = 8
36.56/11.93	c (3,0) x[0][62] = 8
36.56/11.93	c (3,0) x[1][0] = 0
36.56/11.93	c (3,0) x[1][1] = 2
36.56/11.93	c (3,0) x[1][2] = 4
36.56/11.93	c (3,0) x[1][3] = 5
36.56/11.93	c (3,0) x[1][4] = 6
36.56/11.93	c (3,0) x[1][5] = 7
36.56/11.93	c (3,0) x[1][6] = 8
36.56/11.93	c (3,0) x[1][7] = 0
36.56/11.93	c (3,0) x[1][8] = 1
36.56/11.93	c (3,0) x[1][9] = 2
36.56/11.93	c (3,0) x[1][10] = 4
36.56/11.93	c (3,0) x[1][11] = 5
36.56/11.93	c (3,0) x[1][12] = 6
36.56/11.93	c (3,0) x[1][13] = 7
36.56/11.93	c (3,0) x[1][14] = 1
36.56/11.93	c (3,0) x[1][15] = 3
36.56/11.93	c (3,0) x[1][16] = 4
36.56/11.93	c (3,0) x[1][17] = 5
36.56/11.93	c (3,0) x[1][18] = 6
36.56/11.93	c (3,0) x[1][19] = 7
36.56/11.93	c (3,0) x[1][20] = 8
36.56/11.93	c (3,0) x[1][21] = 0
36.56/11.93	c (3,0) x[1][22] = 1
36.56/11.94	c (3,0) x[1][23] = 2
36.56/11.94	c (3,0) x[1][24] = 3
36.56/11.94	c (3,0) x[1][25] = 5
36.56/11.94	c (3,0) x[1][26] = 6
36.56/11.94	c (3,0) x[1][27] = 7
36.56/11.94	c (3,0) x[1][28] = 0
36.56/11.94	c (3,0) x[1][29] = 1
36.56/11.94	c (3,0) x[1][30] = 2
36.56/11.94	c (3,0) x[1][31] = 3
36.56/11.94	c (3,0) x[1][32] = 4
36.56/11.94	c (3,0) x[1][33] = 7
36.56/11.94	c (3,0) x[1][34] = 8
36.56/11.94	c (3,0) x[1][35] = 0
36.56/11.94	c (3,0) x[1][36] = 1
36.56/11.94	c (3,0) x[1][37] = 2
36.56/11.94	c (3,0) x[1][38] = 3
36.56/11.94	c (3,0) x[1][39] = 4
36.56/11.94	c (3,0) x[1][40] = 5
36.56/11.94	c (3,0) x[1][41] = 8
36.56/11.94	c (3,0) x[1][42] = 0
36.56/11.94	c (3,0) x[1][43] = 1
36.56/11.94	c (3,0) x[1][44] = 3
36.56/11.94	c (3,0) x[1][45] = 5
36.56/11.94	c (3,0) x[1][46] = 6
36.56/11.94	c (3,0) x[1][47] = 7
36.56/11.94	c (3,0) x[1][48] = 8
36.56/11.94	c (3,0) x[1][49] = 0
36.56/11.94	c (3,0) x[1][50] = 2
36.56/11.94	c (3,0) x[1][51] = 3
36.56/11.94	c (3,0) x[1][52] = 4
36.56/11.94	c (3,0) x[1][53] = 5
36.56/11.94	c (3,0) x[1][54] = 6
36.56/11.94	c (3,0) x[1][55] = 8
36.56/11.94	c (3,0) x[1][56] = 1
36.56/11.94	c (3,0) x[1][57] = 2
36.56/11.94	c (3,0) x[1][58] = 3
36.56/11.94	c (3,0) x[1][59] = 4
36.56/11.94	c (3,0) x[1][60] = 6
36.56/11.94	c (3,0) x[1][61] = 7
36.56/11.94	c (3,0) x[1][62] = 8
36.56/11.94	c (3,0) x[2][0] = 0
36.56/11.94	c (3,0) x[2][1] = 2
36.56/11.94	c (3,0) x[2][2] = 4
36.56/11.94	c (3,0) x[2][3] = 7
36.56/11.94	c (3,0) x[2][4] = 5
36.56/11.94	c (3,0) x[2][5] = 6
36.56/11.94	c (3,0) x[2][6] = 1
36.56/11.94	c (3,0) x[2][7] = 6
36.56/11.94	c (3,0) x[2][8] = 7
36.56/11.94	c (3,0) x[2][9] = 1
36.56/11.94	c (3,0) x[2][10] = 2
36.56/11.94	c (3,0) x[2][11] = 5
36.56/11.94	c (3,0) x[2][12] = 8
36.56/11.94	c (3,0) x[2][13] = 0
36.56/11.94	c (3,0) x[2][14] = 4
36.56/11.94	c (3,0) x[2][15] = 3
36.56/11.94	c (3,0) x[2][16] = 7
36.56/11.94	c (3,0) x[2][17] = 8
36.56/11.94	c (3,0) x[2][18] = 6
36.56/11.94	c (3,0) x[2][19] = 1
36.56/11.94	c (3,0) x[2][20] = 2
36.56/11.94	c (3,0) x[2][21] = 1
36.56/11.94	c (3,0) x[2][22] = 2
36.56/11.94	c (3,0) x[2][23] = 3
36.56/11.94	c (3,0) x[2][24] = 0
36.56/11.94	c (3,0) x[2][25] = 4
36.56/11.94	c (3,0) x[2][26] = 7
36.56/11.94	c (3,0) x[2][27] = 5
36.56/11.94	c (3,0) x[2][28] = 2
36.56/11.94	c (3,0) x[2][29] = 8
36.56/11.94	c (3,0) x[2][30] = 4
36.56/11.94	c (3,0) x[2][31] = 5
36.56/11.94	c (3,0) x[2][32] = 6
36.56/11.94	c (3,0) x[2][33] = 3
36.56/11.94	c (3,0) x[2][34] = 7
36.56/11.94	c (3,0) x[2][35] = 4
36.56/11.94	c (3,0) x[2][36] = 3
36.56/11.94	c (3,0) x[2][37] = 7
36.56/11.94	c (3,0) x[2][38] = 8
36.56/11.94	c (3,0) x[2][39] = 0
36.56/11.94	c (3,0) x[2][40] = 2
36.56/11.94	c (3,0) x[2][41] = 6
36.56/11.94	c (3,0) x[2][42] = 5
36.56/11.94	c (3,0) x[2][43] = 6
36.56/11.94	c (3,0) x[2][44] = 4
36.56/11.94	c (3,0) x[2][45] = 1
36.56/11.94	c (3,0) x[2][46] = 0
36.56/11.94	c (3,0) x[2][47] = 8
36.56/11.94	c (3,0) x[2][48] = 3
36.56/11.94	c (3,0) x[2][49] = 3
36.56/11.94	c (3,0) x[2][50] = 0
36.56/11.94	c (3,0) x[2][51] = 7
36.56/11.94	c (3,0) x[2][52] = 5
36.56/11.94	c (3,0) x[2][53] = 6
36.56/11.94	c (3,0) x[2][54] = 1
36.56/11.94	c (3,0) x[2][55] = 8
36.56/11.94	c (3,0) x[2][56] = 0
36.56/11.94	c (3,0) x[2][57] = 8
36.56/11.94	c (3,0) x[2][58] = 2
36.56/11.94	c (3,0) x[2][59] = 1
36.56/11.94	c (3,0) x[2][60] = 3
36.56/11.94	c (3,0) x[2][61] = 4
36.56/11.94	c (3,0) x[2][62] = 5
36.56/11.94	c (3,0) x[3][0] = 3
36.56/11.94	c (3,0) x[3][1] = 4
36.56/11.94	c (3,0) x[3][2] = 1
36.56/11.94	c (3,0) x[3][3] = 8
36.56/11.94	c (3,0) x[3][4] = 2
36.56/11.94	c (3,0) x[3][5] = 7
36.56/11.94	c (3,0) x[3][6] = 6
36.56/11.94	c (3,0) x[3][7] = 1
36.56/11.94	c (3,0) x[3][8] = 7
36.56/11.94	c (3,0) x[3][9] = 5
36.56/11.94	c (3,0) x[3][10] = 8
36.56/11.94	c (3,0) x[3][11] = 3
36.56/11.94	c (3,0) x[3][12] = 0
36.56/11.94	c (3,0) x[3][13] = 2
36.56/11.94	c (3,0) x[3][14] = 5
36.56/11.94	c (3,0) x[3][15] = 7
36.56/11.94	c (3,0) x[3][16] = 2
36.56/11.94	c (3,0) x[3][17] = 6
36.56/11.94	c (3,0) x[3][18] = 4
36.56/11.94	c (3,0) x[3][19] = 8
36.56/11.94	c (3,0) x[3][20] = 1
36.56/11.94	c (3,0) x[3][21] = 7
36.56/11.94	c (3,0) x[3][22] = 3
36.56/11.94	c (3,0) x[3][23] = 8
36.56/11.94	c (3,0) x[3][24] = 1
36.56/11.94	c (3,0) x[3][25] = 0
36.56/11.94	c (3,0) x[3][26] = 6
36.56/11.94	c (3,0) x[3][27] = 5
36.56/11.94	c (3,0) x[3][28] = 2
36.56/11.94	c (3,0) x[3][29] = 1
36.56/11.94	c (3,0) x[3][30] = 3
36.56/11.94	c (3,0) x[3][31] = 6
36.56/11.94	c (3,0) x[3][32] = 5
36.56/11.94	c (3,0) x[3][33] = 4
36.56/11.94	c (3,0) x[3][34] = 0
36.56/11.94	c (3,0) x[3][35] = 4
36.56/11.94	c (3,0) x[3][36] = 0
36.56/11.94	c (3,0) x[3][37] = 1
36.56/11.94	c (3,0) x[3][38] = 2
36.56/11.94	c (3,0) x[3][39] = 6
36.56/11.94	c (3,0) x[3][40] = 7
36.56/11.94	c (3,0) x[3][41] = 3
36.56/11.94	c (3,0) x[3][42] = 0
36.56/11.94	c (3,0) x[3][43] = 6
36.56/11.94	c (3,0) x[3][44] = 8
36.56/11.94	c (3,0) x[3][45] = 4
36.56/11.94	c (3,0) x[3][46] = 5
36.56/11.94	c (3,0) x[3][47] = 3
36.56/11.94	c (3,0) x[3][48] = 2
36.56/11.94	c (3,0) x[3][49] = 5
36.56/11.94	c (3,0) x[3][50] = 0
36.56/11.94	c (3,0) x[3][51] = 4
36.56/11.94	c (3,0) x[3][52] = 7
36.56/11.94	c (3,0) x[3][53] = 2
36.56/11.94	c (3,0) x[3][54] = 1
36.56/11.94	c (3,0) x[3][55] = 8
36.56/11.94	c (3,0) x[3][56] = 8
36.56/11.94	c (3,0) x[3][57] = 7
36.56/11.94	c (3,0) x[3][58] = 5
36.56/11.94	c (3,0) x[3][59] = 0
36.56/11.94	c (3,0) x[3][60] = 3
36.56/11.94	c (3,0) x[3][61] = 6
36.56/11.94	c (3,0) x[3][62] = 4
36.56/11.94	s SATISFIABLE
36.56/11.95	v <instantiation>
36.56/11.95	v     <list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[0][28] x[0][29] x[0][30] x[0][31] x[0][32] x[0][33] x[0][34] x[0][35] x[0][36] x[0][37] x[0][38] x[0][39] x[0][40] x[0][41] x[0][42] x[0][43] x[0][44] x[0][45] x[0][46] x[0][47] x[0][48] x[0][49] x[0][50] x[0][51] x[0][52] x[0][53] x[0][54] x[0][55] x[0][56] x[0][57] x[0][58] x[0][59] x[0][60] x[0][61] x[0][62] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[1][26] x[1][27] x[1][28] x[1][29] x[1][30] x[1][31] x[1][32] x[1][33] x[1][34] x[1][35] x[1][36] x[1][37] x[1][38] x[1][39] x[1][40] x[1][41] x[1][42] x[1][43] x[1][44] x[1][45] x[1][46] x[1][47] x[1][48] x[1][49] x[1][50] x[1][51] x[1][52] x[1][53] x[1][54] x[1][55] x[1][56] x[1][57] x[1][58] x[1][59] x[1][60] x[1][61] x[1][62] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[2][26] x[2][27] x[2][28] x[2][29] x[2][30] x[2][31] x[2][32] x[2][33] x[2][34] x[2][35] x[2][36] x[2][37] x[2][38] x[2][39] x[2][40] x[2][41] x[2][42] x[2][43] x[2][44] x[2][45] x[2][46] x[2][47] x[2][48] x[2][49] x[2][50] x[2][51] x[2][52] x[2][53] x[2][54] x[2][55] x[2][56] x[2][57] x[2][58] x[2][59] x[2][60] x[2][61] x[2][62] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[3][25] x[3][26] x[3][27] x[3][28] x[3][29] x[3][30] x[3][31] x[3][32] x[3][33] x[3][34] x[3][35] x[3][36] x[3][37] x[3][38] x[3][39] x[3][40] x[3][41] x[3][42] x[3][43] x[3][44] x[3][45] x[3][46] x[3][47] x[3][48] x[3][49] x[3][50] x[3][51] x[3][52] x[3][53] x[3][54] x[3][55] x[3][56] x[3][57] x[3][58] x[3][59] x[3][60] x[3][61] x[3][62]</list>
36.56/11.95	v     <values>0 0 0 0 0 0 0 1 1 1 1 1 1 1 2 2 2 2 2 2 2 3 3 3 3 3 3 3 4 4 4 4 4 4 4 5 5 5 5 5 5 5 6 6 6 6 6 6 6 7 7 7 7 7 7 7 8 8 8 8 8 8 8 0 2 4 5 6 7 8 0 1 2 4 5 6 7 1 3 4 5 6 7 8 0 1 2 3 5 6 7 0 1 2 3 4 7 8 0 1 2 3 4 5 8 0 1 3 5 6 7 8 0 2 3 4 5 6 8 1 2 3 4 6 7 8 0 2 4 7 5 6 1 6 7 1 2 5 8 0 4 3 7 8 6 1 2 1 2 3 0 4 7 5 2 8 4 5 6 3 7 4 3 7 8 0 2 6 5 6 4 1 0 8 3 3 0 7 5 6 1 8 0 8 2 1 3 4 5 3 4 1 8 2 7 6 1 7 5 8 3 0 2 5 7 2 6 4 8 1 7 3 8 1 0 6 5 2 1 3 6 5 4 0 4 0 1 2 6 7 3 0 6 8 4 5 3 2 5 0 4 7 2 1 8 8 7 5 0 3 6 4</values>
36.56/11.95	v </instantiation>
36.56/11.95	c (3,0) Show results End
36.56/11.95	c (3,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB)
36.56/11.95	c (3,0) 3,3,STOP-AFTER(ALL)
36.56/11.95	c END-Prog: Tue Sep 24 16:40:36 CEST 2019

Verifier Data 

OK

Watcher Data 

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

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

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

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4405211-1569336065/watcher-4405211-1569336065 -o /var/tmp/evaluation-result-4405211-1569336065/solver-4405211-1569336065 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node150-1569335938-16167 --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-4405211-1569336065.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=16317, runsolver pid=16314

[startup+0.10015 s]*
/proc/loadavg: 0.69 0.28 0.14 2/212 16339
/proc/meminfo: memFree=9210408/32770624 swapFree=67023888/67108860
[pid=16317] ppid=16314 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/16317/stat : 16317 (scop.sh) S 16314 16317 16140 0 -1 4202496 554 320 0 0 0 0 0 0 20 0 1 0 509878964 115843072 348 33554432000 4194304 5098028 140729394621280 140729394618536 140465676808828 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 35368960 140729394623229 140729394623576 140729394623576 140729394626505 0
/proc/16317/statm: 28282 348 296 221 0 87 0
[pid=16320] ppid=16317 vsize=27314120 memory=106652 CPUtime=0.1 cores=0-7
/proc/16320/stat : 16320 (java) S 16317 16317 16140 0 -1 1077944320 6263 0 0 0 8 2 0 0 20 0 20 0 509878965 27969658880 26151 33554432000 4194304 4196468 140730456804416 140730456786960 139800288689911 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10522624 140730456810183 140730456810630 140730456810630 140730456813519 0
/proc/16320/statm: 6828530 26663 2796 1 0 6790935 0
[pid=16320/tid=16321] ppid=16317 vsize=27314120 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/16320/task/16321/stat : 16321 (java) R 16317 16317 16140 0 -1 4202560 4348 0 0 0 7 2 0 0 20 0 20 0 509878965 27969658880 26663 33554432000 4194304 4196468 140730456804416 139800260516240 139800268872749 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10522624 140730456810183 140730456810630 140730456810630 140730456813519 0
[pid=16320/tid=16322] ppid=16317 vsize=27314120 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/16320/task/16322/stat : 16322 (java) S 16317 16317 16140 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509878967 27969658880 26663 33554432000 4194304 4196468 140730456804416 139800292932752 139800288700117 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10522624 140730456810183 140730456810630 140730456810630 140730456813519 0
[pid=16320/tid=16323] ppid=16317 vsize=27314120 memory=140088707835520 CPUtime=0 cores=0-7
/proc/16320/task/16323/stat : 16323 (java) S 16317 16317 16140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509878967 27969658880 26663 33554432000 4194304 4196468 140730456804416 139800113228816 139800288700117 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10522624 140730456810183 140730456810630 140730456810630 140730456813519 0
[pid=16320/tid=16324] ppid=16317 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16320/task/16324/stat : 16324 (java) S 16317 16317 16140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509878967 27969658880 26663 33554432000 4194304 4196468 140730456804416 139799709928336 139800288700117 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10522624 140730456810183 140730456810630 140730456810630 140730456813519 0
[pid=16320/tid=16325] ppid=16317 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16320/task/16325/stat : 16325 (java) S 16317 16317 16140 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509878967 27969658880 26663 33554432000 4194304 4196468 140730456804416 139799708875536 139800288700117 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10522624 140730456810183 140730456810630 140730456810630 140730456813519 0
[pid=16320/tid=16326] ppid=16317 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16320/task/16326/stat : 16326 (java) S 16317 16317 16140 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509878967 27969658880 26663 33554432000 4194304 4196468 140730456804416 139799707822736 139800288700117 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10522624 140730456810183 140730456810630 140730456810630 140730456813519 0
[pid=16320/tid=16327] ppid=16317 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/16320/task/16327/stat : 16327 (java) S 16317 16317 16140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509878967 27969658880 26663 33554432000 4194304 4196468 140730456804416 139799706769936 139800288700117 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10522624 140730456810183 140730456810630 140730456810630 140730456813519 0
[pid=16320/tid=16328] ppid=16317 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16320/task/16328/stat : 16328 (java) S 16317 16317 16140 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509878967 27969658880 26663 33554432000 4194304 4196468 140730456804416 139799705717136 139800288700117 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10522624 140730456810183 140730456810630 140730456810630 140730456813519 0
[pid=16320/tid=16329] ppid=16317 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16320/task/16329/stat : 16329 (java) S 16317 16317 16140 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509878967 27969658880 26663 33554432000 4194304 4196468 140730456804416 139799704664336 139800288700117 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10522624 140730456810183 140730456810630 140730456810630 140730456813519 0
[pid=16320/tid=16330] ppid=16317 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16320/task/16330/stat : 16330 (java) S 16317 16317 16140 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509878969 27969658880 26663 33554432000 4194304 4196468 140730456804416 139798541781872 139800288701058 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10522624 140730456810183 140730456810630 140730456810630 140730456813519 0
[pid=16320/tid=16331] ppid=16317 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16320/task/16331/stat : 16331 (java) S 16317 16317 16140 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 509878969 27969658880 26663 33554432000 4194304 4196468 140730456804416 139798165579296 139800288700117 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10522624 140730456810183 140730456810630 140730456810630 140730456813519 0
[pid=16320/tid=16332] ppid=16317 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16320/task/16332/stat : 16332 (java) S 16317 16317 16140 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 509878970 27969658880 26663 33554432000 4194304 4196468 140730456804416 139798031357296 139800288700117 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10522624 140730456810183 140730456810630 140730456810630 140730456813519 0
[pid=16320/tid=16333] ppid=16317 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16320/task/16333/stat : 16333 (java) S 16317 16317 16140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509878972 27969658880 26663 33554432000 4194304 4196468 140730456804416 139797656852816 139800288708507 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10522624 140730456810183 140730456810630 140730456810630 140730456813519 0
[pid=16320/tid=16334] ppid=16317 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16320/task/16334/stat : 16334 (java) S 16317 16317 16140 0 -1 1077944384 308 0 0 0 0 0 0 0 20 0 20 0 509878972 27969658880 26663 33554432000 4194304 4196468 140730456804416 139798540728688 139800288701058 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10522624 140730456810183 140730456810630 140730456810630 140730456813519 0
[pid=16320/tid=16335] ppid=16317 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16320/task/16335/stat : 16335 (java) R 16317 16317 16140 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509878972 27969658880 26663 33554432000 4194304 4196468 140730456804416 139798539675888 139800288701058 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10522624 140730456810183 140730456810630 140730456810630 140730456813519 0
[pid=16320/tid=16336] ppid=16317 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16320/task/16336/stat : 16336 (java) S 16317 16317 16140 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 509878972 27969658880 26663 33554432000 4194304 4196468 140730456804416 139798538623088 139800288701058 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10522624 140730456810183 140730456810630 140730456810630 140730456813519 0
[pid=16320/tid=16337] ppid=16317 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16320/task/16337/stat : 16337 (java) R 16317 16317 16140 0 -1 1077944384 248 0 0 0 0 0 0 0 20 0 20 0 509878972 27969658880 26663 33554432000 4194304 4196468 140730456804416 139798537570288 139800288701058 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10522624 140730456810183 140730456810630 140730456810630 140730456813519 0
[pid=16320/tid=16338] ppid=16317 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16320/task/16338/stat : 16338 (java) S 16317 16317 16140 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509878972 27969658880 26663 33554432000 4194304 4196468 140730456804416 139797158947936 139800288700117 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10522624 140730456810183 140730456810630 140730456810630 140730456813519 0
[pid=16320/tid=16339] ppid=16317 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/16320/task/16339/stat : 16339 (java) S 16317 16317 16140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509878973 27969658880 26663 33554432000 4194304 4196468 140730456804416 139798536518704 139800288701058 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10522624 140730456810183 140730456810630 140730456810630 140730456813519 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 108044 KiB

[startup+0.210152 s]*
/proc/loadavg: 0.69 0.28 0.14 3/212 16339
/proc/meminfo: memFree=9192072/32770624 swapFree=67023888/67108860
[pid=16317] ppid=16314 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/16317/stat : 16317 (scop.sh) S 16314 16317 16140 0 -1 4202496 554 320 0 0 0 0 0 0 20 0 1 0 509878964 115843072 348 33554432000 4194304 5098028 140729394621280 140729394618536 140465676808828 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 35368960 140729394623229 140729394623576 140729394623576 140729394626505 0
/proc/16317/statm: 28282 348 296 221 0 87 0
[pid=16320] ppid=16317 vsize=27314120 memory=121456 CPUtime=0.24 cores=0-7
/proc/16320/stat : 16320 (java) S 16317 16317 16140 0 -1 1077944320 11251 0 0 0 20 4 0 0 20 0 20 0 509878965 27969658880 30364 33554432000 4194304 4196468 140730456804416 140730456786960 139800288689911 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10522624 140730456810183 140730456810630 140730456810630 140730456813519 0
/proc/16320/statm: 6828530 30364 2914 1 0 6790935 0
[pid=16320/tid=16321] ppid=16317 vsize=27314120 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/16320/task/16321/stat : 16321 (java) R 16317 16317 16140 0 -1 4202560 8940 0 0 0 16 3 0 0 20 0 20 0 509878965 27969658880 30364 33554432000 4194304 4196468 140730456804416 139800260489296 139800268965214 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10522624 140730456810183 140730456810630 140730456810630 140730456813519 0
[pid=16320/tid=16322] ppid=16317 vsize=27314120 memory=339 CPUtime=0 cores=0-7
/proc/16320/task/16322/stat : 16322 (java) S 16317 16317 16140 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509878967 27969658880 30364 33554432000 4194304 4196468 140730456804416 139800292932752 139800288700117 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10522624 140730456810183 140730456810630 140730456810630 140730456813519 0
[pid=16320/tid=16323] ppid=16317 vsize=27314120 memory=288370464859547264 CPUtime=0 cores=0-7
/proc/16320/task/16323/stat : 16323 (java) S 16317 16317 16140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509878967 27969658880 30364 33554432000 4194304 4196468 140730456804416 139800113228816 139800288700117 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10522624 140730456810183 140730456810630 140730456810630 140730456813519 0
[pid=16320/tid=16324] ppid=16317 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/16320/task/16324/stat : 16324 (java) S 16317 16317 16140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509878967 27969658880 30364 33554432000 4194304 4196468 140730456804416 139799709928336 139800288700117 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10522624 140730456810183 140730456810630 140730456810630 140730456813519 0
[pid=16320/tid=16325] ppid=16317 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16320/task/16325/stat : 16325 (java) S 16317 16317 16140 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509878967 27969658880 30364 33554432000 4194304 4196468 140730456804416 139799708875536 139800288700117 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10522624 140730456810183 140730456810630 140730456810630 140730456813519 0
[pid=16320/tid=16326] ppid=16317 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16320/task/16326/stat : 16326 (java) S 16317 16317 16140 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509878967 27969658880 30364 33554432000 4194304 4196468 140730456804416 139799707822736 139800288700117 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10522624 140730456810183 140730456810630 140730456810630 140730456813519 0
[pid=16320/tid=16327] ppid=16317 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/16320/task/16327/stat : 16327 (java) S 16317 16317 16140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509878967 27969658880 30364 33554432000 4194304 4196468 140730456804416 139799706769936 139800288700117 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10522624 140730456810183 140730456810630 140730456810630 140730456813519 0
[pid=16320/tid=16328] ppid=16317 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16320/task/16328/stat : 16328 (java) S 16317 16317 16140 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509878967 27969658880 30364 33554432000 4194304 4196468 140730456804416 139799705717136 139800288700117 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10522624 140730456810183 140730456810630 140730456810630 140730456813519 0
[pid=16320/tid=16329] ppid=16317 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16320/task/16329/stat : 16329 (java) S 16317 16317 16140 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509878967 27969658880 30364 33554432000 4194304 4196468 140730456804416 139799704664336 139800288700117 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10522624 140730456810183 140730456810630 140730456810630 140730456813519 0
[pid=16320/tid=16330] ppid=16317 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16320/task/16330/stat : 16330 (java) S 16317 16317 16140 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509878969 27969658880 30364 33554432000 4194304 4196468 140730456804416 139798541781872 139800288701058 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10522624 140730456810183 140730456810630 140730456810630 140730456813519 0
[pid=16320/tid=16331] ppid=16317 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16320/task/16331/stat : 16331 (java) S 16317 16317 16140 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 509878969 27969658880 30364 33554432000 4194304 4196468 140730456804416 139798165579296 139800288700117 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10522624 140730456810183 140730456810630 140730456810630 140730456813519 0
[pid=16320/tid=16332] ppid=16317 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16320/task/16332/stat : 16332 (java) S 16317 16317 16140 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 509878970 27969658880 30364 33554432000 4194304 4196468 140730456804416 139798031357296 139800288700117 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10522624 140730456810183 140730456810630 140730456810630 140730456813519 0
[pid=16320/tid=16333] ppid=16317 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16320/task/16333/stat : 16333 (java) S 16317 16317 16140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509878972 27969658880 30364 33554432000 4194304 4196468 140730456804416 139797656852816 139800288708507 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10522624 140730456810183 140730456810630 140730456810630 140730456813519 0
[pid=16320/tid=16334] ppid=16317 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16320/task/16334/stat : 16334 (java) S 16317 16317 16140 0 -1 1077944384 342 0 0 0 0 0 0 0 20 0 20 0 509878972 27969658880 30364 33554432000 4194304 4196468 140730456804416 139798540728688 139800288701058 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10522624 140730456810183 140730456810630 140730456810630 140730456813519 0
[pid=16320/tid=16335] ppid=16317 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16320/task/16335/stat : 16335 (java) S 16317 16317 16140 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 20 0 509878972 27969658880 30364 33554432000 4194304 4196468 140730456804416 139798539675888 139800288701058 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10522624 140730456810183 140730456810630 140730456810630 140730456813519 0
[pid=16320/tid=16336] ppid=16317 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/16320/task/16336/stat : 16336 (java) S 16317 16317 16140 0 -1 1077944384 125 0 0 0 0 0 0 0 20 0 20 0 509878972 27969658880 30364 33554432000 4194304 4196468 140730456804416 139798538623088 139800288701058 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10522624 140730456810183 140730456810630 140730456810630 140730456813519 0
[pid=16320/tid=16337] ppid=16317 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7
/proc/16320/task/16337/stat : 16337 (java) S 16317 16317 16140 0 -1 1077944384 466 0 0 0 2 0 0 0 20 0 20 0 509878972 27969658880 30364 33554432000 4194304 4196468 140730456804416 139798537570288 139800288701058 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10522624 140730456810183 140730456810630 140730456810630 140730456813519 0
[pid=16320/tid=16338] ppid=16317 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16320/task/16338/stat : 16338 (java) S 16317 16317 16140 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509878972 27969658880 30364 33554432000 4194304 4196468 140730456804416 139797158947936 139800288700117 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10522624 140730456810183 140730456810630 140730456810630 140730456813519 0
[pid=16320/tid=16339] ppid=16317 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/16320/task/16339/stat : 16339 (java) S 16317 16317 16140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509878973 27969658880 30364 33554432000 4194304 4196468 140730456804416 139798536518704 139800288701058 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10522624 140730456810183 140730456810630 140730456810630 140730456813519 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 122848 KiB

[startup+0.309562 s]*
/proc/loadavg: 0.69 0.28 0.14 2/212 16339
/proc/meminfo: memFree=9188648/32770624 swapFree=67023888/67108860
[pid=16317] ppid=16314 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/16317/stat : 16317 (scop.sh) S 16314 16317 16140 0 -1 4202496 554 320 0 0 0 0 0 0 20 0 1 0 509878964 115843072 348 33554432000 4194304 5098028 140729394621280 140729394618536 140465676808828 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 35368960 140729394623229 140729394623576 140729394623576 140729394626505 0
/proc/16317/statm: 28282 348 296 221 0 87 0
[pid=16320] ppid=16317 vsize=27314120 memory=125480 CPUtime=0.42 cores=0-7
/proc/16320/stat : 16320 (java) S 16317 16317 16140 0 -1 1077944320 12308 0 0 0 37 5 0 0 20 0 20 0 509878965 27969658880 31370 33554432000 4194304 4196468 140730456804416 140730456786960 139800288689911 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10522624 140730456810183 140730456810630 140730456810630 140730456813519 0
/proc/16320/statm: 6828530 31370 3018 1 0 6790935 0
[pid=16320/tid=16321] ppid=16317 vsize=27314120 memory=6791534058613427641 CPUtime=0.3 cores=0-7
/proc/16320/task/16321/stat : 16321 (java) R 16317 16317 16140 0 -1 4202560 9794 0 0 0 26 4 0 0 20 0 20 0 509878965 27969658880 31370 33554432000 4194304 4196468 140730456804416 139800260472928 139800272770398 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10522624 140730456810183 140730456810630 140730456810630 140730456813519 0
[pid=16320/tid=16322] ppid=16317 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16320/task/16322/stat : 16322 (java) S 16317 16317 16140 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509878967 27969658880 31370 33554432000 4194304 4196468 140730456804416 139800292932752 139800288700117 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10522624 140730456810183 140730456810630 140730456810630 140730456813519 0
[pid=16320/tid=16323] ppid=16317 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16320/task/16323/stat : 16323 (java) S 16317 16317 16140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509878967 27969658880 31370 33554432000 4194304 4196468 140730456804416 139800113228816 139800288700117 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10522624 140730456810183 140730456810630 140730456810630 140730456813519 0
[pid=16320/tid=16324] ppid=16317 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16320/task/16324/stat : 16324 (java) S 16317 16317 16140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509878967 27969658880 31370 33554432000 4194304 4196468 140730456804416 139799709928336 139800288700117 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10522624 140730456810183 140730456810630 140730456810630 140730456813519 0
[pid=16320/tid=16325] ppid=16317 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16320/task/16325/stat : 16325 (java) S 16317 16317 16140 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509878967 27969658880 31370 33554432000 4194304 4196468 140730456804416 139799708875536 139800288700117 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10522624 140730456810183 140730456810630 140730456810630 140730456813519 0
[pid=16320/tid=16326] ppid=16317 vsize=27314120 memory=2244 CPUtime=0 cores=0-7
/proc/16320/task/16326/stat : 16326 (java) S 16317 16317 16140 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509878967 27969658880 31370 33554432000 4194304 4196468 140730456804416 139799707822736 139800288700117 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10522624 140730456810183 140730456810630 140730456810630 140730456813519 0
[pid=16320/tid=16327] ppid=16317 vsize=27314120 memory=140088545735599 CPUtime=0 cores=0-7
/proc/16320/task/16327/stat : 16327 (java) S 16317 16317 16140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509878967 27969658880 31370 33554432000 4194304 4196468 140730456804416 139799706769936 139800288700117 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10522624 140730456810183 140730456810630 140730456810630 140730456813519 0
[pid=16320/tid=16328] ppid=16317 vsize=27314120 memory=140088545737904 CPUtime=0 cores=0-7
/proc/16320/task/16328/stat : 16328 (java) S 16317 16317 16140 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509878967 27969658880 31370 33554432000 4194304 4196468 140730456804416 139799705717136 139800288700117 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10522624 140730456810183 140730456810630 140730456810630 140730456813519 0
[pid=16320/tid=16329] ppid=16317 vsize=27314120 memory=140088545740208 CPUtime=0 cores=0-7
/proc/16320/task/16329/stat : 16329 (java) S 16317 16317 16140 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509878967 27969658880 31370 33554432000 4194304 4196468 140730456804416 139799704664336 139800288700117 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10522624 140730456810183 140730456810630 140730456810630 140730456813519 0
[pid=16320/tid=16330] ppid=16317 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16320/task/16330/stat : 16330 (java) S 16317 16317 16140 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509878969 27969658880 31370 33554432000 4194304 4196468 140730456804416 139798541781872 139800288701058 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10522624 140730456810183 140730456810630 140730456810630 140730456813519 0
[pid=16320/tid=16331] ppid=16317 vsize=27314120 memory=280177091487376 CPUtime=0 cores=0-7
/proc/16320/task/16331/stat : 16331 (java) S 16317 16317 16140 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 509878969 27969658880 31370 33554432000 4194304 4196468 140730456804416 139798165579296 139800288700117 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10522624 140730456810183 140730456810630 140730456810630 140730456813519 0
[pid=16320/tid=16332] ppid=16317 vsize=27314120 memory=280177091494288 CPUtime=0 cores=0-7
/proc/16320/task/16332/stat : 16332 (java) S 16317 16317 16140 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 509878970 27969658880 31370 33554432000 4194304 4196468 140730456804416 139798031357296 139800288700117 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10522624 140730456810183 140730456810630 140730456810630 140730456813519 0
[pid=16320/tid=16333] ppid=16317 vsize=27314120 memory=280177091435568 CPUtime=0 cores=0-7
/proc/16320/task/16333/stat : 16333 (java) S 16317 16317 16140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509878972 27969658880 31370 33554432000 4194304 4196468 140730456804416 139797656852816 139800288708507 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10522624 140730456810183 140730456810630 140730456810630 140730456813519 0
[pid=16320/tid=16334] ppid=16317 vsize=27314120 memory=280177091508112 CPUtime=0.01 cores=0-7
/proc/16320/task/16334/stat : 16334 (java) S 16317 16317 16140 0 -1 1077944384 390 0 0 0 1 0 0 0 20 0 20 0 509878972 27969658880 31370 33554432000 4194304 4196468 140730456804416 139798540728688 139800288701058 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10522624 140730456810183 140730456810630 140730456810630 140730456813519 0
[pid=16320/tid=16335] ppid=16317 vsize=27314120 memory=280177091515024 CPUtime=0 cores=0-7
/proc/16320/task/16335/stat : 16335 (java) R 16317 16317 16140 0 -1 4202560 35 0 0 0 0 0 0 0 20 0 20 0 509878972 27969658880 31370 33554432000 4194304 4196468 140730456804416 139798539675888 139800288711258 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10522624 140730456810183 140730456810630 140730456810630 140730456813519 0
[pid=16320/tid=16336] ppid=16317 vsize=27314120 memory=280177091512720 CPUtime=0.01 cores=0-7
/proc/16320/task/16336/stat : 16336 (java) S 16317 16317 16140 0 -1 1077944384 221 0 0 0 1 0 0 0 20 0 20 0 509878972 27969658880 31370 33554432000 4194304 4196468 140730456804416 139798538623088 139800288701058 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10522624 140730456810183 140730456810630 140730456810630 140730456813519 0
[pid=16320/tid=16337] ppid=16317 vsize=27314120 memory=280177091528880 CPUtime=0.07 cores=0-7
/proc/16320/task/16337/stat : 16337 (java) S 16317 16317 16140 0 -1 1077944384 512 0 0 0 7 0 0 0 20 0 20 0 509878972 27969658880 31370 33554432000 4194304 4196468 140730456804416 139798537570288 139800288701058 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10522624 140730456810183 140730456810630 140730456810630 140730456813519 0
[pid=16320/tid=16338] ppid=16317 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16320/task/16338/stat : 16338 (java) S 16317 16317 16140 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509878972 27969658880 31370 33554432000 4194304 4196468 140730456804416 139797158947936 139800288700117 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10522624 140730456810183 140730456810630 140730456810630 140730456813519 0
[pid=16320/tid=16339] ppid=16317 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/16320/task/16339/stat : 16339 (java) S 16317 16317 16140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509878973 27969658880 31370 33554432000 4194304 4196468 140730456804416 139798536518704 139800288701058 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10522624 140730456810183 140730456810630 140730456810630 140730456813519 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 126872 KiB

[startup+0.700864 s]
/proc/loadavg: 0.69 0.28 0.14 2/212 16339
/proc/meminfo: memFree=9166192/32770624 swapFree=67023888/67108860
[pid=16317] ppid=16314 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/16317/stat : 16317 (scop.sh) S 16314 16317 16140 0 -1 4202496 554 320 0 0 0 0 0 0 20 0 1 0 509878964 115843072 348 33554432000 4194304 5098028 140729394621280 140729394618536 140465676808828 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 35368960 140729394623229 140729394623576 140729394623576 140729394626505 0
/proc/16317/statm: 28282 348 296 221 0 87 0
[pid=16320] ppid=16317 vsize=27320392 memory=163352 CPUtime=1.01 cores=0-7
/proc/16320/stat : 16320 (java) S 16317 16317 16140 0 -1 1077944320 19966 0 0 0 94 7 0 0 20 0 20 0 509878965 27976081408 40838 33554432000 4194304 4196468 140730456804416 140730456786960 139800288689911 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10522624 140730456810183 140730456810630 140730456810630 140730456813519 0
/proc/16320/statm: 6830098 40838 3182 1 0 6791447 0
[pid=16320/tid=16321] ppid=16317 vsize=27320392 memory=280177091886768 CPUtime=0.67 cores=0-7
/proc/16320/task/16321/stat : 16321 (java) R 16317 16317 16140 0 -1 4202560 16890 0 0 0 62 5 0 0 20 0 20 0 509878965 27976081408 40838 33554432000 4194304 4196468 140730456804416 139800260528160 139800288711837 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10522624 140730456810183 140730456810630 140730456810630 140730456813519 0
[pid=16320/tid=16322] ppid=16317 vsize=27320392 memory=140088545944432 CPUtime=0 cores=0-7
/proc/16320/task/16322/stat : 16322 (java) S 16317 16317 16140 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509878967 27976081408 40838 33554432000 4194304 4196468 140730456804416 139800292932752 139800288700117 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10522624 140730456810183 140730456810630 140730456810630 140730456813519 0
[pid=16320/tid=16323] ppid=16317 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/16320/task/16323/stat : 16323 (java) S 16317 16317 16140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509878967 27976081408 40838 33554432000 4194304 4196468 140730456804416 139800113228816 139800288700117 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10522624 140730456810183 140730456810630 140730456810630 140730456813519 0
[pid=16320/tid=16324] ppid=16317 vsize=27320392 memory=1076 CPUtime=0 cores=0-7
/proc/16320/task/16324/stat : 16324 (java) S 16317 16317 16140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509878967 27976081408 40838 33554432000 4194304 4196468 140730456804416 139799709928336 139800288700117 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10522624 140730456810183 140730456810630 140730456810630 140730456813519 0

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

[pid=16340/tid=16341] ppid=16317 vsize=8414124 memory=33 CPUtime=0.76 cores=0-7
/proc/16340/task/16341/stat : 16341 (java) S 16317 16317 16140 0 -1 1077944384 16402 0 0 0 70 6 0 0 20 0 24 0 509879799 8616062976 30010 33554432000 4194304 4196468 140722178545024 139625073688480 139625101858517 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13082624 140722178552799 140722178552966 140722178552966 140722178555855 0
[pid=16340/tid=16342] ppid=16317 vsize=8414124 memory=-2748367524519556131 CPUtime=0 cores=0-7
/proc/16340/task/16342/stat : 16342 (java) S 16317 16317 16140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509879800 8616062976 30010 33554432000 4194304 4196468 140722178545024 139625106090640 139625101858517 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13082624 140722178552799 140722178552966 140722178552966 140722178555855 0
[pid=16340/tid=16343] ppid=16317 vsize=8414124 memory=7234858444612003688 CPUtime=0 cores=0-7
/proc/16340/task/16343/stat : 16343 (java) S 16317 16317 16140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509879800 8616062976 30010 33554432000 4194304 4196468 140722178545024 139624906258960 139625101858517 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13082624 140722178552799 140722178552966 140722178552966 140722178555855 0
[pid=16340/tid=16344] ppid=16317 vsize=8414124 memory=836 CPUtime=0 cores=0-7
/proc/16340/task/16344/stat : 16344 (java) S 16317 16317 16140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509879800 8616062976 30010 33554432000 4194304 4196468 140722178545024 139624905206160 139625101858517 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13082624 140722178552799 140722178552966 140722178552966 140722178555855 0
[pid=16340/tid=16345] ppid=16317 vsize=8414124 memory=1760 CPUtime=0 cores=0-7
/proc/16340/task/16345/stat : 16345 (java) S 16317 16317 16140 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 509879800 8616062976 30010 33554432000 4194304 4196468 140722178545024 139624904153360 139625101858517 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13082624 140722178552799 140722178552966 140722178552966 140722178555855 0
[pid=16340/tid=16346] ppid=16317 vsize=8414124 memory=111632 CPUtime=0 cores=0-7
/proc/16340/task/16346/stat : 16346 (java) S 16317 16317 16140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509879800 8616062976 30010 33554432000 4194304 4196468 140722178545024 139624903101584 139625101858517 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13082624 140722178552799 140722178552966 140722178552966 140722178555855 0
[pid=16340/tid=16347] ppid=16317 vsize=8414124 memory=804 CPUtime=0 cores=0-7
/proc/16340/task/16347/stat : 16347 (java) S 16317 16317 16140 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 509879800 8616062976 30010 33554432000 4194304 4196468 140722178545024 139624902048784 139625101858517 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13082624 140722178552799 140722178552966 140722178552966 140722178555855 0
[pid=16340/tid=16348] ppid=16317 vsize=8414124 memory=4104 CPUtime=0 cores=0-7
/proc/16340/task/16348/stat : 16348 (java) S 16317 16317 16140 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 509879800 8616062976 30010 33554432000 4194304 4196468 140722178545024 139624900995984 139625101858517 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13082624 140722178552799 140722178552966 140722178552966 140722178555855 0
[pid=16340/tid=16349] ppid=16317 vsize=8414124 memory=1804 CPUtime=0 cores=0-7
/proc/16340/task/16349/stat : 16349 (java) S 16317 16317 16140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509879800 8616062976 30010 33554432000 4194304 4196468 140722178545024 139624899943184 139625101858517 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13082624 140722178552799 140722178552966 140722178552966 140722178555855 0
[pid=16340/tid=16350] ppid=16317 vsize=8414124 memory=916 CPUtime=0 cores=0-7
/proc/16340/task/16350/stat : 16350 (java) S 16317 16317 16140 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 24 0 509879801 8616062976 30010 33554432000 4194304 4196468 140722178545024 139623926864240 139625101859458 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 9 0 0 6293624 6294260 13082624 140722178552799 140722178552966 140722178552966 140722178555855 0
[pid=16340/tid=16351] ppid=16317 vsize=8414124 memory=4276 CPUtime=0 cores=0-7
/proc/16340/task/16351/stat : 16351 (java) S 16317 16317 16140 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 509879802 8616062976 30010 33554432000 4194304 4196468 140722178545024 139623749641248 139625101858517 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13082624 140722178552799 140722178552966 140722178552966 140722178555855 0
[pid=16340/tid=16352] ppid=16317 vsize=8414124 memory=1408 CPUtime=0 cores=0-7
/proc/16340/task/16352/stat : 16352 (java) S 16317 16317 16140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509879802 8616062976 30010 33554432000 4194304 4196468 140722178545024 139623481205616 139625101858517 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13082624 140722178552799 140722178552966 140722178552966 140722178555855 0
[pid=16340/tid=16353] ppid=16317 vsize=8414124 memory=2628 CPUtime=0 cores=0-7
/proc/16340/task/16353/stat : 16353 (java) S 16317 16317 16140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509879804 8616062976 30010 33554432000 4194304 4196468 140722178545024 139623106697040 139625101866907 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13082624 140722178552799 140722178552966 140722178552966 140722178555855 0
[pid=16340/tid=16354] ppid=16317 vsize=8414124 memory=1472 CPUtime=0.07 cores=0-7
/proc/16340/task/16354/stat : 16354 (java) S 16317 16317 16140 0 -1 1077944384 538 0 0 0 7 0 0 0 20 0 24 0 509879804 8616062976 30010 33554432000 4194304 4196468 140722178545024 139623925812080 139625101859458 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13082624 140722178552799 140722178552966 140722178552966 140722178555855 0
[pid=16340/tid=16355] ppid=16317 vsize=8414124 memory=100288 CPUtime=0.05 cores=0-7
/proc/16340/task/16355/stat : 16355 (java) S 16317 16317 16140 0 -1 1077944384 395 0 0 0 5 0 0 0 20 0 24 0 509879804 8616062976 30010 33554432000 4194304 4196468 140722178545024 139623924759280 139625101859458 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13082624 140722178552799 140722178552966 140722178552966 140722178555855 0
[pid=16340/tid=16356] ppid=16317 vsize=8414124 memory=6791534058613427641 CPUtime=0.04 cores=0-7
/proc/16340/task/16356/stat : 16356 (java) S 16317 16317 16140 0 -1 1077944384 174 0 0 0 4 0 0 0 20 0 24 0 509879804 8616062976 30010 33554432000 4194304 4196468 140722178545024 139623923706480 139625101859458 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13082624 140722178552799 140722178552966 140722178552966 140722178555855 0
[pid=16340/tid=16357] ppid=16317 vsize=8414124 memory=6943526294502006880 CPUtime=0.2 cores=0-7
/proc/16340/task/16357/stat : 16357 (java) S 16317 16317 16140 0 -1 1077944384 570 0 0 0 20 0 0 0 20 0 24 0 509879804 8616062976 30010 33554432000 4194304 4196468 140722178545024 139623922653680 139625101859458 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13082624 140722178552799 140722178552966 140722178552966 140722178555855 0
[pid=16340/tid=16358] ppid=16317 vsize=8414124 memory=6655300316396806240 CPUtime=0 cores=0-7
/proc/16340/task/16358/stat : 16358 (java) S 16317 16317 16140 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 509879805 8616062976 30010 33554432000 4194304 4196468 140722178545024 139622608792160 139625101858517 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13082624 140722178552799 140722178552966 140722178552966 140722178555855 0
[pid=16340/tid=16359] ppid=16317 vsize=8414124 memory=3648 CPUtime=0 cores=0-7
/proc/16340/task/16359/stat : 16359 (java) S 16317 16317 16140 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 509879805 8616062976 30010 33554432000 4194304 4196468 140722178545024 139623921601072 139625101859458 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 6 0 0 6293624 6294260 13082624 140722178552799 140722178552966 140722178552966 140722178555855 0
[pid=16340/tid=16361] ppid=16317 vsize=8414124 memory=51896 CPUtime=0 cores=0-7
/proc/16340/task/16361/stat : 16361 (java) S 16317 16317 16140 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 509879872 8616062976 30010 33554432000 4194304 4196468 140722178545024 139623913567296 139625101872921 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 13082624 140722178552799 140722178552966 140722178552966 140722178555855 0
[pid=16340/tid=16363] ppid=16317 vsize=8414124 memory=2209 CPUtime=0 cores=0-7
/proc/16340/task/16363/stat : 16363 (java) S 16317 16317 16140 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 24 0 509879872 8616062976 30010 33554432000 4194304 4196468 140722178545024 139621937692848 139625101870237 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 13082624 140722178552799 140722178552966 140722178552966 140722178555855 0
[pid=16340/tid=16364] ppid=16317 vsize=8414124 memory=6788 CPUtime=0 cores=0-7
/proc/16340/task/16364/stat : 16364 (java) S 16317 16317 16140 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 509879872 8616062976 30010 33554432000 4194304 4196468 140722178545024 139622206128176 139625101870237 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 13082624 140722178552799 140722178552966 140722178552966 140722178555855 0
[pid=16340/tid=16365] ppid=16317 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/16340/task/16365/stat : 16365 (java) S 16317 16317 16140 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 24 0 509879874 8616062976 30010 33554432000 4194304 4196468 140722178545024 139621669264944 139625101858517 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13082624 140722178552799 140722178552966 140722178552966 140722178555855 0
Current children cumulated CPU time: 35.69 s
Current children cumulated vsize: 9327468 KiB
Current children cumulated memory: 406592 KiB

[startup+11.8013 s]
/proc/loadavg: 0.81 0.32 0.15 9/226 16375
/proc/meminfo: memFree=8953544/32770624 swapFree=67023888/67108860
[pid=16317] ppid=16314 vsize=113128 memory=1472 CPUtime=23.56 cores=0-7
/proc/16317/stat : 16317 (scop.sh) S 16314 16317 16140 0 -1 4202496 581 40073 0 0 0 0 2290 66 20 0 1 0 509878964 115843072 368 33554432000 4194304 5098028 140729394621280 140729394618024 140465676808828 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 35368960 140729394623229 140729394623576 140729394623576 140729394626505 0
/proc/16317/statm: 28282 368 311 221 0 87 0
[pid=16340] ppid=16317 vsize=8283048 memory=125008 CPUtime=12.81 cores=0-7
/proc/16340/stat : 16340 (java) S 16317 16317 16140 0 -1 1077944320 20181 58975 0 0 129 9 1113 30 20 0 22 0 509879798 8481841152 31252 33554432000 4194304 4196468 140722178545024 140722178527568 139625101848311 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13082624 140722178552799 140722178552966 140722178552966 140722178555855 0
/proc/16340/statm: 2070762 31252 3220 1 0 2032106 0
[pid=16340/tid=16341] ppid=16317 vsize=8283048 memory=736 CPUtime=12.19 cores=0-7
/proc/16340/task/16341/stat : 16341 (java) R 16317 16317 16140 0 -1 4202560 16410 58975 0 0 70 6 1113 30 20 0 22 0 509879799 8481841152 31252 33554432000 4194304 4196468 140722178545024 139625073686432 139625101870141 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13082624 140722178552799 140722178552966 140722178552966 140722178555855 0
[pid=16340/tid=16342] ppid=16317 vsize=8283048 memory=2241 CPUtime=11.43 cores=0-7
/proc/16340/task/16342/stat : 16342 (java) S 16317 16317 16140 0 -1 1077944384 1 58975 0 0 0 0 1113 30 20 0 22 0 509879800 8481841152 31252 33554432000 4194304 4196468 140722178545024 139625106090640 139625101858517 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13082624 140722178552799 140722178552966 140722178552966 140722178555855 0
[pid=16340/tid=16343] ppid=16317 vsize=8283048 memory=2244 CPUtime=11.43 cores=0-7
/proc/16340/task/16343/stat : 16343 (java) S 16317 16317 16140 0 -1 1077944384 1 58975 0 0 0 0 1113 30 20 0 22 0 509879800 8481841152 31252 33554432000 4194304 4196468 140722178545024 139624906258960 139625101858517 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13082624 140722178552799 140722178552966 140722178552966 140722178555855 0
[pid=16340/tid=16344] ppid=16317 vsize=8283048 memory=0 CPUtime=11.43 cores=0-7
/proc/16340/task/16344/stat : 16344 (java) S 16317 16317 16140 0 -1 1077944384 1 58975 0 0 0 0 1113 30 20 0 22 0 509879800 8481841152 31252 33554432000 4194304 4196468 140722178545024 139624905206160 139625101858517 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13082624 140722178552799 140722178552966 140722178552966 140722178555855 0
[pid=16340/tid=16345] ppid=16317 vsize=8283048 memory=0 CPUtime=11.43 cores=0-7
/proc/16340/task/16345/stat : 16345 (java) S 16317 16317 16140 0 -1 1077944384 3 58975 0 0 0 0 1113 30 20 0 22 0 509879800 8481841152 31252 33554432000 4194304 4196468 140722178545024 139624904153360 139625101858517 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13082624 140722178552799 140722178552966 140722178552966 140722178555855 0
[pid=16340/tid=16346] ppid=16317 vsize=8283048 memory=0 CPUtime=11.43 cores=0-7
/proc/16340/task/16346/stat : 16346 (java) S 16317 16317 16140 0 -1 1077944384 1 58975 0 0 0 0 1113 30 20 0 22 0 509879800 8481841152 31252 33554432000 4194304 4196468 140722178545024 139624903101584 139625101858517 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13082624 140722178552799 140722178552966 140722178552966 140722178555855 0
[pid=16340/tid=16347] ppid=16317 vsize=8283048 memory=0 CPUtime=11.43 cores=0-7
/proc/16340/task/16347/stat : 16347 (java) S 16317 16317 16140 0 -1 1077944384 2 58975 0 0 0 0 1113 30 20 0 22 0 509879800 8481841152 31252 33554432000 4194304 4196468 140722178545024 139624902048784 139625101858517 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13082624 140722178552799 140722178552966 140722178552966 140722178555855 0
[pid=16340/tid=16348] ppid=16317 vsize=8283048 memory=0 CPUtime=11.43 cores=0-7
/proc/16340/task/16348/stat : 16348 (java) S 16317 16317 16140 0 -1 1077944384 2 58975 0 0 0 0 1113 30 20 0 22 0 509879800 8481841152 31252 33554432000 4194304 4196468 140722178545024 139624900995984 139625101858517 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13082624 140722178552799 140722178552966 140722178552966 140722178555855 0
[pid=16340/tid=16349] ppid=16317 vsize=8283048 memory=171182394 CPUtime=11.43 cores=0-7
/proc/16340/task/16349/stat : 16349 (java) S 16317 16317 16140 0 -1 1077944384 1 58975 0 0 0 0 1113 30 20 0 22 0 509879800 8481841152 31252 33554432000 4194304 4196468 140722178545024 139624899943184 139625101858517 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13082624 140722178552799 140722178552966 140722178552966 140722178555855 0
[pid=16340/tid=16350] ppid=16317 vsize=8283048 memory=9023629670928638048 CPUtime=11.43 cores=0-7
/proc/16340/task/16350/stat : 16350 (java) S 16317 16317 16140 0 -1 1077944384 6 58975 0 0 0 0 1113 30 20 0 22 0 509879801 8481841152 31252 33554432000 4194304 4196468 140722178545024 139623926864240 139625101859458 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 9 0 0 6293624 6294260 13082624 140722178552799 140722178552966 140722178552966 140722178555855 0
[pid=16340/tid=16351] ppid=16317 vsize=8283048 memory=6944656575208382560 CPUtime=11.43 cores=0-7
/proc/16340/task/16351/stat : 16351 (java) S 16317 16317 16140 0 -1 1077944384 13 58975 0 0 0 0 1113 30 20 0 22 0 509879802 8481841152 31252 33554432000 4194304 4196468 140722178545024 139623749641248 139625101858517 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13082624 140722178552799 140722178552966 140722178552966 140722178555855 0
[pid=16340/tid=16352] ppid=16317 vsize=8283048 memory=6943526294502006880 CPUtime=11.43 cores=0-7
/proc/16340/task/16352/stat : 16352 (java) S 16317 16317 16140 0 -1 1077944384 1 58975 0 0 0 0 1113 30 20 0 22 0 509879802 8481841152 31298 33554432000 4194304 4196468 140722178545024 139623481205616 139625101858517 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13082624 140722178552799 140722178552966 140722178552966 140722178555855 0
[pid=16340/tid=16353] ppid=16317 vsize=8283048 memory=0 CPUtime=11.43 cores=0-7
/proc/16340/task/16353/stat : 16353 (java) S 16317 16317 16140 0 -1 1077944384 1 58975 0 0 0 0 1113 30 20 0 22 0 509879804 8481841152 31298 33554432000 4194304 4196468 140722178545024 139623106697040 139625101866907 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13082624 140722178552799 140722178552966 140722178552966 140722178555855 0
[pid=16340/tid=16354] ppid=16317 vsize=8283048 memory=3616988855073648689 CPUtime=11.53 cores=0-7
/proc/16340/task/16354/stat : 16354 (java) S 16317 16317 16140 0 -1 1077944384 549 58975 0 0 10 0 1113 30 20 0 22 0 509879804 8481841152 31298 33554432000 4194304 4196468 140722178545024 139623925812080 139625101859458 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13082624 140722178552799 140722178552966 140722178552966 140722178555855 0
[pid=16340/tid=16355] ppid=16317 vsize=8283048 memory=0 CPUtime=11.52 cores=0-7
/proc/16340/task/16355/stat : 16355 (java) S 16317 16317 16140 0 -1 1077944384 415 58975 0 0 9 0 1113 30 20 0 22 0 509879804 8481841152 31298 33554432000 4194304 4196468 140722178545024 139623924759280 139625101859458 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13082624 140722178552799 140722178552966 140722178552966 140722178555855 0
[pid=16340/tid=16356] ppid=16317 vsize=8283048 memory=33 CPUtime=11.5 cores=0-7
/proc/16340/task/16356/stat : 16356 (java) R 16317 16317 16140 0 -1 4202560 194 58975 0 0 7 0 1113 30 20 0 22 0 509879804 8481841152 31298 33554432000 4194304 4196468 140722178545024 139623923696592 139625083169633 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13082624 140722178552799 140722178552966 140722178552966 140722178555855 0
[pid=16340/tid=16357] ppid=16317 vsize=8283048 memory=8243114992657236051 CPUtime=11.67 cores=0-7
/proc/16340/task/16357/stat : 16357 (java) R 16317 16317 16140 0 -1 4202560 657 58975 0 0 24 0 1113 30 20 0 22 0 509879804 8481841152 31298 33554432000 4194304 4196468 140722178545024 139623922648832 139625101860246 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13082624 140722178552799 140722178552966 140722178552966 140722178555855 0
[pid=16340/tid=16358] ppid=16317 vsize=8283048 memory=288288895970575214 CPUtime=11.43 cores=0-7
/proc/16340/task/16358/stat : 16358 (java) S 16317 16317 16140 0 -1 1077944384 3 58975 0 0 0 0 1113 30 20 0 22 0 509879805 8481841152 31298 33554432000 4194304 4196468 140722178545024 139622608792160 139625101858517 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13082624 140722178552799 140722178552966 140722178552966 140722178555855 0
[pid=16340/tid=16359] ppid=16317 vsize=8283048 memory=0 CPUtime=11.43 cores=0-7
/proc/16340/task/16359/stat : 16359 (java) S 16317 16317 16140 0 -1 1077944384 3 58975 0 0 0 0 1113 30 20 0 22 0 509879805 8481841152 31298 33554432000 4194304 4196468 140722178545024 139623921601072 139625101859458 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 6 0 0 6293624 6294260 13082624 140722178552799 140722178552966 140722178552966 140722178555855 0
[pid=16340/tid=16361] ppid=16317 vsize=8283048 memory=0 CPUtime=11.43 cores=0-7
/proc/16340/task/16361/stat : 16361 (java) S 16317 16317 16140 0 -1 1077944384 25 58975 0 0 0 0 1113 30 20 0 22 0 509879872 8481841152 31298 33554432000 4194304 4196468 140722178545024 139623913566480 139625101859458 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13082624 140722178552799 140722178552966 140722178552966 140722178555855 0
[pid=16340/tid=16365] ppid=16317 vsize=8283048 memory=0 CPUtime=11.43 cores=0-7
/proc/16340/task/16365/stat : 16365 (java) S 16317 16317 16140 0 -1 1077944384 13 58975 0 0 0 0 1113 30 20 0 22 0 509879874 8481841152 31298 33554432000 4194304 4196468 140722178545024 139621669266736 139625101859458 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13082624 140722178552799 140722178552966 140722178552966 140722178555855 0
Current children cumulated CPU time: 36.37 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 126480 KiB

[startup+11.901 s]
/proc/loadavg: 0.81 0.32 0.15 9/226 16375
/proc/meminfo: memFree=8953544/32770624 swapFree=67023888/67108860
[pid=16317] ppid=16314 vsize=113128 memory=1472 CPUtime=23.56 cores=0-7
/proc/16317/stat : 16317 (scop.sh) S 16314 16317 16140 0 -1 4202496 581 40073 0 0 0 0 2290 66 20 0 1 0 509878964 115843072 368 33554432000 4194304 5098028 140729394621280 140729394618024 140465676808828 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 35368960 140729394623229 140729394623576 140729394623576 140729394626505 0
/proc/16317/statm: 28282 368 311 221 0 87 0
[pid=16340] ppid=16317 vsize=8283048 memory=131016 CPUtime=13 cores=0-7
/proc/16340/stat : 16340 (java) S 16317 16317 16140 0 -1 1077944320 20656 58975 0 0 147 10 1113 30 20 0 22 0 509879798 8481841152 32754 33554432000 4194304 4196468 140722178545024 140722178527568 139625101848311 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13082624 140722178552799 140722178552966 140722178552966 140722178555855 0
/proc/16340/statm: 2070762 32754 3225 1 0 2032106 0
[pid=16340/tid=16341] ppid=16317 vsize=8283048 memory=120040 CPUtime=12.29 cores=0-7
/proc/16340/task/16341/stat : 16341 (java) R 16317 16317 16140 0 -1 4202560 16722 58975 0 0 79 7 1113 30 20 0 22 0 509879799 8481841152 32754 33554432000 4194304 4196468 140722178545024 139625073687248 139625101860246 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13082624 140722178552799 140722178552966 140722178552966 140722178555855 0
[pid=16340/tid=16342] ppid=16317 vsize=8283048 memory=72271012039402 CPUtime=11.43 cores=0-7
/proc/16340/task/16342/stat : 16342 (java) S 16317 16317 16140 0 -1 1077944384 1 58975 0 0 0 0 1113 30 20 0 22 0 509879800 8481841152 32754 33554432000 4194304 4196468 140722178545024 139625106090640 139625101858517 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13082624 140722178552799 140722178552966 140722178552966 140722178555855 0
[pid=16340/tid=16343] ppid=16317 vsize=8283048 memory=72271012039402 CPUtime=11.43 cores=0-7
/proc/16340/task/16343/stat : 16343 (java) S 16317 16317 16140 0 -1 1077944384 1 58975 0 0 0 0 1113 30 20 0 22 0 509879800 8481841152 32754 33554432000 4194304 4196468 140722178545024 139624906258960 139625101858517 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13082624 140722178552799 140722178552966 140722178552966 140722178555855 0
[pid=16340/tid=16344] ppid=16317 vsize=8283048 memory=72271012039402 CPUtime=11.43 cores=0-7
/proc/16340/task/16344/stat : 16344 (java) S 16317 16317 16140 0 -1 1077944384 1 58975 0 0 0 0 1113 30 20 0 22 0 509879800 8481841152 32754 33554432000 4194304 4196468 140722178545024 139624905206160 139625101858517 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13082624 140722178552799 140722178552966 140722178552966 140722178555855 0
[pid=16340/tid=16345] ppid=16317 vsize=8283048 memory=72271012039402 CPUtime=11.43 cores=0-7
/proc/16340/task/16345/stat : 16345 (java) S 16317 16317 16140 0 -1 1077944384 3 58975 0 0 0 0 1113 30 20 0 22 0 509879800 8481841152 32754 33554432000 4194304 4196468 140722178545024 139624904153360 139625101858517 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13082624 140722178552799 140722178552966 140722178552966 140722178555855 0
[pid=16340/tid=16346] ppid=16317 vsize=8283048 memory=120040 CPUtime=11.43 cores=0-7
/proc/16340/task/16346/stat : 16346 (java) S 16317 16317 16140 0 -1 1077944384 1 58975 0 0 0 0 1113 30 20 0 22 0 509879800 8481841152 32754 33554432000 4194304 4196468 140722178545024 139624903101584 139625101858517 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13082624 140722178552799 140722178552966 140722178552966 140722178555855 0
[pid=16340/tid=16347] ppid=16317 vsize=8283048 memory=33532 CPUtime=11.43 cores=0-7
/proc/16340/task/16347/stat : 16347 (java) S 16317 16317 16140 0 -1 1077944384 2 58975 0 0 0 0 1113 30 20 0 22 0 509879800 8481841152 32754 33554432000 4194304 4196468 140722178545024 139624902048784 139625101858517 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13082624 140722178552799 140722178552966 140722178552966 140722178555855 0
[pid=16340/tid=16348] ppid=16317 vsize=8283048 memory=1472 CPUtime=11.43 cores=0-7
/proc/16340/task/16348/stat : 16348 (java) S 16317 16317 16140 0 -1 1077944384 2 58975 0 0 0 0 1113 30 20 0 22 0 509879800 8481841152 32754 33554432000 4194304 4196468 140722178545024 139624900995984 139625101858517 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13082624 140722178552799 140722178552966 140722178552966 140722178555855 0
[pid=16340/tid=16349] ppid=16317 vsize=8283048 memory=120040 CPUtime=11.43 cores=0-7
/proc/16340/task/16349/stat : 16349 (java) S 16317 16317 16140 0 -1 1077944384 1 58975 0 0 0 0 1113 30 20 0 22 0 509879800 8481841152 32754 33554432000 4194304 4196468 140722178545024 139624899943184 139625101858517 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13082624 140722178552799 140722178552966 140722178552966 140722178555855 0
[pid=16340/tid=16350] ppid=16317 vsize=8283048 memory=736 CPUtime=11.43 cores=0-7
/proc/16340/task/16350/stat : 16350 (java) S 16317 16317 16140 0 -1 1077944384 6 58975 0 0 0 0 1113 30 20 0 22 0 509879801 8481841152 32754 33554432000 4194304 4196468 140722178545024 139623926864240 139625101859458 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 9 0 0 6293624 6294260 13082624 140722178552799 140722178552966 140722178552966 140722178555855 0
[pid=16340/tid=16351] ppid=16317 vsize=8283048 memory=6791534058613427641 CPUtime=11.43 cores=0-7
/proc/16340/task/16351/stat : 16351 (java) S 16317 16317 16140 0 -1 1077944384 13 58975 0 0 0 0 1113 30 20 0 22 0 509879802 8481841152 32754 33554432000 4194304 4196468 140722178545024 139623749641248 139625101858517 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13082624 140722178552799 140722178552966 140722178552966 140722178555855 0
[pid=16340/tid=16352] ppid=16317 vsize=8283048 memory=0 CPUtime=11.43 cores=0-7
/proc/16340/task/16352/stat : 16352 (java) S 16317 16317 16140 0 -1 1077944384 1 58975 0 0 0 0 1113 30 20 0 22 0 509879802 8481841152 32754 33554432000 4194304 4196468 140722178545024 139623481205616 139625101858517 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13082624 140722178552799 140722178552966 140722178552966 140722178555855 0
[pid=16340/tid=16353] ppid=16317 vsize=8283048 memory=0 CPUtime=11.43 cores=0-7
/proc/16340/task/16353/stat : 16353 (java) S 16317 16317 16140 0 -1 1077944384 1 58975 0 0 0 0 1113 30 20 0 22 0 509879804 8481841152 32754 33554432000 4194304 4196468 140722178545024 139623106697040 139625101866907 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13082624 140722178552799 140722178552966 140722178552966 140722178555855 0
[pid=16340/tid=16354] ppid=16317 vsize=8283048 memory=0 CPUtime=11.54 cores=0-7
/proc/16340/task/16354/stat : 16354 (java) S 16317 16317 16140 0 -1 1077944384 560 58975 0 0 11 0 1113 30 20 0 22 0 509879804 8481841152 32754 33554432000 4194304 4196468 140722178545024 139623925812080 139625101859458 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13082624 140722178552799 140722178552966 140722178552966 140722178555855 0
[pid=16340/tid=16355] ppid=16317 vsize=8283048 memory=0 CPUtime=11.54 cores=0-7
/proc/16340/task/16355/stat : 16355 (java) R 16317 16317 16140 0 -1 1077944384 425 58975 0 0 11 0 1113 30 20 0 22 0 509879804 8481841152 32754 33554432000 4194304 4196468 140722178545024 139623924759280 139625101859458 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13082624 140722178552799 140722178552966 140722178552966 140722178555855 0
[pid=16340/tid=16356] ppid=16317 vsize=8283048 memory=2508 CPUtime=11.51 cores=0-7
/proc/16340/task/16356/stat : 16356 (java) S 16317 16317 16140 0 -1 1077944384 196 58975 0 0 8 0 1113 30 20 0 22 0 509879804 8481841152 32754 33554432000 4194304 4196468 140722178545024 139623923706480 139625101859458 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13082624 140722178552799 140722178552966 140722178552966 140722178555855 0
[pid=16340/tid=16357] ppid=16317 vsize=8283048 memory=1532 CPUtime=11.72 cores=0-7
/proc/16340/task/16357/stat : 16357 (java) R 16317 16317 16140 0 -1 4202560 793 58975 0 0 29 0 1113 30 20 0 22 0 509879804 8481841152 32754 33554432000 4194304 4196468 140722178545024 139623922653680 139625094945147 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13082624 140722178552799 140722178552966 140722178552966 140722178555855 0
[pid=16340/tid=16358] ppid=16317 vsize=8283048 memory=836 CPUtime=11.43 cores=0-7
/proc/16340/task/16358/stat : 16358 (java) S 16317 16317 16140 0 -1 1077944384 3 58975 0 0 0 0 1113 30 20 0 22 0 509879805 8481841152 32754 33554432000 4194304 4196468 140722178545024 139622608792160 139625101858517 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13082624 140722178552799 140722178552966 140722178552966 140722178555855 0
[pid=16340/tid=16359] ppid=16317 vsize=8283048 memory=1760 CPUtime=11.43 cores=0-7
/proc/16340/task/16359/stat : 16359 (java) S 16317 16317 16140 0 -1 1077944384 3 58975 0 0 0 0 1113 30 20 0 22 0 509879805 8481841152 32754 33554432000 4194304 4196468 140722178545024 139623921601072 139625101859458 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 6 0 0 6293624 6294260 13082624 140722178552799 140722178552966 140722178552966 140722178555855 0
[pid=16340/tid=16361] ppid=16317 vsize=8283048 memory=111632 CPUtime=11.43 cores=0-7
/proc/16340/task/16361/stat : 16361 (java) S 16317 16317 16140 0 -1 1077944384 25 58975 0 0 0 0 1113 30 20 0 22 0 509879872 8481841152 32754 33554432000 4194304 4196468 140722178545024 139623913566480 139625101859458 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13082624 140722178552799 140722178552966 140722178552966 140722178555855 0
[pid=16340/tid=16365] ppid=16317 vsize=8283048 memory=804 CPUtime=11.43 cores=0-7
/proc/16340/task/16365/stat : 16365 (java) S 16317 16317 16140 0 -1 1077944384 13 58975 0 0 0 0 1113 30 20 0 22 0 509879874 8481841152 32754 33554432000 4194304 4196468 140722178545024 139621669266736 139625101859458 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13082624 140722178552799 140722178552966 140722178552966 140722178555855 0
Current children cumulated CPU time: 36.56 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 132488 KiB

Child status: 0
Real time (s): 11.9668
CPU time (s): 36.7243
CPU user time (s): 35.6186
CPU system time (s): 1.10574
CPU usage (%): 306.886
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 3115048

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 35.6186
system time used= 1.10574
maximum resident set size= 3116152
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 122164
page faults= 0
swaps= 0
block input operations= 0
block output operations= 16744
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 35409
involuntary context switches= 131


# summary of solver processes directly reported to runsolver:
#   pid: 16317
#   total CPU time (s): 36.7243
#   total CPU user time (s): 35.6186
#   total CPU system time (s): 1.10574

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.116048 second user time and 0.167964 second system time

The end

Launcher Data 

Begin job on node150 at 2019-09-24 16:40:24
IDJOB=4405211
IDBENCH=126480
IDSOLVER=2867
FILE ID=node150/4405211-1569336065
RUNJOBID= node150-1569335938-16167
PBS_JOBID= 21705047
Free space on /var/tmp= 13480 MiB

SOLVER NAME= Fun-sCOP order+ManyGlucose (2019-09-22)
BENCH NAME= XCSP17/SocialGolfers/SocialGolfers-cp-s1/SocialGolfers-9-7-4-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 /var/tmp/evaluation-result-4405211-1569336065/watcher-4405211-1569336065 -o /var/tmp/evaluation-result-4405211-1569336065/solver-4405211-1569336065 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node150-1569335938-16167 --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-4405211-1569336065.xml

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

MD5SUM BENCH= 6c7c8fee2fac051830782d16440ff60b
RANDOM SEED=969539028

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:         9304312 kB
MemAvailable:   31817624 kB
Buffers:          198880 kB
Cached:         22205424 kB
SwapCached:         8132 kB
Active:         11168396 kB
Inactive:       11270700 kB
Active(anon):       2228 kB
Inactive(anon):    83496 kB
Active(file):   11166168 kB
Inactive(file): 11187204 kB
Unevictable:      109416 kB
Mlocked:          109416 kB
SwapTotal:      67108860 kB
SwapFree:       67023888 kB
Dirty:             21136 kB
Writeback:             0 kB
AnonPages:        144324 kB
Mapped:            53852 kB
Shmem:             42708 kB
Slab:             618240 kB
SReclaimable:     588400 kB
SUnreclaim:        29840 kB
KernelStack:        3744 kB
PageTables:         5432 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     514412 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     75776 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:       99712 kB
DirectMap2M:    33445888 kB

Free space on /var/tmp at the end= 13460 MiB
End job on node150 at 2019-09-24 16:40:36