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-6992-serial-file.bin HOME/instance-4387710-1568289101.xml
0.66/0.53
0.66/0.53 Fun-sCOP order+glueminisat-simp-2.2.10-193oa-n-release (2019-06-15)
0.66/0.53
0.66/0.56 c BEGIN-Prog: Thu Sep 12 13:51:02 CEST 2019
0.66/0.56 c PID: 6995
0.66/0.56 c IP: 172.20.3.127
0.66/0.56 c HOST: node127.alineos.net
0.66/0.56 c (0,0) Parsing Begin
1.41/0.92 c (0,0) Parsing End
1.41/0.93 c (0,0) CSP: 0 int (0 aux), 150 bool (0 aux), 100 ctr, max domain size 2
1.41/0.93 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.41/0.93 c (0,0) Constraint Name Generate Begin
1.41/0.93 c (0,0) Ctr:HOME/instance-4387710-1568289101.xml,ExtensionSupport:Var
1.41/0.93 c (0,0) Constraint Name Generate End
1.41/0.93 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.41/0.93 c (0,0) CSP to CSPinCNF Begin
1.94/1.22 c (0,0) translated 10 (10%) constraints
1.94/1.28 c (0,0) translated 20 (20%) constraints
2.23/1.33 c (0,0) translated 30 (30%) constraints
2.23/1.37 c (0,0) translated 40 (40%) constraints
2.51/1.40 c (0,0) translated 50 (50%) constraints
2.51/1.43 c (0,0) translated 60 (60%) constraints
2.51/1.45 c (0,0) translated 70 (70%) constraints
2.51/1.48 c (0,0) translated 80 (80%) constraints
2.81/1.50 c (0,0) translated 90 (90%) constraints
2.81/1.52 c (0,0) translated 100 (100%) constraints
2.81/1.52 c (0,0) ===========================================
2.81/1.52 c (0,0) Order
2.81/1.52 c (0,0) ===========================================
2.81/1.54 c (1,1) translated 190 (10%) constraints
2.81/1.55 c (1,1) translated 380 (20%) constraints
2.81/1.56 c (1,1) translated 570 (30%) constraints
2.81/1.57 c (1,1) translated 760 (40%) constraints
2.81/1.58 c (1,1) translated 950 (50%) constraints
2.81/1.59 c (1,1) translated 1140 (60%) constraints
3.13/1.60 c (1,1) translated 1330 (70%) constraints
3.13/1.61 c (1,1) translated 1520 (80%) constraints
3.13/1.62 c (1,1) translated 1710 (90%) constraints
3.13/1.63 c (1,1) translated 1900 (100%) constraints
3.13/1.63 c (1,1) CSP to CSPinCNF End
3.13/1.63 c (1,1) CSP: 0 int (0 aux), 550 bool (400 aux), 1900 ctr, max domain size 2
3.13/1.63 c (1,1) Heap : 168 MiB used (max 10795 MiB), NonHeap : 25 MiB used (max 0 MiB)
3.13/1.63 c (1,1) CSPinCNF Propagation Begin
3.13/1.68 c (1,1) 0 values, 100 unsatisfiable literals, and 0 valid clauses are removed
3.13/1.68 c (1,1) CSPinCNF Propagation End
3.13/1.69 c (1,1) CSP: 0 int (0 aux), 550 bool (400 aux), 1900 ctr, max domain size 2
3.13/1.69 c (1,1) Heap : 168 MiB used (max 10795 MiB), NonHeap : 25 MiB used (max 0 MiB)
3.13/1.69 c (1,1) Simplify CSPinCNF Begin
3.48/1.70 c (1,1) Simplify CSPinCNF End
3.48/1.70 c (1,1) CSP: 0 int (0 aux), 550 bool (400 aux), 1900 ctr, max domain size 2
3.48/1.70 c (1,1) Heap : 168 MiB used (max 10795 MiB), NonHeap : 25 MiB used (max 0 MiB)
3.48/1.70 c (1,1) Calculate Precise Domain Begin
3.48/1.70 c (1,1) 0 values are removed by re-calculation
3.48/1.70 c (1,1) Calculate Precise Domain End
3.48/1.70 c (1,1) CSP: 0 int (0 aux), 550 bool (400 aux), 1900 ctr, max domain size 2
3.48/1.70 c (1,1) Heap : 168 MiB used (max 10795 MiB), NonHeap : 25 MiB used (max 0 MiB)
3.48/1.70 c (1,1) CSPinCNF to SatSolver Begin
3.48/1.78 c (1,1) 190 (10 %) CSP clauses are encoded (0 SAT variables, 189 SAT clauses)
3.82/1.80 c (1,1) 380 (20 %) CSP clauses are encoded (0 SAT variables, 379 SAT clauses)
3.82/1.82 c (1,1) 570 (30 %) CSP clauses are encoded (0 SAT variables, 569 SAT clauses)
3.82/1.82 c (1,1) 760 (40 %) CSP clauses are encoded (0 SAT variables, 759 SAT clauses)
3.82/1.83 c (1,1) 950 (50 %) CSP clauses are encoded (0 SAT variables, 949 SAT clauses)
3.82/1.84 c (1,1) 1140 (60 %) CSP clauses are encoded (0 SAT variables, 1139 SAT clauses)
3.82/1.85 c (1,1) 1330 (70 %) CSP clauses are encoded (0 SAT variables, 1329 SAT clauses)
3.82/1.86 c (1,1) 1520 (80 %) CSP clauses are encoded (0 SAT variables, 1519 SAT clauses)
3.82/1.87 c (1,1) 1710 (90 %) CSP clauses are encoded (0 SAT variables, 1709 SAT clauses)
3.82/1.87 c (1,1) 1900 (100 %) CSP clauses are encoded (0 SAT variables, 1899 SAT clauses)
3.82/1.87 c (1,1) CSPinCNF to SatSolver End
3.82/1.87 c (1,1) Heap : 168 MiB used (max 10795 MiB), NonHeap : 27 MiB used (max 0 MiB)
3.82/1.87 c (1,1) 550 bool, 1900 clause
3.82/1.87 c (1,1) Export Begin
4.15/1.97 c (1,1) Export to HOME/scop-6992-serial-file.bin
4.15/1.97 c (1,1) Export End
4.15/1.97 c (1,1) Export File Size: 0.03 MB
4.15/1.97 c (1,1) 0,0,1,1,1,1,1,STOP-AFTER(DIMACS)
4.15/1.97 c END-Prog: Thu Sep 12 13:51:03 CEST 2019
4.15/1.98 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-6992-serial-file.bin
4.86/2.44 c (0,0) Read Serial File Begin
4.86/2.44 c (0,0) HOME/scop-6992-serial-file.bin
5.15/2.66 c (0,0) Read Serial File End
5.15/2.68
5.15/2.68 Fun-sCOP order+glueminisat-simp-2.2.10-193oa-n-release (2019-06-15)
5.15/2.68 (Solving Process)
5.15/2.68
5.15/2.70 c BEGIN-Prog: Thu Sep 12 13:51:04 CEST 2019
5.15/2.70 c PID: 7010
5.15/2.70 c IP: 172.20.3.127
5.15/2.70 c HOST: node127.alineos.net
5.15/2.70 c (0,0) SatSolver.solve Begin
5.33/2.70 c (0,0) HOME/glueminisat-simp-2.2.10-193oa-n-release -model -verb=3 -elim-cl=5000000 -native-oa HOME/instance-4387710-1568289101.xml-scop-6995.cnf
5.33/2.74 c (0,0) c WARNING: for repeatability, setting FPU to use double precision
5.33/2.74 c (0,0) c glueminisat-simp-2.2.10-193oa-n
5.33/2.74 c (0,0) c Command: HOME/glueminisat-simp-2.2.10-193oa-n-release -model -verb=3 -elim-cl=5000000 -native-oa HOME/instance-4387710-1568289101.xml-scop-6995.cnf
5.33/2.74 c (0,0) c Options:
5.33/2.74 c (0,0) c CORE
5.33/2.74 c (0,0) c var_decay = 0.950
5.33/2.74 c (0,0) c clause_decay = 0.999
5.33/2.74 c (0,0) c random_var_freq = 0.000
5.33/2.74 c (0,0) c random_seed = 91648253.000
5.33/2.74 c (0,0) c luby_restart = 1
5.33/2.74 c (0,0) c ccmin_mode = 2
5.33/2.74 c (0,0) c phase_saving = 2
5.33/2.74 c (0,0) c rnd_pol = 0
5.33/2.74 c (0,0) c rnd_init_act = 0
5.33/2.74 c (0,0) c garbage_frac = 0.200
5.33/2.74 c (0,0) c restart_first = 1000
5.33/2.74 c (0,0) c restart_inc = 2.000
5.33/2.74 c (0,0) c MODEL
5.33/2.74 c (0,0) c partial_model = 0
5.33/2.74 c (0,0) c PROPAGATION
5.33/2.74 c (0,0) c bin_propagation = 1
5.33/2.74 c (0,0) c SIMPLIFICATION
5.33/2.74 c (0,0) c lrn_min_size = 100
5.33/2.74 c (0,0) c lazy_simp = 1
5.33/2.74 c (0,0) c lazy_interval = 10
5.33/2.74 c (0,0) c lazy_fld_probing = 1
5.33/2.74 c (0,0) c lazy_pol_probing = 1
5.33/2.74 c (0,0) c lazy_nec_probing = 1
5.33/2.74 c (0,0) c lazy_eqv_probing = 1
5.33/2.74 c (0,0) c lazy_cla_probing = 1
5.33/2.74 c (0,0) c lazy_lrn_min = 2
5.33/2.74 c (0,0) c lazy_uw_lit_elim = 1
5.33/2.74 c (0,0) c lazy_pr_lit_elim = 0
5.33/2.74 c (0,0) c lazy_bin_add = 3
5.33/2.74 c (0,0) c probed_lit_chain = 1
5.33/2.74 c (0,0) c pr_min_lits = 0.00020
5.33/2.74 c (0,0) c pr_min_starts = 500
5.33/2.74 c (0,0) c rw_min_lits = 0.010
5.33/2.74 c (0,0) c rw_min_starts = 500
5.33/2.74 c (0,0) c rand_attach = 0
5.33/2.74 c (0,0) c dec_elim = 1
5.33/2.74 c (0,0) c dec_elim_lim = 25
5.33/2.74 c (0,0) c dec_elim_len = -1
5.33/2.74 c (0,0) c amo = 0
5.33/2.74 c (0,0) c amo_grp = 1
5.33/2.74 c (0,0) c amo_max_bins = 1000000
5.33/2.74 c (0,0) c amo_starts = 50
5.33/2.74 c (0,0) c mace_cmd = mace
5.33/2.74 c (0,0) c DECISION
5.33/2.74 c (0,0) c rand_rebuild = 0
5.33/2.74 c (0,0) c rand_rebuild_confs = 10000
5.33/2.74 c (0,0) c inc_var_decay = 1
5.33/2.74 c (0,0) c inc_var_decay_period = 100000
5.33/2.74 c (0,0) c inc_var_decay_init = 0.600
5.33/2.74 c (0,0) c var_decay_mode = 0
5.33/2.74 c (0,0) c var_decay_gain = 0
5.33/2.74 c (0,0) c sloped_var_decay = 1
5.33/2.74 c (0,0) c max_var_decay = 0.990
5.33/2.74 c (0,0) c min_var_decay = 0.950
5.33/2.74 c (0,0) c min_var_decay_vars = 10000
5.33/2.74 c (0,0) c max_var_decay_vars = 500
5.33/2.74 c (0,0) c uip_bumping = 1
5.33/2.74 c (0,0) c lbd_act_bumping = 1
5.33/2.74 c (0,0) c rand_tiebreak = 0
5.33/2.74 c (0,0) c simp_rebuild = 1
5.33/2.74 c (0,0) c RESTART
5.33/2.74 c (0,0) c restart_strategy = 2
5.33/2.74 c (0,0) c restart_blocking = 0
5.33/2.74 c (0,0) c agility_decay = 0.99990
5.33/2.74 c (0,0) c lbd_restart_rate = 0.800
5.33/2.74 c (0,0) c dec_restart_rate = 0.950
5.33/2.74 c (0,0) c blk_restart_rate = 0.700
5.33/2.74 c (0,0) c lbd_queue_size = 50
5.33/2.74 c (0,0) c dec_queue_size = 50
5.33/2.74 c (0,0) c trl_queue_size = 5000
5.33/2.74 c (0,0) c blk_restart_weight = 1.000
5.33/2.74 c (0,0) c inc_rst_rate = 0
5.33/2.74 c (0,0) c inc_rst_rate_period = 500000
5.33/2.74 c (0,0) c inc_lbd_rst_rate_init = 0.600
5.33/2.74 c (0,0) c inc_dec_rst_rate_init = 0.750
5.33/2.74 c (0,0) c REDUCTION
5.33/2.74 c (0,0) c closed_lbd = 0
5.33/2.74 c (0,0) c closed_lbd_rate = 0.500
5.33/2.74 c (0,0) c rm_simulate = 0
5.33/2.74 c (0,0) c rdb_eval = 2
5.33/2.74 c (0,0) c rdb_call = 3
5.33/2.74 c (0,0) c rdb_ub = 0.500
5.33/2.74 c (0,0) c core_lbd_cvr = 0.800
5.33/2.74 c (0,0) c supp_lbd_cvr = 0.990
5.33/2.74 c (0,0) c core_lbd_lb = 2
5.33/2.74 c (0,0) c supp_lbd_lb = 2
5.33/2.74 c (0,0) c core_lbd_prd = 7
5.33/2.74 c (0,0) c supp_lbd_prd = 1
5.33/2.74 c (0,0) c othr_lbd_prd = 0
5.33/2.74 c (0,0) c inc_lrn_limit = 1000
5.33/2.74 c (0,0) c frozen_lbd = 30
5.33/2.74 c (0,0) c simp_min_starts = 100
5.33/2.74 c (0,0) c rm_low_act_learnts = 1
5.33/2.74 c (0,0) c lv0_reduce_db = 0
5.33/2.74 c (0,0) c reduce_db_base = 20000
5.33/2.74 c (0,0) c reduce_db_inc = 1000
5.33/2.74 c (0,0) c HARD
5.33/2.74 c (0,0) c inst_check = 200000
5.33/2.74 c (0,0) c small_block = 1.750
5.33/2.74 c (0,0) c slow_restart_speed = 400.000
5.33/2.74 c (0,0) c slow_restart_strategy = 3
5.33/2.74 c (0,0) c slow_lbd_restart_rate = 0.700
5.33/2.74 c (0,0) c slow_dec_restart_rate = 1.000
5.33/2.74 c (0,0) c slow_lbd_queue_size = 50
5.33/2.74 c (0,0) c slow_var_decay = 0.950
5.33/2.74 c (0,0) c slow_glue_threshold = 2
5.33/2.74 c (0,0) c slow_phase_saving = 2
5.33/2.74 c (0,0) c fast_restart_speed = 125.000
5.33/2.74 c (0,0) c fast_restart_strategy = 1
5.33/2.74 c (0,0) c fast_lbd_restart_rate = 0.800
5.33/2.74 c (0,0) c fast_dec_restart_rate = 0.950
5.33/2.74 c (0,0) c fast_lbd_queue_size = 50
5.33/2.74 c (0,0) c fast_var_decay = 1.000
5.33/2.74 c (0,0) c fast_glue_threshold = 2
5.33/2.74 c (0,0) c fast_phase_saving = 2
5.33/2.74 c (0,0) c STATS
5.33/2.74 c (0,0) c stats_conf_size = 10000
5.33/2.74 c (0,0) c max_stats_size = 30
5.33/2.74 c (0,0) c SOLVER
5.33/2.74 c (0,0) c minisat = 0
5.33/2.74 c (0,0) c Problem: 550 variables, 1900 clauses, parsing 0.00 s
5.33/2.74 c (0,0) c reduced to 11 variables, 40 clauses (grow = 0)
5.33/2.74 c (0,0) c exclude 0 (0.0%) variables from decision variables (last cost 0)
5.33/2.74 c (0,0) c Simplification: 539 vars, 1860 clauses are eliminated using 0.00 s
5.33/2.74 c (0,0) c
5.33/2.74 c (0,0) c #Rstrts #Confs #Vars #Clauses #Learnts Lits/C LBD/C DLVs Trail
5.33/2.74 c (0,0) c
5.33/2.74 c (0,0) c 0 0 0 11 40 0 -nan -nan -nan -nan%
5.33/2.74 c (0,0) c 0 1 64 3 40 57 3.8 2.4 3.0 2.0%
5.33/2.74 c (0,0) c
5.33/2.74 c (0,0) c
5.33/2.74 c (0,0) c variables : 3 (init 550, after simp 11, 0 non-decs, 0 csp)
5.33/2.74 c (0,0) c clauses : 40 (init 1900, after simp 40)
5.33/2.74 c (0,0) c restarts : 0 (64.00 confs/res, 64~64 confs, 0 blks, 0 last)
5.33/2.74 c (0,0) c conflicts : 64 (11445 /sec, 50.00% dconfs, 0.00% supp, trail 3.67w x 3.05h, jmp 1.03h)
5.33/2.74 c (0,0) c decisions : 66 (0.6000 vdcy, 11803 /sec, 0.00% bin, rs 0.000 s)
5.33/2.74 c (0,0) c propagations : 279 (49893 /sec, 4.23 lits/dec, 0.00% o.a.)
5.33/2.74 c (0,0) c conflict literals : 294 (24.83% deleted; 0.00% by bin min, 0.000 s)
5.33/2.74 c (0,0) c len : 3.772 (3.45 for all, max 7, used 6)
5.33/2.74 c (0,0) c lbd : 2.368 (2.86 (2.20) for all, max 5, used 3, 0.452 stdev, 1.208 blk)
5.33/2.74 c (0,0) c amo : 0 (0 max, -nan avg, 0.000 s)
5.33/2.74 c (0,0) c simp dbs : 1 (0.000 s)
5.33/2.74 c (0,0) c reduce dbs : 0 (core-lbd 2, supp-lbd 2147483647, 0.000 s)
5.33/2.74 c (0,0) c learnts : 57 (0 learnts removed, 0.00%)
5.33/2.74 c (0,0) c rewrite dbs : 0 (0/3 vars, 0+0 taut, 0+0 unit, 0.000 s)
5.33/2.74 c (0,0) c assigned lits : 0 (0/1 probed, 1 remains)
5.33/2.74 c (0,0) c premise updates : 0 (0.00 /lit)
5.33/2.74 c (0,0) c probed variables : 1 (0 pr, 1 eq, 0 fld, 0 pol, 0 nec, 0 cla, 0 amo)
5.33/2.74 c (0,0) c equiv variables : 3 (1 bin, 1 trn, 0 quat, 0 quin, 0 othr; 0 amo)
5.33/2.74 c (0,0) c lazy added bins : 0 (0 prop + 0 conf, 0.000s)
5.33/2.74 c (0,0) c unwatched lit elim: 19 (11.84+0.34%, 18+1 of 152+294)
5.33/2.74 c (0,0) c classified type : undef
5.33/2.74 c (0,0) c progress : 72.727%
5.33/2.74 c (0,0) c
5.33/2.74 c (0,0) c [Statistics]
5.33/2.74 c (0,0) c learnts len learnts lbd lit blk size eq vars size
5.33/2.74 c (0,0) c tot 63 63 183 2
5.33/2.74 c (0,0) c avg 3.508 2.238 1.208 2.500
5.33/2.74 c (0,0) c 1 6 ( 9.5%) 6 ( 9.5%) 161 (88.0%) 0 ( 0.0%)
5.33/2.74 c (0,0) c 2 14 (22.2%) 40 (63.5%) 15 ( 8.2%) 1 (50.0%)
5.33/2.74 c (0,0) c 3 14 (22.2%) 13 (20.6%) 1 ( 0.5%) 1 (50.0%)
5.33/2.74 c (0,0) c 4 14 (22.2%) 4 ( 6.3%) 4 ( 2.2%) 0 ( 0.0%)
5.33/2.74 c (0,0) c 5 5 ( 7.9%) 0 ( 0.0%) 1 ( 0.5%) 0 ( 0.0%)
5.33/2.74 c (0,0) c 6 6 ( 9.5%) 0 ( 0.0%) 1 ( 0.5%) 0 ( 0.0%)
5.33/2.74 c (0,0) c 7 4 ( 6.3%) 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%)
5.33/2.74 c (0,0) c 8 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%)
5.33/2.74 c (0,0) c 9 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%)
5.33/2.74 c (0,0) c 10 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%)
5.33/2.74 c (0,0) c 11 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%)
5.33/2.74 c (0,0) c 12 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%)
5.33/2.74 c (0,0) c 13 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%)
5.33/2.74 c (0,0) c 14 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%)
5.33/2.74 c (0,0) c 15 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%)
5.33/2.74 c (0,0) c 16 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%)
5.33/2.74 c (0,0) c 17 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%)
5.33/2.74 c (0,0) c 18 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%)
5.33/2.74 c (0,0) c 19 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%)
5.33/2.74 c (0,0) c 20 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%)
5.33/2.74 c (0,0) c 21 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%)
5.33/2.74 c (0,0) c 22 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%)
5.33/2.74 c (0,0) c 23 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%)
5.33/2.74 c (0,0) c 24 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%)
5.33/2.74 c (0,0) c 25 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%)
5.33/2.74 c (0,0) c 26 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%)
5.33/2.74 c (0,0) c 27 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%)
5.33/2.74 c (0,0) c 28 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%)
5.33/2.74 c (0,0) c 29 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%)
5.33/2.74 c (0,0) c 30 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%)
5.33/2.74 c (0,0) c
5.33/2.74 c (0,0) c [LBD Statistics]
5.33/2.74 c (0,0) c LBD used lbd used clause lbd unused clause lbd
5.33/2.74 c (0,0) c tot 7 7 50
5.33/2.74 c (0,0) c avg 2.286 2.143 2.400
5.33/2.74 c (0,0) c 1 0 ( 0.0/ 0.0%) 0 ( 0.0/ 0.0%) 0 ( 0.0/ 0.0%)
5.33/2.74 c (0,0) c 2 5 (71.4/71.4%) 6 (85.7/85.7%) 34 (68.0/68.0%)
5.33/2.74 c (0,0) c 3 2 (28.6/100.0%) 1 (14.3/100.0%) 12 (24.0/92.0%)
5.33/2.74 c (0,0) c 4 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 4 ( 8.0/100.0%)
5.33/2.74 c (0,0) c
5.33/2.74 c (0,0) c Memory used : 20.00 MB
5.33/2.74 c (0,0) c CPU time : 0.006 s
5.33/2.74 c (0,0) c Real time : 0.005 s
5.33/2.74 c (0,0) c
5.33/2.74 c (0,0) s UNSATISFIABLE
5.33/2.78 c (0,0) SatSolver.solve End
5.33/2.78 c (0,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
5.33/2.78 c (0,0) Show results Begin
5.33/2.78 s UNSATISFIABLE
5.33/2.78 c (0,0) Show results End
5.33/2.78 c (0,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
5.33/2.79 c (0,0) 0,0,STOP-AFTER(ALL)
5.33/2.79 c END-Prog: Thu Sep 12 13:51:04 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 (9097 MiB free)
memory of node 1: 16384 MiB (2889 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4387710-1568289101/watcher-4387710-1568289101 -o /tmp/evaluation-result-4387710-1568289101/solver-4387710-1568289101 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node127-1568286090-6276 --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-4387710-1568289101.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=6992, runsolver pid=6989
Current StackSize limit: 8192 KiB
[startup+0.10011 s]*
/proc/loadavg: 2.97 3.70 2.93 3/230 7009
/proc/meminfo: memFree=12213004/32770624 swapFree=66998516/67108860
[pid=6992] ppid=6989 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/6992/stat : 6992 (scop.sh) S 6989 6992 4978 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405178985 115843072 349 33554432000 4194304 5098028 140731737576736 140731737573992 139658298294908 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 8245248 140731737580328 140731737580656 140731737580656 140731737583565 0
/proc/6992/statm: 28282 349 296 221 0 87 0
[pid=6995] ppid=6992 vsize=15012696 memory=73808 CPUtime=0.12 cores=0,2,4,6
/proc/6995/stat : 6995 (java) S 6992 6992 4978 0 -1 1077944320 6229 0 0 0 10 2 0 0 20 0 15 0 405178985 15373000704 18452 33554432000 4194304 4196468 140726920017696 140726920000240 140229675347703 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13344768 140726920024815 140726920025242 140726920025242 140726920028111 0
/proc/6995/statm: 3753174 18452 2892 1 0 3715579 0
[pid=6995/tid=6996] ppid=6992 vsize=15013720 memory=576460756329955459 CPUtime=0.08 cores=0,2,4,6
/proc/6995/task/6996/stat : 6996 (java) R 6992 6992 4978 0 -1 4202560 4265 0 0 0 7 1 0 0 20 0 15 0 405178986 15374049280 18715 33554432000 4194304 4196468 140726920017696 140229647131952 140229668027421 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13344768 140726920024815 140726920025242 140726920025242 140726920028111 0
[pid=6995/tid=6997] ppid=6992 vsize=15013720 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6995/task/6997/stat : 6997 (java) S 6992 6992 4978 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405178987 15374049280 18715 33554432000 4194304 4196468 140726920017696 140229679590160 140229675357909 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13344768 140726920024815 140726920025242 140726920025242 140726920028111 0
[pid=6995/tid=6998] ppid=6992 vsize=15013720 memory=140653477856942 CPUtime=0 cores=0,2,4,6
/proc/6995/task/6998/stat : 6998 (java) S 6992 6992 4978 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405178987 15374049280 18715 33554432000 4194304 4196468 140726920017696 140229478366096 140229675357909 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13344768 140726920024815 140726920025242 140726920025242 140726920028111 0
[pid=6995/tid=6999] ppid=6992 vsize=15013720 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6995/task/6999/stat : 6999 (java) S 6992 6992 4978 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405178987 15374049280 18715 33554432000 4194304 4196468 140726920017696 140229477313552 140229675357909 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13344768 140726920024815 140726920025242 140726920025242 140726920028111 0
[pid=6995/tid=7000] ppid=6992 vsize=15013720 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6995/task/7000/stat : 7000 (java) S 6992 6992 4978 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405178987 15374049280 18715 33554432000 4194304 4196468 140726920017696 140229476261008 140229675357909 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13344768 140726920024815 140726920025242 140726920025242 140726920028111 0
[pid=6995/tid=7001] ppid=6992 vsize=15013720 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6995/task/7001/stat : 7001 (java) S 6992 6992 4978 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405178989 15374049280 18715 33554432000 4194304 4196468 140726920017696 140228444489712 140229675358850 0 0 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13344768 140726920024815 140726920025242 140726920025242 140726920028111 0
[pid=6995/tid=7002] ppid=6992 vsize=15013720 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6995/task/7002/stat : 7002 (java) S 6992 6992 4978 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405178989 15374049280 18715 33554432000 4194304 4196468 140726920017696 140228333396896 140229675357909 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13344768 140726920024815 140726920025242 140726920025242 140726920028111 0
[pid=6995/tid=7003] ppid=6992 vsize=15013720 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6995/task/7003/stat : 7003 (java) S 6992 6992 4978 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405178989 15374049280 18715 33554432000 4194304 4196468 140726920017696 140228064961520 140229675357909 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13344768 140726920024815 140726920025242 140726920025242 140726920028111 0
[pid=6995/tid=7004] ppid=6992 vsize=15013720 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6995/task/7004/stat : 7004 (java) S 6992 6992 4978 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405178992 15374049280 18715 33554432000 4194304 4196468 140726920017696 140227690453200 140229675366299 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13344768 140726920024815 140726920025242 140726920025242 140726920028111 0
[pid=6995/tid=7005] ppid=6992 vsize=15013720 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6995/task/7005/stat : 7005 (java) S 6992 6992 4978 0 -1 1077944384 299 0 0 0 0 0 0 0 20 0 15 0 405178992 15374049280 18715 33554432000 4194304 4196468 140726920017696 140228443437552 140229675358850 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13344768 140726920024815 140726920025242 140726920025242 140726920028111 0
[pid=6995/tid=7006] ppid=6992 vsize=15013720 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6995/task/7006/stat : 7006 (java) S 6992 6992 4978 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 15 0 405178992 15374049280 18715 33554432000 4194304 4196468 140726920017696 140228442385008 140229675358850 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13344768 140726920024815 140726920025242 140726920025242 140726920028111 0
[pid=6995/tid=7007] ppid=6992 vsize=15013720 memory=140653477848704 CPUtime=0.01 cores=0,2,4,6
/proc/6995/task/7007/stat : 7007 (java) S 6992 6992 4978 0 -1 1077944384 465 0 0 0 1 0 0 0 20 0 15 0 405178992 15374049280 18715 33554432000 4194304 4196468 140726920017696 140228441332464 140229675358850 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13344768 140726920024815 140726920025242 140726920025242 140726920028111 0
[pid=6995/tid=7008] ppid=6992 vsize=15013720 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6995/task/7008/stat : 7008 (java) S 6992 6992 4978 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405178992 15374049280 18715 33554432000 4194304 4196468 140726920017696 140227192548448 140229675357909 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13344768 140726920024815 140726920025242 140726920025242 140726920028111 0
[pid=6995/tid=7009] ppid=6992 vsize=15013720 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6995/task/7009/stat : 7009 (java) S 6992 6992 4978 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405178992 15374049280 18715 33554432000 4194304 4196468 140726920017696 140228440279344 140229675358850 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13344768 140726920024815 140726920025242 140726920025242 140726920028111 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 75204 KiB
[startup+0.21093 s]*
/proc/loadavg: 2.97 3.70 2.93 3/230 7009
/proc/meminfo: memFree=12196488/32770624 swapFree=66998516/67108860
[pid=6992] ppid=6989 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/6992/stat : 6992 (scop.sh) S 6989 6992 4978 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405178985 115843072 349 33554432000 4194304 5098028 140731737576736 140731737573992 139658298294908 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 8245248 140731737580328 140731737580656 140731737580656 140731737583565 0
/proc/6992/statm: 28282 349 296 221 0 87 0
[pid=6995] ppid=6992 vsize=15012696 memory=87040 CPUtime=0.25 cores=0,2,4,6
/proc/6995/stat : 6995 (java) S 6992 6992 4978 0 -1 1077944320 10744 0 0 0 22 3 0 0 20 0 15 0 405178985 15373000704 21760 33554432000 4194304 4196468 140726920017696 140726920000240 140229675347703 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13344768 140726920024815 140726920025242 140726920025242 140726920028111 0
/proc/6995/statm: 3753174 21760 2986 1 0 3715579 0
[pid=6995/tid=6996] ppid=6992 vsize=15012696 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/6995/task/6996/stat : 6996 (java) R 6992 6992 4978 0 -1 4202560 8465 0 0 0 17 3 0 0 20 0 15 0 405178986 15373000704 21760 33554432000 4194304 4196468 140726920017696 140229647165472 140229675369629 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13344768 140726920024815 140726920025242 140726920025242 140726920028111 0
[pid=6995/tid=6997] ppid=6992 vsize=15012696 memory=1946935 CPUtime=0 cores=0,2,4,6
/proc/6995/task/6997/stat : 6997 (java) S 6992 6992 4978 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405178987 15373000704 21760 33554432000 4194304 4196468 140726920017696 140229679590160 140229675357909 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13344768 140726920024815 140726920025242 140726920025242 140726920028111 0
[pid=6995/tid=6998] ppid=6992 vsize=15012696 memory=140653479795714 CPUtime=0 cores=0,2,4,6
/proc/6995/task/6998/stat : 6998 (java) S 6992 6992 4978 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405178987 15373000704 21760 33554432000 4194304 4196468 140726920017696 140229478366096 140229675357909 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13344768 140726920024815 140726920025242 140726920025242 140726920028111 0
[pid=6995/tid=6999] ppid=6992 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6995/task/6999/stat : 6999 (java) S 6992 6992 4978 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405178987 15373000704 21760 33554432000 4194304 4196468 140726920017696 140229477313552 140229675357909 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13344768 140726920024815 140726920025242 140726920025242 140726920028111 0
[pid=6995/tid=7000] ppid=6992 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6995/task/7000/stat : 7000 (java) S 6992 6992 4978 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405178987 15373000704 21760 33554432000 4194304 4196468 140726920017696 140229476261008 140229675357909 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13344768 140726920024815 140726920025242 140726920025242 140726920028111 0
[pid=6995/tid=7001] ppid=6992 vsize=15012696 memory=140653477848704 CPUtime=0 cores=0,2,4,6
/proc/6995/task/7001/stat : 7001 (java) S 6992 6992 4978 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405178989 15373000704 21760 33554432000 4194304 4196468 140726920017696 140228444489712 140229675358850 0 0 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13344768 140726920024815 140726920025242 140726920025242 140726920028111 0
[pid=6995/tid=7002] ppid=6992 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6995/task/7002/stat : 7002 (java) S 6992 6992 4978 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405178989 15373000704 21760 33554432000 4194304 4196468 140726920017696 140228333396896 140229675357909 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13344768 140726920024815 140726920025242 140726920025242 140726920028111 0
[pid=6995/tid=7003] ppid=6992 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6995/task/7003/stat : 7003 (java) S 6992 6992 4978 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405178989 15373000704 21760 33554432000 4194304 4196468 140726920017696 140228064961520 140229675357909 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13344768 140726920024815 140726920025242 140726920025242 140726920028111 0
[pid=6995/tid=7004] ppid=6992 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6995/task/7004/stat : 7004 (java) S 6992 6992 4978 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405178992 15373000704 21760 33554432000 4194304 4196468 140726920017696 140227690453200 140229675366299 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13344768 140726920024815 140726920025242 140726920025242 140726920028111 0
[pid=6995/tid=7005] ppid=6992 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6995/task/7005/stat : 7005 (java) S 6992 6992 4978 0 -1 1077944384 333 0 0 0 0 0 0 0 20 0 15 0 405178992 15373000704 21760 33554432000 4194304 4196468 140726920017696 140228443437552 140229675358850 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13344768 140726920024815 140726920025242 140726920025242 140726920028111 0
[pid=6995/tid=7006] ppid=6992 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6995/task/7006/stat : 7006 (java) S 6992 6992 4978 0 -1 1077944384 133 0 0 0 0 0 0 0 20 0 15 0 405178992 15373000704 21760 33554432000 4194304 4196468 140726920017696 140228442385008 140229675358850 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13344768 140726920024815 140726920025242 140726920025242 140726920028111 0
[pid=6995/tid=7007] ppid=6992 vsize=15012696 memory=140653477848704 CPUtime=0.03 cores=0,2,4,6
/proc/6995/task/7007/stat : 7007 (java) R 6992 6992 4978 0 -1 4202560 481 0 0 0 3 0 0 0 20 0 15 0 405178992 15373000704 21760 33554432000 4194304 4196468 140726920017696 140228441332464 140229667584830 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13344768 140726920024815 140726920025242 140726920025242 140726920028111 0
[pid=6995/tid=7008] ppid=6992 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6995/task/7008/stat : 7008 (java) S 6992 6992 4978 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405178992 15373000704 21760 33554432000 4194304 4196468 140726920017696 140227192548448 140229675357909 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13344768 140726920024815 140726920025242 140726920025242 140726920028111 0
[pid=6995/tid=7009] ppid=6992 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6995/task/7009/stat : 7009 (java) S 6992 6992 4978 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405178992 15373000704 21760 33554432000 4194304 4196468 140726920017696 140228440279344 140229675358850 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13344768 140726920024815 140726920025242 140726920025242 140726920028111 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 88436 KiB
[startup+0.310744 s]*
/proc/loadavg: 2.97 3.70 2.93 4/230 7009
/proc/meminfo: memFree=12193200/32770624 swapFree=66998516/67108860
[pid=6992] ppid=6989 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/6992/stat : 6992 (scop.sh) S 6989 6992 4978 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405178985 115843072 349 33554432000 4194304 5098028 140731737576736 140731737573992 139658298294908 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 8245248 140731737580328 140731737580656 140731737580656 140731737583565 0
/proc/6992/statm: 28282 349 296 221 0 87 0
[pid=6995] ppid=6992 vsize=15012696 memory=90460 CPUtime=0.44 cores=0,2,4,6
/proc/6995/stat : 6995 (java) S 6992 6992 4978 0 -1 1077944320 11666 0 0 0 40 4 0 0 20 0 15 0 405178985 15373000704 22615 33554432000 4194304 4196468 140726920017696 140726920000240 140229675347703 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13344768 140726920024815 140726920025242 140726920025242 140726920028111 0
/proc/6995/statm: 3753174 22615 3029 1 0 3715579 0
[pid=6995/tid=6996] ppid=6992 vsize=15012696 memory=8317482817917895235 CPUtime=0.3 cores=0,2,4,6
/proc/6995/task/6996/stat : 6996 (java) R 6992 6992 4978 0 -1 4202560 9219 0 0 0 27 3 0 0 20 0 15 0 405178986 15373000704 22615 33554432000 4194304 4196468 140726920017696 140229647177776 140229659428190 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13344768 140726920024815 140726920025242 140726920025242 140726920028111 0
[pid=6995/tid=6997] ppid=6992 vsize=15012696 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/6995/task/6997/stat : 6997 (java) S 6992 6992 4978 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405178987 15373000704 22615 33554432000 4194304 4196468 140726920017696 140229679590160 140229675357909 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13344768 140726920024815 140726920025242 140726920025242 140726920028111 0
[pid=6995/tid=6998] ppid=6992 vsize=15012696 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/6995/task/6998/stat : 6998 (java) S 6992 6992 4978 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405178987 15373000704 22615 33554432000 4194304 4196468 140726920017696 140229478366096 140229675357909 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13344768 140726920024815 140726920025242 140726920025242 140726920028111 0
[pid=6995/tid=6999] ppid=6992 vsize=15012696 memory=6944656592387989600 CPUtime=0 cores=0,2,4,6
/proc/6995/task/6999/stat : 6999 (java) S 6992 6992 4978 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405178987 15373000704 22615 33554432000 4194304 4196468 140726920017696 140229477313552 140229675357909 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13344768 140726920024815 140726920025242 140726920025242 140726920028111 0
[pid=6995/tid=7000] ppid=6992 vsize=15012696 memory=8562125494162282060 CPUtime=0 cores=0,2,4,6
/proc/6995/task/7000/stat : 7000 (java) S 6992 6992 4978 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405178987 15373000704 22615 33554432000 4194304 4196468 140726920017696 140229476261008 140229675357909 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13344768 140726920024815 140726920025242 140726920025242 140726920028111 0
[pid=6995/tid=7001] ppid=6992 vsize=15012696 memory=6933954179156714387 CPUtime=0 cores=0,2,4,6
/proc/6995/task/7001/stat : 7001 (java) S 6992 6992 4978 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405178989 15373000704 22615 33554432000 4194304 4196468 140726920017696 140228444489712 140229675358850 0 0 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13344768 140726920024815 140726920025242 140726920025242 140726920028111 0
[pid=6995/tid=7002] ppid=6992 vsize=15012696 memory=7684433391216329786 CPUtime=0 cores=0,2,4,6
/proc/6995/task/7002/stat : 7002 (java) S 6992 6992 4978 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405178989 15373000704 22615 33554432000 4194304 4196468 140726920017696 140228333396896 140229675357909 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13344768 140726920024815 140726920025242 140726920025242 140726920028111 0
[pid=6995/tid=7003] ppid=6992 vsize=15012696 memory=-9062862659931694204 CPUtime=0 cores=0,2,4,6
/proc/6995/task/7003/stat : 7003 (java) S 6992 6992 4978 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405178989 15373000704 22615 33554432000 4194304 4196468 140726920017696 140228064961520 140229675357909 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13344768 140726920024815 140726920025242 140726920025242 140726920028111 0
[pid=6995/tid=7004] ppid=6992 vsize=15012696 memory=3047711566422646390 CPUtime=0 cores=0,2,4,6
/proc/6995/task/7004/stat : 7004 (java) S 6992 6992 4978 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405178992 15373000704 22615 33554432000 4194304 4196468 140726920017696 140227690453200 140229675366299 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13344768 140726920024815 140726920025242 140726920025242 140726920028111 0
[pid=6995/tid=7005] ppid=6992 vsize=15012696 memory=-8412656567168561567 CPUtime=0.02 cores=0,2,4,6
/proc/6995/task/7005/stat : 7005 (java) S 6992 6992 4978 0 -1 1077944384 376 0 0 0 2 0 0 0 20 0 15 0 405178992 15373000704 22615 33554432000 4194304 4196468 140726920017696 140228443437552 140229675358850 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13344768 140726920024815 140726920025242 140726920025242 140726920028111 0
[pid=6995/tid=7006] ppid=6992 vsize=15012696 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/6995/task/7006/stat : 7006 (java) S 6992 6992 4978 0 -1 1077944384 240 0 0 0 2 0 0 0 20 0 15 0 405178992 15373000704 22615 33554432000 4194304 4196468 140726920017696 140228442385008 140229675358850 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13344768 140726920024815 140726920025242 140726920025242 140726920028111 0
[pid=6995/tid=7007] ppid=6992 vsize=15012696 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/6995/task/7007/stat : 7007 (java) S 6992 6992 4978 0 -1 1077944384 501 0 0 0 7 0 0 0 20 0 15 0 405178992 15373000704 22615 33554432000 4194304 4196468 140726920017696 140228441332464 140229675358850 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13344768 140726920024815 140726920025242 140726920025242 140726920028111 0
[pid=6995/tid=7008] ppid=6992 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6995/task/7008/stat : 7008 (java) S 6992 6992 4978 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405178992 15373000704 22615 33554432000 4194304 4196468 140726920017696 140227192548448 140229675357909 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13344768 140726920024815 140726920025242 140726920025242 140726920028111 0
[pid=6995/tid=7009] ppid=6992 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6995/task/7009/stat : 7009 (java) S 6992 6992 4978 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405178992 15373000704 22615 33554432000 4194304 4196468 140726920017696 140228440279344 140229675358850 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13344768 140726920024815 140726920025242 140726920025242 140726920028111 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 91856 KiB
[startup+0.700833 s]
/proc/loadavg: 2.90 3.68 2.93 3/230 7009
/proc/meminfo: memFree=12170132/32770624 swapFree=66998516/67108860
[pid=6992] ppid=6989 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/6992/stat : 6992 (scop.sh) S 6989 6992 4978 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405178985 115843072 349 33554432000 4194304 5098028 140731737576736 140731737573992 139658298294908 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 8245248 140731737580328 140731737580656 140731737580656 140731737583565 0
/proc/6992/statm: 28282 349 296 221 0 87 0
[pid=6995] ppid=6992 vsize=15021092 memory=130136 CPUtime=1.02 cores=0,2,4,6
/proc/6995/stat : 6995 (java) S 6992 6992 4978 0 -1 1077944320 19445 0 0 0 95 7 0 0 20 0 15 0 405178985 15381598208 32534 33554432000 4194304 4196468 140726920017696 140726920000240 140229675347703 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13344768 140726920024815 140726920025242 140726920025242 140726920028111 0
/proc/6995/statm: 3755273 32534 3202 1 0 3716603 0
[pid=6995/tid=6996] ppid=6992 vsize=15021092 memory=0 CPUtime=0.67 cores=0,2,4,6
/proc/6995/task/6996/stat : 6996 (java) R 6992 6992 4978 0 -1 4202560 16491 0 0 0 62 5 0 0 20 0 15 0 405178986 15381598208 32534 33554432000 4194304 4196468 140726920017696 140229647177312 140229659428190 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13344768 140726920024815 140726920025242 140726920025242 140726920028111 0
[pid=6995/tid=6997] ppid=6992 vsize=15021092 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6995/task/6997/stat : 6997 (java) S 6992 6992 4978 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405178987 15381598208 32534 33554432000 4194304 4196468 140726920017696 140229679590160 140229675357909 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13344768 140726920024815 140726920025242 140726920025242 140726920028111 0
[pid=6995/tid=6998] ppid=6992 vsize=15021092 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6995/task/6998/stat : 6998 (java) S 6992 6992 4978 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405178987 15381598208 32534 33554432000 4194304 4196468 140726920017696 140229478366096 140229675357909 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13344768 140726920024815 140726920025242 140726920025242 140726920028111 0
[pid=6995/tid=6999] ppid=6992 vsize=15021092 memory=1056 CPUtime=0 cores=0,2,4,6
/proc/6995/task/6999/stat : 6999 (java) S 6992 6992 4978 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405178987 15381598208 32534 33554432000 4194304 4196468 140726920017696 140229477313552 140229675357909 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13344768 140726920024815 140726920025242 140726920025242 140726920028111 0
[pid=6995/tid=7000] ppid=6992 vsize=15021092 memory=1204 CPUtime=0 cores=0,2,4,6
/proc/6995/task/7000/stat : 7000 (java) S 6992 6992 4978 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405178987 15381598208 32534 33554432000 4194304 4196468 140726920017696 140229476261008 140229675357909 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13344768 140726920024815 140726920025242 140726920025242 140726920028111 0
[pid=6995/tid=7001] ppid=6992 vsize=15021092 memory=1536 CPUtime=0 cores=0,2,4,6
/proc/6995/task/7001/stat : 7001 (java) S 6992 6992 4978 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 405178989 15381598208 32534 33554432000 4194304 4196468 140726920017696 140228444489712 140229675358850 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13344768 140726920024815 140726920025242 140726920025242 140726920028111 0
[pid=6995/tid=7002] ppid=6992 vsize=15021092 memory=9592 CPUtime=0 cores=0,2,4,6
/proc/6995/task/7002/stat : 7002 (java) S 6992 6992 4978 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405178989 15381598208 32534 33554432000 4194304 4196468 140726920017696 140228333396896 140229675357909 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13344768 140726920024815 140726920025242 140726920025242 140726920028111 0
[pid=6995/tid=7003] ppid=6992 vsize=15021092 memory=2828 CPUtime=0 cores=0,2,4,6
/proc/6995/task/7003/stat : 7003 (java) S 6992 6992 4978 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405178989 15381598208 32534 33554432000 4194304 4196468 140726920017696 140228064961520 140229675357909 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13344768 140726920024815 140726920025242 140726920025242 140726920028111 0
[pid=6995/tid=7004] ppid=6992 vsize=15021092 memory=780 CPUtime=0 cores=0,2,4,6
/proc/6995/task/7004/stat : 7004 (java) S 6992 6992 4978 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405178992 15381598208 32534 33554432000 4194304 4196468 140726920017696 140227690453200 140229675366299 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13344768 140726920024815 140726920025242 140726920025242 140726920028111 0
[pid=6995/tid=7005] ppid=6992 vsize=15021092 memory=620 CPUtime=0.07 cores=0,2,4,6
/proc/6995/task/7005/stat : 7005 (java) S 6992 6992 4978 0 -1 1077944384 580 0 0 0 7 0 0 0 20 0 15 0 405178992 15381598208 32534 33554432000 4194304 4196468 140726920017696 140228443437552 140229675358850 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13344768 140726920024815 140726920025242 140726920025242 140726920028111 0
[pid=6995/tid=7006] ppid=6992 vsize=15021092 memory=1712 CPUtime=0.1 cores=0,2,4,6
/proc/6995/task/7006/stat : 7006 (java) S 6992 6992 4978 0 -1 1077944384 458 0 0 0 10 0 0 0 20 0 15 0 405178992 15381598208 32534 33554432000 4194304 4196468 140726920017696 140228442385008 140229675358850 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13344768 140726920024815 140726920025242 140726920025242 140726920028111 0
[pid=6995/tid=7007] ppid=6992 vsize=15021092 memory=1052 CPUtime=0.15 cores=0,2,4,6
/proc/6995/task/7007/stat : 7007 (java) R 6992 6992 4978 0 -1 4202560 581 0 0 0 15 0 0 0 20 0 15 0 405178992 15381598208 32534 33554432000 4194304 4196468 140726920017696 140228441332464 140229655245153 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13344768 140726920024815 140726920025242 140726920025242 140726920028111 0
[pid=6995/tid=7008] ppid=6992 vsize=15021092 memory=5900 CPUtime=0 cores=0,2,4,6
/proc/6995/task/7008/stat : 7008 (java) S 6992 6992 4978 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405178992 15381598208 32534 33554432000 4194304 4196468 140726920017696 140227192548448 140229675357909 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13344768 140726920024815 140726920025242 140726920025242 140726920028111 0
[pid=6995/tid=7009] ppid=6992 vsize=15021092 memory=14012 CPUtime=0 cores=0,2,4,6
/proc/6995/task/7009/stat : 7009 (java) S 6992 6992 4978 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405178992 15381598208 32534 33554432000 4194304 4196468 140726920017696 140228440279344 140229675358850 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13344768 140726920024815 140726920025242 140726920025242 140726920028111 0
Current children cumulated CPU time: 1.02 s
Current children cumulated vsize: 15134220 KiB
Current children cumulated memory: 131532 KiB
[startup+1.50082 s]
/proc/loadavg: 2.90 3.68 2.93 3/230 7009
/proc/meminfo: memFree=12144740/32770624 swapFree=66998516/67108860
[pid=6992] ppid=6989 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/6992/stat : 6992 (scop.sh) S 6989 6992 4978 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405178985 115843072 349 33554432000 4194304 5098028 140731737576736 140731737573992 139658298294908 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 8245248 140731737580328 140731737580656 140731737580656 140731737583565 0
/proc/6992/statm: 28282 349 296 221 0 87 0
[pid=6995] ppid=6992 vsize=15025188 memory=175728 CPUtime=2.81 cores=0,2,4,6
/proc/6995/stat : 6995 (java) S 6992 6992 4978 0 -1 1077944320 22546 0 0 0 273 8 0 0 20 0 15 0 405178985 15385792512 43932 33554432000 4194304 4196468 140726920017696 140726920000240 140229675347703 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13344768 140726920024815 140726920025242 140726920025242 140726920028111 0
/proc/6995/statm: 3756297 43932 3249 1 0 3717627 0
[pid=6995/tid=6996] ppid=6992 vsize=15025188 memory=1204 CPUtime=1.47 cores=0,2,4,6
/proc/6995/task/6996/stat : 6996 (java) R 6992 6992 4978 0 -1 4202560 17722 0 0 0 141 6 0 0 20 0 15 0 405178986 15385792512 43932 33554432000 4194304 4196468 140726920017696 140229647178816 140229155580629 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13344768 140726920024815 140726920025242 140726920025242 140726920028111 0
[pid=6995/tid=6997] ppid=6992 vsize=15025188 memory=1536 CPUtime=0 cores=0,2,4,6
/proc/6995/task/6997/stat : 6997 (java) S 6992 6992 4978 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405178987 15385792512 43932 33554432000 4194304 4196468 140726920017696 140229679590160 140229675357909 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13344768 140726920024815 140726920025242 140726920025242 140726920028111 0
[pid=6995/tid=6998] ppid=6992 vsize=15025188 memory=9592 CPUtime=0 cores=0,2,4,6
/proc/6995/task/6998/stat : 6998 (java) S 6992 6992 4978 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405178987 15385792512 43932 33554432000 4194304 4196468 140726920017696 140229478366096 140229675357909 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13344768 140726920024815 140726920025242 140726920025242 140726920028111 0
[pid=6995/tid=6999] ppid=6992 vsize=15025188 memory=2828 CPUtime=0 cores=0,2,4,6
/proc/6995/task/6999/stat : 6999 (java) S 6992 6992 4978 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405178987 15385792512 43932 33554432000 4194304 4196468 140726920017696 140229477313552 140229675357909 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13344768 140726920024815 140726920025242 140726920025242 140726920028111 0
[pid=6995/tid=7000] ppid=6992 vsize=15025188 memory=60146722027186 CPUtime=0 cores=0,2,4,6
/proc/6995/task/7000/stat : 7000 (java) S 6992 6992 4978 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405178987 15385792512 43932 33554432000 4194304 4196468 140726920017696 140229476261008 140229675357909 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13344768 140726920024815 140726920025242 140726920025242 140726920028111 0
[pid=6995/tid=7001] ppid=6992 vsize=15025188 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6995/task/7001/stat : 7001 (java) S 6992 6992 4978 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 405178989 15385792512 43932 33554432000 4194304 4196468 140726920017696 140228444489712 140229675358850 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13344768 140726920024815 140726920025242 140726920025242 140726920028111 0
[pid=6995/tid=7002] ppid=6992 vsize=15025188 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6995/task/7002/stat : 7002 (java) S 6992 6992 4978 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405178989 15385792512 43932 33554432000 4194304 4196468 140726920017696 140228333396896 140229675357909 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13344768 140726920024815 140726920025242 140726920025242 140726920028111 0
[pid=6995/tid=7003] ppid=6992 vsize=15025188 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6995/task/7003/stat : 7003 (java) S 6992 6992 4978 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405178989 15385792512 43932 33554432000 4194304 4196468 140726920017696 140228064961520 140229675357909 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13344768 140726920024815 140726920025242 140726920025242 140726920028111 0
[pid=6995/tid=7004] ppid=6992 vsize=15025188 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6995/task/7004/stat : 7004 (java) S 6992 6992 4978 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405178992 15385792512 43932 33554432000 4194304 4196468 140726920017696 140227690453200 140229675366299 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13344768 140726920024815 140726920025242 140726920025242 140726920028111 0
[pid=6995/tid=7005] ppid=6992 vsize=15025188 memory=0 CPUtime=0.32 cores=0,2,4,6
/proc/6995/task/7005/stat : 7005 (java) R 6992 6992 4978 0 -1 4202560 741 0 0 0 32 0 0 0 20 0 15 0 405178992 15385792512 43932 33554432000 4194304 4196468 140726920017696 140228443437552 140229652942512 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13344768 140726920024815 140726920025242 140726920025242 140726920028111 0
[pid=6995/tid=7006] ppid=6992 vsize=15025188 memory=0 CPUtime=0.36 cores=0,2,4,6
/proc/6995/task/7006/stat : 7006 (java) R 6992 6992 4978 0 -1 4202560 755 0 0 0 36 0 0 0 20 0 15 0 405178992 15385792512 43932 33554432000 4194304 4196468 140726920017696 140228442385008 140229660721361 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13344768 140726920024815 140726920025242 140726920025242 140726920028111 0
[pid=6995/tid=7007] ppid=6992 vsize=15025188 memory=0 CPUtime=0.63 cores=0,2,4,6
/proc/6995/task/7007/stat : 7007 (java) R 6992 6992 4978 0 -1 1077944384 1991 0 0 0 63 0 0 0 20 0 15 0 405178992 15385792512 43932 33554432000 4194304 4196468 140726920017696 140228441332464 140229675358850 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 13344768 140726920024815 140726920025242 140726920025242 140726920028111 0
[pid=6995/tid=7008] ppid=6992 vsize=15025188 memory=4580 CPUtime=0 cores=0,2,4,6
/proc/6995/task/7008/stat : 7008 (java) S 6992 6992 4978 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405178992 15385792512 43932 33554432000 4194304 4196468 140726920017696 140227192548448 140229675357909 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13344768 140726920024815 140726920025242 140726920025242 140726920028111 0
[pid=6995/tid=7009] ppid=6992 vsize=15025188 memory=7451889919588651350 CPUtime=0 cores=0,2,4,6
/proc/6995/task/7009/stat : 7009 (java) S 6992 6992 4978 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405178992 15385792512 43932 33554432000 4194304 4196468 140726920017696 140228440279344 140229675358850 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13344768 140726920024815 140726920025242 140726920025242 140726920028111 0
Current children cumulated CPU time: 2.81 s
Current children cumulated vsize: 15138316 KiB
Current children cumulated memory: 177124 KiB
[startup+2.79707 s]
# the end of solver process 6992 was just reported to runsolver
# cumulated CPU time of all completed processes: user=5.3853 s, system=0.201139 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.60097 s]
/proc/loadavg: 2.90 3.68 2.93 3/230 7009
/proc/meminfo: memFree=12144740/32770624 swapFree=66998516/67108860
[pid=6992] ppid=6989 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/6992/stat : 6992 (scop.sh) S 6989 6992 4978 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405178985 115843072 349 33554432000 4194304 5098028 140731737576736 140731737573992 139658298294908 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 8245248 140731737580328 140731737580656 140731737580656 140731737583565 0
/proc/6992/statm: 28282 349 296 221 0 87 0
[pid=6995] ppid=6992 vsize=15025188 memory=184888 CPUtime=3.13 cores=0,2,4,6
/proc/6995/stat : 6995 (java) S 6992 6992 4978 0 -1 1077944320 22838 0 0 0 305 8 0 0 20 0 15 0 405178985 15385792512 46222 33554432000 4194304 4196468 140726920017696 140726920000240 140229675347703 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13344768 140726920024815 140726920025242 140726920025242 140726920028111 0
/proc/6995/statm: 3756297 46222 3249 1 0 3717627 0
[pid=6995/tid=6996] ppid=6992 vsize=15025188 memory=7228399900444025194 CPUtime=1.58 cores=0,2,4,6
/proc/6995/task/6996/stat : 6996 (java) R 6992 6992 4978 0 -1 4202560 17756 0 0 0 151 7 0 0 20 0 15 0 405178986 15385792512 46222 33554432000 4194304 4196468 140726920017696 140229647179312 140229162808677 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13344768 140726920024815 140726920025242 140726920025242 140726920028111 0
[pid=6995/tid=6997] ppid=6992 vsize=15025188 memory=8026933427073083712 CPUtime=0 cores=0,2,4,6
/proc/6995/task/6997/stat : 6997 (java) S 6992 6992 4978 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405178987 15385792512 46222 33554432000 4194304 4196468 140726920017696 140229679590160 140229675357909 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13344768 140726920024815 140726920025242 140726920025242 140726920028111 0
[pid=6995/tid=6998] ppid=6992 vsize=15025188 memory=7738423740288493165 CPUtime=0 cores=0,2,4,6
/proc/6995/task/6998/stat : 6998 (java) S 6992 6992 4978 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405178987 15385792512 46222 33554432000 4194304 4196468 140726920017696 140229478366096 140229675357909 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13344768 140726920024815 140726920025242 140726920025242 140726920028111 0
[pid=6995/tid=6999] ppid=6992 vsize=15025188 memory=223 CPUtime=0 cores=0,2,4,6
/proc/6995/task/6999/stat : 6999 (java) S 6992 6992 4978 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405178987 15385792512 46222 33554432000 4194304 4196468 140726920017696 140229477313552 140229675357909 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13344768 140726920024815 140726920025242 140726920025242 140726920028111 0
[pid=6995/tid=7000] ppid=6992 vsize=15025188 memory=127 CPUtime=0 cores=0,2,4,6
/proc/6995/task/7000/stat : 7000 (java) S 6992 6992 4978 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405178987 15385792512 46222 33554432000 4194304 4196468 140726920017696 140229476261008 140229675357909 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13344768 140726920024815 140726920025242 140726920025242 140726920028111 0
[pid=6995/tid=7001] ppid=6992 vsize=15025188 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6995/task/7001/stat : 7001 (java) S 6992 6992 4978 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 405178989 15385792512 46222 33554432000 4194304 4196468 140726920017696 140228444489712 140229675358850 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13344768 140726920024815 140726920025242 140726920025242 140726920028111 0
[pid=6995/tid=7002] ppid=6992 vsize=15025188 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6995/task/7002/stat : 7002 (java) S 6992 6992 4978 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405178989 15385792512 46222 33554432000 4194304 4196468 140726920017696 140228333396896 140229675357909 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13344768 140726920024815 140726920025242 140726920025242 140726920028111 0
[pid=6995/tid=7003] ppid=6992 vsize=15025188 memory=281304922897782 CPUtime=0 cores=0,2,4,6
/proc/6995/task/7003/stat : 7003 (java) S 6992 6992 4978 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405178989 15385792512 46222 33554432000 4194304 4196468 140726920017696 140228064961520 140229675357909 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13344768 140726920024815 140726920025242 140726920025242 140726920028111 0
[pid=6995/tid=7004] ppid=6992 vsize=15025188 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6995/task/7004/stat : 7004 (java) S 6992 6992 4978 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405178992 15385792512 46222 33554432000 4194304 4196468 140726920017696 140227690453200 140229675366299 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13344768 140726920024815 140726920025242 140726920025242 140726920028111 0
[pid=6995/tid=7005] ppid=6992 vsize=15025188 memory=0 CPUtime=0.41 cores=0,2,4,6
/proc/6995/task/7005/stat : 7005 (java) R 6992 6992 4978 0 -1 4202560 778 0 0 0 41 0 0 0 20 0 15 0 405178992 15385792512 46222 33554432000 4194304 4196468 140726920017696 140228443437552 140229658831198 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13344768 140726920024815 140726920025242 140726920025242 140726920028111 0
[pid=6995/tid=7006] ppid=6992 vsize=15025188 memory=0 CPUtime=0.46 cores=0,2,4,6
/proc/6995/task/7006/stat : 7006 (java) R 6992 6992 4978 0 -1 4202560 920 0 0 0 46 0 0 0 20 0 15 0 405178992 15385792512 46222 33554432000 4194304 4196468 140726920017696 140228442370688 140229656868985 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13344768 140726920024815 140726920025242 140726920025242 140726920028111 0
[pid=6995/tid=7007] ppid=6992 vsize=15025188 memory=0 CPUtime=0.66 cores=0,2,4,6
/proc/6995/task/7007/stat : 7007 (java) S 6992 6992 4978 0 -1 1077944384 2047 0 0 0 66 0 0 0 20 0 15 0 405178992 15385792512 46222 33554432000 4194304 4196468 140726920017696 140228441332464 140229675358850 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13344768 140726920024815 140726920025242 140726920025242 140726920028111 0
[pid=6995/tid=7008] ppid=6992 vsize=15025188 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6995/task/7008/stat : 7008 (java) S 6992 6992 4978 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405178992 15385792512 46222 33554432000 4194304 4196468 140726920017696 140227192548448 140229675357909 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13344768 140726920024815 140726920025242 140726920025242 140726920028111 0
[pid=6995/tid=7009] ppid=6992 vsize=15025188 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6995/task/7009/stat : 7009 (java) S 6992 6992 4978 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405178992 15385792512 46222 33554432000 4194304 4196468 140726920017696 140228440279344 140229675358850 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13344768 140726920024815 140726920025242 140726920025242 140726920028111 0
Current children cumulated CPU time: 3.13 s
Current children cumulated vsize: 15138316 KiB
Current children cumulated memory: 186284 KiB
[startup+2.40058 s]
/proc/loadavg: 2.90 3.68 2.93 3/221 7015
/proc/meminfo: memFree=12255772/32770624 swapFree=66998516/67108860
[pid=6992] ppid=6989 vsize=113128 memory=1476 CPUtime=4.31 cores=0,2,4,6
/proc/6992/stat : 6992 (scop.sh) S 6989 6992 4978 0 -1 4202496 583 24918 0 0 0 0 420 11 20 0 1 0 405178985 115843072 369 33554432000 4194304 5098028 140731737576736 140731737573480 139658298294908 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 8245248 140731737580328 140731737580656 140731737580656 140731737583565 0
/proc/6992/statm: 28282 369 311 221 0 87 0
[pid=7010] ppid=6992 vsize=7406584 memory=69920 CPUtime=0.55 cores=0,2,4,6
/proc/7010/stat : 7010 (java) S 6992 6992 4978 0 -1 1077944320 13203 0 0 0 51 4 0 0 20 0 15 0 405179183 7584342016 17480 33554432000 4194304 4196468 140730350275392 140730350257936 140233879875319 0 0 2 25189581 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 8216576 140730350277628 140730350277786 140730350277786 140730350280655 0
/proc/7010/statm: 1851646 17480 3034 1 0 1813530 0
[pid=7010/tid=7011] ppid=6992 vsize=7406584 memory=0 CPUtime=0.39 cores=0,2,4,6
/proc/7010/task/7011/stat : 7011 (java) R 6992 6992 4978 0 -1 4202560 10870 0 0 0 36 3 0 0 20 0 15 0 405179184 7584342016 17480 33554432000 4194304 4196468 140730350275392 140233851703992 140233863955806 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8216576 140730350277628 140730350277786 140730350277786 140730350280655 0
[pid=7010/tid=7012] ppid=6992 vsize=7406584 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7010/task/7012/stat : 7012 (java) S 6992 6992 4978 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405179185 7584342016 17480 33554432000 4194304 4196468 140730350275392 140233884117904 140233879885525 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8216576 140730350277628 140730350277786 140730350277786 140730350280655 0
[pid=7010/tid=7013] ppid=6992 vsize=7406584 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7010/task/7013/stat : 7013 (java) S 6992 6992 4978 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405179185 7584342016 17480 33554432000 4194304 4196468 140730350275392 140233365420816 140233879885525 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8216576 140730350277628 140730350277786 140730350277786 140730350280655 0
[pid=7010/tid=7014] ppid=6992 vsize=7406584 memory=8112282956445269571 CPUtime=0 cores=0,2,4,6
/proc/7010/task/7014/stat : 7014 (java) S 6992 6992 4978 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405179185 7584342016 17480 33554432000 4194304 4196468 140730350275392 140233364368528 140233879885525 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8216576 140730350277628 140730350277786 140730350277786 140730350280655 0
[pid=7010/tid=7015] ppid=6992 vsize=7406584 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7010/task/7015/stat : 7015 (java) S 6992 6992 4978 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405179185 7584342016 17480 33554432000 4194304 4196468 140730350275392 140233363315728 140233879885525 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8216576 140730350277628 140730350277786 140730350277786 140730350280655 0
Current children cumulated CPU time: 4.86 s
Current children cumulated vsize: 7519712 KiB
Current children cumulated memory: 71396 KiB
[startup+2.6005 s]
/proc/loadavg: 2.90 3.68 2.93 3/221 7015
/proc/meminfo: memFree=12255772/32770624 swapFree=66998516/67108860
[pid=6992] ppid=6989 vsize=113128 memory=1476 CPUtime=4.31 cores=0,2,4,6
/proc/6992/stat : 6992 (scop.sh) S 6989 6992 4978 0 -1 4202496 583 24918 0 0 0 0 420 11 20 0 1 0 405178985 115843072 369 33554432000 4194304 5098028 140731737576736 140731737573480 139658298294908 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 8245248 140731737580328 140731737580656 140731737580656 140731737583565 0
/proc/6992/statm: 28282 369 311 221 0 87 0
[pid=7010] ppid=6992 vsize=7406604 memory=95528 CPUtime=0.84 cores=0,2,4,6
/proc/7010/stat : 7010 (java) S 6992 6992 4978 0 -1 1077944320 18632 0 0 0 80 4 0 0 20 0 15 0 405179183 7584362496 23882 33554432000 4194304 4196468 140730350275392 140730350257936 140233879875319 0 0 2 25189581 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 8216576 140730350277628 140730350277786 140730350277786 140730350280655 0
/proc/7010/statm: 1851651 23882 3090 1 0 1813530 0
[pid=7010/tid=7011] ppid=6992 vsize=7406604 memory=0 CPUtime=0.59 cores=0,2,4,6
/proc/7010/task/7011/stat : 7011 (java) R 6992 6992 4978 0 -1 4202560 16203 0 0 0 56 3 0 0 20 0 15 0 405179184 7584362496 23882 33554432000 4194304 4196468 140730350275392 140233851678608 140233861438857 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8216576 140730350277628 140730350277786 140730350277786 140730350280655 0
[pid=7010/tid=7012] ppid=6992 vsize=7406604 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7010/task/7012/stat : 7012 (java) S 6992 6992 4978 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405179185 7584362496 23882 33554432000 4194304 4196468 140730350275392 140233884117904 140233879885525 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8216576 140730350277628 140730350277786 140730350277786 140730350280655 0
[pid=7010/tid=7013] ppid=6992 vsize=7406604 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/7010/task/7013/stat : 7013 (java) S 6992 6992 4978 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405179185 7584362496 23882 33554432000 4194304 4196468 140730350275392 140233365420816 140233879885525 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8216576 140730350277628 140730350277786 140730350277786 140730350280655 0
[pid=7010/tid=7014] ppid=6992 vsize=7406604 memory=207204 CPUtime=0 cores=0,2,4,6
/proc/7010/task/7014/stat : 7014 (java) S 6992 6992 4978 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405179185 7584362496 23882 33554432000 4194304 4196468 140730350275392 140233364368528 140233879885525 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8216576 140730350277628 140730350277786 140730350277786 140730350280655 0
[pid=7010/tid=7015] ppid=6992 vsize=7406604 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7010/task/7015/stat : 7015 (java) S 6992 6992 4978 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405179185 7584362496 23882 33554432000 4194304 4196468 140730350275392 140233363315728 140233879885525 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8216576 140730350277628 140730350277786 140730350277786 140730350280655 0
Current children cumulated CPU time: 5.15 s
Current children cumulated vsize: 7519732 KiB
Current children cumulated memory: 97004 KiB
[startup+2.70646 s]
/proc/loadavg: 2.90 3.68 2.93 3/221 7015
/proc/meminfo: memFree=12255772/32770624 swapFree=66998516/67108860
[pid=6992] ppid=6989 vsize=113128 memory=1476 CPUtime=4.31 cores=0,2,4,6
/proc/6992/stat : 6992 (scop.sh) S 6989 6992 4978 0 -1 4202496 583 24918 0 0 0 0 420 11 20 0 1 0 405178985 115843072 369 33554432000 4194304 5098028 140731737576736 140731737573480 139658298294908 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 8245248 140731737580328 140731737580656 140731737580656 140731737583565 0
/proc/6992/statm: 28282 369 311 221 0 87 0
[pid=7010] ppid=6992 vsize=7410792 memory=99920 CPUtime=1.02 cores=0,2,4,6
/proc/7010/stat : 7010 (java) S 6992 6992 4978 0 -1 1077944320 19436 0 0 0 96 6 0 0 20 0 15 0 405179183 7588651008 24980 33554432000 4194304 4196468 140730350275392 140730350257936 140233879875319 0 0 2 25189581 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 8216576 140730350277628 140730350277786 140730350277786 140730350280655 0
/proc/7010/statm: 1852698 24980 3123 1 0 1814042 0
[pid=7010/tid=7011] ppid=6992 vsize=7410792 memory=0 CPUtime=0.7 cores=0,2,4,6
/proc/7010/task/7011/stat : 7011 (java) R 6992 6992 4978 0 -1 4202560 16859 0 0 0 65 5 0 0 20 0 15 0 405179184 7588651008 24980 33554432000 4194304 4196468 140730350275392 140233851706416 140730350700482 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8216576 140730350277628 140730350277786 140730350277786 140730350280655 0
[pid=7010/tid=7012] ppid=6992 vsize=7410792 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7010/task/7012/stat : 7012 (java) S 6992 6992 4978 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405179185 7588651008 24980 33554432000 4194304 4196468 140730350275392 140233884117904 140233879885525 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8216576 140730350277628 140730350277786 140730350277786 140730350280655 0
[pid=7010/tid=7013] ppid=6992 vsize=7410792 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7010/task/7013/stat : 7013 (java) S 6992 6992 4978 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405179185 7588651008 24980 33554432000 4194304 4196468 140730350275392 140233365420816 140233879885525 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8216576 140730350277628 140730350277786 140730350277786 140730350280655 0
[pid=7010/tid=7014] ppid=6992 vsize=7410792 memory=76284 CPUtime=0 cores=0,2,4,6
/proc/7010/task/7014/stat : 7014 (java) S 6992 6992 4978 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405179185 7588651008 24980 33554432000 4194304 4196468 140730350275392 140233364368528 140233879885525 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8216576 140730350277628 140730350277786 140730350277786 140730350280655 0
[pid=7010/tid=7015] ppid=6992 vsize=7410792 memory=1476 CPUtime=0 cores=0,2,4,6
/proc/7010/task/7015/stat : 7015 (java) S 6992 6992 4978 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405179185 7588651008 24980 33554432000 4194304 4196468 140730350275392 140233363315728 140233879885525 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8216576 140730350277628 140730350277786 140730350277786 140730350280655 0
Current children cumulated CPU time: 5.33 s
Current children cumulated vsize: 7523920 KiB
Current children cumulated memory: 101396 KiB
Child status: 0
Real time (s): 2.79712
CPU time (s): 5.58644
CPU user time (s): 5.3853
CPU system time (s): 0.201139
CPU usage (%): 199.722
Max. virtual memory (cumulated for all children) (KiB): 15140452
Max. memory (cumulated for all children) (KiB): 222288
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.3853
system time used= 0.201139
maximum resident set size= 226928
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 46632
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= 5181
involuntary context switches= 17
# summary of solver processes directly reported to runsolver:
# pid: 6992
# total CPU time (s): 5.58644
# total CPU user time (s): 5.3853
# total CPU system time (s): 0.201139
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.039277 second user time and 0.073519 second system time
The end