Trace number 4388001

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Fun-sCOP order+GlueMiniSat (2019-06-15)SAT 150.977 121.51

General information on the benchmark

NameSubisomorphism/Subisomorphism-m1-si6-bvg/
Subisomorphism-si6-b06-m200-07.xml
MD5SUMd7eafb215ab3d3f066855d3513f44111
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.030068
Satisfiable
(Un)Satisfiability was proved
Number of variables120
Number of constraints355
Number of domains1
Minimum domain size200
Maximum domain size200
Distribution of domain sizes[{"size":200,"count":120}]
Minimum variable degree4
Maximum variable degree7
Distribution of variable degrees[{"degree":4,"count":2},{"degree":5,"count":2},{"degree":6,"count":2},{"degree":7,"count":114}]
Minimum constraint arity2
Maximum constraint arity120
Distribution of constraint arities[{"arity":2,"count":354},{"arity":120,"count":1}]
Number of extensional constraints354
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":354},{"type":"allDifferent","count":1}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c (scop.sh) java -Xms11g -Xmx11g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Encode -order -solver HOME/glueminisat-simp-2.2.10-193oa-n-release -solverOption -model:-verb=3:-elim-cl=5000000:-native-oa -tmp HOME -serialFile HOME/scop-18338-serial-file.bin HOME/instance-4388001-1568293489.xml
0.66/0.53	
0.66/0.53	Fun-sCOP order+glueminisat-simp-2.2.10-193oa-n-release (2019-06-15)
0.66/0.53	
0.66/0.55	c BEGIN-Prog: Thu Sep 12 15:04:10 CEST 2019
0.66/0.55	c PID: 18341
0.66/0.55	c IP: 172.20.3.133
0.66/0.55	c HOST: node133.alineos.net
0.66/0.56	c (0,0) Parsing Begin
1.54/0.99	c (0,0) Parsing End
1.54/1.00	c (0,0) CSP: 120 int (0 aux), 0 bool (0 aux), 355 ctr, max domain size 200
1.54/1.00	c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.54/1.00	c (0,0) Constraint Name Generate Begin
1.77/1.01	c (0,0) Ctr:HOME/instance-4388001-1568293489.xml,AllDifferent:ExtensionSupport:Var
1.77/1.01	c (0,0) Constraint Name Generate End
1.77/1.01	c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.77/1.01	c (0,0) CSP to CSPinCNF Begin
13.69/7.07	c (6,6) translated 36 (10%) constraints
19.45/12.02	c (11,11) translated 71 (20%) constraints
24.21/16.71	c (16,16) translated 107 (30%) constraints
29.83/21.55	c (21,20) translated 142 (40%) constraints
35.86/26.58	c (26,25) translated 178 (50%) constraints
40.51/31.15	c (30,29) translated 213 (60%) constraints
46.82/36.24	c (35,34) translated 249 (70%) constraints
51.46/40.80	c (40,39) translated 284 (80%) constraints
58.05/45.99	c (45,43) translated 320 (90%) constraints
64.81/51.10	c (50,48) translated 355 (100%) constraints
65.02/51.23	c (50,48) ===========================================
65.02/51.23	c (50,48) Order
65.02/51.23	c (50,48) ===========================================
67.90/53.21	c (52,50) translated 96967 (10%) constraints
69.77/54.98	c (54,52) translated 193934 (20%) constraints
71.57/56.74	c (56,53) translated 290901 (30%) constraints
75.80/59.11	c (58,55) translated 387868 (40%) constraints
77.50/60.88	c (60,57) translated 484835 (50%) constraints
79.31/62.65	c (62,59) translated 581802 (60%) constraints
81.12/64.41	c (63,61) translated 678769 (70%) constraints
82.82/66.18	c (65,62) translated 775736 (80%) constraints
86.70/68.48	c (67,64) translated 872703 (90%) constraints
88.57/70.25	c (69,66) translated 969669 (100%) constraints
88.57/70.25	c (69,66) CSP to CSPinCNF End
88.57/70.28	c (69,66) CSP: 120 int (0 aux), 70800 bool (70800 aux), 969669 ctr, max domain size 200
88.57/70.28	c (69,66) Heap : 1534 MiB used (max 10570 MiB), NonHeap : 28 MiB used (max 0 MiB)
88.57/70.28	c (69,66) CSPinCNF Propagation Begin
99.26/76.63	c (76,71) 0 values, 354 unsatisfiable literals, and 1 valid clauses are removed
99.26/76.63	c (76,71) CSPinCNF Propagation End
99.26/76.65	c (76,71) CSP: 120 int (0 aux), 70800 bool (70800 aux), 969668 ctr, max domain size 200
99.26/76.65	c (76,71) Heap : 2620 MiB used (max 10580 MiB), NonHeap : 28 MiB used (max 0 MiB)
99.26/76.66	c (76,71) Simplify CSPinCNF Begin
101.73/78.41	c (77,73) Simplify CSPinCNF End
101.73/78.43	c (77,73) CSP: 120 int (0 aux), 85080 bool (85080 aux), 983948 ctr, max domain size 200
101.73/78.43	c (77,73) Heap : 3615 MiB used (max 10580 MiB), NonHeap : 29 MiB used (max 0 MiB)
101.73/78.43	c (77,73) Calculate Precise Domain Begin
101.73/78.44	c (77,73) 0 values are removed by re-calculation
101.73/78.44	c (77,73) Calculate Precise Domain End
101.73/78.46	c (77,73) CSP: 120 int (0 aux), 85080 bool (85080 aux), 983948 ctr, max domain size 200
101.73/78.46	c (77,73) Heap : 3619 MiB used (max 10580 MiB), NonHeap : 29 MiB used (max 0 MiB)
101.73/78.46	c (77,73) CSPinCNF to SatSolver Begin
119.41/92.10	c (91,86) 98395 (10 %) CSP clauses are encoded (0 SAT variables, 2963874 SAT clauses)
120.50/93.05	c (92,87) 196790 (20 %) CSP clauses are encoded (0 SAT variables, 3062269 SAT clauses)
121.65/94.03	c (93,88) 295185 (30 %) CSP clauses are encoded (0 SAT variables, 3160664 SAT clauses)
122.55/94.97	c (94,88) 393580 (40 %) CSP clauses are encoded (0 SAT variables, 3259059 SAT clauses)
123.55/95.91	c (95,89) 491974 (50 %) CSP clauses are encoded (0 SAT variables, 3357453 SAT clauses)
124.96/97.00	c (96,90) 590369 (60 %) CSP clauses are encoded (0 SAT variables, 3455848 SAT clauses)
125.96/97.94	c (97,91) 688764 (70 %) CSP clauses are encoded (0 SAT variables, 3554243 SAT clauses)
126.86/98.88	c (98,92) 787159 (80 %) CSP clauses are encoded (0 SAT variables, 3652638 SAT clauses)
128.62/100.00	c (99,93) 885554 (90 %) CSP clauses are encoded (0 SAT variables, 3751033 SAT clauses)
129.51/100.94	c (100,94) 983948 (100 %) CSP clauses are encoded (0 SAT variables, 3849427 SAT clauses)
129.51/100.94	c (100,94) CSPinCNF to SatSolver End
129.51/100.94	c (100,94) Heap : 2480 MiB used (max 10595 MiB), NonHeap : 31 MiB used (max 0 MiB)
129.51/100.94	c (100,94) 108960 bool, 3849428 clause
129.51/100.94	c (100,94) Export Begin
129.65/101.04	c (100,94) Export to HOME/scop-18338-serial-file.bin
129.65/101.04	c (100,94) Export End
129.65/101.04	c (100,94) Export File Size: 0.03 MB
129.65/101.04	c (100,94) 0,0,69,76,77,77,100,STOP-AFTER(DIMACS)
129.65/101.04	c END-Prog: Thu Sep 12 15:05:51 CEST 2019
129.65/101.07	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-18338-serial-file.bin
130.35/101.53	c (0,0) Read Serial File Begin
130.35/101.53	c (0,0) HOME/scop-18338-serial-file.bin
130.64/101.76	c (0,0) Read Serial File End
130.64/101.77	
131.00/101.93	Fun-sCOP order+glueminisat-simp-2.2.10-193oa-n-release (2019-06-15)
131.00/101.93	(Solving Process)
131.00/101.93	
131.00/101.93	c BEGIN-Prog: Thu Sep 12 15:05:51 CEST 2019
131.00/101.93	c PID: 18365
131.00/101.93	c IP: 172.20.3.133
131.00/101.93	c HOST: node133.alineos.net
131.00/101.93	c (0,0) SatSolver.solve Begin
131.00/101.93	c (0,0) HOME/glueminisat-simp-2.2.10-193oa-n-release -model -verb=3 -elim-cl=5000000 -native-oa HOME/instance-4388001-1568293489.xml-scop-18341.cnf
131.00/101.93	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
131.00/101.93	c (0,0) c glueminisat-simp-2.2.10-193oa-n
131.00/101.93	c (0,0) c Command: HOME/glueminisat-simp-2.2.10-193oa-n-release -model -verb=3 -elim-cl=5000000 -native-oa HOME/instance-4388001-1568293489.xml-scop-18341.cnf 
131.00/101.93	c (0,0) c Options:
131.00/101.93	c (0,0) c CORE
131.00/101.93	c (0,0) c  var_decay             = 0.950
131.00/101.93	c (0,0) c  clause_decay          = 0.999
131.00/101.93	c (0,0) c  random_var_freq       = 0.000
131.00/101.93	c (0,0) c  random_seed           = 91648253.000
131.00/101.93	c (0,0) c  luby_restart          = 1
131.00/101.93	c (0,0) c  ccmin_mode            = 2
131.00/101.93	c (0,0) c  phase_saving          = 2
131.00/101.93	c (0,0) c  rnd_pol               = 0
131.00/101.93	c (0,0) c  rnd_init_act          = 0
131.00/101.93	c (0,0) c  garbage_frac          = 0.200
131.00/101.93	c (0,0) c  restart_first         = 1000
131.00/101.93	c (0,0) c  restart_inc           = 2.000
131.00/101.93	c (0,0) c MODEL
131.00/101.93	c (0,0) c  partial_model         = 0
131.00/101.93	c (0,0) c PROPAGATION
131.00/101.93	c (0,0) c  bin_propagation       = 1
131.00/101.93	c (0,0) c SIMPLIFICATION
131.00/101.93	c (0,0) c  lrn_min_size          = 100
131.00/101.93	c (0,0) c  lazy_simp             = 1
131.00/101.93	c (0,0) c  lazy_interval         = 10
131.00/101.93	c (0,0) c  lazy_fld_probing      = 1
131.00/101.93	c (0,0) c  lazy_pol_probing      = 1
131.00/101.93	c (0,0) c  lazy_nec_probing      = 1
131.00/101.93	c (0,0) c  lazy_eqv_probing      = 1
131.00/101.93	c (0,0) c  lazy_cla_probing      = 1
131.00/101.93	c (0,0) c  lazy_lrn_min          = 2
131.00/101.93	c (0,0) c  lazy_uw_lit_elim      = 1
131.00/101.93	c (0,0) c  lazy_pr_lit_elim      = 0
131.00/101.93	c (0,0) c  lazy_bin_add          = 3
131.00/101.93	c (0,0) c  probed_lit_chain      = 1
131.00/101.93	c (0,0) c  pr_min_lits           = 0.00020
131.00/101.93	c (0,0) c  pr_min_starts         = 500
131.00/101.93	c (0,0) c  rw_min_lits           = 0.010
131.00/101.93	c (0,0) c  rw_min_starts         = 500
131.00/101.93	c (0,0) c  rand_attach           = 0
131.00/101.93	c (0,0) c  dec_elim              = 1
131.00/101.93	c (0,0) c  dec_elim_lim          = 25
131.00/101.93	c (0,0) c  dec_elim_len          = -1
131.00/101.93	c (0,0) c  amo                   = 0
131.00/101.93	c (0,0) c  amo_grp               = 1
131.00/101.93	c (0,0) c  amo_max_bins          = 1000000
131.00/101.93	c (0,0) c  amo_starts            = 50
131.00/101.93	c (0,0) c  mace_cmd              = mace
131.00/101.93	c (0,0) c DECISION
131.00/101.93	c (0,0) c  rand_rebuild          = 0
131.00/101.93	c (0,0) c  rand_rebuild_confs    = 10000
131.00/101.93	c (0,0) c  inc_var_decay         = 1
131.00/101.93	c (0,0) c  inc_var_decay_period  = 100000
131.00/101.93	c (0,0) c  inc_var_decay_init    = 0.600
131.00/101.93	c (0,0) c  var_decay_mode        = 0
131.00/101.93	c (0,0) c  var_decay_gain        = 0
131.00/101.93	c (0,0) c  sloped_var_decay      = 1
131.00/101.93	c (0,0) c  max_var_decay         = 0.990
131.00/101.93	c (0,0) c  min_var_decay         = 0.950
131.00/101.93	c (0,0) c  min_var_decay_vars    = 10000
131.00/101.93	c (0,0) c  max_var_decay_vars    = 500
131.00/101.93	c (0,0) c  uip_bumping           = 1
131.00/101.93	c (0,0) c  lbd_act_bumping       = 1
131.00/101.93	c (0,0) c  rand_tiebreak         = 0
131.00/101.93	c (0,0) c  simp_rebuild          = 1
131.00/101.93	c (0,0) c RESTART
131.00/101.93	c (0,0) c  restart_strategy      = 2
131.00/101.93	c (0,0) c  restart_blocking      = 0
131.00/101.93	c (0,0) c  agility_decay         = 0.99990
131.00/101.93	c (0,0) c  lbd_restart_rate      = 0.800
131.00/101.93	c (0,0) c  dec_restart_rate      = 0.950
131.00/101.93	c (0,0) c  blk_restart_rate      = 0.700
131.00/101.93	c (0,0) c  lbd_queue_size        = 50
131.00/101.93	c (0,0) c  dec_queue_size        = 50
131.00/101.93	c (0,0) c  trl_queue_size        = 5000
131.00/101.93	c (0,0) c  blk_restart_weight    = 1.000
131.00/101.93	c (0,0) c  inc_rst_rate          = 0
131.00/101.93	c (0,0) c  inc_rst_rate_period   = 500000
131.00/101.93	c (0,0) c  inc_lbd_rst_rate_init = 0.600
131.00/101.93	c (0,0) c  inc_dec_rst_rate_init = 0.750
131.00/101.93	c (0,0) c REDUCTION
131.00/101.93	c (0,0) c  closed_lbd            = 0
131.00/101.93	c (0,0) c  closed_lbd_rate       = 0.500
131.00/101.93	c (0,0) c  rm_simulate           = 0
131.00/101.93	c (0,0) c  rdb_eval              = 2
131.00/101.93	c (0,0) c  rdb_call              = 3
131.00/101.93	c (0,0) c  rdb_ub                = 0.500
131.00/101.93	c (0,0) c  core_lbd_cvr          = 0.800
131.00/101.93	c (0,0) c  supp_lbd_cvr          = 0.990
131.00/101.93	c (0,0) c  core_lbd_lb           = 2
131.00/101.93	c (0,0) c  supp_lbd_lb           = 2
131.00/101.93	c (0,0) c  core_lbd_prd          = 7
131.00/101.93	c (0,0) c  supp_lbd_prd          = 1
131.00/101.93	c (0,0) c  othr_lbd_prd          = 0
131.00/101.93	c (0,0) c  inc_lrn_limit         = 1000
131.00/101.93	c (0,0) c  frozen_lbd            = 30
131.00/101.93	c (0,0) c  simp_min_starts       = 100
131.00/101.93	c (0,0) c  rm_low_act_learnts    = 1
131.00/101.93	c (0,0) c  lv0_reduce_db         = 0
131.00/101.93	c (0,0) c  reduce_db_base        = 20000
131.00/101.93	c (0,0) c  reduce_db_inc         = 1000
131.00/101.93	c (0,0) c HARD
131.00/101.93	c (0,0) c  inst_check            = 200000
131.00/101.93	c (0,0) c  small_block           = 1.750
131.00/101.93	c (0,0) c  slow_restart_speed    = 400.000
131.00/101.93	c (0,0) c  slow_restart_strategy = 3
131.00/101.93	c (0,0) c  slow_lbd_restart_rate = 0.700
131.00/101.93	c (0,0) c  slow_dec_restart_rate = 1.000
131.00/101.93	c (0,0) c  slow_lbd_queue_size   = 50
131.00/101.93	c (0,0) c  slow_var_decay        = 0.950
131.00/101.93	c (0,0) c  slow_glue_threshold   = 2
131.00/101.93	c (0,0) c  slow_phase_saving     = 2
131.00/101.93	c (0,0) c  fast_restart_speed    = 125.000
131.00/101.93	c (0,0) c  fast_restart_strategy = 1
131.00/101.93	c (0,0) c  fast_lbd_restart_rate = 0.800
131.00/101.93	c (0,0) c  fast_dec_restart_rate = 0.950
131.00/101.93	c (0,0) c  fast_lbd_queue_size   = 50
131.00/101.93	c (0,0) c  fast_var_decay        = 1.000
131.00/101.93	c (0,0) c  fast_glue_threshold   = 2
131.00/101.93	c (0,0) c  fast_phase_saving     = 2
131.00/101.93	c (0,0) c STATS
131.00/101.93	c (0,0) c  stats_conf_size       = 10000
131.00/101.93	c (0,0) c  max_stats_size        = 30
131.00/101.93	c (0,0) c SOLVER
131.00/101.93	c (0,0) c  minisat               = 0
132.17/103.18	c (1,0) c Problem: 108960 variables, 3849428 clauses, parsing 1.14 s
149.47/120.50	c (19,0) c  reduced to 101820 variables, 3842288 clauses (grow = 0)
149.68/120.64	c (19,0) c  exclude 0 (0.0%) variables from decision variables (last cost 0)
149.97/120.93	c (19,0) c Simplification: 7140 vars, 7140 clauses are eliminated using 17.57 s
149.97/120.93	c (19,0) c
149.97/120.93	c (19,0) c        #Rstrts   #Confs   #Vars   #Clauses  #Learnts Lits/C LBD/C DLVs Trail
149.97/120.93	c (19,0) c
149.97/120.93	c (19,0) c   19         0         0   101820  3842288        0   -nan  -nan  -nan -nan%
150.19/121.15	c (19,0) c   19         2       100   101820  3842288      100   54.8   8.6  25.7  5.1%
150.29/121.25	c (19,0) c   19         2       100   101820  3842288      100   54.8   8.6  25.7  5.1%
150.29/121.25	c (19,0) c
150.29/121.25	c (19,0) c
150.29/121.25	c (19,0) c variables         : 101820      (init 108960, after simp 101820, 0 non-decs, 120 csp)
150.29/121.25	c (19,0) c clauses           : 3842288     (init 3849428, after simp 3842288)
150.29/121.25	c (19,0) c restarts          : 1           (50.00 confs/res, 19~81 confs, 0 blks, 0 last)
150.29/121.25	c (19,0) c conflicts         : 100         (5 /sec, 61.00% dconfs, 0.00% supp, trail 279.79w x 25.71h, jmp 2.26h)
150.29/121.25	c (19,0) c decisions         : 268         (0.6000 vdcy, 14 /sec, 0.00% bin, rs 0.000 s)
150.29/121.25	c (19,0) c propagations      : 365574      (19219 /sec, 1364.08 lits/dec, 8.60% o.a.)
150.29/121.25	c (19,0) c conflict literals : 8346        (34.38% deleted; 0.00% by bin min, 0.000 s)
150.29/121.25	c (19,0) c len               : 54.770      (54.77 for all, max 371, used 371)
150.29/121.25	c (19,0) c lbd               : 8.640       (9.66 (8.64) for all, max 48, used 48, 9.609 stdev, 5.670 blk)
150.29/121.25	c (19,0) c amo               : 0           (0 max, -nan avg, 0.000 s)
150.29/121.25	c (19,0) c simp dbs          : 1           (0.000 s)
150.29/121.25	c (19,0) c reduce dbs        : 0           (core-lbd 2, supp-lbd 2147483647, 0.000 s)
150.29/121.25	c (19,0) c learnts           : 100         (0 learnts removed, 0.00%)
150.29/121.25	c (19,0) c rewrite dbs       : 0           (0/0 vars, 0+0 taut, 0+0 unit, 0.000 s)
150.29/121.25	c (19,0) c assigned lits     : 0           (0/0 probed, 0 remains)
150.29/121.25	c (19,0) c premise updates   : 0           (0.00 /lit)
150.29/121.25	c (19,0) c probed variables  : 0           (0 pr, 0 eq, 0 fld, 0 pol, 0 nec, 0 cla, 0 amo)
150.29/121.25	c (19,0) c equiv variables   : 0           (0 bin, 0 trn, 0 quat, 0 quin, 0 othr; 0 amo)
150.29/121.25	c (19,0) c lazy added bins   : 0           (0 prop + 0 conf, 0.000s)
150.29/121.25	c (19,0) c unwatched lit elim: 1           (0.00+0.01%, 0+1 of 11402208+8346)
150.29/121.25	c (19,0) c classified type   : undef
150.29/121.25	c (19,0) c progress          : 0.000 %
150.29/121.25	c (19,0) c
150.29/121.25	c (19,0) c [Statistics]
150.29/121.25	c (19,0) c             learnts len        learnts lbd        lit blk size       eq vars size
150.29/121.25	c (19,0) c  tot         100                100                966                  0
150.29/121.25	c (19,0) c  avg      54.770              8.640              5.670               -nan
150.29/121.25	c (19,0) c   1            0 ( 0.0%)          0 ( 0.0%)        624 (64.6%)          0 (-nan%)
150.29/121.25	c (19,0) c   2            0 ( 0.0%)         13 (13.0%)         83 ( 8.6%)          0 (-nan%)
150.29/121.25	c (19,0) c   3            1 ( 1.0%)         12 (12.0%)         39 ( 4.0%)          0 (-nan%)
150.29/121.25	c (19,0) c   4           10 (10.0%)         12 (12.0%)         33 ( 3.4%)          0 (-nan%)
150.29/121.25	c (19,0) c   5            9 ( 9.0%)         14 (14.0%)         23 ( 2.4%)          0 (-nan%)
150.29/121.25	c (19,0) c   6           14 (14.0%)         10 (10.0%)         12 ( 1.2%)          0 (-nan%)
150.29/121.25	c (19,0) c   7            5 ( 5.0%)          6 ( 6.0%)         12 ( 1.2%)          0 (-nan%)
150.29/121.25	c (19,0) c   8            7 ( 7.0%)          5 ( 5.0%)         11 ( 1.1%)          0 (-nan%)
150.29/121.25	c (19,0) c   9            8 ( 8.0%)          3 ( 3.0%)         10 ( 1.0%)          0 (-nan%)
150.29/121.25	c (19,0) c  10            0 ( 0.0%)          1 ( 1.0%)          6 ( 0.6%)          0 (-nan%)
150.29/121.25	c (19,0) c  11            2 ( 2.0%)          0 ( 0.0%)          6 ( 0.6%)          0 (-nan%)
150.29/121.25	c (19,0) c  12            1 ( 1.0%)          2 ( 2.0%)          4 ( 0.4%)          0 (-nan%)
150.29/121.25	c (19,0) c  13            0 ( 0.0%)          1 ( 1.0%)          5 ( 0.5%)          0 (-nan%)
150.29/121.25	c (19,0) c  14            0 ( 0.0%)          3 ( 3.0%)          2 ( 0.2%)          0 (-nan%)
150.29/121.25	c (19,0) c  15            0 ( 0.0%)          2 ( 2.0%)          5 ( 0.5%)          0 (-nan%)
150.29/121.25	c (19,0) c  16            0 ( 0.0%)          1 ( 1.0%)          5 ( 0.5%)          0 (-nan%)
150.29/121.25	c (19,0) c  17            0 ( 0.0%)          1 ( 1.0%)          5 ( 0.5%)          0 (-nan%)
150.29/121.25	c (19,0) c  18            0 ( 0.0%)          2 ( 2.0%)          2 ( 0.2%)          0 (-nan%)
150.29/121.25	c (19,0) c  19            0 ( 0.0%)          1 ( 1.0%)          4 ( 0.4%)          0 (-nan%)
150.29/121.25	c (19,0) c  20            0 ( 0.0%)          2 ( 2.0%)          5 ( 0.5%)          0 (-nan%)
150.29/121.25	c (19,0) c  21            0 ( 0.0%)          3 ( 3.0%)          2 ( 0.2%)          0 (-nan%)
150.29/121.25	c (19,0) c  22            0 ( 0.0%)          0 ( 0.0%)          4 ( 0.4%)          0 (-nan%)
150.29/121.25	c (19,0) c  23            0 ( 0.0%)          0 ( 0.0%)          0 ( 0.0%)          0 (-nan%)
150.29/121.25	c (19,0) c  24            0 ( 0.0%)          0 ( 0.0%)          3 ( 0.3%)          0 (-nan%)
150.29/121.25	c (19,0) c  25            1 ( 1.0%)          0 ( 0.0%)          1 ( 0.1%)          0 (-nan%)
150.29/121.25	c (19,0) c  26            0 ( 0.0%)          0 ( 0.0%)          1 ( 0.1%)          0 (-nan%)
150.29/121.25	c (19,0) c  27            0 ( 0.0%)          0 ( 0.0%)          6 ( 0.6%)          0 (-nan%)
150.29/121.25	c (19,0) c  28            0 ( 0.0%)          0 ( 0.0%)          4 ( 0.4%)          0 (-nan%)
150.29/121.25	c (19,0) c  29            0 ( 0.0%)          1 ( 1.0%)          0 ( 0.0%)          0 (-nan%)
150.29/121.25	c (19,0) c  30           42 (42.0%)          5 ( 5.0%)         49 ( 5.1%)          0 (-nan%)
150.29/121.25	c (19,0) c
150.29/121.25	c (19,0) c [LBD Statistics]
150.29/121.25	c (19,0) c LBD          used lbd               used clause lbd         unused clause lbd
150.29/121.25	c (19,0) c  tot           65                      36                      64
150.29/121.25	c (19,0) c  avg        8.000                   7.778                   9.125
150.29/121.25	c (19,0) c    1            0 ( 0.0/ 0.0%)          0 ( 0.0/ 0.0%)          0 ( 0.0/ 0.0%)
150.29/121.25	c (19,0) c    2            7 (10.8/10.8%)          5 (13.9/13.9%)          8 (12.5/12.5%)
150.29/121.25	c (19,0) c    3           10 (15.4/26.2%)          7 (19.4/33.3%)          5 ( 7.8/20.3%)
150.29/121.25	c (19,0) c    4           12 (18.5/44.6%)          7 (19.4/52.8%)          5 ( 7.8/28.1%)
150.29/121.25	c (19,0) c    5            7 (10.8/55.4%)          5 (13.9/66.7%)          9 (14.1/42.2%)
150.29/121.25	c (19,0) c    6           16 (24.6/80.0%)          2 ( 5.6/72.2%)          8 (12.5/54.7%)
150.29/121.25	c (19,0) c    7            0 ( 0.0/80.0%)          2 ( 5.6/77.8%)          4 ( 6.2/60.9%)
150.29/121.25	c (19,0) c    8            2 ( 3.1/83.1%)          1 ( 2.8/80.6%)          4 ( 6.2/67.2%)
150.29/121.25	c (19,0) c    9            1 ( 1.5/84.6%)          0 ( 0.0/80.6%)          3 ( 4.7/71.9%)
150.29/121.25	c (19,0) c   10            0 ( 0.0/84.6%)          0 ( 0.0/80.6%)          1 ( 1.6/73.4%)
150.29/121.25	c (19,0) c   11            0 ( 0.0/84.6%)          0 ( 0.0/80.6%)          0 ( 0.0/73.4%)
150.29/121.25	c (19,0) c   12            0 ( 0.0/84.6%)          0 ( 0.0/80.6%)          2 ( 3.1/76.6%)
150.29/121.25	c (19,0) c   13            1 ( 1.5/86.2%)          0 ( 0.0/80.6%)          1 ( 1.6/78.1%)
150.29/121.25	c (19,0) c   14            0 ( 0.0/86.2%)          2 ( 5.6/86.1%)          1 ( 1.6/79.7%)
150.29/121.25	c (19,0) c   15            0 ( 0.0/86.2%)          0 ( 0.0/86.1%)          2 ( 3.1/82.8%)
150.29/121.25	c (19,0) c   16            0 ( 0.0/86.2%)          1 ( 2.8/88.9%)          0 ( 0.0/82.8%)
150.29/121.25	c (19,0) c   17            1 ( 1.5/87.7%)          0 ( 0.0/88.9%)          1 ( 1.6/84.4%)
150.29/121.25	c (19,0) c   18            1 ( 1.5/89.2%)          0 ( 0.0/88.9%)          2 ( 3.1/87.5%)
150.29/121.25	c (19,0) c   19            1 ( 1.5/90.8%)          1 ( 2.8/91.7%)          0 ( 0.0/87.5%)
150.29/121.25	c (19,0) c   20            1 ( 1.5/92.3%)          1 ( 2.8/94.4%)          1 ( 1.6/89.1%)
150.29/121.25	c (19,0) c   21            0 ( 0.0/92.3%)          0 ( 0.0/94.4%)          3 ( 4.7/93.8%)
150.29/121.25	c (19,0) c   22            1 ( 1.5/93.8%)          0 ( 0.0/94.4%)          0 ( 0.0/93.8%)
150.29/121.25	c (19,0) c   23            0 ( 0.0/93.8%)          0 ( 0.0/94.4%)          0 ( 0.0/93.8%)
150.29/121.25	c (19,0) c   24            0 ( 0.0/93.8%)          0 ( 0.0/94.4%)          0 ( 0.0/93.8%)
150.29/121.25	c (19,0) c   25            0 ( 0.0/93.8%)          0 ( 0.0/94.4%)          0 ( 0.0/93.8%)
150.29/121.25	c (19,0) c   26            0 ( 0.0/93.8%)          0 ( 0.0/94.4%)          0 ( 0.0/93.8%)
150.29/121.25	c (19,0) c   27            0 ( 0.0/93.8%)          0 ( 0.0/94.4%)          0 ( 0.0/93.8%)
150.29/121.25	c (19,0) c   28            0 ( 0.0/93.8%)          0 ( 0.0/94.4%)          0 ( 0.0/93.8%)
150.29/121.25	c (19,0) c   29            0 ( 0.0/93.8%)          0 ( 0.0/94.4%)          1 ( 1.6/95.3%)
150.29/121.25	c (19,0) c   30            0 ( 0.0/93.8%)          0 ( 0.0/94.4%)          0 ( 0.0/95.3%)
150.29/121.25	c (19,0) c   31            1 ( 1.5/95.4%)          1 ( 2.8/97.2%)          1 ( 1.6/96.9%)
150.29/121.25	c (19,0) c   32            0 ( 0.0/95.4%)          0 ( 0.0/97.2%)          0 ( 0.0/96.9%)
150.29/121.25	c (19,0) c   33            0 ( 0.0/95.4%)          0 ( 0.0/97.2%)          2 ( 3.1/100.0%)
150.29/121.25	c (19,0) c   34            0 ( 0.0/95.4%)          0 ( 0.0/97.2%)          0 ( 0.0/100.0%)
150.29/121.25	c (19,0) c   35            0 ( 0.0/95.4%)          0 ( 0.0/97.2%)          0 ( 0.0/100.0%)
150.29/121.25	c (19,0) c   36            1 ( 1.5/96.9%)          0 ( 0.0/97.2%)          0 ( 0.0/100.0%)
150.29/121.25	c (19,0) c   37            0 ( 0.0/96.9%)          0 ( 0.0/97.2%)          0 ( 0.0/100.0%)
150.29/121.25	c (19,0) c   38            0 ( 0.0/96.9%)          0 ( 0.0/97.2%)          0 ( 0.0/100.0%)
150.29/121.25	c (19,0) c   39            0 ( 0.0/96.9%)          0 ( 0.0/97.2%)          0 ( 0.0/100.0%)
150.29/121.25	c (19,0) c   40            0 ( 0.0/96.9%)          0 ( 0.0/97.2%)          0 ( 0.0/100.0%)
150.29/121.26	c (19,0) c   41            0 ( 0.0/96.9%)          0 ( 0.0/97.2%)          0 ( 0.0/100.0%)
150.29/121.26	c (19,0) c   42            0 ( 0.0/96.9%)          0 ( 0.0/97.2%)          0 ( 0.0/100.0%)
150.29/121.26	c (19,0) c   43            0 ( 0.0/96.9%)          0 ( 0.0/97.2%)          0 ( 0.0/100.0%)
150.29/121.26	c (19,0) c   44            0 ( 0.0/96.9%)          0 ( 0.0/97.2%)          0 ( 0.0/100.0%)
150.29/121.26	c (19,0) c   45            0 ( 0.0/96.9%)          0 ( 0.0/97.2%)          0 ( 0.0/100.0%)
150.29/121.26	c (19,0) c   46            0 ( 0.0/96.9%)          0 ( 0.0/97.2%)          0 ( 0.0/100.0%)
150.29/121.26	c (19,0) c   47            0 ( 0.0/96.9%)          0 ( 0.0/97.2%)          0 ( 0.0/100.0%)
150.29/121.26	c (19,0) c   48            2 ( 3.1/100.0%)          1 ( 2.8/100.0%)          0 ( 0.0/100.0%)
150.29/121.26	c (19,0) c
150.29/121.26	c (19,0) c Memory used       : 556.00 MB
150.29/121.26	c (19,0) c CPU time          : 19.021 s
150.29/121.26	c (19,0) c Real time         : 19.432 s
150.29/121.26	c (19,0) c
150.29/121.26	c (19,0) s SATISFIABLE
150.50/121.36	c (19,0) SatSolver.solve End
150.50/121.36	c (19,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
150.50/121.36	c (19,0) Show results Begin
150.70/121.48	c (20,0) x[0] = 48
150.70/121.48	c (20,0) x[1] = 62
150.70/121.48	c (20,0) x[2] = 108
150.70/121.48	c (20,0) x[3] = 77
150.70/121.48	c (20,0) x[4] = 66
150.70/121.48	c (20,0) x[5] = 157
150.70/121.48	c (20,0) x[6] = 113
150.70/121.48	c (20,0) x[7] = 14
150.70/121.48	c (20,0) x[8] = 172
150.70/121.48	c (20,0) x[9] = 97
150.70/121.48	c (20,0) x[10] = 183
150.70/121.48	c (20,0) x[11] = 10
150.70/121.48	c (20,0) x[12] = 59
150.70/121.48	c (20,0) x[13] = 2
150.70/121.48	c (20,0) x[14] = 174
150.70/121.48	c (20,0) x[15] = 6
150.70/121.48	c (20,0) x[16] = 36
150.70/121.48	c (20,0) x[17] = 9
150.70/121.48	c (20,0) x[18] = 64
150.70/121.48	c (20,0) x[19] = 101
150.70/121.48	c (20,0) x[20] = 81
150.70/121.48	c (20,0) x[21] = 154
150.70/121.48	c (20,0) x[22] = 105
150.70/121.48	c (20,0) x[23] = 141
150.70/121.48	c (20,0) x[24] = 118
150.70/121.48	c (20,0) x[25] = 39
150.70/121.48	c (20,0) x[26] = 153
150.70/121.48	c (20,0) x[27] = 12
150.70/121.48	c (20,0) x[28] = 114
150.70/121.48	c (20,0) x[29] = 151
150.70/121.48	c (20,0) x[30] = 117
150.70/121.48	c (20,0) x[31] = 17
150.70/121.48	c (20,0) x[32] = 8
150.70/121.48	c (20,0) x[33] = 72
150.70/121.48	c (20,0) x[34] = 150
150.70/121.48	c (20,0) x[35] = 130
150.70/121.48	c (20,0) x[36] = 4
150.70/121.48	c (20,0) x[37] = 99
150.70/121.48	c (20,0) x[38] = 96
150.70/121.48	c (20,0) x[39] = 115
150.70/121.48	c (20,0) x[40] = 198
150.70/121.48	c (20,0) x[41] = 76
150.70/121.48	c (20,0) x[42] = 61
150.70/121.48	c (20,0) x[43] = 86
150.70/121.48	c (20,0) x[44] = 160
150.70/121.48	c (20,0) x[45] = 16
150.70/121.48	c (20,0) x[46] = 88
150.70/121.48	c (20,0) x[47] = 26
150.70/121.48	c (20,0) x[48] = 111
150.70/121.48	c (20,0) x[49] = 11
150.70/121.48	c (20,0) x[50] = 167
150.70/121.48	c (20,0) x[51] = 170
150.70/121.48	c (20,0) x[52] = 132
150.70/121.48	c (20,0) x[53] = 187
150.70/121.48	c (20,0) x[54] = 188
150.70/121.48	c (20,0) x[55] = 128
150.70/121.48	c (20,0) x[56] = 159
150.70/121.48	c (20,0) x[57] = 176
150.70/121.48	c (20,0) x[58] = 57
150.70/121.48	c (20,0) x[59] = 13
150.70/121.48	c (20,0) x[60] = 19
150.70/121.48	c (20,0) x[61] = 25
150.70/121.48	c (20,0) x[62] = 67
150.70/121.48	c (20,0) x[63] = 169
150.70/121.48	c (20,0) x[64] = 109
150.70/121.48	c (20,0) x[65] = 60
150.70/121.48	c (20,0) x[66] = 49
150.70/121.48	c (20,0) x[67] = 147
150.70/121.48	c (20,0) x[68] = 103
150.70/121.48	c (20,0) x[69] = 56
150.70/121.48	c (20,0) x[70] = 54
150.70/121.48	c (20,0) x[71] = 199
150.70/121.48	c (20,0) x[72] = 133
150.70/121.48	c (20,0) x[73] = 156
150.70/121.48	c (20,0) x[74] = 32
150.70/121.48	c (20,0) x[75] = 78
150.70/121.48	c (20,0) x[76] = 102
150.70/121.48	c (20,0) x[77] = 182
150.70/121.48	c (20,0) x[78] = 197
150.70/121.48	c (20,0) x[79] = 152
150.70/121.48	c (20,0) x[80] = 93
150.70/121.48	c (20,0) x[81] = 119
150.70/121.48	c (20,0) x[82] = 91
150.70/121.48	c (20,0) x[83] = 173
150.70/121.48	c (20,0) x[84] = 142
150.70/121.48	c (20,0) x[85] = 179
150.70/121.48	c (20,0) x[86] = 140
150.70/121.48	c (20,0) x[87] = 5
150.70/121.48	c (20,0) x[88] = 195
150.70/121.48	c (20,0) x[89] = 158
150.70/121.48	c (20,0) x[90] = 79
150.70/121.48	c (20,0) x[91] = 144
150.70/121.48	c (20,0) x[92] = 7
150.70/121.48	c (20,0) x[93] = 73
150.70/121.48	c (20,0) x[94] = 43
150.70/121.48	c (20,0) x[95] = 177
150.70/121.48	c (20,0) x[96] = 116
150.70/121.48	c (20,0) x[97] = 27
150.70/121.48	c (20,0) x[98] = 148
150.70/121.48	c (20,0) x[99] = 94
150.70/121.48	c (20,0) x[100] = 145
150.70/121.48	c (20,0) x[101] = 104
150.70/121.48	c (20,0) x[102] = 120
150.70/121.48	c (20,0) x[103] = 112
150.70/121.48	c (20,0) x[104] = 50
150.70/121.48	c (20,0) x[105] = 18
150.70/121.48	c (20,0) x[106] = 20
150.70/121.48	c (20,0) x[107] = 143
150.70/121.48	c (20,0) x[108] = 41
150.70/121.48	c (20,0) x[109] = 100
150.70/121.48	c (20,0) x[110] = 70
150.70/121.48	c (20,0) x[111] = 137
150.70/121.48	c (20,0) x[112] = 65
150.70/121.48	c (20,0) x[113] = 46
150.70/121.48	c (20,0) x[114] = 121
150.70/121.48	c (20,0) x[115] = 40
150.70/121.48	c (20,0) x[116] = 138
150.70/121.48	c (20,0) x[117] = 127
150.70/121.48	c (20,0) x[118] = 164
150.70/121.48	c (20,0) x[119] = 129
150.70/121.48	s SATISFIABLE
150.70/121.49	v <instantiation>
150.70/121.49	v     <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[77] x[78] x[79] x[80] x[81] x[82] x[83] x[84] x[85] x[86] x[87] x[88] x[89] x[90] x[91] x[92] x[93] x[94] x[95] x[96] x[97] x[98] x[99] x[100] x[101] x[102] x[103] x[104] x[105] x[106] x[107] x[108] x[109] x[110] x[111] x[112] x[113] x[114] x[115] x[116] x[117] x[118] x[119]</list>
150.70/121.49	v     <values>48 62 108 77 66 157 113 14 172 97 183 10 59 2 174 6 36 9 64 101 81 154 105 141 118 39 153 12 114 151 117 17 8 72 150 130 4 99 96 115 198 76 61 86 160 16 88 26 111 11 167 170 132 187 188 128 159 176 57 13 19 25 67 169 109 60 49 147 103 56 54 199 133 156 32 78 102 182 197 152 93 119 91 173 142 179 140 5 195 158 79 144 7 73 43 177 116 27 148 94 145 104 120 112 50 18 20 143 41 100 70 137 65 46 121 40 138 127 164 129</values>
150.70/121.49	v </instantiation>
150.70/121.49	c (20,0) Show results End
150.70/121.49	c (20,0) Heap : 163 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB)
150.70/121.49	c (20,0) 19,20,STOP-AFTER(ALL)
150.70/121.49	c END-Prog: Thu Sep 12 15:06:11 CEST 2019

Verifier Data 

OK

Watcher Data 

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

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

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4388001-1568293489/watcher-4388001-1568293489 -o /tmp/evaluation-result-4388001-1568293489/solver-4388001-1568293489 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1568289747-16920 --watchdog 2580 HOME/scop.sh 11g HOME/scop.jar -order HOME/glueminisat-simp-2.2.10-193oa-n-release -model:-verb=3:-elim-cl=5000000:-native-oa HOME HOME/instance-4388001-1568293489.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=18338, runsolver pid=18335
Current StackSize limit: 8192 KiB


[startup+0.100142 s]*
/proc/loadavg: 2.02 2.10 2.26 3/241 18355
/proc/meminfo: memFree=31273320/32770624 swapFree=67003272/67108860
[pid=18338] ppid=18335 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/18338/stat : 18338 (scop.sh) S 18335 18338 16886 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 405588528 115843072 349 33554432000 4194304 5098028 140725337908768 140725337906024 140242639831676 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 29773824 140725337916200 140725337916528 140725337916528 140725337919437 0
/proc/18338/statm: 28282 349 296 221 0 87 0
[pid=18341] ppid=18338 vsize=15012696 memory=72208 CPUtime=0.12 cores=1,3,5,7
/proc/18341/stat : 18341 (java) S 18338 18338 16886 0 -1 1077944320 6348 0 0 0 10 2 0 0 20 0 15 0 405588528 15373000704 18052 33554432000 4194304 4196468 140722292374816 140722292357360 139652471566071 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 15712256 140722292380398 140722292380826 140722292380826 140722292383695 0
/proc/18341/statm: 3753174 18052 2890 1 0 3715579 0
[pid=18341/tid=18342] ppid=18338 vsize=15012696 memory=-6221578594132737991 CPUtime=0.08 cores=1,3,5,7
/proc/18341/task/18342/stat : 18342 (java) R 18338 18338 16886 0 -1 4202560 4134 0 0 0 7 1 0 0 20 0 15 0 405588528 15373000704 18052 33554432000 4194304 4196468 140722292374816 139652443357176 139652455646558 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15712256 140722292380398 140722292380826 140722292380826 140722292383695 0
[pid=18341/tid=18343] ppid=18338 vsize=15012696 memory=4206468019014099040 CPUtime=0 cores=1,3,5,7
/proc/18341/task/18343/stat : 18343 (java) S 18338 18338 16886 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405588530 15373000704 18052 33554432000 4194304 4196468 140722292374816 139652475808272 139652471576277 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15712256 140722292380398 140722292380826 140722292380826 140722292383695 0
[pid=18341/tid=18344] ppid=18338 vsize=15012696 memory=140466762704512 CPUtime=0 cores=1,3,5,7
/proc/18341/task/18344/stat : 18344 (java) S 18338 18338 16886 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405588530 15373000704 18052 33554432000 4194304 4196468 140722292374816 139652274584208 139652471576277 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15712256 140722292380398 140722292380826 140722292380826 140722292383695 0
[pid=18341/tid=18345] ppid=18338 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18341/task/18345/stat : 18345 (java) S 18338 18338 16886 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405588530 15373000704 18052 33554432000 4194304 4196468 140722292374816 139652273531152 139652471576277 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15712256 140722292380398 140722292380826 140722292380826 140722292383695 0
[pid=18341/tid=18346] ppid=18338 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18341/task/18346/stat : 18346 (java) S 18338 18338 16886 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405588530 15373000704 18052 33554432000 4194304 4196468 140722292374816 139652272478608 139652471576277 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15712256 140722292380398 140722292380826 140722292380826 140722292383695 0
[pid=18341/tid=18347] ppid=18338 vsize=15012696 memory=140466762704512 CPUtime=0 cores=1,3,5,7
/proc/18341/task/18347/stat : 18347 (java) S 18338 18338 16886 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405588531 15373000704 18052 33554432000 4194304 4196468 140722292374816 139651307854576 139652471577218 0 0 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15712256 140722292380398 140722292380826 140722292380826 140722292383695 0
[pid=18341/tid=18348] ppid=18338 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18341/task/18348/stat : 18348 (java) S 18338 18338 16886 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405588532 15373000704 18052 33554432000 4194304 4196468 140722292374816 139651062949536 139652471576277 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15712256 140722292380398 140722292380826 140722292380826 140722292383695 0
[pid=18341/tid=18349] ppid=18338 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18341/task/18349/stat : 18349 (java) S 18338 18338 16886 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 405588532 15373000704 18052 33554432000 4194304 4196468 140722292374816 139650928727280 139652471576277 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15712256 140722292380398 140722292380826 140722292380826 140722292383695 0
[pid=18341/tid=18350] ppid=18338 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18341/task/18350/stat : 18350 (java) S 18338 18338 16886 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405588534 15373000704 18052 33554432000 4194304 4196468 140722292374816 139650554223056 139652471584667 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15712256 140722292380398 140722292380826 140722292380826 140722292383695 0
[pid=18341/tid=18351] ppid=18338 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18341/task/18351/stat : 18351 (java) S 18338 18338 16886 0 -1 1077944384 304 0 0 0 0 0 0 0 20 0 15 0 405588534 15373000704 18052 33554432000 4194304 4196468 140722292374816 139651306801392 139652471577218 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15712256 140722292380398 140722292380826 140722292380826 140722292383695 0
[pid=18341/tid=18352] ppid=18338 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18341/task/18352/stat : 18352 (java) S 18338 18338 16886 0 -1 1077944384 125 0 0 0 0 0 0 0 20 0 15 0 405588535 15373000704 18052 33554432000 4194304 4196468 140722292374816 139651305748848 139652471577218 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15712256 140722292380398 140722292380826 140722292380826 140722292383695 0
[pid=18341/tid=18353] ppid=18338 vsize=15012696 memory=140466762704512 CPUtime=0.01 cores=1,3,5,7
/proc/18341/task/18353/stat : 18353 (java) S 18338 18338 16886 0 -1 1077944384 437 0 0 0 1 0 0 0 20 0 15 0 405588535 15373000704 18052 33554432000 4194304 4196468 140722292374816 139651304695792 139652471577218 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15712256 140722292380398 140722292380826 140722292380826 140722292383695 0
[pid=18341/tid=18354] ppid=18338 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18341/task/18354/stat : 18354 (java) S 18338 18338 16886 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405588535 15373000704 18052 33554432000 4194304 4196468 140722292374816 139650056317280 139652471576277 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15712256 140722292380398 140722292380826 140722292380826 140722292383695 0
[pid=18341/tid=18355] ppid=18338 vsize=15012696 memory=140466762704512 CPUtime=0 cores=1,3,5,7
/proc/18341/task/18355/stat : 18355 (java) S 18338 18338 16886 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405588535 15373000704 18052 33554432000 4194304 4196468 140722292374816 139651303644208 139652471577218 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15712256 140722292380398 140722292380826 140722292380826 140722292383695 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 73604 KiB

[startup+0.211447 s]*
/proc/loadavg: 2.02 2.10 2.26 3/241 18355
/proc/meminfo: memFree=31254332/32770624 swapFree=67003272/67108860
[pid=18338] ppid=18335 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/18338/stat : 18338 (scop.sh) S 18335 18338 16886 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 405588528 115843072 349 33554432000 4194304 5098028 140725337908768 140725337906024 140242639831676 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 29773824 140725337916200 140725337916528 140725337916528 140725337919437 0
/proc/18338/statm: 28282 349 296 221 0 87 0
[pid=18341] ppid=18338 vsize=15012696 memory=87068 CPUtime=0.25 cores=1,3,5,7
/proc/18341/stat : 18341 (java) S 18338 18338 16886 0 -1 1077944320 11370 0 0 0 21 4 0 0 20 0 15 0 405588528 15373000704 21767 33554432000 4194304 4196468 140722292374816 140722292357360 139652471566071 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 15712256 140722292380398 140722292380826 140722292380826 140722292383695 0
/proc/18341/statm: 3753174 21767 2951 1 0 3715579 0
[pid=18341/tid=18342] ppid=18338 vsize=15012696 memory=7022364632946311227 CPUtime=0.19 cores=1,3,5,7
/proc/18341/task/18342/stat : 18342 (java) R 18338 18338 16886 0 -1 4202560 9100 0 0 0 16 3 0 0 20 0 15 0 405588528 15373000704 21767 33554432000 4194304 4196468 140722292374816 139652443349632 139652471578006 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15712256 140722292380398 140722292380826 140722292380826 140722292383695 0
[pid=18341/tid=18343] ppid=18338 vsize=15012696 memory=397 CPUtime=0 cores=1,3,5,7
/proc/18341/task/18343/stat : 18343 (java) S 18338 18338 16886 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405588530 15373000704 21767 33554432000 4194304 4196468 140722292374816 139652475808272 139652471576277 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15712256 140722292380398 140722292380826 140722292380826 140722292383695 0
[pid=18341/tid=18344] ppid=18338 vsize=15012696 memory=140466762722390 CPUtime=0 cores=1,3,5,7
/proc/18341/task/18344/stat : 18344 (java) S 18338 18338 16886 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405588530 15373000704 21767 33554432000 4194304 4196468 140722292374816 139652274584208 139652471576277 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15712256 140722292380398 140722292380826 140722292380826 140722292383695 0
[pid=18341/tid=18345] ppid=18338 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18341/task/18345/stat : 18345 (java) S 18338 18338 16886 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405588530 15373000704 21767 33554432000 4194304 4196468 140722292374816 139652273531152 139652471576277 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15712256 140722292380398 140722292380826 140722292380826 140722292383695 0
[pid=18341/tid=18346] ppid=18338 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18341/task/18346/stat : 18346 (java) S 18338 18338 16886 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405588530 15373000704 21767 33554432000 4194304 4196468 140722292374816 139652272478608 139652471576277 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15712256 140722292380398 140722292380826 140722292380826 140722292383695 0
[pid=18341/tid=18347] ppid=18338 vsize=15012696 memory=140466762704512 CPUtime=0 cores=1,3,5,7
/proc/18341/task/18347/stat : 18347 (java) S 18338 18338 16886 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405588531 15373000704 21767 33554432000 4194304 4196468 140722292374816 139651307854576 139652471577218 0 0 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15712256 140722292380398 140722292380826 140722292380826 140722292383695 0
[pid=18341/tid=18348] ppid=18338 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18341/task/18348/stat : 18348 (java) S 18338 18338 16886 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405588532 15373000704 21767 33554432000 4194304 4196468 140722292374816 139651062949536 139652471576277 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15712256 140722292380398 140722292380826 140722292380826 140722292383695 0
[pid=18341/tid=18349] ppid=18338 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18341/task/18349/stat : 18349 (java) S 18338 18338 16886 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 405588532 15373000704 21767 33554432000 4194304 4196468 140722292374816 139650928727280 139652471576277 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15712256 140722292380398 140722292380826 140722292380826 140722292383695 0
[pid=18341/tid=18350] ppid=18338 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18341/task/18350/stat : 18350 (java) S 18338 18338 16886 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405588534 15373000704 21767 33554432000 4194304 4196468 140722292374816 139650554223056 139652471584667 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15712256 140722292380398 140722292380826 140722292380826 140722292383695 0
[pid=18341/tid=18351] ppid=18338 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18341/task/18351/stat : 18351 (java) S 18338 18338 16886 0 -1 1077944384 315 0 0 0 0 0 0 0 20 0 15 0 405588534 15373000704 21767 33554432000 4194304 4196468 140722292374816 139651306801392 139652471577218 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15712256 140722292380398 140722292380826 140722292380826 140722292383695 0
[pid=18341/tid=18352] ppid=18338 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18341/task/18352/stat : 18352 (java) S 18338 18338 16886 0 -1 1077944384 158 0 0 0 0 0 0 0 20 0 15 0 405588535 15373000704 21767 33554432000 4194304 4196468 140722292374816 139651305748848 139652471577218 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15712256 140722292380398 140722292380826 140722292380826 140722292383695 0
[pid=18341/tid=18353] ppid=18338 vsize=15012696 memory=140466762704512 CPUtime=0.02 cores=1,3,5,7
/proc/18341/task/18353/stat : 18353 (java) R 18338 18338 16886 0 -1 4202560 443 0 0 0 2 0 0 0 20 0 15 0 405588535 15373000704 21767 33554432000 4194304 4196468 140722292374816 139651304695792 139652471587418 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15712256 140722292380398 140722292380826 140722292380826 140722292383695 0
[pid=18341/tid=18354] ppid=18338 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18341/task/18354/stat : 18354 (java) S 18338 18338 16886 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405588535 15373000704 21767 33554432000 4194304 4196468 140722292374816 139650056317280 139652471576277 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15712256 140722292380398 140722292380826 140722292380826 140722292383695 0
[pid=18341/tid=18355] ppid=18338 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18341/task/18355/stat : 18355 (java) S 18338 18338 16886 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405588535 15373000704 21767 33554432000 4194304 4196468 140722292374816 139651303644208 139652471577218 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15712256 140722292380398 140722292380826 140722292380826 140722292383695 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 88464 KiB

[startup+0.310918 s]*
/proc/loadavg: 2.02 2.10 2.26 3/241 18355
/proc/meminfo: memFree=31252164/32770624 swapFree=67003272/67108860
[pid=18338] ppid=18335 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/18338/stat : 18338 (scop.sh) S 18335 18338 16886 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 405588528 115843072 349 33554432000 4194304 5098028 140725337908768 140725337906024 140242639831676 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 29773824 140725337916200 140725337916528 140725337916528 140725337919437 0
/proc/18338/statm: 28282 349 296 221 0 87 0
[pid=18341] ppid=18338 vsize=15012696 memory=90944 CPUtime=0.43 cores=1,3,5,7
/proc/18341/stat : 18341 (java) S 18338 18338 16886 0 -1 1077944320 12214 0 0 0 39 4 0 0 20 0 15 0 405588528 15373000704 22736 33554432000 4194304 4196468 140722292374816 140722292357360 139652471566071 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 15712256 140722292380398 140722292380826 140722292380826 140722292383695 0
/proc/18341/statm: 3753174 22736 3072 1 0 3715579 0
[pid=18341/tid=18342] ppid=18338 vsize=15012696 memory=7022364632946311227 CPUtime=0.29 cores=1,3,5,7
/proc/18341/task/18342/stat : 18342 (java) R 18338 18338 16886 0 -1 4202560 9772 0 0 0 26 3 0 0 20 0 15 0 405588528 15373000704 22736 33554432000 4194304 4196468 140722292374816 139652443349088 139652453129623 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15712256 140722292380398 140722292380826 140722292380826 140722292383695 0
[pid=18341/tid=18343] ppid=18338 vsize=15012696 memory=288230613314699634 CPUtime=0 cores=1,3,5,7
/proc/18341/task/18343/stat : 18343 (java) S 18338 18338 16886 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405588530 15373000704 22736 33554432000 4194304 4196468 140722292374816 139652475808272 139652471576277 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15712256 140722292380398 140722292380826 140722292380826 140722292383695 0
[pid=18341/tid=18344] ppid=18338 vsize=15012696 memory=4121138038934094649 CPUtime=0 cores=1,3,5,7
/proc/18341/task/18344/stat : 18344 (java) S 18338 18338 16886 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405588530 15373000704 22736 33554432000 4194304 4196468 140722292374816 139652274584208 139652471576277 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15712256 140722292380398 140722292380826 140722292380826 140722292383695 0
[pid=18341/tid=18345] ppid=18338 vsize=15012696 memory=280933274253680 CPUtime=0 cores=1,3,5,7
/proc/18341/task/18345/stat : 18345 (java) S 18338 18338 16886 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405588530 15373000704 22736 33554432000 4194304 4196468 140722292374816 139652273531152 139652471576277 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15712256 140722292380398 140722292380826 140722292380826 140722292383695 0
[pid=18341/tid=18346] ppid=18338 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18341/task/18346/stat : 18346 (java) S 18338 18338 16886 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405588530 15373000704 22736 33554432000 4194304 4196468 140722292374816 139652272478608 139652471576277 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15712256 140722292380398 140722292380826 140722292380826 140722292383695 0
[pid=18341/tid=18347] ppid=18338 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18341/task/18347/stat : 18347 (java) S 18338 18338 16886 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405588531 15373000704 22736 33554432000 4194304 4196468 140722292374816 139651307854576 139652471577218 0 0 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15712256 140722292380398 140722292380826 140722292380826 140722292383695 0
[pid=18341/tid=18348] ppid=18338 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18341/task/18348/stat : 18348 (java) S 18338 18338 16886 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405588532 15373000704 22736 33554432000 4194304 4196468 140722292374816 139651062949536 139652471576277 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15712256 140722292380398 140722292380826 140722292380826 140722292383695 0
[pid=18341/tid=18349] ppid=18338 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18341/task/18349/stat : 18349 (java) S 18338 18338 16886 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 405588532 15373000704 22736 33554432000 4194304 4196468 140722292374816 139650928727280 139652471576277 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15712256 140722292380398 140722292380826 140722292380826 140722292383695 0
[pid=18341/tid=18350] ppid=18338 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18341/task/18350/stat : 18350 (java) S 18338 18338 16886 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405588534 15373000704 22736 33554432000 4194304 4196468 140722292374816 139650554223056 139652471584667 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15712256 140722292380398 140722292380826 140722292380826 140722292383695 0
[pid=18341/tid=18351] ppid=18338 vsize=15012696 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/18341/task/18351/stat : 18351 (java) S 18338 18338 16886 0 -1 1077944384 416 0 0 0 3 0 0 0 20 0 15 0 405588534 15373000704 22736 33554432000 4194304 4196468 140722292374816 139651306801392 139652471577218 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15712256 140722292380398 140722292380826 140722292380826 140722292383695 0
[pid=18341/tid=18352] ppid=18338 vsize=15012696 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/18341/task/18352/stat : 18352 (java) S 18338 18338 16886 0 -1 1077944384 207 0 0 0 1 0 0 0 20 0 15 0 405588535 15373000704 22736 33554432000 4194304 4196468 140722292374816 139651305748848 139652471577218 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15712256 140722292380398 140722292380826 140722292380826 140722292383695 0
[pid=18341/tid=18353] ppid=18338 vsize=15012696 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18341/task/18353/stat : 18353 (java) S 18338 18338 16886 0 -1 1077944384 465 0 0 0 7 0 0 0 20 0 15 0 405588535 15373000704 22736 33554432000 4194304 4196468 140722292374816 139651304695792 139652471577218 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15712256 140722292380398 140722292380826 140722292380826 140722292383695 0
[pid=18341/tid=18354] ppid=18338 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18341/task/18354/stat : 18354 (java) S 18338 18338 16886 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405588535 15373000704 22736 33554432000 4194304 4196468 140722292374816 139650056317280 139652471576277 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15712256 140722292380398 140722292380826 140722292380826 140722292383695 0
[pid=18341/tid=18355] ppid=18338 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18341/task/18355/stat : 18355 (java) S 18338 18338 16886 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405588535 15373000704 22736 33554432000 4194304 4196468 140722292374816 139651303644208 139652471577218 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15712256 140722292380398 140722292380826 140722292380826 140722292383695 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 92340 KiB

[startup+0.700766 s]
/proc/loadavg: 2.02 2.10 2.26 3/241 18355
/proc/meminfo: memFree=31231056/32770624 swapFree=67003272/67108860
[pid=18338] ppid=18335 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/18338/stat : 18338 (scop.sh) S 18335 18338 16886 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 405588528 115843072 349 33554432000 4194304 5098028 140725337908768 140725337906024 140242639831676 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 29773824 140725337916200 140725337916528 140725337916528 140725337919437 0
/proc/18338/statm: 28282 349 296 221 0 87 0
[pid=18341] ppid=18338 vsize=15021092 memory=127736 CPUtime=1 cores=1,3,5,7
/proc/18341/stat : 18341 (java) S 18338 18338 16886 0 -1 1077944320 19236 0 0 0 94 6 0 0 20 0 15 0 405588528 15381598208 31934 33554432000 4194304 4196468 140722292374816 140722292357360 139652471566071 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 15712256 140722292380398 140722292380826 140722292380826 140722292383695 0
/proc/18341/statm: 3755273 31934 3202 1 0 3716603 0
[pid=18341/tid=18342] ppid=18338 vsize=15021092 memory=1616 CPUtime=0.67 cores=1,3,5,7
/proc/18341/task/18342/stat : 18342 (java) R 18338 18338 16886 0 -1 4202560 16363 0 0 0 62 5 0 0 20 0 15 0 405588528 15381598208 31934 33554432000 4194304 4196468 140722292374816 139652443402752 139652471587997 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15712256 140722292380398 140722292380826 140722292380826 140722292383695 0
[pid=18341/tid=18343] ppid=18338 vsize=15021092 memory=784 CPUtime=0 cores=1,3,5,7
/proc/18341/task/18343/stat : 18343 (java) S 18338 18338 16886 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405588530 15381598208 31934 33554432000 4194304 4196468 140722292374816 139652475808272 139652471576277 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15712256 140722292380398 140722292380826 140722292380826 140722292383695 0
[pid=18341/tid=18344] ppid=18338 vsize=15021092 memory=8252 CPUtime=0 cores=1,3,5,7
/proc/18341/task/18344/stat : 18344 (java) S 18338 18338 16886 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405588530 15381598208 31934 33554432000 4194304 4196468 140722292374816 139652274584208 139652471576277 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15712256 140722292380398 140722292380826 140722292380826 140722292383695 0
[pid=18341/tid=18345] ppid=18338 vsize=15021092 memory=5912 CPUtime=0 cores=1,3,5,7
/proc/18341/task/18345/stat : 18345 (java) S 18338 18338 16886 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405588530 15381598208 31934 33554432000 4194304 4196468 140722292374816 139652273531152 139652471576277 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15712256 140722292380398 140722292380826 140722292380826 140722292383695 0
[pid=18341/tid=18346] ppid=18338 vsize=15021092 memory=1056 CPUtime=0 cores=1,3,5,7
/proc/18341/task/18346/stat : 18346 (java) S 18338 18338 16886 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405588530 15381598208 31934 33554432000 4194304 4196468 140722292374816 139652272478608 139652471576277 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15712256 140722292380398 140722292380826 140722292380826 140722292383695 0
[pid=18341/tid=18347] ppid=18338 vsize=15021092 memory=1540 CPUtime=0 cores=1,3,5,7
/proc/18341/task/18347/stat : 18347 (java) S 18338 18338 16886 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 405588531 15381598208 31934 33554432000 4194304 4196468 140722292374816 139651307854576 139652471577218 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15712256 140722292380398 140722292380826 140722292380826 140722292383695 0
[pid=18341/tid=18348] ppid=18338 vsize=15021092 memory=728 CPUtime=0 cores=1,3,5,7
/proc/18341/task/18348/stat : 18348 (java) S 18338 18338 16886 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405588532 15381598208 31934 33554432000 4194304 4196468 140722292374816 139651062949536 139652471576277 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15712256 140722292380398 140722292380826 140722292380826 140722292383695 0
[pid=18341/tid=18349] ppid=18338 vsize=15021092 memory=3436 CPUtime=0 cores=1,3,5,7
/proc/18341/task/18349/stat : 18349 (java) S 18338 18338 16886 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 405588532 15381598208 31934 33554432000 4194304 4196468 140722292374816 139650928727280 139652471576277 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15712256 140722292380398 140722292380826 140722292380826 140722292383695 0
[pid=18341/tid=18350] ppid=18338 vsize=15021092 memory=2832 CPUtime=0 cores=1,3,5,7
/proc/18341/task/18350/stat : 18350 (java) S 18338 18338 16886 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405588534 15381598208 31934 33554432000 4194304 4196468 140722292374816 139650554223056 139652471584667 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15712256 140722292380398 140722292380826 140722292380826 140722292383695 0
[pid=18341/tid=18351] ppid=18338 vsize=15021092 memory=1212 CPUtime=0.08 cores=1,3,5,7
/proc/18341/task/18351/stat : 18351 (java) R 18338 18338 16886 0 -1 4202560 506 0 0 0 8 0 0 0 20 0 15 0 405588534 15381598208 31934 33554432000 4194304 4196468 140722292374816 139651306789264 139652451283207 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15712256 140722292380398 140722292380826 140722292380826 140722292383695 0
[pid=18341/tid=18352] ppid=18338 vsize=15021092 memory=1036 CPUtime=0.07 cores=1,3,5,7
/proc/18341/task/18352/stat : 18352 (java) S 18338 18338 16886 0 -1 1077944384 444 0 0 0 7 0 0 0 20 0 15 0 405588535 15381598208 31934 33554432000 4194304 4196468 140722292374816 139651305748848 139652471577218 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15712256 140722292380398 140722292380826 140722292380826 140722292383695 0
[pid=18341/tid=18353] ppid=18338 vsize=15021092 memory=14008 CPUtime=0.15 cores=1,3,5,7
/proc/18341/task/18353/stat : 18353 (java) S 18338 18338 16886 0 -1 1077944384 568 0 0 0 15 0 0 0 20 0 15 0 405588535 15381598208 31934 33554432000 4194304 4196468 140722292374816 139651304695792 139652471577218 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15712256 140722292380398 140722292380826 140722292380826 140722292383695 0
[pid=18341/tid=18354] ppid=18338 vsize=15021092 memory=12024 CPUtime=0 cores=1,3,5,7
/proc/18341/task/18354/stat : 18354 (java) S 18338 18338 16886 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405588535 15381598208 31934 33554432000 4194304 4196468 140722292374816 139650056317280 139652471576277 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15712256 140722292380398 140722292380826 140722292380826 140722292383695 0
[pid=18341/tid=18355] ppid=18338 vsize=15021092 memory=2116 CPUtime=0 cores=1,3,5,7
/proc/18341/task/18355/stat : 18355 (java) S 18338 18338 16886 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405588535 15381598208 31934 33554432000 4194304 4196468 140722292374816 139651303644208 139652471577218 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15712256 140722292380398 140722292380826 140722292380826 140722292383695 0
Current children cumulated CPU time: 1 s
Current children cumulated vsize: 15134220 KiB
Current children cumulated memory: 129132 KiB

[startup+1.50219 s]
/proc/loadavg: 2.02 2.10 2.26 4/241 18355
/proc/meminfo: memFree=31200472/32770624 swapFree=67003272/67108860
[pid=18338] ppid=18335 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/18338/stat : 18338 (scop.sh) S 18335 18338 16886 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 405588528 115843072 349 33554432000 4194304 5098028 140725337908768 140725337906024 140242639831676 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 29773824 140725337916200 140725337916528 140725337916528 140725337919437 0
/proc/18338/statm: 28282 349 296 221 0 87 0

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

[pid=18365/tid=18378] ppid=18338 vsize=8068440 memory=3484 CPUtime=0 cores=1,3,5,7
/proc/18365/task/18378/stat : 18378 (java) S 18338 18338 16886 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405598642 8262082560 28991 33554432000 4194304 4196468 140733583382784 139678644693344 139680787420885 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38068224 140733583389691 140733583389850 140733583389850 140733583392719 0
[pid=18365/tid=18379] ppid=18338 vsize=8068440 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/18365/task/18379/stat : 18379 (java) S 18338 18338 16886 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405598642 8262082560 28991 33554432000 4194304 4196468 140733583382784 139680162561072 139680787421826 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38068224 140733583389691 140733583389850 140733583389850 140733583392719 0
[pid=18365/tid=18381] ppid=18338 vsize=8068440 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18365/task/18381/stat : 18381 (java) S 18338 18338 16886 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 405598710 8262082560 28991 33554432000 4194304 4196468 140733583382784 139680154527552 139680787435289 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 38068224 140733583389691 140733583389850 140733583389850 140733583392719 0
[pid=18365/tid=18383] ppid=18338 vsize=8068440 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18365/task/18383/stat : 18383 (java) S 18338 18338 16886 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 405598710 8262082560 28991 33554432000 4194304 4196468 140733583382784 139677973594000 139680787432605 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 38068224 140733583389691 140733583389850 140733583389850 140733583392719 0
[pid=18365/tid=18384] ppid=18338 vsize=8068440 memory=-7666414585839465563 CPUtime=0 cores=1,3,5,7
/proc/18365/task/18384/stat : 18384 (java) S 18338 18338 16886 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 405598710 8262082560 28991 33554432000 4194304 4196468 140733583382784 139678376246800 139680787432605 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 38068224 140733583389691 140733583389850 140733583389850 140733583392719 0
[pid=18365/tid=18385] ppid=18338 vsize=8068440 memory=-6520478321162704286 CPUtime=0 cores=1,3,5,7
/proc/18365/task/18385/stat : 18385 (java) S 18338 18338 16886 0 -1 1077944384 30 0 0 0 0 0 0 0 20 0 19 0 405598712 8262082560 28991 33554432000 4194304 4196468 140733583382784 139677839379760 139680787420885 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38068224 140733583389691 140733583389850 140733583389850 140733583392719 0
Current children cumulated CPU time: 149.19 s
Current children cumulated vsize: 8751900 KiB
Current children cumulated memory: 560616 KiB

[startup+120.901 s]
/proc/loadavg: 1.90 2.04 2.22 3/244 18386
/proc/meminfo: memFree=30693312/32770624 swapFree=67003272/67108860
[pid=18338] ppid=18335 vsize=113128 memory=1476 CPUtime=129.79 cores=1,3,5,7
/proc/18338/stat : 18338 (scop.sh) S 18335 18338 16886 0 -1 4202496 584 76117 0 0 0 0 12649 330 20 0 1 0 405588528 115843072 369 33554432000 4194304 5098028 140725337908768 140725337905512 140242639831676 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 29773824 140725337916200 140725337916528 140725337916528 140725337919437 0
/proc/18338/statm: 28282 369 311 221 0 87 0
[pid=18365] ppid=18338 vsize=8068440 memory=115964 CPUtime=1.22 cores=1,3,5,7
/proc/18365/stat : 18365 (java) S 18338 18338 16886 0 -1 1077944320 19969 0 0 0 116 6 0 0 20 0 19 0 405598635 8262082560 28991 33554432000 4194304 4196468 140733583382784 140733583365328 139680787410679 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38068224 140733583389691 140733583389850 140733583389850 140733583392719 0
/proc/18365/statm: 2017110 28991 3208 1 0 1978454 0
[pid=18380] ppid=18365 vsize=546076 memory=425172 CPUtime=18.96 cores=1,3,5,7
/proc/18380/stat : 18380 (glueminisat-sim) R 18365 18338 16886 0 -1 4202496 313051 0 0 0 1866 30 0 0 20 0 1 0 405598710 559181824 106293 33554432000 4194304 4452875 140731814752176 140731814746728 4399107 0 4 0 8388610 0 0 0 17 3 0 0 10 0 0 6552096 6554264 11227136 140731814757215 140731814757415 140731814757415 140731814760365 0
/proc/18380/statm: 136519 106293 352 64 0 132723 0
[pid=18365/tid=18366] ppid=18338 vsize=8068440 memory=7897517683652307531 CPUtime=0.76 cores=1,3,5,7
/proc/18365/task/18366/stat : 18366 (java) S 18338 18338 16886 0 -1 1077944384 16916 0 0 0 72 4 0 0 20 0 19 0 405598636 8262082560 28991 33554432000 4194304 4196468 140733583382784 139680759250848 139680787420885 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38068224 140733583389691 140733583389850 140733583389850 140733583392719 0
[pid=18365/tid=18367] ppid=18338 vsize=8068440 memory=8514726395715349656 CPUtime=0 cores=1,3,5,7
/proc/18365/task/18367/stat : 18367 (java) S 18338 18338 16886 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405598637 8262082560 28991 33554432000 4194304 4196468 140733583382784 139680791652880 139680787420885 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38068224 140733583389691 140733583389850 140733583389850 140733583392719 0
[pid=18365/tid=18368] ppid=18338 vsize=8068440 memory=-7824251494390716264 CPUtime=0 cores=1,3,5,7
/proc/18365/task/18368/stat : 18368 (java) S 18338 18338 16886 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405598637 8262082560 28991 33554432000 4194304 4196468 140733583382784 139680272083600 139680787420885 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38068224 140733583389691 140733583389850 140733583389850 140733583392719 0
[pid=18365/tid=18369] ppid=18338 vsize=8068440 memory=369136 CPUtime=0 cores=1,3,5,7
/proc/18365/task/18369/stat : 18369 (java) S 18338 18338 16886 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405598637 8262082560 28991 33554432000 4194304 4196468 140733583382784 139680271030544 139680787420885 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38068224 140733583389691 140733583389850 140733583389850 140733583392719 0
[pid=18365/tid=18370] ppid=18338 vsize=8068440 memory=1220 CPUtime=0 cores=1,3,5,7
/proc/18365/task/18370/stat : 18370 (java) S 18338 18338 16886 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405598637 8262082560 28991 33554432000 4194304 4196468 140733583382784 139680269978000 139680787420885 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38068224 140733583389691 140733583389850 140733583389850 140733583392719 0
[pid=18365/tid=18371] ppid=18338 vsize=8068440 memory=1476 CPUtime=0 cores=1,3,5,7
/proc/18365/task/18371/stat : 18371 (java) S 18338 18338 16886 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 19 0 405598638 8262082560 28991 33554432000 4194304 4196468 140733583382784 139680166771440 139680787421826 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38068224 140733583389691 140733583389850 140733583389850 140733583392719 0
[pid=18365/tid=18372] ppid=18338 vsize=8068440 memory=115964 CPUtime=0 cores=1,3,5,7
/proc/18365/task/18372/stat : 18372 (java) S 18338 18338 16886 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 405598639 8262082560 28991 33554432000 4194304 4196468 140733583382784 139679651325600 139680787420885 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38068224 140733583389691 140733583389850 140733583389850 140733583392719 0
[pid=18365/tid=18373] ppid=18338 vsize=8068440 memory=407392 CPUtime=0 cores=1,3,5,7
/proc/18365/task/18373/stat : 18373 (java) S 18338 18338 16886 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 405598639 8262082560 28991 33554432000 4194304 4196468 140733583382784 139679517103344 139680787420885 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38068224 140733583389691 140733583389850 140733583389850 140733583392719 0
[pid=18365/tid=18374] ppid=18338 vsize=8068440 memory=2052 CPUtime=0 cores=1,3,5,7
/proc/18365/task/18374/stat : 18374 (java) S 18338 18338 16886 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405598642 8262082560 28991 33554432000 4194304 4196468 140733583382784 139679142599120 139680787429275 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38068224 140733583389691 140733583389850 140733583389850 140733583392719 0
[pid=18365/tid=18375] ppid=18338 vsize=8068440 memory=1220 CPUtime=0.1 cores=1,3,5,7
/proc/18365/task/18375/stat : 18375 (java) S 18338 18338 16886 0 -1 1077944384 740 0 0 0 10 0 0 0 20 0 19 0 405598642 8262082560 28991 33554432000 4194304 4196468 140733583382784 139680165718256 139680787421826 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38068224 140733583389691 140733583389850 140733583389850 140733583392719 0
[pid=18365/tid=18376] ppid=18338 vsize=8068440 memory=1616 CPUtime=0.09 cores=1,3,5,7
/proc/18365/task/18376/stat : 18376 (java) S 18338 18338 16886 0 -1 1077944384 292 0 0 0 9 0 0 0 20 0 19 0 405598642 8262082560 28991 33554432000 4194304 4196468 140733583382784 139680164665712 139680787421826 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38068224 140733583389691 140733583389850 140733583389850 140733583392719 0
[pid=18365/tid=18377] ppid=18338 vsize=8068440 memory=784 CPUtime=0.22 cores=1,3,5,7
/proc/18365/task/18377/stat : 18377 (java) S 18338 18338 16886 0 -1 1077944384 585 0 0 0 22 0 0 0 20 0 19 0 405598642 8262082560 28991 33554432000 4194304 4196468 140733583382784 139680163612656 139680787421826 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38068224 140733583389691 140733583389850 140733583389850 140733583392719 0
[pid=18365/tid=18378] ppid=18338 vsize=8068440 memory=8252 CPUtime=0 cores=1,3,5,7
/proc/18365/task/18378/stat : 18378 (java) S 18338 18338 16886 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405598642 8262082560 28991 33554432000 4194304 4196468 140733583382784 139678644693344 139680787420885 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38068224 140733583389691 140733583389850 140733583389850 140733583392719 0
[pid=18365/tid=18379] ppid=18338 vsize=8068440 memory=5912 CPUtime=0 cores=1,3,5,7
/proc/18365/task/18379/stat : 18379 (java) S 18338 18338 16886 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405598642 8262082560 28991 33554432000 4194304 4196468 140733583382784 139680162561072 139680787421826 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38068224 140733583389691 140733583389850 140733583389850 140733583392719 0
[pid=18365/tid=18381] ppid=18338 vsize=8068440 memory=1056 CPUtime=0 cores=1,3,5,7
/proc/18365/task/18381/stat : 18381 (java) S 18338 18338 16886 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 405598710 8262082560 28991 33554432000 4194304 4196468 140733583382784 139680154527552 139680787435289 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 38068224 140733583389691 140733583389850 140733583389850 140733583392719 0
[pid=18365/tid=18383] ppid=18338 vsize=8068440 memory=1540 CPUtime=0 cores=1,3,5,7
/proc/18365/task/18383/stat : 18383 (java) S 18338 18338 16886 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 405598710 8262082560 28991 33554432000 4194304 4196468 140733583382784 139677973594000 139680787432605 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 38068224 140733583389691 140733583389850 140733583389850 140733583392719 0
[pid=18365/tid=18384] ppid=18338 vsize=8068440 memory=728 CPUtime=0 cores=1,3,5,7
/proc/18365/task/18384/stat : 18384 (java) S 18338 18338 16886 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 405598710 8262082560 28991 33554432000 4194304 4196468 140733583382784 139678376246800 139680787432605 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 38068224 140733583389691 140733583389850 140733583389850 140733583392719 0
[pid=18365/tid=18385] ppid=18338 vsize=8068440 memory=3436 CPUtime=0 cores=1,3,5,7
/proc/18365/task/18385/stat : 18385 (java) S 18338 18338 16886 0 -1 1077944384 30 0 0 0 0 0 0 0 20 0 19 0 405598712 8262082560 28991 33554432000 4194304 4196468 140733583382784 139677839379760 139680787420885 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38068224 140733583389691 140733583389850 140733583389850 140733583392719 0
Current children cumulated CPU time: 149.97 s
Current children cumulated vsize: 8727644 KiB
Current children cumulated memory: 542612 KiB

[startup+121.301 s]
/proc/loadavg: 1.91 2.04 2.21 3/244 18386
/proc/meminfo: memFree=30797508/32770624 swapFree=67003272/67108860
[pid=18338] ppid=18335 vsize=113128 memory=1476 CPUtime=129.79 cores=1,3,5,7
/proc/18338/stat : 18338 (scop.sh) S 18335 18338 16886 0 -1 4202496 584 76117 0 0 0 0 12649 330 20 0 1 0 405588528 115843072 369 33554432000 4194304 5098028 140725337908768 140725337905512 140242639831676 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 29773824 140725337916200 140725337916528 140725337916528 140725337919437 0
/proc/18338/statm: 28282 369 311 221 0 87 0
[pid=18365] ppid=18338 vsize=8068440 memory=123288 CPUtime=20.71 cores=1,3,5,7
/proc/18365/stat : 18365 (java) S 18338 18338 16886 0 -1 1077944320 20797 314769 0 0 128 7 1904 32 20 0 18 0 405598635 8262082560 30822 33554432000 4194304 4196468 140733583382784 140733583365328 139680787410679 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38068224 140733583389691 140733583389850 140733583389850 140733583392719 0
/proc/18365/statm: 2017110 30822 3217 1 0 1978454 0
[pid=18365/tid=18366] ppid=18338 vsize=8068440 memory=7882255267518702674 CPUtime=20.12 cores=1,3,5,7
/proc/18365/task/18366/stat : 18366 (java) S 18338 18338 16886 0 -1 1077944384 16916 314769 0 0 72 4 1904 32 20 0 18 0 405598636 8262082560 30822 33554432000 4194304 4196468 140733583382784 139680759250848 139680787420885 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38068224 140733583389691 140733583389850 140733583389850 140733583392719 0
[pid=18365/tid=18367] ppid=18338 vsize=8068440 memory=8099839805129517164 CPUtime=19.36 cores=1,3,5,7
/proc/18365/task/18367/stat : 18367 (java) S 18338 18338 16886 0 -1 1077944384 1 314769 0 0 0 0 1904 32 20 0 18 0 405598637 8262082560 30822 33554432000 4194304 4196468 140733583382784 139680791652880 139680787420885 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38068224 140733583389691 140733583389850 140733583389850 140733583392719 0
[pid=18365/tid=18368] ppid=18338 vsize=8068440 memory=7595391571586477160 CPUtime=19.36 cores=1,3,5,7
/proc/18365/task/18368/stat : 18368 (java) S 18338 18338 16886 0 -1 1077944384 1 314769 0 0 0 0 1904 32 20 0 18 0 405598637 8262082560 30822 33554432000 4194304 4196468 140733583382784 139680272083600 139680787420885 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38068224 140733583389691 140733583389850 140733583389850 140733583392719 0
[pid=18365/tid=18369] ppid=18338 vsize=8068440 memory=4639950512826379884 CPUtime=19.36 cores=1,3,5,7
/proc/18365/task/18369/stat : 18369 (java) S 18338 18338 16886 0 -1 1077944384 1 314769 0 0 0 0 1904 32 20 0 18 0 405598637 8262082560 30822 33554432000 4194304 4196468 140733583382784 139680271030544 139680787420885 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38068224 140733583389691 140733583389850 140733583389850 140733583392719 0
[pid=18365/tid=18370] ppid=18338 vsize=8068440 memory=-8813974798734826869 CPUtime=19.36 cores=1,3,5,7
/proc/18365/task/18370/stat : 18370 (java) S 18338 18338 16886 0 -1 1077944384 2 314769 0 0 0 0 1904 32 20 0 18 0 405598637 8262082560 30822 33554432000 4194304 4196468 140733583382784 139680269978000 139680787420885 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38068224 140733583389691 140733583389850 140733583389850 140733583392719 0
[pid=18365/tid=18371] ppid=18338 vsize=8068440 memory=7661863689387466860 CPUtime=19.36 cores=1,3,5,7
/proc/18365/task/18371/stat : 18371 (java) S 18338 18338 16886 0 -1 1077944384 6 314769 0 0 0 0 1904 32 20 0 18 0 405598638 8262082560 30822 33554432000 4194304 4196468 140733583382784 139680166771440 139680787421826 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38068224 140733583389691 140733583389850 140733583389850 140733583392719 0
[pid=18365/tid=18372] ppid=18338 vsize=8068440 memory=6372144238232758120 CPUtime=19.36 cores=1,3,5,7
/proc/18365/task/18372/stat : 18372 (java) S 18338 18338 16886 0 -1 1077944384 13 314769 0 0 0 0 1904 32 20 0 18 0 405598639 8262082560 30822 33554432000 4194304 4196468 140733583382784 139679651325600 139680787420885 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38068224 140733583389691 140733583389850 140733583389850 140733583392719 0
[pid=18365/tid=18373] ppid=18338 vsize=8068440 memory=7308334395111794786 CPUtime=19.36 cores=1,3,5,7
/proc/18365/task/18373/stat : 18373 (java) S 18338 18338 16886 0 -1 1077944384 21 314769 0 0 0 0 1904 32 20 0 18 0 405598639 8262082560 30822 33554432000 4194304 4196468 140733583382784 139679517103344 139680787420885 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38068224 140733583389691 140733583389850 140733583389850 140733583392719 0
[pid=18365/tid=18374] ppid=18338 vsize=8068440 memory=5936148278103664743 CPUtime=19.36 cores=1,3,5,7
/proc/18365/task/18374/stat : 18374 (java) S 18338 18338 16886 0 -1 1077944384 3 314769 0 0 0 0 1904 32 20 0 18 0 405598642 8262082560 30822 33554432000 4194304 4196468 140733583382784 139679142599120 139680787429275 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38068224 140733583389691 140733583389850 140733583389850 140733583392719 0
[pid=18365/tid=18375] ppid=18338 vsize=8068440 memory=7302703783818911845 CPUtime=19.48 cores=1,3,5,7
/proc/18365/task/18375/stat : 18375 (java) S 18338 18338 16886 0 -1 1077944384 743 314769 0 0 12 0 1904 32 20 0 18 0 405598642 8262082560 30822 33554432000 4194304 4196468 140733583382784 139680165718256 139680787421826 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38068224 140733583389691 140733583389850 140733583389850 140733583392719 0
[pid=18365/tid=18376] ppid=18338 vsize=8068440 memory=7516624791871907691 CPUtime=19.48 cores=1,3,5,7
/proc/18365/task/18376/stat : 18376 (java) R 18338 18338 16886 0 -1 4202560 566 314769 0 0 12 0 1904 32 20 0 18 0 405598642 8262082560 30822 33554432000 4194304 4196468 140733583382784 139680164665712 139680770797584 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38068224 140733583389691 140733583389850 140733583389850 140733583392719 0
[pid=18365/tid=18377] ppid=18338 vsize=8068440 memory=4294967328 CPUtime=19.6 cores=1,3,5,7
/proc/18365/task/18377/stat : 18377 (java) S 18338 18338 16886 0 -1 1077944384 1125 314769 0 0 24 0 1904 32 20 0 18 0 405598642 8262082560 31334 33554432000 4194304 4196468 140733583382784 139680163612656 139680787421826 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38068224 140733583389691 140733583389850 140733583389850 140733583392719 0
[pid=18365/tid=18378] ppid=18338 vsize=8068440 memory=-8412652160765825907 CPUtime=19.36 cores=1,3,5,7
/proc/18365/task/18378/stat : 18378 (java) S 18338 18338 16886 0 -1 1077944384 3 314769 0 0 0 0 1904 32 20 0 18 0 405598642 8262082560 31334 33554432000 4194304 4196468 140733583382784 139678644693344 139680787420885 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38068224 140733583389691 140733583389850 140733583389850 140733583392719 0
[pid=18365/tid=18379] ppid=18338 vsize=8068440 memory=-8634980985311628903 CPUtime=19.36 cores=1,3,5,7
/proc/18365/task/18379/stat : 18379 (java) S 18338 18338 16886 0 -1 1077944384 2 314769 0 0 0 0 1904 32 20 0 18 0 405598642 8262082560 31334 33554432000 4194304 4196468 140733583382784 139680162561072 139680787421826 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38068224 140733583389691 140733583389850 140733583389850 140733583392719 0
[pid=18365/tid=18381] ppid=18338 vsize=8068440 memory=7100839878645619564 CPUtime=19.36 cores=1,3,5,7
/proc/18365/task/18381/stat : 18381 (java) R 18338 18338 16886 0 -1 4202560 23 314769 0 0 0 0 1904 32 20 0 18 0 405598710 8262082560 31334 33554432000 4194304 4196468 140733583382784 139680154527552 139680771491196 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38068224 140733583389691 140733583389850 140733583389850 140733583392719 0
[pid=18365/tid=18383] ppid=18338 vsize=8068440 memory=8023269665315972697 CPUtime=19.4 cores=1,3,5,7
/proc/18365/task/18383/stat : 18383 (java) R 18338 18338 16886 0 -1 4202560 19 314769 0 0 4 0 1904 32 20 0 18 0 405598710 8262082560 31334 33554432000 4194304 4196468 140733583382784 139677973593936 139680275242825 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38068224 140733583389691 140733583389850 140733583389850 140733583392719 0
[pid=18365/tid=18385] ppid=18338 vsize=8068440 memory=4640770713788629089 CPUtime=19.36 cores=1,3,5,7
/proc/18365/task/18385/stat : 18385 (java) R 18338 18338 16886 0 -1 1077944384 30 314769 0 0 0 0 1904 32 20 0 18 0 405598712 8262082560 31334 33554432000 4194304 4196468 140733583382784 139677839379760 139680787420885 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38068224 140733583389691 140733583389850 140733583389850 140733583392719 0
Current children cumulated CPU time: 150.5 s
Current children cumulated vsize: 8181568 KiB
Current children cumulated memory: 124764 KiB

[startup+121.501 s]
/proc/loadavg: 1.91 2.04 2.21 3/244 18386
/proc/meminfo: memFree=30797508/32770624 swapFree=67003272/67108860
[pid=18338] ppid=18335 vsize=113128 memory=1476 CPUtime=129.79 cores=1,3,5,7
/proc/18338/stat : 18338 (scop.sh) S 18335 18338 16886 0 -1 4202496 584 76117 0 0 0 0 12649 330 20 0 1 0 405588528 115843072 369 33554432000 4194304 5098028 140725337908768 140725337905512 140242639831676 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 29773824 140725337916200 140725337916528 140725337916528 140725337919437 0
/proc/18338/statm: 28282 369 311 221 0 87 0
[pid=18365] ppid=18338 vsize=7937364 memory=150260 CPUtime=21.15 cores=1,3,5,7
/proc/18365/stat : 18365 (java) S 18338 18338 16886 0 -1 1077944320 21363 314769 0 0 170 9 1904 32 20 0 17 0 405598635 8127860736 37565 33554432000 4194304 4196468 140733583382784 140733583365328 139680787410679 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38068224 140733583389691 140733583389850 140733583389850 140733583392719 0
/proc/18365/statm: 1984341 37565 3231 1 0 1945685 0
[pid=18365/tid=18366] ppid=18338 vsize=7937364 memory=297237821058711863 CPUtime=20.26 cores=1,3,5,7
/proc/18365/task/18366/stat : 18366 (java) R 18338 18338 16886 0 -1 4202560 17169 314769 0 0 85 5 1904 32 20 0 17 0 405598636 8127860736 37565 33554432000 4194304 4196468 140733583382784 139680759248832 139680780096311 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38068224 140733583389691 140733583389850 140733583389850 140733583392719 0
[pid=18365/tid=18367] ppid=18338 vsize=7937364 memory=13568180484311317 CPUtime=19.36 cores=1,3,5,7
/proc/18365/task/18367/stat : 18367 (java) S 18338 18338 16886 0 -1 1077944384 1 314769 0 0 0 0 1904 32 20 0 17 0 405598637 8127860736 37565 33554432000 4194304 4196468 140733583382784 139680791652880 139680787420885 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38068224 140733583389691 140733583389850 140733583389850 140733583392719 0
[pid=18365/tid=18368] ppid=18338 vsize=7937364 memory=3054092984638926080 CPUtime=19.36 cores=1,3,5,7
/proc/18365/task/18368/stat : 18368 (java) S 18338 18338 16886 0 -1 1077944384 1 314769 0 0 0 0 1904 32 20 0 17 0 405598637 8127860736 37565 33554432000 4194304 4196468 140733583382784 139680272083600 139680787420885 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38068224 140733583389691 140733583389850 140733583389850 140733583392719 0
[pid=18365/tid=18369] ppid=18338 vsize=7937364 memory=5794251801077829684 CPUtime=19.36 cores=1,3,5,7
/proc/18365/task/18369/stat : 18369 (java) S 18338 18338 16886 0 -1 1077944384 1 314769 0 0 0 0 1904 32 20 0 17 0 405598637 8127860736 37565 33554432000 4194304 4196468 140733583382784 139680271030544 139680787420885 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38068224 140733583389691 140733583389850 140733583389850 140733583392719 0
[pid=18365/tid=18370] ppid=18338 vsize=7937364 memory=8028623290561227878 CPUtime=19.36 cores=1,3,5,7
/proc/18365/task/18370/stat : 18370 (java) S 18338 18338 16886 0 -1 1077944384 2 314769 0 0 0 0 1904 32 20 0 17 0 405598637 8127860736 37565 33554432000 4194304 4196468 140733583382784 139680269978000 139680787420885 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38068224 140733583389691 140733583389850 140733583389850 140733583392719 0
[pid=18365/tid=18371] ppid=18338 vsize=7937364 memory=7805974384891420704 CPUtime=19.36 cores=1,3,5,7
/proc/18365/task/18371/stat : 18371 (java) S 18338 18338 16886 0 -1 1077944384 6 314769 0 0 0 0 1904 32 20 0 17 0 405598638 8127860736 37565 33554432000 4194304 4196468 140733583382784 139680166771440 139680787421826 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38068224 140733583389691 140733583389850 140733583389850 140733583392719 0
[pid=18365/tid=18372] ppid=18338 vsize=7937364 memory=6935650355287975200 CPUtime=19.36 cores=1,3,5,7
/proc/18365/task/18372/stat : 18372 (java) S 18338 18338 16886 0 -1 1077944384 13 314769 0 0 0 0 1904 32 20 0 17 0 405598639 8127860736 37565 33554432000 4194304 4196468 140733583382784 139679651325600 139680787420885 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38068224 140733583389691 140733583389850 140733583389850 140733583392719 0
[pid=18365/tid=18373] ppid=18338 vsize=7937364 memory=6444477766705951803 CPUtime=19.36 cores=1,3,5,7
/proc/18365/task/18373/stat : 18373 (java) S 18338 18338 16886 0 -1 1077944384 21 314769 0 0 0 0 1904 32 20 0 17 0 405598639 8127860736 37565 33554432000 4194304 4196468 140733583382784 139679517103344 139680787420885 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38068224 140733583389691 140733583389850 140733583389850 140733583392719 0
[pid=18365/tid=18374] ppid=18338 vsize=7937364 memory=7594588879994905175 CPUtime=19.36 cores=1,3,5,7
/proc/18365/task/18374/stat : 18374 (java) S 18338 18338 16886 0 -1 1077944384 3 314769 0 0 0 0 1904 32 20 0 17 0 405598642 8127860736 37565 33554432000 4194304 4196468 140733583382784 139679142599120 139680787429275 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38068224 140733583389691 140733583389850 140733583389850 140733583392719 0
[pid=18365/tid=18375] ppid=18338 vsize=7937364 memory=4642196815028174948 CPUtime=19.55 cores=1,3,5,7
/proc/18365/task/18375/stat : 18375 (java) S 18338 18338 16886 0 -1 1077944384 781 314769 0 0 19 0 1904 32 20 0 17 0 405598642 8127860736 37565 33554432000 4194304 4196468 140733583382784 139680165718256 139680787421826 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38068224 140733583389691 140733583389850 140733583389850 140733583392719 0
[pid=18365/tid=18376] ppid=18338 vsize=7937364 memory=7451276382534722649 CPUtime=19.57 cores=1,3,5,7
/proc/18365/task/18376/stat : 18376 (java) S 18338 18338 16886 0 -1 1077944384 613 314769 0 0 21 0 1904 32 20 0 17 0 405598642 8127860736 37565 33554432000 4194304 4196468 140733583382784 139680164665712 139680787421826 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38068224 140733583389691 140733583389850 140733583389850 140733583392719 0
[pid=18365/tid=18377] ppid=18338 vsize=7937364 memory=4639939496131509092 CPUtime=19.68 cores=1,3,5,7
/proc/18365/task/18377/stat : 18377 (java) S 18338 18338 16886 0 -1 1077944384 1296 314769 0 0 32 0 1904 32 20 0 17 0 405598642 8127860736 37565 33554432000 4194304 4196468 140733583382784 139680163612656 139680787421826 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38068224 140733583389691 140733583389850 140733583389850 140733583392719 0
[pid=18365/tid=18378] ppid=18338 vsize=7937364 memory=6356620185493132128 CPUtime=19.36 cores=1,3,5,7
/proc/18365/task/18378/stat : 18378 (java) S 18338 18338 16886 0 -1 1077944384 3 314769 0 0 0 0 1904 32 20 0 17 0 405598642 8127860736 37565 33554432000 4194304 4196468 140733583382784 139678644693344 139680787420885 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38068224 140733583389691 140733583389850 140733583389850 140733583392719 0
[pid=18365/tid=18379] ppid=18338 vsize=7937364 memory=140466762705380 CPUtime=19.36 cores=1,3,5,7
/proc/18365/task/18379/stat : 18379 (java) S 18338 18338 16886 0 -1 1077944384 2 314769 0 0 0 0 1904 32 20 0 17 0 405598642 8127860736 37565 33554432000 4194304 4196468 140733583382784 139680162561072 139680787421826 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38068224 140733583389691 140733583389850 140733583389850 140733583392719 0
[pid=18365/tid=18381] ppid=18338 vsize=7937364 memory=0 CPUtime=19.36 cores=1,3,5,7
/proc/18365/task/18381/stat : 18381 (java) S 18338 18338 16886 0 -1 1077944384 24 314769 0 0 0 0 1904 32 20 0 17 0 405598710 8127860736 37565 33554432000 4194304 4196468 140733583382784 139680154526736 139680787421826 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38068224 140733583389691 140733583389850 140733583389850 140733583392719 0
[pid=18365/tid=18385] ppid=18338 vsize=7937364 memory=280933276255712 CPUtime=19.36 cores=1,3,5,7
/proc/18365/task/18385/stat : 18385 (java) S 18338 18338 16886 0 -1 1077944384 33 314769 0 0 0 0 1904 32 20 0 17 0 405598712 8127860736 37565 33554432000 4194304 4196468 140733583382784 139677839381552 139680787421826 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38068224 140733583389691 140733583389850 140733583389850 140733583392719 0
Current children cumulated CPU time: 150.94 s
Current children cumulated vsize: 8050492 KiB
Current children cumulated memory: 151736 KiB

Child status: 0
Real time (s): 121.51
CPU time (s): 150.977
CPU user time (s): 147.247
CPU system time (s): 3.72946
CPU usage (%): 124.251
Max. virtual memory (cumulated for all children) (KiB): 15142500
Max. memory (cumulated for all children) (KiB): 5402324

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 147.247
system time used= 3.72946
maximum resident set size= 5401660
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 412868
page faults= 0
swaps= 0
block input operations= 0
block output operations= 163256
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 10539
involuntary context switches= 363


# summary of solver processes directly reported to runsolver:
#   pid: 18338
#   total CPU time (s): 150.977
#   total CPU user time (s): 147.247
#   total CPU system time (s): 3.72946

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.831507 second user time and 1.3072 second system time

The end

Launcher Data 

Begin job on node133 at 2019-09-12 15:04:10
IDJOB=4388001
IDBENCH=131540
IDSOLVER=2825
FILE ID=node133/4388001-1568293489
RUNJOBID= node133-1568289747-16920
PBS_JOBID= 21701096
Free space on /tmp= 52752 MiB

SOLVER NAME= Fun-sCOP order+GlueMiniSat (2019-06-15)
BENCH NAME= XCSP17/Subisomorphism/Subisomorphism-m1-si6-bvg/Subisomorphism-si6-b06-m200-07.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-4388001-1568293489/watcher-4388001-1568293489 -o /tmp/evaluation-result-4388001-1568293489/solver-4388001-1568293489 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1568289747-16920 --watchdog 2580  HOME/scop.sh 11g HOME/scop.jar -order HOME/glueminisat-simp-2.2.10-193oa-n-release -model:-verb=3:-elim-cl=5000000:-native-oa HOME HOME/instance-4388001-1568293489.xml

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

MD5SUM BENCH= d7eafb215ab3d3f066855d3513f44111
RANDOM SEED=999006101

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        31333028 kB
MemAvailable:   31542440 kB
Buffers:           92748 kB
Cached:           400020 kB
SwapCached:         3612 kB
Active:           669212 kB
Inactive:         186144 kB
Active(anon):     386940 kB
Inactive(anon):    15660 kB
Active(file):     282272 kB
Inactive(file):   170484 kB
Unevictable:      111244 kB
Mlocked:          111244 kB
SwapTotal:      67108860 kB
SwapFree:       67003272 kB
Dirty:             20476 kB
Writeback:             0 kB
AnonPages:        488304 kB
Mapped:            54460 kB
Shmem:             31136 kB
Slab:             173732 kB
SReclaimable:     144984 kB
SUnreclaim:        28748 kB
KernelStack:        4192 kB
PageTables:         6676 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    6224844 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    225280 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      122240 kB
DirectMap2M:    33423360 kB

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