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-11353-serial-file.bin HOME/instance-4387854-1568291708.xml
0.67/0.54
0.67/0.54 Fun-sCOP order+glueminisat-simp-2.2.10-193oa-n-release (2019-06-15)
0.67/0.54
0.67/0.56 c BEGIN-Prog: Thu Sep 12 14:34:27 CEST 2019
0.67/0.56 c PID: 11356
0.67/0.56 c IP: 172.20.3.137
0.67/0.56 c HOST: node137.alineos.net
0.67/0.57 c (0,0) Parsing Begin
1.41/0.93 c (0,0) Parsing End
1.41/0.94 c (0,0) CSP: 0 int (0 aux), 150 bool (0 aux), 100 ctr, max domain size 2
1.41/0.94 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.41/0.94 c (0,0) Constraint Name Generate Begin
1.41/0.94 c (0,0) Ctr:HOME/instance-4387854-1568291708.xml,ExtensionSupport:Var
1.41/0.94 c (0,0) Constraint Name Generate End
1.41/0.94 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.41/0.94 c (0,0) CSP to CSPinCNF Begin
1.93/1.23 c (0,0) translated 10 (10%) constraints
1.93/1.30 c (0,0) translated 20 (20%) constraints
2.25/1.35 c (0,0) translated 30 (30%) constraints
2.25/1.38 c (0,0) translated 40 (40%) constraints
2.55/1.41 c (0,0) translated 50 (50%) constraints
2.55/1.44 c (0,0) translated 60 (60%) constraints
2.55/1.47 c (0,0) translated 70 (70%) constraints
2.55/1.49 c (0,0) translated 80 (80%) constraints
2.85/1.51 c (0,0) translated 90 (90%) constraints
2.85/1.53 c (0,0) translated 100 (100%) constraints
2.85/1.53 c (0,0) ===========================================
2.85/1.54 c (0,0) Order
2.85/1.54 c (0,0) ===========================================
2.85/1.56 c (1,1) translated 190 (10%) constraints
2.85/1.57 c (1,1) translated 380 (20%) constraints
2.85/1.58 c (1,1) translated 570 (30%) constraints
2.85/1.59 c (1,1) translated 760 (40%) constraints
3.18/1.60 c (1,1) translated 950 (50%) constraints
3.18/1.61 c (1,1) translated 1140 (60%) constraints
3.18/1.62 c (1,1) translated 1330 (70%) constraints
3.18/1.63 c (1,1) translated 1520 (80%) constraints
3.18/1.64 c (1,1) translated 1710 (90%) constraints
3.18/1.64 c (1,1) translated 1900 (100%) constraints
3.18/1.65 c (1,1) CSP to CSPinCNF End
3.18/1.65 c (1,1) CSP: 0 int (0 aux), 550 bool (400 aux), 1900 ctr, max domain size 2
3.18/1.65 c (1,1) Heap : 168 MiB used (max 10795 MiB), NonHeap : 25 MiB used (max 0 MiB)
3.18/1.65 c (1,1) CSPinCNF Propagation Begin
3.50/1.71 c (1,1) 0 values, 100 unsatisfiable literals, and 0 valid clauses are removed
3.50/1.71 c (1,1) CSPinCNF Propagation End
3.50/1.71 c (1,1) CSP: 0 int (0 aux), 550 bool (400 aux), 1900 ctr, max domain size 2
3.50/1.71 c (1,1) Heap : 168 MiB used (max 10795 MiB), NonHeap : 25 MiB used (max 0 MiB)
3.50/1.71 c (1,1) Simplify CSPinCNF Begin
3.50/1.73 c (1,1) Simplify CSPinCNF End
3.50/1.73 c (1,1) CSP: 0 int (0 aux), 550 bool (400 aux), 1900 ctr, max domain size 2
3.50/1.73 c (1,1) Heap : 168 MiB used (max 10795 MiB), NonHeap : 26 MiB used (max 0 MiB)
3.50/1.73 c (1,1) Calculate Precise Domain Begin
3.50/1.73 c (1,1) 0 values are removed by re-calculation
3.50/1.73 c (1,1) Calculate Precise Domain End
3.50/1.73 c (1,1) CSP: 0 int (0 aux), 550 bool (400 aux), 1900 ctr, max domain size 2
3.50/1.73 c (1,1) Heap : 168 MiB used (max 10795 MiB), NonHeap : 26 MiB used (max 0 MiB)
3.50/1.73 c (1,1) CSPinCNF to SatSolver Begin
3.85/1.81 c (1,1) 190 (10 %) CSP clauses are encoded (0 SAT variables, 189 SAT clauses)
3.85/1.83 c (1,1) 380 (20 %) CSP clauses are encoded (0 SAT variables, 379 SAT clauses)
3.85/1.84 c (1,1) 570 (30 %) CSP clauses are encoded (0 SAT variables, 569 SAT clauses)
3.85/1.85 c (1,1) 760 (40 %) CSP clauses are encoded (0 SAT variables, 759 SAT clauses)
3.85/1.86 c (1,1) 950 (50 %) CSP clauses are encoded (0 SAT variables, 949 SAT clauses)
3.85/1.87 c (1,1) 1140 (60 %) CSP clauses are encoded (0 SAT variables, 1139 SAT clauses)
3.85/1.87 c (1,1) 1330 (70 %) CSP clauses are encoded (0 SAT variables, 1329 SAT clauses)
3.85/1.88 c (1,1) 1520 (80 %) CSP clauses are encoded (0 SAT variables, 1519 SAT clauses)
3.85/1.89 c (1,1) 1710 (90 %) CSP clauses are encoded (0 SAT variables, 1709 SAT clauses)
3.85/1.90 c (1,1) 1900 (100 %) CSP clauses are encoded (0 SAT variables, 1899 SAT clauses)
3.85/1.90 c (1,1) CSPinCNF to SatSolver End
3.85/1.90 c (1,1) Heap : 168 MiB used (max 10795 MiB), NonHeap : 27 MiB used (max 0 MiB)
4.19/1.90 c (1,1) 550 bool, 1900 clause
4.19/1.90 c (1,1) Export Begin
4.19/2.00 c (1,1) Export to HOME/scop-11353-serial-file.bin
4.19/2.00 c (1,1) Export End
4.19/2.00 c (1,1) Export File Size: 0.03 MB
4.19/2.00 c (1,1) 0,0,1,1,1,1,1,STOP-AFTER(DIMACS)
4.19/2.00 c END-Prog: Thu Sep 12 14:34:28 CEST 2019
0.00/2.01 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-11353-serial-file.bin
4.48/2.47 c (0,0) Read Serial File Begin
4.48/2.47 c (0,0) HOME/scop-11353-serial-file.bin
4.48/2.70 c (0,0) Read Serial File End
4.48/2.71
4.48/2.71 Fun-sCOP order+glueminisat-simp-2.2.10-193oa-n-release (2019-06-15)
4.48/2.71 (Solving Process)
4.48/2.71
4.48/2.73 c BEGIN-Prog: Thu Sep 12 14:34:29 CEST 2019
4.48/2.73 c PID: 11371
4.48/2.73 c IP: 172.20.3.137
4.48/2.73 c HOST: node137.alineos.net
4.48/2.74 c (0,0) SatSolver.solve Begin
4.48/2.74 c (0,0) HOME/glueminisat-simp-2.2.10-193oa-n-release -model -verb=3 -elim-cl=5000000 -native-oa HOME/instance-4387854-1568291708.xml-scop-11356.cnf
4.48/2.78 c (0,0) c WARNING: for repeatability, setting FPU to use double precision
4.48/2.78 c (0,0) c glueminisat-simp-2.2.10-193oa-n
4.48/2.78 c (0,0) c Command: HOME/glueminisat-simp-2.2.10-193oa-n-release -model -verb=3 -elim-cl=5000000 -native-oa HOME/instance-4387854-1568291708.xml-scop-11356.cnf
4.48/2.78 c (0,0) c Options:
4.48/2.78 c (0,0) c CORE
4.48/2.78 c (0,0) c var_decay = 0.950
4.48/2.78 c (0,0) c clause_decay = 0.999
4.48/2.78 c (0,0) c random_var_freq = 0.000
4.48/2.78 c (0,0) c random_seed = 91648253.000
4.48/2.78 c (0,0) c luby_restart = 1
4.48/2.78 c (0,0) c ccmin_mode = 2
4.48/2.78 c (0,0) c phase_saving = 2
4.48/2.78 c (0,0) c rnd_pol = 0
4.48/2.78 c (0,0) c rnd_init_act = 0
4.48/2.78 c (0,0) c garbage_frac = 0.200
4.48/2.78 c (0,0) c restart_first = 1000
4.48/2.78 c (0,0) c restart_inc = 2.000
4.48/2.78 c (0,0) c MODEL
4.48/2.78 c (0,0) c partial_model = 0
4.48/2.78 c (0,0) c PROPAGATION
4.48/2.78 c (0,0) c bin_propagation = 1
4.48/2.78 c (0,0) c SIMPLIFICATION
4.48/2.78 c (0,0) c lrn_min_size = 100
4.48/2.78 c (0,0) c lazy_simp = 1
4.48/2.78 c (0,0) c lazy_interval = 10
4.48/2.78 c (0,0) c lazy_fld_probing = 1
4.48/2.78 c (0,0) c lazy_pol_probing = 1
4.48/2.78 c (0,0) c lazy_nec_probing = 1
4.48/2.78 c (0,0) c lazy_eqv_probing = 1
4.48/2.78 c (0,0) c lazy_cla_probing = 1
4.48/2.78 c (0,0) c lazy_lrn_min = 2
4.48/2.78 c (0,0) c lazy_uw_lit_elim = 1
4.48/2.78 c (0,0) c lazy_pr_lit_elim = 0
4.48/2.78 c (0,0) c lazy_bin_add = 3
4.48/2.78 c (0,0) c probed_lit_chain = 1
4.48/2.78 c (0,0) c pr_min_lits = 0.00020
4.48/2.78 c (0,0) c pr_min_starts = 500
4.48/2.78 c (0,0) c rw_min_lits = 0.010
4.48/2.78 c (0,0) c rw_min_starts = 500
4.48/2.78 c (0,0) c rand_attach = 0
4.48/2.78 c (0,0) c dec_elim = 1
4.48/2.78 c (0,0) c dec_elim_lim = 25
4.48/2.78 c (0,0) c dec_elim_len = -1
4.48/2.78 c (0,0) c amo = 0
4.48/2.78 c (0,0) c amo_grp = 1
4.48/2.78 c (0,0) c amo_max_bins = 1000000
4.48/2.78 c (0,0) c amo_starts = 50
4.48/2.78 c (0,0) c mace_cmd = mace
4.48/2.78 c (0,0) c DECISION
4.48/2.78 c (0,0) c rand_rebuild = 0
4.48/2.78 c (0,0) c rand_rebuild_confs = 10000
4.48/2.78 c (0,0) c inc_var_decay = 1
4.48/2.78 c (0,0) c inc_var_decay_period = 100000
4.48/2.78 c (0,0) c inc_var_decay_init = 0.600
4.48/2.78 c (0,0) c var_decay_mode = 0
4.48/2.78 c (0,0) c var_decay_gain = 0
4.48/2.78 c (0,0) c sloped_var_decay = 1
4.48/2.78 c (0,0) c max_var_decay = 0.990
4.48/2.78 c (0,0) c min_var_decay = 0.950
4.48/2.78 c (0,0) c min_var_decay_vars = 10000
4.48/2.78 c (0,0) c max_var_decay_vars = 500
4.48/2.78 c (0,0) c uip_bumping = 1
4.48/2.78 c (0,0) c lbd_act_bumping = 1
4.48/2.78 c (0,0) c rand_tiebreak = 0
4.48/2.78 c (0,0) c simp_rebuild = 1
4.48/2.78 c (0,0) c RESTART
4.48/2.78 c (0,0) c restart_strategy = 2
4.48/2.78 c (0,0) c restart_blocking = 0
4.48/2.78 c (0,0) c agility_decay = 0.99990
4.48/2.78 c (0,0) c lbd_restart_rate = 0.800
4.48/2.78 c (0,0) c dec_restart_rate = 0.950
4.48/2.78 c (0,0) c blk_restart_rate = 0.700
4.48/2.78 c (0,0) c lbd_queue_size = 50
4.48/2.78 c (0,0) c dec_queue_size = 50
4.48/2.78 c (0,0) c trl_queue_size = 5000
4.48/2.78 c (0,0) c blk_restart_weight = 1.000
4.48/2.78 c (0,0) c inc_rst_rate = 0
4.48/2.78 c (0,0) c inc_rst_rate_period = 500000
4.48/2.78 c (0,0) c inc_lbd_rst_rate_init = 0.600
4.48/2.78 c (0,0) c inc_dec_rst_rate_init = 0.750
4.48/2.78 c (0,0) c REDUCTION
4.48/2.78 c (0,0) c closed_lbd = 0
4.48/2.78 c (0,0) c closed_lbd_rate = 0.500
4.48/2.78 c (0,0) c rm_simulate = 0
4.48/2.78 c (0,0) c rdb_eval = 2
4.48/2.78 c (0,0) c rdb_call = 3
4.48/2.78 c (0,0) c rdb_ub = 0.500
4.48/2.78 c (0,0) c core_lbd_cvr = 0.800
4.48/2.78 c (0,0) c supp_lbd_cvr = 0.990
4.48/2.78 c (0,0) c core_lbd_lb = 2
4.48/2.78 c (0,0) c supp_lbd_lb = 2
4.48/2.78 c (0,0) c core_lbd_prd = 7
4.48/2.78 c (0,0) c supp_lbd_prd = 1
4.48/2.78 c (0,0) c othr_lbd_prd = 0
4.48/2.78 c (0,0) c inc_lrn_limit = 1000
4.48/2.78 c (0,0) c frozen_lbd = 30
4.48/2.78 c (0,0) c simp_min_starts = 100
4.48/2.78 c (0,0) c rm_low_act_learnts = 1
4.48/2.78 c (0,0) c lv0_reduce_db = 0
4.48/2.78 c (0,0) c reduce_db_base = 20000
4.48/2.78 c (0,0) c reduce_db_inc = 1000
4.48/2.78 c (0,0) c HARD
4.48/2.78 c (0,0) c inst_check = 200000
4.48/2.78 c (0,0) c small_block = 1.750
4.48/2.78 c (0,0) c slow_restart_speed = 400.000
4.48/2.78 c (0,0) c slow_restart_strategy = 3
4.48/2.78 c (0,0) c slow_lbd_restart_rate = 0.700
4.48/2.78 c (0,0) c slow_dec_restart_rate = 1.000
4.48/2.78 c (0,0) c slow_lbd_queue_size = 50
4.48/2.78 c (0,0) c slow_var_decay = 0.950
4.48/2.78 c (0,0) c slow_glue_threshold = 2
4.48/2.78 c (0,0) c slow_phase_saving = 2
4.48/2.78 c (0,0) c fast_restart_speed = 125.000
4.48/2.78 c (0,0) c fast_restart_strategy = 1
4.48/2.78 c (0,0) c fast_lbd_restart_rate = 0.800
4.48/2.78 c (0,0) c fast_dec_restart_rate = 0.950
4.48/2.78 c (0,0) c fast_lbd_queue_size = 50
4.48/2.78 c (0,0) c fast_var_decay = 1.000
4.48/2.78 c (0,0) c fast_glue_threshold = 2
4.48/2.78 c (0,0) c fast_phase_saving = 2
4.48/2.78 c (0,0) c STATS
4.48/2.78 c (0,0) c stats_conf_size = 10000
4.48/2.78 c (0,0) c max_stats_size = 30
4.48/2.78 c (0,0) c SOLVER
4.48/2.78 c (0,0) c minisat = 0
4.48/2.78 c (0,0) c Problem: 550 variables, 1900 clauses, parsing 0.00 s
4.48/2.78 c (0,0) c reduced to 2 variables, 11 clauses (grow = 0)
4.48/2.78 c (0,0) c exclude 2 (100.0%) variables from decision variables (last cost 1)
4.48/2.78 c (0,0) c Simplification: 550 vars, 1889 clauses are eliminated using 0.00 s
4.48/2.78 c (0,0) c Solved by simplification
4.48/2.78 c (0,0) c
4.48/2.78 c (0,0) c variables : 0 (init 550, after simp 550, 2 non-decs, 0 csp)
4.48/2.78 c (0,0) c clauses : 11 (init 1900, after simp 1900)
4.48/2.78 c (0,0) c restarts : 18446744073709551615 (-nan confs/res, 18446744073709551615~0 confs, 0 blks, 0 last)
4.48/2.78 c (0,0) c conflicts : 0 (0 /sec, -nan% dconfs, -nan% supp, trail -nanw x -nanh, jmp -nanh)
4.48/2.78 c (0,0) c decisions : 0 (0.9500 vdcy, 0 /sec, -nan% bin, rs 0.000 s)
4.48/2.78 c (0,0) c propagations : 1 (188 /sec, inf lits/dec, 0.00% o.a.)
4.48/2.78 c (0,0) c conflict literals : 0 (-nan% deleted; -nan% by bin min, 0.000 s)
4.48/2.78 c (0,0) c len : -nan (-nan for all, max 0, used 0)
4.48/2.78 c (0,0) c lbd : -nan (-nan (-nan) for all, max 0, used 0, -nan stdev, -nan blk)
4.48/2.78 c (0,0) c amo : 0 (0 max, -nan avg, 0.000 s)
4.48/2.78 c (0,0) c simp dbs : 1 (0.000 s)
4.48/2.78 c (0,0) c reduce dbs : 0 (core-lbd 2, supp-lbd 2147483647, 0.000 s)
4.48/2.78 c (0,0) c learnts : 0 (0 learnts removed, -nan%)
4.48/2.78 c (0,0) c rewrite dbs : 0 (0/0 vars, 0+0 taut, 0+0 unit, 0.000 s)
4.48/2.78 c (0,0) c assigned lits : 0 (0/0 probed, 0 remains)
4.48/2.78 c (0,0) c premise updates : 0 (0.00 /lit)
4.48/2.78 c (0,0) c probed variables : 0 (0 pr, 0 eq, 0 fld, 0 pol, 0 nec, 0 cla, 0 amo)
4.48/2.78 c (0,0) c equiv variables : 0 (0 bin, 0 trn, 0 quat, 0 quin, 0 othr; 0 amo)
4.48/2.78 c (0,0) c lazy added bins : 0 (0 prop + 0 conf, 0.000s)
4.48/2.78 c (0,0) c unwatched lit elim: 0 (0.00+-nan%, 0+0 of 5000+0)
4.48/2.78 c (0,0) c classified type : undef
4.48/2.78 c (0,0) c progress : 100.000%
4.48/2.78 c (0,0) c
4.48/2.78 c (0,0) c [Statistics]
4.48/2.78 c (0,0) c learnts len learnts lbd lit blk size eq vars size
4.48/2.78 c (0,0) c tot 0 0 0 0
4.48/2.78 c (0,0) c avg -nan -nan -nan -nan
4.48/2.78 c (0,0) c 1 0 (-nan%) 0 (-nan%) 0 (-nan%) 0 (-nan%)
4.48/2.78 c (0,0) c 2 0 (-nan%) 0 (-nan%) 0 (-nan%) 0 (-nan%)
4.48/2.78 c (0,0) c 3 0 (-nan%) 0 (-nan%) 0 (-nan%) 0 (-nan%)
4.48/2.78 c (0,0) c 4 0 (-nan%) 0 (-nan%) 0 (-nan%) 0 (-nan%)
4.48/2.78 c (0,0) c 5 0 (-nan%) 0 (-nan%) 0 (-nan%) 0 (-nan%)
4.48/2.78 c (0,0) c 6 0 (-nan%) 0 (-nan%) 0 (-nan%) 0 (-nan%)
4.48/2.78 c (0,0) c 7 0 (-nan%) 0 (-nan%) 0 (-nan%) 0 (-nan%)
4.48/2.78 c (0,0) c 8 0 (-nan%) 0 (-nan%) 0 (-nan%) 0 (-nan%)
4.48/2.78 c (0,0) c 9 0 (-nan%) 0 (-nan%) 0 (-nan%) 0 (-nan%)
4.48/2.78 c (0,0) c 10 0 (-nan%) 0 (-nan%) 0 (-nan%) 0 (-nan%)
4.48/2.78 c (0,0) c 11 0 (-nan%) 0 (-nan%) 0 (-nan%) 0 (-nan%)
4.48/2.78 c (0,0) c 12 0 (-nan%) 0 (-nan%) 0 (-nan%) 0 (-nan%)
4.48/2.78 c (0,0) c 13 0 (-nan%) 0 (-nan%) 0 (-nan%) 0 (-nan%)
4.48/2.78 c (0,0) c 14 0 (-nan%) 0 (-nan%) 0 (-nan%) 0 (-nan%)
4.48/2.78 c (0,0) c 15 0 (-nan%) 0 (-nan%) 0 (-nan%) 0 (-nan%)
4.48/2.78 c (0,0) c 16 0 (-nan%) 0 (-nan%) 0 (-nan%) 0 (-nan%)
4.48/2.78 c (0,0) c 17 0 (-nan%) 0 (-nan%) 0 (-nan%) 0 (-nan%)
4.48/2.78 c (0,0) c 18 0 (-nan%) 0 (-nan%) 0 (-nan%) 0 (-nan%)
4.48/2.78 c (0,0) c 19 0 (-nan%) 0 (-nan%) 0 (-nan%) 0 (-nan%)
4.48/2.78 c (0,0) c 20 0 (-nan%) 0 (-nan%) 0 (-nan%) 0 (-nan%)
4.48/2.78 c (0,0) c 21 0 (-nan%) 0 (-nan%) 0 (-nan%) 0 (-nan%)
4.48/2.78 c (0,0) c 22 0 (-nan%) 0 (-nan%) 0 (-nan%) 0 (-nan%)
4.48/2.78 c (0,0) c 23 0 (-nan%) 0 (-nan%) 0 (-nan%) 0 (-nan%)
4.48/2.78 c (0,0) c 24 0 (-nan%) 0 (-nan%) 0 (-nan%) 0 (-nan%)
4.48/2.78 c (0,0) c 25 0 (-nan%) 0 (-nan%) 0 (-nan%) 0 (-nan%)
4.48/2.78 c (0,0) c 26 0 (-nan%) 0 (-nan%) 0 (-nan%) 0 (-nan%)
4.48/2.78 c (0,0) c 27 0 (-nan%) 0 (-nan%) 0 (-nan%) 0 (-nan%)
4.48/2.78 c (0,0) c 28 0 (-nan%) 0 (-nan%) 0 (-nan%) 0 (-nan%)
4.48/2.78 c (0,0) c 29 0 (-nan%) 0 (-nan%) 0 (-nan%) 0 (-nan%)
4.48/2.78 c (0,0) c 30 0 (-nan%) 0 (-nan%) 0 (-nan%) 0 (-nan%)
4.48/2.78 c (0,0) c
4.48/2.78 c (0,0) c [LBD Statistics]
4.48/2.78 c (0,0) c LBD used lbd used clause lbd unused clause lbd
4.48/2.78 c (0,0) c tot 0 0 0
4.48/2.78 c (0,0) c avg -nan -nan -nan
4.48/2.78 c (0,0) c
4.48/2.78 c (0,0) c Memory used : 20.00 MB
4.48/2.78 c (0,0) c CPU time : 0.005 s
4.48/2.78 c (0,0) c Real time : 0.005 s
4.48/2.78 c (0,0) c
4.48/2.78 c (0,0) s UNSATISFIABLE
4.48/2.83 c (0,0) SatSolver.solve End
4.48/2.83 c (0,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
4.48/2.83 c (0,0) Show results Begin
4.48/2.83 s UNSATISFIABLE
4.48/2.83 c (0,0) Show results End
4.48/2.83 c (0,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
4.48/2.83 c (0,0) 0,0,STOP-AFTER(ALL)
4.48/2.83 c END-Prog: Thu Sep 12 14:34:29 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 (11895 MiB free)
memory of node 1: 16384 MiB (12313 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4387854-1568291708/watcher-4387854-1568291708 -o /tmp/evaluation-result-4387854-1568291708/solver-4387854-1568291708 -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-4387854-1568291708.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
solver pid=11353, runsolver pid=11350
Current StackSize limit: 8192 KiB
[startup+0.10006 s]*
/proc/loadavg: 2.01 2.02 2.05 5/234 11370
/proc/meminfo: memFree=24728452/32770624 swapFree=66927092/67108860
[pid=11353] ppid=11350 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/11353/stat : 11353 (scop.sh) S 11350 11353 8795 0 -1 4202496 556 322 0 0 0 0 0 0 20 0 1 0 405418172 115843072 349 33554432000 4194304 5098028 140730567833536 140730567830792 140476050973308 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 13172736 140730567840552 140730567840880 140730567840880 140730567843789 0
/proc/11353/statm: 28282 349 296 221 0 87 0
[pid=11356] ppid=11353 vsize=15012696 memory=73960 CPUtime=0.11 cores=0,2,4,6
/proc/11356/stat : 11356 (java) S 11353 11353 8795 0 -1 1077944320 6739 0 0 0 9 2 0 0 20 0 15 0 405418173 15373000704 18490 33554432000 4194304 4196468 140726262871776 140726262854320 140512233709303 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35561472 140726262878958 140726262879386 140726262879386 140726262882255 0
/proc/11356/statm: 3753174 18490 2912 1 0 3715579 0
[pid=11356/tid=11357] ppid=11353 vsize=15012696 memory=-6365412307231883199 CPUtime=0.09 cores=0,2,4,6
/proc/11356/task/11357/stat : 11357 (java) R 11353 11353 8795 0 -1 4202560 4591 0 0 0 7 2 0 0 20 0 15 0 405418173 15373000704 18555 33554432000 4194304 4196468 140726262871776 140512205532856 140512217752933 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35561472 140726262878958 140726262879386 140726262879386 140726262882255 0
[pid=11356/tid=11358] ppid=11353 vsize=15012696 memory=4206468019014099040 CPUtime=0 cores=0,2,4,6
/proc/11356/task/11358/stat : 11358 (java) S 11353 11353 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405418175 15373000704 18555 33554432000 4194304 4196468 140726262871776 140512237951632 140512233719509 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35561472 140726262878958 140726262879386 140726262879386 140726262882255 0
[pid=11356/tid=11359] ppid=11353 vsize=15012696 memory=140435324438144 CPUtime=0 cores=0,2,4,6
/proc/11356/task/11359/stat : 11359 (java) S 11353 11353 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405418175 15373000704 18555 33554432000 4194304 4196468 140726262871776 140512071330320 140512233719509 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35561472 140726262878958 140726262879386 140726262879386 140726262882255 0
[pid=11356/tid=11360] ppid=11353 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11356/task/11360/stat : 11360 (java) S 11353 11353 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405418175 15373000704 18555 33554432000 4194304 4196468 140726262871776 140511693232528 140512233719509 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35561472 140726262878958 140726262879386 140726262879386 140726262882255 0
[pid=11356/tid=11361] ppid=11353 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11356/task/11361/stat : 11361 (java) S 11353 11353 8795 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405418175 15373000704 18555 33554432000 4194304 4196468 140726262871776 140511692179728 140512233719509 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35561472 140726262878958 140726262879386 140726262879386 140726262882255 0
[pid=11356/tid=11362] ppid=11353 vsize=15012696 memory=140435324438144 CPUtime=0 cores=0,2,4,6
/proc/11356/task/11362/stat : 11362 (java) S 11353 11353 8795 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405418176 15373000704 18555 33554432000 4194304 4196468 140726262871776 140511002831728 140512233720450 0 0 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35561472 140726262878958 140726262879386 140726262879386 140726262882255 0
[pid=11356/tid=11363] ppid=11353 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11356/task/11363/stat : 11363 (java) S 11353 11353 8795 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405418177 15373000704 18555 33554432000 4194304 4196468 140726262871776 140510928823840 140512233719509 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35561472 140726262878958 140726262879386 140726262879386 140726262882255 0
[pid=11356/tid=11364] ppid=11353 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11356/task/11364/stat : 11364 (java) S 11353 11353 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405418177 15373000704 18555 33554432000 4194304 4196468 140726262871776 140510660388208 140512233719509 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35561472 140726262878958 140726262879386 140726262879386 140726262882255 0
[pid=11356/tid=11365] ppid=11353 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11356/task/11365/stat : 11365 (java) S 11353 11353 8795 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405418179 15373000704 18555 33554432000 4194304 4196468 140726262871776 140510285879632 140512233727899 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35561472 140726262878958 140726262879386 140726262879386 140726262882255 0
[pid=11356/tid=11366] ppid=11353 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11356/task/11366/stat : 11366 (java) S 11353 11353 8795 0 -1 1077944384 440 0 0 0 0 0 0 0 20 0 15 0 405418179 15373000704 18555 33554432000 4194304 4196468 140726262871776 140511001778544 140512233720450 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35561472 140726262878958 140726262879386 140726262879386 140726262882255 0
[pid=11356/tid=11367] ppid=11353 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11356/task/11367/stat : 11367 (java) S 11353 11353 8795 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405418179 15373000704 18555 33554432000 4194304 4196468 140726262871776 140511000725744 140512233720450 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35561472 140726262878958 140726262879386 140726262879386 140726262882255 0
[pid=11356/tid=11368] ppid=11353 vsize=15012696 memory=140435324438144 CPUtime=0.01 cores=0,2,4,6
/proc/11356/task/11368/stat : 11368 (java) R 11353 11353 8795 0 -1 4202560 453 0 0 0 1 0 0 0 20 0 15 0 405418179 15373000704 18555 33554432000 4194304 4196468 140726262871776 140510999669096 140512226426455 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35561472 140726262878958 140726262879386 140726262879386 140726262882255 0
[pid=11356/tid=11369] ppid=11353 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11356/task/11369/stat : 11369 (java) S 11353 11353 8795 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405418180 15373000704 18555 33554432000 4194304 4196468 140726262871776 140509787973856 140512233719509 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35561472 140726262878958 140726262879386 140726262879386 140726262882255 0
[pid=11356/tid=11370] ppid=11353 vsize=15012696 memory=140435324438144 CPUtime=0 cores=0,2,4,6
/proc/11356/task/11370/stat : 11370 (java) S 11353 11353 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405418180 15373000704 18555 33554432000 4194304 4196468 140726262871776 140510998621360 140512233720450 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35561472 140726262878958 140726262879386 140726262879386 140726262882255 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 75356 KiB
[startup+0.210906 s]*
/proc/loadavg: 2.01 2.02 2.05 3/234 11370
/proc/meminfo: memFree=24709460/32770624 swapFree=66927092/67108860
[pid=11353] ppid=11350 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/11353/stat : 11353 (scop.sh) S 11350 11353 8795 0 -1 4202496 556 322 0 0 0 0 0 0 20 0 1 0 405418172 115843072 349 33554432000 4194304 5098028 140730567833536 140730567830792 140476050973308 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 13172736 140730567840552 140730567840880 140730567840880 140730567843789 0
/proc/11353/statm: 28282 349 296 221 0 87 0
[pid=11356] ppid=11353 vsize=15012696 memory=89828 CPUtime=0.25 cores=0,2,4,6
/proc/11356/stat : 11356 (java) S 11353 11353 8795 0 -1 1077944320 11978 0 0 0 21 4 0 0 20 0 15 0 405418173 15373000704 22457 33554432000 4194304 4196468 140726262871776 140726262854320 140512233709303 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35561472 140726262878958 140726262879386 140726262879386 140726262882255 0
/proc/11356/statm: 3753174 22457 2969 1 0 3715579 0
[pid=11356/tid=11357] ppid=11353 vsize=15012696 memory=7022364632946311227 CPUtime=0.2 cores=0,2,4,6
/proc/11356/task/11357/stat : 11357 (java) R 11353 11353 8795 0 -1 4202560 9660 0 0 0 17 3 0 0 20 0 15 0 405418173 15373000704 22457 33554432000 4194304 4196468 140726262871776 140512205530208 140512219402784 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35561472 140726262878958 140726262879386 140726262879386 140726262882255 0
[pid=11356/tid=11358] ppid=11353 vsize=15012696 memory=540 CPUtime=0 cores=0,2,4,6
/proc/11356/task/11358/stat : 11358 (java) S 11353 11353 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405418175 15373000704 22457 33554432000 4194304 4196468 140726262871776 140512237951632 140512233719509 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35561472 140726262878958 140726262879386 140726262879386 140726262882255 0
[pid=11356/tid=11359] ppid=11353 vsize=15012696 memory=140435327373809 CPUtime=0 cores=0,2,4,6
/proc/11356/task/11359/stat : 11359 (java) S 11353 11353 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405418175 15373000704 22457 33554432000 4194304 4196468 140726262871776 140512071330320 140512233719509 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35561472 140726262878958 140726262879386 140726262879386 140726262882255 0
[pid=11356/tid=11360] ppid=11353 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11356/task/11360/stat : 11360 (java) S 11353 11353 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405418175 15373000704 22457 33554432000 4194304 4196468 140726262871776 140511693232528 140512233719509 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35561472 140726262878958 140726262879386 140726262879386 140726262882255 0
[pid=11356/tid=11361] ppid=11353 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11356/task/11361/stat : 11361 (java) S 11353 11353 8795 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405418175 15373000704 22457 33554432000 4194304 4196468 140726262871776 140511692179728 140512233719509 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35561472 140726262878958 140726262879386 140726262879386 140726262882255 0
[pid=11356/tid=11362] ppid=11353 vsize=15012696 memory=140435324438144 CPUtime=0 cores=0,2,4,6
/proc/11356/task/11362/stat : 11362 (java) S 11353 11353 8795 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405418176 15373000704 22457 33554432000 4194304 4196468 140726262871776 140511002831728 140512233720450 0 0 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35561472 140726262878958 140726262879386 140726262879386 140726262882255 0
[pid=11356/tid=11363] ppid=11353 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11356/task/11363/stat : 11363 (java) S 11353 11353 8795 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405418177 15373000704 22457 33554432000 4194304 4196468 140726262871776 140510928823840 140512233719509 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35561472 140726262878958 140726262879386 140726262879386 140726262882255 0
[pid=11356/tid=11364] ppid=11353 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11356/task/11364/stat : 11364 (java) S 11353 11353 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405418177 15373000704 22457 33554432000 4194304 4196468 140726262871776 140510660388208 140512233719509 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35561472 140726262878958 140726262879386 140726262879386 140726262882255 0
[pid=11356/tid=11365] ppid=11353 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11356/task/11365/stat : 11365 (java) S 11353 11353 8795 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405418179 15373000704 22457 33554432000 4194304 4196468 140726262871776 140510285879632 140512233727899 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35561472 140726262878958 140726262879386 140726262879386 140726262882255 0
[pid=11356/tid=11366] ppid=11353 vsize=15012696 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/11356/task/11366/stat : 11366 (java) S 11353 11353 8795 0 -1 1077944384 486 0 0 0 1 0 0 0 20 0 15 0 405418179 15373000704 22457 33554432000 4194304 4196468 140726262871776 140511001778544 140512233720450 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35561472 140726262878958 140726262879386 140726262879386 140726262882255 0
[pid=11356/tid=11367] ppid=11353 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11356/task/11367/stat : 11367 (java) S 11353 11353 8795 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405418179 15373000704 22457 33554432000 4194304 4196468 140726262871776 140511000725744 140512233720450 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35561472 140726262878958 140726262879386 140726262879386 140726262882255 0
[pid=11356/tid=11368] ppid=11353 vsize=15012696 memory=140435324438144 CPUtime=0.02 cores=0,2,4,6
/proc/11356/task/11368/stat : 11368 (java) S 11353 11353 8795 0 -1 1077944384 499 0 0 0 2 0 0 0 20 0 15 0 405418179 15373000704 22457 33554432000 4194304 4196468 140726262871776 140510999672944 140512233720450 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35561472 140726262878958 140726262879386 140726262879386 140726262882255 0
[pid=11356/tid=11369] ppid=11353 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11356/task/11369/stat : 11369 (java) S 11353 11353 8795 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405418180 15373000704 22457 33554432000 4194304 4196468 140726262871776 140509787973856 140512233719509 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35561472 140726262878958 140726262879386 140726262879386 140726262882255 0
[pid=11356/tid=11370] ppid=11353 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11356/task/11370/stat : 11370 (java) S 11353 11353 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405418180 15373000704 22457 33554432000 4194304 4196468 140726262871776 140510998621360 140512233720450 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35561472 140726262878958 140726262879386 140726262879386 140726262882255 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 91224 KiB
[startup+0.310771 s]*
/proc/loadavg: 2.01 2.02 2.05 3/234 11370
/proc/meminfo: memFree=24706172/32770624 swapFree=66927092/67108860
[pid=11353] ppid=11350 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/11353/stat : 11353 (scop.sh) S 11350 11353 8795 0 -1 4202496 556 322 0 0 0 0 0 0 20 0 1 0 405418172 115843072 349 33554432000 4194304 5098028 140730567833536 140730567830792 140476050973308 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 13172736 140730567840552 140730567840880 140730567840880 140730567843789 0
/proc/11353/statm: 28282 349 296 221 0 87 0
[pid=11356] ppid=11353 vsize=15012696 memory=93752 CPUtime=0.43 cores=0,2,4,6
/proc/11356/stat : 11356 (java) S 11353 11353 8795 0 -1 1077944320 12431 0 0 0 39 4 0 0 20 0 15 0 405418173 15373000704 23438 33554432000 4194304 4196468 140726262871776 140726262854320 140512233709303 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35561472 140726262878958 140726262879386 140726262879386 140726262882255 0
/proc/11356/statm: 3753174 23438 3047 1 0 3715579 0
[pid=11356/tid=11357] ppid=11353 vsize=15012696 memory=6791534058613427641 CPUtime=0.3 cores=0,2,4,6
/proc/11356/task/11357/stat : 11357 (java) R 11353 11353 8795 0 -1 4202560 9846 0 0 0 27 3 0 0 20 0 15 0 405418173 15373000704 23438 33554432000 4194304 4196468 140726262871776 140512205526752 140512213984602 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35561472 140726262878958 140726262879386 140726262879386 140726262882255 0
[pid=11356/tid=11358] ppid=11353 vsize=15012696 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/11356/task/11358/stat : 11358 (java) S 11353 11353 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405418175 15373000704 23438 33554432000 4194304 4196468 140726262871776 140512237951632 140512233719509 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35561472 140726262878958 140726262879386 140726262879386 140726262882255 0
[pid=11356/tid=11359] ppid=11353 vsize=15012696 memory=-5587046532246807594 CPUtime=0 cores=0,2,4,6
/proc/11356/task/11359/stat : 11359 (java) S 11353 11353 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405418175 15373000704 23438 33554432000 4194304 4196468 140726262871776 140512071330320 140512233719509 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35561472 140726262878958 140726262879386 140726262879386 140726262882255 0
[pid=11356/tid=11360] ppid=11353 vsize=15012696 memory=7379517702019849078 CPUtime=0 cores=0,2,4,6
/proc/11356/task/11360/stat : 11360 (java) S 11353 11353 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405418175 15373000704 23438 33554432000 4194304 4196468 140726262871776 140511693232528 140512233719509 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35561472 140726262878958 140726262879386 140726262879386 140726262882255 0
[pid=11356/tid=11361] ppid=11353 vsize=15012696 memory=7016714186490735262 CPUtime=0 cores=0,2,4,6
/proc/11356/task/11361/stat : 11361 (java) S 11353 11353 8795 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405418175 15373000704 23438 33554432000 4194304 4196468 140726262871776 140511692179728 140512233719509 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35561472 140726262878958 140726262879386 140726262879386 140726262882255 0
[pid=11356/tid=11362] ppid=11353 vsize=15012696 memory=4498404016631593313 CPUtime=0 cores=0,2,4,6
/proc/11356/task/11362/stat : 11362 (java) S 11353 11353 8795 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405418176 15373000704 23438 33554432000 4194304 4196468 140726262871776 140511002831728 140512233720450 0 0 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35561472 140726262878958 140726262879386 140726262879386 140726262882255 0
[pid=11356/tid=11363] ppid=11353 vsize=15012696 memory=-6519613052471072158 CPUtime=0 cores=0,2,4,6
/proc/11356/task/11363/stat : 11363 (java) S 11353 11353 8795 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405418177 15373000704 23438 33554432000 4194304 4196468 140726262871776 140510928823840 140512233719509 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35561472 140726262878958 140726262879386 140726262879386 140726262882255 0
[pid=11356/tid=11364] ppid=11353 vsize=15012696 memory=7827413994055111515 CPUtime=0 cores=0,2,4,6
/proc/11356/task/11364/stat : 11364 (java) S 11353 11353 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405418177 15373000704 23438 33554432000 4194304 4196468 140726262871776 140510660388208 140512233719509 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35561472 140726262878958 140726262879386 140726262879386 140726262882255 0
[pid=11356/tid=11365] ppid=11353 vsize=15012696 memory=8508281356422055839 CPUtime=0 cores=0,2,4,6
/proc/11356/task/11365/stat : 11365 (java) S 11353 11353 8795 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405418179 15373000704 23438 33554432000 4194304 4196468 140726262871776 140510285879632 140512233727899 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35561472 140726262878958 140726262879386 140726262879386 140726262882255 0
[pid=11356/tid=11366] ppid=11353 vsize=15012696 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/11356/task/11366/stat : 11366 (java) S 11353 11353 8795 0 -1 1077944384 542 0 0 0 2 0 0 0 20 0 15 0 405418179 15373000704 23438 33554432000 4194304 4196468 140726262871776 140511001778544 140512233720450 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35561472 140726262878958 140726262879386 140726262879386 140726262882255 0
[pid=11356/tid=11367] ppid=11353 vsize=15012696 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/11356/task/11367/stat : 11367 (java) S 11353 11353 8795 0 -1 1077944384 113 0 0 0 1 0 0 0 20 0 15 0 405418179 15373000704 23438 33554432000 4194304 4196468 140726262871776 140511000725744 140512233720450 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35561472 140726262878958 140726262879386 140726262879386 140726262882255 0
[pid=11356/tid=11368] ppid=11353 vsize=15012696 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/11356/task/11368/stat : 11368 (java) S 11353 11353 8795 0 -1 1077944384 598 0 0 0 7 0 0 0 20 0 15 0 405418179 15373000704 23438 33554432000 4194304 4196468 140726262871776 140510999672944 140512233720450 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35561472 140726262878958 140726262879386 140726262879386 140726262882255 0
[pid=11356/tid=11369] ppid=11353 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11356/task/11369/stat : 11369 (java) S 11353 11353 8795 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405418180 15373000704 23438 33554432000 4194304 4196468 140726262871776 140509787973856 140512233719509 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35561472 140726262878958 140726262879386 140726262879386 140726262882255 0
[pid=11356/tid=11370] ppid=11353 vsize=15012696 memory=3833747676884644912 CPUtime=0 cores=0,2,4,6
/proc/11356/task/11370/stat : 11370 (java) S 11353 11353 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405418180 15373000704 23438 33554432000 4194304 4196468 140726262871776 140510998621360 140512233720450 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35561472 140726262878958 140726262879386 140726262879386 140726262882255 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 95148 KiB
[startup+0.700819 s]
/proc/loadavg: 2.01 2.02 2.05 3/234 11370
/proc/meminfo: memFree=24684548/32770624 swapFree=66927092/67108860
[pid=11353] ppid=11350 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/11353/stat : 11353 (scop.sh) S 11350 11353 8795 0 -1 4202496 556 322 0 0 0 0 0 0 20 0 1 0 405418172 115843072 349 33554432000 4194304 5098028 140730567833536 140730567830792 140476050973308 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 13172736 140730567840552 140730567840880 140730567840880 140730567843789 0
/proc/11353/statm: 28282 349 296 221 0 87 0
[pid=11356] ppid=11353 vsize=15021092 memory=131332 CPUtime=1 cores=0,2,4,6
/proc/11356/stat : 11356 (java) S 11353 11353 8795 0 -1 1077944320 20035 0 0 0 94 6 0 0 20 0 15 0 405418173 15381598208 32833 33554432000 4194304 4196468 140726262871776 140726262854320 140512233709303 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35561472 140726262878958 140726262879386 140726262879386 140726262882255 0
/proc/11356/statm: 3755273 32833 3217 1 0 3716603 0
[pid=11356/tid=11357] ppid=11353 vsize=15021092 memory=0 CPUtime=0.68 cores=0,2,4,6
/proc/11356/task/11357/stat : 11357 (java) R 11353 11353 8795 0 -1 4202560 16914 0 0 0 63 5 0 0 20 0 15 0 405418173 15381598208 32833 33554432000 4194304 4196468 140726262871776 140512205541072 140512217789790 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35561472 140726262878958 140726262879386 140726262879386 140726262882255 0
[pid=11356/tid=11358] ppid=11353 vsize=15021092 memory=5252745004214 CPUtime=0 cores=0,2,4,6
/proc/11356/task/11358/stat : 11358 (java) S 11353 11353 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405418175 15381598208 32833 33554432000 4194304 4196468 140726262871776 140512237951632 140512233719509 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35561472 140726262878958 140726262879386 140726262879386 140726262882255 0
[pid=11356/tid=11359] ppid=11353 vsize=15021092 memory=288230596050944315 CPUtime=0 cores=0,2,4,6
/proc/11356/task/11359/stat : 11359 (java) S 11353 11353 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405418175 15381598208 32833 33554432000 4194304 4196468 140726262871776 140512071330320 140512233719509 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35561472 140726262878958 140726262879386 140726262879386 140726262882255 0
[pid=11356/tid=11360] ppid=11353 vsize=15021092 memory=14690799036142200 CPUtime=0 cores=0,2,4,6
/proc/11356/task/11360/stat : 11360 (java) S 11353 11353 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405418175 15381598208 32833 33554432000 4194304 4196468 140726262871776 140511693232528 140512233719509 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35561472 140726262878958 140726262879386 140726262879386 140726262882255 0
[pid=11356/tid=11361] ppid=11353 vsize=15021092 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11356/task/11361/stat : 11361 (java) S 11353 11353 8795 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405418175 15381598208 32833 33554432000 4194304 4196468 140726262871776 140511692179728 140512233719509 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35561472 140726262878958 140726262879386 140726262879386 140726262882255 0
[pid=11356/tid=11362] ppid=11353 vsize=15021092 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11356/task/11362/stat : 11362 (java) S 11353 11353 8795 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 405418176 15381598208 32833 33554432000 4194304 4196468 140726262871776 140511002831728 140512233720450 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35561472 140726262878958 140726262879386 140726262879386 140726262882255 0
[pid=11356/tid=11363] ppid=11353 vsize=15021092 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11356/task/11363/stat : 11363 (java) S 11353 11353 8795 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405418177 15381598208 32833 33554432000 4194304 4196468 140726262871776 140510928823840 140512233719509 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35561472 140726262878958 140726262879386 140726262879386 140726262882255 0
[pid=11356/tid=11364] ppid=11353 vsize=15021092 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11356/task/11364/stat : 11364 (java) S 11353 11353 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405418177 15381598208 32833 33554432000 4194304 4196468 140726262871776 140510660388208 140512233719509 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35561472 140726262878958 140726262879386 140726262879386 140726262882255 0
[pid=11356/tid=11365] ppid=11353 vsize=15021092 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11356/task/11365/stat : 11365 (java) S 11353 11353 8795 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405418179 15381598208 32833 33554432000 4194304 4196468 140726262871776 140510285879632 140512233727899 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35561472 140726262878958 140726262879386 140726262879386 140726262882255 0
[pid=11356/tid=11366] ppid=11353 vsize=15021092 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/11356/task/11366/stat : 11366 (java) R 11353 11353 8795 0 -1 4202560 797 0 0 0 9 0 0 0 20 0 15 0 405418179 15381598208 32833 33554432000 4194304 4196468 140726262871776 140511001778544 140512212970002 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35561472 140726262878958 140726262879386 140726262879386 140726262882255 0
[pid=11356/tid=11367] ppid=11353 vsize=15021092 memory=0 CPUtime=0.06 cores=0,2,4,6
/proc/11356/task/11367/stat : 11367 (java) S 11353 11353 8795 0 -1 1077944384 214 0 0 0 6 0 0 0 20 0 15 0 405418179 15381598208 32833 33554432000 4194304 4196468 140726262871776 140511000725744 140512233720450 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35561472 140726262878958 140726262879386 140726262879386 140726262882255 0
[pid=11356/tid=11368] ppid=11353 vsize=15021092 memory=0 CPUtime=0.15 cores=0,2,4,6
/proc/11356/task/11368/stat : 11368 (java) S 11353 11353 8795 0 -1 1077944384 775 0 0 0 15 0 0 0 20 0 15 0 405418179 15381598208 32833 33554432000 4194304 4196468 140726262871776 140510999672944 140512233720450 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35561472 140726262878958 140726262879386 140726262879386 140726262882255 0
[pid=11356/tid=11369] ppid=11353 vsize=15021092 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11356/task/11369/stat : 11369 (java) S 11353 11353 8795 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405418180 15381598208 32833 33554432000 4194304 4196468 140726262871776 140509787973856 140512233719509 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35561472 140726262878958 140726262879386 140726262879386 140726262882255 0
[pid=11356/tid=11370] ppid=11353 vsize=15021092 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11356/task/11370/stat : 11370 (java) S 11353 11353 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405418180 15381598208 32833 33554432000 4194304 4196468 140726262871776 140510998621360 140512233720450 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35561472 140726262878958 140726262879386 140726262879386 140726262882255 0
Current children cumulated CPU time: 1 s
Current children cumulated vsize: 15134220 KiB
Current children cumulated memory: 132728 KiB
[startup+1.50082 s]
/proc/loadavg: 2.01 2.02 2.05 3/234 11370
/proc/meminfo: memFree=24659340/32770624 swapFree=66927092/67108860
[pid=11353] ppid=11350 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/11353/stat : 11353 (scop.sh) S 11350 11353 8795 0 -1 4202496 556 322 0 0 0 0 0 0 20 0 1 0 405418172 115843072 349 33554432000 4194304 5098028 140730567833536 140730567830792 140476050973308 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 13172736 140730567840552 140730567840880 140730567840880 140730567843789 0
/proc/11353/statm: 28282 349 296 221 0 87 0
[pid=11356] ppid=11353 vsize=15025188 memory=177776 CPUtime=2.85 cores=0,2,4,6
/proc/11356/stat : 11356 (java) S 11353 11353 8795 0 -1 1077944320 23598 0 0 0 276 9 0 0 20 0 15 0 405418173 15385792512 44444 33554432000 4194304 4196468 140726262871776 140726262854320 140512233709303 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35561472 140726262878958 140726262879386 140726262879386 140726262882255 0
/proc/11356/statm: 3756297 44444 3246 1 0 3717627 0
[pid=11356/tid=11357] ppid=11353 vsize=15025188 memory=280870325849488 CPUtime=1.47 cores=0,2,4,6
/proc/11356/task/11357/stat : 11357 (java) R 11353 11353 8795 0 -1 4202560 18329 0 0 0 141 6 0 0 20 0 15 0 405418173 15385792512 44444 33554432000 4194304 4196468 140726262871776 140512205534448 140512215291088 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35561472 140726262878958 140726262879386 140726262879386 140726262882255 0
[pid=11356/tid=11358] ppid=11353 vsize=15025188 memory=111632 CPUtime=0 cores=0,2,4,6
/proc/11356/task/11358/stat : 11358 (java) S 11353 11353 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405418175 15385792512 44444 33554432000 4194304 4196468 140726262871776 140512237951632 140512233719509 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35561472 140726262878958 140726262879386 140726262879386 140726262882255 0
[pid=11356/tid=11359] ppid=11353 vsize=15025188 memory=804 CPUtime=0 cores=0,2,4,6
/proc/11356/task/11359/stat : 11359 (java) S 11353 11353 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405418175 15385792512 44444 33554432000 4194304 4196468 140726262871776 140512071330320 140512233719509 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35561472 140726262878958 140726262879386 140726262879386 140726262882255 0
[pid=11356/tid=11360] ppid=11353 vsize=15025188 memory=1804 CPUtime=0 cores=0,2,4,6
/proc/11356/task/11360/stat : 11360 (java) S 11353 11353 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405418175 15385792512 44444 33554432000 4194304 4196468 140726262871776 140511693232528 140512233719509 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35561472 140726262878958 140726262879386 140726262879386 140726262882255 0
[pid=11356/tid=11361] ppid=11353 vsize=15025188 memory=920 CPUtime=0 cores=0,2,4,6
/proc/11356/task/11361/stat : 11361 (java) S 11353 11353 8795 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405418175 15385792512 44444 33554432000 4194304 4196468 140726262871776 140511692179728 140512233719509 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35561472 140726262878958 140726262879386 140726262879386 140726262882255 0
[pid=11356/tid=11362] ppid=11353 vsize=15025188 memory=3844 CPUtime=0 cores=0,2,4,6
/proc/11356/task/11362/stat : 11362 (java) S 11353 11353 8795 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 405418176 15385792512 44444 33554432000 4194304 4196468 140726262871776 140511002831728 140512233720450 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35561472 140726262878958 140726262879386 140726262879386 140726262882255 0
[pid=11356/tid=11363] ppid=11353 vsize=15025188 memory=2584 CPUtime=0 cores=0,2,4,6
/proc/11356/task/11363/stat : 11363 (java) S 11353 11353 8795 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405418177 15385792512 44444 33554432000 4194304 4196468 140726262871776 140510928823840 140512233719509 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35561472 140726262878958 140726262879386 140726262879386 140726262882255 0
[pid=11356/tid=11364] ppid=11353 vsize=15025188 memory=3644 CPUtime=0 cores=0,2,4,6
/proc/11356/task/11364/stat : 11364 (java) S 11353 11353 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405418177 15385792512 44444 33554432000 4194304 4196468 140726262871776 140510660388208 140512233719509 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35561472 140726262878958 140726262879386 140726262879386 140726262882255 0
[pid=11356/tid=11365] ppid=11353 vsize=15025188 memory=1412 CPUtime=0 cores=0,2,4,6
/proc/11356/task/11365/stat : 11365 (java) S 11353 11353 8795 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405418179 15385792512 44444 33554432000 4194304 4196468 140726262871776 140510285879632 140512233727899 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35561472 140726262878958 140726262879386 140726262879386 140726262882255 0
[pid=11356/tid=11366] ppid=11353 vsize=15025188 memory=3440 CPUtime=0.36 cores=0,2,4,6
/proc/11356/task/11366/stat : 11366 (java) R 11353 11353 8795 0 -1 4202560 1111 0 0 0 36 0 0 0 20 0 15 0 405418179 15385792512 44444 33554432000 4194304 4196468 140726262871776 140511001756864 140512217096080 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35561472 140726262878958 140726262879386 140726262879386 140726262882255 0
[pid=11356/tid=11367] ppid=11353 vsize=15025188 memory=1476 CPUtime=0.34 cores=0,2,4,6
/proc/11356/task/11367/stat : 11367 (java) R 11353 11353 8795 0 -1 1077944384 626 0 0 0 34 0 0 0 20 0 15 0 405418179 15385792512 44444 33554432000 4194304 4196468 140726262871776 140511000725872 140512233719509 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35561472 140726262878958 140726262879386 140726262879386 140726262882255 0
[pid=11356/tid=11368] ppid=11353 vsize=15025188 memory=134820 CPUtime=0.64 cores=0,2,4,6
/proc/11356/task/11368/stat : 11368 (java) R 11353 11353 8795 0 -1 4202560 2197 0 0 0 64 0 0 0 20 0 15 0 405418179 15385792512 44444 33554432000 4194304 4196468 140726262871776 140510999670736 140512217789790 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35561472 140726262878958 140726262879386 140726262879386 140726262882255 0
[pid=11356/tid=11369] ppid=11353 vsize=15025188 memory=201632 CPUtime=0 cores=0,2,4,6
/proc/11356/task/11369/stat : 11369 (java) S 11353 11353 8795 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405418180 15385792512 44444 33554432000 4194304 4196468 140726262871776 140509787973856 140512233719509 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35561472 140726262878958 140726262879386 140726262879386 140726262882255 0
[pid=11356/tid=11370] ppid=11353 vsize=15025188 memory=4100 CPUtime=0 cores=0,2,4,6
/proc/11356/task/11370/stat : 11370 (java) S 11353 11353 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405418180 15385792512 44444 33554432000 4194304 4196468 140726262871776 140510998621360 140512233720450 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35561472 140726262878958 140726262879386 140726262879386 140726262882255 0
Current children cumulated CPU time: 2.85 s
Current children cumulated vsize: 15138316 KiB
Current children cumulated memory: 179172 KiB
[startup+2.83956 s]
# the end of solver process 11353 was just reported to runsolver
# cumulated CPU time of all completed processes: user=5.55394 s, system=0.201032 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.60193 s]
/proc/loadavg: 2.01 2.02 2.05 3/234 11370
/proc/meminfo: memFree=24659340/32770624 swapFree=66927092/67108860
[pid=11353] ppid=11350 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/11353/stat : 11353 (scop.sh) S 11350 11353 8795 0 -1 4202496 556 322 0 0 0 0 0 0 20 0 1 0 405418172 115843072 349 33554432000 4194304 5098028 140730567833536 140730567830792 140476050973308 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 13172736 140730567840552 140730567840880 140730567840880 140730567843789 0
/proc/11353/statm: 28282 349 296 221 0 87 0
[pid=11356] ppid=11353 vsize=15025188 memory=185428 CPUtime=3.18 cores=0,2,4,6
/proc/11356/stat : 11356 (java) S 11353 11353 8795 0 -1 1077944320 23960 0 0 0 309 9 0 0 20 0 15 0 405418173 15385792512 46357 33554432000 4194304 4196468 140726262871776 140726262854320 140512233709303 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35561472 140726262878958 140726262879386 140726262879386 140726262882255 0
/proc/11356/statm: 3756297 46357 3247 1 0 3717627 0
[pid=11356/tid=11357] ppid=11353 vsize=15025188 memory=1396 CPUtime=1.57 cores=0,2,4,6
/proc/11356/task/11357/stat : 11357 (java) R 11353 11353 8795 0 -1 4202560 18365 0 0 0 151 6 0 0 20 0 15 0 405418173 15385792512 46357 33554432000 4194304 4196468 140726262871776 140512205547536 140511735734420 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35561472 140726262878958 140726262879386 140726262879386 140726262882255 0
[pid=11356/tid=11358] ppid=11353 vsize=15025188 memory=142916 CPUtime=0 cores=0,2,4,6
/proc/11356/task/11358/stat : 11358 (java) S 11353 11353 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405418175 15385792512 46357 33554432000 4194304 4196468 140726262871776 140512237951632 140512233719509 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35561472 140726262878958 140726262879386 140726262879386 140726262882255 0
[pid=11356/tid=11359] ppid=11353 vsize=15025188 memory=280870325933632 CPUtime=0 cores=0,2,4,6
/proc/11356/task/11359/stat : 11359 (java) S 11353 11353 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405418175 15385792512 46357 33554432000 4194304 4196468 140726262871776 140512071330320 140512233719509 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35561472 140726262878958 140726262879386 140726262879386 140726262882255 0
[pid=11356/tid=11360] ppid=11353 vsize=15025188 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11356/task/11360/stat : 11360 (java) S 11353 11353 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405418175 15385792512 46357 33554432000 4194304 4196468 140726262871776 140511693232528 140512233719509 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35561472 140726262878958 140726262879386 140726262879386 140726262882255 0
[pid=11356/tid=11361] ppid=11353 vsize=15025188 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11356/task/11361/stat : 11361 (java) S 11353 11353 8795 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405418175 15385792512 46357 33554432000 4194304 4196468 140726262871776 140511692179728 140512233719509 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35561472 140726262878958 140726262879386 140726262879386 140726262882255 0
[pid=11356/tid=11362] ppid=11353 vsize=15025188 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11356/task/11362/stat : 11362 (java) S 11353 11353 8795 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 405418176 15385792512 46357 33554432000 4194304 4196468 140726262871776 140511002831728 140512233720450 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35561472 140726262878958 140726262879386 140726262879386 140726262882255 0
[pid=11356/tid=11363] ppid=11353 vsize=15025188 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11356/task/11363/stat : 11363 (java) S 11353 11353 8795 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405418177 15385792512 46357 33554432000 4194304 4196468 140726262871776 140510928823840 140512233719509 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35561472 140726262878958 140726262879386 140726262879386 140726262882255 0
[pid=11356/tid=11364] ppid=11353 vsize=15025188 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11356/task/11364/stat : 11364 (java) S 11353 11353 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405418177 15385792512 46357 33554432000 4194304 4196468 140726262871776 140510660388208 140512233719509 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35561472 140726262878958 140726262879386 140726262879386 140726262882255 0
[pid=11356/tid=11365] ppid=11353 vsize=15025188 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11356/task/11365/stat : 11365 (java) S 11353 11353 8795 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405418179 15385792512 46357 33554432000 4194304 4196468 140726262871776 140510285879632 140512233727899 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35561472 140726262878958 140726262879386 140726262879386 140726262882255 0
[pid=11356/tid=11366] ppid=11353 vsize=15025188 memory=0 CPUtime=0.46 cores=0,2,4,6
/proc/11356/task/11366/stat : 11366 (java) R 11353 11353 8795 0 -1 4202560 1278 0 0 0 46 0 0 0 20 0 15 0 405418179 15385792512 46357 33554432000 4194304 4196468 140726262871776 140511001764416 140512213125765 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35561472 140726262878958 140726262879386 140726262879386 140726262882255 0
[pid=11356/tid=11367] ppid=11353 vsize=15025188 memory=0 CPUtime=0.43 cores=0,2,4,6
/proc/11356/task/11367/stat : 11367 (java) R 11353 11353 8795 0 -1 4202560 707 0 0 0 43 0 0 0 20 0 15 0 405418179 15385792512 46357 33554432000 4194304 4196468 140726262871776 140511000712312 140512213402500 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35561472 140726262878958 140726262879386 140726262879386 140726262882255 0
[pid=11356/tid=11368] ppid=11353 vsize=15025188 memory=0 CPUtime=0.68 cores=0,2,4,6
/proc/11356/task/11368/stat : 11368 (java) S 11353 11353 8795 0 -1 1077944384 2275 0 0 0 67 1 0 0 20 0 15 0 405418179 15385792512 46357 33554432000 4194304 4196468 140726262871776 140510999672944 140512233720450 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35561472 140726262878958 140726262879386 140726262879386 140726262882255 0
[pid=11356/tid=11369] ppid=11353 vsize=15025188 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11356/task/11369/stat : 11369 (java) S 11353 11353 8795 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405418180 15385792512 46357 33554432000 4194304 4196468 140726262871776 140509787973856 140512233719509 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35561472 140726262878958 140726262879386 140726262879386 140726262882255 0
[pid=11356/tid=11370] ppid=11353 vsize=15025188 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11356/task/11370/stat : 11370 (java) S 11353 11353 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405418180 15385792512 46357 33554432000 4194304 4196468 140726262871776 140510998621360 140512233720450 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35561472 140726262878958 140726262879386 140726262879386 140726262882255 0
Current children cumulated CPU time: 3.18 s
Current children cumulated vsize: 15138316 KiB
Current children cumulated memory: 186824 KiB
[startup+2.40689 s]
/proc/loadavg: 2.01 2.02 2.05 4/234 11370
/proc/meminfo: memFree=24574148/32770624 swapFree=66927092/67108860
[pid=11353] ppid=11350 vsize=113128 memory=1476 CPUtime=4.48 cores=0,2,4,6
/proc/11353/stat : 11353 (scop.sh) S 11350 11353 8795 0 -1 4202496 584 26092 0 0 0 0 436 12 20 0 1 0 405418172 115843072 369 33554432000 4194304 5098028 140730567833536 140730567830280 140476050973308 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 13172736 140730567840552 140730567840880 140730567840880 140730567843789 0
/proc/11353/statm: 28282 369 311 221 0 87 0
Current children cumulated CPU time: 4.48 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1476 KiB
[startup+2.80031 s]
/proc/loadavg: 2.01 2.02 2.05 4/234 11370
/proc/meminfo: memFree=24574148/32770624 swapFree=66927092/67108860
[pid=11353] ppid=11350 vsize=113128 memory=1476 CPUtime=4.48 cores=0,2,4,6
/proc/11353/stat : 11353 (scop.sh) S 11350 11353 8795 0 -1 4202496 584 26092 0 0 0 0 436 12 20 0 1 0 405418172 115843072 369 33554432000 4194304 5098028 140730567833536 140730567830280 140476050973308 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 13172736 140730567840552 140730567840880 140730567840880 140730567843789 0
/proc/11353/statm: 28282 369 311 221 0 87 0
Current children cumulated CPU time: 4.48 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1476 KiB
Child status: 0
Real time (s): 2.83961
CPU time (s): 5.75497
CPU user time (s): 5.55394
CPU system time (s): 0.201032
CPU usage (%): 202.668
Max. virtual memory (cumulated for all children) (KiB): 15140432
Max. memory (cumulated for all children) (KiB): 222088
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.55394
system time used= 0.201032
maximum resident set size= 229572
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 48622
page faults= 0
swaps= 0
block input operations= 0
block output operations= 288
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5172
involuntary context switches= 26
# summary of solver processes directly reported to runsolver:
# pid: 11353
# total CPU time (s): 5.75497
# total CPU user time (s): 5.55394
# total CPU system time (s): 0.201032
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.041466 second user time and 0.070174 second system time
The end