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-11451-serial-file.bin HOME/instance-4387857-1568291711.xml
0.66/0.55
0.66/0.55 Fun-sCOP order+glueminisat-simp-2.2.10-193oa-n-release (2019-06-15)
0.66/0.55
0.66/0.57 c BEGIN-Prog: Thu Sep 12 14:34:30 CEST 2019
0.66/0.57 c PID: 11454
0.66/0.57 c IP: 172.20.3.137
0.66/0.57 c HOST: node137.alineos.net
0.66/0.58 c (0,0) Parsing Begin
1.37/0.90 c (0,0) Parsing End
1.37/0.91 c (0,0) CSP: 0 int (0 aux), 84 bool (0 aux), 56 ctr, max domain size 2
1.37/0.91 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.37/0.91 c (0,0) Constraint Name Generate Begin
1.37/0.91 c (0,0) Ctr:HOME/instance-4387857-1568291711.xml,ExtensionSupport:Var
1.37/0.91 c (0,0) Constraint Name Generate End
1.37/0.91 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.37/0.91 c (0,0) CSP to CSPinCNF Begin
1.71/1.16 c (0,0) translated 6 (10%) constraints
1.91/1.22 c (0,0) translated 12 (20%) constraints
1.91/1.25 c (0,0) translated 17 (30%) constraints
1.91/1.29 c (0,0) translated 23 (40%) constraints
2.21/1.31 c (0,0) translated 28 (50%) constraints
2.21/1.34 c (0,0) translated 34 (60%) constraints
2.21/1.36 c (0,0) translated 40 (70%) constraints
2.21/1.37 c (0,0) translated 45 (80%) constraints
2.21/1.39 c (0,0) translated 51 (90%) constraints
2.49/1.41 c (0,0) translated 56 (100%) constraints
2.49/1.41 c (0,0) ===========================================
2.49/1.41 c (0,0) Order
2.49/1.41 c (0,0) ===========================================
2.49/1.43 c (0,0) translated 107 (10%) constraints
2.49/1.44 c (0,0) translated 213 (20%) constraints
2.49/1.44 c (0,0) translated 320 (30%) constraints
2.49/1.45 c (0,0) translated 426 (40%) constraints
2.49/1.46 c (0,0) translated 532 (50%) constraints
2.49/1.46 c (0,0) translated 639 (60%) constraints
2.49/1.47 c (0,0) translated 745 (70%) constraints
2.49/1.47 c (0,0) translated 852 (80%) constraints
2.49/1.48 c (0,0) translated 958 (90%) constraints
2.49/1.49 c (0,0) translated 1064 (100%) constraints
2.49/1.49 c (0,0) CSP to CSPinCNF End
2.49/1.49 c (0,0) CSP: 0 int (0 aux), 308 bool (224 aux), 1064 ctr, max domain size 2
2.49/1.49 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 24 MiB used (max 0 MiB)
2.49/1.49 c (0,0) CSPinCNF Propagation Begin
2.82/1.53 c (0,0) 0 values, 56 unsatisfiable literals, and 0 valid clauses are removed
2.82/1.53 c (0,0) CSPinCNF Propagation End
2.82/1.53 c (0,0) CSP: 0 int (0 aux), 308 bool (224 aux), 1064 ctr, max domain size 2
2.82/1.53 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 25 MiB used (max 0 MiB)
2.82/1.53 c (0,0) Simplify CSPinCNF Begin
2.82/1.55 c (0,0) Simplify CSPinCNF End
2.82/1.55 c (0,0) CSP: 0 int (0 aux), 308 bool (224 aux), 1064 ctr, max domain size 2
2.82/1.55 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 25 MiB used (max 0 MiB)
2.82/1.55 c (0,0) Calculate Precise Domain Begin
2.82/1.55 c (0,0) 0 values are removed by re-calculation
2.82/1.55 c (0,0) Calculate Precise Domain End
2.82/1.55 c (0,0) CSP: 0 int (0 aux), 308 bool (224 aux), 1064 ctr, max domain size 2
2.82/1.55 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 25 MiB used (max 0 MiB)
2.82/1.55 c (0,0) CSPinCNF to SatSolver Begin
3.16/1.61 c (1,1) 107 (10 %) CSP clauses are encoded (0 SAT variables, 106 SAT clauses)
3.16/1.63 c (1,1) 213 (20 %) CSP clauses are encoded (0 SAT variables, 212 SAT clauses)
3.16/1.64 c (1,1) 320 (30 %) CSP clauses are encoded (0 SAT variables, 319 SAT clauses)
3.16/1.65 c (1,1) 426 (40 %) CSP clauses are encoded (0 SAT variables, 425 SAT clauses)
3.16/1.65 c (1,1) 532 (50 %) CSP clauses are encoded (0 SAT variables, 531 SAT clauses)
3.16/1.66 c (1,1) 639 (60 %) CSP clauses are encoded (0 SAT variables, 638 SAT clauses)
3.16/1.66 c (1,1) 745 (70 %) CSP clauses are encoded (0 SAT variables, 744 SAT clauses)
3.16/1.67 c (1,1) 852 (80 %) CSP clauses are encoded (0 SAT variables, 851 SAT clauses)
3.16/1.67 c (1,1) 958 (90 %) CSP clauses are encoded (0 SAT variables, 957 SAT clauses)
3.16/1.68 c (1,1) 1064 (100 %) CSP clauses are encoded (0 SAT variables, 1063 SAT clauses)
3.16/1.68 c (1,1) CSPinCNF to SatSolver End
3.16/1.68 c (1,1) Heap : 168 MiB used (max 10795 MiB), NonHeap : 26 MiB used (max 0 MiB)
3.16/1.68 c (1,1) 308 bool, 1064 clause
3.16/1.68 c (1,1) Export Begin
3.49/1.77 c (1,1) Export to HOME/scop-11451-serial-file.bin
3.49/1.77 c (1,1) Export End
3.49/1.77 c (1,1) Export File Size: 0.02 MB
3.49/1.77 c (1,1) 0,0,0,0,0,0,1,STOP-AFTER(DIMACS)
3.49/1.77 c END-Prog: Thu Sep 12 14:34:31 CEST 2019
3.49/1.78 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-11451-serial-file.bin
4.19/2.24 c (0,0) Read Serial File Begin
4.19/2.24 c (0,0) HOME/scop-11451-serial-file.bin
4.48/2.46 c (0,0) Read Serial File End
4.48/2.47
4.48/2.47 Fun-sCOP order+glueminisat-simp-2.2.10-193oa-n-release (2019-06-15)
4.48/2.47 (Solving Process)
4.48/2.47
4.48/2.49 c BEGIN-Prog: Thu Sep 12 14:34:32 CEST 2019
4.48/2.49 c PID: 11469
4.48/2.49 c IP: 172.20.3.137
4.48/2.49 c HOST: node137.alineos.net
4.64/2.50 c (0,0) SatSolver.solve Begin
4.64/2.50 c (0,0) HOME/glueminisat-simp-2.2.10-193oa-n-release -model -verb=3 -elim-cl=5000000 -native-oa HOME/instance-4387857-1568291711.xml-scop-11454.cnf
4.64/2.53 c (0,0) c WARNING: for repeatability, setting FPU to use double precision
4.64/2.53 c (0,0) c glueminisat-simp-2.2.10-193oa-n
4.64/2.53 c (0,0) c Command: HOME/glueminisat-simp-2.2.10-193oa-n-release -model -verb=3 -elim-cl=5000000 -native-oa HOME/instance-4387857-1568291711.xml-scop-11454.cnf
4.64/2.53 c (0,0) c Options:
4.64/2.53 c (0,0) c CORE
4.64/2.53 c (0,0) c var_decay = 0.950
4.64/2.53 c (0,0) c clause_decay = 0.999
4.64/2.53 c (0,0) c random_var_freq = 0.000
4.64/2.53 c (0,0) c random_seed = 91648253.000
4.64/2.53 c (0,0) c luby_restart = 1
4.64/2.53 c (0,0) c ccmin_mode = 2
4.64/2.53 c (0,0) c phase_saving = 2
4.64/2.53 c (0,0) c rnd_pol = 0
4.64/2.53 c (0,0) c rnd_init_act = 0
4.64/2.53 c (0,0) c garbage_frac = 0.200
4.64/2.53 c (0,0) c restart_first = 1000
4.64/2.53 c (0,0) c restart_inc = 2.000
4.64/2.53 c (0,0) c MODEL
4.64/2.53 c (0,0) c partial_model = 0
4.64/2.53 c (0,0) c PROPAGATION
4.64/2.53 c (0,0) c bin_propagation = 1
4.64/2.53 c (0,0) c SIMPLIFICATION
4.64/2.53 c (0,0) c lrn_min_size = 100
4.64/2.53 c (0,0) c lazy_simp = 1
4.64/2.53 c (0,0) c lazy_interval = 10
4.64/2.53 c (0,0) c lazy_fld_probing = 1
4.64/2.53 c (0,0) c lazy_pol_probing = 1
4.64/2.53 c (0,0) c lazy_nec_probing = 1
4.64/2.53 c (0,0) c lazy_eqv_probing = 1
4.64/2.53 c (0,0) c lazy_cla_probing = 1
4.64/2.53 c (0,0) c lazy_lrn_min = 2
4.64/2.53 c (0,0) c lazy_uw_lit_elim = 1
4.64/2.53 c (0,0) c lazy_pr_lit_elim = 0
4.64/2.53 c (0,0) c lazy_bin_add = 3
4.64/2.53 c (0,0) c probed_lit_chain = 1
4.64/2.53 c (0,0) c pr_min_lits = 0.00020
4.64/2.53 c (0,0) c pr_min_starts = 500
4.64/2.53 c (0,0) c rw_min_lits = 0.010
4.64/2.53 c (0,0) c rw_min_starts = 500
4.64/2.53 c (0,0) c rand_attach = 0
4.64/2.53 c (0,0) c dec_elim = 1
4.64/2.53 c (0,0) c dec_elim_lim = 25
4.64/2.53 c (0,0) c dec_elim_len = -1
4.64/2.53 c (0,0) c amo = 0
4.64/2.53 c (0,0) c amo_grp = 1
4.64/2.53 c (0,0) c amo_max_bins = 1000000
4.64/2.53 c (0,0) c amo_starts = 50
4.64/2.53 c (0,0) c mace_cmd = mace
4.64/2.53 c (0,0) c DECISION
4.64/2.53 c (0,0) c rand_rebuild = 0
4.64/2.53 c (0,0) c rand_rebuild_confs = 10000
4.64/2.53 c (0,0) c inc_var_decay = 1
4.64/2.53 c (0,0) c inc_var_decay_period = 100000
4.64/2.53 c (0,0) c inc_var_decay_init = 0.600
4.64/2.53 c (0,0) c var_decay_mode = 0
4.64/2.53 c (0,0) c var_decay_gain = 0
4.64/2.53 c (0,0) c sloped_var_decay = 1
4.64/2.53 c (0,0) c max_var_decay = 0.990
4.64/2.53 c (0,0) c min_var_decay = 0.950
4.64/2.53 c (0,0) c min_var_decay_vars = 10000
4.64/2.53 c (0,0) c max_var_decay_vars = 500
4.64/2.53 c (0,0) c uip_bumping = 1
4.64/2.53 c (0,0) c lbd_act_bumping = 1
4.64/2.53 c (0,0) c rand_tiebreak = 0
4.64/2.53 c (0,0) c simp_rebuild = 1
4.64/2.53 c (0,0) c RESTART
4.64/2.53 c (0,0) c restart_strategy = 2
4.64/2.53 c (0,0) c restart_blocking = 0
4.64/2.53 c (0,0) c agility_decay = 0.99990
4.64/2.53 c (0,0) c lbd_restart_rate = 0.800
4.64/2.53 c (0,0) c dec_restart_rate = 0.950
4.64/2.53 c (0,0) c blk_restart_rate = 0.700
4.64/2.53 c (0,0) c lbd_queue_size = 50
4.64/2.53 c (0,0) c dec_queue_size = 50
4.64/2.53 c (0,0) c trl_queue_size = 5000
4.64/2.53 c (0,0) c blk_restart_weight = 1.000
4.64/2.53 c (0,0) c inc_rst_rate = 0
4.64/2.53 c (0,0) c inc_rst_rate_period = 500000
4.64/2.53 c (0,0) c inc_lbd_rst_rate_init = 0.600
4.64/2.53 c (0,0) c inc_dec_rst_rate_init = 0.750
4.64/2.53 c (0,0) c REDUCTION
4.64/2.53 c (0,0) c closed_lbd = 0
4.64/2.53 c (0,0) c closed_lbd_rate = 0.500
4.64/2.53 c (0,0) c rm_simulate = 0
4.64/2.53 c (0,0) c rdb_eval = 2
4.64/2.53 c (0,0) c rdb_call = 3
4.64/2.54 c (0,0) c rdb_ub = 0.500
4.64/2.54 c (0,0) c core_lbd_cvr = 0.800
4.64/2.54 c (0,0) c supp_lbd_cvr = 0.990
4.64/2.54 c (0,0) c core_lbd_lb = 2
4.64/2.54 c (0,0) c supp_lbd_lb = 2
4.64/2.54 c (0,0) c core_lbd_prd = 7
4.64/2.54 c (0,0) c supp_lbd_prd = 1
4.64/2.54 c (0,0) c othr_lbd_prd = 0
4.64/2.54 c (0,0) c inc_lrn_limit = 1000
4.64/2.54 c (0,0) c frozen_lbd = 30
4.64/2.54 c (0,0) c simp_min_starts = 100
4.64/2.54 c (0,0) c rm_low_act_learnts = 1
4.64/2.54 c (0,0) c lv0_reduce_db = 0
4.64/2.54 c (0,0) c reduce_db_base = 20000
4.64/2.54 c (0,0) c reduce_db_inc = 1000
4.64/2.54 c (0,0) c HARD
4.64/2.54 c (0,0) c inst_check = 200000
4.64/2.54 c (0,0) c small_block = 1.750
4.64/2.54 c (0,0) c slow_restart_speed = 400.000
4.64/2.54 c (0,0) c slow_restart_strategy = 3
4.64/2.54 c (0,0) c slow_lbd_restart_rate = 0.700
4.64/2.54 c (0,0) c slow_dec_restart_rate = 1.000
4.64/2.54 c (0,0) c slow_lbd_queue_size = 50
4.64/2.54 c (0,0) c slow_var_decay = 0.950
4.64/2.54 c (0,0) c slow_glue_threshold = 2
4.64/2.54 c (0,0) c slow_phase_saving = 2
4.64/2.54 c (0,0) c fast_restart_speed = 125.000
4.64/2.54 c (0,0) c fast_restart_strategy = 1
4.64/2.54 c (0,0) c fast_lbd_restart_rate = 0.800
4.64/2.54 c (0,0) c fast_dec_restart_rate = 0.950
4.64/2.54 c (0,0) c fast_lbd_queue_size = 50
4.64/2.54 c (0,0) c fast_var_decay = 1.000
4.64/2.54 c (0,0) c fast_glue_threshold = 2
4.64/2.54 c (0,0) c fast_phase_saving = 2
4.64/2.54 c (0,0) c STATS
4.64/2.54 c (0,0) c stats_conf_size = 10000
4.64/2.54 c (0,0) c max_stats_size = 30
4.64/2.54 c (0,0) c SOLVER
4.64/2.54 c (0,0) c minisat = 0
4.64/2.54 c (0,0) c Problem: 308 variables, 1064 clauses, parsing 0.00 s
4.64/2.54 c (0,0) c reduced to 2 variables, 11 clauses (grow = 0)
4.64/2.54 c (0,0) c exclude 2 (100.0%) variables from decision variables (last cost 1)
4.64/2.54 c (0,0) c Simplification: 308 vars, 1053 clauses are eliminated using 0.00 s
4.64/2.54 c (0,0) c Solved by simplification
4.64/2.54 c (0,0) c
4.64/2.54 c (0,0) c variables : 0 (init 308, after simp 308, 2 non-decs, 0 csp)
4.64/2.54 c (0,0) c clauses : 11 (init 1064, after simp 1064)
4.64/2.54 c (0,0) c restarts : 18446744073709551615 (-nan confs/res, 18446744073709551615~0 confs, 0 blks, 0 last)
4.64/2.54 c (0,0) c conflicts : 0 (0 /sec, -nan% dconfs, -nan% supp, trail -nanw x -nanh, jmp -nanh)
4.64/2.54 c (0,0) c decisions : 0 (0.9500 vdcy, 0 /sec, -nan% bin, rs 0.000 s)
4.64/2.54 c (0,0) c propagations : 1 (461 /sec, inf lits/dec, 0.00% o.a.)
4.64/2.54 c (0,0) c conflict literals : 0 (-nan% deleted; -nan% by bin min, 0.000 s)
4.64/2.54 c (0,0) c len : -nan (-nan for all, max 0, used 0)
4.64/2.54 c (0,0) c lbd : -nan (-nan (-nan) for all, max 0, used 0, -nan stdev, -nan blk)
4.64/2.54 c (0,0) c amo : 0 (0 max, -nan avg, 0.000 s)
4.64/2.54 c (0,0) c simp dbs : 1 (0.000 s)
4.64/2.54 c (0,0) c reduce dbs : 0 (core-lbd 2, supp-lbd 2147483647, 0.000 s)
4.64/2.54 c (0,0) c learnts : 0 (0 learnts removed, -nan%)
4.64/2.54 c (0,0) c rewrite dbs : 0 (0/0 vars, 0+0 taut, 0+0 unit, 0.000 s)
4.64/2.54 c (0,0) c assigned lits : 0 (0/0 probed, 0 remains)
4.64/2.54 c (0,0) c premise updates : 0 (0.00 /lit)
4.64/2.54 c (0,0) c probed variables : 0 (0 pr, 0 eq, 0 fld, 0 pol, 0 nec, 0 cla, 0 amo)
4.64/2.54 c (0,0) c equiv variables : 0 (0 bin, 0 trn, 0 quat, 0 quin, 0 othr; 0 amo)
4.64/2.54 c (0,0) c lazy added bins : 0 (0 prop + 0 conf, 0.000s)
4.64/2.54 c (0,0) c unwatched lit elim: 0 (0.00+-nan%, 0+0 of 2800+0)
4.64/2.54 c (0,0) c classified type : undef
4.64/2.54 c (0,0) c progress : 100.000%
4.64/2.54 c (0,0) c
4.64/2.54 c (0,0) c [Statistics]
4.64/2.54 c (0,0) c learnts len learnts lbd lit blk size eq vars size
4.64/2.54 c (0,0) c tot 0 0 0 0
4.64/2.54 c (0,0) c avg -nan -nan -nan -nan
4.64/2.54 c (0,0) c 1 0 (-nan%) 0 (-nan%) 0 (-nan%) 0 (-nan%)
4.64/2.54 c (0,0) c 2 0 (-nan%) 0 (-nan%) 0 (-nan%) 0 (-nan%)
4.64/2.54 c (0,0) c 3 0 (-nan%) 0 (-nan%) 0 (-nan%) 0 (-nan%)
4.64/2.54 c (0,0) c 4 0 (-nan%) 0 (-nan%) 0 (-nan%) 0 (-nan%)
4.64/2.54 c (0,0) c 5 0 (-nan%) 0 (-nan%) 0 (-nan%) 0 (-nan%)
4.64/2.54 c (0,0) c 6 0 (-nan%) 0 (-nan%) 0 (-nan%) 0 (-nan%)
4.64/2.54 c (0,0) c 7 0 (-nan%) 0 (-nan%) 0 (-nan%) 0 (-nan%)
4.64/2.54 c (0,0) c 8 0 (-nan%) 0 (-nan%) 0 (-nan%) 0 (-nan%)
4.64/2.54 c (0,0) c 9 0 (-nan%) 0 (-nan%) 0 (-nan%) 0 (-nan%)
4.64/2.54 c (0,0) c 10 0 (-nan%) 0 (-nan%) 0 (-nan%) 0 (-nan%)
4.64/2.54 c (0,0) c 11 0 (-nan%) 0 (-nan%) 0 (-nan%) 0 (-nan%)
4.64/2.54 c (0,0) c 12 0 (-nan%) 0 (-nan%) 0 (-nan%) 0 (-nan%)
4.64/2.54 c (0,0) c 13 0 (-nan%) 0 (-nan%) 0 (-nan%) 0 (-nan%)
4.64/2.54 c (0,0) c 14 0 (-nan%) 0 (-nan%) 0 (-nan%) 0 (-nan%)
4.64/2.54 c (0,0) c 15 0 (-nan%) 0 (-nan%) 0 (-nan%) 0 (-nan%)
4.64/2.54 c (0,0) c 16 0 (-nan%) 0 (-nan%) 0 (-nan%) 0 (-nan%)
4.64/2.54 c (0,0) c 17 0 (-nan%) 0 (-nan%) 0 (-nan%) 0 (-nan%)
4.64/2.54 c (0,0) c 18 0 (-nan%) 0 (-nan%) 0 (-nan%) 0 (-nan%)
4.64/2.54 c (0,0) c 19 0 (-nan%) 0 (-nan%) 0 (-nan%) 0 (-nan%)
4.64/2.54 c (0,0) c 20 0 (-nan%) 0 (-nan%) 0 (-nan%) 0 (-nan%)
4.64/2.54 c (0,0) c 21 0 (-nan%) 0 (-nan%) 0 (-nan%) 0 (-nan%)
4.64/2.54 c (0,0) c 22 0 (-nan%) 0 (-nan%) 0 (-nan%) 0 (-nan%)
4.64/2.54 c (0,0) c 23 0 (-nan%) 0 (-nan%) 0 (-nan%) 0 (-nan%)
4.64/2.54 c (0,0) c 24 0 (-nan%) 0 (-nan%) 0 (-nan%) 0 (-nan%)
4.64/2.54 c (0,0) c 25 0 (-nan%) 0 (-nan%) 0 (-nan%) 0 (-nan%)
4.64/2.54 c (0,0) c 26 0 (-nan%) 0 (-nan%) 0 (-nan%) 0 (-nan%)
4.64/2.54 c (0,0) c 27 0 (-nan%) 0 (-nan%) 0 (-nan%) 0 (-nan%)
4.64/2.54 c (0,0) c 28 0 (-nan%) 0 (-nan%) 0 (-nan%) 0 (-nan%)
4.64/2.54 c (0,0) c 29 0 (-nan%) 0 (-nan%) 0 (-nan%) 0 (-nan%)
4.64/2.54 c (0,0) c 30 0 (-nan%) 0 (-nan%) 0 (-nan%) 0 (-nan%)
4.64/2.54 c (0,0) c
4.64/2.54 c (0,0) c [LBD Statistics]
4.64/2.54 c (0,0) c LBD used lbd used clause lbd unused clause lbd
4.64/2.54 c (0,0) c tot 0 0 0
4.64/2.54 c (0,0) c avg -nan -nan -nan
4.64/2.54 c (0,0) c
4.64/2.54 c (0,0) c Memory used : 20.00 MB
4.64/2.54 c (0,0) c CPU time : 0.002 s
4.64/2.54 c (0,0) c Real time : 0.003 s
4.64/2.54 c (0,0) c
4.64/2.54 c (0,0) s UNSATISFIABLE
4.64/2.57 c (0,0) SatSolver.solve End
4.64/2.57 c (0,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
4.64/2.57 c (0,0) Show results Begin
4.64/2.57 s UNSATISFIABLE
4.64/2.57 c (0,0) Show results End
4.64/2.57 c (0,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
4.64/2.57 c (0,0) 0,0,STOP-AFTER(ALL)
4.64/2.57 c END-Prog: Thu Sep 12 14:34:32 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 (11896 MiB free)
memory of node 1: 16384 MiB (12309 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4387857-1568291711/watcher-4387857-1568291711 -o /tmp/evaluation-result-4387857-1568291711/solver-4387857-1568291711 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node137-1568286693-10212 --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-4387857-1568291711.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=11451, runsolver pid=11448
[startup+0.100124 s]*
/proc/loadavg: 2.01 2.02 2.05 3/234 11468
/proc/meminfo: memFree=24726548/32770624 swapFree=66927092/67108860
[pid=11451] ppid=11448 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/11451/stat : 11451 (scop.sh) S 11448 11451 8795 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 405418513 115843072 349 33554432000 4194304 5098028 140733923239088 140733923236344 139894659666556 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 10682368 140733923246888 140733923247216 140733923247216 140733923250125 0
/proc/11451/statm: 28282 349 296 221 0 87 0
[pid=11454] ppid=11451 vsize=15012696 memory=72400 CPUtime=0.12 cores=0,2,4,6
/proc/11454/stat : 11454 (java) S 11451 11451 8795 0 -1 1077944320 6874 0 0 0 10 2 0 0 20 0 15 0 405418514 15373000704 18100 33554432000 4194304 4196468 140721612055600 140721612038144 140281252646647 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 10354688 140721612063470 140721612063898 140721612063898 140721612066767 0
/proc/11454/statm: 3753174 18100 2890 1 0 3715579 0
[pid=11454/tid=11455] ppid=11451 vsize=15012696 memory=-6221578594132737991 CPUtime=0.09 cores=0,2,4,6
/proc/11454/task/11455/stat : 11455 (java) R 11451 11451 8795 0 -1 4202560 4784 0 0 0 7 2 0 0 20 0 15 0 405418514 15373000704 18166 33554432000 4194304 4196468 140721612055600 140281224440552 140281232914060 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10354688 140721612063470 140721612063898 140721612063898 140721612066767 0
[pid=11454/tid=11456] ppid=11451 vsize=15012696 memory=4206468019014099040 CPUtime=0 cores=0,2,4,6
/proc/11454/task/11456/stat : 11456 (java) S 11451 11451 8795 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405418516 15373000704 18166 33554432000 4194304 4196468 140721612055600 140281256888720 140281252656853 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10354688 140721612063470 140721612063898 140721612063898 140721612066767 0
[pid=11454/tid=11457] ppid=11451 vsize=15012696 memory=140593592170112 CPUtime=0 cores=0,2,4,6
/proc/11454/task/11457/stat : 11457 (java) S 11451 11451 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405418516 15373000704 18166 33554432000 4194304 4196468 140721612055600 140280713259280 140281252656853 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10354688 140721612063470 140721612063898 140721612063898 140721612066767 0
[pid=11454/tid=11458] ppid=11451 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11454/task/11458/stat : 11458 (java) S 11451 11451 8795 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405418516 15373000704 18166 33554432000 4194304 4196468 140721612055600 140280712206992 140281252656853 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10354688 140721612063470 140721612063898 140721612063898 140721612066767 0
[pid=11454/tid=11459] ppid=11451 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11454/task/11459/stat : 11459 (java) S 11451 11451 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405418516 15373000704 18166 33554432000 4194304 4196468 140721612055600 140280711154192 140281252656853 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10354688 140721612063470 140721612063898 140721612063898 140721612066767 0
[pid=11454/tid=11460] ppid=11451 vsize=15012696 memory=140593592170112 CPUtime=0 cores=0,2,4,6
/proc/11454/task/11460/stat : 11460 (java) S 11451 11451 8795 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405418517 15373000704 18166 33554432000 4194304 4196468 140721612055600 140280290241136 140281252657794 0 0 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10354688 140721612063470 140721612063898 140721612063898 140721612066767 0
[pid=11454/tid=11461] ppid=11451 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11454/task/11461/stat : 11461 (java) S 11451 11451 8795 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405418518 15373000704 18166 33554432000 4194304 4196468 140721612055600 140279805895968 140281252656853 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10354688 140721612063470 140721612063898 140721612063898 140721612066767 0
[pid=11454/tid=11462] ppid=11451 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11454/task/11462/stat : 11462 (java) S 11451 11451 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405418518 15373000704 18166 33554432000 4194304 4196468 140721612055600 140279537460848 140281252656853 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10354688 140721612063470 140721612063898 140721612063898 140721612066767 0
[pid=11454/tid=11463] ppid=11451 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11454/task/11463/stat : 11463 (java) S 11451 11451 8795 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405418520 15373000704 18166 33554432000 4194304 4196468 140721612055600 140279162952272 140281252665243 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10354688 140721612063470 140721612063898 140721612063898 140721612066767 0
[pid=11454/tid=11464] ppid=11451 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11454/task/11464/stat : 11464 (java) S 11451 11451 8795 0 -1 1077944384 300 0 0 0 0 0 0 0 20 0 15 0 405418520 15373000704 18166 33554432000 4194304 4196468 140721612055600 140280289187952 140281252657794 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10354688 140721612063470 140721612063898 140721612063898 140721612066767 0
[pid=11454/tid=11465] ppid=11451 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11454/task/11465/stat : 11465 (java) S 11451 11451 8795 0 -1 1077944384 132 0 0 0 0 0 0 0 20 0 15 0 405418520 15373000704 18166 33554432000 4194304 4196468 140721612055600 140280288135152 140281252657794 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10354688 140721612063470 140721612063898 140721612063898 140721612066767 0
[pid=11454/tid=11466] ppid=11451 vsize=15012696 memory=140593592170112 CPUtime=0.01 cores=0,2,4,6
/proc/11454/task/11466/stat : 11466 (java) R 11451 11451 8795 0 -1 4202560 446 0 0 0 1 0 0 0 20 0 15 0 405418520 15373000704 18166 33554432000 4194304 4196468 140721612055600 140280287080072 140281252658582 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10354688 140721612063470 140721612063898 140721612063898 140721612066767 0
[pid=11454/tid=11467] ppid=11451 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11454/task/11467/stat : 11467 (java) S 11451 11451 8795 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405418520 15373000704 18166 33554432000 4194304 4196468 140721612055600 140278665046496 140281252656853 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10354688 140721612063470 140721612063898 140721612063898 140721612066767 0
[pid=11454/tid=11468] ppid=11451 vsize=15012696 memory=140593592170112 CPUtime=0 cores=0,2,4,6
/proc/11454/task/11468/stat : 11468 (java) S 11451 11451 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405418521 15373000704 18166 33554432000 4194304 4196468 140721612055600 140280286030768 140281252657794 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10354688 140721612063470 140721612063898 140721612063898 140721612066767 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 73796 KiB
[startup+0.21101 s]*
/proc/loadavg: 2.01 2.02 2.05 3/234 11468
/proc/meminfo: memFree=24706824/32770624 swapFree=66927092/67108860
[pid=11451] ppid=11448 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/11451/stat : 11451 (scop.sh) S 11448 11451 8795 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 405418513 115843072 349 33554432000 4194304 5098028 140733923239088 140733923236344 139894659666556 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 10682368 140733923246888 140733923247216 140733923247216 140733923250125 0
/proc/11451/statm: 28282 349 296 221 0 87 0
[pid=11454] ppid=11451 vsize=15012696 memory=87988 CPUtime=0.25 cores=0,2,4,6
/proc/11454/stat : 11454 (java) S 11451 11451 8795 0 -1 1077944320 12082 0 0 0 21 4 0 0 20 0 15 0 405418514 15373000704 21997 33554432000 4194304 4196468 140721612055600 140721612038144 140281252646647 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 10354688 140721612063470 140721612063898 140721612063898 140721612066767 0
/proc/11454/statm: 3753174 21997 2946 1 0 3715579 0
[pid=11454/tid=11455] ppid=11451 vsize=15012696 memory=7022364632946311227 CPUtime=0.19 cores=0,2,4,6
/proc/11454/task/11455/stat : 11455 (java) R 11451 11451 8795 0 -1 4202560 9824 0 0 0 16 3 0 0 20 0 15 0 405418514 15373000704 21997 33554432000 4194304 4196468 140721612055600 140281224446032 140281236727134 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10354688 140721612063470 140721612063898 140721612063898 140721612066767 0
[pid=11454/tid=11456] ppid=11451 vsize=15012696 memory=540 CPUtime=0 cores=0,2,4,6
/proc/11454/task/11456/stat : 11456 (java) S 11451 11451 8795 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405418516 15373000704 21997 33554432000 4194304 4196468 140721612055600 140281256888720 140281252656853 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10354688 140721612063470 140721612063898 140721612063898 140721612066767 0
[pid=11454/tid=11457] ppid=11451 vsize=15012696 memory=140593595105777 CPUtime=0 cores=0,2,4,6
/proc/11454/task/11457/stat : 11457 (java) S 11451 11451 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405418516 15373000704 21997 33554432000 4194304 4196468 140721612055600 140280713259280 140281252656853 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10354688 140721612063470 140721612063898 140721612063898 140721612066767 0
[pid=11454/tid=11458] ppid=11451 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11454/task/11458/stat : 11458 (java) S 11451 11451 8795 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405418516 15373000704 21997 33554432000 4194304 4196468 140721612055600 140280712206992 140281252656853 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10354688 140721612063470 140721612063898 140721612063898 140721612066767 0
[pid=11454/tid=11459] ppid=11451 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11454/task/11459/stat : 11459 (java) S 11451 11451 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405418516 15373000704 21997 33554432000 4194304 4196468 140721612055600 140280711154192 140281252656853 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10354688 140721612063470 140721612063898 140721612063898 140721612066767 0
[pid=11454/tid=11460] ppid=11451 vsize=15012696 memory=140593592170112 CPUtime=0 cores=0,2,4,6
/proc/11454/task/11460/stat : 11460 (java) S 11451 11451 8795 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405418517 15373000704 21997 33554432000 4194304 4196468 140721612055600 140280290241136 140281252657794 0 0 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10354688 140721612063470 140721612063898 140721612063898 140721612066767 0
[pid=11454/tid=11461] ppid=11451 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11454/task/11461/stat : 11461 (java) S 11451 11451 8795 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405418518 15373000704 21997 33554432000 4194304 4196468 140721612055600 140279805895968 140281252656853 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10354688 140721612063470 140721612063898 140721612063898 140721612066767 0
[pid=11454/tid=11462] ppid=11451 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11454/task/11462/stat : 11462 (java) S 11451 11451 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405418518 15373000704 21997 33554432000 4194304 4196468 140721612055600 140279537460848 140281252656853 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10354688 140721612063470 140721612063898 140721612063898 140721612066767 0
[pid=11454/tid=11463] ppid=11451 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11454/task/11463/stat : 11463 (java) S 11451 11451 8795 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405418520 15373000704 21997 33554432000 4194304 4196468 140721612055600 140279162952272 140281252665243 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10354688 140721612063470 140721612063898 140721612063898 140721612066767 0
[pid=11454/tid=11464] ppid=11451 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11454/task/11464/stat : 11464 (java) S 11451 11451 8795 0 -1 1077944384 300 0 0 0 0 0 0 0 20 0 15 0 405418520 15373000704 21997 33554432000 4194304 4196468 140721612055600 140280289187952 140281252657794 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10354688 140721612063470 140721612063898 140721612063898 140721612066767 0
[pid=11454/tid=11465] ppid=11451 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11454/task/11465/stat : 11465 (java) S 11451 11451 8795 0 -1 1077944384 175 0 0 0 0 0 0 0 20 0 15 0 405418520 15373000704 21997 33554432000 4194304 4196468 140721612055600 140280288135152 140281252657794 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10354688 140721612063470 140721612063898 140721612063898 140721612066767 0
[pid=11454/tid=11466] ppid=11451 vsize=15012696 memory=140593592170112 CPUtime=0.02 cores=0,2,4,6
/proc/11454/task/11466/stat : 11466 (java) R 11451 11451 8795 0 -1 4202560 460 0 0 0 2 0 0 0 20 0 15 0 405418520 15373000704 21997 33554432000 4194304 4196468 140721612055600 140280287082864 140281252667994 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10354688 140721612063470 140721612063898 140721612063898 140721612066767 0
[pid=11454/tid=11467] ppid=11451 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11454/task/11467/stat : 11467 (java) S 11451 11451 8795 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405418520 15373000704 21997 33554432000 4194304 4196468 140721612055600 140278665046496 140281252656853 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10354688 140721612063470 140721612063898 140721612063898 140721612066767 0
[pid=11454/tid=11468] ppid=11451 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11454/task/11468/stat : 11468 (java) S 11451 11451 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405418521 15373000704 21997 33554432000 4194304 4196468 140721612055600 140280286030768 140281252657794 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10354688 140721612063470 140721612063898 140721612063898 140721612066767 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 89384 KiB
[startup+0.310733 s]*
/proc/loadavg: 2.01 2.02 2.05 3/234 11468
/proc/meminfo: memFree=24704156/32770624 swapFree=66927092/67108860
[pid=11451] ppid=11448 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/11451/stat : 11451 (scop.sh) S 11448 11451 8795 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 405418513 115843072 349 33554432000 4194304 5098028 140733923239088 140733923236344 139894659666556 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 10682368 140733923246888 140733923247216 140733923247216 140733923250125 0
/proc/11451/statm: 28282 349 296 221 0 87 0
[pid=11454] ppid=11451 vsize=15012696 memory=92296 CPUtime=0.43 cores=0,2,4,6
/proc/11454/stat : 11454 (java) S 11451 11451 8795 0 -1 1077944320 12581 0 0 0 39 4 0 0 20 0 15 0 405418514 15373000704 23074 33554432000 4194304 4196468 140721612055600 140721612038144 140281252646647 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 10354688 140721612063470 140721612063898 140721612063898 140721612066767 0
/proc/11454/statm: 3753174 23074 3072 1 0 3715579 0
[pid=11454/tid=11455] ppid=11451 vsize=15012696 memory=6791534058613427641 CPUtime=0.3 cores=0,2,4,6
/proc/11454/task/11455/stat : 11455 (java) R 11451 11451 8795 0 -1 4202560 10127 0 0 0 26 4 0 0 20 0 15 0 405418514 15373000704 23074 33554432000 4194304 4196468 140721612055600 140281224462128 140281234210203 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10354688 140721612063470 140721612063898 140721612063898 140721612066767 0
[pid=11454/tid=11456] ppid=11451 vsize=15012696 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/11454/task/11456/stat : 11456 (java) S 11451 11451 8795 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405418516 15373000704 23074 33554432000 4194304 4196468 140721612055600 140281256888720 140281252656853 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10354688 140721612063470 140721612063898 140721612063898 140721612066767 0
[pid=11454/tid=11457] ppid=11451 vsize=15012696 memory=-5587046532246807594 CPUtime=0 cores=0,2,4,6
/proc/11454/task/11457/stat : 11457 (java) S 11451 11451 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405418516 15373000704 23074 33554432000 4194304 4196468 140721612055600 140280713259280 140281252656853 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10354688 140721612063470 140721612063898 140721612063898 140721612066767 0
[pid=11454/tid=11458] ppid=11451 vsize=15012696 memory=7379517702019849078 CPUtime=0 cores=0,2,4,6
/proc/11454/task/11458/stat : 11458 (java) S 11451 11451 8795 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405418516 15373000704 23074 33554432000 4194304 4196468 140721612055600 140280712206992 140281252656853 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10354688 140721612063470 140721612063898 140721612063898 140721612066767 0
[pid=11454/tid=11459] ppid=11451 vsize=15012696 memory=7016714186490735262 CPUtime=0 cores=0,2,4,6
/proc/11454/task/11459/stat : 11459 (java) S 11451 11451 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405418516 15373000704 23074 33554432000 4194304 4196468 140721612055600 140280711154192 140281252656853 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10354688 140721612063470 140721612063898 140721612063898 140721612066767 0
[pid=11454/tid=11460] ppid=11451 vsize=15012696 memory=4498404016631593313 CPUtime=0 cores=0,2,4,6
/proc/11454/task/11460/stat : 11460 (java) S 11451 11451 8795 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405418517 15373000704 23074 33554432000 4194304 4196468 140721612055600 140280290241136 140281252657794 0 0 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10354688 140721612063470 140721612063898 140721612063898 140721612066767 0
[pid=11454/tid=11461] ppid=11451 vsize=15012696 memory=-6519613052471072158 CPUtime=0 cores=0,2,4,6
/proc/11454/task/11461/stat : 11461 (java) S 11451 11451 8795 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405418518 15373000704 23074 33554432000 4194304 4196468 140721612055600 140279805895968 140281252656853 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10354688 140721612063470 140721612063898 140721612063898 140721612066767 0
[pid=11454/tid=11462] ppid=11451 vsize=15012696 memory=7827413994055111515 CPUtime=0 cores=0,2,4,6
/proc/11454/task/11462/stat : 11462 (java) S 11451 11451 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405418518 15373000704 23074 33554432000 4194304 4196468 140721612055600 140279537460848 140281252656853 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10354688 140721612063470 140721612063898 140721612063898 140721612066767 0
[pid=11454/tid=11463] ppid=11451 vsize=15012696 memory=8508281356422055839 CPUtime=0 cores=0,2,4,6
/proc/11454/task/11463/stat : 11463 (java) S 11451 11451 8795 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405418520 15373000704 23074 33554432000 4194304 4196468 140721612055600 140279162952272 140281252665243 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10354688 140721612063470 140721612063898 140721612063898 140721612066767 0
[pid=11454/tid=11464] ppid=11451 vsize=15012696 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/11454/task/11464/stat : 11464 (java) S 11451 11451 8795 0 -1 1077944384 408 0 0 0 2 0 0 0 20 0 15 0 405418520 15373000704 23074 33554432000 4194304 4196468 140721612055600 140280289187952 140281252657794 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10354688 140721612063470 140721612063898 140721612063898 140721612066767 0
[pid=11454/tid=11465] ppid=11451 vsize=15012696 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/11454/task/11465/stat : 11465 (java) S 11451 11451 8795 0 -1 1077944384 208 0 0 0 1 0 0 0 20 0 15 0 405418520 15373000704 23074 33554432000 4194304 4196468 140721612055600 140280288135152 140281252657794 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10354688 140721612063470 140721612063898 140721612063898 140721612066767 0
[pid=11454/tid=11466] ppid=11451 vsize=15012696 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/11454/task/11466/stat : 11466 (java) S 11451 11451 8795 0 -1 1077944384 506 0 0 0 7 0 0 0 20 0 15 0 405418520 15373000704 23074 33554432000 4194304 4196468 140721612055600 140280287082864 140281252657794 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10354688 140721612063470 140721612063898 140721612063898 140721612066767 0
[pid=11454/tid=11467] ppid=11451 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11454/task/11467/stat : 11467 (java) S 11451 11451 8795 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405418520 15373000704 23074 33554432000 4194304 4196468 140721612055600 140278665046496 140281252656853 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10354688 140721612063470 140721612063898 140721612063898 140721612066767 0
[pid=11454/tid=11468] ppid=11451 vsize=15012696 memory=3833184722636256304 CPUtime=0 cores=0,2,4,6
/proc/11454/task/11468/stat : 11468 (java) S 11451 11451 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405418521 15373000704 23074 33554432000 4194304 4196468 140721612055600 140280286030768 140281252657794 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10354688 140721612063470 140721612063898 140721612063898 140721612066767 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 93692 KiB
[startup+0.700793 s]
/proc/loadavg: 2.01 2.02 2.05 4/234 11468
/proc/meminfo: memFree=24678036/32770624 swapFree=66927092/67108860
[pid=11451] ppid=11448 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/11451/stat : 11451 (scop.sh) S 11448 11451 8795 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 405418513 115843072 349 33554432000 4194304 5098028 140733923239088 140733923236344 139894659666556 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 10682368 140733923246888 140733923247216 140733923247216 140733923250125 0
/proc/11451/statm: 28282 349 296 221 0 87 0
[pid=11454] ppid=11451 vsize=15018968 memory=126960 CPUtime=0.98 cores=0,2,4,6
/proc/11454/stat : 11454 (java) S 11451 11451 8795 0 -1 1077944320 20054 0 0 0 90 8 0 0 20 0 15 0 405418514 15379423232 31740 33554432000 4194304 4196468 140721612055600 140721612038144 140281252646647 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 10354688 140721612063470 140721612063898 140721612063898 140721612066767 0
/proc/11454/statm: 3754742 31740 3183 1 0 3716091 0
[pid=11454/tid=11455] ppid=11451 vsize=15018968 memory=0 CPUtime=0.67 cores=0,2,4,6
/proc/11454/task/11455/stat : 11455 (java) R 11451 11451 8795 0 -1 4202560 17218 0 0 0 61 6 0 0 20 0 15 0 405418514 15379423232 31740 33554432000 4194304 4196468 140721612055600 140281224479216 140281252668573 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10354688 140721612063470 140721612063898 140721612063898 140721612066767 0
[pid=11454/tid=11456] ppid=11451 vsize=15018968 memory=5252745004214 CPUtime=0 cores=0,2,4,6
/proc/11454/task/11456/stat : 11456 (java) S 11451 11451 8795 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405418516 15379423232 31740 33554432000 4194304 4196468 140721612055600 140281256888720 140281252656853 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10354688 140721612063470 140721612063898 140721612063898 140721612066767 0
[pid=11454/tid=11457] ppid=11451 vsize=15018968 memory=288230596050944315 CPUtime=0 cores=0,2,4,6
/proc/11454/task/11457/stat : 11457 (java) S 11451 11451 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405418516 15379423232 31740 33554432000 4194304 4196468 140721612055600 140280713259280 140281252656853 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10354688 140721612063470 140721612063898 140721612063898 140721612066767 0
[pid=11454/tid=11458] ppid=11451 vsize=15018968 memory=14690799036142200 CPUtime=0 cores=0,2,4,6
/proc/11454/task/11458/stat : 11458 (java) S 11451 11451 8795 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405418516 15379423232 31740 33554432000 4194304 4196468 140721612055600 140280712206992 140281252656853 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10354688 140721612063470 140721612063898 140721612063898 140721612066767 0
[pid=11454/tid=11459] ppid=11451 vsize=15018968 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11454/task/11459/stat : 11459 (java) S 11451 11451 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405418516 15379423232 31740 33554432000 4194304 4196468 140721612055600 140280711154192 140281252656853 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10354688 140721612063470 140721612063898 140721612063898 140721612066767 0
[pid=11454/tid=11460] ppid=11451 vsize=15018968 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11454/task/11460/stat : 11460 (java) S 11451 11451 8795 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 405418517 15379423232 31740 33554432000 4194304 4196468 140721612055600 140280290241136 140281252657794 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10354688 140721612063470 140721612063898 140721612063898 140721612066767 0
[pid=11454/tid=11461] ppid=11451 vsize=15018968 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11454/task/11461/stat : 11461 (java) S 11451 11451 8795 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405418518 15379423232 31740 33554432000 4194304 4196468 140721612055600 140279805895968 140281252656853 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10354688 140721612063470 140721612063898 140721612063898 140721612066767 0
[pid=11454/tid=11462] ppid=11451 vsize=15018968 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11454/task/11462/stat : 11462 (java) S 11451 11451 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405418518 15379423232 31740 33554432000 4194304 4196468 140721612055600 140279537460848 140281252656853 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10354688 140721612063470 140721612063898 140721612063898 140721612066767 0
[pid=11454/tid=11463] ppid=11451 vsize=15018968 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11454/task/11463/stat : 11463 (java) S 11451 11451 8795 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405418520 15379423232 31740 33554432000 4194304 4196468 140721612055600 140279162952272 140281252665243 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10354688 140721612063470 140721612063898 140721612063898 140721612066767 0
[pid=11454/tid=11464] ppid=11451 vsize=15018968 memory=0 CPUtime=0.06 cores=0,2,4,6
/proc/11454/task/11464/stat : 11464 (java) S 11451 11451 8795 0 -1 1077944384 489 0 0 0 6 0 0 0 20 0 15 0 405418520 15379423232 31740 33554432000 4194304 4196468 140721612055600 140280289187952 140281252657794 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10354688 140721612063470 140721612063898 140721612063898 140721612066767 0
[pid=11454/tid=11465] ppid=11451 vsize=15018968 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/11454/task/11465/stat : 11465 (java) R 11451 11451 8795 0 -1 4202560 443 0 0 0 7 0 0 0 20 0 15 0 405418520 15379423232 31740 33554432000 4194304 4196468 140721612055600 140280288135152 140281237040527 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10354688 140721612063470 140721612063898 140721612063898 140721612066767 0
[pid=11454/tid=11466] ppid=11451 vsize=15018968 memory=0 CPUtime=0.14 cores=0,2,4,6
/proc/11454/task/11466/stat : 11466 (java) S 11451 11451 8795 0 -1 1077944384 568 0 0 0 14 0 0 0 20 0 15 0 405418520 15379423232 31740 33554432000 4194304 4196468 140721612055600 140280287082864 140281252657794 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10354688 140721612063470 140721612063898 140721612063898 140721612066767 0
[pid=11454/tid=11467] ppid=11451 vsize=15018968 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11454/task/11467/stat : 11467 (java) S 11451 11451 8795 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405418520 15379423232 31740 33554432000 4194304 4196468 140721612055600 140278665046496 140281252656853 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10354688 140721612063470 140721612063898 140721612063898 140721612066767 0
[pid=11454/tid=11468] ppid=11451 vsize=15018968 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11454/task/11468/stat : 11468 (java) S 11451 11451 8795 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405418521 15379423232 31740 33554432000 4194304 4196468 140721612055600 140280286030768 140281252657794 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10354688 140721612063470 140721612063898 140721612063898 140721612066767 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 15132096 KiB
Current children cumulated memory: 128356 KiB
[startup+1.5026 s]
/proc/loadavg: 2.09 2.04 2.05 3/234 11468
/proc/meminfo: memFree=24654900/32770624 swapFree=66927092/67108860
[pid=11451] ppid=11448 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/11451/stat : 11451 (scop.sh) S 11448 11451 8795 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 405418513 115843072 349 33554432000 4194304 5098028 140733923239088 140733923236344 139894659666556 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 10682368 140733923246888 140733923247216 140733923247216 140733923250125 0
/proc/11451/statm: 28282 349 296 221 0 87 0
################
# More data... #
################
/proc/11451/stat : 11451 (scop.sh) S 11448 11451 8795 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 405418513 115843072 349 33554432000 4194304 5098028 140733923239088 140733923236344 139894659666556 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 10682368 140733923246888 140733923247216 140733923247216 140733923250125 0
/proc/11451/statm: 28282 349 296 221 0 87 0
[pid=11454] ppid=11451 vsize=15027304 memory=183656 CPUtime=3.16 cores=0,2,4,6
/proc/11454/stat : 11454 (java) S 11451 11451 8795 0 -1 1077944320 24627 0 0 0 306 10 0 0 20 0 15 0 405418514 15387959296 45914 33554432000 4194304 4196468 140721612055600 140721612038144 140281252646647 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 10354688 140721612063470 140721612063898 140721612063898 140721612066767 0
/proc/11454/statm: 3756826 45914 3259 1 0 3717627 0
[pid=11454/tid=11455] ppid=11451 vsize=15027304 memory=1396 CPUtime=1.57 cores=0,2,4,6
/proc/11454/task/11455/stat : 11455 (java) R 11451 11451 8795 0 -1 4202560 19055 0 0 0 150 7 0 0 20 0 15 0 405418514 15387959296 45914 33554432000 4194304 4196468 140721612055600 140281224484912 140281252658582 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10354688 140721612063470 140721612063898 140721612063898 140721612066767 0
[pid=11454/tid=11456] ppid=11451 vsize=15027304 memory=143772 CPUtime=0 cores=0,2,4,6
/proc/11454/task/11456/stat : 11456 (java) S 11451 11451 8795 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405418516 15387959296 45914 33554432000 4194304 4196468 140721612055600 140281256888720 140281252656853 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10354688 140721612063470 140721612063898 140721612063898 140721612066767 0
[pid=11454/tid=11457] ppid=11451 vsize=15027304 memory=281186945553984 CPUtime=0 cores=0,2,4,6
/proc/11454/task/11457/stat : 11457 (java) S 11451 11451 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405418516 15387959296 45914 33554432000 4194304 4196468 140721612055600 140280713259280 140281252656853 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10354688 140721612063470 140721612063898 140721612063898 140721612066767 0
[pid=11454/tid=11458] ppid=11451 vsize=15027304 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11454/task/11458/stat : 11458 (java) S 11451 11451 8795 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405418516 15387959296 45914 33554432000 4194304 4196468 140721612055600 140280712206992 140281252656853 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10354688 140721612063470 140721612063898 140721612063898 140721612066767 0
[pid=11454/tid=11459] ppid=11451 vsize=15027304 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11454/task/11459/stat : 11459 (java) S 11451 11451 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405418516 15387959296 45914 33554432000 4194304 4196468 140721612055600 140280711154192 140281252656853 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10354688 140721612063470 140721612063898 140721612063898 140721612066767 0
[pid=11454/tid=11460] ppid=11451 vsize=15027304 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11454/task/11460/stat : 11460 (java) S 11451 11451 8795 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 405418517 15387959296 45914 33554432000 4194304 4196468 140721612055600 140280290241136 140281252657794 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10354688 140721612063470 140721612063898 140721612063898 140721612066767 0
[pid=11454/tid=11461] ppid=11451 vsize=15027304 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11454/task/11461/stat : 11461 (java) S 11451 11451 8795 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405418518 15387959296 45914 33554432000 4194304 4196468 140721612055600 140279805895968 140281252656853 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10354688 140721612063470 140721612063898 140721612063898 140721612066767 0
[pid=11454/tid=11462] ppid=11451 vsize=15027304 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11454/task/11462/stat : 11462 (java) S 11451 11451 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405418518 15387959296 45914 33554432000 4194304 4196468 140721612055600 140279537460848 140281252656853 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10354688 140721612063470 140721612063898 140721612063898 140721612066767 0
[pid=11454/tid=11463] ppid=11451 vsize=15027304 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11454/task/11463/stat : 11463 (java) S 11451 11451 8795 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405418520 15387959296 45914 33554432000 4194304 4196468 140721612055600 140279162952272 140281252665243 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10354688 140721612063470 140721612063898 140721612063898 140721612066767 0
[pid=11454/tid=11464] ppid=11451 vsize=15027304 memory=0 CPUtime=0.45 cores=0,2,4,6
/proc/11454/task/11464/stat : 11464 (java) R 11451 11451 8795 0 -1 4202560 1392 0 0 0 45 0 0 0 20 0 15 0 405418520 15387959296 45914 33554432000 4194304 4196468 140721612055600 140280289173832 140281232339747 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10354688 140721612063470 140721612063898 140721612063898 140721612066767 0
[pid=11454/tid=11465] ppid=11451 vsize=15027304 memory=0 CPUtime=0.43 cores=0,2,4,6
/proc/11454/task/11465/stat : 11465 (java) R 11451 11451 8795 0 -1 4202560 778 0 0 0 43 0 0 0 20 0 15 0 405418520 15387959296 45914 33554432000 4194304 4196468 140721612055600 140280288119104 140281252667994 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10354688 140721612063470 140721612063898 140721612063898 140721612066767 0
[pid=11454/tid=11466] ppid=11451 vsize=15027304 memory=0 CPUtime=0.66 cores=0,2,4,6
/proc/11454/task/11466/stat : 11466 (java) R 11451 11451 8795 0 -1 1077944384 2066 0 0 0 66 0 0 0 20 0 15 0 405418520 15387959296 45914 33554432000 4194304 4196468 140721612055600 140280287082864 140281252657794 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10354688 140721612063470 140721612063898 140721612063898 140721612066767 0
[pid=11454/tid=11467] ppid=11451 vsize=15027304 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11454/task/11467/stat : 11467 (java) S 11451 11451 8795 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405418520 15387959296 45914 33554432000 4194304 4196468 140721612055600 140278665046496 140281252656853 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10354688 140721612063470 140721612063898 140721612063898 140721612066767 0
[pid=11454/tid=11468] ppid=11451 vsize=15027304 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11454/task/11468/stat : 11468 (java) S 11451 11451 8795 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405418521 15387959296 45914 33554432000 4194304 4196468 140721612055600 140280286030768 140281252657794 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10354688 140721612063470 140721612063898 140721612063898 140721612066767 0
Current children cumulated CPU time: 3.16 s
Current children cumulated vsize: 15140432 KiB
Current children cumulated memory: 185052 KiB
[startup+2.00093 s]*
/proc/loadavg: 2.09 2.04 2.05 3/235 11485
/proc/meminfo: memFree=24736980/32770624 swapFree=66927092/67108860
[pid=11451] ppid=11448 vsize=113128 memory=1476 CPUtime=3.64 cores=0,2,4,6
/proc/11451/stat : 11451 (scop.sh) S 11448 11451 8795 0 -1 4202496 584 25991 0 0 0 0 353 11 20 0 1 0 405418513 115843072 369 33554432000 4194304 5098028 140733923239088 140733923235832 139894659666556 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 10682368 140733923246888 140733923247216 140733923247216 140733923250125 0
/proc/11451/statm: 28282 369 311 221 0 87 0
[pid=11469] ppid=11451 vsize=7404500 memory=59636 CPUtime=0.32 cores=0,2,4,6
/proc/11469/stat : 11469 (java) S 11451 11451 8795 0 -1 1077944320 11545 0 0 0 29 3 0 0 20 0 15 0 405418692 7582208000 14909 33554432000 4194304 4196468 140735519308384 140735519290928 140560954339063 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 8224768 140735519310843 140735519311002 140735519311002 140735519313871 0
/proc/11469/statm: 1851125 14909 3032 1 0 1813530 0
[pid=11469/tid=11470] ppid=11451 vsize=7404500 memory=6791534058613427641 CPUtime=0.21 cores=0,2,4,6
/proc/11469/task/11470/stat : 11470 (java) R 11451 11451 8795 0 -1 4202560 9243 0 0 0 19 2 0 0 20 0 15 0 405418692 7582208000 14909 33554432000 4194304 4196468 140735519308384 140560926166240 140560938419550 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8224768 140735519310843 140735519311002 140735519311002 140735519313871 0
[pid=11469/tid=11471] ppid=11451 vsize=7404500 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/11469/task/11471/stat : 11471 (java) S 11451 11451 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405418693 7582208000 14909 33554432000 4194304 4196468 140735519308384 140560958581264 140560954349269 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8224768 140735519310843 140735519311002 140735519311002 140735519313871 0
[pid=11469/tid=11472] ppid=11451 vsize=7404500 memory=134820 CPUtime=0 cores=0,2,4,6
/proc/11469/task/11472/stat : 11472 (java) S 11451 11451 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405418693 7582208000 14909 33554432000 4194304 4196468 140735519308384 140560791960208 140560954349269 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8224768 140735519310843 140735519311002 140735519311002 140735519313871 0
[pid=11469/tid=11473] ppid=11451 vsize=7404500 memory=2241 CPUtime=0 cores=0,2,4,6
/proc/11469/task/11473/stat : 11473 (java) S 11451 11451 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405418693 7582208000 14909 33554432000 4194304 4196468 140735519308384 140560438733072 140560954349269 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8224768 140735519310843 140735519311002 140735519311002 140735519313871 0
[pid=11469/tid=11474] ppid=11451 vsize=7404500 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/11469/task/11474/stat : 11474 (java) S 11451 11451 8795 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405418693 7582208000 14909 33554432000 4194304 4196468 140735519308384 140560437680528 140560954349269 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8224768 140735519310843 140735519311002 140735519311002 140735519313871 0
[pid=11469/tid=11475] ppid=11451 vsize=7404500 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11469/task/11475/stat : 11475 (java) S 11451 11451 8795 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405418694 7582208000 14909 33554432000 4194304 4196468 140735519308384 140560400775920 140560954350210 0 0 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8224768 140735519310843 140735519311002 140735519311002 140735519313871 0
[pid=11469/tid=11476] ppid=11451 vsize=7404500 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11469/task/11476/stat : 11476 (java) S 11451 11451 8795 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405418695 7582208000 14909 33554432000 4194304 4196468 140735519308384 140559784076960 140560954349269 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8224768 140735519310843 140735519311002 140735519311002 140735519313871 0
[pid=11469/tid=11477] ppid=11451 vsize=7404500 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11469/task/11477/stat : 11477 (java) S 11451 11451 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405418695 7582208000 14909 33554432000 4194304 4196468 140735519308384 140559515641072 140560954349269 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8224768 140735519310843 140735519311002 140735519311002 140735519313871 0
[pid=11469/tid=11478] ppid=11451 vsize=7404500 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11469/task/11478/stat : 11478 (java) S 11451 11451 8795 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405418698 7582208000 14909 33554432000 4194304 4196468 140735519308384 140559141132752 140560954357659 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8224768 140735519310843 140735519311002 140735519311002 140735519313871 0
[pid=11469/tid=11479] ppid=11451 vsize=7404500 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/11469/task/11479/stat : 11479 (java) S 11451 11451 8795 0 -1 1077944384 485 0 0 0 1 0 0 0 20 0 15 0 405418698 7582208000 14909 33554432000 4194304 4196468 140735519308384 140560399722736 140560954350210 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8224768 140735519310843 140735519311002 140735519311002 140735519313871 0
[pid=11469/tid=11480] ppid=11451 vsize=7404500 memory=-2127763401593990185 CPUtime=0.01 cores=0,2,4,6
/proc/11469/task/11480/stat : 11480 (java) S 11451 11451 8795 0 -1 1077944384 81 0 0 0 1 0 0 0 20 0 15 0 405418698 7582208000 14909 33554432000 4194304 4196468 140735519308384 140560398670192 140560954350210 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8224768 140735519310843 140735519311002 140735519311002 140735519313871 0
[pid=11469/tid=11481] ppid=11451 vsize=7404500 memory=0 CPUtime=0.06 cores=0,2,4,6
/proc/11469/task/11481/stat : 11481 (java) S 11451 11451 8795 0 -1 1077944384 412 0 0 0 6 0 0 0 20 0 15 0 405418698 7582208000 14909 33554432000 4194304 4196468 140735519308384 140560397617136 140560954350210 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8224768 140735519310843 140735519311002 140735519311002 140735519313871 0
[pid=11469/tid=11482] ppid=11451 vsize=7404500 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11469/task/11482/stat : 11482 (java) S 11451 11451 8795 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405418698 7582208000 14909 33554432000 4194304 4196468 140735519308384 140558643226976 140560954349269 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8224768 140735519310843 140735519311002 140735519311002 140735519313871 0
[pid=11469/tid=11483] ppid=11451 vsize=7404500 memory=-7025452035940392864 CPUtime=0 cores=0,2,4,6
/proc/11469/task/11483/stat : 11483 (java) S 11451 11451 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405418698 7582208000 14909 33554432000 4194304 4196468 140735519308384 140560396565552 140560954350210 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8224768 140735519310843 140735519311002 140735519311002 140735519313871 0
Current children cumulated CPU time: 3.96 s
Current children cumulated vsize: 7517628 KiB
Current children cumulated memory: 61112 KiB
[startup+2.40065 s]
/proc/loadavg: 2.09 2.04 2.05 3/235 11485
/proc/meminfo: memFree=24736980/32770624 swapFree=66927092/67108860
[pid=11451] ppid=11448 vsize=113128 memory=1476 CPUtime=3.64 cores=0,2,4,6
/proc/11451/stat : 11451 (scop.sh) S 11448 11451 8795 0 -1 4202496 584 25991 0 0 0 0 353 11 20 0 1 0 405418513 115843072 369 33554432000 4194304 5098028 140733923239088 140733923235832 139894659666556 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 10682368 140733923246888 140733923247216 140733923247216 140733923250125 0
/proc/11451/statm: 28282 369 311 221 0 87 0
[pid=11469] ppid=11451 vsize=7406604 memory=96908 CPUtime=0.84 cores=0,2,4,6
/proc/11469/stat : 11469 (java) S 11451 11451 8795 0 -1 1077944320 19448 0 0 0 79 5 0 0 20 0 15 0 405418692 7584362496 24227 33554432000 4194304 4196468 140735519308384 140735519290928 140560954339063 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 8224768 140735519310843 140735519311002 140735519311002 140735519313871 0
/proc/11469/statm: 1851651 24227 3123 1 0 1813530 0
[pid=11469/tid=11470] ppid=11451 vsize=7406604 memory=8298058302621327621 CPUtime=0.59 cores=0,2,4,6
/proc/11469/task/11470/stat : 11470 (java) R 11451 11451 8795 0 -1 4202560 16851 0 0 0 55 4 0 0 20 0 15 0 405418692 7584362496 24227 33554432000 4194304 4196468 140735519308384 140560926142384 140560934614944 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8224768 140735519310843 140735519311002 140735519311002 140735519313871 0
[pid=11469/tid=11471] ppid=11451 vsize=7406604 memory=7649539969164879009 CPUtime=0 cores=0,2,4,6
/proc/11469/task/11471/stat : 11471 (java) S 11451 11451 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405418693 7584362496 24227 33554432000 4194304 4196468 140735519308384 140560958581264 140560954349269 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8224768 140735519310843 140735519311002 140735519311002 140735519313871 0
[pid=11469/tid=11472] ppid=11451 vsize=7406604 memory=576574510189602056 CPUtime=0 cores=0,2,4,6
/proc/11469/task/11472/stat : 11472 (java) S 11451 11451 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405418693 7584362496 24227 33554432000 4194304 4196468 140735519308384 140560791960208 140560954349269 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8224768 140735519310843 140735519311002 140735519311002 140735519313871 0
[pid=11469/tid=11473] ppid=11451 vsize=7406604 memory=1879065 CPUtime=0 cores=0,2,4,6
/proc/11469/task/11473/stat : 11473 (java) S 11451 11451 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405418693 7584362496 24227 33554432000 4194304 4196468 140735519308384 140560438733072 140560954349269 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8224768 140735519310843 140735519311002 140735519311002 140735519313871 0
[pid=11469/tid=11474] ppid=11451 vsize=7406604 memory=-9001734013606258791 CPUtime=0 cores=0,2,4,6
/proc/11469/task/11474/stat : 11474 (java) S 11451 11451 8795 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405418693 7584362496 24227 33554432000 4194304 4196468 140735519308384 140560437680528 140560954349269 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8224768 140735519310843 140735519311002 140735519311002 140735519313871 0
[pid=11469/tid=11475] ppid=11451 vsize=7406604 memory=7681905605394137875 CPUtime=0 cores=0,2,4,6
/proc/11469/task/11475/stat : 11475 (java) S 11451 11451 8795 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405418694 7584362496 24227 33554432000 4194304 4196468 140735519308384 140560400775920 140560954350210 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8224768 140735519310843 140735519311002 140735519311002 140735519313871 0
[pid=11469/tid=11476] ppid=11451 vsize=7406604 memory=-9001734013606258791 CPUtime=0 cores=0,2,4,6
/proc/11469/task/11476/stat : 11476 (java) S 11451 11451 8795 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405418695 7584362496 24227 33554432000 4194304 4196468 140735519308384 140559784076960 140560954349269 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8224768 140735519310843 140735519311002 140735519311002 140735519313871 0
[pid=11469/tid=11477] ppid=11451 vsize=7406604 memory=-7233780906022726806 CPUtime=0 cores=0,2,4,6
/proc/11469/task/11477/stat : 11477 (java) S 11451 11451 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405418695 7584362496 24227 33554432000 4194304 4196468 140735519308384 140559515641072 140560954349269 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8224768 140735519310843 140735519311002 140735519311002 140735519313871 0
[pid=11469/tid=11478] ppid=11451 vsize=7406604 memory=-9001734013606258791 CPUtime=0 cores=0,2,4,6
/proc/11469/task/11478/stat : 11478 (java) S 11451 11451 8795 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405418698 7584362496 24227 33554432000 4194304 4196468 140735519308384 140559141132752 140560954357659 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8224768 140735519310843 140735519311002 140735519311002 140735519313871 0
[pid=11469/tid=11479] ppid=11451 vsize=7406604 memory=-7384994778349281184 CPUtime=0.04 cores=0,2,4,6
/proc/11469/task/11479/stat : 11479 (java) R 11451 11451 8795 0 -1 4202560 530 0 0 0 4 0 0 0 20 0 15 0 405418698 7584362496 24227 33554432000 4194304 4196468 140735519308384 140560399722736 140560935039360 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8224768 140735519310843 140735519311002 140735519311002 140735519313871 0
[pid=11469/tid=11480] ppid=11451 vsize=7406604 memory=7681905605394137914 CPUtime=0.04 cores=0,2,4,6
/proc/11469/task/11480/stat : 11480 (java) S 11451 11451 8795 0 -1 1077944384 159 0 0 0 4 0 0 0 20 0 15 0 405418698 7584362496 24227 33554432000 4194304 4196468 140735519308384 140560398670192 140560954350210 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8224768 140735519310843 140735519311002 140735519311002 140735519313871 0
[pid=11469/tid=11481] ppid=11451 vsize=7406604 memory=-7522837583129502606 CPUtime=0.14 cores=0,2,4,6
/proc/11469/task/11481/stat : 11481 (java) S 11451 11451 8795 0 -1 1077944384 579 0 0 0 14 0 0 0 20 0 15 0 405418698 7584362496 24227 33554432000 4194304 4196468 140735519308384 140560397617136 140560954350210 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8224768 140735519310843 140735519311002 140735519311002 140735519313871 0
[pid=11469/tid=11482] ppid=11451 vsize=7406604 memory=-7233780906022726806 CPUtime=0 cores=0,2,4,6
/proc/11469/task/11482/stat : 11482 (java) S 11451 11451 8795 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405418698 7584362496 24227 33554432000 4194304 4196468 140735519308384 140558643226976 140560954349269 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8224768 140735519310843 140735519311002 140735519311002 140735519313871 0
[pid=11469/tid=11483] ppid=11451 vsize=7406604 memory=7649399384298500401 CPUtime=0 cores=0,2,4,6
/proc/11469/task/11483/stat : 11483 (java) S 11451 11451 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405418698 7584362496 24227 33554432000 4194304 4196468 140735519308384 140560396565552 140560954350210 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8224768 140735519310843 140735519311002 140735519311002 140735519313871 0
Current children cumulated CPU time: 4.48 s
Current children cumulated vsize: 7519732 KiB
Current children cumulated memory: 98384 KiB
[startup+2.50067 s]
/proc/loadavg: 2.09 2.04 2.05 3/235 11485
/proc/meminfo: memFree=24736980/32770624 swapFree=66927092/67108860
[pid=11451] ppid=11448 vsize=113128 memory=1476 CPUtime=3.64 cores=0,2,4,6
/proc/11451/stat : 11451 (scop.sh) S 11448 11451 8795 0 -1 4202496 584 25991 0 0 0 0 353 11 20 0 1 0 405418513 115843072 369 33554432000 4194304 5098028 140733923239088 140733923235832 139894659666556 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 10682368 140733923246888 140733923247216 140733923247216 140733923250125 0
/proc/11451/statm: 28282 369 311 221 0 87 0
[pid=11469] ppid=11451 vsize=7410792 memory=101280 CPUtime=1 cores=0,2,4,6
/proc/11469/stat : 11469 (java) S 11451 11451 8795 0 -1 1077944320 20236 0 0 0 94 6 0 0 20 0 15 0 405418692 7588651008 25320 33554432000 4194304 4196468 140735519308384 140735519290928 140560954339063 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 8224768 140735519310843 140735519311002 140735519311002 140735519313871 0
/proc/11469/statm: 1852698 25320 3156 1 0 1814042 0
[pid=11469/tid=11470] ppid=11451 vsize=7410792 memory=1476 CPUtime=0.7 cores=0,2,4,6
/proc/11469/task/11470/stat : 11470 (java) R 11451 11451 8795 0 -1 4202560 17515 0 0 0 65 5 0 0 20 0 15 0 405418692 7588651008 25320 33554432000 4194304 4196468 140735519308384 140560926169688 140560938419580 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8224768 140735519310843 140735519311002 140735519311002 140735519313871 0
[pid=11469/tid=11471] ppid=11451 vsize=7410792 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11469/task/11471/stat : 11471 (java) S 11451 11451 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405418693 7588651008 25320 33554432000 4194304 4196468 140735519308384 140560958581264 140560954349269 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8224768 140735519310843 140735519311002 140735519311002 140735519313871 0
[pid=11469/tid=11472] ppid=11451 vsize=7410792 memory=288230574492221466 CPUtime=0 cores=0,2,4,6
/proc/11469/task/11472/stat : 11472 (java) S 11451 11451 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405418693 7588651008 25320 33554432000 4194304 4196468 140735519308384 140560791960208 140560954349269 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8224768 140735519310843 140735519311002 140735519311002 140735519313871 0
[pid=11469/tid=11473] ppid=11451 vsize=7410792 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11469/task/11473/stat : 11473 (java) S 11451 11451 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405418693 7588651008 25320 33554432000 4194304 4196468 140735519308384 140560438733072 140560954349269 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8224768 140735519310843 140735519311002 140735519311002 140735519313871 0
[pid=11469/tid=11474] ppid=11451 vsize=7410792 memory=3440 CPUtime=0 cores=0,2,4,6
/proc/11469/task/11474/stat : 11474 (java) S 11451 11451 8795 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405418693 7588651008 25320 33554432000 4194304 4196468 140735519308384 140560437680528 140560954349269 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8224768 140735519310843 140735519311002 140735519311002 140735519313871 0
[pid=11469/tid=11475] ppid=11451 vsize=7410792 memory=1476 CPUtime=0 cores=0,2,4,6
/proc/11469/task/11475/stat : 11475 (java) S 11451 11451 8795 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 405418694 7588651008 25320 33554432000 4194304 4196468 140735519308384 140560400775920 140560954350210 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8224768 140735519310843 140735519311002 140735519311002 140735519313871 0
[pid=11469/tid=11476] ppid=11451 vsize=7410792 memory=134820 CPUtime=0 cores=0,2,4,6
/proc/11469/task/11476/stat : 11476 (java) S 11451 11451 8795 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405418695 7588651008 25320 33554432000 4194304 4196468 140735519308384 140559784076960 140560954349269 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8224768 140735519310843 140735519311002 140735519311002 140735519313871 0
[pid=11469/tid=11477] ppid=11451 vsize=7410792 memory=204460 CPUtime=0 cores=0,2,4,6
/proc/11469/task/11477/stat : 11477 (java) S 11451 11451 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405418695 7588651008 25320 33554432000 4194304 4196468 140735519308384 140559515641072 140560954349269 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8224768 140735519310843 140735519311002 140735519311002 140735519313871 0
[pid=11469/tid=11478] ppid=11451 vsize=7410792 memory=4100 CPUtime=0 cores=0,2,4,6
/proc/11469/task/11478/stat : 11478 (java) S 11451 11451 8795 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405418698 7588651008 25320 33554432000 4194304 4196468 140735519308384 140559141132752 140560954357659 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8224768 140735519310843 140735519311002 140735519311002 140735519313871 0
[pid=11469/tid=11479] ppid=11451 vsize=7410792 memory=281186945638688 CPUtime=0.05 cores=0,2,4,6
/proc/11469/task/11479/stat : 11479 (java) S 11451 11451 8795 0 -1 1077944384 545 0 0 0 5 0 0 0 20 0 15 0 405418698 7588651008 25320 33554432000 4194304 4196468 140735519308384 140560399722736 140560954350210 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8224768 140735519310843 140735519311002 140735519311002 140735519313871 0
[pid=11469/tid=11480] ppid=11451 vsize=7410792 memory=8226000708499251269 CPUtime=0.05 cores=0,2,4,6
/proc/11469/task/11480/stat : 11480 (java) R 11451 11451 8795 0 -1 1077944384 162 0 0 0 5 0 0 0 20 0 15 0 405418698 7588651008 25320 33554432000 4194304 4196468 140735519308384 140560398670192 140560954350210 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 8224768 140735519310843 140735519311002 140735519311002 140735519313871 0
[pid=11469/tid=11481] ppid=11451 vsize=7410792 memory=8298058315422081125 CPUtime=0.18 cores=0,2,4,6
/proc/11469/task/11481/stat : 11481 (java) R 11451 11451 8795 0 -1 4202560 683 0 0 0 18 0 0 0 20 0 15 0 405418698 7588651008 25320 33554432000 4194304 4196468 140735519308384 140560397617136 140560938419550 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8224768 140735519310843 140735519311002 140735519311002 140735519313871 0
[pid=11469/tid=11482] ppid=11451 vsize=7410792 memory=7649539964819316869 CPUtime=0 cores=0,2,4,6
/proc/11469/task/11482/stat : 11482 (java) S 11451 11451 8795 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405418698 7588651008 25320 33554432000 4194304 4196468 140735519308384 140558643226976 140560954349269 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8224768 140735519310843 140735519311002 140735519311002 140735519313871 0
[pid=11469/tid=11483] ppid=11451 vsize=7410792 memory=7433226610724057393 CPUtime=0 cores=0,2,4,6
/proc/11469/task/11483/stat : 11483 (java) S 11451 11451 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405418698 7588651008 25320 33554432000 4194304 4196468 140735519308384 140560396565552 140560954350210 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8224768 140735519310843 140735519311002 140735519311002 140735519313871 0
Current children cumulated CPU time: 4.64 s
Current children cumulated vsize: 7523920 KiB
Current children cumulated memory: 102756 KiB
Child status: 0
Real time (s): 2.58457
CPU time (s): 4.89299
CPU user time (s): 4.70056
CPU system time (s): 0.192423
CPU usage (%): 189.315
Max. virtual memory (cumulated for all children) (KiB): 15140452
Max. memory (cumulated for all children) (KiB): 193816
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.70057
system time used= 0.192423
maximum resident set size= 200544
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 48442
page faults= 0
swaps= 0
block input operations= 0
block output operations= 264
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4933
involuntary context switches= 21
# summary of solver processes directly reported to runsolver:
# pid: 11451
# total CPU time (s): 4.89299
# total CPU user time (s): 4.70056
# total CPU system time (s): 0.192423
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.033391 second user time and 0.079707 second system time
The end