Trace number 4405232

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

NameMagicSequence/MagicSequence-card-s1/
MagicSequence-800-ca.xml
MD5SUMbba643cbf375a501e11ba296082ede1c
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 benchmark2.78579
Satisfiable
(Un)Satisfiability was proved
Number of variables800
Number of constraints3
Number of domains1
Minimum domain size800
Maximum domain size800
Distribution of domain sizes[{"size":800,"count":800}]
Minimum variable degree3
Maximum variable degree3
Distribution of variable degrees[{"degree":3,"count":800}]
Minimum constraint arity800
Maximum constraint arity800
Distribution of constraint arities[{"arity":800,"count":3}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"sum","count":2},{"type":"cardinality","count":1}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c (scop.sh) java -Xms22g -Xmx22g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Encode -order -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-20182-serial-file.bin HOME/instance-4405232-1569240795.xml
0.66/0.54	
0.66/0.54	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
0.66/0.54	
0.66/0.56	c BEGIN-Prog: Mon Sep 23 14:12:32 CEST 2019
0.66/0.56	c PID: 20185
0.66/0.56	c IP: 172.20.3.117
0.66/0.56	c HOST: node117.alineos.net
0.66/0.57	c (0,0) Parsing Begin
1.73/1.04	c (0,0) Parsing End
1.73/1.05	c (0,0) CSP: 800 int (0 aux), 0 bool (0 aux), 3 ctr, max domain size 800
1.73/1.06	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.73/1.06	c (0,0) Constraint Name Generate Begin
1.73/1.06	c (0,0) Ctr:HOME/instance-4405232-1569240795.xml,Cardinality:Num:Var:WeightedSum
1.73/1.06	c (0,0) Constraint Name Generate End
1.73/1.06	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.73/1.06	c (0,0) CSP to CSPinCNF Begin
1.73/1.10	c (0,0) translated 1 (10%) constraints
359.82/312.96	c (312,306) translated 2 (20%) constraints
360.39/313.42	c (312,306) translated 3 (30%) constraints
360.83/313.89	c (313,307) ===========================================
360.93/313.93	c (313,307) Order
360.93/313.93	c (313,307) ===========================================
463.94/400.83	c (400,392) translated 128081 (10%) constraints
469.64/406.51	c (405,398) translated 256161 (20%) constraints
479.45/412.72	c (412,403) translated 384241 (30%) constraints
485.15/418.45	c (417,409) translated 512321 (40%) constraints
490.95/424.20	c (423,415) translated 640401 (50%) constraints
496.65/429.96	c (429,420) translated 768482 (60%) constraints
509.26/436.62	c (436,426) translated 896562 (70%) constraints
514.97/442.33	c (441,432) translated 1024642 (80%) constraints
520.68/448.07	c (447,438) translated 1152722 (90%) constraints
534.48/454.94	c (454,444) translated 1280802 (100%) constraints
534.71/455.11	c (454,444) CSP to CSPinCNF End
535.02/455.50	c (454,444) CSP: 150243 int (149842 aux), 1283192 bool (1282793 aux), 2866874 ctr, max domain size 45212
535.02/455.50	c (454,444) Heap : 4888 MiB used (max 21215 MiB), NonHeap : 27 MiB used (max 0 MiB)
535.02/455.50	c (454,444) CSPinCNF Propagation Begin
600.63/495.18	c (494,480) 6393231 values, 2533044 unsatisfiable literals, and 2791974 valid clauses are removed
600.63/495.18	c (494,480) CSPinCNF Propagation End
601.12/495.68	c (495,481) CSP: 10590 int (10189 aux), 1422845 bool (1422446 aux), 74900 ctr, max domain size 866
601.12/495.68	c (495,481) Heap : 6193 MiB used (max 21696 MiB), NonHeap : 27 MiB used (max 0 MiB)
601.22/495.76	c (495,481) Simplify CSPinCNF Begin
601.60/495.93	c (495,481) Simplify CSPinCNF End
602.14/496.43	c (495,482) CSP: 10590 int (10189 aux), 1422845 bool (1422446 aux), 74900 ctr, max domain size 866
602.14/496.43	c (495,482) Heap : 6193 MiB used (max 21696 MiB), NonHeap : 27 MiB used (max 0 MiB)
602.14/496.43	c (495,482) Calculate Precise Domain Begin
605.14/498.68	c (498,484) 279566 values are removed by re-calculation
605.14/498.68	c (498,484) Calculate Precise Domain End
605.66/499.19	c (498,484) CSP: 10590 int (10189 aux), 1422845 bool (1422446 aux), 74900 ctr, max domain size 866
605.66/499.19	c (498,484) Heap : 7935 MiB used (max 21696 MiB), NonHeap : 29 MiB used (max 0 MiB)
605.66/499.19	c (498,484) CSPinCNF to SatSolver Begin
622.35/505.44	c (504,489) 7490 (10 %) CSP clauses are encoded (0 SAT variables, 2161883 SAT clauses)
623.15/505.73	c (505,490) 14980 (20 %) CSP clauses are encoded (0 SAT variables, 2205083 SAT clauses)
623.54/505.93	c (505,490) 22470 (30 %) CSP clauses are encoded (0 SAT variables, 2225223 SAT clauses)
623.68/506.06	c (505,490) 29960 (40 %) CSP clauses are encoded (0 SAT variables, 2237959 SAT clauses)
623.79/506.18	c (505,490) 37450 (50 %) CSP clauses are encoded (0 SAT variables, 2246841 SAT clauses)
623.98/506.30	c (505,490) 44940 (60 %) CSP clauses are encoded (0 SAT variables, 2254767 SAT clauses)
624.30/506.40	c (505,490) 52430 (70 %) CSP clauses are encoded (0 SAT variables, 2262311 SAT clauses)
624.30/506.46	c (505,490) 59920 (80 %) CSP clauses are encoded (0 SAT variables, 2269801 SAT clauses)
624.52/506.53	c (505,490) 67410 (90 %) CSP clauses are encoded (0 SAT variables, 2277291 SAT clauses)
665.74/542.57	c (542,522) 74900 (100 %) CSP clauses are encoded (0 SAT variables, 23495242 SAT clauses)
665.74/542.57	c (542,522) CSPinCNF to SatSolver End
665.74/542.57	c (542,522) Heap : 10894 MiB used (max 21743 MiB), NonHeap : 31 MiB used (max 0 MiB)
665.74/542.57	c (542,522) 276530 bool, 23495503 clause
665.74/542.57	c (542,522) Export Begin
666.08/542.71	c (542,522) Export to HOME/scop-20182-serial-file.bin
666.08/542.71	c (542,522) Export End
666.08/542.71	c (542,522) Export File Size: 0.12 MB
666.08/542.71	c (542,522) 0,0,454,495,495,498,542,STOP-AFTER(DIMACS)
666.08/542.71	c END-Prog: Mon Sep 23 14:21:35 CEST 2019
0.00/542.83	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-20182-serial-file.bin
666.72/543.29	c (0,0) Read Serial File Begin
666.72/543.29	c (0,0) HOME/scop-20182-serial-file.bin
667.17/543.55	c (0,0) Read Serial File End
667.17/543.56	
667.17/543.56	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
667.17/543.56	(Solving Process)
667.17/543.56	
667.17/543.58	c BEGIN-Prog: Mon Sep 23 14:21:35 CEST 2019
667.17/543.58	c PID: 20247
667.17/543.58	c IP: 172.20.3.117
667.17/543.58	c HOST: node117.alineos.net
667.17/543.59	c (0,0) SatSolver.solve Begin
667.17/543.59	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4405232-1569240795.xml-scop-20185.cnf
667.46/543.61	c (0,0) c
667.46/543.61	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)
667.46/543.61	c (0,0) c
667.46/543.61	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
667.46/543.61	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
667.46/543.61	c (0,0) c ========================================[ Problem Statistics ]===========================================
667.46/543.61	c (0,0) c |                                                                                                       |
673.79/549.86	c (6,0) c |  Number of variables:        276530                                                                   |
673.79/549.86	c (6,0) c |  Number of clauses:        23495319                                                                   |
673.79/549.86	c (6,0) c |  Parse time:                   5.64 s                                                                 |
673.79/549.86	c (6,0) c |                                                                                                       |
675.11/551.18	c (7,0) c | Too many clauses... No preprocessing                                                                  |
675.11/551.18	c (7,0) c |  Simplification time:          1.07 s                                                                 |
675.11/551.18	c (7,0) c |                                                                                                       |
675.11/551.18	c (7,0) c |  One Solver is taking   1849.37Mb... Let's take   4 solvers for this run (max 40% of the maxmemory).  |
675.11/551.18	c (7,0) c |  Generating clones                                                                                    |
676.79/552.85	c (9,0) c |  all clones generated. Memory =  5940.16Mb.                                                           |
676.79/552.85	c (9,0) c ========================================================================================================|
676.79/552.85	c (9,0) c
676.79/552.85	c (9,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
676.79/552.85	c (9,0) c
676.79/552.85	c (9,0) c |-----------------------|------------|------------|------------|------------|
676.79/552.85	c (9,0) c | Threads               |          0 |          1 |          2 |          3 |
676.79/552.85	c (9,0) c |-----------------------|------------|------------|------------|------------|
676.79/552.85	c (9,0) c | randomizeFirstDescent |      False |       True |       True |       True |
676.79/552.85	c (9,0) c | adaptStrategeis       |       True |      False |       True |      False |
676.79/552.85	c (9,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |
676.79/552.85	c (9,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |
676.79/552.85	c (9,0) c | chanseokStrategy      |      False |      False |      False |      False |
676.79/552.85	c (9,0) c | coLBDBound            |          5 |          5 |          5 |          5 |
676.79/552.85	c (9,0) c | glureduce             |       True |       True |       True |       True |
676.79/552.85	c (9,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |
676.79/552.85	c (9,0) c | incReduceDB           |        300 |        300 |        300 |        300 |
676.79/552.85	c (9,0) c | luby_restart          |      False |      False |      False |      False |
676.79/552.85	c (9,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |
676.79/552.85	c (9,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
676.79/552.85	c (9,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
676.79/552.85	c (9,0) c | randomize_on_restarts |      False |      False |      False |      False |
676.79/552.85	c (9,0) c | remove_satisfied      |       True |       True |       True |       True |
676.79/552.85	c (9,0) c |-----------------------|------------|------------|------------|------------|
766.84/582.69	c (39,0) c
766.84/582.69	c (39,0) c |------------------------------------------------------------------------------------------------------------------------|
766.84/582.69	c (39,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
766.84/582.69	c (39,0) c |------------------------------------------------------------------------------------------------------------------------|
766.84/582.69	c (39,0) c |  0 |      4 |       1722 |        329 |   142967 |      326 |        2 |       17 |        0 |      266 |  20 |  6.407 |
766.84/582.69	c (39,0) c |  1 |      4 |       2538 |        291 |   157994 |      289 |        7 |       10 |        0 |      263 |  20 |  6.404 |
766.84/582.69	c (39,0) c |  2 |      1 |       1566 |        208 |   203184 |      208 |        6 |        0 |        0 |      276 |  20 |  0.199 |
766.84/582.69	c (39,0) c |  3 |      4 |       2952 |        317 |   175434 |      317 |        5 |       14 |        0 |      259 |  20 |  1.963 |
766.84/582.69	c (39,0) c 
766.84/582.69	c (39,0) c synthesis        1145 conflicts    52355777 propagations       12 conflicts/sec   563140 propagations/sec
766.84/582.69	c (39,0) c real: 39.0794 s, cpu: 92.9712 s, memory: 6741.50 Mb
837.35/600.97	c (57,0) c
837.35/600.97	c (57,0) c real time : 57.3608 s
837.35/600.97	c (57,0) c cpu time  : 162.614 s
837.35/600.97	c (57,0) c
837.35/600.97	c (57,0) c
837.35/600.97	c (57,0) c
837.35/600.97	c (57,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
837.35/600.97	c (57,0) c
837.35/600.97	c (57,0) c |---------------|-----------------|------------|------------|------------|------------|
837.35/600.97	c (57,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |
837.35/600.97	c (57,0) c |---------------|-----------------|------------|------------|------------|------------|
837.35/600.97	c (57,0) c | Conflicts     |            1800 |        481 |        449 |        354 |        516 |
837.35/600.97	c (57,0) c | Decisions     |           12609 |       2679 |       3794 |       2256 |       3880 |
837.35/600.97	c (57,0) c | Propagations  |        96236763 |   23088258 |   26497880 |   21671974 |   24978651 |
837.35/600.97	c (57,0) c | ReduceDBs     |               0 |          0 |          0 |          0 |          0 |
837.35/600.97	c (57,0) c | SimpDBs       |               4 |          1 |          1 |          1 |          1 |
837.35/600.97	c (57,0) c | Restarts      |              20 |          7 |          6 |          3 |          4 |
837.35/600.97	c (57,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |
837.35/600.97	c (57,0) c | PropBinClauses|       294244393 |   72730437 |   74741855 |   70625714 |   76146387 |
837.35/600.97	c (57,0) c | PropPreBlocker|      9707759695 | 2472273521 | 2485848310 | 2271769862 | 2477868002 |
837.35/600.97	c (57,0) c | PropNotBlocker|      1561234838 |  393847682 |  405871732 |  414932210 |  346583214 |
837.35/600.97	c (57,0) c | LitFullScans  |     12511154361 | 3012029059 | 3003685035 | 3491678949 | 3003761318 |
837.35/600.97	c (57,0) c | LitScanFracts |       513354982 |    8738999 |    1282642 |  494688931 |    8644410 |
837.35/600.97	c (57,0) c | DecisionLevel0|              28 |         11 |          9 |          3 |          5 |
837.35/600.97	c (57,0) c | Periods       |            1998 |        500 |        500 |        499 |        499 |
837.35/600.97	c (57,0) c | Margin        |              80 |         20 |         20 |         20 |         20 |
837.35/600.97	c (57,0) c | Avg_Trail     |                 |     203491 |     217629 |     231894 |     216981 |
837.35/600.97	c (57,0) c | Avg_DL        |                 |        106 |        194 |        114 |        184 |
837.35/600.97	c (57,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |
837.35/600.97	c (57,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |
837.35/600.97	c (57,0) c |---------------|-----------------|------------|------------|------------|------------|
837.35/600.97	c (57,0) c | Exported      |              30 |          3 |         10 |          8 |          9 |
837.35/600.97	c (57,0) c | Imported      |              82 |         27 |         18 |         18 |         19 |
837.35/600.97	c (57,0) c | Good          |              34 |         11 |          6 |          8 |          9 |
837.35/600.97	c (57,0) c | Purge         |              48 |         16 |         12 |         10 |         10 |
837.35/600.97	c (57,0) c | Promoted      |               0 |          0 |          0 |          0 |          0 |
837.35/600.97	c (57,0) c | Remove_Imp    |               0 |          0 |          0 |          0 |          0 |
837.35/600.97	c (57,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |
837.35/600.97	c (57,0) c |---------------|-----------------|------------|------------|------------|------------|
837.35/600.97	c (57,0) c | Unaries       |                 |          4 |          3 |          0 |          1 |
837.35/600.97	c (57,0) c | Binaries      |                 |          2 |          6 |          2 |          3 |
837.35/600.97	c (57,0) c | Glues         |                 |          3 |         10 |          8 |          9 |
837.35/600.97	c (57,0) c |---------------|-----------------|------------|------------|------------|------------|
837.35/600.97	c (57,0) c | Orig_Seen     |             0 % |     180106 |     231897 |     255197 |     257783 |
837.35/600.97	c (57,0) c | Diff Orig seen|                 | -    75091 | -    23300 |      X     |       2586 |
837.35/600.97	c (57,0) c | Hamming       |             4 % |      10537 |      11731 |      X     |      12195 |
837.35/600.97	c (57,0) c |---------------|-----------------|------------|------------|------------|------------|
837.35/600.97	c (57,0) c | RunningTime   |                 |   39.5  82%|   39.0  81%|   46.2  99%|   37.2  79%|
837.35/600.97	c (57,0) c | WaitingTime   |                 |    8.6  18%|    9.0  19%|    0.4   1%|   10.0  21%|
837.35/600.97	c (57,0) c | ExchangingTime|                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
837.35/600.97	c (57,0) c | PeriodProcTime|                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
837.35/600.97	c (57,0) c | SolvingTime   |                 |   48.1     |   48.1     |   46.6     |   47.2     |
837.35/600.97	c (57,0) c | PropagationTim|                 |   45.8  95%|   46.4  96%|   30.6  66%|   43.7  93%|
837.35/600.97	c (57,0) c | AnalysisTime  |                 |    2.0   4%|    1.4   3%|   15.8  34%|    3.1   7%|
837.35/600.97	c (57,0) c | ReductionTime |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
837.35/600.97	c (57,0) c | SimplifyTime  |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
837.35/600.97	c (57,0) c | UsedRateTime  |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
837.35/600.97	c (57,0) c | OverlapRateTim|                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
837.35/600.97	c (57,0) c |---------------|-----------------|------------|------------|------------|------------|
837.35/600.97	c (57,0) c
837.35/600.97	c (57,0) c
837.35/600.97	c (57,0) c Threads : 4
837.35/600.97	c (57,0) c Winner : 2
837.35/600.97	c (57,0) c Conflicts_0 : 481
837.35/600.97	c (57,0) c Conflicts_1 : 449
837.35/600.97	c (57,0) c Conflicts_2 : 354
837.35/600.97	c (57,0) c Conflicts_3 : 516
837.35/600.97	c (57,0) c Conflicts_total : 1800
837.35/600.98	c (57,0) c Conflicts_winner : 354
837.35/600.98	c (57,0) c Decisions_0 : 2679
837.35/600.98	c (57,0) c Decisions_1 : 3794
837.35/600.98	c (57,0) c Decisions_2 : 2256
837.35/600.98	c (57,0) c Decisions_3 : 3880
837.35/600.98	c (57,0) c Decisions_total : 12609
837.35/600.98	c (57,0) c Decisions_winner : 2256
837.35/600.98	c (57,0) c Propagations_0 : 23088258
837.35/600.98	c (57,0) c Propagations_1 : 26497880
837.35/600.98	c (57,0) c Propagations_2 : 21671974
837.35/600.98	c (57,0) c Propagations_3 : 24978651
837.35/600.98	c (57,0) c Propagations_total : 96236763
837.35/600.98	c (57,0) c Propagations_winner : 21671974
837.35/600.98	c (57,0) c ReduceDBs_0 : 0
837.35/600.98	c (57,0) c ReduceDBs_1 : 0
837.35/600.98	c (57,0) c ReduceDBs_2 : 0
837.35/600.98	c (57,0) c ReduceDBs_3 : 0
837.35/600.98	c (57,0) c ReduceDBs_total : 0
837.35/600.98	c (57,0) c ReduceDBs_winner : 0
837.35/600.98	c (57,0) c SimpDBs_0 : 1
837.35/600.98	c (57,0) c SimpDBs_1 : 1
837.35/600.98	c (57,0) c SimpDBs_2 : 1
837.35/600.98	c (57,0) c SimpDBs_3 : 1
837.35/600.98	c (57,0) c SimpDBs_total : 4
837.35/600.98	c (57,0) c SimpDBs_winner : 1
837.35/600.98	c (57,0) c Restarts_0 : 7
837.35/600.98	c (57,0) c Restarts_1 : 6
837.35/600.98	c (57,0) c Restarts_2 : 3
837.35/600.98	c (57,0) c Restarts_3 : 4
837.35/600.98	c (57,0) c Restarts_total : 20
837.35/600.98	c (57,0) c Restarts_winner : 3
837.35/600.98	c (57,0) c ForcedImports_0 : 0
837.35/600.98	c (57,0) c ForcedImports_1 : 0
837.35/600.98	c (57,0) c ForcedImports_2 : 0
837.35/600.98	c (57,0) c ForcedImports_3 : 0
837.35/600.98	c (57,0) c ForcedImports_total : 0
837.35/600.98	c (57,0) c ForcedImports_winner : 0
837.35/600.98	c (57,0) c PropsBinClauses_0 : 72730437
837.35/600.98	c (57,0) c PropsBinClauses_1 : 74741855
837.35/600.98	c (57,0) c PropsBinClauses_2 : 70625714
837.35/600.98	c (57,0) c PropsBinClauses_3 : 76146387
837.35/600.98	c (57,0) c PropsBinClauses_total : 294244393
837.35/600.98	c (57,0) c PropsBinClauses_winner : 70625714
837.35/600.98	c (57,0) c PropsPreBlocker_0 : 2472273521
837.35/600.98	c (57,0) c PropsPreBlocker_1 : 2485848310
837.35/600.98	c (57,0) c PropsPreBlocker_2 : 2271769862
837.35/600.98	c (57,0) c PropsPreBlocker_3 : 2477868002
837.35/600.98	c (57,0) c PropsPreBlocker_total : 9707759695
837.35/600.98	c (57,0) c PropsPreBlocker_winner : 2271769862
837.35/600.98	c (57,0) c PropsNotBlocker_0 : 393847682
837.35/600.98	c (57,0) c PropsNotBlocker_1 : 405871732
837.35/600.98	c (57,0) c PropsNotBlocker_2 : 414932210
837.35/600.98	c (57,0) c PropsNotBlocker_3 : 346583214
837.35/600.98	c (57,0) c PropsNotBlocker_total : 1561234838
837.35/600.98	c (57,0) c PropsNotBlocker_winner : 414932210
837.35/600.98	c (57,0) c PropsLitFullScans_0 : 3012029059
837.35/600.98	c (57,0) c PropsLitFullScans_1 : 3003685035
837.35/600.98	c (57,0) c PropsLitFullScans_2 : 3491678949
837.35/600.98	c (57,0) c PropsLitFullScans_3 : 3003761318
837.35/600.98	c (57,0) c PropsLitFullScans_total : 12511154361
837.35/600.98	c (57,0) c PropsLitFullScans_winner : 3491678949
837.35/600.98	c (57,0) c LitScanFractions_0 : 8738999
837.35/600.98	c (57,0) c LitScanFractions_1 : 1282642
837.35/600.98	c (57,0) c LitScanFractions_2 : 494688931
837.35/600.98	c (57,0) c LitScanFractions_3 : 8644410
837.35/600.98	c (57,0) c LitScanFractions_total : 513354982
837.35/600.98	c (57,0) c LitScanFractions_winner : 494688931
837.35/600.98	c (57,0) c DecisionLevel0_0 : 11
837.35/600.98	c (57,0) c DecisionLevel0_1 : 9
837.35/600.98	c (57,0) c DecisionLevel0_2 : 3
837.35/600.98	c (57,0) c DecisionLevel0_3 : 5
837.35/600.98	c (57,0) c DecisionLevel0_total : 28
837.35/600.98	c (57,0) c DecisionLevel0_winner : 3
837.35/600.98	c (57,0) c Periods_0 : 500
837.35/600.98	c (57,0) c Periods_1 : 500
837.35/600.98	c (57,0) c Periods_2 : 499
837.35/600.98	c (57,0) c Periods_3 : 499
837.35/600.98	c (57,0) c Periods_total : 1998
837.35/600.98	c (57,0) c Periods_winner : 499
837.35/600.98	c (57,0) c Margin_0 : 20
837.35/600.98	c (57,0) c Margin_1 : 20
837.35/600.98	c (57,0) c Margin_2 : 20
837.35/600.98	c (57,0) c Margin_3 : 20
837.35/600.98	c (57,0) c Margin_total : 80
837.35/600.98	c (57,0) c Margin_winner : 20
837.35/600.98	c (57,0) c Exported_0 : 3
837.35/600.98	c (57,0) c Exported_1 : 10
837.35/600.98	c (57,0) c Exported_2 : 8
837.35/600.98	c (57,0) c Exported_3 : 9
837.35/600.98	c (57,0) c Exported_total : 30
837.35/600.98	c (57,0) c Exported_winner : 8
837.35/600.98	c (57,0) c Imported_0 : 27
837.35/600.98	c (57,0) c Imported_1 : 18
837.35/600.98	c (57,0) c Imported_2 : 18
837.35/600.98	c (57,0) c Imported_3 : 19
837.35/600.98	c (57,0) c Imported_total : 82
837.35/600.98	c (57,0) c Imported_winner : 18
837.35/600.98	c (57,0) c Good_0 : 11
837.35/600.98	c (57,0) c Good_1 : 6
837.35/600.98	c (57,0) c Good_2 : 8
837.35/600.98	c (57,0) c Good_3 : 9
837.35/600.98	c (57,0) c Good_total : 34
837.35/600.98	c (57,0) c Good_winner : 8
837.35/600.98	c (57,0) c Purge_0 : 16
837.35/600.98	c (57,0) c Purge_1 : 12
837.35/600.98	c (57,0) c Purge_2 : 10
837.35/600.98	c (57,0) c Purge_3 : 10
837.35/600.98	c (57,0) c Purge_total : 48
837.35/600.98	c (57,0) c Purge_winner : 10
837.35/600.98	c (57,0) c Promoted_0 : 0
837.35/600.98	c (57,0) c Promoted_1 : 0
837.35/600.98	c (57,0) c Promoted_2 : 0
837.35/600.98	c (57,0) c Promoted_3 : 0
837.35/600.98	c (57,0) c Promoted_total : 0
837.35/600.98	c (57,0) c Promoted_winner : 0
837.35/600.98	c (57,0) c Remove_Imp_0 : 0
837.35/600.98	c (57,0) c Remove_Imp_1 : 0
837.35/600.98	c (57,0) c Remove_Imp_2 : 0
837.35/600.98	c (57,0) c Remove_Imp_3 : 0
837.35/600.98	c (57,0) c Remove_Imp_total : 0
837.35/600.98	c (57,0) c Remove_Imp_winner : 0
837.35/600.98	c (57,0) c Blocked_Reuse_0 : 0
837.35/600.98	c (57,0) c Blocked_Reuse_1 : 0
837.35/600.98	c (57,0) c Blocked_Reuse_2 : 0
837.35/600.98	c (57,0) c Blocked_Reuse_3 : 0
837.35/600.98	c (57,0) c Blocked_Reuse_total : 0
837.35/600.98	c (57,0) c Blocked_Reuse_winner : 0
837.35/600.98	c (57,0) c Unaries_0 : 4
837.35/600.98	c (57,0) c Unaries_1 : 3
837.35/600.98	c (57,0) c Unaries_2 : 0
837.35/600.98	c (57,0) c Unaries_3 : 1
837.35/600.98	c (57,0) c Unaries_total : 8
837.35/600.98	c (57,0) c Unaries_winner : 0
837.35/600.98	c (57,0) c Binaries_0 : 2
837.35/600.98	c (57,0) c Binaries_1 : 6
837.35/600.98	c (57,0) c Binaries_2 : 2
837.35/600.98	c (57,0) c Binaries_3 : 3
837.35/600.98	c (57,0) c Binaries_total : 13
837.35/600.98	c (57,0) c Binaries_winner : 2
837.35/600.98	c (57,0) c Glues_0 : 3
837.35/600.98	c (57,0) c Glues_1 : 10
837.35/600.98	c (57,0) c Glues_2 : 8
837.35/600.98	c (57,0) c Glues_3 : 9
837.35/600.98	c (57,0) c Glues_total : 30
837.35/600.98	c (57,0) c Glues_winner : 8
837.35/600.98	c (57,0) c RunningTime_0 : 39.508741
837.35/600.98	c (57,0) c RunningTime_1 : 39.045758
837.35/600.98	c (57,0) c RunningTime_2 : 46.211740
837.35/600.98	c (57,0) c RunningTime_3 : 37.157686
837.35/600.98	c (57,0) c RunningTime_total : 161.923925
837.35/600.98	c (57,0) c RunningTime_winner : 46.211740
837.35/600.98	c (57,0) c WaitingTime_0 : 8.589839
837.35/600.98	c (57,0) c WaitingTime_1 : 9.007782
837.35/600.98	c (57,0) c WaitingTime_2 : 0.425853
837.35/600.98	c (57,0) c WaitingTime_3 : 10.012291
837.35/600.98	c (57,0) c WaitingTime_total : 28.035766
837.35/600.98	c (57,0) c WaitingTime_winner : 0.425853
837.35/600.98	c (57,0) c ExchangingTime_0 : 0.001804
837.35/600.98	c (57,0) c ExchangingTime_1 : 0.001673
837.35/600.98	c (57,0) c ExchangingTime_2 : 0.002057
837.35/600.98	c (57,0) c ExchangingTime_3 : 0.001826
837.35/600.98	c (57,0) c ExchangingTime_total : 0.007360
837.35/600.98	c (57,0) c ExchangingTime_winner : 0.002057
837.35/600.98	c (57,0) c PeriodProcTime_0 : 0.004479
837.35/600.98	c (57,0) c PeriodProcTime_1 : 0.004560
837.35/600.98	c (57,0) c PeriodProcTime_2 : 0.005447
837.35/600.98	c (57,0) c PeriodProcTime_3 : 0.004594
837.35/600.98	c (57,0) c PeriodProcTime_total : 0.019080
837.35/600.98	c (57,0) c PeriodProcTime_winner : 0.005447
837.35/600.98	c (57,0) c SolvingTime_0 : 48.104863
837.35/600.98	c (57,0) c SolvingTime_1 : 48.059774
837.35/600.98	c (57,0) c SolvingTime_2 : 46.645098
837.35/600.98	c (57,0) c SolvingTime_3 : 47.176397
837.35/600.98	c (57,0) c SolvingTime_total : 189.986132
837.35/600.98	c (57,0) c SolvingTime_winner : 46.645098
837.35/600.98	c (57,0) c PropagationTime_0 : 45.825249
837.35/600.98	c (57,0) c PropagationTime_1 : 46.351185
837.35/600.98	c (57,0) c PropagationTime_2 : 30.584205
837.35/600.98	c (57,0) c PropagationTime_3 : 43.723071
837.35/600.98	c (57,0) c PropagationTime_total : 166.483710
837.35/600.98	c (57,0) c PropagationTime_winner : 30.584205
837.35/600.98	c (57,0) c AnalysisTime_0 : 1.982340
837.35/600.98	c (57,0) c AnalysisTime_1 : 1.419957
837.35/600.98	c (57,0) c AnalysisTime_2 : 15.809940
837.35/600.98	c (57,0) c AnalysisTime_3 : 3.148663
837.35/600.98	c (57,0) c AnalysisTime_total : 22.360901
837.35/600.98	c (57,0) c AnalysisTime_winner : 15.809940
837.35/600.98	c (57,0) c ReductionTime_0 : 0.000000
837.35/600.98	c (57,0) c ReductionTime_1 : 0.000000
837.35/600.98	c (57,0) c ReductionTime_2 : 0.000000
837.35/600.98	c (57,0) c ReductionTime_3 : 0.000000
837.35/600.98	c (57,0) c ReductionTime_total : 0.000000
837.35/600.98	c (57,0) c ReductionTime_winner : 0.000000
837.35/600.98	c (57,0) c SimplifyTime_0 : 0.000001
837.35/600.98	c (57,0) c SimplifyTime_1 : 0.000000
837.35/600.98	c (57,0) c SimplifyTime_2 : 0.000001
837.35/600.98	c (57,0) c SimplifyTime_3 : 0.000001
837.35/600.98	c (57,0) c SimplifyTime_total : 0.000003
837.35/600.98	c (57,0) c SimplifyTime_winner : 0.000001
837.35/600.98	c (57,0) c UsedRateTime_0 : 0.000000
837.35/600.98	c (57,0) c UsedRateTime_1 : 0.000000
837.35/600.98	c (57,0) c UsedRateTime_2 : 0.000000
837.35/600.98	c (57,0) c UsedRateTime_3 : 0.000000
837.35/600.98	c (57,0) c UsedRateTime_total : 0.000000
837.35/600.98	c (57,0) c UsedRateTime_winner : 0.000000
837.35/600.98	c (57,0) c OverlapRateTime_0 : 0.000000
837.35/600.98	c (57,0) c OverlapRateTime_1 : 0.000000
837.35/600.98	c (57,0) c OverlapRateTime_2 : 0.000000
837.35/600.98	c (57,0) c OverlapRateTime_3 : 0.000000
837.35/600.98	c (57,0) c OverlapRateTime_total : 0.000000
837.35/600.98	c (57,0) c OverlapRateTime_winner : 0.000000
837.35/600.98	c (57,0) c
837.35/600.98	c (57,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
837.35/600.98	c (57,0) c
837.35/600.98	c (57,0) c |-----------------------|------------|------------|------------|------------|
837.35/600.98	c (57,0) c | Threads               |          0 |          1 |          2 |          3 |
837.35/600.98	c (57,0) c |-----------------------|------------|------------|------------|------------|
837.35/600.98	c (57,0) c | randomizeFirstDescent |      False |       True |       True |       True |
837.35/600.98	c (57,0) c | adaptStrategeis       |       True |      False |       True |      False |
837.35/600.98	c (57,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |
837.35/600.98	c (57,0) c | Initial random_seed   | 1321791133 |  116918585 |  324370163 | 1537758705 |
837.35/600.98	c (57,0) c | chanseokStrategy      |      False |      False |      False |      False |
837.35/600.98	c (57,0) c | coLBDBound            |          5 |          5 |          5 |          5 |
837.35/600.98	c (57,0) c | glureduce             |       True |       True |       True |       True |
837.35/600.98	c (57,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |
837.35/600.98	c (57,0) c | incReduceDB           |        300 |        300 |        300 |        300 |
837.35/600.98	c (57,0) c | luby_restart          |      False |      False |      False |      False |
837.35/600.98	c (57,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |
837.35/600.98	c (57,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
837.35/600.98	c (57,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
837.35/600.98	c (57,0) c | randomize_on_restarts |      False |      False |      False |      False |
837.35/600.98	c (57,0) c | remove_satisfied      |       True |       True |       True |       True |
837.35/600.98	c (57,0) c |-----------------------|------------|------------|------------|------------|
837.35/600.98	c (57,0) 
837.35/600.98	c (57,0) s SATISFIABLE
668.08/601.31	c (58,0) SatSolver.solve End
668.08/601.31	c (58,0) Heap : 175 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
668.08/601.31	c (58,0) Show results Begin
838.66/601.50	c (58,0) x[0] = 796
838.66/601.50	c (58,0) x[1] = 2
838.66/601.50	c (58,0) x[2] = 1
838.66/601.50	c (58,0) x[3] = 0
838.66/601.50	c (58,0) x[4] = 0
838.66/601.50	c (58,0) x[5] = 0
838.66/601.50	c (58,0) x[6] = 0
838.66/601.50	c (58,0) x[7] = 0
838.66/601.50	c (58,0) x[8] = 0
838.66/601.50	c (58,0) x[9] = 0
838.66/601.50	c (58,0) x[10] = 0
838.66/601.50	c (58,0) x[11] = 0
838.66/601.50	c (58,0) x[12] = 0
838.66/601.50	c (58,0) x[13] = 0
838.66/601.50	c (58,0) x[14] = 0
838.66/601.50	c (58,0) x[15] = 0
838.66/601.50	c (58,0) x[16] = 0
838.66/601.50	c (58,0) x[17] = 0
838.66/601.50	c (58,0) x[18] = 0
838.66/601.50	c (58,0) x[19] = 0
838.66/601.50	c (58,0) x[20] = 0
838.66/601.50	c (58,0) x[21] = 0
838.66/601.50	c (58,0) x[22] = 0
838.66/601.50	c (58,0) x[23] = 0
838.66/601.50	c (58,0) x[24] = 0
838.66/601.50	c (58,0) x[25] = 0
838.66/601.50	c (58,0) x[26] = 0
838.66/601.50	c (58,0) x[27] = 0
838.66/601.50	c (58,0) x[28] = 0
838.66/601.50	c (58,0) x[29] = 0
838.66/601.50	c (58,0) x[30] = 0
838.66/601.50	c (58,0) x[31] = 0
838.66/601.50	c (58,0) x[32] = 0
838.66/601.50	c (58,0) x[33] = 0
838.66/601.50	c (58,0) x[34] = 0
838.66/601.50	c (58,0) x[35] = 0
838.66/601.50	c (58,0) x[36] = 0
838.66/601.50	c (58,0) x[37] = 0
838.66/601.50	c (58,0) x[38] = 0
838.66/601.50	c (58,0) x[39] = 0
838.66/601.50	c (58,0) x[40] = 0
838.66/601.50	c (58,0) x[41] = 0
838.66/601.50	c (58,0) x[42] = 0
838.66/601.50	c (58,0) x[43] = 0
838.66/601.50	c (58,0) x[44] = 0
838.66/601.50	c (58,0) x[45] = 0
838.66/601.50	c (58,0) x[46] = 0
838.66/601.50	c (58,0) x[47] = 0
838.66/601.50	c (58,0) x[48] = 0
838.66/601.50	c (58,0) x[49] = 0
838.66/601.50	c (58,0) x[50] = 0
838.66/601.50	c (58,0) x[51] = 0
838.66/601.50	c (58,0) x[52] = 0
838.66/601.50	c (58,0) x[53] = 0
838.66/601.50	c (58,0) x[54] = 0
838.66/601.50	c (58,0) x[55] = 0
838.66/601.50	c (58,0) x[56] = 0
838.66/601.50	c (58,0) x[57] = 0
838.66/601.50	c (58,0) x[58] = 0
838.66/601.50	c (58,0) x[59] = 0
838.66/601.50	c (58,0) x[60] = 0
838.66/601.50	c (58,0) x[61] = 0
838.66/601.50	c (58,0) x[62] = 0
838.66/601.50	c (58,0) x[63] = 0
838.66/601.50	c (58,0) x[64] = 0
838.66/601.50	c (58,0) x[65] = 0
838.66/601.50	c (58,0) x[66] = 0
838.66/601.50	c (58,0) x[67] = 0
838.66/601.50	c (58,0) x[68] = 0
838.66/601.50	c (58,0) x[69] = 0
838.66/601.50	c (58,0) x[70] = 0
838.66/601.50	c (58,0) x[71] = 0
838.66/601.50	c (58,0) x[72] = 0
838.66/601.50	c (58,0) x[73] = 0
838.66/601.50	c (58,0) x[74] = 0
838.66/601.50	c (58,0) x[75] = 0
838.66/601.50	c (58,0) x[76] = 0
838.66/601.50	c (58,0) x[77] = 0
838.66/601.50	c (58,0) x[78] = 0
838.66/601.50	c (58,0) x[79] = 0
838.66/601.50	c (58,0) x[80] = 0
838.66/601.50	c (58,0) x[81] = 0
838.66/601.50	c (58,0) x[82] = 0
838.66/601.50	c (58,0) x[83] = 0
838.66/601.50	c (58,0) x[84] = 0
838.66/601.50	c (58,0) x[85] = 0
838.66/601.50	c (58,0) x[86] = 0
838.66/601.50	c (58,0) x[87] = 0
838.66/601.50	c (58,0) x[88] = 0
838.66/601.50	c (58,0) x[89] = 0
838.66/601.50	c (58,0) x[90] = 0
838.66/601.50	c (58,0) x[91] = 0
838.66/601.50	c (58,0) x[92] = 0
838.66/601.50	c (58,0) x[93] = 0
838.66/601.50	c (58,0) x[94] = 0
838.66/601.50	c (58,0) x[95] = 0
838.66/601.50	c (58,0) x[96] = 0
838.66/601.50	c (58,0) x[97] = 0
838.66/601.50	c (58,0) x[98] = 0
838.66/601.50	c (58,0) x[99] = 0
838.66/601.50	c (58,0) x[100] = 0
838.66/601.50	c (58,0) x[101] = 0
838.66/601.50	c (58,0) x[102] = 0
838.66/601.50	c (58,0) x[103] = 0
838.66/601.50	c (58,0) x[104] = 0
838.66/601.50	c (58,0) x[105] = 0
838.66/601.50	c (58,0) x[106] = 0
838.66/601.50	c (58,0) x[107] = 0
838.66/601.50	c (58,0) x[108] = 0
838.66/601.50	c (58,0) x[109] = 0
838.66/601.50	c (58,0) x[110] = 0
838.66/601.50	c (58,0) x[111] = 0
838.66/601.50	c (58,0) x[112] = 0
838.66/601.50	c (58,0) x[113] = 0
838.66/601.50	c (58,0) x[114] = 0
838.66/601.50	c (58,0) x[115] = 0
838.66/601.50	c (58,0) x[116] = 0
838.66/601.51	c (58,0) x[117] = 0
838.66/601.51	c (58,0) x[118] = 0
838.66/601.51	c (58,0) x[119] = 0
838.66/601.51	c (58,0) x[120] = 0
838.66/601.51	c (58,0) x[121] = 0
838.66/601.51	c (58,0) x[122] = 0
838.66/601.51	c (58,0) x[123] = 0
838.66/601.51	c (58,0) x[124] = 0
838.66/601.51	c (58,0) x[125] = 0
838.66/601.51	c (58,0) x[126] = 0
838.66/601.51	c (58,0) x[127] = 0
838.66/601.51	c (58,0) x[128] = 0
838.66/601.51	c (58,0) x[129] = 0
838.66/601.51	c (58,0) x[130] = 0
838.66/601.51	c (58,0) x[131] = 0
838.66/601.51	c (58,0) x[132] = 0
838.66/601.51	c (58,0) x[133] = 0
838.66/601.51	c (58,0) x[134] = 0
838.66/601.51	c (58,0) x[135] = 0
838.66/601.51	c (58,0) x[136] = 0
838.66/601.51	c (58,0) x[137] = 0
838.66/601.51	c (58,0) x[138] = 0
838.66/601.51	c (58,0) x[139] = 0
838.66/601.51	c (58,0) x[140] = 0
838.66/601.51	c (58,0) x[141] = 0
838.66/601.51	c (58,0) x[142] = 0
838.66/601.51	c (58,0) x[143] = 0
838.66/601.51	c (58,0) x[144] = 0
838.66/601.51	c (58,0) x[145] = 0
838.66/601.51	c (58,0) x[146] = 0
838.66/601.51	c (58,0) x[147] = 0
838.66/601.51	c (58,0) x[148] = 0
838.66/601.51	c (58,0) x[149] = 0
838.66/601.51	c (58,0) x[150] = 0
838.66/601.51	c (58,0) x[151] = 0
838.66/601.51	c (58,0) x[152] = 0
838.66/601.51	c (58,0) x[153] = 0
838.66/601.51	c (58,0) x[154] = 0
838.66/601.51	c (58,0) x[155] = 0
838.66/601.51	c (58,0) x[156] = 0
838.66/601.51	c (58,0) x[157] = 0
838.66/601.51	c (58,0) x[158] = 0
838.66/601.51	c (58,0) x[159] = 0
838.66/601.51	c (58,0) x[160] = 0
838.66/601.51	c (58,0) x[161] = 0
838.66/601.51	c (58,0) x[162] = 0
838.66/601.51	c (58,0) x[163] = 0
838.66/601.51	c (58,0) x[164] = 0
838.66/601.51	c (58,0) x[165] = 0
838.66/601.51	c (58,0) x[166] = 0
838.66/601.51	c (58,0) x[167] = 0
838.66/601.51	c (58,0) x[168] = 0
838.66/601.51	c (58,0) x[169] = 0
838.66/601.51	c (58,0) x[170] = 0
838.66/601.51	c (58,0) x[171] = 0
838.66/601.51	c (58,0) x[172] = 0
838.66/601.51	c (58,0) x[173] = 0
838.66/601.51	c (58,0) x[174] = 0
838.66/601.51	c (58,0) x[175] = 0
838.66/601.51	c (58,0) x[176] = 0
838.66/601.51	c (58,0) x[177] = 0
838.66/601.51	c (58,0) x[178] = 0
838.66/601.51	c (58,0) x[179] = 0
838.66/601.51	c (58,0) x[180] = 0
838.66/601.51	c (58,0) x[181] = 0
838.66/601.51	c (58,0) x[182] = 0
838.66/601.51	c (58,0) x[183] = 0
838.66/601.51	c (58,0) x[184] = 0
838.66/601.51	c (58,0) x[185] = 0
838.66/601.51	c (58,0) x[186] = 0
838.66/601.51	c (58,0) x[187] = 0
838.66/601.51	c (58,0) x[188] = 0
838.66/601.51	c (58,0) x[189] = 0
838.66/601.51	c (58,0) x[190] = 0
838.66/601.51	c (58,0) x[191] = 0
838.66/601.51	c (58,0) x[192] = 0
838.66/601.51	c (58,0) x[193] = 0
838.66/601.51	c (58,0) x[194] = 0
838.66/601.51	c (58,0) x[195] = 0
838.66/601.51	c (58,0) x[196] = 0
838.66/601.51	c (58,0) x[197] = 0
838.66/601.51	c (58,0) x[198] = 0
838.66/601.51	c (58,0) x[199] = 0
838.66/601.51	c (58,0) x[200] = 0
838.66/601.51	c (58,0) x[201] = 0
838.66/601.51	c (58,0) x[202] = 0
838.66/601.51	c (58,0) x[203] = 0
838.66/601.51	c (58,0) x[204] = 0
838.66/601.51	c (58,0) x[205] = 0
838.66/601.51	c (58,0) x[206] = 0
838.66/601.51	c (58,0) x[207] = 0
838.66/601.51	c (58,0) x[208] = 0
838.66/601.51	c (58,0) x[209] = 0
838.66/601.51	c (58,0) x[210] = 0
838.66/601.51	c (58,0) x[211] = 0
838.66/601.51	c (58,0) x[212] = 0
838.66/601.51	c (58,0) x[213] = 0
838.66/601.51	c (58,0) x[214] = 0
838.66/601.51	c (58,0) x[215] = 0
838.66/601.51	c (58,0) x[216] = 0
838.66/601.52	c (58,0) x[217] = 0
838.66/601.52	c (58,0) x[218] = 0
838.66/601.52	c (58,0) x[219] = 0
838.66/601.52	c (58,0) x[220] = 0
838.66/601.52	c (58,0) x[221] = 0
838.66/601.52	c (58,0) x[222] = 0
838.66/601.52	c (58,0) x[223] = 0
838.66/601.52	c (58,0) x[224] = 0
838.66/601.52	c (58,0) x[225] = 0
838.66/601.52	c (58,0) x[226] = 0
838.66/601.52	c (58,0) x[227] = 0
838.66/601.52	c (58,0) x[228] = 0
838.66/601.52	c (58,0) x[229] = 0
838.66/601.52	c (58,0) x[230] = 0
838.66/601.52	c (58,0) x[231] = 0
838.66/601.52	c (58,0) x[232] = 0
838.66/601.52	c (58,0) x[233] = 0
838.66/601.52	c (58,0) x[234] = 0
838.66/601.52	c (58,0) x[235] = 0
838.66/601.52	c (58,0) x[236] = 0
838.66/601.52	c (58,0) x[237] = 0
838.66/601.52	c (58,0) x[238] = 0
838.66/601.52	c (58,0) x[239] = 0
838.66/601.52	c (58,0) x[240] = 0
838.66/601.52	c (58,0) x[241] = 0
838.66/601.52	c (58,0) x[242] = 0
838.66/601.52	c (58,0) x[243] = 0
838.66/601.52	c (58,0) x[244] = 0
838.66/601.52	c (58,0) x[245] = 0
838.66/601.52	c (58,0) x[246] = 0
838.66/601.52	c (58,0) x[247] = 0
838.66/601.52	c (58,0) x[248] = 0
838.66/601.52	c (58,0) x[249] = 0
838.66/601.52	c (58,0) x[250] = 0
838.66/601.52	c (58,0) x[251] = 0
838.66/601.52	c (58,0) x[252] = 0
838.66/601.52	c (58,0) x[253] = 0
838.66/601.52	c (58,0) x[254] = 0
838.66/601.52	c (58,0) x[255] = 0
838.66/601.52	c (58,0) x[256] = 0
838.66/601.52	c (58,0) x[257] = 0
838.66/601.52	c (58,0) x[258] = 0
838.66/601.52	c (58,0) x[259] = 0
838.66/601.52	c (58,0) x[260] = 0
838.66/601.52	c (58,0) x[261] = 0
838.66/601.52	c (58,0) x[262] = 0
838.66/601.52	c (58,0) x[263] = 0
838.66/601.52	c (58,0) x[264] = 0
838.66/601.52	c (58,0) x[265] = 0
838.66/601.52	c (58,0) x[266] = 0
838.66/601.52	c (58,0) x[267] = 0
838.66/601.52	c (58,0) x[268] = 0
838.66/601.52	c (58,0) x[269] = 0
838.66/601.52	c (58,0) x[270] = 0
838.66/601.52	c (58,0) x[271] = 0
838.66/601.52	c (58,0) x[272] = 0
838.66/601.52	c (58,0) x[273] = 0
838.66/601.52	c (58,0) x[274] = 0
838.66/601.52	c (58,0) x[275] = 0
838.66/601.52	c (58,0) x[276] = 0
838.66/601.52	c (58,0) x[277] = 0
838.66/601.52	c (58,0) x[278] = 0
838.66/601.52	c (58,0) x[279] = 0
838.66/601.52	c (58,0) x[280] = 0
838.66/601.52	c (58,0) x[281] = 0
838.66/601.52	c (58,0) x[282] = 0
838.66/601.52	c (58,0) x[283] = 0
838.66/601.52	c (58,0) x[284] = 0
838.66/601.52	c (58,0) x[285] = 0
838.66/601.52	c (58,0) x[286] = 0
838.66/601.52	c (58,0) x[287] = 0
838.66/601.52	c (58,0) x[288] = 0
838.66/601.52	c (58,0) x[289] = 0
838.66/601.52	c (58,0) x[290] = 0
838.66/601.52	c (58,0) x[291] = 0
838.66/601.52	c (58,0) x[292] = 0
838.66/601.52	c (58,0) x[293] = 0
838.66/601.52	c (58,0) x[294] = 0
838.66/601.52	c (58,0) x[295] = 0
838.66/601.52	c (58,0) x[296] = 0
838.66/601.52	c (58,0) x[297] = 0
838.66/601.52	c (58,0) x[298] = 0
838.66/601.52	c (58,0) x[299] = 0
838.66/601.52	c (58,0) x[300] = 0
838.66/601.52	c (58,0) x[301] = 0
838.66/601.52	c (58,0) x[302] = 0
838.66/601.52	c (58,0) x[303] = 0
838.66/601.52	c (58,0) x[304] = 0
838.66/601.52	c (58,0) x[305] = 0
838.66/601.52	c (58,0) x[306] = 0
838.66/601.52	c (58,0) x[307] = 0
838.66/601.52	c (58,0) x[308] = 0
838.66/601.52	c (58,0) x[309] = 0
838.66/601.52	c (58,0) x[310] = 0
838.66/601.52	c (58,0) x[311] = 0
838.66/601.52	c (58,0) x[312] = 0
838.66/601.52	c (58,0) x[313] = 0
838.66/601.52	c (58,0) x[314] = 0
838.66/601.52	c (58,0) x[315] = 0
838.66/601.52	c (58,0) x[316] = 0
838.66/601.52	c (58,0) x[317] = 0
838.66/601.52	c (58,0) x[318] = 0
838.66/601.52	c (58,0) x[319] = 0
838.66/601.52	c (58,0) x[320] = 0
838.66/601.52	c (58,0) x[321] = 0
838.66/601.52	c (58,0) x[322] = 0
838.66/601.52	c (58,0) x[323] = 0
838.66/601.52	c (58,0) x[324] = 0
838.66/601.52	c (58,0) x[325] = 0
838.66/601.52	c (58,0) x[326] = 0
838.66/601.52	c (58,0) x[327] = 0
838.66/601.52	c (58,0) x[328] = 0
838.66/601.52	c (58,0) x[329] = 0
838.66/601.52	c (58,0) x[330] = 0
838.66/601.52	c (58,0) x[331] = 0
838.66/601.52	c (58,0) x[332] = 0
838.66/601.52	c (58,0) x[333] = 0
838.66/601.52	c (58,0) x[334] = 0
838.66/601.52	c (58,0) x[335] = 0
838.66/601.52	c (58,0) x[336] = 0
838.66/601.52	c (58,0) x[337] = 0
838.66/601.52	c (58,0) x[338] = 0
838.66/601.52	c (58,0) x[339] = 0
838.66/601.52	c (58,0) x[340] = 0
838.66/601.52	c (58,0) x[341] = 0
838.66/601.52	c (58,0) x[342] = 0
838.66/601.52	c (58,0) x[343] = 0
838.66/601.52	c (58,0) x[344] = 0
838.66/601.52	c (58,0) x[345] = 0
838.66/601.52	c (58,0) x[346] = 0
838.66/601.52	c (58,0) x[347] = 0
838.66/601.52	c (58,0) x[348] = 0
838.66/601.52	c (58,0) x[349] = 0
838.66/601.52	c (58,0) x[350] = 0
838.66/601.52	c (58,0) x[351] = 0
838.66/601.52	c (58,0) x[352] = 0
838.66/601.52	c (58,0) x[353] = 0
838.66/601.52	c (58,0) x[354] = 0
838.66/601.52	c (58,0) x[355] = 0
838.66/601.52	c (58,0) x[356] = 0
838.66/601.52	c (58,0) x[357] = 0
838.66/601.52	c (58,0) x[358] = 0
838.66/601.52	c (58,0) x[359] = 0
838.66/601.52	c (58,0) x[360] = 0
838.66/601.52	c (58,0) x[361] = 0
838.66/601.52	c (58,0) x[362] = 0
838.66/601.52	c (58,0) x[363] = 0
838.66/601.52	c (58,0) x[364] = 0
838.66/601.52	c (58,0) x[365] = 0
838.66/601.52	c (58,0) x[366] = 0
838.66/601.52	c (58,0) x[367] = 0
838.66/601.52	c (58,0) x[368] = 0
838.66/601.52	c (58,0) x[369] = 0
838.66/601.52	c (58,0) x[370] = 0
838.66/601.52	c (58,0) x[371] = 0
838.66/601.52	c (58,0) x[372] = 0
838.66/601.52	c (58,0) x[373] = 0
838.66/601.52	c (58,0) x[374] = 0
838.66/601.52	c (58,0) x[375] = 0
838.66/601.52	c (58,0) x[376] = 0
838.66/601.52	c (58,0) x[377] = 0
838.66/601.52	c (58,0) x[378] = 0
838.66/601.52	c (58,0) x[379] = 0
838.66/601.52	c (58,0) x[380] = 0
838.66/601.52	c (58,0) x[381] = 0
838.66/601.52	c (58,0) x[382] = 0
838.66/601.52	c (58,0) x[383] = 0
838.66/601.52	c (58,0) x[384] = 0
838.66/601.52	c (58,0) x[385] = 0
838.66/601.52	c (58,0) x[386] = 0
838.66/601.52	c (58,0) x[387] = 0
838.66/601.52	c (58,0) x[388] = 0
838.66/601.52	c (58,0) x[389] = 0
838.66/601.52	c (58,0) x[390] = 0
838.66/601.52	c (58,0) x[391] = 0
838.66/601.52	c (58,0) x[392] = 0
838.66/601.52	c (58,0) x[393] = 0
838.66/601.52	c (58,0) x[394] = 0
838.66/601.52	c (58,0) x[395] = 0
838.66/601.52	c (58,0) x[396] = 0
838.66/601.52	c (58,0) x[397] = 0
838.66/601.52	c (58,0) x[398] = 0
838.66/601.52	c (58,0) x[399] = 0
838.66/601.52	c (58,0) x[400] = 0
838.66/601.52	c (58,0) x[401] = 0
838.66/601.52	c (58,0) x[402] = 0
838.66/601.52	c (58,0) x[403] = 0
838.66/601.52	c (58,0) x[404] = 0
838.66/601.52	c (58,0) x[405] = 0
838.66/601.52	c (58,0) x[406] = 0
838.66/601.52	c (58,0) x[407] = 0
838.66/601.52	c (58,0) x[408] = 0
838.66/601.52	c (58,0) x[409] = 0
838.66/601.52	c (58,0) x[410] = 0
838.66/601.52	c (58,0) x[411] = 0
838.66/601.52	c (58,0) x[412] = 0
838.66/601.52	c (58,0) x[413] = 0
838.66/601.52	c (58,0) x[414] = 0
838.66/601.52	c (58,0) x[415] = 0
838.66/601.52	c (58,0) x[416] = 0
838.66/601.52	c (58,0) x[417] = 0
838.66/601.52	c (58,0) x[418] = 0
838.66/601.52	c (58,0) x[419] = 0
838.66/601.52	c (58,0) x[420] = 0
838.66/601.52	c (58,0) x[421] = 0
838.66/601.52	c (58,0) x[422] = 0
838.66/601.52	c (58,0) x[423] = 0
838.66/601.52	c (58,0) x[424] = 0
838.66/601.52	c (58,0) x[425] = 0
838.66/601.52	c (58,0) x[426] = 0
838.66/601.52	c (58,0) x[427] = 0
838.66/601.52	c (58,0) x[428] = 0
838.66/601.52	c (58,0) x[429] = 0
838.66/601.52	c (58,0) x[430] = 0
838.66/601.52	c (58,0) x[431] = 0
838.66/601.52	c (58,0) x[432] = 0
838.66/601.52	c (58,0) x[433] = 0
838.66/601.52	c (58,0) x[434] = 0
838.66/601.52	c (58,0) x[435] = 0
838.66/601.52	c (58,0) x[436] = 0
838.66/601.52	c (58,0) x[437] = 0
838.66/601.52	c (58,0) x[438] = 0
838.66/601.52	c (58,0) x[439] = 0
838.66/601.52	c (58,0) x[440] = 0
838.66/601.52	c (58,0) x[441] = 0
838.66/601.52	c (58,0) x[442] = 0
838.66/601.52	c (58,0) x[443] = 0
838.66/601.52	c (58,0) x[444] = 0
838.66/601.52	c (58,0) x[445] = 0
838.66/601.52	c (58,0) x[446] = 0
838.66/601.52	c (58,0) x[447] = 0
838.66/601.52	c (58,0) x[448] = 0
838.66/601.52	c (58,0) x[449] = 0
838.66/601.52	c (58,0) x[450] = 0
838.66/601.52	c (58,0) x[451] = 0
838.66/601.52	c (58,0) x[452] = 0
838.66/601.52	c (58,0) x[453] = 0
838.66/601.52	c (58,0) x[454] = 0
838.66/601.52	c (58,0) x[455] = 0
838.66/601.52	c (58,0) x[456] = 0
838.66/601.52	c (58,0) x[457] = 0
838.66/601.52	c (58,0) x[458] = 0
838.66/601.52	c (58,0) x[459] = 0
838.66/601.52	c (58,0) x[460] = 0
838.66/601.52	c (58,0) x[461] = 0
838.66/601.52	c (58,0) x[462] = 0
838.66/601.52	c (58,0) x[463] = 0
838.66/601.52	c (58,0) x[464] = 0
838.66/601.52	c (58,0) x[465] = 0
838.66/601.52	c (58,0) x[466] = 0
838.66/601.52	c (58,0) x[467] = 0
838.66/601.52	c (58,0) x[468] = 0
838.66/601.52	c (58,0) x[469] = 0
838.66/601.52	c (58,0) x[470] = 0
838.66/601.52	c (58,0) x[471] = 0
838.66/601.52	c (58,0) x[472] = 0
838.66/601.52	c (58,0) x[473] = 0
838.66/601.52	c (58,0) x[474] = 0
838.66/601.52	c (58,0) x[475] = 0
838.66/601.52	c (58,0) x[476] = 0
838.66/601.52	c (58,0) x[477] = 0
838.66/601.52	c (58,0) x[478] = 0
838.66/601.52	c (58,0) x[479] = 0
838.66/601.52	c (58,0) x[480] = 0
838.66/601.52	c (58,0) x[481] = 0
838.66/601.52	c (58,0) x[482] = 0
838.66/601.52	c (58,0) x[483] = 0
838.66/601.52	c (58,0) x[484] = 0
838.66/601.52	c (58,0) x[485] = 0
838.66/601.52	c (58,0) x[486] = 0
838.66/601.52	c (58,0) x[487] = 0
838.66/601.52	c (58,0) x[488] = 0
838.66/601.52	c (58,0) x[489] = 0
838.66/601.52	c (58,0) x[490] = 0
838.66/601.52	c (58,0) x[491] = 0
838.66/601.52	c (58,0) x[492] = 0
838.66/601.52	c (58,0) x[493] = 0
838.66/601.52	c (58,0) x[494] = 0
838.66/601.52	c (58,0) x[495] = 0
838.66/601.52	c (58,0) x[496] = 0
838.66/601.52	c (58,0) x[497] = 0
838.66/601.52	c (58,0) x[498] = 0
838.66/601.52	c (58,0) x[499] = 0
838.66/601.52	c (58,0) x[500] = 0
838.66/601.52	c (58,0) x[501] = 0
838.66/601.52	c (58,0) x[502] = 0
838.66/601.52	c (58,0) x[503] = 0
838.66/601.52	c (58,0) x[504] = 0
838.66/601.52	c (58,0) x[505] = 0
838.66/601.52	c (58,0) x[506] = 0
838.66/601.52	c (58,0) x[507] = 0
838.66/601.52	c (58,0) x[508] = 0
838.66/601.52	c (58,0) x[509] = 0
838.66/601.52	c (58,0) x[510] = 0
838.66/601.52	c (58,0) x[511] = 0
838.66/601.52	c (58,0) x[512] = 0
838.66/601.52	c (58,0) x[513] = 0
838.66/601.52	c (58,0) x[514] = 0
838.66/601.52	c (58,0) x[515] = 0
838.66/601.52	c (58,0) x[516] = 0
838.66/601.52	c (58,0) x[517] = 0
838.66/601.52	c (58,0) x[518] = 0
838.66/601.52	c (58,0) x[519] = 0
838.66/601.52	c (58,0) x[520] = 0
838.66/601.52	c (58,0) x[521] = 0
838.66/601.52	c (58,0) x[522] = 0
838.66/601.52	c (58,0) x[523] = 0
838.66/601.52	c (58,0) x[524] = 0
838.66/601.52	c (58,0) x[525] = 0
838.66/601.52	c (58,0) x[526] = 0
838.66/601.52	c (58,0) x[527] = 0
838.66/601.52	c (58,0) x[528] = 0
838.66/601.52	c (58,0) x[529] = 0
838.66/601.52	c (58,0) x[530] = 0
838.66/601.52	c (58,0) x[531] = 0
838.66/601.52	c (58,0) x[532] = 0
838.66/601.52	c (58,0) x[533] = 0
838.66/601.52	c (58,0) x[534] = 0
838.66/601.52	c (58,0) x[535] = 0
838.66/601.52	c (58,0) x[536] = 0
838.66/601.52	c (58,0) x[537] = 0
838.66/601.52	c (58,0) x[538] = 0
838.66/601.52	c (58,0) x[539] = 0
838.66/601.52	c (58,0) x[540] = 0
838.66/601.52	c (58,0) x[541] = 0
838.66/601.52	c (58,0) x[542] = 0
838.66/601.52	c (58,0) x[543] = 0
838.66/601.52	c (58,0) x[544] = 0
838.66/601.52	c (58,0) x[545] = 0
838.66/601.52	c (58,0) x[546] = 0
838.66/601.52	c (58,0) x[547] = 0
838.66/601.52	c (58,0) x[548] = 0
838.66/601.52	c (58,0) x[549] = 0
838.66/601.52	c (58,0) x[550] = 0
838.66/601.52	c (58,0) x[551] = 0
838.66/601.52	c (58,0) x[552] = 0
838.66/601.52	c (58,0) x[553] = 0
838.66/601.52	c (58,0) x[554] = 0
838.66/601.52	c (58,0) x[555] = 0
838.66/601.52	c (58,0) x[556] = 0
838.66/601.52	c (58,0) x[557] = 0
838.66/601.52	c (58,0) x[558] = 0
838.66/601.52	c (58,0) x[559] = 0
838.66/601.52	c (58,0) x[560] = 0
838.66/601.52	c (58,0) x[561] = 0
838.66/601.52	c (58,0) x[562] = 0
838.66/601.52	c (58,0) x[563] = 0
838.66/601.52	c (58,0) x[564] = 0
838.66/601.52	c (58,0) x[565] = 0
838.66/601.52	c (58,0) x[566] = 0
838.66/601.52	c (58,0) x[567] = 0
838.66/601.52	c (58,0) x[568] = 0
838.66/601.52	c (58,0) x[569] = 0
838.66/601.52	c (58,0) x[570] = 0
838.66/601.52	c (58,0) x[571] = 0
838.66/601.52	c (58,0) x[572] = 0
838.66/601.52	c (58,0) x[573] = 0
838.66/601.52	c (58,0) x[574] = 0
838.66/601.52	c (58,0) x[575] = 0
838.66/601.52	c (58,0) x[576] = 0
838.66/601.52	c (58,0) x[577] = 0
838.66/601.52	c (58,0) x[578] = 0
838.66/601.52	c (58,0) x[579] = 0
838.66/601.52	c (58,0) x[580] = 0
838.66/601.52	c (58,0) x[581] = 0
838.66/601.52	c (58,0) x[582] = 0
838.66/601.52	c (58,0) x[583] = 0
838.66/601.52	c (58,0) x[584] = 0
838.66/601.52	c (58,0) x[585] = 0
838.66/601.52	c (58,0) x[586] = 0
838.66/601.52	c (58,0) x[587] = 0
838.66/601.52	c (58,0) x[588] = 0
838.66/601.52	c (58,0) x[589] = 0
838.66/601.52	c (58,0) x[590] = 0
838.66/601.52	c (58,0) x[591] = 0
838.66/601.52	c (58,0) x[592] = 0
838.66/601.52	c (58,0) x[593] = 0
838.66/601.52	c (58,0) x[594] = 0
838.66/601.52	c (58,0) x[595] = 0
838.66/601.52	c (58,0) x[596] = 0
838.66/601.52	c (58,0) x[597] = 0
838.66/601.52	c (58,0) x[598] = 0
838.66/601.52	c (58,0) x[599] = 0
838.66/601.52	c (58,0) x[600] = 0
838.66/601.52	c (58,0) x[601] = 0
838.66/601.52	c (58,0) x[602] = 0
838.66/601.52	c (58,0) x[603] = 0
838.66/601.52	c (58,0) x[604] = 0
838.66/601.52	c (58,0) x[605] = 0
838.66/601.52	c (58,0) x[606] = 0
838.66/601.52	c (58,0) x[607] = 0
838.66/601.52	c (58,0) x[608] = 0
838.66/601.52	c (58,0) x[609] = 0
838.66/601.52	c (58,0) x[610] = 0
838.66/601.52	c (58,0) x[611] = 0
838.66/601.52	c (58,0) x[612] = 0
838.66/601.52	c (58,0) x[613] = 0
838.66/601.52	c (58,0) x[614] = 0
838.66/601.52	c (58,0) x[615] = 0
838.66/601.52	c (58,0) x[616] = 0
838.66/601.52	c (58,0) x[617] = 0
838.66/601.52	c (58,0) x[618] = 0
838.66/601.52	c (58,0) x[619] = 0
838.66/601.52	c (58,0) x[620] = 0
838.66/601.52	c (58,0) x[621] = 0
838.66/601.52	c (58,0) x[622] = 0
838.66/601.52	c (58,0) x[623] = 0
838.66/601.52	c (58,0) x[624] = 0
838.66/601.52	c (58,0) x[625] = 0
838.66/601.52	c (58,0) x[626] = 0
838.66/601.52	c (58,0) x[627] = 0
838.66/601.52	c (58,0) x[628] = 0
838.66/601.52	c (58,0) x[629] = 0
838.66/601.52	c (58,0) x[630] = 0
838.66/601.52	c (58,0) x[631] = 0
838.66/601.52	c (58,0) x[632] = 0
838.66/601.52	c (58,0) x[633] = 0
838.66/601.52	c (58,0) x[634] = 0
838.66/601.52	c (58,0) x[635] = 0
838.66/601.52	c (58,0) x[636] = 0
838.66/601.52	c (58,0) x[637] = 0
838.66/601.52	c (58,0) x[638] = 0
838.66/601.52	c (58,0) x[639] = 0
838.66/601.52	c (58,0) x[640] = 0
838.66/601.52	c (58,0) x[641] = 0
838.66/601.52	c (58,0) x[642] = 0
838.66/601.52	c (58,0) x[643] = 0
838.66/601.52	c (58,0) x[644] = 0
838.66/601.52	c (58,0) x[645] = 0
838.66/601.52	c (58,0) x[646] = 0
838.66/601.52	c (58,0) x[647] = 0
838.66/601.52	c (58,0) x[648] = 0
838.66/601.52	c (58,0) x[649] = 0
838.66/601.52	c (58,0) x[650] = 0
838.66/601.52	c (58,0) x[651] = 0
838.66/601.52	c (58,0) x[652] = 0
838.66/601.52	c (58,0) x[653] = 0
838.66/601.52	c (58,0) x[654] = 0
838.66/601.52	c (58,0) x[655] = 0
838.66/601.52	c (58,0) x[656] = 0
838.66/601.52	c (58,0) x[657] = 0
838.66/601.52	c (58,0) x[658] = 0
838.66/601.52	c (58,0) x[659] = 0
838.66/601.52	c (58,0) x[660] = 0
838.66/601.52	c (58,0) x[661] = 0
838.66/601.52	c (58,0) x[662] = 0
838.66/601.52	c (58,0) x[663] = 0
838.66/601.52	c (58,0) x[664] = 0
838.66/601.52	c (58,0) x[665] = 0
838.66/601.52	c (58,0) x[666] = 0
838.66/601.52	c (58,0) x[667] = 0
838.66/601.52	c (58,0) x[668] = 0
838.66/601.52	c (58,0) x[669] = 0
838.66/601.52	c (58,0) x[670] = 0
838.66/601.52	c (58,0) x[671] = 0
838.66/601.52	c (58,0) x[672] = 0
838.66/601.52	c (58,0) x[673] = 0
838.66/601.52	c (58,0) x[674] = 0
838.66/601.52	c (58,0) x[675] = 0
838.66/601.52	c (58,0) x[676] = 0
838.66/601.52	c (58,0) x[677] = 0
838.66/601.52	c (58,0) x[678] = 0
838.66/601.52	c (58,0) x[679] = 0
838.66/601.52	c (58,0) x[680] = 0
838.66/601.52	c (58,0) x[681] = 0
838.66/601.52	c (58,0) x[682] = 0
838.66/601.52	c (58,0) x[683] = 0
838.66/601.52	c (58,0) x[684] = 0
838.66/601.52	c (58,0) x[685] = 0
838.66/601.52	c (58,0) x[686] = 0
838.66/601.52	c (58,0) x[687] = 0
838.66/601.52	c (58,0) x[688] = 0
838.66/601.52	c (58,0) x[689] = 0
838.66/601.52	c (58,0) x[690] = 0
838.66/601.52	c (58,0) x[691] = 0
838.66/601.52	c (58,0) x[692] = 0
838.66/601.52	c (58,0) x[693] = 0
838.66/601.52	c (58,0) x[694] = 0
838.66/601.52	c (58,0) x[695] = 0
838.66/601.52	c (58,0) x[696] = 0
838.66/601.52	c (58,0) x[697] = 0
838.66/601.52	c (58,0) x[698] = 0
838.66/601.52	c (58,0) x[699] = 0
838.66/601.52	c (58,0) x[700] = 0
838.66/601.52	c (58,0) x[701] = 0
838.66/601.52	c (58,0) x[702] = 0
838.66/601.52	c (58,0) x[703] = 0
838.66/601.52	c (58,0) x[704] = 0
838.66/601.52	c (58,0) x[705] = 0
838.66/601.52	c (58,0) x[706] = 0
838.66/601.52	c (58,0) x[707] = 0
838.66/601.52	c (58,0) x[708] = 0
838.66/601.52	c (58,0) x[709] = 0
838.66/601.52	c (58,0) x[710] = 0
838.66/601.52	c (58,0) x[711] = 0
838.66/601.52	c (58,0) x[712] = 0
838.66/601.52	c (58,0) x[713] = 0
838.66/601.52	c (58,0) x[714] = 0
838.66/601.52	c (58,0) x[715] = 0
838.66/601.52	c (58,0) x[716] = 0
838.66/601.52	c (58,0) x[717] = 0
838.66/601.52	c (58,0) x[718] = 0
838.66/601.52	c (58,0) x[719] = 0
838.66/601.52	c (58,0) x[720] = 0
838.66/601.52	c (58,0) x[721] = 0
838.66/601.52	c (58,0) x[722] = 0
838.66/601.52	c (58,0) x[723] = 0
838.66/601.52	c (58,0) x[724] = 0
838.66/601.52	c (58,0) x[725] = 0
838.66/601.52	c (58,0) x[726] = 0
838.66/601.52	c (58,0) x[727] = 0
838.66/601.52	c (58,0) x[728] = 0
838.66/601.52	c (58,0) x[729] = 0
838.66/601.52	c (58,0) x[730] = 0
838.66/601.52	c (58,0) x[731] = 0
838.66/601.52	c (58,0) x[732] = 0
838.66/601.52	c (58,0) x[733] = 0
838.66/601.52	c (58,0) x[734] = 0
838.66/601.52	c (58,0) x[735] = 0
838.66/601.52	c (58,0) x[736] = 0
838.66/601.52	c (58,0) x[737] = 0
838.66/601.52	c (58,0) x[738] = 0
838.66/601.52	c (58,0) x[739] = 0
838.66/601.52	c (58,0) x[740] = 0
838.66/601.52	c (58,0) x[741] = 0
838.66/601.52	c (58,0) x[742] = 0
838.66/601.52	c (58,0) x[743] = 0
838.66/601.52	c (58,0) x[744] = 0
838.66/601.52	c (58,0) x[745] = 0
838.66/601.52	c (58,0) x[746] = 0
838.66/601.52	c (58,0) x[747] = 0
838.66/601.52	c (58,0) x[748] = 0
838.66/601.52	c (58,0) x[749] = 0
838.66/601.52	c (58,0) x[750] = 0
838.66/601.52	c (58,0) x[751] = 0
838.66/601.52	c (58,0) x[752] = 0
838.66/601.52	c (58,0) x[753] = 0
838.66/601.52	c (58,0) x[754] = 0
838.66/601.52	c (58,0) x[755] = 0
838.66/601.52	c (58,0) x[756] = 0
838.66/601.52	c (58,0) x[757] = 0
838.66/601.52	c (58,0) x[758] = 0
838.66/601.52	c (58,0) x[759] = 0
838.66/601.52	c (58,0) x[760] = 0
838.66/601.52	c (58,0) x[761] = 0
838.66/601.52	c (58,0) x[762] = 0
838.66/601.52	c (58,0) x[763] = 0
838.66/601.52	c (58,0) x[764] = 0
838.66/601.52	c (58,0) x[765] = 0
838.66/601.52	c (58,0) x[766] = 0
838.66/601.52	c (58,0) x[767] = 0
838.66/601.52	c (58,0) x[768] = 0
838.66/601.52	c (58,0) x[769] = 0
838.66/601.52	c (58,0) x[770] = 0
838.66/601.52	c (58,0) x[771] = 0
838.66/601.52	c (58,0) x[772] = 0
838.66/601.52	c (58,0) x[773] = 0
838.66/601.52	c (58,0) x[774] = 0
838.66/601.52	c (58,0) x[775] = 0
838.66/601.52	c (58,0) x[776] = 0
838.66/601.52	c (58,0) x[777] = 0
838.66/601.52	c (58,0) x[778] = 0
838.66/601.52	c (58,0) x[779] = 0
838.66/601.52	c (58,0) x[780] = 0
838.66/601.52	c (58,0) x[781] = 0
838.66/601.52	c (58,0) x[782] = 0
838.66/601.52	c (58,0) x[783] = 0
838.66/601.52	c (58,0) x[784] = 0
838.66/601.52	c (58,0) x[785] = 0
838.66/601.52	c (58,0) x[786] = 0
838.66/601.52	c (58,0) x[787] = 0
838.66/601.52	c (58,0) x[788] = 0
838.66/601.52	c (58,0) x[789] = 0
838.66/601.52	c (58,0) x[790] = 0
838.66/601.52	c (58,0) x[791] = 0
838.66/601.52	c (58,0) x[792] = 0
838.66/601.52	c (58,0) x[793] = 0
838.66/601.52	c (58,0) x[794] = 0
838.66/601.52	c (58,0) x[795] = 0
838.66/601.52	c (58,0) x[796] = 1
838.66/601.52	c (58,0) x[797] = 0
838.66/601.52	c (58,0) x[798] = 0
838.66/601.52	c (58,0) x[799] = 0
838.66/601.52	s SATISFIABLE
838.66/601.53	v <instantiation>
838.66/601.53	v     <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[77] x[78] x[79] x[80] x[81] x[82] x[83] x[84] x[85] x[86] x[87] x[88] x[89] x[90] x[91] x[92] x[93] x[94] x[95] x[96] x[97] x[98] x[99] x[100] x[101] x[102] x[103] x[104] x[105] x[106] x[107] x[108] x[109] x[110] x[111] x[112] x[113] x[114] x[115] x[116] x[117] x[118] x[119] x[120] x[121] x[122] x[123] x[124] x[125] x[126] x[127] x[128] x[129] x[130] x[131] x[132] x[133] x[134] x[135] x[136] x[137] x[138] x[139] x[140] x[141] x[142] x[143] x[144] x[145] x[146] x[147] x[148] x[149] x[150] x[151] x[152] x[153] x[154] x[155] x[156] x[157] x[158] x[159] x[160] x[161] x[162] x[163] x[164] x[165] x[166] x[167] x[168] x[169] x[170] x[171] x[172] x[173] x[174] x[175] x[176] x[177] x[178] x[179] x[180] x[181] x[182] x[183] x[184] x[185] x[186] x[187] x[188] x[189] x[190] x[191] x[192] x[193] x[194] x[195] x[196] x[197] x[198] x[199] x[200] x[201] x[202] x[203] x[204] x[205] x[206] x[207] x[208] x[209] x[210] x[211] x[212] x[213] x[214] x[215] x[216] x[217] x[218] x[219] x[220] x[221] x[222] x[223] x[224] x[225] x[226] x[227] x[228] x[229] x[230] x[231] x[232] x[233] x[234] x[235] x[236] x[237] x[238] x[239] x[240] x[241] x[242] x[243] x[244] x[245] x[246] x[247] x[248] x[249] x[250] x[251] x[252] x[253] x[254] x[255] x[256] x[257] x[258] x[259] x[260] x[261] x[262] x[263] x[264] x[265] x[266] x[267] x[268] x[269] x[270] x[271] x[272] x[273] x[274] x[275] x[276] x[277] x[278] x[279] x[280] x[281] x[282] x[283] x[284] x[285] x[286] x[287] x[288] x[289] x[290] x[291] x[292] x[293] x[294] x[295] x[296] x[297] x[298] x[299] x[300] x[301] x[302] x[303] x[304] x[305] x[306] x[307] x[308] x[309] x[310] x[311] x[312] x[313] x[314] x[315] x[316] x[317] x[318] x[319] x[320] x[321] x[322] x[323] x[324] x[325] x[326] x[327] x[328] x[329] x[330] x[331] x[332] x[333] x[334] x[335] x[336] x[337] x[338] x[339] x[340] x[341] x[342] x[343] x[344] x[345] x[346] x[347] x[348] x[349] x[350] x[351] x[352] x[353] x[354] x[355] x[356] x[357] x[358] x[359] x[360] x[361] x[362] x[363] x[364] x[365] x[366] x[367] x[368] x[369] x[370] x[371] x[372] x[373] x[374] x[375] x[376] x[377] x[378] x[379] x[380] x[381] x[382] x[383] x[384] x[385] x[386] x[387] x[388] x[389] x[390] x[391] x[392] x[393] x[394] x[395] x[396] x[397] x[398] x[399] x[400] x[401] x[402] x[403] x[404] x[405] x[406] x[407] x[408] x[409] x[410] x[411] x[412] x[413] x[414] x[415] x[416] x[417] x[418] x[419] x[420] x[421] x[422] x[423] x[424] x[425] x[426] x[427] x[428] x[429] x[430] x[431] x[432] x[433] x[434] x[435] x[436] x[437] x[438] x[439] x[440] x[441] x[442] x[443] x[444] x[445] x[446] x[447] x[448] x[449] x[450] x[451] x[452] x[453] x[454] x[455] x[456] x[457] x[458] x[459] x[460] x[461] x[462] x[463] x[464] x[465] x[466] x[467] x[468] x[469] x[470] x[471] x[472] x[473] x[474] x[475] x[476] x[477] x[478] x[479] x[480] x[481] x[482] x[483] x[484] x[485] x[486] x[487] x[488] x[489] x[490] x[491] x[492] x[493] x[494] x[495] x[496] x[497] x[498] x[499] x[500] x[501] x[502] x[503] x[504] x[505] x[506] x[507] x[508] x[509] x[510] x[511] x[512] x[513] x[514] x[515] x[516] x[517] x[518] x[519] x[520] x[521] x[522] x[523] x[524] x[525] x[526] x[527] x[528] x[529] x[530] x[531] x[532] x[533] x[534] x[535] x[536] x[537] x[538] x[539] x[540] x[541] x[542] x[543] x[544] x[545] x[546] x[547] x[548] x[549] x[550] x[551] x[552] x[553] x[554] x[555] x[556] x[557] x[558] x[559] x[560] x[561] x[562] x[563] x[564] x[565] x[566] x[567] x[568] x[569] x[570] x[571] x[572] x[573] x[574] x[575] x[576] x[577] x[578] x[579] x[580] x[581] x[582] x[583] x[584] x[585] x[586] x[587] x[588] x[589] x[590] x[591] x[592] x[593] x[594] x[595] x[596] x[597] x[598] x[599] x[600] x[601] x[602] x[603] x[604] x[605] x[606] x[607] x[608] x[609] x[610] x[611] x[612] x[613] x[614] x[615] x[616] x[617] x[618] x[619] x[620] x[621] x[622] x[623] x[624] x[625] x[626] x[627] x[628] x[629] x[630] x[631] x[632] x[633] x[634] x[635] x[636] x[637] x[638] x[639] x[640] x[641] x[642] x[643] x[644] x[645] x[646] x[647] x[648] x[649] x[650] x[651] x[652] x[653] x[654] x[655] x[656] x[657] x[658] x[659] x[660] x[661] x[662] x[663] x[664] x[665] x[666] x[667] x[668] x[669] x[670] x[671] x[672] x[673] x[674] x[675] x[676] x[677] x[678] x[679] x[680] x[681] x[682] x[683] x[684] x[685] x[686] x[687] x[688] x[689] x[690] x[691] x[692] x[693] x[694] x[695] x[696] x[697] x[698] x[699] x[700] x[701] x[702] x[703] x[704] x[705] x[706] x[707] x[708] x[709] x[710] x[711] x[712] x[713] x[714] x[715] x[716] x[717] x[718] x[719] x[720] x[721] x[722] x[723] x[724] x[725] x[726] x[727] x[728] x[729] x[730] x[731] x[732] x[733] x[734] x[735] x[736] x[737] x[738] x[739] x[740] x[741] x[742] x[743] x[744] x[745] x[746] x[747] x[748] x[749] x[750] x[751] x[752] x[753] x[754] x[755] x[756] x[757] x[758] x[759] x[760] x[761] x[762] x[763] x[764] x[765] x[766] x[767] x[768] x[769] x[770] x[771] x[772] x[773] x[774] x[775] x[776] x[777] x[778] x[779] x[780] x[781] x[782] x[783] x[784] x[785] x[786] x[787] x[788] x[789] x[790] x[791] x[792] x[793] x[794] x[795] x[796] x[797] x[798] x[799]</list>
838.66/601.53	v     <values>796 2 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0</values>
838.66/601.53	v </instantiation>
838.66/601.53	c (58,0) Show results End
838.66/601.53	c (58,0) Heap : 195 MiB used (max 3925 MiB), NonHeap : 19 MiB used (max 0 MiB)
838.66/601.53	c (58,0) 58,58,STOP-AFTER(ALL)
838.66/601.53	c END-Prog: Mon Sep 23 14:22:33 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 (12347 MiB free)
  memory of node 1: 16384 MiB (12365 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4405232-1569240795/watcher-4405232-1569240795 -o /var/tmp/evaluation-result-4405232-1569240795/solver-4405232-1569240795 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node117-1569238588-19155 --watchdog 2580 HOME/scop.sh 22g HOME/scop.jar -order HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4405232-1569240795.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
solver pid=20182, runsolver pid=20179
Current StackSize limit: 8192 KiB


[startup+0.100151 s]*
/proc/loadavg: 8.14 7.45 6.59 2/213 20204
/proc/meminfo: memFree=25207296/32770624 swapFree=66973908/67108860
[pid=20182] ppid=20179 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/20182/stat : 20182 (scop.sh) S 20179 20182 19128 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 500021345 115843072 349 33554432000 4194304 5098028 140732000585408 140732000582664 140670789071484 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 34742272 140732000588541 140732000588888 140732000588888 140732000591817 0
/proc/20182/statm: 28282 349 296 221 0 87 0
[pid=20185] ppid=20182 vsize=27314120 memory=107664 CPUtime=0.1 cores=0-7
/proc/20185/stat : 20185 (java) S 20182 20182 19128 0 -1 1077944320 6462 0 0 0 8 2 0 0 20 0 20 0 500021345 27969658880 26916 33554432000 4194304 4196468 140734895230768 140734895213312 139745676152567 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 39567360 140734895235783 140734895236230 140734895236230 140734895239119 0
/proc/20185/statm: 6828530 26916 2801 1 0 6790935 0
[pid=20185/tid=20186] ppid=20182 vsize=27314120 memory=1398722017469774279 CPUtime=0.08 cores=0-7
/proc/20185/task/20186/stat : 20186 (java) R 20182 20182 19128 0 -1 4202560 4576 0 0 0 6 2 0 0 20 0 20 0 500021346 27969658880 26916 33554432000 4194304 4196468 140734895230768 139745647977424 139745676164502 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39567360 140734895235783 140734895236230 140734895236230 140734895239119 0
[pid=20185/tid=20187] ppid=20182 vsize=27314120 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/20185/task/20187/stat : 20187 (java) S 20182 20182 19128 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500021348 27969658880 26916 33554432000 4194304 4196468 140734895230768 139745680395280 139745676162773 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39567360 140734895235783 140734895236230 140734895236230 140734895239119 0
[pid=20185/tid=20188] ppid=20182 vsize=27314120 memory=139800612677248 CPUtime=0 cores=0-7
/proc/20185/task/20188/stat : 20188 (java) S 20182 20182 19128 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500021348 27969658880 26916 33554432000 4194304 4196468 140734895230768 139745494551696 139745676162773 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39567360 140734895235783 140734895236230 140734895236230 140734895239119 0
[pid=20185/tid=20189] ppid=20182 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20185/task/20189/stat : 20189 (java) S 20182 20182 19128 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500021348 27969658880 26916 33554432000 4194304 4196468 140734895230768 139745493498640 139745676162773 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39567360 140734895235783 140734895236230 140734895236230 140734895239119 0
[pid=20185/tid=20190] ppid=20182 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20185/task/20190/stat : 20190 (java) S 20182 20182 19128 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500021348 27969658880 26916 33554432000 4194304 4196468 140734895230768 139745492446096 139745676162773 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39567360 140734895235783 140734895236230 140734895236230 140734895239119 0
[pid=20185/tid=20191] ppid=20182 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20185/task/20191/stat : 20191 (java) S 20182 20182 19128 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500021348 27969658880 26916 33554432000 4194304 4196468 140734895230768 139745491393040 139745676162773 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39567360 140734895235783 140734895236230 140734895236230 140734895239119 0
[pid=20185/tid=20192] ppid=20182 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/20185/task/20192/stat : 20192 (java) S 20182 20182 19128 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500021348 27969658880 26916 33554432000 4194304 4196468 140734895230768 139745490340496 139745676162773 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39567360 140734895235783 140734895236230 140734895236230 140734895239119 0
[pid=20185/tid=20193] ppid=20182 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20185/task/20193/stat : 20193 (java) S 20182 20182 19128 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500021348 27969658880 26916 33554432000 4194304 4196468 140734895230768 139745489287440 139745676162773 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39567360 140734895235783 140734895236230 140734895236230 140734895239119 0
[pid=20185/tid=20194] ppid=20182 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20185/task/20194/stat : 20194 (java) S 20182 20182 19128 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500021348 27969658880 26916 33554432000 4194304 4196468 140734895230768 139745488234896 139745676162773 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39567360 140734895235783 140734895236230 140734895236230 140734895239119 0
[pid=20185/tid=20195] ppid=20182 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20185/task/20195/stat : 20195 (java) S 20182 20182 19128 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 500021350 27969658880 26916 33554432000 4194304 4196468 140734895230768 139744532966128 139745676163714 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39567360 140734895235783 140734895236230 140734895236230 140734895239119 0
[pid=20185/tid=20196] ppid=20182 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20185/task/20196/stat : 20196 (java) S 20182 20182 19128 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 500021350 27969658880 26916 33554432000 4194304 4196468 140734895230768 139743606072992 139745676162773 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39567360 140734895235783 140734895236230 140734895236230 140734895239119 0
[pid=20185/tid=20197] ppid=20182 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20185/task/20197/stat : 20197 (java) S 20182 20182 19128 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500021350 27969658880 26916 33554432000 4194304 4196468 140734895230768 139743337637104 139745676162773 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39567360 140734895235783 140734895236230 140734895236230 140734895239119 0
[pid=20185/tid=20198] ppid=20182 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20185/task/20198/stat : 20198 (java) S 20182 20182 19128 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500021353 27969658880 26916 33554432000 4194304 4196468 140734895230768 139742963128784 139745676171163 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39567360 140734895235783 140734895236230 140734895236230 140734895239119 0
[pid=20185/tid=20199] ppid=20182 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20185/task/20199/stat : 20199 (java) R 20182 20182 19128 0 -1 1077944384 299 0 0 0 0 0 0 0 20 0 20 0 500021353 27969658880 26916 33554432000 4194304 4196468 140734895230768 139744531912944 139745676163714 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39567360 140734895235783 140734895236230 140734895236230 140734895239119 0
[pid=20185/tid=20200] ppid=20182 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20185/task/20200/stat : 20200 (java) S 20182 20182 19128 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500021353 27969658880 26916 33554432000 4194304 4196468 140734895230768 139744530860400 139745676163714 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39567360 140734895235783 140734895236230 140734895236230 140734895239119 0
[pid=20185/tid=20201] ppid=20182 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20185/task/20201/stat : 20201 (java) S 20182 20182 19128 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500021353 27969658880 26916 33554432000 4194304 4196468 140734895230768 139744529807344 139745676163714 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39567360 140734895235783 140734895236230 140734895236230 140734895239119 0
[pid=20185/tid=20202] ppid=20182 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20185/task/20202/stat : 20202 (java) R 20182 20182 19128 0 -1 4202560 255 0 0 0 0 0 0 0 20 0 20 0 500021353 27969658880 26916 33554432000 4194304 4196468 140734895230768 139744528754800 139745676164502 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39567360 140734895235783 140734895236230 140734895236230 140734895239119 0
[pid=20185/tid=20203] ppid=20182 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20185/task/20203/stat : 20203 (java) S 20182 20182 19128 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500021353 27969658880 26916 33554432000 4194304 4196468 140734895230768 139742465223648 139745676162773 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39567360 140734895235783 140734895236230 140734895236230 140734895239119 0
[pid=20185/tid=20204] ppid=20182 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/20185/task/20204/stat : 20204 (java) S 20182 20182 19128 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500021353 27969658880 26916 33554432000 4194304 4196468 140734895230768 139744527703216 139745676163714 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39567360 140734895235783 140734895236230 140734895236230 140734895239119 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 109060 KiB

[startup+0.210597 s]*
/proc/loadavg: 8.14 7.45 6.59 2/213 20204
/proc/meminfo: memFree=25185916/32770624 swapFree=66973908/67108860
[pid=20182] ppid=20179 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/20182/stat : 20182 (scop.sh) S 20179 20182 19128 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 500021345 115843072 349 33554432000 4194304 5098028 140732000585408 140732000582664 140670789071484 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 34742272 140732000588541 140732000588888 140732000588888 140732000591817 0
/proc/20182/statm: 28282 349 296 221 0 87 0
[pid=20185] ppid=20182 vsize=27314120 memory=126976 CPUtime=0.25 cores=0-7
/proc/20185/stat : 20185 (java) S 20182 20182 19128 0 -1 1077944320 11956 0 0 0 21 4 0 0 20 0 20 0 500021345 27969658880 31744 33554432000 4194304 4196468 140734895230768 140734895213312 139745676152567 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 39567360 140734895235783 140734895236230 140734895236230 140734895239119 0
/proc/20185/statm: 6828530 31744 2966 1 0 6790935 0
[pid=20185/tid=20186] ppid=20182 vsize=27314120 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/20185/task/20186/stat : 20186 (java) R 20182 20182 19128 0 -1 4202560 9694 0 0 0 16 3 0 0 20 0 20 0 500021346 27969658880 31744 33554432000 4194304 4196468 140734895230768 139745647956944 139745656427795 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39567360 140734895235783 140734895236230 140734895236230 140734895239119 0
[pid=20185/tid=20187] ppid=20182 vsize=27314120 memory=329 CPUtime=0 cores=0-7
/proc/20185/task/20187/stat : 20187 (java) S 20182 20182 19128 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500021348 27969658880 31744 33554432000 4194304 4196468 140734895230768 139745680395280 139745676162773 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39567360 140734895235783 140734895236230 140734895236230 140734895239119 0
[pid=20185/tid=20188] ppid=20182 vsize=27314120 memory=4049492937277417120 CPUtime=0 cores=0-7
/proc/20185/task/20188/stat : 20188 (java) S 20182 20182 19128 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500021348 27969658880 31744 33554432000 4194304 4196468 140734895230768 139745494551696 139745676162773 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39567360 140734895235783 140734895236230 140734895236230 140734895239119 0
[pid=20185/tid=20189] ppid=20182 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/20185/task/20189/stat : 20189 (java) S 20182 20182 19128 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500021348 27969658880 31744 33554432000 4194304 4196468 140734895230768 139745493498640 139745676162773 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39567360 140734895235783 140734895236230 140734895236230 140734895239119 0
[pid=20185/tid=20190] ppid=20182 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20185/task/20190/stat : 20190 (java) S 20182 20182 19128 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500021348 27969658880 31744 33554432000 4194304 4196468 140734895230768 139745492446096 139745676162773 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39567360 140734895235783 140734895236230 140734895236230 140734895239119 0
[pid=20185/tid=20191] ppid=20182 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20185/task/20191/stat : 20191 (java) S 20182 20182 19128 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500021348 27969658880 31744 33554432000 4194304 4196468 140734895230768 139745491393040 139745676162773 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39567360 140734895235783 140734895236230 140734895236230 140734895239119 0
[pid=20185/tid=20192] ppid=20182 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/20185/task/20192/stat : 20192 (java) S 20182 20182 19128 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500021348 27969658880 31744 33554432000 4194304 4196468 140734895230768 139745490340496 139745676162773 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39567360 140734895235783 140734895236230 140734895236230 140734895239119 0
[pid=20185/tid=20193] ppid=20182 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20185/task/20193/stat : 20193 (java) S 20182 20182 19128 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500021348 27969658880 31744 33554432000 4194304 4196468 140734895230768 139745489287440 139745676162773 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39567360 140734895235783 140734895236230 140734895236230 140734895239119 0
[pid=20185/tid=20194] ppid=20182 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20185/task/20194/stat : 20194 (java) S 20182 20182 19128 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500021348 27969658880 31744 33554432000 4194304 4196468 140734895230768 139745488234896 139745676162773 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39567360 140734895235783 140734895236230 140734895236230 140734895239119 0
[pid=20185/tid=20195] ppid=20182 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20185/task/20195/stat : 20195 (java) S 20182 20182 19128 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 500021350 27969658880 31744 33554432000 4194304 4196468 140734895230768 139744532966128 139745676163714 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39567360 140734895235783 140734895236230 140734895236230 140734895239119 0
[pid=20185/tid=20196] ppid=20182 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20185/task/20196/stat : 20196 (java) S 20182 20182 19128 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 500021350 27969658880 31744 33554432000 4194304 4196468 140734895230768 139743606072992 139745676162773 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39567360 140734895235783 140734895236230 140734895236230 140734895239119 0
[pid=20185/tid=20197] ppid=20182 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20185/task/20197/stat : 20197 (java) S 20182 20182 19128 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500021350 27969658880 31744 33554432000 4194304 4196468 140734895230768 139743337637104 139745676162773 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39567360 140734895235783 140734895236230 140734895236230 140734895239119 0
[pid=20185/tid=20198] ppid=20182 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20185/task/20198/stat : 20198 (java) S 20182 20182 19128 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500021353 27969658880 31744 33554432000 4194304 4196468 140734895230768 139742963128784 139745676171163 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39567360 140734895235783 140734895236230 140734895236230 140734895239119 0
[pid=20185/tid=20199] ppid=20182 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20185/task/20199/stat : 20199 (java) S 20182 20182 19128 0 -1 1077944384 333 0 0 0 0 0 0 0 20 0 20 0 500021353 27969658880 31744 33554432000 4194304 4196468 140734895230768 139744531912944 139745676163714 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39567360 140734895235783 140734895236230 140734895236230 140734895239119 0
[pid=20185/tid=20200] ppid=20182 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20185/task/20200/stat : 20200 (java) S 20182 20182 19128 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500021353 27969658880 31744 33554432000 4194304 4196468 140734895230768 139744530860400 139745676163714 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39567360 140734895235783 140734895236230 140734895236230 140734895239119 0
[pid=20185/tid=20201] ppid=20182 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/20185/task/20201/stat : 20201 (java) S 20182 20182 19128 0 -1 1077944384 149 0 0 0 0 0 0 0 20 0 20 0 500021353 27969658880 31744 33554432000 4194304 4196468 140734895230768 139744529807344 139745676163714 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39567360 140734895235783 140734895236230 140734895236230 140734895239119 0
[pid=20185/tid=20202] ppid=20182 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7
/proc/20185/task/20202/stat : 20202 (java) S 20182 20182 19128 0 -1 1077944384 439 0 0 0 2 0 0 0 20 0 20 0 500021353 27969658880 31744 33554432000 4194304 4196468 140734895230768 139744528754800 139745676163714 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39567360 140734895235783 140734895236230 140734895236230 140734895239119 0
[pid=20185/tid=20203] ppid=20182 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20185/task/20203/stat : 20203 (java) S 20182 20182 19128 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500021353 27969658880 31744 33554432000 4194304 4196468 140734895230768 139742465223648 139745676162773 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39567360 140734895235783 140734895236230 140734895236230 140734895239119 0
[pid=20185/tid=20204] ppid=20182 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/20185/task/20204/stat : 20204 (java) S 20182 20182 19128 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500021353 27969658880 31744 33554432000 4194304 4196468 140734895230768 139744527703216 139745676163714 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39567360 140734895235783 140734895236230 140734895236230 140734895239119 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 128372 KiB

[startup+0.3104 s]*
/proc/loadavg: 8.14 7.45 6.59 3/213 20204
/proc/meminfo: memFree=25185156/32770624 swapFree=66973908/67108860
[pid=20182] ppid=20179 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/20182/stat : 20182 (scop.sh) S 20179 20182 19128 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 500021345 115843072 349 33554432000 4194304 5098028 140732000585408 140732000582664 140670789071484 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 34742272 140732000588541 140732000588888 140732000588888 140732000591817 0
/proc/20182/statm: 28282 349 296 221 0 87 0
[pid=20185] ppid=20182 vsize=27314120 memory=130132 CPUtime=0.42 cores=0-7
/proc/20185/stat : 20185 (java) S 20182 20182 19128 0 -1 1077944320 12928 0 0 0 37 5 0 0 20 0 20 0 500021345 27969658880 32533 33554432000 4194304 4196468 140734895230768 140734895213312 139745676152567 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 39567360 140734895235783 140734895236230 140734895236230 140734895239119 0
/proc/20185/statm: 6828530 32533 3012 1 0 6790935 0
[pid=20185/tid=20186] ppid=20182 vsize=27314120 memory=1398722017469774279 CPUtime=0.3 cores=0-7
/proc/20185/task/20186/stat : 20186 (java) R 20182 20182 19128 0 -1 4202560 10497 0 0 0 26 4 0 0 20 0 20 0 500021346 27969658880 32533 33554432000 4194304 4196468 140734895230768 139745647982640 139745660233054 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39567360 140734895235783 140734895236230 140734895236230 140734895239119 0
[pid=20185/tid=20187] ppid=20182 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20185/task/20187/stat : 20187 (java) S 20182 20182 19128 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500021348 27969658880 32533 33554432000 4194304 4196468 140734895230768 139745680395280 139745676162773 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39567360 140734895235783 140734895236230 140734895236230 140734895239119 0
[pid=20185/tid=20188] ppid=20182 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20185/task/20188/stat : 20188 (java) S 20182 20182 19128 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500021348 27969658880 32533 33554432000 4194304 4196468 140734895230768 139745494551696 139745676162773 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39567360 140734895235783 140734895236230 140734895236230 140734895239119 0
[pid=20185/tid=20189] ppid=20182 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20185/task/20189/stat : 20189 (java) S 20182 20182 19128 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500021348 27969658880 32533 33554432000 4194304 4196468 140734895230768 139745493498640 139745676162773 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39567360 140734895235783 140734895236230 140734895236230 140734895239119 0
[pid=20185/tid=20190] ppid=20182 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20185/task/20190/stat : 20190 (java) S 20182 20182 19128 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500021348 27969658880 32533 33554432000 4194304 4196468 140734895230768 139745492446096 139745676162773 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39567360 140734895235783 140734895236230 140734895236230 140734895239119 0
[pid=20185/tid=20191] ppid=20182 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20185/task/20191/stat : 20191 (java) S 20182 20182 19128 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500021348 27969658880 32533 33554432000 4194304 4196468 140734895230768 139745491393040 139745676162773 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39567360 140734895235783 140734895236230 140734895236230 140734895239119 0
[pid=20185/tid=20192] ppid=20182 vsize=27314120 memory=139800514489007 CPUtime=0 cores=0-7
/proc/20185/task/20192/stat : 20192 (java) S 20182 20182 19128 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500021348 27969658880 32533 33554432000 4194304 4196468 140734895230768 139745490340496 139745676162773 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39567360 140734895235783 140734895236230 140734895236230 140734895239119 0
[pid=20185/tid=20193] ppid=20182 vsize=27314120 memory=139800514491312 CPUtime=0 cores=0-7
/proc/20185/task/20193/stat : 20193 (java) S 20182 20182 19128 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500021348 27969658880 32533 33554432000 4194304 4196468 140734895230768 139745489287440 139745676162773 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39567360 140734895235783 140734895236230 140734895236230 140734895239119 0
[pid=20185/tid=20194] ppid=20182 vsize=27314120 memory=139800514493616 CPUtime=0 cores=0-7
/proc/20185/task/20194/stat : 20194 (java) S 20182 20182 19128 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500021348 27969658880 32533 33554432000 4194304 4196468 140734895230768 139745488234896 139745676162773 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39567360 140734895235783 140734895236230 140734895236230 140734895239119 0
[pid=20185/tid=20195] ppid=20182 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20185/task/20195/stat : 20195 (java) S 20182 20182 19128 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 500021350 27969658880 32533 33554432000 4194304 4196468 140734895230768 139744532966128 139745676163714 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39567360 140734895235783 140734895236230 140734895236230 140734895239119 0
[pid=20185/tid=20196] ppid=20182 vsize=27314120 memory=279601029001104 CPUtime=0 cores=0-7
/proc/20185/task/20196/stat : 20196 (java) S 20182 20182 19128 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 500021350 27969658880 32533 33554432000 4194304 4196468 140734895230768 139743606072992 139745676162773 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39567360 140734895235783 140734895236230 140734895236230 140734895239119 0
[pid=20185/tid=20197] ppid=20182 vsize=27314120 memory=279601028998800 CPUtime=0 cores=0-7
/proc/20185/task/20197/stat : 20197 (java) S 20182 20182 19128 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500021350 27969658880 32533 33554432000 4194304 4196468 140734895230768 139743337637104 139745676162773 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39567360 140734895235783 140734895236230 140734895236230 140734895239119 0
[pid=20185/tid=20198] ppid=20182 vsize=27314120 memory=279601029005712 CPUtime=0 cores=0-7
/proc/20185/task/20198/stat : 20198 (java) S 20182 20182 19128 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500021353 27969658880 32533 33554432000 4194304 4196468 140734895230768 139742963128784 139745676171163 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39567360 140734895235783 140734895236230 140734895236230 140734895239119 0
[pid=20185/tid=20199] ppid=20182 vsize=27314120 memory=279601028946992 CPUtime=0.01 cores=0-7
/proc/20185/task/20199/stat : 20199 (java) S 20182 20182 19128 0 -1 1077944384 420 0 0 0 1 0 0 0 20 0 20 0 500021353 27969658880 32533 33554432000 4194304 4196468 140734895230768 139744531912944 139745676163714 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39567360 140734895235783 140734895236230 140734895236230 140734895239119 0
[pid=20185/tid=20200] ppid=20182 vsize=27314120 memory=279601029019536 CPUtime=0 cores=0-7
/proc/20185/task/20200/stat : 20200 (java) R 20182 20182 19128 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 20 0 500021353 27969658880 32533 33554432000 4194304 4196468 140734895230768 139744530860400 139745669137609 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39567360 140734895235783 140734895236230 140734895236230 140734895239119 0
[pid=20185/tid=20201] ppid=20182 vsize=27314120 memory=279601029026448 CPUtime=0.02 cores=0-7
/proc/20185/task/20201/stat : 20201 (java) S 20182 20182 19128 0 -1 1077944384 197 0 0 0 2 0 0 0 20 0 20 0 500021353 27969658880 32533 33554432000 4194304 4196468 140734895230768 139744529807344 139745676163714 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39567360 140734895235783 140734895236230 140734895236230 140734895239119 0
[pid=20185/tid=20202] ppid=20182 vsize=27314120 memory=279601029024144 CPUtime=0.07 cores=0-7
/proc/20185/task/20202/stat : 20202 (java) S 20182 20182 19128 0 -1 1077944384 461 0 0 0 7 0 0 0 20 0 20 0 500021353 27969658880 32533 33554432000 4194304 4196468 140734895230768 139744528754800 139745676163714 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39567360 140734895235783 140734895236230 140734895236230 140734895239119 0
[pid=20185/tid=20203] ppid=20182 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20185/task/20203/stat : 20203 (java) S 20182 20182 19128 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500021353 27969658880 32533 33554432000 4194304 4196468 140734895230768 139742465223648 139745676162773 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39567360 140734895235783 140734895236230 140734895236230 140734895239119 0
[pid=20185/tid=20204] ppid=20182 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/20185/task/20204/stat : 20204 (java) S 20182 20182 19128 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500021353 27969658880 32533 33554432000 4194304 4196468 140734895230768 139744527703216 139745676163714 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39567360 140734895235783 140734895236230 140734895236230 140734895239119 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 131528 KiB

[startup+0.701004 s]
/proc/loadavg: 8.14 7.45 6.59 2/213 20204
/proc/meminfo: memFree=25164072/32770624 swapFree=66973908/67108860
[pid=20182] ppid=20179 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/20182/stat : 20182 (scop.sh) S 20179 20182 19128 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 500021345 115843072 349 33554432000 4194304 5098028 140732000585408 140732000582664 140670789071484 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 34742272 140732000588541 140732000588888 140732000588888 140732000591817 0
/proc/20182/statm: 28282 349 296 221 0 87 0
[pid=20185] ppid=20182 vsize=27322516 memory=165328 CPUtime=0.98 cores=0-7
/proc/20185/stat : 20185 (java) S 20182 20182 19128 0 -1 1077944320 19970 0 0 0 91 7 0 0 20 0 20 0 500021345 27978256384 41332 33554432000 4194304 4196468 140734895230768 140734895213312 139745676152567 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 39567360 140734895235783 140734895236230 140734895236230 140734895239119 0
/proc/20185/statm: 6830629 41332 3184 1 0 6791959 0
[pid=20185/tid=20186] ppid=20182 vsize=27322516 memory=0 CPUtime=0.67 cores=0-7
/proc/20185/task/20186/stat : 20186 (java) R 20182 20182 19128 0 -1 4202560 17106 0 0 0 62 5 0 0 20 0 20 0 500021346 27978256384 41332 33554432000 4194304 4196468 140734895230768 139745647986352 139745661287663 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39567360 140734895235783 140734895236230 140734895236230 140734895239119 0
[pid=20185/tid=20187] ppid=20182 vsize=27322516 memory=139800514700144 CPUtime=0 cores=0-7
/proc/20185/task/20187/stat : 20187 (java) S 20182 20182 19128 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500021348 27978256384 41332 33554432000 4194304 4196468 140734895230768 139745680395280 139745676162773 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39567360 140734895235783 140734895236230 140734895236230 140734895239119 0
[pid=20185/tid=20188] ppid=20182 vsize=27322516 memory=0 CPUtime=0 cores=0-7
/proc/20185/task/20188/stat : 20188 (java) S 20182 20182 19128 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500021348 27978256384 41332 33554432000 4194304 4196468 140734895230768 139745494551696 139745676162773 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39567360 140734895235783 140734895236230 140734895236230 140734895239119 0
[pid=20185/tid=20189] ppid=20182 vsize=27322516 memory=1200 CPUtime=0 cores=0-7
/proc/20185/task/20189/stat : 20189 (java) S 20182 20182 19128 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500021348 27978256384 41332 33554432000 4194304 4196468 140734895230768 139745493498640 139745676162773 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39567360 140734895235783 140734895236230 140734895236230 140734895239119 0

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

[pid=20247/tid=20250] ppid=20182 vsize=8414124 memory=2120 CPUtime=0 cores=0-7
/proc/20247/task/20250/stat : 20250 (java) S 20182 20182 19128 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500075630 8616062976 30320 33554432000 4194304 4196468 140733268021760 139683422857616 139683618457301 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23326720 140733268026335 140733268026502 140733268026502 140733268029391 0
[pid=20247/tid=20251] ppid=20182 vsize=8414124 memory=500 CPUtime=0 cores=0-7
/proc/20247/task/20251/stat : 20251 (java) S 20182 20182 19128 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500075630 8616062976 30320 33554432000 4194304 4196468 140733268021760 139683421805072 139683618457301 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23326720 140733268026335 140733268026502 140733268026502 140733268029391 0
[pid=20247/tid=20252] ppid=20182 vsize=8414124 memory=1556 CPUtime=0 cores=0-7
/proc/20247/task/20252/stat : 20252 (java) S 20182 20182 19128 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500075630 8616062976 30320 33554432000 4194304 4196468 140733268021760 139683420752528 139683618457301 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23326720 140733268026335 140733268026502 140733268026502 140733268029391 0
[pid=20247/tid=20253] ppid=20182 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/20247/task/20253/stat : 20253 (java) S 20182 20182 19128 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 500075630 8616062976 30320 33554432000 4194304 4196468 140733268021760 139683419699984 139683618457301 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23326720 140733268026335 140733268026502 140733268026502 140733268029391 0
[pid=20247/tid=20254] ppid=20182 vsize=8414124 memory=121280 CPUtime=0 cores=0-7
/proc/20247/task/20254/stat : 20254 (java) S 20182 20182 19128 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500075630 8616062976 30320 33554432000 4194304 4196468 140733268021760 139683418647440 139683618457301 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23326720 140733268026335 140733268026502 140733268026502 140733268029391 0
[pid=20247/tid=20255] ppid=20182 vsize=8414124 memory=6386336 CPUtime=0 cores=0-7
/proc/20247/task/20255/stat : 20255 (java) S 20182 20182 19128 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 500075630 8616062976 30320 33554432000 4194304 4196468 140733268021760 139683417594896 139683618457301 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23326720 140733268026335 140733268026502 140733268026502 140733268029391 0
[pid=20247/tid=20256] ppid=20182 vsize=8414124 memory=920 CPUtime=0 cores=0-7
/proc/20247/task/20256/stat : 20256 (java) S 20182 20182 19128 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 500075630 8616062976 30320 33554432000 4194304 4196468 140733268021760 139683416542352 139683618457301 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23326720 140733268026335 140733268026502 140733268026502 140733268029391 0
[pid=20247/tid=20257] ppid=20182 vsize=8414124 memory=4488 CPUtime=0 cores=0-7
/proc/20247/task/20257/stat : 20257 (java) S 20182 20182 19128 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 500075632 8616062976 30320 33554432000 4194304 4196468 140733268021760 139682443552752 139683618458242 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23326720 140733268026335 140733268026502 140733268026502 140733268029391 0
[pid=20247/tid=20258] ppid=20182 vsize=8414124 memory=1412 CPUtime=0 cores=0-7
/proc/20247/task/20258/stat : 20258 (java) S 20182 20182 19128 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 500075632 8616062976 30320 33554432000 4194304 4196468 140733268021760 139682268570528 139683618457301 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23326720 140733268026335 140733268026502 140733268026502 140733268029391 0
[pid=20247/tid=20259] ppid=20182 vsize=8414124 memory=3612 CPUtime=0 cores=0-7
/proc/20247/task/20259/stat : 20259 (java) S 20182 20182 19128 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500075632 8616062976 30320 33554432000 4194304 4196468 140733268021760 139682000135152 139683618457301 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23326720 140733268026335 140733268026502 140733268026502 140733268029391 0
[pid=20247/tid=20260] ppid=20182 vsize=8414124 memory=50412 CPUtime=0 cores=0-7
/proc/20247/task/20260/stat : 20260 (java) S 20182 20182 19128 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500075635 8616062976 30320 33554432000 4194304 4196468 140733268021760 139681625626832 139683618465691 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23326720 140733268026335 140733268026502 140733268026502 140733268029391 0
[pid=20247/tid=20261] ppid=20182 vsize=8414124 memory=992 CPUtime=0.09 cores=0-7
/proc/20247/task/20261/stat : 20261 (java) S 20182 20182 19128 0 -1 1077944384 635 0 0 0 9 0 0 0 20 0 24 0 500075635 8616062976 30320 33554432000 4194304 4196468 140733268021760 139682442500592 139683618458242 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23326720 140733268026335 140733268026502 140733268026502 140733268029391 0
[pid=20247/tid=20262] ppid=20182 vsize=8414124 memory=2044 CPUtime=0.15 cores=0-7
/proc/20247/task/20262/stat : 20262 (java) S 20182 20182 19128 0 -1 1077944384 579 0 0 0 15 0 0 0 20 0 24 0 500075635 8616062976 30320 33554432000 4194304 4196468 140733268021760 139682441448048 139683618458242 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23326720 140733268026335 140733268026502 140733268026502 140733268029391 0
[pid=20247/tid=20263] ppid=20182 vsize=8414124 memory=1424 CPUtime=0.07 cores=0-7
/proc/20247/task/20263/stat : 20263 (java) S 20182 20182 19128 0 -1 1077944384 226 0 0 0 7 0 0 0 20 0 24 0 500075635 8616062976 30320 33554432000 4194304 4196468 140733268021760 139682440395504 139683618458242 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23326720 140733268026335 140733268026502 140733268026502 140733268029391 0
[pid=20247/tid=20264] ppid=20182 vsize=8414124 memory=7686721470351185811 CPUtime=0.22 cores=0-7
/proc/20247/task/20264/stat : 20264 (java) S 20182 20182 19128 0 -1 1077944384 568 0 0 0 22 0 0 0 20 0 24 0 500075635 8616062976 30320 33554432000 4194304 4196468 140733268021760 139682439342960 139683618458242 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23326720 140733268026335 140733268026502 140733268026502 140733268029391 0
[pid=20247/tid=20265] ppid=20182 vsize=8414124 memory=23360 CPUtime=0 cores=0-7
/proc/20247/task/20265/stat : 20265 (java) S 20182 20182 19128 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 500075635 8616062976 30320 33554432000 4194304 4196468 140733268021760 139681127721184 139683618457301 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23326720 140733268026335 140733268026502 140733268026502 140733268029391 0
[pid=20247/tid=20266] ppid=20182 vsize=8414124 memory=12024 CPUtime=0.02 cores=0-7
/proc/20247/task/20266/stat : 20266 (java) S 20182 20182 19128 0 -1 1077944384 5 0 0 0 1 1 0 0 20 0 24 0 500075636 8616062976 30320 33554432000 4194304 4196468 140733268021760 139682438289840 139683618458242 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23326720 140733268026335 140733268026502 140733268026502 140733268029391 0
[pid=20247/tid=20268] ppid=20182 vsize=8414124 memory=2120 CPUtime=0 cores=0-7
/proc/20247/task/20268/stat : 20268 (java) S 20182 20182 19128 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 500075706 8616062976 30320 33554432000 4194304 4196468 140733268021760 139682430256320 139683618471705 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 23326720 140733268026335 140733268026502 140733268026502 140733268029391 0
[pid=20247/tid=20270] ppid=20182 vsize=8414124 memory=500 CPUtime=0 cores=0-7
/proc/20247/task/20270/stat : 20270 (java) S 20182 20182 19128 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 500075707 8616062976 30320 33554432000 4194304 4196468 140733268021760 139680456621840 139683618469021 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 23326720 140733268026335 140733268026502 140733268026502 140733268029391 0
[pid=20247/tid=20271] ppid=20182 vsize=8414124 memory=1556 CPUtime=0 cores=0-7
/proc/20247/task/20271/stat : 20271 (java) S 20182 20182 19128 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 500075707 8616062976 30320 33554432000 4194304 4196468 140733268021760 139680725057424 139683618469021 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 23326720 140733268026335 140733268026502 140733268026502 140733268029391 0
[pid=20247/tid=20272] ppid=20182 vsize=8414124 memory=924 CPUtime=0 cores=0-7
/proc/20247/task/20272/stat : 20272 (java) S 20182 20182 19128 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 500075709 8616062976 30320 33554432000 4194304 4196468 140733268021760 139680188194480 139683618457301 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23326720 140733268026335 140733268026502 140733268026502 140733268029391 0
Current children cumulated CPU time: 837.15 s
Current children cumulated vsize: 15457548 KiB
Current children cumulated memory: 6510768 KiB

[startup+601.201 s]
/proc/loadavg: 2.43 2.41 4.15 4/218 20281
/proc/meminfo: memFree=18235972/32770624 swapFree=66973908/67108860
[pid=20182] ppid=20179 vsize=113128 memory=1476 CPUtime=666.25 cores=0-7
/proc/20182/stat : 20182 (scop.sh) S 20179 20182 19128 0 -1 4202496 583 199713 0 0 0 0 64383 2242 20 0 1 0 500021345 115843072 369 33554432000 4194304 5098028 140732000585408 140732000582152 140670789071484 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 34742272 140732000588541 140732000588888 140732000588888 140732000591817 0
/proc/20182/statm: 28282 369 311 221 0 87 0
[pid=20247] ppid=20182 vsize=8414124 memory=180564 CPUtime=1.83 cores=0-7
/proc/20247/stat : 20247 (java) S 20182 20182 19128 0 -1 1077944320 21346 0 0 0 173 10 0 0 20 0 24 0 500075628 8616062976 45141 33554432000 4194304 4196468 140733268021760 140733268004304 139683618447095 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23326720 140733268026335 140733268026502 140733268026502 140733268029391 0
/proc/20247/statm: 2103531 45141 3229 1 0 2064875 0
[pid=20247/tid=20248] ppid=20182 vsize=8414124 memory=1476 CPUtime=0.79 cores=0-7
/proc/20247/task/20248/stat : 20248 (java) S 20182 20182 19128 0 -1 1077944384 16405 0 0 0 73 6 0 0 20 0 24 0 500075629 8616062976 45141 33554432000 4194304 4196468 140733268021760 139683590287264 139683618457301 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23326720 140733268026335 140733268026502 140733268026502 140733268029391 0
[pid=20247/tid=20249] ppid=20182 vsize=8414124 memory=8324805606163839886 CPUtime=0 cores=0-7
/proc/20247/task/20249/stat : 20249 (java) S 20182 20182 19128 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 500075630 8616062976 45141 33554432000 4194304 4196468 140733268021760 139683622689040 139683618457301 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23326720 140733268026335 140733268026502 140733268026502 140733268029391 0
[pid=20247/tid=20250] ppid=20182 vsize=8414124 memory=288230621803970871 CPUtime=0 cores=0-7
/proc/20247/task/20250/stat : 20250 (java) S 20182 20182 19128 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500075630 8616062976 45141 33554432000 4194304 4196468 140733268021760 139683422857616 139683618457301 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23326720 140733268026335 140733268026502 140733268026502 140733268029391 0
[pid=20247/tid=20251] ppid=20182 vsize=8414124 memory=16097065818130913 CPUtime=0 cores=0-7
/proc/20247/task/20251/stat : 20251 (java) S 20182 20182 19128 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500075630 8616062976 45141 33554432000 4194304 4196468 140733268021760 139683421805072 139683618457301 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23326720 140733268026335 140733268026502 140733268026502 140733268029391 0
[pid=20247/tid=20252] ppid=20182 vsize=8414124 memory=9051283677730746851 CPUtime=0 cores=0-7
/proc/20247/task/20252/stat : 20252 (java) S 20182 20182 19128 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500075630 8616062976 45141 33554432000 4194304 4196468 140733268021760 139683420752528 139683618457301 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23326720 140733268026335 140733268026502 140733268026502 140733268029391 0
[pid=20247/tid=20253] ppid=20182 vsize=8414124 memory=-2892745056948402235 CPUtime=0 cores=0-7
/proc/20247/task/20253/stat : 20253 (java) S 20182 20182 19128 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 500075630 8616062976 45141 33554432000 4194304 4196468 140733268021760 139683419699984 139683618457301 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23326720 140733268026335 140733268026502 140733268026502 140733268029391 0
[pid=20247/tid=20254] ppid=20182 vsize=8414124 memory=-7751062316387021378 CPUtime=0 cores=0-7
/proc/20247/task/20254/stat : 20254 (java) S 20182 20182 19128 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500075630 8616062976 45141 33554432000 4194304 4196468 140733268021760 139683418647440 139683618457301 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23326720 140733268026335 140733268026502 140733268026502 140733268029391 0
[pid=20247/tid=20255] ppid=20182 vsize=8414124 memory=740 CPUtime=0 cores=0-7
/proc/20247/task/20255/stat : 20255 (java) S 20182 20182 19128 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 500075630 8616062976 45141 33554432000 4194304 4196468 140733268021760 139683417594896 139683618457301 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23326720 140733268026335 140733268026502 140733268026502 140733268029391 0
[pid=20247/tid=20256] ppid=20182 vsize=8414124 memory=1056 CPUtime=0 cores=0-7
/proc/20247/task/20256/stat : 20256 (java) S 20182 20182 19128 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 500075630 8616062976 45141 33554432000 4194304 4196468 140733268021760 139683416542352 139683618457301 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23326720 140733268026335 140733268026502 140733268026502 140733268029391 0
[pid=20247/tid=20257] ppid=20182 vsize=8414124 memory=3725034 CPUtime=0 cores=0-7
/proc/20247/task/20257/stat : 20257 (java) S 20182 20182 19128 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 500075632 8616062976 45141 33554432000 4194304 4196468 140733268021760 139682443552752 139683618458242 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23326720 140733268026335 140733268026502 140733268026502 140733268029391 0
[pid=20247/tid=20258] ppid=20182 vsize=8414124 memory=288230596134843759 CPUtime=0 cores=0-7
/proc/20247/task/20258/stat : 20258 (java) S 20182 20182 19128 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 500075632 8616062976 45141 33554432000 4194304 4196468 140733268021760 139682268570528 139683618457301 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23326720 140733268026335 140733268026502 140733268026502 140733268029391 0
[pid=20247/tid=20259] ppid=20182 vsize=8414124 memory=3739893 CPUtime=0 cores=0-7
/proc/20247/task/20259/stat : 20259 (java) S 20182 20182 19128 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500075632 8616062976 45141 33554432000 4194304 4196468 140733268021760 139682000135152 139683618457301 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23326720 140733268026335 140733268026502 140733268026502 140733268029391 0
[pid=20247/tid=20260] ppid=20182 vsize=8414124 memory=288286666899325860 CPUtime=0 cores=0-7
/proc/20247/task/20260/stat : 20260 (java) S 20182 20182 19128 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500075635 8616062976 45141 33554432000 4194304 4196468 140733268021760 139681625626832 139683618465691 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23326720 140733268026335 140733268026502 140733268026502 140733268029391 0
[pid=20247/tid=20261] ppid=20182 vsize=8414124 memory=50412 CPUtime=0.15 cores=0-7
/proc/20247/task/20261/stat : 20261 (java) S 20182 20182 19128 0 -1 1077944384 874 0 0 0 15 0 0 0 20 0 24 0 500075635 8616062976 45141 33554432000 4194304 4196468 140733268021760 139682442500592 139683618458242 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23326720 140733268026335 140733268026502 140733268026502 140733268029391 0
[pid=20247/tid=20262] ppid=20182 vsize=8414124 memory=1476 CPUtime=0.22 cores=0-7
/proc/20247/task/20262/stat : 20262 (java) S 20182 20182 19128 0 -1 1077944384 624 0 0 0 22 0 0 0 20 0 24 0 500075635 8616062976 45141 33554432000 4194304 4196468 140733268021760 139682441448048 139683618458242 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23326720 140733268026335 140733268026502 140733268026502 140733268029391 0
[pid=20247/tid=20263] ppid=20182 vsize=8414124 memory=121280 CPUtime=0.13 cores=0-7
/proc/20247/task/20263/stat : 20263 (java) S 20182 20182 19128 0 -1 1077944384 318 0 0 0 13 0 0 0 20 0 24 0 500075635 8616062976 45141 33554432000 4194304 4196468 140733268021760 139682440395504 139683618458242 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23326720 140733268026335 140733268026502 140733268026502 140733268029391 0
[pid=20247/tid=20264] ppid=20182 vsize=8414124 memory=6387948 CPUtime=0.27 cores=0-7
/proc/20247/task/20264/stat : 20264 (java) S 20182 20182 19128 0 -1 1077944384 1145 0 0 0 27 0 0 0 20 0 24 0 500075635 8616062976 45141 33554432000 4194304 4196468 140733268021760 139682439342960 139683618458242 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23326720 140733268026335 140733268026502 140733268026502 140733268029391 0
[pid=20247/tid=20265] ppid=20182 vsize=8414124 memory=7595147514298067025 CPUtime=0 cores=0-7
/proc/20247/task/20265/stat : 20265 (java) S 20182 20182 19128 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 500075635 8616062976 45141 33554432000 4194304 4196468 140733268021760 139681127721184 139683618457301 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23326720 140733268026335 140733268026502 140733268026502 140733268029391 0
[pid=20247/tid=20266] ppid=20182 vsize=8414124 memory=7524503900901105746 CPUtime=0.02 cores=0-7
/proc/20247/task/20266/stat : 20266 (java) S 20182 20182 19128 0 -1 1077944384 5 0 0 0 1 1 0 0 20 0 24 0 500075636 8616062976 45141 33554432000 4194304 4196468 140733268021760 139682438289840 139683618458242 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23326720 140733268026335 140733268026502 140733268026502 140733268029391 0
[pid=20247/tid=20268] ppid=20182 vsize=8414124 memory=7156897534074970212 CPUtime=0 cores=0-7
/proc/20247/task/20268/stat : 20268 (java) S 20182 20182 19128 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 500075706 8616062976 45141 33554432000 4194304 4196468 140733268021760 139682430256320 139683618471705 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 23326720 140733268026335 140733268026502 140733268026502 140733268029391 0
[pid=20247/tid=20270] ppid=20182 vsize=8414124 memory=8171330085830682688 CPUtime=0.18 cores=0-7
/proc/20247/task/20270/stat : 20270 (java) S 20182 20182 19128 0 -1 4202560 583 0 0 0 17 1 0 0 20 0 24 0 500075707 8616062976 45141 33554432000 4194304 4196468 140733268021760 139680456621792 139683618469021 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 23326720 140733268026335 140733268026502 140733268026502 140733268029391 0
[pid=20247/tid=20271] ppid=20182 vsize=8414124 memory=7656234164066741347 CPUtime=0 cores=0-7
/proc/20247/task/20271/stat : 20271 (java) S 20182 20182 19128 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 500075707 8616062976 45141 33554432000 4194304 4196468 140733268021760 139680725057424 139683618469021 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 23326720 140733268026335 140733268026502 140733268026502 140733268029391 0
[pid=20247/tid=20272] ppid=20182 vsize=8414124 memory=5931348931289443429 CPUtime=0 cores=0-7
/proc/20247/task/20272/stat : 20272 (java) S 20182 20182 19128 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 500075709 8616062976 45141 33554432000 4194304 4196468 140733268021760 139680188194480 139683618457301 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23326720 140733268026335 140733268026502 140733268026502 140733268029391 0
Current children cumulated CPU time: 668.08 s
Current children cumulated vsize: 8527252 KiB
Current children cumulated memory: 182040 KiB

[startup+601.601 s]
/proc/loadavg: 2.43 2.41 4.15 4/218 20281
/proc/meminfo: memFree=18235972/32770624 swapFree=66973908/67108860
[pid=20182] ppid=20179 vsize=113128 memory=1476 CPUtime=666.25 cores=0-7
/proc/20182/stat : 20182 (scop.sh) S 20179 20182 19128 0 -1 4202496 583 199713 0 0 0 0 64383 2242 20 0 1 0 500021345 115843072 369 33554432000 4194304 5098028 140732000585408 140732000582152 140670789071484 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 34742272 140732000588541 140732000588888 140732000588888 140732000591817 0
/proc/20182/statm: 28282 369 311 221 0 87 0
[pid=20247] ppid=20182 vsize=8283048 memory=197964 CPUtime=172.57 cores=0-7
/proc/20247/stat : 20247 (java) S 20182 20182 19128 0 -1 1077944320 23644 3974422 0 0 228 19 16267 743 20 0 22 0 500075628 8481841152 49491 33554432000 4194304 4196468 140733268021760 140733268004304 139683618447095 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23326720 140733268026335 140733268026502 140733268026502 140733268029391 0
/proc/20247/statm: 2070762 49491 3237 1 0 2032106 0
[pid=20247/tid=20248] ppid=20182 vsize=8283048 memory=0 CPUtime=171.17 cores=0-7
/proc/20247/task/20248/stat : 20248 (java) R 20182 20182 19128 0 -1 4202560 17790 3974422 0 0 93 14 16267 743 20 0 22 0 500075629 8481841152 49491 33554432000 4194304 4196468 140733268021760 139683590284480 139683611132727 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23326720 140733268026335 140733268026502 140733268026502 140733268029391 0
[pid=20247/tid=20249] ppid=20182 vsize=8283048 memory=-7233780906022726806 CPUtime=170.1 cores=0-7
/proc/20247/task/20249/stat : 20249 (java) S 20182 20182 19128 0 -1 1077944384 2 3974422 0 0 0 0 16267 743 20 0 22 0 500075630 8481841152 49491 33554432000 4194304 4196468 140733268021760 139683622689040 139683618457301 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23326720 140733268026335 140733268026502 140733268026502 140733268029391 0
[pid=20247/tid=20250] ppid=20182 vsize=8283048 memory=7681905605394137875 CPUtime=170.1 cores=0-7
/proc/20247/task/20250/stat : 20250 (java) S 20182 20182 19128 0 -1 1077944384 1 3974422 0 0 0 0 16267 743 20 0 22 0 500075630 8481841152 49491 33554432000 4194304 4196468 140733268021760 139683422857616 139683618457301 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23326720 140733268026335 140733268026502 140733268026502 140733268029391 0
[pid=20247/tid=20251] ppid=20182 vsize=8283048 memory=6791534058613427641 CPUtime=170.1 cores=0-7
/proc/20247/task/20251/stat : 20251 (java) S 20182 20182 19128 0 -1 1077944384 1 3974422 0 0 0 0 16267 743 20 0 22 0 500075630 8481841152 49491 33554432000 4194304 4196468 140733268021760 139683421805072 139683618457301 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23326720 140733268026335 140733268026502 140733268026502 140733268029391 0
[pid=20247/tid=20252] ppid=20182 vsize=8283048 memory=1424 CPUtime=170.1 cores=0-7
/proc/20247/task/20252/stat : 20252 (java) S 20182 20182 19128 0 -1 1077944384 1 3974422 0 0 0 0 16267 743 20 0 22 0 500075630 8481841152 49491 33554432000 4194304 4196468 140733268021760 139683420752528 139683618457301 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23326720 140733268026335 140733268026502 140733268026502 140733268029391 0
[pid=20247/tid=20253] ppid=20182 vsize=8283048 memory=11624 CPUtime=170.1 cores=0-7
/proc/20247/task/20253/stat : 20253 (java) S 20182 20182 19128 0 -1 1077944384 2 3974422 0 0 0 0 16267 743 20 0 22 0 500075630 8481841152 49491 33554432000 4194304 4196468 140733268021760 139683419699984 139683618457301 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23326720 140733268026335 140733268026502 140733268026502 140733268029391 0
[pid=20247/tid=20254] ppid=20182 vsize=8283048 memory=740 CPUtime=170.1 cores=0-7
/proc/20247/task/20254/stat : 20254 (java) S 20182 20182 19128 0 -1 1077944384 1 3974422 0 0 0 0 16267 743 20 0 22 0 500075630 8481841152 49491 33554432000 4194304 4196468 140733268021760 139683418647440 139683618457301 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23326720 140733268026335 140733268026502 140733268026502 140733268029391 0
[pid=20247/tid=20255] ppid=20182 vsize=8283048 memory=3612 CPUtime=170.1 cores=0-7
/proc/20247/task/20255/stat : 20255 (java) S 20182 20182 19128 0 -1 1077944384 3 3974422 0 0 0 0 16267 743 20 0 22 0 500075630 8481841152 49491 33554432000 4194304 4196468 140733268021760 139683417594896 139683618457301 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23326720 140733268026335 140733268026502 140733268026502 140733268029391 0
[pid=20247/tid=20256] ppid=20182 vsize=8283048 memory=50412 CPUtime=170.1 cores=0-7
/proc/20247/task/20256/stat : 20256 (java) S 20182 20182 19128 0 -1 1077944384 2 3974422 0 0 0 0 16267 743 20 0 22 0 500075630 8481841152 49491 33554432000 4194304 4196468 140733268021760 139683416542352 139683618457301 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23326720 140733268026335 140733268026502 140733268026502 140733268029391 0
[pid=20247/tid=20257] ppid=20182 vsize=8283048 memory=992 CPUtime=170.1 cores=0-7
/proc/20247/task/20257/stat : 20257 (java) S 20182 20182 19128 0 -1 1077944384 7 3974422 0 0 0 0 16267 743 20 0 22 0 500075632 8481841152 49491 33554432000 4194304 4196468 140733268021760 139682443552752 139683618458242 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23326720 140733268026335 140733268026502 140733268026502 140733268029391 0
[pid=20247/tid=20258] ppid=20182 vsize=8283048 memory=2044 CPUtime=170.1 cores=0-7
/proc/20247/task/20258/stat : 20258 (java) S 20182 20182 19128 0 -1 1077944384 13 3974422 0 0 0 0 16267 743 20 0 22 0 500075632 8481841152 49491 33554432000 4194304 4196468 140733268021760 139682268570528 139683618457301 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23326720 140733268026335 140733268026502 140733268026502 140733268029391 0
[pid=20247/tid=20259] ppid=20182 vsize=8283048 memory=1476 CPUtime=170.1 cores=0-7
/proc/20247/task/20259/stat : 20259 (java) S 20182 20182 19128 0 -1 1077944384 1 3974422 0 0 0 0 16267 743 20 0 22 0 500075632 8481841152 49491 33554432000 4194304 4196468 140733268021760 139682000135152 139683618457301 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23326720 140733268026335 140733268026502 140733268026502 140733268029391 0
[pid=20247/tid=20260] ppid=20182 vsize=8283048 memory=121280 CPUtime=170.1 cores=0-7
/proc/20247/task/20260/stat : 20260 (java) S 20182 20182 19128 0 -1 1077944384 1 3974422 0 0 0 0 16267 743 20 0 22 0 500075635 8481841152 49491 33554432000 4194304 4196468 140733268021760 139681625626832 139683618465691 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23326720 140733268026335 140733268026502 140733268026502 140733268029391 0
[pid=20247/tid=20261] ppid=20182 vsize=8283048 memory=6382848 CPUtime=170.31 cores=0-7
/proc/20247/task/20261/stat : 20261 (java) S 20182 20182 19128 0 -1 1077944384 1020 3974422 0 0 21 0 16267 743 20 0 22 0 500075635 8481841152 49491 33554432000 4194304 4196468 140733268021760 139682442500592 139683618458242 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23326720 140733268026335 140733268026502 140733268026502 140733268029391 0
[pid=20247/tid=20262] ppid=20182 vsize=8283048 memory=7307773614770901584 CPUtime=170.41 cores=0-7
/proc/20247/task/20262/stat : 20262 (java) S 20182 20182 19128 0 -1 1077944384 857 3974422 0 0 31 0 16267 743 20 0 22 0 500075635 8481841152 49491 33554432000 4194304 4196468 140733268021760 139682441448048 139683618458242 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23326720 140733268026335 140733268026502 140733268026502 140733268029391 0
[pid=20247/tid=20263] ppid=20182 vsize=8283048 memory=6005380144300624442 CPUtime=170.3 cores=0-7
/proc/20247/task/20263/stat : 20263 (java) S 20182 20182 19128 0 -1 1077944384 489 3974422 0 0 20 0 16267 743 20 0 22 0 500075635 8481841152 49491 33554432000 4194304 4196468 140733268021760 139682440395504 139683618458242 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23326720 140733268026335 140733268026502 140733268026502 140733268029391 0
[pid=20247/tid=20264] ppid=20182 vsize=8283048 memory=121280 CPUtime=170.5 cores=0-7
/proc/20247/task/20264/stat : 20264 (java) S 20182 20182 19128 0 -1 1077944384 1499 3974422 0 0 40 0 16267 743 20 0 22 0 500075635 8481841152 49491 33554432000 4194304 4196468 140733268021760 139682439342960 139683618458242 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23326720 140733268026335 140733268026502 140733268026502 140733268029391 0
[pid=20247/tid=20265] ppid=20182 vsize=8283048 memory=6385280 CPUtime=170.1 cores=0-7
/proc/20247/task/20265/stat : 20265 (java) S 20182 20182 19128 0 -1 1077944384 3 3974422 0 0 0 0 16267 743 20 0 22 0 500075635 8481841152 49491 33554432000 4194304 4196468 140733268021760 139681127721184 139683618457301 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23326720 140733268026335 140733268026502 140733268026502 140733268029391 0
[pid=20247/tid=20266] ppid=20182 vsize=8283048 memory=6383496 CPUtime=170.12 cores=0-7
/proc/20247/task/20266/stat : 20266 (java) S 20182 20182 19128 0 -1 1077944384 5 3974422 0 0 1 1 16267 743 20 0 22 0 500075636 8481841152 49491 33554432000 4194304 4196468 140733268021760 139682438289840 139683618458242 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23326720 140733268026335 140733268026502 140733268026502 140733268029391 0
[pid=20247/tid=20268] ppid=20182 vsize=8283048 memory=3644 CPUtime=170.1 cores=0-7
/proc/20247/task/20268/stat : 20268 (java) S 20182 20182 19128 0 -1 1077944384 25 3974422 0 0 0 0 16267 743 20 0 22 0 500075706 8481841152 49491 33554432000 4194304 4196468 140733268021760 139682430255504 139683618458242 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23326720 140733268026335 140733268026502 140733268026502 140733268029391 0
[pid=20247/tid=20272] ppid=20182 vsize=8283048 memory=780 CPUtime=170.1 cores=0-7
/proc/20247/task/20272/stat : 20272 (java) S 20182 20182 19128 0 -1 1077944384 13 3974422 0 0 0 0 16267 743 20 0 22 0 500075709 8481841152 49491 33554432000 4194304 4196468 140733268021760 139680188196272 139683618458242 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23326720 140733268026335 140733268026502 140733268026502 140733268029391 0
Current children cumulated CPU time: 838.82 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 199440 KiB

Child status: 0
Real time (s): 601.622
CPU time (s): 838.876
CPU user time (s): 808.797
CPU system time (s): 30.0793
CPU usage (%): 139.436
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 14262372

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 808.797
system time used= 30.0793
maximum resident set size= 14261168
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4198398
page faults= 0
swaps= 0
block input operations= 40
block output operations= 1106480
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 271262
involuntary context switches= 2104


# summary of solver processes directly reported to runsolver:
#   pid: 20182
#   total CPU time (s): 838.876
#   total CPU user time (s): 808.797
#   total CPU system time (s): 30.0793

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.28295 second user time and 6.46204 second system time

The end

Launcher Data 

Begin job on node117 at 2019-09-23 14:12:32
IDJOB=4405232
IDBENCH=123195
IDSOLVER=2867
FILE ID=node117/4405232-1569240795
RUNJOBID= node117-1569238588-19155
PBS_JOBID= 21704911
Free space on /var/tmp= 13512 MiB

SOLVER NAME= Fun-sCOP order+ManyGlucose (2019-09-22)
BENCH NAME= XCSP17/MagicSequence/MagicSequence-card-s1/MagicSequence-800-ca.xml
COMMAND LINE= DIR/scop.sh 22g DIR/scop.jar -order DIR/manyglucose-4.1-27_release -model:-nthreads=NBCORE:-maxmemory=20000:-lit-scans=6000000 TMPDIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4405232-1569240795/watcher-4405232-1569240795 -o /var/tmp/evaluation-result-4405232-1569240795/solver-4405232-1569240795 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node117-1569238588-19155 --watchdog 2580  HOME/scop.sh 22g HOME/scop.jar -order HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4405232-1569240795.xml

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

MD5SUM BENCH= bba643cbf375a501e11ba296082ede1c
RANDOM SEED=1121499942

node117.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.75
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.75
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.75
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.75
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:        25308000 kB
MemAvailable:   31823656 kB
Buffers:          101632 kB
Cached:          6463888 kB
SwapCached:        27984 kB
Active:          3248868 kB
Inactive:        3350564 kB
Active(anon):       4992 kB
Inactive(anon):    79652 kB
Active(file):    3243876 kB
Inactive(file):  3270912 kB
Unevictable:      107656 kB
Mlocked:          107656 kB
SwapTotal:      67108860 kB
SwapFree:       66973908 kB
Dirty:             20400 kB
Writeback:             0 kB
AnonPages:        113576 kB
Mapped:            52136 kB
Shmem:             42244 kB
Slab:             457644 kB
SReclaimable:     429328 kB
SUnreclaim:        28316 kB
KernelStack:        3728 kB
PageTables:         5376 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     514564 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     67584 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      118144 kB
DirectMap2M:    33427456 kB

Free space on /var/tmp at the end= 13492 MiB
End job on node117 at 2019-09-23 14:22:34