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-6651-serial-file.bin HOME/instance-4387572-1568285992.xml
0.67/0.53
0.67/0.53 Fun-sCOP order+glueminisat-simp-2.2.10-193oa-n-release (2019-06-15)
0.67/0.53
0.67/0.55 c BEGIN-Prog: Thu Sep 12 12:59:08 CEST 2019
0.67/0.55 c PID: 6654
0.67/0.55 c IP: 172.20.3.102
0.67/0.55 c HOST: node102.alineos.net
0.67/0.56 c (0,0) Parsing Begin
5.28/3.37 c (2,2) Parsing End
5.28/3.37 c (2,2) CSP: 77 int (0 aux), 4 bool (0 aux), 28 ctr, max domain size 9
5.28/3.37 c (2,2) Heap : 2180 MiB used (max 10795 MiB), NonHeap : 20 MiB used (max 0 MiB)
5.28/3.37 c (2,2) Constraint Name Generate Begin
5.28/3.38 c (2,2) Ctr:HOME/instance-4387572-1568285992.xml,ExtensionSupport:Instantiation:Var
5.28/3.38 c (2,2) Constraint Name Generate End
5.28/3.38 c (2,2) Heap : 2180 MiB used (max 10795 MiB), NonHeap : 20 MiB used (max 0 MiB)
5.28/3.38 c (2,2) CSP to CSPinCNF Begin
9.42/4.77 c (4,4) translated 3 (10%) constraints
38.12/29.45 c (28,28) translated 6 (20%) constraints
38.81/29.70 c (29,28) translated 9 (30%) constraints
39.62/30.27 c (29,29) translated 12 (40%) constraints
39.84/30.42 c (29,29) translated 14 (50%) constraints
40.06/30.63 c (30,29) translated 17 (60%) constraints
40.39/30.87 c (30,29) translated 20 (70%) constraints
40.69/31.06 c (30,30) translated 23 (80%) constraints
40.91/31.24 c (30,30) translated 26 (90%) constraints
41.39/31.45 c (30,30) translated 28 (100%) constraints
41.39/31.46 c (30,30) ===========================================
41.39/31.46 c (30,30) Order
41.39/31.46 c (30,30) ===========================================
41.58/31.52 c (30,30) translated 1196 (10%) constraints
41.58/31.56 c (31,30) translated 2392 (20%) constraints
41.85/31.61 c (31,30) translated 3587 (30%) constraints
41.85/31.65 c (31,30) translated 4783 (40%) constraints
41.85/31.69 c (31,30) translated 5978 (50%) constraints
42.16/31.73 c (31,30) translated 7174 (60%) constraints
42.16/31.76 c (31,30) translated 8370 (70%) constraints
42.16/31.79 c (31,30) translated 9565 (80%) constraints
42.43/31.82 c (31,30) translated 10761 (90%) constraints
42.43/31.85 c (31,30) translated 11956 (100%) constraints
42.43/31.85 c (31,30) CSP to CSPinCNF End
42.43/31.86 c (31,30) CSP: 76 int (0 aux), 1256 bool (1251 aux), 11988 ctr, max domain size 5
42.43/31.86 c (31,30) Heap : 394 MiB used (max 11144 MiB), NonHeap : 28 MiB used (max 0 MiB)
42.43/31.86 c (31,30) CSPinCNF Propagation Begin
43.60/32.24 c (31,31) 1303 values, 21238 unsatisfiable literals, and 11988 valid clauses are removed
43.60/32.24 c (31,31) CSPinCNF Propagation End
43.60/32.25 c (31,31) CSP: 72 int (0 aux), 1260 bool (1251 aux), 0 ctr, max domain size 1
43.60/32.25 c (31,31) Heap : 464 MiB used (max 11144 MiB), NonHeap : 29 MiB used (max 0 MiB)
43.60/32.25 c (31,31) Simplify CSPinCNF Begin
43.60/32.25 c (31,31) Simplify CSPinCNF End
43.60/32.25 c (31,31) CSP: 72 int (0 aux), 1260 bool (1251 aux), 0 ctr, max domain size 1
43.60/32.25 c (31,31) Heap : 464 MiB used (max 11144 MiB), NonHeap : 29 MiB used (max 0 MiB)
43.60/32.25 c (31,31) Calculate Precise Domain Begin
43.60/32.25 c (31,31) 0 values are removed by re-calculation
43.60/32.25 c (31,31) Calculate Precise Domain End
43.60/32.25 c (31,31) CSP: 72 int (0 aux), 1260 bool (1251 aux), 0 ctr, max domain size 1
43.60/32.25 c (31,31) Heap : 464 MiB used (max 11144 MiB), NonHeap : 29 MiB used (max 0 MiB)
43.60/32.25 c (31,31) CSPinCNF to SatSolver Begin
43.60/32.28 c (31,31) CSPinCNF to SatSolver End
43.60/32.28 c (31,31) Heap : 479 MiB used (max 11144 MiB), NonHeap : 30 MiB used (max 0 MiB)
43.60/32.29 c (31,31) 0 bool, 0 clause
43.60/32.29 c (31,31) Export Begin
43.83/32.38 c (31,31) Export to HOME/scop-6651-serial-file.bin
43.83/32.38 c (31,31) Export End
43.83/32.38 c (31,31) Export File Size: 0.02 MB
43.83/32.38 c (31,31) 2,2,31,31,31,31,31,STOP-AFTER(DIMACS)
43.83/32.38 c END-Prog: Thu Sep 12 12:59:39 CEST 2019
0.00/32.40 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-6651-serial-file.bin
44.02/32.86 c (0,0) Read Serial File Begin
44.02/32.86 c (0,0) HOME/scop-6651-serial-file.bin
44.83/33.08 c (0,0) Read Serial File End
44.83/33.09
44.83/33.09 Fun-sCOP order+glueminisat-simp-2.2.10-193oa-n-release (2019-06-15)
44.83/33.09 (Solving Process)
44.83/33.09
45.00/33.11 c BEGIN-Prog: Thu Sep 12 12:59:40 CEST 2019
45.00/33.11 c PID: 6769
45.00/33.11 c IP: 172.20.3.102
45.00/33.11 c HOST: node102.alineos.net
45.00/33.11 c (0,0) SatSolver.solve Begin
45.00/33.11 c (0,0) HOME/glueminisat-simp-2.2.10-193oa-n-release -model -verb=3 -elim-cl=5000000 -native-oa HOME/instance-4387572-1568285992.xml-scop-6654.cnf
45.00/33.16 c (0,0) c WARNING: for repeatability, setting FPU to use double precision
45.00/33.16 c (0,0) c glueminisat-simp-2.2.10-193oa-n
45.00/33.16 c (0,0) c Command: HOME/glueminisat-simp-2.2.10-193oa-n-release -model -verb=3 -elim-cl=5000000 -native-oa HOME/instance-4387572-1568285992.xml-scop-6654.cnf
45.00/33.16 c (0,0) c Options:
45.00/33.16 c (0,0) c CORE
45.00/33.16 c (0,0) c var_decay = 0.950
45.00/33.16 c (0,0) c clause_decay = 0.999
45.00/33.16 c (0,0) c random_var_freq = 0.000
45.00/33.16 c (0,0) c random_seed = 91648253.000
45.00/33.16 c (0,0) c luby_restart = 1
45.00/33.16 c (0,0) c ccmin_mode = 2
45.00/33.16 c (0,0) c phase_saving = 2
45.00/33.16 c (0,0) c rnd_pol = 0
45.00/33.16 c (0,0) c rnd_init_act = 0
45.00/33.16 c (0,0) c garbage_frac = 0.200
45.00/33.16 c (0,0) c restart_first = 1000
45.00/33.16 c (0,0) c restart_inc = 2.000
45.00/33.16 c (0,0) c MODEL
45.00/33.16 c (0,0) c partial_model = 0
45.00/33.16 c (0,0) c PROPAGATION
45.00/33.16 c (0,0) c bin_propagation = 1
45.00/33.16 c (0,0) c SIMPLIFICATION
45.00/33.16 c (0,0) c lrn_min_size = 100
45.00/33.16 c (0,0) c lazy_simp = 1
45.00/33.16 c (0,0) c lazy_interval = 10
45.00/33.16 c (0,0) c lazy_fld_probing = 1
45.00/33.16 c (0,0) c lazy_pol_probing = 1
45.00/33.16 c (0,0) c lazy_nec_probing = 1
45.00/33.16 c (0,0) c lazy_eqv_probing = 1
45.00/33.16 c (0,0) c lazy_cla_probing = 1
45.00/33.16 c (0,0) c lazy_lrn_min = 2
45.00/33.16 c (0,0) c lazy_uw_lit_elim = 1
45.00/33.16 c (0,0) c lazy_pr_lit_elim = 0
45.00/33.16 c (0,0) c lazy_bin_add = 3
45.00/33.16 c (0,0) c probed_lit_chain = 1
45.00/33.16 c (0,0) c pr_min_lits = 0.00020
45.00/33.16 c (0,0) c pr_min_starts = 500
45.00/33.16 c (0,0) c rw_min_lits = 0.010
45.00/33.16 c (0,0) c rw_min_starts = 500
45.00/33.16 c (0,0) c rand_attach = 0
45.00/33.16 c (0,0) c dec_elim = 1
45.00/33.16 c (0,0) c dec_elim_lim = 25
45.00/33.16 c (0,0) c dec_elim_len = -1
45.00/33.16 c (0,0) c amo = 0
45.00/33.16 c (0,0) c amo_grp = 1
45.00/33.16 c (0,0) c amo_max_bins = 1000000
45.00/33.16 c (0,0) c amo_starts = 50
45.00/33.16 c (0,0) c mace_cmd = mace
45.00/33.16 c (0,0) c DECISION
45.00/33.16 c (0,0) c rand_rebuild = 0
45.00/33.16 c (0,0) c rand_rebuild_confs = 10000
45.00/33.16 c (0,0) c inc_var_decay = 1
45.00/33.16 c (0,0) c inc_var_decay_period = 100000
45.00/33.16 c (0,0) c inc_var_decay_init = 0.600
45.00/33.16 c (0,0) c var_decay_mode = 0
45.00/33.16 c (0,0) c var_decay_gain = 0
45.00/33.16 c (0,0) c sloped_var_decay = 1
45.00/33.16 c (0,0) c max_var_decay = 0.990
45.00/33.16 c (0,0) c min_var_decay = 0.950
45.00/33.16 c (0,0) c min_var_decay_vars = 10000
45.00/33.16 c (0,0) c max_var_decay_vars = 500
45.00/33.16 c (0,0) c uip_bumping = 1
45.00/33.16 c (0,0) c lbd_act_bumping = 1
45.00/33.16 c (0,0) c rand_tiebreak = 0
45.00/33.16 c (0,0) c simp_rebuild = 1
45.00/33.16 c (0,0) c RESTART
45.00/33.16 c (0,0) c restart_strategy = 2
45.00/33.16 c (0,0) c restart_blocking = 0
45.00/33.16 c (0,0) c agility_decay = 0.99990
45.00/33.16 c (0,0) c lbd_restart_rate = 0.800
45.00/33.16 c (0,0) c dec_restart_rate = 0.950
45.00/33.16 c (0,0) c blk_restart_rate = 0.700
45.00/33.16 c (0,0) c lbd_queue_size = 50
45.00/33.16 c (0,0) c dec_queue_size = 50
45.00/33.16 c (0,0) c trl_queue_size = 5000
45.00/33.16 c (0,0) c blk_restart_weight = 1.000
45.00/33.16 c (0,0) c inc_rst_rate = 0
45.00/33.16 c (0,0) c inc_rst_rate_period = 500000
45.00/33.16 c (0,0) c inc_lbd_rst_rate_init = 0.600
45.00/33.16 c (0,0) c inc_dec_rst_rate_init = 0.750
45.00/33.16 c (0,0) c REDUCTION
45.00/33.16 c (0,0) c closed_lbd = 0
45.00/33.16 c (0,0) c closed_lbd_rate = 0.500
45.00/33.16 c (0,0) c rm_simulate = 0
45.00/33.16 c (0,0) c rdb_eval = 2
45.00/33.16 c (0,0) c rdb_call = 3
45.00/33.16 c (0,0) c rdb_ub = 0.500
45.00/33.16 c (0,0) c core_lbd_cvr = 0.800
45.00/33.16 c (0,0) c supp_lbd_cvr = 0.990
45.00/33.16 c (0,0) c core_lbd_lb = 2
45.00/33.16 c (0,0) c supp_lbd_lb = 2
45.00/33.16 c (0,0) c core_lbd_prd = 7
45.00/33.16 c (0,0) c supp_lbd_prd = 1
45.00/33.16 c (0,0) c othr_lbd_prd = 0
45.00/33.16 c (0,0) c inc_lrn_limit = 1000
45.00/33.16 c (0,0) c frozen_lbd = 30
45.00/33.16 c (0,0) c simp_min_starts = 100
45.00/33.16 c (0,0) c rm_low_act_learnts = 1
45.00/33.16 c (0,0) c lv0_reduce_db = 0
45.00/33.16 c (0,0) c reduce_db_base = 20000
45.00/33.16 c (0,0) c reduce_db_inc = 1000
45.00/33.16 c (0,0) c HARD
45.00/33.16 c (0,0) c inst_check = 200000
45.00/33.16 c (0,0) c small_block = 1.750
45.00/33.16 c (0,0) c slow_restart_speed = 400.000
45.00/33.16 c (0,0) c slow_restart_strategy = 3
45.00/33.16 c (0,0) c slow_lbd_restart_rate = 0.700
45.00/33.16 c (0,0) c slow_dec_restart_rate = 1.000
45.00/33.16 c (0,0) c slow_lbd_queue_size = 50
45.00/33.16 c (0,0) c slow_var_decay = 0.950
45.00/33.16 c (0,0) c slow_glue_threshold = 2
45.00/33.16 c (0,0) c slow_phase_saving = 2
45.00/33.16 c (0,0) c fast_restart_speed = 125.000
45.00/33.16 c (0,0) c fast_restart_strategy = 1
45.00/33.16 c (0,0) c fast_lbd_restart_rate = 0.800
45.00/33.16 c (0,0) c fast_dec_restart_rate = 0.950
45.00/33.16 c (0,0) c fast_lbd_queue_size = 50
45.00/33.16 c (0,0) c fast_var_decay = 1.000
45.00/33.16 c (0,0) c fast_glue_threshold = 2
45.00/33.16 c (0,0) c fast_phase_saving = 2
45.00/33.16 c (0,0) c STATS
45.00/33.16 c (0,0) c stats_conf_size = 10000
45.00/33.16 c (0,0) c max_stats_size = 30
45.00/33.16 c (0,0) c SOLVER
45.00/33.16 c (0,0) c minisat = 0
45.00/33.16 c (0,0) c Problem: 1 variables, 0 clauses, parsing 0.00 s
45.00/33.16 c (0,0) c reduced to 0 variables, 0 clauses (grow = 0)
45.00/33.16 c (0,0) c exclude 0 (-nan%) variables from decision variables (last cost 0)
45.00/33.16 c (0,0) c Simplification: 1 vars, 0 clauses are eliminated using 0.00 s
45.00/33.16 c (0,0) c
45.00/33.16 c (0,0) c #Rstrts #Confs #Vars #Clauses #Learnts Lits/C LBD/C DLVs Trail
45.00/33.16 c (0,0) c
45.00/33.16 c (0,0) c 0 0 0 0 0 0 -nan -nan -nan -nan%
45.00/33.16 c (0,0) c 0 1 0 0 0 0 -nan -nan -nan -nan%
45.00/33.16 c (0,0) c
45.00/33.16 c (0,0) c
45.00/33.16 c (0,0) c variables : 0 (init 1, after simp 0, 0 non-decs, 0 csp)
45.00/33.16 c (0,0) c clauses : 0 (init 0, after simp 0)
45.00/33.16 c (0,0) c restarts : 0 (0.00 confs/res, 0~0 confs, 0 blks, 0 last)
45.00/33.16 c (0,0) c conflicts : 0 (0 /sec, -nan% dconfs, -nan% supp, trail -nanw x -nanh, jmp -nanh)
45.00/33.16 c (0,0) c decisions : 1 (0.6000 vdcy, 992 /sec, 0.00% bin, rs 0.000 s)
45.00/33.16 c (0,0) c propagations : 0 (0 /sec, 0.00 lits/dec, -nan% o.a.)
45.00/33.16 c (0,0) c conflict literals : 0 (-nan% deleted; -nan% by bin min, 0.000 s)
45.00/33.16 c (0,0) c len : -nan (-nan for all, max 0, used 0)
45.00/33.16 c (0,0) c lbd : -nan (-nan (-nan) for all, max 0, used 0, -nan stdev, -nan blk)
45.00/33.16 c (0,0) c amo : 0 (0 max, -nan avg, 0.000 s)
45.00/33.16 c (0,0) c simp dbs : 1 (0.000 s)
45.00/33.16 c (0,0) c reduce dbs : 0 (core-lbd 2, supp-lbd 2147483647, 0.000 s)
45.00/33.16 c (0,0) c learnts : 0 (0 learnts removed, -nan%)
45.00/33.16 c (0,0) c rewrite dbs : 0 (0/0 vars, 0+0 taut, 0+0 unit, 0.000 s)
45.00/33.16 c (0,0) c assigned lits : 0 (0/0 probed, 0 remains)
45.00/33.16 c (0,0) c premise updates : 0 (-nan /lit)
45.00/33.16 c (0,0) c probed variables : 0 (0 pr, 0 eq, 0 fld, 0 pol, 0 nec, 0 cla, 0 amo)
45.00/33.16 c (0,0) c equiv variables : 0 (0 bin, 0 trn, 0 quat, 0 quin, 0 othr; 0 amo)
45.00/33.16 c (0,0) c lazy added bins : 0 (0 prop + 0 conf, 0.000s)
45.00/33.16 c (0,0) c unwatched lit elim: 0 (-nan+-nan%, 0+0 of 0+0)
45.00/33.16 c (0,0) c classified type : undef
45.00/33.16 c (0,0) c progress : -nan %
45.00/33.16 c (0,0) c
45.00/33.16 c (0,0) c [Statistics]
45.00/33.16 c (0,0) c learnts len learnts lbd lit blk size eq vars size
45.00/33.16 c (0,0) c tot 0 0 0 0
45.00/33.16 c (0,0) c avg -nan -nan -nan -nan
45.00/33.16 c (0,0) c 1 0 (-nan%) 0 (-nan%) 0 (-nan%) 0 (-nan%)
45.00/33.16 c (0,0) c 2 0 (-nan%) 0 (-nan%) 0 (-nan%) 0 (-nan%)
45.00/33.16 c (0,0) c 3 0 (-nan%) 0 (-nan%) 0 (-nan%) 0 (-nan%)
45.00/33.16 c (0,0) c 4 0 (-nan%) 0 (-nan%) 0 (-nan%) 0 (-nan%)
45.00/33.16 c (0,0) c 5 0 (-nan%) 0 (-nan%) 0 (-nan%) 0 (-nan%)
45.00/33.16 c (0,0) c 6 0 (-nan%) 0 (-nan%) 0 (-nan%) 0 (-nan%)
45.00/33.16 c (0,0) c 7 0 (-nan%) 0 (-nan%) 0 (-nan%) 0 (-nan%)
45.00/33.16 c (0,0) c 8 0 (-nan%) 0 (-nan%) 0 (-nan%) 0 (-nan%)
45.00/33.16 c (0,0) c 9 0 (-nan%) 0 (-nan%) 0 (-nan%) 0 (-nan%)
45.00/33.16 c (0,0) c 10 0 (-nan%) 0 (-nan%) 0 (-nan%) 0 (-nan%)
45.00/33.16 c (0,0) c 11 0 (-nan%) 0 (-nan%) 0 (-nan%) 0 (-nan%)
45.00/33.16 c (0,0) c 12 0 (-nan%) 0 (-nan%) 0 (-nan%) 0 (-nan%)
45.00/33.16 c (0,0) c 13 0 (-nan%) 0 (-nan%) 0 (-nan%) 0 (-nan%)
45.00/33.16 c (0,0) c 14 0 (-nan%) 0 (-nan%) 0 (-nan%) 0 (-nan%)
45.00/33.16 c (0,0) c 15 0 (-nan%) 0 (-nan%) 0 (-nan%) 0 (-nan%)
45.00/33.16 c (0,0) c 16 0 (-nan%) 0 (-nan%) 0 (-nan%) 0 (-nan%)
45.00/33.16 c (0,0) c 17 0 (-nan%) 0 (-nan%) 0 (-nan%) 0 (-nan%)
45.00/33.16 c (0,0) c 18 0 (-nan%) 0 (-nan%) 0 (-nan%) 0 (-nan%)
45.00/33.16 c (0,0) c 19 0 (-nan%) 0 (-nan%) 0 (-nan%) 0 (-nan%)
45.00/33.16 c (0,0) c 20 0 (-nan%) 0 (-nan%) 0 (-nan%) 0 (-nan%)
45.00/33.16 c (0,0) c 21 0 (-nan%) 0 (-nan%) 0 (-nan%) 0 (-nan%)
45.00/33.16 c (0,0) c 22 0 (-nan%) 0 (-nan%) 0 (-nan%) 0 (-nan%)
45.00/33.16 c (0,0) c 23 0 (-nan%) 0 (-nan%) 0 (-nan%) 0 (-nan%)
45.00/33.16 c (0,0) c 24 0 (-nan%) 0 (-nan%) 0 (-nan%) 0 (-nan%)
45.00/33.16 c (0,0) c 25 0 (-nan%) 0 (-nan%) 0 (-nan%) 0 (-nan%)
45.00/33.16 c (0,0) c 26 0 (-nan%) 0 (-nan%) 0 (-nan%) 0 (-nan%)
45.00/33.16 c (0,0) c 27 0 (-nan%) 0 (-nan%) 0 (-nan%) 0 (-nan%)
45.00/33.16 c (0,0) c 28 0 (-nan%) 0 (-nan%) 0 (-nan%) 0 (-nan%)
45.00/33.16 c (0,0) c 29 0 (-nan%) 0 (-nan%) 0 (-nan%) 0 (-nan%)
45.00/33.16 c (0,0) c 30 0 (-nan%) 0 (-nan%) 0 (-nan%) 0 (-nan%)
45.00/33.16 c (0,0) c
45.00/33.16 c (0,0) c [LBD Statistics]
45.00/33.16 c (0,0) c LBD used lbd used clause lbd unused clause lbd
45.00/33.16 c (0,0) c tot 0 0 0
45.00/33.16 c (0,0) c avg -nan -nan -nan
45.00/33.16 c (0,0) c
45.00/33.16 c (0,0) c Memory used : 20.00 MB
45.00/33.16 c (0,0) c CPU time : 0.001 s
45.00/33.16 c (0,0) c Real time : 0.000 s
45.00/33.16 c (0,0) c
45.00/33.16 c (0,0) s SATISFIABLE
45.22/33.20 c (0,0) SatSolver.solve End
45.22/33.20 c (0,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
45.22/33.20 c (0,0) Show results Begin
45.22/33.28 c (0,0) x[0][0] = 1
45.22/33.28 c (0,0) x[0][1] = 9
45.22/33.28 c (0,0) x[0][2] = 3
45.22/33.28 c (0,0) x[0][3] = 6
45.22/33.28 c (0,0) x[0][4] = 7
45.22/33.28 c (0,0) x[0][5] = 2
45.22/33.28 c (0,0) x[0][6] = 4
45.22/33.28 c (0,0) x[0][7] = 8
45.22/33.28 c (0,0) x[0][8] = 5
45.22/33.28 c (0,0) x[1][0] = 4
45.22/33.28 c (0,0) x[1][1] = 6
45.22/33.28 c (0,0) x[1][2] = 2
45.22/33.28 c (0,0) x[1][3] = 3
45.22/33.28 c (0,0) x[1][4] = 5
45.22/33.28 c (0,0) x[1][5] = 8
45.22/33.28 c (0,0) x[1][6] = 9
45.22/33.28 c (0,0) x[1][7] = 7
45.22/33.28 c (0,0) x[1][8] = 1
45.22/33.28 c (0,0) x[2][0] = 7
45.22/33.28 c (0,0) x[2][1] = 8
45.22/33.28 c (0,0) x[2][2] = 5
45.22/33.28 c (0,0) x[2][3] = 9
45.22/33.28 c (0,0) x[2][4] = 1
45.22/33.28 c (0,0) x[2][5] = 4
45.22/33.29 c (0,0) x[2][6] = 6
45.22/33.29 c (0,0) x[2][7] = 2
45.22/33.29 c (0,0) x[2][8] = 3
45.22/33.29 c (0,0) x[3][0] = 5
45.22/33.29 c (0,0) x[3][1] = 3
45.22/33.29 c (0,0) x[3][2] = 8
45.22/33.29 c (0,0) x[3][3] = 2
45.22/33.29 c (0,0) x[3][4] = 9
45.22/33.29 c (0,0) x[3][5] = 6
45.22/33.29 c (0,0) x[3][6] = 7
45.22/33.29 c (0,0) x[3][7] = 1
45.22/33.29 c (0,0) x[3][8] = 4
45.22/33.29 c (0,0) x[4][0] = 6
45.22/33.29 c (0,0) x[4][1] = 7
45.22/33.29 c (0,0) x[4][2] = 4
45.22/33.29 c (0,0) x[4][3] = 1
45.22/33.29 c (0,0) x[4][4] = 3
45.22/33.29 c (0,0) x[4][5] = 5
45.22/33.29 c (0,0) x[4][6] = 2
45.22/33.29 c (0,0) x[4][7] = 9
45.22/33.29 c (0,0) x[4][8] = 8
45.22/33.29 c (0,0) x[5][0] = 2
45.22/33.29 c (0,0) x[5][1] = 1
45.22/33.29 c (0,0) x[5][2] = 9
45.22/33.29 c (0,0) x[5][3] = 4
45.22/33.29 c (0,0) x[5][4] = 8
45.22/33.29 c (0,0) x[5][5] = 7
45.22/33.29 c (0,0) x[5][6] = 3
45.22/33.29 c (0,0) x[5][7] = 5
45.22/33.29 c (0,0) x[5][8] = 6
45.22/33.29 c (0,0) x[6][0] = 8
45.22/33.29 c (0,0) x[6][1] = 2
45.22/33.29 c (0,0) x[6][2] = 6
45.22/33.29 c (0,0) x[6][3] = 7
45.22/33.29 c (0,0) x[6][4] = 4
45.22/33.29 c (0,0) x[6][5] = 1
45.22/33.29 c (0,0) x[6][6] = 5
45.22/33.29 c (0,0) x[6][7] = 3
45.22/33.29 c (0,0) x[6][8] = 9
45.22/33.29 c (0,0) x[7][0] = 9
45.22/33.29 c (0,0) x[7][1] = 4
45.22/33.29 c (0,0) x[7][2] = 1
45.22/33.29 c (0,0) x[7][3] = 5
45.22/33.29 c (0,0) x[7][4] = 2
45.22/33.29 c (0,0) x[7][5] = 3
45.22/33.29 c (0,0) x[7][6] = 8
45.22/33.29 c (0,0) x[7][7] = 6
45.22/33.29 c (0,0) x[7][8] = 7
45.22/33.29 c (0,0) x[8][0] = 3
45.22/33.29 c (0,0) x[8][1] = 5
45.22/33.29 c (0,0) x[8][2] = 7
45.22/33.29 c (0,0) x[8][3] = 8
45.22/33.29 c (0,0) x[8][4] = 6
45.22/33.29 c (0,0) x[8][5] = 9
45.22/33.29 c (0,0) x[8][6] = 1
45.22/33.29 c (0,0) x[8][7] = 4
45.22/33.29 c (0,0) x[8][8] = 2
45.22/33.29 s SATISFIABLE
45.22/33.29 v <instantiation>
45.22/33.29 v <list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8]</list>
45.22/33.29 v <values>1 9 3 6 7 2 4 8 5 4 6 2 3 5 8 9 7 1 7 8 5 9 1 4 6 2 3 5 3 8 2 9 6 7 1 4 6 7 4 1 3 5 2 9 8 2 1 9 4 8 7 3 5 6 8 2 6 7 4 1 5 3 9 9 4 1 5 2 3 8 6 7 3 5 7 8 6 9 1 4 2</values>
45.22/33.29 v </instantiation>
45.22/33.29 c (0,0) Show results End
45.22/33.29 c (0,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB)
45.22/33.29 c (0,0) 0,0,STOP-AFTER(ALL)
45.22/33.29 c END-Prog: Thu Sep 12 12:59:40 CEST 2019
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 (15383 MiB free)
memory of node 1: 16384 MiB (13510 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4387572-1568285992/watcher-4387572-1568285992 -o /tmp/evaluation-result-4387572-1568285992/solver-4387572-1568285992 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node102-1568285939-6430 --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-4387572-1568285992.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=6651, runsolver pid=6648
[startup+0.104235 s]*
/proc/loadavg: 1.89 2.03 2.03 4/229 6668
/proc/meminfo: memFree=29486004/32770624 swapFree=66992636/67108860
[pid=6651] ppid=6648 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/6651/stat : 6651 (scop.sh) S 6648 6651 5522 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 404850673 115843072 349 33554432000 4194304 5098028 140732730577152 140732730574408 140629874819708 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 9109504 140732730585896 140732730586224 140732730586224 140732730589133 0
/proc/6651/statm: 28282 349 296 221 0 87 0
[pid=6654] ppid=6651 vsize=15012696 memory=74420 CPUtime=0.12 cores=0,2,4,6
/proc/6654/stat : 6654 (java) S 6651 6651 5522 0 -1 1077944320 7345 0 0 0 10 2 0 0 20 0 15 0 404850673 15373000704 18605 33554432000 4194304 4196468 140727182420384 140727182402928 139826346217207 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 9490432 140727182422767 140727182423194 140727182423194 140727182426063 0
/proc/6654/statm: 3753174 18605 2939 1 0 3715579 0
[pid=6654/tid=6655] ppid=6651 vsize=15012696 memory=7100839861464433778 CPUtime=0.1 cores=0,2,4,6
/proc/6654/task/6655/stat : 6655 (java) R 6651 6651 5522 0 -1 4202560 5134 0 0 0 8 2 0 0 20 0 15 0 404850673 15373000704 18605 33554432000 4194304 4196468 140727182420384 139826318012368 139826331382862 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9490432 140727182422767 140727182423194 140727182423194 140727182426063 0
[pid=6654/tid=6656] ppid=6651 vsize=15012696 memory=-3689349214911541841 CPUtime=0 cores=0,2,4,6
/proc/6654/task/6656/stat : 6656 (java) S 6651 6651 5522 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404850675 15373000704 18605 33554432000 4194304 4196468 140727182420384 139826350459280 139826346227413 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9490432 140727182422767 140727182423194 140727182423194 140727182426063 0
[pid=6654/tid=6657] ppid=6651 vsize=15012696 memory=139962567685760 CPUtime=0 cores=0,2,4,6
/proc/6654/task/6657/stat : 6657 (java) S 6651 6651 5522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404850675 15373000704 18605 33554432000 4194304 4196468 140727182420384 139826164615440 139826346227413 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9490432 140727182422767 140727182423194 140727182423194 140727182426063 0
[pid=6654/tid=6658] ppid=6651 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6654/task/6658/stat : 6658 (java) S 6651 6651 5522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404850675 15373000704 18605 33554432000 4194304 4196468 140727182420384 139826163563152 139826346227413 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9490432 140727182422767 140727182423194 140727182423194 140727182426063 0
[pid=6654/tid=6659] ppid=6651 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6654/task/6659/stat : 6659 (java) S 6651 6651 5522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404850675 15373000704 18605 33554432000 4194304 4196468 140727182420384 139826162510352 139826346227413 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9490432 140727182422767 140727182423194 140727182423194 140727182426063 0
[pid=6654/tid=6660] ppid=6651 vsize=15012696 memory=139962567685760 CPUtime=0 cores=0,2,4,6
/proc/6654/task/6660/stat : 6660 (java) S 6651 6651 5522 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404850676 15373000704 18605 33554432000 4194304 4196468 140727182420384 139825383778928 139826346228354 0 0 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9490432 140727182422767 140727182423194 140727182423194 140727182426063 0
[pid=6654/tid=6661] ppid=6651 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6654/task/6661/stat : 6661 (java) S 6651 6651 5522 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 404850677 15373000704 18605 33554432000 4194304 4196468 140727182420384 139824874906912 139826346227413 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9490432 140727182422767 140727182423194 140727182423194 140727182426063 0
[pid=6654/tid=6662] ppid=6651 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6654/task/6662/stat : 6662 (java) S 6651 6651 5522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404850677 15373000704 18605 33554432000 4194304 4196468 140727182420384 139824606471792 139826346227413 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9490432 140727182422767 140727182423194 140727182423194 140727182426063 0
[pid=6654/tid=6663] ppid=6651 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6654/task/6663/stat : 6663 (java) S 6651 6651 5522 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404850679 15373000704 18605 33554432000 4194304 4196468 140727182420384 139824231963216 139826346235803 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9490432 140727182422767 140727182423194 140727182423194 140727182426063 0
[pid=6654/tid=6664] ppid=6651 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6654/task/6664/stat : 6664 (java) S 6651 6651 5522 0 -1 1077944384 300 0 0 0 0 0 0 0 20 0 15 0 404850679 15373000704 18605 33554432000 4194304 4196468 140727182420384 139825382725744 139826346228354 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9490432 140727182422767 140727182423194 140727182423194 140727182426063 0
[pid=6654/tid=6665] ppid=6651 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6654/task/6665/stat : 6665 (java) S 6651 6651 5522 0 -1 1077944384 136 0 0 0 0 0 0 0 20 0 15 0 404850679 15373000704 18605 33554432000 4194304 4196468 140727182420384 139825381672944 139826346228354 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9490432 140727182422767 140727182423194 140727182423194 140727182426063 0
[pid=6654/tid=6666] ppid=6651 vsize=15012696 memory=139962567685760 CPUtime=0.01 cores=0,2,4,6
/proc/6654/task/6666/stat : 6666 (java) S 6651 6651 5522 0 -1 1077944384 447 0 0 0 1 0 0 0 20 0 15 0 404850679 15373000704 18605 33554432000 4194304 4196468 140727182420384 139825380620656 139826346228354 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9490432 140727182422767 140727182423194 140727182423194 140727182426063 0
[pid=6654/tid=6667] ppid=6651 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6654/task/6667/stat : 6667 (java) S 6651 6651 5522 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404850680 15373000704 18605 33554432000 4194304 4196468 140727182420384 139823734057440 139826346227413 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9490432 140727182422767 140727182423194 140727182423194 140727182426063 0
[pid=6654/tid=6668] ppid=6651 vsize=15012696 memory=139962567685760 CPUtime=0 cores=0,2,4,6
/proc/6654/task/6668/stat : 6668 (java) S 6651 6651 5522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404850680 15373000704 18605 33554432000 4194304 4196468 140727182420384 139825379568560 139826346228354 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9490432 140727182422767 140727182423194 140727182423194 140727182426063 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 75816 KiB
[startup+0.210673 s]*
/proc/loadavg: 1.89 2.03 2.03 3/229 6668
/proc/meminfo: memFree=29429236/32770624 swapFree=66992636/67108860
[pid=6651] ppid=6648 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/6651/stat : 6651 (scop.sh) S 6648 6651 5522 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 404850673 115843072 349 33554432000 4194304 5098028 140732730577152 140732730574408 140629874819708 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 9109504 140732730585896 140732730586224 140732730586224 140732730589133 0
/proc/6651/statm: 28282 349 296 221 0 87 0
[pid=6654] ppid=6651 vsize=15012696 memory=89204 CPUtime=0.25 cores=0,2,4,6
/proc/6654/stat : 6654 (java) S 6651 6651 5522 0 -1 1077944320 12347 0 0 0 21 4 0 0 20 0 15 0 404850673 15373000704 22301 33554432000 4194304 4196468 140727182420384 140727182402928 139826346217207 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 9490432 140727182422767 140727182423194 140727182423194 140727182426063 0
/proc/6654/statm: 3753174 22301 2969 1 0 3715579 0
[pid=6654/tid=6655] ppid=6651 vsize=15012696 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/6654/task/6655/stat : 6655 (java) R 6651 6651 5522 0 -1 4202560 10082 0 0 0 17 3 0 0 20 0 15 0 404850673 15373000704 22301 33554432000 4194304 4196468 140727182420384 139826318038560 139826346229142 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9490432 140727182422767 140727182423194 140727182423194 140727182426063 0
[pid=6654/tid=6656] ppid=6651 vsize=15012696 memory=2809255 CPUtime=0 cores=0,2,4,6
/proc/6654/task/6656/stat : 6656 (java) S 6651 6651 5522 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404850675 15373000704 22301 33554432000 4194304 4196468 140727182420384 139826350459280 139826346227413 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9490432 140727182422767 140727182423194 140727182423194 140727182426063 0
[pid=6654/tid=6657] ppid=6651 vsize=15012696 memory=2820719 CPUtime=0 cores=0,2,4,6
/proc/6654/task/6657/stat : 6657 (java) S 6651 6651 5522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404850675 15373000704 22301 33554432000 4194304 4196468 140727182420384 139826164615440 139826346227413 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9490432 140727182422767 140727182423194 140727182423194 140727182426063 0
[pid=6654/tid=6658] ppid=6651 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6654/task/6658/stat : 6658 (java) S 6651 6651 5522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404850675 15373000704 22301 33554432000 4194304 4196468 140727182420384 139826163563152 139826346227413 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9490432 140727182422767 140727182423194 140727182423194 140727182426063 0
[pid=6654/tid=6659] ppid=6651 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6654/task/6659/stat : 6659 (java) S 6651 6651 5522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404850675 15373000704 22301 33554432000 4194304 4196468 140727182420384 139826162510352 139826346227413 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9490432 140727182422767 140727182423194 140727182423194 140727182426063 0
[pid=6654/tid=6660] ppid=6651 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6654/task/6660/stat : 6660 (java) S 6651 6651 5522 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404850676 15373000704 22301 33554432000 4194304 4196468 140727182420384 139825383778928 139826346228354 0 0 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9490432 140727182422767 140727182423194 140727182423194 140727182426063 0
[pid=6654/tid=6661] ppid=6651 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6654/task/6661/stat : 6661 (java) S 6651 6651 5522 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 404850677 15373000704 22301 33554432000 4194304 4196468 140727182420384 139824874906912 139826346227413 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9490432 140727182422767 140727182423194 140727182423194 140727182426063 0
[pid=6654/tid=6662] ppid=6651 vsize=15012696 memory=139962567685760 CPUtime=0 cores=0,2,4,6
/proc/6654/task/6662/stat : 6662 (java) S 6651 6651 5522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404850677 15373000704 22301 33554432000 4194304 4196468 140727182420384 139824606471792 139826346227413 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9490432 140727182422767 140727182423194 140727182423194 140727182426063 0
[pid=6654/tid=6663] ppid=6651 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6654/task/6663/stat : 6663 (java) S 6651 6651 5522 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404850679 15373000704 22301 33554432000 4194304 4196468 140727182420384 139824231963216 139826346235803 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9490432 140727182422767 140727182423194 140727182423194 140727182426063 0
[pid=6654/tid=6664] ppid=6651 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6654/task/6664/stat : 6664 (java) S 6651 6651 5522 0 -1 1077944384 335 0 0 0 0 0 0 0 20 0 15 0 404850679 15373000704 22301 33554432000 4194304 4196468 140727182420384 139825382725744 139826346228354 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9490432 140727182422767 140727182423194 140727182423194 140727182426063 0
[pid=6654/tid=6665] ppid=6651 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6654/task/6665/stat : 6665 (java) S 6651 6651 5522 0 -1 1077944384 147 0 0 0 0 0 0 0 20 0 15 0 404850679 15373000704 22301 33554432000 4194304 4196468 140727182420384 139825381672944 139826346228354 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9490432 140727182422767 140727182423194 140727182423194 140727182426063 0
[pid=6654/tid=6666] ppid=6651 vsize=15012696 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/6654/task/6666/stat : 6666 (java) R 6651 6651 5522 0 -1 4202560 454 0 0 0 3 0 0 0 20 0 15 0 404850679 15373000704 22301 33554432000 4194304 4196468 140727182420384 139825380620656 139826324894296 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9490432 140727182422767 140727182423194 140727182423194 140727182426063 0
[pid=6654/tid=6667] ppid=6651 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6654/task/6667/stat : 6667 (java) S 6651 6651 5522 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404850680 15373000704 22301 33554432000 4194304 4196468 140727182420384 139823734057440 139826346227413 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9490432 140727182422767 140727182423194 140727182423194 140727182426063 0
[pid=6654/tid=6668] ppid=6651 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6654/task/6668/stat : 6668 (java) S 6651 6651 5522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404850680 15373000704 22301 33554432000 4194304 4196468 140727182420384 139825379568560 139826346228354 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9490432 140727182422767 140727182423194 140727182423194 140727182426063 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 90600 KiB
[startup+0.310469 s]*
/proc/loadavg: 1.89 2.03 2.03 3/229 6668
/proc/meminfo: memFree=29389332/32770624 swapFree=66992636/67108860
[pid=6651] ppid=6648 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/6651/stat : 6651 (scop.sh) S 6648 6651 5522 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 404850673 115843072 349 33554432000 4194304 5098028 140732730577152 140732730574408 140629874819708 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 9109504 140732730585896 140732730586224 140732730586224 140732730589133 0
/proc/6651/statm: 28282 349 296 221 0 87 0
[pid=6654] ppid=6651 vsize=15012696 memory=92552 CPUtime=0.43 cores=0,2,4,6
/proc/6654/stat : 6654 (java) S 6651 6651 5522 0 -1 1077944320 12694 0 0 0 39 4 0 0 20 0 15 0 404850673 15373000704 23138 33554432000 4194304 4196468 140727182420384 140727182402928 139826346217207 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 9490432 140727182422767 140727182423194 140727182423194 140727182426063 0
/proc/6654/statm: 3753174 23138 3020 1 0 3715579 0
[pid=6654/tid=6655] ppid=6651 vsize=15012696 memory=8389772277269004345 CPUtime=0.3 cores=0,2,4,6
/proc/6654/task/6655/stat : 6655 (java) R 6651 6651 5522 0 -1 4202560 10262 0 0 0 27 3 0 0 20 0 15 0 404850673 15373000704 23138 33554432000 4194304 4196468 140727182420384 139826318035456 139826326492541 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9490432 140727182422767 140727182423194 140727182423194 140727182426063 0
[pid=6654/tid=6656] ppid=6651 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6654/task/6656/stat : 6656 (java) S 6651 6651 5522 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404850675 15373000704 23138 33554432000 4194304 4196468 140727182420384 139826350459280 139826346227413 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9490432 140727182422767 140727182423194 140727182423194 140727182426063 0
[pid=6654/tid=6657] ppid=6651 vsize=15012696 memory=15538531161114254 CPUtime=0 cores=0,2,4,6
/proc/6654/task/6657/stat : 6657 (java) S 6651 6651 5522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404850675 15373000704 23138 33554432000 4194304 4196468 140727182420384 139826164615440 139826346227413 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9490432 140727182422767 140727182423194 140727182423194 140727182426063 0
[pid=6654/tid=6658] ppid=6651 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6654/task/6658/stat : 6658 (java) S 6651 6651 5522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404850675 15373000704 23138 33554432000 4194304 4196468 140727182420384 139826163563152 139826346227413 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9490432 140727182422767 140727182423194 140727182423194 140727182426063 0
[pid=6654/tid=6659] ppid=6651 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6654/task/6659/stat : 6659 (java) S 6651 6651 5522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404850675 15373000704 23138 33554432000 4194304 4196468 140727182420384 139826162510352 139826346227413 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9490432 140727182422767 140727182423194 140727182423194 140727182426063 0
[pid=6654/tid=6660] ppid=6651 vsize=15012696 memory=139962567685760 CPUtime=0 cores=0,2,4,6
/proc/6654/task/6660/stat : 6660 (java) S 6651 6651 5522 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404850676 15373000704 23138 33554432000 4194304 4196468 140727182420384 139825383778928 139826346228354 0 0 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9490432 140727182422767 140727182423194 140727182423194 140727182426063 0
[pid=6654/tid=6661] ppid=6651 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6654/task/6661/stat : 6661 (java) S 6651 6651 5522 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 404850677 15373000704 23138 33554432000 4194304 4196468 140727182420384 139824874906912 139826346227413 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9490432 140727182422767 140727182423194 140727182423194 140727182426063 0
[pid=6654/tid=6662] ppid=6651 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6654/task/6662/stat : 6662 (java) S 6651 6651 5522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404850677 15373000704 23138 33554432000 4194304 4196468 140727182420384 139824606471792 139826346227413 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9490432 140727182422767 140727182423194 140727182423194 140727182426063 0
[pid=6654/tid=6663] ppid=6651 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6654/task/6663/stat : 6663 (java) S 6651 6651 5522 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404850679 15373000704 23138 33554432000 4194304 4196468 140727182420384 139824231963216 139826346235803 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9490432 140727182422767 140727182423194 140727182423194 140727182426063 0
[pid=6654/tid=6664] ppid=6651 vsize=15012696 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/6654/task/6664/stat : 6664 (java) S 6651 6651 5522 0 -1 1077944384 443 0 0 0 2 0 0 0 20 0 15 0 404850679 15373000704 23138 33554432000 4194304 4196468 140727182420384 139825382725744 139826346228354 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9490432 140727182422767 140727182423194 140727182423194 140727182426063 0
[pid=6654/tid=6665] ppid=6651 vsize=15012696 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/6654/task/6665/stat : 6665 (java) S 6651 6651 5522 0 -1 1077944384 183 0 0 0 2 0 0 0 20 0 15 0 404850679 15373000704 23138 33554432000 4194304 4196468 140727182420384 139825381672944 139826346228354 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9490432 140727182422767 140727182423194 140727182423194 140727182426063 0
[pid=6654/tid=6666] ppid=6651 vsize=15012696 memory=139962567685760 CPUtime=0.07 cores=0,2,4,6
/proc/6654/task/6666/stat : 6666 (java) S 6651 6651 5522 0 -1 1077944384 475 0 0 0 7 0 0 0 20 0 15 0 404850679 15373000704 23138 33554432000 4194304 4196468 140727182420384 139825380620656 139826346228354 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9490432 140727182422767 140727182423194 140727182423194 140727182426063 0
[pid=6654/tid=6667] ppid=6651 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6654/task/6667/stat : 6667 (java) S 6651 6651 5522 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404850680 15373000704 23138 33554432000 4194304 4196468 140727182420384 139823734057440 139826346227413 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9490432 140727182422767 140727182423194 140727182423194 140727182426063 0
[pid=6654/tid=6668] ppid=6651 vsize=15012696 memory=139962567685760 CPUtime=0 cores=0,2,4,6
/proc/6654/task/6668/stat : 6668 (java) S 6651 6651 5522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404850680 15373000704 23138 33554432000 4194304 4196468 140727182420384 139825379568560 139826346228354 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9490432 140727182422767 140727182423194 140727182423194 140727182426063 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 93948 KiB
[startup+0.701599 s]
/proc/loadavg: 1.89 2.03 2.03 3/229 6668
/proc/meminfo: memFree=29293628/32770624 swapFree=66992636/67108860
[pid=6651] ppid=6648 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/6651/stat : 6651 (scop.sh) S 6648 6651 5522 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 404850673 115843072 349 33554432000 4194304 5098028 140732730577152 140732730574408 140629874819708 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 9109504 140732730585896 140732730586224 140732730586224 140732730589133 0
/proc/6651/statm: 28282 349 296 221 0 87 0
[pid=6654] ppid=6651 vsize=15018968 memory=131372 CPUtime=1.01 cores=0,2,4,6
/proc/6654/stat : 6654 (java) S 6651 6651 5522 0 -1 1077944320 20108 0 0 0 95 6 0 0 20 0 15 0 404850673 15379423232 32843 33554432000 4194304 4196468 140727182420384 140727182402928 139826346217207 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 9490432 140727182422767 140727182423194 140727182423194 140727182426063 0
/proc/6654/statm: 3754742 32843 3182 1 0 3716091 0
[pid=6654/tid=6655] ppid=6651 vsize=15018968 memory=2124 CPUtime=0.68 cores=0,2,4,6
/proc/6654/task/6655/stat : 6655 (java) R 6651 6651 5522 0 -1 4202560 17189 0 0 0 63 5 0 0 20 0 15 0 404850673 15379423232 32843 33554432000 4194304 4196468 140727182420384 139826318047872 139825831551774 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9490432 140727182422767 140727182423194 140727182423194 140727182426063 0
[pid=6654/tid=6656] ppid=6651 vsize=15018968 memory=1556 CPUtime=0 cores=0,2,4,6
/proc/6654/task/6656/stat : 6656 (java) S 6651 6651 5522 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404850675 15379423232 32843 33554432000 4194304 4196468 140727182420384 139826350459280 139826346227413 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9490432 140727182422767 140727182423194 140727182423194 140727182426063 0
[pid=6654/tid=6657] ppid=6651 vsize=15018968 memory=496 CPUtime=0 cores=0,2,4,6
/proc/6654/task/6657/stat : 6657 (java) S 6651 6651 5522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404850675 15379423232 32843 33554432000 4194304 4196468 140727182420384 139826164615440 139826346227413 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9490432 140727182422767 140727182423194 140727182423194 140727182426063 0
[pid=6654/tid=6658] ppid=6651 vsize=15018968 memory=928 CPUtime=0 cores=0,2,4,6
/proc/6654/task/6658/stat : 6658 (java) S 6651 6651 5522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404850675 15379423232 32843 33554432000 4194304 4196468 140727182420384 139826163563152 139826346227413 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9490432 140727182422767 140727182423194 140727182423194 140727182426063 0
[pid=6654/tid=6659] ppid=6651 vsize=15018968 memory=1604 CPUtime=0 cores=0,2,4,6
/proc/6654/task/6659/stat : 6659 (java) S 6651 6651 5522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404850675 15379423232 32843 33554432000 4194304 4196468 140727182420384 139826162510352 139826346227413 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9490432 140727182422767 140727182423194 140727182423194 140727182426063 0
[pid=6654/tid=6660] ppid=6651 vsize=15018968 memory=1980 CPUtime=0 cores=0,2,4,6
/proc/6654/task/6660/stat : 6660 (java) S 6651 6651 5522 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 404850676 15379423232 32843 33554432000 4194304 4196468 140727182420384 139825383778928 139826346228354 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9490432 140727182422767 140727182423194 140727182423194 140727182426063 0
[pid=6654/tid=6661] ppid=6651 vsize=15018968 memory=2356 CPUtime=0 cores=0,2,4,6
/proc/6654/task/6661/stat : 6661 (java) S 6651 6651 5522 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 404850677 15379423232 32843 33554432000 4194304 4196468 140727182420384 139824874906912 139826346227413 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9490432 140727182422767 140727182423194 140727182423194 140727182426063 0
[pid=6654/tid=6662] ppid=6651 vsize=15018968 memory=1440 CPUtime=0 cores=0,2,4,6
/proc/6654/task/6662/stat : 6662 (java) S 6651 6651 5522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404850677 15379423232 32843 33554432000 4194304 4196468 140727182420384 139824606471792 139826346227413 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9490432 140727182422767 140727182423194 140727182423194 140727182426063 0
[pid=6654/tid=6663] ppid=6651 vsize=15018968 memory=7379241883359864663 CPUtime=0 cores=0,2,4,6
/proc/6654/task/6663/stat : 6663 (java) S 6651 6651 5522 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404850679 15379423232 32843 33554432000 4194304 4196468 140727182420384 139824231963216 139826346235803 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9490432 140727182422767 140727182423194 140727182423194 140727182426063 0
[pid=6654/tid=6664] ppid=6651 vsize=15018968 memory=8025788814061032556 CPUtime=0.07 cores=0,2,4,6
/proc/6654/task/6664/stat : 6664 (java) S 6651 6651 5522 0 -1 1077944384 592 0 0 0 7 0 0 0 20 0 15 0 404850679 15379423232 32843 33554432000 4194304 4196468 140727182420384 139825382725744 139826346228354 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9490432 140727182422767 140727182423194 140727182423194 140727182426063 0
[pid=6654/tid=6665] ppid=6651 vsize=15018968 memory=4638778402627731557 CPUtime=0.08 cores=0,2,4,6
/proc/6654/task/6665/stat : 6665 (java) S 6651 6651 5522 0 -1 1077944384 424 0 0 0 8 0 0 0 20 0 15 0 404850679 15379423232 32843 33554432000 4194304 4196468 140727182420384 139825381672944 139826346228354 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9490432 140727182422767 140727182423194 140727182423194 140727182426063 0
[pid=6654/tid=6666] ppid=6651 vsize=15018968 memory=8514726395714826909 CPUtime=0.15 cores=0,2,4,6
/proc/6654/task/6666/stat : 6666 (java) S 6651 6651 5522 0 -1 1077944384 569 0 0 0 15 0 0 0 20 0 15 0 404850679 15379423232 32843 33554432000 4194304 4196468 140727182420384 139825380620656 139826346228354 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9490432 140727182422767 140727182423194 140727182423194 140727182426063 0
[pid=6654/tid=6667] ppid=6651 vsize=15018968 memory=7521407684649314384 CPUtime=0 cores=0,2,4,6
/proc/6654/task/6667/stat : 6667 (java) S 6651 6651 5522 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404850680 15379423232 32843 33554432000 4194304 4196468 140727182420384 139823734057440 139826346227413 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9490432 140727182422767 140727182423194 140727182423194 140727182426063 0
[pid=6654/tid=6668] ppid=6651 vsize=15018968 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6654/task/6668/stat : 6668 (java) S 6651 6651 5522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404850680 15379423232 32843 33554432000 4194304 4196468 140727182420384 139825379568560 139826346228354 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9490432 140727182422767 140727182423194 140727182423194 140727182426063 0
Current children cumulated CPU time: 1.01 s
Current children cumulated vsize: 15132096 KiB
Current children cumulated memory: 132768 KiB
[startup+1.50082 s]
/proc/loadavg: 1.89 2.03 2.03 5/229 6668
/proc/meminfo: memFree=28949480/32770624 swapFree=66992636/67108860
[pid=6651] ppid=6648 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/6651/stat : 6651 (scop.sh) S 6648 6651 5522 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 404850673 115843072 349 33554432000 4194304 5098028 140732730577152 140732730574408 140629874819708 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 9109504 140732730585896 140732730586224 140732730586224 140732730589133 0
/proc/6651/statm: 28282 349 296 221 0 87 0
################
# More data... #
################
/proc/6654/task/6655/stat : 6655 (java) R 6651 6651 5522 0 -1 4202560 25233 0 0 0 2953 49 0 0 20 0 15 0 404850673 15385792512 812906 33554432000 4194304 4196468 140727182420384 139826318052256 139825839524263 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9490432 140727182422767 140727182423194 140727182423194 140727182426063 0
[pid=6654/tid=6656] ppid=6651 vsize=15025188 memory=8112282956445269571 CPUtime=0.32 cores=0,2,4,6
/proc/6654/task/6656/stat : 6656 (java) S 6651 6651 5522 0 -1 1077944384 946 0 0 0 26 6 0 0 20 0 15 0 404850675 15385792512 812906 33554432000 4194304 4196468 140727182420384 139826350459280 139826346227413 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9490432 140727182422767 140727182423194 140727182423194 140727182426063 0
[pid=6654/tid=6657] ppid=6651 vsize=15025188 memory=3255632 CPUtime=0.26 cores=0,2,4,6
/proc/6654/task/6657/stat : 6657 (java) S 6651 6651 5522 0 -1 1077944384 457 0 0 0 22 4 0 0 20 0 15 0 404850675 15385792512 812906 33554432000 4194304 4196468 140727182420384 139826164615440 139826346227413 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9490432 140727182422767 140727182423194 140727182423194 140727182426063 0
[pid=6654/tid=6658] ppid=6651 vsize=15025188 memory=1556 CPUtime=0.25 cores=0,2,4,6
/proc/6654/task/6658/stat : 6658 (java) S 6651 6651 5522 0 -1 1077944384 923 0 0 0 21 4 0 0 20 0 15 0 404850675 15385792512 812906 33554432000 4194304 4196468 140727182420384 139826163563152 139826346227413 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9490432 140727182422767 140727182423194 140727182423194 140727182426063 0
[pid=6654/tid=6659] ppid=6651 vsize=15025188 memory=496 CPUtime=0.27 cores=0,2,4,6
/proc/6654/task/6659/stat : 6659 (java) S 6651 6651 5522 0 -1 1077944384 1384 0 0 0 23 4 0 0 20 0 15 0 404850675 15385792512 812906 33554432000 4194304 4196468 140727182420384 139826162510352 139826346227413 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9490432 140727182422767 140727182423194 140727182423194 140727182426063 0
[pid=6654/tid=6660] ppid=6651 vsize=15025188 memory=1564 CPUtime=0.01 cores=0,2,4,6
/proc/6654/task/6660/stat : 6660 (java) S 6651 6651 5522 0 -1 1077944384 399 0 0 0 1 0 0 0 20 0 15 0 404850676 15385792512 812906 33554432000 4194304 4196468 140727182420384 139825383778928 139826346228354 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9490432 140727182422767 140727182423194 140727182423194 140727182426063 0
[pid=6654/tid=6661] ppid=6651 vsize=15025188 memory=8556 CPUtime=0 cores=0,2,4,6
/proc/6654/task/6661/stat : 6661 (java) S 6651 6651 5522 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 404850677 15385792512 812906 33554432000 4194304 4196468 140727182420384 139824874906976 139826346227413 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9490432 140727182422767 140727182423194 140727182423194 140727182426063 0
[pid=6654/tid=6662] ppid=6651 vsize=15025188 memory=1052 CPUtime=0 cores=0,2,4,6
/proc/6654/task/6662/stat : 6662 (java) S 6651 6651 5522 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 404850677 15385792512 812906 33554432000 4194304 4196468 140727182420384 139824606471808 139826346227413 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9490432 140727182422767 140727182423194 140727182423194 140727182426063 0
[pid=6654/tid=6663] ppid=6651 vsize=15025188 memory=1708 CPUtime=0 cores=0,2,4,6
/proc/6654/task/6663/stat : 6663 (java) S 6651 6651 5522 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404850679 15385792512 812906 33554432000 4194304 4196468 140727182420384 139824231963216 139826346235803 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9490432 140727182422767 140727182423194 140727182423194 140727182426063 0
[pid=6654/tid=6664] ppid=6651 vsize=15025188 memory=3440 CPUtime=3.59 cores=0,2,4,6
/proc/6654/task/6664/stat : 6664 (java) S 6651 6651 5522 0 -1 1077944384 8723 0 0 0 358 1 0 0 20 0 15 0 404850679 15385792512 812906 33554432000 4194304 4196468 140727182420384 139825382725744 139826346228354 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9490432 140727182422767 140727182423194 140727182423194 140727182426063 0
[pid=6654/tid=6665] ppid=6651 vsize=15025188 memory=15964 CPUtime=4.02 cores=0,2,4,6
/proc/6654/task/6665/stat : 6665 (java) S 6651 6651 5522 0 -1 1077944384 7994 0 0 0 400 2 0 0 20 0 15 0 404850679 15385792512 812906 33554432000 4194304 4196468 140727182420384 139825381672944 139826346228354 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9490432 140727182422767 140727182423194 140727182423194 140727182426063 0
[pid=6654/tid=6666] ppid=6651 vsize=15025188 memory=988 CPUtime=1 cores=0,2,4,6
/proc/6654/task/6666/stat : 6666 (java) S 6651 6651 5522 0 -1 1077944384 5603 0 0 0 98 2 0 0 20 0 15 0 404850679 15385792512 812906 33554432000 4194304 4196468 140727182420384 139825380620656 139826346228354 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9490432 140727182422767 140727182423194 140727182423194 140727182426063 0
[pid=6654/tid=6667] ppid=6651 vsize=15025188 memory=2016 CPUtime=0 cores=0,2,4,6
/proc/6654/task/6667/stat : 6667 (java) S 6651 6651 5522 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404850680 15385792512 812906 33554432000 4194304 4196468 140727182420384 139823734057440 139826346227413 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9490432 140727182422767 140727182423194 140727182423194 140727182426063 0
[pid=6654/tid=6668] ppid=6651 vsize=15025188 memory=1384 CPUtime=0.01 cores=0,2,4,6
/proc/6654/task/6668/stat : 6668 (java) S 6651 6651 5522 0 -1 1077944384 923 0 0 0 1 0 0 0 20 0 15 0 404850680 15385792512 812906 33554432000 4194304 4196468 140727182420384 139825379568560 139826346228354 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9490432 140727182422767 140727182423194 140727182423194 140727182426063 0
Current children cumulated CPU time: 39.84 s
Current children cumulated vsize: 15138316 KiB
Current children cumulated memory: 3253020 KiB
[startup+32.0007 s]*
/proc/loadavg: 1.99 2.04 2.04 5/234 6768
/proc/meminfo: memFree=28274892/32770624 swapFree=66992636/67108860
[pid=6651] ppid=6648 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/6651/stat : 6651 (scop.sh) S 6648 6651 5522 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 404850673 115843072 349 33554432000 4194304 5098028 140732730577152 140732730574408 140629874819708 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 9109504 140732730585896 140732730586224 140732730586224 140732730589133 0
/proc/6651/statm: 28282 349 296 221 0 87 0
[pid=6654] ppid=6651 vsize=15025188 memory=3373128 CPUtime=43.05 cores=0,2,4,6
/proc/6654/stat : 6654 (java) S 6651 6651 5522 0 -1 1077944320 55808 0 0 0 4212 93 0 0 20 0 15 0 404850673 15385792512 843282 33554432000 4194304 4196468 140727182420384 140727182402928 139826346217207 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 9490432 140727182422767 140727182423194 140727182423194 140727182426063 0
/proc/6654/statm: 3756297 843282 3288 1 0 3717627 0
[pid=6654/tid=6655] ppid=6651 vsize=15025188 memory=8317482817917895235 CPUtime=31.54 cores=0,2,4,6
/proc/6654/task/6655/stat : 6655 (java) R 6651 6651 5522 0 -1 4202560 25529 0 0 0 3104 50 0 0 20 0 15 0 404850673 15385792512 843296 33554432000 4194304 4196468 140727182420384 139826318055608 139825831346244 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9490432 140727182422767 140727182423194 140727182423194 140727182426063 0
[pid=6654/tid=6656] ppid=6651 vsize=15025188 memory=4126316290023845779 CPUtime=0.41 cores=0,2,4,6
/proc/6654/task/6656/stat : 6656 (java) S 6651 6651 5522 0 -1 1077944384 1014 0 0 0 31 10 0 0 20 0 15 0 404850675 15385792512 843296 33554432000 4194304 4196468 140727182420384 139826350459280 139826346227413 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9490432 140727182422767 140727182423194 140727182423194 140727182426063 0
[pid=6654/tid=6657] ppid=6651 vsize=15025188 memory=5896 CPUtime=0.35 cores=0,2,4,6
/proc/6654/task/6657/stat : 6657 (java) S 6651 6651 5522 0 -1 1077944384 533 0 0 0 27 8 0 0 20 0 15 0 404850675 15385792512 843296 33554432000 4194304 4196468 140727182420384 139826164615440 139826346227413 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9490432 140727182422767 140727182423194 140727182423194 140727182426063 0
[pid=6654/tid=6658] ppid=6651 vsize=15025188 memory=664 CPUtime=0.34 cores=0,2,4,6
/proc/6654/task/6658/stat : 6658 (java) S 6651 6651 5522 0 -1 1077944384 987 0 0 0 26 8 0 0 20 0 15 0 404850675 15385792512 843296 33554432000 4194304 4196468 140727182420384 139826163563152 139826346227413 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9490432 140727182422767 140727182423194 140727182423194 140727182426063 0
[pid=6654/tid=6659] ppid=6651 vsize=15025188 memory=2356 CPUtime=0.37 cores=0,2,4,6
/proc/6654/task/6659/stat : 6659 (java) S 6651 6651 5522 0 -1 1077944384 1445 0 0 0 29 8 0 0 20 0 15 0 404850675 15385792512 843296 33554432000 4194304 4196468 140727182420384 139826162510352 139826346227413 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9490432 140727182422767 140727182423194 140727182423194 140727182426063 0
[pid=6654/tid=6660] ppid=6651 vsize=15025188 memory=1440 CPUtime=0.01 cores=0,2,4,6
/proc/6654/task/6660/stat : 6660 (java) S 6651 6651 5522 0 -1 1077944384 401 0 0 0 1 0 0 0 20 0 15 0 404850676 15385792512 843296 33554432000 4194304 4196468 140727182420384 139825383778928 139826346228354 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9490432 140727182422767 140727182423194 140727182423194 140727182426063 0
[pid=6654/tid=6661] ppid=6651 vsize=15025188 memory=820 CPUtime=0 cores=0,2,4,6
/proc/6654/task/6661/stat : 6661 (java) S 6651 6651 5522 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 404850677 15385792512 843296 33554432000 4194304 4196468 140727182420384 139824874906976 139826346227413 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9490432 140727182422767 140727182423194 140727182423194 140727182426063 0
[pid=6654/tid=6662] ppid=6651 vsize=15025188 memory=1764 CPUtime=0 cores=0,2,4,6
/proc/6654/task/6662/stat : 6662 (java) S 6651 6651 5522 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 404850677 15385792512 843296 33554432000 4194304 4196468 140727182420384 139824606471808 139826346227413 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9490432 140727182422767 140727182423194 140727182423194 140727182426063 0
[pid=6654/tid=6663] ppid=6651 vsize=15025188 memory=111632 CPUtime=0 cores=0,2,4,6
/proc/6654/task/6663/stat : 6663 (java) S 6651 6651 5522 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404850679 15385792512 843296 33554432000 4194304 4196468 140727182420384 139824231963216 139826346235803 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9490432 140727182422767 140727182423194 140727182423194 140727182426063 0
[pid=6654/tid=6664] ppid=6651 vsize=15025188 memory=808 CPUtime=4.11 cores=0,2,4,6
/proc/6654/task/6664/stat : 6664 (java) R 6651 6651 5522 0 -1 4202560 8771 0 0 0 409 2 0 0 20 0 15 0 404850679 15385792512 843296 33554432000 4194304 4196468 140727182420384 139825382709376 139826326853167 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9490432 140727182422767 140727182423194 140727182423194 140727182426063 0
[pid=6654/tid=6665] ppid=6651 vsize=15025188 memory=8112282956445269571 CPUtime=4.73 cores=0,2,4,6
/proc/6654/task/6665/stat : 6665 (java) R 6651 6651 5522 0 -1 4202560 9089 0 0 0 471 2 0 0 20 0 15 0 404850679 15385792512 843296 33554432000 4194304 4196468 140727182420384 139825381661744 139826346229142 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9490432 140727182422767 140727182423194 140727182423194 140727182426063 0
[pid=6654/tid=6666] ppid=6651 vsize=15025188 memory=916 CPUtime=1.11 cores=0,2,4,6
/proc/6654/task/6666/stat : 6666 (java) R 6651 6651 5522 0 -1 1077944384 5735 0 0 0 109 2 0 0 20 0 15 0 404850679 15385792512 843296 33554432000 4194304 4196468 140727182420384 139825380620656 139826346228354 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9490432 140727182422767 140727182423194 140727182423194 140727182426063 0
[pid=6654/tid=6667] ppid=6651 vsize=15025188 memory=1804 CPUtime=0 cores=0,2,4,6
/proc/6654/task/6667/stat : 6667 (java) S 6651 6651 5522 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404850680 15385792512 843296 33554432000 4194304 4196468 140727182420384 139823734057440 139826346227413 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9490432 140727182422767 140727182423194 140727182423194 140727182426063 0
[pid=6654/tid=6668] ppid=6651 vsize=15025188 memory=916 CPUtime=0.01 cores=0,2,4,6
/proc/6654/task/6668/stat : 6668 (java) S 6651 6651 5522 0 -1 1077944384 925 0 0 0 1 0 0 0 20 0 15 0 404850680 15385792512 843296 33554432000 4194304 4196468 140727182420384 139825379568560 139826346228354 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9490432 140727182422767 140727182423194 140727182423194 140727182426063 0
Current children cumulated CPU time: 43.05 s
Current children cumulated vsize: 15138316 KiB
Current children cumulated memory: 3374524 KiB
[startup+32.8004 s]
/proc/loadavg: 1.99 2.04 2.04 5/234 6768
/proc/meminfo: memFree=28274892/32770624 swapFree=66992636/67108860
[pid=6651] ppid=6648 vsize=113128 memory=1476 CPUtime=44.02 cores=0,2,4,6
/proc/6651/stat : 6651 (scop.sh) S 6648 6651 5522 0 -1 4202496 583 57687 0 0 0 0 4306 96 20 0 1 0 404850673 115843072 369 33554432000 4194304 5098028 140732730577152 140732730573896 140629874819708 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 9109504 140732730585896 140732730586224 140732730586224 140732730589133 0
/proc/6651/statm: 28282 369 311 221 0 87 0
Current children cumulated CPU time: 44.02 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1476 KiB
[startup+33.2007 s]
/proc/loadavg: 1.99 2.04 2.04 4/234 6783
/proc/meminfo: memFree=31557648/32770624 swapFree=66992636/67108860
[pid=6651] ppid=6648 vsize=113128 memory=1476 CPUtime=44.02 cores=0,2,4,6
/proc/6651/stat : 6651 (scop.sh) S 6648 6651 5522 0 -1 4202496 583 57687 0 0 0 0 4306 96 20 0 1 0 404850673 115843072 369 33554432000 4194304 5098028 140732730577152 140732730573896 140629874819708 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 9109504 140732730585896 140732730586224 140732730586224 140732730589133 0
/proc/6651/statm: 28282 369 311 221 0 87 0
[pid=6769] ppid=6651 vsize=7740752 memory=117828 CPUtime=1.2 cores=0,2,4,6
/proc/6769/stat : 6769 (java) S 6651 6651 5522 0 -1 1077944320 20418 488 0 0 114 6 0 0 20 0 17 0 404853913 7926530048 29457 33554432000 4194304 4196468 140721175824944 140721175807488 140062532255479 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24784896 140721175831548 140721175831706 140721175831706 140721175834575 0
/proc/6769/statm: 1935188 29457 3211 1 0 1896532 0
[pid=6769/tid=6770] ppid=6651 vsize=7740752 memory=1412 CPUtime=0.76 cores=0,2,4,6
/proc/6769/task/6770/stat : 6770 (java) R 6651 6651 5522 0 -1 4202560 17390 488 0 0 71 5 0 0 20 0 17 0 404853914 7926530048 29457 33554432000 4194304 4196468 140721175824944 140062504092096 140062532277405 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24784896 140721175831548 140721175831706 140721175831706 140721175834575 0
[pid=6769/tid=6771] ppid=6651 vsize=7740752 memory=2876 CPUtime=0 cores=0,2,4,6
/proc/6769/task/6771/stat : 6771 (java) S 6651 6651 5522 0 -1 1077944384 2 488 0 0 0 0 0 0 20 0 17 0 404853915 7926530048 29457 33554432000 4194304 4196468 140721175824944 140062536498192 140062532265685 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24784896 140721175831548 140721175831706 140721175831706 140721175834575 0
[pid=6769/tid=6772] ppid=6651 vsize=7740752 memory=1476 CPUtime=0 cores=0,2,4,6
/proc/6769/task/6772/stat : 6772 (java) S 6651 6651 5522 0 -1 1077944384 2 488 0 0 0 0 0 0 20 0 17 0 404853915 7926530048 29457 33554432000 4194304 4196468 140721175824944 140062336666768 140062532265685 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24784896 140721175831548 140721175831706 140721175831706 140721175834575 0
[pid=6769/tid=6773] ppid=6651 vsize=7740752 memory=120488 CPUtime=0 cores=0,2,4,6
/proc/6769/task/6773/stat : 6773 (java) S 6651 6651 5522 0 -1 1077944384 1 488 0 0 0 0 0 0 20 0 17 0 404853915 7926530048 29457 33554432000 4194304 4196468 140721175824944 140062335613712 140062532265685 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24784896 140721175831548 140721175831706 140721175831706 140721175834575 0
[pid=6769/tid=6774] ppid=6651 vsize=7740752 memory=45012 CPUtime=0 cores=0,2,4,6
/proc/6769/task/6774/stat : 6774 (java) S 6651 6651 5522 0 -1 1077944384 2 488 0 0 0 0 0 0 20 0 17 0 404853915 7926530048 29457 33554432000 4194304 4196468 140721175824944 140062334561168 140062532265685 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24784896 140721175831548 140721175831706 140721175831706 140721175834575 0
[pid=6769/tid=6775] ppid=6651 vsize=7740752 memory=1616 CPUtime=0 cores=0,2,4,6
/proc/6769/task/6775/stat : 6775 (java) S 6651 6651 5522 0 -1 1077944384 5 488 0 0 0 0 0 0 20 0 17 0 404853916 7926530048 29457 33554432000 4194304 4196468 140721175824944 140061978745072 140062532266626 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24784896 140721175831548 140721175831706 140721175831706 140721175834575 0
[pid=6769/tid=6776] ppid=6651 vsize=7740752 memory=8317482817917895235 CPUtime=0 cores=0,2,4,6
/proc/6769/task/6776/stat : 6776 (java) S 6651 6651 5522 0 -1 1077944384 13 488 0 0 0 0 0 0 20 0 17 0 404853917 7926530048 29457 33554432000 4194304 4196468 140721175824944 140061366543520 140062532265685 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24784896 140721175831548 140721175831706 140721175831706 140721175834575 0
[pid=6769/tid=6777] ppid=6651 vsize=7740752 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/6769/task/6777/stat : 6777 (java) S 6651 6651 5522 0 -1 1077944384 1 488 0 0 0 0 0 0 20 0 17 0 404853917 7926530048 29457 33554432000 4194304 4196468 140721175824944 140061098107632 140062532265685 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24784896 140721175831548 140721175831706 140721175831706 140721175834575 0
[pid=6769/tid=6778] ppid=6651 vsize=7740752 memory=916 CPUtime=0 cores=0,2,4,6
/proc/6769/task/6778/stat : 6778 (java) S 6651 6651 5522 0 -1 1077944384 3 488 0 0 0 0 0 0 20 0 17 0 404853920 7926530048 29457 33554432000 4194304 4196468 140721175824944 140060723599312 140062532274075 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24784896 140721175831548 140721175831706 140721175831706 140721175834575 0
[pid=6769/tid=6779] ppid=6651 vsize=7740752 memory=3848 CPUtime=0.1 cores=0,2,4,6
/proc/6769/task/6779/stat : 6779 (java) S 6651 6651 5522 0 -1 1077944384 486 488 0 0 10 0 0 0 20 0 17 0 404853920 7926530048 29457 33554432000 4194304 4196468 140721175824944 140061977692912 140062532266626 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24784896 140721175831548 140721175831706 140721175831706 140721175834575 0
[pid=6769/tid=6780] ppid=6651 vsize=7740752 memory=4100 CPUtime=0.08 cores=0,2,4,6
/proc/6769/task/6780/stat : 6780 (java) S 6651 6651 5522 0 -1 1077944384 562 488 0 0 8 0 0 0 20 0 17 0 404853920 7926530048 29457 33554432000 4194304 4196468 140721175824944 140061976640368 140062532266626 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24784896 140721175831548 140721175831706 140721175831706 140721175834575 0
[pid=6769/tid=6781] ppid=6651 vsize=7740752 memory=288230574492221466 CPUtime=0.21 cores=0,2,4,6
/proc/6769/task/6781/stat : 6781 (java) S 6651 6651 5522 0 -1 1077944384 545 488 0 0 21 0 0 0 20 0 17 0 404853920 7926530048 29457 33554432000 4194304 4196468 140721175824944 140061975587312 140062532266626 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24784896 140721175831548 140721175831706 140721175831706 140721175834575 0
[pid=6769/tid=6782] ppid=6651 vsize=7740752 memory=288230621803970871 CPUtime=0 cores=0,2,4,6
/proc/6769/task/6782/stat : 6782 (java) S 6651 6651 5522 0 -1 1077944384 3 488 0 0 0 0 0 0 20 0 17 0 404853920 7926530048 29457 33554432000 4194304 4196468 140721175824944 140060225694560 140062532265685 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24784896 140721175831548 140721175831706 140721175831706 140721175834575 0
[pid=6769/tid=6783] ppid=6651 vsize=7740752 memory=13852958290872731 CPUtime=0 cores=0,2,4,6
/proc/6769/task/6783/stat : 6783 (java) S 6651 6651 5522 0 -1 1077944384 1 488 0 0 0 0 0 0 20 0 17 0 404853920 7926530048 29457 33554432000 4194304 4196468 140721175824944 140061974534704 140062532266626 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24784896 140721175831548 140721175831706 140721175831706 140721175834575 0
Current children cumulated CPU time: 45.22 s
Current children cumulated vsize: 7853880 KiB
Current children cumulated memory: 119304 KiB
[startup+33.3006 s]
/proc/loadavg: 1.99 2.04 2.04 4/234 6783
/proc/meminfo: memFree=31557648/32770624 swapFree=66992636/67108860
[pid=6651] ppid=6648 vsize=113128 memory=1476 CPUtime=44.02 cores=0,2,4,6
/proc/6651/stat : 6651 (scop.sh) S 6648 6651 5522 0 -1 4202496 583 57687 0 0 0 0 4306 96 20 0 1 0 404850673 115843072 369 33554432000 4194304 5098028 140732730577152 140732730573896 140629874819708 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 9109504 140732730585896 140732730586224 140732730586224 140732730589133 0
/proc/6651/statm: 28282 369 311 221 0 87 0
[pid=6769] ppid=6651 vsize=7739724 memory=125944 CPUtime=1.36 cores=0,2,4,6
/proc/6769/stat : 6769 (java) S 6651 6651 5522 0 -1 1077944320 20876 488 0 0 129 7 0 0 20 0 15 0 404853913 7925477376 31486 33554432000 4194304 4196468 140721175824944 140721175807488 140062532255479 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24784896 140721175831548 140721175831706 140721175831706 140721175834575 0
/proc/6769/statm: 1934931 31486 3217 1 0 1896275 0
[pid=6769/tid=6770] ppid=6651 vsize=7739724 memory=1476 CPUtime=0.85 cores=0,2,4,6
/proc/6769/task/6770/stat : 6770 (java) S 6651 6651 5522 0 -1 1077944384 17682 488 0 0 80 5 0 0 20 0 15 0 404853914 7925477376 31486 33554432000 4194304 4196468 140721175824944 140062504098960 140062532265685 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24784896 140721175831548 140721175831706 140721175831706 140721175834575 0
[pid=6769/tid=6771] ppid=6651 vsize=7739724 memory=288230621803970871 CPUtime=0 cores=0,2,4,6
/proc/6769/task/6771/stat : 6771 (java) S 6651 6651 5522 0 -1 1077944384 2 488 0 0 0 0 0 0 20 0 15 0 404853915 7925477376 31486 33554432000 4194304 4196468 140721175824944 140062536498192 140062532265685 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24784896 140721175831548 140721175831706 140721175831706 140721175834575 0
[pid=6769/tid=6772] ppid=6651 vsize=7739724 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/6769/task/6772/stat : 6772 (java) S 6651 6651 5522 0 -1 1077944384 2 488 0 0 0 0 0 0 20 0 15 0 404853915 7925477376 31486 33554432000 4194304 4196468 140721175824944 140062336666768 140062532265685 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24784896 140721175831548 140721175831706 140721175831706 140721175834575 0
[pid=6769/tid=6773] ppid=6651 vsize=7739724 memory=3241980 CPUtime=0 cores=0,2,4,6
/proc/6769/task/6773/stat : 6773 (java) S 6651 6651 5522 0 -1 1077944384 1 488 0 0 0 0 0 0 20 0 15 0 404853915 7925477376 31486 33554432000 4194304 4196468 140721175824944 140062335613712 140062532265685 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24784896 140721175831548 140721175831706 140721175831706 140721175834575 0
[pid=6769/tid=6774] ppid=6651 vsize=7739724 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/6769/task/6774/stat : 6774 (java) S 6651 6651 5522 0 -1 1077944384 2 488 0 0 0 0 0 0 20 0 15 0 404853915 7925477376 31486 33554432000 4194304 4196468 140721175824944 140062334561168 140062532265685 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24784896 140721175831548 140721175831706 140721175831706 140721175834575 0
[pid=6769/tid=6775] ppid=6651 vsize=7739724 memory=776 CPUtime=0 cores=0,2,4,6
/proc/6769/task/6775/stat : 6775 (java) S 6651 6651 5522 0 -1 1077944384 5 488 0 0 0 0 0 0 20 0 15 0 404853916 7925477376 31486 33554432000 4194304 4196468 140721175824944 140061978745280 140062532266626 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24784896 140721175831548 140721175831706 140721175831706 140721175834575 0
[pid=6769/tid=6776] ppid=6651 vsize=7739724 memory=1604 CPUtime=0 cores=0,2,4,6
/proc/6769/task/6776/stat : 6776 (java) S 6651 6651 5522 0 -1 1077944384 13 488 0 0 0 0 0 0 20 0 15 0 404853917 7925477376 31486 33554432000 4194304 4196468 140721175824944 140061366543520 140062532265685 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24784896 140721175831548 140721175831706 140721175831706 140721175834575 0
[pid=6769/tid=6777] ppid=6651 vsize=7739724 memory=1980 CPUtime=0 cores=0,2,4,6
/proc/6769/task/6777/stat : 6777 (java) S 6651 6651 5522 0 -1 1077944384 1 488 0 0 0 0 0 0 20 0 15 0 404853917 7925477376 31486 33554432000 4194304 4196468 140721175824944 140061098107632 140062532265685 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24784896 140721175831548 140721175831706 140721175831706 140721175834575 0
[pid=6769/tid=6779] ppid=6651 vsize=7739724 memory=1396 CPUtime=0.11 cores=0,2,4,6
/proc/6769/task/6779/stat : 6779 (java) S 6651 6651 5522 0 -1 1077944384 490 488 0 0 11 0 0 0 20 0 15 0 404853920 7925477376 31486 33554432000 4194304 4196468 140721175824944 140061977677424 140062532265685 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24784896 140721175831548 140721175831706 140721175831706 140721175834575 0
[pid=6769/tid=6780] ppid=6651 vsize=7739724 memory=3253656 CPUtime=0.1 cores=0,2,4,6
/proc/6769/task/6780/stat : 6780 (java) S 6651 6651 5522 0 -1 1077944384 565 488 0 0 9 1 0 0 20 0 15 0 404853920 7925477376 31486 33554432000 4194304 4196468 140721175824944 140061976640368 140062532266626 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24784896 140721175831548 140721175831706 140721175831706 140721175834575 0
[pid=6769/tid=6781] ppid=6651 vsize=7739724 memory=1764 CPUtime=0.26 cores=0,2,4,6
/proc/6769/task/6781/stat : 6781 (java) S 6651 6651 5522 0 -1 1077944384 685 488 0 0 26 0 0 0 20 0 15 0 404853920 7925477376 31486 33554432000 4194304 4196468 140721175824944 140061975587312 140062532266626 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24784896 140721175831548 140721175831706 140721175831706 140721175834575 0
[pid=6769/tid=6782] ppid=6651 vsize=7739724 memory=111632 CPUtime=0 cores=0,2,4,6
/proc/6769/task/6782/stat : 6782 (java) S 6651 6651 5522 0 -1 1077944384 3 488 0 0 0 0 0 0 20 0 15 0 404853920 7925477376 31486 33554432000 4194304 4196468 140721175824944 140060225694560 140062532265685 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24784896 140721175831548 140721175831706 140721175831706 140721175834575 0
Current children cumulated CPU time: 45.38 s
Current children cumulated vsize: 7852852 KiB
Current children cumulated memory: 127420 KiB
Child status: 0
Real time (s): 33.3127
CPU time (s): 45.4172
CPU user time (s): 44.3702
CPU system time (s): 1.04698
CPU usage (%): 136.336
Max. virtual memory (cumulated for all children) (KiB): 15140432
Max. memory (cumulated for all children) (KiB): 3376576
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 44.3702
system time used= 1.04698
maximum resident set size= 3376780
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 79650
page faults= 0
swaps= 0
block input operations= 8
block output operations= 272
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7326
involuntary context switches= 121
# summary of solver processes directly reported to runsolver:
# pid: 6651
# total CPU time (s): 45.4172
# total CPU user time (s): 44.3702
# total CPU system time (s): 1.04698
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.261151 second user time and 0.349076 second system time
The end