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-7980-serial-file.bin HOME/instance-4387833-1568291369.xml
0.64/0.55
0.64/0.55 Fun-sCOP order+glueminisat-simp-2.2.10-193oa-n-release (2019-06-15)
0.64/0.55
0.64/0.58 c BEGIN-Prog: Thu Sep 12 14:28:52 CEST 2019
0.64/0.58 c PID: 7983
0.64/0.58 c IP: 172.20.3.126
0.64/0.58 c HOST: node126.alineos.net
0.64/0.58 c (0,0) Parsing Begin
2.29/1.23 c (0,0) Parsing End
2.29/1.23 c (0,0) CSP: 54 int (0 aux), 6 bool (0 aux), 636 ctr, max domain size 5
2.29/1.24 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 21 MiB used (max 0 MiB)
2.29/1.24 c (0,0) Constraint Name Generate Begin
2.29/1.25 c (0,0) Ctr:HOME/instance-4387833-1568291369.xml,Cardinality:Instantiation:LexMatrix:Ne:Num:Or:Var
2.29/1.25 c (0,0) Constraint Name Generate End
2.29/1.25 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 21 MiB used (max 0 MiB)
2.29/1.25 c (0,0) CSP to CSPinCNF Begin
2.52/1.36 c (0,0) translated 64 (10%) constraints
2.52/1.39 c (0,0) translated 128 (20%) constraints
2.75/1.41 c (0,0) translated 191 (30%) constraints
2.75/1.43 c (0,0) translated 255 (40%) constraints
2.75/1.44 c (0,0) translated 318 (50%) constraints
2.75/1.45 c (0,0) translated 382 (60%) constraints
2.75/1.46 c (0,0) translated 446 (70%) constraints
2.75/1.47 c (0,0) translated 509 (80%) constraints
2.75/1.48 c (0,0) translated 573 (90%) constraints
3.24/1.67 c (1,1) translated 636 (100%) constraints
3.54/1.75 c (1,1) ===========================================
3.54/1.75 c (1,1) Order
3.54/1.75 c (1,1) ===========================================
3.54/1.77 c (1,1) translated 144 (10%) constraints
3.54/1.79 c (1,1) translated 287 (20%) constraints
3.84/1.81 c (1,1) translated 430 (30%) constraints
3.84/1.82 c (1,1) translated 574 (40%) constraints
3.84/1.86 c (1,1) translated 717 (50%) constraints
3.84/1.88 c (1,1) translated 860 (60%) constraints
4.16/1.91 c (1,1) translated 1004 (70%) constraints
4.16/1.93 c (1,1) translated 1147 (80%) constraints
4.16/1.94 c (1,1) translated 1290 (90%) constraints
4.16/1.95 c (1,1) translated 1433 (100%) constraints
4.16/1.96 c (1,1) CSP to CSPinCNF End
4.16/1.96 c (1,1) CSP: 114 int (60 aux), 673 bool (667 aux), 2188 ctr, max domain size 5
4.16/1.96 c (1,1) Heap : 225 MiB used (max 10795 MiB), NonHeap : 26 MiB used (max 0 MiB)
4.16/1.96 c (1,1) CSPinCNF Propagation Begin
4.51/2.05 c (1,1) 205 values, 814 unsatisfiable literals, and 761 valid clauses are removed
4.51/2.05 c (1,1) CSPinCNF Propagation End
4.51/2.05 c (1,1) CSP: 101 int (47 aux), 686 bool (680 aux), 1427 ctr, max domain size 5
4.51/2.05 c (1,1) Heap : 281 MiB used (max 10795 MiB), NonHeap : 27 MiB used (max 0 MiB)
4.51/2.05 c (1,1) Simplify CSPinCNF Begin
4.51/2.10 c (1,1) Simplify CSPinCNF End
4.51/2.10 c (1,1) CSP: 101 int (47 aux), 1408 bool (1402 aux), 2149 ctr, max domain size 5
4.51/2.10 c (1,1) Heap : 281 MiB used (max 10795 MiB), NonHeap : 27 MiB used (max 0 MiB)
4.51/2.10 c (1,1) Calculate Precise Domain Begin
4.82/2.14 c (1,1) 0 values are removed by re-calculation
4.82/2.14 c (1,1) Calculate Precise Domain End
4.82/2.14 c (1,1) CSP: 101 int (47 aux), 1408 bool (1402 aux), 2149 ctr, max domain size 5
4.82/2.14 c (1,1) Heap : 281 MiB used (max 10795 MiB), NonHeap : 28 MiB used (max 0 MiB)
4.82/2.14 c (1,1) CSPinCNF to SatSolver Begin
5.08/2.27 c (1,1) 215 (10 %) CSP clauses are encoded (0 SAT variables, 1039 SAT clauses)
5.43/2.30 c (1,1) 430 (20 %) CSP clauses are encoded (0 SAT variables, 1934 SAT clauses)
5.43/2.33 c (1,1) 645 (30 %) CSP clauses are encoded (0 SAT variables, 2777 SAT clauses)
5.43/2.36 c (1,1) 860 (40 %) CSP clauses are encoded (0 SAT variables, 3544 SAT clauses)
5.43/2.38 c (1,1) 1075 (50 %) CSP clauses are encoded (0 SAT variables, 4559 SAT clauses)
5.43/2.38 c (1,1) 1290 (60 %) CSP clauses are encoded (0 SAT variables, 4774 SAT clauses)
5.77/2.40 c (1,1) 1505 (70 %) CSP clauses are encoded (0 SAT variables, 5729 SAT clauses)
5.77/2.41 c (1,1) 1720 (80 %) CSP clauses are encoded (0 SAT variables, 6684 SAT clauses)
5.77/2.42 c (1,1) 1935 (90 %) CSP clauses are encoded (0 SAT variables, 6899 SAT clauses)
5.77/2.43 c (1,1) 2149 (100 %) CSP clauses are encoded (0 SAT variables, 7550 SAT clauses)
5.77/2.43 c (1,1) CSPinCNF to SatSolver End
5.77/2.43 c (1,1) Heap : 281 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
5.77/2.43 c (1,1) 1544 bool, 7554 clause
5.77/2.43 c (1,1) Export Begin
6.09/2.52 c (1,1) Export to HOME/scop-7980-serial-file.bin
6.09/2.52 c (1,1) Export End
6.09/2.52 c (1,1) Export File Size: 0.01 MB
6.09/2.52 c (1,1) 0,0,1,1,1,1,1,STOP-AFTER(DIMACS)
6.09/2.52 c END-Prog: Thu Sep 12 14:28:54 CEST 2019
6.09/2.54 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-7980-serial-file.bin
6.77/3.01 c (0,0) Read Serial File Begin
6.77/3.01 c (0,0) HOME/scop-7980-serial-file.bin
7.06/3.21 c (0,0) Read Serial File End
7.06/3.22
7.06/3.22 Fun-sCOP order+glueminisat-simp-2.2.10-193oa-n-release (2019-06-15)
7.06/3.22 (Solving Process)
7.06/3.22
7.06/3.24 c BEGIN-Prog: Thu Sep 12 14:28:55 CEST 2019
7.06/3.24 c PID: 7998
7.06/3.24 c IP: 172.20.3.126
7.06/3.24 c HOST: node126.alineos.net
7.06/3.25 c (0,0) SatSolver.solve Begin
7.06/3.25 c (0,0) HOME/glueminisat-simp-2.2.10-193oa-n-release -model -verb=3 -elim-cl=5000000 -native-oa HOME/instance-4387833-1568291369.xml-scop-7983.cnf
7.06/3.28 c (0,0) c WARNING: for repeatability, setting FPU to use double precision
7.06/3.28 c (0,0) c glueminisat-simp-2.2.10-193oa-n
7.06/3.28 c (0,0) c Command: HOME/glueminisat-simp-2.2.10-193oa-n-release -model -verb=3 -elim-cl=5000000 -native-oa HOME/instance-4387833-1568291369.xml-scop-7983.cnf
7.06/3.28 c (0,0) c Options:
7.06/3.28 c (0,0) c CORE
7.06/3.28 c (0,0) c var_decay = 0.950
7.06/3.28 c (0,0) c clause_decay = 0.999
7.06/3.28 c (0,0) c random_var_freq = 0.000
7.06/3.28 c (0,0) c random_seed = 91648253.000
7.06/3.28 c (0,0) c luby_restart = 1
7.06/3.28 c (0,0) c ccmin_mode = 2
7.06/3.28 c (0,0) c phase_saving = 2
7.06/3.28 c (0,0) c rnd_pol = 0
7.06/3.28 c (0,0) c rnd_init_act = 0
7.06/3.28 c (0,0) c garbage_frac = 0.200
7.06/3.28 c (0,0) c restart_first = 1000
7.06/3.28 c (0,0) c restart_inc = 2.000
7.06/3.28 c (0,0) c MODEL
7.06/3.28 c (0,0) c partial_model = 0
7.06/3.28 c (0,0) c PROPAGATION
7.06/3.28 c (0,0) c bin_propagation = 1
7.06/3.28 c (0,0) c SIMPLIFICATION
7.06/3.28 c (0,0) c lrn_min_size = 100
7.06/3.28 c (0,0) c lazy_simp = 1
7.06/3.28 c (0,0) c lazy_interval = 10
7.06/3.28 c (0,0) c lazy_fld_probing = 1
7.06/3.28 c (0,0) c lazy_pol_probing = 1
7.06/3.28 c (0,0) c lazy_nec_probing = 1
7.06/3.28 c (0,0) c lazy_eqv_probing = 1
7.06/3.28 c (0,0) c lazy_cla_probing = 1
7.06/3.28 c (0,0) c lazy_lrn_min = 2
7.06/3.28 c (0,0) c lazy_uw_lit_elim = 1
7.06/3.28 c (0,0) c lazy_pr_lit_elim = 0
7.06/3.28 c (0,0) c lazy_bin_add = 3
7.06/3.28 c (0,0) c probed_lit_chain = 1
7.06/3.28 c (0,0) c pr_min_lits = 0.00020
7.06/3.28 c (0,0) c pr_min_starts = 500
7.06/3.28 c (0,0) c rw_min_lits = 0.010
7.06/3.28 c (0,0) c rw_min_starts = 500
7.06/3.28 c (0,0) c rand_attach = 0
7.06/3.28 c (0,0) c dec_elim = 1
7.06/3.28 c (0,0) c dec_elim_lim = 25
7.06/3.28 c (0,0) c dec_elim_len = -1
7.06/3.28 c (0,0) c amo = 0
7.06/3.28 c (0,0) c amo_grp = 1
7.06/3.28 c (0,0) c amo_max_bins = 1000000
7.06/3.28 c (0,0) c amo_starts = 50
7.06/3.28 c (0,0) c mace_cmd = mace
7.06/3.28 c (0,0) c DECISION
7.06/3.28 c (0,0) c rand_rebuild = 0
7.06/3.28 c (0,0) c rand_rebuild_confs = 10000
7.06/3.28 c (0,0) c inc_var_decay = 1
7.06/3.28 c (0,0) c inc_var_decay_period = 100000
7.06/3.28 c (0,0) c inc_var_decay_init = 0.600
7.06/3.28 c (0,0) c var_decay_mode = 0
7.06/3.28 c (0,0) c var_decay_gain = 0
7.06/3.28 c (0,0) c sloped_var_decay = 1
7.06/3.28 c (0,0) c max_var_decay = 0.990
7.06/3.28 c (0,0) c min_var_decay = 0.950
7.06/3.28 c (0,0) c min_var_decay_vars = 10000
7.06/3.28 c (0,0) c max_var_decay_vars = 500
7.06/3.28 c (0,0) c uip_bumping = 1
7.06/3.28 c (0,0) c lbd_act_bumping = 1
7.06/3.28 c (0,0) c rand_tiebreak = 0
7.06/3.28 c (0,0) c simp_rebuild = 1
7.06/3.28 c (0,0) c RESTART
7.06/3.28 c (0,0) c restart_strategy = 2
7.06/3.28 c (0,0) c restart_blocking = 0
7.06/3.28 c (0,0) c agility_decay = 0.99990
7.06/3.28 c (0,0) c lbd_restart_rate = 0.800
7.06/3.28 c (0,0) c dec_restart_rate = 0.950
7.06/3.28 c (0,0) c blk_restart_rate = 0.700
7.06/3.28 c (0,0) c lbd_queue_size = 50
7.06/3.28 c (0,0) c dec_queue_size = 50
7.06/3.28 c (0,0) c trl_queue_size = 5000
7.06/3.28 c (0,0) c blk_restart_weight = 1.000
7.06/3.28 c (0,0) c inc_rst_rate = 0
7.06/3.28 c (0,0) c inc_rst_rate_period = 500000
7.06/3.28 c (0,0) c inc_lbd_rst_rate_init = 0.600
7.06/3.28 c (0,0) c inc_dec_rst_rate_init = 0.750
7.06/3.28 c (0,0) c REDUCTION
7.06/3.28 c (0,0) c closed_lbd = 0
7.06/3.28 c (0,0) c closed_lbd_rate = 0.500
7.06/3.28 c (0,0) c rm_simulate = 0
7.06/3.28 c (0,0) c rdb_eval = 2
7.06/3.28 c (0,0) c rdb_call = 3
7.06/3.28 c (0,0) c rdb_ub = 0.500
7.06/3.28 c (0,0) c core_lbd_cvr = 0.800
7.06/3.28 c (0,0) c supp_lbd_cvr = 0.990
7.06/3.28 c (0,0) c core_lbd_lb = 2
7.06/3.28 c (0,0) c supp_lbd_lb = 2
7.06/3.28 c (0,0) c core_lbd_prd = 7
7.06/3.28 c (0,0) c supp_lbd_prd = 1
7.06/3.28 c (0,0) c othr_lbd_prd = 0
7.06/3.28 c (0,0) c inc_lrn_limit = 1000
7.06/3.28 c (0,0) c frozen_lbd = 30
7.06/3.28 c (0,0) c simp_min_starts = 100
7.06/3.28 c (0,0) c rm_low_act_learnts = 1
7.06/3.28 c (0,0) c lv0_reduce_db = 0
7.06/3.28 c (0,0) c reduce_db_base = 20000
7.06/3.28 c (0,0) c reduce_db_inc = 1000
7.06/3.28 c (0,0) c HARD
7.06/3.28 c (0,0) c inst_check = 200000
7.06/3.28 c (0,0) c small_block = 1.750
7.06/3.28 c (0,0) c slow_restart_speed = 400.000
7.06/3.28 c (0,0) c slow_restart_strategy = 3
7.06/3.28 c (0,0) c slow_lbd_restart_rate = 0.700
7.06/3.28 c (0,0) c slow_dec_restart_rate = 1.000
7.06/3.28 c (0,0) c slow_lbd_queue_size = 50
7.06/3.28 c (0,0) c slow_var_decay = 0.950
7.06/3.28 c (0,0) c slow_glue_threshold = 2
7.06/3.28 c (0,0) c slow_phase_saving = 2
7.06/3.28 c (0,0) c fast_restart_speed = 125.000
7.06/3.28 c (0,0) c fast_restart_strategy = 1
7.06/3.28 c (0,0) c fast_lbd_restart_rate = 0.800
7.06/3.28 c (0,0) c fast_dec_restart_rate = 0.950
7.06/3.28 c (0,0) c fast_lbd_queue_size = 50
7.06/3.28 c (0,0) c fast_var_decay = 1.000
7.06/3.28 c (0,0) c fast_glue_threshold = 2
7.06/3.28 c (0,0) c fast_phase_saving = 2
7.06/3.28 c (0,0) c STATS
7.06/3.28 c (0,0) c stats_conf_size = 10000
7.06/3.28 c (0,0) c max_stats_size = 30
7.06/3.28 c (0,0) c SOLVER
7.06/3.28 c (0,0) c minisat = 0
7.06/3.28 c (0,0) c Problem: 1544 variables, 7554 clauses, parsing 0.00 s
7.06/3.28 c (0,0) c reduced to 1181 variables, 7022 clauses (grow = 0)
7.06/3.28 c (0,0) c exclude 163 (13.8%) variables from decision variables (last cost 25)
7.06/3.28 c (0,0) c Simplification: 526 vars, 532 clauses are eliminated using 0.01 s
7.06/3.28 c (0,0) c
7.06/3.28 c (0,0) c #Rstrts #Confs #Vars #Clauses #Learnts Lits/C LBD/C DLVs Trail
7.06/3.28 c (0,0) c
7.06/3.28 c (0,0) c 0 0 0 1018 7022 0 -nan -nan -nan -nan%
7.06/3.29 c (0,0) c 0 2 83 1047 7022 80 28.9 18.1 85.6 47.9%
7.06/3.29 c (0,0) c
7.06/3.29 c (0,0) c
7.06/3.29 c (0,0) c variables : 1047 (init 1544, after simp 1018, 124 non-decs, 90 csp)
7.06/3.29 c (0,0) c clauses : 7022 (init 7554, after simp 7022)
7.06/3.29 c (0,0) c restarts : 1 (41.50 confs/res, 12~71 confs, 0 blks, 0 last)
7.06/3.29 c (0,0) c conflicts : 83 (6914 /sec, 61.45% dconfs, 0.00% supp, trail 9.13w x 85.58h, jmp 8.66h)
7.06/3.29 c (0,0) c decisions : 933 (0.6000 vdcy, 77718 /sec, 0.00% bin, rs 0.000 s)
7.06/3.29 c (0,0) c propagations : 14183 (1181424 /sec, 15.20 lits/dec, 2.23% o.a.)
7.06/3.29 c (0,0) c conflict literals : 2607 (11.28% deleted; 0.08% by bin min, 0.000 s)
7.06/3.29 c (0,0) c len : 28.850 (27.84 for all, max 102, used 97)
7.06/3.29 c (0,0) c lbd : 18.050 (18.17 (17.43) for all, max 63, used 63, 16.499 stdev, 1.532 blk)
7.06/3.29 c (0,0) c amo : 0 (0 max, -nan avg, 0.000 s)
7.06/3.29 c (0,0) c simp dbs : 1 (0.000 s)
7.06/3.29 c (0,0) c reduce dbs : 0 (core-lbd 2, supp-lbd 2147483647, 0.000 s)
7.06/3.29 c (0,0) c learnts : 80 (0 learnts removed, 0.00%)
7.06/3.29 c (0,0) c rewrite dbs : 0 (0/0 vars, 0+0 taut, 0+0 unit, 0.000 s)
7.06/3.29 c (0,0) c assigned lits : 0 (0/0 probed, 0 remains)
7.06/3.29 c (0,0) c premise updates : 0 (0.00 /lit)
7.06/3.29 c (0,0) c probed variables : 0 (0 pr, 0 eq, 0 fld, 0 pol, 0 nec, 0 cla, 0 amo)
7.06/3.29 c (0,0) c equiv variables : 0 (0 bin, 0 trn, 0 quat, 0 quin, 0 othr; 0 amo)
7.06/3.29 c (0,0) c lazy added bins : 0 (0 prop + 0 conf, 0.000s)
7.06/3.29 c (0,0) c unwatched lit elim: 1 (0.00+0.04%, 0+1 of 20869+2607)
7.06/3.29 c (0,0) c classified type : undef
7.06/3.29 c (0,0) c progress : 0.946 %
7.06/3.29 c (0,0) c
7.06/3.29 c (0,0) c [Statistics]
7.06/3.29 c (0,0) c learnts len learnts lbd lit blk size eq vars size
7.06/3.29 c (0,0) c tot 83 83 1508 0
7.06/3.29 c (0,0) c avg 27.843 17.434 1.532 -nan
7.06/3.29 c (0,0) c 1 3 ( 3.6%) 3 ( 3.6%) 1204 (79.8%) 0 (-nan%)
7.06/3.29 c (0,0) c 2 2 ( 2.4%) 6 ( 7.2%) 140 ( 9.3%) 0 (-nan%)
7.06/3.29 c (0,0) c 3 5 ( 6.0%) 6 ( 7.2%) 71 ( 4.7%) 0 (-nan%)
7.06/3.29 c (0,0) c 4 3 ( 3.6%) 5 ( 6.0%) 29 ( 1.9%) 0 (-nan%)
7.06/3.29 c (0,0) c 5 4 ( 4.8%) 3 ( 3.6%) 22 ( 1.5%) 0 (-nan%)
7.06/3.29 c (0,0) c 6 1 ( 1.2%) 1 ( 1.2%) 14 ( 0.9%) 0 (-nan%)
7.06/3.29 c (0,0) c 7 4 ( 4.8%) 6 ( 7.2%) 5 ( 0.3%) 0 (-nan%)
7.06/3.29 c (0,0) c 8 2 ( 2.4%) 3 ( 3.6%) 3 ( 0.2%) 0 (-nan%)
7.06/3.29 c (0,0) c 9 4 ( 4.8%) 5 ( 6.0%) 5 ( 0.3%) 0 (-nan%)
7.06/3.29 c (0,0) c 10 2 ( 2.4%) 1 ( 1.2%) 2 ( 0.1%) 0 (-nan%)
7.06/3.29 c (0,0) c 11 2 ( 2.4%) 1 ( 1.2%) 3 ( 0.2%) 0 (-nan%)
7.06/3.29 c (0,0) c 12 3 ( 3.6%) 1 ( 1.2%) 1 ( 0.1%) 0 (-nan%)
7.06/3.29 c (0,0) c 13 4 ( 4.8%) 3 ( 3.6%) 2 ( 0.1%) 0 (-nan%)
7.06/3.29 c (0,0) c 14 1 ( 1.2%) 2 ( 2.4%) 2 ( 0.1%) 0 (-nan%)
7.06/3.29 c (0,0) c 15 1 ( 1.2%) 3 ( 3.6%) 3 ( 0.2%) 0 (-nan%)
7.06/3.29 c (0,0) c 16 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
7.06/3.29 c (0,0) c 17 2 ( 2.4%) 1 ( 1.2%) 0 ( 0.0%) 0 (-nan%)
7.06/3.29 c (0,0) c 18 2 ( 2.4%) 2 ( 2.4%) 2 ( 0.1%) 0 (-nan%)
7.06/3.29 c (0,0) c 19 3 ( 3.6%) 2 ( 2.4%) 0 ( 0.0%) 0 (-nan%)
7.06/3.29 c (0,0) c 20 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
7.06/3.29 c (0,0) c 21 0 ( 0.0%) 1 ( 1.2%) 0 ( 0.0%) 0 (-nan%)
7.06/3.29 c (0,0) c 22 0 ( 0.0%) 2 ( 2.4%) 0 ( 0.0%) 0 (-nan%)
7.06/3.29 c (0,0) c 23 0 ( 0.0%) 1 ( 1.2%) 0 ( 0.0%) 0 (-nan%)
7.06/3.29 c (0,0) c 24 0 ( 0.0%) 4 ( 4.8%) 0 ( 0.0%) 0 (-nan%)
7.06/3.29 c (0,0) c 25 0 ( 0.0%) 1 ( 1.2%) 0 ( 0.0%) 0 (-nan%)
7.06/3.29 c (0,0) c 26 1 ( 1.2%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
7.06/3.29 c (0,0) c 27 1 ( 1.2%) 3 ( 3.6%) 0 ( 0.0%) 0 (-nan%)
7.06/3.29 c (0,0) c 28 1 ( 1.2%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
7.06/3.29 c (0,0) c 29 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
7.06/3.29 c (0,0) c 30 32 (38.6%) 17 (20.5%) 0 ( 0.0%) 0 (-nan%)
7.06/3.29 c (0,0) c
7.06/3.29 c (0,0) c [LBD Statistics]
7.06/3.29 c (0,0) c LBD used lbd used clause lbd unused clause lbd
7.06/3.29 c (0,0) c tot 60 37 43
7.06/3.29 c (0,0) c avg 18.933 17.324 18.674
7.06/3.29 c (0,0) c 1 0 ( 0.0/ 0.0%) 0 ( 0.0/ 0.0%) 0 ( 0.0/ 0.0%)
7.06/3.29 c (0,0) c 2 9 (15.0/15.0%) 4 (10.8/10.8%) 2 ( 4.7/ 4.7%)
7.06/3.29 c (0,0) c 3 0 ( 0.0/15.0%) 0 ( 0.0/10.8%) 6 (14.0/18.6%)
7.06/3.29 c (0,0) c 4 2 ( 3.3/18.3%) 3 ( 8.1/18.9%) 2 ( 4.7/23.3%)
7.06/3.29 c (0,0) c 5 2 ( 3.3/21.7%) 1 ( 2.7/21.6%) 2 ( 4.7/27.9%)
7.06/3.29 c (0,0) c 6 1 ( 1.7/23.3%) 1 ( 2.7/24.3%) 0 ( 0.0/27.9%)
7.06/3.29 c (0,0) c 7 5 ( 8.3/31.7%) 3 ( 8.1/32.4%) 3 ( 7.0/34.9%)
7.06/3.29 c (0,0) c 8 2 ( 3.3/35.0%) 2 ( 5.4/37.8%) 1 ( 2.3/37.2%)
7.06/3.29 c (0,0) c 9 4 ( 6.7/41.7%) 2 ( 5.4/43.2%) 3 ( 7.0/44.2%)
7.06/3.29 c (0,0) c 10 0 ( 0.0/41.7%) 1 ( 2.7/45.9%) 0 ( 0.0/44.2%)
7.06/3.29 c (0,0) c 11 1 ( 1.7/43.3%) 1 ( 2.7/48.6%) 0 ( 0.0/44.2%)
7.06/3.29 c (0,0) c 12 4 ( 6.7/50.0%) 1 ( 2.7/51.4%) 0 ( 0.0/44.2%)
7.06/3.29 c (0,0) c 13 1 ( 1.7/51.7%) 1 ( 2.7/54.1%) 2 ( 4.7/48.8%)
7.06/3.29 c (0,0) c 14 1 ( 1.7/53.3%) 2 ( 5.4/59.5%) 0 ( 0.0/48.8%)
7.06/3.29 c (0,0) c 15 0 ( 0.0/53.3%) 1 ( 2.7/62.2%) 2 ( 4.7/53.5%)
7.06/3.29 c (0,0) c 16 2 ( 3.3/56.7%) 0 ( 0.0/62.2%) 0 ( 0.0/53.5%)
7.06/3.29 c (0,0) c 17 1 ( 1.7/58.3%) 0 ( 0.0/62.2%) 1 ( 2.3/55.8%)
7.06/3.29 c (0,0) c 18 0 ( 0.0/58.3%) 1 ( 2.7/64.9%) 1 ( 2.3/58.1%)
7.06/3.29 c (0,0) c 19 1 ( 1.7/60.0%) 0 ( 0.0/64.9%) 2 ( 4.7/62.8%)
7.06/3.29 c (0,0) c 20 0 ( 0.0/60.0%) 0 ( 0.0/64.9%) 0 ( 0.0/62.8%)
7.06/3.29 c (0,0) c 21 0 ( 0.0/60.0%) 1 ( 2.7/67.6%) 0 ( 0.0/62.8%)
7.06/3.29 c (0,0) c 22 1 ( 1.7/61.7%) 1 ( 2.7/70.3%) 1 ( 2.3/65.1%)
7.06/3.29 c (0,0) c 23 1 ( 1.7/63.3%) 0 ( 0.0/70.3%) 1 ( 2.3/67.4%)
7.06/3.29 c (0,0) c 24 7 (11.7/75.0%) 3 ( 8.1/78.4%) 1 ( 2.3/69.8%)
7.06/3.29 c (0,0) c 25 0 ( 0.0/75.0%) 0 ( 0.0/78.4%) 1 ( 2.3/72.1%)
7.06/3.29 c (0,0) c 26 0 ( 0.0/75.0%) 0 ( 0.0/78.4%) 0 ( 0.0/72.1%)
7.06/3.29 c (0,0) c 27 1 ( 1.7/76.7%) 1 ( 2.7/81.1%) 2 ( 4.7/76.7%)
7.06/3.29 c (0,0) c 28 1 ( 1.7/78.3%) 0 ( 0.0/81.1%) 0 ( 0.0/76.7%)
7.06/3.29 c (0,0) c 29 0 ( 0.0/78.3%) 0 ( 0.0/81.1%) 0 ( 0.0/76.7%)
7.06/3.29 c (0,0) c 30 0 ( 0.0/78.3%) 0 ( 0.0/81.1%) 0 ( 0.0/76.7%)
7.06/3.29 c (0,0) c 31 0 ( 0.0/78.3%) 0 ( 0.0/81.1%) 1 ( 2.3/79.1%)
7.06/3.29 c (0,0) c 32 0 ( 0.0/78.3%) 1 ( 2.7/83.8%) 0 ( 0.0/79.1%)
7.06/3.29 c (0,0) c 33 3 ( 5.0/83.3%) 1 ( 2.7/86.5%) 0 ( 0.0/79.1%)
7.06/3.29 c (0,0) c 34 0 ( 0.0/83.3%) 0 ( 0.0/86.5%) 1 ( 2.3/81.4%)
7.06/3.29 c (0,0) c 35 0 ( 0.0/83.3%) 0 ( 0.0/86.5%) 0 ( 0.0/81.4%)
7.06/3.29 c (0,0) c 36 3 ( 5.0/88.3%) 1 ( 2.7/89.2%) 0 ( 0.0/81.4%)
7.06/3.29 c (0,0) c 37 0 ( 0.0/88.3%) 0 ( 0.0/89.2%) 1 ( 2.3/83.7%)
7.06/3.29 c (0,0) c 38 0 ( 0.0/88.3%) 0 ( 0.0/89.2%) 2 ( 4.7/88.4%)
7.06/3.29 c (0,0) c 39 0 ( 0.0/88.3%) 0 ( 0.0/89.2%) 0 ( 0.0/88.4%)
7.06/3.29 c (0,0) c 40 0 ( 0.0/88.3%) 1 ( 2.7/91.9%) 0 ( 0.0/88.4%)
7.06/3.29 c (0,0) c 41 1 ( 1.7/90.0%) 0 ( 0.0/91.9%) 0 ( 0.0/88.4%)
7.06/3.29 c (0,0) c 42 0 ( 0.0/90.0%) 1 ( 2.7/94.6%) 0 ( 0.0/88.4%)
7.06/3.29 c (0,0) c 43 0 ( 0.0/90.0%) 0 ( 0.0/94.6%) 0 ( 0.0/88.4%)
7.06/3.29 c (0,0) c 44 2 ( 3.3/93.3%) 0 ( 0.0/94.6%) 0 ( 0.0/88.4%)
7.06/3.29 c (0,0) c 45 0 ( 0.0/93.3%) 0 ( 0.0/94.6%) 0 ( 0.0/88.4%)
7.06/3.29 c (0,0) c 46 0 ( 0.0/93.3%) 0 ( 0.0/94.6%) 1 ( 2.3/90.7%)
7.06/3.29 c (0,0) c 47 0 ( 0.0/93.3%) 0 ( 0.0/94.6%) 1 ( 2.3/93.0%)
7.06/3.29 c (0,0) c 48 0 ( 0.0/93.3%) 0 ( 0.0/94.6%) 0 ( 0.0/93.0%)
7.06/3.29 c (0,0) c 49 0 ( 0.0/93.3%) 0 ( 0.0/94.6%) 1 ( 2.3/95.3%)
7.06/3.29 c (0,0) c 50 0 ( 0.0/93.3%) 0 ( 0.0/94.6%) 0 ( 0.0/95.3%)
7.06/3.29 c (0,0) c 51 0 ( 0.0/93.3%) 0 ( 0.0/94.6%) 0 ( 0.0/95.3%)
7.06/3.29 c (0,0) c 52 0 ( 0.0/93.3%) 0 ( 0.0/94.6%) 1 ( 2.3/97.7%)
7.06/3.29 c (0,0) c 53 0 ( 0.0/93.3%) 0 ( 0.0/94.6%) 0 ( 0.0/97.7%)
7.06/3.29 c (0,0) c 54 0 ( 0.0/93.3%) 0 ( 0.0/94.6%) 0 ( 0.0/97.7%)
7.06/3.29 c (0,0) c 55 0 ( 0.0/93.3%) 0 ( 0.0/94.6%) 0 ( 0.0/97.7%)
7.06/3.29 c (0,0) c 56 0 ( 0.0/93.3%) 0 ( 0.0/94.6%) 0 ( 0.0/97.7%)
7.06/3.29 c (0,0) c 57 0 ( 0.0/93.3%) 0 ( 0.0/94.6%) 0 ( 0.0/97.7%)
7.06/3.29 c (0,0) c 58 0 ( 0.0/93.3%) 0 ( 0.0/94.6%) 1 ( 2.3/100.0%)
7.06/3.29 c (0,0) c 59 0 ( 0.0/93.3%) 0 ( 0.0/94.6%) 0 ( 0.0/100.0%)
7.06/3.29 c (0,0) c 60 0 ( 0.0/93.3%) 0 ( 0.0/94.6%) 0 ( 0.0/100.0%)
7.06/3.29 c (0,0) c 61 0 ( 0.0/93.3%) 1 ( 2.7/97.3%) 0 ( 0.0/100.0%)
7.06/3.29 c (0,0) c 62 3 ( 5.0/98.3%) 1 ( 2.7/100.0%) 0 ( 0.0/100.0%)
7.06/3.29 c (0,0) c 63 1 ( 1.7/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
7.06/3.29 c (0,0) c
7.06/3.29 c (0,0) c Memory used : 21.00 MB
7.06/3.29 c (0,0) c CPU time : 0.012 s
7.06/3.29 c (0,0) c Real time : 0.014 s
7.06/3.29 c (0,0) c
7.06/3.29 c (0,0) s SATISFIABLE
7.29/3.33 c (0,0) SatSolver.solve End
7.29/3.33 c (0,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
7.29/3.33 c (0,0) Show results Begin
7.48/3.42 c (0,0) x[0][0] = 0
7.48/3.42 c (0,0) x[0][1] = 0
7.48/3.42 c (0,0) x[0][2] = 0
7.48/3.42 c (0,0) x[0][3] = 1
7.48/3.42 c (0,0) x[0][4] = 1
7.48/3.42 c (0,0) x[0][5] = 1
7.48/3.42 c (0,0) x[0][6] = 2
7.48/3.42 c (0,0) x[0][7] = 2
7.48/3.42 c (0,0) x[0][8] = 2
7.48/3.42 c (0,0) x[0][9] = 3
7.48/3.42 c (0,0) x[0][10] = 3
7.48/3.42 c (0,0) x[0][11] = 3
7.48/3.42 c (0,0) x[0][12] = 4
7.48/3.42 c (0,0) x[0][13] = 4
7.48/3.42 c (0,0) x[0][14] = 4
7.48/3.42 c (0,0) x[1][0] = 2
7.48/3.42 c (0,0) x[1][1] = 3
7.48/3.42 c (0,0) x[1][2] = 4
7.48/3.42 c (0,0) x[1][3] = 0
7.48/3.42 c (0,0) x[1][4] = 1
7.48/3.42 c (0,0) x[1][5] = 2
7.48/3.42 c (0,0) x[1][6] = 1
7.48/3.42 c (0,0) x[1][7] = 3
7.48/3.42 c (0,0) x[1][8] = 4
7.48/3.42 c (0,0) x[1][9] = 0
7.48/3.42 c (0,0) x[1][10] = 1
7.48/3.42 c (0,0) x[1][11] = 4
7.48/3.42 c (0,0) x[1][12] = 0
7.48/3.42 c (0,0) x[1][13] = 2
7.48/3.42 c (0,0) x[1][14] = 3
7.48/3.42 c (0,0) x[2][0] = 2
7.48/3.42 c (0,0) x[2][1] = 3
7.48/3.42 c (0,0) x[2][2] = 4
7.48/3.42 c (0,0) x[2][3] = 2
7.48/3.42 c (0,0) x[2][4] = 0
7.48/3.42 c (0,0) x[2][5] = 1
7.48/3.42 c (0,0) x[2][6] = 3
7.48/3.42 c (0,0) x[2][7] = 1
7.48/3.42 c (0,0) x[2][8] = 2
7.48/3.42 c (0,0) x[2][9] = 4
7.48/3.42 c (0,0) x[2][10] = 1
7.48/3.42 c (0,0) x[2][11] = 0
7.48/3.42 c (0,0) x[2][12] = 0
7.48/3.42 c (0,0) x[2][13] = 3
7.48/3.42 c (0,0) x[2][14] = 4
7.48/3.42 c (0,0) x[3][0] = 4
7.48/3.42 c (0,0) x[3][1] = 2
7.48/3.42 c (0,0) x[3][2] = 3
7.48/3.42 c (0,0) x[3][3] = 3
7.48/3.42 c (0,0) x[3][4] = 0
7.48/3.42 c (0,0) x[3][5] = 1
7.48/3.42 c (0,0) x[3][6] = 4
7.48/3.42 c (0,0) x[3][7] = 0
7.48/3.42 c (0,0) x[3][8] = 2
7.48/3.42 c (0,0) x[3][9] = 0
7.48/3.42 c (0,0) x[3][10] = 2
7.48/3.42 c (0,0) x[3][11] = 1
7.48/3.42 c (0,0) x[3][12] = 4
7.48/3.42 c (0,0) x[3][13] = 3
7.48/3.42 c (0,0) x[3][14] = 1
7.48/3.42 s SATISFIABLE
7.48/3.43 v <instantiation>
7.48/3.43 v <list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14]</list>
7.48/3.43 v <values>0 0 0 1 1 1 2 2 2 3 3 3 4 4 4 2 3 4 0 1 2 1 3 4 0 1 4 0 2 3 2 3 4 2 0 1 3 1 2 4 1 0 0 3 4 4 2 3 3 0 1 4 0 2 0 2 1 4 3 1</values>
7.48/3.43 v </instantiation>
7.48/3.43 c (0,0) Show results End
7.48/3.43 c (0,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB)
7.48/3.43 c (0,0) 0,0,STOP-AFTER(ALL)
7.48/3.43 c END-Prog: Thu Sep 12 14:28:55 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 (13782 MiB free)
memory of node 1: 16384 MiB (10126 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4387833-1568291369/watcher-4387833-1568291369 -o /tmp/evaluation-result-4387833-1568291369/solver-4387833-1568291369 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node126-1568286203-6146 --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-4387833-1568291369.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=7980, runsolver pid=7977
[startup+0.100062 s]*
/proc/loadavg: 2.36 2.85 2.96 4/235 7997
/proc/meminfo: memFree=24422028/32770624 swapFree=67004752/67108860
[pid=7980] ppid=7977 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/7980/stat : 7980 (scop.sh) S 7977 7980 5150 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 405404699 115843072 349 33554432000 4194304 5098028 140728081938240 140728081935496 139635354493564 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 19116032 140728081945384 140728081945712 140728081945712 140728081948621 0
/proc/7980/statm: 28282 349 296 221 0 87 0
[pid=7983] ppid=7980 vsize=15012696 memory=72176 CPUtime=0.11 cores=0,2,4,6
/proc/7983/stat : 7983 (java) S 7980 7980 5150 0 -1 1077944320 6341 0 0 0 9 2 0 0 20 0 15 0 405404699 15373000704 18044 33554432000 4194304 4196468 140725479882048 140725479864592 140177207324407 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 8105984 140725479883503 140725479883930 140725479883930 140725479886799 0
/proc/7983/statm: 3753174 18044 2888 1 0 3715579 0
[pid=7983/tid=7984] ppid=7980 vsize=15012696 memory=-2915660033818482078 CPUtime=0.08 cores=0,2,4,6
/proc/7983/task/7984/stat : 7984 (java) R 7980 7980 5150 0 -1 4202560 4161 0 0 0 7 1 0 0 20 0 15 0 405404699 15373000704 18044 33554432000 4194304 4196468 140725479882048 140177179108944 140177207336342 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8105984 140725479883503 140725479883930 140725479883930 140725479886799 0
[pid=7983/tid=7985] ppid=7980 vsize=15012696 memory=4206468019014099040 CPUtime=0 cores=0,2,4,6
/proc/7983/task/7985/stat : 7985 (java) S 7980 7980 5150 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405404701 15373000704 18044 33554432000 4194304 4196468 140725479882048 140177211566352 140177207334613 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8105984 140725479883503 140725479883930 140725479883930 140725479886799 0
[pid=7983/tid=7986] ppid=7980 vsize=15012696 memory=140465668839040 CPUtime=0 cores=0,2,4,6
/proc/7983/task/7986/stat : 7986 (java) S 7980 7980 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405404701 15373000704 18044 33554432000 4194304 4196468 140725479882048 140177002650000 140177207334613 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8105984 140725479883503 140725479883930 140725479883930 140725479886799 0
[pid=7983/tid=7987] ppid=7980 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7983/task/7987/stat : 7987 (java) S 7980 7980 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405404701 15373000704 18044 33554432000 4194304 4196468 140725479882048 140177001597456 140177207334613 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8105984 140725479883503 140725479883930 140725479883930 140725479886799 0
[pid=7983/tid=7988] ppid=7980 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7983/task/7988/stat : 7988 (java) S 7980 7980 5150 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405404701 15373000704 18044 33554432000 4194304 4196468 140725479882048 140177000544912 140177207334613 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8105984 140725479883503 140725479883930 140725479883930 140725479886799 0
[pid=7983/tid=7989] ppid=7980 vsize=15012696 memory=140465668839040 CPUtime=0 cores=0,2,4,6
/proc/7983/task/7989/stat : 7989 (java) S 7980 7980 5150 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405404702 15373000704 18044 33554432000 4194304 4196468 140725479882048 140176177826288 140177207335554 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8105984 140725479883503 140725479883930 140725479883930 140725479886799 0
[pid=7983/tid=7990] ppid=7980 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7983/task/7990/stat : 7990 (java) S 7980 7980 5150 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405404703 15373000704 18044 33554432000 4194304 4196468 140725479882048 140175787156896 140177207334613 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8105984 140725479883503 140725479883930 140725479883930 140725479886799 0
[pid=7983/tid=7991] ppid=7980 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7983/task/7991/stat : 7991 (java) S 7980 7980 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405404703 15373000704 18044 33554432000 4194304 4196468 140725479882048 140175518721520 140177207334613 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8105984 140725479883503 140725479883930 140725479883930 140725479886799 0
[pid=7983/tid=7992] ppid=7980 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7983/task/7992/stat : 7992 (java) S 7980 7980 5150 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405404705 15373000704 18044 33554432000 4194304 4196468 140725479882048 140175144213200 140177207343003 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8105984 140725479883503 140725479883930 140725479883930 140725479886799 0
[pid=7983/tid=7993] ppid=7980 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7983/task/7993/stat : 7993 (java) S 7980 7980 5150 0 -1 1077944384 307 0 0 0 0 0 0 0 20 0 15 0 405404705 15373000704 18044 33554432000 4194304 4196468 140725479882048 140176176773200 140177207334613 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8105984 140725479883503 140725479883930 140725479883930 140725479886799 0
[pid=7983/tid=7994] ppid=7980 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7983/task/7994/stat : 7994 (java) S 7980 7980 5150 0 -1 1077944384 122 0 0 0 0 0 0 0 20 0 15 0 405404706 15373000704 18044 33554432000 4194304 4196468 140725479882048 140176175720560 140177207335554 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8105984 140725479883503 140725479883930 140725479883930 140725479886799 0
[pid=7983/tid=7995] ppid=7980 vsize=15012696 memory=140465668839040 CPUtime=0.01 cores=0,2,4,6
/proc/7983/task/7995/stat : 7995 (java) R 7980 7980 5150 0 -1 4202560 459 0 0 0 1 0 0 0 20 0 15 0 405404706 15373000704 18044 33554432000 4194304 4196468 140725479882048 140176174668016 140177207336342 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8105984 140725479883503 140725479883930 140725479883930 140725479886799 0
[pid=7983/tid=7996] ppid=7980 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7983/task/7996/stat : 7996 (java) S 7980 7980 5150 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405404706 15373000704 18044 33554432000 4194304 4196468 140725479882048 140174646307424 140177207334613 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8105984 140725479883503 140725479883930 140725479883930 140725479886799 0
[pid=7983/tid=7997] ppid=7980 vsize=15012696 memory=140465668839040 CPUtime=0 cores=0,2,4,6
/proc/7983/task/7997/stat : 7997 (java) S 7980 7980 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405404706 15373000704 18044 33554432000 4194304 4196468 140725479882048 140176173615920 140177207335554 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8105984 140725479883503 140725479883930 140725479883930 140725479886799 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 73572 KiB
[startup+0.211027 s]*
/proc/loadavg: 2.36 2.85 2.96 3/235 7997
/proc/meminfo: memFree=24405408/32770624 swapFree=67004752/67108860
[pid=7980] ppid=7977 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/7980/stat : 7980 (scop.sh) S 7977 7980 5150 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 405404699 115843072 349 33554432000 4194304 5098028 140728081938240 140728081935496 139635354493564 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 19116032 140728081945384 140728081945712 140728081945712 140728081948621 0
/proc/7980/statm: 28282 349 296 221 0 87 0
[pid=7983] ppid=7980 vsize=15012696 memory=85672 CPUtime=0.24 cores=0,2,4,6
/proc/7983/stat : 7983 (java) S 7980 7980 5150 0 -1 1077944320 10922 0 0 0 21 3 0 0 20 0 15 0 405404699 15373000704 21353 33554432000 4194304 4196468 140725479882048 140725479864592 140177207324407 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 8105984 140725479883503 140725479883930 140725479883930 140725479886799 0
/proc/7983/statm: 3753174 21418 2956 1 0 3715579 0
[pid=7983/tid=7984] ppid=7980 vsize=15012696 memory=7022364632946311227 CPUtime=0.19 cores=0,2,4,6
/proc/7983/task/7984/stat : 7984 (java) R 7980 7980 5150 0 -1 4202560 8654 0 0 0 17 2 0 0 20 0 15 0 405404699 15373000704 21418 33554432000 4194304 4196468 140725479882048 140177179145760 140177191404894 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8105984 140725479883503 140725479883930 140725479883930 140725479886799 0
[pid=7983/tid=7985] ppid=7980 vsize=15012696 memory=365 CPUtime=0 cores=0,2,4,6
/proc/7983/task/7985/stat : 7985 (java) S 7980 7980 5150 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405404701 15373000704 21418 33554432000 4194304 4196468 140725479882048 140177211566352 140177207334613 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8105984 140725479883503 140725479883930 140725479883930 140725479886799 0
[pid=7983/tid=7986] ppid=7980 vsize=15012696 memory=140465668847277 CPUtime=0 cores=0,2,4,6
/proc/7983/task/7986/stat : 7986 (java) S 7980 7980 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405404701 15373000704 21418 33554432000 4194304 4196468 140725479882048 140177002650000 140177207334613 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8105984 140725479883503 140725479883930 140725479883930 140725479886799 0
[pid=7983/tid=7987] ppid=7980 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7983/task/7987/stat : 7987 (java) S 7980 7980 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405404701 15373000704 21418 33554432000 4194304 4196468 140725479882048 140177001597456 140177207334613 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8105984 140725479883503 140725479883930 140725479883930 140725479886799 0
[pid=7983/tid=7988] ppid=7980 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7983/task/7988/stat : 7988 (java) S 7980 7980 5150 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405404701 15373000704 21418 33554432000 4194304 4196468 140725479882048 140177000544912 140177207334613 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8105984 140725479883503 140725479883930 140725479883930 140725479886799 0
[pid=7983/tid=7989] ppid=7980 vsize=15012696 memory=140465668839040 CPUtime=0 cores=0,2,4,6
/proc/7983/task/7989/stat : 7989 (java) S 7980 7980 5150 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405404702 15373000704 21418 33554432000 4194304 4196468 140725479882048 140176177826288 140177207335554 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8105984 140725479883503 140725479883930 140725479883930 140725479886799 0
[pid=7983/tid=7990] ppid=7980 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7983/task/7990/stat : 7990 (java) S 7980 7980 5150 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405404703 15373000704 21418 33554432000 4194304 4196468 140725479882048 140175787156896 140177207334613 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8105984 140725479883503 140725479883930 140725479883930 140725479886799 0
[pid=7983/tid=7991] ppid=7980 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7983/task/7991/stat : 7991 (java) S 7980 7980 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405404703 15373000704 21418 33554432000 4194304 4196468 140725479882048 140175518721520 140177207334613 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8105984 140725479883503 140725479883930 140725479883930 140725479886799 0
[pid=7983/tid=7992] ppid=7980 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7983/task/7992/stat : 7992 (java) S 7980 7980 5150 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405404705 15373000704 21418 33554432000 4194304 4196468 140725479882048 140175144213200 140177207343003 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8105984 140725479883503 140725479883930 140725479883930 140725479886799 0
[pid=7983/tid=7993] ppid=7980 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7983/task/7993/stat : 7993 (java) S 7980 7980 5150 0 -1 1077944384 319 0 0 0 0 0 0 0 20 0 15 0 405404705 15373000704 21418 33554432000 4194304 4196468 140725479882048 140176176773104 140177207335554 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8105984 140725479883503 140725479883930 140725479883930 140725479886799 0
[pid=7983/tid=7994] ppid=7980 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7983/task/7994/stat : 7994 (java) S 7980 7980 5150 0 -1 1077944384 155 0 0 0 0 0 0 0 20 0 15 0 405404706 15373000704 21418 33554432000 4194304 4196468 140725479882048 140176175720560 140177207335554 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8105984 140725479883503 140725479883930 140725479883930 140725479886799 0
[pid=7983/tid=7995] ppid=7980 vsize=15012696 memory=140465668839040 CPUtime=0.02 cores=0,2,4,6
/proc/7983/task/7995/stat : 7995 (java) S 7980 7980 5150 0 -1 1077944384 474 0 0 0 2 0 0 0 20 0 15 0 405404706 15373000704 21418 33554432000 4194304 4196468 140725479882048 140176174668016 140177207335554 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8105984 140725479883503 140725479883930 140725479883930 140725479886799 0
[pid=7983/tid=7996] ppid=7980 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7983/task/7996/stat : 7996 (java) S 7980 7980 5150 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405404706 15373000704 21418 33554432000 4194304 4196468 140725479882048 140174646307424 140177207334613 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8105984 140725479883503 140725479883930 140725479883930 140725479886799 0
[pid=7983/tid=7997] ppid=7980 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7983/task/7997/stat : 7997 (java) S 7980 7980 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405404706 15373000704 21418 33554432000 4194304 4196468 140725479882048 140176173615920 140177207335554 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8105984 140725479883503 140725479883930 140725479883930 140725479886799 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 87068 KiB
[startup+0.311342 s]*
/proc/loadavg: 2.36 2.85 2.96 3/235 7997
/proc/meminfo: memFree=24402120/32770624 swapFree=67004752/67108860
[pid=7980] ppid=7977 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/7980/stat : 7980 (scop.sh) S 7977 7980 5150 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 405404699 115843072 349 33554432000 4194304 5098028 140728081938240 140728081935496 139635354493564 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 19116032 140728081945384 140728081945712 140728081945712 140728081948621 0
/proc/7980/statm: 28282 349 296 221 0 87 0
[pid=7983] ppid=7980 vsize=15012696 memory=89972 CPUtime=0.42 cores=0,2,4,6
/proc/7983/stat : 7983 (java) S 7980 7980 5150 0 -1 1077944320 12013 0 0 0 38 4 0 0 20 0 15 0 405404699 15373000704 22493 33554432000 4194304 4196468 140725479882048 140725479864592 140177207324407 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 8105984 140725479883503 140725479883930 140725479883930 140725479886799 0
/proc/7983/statm: 3753174 22493 3065 1 0 3715579 0
[pid=7983/tid=7984] ppid=7980 vsize=15012696 memory=1398722017469774279 CPUtime=0.29 cores=0,2,4,6
/proc/7983/task/7984/stat : 7984 (java) R 7980 7980 5150 0 -1 4202560 9538 0 0 0 26 3 0 0 20 0 15 0 405404699 15373000704 22493 33554432000 4194304 4196468 140725479882048 140177179119736 140177188887967 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8105984 140725479883503 140725479883930 140725479883930 140725479886799 0
[pid=7983/tid=7985] ppid=7980 vsize=15012696 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/7983/task/7985/stat : 7985 (java) S 7980 7980 5150 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405404701 15373000704 22493 33554432000 4194304 4196468 140725479882048 140177211566352 140177207334613 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8105984 140725479883503 140725479883930 140725479883930 140725479886799 0
[pid=7983/tid=7986] ppid=7980 vsize=15012696 memory=6944656592387989600 CPUtime=0 cores=0,2,4,6
/proc/7983/task/7986/stat : 7986 (java) S 7980 7980 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405404701 15373000704 22493 33554432000 4194304 4196468 140725479882048 140177002650000 140177207334613 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8105984 140725479883503 140725479883930 140725479883930 140725479886799 0
[pid=7983/tid=7987] ppid=7980 vsize=15012696 memory=8562125494162282060 CPUtime=0 cores=0,2,4,6
/proc/7983/task/7987/stat : 7987 (java) S 7980 7980 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405404701 15373000704 22493 33554432000 4194304 4196468 140725479882048 140177001597456 140177207334613 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8105984 140725479883503 140725479883930 140725479883930 140725479886799 0
[pid=7983/tid=7988] ppid=7980 vsize=15012696 memory=7079758230011356562 CPUtime=0 cores=0,2,4,6
/proc/7983/task/7988/stat : 7988 (java) S 7980 7980 5150 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405404701 15373000704 22493 33554432000 4194304 4196468 140725479882048 140177000544912 140177207334613 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8105984 140725479883503 140725479883930 140725479883930 140725479886799 0
[pid=7983/tid=7989] ppid=7980 vsize=15012696 memory=6944938067432061290 CPUtime=0 cores=0,2,4,6
/proc/7983/task/7989/stat : 7989 (java) S 7980 7980 5150 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405404702 15373000704 22493 33554432000 4194304 4196468 140725479882048 140176177826288 140177207335554 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8105984 140725479883503 140725479883930 140725479883930 140725479886799 0
[pid=7983/tid=7990] ppid=7980 vsize=15012696 memory=-9062862659931694204 CPUtime=0 cores=0,2,4,6
/proc/7983/task/7990/stat : 7990 (java) S 7980 7980 5150 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405404703 15373000704 22493 33554432000 4194304 4196468 140725479882048 140175787156896 140177207334613 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8105984 140725479883503 140725479883930 140725479883930 140725479886799 0
[pid=7983/tid=7991] ppid=7980 vsize=15012696 memory=-7465405268641471099 CPUtime=0 cores=0,2,4,6
/proc/7983/task/7991/stat : 7991 (java) S 7980 7980 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405404703 15373000704 22493 33554432000 4194304 4196468 140725479882048 140175518721520 140177207334613 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8105984 140725479883503 140725479883930 140725479883930 140725479886799 0
[pid=7983/tid=7992] ppid=7980 vsize=15012696 memory=7031125463459224206 CPUtime=0 cores=0,2,4,6
/proc/7983/task/7992/stat : 7992 (java) S 7980 7980 5150 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405404705 15373000704 22493 33554432000 4194304 4196468 140725479882048 140175144213200 140177207343003 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8105984 140725479883503 140725479883930 140725479883930 140725479886799 0
[pid=7983/tid=7993] ppid=7980 vsize=15012696 memory=-6517102902069810590 CPUtime=0.01 cores=0,2,4,6
/proc/7983/task/7993/stat : 7993 (java) S 7980 7980 5150 0 -1 1077944384 406 0 0 0 1 0 0 0 20 0 15 0 405404705 15373000704 22493 33554432000 4194304 4196468 140725479882048 140176176773104 140177207335554 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8105984 140725479883503 140725479883930 140725479883930 140725479886799 0
[pid=7983/tid=7994] ppid=7980 vsize=15012696 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/7983/task/7994/stat : 7994 (java) R 7980 7980 5150 0 -1 4202560 217 0 0 0 2 0 0 0 20 0 15 0 405404706 15373000704 22493 33554432000 4194304 4196468 140725479882048 140176175720560 140177188845589 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8105984 140725479883503 140725479883930 140725479883930 140725479886799 0
[pid=7983/tid=7995] ppid=7980 vsize=15012696 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/7983/task/7995/stat : 7995 (java) S 7980 7980 5150 0 -1 1077944384 521 0 0 0 7 0 0 0 20 0 15 0 405404706 15373000704 22493 33554432000 4194304 4196468 140725479882048 140176174668016 140177207335554 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8105984 140725479883503 140725479883930 140725479883930 140725479886799 0
[pid=7983/tid=7996] ppid=7980 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7983/task/7996/stat : 7996 (java) S 7980 7980 5150 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405404706 15373000704 22493 33554432000 4194304 4196468 140725479882048 140174646307424 140177207334613 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8105984 140725479883503 140725479883930 140725479883930 140725479886799 0
[pid=7983/tid=7997] ppid=7980 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7983/task/7997/stat : 7997 (java) S 7980 7980 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405404706 15373000704 22493 33554432000 4194304 4196468 140725479882048 140176173615920 140177207335554 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8105984 140725479883503 140725479883930 140725479883930 140725479886799 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 91368 KiB
[startup+0.700792 s]
/proc/loadavg: 2.36 2.85 2.96 5/235 7997
/proc/meminfo: memFree=24378536/32770624 swapFree=67004752/67108860
[pid=7980] ppid=7977 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/7980/stat : 7980 (scop.sh) S 7977 7980 5150 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 405404699 115843072 349 33554432000 4194304 5098028 140728081938240 140728081935496 139635354493564 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 19116032 140728081945384 140728081945712 140728081945712 140728081948621 0
/proc/7980/statm: 28282 349 296 221 0 87 0
[pid=7983] ppid=7980 vsize=15018968 memory=127336 CPUtime=0.98 cores=0,2,4,6
/proc/7983/stat : 7983 (java) S 7980 7980 5150 0 -1 1077944320 19592 0 0 0 91 7 0 0 20 0 15 0 405404699 15379423232 31834 33554432000 4194304 4196468 140725479882048 140725479864592 140177207324407 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 8105984 140725479883503 140725479883930 140725479883930 140725479886799 0
/proc/7983/statm: 3754742 31834 3185 1 0 3716091 0
[pid=7983/tid=7984] ppid=7980 vsize=15018968 memory=3620 CPUtime=0.66 cores=0,2,4,6
/proc/7983/task/7984/stat : 7984 (java) R 7980 7980 5150 0 -1 4202560 16626 0 0 0 60 6 0 0 20 0 15 0 405404699 15379423232 31834 33554432000 4194304 4196468 140725479882048 140177179163264 140177207336342 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8105984 140725479883503 140725479883930 140725479883930 140725479886799 0
[pid=7983/tid=7985] ppid=7980 vsize=15018968 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7983/task/7985/stat : 7985 (java) S 7980 7980 5150 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405404701 15379423232 31834 33554432000 4194304 4196468 140725479882048 140177211566352 140177207334613 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8105984 140725479883503 140725479883930 140725479883930 140725479886799 0
[pid=7983/tid=7986] ppid=7980 vsize=15018968 memory=6438155977927 CPUtime=0 cores=0,2,4,6
/proc/7983/task/7986/stat : 7986 (java) S 7980 7980 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405404701 15379423232 31834 33554432000 4194304 4196468 140725479882048 140177002650000 140177207334613 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8105984 140725479883503 140725479883930 140725479883930 140725479886799 0
[pid=7983/tid=7987] ppid=7980 vsize=15018968 memory=288230617509003574 CPUtime=0 cores=0,2,4,6
/proc/7983/task/7987/stat : 7987 (java) S 7980 7980 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405404701 15379423232 31900 33554432000 4194304 4196468 140725479882048 140177001597456 140177207334613 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8105984 140725479883503 140725479883930 140725479883930 140725479886799 0
[pid=7983/tid=7988] ppid=7980 vsize=15018968 memory=15822200779310916 CPUtime=0 cores=0,2,4,6
/proc/7983/task/7988/stat : 7988 (java) S 7980 7980 5150 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405404701 15379423232 31900 33554432000 4194304 4196468 140725479882048 140177000544912 140177207334613 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8105984 140725479883503 140725479883930 140725479883930 140725479886799 0
[pid=7983/tid=7989] ppid=7980 vsize=15018968 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7983/task/7989/stat : 7989 (java) S 7980 7980 5150 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 405404702 15379423232 31900 33554432000 4194304 4196468 140725479882048 140176177826288 140177207335554 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8105984 140725479883503 140725479883930 140725479883930 140725479886799 0
[pid=7983/tid=7990] ppid=7980 vsize=15018968 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7983/task/7990/stat : 7990 (java) S 7980 7980 5150 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405404703 15379423232 31900 33554432000 4194304 4196468 140725479882048 140175787156896 140177207334613 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8105984 140725479883503 140725479883930 140725479883930 140725479886799 0
[pid=7983/tid=7991] ppid=7980 vsize=15018968 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7983/task/7991/stat : 7991 (java) S 7980 7980 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405404703 15379423232 31900 33554432000 4194304 4196468 140725479882048 140175518721520 140177207334613 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8105984 140725479883503 140725479883930 140725479883930 140725479886799 0
[pid=7983/tid=7992] ppid=7980 vsize=15018968 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7983/task/7992/stat : 7992 (java) S 7980 7980 5150 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405404705 15379423232 31900 33554432000 4194304 4196468 140725479882048 140175144213200 140177207343003 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8105984 140725479883503 140725479883930 140725479883930 140725479886799 0
[pid=7983/tid=7993] ppid=7980 vsize=15018968 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/7983/task/7993/stat : 7993 (java) S 7980 7980 5150 0 -1 1077944384 619 0 0 0 8 0 0 0 20 0 15 0 405404705 15379423232 31900 33554432000 4194304 4196468 140725479882048 140176176773104 140177207335554 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8105984 140725479883503 140725479883930 140725479883930 140725479886799 0
[pid=7983/tid=7994] ppid=7980 vsize=15018968 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/7983/task/7994/stat : 7994 (java) R 7980 7980 5150 0 -1 1077944384 417 0 0 0 8 0 0 0 20 0 15 0 405404706 15379423232 31900 33554432000 4194304 4196468 140725479882048 140176175720560 140177207335554 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 8105984 140725479883503 140725479883930 140725479883930 140725479886799 0
[pid=7983/tid=7995] ppid=7980 vsize=15018968 memory=0 CPUtime=0.14 cores=0,2,4,6
/proc/7983/task/7995/stat : 7995 (java) R 7980 7980 5150 0 -1 4202560 595 0 0 0 14 0 0 0 20 0 15 0 405404706 15379423232 31900 33554432000 4194304 4196468 140725479882048 140176174668016 140177193019379 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8105984 140725479883503 140725479883930 140725479883930 140725479886799 0
[pid=7983/tid=7996] ppid=7980 vsize=15018968 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7983/task/7996/stat : 7996 (java) S 7980 7980 5150 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405404706 15379423232 31900 33554432000 4194304 4196468 140725479882048 140174646307424 140177207334613 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8105984 140725479883503 140725479883930 140725479883930 140725479886799 0
[pid=7983/tid=7997] ppid=7980 vsize=15018968 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7983/task/7997/stat : 7997 (java) S 7980 7980 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405404706 15379423232 31900 33554432000 4194304 4196468 140725479882048 140176173615920 140177207335554 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8105984 140725479883503 140725479883930 140725479883930 140725479886799 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 15132096 KiB
Current children cumulated memory: 128732 KiB
[startup+1.50082 s]
/proc/loadavg: 2.36 2.85 2.96 5/235 7997
/proc/meminfo: memFree=24346824/32770624 swapFree=67004752/67108860
[pid=7980] ppid=7977 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/7980/stat : 7980 (scop.sh) S 7977 7980 5150 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 405404699 115843072 349 33554432000 4194304 5098028 140728081938240 140728081935496 139635354493564 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 19116032 140728081945384 140728081945712 140728081945712 140728081948621 0
/proc/7980/statm: 28282 349 296 221 0 87 0
################
# More data... #
################
/proc/7983/task/7985/stat : 7985 (java) S 7980 7980 5150 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405404701 15383695360 45616 33554432000 4194304 4196468 140725479882048 140177211566352 140177207334613 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8105984 140725479883503 140725479883930 140725479883930 140725479886799 0
[pid=7983/tid=7986] ppid=7980 vsize=15023140 memory=804 CPUtime=0 cores=0,2,4,6
/proc/7983/task/7986/stat : 7986 (java) S 7980 7980 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405404701 15383695360 45616 33554432000 4194304 4196468 140725479882048 140177002650000 140177207334613 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8105984 140725479883503 140725479883930 140725479883930 140725479886799 0
[pid=7983/tid=7987] ppid=7980 vsize=15023140 memory=1808 CPUtime=0 cores=0,2,4,6
/proc/7983/task/7987/stat : 7987 (java) S 7980 7980 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405404701 15383695360 45616 33554432000 4194304 4196468 140725479882048 140177001597456 140177207334613 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8105984 140725479883503 140725479883930 140725479883930 140725479886799 0
[pid=7983/tid=7988] ppid=7980 vsize=15023140 memory=924 CPUtime=0 cores=0,2,4,6
/proc/7983/task/7988/stat : 7988 (java) S 7980 7980 5150 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405404701 15383695360 45616 33554432000 4194304 4196468 140725479882048 140177000544912 140177207334613 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8105984 140725479883503 140725479883930 140725479883930 140725479886799 0
[pid=7983/tid=7989] ppid=7980 vsize=15023140 memory=3848 CPUtime=0 cores=0,2,4,6
/proc/7983/task/7989/stat : 7989 (java) S 7980 7980 5150 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 405404702 15383695360 45616 33554432000 4194304 4196468 140725479882048 140176177826288 140177207335554 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8105984 140725479883503 140725479883930 140725479883930 140725479886799 0
[pid=7983/tid=7990] ppid=7980 vsize=15023140 memory=2908 CPUtime=0 cores=0,2,4,6
/proc/7983/task/7990/stat : 7990 (java) S 7980 7980 5150 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405404703 15383695360 45616 33554432000 4194304 4196468 140725479882048 140175787156896 140177207334613 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8105984 140725479883503 140725479883930 140725479883930 140725479886799 0
[pid=7983/tid=7991] ppid=7980 vsize=15023140 memory=2676 CPUtime=0 cores=0,2,4,6
/proc/7983/task/7991/stat : 7991 (java) S 7980 7980 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405404703 15383695360 45616 33554432000 4194304 4196468 140725479882048 140175518721520 140177207334613 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8105984 140725479883503 140725479883930 140725479883930 140725479886799 0
[pid=7983/tid=7992] ppid=7980 vsize=15023140 memory=1412 CPUtime=0 cores=0,2,4,6
/proc/7983/task/7992/stat : 7992 (java) S 7980 7980 5150 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405404705 15383695360 45616 33554432000 4194304 4196468 140725479882048 140175144213200 140177207343003 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8105984 140725479883503 140725479883930 140725479883930 140725479886799 0
[pid=7983/tid=7993] ppid=7980 vsize=15023140 memory=3496 CPUtime=0.43 cores=0,2,4,6
/proc/7983/task/7993/stat : 7993 (java) S 7980 7980 5150 0 -1 1077944384 1276 0 0 0 42 1 0 0 20 0 15 0 405404705 15383695360 45616 33554432000 4194304 4196468 140725479882048 140176176773104 140177207335554 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8105984 140725479883503 140725479883930 140725479883930 140725479886799 0
[pid=7983/tid=7994] ppid=7980 vsize=15023140 memory=1472 CPUtime=0.41 cores=0,2,4,6
/proc/7983/task/7994/stat : 7994 (java) S 7980 7980 5150 0 -1 1077944384 647 0 0 0 41 0 0 0 20 0 15 0 405404706 15383695360 45616 33554432000 4194304 4196468 140725479882048 140176175720560 140177207335554 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8105984 140725479883503 140725479883930 140725479883930 140725479886799 0
[pid=7983/tid=7995] ppid=7980 vsize=15023140 memory=1348372 CPUtime=0.65 cores=0,2,4,6
/proc/7983/task/7995/stat : 7995 (java) S 7980 7980 5150 0 -1 1077944384 1995 0 0 0 64 1 0 0 20 0 15 0 405404706 15383695360 45616 33554432000 4194304 4196468 140725479882048 140176174668016 140177207335554 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8105984 140725479883503 140725479883930 140725479883930 140725479886799 0
[pid=7983/tid=7996] ppid=7980 vsize=15023140 memory=2080992 CPUtime=0 cores=0,2,4,6
/proc/7983/task/7996/stat : 7996 (java) S 7980 7980 5150 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405404706 15383695360 45616 33554432000 4194304 4196468 140725479882048 140174646307424 140177207334613 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8105984 140725479883503 140725479883930 140725479883930 140725479886799 0
[pid=7983/tid=7997] ppid=7980 vsize=15023140 memory=4108 CPUtime=0 cores=0,2,4,6
/proc/7983/task/7997/stat : 7997 (java) S 7980 7980 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405404706 15383695360 45616 33554432000 4194304 4196468 140725479882048 140176173615920 140177207335554 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8105984 140725479883503 140725479883930 140725479883930 140725479886799 0
Current children cumulated CPU time: 2.99 s
Current children cumulated vsize: 15136268 KiB
Current children cumulated memory: 183860 KiB
[startup+3.11132 s]
/proc/loadavg: 2.36 2.85 2.96 3/235 8012
/proc/meminfo: memFree=24417548/32770624 swapFree=67004752/67108860
[pid=7980] ppid=7977 vsize=113128 memory=1476 CPUtime=6.17 cores=0,2,4,6
/proc/7980/stat : 7980 (scop.sh) S 7977 7980 5150 0 -1 4202496 584 26938 0 0 0 0 601 16 20 0 1 0 405404699 115843072 369 33554432000 4194304 5098028 140728081938240 140728081934984 139635354493564 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 19116032 140728081945384 140728081945712 140728081945712 140728081948621 0
/proc/7980/statm: 28282 369 311 221 0 87 0
[pid=7998] ppid=7980 vsize=7406604 memory=82048 CPUtime=0.75 cores=0,2,4,6
/proc/7998/stat : 7998 (java) S 7980 7980 5150 0 -1 1077944320 14936 0 0 0 70 5 0 0 20 0 15 0 405404953 7584362496 20512 33554432000 4194304 4196468 140736052716400 140736052698944 140565582081783 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10735616 140736052724732 140736052724890 140736052724890 140736052727759 0
/proc/7998/statm: 1851651 20512 3109 1 0 1813530 0
[pid=7998/tid=7999] ppid=7980 vsize=7406604 memory=3620 CPUtime=0.54 cores=0,2,4,6
/proc/7998/task/7999/stat : 7999 (java) R 7980 7980 5150 0 -1 4202560 12587 0 0 0 50 4 0 0 20 0 15 0 405404954 7584362496 20512 33554432000 4194304 4196468 140736052716400 140565553895000 140565582095687 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10735616 140736052724732 140736052724890 140736052724890 140736052727759 0
[pid=7998/tid=8000] ppid=7980 vsize=7406604 memory=37344 CPUtime=0 cores=0,2,4,6
/proc/7998/task/8000/stat : 8000 (java) S 7980 7980 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405404955 7584362496 20512 33554432000 4194304 4196468 140736052716400 140565586323856 140565582091989 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10735616 140736052724732 140736052724890 140736052724890 140736052727759 0
[pid=7998/tid=8001] ppid=7980 vsize=7406604 memory=280931127142944 CPUtime=0 cores=0,2,4,6
/proc/7998/task/8001/stat : 8001 (java) S 7980 7980 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405404955 7584362496 20512 33554432000 4194304 4196468 140736052716400 140565386492176 140565582091989 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10735616 140736052724732 140736052724890 140736052724890 140736052727759 0
[pid=7998/tid=8002] ppid=7980 vsize=7406604 memory=36462930168554 CPUtime=0 cores=0,2,4,6
/proc/7998/task/8002/stat : 8002 (java) S 7980 7980 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405404955 7584362496 20512 33554432000 4194304 4196468 140736052716400 140565385439888 140565582091989 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10735616 140736052724732 140736052724890 140736052724890 140736052727759 0
[pid=7998/tid=8003] ppid=7980 vsize=7406604 memory=36462930168554 CPUtime=0 cores=0,2,4,6
/proc/7998/task/8003/stat : 8003 (java) S 7980 7980 5150 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405404955 7584362496 20512 33554432000 4194304 4196468 140736052716400 140565384387088 140565582091989 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10735616 140736052724732 140736052724890 140736052724890 140736052727759 0
[pid=7998/tid=8004] ppid=7980 vsize=7406604 memory=36462930168554 CPUtime=0 cores=0,2,4,6
/proc/7998/task/8004/stat : 8004 (java) S 7980 7980 5150 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405404956 7584362496 20512 33554432000 4194304 4196468 140736052716400 140565027977840 140565582092930 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10735616 140736052724732 140736052724890 140736052724890 140736052727759 0
[pid=7998/tid=8005] ppid=7980 vsize=7406604 memory=36462930168554 CPUtime=0 cores=0,2,4,6
/proc/7998/task/8005/stat : 8005 (java) S 7980 7980 5150 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405404957 7584362496 20512 33554432000 4194304 4196468 140736052716400 140564481697056 140565582091989 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10735616 140736052724732 140736052724890 140736052724890 140736052727759 0
[pid=7998/tid=8006] ppid=7980 vsize=7406604 memory=36462930168554 CPUtime=0 cores=0,2,4,6
/proc/7998/task/8006/stat : 8006 (java) S 7980 7980 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405404957 7584362496 20512 33554432000 4194304 4196468 140736052716400 140564213261936 140565582091989 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10735616 140736052724732 140736052724890 140736052724890 140736052727759 0
[pid=7998/tid=8007] ppid=7980 vsize=7406604 memory=36462930168554 CPUtime=0 cores=0,2,4,6
/proc/7998/task/8007/stat : 8007 (java) S 7980 7980 5150 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405404959 7584362496 20512 33554432000 4194304 4196468 140736052716400 140563838753360 140565582100379 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10735616 140736052724732 140736052724890 140736052724890 140736052727759 0
[pid=7998/tid=8008] ppid=7980 vsize=7406604 memory=36462930168554 CPUtime=0.04 cores=0,2,4,6
/proc/7998/task/8008/stat : 8008 (java) S 7980 7980 5150 0 -1 1077944384 549 0 0 0 4 0 0 0 20 0 15 0 405404959 7584362496 20512 33554432000 4194304 4196468 140736052716400 140565026924656 140565582092930 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10735616 140736052724732 140736052724890 140736052724890 140736052727759 0
[pid=7998/tid=8009] ppid=7980 vsize=7406604 memory=36462930168554 CPUtime=0.02 cores=0,2,4,6
/proc/7998/task/8009/stat : 8009 (java) S 7980 7980 5150 0 -1 1077944384 88 0 0 0 2 0 0 0 20 0 15 0 405404959 7584362496 20512 33554432000 4194304 4196468 140736052716400 140565025871856 140565582092930 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10735616 140736052724732 140736052724890 140736052724890 140736052727759 0
[pid=7998/tid=8010] ppid=7980 vsize=7406604 memory=36462930168554 CPUtime=0.12 cores=0,2,4,6
/proc/7998/task/8010/stat : 8010 (java) S 7980 7980 5150 0 -1 1077944384 383 0 0 0 12 0 0 0 20 0 15 0 405404959 7584362496 20512 33554432000 4194304 4196468 140736052716400 140565024819568 140565582092930 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10735616 140736052724732 140736052724890 140736052724890 140736052727759 0
[pid=7998/tid=8011] ppid=7980 vsize=7406604 memory=36462930168554 CPUtime=0 cores=0,2,4,6
/proc/7998/task/8011/stat : 8011 (java) S 7980 7980 5150 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405404960 7584362496 20512 33554432000 4194304 4196468 140736052716400 140563340847584 140565582091989 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10735616 140736052724732 140736052724890 140736052724890 140736052727759 0
[pid=7998/tid=8012] ppid=7980 vsize=7406604 memory=36462930168554 CPUtime=0 cores=0,2,4,6
/proc/7998/task/8012/stat : 8012 (java) S 7980 7980 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405404960 7584362496 20512 33554432000 4194304 4196468 140736052716400 140565023767472 140565582092930 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10735616 140736052724732 140736052724890 140736052724890 140736052727759 0
Current children cumulated CPU time: 6.92 s
Current children cumulated vsize: 7519732 KiB
Current children cumulated memory: 83524 KiB
[startup+3.44886 s]
# the end of solver process 7980 was just reported to runsolver
# cumulated CPU time of all completed processes: user=7.3252 s, system=0.256514 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.20134 s]
/proc/loadavg: 2.36 2.85 2.96 3/235 8012
/proc/meminfo: memFree=24417548/32770624 swapFree=67004752/67108860
[pid=7980] ppid=7977 vsize=113128 memory=1476 CPUtime=6.17 cores=0,2,4,6
/proc/7980/stat : 7980 (scop.sh) S 7977 7980 5150 0 -1 4202496 584 26938 0 0 0 0 601 16 20 0 1 0 405404699 115843072 369 33554432000 4194304 5098028 140728081938240 140728081934984 139635354493564 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 19116032 140728081945384 140728081945712 140728081945712 140728081948621 0
/proc/7980/statm: 28282 369 311 221 0 87 0
[pid=7998] ppid=7980 vsize=7408652 memory=98136 CPUtime=0.89 cores=0,2,4,6
/proc/7998/stat : 7998 (java) S 7980 7980 5150 0 -1 1077944320 18366 0 0 0 83 6 0 0 20 0 15 0 405404953 7586459648 24534 33554432000 4194304 4196468 140736052716400 140736052698944 140565582081783 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10735616 140736052724732 140736052724890 140736052724890 140736052727759 0
/proc/7998/statm: 1852163 24534 3110 1 0 1814042 0
[pid=7998/tid=7999] ppid=7980 vsize=7408652 memory=8112282956445269571 CPUtime=0.63 cores=0,2,4,6
/proc/7998/task/7999/stat : 7999 (java) R 7980 7980 5150 0 -1 4202560 15920 0 0 0 58 5 0 0 20 0 15 0 405404954 7586459648 24534 33554432000 4194304 4196468 140736052716400 140565553899888 140565568240691 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10735616 140736052724732 140736052724890 140736052724890 140736052727759 0
[pid=7998/tid=8000] ppid=7980 vsize=7408652 memory=288230617509003574 CPUtime=0 cores=0,2,4,6
/proc/7998/task/8000/stat : 8000 (java) S 7980 7980 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405404955 7586459648 24534 33554432000 4194304 4196468 140736052716400 140565586323856 140565582091989 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10735616 140736052724732 140736052724890 140736052724890 140736052727759 0
[pid=7998/tid=8001] ppid=7980 vsize=7408652 memory=15822200779310916 CPUtime=0 cores=0,2,4,6
/proc/7998/task/8001/stat : 8001 (java) S 7980 7980 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405404955 7586459648 24534 33554432000 4194304 4196468 140736052716400 140565386492176 140565582091989 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10735616 140736052724732 140736052724890 140736052724890 140736052727759 0
[pid=7998/tid=8002] ppid=7980 vsize=7408652 memory=1060 CPUtime=0 cores=0,2,4,6
/proc/7998/task/8002/stat : 8002 (java) S 7980 7980 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405404955 7586459648 24534 33554432000 4194304 4196468 140736052716400 140565385439888 140565582091989 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10735616 140736052724732 140736052724890 140736052724890 140736052727759 0
[pid=7998/tid=8003] ppid=7980 vsize=7408652 memory=752 CPUtime=0 cores=0,2,4,6
/proc/7998/task/8003/stat : 8003 (java) S 7980 7980 5150 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405404955 7586459648 24534 33554432000 4194304 4196468 140736052716400 140565384387088 140565582091989 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10735616 140736052724732 140736052724890 140736052724890 140736052727759 0
[pid=7998/tid=8004] ppid=7980 vsize=7408652 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/7998/task/8004/stat : 8004 (java) S 7980 7980 5150 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405404956 7586459648 24534 33554432000 4194304 4196468 140736052716400 140565027977840 140565582092930 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10735616 140736052724732 140736052724890 140736052724890 140736052727759 0
[pid=7998/tid=8005] ppid=7980 vsize=7408652 memory=9584 CPUtime=0 cores=0,2,4,6
/proc/7998/task/8005/stat : 8005 (java) S 7980 7980 5150 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405404957 7586459648 24534 33554432000 4194304 4196468 140736052716400 140564481697056 140565582091989 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10735616 140736052724732 140736052724890 140736052724890 140736052727759 0
[pid=7998/tid=8006] ppid=7980 vsize=7408652 memory=4140 CPUtime=0 cores=0,2,4,6
/proc/7998/task/8006/stat : 8006 (java) S 7980 7980 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405404957 7586459648 24534 33554432000 4194304 4196468 140736052716400 140564213261936 140565582091989 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10735616 140736052724732 140736052724890 140736052724890 140736052727759 0
[pid=7998/tid=8007] ppid=7980 vsize=7408652 memory=2832 CPUtime=0 cores=0,2,4,6
/proc/7998/task/8007/stat : 8007 (java) S 7980 7980 5150 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405404959 7586459648 24534 33554432000 4194304 4196468 140736052716400 140563838753360 140565582100379 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10735616 140736052724732 140736052724890 140736052724890 140736052727759 0
[pid=7998/tid=8008] ppid=7980 vsize=7408652 memory=1540 CPUtime=0.05 cores=0,2,4,6
/proc/7998/task/8008/stat : 8008 (java) S 7980 7980 5150 0 -1 1077944384 550 0 0 0 5 0 0 0 20 0 15 0 405404959 7586459648 24534 33554432000 4194304 4196468 140736052716400 140565026924656 140565582092930 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10735616 140736052724732 140736052724890 140736052724890 140736052727759 0
[pid=7998/tid=8009] ppid=7980 vsize=7408652 memory=1720 CPUtime=0.03 cores=0,2,4,6
/proc/7998/task/8009/stat : 8009 (java) S 7980 7980 5150 0 -1 1077944384 98 0 0 0 3 0 0 0 20 0 15 0 405404959 7586459648 24534 33554432000 4194304 4196468 140736052716400 140565025871856 140565582092930 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10735616 140736052724732 140736052724890 140736052724890 140736052727759 0
[pid=7998/tid=8010] ppid=7980 vsize=7408652 memory=5956 CPUtime=0.15 cores=0,2,4,6
/proc/7998/task/8010/stat : 8010 (java) S 7980 7980 5150 0 -1 1077944384 469 0 0 0 15 0 0 0 20 0 15 0 405404959 7586459648 24534 33554432000 4194304 4196468 140736052716400 140565024819568 140565582092930 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10735616 140736052724732 140736052724890 140736052724890 140736052727759 0
[pid=7998/tid=8011] ppid=7980 vsize=7408652 memory=772 CPUtime=0 cores=0,2,4,6
/proc/7998/task/8011/stat : 8011 (java) S 7980 7980 5150 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405404960 7586459648 24534 33554432000 4194304 4196468 140736052716400 140563340847584 140565582091989 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10735616 140736052724732 140736052724890 140736052724890 140736052727759 0
[pid=7998/tid=8012] ppid=7980 vsize=7408652 memory=952 CPUtime=0 cores=0,2,4,6
/proc/7998/task/8012/stat : 8012 (java) S 7980 7980 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405404960 7586459648 24534 33554432000 4194304 4196468 140736052716400 140565023767472 140565582092930 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10735616 140736052724732 140736052724890 140736052724890 140736052727759 0
Current children cumulated CPU time: 7.06 s
Current children cumulated vsize: 7521780 KiB
Current children cumulated memory: 99612 KiB
[startup+3.40069 s]
/proc/loadavg: 2.36 2.85 2.96 3/235 8012
/proc/meminfo: memFree=24417548/32770624 swapFree=67004752/67108860
[pid=7980] ppid=7977 vsize=113128 memory=1476 CPUtime=6.17 cores=0,2,4,6
/proc/7980/stat : 7980 (scop.sh) S 7977 7980 5150 0 -1 4202496 584 26938 0 0 0 0 601 16 20 0 1 0 405404699 115843072 369 33554432000 4194304 5098028 140728081938240 140728081934984 139635354493564 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 19116032 140728081945384 140728081945712 140728081945712 140728081948621 0
/proc/7980/statm: 28282 369 311 221 0 87 0
[pid=7998] ppid=7980 vsize=7871828 memory=123340 CPUtime=1.31 cores=0,2,4,6
/proc/7998/stat : 7998 (java) S 7980 7980 5150 0 -1 1077944320 20781 836 0 0 123 7 1 0 20 0 17 0 405404953 8060751872 30835 33554432000 4194304 4196468 140736052716400 140736052698944 140565582081783 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10735616 140736052724732 140736052724890 140736052724890 140736052727759 0
/proc/7998/statm: 1967957 30835 3204 1 0 1929301 0
[pid=7998/tid=7999] ppid=7980 vsize=7871828 memory=3467830198470652225 CPUtime=0.83 cores=0,2,4,6
/proc/7998/task/7999/stat : 7999 (java) R 7980 7980 5150 0 -1 4202560 17625 836 0 0 76 6 1 0 20 0 17 0 405404954 8060751872 30835 33554432000 4194304 4196468 140736052716400 140565553918080 140565582093718 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10735616 140736052724732 140736052724890 140736052724890 140736052727759 0
[pid=7998/tid=8000] ppid=7980 vsize=7871828 memory=288230376153740498 CPUtime=0.01 cores=0,2,4,6
/proc/7998/task/8000/stat : 8000 (java) S 7980 7980 5150 0 -1 1077944384 1 836 0 0 0 0 1 0 20 0 17 0 405404955 8060751872 30835 33554432000 4194304 4196468 140736052716400 140565586323856 140565582091989 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10735616 140736052724732 140736052724890 140736052724890 140736052727759 0
[pid=7998/tid=8001] ppid=7980 vsize=7871828 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/7998/task/8001/stat : 8001 (java) S 7980 7980 5150 0 -1 1077944384 1 836 0 0 0 0 1 0 20 0 17 0 405404955 8060751872 30835 33554432000 4194304 4196468 140736052716400 140565386492176 140565582091989 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10735616 140736052724732 140736052724890 140736052724890 140736052727759 0
[pid=7998/tid=8002] ppid=7980 vsize=7871828 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/7998/task/8002/stat : 8002 (java) S 7980 7980 5150 0 -1 1077944384 1 836 0 0 0 0 1 0 20 0 17 0 405404955 8060751872 30835 33554432000 4194304 4196468 140736052716400 140565385439888 140565582091989 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10735616 140736052724732 140736052724890 140736052724890 140736052727759 0
[pid=7998/tid=8003] ppid=7980 vsize=7871828 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/7998/task/8003/stat : 8003 (java) S 7980 7980 5150 0 -1 1077944384 2 836 0 0 0 0 1 0 20 0 17 0 405404955 8060751872 30835 33554432000 4194304 4196468 140736052716400 140565384387088 140565582091989 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10735616 140736052724732 140736052724890 140736052724890 140736052727759 0
[pid=7998/tid=8004] ppid=7980 vsize=7871828 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/7998/task/8004/stat : 8004 (java) S 7980 7980 5150 0 -1 1077944384 5 836 0 0 0 0 1 0 20 0 17 0 405404956 8060751872 30835 33554432000 4194304 4196468 140736052716400 140565027977840 140565582092930 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10735616 140736052724732 140736052724890 140736052724890 140736052727759 0
[pid=7998/tid=8005] ppid=7980 vsize=7871828 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/7998/task/8005/stat : 8005 (java) S 7980 7980 5150 0 -1 1077944384 13 836 0 0 0 0 1 0 20 0 17 0 405404957 8060751872 30835 33554432000 4194304 4196468 140736052716400 140564481697056 140565582091989 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10735616 140736052724732 140736052724890 140736052724890 140736052727759 0
[pid=7998/tid=8006] ppid=7980 vsize=7871828 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/7998/task/8006/stat : 8006 (java) S 7980 7980 5150 0 -1 1077944384 1 836 0 0 0 0 1 0 20 0 17 0 405404957 8060751872 30835 33554432000 4194304 4196468 140736052716400 140564213261936 140565582091989 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10735616 140736052724732 140736052724890 140736052724890 140736052727759 0
[pid=7998/tid=8007] ppid=7980 vsize=7871828 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/7998/task/8007/stat : 8007 (java) S 7980 7980 5150 0 -1 1077944384 3 836 0 0 0 0 1 0 20 0 17 0 405404959 8060751872 30835 33554432000 4194304 4196468 140736052716400 140563838753360 140565582100379 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10735616 140736052724732 140736052724890 140736052724890 140736052727759 0
[pid=7998/tid=8008] ppid=7980 vsize=7871828 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/7998/task/8008/stat : 8008 (java) S 7980 7980 5150 0 -1 1077944384 736 836 0 0 11 0 1 0 20 0 17 0 405404959 8060751872 30835 33554432000 4194304 4196468 140736052716400 140565026924656 140565582092930 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10735616 140736052724732 140736052724890 140736052724890 140736052727759 0
[pid=7998/tid=8009] ppid=7980 vsize=7871828 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/7998/task/8009/stat : 8009 (java) R 7980 7980 5150 0 -1 1077944384 319 836 0 0 8 0 1 0 20 0 17 0 405404959 8060751872 30835 33554432000 4194304 4196468 140736052716400 140565025871856 140565582092930 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10735616 140736052724732 140736052724890 140736052724890 140736052727759 0
[pid=7998/tid=8010] ppid=7980 vsize=7871828 memory=0 CPUtime=0.24 cores=0,2,4,6
/proc/7998/task/8010/stat : 8010 (java) S 7980 7980 5150 0 -1 1077944384 654 836 0 0 23 0 1 0 20 0 17 0 405404959 8060751872 30835 33554432000 4194304 4196468 140736052716400 140565024819568 140565582092930 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10735616 140736052724732 140736052724890 140736052724890 140736052727759 0
[pid=7998/tid=8011] ppid=7980 vsize=7871828 memory=280931126942992 CPUtime=0.01 cores=0,2,4,6
/proc/7998/task/8011/stat : 8011 (java) S 7980 7980 5150 0 -1 1077944384 3 836 0 0 0 0 1 0 20 0 17 0 405404960 8060751872 30835 33554432000 4194304 4196468 140736052716400 140563340847584 140565582091989 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10735616 140736052724732 140736052724890 140736052724890 140736052727759 0
[pid=7998/tid=8012] ppid=7980 vsize=7871828 memory=9214 CPUtime=0.01 cores=0,2,4,6
/proc/7998/task/8012/stat : 8012 (java) S 7980 7980 5150 0 -1 1077944384 1 836 0 0 0 0 1 0 20 0 17 0 405404960 8060751872 30835 33554432000 4194304 4196468 140736052716400 140565023767472 140565582092930 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10735616 140736052724732 140736052724890 140736052724890 140736052727759 0
Current children cumulated CPU time: 7.48 s
Current children cumulated vsize: 7984956 KiB
Current children cumulated memory: 124816 KiB
Child status: 0
Real time (s): 3.44892
CPU time (s): 7.58172
CPU user time (s): 7.3252
CPU system time (s): 0.256514
CPU usage (%): 219.829
Max. virtual memory (cumulated for all children) (KiB): 15142500
Max. memory (cumulated for all children) (KiB): 313332
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7.3252
system time used= 0.256514
maximum resident set size= 314648
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 49256
page faults= 0
swaps= 0
block input operations= 0
block output operations= 448
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5798
involuntary context switches= 34
# summary of solver processes directly reported to runsolver:
# pid: 7980
# total CPU time (s): 7.58172
# total CPU user time (s): 7.3252
# total CPU system time (s): 0.256514
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.054263 second user time and 0.075542 second system time
The end