Trace number 4387989

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+GlueMiniSat (2019-06-15)SAT 189.745 154.238

General information on the benchmark

NameSubisomorphism/Subisomorphism-m1-SF/
Subisomorphism-A-20.xml
MD5SUMc3d3968bb4d1a566be21f2b70665db2a
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.041556
Satisfiable
(Un)Satisfiability was proved
Number of variables180
Number of constraints563
Number of domains1
Minimum domain size200
Maximum domain size200
Distribution of domain sizes[{"size":200,"count":180}]
Minimum variable degree3
Maximum variable degree10
Distribution of variable degrees[{"degree":3,"count":1},{"degree":4,"count":11},{"degree":5,"count":27},{"degree":6,"count":64},{"degree":8,"count":42},{"degree":9,"count":25},{"degree":10,"count":10}]
Minimum constraint arity1
Maximum constraint arity180
Distribution of constraint arities[{"arity":1,"count":77},{"arity":2,"count":485},{"arity":180,"count":1}]
Number of extensional constraints562
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":562},{"type":"allDifferent","count":1}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c (scop.sh) java -Xms11g -Xmx11g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Encode -order -solver HOME/glueminisat-simp-2.2.10-193oa-n-release -solverOption -model:-verb=3:-elim-cl=5000000:-native-oa -tmp HOME -serialFile HOME/scop-18225-serial-file.bin HOME/instance-4387989-1568293334.xml
0.66/0.54	
0.66/0.54	Fun-sCOP order+glueminisat-simp-2.2.10-193oa-n-release (2019-06-15)
0.66/0.54	
0.66/0.56	c BEGIN-Prog: Thu Sep 12 15:01:35 CEST 2019
0.66/0.56	c PID: 18228
0.66/0.56	c IP: 172.20.3.133
0.66/0.56	c HOST: node133.alineos.net
0.66/0.57	c (0,0) Parsing Begin
1.72/1.06	c (0,0) Parsing End
1.72/1.07	c (0,0) CSP: 180 int (0 aux), 0 bool (0 aux), 563 ctr, max domain size 200
1.72/1.07	c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 20 MiB used (max 0 MiB)
1.72/1.07	c (0,0) Constraint Name Generate Begin
1.72/1.08	c (0,0) Ctr:HOME/instance-4387989-1568293334.xml,AllDifferent:ExtensionConflict:ExtensionSupport:Var
1.72/1.08	c (0,0) Constraint Name Generate End
1.72/1.08	c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 20 MiB used (max 0 MiB)
1.72/1.08	c (0,0) CSP to CSPinCNF Begin
17.44/10.50	c (9,9) translated 57 (10%) constraints
24.94/17.92	c (17,17) translated 113 (20%) constraints
33.36/25.58	c (25,24) translated 169 (30%) constraints
42.32/33.45	c (32,32) translated 226 (40%) constraints
51.49/41.26	c (40,39) translated 282 (50%) constraints
60.95/49.16	c (48,46) translated 338 (60%) constraints
72.81/57.76	c (57,54) translated 395 (70%) constraints
81.78/65.54	c (65,61) translated 451 (80%) constraints
86.61/70.31	c (69,66) translated 507 (90%) constraints
86.61/70.32	c (69,66) translated 563 (100%) constraints
86.61/70.32	c (69,66) ===========================================
86.61/70.33	c (69,66) Order
86.61/70.33	c (69,66) ===========================================
92.26/73.44	c (72,69) translated 132181 (10%) constraints
94.70/75.81	c (75,71) translated 264362 (20%) constraints
97.03/78.17	c (77,74) translated 396543 (30%) constraints
99.42/80.53	c (79,76) translated 528724 (40%) constraints
103.44/83.30	c (82,78) translated 660905 (50%) constraints
105.74/85.66	c (85,81) translated 793086 (60%) constraints
108.15/88.02	c (87,83) translated 925267 (70%) constraints
110.45/90.39	c (89,85) translated 1057448 (80%) constraints
115.00/93.31	c (92,88) translated 1189629 (90%) constraints
117.46/95.72	c (95,90) translated 1321810 (100%) constraints
117.46/95.72	c (95,90) CSP to CSPinCNF End
117.46/95.77	c (95,90) CSP: 180 int (0 aux), 97000 bool (97000 aux), 1321810 ctr, max domain size 200
117.46/95.77	c (95,90) Heap : 2388 MiB used (max 10621 MiB), NonHeap : 28 MiB used (max 0 MiB)
117.46/95.77	c (95,90) CSPinCNF Propagation Begin
132.46/105.67	c (105,99) 5705 values, 397423 unsatisfiable literals, and 359277 valid clauses are removed
132.46/105.67	c (105,99) CSPinCNF Propagation End
132.57/105.71	c (105,99) CSP: 180 int (0 aux), 97000 bool (97000 aux), 962533 ctr, max domain size 200
132.57/105.71	c (105,99) Heap : 3969 MiB used (max 10657 MiB), NonHeap : 29 MiB used (max 0 MiB)
132.57/105.72	c (105,99) Simplify CSPinCNF Begin
136.96/107.96	c (107,101) Simplify CSPinCNF End
137.07/108.01	c (107,101) CSP: 180 int (0 aux), 129220 bool (129220 aux), 994753 ctr, max domain size 200
137.07/108.01	c (107,101) Heap : 2740 MiB used (max 10650 MiB), NonHeap : 29 MiB used (max 0 MiB)
137.07/108.01	c (107,101) Calculate Precise Domain Begin
137.07/108.01	c (107,101) 0 values are removed by re-calculation
137.07/108.01	c (107,101) Calculate Precise Domain End
137.07/108.05	c (107,101) CSP: 180 int (0 aux), 129220 bool (129220 aux), 994753 ctr, max domain size 200
137.07/108.05	c (107,101) Heap : 2740 MiB used (max 10650 MiB), NonHeap : 29 MiB used (max 0 MiB)
137.07/108.05	c (107,101) CSPinCNF to SatSolver Begin
158.43/125.38	c (124,117) 99476 (10 %) CSP clauses are encoded (0 SAT variables, 3895957 SAT clauses)
159.74/126.43	c (125,118) 198951 (20 %) CSP clauses are encoded (0 SAT variables, 3995432 SAT clauses)
160.74/127.43	c (126,119) 298426 (30 %) CSP clauses are encoded (0 SAT variables, 4094907 SAT clauses)
161.74/128.42	c (127,120) 397902 (40 %) CSP clauses are encoded (0 SAT variables, 4194383 SAT clauses)
162.75/129.41	c (128,121) 497377 (50 %) CSP clauses are encoded (0 SAT variables, 4293858 SAT clauses)
164.29/130.55	c (130,122) 596852 (60 %) CSP clauses are encoded (0 SAT variables, 4393333 SAT clauses)
165.29/131.54	c (131,123) 696328 (70 %) CSP clauses are encoded (0 SAT variables, 4492809 SAT clauses)
166.30/132.54	c (131,124) 795803 (80 %) CSP clauses are encoded (0 SAT variables, 4592284 SAT clauses)
168.17/133.76	c (133,125) 895278 (90 %) CSP clauses are encoded (0 SAT variables, 4691759 SAT clauses)
169.17/134.75	c (134,126) 994753 (100 %) CSP clauses are encoded (0 SAT variables, 4791234 SAT clauses)
169.17/134.75	c (134,126) CSPinCNF to SatSolver End
169.17/134.75	c (134,126) Heap : 3280 MiB used (max 10700 MiB), NonHeap : 31 MiB used (max 0 MiB)
169.17/134.75	c (134,126) 150378 bool, 4791235 clause
169.17/134.75	c (134,126) Export Begin
169.31/134.85	c (134,126) Export to HOME/scop-18225-serial-file.bin
169.31/134.85	c (134,126) Export End
169.31/134.86	c (134,126) Export File Size: 0.04 MB
169.31/134.86	c (134,126) 0,0,95,105,107,107,134,STOP-AFTER(DIMACS)
169.31/134.86	c END-Prog: Thu Sep 12 15:03:49 CEST 2019
169.31/134.90	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-18225-serial-file.bin
170.00/135.36	c (0,0) Read Serial File Begin
170.00/135.36	c (0,0) HOME/scop-18225-serial-file.bin
170.26/135.59	c (0,0) Read Serial File End
170.44/135.60	
170.44/135.60	Fun-sCOP order+glueminisat-simp-2.2.10-193oa-n-release (2019-06-15)
170.44/135.60	(Solving Process)
170.44/135.60	
170.44/135.63	c BEGIN-Prog: Thu Sep 12 15:03:50 CEST 2019
170.44/135.63	c PID: 18253
170.44/135.63	c IP: 172.20.3.133
170.44/135.63	c HOST: node133.alineos.net
170.44/135.63	c (0,0) SatSolver.solve Begin
170.44/135.63	c (0,0) HOME/glueminisat-simp-2.2.10-193oa-n-release -model -verb=3 -elim-cl=5000000 -native-oa HOME/instance-4387989-1568293334.xml-scop-18228.cnf
170.44/135.67	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
170.44/135.67	c (0,0) c glueminisat-simp-2.2.10-193oa-n
170.44/135.67	c (0,0) c Command: HOME/glueminisat-simp-2.2.10-193oa-n-release -model -verb=3 -elim-cl=5000000 -native-oa HOME/instance-4387989-1568293334.xml-scop-18228.cnf 
170.44/135.67	c (0,0) c Options:
170.44/135.67	c (0,0) c CORE
170.44/135.67	c (0,0) c  var_decay             = 0.950
170.44/135.67	c (0,0) c  clause_decay          = 0.999
170.44/135.67	c (0,0) c  random_var_freq       = 0.000
170.44/135.67	c (0,0) c  random_seed           = 91648253.000
170.44/135.67	c (0,0) c  luby_restart          = 1
170.44/135.67	c (0,0) c  ccmin_mode            = 2
170.44/135.67	c (0,0) c  phase_saving          = 2
170.44/135.67	c (0,0) c  rnd_pol               = 0
170.44/135.67	c (0,0) c  rnd_init_act          = 0
170.44/135.67	c (0,0) c  garbage_frac          = 0.200
170.44/135.67	c (0,0) c  restart_first         = 1000
170.44/135.67	c (0,0) c  restart_inc           = 2.000
170.44/135.67	c (0,0) c MODEL
170.44/135.67	c (0,0) c  partial_model         = 0
170.44/135.67	c (0,0) c PROPAGATION
170.44/135.67	c (0,0) c  bin_propagation       = 1
170.44/135.67	c (0,0) c SIMPLIFICATION
170.44/135.67	c (0,0) c  lrn_min_size          = 100
170.44/135.67	c (0,0) c  lazy_simp             = 1
170.44/135.67	c (0,0) c  lazy_interval         = 10
170.44/135.67	c (0,0) c  lazy_fld_probing      = 1
170.44/135.67	c (0,0) c  lazy_pol_probing      = 1
170.44/135.67	c (0,0) c  lazy_nec_probing      = 1
170.44/135.67	c (0,0) c  lazy_eqv_probing      = 1
170.44/135.67	c (0,0) c  lazy_cla_probing      = 1
170.44/135.67	c (0,0) c  lazy_lrn_min          = 2
170.44/135.67	c (0,0) c  lazy_uw_lit_elim      = 1
170.44/135.67	c (0,0) c  lazy_pr_lit_elim      = 0
170.44/135.67	c (0,0) c  lazy_bin_add          = 3
170.44/135.67	c (0,0) c  probed_lit_chain      = 1
170.44/135.67	c (0,0) c  pr_min_lits           = 0.00020
170.44/135.67	c (0,0) c  pr_min_starts         = 500
170.44/135.67	c (0,0) c  rw_min_lits           = 0.010
170.44/135.67	c (0,0) c  rw_min_starts         = 500
170.44/135.67	c (0,0) c  rand_attach           = 0
170.44/135.67	c (0,0) c  dec_elim              = 1
170.44/135.67	c (0,0) c  dec_elim_lim          = 25
170.44/135.67	c (0,0) c  dec_elim_len          = -1
170.44/135.67	c (0,0) c  amo                   = 0
170.44/135.67	c (0,0) c  amo_grp               = 1
170.44/135.67	c (0,0) c  amo_max_bins          = 1000000
170.44/135.67	c (0,0) c  amo_starts            = 50
170.44/135.67	c (0,0) c  mace_cmd              = mace
170.44/135.67	c (0,0) c DECISION
170.44/135.67	c (0,0) c  rand_rebuild          = 0
170.44/135.67	c (0,0) c  rand_rebuild_confs    = 10000
170.44/135.67	c (0,0) c  inc_var_decay         = 1
170.44/135.67	c (0,0) c  inc_var_decay_period  = 100000
170.44/135.67	c (0,0) c  inc_var_decay_init    = 0.600
170.44/135.67	c (0,0) c  var_decay_mode        = 0
170.44/135.67	c (0,0) c  var_decay_gain        = 0
170.44/135.67	c (0,0) c  sloped_var_decay      = 1
170.44/135.67	c (0,0) c  max_var_decay         = 0.990
170.44/135.67	c (0,0) c  min_var_decay         = 0.950
170.44/135.67	c (0,0) c  min_var_decay_vars    = 10000
170.44/135.67	c (0,0) c  max_var_decay_vars    = 500
170.44/135.67	c (0,0) c  uip_bumping           = 1
170.44/135.67	c (0,0) c  lbd_act_bumping       = 1
170.44/135.67	c (0,0) c  rand_tiebreak         = 0
170.44/135.67	c (0,0) c  simp_rebuild          = 1
170.44/135.67	c (0,0) c RESTART
170.44/135.67	c (0,0) c  restart_strategy      = 2
170.44/135.67	c (0,0) c  restart_blocking      = 0
170.44/135.67	c (0,0) c  agility_decay         = 0.99990
170.44/135.67	c (0,0) c  lbd_restart_rate      = 0.800
170.44/135.67	c (0,0) c  dec_restart_rate      = 0.950
170.44/135.67	c (0,0) c  blk_restart_rate      = 0.700
170.44/135.67	c (0,0) c  lbd_queue_size        = 50
170.44/135.67	c (0,0) c  dec_queue_size        = 50
170.44/135.67	c (0,0) c  trl_queue_size        = 5000
170.44/135.67	c (0,0) c  blk_restart_weight    = 1.000
170.44/135.67	c (0,0) c  inc_rst_rate          = 0
170.44/135.67	c (0,0) c  inc_rst_rate_period   = 500000
170.44/135.67	c (0,0) c  inc_lbd_rst_rate_init = 0.600
170.44/135.67	c (0,0) c  inc_dec_rst_rate_init = 0.750
170.44/135.67	c (0,0) c REDUCTION
170.44/135.67	c (0,0) c  closed_lbd            = 0
170.44/135.67	c (0,0) c  closed_lbd_rate       = 0.500
170.44/135.67	c (0,0) c  rm_simulate           = 0
170.44/135.67	c (0,0) c  rdb_eval              = 2
170.44/135.67	c (0,0) c  rdb_call              = 3
170.44/135.67	c (0,0) c  rdb_ub                = 0.500
170.44/135.67	c (0,0) c  core_lbd_cvr          = 0.800
170.44/135.67	c (0,0) c  supp_lbd_cvr          = 0.990
170.44/135.67	c (0,0) c  core_lbd_lb           = 2
170.44/135.67	c (0,0) c  supp_lbd_lb           = 2
170.44/135.67	c (0,0) c  core_lbd_prd          = 7
170.44/135.67	c (0,0) c  supp_lbd_prd          = 1
170.44/135.67	c (0,0) c  othr_lbd_prd          = 0
170.44/135.67	c (0,0) c  inc_lrn_limit         = 1000
170.44/135.67	c (0,0) c  frozen_lbd            = 30
170.44/135.67	c (0,0) c  simp_min_starts       = 100
170.44/135.67	c (0,0) c  rm_low_act_learnts    = 1
170.44/135.67	c (0,0) c  lv0_reduce_db         = 0
170.44/135.67	c (0,0) c  reduce_db_base        = 20000
170.44/135.67	c (0,0) c  reduce_db_inc         = 1000
170.44/135.67	c (0,0) c HARD
170.44/135.67	c (0,0) c  inst_check            = 200000
170.44/135.67	c (0,0) c  small_block           = 1.750
170.44/135.67	c (0,0) c  slow_restart_speed    = 400.000
170.44/135.67	c (0,0) c  slow_restart_strategy = 3
170.44/135.67	c (0,0) c  slow_lbd_restart_rate = 0.700
170.44/135.67	c (0,0) c  slow_dec_restart_rate = 1.000
170.44/135.67	c (0,0) c  slow_lbd_queue_size   = 50
170.44/135.67	c (0,0) c  slow_var_decay        = 0.950
170.44/135.67	c (0,0) c  slow_glue_threshold   = 2
170.44/135.67	c (0,0) c  slow_phase_saving     = 2
170.44/135.67	c (0,0) c  fast_restart_speed    = 125.000
170.44/135.67	c (0,0) c  fast_restart_strategy = 1
170.44/135.67	c (0,0) c  fast_lbd_restart_rate = 0.800
170.44/135.67	c (0,0) c  fast_dec_restart_rate = 0.950
170.44/135.67	c (0,0) c  fast_lbd_queue_size   = 50
170.44/135.67	c (0,0) c  fast_var_decay        = 1.000
170.44/135.67	c (0,0) c  fast_glue_threshold   = 2
170.44/135.67	c (0,0) c  fast_phase_saving     = 2
170.44/135.67	c (0,0) c STATS
170.44/135.67	c (0,0) c  stats_conf_size       = 10000
170.44/135.67	c (0,0) c  max_stats_size        = 30
170.44/135.67	c (0,0) c SOLVER
170.44/135.67	c (0,0) c  minisat               = 0
172.25/137.28	c (1,0) c Problem: 150378 variables, 4791235 clauses, parsing 1.47 s
188.07/153.03	c (17,0) c  reduced to 134268 variables, 4734387 clauses (grow = 0)
188.25/153.23	c (17,0) c  exclude 485 (0.4%) variables from decision variables (last cost 24)
188.66/153.61	c (18,0) c Simplification: 16595 vars, 56848 clauses are eliminated using 16.14 s
188.66/153.61	c (18,0) c
188.66/153.61	c (18,0) c        #Rstrts   #Confs   #Vars   #Clauses  #Learnts Lits/C LBD/C DLVs Trail
188.66/153.61	c (18,0) c
188.66/153.61	c (18,0) c   17         0         0   133783  4734387        0   -nan  -nan  -nan -nan%
188.95/153.93	c (18,0) c   18         1        73   133781  4734387       74    6.3   2.6   6.3  2.7%
188.95/153.94	c (18,0) c
188.95/153.94	c (18,0) c
188.95/153.94	c (18,0) c variables         : 133781      (init 150378, after simp 133783, 485 non-decs, 180 csp)
188.95/153.94	c (18,0) c clauses           : 4734387     (init 4791235, after simp 4734387)
188.95/153.94	c (18,0) c restarts          : 0           (73.00 confs/res, 73~73 confs, 0 blks, 0 last)
188.95/153.94	c (18,0) c conflicts         : 73          (4 /sec, 71.23% dconfs, 0.00% supp, trail 893.66w x 6.26h, jmp 1.71h)
188.95/153.94	c (18,0) c decisions         : 130         (0.6000 vdcy, 7 /sec, 0.00% bin, rs 0.000 s)
188.95/153.94	c (18,0) c propagations      : 309033      (17241 /sec, 2377.18 lits/dec, 14.02% o.a.)
188.95/153.94	c (18,0) c conflict literals : 711         (35.16% deleted; 0.28% by bin min, 0.000 s)
188.95/153.94	c (18,0) c len               : 6.257       (6.29 for all, max 67, used 11)
188.95/153.94	c (18,0) c lbd               : 2.581       (3.01 (2.56) for all, max 5, used 5, 0.871 stdev, 2.086 blk)
188.95/153.94	c (18,0) c amo               : 0           (0 max, -nan avg, 0.000 s)
188.95/153.94	c (18,0) c simp dbs          : 1           (0.002 s)
188.95/153.94	c (18,0) c reduce dbs        : 0           (core-lbd 2, supp-lbd 2147483647, 0.000 s)
188.95/153.94	c (18,0) c learnts           : 74          (0 learnts removed, 0.00%)
188.95/153.94	c (18,0) c rewrite dbs       : 0           (0/0 vars, 0+0 taut, 0+0 unit, 0.000 s)
188.95/153.94	c (18,0) c assigned lits     : 0           (0/0 probed, 0 remains)
188.95/153.94	c (18,0) c premise updates   : 0           (0.00 /lit)
188.95/153.94	c (18,0) c probed variables  : 0           (0 pr, 0 eq, 0 fld, 0 pol, 0 nec, 0 cla, 0 amo)
188.95/153.94	c (18,0) c equiv variables   : 0           (0 bin, 0 trn, 0 quat, 0 quin, 0 othr; 0 amo)
188.95/153.94	c (18,0) c lazy added bins   : 3           (3 prop + 0 conf, 0.000s)
188.95/153.94	c (18,0) c unwatched lit elim: 2           (0.00+0.28%, 0+2 of 14025422+711)
188.95/153.94	c (18,0) c classified type   : undef
188.95/153.94	c (18,0) c progress          : 0.001 %
188.95/153.94	c (18,0) c
188.95/153.94	c (18,0) c [Statistics]
188.95/153.94	c (18,0) c             learnts len        learnts lbd        lit blk size       eq vars size
188.95/153.94	c (18,0) c  tot          73                 73                220                  0
188.95/153.94	c (18,0) c  avg       6.288              2.562              2.086               -nan
188.95/153.94	c (18,0) c   1            2 ( 2.7%)          2 ( 2.7%)        155 (70.5%)          0 (-nan%)
188.95/153.94	c (18,0) c   2            7 ( 9.6%)         38 (52.1%)         28 (12.7%)          0 (-nan%)
188.95/153.94	c (18,0) c   3           18 (24.7%)         25 (34.2%)         17 ( 7.7%)          0 (-nan%)
188.95/153.94	c (18,0) c   4           13 (17.8%)          6 ( 8.2%)          2 ( 0.9%)          0 (-nan%)
188.95/153.94	c (18,0) c   5           11 (15.1%)          2 ( 2.7%)          3 ( 1.4%)          0 (-nan%)
188.95/153.94	c (18,0) c   6            3 ( 4.1%)          0 ( 0.0%)          1 ( 0.5%)          0 (-nan%)
188.95/153.94	c (18,0) c   7            3 ( 4.1%)          0 ( 0.0%)          0 ( 0.0%)          0 (-nan%)
188.95/153.94	c (18,0) c   8            3 ( 4.1%)          0 ( 0.0%)          4 ( 1.8%)          0 (-nan%)
188.95/153.94	c (18,0) c   9            0 ( 0.0%)          0 ( 0.0%)          5 ( 2.3%)          0 (-nan%)
188.95/153.94	c (18,0) c  10            6 ( 8.2%)          0 ( 0.0%)          1 ( 0.5%)          0 (-nan%)
188.95/153.94	c (18,0) c  11            1 ( 1.4%)          0 ( 0.0%)          0 ( 0.0%)          0 (-nan%)
188.95/153.94	c (18,0) c  12            0 ( 0.0%)          0 ( 0.0%)          0 ( 0.0%)          0 (-nan%)
188.95/153.94	c (18,0) c  13            2 ( 2.7%)          0 ( 0.0%)          1 ( 0.5%)          0 (-nan%)
188.95/153.94	c (18,0) c  14            0 ( 0.0%)          0 ( 0.0%)          0 ( 0.0%)          0 (-nan%)
188.95/153.94	c (18,0) c  15            0 ( 0.0%)          0 ( 0.0%)          1 ( 0.5%)          0 (-nan%)
188.95/153.94	c (18,0) c  16            0 ( 0.0%)          0 ( 0.0%)          0 ( 0.0%)          0 (-nan%)
188.95/153.94	c (18,0) c  17            0 ( 0.0%)          0 ( 0.0%)          0 ( 0.0%)          0 (-nan%)
188.95/153.94	c (18,0) c  18            2 ( 2.7%)          0 ( 0.0%)          0 ( 0.0%)          0 (-nan%)
188.95/153.94	c (18,0) c  19            1 ( 1.4%)          0 ( 0.0%)          0 ( 0.0%)          0 (-nan%)
188.95/153.94	c (18,0) c  20            0 ( 0.0%)          0 ( 0.0%)          0 ( 0.0%)          0 (-nan%)
188.95/153.94	c (18,0) c  21            0 ( 0.0%)          0 ( 0.0%)          0 ( 0.0%)          0 (-nan%)
188.95/153.94	c (18,0) c  22            0 ( 0.0%)          0 ( 0.0%)          0 ( 0.0%)          0 (-nan%)
188.95/153.94	c (18,0) c  23            0 ( 0.0%)          0 ( 0.0%)          0 ( 0.0%)          0 (-nan%)
188.95/153.94	c (18,0) c  24            0 ( 0.0%)          0 ( 0.0%)          0 ( 0.0%)          0 (-nan%)
188.95/153.94	c (18,0) c  25            0 ( 0.0%)          0 ( 0.0%)          0 ( 0.0%)          0 (-nan%)
188.95/153.94	c (18,0) c  26            0 ( 0.0%)          0 ( 0.0%)          1 ( 0.5%)          0 (-nan%)
188.95/153.94	c (18,0) c  27            0 ( 0.0%)          0 ( 0.0%)          1 ( 0.5%)          0 (-nan%)
188.95/153.94	c (18,0) c  28            0 ( 0.0%)          0 ( 0.0%)          0 ( 0.0%)          0 (-nan%)
188.95/153.94	c (18,0) c  29            0 ( 0.0%)          0 ( 0.0%)          0 ( 0.0%)          0 (-nan%)
188.95/153.94	c (18,0) c  30            1 ( 1.4%)          0 ( 0.0%)          0 ( 0.0%)          0 (-nan%)
188.95/153.94	c (18,0) c
188.95/153.94	c (18,0) c [LBD Statistics]
188.95/153.95	c (18,0) c LBD          used lbd               used clause lbd         unused clause lbd
188.95/153.95	c (18,0) c  tot           67                      32                      42
188.95/153.95	c (18,0) c  avg        2.672                   2.500                   2.643
188.95/153.95	c (18,0) c    1            0 ( 0.0/ 0.0%)          0 ( 0.0/ 0.0%)          0 ( 0.0/ 0.0%)
188.95/153.95	c (18,0) c    2           36 (53.7/53.7%)         18 (56.2/56.2%)         23 (54.8/54.8%)
188.95/153.95	c (18,0) c    3           21 (31.3/85.1%)         13 (40.6/96.9%)         12 (28.6/83.3%)
188.95/153.95	c (18,0) c    4            6 ( 9.0/94.0%)          0 ( 0.0/96.9%)          6 (14.3/97.6%)
188.95/153.95	c (18,0) c    5            4 ( 6.0/100.0%)          1 ( 3.1/100.0%)          1 ( 2.4/100.0%)
188.95/153.95	c (18,0) c
188.95/153.95	c (18,0) c Memory used       : 668.00 MB
188.95/153.95	c (18,0) c CPU time          : 17.925 s
188.95/153.95	c (18,0) c Real time         : 18.286 s
188.95/153.95	c (18,0) c
188.95/153.95	c (18,0) s SATISFIABLE
189.20/154.06	c (18,0) SatSolver.solve End
189.20/154.06	c (18,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
189.20/154.06	c (18,0) Show results Begin
189.66/154.20	c (18,0) x[0] = 136
189.66/154.20	c (18,0) x[1] = 138
189.66/154.20	c (18,0) x[2] = 168
189.66/154.20	c (18,0) x[3] = 182
189.66/154.20	c (18,0) x[4] = 2
189.66/154.20	c (18,0) x[5] = 167
189.66/154.20	c (18,0) x[6] = 173
189.66/154.20	c (18,0) x[7] = 171
189.66/154.20	c (18,0) x[8] = 97
189.66/154.20	c (18,0) x[9] = 3
189.66/154.20	c (18,0) x[10] = 11
189.66/154.20	c (18,0) x[11] = 128
189.66/154.20	c (18,0) x[12] = 148
189.66/154.20	c (18,0) x[13] = 186
189.66/154.20	c (18,0) x[14] = 21
189.66/154.20	c (18,0) x[15] = 131
189.66/154.20	c (18,0) x[16] = 135
189.66/154.20	c (18,0) x[17] = 71
189.66/154.20	c (18,0) x[18] = 98
189.66/154.20	c (18,0) x[19] = 35
189.66/154.20	c (18,0) x[20] = 1
189.66/154.20	c (18,0) x[21] = 73
189.66/154.20	c (18,0) x[22] = 81
189.66/154.20	c (18,0) x[23] = 31
189.66/154.20	c (18,0) x[24] = 157
189.66/154.20	c (18,0) x[25] = 20
189.66/154.20	c (18,0) x[26] = 80
189.66/154.20	c (18,0) x[27] = 91
189.66/154.20	c (18,0) x[28] = 188
189.66/154.20	c (18,0) x[29] = 33
189.66/154.20	c (18,0) x[30] = 107
189.66/154.20	c (18,0) x[31] = 30
189.66/154.20	c (18,0) x[32] = 114
189.66/154.20	c (18,0) x[33] = 77
189.66/154.20	c (18,0) x[34] = 105
189.66/154.20	c (18,0) x[35] = 122
189.66/154.20	c (18,0) x[36] = 121
189.66/154.20	c (18,0) x[37] = 115
189.66/154.20	c (18,0) x[38] = 103
189.66/154.20	c (18,0) x[39] = 193
189.66/154.20	c (18,0) x[40] = 65
189.66/154.20	c (18,0) x[41] = 43
189.66/154.20	c (18,0) x[42] = 67
189.66/154.20	c (18,0) x[43] = 28
189.66/154.20	c (18,0) x[44] = 143
189.66/154.20	c (18,0) x[45] = 17
189.66/154.20	c (18,0) x[46] = 124
189.66/154.20	c (18,0) x[47] = 96
189.66/154.20	c (18,0) x[48] = 118
189.66/154.20	c (18,0) x[49] = 176
189.66/154.20	c (18,0) x[50] = 32
189.66/154.20	c (18,0) x[51] = 66
189.66/154.20	c (18,0) x[52] = 190
189.66/154.20	c (18,0) x[53] = 16
189.66/154.20	c (18,0) x[54] = 111
189.66/154.20	c (18,0) x[55] = 25
189.66/154.20	c (18,0) x[56] = 146
189.66/154.20	c (18,0) x[57] = 184
189.66/154.20	c (18,0) x[58] = 93
189.66/154.20	c (18,0) x[59] = 116
189.66/154.20	c (18,0) x[60] = 22
189.66/154.20	c (18,0) x[61] = 191
189.66/154.20	c (18,0) x[62] = 44
189.66/154.20	c (18,0) x[63] = 76
189.66/154.20	c (18,0) x[64] = 159
189.66/154.20	c (18,0) x[65] = 88
189.66/154.20	c (18,0) x[66] = 123
189.66/154.20	c (18,0) x[67] = 140
189.66/154.20	c (18,0) x[68] = 166
189.66/154.20	c (18,0) x[69] = 53
189.66/154.20	c (18,0) x[70] = 109
189.66/154.20	c (18,0) x[71] = 192
189.66/154.20	c (18,0) x[72] = 180
189.66/154.20	c (18,0) x[73] = 175
189.66/154.20	c (18,0) x[74] = 189
189.66/154.20	c (18,0) x[75] = 110
189.66/154.20	c (18,0) x[76] = 12
189.66/154.20	c (18,0) x[77] = 54
189.66/154.20	c (18,0) x[78] = 155
189.66/154.20	c (18,0) x[79] = 160
189.66/154.20	c (18,0) x[80] = 137
189.66/154.20	c (18,0) x[81] = 130
189.66/154.20	c (18,0) x[82] = 104
189.66/154.20	c (18,0) x[83] = 75
189.66/154.20	c (18,0) x[84] = 90
189.66/154.20	c (18,0) x[85] = 45
189.66/154.20	c (18,0) x[86] = 181
189.66/154.20	c (18,0) x[87] = 165
189.66/154.20	c (18,0) x[88] = 153
189.66/154.20	c (18,0) x[89] = 64
189.66/154.20	c (18,0) x[90] = 82
189.66/154.20	c (18,0) x[91] = 47
189.66/154.20	c (18,0) x[92] = 84
189.66/154.20	c (18,0) x[93] = 24
189.66/154.20	c (18,0) x[94] = 142
189.66/154.20	c (18,0) x[95] = 87
189.66/154.20	c (18,0) x[96] = 198
189.66/154.20	c (18,0) x[97] = 29
189.66/154.20	c (18,0) x[98] = 179
189.66/154.20	c (18,0) x[99] = 26
189.66/154.20	c (18,0) x[100] = 117
189.66/154.20	c (18,0) x[101] = 174
189.66/154.20	c (18,0) x[102] = 37
189.66/154.20	c (18,0) x[103] = 100
189.66/154.20	c (18,0) x[104] = 41
189.66/154.20	c (18,0) x[105] = 52
189.66/154.20	c (18,0) x[106] = 183
189.66/154.20	c (18,0) x[107] = 5
189.66/154.20	c (18,0) x[108] = 152
189.66/154.20	c (18,0) x[109] = 154
189.66/154.20	c (18,0) x[110] = 120
189.66/154.20	c (18,0) x[111] = 127
189.66/154.20	c (18,0) x[112] = 134
189.66/154.20	c (18,0) x[113] = 145
189.66/154.20	c (18,0) x[114] = 108
189.66/154.20	c (18,0) x[115] = 63
189.66/154.20	c (18,0) x[116] = 14
189.66/154.20	c (18,0) x[117] = 19
189.66/154.20	c (18,0) x[118] = 58
189.66/154.20	c (18,0) x[119] = 62
189.66/154.20	c (18,0) x[120] = 7
189.66/154.20	c (18,0) x[121] = 59
189.66/154.20	c (18,0) x[122] = 196
189.66/154.20	c (18,0) x[123] = 18
189.66/154.20	c (18,0) x[124] = 86
189.66/154.20	c (18,0) x[125] = 119
189.66/154.20	c (18,0) x[126] = 27
189.66/154.20	c (18,0) x[127] = 94
189.66/154.20	c (18,0) x[128] = 38
189.66/154.20	c (18,0) x[129] = 92
189.66/154.20	c (18,0) x[130] = 57
189.66/154.20	c (18,0) x[131] = 36
189.66/154.20	c (18,0) x[132] = 113
189.66/154.20	c (18,0) x[133] = 89
189.66/154.20	c (18,0) x[134] = 101
189.66/154.20	c (18,0) x[135] = 23
189.66/154.20	c (18,0) x[136] = 150
189.66/154.20	c (18,0) x[137] = 83
189.66/154.20	c (18,0) x[138] = 56
189.66/154.20	c (18,0) x[139] = 132
189.66/154.20	c (18,0) x[140] = 151
189.66/154.20	c (18,0) x[141] = 195
189.66/154.20	c (18,0) x[142] = 60
189.66/154.20	c (18,0) x[143] = 39
189.66/154.20	c (18,0) x[144] = 161
189.66/154.20	c (18,0) x[145] = 162
189.66/154.20	c (18,0) x[146] = 126
189.66/154.20	c (18,0) x[147] = 106
189.66/154.20	c (18,0) x[148] = 185
189.66/154.20	c (18,0) x[149] = 4
189.66/154.20	c (18,0) x[150] = 149
189.66/154.20	c (18,0) x[151] = 61
189.66/154.20	c (18,0) x[152] = 194
189.66/154.20	c (18,0) x[153] = 187
189.66/154.20	c (18,0) x[154] = 9
189.66/154.20	c (18,0) x[155] = 141
189.66/154.20	c (18,0) x[156] = 133
189.66/154.20	c (18,0) x[157] = 50
189.66/154.20	c (18,0) x[158] = 15
189.66/154.20	c (18,0) x[159] = 177
189.66/154.20	c (18,0) x[160] = 112
189.66/154.20	c (18,0) x[161] = 8
189.66/154.20	c (18,0) x[162] = 70
189.66/154.20	c (18,0) x[163] = 69
189.66/154.20	c (18,0) x[164] = 169
189.66/154.20	c (18,0) x[165] = 85
189.66/154.20	c (18,0) x[166] = 6
189.66/154.20	c (18,0) x[167] = 55
189.66/154.20	c (18,0) x[168] = 78
189.66/154.20	c (18,0) x[169] = 51
189.66/154.20	c (18,0) x[170] = 40
189.66/154.20	c (18,0) x[171] = 34
189.66/154.20	c (18,0) x[172] = 139
189.66/154.20	c (18,0) x[173] = 95
189.66/154.20	c (18,0) x[174] = 199
189.66/154.20	c (18,0) x[175] = 48
189.66/154.20	c (18,0) x[176] = 163
189.66/154.20	c (18,0) x[177] = 178
189.66/154.20	c (18,0) x[178] = 144
189.66/154.20	c (18,0) x[179] = 125
189.66/154.20	s SATISFIABLE
189.66/154.21	v <instantiation>
189.66/154.21	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]</list>
189.66/154.21	v     <values>136 138 168 182 2 167 173 171 97 3 11 128 148 186 21 131 135 71 98 35 1 73 81 31 157 20 80 91 188 33 107 30 114 77 105 122 121 115 103 193 65 43 67 28 143 17 124 96 118 176 32 66 190 16 111 25 146 184 93 116 22 191 44 76 159 88 123 140 166 53 109 192 180 175 189 110 12 54 155 160 137 130 104 75 90 45 181 165 153 64 82 47 84 24 142 87 198 29 179 26 117 174 37 100 41 52 183 5 152 154 120 127 134 145 108 63 14 19 58 62 7 59 196 18 86 119 27 94 38 92 57 36 113 89 101 23 150 83 56 132 151 195 60 39 161 162 126 106 185 4 149 61 194 187 9 141 133 50 15 177 112 8 70 69 169 85 6 55 78 51 40 34 139 95 199 48 163 178 144 125</values>
189.66/154.21	v </instantiation>
189.66/154.21	c (18,0) Show results End
189.66/154.21	c (18,0) Heap : 163 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB)
189.66/154.21	c (18,0) 18,18,STOP-AFTER(ALL)
189.66/154.21	c END-Prog: Thu Sep 12 15:04:09 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 (14914 MiB free)
  memory of node 1: 16384 MiB (15679 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4387989-1568293334/watcher-4387989-1568293334 -o /tmp/evaluation-result-4387989-1568293334/solver-4387989-1568293334 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1568289747-16920 --watchdog 2580 HOME/scop.sh 11g HOME/scop.jar -order HOME/glueminisat-simp-2.2.10-193oa-n-release -model:-verb=3:-elim-cl=5000000:-native-oa HOME HOME/instance-4387989-1568293334.xml 

running on 4 cores: 1,3,5,7

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

solver pid=18225, runsolver pid=18222

[startup+0.100138 s]*
/proc/loadavg: 2.00 2.08 2.28 3/241 18242
/proc/meminfo: memFree=31266544/32770624 swapFree=67003272/67108860
[pid=18225] ppid=18222 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/18225/stat : 18225 (scop.sh) S 18222 18225 16886 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 405573003 115843072 349 33554432000 4194304 5098028 140731716359488 140731716356744 139862415983228 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 8024064 140731716363048 140731716363376 140731716363376 140731716366285 0
/proc/18225/statm: 28282 349 296 221 0 87 0
[pid=18228] ppid=18225 vsize=15013720 memory=75144 CPUtime=0.11 cores=1,3,5,7
/proc/18228/stat : 18228 (java) S 18225 18225 16886 0 -1 1077944320 6999 0 0 0 9 2 0 0 20 0 15 0 405573003 15374049280 18786 33554432000 4194304 4196468 140729518682928 140729518665472 140702951018231 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 35414016 140729518686958 140729518687386 140729518687386 140729518690255 0
/proc/18228/statm: 3753430 18786 2926 1 0 3715835 0
[pid=18228/tid=18229] ppid=18225 vsize=15014680 memory=-6653361208406884291 CPUtime=0.09 cores=1,3,5,7
/proc/18228/task/18229/stat : 18229 (java) R 18225 18225 16886 0 -1 4202560 4940 0 0 0 7 2 0 0 20 0 15 0 405573004 15375032320 18984 33554432000 4194304 4196468 140729518682928 140702922802480 140702943329163 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35414016 140729518686958 140729518687386 140729518687386 140729518690255 0
[pid=18228/tid=18230] ppid=18225 vsize=15014680 memory=4206468019014099040 CPUtime=0 cores=1,3,5,7
/proc/18228/task/18230/stat : 18230 (java) S 18225 18225 16886 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405573005 15375032320 18984 33554432000 4194304 4196468 140729518682928 140702955260560 140702951028437 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35414016 140729518686958 140729518687386 140729518687386 140729518690255 0
[pid=18228/tid=18231] ppid=18225 vsize=15014680 memory=140279043425920 CPUtime=0 cores=1,3,5,7
/proc/18228/task/18231/stat : 18231 (java) S 18225 18225 16886 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405573005 15375032320 18984 33554432000 4194304 4196468 140729518682928 140702730963472 140702951028437 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35414016 140729518686958 140729518687386 140729518687386 140729518690255 0
[pid=18228/tid=18232] ppid=18225 vsize=15014680 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18228/task/18232/stat : 18232 (java) S 18225 18225 16886 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405573005 15375032320 19050 33554432000 4194304 4196468 140729518682928 140702729910672 140702951028437 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35414016 140729518686958 140729518687386 140729518687386 140729518690255 0
[pid=18228/tid=18233] ppid=18225 vsize=15014680 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18228/task/18233/stat : 18233 (java) S 18225 18225 16886 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405573005 15375032320 19050 33554432000 4194304 4196468 140729518682928 140702728857872 140702951028437 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35414016 140729518686958 140729518687386 140729518687386 140729518690255 0
[pid=18228/tid=18234] ppid=18225 vsize=15014680 memory=140279043425920 CPUtime=0 cores=1,3,5,7
/proc/18228/task/18234/stat : 18234 (java) S 18225 18225 16886 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405573007 15375032320 19050 33554432000 4194304 4196468 140729518682928 140701920652144 140702951029378 0 0 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35414016 140729518686958 140729518687386 140729518687386 140729518690255 0
[pid=18228/tid=18235] ppid=18225 vsize=15014680 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18228/task/18235/stat : 18235 (java) S 18225 18225 16886 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405573007 15375032320 19050 33554432000 4194304 4196468 140729518682928 140701517997600 140702951028437 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35414016 140729518686958 140729518687386 140729518687386 140729518690255 0
[pid=18228/tid=18236] ppid=18225 vsize=15014680 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18228/task/18236/stat : 18236 (java) S 18225 18225 16886 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405573007 15375032320 19050 33554432000 4194304 4196468 140729518682928 140701249561968 140702951028437 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35414016 140729518686958 140729518687386 140729518687386 140729518690255 0
[pid=18228/tid=18237] ppid=18225 vsize=15014680 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18228/task/18237/stat : 18237 (java) S 18225 18225 16886 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405573010 15375032320 19050 33554432000 4194304 4196468 140729518682928 140700875053392 140702951036827 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35414016 140729518686958 140729518687386 140729518687386 140729518690255 0
[pid=18228/tid=18238] ppid=18225 vsize=15016308 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18228/task/18238/stat : 18238 (java) S 18225 18225 16886 0 -1 1077944384 414 0 0 0 0 0 0 0 20 0 15 0 405573010 15376699392 19050 33554432000 4194304 4196468 140729518682928 140701919598960 140702951029378 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35414016 140729518686958 140729518687386 140729518687386 140729518690255 0
[pid=18228/tid=18239] ppid=18225 vsize=15016308 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18228/task/18239/stat : 18239 (java) S 18225 18225 16886 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405573010 15376699392 19050 33554432000 4194304 4196468 140729518682928 140701918546160 140702951029378 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35414016 140729518686958 140729518687386 140729518687386 140729518690255 0
[pid=18228/tid=18240] ppid=18225 vsize=15016308 memory=140279043425920 CPUtime=0.01 cores=1,3,5,7
/proc/18228/task/18240/stat : 18240 (java) S 18225 18225 16886 0 -1 1077944384 469 0 0 0 1 0 0 0 20 0 15 0 405573010 15376699392 19050 33554432000 4194304 4196468 140729518682928 140701917493360 140702951029378 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35414016 140729518686958 140729518687386 140729518687386 140729518690255 0
[pid=18228/tid=18241] ppid=18225 vsize=15016308 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18228/task/18241/stat : 18241 (java) S 18225 18225 16886 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405573010 15376699392 19050 33554432000 4194304 4196468 140729518682928 140700377147616 140702951028437 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35414016 140729518686958 140729518687386 140729518687386 140729518690255 0
[pid=18228/tid=18242] ppid=18225 vsize=15016308 memory=140279043425920 CPUtime=0 cores=1,3,5,7
/proc/18228/task/18242/stat : 18242 (java) S 18225 18225 16886 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405573010 15376699392 19050 33554432000 4194304 4196468 140729518682928 140701916441776 140702951029378 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35414016 140729518686958 140729518687386 140729518687386 140729518690255 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15126848 KiB
Current children cumulated memory: 76540 KiB

[startup+0.211426 s]*
/proc/loadavg: 2.00 2.08 2.28 3/241 18242
/proc/meminfo: memFree=31250876/32770624 swapFree=67003272/67108860
[pid=18225] ppid=18222 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/18225/stat : 18225 (scop.sh) S 18222 18225 16886 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 405573003 115843072 349 33554432000 4194304 5098028 140731716359488 140731716356744 139862415983228 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 8024064 140731716363048 140731716363376 140731716363376 140731716366285 0
/proc/18225/statm: 28282 349 296 221 0 87 0
[pid=18228] ppid=18225 vsize=15012696 memory=86780 CPUtime=0.25 cores=1,3,5,7
/proc/18228/stat : 18228 (java) S 18225 18225 16886 0 -1 1077944320 11248 0 0 0 21 4 0 0 20 0 15 0 405573003 15373000704 21695 33554432000 4194304 4196468 140729518682928 140729518665472 140702951018231 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 35414016 140729518686958 140729518687386 140729518687386 140729518690255 0
/proc/18228/statm: 3753174 21695 2929 1 0 3715579 0
[pid=18228/tid=18229] ppid=18225 vsize=15012696 memory=7022364632946311227 CPUtime=0.2 cores=1,3,5,7
/proc/18228/task/18229/stat : 18229 (java) R 18225 18225 16886 0 -1 4202560 8971 0 0 0 17 3 0 0 20 0 15 0 405573004 15373000704 21695 33554432000 4194304 4196468 140729518682928 140702922801792 140702407300448 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35414016 140729518686958 140729518687386 140729518687386 140729518690255 0
[pid=18228/tid=18230] ppid=18225 vsize=15012696 memory=397 CPUtime=0 cores=1,3,5,7
/proc/18228/task/18230/stat : 18230 (java) S 18225 18225 16886 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405573005 15373000704 21695 33554432000 4194304 4196468 140729518682928 140702955260560 140702951028437 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35414016 140729518686958 140729518687386 140729518687386 140729518690255 0
[pid=18228/tid=18231] ppid=18225 vsize=15012696 memory=140279043443798 CPUtime=0 cores=1,3,5,7
/proc/18228/task/18231/stat : 18231 (java) S 18225 18225 16886 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405573005 15373000704 21695 33554432000 4194304 4196468 140729518682928 140702730963472 140702951028437 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35414016 140729518686958 140729518687386 140729518687386 140729518690255 0
[pid=18228/tid=18232] ppid=18225 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18228/task/18232/stat : 18232 (java) S 18225 18225 16886 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405573005 15373000704 21695 33554432000 4194304 4196468 140729518682928 140702729910672 140702951028437 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35414016 140729518686958 140729518687386 140729518687386 140729518690255 0
[pid=18228/tid=18233] ppid=18225 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18228/task/18233/stat : 18233 (java) S 18225 18225 16886 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405573005 15373000704 21695 33554432000 4194304 4196468 140729518682928 140702728857872 140702951028437 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35414016 140729518686958 140729518687386 140729518687386 140729518690255 0
[pid=18228/tid=18234] ppid=18225 vsize=15012696 memory=140279043425920 CPUtime=0 cores=1,3,5,7
/proc/18228/task/18234/stat : 18234 (java) S 18225 18225 16886 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405573007 15373000704 21695 33554432000 4194304 4196468 140729518682928 140701920652144 140702951029378 0 0 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35414016 140729518686958 140729518687386 140729518687386 140729518690255 0
[pid=18228/tid=18235] ppid=18225 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18228/task/18235/stat : 18235 (java) S 18225 18225 16886 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405573007 15373000704 21695 33554432000 4194304 4196468 140729518682928 140701517997600 140702951028437 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35414016 140729518686958 140729518687386 140729518687386 140729518690255 0
[pid=18228/tid=18236] ppid=18225 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18228/task/18236/stat : 18236 (java) S 18225 18225 16886 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405573007 15373000704 21695 33554432000 4194304 4196468 140729518682928 140701249561968 140702951028437 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35414016 140729518686958 140729518687386 140729518687386 140729518690255 0
[pid=18228/tid=18237] ppid=18225 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18228/task/18237/stat : 18237 (java) S 18225 18225 16886 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405573010 15373000704 21695 33554432000 4194304 4196468 140729518682928 140700875053392 140702951036827 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35414016 140729518686958 140729518687386 140729518687386 140729518690255 0
[pid=18228/tid=18238] ppid=18225 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18228/task/18238/stat : 18238 (java) R 18225 18225 16886 0 -1 1077944384 447 0 0 0 0 0 0 0 20 0 15 0 405573010 15373000704 21695 33554432000 4194304 4196468 140729518682928 140701919598960 140702951029378 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35414016 140729518686958 140729518687386 140729518687386 140729518690255 0
[pid=18228/tid=18239] ppid=18225 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18228/task/18239/stat : 18239 (java) S 18225 18225 16886 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 15 0 405573010 15373000704 21695 33554432000 4194304 4196468 140729518682928 140701918546160 140702951029378 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35414016 140729518686958 140729518687386 140729518687386 140729518690255 0
[pid=18228/tid=18240] ppid=18225 vsize=15012696 memory=140279043425920 CPUtime=0.02 cores=1,3,5,7
/proc/18228/task/18240/stat : 18240 (java) R 18225 18225 16886 0 -1 4202560 481 0 0 0 2 0 0 0 20 0 15 0 405573010 15373000704 21695 33554432000 4194304 4196468 140729518682928 140701917493360 140702951039578 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35414016 140729518686958 140729518687386 140729518687386 140729518690255 0
[pid=18228/tid=18241] ppid=18225 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18228/task/18241/stat : 18241 (java) S 18225 18225 16886 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405573010 15373000704 21695 33554432000 4194304 4196468 140729518682928 140700377147616 140702951028437 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35414016 140729518686958 140729518687386 140729518687386 140729518690255 0
[pid=18228/tid=18242] ppid=18225 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18228/task/18242/stat : 18242 (java) S 18225 18225 16886 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405573010 15373000704 21695 33554432000 4194304 4196468 140729518682928 140701916441776 140702951029378 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35414016 140729518686958 140729518687386 140729518687386 140729518690255 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 88176 KiB

[startup+0.310954 s]*
/proc/loadavg: 2.00 2.08 2.28 3/241 18242
/proc/meminfo: memFree=31248200/32770624 swapFree=67003272/67108860
[pid=18225] ppid=18222 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/18225/stat : 18225 (scop.sh) S 18222 18225 16886 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 405573003 115843072 349 33554432000 4194304 5098028 140731716359488 140731716356744 139862415983228 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 8024064 140731716363048 140731716363376 140731716363376 140731716366285 0
/proc/18225/statm: 28282 349 296 221 0 87 0
[pid=18228] ppid=18225 vsize=15012696 memory=90724 CPUtime=0.43 cores=1,3,5,7
/proc/18228/stat : 18228 (java) S 18225 18225 16886 0 -1 1077944320 12184 0 0 0 39 4 0 0 20 0 15 0 405573003 15373000704 22681 33554432000 4194304 4196468 140729518682928 140729518665472 140702951018231 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 35414016 140729518686958 140729518687386 140729518687386 140729518690255 0
/proc/18228/statm: 3753174 22681 3070 1 0 3715579 0
[pid=18228/tid=18229] ppid=18225 vsize=15012696 memory=7022364632946311227 CPUtime=0.29 cores=1,3,5,7
/proc/18228/task/18229/stat : 18229 (java) R 18225 18225 16886 0 -1 4202560 9727 0 0 0 26 3 0 0 20 0 15 0 405573004 15373000704 22681 33554432000 4194304 4196468 140729518682928 140702922801248 140702936183875 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35414016 140729518686958 140729518687386 140729518687386 140729518690255 0
[pid=18228/tid=18230] ppid=18225 vsize=15012696 memory=288230613314699634 CPUtime=0 cores=1,3,5,7
/proc/18228/task/18230/stat : 18230 (java) S 18225 18225 16886 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405573005 15373000704 22681 33554432000 4194304 4196468 140729518682928 140702955260560 140702951028437 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35414016 140729518686958 140729518687386 140729518687386 140729518690255 0
[pid=18228/tid=18231] ppid=18225 vsize=15012696 memory=4121138038934094649 CPUtime=0 cores=1,3,5,7
/proc/18228/task/18231/stat : 18231 (java) S 18225 18225 16886 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405573005 15373000704 22681 33554432000 4194304 4196468 140729518682928 140702730963472 140702951028437 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35414016 140729518686958 140729518687386 140729518687386 140729518690255 0
[pid=18228/tid=18232] ppid=18225 vsize=15012696 memory=280557867268464 CPUtime=0 cores=1,3,5,7
/proc/18228/task/18232/stat : 18232 (java) S 18225 18225 16886 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405573005 15373000704 22681 33554432000 4194304 4196468 140729518682928 140702729910672 140702951028437 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35414016 140729518686958 140729518687386 140729518687386 140729518690255 0
[pid=18228/tid=18233] ppid=18225 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18228/task/18233/stat : 18233 (java) S 18225 18225 16886 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405573005 15373000704 22681 33554432000 4194304 4196468 140729518682928 140702728857872 140702951028437 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35414016 140729518686958 140729518687386 140729518687386 140729518690255 0
[pid=18228/tid=18234] ppid=18225 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18228/task/18234/stat : 18234 (java) S 18225 18225 16886 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405573007 15373000704 22681 33554432000 4194304 4196468 140729518682928 140701920652144 140702951029378 0 0 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35414016 140729518686958 140729518687386 140729518687386 140729518690255 0
[pid=18228/tid=18235] ppid=18225 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18228/task/18235/stat : 18235 (java) S 18225 18225 16886 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405573007 15373000704 22681 33554432000 4194304 4196468 140729518682928 140701517997600 140702951028437 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35414016 140729518686958 140729518687386 140729518687386 140729518690255 0
[pid=18228/tid=18236] ppid=18225 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18228/task/18236/stat : 18236 (java) S 18225 18225 16886 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405573007 15373000704 22681 33554432000 4194304 4196468 140729518682928 140701249561968 140702951028437 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35414016 140729518686958 140729518687386 140729518687386 140729518690255 0
[pid=18228/tid=18237] ppid=18225 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18228/task/18237/stat : 18237 (java) S 18225 18225 16886 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405573010 15373000704 22681 33554432000 4194304 4196468 140729518682928 140700875053392 140702951036827 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35414016 140729518686958 140729518687386 140729518687386 140729518690255 0
[pid=18228/tid=18238] ppid=18225 vsize=15012696 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/18228/task/18238/stat : 18238 (java) S 18225 18225 16886 0 -1 1077944384 553 0 0 0 2 0 0 0 20 0 15 0 405573010 15373000704 22681 33554432000 4194304 4196468 140729518682928 140701919598960 140702951029378 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35414016 140729518686958 140729518687386 140729518687386 140729518690255 0
[pid=18228/tid=18239] ppid=18225 vsize=15012696 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/18228/task/18239/stat : 18239 (java) S 18225 18225 16886 0 -1 1077944384 69 0 0 0 1 0 0 0 20 0 15 0 405573010 15373000704 22681 33554432000 4194304 4196468 140729518682928 140701918546160 140702951029378 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35414016 140729518686958 140729518687386 140729518687386 140729518690255 0
[pid=18228/tid=18240] ppid=18225 vsize=15012696 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18228/task/18240/stat : 18240 (java) S 18225 18225 16886 0 -1 1077944384 503 0 0 0 7 0 0 0 20 0 15 0 405573010 15373000704 22681 33554432000 4194304 4196468 140729518682928 140701917493360 140702951029378 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35414016 140729518686958 140729518687386 140729518687386 140729518690255 0
[pid=18228/tid=18241] ppid=18225 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18228/task/18241/stat : 18241 (java) S 18225 18225 16886 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405573010 15373000704 22681 33554432000 4194304 4196468 140729518682928 140700377147616 140702951028437 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35414016 140729518686958 140729518687386 140729518687386 140729518690255 0
[pid=18228/tid=18242] ppid=18225 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18228/task/18242/stat : 18242 (java) S 18225 18225 16886 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405573010 15373000704 22681 33554432000 4194304 4196468 140729518682928 140701916441776 140702951029378 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35414016 140729518686958 140729518687386 140729518687386 140729518690255 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 92120 KiB

[startup+0.701422 s]
/proc/loadavg: 2.00 2.08 2.28 3/241 18242
/proc/meminfo: memFree=31224760/32770624 swapFree=67003272/67108860
[pid=18225] ppid=18222 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/18225/stat : 18225 (scop.sh) S 18222 18225 16886 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 405573003 115843072 349 33554432000 4194304 5098028 140731716359488 140731716356744 139862415983228 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 8024064 140731716363048 140731716363376 140731716363376 140731716366285 0
/proc/18225/statm: 28282 349 296 221 0 87 0
[pid=18228] ppid=18225 vsize=15018968 memory=129812 CPUtime=1.02 cores=1,3,5,7
/proc/18228/stat : 18228 (java) S 18225 18225 16886 0 -1 1077944320 19685 0 0 0 95 7 0 0 20 0 15 0 405573003 15379423232 32453 33554432000 4194304 4196468 140729518682928 140729518665472 140702951018231 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 35414016 140729518686958 140729518687386 140729518687386 140729518690255 0
/proc/18228/statm: 3754742 32453 3184 1 0 3716091 0
[pid=18228/tid=18229] ppid=18225 vsize=15018968 memory=1616 CPUtime=0.66 cores=1,3,5,7
/proc/18228/task/18229/stat : 18229 (java) R 18225 18225 16886 0 -1 4202560 16714 0 0 0 61 5 0 0 20 0 15 0 405573004 15379423232 32453 33554432000 4194304 4196468 140729518682928 140702922833296 140702951040157 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35414016 140729518686958 140729518687386 140729518687386 140729518690255 0
[pid=18228/tid=18230] ppid=18225 vsize=15018968 memory=784 CPUtime=0 cores=1,3,5,7
/proc/18228/task/18230/stat : 18230 (java) S 18225 18225 16886 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405573005 15379423232 32453 33554432000 4194304 4196468 140729518682928 140702955260560 140702951028437 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35414016 140729518686958 140729518687386 140729518687386 140729518690255 0
[pid=18228/tid=18231] ppid=18225 vsize=15018968 memory=8252 CPUtime=0 cores=1,3,5,7
/proc/18228/task/18231/stat : 18231 (java) S 18225 18225 16886 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405573005 15379423232 32453 33554432000 4194304 4196468 140729518682928 140702730963472 140702951028437 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35414016 140729518686958 140729518687386 140729518687386 140729518690255 0
[pid=18228/tid=18232] ppid=18225 vsize=15018968 memory=5912 CPUtime=0 cores=1,3,5,7
/proc/18228/task/18232/stat : 18232 (java) S 18225 18225 16886 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405573005 15379423232 32453 33554432000 4194304 4196468 140729518682928 140702729910672 140702951028437 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35414016 140729518686958 140729518687386 140729518687386 140729518690255 0
[pid=18228/tid=18233] ppid=18225 vsize=15018968 memory=1056 CPUtime=0 cores=1,3,5,7
/proc/18228/task/18233/stat : 18233 (java) S 18225 18225 16886 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405573005 15379423232 32453 33554432000 4194304 4196468 140729518682928 140702728857872 140702951028437 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35414016 140729518686958 140729518687386 140729518687386 140729518690255 0
[pid=18228/tid=18234] ppid=18225 vsize=15018968 memory=1540 CPUtime=0 cores=1,3,5,7
/proc/18228/task/18234/stat : 18234 (java) S 18225 18225 16886 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 405573007 15379423232 32453 33554432000 4194304 4196468 140729518682928 140701920652144 140702951029378 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35414016 140729518686958 140729518687386 140729518687386 140729518690255 0
[pid=18228/tid=18235] ppid=18225 vsize=15018968 memory=728 CPUtime=0 cores=1,3,5,7
/proc/18228/task/18235/stat : 18235 (java) S 18225 18225 16886 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405573007 15379423232 32453 33554432000 4194304 4196468 140729518682928 140701517997600 140702951028437 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35414016 140729518686958 140729518687386 140729518687386 140729518690255 0
[pid=18228/tid=18236] ppid=18225 vsize=15018968 memory=3436 CPUtime=0 cores=1,3,5,7
/proc/18228/task/18236/stat : 18236 (java) S 18225 18225 16886 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405573007 15379423232 32453 33554432000 4194304 4196468 140729518682928 140701249561968 140702951028437 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35414016 140729518686958 140729518687386 140729518687386 140729518690255 0
[pid=18228/tid=18237] ppid=18225 vsize=15018968 memory=2832 CPUtime=0 cores=1,3,5,7
/proc/18228/task/18237/stat : 18237 (java) S 18225 18225 16886 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405573010 15379423232 32453 33554432000 4194304 4196468 140729518682928 140700875053392 140702951036827 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35414016 140729518686958 140729518687386 140729518687386 140729518690255 0
[pid=18228/tid=18238] ppid=18225 vsize=15018968 memory=1212 CPUtime=0.09 cores=1,3,5,7
/proc/18228/task/18238/stat : 18238 (java) S 18225 18225 16886 0 -1 1077944384 727 0 0 0 9 0 0 0 20 0 15 0 405573010 15379423232 32453 33554432000 4194304 4196468 140729518682928 140701919598960 140702951029378 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35414016 140729518686958 140729518687386 140729518687386 140729518690255 0
[pid=18228/tid=18239] ppid=18225 vsize=15018968 memory=1036 CPUtime=0.08 cores=1,3,5,7
/proc/18228/task/18239/stat : 18239 (java) S 18225 18225 16886 0 -1 1077944384 304 0 0 0 8 0 0 0 20 0 15 0 405573010 15379423232 32453 33554432000 4194304 4196468 140729518682928 140701918546160 140702951029378 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35414016 140729518686958 140729518687386 140729518687386 140729518690255 0
[pid=18228/tid=18240] ppid=18225 vsize=15018968 memory=14008 CPUtime=0.15 cores=1,3,5,7
/proc/18228/task/18240/stat : 18240 (java) S 18225 18225 16886 0 -1 1077944384 605 0 0 0 15 0 0 0 20 0 15 0 405573010 15379423232 32453 33554432000 4194304 4196468 140729518682928 140701917493360 140702951029378 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35414016 140729518686958 140729518687386 140729518687386 140729518690255 0
[pid=18228/tid=18241] ppid=18225 vsize=15018968 memory=12024 CPUtime=0 cores=1,3,5,7
/proc/18228/task/18241/stat : 18241 (java) S 18225 18225 16886 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405573010 15379423232 32453 33554432000 4194304 4196468 140729518682928 140700377147616 140702951028437 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35414016 140729518686958 140729518687386 140729518687386 140729518690255 0
[pid=18228/tid=18242] ppid=18225 vsize=15018968 memory=2116 CPUtime=0 cores=1,3,5,7
/proc/18228/task/18242/stat : 18242 (java) S 18225 18225 16886 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405573010 15379423232 32453 33554432000 4194304 4196468 140729518682928 140701916441776 140702951029378 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35414016 140729518686958 140729518687386 140729518687386 140729518690255 0
Current children cumulated CPU time: 1.02 s
Current children cumulated vsize: 15132096 KiB
Current children cumulated memory: 131208 KiB

[startup+1.50089 s]
/proc/loadavg: 2.08 2.10 2.28 4/241 18242
/proc/meminfo: memFree=31197212/32770624 swapFree=67003272/67108860
[pid=18225] ppid=18222 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/18225/stat : 18225 (scop.sh) S 18222 18225 16886 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 405573003 115843072 349 33554432000 4194304 5098028 140731716359488 140731716356744 139862415983228 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 8024064 140731716363048 140731716363376 140731716363376 140731716366285 0
/proc/18225/statm: 28282 349 296 221 0 87 0

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

[pid=18253/tid=18266] ppid=18225 vsize=8068440 memory=7681905605394137914 CPUtime=0 cores=1,3,5,7
/proc/18253/task/18266/stat : 18266 (java) S 18225 18225 16886 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405586500 8262082560 30017 33554432000 4194304 4196468 140727977019664 140530860157280 140533184927445 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31195136 140727977026555 140727977026714 140727977026714 140727977029583 0
[pid=18253/tid=18267] ppid=18225 vsize=8068440 memory=4206468019014099040 CPUtime=0 cores=1,3,5,7
/proc/18253/task/18267/stat : 18267 (java) S 18225 18225 16886 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405586501 8262082560 30017 33554432000 4194304 4196468 140727977019664 140532492979248 140533184928386 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 6 0 0 6293624 6294260 31195136 140727977026555 140727977026714 140727977026714 140727977029583 0
[pid=18253/tid=18269] ppid=18225 vsize=8068440 memory=6944613755328037012 CPUtime=0 cores=1,3,5,7
/proc/18253/task/18269/stat : 18269 (java) S 18225 18225 16886 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 405586569 8262082560 30017 33554432000 4194304 4196468 140727977019664 140532484945728 140533184941849 0 4 2 25189581 18446744071579417331 0 0 -1 1 0 0 0 0 0 6293624 6294260 31195136 140727977026555 140727977026714 140727977026714 140727977029583 0
[pid=18253/tid=18271] ppid=18225 vsize=8068440 memory=6944656425122832000 CPUtime=0 cores=1,3,5,7
/proc/18253/task/18271/stat : 18271 (java) S 18225 18225 16886 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 405586570 8262082560 30017 33554432000 4194304 4196468 140727977019664 140530323275664 140533184939165 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 31195136 140727977026555 140727977026714 140727977026714 140727977029583 0
[pid=18253/tid=18272] ppid=18225 vsize=8068440 memory=6944656592452807316 CPUtime=0 cores=1,3,5,7
/proc/18253/task/18272/stat : 18272 (java) S 18225 18225 16886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 405586570 8262082560 30017 33554432000 4194304 4196468 140727977019664 140530189053456 140533184939165 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 31195136 140727977026555 140727977026714 140727977026714 140727977029583 0
[pid=18253/tid=18273] ppid=18225 vsize=8068440 memory=-7025452035942946156 CPUtime=0 cores=1,3,5,7
/proc/18253/task/18273/stat : 18273 (java) S 18225 18225 16886 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 19 0 405586572 8262082560 30017 33554432000 4194304 4196468 140727977019664 140530591718704 140533184927445 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31195136 140727977026555 140727977026714 140727977026714 140727977029583 0
Current children cumulated CPU time: 187.06 s
Current children cumulated vsize: 8735580 KiB
Current children cumulated memory: 594936 KiB

[startup+153.601 s]
/proc/loadavg: 2.02 2.10 2.26 3/246 18275
/proc/meminfo: memFree=30532540/32770624 swapFree=67003272/67108860
[pid=18225] ppid=18222 vsize=113128 memory=1476 CPUtime=169.47 cores=1,3,5,7
/proc/18225/stat : 18225 (scop.sh) S 18222 18225 16886 0 -1 4202496 584 82698 0 0 0 0 16542 405 20 0 1 0 405573003 115843072 369 33554432000 4194304 5098028 140731716359488 140731716356232 139862415983228 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 8024064 140731716363048 140731716363376 140731716363376 140731716366285 0
/proc/18225/statm: 28282 369 311 221 0 87 0
[pid=18253] ppid=18225 vsize=8068440 memory=120068 CPUtime=1.25 cores=1,3,5,7
/proc/18253/stat : 18253 (java) S 18225 18225 16886 0 -1 1077944320 20460 0 0 0 117 8 0 0 20 0 19 0 405586493 8262082560 30017 33554432000 4194304 4196468 140727977019664 140727977002208 140533184917239 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31195136 140727977026555 140727977026714 140727977026714 140727977029583 0
/proc/18253/statm: 2017110 30017 3210 1 0 1978454 0
[pid=18268] ppid=18253 vsize=577036 memory=497748 CPUtime=17.94 cores=1,3,5,7
/proc/18268/stat : 18268 (glueminisat-sim) R 18253 18225 16886 0 -1 4202496 328414 0 0 0 1760 34 0 0 20 0 1 0 405586569 590884864 124437 33554432000 4194304 4452875 140720762332384 140720762326760 4399107 0 4 0 8388610 0 0 0 17 1 0 0 0 0 0 6552096 6554264 25128960 140720762336095 140720762336295 140720762336295 140720762339245 0
/proc/18268/statm: 144259 124437 353 64 0 140463 0
[pid=18253/tid=18254] ppid=18225 vsize=8068440 memory=7300704776819335744 CPUtime=0.78 cores=1,3,5,7
/proc/18253/task/18254/stat : 18254 (java) S 18225 18225 16886 0 -1 1077944384 17402 0 0 0 72 6 0 0 20 0 19 0 405586494 8262082560 30017 33554432000 4194304 4196468 140727977019664 140533156757408 140533184927445 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31195136 140727977026555 140727977026714 140727977026714 140727977029583 0
[pid=18253/tid=18255] ppid=18225 vsize=8068440 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18253/task/18255/stat : 18255 (java) S 18225 18225 16886 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405586495 8262082560 30017 33554432000 4194304 4196468 140727977019664 140533189159440 140533184927445 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31195136 140727977026555 140727977026714 140727977026714 140727977029583 0
[pid=18253/tid=18256] ppid=18225 vsize=8068440 memory=7883944108235712103 CPUtime=0 cores=1,3,5,7
/proc/18253/task/18256/stat : 18256 (java) S 18225 18225 16886 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405586495 8262082560 30017 33554432000 4194304 4196468 140727977019664 140533009455760 140533184927445 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31195136 140727977026555 140727977026714 140727977026714 140727977029583 0
[pid=18253/tid=18257] ppid=18225 vsize=8068440 memory=7649399362773202993 CPUtime=0 cores=1,3,5,7
/proc/18253/task/18257/stat : 18257 (java) S 18225 18225 16886 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405586495 8262082560 30017 33554432000 4194304 4196468 140727977019664 140532668746000 140533184927445 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31195136 140727977026555 140727977026714 140727977026714 140727977029583 0
[pid=18253/tid=18258] ppid=18225 vsize=8068440 memory=-7824251494390847593 CPUtime=0 cores=1,3,5,7
/proc/18253/task/18258/stat : 18258 (java) S 18225 18225 16886 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405586495 8262082560 30017 33554432000 4194304 4196468 140727977019664 140532667693456 140533184927445 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31195136 140727977026555 140727977026714 140727977026714 140727977029583 0
[pid=18253/tid=18259] ppid=18225 vsize=8068440 memory=7681421203011431829 CPUtime=0 cores=1,3,5,7
/proc/18253/task/18259/stat : 18259 (java) S 18225 18225 16886 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 19 0 405586496 8262082560 30017 33554432000 4194304 4196468 140727977019664 140532497189616 140533184928386 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31195136 140727977026555 140727977026714 140727977026714 140727977029583 0
[pid=18253/tid=18260] ppid=18225 vsize=8068440 memory=-2672971631320983069 CPUtime=0 cores=1,3,5,7
/proc/18253/task/18260/stat : 18260 (java) S 18225 18225 16886 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 405586497 8262082560 30017 33554432000 4194304 4196468 140727977019664 140532001007264 140533184927445 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31195136 140727977026555 140727977026714 140727977026714 140727977029583 0
[pid=18253/tid=18261] ppid=18225 vsize=8068440 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/18253/task/18261/stat : 18261 (java) S 18225 18225 16886 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405586497 8262082560 30017 33554432000 4194304 4196468 140727977019664 140531732571376 140533184927445 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31195136 140727977026555 140727977026714 140727977026714 140727977029583 0
[pid=18253/tid=18262] ppid=18225 vsize=8068440 memory=6074172 CPUtime=0 cores=1,3,5,7
/proc/18253/task/18262/stat : 18262 (java) S 18225 18225 16886 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405586500 8262082560 30017 33554432000 4194304 4196468 140727977019664 140531358063056 140533184935835 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31195136 140727977026555 140727977026714 140727977026714 140727977029583 0
[pid=18253/tid=18263] ppid=18225 vsize=8068440 memory=496 CPUtime=0.11 cores=1,3,5,7
/proc/18253/task/18263/stat : 18263 (java) S 18225 18225 16886 0 -1 1077944384 735 0 0 0 11 0 0 0 20 0 19 0 405586500 8262082560 30017 33554432000 4194304 4196468 140727977019664 140532496136432 140533184928386 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31195136 140727977026555 140727977026714 140727977026714 140727977029583 0
[pid=18253/tid=18264] ppid=18225 vsize=8068440 memory=1564 CPUtime=0.08 cores=1,3,5,7
/proc/18253/task/18264/stat : 18264 (java) S 18225 18225 16886 0 -1 1077944384 317 0 0 0 8 0 0 0 20 0 19 0 405586500 8262082560 30017 33554432000 4194304 4196468 140727977019664 140532495083888 140533184928386 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31195136 140727977026555 140727977026714 140727977026714 140727977029583 0
[pid=18253/tid=18265] ppid=18225 vsize=8068440 memory=6791534058613427641 CPUtime=0.22 cores=1,3,5,7
/proc/18253/task/18265/stat : 18265 (java) S 18225 18225 16886 0 -1 1077944384 608 0 0 0 22 0 0 0 20 0 19 0 405586500 8262082560 30017 33554432000 4194304 4196468 140727977019664 140532494030832 140533184928386 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31195136 140727977026555 140727977026714 140727977026714 140727977029583 0
[pid=18253/tid=18266] ppid=18225 vsize=8068440 memory=1804 CPUtime=0 cores=1,3,5,7
/proc/18253/task/18266/stat : 18266 (java) S 18225 18225 16886 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405586500 8262082560 30017 33554432000 4194304 4196468 140727977019664 140530860157280 140533184927445 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31195136 140727977026555 140727977026714 140727977026714 140727977029583 0
[pid=18253/tid=18267] ppid=18225 vsize=8068440 memory=920 CPUtime=0 cores=1,3,5,7
/proc/18253/task/18267/stat : 18267 (java) S 18225 18225 16886 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405586501 8262082560 30017 33554432000 4194304 4196468 140727977019664 140532492979248 140533184928386 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 6 0 0 6293624 6294260 31195136 140727977026555 140727977026714 140727977026714 140727977029583 0
[pid=18253/tid=18269] ppid=18225 vsize=8068440 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/18253/task/18269/stat : 18269 (java) S 18225 18225 16886 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 405586569 8262082560 30017 33554432000 4194304 4196468 140727977019664 140532484945728 140533184941849 0 4 2 25189581 18446744071579417331 0 0 -1 1 0 0 0 0 0 6293624 6294260 31195136 140727977026555 140727977026714 140727977026714 140727977029583 0
[pid=18253/tid=18271] ppid=18225 vsize=8068440 memory=120068 CPUtime=0 cores=1,3,5,7
/proc/18253/task/18271/stat : 18271 (java) S 18225 18225 16886 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 405586570 8262082560 30017 33554432000 4194304 4196468 140727977019664 140530323275664 140533184939165 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 31195136 140727977026555 140727977026714 140727977026714 140727977029583 0
[pid=18253/tid=18272] ppid=18225 vsize=8068440 memory=473392 CPUtime=0 cores=1,3,5,7
/proc/18253/task/18272/stat : 18272 (java) S 18225 18225 16886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 405586570 8262082560 30017 33554432000 4194304 4196468 140727977019664 140530189053456 140533184939165 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 31195136 140727977026555 140727977026714 140727977026714 140727977029583 0
[pid=18253/tid=18273] ppid=18225 vsize=8068440 memory=-7824251494390847593 CPUtime=0 cores=1,3,5,7
/proc/18253/task/18273/stat : 18273 (java) S 18225 18225 16886 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 19 0 405586572 8262082560 30017 33554432000 4194304 4196468 140727977019664 140530591718704 140533184927445 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31195136 140727977026555 140727977026714 140727977026714 140727977029583 0
Current children cumulated CPU time: 188.66 s
Current children cumulated vsize: 8758604 KiB
Current children cumulated memory: 619292 KiB

[startup+154.001 s]*
/proc/loadavg: 2.02 2.10 2.26 3/244 18275
/proc/meminfo: memFree=31099880/32770624 swapFree=67003272/67108860
[pid=18225] ppid=18222 vsize=113128 memory=1476 CPUtime=169.47 cores=1,3,5,7
/proc/18225/stat : 18225 (scop.sh) S 18222 18225 16886 0 -1 4202496 584 82698 0 0 0 0 16542 405 20 0 1 0 405573003 115843072 369 33554432000 4194304 5098028 140731716359488 140731716356232 139862415983228 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 8024064 140731716363048 140731716363376 140731716363376 140731716366285 0
/proc/18225/statm: 28282 369 311 221 0 87 0
[pid=18253] ppid=18225 vsize=8068440 memory=141408 CPUtime=19.73 cores=1,3,5,7
/proc/18253/stat : 18253 (java) S 18225 18225 16886 0 -1 1077944320 21213 358956 0 0 132 8 1795 38 20 0 18 0 405586493 8262082560 35352 33554432000 4194304 4196468 140727977019664 140727977002208 140533184917239 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31195136 140727977026555 140727977026714 140727977026714 140727977029583 0
/proc/18253/statm: 2017110 35352 3220 1 0 1978454 0
[pid=18253/tid=18254] ppid=18225 vsize=8068440 memory=6791534058613427641 CPUtime=19.11 cores=1,3,5,7
/proc/18253/task/18254/stat : 18254 (java) S 18225 18225 16886 0 -1 1077944384 17402 358956 0 0 72 6 1795 38 20 0 18 0 405586494 8262082560 35352 33554432000 4194304 4196468 140727977019664 140533156757408 140533184927445 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31195136 140727977026555 140727977026714 140727977026714 140727977029583 0
[pid=18253/tid=18255] ppid=18225 vsize=8068440 memory=4872558044660077418 CPUtime=18.33 cores=1,3,5,7
/proc/18253/task/18255/stat : 18255 (java) S 18225 18225 16886 0 -1 1077944384 1 358956 0 0 0 0 1795 38 20 0 18 0 405586495 8262082560 35352 33554432000 4194304 4196468 140727977019664 140533189159440 140533184927445 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31195136 140727977026555 140727977026714 140727977026714 140727977029583 0
[pid=18253/tid=18256] ppid=18225 vsize=8068440 memory=473392 CPUtime=18.33 cores=1,3,5,7
/proc/18253/task/18256/stat : 18256 (java) S 18225 18225 16886 0 -1 1077944384 2 358956 0 0 0 0 1795 38 20 0 18 0 405586495 8262082560 35352 33554432000 4194304 4196468 140727977019664 140533009455760 140533184927445 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31195136 140727977026555 140727977026714 140727977026714 140727977029583 0
[pid=18253/tid=18257] ppid=18225 vsize=8068440 memory=784 CPUtime=18.33 cores=1,3,5,7
/proc/18253/task/18257/stat : 18257 (java) S 18225 18225 16886 0 -1 1077944384 2 358956 0 0 0 0 1795 38 20 0 18 0 405586495 8262082560 35352 33554432000 4194304 4196468 140727977019664 140532668746000 140533184927445 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31195136 140727977026555 140727977026714 140727977026714 140727977029583 0
[pid=18253/tid=18258] ppid=18225 vsize=8068440 memory=12695 CPUtime=18.33 cores=1,3,5,7
/proc/18253/task/18258/stat : 18258 (java) S 18225 18225 16886 0 -1 1077944384 1 358956 0 0 0 0 1795 38 20 0 18 0 405586495 8262082560 35352 33554432000 4194304 4196468 140727977019664 140532667693456 140533184927445 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31195136 140727977026555 140727977026714 140727977026714 140727977029583 0
[pid=18253/tid=18259] ppid=18225 vsize=8068440 memory=732 CPUtime=18.33 cores=1,3,5,7
/proc/18253/task/18259/stat : 18259 (java) S 18225 18225 16886 0 -1 1077944384 7 358956 0 0 0 0 1795 38 20 0 18 0 405586496 8262082560 35352 33554432000 4194304 4196468 140727977019664 140532497189616 140533184928386 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31195136 140727977026555 140727977026714 140727977026714 140727977029583 0
[pid=18253/tid=18260] ppid=18225 vsize=8068440 memory=733 CPUtime=18.33 cores=1,3,5,7
/proc/18253/task/18260/stat : 18260 (java) S 18225 18225 16886 0 -1 1077944384 13 358956 0 0 0 0 1795 38 20 0 18 0 405586497 8262082560 35352 33554432000 4194304 4196468 140727977019664 140532001007264 140533184927445 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31195136 140727977026555 140727977026714 140727977026714 140727977029583 0
[pid=18253/tid=18261] ppid=18225 vsize=8068440 memory=8252 CPUtime=18.33 cores=1,3,5,7
/proc/18253/task/18261/stat : 18261 (java) S 18225 18225 16886 0 -1 1077944384 1 358956 0 0 0 0 1795 38 20 0 18 0 405586497 8262082560 35352 33554432000 4194304 4196468 140727977019664 140531732571376 140533184927445 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31195136 140727977026555 140727977026714 140727977026714 140727977029583 0
[pid=18253/tid=18262] ppid=18225 vsize=8068440 memory=5912 CPUtime=18.33 cores=1,3,5,7
/proc/18253/task/18262/stat : 18262 (java) S 18225 18225 16886 0 -1 1077944384 3 358956 0 0 0 0 1795 38 20 0 18 0 405586500 8262082560 35352 33554432000 4194304 4196468 140727977019664 140531358063056 140533184935835 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31195136 140727977026555 140727977026714 140727977026714 140727977029583 0
[pid=18253/tid=18263] ppid=18225 vsize=8068440 memory=1056 CPUtime=18.49 cores=1,3,5,7
/proc/18253/task/18263/stat : 18263 (java) S 18225 18225 16886 0 -1 1077944384 1000 358956 0 0 16 0 1795 38 20 0 18 0 405586500 8262082560 35352 33554432000 4194304 4196468 140727977019664 140532496136432 140533184928386 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31195136 140727977026555 140727977026714 140727977026714 140727977029583 0
[pid=18253/tid=18264] ppid=18225 vsize=8068440 memory=1540 CPUtime=18.44 cores=1,3,5,7
/proc/18253/task/18264/stat : 18264 (java) S 18225 18225 16886 0 -1 1077944384 334 358956 0 0 11 0 1795 38 20 0 18 0 405586500 8262082560 35352 33554432000 4194304 4196468 140727977019664 140532495083888 140533184928386 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31195136 140727977026555 140727977026714 140727977026714 140727977029583 0
[pid=18253/tid=18265] ppid=18225 vsize=8068440 memory=728 CPUtime=18.57 cores=1,3,5,7
/proc/18253/task/18265/stat : 18265 (java) R 18225 18225 16886 0 -1 4202560 1025 358956 0 0 24 0 1795 38 20 0 18 0 405586500 8262082560 35352 33554432000 4194304 4196468 140727977019664 140532494030832 140533184929174 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31195136 140727977026555 140727977026714 140727977026714 140727977029583 0
[pid=18253/tid=18266] ppid=18225 vsize=8068440 memory=3436 CPUtime=18.33 cores=1,3,5,7
/proc/18253/task/18266/stat : 18266 (java) S 18225 18225 16886 0 -1 1077944384 3 358956 0 0 0 0 1795 38 20 0 18 0 405586500 8262082560 35352 33554432000 4194304 4196468 140727977019664 140530860157280 140533184927445 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31195136 140727977026555 140727977026714 140727977026714 140727977029583 0
[pid=18253/tid=18267] ppid=18225 vsize=8068440 memory=2832 CPUtime=18.33 cores=1,3,5,7
/proc/18253/task/18267/stat : 18267 (java) S 18225 18225 16886 0 -1 1077944384 3 358956 0 0 0 0 1795 38 20 0 18 0 405586501 8262082560 35352 33554432000 4194304 4196468 140727977019664 140532492979248 140533184928386 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 6 0 0 6293624 6294260 31195136 140727977026555 140727977026714 140727977026714 140727977029583 0
[pid=18253/tid=18269] ppid=18225 vsize=8068440 memory=1476 CPUtime=18.33 cores=1,3,5,7
/proc/18253/task/18269/stat : 18269 (java) S 18225 18225 16886 0 -1 1077944384 24 358956 0 0 0 0 1795 38 20 0 18 0 405586569 8262082560 35352 33554432000 4194304 4196468 140727977019664 140532484944912 140533184928386 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31195136 140727977026555 140727977026714 140727977026714 140727977029583 0
[pid=18253/tid=18271] ppid=18225 vsize=8068440 memory=120068 CPUtime=18.39 cores=1,3,5,7
/proc/18253/task/18271/stat : 18271 (java) R 18225 18225 16886 0 -1 4202560 60 358956 0 0 6 0 1795 38 20 0 18 0 405586570 8262082560 35352 33554432000 4194304 4196468 140727977019664 140530323275696 140533184929174 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31195136 140727977026555 140727977026714 140727977026714 140727977029583 0
[pid=18253/tid=18273] ppid=18225 vsize=8068440 memory=452720 CPUtime=18.33 cores=1,3,5,7
/proc/18253/task/18273/stat : 18273 (java) S 18225 18225 16886 0 -1 1077944384 26 358956 0 0 0 0 1795 38 20 0 18 0 405586572 8262082560 35352 33554432000 4194304 4196468 140727977019664 140530591718464 140533184927445 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31195136 140727977026555 140727977026714 140727977026714 140727977029583 0
Current children cumulated CPU time: 189.2 s
Current children cumulated vsize: 8181568 KiB
Current children cumulated memory: 142884 KiB

[startup+154.201 s]
/proc/loadavg: 2.02 2.10 2.26 3/244 18275
/proc/meminfo: memFree=31099880/32770624 swapFree=67003272/67108860
[pid=18225] ppid=18222 vsize=113128 memory=1476 CPUtime=169.47 cores=1,3,5,7
/proc/18225/stat : 18225 (scop.sh) S 18222 18225 16886 0 -1 4202496 584 82698 0 0 0 0 16542 405 20 0 1 0 405573003 115843072 369 33554432000 4194304 5098028 140731716359488 140731716356232 139862415983228 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 8024064 140731716363048 140731716363376 140731716363376 140731716366285 0
/proc/18225/statm: 28282 369 311 221 0 87 0
[pid=18253] ppid=18225 vsize=7937364 memory=157900 CPUtime=20.19 cores=1,3,5,7
/proc/18253/stat : 18253 (java) S 18225 18225 16886 0 -1 1077944320 21741 358956 0 0 177 9 1795 38 20 0 17 0 405586493 8127860736 39475 33554432000 4194304 4196468 140727977019664 140727977002208 140533184917239 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31195136 140727977026555 140727977026714 140727977026714 140727977029583 0
/proc/18253/statm: 1984341 39475 3232 1 0 1945685 0
[pid=18253/tid=18254] ppid=18225 vsize=7937364 memory=6791534058613427641 CPUtime=19.24 cores=1,3,5,7
/proc/18253/task/18254/stat : 18254 (java) R 18225 18225 16886 0 -1 4202560 17656 358956 0 0 85 6 1795 38 20 0 17 0 405586494 8127860736 39475 33554432000 4194304 4196468 140727977019664 140533156755216 140532686704872 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31195136 140727977026555 140727977026714 140727977026714 140727977029583 0
[pid=18253/tid=18255] ppid=18225 vsize=7937364 memory=254844 CPUtime=18.33 cores=1,3,5,7
/proc/18253/task/18255/stat : 18255 (java) S 18225 18225 16886 0 -1 1077944384 1 358956 0 0 0 0 1795 38 20 0 17 0 405586495 8127860736 39475 33554432000 4194304 4196468 140727977019664 140533189159440 140533184927445 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31195136 140727977026555 140727977026714 140727977026714 140727977029583 0
[pid=18253/tid=18256] ppid=18225 vsize=7937364 memory=1616 CPUtime=18.33 cores=1,3,5,7
/proc/18253/task/18256/stat : 18256 (java) S 18225 18225 16886 0 -1 1077944384 2 358956 0 0 0 0 1795 38 20 0 17 0 405586495 8127860736 39475 33554432000 4194304 4196468 140727977019664 140533009455760 140533184927445 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31195136 140727977026555 140727977026714 140727977026714 140727977029583 0
[pid=18253/tid=18257] ppid=18225 vsize=7937364 memory=784 CPUtime=18.33 cores=1,3,5,7
/proc/18253/task/18257/stat : 18257 (java) S 18225 18225 16886 0 -1 1077944384 2 358956 0 0 0 0 1795 38 20 0 17 0 405586495 8127860736 39475 33554432000 4194304 4196468 140727977019664 140532668746000 140533184927445 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31195136 140727977026555 140727977026714 140727977026714 140727977029583 0
[pid=18253/tid=18258] ppid=18225 vsize=7937364 memory=280557867630960 CPUtime=18.33 cores=1,3,5,7
/proc/18253/task/18258/stat : 18258 (java) S 18225 18225 16886 0 -1 1077944384 1 358956 0 0 0 0 1795 38 20 0 17 0 405586495 8127860736 39475 33554432000 4194304 4196468 140727977019664 140532667693456 140533184927445 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31195136 140727977026555 140727977026714 140727977026714 140727977029583 0
[pid=18253/tid=18259] ppid=18225 vsize=7937364 memory=80462923958762 CPUtime=18.33 cores=1,3,5,7
/proc/18253/task/18259/stat : 18259 (java) S 18225 18225 16886 0 -1 1077944384 7 358956 0 0 0 0 1795 38 20 0 17 0 405586496 8127860736 39475 33554432000 4194304 4196468 140727977019664 140532497189616 140533184928386 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31195136 140727977026555 140727977026714 140727977026714 140727977029583 0
[pid=18253/tid=18260] ppid=18225 vsize=7937364 memory=80462923958762 CPUtime=18.33 cores=1,3,5,7
/proc/18253/task/18260/stat : 18260 (java) S 18225 18225 16886 0 -1 1077944384 13 358956 0 0 0 0 1795 38 20 0 17 0 405586497 8127860736 39475 33554432000 4194304 4196468 140727977019664 140532001007264 140533184927445 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31195136 140727977026555 140727977026714 140727977026714 140727977029583 0
[pid=18253/tid=18261] ppid=18225 vsize=7937364 memory=80462923958506 CPUtime=18.33 cores=1,3,5,7
/proc/18253/task/18261/stat : 18261 (java) S 18225 18225 16886 0 -1 1077944384 1 358956 0 0 0 0 1795 38 20 0 17 0 405586497 8127860736 39475 33554432000 4194304 4196468 140727977019664 140531732571376 140533184927445 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31195136 140727977026555 140727977026714 140727977026714 140727977029583 0
[pid=18253/tid=18262] ppid=18225 vsize=7937364 memory=280557867816000 CPUtime=18.33 cores=1,3,5,7
/proc/18253/task/18262/stat : 18262 (java) S 18225 18225 16886 0 -1 1077944384 3 358956 0 0 0 0 1795 38 20 0 17 0 405586500 8127860736 39475 33554432000 4194304 4196468 140727977019664 140531358063056 140533184935835 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31195136 140727977026555 140727977026714 140727977026714 140727977029583 0
[pid=18253/tid=18263] ppid=18225 vsize=7937364 memory=307652395180228909 CPUtime=18.59 cores=1,3,5,7
/proc/18253/task/18263/stat : 18263 (java) R 18225 18225 16886 0 -1 4202560 1049 358956 0 0 26 0 1795 38 20 0 17 0 405586500 8127860736 39475 33554432000 4194304 4196468 140727977019664 140532496122944 140533168403391 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31195136 140727977026555 140727977026714 140727977026714 140727977029583 0
[pid=18253/tid=18264] ppid=18225 vsize=7937364 memory=14699586522449448 CPUtime=18.52 cores=1,3,5,7
/proc/18253/task/18264/stat : 18264 (java) S 18225 18225 16886 0 -1 1077944384 367 358956 0 0 19 0 1795 38 20 0 17 0 405586500 8127860736 39475 33554432000 4194304 4196468 140727977019664 140532495083888 140533184928386 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31195136 140727977026555 140727977026714 140727977026714 140727977029583 0
[pid=18253/tid=18265] ppid=18225 vsize=7937364 memory=132 CPUtime=18.65 cores=1,3,5,7
/proc/18253/task/18265/stat : 18265 (java) R 18225 18225 16886 0 -1 4202560 1203 358956 0 0 32 0 1795 38 20 0 17 0 405586500 8127860736 39475 33554432000 4194304 4196468 140727977019664 140532494030832 140533164315041 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31195136 140727977026555 140727977026714 140727977026714 140727977029583 0
[pid=18253/tid=18266] ppid=18225 vsize=7937364 memory=6943526294502006880 CPUtime=18.33 cores=1,3,5,7
/proc/18253/task/18266/stat : 18266 (java) S 18225 18225 16886 0 -1 1077944384 3 358956 0 0 0 0 1795 38 20 0 17 0 405586500 8127860736 39475 33554432000 4194304 4196468 140727977019664 140530860157280 140533184927445 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31195136 140727977026555 140727977026714 140727977026714 140727977029583 0
[pid=18253/tid=18267] ppid=18225 vsize=7937364 memory=6655300316396806240 CPUtime=18.33 cores=1,3,5,7
/proc/18253/task/18267/stat : 18267 (java) S 18225 18225 16886 0 -1 1077944384 3 358956 0 0 0 0 1795 38 20 0 17 0 405586501 8127860736 39475 33554432000 4194304 4196468 140727977019664 140532492979248 140533184928386 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 6 0 0 6293624 6294260 31195136 140727977026555 140727977026714 140727977026714 140727977029583 0
[pid=18253/tid=18269] ppid=18225 vsize=7937364 memory=6655300316396806240 CPUtime=18.33 cores=1,3,5,7
/proc/18253/task/18269/stat : 18269 (java) S 18225 18225 16886 0 -1 1077944384 24 358956 0 0 0 0 1795 38 20 0 17 0 405586569 8127860736 39475 33554432000 4194304 4196468 140727977019664 140532484944912 140533184928386 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31195136 140727977026555 140727977026714 140727977026714 140727977029583 0
[pid=18253/tid=18273] ppid=18225 vsize=7937364 memory=6791534058613427641 CPUtime=18.33 cores=1,3,5,7
/proc/18253/task/18273/stat : 18273 (java) S 18225 18225 16886 0 -1 1077944384 30 358956 0 0 0 0 1795 38 20 0 17 0 405586572 8127860736 39475 33554432000 4194304 4196468 140727977019664 140530591720496 140533184928386 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31195136 140727977026555 140727977026714 140727977026714 140727977029583 0
Current children cumulated CPU time: 189.66 s
Current children cumulated vsize: 8050492 KiB
Current children cumulated memory: 159376 KiB

Child status: 0
Real time (s): 154.238
CPU time (s): 189.745
CPU user time (s): 185.183
CPU system time (s): 4.56249
CPU usage (%): 123.021
Max. virtual memory (cumulated for all children) (KiB): 15142500
Max. memory (cumulated for all children) (KiB): 6160408

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 185.183
system time used= 4.56249
maximum resident set size= 6159776
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 464061
page faults= 0
swaps= 0
block input operations= 0
block output operations= 208776
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 11924
involuntary context switches= 530


# summary of solver processes directly reported to runsolver:
#   pid: 18225
#   total CPU time (s): 189.745
#   total CPU user time (s): 185.183
#   total CPU system time (s): 4.56249

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.13919 second user time and 1.51735 second system time

The end

Launcher Data 

Begin job on node133 at 2019-09-12 15:01:34
IDJOB=4387989
IDBENCH=131296
IDSOLVER=2825
FILE ID=node133/4387989-1568293334
RUNJOBID= node133-1568289747-16920
PBS_JOBID= 21701096
Free space on /tmp= 52752 MiB

SOLVER NAME= Fun-sCOP order+GlueMiniSat (2019-06-15)
BENCH NAME= XCSP17/Subisomorphism/Subisomorphism-m1-SF/Subisomorphism-A-20.xml
COMMAND LINE= DIR/scop.sh 11g DIR/scop.jar -order DIR/glueminisat-simp-2.2.10-193oa-n-release -model:-verb=3:-elim-cl=5000000:-native-oa TMPDIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4387989-1568293334/watcher-4387989-1568293334 -o /tmp/evaluation-result-4387989-1568293334/solver-4387989-1568293334 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1568289747-16920 --watchdog 2580  HOME/scop.sh 11g HOME/scop.jar -order HOME/glueminisat-simp-2.2.10-193oa-n-release -model:-verb=3:-elim-cl=5000000:-native-oa HOME HOME/instance-4387989-1568293334.xml

TIME LIMIT= 2520 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= c3d3968bb4d1a566be21f2b70665db2a
RANDOM SEED=1192859655

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        31328664 kB
MemAvailable:   31537552 kB
Buffers:           92528 kB
Cached:           399596 kB
SwapCached:         3612 kB
Active:           674404 kB
Inactive:         185836 kB
Active(anon):     392236 kB
Inactive(anon):    15660 kB
Active(file):     282168 kB
Inactive(file):   170176 kB
Unevictable:      111244 kB
Mlocked:          111244 kB
SwapTotal:      67108860 kB
SwapFree:       67003272 kB
Dirty:             20664 kB
Writeback:             4 kB
AnonPages:        477440 kB
Mapped:            54236 kB
Shmem:             31136 kB
Slab:             173632 kB
SReclaimable:     144756 kB
SUnreclaim:        28876 kB
KernelStack:        3904 kB
PageTables:         6600 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    6223728 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    215040 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      122240 kB
DirectMap2M:    33423360 kB

Free space on /tmp at the end= 52732 MiB
End job on node133 at 2019-09-12 15:04:09