Trace number 4405532

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Fun-sCOP hybrid+ManyGlucose (2019-09-22)SAT 988.048 813.074

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 -hybrid -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-645-serial-file.bin HOME/instance-4405532-1569240802.xml
0.65/0.54	
0.65/0.54	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
0.65/0.54	
0.65/0.56	c BEGIN-Prog: Mon Sep 23 14:12:42 CEST 2019
0.65/0.56	c PID: 648
0.65/0.56	c IP: 172.20.3.151
0.65/0.56	c HOST: node151.alineos.net
0.65/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.05	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.73/1.05	c (0,0) Constraint Name Generate Begin
1.73/1.06	c (0,0) Ctr:HOME/instance-4405532-1569240802.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.09	c (0,0) translated 1 (10%) constraints
361.10/313.99	c (313,307) translated 2 (20%) constraints
361.66/314.45	c (313,307) translated 3 (30%) constraints
362.18/314.91	c (314,308) ===========================================
362.75/315.48	c (314,308) Hybrid: #OE=0, #LE=640800
362.75/315.48	c (314,308) Hybrid
362.75/315.48	c (314,308) ===========================================
465.19/408.12	c (407,399) translated 128081 (10%) constraints
471.26/414.15	c (413,405) translated 256161 (20%) constraints
477.66/420.52	c (419,412) translated 384241 (30%) constraints
483.66/426.54	c (425,418) translated 512321 (40%) constraints
496.48/433.47	c (432,424) translated 640401 (50%) constraints
502.58/439.52	c (438,430) translated 768482 (60%) constraints
508.58/445.59	c (445,436) translated 896562 (70%) constraints
520.75/452.41	c (451,442) translated 1024642 (80%) constraints
526.92/458.52	c (457,448) translated 1152722 (90%) constraints
533.32/464.94	c (464,455) translated 1280802 (100%) constraints
533.62/465.28	c (464,455) CSP to CSPinCNF End
533.92/465.58	c (465,455) CSP: 401 int (0 aux), 1280399 bool (1280000 aux), 2561604 ctr, max domain size 800
533.92/465.58	c (465,455) Heap : 8265 MiB used (max 22063 MiB), NonHeap : 26 MiB used (max 0 MiB)
533.92/465.58	c (465,455) CSPinCNF Propagation Begin
848.03/743.19	c (742,728) 1266444 values, 2533044 unsatisfiable literals, and 2533044 valid clauses are removed
848.03/743.19	c (742,728) CSPinCNF Propagation End
848.52/743.69	c (743,728) CSP: 401 int (0 aux), 1280399 bool (1280000 aux), 28560 ctr, max domain size 800
848.52/743.69	c (743,728) Heap : 9383 MiB used (max 22275 MiB), NonHeap : 26 MiB used (max 0 MiB)
848.98/744.01	c (743,728) Hybrid: #OE=640000, #LE=640800
848.98/744.01	c (743,728) Simplify CSPinCNF Begin
850.14/744.61	c (744,729) Simplify CSPinCNF End
850.71/745.11	c (744,730) CSP: 401 int (0 aux), 1291477 bool (1291078 aux), 39638 ctr, max domain size 800
850.71/745.11	c (744,730) Heap : 9804 MiB used (max 22275 MiB), NonHeap : 26 MiB used (max 0 MiB)
850.71/745.11	c (744,730) Calculate Precise Domain Begin
850.71/745.11	c (744,730) 0 values are removed by re-calculation
850.71/745.11	c (744,730) Calculate Precise Domain End
851.20/745.61	c (745,730) CSP: 401 int (0 aux), 1291477 bool (1291078 aux), 39638 ctr, max domain size 800
851.20/745.61	c (745,730) Heap : 9944 MiB used (max 22275 MiB), NonHeap : 26 MiB used (max 0 MiB)
851.20/745.61	c (745,730) CSPinCNF to SatSolver Begin
877.73/761.99	c (761,744) 3964 (10 %) CSP clauses are encoded (0 SAT variables, 5144202 SAT clauses)
878.42/762.13	c (761,744) 7928 (20 %) CSP clauses are encoded (0 SAT variables, 5155527 SAT clauses)
879.18/762.54	c (761,745) 11892 (30 %) CSP clauses are encoded (0 SAT variables, 5170577 SAT clauses)
879.18/762.54	c (761,745) 15856 (40 %) CSP clauses are encoded (0 SAT variables, 5192458 SAT clauses)
879.18/762.54	c (761,745) 19819 (50 %) CSP clauses are encoded (0 SAT variables, 5220032 SAT clauses)
879.18/762.63	c (762,745) 23783 (60 %) CSP clauses are encoded (0 SAT variables, 5253540 SAT clauses)
879.87/762.78	c (762,745) 27747 (70 %) CSP clauses are encoded (0 SAT variables, 5292668 SAT clauses)
880.07/762.93	c (762,745) 31711 (80 %) CSP clauses are encoded (0 SAT variables, 5336974 SAT clauses)
880.17/763.09	c (762,745) 35675 (90 %) CSP clauses are encoded (0 SAT variables, 5384272 SAT clauses)
903.37/777.17	c (776,757) 39638 (100 %) CSP clauses are encoded (0 SAT variables, 10404832 SAT clauses)
920.72/783.91	c (783,763) CSPinCNF to SatSolver End
920.72/783.91	c (783,763) Heap : 10132 MiB used (max 22041 MiB), NonHeap : 30 MiB used (max 0 MiB)
920.72/783.91	c (783,763) 4562826 bool, 12814637 clause
920.72/783.91	c (783,763) Export Begin
921.25/784.12	c (783,763) Export to HOME/scop-645-serial-file.bin
921.25/784.12	c (783,763) Export End
921.25/784.12	c (783,763) Export File Size: 0.35 MB
921.25/784.12	c (783,763) 0,0,465,743,744,745,783,STOP-AFTER(DIMACS)
921.25/784.12	c END-Prog: Mon Sep 23 14:25:45 CEST 2019
921.25/784.20	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-645-serial-file.bin
921.37/784.67	c (0,0) Read Serial File Begin
921.37/784.67	c (0,0) HOME/scop-645-serial-file.bin
921.37/785.00	c (0,0) Read Serial File End
921.37/785.02	
921.37/785.02	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
921.37/785.02	(Solving Process)
921.37/785.02	
921.37/785.04	c BEGIN-Prog: Mon Sep 23 14:25:46 CEST 2019
921.37/785.04	c PID: 725
921.37/785.04	c IP: 172.20.3.151
921.37/785.04	c HOST: node151.alineos.net
921.37/785.04	c (0,0) SatSolver.solve Begin
921.37/785.04	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4405532-1569240802.xml-scop-648.cnf
921.37/785.07	c (0,0) c
921.37/785.07	c (0,0) c This is deterministic version of glucose-syrup 4.1-27 (glucose in many threads) --  based on MiniSAT (Many thanks to MiniSAT team)
921.37/785.07	c (0,0) c
921.37/785.07	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
921.37/785.07	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
921.37/785.07	c (0,0) c ========================================[ Problem Statistics ]===========================================
921.37/785.07	c (0,0) c |                                                                                                       |
929.15/791.25	c (6,0) c |  Number of variables:       4562826                                                                   |
929.15/791.25	c (6,0) c |  Number of clauses:        12813276                                                                   |
929.15/791.25	c (6,0) c |  Parse time:                   5.61 s                                                                 |
929.15/791.25	c (6,0) c |                                                                                                       |
930.64/792.79	c (8,0) c | Too many clauses... No preprocessing                                                                  |
930.64/792.79	c (8,0) c |  Simplification time:          1.36 s                                                                 |
930.64/792.79	c (8,0) c |                                                                                                       |
930.64/792.79	c (8,0) c |  One Solver is taking   1915.69Mb... Let's take   4 solvers for this run (max 40% of the maxmemory).  |
930.64/792.79	c (8,0) c |  Generating clones                                                                                    |
933.75/795.85	c (11,0) c |  all clones generated. Memory =  6293.27Mb.                                                           |
933.75/795.85	c (11,0) c ========================================================================================================|
933.75/795.85	c (11,0) c
933.75/795.85	c (11,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
933.75/795.85	c (11,0) c
933.75/795.85	c (11,0) c |-----------------------|------------|------------|------------|------------|
933.75/795.85	c (11,0) c | Threads               |          0 |          1 |          2 |          3 |
933.75/795.85	c (11,0) c |-----------------------|------------|------------|------------|------------|
933.75/795.85	c (11,0) c | randomizeFirstDescent |      False |       True |       True |       True |
933.75/795.85	c (11,0) c | adaptStrategeis       |       True |      False |       True |      False |
933.75/795.85	c (11,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |
933.75/795.85	c (11,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |
933.75/795.85	c (11,0) c | chanseokStrategy      |      False |      False |      False |      False |
933.75/795.85	c (11,0) c | coLBDBound            |          5 |          5 |          5 |          5 |
933.75/795.85	c (11,0) c | glureduce             |       True |       True |       True |       True |
933.75/795.85	c (11,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |
933.75/795.85	c (11,0) c | incReduceDB           |        300 |        300 |        300 |        300 |
933.75/795.85	c (11,0) c | luby_restart          |      False |      False |      False |      False |
933.75/795.85	c (11,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |
933.75/795.85	c (11,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
933.75/795.85	c (11,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
933.75/795.85	c (11,0) c | randomize_on_restarts |      False |      False |      False |      False |
933.75/795.85	c (11,0) c | remove_satisfied      |       True |       True |       True |       True |
933.75/795.85	c (11,0) c |-----------------------|------------|------------|------------|------------|
981.73/810.42	c (25,0) c
981.73/810.42	c (25,0) c real time : 25.3411 s
981.73/810.42	c (25,0) c cpu time  : 54.9998 s
981.73/810.42	c (25,0) c
981.73/810.42	c (25,0) c
981.73/810.42	c (25,0) c
981.73/810.42	c (25,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
981.73/810.42	c (25,0) c
981.73/810.42	c (25,0) c |---------------|-----------------|------------|------------|------------|------------|
981.73/810.42	c (25,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |
981.73/810.42	c (25,0) c |---------------|-----------------|------------|------------|------------|------------|
981.73/810.42	c (25,0) c | Conflicts     |             449 |        109 |         87 |        124 |        129 |
981.73/810.42	c (25,0) c | Decisions     |         1930902 |    1088713 |     754880 |       1970 |      85339 |
981.73/810.42	c (25,0) c | Propagations  |       105221025 |   24449820 |   23510490 |   35483156 |   21777559 |
981.73/810.42	c (25,0) c | ReduceDBs     |               0 |          0 |          0 |          0 |          0 |
981.73/810.42	c (25,0) c | SimpDBs       |               4 |          1 |          1 |          1 |          1 |
981.73/810.42	c (25,0) c | Restarts      |               6 |          1 |          2 |          1 |          2 |
981.73/810.42	c (25,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |
981.73/810.42	c (25,0) c | PropBinClauses|        23283099 |    3989708 |    6267881 |    7974715 |    5050795 |
981.73/810.42	c (25,0) c | PropPreBlocker|       293498217 |   77510072 |   68153542 |   81962848 |   65871755 |
981.73/810.42	c (25,0) c | PropNotBlocker|       151128578 |   38257506 |   34143144 |   44337280 |   34390648 |
981.73/810.42	c (25,0) c | LitFullScans  |      1450223857 |  266904035 |  357452014 |  263384005 |  562483803 |
981.73/810.42	c (25,0) c | LitScanFracts |       522583208 |   56229633 |   69015150 |   50198149 |  347140276 |
981.73/810.42	c (25,0) c | DecisionLevel0|               6 |          1 |          2 |          1 |          2 |
981.73/810.42	c (25,0) c | Periods       |             153 |         35 |         48 |         35 |         35 |
981.73/810.42	c (25,0) c | Margin        |              80 |         20 |         20 |         20 |         20 |
981.73/810.42	c (25,0) c | Avg_Trail     |                 |    1343877 |     962977 |     920198 |    1264073 |
981.73/810.42	c (25,0) c | Avg_DL        |                 |         33 |       9458 |        388 |        993 |
981.73/810.42	c (25,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |
981.73/810.42	c (25,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |
981.73/810.42	c (25,0) c |---------------|-----------------|------------|------------|------------|------------|
981.73/810.42	c (25,0) c | Exported      |              11 |          1 |          7 |          1 |          2 |
981.73/810.42	c (25,0) c | Imported      |              11 |          0 |          4 |          0 |          7 |
981.73/810.42	c (25,0) c | Good          |               9 |          0 |          3 |          0 |          6 |
981.73/810.42	c (25,0) c | Purge         |               2 |          0 |          1 |          0 |          1 |
981.73/810.42	c (25,0) c | Promoted      |               0 |          0 |          0 |          0 |          0 |
981.73/810.42	c (25,0) c | Remove_Imp    |               0 |          0 |          0 |          0 |          0 |
981.73/810.42	c (25,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |
981.73/810.42	c (25,0) c |---------------|-----------------|------------|------------|------------|------------|
981.73/810.42	c (25,0) c | Unaries       |                 |          0 |          0 |          0 |          0 |
981.73/810.42	c (25,0) c | Binaries      |                 |          1 |          6 |          1 |          1 |
981.73/810.42	c (25,0) c | Glues         |                 |          1 |          7 |          1 |          2 |
981.73/810.42	c (25,0) c |---------------|-----------------|------------|------------|------------|------------|
981.73/810.42	c (25,0) c | Orig_Seen     |             6 % |     635399 |     718970 |    1003354 |     921967 |
981.73/810.42	c (25,0) c | Diff Orig seen|                 |      X     |      83571 |     367955 |     286568 |
981.73/810.42	c (25,0) c | Hamming       |             1 % |      X     |      70219 |      71255 |      65625 |
981.73/810.42	c (25,0) c |---------------|-----------------|------------|------------|------------|------------|
981.73/810.42	c (25,0) c | RunningTime   |                 |   11.1 100%|   11.4 100%|   11.2 100%|   14.4 100%|
981.73/810.42	c (25,0) c | WaitingTime   |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
981.73/810.42	c (25,0) c | ExchangingTime|                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
981.73/810.42	c (25,0) c | PeriodProcTime|                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
981.73/810.42	c (25,0) c | SolvingTime   |                 |   11.1     |   11.4     |   11.2     |   14.4     |
981.73/810.42	c (25,0) c | PropagationTim|                 |    8.3  75%|    7.6  67%|    8.7  78%|    7.7  53%|
981.73/810.42	c (25,0) c | AnalysisTime  |                 |    2.3  20%|    3.4  30%|    2.1  19%|    6.4  44%|
981.73/810.42	c (25,0) c | ReductionTime |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
981.73/810.42	c (25,0) c | SimplifyTime  |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
981.73/810.42	c (25,0) c | UsedRateTime  |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
981.73/810.42	c (25,0) c | OverlapRateTim|                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
981.73/810.42	c (25,0) c |---------------|-----------------|------------|------------|------------|------------|
981.73/810.42	c (25,0) c
981.73/810.42	c (25,0) c
981.73/810.42	c (25,0) c Threads : 4
981.73/810.42	c (25,0) c Winner : 0
981.73/810.42	c (25,0) c Conflicts_0 : 109
981.73/810.42	c (25,0) c Conflicts_1 : 87
981.73/810.42	c (25,0) c Conflicts_2 : 124
981.73/810.42	c (25,0) c Conflicts_3 : 129
981.73/810.42	c (25,0) c Conflicts_total : 449
981.73/810.42	c (25,0) c Conflicts_winner : 109
981.73/810.42	c (25,0) c Decisions_0 : 1088713
981.73/810.42	c (25,0) c Decisions_1 : 754880
981.73/810.42	c (25,0) c Decisions_2 : 1970
981.73/810.42	c (25,0) c Decisions_3 : 85339
981.73/810.42	c (25,0) c Decisions_total : 1930902
981.73/810.42	c (25,0) c Decisions_winner : 1088713
981.73/810.42	c (25,0) c Propagations_0 : 24449820
981.73/810.42	c (25,0) c Propagations_1 : 23510490
981.73/810.42	c (25,0) c Propagations_2 : 35483156
981.73/810.42	c (25,0) c Propagations_3 : 21777559
981.73/810.42	c (25,0) c Propagations_total : 105221025
981.73/810.42	c (25,0) c Propagations_winner : 24449820
981.73/810.42	c (25,0) c ReduceDBs_0 : 0
981.73/810.42	c (25,0) c ReduceDBs_1 : 0
981.73/810.42	c (25,0) c ReduceDBs_2 : 0
981.73/810.42	c (25,0) c ReduceDBs_3 : 0
981.73/810.42	c (25,0) c ReduceDBs_total : 0
981.73/810.42	c (25,0) c ReduceDBs_winner : 0
981.73/810.42	c (25,0) c SimpDBs_0 : 1
981.73/810.42	c (25,0) c SimpDBs_1 : 1
981.73/810.42	c (25,0) c SimpDBs_2 : 1
981.73/810.42	c (25,0) c SimpDBs_3 : 1
981.73/810.42	c (25,0) c SimpDBs_total : 4
981.73/810.42	c (25,0) c SimpDBs_winner : 1
981.73/810.42	c (25,0) c Restarts_0 : 1
981.73/810.42	c (25,0) c Restarts_1 : 2
981.73/810.42	c (25,0) c Restarts_2 : 1
981.73/810.42	c (25,0) c Restarts_3 : 2
981.73/810.42	c (25,0) c Restarts_total : 6
981.73/810.42	c (25,0) c Restarts_winner : 1
981.73/810.42	c (25,0) c ForcedImports_0 : 0
981.73/810.42	c (25,0) c ForcedImports_1 : 0
981.73/810.42	c (25,0) c ForcedImports_2 : 0
981.73/810.42	c (25,0) c ForcedImports_3 : 0
981.73/810.42	c (25,0) c ForcedImports_total : 0
981.73/810.42	c (25,0) c ForcedImports_winner : 0
981.73/810.42	c (25,0) c PropsBinClauses_0 : 3989708
981.73/810.42	c (25,0) c PropsBinClauses_1 : 6267881
981.73/810.42	c (25,0) c PropsBinClauses_2 : 7974715
981.73/810.42	c (25,0) c PropsBinClauses_3 : 5050795
981.73/810.42	c (25,0) c PropsBinClauses_total : 23283099
981.73/810.42	c (25,0) c PropsBinClauses_winner : 3989708
981.73/810.42	c (25,0) c PropsPreBlocker_0 : 77510072
981.73/810.42	c (25,0) c PropsPreBlocker_1 : 68153542
981.73/810.42	c (25,0) c PropsPreBlocker_2 : 81962848
981.73/810.42	c (25,0) c PropsPreBlocker_3 : 65871755
981.73/810.42	c (25,0) c PropsPreBlocker_total : 293498217
981.73/810.42	c (25,0) c PropsPreBlocker_winner : 77510072
981.73/810.42	c (25,0) c PropsNotBlocker_0 : 38257506
981.73/810.42	c (25,0) c PropsNotBlocker_1 : 34143144
981.73/810.42	c (25,0) c PropsNotBlocker_2 : 44337280
981.73/810.42	c (25,0) c PropsNotBlocker_3 : 34390648
981.73/810.42	c (25,0) c PropsNotBlocker_total : 151128578
981.73/810.42	c (25,0) c PropsNotBlocker_winner : 38257506
981.73/810.42	c (25,0) c PropsLitFullScans_0 : 266904035
981.73/810.42	c (25,0) c PropsLitFullScans_1 : 357452014
981.73/810.42	c (25,0) c PropsLitFullScans_2 : 263384005
981.73/810.42	c (25,0) c PropsLitFullScans_3 : 562483803
981.73/810.42	c (25,0) c PropsLitFullScans_total : 1450223857
981.73/810.42	c (25,0) c PropsLitFullScans_winner : 266904035
981.73/810.42	c (25,0) c LitScanFractions_0 : 56229633
981.73/810.42	c (25,0) c LitScanFractions_1 : 69015150
981.73/810.42	c (25,0) c LitScanFractions_2 : 50198149
981.73/810.42	c (25,0) c LitScanFractions_3 : 347140276
981.73/810.42	c (25,0) c LitScanFractions_total : 522583208
981.73/810.42	c (25,0) c LitScanFractions_winner : 56229633
981.73/810.42	c (25,0) c DecisionLevel0_0 : 1
981.73/810.42	c (25,0) c DecisionLevel0_1 : 2
981.73/810.42	c (25,0) c DecisionLevel0_2 : 1
981.73/810.42	c (25,0) c DecisionLevel0_3 : 2
981.73/810.42	c (25,0) c DecisionLevel0_total : 6
981.73/810.42	c (25,0) c DecisionLevel0_winner : 1
981.73/810.42	c (25,0) c Periods_0 : 35
981.73/810.42	c (25,0) c Periods_1 : 48
981.73/810.42	c (25,0) c Periods_2 : 35
981.73/810.42	c (25,0) c Periods_3 : 35
981.73/810.42	c (25,0) c Periods_total : 153
981.73/810.42	c (25,0) c Periods_winner : 35
981.73/810.42	c (25,0) c Margin_0 : 20
981.73/810.42	c (25,0) c Margin_1 : 20
981.73/810.42	c (25,0) c Margin_2 : 20
981.73/810.42	c (25,0) c Margin_3 : 20
981.73/810.42	c (25,0) c Margin_total : 80
981.73/810.42	c (25,0) c Margin_winner : 20
981.73/810.42	c (25,0) c Exported_0 : 1
981.73/810.42	c (25,0) c Exported_1 : 7
981.73/810.42	c (25,0) c Exported_2 : 1
981.73/810.42	c (25,0) c Exported_3 : 2
981.73/810.42	c (25,0) c Exported_total : 11
981.73/810.42	c (25,0) c Exported_winner : 1
981.73/810.42	c (25,0) c Imported_0 : 0
981.73/810.42	c (25,0) c Imported_1 : 4
981.73/810.42	c (25,0) c Imported_2 : 0
981.73/810.42	c (25,0) c Imported_3 : 7
981.73/810.42	c (25,0) c Imported_total : 11
981.73/810.42	c (25,0) c Imported_winner : 0
981.73/810.42	c (25,0) c Good_0 : 0
981.73/810.42	c (25,0) c Good_1 : 3
981.73/810.42	c (25,0) c Good_2 : 0
981.73/810.42	c (25,0) c Good_3 : 6
981.73/810.42	c (25,0) c Good_total : 9
981.73/810.42	c (25,0) c Good_winner : 0
981.73/810.42	c (25,0) c Purge_0 : 0
981.73/810.42	c (25,0) c Purge_1 : 1
981.73/810.42	c (25,0) c Purge_2 : 0
981.73/810.42	c (25,0) c Purge_3 : 1
981.73/810.42	c (25,0) c Purge_total : 2
981.73/810.42	c (25,0) c Purge_winner : 0
981.73/810.42	c (25,0) c Promoted_0 : 0
981.73/810.42	c (25,0) c Promoted_1 : 0
981.73/810.42	c (25,0) c Promoted_2 : 0
981.73/810.42	c (25,0) c Promoted_3 : 0
981.73/810.42	c (25,0) c Promoted_total : 0
981.73/810.42	c (25,0) c Promoted_winner : 0
981.73/810.42	c (25,0) c Remove_Imp_0 : 0
981.73/810.42	c (25,0) c Remove_Imp_1 : 0
981.73/810.42	c (25,0) c Remove_Imp_2 : 0
981.73/810.42	c (25,0) c Remove_Imp_3 : 0
981.73/810.42	c (25,0) c Remove_Imp_total : 0
981.73/810.42	c (25,0) c Remove_Imp_winner : 0
981.73/810.42	c (25,0) c Blocked_Reuse_0 : 0
981.73/810.42	c (25,0) c Blocked_Reuse_1 : 0
981.73/810.42	c (25,0) c Blocked_Reuse_2 : 0
981.73/810.42	c (25,0) c Blocked_Reuse_3 : 0
981.73/810.42	c (25,0) c Blocked_Reuse_total : 0
981.73/810.42	c (25,0) c Blocked_Reuse_winner : 0
981.73/810.42	c (25,0) c Unaries_0 : 0
981.73/810.42	c (25,0) c Unaries_1 : 0
981.73/810.42	c (25,0) c Unaries_2 : 0
981.73/810.42	c (25,0) c Unaries_3 : 0
981.73/810.42	c (25,0) c Unaries_total : 0
981.73/810.42	c (25,0) c Unaries_winner : 0
981.73/810.42	c (25,0) c Binaries_0 : 1
981.73/810.42	c (25,0) c Binaries_1 : 6
981.73/810.43	c (25,0) c Binaries_2 : 1
981.73/810.43	c (25,0) c Binaries_3 : 1
981.73/810.43	c (25,0) c Binaries_total : 9
981.73/810.43	c (25,0) c Binaries_winner : 1
981.73/810.43	c (25,0) c Glues_0 : 1
981.73/810.43	c (25,0) c Glues_1 : 7
981.73/810.43	c (25,0) c Glues_2 : 1
981.73/810.43	c (25,0) c Glues_3 : 2
981.73/810.43	c (25,0) c Glues_total : 11
981.73/810.43	c (25,0) c Glues_winner : 1
981.73/810.43	c (25,0) c RunningTime_0 : 11.130234
981.73/810.43	c (25,0) c RunningTime_1 : 11.353466
981.73/810.43	c (25,0) c RunningTime_2 : 11.171655
981.73/810.43	c (25,0) c RunningTime_3 : 14.357095
981.73/810.43	c (25,0) c RunningTime_total : 48.012450
981.73/810.43	c (25,0) c RunningTime_winner : 11.130234
981.73/810.43	c (25,0) c WaitingTime_0 : 0.000073
981.73/810.43	c (25,0) c WaitingTime_1 : 0.000172
981.73/810.43	c (25,0) c WaitingTime_2 : 0.000016
981.73/810.43	c (25,0) c WaitingTime_3 : 0.000035
981.73/810.43	c (25,0) c WaitingTime_total : 0.000295
981.73/810.43	c (25,0) c WaitingTime_winner : 0.000073
981.73/810.43	c (25,0) c ExchangingTime_0 : 0.000124
981.73/810.43	c (25,0) c ExchangingTime_1 : 0.000177
981.73/810.43	c (25,0) c ExchangingTime_2 : 0.000150
981.73/810.43	c (25,0) c ExchangingTime_3 : 0.000201
981.73/810.43	c (25,0) c ExchangingTime_total : 0.000653
981.73/810.43	c (25,0) c ExchangingTime_winner : 0.000124
981.73/810.43	c (25,0) c PeriodProcTime_0 : 0.000526
981.73/810.43	c (25,0) c PeriodProcTime_1 : 0.000632
981.73/810.43	c (25,0) c PeriodProcTime_2 : 0.000424
981.73/810.43	c (25,0) c PeriodProcTime_3 : 0.000468
981.73/810.43	c (25,0) c PeriodProcTime_total : 0.002050
981.73/810.43	c (25,0) c PeriodProcTime_winner : 0.000526
981.73/810.43	c (25,0) c SolvingTime_0 : 11.130957
981.73/810.43	c (25,0) c SolvingTime_1 : 11.354448
981.73/810.43	c (25,0) c SolvingTime_2 : 11.172244
981.73/810.43	c (25,0) c SolvingTime_3 : 14.357799
981.73/810.43	c (25,0) c SolvingTime_total : 48.015447
981.73/810.43	c (25,0) c SolvingTime_winner : 11.130957
981.73/810.43	c (25,0) c PropagationTime_0 : 8.321911
981.73/810.43	c (25,0) c PropagationTime_1 : 7.578592
981.73/810.43	c (25,0) c PropagationTime_2 : 8.676676
981.73/810.43	c (25,0) c PropagationTime_3 : 7.670814
981.73/810.43	c (25,0) c PropagationTime_total : 32.247993
981.73/810.43	c (25,0) c PropagationTime_winner : 8.321911
981.73/810.43	c (25,0) c AnalysisTime_0 : 2.279963
981.73/810.43	c (25,0) c AnalysisTime_1 : 3.440027
981.73/810.43	c (25,0) c AnalysisTime_2 : 2.117747
981.73/810.43	c (25,0) c AnalysisTime_3 : 6.366955
981.73/810.43	c (25,0) c AnalysisTime_total : 14.204692
981.73/810.43	c (25,0) c AnalysisTime_winner : 2.279963
981.73/810.43	c (25,0) c ReductionTime_0 : 0.000000
981.73/810.43	c (25,0) c ReductionTime_1 : 0.000000
981.73/810.43	c (25,0) c ReductionTime_2 : 0.000000
981.73/810.43	c (25,0) c ReductionTime_3 : 0.000000
981.73/810.43	c (25,0) c ReductionTime_total : 0.000000
981.73/810.43	c (25,0) c ReductionTime_winner : 0.000000
981.73/810.43	c (25,0) c SimplifyTime_0 : 0.000000
981.73/810.43	c (25,0) c SimplifyTime_1 : 0.000000
981.73/810.43	c (25,0) c SimplifyTime_2 : 0.000000
981.73/810.43	c (25,0) c SimplifyTime_3 : 0.000000
981.73/810.43	c (25,0) c SimplifyTime_total : 0.000000
981.73/810.43	c (25,0) c SimplifyTime_winner : 0.000000
981.73/810.43	c (25,0) c UsedRateTime_0 : 0.000000
981.73/810.43	c (25,0) c UsedRateTime_1 : 0.000000
981.73/810.43	c (25,0) c UsedRateTime_2 : 0.000000
981.73/810.43	c (25,0) c UsedRateTime_3 : 0.000000
981.73/810.43	c (25,0) c UsedRateTime_total : 0.000000
981.73/810.43	c (25,0) c UsedRateTime_winner : 0.000000
981.73/810.43	c (25,0) c OverlapRateTime_0 : 0.000000
981.73/810.43	c (25,0) c OverlapRateTime_1 : 0.000000
981.73/810.43	c (25,0) c OverlapRateTime_2 : 0.000000
981.73/810.43	c (25,0) c OverlapRateTime_3 : 0.000000
981.73/810.43	c (25,0) c OverlapRateTime_total : 0.000000
981.73/810.43	c (25,0) c OverlapRateTime_winner : 0.000000
981.73/810.43	c (25,0) c
981.73/810.43	c (25,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
981.73/810.43	c (25,0) c
981.73/810.43	c (25,0) c |-----------------------|------------|------------|------------|------------|
981.73/810.43	c (25,0) c | Threads               |          0 |          1 |          2 |          3 |
981.73/810.43	c (25,0) c |-----------------------|------------|------------|------------|------------|
981.73/810.43	c (25,0) c | randomizeFirstDescent |      False |       True |       True |       True |
981.73/810.43	c (25,0) c | adaptStrategeis       |       True |      False |       True |      False |
981.73/810.43	c (25,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |
981.73/810.43	c (25,0) c | Initial random_seed   |  725321271 | 1885127499 |  249949671 | 1107574047 |
981.73/810.43	c (25,0) c | chanseokStrategy      |      False |      False |      False |      False |
981.73/810.43	c (25,0) c | coLBDBound            |          5 |          5 |          5 |          5 |
981.73/810.43	c (25,0) c | glureduce             |       True |       True |       True |       True |
981.73/810.43	c (25,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |
981.73/810.43	c (25,0) c | incReduceDB           |        300 |        300 |        300 |        300 |
981.73/810.43	c (25,0) c | luby_restart          |      False |      False |      False |      False |
981.73/810.43	c (25,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |
981.73/810.43	c (25,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
981.73/810.43	c (25,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
981.73/810.43	c (25,0) c | randomize_on_restarts |      False |      False |      False |      False |
981.73/810.43	c (25,0) c | remove_satisfied      |       True |       True |       True |       True |
981.73/810.43	c (25,0) c |-----------------------|------------|------------|------------|------------|
981.73/810.43	c (25,0) 
981.73/810.43	c (25,0) s SATISFIABLE
987.40/812.82	c (28,0) SatSolver.solve End
987.40/812.82	c (28,0) Heap : 526 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB)
987.40/812.82	c (28,0) Show results Begin
987.58/812.97	c (28,0) x[0] = 796
987.58/812.97	c (28,0) x[1] = 2
987.58/812.97	c (28,0) x[2] = 1
987.58/812.97	c (28,0) x[3] = 0
987.58/812.97	c (28,0) x[4] = 0
987.58/812.97	c (28,0) x[5] = 0
987.58/812.97	c (28,0) x[6] = 0
987.58/812.97	c (28,0) x[7] = 0
987.58/812.97	c (28,0) x[8] = 0
987.58/812.97	c (28,0) x[9] = 0
987.58/812.97	c (28,0) x[10] = 0
987.58/812.98	c (28,0) x[11] = 0
987.58/812.98	c (28,0) x[12] = 0
987.58/812.98	c (28,0) x[13] = 0
987.58/812.98	c (28,0) x[14] = 0
987.58/812.98	c (28,0) x[15] = 0
987.58/812.98	c (28,0) x[16] = 0
987.58/812.98	c (28,0) x[17] = 0
987.58/812.98	c (28,0) x[18] = 0
987.58/812.98	c (28,0) x[19] = 0
987.58/812.98	c (28,0) x[20] = 0
987.58/812.98	c (28,0) x[21] = 0
987.58/812.98	c (28,0) x[22] = 0
987.58/812.98	c (28,0) x[23] = 0
987.58/812.98	c (28,0) x[24] = 0
987.58/812.98	c (28,0) x[25] = 0
987.58/812.98	c (28,0) x[26] = 0
987.58/812.98	c (28,0) x[27] = 0
987.58/812.98	c (28,0) x[28] = 0
987.58/812.98	c (28,0) x[29] = 0
987.58/812.98	c (28,0) x[30] = 0
987.58/812.98	c (28,0) x[31] = 0
987.58/812.98	c (28,0) x[32] = 0
987.58/812.98	c (28,0) x[33] = 0
987.58/812.98	c (28,0) x[34] = 0
987.58/812.98	c (28,0) x[35] = 0
987.58/812.98	c (28,0) x[36] = 0
987.58/812.98	c (28,0) x[37] = 0
987.58/812.98	c (28,0) x[38] = 0
987.58/812.98	c (28,0) x[39] = 0
987.58/812.98	c (28,0) x[40] = 0
987.58/812.98	c (28,0) x[41] = 0
987.58/812.98	c (28,0) x[42] = 0
987.58/812.98	c (28,0) x[43] = 0
987.58/812.98	c (28,0) x[44] = 0
987.58/812.98	c (28,0) x[45] = 0
987.58/812.98	c (28,0) x[46] = 0
987.58/812.98	c (28,0) x[47] = 0
987.58/812.98	c (28,0) x[48] = 0
987.58/812.98	c (28,0) x[49] = 0
987.58/812.98	c (28,0) x[50] = 0
987.58/812.98	c (28,0) x[51] = 0
987.58/812.98	c (28,0) x[52] = 0
987.58/812.98	c (28,0) x[53] = 0
987.58/812.98	c (28,0) x[54] = 0
987.58/812.98	c (28,0) x[55] = 0
987.58/812.98	c (28,0) x[56] = 0
987.58/812.98	c (28,0) x[57] = 0
987.58/812.98	c (28,0) x[58] = 0
987.58/812.98	c (28,0) x[59] = 0
987.58/812.98	c (28,0) x[60] = 0
987.58/812.98	c (28,0) x[61] = 0
987.58/812.98	c (28,0) x[62] = 0
987.58/812.98	c (28,0) x[63] = 0
987.58/812.98	c (28,0) x[64] = 0
987.58/812.98	c (28,0) x[65] = 0
987.58/812.98	c (28,0) x[66] = 0
987.58/812.98	c (28,0) x[67] = 0
987.58/812.98	c (28,0) x[68] = 0
987.58/812.98	c (28,0) x[69] = 0
987.58/812.98	c (28,0) x[70] = 0
987.58/812.98	c (28,0) x[71] = 0
987.58/812.98	c (28,0) x[72] = 0
987.58/812.98	c (28,0) x[73] = 0
987.58/812.98	c (28,0) x[74] = 0
987.58/812.98	c (28,0) x[75] = 0
987.58/812.98	c (28,0) x[76] = 0
987.58/812.98	c (28,0) x[77] = 0
987.58/812.98	c (28,0) x[78] = 0
987.58/812.98	c (28,0) x[79] = 0
987.58/812.98	c (28,0) x[80] = 0
987.58/812.98	c (28,0) x[81] = 0
987.58/812.98	c (28,0) x[82] = 0
987.58/812.98	c (28,0) x[83] = 0
987.58/812.98	c (28,0) x[84] = 0
987.58/812.98	c (28,0) x[85] = 0
987.58/812.98	c (28,0) x[86] = 0
987.58/812.98	c (28,0) x[87] = 0
987.58/812.98	c (28,0) x[88] = 0
987.58/812.98	c (28,0) x[89] = 0
987.58/812.98	c (28,0) x[90] = 0
987.58/812.98	c (28,0) x[91] = 0
987.58/812.98	c (28,0) x[92] = 0
987.58/812.98	c (28,0) x[93] = 0
987.58/812.98	c (28,0) x[94] = 0
987.58/812.98	c (28,0) x[95] = 0
987.58/812.98	c (28,0) x[96] = 0
987.58/812.98	c (28,0) x[97] = 0
987.58/812.98	c (28,0) x[98] = 0
987.58/812.98	c (28,0) x[99] = 0
987.58/812.98	c (28,0) x[100] = 0
987.58/812.98	c (28,0) x[101] = 0
987.58/812.98	c (28,0) x[102] = 0
987.58/812.98	c (28,0) x[103] = 0
987.58/812.98	c (28,0) x[104] = 0
987.58/812.98	c (28,0) x[105] = 0
987.58/812.98	c (28,0) x[106] = 0
987.58/812.98	c (28,0) x[107] = 0
987.58/812.98	c (28,0) x[108] = 0
987.58/812.98	c (28,0) x[109] = 0
987.58/812.98	c (28,0) x[110] = 0
987.58/812.98	c (28,0) x[111] = 0
987.58/812.98	c (28,0) x[112] = 0
987.58/812.98	c (28,0) x[113] = 0
987.58/812.98	c (28,0) x[114] = 0
987.58/812.98	c (28,0) x[115] = 0
987.58/812.98	c (28,0) x[116] = 0
987.58/812.98	c (28,0) x[117] = 0
987.58/812.98	c (28,0) x[118] = 0
987.58/812.98	c (28,0) x[119] = 0
987.58/812.98	c (28,0) x[120] = 0
987.58/812.98	c (28,0) x[121] = 0
987.58/812.98	c (28,0) x[122] = 0
987.58/812.98	c (28,0) x[123] = 0
987.58/812.98	c (28,0) x[124] = 0
987.58/812.98	c (28,0) x[125] = 0
987.58/812.98	c (28,0) x[126] = 0
987.58/812.98	c (28,0) x[127] = 0
987.58/812.98	c (28,0) x[128] = 0
987.58/812.98	c (28,0) x[129] = 0
987.58/812.98	c (28,0) x[130] = 0
987.58/812.98	c (28,0) x[131] = 0
987.58/812.98	c (28,0) x[132] = 0
987.58/812.98	c (28,0) x[133] = 0
987.58/812.98	c (28,0) x[134] = 0
987.58/812.98	c (28,0) x[135] = 0
987.58/812.98	c (28,0) x[136] = 0
987.58/812.98	c (28,0) x[137] = 0
987.58/812.98	c (28,0) x[138] = 0
987.58/812.98	c (28,0) x[139] = 0
987.58/812.98	c (28,0) x[140] = 0
987.58/812.98	c (28,0) x[141] = 0
987.58/812.98	c (28,0) x[142] = 0
987.58/812.98	c (28,0) x[143] = 0
987.58/812.98	c (28,0) x[144] = 0
987.58/812.98	c (28,0) x[145] = 0
987.58/812.98	c (28,0) x[146] = 0
987.58/812.98	c (28,0) x[147] = 0
987.58/812.98	c (28,0) x[148] = 0
987.58/812.98	c (28,0) x[149] = 0
987.58/812.98	c (28,0) x[150] = 0
987.58/812.98	c (28,0) x[151] = 0
987.58/812.98	c (28,0) x[152] = 0
987.58/812.98	c (28,0) x[153] = 0
987.58/812.98	c (28,0) x[154] = 0
987.58/812.98	c (28,0) x[155] = 0
987.58/812.98	c (28,0) x[156] = 0
987.58/812.98	c (28,0) x[157] = 0
987.58/812.98	c (28,0) x[158] = 0
987.58/812.98	c (28,0) x[159] = 0
987.58/812.98	c (28,0) x[160] = 0
987.58/812.98	c (28,0) x[161] = 0
987.58/812.98	c (28,0) x[162] = 0
987.58/812.98	c (28,0) x[163] = 0
987.58/812.98	c (28,0) x[164] = 0
987.58/812.98	c (28,0) x[165] = 0
987.58/812.98	c (28,0) x[166] = 0
987.58/812.98	c (28,0) x[167] = 0
987.58/812.98	c (28,0) x[168] = 0
987.58/812.98	c (28,0) x[169] = 0
987.58/812.98	c (28,0) x[170] = 0
987.58/812.98	c (28,0) x[171] = 0
987.58/812.98	c (28,0) x[172] = 0
987.58/812.98	c (28,0) x[173] = 0
987.58/812.98	c (28,0) x[174] = 0
987.58/812.98	c (28,0) x[175] = 0
987.58/812.98	c (28,0) x[176] = 0
987.58/812.98	c (28,0) x[177] = 0
987.58/812.98	c (28,0) x[178] = 0
987.58/812.98	c (28,0) x[179] = 0
987.58/812.98	c (28,0) x[180] = 0
987.58/812.98	c (28,0) x[181] = 0
987.58/812.98	c (28,0) x[182] = 0
987.58/812.98	c (28,0) x[183] = 0
987.58/812.98	c (28,0) x[184] = 0
987.58/812.98	c (28,0) x[185] = 0
987.58/812.98	c (28,0) x[186] = 0
987.58/812.98	c (28,0) x[187] = 0
987.58/812.98	c (28,0) x[188] = 0
987.58/812.98	c (28,0) x[189] = 0
987.58/812.98	c (28,0) x[190] = 0
987.58/812.98	c (28,0) x[191] = 0
987.58/812.98	c (28,0) x[192] = 0
987.58/812.98	c (28,0) x[193] = 0
987.58/812.98	c (28,0) x[194] = 0
987.58/812.98	c (28,0) x[195] = 0
987.58/812.98	c (28,0) x[196] = 0
987.58/812.98	c (28,0) x[197] = 0
987.58/812.98	c (28,0) x[198] = 0
987.58/812.98	c (28,0) x[199] = 0
987.58/812.98	c (28,0) x[200] = 0
987.58/812.98	c (28,0) x[201] = 0
987.58/812.98	c (28,0) x[202] = 0
987.58/812.98	c (28,0) x[203] = 0
987.58/812.98	c (28,0) x[204] = 0
987.58/812.98	c (28,0) x[205] = 0
987.58/812.98	c (28,0) x[206] = 0
987.58/812.98	c (28,0) x[207] = 0
987.58/812.98	c (28,0) x[208] = 0
987.58/812.98	c (28,0) x[209] = 0
987.58/812.98	c (28,0) x[210] = 0
987.58/812.98	c (28,0) x[211] = 0
987.58/812.98	c (28,0) x[212] = 0
987.58/812.98	c (28,0) x[213] = 0
987.58/812.98	c (28,0) x[214] = 0
987.58/812.98	c (28,0) x[215] = 0
987.58/812.98	c (28,0) x[216] = 0
987.58/812.98	c (28,0) x[217] = 0
987.58/812.98	c (28,0) x[218] = 0
987.58/812.98	c (28,0) x[219] = 0
987.58/812.98	c (28,0) x[220] = 0
987.58/812.98	c (28,0) x[221] = 0
987.58/812.98	c (28,0) x[222] = 0
987.58/812.98	c (28,0) x[223] = 0
987.58/812.98	c (28,0) x[224] = 0
987.58/812.98	c (28,0) x[225] = 0
987.58/812.98	c (28,0) x[226] = 0
987.58/812.98	c (28,0) x[227] = 0
987.58/812.99	c (28,0) x[228] = 0
987.58/812.99	c (28,0) x[229] = 0
987.58/812.99	c (28,0) x[230] = 0
987.58/812.99	c (28,0) x[231] = 0
987.58/812.99	c (28,0) x[232] = 0
987.58/812.99	c (28,0) x[233] = 0
987.58/812.99	c (28,0) x[234] = 0
987.58/812.99	c (28,0) x[235] = 0
987.58/812.99	c (28,0) x[236] = 0
987.58/812.99	c (28,0) x[237] = 0
987.58/812.99	c (28,0) x[238] = 0
987.58/812.99	c (28,0) x[239] = 0
987.58/812.99	c (28,0) x[240] = 0
987.58/812.99	c (28,0) x[241] = 0
987.58/812.99	c (28,0) x[242] = 0
987.58/812.99	c (28,0) x[243] = 0
987.58/812.99	c (28,0) x[244] = 0
987.58/812.99	c (28,0) x[245] = 0
987.58/812.99	c (28,0) x[246] = 0
987.58/812.99	c (28,0) x[247] = 0
987.58/812.99	c (28,0) x[248] = 0
987.58/812.99	c (28,0) x[249] = 0
987.58/812.99	c (28,0) x[250] = 0
987.58/812.99	c (28,0) x[251] = 0
987.58/812.99	c (28,0) x[252] = 0
987.58/812.99	c (28,0) x[253] = 0
987.58/812.99	c (28,0) x[254] = 0
987.58/812.99	c (28,0) x[255] = 0
987.58/812.99	c (28,0) x[256] = 0
987.58/812.99	c (28,0) x[257] = 0
987.58/812.99	c (28,0) x[258] = 0
987.58/812.99	c (28,0) x[259] = 0
987.58/812.99	c (28,0) x[260] = 0
987.58/812.99	c (28,0) x[261] = 0
987.58/812.99	c (28,0) x[262] = 0
987.58/812.99	c (28,0) x[263] = 0
987.58/812.99	c (28,0) x[264] = 0
987.58/812.99	c (28,0) x[265] = 0
987.58/812.99	c (28,0) x[266] = 0
987.58/812.99	c (28,0) x[267] = 0
987.58/812.99	c (28,0) x[268] = 0
987.58/812.99	c (28,0) x[269] = 0
987.58/812.99	c (28,0) x[270] = 0
987.58/812.99	c (28,0) x[271] = 0
987.58/812.99	c (28,0) x[272] = 0
987.58/812.99	c (28,0) x[273] = 0
987.58/812.99	c (28,0) x[274] = 0
987.58/812.99	c (28,0) x[275] = 0
987.58/812.99	c (28,0) x[276] = 0
987.58/812.99	c (28,0) x[277] = 0
987.58/812.99	c (28,0) x[278] = 0
987.58/812.99	c (28,0) x[279] = 0
987.58/812.99	c (28,0) x[280] = 0
987.58/812.99	c (28,0) x[281] = 0
987.58/812.99	c (28,0) x[282] = 0
987.58/812.99	c (28,0) x[283] = 0
987.58/812.99	c (28,0) x[284] = 0
987.58/812.99	c (28,0) x[285] = 0
987.58/812.99	c (28,0) x[286] = 0
987.58/812.99	c (28,0) x[287] = 0
987.58/812.99	c (28,0) x[288] = 0
987.58/812.99	c (28,0) x[289] = 0
987.58/812.99	c (28,0) x[290] = 0
987.58/812.99	c (28,0) x[291] = 0
987.58/812.99	c (28,0) x[292] = 0
987.58/812.99	c (28,0) x[293] = 0
987.58/812.99	c (28,0) x[294] = 0
987.58/812.99	c (28,0) x[295] = 0
987.58/812.99	c (28,0) x[296] = 0
987.58/812.99	c (28,0) x[297] = 0
987.58/812.99	c (28,0) x[298] = 0
987.58/812.99	c (28,0) x[299] = 0
987.58/812.99	c (28,0) x[300] = 0
987.58/812.99	c (28,0) x[301] = 0
987.58/812.99	c (28,0) x[302] = 0
987.58/812.99	c (28,0) x[303] = 0
987.58/812.99	c (28,0) x[304] = 0
987.58/812.99	c (28,0) x[305] = 0
987.58/812.99	c (28,0) x[306] = 0
987.58/812.99	c (28,0) x[307] = 0
987.58/812.99	c (28,0) x[308] = 0
987.58/812.99	c (28,0) x[309] = 0
987.58/812.99	c (28,0) x[310] = 0
987.58/812.99	c (28,0) x[311] = 0
987.58/812.99	c (28,0) x[312] = 0
987.58/812.99	c (28,0) x[313] = 0
987.58/812.99	c (28,0) x[314] = 0
987.58/812.99	c (28,0) x[315] = 0
987.58/812.99	c (28,0) x[316] = 0
987.58/812.99	c (28,0) x[317] = 0
987.58/812.99	c (28,0) x[318] = 0
987.58/812.99	c (28,0) x[319] = 0
987.58/812.99	c (28,0) x[320] = 0
987.58/812.99	c (28,0) x[321] = 0
987.58/812.99	c (28,0) x[322] = 0
987.58/812.99	c (28,0) x[323] = 0
987.58/812.99	c (28,0) x[324] = 0
987.58/812.99	c (28,0) x[325] = 0
987.58/812.99	c (28,0) x[326] = 0
987.58/812.99	c (28,0) x[327] = 0
987.58/812.99	c (28,0) x[328] = 0
987.58/812.99	c (28,0) x[329] = 0
987.58/812.99	c (28,0) x[330] = 0
987.58/812.99	c (28,0) x[331] = 0
987.58/812.99	c (28,0) x[332] = 0
987.58/812.99	c (28,0) x[333] = 0
987.58/812.99	c (28,0) x[334] = 0
987.58/812.99	c (28,0) x[335] = 0
987.58/812.99	c (28,0) x[336] = 0
987.58/812.99	c (28,0) x[337] = 0
987.58/812.99	c (28,0) x[338] = 0
987.58/812.99	c (28,0) x[339] = 0
987.58/812.99	c (28,0) x[340] = 0
987.58/812.99	c (28,0) x[341] = 0
987.58/812.99	c (28,0) x[342] = 0
987.58/812.99	c (28,0) x[343] = 0
987.58/812.99	c (28,0) x[344] = 0
987.58/812.99	c (28,0) x[345] = 0
987.58/812.99	c (28,0) x[346] = 0
987.58/812.99	c (28,0) x[347] = 0
987.58/812.99	c (28,0) x[348] = 0
987.58/812.99	c (28,0) x[349] = 0
987.58/812.99	c (28,0) x[350] = 0
987.58/812.99	c (28,0) x[351] = 0
987.58/812.99	c (28,0) x[352] = 0
987.58/812.99	c (28,0) x[353] = 0
987.58/812.99	c (28,0) x[354] = 0
987.58/812.99	c (28,0) x[355] = 0
987.58/812.99	c (28,0) x[356] = 0
987.58/812.99	c (28,0) x[357] = 0
987.58/812.99	c (28,0) x[358] = 0
987.58/812.99	c (28,0) x[359] = 0
987.58/812.99	c (28,0) x[360] = 0
987.58/812.99	c (28,0) x[361] = 0
987.58/812.99	c (28,0) x[362] = 0
987.58/812.99	c (28,0) x[363] = 0
987.58/812.99	c (28,0) x[364] = 0
987.58/812.99	c (28,0) x[365] = 0
987.58/812.99	c (28,0) x[366] = 0
987.58/812.99	c (28,0) x[367] = 0
987.58/812.99	c (28,0) x[368] = 0
987.58/812.99	c (28,0) x[369] = 0
987.58/812.99	c (28,0) x[370] = 0
987.58/812.99	c (28,0) x[371] = 0
987.58/812.99	c (28,0) x[372] = 0
987.58/812.99	c (28,0) x[373] = 0
987.58/812.99	c (28,0) x[374] = 0
987.58/812.99	c (28,0) x[375] = 0
987.58/812.99	c (28,0) x[376] = 0
987.58/812.99	c (28,0) x[377] = 0
987.58/812.99	c (28,0) x[378] = 0
987.58/812.99	c (28,0) x[379] = 0
987.58/812.99	c (28,0) x[380] = 0
987.58/812.99	c (28,0) x[381] = 0
987.58/812.99	c (28,0) x[382] = 0
987.58/812.99	c (28,0) x[383] = 0
987.58/812.99	c (28,0) x[384] = 0
987.58/812.99	c (28,0) x[385] = 0
987.58/812.99	c (28,0) x[386] = 0
987.58/812.99	c (28,0) x[387] = 0
987.58/812.99	c (28,0) x[388] = 0
987.58/812.99	c (28,0) x[389] = 0
987.58/812.99	c (28,0) x[390] = 0
987.58/812.99	c (28,0) x[391] = 0
987.58/812.99	c (28,0) x[392] = 0
987.58/812.99	c (28,0) x[393] = 0
987.58/812.99	c (28,0) x[394] = 0
987.58/812.99	c (28,0) x[395] = 0
987.58/812.99	c (28,0) x[396] = 0
987.58/812.99	c (28,0) x[397] = 0
987.58/812.99	c (28,0) x[398] = 0
987.58/812.99	c (28,0) x[399] = 0
987.58/812.99	c (28,0) x[400] = 0
987.58/812.99	c (28,0) x[401] = 0
987.58/812.99	c (28,0) x[402] = 0
987.58/812.99	c (28,0) x[403] = 0
987.58/812.99	c (28,0) x[404] = 0
987.58/812.99	c (28,0) x[405] = 0
987.58/812.99	c (28,0) x[406] = 0
987.58/812.99	c (28,0) x[407] = 0
987.58/812.99	c (28,0) x[408] = 0
987.58/812.99	c (28,0) x[409] = 0
987.58/812.99	c (28,0) x[410] = 0
987.58/812.99	c (28,0) x[411] = 0
987.58/812.99	c (28,0) x[412] = 0
987.58/812.99	c (28,0) x[413] = 0
987.58/812.99	c (28,0) x[414] = 0
987.58/812.99	c (28,0) x[415] = 0
987.58/812.99	c (28,0) x[416] = 0
987.58/812.99	c (28,0) x[417] = 0
987.58/812.99	c (28,0) x[418] = 0
987.58/812.99	c (28,0) x[419] = 0
987.58/812.99	c (28,0) x[420] = 0
987.58/812.99	c (28,0) x[421] = 0
987.58/812.99	c (28,0) x[422] = 0
987.58/812.99	c (28,0) x[423] = 0
987.58/812.99	c (28,0) x[424] = 0
987.58/812.99	c (28,0) x[425] = 0
987.58/812.99	c (28,0) x[426] = 0
987.58/812.99	c (28,0) x[427] = 0
987.58/812.99	c (28,0) x[428] = 0
987.58/812.99	c (28,0) x[429] = 0
987.58/812.99	c (28,0) x[430] = 0
987.58/812.99	c (28,0) x[431] = 0
987.58/812.99	c (28,0) x[432] = 0
987.58/812.99	c (28,0) x[433] = 0
987.58/812.99	c (28,0) x[434] = 0
987.58/812.99	c (28,0) x[435] = 0
987.58/812.99	c (28,0) x[436] = 0
987.58/812.99	c (28,0) x[437] = 0
987.58/812.99	c (28,0) x[438] = 0
987.58/812.99	c (28,0) x[439] = 0
987.58/812.99	c (28,0) x[440] = 0
987.58/812.99	c (28,0) x[441] = 0
987.58/812.99	c (28,0) x[442] = 0
987.58/812.99	c (28,0) x[443] = 0
987.58/812.99	c (28,0) x[444] = 0
987.58/812.99	c (28,0) x[445] = 0
987.58/812.99	c (28,0) x[446] = 0
987.58/812.99	c (28,0) x[447] = 0
987.58/812.99	c (28,0) x[448] = 0
987.58/812.99	c (28,0) x[449] = 0
987.58/812.99	c (28,0) x[450] = 0
987.58/812.99	c (28,0) x[451] = 0
987.58/812.99	c (28,0) x[452] = 0
987.58/812.99	c (28,0) x[453] = 0
987.58/812.99	c (28,0) x[454] = 0
987.58/812.99	c (28,0) x[455] = 0
987.58/812.99	c (28,0) x[456] = 0
987.58/812.99	c (28,0) x[457] = 0
987.58/812.99	c (28,0) x[458] = 0
987.58/812.99	c (28,0) x[459] = 0
987.58/812.99	c (28,0) x[460] = 0
987.58/812.99	c (28,0) x[461] = 0
987.58/812.99	c (28,0) x[462] = 0
987.58/812.99	c (28,0) x[463] = 0
987.58/812.99	c (28,0) x[464] = 0
987.58/812.99	c (28,0) x[465] = 0
987.58/812.99	c (28,0) x[466] = 0
987.58/812.99	c (28,0) x[467] = 0
987.58/812.99	c (28,0) x[468] = 0
987.58/812.99	c (28,0) x[469] = 0
987.58/812.99	c (28,0) x[470] = 0
987.58/812.99	c (28,0) x[471] = 0
987.58/812.99	c (28,0) x[472] = 0
987.58/812.99	c (28,0) x[473] = 0
987.58/812.99	c (28,0) x[474] = 0
987.58/812.99	c (28,0) x[475] = 0
987.58/812.99	c (28,0) x[476] = 0
987.58/812.99	c (28,0) x[477] = 0
987.58/812.99	c (28,0) x[478] = 0
987.58/812.99	c (28,0) x[479] = 0
987.58/812.99	c (28,0) x[480] = 0
987.58/812.99	c (28,0) x[481] = 0
987.58/812.99	c (28,0) x[482] = 0
987.58/812.99	c (28,0) x[483] = 0
987.58/812.99	c (28,0) x[484] = 0
987.58/812.99	c (28,0) x[485] = 0
987.58/812.99	c (28,0) x[486] = 0
987.58/812.99	c (28,0) x[487] = 0
987.58/812.99	c (28,0) x[488] = 0
987.58/812.99	c (28,0) x[489] = 0
987.58/812.99	c (28,0) x[490] = 0
987.58/812.99	c (28,0) x[491] = 0
987.58/812.99	c (28,0) x[492] = 0
987.58/812.99	c (28,0) x[493] = 0
987.58/812.99	c (28,0) x[494] = 0
987.58/812.99	c (28,0) x[495] = 0
987.58/812.99	c (28,0) x[496] = 0
987.58/812.99	c (28,0) x[497] = 0
987.58/812.99	c (28,0) x[498] = 0
987.58/812.99	c (28,0) x[499] = 0
987.58/812.99	c (28,0) x[500] = 0
987.58/812.99	c (28,0) x[501] = 0
987.58/812.99	c (28,0) x[502] = 0
987.58/812.99	c (28,0) x[503] = 0
987.58/812.99	c (28,0) x[504] = 0
987.58/812.99	c (28,0) x[505] = 0
987.58/812.99	c (28,0) x[506] = 0
987.58/812.99	c (28,0) x[507] = 0
987.58/812.99	c (28,0) x[508] = 0
987.58/812.99	c (28,0) x[509] = 0
987.58/812.99	c (28,0) x[510] = 0
987.58/812.99	c (28,0) x[511] = 0
987.58/812.99	c (28,0) x[512] = 0
987.58/812.99	c (28,0) x[513] = 0
987.58/812.99	c (28,0) x[514] = 0
987.58/812.99	c (28,0) x[515] = 0
987.58/812.99	c (28,0) x[516] = 0
987.58/812.99	c (28,0) x[517] = 0
987.58/812.99	c (28,0) x[518] = 0
987.58/812.99	c (28,0) x[519] = 0
987.58/812.99	c (28,0) x[520] = 0
987.58/812.99	c (28,0) x[521] = 0
987.58/812.99	c (28,0) x[522] = 0
987.58/812.99	c (28,0) x[523] = 0
987.58/812.99	c (28,0) x[524] = 0
987.58/812.99	c (28,0) x[525] = 0
987.58/812.99	c (28,0) x[526] = 0
987.58/812.99	c (28,0) x[527] = 0
987.58/812.99	c (28,0) x[528] = 0
987.58/812.99	c (28,0) x[529] = 0
987.58/812.99	c (28,0) x[530] = 0
987.58/812.99	c (28,0) x[531] = 0
987.58/812.99	c (28,0) x[532] = 0
987.58/812.99	c (28,0) x[533] = 0
987.58/812.99	c (28,0) x[534] = 0
987.58/812.99	c (28,0) x[535] = 0
987.58/812.99	c (28,0) x[536] = 0
987.58/812.99	c (28,0) x[537] = 0
987.58/812.99	c (28,0) x[538] = 0
987.58/812.99	c (28,0) x[539] = 0
987.58/812.99	c (28,0) x[540] = 0
987.58/812.99	c (28,0) x[541] = 0
987.58/812.99	c (28,0) x[542] = 0
987.58/812.99	c (28,0) x[543] = 0
987.58/812.99	c (28,0) x[544] = 0
987.58/812.99	c (28,0) x[545] = 0
987.58/812.99	c (28,0) x[546] = 0
987.58/812.99	c (28,0) x[547] = 0
987.58/812.99	c (28,0) x[548] = 0
987.58/812.99	c (28,0) x[549] = 0
987.58/812.99	c (28,0) x[550] = 0
987.58/812.99	c (28,0) x[551] = 0
987.58/812.99	c (28,0) x[552] = 0
987.58/812.99	c (28,0) x[553] = 0
987.58/812.99	c (28,0) x[554] = 0
987.58/812.99	c (28,0) x[555] = 0
987.58/812.99	c (28,0) x[556] = 0
987.58/812.99	c (28,0) x[557] = 0
987.58/812.99	c (28,0) x[558] = 0
987.58/812.99	c (28,0) x[559] = 0
987.58/812.99	c (28,0) x[560] = 0
987.58/812.99	c (28,0) x[561] = 0
987.58/812.99	c (28,0) x[562] = 0
987.58/812.99	c (28,0) x[563] = 0
987.58/812.99	c (28,0) x[564] = 0
987.58/812.99	c (28,0) x[565] = 0
987.58/812.99	c (28,0) x[566] = 0
987.58/812.99	c (28,0) x[567] = 0
987.58/812.99	c (28,0) x[568] = 0
987.58/812.99	c (28,0) x[569] = 0
987.58/812.99	c (28,0) x[570] = 0
987.58/812.99	c (28,0) x[571] = 0
987.58/812.99	c (28,0) x[572] = 0
987.58/812.99	c (28,0) x[573] = 0
987.58/812.99	c (28,0) x[574] = 0
987.58/812.99	c (28,0) x[575] = 0
987.58/812.99	c (28,0) x[576] = 0
987.58/812.99	c (28,0) x[577] = 0
987.58/812.99	c (28,0) x[578] = 0
987.58/812.99	c (28,0) x[579] = 0
987.58/812.99	c (28,0) x[580] = 0
987.58/812.99	c (28,0) x[581] = 0
987.58/812.99	c (28,0) x[582] = 0
987.58/812.99	c (28,0) x[583] = 0
987.58/812.99	c (28,0) x[584] = 0
987.58/812.99	c (28,0) x[585] = 0
987.58/812.99	c (28,0) x[586] = 0
987.58/812.99	c (28,0) x[587] = 0
987.58/812.99	c (28,0) x[588] = 0
987.58/812.99	c (28,0) x[589] = 0
987.58/812.99	c (28,0) x[590] = 0
987.58/812.99	c (28,0) x[591] = 0
987.58/812.99	c (28,0) x[592] = 0
987.58/812.99	c (28,0) x[593] = 0
987.58/812.99	c (28,0) x[594] = 0
987.58/812.99	c (28,0) x[595] = 0
987.58/812.99	c (28,0) x[596] = 0
987.58/812.99	c (28,0) x[597] = 0
987.58/812.99	c (28,0) x[598] = 0
987.58/812.99	c (28,0) x[599] = 0
987.58/812.99	c (28,0) x[600] = 0
987.58/812.99	c (28,0) x[601] = 0
987.58/812.99	c (28,0) x[602] = 0
987.58/812.99	c (28,0) x[603] = 0
987.58/812.99	c (28,0) x[604] = 0
987.58/812.99	c (28,0) x[605] = 0
987.58/812.99	c (28,0) x[606] = 0
987.58/812.99	c (28,0) x[607] = 0
987.58/812.99	c (28,0) x[608] = 0
987.58/812.99	c (28,0) x[609] = 0
987.58/812.99	c (28,0) x[610] = 0
987.58/812.99	c (28,0) x[611] = 0
987.58/812.99	c (28,0) x[612] = 0
987.58/812.99	c (28,0) x[613] = 0
987.58/812.99	c (28,0) x[614] = 0
987.58/812.99	c (28,0) x[615] = 0
987.58/812.99	c (28,0) x[616] = 0
987.58/812.99	c (28,0) x[617] = 0
987.58/812.99	c (28,0) x[618] = 0
987.58/812.99	c (28,0) x[619] = 0
987.58/812.99	c (28,0) x[620] = 0
987.58/812.99	c (28,0) x[621] = 0
987.58/812.99	c (28,0) x[622] = 0
987.58/812.99	c (28,0) x[623] = 0
987.58/812.99	c (28,0) x[624] = 0
987.58/812.99	c (28,0) x[625] = 0
987.58/812.99	c (28,0) x[626] = 0
987.58/812.99	c (28,0) x[627] = 0
987.58/812.99	c (28,0) x[628] = 0
987.58/812.99	c (28,0) x[629] = 0
987.58/812.99	c (28,0) x[630] = 0
987.58/812.99	c (28,0) x[631] = 0
987.58/812.99	c (28,0) x[632] = 0
987.58/812.99	c (28,0) x[633] = 0
987.58/812.99	c (28,0) x[634] = 0
987.58/812.99	c (28,0) x[635] = 0
987.58/812.99	c (28,0) x[636] = 0
987.58/812.99	c (28,0) x[637] = 0
987.58/812.99	c (28,0) x[638] = 0
987.58/812.99	c (28,0) x[639] = 0
987.58/812.99	c (28,0) x[640] = 0
987.58/812.99	c (28,0) x[641] = 0
987.58/812.99	c (28,0) x[642] = 0
987.58/812.99	c (28,0) x[643] = 0
987.58/812.99	c (28,0) x[644] = 0
987.58/812.99	c (28,0) x[645] = 0
987.58/812.99	c (28,0) x[646] = 0
987.58/812.99	c (28,0) x[647] = 0
987.58/812.99	c (28,0) x[648] = 0
987.58/812.99	c (28,0) x[649] = 0
987.58/812.99	c (28,0) x[650] = 0
987.58/812.99	c (28,0) x[651] = 0
987.58/812.99	c (28,0) x[652] = 0
987.58/812.99	c (28,0) x[653] = 0
987.58/812.99	c (28,0) x[654] = 0
987.58/812.99	c (28,0) x[655] = 0
987.58/812.99	c (28,0) x[656] = 0
987.58/812.99	c (28,0) x[657] = 0
987.58/812.99	c (28,0) x[658] = 0
987.58/812.99	c (28,0) x[659] = 0
987.58/812.99	c (28,0) x[660] = 0
987.58/813.00	c (28,0) x[661] = 0
987.58/813.00	c (28,0) x[662] = 0
987.58/813.00	c (28,0) x[663] = 0
987.58/813.00	c (28,0) x[664] = 0
987.58/813.00	c (28,0) x[665] = 0
987.58/813.00	c (28,0) x[666] = 0
987.58/813.00	c (28,0) x[667] = 0
987.58/813.00	c (28,0) x[668] = 0
987.58/813.00	c (28,0) x[669] = 0
987.58/813.00	c (28,0) x[670] = 0
987.58/813.00	c (28,0) x[671] = 0
987.58/813.00	c (28,0) x[672] = 0
987.58/813.00	c (28,0) x[673] = 0
987.58/813.00	c (28,0) x[674] = 0
987.58/813.00	c (28,0) x[675] = 0
987.58/813.00	c (28,0) x[676] = 0
987.58/813.00	c (28,0) x[677] = 0
987.58/813.00	c (28,0) x[678] = 0
987.58/813.00	c (28,0) x[679] = 0
987.58/813.00	c (28,0) x[680] = 0
987.58/813.00	c (28,0) x[681] = 0
987.58/813.00	c (28,0) x[682] = 0
987.58/813.00	c (28,0) x[683] = 0
987.58/813.00	c (28,0) x[684] = 0
987.58/813.00	c (28,0) x[685] = 0
987.58/813.00	c (28,0) x[686] = 0
987.58/813.00	c (28,0) x[687] = 0
987.58/813.00	c (28,0) x[688] = 0
987.58/813.00	c (28,0) x[689] = 0
987.58/813.00	c (28,0) x[690] = 0
987.58/813.00	c (28,0) x[691] = 0
987.58/813.00	c (28,0) x[692] = 0
987.58/813.00	c (28,0) x[693] = 0
987.58/813.00	c (28,0) x[694] = 0
987.58/813.00	c (28,0) x[695] = 0
987.58/813.00	c (28,0) x[696] = 0
987.58/813.00	c (28,0) x[697] = 0
987.58/813.00	c (28,0) x[698] = 0
987.58/813.00	c (28,0) x[699] = 0
987.58/813.00	c (28,0) x[700] = 0
987.58/813.00	c (28,0) x[701] = 0
987.58/813.00	c (28,0) x[702] = 0
987.58/813.00	c (28,0) x[703] = 0
987.58/813.00	c (28,0) x[704] = 0
987.58/813.00	c (28,0) x[705] = 0
987.58/813.00	c (28,0) x[706] = 0
987.58/813.00	c (28,0) x[707] = 0
987.58/813.00	c (28,0) x[708] = 0
987.58/813.00	c (28,0) x[709] = 0
987.58/813.00	c (28,0) x[710] = 0
987.58/813.00	c (28,0) x[711] = 0
987.58/813.00	c (28,0) x[712] = 0
987.58/813.00	c (28,0) x[713] = 0
987.58/813.00	c (28,0) x[714] = 0
987.58/813.00	c (28,0) x[715] = 0
987.58/813.00	c (28,0) x[716] = 0
987.58/813.00	c (28,0) x[717] = 0
987.58/813.00	c (28,0) x[718] = 0
987.58/813.00	c (28,0) x[719] = 0
987.58/813.00	c (28,0) x[720] = 0
987.58/813.00	c (28,0) x[721] = 0
987.58/813.00	c (28,0) x[722] = 0
987.58/813.00	c (28,0) x[723] = 0
987.58/813.00	c (28,0) x[724] = 0
987.58/813.00	c (28,0) x[725] = 0
987.58/813.00	c (28,0) x[726] = 0
987.58/813.00	c (28,0) x[727] = 0
987.58/813.00	c (28,0) x[728] = 0
987.58/813.00	c (28,0) x[729] = 0
987.58/813.00	c (28,0) x[730] = 0
987.58/813.00	c (28,0) x[731] = 0
987.58/813.00	c (28,0) x[732] = 0
987.58/813.00	c (28,0) x[733] = 0
987.58/813.00	c (28,0) x[734] = 0
987.58/813.00	c (28,0) x[735] = 0
987.58/813.00	c (28,0) x[736] = 0
987.58/813.00	c (28,0) x[737] = 0
987.58/813.00	c (28,0) x[738] = 0
987.58/813.00	c (28,0) x[739] = 0
987.58/813.00	c (28,0) x[740] = 0
987.58/813.00	c (28,0) x[741] = 0
987.58/813.00	c (28,0) x[742] = 0
987.58/813.00	c (28,0) x[743] = 0
987.58/813.00	c (28,0) x[744] = 0
987.58/813.00	c (28,0) x[745] = 0
987.58/813.00	c (28,0) x[746] = 0
987.58/813.00	c (28,0) x[747] = 0
987.58/813.00	c (28,0) x[748] = 0
987.58/813.00	c (28,0) x[749] = 0
987.58/813.00	c (28,0) x[750] = 0
987.58/813.00	c (28,0) x[751] = 0
987.58/813.00	c (28,0) x[752] = 0
987.58/813.00	c (28,0) x[753] = 0
987.58/813.00	c (28,0) x[754] = 0
987.58/813.00	c (28,0) x[755] = 0
987.58/813.00	c (28,0) x[756] = 0
987.58/813.00	c (28,0) x[757] = 0
987.58/813.00	c (28,0) x[758] = 0
987.58/813.00	c (28,0) x[759] = 0
987.58/813.00	c (28,0) x[760] = 0
987.58/813.00	c (28,0) x[761] = 0
987.58/813.00	c (28,0) x[762] = 0
987.58/813.00	c (28,0) x[763] = 0
987.58/813.00	c (28,0) x[764] = 0
987.58/813.00	c (28,0) x[765] = 0
987.58/813.00	c (28,0) x[766] = 0
987.58/813.00	c (28,0) x[767] = 0
987.58/813.00	c (28,0) x[768] = 0
987.58/813.00	c (28,0) x[769] = 0
987.58/813.00	c (28,0) x[770] = 0
987.58/813.00	c (28,0) x[771] = 0
987.58/813.00	c (28,0) x[772] = 0
987.58/813.00	c (28,0) x[773] = 0
987.58/813.00	c (28,0) x[774] = 0
987.58/813.00	c (28,0) x[775] = 0
987.58/813.00	c (28,0) x[776] = 0
987.58/813.00	c (28,0) x[777] = 0
987.58/813.00	c (28,0) x[778] = 0
987.58/813.00	c (28,0) x[779] = 0
987.58/813.00	c (28,0) x[780] = 0
987.58/813.00	c (28,0) x[781] = 0
987.58/813.00	c (28,0) x[782] = 0
987.58/813.00	c (28,0) x[783] = 0
987.58/813.00	c (28,0) x[784] = 0
987.58/813.00	c (28,0) x[785] = 0
987.58/813.00	c (28,0) x[786] = 0
987.58/813.00	c (28,0) x[787] = 0
987.58/813.00	c (28,0) x[788] = 0
987.58/813.00	c (28,0) x[789] = 0
987.58/813.00	c (28,0) x[790] = 0
987.58/813.00	c (28,0) x[791] = 0
987.58/813.00	c (28,0) x[792] = 0
987.58/813.00	c (28,0) x[793] = 0
987.58/813.00	c (28,0) x[794] = 0
987.58/813.00	c (28,0) x[795] = 0
987.58/813.00	c (28,0) x[796] = 1
987.58/813.00	c (28,0) x[797] = 0
987.58/813.00	c (28,0) x[798] = 0
987.58/813.00	c (28,0) x[799] = 0
987.58/813.00	s SATISFIABLE
987.88/813.00	v <instantiation>
987.88/813.00	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>
987.88/813.00	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>
987.88/813.00	v </instantiation>
987.88/813.00	c (28,0) Show results End
987.88/813.00	c (28,0) Heap : 526 MiB used (max 3925 MiB), NonHeap : 19 MiB used (max 0 MiB)
987.88/813.00	c (28,0) 28,28,STOP-AFTER(ALL)
987.88/813.00	c END-Prog: Mon Sep 23 14:26:14 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 (12598 MiB free)
  memory of node 1: 16384 MiB (11634 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4405532-1569240802/watcher-4405532-1569240802 -o /tmp/evaluation-result-4405532-1569240802/solver-4405532-1569240802 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node151-1569238587-32288 --watchdog 2580 HOME/scop.sh 22g HOME/scop.jar -hybrid HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4405532-1569240802.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=645, runsolver pid=642
Current StackSize limit: 8192 KiB


[startup+0.100123 s]*
/proc/loadavg: 8.00 7.56 6.85 2/212 668
/proc/meminfo: memFree=24720284/32770624 swapFree=66956140/67108860
[pid=645] ppid=642 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/645/stat : 645 (scop.sh) S 642 645 32261 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 500351502 115843072 349 33554432000 4194304 5098028 140724448017520 140724448014776 140447900508796 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 11075584 140724448023332 140724448023660 140724448023660 140724448026573 0
/proc/645/statm: 28282 349 296 221 0 87 0
[pid=648] ppid=645 vsize=27314120 memory=106568 CPUtime=0.1 cores=0-7
/proc/648/stat : 648 (java) S 645 645 32261 0 -1 1077944320 6741 0 0 0 7 3 0 0 20 0 20 0 500351502 27969658880 26642 33554432000 4194304 4196468 140723941910848 140723941893392 140712629903095 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9330688 140723941917420 140723941917846 140723941917846 140723941920719 0
/proc/648/statm: 6828530 26642 2777 1 0 6790935 0
[pid=648/tid=649] ppid=645 vsize=27314120 memory=8318255677412212789 CPUtime=0.08 cores=0-7
/proc/648/task/649/stat : 649 (java) R 645 645 32261 0 -1 4202560 4863 0 0 0 6 2 0 0 20 0 20 0 500351502 27969658880 26642 33554432000 4194304 4196468 140723941910848 140712601721472 140712629925021 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9330688 140723941917420 140723941917846 140723941917846 140723941920719 0
[pid=648/tid=650] ppid=645 vsize=27314120 memory=288230604707987820 CPUtime=0 cores=0-7
/proc/648/task/650/stat : 650 (java) S 645 645 32261 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500351505 27969658880 26642 33554432000 4194304 4196468 140723941910848 140712634145936 140712629913301 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9330688 140723941917420 140723941917846 140723941917846 140723941920719 0
[pid=648/tid=651] ppid=645 vsize=27314120 memory=288370711072642688 CPUtime=0 cores=0-7
/proc/648/task/651/stat : 651 (java) S 645 645 32261 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500351505 27969658880 26642 33554432000 4194304 4196468 140723941910848 140712458787856 140712629913301 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9330688 140723941917420 140723941917846 140723941917846 140723941920719 0
[pid=648/tid=652] ppid=645 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/648/task/652/stat : 652 (java) S 645 645 32261 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500351505 27969658880 26642 33554432000 4194304 4196468 140723941910848 140712050588560 140712629913301 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9330688 140723941917420 140723941917846 140723941917846 140723941920719 0
[pid=648/tid=653] ppid=645 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/648/task/653/stat : 653 (java) S 645 645 32261 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500351505 27969658880 26707 33554432000 4194304 4196468 140723941910848 140712049535760 140712629913301 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9330688 140723941917420 140723941917846 140723941917846 140723941920719 0
[pid=648/tid=655] ppid=645 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/648/task/655/stat : 655 (java) S 645 645 32261 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500351505 27969658880 26707 33554432000 4194304 4196468 140723941910848 140712048482960 140712629913301 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9330688 140723941917420 140723941917846 140723941917846 140723941920719 0
[pid=648/tid=656] ppid=645 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/648/task/656/stat : 656 (java) S 645 645 32261 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500351505 27969658880 26707 33554432000 4194304 4196468 140723941910848 140712047430160 140712629913301 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9330688 140723941917420 140723941917846 140723941917846 140723941920719 0
[pid=648/tid=657] ppid=645 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/648/task/657/stat : 657 (java) S 645 645 32261 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500351505 27969658880 26707 33554432000 4194304 4196468 140723941910848 140712046377360 140712629913301 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9330688 140723941917420 140723941917846 140723941917846 140723941920719 0
[pid=648/tid=658] ppid=645 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/648/task/658/stat : 658 (java) S 645 645 32261 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500351505 27969658880 26707 33554432000 4194304 4196468 140723941910848 140712045324560 140712629913301 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9330688 140723941917420 140723941917846 140723941917846 140723941920719 0
[pid=648/tid=659] ppid=645 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/648/task/659/stat : 659 (java) S 645 645 32261 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500351506 27969658880 26707 33554432000 4194304 4196468 140723941910848 140710748662640 140712629914242 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9330688 140723941917420 140723941917846 140723941917846 140723941920719 0
[pid=648/tid=660] ppid=645 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/648/task/660/stat : 660 (java) S 645 645 32261 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 500351507 27969658880 26707 33554432000 4194304 4196468 140723941910848 140710577694240 140712629913301 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9330688 140723941917420 140723941917846 140723941917846 140723941920719 0
[pid=648/tid=661] ppid=645 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/648/task/661/stat : 661 (java) S 645 645 32261 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500351507 27969658880 26707 33554432000 4194304 4196468 140723941910848 140710309258608 140712629913301 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9330688 140723941917420 140723941917846 140723941917846 140723941920719 0
[pid=648/tid=662] ppid=645 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/648/task/662/stat : 662 (java) S 645 645 32261 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500351509 27969658880 26707 33554432000 4194304 4196468 140723941910848 140709934750032 140712629921691 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9330688 140723941917420 140723941917846 140723941917846 140723941920719 0
[pid=648/tid=663] ppid=645 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/648/task/663/stat : 663 (java) S 645 645 32261 0 -1 1077944384 299 0 0 0 0 0 0 0 20 0 20 0 500351509 27969658880 26707 33554432000 4194304 4196468 140723941910848 140710747609456 140712629914242 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9330688 140723941917420 140723941917846 140723941917846 140723941920719 0
[pid=648/tid=664] ppid=645 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/648/task/664/stat : 664 (java) S 645 645 32261 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500351509 27969658880 26707 33554432000 4194304 4196468 140723941910848 140710746556656 140712629914242 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9330688 140723941917420 140723941917846 140723941917846 140723941920719 0
[pid=648/tid=665] ppid=645 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/648/task/665/stat : 665 (java) S 645 645 32261 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500351510 27969658880 26707 33554432000 4194304 4196468 140723941910848 140710745503856 140712629914242 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9330688 140723941917420 140723941917846 140723941917846 140723941920719 0
[pid=648/tid=666] ppid=645 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/648/task/666/stat : 666 (java) R 645 645 32261 0 -1 4202560 263 0 0 0 0 0 0 0 20 0 20 0 500351510 27969658880 26707 33554432000 4194304 4196468 140723941910848 140710744451056 140712629924442 0 4 2 16800973 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9330688 140723941917420 140723941917846 140723941917846 140723941920719 0
[pid=648/tid=667] ppid=645 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/648/task/667/stat : 667 (java) S 645 645 32261 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500351510 27969658880 26707 33554432000 4194304 4196468 140723941910848 140709436845152 140712629913301 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9330688 140723941917420 140723941917846 140723941917846 140723941920719 0
[pid=648/tid=668] ppid=645 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/648/task/668/stat : 668 (java) S 645 645 32261 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500351510 27969658880 26707 33554432000 4194304 4196468 140723941910848 140710743399472 140712629914242 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9330688 140723941917420 140723941917846 140723941917846 140723941920719 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 107964 KiB

[startup+0.210088 s]*
/proc/loadavg: 8.00 7.56 6.85 3/212 668
/proc/meminfo: memFree=24698508/32770624 swapFree=66956140/67108860
[pid=645] ppid=642 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/645/stat : 645 (scop.sh) S 642 645 32261 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 500351502 115843072 349 33554432000 4194304 5098028 140724448017520 140724448014776 140447900508796 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 11075584 140724448023332 140724448023660 140724448023660 140724448026573 0
/proc/645/statm: 28282 349 296 221 0 87 0
[pid=648] ppid=645 vsize=27314120 memory=125908 CPUtime=0.24 cores=0-7
/proc/648/stat : 648 (java) S 645 645 32261 0 -1 1077944320 12393 0 0 0 19 5 0 0 20 0 20 0 500351502 27969658880 31477 33554432000 4194304 4196468 140723941910848 140723941893392 140712629903095 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9330688 140723941917420 140723941917846 140723941917846 140723941920719 0
/proc/648/statm: 6828530 31477 2940 1 0 6790935 0
[pid=648/tid=649] ppid=645 vsize=27314120 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/648/task/649/stat : 649 (java) R 645 645 32261 0 -1 4202560 10109 0 0 0 15 4 0 0 20 0 20 0 500351502 27969658880 31477 33554432000 4194304 4196468 140723941910848 140712601702480 140712629916999 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9330688 140723941917420 140723941917846 140723941917846 140723941920719 0
[pid=648/tid=650] ppid=645 vsize=27314120 memory=288230604707987820 CPUtime=0 cores=0-7
/proc/648/task/650/stat : 650 (java) S 645 645 32261 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500351505 27969658880 31477 33554432000 4194304 4196468 140723941910848 140712634145936 140712629913301 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9330688 140723941917420 140723941917846 140723941917846 140723941920719 0
[pid=648/tid=651] ppid=645 vsize=27314120 memory=288370711072642688 CPUtime=0 cores=0-7
/proc/648/task/651/stat : 651 (java) S 645 645 32261 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500351505 27969658880 31477 33554432000 4194304 4196468 140723941910848 140712458787856 140712629913301 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9330688 140723941917420 140723941917846 140723941917846 140723941920719 0
[pid=648/tid=652] ppid=645 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/648/task/652/stat : 652 (java) S 645 645 32261 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500351505 27969658880 31477 33554432000 4194304 4196468 140723941910848 140712050588560 140712629913301 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9330688 140723941917420 140723941917846 140723941917846 140723941920719 0
[pid=648/tid=653] ppid=645 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/648/task/653/stat : 653 (java) S 645 645 32261 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500351505 27969658880 31477 33554432000 4194304 4196468 140723941910848 140712049535760 140712629913301 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9330688 140723941917420 140723941917846 140723941917846 140723941920719 0
[pid=648/tid=655] ppid=645 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/648/task/655/stat : 655 (java) S 645 645 32261 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500351505 27969658880 31477 33554432000 4194304 4196468 140723941910848 140712048482960 140712629913301 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9330688 140723941917420 140723941917846 140723941917846 140723941920719 0
[pid=648/tid=656] ppid=645 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/648/task/656/stat : 656 (java) S 645 645 32261 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500351505 27969658880 31477 33554432000 4194304 4196468 140723941910848 140712047430160 140712629913301 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9330688 140723941917420 140723941917846 140723941917846 140723941920719 0
[pid=648/tid=657] ppid=645 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/648/task/657/stat : 657 (java) S 645 645 32261 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500351505 27969658880 31477 33554432000 4194304 4196468 140723941910848 140712046377360 140712629913301 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9330688 140723941917420 140723941917846 140723941917846 140723941920719 0
[pid=648/tid=658] ppid=645 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/648/task/658/stat : 658 (java) S 645 645 32261 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500351505 27969658880 31477 33554432000 4194304 4196468 140723941910848 140712045324560 140712629913301 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9330688 140723941917420 140723941917846 140723941917846 140723941920719 0
[pid=648/tid=659] ppid=645 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/648/task/659/stat : 659 (java) S 645 645 32261 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500351506 27969658880 31477 33554432000 4194304 4196468 140723941910848 140710748662640 140712629914242 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9330688 140723941917420 140723941917846 140723941917846 140723941920719 0
[pid=648/tid=660] ppid=645 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/648/task/660/stat : 660 (java) S 645 645 32261 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 500351507 27969658880 31477 33554432000 4194304 4196468 140723941910848 140710577694240 140712629913301 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9330688 140723941917420 140723941917846 140723941917846 140723941920719 0
[pid=648/tid=661] ppid=645 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/648/task/661/stat : 661 (java) S 645 645 32261 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500351507 27969658880 31477 33554432000 4194304 4196468 140723941910848 140710309258608 140712629913301 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9330688 140723941917420 140723941917846 140723941917846 140723941920719 0
[pid=648/tid=662] ppid=645 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/648/task/662/stat : 662 (java) S 645 645 32261 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500351509 27969658880 31477 33554432000 4194304 4196468 140723941910848 140709934750032 140712629921691 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9330688 140723941917420 140723941917846 140723941917846 140723941920719 0
[pid=648/tid=663] ppid=645 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/648/task/663/stat : 663 (java) S 645 645 32261 0 -1 1077944384 299 0 0 0 0 0 0 0 20 0 20 0 500351509 27969658880 31477 33554432000 4194304 4196468 140723941910848 140710747609456 140712629914242 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9330688 140723941917420 140723941917846 140723941917846 140723941920719 0
[pid=648/tid=664] ppid=645 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/648/task/664/stat : 664 (java) S 645 645 32261 0 -1 1077944384 137 0 0 0 0 0 0 0 20 0 20 0 500351509 27969658880 31477 33554432000 4194304 4196468 140723941910848 140710746556656 140712629914242 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9330688 140723941917420 140723941917846 140723941917846 140723941920719 0
[pid=648/tid=665] ppid=645 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/648/task/665/stat : 665 (java) S 645 645 32261 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 20 0 500351510 27969658880 31477 33554432000 4194304 4196468 140723941910848 140710745503856 140712629914242 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9330688 140723941917420 140723941917846 140723941917846 140723941920719 0
[pid=648/tid=666] ppid=645 vsize=27314120 memory=0 CPUtime=0.02 cores=0-7
/proc/648/task/666/stat : 666 (java) S 645 645 32261 0 -1 1077944384 458 0 0 0 2 0 0 0 20 0 20 0 500351510 27969658880 31477 33554432000 4194304 4196468 140723941910848 140710744451056 140712629914242 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9330688 140723941917420 140723941917846 140723941917846 140723941920719 0
[pid=648/tid=667] ppid=645 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/648/task/667/stat : 667 (java) S 645 645 32261 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500351510 27969658880 31477 33554432000 4194304 4196468 140723941910848 140709436845152 140712629913301 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9330688 140723941917420 140723941917846 140723941917846 140723941920719 0
[pid=648/tid=668] ppid=645 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/648/task/668/stat : 668 (java) S 645 645 32261 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500351510 27969658880 31477 33554432000 4194304 4196468 140723941910848 140710743399472 140712629914242 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9330688 140723941917420 140723941917846 140723941917846 140723941920719 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 127304 KiB

[startup+0.30956 s]*
/proc/loadavg: 8.00 7.56 6.85 2/212 668
/proc/meminfo: memFree=24695964/32770624 swapFree=66956140/67108860
[pid=645] ppid=642 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/645/stat : 645 (scop.sh) S 642 645 32261 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 500351502 115843072 349 33554432000 4194304 5098028 140724448017520 140724448014776 140447900508796 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 11075584 140724448023332 140724448023660 140724448023660 140724448026573 0
/proc/645/statm: 28282 349 296 221 0 87 0
[pid=648] ppid=645 vsize=27314120 memory=129736 CPUtime=0.41 cores=0-7
/proc/648/stat : 648 (java) S 645 645 32261 0 -1 1077944320 12820 0 0 0 36 5 0 0 20 0 20 0 500351502 27969658880 32434 33554432000 4194304 4196468 140723941910848 140723941893392 140712629903095 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9330688 140723941917420 140723941917846 140723941917846 140723941920719 0
/proc/648/statm: 6828530 32434 3021 1 0 6790935 0
[pid=648/tid=649] ppid=645 vsize=27314120 memory=0 CPUtime=0.29 cores=0-7
/proc/648/task/649/stat : 649 (java) R 645 645 32261 0 -1 4202560 10355 0 0 0 25 4 0 0 20 0 20 0 500351502 27969658880 32434 33554432000 4194304 4196468 140723941910848 140712601733168 140712613089921 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9330688 140723941917420 140723941917846 140723941917846 140723941920719 0
[pid=648/tid=650] ppid=645 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/648/task/650/stat : 650 (java) S 645 645 32261 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500351505 27969658880 32434 33554432000 4194304 4196468 140723941910848 140712634145936 140712629913301 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9330688 140723941917420 140723941917846 140723941917846 140723941920719 0
[pid=648/tid=651] ppid=645 vsize=27314120 memory=140334920932748 CPUtime=0 cores=0-7
/proc/648/task/651/stat : 651 (java) S 645 645 32261 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500351505 27969658880 32434 33554432000 4194304 4196468 140723941910848 140712458787856 140712629913301 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9330688 140723941917420 140723941917846 140723941917846 140723941920719 0
[pid=648/tid=652] ppid=645 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/648/task/652/stat : 652 (java) S 645 645 32261 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500351505 27969658880 32434 33554432000 4194304 4196468 140723941910848 140712050588560 140712629913301 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9330688 140723941917420 140723941917846 140723941917846 140723941920719 0
[pid=648/tid=653] ppid=645 vsize=27314120 memory=1609721 CPUtime=0 cores=0-7
/proc/648/task/653/stat : 653 (java) S 645 645 32261 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500351505 27969658880 32434 33554432000 4194304 4196468 140723941910848 140712049535760 140712629913301 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9330688 140723941917420 140723941917846 140723941917846 140723941920719 0
[pid=648/tid=655] ppid=645 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/648/task/655/stat : 655 (java) S 645 645 32261 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500351505 27969658880 32434 33554432000 4194304 4196468 140723941910848 140712048482960 140712629913301 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9330688 140723941917420 140723941917846 140723941917846 140723941920719 0
[pid=648/tid=656] ppid=645 vsize=27314120 memory=331 CPUtime=0 cores=0-7
/proc/648/task/656/stat : 656 (java) S 645 645 32261 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500351505 27969658880 32434 33554432000 4194304 4196468 140723941910848 140712047430160 140712629913301 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9330688 140723941917420 140723941917846 140723941917846 140723941920719 0
[pid=648/tid=657] ppid=645 vsize=27314120 memory=3813203 CPUtime=0 cores=0-7
/proc/648/task/657/stat : 657 (java) S 645 645 32261 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500351505 27969658880 32434 33554432000 4194304 4196468 140723941910848 140712046377360 140712629913301 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9330688 140723941917420 140723941917846 140723941917846 140723941920719 0
[pid=648/tid=658] ppid=645 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/648/task/658/stat : 658 (java) S 645 645 32261 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500351505 27969658880 32434 33554432000 4194304 4196468 140723941910848 140712045324560 140712629913301 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9330688 140723941917420 140723941917846 140723941917846 140723941920719 0
[pid=648/tid=659] ppid=645 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/648/task/659/stat : 659 (java) S 645 645 32261 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500351506 27969658880 32434 33554432000 4194304 4196468 140723941910848 140710748662640 140712629914242 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9330688 140723941917420 140723941917846 140723941917846 140723941920719 0
[pid=648/tid=660] ppid=645 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/648/task/660/stat : 660 (java) S 645 645 32261 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 500351507 27969658880 32434 33554432000 4194304 4196468 140723941910848 140710577694240 140712629913301 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9330688 140723941917420 140723941917846 140723941917846 140723941920719 0
[pid=648/tid=661] ppid=645 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/648/task/661/stat : 661 (java) S 645 645 32261 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500351507 27969658880 32434 33554432000 4194304 4196468 140723941910848 140710309258608 140712629913301 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9330688 140723941917420 140723941917846 140723941917846 140723941920719 0
[pid=648/tid=662] ppid=645 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/648/task/662/stat : 662 (java) S 645 645 32261 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500351509 27969658880 32434 33554432000 4194304 4196468 140723941910848 140709934750032 140712629921691 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9330688 140723941917420 140723941917846 140723941917846 140723941920719 0
[pid=648/tid=663] ppid=645 vsize=27314120 memory=0 CPUtime=0.01 cores=0-7
/proc/648/task/663/stat : 663 (java) R 645 645 32261 0 -1 4202560 385 0 0 0 1 0 0 0 20 0 20 0 500351509 27969658880 32434 33554432000 4194304 4196468 140723941910848 140710747609456 140712607537744 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9330688 140723941917420 140723941917846 140723941917846 140723941920719 0
[pid=648/tid=664] ppid=645 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/648/task/664/stat : 664 (java) S 645 645 32261 0 -1 1077944384 178 0 0 0 0 0 0 0 20 0 20 0 500351509 27969658880 32434 33554432000 4194304 4196468 140723941910848 140710746556656 140712629914242 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9330688 140723941917420 140723941917846 140723941917846 140723941920719 0
[pid=648/tid=665] ppid=645 vsize=27314120 memory=0 CPUtime=0.01 cores=0-7
/proc/648/task/665/stat : 665 (java) S 645 645 32261 0 -1 1077944384 74 0 0 0 1 0 0 0 20 0 20 0 500351510 27969658880 32434 33554432000 4194304 4196468 140723941910848 140710745503856 140712629914242 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9330688 140723941917420 140723941917846 140723941917846 140723941920719 0
[pid=648/tid=666] ppid=645 vsize=27314120 memory=0 CPUtime=0.07 cores=0-7
/proc/648/task/666/stat : 666 (java) S 645 645 32261 0 -1 1077944384 502 0 0 0 7 0 0 0 20 0 20 0 500351510 27969658880 32434 33554432000 4194304 4196468 140723941910848 140710744451056 140712629914242 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9330688 140723941917420 140723941917846 140723941917846 140723941920719 0
[pid=648/tid=667] ppid=645 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/648/task/667/stat : 667 (java) S 645 645 32261 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500351510 27969658880 32434 33554432000 4194304 4196468 140723941910848 140709436845152 140712629913301 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9330688 140723941917420 140723941917846 140723941917846 140723941920719 0
[pid=648/tid=668] ppid=645 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/648/task/668/stat : 668 (java) S 645 645 32261 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500351510 27969658880 32434 33554432000 4194304 4196468 140723941910848 140710743399472 140712629914242 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9330688 140723941917420 140723941917846 140723941917846 140723941920719 0
Current children cumulated CPU time: 0.41 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 131132 KiB

[startup+0.700885 s]
/proc/loadavg: 7.43 7.46 6.82 2/212 668
/proc/meminfo: memFree=24674356/32770624 swapFree=66956140/67108860
[pid=645] ppid=642 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/645/stat : 645 (scop.sh) S 642 645 32261 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 500351502 115843072 349 33554432000 4194304 5098028 140724448017520 140724448014776 140447900508796 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 11075584 140724448023332 140724448023660 140724448023660 140724448026573 0
/proc/645/statm: 28282 349 296 221 0 87 0
[pid=648] ppid=645 vsize=27322516 memory=165760 CPUtime=0.97 cores=0-7
/proc/648/stat : 648 (java) S 645 645 32261 0 -1 1077944320 20606 0 0 0 89 8 0 0 20 0 20 0 500351502 27978256384 41440 33554432000 4194304 4196468 140723941910848 140723941893392 140712629903095 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9330688 140723941917420 140723941917846 140723941917846 140723941920719 0
/proc/648/statm: 6830629 41440 3205 1 0 6791959 0
[pid=648/tid=649] ppid=645 vsize=27322516 memory=4104 CPUtime=0.68 cores=0-7
/proc/648/task/649/stat : 649 (java) R 645 645 32261 0 -1 4202560 17593 0 0 0 61 7 0 0 20 0 20 0 500351502 27978256384 41440 33554432000 4194304 4196468 140723941910848 140712601734832 140712611296829 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9330688 140723941917420 140723941917846 140723941917846 140723941920719 0
[pid=648/tid=650] ppid=645 vsize=27322516 memory=0 CPUtime=0 cores=0-7
/proc/648/task/650/stat : 650 (java) S 645 645 32261 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500351505 27978256384 41440 33554432000 4194304 4196468 140723941910848 140712634145936 140712629913301 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9330688 140723941917420 140723941917846 140723941917846 140723941920719 0
[pid=648/tid=651] ppid=645 vsize=27322516 memory=0 CPUtime=0 cores=0-7
/proc/648/task/651/stat : 651 (java) S 645 645 32261 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500351505 27978256384 41440 33554432000 4194304 4196468 140723941910848 140712458787856 140712629913301 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9330688 140723941917420 140723941917846 140723941917846 140723941920719 0
[pid=648/tid=652] ppid=645 vsize=27322516 memory=4580 CPUtime=0 cores=0-7
/proc/648/task/652/stat : 652 (java) S 645 645 32261 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500351505 27978256384 41440 33554432000 4194304 4196468 140723941910848 140712050588560 140712629913301 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9330688 140723941917420 140723941917846 140723941917846 140723941920719 0

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

[pid=725/tid=726] ppid=645 vsize=8414124 memory=6935054825532540783 CPUtime=60.81 cores=0-7
/proc/725/task/726/stat : 726 (java) S 645 645 32261 0 -1 1077944384 16962 1842570 0 0 78 10 5601 392 20 0 23 0 500429923 8616062976 256498 33554432000 4194304 4196468 140729903448128 140468430401440 140468458571477 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6328320 140729903453177 140729903453334 140729903453334 140729903456207 0
[pid=725/tid=727] ppid=645 vsize=8414124 memory=4126316290023845779 CPUtime=59.93 cores=0-7
/proc/725/task/727/stat : 727 (java) S 645 645 32261 0 -1 1077944384 2 1842570 0 0 0 0 5601 392 20 0 23 0 500429925 8616062976 256498 33554432000 4194304 4196468 140729903448128 140468462803472 140468458571477 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6328320 140729903453177 140729903453334 140729903453334 140729903456207 0
[pid=725/tid=728] ppid=645 vsize=8414124 memory=288230583166042426 CPUtime=59.93 cores=0-7
/proc/725/task/728/stat : 728 (java) S 645 645 32261 0 -1 1077944384 1 1842570 0 0 0 0 5601 392 20 0 23 0 500429925 8616062976 256498 33554432000 4194304 4196468 140729903448128 140468262972048 140468458571477 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6328320 140729903453177 140729903453334 140729903453334 140729903456207 0
[pid=725/tid=729] ppid=645 vsize=8414124 memory=14411510181004679 CPUtime=59.93 cores=0-7
/proc/725/task/729/stat : 729 (java) S 645 645 32261 0 -1 1077944384 1 1842570 0 0 0 0 5601 392 20 0 23 0 500429925 8616062976 256498 33554432000 4194304 4196468 140729903448128 140468261918992 140468458571477 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6328320 140729903453177 140729903453334 140729903453334 140729903456207 0
[pid=725/tid=730] ppid=645 vsize=8414124 memory=0 CPUtime=59.93 cores=0-7
/proc/725/task/730/stat : 730 (java) S 645 645 32261 0 -1 1077944384 3 1842570 0 0 0 0 5601 392 20 0 23 0 500429925 8616062976 256498 33554432000 4194304 4196468 140729903448128 140468260866448 140468458571477 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6328320 140729903453177 140729903453334 140729903453334 140729903456207 0
[pid=725/tid=731] ppid=645 vsize=8414124 memory=0 CPUtime=59.93 cores=0-7
/proc/725/task/731/stat : 731 (java) S 645 645 32261 0 -1 1077944384 1 1842570 0 0 0 0 5601 392 20 0 23 0 500429925 8616062976 256498 33554432000 4194304 4196468 140729903448128 140468259814416 140468458571477 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6328320 140729903453177 140729903453334 140729903453334 140729903456207 0
[pid=725/tid=732] ppid=645 vsize=8414124 memory=0 CPUtime=59.93 cores=0-7
/proc/725/task/732/stat : 732 (java) S 645 645 32261 0 -1 1077944384 2 1842570 0 0 0 0 5601 392 20 0 23 0 500429925 8616062976 256498 33554432000 4194304 4196468 140729903448128 140468258761872 140468458571477 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6328320 140729903453177 140729903453334 140729903453334 140729903456207 0
[pid=725/tid=733] ppid=645 vsize=8414124 memory=0 CPUtime=59.93 cores=0-7
/proc/725/task/733/stat : 733 (java) S 645 645 32261 0 -1 1077944384 1 1842570 0 0 0 0 5601 392 20 0 23 0 500429925 8616062976 256498 33554432000 4194304 4196468 140729903448128 140468257708816 140468458571477 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6328320 140729903453177 140729903453334 140729903453334 140729903456207 0
[pid=725/tid=734] ppid=645 vsize=8414124 memory=3620 CPUtime=59.93 cores=0-7
/proc/725/task/734/stat : 734 (java) S 645 645 32261 0 -1 1077944384 2 1842570 0 0 0 0 5601 392 20 0 23 0 500429925 8616062976 256498 33554432000 4194304 4196468 140729903448128 140468256656272 140468458571477 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6328320 140729903453177 140729903453334 140729903453334 140729903456207 0
[pid=725/tid=736] ppid=645 vsize=8414124 memory=0 CPUtime=59.93 cores=0-7
/proc/725/task/736/stat : 736 (java) S 645 645 32261 0 -1 1077944384 7 1842570 0 0 0 0 5601 392 20 0 23 0 500429926 8616062976 256498 33554432000 4194304 4196468 140729903448128 140467686340848 140468458572418 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6328320 140729903453177 140729903453334 140729903453334 140729903456207 0
[pid=725/tid=737] ppid=645 vsize=8414124 memory=140334769445984 CPUtime=59.93 cores=0-7
/proc/725/task/737/stat : 737 (java) S 645 645 32261 0 -1 1077944384 13 1842570 0 0 0 0 5601 392 20 0 23 0 500429927 8616062976 257010 33554432000 4194304 4196468 140729903448128 140466972517536 140468458571477 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6328320 140729903453177 140729903453334 140729903453334 140729903456207 0
[pid=725/tid=738] ppid=645 vsize=8414124 memory=6656426216303648864 CPUtime=59.93 cores=0-7
/proc/725/task/738/stat : 738 (java) S 645 645 32261 0 -1 1077944384 1 1842570 0 0 0 0 5601 392 20 0 23 0 500429927 8616062976 257010 33554432000 4194304 4196468 140729903448128 140466704081648 140468458571477 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6328320 140729903453177 140729903453334 140729903453334 140729903456207 0
[pid=725/tid=739] ppid=645 vsize=8414124 memory=6944656592455360604 CPUtime=59.93 cores=0-7
/proc/725/task/739/stat : 739 (java) S 645 645 32261 0 -1 1077944384 1 1842570 0 0 0 0 5601 392 20 0 23 0 500429930 8616062976 257010 33554432000 4194304 4196468 140729903448128 140466329573328 140468458579867 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6328320 140729903453177 140729903453334 140729903453334 140729903456207 0
[pid=725/tid=740] ppid=645 vsize=8414124 memory=1476 CPUtime=60.2 cores=0-7
/proc/725/task/740/stat : 740 (java) S 645 645 32261 0 -1 1077944384 756 1842570 0 0 27 0 5601 392 20 0 23 0 500429930 8616062976 257010 33554432000 4194304 4196468 140729903448128 140467685288688 140468458572418 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6328320 140729903453177 140729903453334 140729903453334 140729903456207 0
[pid=725/tid=741] ppid=645 vsize=8414124 memory=237292 CPUtime=60.17 cores=0-7
/proc/725/task/741/stat : 741 (java) S 645 645 32261 0 -1 1077944384 619 1842570 0 0 24 0 5601 392 20 0 23 0 500429930 8616062976 257010 33554432000 4194304 4196468 140729903448128 140467684236144 140468458572418 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6328320 140729903453177 140729903453334 140729903453334 140729903456207 0
[pid=725/tid=742] ppid=645 vsize=8414124 memory=3620 CPUtime=60.14 cores=0-7
/proc/725/task/742/stat : 742 (java) S 645 645 32261 0 -1 1077944384 752 1842570 0 0 21 0 5601 392 20 0 23 0 500429930 8616062976 257010 33554432000 4194304 4196468 140729903448128 140467683183088 140468458572418 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6328320 140729903453177 140729903453334 140729903453334 140729903456207 0
[pid=725/tid=743] ppid=645 vsize=8414124 memory=4104 CPUtime=60.23 cores=0-7
/proc/725/task/743/stat : 743 (java) S 645 645 32261 0 -1 1077944384 1224 1842570 0 0 30 0 5601 392 20 0 23 0 500429930 8616062976 257010 33554432000 4194304 4196468 140729903448128 140467682130544 140468458572418 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6328320 140729903453177 140729903453334 140729903453334 140729903456207 0
[pid=725/tid=744] ppid=645 vsize=8414124 memory=49024 CPUtime=59.93 cores=0-7
/proc/725/task/744/stat : 744 (java) S 645 645 32261 0 -1 1077944384 3 1842570 0 0 0 0 5601 392 20 0 23 0 500429930 8616062976 257010 33554432000 4194304 4196468 140729903448128 140465831668192 140468458571477 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6328320 140729903453177 140729903453334 140729903453334 140729903456207 0
[pid=725/tid=745] ppid=645 vsize=8414124 memory=984 CPUtime=59.93 cores=0-7
/proc/725/task/745/stat : 745 (java) S 645 645 32261 0 -1 1077944384 3 1842570 0 0 0 0 5601 392 20 0 23 0 500429930 8616062976 257010 33554432000 4194304 4196468 140729903448128 140467681077936 140468458572418 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 73 0 0 6293624 6294260 6328320 140729903453177 140729903453334 140729903453334 140729903456207 0
[pid=725/tid=747] ppid=645 vsize=8414124 memory=2032 CPUtime=59.93 cores=0-7
/proc/725/task/747/stat : 747 (java) S 645 645 32261 0 -1 1077944384 23 1842570 0 0 0 0 5601 392 20 0 23 0 500430009 8616062976 257010 33554432000 4194304 4196468 140729903448128 140467673043088 140468458572418 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6328320 140729903453177 140729903453334 140729903453334 140729903456207 0
[pid=725/tid=749] ppid=645 vsize=8414124 memory=1328 CPUtime=61.07 cores=0-7
/proc/725/task/749/stat : 749 (java) R 645 645 32261 0 -1 4202560 488 1842570 0 0 95 19 5601 392 20 0 23 0 500430009 8616062976 257010 33554432000 4194304 4196468 140729903448128 140465160573560 140467932737359 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6328320 140729903453177 140729903453334 140729903453334 140729903456207 0
[pid=725/tid=751] ppid=645 vsize=8414124 memory=1560 CPUtime=59.93 cores=0-7
/proc/725/task/751/stat : 751 (java) S 645 645 32261 0 -1 1077944384 3 1842570 0 0 0 0 5601 392 20 0 23 0 500430011 8616062976 257010 33554432000 4194304 4196468 140729903448128 140464892140736 140468458571477 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6328320 140729903453177 140729903453334 140729903453334 140729903456207 0
Current children cumulated CPU time: 984.4 s
Current children cumulated vsize: 8527252 KiB
Current children cumulated memory: 1027468 KiB

[startup+812.601 s]
/proc/loadavg: 1.38 1.56 3.49 2/214 758
/proc/meminfo: memFree=23499436/32770624 swapFree=66956140/67108860
[pid=645] ppid=642 vsize=113128 memory=1476 CPUtime=921.37 cores=0-7
/proc/645/stat : 645 (scop.sh) S 642 645 32261 0 -1 4202496 583 234396 0 0 0 0 89928 2209 20 0 1 0 500351502 115843072 369 33554432000 4194304 5098028 140724448017520 140724448014264 140447900508796 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 11075584 140724448023332 140724448023660 140724448023660 140724448026573 0
/proc/645/statm: 28282 369 311 221 0 87 0
[pid=725] ppid=645 vsize=8414124 memory=1483388 CPUtime=65.82 cores=0-7
/proc/725/stat : 725 (java) S 645 645 32261 0 -1 1077944320 24050 1842570 0 0 488 101 5601 392 20 0 23 0 500429923 8616062976 370847 33554432000 4194304 4196468 140729903448128 140729903430672 140468458561271 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 6328320 140729903453177 140729903453334 140729903453334 140729903456207 0
/proc/725/statm: 2103531 370847 3238 1 0 2064875 0
[pid=725/tid=726] ppid=645 vsize=8414124 memory=1476 CPUtime=60.81 cores=0-7
/proc/725/task/726/stat : 726 (java) S 645 645 32261 0 -1 1077944384 16962 1842570 0 0 78 10 5601 392 20 0 23 0 500429923 8616062976 370847 33554432000 4194304 4196468 140729903448128 140468430401440 140468458571477 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6328320 140729903453177 140729903453334 140729903453334 140729903456207 0
[pid=725/tid=727] ppid=645 vsize=8414124 memory=14008 CPUtime=60.25 cores=0-7
/proc/725/task/727/stat : 727 (java) S 645 645 32261 0 -1 1077944384 223 1842570 0 0 24 8 5601 392 20 0 23 0 500429925 8616062976 370847 33554432000 4194304 4196468 140729903448128 140468462803472 140468458571477 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6328320 140729903453177 140729903453334 140729903453334 140729903456207 0
[pid=725/tid=728] ppid=645 vsize=8414124 memory=339760 CPUtime=60.26 cores=0-7
/proc/725/task/728/stat : 728 (java) S 645 645 32261 0 -1 1077944384 224 1842570 0 0 25 8 5601 392 20 0 23 0 500429925 8616062976 370847 33554432000 4194304 4196468 140729903448128 140468262972048 140468458571477 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6328320 140729903453177 140729903453334 140729903453334 140729903456207 0
[pid=725/tid=729] ppid=645 vsize=8414124 memory=6737356 CPUtime=60.26 cores=0-7
/proc/725/task/729/stat : 729 (java) S 645 645 32261 0 -1 1077944384 236 1842570 0 0 25 8 5601 392 20 0 23 0 500429925 8616062976 370847 33554432000 4194304 4196468 140729903448128 140468261918992 140468458571477 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6328320 140729903453177 140729903453334 140729903453334 140729903456207 0
[pid=725/tid=730] ppid=645 vsize=8414124 memory=4126316290023845779 CPUtime=60.27 cores=0-7
/proc/725/task/730/stat : 730 (java) S 645 645 32261 0 -1 1077944384 234 1842570 0 0 25 9 5601 392 20 0 23 0 500429925 8616062976 370847 33554432000 4194304 4196468 140729903448128 140468260866448 140468458571477 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6328320 140729903453177 140729903453334 140729903453334 140729903456207 0
[pid=725/tid=731] ppid=645 vsize=8414124 memory=8444 CPUtime=60.26 cores=0-7
/proc/725/task/731/stat : 731 (java) S 645 645 32261 0 -1 1077944384 227 1842570 0 0 25 8 5601 392 20 0 23 0 500429925 8616062976 370847 33554432000 4194304 4196468 140729903448128 140468259814416 140468458571477 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6328320 140729903453177 140729903453334 140729903453334 140729903456207 0
[pid=725/tid=732] ppid=645 vsize=8414124 memory=6164 CPUtime=60.27 cores=0-7
/proc/725/task/732/stat : 732 (java) S 645 645 32261 0 -1 1077944384 237 1842570 0 0 26 8 5601 392 20 0 23 0 500429925 8616062976 370847 33554432000 4194304 4196468 140729903448128 140468258761872 140468458571477 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6328320 140729903453177 140729903453334 140729903453334 140729903456207 0
[pid=725/tid=733] ppid=645 vsize=8414124 memory=1124 CPUtime=60.27 cores=0-7
/proc/725/task/733/stat : 733 (java) S 645 645 32261 0 -1 1077944384 235 1842570 0 0 25 9 5601 392 20 0 23 0 500429925 8616062976 370847 33554432000 4194304 4196468 140729903448128 140468257708816 140468458571477 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6328320 140729903453177 140729903453334 140729903453334 140729903456207 0
[pid=725/tid=734] ppid=645 vsize=8414124 memory=1412 CPUtime=60.27 cores=0-7
/proc/725/task/734/stat : 734 (java) S 645 645 32261 0 -1 1077944384 238 1842570 0 0 26 8 5601 392 20 0 23 0 500429925 8616062976 370847 33554432000 4194304 4196468 140729903448128 140468256656272 140468458571477 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6328320 140729903453177 140729903453334 140729903453334 140729903456207 0
[pid=725/tid=736] ppid=645 vsize=8414124 memory=3552 CPUtime=59.93 cores=0-7
/proc/725/task/736/stat : 736 (java) R 645 645 32261 0 -1 4202560 15 1842570 0 0 0 0 5601 392 20 0 23 0 500429926 8616062976 370847 33554432000 4194304 4196468 140729903448128 140467686339360 140468443626016 0 0 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6328320 140729903453177 140729903453334 140729903453334 140729903456207 0
[pid=725/tid=737] ppid=645 vsize=8414124 memory=1476 CPUtime=59.93 cores=0-7
/proc/725/task/737/stat : 737 (java) S 645 645 32261 0 -1 1077944384 13 1842570 0 0 0 0 5601 392 20 0 23 0 500429927 8616062976 370847 33554432000 4194304 4196468 140729903448128 140466972517536 140468458571477 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6328320 140729903453177 140729903453334 140729903453334 140729903456207 0
[pid=725/tid=738] ppid=645 vsize=8414124 memory=14008 CPUtime=59.93 cores=0-7
/proc/725/task/738/stat : 738 (java) S 645 645 32261 0 -1 1077944384 1 1842570 0 0 0 0 5601 392 20 0 23 0 500429927 8616062976 370847 33554432000 4194304 4196468 140729903448128 140466704081648 140468458571477 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6328320 140729903453177 140729903453334 140729903453334 140729903456207 0
[pid=725/tid=739] ppid=645 vsize=8414124 memory=129508 CPUtime=59.93 cores=0-7
/proc/725/task/739/stat : 739 (java) S 645 645 32261 0 -1 1077944384 1 1842570 0 0 0 0 5601 392 20 0 23 0 500429930 8616062976 370847 33554432000 4194304 4196468 140729903448128 140466329573328 140468458579867 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6328320 140729903453177 140729903453334 140729903453334 140729903456207 0
[pid=725/tid=740] ppid=645 vsize=8414124 memory=6732848 CPUtime=60.2 cores=0-7
/proc/725/task/740/stat : 740 (java) S 645 645 32261 0 -1 1077944384 756 1842570 0 0 27 0 5601 392 20 0 23 0 500429930 8616062976 370847 33554432000 4194304 4196468 140729903448128 140467685288688 140468458572418 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6328320 140729903453177 140729903453334 140729903453334 140729903456207 0
[pid=725/tid=741] ppid=645 vsize=8414124 memory=1476 CPUtime=60.17 cores=0-7
/proc/725/task/741/stat : 741 (java) S 645 645 32261 0 -1 1077944384 619 1842570 0 0 24 0 5601 392 20 0 23 0 500429930 8616062976 370847 33554432000 4194304 4196468 140729903448128 140467684236144 140468458572418 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6328320 140729903453177 140729903453334 140729903453334 140729903456207 0
[pid=725/tid=742] ppid=645 vsize=8414124 memory=933824 CPUtime=60.14 cores=0-7
/proc/725/task/742/stat : 742 (java) S 645 645 32261 0 -1 1077944384 752 1842570 0 0 21 0 5601 392 20 0 23 0 500429930 8616062976 370847 33554432000 4194304 4196468 140729903448128 140467683183088 140468458572418 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6328320 140729903453177 140729903453334 140729903453334 140729903456207 0
[pid=725/tid=743] ppid=645 vsize=8414124 memory=800 CPUtime=60.23 cores=0-7
/proc/725/task/743/stat : 743 (java) S 645 645 32261 0 -1 1077944384 1224 1842570 0 0 30 0 5601 392 20 0 23 0 500429930 8616062976 370847 33554432000 4194304 4196468 140729903448128 140467682130544 140468458572418 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6328320 140729903453177 140729903453334 140729903453334 140729903456207 0
[pid=725/tid=744] ppid=645 vsize=8414124 memory=1772 CPUtime=59.93 cores=0-7
/proc/725/task/744/stat : 744 (java) S 645 645 32261 0 -1 1077944384 3 1842570 0 0 0 0 5601 392 20 0 23 0 500429930 8616062976 370847 33554432000 4194304 4196468 140729903448128 140465831668192 140468458571477 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6328320 140729903453177 140729903453334 140729903453334 140729903456207 0
[pid=725/tid=745] ppid=645 vsize=8414124 memory=111632 CPUtime=59.93 cores=0-7
/proc/725/task/745/stat : 745 (java) S 645 645 32261 0 -1 1077944384 3 1842570 0 0 0 0 5601 392 20 0 23 0 500429930 8616062976 370847 33554432000 4194304 4196468 140729903448128 140467681077936 140468458572418 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 73 0 0 6293624 6294260 6328320 140729903453177 140729903453334 140729903453334 140729903456207 0
[pid=725/tid=747] ppid=645 vsize=8414124 memory=804 CPUtime=59.93 cores=0-7
/proc/725/task/747/stat : 747 (java) S 645 645 32261 0 -1 1077944384 23 1842570 0 0 0 0 5601 392 20 0 23 0 500430009 8616062976 370847 33554432000 4194304 4196468 140729903448128 140467673043088 140468458572418 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6328320 140729903453177 140729903453334 140729903453334 140729903456207 0
[pid=725/tid=749] ppid=645 vsize=8414124 memory=1724 CPUtime=61.12 cores=0-7
/proc/725/task/749/stat : 749 (java) S 645 645 32261 0 -1 1077944384 494 1842570 0 0 100 19 5601 392 20 0 23 0 500430009 8616062976 370847 33554432000 4194304 4196468 140729903448128 140465160575968 140468458571477 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6328320 140729903453177 140729903453334 140729903453334 140729903456207 0
[pid=725/tid=751] ppid=645 vsize=8414124 memory=1804 CPUtime=59.93 cores=0-7
/proc/725/task/751/stat : 751 (java) S 645 645 32261 0 -1 1077944384 3 1842570 0 0 0 0 5601 392 20 0 23 0 500430011 8616062976 370847 33554432000 4194304 4196468 140729903448128 140464892140736 140468458571477 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6328320 140729903453177 140729903453334 140729903453334 140729903456207 0
Current children cumulated CPU time: 987.19 s
Current children cumulated vsize: 8527252 KiB
Current children cumulated memory: 1484864 KiB

[startup+813.001 s]
/proc/loadavg: 1.38 1.56 3.49 2/214 758
/proc/meminfo: memFree=23499436/32770624 swapFree=66956140/67108860
[pid=645] ppid=642 vsize=113128 memory=1476 CPUtime=921.37 cores=0-7
/proc/645/stat : 645 (scop.sh) S 642 645 32261 0 -1 4202496 583 234396 0 0 0 0 89928 2209 20 0 1 0 500351502 115843072 369 33554432000 4194304 5098028 140724448017520 140724448014264 140447900508796 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 11075584 140724448023332 140724448023660 140724448023660 140724448026573 0
/proc/645/statm: 28282 369 311 221 0 87 0
[pid=725] ppid=645 vsize=8283048 memory=1517316 CPUtime=66.51 cores=0-7
/proc/725/stat : 725 (java) S 645 645 32261 0 -1 1077944320 26483 1842570 0 0 556 102 5601 392 20 0 22 0 500429923 8481841152 379329 33554432000 4194304 4196468 140729903448128 140729903430672 140468458561271 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 6328320 140729903453177 140729903453334 140729903453334 140729903456207 0
/proc/725/statm: 2070762 379329 3250 1 0 2032106 0
[pid=725/tid=726] ppid=645 vsize=8283048 memory=3620 CPUtime=60.98 cores=0-7
/proc/725/task/726/stat : 726 (java) R 645 645 32261 0 -1 4202560 18191 1842570 0 0 94 11 5601 392 20 0 22 0 500429923 8481841152 379329 33554432000 4194304 4196468 140729903448128 140468430388272 140468442673338 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6328320 140729903453177 140729903453334 140729903453334 140729903456207 0
[pid=725/tid=727] ppid=645 vsize=8283048 memory=4104 CPUtime=60.25 cores=0-7
/proc/725/task/727/stat : 727 (java) S 645 645 32261 0 -1 1077944384 223 1842570 0 0 24 8 5601 392 20 0 22 0 500429925 8481841152 379329 33554432000 4194304 4196468 140729903448128 140468462803472 140468458571477 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6328320 140729903453177 140729903453334 140729903453334 140729903456207 0
[pid=725/tid=728] ppid=645 vsize=8283048 memory=6947385649911455296 CPUtime=60.26 cores=0-7
/proc/725/task/728/stat : 728 (java) S 645 645 32261 0 -1 1077944384 224 1842570 0 0 25 8 5601 392 20 0 22 0 500429925 8481841152 379329 33554432000 4194304 4196468 140729903448128 140468262972048 140468458571477 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6328320 140729903453177 140729903453334 140729903453334 140729903456207 0
[pid=725/tid=729] ppid=645 vsize=8283048 memory=129508 CPUtime=60.26 cores=0-7
/proc/725/task/729/stat : 729 (java) S 645 645 32261 0 -1 1077944384 236 1842570 0 0 25 8 5601 392 20 0 22 0 500429925 8481841152 379329 33554432000 4194304 4196468 140729903448128 140468261918992 140468458571477 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6328320 140729903453177 140729903453334 140729903453334 140729903456207 0
[pid=725/tid=730] ppid=645 vsize=8283048 memory=6687360 CPUtime=60.27 cores=0-7
/proc/725/task/730/stat : 730 (java) S 645 645 32261 0 -1 1077944384 234 1842570 0 0 25 9 5601 392 20 0 22 0 500429925 8481841152 379329 33554432000 4194304 4196468 140729903448128 140468260866448 140468458571477 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6328320 140729903453177 140729903453334 140729903453334 140729903456207 0
[pid=725/tid=731] ppid=645 vsize=8283048 memory=916 CPUtime=60.26 cores=0-7
/proc/725/task/731/stat : 731 (java) S 645 645 32261 0 -1 1077944384 227 1842570 0 0 25 8 5601 392 20 0 22 0 500429925 8481841152 379329 33554432000 4194304 4196468 140729903448128 140468259814416 140468458571477 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6328320 140729903453177 140729903453334 140729903453334 140729903456207 0
[pid=725/tid=732] ppid=645 vsize=8283048 memory=6164 CPUtime=60.27 cores=0-7
/proc/725/task/732/stat : 732 (java) S 645 645 32261 0 -1 1077944384 237 1842570 0 0 26 8 5601 392 20 0 22 0 500429925 8481841152 379329 33554432000 4194304 4196468 140729903448128 140468258761872 140468458571477 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6328320 140729903453177 140729903453334 140729903453334 140729903456207 0
[pid=725/tid=733] ppid=645 vsize=8283048 memory=1124 CPUtime=60.27 cores=0-7
/proc/725/task/733/stat : 733 (java) S 645 645 32261 0 -1 1077944384 235 1842570 0 0 25 9 5601 392 20 0 22 0 500429925 8481841152 379329 33554432000 4194304 4196468 140729903448128 140468257708816 140468458571477 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6328320 140729903453177 140729903453334 140729903453334 140729903456207 0
[pid=725/tid=734] ppid=645 vsize=8283048 memory=1412 CPUtime=60.27 cores=0-7
/proc/725/task/734/stat : 734 (java) S 645 645 32261 0 -1 1077944384 238 1842570 0 0 26 8 5601 392 20 0 22 0 500429925 8481841152 379329 33554432000 4194304 4196468 140729903448128 140468256656272 140468458571477 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6328320 140729903453177 140729903453334 140729903453334 140729903456207 0
[pid=725/tid=736] ppid=645 vsize=8283048 memory=3552 CPUtime=59.93 cores=0-7
/proc/725/task/736/stat : 736 (java) S 645 645 32261 0 -1 1077944384 23 1842570 0 0 0 0 5601 392 20 0 22 0 500429926 8481841152 379329 33554432000 4194304 4196468 140729903448128 140467686340848 140468458572418 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6328320 140729903453177 140729903453334 140729903453334 140729903456207 0
[pid=725/tid=737] ppid=645 vsize=8283048 memory=1476 CPUtime=59.93 cores=0-7
/proc/725/task/737/stat : 737 (java) S 645 645 32261 0 -1 1077944384 14 1842570 0 0 0 0 5601 392 20 0 22 0 500429927 8481841152 379329 33554432000 4194304 4196468 140729903448128 140466972517536 140468458571477 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6328320 140729903453177 140729903453334 140729903453334 140729903456207 0
[pid=725/tid=738] ppid=645 vsize=8283048 memory=780224 CPUtime=59.93 cores=0-7
/proc/725/task/738/stat : 738 (java) S 645 645 32261 0 -1 1077944384 2 1842570 0 0 0 0 5601 392 20 0 22 0 500429927 8481841152 379329 33554432000 4194304 4196468 140729903448128 140466704081648 140468458571477 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6328320 140729903453177 140729903453334 140729903453334 140729903456207 0
[pid=725/tid=739] ppid=645 vsize=8283048 memory=6737356 CPUtime=59.93 cores=0-7
/proc/725/task/739/stat : 739 (java) S 645 645 32261 0 -1 1077944384 1 1842570 0 0 0 0 5601 392 20 0 22 0 500429930 8481841152 379329 33554432000 4194304 4196468 140729903448128 140466329573328 140468458579867 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6328320 140729903453177 140729903453334 140729903453334 140729903456207 0
[pid=725/tid=740] ppid=645 vsize=8283048 memory=1420 CPUtime=60.27 cores=0-7
/proc/725/task/740/stat : 740 (java) R 645 645 32261 0 -1 4202560 1089 1842570 0 0 34 0 5601 392 20 0 22 0 500429930 8481841152 379382 33554432000 4194304 4196468 140729903448128 140467685269704 140468441972143 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6328320 140729903453177 140729903453334 140729903453334 140729903456207 0
[pid=725/tid=741] ppid=645 vsize=8283048 memory=1984 CPUtime=60.24 cores=0-7
/proc/725/task/741/stat : 741 (java) R 645 645 32261 0 -1 4202560 678 1842570 0 0 31 0 5601 392 20 0 22 0 500429930 8481841152 379382 33554432000 4194304 4196468 140729903448128 140467684212128 140468451278234 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6328320 140729903453177 140729903453334 140729903453334 140729903456207 0
[pid=725/tid=742] ppid=645 vsize=8283048 memory=2532 CPUtime=60.18 cores=0-7
/proc/725/task/742/stat : 742 (java) S 645 645 32261 0 -1 1077944384 988 1842570 0 0 25 0 5601 392 20 0 22 0 500429930 8481841152 379382 33554432000 4194304 4196468 140729903448128 140467683183088 140468458572418 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6328320 140729903453177 140729903453334 140729903453334 140729903456207 0
[pid=725/tid=743] ppid=645 vsize=8283048 memory=1440 CPUtime=60.33 cores=0-7
/proc/725/task/743/stat : 743 (java) R 645 645 32261 0 -1 4202560 1765 1842570 0 0 40 0 5601 392 20 0 22 0 500429930 8481841152 379382 33554432000 4194304 4196468 140729903448128 140467682130544 140468451658107 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6328320 140729903453177 140729903453334 140729903453334 140729903456207 0
[pid=725/tid=744] ppid=645 vsize=8283048 memory=800 CPUtime=59.93 cores=0-7
/proc/725/task/744/stat : 744 (java) S 645 645 32261 0 -1 1077944384 3 1842570 0 0 0 0 5601 392 20 0 22 0 500429930 8481841152 379382 33554432000 4194304 4196468 140729903448128 140465831668192 140468458571477 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6328320 140729903453177 140729903453334 140729903453334 140729903456207 0
[pid=725/tid=745] ppid=645 vsize=8283048 memory=3620 CPUtime=59.93 cores=0-7
/proc/725/task/745/stat : 745 (java) S 645 645 32261 0 -1 1077944384 3 1842570 0 0 0 0 5601 392 20 0 22 0 500429930 8481841152 379382 33554432000 4194304 4196468 140729903448128 140467681077936 140468458572418 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 73 0 0 6293624 6294260 6328320 140729903453177 140729903453334 140729903453334 140729903456207 0
[pid=725/tid=747] ppid=645 vsize=8283048 memory=4104 CPUtime=59.93 cores=0-7
/proc/725/task/747/stat : 747 (java) S 645 645 32261 0 -1 1077944384 23 1842570 0 0 0 0 5601 392 20 0 22 0 500430009 8481841152 379382 33554432000 4194304 4196468 140729903448128 140467673043088 140468458572418 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6328320 140729903453177 140729903453334 140729903453334 140729903456207 0
[pid=725/tid=751] ppid=645 vsize=8283048 memory=49024 CPUtime=59.93 cores=0-7
/proc/725/task/751/stat : 751 (java) S 645 645 32261 0 -1 1077944384 9 1842570 0 0 0 0 5601 392 20 0 22 0 500430011 8481841152 379382 33554432000 4194304 4196468 140729903448128 140464892142768 140468458572418 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6328320 140729903453177 140729903453334 140729903453334 140729903456207 0
Current children cumulated CPU time: 987.88 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 1518792 KiB

Child status: 0
Real time (s): 813.074
CPU time (s): 988.048
CPU user time (s): 960.933
CPU system time (s): 27.1148
CPU usage (%): 121.52
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 14203524

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 960.933
system time used= 27.1148
maximum resident set size= 14202328
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2104508
page faults= 0
swaps= 0
block input operations= 16
block output operations= 602832
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 85081
involuntary context switches= 2933


# summary of solver processes directly reported to runsolver:
#   pid: 645
#   total CPU time (s): 988.048
#   total CPU user time (s): 960.933
#   total CPU system time (s): 27.1148

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.75375 second user time and 8.42558 second system time

The end

Launcher Data 

Begin job on node151 at 2019-09-23 14:12:41
IDJOB=4405532
IDBENCH=123195
IDSOLVER=2868
FILE ID=node151/4405532-1569240802
RUNJOBID= node151-1569238587-32288
PBS_JOBID= 21704891
Free space on /tmp= 12412 MiB

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

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

MD5SUM BENCH= bba643cbf375a501e11ba296082ede1c
RANDOM SEED=1648521297

node151.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.53
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	: 5335.75
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.53
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	: 5335.75
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.53
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	: 5335.75
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.53
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	: 5335.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        24815928 kB
MemAvailable:   31795372 kB
Buffers:           87772 kB
Cached:          7054256 kB
SwapCached:        51108 kB
Active:          3520064 kB
Inactive:        3677792 kB
Active(anon):       4440 kB
Inactive(anon):   106028 kB
Active(file):    3515624 kB
Inactive(file):  3571764 kB
Unevictable:      108388 kB
Mlocked:          108388 kB
SwapTotal:      67108860 kB
SwapFree:       66956140 kB
Dirty:             20584 kB
Writeback:             8 kB
AnonPages:        113192 kB
Mapped:            52960 kB
Shmem:             45796 kB
Slab:             349112 kB
SReclaimable:     320516 kB
SUnreclaim:        28596 kB
KernelStack:        3392 kB
PageTables:         5636 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     514852 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     69632 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      138624 kB
DirectMap2M:    33406976 kB

Free space on /tmp at the end= 12392 MiB
End job on node151 at 2019-09-23 14:26:14