Trace number 4405511

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 hybrid+ManyGlucose (2019-09-22)SAT 32.2189 10.241

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 -hybrid -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-18669-serial-file.bin HOME/instance-4405511-1569336066.xml
0.64/0.56	
0.64/0.56	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
0.64/0.56	
0.64/0.59	c BEGIN-Prog: Tue Sep 24 16:40:25 CEST 2019
0.64/0.59	c PID: 18672
0.64/0.59	c IP: 172.20.3.146
0.64/0.59	c HOST: node146.alineos.net
0.64/0.59	c (0,0) Parsing Begin
7.43/2.37	c (1,1) Parsing End
7.43/2.38	c (1,1) CSP: 238 int (0 aux), 14 bool (0 aux), 11724 ctr, max domain size 9
7.43/2.38	c (1,1) Heap : 901 MiB used (max 21589 MiB), NonHeap : 23 MiB used (max 0 MiB)
7.43/2.38	c (1,1) Constraint Name Generate Begin
7.86/2.45	c (1,1) Ctr:HOME/instance-4405511-1569336066.xml,Cardinality:Instantiation:LexMatrix:Ne:Num:Or:Var
7.86/2.45	c (1,1) Constraint Name Generate End
7.86/2.45	c (1,1) Heap : 901 MiB used (max 21589 MiB), NonHeap : 24 MiB used (max 0 MiB)
7.86/2.45	c (1,1) CSP to CSPinCNF Begin
9.03/2.73	c (2,2) translated 1173 (10%) constraints
9.35/2.82	c (2,2) translated 2345 (20%) constraints
9.35/2.89	c (2,2) translated 3518 (30%) constraints
9.71/2.95	c (2,2) translated 4690 (40%) constraints
10.09/3.01	c (2,2) translated 5862 (50%) constraints
10.09/3.07	c (2,2) translated 7035 (60%) constraints
10.09/3.10	c (2,2) translated 8207 (70%) constraints
10.35/3.14	c (2,2) translated 9380 (80%) constraints
10.35/3.17	c (2,2) translated 10552 (90%) constraints
12.74/3.81	c (3,3) translated 11724 (100%) constraints
14.13/4.67	c (4,4) ===========================================
14.50/4.72	c (4,4) Hybrid: #OE=496, #LE=2331
14.50/4.72	c (4,4) Hybrid
14.50/4.72	c (4,4) ===========================================
14.92/4.86	c (4,4) translated 1710 (10%) constraints
15.26/4.97	c (4,4) translated 3420 (20%) constraints
15.38/5.08	c (4,4) translated 5130 (30%) constraints
15.56/5.18	c (4,4) translated 6839 (40%) constraints
15.77/5.27	c (4,4) translated 8549 (50%) constraints
15.88/5.37	c (4,4) translated 10259 (60%) constraints
15.97/5.49	c (4,4) translated 11968 (70%) constraints
16.60/5.63	c (5,5) translated 13678 (80%) constraints
17.01/5.75	c (5,5) translated 15388 (90%) constraints
17.37/5.84	c (5,5) translated 17097 (100%) constraints
17.37/5.84	c (5,5) CSP to CSPinCNF End
17.37/5.85	c (5,5) CSP: 238 int (0 aux), 4857 bool (4843 aux), 21732 ctr, max domain size 9
17.37/5.85	c (5,5) Heap : 2140 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB)
17.37/5.85	c (5,5) CSPinCNF Propagation Begin
18.94/6.29	c (5,5) 1188 values, 9372 unsatisfiable literals, and 8213 valid clauses are removed
18.94/6.29	c (5,5) CSPinCNF Propagation End
18.94/6.29	c (5,5) CSP: 238 int (0 aux), 4857 bool (4843 aux), 13519 ctr, max domain size 9
18.94/6.29	c (5,5) Heap : 2252 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
19.35/6.34	c (5,5) Hybrid: #OE=2764, #LE=2331
19.35/6.34	c (5,5) Simplify CSPinCNF Begin
20.51/6.67	c (6,6) Simplify CSPinCNF End
20.51/6.67	c (6,6) CSP: 238 int (0 aux), 16987 bool (16973 aux), 25649 ctr, max domain size 9
20.51/6.67	c (6,6) Heap : 2365 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
20.51/6.67	c (6,6) Calculate Precise Domain Begin
20.51/6.68	c (6,6) 0 values are removed by re-calculation
20.51/6.68	c (6,6) Calculate Precise Domain End
20.51/6.68	c (6,6) CSP: 238 int (0 aux), 16987 bool (16973 aux), 25649 ctr, max domain size 9
20.51/6.68	c (6,6) Heap : 2365 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
20.51/6.68	c (6,6) CSPinCNF to SatSolver Begin
22.33/7.17	c (6,6) 2565 (10 %) CSP clauses are encoded (0 SAT variables, 18367 SAT clauses)
23.10/7.39	c (6,6) 5130 (20 %) CSP clauses are encoded (0 SAT variables, 37188 SAT clauses)
23.89/7.54	c (6,6) 7695 (30 %) CSP clauses are encoded (0 SAT variables, 55913 SAT clauses)
24.17/7.66	c (7,7) 10260 (40 %) CSP clauses are encoded (0 SAT variables, 74486 SAT clauses)
24.33/7.77	c (7,7) 12825 (50 %) CSP clauses are encoded (0 SAT variables, 90715 SAT clauses)
24.43/7.87	c (7,7) 15390 (60 %) CSP clauses are encoded (0 SAT variables, 106544 SAT clauses)
24.56/7.93	c (7,7) 17955 (70 %) CSP clauses are encoded (0 SAT variables, 113021 SAT clauses)
25.31/8.15	c (7,7) 20520 (80 %) CSP clauses are encoded (0 SAT variables, 158984 SAT clauses)
25.67/8.24	c (7,7) 23085 (90 %) CSP clauses are encoded (0 SAT variables, 183248 SAT clauses)
26.00/8.32	c (7,7) 25649 (100 %) CSP clauses are encoded (0 SAT variables, 189973 SAT clauses)
26.00/8.32	c (7,7) CSPinCNF to SatSolver End
26.00/8.32	c (7,7) Heap : 3153 MiB used (max 21589 MiB), NonHeap : 32 MiB used (max 0 MiB)
26.00/8.32	c (7,7) 40166 bool, 189981 clause
26.00/8.32	c (7,7) Export Begin
26.24/8.42	c (7,7) Export to HOME/scop-18669-serial-file.bin
26.24/8.42	c (7,7) Export End
26.24/8.42	c (7,7) Export File Size: 0.04 MB
26.24/8.42	c (7,7) 1,1,5,5,6,6,7,STOP-AFTER(DIMACS)
26.24/8.42	c END-Prog: Tue Sep 24 16:40:32 CEST 2019
26.24/8.44	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-18669-serial-file.bin
26.32/8.90	c (0,0) Read Serial File Begin
26.32/8.90	c (0,0) HOME/scop-18669-serial-file.bin
27.24/9.12	c (0,0) Read Serial File End
27.24/9.14	
27.24/9.14	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
27.24/9.14	(Solving Process)
27.24/9.14	
27.24/9.16	c BEGIN-Prog: Tue Sep 24 16:40:33 CEST 2019
27.24/9.16	c PID: 18692
27.24/9.16	c IP: 172.20.3.146
27.24/9.16	c HOST: node146.alineos.net
27.24/9.16	c (0,0) SatSolver.solve Begin
27.24/9.16	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4405511-1569336066.xml-scop-18672.cnf
27.24/9.19	c (0,0) c
27.24/9.19	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)
27.24/9.19	c (0,0) c
27.24/9.19	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
27.24/9.19	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
27.24/9.19	c (0,0) c ========================================[ Problem Statistics ]===========================================
27.24/9.19	c (0,0) c |                                                                                                       |
27.45/9.26	c (0,0) c |  Number of variables:         40166                                                                   |
27.45/9.26	c (0,0) c |  Number of clauses:          189927                                                                   |
27.45/9.26	c (0,0) c |  Parse time:                   0.06 s                                                                 |
27.45/9.26	c (0,0) c |                                                                                                       |
27.52/9.36	c (0,0) c |  Simplification time:          0.10 s                                                                 |
27.52/9.36	c (0,0) c |                                                                                                       |
27.52/9.36	c (0,0) c |  Generating clones                                                                                    |
27.52/9.45	c (0,0) c |  all clones generated. Memory =   168.80Mb.                                                           |
27.52/9.45	c (0,0) c ========================================================================================================|
27.52/9.45	c (0,0) c
27.52/9.45	c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
27.52/9.45	c (0,0) c
27.52/9.45	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
27.52/9.45	c (0,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
27.52/9.45	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
27.52/9.45	c (0,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
27.52/9.45	c (0,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
27.52/9.45	c (0,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
27.52/9.45	c (0,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
27.52/9.45	c (0,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
27.52/9.45	c (0,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
27.52/9.45	c (0,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
27.52/9.45	c (0,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
27.52/9.45	c (0,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
27.52/9.45	c (0,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
27.52/9.45	c (0,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
27.52/9.45	c (0,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
27.52/9.45	c (0,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
27.52/9.45	c (0,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
27.52/9.45	c (0,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
27.52/9.45	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
27.53/9.99	c (1,0) c
27.53/9.99	c (1,0) c real time : 0.799277 s
27.53/9.99	c (1,0) c cpu time  : 4.01081 s
27.53/9.99	c (1,0) c
27.53/9.99	c (1,0) c
27.53/9.99	c (1,0) c
27.53/9.99	c (1,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
27.53/9.99	c (1,0) c
27.53/9.99	c (1,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
27.53/9.99	c (1,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
27.53/9.99	c (1,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
27.53/9.99	c (1,0) c | Conflicts     |           28010 |       2924 |       2581 |       3402 |       3919 |       4300 |       3300 |       3384 |       4200 |
27.53/9.99	c (1,0) c | Decisions     |          436536 |      56281 |      58879 |      57431 |      50162 |      56435 |      45111 |      59891 |      52346 |
27.53/9.99	c (1,0) c | Propagations  |        14189438 |    1770047 |    1692981 |    1884487 |    1577730 |    1988259 |    1634093 |    1709961 |    1931880 |
27.53/9.99	c (1,0) c | ReduceDBs     |               8 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |
27.53/9.99	c (1,0) c | SimpDBs       |              31 |          4 |          4 |          4 |          4 |          4 |          3 |          4 |          4 |
27.53/9.99	c (1,0) c | Restarts      |             172 |         25 |         21 |         26 |         17 |         21 |         13 |         27 |         22 |
27.53/9.99	c (1,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
27.53/9.99	c (1,0) c | PropBinClauses|         6392553 |     849502 |     760043 |     845887 |     705036 |     950851 |     720085 |     716651 |     844498 |
27.53/9.99	c (1,0) c | PropPreBlocker|        44422027 |    5402766 |    5107771 |    5962903 |    5051207 |    6001083 |    5702676 |    5064667 |    6128954 |
27.53/9.99	c (1,0) c | PropNotBlocker|        20512393 |    2487535 |    2392901 |    2770706 |    2355605 |    2768277 |    2478675 |    2376763 |    2881931 |
27.53/9.99	c (1,0) c | LitFullScans  |       104678400 |   12617400 |   12000734 |   13796864 |   12146614 |   14413969 |   12934400 |   12000462 |   14767957 |
27.53/9.99	c (1,0) c | LitScanFracts |           55557 |        197 |         77 |        212 |      15833 |         87 |         48 |         10 |      39093 |
27.53/9.99	c (1,0) c | DecisionLevel0|             968 |        120 |        110 |        135 |        110 |        130 |        110 |        137 |        116 |
27.53/9.99	c (1,0) c | Periods       |              16 |          2 |          2 |          2 |          2 |          2 |          2 |          2 |          2 |
27.53/9.99	c (1,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
27.53/9.99	c (1,0) c | Avg_Trail     |                 |       8611 |       8772 |       7196 |       6158 |       6238 |       7463 |       6838 |       6423 |
27.53/9.99	c (1,0) c | Avg_DL        |                 |        289 |        247 |        266 |        175 |        156 |        422 |        226 |        186 |
27.53/9.99	c (1,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
27.53/9.99	c (1,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
27.53/9.99	c (1,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
27.53/9.99	c (1,0) c | Exported      |            2790 |        284 |        331 |        412 |        395 |        316 |        296 |        415 |        341 |
27.53/9.99	c (1,0) c | Imported      |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
27.53/9.99	c (1,0) c | Good          |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
27.53/9.99	c (1,0) c | Purge         |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
27.53/9.99	c (1,0) c | Promoted      |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
27.53/9.99	c (1,0) c | Remove_Imp    |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
27.53/9.99	c (1,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
27.53/9.99	c (1,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
27.53/9.99	c (1,0) c | Unaries       |                 |         95 |         89 |        109 |         93 |        109 |         97 |        110 |         94 |
27.53/9.99	c (1,0) c | Binaries      |                 |         97 |        106 |        118 |        111 |        102 |         89 |        147 |        120 |
27.53/9.99	c (1,0) c | Glues         |                 |        284 |        331 |        412 |        395 |        316 |        296 |        415 |        341 |
27.53/9.99	c (1,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
27.53/9.99	c (1,0) c | Orig_Seen     |            14 % |      21661 |      21155 |      24839 |      18476 |      20922 |      22384 |      19948 |      23753 |
27.53/9.99	c (1,0) c | Diff Orig seen|                 |        739 |        233 |       3917 | -     2446 |      X     |       1462 | -      974 |       2831 |
27.53/9.99	c (1,0) c | Hamming       |            24 % |      10039 |       9755 |       9963 |       9624 |      X     |      10183 |       9641 |       9831 |
27.53/9.99	c (1,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
27.53/9.99	c (1,0) c | RunningTime   |                 |    0.5 100%|    0.5 100%|    0.5 100%|    0.5 100%|    0.5 100%|    0.5 100%|    0.5 100%|    0.5 100%|
27.53/9.99	c (1,0) c | WaitingTime   |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
27.53/9.99	c (1,0) c | ExchangingTime|                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
27.53/9.99	c (1,0) c | PeriodProcTime|                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
27.53/9.99	c (1,0) c | SolvingTime   |                 |    0.5     |    0.5     |    0.5     |    0.5     |    0.5     |    0.5     |    0.5     |    0.5     |
27.53/9.99	c (1,0) c | PropagationTim|                 |    0.4  77%|    0.4  77%|    0.4  75%|    0.4  76%|    0.4  73%|    0.4  75%|    0.4  75%|    0.4  74%|
27.53/9.99	c (1,0) c | AnalysisTime  |                 |    0.0   5%|    0.0   5%|    0.0   6%|    0.0   6%|    0.0   7%|    0.0   7%|    0.0   5%|    0.0   8%|
27.53/9.99	c (1,0) c | ReductionTime |                 |    0.0   0%|    0.0   4%|    0.0   0%|    0.0   0%|    0.0   4%|    0.0   0%|    0.0   0%|    0.0   4%|
27.53/9.99	c (1,0) c | SimplifyTime  |                 |    0.0   6%|    0.0   2%|    0.0   6%|    0.0   7%|    0.0   3%|    0.0   6%|    0.0   6%|    0.0   3%|
27.53/9.99	c (1,0) c | UsedRateTime  |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
27.53/9.99	c (1,0) c | OverlapRateTim|                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
27.53/9.99	c (1,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
27.53/9.99	c (1,0) c
27.53/9.99	c (1,0) c
27.53/9.99	c (1,0) c Threads : 8
27.53/9.99	c (1,0) c Winner : 4
27.53/9.99	c (1,0) c Conflicts_0 : 2924
27.53/9.99	c (1,0) c Conflicts_1 : 2581
27.53/9.99	c (1,0) c Conflicts_2 : 3402
27.53/9.99	c (1,0) c Conflicts_3 : 3919
27.53/9.99	c (1,0) c Conflicts_4 : 4300
27.53/9.99	c (1,0) c Conflicts_5 : 3300
27.53/9.99	c (1,0) c Conflicts_6 : 3384
27.53/9.99	c (1,0) c Conflicts_7 : 4200
27.53/9.99	c (1,0) c Conflicts_total : 28010
27.53/9.99	c (1,0) c Conflicts_winner : 4300
27.53/9.99	c (1,0) c Decisions_0 : 56281
27.53/9.99	c (1,0) c Decisions_1 : 58879
27.53/9.99	c (1,0) c Decisions_2 : 57431
27.53/9.99	c (1,0) c Decisions_3 : 50162
27.53/9.99	c (1,0) c Decisions_4 : 56435
27.53/9.99	c (1,0) c Decisions_5 : 45111
27.53/9.99	c (1,0) c Decisions_6 : 59891
27.53/9.99	c (1,0) c Decisions_7 : 52346
27.53/9.99	c (1,0) c Decisions_total : 436536
27.53/9.99	c (1,0) c Decisions_winner : 56435
27.53/9.99	c (1,0) c Propagations_0 : 1770047
27.53/9.99	c (1,0) c Propagations_1 : 1692981
27.53/9.99	c (1,0) c Propagations_2 : 1884487
27.53/9.99	c (1,0) c Propagations_3 : 1577730
27.53/9.99	c (1,0) c Propagations_4 : 1988259
27.53/9.99	c (1,0) c Propagations_5 : 1634093
27.53/9.99	c (1,0) c Propagations_6 : 1709961
27.53/9.99	c (1,0) c Propagations_7 : 1931880
27.53/9.99	c (1,0) c Propagations_total : 14189438
27.53/9.99	c (1,0) c Propagations_winner : 1988259
27.53/9.99	c (1,0) c ReduceDBs_0 : 1
27.53/9.99	c (1,0) c ReduceDBs_1 : 1
27.53/9.99	c (1,0) c ReduceDBs_2 : 1
27.53/9.99	c (1,0) c ReduceDBs_3 : 1
27.53/9.99	c (1,0) c ReduceDBs_4 : 1
27.53/9.99	c (1,0) c ReduceDBs_5 : 1
27.53/9.99	c (1,0) c ReduceDBs_6 : 1
27.53/9.99	c (1,0) c ReduceDBs_7 : 1
27.53/9.99	c (1,0) c ReduceDBs_total : 8
27.53/9.99	c (1,0) c ReduceDBs_winner : 1
27.53/9.99	c (1,0) c SimpDBs_0 : 4
27.53/9.99	c (1,0) c SimpDBs_1 : 4
27.53/9.99	c (1,0) c SimpDBs_2 : 4
27.53/9.99	c (1,0) c SimpDBs_3 : 4
27.53/9.99	c (1,0) c SimpDBs_4 : 4
27.53/9.99	c (1,0) c SimpDBs_5 : 3
27.53/9.99	c (1,0) c SimpDBs_6 : 4
27.53/9.99	c (1,0) c SimpDBs_7 : 4
27.53/9.99	c (1,0) c SimpDBs_total : 31
27.53/9.99	c (1,0) c SimpDBs_winner : 4
27.53/9.99	c (1,0) c Restarts_0 : 25
27.53/9.99	c (1,0) c Restarts_1 : 21
27.53/9.99	c (1,0) c Restarts_2 : 26
27.53/9.99	c (1,0) c Restarts_3 : 17
27.53/9.99	c (1,0) c Restarts_4 : 21
27.53/9.99	c (1,0) c Restarts_5 : 13
27.53/9.99	c (1,0) c Restarts_6 : 27
27.53/9.99	c (1,0) c Restarts_7 : 22
27.53/9.99	c (1,0) c Restarts_total : 172
27.53/9.99	c (1,0) c Restarts_winner : 21
27.53/9.99	c (1,0) c ForcedImports_0 : 0
27.53/9.99	c (1,0) c ForcedImports_1 : 0
27.53/9.99	c (1,0) c ForcedImports_2 : 0
27.53/9.99	c (1,0) c ForcedImports_3 : 0
27.53/9.99	c (1,0) c ForcedImports_4 : 0
27.53/9.99	c (1,0) c ForcedImports_5 : 0
27.53/9.99	c (1,0) c ForcedImports_6 : 0
27.53/9.99	c (1,0) c ForcedImports_7 : 0
27.53/9.99	c (1,0) c ForcedImports_total : 0
27.53/9.99	c (1,0) c ForcedImports_winner : 0
27.53/9.99	c (1,0) c PropsBinClauses_0 : 849502
27.53/9.99	c (1,0) c PropsBinClauses_1 : 760043
27.53/9.99	c (1,0) c PropsBinClauses_2 : 845887
27.53/9.99	c (1,0) c PropsBinClauses_3 : 705036
27.53/9.99	c (1,0) c PropsBinClauses_4 : 950851
27.53/9.99	c (1,0) c PropsBinClauses_5 : 720085
27.53/9.99	c (1,0) c PropsBinClauses_6 : 716651
27.53/9.99	c (1,0) c PropsBinClauses_7 : 844498
27.53/9.99	c (1,0) c PropsBinClauses_total : 6392553
27.53/9.99	c (1,0) c PropsBinClauses_winner : 950851
27.53/9.99	c (1,0) c PropsPreBlocker_0 : 5402766
27.53/9.99	c (1,0) c PropsPreBlocker_1 : 5107771
27.53/9.99	c (1,0) c PropsPreBlocker_2 : 5962903
27.53/9.99	c (1,0) c PropsPreBlocker_3 : 5051207
27.53/9.99	c (1,0) c PropsPreBlocker_4 : 6001083
27.53/9.99	c (1,0) c PropsPreBlocker_5 : 5702676
27.53/9.99	c (1,0) c PropsPreBlocker_6 : 5064667
27.53/9.99	c (1,0) c PropsPreBlocker_7 : 6128954
27.53/9.99	c (1,0) c PropsPreBlocker_total : 44422027
27.53/9.99	c (1,0) c PropsPreBlocker_winner : 6001083
27.53/9.99	c (1,0) c PropsNotBlocker_0 : 2487535
27.53/9.99	c (1,0) c PropsNotBlocker_1 : 2392901
27.53/9.99	c (1,0) c PropsNotBlocker_2 : 2770706
27.53/9.99	c (1,0) c PropsNotBlocker_3 : 2355605
27.53/9.99	c (1,0) c PropsNotBlocker_4 : 2768277
27.53/9.99	c (1,0) c PropsNotBlocker_5 : 2478675
27.53/9.99	c (1,0) c PropsNotBlocker_6 : 2376763
27.53/9.99	c (1,0) c PropsNotBlocker_7 : 2881931
27.53/9.99	c (1,0) c PropsNotBlocker_total : 20512393
27.53/9.99	c (1,0) c PropsNotBlocker_winner : 2768277
27.53/9.99	c (1,0) c PropsLitFullScans_0 : 12617400
27.53/9.99	c (1,0) c PropsLitFullScans_1 : 12000734
27.53/9.99	c (1,0) c PropsLitFullScans_2 : 13796864
27.53/9.99	c (1,0) c PropsLitFullScans_3 : 12146614
27.53/9.99	c (1,0) c PropsLitFullScans_4 : 14413969
27.53/9.99	c (1,0) c PropsLitFullScans_5 : 12934400
27.53/9.99	c (1,0) c PropsLitFullScans_6 : 12000462
27.53/9.99	c (1,0) c PropsLitFullScans_7 : 14767957
27.53/9.99	c (1,0) c PropsLitFullScans_total : 104678400
27.53/9.99	c (1,0) c PropsLitFullScans_winner : 14413969
27.53/9.99	c (1,0) c LitScanFractions_0 : 197
27.53/9.99	c (1,0) c LitScanFractions_1 : 77
27.53/9.99	c (1,0) c LitScanFractions_2 : 212
27.53/9.99	c (1,0) c LitScanFractions_3 : 15833
27.53/9.99	c (1,0) c LitScanFractions_4 : 87
27.53/9.99	c (1,0) c LitScanFractions_5 : 48
27.53/9.99	c (1,0) c LitScanFractions_6 : 10
27.53/9.99	c (1,0) c LitScanFractions_7 : 39093
27.53/9.99	c (1,0) c LitScanFractions_total : 55557
27.53/9.99	c (1,0) c LitScanFractions_winner : 87
27.53/9.99	c (1,0) c DecisionLevel0_0 : 120
27.53/9.99	c (1,0) c DecisionLevel0_1 : 110
27.53/9.99	c (1,0) c DecisionLevel0_2 : 135
27.53/9.99	c (1,0) c DecisionLevel0_3 : 110
27.53/9.99	c (1,0) c DecisionLevel0_4 : 130
27.53/9.99	c (1,0) c DecisionLevel0_5 : 110
27.53/9.99	c (1,0) c DecisionLevel0_6 : 137
27.53/9.99	c (1,0) c DecisionLevel0_7 : 116
27.53/9.99	c (1,0) c DecisionLevel0_total : 968
27.53/9.99	c (1,0) c DecisionLevel0_winner : 130
27.53/9.99	c (1,0) c Periods_0 : 2
27.53/9.99	c (1,0) c Periods_1 : 2
27.53/9.99	c (1,0) c Periods_2 : 2
27.53/9.99	c (1,0) c Periods_3 : 2
27.53/9.99	c (1,0) c Periods_4 : 2
27.53/9.99	c (1,0) c Periods_5 : 2
27.53/9.99	c (1,0) c Periods_6 : 2
27.53/9.99	c (1,0) c Periods_7 : 2
27.53/9.99	c (1,0) c Periods_total : 16
27.53/9.99	c (1,0) c Periods_winner : 2
27.53/9.99	c (1,0) c Margin_0 : 20
27.53/10.00	c (1,0) c Margin_1 : 20
27.53/10.00	c (1,0) c Margin_2 : 20
27.53/10.00	c (1,0) c Margin_3 : 20
27.53/10.00	c (1,0) c Margin_4 : 20
27.53/10.00	c (1,0) c Margin_5 : 20
27.53/10.00	c (1,0) c Margin_6 : 20
27.53/10.00	c (1,0) c Margin_7 : 20
27.53/10.00	c (1,0) c Margin_total : 160
27.53/10.00	c (1,0) c Margin_winner : 20
27.53/10.00	c (1,0) c Exported_0 : 284
27.53/10.00	c (1,0) c Exported_1 : 331
27.53/10.00	c (1,0) c Exported_2 : 412
27.53/10.00	c (1,0) c Exported_3 : 395
27.53/10.00	c (1,0) c Exported_4 : 316
27.53/10.00	c (1,0) c Exported_5 : 296
27.53/10.00	c (1,0) c Exported_6 : 415
27.53/10.00	c (1,0) c Exported_7 : 341
27.53/10.00	c (1,0) c Exported_total : 2790
27.53/10.00	c (1,0) c Exported_winner : 316
27.53/10.00	c (1,0) c Imported_0 : 0
27.53/10.00	c (1,0) c Imported_1 : 0
27.53/10.00	c (1,0) c Imported_2 : 0
27.53/10.00	c (1,0) c Imported_3 : 0
27.53/10.00	c (1,0) c Imported_4 : 0
27.53/10.00	c (1,0) c Imported_5 : 0
27.53/10.00	c (1,0) c Imported_6 : 0
27.53/10.00	c (1,0) c Imported_7 : 0
27.53/10.00	c (1,0) c Imported_total : 0
27.53/10.00	c (1,0) c Imported_winner : 0
27.53/10.00	c (1,0) c Good_0 : 0
27.53/10.00	c (1,0) c Good_1 : 0
27.53/10.00	c (1,0) c Good_2 : 0
27.53/10.00	c (1,0) c Good_3 : 0
27.53/10.00	c (1,0) c Good_4 : 0
27.53/10.00	c (1,0) c Good_5 : 0
27.53/10.00	c (1,0) c Good_6 : 0
27.53/10.00	c (1,0) c Good_7 : 0
27.53/10.00	c (1,0) c Good_total : 0
27.53/10.00	c (1,0) c Good_winner : 0
27.53/10.00	c (1,0) c Purge_0 : 0
27.53/10.00	c (1,0) c Purge_1 : 0
27.53/10.00	c (1,0) c Purge_2 : 0
27.53/10.00	c (1,0) c Purge_3 : 0
27.53/10.00	c (1,0) c Purge_4 : 0
27.53/10.00	c (1,0) c Purge_5 : 0
27.53/10.00	c (1,0) c Purge_6 : 0
27.53/10.00	c (1,0) c Purge_7 : 0
27.53/10.00	c (1,0) c Purge_total : 0
27.53/10.00	c (1,0) c Purge_winner : 0
27.53/10.00	c (1,0) c Promoted_0 : 0
27.53/10.00	c (1,0) c Promoted_1 : 0
27.53/10.00	c (1,0) c Promoted_2 : 0
27.53/10.00	c (1,0) c Promoted_3 : 0
27.53/10.00	c (1,0) c Promoted_4 : 0
27.53/10.00	c (1,0) c Promoted_5 : 0
27.53/10.00	c (1,0) c Promoted_6 : 0
27.53/10.00	c (1,0) c Promoted_7 : 0
27.53/10.00	c (1,0) c Promoted_total : 0
27.53/10.00	c (1,0) c Promoted_winner : 0
27.53/10.00	c (1,0) c Remove_Imp_0 : 0
27.53/10.00	c (1,0) c Remove_Imp_1 : 0
27.53/10.00	c (1,0) c Remove_Imp_2 : 0
27.53/10.00	c (1,0) c Remove_Imp_3 : 0
27.53/10.00	c (1,0) c Remove_Imp_4 : 0
27.53/10.00	c (1,0) c Remove_Imp_5 : 0
27.53/10.00	c (1,0) c Remove_Imp_6 : 0
27.53/10.00	c (1,0) c Remove_Imp_7 : 0
27.53/10.00	c (1,0) c Remove_Imp_total : 0
27.53/10.00	c (1,0) c Remove_Imp_winner : 0
27.53/10.00	c (1,0) c Blocked_Reuse_0 : 0
27.53/10.00	c (1,0) c Blocked_Reuse_1 : 0
27.53/10.00	c (1,0) c Blocked_Reuse_2 : 0
27.53/10.00	c (1,0) c Blocked_Reuse_3 : 0
27.53/10.00	c (1,0) c Blocked_Reuse_4 : 0
27.53/10.00	c (1,0) c Blocked_Reuse_5 : 0
27.53/10.00	c (1,0) c Blocked_Reuse_6 : 0
27.53/10.00	c (1,0) c Blocked_Reuse_7 : 0
27.53/10.00	c (1,0) c Blocked_Reuse_total : 0
27.53/10.00	c (1,0) c Blocked_Reuse_winner : 0
27.53/10.00	c (1,0) c Unaries_0 : 95
27.53/10.00	c (1,0) c Unaries_1 : 89
27.53/10.00	c (1,0) c Unaries_2 : 109
27.53/10.00	c (1,0) c Unaries_3 : 93
27.53/10.00	c (1,0) c Unaries_4 : 109
27.53/10.00	c (1,0) c Unaries_5 : 97
27.53/10.00	c (1,0) c Unaries_6 : 110
27.53/10.00	c (1,0) c Unaries_7 : 94
27.53/10.00	c (1,0) c Unaries_total : 796
27.53/10.00	c (1,0) c Unaries_winner : 109
27.53/10.00	c (1,0) c Binaries_0 : 97
27.53/10.00	c (1,0) c Binaries_1 : 106
27.53/10.00	c (1,0) c Binaries_2 : 118
27.53/10.00	c (1,0) c Binaries_3 : 111
27.53/10.00	c (1,0) c Binaries_4 : 102
27.53/10.00	c (1,0) c Binaries_5 : 89
27.53/10.00	c (1,0) c Binaries_6 : 147
27.53/10.00	c (1,0) c Binaries_7 : 120
27.53/10.00	c (1,0) c Binaries_total : 890
27.53/10.00	c (1,0) c Binaries_winner : 102
27.53/10.00	c (1,0) c Glues_0 : 284
27.53/10.00	c (1,0) c Glues_1 : 331
27.53/10.00	c (1,0) c Glues_2 : 412
27.53/10.00	c (1,0) c Glues_3 : 395
27.53/10.00	c (1,0) c Glues_4 : 316
27.53/10.00	c (1,0) c Glues_5 : 296
27.53/10.00	c (1,0) c Glues_6 : 415
27.53/10.00	c (1,0) c Glues_7 : 341
27.53/10.00	c (1,0) c Glues_total : 2790
27.53/10.00	c (1,0) c Glues_winner : 316
27.53/10.00	c (1,0) c RunningTime_0 : 0.483670
27.53/10.00	c (1,0) c RunningTime_1 : 0.537178
27.53/10.00	c (1,0) c RunningTime_2 : 0.480575
27.53/10.00	c (1,0) c RunningTime_3 : 0.500530
27.53/10.00	c (1,0) c RunningTime_4 : 0.478594
27.53/10.00	c (1,0) c RunningTime_5 : 0.493356
27.53/10.00	c (1,0) c RunningTime_6 : 0.502640
27.53/10.00	c (1,0) c RunningTime_7 : 0.488124
27.53/10.00	c (1,0) c RunningTime_total : 3.964667
27.53/10.00	c (1,0) c RunningTime_winner : 0.478594
27.53/10.00	c (1,0) c WaitingTime_0 : 0.000000
27.53/10.00	c (1,0) c WaitingTime_1 : 0.000000
27.53/10.00	c (1,0) c WaitingTime_2 : 0.000000
27.53/10.00	c (1,0) c WaitingTime_3 : 0.000000
27.53/10.00	c (1,0) c WaitingTime_4 : 0.000000
27.53/10.00	c (1,0) c WaitingTime_5 : 0.000000
27.53/10.00	c (1,0) c WaitingTime_6 : 0.000000
27.53/10.00	c (1,0) c WaitingTime_7 : 0.000000
27.53/10.00	c (1,0) c WaitingTime_total : 0.000000
27.53/10.00	c (1,0) c WaitingTime_winner : 0.000000
27.53/10.00	c (1,0) c ExchangingTime_0 : 0.000406
27.53/10.00	c (1,0) c ExchangingTime_1 : 0.000391
27.53/10.00	c (1,0) c ExchangingTime_2 : 0.000484
27.53/10.00	c (1,0) c ExchangingTime_3 : 0.000462
27.53/10.00	c (1,0) c ExchangingTime_4 : 0.000377
27.53/10.00	c (1,0) c ExchangingTime_5 : 0.000625
27.53/10.00	c (1,0) c ExchangingTime_6 : 0.000385
27.53/10.00	c (1,0) c ExchangingTime_7 : 0.000432
27.53/10.00	c (1,0) c ExchangingTime_total : 0.003561
27.53/10.00	c (1,0) c ExchangingTime_winner : 0.000377
27.53/10.00	c (1,0) c PeriodProcTime_0 : 0.000023
27.53/10.00	c (1,0) c PeriodProcTime_1 : 0.000025
27.53/10.00	c (1,0) c PeriodProcTime_2 : 0.000019
27.53/10.00	c (1,0) c PeriodProcTime_3 : 0.000020
27.53/10.00	c (1,0) c PeriodProcTime_4 : 0.000018
27.53/10.00	c (1,0) c PeriodProcTime_5 : 0.000049
27.53/10.00	c (1,0) c PeriodProcTime_6 : 0.000019
27.53/10.00	c (1,0) c PeriodProcTime_7 : 0.000020
27.53/10.00	c (1,0) c PeriodProcTime_total : 0.000193
27.53/10.00	c (1,0) c PeriodProcTime_winner : 0.000018
27.53/10.00	c (1,0) c SolvingTime_0 : 0.484099
27.53/10.00	c (1,0) c SolvingTime_1 : 0.537593
27.53/10.00	c (1,0) c SolvingTime_2 : 0.481077
27.53/10.00	c (1,0) c SolvingTime_3 : 0.501013
27.53/10.00	c (1,0) c SolvingTime_4 : 0.478988
27.53/10.00	c (1,0) c SolvingTime_5 : 0.494030
27.53/10.00	c (1,0) c SolvingTime_6 : 0.503045
27.53/10.00	c (1,0) c SolvingTime_7 : 0.488576
27.53/10.00	c (1,0) c SolvingTime_total : 3.968422
27.53/10.00	c (1,0) c SolvingTime_winner : 0.478988
27.53/10.00	c (1,0) c PropagationTime_0 : 0.372427
27.53/10.00	c (1,0) c PropagationTime_1 : 0.416551
27.53/10.00	c (1,0) c PropagationTime_2 : 0.360127
27.53/10.00	c (1,0) c PropagationTime_3 : 0.378462
27.53/10.00	c (1,0) c PropagationTime_4 : 0.351431
27.53/10.00	c (1,0) c PropagationTime_5 : 0.372431
27.53/10.00	c (1,0) c PropagationTime_6 : 0.379158
27.53/10.00	c (1,0) c PropagationTime_7 : 0.359784
27.53/10.00	c (1,0) c PropagationTime_total : 2.990372
27.53/10.00	c (1,0) c PropagationTime_winner : 0.351431
27.53/10.00	c (1,0) c AnalysisTime_0 : 0.025145
27.53/10.00	c (1,0) c AnalysisTime_1 : 0.025177
27.53/10.00	c (1,0) c AnalysisTime_2 : 0.029249
27.53/10.00	c (1,0) c AnalysisTime_3 : 0.029702
27.53/10.00	c (1,0) c AnalysisTime_4 : 0.033965
27.53/10.00	c (1,0) c AnalysisTime_5 : 0.033634
27.53/10.00	c (1,0) c AnalysisTime_6 : 0.026766
27.53/10.00	c (1,0) c AnalysisTime_7 : 0.037166
27.53/10.00	c (1,0) c AnalysisTime_total : 0.240805
27.53/10.00	c (1,0) c AnalysisTime_winner : 0.033965
27.53/10.00	c (1,0) c ReductionTime_0 : 0.000343
27.53/10.00	c (1,0) c ReductionTime_1 : 0.019933
27.53/10.00	c (1,0) c ReductionTime_2 : 0.000324
27.53/10.00	c (1,0) c ReductionTime_3 : 0.000332
27.53/10.00	c (1,0) c ReductionTime_4 : 0.017288
27.53/10.00	c (1,0) c ReductionTime_5 : 0.000343
27.53/10.00	c (1,0) c ReductionTime_6 : 0.000328
27.53/10.00	c (1,0) c ReductionTime_7 : 0.019672
27.53/10.00	c (1,0) c ReductionTime_total : 0.058563
27.53/10.00	c (1,0) c ReductionTime_winner : 0.017288
27.53/10.00	c (1,0) c SimplifyTime_0 : 0.029313
27.53/10.00	c (1,0) c SimplifyTime_1 : 0.013402
27.53/10.00	c (1,0) c SimplifyTime_2 : 0.027289
27.53/10.00	c (1,0) c SimplifyTime_3 : 0.032627
27.53/10.00	c (1,0) c SimplifyTime_4 : 0.012837
27.53/10.00	c (1,0) c SimplifyTime_5 : 0.031729
27.53/10.00	c (1,0) c SimplifyTime_6 : 0.032565
27.53/10.00	c (1,0) c SimplifyTime_7 : 0.013136
27.53/10.00	c (1,0) c SimplifyTime_total : 0.192898
27.53/10.00	c (1,0) c SimplifyTime_winner : 0.012837
27.53/10.00	c (1,0) c UsedRateTime_0 : 0.000000
27.53/10.00	c (1,0) c UsedRateTime_1 : 0.000000
27.53/10.00	c (1,0) c UsedRateTime_2 : 0.000000
27.53/10.00	c (1,0) c UsedRateTime_3 : 0.000000
27.53/10.00	c (1,0) c UsedRateTime_4 : 0.000000
27.53/10.00	c (1,0) c UsedRateTime_5 : 0.000000
27.53/10.00	c (1,0) c UsedRateTime_6 : 0.000000
27.53/10.00	c (1,0) c UsedRateTime_7 : 0.000000
27.53/10.00	c (1,0) c UsedRateTime_total : 0.000000
27.53/10.00	c (1,0) c UsedRateTime_winner : 0.000000
27.53/10.00	c (1,0) c OverlapRateTime_0 : 0.000000
27.53/10.00	c (1,0) c OverlapRateTime_1 : 0.000000
27.53/10.00	c (1,0) c OverlapRateTime_2 : 0.000000
27.53/10.00	c (1,0) c OverlapRateTime_3 : 0.000000
27.53/10.00	c (1,0) c OverlapRateTime_4 : 0.000000
27.53/10.00	c (1,0) c OverlapRateTime_5 : 0.000000
27.53/10.00	c (1,0) c OverlapRateTime_6 : 0.000000
27.53/10.00	c (1,0) c OverlapRateTime_7 : 0.000000
27.53/10.00	c (1,0) c OverlapRateTime_total : 0.000000
27.53/10.00	c (1,0) c OverlapRateTime_winner : 0.000000
27.53/10.00	c (1,0) c
27.53/10.00	c (1,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
27.53/10.00	c (1,0) c
27.53/10.00	c (1,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
27.53/10.00	c (1,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
27.53/10.00	c (1,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
27.53/10.00	c (1,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
27.53/10.00	c (1,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
27.53/10.00	c (1,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
27.53/10.00	c (1,0) c | Initial random_seed   |  616175288 |  848121588 |  491796539 | 1209287947 |  655598771 |  325888281 |  686586422 |   79383843 |
27.53/10.00	c (1,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
27.53/10.00	c (1,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
27.53/10.00	c (1,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
27.53/10.00	c (1,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
27.53/10.00	c (1,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
27.53/10.00	c (1,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
27.53/10.00	c (1,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
27.53/10.00	c (1,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
27.53/10.00	c (1,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
27.53/10.00	c (1,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
27.53/10.00	c (1,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
27.53/10.00	c (1,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
27.53/10.00	c (1,0) 
27.53/10.00	c (1,0) s SATISFIABLE
31.70/10.06	c (1,0) SatSolver.solve End
31.70/10.06	c (1,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
31.70/10.06	c (1,0) Show results Begin
32.11/10.20	c (1,0) x[0][0] = 0
32.11/10.20	c (1,0) x[0][1] = 0
32.11/10.20	c (1,0) x[0][2] = 0
32.11/10.20	c (1,0) x[0][3] = 0
32.11/10.20	c (1,0) x[0][4] = 0
32.11/10.20	c (1,0) x[0][5] = 0
32.11/10.20	c (1,0) x[0][6] = 0
32.11/10.20	c (1,0) x[0][7] = 1
32.11/10.20	c (1,0) x[0][8] = 1
32.11/10.20	c (1,0) x[0][9] = 1
32.11/10.20	c (1,0) x[0][10] = 1
32.11/10.20	c (1,0) x[0][11] = 1
32.11/10.20	c (1,0) x[0][12] = 1
32.11/10.20	c (1,0) x[0][13] = 1
32.11/10.20	c (1,0) x[0][14] = 2
32.11/10.20	c (1,0) x[0][15] = 2
32.11/10.20	c (1,0) x[0][16] = 2
32.11/10.20	c (1,0) x[0][17] = 2
32.11/10.20	c (1,0) x[0][18] = 2
32.11/10.20	c (1,0) x[0][19] = 2
32.11/10.20	c (1,0) x[0][20] = 2
32.11/10.20	c (1,0) x[0][21] = 3
32.11/10.20	c (1,0) x[0][22] = 3
32.11/10.20	c (1,0) x[0][23] = 3
32.11/10.21	c (1,0) x[0][24] = 3
32.11/10.21	c (1,0) x[0][25] = 3
32.11/10.21	c (1,0) x[0][26] = 3
32.11/10.21	c (1,0) x[0][27] = 3
32.11/10.21	c (1,0) x[0][28] = 4
32.11/10.21	c (1,0) x[0][29] = 4
32.11/10.21	c (1,0) x[0][30] = 4
32.11/10.21	c (1,0) x[0][31] = 4
32.11/10.21	c (1,0) x[0][32] = 4
32.11/10.21	c (1,0) x[0][33] = 4
32.11/10.21	c (1,0) x[0][34] = 4
32.11/10.21	c (1,0) x[0][35] = 5
32.11/10.21	c (1,0) x[0][36] = 5
32.11/10.21	c (1,0) x[0][37] = 5
32.11/10.21	c (1,0) x[0][38] = 5
32.11/10.21	c (1,0) x[0][39] = 5
32.11/10.21	c (1,0) x[0][40] = 5
32.11/10.21	c (1,0) x[0][41] = 5
32.11/10.21	c (1,0) x[0][42] = 6
32.11/10.21	c (1,0) x[0][43] = 6
32.11/10.21	c (1,0) x[0][44] = 6
32.11/10.21	c (1,0) x[0][45] = 6
32.11/10.21	c (1,0) x[0][46] = 6
32.11/10.21	c (1,0) x[0][47] = 6
32.11/10.21	c (1,0) x[0][48] = 6
32.11/10.21	c (1,0) x[0][49] = 7
32.11/10.21	c (1,0) x[0][50] = 7
32.11/10.21	c (1,0) x[0][51] = 7
32.11/10.21	c (1,0) x[0][52] = 7
32.11/10.21	c (1,0) x[0][53] = 7
32.11/10.21	c (1,0) x[0][54] = 7
32.11/10.21	c (1,0) x[0][55] = 7
32.11/10.21	c (1,0) x[0][56] = 8
32.11/10.21	c (1,0) x[0][57] = 8
32.11/10.21	c (1,0) x[0][58] = 8
32.11/10.21	c (1,0) x[0][59] = 8
32.11/10.21	c (1,0) x[0][60] = 8
32.11/10.21	c (1,0) x[0][61] = 8
32.11/10.21	c (1,0) x[0][62] = 8
32.11/10.21	c (1,0) x[1][0] = 0
32.11/10.21	c (1,0) x[1][1] = 2
32.11/10.21	c (1,0) x[1][2] = 3
32.11/10.21	c (1,0) x[1][3] = 4
32.11/10.21	c (1,0) x[1][4] = 5
32.11/10.21	c (1,0) x[1][5] = 7
32.11/10.21	c (1,0) x[1][6] = 8
32.11/10.21	c (1,0) x[1][7] = 1
32.11/10.21	c (1,0) x[1][8] = 2
32.11/10.21	c (1,0) x[1][9] = 3
32.11/10.21	c (1,0) x[1][10] = 4
32.11/10.21	c (1,0) x[1][11] = 5
32.11/10.21	c (1,0) x[1][12] = 6
32.11/10.21	c (1,0) x[1][13] = 7
32.11/10.21	c (1,0) x[1][14] = 0
32.11/10.21	c (1,0) x[1][15] = 1
32.11/10.21	c (1,0) x[1][16] = 2
32.11/10.21	c (1,0) x[1][17] = 3
32.11/10.21	c (1,0) x[1][18] = 4
32.11/10.21	c (1,0) x[1][19] = 6
32.11/10.21	c (1,0) x[1][20] = 8
32.11/10.21	c (1,0) x[1][21] = 0
32.11/10.21	c (1,0) x[1][22] = 1
32.11/10.22	c (1,0) x[1][23] = 4
32.11/10.22	c (1,0) x[1][24] = 5
32.11/10.22	c (1,0) x[1][25] = 6
32.11/10.22	c (1,0) x[1][26] = 7
32.11/10.22	c (1,0) x[1][27] = 8
32.11/10.22	c (1,0) x[1][28] = 0
32.11/10.22	c (1,0) x[1][29] = 1
32.11/10.22	c (1,0) x[1][30] = 2
32.11/10.22	c (1,0) x[1][31] = 4
32.11/10.22	c (1,0) x[1][32] = 6
32.11/10.22	c (1,0) x[1][33] = 7
32.11/10.22	c (1,0) x[1][34] = 8
32.11/10.22	c (1,0) x[1][35] = 0
32.11/10.22	c (1,0) x[1][36] = 1
32.11/10.22	c (1,0) x[1][37] = 2
32.11/10.22	c (1,0) x[1][38] = 3
32.11/10.22	c (1,0) x[1][39] = 4
32.11/10.22	c (1,0) x[1][40] = 5
32.11/10.22	c (1,0) x[1][41] = 8
32.11/10.22	c (1,0) x[1][42] = 1
32.11/10.22	c (1,0) x[1][43] = 2
32.11/10.22	c (1,0) x[1][44] = 3
32.11/10.22	c (1,0) x[1][45] = 5
32.11/10.22	c (1,0) x[1][46] = 6
32.11/10.22	c (1,0) x[1][47] = 7
32.11/10.22	c (1,0) x[1][48] = 8
32.11/10.22	c (1,0) x[1][49] = 0
32.11/10.22	c (1,0) x[1][50] = 2
32.11/10.22	c (1,0) x[1][51] = 3
32.11/10.22	c (1,0) x[1][52] = 5
32.11/10.22	c (1,0) x[1][53] = 6
32.11/10.22	c (1,0) x[1][54] = 7
32.11/10.22	c (1,0) x[1][55] = 8
32.11/10.22	c (1,0) x[1][56] = 0
32.11/10.22	c (1,0) x[1][57] = 1
32.11/10.22	c (1,0) x[1][58] = 3
32.11/10.22	c (1,0) x[1][59] = 4
32.11/10.22	c (1,0) x[1][60] = 5
32.11/10.22	c (1,0) x[1][61] = 6
32.11/10.22	c (1,0) x[1][62] = 7
32.11/10.22	c (1,0) x[2][0] = 1
32.11/10.22	c (1,0) x[2][1] = 2
32.11/10.22	c (1,0) x[2][2] = 5
32.11/10.22	c (1,0) x[2][3] = 4
32.11/10.22	c (1,0) x[2][4] = 0
32.11/10.22	c (1,0) x[2][5] = 6
32.11/10.22	c (1,0) x[2][6] = 8
32.11/10.22	c (1,0) x[2][7] = 2
32.11/10.22	c (1,0) x[2][8] = 6
32.11/10.22	c (1,0) x[2][9] = 1
32.11/10.22	c (1,0) x[2][10] = 3
32.11/10.22	c (1,0) x[2][11] = 7
32.11/10.22	c (1,0) x[2][12] = 8
32.11/10.22	c (1,0) x[2][13] = 5
32.11/10.22	c (1,0) x[2][14] = 8
32.11/10.22	c (1,0) x[2][15] = 0
32.11/10.22	c (1,0) x[2][16] = 3
32.11/10.22	c (1,0) x[2][17] = 4
32.11/10.22	c (1,0) x[2][18] = 7
32.11/10.22	c (1,0) x[2][19] = 6
32.11/10.22	c (1,0) x[2][20] = 1
32.11/10.22	c (1,0) x[2][21] = 3
32.11/10.22	c (1,0) x[2][22] = 5
32.11/10.22	c (1,0) x[2][23] = 2
32.11/10.22	c (1,0) x[2][24] = 1
32.11/10.22	c (1,0) x[2][25] = 4
32.11/10.22	c (1,0) x[2][26] = 7
32.11/10.22	c (1,0) x[2][27] = 0
32.11/10.22	c (1,0) x[2][28] = 5
32.11/10.22	c (1,0) x[2][29] = 3
32.11/10.22	c (1,0) x[2][30] = 7
32.11/10.22	c (1,0) x[2][31] = 6
32.11/10.22	c (1,0) x[2][32] = 1
32.11/10.22	c (1,0) x[2][33] = 0
32.11/10.22	c (1,0) x[2][34] = 4
32.11/10.22	c (1,0) x[2][35] = 7
32.11/10.22	c (1,0) x[2][36] = 4
32.11/10.22	c (1,0) x[2][37] = 5
32.11/10.22	c (1,0) x[2][38] = 2
32.11/10.22	c (1,0) x[2][39] = 0
32.11/10.22	c (1,0) x[2][40] = 8
32.11/10.22	c (1,0) x[2][41] = 6
32.11/10.22	c (1,0) x[2][42] = 7
32.11/10.22	c (1,0) x[2][43] = 1
32.11/10.22	c (1,0) x[2][44] = 8
32.11/10.22	c (1,0) x[2][45] = 3
32.11/10.22	c (1,0) x[2][46] = 2
32.11/10.22	c (1,0) x[2][47] = 4
32.11/10.22	c (1,0) x[2][48] = 5
32.11/10.22	c (1,0) x[2][49] = 2
32.11/10.22	c (1,0) x[2][50] = 8
32.11/10.22	c (1,0) x[2][51] = 7
32.11/10.22	c (1,0) x[2][52] = 6
32.11/10.22	c (1,0) x[2][53] = 0
32.11/10.22	c (1,0) x[2][54] = 1
32.11/10.22	c (1,0) x[2][55] = 3
32.11/10.22	c (1,0) x[2][56] = 0
32.11/10.22	c (1,0) x[2][57] = 6
32.11/10.22	c (1,0) x[2][58] = 3
32.11/10.22	c (1,0) x[2][59] = 8
32.11/10.22	c (1,0) x[2][60] = 4
32.11/10.22	c (1,0) x[2][61] = 5
32.11/10.22	c (1,0) x[2][62] = 2
32.11/10.22	c (1,0) x[3][0] = 1
32.11/10.22	c (1,0) x[3][1] = 6
32.11/10.22	c (1,0) x[3][2] = 2
32.11/10.22	c (1,0) x[3][3] = 0
32.11/10.22	c (1,0) x[3][4] = 3
32.11/10.22	c (1,0) x[3][5] = 4
32.11/10.22	c (1,0) x[3][6] = 7
32.11/10.22	c (1,0) x[3][7] = 4
32.11/10.22	c (1,0) x[3][8] = 7
32.11/10.22	c (1,0) x[3][9] = 6
32.11/10.22	c (1,0) x[3][10] = 8
32.11/10.22	c (1,0) x[3][11] = 5
32.11/10.22	c (1,0) x[3][12] = 3
32.11/10.22	c (1,0) x[3][13] = 0
32.11/10.22	c (1,0) x[3][14] = 4
32.11/10.22	c (1,0) x[3][15] = 5
32.11/10.22	c (1,0) x[3][16] = 2
32.11/10.22	c (1,0) x[3][17] = 3
32.11/10.22	c (1,0) x[3][18] = 1
32.11/10.22	c (1,0) x[3][19] = 6
32.11/10.22	c (1,0) x[3][20] = 0
32.11/10.22	c (1,0) x[3][21] = 0
32.11/10.22	c (1,0) x[3][22] = 3
32.11/10.22	c (1,0) x[3][23] = 5
32.11/10.22	c (1,0) x[3][24] = 8
32.11/10.22	c (1,0) x[3][25] = 7
32.11/10.22	c (1,0) x[3][26] = 2
32.11/10.22	c (1,0) x[3][27] = 6
32.11/10.22	c (1,0) x[3][28] = 8
32.11/10.22	c (1,0) x[3][29] = 7
32.11/10.22	c (1,0) x[3][30] = 0
32.11/10.22	c (1,0) x[3][31] = 3
32.11/10.22	c (1,0) x[3][32] = 5
32.11/10.22	c (1,0) x[3][33] = 1
32.11/10.22	c (1,0) x[3][34] = 2
32.11/10.22	c (1,0) x[3][35] = 6
32.11/10.22	c (1,0) x[3][36] = 1
32.11/10.22	c (1,0) x[3][37] = 5
32.11/10.22	c (1,0) x[3][38] = 7
32.11/10.22	c (1,0) x[3][39] = 4
32.11/10.22	c (1,0) x[3][40] = 2
32.11/10.22	c (1,0) x[3][41] = 8
32.11/10.22	c (1,0) x[3][42] = 8
32.11/10.22	c (1,0) x[3][43] = 3
32.11/10.22	c (1,0) x[3][44] = 1
32.11/10.22	c (1,0) x[3][45] = 6
32.11/10.22	c (1,0) x[3][46] = 0
32.11/10.22	c (1,0) x[3][47] = 5
32.11/10.22	c (1,0) x[3][48] = 4
32.11/10.22	c (1,0) x[3][49] = 3
32.11/10.22	c (1,0) x[3][50] = 8
32.11/10.22	c (1,0) x[3][51] = 4
32.11/10.22	c (1,0) x[3][52] = 0
32.11/10.22	c (1,0) x[3][53] = 2
32.11/10.22	c (1,0) x[3][54] = 7
32.11/10.22	c (1,0) x[3][55] = 1
32.11/10.22	c (1,0) x[3][56] = 7
32.11/10.22	c (1,0) x[3][57] = 2
32.11/10.22	c (1,0) x[3][58] = 5
32.11/10.22	c (1,0) x[3][59] = 6
32.11/10.22	c (1,0) x[3][60] = 4
32.11/10.22	c (1,0) x[3][61] = 1
32.11/10.22	c (1,0) x[3][62] = 8
32.11/10.22	s SATISFIABLE
32.11/10.23	v <instantiation>
32.11/10.23	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>
32.11/10.23	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 3 4 5 7 8 1 2 3 4 5 6 7 0 1 2 3 4 6 8 0 1 4 5 6 7 8 0 1 2 4 6 7 8 0 1 2 3 4 5 8 1 2 3 5 6 7 8 0 2 3 5 6 7 8 0 1 3 4 5 6 7 1 2 5 4 0 6 8 2 6 1 3 7 8 5 8 0 3 4 7 6 1 3 5 2 1 4 7 0 5 3 7 6 1 0 4 7 4 5 2 0 8 6 7 1 8 3 2 4 5 2 8 7 6 0 1 3 0 6 3 8 4 5 2 1 6 2 0 3 4 7 4 7 6 8 5 3 0 4 5 2 3 1 6 0 0 3 5 8 7 2 6 8 7 0 3 5 1 2 6 1 5 7 4 2 8 8 3 1 6 0 5 4 3 8 4 0 2 7 1 7 2 5 6 4 1 8</values>
32.11/10.23	v </instantiation>
32.11/10.23	c (1,0) Show results End
32.11/10.23	c (1,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB)
32.11/10.23	c (1,0) 1,1,STOP-AFTER(ALL)
32.11/10.23	c END-Prog: Tue Sep 24 16:40:34 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 (11890 MiB free)
  memory of node 1: 16384 MiB (9758 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4405511-1569336066/watcher-4405511-1569336066 -o /var/tmp/evaluation-result-4405511-1569336066/solver-4405511-1569336066 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node146-1569335937-18517 --watchdog 2580 HOME/scop.sh 22g HOME/scop.jar -hybrid HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4405511-1569336066.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=18669, runsolver pid=18666

[startup+0.100111 s]*
/proc/loadavg: 3.71 1.07 0.41 2/214 18691
/proc/meminfo: memFree=22073228/32770624 swapFree=67002360/67108860
[pid=18669] ppid=18666 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/18669/stat : 18669 (scop.sh) S 18666 18669 18490 0 -1 4202496 555 320 0 0 0 0 0 0 20 0 1 0 509520469 115843072 348 33554432000 4194304 5098028 140729171043408 140729171040664 139974118900348 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 18731008 140729171047164 140729171047512 140729171047512 140729171050441 0
/proc/18669/statm: 28282 348 296 221 0 87 0
[pid=18672] ppid=18669 vsize=27314120 memory=107664 CPUtime=0.1 cores=0-7
/proc/18672/stat : 18672 (java) S 18669 18669 18490 0 -1 1077944320 6461 0 0 0 8 2 0 0 20 0 20 0 509520470 27969658880 26916 33554432000 4194304 4196468 140725496072016 140725496054560 140375487418103 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13283328 140725496079046 140725496079494 140725496079494 140725496082383 0
/proc/18672/statm: 6828530 26916 2807 1 0 6790935 0
[pid=18672/tid=18673] ppid=18669 vsize=27314120 memory=1398722017469774279 CPUtime=0.09 cores=0-7
/proc/18672/task/18673/stat : 18673 (java) R 18669 18669 18490 0 -1 4202560 4574 0 0 0 7 2 0 0 20 0 20 0 509520470 27969658880 26916 33554432000 4194304 4196468 140725496072016 140375459244432 140375479655230 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13283328 140725496079046 140725496079494 140725496079494 140725496082383 0
[pid=18672/tid=18674] ppid=18669 vsize=27314120 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/18672/task/18674/stat : 18674 (java) S 18669 18669 18490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509520472 27969658880 26916 33554432000 4194304 4196468 140725496072016 140375491660944 140375487428309 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13283328 140725496079046 140725496079494 140725496079494 140725496082383 0
[pid=18672/tid=18675] ppid=18669 vsize=27314120 memory=140569206249088 CPUtime=0 cores=0-7
/proc/18672/task/18675/stat : 18675 (java) S 18669 18669 18490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509520472 27969658880 26916 33554432000 4194304 4196468 140725496072016 140375305817104 140375487428309 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13283328 140725496079046 140725496079494 140725496079494 140725496082383 0
[pid=18672/tid=18676] ppid=18669 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18672/task/18676/stat : 18676 (java) S 18669 18669 18490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509520472 27969658880 26916 33554432000 4194304 4196468 140725496072016 140375304764304 140375487428309 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13283328 140725496079046 140725496079494 140725496079494 140725496082383 0
[pid=18672/tid=18677] ppid=18669 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18672/task/18677/stat : 18677 (java) S 18669 18669 18490 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509520472 27969658880 26916 33554432000 4194304 4196468 140725496072016 140375303711504 140375487428309 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13283328 140725496079046 140725496079494 140725496079494 140725496082383 0
[pid=18672/tid=18678] ppid=18669 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18672/task/18678/stat : 18678 (java) S 18669 18669 18490 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509520472 27969658880 26916 33554432000 4194304 4196468 140725496072016 140374906141328 140375487428309 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13283328 140725496079046 140725496079494 140725496079494 140725496082383 0
[pid=18672/tid=18679] ppid=18669 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/18672/task/18679/stat : 18679 (java) S 18669 18669 18490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509520472 27969658880 26916 33554432000 4194304 4196468 140725496072016 140374905088528 140375487428309 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13283328 140725496079046 140725496079494 140725496079494 140725496082383 0
[pid=18672/tid=18680] ppid=18669 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18672/task/18680/stat : 18680 (java) S 18669 18669 18490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509520473 27969658880 26916 33554432000 4194304 4196468 140725496072016 140374904035728 140375487428309 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13283328 140725496079046 140725496079494 140725496079494 140725496082383 0
[pid=18672/tid=18681] ppid=18669 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18672/task/18681/stat : 18681 (java) S 18669 18669 18490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509520473 27969658880 26916 33554432000 4194304 4196468 140725496072016 140374902982928 140375487428309 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13283328 140725496079046 140725496079494 140725496079494 140725496082383 0
[pid=18672/tid=18682] ppid=18669 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18672/task/18682/stat : 18682 (java) S 18669 18669 18490 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509520474 27969658880 26916 33554432000 4194304 4196468 140725496072016 140373539085168 140375487429250 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13283328 140725496079046 140725496079494 140725496079494 140725496082383 0
[pid=18672/tid=18683] ppid=18669 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18672/task/18683/stat : 18683 (java) S 18669 18669 18490 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 509520474 27969658880 26916 33554432000 4194304 4196468 140725496072016 140373422761504 140375487428309 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13283328 140725496079046 140725496079494 140725496079494 140725496082383 0
[pid=18672/tid=18684] ppid=18669 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18672/task/18684/stat : 18684 (java) S 18669 18669 18490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509520475 27969658880 26916 33554432000 4194304 4196468 140725496072016 140373154325872 140375487428309 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13283328 140725496079046 140725496079494 140725496079494 140725496082383 0
[pid=18672/tid=18685] ppid=18669 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18672/task/18685/stat : 18685 (java) S 18669 18669 18490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509520477 27969658880 26916 33554432000 4194304 4196468 140725496072016 140372779817296 140375487436699 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13283328 140725496079046 140725496079494 140725496079494 140725496082383 0
[pid=18672/tid=18686] ppid=18669 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18672/task/18686/stat : 18686 (java) S 18669 18669 18490 0 -1 1077944384 297 0 0 0 0 0 0 0 20 0 20 0 509520477 27969658880 26916 33554432000 4194304 4196468 140725496072016 140373538031984 140375487429250 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13283328 140725496079046 140725496079494 140725496079494 140725496082383 0
[pid=18672/tid=18687] ppid=18669 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18672/task/18687/stat : 18687 (java) S 18669 18669 18490 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509520477 27969658880 26916 33554432000 4194304 4196468 140725496072016 140373536979184 140375487429250 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13283328 140725496079046 140725496079494 140725496079494 140725496082383 0
[pid=18672/tid=18688] ppid=18669 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18672/task/18688/stat : 18688 (java) S 18669 18669 18490 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509520477 27969658880 26916 33554432000 4194304 4196468 140725496072016 140373535926384 140375487429250 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13283328 140725496079046 140725496079494 140725496079494 140725496082383 0
[pid=18672/tid=18689] ppid=18669 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18672/task/18689/stat : 18689 (java) S 18669 18669 18490 0 -1 1077944384 254 0 0 0 0 0 0 0 20 0 20 0 509520477 27969658880 26916 33554432000 4194304 4196468 140725496072016 140373534873584 140375487429250 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13283328 140725496079046 140725496079494 140725496079494 140725496082383 0
[pid=18672/tid=18690] ppid=18669 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18672/task/18690/stat : 18690 (java) S 18669 18669 18490 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509520477 27969658880 26916 33554432000 4194304 4196468 140725496072016 140372281912416 140375487428309 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13283328 140725496079046 140725496079494 140725496079494 140725496082383 0
[pid=18672/tid=18691] ppid=18669 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/18672/task/18691/stat : 18691 (java) S 18669 18669 18490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509520478 27969658880 26916 33554432000 4194304 4196468 140725496072016 140373533822000 140375487429250 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13283328 140725496079046 140725496079494 140725496079494 140725496082383 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 109056 KiB

[startup+0.210443 s]*
/proc/loadavg: 3.71 1.07 0.41 3/214 18691
/proc/meminfo: memFree=22045616/32770624 swapFree=67002360/67108860
[pid=18669] ppid=18666 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/18669/stat : 18669 (scop.sh) S 18666 18669 18490 0 -1 4202496 555 320 0 0 0 0 0 0 20 0 1 0 509520469 115843072 348 33554432000 4194304 5098028 140729171043408 140729171040664 139974118900348 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 18731008 140729171047164 140729171047512 140729171047512 140729171050441 0
/proc/18669/statm: 28282 348 296 221 0 87 0
[pid=18672] ppid=18669 vsize=27314120 memory=124460 CPUtime=0.24 cores=0-7
/proc/18672/stat : 18672 (java) S 18669 18669 18490 0 -1 1077944320 11459 0 0 0 19 5 0 0 20 0 20 0 509520470 27969658880 31115 33554432000 4194304 4196468 140725496072016 140725496054560 140375487418103 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13283328 140725496079046 140725496079494 140725496079494 140725496082383 0
/proc/18672/statm: 6828530 31115 2929 1 0 6790935 0
[pid=18672/tid=18673] ppid=18669 vsize=27314120 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/18672/task/18673/stat : 18673 (java) R 18669 18669 18490 0 -1 4202560 9176 0 0 0 15 4 0 0 20 0 20 0 509520470 27969658880 31115 33554432000 4194304 4196468 140725496072016 140375459217488 140375470604884 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13283328 140725496079046 140725496079494 140725496079494 140725496082383 0
[pid=18672/tid=18674] ppid=18669 vsize=27314120 memory=339 CPUtime=0 cores=0-7
/proc/18672/task/18674/stat : 18674 (java) S 18669 18669 18490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509520472 27969658880 31115 33554432000 4194304 4196468 140725496072016 140375491660944 140375487428309 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13283328 140725496079046 140725496079494 140725496079494 140725496082383 0
[pid=18672/tid=18675] ppid=18669 vsize=27314120 memory=288370945357960832 CPUtime=0 cores=0-7
/proc/18672/task/18675/stat : 18675 (java) S 18669 18669 18490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509520472 27969658880 31115 33554432000 4194304 4196468 140725496072016 140375305817104 140375487428309 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13283328 140725496079046 140725496079494 140725496079494 140725496082383 0
[pid=18672/tid=18676] ppid=18669 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/18672/task/18676/stat : 18676 (java) S 18669 18669 18490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509520472 27969658880 31115 33554432000 4194304 4196468 140725496072016 140375304764304 140375487428309 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13283328 140725496079046 140725496079494 140725496079494 140725496082383 0
[pid=18672/tid=18677] ppid=18669 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18672/task/18677/stat : 18677 (java) S 18669 18669 18490 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509520472 27969658880 31115 33554432000 4194304 4196468 140725496072016 140375303711504 140375487428309 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13283328 140725496079046 140725496079494 140725496079494 140725496082383 0
[pid=18672/tid=18678] ppid=18669 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18672/task/18678/stat : 18678 (java) S 18669 18669 18490 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509520472 27969658880 31115 33554432000 4194304 4196468 140725496072016 140374906141328 140375487428309 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13283328 140725496079046 140725496079494 140725496079494 140725496082383 0
[pid=18672/tid=18679] ppid=18669 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/18672/task/18679/stat : 18679 (java) S 18669 18669 18490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509520472 27969658880 31115 33554432000 4194304 4196468 140725496072016 140374905088528 140375487428309 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13283328 140725496079046 140725496079494 140725496079494 140725496082383 0
[pid=18672/tid=18680] ppid=18669 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18672/task/18680/stat : 18680 (java) S 18669 18669 18490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509520473 27969658880 31115 33554432000 4194304 4196468 140725496072016 140374904035728 140375487428309 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13283328 140725496079046 140725496079494 140725496079494 140725496082383 0
[pid=18672/tid=18681] ppid=18669 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18672/task/18681/stat : 18681 (java) S 18669 18669 18490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509520473 27969658880 31115 33554432000 4194304 4196468 140725496072016 140374902982928 140375487428309 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13283328 140725496079046 140725496079494 140725496079494 140725496082383 0
[pid=18672/tid=18682] ppid=18669 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18672/task/18682/stat : 18682 (java) S 18669 18669 18490 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509520474 27969658880 31115 33554432000 4194304 4196468 140725496072016 140373539085168 140375487429250 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13283328 140725496079046 140725496079494 140725496079494 140725496082383 0
[pid=18672/tid=18683] ppid=18669 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18672/task/18683/stat : 18683 (java) S 18669 18669 18490 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 509520474 27969658880 31115 33554432000 4194304 4196468 140725496072016 140373422761504 140375487428309 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13283328 140725496079046 140725496079494 140725496079494 140725496082383 0
[pid=18672/tid=18684] ppid=18669 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18672/task/18684/stat : 18684 (java) S 18669 18669 18490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509520475 27969658880 31115 33554432000 4194304 4196468 140725496072016 140373154325872 140375487428309 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13283328 140725496079046 140725496079494 140725496079494 140725496082383 0
[pid=18672/tid=18685] ppid=18669 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18672/task/18685/stat : 18685 (java) S 18669 18669 18490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509520477 27969658880 31115 33554432000 4194304 4196468 140725496072016 140372779817296 140375487436699 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13283328 140725496079046 140725496079494 140725496079494 140725496082383 0
[pid=18672/tid=18686] ppid=18669 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18672/task/18686/stat : 18686 (java) S 18669 18669 18490 0 -1 1077944384 422 0 0 0 0 0 0 0 20 0 20 0 509520477 27969658880 31115 33554432000 4194304 4196468 140725496072016 140373538031984 140375487429250 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13283328 140725496079046 140725496079494 140725496079494 140725496082383 0
[pid=18672/tid=18687] ppid=18669 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18672/task/18687/stat : 18687 (java) S 18669 18669 18490 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 20 0 509520477 27969658880 31115 33554432000 4194304 4196468 140725496072016 140373536979184 140375487429250 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13283328 140725496079046 140725496079494 140725496079494 140725496082383 0
[pid=18672/tid=18688] ppid=18669 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/18672/task/18688/stat : 18688 (java) S 18669 18669 18490 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509520477 27969658880 31115 33554432000 4194304 4196468 140725496072016 140373535926384 140375487429250 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13283328 140725496079046 140725496079494 140725496079494 140725496082383 0
[pid=18672/tid=18689] ppid=18669 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7
/proc/18672/task/18689/stat : 18689 (java) S 18669 18669 18490 0 -1 1077944384 486 0 0 0 2 0 0 0 20 0 20 0 509520477 27969658880 31115 33554432000 4194304 4196468 140725496072016 140373534873584 140375487429250 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13283328 140725496079046 140725496079494 140725496079494 140725496082383 0
[pid=18672/tid=18690] ppid=18669 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18672/task/18690/stat : 18690 (java) S 18669 18669 18490 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509520477 27969658880 31115 33554432000 4194304 4196468 140725496072016 140372281912416 140375487428309 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13283328 140725496079046 140725496079494 140725496079494 140725496082383 0
[pid=18672/tid=18691] ppid=18669 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/18672/task/18691/stat : 18691 (java) S 18669 18669 18490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509520478 27969658880 31115 33554432000 4194304 4196468 140725496072016 140373533822000 140375487429250 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13283328 140725496079046 140725496079494 140725496079494 140725496082383 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 125852 KiB

[startup+0.309563 s]*
/proc/loadavg: 3.71 1.07 0.41 2/214 18691
/proc/meminfo: memFree=22046128/32770624 swapFree=67002360/67108860
[pid=18669] ppid=18666 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/18669/stat : 18669 (scop.sh) S 18666 18669 18490 0 -1 4202496 555 320 0 0 0 0 0 0 20 0 1 0 509520469 115843072 348 33554432000 4194304 5098028 140729171043408 140729171040664 139974118900348 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 18731008 140729171047164 140729171047512 140729171047512 140729171050441 0
/proc/18669/statm: 28282 348 296 221 0 87 0
[pid=18672] ppid=18669 vsize=27314120 memory=127876 CPUtime=0.42 cores=0-7
/proc/18672/stat : 18672 (java) S 18669 18669 18490 0 -1 1077944320 11890 0 0 0 36 6 0 0 20 0 20 0 509520470 27969658880 31969 33554432000 4194304 4196468 140725496072016 140725496054560 140375487418103 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13283328 140725496079046 140725496079494 140725496079494 140725496082383 0
/proc/18672/statm: 6828530 31969 2979 1 0 6790935 0
[pid=18672/tid=18673] ppid=18669 vsize=27314120 memory=1398722017469774279 CPUtime=0.29 cores=0-7
/proc/18672/task/18673/stat : 18673 (java) R 18669 18669 18490 0 -1 4202560 9430 0 0 0 24 5 0 0 20 0 20 0 509520470 27969658880 31969 33554432000 4194304 4196468 140725496072016 140375459248176 140375468999896 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13283328 140725496079046 140725496079494 140725496079494 140725496082383 0
[pid=18672/tid=18674] ppid=18669 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18672/task/18674/stat : 18674 (java) S 18669 18669 18490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509520472 27969658880 31969 33554432000 4194304 4196468 140725496072016 140375491660944 140375487428309 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13283328 140725496079046 140725496079494 140725496079494 140725496082383 0
[pid=18672/tid=18675] ppid=18669 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18672/task/18675/stat : 18675 (java) S 18669 18669 18490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509520472 27969658880 31969 33554432000 4194304 4196468 140725496072016 140375305817104 140375487428309 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13283328 140725496079046 140725496079494 140725496079494 140725496082383 0
[pid=18672/tid=18676] ppid=18669 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18672/task/18676/stat : 18676 (java) S 18669 18669 18490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509520472 27969658880 31969 33554432000 4194304 4196468 140725496072016 140375304764304 140375487428309 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13283328 140725496079046 140725496079494 140725496079494 140725496082383 0
[pid=18672/tid=18677] ppid=18669 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18672/task/18677/stat : 18677 (java) S 18669 18669 18490 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509520472 27969658880 31969 33554432000 4194304 4196468 140725496072016 140375303711504 140375487428309 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13283328 140725496079046 140725496079494 140725496079494 140725496082383 0
[pid=18672/tid=18678] ppid=18669 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18672/task/18678/stat : 18678 (java) S 18669 18669 18490 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509520472 27969658880 31969 33554432000 4194304 4196468 140725496072016 140374906141328 140375487428309 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13283328 140725496079046 140725496079494 140725496079494 140725496082383 0
[pid=18672/tid=18679] ppid=18669 vsize=27314120 memory=140569045199535 CPUtime=0 cores=0-7
/proc/18672/task/18679/stat : 18679 (java) S 18669 18669 18490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509520472 27969658880 31969 33554432000 4194304 4196468 140725496072016 140374905088528 140375487428309 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13283328 140725496079046 140725496079494 140725496079494 140725496082383 0
[pid=18672/tid=18680] ppid=18669 vsize=27314120 memory=140569045201840 CPUtime=0 cores=0-7
/proc/18672/task/18680/stat : 18680 (java) S 18669 18669 18490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509520473 27969658880 31969 33554432000 4194304 4196468 140725496072016 140374904035728 140375487428309 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13283328 140725496079046 140725496079494 140725496079494 140725496082383 0
[pid=18672/tid=18681] ppid=18669 vsize=27314120 memory=140569045204144 CPUtime=0 cores=0-7
/proc/18672/task/18681/stat : 18681 (java) S 18669 18669 18490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509520473 27969658880 31969 33554432000 4194304 4196468 140725496072016 140374902982928 140375487428309 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13283328 140725496079046 140725496079494 140725496079494 140725496082383 0
[pid=18672/tid=18682] ppid=18669 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18672/task/18682/stat : 18682 (java) S 18669 18669 18490 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509520474 27969658880 31969 33554432000 4194304 4196468 140725496072016 140373539085168 140375487429250 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13283328 140725496079046 140725496079494 140725496079494 140725496082383 0
[pid=18672/tid=18683] ppid=18669 vsize=27314120 memory=281138090422160 CPUtime=0 cores=0-7
/proc/18672/task/18683/stat : 18683 (java) S 18669 18669 18490 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 509520474 27969658880 31969 33554432000 4194304 4196468 140725496072016 140373422761504 140375487428309 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13283328 140725496079046 140725496079494 140725496079494 140725496082383 0
[pid=18672/tid=18684] ppid=18669 vsize=27314120 memory=281138090419856 CPUtime=0 cores=0-7
/proc/18672/task/18684/stat : 18684 (java) S 18669 18669 18490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509520475 27969658880 31969 33554432000 4194304 4196468 140725496072016 140373154325872 140375487428309 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13283328 140725496079046 140725496079494 140725496079494 140725496082383 0
[pid=18672/tid=18685] ppid=18669 vsize=27314120 memory=281138090426768 CPUtime=0 cores=0-7
/proc/18672/task/18685/stat : 18685 (java) S 18669 18669 18490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509520477 27969658880 31969 33554432000 4194304 4196468 140725496072016 140372779817296 140375487436699 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13283328 140725496079046 140725496079494 140725496079494 140725496082383 0
[pid=18672/tid=18686] ppid=18669 vsize=27314120 memory=281138090368048 CPUtime=0.01 cores=0-7
/proc/18672/task/18686/stat : 18686 (java) S 18669 18669 18490 0 -1 1077944384 509 0 0 0 1 0 0 0 20 0 20 0 509520477 27969658880 31969 33554432000 4194304 4196468 140725496072016 140373538031984 140375487429250 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13283328 140725496079046 140725496079494 140725496079494 140725496082383 0
[pid=18672/tid=18687] ppid=18669 vsize=27314120 memory=281138090440592 CPUtime=0 cores=0-7
/proc/18672/task/18687/stat : 18687 (java) S 18669 18669 18490 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 20 0 509520477 27969658880 31969 33554432000 4194304 4196468 140725496072016 140373536979184 140375487429250 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13283328 140725496079046 140725496079494 140725496079494 140725496082383 0
[pid=18672/tid=18688] ppid=18669 vsize=27314120 memory=281138090447504 CPUtime=0.01 cores=0-7
/proc/18672/task/18688/stat : 18688 (java) S 18669 18669 18490 0 -1 1077944384 58 0 0 0 1 0 0 0 20 0 20 0 509520477 27969658880 31969 33554432000 4194304 4196468 140725496072016 140373535926384 140375487429250 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13283328 140725496079046 140725496079494 140725496079494 140725496082383 0
[pid=18672/tid=18689] ppid=18669 vsize=27314120 memory=281138090445200 CPUtime=0.07 cores=0-7
/proc/18672/task/18689/stat : 18689 (java) S 18669 18669 18490 0 -1 1077944384 509 0 0 0 7 0 0 0 20 0 20 0 509520477 27969658880 31969 33554432000 4194304 4196468 140725496072016 140373534873584 140375487429250 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13283328 140725496079046 140725496079494 140725496079494 140725496082383 0
[pid=18672/tid=18690] ppid=18669 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18672/task/18690/stat : 18690 (java) S 18669 18669 18490 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509520477 27969658880 31969 33554432000 4194304 4196468 140725496072016 140372281912416 140375487428309 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13283328 140725496079046 140725496079494 140725496079494 140725496082383 0
[pid=18672/tid=18691] ppid=18669 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/18672/task/18691/stat : 18691 (java) S 18669 18669 18490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509520478 27969658880 31969 33554432000 4194304 4196468 140725496072016 140373533822000 140375487429250 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13283328 140725496079046 140725496079494 140725496079494 140725496082383 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 129268 KiB

[startup+0.700878 s]
/proc/loadavg: 3.71 1.07 0.41 2/214 18691
/proc/meminfo: memFree=22031000/32770624 swapFree=67002360/67108860
[pid=18669] ppid=18666 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/18669/stat : 18669 (scop.sh) S 18666 18669 18490 0 -1 4202496 555 320 0 0 0 0 0 0 20 0 1 0 509520469 115843072 348 33554432000 4194304 5098028 140729171043408 140729171040664 139974118900348 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 18731008 140729171047164 140729171047512 140729171047512 140729171050441 0
/proc/18669/statm: 28282 348 296 221 0 87 0
[pid=18672] ppid=18669 vsize=27320392 memory=165396 CPUtime=0.99 cores=0-7
/proc/18672/stat : 18672 (java) S 18669 18669 18490 0 -1 1077944320 19934 0 0 0 90 9 0 0 20 0 20 0 509520470 27976081408 41349 33554432000 4194304 4196468 140725496072016 140725496054560 140375487418103 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13283328 140725496079046 140725496079494 140725496079494 140725496082383 0
/proc/18672/statm: 6830098 41349 3185 1 0 6791447 0
[pid=18672/tid=18673] ppid=18669 vsize=27320392 memory=0 CPUtime=0.67 cores=0-7
/proc/18672/task/18673/stat : 18673 (java) R 18669 18669 18490 0 -1 4202560 16877 0 0 0 59 8 0 0 20 0 20 0 509520470 27976081408 41349 33554432000 4194304 4196468 140725496072016 140375459255136 140375468795984 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13283328 140725496079046 140725496079494 140725496079494 140725496082383 0
[pid=18672/tid=18674] ppid=18669 vsize=27320392 memory=140569045410672 CPUtime=0 cores=0-7
/proc/18672/task/18674/stat : 18674 (java) S 18669 18669 18490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509520472 27976081408 41349 33554432000 4194304 4196468 140725496072016 140375491660944 140375487428309 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13283328 140725496079046 140725496079494 140725496079494 140725496082383 0
[pid=18672/tid=18675] ppid=18669 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/18672/task/18675/stat : 18675 (java) S 18669 18669 18490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509520472 27976081408 41349 33554432000 4194304 4196468 140725496072016 140375305817104 140375487428309 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13283328 140725496079046 140725496079494 140725496079494 140725496082383 0
[pid=18672/tid=18676] ppid=18669 vsize=27320392 memory=1056 CPUtime=0 cores=0-7
/proc/18672/task/18676/stat : 18676 (java) S 18669 18669 18490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509520472 27976081408 41349 33554432000 4194304 4196468 140725496072016 140375304764304 140375487428309 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13283328 140725496079046 140725496079494 140725496079494 140725496082383 0

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

/proc/18692/statm: 2103531 29948 3203 1 0 2064875 0
[pid=18692/tid=18693] ppid=18669 vsize=8414124 memory=14008 CPUtime=0.77 cores=0-7
/proc/18692/task/18693/stat : 18693 (java) S 18669 18669 18490 0 -1 1077944384 16383 0 0 0 72 5 0 0 20 0 24 0 509521314 8616062976 29948 33554432000 4194304 4196468 140724139372464 139628607082400 139628635252437 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23056384 140724139373535 140724139373702 140724139373702 140724139376591 0
[pid=18692/tid=18694] ppid=18669 vsize=8414124 memory=6791534058613427641 CPUtime=0 cores=0-7
/proc/18692/task/18694/stat : 18694 (java) S 18669 18669 18490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509521316 8616062976 29948 33554432000 4194304 4196468 140724139372464 139628639484560 139628635252437 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23056384 140724139373535 140724139373702 140724139373702 140724139376591 0
[pid=18692/tid=18695] ppid=18669 vsize=8414124 memory=62780 CPUtime=0 cores=0-7
/proc/18692/task/18695/stat : 18695 (java) S 18669 18669 18490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509521316 8616062976 29948 33554432000 4194304 4196468 140724139372464 139628120103440 139628635252437 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23056384 140724139373535 140724139373702 140724139373702 140724139376591 0
[pid=18692/tid=18696] ppid=18669 vsize=8414124 memory=988 CPUtime=0 cores=0-7
/proc/18692/task/18696/stat : 18696 (java) S 18669 18669 18490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509521316 8616062976 29948 33554432000 4194304 4196468 140724139372464 139628119050640 139628635252437 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23056384 140724139373535 140724139373702 140724139373702 140724139376591 0
[pid=18692/tid=18697] ppid=18669 vsize=8414124 memory=2012 CPUtime=0 cores=0-7
/proc/18692/task/18697/stat : 18697 (java) S 18669 18669 18490 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 509521316 8616062976 29948 33554432000 4194304 4196468 140724139372464 139628117997840 139628635252437 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23056384 140724139373535 140724139373702 140724139373702 140724139376591 0
[pid=18692/tid=18698] ppid=18669 vsize=8414124 memory=1424 CPUtime=0 cores=0-7
/proc/18692/task/18698/stat : 18698 (java) S 18669 18669 18490 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 509521316 8616062976 29948 33554432000 4194304 4196468 140724139372464 139628116946064 139628635252437 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23056384 140724139373535 140724139373702 140724139373702 140724139376591 0
[pid=18692/tid=18699] ppid=18669 vsize=8414124 memory=580 CPUtime=0 cores=0-7
/proc/18692/task/18699/stat : 18699 (java) S 18669 18669 18490 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 509521316 8616062976 29948 33554432000 4194304 4196468 140724139372464 139628115893264 139628635252437 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23056384 140724139373535 140724139373702 140724139373702 140724139376591 0
[pid=18692/tid=18700] ppid=18669 vsize=8414124 memory=1692 CPUtime=0 cores=0-7
/proc/18692/task/18700/stat : 18700 (java) S 18669 18669 18490 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 509521316 8616062976 29948 33554432000 4194304 4196468 140724139372464 139628114840464 139628635252437 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23056384 140724139373535 140724139373702 140724139373702 140724139376591 0
[pid=18692/tid=18701] ppid=18669 vsize=8414124 memory=1692 CPUtime=0 cores=0-7
/proc/18692/task/18701/stat : 18701 (java) S 18669 18669 18490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509521316 8616062976 29948 33554432000 4194304 4196468 140724139372464 139628113787664 139628635252437 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23056384 140724139373535 140724139373702 140724139373702 140724139376591 0
[pid=18692/tid=18702] ppid=18669 vsize=8414124 memory=3616 CPUtime=0 cores=0-7
/proc/18692/task/18702/stat : 18702 (java) S 18669 18669 18490 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 509521317 8616062976 29948 33554432000 4194304 4196468 140724139372464 139627468720496 139628635253378 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23056384 140724139373535 140724139373702 140724139373702 140724139376591 0
[pid=18692/tid=18703] ppid=18669 vsize=8414124 memory=7548 CPUtime=0 cores=0-7
/proc/18692/task/18703/stat : 18703 (java) S 18669 18669 18490 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 509521318 8616062976 29948 33554432000 4194304 4196468 140724139372464 139627239302176 139628635252437 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23056384 140724139373535 140724139373702 140724139373702 140724139376591 0
[pid=18692/tid=18704] ppid=18669 vsize=8414124 memory=1392 CPUtime=0 cores=0-7
/proc/18692/task/18704/stat : 18704 (java) S 18669 18669 18490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509521318 8616062976 29948 33554432000 4194304 4196468 140724139372464 139626970866544 139628635252437 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23056384 140724139373535 140724139373702 140724139373702 140724139376591 0
[pid=18692/tid=18705] ppid=18669 vsize=8414124 memory=2415420 CPUtime=0 cores=0-7
/proc/18692/task/18705/stat : 18705 (java) S 18669 18669 18490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509521320 8616062976 29948 33554432000 4194304 4196468 140724139372464 139626596357968 139628635260827 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23056384 140724139373535 140724139373702 140724139373702 140724139376591 0
[pid=18692/tid=18706] ppid=18669 vsize=8414124 memory=2632 CPUtime=0.03 cores=0-7
/proc/18692/task/18706/stat : 18706 (java) S 18669 18669 18490 0 -1 1077944384 532 0 0 0 3 0 0 0 20 0 24 0 509521320 8616062976 29948 33554432000 4194304 4196468 140724139372464 139627467668336 139628635253378 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23056384 140724139373535 140724139373702 140724139373702 140724139376591 0
[pid=18692/tid=18707] ppid=18669 vsize=8414124 memory=0 CPUtime=0.07 cores=0-7
/proc/18692/task/18707/stat : 18707 (java) S 18669 18669 18490 0 -1 1077944384 306 0 0 0 7 0 0 0 20 0 24 0 509521320 8616062976 29948 33554432000 4194304 4196468 140724139372464 139627466615536 139628635253378 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23056384 140724139373535 140724139373702 140724139373702 140724139376591 0
[pid=18692/tid=18708] ppid=18669 vsize=8414124 memory=0 CPUtime=0.08 cores=0-7
/proc/18692/task/18708/stat : 18708 (java) S 18669 18669 18490 0 -1 1077944384 266 0 0 0 8 0 0 0 20 0 24 0 509521320 8616062976 29948 33554432000 4194304 4196468 140724139372464 139627465562736 139628635253378 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23056384 140724139373535 140724139373702 140724139373702 140724139376591 0
[pid=18692/tid=18709] ppid=18669 vsize=8414124 memory=920 CPUtime=0.21 cores=0-7
/proc/18692/task/18709/stat : 18709 (java) S 18669 18669 18490 0 -1 1077944384 567 0 0 0 21 0 0 0 20 0 24 0 509521320 8616062976 29948 33554432000 4194304 4196468 140724139372464 139627464509936 139628635253378 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23056384 140724139373535 140724139373702 140724139373702 140724139376591 0
[pid=18692/tid=18710] ppid=18669 vsize=8414124 memory=4136 CPUtime=0 cores=0-7
/proc/18692/task/18710/stat : 18710 (java) S 18669 18669 18490 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 509521320 8616062976 29948 33554432000 4194304 4196468 140724139372464 139626098453088 139628635252437 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23056384 140724139373535 140724139373702 140724139373702 140724139376591 0
[pid=18692/tid=18711] ppid=18669 vsize=8414124 memory=1412 CPUtime=0 cores=0-7
/proc/18692/task/18711/stat : 18711 (java) S 18669 18669 18490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509521321 8616062976 29948 33554432000 4194304 4196468 140724139372464 139627463457328 139628635253378 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23056384 140724139373535 140724139373702 140724139373702 140724139376591 0
Current children cumulated CPU time: 27.53 s
Current children cumulated vsize: 8527252 KiB
Current children cumulated memory: 121264 KiB

[startup+10.002 s]*
/proc/loadavg: 3.30 1.07 0.41 6/218 18725
/proc/meminfo: memFree=21858468/32770624 swapFree=67002360/67108860
[pid=18669] ppid=18666 vsize=113128 memory=1472 CPUtime=26.32 cores=0-7
/proc/18669/stat : 18669 (scop.sh) S 18666 18669 18490 0 -1 4202496 581 43690 0 0 0 0 2570 62 20 0 1 0 509520469 115843072 368 33554432000 4194304 5098028 140729171043408 140729171040152 139974118900348 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 18731008 140729171047164 140729171047512 140729171047512 140729171050441 0
/proc/18669/statm: 28282 368 311 221 0 87 0
[pid=18692] ppid=18669 vsize=8414124 memory=120136 CPUtime=1.28 cores=0-7
/proc/18692/stat : 18692 (java) S 18669 18669 18490 0 -1 1077944320 19520 0 0 0 120 8 0 0 20 0 24 0 509521314 8616062976 30034 33554432000 4194304 4196468 140724139372464 140724139355008 139628635242231 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23056384 140724139373535 140724139373702 140724139373702 140724139376591 0
/proc/18692/statm: 2103531 30034 3204 1 0 2064875 0
[pid=18712] ppid=18692 vsize=724028 memory=201368 CPUtime=4.1 cores=0-7
/proc/18712/stat : 18712 (manyglucose-4.1) R 18692 18669 18490 0 -1 4202496 34251 0 0 0 401 9 0 0 20 0 1 0 509521388 741404672 50342 33554432000 4194304 4454172 140724960263472 140724960260192 139785757785213 0 4 0 8388610 0 0 0 17 3 0 0 0 0 0 6552832 6554400 9129984 140724960265037 140724960265244 140724960265244 140724960268214 0
/proc/18712/statm: 181007 50342 423 64 0 176675 0
[pid=18692/tid=18693] ppid=18669 vsize=8414124 memory=0 CPUtime=0.77 cores=0-7
/proc/18692/task/18693/stat : 18693 (java) S 18669 18669 18490 0 -1 1077944384 16383 0 0 0 72 5 0 0 20 0 24 0 509521314 8616062976 30034 33554432000 4194304 4196468 140724139372464 139628607082400 139628635252437 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23056384 140724139373535 140724139373702 140724139373702 140724139376591 0
[pid=18692/tid=18694] ppid=18669 vsize=8414124 memory=11 CPUtime=0 cores=0-7
/proc/18692/task/18694/stat : 18694 (java) S 18669 18669 18490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509521316 8616062976 30034 33554432000 4194304 4196468 140724139372464 139628639484560 139628635252437 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23056384 140724139373535 140724139373702 140724139373702 140724139376591 0
[pid=18692/tid=18695] ppid=18669 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/18692/task/18695/stat : 18695 (java) S 18669 18669 18490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509521316 8616062976 30034 33554432000 4194304 4196468 140724139372464 139628120103440 139628635252437 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23056384 140724139373535 140724139373702 140724139373702 140724139376591 0
[pid=18692/tid=18696] ppid=18669 vsize=8414124 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/18692/task/18696/stat : 18696 (java) S 18669 18669 18490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509521316 8616062976 30034 33554432000 4194304 4196468 140724139372464 139628119050640 139628635252437 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23056384 140724139373535 140724139373702 140724139373702 140724139376591 0
[pid=18692/tid=18697] ppid=18669 vsize=8414124 memory=2241 CPUtime=0 cores=0-7
/proc/18692/task/18697/stat : 18697 (java) S 18669 18669 18490 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 509521316 8616062976 30034 33554432000 4194304 4196468 140724139372464 139628117997840 139628635252437 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23056384 140724139373535 140724139373702 140724139373702 140724139376591 0
[pid=18692/tid=18698] ppid=18669 vsize=8414124 memory=2244 CPUtime=0 cores=0-7
/proc/18692/task/18698/stat : 18698 (java) S 18669 18669 18490 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 509521316 8616062976 30034 33554432000 4194304 4196468 140724139372464 139628116946064 139628635252437 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23056384 140724139373535 140724139373702 140724139373702 140724139376591 0
[pid=18692/tid=18699] ppid=18669 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/18692/task/18699/stat : 18699 (java) S 18669 18669 18490 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 509521316 8616062976 30034 33554432000 4194304 4196468 140724139372464 139628115893264 139628635252437 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23056384 140724139373535 140724139373702 140724139373702 140724139376591 0
[pid=18692/tid=18700] ppid=18669 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/18692/task/18700/stat : 18700 (java) S 18669 18669 18490 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 509521316 8616062976 30034 33554432000 4194304 4196468 140724139372464 139628114840464 139628635252437 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23056384 140724139373535 140724139373702 140724139373702 140724139376591 0
[pid=18692/tid=18701] ppid=18669 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/18692/task/18701/stat : 18701 (java) S 18669 18669 18490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509521316 8616062976 30034 33554432000 4194304 4196468 140724139372464 139628113787664 139628635252437 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23056384 140724139373535 140724139373702 140724139373702 140724139376591 0
[pid=18692/tid=18702] ppid=18669 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/18692/task/18702/stat : 18702 (java) S 18669 18669 18490 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 509521317 8616062976 30046 33554432000 4194304 4196468 140724139372464 139627468720496 139628635253378 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23056384 140724139373535 140724139373702 140724139373702 140724139376591 0
[pid=18692/tid=18703] ppid=18669 vsize=8414124 memory=1096 CPUtime=0 cores=0-7
/proc/18692/task/18703/stat : 18703 (java) S 18669 18669 18490 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 509521318 8616062976 30046 33554432000 4194304 4196468 140724139372464 139627239302176 139628635252437 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23056384 140724139373535 140724139373702 140724139373702 140724139376591 0
[pid=18692/tid=18704] ppid=18669 vsize=8414124 memory=14008 CPUtime=0 cores=0-7
/proc/18692/task/18704/stat : 18704 (java) S 18669 18669 18490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509521318 8616062976 30046 33554432000 4194304 4196468 140724139372464 139626970866544 139628635252437 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23056384 140724139373535 140724139373702 140724139373702 140724139376591 0
[pid=18692/tid=18705] ppid=18669 vsize=8414124 memory=2116 CPUtime=0 cores=0-7
/proc/18692/task/18705/stat : 18705 (java) S 18669 18669 18490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509521320 8616062976 30046 33554432000 4194304 4196468 140724139372464 139626596357968 139628635260827 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23056384 140724139373535 140724139373702 140724139373702 140724139376591 0
[pid=18692/tid=18706] ppid=18669 vsize=8414124 memory=34400 CPUtime=0.03 cores=0-7
/proc/18692/task/18706/stat : 18706 (java) S 18669 18669 18490 0 -1 1077944384 537 0 0 0 3 0 0 0 20 0 24 0 509521320 8616062976 30046 33554432000 4194304 4196468 140724139372464 139627467668336 139628635253378 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23056384 140724139373535 140724139373702 140724139373702 140724139376591 0
[pid=18692/tid=18707] ppid=18669 vsize=8414124 memory=6791534058613427641 CPUtime=0.08 cores=0-7
/proc/18692/task/18707/stat : 18707 (java) R 18669 18669 18490 0 -1 4202560 320 0 0 0 8 0 0 0 20 0 24 0 509521320 8616062976 30046 33554432000 4194304 4196468 140724139372464 139627466605328 139628619635696 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23056384 140724139373535 140724139373702 140724139373702 140724139376591 0
[pid=18692/tid=18708] ppid=18669 vsize=8414124 memory=532 CPUtime=0.09 cores=0-7
/proc/18692/task/18708/stat : 18708 (java) R 18669 18669 18490 0 -1 4202560 270 0 0 0 9 0 0 0 20 0 24 0 509521320 8616062976 30046 33554432000 4194304 4196468 140724139372464 139627465562736 139628635263578 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 23056384 140724139373535 140724139373702 140724139373702 140724139376591 0
[pid=18692/tid=18709] ppid=18669 vsize=8414124 memory=1564 CPUtime=0.23 cores=0-7
/proc/18692/task/18709/stat : 18709 (java) R 18669 18669 18490 0 -1 4202560 606 0 0 0 23 0 0 0 20 0 24 0 509521320 8616062976 30046 33554432000 4194304 4196468 140724139372464 139627464504992 139628614045368 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23056384 140724139373535 140724139373702 140724139373702 140724139376591 0
[pid=18692/tid=18710] ppid=18669 vsize=8414124 memory=928 CPUtime=0 cores=0-7
/proc/18692/task/18710/stat : 18710 (java) S 18669 18669 18490 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 509521320 8616062976 30046 33554432000 4194304 4196468 140724139372464 139626098453088 139628635252437 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23056384 140724139373535 140724139373702 140724139373702 140724139376591 0
[pid=18692/tid=18711] ppid=18669 vsize=8414124 memory=1980 CPUtime=0 cores=0-7
/proc/18692/task/18711/stat : 18711 (java) S 18669 18669 18490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509521321 8616062976 30046 33554432000 4194304 4196468 140724139372464 139627463457328 139628635253378 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23056384 140724139373535 140724139373702 140724139373702 140724139376591 0
[pid=18692/tid=18713] ppid=18669 vsize=8414124 memory=1772 CPUtime=0 cores=0-7
/proc/18692/task/18713/stat : 18713 (java) S 18669 18669 18490 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 509521388 8616062976 30046 33554432000 4194304 4196468 140724139372464 139627455423552 139628635266841 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 23056384 140724139373535 140724139373702 140724139373702 140724139376591 0
[pid=18692/tid=18715] ppid=18669 vsize=8414124 memory=2648 CPUtime=0.02 cores=0-7
/proc/18692/task/18715/stat : 18715 (java) R 18669 18669 18490 0 -1 4202560 16 0 0 0 2 0 0 0 20 0 24 0 509521389 8616062976 30046 33554432000 4194304 4196468 140724139372464 139625427360464 139628635264157 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23056384 140724139373535 140724139373702 140724139373702 140724139376591 0
[pid=18692/tid=18716] ppid=18669 vsize=8414124 memory=884 CPUtime=0 cores=0-7
/proc/18692/task/18716/stat : 18716 (java) S 18669 18669 18490 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 509521389 8616062976 30046 33554432000 4194304 4196468 140724139372464 139625695789072 139628635264157 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 23056384 140724139373535 140724139373702 140724139373702 140724139376591 0
[pid=18692/tid=18717] ppid=18669 vsize=8414124 memory=1440 CPUtime=0 cores=0-7
/proc/18692/task/18717/stat : 18717 (java) S 18669 18669 18490 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 509521391 8616062976 30046 33554432000 4194304 4196468 140724139372464 139625158925872 139628635252437 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23056384 140724139373535 140724139373702 140724139373702 140724139376591 0
Current children cumulated CPU time: 31.7 s
Current children cumulated vsize: 9251280 KiB
Current children cumulated memory: 322976 KiB

[startup+10.204 s]
/proc/loadavg: 3.30 1.07 0.41 6/218 18725
/proc/meminfo: memFree=21858468/32770624 swapFree=67002360/67108860
[pid=18669] ppid=18666 vsize=113128 memory=1472 CPUtime=26.32 cores=0-7
/proc/18669/stat : 18669 (scop.sh) S 18666 18669 18490 0 -1 4202496 581 43690 0 0 0 0 2570 62 20 0 1 0 509520469 115843072 368 33554432000 4194304 5098028 140729171043408 140729171040152 139974118900348 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 18731008 140729171047164 140729171047512 140729171047512 140729171050441 0
/proc/18669/statm: 28282 368 311 221 0 87 0
[pid=18692] ppid=18669 vsize=8283048 memory=135404 CPUtime=5.79 cores=0-7
/proc/18692/stat : 18692 (java) S 18669 18669 18490 0 -1 1077944320 20366 34255 0 0 160 8 401 10 20 0 22 0 509521314 8481841152 33851 33554432000 4194304 4196468 140724139372464 140724139355008 139628635242231 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23056384 140724139373535 140724139373702 140724139373702 140724139376591 0
/proc/18692/statm: 2070762 33851 3226 1 0 2032106 0
[pid=18692/tid=18693] ppid=18669 vsize=8283048 memory=-2893623298589923098 CPUtime=5.01 cores=0-7
/proc/18692/task/18693/stat : 18693 (java) R 18669 18669 18490 0 -1 4202560 16719 34255 0 0 85 5 401 10 20 0 22 0 509521314 8481841152 33851 33554432000 4194304 4196468 140724139372464 139628607078344 139628128535334 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 23056384 140724139373535 140724139373702 140724139373702 140724139376591 0
[pid=18692/tid=18694] ppid=18669 vsize=8283048 memory=-9174445032661854264 CPUtime=4.11 cores=0-7
/proc/18692/task/18694/stat : 18694 (java) S 18669 18669 18490 0 -1 1077944384 1 34255 0 0 0 0 401 10 20 0 22 0 509521316 8481841152 33851 33554432000 4194304 4196468 140724139372464 139628639484560 139628635252437 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23056384 140724139373535 140724139373702 140724139373702 140724139376591 0
[pid=18692/tid=18695] ppid=18669 vsize=8283048 memory=-2893623298589923098 CPUtime=4.11 cores=0-7
/proc/18692/task/18695/stat : 18695 (java) S 18669 18669 18490 0 -1 1077944384 1 34255 0 0 0 0 401 10 20 0 22 0 509521316 8481841152 33851 33554432000 4194304 4196468 140724139372464 139628120103440 139628635252437 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23056384 140724139373535 140724139373702 140724139373702 140724139376591 0
[pid=18692/tid=18696] ppid=18669 vsize=8283048 memory=-2897801490638248215 CPUtime=4.11 cores=0-7
/proc/18692/task/18696/stat : 18696 (java) S 18669 18669 18490 0 -1 1077944384 1 34255 0 0 0 0 401 10 20 0 22 0 509521316 8481841152 33851 33554432000 4194304 4196468 140724139372464 139628119050640 139628635252437 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23056384 140724139373535 140724139373702 140724139373702 140724139376591 0
[pid=18692/tid=18697] ppid=18669 vsize=8283048 memory=-2746958450906831424 CPUtime=4.11 cores=0-7
/proc/18692/task/18697/stat : 18697 (java) S 18669 18669 18490 0 -1 1077944384 3 34255 0 0 0 0 401 10 20 0 22 0 509521316 8481841152 33851 33554432000 4194304 4196468 140724139372464 139628117997840 139628635252437 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23056384 140724139373535 140724139373702 140724139373702 140724139376591 0
[pid=18692/tid=18698] ppid=18669 vsize=8283048 memory=-6800859132029471843 CPUtime=4.11 cores=0-7
/proc/18692/task/18698/stat : 18698 (java) S 18669 18669 18490 0 -1 1077944384 2 34255 0 0 0 0 401 10 20 0 22 0 509521316 8481841152 33851 33554432000 4194304 4196468 140724139372464 139628116946064 139628635252437 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23056384 140724139373535 140724139373702 140724139373702 140724139376591 0
[pid=18692/tid=18699] ppid=18669 vsize=8283048 memory=-9174445032661854264 CPUtime=4.11 cores=0-7
/proc/18692/task/18699/stat : 18699 (java) S 18669 18669 18490 0 -1 1077944384 2 34255 0 0 0 0 401 10 20 0 22 0 509521316 8481841152 33851 33554432000 4194304 4196468 140724139372464 139628115893264 139628635252437 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23056384 140724139373535 140724139373702 140724139373702 140724139376591 0
[pid=18692/tid=18700] ppid=18669 vsize=8283048 memory=-3253322038155611931 CPUtime=4.11 cores=0-7
/proc/18692/task/18700/stat : 18700 (java) S 18669 18669 18490 0 -1 1077944384 2 34255 0 0 0 0 401 10 20 0 22 0 509521316 8481841152 33851 33554432000 4194304 4196468 140724139372464 139628114840464 139628635252437 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23056384 140724139373535 140724139373702 140724139373702 140724139376591 0
[pid=18692/tid=18701] ppid=18669 vsize=8283048 memory=1472 CPUtime=4.11 cores=0-7
/proc/18692/task/18701/stat : 18701 (java) S 18669 18669 18490 0 -1 1077944384 1 34255 0 0 0 0 401 10 20 0 22 0 509521316 8481841152 33851 33554432000 4194304 4196468 140724139372464 139628113787664 139628635252437 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23056384 140724139373535 140724139373702 140724139373702 140724139376591 0
[pid=18692/tid=18702] ppid=18669 vsize=8283048 memory=119792 CPUtime=4.11 cores=0-7
/proc/18692/task/18702/stat : 18702 (java) S 18669 18669 18490 0 -1 1077944384 5 34255 0 0 0 0 401 10 20 0 22 0 509521317 8481841152 33851 33554432000 4194304 4196468 140724139372464 139627468720496 139628635253378 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23056384 140724139373535 140724139373702 140724139373702 140724139376591 0
[pid=18692/tid=18703] ppid=18669 vsize=8283048 memory=0 CPUtime=4.11 cores=0-7
/proc/18692/task/18703/stat : 18703 (java) S 18669 18669 18490 0 -1 1077944384 13 34255 0 0 0 0 401 10 20 0 22 0 509521318 8481841152 33851 33554432000 4194304 4196468 140724139372464 139627239302176 139628635252437 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23056384 140724139373535 140724139373702 140724139373702 140724139376591 0
[pid=18692/tid=18704] ppid=18669 vsize=8283048 memory=0 CPUtime=4.11 cores=0-7
/proc/18692/task/18704/stat : 18704 (java) S 18669 18669 18490 0 -1 1077944384 1 34255 0 0 0 0 401 10 20 0 22 0 509521318 8481841152 33851 33554432000 4194304 4196468 140724139372464 139626970866544 139628635252437 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23056384 140724139373535 140724139373702 140724139373702 140724139376591 0
[pid=18692/tid=18705] ppid=18669 vsize=8283048 memory=0 CPUtime=4.11 cores=0-7
/proc/18692/task/18705/stat : 18705 (java) S 18669 18669 18490 0 -1 1077944384 1 34255 0 0 0 0 401 10 20 0 22 0 509521320 8481841152 33851 33554432000 4194304 4196468 140724139372464 139626596357968 139628635260827 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23056384 140724139373535 140724139373702 140724139373702 140724139376591 0
[pid=18692/tid=18706] ppid=18669 vsize=8283048 memory=0 CPUtime=4.18 cores=0-7
/proc/18692/task/18706/stat : 18706 (java) S 18669 18669 18490 0 -1 1077944384 587 34255 0 0 7 0 401 10 20 0 22 0 509521320 8481841152 33851 33554432000 4194304 4196468 140724139372464 139627467668336 139628635253378 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23056384 140724139373535 140724139373702 140724139373702 140724139376591 0
[pid=18692/tid=18707] ppid=18669 vsize=8283048 memory=371 CPUtime=4.23 cores=0-7
/proc/18692/task/18707/stat : 18707 (java) S 18669 18669 18490 0 -1 1077944384 338 34255 0 0 12 0 401 10 20 0 22 0 509521320 8481841152 33851 33554432000 4194304 4196468 140724139372464 139627466615536 139628635253378 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23056384 140724139373535 140724139373702 140724139373702 140724139376591 0
[pid=18692/tid=18708] ppid=18669 vsize=8283048 memory=363 CPUtime=4.24 cores=0-7
/proc/18692/task/18708/stat : 18708 (java) R 18669 18669 18490 0 -1 4202560 293 34255 0 0 13 0 401 10 20 0 22 0 509521320 8481841152 33851 33554432000 4194304 4196468 140724139372464 139627465548928 139628616765153 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 23056384 140724139373535 140724139373702 140724139373702 140724139376591 0
[pid=18692/tid=18709] ppid=18669 vsize=8283048 memory=0 CPUtime=4.44 cores=0-7
/proc/18692/task/18709/stat : 18709 (java) S 18669 18669 18490 0 -1 1077944384 843 34255 0 0 33 0 401 10 20 0 22 0 509521320 8481841152 33851 33554432000 4194304 4196468 140724139372464 139627464509936 139628635253378 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23056384 140724139373535 140724139373702 140724139373702 140724139376591 0
[pid=18692/tid=18710] ppid=18669 vsize=8283048 memory=0 CPUtime=4.11 cores=0-7
/proc/18692/task/18710/stat : 18710 (java) S 18669 18669 18490 0 -1 1077944384 3 34255 0 0 0 0 401 10 20 0 22 0 509521320 8481841152 33851 33554432000 4194304 4196468 140724139372464 139626098453088 139628635252437 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23056384 140724139373535 140724139373702 140724139373702 140724139376591 0
[pid=18692/tid=18711] ppid=18669 vsize=8283048 memory=140569045796785 CPUtime=4.11 cores=0-7
/proc/18692/task/18711/stat : 18711 (java) S 18669 18669 18490 0 -1 1077944384 2 34255 0 0 0 0 401 10 20 0 22 0 509521321 8481841152 33851 33554432000 4194304 4196468 140724139372464 139627463457328 139628635253378 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23056384 140724139373535 140724139373702 140724139373702 140724139376591 0
[pid=18692/tid=18713] ppid=18669 vsize=8283048 memory=0 CPUtime=4.11 cores=0-7
/proc/18692/task/18713/stat : 18713 (java) S 18669 18669 18490 0 -1 1077944384 25 34255 0 0 0 0 401 10 20 0 22 0 509521388 8481841152 33851 33554432000 4194304 4196468 140724139372464 139627455422736 139628635253378 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23056384 140724139373535 140724139373702 140724139373702 140724139376591 0
[pid=18692/tid=18717] ppid=18669 vsize=8283048 memory=0 CPUtime=4.11 cores=0-7
/proc/18692/task/18717/stat : 18717 (java) S 18669 18669 18490 0 -1 1077944384 14 34255 0 0 0 0 401 10 20 0 22 0 509521391 8481841152 33851 33554432000 4194304 4196468 140724139372464 139625158927664 139628635253378 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23056384 140724139373535 140724139373702 140724139373702 140724139376591 0
Current children cumulated CPU time: 32.11 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 136876 KiB

Child status: 0
Real time (s): 10.241
CPU time (s): 32.2189
CPU user time (s): 31.3777
CPU system time (s): 0.841143
CPU usage (%): 314.605
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 3005252

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 31.3777
system time used= 0.841143
maximum resident set size= 3008172
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 100699
page faults= 0
swaps= 0
block input operations= 0
block output operations= 7624
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 12036
involuntary context switches= 80


# summary of solver processes directly reported to runsolver:
#   pid: 18669
#   total CPU time (s): 32.2189
#   total CPU user time (s): 31.3777
#   total CPU system time (s): 0.841143

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.127815 second user time and 0.130013 second system time

The end

Launcher Data 

Begin job on node146 at 2019-09-24 16:40:24
IDJOB=4405511
IDBENCH=126480
IDSOLVER=2868
FILE ID=node146/4405511-1569336066
RUNJOBID= node146-1569335937-18517
PBS_JOBID= 21705051
Free space on /var/tmp= 13508 MiB

SOLVER NAME= Fun-sCOP hybrid+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 -hybrid 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-4405511-1569336066/watcher-4405511-1569336066 -o /var/tmp/evaluation-result-4405511-1569336066/solver-4405511-1569336066 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node146-1569335937-18517 --watchdog 2580  HOME/scop.sh 22g HOME/scop.jar -hybrid HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4405511-1569336066.xml

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

MD5SUM BENCH= 6c7c8fee2fac051830782d16440ff60b
RANDOM SEED=969539028

node146.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	: 5332.90
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	: 5332.90
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	: 5332.90
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	: 5332.90
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:        22167832 kB
MemAvailable:   31842984 kB
Buffers:          137924 kB
Cached:          9575500 kB
SwapCached:         3572 kB
Active:          4821716 kB
Inactive:        4896264 kB
Active(anon):       4292 kB
Inactive(anon):    56468 kB
Active(file):    4817424 kB
Inactive(file):  4839796 kB
Unevictable:      110888 kB
Mlocked:          110888 kB
SwapTotal:      67108860 kB
SwapFree:       67002360 kB
Dirty:             20996 kB
Writeback:             4 kB
AnonPages:        164196 kB
Mapped:            56676 kB
Shmem:             47616 kB
Slab:             474652 kB
SReclaimable:     446392 kB
SUnreclaim:        28260 kB
KernelStack:        3872 kB
PageTables:         6764 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     515428 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    118784 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      109952 kB
DirectMap2M:    33435648 kB

Free space on /var/tmp at the end= 13488 MiB
End job on node146 at 2019-09-24 16:40:34