Trace number 4405258

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

NameSubisomorphism/Subisomorphism-m1-SF/
Subisomorphism-B-08.xml
MD5SUM47da5ea68f3d94e6d7990d40a1ef4aa5
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 benchmark0.530623
Satisfiable
(Un)Satisfiability was proved
Number of variables540
Number of constraints1676
Number of domains1
Minimum domain size600
Maximum domain size600
Distribution of domain sizes[{"size":600,"count":540}]
Minimum variable degree3
Maximum variable degree10
Distribution of variable degrees[{"degree":3,"count":4},{"degree":4,"count":19},{"degree":5,"count":89},{"degree":6,"count":212},{"degree":8,"count":110},{"degree":9,"count":71},{"degree":10,"count":35}]
Minimum constraint arity1
Maximum constraint arity540
Distribution of constraint arities[{"arity":1,"count":216},{"arity":2,"count":1459},{"arity":540,"count":1}]
Number of extensional constraints1675
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":1675},{"type":"allDifferent","count":1}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c (scop.sh) java -Xms22g -Xmx22g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Encode -order -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-16909-serial-file.bin HOME/instance-4405258-1569338697.xml
0.65/0.54	
0.65/0.54	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
0.65/0.54	
0.65/0.56	c BEGIN-Prog: Tue Sep 24 17:24:17 CEST 2019
0.65/0.56	c PID: 16912
0.65/0.56	c IP: 172.20.3.150
0.65/0.56	c HOST: node150.alineos.net
0.65/0.57	c (0,0) Parsing Begin
2.75/1.28	c (0,0) Parsing End
2.75/1.29	c (0,0) CSP: 540 int (0 aux), 0 bool (0 aux), 1676 ctr, max domain size 600
2.75/1.29	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 21 MiB used (max 0 MiB)
2.75/1.29	c (0,0) Constraint Name Generate Begin
2.75/1.30	c (0,0) Ctr:HOME/instance-4405258-1569338697.xml,AllDifferent:ExtensionConflict:ExtensionSupport:Var
2.75/1.30	c (0,0) Constraint Name Generate End
2.75/1.30	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 21 MiB used (max 0 MiB)
2.75/1.30	c (0,0) CSP to CSPinCNF Begin
106.01/82.60	c (82,80) translated 168 (10%) constraints
210.78/163.92	c (163,157) translated 336 (20%) constraints
305.60/242.85	c (242,234) translated 503 (30%) constraints
396.34/320.87	c (320,310) translated 671 (40%) constraints
487.49/398.56	c (398,386) translated 838 (50%) constraints
576.86/476.84	c (476,463) translated 1006 (60%) constraints
671.93/555.91	c (555,539) translated 1174 (70%) constraints
759.29/633.82	c (633,616) translated 1341 (80%) constraints
826.31/690.52	c (689,671) translated 1509 (90%) constraints
826.31/690.57	c (690,671) translated 1676 (100%) constraints
826.31/690.57	c (690,671) ===========================================
826.73/690.69	c (690,671) Order
826.73/690.69	c (690,671) ===========================================
857.04/715.42	c (714,696) translated 1221752 (10%) constraints
886.32/739.65	c (739,719) translated 2443503 (20%) constraints
916.88/764.30	c (763,743) translated 3665255 (30%) constraints
947.36/788.82	c (788,767) translated 4887006 (40%) constraints
977.67/813.46	c (812,790) translated 6108758 (50%) constraints
1009.16/838.52	c (837,815) translated 7330509 (60%) constraints
1040.08/863.34	c (862,838) translated 8552261 (70%) constraints
1071.26/888.03	c (887,862) translated 9774012 (80%) constraints
1102.01/912.54	c (912,886) translated 10995764 (90%) constraints
1132.79/937.21	c (936,910) translated 12217515 (100%) constraints
1132.79/937.21	c (936,910) CSP to CSPinCNF End
1133.20/937.64	c (937,910) CSP: 540 int (0 aux), 875400 bool (875400 aux), 12217515 ctr, max domain size 600
1133.20/937.64	c (937,910) Heap : 13534 MiB used (max 21804 MiB), NonHeap : 29 MiB used (max 0 MiB)
1133.20/937.64	c (937,910) CSPinCNF Propagation Begin
1517.17/1101.64	c (1101,1043) 36114 values, 3171271 unsatisfiable literals, and 2930105 valid clauses are removed
1517.17/1101.64	c (1101,1043) CSPinCNF Propagation End
1517.46/1101.97	c (1101,1043) CSP: 540 int (0 aux), 875400 bool (875400 aux), 9287410 ctr, max domain size 600
1517.46/1101.97	c (1101,1043) Heap : 15805 MiB used (max 20849 MiB), NonHeap : 31 MiB used (max 0 MiB)
1517.57/1102.03	c (1101,1043) Simplify CSPinCNF Begin
1554.27/1123.27	c (1122,1062) Simplify CSPinCNF End
1554.77/1123.72	c (1123,1063) CSP: 540 int (0 aux), 1166460 bool (1166460 aux), 9578470 ctr, max domain size 600
1554.77/1123.72	c (1123,1063) Heap : 17330 MiB used (max 21427 MiB), NonHeap : 31 MiB used (max 0 MiB)
1554.77/1123.72	c (1123,1063) Calculate Precise Domain Begin
1554.77/1123.72	c (1123,1063) 0 values are removed by re-calculation
1554.77/1123.72	c (1123,1063) Calculate Precise Domain End
1555.16/1124.16	c (1123,1063) CSP: 540 int (0 aux), 1166460 bool (1166460 aux), 9578470 ctr, max domain size 600
1555.16/1124.16	c (1123,1063) Heap : 17330 MiB used (max 21427 MiB), NonHeap : 31 MiB used (max 0 MiB)
1555.16/1124.16	c (1123,1063) CSPinCNF to SatSolver Begin
2100.67/1554.83	c (1554,1468) 957847 (10 %) CSP clauses are encoded (0 SAT variables, 105760377 SAT clauses)
2111.20/1564.24	c (1563,1477) 1915694 (20 %) CSP clauses are encoded (0 SAT variables, 106718224 SAT clauses)
2122.17/1573.76	c (1573,1487) 2873541 (30 %) CSP clauses are encoded (0 SAT variables, 107676071 SAT clauses)
2133.52/1583.39	c (1582,1496) 3831388 (40 %) CSP clauses are encoded (0 SAT variables, 108633918 SAT clauses)
2144.29/1592.88	c (1592,1505) 4789235 (50 %) CSP clauses are encoded (0 SAT variables, 109591765 SAT clauses)
2158.10/1602.78	c (1602,1515) 5747082 (60 %) CSP clauses are encoded (0 SAT variables, 110549612 SAT clauses)
2170.52/1612.49	c (1611,1524) 6704929 (70 %) CSP clauses are encoded (0 SAT variables, 111507459 SAT clauses)
2182.30/1622.12	c (1621,1533) 7662776 (80 %) CSP clauses are encoded (0 SAT variables, 112465306 SAT clauses)
2194.76/1631.89	c (1631,1543) 8620623 (90 %) CSP clauses are encoded (0 SAT variables, 113423153 SAT clauses)
2207.55/1641.61	c (1641,1552) 9578470 (100 %) CSP clauses are encoded (0 SAT variables, 114381000 SAT clauses)
2207.55/1641.61	c (1641,1552) CSPinCNF to SatSolver End
2207.55/1641.61	c (1641,1552) Heap : 14808 MiB used (max 21655 MiB), NonHeap : 32 MiB used (max 0 MiB)
2207.55/1641.61	c (1641,1552) 1375815 bool, 114381001 clause
2207.55/1641.61	c (1641,1552) Export Begin
2207.69/1641.76	c (1641,1552) Export to HOME/scop-16909-serial-file.bin
2207.69/1641.76	c (1641,1552) Export End
2207.69/1641.76	c (1641,1552) Export File Size: 0.10 MB
2207.69/1641.76	c (1641,1552) 0,0,937,1101,1123,1123,1641,STOP-AFTER(DIMACS)
2207.69/1641.76	c END-Prog: Tue Sep 24 17:51:38 CEST 2019
0.00/1642.88	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-16909-serial-file.bin
2209.56/1643.44	c (0,0) Read Serial File Begin
2209.56/1643.44	c (0,0) HOME/scop-16909-serial-file.bin
2209.83/1643.69	c (0,0) Read Serial File End
2210.11/1643.71	
2210.11/1643.71	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
2210.11/1643.71	(Solving Process)
2210.11/1643.71	
2210.11/1643.73	c BEGIN-Prog: Tue Sep 24 17:51:40 CEST 2019
2210.11/1643.73	c PID: 17056
2210.11/1643.73	c IP: 172.20.3.150
2210.11/1643.73	c HOST: node150.alineos.net
2210.11/1643.74	c (0,0) SatSolver.solve Begin
2210.11/1643.74	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4405258-1569338697.xml-scop-16912.cnf
2210.35/1643.80	c (0,0) c
2210.35/1643.80	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)
2210.35/1643.80	c (0,0) c
2210.35/1643.80	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
2210.35/1643.80	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
2210.35/1643.80	c (0,0) c ========================================[ Problem Statistics ]===========================================
2210.35/1643.80	c (0,0) c |                                                                                                       |
2249.90/1683.36	c (39,0) c |  Number of variables:       1375815                                                                   |
2249.90/1683.36	c (39,0) c |  Number of clauses:       114381001                                                                   |
2249.90/1683.37	c (39,0) c |  Parse time:                  36.34 s                                                                 |
2249.90/1683.37	c (39,0) c |                                                                                                       |
2257.10/1690.55	c (47,0) c | Too many clauses... No preprocessing                                                                  |
2257.10/1690.55	c (47,0) c |  Simplification time:          6.28 s                                                                 |
2257.10/1690.55	c (47,0) c |                                                                                                       |
2257.10/1690.55	c (47,0) c |  One Solver is taking   8254.59Mb... Let's take   1 solvers for this run (max 40% of the maxmemory).  |
2257.10/1690.55	c (47,0) c |  Generating clones                                                                                    |
2257.10/1690.55	c (47,0) c |  all clones generated. Memory =  8254.59Mb.                                                           |
2257.10/1690.56	c (47,0) c ========================================================================================================|
2257.10/1690.56	c (47,0) c
2257.10/1690.56	c (47,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
2257.10/1690.56	c (47,0) c
2257.10/1690.56	c (47,0) c |-----------------------|------------|
2257.10/1690.56	c (47,0) c | Threads               |          0 |
2257.10/1690.56	c (47,0) c |-----------------------|------------|
2257.10/1690.56	c (47,0) c | randomizeFirstDescent |      False |
2257.10/1690.56	c (47,0) c | adaptStrategeis       |       True |
2257.10/1690.56	c (47,0) c | forceUnsatOnNewDescent|       True |
2257.10/1690.56	c (47,0) c | Initial random_seed   |   91648253 |
2257.10/1690.56	c (47,0) c | chanseokStrategy      |      False |
2257.10/1690.56	c (47,0) c | coLBDBound            |          5 |
2257.10/1690.56	c (47,0) c | glureduce             |       True |
2257.10/1690.56	c (47,0) c | firstReduceDB         |       2000 |
2257.10/1690.56	c (47,0) c | incReduceDB           |        300 |
2257.10/1690.56	c (47,0) c | luby_restart          |      False |
2257.10/1690.56	c (47,0) c | luby_restart_factor   |        100 |
2257.10/1690.56	c (47,0) c | var_decay             |     0.8000 |
2257.10/1690.56	c (47,0) c | max_var_decay         |     0.9500 |
2257.10/1690.56	c (47,0) c | randomize_on_restarts |      False |
2257.10/1690.56	c (47,0) c | remove_satisfied      |       True |
2257.10/1690.56	c (47,0) c |-----------------------|------------|
2267.50/1700.98	c (57,0) c
2267.50/1700.98	c (57,0) c real time : 57.1763 s
2267.50/1700.98	c (57,0) c cpu time  : 52.1877 s
2267.50/1700.98	c (57,0) c
2267.50/1700.98	c (57,0) c
2267.50/1700.98	c (57,0) c
2267.50/1700.98	c (57,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
2267.50/1700.98	c (57,0) c
2267.50/1700.98	c (57,0) c |---------------|-----------------|------------|
2267.50/1700.98	c (57,0) c | Threads       |      Total      |          0 |
2267.50/1700.98	c (57,0) c |---------------|-----------------|------------|
2267.50/1700.98	c (57,0) c | Conflicts     |             990 |        990 |
2267.50/1700.98	c (57,0) c | Decisions     |            1858 |       1858 |
2267.50/1700.98	c (57,0) c | Propagations  |         3330095 |    3330095 |
2267.50/1700.98	c (57,0) c | ReduceDBs     |               0 |          0 |
2267.50/1700.98	c (57,0) c | SimpDBs       |               1 |          1 |
2267.50/1700.98	c (57,0) c | Restarts      |               1 |          1 |
2267.50/1700.98	c (57,0) c | ForcedImports |               0 |          0 |
2267.50/1700.98	c (57,0) c | PropBinClauses|         3807600 |    3807600 |
2267.50/1700.98	c (57,0) c | PropPreBlocker|       164182454 |  164182454 |
2267.50/1700.98	c (57,0) c | PropNotBlocker|        90687131 |   90687131 |
2267.50/1700.98	c (57,0) c | LitFullScans  |       261425974 |  261425974 |
2267.50/1700.98	c (57,0) c | LitScanFracts |           81676 |      81676 |
2267.50/1700.98	c (57,0) c | DecisionLevel0|               9 |          9 |
2267.50/1700.98	c (57,0) c | Periods       |              43 |         43 |
2267.50/1700.98	c (57,0) c | Margin        |              20 |         20 |
2267.50/1700.98	c (57,0) c | Avg_Trail     |                 |       6597 |
2267.50/1700.98	c (57,0) c | Avg_DL        |                 |         11 |
2267.50/1700.98	c (57,0) c | Avg_Res       |                 |          0 |
2267.50/1700.98	c (57,0) c | Avg_Res_Seen  |                 |          0 |
2267.50/1700.98	c (57,0) c |---------------|-----------------|------------|
2267.50/1700.98	c (57,0) c | Exported      |              93 |         93 |
2267.50/1700.98	c (57,0) c | Imported      |               0 |          0 |
2267.50/1700.98	c (57,0) c | Good          |               0 |          0 |
2267.50/1700.98	c (57,0) c | Purge         |               0 |          0 |
2267.50/1700.98	c (57,0) c | Promoted      |               0 |          0 |
2267.50/1700.98	c (57,0) c | Remove_Imp    |               0 |          0 |
2267.50/1700.98	c (57,0) c | Blocked_Reuse |               0 |          0 |
2267.50/1700.98	c (57,0) c |---------------|-----------------|------------|
2267.50/1700.98	c (57,0) c | Unaries       |                 |          8 |
2267.50/1700.98	c (57,0) c | Binaries      |                 |         42 |
2267.50/1700.98	c (57,0) c | Glues         |                 |         93 |
2267.50/1700.98	c (57,0) c |---------------|-----------------|------------|
2267.50/1700.98	c (57,0) c | Orig_Seen     |             0 % |      19532 |
2267.50/1700.98	c (57,0) c | Diff Orig seen|                 |      X     |
2267.50/1700.98	c (57,0) c | Hamming       |             0 % |      X     |
2267.50/1700.98	c (57,0) c |---------------|-----------------|------------|
2267.50/1700.98	c (57,0) c | RunningTime   |                 |   10.4 100%|
2267.50/1700.98	c (57,0) c | WaitingTime   |                 |    0.0   0%|
2267.50/1700.98	c (57,0) c | ExchangingTime|                 |    0.0   0%|
2267.50/1700.98	c (57,0) c | PeriodProcTime|                 |    0.0   0%|
2267.50/1700.98	c (57,0) c | SolvingTime   |                 |   10.4     |
2267.50/1700.98	c (57,0) c | PropagationTim|                 |   10.3  99%|
2267.50/1700.98	c (57,0) c | AnalysisTime  |                 |    0.0   0%|
2267.50/1700.98	c (57,0) c | ReductionTime |                 |    0.0   0%|
2267.50/1700.98	c (57,0) c | SimplifyTime  |                 |    0.0   0%|
2267.50/1700.98	c (57,0) c | UsedRateTime  |                 |    0.0   0%|
2267.50/1700.98	c (57,0) c | OverlapRateTim|                 |    0.0   0%|
2267.50/1700.98	c (57,0) c |---------------|-----------------|------------|
2267.50/1700.98	c (57,0) c
2267.50/1700.98	c (57,0) c
2267.50/1700.98	c (57,0) c Threads : 1
2267.50/1700.98	c (57,0) c Winner : 0
2267.50/1700.98	c (57,0) c Conflicts_0 : 990
2267.50/1700.98	c (57,0) c Conflicts_total : 990
2267.50/1700.98	c (57,0) c Conflicts_winner : 990
2267.50/1700.98	c (57,0) c Decisions_0 : 1858
2267.50/1700.98	c (57,0) c Decisions_total : 1858
2267.50/1700.98	c (57,0) c Decisions_winner : 1858
2267.50/1700.98	c (57,0) c Propagations_0 : 3330095
2267.50/1700.98	c (57,0) c Propagations_total : 3330095
2267.50/1700.98	c (57,0) c Propagations_winner : 3330095
2267.50/1700.98	c (57,0) c ReduceDBs_0 : 0
2267.50/1700.98	c (57,0) c ReduceDBs_total : 0
2267.50/1700.98	c (57,0) c ReduceDBs_winner : 0
2267.50/1700.98	c (57,0) c SimpDBs_0 : 1
2267.50/1700.98	c (57,0) c SimpDBs_total : 1
2267.50/1700.98	c (57,0) c SimpDBs_winner : 1
2267.50/1700.98	c (57,0) c Restarts_0 : 1
2267.50/1700.98	c (57,0) c Restarts_total : 1
2267.50/1700.98	c (57,0) c Restarts_winner : 1
2267.50/1700.98	c (57,0) c ForcedImports_0 : 0
2267.50/1700.98	c (57,0) c ForcedImports_total : 0
2267.50/1700.98	c (57,0) c ForcedImports_winner : 0
2267.50/1700.98	c (57,0) c PropsBinClauses_0 : 3807600
2267.50/1700.98	c (57,0) c PropsBinClauses_total : 3807600
2267.50/1700.98	c (57,0) c PropsBinClauses_winner : 3807600
2267.50/1700.98	c (57,0) c PropsPreBlocker_0 : 164182454
2267.50/1700.98	c (57,0) c PropsPreBlocker_total : 164182454
2267.50/1700.98	c (57,0) c PropsPreBlocker_winner : 164182454
2267.50/1700.98	c (57,0) c PropsNotBlocker_0 : 90687131
2267.50/1700.98	c (57,0) c PropsNotBlocker_total : 90687131
2267.50/1700.98	c (57,0) c PropsNotBlocker_winner : 90687131
2267.50/1700.98	c (57,0) c PropsLitFullScans_0 : 261425974
2267.50/1700.98	c (57,0) c PropsLitFullScans_total : 261425974
2267.50/1700.98	c (57,0) c PropsLitFullScans_winner : 261425974
2267.50/1700.98	c (57,0) c LitScanFractions_0 : 81676
2267.50/1700.98	c (57,0) c LitScanFractions_total : 81676
2267.50/1700.98	c (57,0) c LitScanFractions_winner : 81676
2267.50/1700.98	c (57,0) c DecisionLevel0_0 : 9
2267.50/1700.98	c (57,0) c DecisionLevel0_total : 9
2267.50/1700.98	c (57,0) c DecisionLevel0_winner : 9
2267.50/1700.98	c (57,0) c Periods_0 : 43
2267.50/1700.98	c (57,0) c Periods_total : 43
2267.50/1700.98	c (57,0) c Periods_winner : 43
2267.50/1700.98	c (57,0) c Margin_0 : 20
2267.50/1700.98	c (57,0) c Margin_total : 20
2267.50/1700.98	c (57,0) c Margin_winner : 20
2267.50/1700.98	c (57,0) c Exported_0 : 93
2267.50/1700.98	c (57,0) c Exported_total : 93
2267.50/1700.98	c (57,0) c Exported_winner : 93
2267.50/1700.99	c (57,0) c Imported_0 : 0
2267.50/1700.99	c (57,0) c Imported_total : 0
2267.50/1700.99	c (57,0) c Imported_winner : 0
2267.50/1700.99	c (57,0) c Good_0 : 0
2267.50/1700.99	c (57,0) c Good_total : 0
2267.50/1700.99	c (57,0) c Good_winner : 0
2267.50/1700.99	c (57,0) c Purge_0 : 0
2267.50/1700.99	c (57,0) c Purge_total : 0
2267.50/1700.99	c (57,0) c Purge_winner : 0
2267.50/1700.99	c (57,0) c Promoted_0 : 0
2267.50/1700.99	c (57,0) c Promoted_total : 0
2267.50/1700.99	c (57,0) c Promoted_winner : 0
2267.50/1700.99	c (57,0) c Remove_Imp_0 : 0
2267.50/1700.99	c (57,0) c Remove_Imp_total : 0
2267.50/1700.99	c (57,0) c Remove_Imp_winner : 0
2267.50/1700.99	c (57,0) c Blocked_Reuse_0 : 0
2267.50/1700.99	c (57,0) c Blocked_Reuse_total : 0
2267.50/1700.99	c (57,0) c Blocked_Reuse_winner : 0
2267.50/1700.99	c (57,0) c Unaries_0 : 8
2267.50/1700.99	c (57,0) c Unaries_total : 8
2267.50/1700.99	c (57,0) c Unaries_winner : 8
2267.50/1700.99	c (57,0) c Binaries_0 : 42
2267.50/1700.99	c (57,0) c Binaries_total : 42
2267.50/1700.99	c (57,0) c Binaries_winner : 42
2267.50/1700.99	c (57,0) c Glues_0 : 93
2267.50/1700.99	c (57,0) c Glues_total : 93
2267.50/1700.99	c (57,0) c Glues_winner : 93
2267.50/1700.99	c (57,0) c RunningTime_0 : 10.377762
2267.50/1700.99	c (57,0) c RunningTime_total : 10.377762
2267.50/1700.99	c (57,0) c RunningTime_winner : 10.377762
2267.50/1700.99	c (57,0) c WaitingTime_0 : 0.000000
2267.50/1700.99	c (57,0) c WaitingTime_total : 0.000000
2267.50/1700.99	c (57,0) c WaitingTime_winner : 0.000000
2267.50/1700.99	c (57,0) c ExchangingTime_0 : 0.000219
2267.50/1700.99	c (57,0) c ExchangingTime_total : 0.000219
2267.50/1700.99	c (57,0) c ExchangingTime_winner : 0.000219
2267.50/1700.99	c (57,0) c PeriodProcTime_0 : 0.000397
2267.50/1700.99	c (57,0) c PeriodProcTime_total : 0.000397
2267.50/1700.99	c (57,0) c PeriodProcTime_winner : 0.000397
2267.50/1700.99	c (57,0) c SolvingTime_0 : 10.378378
2267.50/1700.99	c (57,0) c SolvingTime_total : 10.378378
2267.50/1700.99	c (57,0) c SolvingTime_winner : 10.378378
2267.50/1700.99	c (57,0) c PropagationTime_0 : 10.304611
2267.50/1700.99	c (57,0) c PropagationTime_total : 10.304611
2267.50/1700.99	c (57,0) c PropagationTime_winner : 10.304611
2267.50/1700.99	c (57,0) c AnalysisTime_0 : 0.028813
2267.50/1700.99	c (57,0) c AnalysisTime_total : 0.028813
2267.50/1700.99	c (57,0) c AnalysisTime_winner : 0.028813
2267.50/1700.99	c (57,0) c ReductionTime_0 : 0.000000
2267.50/1700.99	c (57,0) c ReductionTime_total : 0.000000
2267.50/1700.99	c (57,0) c ReductionTime_winner : 0.000000
2267.50/1700.99	c (57,0) c SimplifyTime_0 : 0.000000
2267.50/1700.99	c (57,0) c SimplifyTime_total : 0.000000
2267.50/1700.99	c (57,0) c SimplifyTime_winner : 0.000000
2267.50/1700.99	c (57,0) c UsedRateTime_0 : 0.000000
2267.50/1700.99	c (57,0) c UsedRateTime_total : 0.000000
2267.50/1700.99	c (57,0) c UsedRateTime_winner : 0.000000
2267.50/1700.99	c (57,0) c OverlapRateTime_0 : 0.000000
2267.50/1700.99	c (57,0) c OverlapRateTime_total : 0.000000
2267.50/1700.99	c (57,0) c OverlapRateTime_winner : 0.000000
2267.50/1700.99	c (57,0) c
2267.50/1700.99	c (57,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
2267.50/1700.99	c (57,0) c
2267.50/1700.99	c (57,0) c |-----------------------|------------|
2267.50/1700.99	c (57,0) c | Threads               |          0 |
2267.50/1700.99	c (57,0) c |-----------------------|------------|
2267.50/1700.99	c (57,0) c | randomizeFirstDescent |      False |
2267.50/1700.99	c (57,0) c | adaptStrategeis       |       True |
2267.50/1700.99	c (57,0) c | forceUnsatOnNewDescent|       True |
2267.50/1700.99	c (57,0) c | Initial random_seed   | 1766099340 |
2267.50/1700.99	c (57,0) c | chanseokStrategy      |      False |
2267.50/1700.99	c (57,0) c | coLBDBound            |          5 |
2267.50/1700.99	c (57,0) c | glureduce             |       True |
2267.50/1700.99	c (57,0) c | firstReduceDB         |       2000 |
2267.50/1700.99	c (57,0) c | incReduceDB           |        300 |
2267.50/1700.99	c (57,0) c | luby_restart          |      False |
2267.50/1700.99	c (57,0) c | luby_restart_factor   |        100 |
2267.50/1700.99	c (57,0) c | var_decay             |     0.8000 |
2267.50/1700.99	c (57,0) c | max_var_decay         |     0.9500 |
2267.50/1700.99	c (57,0) c | randomize_on_restarts |      False |
2267.50/1700.99	c (57,0) c | remove_satisfied      |       True |
2267.50/1700.99	c (57,0) c |-----------------------|------------|
2267.50/1700.99	c (57,0) 
2267.50/1700.99	c (57,0) s SATISFIABLE
2211.09/1701.68	c (58,0) SatSolver.solve End
2211.09/1701.68	c (58,0) Heap : 394 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB)
2211.09/1701.68	c (58,0) Show results Begin
2269.24/1701.87	c (58,0) x[0] = 177
2269.24/1701.87	c (58,0) x[1] = 167
2269.24/1701.87	c (58,0) x[2] = 551
2269.24/1701.87	c (58,0) x[3] = 325
2269.24/1701.87	c (58,0) x[4] = 489
2269.24/1701.87	c (58,0) x[5] = 457
2269.24/1701.87	c (58,0) x[6] = 147
2269.24/1701.87	c (58,0) x[7] = 137
2269.24/1701.87	c (58,0) x[8] = 408
2269.24/1701.87	c (58,0) x[9] = 565
2269.24/1701.87	c (58,0) x[10] = 299
2269.24/1701.87	c (58,0) x[11] = 342
2269.24/1701.87	c (58,0) x[12] = 473
2269.24/1701.87	c (58,0) x[13] = 488
2269.24/1701.87	c (58,0) x[14] = 317
2269.24/1701.87	c (58,0) x[15] = 25
2269.24/1701.87	c (58,0) x[16] = 20
2269.24/1701.87	c (58,0) x[17] = 592
2269.24/1701.87	c (58,0) x[18] = 410
2269.24/1701.87	c (58,0) x[19] = 98
2269.24/1701.87	c (58,0) x[20] = 73
2269.24/1701.87	c (58,0) x[21] = 229
2269.24/1701.87	c (58,0) x[22] = 571
2269.24/1701.87	c (58,0) x[23] = 406
2269.24/1701.87	c (58,0) x[24] = 220
2269.24/1701.87	c (58,0) x[25] = 540
2269.24/1701.87	c (58,0) x[26] = 477
2269.24/1701.87	c (58,0) x[27] = 165
2269.24/1701.87	c (58,0) x[28] = 206
2269.24/1701.87	c (58,0) x[29] = 433
2269.24/1701.87	c (58,0) x[30] = 510
2269.24/1701.87	c (58,0) x[31] = 397
2269.24/1701.87	c (58,0) x[32] = 291
2269.24/1701.87	c (58,0) x[33] = 389
2269.24/1701.87	c (58,0) x[34] = 130
2269.24/1701.87	c (58,0) x[35] = 522
2269.24/1701.87	c (58,0) x[36] = 555
2269.24/1701.87	c (58,0) x[37] = 47
2269.24/1701.87	c (58,0) x[38] = 10
2269.24/1701.87	c (58,0) x[39] = 30
2269.24/1701.87	c (58,0) x[40] = 427
2269.24/1701.87	c (58,0) x[41] = 578
2269.24/1701.87	c (58,0) x[42] = 5
2269.24/1701.87	c (58,0) x[43] = 553
2269.24/1701.87	c (58,0) x[44] = 121
2269.24/1701.87	c (58,0) x[45] = 569
2269.24/1701.87	c (58,0) x[46] = 122
2269.24/1701.87	c (58,0) x[47] = 226
2269.24/1701.87	c (58,0) x[48] = 450
2269.24/1701.87	c (58,0) x[49] = 499
2269.24/1701.87	c (58,0) x[50] = 466
2269.24/1701.87	c (58,0) x[51] = 253
2269.24/1701.87	c (58,0) x[52] = 581
2269.24/1701.87	c (58,0) x[53] = 395
2269.24/1701.87	c (58,0) x[54] = 194
2269.24/1701.87	c (58,0) x[55] = 83
2269.24/1701.87	c (58,0) x[56] = 576
2269.24/1701.87	c (58,0) x[57] = 598
2269.24/1701.87	c (58,0) x[58] = 361
2269.24/1701.87	c (58,0) x[59] = 89
2269.24/1701.87	c (58,0) x[60] = 72
2269.24/1701.87	c (58,0) x[61] = 402
2269.24/1701.87	c (58,0) x[62] = 475
2269.24/1701.87	c (58,0) x[63] = 446
2269.24/1701.87	c (58,0) x[64] = 246
2269.24/1701.87	c (58,0) x[65] = 111
2269.24/1701.87	c (58,0) x[66] = 161
2269.24/1701.87	c (58,0) x[67] = 211
2269.24/1701.87	c (58,0) x[68] = 470
2269.24/1701.87	c (58,0) x[69] = 413
2269.24/1701.87	c (58,0) x[70] = 222
2269.24/1701.87	c (58,0) x[71] = 22
2269.24/1701.87	c (58,0) x[72] = 380
2269.24/1701.87	c (58,0) x[73] = 123
2269.24/1701.87	c (58,0) x[74] = 574
2269.24/1701.87	c (58,0) x[75] = 497
2269.24/1701.87	c (58,0) x[76] = 16
2269.24/1701.87	c (58,0) x[77] = 346
2269.24/1701.87	c (58,0) x[78] = 305
2269.24/1701.87	c (58,0) x[79] = 304
2269.24/1701.87	c (58,0) x[80] = 59
2269.24/1701.87	c (58,0) x[81] = 374
2269.24/1701.87	c (58,0) x[82] = 523
2269.24/1701.87	c (58,0) x[83] = 252
2269.24/1701.87	c (58,0) x[84] = 567
2269.24/1701.87	c (58,0) x[85] = 532
2269.24/1701.87	c (58,0) x[86] = 297
2269.24/1701.87	c (58,0) x[87] = 530
2269.24/1701.87	c (58,0) x[88] = 136
2269.24/1701.87	c (58,0) x[89] = 599
2269.24/1701.87	c (58,0) x[90] = 528
2269.24/1701.87	c (58,0) x[91] = 100
2269.24/1701.87	c (58,0) x[92] = 388
2269.24/1701.87	c (58,0) x[93] = 443
2269.24/1701.87	c (58,0) x[94] = 267
2269.24/1701.87	c (58,0) x[95] = 277
2269.24/1701.87	c (58,0) x[96] = 582
2269.24/1701.87	c (58,0) x[97] = 529
2269.24/1701.87	c (58,0) x[98] = 316
2269.24/1701.87	c (58,0) x[99] = 9
2269.24/1701.87	c (58,0) x[100] = 15
2269.24/1701.87	c (58,0) x[101] = 163
2269.24/1701.87	c (58,0) x[102] = 535
2269.24/1701.87	c (58,0) x[103] = 407
2269.24/1701.87	c (58,0) x[104] = 139
2269.24/1701.87	c (58,0) x[105] = 517
2269.24/1701.87	c (58,0) x[106] = 96
2269.24/1701.87	c (58,0) x[107] = 258
2269.24/1701.87	c (58,0) x[108] = 549
2269.24/1701.87	c (58,0) x[109] = 520
2269.24/1701.87	c (58,0) x[110] = 67
2269.24/1701.87	c (58,0) x[111] = 164
2269.24/1701.87	c (58,0) x[112] = 560
2269.24/1701.87	c (58,0) x[113] = 40
2269.24/1701.87	c (58,0) x[114] = 559
2269.24/1701.87	c (58,0) x[115] = 375
2269.24/1701.87	c (58,0) x[116] = 243
2269.24/1701.87	c (58,0) x[117] = 439
2269.24/1701.87	c (58,0) x[118] = 116
2269.24/1701.87	c (58,0) x[119] = 107
2269.24/1701.87	c (58,0) x[120] = 357
2269.24/1701.87	c (58,0) x[121] = 335
2269.24/1701.87	c (58,0) x[122] = 425
2269.24/1701.87	c (58,0) x[123] = 179
2269.24/1701.87	c (58,0) x[124] = 509
2269.24/1701.87	c (58,0) x[125] = 23
2269.24/1701.87	c (58,0) x[126] = 218
2269.24/1701.87	c (58,0) x[127] = 74
2269.24/1701.87	c (58,0) x[128] = 464
2269.24/1701.87	c (58,0) x[129] = 134
2269.24/1701.87	c (58,0) x[130] = 398
2269.24/1701.87	c (58,0) x[131] = 128
2269.24/1701.87	c (58,0) x[132] = 239
2269.24/1701.87	c (58,0) x[133] = 271
2269.24/1701.87	c (58,0) x[134] = 495
2269.24/1701.87	c (58,0) x[135] = 110
2269.24/1701.87	c (58,0) x[136] = 60
2269.24/1701.87	c (58,0) x[137] = 544
2269.24/1701.87	c (58,0) x[138] = 308
2269.24/1701.87	c (58,0) x[139] = 492
2269.24/1701.87	c (58,0) x[140] = 35
2269.24/1701.87	c (58,0) x[141] = 469
2269.24/1701.87	c (58,0) x[142] = 42
2269.24/1701.87	c (58,0) x[143] = 458
2269.24/1701.87	c (58,0) x[144] = 362
2269.24/1701.87	c (58,0) x[145] = 526
2269.24/1701.87	c (58,0) x[146] = 412
2269.24/1701.87	c (58,0) x[147] = 577
2269.24/1701.87	c (58,0) x[148] = 190
2269.24/1701.87	c (58,0) x[149] = 334
2269.24/1701.87	c (58,0) x[150] = 210
2269.24/1701.88	c (58,0) x[151] = 46
2269.24/1701.88	c (58,0) x[152] = 264
2269.24/1701.88	c (58,0) x[153] = 580
2269.24/1701.88	c (58,0) x[154] = 512
2269.24/1701.88	c (58,0) x[155] = 309
2269.24/1701.88	c (58,0) x[156] = 348
2269.24/1701.88	c (58,0) x[157] = 64
2269.24/1701.88	c (58,0) x[158] = 436
2269.24/1701.88	c (58,0) x[159] = 221
2269.24/1701.88	c (58,0) x[160] = 262
2269.24/1701.88	c (58,0) x[161] = 274
2269.24/1701.88	c (58,0) x[162] = 50
2269.24/1701.88	c (58,0) x[163] = 188
2269.24/1701.88	c (58,0) x[164] = 405
2269.24/1701.88	c (58,0) x[165] = 154
2269.24/1701.88	c (58,0) x[166] = 451
2269.24/1701.88	c (58,0) x[167] = 563
2269.24/1701.88	c (58,0) x[168] = 302
2269.24/1701.88	c (58,0) x[169] = 109
2269.24/1701.88	c (58,0) x[170] = 432
2269.24/1701.88	c (58,0) x[171] = 533
2269.24/1701.88	c (58,0) x[172] = 203
2269.24/1701.88	c (58,0) x[173] = 276
2269.24/1701.88	c (58,0) x[174] = 538
2269.24/1701.88	c (58,0) x[175] = 200
2269.24/1701.88	c (58,0) x[176] = 101
2269.24/1701.88	c (58,0) x[177] = 426
2269.24/1701.88	c (58,0) x[178] = 265
2269.24/1701.88	c (58,0) x[179] = 119
2269.24/1701.88	c (58,0) x[180] = 345
2269.24/1701.88	c (58,0) x[181] = 192
2269.24/1701.88	c (58,0) x[182] = 225
2269.24/1701.88	c (58,0) x[183] = 507
2269.24/1701.88	c (58,0) x[184] = 579
2269.24/1701.88	c (58,0) x[185] = 71
2269.24/1701.88	c (58,0) x[186] = 506
2269.24/1701.88	c (58,0) x[187] = 251
2269.24/1701.88	c (58,0) x[188] = 460
2269.24/1701.88	c (58,0) x[189] = 561
2269.24/1701.88	c (58,0) x[190] = 195
2269.24/1701.88	c (58,0) x[191] = 294
2269.24/1701.88	c (58,0) x[192] = 593
2269.24/1701.88	c (58,0) x[193] = 481
2269.24/1701.88	c (58,0) x[194] = 217
2269.24/1701.88	c (58,0) x[195] = 545
2269.24/1701.88	c (58,0) x[196] = 202
2269.24/1701.88	c (58,0) x[197] = 331
2269.24/1701.88	c (58,0) x[198] = 452
2269.24/1701.88	c (58,0) x[199] = 502
2269.24/1701.88	c (58,0) x[200] = 198
2269.24/1701.88	c (58,0) x[201] = 568
2269.24/1701.88	c (58,0) x[202] = 332
2269.24/1701.88	c (58,0) x[203] = 485
2269.24/1701.88	c (58,0) x[204] = 296
2269.24/1701.88	c (58,0) x[205] = 301
2269.24/1701.88	c (58,0) x[206] = 353
2269.24/1701.88	c (58,0) x[207] = 65
2269.24/1701.88	c (58,0) x[208] = 255
2269.24/1701.88	c (58,0) x[209] = 511
2269.24/1701.88	c (58,0) x[210] = 21
2269.24/1701.88	c (58,0) x[211] = 94
2269.24/1701.88	c (58,0) x[212] = 124
2269.24/1701.88	c (58,0) x[213] = 189
2269.24/1701.88	c (58,0) x[214] = 366
2269.24/1701.88	c (58,0) x[215] = 444
2269.24/1701.88	c (58,0) x[216] = 496
2269.24/1701.88	c (58,0) x[217] = 365
2269.24/1701.88	c (58,0) x[218] = 487
2269.24/1701.88	c (58,0) x[219] = 79
2269.24/1701.88	c (58,0) x[220] = 244
2269.24/1701.88	c (58,0) x[221] = 524
2269.24/1701.88	c (58,0) x[222] = 562
2269.24/1701.88	c (58,0) x[223] = 62
2269.24/1701.88	c (58,0) x[224] = 448
2269.24/1701.88	c (58,0) x[225] = 503
2269.24/1701.88	c (58,0) x[226] = 266
2269.24/1701.88	c (58,0) x[227] = 376
2269.24/1701.88	c (58,0) x[228] = 483
2269.24/1701.88	c (58,0) x[229] = 431
2269.24/1701.88	c (58,0) x[230] = 349
2269.24/1701.88	c (58,0) x[231] = 479
2269.24/1701.88	c (58,0) x[232] = 235
2269.24/1701.88	c (58,0) x[233] = 504
2269.24/1701.88	c (58,0) x[234] = 293
2269.24/1701.88	c (58,0) x[235] = 564
2269.24/1701.88	c (58,0) x[236] = 288
2269.24/1701.88	c (58,0) x[237] = 117
2269.24/1701.88	c (58,0) x[238] = 486
2269.24/1701.88	c (58,0) x[239] = 429
2269.24/1701.88	c (58,0) x[240] = 7
2269.24/1701.88	c (58,0) x[241] = 129
2269.24/1701.88	c (58,0) x[242] = 273
2269.24/1701.88	c (58,0) x[243] = 231
2269.24/1701.88	c (58,0) x[244] = 423
2269.24/1701.88	c (58,0) x[245] = 465
2269.24/1701.88	c (58,0) x[246] = 596
2269.24/1701.88	c (58,0) x[247] = 337
2269.24/1701.88	c (58,0) x[248] = 534
2269.24/1701.88	c (58,0) x[249] = 515
2269.24/1701.88	c (58,0) x[250] = 144
2269.24/1701.88	c (58,0) x[251] = 191
2269.24/1701.88	c (58,0) x[252] = 471
2269.24/1701.88	c (58,0) x[253] = 570
2269.24/1701.88	c (58,0) x[254] = 184
2269.24/1701.88	c (58,0) x[255] = 289
2269.24/1701.88	c (58,0) x[256] = 152
2269.24/1701.88	c (58,0) x[257] = 284
2269.24/1701.88	c (58,0) x[258] = 126
2269.24/1701.88	c (58,0) x[259] = 421
2269.24/1701.88	c (58,0) x[260] = 174
2269.24/1701.88	c (58,0) x[261] = 153
2269.24/1701.88	c (58,0) x[262] = 278
2269.24/1701.88	c (58,0) x[263] = 41
2269.24/1701.88	c (58,0) x[264] = 537
2269.24/1701.88	c (58,0) x[265] = 321
2269.24/1701.88	c (58,0) x[266] = 355
2269.24/1701.88	c (58,0) x[267] = 558
2269.24/1701.88	c (58,0) x[268] = 387
2269.24/1701.88	c (58,0) x[269] = 193
2269.24/1701.88	c (58,0) x[270] = 219
2269.24/1701.88	c (58,0) x[271] = 392
2269.24/1701.88	c (58,0) x[272] = 338
2269.24/1701.88	c (58,0) x[273] = 318
2269.24/1701.88	c (58,0) x[274] = 333
2269.24/1701.88	c (58,0) x[275] = 36
2269.24/1701.88	c (58,0) x[276] = 393
2269.24/1701.88	c (58,0) x[277] = 354
2269.24/1701.88	c (58,0) x[278] = 145
2269.24/1701.88	c (58,0) x[279] = 55
2269.24/1701.88	c (58,0) x[280] = 286
2269.24/1701.88	c (58,0) x[281] = 422
2269.24/1701.88	c (58,0) x[282] = 441
2269.24/1701.88	c (58,0) x[283] = 279
2269.24/1701.88	c (58,0) x[284] = 583
2269.24/1701.88	c (58,0) x[285] = 1
2269.24/1701.88	c (58,0) x[286] = 369
2269.24/1701.88	c (58,0) x[287] = 17
2269.24/1701.88	c (58,0) x[288] = 186
2269.24/1701.88	c (58,0) x[289] = 180
2269.24/1701.88	c (58,0) x[290] = 169
2269.24/1701.88	c (58,0) x[291] = 127
2269.24/1701.88	c (58,0) x[292] = 525
2269.24/1701.88	c (58,0) x[293] = 290
2269.24/1701.88	c (58,0) x[294] = 80
2269.24/1701.88	c (58,0) x[295] = 447
2269.24/1701.88	c (58,0) x[296] = 298
2269.24/1701.88	c (58,0) x[297] = 282
2269.24/1701.88	c (58,0) x[298] = 56
2269.24/1701.88	c (58,0) x[299] = 112
2269.24/1701.88	c (58,0) x[300] = 172
2269.24/1701.88	c (58,0) x[301] = 8
2269.24/1701.88	c (58,0) x[302] = 371
2269.24/1701.88	c (58,0) x[303] = 63
2269.24/1701.88	c (58,0) x[304] = 52
2269.24/1701.88	c (58,0) x[305] = 552
2269.24/1701.88	c (58,0) x[306] = 292
2269.24/1701.88	c (58,0) x[307] = 498
2269.24/1701.88	c (58,0) x[308] = 383
2269.24/1701.88	c (58,0) x[309] = 0
2269.24/1701.88	c (58,0) x[310] = 514
2269.24/1701.88	c (58,0) x[311] = 268
2269.24/1701.88	c (58,0) x[312] = 236
2269.24/1701.88	c (58,0) x[313] = 48
2269.24/1701.88	c (58,0) x[314] = 103
2269.24/1701.88	c (58,0) x[315] = 228
2269.24/1701.88	c (58,0) x[316] = 424
2269.24/1701.88	c (58,0) x[317] = 372
2269.24/1701.88	c (58,0) x[318] = 513
2269.24/1701.88	c (58,0) x[319] = 541
2269.24/1701.88	c (58,0) x[320] = 449
2269.24/1701.88	c (58,0) x[321] = 185
2269.24/1701.88	c (58,0) x[322] = 445
2269.24/1701.88	c (58,0) x[323] = 13
2269.24/1701.88	c (58,0) x[324] = 557
2269.24/1701.88	c (58,0) x[325] = 314
2269.24/1701.88	c (58,0) x[326] = 368
2269.24/1701.88	c (58,0) x[327] = 125
2269.24/1701.88	c (58,0) x[328] = 320
2269.24/1701.88	c (58,0) x[329] = 93
2269.24/1701.88	c (58,0) x[330] = 584
2269.24/1701.88	c (58,0) x[331] = 591
2269.24/1701.88	c (58,0) x[332] = 159
2269.24/1701.88	c (58,0) x[333] = 118
2269.24/1701.88	c (58,0) x[334] = 359
2269.24/1701.88	c (58,0) x[335] = 404
2269.24/1701.89	c (58,0) x[336] = 401
2269.24/1701.89	c (58,0) x[337] = 548
2269.24/1701.89	c (58,0) x[338] = 148
2269.24/1701.89	c (58,0) x[339] = 176
2269.24/1701.89	c (58,0) x[340] = 411
2269.24/1701.89	c (58,0) x[341] = 87
2269.24/1701.89	c (58,0) x[342] = 26
2269.24/1701.89	c (58,0) x[343] = 516
2269.24/1701.89	c (58,0) x[344] = 3
2269.24/1701.89	c (58,0) x[345] = 543
2269.24/1701.89	c (58,0) x[346] = 300
2269.24/1701.89	c (58,0) x[347] = 58
2269.24/1701.89	c (58,0) x[348] = 339
2269.24/1701.89	c (58,0) x[349] = 70
2269.24/1701.89	c (58,0) x[350] = 546
2269.24/1701.89	c (58,0) x[351] = 390
2269.24/1701.89	c (58,0) x[352] = 182
2269.24/1701.89	c (58,0) x[353] = 263
2269.24/1701.89	c (58,0) x[354] = 85
2269.24/1701.89	c (58,0) x[355] = 588
2269.24/1701.89	c (58,0) x[356] = 400
2269.24/1701.89	c (58,0) x[357] = 550
2269.24/1701.89	c (58,0) x[358] = 589
2269.24/1701.89	c (58,0) x[359] = 38
2269.24/1701.89	c (58,0) x[360] = 78
2269.24/1701.89	c (58,0) x[361] = 454
2269.24/1701.89	c (58,0) x[362] = 508
2269.24/1701.89	c (58,0) x[363] = 140
2269.24/1701.89	c (58,0) x[364] = 18
2269.24/1701.89	c (58,0) x[365] = 261
2269.24/1701.89	c (58,0) x[366] = 76
2269.24/1701.89	c (58,0) x[367] = 171
2269.24/1701.89	c (58,0) x[368] = 442
2269.24/1701.89	c (58,0) x[369] = 275
2269.24/1701.89	c (58,0) x[370] = 259
2269.24/1701.89	c (58,0) x[371] = 241
2269.24/1701.89	c (58,0) x[372] = 204
2269.24/1701.89	c (58,0) x[373] = 141
2269.24/1701.89	c (58,0) x[374] = 29
2269.24/1701.89	c (58,0) x[375] = 173
2269.24/1701.89	c (58,0) x[376] = 113
2269.24/1701.89	c (58,0) x[377] = 323
2269.24/1701.89	c (58,0) x[378] = 484
2269.24/1701.89	c (58,0) x[379] = 162
2269.24/1701.89	c (58,0) x[380] = 438
2269.24/1701.89	c (58,0) x[381] = 97
2269.24/1701.89	c (58,0) x[382] = 478
2269.24/1701.89	c (58,0) x[383] = 356
2269.24/1701.89	c (58,0) x[384] = 476
2269.24/1701.89	c (58,0) x[385] = 329
2269.24/1701.89	c (58,0) x[386] = 90
2269.24/1701.89	c (58,0) x[387] = 160
2269.24/1701.89	c (58,0) x[388] = 370
2269.24/1701.89	c (58,0) x[389] = 352
2269.24/1701.89	c (58,0) x[390] = 24
2269.24/1701.89	c (58,0) x[391] = 104
2269.24/1701.89	c (58,0) x[392] = 501
2269.24/1701.89	c (58,0) x[393] = 102
2269.24/1701.89	c (58,0) x[394] = 328
2269.24/1701.89	c (58,0) x[395] = 106
2269.24/1701.89	c (58,0) x[396] = 86
2269.24/1701.89	c (58,0) x[397] = 518
2269.24/1701.89	c (58,0) x[398] = 480
2269.24/1701.89	c (58,0) x[399] = 493
2269.24/1701.89	c (58,0) x[400] = 539
2269.24/1701.89	c (58,0) x[401] = 199
2269.24/1701.89	c (58,0) x[402] = 505
2269.24/1701.89	c (58,0) x[403] = 57
2269.24/1701.89	c (58,0) x[404] = 260
2269.24/1701.89	c (58,0) x[405] = 256
2269.24/1701.89	c (58,0) x[406] = 319
2269.24/1701.89	c (58,0) x[407] = 230
2269.24/1701.89	c (58,0) x[408] = 245
2269.24/1701.89	c (58,0) x[409] = 201
2269.24/1701.89	c (58,0) x[410] = 364
2269.24/1701.89	c (58,0) x[411] = 66
2269.24/1701.89	c (58,0) x[412] = 313
2269.24/1701.89	c (58,0) x[413] = 311
2269.24/1701.89	c (58,0) x[414] = 587
2269.24/1701.89	c (58,0) x[415] = 146
2269.24/1701.89	c (58,0) x[416] = 519
2269.24/1701.89	c (58,0) x[417] = 373
2269.24/1701.89	c (58,0) x[418] = 157
2269.24/1701.89	c (58,0) x[419] = 2
2269.24/1701.89	c (58,0) x[420] = 53
2269.24/1701.89	c (58,0) x[421] = 120
2269.24/1701.89	c (58,0) x[422] = 37
2269.24/1701.89	c (58,0) x[423] = 43
2269.24/1701.89	c (58,0) x[424] = 39
2269.24/1701.89	c (58,0) x[425] = 69
2269.24/1701.89	c (58,0) x[426] = 238
2269.24/1701.89	c (58,0) x[427] = 114
2269.24/1701.89	c (58,0) x[428] = 115
2269.24/1701.89	c (58,0) x[429] = 597
2269.24/1701.89	c (58,0) x[430] = 467
2269.24/1701.89	c (58,0) x[431] = 208
2269.24/1701.89	c (58,0) x[432] = 312
2269.24/1701.89	c (58,0) x[433] = 326
2269.24/1701.89	c (58,0) x[434] = 455
2269.24/1701.89	c (58,0) x[435] = 32
2269.24/1701.89	c (58,0) x[436] = 6
2269.24/1701.89	c (58,0) x[437] = 170
2269.24/1701.89	c (58,0) x[438] = 234
2269.24/1701.89	c (58,0) x[439] = 351
2269.24/1701.89	c (58,0) x[440] = 27
2269.24/1701.89	c (58,0) x[441] = 166
2269.24/1701.89	c (58,0) x[442] = 494
2269.24/1701.89	c (58,0) x[443] = 417
2269.24/1701.89	c (58,0) x[444] = 391
2269.24/1701.89	c (58,0) x[445] = 340
2269.24/1701.89	c (58,0) x[446] = 566
2269.24/1701.89	c (58,0) x[447] = 272
2269.24/1701.89	c (58,0) x[448] = 437
2269.24/1701.89	c (58,0) x[449] = 350
2269.24/1701.89	c (58,0) x[450] = 49
2269.24/1701.89	c (58,0) x[451] = 216
2269.24/1701.89	c (58,0) x[452] = 430
2269.24/1701.89	c (58,0) x[453] = 149
2269.24/1701.89	c (58,0) x[454] = 242
2269.24/1701.89	c (58,0) x[455] = 435
2269.24/1701.89	c (58,0) x[456] = 287
2269.24/1701.89	c (58,0) x[457] = 363
2269.24/1701.89	c (58,0) x[458] = 344
2269.24/1701.89	c (58,0) x[459] = 31
2269.24/1701.89	c (58,0) x[460] = 99
2269.24/1701.89	c (58,0) x[461] = 385
2269.24/1701.89	c (58,0) x[462] = 232
2269.24/1701.89	c (58,0) x[463] = 187
2269.24/1701.89	c (58,0) x[464] = 34
2269.24/1701.89	c (58,0) x[465] = 303
2269.24/1701.89	c (58,0) x[466] = 51
2269.24/1701.89	c (58,0) x[467] = 233
2269.24/1701.89	c (58,0) x[468] = 336
2269.24/1701.89	c (58,0) x[469] = 61
2269.24/1701.89	c (58,0) x[470] = 572
2269.24/1701.89	c (58,0) x[471] = 409
2269.24/1701.89	c (58,0) x[472] = 212
2269.24/1701.89	c (58,0) x[473] = 472
2269.24/1701.89	c (58,0) x[474] = 257
2269.24/1701.89	c (58,0) x[475] = 138
2269.24/1701.89	c (58,0) x[476] = 347
2269.24/1701.89	c (58,0) x[477] = 178
2269.24/1701.89	c (58,0) x[478] = 105
2269.24/1701.89	c (58,0) x[479] = 419
2269.24/1701.89	c (58,0) x[480] = 12
2269.24/1701.89	c (58,0) x[481] = 223
2269.24/1701.89	c (58,0) x[482] = 33
2269.24/1701.89	c (58,0) x[483] = 213
2269.24/1701.89	c (58,0) x[484] = 459
2269.24/1701.89	c (58,0) x[485] = 386
2269.24/1701.89	c (58,0) x[486] = 168
2269.24/1701.89	c (58,0) x[487] = 575
2269.24/1701.89	c (58,0) x[488] = 396
2269.24/1701.89	c (58,0) x[489] = 281
2269.24/1701.89	c (58,0) x[490] = 307
2269.24/1701.89	c (58,0) x[491] = 132
2269.24/1701.89	c (58,0) x[492] = 482
2269.24/1701.89	c (58,0) x[493] = 11
2269.24/1701.89	c (58,0) x[494] = 322
2269.24/1701.89	c (58,0) x[495] = 573
2269.24/1701.89	c (58,0) x[496] = 44
2269.24/1701.89	c (58,0) x[497] = 205
2269.24/1701.89	c (58,0) x[498] = 418
2269.24/1701.89	c (58,0) x[499] = 81
2269.24/1701.89	c (58,0) x[500] = 224
2269.24/1701.89	c (58,0) x[501] = 196
2269.24/1701.89	c (58,0) x[502] = 227
2269.24/1701.89	c (58,0) x[503] = 151
2269.24/1701.89	c (58,0) x[504] = 88
2269.24/1701.89	c (58,0) x[505] = 490
2269.24/1701.89	c (58,0) x[506] = 197
2269.24/1701.89	c (58,0) x[507] = 456
2269.24/1701.89	c (58,0) x[508] = 420
2269.24/1701.89	c (58,0) x[509] = 415
2269.24/1701.89	c (58,0) x[510] = 343
2269.24/1701.89	c (58,0) x[511] = 394
2269.24/1701.89	c (58,0) x[512] = 367
2269.24/1701.89	c (58,0) x[513] = 68
2269.24/1701.89	c (58,0) x[514] = 461
2269.24/1701.89	c (58,0) x[515] = 500
2269.24/1701.89	c (58,0) x[516] = 360
2269.24/1701.89	c (58,0) x[517] = 381
2269.24/1701.89	c (58,0) x[518] = 556
2269.24/1701.89	c (58,0) x[519] = 283
2269.24/1701.89	c (58,0) x[520] = 19
2269.24/1701.89	c (58,0) x[521] = 324
2269.24/1701.89	c (58,0) x[522] = 4
2269.24/1701.89	c (58,0) x[523] = 428
2269.24/1701.89	c (58,0) x[524] = 377
2269.24/1701.89	c (58,0) x[525] = 379
2269.24/1701.89	c (58,0) x[526] = 14
2269.24/1701.89	c (58,0) x[527] = 536
2269.24/1701.89	c (58,0) x[528] = 183
2269.24/1701.89	c (58,0) x[529] = 28
2269.24/1701.89	c (58,0) x[530] = 285
2269.24/1701.89	c (58,0) x[531] = 248
2269.24/1701.89	c (58,0) x[532] = 84
2269.24/1701.89	c (58,0) x[533] = 590
2269.24/1701.89	c (58,0) x[534] = 358
2269.24/1701.89	c (58,0) x[535] = 237
2269.24/1701.89	c (58,0) x[536] = 542
2269.24/1701.89	c (58,0) x[537] = 207
2269.24/1701.89	c (58,0) x[538] = 175
2269.24/1701.89	c (58,0) x[539] = 586
2269.24/1701.89	s SATISFIABLE
2269.45/1701.90	v <instantiation>
2269.45/1701.90	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]</list>
2269.45/1701.90	v     <values>177 167 551 325 489 457 147 137 408 565 299 342 473 488 317 25 20 592 410 98 73 229 571 406 220 540 477 165 206 433 510 397 291 389 130 522 555 47 10 30 427 578 5 553 121 569 122 226 450 499 466 253 581 395 194 83 576 598 361 89 72 402 475 446 246 111 161 211 470 413 222 22 380 123 574 497 16 346 305 304 59 374 523 252 567 532 297 530 136 599 528 100 388 443 267 277 582 529 316 9 15 163 535 407 139 517 96 258 549 520 67 164 560 40 559 375 243 439 116 107 357 335 425 179 509 23 218 74 464 134 398 128 239 271 495 110 60 544 308 492 35 469 42 458 362 526 412 577 190 334 210 46 264 580 512 309 348 64 436 221 262 274 50 188 405 154 451 563 302 109 432 533 203 276 538 200 101 426 265 119 345 192 225 507 579 71 506 251 460 561 195 294 593 481 217 545 202 331 452 502 198 568 332 485 296 301 353 65 255 511 21 94 124 189 366 444 496 365 487 79 244 524 562 62 448 503 266 376 483 431 349 479 235 504 293 564 288 117 486 429 7 129 273 231 423 465 596 337 534 515 144 191 471 570 184 289 152 284 126 421 174 153 278 41 537 321 355 558 387 193 219 392 338 318 333 36 393 354 145 55 286 422 441 279 583 1 369 17 186 180 169 127 525 290 80 447 298 282 56 112 172 8 371 63 52 552 292 498 383 0 514 268 236 48 103 228 424 372 513 541 449 185 445 13 557 314 368 125 320 93 584 591 159 118 359 404 401 548 148 176 411 87 26 516 3 543 300 58 339 70 546 390 182 263 85 588 400 550 589 38 78 454 508 140 18 261 76 171 442 275 259 241 204 141 29 173 113 323 484 162 438 97 478 356 476 329 90 160 370 352 24 104 501 102 328 106 86 518 480 493 539 199 505 57 260 256 319 230 245 201 364 66 313 311 587 146 519 373 157 2 53 120 37 43 39 69 238 114 115 597 467 208 312 326 455 32 6 170 234 351 27 166 494 417 391 340 566 272 437 350 49 216 430 149 242 435 287 363 344 31 99 385 232 187 34 303 51 233 336 61 572 409 212 472 257 138 347 178 105 419 12 223 33 213 459 386 168 575 396 281 307 132 482 11 322 573 44 205 418 81 224 196 227 151 88 490 197 456 420 415 343 394 367 68 461 500 360 381 556 283 19 324 4 428 377 379 14 536 183 28 285 248 84 590 358 237 542 207 175 586</values>
2269.45/1701.90	v </instantiation>
2269.45/1701.90	c (58,0) Show results End
2269.45/1701.90	c (58,0) Heap : 415 MiB used (max 3925 MiB), NonHeap : 19 MiB used (max 0 MiB)
2269.45/1701.90	c (58,0) 58,58,STOP-AFTER(ALL)
2269.45/1701.90	c END-Prog: Tue Sep 24 17:52:38 CEST 2019

Verifier Data 

OK

Watcher Data 

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

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

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

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


[startup+0.100471 s]*
/proc/loadavg: 3.16 5.98 6.66 3/213 16931
/proc/meminfo: memFree=9210680/32770624 swapFree=67023896/67108860
[pid=16909] ppid=16906 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/16909/stat : 16909 (scop.sh) S 16906 16909 16140 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 510142163 115843072 349 33554432000 4194304 5098028 140728699729360 140728699726616 140526433735292 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 19480576 140728699736829 140728699737176 140728699737176 140728699740105 0
/proc/16909/statm: 28282 349 296 221 0 87 0
[pid=16912] ppid=16909 vsize=27314120 memory=107628 CPUtime=0.1 cores=0-7
/proc/16912/stat : 16912 (java) S 16909 16909 16140 0 -1 1077944320 6486 0 0 0 8 2 0 0 20 0 20 0 510142163 27969658880 26907 33554432000 4194304 4196468 140735600200016 140735600182560 139989479288567 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 30511104 140735600206535 140735600206982 140735600206982 140735600209871 0
/proc/16912/statm: 6828530 26907 2797 1 0 6790935 0
[pid=16912/tid=16913] ppid=16909 vsize=27314120 memory=4134930498285298233 CPUtime=0.08 cores=0-7
/proc/16912/task/16913/stat : 16913 (java) R 16909 16909 16140 0 -1 4202560 4576 0 0 0 6 2 0 0 20 0 20 0 510142164 27969658880 26907 33554432000 4194304 4196468 140735600200016 139989451106944 139989479310493 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30511104 140735600206535 140735600206982 140735600206982 140735600209871 0
[pid=16912/tid=16914] ppid=16909 vsize=27314120 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/16912/task/16914/stat : 16914 (java) S 16909 16909 16140 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510142166 27969658880 26907 33554432000 4194304 4196468 140735600200016 139989483531408 139989479298773 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30511104 140735600206535 140735600206982 140735600206982 140735600209871 0
[pid=16912/tid=16915] ppid=16909 vsize=27314120 memory=140298595661440 CPUtime=0 cores=0-7
/proc/16912/task/16915/stat : 16915 (java) S 16909 16909 16140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510142166 27969658880 26907 33554432000 4194304 4196468 140735600200016 139989297687568 139989479298773 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30511104 140735600206535 140735600206982 140735600206982 140735600209871 0
[pid=16912/tid=16916] ppid=16909 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16912/task/16916/stat : 16916 (java) S 16909 16909 16140 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510142166 27969658880 26907 33554432000 4194304 4196468 140735600200016 139989296634768 139989479298773 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30511104 140735600206535 140735600206982 140735600206982 140735600209871 0
[pid=16912/tid=16917] ppid=16909 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16912/task/16917/stat : 16917 (java) S 16909 16909 16140 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510142166 27969658880 26907 33554432000 4194304 4196468 140735600200016 139989295581968 139989479298773 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30511104 140735600206535 140735600206982 140735600206982 140735600209871 0
[pid=16912/tid=16918] ppid=16909 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16912/task/16918/stat : 16918 (java) S 16909 16909 16140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510142166 27969658880 26907 33554432000 4194304 4196468 140735600200016 139989294529168 139989479298773 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30511104 140735600206535 140735600206982 140735600206982 140735600209871 0
[pid=16912/tid=16919] ppid=16909 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/16912/task/16919/stat : 16919 (java) S 16909 16909 16140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510142166 27969658880 26907 33554432000 4194304 4196468 140735600200016 139989293476368 139989479298773 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30511104 140735600206535 140735600206982 140735600206982 140735600209871 0
[pid=16912/tid=16920] ppid=16909 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16912/task/16920/stat : 16920 (java) S 16909 16909 16140 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510142166 27969658880 26907 33554432000 4194304 4196468 140735600200016 139988895955344 139989479298773 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30511104 140735600206535 140735600206982 140735600206982 140735600209871 0
[pid=16912/tid=16921] ppid=16909 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16912/task/16921/stat : 16921 (java) S 16909 16909 16140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510142166 27969658880 26907 33554432000 4194304 4196468 140735600200016 139988894902544 139989479298773 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30511104 140735600206535 140735600206982 140735600206982 140735600209871 0
[pid=16912/tid=16922] ppid=16909 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16912/task/16922/stat : 16922 (java) S 16909 16909 16140 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510142168 27969658880 26907 33554432000 4194304 4196468 140735600200016 139987933657968 139989479299714 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30511104 140735600206535 140735600206982 140735600206982 140735600209871 0
[pid=16912/tid=16923] ppid=16909 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16912/task/16923/stat : 16923 (java) S 16909 16909 16140 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 510142168 27969658880 26907 33554432000 4194304 4196468 140735600200016 139987144140320 139989479298773 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30511104 140735600206535 140735600206982 140735600206982 140735600209871 0
[pid=16912/tid=16924] ppid=16909 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16912/task/16924/stat : 16924 (java) S 16909 16909 16140 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510142168 27969658880 26907 33554432000 4194304 4196468 140735600200016 139987009918320 139989479298773 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30511104 140735600206535 140735600206982 140735600206982 140735600209871 0
[pid=16912/tid=16925] ppid=16909 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16912/task/16925/stat : 16925 (java) S 16909 16909 16140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510142171 27969658880 26907 33554432000 4194304 4196468 140735600200016 139986635413840 139989479307163 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30511104 140735600206535 140735600206982 140735600206982 140735600209871 0
[pid=16912/tid=16926] ppid=16909 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16912/task/16926/stat : 16926 (java) S 16909 16909 16140 0 -1 1077944384 316 0 0 0 0 0 0 0 20 0 20 0 510142171 27969658880 26907 33554432000 4194304 4196468 140735600200016 139987932604784 139989479299714 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30511104 140735600206535 140735600206982 140735600206982 140735600209871 0
[pid=16912/tid=16927] ppid=16909 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16912/task/16927/stat : 16927 (java) S 16909 16909 16140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510142171 27969658880 26907 33554432000 4194304 4196468 140735600200016 139987931551984 139989479299714 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30511104 140735600206535 140735600206982 140735600206982 140735600209871 0
[pid=16912/tid=16928] ppid=16909 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16912/task/16928/stat : 16928 (java) S 16909 16909 16140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510142171 27969658880 26907 33554432000 4194304 4196468 140735600200016 139987930499184 139989479299714 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30511104 140735600206535 140735600206982 140735600206982 140735600209871 0
[pid=16912/tid=16929] ppid=16909 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16912/task/16929/stat : 16929 (java) S 16909 16909 16140 0 -1 1077944384 242 0 0 0 0 0 0 0 20 0 20 0 510142171 27969658880 26907 33554432000 4194304 4196468 140735600200016 139987929446384 139989479299714 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30511104 140735600206535 140735600206982 140735600206982 140735600209871 0
[pid=16912/tid=16930] ppid=16909 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16912/task/16930/stat : 16930 (java) S 16909 16909 16140 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510142171 27969658880 26907 33554432000 4194304 4196468 140735600200016 139986137508960 139989479298773 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30511104 140735600206535 140735600206982 140735600206982 140735600209871 0
[pid=16912/tid=16931] ppid=16909 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/16912/task/16931/stat : 16931 (java) S 16909 16909 16140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510142171 27969658880 26907 33554432000 4194304 4196468 140735600200016 139987928394800 139989479299714 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30511104 140735600206535 140735600206982 140735600206982 140735600209871 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 109024 KiB

[startup+0.210297 s]*
/proc/loadavg: 3.16 5.98 6.66 2/213 16931
/proc/meminfo: memFree=9186672/32770624 swapFree=67023896/67108860
[pid=16909] ppid=16906 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/16909/stat : 16909 (scop.sh) S 16906 16909 16140 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 510142163 115843072 349 33554432000 4194304 5098028 140728699729360 140728699726616 140526433735292 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 19480576 140728699736829 140728699737176 140728699737176 140728699740105 0
/proc/16909/statm: 28282 349 296 221 0 87 0
[pid=16912] ppid=16909 vsize=27314120 memory=126652 CPUtime=0.24 cores=0-7
/proc/16912/stat : 16912 (java) S 16909 16909 16140 0 -1 1077944320 12100 0 0 0 20 4 0 0 20 0 20 0 510142163 27969658880 31663 33554432000 4194304 4196468 140735600200016 140735600182560 139989479288567 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 30511104 140735600206535 140735600206982 140735600206982 140735600209871 0
/proc/16912/statm: 6828530 31663 2934 1 0 6790935 0
[pid=16912/tid=16913] ppid=16909 vsize=27314120 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/16912/task/16913/stat : 16913 (java) R 16909 16909 16140 0 -1 4202560 9786 0 0 0 16 3 0 0 20 0 20 0 510142164 27969658880 31663 33554432000 4194304 4196468 140735600200016 139989451087952 139989460852096 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30511104 140735600206535 140735600206982 140735600206982 140735600209871 0
[pid=16912/tid=16914] ppid=16909 vsize=27314120 memory=339 CPUtime=0 cores=0-7
/proc/16912/task/16914/stat : 16914 (java) S 16909 16909 16140 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510142166 27969658880 31663 33554432000 4194304 4196468 140735600200016 139989483531408 139989479298773 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30511104 140735600206535 140735600206982 140735600206982 140735600209871 0
[pid=16912/tid=16915] ppid=16909 vsize=27314120 memory=288370674747373184 CPUtime=0 cores=0-7
/proc/16912/task/16915/stat : 16915 (java) S 16909 16909 16140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510142166 27969658880 31663 33554432000 4194304 4196468 140735600200016 139989297687568 139989479298773 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30511104 140735600206535 140735600206982 140735600206982 140735600209871 0
[pid=16912/tid=16916] ppid=16909 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/16912/task/16916/stat : 16916 (java) S 16909 16909 16140 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510142166 27969658880 31663 33554432000 4194304 4196468 140735600200016 139989296634768 139989479298773 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30511104 140735600206535 140735600206982 140735600206982 140735600209871 0
[pid=16912/tid=16917] ppid=16909 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16912/task/16917/stat : 16917 (java) S 16909 16909 16140 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510142166 27969658880 31663 33554432000 4194304 4196468 140735600200016 139989295581968 139989479298773 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30511104 140735600206535 140735600206982 140735600206982 140735600209871 0
[pid=16912/tid=16918] ppid=16909 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16912/task/16918/stat : 16918 (java) S 16909 16909 16140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510142166 27969658880 31663 33554432000 4194304 4196468 140735600200016 139989294529168 139989479298773 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30511104 140735600206535 140735600206982 140735600206982 140735600209871 0
[pid=16912/tid=16919] ppid=16909 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/16912/task/16919/stat : 16919 (java) S 16909 16909 16140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510142166 27969658880 31663 33554432000 4194304 4196468 140735600200016 139989293476368 139989479298773 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30511104 140735600206535 140735600206982 140735600206982 140735600209871 0
[pid=16912/tid=16920] ppid=16909 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16912/task/16920/stat : 16920 (java) S 16909 16909 16140 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510142166 27969658880 31663 33554432000 4194304 4196468 140735600200016 139988895955344 139989479298773 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30511104 140735600206535 140735600206982 140735600206982 140735600209871 0
[pid=16912/tid=16921] ppid=16909 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16912/task/16921/stat : 16921 (java) S 16909 16909 16140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510142166 27969658880 31663 33554432000 4194304 4196468 140735600200016 139988894902544 139989479298773 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30511104 140735600206535 140735600206982 140735600206982 140735600209871 0
[pid=16912/tid=16922] ppid=16909 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16912/task/16922/stat : 16922 (java) S 16909 16909 16140 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510142168 27969658880 31663 33554432000 4194304 4196468 140735600200016 139987933657968 139989479299714 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30511104 140735600206535 140735600206982 140735600206982 140735600209871 0
[pid=16912/tid=16923] ppid=16909 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16912/task/16923/stat : 16923 (java) S 16909 16909 16140 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 510142168 27969658880 31663 33554432000 4194304 4196468 140735600200016 139987144140320 139989479298773 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30511104 140735600206535 140735600206982 140735600206982 140735600209871 0
[pid=16912/tid=16924] ppid=16909 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16912/task/16924/stat : 16924 (java) S 16909 16909 16140 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510142168 27969658880 31663 33554432000 4194304 4196468 140735600200016 139987009918320 139989479298773 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30511104 140735600206535 140735600206982 140735600206982 140735600209871 0
[pid=16912/tid=16925] ppid=16909 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16912/task/16925/stat : 16925 (java) S 16909 16909 16140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510142171 27969658880 31663 33554432000 4194304 4196468 140735600200016 139986635413840 139989479307163 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30511104 140735600206535 140735600206982 140735600206982 140735600209871 0
[pid=16912/tid=16926] ppid=16909 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16912/task/16926/stat : 16926 (java) S 16909 16909 16140 0 -1 1077944384 316 0 0 0 0 0 0 0 20 0 20 0 510142171 27969658880 31663 33554432000 4194304 4196468 140735600200016 139987932604784 139989479299714 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30511104 140735600206535 140735600206982 140735600206982 140735600209871 0
[pid=16912/tid=16927] ppid=16909 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16912/task/16927/stat : 16927 (java) S 16909 16909 16140 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 20 0 510142171 27969658880 31663 33554432000 4194304 4196468 140735600200016 139987931551984 139989479299714 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30511104 140735600206535 140735600206982 140735600206982 140735600209871 0
[pid=16912/tid=16928] ppid=16909 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/16912/task/16928/stat : 16928 (java) S 16909 16909 16140 0 -1 1077944384 170 0 0 0 0 0 0 0 20 0 20 0 510142171 27969658880 31663 33554432000 4194304 4196468 140735600200016 139987930499184 139989479299714 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30511104 140735600206535 140735600206982 140735600206982 140735600209871 0
[pid=16912/tid=16929] ppid=16909 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7
/proc/16912/task/16929/stat : 16929 (java) S 16909 16909 16140 0 -1 1077944384 453 0 0 0 2 0 0 0 20 0 20 0 510142171 27969658880 31663 33554432000 4194304 4196468 140735600200016 139987929446384 139989479299714 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30511104 140735600206535 140735600206982 140735600206982 140735600209871 0
[pid=16912/tid=16930] ppid=16909 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16912/task/16930/stat : 16930 (java) S 16909 16909 16140 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510142171 27969658880 31663 33554432000 4194304 4196468 140735600200016 139986137508960 139989479298773 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30511104 140735600206535 140735600206982 140735600206982 140735600209871 0
[pid=16912/tid=16931] ppid=16909 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/16912/task/16931/stat : 16931 (java) S 16909 16909 16140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510142171 27969658880 31663 33554432000 4194304 4196468 140735600200016 139987928394800 139989479299714 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30511104 140735600206535 140735600206982 140735600206982 140735600209871 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 128048 KiB

[startup+0.309766 s]*
/proc/loadavg: 3.16 5.98 6.66 2/213 16931
/proc/meminfo: memFree=9184004/32770624 swapFree=67023896/67108860
[pid=16909] ppid=16906 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/16909/stat : 16909 (scop.sh) S 16906 16909 16140 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 510142163 115843072 349 33554432000 4194304 5098028 140728699729360 140728699726616 140526433735292 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 19480576 140728699736829 140728699737176 140728699737176 140728699740105 0
/proc/16909/statm: 28282 349 296 221 0 87 0
[pid=16912] ppid=16909 vsize=27314120 memory=129992 CPUtime=0.42 cores=0-7
/proc/16912/stat : 16912 (java) S 16909 16909 16140 0 -1 1077944320 12450 0 0 0 37 5 0 0 20 0 20 0 510142163 27969658880 32498 33554432000 4194304 4196468 140735600200016 140735600182560 139989479288567 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 30511104 140735600206535 140735600206982 140735600206982 140735600209871 0
/proc/16912/statm: 6828530 32498 2991 1 0 6790935 0
[pid=16912/tid=16913] ppid=16909 vsize=27314120 memory=6791534058613427641 CPUtime=0.3 cores=0-7
/proc/16912/task/16913/stat : 16913 (java) R 16909 16909 16140 0 -1 4202560 9973 0 0 0 26 4 0 0 20 0 20 0 510142164 27969658880 32498 33554432000 4194304 4196468 140735600200016 139989451073552 139989460852105 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30511104 140735600206535 140735600206982 140735600206982 140735600209871 0
[pid=16912/tid=16914] ppid=16909 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16912/task/16914/stat : 16914 (java) S 16909 16909 16140 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510142166 27969658880 32498 33554432000 4194304 4196468 140735600200016 139989483531408 139989479298773 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30511104 140735600206535 140735600206982 140735600206982 140735600209871 0
[pid=16912/tid=16915] ppid=16909 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16912/task/16915/stat : 16915 (java) S 16909 16909 16140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510142166 27969658880 32498 33554432000 4194304 4196468 140735600200016 139989297687568 139989479298773 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30511104 140735600206535 140735600206982 140735600206982 140735600209871 0
[pid=16912/tid=16916] ppid=16909 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16912/task/16916/stat : 16916 (java) S 16909 16909 16140 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510142166 27969658880 32498 33554432000 4194304 4196468 140735600200016 139989296634768 139989479298773 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30511104 140735600206535 140735600206982 140735600206982 140735600209871 0
[pid=16912/tid=16917] ppid=16909 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16912/task/16917/stat : 16917 (java) S 16909 16909 16140 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510142166 27969658880 32498 33554432000 4194304 4196468 140735600200016 139989295581968 139989479298773 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30511104 140735600206535 140735600206982 140735600206982 140735600209871 0
[pid=16912/tid=16918] ppid=16909 vsize=27314120 memory=2244 CPUtime=0 cores=0-7
/proc/16912/task/16918/stat : 16918 (java) S 16909 16909 16140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510142166 27969658880 32498 33554432000 4194304 4196468 140735600200016 139989294529168 139989479298773 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30511104 140735600206535 140735600206982 140735600206982 140735600209871 0
[pid=16912/tid=16919] ppid=16909 vsize=27314120 memory=140298462262191 CPUtime=0 cores=0-7
/proc/16912/task/16919/stat : 16919 (java) S 16909 16909 16140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510142166 27969658880 32498 33554432000 4194304 4196468 140735600200016 139989293476368 139989479298773 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30511104 140735600206535 140735600206982 140735600206982 140735600209871 0
[pid=16912/tid=16920] ppid=16909 vsize=27314120 memory=140298462264496 CPUtime=0 cores=0-7
/proc/16912/task/16920/stat : 16920 (java) S 16909 16909 16140 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510142166 27969658880 32498 33554432000 4194304 4196468 140735600200016 139988895955344 139989479298773 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30511104 140735600206535 140735600206982 140735600206982 140735600209871 0
[pid=16912/tid=16921] ppid=16909 vsize=27314120 memory=140298462266800 CPUtime=0 cores=0-7
/proc/16912/task/16921/stat : 16921 (java) S 16909 16909 16140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510142166 27969658880 32498 33554432000 4194304 4196468 140735600200016 139988894902544 139989479298773 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30511104 140735600206535 140735600206982 140735600206982 140735600209871 0
[pid=16912/tid=16922] ppid=16909 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16912/task/16922/stat : 16922 (java) S 16909 16909 16140 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510142168 27969658880 32498 33554432000 4194304 4196468 140735600200016 139987933657968 139989479299714 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30511104 140735600206535 140735600206982 140735600206982 140735600209871 0
[pid=16912/tid=16923] ppid=16909 vsize=27314120 memory=280596924540560 CPUtime=0 cores=0-7
/proc/16912/task/16923/stat : 16923 (java) S 16909 16909 16140 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 510142168 27969658880 32498 33554432000 4194304 4196468 140735600200016 139987144140320 139989479298773 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30511104 140735600206535 140735600206982 140735600206982 140735600209871 0
[pid=16912/tid=16924] ppid=16909 vsize=27314120 memory=280596924547472 CPUtime=0 cores=0-7
/proc/16912/task/16924/stat : 16924 (java) S 16909 16909 16140 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510142168 27969658880 32498 33554432000 4194304 4196468 140735600200016 139987009918320 139989479298773 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30511104 140735600206535 140735600206982 140735600206982 140735600209871 0
[pid=16912/tid=16925] ppid=16909 vsize=27314120 memory=280596924488752 CPUtime=0 cores=0-7
/proc/16912/task/16925/stat : 16925 (java) S 16909 16909 16140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510142171 27969658880 32498 33554432000 4194304 4196468 140735600200016 139986635413840 139989479307163 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30511104 140735600206535 140735600206982 140735600206982 140735600209871 0
[pid=16912/tid=16926] ppid=16909 vsize=27314120 memory=280596924561296 CPUtime=0 cores=0-7
/proc/16912/task/16926/stat : 16926 (java) S 16909 16909 16140 0 -1 1077944384 322 0 0 0 0 0 0 0 20 0 20 0 510142171 27969658880 32498 33554432000 4194304 4196468 140735600200016 139987932604784 139989479299714 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30511104 140735600206535 140735600206982 140735600206982 140735600209871 0
[pid=16912/tid=16927] ppid=16909 vsize=27314120 memory=280596924568208 CPUtime=0.02 cores=0-7
/proc/16912/task/16927/stat : 16927 (java) R 16909 16909 16140 0 -1 4202560 131 0 0 0 2 0 0 0 20 0 20 0 510142171 27969658880 32498 33554432000 4194304 4196468 140735600200016 139987931551984 139989456867728 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30511104 140735600206535 140735600206982 140735600206982 140735600209871 0
[pid=16912/tid=16928] ppid=16909 vsize=27314120 memory=280596924565904 CPUtime=0.01 cores=0-7
/proc/16912/task/16928/stat : 16928 (java) S 16909 16909 16140 0 -1 1077944384 194 0 0 0 1 0 0 0 20 0 20 0 510142171 27969658880 32498 33554432000 4194304 4196468 140735600200016 139987930499184 139989479299714 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30511104 140735600206535 140735600206982 140735600206982 140735600209871 0
[pid=16912/tid=16929] ppid=16909 vsize=27314120 memory=280596924582064 CPUtime=0.07 cores=0-7
/proc/16912/task/16929/stat : 16929 (java) S 16909 16909 16140 0 -1 1077944384 474 0 0 0 7 0 0 0 20 0 20 0 510142171 27969658880 32564 33554432000 4194304 4196468 140735600200016 139987929446384 139989479299714 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30511104 140735600206535 140735600206982 140735600206982 140735600209871 0
[pid=16912/tid=16930] ppid=16909 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16912/task/16930/stat : 16930 (java) S 16909 16909 16140 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510142171 27969658880 32564 33554432000 4194304 4196468 140735600200016 139986137508960 139989479298773 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30511104 140735600206535 140735600206982 140735600206982 140735600209871 0
[pid=16912/tid=16931] ppid=16909 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/16912/task/16931/stat : 16931 (java) S 16909 16909 16140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510142171 27969658880 32564 33554432000 4194304 4196468 140735600200016 139987928394800 139989479299714 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30511104 140735600206535 140735600206982 140735600206982 140735600209871 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 131388 KiB

[startup+0.700932 s]
/proc/loadavg: 3.16 5.98 6.66 2/213 16931
/proc/meminfo: memFree=9163020/32770624 swapFree=67023896/67108860
[pid=16909] ppid=16906 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/16909/stat : 16909 (scop.sh) S 16906 16909 16140 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 510142163 115843072 349 33554432000 4194304 5098028 140728699729360 140728699726616 140526433735292 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 19480576 140728699736829 140728699737176 140728699737176 140728699740105 0
/proc/16909/statm: 28282 349 296 221 0 87 0
[pid=16912] ppid=16909 vsize=27320392 memory=165672 CPUtime=1 cores=0-7
/proc/16912/stat : 16912 (java) S 16909 16909 16140 0 -1 1077944320 20024 0 0 0 93 7 0 0 20 0 20 0 510142163 27976081408 41418 33554432000 4194304 4196468 140735600200016 140735600182560 139989479288567 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 30511104 140735600206535 140735600206982 140735600206982 140735600209871 0
/proc/16912/statm: 6830098 41418 3188 1 0 6791447 0
[pid=16912/tid=16913] ppid=16909 vsize=27320392 memory=280596924939952 CPUtime=0.67 cores=0-7
/proc/16912/task/16913/stat : 16913 (java) R 16909 16909 16140 0 -1 4202560 16890 0 0 0 61 6 0 0 20 0 20 0 510142164 27976081408 41418 33554432000 4194304 4196468 140735600200016 139989451118480 139988972998926 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30511104 140735600206535 140735600206982 140735600206982 140735600209871 0
[pid=16912/tid=16914] ppid=16909 vsize=27320392 memory=140298462471024 CPUtime=0 cores=0-7
/proc/16912/task/16914/stat : 16914 (java) S 16909 16909 16140 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510142166 27976081408 41418 33554432000 4194304 4196468 140735600200016 139989483531408 139989479298773 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30511104 140735600206535 140735600206982 140735600206982 140735600209871 0
[pid=16912/tid=16915] ppid=16909 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/16912/task/16915/stat : 16915 (java) S 16909 16909 16140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510142166 27976081408 41418 33554432000 4194304 4196468 140735600200016 139989297687568 139989479298773 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30511104 140735600206535 140735600206982 140735600206982 140735600209871 0
[pid=16912/tid=16916] ppid=16909 vsize=27320392 memory=1076 CPUtime=0 cores=0-7
/proc/16912/task/16916/stat : 16916 (java) S 16909 16909 16140 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510142166 27976081408 41418 33554432000 4194304 4196468 140735600200016 139989296634768 139989479298773 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30511104 140735600206535 140735600206982 140735600206982 140735600209871 0

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

/proc/16909/statm: 28282 368 310 221 0 87 0
[pid=17056] ppid=16909 vsize=8283048 memory=441692 CPUtime=60.45 cores=0-7
/proc/17056/stat : 17056 (java) S 16909 16909 16140 0 -1 1077944320 23236 3192497 2 3 246 20 5249 530 20 0 22 0 510306451 8481841152 110423 33554432000 4194304 4196468 140734062838640 140734062821184 139895479369463 0 0 2 25189581 18446744073709551615 0 0 17 5 0 0 1 0 0 6293624 6294260 36929536 140734062842847 140734062843014 140734062843014 140734062845903 0
/proc/17056/statm: 2070762 110423 3238 1 0 2032106 0
[pid=17056/tid=17057] ppid=16909 vsize=8283048 memory=1472 CPUtime=58.81 cores=0-7
/proc/17056/task/17057/stat : 17057 (java) R 16909 16909 16140 0 -1 4202560 18283 3192497 1 3 94 8 5249 530 20 0 22 0 510306454 8481841152 110423 33554432000 4194304 4196468 140734062838640 139895451205056 139895460775762 0 4 2 25189581 0 0 0 -1 2 0 0 6 0 0 6293624 6294260 36929536 140734062842847 140734062843014 140734062843014 140734062845903 0
[pid=17056/tid=17058] ppid=16909 vsize=8283048 memory=500 CPUtime=57.79 cores=0-7
/proc/17056/task/17058/stat : 17058 (java) S 16909 16909 16140 0 -1 1077944384 2 3192497 0 3 0 0 5249 530 20 0 22 0 510306457 8481841152 110423 33554432000 4194304 4196468 140734062838640 139895483612304 139895479379669 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36929536 140734062842847 140734062843014 140734062843014 140734062845903 0
[pid=17056/tid=17059] ppid=16909 vsize=8283048 memory=1584 CPUtime=57.79 cores=0-7
/proc/17056/task/17059/stat : 17059 (java) S 16909 16909 16140 0 -1 1077944384 1 3192497 0 3 0 0 5249 530 20 0 22 0 510306457 8481841152 110423 33554432000 4194304 4196468 140734062838640 139895283780624 139895479379669 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36929536 140734062842847 140734062843014 140734062843014 140734062845903 0
[pid=17056/tid=17060] ppid=16909 vsize=8283048 memory=1740 CPUtime=57.79 cores=0-7
/proc/17056/task/17060/stat : 17060 (java) S 16909 16909 16140 0 -1 1077944384 1 3192497 0 3 0 0 5249 530 20 0 22 0 510306457 8481841152 110423 33554432000 4194304 4196468 140734062838640 139895282727824 139895479379669 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36929536 140734062842847 140734062843014 140734062843014 140734062845903 0
[pid=17056/tid=17061] ppid=16909 vsize=8283048 memory=6791534058613427641 CPUtime=57.79 cores=0-7
/proc/17056/task/17061/stat : 17061 (java) S 16909 16909 16140 0 -1 1077944384 3 3192497 0 3 0 0 5249 530 20 0 22 0 510306457 8481841152 110423 33554432000 4194304 4196468 140734062838640 139895281675024 139895479379669 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36929536 140734062842847 140734062843014 140734062843014 140734062845903 0
[pid=17056/tid=17062] ppid=16909 vsize=8283048 memory=52024 CPUtime=57.79 cores=0-7
/proc/17056/task/17062/stat : 17062 (java) S 16909 16909 16140 0 -1 1077944384 2 3192497 0 3 0 0 5249 530 20 0 22 0 510306457 8481841152 110423 33554432000 4194304 4196468 140734062838640 139895280622224 139895479379669 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36929536 140734062842847 140734062843014 140734062843014 140734062845903 0
[pid=17056/tid=17063] ppid=16909 vsize=8283048 memory=1040 CPUtime=57.79 cores=0-7
/proc/17056/task/17063/stat : 17063 (java) S 16909 16909 16140 0 -1 1077944384 2 3192497 0 3 0 0 5249 530 20 0 22 0 510306457 8481841152 110423 33554432000 4194304 4196468 140734062838640 139895279569424 139895479379669 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36929536 140734062842847 140734062843014 140734062843014 140734062845903 0
[pid=17056/tid=17064] ppid=16909 vsize=8283048 memory=2084 CPUtime=57.79 cores=0-7
/proc/17056/task/17064/stat : 17064 (java) S 16909 16909 16140 0 -1 1077944384 2 3192497 0 3 0 0 5249 530 20 0 22 0 510306457 8481841152 110423 33554432000 4194304 4196468 140734062838640 139895278516624 139895479379669 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36929536 140734062842847 140734062843014 140734062843014 140734062845903 0
[pid=17056/tid=17065] ppid=16909 vsize=8283048 memory=122000 CPUtime=57.79 cores=0-7
/proc/17056/task/17065/stat : 17065 (java) S 16909 16909 16140 0 -1 1077944384 2 3192497 0 3 0 0 5249 530 20 0 22 0 510306457 8481841152 110423 33554432000 4194304 4196468 140734062838640 139895277463824 139895479379669 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36929536 140734062842847 140734062843014 140734062843014 140734062845903 0
[pid=17056/tid=17066] ppid=16909 vsize=8283048 memory=7795828 CPUtime=57.79 cores=0-7
/proc/17056/task/17066/stat : 17066 (java) S 16909 16909 16140 0 -1 1077944384 5 3192497 0 3 0 0 5249 530 20 0 22 0 510306458 8481841152 110423 33554432000 4194304 4196468 140734062838640 139894707055472 139895479380610 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36929536 140734062842847 140734062843014 140734062843014 140734062845903 0
[pid=17056/tid=17067] ppid=16909 vsize=8283048 memory=1480 CPUtime=57.79 cores=0-7
/proc/17056/task/17067/stat : 17067 (java) S 16909 16909 16140 0 -1 1077944384 13 3192497 0 3 0 0 5249 530 20 0 22 0 510306459 8481841152 110423 33554432000 4194304 4196468 140734062838640 139894064145952 139895479379669 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36929536 140734062842847 140734062843014 140734062843014 140734062845903 0
[pid=17056/tid=17068] ppid=16909 vsize=8283048 memory=3880 CPUtime=57.79 cores=0-7
/proc/17056/task/17068/stat : 17068 (java) S 16909 16909 16140 0 -1 1077944384 1 3192497 0 3 0 0 5249 530 20 0 22 0 510306459 8481841152 110423 33554432000 4194304 4196468 140734062838640 139893795710320 139895479379669 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36929536 140734062842847 140734062843014 140734062843014 140734062845903 0
[pid=17056/tid=17069] ppid=16909 vsize=8283048 memory=7712 CPUtime=57.79 cores=0-7
/proc/17056/task/17069/stat : 17069 (java) S 16909 16909 16140 0 -1 1077944384 1 3192497 0 3 0 0 5249 530 20 0 22 0 510306467 8481841152 110423 33554432000 4194304 4196468 140734062838640 139893421201744 139895479388059 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36929536 140734062842847 140734062843014 140734062843014 140734062845903 0
[pid=17056/tid=17070] ppid=16909 vsize=8283048 memory=7686721470334473626 CPUtime=57.97 cores=0-7
/proc/17056/task/17070/stat : 17070 (java) S 16909 16909 16140 0 -1 1077944384 556 3192497 0 3 18 0 5249 530 20 0 22 0 510306467 8481841152 110423 33554432000 4194304 4196468 140734062838640 139894706002288 139895479380610 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36929536 140734062842847 140734062843014 140734062843014 140734062845903 0
[pid=17056/tid=17071] ppid=16909 vsize=8283048 memory=3508 CPUtime=58.02 cores=0-7
/proc/17056/task/17071/stat : 17071 (java) S 16909 16909 16140 0 -1 1077944384 719 3192497 0 3 23 0 5249 530 20 0 22 0 510306467 8481841152 110423 33554432000 4194304 4196468 140734062838640 139894704949488 139895479380610 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36929536 140734062842847 140734062843014 140734062843014 140734062845903 0
[pid=17056/tid=17072] ppid=16909 vsize=8283048 memory=1472 CPUtime=58.03 cores=0-7
/proc/17056/task/17072/stat : 17072 (java) S 16909 16909 16140 0 -1 1077944384 648 3192497 0 3 24 0 5249 530 20 0 22 0 510306467 8481841152 110423 33554432000 4194304 4196468 140734062838640 139894703896688 139895479380610 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36929536 140734062842847 140734062843014 140734062843014 140734062845903 0
[pid=17056/tid=17073] ppid=16909 vsize=8283048 memory=122000 CPUtime=58.17 cores=0-7
/proc/17056/task/17073/stat : 17073 (java) R 16909 16909 16140 0 -1 4202560 1426 3192497 0 3 37 1 5249 530 20 0 22 0 510306467 8481841152 110423 33554432000 4194304 4196468 140734062838640 139894702843072 139895479390810 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36929536 140734062842847 140734062843014 140734062843014 140734062845903 0
[pid=17056/tid=17074] ppid=16909 vsize=8283048 memory=0 CPUtime=57.79 cores=0-7
/proc/17056/task/17074/stat : 17074 (java) S 16909 16909 16140 0 -1 1077944384 3 3192497 0 3 0 0 5249 530 20 0 22 0 510306467 8481841152 110423 33554432000 4194304 4196468 140734062838640 139892923296864 139895479379669 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36929536 140734062842847 140734062843014 140734062843014 140734062845903 0
[pid=17056/tid=17075] ppid=16909 vsize=8283048 memory=7686721470334473626 CPUtime=57.82 cores=0-7
/proc/17056/task/17075/stat : 17075 (java) S 16909 16909 16140 0 -1 1077944384 7 3192497 0 3 2 1 5249 530 20 0 22 0 510306468 8481841152 110423 33554432000 4194304 4196468 140734062838640 139894701792304 139895479380610 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36929536 140734062842847 140734062843014 140734062843014 140734062845903 0
[pid=17056/tid=17077] ppid=16909 vsize=8283048 memory=111632 CPUtime=57.79 cores=0-7
/proc/17056/task/17077/stat : 17077 (java) S 16909 16909 16140 0 -1 1077944384 24 3192497 0 3 0 0 5249 530 20 0 22 0 510306540 8481841152 110423 33554432000 4194304 4196468 140734062838640 139894693757712 139895479380610 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36929536 140734062842847 140734062843014 140734062843014 140734062845903 0
[pid=17056/tid=17081] ppid=16909 vsize=8283048 memory=804 CPUtime=57.79 cores=0-7
/proc/17056/task/17081/stat : 17081 (java) S 16909 16909 16140 0 -1 1077944384 16 3192497 0 3 0 0 5249 530 20 0 22 0 510306542 8481841152 110423 33554432000 4194304 4196468 140734062838640 139891983770416 139895479380610 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36929536 140734062842847 140734062843014 140734062843014 140734062845903 0
Current children cumulated CPU time: 2269.45 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 443164 KiB

[startup+1702.3 s]*
/proc/loadavg: 1.10 1.15 2.09 2/213 17087
/proc/meminfo: memFree=25795592/32770624 swapFree=67023900/67108860
[pid=16909] ppid=16906 vsize=113128 memory=1472 CPUtime=2209 cores=0-7
/proc/16909/stat : 16909 (scop.sh) S 16906 16909 16140 0 -1 4202496 583 23522179 0 1 0 0 212940 7960 20 0 1 0 510142163 115843072 368 33554432000 4194304 5098028 140728699729360 140728699726104 140526433735292 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 19480576 140728699736829 140728699737176 140728699737176 140728699740105 0
/proc/16909/statm: 28282 368 310 221 0 87 0
[pid=17056] ppid=16909 vsize=8283048 memory=445848 CPUtime=60.87 cores=0-7
/proc/17056/stat : 17056 (java) S 16909 16909 16140 0 -1 1077944320 23268 3192497 2 3 247 61 5249 530 20 0 22 0 510306451 8481841152 111462 33554432000 4194304 4196468 140734062838640 140734062821184 139895479369463 0 0 2 25189581 18446744073709551615 0 0 17 5 0 0 1 0 0 6293624 6294260 36929536 140734062842847 140734062843014 140734062843014 140734062845903 0
/proc/17056/statm: 2070762 111462 3238 1 0 2032106 0
[pid=17056/tid=17057] ppid=16909 vsize=8283048 memory=6791534058613427641 CPUtime=59.22 cores=0-7
/proc/17056/task/17057/stat : 17057 (java) R 16909 16909 16140 0 -1 4202560 18286 3192497 1 3 95 48 5249 530 20 0 22 0 510306454 8481841152 111462 33554432000 4194304 4196468 140734062838640 139895451211240 139895472055095 0 4 2 25189581 0 0 0 -1 2 0 0 6 0 0 6293624 6294260 36929536 140734062842847 140734062843014 140734062843014 140734062845903 0
[pid=17056/tid=17058] ppid=16909 vsize=8283048 memory=4126316290023845779 CPUtime=57.79 cores=0-7
/proc/17056/task/17058/stat : 17058 (java) S 16909 16909 16140 0 -1 1077944384 2 3192497 0 3 0 0 5249 530 20 0 22 0 510306457 8481841152 111462 33554432000 4194304 4196468 140734062838640 139895483612304 139895479379669 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36929536 140734062842847 140734062843014 140734062843014 140734062845903 0
[pid=17056/tid=17059] ppid=16909 vsize=8283048 memory=1996 CPUtime=57.79 cores=0-7
/proc/17056/task/17059/stat : 17059 (java) S 16909 16909 16140 0 -1 1077944384 1 3192497 0 3 0 0 5249 530 20 0 22 0 510306457 8481841152 111462 33554432000 4194304 4196468 140734062838640 139895283780624 139895479379669 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36929536 140734062842847 140734062843014 140734062843014 140734062845903 0
[pid=17056/tid=17060] ppid=16909 vsize=8283048 memory=2508 CPUtime=57.79 cores=0-7
/proc/17056/task/17060/stat : 17060 (java) S 16909 16909 16140 0 -1 1077944384 1 3192497 0 3 0 0 5249 530 20 0 22 0 510306457 8481841152 111462 33554432000 4194304 4196468 140734062838640 139895282727824 139895479379669 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36929536 140734062842847 140734062843014 140734062843014 140734062845903 0
[pid=17056/tid=17061] ppid=16909 vsize=8283048 memory=1532 CPUtime=57.79 cores=0-7
/proc/17056/task/17061/stat : 17061 (java) S 16909 16909 16140 0 -1 1077944384 3 3192497 0 3 0 0 5249 530 20 0 22 0 510306457 8481841152 111462 33554432000 4194304 4196468 140734062838640 139895281675024 139895479379669 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36929536 140734062842847 140734062843014 140734062843014 140734062845903 0
[pid=17056/tid=17062] ppid=16909 vsize=8283048 memory=52024 CPUtime=57.79 cores=0-7
/proc/17056/task/17062/stat : 17062 (java) S 16909 16909 16140 0 -1 1077944384 2 3192497 0 3 0 0 5249 530 20 0 22 0 510306457 8481841152 111462 33554432000 4194304 4196468 140734062838640 139895280622224 139895479379669 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36929536 140734062842847 140734062843014 140734062843014 140734062845903 0
[pid=17056/tid=17063] ppid=16909 vsize=8283048 memory=1040 CPUtime=57.79 cores=0-7
/proc/17056/task/17063/stat : 17063 (java) S 16909 16909 16140 0 -1 1077944384 2 3192497 0 3 0 0 5249 530 20 0 22 0 510306457 8481841152 111462 33554432000 4194304 4196468 140734062838640 139895279569424 139895479379669 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36929536 140734062842847 140734062843014 140734062843014 140734062845903 0
[pid=17056/tid=17064] ppid=16909 vsize=8283048 memory=2084 CPUtime=57.79 cores=0-7
/proc/17056/task/17064/stat : 17064 (java) S 16909 16909 16140 0 -1 1077944384 2 3192497 0 3 0 0 5249 530 20 0 22 0 510306457 8481841152 111462 33554432000 4194304 4196468 140734062838640 139895278516624 139895479379669 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36929536 140734062842847 140734062843014 140734062843014 140734062845903 0
[pid=17056/tid=17065] ppid=16909 vsize=8283048 memory=1480 CPUtime=57.79 cores=0-7
/proc/17056/task/17065/stat : 17065 (java) S 16909 16909 16140 0 -1 1077944384 2 3192497 0 3 0 0 5249 530 20 0 22 0 510306457 8481841152 111462 33554432000 4194304 4196468 140734062838640 139895277463824 139895479379669 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36929536 140734062842847 140734062843014 140734062843014 140734062845903 0
[pid=17056/tid=17066] ppid=16909 vsize=8283048 memory=3880 CPUtime=57.79 cores=0-7
/proc/17056/task/17066/stat : 17066 (java) S 16909 16909 16140 0 -1 1077944384 5 3192497 0 3 0 0 5249 530 20 0 22 0 510306458 8481841152 111462 33554432000 4194304 4196468 140734062838640 139894707055472 139895479380610 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36929536 140734062842847 140734062843014 140734062843014 140734062845903 0
[pid=17056/tid=17067] ppid=16909 vsize=8283048 memory=7712 CPUtime=57.79 cores=0-7
/proc/17056/task/17067/stat : 17067 (java) S 16909 16909 16140 0 -1 1077944384 13 3192497 0 3 0 0 5249 530 20 0 22 0 510306459 8481841152 111462 33554432000 4194304 4196468 140734062838640 139894064145952 139895479379669 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36929536 140734062842847 140734062843014 140734062843014 140734062845903 0
[pid=17056/tid=17068] ppid=16909 vsize=8283048 memory=1760 CPUtime=57.79 cores=0-7
/proc/17056/task/17068/stat : 17068 (java) S 16909 16909 16140 0 -1 1077944384 1 3192497 0 3 0 0 5249 530 20 0 22 0 510306459 8481841152 111462 33554432000 4194304 4196468 140734062838640 139893795710320 139895479379669 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36929536 140734062842847 140734062843014 140734062843014 140734062845903 0
[pid=17056/tid=17069] ppid=16909 vsize=8283048 memory=1172 CPUtime=57.79 cores=0-7
/proc/17056/task/17069/stat : 17069 (java) S 16909 16909 16140 0 -1 1077944384 1 3192497 0 3 0 0 5249 530 20 0 22 0 510306467 8481841152 111462 33554432000 4194304 4196468 140734062838640 139893421201744 139895479388059 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36929536 140734062842847 140734062843014 140734062843014 140734062845903 0
[pid=17056/tid=17070] ppid=16909 vsize=8283048 memory=6332 CPUtime=57.97 cores=0-7
/proc/17056/task/17070/stat : 17070 (java) S 16909 16909 16140 0 -1 1077944384 556 3192497 0 3 18 0 5249 530 20 0 22 0 510306467 8481841152 111462 33554432000 4194304 4196468 140734062838640 139894706002288 139895479380610 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36929536 140734062842847 140734062843014 140734062843014 140734062845903 0
[pid=17056/tid=17071] ppid=16909 vsize=8283048 memory=6656426216303648864 CPUtime=58.02 cores=0-7
/proc/17056/task/17071/stat : 17071 (java) S 16909 16909 16140 0 -1 1077944384 719 3192497 0 3 23 0 5249 530 20 0 22 0 510306467 8481841152 111462 33554432000 4194304 4196468 140734062838640 139894704949488 139895479380610 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36929536 140734062842847 140734062843014 140734062843014 140734062845903 0
[pid=17056/tid=17072] ppid=16909 vsize=8283048 memory=63857 CPUtime=58.03 cores=0-7
/proc/17056/task/17072/stat : 17072 (java) S 16909 16909 16140 0 -1 1077944384 648 3192497 0 3 24 0 5249 530 20 0 22 0 510306467 8481841152 111462 33554432000 4194304 4196468 140734062838640 139894703896688 139895479380610 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36929536 140734062842847 140734062843014 140734062843014 140734062845903 0
[pid=17056/tid=17073] ppid=16909 vsize=8283048 memory=6944652177228980320 CPUtime=58.18 cores=0-7
/proc/17056/task/17073/stat : 17073 (java) S 16909 16909 16140 0 -1 1077944384 1455 3192497 0 3 38 1 5249 530 20 0 22 0 510306467 8481841152 111462 33554432000 4194304 4196468 140734062838640 139894702843888 139895479380610 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36929536 140734062842847 140734062843014 140734062843014 140734062845903 0
[pid=17056/tid=17074] ppid=16909 vsize=8283048 memory=0 CPUtime=57.79 cores=0-7
/proc/17056/task/17074/stat : 17074 (java) S 16909 16909 16140 0 -1 1077944384 3 3192497 0 3 0 0 5249 530 20 0 22 0 510306467 8481841152 111462 33554432000 4194304 4196468 140734062838640 139892923296864 139895479379669 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36929536 140734062842847 140734062843014 140734062843014 140734062845903 0
[pid=17056/tid=17075] ppid=16909 vsize=8283048 memory=0 CPUtime=57.82 cores=0-7
/proc/17056/task/17075/stat : 17075 (java) S 16909 16909 16140 0 -1 1077944384 7 3192497 0 3 2 1 5249 530 20 0 22 0 510306468 8481841152 111462 33554432000 4194304 4196468 140734062838640 139894701792304 139895479380610 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36929536 140734062842847 140734062843014 140734062843014 140734062845903 0
[pid=17056/tid=17077] ppid=16909 vsize=8283048 memory=0 CPUtime=57.79 cores=0-7
/proc/17056/task/17077/stat : 17077 (java) S 16909 16909 16140 0 -1 1077944384 24 3192497 0 3 0 0 5249 530 20 0 22 0 510306540 8481841152 111462 33554432000 4194304 4196468 140734062838640 139894693757712 139895479380610 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36929536 140734062842847 140734062843014 140734062843014 140734062845903 0
[pid=17056/tid=17081] ppid=16909 vsize=8283048 memory=0 CPUtime=57.79 cores=0-7
/proc/17056/task/17081/stat : 17081 (java) S 16909 16909 16140 0 -1 1077944384 16 3192497 0 3 0 0 5249 530 20 0 22 0 510306542 8481841152 111462 33554432000 4194304 4196468 140734062838640 139891983770416 139895479380610 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36929536 140734062842847 140734062843014 140734062843014 140734062845903 0
Current children cumulated CPU time: 2269.87 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 447320 KiB

[startup+1702.41 s]
/proc/loadavg: 1.10 1.15 2.09 2/213 17087
/proc/meminfo: memFree=25795592/32770624 swapFree=67023900/67108860
[pid=16909] ppid=16906 vsize=113128 memory=1472 CPUtime=2209 cores=0-7
/proc/16909/stat : 16909 (scop.sh) S 16906 16909 16140 0 -1 4202496 583 23522179 0 1 0 0 212940 7960 20 0 1 0 510142163 115843072 368 33554432000 4194304 5098028 140728699729360 140728699726104 140526433735292 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 19480576 140728699736829 140728699737176 140728699737176 140728699740105 0
/proc/16909/statm: 28282 368 310 221 0 87 0
[pid=17056] ppid=16909 vsize=8283048 memory=445848 CPUtime=60.89 cores=0-7
/proc/17056/stat : 17056 (java) S 16909 16909 16140 0 -1 1077944320 23268 3192497 2 3 247 63 5249 530 20 0 22 0 510306451 8481841152 111462 33554432000 4194304 4196468 140734062838640 140734062821184 139895479369463 0 0 2 25189581 18446744073709551615 0 0 17 5 0 0 1 0 0 6293624 6294260 36929536 140734062842847 140734062843014 140734062843014 140734062845903 0
/proc/17056/statm: 2070762 111462 3238 1 0 2032106 0
[pid=17056/tid=17057] ppid=16909 vsize=8283048 memory=406268 CPUtime=59.24 cores=0-7
/proc/17056/task/17057/stat : 17057 (java) D 16909 16909 16140 0 -1 4202560 18286 3192497 1 3 95 50 5249 530 20 0 22 0 510306454 8481841152 111462 33554432000 4194304 4196468 140734062838640 139895451211240 139895472055095 0 4 2 25189581 18446744071581155587 0 0 -1 0 0 0 14 0 0 6293624 6294260 36929536 140734062842847 140734062843014 140734062843014 140734062845903 0
[pid=17056/tid=17058] ppid=16909 vsize=8283048 memory=1472 CPUtime=57.79 cores=0-7
/proc/17056/task/17058/stat : 17058 (java) S 16909 16909 16140 0 -1 1077944384 2 3192497 0 3 0 0 5249 530 20 0 22 0 510306457 8481841152 111462 33554432000 4194304 4196468 140734062838640 139895483612304 139895479379669 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36929536 140734062842847 140734062843014 140734062843014 140734062845903 0
[pid=17056/tid=17059] ppid=16909 vsize=8283048 memory=1472 CPUtime=57.79 cores=0-7
/proc/17056/task/17059/stat : 17059 (java) S 16909 16909 16140 0 -1 1077944384 1 3192497 0 3 0 0 5249 530 20 0 22 0 510306457 8481841152 111462 33554432000 4194304 4196468 140734062838640 139895283780624 139895479379669 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36929536 140734062842847 140734062843014 140734062843014 140734062845903 0
[pid=17056/tid=17060] ppid=16909 vsize=8283048 memory=438312 CPUtime=57.79 cores=0-7
/proc/17056/task/17060/stat : 17060 (java) S 16909 16909 16140 0 -1 1077944384 1 3192497 0 3 0 0 5249 530 20 0 22 0 510306457 8481841152 111462 33554432000 4194304 4196468 140734062838640 139895282727824 139895479379669 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36929536 140734062842847 140734062843014 140734062843014 140734062845903 0
[pid=17056/tid=17061] ppid=16909 vsize=8283048 memory=445848 CPUtime=57.79 cores=0-7
/proc/17056/task/17061/stat : 17061 (java) S 16909 16909 16140 0 -1 1077944384 3 3192497 0 3 0 0 5249 530 20 0 22 0 510306457 8481841152 111462 33554432000 4194304 4196468 140734062838640 139895281675024 139895479379669 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36929536 140734062842847 140734062843014 140734062843014 140734062845903 0
[pid=17056/tid=17062] ppid=16909 vsize=8283048 memory=1472 CPUtime=57.79 cores=0-7
/proc/17056/task/17062/stat : 17062 (java) S 16909 16909 16140 0 -1 1077944384 2 3192497 0 3 0 0 5249 530 20 0 22 0 510306457 8481841152 111462 33554432000 4194304 4196468 140734062838640 139895280622224 139895479379669 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36929536 140734062842847 140734062843014 140734062843014 140734062845903 0
[pid=17056/tid=17063] ppid=16909 vsize=8283048 memory=140298462528145 CPUtime=57.79 cores=0-7
/proc/17056/task/17063/stat : 17063 (java) S 16909 16909 16140 0 -1 1077944384 2 3192497 0 3 0 0 5249 530 20 0 22 0 510306457 8481841152 111462 33554432000 4194304 4196468 140734062838640 139895279569424 139895479379669 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36929536 140734062842847 140734062843014 140734062843014 140734062845903 0
[pid=17056/tid=17064] ppid=16909 vsize=8283048 memory=1760 CPUtime=57.79 cores=0-7
/proc/17056/task/17064/stat : 17064 (java) S 16909 16909 16140 0 -1 1077944384 2 3192497 0 3 0 0 5249 530 20 0 22 0 510306457 8481841152 111462 33554432000 4194304 4196468 140734062838640 139895278516624 139895479379669 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36929536 140734062842847 140734062843014 140734062843014 140734062845903 0
[pid=17056/tid=17065] ppid=16909 vsize=8283048 memory=1472 CPUtime=57.79 cores=0-7
/proc/17056/task/17065/stat : 17065 (java) S 16909 16909 16140 0 -1 1077944384 2 3192497 0 3 0 0 5249 530 20 0 22 0 510306457 8481841152 111462 33554432000 4194304 4196468 140734062838640 139895277463824 139895479379669 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36929536 140734062842847 140734062843014 140734062843014 140734062845903 0
[pid=17056/tid=17066] ppid=16909 vsize=8283048 memory=33 CPUtime=57.79 cores=0-7
/proc/17056/task/17066/stat : 17066 (java) S 16909 16909 16140 0 -1 1077944384 5 3192497 0 3 0 0 5249 530 20 0 22 0 510306458 8481841152 111462 33554432000 4194304 4196468 140734062838640 139894707055472 139895479380610 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36929536 140734062842847 140734062843014 140734062843014 140734062845903 0
[pid=17056/tid=17067] ppid=16909 vsize=8283048 memory=280596926341440 CPUtime=57.79 cores=0-7
/proc/17056/task/17067/stat : 17067 (java) S 16909 16909 16140 0 -1 1077944384 13 3192497 0 3 0 0 5249 530 20 0 22 0 510306459 8481841152 111462 33554432000 4194304 4196468 140734062838640 139894064145952 139895479379669 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36929536 140734062842847 140734062843014 140734062843014 140734062845903 0
[pid=17056/tid=17068] ppid=16909 vsize=8283048 memory=1472 CPUtime=57.79 cores=0-7
/proc/17056/task/17068/stat : 17068 (java) S 16909 16909 16140 0 -1 1077944384 1 3192497 0 3 0 0 5249 530 20 0 22 0 510306459 8481841152 111462 33554432000 4194304 4196468 140734062838640 139893795710320 139895479379669 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36929536 140734062842847 140734062843014 140734062843014 140734062845903 0
[pid=17056/tid=17069] ppid=16909 vsize=8283048 memory=1472 CPUtime=57.79 cores=0-7
/proc/17056/task/17069/stat : 17069 (java) S 16909 16909 16140 0 -1 1077944384 1 3192497 0 3 0 0 5249 530 20 0 22 0 510306467 8481841152 111462 33554432000 4194304 4196468 140734062838640 139893421201744 139895479388059 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36929536 140734062842847 140734062843014 140734062843014 140734062845903 0
[pid=17056/tid=17070] ppid=16909 vsize=8283048 memory=7686721470334473626 CPUtime=57.97 cores=0-7
/proc/17056/task/17070/stat : 17070 (java) S 16909 16909 16140 0 -1 1077944384 556 3192497 0 3 18 0 5249 530 20 0 22 0 510306467 8481841152 111462 33554432000 4194304 4196468 140734062838640 139894706002288 139895479380610 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36929536 140734062842847 140734062843014 140734062843014 140734062845903 0
[pid=17056/tid=17071] ppid=16909 vsize=8283048 memory=1472 CPUtime=58.02 cores=0-7
/proc/17056/task/17071/stat : 17071 (java) S 16909 16909 16140 0 -1 1077944384 719 3192497 0 3 23 0 5249 530 20 0 22 0 510306467 8481841152 111462 33554432000 4194304 4196468 140734062838640 139894704949488 139895479380610 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36929536 140734062842847 140734062843014 140734062843014 140734062845903 0
[pid=17056/tid=17072] ppid=16909 vsize=8283048 memory=1472 CPUtime=58.03 cores=0-7
/proc/17056/task/17072/stat : 17072 (java) S 16909 16909 16140 0 -1 1077944384 648 3192497 0 3 24 0 5249 530 20 0 22 0 510306467 8481841152 111462 33554432000 4194304 4196468 140734062838640 139894703896688 139895479380610 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36929536 140734062842847 140734062843014 140734062843014 140734062845903 0
[pid=17056/tid=17073] ppid=16909 vsize=8283048 memory=122000 CPUtime=58.18 cores=0-7
/proc/17056/task/17073/stat : 17073 (java) S 16909 16909 16140 0 -1 1077944384 1455 3192497 0 3 38 1 5249 530 20 0 22 0 510306467 8481841152 111462 33554432000 4194304 4196468 140734062838640 139894702843888 139895479380610 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36929536 140734062842847 140734062843014 140734062843014 140734062845903 0
[pid=17056/tid=17074] ppid=16909 vsize=8283048 memory=122000 CPUtime=57.79 cores=0-7
/proc/17056/task/17074/stat : 17074 (java) S 16909 16909 16140 0 -1 1077944384 3 3192497 0 3 0 0 5249 530 20 0 22 0 510306467 8481841152 111462 33554432000 4194304 4196468 140734062838640 139892923296864 139895479379669 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36929536 140734062842847 140734062843014 140734062843014 140734062845903 0
[pid=17056/tid=17075] ppid=16909 vsize=8283048 memory=1472 CPUtime=57.82 cores=0-7
/proc/17056/task/17075/stat : 17075 (java) S 16909 16909 16140 0 -1 1077944384 7 3192497 0 3 2 1 5249 530 20 0 22 0 510306468 8481841152 111462 33554432000 4194304 4196468 140734062838640 139894701792304 139895479380610 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36929536 140734062842847 140734062843014 140734062843014 140734062845903 0
[pid=17056/tid=17077] ppid=16909 vsize=8283048 memory=1472 CPUtime=57.79 cores=0-7
/proc/17056/task/17077/stat : 17077 (java) S 16909 16909 16140 0 -1 1077944384 24 3192497 0 3 0 0 5249 530 20 0 22 0 510306540 8481841152 111462 33554432000 4194304 4196468 140734062838640 139894693757712 139895479380610 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36929536 140734062842847 140734062843014 140734062843014 140734062845903 0
[pid=17056/tid=17081] ppid=16909 vsize=8283048 memory=121856 CPUtime=57.79 cores=0-7
/proc/17056/task/17081/stat : 17081 (java) S 16909 16909 16140 0 -1 1077944384 16 3192497 0 3 0 0 5249 530 20 0 22 0 510306542 8481841152 111462 33554432000 4194304 4196468 140734062838640 139891983770416 139895479380610 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36929536 140734062842847 140734062843014 140734062843014 140734062845903 0
Current children cumulated CPU time: 2269.89 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 447320 KiB

Child status: 0
Real time (s): 1702.47
CPU time (s): 2269.94
CPU user time (s): 2184.38
CPU system time (s): 85.5642
CPU usage (%): 133.332
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 23383608

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2184.37
system time used= 85.5642
maximum resident set size= 23382216
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26738564
page faults= 6
swaps= 0
block input operations= 31752
block output operations= 5612672
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 64621
involuntary context switches= 10384


# summary of solver processes directly reported to runsolver:
#   pid: 16909
#   total CPU time (s): 2269.94
#   total CPU user time (s): 2184.38
#   total CPU system time (s): 85.5642

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.3864 second user time and 18.3783 second system time

The end

Launcher Data 

Begin job on node150 at 2019-09-24 17:24:16
IDJOB=4405258
IDBENCH=131280
IDSOLVER=2867
FILE ID=node150/4405258-1569338697
RUNJOBID= node150-1569335938-16167
PBS_JOBID= 21705047
Free space on /var/tmp= 13480 MiB

SOLVER NAME= Fun-sCOP order+ManyGlucose (2019-09-22)
BENCH NAME= XCSP17/Subisomorphism/Subisomorphism-m1-SF/Subisomorphism-B-08.xml
COMMAND LINE= DIR/scop.sh 22g DIR/scop.jar -order DIR/manyglucose-4.1-27_release -model:-nthreads=NBCORE:-maxmemory=20000:-lit-scans=6000000 TMPDIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4405258-1569338697/watcher-4405258-1569338697 -o /var/tmp/evaluation-result-4405258-1569338697/solver-4405258-1569338697 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node150-1569335938-16167 --watchdog 2580  HOME/scop.sh 22g HOME/scop.jar -order HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4405258-1569338697.xml

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

MD5SUM BENCH= 47da5ea68f3d94e6d7990d40a1ef4aa5
RANDOM SEED=1435980845

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:         9304408 kB
MemAvailable:   31818088 kB
Buffers:          200692 kB
Cached:         22204312 kB
SwapCached:         8124 kB
Active:         11167844 kB
Inactive:       11271636 kB
Active(anon):       2408 kB
Inactive(anon):    83280 kB
Active(file):   11165436 kB
Inactive(file): 11188356 kB
Unevictable:      109416 kB
Mlocked:          109416 kB
SwapTotal:      67108860 kB
SwapFree:       67023896 kB
Dirty:             20380 kB
Writeback:             0 kB
AnonPages:        205464 kB
Mapped:            53648 kB
Shmem:             42716 kB
Slab:             618420 kB
SReclaimable:     588348 kB
SUnreclaim:        30072 kB
KernelStack:        3808 kB
PageTables:         5680 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     514600 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    137216 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:       99712 kB
DirectMap2M:    33445888 kB

Free space on /var/tmp at the end= 13460 MiB
End job on node150 at 2019-09-24 17:52:39