Trace number 4392295

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-06-15)SAT 878.815 708.646

General information on the benchmark

NameSubisomorphism/Subisomorphism-m1-si4-m4D/
Subisomorphism-si4-m4D-m625-05.xml
MD5SUMa06e274e1d637d430249b010d1ea7ff6
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.107886
Satisfiable
(Un)Satisfiability was proved
Number of variables250
Number of constraints900
Number of domains1
Minimum domain size625
Maximum domain size625
Distribution of domain sizes[{"size":625,"count":250}]
Minimum variable degree3
Maximum variable degree10
Distribution of variable degrees[{"degree":3,"count":7},{"degree":4,"count":20},{"degree":6,"count":53},{"degree":7,"count":38},{"degree":8,"count":61},{"degree":9,"count":58},{"degree":10,"count":13}]
Minimum constraint arity1
Maximum constraint arity250
Distribution of constraint arities[{"arity":1,"count":223},{"arity":2,"count":676},{"arity":250,"count":1}]
Number of extensional constraints899
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":899},{"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-21425-serial-file.bin HOME/instance-4392295-1568431472.xml
0.66/0.54	
0.66/0.54	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
0.66/0.54	
0.66/0.56	c BEGIN-Prog: Sat Sep 14 05:23:53 CEST 2019
0.66/0.56	c PID: 21428
0.66/0.56	c IP: 172.20.3.151
0.66/0.56	c HOST: node151.alineos.net
0.66/0.57	c (0,0) Parsing Begin
2.29/1.16	c (0,0) Parsing End
2.29/1.17	c (0,0) CSP: 250 int (0 aux), 0 bool (0 aux), 900 ctr, max domain size 625
2.29/1.17	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.29/1.17	c (0,0) Constraint Name Generate Begin
2.29/1.19	c (0,0) Ctr:HOME/instance-4392295-1568431472.xml,AllDifferent:ExtensionConflict:ExtensionSupport:Var
2.29/1.19	c (0,0) Constraint Name Generate End
2.29/1.19	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 21 MiB used (max 0 MiB)
2.29/1.19	c (0,0) CSP to CSPinCNF Begin
55.34/42.04	c (41,40) translated 90 (10%) constraints
101.57/81.09	c (80,78) translated 180 (20%) constraints
159.66/123.16	c (122,118) translated 270 (30%) constraints
206.86/162.42	c (161,156) translated 360 (40%) constraints
257.19/202.07	c (201,194) translated 450 (50%) constraints
303.82/241.15	c (240,232) translated 540 (60%) constraints
347.65/279.92	c (279,270) translated 630 (70%) constraints
374.05/301.10	c (300,290) translated 720 (80%) constraints
375.82/301.54	c (300,291) translated 810 (90%) constraints
376.25/301.83	c (301,291) translated 900 (100%) constraints
376.25/301.83	c (301,291) ===========================================
376.25/301.85	c (301,291) Order
376.25/301.85	c (301,291) ===========================================
388.25/312.00	c (311,301) translated 544660 (10%) constraints
402.12/322.32	c (321,311) translated 1089320 (20%) constraints
412.02/332.23	c (331,321) translated 1633980 (30%) constraints
427.09/342.78	c (342,331) translated 2178640 (40%) constraints
436.90/352.54	c (352,341) translated 2723299 (50%) constraints
452.51/363.08	c (362,351) translated 3267959 (60%) constraints
462.31/372.89	c (372,360) translated 3812619 (70%) constraints
472.21/382.72	c (382,370) translated 4357279 (80%) constraints
488.15/393.27	c (392,380) translated 4901939 (90%) constraints
498.04/403.10	c (402,390) translated 5446598 (100%) constraints
498.04/403.10	c (402,390) CSP to CSPinCNF End
498.29/403.23	c (402,390) CSP: 250 int (0 aux), 422500 bool (422500 aux), 5446598 ctr, max domain size 625
498.29/403.23	c (402,390) Heap : 10171 MiB used (max 21560 MiB), NonHeap : 29 MiB used (max 0 MiB)
498.29/403.23	c (402,390) CSPinCNF Propagation Begin
583.92/459.00	c (458,441) 0 values, 68547 unsatisfiable literals, and 68042 valid clauses are removed
583.92/459.00	c (458,441) CSPinCNF Propagation End
584.17/459.12	c (458,442) CSP: 250 int (0 aux), 422500 bool (422500 aux), 5378556 ctr, max domain size 625
584.17/459.12	c (458,442) Heap : 12520 MiB used (max 21868 MiB), NonHeap : 30 MiB used (max 0 MiB)
584.17/459.14	c (458,442) Simplify CSPinCNF Begin
604.37/469.06	c (468,450) Simplify CSPinCNF End
604.56/469.27	c (468,450) CSP: 250 int (0 aux), 484750 bool (484750 aux), 5440806 ctr, max domain size 625
604.56/469.27	c (468,450) Heap : 12796 MiB used (max 21829 MiB), NonHeap : 31 MiB used (max 0 MiB)
604.56/469.27	c (468,450) Calculate Precise Domain Begin
604.56/469.27	c (468,450) 0 values are removed by re-calculation
604.56/469.27	c (468,450) Calculate Precise Domain End
604.76/469.49	c (468,451) CSP: 250 int (0 aux), 484750 bool (484750 aux), 5440806 ctr, max domain size 625
604.76/469.49	c (468,451) Heap : 12796 MiB used (max 21829 MiB), NonHeap : 31 MiB used (max 0 MiB)
604.76/469.49	c (468,451) CSPinCNF to SatSolver Begin
782.09/631.19	c (630,608) 544081 (10 %) CSP clauses are encoded (0 SAT variables, 38780941 SAT clauses)
789.01/636.86	c (636,613) 1088162 (20 %) CSP clauses are encoded (0 SAT variables, 39325022 SAT clauses)
794.52/642.36	c (641,619) 1632242 (30 %) CSP clauses are encoded (0 SAT variables, 39869102 SAT clauses)
802.97/648.20	c (647,624) 2176323 (40 %) CSP clauses are encoded (0 SAT variables, 40413183 SAT clauses)
811.47/654.02	c (653,630) 2720403 (50 %) CSP clauses are encoded (0 SAT variables, 40957263 SAT clauses)
816.86/659.49	c (658,635) 3264484 (60 %) CSP clauses are encoded (0 SAT variables, 41501344 SAT clauses)
825.39/665.35	c (664,641) 3808565 (70 %) CSP clauses are encoded (0 SAT variables, 42045425 SAT clauses)
830.88/670.83	c (670,646) 4352645 (80 %) CSP clauses are encoded (0 SAT variables, 42589505 SAT clauses)
839.28/676.68	c (676,652) 4896726 (90 %) CSP clauses are encoded (0 SAT variables, 43133586 SAT clauses)
847.71/682.43	c (681,657) 5440806 (100 %) CSP clauses are encoded (0 SAT variables, 43677666 SAT clauses)
847.71/682.43	c (681,657) CSPinCNF to SatSolver End
847.71/682.43	c (681,657) Heap : 11028 MiB used (max 22165 MiB), NonHeap : 32 MiB used (max 0 MiB)
847.71/682.43	c (681,657) 638953 bool, 43677667 clause
847.71/682.43	c (681,657) Export Begin
847.83/682.54	c (682,657) Export to HOME/scop-21425-serial-file.bin
847.83/682.54	c (682,657) Export End
847.83/682.55	c (682,657) Export File Size: 0.05 MB
847.83/682.55	c (682,657) 0,0,402,458,468,468,681,STOP-AFTER(DIMACS)
847.83/682.55	c END-Prog: Sat Sep 14 05:35:15 CEST 2019
0.00/682.62	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-21425-serial-file.bin
848.51/683.09	c (0,0) Read Serial File Begin
848.51/683.09	c (0,0) HOME/scop-21425-serial-file.bin
848.95/683.32	c (0,0) Read Serial File End
848.95/683.33	
848.95/683.33	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
848.95/683.33	(Solving Process)
848.95/683.33	
848.95/683.35	c BEGIN-Prog: Sat Sep 14 05:35:16 CEST 2019
848.95/683.35	c PID: 21500
848.95/683.35	c IP: 172.20.3.151
848.95/683.35	c HOST: node151.alineos.net
848.95/683.36	c (0,0) SatSolver.solve Begin
848.95/683.36	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4392295-1568431472.xml-scop-21428.cnf
848.95/683.38	c (0,0) c
848.95/683.38	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)
848.95/683.38	c (0,0) c
848.95/683.38	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
848.95/683.38	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
848.95/683.38	c (0,0) c ========================================[ Problem Statistics ]===========================================
848.95/683.38	c (0,0) c |                                                                                                       |
864.35/698.53	c (15,0) c |  Number of variables:        638953                                                                   |
864.35/698.53	c (15,0) c |  Number of clauses:        43677667                                                                   |
864.35/698.53	c (15,0) c |  Parse time:                  13.90 s                                                                 |
864.35/698.53	c (15,0) c |                                                                                                       |
866.76/701.00	c (17,0) c | Too many clauses... No preprocessing                                                                  |
866.76/701.00	c (17,0) c |  Simplification time:          2.22 s                                                                 |
866.76/701.00	c (17,0) c |                                                                                                       |
866.76/701.00	c (17,0) c |  One Solver is taking   3241.09Mb... Let's take   2 solvers for this run (max 40% of the maxmemory).  |
866.76/701.00	c (17,0) c |  Generating clones                                                                                    |
867.77/701.92	c (18,0) c |  all clones generated. Memory =  5202.04Mb.                                                           |
867.77/701.92	c (18,0) c ========================================================================================================|
867.77/701.92	c (18,0) c
867.77/701.92	c (18,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
867.77/701.92	c (18,0) c
867.77/701.92	c (18,0) c |-----------------------|------------|------------|
867.77/701.92	c (18,0) c | Threads               |          0 |          1 |
867.77/701.93	c (18,0) c |-----------------------|------------|------------|
867.77/701.93	c (18,0) c | randomizeFirstDescent |      False |       True |
867.77/701.93	c (18,0) c | adaptStrategeis       |       True |      False |
867.77/701.93	c (18,0) c | forceUnsatOnNewDescent|       True |       True |
867.77/701.93	c (18,0) c | Initial random_seed   |   91648253 |   91648254 |
867.77/701.93	c (18,0) c | chanseokStrategy      |      False |      False |
867.77/701.93	c (18,0) c | coLBDBound            |          5 |          5 |
867.77/701.93	c (18,0) c | glureduce             |       True |       True |
867.77/701.93	c (18,0) c | firstReduceDB         |       2000 |       2000 |
867.77/701.93	c (18,0) c | incReduceDB           |        300 |        300 |
867.77/701.93	c (18,0) c | luby_restart          |      False |      False |
867.77/701.93	c (18,0) c | luby_restart_factor   |        100 |        100 |
867.77/701.93	c (18,0) c | var_decay             |     0.8000 |     0.8000 |
867.77/701.93	c (18,0) c | max_var_decay         |     0.9500 |     0.9500 |
867.77/701.93	c (18,0) c | randomize_on_restarts |      False |      False |
867.77/701.93	c (18,0) c | remove_satisfied      |       True |       True |
867.77/701.93	c (18,0) c |-----------------------|------------|------------|
877.33/707.94	c (24,0) c
877.33/707.94	c (24,0) c real time : 24.5573 s
877.33/707.94	c (24,0) c cpu time  : 24.8578 s
877.33/707.94	c (24,0) c
877.33/707.94	c (24,0) c
877.33/707.94	c (24,0) c
877.33/707.94	c (24,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
877.33/707.94	c (24,0) c
877.33/707.94	c (24,0) c |---------------|-----------------|------------|------------|
877.33/707.94	c (24,0) c | Threads       |      Total      |          0 |          1 |
877.33/707.94	c (24,0) c |---------------|-----------------|------------|------------|
877.33/707.94	c (24,0) c | Conflicts     |             491 |          7 |        484 |
877.33/707.94	c (24,0) c | Decisions     |            1096 |        150 |        946 |
877.33/707.94	c (24,0) c | Propagations  |         4121680 |    1504942 |    2616738 |
877.33/707.94	c (24,0) c | ReduceDBs     |               0 |          0 |          0 |
877.33/707.94	c (24,0) c | SimpDBs       |               2 |          1 |          1 |
877.33/707.94	c (24,0) c | Restarts      |               3 |          1 |          2 |
877.33/707.94	c (24,0) c | ForcedImports |               0 |          0 |          0 |
877.33/707.94	c (24,0) c | PropBinClauses|         3498863 |     957503 |    2541360 |
877.33/707.94	c (24,0) c | PropPreBlocker|       179573175 |   95193248 |   84379927 |
877.33/707.94	c (24,0) c | PropNotBlocker|        80313092 |   35877522 |   44435570 |
877.33/707.94	c (24,0) c | LitFullScans  |       267946191 |  133250178 |  134696013 |
877.33/707.94	c (24,0) c | LitScanFracts |           54406 |      24250 |      30156 |
877.33/707.94	c (24,0) c | DecisionLevel0|               4 |          1 |          3 |
877.33/707.94	c (24,0) c | Periods       |              44 |         22 |         22 |
877.33/707.94	c (24,0) c | Margin        |              40 |         20 |         20 |
877.33/707.94	c (24,0) c | Avg_Trail     |                 |     269362 |      17625 |
877.33/707.94	c (24,0) c | Avg_DL        |                 |         26 |         16 |
877.33/707.94	c (24,0) c | Avg_Res       |                 |          0 |          0 |
877.33/707.94	c (24,0) c | Avg_Res_Seen  |                 |          0 |          0 |
877.33/707.94	c (24,0) c |---------------|-----------------|------------|------------|
877.33/707.94	c (24,0) c | Exported      |              54 |          1 |         53 |
877.33/707.94	c (24,0) c | Imported      |               0 |          0 |          0 |
877.33/707.94	c (24,0) c | Good          |               0 |          0 |          0 |
877.33/707.94	c (24,0) c | Purge         |               0 |          0 |          0 |
877.33/707.94	c (24,0) c | Promoted      |               0 |          0 |          0 |
877.33/707.94	c (24,0) c | Remove_Imp    |               0 |          0 |          0 |
877.33/707.94	c (24,0) c | Blocked_Reuse |               0 |          0 |          0 |
877.33/707.94	c (24,0) c |---------------|-----------------|------------|------------|
877.33/707.94	c (24,0) c | Unaries       |                 |          0 |          1 |
877.33/707.94	c (24,0) c | Binaries      |                 |          0 |         20 |
877.33/707.94	c (24,0) c | Glues         |                 |          1 |         53 |
877.33/707.94	c (24,0) c |---------------|-----------------|------------|------------|
877.33/707.94	c (24,0) c | Orig_Seen     |             0 % |       1360 |      25766 |
877.33/707.94	c (24,0) c | Diff Orig seen|                 |      X     |      24406 |
877.33/707.94	c (24,0) c | Hamming       |            14 % |      X     |      90801 |
877.33/707.94	c (24,0) c |---------------|-----------------|------------|------------|
877.33/707.94	c (24,0) c | RunningTime   |                 |    3.8 100%|    6.0 100%|
877.33/707.94	c (24,0) c | WaitingTime   |                 |    0.0   0%|    0.0   0%|
877.33/707.94	c (24,0) c | ExchangingTime|                 |    0.0   0%|    0.0   0%|
877.33/707.94	c (24,0) c | PeriodProcTime|                 |    0.0   0%|    0.0   0%|
877.33/707.94	c (24,0) c | SolvingTime   |                 |    3.8     |    6.0     |
877.33/707.94	c (24,0) c | PropagationTim|                 |    3.8  99%|    5.9  98%|
877.33/707.94	c (24,0) c | AnalysisTime  |                 |    0.0   0%|    0.1   1%|
877.33/707.94	c (24,0) c | ReductionTime |                 |    0.0   0%|    0.0   0%|
877.33/707.94	c (24,0) c | SimplifyTime  |                 |    0.0   0%|    0.0   0%|
877.33/707.94	c (24,0) c | UsedRateTime  |                 |    0.0   0%|    0.0   0%|
877.33/707.94	c (24,0) c | OverlapRateTim|                 |    0.0   0%|    0.0   0%|
877.33/707.94	c (24,0) c |---------------|-----------------|------------|------------|
877.33/707.94	c (24,0) c
877.33/707.94	c (24,0) c
877.33/707.94	c (24,0) c Threads : 2
877.33/707.94	c (24,0) c Winner : 0
877.33/707.94	c (24,0) c Conflicts_0 : 7
877.33/707.94	c (24,0) c Conflicts_1 : 484
877.33/707.94	c (24,0) c Conflicts_total : 491
877.33/707.94	c (24,0) c Conflicts_winner : 7
877.33/707.94	c (24,0) c Decisions_0 : 150
877.33/707.94	c (24,0) c Decisions_1 : 946
877.33/707.94	c (24,0) c Decisions_total : 1096
877.33/707.94	c (24,0) c Decisions_winner : 150
877.33/707.94	c (24,0) c Propagations_0 : 1504942
877.33/707.94	c (24,0) c Propagations_1 : 2616738
877.33/707.94	c (24,0) c Propagations_total : 4121680
877.33/707.94	c (24,0) c Propagations_winner : 1504942
877.33/707.94	c (24,0) c ReduceDBs_0 : 0
877.33/707.94	c (24,0) c ReduceDBs_1 : 0
877.33/707.94	c (24,0) c ReduceDBs_total : 0
877.33/707.94	c (24,0) c ReduceDBs_winner : 0
877.33/707.94	c (24,0) c SimpDBs_0 : 1
877.33/707.94	c (24,0) c SimpDBs_1 : 1
877.33/707.94	c (24,0) c SimpDBs_total : 2
877.33/707.94	c (24,0) c SimpDBs_winner : 1
877.33/707.94	c (24,0) c Restarts_0 : 1
877.33/707.94	c (24,0) c Restarts_1 : 2
877.33/707.94	c (24,0) c Restarts_total : 3
877.33/707.94	c (24,0) c Restarts_winner : 1
877.33/707.94	c (24,0) c ForcedImports_0 : 0
877.33/707.94	c (24,0) c ForcedImports_1 : 0
877.33/707.94	c (24,0) c ForcedImports_total : 0
877.33/707.94	c (24,0) c ForcedImports_winner : 0
877.33/707.94	c (24,0) c PropsBinClauses_0 : 957503
877.33/707.94	c (24,0) c PropsBinClauses_1 : 2541360
877.33/707.94	c (24,0) c PropsBinClauses_total : 3498863
877.33/707.94	c (24,0) c PropsBinClauses_winner : 957503
877.33/707.94	c (24,0) c PropsPreBlocker_0 : 95193248
877.33/707.94	c (24,0) c PropsPreBlocker_1 : 84379927
877.33/707.94	c (24,0) c PropsPreBlocker_total : 179573175
877.33/707.94	c (24,0) c PropsPreBlocker_winner : 95193248
877.33/707.94	c (24,0) c PropsNotBlocker_0 : 35877522
877.33/707.94	c (24,0) c PropsNotBlocker_1 : 44435570
877.33/707.94	c (24,0) c PropsNotBlocker_total : 80313092
877.33/707.94	c (24,0) c PropsNotBlocker_winner : 35877522
877.33/707.94	c (24,0) c PropsLitFullScans_0 : 133250178
877.33/707.94	c (24,0) c PropsLitFullScans_1 : 134696013
877.33/707.94	c (24,0) c PropsLitFullScans_total : 267946191
877.33/707.94	c (24,0) c PropsLitFullScans_winner : 133250178
877.33/707.94	c (24,0) c LitScanFractions_0 : 24250
877.33/707.94	c (24,0) c LitScanFractions_1 : 30156
877.33/707.94	c (24,0) c LitScanFractions_total : 54406
877.33/707.94	c (24,0) c LitScanFractions_winner : 24250
877.33/707.94	c (24,0) c DecisionLevel0_0 : 1
877.33/707.94	c (24,0) c DecisionLevel0_1 : 3
877.33/707.94	c (24,0) c DecisionLevel0_total : 4
877.33/707.94	c (24,0) c DecisionLevel0_winner : 1
877.33/707.94	c (24,0) c Periods_0 : 22
877.33/707.94	c (24,0) c Periods_1 : 22
877.33/707.94	c (24,0) c Periods_total : 44
877.33/707.94	c (24,0) c Periods_winner : 22
877.33/707.94	c (24,0) c Margin_0 : 20
877.33/707.94	c (24,0) c Margin_1 : 20
877.33/707.94	c (24,0) c Margin_total : 40
877.33/707.94	c (24,0) c Margin_winner : 20
877.33/707.94	c (24,0) c Exported_0 : 1
877.33/707.94	c (24,0) c Exported_1 : 53
877.33/707.94	c (24,0) c Exported_total : 54
877.33/707.94	c (24,0) c Exported_winner : 1
877.33/707.94	c (24,0) c Imported_0 : 0
877.33/707.94	c (24,0) c Imported_1 : 0
877.33/707.94	c (24,0) c Imported_total : 0
877.33/707.94	c (24,0) c Imported_winner : 0
877.33/707.94	c (24,0) c Good_0 : 0
877.33/707.94	c (24,0) c Good_1 : 0
877.33/707.94	c (24,0) c Good_total : 0
877.33/707.94	c (24,0) c Good_winner : 0
877.33/707.94	c (24,0) c Purge_0 : 0
877.33/707.94	c (24,0) c Purge_1 : 0
877.33/707.94	c (24,0) c Purge_total : 0
877.33/707.94	c (24,0) c Purge_winner : 0
877.33/707.94	c (24,0) c Promoted_0 : 0
877.33/707.94	c (24,0) c Promoted_1 : 0
877.33/707.94	c (24,0) c Promoted_total : 0
877.33/707.94	c (24,0) c Promoted_winner : 0
877.33/707.94	c (24,0) c Remove_Imp_0 : 0
877.33/707.94	c (24,0) c Remove_Imp_1 : 0
877.33/707.94	c (24,0) c Remove_Imp_total : 0
877.33/707.94	c (24,0) c Remove_Imp_winner : 0
877.33/707.94	c (24,0) c Blocked_Reuse_0 : 0
877.33/707.95	c (24,0) c Blocked_Reuse_1 : 0
877.33/707.95	c (24,0) c Blocked_Reuse_total : 0
877.33/707.95	c (24,0) c Blocked_Reuse_winner : 0
877.33/707.95	c (24,0) c Unaries_0 : 0
877.33/707.95	c (24,0) c Unaries_1 : 1
877.33/707.95	c (24,0) c Unaries_total : 1
877.33/707.95	c (24,0) c Unaries_winner : 0
877.33/707.95	c (24,0) c Binaries_0 : 0
877.33/707.95	c (24,0) c Binaries_1 : 20
877.33/707.95	c (24,0) c Binaries_total : 20
877.33/707.95	c (24,0) c Binaries_winner : 0
877.33/707.95	c (24,0) c Glues_0 : 1
877.33/707.95	c (24,0) c Glues_1 : 53
877.33/707.95	c (24,0) c Glues_total : 54
877.33/707.95	c (24,0) c Glues_winner : 1
877.33/707.95	c (24,0) c RunningTime_0 : 3.809806
877.33/707.95	c (24,0) c RunningTime_1 : 5.991162
877.33/707.95	c (24,0) c RunningTime_total : 9.800968
877.33/707.95	c (24,0) c RunningTime_winner : 3.809806
877.33/707.95	c (24,0) c WaitingTime_0 : 0.000000
877.33/707.95	c (24,0) c WaitingTime_1 : 0.000002
877.33/707.95	c (24,0) c WaitingTime_total : 0.000002
877.33/707.95	c (24,0) c WaitingTime_winner : 0.000000
877.33/707.95	c (24,0) c ExchangingTime_0 : 0.000038
877.33/707.95	c (24,0) c ExchangingTime_1 : 0.000206
877.33/707.95	c (24,0) c ExchangingTime_total : 0.000244
877.33/707.95	c (24,0) c ExchangingTime_winner : 0.000038
877.33/707.95	c (24,0) c PeriodProcTime_0 : 0.000235
877.33/707.95	c (24,0) c PeriodProcTime_1 : 0.000240
877.33/707.95	c (24,0) c PeriodProcTime_total : 0.000474
877.33/707.95	c (24,0) c PeriodProcTime_winner : 0.000235
877.33/707.95	c (24,0) c SolvingTime_0 : 3.810079
877.33/707.95	c (24,0) c SolvingTime_1 : 5.991610
877.33/707.95	c (24,0) c SolvingTime_total : 9.801688
877.33/707.95	c (24,0) c SolvingTime_winner : 3.810079
877.33/707.95	c (24,0) c PropagationTime_0 : 3.789309
877.33/707.95	c (24,0) c PropagationTime_1 : 5.895034
877.33/707.95	c (24,0) c PropagationTime_total : 9.684343
877.33/707.95	c (24,0) c PropagationTime_winner : 3.789309
877.33/707.95	c (24,0) c AnalysisTime_0 : 0.005940
877.33/707.95	c (24,0) c AnalysisTime_1 : 0.052614
877.33/707.95	c (24,0) c AnalysisTime_total : 0.058554
877.33/707.95	c (24,0) c AnalysisTime_winner : 0.005940
877.33/707.95	c (24,0) c ReductionTime_0 : 0.000000
877.33/707.95	c (24,0) c ReductionTime_1 : 0.000000
877.33/707.95	c (24,0) c ReductionTime_total : 0.000000
877.33/707.95	c (24,0) c ReductionTime_winner : 0.000000
877.33/707.95	c (24,0) c SimplifyTime_0 : 0.000000
877.33/707.95	c (24,0) c SimplifyTime_1 : 0.000000
877.33/707.95	c (24,0) c SimplifyTime_total : 0.000000
877.33/707.95	c (24,0) c SimplifyTime_winner : 0.000000
877.33/707.95	c (24,0) c UsedRateTime_0 : 0.000000
877.33/707.95	c (24,0) c UsedRateTime_1 : 0.000000
877.33/707.95	c (24,0) c UsedRateTime_total : 0.000000
877.33/707.95	c (24,0) c UsedRateTime_winner : 0.000000
877.33/707.95	c (24,0) c OverlapRateTime_0 : 0.000000
877.33/707.95	c (24,0) c OverlapRateTime_1 : 0.000000
877.33/707.95	c (24,0) c OverlapRateTime_total : 0.000000
877.33/707.95	c (24,0) c OverlapRateTime_winner : 0.000000
877.33/707.95	c (24,0) c
877.33/707.95	c (24,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
877.33/707.95	c (24,0) c
877.33/707.95	c (24,0) c |-----------------------|------------|------------|
877.33/707.95	c (24,0) c | Threads               |          0 |          1 |
877.33/707.95	c (24,0) c |-----------------------|------------|------------|
877.33/707.95	c (24,0) c | randomizeFirstDescent |      False |       True |
877.33/707.95	c (24,0) c | adaptStrategeis       |       True |      False |
877.33/707.95	c (24,0) c | forceUnsatOnNewDescent|       True |       True |
877.33/707.95	c (24,0) c | Initial random_seed   |   74832923 | 1839248670 |
877.33/707.95	c (24,0) c | chanseokStrategy      |      False |      False |
877.33/707.95	c (24,0) c | coLBDBound            |          5 |          5 |
877.33/707.95	c (24,0) c | glureduce             |       True |       True |
877.33/707.95	c (24,0) c | firstReduceDB         |       2000 |       2000 |
877.33/707.95	c (24,0) c | incReduceDB           |        300 |        300 |
877.33/707.95	c (24,0) c | luby_restart          |      False |      False |
877.33/707.95	c (24,0) c | luby_restart_factor   |        100 |        100 |
877.33/707.95	c (24,0) c | var_decay             |     0.8000 |     0.8000 |
877.33/707.95	c (24,0) c | max_var_decay         |     0.9500 |     0.9500 |
877.33/707.95	c (24,0) c | randomize_on_restarts |      False |      False |
877.33/707.95	c (24,0) c | remove_satisfied      |       True |       True |
877.33/707.95	c (24,0) c |-----------------------|------------|------------|
877.33/707.95	c (24,0) 
877.33/707.95	c (24,0) s SATISFIABLE
878.21/708.33	c (25,0) SatSolver.solve End
878.21/708.33	c (25,0) Heap : 242 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB)
878.21/708.33	c (25,0) Show results Begin
878.41/708.48	c (25,0) x[0] = 0
878.41/708.48	c (25,0) x[1] = 82
878.41/708.48	c (25,0) x[2] = 86
878.41/708.48	c (25,0) x[3] = 388
878.41/708.48	c (25,0) x[4] = 498
878.41/708.48	c (25,0) x[5] = 258
878.41/708.48	c (25,0) x[6] = 312
878.41/708.48	c (25,0) x[7] = 406
878.41/708.48	c (25,0) x[8] = 416
878.41/708.48	c (25,0) x[9] = 520
878.41/708.48	c (25,0) x[10] = 120
878.41/708.48	c (25,0) x[11] = 325
878.41/708.48	c (25,0) x[12] = 429
878.41/708.48	c (25,0) x[13] = 185
878.41/708.48	c (25,0) x[14] = 43
878.41/708.48	c (25,0) x[15] = 145
878.41/708.48	c (25,0) x[16] = 180
878.41/708.48	c (25,0) x[17] = 233
878.41/708.48	c (25,0) x[18] = 396
878.41/708.48	c (25,0) x[19] = 70
878.41/708.48	c (25,0) x[20] = 187
878.41/708.48	c (25,0) x[21] = 311
878.41/708.48	c (25,0) x[22] = 403
878.41/708.48	c (25,0) x[23] = 254
878.41/708.48	c (25,0) x[24] = 322
878.41/708.48	c (25,0) x[25] = 379
878.41/708.48	c (25,0) x[26] = 492
878.41/708.48	c (25,0) x[27] = 168
878.41/708.48	c (25,0) x[28] = 320
878.41/708.48	c (25,0) x[29] = 378
878.41/708.48	c (25,0) x[30] = 604
878.41/708.48	c (25,0) x[31] = 42
878.41/708.48	c (25,0) x[32] = 256
878.41/708.48	c (25,0) x[33] = 428
878.41/708.48	c (25,0) x[34] = 462
878.41/708.48	c (25,0) x[35] = 616
878.41/708.48	c (25,0) x[36] = 24
878.41/708.48	c (25,0) x[37] = 39
878.41/708.48	c (25,0) x[38] = 230
878.41/708.48	c (25,0) x[39] = 74
878.41/708.48	c (25,0) x[40] = 227
878.41/708.48	c (25,0) x[41] = 335
878.41/708.48	c (25,0) x[42] = 270
878.41/708.48	c (25,0) x[43] = 375
878.41/708.48	c (25,0) x[44] = 263
878.41/708.48	c (25,0) x[45] = 89
878.41/708.48	c (25,0) x[46] = 303
878.41/708.48	c (25,0) x[47] = 503
878.41/708.49	c (25,0) x[48] = 527
878.41/708.49	c (25,0) x[49] = 338
878.41/708.49	c (25,0) x[50] = 476
878.41/708.49	c (25,0) x[51] = 319
878.41/708.49	c (25,0) x[52] = 573
878.41/708.49	c (25,0) x[53] = 76
878.41/708.49	c (25,0) x[54] = 511
878.41/708.49	c (25,0) x[55] = 152
878.41/708.49	c (25,0) x[56] = 279
878.41/708.49	c (25,0) x[57] = 434
878.41/708.49	c (25,0) x[58] = 352
878.41/708.49	c (25,0) x[59] = 333
878.41/708.49	c (25,0) x[60] = 602
878.41/708.49	c (25,0) x[61] = 176
878.41/708.49	c (25,0) x[62] = 308
878.41/708.49	c (25,0) x[63] = 64
878.41/708.49	c (25,0) x[64] = 437
878.41/708.49	c (25,0) x[65] = 471
878.41/708.49	c (25,0) x[66] = 596
878.41/708.49	c (25,0) x[67] = 58
878.41/708.49	c (25,0) x[68] = 205
878.41/708.49	c (25,0) x[69] = 236
878.41/708.49	c (25,0) x[70] = 93
878.41/708.49	c (25,0) x[71] = 156
878.41/708.49	c (25,0) x[72] = 535
878.41/708.49	c (25,0) x[73] = 31
878.41/708.49	c (25,0) x[74] = 350
878.41/708.49	c (25,0) x[75] = 472
878.41/708.49	c (25,0) x[76] = 108
878.41/708.49	c (25,0) x[77] = 487
878.41/708.49	c (25,0) x[78] = 386
878.41/708.49	c (25,0) x[79] = 103
878.41/708.49	c (25,0) x[80] = 151
878.41/708.49	c (25,0) x[81] = 570
878.41/708.49	c (25,0) x[82] = 368
878.41/708.49	c (25,0) x[83] = 580
878.41/708.49	c (25,0) x[84] = 344
878.41/708.49	c (25,0) x[85] = 455
878.41/708.49	c (25,0) x[86] = 15
878.41/708.49	c (25,0) x[87] = 215
878.41/708.49	c (25,0) x[88] = 347
878.41/708.49	c (25,0) x[89] = 362
878.41/708.49	c (25,0) x[90] = 415
878.41/708.49	c (25,0) x[91] = 494
878.41/708.49	c (25,0) x[92] = 47
878.41/708.49	c (25,0) x[93] = 295
878.41/708.49	c (25,0) x[94] = 479
878.41/708.49	c (25,0) x[95] = 52
878.41/708.49	c (25,0) x[96] = 26
878.41/708.49	c (25,0) x[97] = 447
878.41/708.49	c (25,0) x[98] = 104
878.41/708.49	c (25,0) x[99] = 558
878.41/708.49	c (25,0) x[100] = 474
878.41/708.49	c (25,0) x[101] = 507
878.41/708.49	c (25,0) x[102] = 404
878.41/708.49	c (25,0) x[103] = 433
878.41/708.49	c (25,0) x[104] = 623
878.41/708.49	c (25,0) x[105] = 484
878.41/708.49	c (25,0) x[106] = 525
878.41/708.49	c (25,0) x[107] = 617
878.41/708.49	c (25,0) x[108] = 193
878.41/708.49	c (25,0) x[109] = 56
878.41/708.49	c (25,0) x[110] = 65
878.41/708.49	c (25,0) x[111] = 414
878.41/708.49	c (25,0) x[112] = 442
878.41/708.49	c (25,0) x[113] = 11
878.41/708.49	c (25,0) x[114] = 480
878.41/708.49	c (25,0) x[115] = 555
878.41/708.49	c (25,0) x[116] = 470
878.41/708.49	c (25,0) x[117] = 543
878.41/708.49	c (25,0) x[118] = 77
878.41/708.49	c (25,0) x[119] = 243
878.41/708.49	c (25,0) x[120] = 369
878.41/708.49	c (25,0) x[121] = 191
878.41/708.49	c (25,0) x[122] = 618
878.41/708.49	c (25,0) x[123] = 149
878.41/708.49	c (25,0) x[124] = 345
878.41/708.49	c (25,0) x[125] = 336
878.41/708.49	c (25,0) x[126] = 561
878.41/708.49	c (25,0) x[127] = 25
878.41/708.49	c (25,0) x[128] = 54
878.41/708.49	c (25,0) x[129] = 274
878.41/708.49	c (25,0) x[130] = 430
878.41/708.49	c (25,0) x[131] = 544
878.41/708.49	c (25,0) x[132] = 242
878.41/708.49	c (25,0) x[133] = 244
878.41/708.49	c (25,0) x[134] = 16
878.41/708.49	c (25,0) x[135] = 33
878.41/708.49	c (25,0) x[136] = 300
878.41/708.49	c (25,0) x[137] = 376
878.41/708.49	c (25,0) x[138] = 486
878.41/708.49	c (25,0) x[139] = 123
878.41/708.49	c (25,0) x[140] = 179
878.41/708.49	c (25,0) x[141] = 473
878.41/708.49	c (25,0) x[142] = 261
878.41/708.49	c (25,0) x[143] = 622
878.41/708.49	c (25,0) x[144] = 121
878.41/708.49	c (25,0) x[145] = 167
878.41/708.49	c (25,0) x[146] = 475
878.41/708.49	c (25,0) x[147] = 539
878.41/708.49	c (25,0) x[148] = 582
878.41/708.49	c (25,0) x[149] = 80
878.41/708.49	c (25,0) x[150] = 101
878.41/708.49	c (25,0) x[151] = 161
878.41/708.49	c (25,0) x[152] = 326
878.41/708.49	c (25,0) x[153] = 252
878.41/708.49	c (25,0) x[154] = 318
878.41/708.49	c (25,0) x[155] = 342
878.41/708.49	c (25,0) x[156] = 355
878.41/708.49	c (25,0) x[157] = 427
878.41/708.49	c (25,0) x[158] = 37
878.41/708.49	c (25,0) x[159] = 466
878.41/708.49	c (25,0) x[160] = 248
878.41/708.49	c (25,0) x[161] = 446
878.41/708.49	c (25,0) x[162] = 540
878.41/708.49	c (25,0) x[163] = 489
878.41/708.49	c (25,0) x[164] = 409
878.41/708.49	c (25,0) x[165] = 567
878.41/708.49	c (25,0) x[166] = 63
878.41/708.49	c (25,0) x[167] = 217
878.41/708.49	c (25,0) x[168] = 560
878.41/708.49	c (25,0) x[169] = 136
878.41/708.49	c (25,0) x[170] = 353
878.41/708.49	c (25,0) x[171] = 523
878.41/708.49	c (25,0) x[172] = 321
878.41/708.49	c (25,0) x[173] = 384
878.41/708.49	c (25,0) x[174] = 88
878.41/708.49	c (25,0) x[175] = 290
878.41/708.49	c (25,0) x[176] = 436
878.41/708.49	c (25,0) x[177] = 611
878.41/708.49	c (25,0) x[178] = 365
878.41/708.49	c (25,0) x[179] = 400
878.41/708.49	c (25,0) x[180] = 159
878.41/708.49	c (25,0) x[181] = 444
878.41/708.49	c (25,0) x[182] = 8
878.41/708.49	c (25,0) x[183] = 272
878.41/708.49	c (25,0) x[184] = 231
878.41/708.49	c (25,0) x[185] = 599
878.41/708.49	c (25,0) x[186] = 586
878.41/708.49	c (25,0) x[187] = 372
878.41/708.49	c (25,0) x[188] = 536
878.41/708.49	c (25,0) x[189] = 387
878.41/708.49	c (25,0) x[190] = 419
878.41/708.49	c (25,0) x[191] = 87
878.41/708.49	c (25,0) x[192] = 615
878.41/708.49	c (25,0) x[193] = 621
878.41/708.49	c (25,0) x[194] = 28
878.41/708.49	c (25,0) x[195] = 229
878.41/708.49	c (25,0) x[196] = 504
878.41/708.49	c (25,0) x[197] = 496
878.41/708.49	c (25,0) x[198] = 497
878.41/708.49	c (25,0) x[199] = 153
878.41/708.49	c (25,0) x[200] = 408
878.41/708.49	c (25,0) x[201] = 213
878.41/708.49	c (25,0) x[202] = 299
878.41/708.49	c (25,0) x[203] = 381
878.41/708.49	c (25,0) x[204] = 184
878.41/708.49	c (25,0) x[205] = 394
878.41/708.49	c (25,0) x[206] = 304
878.41/708.49	c (25,0) x[207] = 111
878.41/708.49	c (25,0) x[208] = 49
878.41/708.49	c (25,0) x[209] = 518
878.41/708.49	c (25,0) x[210] = 48
878.41/708.49	c (25,0) x[211] = 339
878.41/708.49	c (25,0) x[212] = 488
878.41/708.49	c (25,0) x[213] = 485
878.41/708.49	c (25,0) x[214] = 499
878.41/708.49	c (25,0) x[215] = 247
878.41/708.49	c (25,0) x[216] = 59
878.41/708.49	c (25,0) x[217] = 147
878.41/708.49	c (25,0) x[218] = 351
878.41/708.49	c (25,0) x[219] = 502
878.41/708.49	c (25,0) x[220] = 163
878.41/708.49	c (25,0) x[221] = 514
878.41/708.49	c (25,0) x[222] = 40
878.41/708.49	c (25,0) x[223] = 450
878.41/708.49	c (25,0) x[224] = 590
878.41/708.49	c (25,0) x[225] = 495
878.41/708.49	c (25,0) x[226] = 255
878.41/708.49	c (25,0) x[227] = 53
878.41/708.49	c (25,0) x[228] = 493
878.41/708.49	c (25,0) x[229] = 574
878.41/708.49	c (25,0) x[230] = 324
878.41/708.49	c (25,0) x[231] = 424
878.41/708.49	c (25,0) x[232] = 198
878.41/708.49	c (25,0) x[233] = 44
878.41/708.49	c (25,0) x[234] = 45
878.41/708.49	c (25,0) x[235] = 262
878.41/708.49	c (25,0) x[236] = 392
878.41/708.49	c (25,0) x[237] = 614
878.41/708.49	c (25,0) x[238] = 23
878.41/708.49	c (25,0) x[239] = 155
878.41/708.49	c (25,0) x[240] = 310
878.41/708.49	c (25,0) x[241] = 139
878.41/708.49	c (25,0) x[242] = 112
878.41/708.49	c (25,0) x[243] = 385
878.41/708.49	c (25,0) x[244] = 359
878.41/708.49	c (25,0) x[245] = 453
878.41/708.49	c (25,0) x[246] = 354
878.41/708.49	c (25,0) x[247] = 190
878.41/708.49	c (25,0) x[248] = 348
878.41/708.49	c (25,0) x[249] = 71
878.41/708.49	s SATISFIABLE
878.63/708.50	v <instantiation>
878.63/708.50	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]</list>
878.63/708.50	v     <values>0 82 86 388 498 258 312 406 416 520 120 325 429 185 43 145 180 233 396 70 187 311 403 254 322 379 492 168 320 378 604 42 256 428 462 616 24 39 230 74 227 335 270 375 263 89 303 503 527 338 476 319 573 76 511 152 279 434 352 333 602 176 308 64 437 471 596 58 205 236 93 156 535 31 350 472 108 487 386 103 151 570 368 580 344 455 15 215 347 362 415 494 47 295 479 52 26 447 104 558 474 507 404 433 623 484 525 617 193 56 65 414 442 11 480 555 470 543 77 243 369 191 618 149 345 336 561 25 54 274 430 544 242 244 16 33 300 376 486 123 179 473 261 622 121 167 475 539 582 80 101 161 326 252 318 342 355 427 37 466 248 446 540 489 409 567 63 217 560 136 353 523 321 384 88 290 436 611 365 400 159 444 8 272 231 599 586 372 536 387 419 87 615 621 28 229 504 496 497 153 408 213 299 381 184 394 304 111 49 518 48 339 488 485 499 247 59 147 351 502 163 514 40 450 590 495 255 53 493 574 324 424 198 44 45 262 392 614 23 155 310 139 112 385 359 453 354 190 348 71</values>
878.63/708.50	v </instantiation>
878.63/708.50	c (25,0) Show results End
878.63/708.50	c (25,0) Heap : 262 MiB used (max 3925 MiB), NonHeap : 19 MiB used (max 0 MiB)
878.63/708.50	c (25,0) 25,25,STOP-AFTER(ALL)
878.63/708.50	c END-Prog: Sat Sep 14 05:35:41 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 (14852 MiB free)
  memory of node 1: 16384 MiB (15405 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392295-1568431472/watcher-4392295-1568431472 -o /tmp/evaluation-result-4392295-1568431472/solver-4392295-1568431472 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node151-1568430672-19252 --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-4392295-1568431472.xml 

running on 8 cores: 0,2,4,6,1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=21425, runsolver pid=21422

[startup+0.100136 s]*
/proc/loadavg: 4.81 6.24 7.04 2/211 21447
/proc/meminfo: memFree=30887840/32770624 swapFree=66935256/67108860
[pid=21425] ppid=21422 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/21425/stat : 21425 (scop.sh) S 21422 21425 19225 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 419418646 115843072 349 33554432000 4194304 5098028 140732973551776 140732973549032 140021673841276 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 22802432 140732973556517 140732973556844 140732973556844 140732973559757 0
/proc/21425/statm: 28282 349 296 221 0 87 0
[pid=21428] ppid=21425 vsize=27314120 memory=107492 CPUtime=0.1 cores=0-7
/proc/21428/stat : 21428 (java) S 21425 21425 19225 0 -1 1077944320 6426 0 0 0 8 2 0 0 20 0 20 0 419418647 27969658880 26873 33554432000 4194304 4196468 140726960864352 140726960846896 139734523080439 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18935808 140726960870123 140726960870550 140726960870550 140726960873423 0
/proc/21428/statm: 6828530 26873 2798 1 0 6790935 0
[pid=21428/tid=21429] ppid=21425 vsize=27314120 memory=7968446023329554841 CPUtime=0.08 cores=0-7
/proc/21428/task/21429/stat : 21429 (java) R 21425 21425 19225 0 -1 4202560 4528 0 0 0 6 2 0 0 20 0 20 0 419418647 27969658880 26873 33554432000 4194304 4196468 140726960864352 139734494906768 139734502796113 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18935808 140726960870123 140726960870550 140726960870550 140726960873423 0
[pid=21428/tid=21430] ppid=21425 vsize=27314120 memory=732370355091536869 CPUtime=0 cores=0-7
/proc/21428/task/21430/stat : 21430 (java) S 21425 21425 19225 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419418649 27969658880 26873 33554432000 4194304 4196468 140726960864352 139734527322768 139734523090645 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18935808 140726960870123 140726960870550 140726960870550 140726960873423 0
[pid=21428/tid=21431] ppid=21425 vsize=27314120 memory=140216754083456 CPUtime=0 cores=0-7
/proc/21428/task/21431/stat : 21431 (java) S 21425 21425 19225 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419418649 27969658880 26873 33554432000 4194304 4196468 140726960864352 139733945448976 139734523090645 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18935808 140726960870123 140726960870550 140726960870550 140726960873423 0
[pid=21428/tid=21432] ppid=21425 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21428/task/21432/stat : 21432 (java) S 21425 21425 19225 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419418649 27969658880 26873 33554432000 4194304 4196468 140726960864352 139733944396176 139734523090645 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18935808 140726960870123 140726960870550 140726960870550 140726960873423 0
[pid=21428/tid=21433] ppid=21425 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21428/task/21433/stat : 21433 (java) S 21425 21425 19225 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419418649 27969658880 26873 33554432000 4194304 4196468 140726960864352 139733943343376 139734523090645 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18935808 140726960870123 140726960870550 140726960870550 140726960873423 0
[pid=21428/tid=21434] ppid=21425 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21428/task/21434/stat : 21434 (java) S 21425 21425 19225 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419418649 27969658880 26873 33554432000 4194304 4196468 140726960864352 139733942291600 139734523090645 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18935808 140726960870123 140726960870550 140726960870550 140726960873423 0
[pid=21428/tid=21435] ppid=21425 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/21428/task/21435/stat : 21435 (java) S 21425 21425 19225 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419418649 27969658880 26873 33554432000 4194304 4196468 140726960864352 139733941238800 139734523090645 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18935808 140726960870123 140726960870550 140726960870550 140726960873423 0
[pid=21428/tid=21436] ppid=21425 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21428/task/21436/stat : 21436 (java) S 21425 21425 19225 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419418649 27969658880 26873 33554432000 4194304 4196468 140726960864352 139733940186000 139734523090645 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18935808 140726960870123 140726960870550 140726960870550 140726960873423 0
[pid=21428/tid=21437] ppid=21425 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21428/task/21437/stat : 21437 (java) S 21425 21425 19225 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419418649 27969658880 26873 33554432000 4194304 4196468 140726960864352 139733939133200 139734523090645 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18935808 140726960870123 140726960870550 140726960870550 140726960873423 0
[pid=21428/tid=21438] ppid=21425 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21428/task/21438/stat : 21438 (java) S 21425 21425 19225 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419418651 27969658880 26873 33554432000 4194304 4196468 140726960864352 139732776147312 139734523091586 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18935808 140726960870123 140726960870550 140726960870550 140726960873423 0
[pid=21428/tid=21439] ppid=21425 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21428/task/21439/stat : 21439 (java) S 21425 21425 19225 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419418651 27969658880 26873 33554432000 4194304 4196468 140726960864352 139732398892064 139734523090645 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18935808 140726960870123 140726960870550 140726960870550 140726960873423 0
[pid=21428/tid=21440] ppid=21425 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21428/task/21440/stat : 21440 (java) S 21425 21425 19225 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419418652 27969658880 26873 33554432000 4194304 4196468 140726960864352 139732130456432 139734523090645 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18935808 140726960870123 140726960870550 140726960870550 140726960873423 0
[pid=21428/tid=21441] ppid=21425 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21428/task/21441/stat : 21441 (java) S 21425 21425 19225 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419418654 27969658880 26873 33554432000 4194304 4196468 140726960864352 139731755947856 139734523099035 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18935808 140726960870123 140726960870550 140726960870550 140726960873423 0
[pid=21428/tid=21442] ppid=21425 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21428/task/21442/stat : 21442 (java) S 21425 21425 19225 0 -1 1077944384 291 0 0 0 0 0 0 0 20 0 20 0 419418654 27969658880 26873 33554432000 4194304 4196468 140726960864352 139732775095152 139734523091586 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18935808 140726960870123 140726960870550 140726960870550 140726960873423 0
[pid=21428/tid=21443] ppid=21425 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21428/task/21443/stat : 21443 (java) S 21425 21425 19225 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419418654 27969658880 26873 33554432000 4194304 4196468 140726960864352 139732774042352 139734523091586 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18935808 140726960870123 140726960870550 140726960870550 140726960873423 0
[pid=21428/tid=21444] ppid=21425 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21428/task/21444/stat : 21444 (java) S 21425 21425 19225 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419418654 27969658880 26873 33554432000 4194304 4196468 140726960864352 139732772989552 139734523091586 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18935808 140726960870123 140726960870550 140726960870550 140726960873423 0
[pid=21428/tid=21445] ppid=21425 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21428/task/21445/stat : 21445 (java) S 21425 21425 19225 0 -1 1077944384 261 0 0 0 0 0 0 0 20 0 20 0 419418654 27969658880 26873 33554432000 4194304 4196468 140726960864352 139732771936752 139734523091586 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18935808 140726960870123 140726960870550 140726960870550 140726960873423 0
[pid=21428/tid=21446] ppid=21425 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21428/task/21446/stat : 21446 (java) S 21425 21425 19225 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419418654 27969658880 26873 33554432000 4194304 4196468 140726960864352 139731258042976 139734523090645 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18935808 140726960870123 140726960870550 140726960870550 140726960873423 0
[pid=21428/tid=21447] ppid=21425 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/21428/task/21447/stat : 21447 (java) S 21425 21425 19225 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419418655 27969658880 26873 33554432000 4194304 4196468 140726960864352 139732770884144 139734523091586 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18935808 140726960870123 140726960870550 140726960870550 140726960873423 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 108888 KiB

[startup+0.210187 s]*
/proc/loadavg: 4.81 6.24 7.04 2/211 21447
/proc/meminfo: memFree=30866508/32770624 swapFree=66935256/67108860
[pid=21425] ppid=21422 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/21425/stat : 21425 (scop.sh) S 21422 21425 19225 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 419418646 115843072 349 33554432000 4194304 5098028 140732973551776 140732973549032 140021673841276 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 22802432 140732973556517 140732973556844 140732973556844 140732973559757 0
/proc/21425/statm: 28282 349 296 221 0 87 0
[pid=21428] ppid=21425 vsize=27314120 memory=126648 CPUtime=0.24 cores=0-7
/proc/21428/stat : 21428 (java) S 21425 21425 19225 0 -1 1077944320 12040 0 0 0 20 4 0 0 20 0 20 0 419418647 27969658880 31662 33554432000 4194304 4196468 140726960864352 140726960846896 139734523080439 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18935808 140726960870123 140726960870550 140726960870550 140726960873423 0
/proc/21428/statm: 6828530 31662 2929 1 0 6790935 0
[pid=21428/tid=21429] ppid=21425 vsize=27314120 memory=0 CPUtime=0.19 cores=0-7
/proc/21428/task/21429/stat : 21429 (java) R 21425 21425 19225 0 -1 4202560 9781 0 0 0 16 3 0 0 20 0 20 0 419418647 27969658880 31662 33554432000 4194304 4196468 140726960864352 139734494879824 139734504643943 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18935808 140726960870123 140726960870550 140726960870550 140726960873423 0
[pid=21428/tid=21430] ppid=21425 vsize=27314120 memory=732370355091536869 CPUtime=0 cores=0-7
/proc/21428/task/21430/stat : 21430 (java) S 21425 21425 19225 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419418649 27969658880 31662 33554432000 4194304 4196468 140726960864352 139734527322768 139734523090645 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18935808 140726960870123 140726960870550 140726960870550 140726960873423 0
[pid=21428/tid=21431] ppid=21425 vsize=27314120 memory=140216754083456 CPUtime=0 cores=0-7
/proc/21428/task/21431/stat : 21431 (java) S 21425 21425 19225 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419418649 27969658880 31662 33554432000 4194304 4196468 140726960864352 139733945448976 139734523090645 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18935808 140726960870123 140726960870550 140726960870550 140726960873423 0
[pid=21428/tid=21432] ppid=21425 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21428/task/21432/stat : 21432 (java) S 21425 21425 19225 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419418649 27969658880 31662 33554432000 4194304 4196468 140726960864352 139733944396176 139734523090645 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18935808 140726960870123 140726960870550 140726960870550 140726960873423 0
[pid=21428/tid=21433] ppid=21425 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21428/task/21433/stat : 21433 (java) S 21425 21425 19225 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419418649 27969658880 31662 33554432000 4194304 4196468 140726960864352 139733943343376 139734523090645 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18935808 140726960870123 140726960870550 140726960870550 140726960873423 0
[pid=21428/tid=21434] ppid=21425 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21428/task/21434/stat : 21434 (java) S 21425 21425 19225 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419418649 27969658880 31662 33554432000 4194304 4196468 140726960864352 139733942291600 139734523090645 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18935808 140726960870123 140726960870550 140726960870550 140726960873423 0
[pid=21428/tid=21435] ppid=21425 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/21428/task/21435/stat : 21435 (java) S 21425 21425 19225 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419418649 27969658880 31662 33554432000 4194304 4196468 140726960864352 139733941238800 139734523090645 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18935808 140726960870123 140726960870550 140726960870550 140726960873423 0
[pid=21428/tid=21436] ppid=21425 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21428/task/21436/stat : 21436 (java) S 21425 21425 19225 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419418649 27969658880 31662 33554432000 4194304 4196468 140726960864352 139733940186000 139734523090645 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18935808 140726960870123 140726960870550 140726960870550 140726960873423 0
[pid=21428/tid=21437] ppid=21425 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21428/task/21437/stat : 21437 (java) S 21425 21425 19225 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419418649 27969658880 31662 33554432000 4194304 4196468 140726960864352 139733939133200 139734523090645 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18935808 140726960870123 140726960870550 140726960870550 140726960873423 0
[pid=21428/tid=21438] ppid=21425 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21428/task/21438/stat : 21438 (java) S 21425 21425 19225 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419418651 27969658880 31662 33554432000 4194304 4196468 140726960864352 139732776147312 139734523091586 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18935808 140726960870123 140726960870550 140726960870550 140726960873423 0
[pid=21428/tid=21439] ppid=21425 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21428/task/21439/stat : 21439 (java) S 21425 21425 19225 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419418651 27969658880 31662 33554432000 4194304 4196468 140726960864352 139732398892064 139734523090645 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18935808 140726960870123 140726960870550 140726960870550 140726960873423 0
[pid=21428/tid=21440] ppid=21425 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21428/task/21440/stat : 21440 (java) S 21425 21425 19225 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419418652 27969658880 31662 33554432000 4194304 4196468 140726960864352 139732130456432 139734523090645 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18935808 140726960870123 140726960870550 140726960870550 140726960873423 0
[pid=21428/tid=21441] ppid=21425 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21428/task/21441/stat : 21441 (java) S 21425 21425 19225 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419418654 27969658880 31662 33554432000 4194304 4196468 140726960864352 139731755947856 139734523099035 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18935808 140726960870123 140726960870550 140726960870550 140726960873423 0
[pid=21428/tid=21442] ppid=21425 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21428/task/21442/stat : 21442 (java) S 21425 21425 19225 0 -1 1077944384 451 0 0 0 0 0 0 0 20 0 20 0 419418654 27969658880 31662 33554432000 4194304 4196468 140726960864352 139732775095152 139734523091586 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18935808 140726960870123 140726960870550 140726960870550 140726960873423 0
[pid=21428/tid=21443] ppid=21425 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21428/task/21443/stat : 21443 (java) S 21425 21425 19225 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 20 0 419418654 27969658880 31662 33554432000 4194304 4196468 140726960864352 139732774042352 139734523091586 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18935808 140726960870123 140726960870550 140726960870550 140726960873423 0
[pid=21428/tid=21444] ppid=21425 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21428/task/21444/stat : 21444 (java) S 21425 21425 19225 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419418654 27969658880 31662 33554432000 4194304 4196468 140726960864352 139732772989552 139734523091586 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18935808 140726960870123 140726960870550 140726960870550 140726960873423 0
[pid=21428/tid=21445] ppid=21425 vsize=27314120 memory=0 CPUtime=0.02 cores=0-7
/proc/21428/task/21445/stat : 21445 (java) S 21425 21425 19225 0 -1 1077944384 445 0 0 0 2 0 0 0 20 0 20 0 419418654 27969658880 31662 33554432000 4194304 4196468 140726960864352 139732771936752 139734523091586 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18935808 140726960870123 140726960870550 140726960870550 140726960873423 0
[pid=21428/tid=21446] ppid=21425 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21428/task/21446/stat : 21446 (java) S 21425 21425 19225 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419418654 27969658880 31662 33554432000 4194304 4196468 140726960864352 139731258042976 139734523090645 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18935808 140726960870123 140726960870550 140726960870550 140726960873423 0
[pid=21428/tid=21447] ppid=21425 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/21428/task/21447/stat : 21447 (java) S 21425 21425 19225 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419418655 27969658880 31662 33554432000 4194304 4196468 140726960864352 139732770884144 139734523091586 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18935808 140726960870123 140726960870550 140726960870550 140726960873423 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 128044 KiB

[startup+0.309703 s]*
/proc/loadavg: 4.81 6.24 7.04 2/211 21447
/proc/meminfo: memFree=30864824/32770624 swapFree=66935256/67108860
[pid=21425] ppid=21422 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/21425/stat : 21425 (scop.sh) S 21422 21425 19225 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 419418646 115843072 349 33554432000 4194304 5098028 140732973551776 140732973549032 140021673841276 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 22802432 140732973556517 140732973556844 140732973556844 140732973559757 0
/proc/21425/statm: 28282 349 296 221 0 87 0
[pid=21428] ppid=21425 vsize=27314120 memory=130252 CPUtime=0.42 cores=0-7
/proc/21428/stat : 21428 (java) S 21425 21425 19225 0 -1 1077944320 12404 0 0 0 38 4 0 0 20 0 20 0 419418647 27969658880 32563 33554432000 4194304 4196468 140726960864352 140726960846896 139734523080439 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18935808 140726960870123 140726960870550 140726960870550 140726960873423 0
/proc/21428/statm: 6828530 32563 3027 1 0 6790935 0
[pid=21428/tid=21429] ppid=21425 vsize=27314120 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/21428/task/21429/stat : 21429 (java) R 21425 21425 19225 0 -1 4202560 9968 0 0 0 26 3 0 0 20 0 20 0 419418647 27969658880 32563 33554432000 4194304 4196468 140726960864352 139734494906208 139734503356217 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18935808 140726960870123 140726960870550 140726960870550 140726960873423 0
[pid=21428/tid=21430] ppid=21425 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21428/task/21430/stat : 21430 (java) S 21425 21425 19225 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419418649 27969658880 32563 33554432000 4194304 4196468 140726960864352 139734527322768 139734523090645 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18935808 140726960870123 140726960870550 140726960870550 140726960873423 0
[pid=21428/tid=21431] ppid=21425 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21428/task/21431/stat : 21431 (java) S 21425 21425 19225 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419418649 27969658880 32563 33554432000 4194304 4196468 140726960864352 139733945448976 139734523090645 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18935808 140726960870123 140726960870550 140726960870550 140726960873423 0
[pid=21428/tid=21432] ppid=21425 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21428/task/21432/stat : 21432 (java) S 21425 21425 19225 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419418649 27969658880 32563 33554432000 4194304 4196468 140726960864352 139733944396176 139734523090645 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18935808 140726960870123 140726960870550 140726960870550 140726960873423 0
[pid=21428/tid=21433] ppid=21425 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21428/task/21433/stat : 21433 (java) S 21425 21425 19225 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419418649 27969658880 32563 33554432000 4194304 4196468 140726960864352 139733943343376 139734523090645 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18935808 140726960870123 140726960870550 140726960870550 140726960873423 0
[pid=21428/tid=21434] ppid=21425 vsize=27314120 memory=2244 CPUtime=0 cores=0-7
/proc/21428/task/21434/stat : 21434 (java) S 21425 21425 19225 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419418649 27969658880 32563 33554432000 4194304 4196468 140726960864352 139733942291600 139734523090645 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18935808 140726960870123 140726960870550 140726960870550 140726960873423 0
[pid=21428/tid=21435] ppid=21425 vsize=27314120 memory=140216656556975 CPUtime=0 cores=0-7
/proc/21428/task/21435/stat : 21435 (java) S 21425 21425 19225 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419418649 27969658880 32563 33554432000 4194304 4196468 140726960864352 139733941238800 139734523090645 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18935808 140726960870123 140726960870550 140726960870550 140726960873423 0
[pid=21428/tid=21436] ppid=21425 vsize=27314120 memory=140216656559280 CPUtime=0 cores=0-7
/proc/21428/task/21436/stat : 21436 (java) S 21425 21425 19225 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419418649 27969658880 32563 33554432000 4194304 4196468 140726960864352 139733940186000 139734523090645 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18935808 140726960870123 140726960870550 140726960870550 140726960873423 0
[pid=21428/tid=21437] ppid=21425 vsize=27314120 memory=140216656561584 CPUtime=0 cores=0-7
/proc/21428/task/21437/stat : 21437 (java) S 21425 21425 19225 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419418649 27969658880 32563 33554432000 4194304 4196468 140726960864352 139733939133200 139734523090645 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18935808 140726960870123 140726960870550 140726960870550 140726960873423 0
[pid=21428/tid=21438] ppid=21425 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21428/task/21438/stat : 21438 (java) S 21425 21425 19225 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419418651 27969658880 32563 33554432000 4194304 4196468 140726960864352 139732776147312 139734523091586 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18935808 140726960870123 140726960870550 140726960870550 140726960873423 0
[pid=21428/tid=21439] ppid=21425 vsize=27314120 memory=280433313130128 CPUtime=0 cores=0-7
/proc/21428/task/21439/stat : 21439 (java) S 21425 21425 19225 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419418651 27969658880 32563 33554432000 4194304 4196468 140726960864352 139732398892064 139734523090645 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18935808 140726960870123 140726960870550 140726960870550 140726960873423 0
[pid=21428/tid=21440] ppid=21425 vsize=27314120 memory=280433313137040 CPUtime=0 cores=0-7
/proc/21428/task/21440/stat : 21440 (java) S 21425 21425 19225 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419418652 27969658880 32563 33554432000 4194304 4196468 140726960864352 139732130456432 139734523090645 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18935808 140726960870123 140726960870550 140726960870550 140726960873423 0
[pid=21428/tid=21441] ppid=21425 vsize=27314120 memory=280433313078320 CPUtime=0 cores=0-7
/proc/21428/task/21441/stat : 21441 (java) S 21425 21425 19225 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419418654 27969658880 32563 33554432000 4194304 4196468 140726960864352 139731755947856 139734523099035 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18935808 140726960870123 140726960870550 140726960870550 140726960873423 0
[pid=21428/tid=21442] ppid=21425 vsize=27314120 memory=280433313150864 CPUtime=0 cores=0-7
/proc/21428/task/21442/stat : 21442 (java) S 21425 21425 19225 0 -1 1077944384 465 0 0 0 0 0 0 0 20 0 20 0 419418654 27969658880 32563 33554432000 4194304 4196468 140726960864352 139732775095152 139734523091586 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18935808 140726960870123 140726960870550 140726960870550 140726960873423 0
[pid=21428/tid=21443] ppid=21425 vsize=27314120 memory=280433313157776 CPUtime=0.01 cores=0-7
/proc/21428/task/21443/stat : 21443 (java) R 21425 21425 19225 0 -1 4202560 66 0 0 0 1 0 0 0 20 0 20 0 419418654 27969658880 32563 33554432000 4194304 4196468 140726960864352 139732774042352 139734502327552 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18935808 140726960870123 140726960870550 140726960870550 140726960873423 0
[pid=21428/tid=21444] ppid=21425 vsize=27314120 memory=280433313155472 CPUtime=0.01 cores=0-7
/proc/21428/task/21444/stat : 21444 (java) S 21425 21425 19225 0 -1 1077944384 96 0 0 0 1 0 0 0 20 0 20 0 419418654 27969658880 32563 33554432000 4194304 4196468 140726960864352 139732772989552 139734523091586 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18935808 140726960870123 140726960870550 140726960870550 140726960873423 0
[pid=21428/tid=21445] ppid=21425 vsize=27314120 memory=280433313171632 CPUtime=0.07 cores=0-7
/proc/21428/task/21445/stat : 21445 (java) S 21425 21425 19225 0 -1 1077944384 468 0 0 0 7 0 0 0 20 0 20 0 419418654 27969658880 32563 33554432000 4194304 4196468 140726960864352 139732771936752 139734523091586 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18935808 140726960870123 140726960870550 140726960870550 140726960873423 0
[pid=21428/tid=21446] ppid=21425 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21428/task/21446/stat : 21446 (java) S 21425 21425 19225 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419418654 27969658880 32628 33554432000 4194304 4196468 140726960864352 139731258042976 139734523090645 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18935808 140726960870123 140726960870550 140726960870550 140726960873423 0
[pid=21428/tid=21447] ppid=21425 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/21428/task/21447/stat : 21447 (java) S 21425 21425 19225 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419418655 27969658880 32628 33554432000 4194304 4196468 140726960864352 139732770884144 139734523091586 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18935808 140726960870123 140726960870550 140726960870550 140726960873423 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 131648 KiB

[startup+0.700874 s]
/proc/loadavg: 4.81 6.24 7.04 3/211 21447
/proc/meminfo: memFree=30843616/32770624 swapFree=66935256/67108860
[pid=21425] ppid=21422 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/21425/stat : 21425 (scop.sh) S 21422 21425 19225 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 419418646 115843072 349 33554432000 4194304 5098028 140732973551776 140732973549032 140021673841276 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 22802432 140732973556517 140732973556844 140732973556844 140732973559757 0
/proc/21425/statm: 28282 349 296 221 0 87 0
[pid=21428] ppid=21425 vsize=27320392 memory=167176 CPUtime=1 cores=0-7
/proc/21428/stat : 21428 (java) S 21425 21425 19225 0 -1 1077944320 19906 0 0 0 94 6 0 0 20 0 20 0 419418647 27976081408 41794 33554432000 4194304 4196468 140726960864352 140726960846896 139734523080439 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18935808 140726960870123 140726960870550 140726960870550 140726960873423 0
/proc/21428/statm: 6830098 41794 3163 1 0 6791447 0
[pid=21428/tid=21429] ppid=21425 vsize=27320392 memory=280433313466560 CPUtime=0.68 cores=0-7
/proc/21428/task/21429/stat : 21429 (java) R 21425 21425 19225 0 -1 4202560 16885 0 0 0 63 5 0 0 20 0 20 0 419418647 27976081408 41794 33554432000 4194304 4196468 140726960864352 139734494916464 139734028635905 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18935808 140726960870123 140726960870550 140726960870550 140726960873423 0
[pid=21428/tid=21430] ppid=21425 vsize=27320392 memory=5076651345044 CPUtime=0 cores=0-7
/proc/21428/task/21430/stat : 21430 (java) S 21425 21425 19225 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419418649 27976081408 41794 33554432000 4194304 4196468 140726960864352 139734527322768 139734523090645 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18935808 140726960870123 140726960870550 140726960870550 140726960873423 0
[pid=21428/tid=21431] ppid=21425 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/21428/task/21431/stat : 21431 (java) S 21425 21425 19225 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419418649 27976081408 41794 33554432000 4194304 4196468 140726960864352 139733945448976 139734523090645 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18935808 140726960870123 140726960870550 140726960870550 140726960873423 0
[pid=21428/tid=21432] ppid=21425 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/21428/task/21432/stat : 21432 (java) S 21425 21425 19225 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419418649 27976081408 41794 33554432000 4194304 4196468 140726960864352 139733944396176 139734523090645 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18935808 140726960870123 140726960870550 140726960870550 140726960873423 0

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

[pid=21500/tid=21501] ppid=21425 vsize=8414124 memory=8322830896182033294 CPUtime=0.78 cores=0-7
/proc/21500/task/21501/stat : 21501 (java) S 21425 21425 19225 0 -1 1077944384 17407 0 0 0 72 6 0 0 20 0 24 0 419486909 8616062976 33085 33554432000 4194304 4196468 140730518475792 140092032855968 140092061026005 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31748096 140730518479863 140730518480022 140730518480022 140730518482895 0
[pid=21500/tid=21502] ppid=21425 vsize=8414124 memory=-7003737579269690708 CPUtime=0 cores=0-7
/proc/21500/task/21502/stat : 21502 (java) S 21425 21425 19225 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419486911 8616062976 33085 33554432000 4194304 4196468 140730518475792 140092065258128 140092061026005 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31748096 140730518479863 140730518480022 140730518480022 140730518482895 0
[pid=21500/tid=21503] ppid=21425 vsize=8414124 memory=1420 CPUtime=0 cores=0-7
/proc/21500/task/21503/stat : 21503 (java) S 21425 21425 19225 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419486911 8616062976 33085 33554432000 4194304 4196468 140730518475792 140091865426448 140092061026005 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31748096 140730518479863 140730518480022 140730518480022 140730518482895 0
[pid=21500/tid=21504] ppid=21425 vsize=8414124 memory=1984 CPUtime=0 cores=0-7
/proc/21500/task/21504/stat : 21504 (java) S 21425 21425 19225 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419486911 8616062976 33085 33554432000 4194304 4196468 140730518475792 140091864373648 140092061026005 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31748096 140730518479863 140730518480022 140730518480022 140730518482895 0
[pid=21500/tid=21505] ppid=21425 vsize=8414124 memory=504 CPUtime=0 cores=0-7
/proc/21500/task/21505/stat : 21505 (java) S 21425 21425 19225 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419486911 8616062976 33085 33554432000 4194304 4196468 140730518475792 140091863320848 140092061026005 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31748096 140730518479863 140730518480022 140730518480022 140730518482895 0
[pid=21500/tid=21506] ppid=21425 vsize=8414124 memory=1564 CPUtime=0 cores=0-7
/proc/21500/task/21506/stat : 21506 (java) S 21425 21425 19225 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419486911 8616062976 33085 33554432000 4194304 4196468 140730518475792 140091862269072 140092061026005 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31748096 140730518479863 140730518480022 140730518480022 140730518482895 0
[pid=21500/tid=21507] ppid=21425 vsize=8414124 memory=924 CPUtime=0 cores=0-7
/proc/21500/task/21507/stat : 21507 (java) S 21425 21425 19225 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419486911 8616062976 33085 33554432000 4194304 4196468 140730518475792 140091861216272 140092061026005 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31748096 140730518479863 140730518480022 140730518480022 140730518482895 0
[pid=21500/tid=21508] ppid=21425 vsize=8414124 memory=1420 CPUtime=0 cores=0-7
/proc/21500/task/21508/stat : 21508 (java) S 21425 21425 19225 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419486911 8616062976 33085 33554432000 4194304 4196468 140730518475792 140091860163472 140092061026005 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31748096 140730518479863 140730518480022 140730518480022 140730518482895 0
[pid=21500/tid=21509] ppid=21425 vsize=8414124 memory=1564 CPUtime=0 cores=0-7
/proc/21500/task/21509/stat : 21509 (java) S 21425 21425 19225 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419486911 8616062976 33085 33554432000 4194304 4196468 140730518475792 140091859110672 140092061026005 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31748096 140730518479863 140730518480022 140730518480022 140730518482895 0
[pid=21500/tid=21510] ppid=21425 vsize=8414124 memory=976 CPUtime=0 cores=0-7
/proc/21500/task/21510/stat : 21510 (java) S 21425 21425 19225 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 419486912 8616062976 33085 33554432000 4194304 4196468 140730518475792 140091154458992 140092061026946 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31748096 140730518479863 140730518480022 140730518480022 140730518482895 0
[pid=21500/tid=21511] ppid=21425 vsize=8414124 memory=772 CPUtime=0 cores=0-7
/proc/21500/task/21511/stat : 21511 (java) S 21425 21425 19225 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 419486913 8616062976 33085 33554432000 4194304 4196468 140730518475792 140090693116960 140092061026005 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31748096 140730518479863 140730518480022 140730518480022 140730518482895 0
[pid=21500/tid=21512] ppid=21425 vsize=8414124 memory=3932 CPUtime=0 cores=0-7
/proc/21500/task/21512/stat : 21512 (java) S 21425 21425 19225 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419486913 8616062976 33085 33554432000 4194304 4196468 140730518475792 140090424681328 140092061026005 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31748096 140730518479863 140730518480022 140730518480022 140730518482895 0
[pid=21500/tid=21513] ppid=21425 vsize=8414124 memory=2832 CPUtime=0 cores=0-7
/proc/21500/task/21513/stat : 21513 (java) S 21425 21425 19225 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419486916 8616062976 33085 33554432000 4194304 4196468 140730518475792 140090050172752 140092061034395 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31748096 140730518479863 140730518480022 140730518480022 140730518482895 0
[pid=21500/tid=21514] ppid=21425 vsize=8414124 memory=6791534058613427641 CPUtime=0.09 cores=0-7
/proc/21500/task/21514/stat : 21514 (java) S 21425 21425 19225 0 -1 1077944384 757 0 0 0 9 0 0 0 20 0 24 0 419486916 8616062976 33085 33554432000 4194304 4196468 140730518475792 140091153406832 140092061026946 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31748096 140730518479863 140730518480022 140730518480022 140730518482895 0
[pid=21500/tid=21515] ppid=21425 vsize=8414124 memory=5234000 CPUtime=0.08 cores=0-7
/proc/21500/task/21515/stat : 21515 (java) S 21425 21425 19225 0 -1 1077944384 388 0 0 0 8 0 0 0 20 0 24 0 419486916 8616062976 33085 33554432000 4194304 4196468 140730518475792 140091152354032 140092061026946 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31748096 140730518479863 140730518480022 140730518480022 140730518482895 0
[pid=21500/tid=21516] ppid=21425 vsize=8414124 memory=5228972 CPUtime=0.07 cores=0-7
/proc/21500/task/21516/stat : 21516 (java) S 21425 21425 19225 0 -1 1077944384 355 0 0 0 7 0 0 0 20 0 24 0 419486916 8616062976 33085 33554432000 4194304 4196468 140730518475792 140091151301232 140092061026946 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31748096 140730518479863 140730518480022 140730518480022 140730518482895 0
[pid=21500/tid=21517] ppid=21425 vsize=8414124 memory=-7003737579269690708 CPUtime=0.25 cores=0-7
/proc/21500/task/21517/stat : 21517 (java) S 21425 21425 19225 0 -1 1077944384 1211 0 0 0 25 0 0 0 20 0 24 0 419486916 8616062976 33085 33554432000 4194304 4196468 140730518475792 140091150248432 140092061026946 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31748096 140730518479863 140730518480022 140730518480022 140730518482895 0
[pid=21500/tid=21518] ppid=21425 vsize=8414124 memory=7888 CPUtime=0 cores=0-7
/proc/21500/task/21518/stat : 21518 (java) S 21425 21425 19225 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419486916 8616062976 33085 33554432000 4194304 4196468 140730518475792 140089552267872 140092061026005 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31748096 140730518479863 140730518480022 140730518480022 140730518482895 0
[pid=21500/tid=21519] ppid=21425 vsize=8414124 memory=504 CPUtime=0.01 cores=0-7
/proc/21500/task/21519/stat : 21519 (java) S 21425 21425 19225 0 -1 1077944384 3 0 0 0 1 0 0 0 20 0 24 0 419486916 8616062976 33085 33554432000 4194304 4196468 140730518475792 140091149195824 140092061026946 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31748096 140730518479863 140730518480022 140730518480022 140730518482895 0
[pid=21500/tid=21521] ppid=21425 vsize=8414124 memory=1564 CPUtime=0 cores=0-7
/proc/21500/task/21521/stat : 21521 (java) S 21425 21425 19225 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 419486985 8616062976 33085 33554432000 4194304 4196468 140730518475792 140091141162048 140092061040409 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 31748096 140730518479863 140730518480022 140730518480022 140730518482895 0
[pid=21500/tid=21523] ppid=21425 vsize=8414124 memory=924 CPUtime=0.04 cores=0-7
/proc/21500/task/21523/stat : 21523 (java) S 21425 21425 19225 0 -1 4202560 19 0 0 0 4 0 0 0 20 0 24 0 419486985 8616062976 33085 33554432000 4194304 4196468 140730518475792 140088881168512 140092061037725 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 31748096 140730518479863 140730518480022 140730518480022 140730518482895 0
[pid=21500/tid=21524] ppid=21425 vsize=8414124 memory=1420 CPUtime=0 cores=0-7
/proc/21500/task/21524/stat : 21524 (java) S 21425 21425 19225 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 419486985 8616062976 33085 33554432000 4194304 4196468 140730518475792 140089149603888 140092061037725 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 31748096 140730518479863 140730518480022 140730518480022 140730518482895 0
[pid=21500/tid=21525] ppid=21425 vsize=8414124 memory=1984 CPUtime=0 cores=0-7
/proc/21500/task/21525/stat : 21525 (java) S 21425 21425 19225 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419486987 8616062976 33085 33554432000 4194304 4196468 140730518475792 140088612740656 140092061026005 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31748096 140730518479863 140730518480022 140730518480022 140730518482895 0
Current children cumulated CPU time: 877.55 s
Current children cumulated vsize: 14395444 KiB
Current children cumulated memory: 5400440 KiB

[startup+708.401 s]
/proc/loadavg: 1.02 1.54 3.87 3/216 21529
/proc/meminfo: memFree=24556020/32770624 swapFree=66935264/67108860
[pid=21425] ppid=21422 vsize=113128 memory=1476 CPUtime=848.02 cores=0-7
/proc/21425/stat : 21425 (scop.sh) S 21422 21425 19225 0 -1 4202496 581 262784 0 0 0 0 81652 3150 20 0 1 0 419418646 115843072 369 33554432000 4194304 5098028 140732973551776 140732973548520 140021673841276 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 22802432 140732973556517 140732973556844 140732973556844 140732973559757 0
/proc/21425/statm: 28282 369 311 221 0 87 0
[pid=21500] ppid=21425 vsize=8283048 memory=264944 CPUtime=30.39 cores=0-7
/proc/21500/stat : 21500 (java) S 21425 21425 19225 0 -1 1077944320 21950 1738530 0 0 185 11 2499 344 20 0 22 0 419486909 8481841152 66236 33554432000 4194304 4196468 140730518475792 140730518458336 140092061015799 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 31748096 140730518479863 140730518480022 140730518480022 140730518482895 0
/proc/21500/statm: 2070762 66236 3231 1 0 2032106 0
[pid=21500/tid=21501] ppid=21425 vsize=8283048 memory=5262064 CPUtime=29.28 cores=0-7
/proc/21500/task/21501/stat : 21501 (java) R 21425 21425 19225 0 -1 4202560 17540 1738530 0 0 79 6 2499 344 20 0 22 0 419486909 8481841152 66236 33554432000 4194304 4196468 140730518475792 140092032851520 140091515284939 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 31748096 140730518479863 140730518480022 140730518480022 140730518482895 0
[pid=21500/tid=21502] ppid=21425 vsize=8283048 memory=5866898815371733858 CPUtime=28.43 cores=0-7
/proc/21500/task/21502/stat : 21502 (java) S 21425 21425 19225 0 -1 1077944384 1 1738530 0 0 0 0 2499 344 20 0 22 0 419486911 8481841152 66236 33554432000 4194304 4196468 140730518475792 140092065258128 140092061026005 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31748096 140730518479863 140730518480022 140730518480022 140730518482895 0
[pid=21500/tid=21503] ppid=21425 vsize=8283048 memory=7594035873765806934 CPUtime=28.43 cores=0-7
/proc/21500/task/21503/stat : 21503 (java) S 21425 21425 19225 0 -1 1077944384 2 1738530 0 0 0 0 2499 344 20 0 22 0 419486911 8481841152 66236 33554432000 4194304 4196468 140730518475792 140091865426448 140092061026005 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31748096 140730518479863 140730518480022 140730518480022 140730518482895 0
[pid=21500/tid=21504] ppid=21425 vsize=8283048 memory=7888 CPUtime=28.43 cores=0-7
/proc/21500/task/21504/stat : 21504 (java) S 21425 21425 19225 0 -1 1077944384 2 1738530 0 0 0 0 2499 344 20 0 22 0 419486911 8481841152 66236 33554432000 4194304 4196468 140730518475792 140091864373648 140092061026005 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31748096 140730518479863 140730518480022 140730518480022 140730518482895 0
[pid=21500/tid=21505] ppid=21425 vsize=8283048 memory=504 CPUtime=28.43 cores=0-7
/proc/21500/task/21505/stat : 21505 (java) S 21425 21425 19225 0 -1 1077944384 2 1738530 0 0 0 0 2499 344 20 0 22 0 419486911 8481841152 66236 33554432000 4194304 4196468 140730518475792 140091863320848 140092061026005 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31748096 140730518479863 140730518480022 140730518480022 140730518482895 0
[pid=21500/tid=21506] ppid=21425 vsize=8283048 memory=1564 CPUtime=28.43 cores=0-7
/proc/21500/task/21506/stat : 21506 (java) S 21425 21425 19225 0 -1 1077944384 2 1738530 0 0 0 0 2499 344 20 0 22 0 419486911 8481841152 66236 33554432000 4194304 4196468 140730518475792 140091862269072 140092061026005 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31748096 140730518479863 140730518480022 140730518480022 140730518482895 0
[pid=21500/tid=21507] ppid=21425 vsize=8283048 memory=924 CPUtime=28.43 cores=0-7
/proc/21500/task/21507/stat : 21507 (java) S 21425 21425 19225 0 -1 1077944384 1 1738530 0 0 0 0 2499 344 20 0 22 0 419486911 8481841152 66236 33554432000 4194304 4196468 140730518475792 140091861216272 140092061026005 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31748096 140730518479863 140730518480022 140730518480022 140730518482895 0
[pid=21500/tid=21508] ppid=21425 vsize=8283048 memory=1420 CPUtime=28.43 cores=0-7
/proc/21500/task/21508/stat : 21508 (java) S 21425 21425 19225 0 -1 1077944384 3 1738530 0 0 0 0 2499 344 20 0 22 0 419486911 8481841152 66236 33554432000 4194304 4196468 140730518475792 140091860163472 140092061026005 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31748096 140730518479863 140730518480022 140730518480022 140730518482895 0
[pid=21500/tid=21509] ppid=21425 vsize=8283048 memory=1984 CPUtime=28.43 cores=0-7
/proc/21500/task/21509/stat : 21509 (java) S 21425 21425 19225 0 -1 1077944384 1 1738530 0 0 0 0 2499 344 20 0 22 0 419486911 8481841152 66236 33554432000 4194304 4196468 140730518475792 140091859110672 140092061026005 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31748096 140730518479863 140730518480022 140730518480022 140730518482895 0
[pid=21500/tid=21510] ppid=21425 vsize=8283048 memory=2532 CPUtime=28.43 cores=0-7
/proc/21500/task/21510/stat : 21510 (java) S 21425 21425 19225 0 -1 1077944384 7 1738530 0 0 0 0 2499 344 20 0 22 0 419486912 8481841152 66236 33554432000 4194304 4196468 140730518475792 140091154458992 140092061026946 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31748096 140730518479863 140730518480022 140730518480022 140730518482895 0
[pid=21500/tid=21511] ppid=21425 vsize=8283048 memory=1440 CPUtime=28.43 cores=0-7
/proc/21500/task/21511/stat : 21511 (java) S 21425 21425 19225 0 -1 1077944384 13 1738530 0 0 0 0 2499 344 20 0 22 0 419486913 8481841152 66236 33554432000 4194304 4196468 140730518475792 140090693116960 140092061026005 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31748096 140730518479863 140730518480022 140730518480022 140730518482895 0
[pid=21500/tid=21512] ppid=21425 vsize=8283048 memory=812 CPUtime=28.43 cores=0-7
/proc/21500/task/21512/stat : 21512 (java) S 21425 21425 19225 0 -1 1077944384 1 1738530 0 0 0 0 2499 344 20 0 22 0 419486913 8481841152 66236 33554432000 4194304 4196468 140730518475792 140090424681328 140092061026005 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31748096 140730518479863 140730518480022 140730518480022 140730518482895 0
[pid=21500/tid=21513] ppid=21425 vsize=8283048 memory=1772 CPUtime=28.43 cores=0-7
/proc/21500/task/21513/stat : 21513 (java) S 21425 21425 19225 0 -1 1077944384 1 1738530 0 0 0 0 2499 344 20 0 22 0 419486916 8481841152 66236 33554432000 4194304 4196468 140730518475792 140090050172752 140092061034395 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31748096 140730518479863 140730518480022 140730518480022 140730518482895 0
[pid=21500/tid=21514] ppid=21425 vsize=8283048 memory=111632 CPUtime=28.58 cores=0-7
/proc/21500/task/21514/stat : 21514 (java) S 21425 21425 19225 0 -1 1077944384 802 1738530 0 0 15 0 2499 344 20 0 22 0 419486916 8481841152 66236 33554432000 4194304 4196468 140730518475792 140091153406832 140092061026946 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31748096 140730518479863 140730518480022 140730518480022 140730518482895 0
[pid=21500/tid=21515] ppid=21425 vsize=8283048 memory=804 CPUtime=28.57 cores=0-7
/proc/21500/task/21515/stat : 21515 (java) S 21425 21425 19225 0 -1 1077944384 411 1738530 0 0 14 0 2499 344 20 0 22 0 419486916 8481841152 66236 33554432000 4194304 4196468 140730518475792 140091152354032 140092061026946 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31748096 140730518479863 140730518480022 140730518480022 140730518482895 0
[pid=21500/tid=21516] ppid=21425 vsize=8283048 memory=1656 CPUtime=28.59 cores=0-7
/proc/21500/task/21516/stat : 21516 (java) S 21425 21425 19225 0 -1 1077944384 383 1738530 0 0 16 0 2499 344 20 0 22 0 419486916 8481841152 66236 33554432000 4194304 4196468 140730518475792 140091151301232 140092061026005 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31748096 140730518479863 140730518480022 140730518480022 140730518482895 0
[pid=21500/tid=21517] ppid=21425 vsize=8283048 memory=4096 CPUtime=28.72 cores=0-7
/proc/21500/task/21517/stat : 21517 (java) S 21425 21425 19225 0 -1 1077944384 1294 1738530 0 0 29 0 2499 344 20 0 22 0 419486916 8481841152 66236 33554432000 4194304 4196468 140730518475792 140091150248432 140092061026946 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31748096 140730518479863 140730518480022 140730518480022 140730518482895 0
[pid=21500/tid=21518] ppid=21425 vsize=8283048 memory=1808 CPUtime=28.43 cores=0-7
/proc/21500/task/21518/stat : 21518 (java) S 21425 21425 19225 0 -1 1077944384 3 1738530 0 0 0 0 2499 344 20 0 22 0 419486916 8481841152 66236 33554432000 4194304 4196468 140730518475792 140089552267872 140092061026005 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31748096 140730518479863 140730518480022 140730518480022 140730518482895 0
[pid=21500/tid=21519] ppid=21425 vsize=8283048 memory=920 CPUtime=28.44 cores=0-7
/proc/21500/task/21519/stat : 21519 (java) S 21425 21425 19225 0 -1 1077944384 3 1738530 0 0 1 0 2499 344 20 0 22 0 419486916 8481841152 66236 33554432000 4194304 4196468 140730518475792 140091149195824 140092061026946 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31748096 140730518479863 140730518480022 140730518480022 140730518482895 0
[pid=21500/tid=21521] ppid=21425 vsize=8283048 memory=4524 CPUtime=28.43 cores=0-7
/proc/21500/task/21521/stat : 21521 (java) S 21425 21425 19225 0 -1 1077944384 25 1738530 0 0 0 0 2499 344 20 0 22 0 419486985 8481841152 66236 33554432000 4194304 4196468 140730518475792 140091141161232 140092061026946 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31748096 140730518479863 140730518480022 140730518480022 140730518482895 0
[pid=21500/tid=21525] ppid=21425 vsize=8283048 memory=3404 CPUtime=28.43 cores=0-7
/proc/21500/task/21525/stat : 21525 (java) S 21425 21425 19225 0 -1 1077944384 10 1738530 0 0 0 0 2499 344 20 0 22 0 419486987 8481841152 66236 33554432000 4194304 4196468 140730518475792 140088612742448 140092061026946 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31748096 140730518479863 140730518480022 140730518480022 140730518482895 0
Current children cumulated CPU time: 878.41 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 266420 KiB

[startup+708.601 s]
/proc/loadavg: 1.02 1.54 3.87 3/216 21529
/proc/meminfo: memFree=24556020/32770624 swapFree=66935264/67108860
[pid=21425] ppid=21422 vsize=113128 memory=1476 CPUtime=848.02 cores=0-7
/proc/21425/stat : 21425 (scop.sh) S 21422 21425 19225 0 -1 4202496 581 262784 0 0 0 0 81652 3150 20 0 1 0 419418646 115843072 369 33554432000 4194304 5098028 140732973551776 140732973548520 140021673841276 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 22802432 140732973556517 140732973556844 140732973556844 140732973559757 0
/proc/21425/statm: 28282 369 311 221 0 87 0
[pid=21500] ppid=21425 vsize=8283048 memory=270520 CPUtime=30.72 cores=0-7
/proc/21500/stat : 21500 (java) S 21425 21425 19225 0 -1 1077944320 22273 1738530 0 0 207 22 2499 344 20 0 22 0 419486909 8481841152 67630 33554432000 4194304 4196468 140730518475792 140730518458336 140092061015799 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 31748096 140730518479863 140730518480022 140730518480022 140730518482895 0
/proc/21500/statm: 2070762 67630 3233 1 0 2032106 0
[pid=21500/tid=21501] ppid=21425 vsize=8283048 memory=120544 CPUtime=29.48 cores=0-7
/proc/21500/task/21501/stat : 21501 (java) R 21425 21425 19225 0 -1 4202560 17672 1738530 0 0 89 16 2499 344 20 0 22 0 419486909 8481841152 67630 33554432000 4194304 4196468 140730518475792 140092032853696 140092053701431 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 31748096 140730518479863 140730518480022 140730518480022 140730518482895 0
[pid=21500/tid=21502] ppid=21425 vsize=8283048 memory=5225316 CPUtime=28.43 cores=0-7
/proc/21500/task/21502/stat : 21502 (java) S 21425 21425 19225 0 -1 1077944384 1 1738530 0 0 0 0 2499 344 20 0 22 0 419486911 8481841152 67630 33554432000 4194304 4196468 140730518475792 140092065258128 140092061026005 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31748096 140730518479863 140730518480022 140730518480022 140730518482895 0
[pid=21500/tid=21503] ppid=21425 vsize=8283048 memory=6791534058613427641 CPUtime=28.43 cores=0-7
/proc/21500/task/21503/stat : 21503 (java) S 21425 21425 19225 0 -1 1077944384 2 1738530 0 0 0 0 2499 344 20 0 22 0 419486911 8481841152 67630 33554432000 4194304 4196468 140730518475792 140091865426448 140092061026005 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31748096 140730518479863 140730518480022 140730518480022 140730518482895 0
[pid=21500/tid=21504] ppid=21425 vsize=8283048 memory=7594035873765806934 CPUtime=28.43 cores=0-7
/proc/21500/task/21504/stat : 21504 (java) S 21425 21425 19225 0 -1 1077944384 2 1738530 0 0 0 0 2499 344 20 0 22 0 419486911 8481841152 67630 33554432000 4194304 4196468 140730518475792 140091864373648 140092061026005 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31748096 140730518479863 140730518480022 140730518480022 140730518482895 0
[pid=21500/tid=21505] ppid=21425 vsize=8283048 memory=7594035873765806934 CPUtime=28.43 cores=0-7
/proc/21500/task/21505/stat : 21505 (java) S 21425 21425 19225 0 -1 1077944384 2 1738530 0 0 0 0 2499 344 20 0 22 0 419486911 8481841152 67630 33554432000 4194304 4196468 140730518475792 140091863320848 140092061026005 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31748096 140730518479863 140730518480022 140730518480022 140730518482895 0
[pid=21500/tid=21506] ppid=21425 vsize=8283048 memory=5866898815371733858 CPUtime=28.43 cores=0-7
/proc/21500/task/21506/stat : 21506 (java) S 21425 21425 19225 0 -1 1077944384 2 1738530 0 0 0 0 2499 344 20 0 22 0 419486911 8481841152 67630 33554432000 4194304 4196468 140730518475792 140091862269072 140092061026005 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31748096 140730518479863 140730518480022 140730518480022 140730518482895 0
[pid=21500/tid=21507] ppid=21425 vsize=8283048 memory=7588964947479979115 CPUtime=28.43 cores=0-7
/proc/21500/task/21507/stat : 21507 (java) S 21425 21425 19225 0 -1 1077944384 1 1738530 0 0 0 0 2499 344 20 0 22 0 419486911 8481841152 67630 33554432000 4194304 4196468 140730518475792 140091861216272 140092061026005 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31748096 140730518479863 140730518480022 140730518480022 140730518482895 0
[pid=21500/tid=21508] ppid=21425 vsize=8283048 memory=5866898815371733858 CPUtime=28.43 cores=0-7
/proc/21500/task/21508/stat : 21508 (java) S 21425 21425 19225 0 -1 1077944384 3 1738530 0 0 0 0 2499 344 20 0 22 0 419486911 8481841152 67630 33554432000 4194304 4196468 140730518475792 140091860163472 140092061026005 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31748096 140730518479863 140730518480022 140730518480022 140730518482895 0
[pid=21500/tid=21509] ppid=21425 vsize=8283048 memory=7594035873765806934 CPUtime=28.43 cores=0-7
/proc/21500/task/21509/stat : 21509 (java) S 21425 21425 19225 0 -1 1077944384 1 1738530 0 0 0 0 2499 344 20 0 22 0 419486911 8481841152 67630 33554432000 4194304 4196468 140730518475792 140091859110672 140092061026005 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31748096 140730518479863 140730518480022 140730518480022 140730518482895 0
[pid=21500/tid=21510] ppid=21425 vsize=8283048 memory=5859535235326444939 CPUtime=28.43 cores=0-7
/proc/21500/task/21510/stat : 21510 (java) S 21425 21425 19225 0 -1 1077944384 7 1738530 0 0 0 0 2499 344 20 0 22 0 419486912 8481841152 67630 33554432000 4194304 4196468 140730518475792 140091154458992 140092061026946 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31748096 140730518479863 140730518480022 140730518480022 140730518482895 0
[pid=21500/tid=21511] ppid=21425 vsize=8283048 memory=-8961168018402230209 CPUtime=28.43 cores=0-7
/proc/21500/task/21511/stat : 21511 (java) S 21425 21425 19225 0 -1 1077944384 13 1738530 0 0 0 0 2499 344 20 0 22 0 419486913 8481841152 67630 33554432000 4194304 4196468 140730518475792 140090693116960 140092061026005 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31748096 140730518479863 140730518480022 140730518480022 140730518482895 0
[pid=21500/tid=21512] ppid=21425 vsize=8283048 memory=-8253362762722141311 CPUtime=28.43 cores=0-7
/proc/21500/task/21512/stat : 21512 (java) S 21425 21425 19225 0 -1 1077944384 1 1738530 0 0 0 0 2499 344 20 0 22 0 419486913 8481841152 67630 33554432000 4194304 4196468 140730518475792 140090424681328 140092061026005 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31748096 140730518479863 140730518480022 140730518480022 140730518482895 0
[pid=21500/tid=21513] ppid=21425 vsize=8283048 memory=7100839861465685612 CPUtime=28.43 cores=0-7
/proc/21500/task/21513/stat : 21513 (java) S 21425 21425 19225 0 -1 1077944384 1 1738530 0 0 0 0 2499 344 20 0 22 0 419486916 8481841152 67630 33554432000 4194304 4196468 140730518475792 140090050172752 140092061034395 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31748096 140730518479863 140730518480022 140730518480022 140730518482895 0
[pid=21500/tid=21514] ppid=21425 vsize=8283048 memory=-7175204567652784766 CPUtime=28.59 cores=0-7
/proc/21500/task/21514/stat : 21514 (java) S 21425 21425 19225 0 -1 1077944384 810 1738530 0 0 16 0 2499 344 20 0 22 0 419486916 8481841152 67630 33554432000 4194304 4196468 140730518475792 140091153406832 140092061026946 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31748096 140730518479863 140730518480022 140730518480022 140730518482895 0
[pid=21500/tid=21515] ppid=21425 vsize=8283048 memory=-8412660948202001267 CPUtime=28.58 cores=0-7
/proc/21500/task/21515/stat : 21515 (java) S 21425 21425 19225 0 -1 1077944384 422 1738530 0 0 15 0 2499 344 20 0 22 0 419486916 8481841152 67630 33554432000 4194304 4196468 140730518475792 140091152354032 140092061026946 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31748096 140730518479863 140730518480022 140730518480022 140730518482895 0
[pid=21500/tid=21516] ppid=21425 vsize=8283048 memory=-6520471753822164382 CPUtime=28.62 cores=0-7
/proc/21500/task/21516/stat : 21516 (java) S 21425 21425 19225 0 -1 1077944384 409 1738530 0 0 19 0 2499 344 20 0 22 0 419486916 8481841152 67630 33554432000 4194304 4196468 140730518475792 140091151301232 140092061026946 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31748096 140730518479863 140730518480022 140730518480022 140730518482895 0
[pid=21500/tid=21517] ppid=21425 vsize=8283048 memory=-8412656567318647667 CPUtime=28.78 cores=0-7
/proc/21500/task/21517/stat : 21517 (java) S 21425 21425 19225 0 -1 1077944384 1440 1738530 0 0 35 0 2499 344 20 0 22 0 419486916 8481841152 67630 33554432000 4194304 4196468 140730518475792 140091150248432 140092061026946 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31748096 140730518479863 140730518480022 140730518480022 140730518482895 0
[pid=21500/tid=21518] ppid=21425 vsize=8283048 memory=-8707038579349950309 CPUtime=28.43 cores=0-7
/proc/21500/task/21518/stat : 21518 (java) S 21425 21425 19225 0 -1 1077944384 3 1738530 0 0 0 0 2499 344 20 0 22 0 419486916 8481841152 67630 33554432000 4194304 4196468 140730518475792 140089552267872 140092061026005 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31748096 140730518479863 140730518480022 140730518480022 140730518482895 0
[pid=21500/tid=21519] ppid=21425 vsize=8283048 memory=-8341965534556230502 CPUtime=28.44 cores=0-7
/proc/21500/task/21519/stat : 21519 (java) S 21425 21425 19225 0 -1 1077944384 3 1738530 0 0 1 0 2499 344 20 0 22 0 419486916 8481841152 67630 33554432000 4194304 4196468 140730518475792 140091149195824 140092061026946 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31748096 140730518479863 140730518480022 140730518480022 140730518482895 0
[pid=21500/tid=21521] ppid=21425 vsize=8283048 memory=9047017150487036571 CPUtime=28.43 cores=0-7
/proc/21500/task/21521/stat : 21521 (java) S 21425 21425 19225 0 -1 1077944384 25 1738530 0 0 0 0 2499 344 20 0 22 0 419486985 8481841152 67630 33554432000 4194304 4196468 140730518475792 140091141161232 140092061026946 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31748096 140730518479863 140730518480022 140730518480022 140730518482895 0
[pid=21500/tid=21525] ppid=21425 vsize=8283048 memory=7822038051842261661 CPUtime=28.43 cores=0-7
/proc/21500/task/21525/stat : 21525 (java) S 21425 21425 19225 0 -1 1077944384 10 1738530 0 0 0 0 2499 344 20 0 22 0 419486987 8481841152 67630 33554432000 4194304 4196468 140730518475792 140088612742448 140092061026946 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31748096 140730518479863 140730518480022 140730518480022 140730518482895 0
Current children cumulated CPU time: 878.74 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 271996 KiB

Child status: 0
Real time (s): 708.646
CPU time (s): 878.815
CPU user time (s): 843.594
CPU system time (s): 35.2213
CPU usage (%): 124.013
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 17507876

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 843.594
system time used= 35.2213
maximum resident set size= 17507072
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2024209
page faults= 0
swaps= 0
block input operations= 8
block output operations= 2018392
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 47431
involuntary context switches= 3097


# summary of solver processes directly reported to runsolver:
#   pid: 21425
#   total CPU time (s): 878.815
#   total CPU user time (s): 843.594
#   total CPU system time (s): 35.2213

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.6814 second user time and 6.99629 second system time

The end

Launcher Data 

Begin job on node151 at 2019-09-14 05:23:53
IDJOB=4392295
IDBENCH=130877
IDSOLVER=2838
FILE ID=node151/4392295-1568431472
RUNJOBID= node151-1568430672-19252
PBS_JOBID= 21702312
Free space on /tmp= 59308 MiB

SOLVER NAME= Fun-sCOP order+ManyGlucose (2019-06-15)
BENCH NAME= XCSP17/Subisomorphism/Subisomorphism-m1-si4-m4D/Subisomorphism-si4-m4D-m625-05.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 /tmp/evaluation-result-4392295-1568431472/watcher-4392295-1568431472 -o /tmp/evaluation-result-4392295-1568431472/solver-4392295-1568431472 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node151-1568430672-19252 --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-4392295-1568431472.xml

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

MD5SUM BENCH= a06e274e1d637d430249b010d1ea7ff6
RANDOM SEED=416129086

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        30984560 kB
MemAvailable:   31854856 kB
Buffers:          185020 kB
Cached:           977072 kB
SwapCached:        71068 kB
Active:           637172 kB
Inactive:         599284 kB
Active(anon):      10080 kB
Inactive(anon):    96932 kB
Active(file):     627092 kB
Inactive(file):   502352 kB
Unevictable:      110868 kB
Mlocked:          110868 kB
SwapTotal:      67108860 kB
SwapFree:       66935256 kB
Dirty:             20628 kB
Writeback:             0 kB
AnonPages:        113132 kB
Mapped:            37696 kB
Shmem:             24488 kB
Slab:             142260 kB
SReclaimable:     113376 kB
SUnreclaim:        28884 kB
KernelStack:        3360 kB
PageTables:         4360 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     498504 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     69632 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      138624 kB
DirectMap2M:    33406976 kB

Free space on /tmp at the end= 59288 MiB
End job on node151 at 2019-09-14 05:35:42