Trace number 4405516

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 63.5281 18.4368

General information on the benchmark

NameLatinSquare/LatinSquare-xcsp2-qcp25/
qcp-25-264-08_X2.xml
MD5SUMe61b201f6225aab3795ad5f045ee307f
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 benchmark7.73665
Satisfiable
(Un)Satisfiability was proved
Number of variables625
Number of constraints15000
Number of domains26
Minimum domain size1
Maximum domain size25
Distribution of domain sizes[{"size":1,"count":361},{"size":25,"count":264}]
Minimum variable degree48
Maximum variable degree48
Distribution of variable degrees[{"degree":48,"count":625}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":15000}]
Number of extensional constraints15000
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":15000}]
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-25063-serial-file.bin HOME/instance-4405516-1569359391.xml
0.62/0.56	
0.62/0.56	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
0.62/0.56	
0.62/0.59	c BEGIN-Prog: Tue Sep 24 23:09:07 CEST 2019
0.62/0.59	c PID: 25066
0.62/0.59	c IP: 172.20.3.147
0.62/0.59	c HOST: node147.alineos.net
0.62/0.60	c (0,0) Parsing Begin
3.60/1.54	c (0,0) Parsing End
3.60/1.55	c (0,0) CSP: 592 int (0 aux), 33 bool (0 aux), 10142 ctr, max domain size 25
3.60/1.55	c (0,0) Heap : 563 MiB used (max 21589 MiB), NonHeap : 21 MiB used (max 0 MiB)
3.60/1.55	c (0,0) Constraint Name Generate Begin
3.60/1.59	c (1,1) Ctr:HOME/instance-4405516-1569359391.xml,ExtensionConflict:Var
3.60/1.59	c (1,1) Constraint Name Generate End
3.60/1.59	c (1,1) Heap : 563 MiB used (max 21589 MiB), NonHeap : 21 MiB used (max 0 MiB)
3.60/1.59	c (1,1) CSP to CSPinCNF Begin
6.28/2.13	c (1,1) translated 1015 (10%) constraints
9.62/3.60	c (3,3) translated 2029 (20%) constraints
11.09/5.08	c (4,4) translated 3043 (30%) constraints
12.21/6.12	c (5,5) translated 4057 (40%) constraints
12.21/6.19	c (5,5) translated 5071 (50%) constraints
12.32/6.27	c (5,5) translated 6086 (60%) constraints
12.58/6.35	c (5,5) translated 7100 (70%) constraints
12.82/6.42	c (5,5) translated 8114 (80%) constraints
12.82/6.49	c (5,5) translated 9128 (90%) constraints
13.00/6.56	c (5,5) translated 10142 (100%) constraints
13.00/6.56	c (5,5) ===========================================
13.13/6.63	c (6,6) Hybrid: #OE=625, #LE=0
13.13/6.63	c (6,6) Hybrid
13.13/6.63	c (6,6) ===========================================
13.58/6.82	c (6,6) translated 7087 (10%) constraints
13.78/6.98	c (6,6) translated 14173 (20%) constraints
14.01/7.14	c (6,6) translated 21259 (30%) constraints
14.14/7.29	c (6,6) translated 28345 (40%) constraints
14.33/7.45	c (6,6) translated 35431 (50%) constraints
14.54/7.61	c (7,7) translated 42518 (60%) constraints
14.63/7.77	c (7,7) translated 49604 (70%) constraints
14.83/7.93	c (7,7) translated 56690 (80%) constraints
14.95/8.09	c (7,7) translated 63776 (90%) constraints
15.14/8.23	c (7,7) translated 70862 (100%) constraints
15.14/8.23	c (7,7) CSP to CSPinCNF End
15.14/8.23	c (7,7) CSP: 592 int (0 aux), 33 bool (0 aux), 70862 ctr, max domain size 25
15.14/8.23	c (7,7) Heap : 2928 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB)
15.14/8.23	c (7,7) CSPinCNF Propagation Begin
19.76/11.45	c (10,10) 2440 values, 61664 unsatisfiable literals, and 35736 valid clauses are removed
19.76/11.45	c (10,10) CSPinCNF Propagation End
19.76/11.45	c (10,10) CSP: 592 int (0 aux), 33 bool (0 aux), 35126 ctr, max domain size 25
19.76/11.45	c (10,10) Heap : 4618 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
19.76/11.48	c (10,10) Hybrid: #OE=625, #LE=0
19.76/11.48	c (10,10) Simplify CSPinCNF Begin
19.89/11.59	c (11,11) Simplify CSPinCNF End
19.89/11.59	c (11,11) CSP: 592 int (0 aux), 33 bool (0 aux), 35126 ctr, max domain size 25
19.89/11.59	c (11,11) Heap : 4618 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
19.89/11.59	c (11,11) Calculate Precise Domain Begin
19.89/11.59	c (11,11) 0 values are removed by re-calculation
19.89/11.59	c (11,11) Calculate Precise Domain End
19.89/11.59	c (11,11) CSP: 592 int (0 aux), 33 bool (0 aux), 35126 ctr, max domain size 25
19.89/11.59	c (11,11) Heap : 4618 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
19.89/11.59	c (11,11) CSPinCNF to SatSolver Begin
20.67/11.80	c (11,11) 3513 (10 %) CSP clauses are encoded (0 SAT variables, 7146 SAT clauses)
20.67/11.89	c (11,11) 7026 (20 %) CSP clauses are encoded (0 SAT variables, 10659 SAT clauses)
21.06/11.96	c (11,11) 10538 (30 %) CSP clauses are encoded (0 SAT variables, 14171 SAT clauses)
21.51/12.01	c (11,11) 14051 (40 %) CSP clauses are encoded (0 SAT variables, 17684 SAT clauses)
21.51/12.05	c (11,11) 17563 (50 %) CSP clauses are encoded (0 SAT variables, 21196 SAT clauses)
21.51/12.10	c (11,11) 21076 (60 %) CSP clauses are encoded (0 SAT variables, 24709 SAT clauses)
21.65/12.14	c (11,11) 24589 (70 %) CSP clauses are encoded (0 SAT variables, 28222 SAT clauses)
21.65/12.18	c (11,11) 28101 (80 %) CSP clauses are encoded (0 SAT variables, 31734 SAT clauses)
21.74/12.23	c (11,11) 31614 (90 %) CSP clauses are encoded (0 SAT variables, 35247 SAT clauses)
21.74/12.25	c (11,11) 35126 (100 %) CSP clauses are encoded (0 SAT variables, 38759 SAT clauses)
21.74/12.25	c (11,11) CSPinCNF to SatSolver End
21.74/12.25	c (11,11) Heap : 4956 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB)
21.74/12.25	c (11,11) 3896 bool, 38760 clause
21.74/12.25	c (11,11) Export Begin
21.87/12.38	c (11,11) Export to HOME/scop-25063-serial-file.bin
21.87/12.38	c (11,11) Export End
21.87/12.38	c (11,11) Export File Size: 0.11 MB
21.87/12.38	c (11,11) 0,1,7,10,11,11,11,STOP-AFTER(DIMACS)
21.87/12.38	c END-Prog: Tue Sep 24 23:09:19 CEST 2019
22.12/12.43	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-25063-serial-file.bin
22.15/12.89	c (0,0) Read Serial File Begin
22.15/12.89	c (0,0) HOME/scop-25063-serial-file.bin
23.11/13.15	c (0,0) Read Serial File End
23.11/13.16	
23.11/13.16	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
23.11/13.16	(Solving Process)
23.11/13.16	
23.11/13.18	c BEGIN-Prog: Tue Sep 24 23:09:20 CEST 2019
23.11/13.18	c PID: 25088
23.11/13.18	c IP: 172.20.3.147
23.11/13.18	c HOST: node147.alineos.net
23.11/13.19	c (0,0) SatSolver.solve Begin
23.11/13.19	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4405516-1569359391.xml-scop-25066.cnf
23.31/13.21	c (0,0) c
23.31/13.21	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)
23.31/13.21	c (0,0) c
23.31/13.21	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
23.31/13.21	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
23.31/13.21	c (0,0) c ========================================[ Problem Statistics ]===========================================
23.31/13.21	c (0,0) c |                                                                                                       |
23.31/13.23	c (0,0) c |  Number of variables:          3896                                                                   |
23.31/13.23	c (0,0) c |  Number of clauses:           38760                                                                   |
23.31/13.23	c (0,0) c |  Parse time:                   0.01 s                                                                 |
23.31/13.23	c (0,0) c |                                                                                                       |
23.31/13.25	c (0,0) c |  Simplification time:          0.03 s                                                                 |
23.31/13.25	c (0,0) c |                                                                                                       |
23.31/13.25	c (0,0) c |  Generating clones                                                                                    |
23.31/13.26	c (0,0) c |  all clones generated. Memory =    34.64Mb.                                                           |
23.31/13.26	c (0,0) c ========================================================================================================|
23.31/13.26	c (0,0) c
23.31/13.26	c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
23.31/13.26	c (0,0) c
23.31/13.26	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
23.31/13.26	c (0,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
23.31/13.26	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
23.31/13.26	c (0,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
23.31/13.26	c (0,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
23.31/13.26	c (0,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
23.31/13.26	c (0,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
23.31/13.26	c (0,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
23.31/13.26	c (0,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
23.31/13.26	c (0,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
23.31/13.26	c (0,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
23.31/13.26	c (0,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
23.31/13.26	c (0,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
23.31/13.26	c (0,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
23.31/13.26	c (0,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
23.31/13.26	c (0,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
23.31/13.26	c (0,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
23.31/13.26	c (0,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
23.31/13.26	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
62.94/18.26	c (5,0) c
62.94/18.26	c (5,0) c real time : 5.05296 s
62.94/18.26	c (5,0) c cpu time  : 39.464 s
62.94/18.26	c (5,0) c
62.94/18.26	c (5,0) c
62.94/18.26	c (5,0) c
62.94/18.26	c (5,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
62.94/18.26	c (5,0) c
62.94/18.26	c (5,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
62.94/18.26	c (5,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
62.94/18.26	c (5,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
62.94/18.26	c (5,0) c | Conflicts     |          630845 |      76607 |      76479 |      82123 |      79087 |      78013 |      78331 |      80791 |      79414 |
62.94/18.26	c (5,0) c | Decisions     |          994070 |     121873 |     120720 |     128799 |     124687 |     122006 |     124778 |     125645 |     125562 |
62.94/18.26	c (5,0) c | Propagations  |        54170454 |    6432804 |    6593159 |    7050224 |    7040341 |    6705630 |    6682660 |    6719613 |    6946023 |
62.94/18.26	c (5,0) c | ReduceDBs     |              56 |          7 |          7 |          7 |          7 |          7 |          7 |          7 |          7 |
62.94/18.26	c (5,0) c | SimpDBs       |             112 |         13 |         13 |         12 |         13 |         15 |         17 |         12 |         17 |
62.94/18.26	c (5,0) c | Restarts      |            2626 |        340 |        312 |        310 |        373 |        317 |        364 |        272 |        338 |
62.94/18.26	c (5,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
62.94/18.26	c (5,0) c | PropBinClauses|        73128333 |    8592552 |    8823348 |    9549764 |    9573853 |    9048245 |    9058872 |    9007435 |    9474264 |
62.94/18.26	c (5,0) c | PropPreBlocker|      1231359505 |  142735091 |  146784860 |  161149564 |  162370848 |  153594046 |  151856163 |  152359009 |  160509924 |
62.94/18.26	c (5,0) c | PropNotBlocker|       403535647 |   48124102 |   48370746 |   51429280 |   51354565 |   51851676 |   50970424 |   50380318 |   51054536 |
62.94/18.26	c (5,0) c | LitFullScans  |      2602279279 |  303189496 |  312019980 |  336020654 |  340306828 |  330054170 |  324029646 |  320588622 |  336069883 |
62.94/18.26	c (5,0) c | LitScanFracts |          292925 |      14417 |      11338 |      14440 |      36607 |      47102 |      16775 |      90368 |      61878 |
62.94/18.26	c (5,0) c | DecisionLevel0|            2737 |        354 |        323 |        320 |        388 |        330 |        381 |        284 |        357 |
62.94/18.26	c (5,0) c | Periods       |             432 |         50 |         52 |         56 |         56 |         55 |         54 |         53 |         56 |
62.94/18.26	c (5,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
62.94/18.26	c (5,0) c | Avg_Trail     |                 |        431 |        438 |        443 |        450 |        438 |        434 |        425 |        442 |
62.94/18.26	c (5,0) c | Avg_DL        |                 |         19 |         20 |         20 |         19 |         20 |         19 |         19 |         18 |
62.94/18.26	c (5,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
62.94/18.26	c (5,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
62.94/18.26	c (5,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
62.94/18.26	c (5,0) c | Exported      |          114230 |      13709 |      13997 |      15166 |      13681 |      14034 |      14390 |      15188 |      14065 |
62.94/18.26	c (5,0) c | Imported      |          680543 |      83626 |      84133 |      85139 |      88681 |      87103 |      80376 |      84085 |      87400 |
62.94/18.26	c (5,0) c | Good          |            5789 |        711 |        736 |        745 |        729 |        745 |        682 |        732 |        709 |
62.94/18.26	c (5,0) c | Purge         |          674754 |      82915 |      83397 |      84394 |      87952 |      86358 |      79694 |      83353 |      86691 |
62.94/18.26	c (5,0) c | Promoted      |           34817 |       4077 |       4399 |       4030 |       4505 |       4417 |       4250 |       4689 |       4450 |
62.94/18.26	c (5,0) c | Remove_Imp    |          298523 |      37736 |      38748 |      36077 |      38573 |      40079 |      37518 |      28714 |      41078 |
62.94/18.26	c (5,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
62.94/18.26	c (5,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
62.94/18.26	c (5,0) c | Unaries       |                 |         14 |         11 |         10 |         15 |         13 |         17 |         12 |         19 |
62.94/18.26	c (5,0) c | Binaries      |                 |        119 |         93 |         90 |        121 |        102 |        125 |        110 |        140 |
62.94/18.26	c (5,0) c | Glues         |                 |        747 |        640 |        604 |        674 |        697 |        755 |        716 |        726 |
62.94/18.26	c (5,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
62.94/18.26	c (5,0) c | Orig_Seen     |           103 % |       4782 |       4732 |       4875 |       4753 |       4748 |       4772 |       4817 |       4734 |
62.94/18.26	c (5,0) c | Diff Orig seen|                 |      X     | -       50 |         93 | -       29 | -       34 | -       10 |         35 | -       48 |
62.94/18.26	c (5,0) c | Hamming       |             6 % |      X     |        234 |        280 |        289 |        225 |        306 |        273 |        269 |
62.94/18.26	c (5,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
62.94/18.26	c (5,0) c | RunningTime   |                 |    4.9 100%|    4.9 100%|    4.9  99%|    4.9  99%|    5.0 100%|    4.9 100%|    4.9 100%|    5.0 100%|
62.94/18.26	c (5,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%|
62.94/18.26	c (5,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%|
62.94/18.26	c (5,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%|
62.94/18.26	c (5,0) c | SolvingTime   |                 |    4.9     |    4.9     |    5.0     |    4.9     |    5.0     |    4.9     |    4.9     |    5.0     |
62.94/18.26	c (5,0) c | PropagationTim|                 |    4.1  84%|    4.1  83%|    4.1  82%|    4.1  82%|    4.2  84%|    4.1  83%|    4.1  83%|    4.1  83%|
62.94/18.26	c (5,0) c | AnalysisTime  |                 |    0.6  12%|    0.6  12%|    0.7  13%|    0.6  13%|    0.6  12%|    0.6  12%|    0.6  12%|    0.6  13%|
62.94/18.26	c (5,0) c | ReductionTime |                 |    0.1   1%|    0.1   1%|    0.1   1%|    0.1   1%|    0.1   1%|    0.1   1%|    0.1   1%|    0.1   1%|
62.94/18.26	c (5,0) c | SimplifyTime  |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
62.94/18.26	c (5,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%|
62.94/18.27	c (5,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%|
62.94/18.27	c (5,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
62.94/18.27	c (5,0) c
62.94/18.27	c (5,0) c
62.94/18.27	c (5,0) c Threads : 8
62.94/18.27	c (5,0) c Winner : 0
62.94/18.27	c (5,0) c Conflicts_0 : 76607
62.94/18.27	c (5,0) c Conflicts_1 : 76479
62.94/18.27	c (5,0) c Conflicts_2 : 82123
62.94/18.27	c (5,0) c Conflicts_3 : 79087
62.94/18.27	c (5,0) c Conflicts_4 : 78013
62.94/18.27	c (5,0) c Conflicts_5 : 78331
62.94/18.27	c (5,0) c Conflicts_6 : 80791
62.94/18.27	c (5,0) c Conflicts_7 : 79414
62.94/18.27	c (5,0) c Conflicts_total : 630845
62.94/18.27	c (5,0) c Conflicts_winner : 76607
62.94/18.27	c (5,0) c Decisions_0 : 121873
62.94/18.27	c (5,0) c Decisions_1 : 120720
62.94/18.27	c (5,0) c Decisions_2 : 128799
62.94/18.27	c (5,0) c Decisions_3 : 124687
62.94/18.27	c (5,0) c Decisions_4 : 122006
62.94/18.27	c (5,0) c Decisions_5 : 124778
62.94/18.27	c (5,0) c Decisions_6 : 125645
62.94/18.27	c (5,0) c Decisions_7 : 125562
62.94/18.27	c (5,0) c Decisions_total : 994070
62.94/18.27	c (5,0) c Decisions_winner : 121873
62.94/18.27	c (5,0) c Propagations_0 : 6432804
62.94/18.27	c (5,0) c Propagations_1 : 6593159
62.94/18.27	c (5,0) c Propagations_2 : 7050224
62.94/18.27	c (5,0) c Propagations_3 : 7040341
62.94/18.27	c (5,0) c Propagations_4 : 6705630
62.94/18.27	c (5,0) c Propagations_5 : 6682660
62.94/18.27	c (5,0) c Propagations_6 : 6719613
62.94/18.27	c (5,0) c Propagations_7 : 6946023
62.94/18.27	c (5,0) c Propagations_total : 54170454
62.94/18.27	c (5,0) c Propagations_winner : 6432804
62.94/18.27	c (5,0) c ReduceDBs_0 : 7
62.94/18.27	c (5,0) c ReduceDBs_1 : 7
62.94/18.27	c (5,0) c ReduceDBs_2 : 7
62.94/18.27	c (5,0) c ReduceDBs_3 : 7
62.94/18.27	c (5,0) c ReduceDBs_4 : 7
62.94/18.27	c (5,0) c ReduceDBs_5 : 7
62.94/18.27	c (5,0) c ReduceDBs_6 : 7
62.94/18.27	c (5,0) c ReduceDBs_7 : 7
62.94/18.27	c (5,0) c ReduceDBs_total : 56
62.94/18.27	c (5,0) c ReduceDBs_winner : 7
62.94/18.27	c (5,0) c SimpDBs_0 : 13
62.94/18.27	c (5,0) c SimpDBs_1 : 13
62.94/18.27	c (5,0) c SimpDBs_2 : 12
62.94/18.27	c (5,0) c SimpDBs_3 : 13
62.94/18.27	c (5,0) c SimpDBs_4 : 15
62.94/18.27	c (5,0) c SimpDBs_5 : 17
62.94/18.27	c (5,0) c SimpDBs_6 : 12
62.94/18.27	c (5,0) c SimpDBs_7 : 17
62.94/18.27	c (5,0) c SimpDBs_total : 112
62.94/18.27	c (5,0) c SimpDBs_winner : 13
62.94/18.27	c (5,0) c Restarts_0 : 340
62.94/18.27	c (5,0) c Restarts_1 : 312
62.94/18.27	c (5,0) c Restarts_2 : 310
62.94/18.27	c (5,0) c Restarts_3 : 373
62.94/18.27	c (5,0) c Restarts_4 : 317
62.94/18.27	c (5,0) c Restarts_5 : 364
62.94/18.27	c (5,0) c Restarts_6 : 272
62.94/18.27	c (5,0) c Restarts_7 : 338
62.94/18.27	c (5,0) c Restarts_total : 2626
62.94/18.27	c (5,0) c Restarts_winner : 340
62.94/18.27	c (5,0) c ForcedImports_0 : 0
62.94/18.27	c (5,0) c ForcedImports_1 : 0
62.94/18.27	c (5,0) c ForcedImports_2 : 0
62.94/18.27	c (5,0) c ForcedImports_3 : 0
62.94/18.27	c (5,0) c ForcedImports_4 : 0
62.94/18.27	c (5,0) c ForcedImports_5 : 0
62.94/18.27	c (5,0) c ForcedImports_6 : 0
62.94/18.27	c (5,0) c ForcedImports_7 : 0
62.94/18.27	c (5,0) c ForcedImports_total : 0
62.94/18.27	c (5,0) c ForcedImports_winner : 0
62.94/18.27	c (5,0) c PropsBinClauses_0 : 8592552
62.94/18.27	c (5,0) c PropsBinClauses_1 : 8823348
62.94/18.27	c (5,0) c PropsBinClauses_2 : 9549764
62.94/18.27	c (5,0) c PropsBinClauses_3 : 9573853
62.94/18.27	c (5,0) c PropsBinClauses_4 : 9048245
62.94/18.27	c (5,0) c PropsBinClauses_5 : 9058872
62.94/18.27	c (5,0) c PropsBinClauses_6 : 9007435
62.94/18.27	c (5,0) c PropsBinClauses_7 : 9474264
62.94/18.27	c (5,0) c PropsBinClauses_total : 73128333
62.94/18.27	c (5,0) c PropsBinClauses_winner : 8592552
62.94/18.27	c (5,0) c PropsPreBlocker_0 : 142735091
62.94/18.27	c (5,0) c PropsPreBlocker_1 : 146784860
62.94/18.27	c (5,0) c PropsPreBlocker_2 : 161149564
62.94/18.27	c (5,0) c PropsPreBlocker_3 : 162370848
62.94/18.27	c (5,0) c PropsPreBlocker_4 : 153594046
62.94/18.27	c (5,0) c PropsPreBlocker_5 : 151856163
62.94/18.27	c (5,0) c PropsPreBlocker_6 : 152359009
62.94/18.27	c (5,0) c PropsPreBlocker_7 : 160509924
62.94/18.27	c (5,0) c PropsPreBlocker_total : 1231359505
62.94/18.27	c (5,0) c PropsPreBlocker_winner : 142735091
62.94/18.27	c (5,0) c PropsNotBlocker_0 : 48124102
62.94/18.27	c (5,0) c PropsNotBlocker_1 : 48370746
62.94/18.27	c (5,0) c PropsNotBlocker_2 : 51429280
62.94/18.27	c (5,0) c PropsNotBlocker_3 : 51354565
62.94/18.27	c (5,0) c PropsNotBlocker_4 : 51851676
62.94/18.27	c (5,0) c PropsNotBlocker_5 : 50970424
62.94/18.27	c (5,0) c PropsNotBlocker_6 : 50380318
62.94/18.27	c (5,0) c PropsNotBlocker_7 : 51054536
62.94/18.27	c (5,0) c PropsNotBlocker_total : 403535647
62.94/18.27	c (5,0) c PropsNotBlocker_winner : 48124102
62.94/18.27	c (5,0) c PropsLitFullScans_0 : 303189496
62.94/18.27	c (5,0) c PropsLitFullScans_1 : 312019980
62.94/18.27	c (5,0) c PropsLitFullScans_2 : 336020654
62.94/18.27	c (5,0) c PropsLitFullScans_3 : 340306828
62.94/18.27	c (5,0) c PropsLitFullScans_4 : 330054170
62.94/18.27	c (5,0) c PropsLitFullScans_5 : 324029646
62.94/18.27	c (5,0) c PropsLitFullScans_6 : 320588622
62.94/18.27	c (5,0) c PropsLitFullScans_7 : 336069883
62.94/18.27	c (5,0) c PropsLitFullScans_total : 2602279279
62.94/18.27	c (5,0) c PropsLitFullScans_winner : 303189496
62.94/18.27	c (5,0) c LitScanFractions_0 : 14417
62.94/18.27	c (5,0) c LitScanFractions_1 : 11338
62.94/18.27	c (5,0) c LitScanFractions_2 : 14440
62.94/18.27	c (5,0) c LitScanFractions_3 : 36607
62.94/18.27	c (5,0) c LitScanFractions_4 : 47102
62.94/18.27	c (5,0) c LitScanFractions_5 : 16775
62.94/18.27	c (5,0) c LitScanFractions_6 : 90368
62.94/18.27	c (5,0) c LitScanFractions_7 : 61878
62.94/18.27	c (5,0) c LitScanFractions_total : 292925
62.94/18.27	c (5,0) c LitScanFractions_winner : 14417
62.94/18.27	c (5,0) c DecisionLevel0_0 : 354
62.94/18.27	c (5,0) c DecisionLevel0_1 : 323
62.94/18.27	c (5,0) c DecisionLevel0_2 : 320
62.94/18.27	c (5,0) c DecisionLevel0_3 : 388
62.94/18.27	c (5,0) c DecisionLevel0_4 : 330
62.94/18.27	c (5,0) c DecisionLevel0_5 : 381
62.94/18.27	c (5,0) c DecisionLevel0_6 : 284
62.94/18.27	c (5,0) c DecisionLevel0_7 : 357
62.94/18.27	c (5,0) c DecisionLevel0_total : 2737
62.94/18.27	c (5,0) c DecisionLevel0_winner : 354
62.94/18.27	c (5,0) c Periods_0 : 50
62.94/18.27	c (5,0) c Periods_1 : 52
62.94/18.27	c (5,0) c Periods_2 : 56
62.94/18.27	c (5,0) c Periods_3 : 56
62.94/18.27	c (5,0) c Periods_4 : 55
62.94/18.27	c (5,0) c Periods_5 : 54
62.94/18.27	c (5,0) c Periods_6 : 53
62.94/18.27	c (5,0) c Periods_7 : 56
62.94/18.27	c (5,0) c Periods_total : 432
62.94/18.27	c (5,0) c Periods_winner : 50
62.94/18.27	c (5,0) c Margin_0 : 20
62.94/18.27	c (5,0) c Margin_1 : 20
62.94/18.27	c (5,0) c Margin_2 : 20
62.94/18.27	c (5,0) c Margin_3 : 20
62.94/18.27	c (5,0) c Margin_4 : 20
62.94/18.27	c (5,0) c Margin_5 : 20
62.94/18.27	c (5,0) c Margin_6 : 20
62.94/18.27	c (5,0) c Margin_7 : 20
62.94/18.27	c (5,0) c Margin_total : 160
62.94/18.27	c (5,0) c Margin_winner : 20
62.94/18.27	c (5,0) c Exported_0 : 13709
62.94/18.27	c (5,0) c Exported_1 : 13997
62.94/18.27	c (5,0) c Exported_2 : 15166
62.94/18.27	c (5,0) c Exported_3 : 13681
62.94/18.27	c (5,0) c Exported_4 : 14034
62.94/18.27	c (5,0) c Exported_5 : 14390
62.94/18.27	c (5,0) c Exported_6 : 15188
62.94/18.27	c (5,0) c Exported_7 : 14065
62.94/18.27	c (5,0) c Exported_total : 114230
62.94/18.27	c (5,0) c Exported_winner : 13709
62.94/18.27	c (5,0) c Imported_0 : 83626
62.94/18.27	c (5,0) c Imported_1 : 84133
62.94/18.27	c (5,0) c Imported_2 : 85139
62.94/18.27	c (5,0) c Imported_3 : 88681
62.94/18.27	c (5,0) c Imported_4 : 87103
62.94/18.27	c (5,0) c Imported_5 : 80376
62.94/18.27	c (5,0) c Imported_6 : 84085
62.94/18.27	c (5,0) c Imported_7 : 87400
62.94/18.27	c (5,0) c Imported_total : 680543
62.94/18.27	c (5,0) c Imported_winner : 83626
62.94/18.27	c (5,0) c Good_0 : 711
62.94/18.27	c (5,0) c Good_1 : 736
62.94/18.27	c (5,0) c Good_2 : 745
62.94/18.27	c (5,0) c Good_3 : 729
62.94/18.27	c (5,0) c Good_4 : 745
62.94/18.27	c (5,0) c Good_5 : 682
62.94/18.27	c (5,0) c Good_6 : 732
62.94/18.27	c (5,0) c Good_7 : 709
62.94/18.27	c (5,0) c Good_total : 5789
62.94/18.27	c (5,0) c Good_winner : 711
62.94/18.27	c (5,0) c Purge_0 : 82915
62.94/18.27	c (5,0) c Purge_1 : 83397
62.94/18.27	c (5,0) c Purge_2 : 84394
62.94/18.27	c (5,0) c Purge_3 : 87952
62.94/18.27	c (5,0) c Purge_4 : 86358
62.94/18.27	c (5,0) c Purge_5 : 79694
62.94/18.27	c (5,0) c Purge_6 : 83353
62.94/18.27	c (5,0) c Purge_7 : 86691
62.94/18.27	c (5,0) c Purge_total : 674754
62.94/18.27	c (5,0) c Purge_winner : 82915
62.94/18.27	c (5,0) c Promoted_0 : 4077
62.94/18.27	c (5,0) c Promoted_1 : 4399
62.94/18.27	c (5,0) c Promoted_2 : 4030
62.94/18.27	c (5,0) c Promoted_3 : 4505
62.94/18.27	c (5,0) c Promoted_4 : 4417
62.94/18.27	c (5,0) c Promoted_5 : 4250
62.94/18.27	c (5,0) c Promoted_6 : 4689
62.94/18.27	c (5,0) c Promoted_7 : 4450
62.94/18.27	c (5,0) c Promoted_total : 34817
62.94/18.27	c (5,0) c Promoted_winner : 4077
62.94/18.27	c (5,0) c Remove_Imp_0 : 37736
62.94/18.27	c (5,0) c Remove_Imp_1 : 38748
62.94/18.27	c (5,0) c Remove_Imp_2 : 36077
62.94/18.27	c (5,0) c Remove_Imp_3 : 38573
62.94/18.27	c (5,0) c Remove_Imp_4 : 40079
62.94/18.27	c (5,0) c Remove_Imp_5 : 37518
62.94/18.27	c (5,0) c Remove_Imp_6 : 28714
62.94/18.27	c (5,0) c Remove_Imp_7 : 41078
62.94/18.27	c (5,0) c Remove_Imp_total : 298523
62.94/18.27	c (5,0) c Remove_Imp_winner : 37736
62.94/18.27	c (5,0) c Blocked_Reuse_0 : 0
62.94/18.27	c (5,0) c Blocked_Reuse_1 : 0
62.94/18.27	c (5,0) c Blocked_Reuse_2 : 0
62.94/18.27	c (5,0) c Blocked_Reuse_3 : 0
62.94/18.27	c (5,0) c Blocked_Reuse_4 : 0
62.94/18.27	c (5,0) c Blocked_Reuse_5 : 0
62.94/18.27	c (5,0) c Blocked_Reuse_6 : 0
62.94/18.27	c (5,0) c Blocked_Reuse_7 : 0
62.94/18.27	c (5,0) c Blocked_Reuse_total : 0
62.94/18.27	c (5,0) c Blocked_Reuse_winner : 0
62.94/18.27	c (5,0) c Unaries_0 : 14
62.94/18.27	c (5,0) c Unaries_1 : 11
62.94/18.27	c (5,0) c Unaries_2 : 10
62.94/18.27	c (5,0) c Unaries_3 : 15
62.94/18.27	c (5,0) c Unaries_4 : 13
62.94/18.27	c (5,0) c Unaries_5 : 17
62.94/18.27	c (5,0) c Unaries_6 : 12
62.94/18.27	c (5,0) c Unaries_7 : 19
62.94/18.27	c (5,0) c Unaries_total : 111
62.94/18.27	c (5,0) c Unaries_winner : 14
62.94/18.27	c (5,0) c Binaries_0 : 119
62.94/18.27	c (5,0) c Binaries_1 : 93
62.94/18.27	c (5,0) c Binaries_2 : 90
62.94/18.27	c (5,0) c Binaries_3 : 121
62.94/18.27	c (5,0) c Binaries_4 : 102
62.94/18.27	c (5,0) c Binaries_5 : 125
62.94/18.27	c (5,0) c Binaries_6 : 110
62.94/18.27	c (5,0) c Binaries_7 : 140
62.94/18.27	c (5,0) c Binaries_total : 900
62.94/18.27	c (5,0) c Binaries_winner : 119
62.94/18.28	c (5,0) c Glues_0 : 747
62.94/18.28	c (5,0) c Glues_1 : 640
62.94/18.28	c (5,0) c Glues_2 : 604
62.94/18.28	c (5,0) c Glues_3 : 674
62.94/18.28	c (5,0) c Glues_4 : 697
62.94/18.28	c (5,0) c Glues_5 : 755
62.94/18.28	c (5,0) c Glues_6 : 716
62.94/18.28	c (5,0) c Glues_7 : 726
62.94/18.28	c (5,0) c Glues_total : 5559
62.94/18.28	c (5,0) c Glues_winner : 747
62.94/18.28	c (5,0) c RunningTime_0 : 4.916133
62.94/18.28	c (5,0) c RunningTime_1 : 4.915716
62.94/18.28	c (5,0) c RunningTime_2 : 4.949739
62.94/18.28	c (5,0) c RunningTime_3 : 4.920518
62.94/18.28	c (5,0) c RunningTime_4 : 4.968371
62.94/18.28	c (5,0) c RunningTime_5 : 4.916605
62.94/18.28	c (5,0) c RunningTime_6 : 4.924074
62.94/18.28	c (5,0) c RunningTime_7 : 4.966451
62.94/18.28	c (5,0) c RunningTime_total : 39.477607
62.94/18.28	c (5,0) c RunningTime_winner : 4.916133
62.94/18.28	c (5,0) c WaitingTime_0 : 0.000026
62.94/18.28	c (5,0) c WaitingTime_1 : 0.000050
62.94/18.28	c (5,0) c WaitingTime_2 : 0.000035
62.94/18.28	c (5,0) c WaitingTime_3 : 0.000040
62.94/18.28	c (5,0) c WaitingTime_4 : 0.000051
62.94/18.28	c (5,0) c WaitingTime_5 : 0.000036
62.94/18.28	c (5,0) c WaitingTime_6 : 0.000031
62.94/18.28	c (5,0) c WaitingTime_7 : 0.000037
62.94/18.28	c (5,0) c WaitingTime_total : 0.000306
62.94/18.28	c (5,0) c WaitingTime_winner : 0.000026
62.94/18.28	c (5,0) c ExchangingTime_0 : 0.020227
62.94/18.28	c (5,0) c ExchangingTime_1 : 0.023327
62.94/18.28	c (5,0) c ExchangingTime_2 : 0.024772
62.94/18.28	c (5,0) c ExchangingTime_3 : 0.024371
62.94/18.28	c (5,0) c ExchangingTime_4 : 0.022904
62.94/18.28	c (5,0) c ExchangingTime_5 : 0.022252
62.94/18.28	c (5,0) c ExchangingTime_6 : 0.022798
62.94/18.28	c (5,0) c ExchangingTime_7 : 0.023591
62.94/18.28	c (5,0) c ExchangingTime_total : 0.184242
62.94/18.28	c (5,0) c ExchangingTime_winner : 0.020227
62.94/18.28	c (5,0) c PeriodProcTime_0 : 0.000350
62.94/18.28	c (5,0) c PeriodProcTime_1 : 0.000396
62.94/18.28	c (5,0) c PeriodProcTime_2 : 0.000381
62.94/18.28	c (5,0) c PeriodProcTime_3 : 0.000387
62.94/18.28	c (5,0) c PeriodProcTime_4 : 0.000322
62.94/18.28	c (5,0) c PeriodProcTime_5 : 0.000323
62.94/18.28	c (5,0) c PeriodProcTime_6 : 0.000398
62.94/18.28	c (5,0) c PeriodProcTime_7 : 0.000329
62.94/18.28	c (5,0) c PeriodProcTime_total : 0.002887
62.94/18.28	c (5,0) c PeriodProcTime_winner : 0.000350
62.94/18.28	c (5,0) c SolvingTime_0 : 4.936736
62.94/18.28	c (5,0) c SolvingTime_1 : 4.939489
62.94/18.28	c (5,0) c SolvingTime_2 : 4.974927
62.94/18.28	c (5,0) c SolvingTime_3 : 4.945316
62.94/18.28	c (5,0) c SolvingTime_4 : 4.991649
62.94/18.28	c (5,0) c SolvingTime_5 : 4.939216
62.94/18.28	c (5,0) c SolvingTime_6 : 4.947301
62.94/18.28	c (5,0) c SolvingTime_7 : 4.990407
62.94/18.28	c (5,0) c SolvingTime_total : 39.665043
62.94/18.28	c (5,0) c SolvingTime_winner : 4.936736
62.94/18.28	c (5,0) c PropagationTime_0 : 4.139516
62.94/18.28	c (5,0) c PropagationTime_1 : 4.104838
62.94/18.28	c (5,0) c PropagationTime_2 : 4.103382
62.94/18.28	c (5,0) c PropagationTime_3 : 4.075879
62.94/18.28	c (5,0) c PropagationTime_4 : 4.169111
62.94/18.28	c (5,0) c PropagationTime_5 : 4.112947
62.94/18.28	c (5,0) c PropagationTime_6 : 4.129546
62.94/18.28	c (5,0) c PropagationTime_7 : 4.140846
62.94/18.28	c (5,0) c PropagationTime_total : 32.976065
62.94/18.28	c (5,0) c PropagationTime_winner : 4.139516
62.94/18.28	c (5,0) c AnalysisTime_0 : 0.582311
62.94/18.28	c (5,0) c AnalysisTime_1 : 0.613611
62.94/18.28	c (5,0) c AnalysisTime_2 : 0.655971
62.94/18.28	c (5,0) c AnalysisTime_3 : 0.638347
62.94/18.28	c (5,0) c AnalysisTime_4 : 0.602339
62.94/18.28	c (5,0) c AnalysisTime_5 : 0.605238
62.94/18.28	c (5,0) c AnalysisTime_6 : 0.602703
62.94/18.28	c (5,0) c AnalysisTime_7 : 0.626417
62.94/18.28	c (5,0) c AnalysisTime_total : 4.926938
62.94/18.28	c (5,0) c AnalysisTime_winner : 0.582311
62.94/18.28	c (5,0) c ReductionTime_0 : 0.055982
62.94/18.28	c (5,0) c ReductionTime_1 : 0.057096
62.94/18.28	c (5,0) c ReductionTime_2 : 0.056525
62.94/18.28	c (5,0) c ReductionTime_3 : 0.062668
62.94/18.28	c (5,0) c ReductionTime_4 : 0.056492
62.94/18.28	c (5,0) c ReductionTime_5 : 0.056799
62.94/18.28	c (5,0) c ReductionTime_6 : 0.052674
62.94/18.28	c (5,0) c ReductionTime_7 : 0.056037
62.94/18.28	c (5,0) c ReductionTime_total : 0.454273
62.94/18.28	c (5,0) c ReductionTime_winner : 0.055982
62.94/18.28	c (5,0) c SimplifyTime_0 : 0.011252
62.94/18.28	c (5,0) c SimplifyTime_1 : 0.014044
62.94/18.28	c (5,0) c SimplifyTime_2 : 0.010318
62.94/18.28	c (5,0) c SimplifyTime_3 : 0.016347
62.94/18.28	c (5,0) c SimplifyTime_4 : 0.015061
62.94/18.28	c (5,0) c SimplifyTime_5 : 0.014156
62.94/18.28	c (5,0) c SimplifyTime_6 : 0.011188
62.94/18.28	c (5,0) c SimplifyTime_7 : 0.015117
62.94/18.28	c (5,0) c SimplifyTime_total : 0.107482
62.94/18.28	c (5,0) c SimplifyTime_winner : 0.011252
62.94/18.28	c (5,0) c UsedRateTime_0 : 0.000000
62.94/18.28	c (5,0) c UsedRateTime_1 : 0.000000
62.94/18.28	c (5,0) c UsedRateTime_2 : 0.000000
62.94/18.28	c (5,0) c UsedRateTime_3 : 0.000000
62.94/18.28	c (5,0) c UsedRateTime_4 : 0.000000
62.94/18.28	c (5,0) c UsedRateTime_5 : 0.000000
62.94/18.28	c (5,0) c UsedRateTime_6 : 0.000000
62.94/18.28	c (5,0) c UsedRateTime_7 : 0.000000
62.94/18.28	c (5,0) c UsedRateTime_total : 0.000000
62.94/18.28	c (5,0) c UsedRateTime_winner : 0.000000
62.94/18.28	c (5,0) c OverlapRateTime_0 : 0.000000
62.94/18.28	c (5,0) c OverlapRateTime_1 : 0.000000
62.94/18.28	c (5,0) c OverlapRateTime_2 : 0.000000
62.94/18.28	c (5,0) c OverlapRateTime_3 : 0.000000
62.94/18.28	c (5,0) c OverlapRateTime_4 : 0.000000
62.94/18.28	c (5,0) c OverlapRateTime_5 : 0.000000
62.94/18.28	c (5,0) c OverlapRateTime_6 : 0.000000
62.94/18.28	c (5,0) c OverlapRateTime_7 : 0.000000
62.94/18.28	c (5,0) c OverlapRateTime_total : 0.000000
62.94/18.28	c (5,0) c OverlapRateTime_winner : 0.000000
62.94/18.28	c (5,0) c
62.94/18.28	c (5,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
62.94/18.28	c (5,0) c
62.94/18.28	c (5,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
62.94/18.28	c (5,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
62.94/18.28	c (5,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
62.94/18.28	c (5,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
62.94/18.28	c (5,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
62.94/18.28	c (5,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
62.94/18.28	c (5,0) c | Initial random_seed   |  344914092 | 1205335069 |  902978842 | 2021600513 | 1175812015 |  186510439 |  359997407 | 1412888917 |
62.94/18.28	c (5,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
62.94/18.28	c (5,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
62.94/18.28	c (5,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
62.94/18.28	c (5,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
62.94/18.28	c (5,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
62.94/18.28	c (5,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
62.94/18.28	c (5,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
62.94/18.28	c (5,0) c | var_decay             |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
62.94/18.28	c (5,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
62.94/18.28	c (5,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
62.94/18.28	c (5,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
62.94/18.28	c (5,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
62.94/18.28	c (5,0) 
62.94/18.28	c (5,0) s SATISFIABLE
63.21/18.30	c (5,0) SatSolver.solve End
63.21/18.30	c (5,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
63.21/18.30	c (5,0) Show results Begin
63.41/18.40	c (5,0) x0 = 7
63.41/18.40	c (5,0) x1 = 20
63.41/18.40	c (5,0) x10 = 17
63.41/18.40	c (5,0) x100 = 5
63.41/18.40	c (5,0) x101 = 17
63.41/18.40	c (5,0) x102 = 13
63.41/18.40	c (5,0) x103 = 7
63.41/18.40	c (5,0) x104 = 15
63.41/18.40	c (5,0) x105 = 23
63.41/18.40	c (5,0) x106 = 10
63.41/18.40	c (5,0) x107 = 24
63.41/18.40	c (5,0) x108 = 1
63.41/18.40	c (5,0) x109 = 6
63.41/18.40	c (5,0) x11 = 8
63.41/18.40	c (5,0) x110 = 19
63.41/18.40	c (5,0) x111 = 18
63.41/18.40	c (5,0) x112 = 20
63.41/18.40	c (5,0) x113 = 14
63.41/18.40	c (5,0) x114 = 8
63.41/18.40	c (5,0) x115 = 2
63.41/18.40	c (5,0) x116 = 3
63.41/18.40	c (5,0) x117 = 0
63.41/18.40	c (5,0) x118 = 9
63.41/18.40	c (5,0) x119 = 11
63.41/18.40	c (5,0) x12 = 3
63.41/18.40	c (5,0) x120 = 22
63.41/18.40	c (5,0) x121 = 12
63.41/18.40	c (5,0) x122 = 16
63.41/18.40	c (5,0) x123 = 4
63.41/18.40	c (5,0) x124 = 21
63.41/18.40	c (5,0) x125 = 0
63.41/18.40	c (5,0) x126 = 16
63.41/18.40	c (5,0) x127 = 4
63.41/18.40	c (5,0) x128 = 2
63.41/18.40	c (5,0) x129 = 20
63.41/18.40	c (5,0) x13 = 6
63.41/18.40	c (5,0) x130 = 19
63.41/18.40	c (5,0) x131 = 13
63.41/18.40	c (5,0) x132 = 15
63.41/18.40	c (5,0) x133 = 10
63.41/18.40	c (5,0) x134 = 18
63.41/18.40	c (5,0) x135 = 9
63.41/18.40	c (5,0) x136 = 1
63.41/18.40	c (5,0) x137 = 12
63.41/18.40	c (5,0) x138 = 7
63.41/18.40	c (5,0) x139 = 14
63.41/18.40	c (5,0) x14 = 13
63.41/18.40	c (5,0) x140 = 5
63.41/18.40	c (5,0) x141 = 23
63.41/18.40	c (5,0) x142 = 24
63.41/18.40	c (5,0) x143 = 8
63.41/18.40	c (5,0) x144 = 3
63.41/18.40	c (5,0) x145 = 17
63.41/18.40	c (5,0) x146 = 6
63.41/18.40	c (5,0) x147 = 21
63.41/18.40	c (5,0) x148 = 22
63.41/18.40	c (5,0) x149 = 11
63.41/18.40	c (5,0) x15 = 9
63.41/18.40	c (5,0) x150 = 15
63.41/18.40	c (5,0) x151 = 7
63.41/18.40	c (5,0) x152 = 19
63.41/18.40	c (5,0) x153 = 8
63.41/18.40	c (5,0) x154 = 1
63.41/18.40	c (5,0) x155 = 18
63.41/18.40	c (5,0) x156 = 4
63.41/18.40	c (5,0) x157 = 14
63.41/18.40	c (5,0) x158 = 17
63.41/18.40	c (5,0) x159 = 3
63.41/18.40	c (5,0) x16 = 12
63.41/18.40	c (5,0) x160 = 23
63.41/18.40	c (5,0) x161 = 10
63.41/18.40	c (5,0) x162 = 2
63.41/18.40	c (5,0) x163 = 11
63.41/18.40	c (5,0) x164 = 0
63.41/18.40	c (5,0) x165 = 24
63.41/18.40	c (5,0) x166 = 16
63.41/18.40	c (5,0) x167 = 12
63.41/18.40	c (5,0) x168 = 20
63.41/18.40	c (5,0) x169 = 6
63.41/18.40	c (5,0) x17 = 15
63.41/18.40	c (5,0) x170 = 9
63.41/18.40	c (5,0) x171 = 13
63.41/18.40	c (5,0) x172 = 5
63.41/18.40	c (5,0) x173 = 21
63.41/18.40	c (5,0) x174 = 22
63.41/18.40	c (5,0) x175 = 8
63.41/18.41	c (5,0) x176 = 1
63.41/18.41	c (5,0) x177 = 18
63.41/18.41	c (5,0) x178 = 10
63.41/18.41	c (5,0) x179 = 4
63.41/18.41	c (5,0) x18 = 22
63.41/18.41	c (5,0) x180 = 14
63.41/18.41	c (5,0) x181 = 19
63.41/18.41	c (5,0) x182 = 2
63.41/18.41	c (5,0) x183 = 22
63.41/18.41	c (5,0) x184 = 7
63.41/18.41	c (5,0) x185 = 13
63.41/18.41	c (5,0) x186 = 16
63.41/18.41	c (5,0) x187 = 5
63.41/18.41	c (5,0) x188 = 20
63.41/18.41	c (5,0) x189 = 21
63.41/18.41	c (5,0) x19 = 21
63.41/18.41	c (5,0) x190 = 15
63.41/18.41	c (5,0) x191 = 11
63.41/18.41	c (5,0) x192 = 6
63.41/18.41	c (5,0) x193 = 23
63.41/18.41	c (5,0) x194 = 17
63.41/18.41	c (5,0) x195 = 3
63.41/18.41	c (5,0) x196 = 24
63.41/18.41	c (5,0) x197 = 9
63.41/18.41	c (5,0) x198 = 12
63.41/18.41	c (5,0) x199 = 0
63.41/18.41	c (5,0) x2 = 10
63.41/18.41	c (5,0) x20 = 1
63.41/18.41	c (5,0) x200 = 3
63.41/18.41	c (5,0) x201 = 6
63.41/18.41	c (5,0) x202 = 17
63.41/18.41	c (5,0) x203 = 11
63.41/18.41	c (5,0) x204 = 10
63.41/18.41	c (5,0) x205 = 9
63.41/18.41	c (5,0) x206 = 14
63.41/18.41	c (5,0) x207 = 19
63.41/18.41	c (5,0) x208 = 23
63.41/18.41	c (5,0) x209 = 16
63.41/18.41	c (5,0) x21 = 19
63.41/18.41	c (5,0) x210 = 20
63.41/18.41	c (5,0) x211 = 13
63.41/18.41	c (5,0) x212 = 18
63.41/18.41	c (5,0) x213 = 1
63.41/18.41	c (5,0) x214 = 24
63.41/18.41	c (5,0) x215 = 22
63.41/18.41	c (5,0) x216 = 4
63.41/18.41	c (5,0) x217 = 2
63.41/18.41	c (5,0) x218 = 15
63.41/18.41	c (5,0) x219 = 5
63.41/18.41	c (5,0) x22 = 4
63.41/18.41	c (5,0) x220 = 7
63.41/18.41	c (5,0) x221 = 21
63.41/18.41	c (5,0) x222 = 8
63.41/18.41	c (5,0) x223 = 0
63.41/18.41	c (5,0) x224 = 12
63.41/18.41	c (5,0) x225 = 18
63.41/18.41	c (5,0) x226 = 19
63.41/18.41	c (5,0) x227 = 0
63.41/18.41	c (5,0) x228 = 22
63.41/18.41	c (5,0) x229 = 5
63.41/18.41	c (5,0) x23 = 5
63.41/18.41	c (5,0) x230 = 12
63.41/18.41	c (5,0) x231 = 8
63.41/18.41	c (5,0) x232 = 21
63.41/18.41	c (5,0) x233 = 16
63.41/18.41	c (5,0) x234 = 1
63.41/18.41	c (5,0) x235 = 14
63.41/18.41	c (5,0) x236 = 15
63.41/18.41	c (5,0) x237 = 7
63.41/18.41	c (5,0) x238 = 13
63.41/18.41	c (5,0) x239 = 9
63.41/18.41	c (5,0) x24 = 2
63.41/18.41	c (5,0) x240 = 10
63.41/18.41	c (5,0) x241 = 6
63.41/18.41	c (5,0) x242 = 4
63.41/18.41	c (5,0) x243 = 17
63.41/18.41	c (5,0) x244 = 2
63.41/18.41	c (5,0) x245 = 20
63.41/18.41	c (5,0) x246 = 3
63.41/18.41	c (5,0) x247 = 23
63.41/18.41	c (5,0) x248 = 11
63.41/18.41	c (5,0) x249 = 24
63.41/18.41	c (5,0) x25 = 9
63.41/18.41	c (5,0) x250 = 11
63.41/18.41	c (5,0) x251 = 23
63.41/18.41	c (5,0) x252 = 12
63.41/18.41	c (5,0) x253 = 14
63.41/18.41	c (5,0) x254 = 2
63.41/18.41	c (5,0) x255 = 1
63.41/18.41	c (5,0) x256 = 22
63.41/18.41	c (5,0) x257 = 16
63.41/18.41	c (5,0) x258 = 6
63.41/18.41	c (5,0) x259 = 4
63.41/18.41	c (5,0) x26 = 13
63.41/18.41	c (5,0) x260 = 15
63.41/18.41	c (5,0) x261 = 24
63.41/18.41	c (5,0) x262 = 19
63.41/18.41	c (5,0) x263 = 9
63.41/18.41	c (5,0) x264 = 20
63.41/18.41	c (5,0) x265 = 8
63.41/18.41	c (5,0) x266 = 7
63.41/18.41	c (5,0) x267 = 17
63.41/18.41	c (5,0) x268 = 21
63.41/18.41	c (5,0) x269 = 0
63.41/18.41	c (5,0) x27 = 20
63.41/18.41	c (5,0) x270 = 13
63.41/18.41	c (5,0) x271 = 5
63.41/18.41	c (5,0) x272 = 18
63.41/18.41	c (5,0) x273 = 3
63.41/18.41	c (5,0) x274 = 10
63.41/18.41	c (5,0) x275 = 22
63.41/18.41	c (5,0) x276 = 21
63.41/18.41	c (5,0) x277 = 9
63.41/18.41	c (5,0) x278 = 16
63.41/18.41	c (5,0) x279 = 14
63.41/18.41	c (5,0) x28 = 3
63.41/18.41	c (5,0) x280 = 24
63.41/18.41	c (5,0) x281 = 2
63.41/18.41	c (5,0) x282 = 17
63.41/18.41	c (5,0) x283 = 19
63.41/18.41	c (5,0) x284 = 20
63.41/18.41	c (5,0) x285 = 4
63.41/18.41	c (5,0) x286 = 5
63.41/18.41	c (5,0) x287 = 15
63.41/18.41	c (5,0) x288 = 12
63.41/18.41	c (5,0) x289 = 3
63.41/18.41	c (5,0) x29 = 12
63.41/18.41	c (5,0) x290 = 7
63.41/18.41	c (5,0) x291 = 0
63.41/18.41	c (5,0) x292 = 23
63.41/18.41	c (5,0) x293 = 13
63.41/18.41	c (5,0) x294 = 10
63.41/18.41	c (5,0) x295 = 8
63.41/18.41	c (5,0) x296 = 1
63.41/18.41	c (5,0) x297 = 11
63.41/18.41	c (5,0) x298 = 6
63.41/18.41	c (5,0) x299 = 18
63.41/18.41	c (5,0) x3 = 18
63.41/18.41	c (5,0) x30 = 5
63.41/18.41	c (5,0) x300 = 20
63.41/18.41	c (5,0) x301 = 8
63.41/18.41	c (5,0) x302 = 15
63.41/18.41	c (5,0) x303 = 0
63.41/18.41	c (5,0) x304 = 13
63.41/18.41	c (5,0) x305 = 11
63.41/18.41	c (5,0) x306 = 18
63.41/18.41	c (5,0) x307 = 1
63.41/18.41	c (5,0) x308 = 5
63.41/18.41	c (5,0) x309 = 12
63.41/18.41	c (5,0) x31 = 21
63.41/18.41	c (5,0) x310 = 24
63.41/18.41	c (5,0) x311 = 14
63.41/18.41	c (5,0) x312 = 16
63.41/18.41	c (5,0) x313 = 17
63.41/18.41	c (5,0) x314 = 19
63.41/18.41	c (5,0) x315 = 4
63.41/18.41	c (5,0) x316 = 21
63.41/18.41	c (5,0) x317 = 3
63.41/18.41	c (5,0) x318 = 6
63.41/18.41	c (5,0) x319 = 9
63.41/18.41	c (5,0) x32 = 8
63.41/18.41	c (5,0) x320 = 2
63.41/18.41	c (5,0) x321 = 22
63.41/18.41	c (5,0) x322 = 7
63.41/18.41	c (5,0) x323 = 10
63.41/18.41	c (5,0) x324 = 23
63.41/18.41	c (5,0) x325 = 19
63.41/18.41	c (5,0) x326 = 0
63.41/18.41	c (5,0) x327 = 24
63.41/18.41	c (5,0) x328 = 20
63.41/18.41	c (5,0) x329 = 8
63.41/18.41	c (5,0) x33 = 15
63.41/18.41	c (5,0) x330 = 21
63.41/18.41	c (5,0) x331 = 3
63.41/18.41	c (5,0) x332 = 4
63.41/18.41	c (5,0) x333 = 12
63.41/18.41	c (5,0) x334 = 15
63.41/18.41	c (5,0) x335 = 6
63.41/18.41	c (5,0) x336 = 9
63.41/18.41	c (5,0) x337 = 1
63.41/18.41	c (5,0) x338 = 18
63.41/18.41	c (5,0) x339 = 10
63.41/18.41	c (5,0) x34 = 17
63.41/18.41	c (5,0) x340 = 23
63.41/18.41	c (5,0) x341 = 22
63.41/18.41	c (5,0) x342 = 7
63.41/18.41	c (5,0) x343 = 14
63.41/18.41	c (5,0) x344 = 16
63.41/18.41	c (5,0) x345 = 11
63.41/18.41	c (5,0) x346 = 2
63.41/18.41	c (5,0) x347 = 17
63.41/18.41	c (5,0) x348 = 13
63.41/18.41	c (5,0) x349 = 5
63.41/18.41	c (5,0) x35 = 16
63.41/18.41	c (5,0) x350 = 6
63.41/18.41	c (5,0) x351 = 9
63.41/18.41	c (5,0) x352 = 21
63.41/18.41	c (5,0) x353 = 5
63.41/18.41	c (5,0) x354 = 17
63.41/18.41	c (5,0) x355 = 8
63.41/18.41	c (5,0) x356 = 1
63.41/18.41	c (5,0) x357 = 18
63.41/18.41	c (5,0) x358 = 3
63.41/18.41	c (5,0) x359 = 13
63.41/18.41	c (5,0) x36 = 0
63.41/18.41	c (5,0) x360 = 22
63.41/18.41	c (5,0) x361 = 19
63.41/18.41	c (5,0) x362 = 11
63.41/18.41	c (5,0) x363 = 23
63.41/18.41	c (5,0) x364 = 12
63.41/18.41	c (5,0) x365 = 16
63.41/18.41	c (5,0) x366 = 14
63.41/18.41	c (5,0) x367 = 20
63.41/18.41	c (5,0) x368 = 2
63.41/18.41	c (5,0) x369 = 4
63.41/18.41	c (5,0) x37 = 4
63.41/18.41	c (5,0) x370 = 10
63.41/18.41	c (5,0) x371 = 0
63.41/18.41	c (5,0) x372 = 15
63.41/18.41	c (5,0) x373 = 24
63.41/18.41	c (5,0) x374 = 7
63.41/18.41	c (5,0) x375 = 1
63.41/18.41	c (5,0) x376 = 15
63.41/18.41	c (5,0) x377 = 14
63.41/18.41	c (5,0) x378 = 23
63.41/18.41	c (5,0) x379 = 9
63.41/18.41	c (5,0) x38 = 10
63.41/18.41	c (5,0) x380 = 2
63.41/18.41	c (5,0) x381 = 17
63.41/18.41	c (5,0) x382 = 7
63.41/18.41	c (5,0) x383 = 18
63.41/18.41	c (5,0) x384 = 0
63.41/18.41	c (5,0) x385 = 5
63.41/18.41	c (5,0) x386 = 3
63.41/18.41	c (5,0) x387 = 13
63.41/18.41	c (5,0) x388 = 21
63.41/18.41	c (5,0) x389 = 22
63.41/18.41	c (5,0) x39 = 2
63.41/18.41	c (5,0) x390 = 12
63.41/18.41	c (5,0) x391 = 24
63.41/18.41	c (5,0) x392 = 16
63.41/18.41	c (5,0) x393 = 11
63.41/18.41	c (5,0) x394 = 20
63.41/18.41	c (5,0) x395 = 4
63.41/18.41	c (5,0) x396 = 10
63.41/18.41	c (5,0) x397 = 6
63.41/18.41	c (5,0) x398 = 8
63.41/18.41	c (5,0) x399 = 19
63.41/18.41	c (5,0) x4 = 23
63.41/18.41	c (5,0) x40 = 14
63.41/18.41	c (5,0) x400 = 17
63.41/18.41	c (5,0) x401 = 14
63.41/18.41	c (5,0) x402 = 8
63.41/18.41	c (5,0) x403 = 15
63.41/18.41	c (5,0) x404 = 11
63.41/18.41	c (5,0) x405 = 10
63.41/18.41	c (5,0) x406 = 7
63.41/18.41	c (5,0) x407 = 5
63.41/18.41	c (5,0) x408 = 21
63.41/18.41	c (5,0) x409 = 19
63.41/18.41	c (5,0) x41 = 18
63.41/18.41	c (5,0) x410 = 0
63.41/18.41	c (5,0) x411 = 6
63.41/18.41	c (5,0) x412 = 9
63.41/18.41	c (5,0) x413 = 4
63.41/18.41	c (5,0) x414 = 23
63.41/18.41	c (5,0) x415 = 1
63.41/18.41	c (5,0) x416 = 13
63.41/18.41	c (5,0) x417 = 18
63.41/18.41	c (5,0) x418 = 3
63.41/18.41	c (5,0) x419 = 22
63.41/18.41	c (5,0) x42 = 11
63.41/18.41	c (5,0) x420 = 12
63.41/18.41	c (5,0) x421 = 20
63.41/18.41	c (5,0) x422 = 24
63.41/18.42	c (5,0) x423 = 2
63.41/18.42	c (5,0) x424 = 16
63.41/18.42	c (5,0) x425 = 16
63.41/18.42	c (5,0) x426 = 4
63.41/18.42	c (5,0) x427 = 11
63.41/18.42	c (5,0) x428 = 9
63.41/18.42	c (5,0) x429 = 0
63.41/18.42	c (5,0) x43 = 24
63.41/18.42	c (5,0) x430 = 7
63.41/18.42	c (5,0) x431 = 12
63.41/18.42	c (5,0) x432 = 13
63.41/18.42	c (5,0) x433 = 20
63.41/18.42	c (5,0) x434 = 24
63.41/18.42	c (5,0) x435 = 2
63.41/18.42	c (5,0) x436 = 21
63.41/18.42	c (5,0) x437 = 22
63.41/18.42	c (5,0) x438 = 5
63.41/18.42	c (5,0) x439 = 15
63.41/18.42	c (5,0) x44 = 19
63.41/18.42	c (5,0) x440 = 3
63.41/18.42	c (5,0) x441 = 17
63.41/18.42	c (5,0) x442 = 10
63.41/18.42	c (5,0) x443 = 18
63.41/18.42	c (5,0) x444 = 1
63.41/18.42	c (5,0) x445 = 6
63.41/18.42	c (5,0) x446 = 8
63.41/18.42	c (5,0) x447 = 19
63.41/18.42	c (5,0) x448 = 23
63.41/18.42	c (5,0) x449 = 14
63.41/18.42	c (5,0) x45 = 23
63.41/18.42	c (5,0) x450 = 14
63.41/18.42	c (5,0) x451 = 12
63.41/18.42	c (5,0) x452 = 23
63.41/18.42	c (5,0) x453 = 4
63.41/18.42	c (5,0) x454 = 24
63.41/18.42	c (5,0) x455 = 13
63.41/18.42	c (5,0) x456 = 9
63.41/18.42	c (5,0) x457 = 0
63.41/18.42	c (5,0) x458 = 11
63.41/18.42	c (5,0) x459 = 8
63.41/18.42	c (5,0) x46 = 7
63.41/18.42	c (5,0) x460 = 1
63.41/18.42	c (5,0) x461 = 2
63.41/18.42	c (5,0) x462 = 6
63.41/18.42	c (5,0) x463 = 3
63.41/18.42	c (5,0) x464 = 16
63.41/18.42	c (5,0) x465 = 21
63.41/18.42	c (5,0) x466 = 20
63.41/18.42	c (5,0) x467 = 22
63.41/18.42	c (5,0) x468 = 19
63.41/18.42	c (5,0) x469 = 7
63.41/18.42	c (5,0) x47 = 22
63.41/18.42	c (5,0) x470 = 5
63.41/18.42	c (5,0) x471 = 17
63.41/18.42	c (5,0) x472 = 10
63.41/18.42	c (5,0) x473 = 18
63.41/18.42	c (5,0) x474 = 15
63.41/18.42	c (5,0) x475 = 13
63.41/18.42	c (5,0) x476 = 5
63.41/18.42	c (5,0) x477 = 7
63.41/18.42	c (5,0) x478 = 12
63.41/18.42	c (5,0) x479 = 22
63.41/18.42	c (5,0) x48 = 1
63.41/18.42	c (5,0) x480 = 6
63.41/18.42	c (5,0) x481 = 11
63.41/18.42	c (5,0) x482 = 3
63.41/18.42	c (5,0) x483 = 2
63.41/18.42	c (5,0) x484 = 23
63.41/18.42	c (5,0) x485 = 21
63.41/18.42	c (5,0) x486 = 20
63.41/18.42	c (5,0) x487 = 10
63.41/18.42	c (5,0) x488 = 15
63.41/18.42	c (5,0) x489 = 17
63.41/18.42	c (5,0) x49 = 6
63.41/18.42	c (5,0) x490 = 18
63.41/18.42	c (5,0) x491 = 1
63.41/18.42	c (5,0) x492 = 8
63.41/18.42	c (5,0) x493 = 4
63.41/18.42	c (5,0) x494 = 24
63.41/18.42	c (5,0) x495 = 14
63.41/18.42	c (5,0) x496 = 16
63.41/18.42	c (5,0) x497 = 0
63.41/18.42	c (5,0) x498 = 19
63.41/18.42	c (5,0) x499 = 9
63.41/18.42	c (5,0) x5 = 0
63.41/18.42	c (5,0) x50 = 21
63.41/18.42	c (5,0) x500 = 4
63.41/18.42	c (5,0) x501 = 22
63.41/18.42	c (5,0) x502 = 2
63.41/18.42	c (5,0) x503 = 21
63.41/18.42	c (5,0) x504 = 6
63.41/18.42	c (5,0) x505 = 20
63.41/18.42	c (5,0) x506 = 24
63.41/18.42	c (5,0) x507 = 23
63.41/18.42	c (5,0) x508 = 7
63.41/18.42	c (5,0) x509 = 10
63.41/18.42	c (5,0) x51 = 18
63.41/18.42	c (5,0) x510 = 8
63.41/18.42	c (5,0) x511 = 12
63.41/18.42	c (5,0) x512 = 0
63.41/18.42	c (5,0) x513 = 16
63.41/18.42	c (5,0) x514 = 11
63.41/18.42	c (5,0) x515 = 17
63.41/18.42	c (5,0) x516 = 15
63.41/18.42	c (5,0) x517 = 9
63.41/18.42	c (5,0) x518 = 5
63.41/18.42	c (5,0) x519 = 13
63.41/18.42	c (5,0) x52 = 5
63.41/18.42	c (5,0) x520 = 19
63.41/18.42	c (5,0) x521 = 18
63.41/18.42	c (5,0) x522 = 1
63.41/18.42	c (5,0) x523 = 14
63.41/18.42	c (5,0) x524 = 3
63.41/18.42	c (5,0) x525 = 10
63.41/18.42	c (5,0) x526 = 11
63.41/18.42	c (5,0) x527 = 16
63.41/18.42	c (5,0) x528 = 19
63.41/18.42	c (5,0) x529 = 21
63.41/18.42	c (5,0) x53 = 6
63.41/18.42	c (5,0) x530 = 4
63.41/18.42	c (5,0) x531 = 6
63.41/18.42	c (5,0) x532 = 9
63.41/18.42	c (5,0) x533 = 14
63.41/18.42	c (5,0) x534 = 22
63.41/18.42	c (5,0) x535 = 3
63.41/18.42	c (5,0) x536 = 23
63.41/18.42	c (5,0) x537 = 8
63.41/18.42	c (5,0) x538 = 2
63.41/18.42	c (5,0) x539 = 7
63.41/18.42	c (5,0) x54 = 7
63.41/18.42	c (5,0) x540 = 0
63.41/18.42	c (5,0) x541 = 5
63.41/18.42	c (5,0) x542 = 13
63.41/18.42	c (5,0) x543 = 1
63.41/18.42	c (5,0) x544 = 18
63.41/18.42	c (5,0) x545 = 24
63.41/18.42	c (5,0) x546 = 15
63.41/18.42	c (5,0) x547 = 12
63.41/18.42	c (5,0) x548 = 20
63.41/18.42	c (5,0) x549 = 17
63.41/18.42	c (5,0) x55 = 16
63.41/18.42	c (5,0) x550 = 2
63.41/18.42	c (5,0) x551 = 24
63.41/18.42	c (5,0) x552 = 22
63.41/18.42	c (5,0) x553 = 13
63.41/18.42	c (5,0) x554 = 3
63.41/18.42	c (5,0) x555 = 17
63.41/18.42	c (5,0) x556 = 0
63.41/18.42	c (5,0) x557 = 10
63.41/18.42	c (5,0) x558 = 4
63.41/18.42	c (5,0) x559 = 11
63.41/18.42	c (5,0) x56 = 23
63.41/18.42	c (5,0) x560 = 12
63.41/18.42	c (5,0) x561 = 7
63.41/18.42	c (5,0) x562 = 21
63.41/18.42	c (5,0) x563 = 8
63.41/18.42	c (5,0) x564 = 5
63.41/18.42	c (5,0) x565 = 6
63.41/18.42	c (5,0) x566 = 9
63.41/18.42	c (5,0) x567 = 19
63.41/18.42	c (5,0) x568 = 16
63.41/18.42	c (5,0) x569 = 23
63.41/18.42	c (5,0) x57 = 12
63.41/18.42	c (5,0) x570 = 18
63.41/18.42	c (5,0) x571 = 14
63.41/18.42	c (5,0) x572 = 20
63.41/18.42	c (5,0) x573 = 15
63.41/18.42	c (5,0) x574 = 1
63.41/18.42	c (5,0) x575 = 12
63.41/18.42	c (5,0) x576 = 10
63.41/18.42	c (5,0) x577 = 1
63.41/18.42	c (5,0) x578 = 24
63.41/18.42	c (5,0) x579 = 16
63.41/18.42	c (5,0) x58 = 8
63.41/18.42	c (5,0) x580 = 3
63.41/18.42	c (5,0) x581 = 5
63.41/18.42	c (5,0) x582 = 6
63.41/18.42	c (5,0) x583 = 9
63.41/18.42	c (5,0) x584 = 21
63.41/18.42	c (5,0) x585 = 11
63.41/18.42	c (5,0) x586 = 22
63.41/18.42	c (5,0) x587 = 23
63.41/18.42	c (5,0) x588 = 19
63.41/18.42	c (5,0) x589 = 18
63.41/18.42	c (5,0) x59 = 2
63.41/18.42	c (5,0) x590 = 20
63.41/18.42	c (5,0) x591 = 2
63.41/18.42	c (5,0) x592 = 14
63.41/18.42	c (5,0) x593 = 7
63.41/18.42	c (5,0) x594 = 15
63.41/18.42	c (5,0) x595 = 0
63.41/18.42	c (5,0) x596 = 4
63.41/18.42	c (5,0) x597 = 13
63.41/18.42	c (5,0) x598 = 17
63.41/18.42	c (5,0) x599 = 8
63.41/18.42	c (5,0) x6 = 16
63.41/18.42	c (5,0) x60 = 10
63.41/18.42	c (5,0) x600 = 23
63.41/18.42	c (5,0) x601 = 3
63.41/18.42	c (5,0) x602 = 6
63.41/18.42	c (5,0) x603 = 17
63.41/18.42	c (5,0) x604 = 19
63.41/18.42	c (5,0) x605 = 15
63.41/18.42	c (5,0) x606 = 20
63.41/18.42	c (5,0) x607 = 22
63.41/18.42	c (5,0) x608 = 0
63.41/18.42	c (5,0) x609 = 5
63.41/18.42	c (5,0) x61 = 17
63.41/18.42	c (5,0) x610 = 18
63.41/18.42	c (5,0) x611 = 4
63.41/18.42	c (5,0) x612 = 14
63.41/18.42	c (5,0) x613 = 24
63.41/18.42	c (5,0) x614 = 1
63.41/18.42	c (5,0) x615 = 11
63.41/18.42	c (5,0) x616 = 10
63.41/18.42	c (5,0) x617 = 21
63.41/18.42	c (5,0) x618 = 12
63.41/18.42	c (5,0) x619 = 8
63.41/18.42	c (5,0) x62 = 24
63.41/18.42	c (5,0) x620 = 16
63.41/18.42	c (5,0) x621 = 9
63.41/18.42	c (5,0) x622 = 2
63.41/18.42	c (5,0) x623 = 7
63.41/18.42	c (5,0) x624 = 13
63.41/18.42	c (5,0) x63 = 22
63.41/18.42	c (5,0) x64 = 4
63.41/18.42	c (5,0) x65 = 13
63.41/18.42	c (5,0) x66 = 19
63.41/18.42	c (5,0) x67 = 1
63.41/18.42	c (5,0) x68 = 0
63.41/18.42	c (5,0) x69 = 14
63.41/18.42	c (5,0) x7 = 11
63.41/18.42	c (5,0) x70 = 15
63.41/18.42	c (5,0) x71 = 11
63.41/18.42	c (5,0) x72 = 3
63.41/18.42	c (5,0) x73 = 9
63.41/18.42	c (5,0) x74 = 20
63.41/18.42	c (5,0) x75 = 24
63.41/18.42	c (5,0) x76 = 2
63.41/18.42	c (5,0) x77 = 3
63.41/18.42	c (5,0) x78 = 1
63.41/18.42	c (5,0) x79 = 18
63.41/18.42	c (5,0) x8 = 24
63.41/18.42	c (5,0) x80 = 22
63.41/18.42	c (5,0) x81 = 15
63.41/18.42	c (5,0) x82 = 20
63.41/18.42	c (5,0) x83 = 13
63.41/18.42	c (5,0) x84 = 9
63.41/18.42	c (5,0) x85 = 7
63.41/18.42	c (5,0) x86 = 11
63.41/18.42	c (5,0) x87 = 17
63.41/18.42	c (5,0) x88 = 0
63.41/18.42	c (5,0) x89 = 6
63.41/18.42	c (5,0) x9 = 14
63.41/18.42	c (5,0) x90 = 19
63.41/18.42	c (5,0) x91 = 8
63.41/18.42	c (5,0) x92 = 5
63.41/18.42	c (5,0) x93 = 10
63.41/18.42	c (5,0) x94 = 12
63.41/18.42	c (5,0) x95 = 21
63.41/18.42	c (5,0) x96 = 23
63.41/18.42	c (5,0) x97 = 14
63.41/18.42	c (5,0) x98 = 16
63.41/18.42	c (5,0) x99 = 4
63.41/18.42	s SATISFIABLE
63.41/18.42	v <instantiation>
63.41/18.42	v     <list>x0 x1 x2 x3 x4 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 x15 x16 x17 x18 x19 x20 x21 x22 x23 x24 x25 x26 x27 x28 x29 x30 x31 x32 x33 x34 x35 x36 x37 x38 x39 x40 x41 x42 x43 x44 x45 x46 x47 x48 x49 x50 x51 x52 x53 x54 x55 x56 x57 x58 x59 x60 x61 x62 x63 x64 x65 x66 x67 x68 x69 x70 x71 x72 x73 x74 x75 x76 x77 x78 x79 x80 x81 x82 x83 x84 x85 x86 x87 x88 x89 x90 x91 x92 x93 x94 x95 x96 x97 x98 x99 x100 x101 x102 x103 x104 x105 x106 x107 x108 x109 x110 x111 x112 x113 x114 x115 x116 x117 x118 x119 x120 x121 x122 x123 x124 x125 x126 x127 x128 x129 x130 x131 x132 x133 x134 x135 x136 x137 x138 x139 x140 x141 x142 x143 x144 x145 x146 x147 x148 x149 x150 x151 x152 x153 x154 x155 x156 x157 x158 x159 x160 x161 x162 x163 x164 x165 x166 x167 x168 x169 x170 x171 x172 x173 x174 x175 x176 x177 x178 x179 x180 x181 x182 x183 x184 x185 x186 x187 x188 x189 x190 x191 x192 x193 x194 x195 x196 x197 x198 x199 x200 x201 x202 x203 x204 x205 x206 x207 x208 x209 x210 x211 x212 x213 x214 x215 x216 x217 x218 x219 x220 x221 x222 x223 x224 x225 x226 x227 x228 x229 x230 x231 x232 x233 x234 x235 x236 x237 x238 x239 x240 x241 x242 x243 x244 x245 x246 x247 x248 x249 x250 x251 x252 x253 x254 x255 x256 x257 x258 x259 x260 x261 x262 x263 x264 x265 x266 x267 x268 x269 x270 x271 x272 x273 x274 x275 x276 x277 x278 x279 x280 x281 x282 x283 x284 x285 x286 x287 x288 x289 x290 x291 x292 x293 x294 x295 x296 x297 x298 x299 x300 x301 x302 x303 x304 x305 x306 x307 x308 x309 x310 x311 x312 x313 x314 x315 x316 x317 x318 x319 x320 x321 x322 x323 x324 x325 x326 x327 x328 x329 x330 x331 x332 x333 x334 x335 x336 x337 x338 x339 x340 x341 x342 x343 x344 x345 x346 x347 x348 x349 x350 x351 x352 x353 x354 x355 x356 x357 x358 x359 x360 x361 x362 x363 x364 x365 x366 x367 x368 x369 x370 x371 x372 x373 x374 x375 x376 x377 x378 x379 x380 x381 x382 x383 x384 x385 x386 x387 x388 x389 x390 x391 x392 x393 x394 x395 x396 x397 x398 x399 x400 x401 x402 x403 x404 x405 x406 x407 x408 x409 x410 x411 x412 x413 x414 x415 x416 x417 x418 x419 x420 x421 x422 x423 x424 x425 x426 x427 x428 x429 x430 x431 x432 x433 x434 x435 x436 x437 x438 x439 x440 x441 x442 x443 x444 x445 x446 x447 x448 x449 x450 x451 x452 x453 x454 x455 x456 x457 x458 x459 x460 x461 x462 x463 x464 x465 x466 x467 x468 x469 x470 x471 x472 x473 x474 x475 x476 x477 x478 x479 x480 x481 x482 x483 x484 x485 x486 x487 x488 x489 x490 x491 x492 x493 x494 x495 x496 x497 x498 x499 x500 x501 x502 x503 x504 x505 x506 x507 x508 x509 x510 x511 x512 x513 x514 x515 x516 x517 x518 x519 x520 x521 x522 x523 x524 x525 x526 x527 x528 x529 x530 x531 x532 x533 x534 x535 x536 x537 x538 x539 x540 x541 x542 x543 x544 x545 x546 x547 x548 x549 x550 x551 x552 x553 x554 x555 x556 x557 x558 x559 x560 x561 x562 x563 x564 x565 x566 x567 x568 x569 x570 x571 x572 x573 x574 x575 x576 x577 x578 x579 x580 x581 x582 x583 x584 x585 x586 x587 x588 x589 x590 x591 x592 x593 x594 x595 x596 x597 x598 x599 x600 x601 x602 x603 x604 x605 x606 x607 x608 x609 x610 x611 x612 x613 x614 x615 x616 x617 x618 x619 x620 x621 x622 x623 x624</list>
63.41/18.42	v     <values>7 20 10 18 23 0 16 11 24 14 17 8 3 6 13 9 12 15 22 21 1 19 4 5 2 9 13 20 3 12 5 21 8 15 17 16 0 4 10 2 14 18 11 24 19 23 7 22 1 6 21 18 5 6 7 16 23 12 8 2 10 17 24 22 4 13 19 1 0 14 15 11 3 9 20 24 2 3 1 18 22 15 20 13 9 7 11 17 0 6 19 8 5 10 12 21 23 14 16 4 5 17 13 7 15 23 10 24 1 6 19 18 20 14 8 2 3 0 9 11 22 12 16 4 21 0 16 4 2 20 19 13 15 10 18 9 1 12 7 14 5 23 24 8 3 17 6 21 22 11 15 7 19 8 1 18 4 14 17 3 23 10 2 11 0 24 16 12 20 6 9 13 5 21 22 8 1 18 10 4 14 19 2 22 7 13 16 5 20 21 15 11 6 23 17 3 24 9 12 0 3 6 17 11 10 9 14 19 23 16 20 13 18 1 24 22 4 2 15 5 7 21 8 0 12 18 19 0 22 5 12 8 21 16 1 14 15 7 13 9 10 6 4 17 2 20 3 23 11 24 11 23 12 14 2 1 22 16 6 4 15 24 19 9 20 8 7 17 21 0 13 5 18 3 10 22 21 9 16 14 24 2 17 19 20 4 5 15 12 3 7 0 23 13 10 8 1 11 6 18 20 8 15 0 13 11 18 1 5 12 24 14 16 17 19 4 21 3 6 9 2 22 7 10 23 19 0 24 20 8 21 3 4 12 15 6 9 1 18 10 23 22 7 14 16 11 2 17 13 5 6 9 21 5 17 8 1 18 3 13 22 19 11 23 12 16 14 20 2 4 10 0 15 24 7 1 15 14 23 9 2 17 7 18 0 5 3 13 21 22 12 24 16 11 20 4 10 6 8 19 17 14 8 15 11 10 7 5 21 19 0 6 9 4 23 1 13 18 3 22 12 20 24 2 16 16 4 11 9 0 7 12 13 20 24 2 21 22 5 15 3 17 10 18 1 6 8 19 23 14 14 12 23 4 24 13 9 0 11 8 1 2 6 3 16 21 20 22 19 7 5 17 10 18 15 13 5 7 12 22 6 11 3 2 23 21 20 10 15 17 18 1 8 4 24 14 16 0 19 9 4 22 2 21 6 20 24 23 7 10 8 12 0 16 11 17 15 9 5 13 19 18 1 14 3 10 11 16 19 21 4 6 9 14 22 3 23 8 2 7 0 5 13 1 18 24 15 12 20 17 2 24 22 13 3 17 0 10 4 11 12 7 21 8 5 6 9 19 16 23 18 14 20 15 1 12 10 1 24 16 3 5 6 9 21 11 22 23 19 18 20 2 14 7 15 0 4 13 17 8 23 3 6 17 19 15 20 22 0 5 18 4 14 24 1 11 10 21 12 8 16 9 2 7 13</values>
63.41/18.42	v </instantiation>
63.41/18.42	c (5,0) Show results End
63.41/18.42	c (5,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB)
63.41/18.42	c (5,0) 5,5,STOP-AFTER(ALL)
63.41/18.42	c END-Prog: Tue Sep 24 23:09:25 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 (13765 MiB free)
  memory of node 1: 16384 MiB (10858 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4405516-1569359391/watcher-4405516-1569359391 -o /var/tmp/evaluation-result-4405516-1569359391/solver-4405516-1569359391 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node147-1569358595-24367 --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-4405516-1569359391.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
Starting wa25063, runsolver pid=25060
Current StackSize limit: 8192 KiB


[startup+0.100218 s]*
/proc/loadavg: 6.50 4.62 5.65 2/204 25078
/proc/meminfo: memFree=25123600/32770624 swapFree=66935948/67108860
[pid=25063] ppid=25060 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/25063/stat : 25063 (scop.sh) S 25060 25063 24340 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 511852832 115843072 349 33554432000 4194304 5098028 140736014960240 140736014957496 140557237064316 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 7344128 140736014967548 140736014967896 140736014967896 140736014970825 0
/proc/25063/statm: 28282 349 296 221 0 87 0
[pid=25066] ppid=25063 vsize=27313576 memory=103720 CPUtime=0.07 cores=0-7
/proc/25066/stat : 25066 (java) S 25063 25063 24340 0 -1 1077944320 5976 0 0 0 5 2 0 0 20 0 20 0 511852833 27969101824 25930 33554432000 4194304 4196468 140725538981888 140725538964432 139847417589495 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22446080 140725538988742 140725538989190 140725538989190 140725538992079 0
/proc/25066/statm: 6828394 25930 2599 1 0 6790935 0
[pid=25066/tid=25067] ppid=25063 vsize=27313576 memory=4134930498285298233 CPUtime=0.06 cores=0-7
/proc/25066/task/25067/stat : 25067 (java) R 25063 25063 24340 0 -1 4202560 4123 0 0 0 4 2 0 0 20 0 20 0 511852833 27969101824 25930 33554432000 4194304 4196468 140725538981888 139847389432416 139847401669982 0 4 2 16800973 0 0 0 -1 2 0 0 2 0 0 6293624 6294260 22446080 140725538988742 140725538989190 140725538989190 140725538992079 0
[pid=25066/tid=25068] ppid=25063 vsize=27313576 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/25066/task/25068/stat : 25068 (java) S 25063 25063 24340 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511852838 27969101824 25930 33554432000 4194304 4196468 140725538981888 139847421832080 139847417599701 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22446080 140725538988742 140725538989190 140725538989190 140725538992079 0
[pid=25066/tid=25069] ppid=25063 vsize=27313576 memory=139932763330176 CPUtime=0 cores=0-7
/proc/25066/task/25069/stat : 25069 (java) S 25063 25063 24340 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511852838 27969101824 25930 33554432000 4194304 4196468 140725538981888 139847235988240 139847417599701 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22446080 140725538988742 140725538989190 140725538989190 140725538992079 0
[pid=25066/tid=25070] ppid=25063 vsize=27313576 memory=0 CPUtime=0 cores=0-7
/proc/25066/task/25070/stat : 25070 (java) S 25063 25063 24340 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511852838 27969101824 25930 33554432000 4194304 4196468 140725538981888 139847234935952 139847417599701 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22446080 140725538988742 140725538989190 140725538989190 140725538992079 0
[pid=25066/tid=25071] ppid=25063 vsize=27313576 memory=0 CPUtime=0 cores=0-7
/proc/25066/task/25071/stat : 25071 (java) S 25063 25063 24340 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511852838 27969101824 25930 33554432000 4194304 4196468 140725538981888 139847233883152 139847417599701 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22446080 140725538988742 140725538989190 140725538989190 140725538992079 0
[pid=25066/tid=25072] ppid=25063 vsize=27313576 memory=0 CPUtime=0 cores=0-7
/proc/25066/task/25072/stat : 25072 (java) S 25063 25063 24340 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511852838 27969101824 25930 33554432000 4194304 4196468 140725538981888 139847232829840 139847417599701 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22446080 140725538988742 140725538989190 140725538989190 140725538992079 0
[pid=25066/tid=25073] ppid=25063 vsize=27313576 memory=-1 CPUtime=0 cores=0-7
/proc/25066/task/25073/stat : 25073 (java) S 25063 25063 24340 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511852838 27969101824 25930 33554432000 4194304 4196468 140725538981888 139847231777040 139847417599701 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22446080 140725538988742 140725538989190 140725538989190 140725538992079 0
[pid=25066/tid=25074] ppid=25063 vsize=27313576 memory=0 CPUtime=0 cores=0-7
/proc/25066/task/25074/stat : 25074 (java) S 25063 25063 24340 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511852838 27969101824 25930 33554432000 4194304 4196468 140725538981888 139847230724752 139847417599701 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22446080 140725538988742 140725538989190 140725538989190 140725538992079 0
[pid=25066/tid=25075] ppid=25063 vsize=27313576 memory=0 CPUtime=0 cores=0-7
/proc/25066/task/25075/stat : 25075 (java) S 25063 25063 24340 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511852838 27969101824 25930 33554432000 4194304 4196468 140725538981888 139847229671952 139847417599701 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22446080 140725538988742 140725538989190 140725538989190 140725538992079 0
[pid=25066/tid=25076] ppid=25063 vsize=27313576 memory=0 CPUtime=0 cores=0-7
/proc/25066/task/25076/stat : 25076 (java) S 25063 25063 24340 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511852840 27969101824 25930 33554432000 4194304 4196468 140725538981888 139845468908144 139847417600642 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22446080 140725538988742 140725538989190 140725538989190 140725538992079 0
[pid=25066/tid=25077] ppid=25063 vsize=27313576 memory=0 CPUtime=0 cores=0-7
/proc/25066/task/25077/stat : 25077 (java) S 25063 25063 24340 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 511852840 27969101824 25930 33554432000 4194304 4196468 140725538981888 139845343110432 139847417599701 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22446080 140725538988742 140725538989190 140725538989190 140725538992079 0
[pid=25066/tid=25078] ppid=25063 vsize=27313576 memory=0 CPUtime=0 cores=0-7
/proc/25066/task/25078/stat : 25078 (java) S 25063 25063 24340 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511852840 27969101824 25930 33554432000 4194304 4196468 140725538981888 139845074675312 139847417599701 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22446080 140725538988742 140725538989190 140725538989190 140725538992079 0
[pid=25066/tid=25079] ppid=25063 vsize=27313576 memory=0 CPUtime=0 cores=0-7
/proc/25066/task/25079/stat : 25079 (java) S 25063 25063 24340 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511852843 27969101824 25930 33554432000 4194304 4196468 140725538981888 139844700166736 139847417608091 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22446080 140725538988742 140725538989190 140725538989190 140725538992079 0
[pid=25066/tid=25080] ppid=25063 vsize=27313576 memory=0 CPUtime=0 cores=0-7
/proc/25066/task/25080/stat : 25080 (java) S 25063 25063 24340 0 -1 1077944384 306 0 0 0 0 0 0 0 20 0 20 0 511852843 27969101824 25930 33554432000 4194304 4196468 140725538981888 139845467854960 139847417600642 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22446080 140725538988742 140725538989190 140725538989190 140725538992079 0
[pid=25066/tid=25081] ppid=25063 vsize=27313576 memory=0 CPUtime=0 cores=0-7
/proc/25066/task/25081/stat : 25081 (java) S 25063 25063 24340 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511852843 27969101824 25930 33554432000 4194304 4196468 140725538981888 139845466802160 139847417600642 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22446080 140725538988742 140725538989190 140725538989190 140725538992079 0
[pid=25066/tid=25082] ppid=25063 vsize=27313576 memory=0 CPUtime=0 cores=0-7
/proc/25066/task/25082/stat : 25082 (java) S 25063 25063 24340 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511852843 27969101824 25930 33554432000 4194304 4196468 140725538981888 139845465749872 139847417600642 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22446080 140725538988742 140725538989190 140725538989190 140725538992079 0
[pid=25066/tid=25083] ppid=25063 vsize=27313576 memory=0 CPUtime=0 cores=0-7
/proc/25066/task/25083/stat : 25083 (java) R 25063 25063 24340 0 -1 4202560 217 0 0 0 0 0 0 0 20 0 20 0 511852843 27969101824 25930 33554432000 4194304 4196468 140725538981888 139845464697072 139847397918768 0 4 2 16800973 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 22446080 140725538988742 140725538989190 140725538989190 140725538992079 0
[pid=25066/tid=25084] ppid=25063 vsize=27313576 memory=0 CPUtime=0 cores=0-7
/proc/25066/task/25084/stat : 25084 (java) S 25063 25063 24340 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511852843 27969101824 25930 33554432000 4194304 4196468 140725538981888 139844202261344 139847417599701 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22446080 140725538988742 140725538989190 140725538989190 140725538992079 0
[pid=25066/tid=25085] ppid=25063 vsize=27313576 memory=-1 CPUtime=0 cores=0-7
/proc/25066/task/25085/stat : 25085 (java) S 25063 25063 24340 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511852843 27969101824 25930 33554432000 4194304 4196468 140725538981888 139845463644976 139847417600642 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22446080 140725538988742 140725538989190 140725538989190 140725538992079 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 27426704 KiB
Current children cumulated memory: 105116 KiB

[startup+0.210421 s]*
/proc/loadavg: 6.06 4.56 5.63 2/211 25085
/proc/meminfo: memFree=25100160/32770624 swapFree=66935948/67108860
[pid=25063] ppid=25060 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/25063/stat : 25063 (scop.sh) S 25060 25063 24340 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 511852832 115843072 349 33554432000 4194304 5098028 140736014960240 140736014957496 140557237064316 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 7344128 140736014967548 140736014967896 140736014967896 140736014970825 0
/proc/25063/statm: 28282 349 296 221 0 87 0
[pid=25066] ppid=25063 vsize=27314120 memory=123512 CPUtime=0.2 cores=0-7
/proc/25066/stat : 25066 (java) S 25063 25063 24340 0 -1 1077944320 11088 0 0 0 15 5 0 0 20 0 20 0 511852833 27969658880 30878 33554432000 4194304 4196468 140725538981888 140725538964432 139847417589495 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22446080 140725538988742 140725538989190 140725538989190 140725538992079 0
/proc/25066/statm: 6828530 30878 2890 1 0 6790935 0
[pid=25066/tid=25067] ppid=25063 vsize=27314120 memory=8318255677412212789 CPUtime=0.17 cores=0-7
/proc/25066/task/25067/stat : 25067 (java) R 25063 25063 24340 0 -1 4202560 8847 0 0 0 13 4 0 0 20 0 20 0 511852833 27969658880 30878 33554432000 4194304 4196468 140725538981888 139847389373744 139847399153024 0 4 2 16800973 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 22446080 140725538988742 140725538989190 140725538989190 140725538992079 0
[pid=25066/tid=25068] ppid=25063 vsize=27314120 memory=331 CPUtime=0 cores=0-7
/proc/25066/task/25068/stat : 25068 (java) S 25063 25063 24340 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511852838 27969658880 30878 33554432000 4194304 4196468 140725538981888 139847421832080 139847417599701 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22446080 140725538988742 140725538989190 140725538989190 140725538992079 0
[pid=25066/tid=25069] ppid=25063 vsize=27314120 memory=139932766855873 CPUtime=0 cores=0-7
/proc/25066/task/25069/stat : 25069 (java) S 25063 25063 24340 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511852838 27969658880 30878 33554432000 4194304 4196468 140725538981888 139847235988240 139847417599701 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22446080 140725538988742 140725538989190 140725538989190 140725538992079 0
[pid=25066/tid=25070] ppid=25063 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/25066/task/25070/stat : 25070 (java) S 25063 25063 24340 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511852838 27969658880 30878 33554432000 4194304 4196468 140725538981888 139847234935952 139847417599701 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22446080 140725538988742 140725538989190 140725538989190 140725538992079 0
[pid=25066/tid=25071] ppid=25063 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/25066/task/25071/stat : 25071 (java) S 25063 25063 24340 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511852838 27969658880 30878 33554432000 4194304 4196468 140725538981888 139847233883152 139847417599701 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22446080 140725538988742 140725538989190 140725538989190 140725538992079 0
[pid=25066/tid=25072] ppid=25063 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/25066/task/25072/stat : 25072 (java) S 25063 25063 24340 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511852838 27969658880 30878 33554432000 4194304 4196468 140725538981888 139847232829840 139847417599701 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22446080 140725538988742 140725538989190 140725538989190 140725538992079 0
[pid=25066/tid=25073] ppid=25063 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/25066/task/25073/stat : 25073 (java) S 25063 25063 24340 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511852838 27969658880 30878 33554432000 4194304 4196468 140725538981888 139847231777040 139847417599701 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22446080 140725538988742 140725538989190 140725538989190 140725538992079 0
[pid=25066/tid=25074] ppid=25063 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/25066/task/25074/stat : 25074 (java) S 25063 25063 24340 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511852838 27969658880 30878 33554432000 4194304 4196468 140725538981888 139847230724752 139847417599701 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22446080 140725538988742 140725538989190 140725538989190 140725538992079 0
[pid=25066/tid=25075] ppid=25063 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/25066/task/25075/stat : 25075 (java) S 25063 25063 24340 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511852838 27969658880 30878 33554432000 4194304 4196468 140725538981888 139847229671952 139847417599701 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22446080 140725538988742 140725538989190 140725538989190 140725538992079 0
[pid=25066/tid=25076] ppid=25063 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/25066/task/25076/stat : 25076 (java) S 25063 25063 24340 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511852840 27969658880 30878 33554432000 4194304 4196468 140725538981888 139845468908144 139847417600642 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22446080 140725538988742 140725538989190 140725538989190 140725538992079 0
[pid=25066/tid=25077] ppid=25063 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/25066/task/25077/stat : 25077 (java) S 25063 25063 24340 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 511852840 27969658880 30878 33554432000 4194304 4196468 140725538981888 139845343110432 139847417599701 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22446080 140725538988742 140725538989190 140725538989190 140725538992079 0
[pid=25066/tid=25078] ppid=25063 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/25066/task/25078/stat : 25078 (java) S 25063 25063 24340 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511852840 27969658880 30878 33554432000 4194304 4196468 140725538981888 139845074675312 139847417599701 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22446080 140725538988742 140725538989190 140725538989190 140725538992079 0
[pid=25066/tid=25079] ppid=25063 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/25066/task/25079/stat : 25079 (java) S 25063 25063 24340 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511852843 27969658880 30878 33554432000 4194304 4196468 140725538981888 139844700166736 139847417608091 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22446080 140725538988742 140725538989190 140725538989190 140725538992079 0
[pid=25066/tid=25080] ppid=25063 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/25066/task/25080/stat : 25080 (java) S 25063 25063 24340 0 -1 1077944384 306 0 0 0 0 0 0 0 20 0 20 0 511852843 27969658880 30878 33554432000 4194304 4196468 140725538981888 139845467854960 139847417600642 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22446080 140725538988742 140725538989190 140725538989190 140725538992079 0
[pid=25066/tid=25081] ppid=25063 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/25066/task/25081/stat : 25081 (java) S 25063 25063 24340 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511852843 27969658880 30878 33554432000 4194304 4196468 140725538981888 139845466802160 139847417600642 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22446080 140725538988742 140725538989190 140725538989190 140725538992079 0
[pid=25066/tid=25082] ppid=25063 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/25066/task/25082/stat : 25082 (java) S 25063 25063 24340 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 511852843 27969658880 30878 33554432000 4194304 4196468 140725538981888 139845465749872 139847417600642 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22446080 140725538988742 140725538989190 140725538989190 140725538992079 0
[pid=25066/tid=25083] ppid=25063 vsize=27314120 memory=-1 CPUtime=0.01 cores=0-7
/proc/25066/task/25083/stat : 25083 (java) S 25063 25063 24340 0 -1 1077944384 470 0 0 0 1 0 0 0 20 0 20 0 511852843 27969658880 30878 33554432000 4194304 4196468 140725538981888 139845464697072 139847417600642 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22446080 140725538988742 140725538989190 140725538989190 140725538992079 0
[pid=25066/tid=25084] ppid=25063 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/25066/task/25084/stat : 25084 (java) S 25063 25063 24340 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511852843 27969658880 30878 33554432000 4194304 4196468 140725538981888 139844202261344 139847417599701 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22446080 140725538988742 140725538989190 140725538989190 140725538992079 0
[pid=25066/tid=25085] ppid=25063 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/25066/task/25085/stat : 25085 (java) S 25063 25063 24340 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511852843 27969658880 30878 33554432000 4194304 4196468 140725538981888 139845463644976 139847417600642 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22446080 140725538988742 140725538989190 140725538989190 140725538992079 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 124908 KiB

[startup+0.309492 s]*
/proc/loadavg: 6.06 4.56 5.63 2/211 25085
/proc/meminfo: memFree=25095984/32770624 swapFree=66935948/67108860
[pid=25063] ppid=25060 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/25063/stat : 25063 (scop.sh) S 25060 25063 24340 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 511852832 115843072 349 33554432000 4194304 5098028 140736014960240 140736014957496 140557237064316 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 7344128 140736014967548 140736014967896 140736014967896 140736014970825 0
/proc/25063/statm: 28282 349 296 221 0 87 0
[pid=25066] ppid=25063 vsize=27314120 memory=129420 CPUtime=0.38 cores=0-7
/proc/25066/stat : 25066 (java) S 25063 25063 24340 0 -1 1077944320 11729 0 0 0 33 5 0 0 20 0 20 0 511852833 27969658880 32355 33554432000 4194304 4196468 140725538981888 140725538964432 139847417589495 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22446080 140725538988742 140725538989190 140725538989190 140725538992079 0
/proc/25066/statm: 6828530 32355 2999 1 0 6790935 0
[pid=25066/tid=25067] ppid=25063 vsize=27314120 memory=6791534058613427641 CPUtime=0.27 cores=0-7
/proc/25066/task/25067/stat : 25067 (java) R 25063 25063 24340 0 -1 4202560 9276 0 0 0 23 4 0 0 20 0 20 0 511852833 27969658880 32355 33554432000 4194304 4196468 140725538981888 139847389412688 139847401669982 0 4 2 16800973 0 0 0 -1 6 0 0 2 0 0 6293624 6294260 22446080 140725538988742 140725538989190 140725538989190 140725538992079 0
[pid=25066/tid=25068] ppid=25063 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/25066/task/25068/stat : 25068 (java) S 25063 25063 24340 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511852838 27969658880 32355 33554432000 4194304 4196468 140725538981888 139847421832080 139847417599701 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22446080 140725538988742 140725538989190 140725538989190 140725538992079 0
[pid=25066/tid=25069] ppid=25063 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/25066/task/25069/stat : 25069 (java) S 25063 25063 24340 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511852838 27969658880 32355 33554432000 4194304 4196468 140725538981888 139847235988240 139847417599701 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22446080 140725538988742 140725538989190 140725538989190 140725538992079 0
[pid=25066/tid=25070] ppid=25063 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/25066/task/25070/stat : 25070 (java) S 25063 25063 24340 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511852838 27969658880 32355 33554432000 4194304 4196468 140725538981888 139847234935952 139847417599701 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22446080 140725538988742 140725538989190 140725538989190 140725538992079 0
[pid=25066/tid=25071] ppid=25063 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/25066/task/25071/stat : 25071 (java) S 25063 25063 24340 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511852838 27969658880 32355 33554432000 4194304 4196468 140725538981888 139847233883152 139847417599701 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22446080 140725538988742 140725538989190 140725538989190 140725538992079 0
[pid=25066/tid=25072] ppid=25063 vsize=27314120 memory=2244 CPUtime=0 cores=0-7
/proc/25066/task/25072/stat : 25072 (java) S 25063 25063 24340 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511852838 27969658880 32355 33554432000 4194304 4196468 140725538981888 139847232829840 139847417599701 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22446080 140725538988742 140725538989190 140725538989190 140725538992079 0
[pid=25066/tid=25073] ppid=25063 vsize=27314120 memory=139932651844527 CPUtime=0 cores=0-7
/proc/25066/task/25073/stat : 25073 (java) S 25063 25063 24340 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511852838 27969658880 32355 33554432000 4194304 4196468 140725538981888 139847231777040 139847417599701 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22446080 140725538988742 140725538989190 140725538989190 140725538992079 0
[pid=25066/tid=25074] ppid=25063 vsize=27314120 memory=139932651846832 CPUtime=0 cores=0-7
/proc/25066/task/25074/stat : 25074 (java) S 25063 25063 24340 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511852838 27969658880 32355 33554432000 4194304 4196468 140725538981888 139847230724752 139847417599701 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22446080 140725538988742 140725538989190 140725538989190 140725538992079 0
[pid=25066/tid=25075] ppid=25063 vsize=27314120 memory=139932651849136 CPUtime=0 cores=0-7
/proc/25066/task/25075/stat : 25075 (java) S 25063 25063 24340 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511852838 27969658880 32355 33554432000 4194304 4196468 140725538981888 139847229671952 139847417599701 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22446080 140725538988742 140725538989190 140725538989190 140725538992079 0
[pid=25066/tid=25076] ppid=25063 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/25066/task/25076/stat : 25076 (java) S 25063 25063 24340 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511852840 27969658880 32355 33554432000 4194304 4196468 140725538981888 139845468908144 139847417600642 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22446080 140725538988742 140725538989190 140725538989190 140725538992079 0
[pid=25066/tid=25077] ppid=25063 vsize=27314120 memory=279865303705232 CPUtime=0 cores=0-7
/proc/25066/task/25077/stat : 25077 (java) S 25063 25063 24340 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 511852840 27969658880 32355 33554432000 4194304 4196468 140725538981888 139845343110432 139847417599701 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22446080 140725538988742 140725538989190 140725538989190 140725538992079 0
[pid=25066/tid=25078] ppid=25063 vsize=27314120 memory=279865303712144 CPUtime=0 cores=0-7
/proc/25066/task/25078/stat : 25078 (java) S 25063 25063 24340 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511852840 27969658880 32355 33554432000 4194304 4196468 140725538981888 139845074675312 139847417599701 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22446080 140725538988742 140725538989190 140725538989190 140725538992079 0
[pid=25066/tid=25079] ppid=25063 vsize=27314120 memory=279865303653424 CPUtime=0 cores=0-7
/proc/25066/task/25079/stat : 25079 (java) S 25063 25063 24340 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511852843 27969658880 32355 33554432000 4194304 4196468 140725538981888 139844700166736 139847417608091 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22446080 140725538988742 140725538989190 140725538989190 140725538992079 0
[pid=25066/tid=25080] ppid=25063 vsize=27314120 memory=279865303725968 CPUtime=0.01 cores=0-7
/proc/25066/task/25080/stat : 25080 (java) S 25063 25063 24340 0 -1 1077944384 357 0 0 0 1 0 0 0 20 0 20 0 511852843 27969658880 32355 33554432000 4194304 4196468 140725538981888 139845467854960 139847417600642 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22446080 140725538988742 140725538989190 140725538989190 140725538992079 0
[pid=25066/tid=25081] ppid=25063 vsize=27314120 memory=279865303732880 CPUtime=0.01 cores=0-7
/proc/25066/task/25081/stat : 25081 (java) R 25063 25063 24340 0 -1 4202560 99 0 0 0 1 0 0 0 20 0 20 0 511852843 27969658880 32355 33554432000 4194304 4196468 140725538981888 139845466802160 139847399134044 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22446080 140725538988742 140725538989190 140725538989190 140725538992079 0
[pid=25066/tid=25082] ppid=25063 vsize=27314120 memory=279865303730576 CPUtime=0 cores=0-7
/proc/25066/task/25082/stat : 25082 (java) S 25063 25063 24340 0 -1 1077944384 166 0 0 0 0 0 0 0 20 0 20 0 511852843 27969658880 32355 33554432000 4194304 4196468 140725538981888 139845465749872 139847417600642 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22446080 140725538988742 140725538989190 140725538989190 140725538992079 0
[pid=25066/tid=25083] ppid=25063 vsize=27314120 memory=279865303746736 CPUtime=0.06 cores=0-7
/proc/25066/task/25083/stat : 25083 (java) S 25063 25063 24340 0 -1 1077944384 496 0 0 0 6 0 0 0 20 0 20 0 511852843 27969658880 32355 33554432000 4194304 4196468 140725538981888 139845464697072 139847417600642 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22446080 140725538988742 140725538989190 140725538989190 140725538992079 0
[pid=25066/tid=25084] ppid=25063 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/25066/task/25084/stat : 25084 (java) S 25063 25063 24340 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511852843 27969658880 32355 33554432000 4194304 4196468 140725538981888 139844202261344 139847417599701 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22446080 140725538988742 140725538989190 140725538989190 140725538992079 0
[pid=25066/tid=25085] ppid=25063 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/25066/task/25085/stat : 25085 (java) S 25063 25063 24340 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511852843 27969658880 32355 33554432000 4194304 4196468 140725538981888 139845463644976 139847417600642 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22446080 140725538988742 140725538989190 140725538989190 140725538992079 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 130816 KiB

[startup+0.700933 s]
/proc/loadavg: 6.06 4.56 5.63 2/211 25085
/proc/meminfo: memFree=25075048/32770624 swapFree=66935948/67108860
[pid=25063] ppid=25060 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/25063/stat : 25063 (scop.sh) S 25060 25063 24340 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 511852832 115843072 349 33554432000 4194304 5098028 140736014960240 140736014957496 140557237064316 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 7344128 140736014967548 140736014967896 140736014967896 140736014970825 0
/proc/25063/statm: 28282 349 296 221 0 87 0
[pid=25066] ppid=25063 vsize=27320392 memory=165684 CPUtime=0.92 cores=0-7
/proc/25066/stat : 25066 (java) S 25063 25063 24340 0 -1 1077944320 19551 0 0 0 84 8 0 0 20 0 20 0 511852833 27976081408 41421 33554432000 4194304 4196468 140725538981888 140725538964432 139847417589495 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22446080 140725538988742 140725538989190 140725538989190 140725538992079 0
/proc/25066/statm: 6830098 41421 3147 1 0 6791447 0
[pid=25066/tid=25067] ppid=25063 vsize=27320392 memory=279865304104624 CPUtime=0.65 cores=0-7
/proc/25066/task/25067/stat : 25067 (java) R 25063 25063 24340 0 -1 4202560 16709 0 0 0 58 7 0 0 20 0 20 0 511852833 27976081408 41421 33554432000 4194304 4196468 140725538981888 139847389426752 139847401669982 0 4 2 25189581 0 0 0 -1 6 0 0 2 0 0 6293624 6294260 22446080 140725538988742 140725538989190 140725538989190 140725538992079 0
[pid=25066/tid=25068] ppid=25063 vsize=27320392 memory=139932652053360 CPUtime=0 cores=0-7
/proc/25066/task/25068/stat : 25068 (java) S 25063 25063 24340 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511852838 27976081408 41421 33554432000 4194304 4196468 140725538981888 139847421832080 139847417599701 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22446080 140725538988742 140725538989190 140725538989190 140725538992079 0
[pid=25066/tid=25069] ppid=25063 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/25066/task/25069/stat : 25069 (java) S 25063 25063 24340 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511852838 27976081408 41421 33554432000 4194304 4196468 140725538981888 139847235988240 139847417599701 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22446080 140725538988742 140725538989190 140725538989190 140725538992079 0
[pid=25066/tid=25070] ppid=25063 vsize=27320392 memory=1128 CPUtime=0 cores=0-7
/proc/25066/task/25070/stat : 25070 (java) S 25063 25063 24340 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511852838 27976081408 41421 33554432000 4194304 4196468 140725538981888 139847234935952 139847417599701 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22446080 140725538988742 140725538989190 140725538989190 140725538992079 0

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

/proc/25088/task/25100/stat : 25100 (java) S 25063 25063 24340 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 511854080 8616062976 29898 33554432000 4194304 4196468 140721522308384 140204643964272 140206316197589 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35778560 140721522316255 140721522316422 140721522316422 140721522319311 0
[pid=25088/tid=25101] ppid=25063 vsize=8414124 memory=132 CPUtime=0 cores=0-7
/proc/25088/task/25101/stat : 25101 (java) S 25063 25063 24340 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511854083 8616062976 29898 33554432000 4194304 4196468 140721522308384 140204269459792 140206316205979 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35778560 140721522316255 140721522316422 140721522316422 140721522319311 0
[pid=25088/tid=25102] ppid=25063 vsize=8414124 memory=132 CPUtime=0.06 cores=0-7
/proc/25088/task/25102/stat : 25102 (java) S 25063 25063 24340 0 -1 1077944384 565 0 0 0 6 0 0 0 20 0 24 0 511854083 8616062976 29898 33554432000 4194304 4196468 140721522308384 140205408528752 140206316198530 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35778560 140721522316255 140721522316422 140721522316422 140721522319311 0
[pid=25088/tid=25103] ppid=25063 vsize=8414124 memory=132 CPUtime=0.06 cores=0-7
/proc/25088/task/25103/stat : 25103 (java) S 25063 25063 24340 0 -1 1077944384 256 0 0 0 6 0 0 0 20 0 24 0 511854083 8616062976 29898 33554432000 4194304 4196468 140721522308384 140205407475952 140206316198530 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35778560 140721522316255 140721522316422 140721522316422 140721522319311 0
[pid=25088/tid=25104] ppid=25063 vsize=8414124 memory=132 CPUtime=0.13 cores=0-7
/proc/25088/task/25104/stat : 25104 (java) S 25063 25063 24340 0 -1 1077944384 621 0 0 0 13 0 0 0 20 0 24 0 511854083 8616062976 29898 33554432000 4194304 4196468 140721522308384 140205406423152 140206316198530 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35778560 140721522316255 140721522316422 140721522316422 140721522319311 0
[pid=25088/tid=25105] ppid=25063 vsize=8414124 memory=80 CPUtime=0.23 cores=0-7
/proc/25088/task/25105/stat : 25105 (java) S 25063 25063 24340 0 -1 1077944384 619 0 0 0 23 0 0 0 20 0 24 0 511854083 8616062976 29898 33554432000 4194304 4196468 140721522308384 140205405370352 140206316198530 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35778560 140721522316255 140721522316422 140721522316422 140721522319311 0
[pid=25088/tid=25106] ppid=25063 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/25088/task/25106/stat : 25106 (java) S 25063 25063 24340 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 511854083 8616062976 29898 33554432000 4194304 4196468 140721522308384 140203771554912 140206316197589 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35778560 140721522316255 140721522316422 140721522316422 140721522319311 0
[pid=25088/tid=25107] ppid=25063 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/25088/task/25107/stat : 25107 (java) S 25063 25063 24340 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511854083 8616062976 29898 33554432000 4194304 4196468 140721522308384 140205404318768 140206316198530 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35778560 140721522316255 140721522316422 140721522316422 140721522319311 0
[pid=25088/tid=25109] ppid=25063 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/25088/task/25109/stat : 25109 (java) S 25063 25063 24340 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 511854154 8616062976 29898 33554432000 4194304 4196468 140721522308384 140205396284992 140206316211993 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 35778560 140721522316255 140721522316422 140721522316422 140721522319311 0
[pid=25088/tid=25111] ppid=25063 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/25088/task/25111/stat : 25111 (java) S 25063 25063 24340 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 24 0 511854154 8616062976 29898 33554432000 4194304 4196468 140721522308384 140203100454576 140206316209309 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 35778560 140721522316255 140721522316422 140721522316422 140721522319311 0
[pid=25088/tid=25112] ppid=25063 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/25088/task/25112/stat : 25112 (java) S 25063 25063 24340 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 24 0 511854154 8616062976 29898 33554432000 4194304 4196468 140721522308384 140203368889904 140206316209309 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 35778560 140721522316255 140721522316422 140721522316422 140721522319311 0
[pid=25088/tid=25113] ppid=25063 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/25088/task/25113/stat : 25113 (java) S 25063 25063 24340 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 24 0 511854156 8616062976 29898 33554432000 4194304 4196468 140721522308384 140202832026672 140206316197589 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35778560 140721522316255 140721522316422 140721522316422 140721522319311 0
Current children cumulated CPU time: 58.15 s
Current children cumulated vsize: 9162332 KiB
Current children cumulated memory: 225288 KiB

[startup+18.0071 s]*
/proc/loadavg: 5.41 4.48 5.59 9/224 25121
/proc/meminfo: memFree=25001200/32770624 swapFree=66935948/67108860
[pid=25063] ppid=25060 vsize=113128 memory=1476 CPUtime=22.15 cores=0-7
/proc/25063/stat : 25063 (scop.sh) S 25060 25063 24340 0 -1 4202496 583 40819 0 0 0 0 2122 93 20 0 1 0 511852832 115843072 369 33554432000 4194304 5098028 140736014960240 140736014956984 140557237064316 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 7344128 140736014967548 140736014967896 140736014967896 140736014970825 0
/proc/25063/statm: 28282 369 311 221 0 87 0
[pid=25088] ppid=25063 vsize=8414124 memory=119592 CPUtime=1.33 cores=0-7
/proc/25088/stat : 25088 (java) S 25063 25063 24340 0 -1 1077944320 20914 0 0 0 124 9 0 0 20 0 24 0 511854076 8616062976 29898 33554432000 4194304 4196468 140721522308384 140721522290928 140206316187383 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 35778560 140721522316255 140721522316422 140721522316422 140721522319311 0
/proc/25088/statm: 2103531 29898 3204 1 0 2064875 0
[pid=25108] ppid=25088 vsize=635356 memory=107064 CPUtime=37.89 cores=0-7
/proc/25108/stat : 25108 (manyglucose-4.1) S 25088 25063 24340 0 -1 1077944320 70936 0 0 0 3773 16 0 0 20 0 9 0 511854154 650604544 26766 33554432000 4194304 4454172 140721140797936 140721140796336 140039118584450 0 4 0 8388610 18446744073709551615 0 0 17 0 0 0 0 0 0 6552832 6554400 37920768 140721140802381 140721140802588 140721140802588 140721140805558 0
/proc/25108/statm: 158839 26766 404 64 0 154507 0
[pid=25108/tid=25114] ppid=25088 vsize=635356 memory=26148 CPUtime=4.73 cores=0-7
/proc/25108/task/25114/stat : 25114 (manyglucose-4.1) R 25088 25063 24340 0 -1 4202560 8846 0 0 0 471 2 0 0 20 0 9 0 511854159 650604544 26766 33554432000 4194304 4454172 140721140797936 140039103356008 4350370 0 4 0 8388610 0 0 0 -1 5 0 0 0 0 0 6552832 6554400 37920768 140721140802381 140721140802588 140721140802588 140721140805558 0
[pid=25108/tid=25115] ppid=25088 vsize=635356 memory=-6657000309100945312 CPUtime=4.63 cores=0-7
/proc/25108/task/25115/stat : 25115 (manyglucose-4.1) R 25088 25063 24340 0 -1 4202560 8356 0 0 0 462 1 0 0 20 0 9 0 511854159 650604544 26766 33554432000 4194304 4454172 140721140797936 140039094963304 4335584 0 4 0 8388610 0 0 0 -1 7 0 0 0 0 0 6552832 6554400 37920768 140721140802381 140721140802588 140721140802588 140721140805558 0
[pid=25108/tid=25116] ppid=25088 vsize=635356 memory=139932763330176 CPUtime=4.74 cores=0-7
/proc/25108/task/25116/stat : 25116 (manyglucose-4.1) R 25088 25063 24340 0 -1 4202560 8129 0 0 0 472 2 0 0 20 0 9 0 511854159 650604544 26766 33554432000 4194304 4454172 140721140797936 140039086570584 4350367 0 4 0 8388610 0 0 0 -1 4 0 0 0 0 0 6552832 6554400 37920768 140721140802381 140721140802588 140721140802588 140721140805558 0
[pid=25108/tid=25117] ppid=25088 vsize=635356 memory=0 CPUtime=4.73 cores=0-7
/proc/25108/task/25117/stat : 25117 (manyglucose-4.1) R 25088 25063 24340 0 -1 4202560 7789 0 0 0 471 2 0 0 20 0 9 0 511854159 650604544 26766 33554432000 4194304 4454172 140721140797936 140039078177896 4284356 0 4 0 8388610 0 0 0 -1 1 0 0 0 0 0 6552832 6554400 37920768 140721140802381 140721140802588 140721140802588 140721140805558 0
[pid=25108/tid=25118] ppid=25088 vsize=635356 memory=15460 CPUtime=4.73 cores=0-7
/proc/25108/task/25118/stat : 25118 (manyglucose-4.1) R 25088 25063 24340 0 -1 4202560 8320 0 0 0 472 1 0 0 20 0 9 0 511854159 650604544 26766 33554432000 4194304 4454172 140721140797936 140039069785336 4350397 0 4 0 8388610 0 0 0 -1 2 0 0 0 0 0 6552832 6554400 37920768 140721140802381 140721140802588 140721140802588 140721140805558 0
[pid=25108/tid=25119] ppid=25088 vsize=635356 memory=492 CPUtime=4.73 cores=0-7
/proc/25108/task/25119/stat : 25119 (manyglucose-4.1) R 25088 25063 24340 0 -1 4202560 8257 0 0 0 472 1 0 0 20 0 9 0 511854159 650604544 26766 33554432000 4194304 4454172 140721140797936 140039061392488 4351552 0 4 0 8388610 0 0 0 -1 6 0 0 0 0 0 6552832 6554400 37920768 140721140802381 140721140802588 140721140802588 140721140805558 0
[pid=25108/tid=25120] ppid=25088 vsize=635356 memory=3978701783356747039 CPUtime=4.73 cores=0-7
/proc/25108/task/25120/stat : 25120 (manyglucose-4.1) R 25088 25063 24340 0 -1 4202560 9277 0 0 0 472 1 0 0 20 0 9 0 511854159 650604544 26766 33554432000 4194304 4454172 140721140797936 140039052999416 4353764 0 4 0 8388610 0 0 0 -1 3 0 0 0 0 0 6552832 6554400 37920768 140721140802381 140721140802588 140721140802588 140721140805558 0
[pid=25108/tid=25121] ppid=25088 vsize=635356 memory=7885618647264285542 CPUtime=4.73 cores=0-7
/proc/25108/task/25121/stat : 25121 (manyglucose-4.1) R 25088 25063 24340 0 -1 4202560 8121 0 0 0 472 1 0 0 20 0 9 0 511854159 650604544 26766 33554432000 4194304 4454172 140721140797936 140039044607080 4351800 0 4 0 8388610 0 0 0 -1 0 0 0 0 0 0 6552832 6554400 37920768 140721140802381 140721140802588 140721140802588 140721140805558 0
[pid=25088/tid=25089] ppid=25063 vsize=8414124 memory=7686721470368224664 CPUtime=0.8 cores=0-7
/proc/25088/task/25089/stat : 25089 (java) S 25063 25063 24340 0 -1 1077944384 17434 0 0 0 74 6 0 0 20 0 24 0 511854076 8616062976 29898 33554432000 4194304 4196468 140721522308384 140206288027552 140206316197589 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35778560 140721522316255 140721522316422 140721522316422 140721522319311 0
[pid=25088/tid=25090] ppid=25063 vsize=8414124 memory=4642193495072858473 CPUtime=0 cores=0-7
/proc/25088/task/25090/stat : 25090 (java) S 25063 25063 24340 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 511854078 8616062976 29898 33554432000 4194304 4196468 140721522308384 140206320430224 140206316197589 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35778560 140721522316255 140721522316422 140721522316422 140721522319311 0
[pid=25088/tid=25091] ppid=25063 vsize=8414124 memory=7649539325574390034 CPUtime=0 cores=0-7
/proc/25088/task/25091/stat : 25091 (java) S 25063 25063 24340 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511854078 8616062976 29898 33554432000 4194304 4196468 140721522308384 140205801597968 140206316197589 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35778560 140721522316255 140721522316422 140721522316422 140721522319311 0
[pid=25088/tid=25092] ppid=25063 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/25088/task/25092/stat : 25092 (java) S 25063 25063 24340 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 511854078 8616062976 29898 33554432000 4194304 4196468 140721522308384 140205800545168 140206316197589 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35778560 140721522316255 140721522316422 140721522316422 140721522319311 0
[pid=25088/tid=25093] ppid=25063 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/25088/task/25093/stat : 25093 (java) S 25063 25063 24340 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 511854078 8616062976 29898 33554432000 4194304 4196468 140721522308384 140205799492368 140206316197589 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35778560 140721522316255 140721522316422 140721522316422 140721522319311 0
[pid=25088/tid=25094] ppid=25063 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/25088/task/25094/stat : 25094 (java) S 25063 25063 24340 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 511854078 8616062976 29898 33554432000 4194304 4196468 140721522308384 140205798439568 140206316197589 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35778560 140721522316255 140721522316422 140721522316422 140721522319311 0
[pid=25088/tid=25095] ppid=25063 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/25088/task/25095/stat : 25095 (java) S 25063 25063 24340 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511854078 8616062976 29898 33554432000 4194304 4196468 140721522308384 140205797386768 140206316197589 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35778560 140721522316255 140721522316422 140721522316422 140721522319311 0
[pid=25088/tid=25096] ppid=25063 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/25088/task/25096/stat : 25096 (java) S 25063 25063 24340 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 511854078 8616062976 29898 33554432000 4194304 4196468 140721522308384 140205796333968 140206316197589 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35778560 140721522316255 140721522316422 140721522316422 140721522319311 0
[pid=25088/tid=25097] ppid=25063 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/25088/task/25097/stat : 25097 (java) S 25063 25063 24340 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 511854078 8616062976 29898 33554432000 4194304 4196468 140721522308384 140205795281168 140206316197589 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35778560 140721522316255 140721522316422 140721522316422 140721522319311 0
[pid=25088/tid=25098] ppid=25063 vsize=8414124 memory=3617551796267921439 CPUtime=0 cores=0-7
/proc/25088/task/25098/stat : 25098 (java) S 25063 25063 24340 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 511854079 8616062976 29898 33554432000 4194304 4196468 140721522308384 140205409581936 140206316198530 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35778560 140721522316255 140721522316422 140721522316422 140721522319311 0
[pid=25088/tid=25099] ppid=25063 vsize=8414124 memory=3690471420425877043 CPUtime=0 cores=0-7
/proc/25088/task/25099/stat : 25099 (java) S 25063 25063 24340 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 511854080 8616062976 29898 33554432000 4194304 4196468 140721522308384 140204778186272 140206316197589 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35778560 140721522316255 140721522316422 140721522316422 140721522319311 0
[pid=25088/tid=25100] ppid=25063 vsize=8414124 memory=3470692292451393600 CPUtime=0 cores=0-7
/proc/25088/task/25100/stat : 25100 (java) S 25063 25063 24340 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 511854080 8616062976 29898 33554432000 4194304 4196468 140721522308384 140204643964272 140206316197589 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35778560 140721522316255 140721522316422 140721522316422 140721522319311 0
[pid=25088/tid=25101] ppid=25063 vsize=8414124 memory=8508281403248182687 CPUtime=0 cores=0-7
/proc/25088/task/25101/stat : 25101 (java) S 25063 25063 24340 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511854083 8616062976 29898 33554432000 4194304 4196468 140721522308384 140204269459792 140206316205979 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35778560 140721522316255 140721522316422 140721522316422 140721522319311 0
[pid=25088/tid=25102] ppid=25063 vsize=8414124 memory=-7233780906022726806 CPUtime=0.06 cores=0-7
/proc/25088/task/25102/stat : 25102 (java) S 25063 25063 24340 0 -1 1077944384 565 0 0 0 6 0 0 0 20 0 24 0 511854083 8616062976 29898 33554432000 4194304 4196468 140721522308384 140205408528752 140206316198530 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35778560 140721522316255 140721522316422 140721522316422 140721522319311 0
[pid=25088/tid=25103] ppid=25063 vsize=8414124 memory=-6876588628787748224 CPUtime=0.06 cores=0-7
/proc/25088/task/25103/stat : 25103 (java) S 25063 25063 24340 0 -1 1077944384 256 0 0 0 6 0 0 0 20 0 24 0 511854083 8616062976 29898 33554432000 4194304 4196468 140721522308384 140205407475952 140206316198530 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35778560 140721522316255 140721522316422 140721522316422 140721522319311 0
[pid=25088/tid=25104] ppid=25063 vsize=8414124 memory=-8990767739041718176 CPUtime=0.13 cores=0-7
/proc/25088/task/25104/stat : 25104 (java) S 25063 25063 24340 0 -1 1077944384 621 0 0 0 13 0 0 0 20 0 24 0 511854083 8616062976 29898 33554432000 4194304 4196468 140721522308384 140205406423152 140206316198530 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35778560 140721522316255 140721522316422 140721522316422 140721522319311 0
[pid=25088/tid=25105] ppid=25063 vsize=8414124 memory=3472328296227680300 CPUtime=0.23 cores=0-7
/proc/25088/task/25105/stat : 25105 (java) S 25063 25063 24340 0 -1 1077944384 619 0 0 0 23 0 0 0 20 0 24 0 511854083 8616062976 29898 33554432000 4194304 4196468 140721522308384 140205405370352 140206316198530 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35778560 140721522316255 140721522316422 140721522316422 140721522319311 0
[pid=25088/tid=25106] ppid=25063 vsize=8414124 memory=3471202396320837679 CPUtime=0 cores=0-7
/proc/25088/task/25106/stat : 25106 (java) S 25063 25063 24340 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 511854083 8616062976 29898 33554432000 4194304 4196468 140721522308384 140203771554912 140206316197589 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35778560 140721522316255 140721522316422 140721522316422 140721522319311 0
[pid=25088/tid=25107] ppid=25063 vsize=8414124 memory=8028911401163779428 CPUtime=0 cores=0-7
/proc/25088/task/25107/stat : 25107 (java) S 25063 25063 24340 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511854083 8616062976 29898 33554432000 4194304 4196468 140721522308384 140205404318768 140206316198530 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35778560 140721522316255 140721522316422 140721522316422 140721522319311 0
[pid=25088/tid=25109] ppid=25063 vsize=8414124 memory=7300704875922477137 CPUtime=0 cores=0-7
/proc/25088/task/25109/stat : 25109 (java) S 25063 25063 24340 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 511854154 8616062976 29898 33554432000 4194304 4196468 140721522308384 140205396284992 140206316211993 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 35778560 140721522316255 140721522316422 140721522316422 140721522319311 0
[pid=25088/tid=25111] ppid=25063 vsize=8414124 memory=8099844228963987043 CPUtime=0 cores=0-7
/proc/25088/task/25111/stat : 25111 (java) S 25063 25063 24340 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 24 0 511854154 8616062976 29898 33554432000 4194304 4196468 140721522308384 140203100454576 140206316209309 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 35778560 140721522316255 140721522316422 140721522316422 140721522319311 0
[pid=25088/tid=25112] ppid=25063 vsize=8414124 memory=3618997890924309602 CPUtime=0 cores=0-7
/proc/25088/task/25112/stat : 25112 (java) S 25063 25063 24340 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 24 0 511854154 8616062976 29898 33554432000 4194304 4196468 140721522308384 140203368889904 140206316209309 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 35778560 140721522316255 140721522316422 140721522316422 140721522319311 0
[pid=25088/tid=25113] ppid=25063 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/25088/task/25113/stat : 25113 (java) S 25063 25063 24340 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 24 0 511854156 8616062976 29898 33554432000 4194304 4196468 140721522308384 140202832026672 140206316197589 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35778560 140721522316255 140721522316422 140721522316422 140721522319311 0
Current children cumulated CPU time: 61.37 s
Current children cumulated vsize: 9162608 KiB
Current children cumulated memory: 228132 KiB

[startup+18.4011 s]
/proc/loadavg: 5.41 4.48 5.59 9/224 25121
/proc/meminfo: memFree=25001200/32770624 swapFree=66935948/67108860
[pid=25063] ppid=25060 vsize=113128 memory=1476 CPUtime=22.15 cores=0-7
/proc/25063/stat : 25063 (scop.sh) S 25060 25063 24340 0 -1 4202496 583 40819 0 0 0 0 2122 93 20 0 1 0 511852832 115843072 369 33554432000 4194304 5098028 140736014960240 140736014956984 140557237064316 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 7344128 140736014967548 140736014967896 140736014967896 140736014970825 0
/proc/25063/statm: 28282 369 311 221 0 87 0
[pid=25088] ppid=25063 vsize=8283048 memory=129228 CPUtime=41.26 cores=0-7
/proc/25088/stat : 25088 (java) S 25063 25063 24340 0 -1 1077944320 21767 71805 0 0 153 10 3946 17 20 0 22 0 511854076 8481841152 32307 33554432000 4194304 4196468 140721522308384 140721522290928 140206316187383 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 35778560 140721522316255 140721522316422 140721522316422 140721522319311 0
/proc/25088/statm: 2070762 32307 3229 1 0 2032106 0
[pid=25088/tid=25089] ppid=25063 vsize=8283048 memory=1476 CPUtime=40.52 cores=0-7
/proc/25088/task/25089/stat : 25089 (java) R 25063 25063 24340 0 -1 4202560 17686 71805 0 0 83 6 3946 17 20 0 22 0 511854076 8481841152 32307 33554432000 4194304 4196468 140721522308384 140206288025888 140206300231013 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35778560 140721522316255 140721522316422 140721522316422 140721522319311 0
[pid=25088/tid=25090] ppid=25063 vsize=8283048 memory=119592 CPUtime=39.63 cores=0-7
/proc/25088/task/25090/stat : 25090 (java) S 25063 25063 24340 0 -1 1077944384 2 71805 0 0 0 0 3946 17 20 0 22 0 511854078 8481841152 32307 33554432000 4194304 4196468 140721522308384 140206320430224 140206316197589 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35778560 140721522316255 140721522316422 140721522316422 140721522319311 0
[pid=25088/tid=25091] ppid=25063 vsize=8283048 memory=1476 CPUtime=39.63 cores=0-7
/proc/25088/task/25091/stat : 25091 (java) S 25063 25063 24340 0 -1 1077944384 1 71805 0 0 0 0 3946 17 20 0 22 0 511854078 8481841152 32307 33554432000 4194304 4196468 140721522308384 140205801597968 140206316197589 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35778560 140721522316255 140721522316422 140721522316422 140721522319311 0
[pid=25088/tid=25092] ppid=25063 vsize=8283048 memory=119592 CPUtime=39.63 cores=0-7
/proc/25088/task/25092/stat : 25092 (java) S 25063 25063 24340 0 -1 1077944384 3 71805 0 0 0 0 3946 17 20 0 22 0 511854078 8481841152 32307 33554432000 4194304 4196468 140721522308384 140205800545168 140206316197589 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35778560 140721522316255 140721522316422 140721522316422 140721522319311 0
[pid=25088/tid=25093] ppid=25063 vsize=8283048 memory=120804 CPUtime=39.63 cores=0-7
/proc/25088/task/25093/stat : 25093 (java) S 25063 25063 24340 0 -1 1077944384 2 71805 0 0 0 0 3946 17 20 0 22 0 511854078 8481841152 32307 33554432000 4194304 4196468 140721522308384 140205799492368 140206316197589 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35778560 140721522316255 140721522316422 140721522316422 140721522319311 0
[pid=25088/tid=25094] ppid=25063 vsize=8283048 memory=0 CPUtime=39.63 cores=0-7
/proc/25088/task/25094/stat : 25094 (java) S 25063 25063 24340 0 -1 1077944384 2 71805 0 0 0 0 3946 17 20 0 22 0 511854078 8481841152 32307 33554432000 4194304 4196468 140721522308384 140205798439568 140206316197589 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35778560 140721522316255 140721522316422 140721522316422 140721522319311 0
[pid=25088/tid=25095] ppid=25063 vsize=8283048 memory=0 CPUtime=39.63 cores=0-7
/proc/25088/task/25095/stat : 25095 (java) S 25063 25063 24340 0 -1 1077944384 1 71805 0 0 0 0 3946 17 20 0 22 0 511854078 8481841152 32307 33554432000 4194304 4196468 140721522308384 140205797386768 140206316197589 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35778560 140721522316255 140721522316422 140721522316422 140721522319311 0
[pid=25088/tid=25096] ppid=25063 vsize=8283048 memory=6656426216303648864 CPUtime=39.63 cores=0-7
/proc/25088/task/25096/stat : 25096 (java) S 25063 25063 24340 0 -1 1077944384 2 71805 0 0 0 0 3946 17 20 0 22 0 511854078 8481841152 32307 33554432000 4194304 4196468 140721522308384 140205796333968 140206316197589 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35778560 140721522316255 140721522316422 140721522316422 140721522319311 0
[pid=25088/tid=25097] ppid=25063 vsize=8283048 memory=0 CPUtime=39.63 cores=0-7
/proc/25088/task/25097/stat : 25097 (java) S 25063 25063 24340 0 -1 1077944384 2 71805 0 0 0 0 3946 17 20 0 22 0 511854078 8481841152 32307 33554432000 4194304 4196468 140721522308384 140205795281168 140206316197589 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35778560 140721522316255 140721522316422 140721522316422 140721522319311 0
[pid=25088/tid=25098] ppid=25063 vsize=8283048 memory=0 CPUtime=39.63 cores=0-7
/proc/25088/task/25098/stat : 25098 (java) S 25063 25063 24340 0 -1 1077944384 5 71805 0 0 0 0 3946 17 20 0 22 0 511854079 8481841152 32307 33554432000 4194304 4196468 140721522308384 140205409581936 140206316198530 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35778560 140721522316255 140721522316422 140721522316422 140721522319311 0
[pid=25088/tid=25099] ppid=25063 vsize=8283048 memory=0 CPUtime=39.63 cores=0-7
/proc/25088/task/25099/stat : 25099 (java) S 25063 25063 24340 0 -1 1077944384 13 71805 0 0 0 0 3946 17 20 0 22 0 511854080 8481841152 32307 33554432000 4194304 4196468 140721522308384 140204778186272 140206316197589 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35778560 140721522316255 140721522316422 140721522316422 140721522319311 0
[pid=25088/tid=25100] ppid=25063 vsize=8283048 memory=0 CPUtime=39.63 cores=0-7
/proc/25088/task/25100/stat : 25100 (java) S 25063 25063 24340 0 -1 1077944384 21 71805 0 0 0 0 3946 17 20 0 22 0 511854080 8481841152 32307 33554432000 4194304 4196468 140721522308384 140204643964272 140206316197589 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35778560 140721522316255 140721522316422 140721522316422 140721522319311 0
[pid=25088/tid=25101] ppid=25063 vsize=8283048 memory=0 CPUtime=39.63 cores=0-7
/proc/25088/task/25101/stat : 25101 (java) S 25063 25063 24340 0 -1 1077944384 1 71805 0 0 0 0 3946 17 20 0 22 0 511854083 8481841152 32307 33554432000 4194304 4196468 140721522308384 140204269459792 140206316205979 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35778560 140721522316255 140721522316422 140721522316422 140721522319311 0
[pid=25088/tid=25102] ppid=25063 vsize=8283048 memory=0 CPUtime=39.74 cores=0-7
/proc/25088/task/25102/stat : 25102 (java) R 25063 25063 24340 0 -1 4202560 612 71805 0 0 10 1 3946 17 20 0 22 0 511854083 8481841152 32307 33554432000 4194304 4196468 140721522308384 140205408520400 140206316201232 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35778560 140721522316255 140721522316422 140721522316422 140721522319311 0
[pid=25088/tid=25103] ppid=25063 vsize=8283048 memory=0 CPUtime=39.71 cores=0-7
/proc/25088/task/25103/stat : 25103 (java) S 25063 25063 24340 0 -1 1077944384 320 71805 0 0 8 0 3946 17 20 0 22 0 511854083 8481841152 32307 33554432000 4194304 4196468 140721522308384 140205407475952 140206316198530 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35778560 140721522316255 140721522316422 140721522316422 140721522319311 0
[pid=25088/tid=25104] ppid=25063 vsize=8283048 memory=279865305230304 CPUtime=39.78 cores=0-7
/proc/25088/task/25104/stat : 25104 (java) R 25063 25063 24340 0 -1 1077944384 641 71805 0 0 15 0 3946 17 20 0 22 0 511854083 8481841152 32307 33554432000 4194304 4196468 140721522308384 140205406423152 140206316198530 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35778560 140721522316255 140721522316422 140721522316422 140721522319311 0
[pid=25088/tid=25105] ppid=25063 vsize=8283048 memory=139932652540960 CPUtime=39.94 cores=0-7
/proc/25088/task/25105/stat : 25105 (java) R 25063 25063 24340 0 -1 4202560 1036 71805 0 0 31 0 3946 17 20 0 22 0 511854083 8481841152 32307 33554432000 4194304 4196468 140721522308384 140205405370352 140206300267870 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35778560 140721522316255 140721522316422 140721522316422 140721522319311 0
[pid=25088/tid=25106] ppid=25063 vsize=8283048 memory=7162532522493170279 CPUtime=39.63 cores=0-7
/proc/25088/task/25106/stat : 25106 (java) S 25063 25063 24340 0 -1 1077944384 3 71805 0 0 0 0 3946 17 20 0 22 0 511854083 8481841152 32307 33554432000 4194304 4196468 140721522308384 140203771554912 140206316197589 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35778560 140721522316255 140721522316422 140721522316422 140721522319311 0
[pid=25088/tid=25107] ppid=25063 vsize=8283048 memory=7162532522493170279 CPUtime=39.63 cores=0-7
/proc/25088/task/25107/stat : 25107 (java) S 25063 25063 24340 0 -1 1077944384 1 71805 0 0 0 0 3946 17 20 0 22 0 511854083 8481841152 32307 33554432000 4194304 4196468 140721522308384 140205404318768 140206316198530 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35778560 140721522316255 140721522316422 140721522316422 140721522319311 0
[pid=25088/tid=25109] ppid=25063 vsize=8283048 memory=7162532522493170279 CPUtime=39.63 cores=0-7
/proc/25088/task/25109/stat : 25109 (java) S 25063 25063 24340 0 -1 1077944384 30 71805 0 0 0 0 3946 17 20 0 22 0 511854154 8481841152 32307 33554432000 4194304 4196468 140721522308384 140205396284176 140206316198530 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35778560 140721522316255 140721522316422 140721522316422 140721522319311 0
[pid=25088/tid=25113] ppid=25063 vsize=8283048 memory=7162532522493170279 CPUtime=39.63 cores=0-7
/proc/25088/task/25113/stat : 25113 (java) S 25063 25063 24340 0 -1 1077944384 14 71805 0 0 0 0 3946 17 20 0 22 0 511854156 8481841152 32307 33554432000 4194304 4196468 140721522308384 140202832028464 140206316198530 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35778560 140721522316255 140721522316422 140721522316422 140721522319311 0
Current children cumulated CPU time: 63.41 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 130704 KiB

Child status: 0
Real time (s): 18.4368
CPU time (s): 63.5281
CPU user time (s): 62.2834
CPU system time (s): 1.24466
CPU usage (%): 344.572
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 4899544

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 62.2834
system time used= 1.24466
maximum resident set size= 4898544
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 136311
page faults= 0
swaps= 0
block input operations= 8
block output operations= 1968
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 9757
involuntary context switches= 447


# summary of solver processes directly reported to runsolver:
#   pid: 25063
#   total CPU time (s): 63.5281
#   total CPU user time (s): 62.2834
#   total CPU system time (s): 1.24466

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.14261 second user time and 0.27116 second system time

The end

Launcher Data 

Begin job on node147 at 2019-09-24 23:09:07
IDJOB=4405516
IDBENCH=139111
IDSOLVER=2868
FILE ID=node147/4405516-1569359391
RUNJOBID= node147-1569358595-24367
PBS_JOBID= 21705113
Free space on /var/tmp= 13508 MiB

SOLVER NAME= Fun-sCOP hybrid+ManyGlucose (2019-09-22)
BENCH NAME= XCSP17/LatinSquare/LatinSquare-xcsp2-qcp25/qcp-25-264-08_X2.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-4405516-1569359391/watcher-4405516-1569359391 -o /var/tmp/evaluation-result-4405516-1569359391/solver-4405516-1569359391 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node147-1569358595-24367 --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-4405516-1569359391.xml

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

MD5SUM BENCH= e61b201f6225aab3795ad5f045ee307f
RANDOM SEED=336786172

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

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

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

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

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

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

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.52
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:        25215564 kB
MemAvailable:   31776744 kB
Buffers:          147124 kB
Cached:          6473620 kB
SwapCached:        68688 kB
Active:          3287852 kB
Inactive:        3406124 kB
Active(anon):       4484 kB
Inactive(anon):   126000 kB
Active(file):    3283368 kB
Inactive(file):  3280124 kB
Unevictable:      107772 kB
Mlocked:          107772 kB
SwapTotal:      67108860 kB
SwapFree:       66935948 kB
Dirty:             20804 kB
Writeback:             0 kB
AnonPages:        121972 kB
Mapped:            57376 kB
Shmem:             49088 kB
Slab:             455124 kB
SReclaimable:     426148 kB
SUnreclaim:        28976 kB
KernelStack:        3728 kB
PageTables:         5320 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     514456 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     75776 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      120192 kB
DirectMap2M:    33425408 kB

Free space on /var/tmp at the end= 13488 MiB
End job on node147 at 2019-09-24 23:09:25