Trace number 4387878

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)UNSAT 1233.45 1082.96

General information on the benchmark

NameRoomMate/
RoomMate-int-s1/RoomMate-sr1000-int.xml
MD5SUM281fe5e81d871c4f2ceaf1755ecf4117
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark492.618
Satisfiable
(Un)Satisfiability was proved
Number of variables1000
Number of constraints1998000
Number of domains1
Minimum domain size999
Maximum domain size999
Distribution of domain sizes[{"size":999,"count":1000}]
Minimum variable degree3996
Maximum variable degree3996
Distribution of variable degrees[{"degree":3996,"count":1000}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":1998000}]
Number of extensional constraints0
Number of intensional constraints1998000
Distribution of constraint types[{"type":"intension","count":1998000}]
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-8425-serial-file.bin HOME/instance-4387878-1568292099.xml
0.67/0.53	
0.67/0.53	Fun-sCOP order+glueminisat-simp-2.2.10-193oa-n-release (2019-06-15)
0.67/0.53	
0.67/0.56	c BEGIN-Prog: Thu Sep 12 14:40:56 CEST 2019
0.67/0.56	c PID: 8428
0.67/0.56	c IP: 172.20.3.102
0.67/0.56	c HOST: node102.alineos.net
0.67/0.56	c (0,0) Parsing Begin
120.82/94.22	c (93,87) Parsing End
120.82/94.24	c (93,87) CSP: 1000 int (0 aux), 0 bool (0 aux), 1998000 ctr, max domain size 999
120.82/94.24	c (93,87) Heap : 3168 MiB used (max 10758 MiB), NonHeap : 24 MiB used (max 0 MiB)
120.82/94.24	c (93,87) Constraint Name Generate Begin
125.82/99.08	c (98,92) Ctr:HOME/instance-4387878-1568292099.xml,Eq:Imp:Le:Num:Var
125.82/99.08	c (98,92) Constraint Name Generate End
125.82/99.08	c (98,92) Heap : 4610 MiB used (max 10758 MiB), NonHeap : 24 MiB used (max 0 MiB)
125.82/99.08	c (98,92) CSP to CSPinCNF Begin
137.90/106.86	c (106,98) translated 199800 (10%) constraints
144.19/113.05	c (112,104) translated 399600 (20%) constraints
153.92/120.11	c (119,111) translated 599400 (30%) constraints
161.34/126.60	c (126,117) translated 799200 (40%) constraints
167.44/132.78	c (132,123) translated 999000 (50%) constraints
175.28/139.35	c (138,129) translated 1198800 (60%) constraints
181.48/145.55	c (145,135) translated 1398600 (70%) constraints
188.99/152.09	c (151,142) translated 1598400 (80%) constraints
195.28/158.30	c (157,148) translated 1798200 (90%) constraints
203.21/164.93	c (164,154) translated 1998000 (100%) constraints
203.21/164.93	c (164,154) ===========================================
203.21/164.93	c (164,154) Order
203.21/164.93	c (164,154) ===========================================
206.92/168.02	c (167,157) translated 199800 (10%) constraints
209.93/171.07	c (170,160) translated 399600 (20%) constraints
214.65/174.48	c (173,163) translated 599400 (30%) constraints
217.65/177.46	c (176,166) translated 799200 (40%) constraints
220.66/180.43	c (179,169) translated 999000 (50%) constraints
238.74/194.99	c (194,183) translated 1198800 (60%) constraints
256.35/209.48	c (208,196) translated 1398600 (70%) constraints
271.79/223.23	c (222,209) translated 1598400 (80%) constraints
289.81/238.05	c (237,223) translated 1798200 (90%) constraints
307.49/252.39	c (251,236) translated 1998000 (100%) constraints
307.49/252.39	c (251,236) CSP to CSPinCNF End
307.81/252.62	c (252,237) CSP: 1000 int (0 aux), 999000 bool (999000 aux), 3996000 ctr, max domain size 999
307.81/252.62	c (252,237) Heap : 7288 MiB used (max 10826 MiB), NonHeap : 26 MiB used (max 0 MiB)
307.81/252.62	c (252,237) CSPinCNF Propagation Begin
1219.27/1074.75	c (1074,1029) 1784456 values, 2694951 unsatisfiable literals, and 3665387 valid clauses are removed
1219.27/1074.75	c (1074,1029) CSPinCNF Propagation End
1219.58/1075.10	c (1074,1030) CSP: 984 int (0 aux), 999016 bool (999000 aux), 330613 ctr, max domain size 691
1219.58/1075.10	c (1074,1030) Heap : 8045 MiB used (max 10833 MiB), NonHeap : 26 MiB used (max 0 MiB)
1219.69/1075.16	c (1074,1030) Simplify CSPinCNF Begin
1220.52/1075.72	c (1075,1030) Simplify CSPinCNF End
1220.83/1076.08	c (1075,1031) CSP: 984 int (0 aux), 999016 bool (999000 aux), 330613 ctr, max domain size 691
1220.83/1076.08	c (1075,1031) Heap : 8338 MiB used (max 10833 MiB), NonHeap : 26 MiB used (max 0 MiB)
1220.83/1076.08	c (1075,1031) Calculate Precise Domain Begin
1220.83/1076.08	c (1075,1031) 0 values are removed by re-calculation
1220.83/1076.08	c (1075,1031) Calculate Precise Domain End
1221.22/1076.44	c (1075,1031) CSP: 984 int (0 aux), 999016 bool (999000 aux), 330613 ctr, max domain size 691
1221.22/1076.44	c (1075,1031) Heap : 8338 MiB used (max 10833 MiB), NonHeap : 26 MiB used (max 0 MiB)
1221.22/1076.44	c (1075,1031) CSPinCNF to SatSolver Begin
1228.70/1079.19	c (1078,1033) 33062 (10 %) CSP clauses are encoded (0 SAT variables, 137932 SAT clauses)
1229.06/1079.42	c (1078,1033) 66123 (20 %) CSP clauses are encoded (0 SAT variables, 170993 SAT clauses)
1229.27/1079.63	c (1079,1033) 99184 (30 %) CSP clauses are encoded (0 SAT variables, 204054 SAT clauses)
1229.47/1079.84	c (1079,1033) 132246 (40 %) CSP clauses are encoded (0 SAT variables, 237116 SAT clauses)
1229.68/1080.06	c (1079,1033) 165307 (50 %) CSP clauses are encoded (0 SAT variables, 270177 SAT clauses)
1229.87/1080.27	c (1079,1034) 198368 (60 %) CSP clauses are encoded (0 SAT variables, 303238 SAT clauses)
1230.07/1080.48	c (1079,1034) 231430 (70 %) CSP clauses are encoded (0 SAT variables, 336300 SAT clauses)
1230.27/1080.69	c (1080,1034) 264491 (80 %) CSP clauses are encoded (0 SAT variables, 369361 SAT clauses)
1230.57/1080.90	c (1080,1034) 297552 (90 %) CSP clauses are encoded (0 SAT variables, 402422 SAT clauses)
1230.78/1081.11	c (1080,1034) 330613 (100 %) CSP clauses are encoded (0 SAT variables, 435483 SAT clauses)
1230.78/1081.11	c (1080,1034) CSPinCNF to SatSolver End
1230.78/1081.11	c (1080,1034) Heap : 8726 MiB used (max 10855 MiB), NonHeap : 28 MiB used (max 0 MiB)
1230.78/1081.12	c (1080,1034) 212544 bool, 435484 clause
1230.78/1081.12	c (1080,1034) Export Begin
1230.95/1081.26	c (1080,1035) Export to HOME/scop-8425-serial-file.bin
1230.95/1081.26	c (1080,1035) Export End
1230.95/1081.26	c (1080,1035) Export File Size: 0.16 MB
1230.95/1081.26	c (1080,1035) 93,98,252,1074,1075,1075,1080,STOP-AFTER(DIMACS)
1230.95/1081.26	c END-Prog: Thu Sep 12 14:58:57 CEST 2019
0.00/1081.32	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-8425-serial-file.bin
1231.20/1081.78	c (0,0) Read Serial File Begin
1231.20/1081.78	c (0,0) HOME/scop-8425-serial-file.bin
1232.24/1082.05	c (0,0) Read Serial File End
1232.24/1082.06	
1232.24/1082.06	Fun-sCOP order+glueminisat-simp-2.2.10-193oa-n-release (2019-06-15)
1232.24/1082.06	(Solving Process)
1232.24/1082.06	
1232.24/1082.08	c BEGIN-Prog: Thu Sep 12 14:58:58 CEST 2019
1232.24/1082.08	c PID: 8537
1232.24/1082.08	c IP: 172.20.3.102
1232.24/1082.08	c HOST: node102.alineos.net
1232.24/1082.09	c (0,0) SatSolver.solve Begin
1232.24/1082.09	c (0,0) HOME/glueminisat-simp-2.2.10-193oa-n-release -model -verb=3 -elim-cl=5000000 -native-oa HOME/instance-4387878-1568292099.xml-scop-8428.cnf
1232.46/1082.12	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
1232.46/1082.12	c (0,0) c glueminisat-simp-2.2.10-193oa-n
1232.46/1082.12	c (0,0) c Command: HOME/glueminisat-simp-2.2.10-193oa-n-release -model -verb=3 -elim-cl=5000000 -native-oa HOME/instance-4387878-1568292099.xml-scop-8428.cnf 
1232.46/1082.12	c (0,0) c Options:
1232.46/1082.12	c (0,0) c CORE
1232.46/1082.12	c (0,0) c  var_decay             = 0.950
1232.46/1082.12	c (0,0) c  clause_decay          = 0.999
1232.46/1082.12	c (0,0) c  random_var_freq       = 0.000
1232.46/1082.12	c (0,0) c  random_seed           = 91648253.000
1232.46/1082.12	c (0,0) c  luby_restart          = 1
1232.46/1082.12	c (0,0) c  ccmin_mode            = 2
1232.46/1082.12	c (0,0) c  phase_saving          = 2
1232.46/1082.12	c (0,0) c  rnd_pol               = 0
1232.46/1082.12	c (0,0) c  rnd_init_act          = 0
1232.46/1082.12	c (0,0) c  garbage_frac          = 0.200
1232.46/1082.12	c (0,0) c  restart_first         = 1000
1232.46/1082.12	c (0,0) c  restart_inc           = 2.000
1232.46/1082.12	c (0,0) c MODEL
1232.46/1082.12	c (0,0) c  partial_model         = 0
1232.46/1082.12	c (0,0) c PROPAGATION
1232.46/1082.12	c (0,0) c  bin_propagation       = 1
1232.46/1082.12	c (0,0) c SIMPLIFICATION
1232.46/1082.12	c (0,0) c  lrn_min_size          = 100
1232.46/1082.12	c (0,0) c  lazy_simp             = 1
1232.46/1082.12	c (0,0) c  lazy_interval         = 10
1232.46/1082.12	c (0,0) c  lazy_fld_probing      = 1
1232.46/1082.12	c (0,0) c  lazy_pol_probing      = 1
1232.46/1082.12	c (0,0) c  lazy_nec_probing      = 1
1232.46/1082.12	c (0,0) c  lazy_eqv_probing      = 1
1232.46/1082.12	c (0,0) c  lazy_cla_probing      = 1
1232.46/1082.12	c (0,0) c  lazy_lrn_min          = 2
1232.46/1082.12	c (0,0) c  lazy_uw_lit_elim      = 1
1232.46/1082.12	c (0,0) c  lazy_pr_lit_elim      = 0
1232.46/1082.12	c (0,0) c  lazy_bin_add          = 3
1232.46/1082.12	c (0,0) c  probed_lit_chain      = 1
1232.46/1082.12	c (0,0) c  pr_min_lits           = 0.00020
1232.46/1082.12	c (0,0) c  pr_min_starts         = 500
1232.46/1082.12	c (0,0) c  rw_min_lits           = 0.010
1232.46/1082.12	c (0,0) c  rw_min_starts         = 500
1232.46/1082.12	c (0,0) c  rand_attach           = 0
1232.46/1082.12	c (0,0) c  dec_elim              = 1
1232.46/1082.12	c (0,0) c  dec_elim_lim          = 25
1232.46/1082.12	c (0,0) c  dec_elim_len          = -1
1232.46/1082.12	c (0,0) c  amo                   = 0
1232.46/1082.12	c (0,0) c  amo_grp               = 1
1232.46/1082.12	c (0,0) c  amo_max_bins          = 1000000
1232.46/1082.12	c (0,0) c  amo_starts            = 50
1232.46/1082.12	c (0,0) c  mace_cmd              = mace
1232.46/1082.12	c (0,0) c DECISION
1232.46/1082.12	c (0,0) c  rand_rebuild          = 0
1232.46/1082.12	c (0,0) c  rand_rebuild_confs    = 10000
1232.46/1082.12	c (0,0) c  inc_var_decay         = 1
1232.46/1082.12	c (0,0) c  inc_var_decay_period  = 100000
1232.46/1082.12	c (0,0) c  inc_var_decay_init    = 0.600
1232.46/1082.12	c (0,0) c  var_decay_mode        = 0
1232.46/1082.12	c (0,0) c  var_decay_gain        = 0
1232.46/1082.12	c (0,0) c  sloped_var_decay      = 1
1232.46/1082.12	c (0,0) c  max_var_decay         = 0.990
1232.46/1082.12	c (0,0) c  min_var_decay         = 0.950
1232.46/1082.12	c (0,0) c  min_var_decay_vars    = 10000
1232.46/1082.12	c (0,0) c  max_var_decay_vars    = 500
1232.46/1082.12	c (0,0) c  uip_bumping           = 1
1232.46/1082.12	c (0,0) c  lbd_act_bumping       = 1
1232.46/1082.12	c (0,0) c  rand_tiebreak         = 0
1232.46/1082.12	c (0,0) c  simp_rebuild          = 1
1232.46/1082.12	c (0,0) c RESTART
1232.46/1082.12	c (0,0) c  restart_strategy      = 2
1232.46/1082.12	c (0,0) c  restart_blocking      = 0
1232.46/1082.12	c (0,0) c  agility_decay         = 0.99990
1232.46/1082.12	c (0,0) c  lbd_restart_rate      = 0.800
1232.46/1082.12	c (0,0) c  dec_restart_rate      = 0.950
1232.46/1082.12	c (0,0) c  blk_restart_rate      = 0.700
1232.46/1082.12	c (0,0) c  lbd_queue_size        = 50
1232.46/1082.12	c (0,0) c  dec_queue_size        = 50
1232.46/1082.12	c (0,0) c  trl_queue_size        = 5000
1232.46/1082.12	c (0,0) c  blk_restart_weight    = 1.000
1232.46/1082.12	c (0,0) c  inc_rst_rate          = 0
1232.46/1082.12	c (0,0) c  inc_rst_rate_period   = 500000
1232.46/1082.12	c (0,0) c  inc_lbd_rst_rate_init = 0.600
1232.46/1082.12	c (0,0) c  inc_dec_rst_rate_init = 0.750
1232.46/1082.12	c (0,0) c REDUCTION
1232.46/1082.12	c (0,0) c  closed_lbd            = 0
1232.46/1082.12	c (0,0) c  closed_lbd_rate       = 0.500
1232.46/1082.12	c (0,0) c  rm_simulate           = 0
1232.46/1082.12	c (0,0) c  rdb_eval              = 2
1232.46/1082.12	c (0,0) c  rdb_call              = 3
1232.46/1082.12	c (0,0) c  rdb_ub                = 0.500
1232.46/1082.12	c (0,0) c  core_lbd_cvr          = 0.800
1232.46/1082.12	c (0,0) c  supp_lbd_cvr          = 0.990
1232.46/1082.12	c (0,0) c  core_lbd_lb           = 2
1232.46/1082.12	c (0,0) c  supp_lbd_lb           = 2
1232.46/1082.12	c (0,0) c  core_lbd_prd          = 7
1232.46/1082.12	c (0,0) c  supp_lbd_prd          = 1
1232.46/1082.12	c (0,0) c  othr_lbd_prd          = 0
1232.46/1082.12	c (0,0) c  inc_lrn_limit         = 1000
1232.46/1082.12	c (0,0) c  frozen_lbd            = 30
1232.46/1082.12	c (0,0) c  simp_min_starts       = 100
1232.46/1082.12	c (0,0) c  rm_low_act_learnts    = 1
1232.46/1082.12	c (0,0) c  lv0_reduce_db         = 0
1232.46/1082.12	c (0,0) c  reduce_db_base        = 20000
1232.46/1082.12	c (0,0) c  reduce_db_inc         = 1000
1232.46/1082.12	c (0,0) c HARD
1232.46/1082.12	c (0,0) c  inst_check            = 200000
1232.46/1082.12	c (0,0) c  small_block           = 1.750
1232.46/1082.12	c (0,0) c  slow_restart_speed    = 400.000
1232.46/1082.12	c (0,0) c  slow_restart_strategy = 3
1232.46/1082.12	c (0,0) c  slow_lbd_restart_rate = 0.700
1232.46/1082.12	c (0,0) c  slow_dec_restart_rate = 1.000
1232.46/1082.12	c (0,0) c  slow_lbd_queue_size   = 50
1232.46/1082.12	c (0,0) c  slow_var_decay        = 0.950
1232.46/1082.12	c (0,0) c  slow_glue_threshold   = 2
1232.46/1082.12	c (0,0) c  slow_phase_saving     = 2
1232.46/1082.12	c (0,0) c  fast_restart_speed    = 125.000
1232.46/1082.12	c (0,0) c  fast_restart_strategy = 1
1232.46/1082.12	c (0,0) c  fast_lbd_restart_rate = 0.800
1232.46/1082.12	c (0,0) c  fast_dec_restart_rate = 0.950
1232.46/1082.12	c (0,0) c  fast_lbd_queue_size   = 50
1232.46/1082.12	c (0,0) c  fast_var_decay        = 1.000
1232.46/1082.12	c (0,0) c  fast_glue_threshold   = 2
1232.46/1082.12	c (0,0) c  fast_phase_saving     = 2
1232.46/1082.12	c (0,0) c STATS
1232.46/1082.12	c (0,0) c  stats_conf_size       = 10000
1232.46/1082.12	c (0,0) c  max_stats_size        = 30
1232.46/1082.12	c (0,0) c SOLVER
1232.46/1082.12	c (0,0) c  minisat               = 0
1232.57/1082.36	c (0,0) c Problem: 212544 variables, 435484 clauses, parsing 0.22 s
1232.57/1082.89	c (1,0) c  reduced to 8044 variables, 34402 clauses (grow = 0)
1232.57/1082.90	c (1,0) c  exclude 0 (0.0%) variables from decision variables (last cost 0)
1232.57/1082.91	c (1,0) c Simplification: 204500 vars, 401082 clauses are eliminated using 0.54 s
1232.57/1082.91	c (1,0) c
1232.57/1082.91	c (1,0) c        #Rstrts   #Confs   #Vars   #Clauses  #Learnts Lits/C LBD/C DLVs Trail
1232.57/1082.91	c (1,0) c
1232.57/1082.91	c (1,0) c    0         0         0     8044    34402        0   -nan  -nan  -nan -nan%
1232.57/1082.93	c (1,0) c    0         1         7   -27614    34402        4   13.2   2.0   1.9 33.8%
1232.57/1082.93	c (1,0) c
1232.57/1082.93	c (1,0) c
1232.57/1082.93	c (1,0) c variables         : -27614      (init 212544, after simp 8044, 0 non-decs, 925 csp)
1232.57/1082.93	c (1,0) c clauses           : 34402       (init 435484, after simp 34402)
1232.57/1082.93	c (1,0) c restarts          : 0           (7.00 confs/res, 7~7 confs, 0 blks, 0 last)
1232.57/1082.93	c (1,0) c conflicts         : 7           (9 /sec, 57.14% dconfs, 0.00% supp, trail 28541.71w x 1.86h, jmp 0.86h)
1232.57/1082.93	c (1,0) c decisions         : 6           (0.6000 vdcy, 8 /sec, 0.00% bin, rs 0.000 s)
1232.57/1082.94	c (1,0) c propagations      : 167250      (213356 /sec, 27875.00 lits/dec, 101.66% o.a.)
1232.57/1082.94	c (1,0) c conflict literals : 760         (92.76% deleted; 0.00% by bin min, 0.000 s)
1232.57/1082.94	c (1,0) c len               : 13.250      (7.86 for all, max 35, used 13)
1232.57/1082.94	c (1,0) c lbd               : 2.000       (1.71 (1.43) for all, max 3, used 2, 0.000 stdev, 4.583 blk)
1232.57/1082.94	c (1,0) c amo               : 0           (0 max, -nan avg, 0.000 s)
1232.57/1082.94	c (1,0) c simp dbs          : 1           (0.001 s)
1232.57/1082.94	c (1,0) c reduce dbs        : 0           (core-lbd 2, supp-lbd 2147483647, 0.000 s)
1232.57/1082.94	c (1,0) c learnts           : 4           (0 learnts removed, 0.00%)
1232.57/1082.94	c (1,0) c rewrite dbs       : 0           (0/0 vars, 0+0 taut, 0+0 unit, 0.000 s)
1232.57/1082.94	c (1,0) c assigned lits     : 0           (0/0 probed, 0 remains)
1232.57/1082.94	c (1,0) c premise updates   : 0           (0.00 /lit)
1232.57/1082.94	c (1,0) c probed variables  : 0           (0 pr, 0 eq, 0 fld, 0 pol, 0 nec, 0 cla, 0 amo)
1232.57/1082.94	c (1,0) c equiv variables   : 0           (0 bin, 0 trn, 0 quat, 0 quin, 0 othr; 0 amo)
1232.57/1082.94	c (1,0) c lazy added bins   : 0           (0 prop + 0 conf, 0.000s)
1232.57/1082.94	c (1,0) c unwatched lit elim: 0           (0.00+0.00%, 0+0 of 87814+760)
1232.57/1082.94	c (1,0) c classified type   : undef
1232.57/1082.94	c (1,0) c progress          : 443.287%
1232.57/1082.94	c (1,0) c
1232.57/1082.94	c (1,0) c [Statistics]
1232.57/1082.94	c (1,0) c             learnts len        learnts lbd        lit blk size       eq vars size
1232.57/1082.94	c (1,0) c  tot           6                  6                 12                  0
1232.57/1082.94	c (1,0) c  avg       9.167              1.667              4.583               -nan
1232.57/1082.94	c (1,0) c   1            2 (33.3%)          2 (33.3%)          7 (58.3%)          0 (-nan%)
1232.57/1082.94	c (1,0) c   2            1 (16.7%)          4 (66.7%)          1 ( 8.3%)          0 (-nan%)
1232.57/1082.94	c (1,0) c   3            1 (16.7%)          0 ( 0.0%)          0 ( 0.0%)          0 (-nan%)
1232.57/1082.94	c (1,0) c   4            0 ( 0.0%)          0 ( 0.0%)          0 ( 0.0%)          0 (-nan%)
1232.57/1082.94	c (1,0) c   5            0 ( 0.0%)          0 ( 0.0%)          1 ( 8.3%)          0 (-nan%)
1232.57/1082.94	c (1,0) c   6            0 ( 0.0%)          0 ( 0.0%)          0 ( 0.0%)          0 (-nan%)
1232.57/1082.94	c (1,0) c   7            0 ( 0.0%)          0 ( 0.0%)          1 ( 8.3%)          0 (-nan%)
1232.57/1082.94	c (1,0) c   8            0 ( 0.0%)          0 ( 0.0%)          0 ( 0.0%)          0 (-nan%)
1232.57/1082.94	c (1,0) c   9            0 ( 0.0%)          0 ( 0.0%)          0 ( 0.0%)          0 (-nan%)
1232.57/1082.94	c (1,0) c  10            0 ( 0.0%)          0 ( 0.0%)          0 ( 0.0%)          0 (-nan%)
1232.57/1082.94	c (1,0) c  11            0 ( 0.0%)          0 ( 0.0%)          1 ( 8.3%)          0 (-nan%)
1232.57/1082.94	c (1,0) c  12            0 ( 0.0%)          0 ( 0.0%)          0 ( 0.0%)          0 (-nan%)
1232.57/1082.94	c (1,0) c  13            1 (16.7%)          0 ( 0.0%)          0 ( 0.0%)          0 (-nan%)
1232.57/1082.94	c (1,0) c  14            0 ( 0.0%)          0 ( 0.0%)          0 ( 0.0%)          0 (-nan%)
1232.57/1082.94	c (1,0) c  15            0 ( 0.0%)          0 ( 0.0%)          0 ( 0.0%)          0 (-nan%)
1232.57/1082.94	c (1,0) c  16            0 ( 0.0%)          0 ( 0.0%)          0 ( 0.0%)          0 (-nan%)
1232.57/1082.94	c (1,0) c  17            0 ( 0.0%)          0 ( 0.0%)          0 ( 0.0%)          0 (-nan%)
1232.57/1082.94	c (1,0) c  18            0 ( 0.0%)          0 ( 0.0%)          0 ( 0.0%)          0 (-nan%)
1232.57/1082.94	c (1,0) c  19            0 ( 0.0%)          0 ( 0.0%)          0 ( 0.0%)          0 (-nan%)
1232.57/1082.94	c (1,0) c  20            0 ( 0.0%)          0 ( 0.0%)          0 ( 0.0%)          0 (-nan%)
1232.57/1082.94	c (1,0) c  21            0 ( 0.0%)          0 ( 0.0%)          0 ( 0.0%)          0 (-nan%)
1232.57/1082.94	c (1,0) c  22            0 ( 0.0%)          0 ( 0.0%)          0 ( 0.0%)          0 (-nan%)
1232.57/1082.94	c (1,0) c  23            0 ( 0.0%)          0 ( 0.0%)          1 ( 8.3%)          0 (-nan%)
1232.57/1082.94	c (1,0) c  24            0 ( 0.0%)          0 ( 0.0%)          0 ( 0.0%)          0 (-nan%)
1232.57/1082.94	c (1,0) c  25            0 ( 0.0%)          0 ( 0.0%)          0 ( 0.0%)          0 (-nan%)
1232.57/1082.94	c (1,0) c  26            0 ( 0.0%)          0 ( 0.0%)          0 ( 0.0%)          0 (-nan%)
1232.57/1082.94	c (1,0) c  27            0 ( 0.0%)          0 ( 0.0%)          0 ( 0.0%)          0 (-nan%)
1232.57/1082.94	c (1,0) c  28            0 ( 0.0%)          0 ( 0.0%)          0 ( 0.0%)          0 (-nan%)
1232.57/1082.94	c (1,0) c  29            0 ( 0.0%)          0 ( 0.0%)          0 ( 0.0%)          0 (-nan%)
1232.57/1082.94	c (1,0) c  30            1 (16.7%)          0 ( 0.0%)          0 ( 0.0%)          0 (-nan%)
1232.57/1082.94	c (1,0) c
1232.57/1082.94	c (1,0) c [LBD Statistics]
1232.57/1082.94	c (1,0) c LBD          used lbd               used clause lbd         unused clause lbd
1232.57/1082.94	c (1,0) c  tot            1                       1                       3
1232.57/1082.94	c (1,0) c  avg        2.000                   2.000                   2.000
1232.57/1082.94	c (1,0) c    1            0 ( 0.0/ 0.0%)          0 ( 0.0/ 0.0%)          0 ( 0.0/ 0.0%)
1232.57/1082.94	c (1,0) c    2            1 (100.0/100.0%)          1 (100.0/100.0%)          3 (100.0/100.0%)
1232.57/1082.94	c (1,0) c
1232.57/1082.94	c (1,0) c Memory used       : 132.00 MB
1232.57/1082.94	c (1,0) c CPU time          : 0.784 s
1232.57/1082.94	c (1,0) c Real time         : 0.827 s
1232.57/1082.94	c (1,0) c
1232.57/1082.94	c (1,0) s UNSATISFIABLE
1232.57/1082.94	c (1,0) SatSolver.solve End
1232.57/1082.94	c (1,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
1232.57/1082.94	c (1,0) Show results Begin
1232.57/1082.94	s UNSATISFIABLE
1232.57/1082.94	c (1,0) Show results End
1232.57/1082.94	c (1,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
1232.57/1082.95	c (1,0) 1,1,STOP-AFTER(ALL)
1232.57/1082.95	c END-Prog: Thu Sep 12 14:58:58 CEST 2019

Verifier Data


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 (15124 MiB free)
  memory of node 1: 16384 MiB (15566 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4387878-1568292099/watcher-4387878-1568292099 -o /tmp/evaluation-result-4387878-1568292099/solver-4387878-1568292099 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node102-1568285939-6431 --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-4387878-1568292099.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
solver pid=8425, runsolver pid=8422
Current StackSize limit: 8192 KiB


[startup+0.100139 s]*
/proc/loadavg: 2.11 2.13 2.57 3/236 8442
/proc/meminfo: memFree=31368536/32770624 swapFree=66992780/67108860
[pid=8425] ppid=8422 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/8425/stat : 8425 (scop.sh) S 8422 8425 5522 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405461513 115843072 349 33554432000 4194304 5098028 140720949878592 140720949875848 140069154271868 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 15368192 140720949887784 140720949888112 140720949888112 140720949891021 0
/proc/8425/statm: 28282 349 296 221 0 87 0
[pid=8428] ppid=8425 vsize=15013720 memory=73208 CPUtime=0.12 cores=1,3,5,7
/proc/8428/stat : 8428 (java) S 8425 8425 5522 0 -1 1077944320 7568 0 0 0 9 3 0 0 20 0 15 0 405461514 15374049280 18302 33554432000 4194304 4196468 140727432829760 140727432812304 140253662727927 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38993920 140727432831727 140727432832154 140727432832154 140727432835023 0
/proc/8428/statm: 3753430 18302 2899 1 0 3715835 0
[pid=8428/tid=8429] ppid=8425 vsize=15014680 memory=-7828588039587137883 CPUtime=0.09 cores=1,3,5,7
/proc/8428/task/8429/stat : 8429 (java) R 8425 8425 5522 0 -1 4202560 5402 0 0 0 7 2 0 0 20 0 15 0 405461514 15375032320 18434 33554432000 4194304 4196468 140727432829760 140253634512176 140253655407645 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38993920 140727432831727 140727432832154 140727432832154 140727432835023 0
[pid=8428/tid=8430] ppid=8425 vsize=15014680 memory=8303054830060986464 CPUtime=0 cores=1,3,5,7
/proc/8428/task/8430/stat : 8430 (java) S 8425 8425 5522 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405461515 15375032320 18434 33554432000 4194304 4196468 140727432829760 140253666970256 140253662738133 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38993920 140727432831727 140727432832154 140727432832154 140727432835023 0
[pid=8428/tid=8431] ppid=8425 vsize=15014680 memory=140495547750016 CPUtime=0 cores=1,3,5,7
/proc/8428/task/8431/stat : 8431 (java) S 8425 8425 5522 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405461515 15375032320 18434 33554432000 4194304 4196468 140727432829760 140253500348944 140253662738133 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38993920 140727432831727 140727432832154 140727432832154 140727432835023 0
[pid=8428/tid=8432] ppid=8425 vsize=15014680 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8428/task/8432/stat : 8432 (java) S 8425 8425 5522 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405461515 15375032320 18434 33554432000 4194304 4196468 140727432829760 140253122779536 140253662738133 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38993920 140727432831727 140727432832154 140727432832154 140727432835023 0
[pid=8428/tid=8433] ppid=8425 vsize=15014680 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8428/task/8433/stat : 8433 (java) S 8425 8425 5522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405461516 15375032320 18500 33554432000 4194304 4196468 140727432829760 140253121726736 140253662738133 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38993920 140727432831727 140727432832154 140727432832154 140727432835023 0
[pid=8428/tid=8434] ppid=8425 vsize=15014680 memory=140495547750016 CPUtime=0 cores=1,3,5,7
/proc/8428/task/8434/stat : 8434 (java) S 8425 8425 5522 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405461517 15375032320 18500 33554432000 4194304 4196468 140727432829760 140252700330864 140253662739074 0 0 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38993920 140727432831727 140727432832154 140727432832154 140727432835023 0
[pid=8428/tid=8435] ppid=8425 vsize=15014680 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8428/task/8435/stat : 8435 (java) S 8425 8425 5522 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405461517 15375032320 18500 33554432000 4194304 4196468 140727432829760 140252224153120 140253662738133 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38993920 140727432831727 140727432832154 140727432832154 140727432835023 0
[pid=8428/tid=8436] ppid=8425 vsize=15014680 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8428/task/8436/stat : 8436 (java) S 8425 8425 5522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405461518 15375032320 18566 33554432000 4194304 4196468 140727432829760 140251955717488 140253662738133 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38993920 140727432831727 140727432832154 140727432832154 140727432835023 0
[pid=8428/tid=8437] ppid=8425 vsize=15014680 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8428/task/8437/stat : 8437 (java) S 8425 8425 5522 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405461520 15375032320 18566 33554432000 4194304 4196468 140727432829760 140251581208912 140253662746523 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38993920 140727432831727 140727432832154 140727432832154 140727432835023 0
[pid=8428/tid=8438] ppid=8425 vsize=15014680 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8428/task/8438/stat : 8438 (java) S 8425 8425 5522 0 -1 1077944384 444 0 0 0 0 0 0 0 20 0 15 0 405461520 15375032320 18566 33554432000 4194304 4196468 140727432829760 140252699277680 140253662739074 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38993920 140727432831727 140727432832154 140727432832154 140727432835023 0
[pid=8428/tid=8439] ppid=8425 vsize=15014680 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8428/task/8439/stat : 8439 (java) S 8425 8425 5522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405461520 15375032320 18566 33554432000 4194304 4196468 140727432829760 140252698224880 140253662739074 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38993920 140727432831727 140727432832154 140727432832154 140727432835023 0
[pid=8428/tid=8440] ppid=8425 vsize=15014680 memory=140495547750016 CPUtime=0.01 cores=1,3,5,7
/proc/8428/task/8440/stat : 8440 (java) S 8425 8425 5522 0 -1 1077944384 469 0 0 0 1 0 0 0 20 0 15 0 405461520 15375032320 18566 33554432000 4194304 4196468 140727432829760 140252697172080 140253662739074 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38993920 140727432831727 140727432832154 140727432832154 140727432835023 0
[pid=8428/tid=8441] ppid=8425 vsize=15014680 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8428/task/8441/stat : 8441 (java) S 8425 8425 5522 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405461520 15375032320 18566 33554432000 4194304 4196468 140727432829760 140251083303136 140253662738133 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38993920 140727432831727 140727432832154 140727432832154 140727432835023 0
[pid=8428/tid=8442] ppid=8425 vsize=15014680 memory=140495547750016 CPUtime=0 cores=1,3,5,7
/proc/8428/task/8442/stat : 8442 (java) S 8425 8425 5522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405461521 15375032320 18566 33554432000 4194304 4196468 140727432829760 140252696120496 140253662739074 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38993920 140727432831727 140727432832154 140727432832154 140727432835023 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15126848 KiB
Current children cumulated memory: 74604 KiB

[startup+0.210999 s]*
/proc/loadavg: 2.11 2.13 2.57 3/236 8442
/proc/meminfo: memFree=31350212/32770624 swapFree=66992780/67108860
[pid=8425] ppid=8422 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/8425/stat : 8425 (scop.sh) S 8422 8425 5522 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405461513 115843072 349 33554432000 4194304 5098028 140720949878592 140720949875848 140069154271868 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 15368192 140720949887784 140720949888112 140720949888112 140720949891021 0
/proc/8425/statm: 28282 349 296 221 0 87 0
[pid=8428] ppid=8425 vsize=15012696 memory=84868 CPUtime=0.26 cores=1,3,5,7
/proc/8428/stat : 8428 (java) S 8425 8425 5522 0 -1 1077944320 11862 0 0 0 22 4 0 0 20 0 15 0 405461514 15373000704 21217 33554432000 4194304 4196468 140727432829760 140727432812304 140253662727927 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38993920 140727432831727 140727432832154 140727432832154 140727432835023 0
/proc/8428/statm: 3753174 21217 2902 1 0 3715579 0
[pid=8428/tid=8429] ppid=8425 vsize=15012696 memory=7022364632946311227 CPUtime=0.2 cores=1,3,5,7
/proc/8428/task/8429/stat : 8429 (java) R 8425 8425 5522 0 -1 4202560 9533 0 0 0 17 3 0 0 20 0 15 0 405461514 15373000704 21282 33554432000 4194304 4196468 140727432829760 140253634543568 140253662749853 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38993920 140727432831727 140727432832154 140727432832154 140727432835023 0
[pid=8428/tid=8430] ppid=8425 vsize=15012696 memory=365 CPUtime=0 cores=1,3,5,7
/proc/8428/task/8430/stat : 8430 (java) S 8425 8425 5522 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405461515 15373000704 21282 33554432000 4194304 4196468 140727432829760 140253666970256 140253662738133 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38993920 140727432831727 140727432832154 140727432832154 140727432835023 0
[pid=8428/tid=8431] ppid=8425 vsize=15012696 memory=140495547758695 CPUtime=0 cores=1,3,5,7
/proc/8428/task/8431/stat : 8431 (java) S 8425 8425 5522 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405461515 15373000704 21282 33554432000 4194304 4196468 140727432829760 140253500348944 140253662738133 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38993920 140727432831727 140727432832154 140727432832154 140727432835023 0
[pid=8428/tid=8432] ppid=8425 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8428/task/8432/stat : 8432 (java) S 8425 8425 5522 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405461515 15373000704 21282 33554432000 4194304 4196468 140727432829760 140253122779536 140253662738133 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38993920 140727432831727 140727432832154 140727432832154 140727432835023 0
[pid=8428/tid=8433] ppid=8425 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8428/task/8433/stat : 8433 (java) S 8425 8425 5522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405461516 15373000704 21282 33554432000 4194304 4196468 140727432829760 140253121726736 140253662738133 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38993920 140727432831727 140727432832154 140727432832154 140727432835023 0
[pid=8428/tid=8434] ppid=8425 vsize=15012696 memory=140495547750016 CPUtime=0 cores=1,3,5,7
/proc/8428/task/8434/stat : 8434 (java) S 8425 8425 5522 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405461517 15373000704 21282 33554432000 4194304 4196468 140727432829760 140252700330864 140253662739074 0 0 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38993920 140727432831727 140727432832154 140727432832154 140727432835023 0
[pid=8428/tid=8435] ppid=8425 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8428/task/8435/stat : 8435 (java) S 8425 8425 5522 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405461517 15373000704 21282 33554432000 4194304 4196468 140727432829760 140252224153120 140253662738133 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38993920 140727432831727 140727432832154 140727432832154 140727432835023 0
[pid=8428/tid=8436] ppid=8425 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8428/task/8436/stat : 8436 (java) S 8425 8425 5522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405461518 15373000704 21282 33554432000 4194304 4196468 140727432829760 140251955717488 140253662738133 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38993920 140727432831727 140727432832154 140727432832154 140727432835023 0
[pid=8428/tid=8437] ppid=8425 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8428/task/8437/stat : 8437 (java) S 8425 8425 5522 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405461520 15373000704 21282 33554432000 4194304 4196468 140727432829760 140251581208912 140253662746523 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38993920 140727432831727 140727432832154 140727432832154 140727432835023 0
[pid=8428/tid=8438] ppid=8425 vsize=15012696 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/8428/task/8438/stat : 8438 (java) S 8425 8425 5522 0 -1 1077944384 455 0 0 0 1 0 0 0 20 0 15 0 405461520 15373000704 21282 33554432000 4194304 4196468 140727432829760 140252699277680 140253662739074 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38993920 140727432831727 140727432832154 140727432832154 140727432835023 0
[pid=8428/tid=8439] ppid=8425 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8428/task/8439/stat : 8439 (java) S 8425 8425 5522 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 405461520 15373000704 21282 33554432000 4194304 4196468 140727432829760 140252698224880 140253662739074 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38993920 140727432831727 140727432832154 140727432832154 140727432835023 0
[pid=8428/tid=8440] ppid=8425 vsize=15012696 memory=140495547750016 CPUtime=0.03 cores=1,3,5,7
/proc/8428/task/8440/stat : 8440 (java) S 8425 8425 5522 0 -1 1077944384 516 0 0 0 3 0 0 0 20 0 15 0 405461520 15373000704 21282 33554432000 4194304 4196468 140727432829760 140252697172080 140253662739074 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38993920 140727432831727 140727432832154 140727432832154 140727432835023 0
[pid=8428/tid=8441] ppid=8425 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8428/task/8441/stat : 8441 (java) S 8425 8425 5522 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405461520 15373000704 21282 33554432000 4194304 4196468 140727432829760 140251083303136 140253662738133 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38993920 140727432831727 140727432832154 140727432832154 140727432835023 0
[pid=8428/tid=8442] ppid=8425 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8428/task/8442/stat : 8442 (java) S 8425 8425 5522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405461521 15373000704 21282 33554432000 4194304 4196468 140727432829760 140252696120496 140253662739074 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38993920 140727432831727 140727432832154 140727432832154 140727432835023 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 86264 KiB

[startup+0.310807 s]*
/proc/loadavg: 2.11 2.13 2.57 4/236 8442
/proc/meminfo: memFree=31346924/32770624 swapFree=66992780/67108860
[pid=8425] ppid=8422 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/8425/stat : 8425 (scop.sh) S 8422 8425 5522 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405461513 115843072 349 33554432000 4194304 5098028 140720949878592 140720949875848 140069154271868 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 15368192 140720949887784 140720949888112 140720949888112 140720949891021 0
/proc/8425/statm: 28282 349 296 221 0 87 0
[pid=8428] ppid=8425 vsize=15012696 memory=89372 CPUtime=0.44 cores=1,3,5,7
/proc/8428/stat : 8428 (java) S 8425 8425 5522 0 -1 1077944320 12898 0 0 0 39 5 0 0 20 0 15 0 405461514 15373000704 22343 33554432000 4194304 4196468 140727432829760 140727432812304 140253662727927 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38993920 140727432831727 140727432832154 140727432832154 140727432835023 0
/proc/8428/statm: 3753174 22343 3056 1 0 3715579 0
[pid=8428/tid=8429] ppid=8425 vsize=15012696 memory=7022364632946311227 CPUtime=0.3 cores=1,3,5,7
/proc/8428/task/8429/stat : 8429 (java) R 8425 8425 5522 0 -1 4202560 10278 0 0 0 26 4 0 0 20 0 15 0 405461514 15373000704 22343 33554432000 4194304 4196468 140727432829760 140253634510944 140253643003223 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38993920 140727432831727 140727432832154 140727432832154 140727432835023 0
[pid=8428/tid=8430] ppid=8425 vsize=15012696 memory=288230609019732336 CPUtime=0 cores=1,3,5,7
/proc/8428/task/8430/stat : 8430 (java) S 8425 8425 5522 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405461515 15373000704 22343 33554432000 4194304 4196468 140727432829760 140253666970256 140253662738133 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38993920 140727432831727 140727432832154 140727432832154 140727432835023 0
[pid=8428/tid=8431] ppid=8425 vsize=15012696 memory=13848564639998303 CPUtime=0 cores=1,3,5,7
/proc/8428/task/8431/stat : 8431 (java) S 8425 8425 5522 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405461515 15373000704 22343 33554432000 4194304 4196468 140727432829760 140253500348944 140253662738133 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38993920 140727432831727 140727432832154 140727432832154 140727432835023 0
[pid=8428/tid=8432] ppid=8425 vsize=15012696 memory=280990853658992 CPUtime=0 cores=1,3,5,7
/proc/8428/task/8432/stat : 8432 (java) S 8425 8425 5522 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405461515 15373000704 22343 33554432000 4194304 4196468 140727432829760 140253122779536 140253662738133 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38993920 140727432831727 140727432832154 140727432832154 140727432835023 0
[pid=8428/tid=8433] ppid=8425 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8428/task/8433/stat : 8433 (java) S 8425 8425 5522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405461516 15373000704 22343 33554432000 4194304 4196468 140727432829760 140253121726736 140253662738133 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38993920 140727432831727 140727432832154 140727432832154 140727432835023 0
[pid=8428/tid=8434] ppid=8425 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8428/task/8434/stat : 8434 (java) S 8425 8425 5522 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405461517 15373000704 22343 33554432000 4194304 4196468 140727432829760 140252700330864 140253662739074 0 0 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38993920 140727432831727 140727432832154 140727432832154 140727432835023 0
[pid=8428/tid=8435] ppid=8425 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8428/task/8435/stat : 8435 (java) S 8425 8425 5522 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405461517 15373000704 22343 33554432000 4194304 4196468 140727432829760 140252224153120 140253662738133 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38993920 140727432831727 140727432832154 140727432832154 140727432835023 0
[pid=8428/tid=8436] ppid=8425 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8428/task/8436/stat : 8436 (java) S 8425 8425 5522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405461518 15373000704 22343 33554432000 4194304 4196468 140727432829760 140251955717488 140253662738133 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38993920 140727432831727 140727432832154 140727432832154 140727432835023 0
[pid=8428/tid=8437] ppid=8425 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8428/task/8437/stat : 8437 (java) S 8425 8425 5522 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405461520 15373000704 22343 33554432000 4194304 4196468 140727432829760 140251581208912 140253662746523 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38993920 140727432831727 140727432832154 140727432832154 140727432835023 0
[pid=8428/tid=8438] ppid=8425 vsize=15012696 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/8428/task/8438/stat : 8438 (java) S 8425 8425 5522 0 -1 1077944384 580 0 0 0 3 0 0 0 20 0 15 0 405461520 15373000704 22343 33554432000 4194304 4196468 140727432829760 140252699277680 140253662739074 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38993920 140727432831727 140727432832154 140727432832154 140727432835023 0
[pid=8428/tid=8439] ppid=8425 vsize=15012696 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/8428/task/8439/stat : 8439 (java) S 8425 8425 5522 0 -1 1077944384 95 0 0 0 2 0 0 0 20 0 15 0 405461520 15373000704 22343 33554432000 4194304 4196468 140727432829760 140252698224880 140253662739074 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38993920 140727432831727 140727432832154 140727432832154 140727432835023 0
[pid=8428/tid=8440] ppid=8425 vsize=15012696 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8428/task/8440/stat : 8440 (java) S 8425 8425 5522 0 -1 1077944384 612 0 0 0 7 0 0 0 20 0 15 0 405461520 15373000704 22343 33554432000 4194304 4196468 140727432829760 140252697172080 140253662739074 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38993920 140727432831727 140727432832154 140727432832154 140727432835023 0
[pid=8428/tid=8441] ppid=8425 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8428/task/8441/stat : 8441 (java) S 8425 8425 5522 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405461520 15373000704 22343 33554432000 4194304 4196468 140727432829760 140251083303136 140253662738133 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38993920 140727432831727 140727432832154 140727432832154 140727432835023 0
[pid=8428/tid=8442] ppid=8425 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8428/task/8442/stat : 8442 (java) S 8425 8425 5522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405461521 15373000704 22343 33554432000 4194304 4196468 140727432829760 140252696120496 140253662739074 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38993920 140727432831727 140727432832154 140727432832154 140727432835023 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 90768 KiB

[startup+0.700811 s]
/proc/loadavg: 2.11 2.13 2.57 3/236 8442
/proc/meminfo: memFree=31322976/32770624 swapFree=66992780/67108860
[pid=8425] ppid=8422 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/8425/stat : 8425 (scop.sh) S 8422 8425 5522 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405461513 115843072 349 33554432000 4194304 5098028 140720949878592 140720949875848 140069154271868 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 15368192 140720949887784 140720949888112 140720949888112 140720949891021 0
/proc/8425/statm: 28282 349 296 221 0 87 0
[pid=8428] ppid=8425 vsize=15018968 memory=128972 CPUtime=1.03 cores=1,3,5,7
/proc/8428/stat : 8428 (java) S 8425 8425 5522 0 -1 1077944320 20463 0 0 0 96 7 0 0 20 0 15 0 405461514 15379423232 32243 33554432000 4194304 4196468 140727432829760 140727432812304 140253662727927 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38993920 140727432831727 140727432832154 140727432832154 140727432835023 0
/proc/8428/statm: 3754742 32243 3198 1 0 3716091 0
[pid=8428/tid=8429] ppid=8425 vsize=15018968 memory=1780867925249 CPUtime=0.67 cores=1,3,5,7
/proc/8428/task/8429/stat : 8429 (java) R 8425 8425 5522 0 -1 4202560 17223 0 0 0 62 5 0 0 20 0 15 0 405461514 15379423232 32243 33554432000 4194304 4196468 140727432829760 140253634565376 140253662739862 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38993920 140727432831727 140727432832154 140727432832154 140727432835023 0
[pid=8428/tid=8430] ppid=8425 vsize=15018968 memory=1564 CPUtime=0 cores=1,3,5,7
/proc/8428/task/8430/stat : 8430 (java) S 8425 8425 5522 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405461515 15379423232 32243 33554432000 4194304 4196468 140727432829760 140253666970256 140253662738133 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38993920 140727432831727 140727432832154 140727432832154 140727432835023 0
[pid=8428/tid=8431] ppid=8425 vsize=15018968 memory=8556 CPUtime=0 cores=1,3,5,7
/proc/8428/task/8431/stat : 8431 (java) S 8425 8425 5522 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405461515 15379423232 32243 33554432000 4194304 4196468 140727432829760 140253500348944 140253662738133 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38993920 140727432831727 140727432832154 140727432832154 140727432835023 0
[pid=8428/tid=8432] ppid=8425 vsize=15018968 memory=1052 CPUtime=0 cores=1,3,5,7
/proc/8428/task/8432/stat : 8432 (java) S 8425 8425 5522 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405461515 15379423232 32243 33554432000 4194304 4196468 140727432829760 140253122779536 140253662738133 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38993920 140727432831727 140727432832154 140727432832154 140727432835023 0
[pid=8428/tid=8433] ppid=8425 vsize=15018968 memory=1708 CPUtime=0 cores=1,3,5,7
/proc/8428/task/8433/stat : 8433 (java) S 8425 8425 5522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405461516 15379423232 32243 33554432000 4194304 4196468 140727432829760 140253121726736 140253662738133 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38993920 140727432831727 140727432832154 140727432832154 140727432835023 0
[pid=8428/tid=8434] ppid=8425 vsize=15018968 memory=3440 CPUtime=0 cores=1,3,5,7
/proc/8428/task/8434/stat : 8434 (java) S 8425 8425 5522 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 405461517 15379423232 32243 33554432000 4194304 4196468 140727432829760 140252700330864 140253662739074 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38993920 140727432831727 140727432832154 140727432832154 140727432835023 0
[pid=8428/tid=8435] ppid=8425 vsize=15018968 memory=2832 CPUtime=0 cores=1,3,5,7
/proc/8428/task/8435/stat : 8435 (java) S 8425 8425 5522 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405461517 15379423232 32243 33554432000 4194304 4196468 140727432829760 140252224153120 140253662738133 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38993920 140727432831727 140727432832154 140727432832154 140727432835023 0
[pid=8428/tid=8436] ppid=8425 vsize=15018968 memory=5896 CPUtime=0 cores=1,3,5,7
/proc/8428/task/8436/stat : 8436 (java) S 8425 8425 5522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405461518 15379423232 32243 33554432000 4194304 4196468 140727432829760 140251955717488 140253662738133 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38993920 140727432831727 140727432832154 140727432832154 140727432835023 0
[pid=8428/tid=8437] ppid=8425 vsize=15018968 memory=664 CPUtime=0 cores=1,3,5,7
/proc/8428/task/8437/stat : 8437 (java) S 8425 8425 5522 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405461520 15379423232 32243 33554432000 4194304 4196468 140727432829760 140251581208912 140253662746523 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38993920 140727432831727 140727432832154 140727432832154 140727432835023 0
[pid=8428/tid=8438] ppid=8425 vsize=15018968 memory=1156 CPUtime=0.09 cores=1,3,5,7
/proc/8428/task/8438/stat : 8438 (java) R 8425 8425 5522 0 -1 1077944384 776 0 0 0 9 0 0 0 20 0 15 0 405461520 15379423232 32243 33554432000 4194304 4196468 140727432829760 140252699277680 140253662739074 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38993920 140727432831727 140727432832154 140727432832154 140727432835023 0
[pid=8428/tid=8439] ppid=8425 vsize=15018968 memory=1000 CPUtime=0.08 cores=1,3,5,7
/proc/8428/task/8439/stat : 8439 (java) R 8425 8425 5522 0 -1 4202560 332 0 0 0 8 0 0 0 20 0 15 0 405461520 15379423232 32243 33554432000 4194304 4196468 140727432829760 140252698216832 140253643427128 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38993920 140727432831727 140727432832154 140727432832154 140727432835023 0
[pid=8428/tid=8440] ppid=8425 vsize=15018968 memory=14008 CPUtime=0.16 cores=1,3,5,7
/proc/8428/task/8440/stat : 8440 (java) R 8425 8425 5522 0 -1 4202560 797 0 0 0 16 0 0 0 20 0 15 0 405461520 15379423232 32243 33554432000 4194304 4196468 140727432829760 140252697167840 140253642068224 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38993920 140727432831727 140727432832154 140727432832154 140727432835023 0
[pid=8428/tid=8441] ppid=8425 vsize=15018968 memory=4844 CPUtime=0 cores=1,3,5,7
/proc/8428/task/8441/stat : 8441 (java) S 8425 8425 5522 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405461520 15379423232 32243 33554432000 4194304 4196468 140727432829760 140251083303136 140253662738133 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38993920 140727432831727 140727432832154 140727432832154 140727432835023 0
[pid=8428/tid=8442] ppid=8425 vsize=15018968 memory=12032 CPUtime=0 cores=1,3,5,7
/proc/8428/task/8442/stat : 8442 (java) S 8425 8425 5522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405461521 15379423232 32243 33554432000 4194304 4196468 140727432829760 140252696120496 140253662739074 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38993920 140727432831727 140727432832154 140727432832154 140727432835023 0
Current children cumulated CPU time: 1.03 s
Current children cumulated vsize: 15132096 KiB
Current children cumulated memory: 130368 KiB

[startup+1.50087 s]
/proc/loadavg: 2.26 2.16 2.58 3/236 8442
/proc/meminfo: memFree=31205980/32770624 swapFree=66992780/67108860
[pid=8425] ppid=8422 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/8425/stat : 8425 (scop.sh) S 8422 8425 5522 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405461513 115843072 349 33554432000 4194304 5098028 140720949878592 140720949875848 140069154271868 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 15368192 140720949887784 140720949888112 140720949888112 140720949891021 0
/proc/8425/statm: 28282 349 296 221 0 87 0

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

/proc/8428/task/8431/stat : 8431 (java) S 8425 8425 5522 0 -1 1077944384 16224 0 0 0 4324 188 0 0 20 0 15 0 405461515 15387959296 2896565 33554432000 4194304 4196468 140727432829760 140253500348944 140253662738133 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38993920 140727432831727 140727432832154 140727432832154 140727432835023 0
[pid=8428/tid=8432] ppid=8425 vsize=15027304 memory=1408 CPUtime=45.03 cores=1,3,5,7
/proc/8428/task/8432/stat : 8432 (java) S 8425 8425 5522 0 -1 1077944384 11712 0 0 0 4329 174 0 0 20 0 15 0 405461515 15387959296 2896565 33554432000 4194304 4196468 140727432829760 140253122779536 140253662738133 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38993920 140727432831727 140727432832154 140727432832154 140727432835023 0
[pid=8428/tid=8433] ppid=8425 vsize=15027304 memory=3540 CPUtime=45.13 cores=1,3,5,7
/proc/8428/task/8433/stat : 8433 (java) S 8425 8425 5522 0 -1 1077944384 15504 0 0 0 4325 188 0 0 20 0 15 0 405461516 15387959296 2896565 33554432000 4194304 4196468 140727432829760 140253121726736 140253662738133 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38993920 140727432831727 140727432832154 140727432832154 140727432835023 0
[pid=8428/tid=8434] ppid=8425 vsize=15027304 memory=1476 CPUtime=0.48 cores=1,3,5,7
/proc/8428/task/8434/stat : 8434 (java) S 8425 8425 5522 0 -1 1077944384 6026 0 0 0 46 2 0 0 20 0 15 0 405461517 15387959296 2896565 33554432000 4194304 4196468 140727432829760 140252700330864 140253662739074 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38993920 140727432831727 140727432832154 140727432832154 140727432835023 0
[pid=8428/tid=8435] ppid=8425 vsize=15027304 memory=125052 CPUtime=0 cores=1,3,5,7
/proc/8428/task/8435/stat : 8435 (java) S 8425 8425 5522 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 405461517 15387959296 2896565 33554432000 4194304 4196468 140727432829760 140252224153184 140253662738133 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38993920 140727432831727 140727432832154 140727432832154 140727432835023 0
[pid=8428/tid=8436] ppid=8425 vsize=15027304 memory=223576 CPUtime=0 cores=1,3,5,7
/proc/8428/task/8436/stat : 8436 (java) S 8425 8425 5522 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 15 0 405461518 15387959296 2896565 33554432000 4194304 4196468 140727432829760 140251955717504 140253662738133 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38993920 140727432831727 140727432832154 140727432832154 140727432835023 0
[pid=8428/tid=8437] ppid=8425 vsize=15027304 memory=1408 CPUtime=0 cores=1,3,5,7
/proc/8428/task/8437/stat : 8437 (java) S 8425 8425 5522 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405461520 15387959296 2896565 33554432000 4194304 4196468 140727432829760 140251581208912 140253662746523 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38993920 140727432831727 140727432832154 140727432832154 140727432835023 0
[pid=8428/tid=8438] ppid=8425 vsize=15027304 memory=3212 CPUtime=6.18 cores=1,3,5,7
/proc/8428/task/8438/stat : 8438 (java) S 8425 8425 5522 0 -1 1077944384 23854 0 0 0 615 3 0 0 20 0 15 0 405461520 15387959296 2896565 33554432000 4194304 4196468 140727432829760 140252699277680 140253662739074 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38993920 140727432831727 140727432832154 140727432832154 140727432835023 0
[pid=8428/tid=8439] ppid=8425 vsize=15027304 memory=1396 CPUtime=6.56 cores=1,3,5,7
/proc/8428/task/8439/stat : 8439 (java) S 8425 8425 5522 0 -1 1077944384 27297 0 0 0 653 3 0 0 20 0 15 0 405461520 15387959296 2896565 33554432000 4194304 4196468 140727432829760 140252698224880 140253662739074 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38993920 140727432831727 140727432832154 140727432832154 140727432835023 0
[pid=8428/tid=8440] ppid=8425 vsize=15027304 memory=11586212 CPUtime=1.29 cores=1,3,5,7
/proc/8428/task/8440/stat : 8440 (java) S 8425 8425 5522 0 -1 1077944384 13892 0 0 0 125 4 0 0 20 0 15 0 405461520 15387959296 2896565 33554432000 4194304 4196468 140727432829760 140252697172080 140253662739074 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38993920 140727432831727 140727432832154 140727432832154 140727432835023 0
[pid=8428/tid=8441] ppid=8425 vsize=15027304 memory=1616 CPUtime=0 cores=1,3,5,7
/proc/8428/task/8441/stat : 8441 (java) S 8425 8425 5522 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405461520 15387959296 2896565 33554432000 4194304 4196468 140727432829760 140251083303136 140253662738133 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38993920 140727432831727 140727432832154 140727432832154 140727432835023 0
[pid=8428/tid=8442] ppid=8425 vsize=15027304 memory=16252 CPUtime=0.68 cores=1,3,5,7
/proc/8428/task/8442/stat : 8442 (java) S 8425 8425 5522 0 -1 1077944384 1051 0 0 0 30 38 0 0 20 0 15 0 405461521 15387959296 2896565 33554432000 4194304 4196468 140727432829760 140252696120496 140253662739074 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38993920 140727432831727 140727432832154 140727432832154 140727432835023 0
Current children cumulated CPU time: 1229.68 s
Current children cumulated vsize: 15140432 KiB
Current children cumulated memory: 11587656 KiB

[startup+1081.6 s]
/proc/loadavg: 1.93 2.02 2.21 3/235 8536
/proc/meminfo: memFree=19751880/32770624 swapFree=66992808/67108860
[pid=8425] ppid=8422 vsize=113128 memory=1476 CPUtime=1231.2 cores=1,3,5,7
/proc/8425/stat : 8425 (scop.sh) S 8422 8425 5522 0 -1 4202496 582 234941 0 0 0 0 122265 855 20 0 1 0 405461513 115843072 369 33554432000 4194304 5098028 140720949878592 140720949875336 140069154271868 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 15368192 140720949887784 140720949888112 140720949888112 140720949891021 0
/proc/8425/statm: 28282 369 311 221 0 87 0
Current children cumulated CPU time: 1231.2 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1476 KiB

[startup+1082.4 s]
/proc/loadavg: 1.93 2.02 2.21 6/235 8551
/proc/meminfo: memFree=31339752/32770624 swapFree=66992808/67108860
[pid=8425] ppid=8422 vsize=113128 memory=1476 CPUtime=1231.2 cores=1,3,5,7
/proc/8425/stat : 8425 (scop.sh) S 8422 8425 5522 0 -1 4202496 582 234941 0 0 0 0 122265 855 20 0 1 0 405461513 115843072 369 33554432000 4194304 5098028 140720949878592 140720949875336 140069154271868 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 15368192 140720949887784 140720949888112 140720949888112 140720949891021 0
/proc/8425/statm: 28282 369 311 221 0 87 0
[pid=8537] ppid=8425 vsize=8068440 memory=122804 CPUtime=1.37 cores=1,3,5,7
/proc/8537/stat : 8537 (java) S 8425 8425 5522 0 -1 1077944320 21047 0 0 0 127 10 0 0 20 0 19 0 405569646 8262082560 30701 33554432000 4194304 4196468 140734235915104 140734235897648 139629154909943 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22704128 140734235919356 140734235919514 140734235919514 140734235922383 0
/proc/8537/statm: 2017110 30701 3196 1 0 1978454 0
[pid=8537/tid=8538] ppid=8425 vsize=8068440 memory=3440 CPUtime=0.81 cores=1,3,5,7
/proc/8537/task/8538/stat : 8538 (java) S 8425 8425 5522 0 -1 1077944384 17743 0 0 0 73 8 0 0 20 0 19 0 405569646 8262082560 30701 33554432000 4194304 4196468 140734235915104 139629126750112 139629154920149 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22704128 140734235919356 140734235919514 140734235919514 140734235922383 0
[pid=8537/tid=8539] ppid=8425 vsize=8068440 memory=2832 CPUtime=0 cores=1,3,5,7
/proc/8537/task/8539/stat : 8539 (java) S 8425 8425 5522 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405569647 8262082560 30701 33554432000 4194304 4196468 140734235915104 139629159152656 139629154920149 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22704128 140734235919356 140734235919514 140734235919514 140734235922383 0
[pid=8537/tid=8540] ppid=8425 vsize=8068440 memory=5896 CPUtime=0 cores=1,3,5,7
/proc/8537/task/8540/stat : 8540 (java) S 8425 8425 5522 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405569647 8262082560 30701 33554432000 4194304 4196468 140734235915104 139628985969808 139629154920149 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22704128 140734235919356 140734235919514 140734235919514 140734235922383 0
[pid=8537/tid=8541] ppid=8425 vsize=8068440 memory=664 CPUtime=0 cores=1,3,5,7
/proc/8537/task/8541/stat : 8541 (java) S 8425 8425 5522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405569647 8262082560 30701 33554432000 4194304 4196468 140734235915104 139628638718736 139629154920149 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22704128 140734235919356 140734235919514 140734235919514 140734235922383 0
[pid=8537/tid=8542] ppid=8425 vsize=8068440 memory=1440 CPUtime=0 cores=1,3,5,7
/proc/8537/task/8542/stat : 8542 (java) S 8425 8425 5522 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405569647 8262082560 30701 33554432000 4194304 4196468 140734235915104 139628637666192 139629154920149 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22704128 140734235919356 140734235919514 140734235919514 140734235922383 0
[pid=8537/tid=8543] ppid=8425 vsize=8068440 memory=820 CPUtime=0 cores=1,3,5,7
/proc/8537/task/8543/stat : 8543 (java) S 8425 8425 5522 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 405569649 8262082560 30701 33554432000 4194304 4196468 140734235915104 139628601379056 139629154921090 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22704128 140734235919356 140734235919514 140734235919514 140734235922383 0
[pid=8537/tid=8544] ppid=8425 vsize=8068440 memory=1764 CPUtime=0 cores=1,3,5,7
/proc/8537/task/8544/stat : 8544 (java) S 8425 8425 5522 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 405569649 8262082560 30701 33554432000 4194304 4196468 140734235915104 139628111717536 139629154920149 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22704128 140734235919356 140734235919514 140734235919514 140734235922383 0
[pid=8537/tid=8545] ppid=8425 vsize=8068440 memory=111632 CPUtime=0 cores=1,3,5,7
/proc/8537/task/8545/stat : 8545 (java) S 8425 8425 5522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405569649 8262082560 30701 33554432000 4194304 4196468 140734235915104 139627843281648 139629154920149 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22704128 140734235919356 140734235919514 140734235919514 140734235922383 0
[pid=8537/tid=8546] ppid=8425 vsize=8068440 memory=808 CPUtime=0 cores=1,3,5,7
/proc/8537/task/8546/stat : 8546 (java) S 8425 8425 5522 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405569652 8262082560 30701 33554432000 4194304 4196468 140734235915104 139627468773328 139629154928539 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22704128 140734235919356 140734235919514 140734235919514 140734235922383 0
[pid=8537/tid=8547] ppid=8425 vsize=8068440 memory=1804 CPUtime=0.15 cores=1,3,5,7
/proc/8537/task/8547/stat : 8547 (java) S 8425 8425 5522 0 -1 1077944384 782 0 0 0 15 0 0 0 20 0 19 0 405569652 8262082560 30701 33554432000 4194304 4196468 140734235915104 139628600326896 139629154921090 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22704128 140734235919356 140734235919514 140734235919514 140734235922383 0
[pid=8537/tid=8548] ppid=8425 vsize=8068440 memory=916 CPUtime=0.14 cores=1,3,5,7
/proc/8537/task/8548/stat : 8548 (java) S 8425 8425 5522 0 -1 1077944384 578 0 0 0 14 0 0 0 20 0 19 0 405569652 8262082560 30701 33554432000 4194304 4196468 140734235915104 139628599274352 139629154921090 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22704128 140734235919356 140734235919514 140734235919514 140734235922383 0
[pid=8537/tid=8549] ppid=8425 vsize=8068440 memory=9217 CPUtime=0.23 cores=1,3,5,7
/proc/8537/task/8549/stat : 8549 (java) S 8425 8425 5522 0 -1 1077944384 534 0 0 0 23 0 0 0 20 0 19 0 405569652 8262082560 30701 33554432000 4194304 4196468 140734235915104 139628598221296 139629154921090 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22704128 140734235919356 140734235919514 140734235919514 140734235922383 0
[pid=8537/tid=8550] ppid=8425 vsize=8068440 memory=-3253322038155611931 CPUtime=0 cores=1,3,5,7
/proc/8537/task/8550/stat : 8550 (java) S 8425 8425 5522 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405569652 8262082560 30701 33554432000 4194304 4196468 140734235915104 139626970868576 139629154920149 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22704128 140734235919356 140734235919514 140734235919514 140734235922383 0
[pid=8537/tid=8551] ppid=8425 vsize=8068440 memory=-1088251628401078322 CPUtime=0 cores=1,3,5,7
/proc/8537/task/8551/stat : 8551 (java) S 8425 8425 5522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405569653 8262082560 30701 33554432000 4194304 4196468 140734235915104 139628597168688 139629154921090 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22704128 140734235919356 140734235919514 140734235919514 140734235922383 0
Current children cumulated CPU time: 1232.57 s
Current children cumulated vsize: 8181568 KiB
Current children cumulated memory: 124280 KiB

[startup+1082.8 s]
/proc/loadavg: 1.93 2.02 2.21 6/235 8551
/proc/meminfo: memFree=31339752/32770624 swapFree=66992808/67108860
[pid=8425] ppid=8422 vsize=113128 memory=1476 CPUtime=1231.2 cores=1,3,5,7
/proc/8425/stat : 8425 (scop.sh) S 8422 8425 5522 0 -1 4202496 582 234941 0 0 0 0 122265 855 20 0 1 0 405461513 115843072 369 33554432000 4194304 5098028 140720949878592 140720949875336 140069154271868 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 15368192 140720949887784 140720949888112 140720949888112 140720949891021 0
/proc/8425/statm: 28282 369 311 221 0 87 0
[pid=8537] ppid=8425 vsize=8068440 memory=122804 CPUtime=1.37 cores=1,3,5,7
/proc/8537/stat : 8537 (java) S 8425 8425 5522 0 -1 1077944320 21047 0 0 0 127 10 0 0 20 0 19 0 405569646 8262082560 30701 33554432000 4194304 4196468 140734235915104 140734235897648 139629154909943 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22704128 140734235919356 140734235919514 140734235919514 140734235922383 0
/proc/8537/statm: 2017110 30701 3196 1 0 1978454 0
[pid=8537/tid=8538] ppid=8425 vsize=8068440 memory=125052 CPUtime=0.81 cores=1,3,5,7
/proc/8537/task/8538/stat : 8538 (java) S 8425 8425 5522 0 -1 1077944384 17743 0 0 0 73 8 0 0 20 0 19 0 405569646 8262082560 30701 33554432000 4194304 4196468 140734235915104 139629126750112 139629154920149 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22704128 140734235919356 140734235919514 140734235919514 140734235922383 0
[pid=8537/tid=8539] ppid=8425 vsize=8068440 memory=213336 CPUtime=0 cores=1,3,5,7
/proc/8537/task/8539/stat : 8539 (java) S 8425 8425 5522 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405569647 8262082560 30701 33554432000 4194304 4196468 140734235915104 139629159152656 139629154920149 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22704128 140734235919356 140734235919514 140734235919514 140734235922383 0
[pid=8537/tid=8540] ppid=8425 vsize=8068440 memory=1408 CPUtime=0 cores=1,3,5,7
/proc/8537/task/8540/stat : 8540 (java) S 8425 8425 5522 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405569647 8262082560 30701 33554432000 4194304 4196468 140734235915104 139628985969808 139629154920149 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22704128 140734235919356 140734235919514 140734235919514 140734235922383 0
[pid=8537/tid=8541] ppid=8425 vsize=8068440 memory=122804 CPUtime=0 cores=1,3,5,7
/proc/8537/task/8541/stat : 8541 (java) S 8425 8425 5522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405569647 8262082560 30701 33554432000 4194304 4196468 140734235915104 139628638718736 139629154920149 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22704128 140734235919356 140734235919514 140734235919514 140734235922383 0
[pid=8537/tid=8542] ppid=8425 vsize=8068440 memory=1476 CPUtime=0 cores=1,3,5,7
/proc/8537/task/8542/stat : 8542 (java) S 8425 8425 5522 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405569647 8262082560 30701 33554432000 4194304 4196468 140734235915104 139628637666192 139629154920149 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22704128 140734235919356 140734235919514 140734235919514 140734235922383 0
[pid=8537/tid=8543] ppid=8425 vsize=8068440 memory=122804 CPUtime=0 cores=1,3,5,7
/proc/8537/task/8543/stat : 8543 (java) S 8425 8425 5522 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 405569649 8262082560 30701 33554432000 4194304 4196468 140734235915104 139628601379056 139629154921090 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22704128 140734235919356 140734235919514 140734235919514 140734235922383 0
[pid=8537/tid=8544] ppid=8425 vsize=8068440 memory=1604 CPUtime=0 cores=1,3,5,7
/proc/8537/task/8544/stat : 8544 (java) S 8425 8425 5522 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 405569649 8262082560 30701 33554432000 4194304 4196468 140734235915104 139628111717536 139629154920149 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22704128 140734235919356 140734235919514 140734235919514 140734235922383 0
[pid=8537/tid=8545] ppid=8425 vsize=8068440 memory=1980 CPUtime=0 cores=1,3,5,7
/proc/8537/task/8545/stat : 8545 (java) S 8425 8425 5522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405569649 8262082560 30701 33554432000 4194304 4196468 140734235915104 139627843281648 139629154920149 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22704128 140734235919356 140734235919514 140734235919514 140734235922383 0
[pid=8537/tid=8546] ppid=8425 vsize=8068440 memory=2356 CPUtime=0 cores=1,3,5,7
/proc/8537/task/8546/stat : 8546 (java) S 8425 8425 5522 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405569652 8262082560 30701 33554432000 4194304 4196468 140734235915104 139627468773328 139629154928539 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22704128 140734235919356 140734235919514 140734235919514 140734235922383 0
[pid=8537/tid=8547] ppid=8425 vsize=8068440 memory=0 CPUtime=0.15 cores=1,3,5,7
/proc/8537/task/8547/stat : 8547 (java) S 8425 8425 5522 0 -1 1077944384 782 0 0 0 15 0 0 0 20 0 19 0 405569652 8262082560 30701 33554432000 4194304 4196468 140734235915104 139628600326896 139629154921090 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22704128 140734235919356 140734235919514 140734235919514 140734235922383 0
[pid=8537/tid=8548] ppid=8425 vsize=8068440 memory=4420 CPUtime=0.14 cores=1,3,5,7
/proc/8537/task/8548/stat : 8548 (java) S 8425 8425 5522 0 -1 1077944384 578 0 0 0 14 0 0 0 20 0 19 0 405569652 8262082560 30701 33554432000 4194304 4196468 140734235915104 139628599274352 139629154921090 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22704128 140734235919356 140734235919514 140734235919514 140734235922383 0
[pid=8537/tid=8549] ppid=8425 vsize=8068440 memory=6628 CPUtime=0.23 cores=1,3,5,7
/proc/8537/task/8549/stat : 8549 (java) S 8425 8425 5522 0 -1 1077944384 534 0 0 0 23 0 0 0 20 0 19 0 405569652 8262082560 30701 33554432000 4194304 4196468 140734235915104 139628598221296 139629154921090 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22704128 140734235919356 140734235919514 140734235919514 140734235922383 0
[pid=8537/tid=8550] ppid=8425 vsize=8068440 memory=8836 CPUtime=0 cores=1,3,5,7
/proc/8537/task/8550/stat : 8550 (java) S 8425 8425 5522 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405569652 8262082560 30701 33554432000 4194304 4196468 140734235915104 139626970868576 139629154920149 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22704128 140734235919356 140734235919514 140734235919514 140734235922383 0
[pid=8537/tid=8551] ppid=8425 vsize=8068440 memory=11044 CPUtime=0 cores=1,3,5,7
/proc/8537/task/8551/stat : 8551 (java) S 8425 8425 5522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405569653 8262082560 30701 33554432000 4194304 4196468 140734235915104 139628597168688 139629154921090 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22704128 140734235919356 140734235919514 140734235919514 140734235922383 0
Current children cumulated CPU time: 1232.57 s
Current children cumulated vsize: 8181568 KiB
Current children cumulated memory: 124280 KiB

[startup+1082.9 s]
/proc/loadavg: 1.93 2.02 2.21 6/235 8551
/proc/meminfo: memFree=31339752/32770624 swapFree=66992808/67108860
[pid=8425] ppid=8422 vsize=113128 memory=1476 CPUtime=1231.2 cores=1,3,5,7
/proc/8425/stat : 8425 (scop.sh) S 8422 8425 5522 0 -1 4202496 582 234941 0 0 0 0 122265 855 20 0 1 0 405461513 115843072 369 33554432000 4194304 5098028 140720949878592 140720949875336 140069154271868 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 15368192 140720949887784 140720949888112 140720949888112 140720949891021 0
/proc/8425/statm: 28282 369 311 221 0 87 0
[pid=8537] ppid=8425 vsize=8068440 memory=122804 CPUtime=1.37 cores=1,3,5,7
/proc/8537/stat : 8537 (java) S 8425 8425 5522 0 -1 1077944320 21050 0 0 0 127 10 0 0 20 0 19 0 405569646 8262082560 30701 33554432000 4194304 4196468 140734235915104 140734235897648 139629154909943 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22704128 140734235919356 140734235919514 140734235919514 140734235922383 0
/proc/8537/statm: 2017110 30701 3196 1 0 1978454 0
[pid=8537/tid=8538] ppid=8425 vsize=8068440 memory=-2247047206221799249 CPUtime=0.81 cores=1,3,5,7
/proc/8537/task/8538/stat : 8538 (java) S 8425 8425 5522 0 -1 1077944384 17743 0 0 0 73 8 0 0 20 0 19 0 405569646 8262082560 30701 33554432000 4194304 4196468 140734235915104 139629126750112 139629154920149 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22704128 140734235919356 140734235919514 140734235919514 140734235922383 0
[pid=8537/tid=8539] ppid=8425 vsize=8068440 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/8537/task/8539/stat : 8539 (java) S 8425 8425 5522 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405569647 8262082560 30701 33554432000 4194304 4196468 140734235915104 139629159152656 139629154920149 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22704128 140734235919356 140734235919514 140734235919514 140734235922383 0
[pid=8537/tid=8540] ppid=8425 vsize=8068440 memory=776 CPUtime=0 cores=1,3,5,7
/proc/8537/task/8540/stat : 8540 (java) S 8425 8425 5522 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405569647 8262082560 30701 33554432000 4194304 4196468 140734235915104 139628985969808 139629154920149 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22704128 140734235919356 140734235919514 140734235919514 140734235922383 0
[pid=8537/tid=8541] ppid=8425 vsize=8068440 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/8537/task/8541/stat : 8541 (java) S 8425 8425 5522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405569647 8262082560 30701 33554432000 4194304 4196468 140734235915104 139628638718736 139629154920149 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22704128 140734235919356 140734235919514 140734235919514 140734235922383 0
[pid=8537/tid=8542] ppid=8425 vsize=8068440 memory=11586220 CPUtime=0 cores=1,3,5,7
/proc/8537/task/8542/stat : 8542 (java) S 8425 8425 5522 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405569647 8262082560 30701 33554432000 4194304 4196468 140734235915104 139628637666192 139629154920149 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22704128 140734235919356 140734235919514 140734235919514 140734235922383 0
[pid=8537/tid=8543] ppid=8425 vsize=8068440 memory=109368 CPUtime=0 cores=1,3,5,7
/proc/8537/task/8543/stat : 8543 (java) S 8425 8425 5522 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 405569649 8262082560 30701 33554432000 4194304 4196468 140734235915104 139628601379056 139629154921090 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22704128 140734235919356 140734235919514 140734235919514 140734235922383 0
[pid=8537/tid=8544] ppid=8425 vsize=8068440 memory=111632 CPUtime=0 cores=1,3,5,7
/proc/8537/task/8544/stat : 8544 (java) S 8425 8425 5522 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 405569649 8262082560 30701 33554432000 4194304 4196468 140734235915104 139628111717536 139629154920149 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22704128 140734235919356 140734235919514 140734235919514 140734235922383 0
[pid=8537/tid=8545] ppid=8425 vsize=8068440 memory=808 CPUtime=0 cores=1,3,5,7
/proc/8537/task/8545/stat : 8545 (java) S 8425 8425 5522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405569649 8262082560 30701 33554432000 4194304 4196468 140734235915104 139627843281648 139629154920149 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22704128 140734235919356 140734235919514 140734235919514 140734235922383 0
[pid=8537/tid=8546] ppid=8425 vsize=8068440 memory=1804 CPUtime=0 cores=1,3,5,7
/proc/8537/task/8546/stat : 8546 (java) S 8425 8425 5522 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405569652 8262082560 30701 33554432000 4194304 4196468 140734235915104 139627468773328 139629154928539 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22704128 140734235919356 140734235919514 140734235919514 140734235922383 0
[pid=8537/tid=8547] ppid=8425 vsize=8068440 memory=3848 CPUtime=0.15 cores=1,3,5,7
/proc/8537/task/8547/stat : 8547 (java) S 8425 8425 5522 0 -1 1077944384 782 0 0 0 15 0 0 0 20 0 19 0 405569652 8262082560 30701 33554432000 4194304 4196468 140734235915104 139628600326896 139629154921090 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22704128 140734235919356 140734235919514 140734235919514 140734235922383 0
[pid=8537/tid=8548] ppid=8425 vsize=8068440 memory=2924 CPUtime=0.14 cores=1,3,5,7
/proc/8537/task/8548/stat : 8548 (java) S 8425 8425 5522 0 -1 1077944384 578 0 0 0 14 0 0 0 20 0 19 0 405569652 8262082560 30701 33554432000 4194304 4196468 140734235915104 139628599274352 139629154921090 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22704128 140734235919356 140734235919514 140734235919514 140734235922383 0
[pid=8537/tid=8549] ppid=8425 vsize=8068440 memory=2584 CPUtime=0.23 cores=1,3,5,7
/proc/8537/task/8549/stat : 8549 (java) S 8425 8425 5522 0 -1 1077944384 537 0 0 0 23 0 0 0 20 0 19 0 405569652 8262082560 30701 33554432000 4194304 4196468 140734235915104 139628598221296 139629154921090 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22704128 140734235919356 140734235919514 140734235919514 140734235922383 0
[pid=8537/tid=8550] ppid=8425 vsize=8068440 memory=4100 CPUtime=0 cores=1,3,5,7
/proc/8537/task/8550/stat : 8550 (java) S 8425 8425 5522 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405569652 8262082560 30701 33554432000 4194304 4196468 140734235915104 139626970868576 139629154920149 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22704128 140734235919356 140734235919514 140734235919514 140734235922383 0
[pid=8537/tid=8551] ppid=8425 vsize=8068440 memory=1408 CPUtime=0 cores=1,3,5,7
/proc/8537/task/8551/stat : 8551 (java) S 8425 8425 5522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405569653 8262082560 30701 33554432000 4194304 4196468 140734235915104 139628597168688 139629154921090 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22704128 140734235919356 140734235919514 140734235919514 140734235922383 0
Current children cumulated CPU time: 1232.57 s
Current children cumulated vsize: 8181568 KiB
Current children cumulated memory: 124280 KiB

Child status: 0
Real time (s): 1082.96
CPU time (s): 1233.45
CPU user time (s): 1224.73
CPU system time (s): 8.71371
CPU usage (%): 113.896
Max. virtual memory (cumulated for all children) (KiB): 15140452
Max. memory (cumulated for all children) (KiB): 11588996

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1224.73
system time used= 8.71371
maximum resident set size= 11588248
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 281583
page faults= 0
swaps= 0
block input operations= 0
block output operations= 19728
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 31850
involuntary context switches= 2235


# summary of solver processes directly reported to runsolver:
#   pid: 8425
#   total CPU time (s): 1233.45
#   total CPU user time (s): 1224.73
#   total CPU system time (s): 8.71371

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.91003 second user time and 11.0311 second system time

The end

Launcher Data 

Begin job on node102 at 2019-09-12 14:40:55
IDJOB=4387878
IDBENCH=126919
IDSOLVER=2825
FILE ID=node102/4387878-1568292099
RUNJOBID= node102-1568285939-6431
PBS_JOBID= 21701092
Free space on /tmp= 54556 MiB

SOLVER NAME= Fun-sCOP order+GlueMiniSat (2019-06-15)
BENCH NAME= XCSP17/RoomMate/RoomMate-int-s1/RoomMate-sr1000-int.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-4387878-1568292099/watcher-4387878-1568292099 -o /tmp/evaluation-result-4387878-1568292099/solver-4387878-1568292099 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node102-1568285939-6431 --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-4387878-1568292099.xml

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

MD5SUM BENCH= 281fe5e81d871c4f2ceaf1755ecf4117
RANDOM SEED=408206933

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        31427820 kB
MemAvailable:   31652360 kB
Buffers:           93960 kB
Cached:           421984 kB
SwapCached:        11824 kB
Active:           578264 kB
Inactive:         222896 kB
Active(anon):     280652 kB
Inactive(anon):    33316 kB
Active(file):     297612 kB
Inactive(file):   189580 kB
Unevictable:      110384 kB
Mlocked:          110384 kB
SwapTotal:      67108860 kB
SwapFree:       66992780 kB
Dirty:            103652 kB
Writeback:             0 kB
AnonPages:        384564 kB
Mapped:            42924 kB
Shmem:             19840 kB
Slab:             135008 kB
SReclaimable:     106364 kB
SUnreclaim:        28644 kB
KernelStack:        3840 kB
PageTables:         6404 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    6143068 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    204800 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      118144 kB
DirectMap2M:    33427456 kB

Free space on /tmp at the end= 54536 MiB
End job on node102 at 2019-09-12 14:58:59