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-18793-serial-file.bin HOME/instance-4388097-1568295289.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 15:34:11 CEST 2019
0.66/0.56 c PID: 18796
0.66/0.56 c IP: 172.20.3.133
0.66/0.56 c HOST: node133.alineos.net
0.66/0.57 c (0,0) Parsing Begin
13.94/10.47 c (9,9) Parsing End
13.94/10.47 c (9,9) CSP: 72 int (0 aux), 0 bool (0 aux), 44 ctr, max domain size 8
13.94/10.47 c (9,9) Heap : 3390 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
13.94/10.47 c (9,9) Constraint Name Generate Begin
13.94/10.48 c (9,9) Ctr:HOME/instance-4388097-1568295289.xml,ExtensionSupport:Var
13.94/10.48 c (9,9) Constraint Name Generate End
13.94/10.48 c (9,9) Heap : 3390 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
13.94/10.48 c (9,9) CSP to CSPinCNF Begin
14.39/10.76 c (10,9) translated 5 (10%) constraints
14.66/10.81 c (10,9) translated 9 (20%) constraints
14.66/10.87 c (10,9) translated 14 (30%) constraints
14.66/10.90 c (10,9) translated 18 (40%) constraints
14.90/10.92 c (10,9) translated 22 (50%) constraints
14.90/10.95 c (10,9) translated 27 (60%) constraints
75.71/66.74 c (66,64) translated 31 (70%) constraints
85.77/76.61 c (76,74) translated 36 (80%) constraints
87.70/78.59 c (78,76) translated 40 (90%) constraints
87.84/78.61 c (78,76) translated 44 (100%) constraints
87.84/78.61 c (78,76) ===========================================
87.84/78.61 c (78,76) Order
87.84/78.61 c (78,76) ===========================================
87.84/78.63 c (78,76) translated 146 (10%) constraints
87.84/78.64 c (78,76) translated 292 (20%) constraints
87.84/78.65 c (78,76) translated 438 (30%) constraints
87.84/78.65 c (78,76) translated 584 (40%) constraints
87.84/78.66 c (78,76) translated 730 (50%) constraints
87.84/78.67 c (78,76) translated 876 (60%) constraints
87.84/78.68 c (78,76) translated 1022 (70%) constraints
87.84/78.68 c (78,76) translated 1168 (80%) constraints
87.84/78.69 c (78,76) translated 1314 (90%) constraints
88.18/78.70 c (78,76) translated 1460 (100%) constraints
88.18/78.70 c (78,76) CSP to CSPinCNF End
88.18/78.70 c (78,76) CSP: 72 int (0 aux), 364 bool (364 aux), 1460 ctr, max domain size 8
88.18/78.70 c (78,76) Heap : 1299 MiB used (max 10382 MiB), NonHeap : 27 MiB used (max 0 MiB)
88.18/78.70 c (78,76) CSPinCNF Propagation Begin
88.18/78.74 c (78,76) 0 values, 44 unsatisfiable literals, and 0 valid clauses are removed
88.18/78.74 c (78,76) CSPinCNF Propagation End
88.18/78.74 c (78,76) CSP: 72 int (0 aux), 364 bool (364 aux), 1460 ctr, max domain size 8
88.18/78.74 c (78,76) Heap : 1299 MiB used (max 10382 MiB), NonHeap : 27 MiB used (max 0 MiB)
88.18/78.75 c (78,76) Simplify CSPinCNF Begin
88.18/78.76 c (78,76) Simplify CSPinCNF End
88.18/78.76 c (78,76) CSP: 72 int (0 aux), 364 bool (364 aux), 1460 ctr, max domain size 8
88.18/78.76 c (78,76) Heap : 1299 MiB used (max 10382 MiB), NonHeap : 27 MiB used (max 0 MiB)
88.18/78.76 c (78,76) Calculate Precise Domain Begin
88.18/78.76 c (78,76) 0 values are removed by re-calculation
88.18/78.76 c (78,76) Calculate Precise Domain End
88.18/78.76 c (78,76) CSP: 72 int (0 aux), 364 bool (364 aux), 1460 ctr, max domain size 8
88.18/78.76 c (78,76) Heap : 1299 MiB used (max 10382 MiB), NonHeap : 28 MiB used (max 0 MiB)
88.18/78.76 c (78,76) CSPinCNF to SatSolver Begin
88.53/78.83 c (78,76) 146 (10 %) CSP clauses are encoded (0 SAT variables, 569 SAT clauses)
88.53/78.85 c (78,76) 292 (20 %) CSP clauses are encoded (0 SAT variables, 715 SAT clauses)
88.53/78.85 c (78,76) 438 (30 %) CSP clauses are encoded (0 SAT variables, 861 SAT clauses)
88.53/78.86 c (78,76) 584 (40 %) CSP clauses are encoded (0 SAT variables, 1007 SAT clauses)
88.53/78.87 c (78,76) 730 (50 %) CSP clauses are encoded (0 SAT variables, 1153 SAT clauses)
88.53/78.87 c (78,76) 876 (60 %) CSP clauses are encoded (0 SAT variables, 1299 SAT clauses)
88.53/78.88 c (78,76) 1022 (70 %) CSP clauses are encoded (0 SAT variables, 1445 SAT clauses)
88.53/78.88 c (78,76) 1168 (80 %) CSP clauses are encoded (0 SAT variables, 1591 SAT clauses)
88.53/78.89 c (78,76) 1314 (90 %) CSP clauses are encoded (0 SAT variables, 1737 SAT clauses)
88.53/78.89 c (78,76) 1460 (100 %) CSP clauses are encoded (0 SAT variables, 1883 SAT clauses)
88.53/78.89 c (78,76) CSPinCNF to SatSolver End
88.53/78.89 c (78,76) Heap : 1299 MiB used (max 10382 MiB), NonHeap : 28 MiB used (max 0 MiB)
88.53/78.89 c (78,76) 860 bool, 1884 clause
88.53/78.89 c (78,76) Export Begin
88.89/78.99 c (78,76) Export to HOME/scop-18793-serial-file.bin
88.89/78.99 c (78,76) Export End
88.89/78.99 c (78,76) Export File Size: 0.02 MB
88.89/78.99 c (78,76) 9,9,78,78,78,78,78,STOP-AFTER(DIMACS)
88.89/78.99 c END-Prog: Thu Sep 12 15:35:30 CEST 2019
0.00/79.01 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-18793-serial-file.bin
89.14/79.48 c (0,0) Read Serial File Begin
89.14/79.48 c (0,0) HOME/scop-18793-serial-file.bin
89.14/79.69 c (0,0) Read Serial File End
89.14/79.70
89.14/79.70 Fun-sCOP order+glueminisat-simp-2.2.10-193oa-n-release (2019-06-15)
89.14/79.70 (Solving Process)
89.14/79.70
89.14/79.72 c BEGIN-Prog: Thu Sep 12 15:35:30 CEST 2019
89.14/79.72 c PID: 18816
89.14/79.72 c IP: 172.20.3.133
89.14/79.72 c HOST: node133.alineos.net
89.14/79.73 c (0,0) SatSolver.solve Begin
89.14/79.73 c (0,0) HOME/glueminisat-simp-2.2.10-193oa-n-release -model -verb=3 -elim-cl=5000000 -native-oa HOME/instance-4388097-1568295289.xml-scop-18796.cnf
89.14/79.76 c (0,0) c WARNING: for repeatability, setting FPU to use double precision
89.14/79.76 c (0,0) c glueminisat-simp-2.2.10-193oa-n
89.14/79.76 c (0,0) c Command: HOME/glueminisat-simp-2.2.10-193oa-n-release -model -verb=3 -elim-cl=5000000 -native-oa HOME/instance-4388097-1568295289.xml-scop-18796.cnf
89.14/79.76 c (0,0) c Options:
89.14/79.76 c (0,0) c CORE
89.14/79.77 c (0,0) c var_decay = 0.950
89.14/79.77 c (0,0) c clause_decay = 0.999
89.14/79.77 c (0,0) c random_var_freq = 0.000
89.14/79.77 c (0,0) c random_seed = 91648253.000
89.14/79.77 c (0,0) c luby_restart = 1
89.14/79.77 c (0,0) c ccmin_mode = 2
89.14/79.77 c (0,0) c phase_saving = 2
89.14/79.77 c (0,0) c rnd_pol = 0
89.14/79.77 c (0,0) c rnd_init_act = 0
89.14/79.77 c (0,0) c garbage_frac = 0.200
89.14/79.77 c (0,0) c restart_first = 1000
89.14/79.77 c (0,0) c restart_inc = 2.000
89.14/79.77 c (0,0) c MODEL
89.14/79.77 c (0,0) c partial_model = 0
89.14/79.77 c (0,0) c PROPAGATION
89.14/79.77 c (0,0) c bin_propagation = 1
89.14/79.77 c (0,0) c SIMPLIFICATION
89.14/79.77 c (0,0) c lrn_min_size = 100
89.14/79.77 c (0,0) c lazy_simp = 1
89.14/79.77 c (0,0) c lazy_interval = 10
89.14/79.77 c (0,0) c lazy_fld_probing = 1
89.14/79.77 c (0,0) c lazy_pol_probing = 1
89.14/79.77 c (0,0) c lazy_nec_probing = 1
89.14/79.77 c (0,0) c lazy_eqv_probing = 1
89.14/79.77 c (0,0) c lazy_cla_probing = 1
89.14/79.77 c (0,0) c lazy_lrn_min = 2
89.14/79.77 c (0,0) c lazy_uw_lit_elim = 1
89.14/79.77 c (0,0) c lazy_pr_lit_elim = 0
89.14/79.77 c (0,0) c lazy_bin_add = 3
89.14/79.77 c (0,0) c probed_lit_chain = 1
89.14/79.77 c (0,0) c pr_min_lits = 0.00020
89.14/79.77 c (0,0) c pr_min_starts = 500
89.14/79.77 c (0,0) c rw_min_lits = 0.010
89.14/79.77 c (0,0) c rw_min_starts = 500
89.14/79.77 c (0,0) c rand_attach = 0
89.14/79.77 c (0,0) c dec_elim = 1
89.14/79.77 c (0,0) c dec_elim_lim = 25
89.14/79.77 c (0,0) c dec_elim_len = -1
89.14/79.77 c (0,0) c amo = 0
89.14/79.77 c (0,0) c amo_grp = 1
89.14/79.77 c (0,0) c amo_max_bins = 1000000
89.14/79.77 c (0,0) c amo_starts = 50
89.14/79.77 c (0,0) c mace_cmd = mace
89.14/79.77 c (0,0) c DECISION
89.14/79.77 c (0,0) c rand_rebuild = 0
89.14/79.77 c (0,0) c rand_rebuild_confs = 10000
89.14/79.77 c (0,0) c inc_var_decay = 1
89.14/79.77 c (0,0) c inc_var_decay_period = 100000
89.14/79.77 c (0,0) c inc_var_decay_init = 0.600
89.14/79.77 c (0,0) c var_decay_mode = 0
89.14/79.77 c (0,0) c var_decay_gain = 0
89.14/79.77 c (0,0) c sloped_var_decay = 1
89.14/79.77 c (0,0) c max_var_decay = 0.990
89.14/79.77 c (0,0) c min_var_decay = 0.950
89.14/79.77 c (0,0) c min_var_decay_vars = 10000
89.14/79.77 c (0,0) c max_var_decay_vars = 500
89.14/79.77 c (0,0) c uip_bumping = 1
89.14/79.77 c (0,0) c lbd_act_bumping = 1
89.14/79.77 c (0,0) c rand_tiebreak = 0
89.14/79.77 c (0,0) c simp_rebuild = 1
89.14/79.77 c (0,0) c RESTART
89.14/79.77 c (0,0) c restart_strategy = 2
89.14/79.77 c (0,0) c restart_blocking = 0
89.14/79.77 c (0,0) c agility_decay = 0.99990
89.14/79.77 c (0,0) c lbd_restart_rate = 0.800
89.14/79.77 c (0,0) c dec_restart_rate = 0.950
89.14/79.77 c (0,0) c blk_restart_rate = 0.700
89.14/79.77 c (0,0) c lbd_queue_size = 50
89.14/79.77 c (0,0) c dec_queue_size = 50
89.14/79.77 c (0,0) c trl_queue_size = 5000
89.14/79.77 c (0,0) c blk_restart_weight = 1.000
89.14/79.77 c (0,0) c inc_rst_rate = 0
89.14/79.77 c (0,0) c inc_rst_rate_period = 500000
89.14/79.77 c (0,0) c inc_lbd_rst_rate_init = 0.600
89.14/79.77 c (0,0) c inc_dec_rst_rate_init = 0.750
89.14/79.77 c (0,0) c REDUCTION
89.14/79.77 c (0,0) c closed_lbd = 0
89.14/79.77 c (0,0) c closed_lbd_rate = 0.500
89.14/79.77 c (0,0) c rm_simulate = 0
89.14/79.77 c (0,0) c rdb_eval = 2
89.14/79.77 c (0,0) c rdb_call = 3
89.14/79.77 c (0,0) c rdb_ub = 0.500
89.14/79.77 c (0,0) c core_lbd_cvr = 0.800
89.14/79.77 c (0,0) c supp_lbd_cvr = 0.990
89.14/79.77 c (0,0) c core_lbd_lb = 2
89.14/79.77 c (0,0) c supp_lbd_lb = 2
89.14/79.77 c (0,0) c core_lbd_prd = 7
89.14/79.77 c (0,0) c supp_lbd_prd = 1
89.14/79.77 c (0,0) c othr_lbd_prd = 0
89.14/79.77 c (0,0) c inc_lrn_limit = 1000
89.14/79.77 c (0,0) c frozen_lbd = 30
89.14/79.77 c (0,0) c simp_min_starts = 100
89.14/79.77 c (0,0) c rm_low_act_learnts = 1
89.14/79.77 c (0,0) c lv0_reduce_db = 0
89.14/79.77 c (0,0) c reduce_db_base = 20000
89.14/79.77 c (0,0) c reduce_db_inc = 1000
89.14/79.77 c (0,0) c HARD
89.14/79.77 c (0,0) c inst_check = 200000
89.14/79.77 c (0,0) c small_block = 1.750
89.14/79.77 c (0,0) c slow_restart_speed = 400.000
89.14/79.77 c (0,0) c slow_restart_strategy = 3
89.14/79.77 c (0,0) c slow_lbd_restart_rate = 0.700
89.14/79.77 c (0,0) c slow_dec_restart_rate = 1.000
89.14/79.77 c (0,0) c slow_lbd_queue_size = 50
89.14/79.77 c (0,0) c slow_var_decay = 0.950
89.14/79.77 c (0,0) c slow_glue_threshold = 2
89.14/79.77 c (0,0) c slow_phase_saving = 2
89.14/79.77 c (0,0) c fast_restart_speed = 125.000
89.14/79.77 c (0,0) c fast_restart_strategy = 1
89.14/79.77 c (0,0) c fast_lbd_restart_rate = 0.800
89.14/79.77 c (0,0) c fast_dec_restart_rate = 0.950
89.14/79.77 c (0,0) c fast_lbd_queue_size = 50
89.14/79.77 c (0,0) c fast_var_decay = 1.000
89.14/79.77 c (0,0) c fast_glue_threshold = 2
89.14/79.77 c (0,0) c fast_phase_saving = 2
89.14/79.77 c (0,0) c STATS
89.14/79.77 c (0,0) c stats_conf_size = 10000
89.14/79.77 c (0,0) c max_stats_size = 30
89.14/79.77 c (0,0) c SOLVER
89.14/79.77 c (0,0) c minisat = 0
89.14/79.77 c (0,0) c Problem: 860 variables, 1884 clauses, parsing 0.00 s
89.14/79.77 c (0,0) c reduced to 48 variables, 236 clauses (grow = 0)
89.14/79.77 c (0,0) c exclude 0 (0.0%) variables from decision variables (last cost 0)
89.14/79.77 c (0,0) c Simplification: 812 vars, 1648 clauses are eliminated using 0.00 s
89.14/79.77 c (0,0) c
89.14/79.77 c (0,0) c #Rstrts #Confs #Vars #Clauses #Learnts Lits/C LBD/C DLVs Trail
89.14/79.77 c (0,0) c
89.14/79.77 c (0,0) c 0 0 0 48 236 0 -nan -nan -nan -nan%
89.14/79.77 c (0,0) c 0 1 100 48 236 100 7.0 2.8 11.3 5.5%
89.14/79.77 c (0,0) c 0 2 220 48 236 220 7.3 3.4 9.8 5.5%
89.14/79.77 c (0,0) c 0 3 364 48 236 364 7.0 3.7 9.6 5.3%
89.14/79.77 c (0,0) c 0 3 536 48 236 536 6.8 3.9 9.7 5.3%
89.14/79.77 c (0,0) c 0 3 743 48 236 743 6.7 3.6 8.9 5.2%
89.14/79.77 c (0,0) c 0 3 991 48 236 991 6.3 3.4 8.3 5.1%
89.14/79.77 c (0,0) c 0 3 1289 42 236 1287 6.2 3.3 7.9 5.1%
89.14/79.77 c (0,0) c 0 3 1547 11 236 1537 6.0 3.2 7.3 5.1%
89.14/79.77 c (0,0) c
89.14/79.77 c (0,0) c
89.14/79.77 c (0,0) c variables : 11 (init 860, after simp 48, 0 non-decs, 72 csp)
89.14/79.77 c (0,0) c clauses : 236 (init 1884, after simp 236)
89.14/79.77 c (0,0) c restarts : 2 (515.67 confs/res, 53~1324 confs, 0 blks, 0 last)
89.14/79.77 c (0,0) c conflicts : 1547 (123237 /sec, 53.14% dconfs, 0.00% supp, trail 6.55w x 7.33h, jmp 1.29h)
89.14/79.77 c (0,0) c decisions : 2000 (0.6000 vdcy, 159324 /sec, 0.00% bin, rs 0.000 s)
89.14/79.77 c (0,0) c propagations : 15014 (1196049 /sec, 7.51 lits/dec, 28.90% o.a.)
89.14/79.77 c (0,0) c conflict literals : 10453 (10.95% deleted; 0.47% by bin min, 0.000 s)
89.14/79.77 c (0,0) c len : 6.018 (5.99 for all, max 13, used 12)
89.14/79.77 c (0,0) c lbd : 3.226 (4.36 (3.21) for all, max 10, used 10, 0.996 stdev, 1.372 blk)
89.14/79.77 c (0,0) c amo : 0 (0 max, -nan avg, 0.000 s)
89.14/79.77 c (0,0) c simp dbs : 1 (0.000 s)
89.14/79.77 c (0,0) c reduce dbs : 0 (core-lbd 2, supp-lbd 2147483647, 0.000 s)
89.14/79.77 c (0,0) c learnts : 1537 (0 learnts removed, 0.00%)
89.14/79.77 c (0,0) c rewrite dbs : 0 (0/0 vars, 0+0 taut, 0+0 unit, 0.000 s)
89.14/79.77 c (0,0) c assigned lits : 0 (0/0 probed, 0 remains)
89.14/79.77 c (0,0) c premise updates : 0 (0.00 /lit)
89.14/79.77 c (0,0) c probed variables : 0 (0 pr, 0 eq, 0 fld, 0 pol, 0 nec, 0 cla, 0 amo)
89.14/79.77 c (0,0) c equiv variables : 0 (0 bin, 0 trn, 0 quat, 0 quin, 0 othr; 0 amo)
89.14/79.77 c (0,0) c lazy added bins : 0 (0 prop + 0 conf, 0.000s)
89.14/79.77 c (0,0) c unwatched lit elim: 122 (1.20+1.08%, 9+113 of 752+10453)
89.14/79.77 c (0,0) c classified type : undef
89.14/79.77 c (0,0) c progress : 77.083%
89.14/79.77 c (0,0) c
89.14/79.77 c (0,0) c [Statistics]
89.14/79.77 c (0,0) c learnts len learnts lbd lit blk size eq vars size
89.14/79.77 c (0,0) c tot 1546 1546 6750 0
89.14/79.77 c (0,0) c avg 5.989 3.213 1.372 -nan
89.14/79.77 c (0,0) c 1 9 ( 0.6%) 32 ( 2.1%) 5327 (78.9%) 0 (-nan%)
89.14/79.77 c (0,0) c 2 26 ( 1.7%) 622 (40.2%) 791 (11.7%) 0 (-nan%)
89.14/79.77 c (0,0) c 3 173 (11.2%) 353 (22.8%) 365 ( 5.4%) 0 (-nan%)
89.14/79.77 c (0,0) c 4 229 (14.8%) 257 (16.6%) 137 ( 2.0%) 0 (-nan%)
89.14/79.77 c (0,0) c 5 220 (14.2%) 159 (10.3%) 87 ( 1.3%) 0 (-nan%)
89.14/79.77 c (0,0) c 6 342 (22.1%) 67 ( 4.3%) 31 ( 0.5%) 0 (-nan%)
89.14/79.77 c (0,0) c 7 145 ( 9.4%) 44 ( 2.8%) 11 ( 0.2%) 0 (-nan%)
89.14/79.77 c (0,0) c 8 200 (12.9%) 9 ( 0.6%) 0 ( 0.0%) 0 (-nan%)
89.14/79.77 c (0,0) c 9 86 ( 5.6%) 3 ( 0.2%) 1 ( 0.0%) 0 (-nan%)
89.14/79.77 c (0,0) c 10 68 ( 4.4%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
89.14/79.77 c (0,0) c 11 36 ( 2.3%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
89.14/79.77 c (0,0) c 12 10 ( 0.6%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
89.14/79.77 c (0,0) c 13 2 ( 0.1%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
89.14/79.77 c (0,0) c 14 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
89.14/79.77 c (0,0) c 15 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
89.14/79.77 c (0,0) c 16 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
89.14/79.77 c (0,0) c 17 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
89.14/79.77 c (0,0) c 18 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
89.14/79.77 c (0,0) c 19 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
89.14/79.77 c (0,0) c 20 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
89.14/79.77 c (0,0) c 21 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
89.14/79.77 c (0,0) c 22 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
89.14/79.77 c (0,0) c 23 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
89.14/79.77 c (0,0) c 24 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
89.14/79.77 c (0,0) c 25 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
89.14/79.77 c (0,0) c 26 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
89.14/79.77 c (0,0) c 27 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
89.14/79.77 c (0,0) c 28 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
89.14/79.77 c (0,0) c 29 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
89.14/79.77 c (0,0) c 30 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
89.14/79.77 c (0,0) c
89.14/79.77 c (0,0) c [LBD Statistics]
89.14/79.77 c (0,0) c LBD used lbd used clause lbd unused clause lbd
89.14/79.77 c (0,0) c tot 4175 812 725
89.14/79.77 c (0,0) c avg 2.577 2.658 3.862
89.14/79.77 c (0,0) c 1 122 ( 2.9/ 2.9%) 23 ( 2.8/ 2.8%) 0 ( 0.0/ 0.0%)
89.14/79.77 c (0,0) c 2 2479 (59.4/62.3%) 472 (58.1/61.0%) 150 (20.7/20.7%)
89.14/79.77 c (0,0) c 3 932 (22.3/84.6%) 174 (21.4/82.4%) 179 (24.7/45.4%)
89.14/79.77 c (0,0) c 4 436 (10.4/95.1%) 81 (10.0/92.4%) 176 (24.3/69.7%)
89.14/79.77 c (0,0) c 5 136 ( 3.3/98.3%) 40 ( 4.9/97.3%) 119 (16.4/86.1%)
89.14/79.77 c (0,0) c 6 48 ( 1.1/99.5%) 10 ( 1.2/98.5%) 57 ( 7.9/93.9%)
89.14/79.77 c (0,0) c 7 13 ( 0.3/99.8%) 11 ( 1.4/99.9%) 33 ( 4.6/98.5%)
89.14/79.77 c (0,0) c 8 4 ( 0.1/99.9%) 1 ( 0.1/100.0%) 8 ( 1.1/99.6%)
89.14/79.77 c (0,0) c 9 3 ( 0.1/100.0%) 0 ( 0.0/100.0%) 3 ( 0.4/100.0%)
89.14/79.77 c (0,0) c 10 2 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
89.14/79.77 c (0,0) c
89.14/79.77 c (0,0) c Memory used : 20.00 MB
89.14/79.77 c (0,0) c CPU time : 0.013 s
89.14/79.77 c (0,0) c Real time : 0.016 s
89.14/79.77 c (0,0) c
89.14/79.77 c (0,0) s UNSATISFIABLE
89.14/79.81 c (0,0) SatSolver.solve End
89.14/79.81 c (0,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
89.14/79.81 c (0,0) Show results Begin
89.14/79.81 s UNSATISFIABLE
89.14/79.81 c (0,0) Show results End
89.14/79.81 c (0,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
89.14/79.81 c (0,0) 0,0,STOP-AFTER(ALL)
89.14/79.81 c END-Prog: Thu Sep 12 15:35:30 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 (15243 MiB free)
memory of node 1: 16384 MiB (14952 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4388097-1568295289/watcher-4388097-1568295289 -o /tmp/evaluation-result-4388097-1568295289/solver-4388097-1568295289 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1568289747-16919 --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-4388097-1568295289.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=18793, runsolver pid=18790
Current StackSize limit: 8192 KiB
[startup+0.10042 s]*
/proc/loadavg: 2.07 2.37 2.57 4/240 18810
/proc/meminfo: memFree=30861820/32770624 swapFree=67003284/67108860
[pid=18793] ppid=18790 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/18793/stat : 18793 (scop.sh) S 18790 18793 16886 0 -1 4202496 555 320 0 0 0 0 0 0 20 0 1 0 405768626 115843072 349 33554432000 4194304 5098028 140732004959648 140732004956904 140251995181692 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 9842688 140732004967208 140732004967536 140732004967536 140732004970445 0
/proc/18793/statm: 28282 349 296 221 0 87 0
[pid=18796] ppid=18793 vsize=15012696 memory=72852 CPUtime=0.12 cores=0,2,4,6
/proc/18796/stat : 18796 (java) S 18793 18793 16886 0 -1 1077944320 6999 0 0 0 10 2 0 0 20 0 15 0 405768626 15373000704 18213 33554432000 4194304 4196468 140735294950800 140735294933344 140033906933495 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 8032256 140735294956270 140735294956698 140735294956698 140735294959567 0
/proc/18796/statm: 3753174 18213 2919 1 0 3715579 0
[pid=18796/tid=18797] ppid=18793 vsize=15012696 memory=-6149239525118099393 CPUtime=0.09 cores=0,2,4,6
/proc/18796/task/18797/stat : 18797 (java) R 18793 18793 16886 0 -1 4202560 4780 0 0 0 8 1 0 0 20 0 15 0 405768626 15373000704 18213 33554432000 4194304 4196468 140735294950800 140033878727400 140033891013982 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8032256 140735294956270 140735294956698 140735294956698 140735294959567 0
[pid=18796/tid=18798] ppid=18793 vsize=15012696 memory=4206468019014099040 CPUtime=0 cores=0,2,4,6
/proc/18796/task/18798/stat : 18798 (java) S 18793 18793 16886 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405768628 15373000704 18213 33554432000 4194304 4196468 140735294950800 140033911175824 140033906943701 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8032256 140735294956270 140735294956698 140735294956698 140735294959567 0
[pid=18796/tid=18799] ppid=18793 vsize=15012696 memory=140349987321472 CPUtime=0 cores=0,2,4,6
/proc/18796/task/18799/stat : 18799 (java) S 18793 18793 16886 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405768628 15373000704 18213 33554432000 4194304 4196468 140735294950800 140033725331984 140033906943701 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8032256 140735294956270 140735294956698 140735294956698 140735294959567 0
[pid=18796/tid=18800] ppid=18793 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18796/task/18800/stat : 18800 (java) S 18793 18793 16886 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405768628 15373000704 18213 33554432000 4194304 4196468 140735294950800 140033724279184 140033906943701 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8032256 140735294956270 140735294956698 140735294956698 140735294959567 0
[pid=18796/tid=18801] ppid=18793 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18796/task/18801/stat : 18801 (java) S 18793 18793 16886 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405768628 15373000704 18213 33554432000 4194304 4196468 140735294950800 140033723226384 140033906943701 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8032256 140735294956270 140735294956698 140735294956698 140735294959567 0
[pid=18796/tid=18802] ppid=18793 vsize=15012696 memory=140349987321472 CPUtime=0 cores=0,2,4,6
/proc/18796/task/18802/stat : 18802 (java) S 18793 18793 16886 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405768629 15373000704 18213 33554432000 4194304 4196468 140735294950800 140032944503664 140033906944642 0 0 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8032256 140735294956270 140735294956698 140735294956698 140735294959567 0
[pid=18796/tid=18803] ppid=18793 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18796/task/18803/stat : 18803 (java) S 18793 18793 16886 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405768630 15373000704 18213 33554432000 4194304 4196468 140735294950800 140032442623520 140033906943701 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8032256 140735294956270 140735294956698 140735294956698 140735294959567 0
[pid=18796/tid=18804] ppid=18793 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18796/task/18804/stat : 18804 (java) S 18793 18793 16886 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405768630 15373000704 18213 33554432000 4194304 4196468 140735294950800 140032174187888 140033906943701 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8032256 140735294956270 140735294956698 140735294956698 140735294959567 0
[pid=18796/tid=18805] ppid=18793 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18796/task/18805/stat : 18805 (java) S 18793 18793 16886 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405768632 15373000704 18213 33554432000 4194304 4196468 140735294950800 140031799679312 140033906952091 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8032256 140735294956270 140735294956698 140735294956698 140735294959567 0
[pid=18796/tid=18806] ppid=18793 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18796/task/18806/stat : 18806 (java) S 18793 18793 16886 0 -1 1077944384 432 0 0 0 0 0 0 0 20 0 15 0 405768632 15373000704 18213 33554432000 4194304 4196468 140735294950800 140032943450480 140033906944642 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8032256 140735294956270 140735294956698 140735294956698 140735294959567 0
[pid=18796/tid=18807] ppid=18793 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18796/task/18807/stat : 18807 (java) S 18793 18793 16886 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405768632 15373000704 18213 33554432000 4194304 4196468 140735294950800 140032942397680 140033906944642 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8032256 140735294956270 140735294956698 140735294956698 140735294959567 0
[pid=18796/tid=18808] ppid=18793 vsize=15012696 memory=140349987321472 CPUtime=0.01 cores=0,2,4,6
/proc/18796/task/18808/stat : 18808 (java) R 18793 18793 16886 0 -1 4202560 453 0 0 0 1 0 0 0 20 0 15 0 405768632 15373000704 18213 33554432000 4194304 4196468 140735294950800 140032941341816 140033886061891 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8032256 140735294956270 140735294956698 140735294956698 140735294959567 0
[pid=18796/tid=18809] ppid=18793 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18796/task/18809/stat : 18809 (java) S 18793 18793 16886 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405768632 15373000704 18213 33554432000 4194304 4196468 140735294950800 140031301773536 140033906943701 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8032256 140735294956270 140735294956698 140735294956698 140735294959567 0
[pid=18796/tid=18810] ppid=18793 vsize=15012696 memory=140349987321472 CPUtime=0 cores=0,2,4,6
/proc/18796/task/18810/stat : 18810 (java) S 18793 18793 16886 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405768633 15373000704 18213 33554432000 4194304 4196468 140735294950800 140032940293296 140033906944642 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8032256 140735294956270 140735294956698 140735294956698 140735294959567 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 74248 KiB
[startup+0.211209 s]*
/proc/loadavg: 2.06 2.36 2.56 4/240 18810
/proc/meminfo: memFree=30843216/32770624 swapFree=67003284/67108860
[pid=18793] ppid=18790 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/18793/stat : 18793 (scop.sh) S 18790 18793 16886 0 -1 4202496 555 320 0 0 0 0 0 0 20 0 1 0 405768626 115843072 349 33554432000 4194304 5098028 140732004959648 140732004956904 140251995181692 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 9842688 140732004967208 140732004967536 140732004967536 140732004970445 0
/proc/18793/statm: 28282 349 296 221 0 87 0
[pid=18796] ppid=18793 vsize=15012696 memory=87900 CPUtime=0.25 cores=0,2,4,6
/proc/18796/stat : 18796 (java) S 18793 18793 16886 0 -1 1077944320 12074 0 0 0 21 4 0 0 20 0 15 0 405768626 15373000704 21975 33554432000 4194304 4196468 140735294950800 140735294933344 140033906933495 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 8032256 140735294956270 140735294956698 140735294956698 140735294959567 0
/proc/18796/statm: 3753174 21975 2926 1 0 3715579 0
[pid=18796/tid=18797] ppid=18793 vsize=15012696 memory=7022364632946311227 CPUtime=0.2 cores=0,2,4,6
/proc/18796/task/18797/stat : 18797 (java) R 18793 18793 16886 0 -1 4202560 9801 0 0 0 17 3 0 0 20 0 15 0 405768626 15373000704 21975 33554432000 4194304 4196468 140735294950800 140033878754848 140033891013982 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8032256 140735294956270 140735294956698 140735294956698 140735294959567 0
[pid=18796/tid=18798] ppid=18793 vsize=15012696 memory=397 CPUtime=0 cores=0,2,4,6
/proc/18796/task/18798/stat : 18798 (java) S 18793 18793 16886 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405768628 15373000704 21975 33554432000 4194304 4196468 140735294950800 140033911175824 140033906943701 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8032256 140735294956270 140735294956698 140735294956698 140735294959567 0
[pid=18796/tid=18799] ppid=18793 vsize=15012696 memory=140349987340251 CPUtime=0 cores=0,2,4,6
/proc/18796/task/18799/stat : 18799 (java) S 18793 18793 16886 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405768628 15373000704 21975 33554432000 4194304 4196468 140735294950800 140033725331984 140033906943701 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8032256 140735294956270 140735294956698 140735294956698 140735294959567 0
[pid=18796/tid=18800] ppid=18793 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18796/task/18800/stat : 18800 (java) S 18793 18793 16886 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405768628 15373000704 21975 33554432000 4194304 4196468 140735294950800 140033724279184 140033906943701 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8032256 140735294956270 140735294956698 140735294956698 140735294959567 0
[pid=18796/tid=18801] ppid=18793 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18796/task/18801/stat : 18801 (java) S 18793 18793 16886 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405768628 15373000704 21975 33554432000 4194304 4196468 140735294950800 140033723226384 140033906943701 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8032256 140735294956270 140735294956698 140735294956698 140735294959567 0
[pid=18796/tid=18802] ppid=18793 vsize=15012696 memory=140349987321472 CPUtime=0 cores=0,2,4,6
/proc/18796/task/18802/stat : 18802 (java) S 18793 18793 16886 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405768629 15373000704 21975 33554432000 4194304 4196468 140735294950800 140032944503664 140033906944642 0 0 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8032256 140735294956270 140735294956698 140735294956698 140735294959567 0
[pid=18796/tid=18803] ppid=18793 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18796/task/18803/stat : 18803 (java) S 18793 18793 16886 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405768630 15373000704 21975 33554432000 4194304 4196468 140735294950800 140032442623520 140033906943701 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8032256 140735294956270 140735294956698 140735294956698 140735294959567 0
[pid=18796/tid=18804] ppid=18793 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18796/task/18804/stat : 18804 (java) S 18793 18793 16886 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405768630 15373000704 21975 33554432000 4194304 4196468 140735294950800 140032174187888 140033906943701 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8032256 140735294956270 140735294956698 140735294956698 140735294959567 0
[pid=18796/tid=18805] ppid=18793 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18796/task/18805/stat : 18805 (java) S 18793 18793 16886 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405768632 15373000704 21975 33554432000 4194304 4196468 140735294950800 140031799679312 140033906952091 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8032256 140735294956270 140735294956698 140735294956698 140735294959567 0
[pid=18796/tid=18806] ppid=18793 vsize=15012696 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/18796/task/18806/stat : 18806 (java) S 18793 18793 16886 0 -1 1077944384 442 0 0 0 1 0 0 0 20 0 15 0 405768632 15373000704 21975 33554432000 4194304 4196468 140735294950800 140032943450480 140033906944642 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8032256 140735294956270 140735294956698 140735294956698 140735294959567 0
[pid=18796/tid=18807] ppid=18793 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18796/task/18807/stat : 18807 (java) S 18793 18793 16886 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 405768632 15373000704 22041 33554432000 4194304 4196468 140735294950800 140032942397680 140033906944642 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8032256 140735294956270 140735294956698 140735294956698 140735294959567 0
[pid=18796/tid=18808] ppid=18793 vsize=15012696 memory=140349987321472 CPUtime=0.02 cores=0,2,4,6
/proc/18796/task/18808/stat : 18808 (java) R 18793 18793 16886 0 -1 4202560 463 0 0 0 2 0 0 0 20 0 15 0 405768632 15373000704 22041 33554432000 4194304 4196468 140735294950800 140032941344880 140033886904680 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8032256 140735294956270 140735294956698 140735294956698 140735294959567 0
[pid=18796/tid=18809] ppid=18793 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18796/task/18809/stat : 18809 (java) S 18793 18793 16886 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405768632 15373000704 22041 33554432000 4194304 4196468 140735294950800 140031301773536 140033906943701 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8032256 140735294956270 140735294956698 140735294956698 140735294959567 0
[pid=18796/tid=18810] ppid=18793 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18796/task/18810/stat : 18810 (java) S 18793 18793 16886 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405768633 15373000704 22041 33554432000 4194304 4196468 140735294950800 140032940293296 140033906944642 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8032256 140735294956270 140735294956698 140735294956698 140735294959567 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 89296 KiB
[startup+0.310766 s]*
/proc/loadavg: 2.06 2.36 2.56 4/240 18810
/proc/meminfo: memFree=30839680/32770624 swapFree=67003284/67108860
[pid=18793] ppid=18790 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/18793/stat : 18793 (scop.sh) S 18790 18793 16886 0 -1 4202496 555 320 0 0 0 0 0 0 20 0 1 0 405768626 115843072 349 33554432000 4194304 5098028 140732004959648 140732004956904 140251995181692 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 9842688 140732004967208 140732004967536 140732004967536 140732004970445 0
/proc/18793/statm: 28282 349 296 221 0 87 0
[pid=18796] ppid=18793 vsize=15012696 memory=92120 CPUtime=0.43 cores=0,2,4,6
/proc/18796/stat : 18796 (java) S 18793 18793 16886 0 -1 1077944320 12571 0 0 0 39 4 0 0 20 0 15 0 405768626 15373000704 23030 33554432000 4194304 4196468 140735294950800 140735294933344 140033906933495 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 8032256 140735294956270 140735294956698 140735294956698 140735294959567 0
/proc/18796/statm: 3753174 23030 3065 1 0 3715579 0
[pid=18796/tid=18797] ppid=18793 vsize=15012696 memory=7022364632946311227 CPUtime=0.3 cores=0,2,4,6
/proc/18796/task/18797/stat : 18797 (java) R 18793 18793 16886 0 -1 4202560 10088 0 0 0 27 3 0 0 20 0 15 0 405768626 15373000704 23030 33554432000 4194304 4196468 140735294950800 140033878760832 140033888307264 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8032256 140735294956270 140735294956698 140735294956698 140735294959567 0
[pid=18796/tid=18798] ppid=18793 vsize=15012696 memory=288230613314699634 CPUtime=0 cores=0,2,4,6
/proc/18796/task/18798/stat : 18798 (java) S 18793 18793 16886 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405768628 15373000704 23030 33554432000 4194304 4196468 140735294950800 140033911175824 140033906943701 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8032256 140735294956270 140735294956698 140735294956698 140735294959567 0
[pid=18796/tid=18799] ppid=18793 vsize=15012696 memory=3761685701876532327 CPUtime=0 cores=0,2,4,6
/proc/18796/task/18799/stat : 18799 (java) S 18793 18793 16886 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405768628 15373000704 23030 33554432000 4194304 4196468 140735294950800 140033725331984 140033906943701 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8032256 140735294956270 140735294956698 140735294956698 140735294959567 0
[pid=18796/tid=18800] ppid=18793 vsize=15012696 memory=280699735406960 CPUtime=0 cores=0,2,4,6
/proc/18796/task/18800/stat : 18800 (java) S 18793 18793 16886 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405768628 15373000704 23030 33554432000 4194304 4196468 140735294950800 140033724279184 140033906943701 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8032256 140735294956270 140735294956698 140735294956698 140735294959567 0
[pid=18796/tid=18801] ppid=18793 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18796/task/18801/stat : 18801 (java) S 18793 18793 16886 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405768628 15373000704 23030 33554432000 4194304 4196468 140735294950800 140033723226384 140033906943701 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8032256 140735294956270 140735294956698 140735294956698 140735294959567 0
[pid=18796/tid=18802] ppid=18793 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18796/task/18802/stat : 18802 (java) S 18793 18793 16886 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405768629 15373000704 23030 33554432000 4194304 4196468 140735294950800 140032944503664 140033906944642 0 0 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8032256 140735294956270 140735294956698 140735294956698 140735294959567 0
[pid=18796/tid=18803] ppid=18793 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18796/task/18803/stat : 18803 (java) S 18793 18793 16886 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405768630 15373000704 23030 33554432000 4194304 4196468 140735294950800 140032442623520 140033906943701 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8032256 140735294956270 140735294956698 140735294956698 140735294959567 0
[pid=18796/tid=18804] ppid=18793 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18796/task/18804/stat : 18804 (java) S 18793 18793 16886 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405768630 15373000704 23030 33554432000 4194304 4196468 140735294950800 140032174187888 140033906943701 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8032256 140735294956270 140735294956698 140735294956698 140735294959567 0
[pid=18796/tid=18805] ppid=18793 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18796/task/18805/stat : 18805 (java) S 18793 18793 16886 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405768632 15373000704 23030 33554432000 4194304 4196468 140735294950800 140031799679312 140033906952091 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8032256 140735294956270 140735294956698 140735294956698 140735294959567 0
[pid=18796/tid=18806] ppid=18793 vsize=15012696 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/18796/task/18806/stat : 18806 (java) S 18793 18793 16886 0 -1 1077944384 504 0 0 0 2 0 0 0 20 0 15 0 405768632 15373000704 23030 33554432000 4194304 4196468 140735294950800 140032943450480 140033906944642 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8032256 140735294956270 140735294956698 140735294956698 140735294959567 0
[pid=18796/tid=18807] ppid=18793 vsize=15012696 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/18796/task/18807/stat : 18807 (java) S 18793 18793 16886 0 -1 1077944384 138 0 0 0 2 0 0 0 20 0 15 0 405768632 15373000704 23030 33554432000 4194304 4196468 140735294950800 140032942397680 140033906944642 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8032256 140735294956270 140735294956698 140735294956698 140735294959567 0
[pid=18796/tid=18808] ppid=18793 vsize=15012696 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/18796/task/18808/stat : 18808 (java) S 18793 18793 16886 0 -1 1077944384 508 0 0 0 7 0 0 0 20 0 15 0 405768632 15373000704 23030 33554432000 4194304 4196468 140735294950800 140032941344880 140033906944642 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8032256 140735294956270 140735294956698 140735294956698 140735294959567 0
[pid=18796/tid=18809] ppid=18793 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18796/task/18809/stat : 18809 (java) S 18793 18793 16886 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405768632 15373000704 23030 33554432000 4194304 4196468 140735294950800 140031301773536 140033906943701 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8032256 140735294956270 140735294956698 140735294956698 140735294959567 0
[pid=18796/tid=18810] ppid=18793 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18796/task/18810/stat : 18810 (java) S 18793 18793 16886 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405768633 15373000704 23030 33554432000 4194304 4196468 140735294950800 140032940293296 140033906944642 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8032256 140735294956270 140735294956698 140735294956698 140735294959567 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 93516 KiB
[startup+0.700882 s]
/proc/loadavg: 2.06 2.36 2.56 4/240 18810
/proc/meminfo: memFree=30818760/32770624 swapFree=67003284/67108860
[pid=18793] ppid=18790 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/18793/stat : 18793 (scop.sh) S 18790 18793 16886 0 -1 4202496 555 320 0 0 0 0 0 0 20 0 1 0 405768626 115843072 349 33554432000 4194304 5098028 140732004959648 140732004956904 140251995181692 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 9842688 140732004967208 140732004967536 140732004967536 140732004970445 0
/proc/18793/statm: 28282 349 296 221 0 87 0
[pid=18796] ppid=18793 vsize=15018968 memory=129636 CPUtime=1.01 cores=0,2,4,6
/proc/18796/stat : 18796 (java) S 18793 18793 16886 0 -1 1077944320 20118 0 0 0 95 6 0 0 20 0 15 0 405768626 15379423232 32409 33554432000 4194304 4196468 140735294950800 140735294933344 140033906933495 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 8032256 140735294956270 140735294956698 140735294956698 140735294959567 0
/proc/18796/statm: 3754742 32409 3187 1 0 3716091 0
[pid=18796/tid=18797] ppid=18793 vsize=15018968 memory=1616 CPUtime=0.68 cores=0,2,4,6
/proc/18796/task/18797/stat : 18797 (java) R 18793 18793 16886 0 -1 4202560 17131 0 0 0 63 5 0 0 20 0 15 0 405768626 15379423232 32409 33554432000 4194304 4196468 140735294950800 140033878771280 140033906955421 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8032256 140735294956270 140735294956698 140735294956698 140735294959567 0
[pid=18796/tid=18798] ppid=18793 vsize=15018968 memory=784 CPUtime=0 cores=0,2,4,6
/proc/18796/task/18798/stat : 18798 (java) S 18793 18793 16886 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405768628 15379423232 32409 33554432000 4194304 4196468 140735294950800 140033911175824 140033906943701 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8032256 140735294956270 140735294956698 140735294956698 140735294959567 0
[pid=18796/tid=18799] ppid=18793 vsize=15018968 memory=8252 CPUtime=0 cores=0,2,4,6
/proc/18796/task/18799/stat : 18799 (java) S 18793 18793 16886 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405768628 15379423232 32409 33554432000 4194304 4196468 140735294950800 140033725331984 140033906943701 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8032256 140735294956270 140735294956698 140735294956698 140735294959567 0
[pid=18796/tid=18800] ppid=18793 vsize=15018968 memory=5912 CPUtime=0 cores=0,2,4,6
/proc/18796/task/18800/stat : 18800 (java) S 18793 18793 16886 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405768628 15379423232 32409 33554432000 4194304 4196468 140735294950800 140033724279184 140033906943701 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8032256 140735294956270 140735294956698 140735294956698 140735294959567 0
[pid=18796/tid=18801] ppid=18793 vsize=15018968 memory=1056 CPUtime=0 cores=0,2,4,6
/proc/18796/task/18801/stat : 18801 (java) S 18793 18793 16886 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405768628 15379423232 32409 33554432000 4194304 4196468 140735294950800 140033723226384 140033906943701 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8032256 140735294956270 140735294956698 140735294956698 140735294959567 0
[pid=18796/tid=18802] ppid=18793 vsize=15018968 memory=1540 CPUtime=0 cores=0,2,4,6
/proc/18796/task/18802/stat : 18802 (java) S 18793 18793 16886 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 405768629 15379423232 32409 33554432000 4194304 4196468 140735294950800 140032944503664 140033906944642 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8032256 140735294956270 140735294956698 140735294956698 140735294959567 0
[pid=18796/tid=18803] ppid=18793 vsize=15018968 memory=728 CPUtime=0 cores=0,2,4,6
/proc/18796/task/18803/stat : 18803 (java) S 18793 18793 16886 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405768630 15379423232 32409 33554432000 4194304 4196468 140735294950800 140032442623520 140033906943701 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8032256 140735294956270 140735294956698 140735294956698 140735294959567 0
[pid=18796/tid=18804] ppid=18793 vsize=15018968 memory=3436 CPUtime=0 cores=0,2,4,6
/proc/18796/task/18804/stat : 18804 (java) S 18793 18793 16886 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405768630 15379423232 32409 33554432000 4194304 4196468 140735294950800 140032174187888 140033906943701 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8032256 140735294956270 140735294956698 140735294956698 140735294959567 0
[pid=18796/tid=18805] ppid=18793 vsize=15018968 memory=2832 CPUtime=0 cores=0,2,4,6
/proc/18796/task/18805/stat : 18805 (java) S 18793 18793 16886 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405768632 15379423232 32409 33554432000 4194304 4196468 140735294950800 140031799679312 140033906952091 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8032256 140735294956270 140735294956698 140735294956698 140735294959567 0
[pid=18796/tid=18806] ppid=18793 vsize=15018968 memory=1212 CPUtime=0.09 cores=0,2,4,6
/proc/18796/task/18806/stat : 18806 (java) S 18793 18793 16886 0 -1 1077944384 702 0 0 0 9 0 0 0 20 0 15 0 405768632 15379423232 32409 33554432000 4194304 4196468 140735294950800 140032943450480 140033906944642 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8032256 140735294956270 140735294956698 140735294956698 140735294959567 0
[pid=18796/tid=18807] ppid=18793 vsize=15018968 memory=1036 CPUtime=0.08 cores=0,2,4,6
/proc/18796/task/18807/stat : 18807 (java) S 18793 18793 16886 0 -1 1077944384 337 0 0 0 8 0 0 0 20 0 15 0 405768632 15379423232 32409 33554432000 4194304 4196468 140735294950800 140032942397680 140033906944642 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8032256 140735294956270 140735294956698 140735294956698 140735294959567 0
[pid=18796/tid=18808] ppid=18793 vsize=15018968 memory=14008 CPUtime=0.14 cores=0,2,4,6
/proc/18796/task/18808/stat : 18808 (java) S 18793 18793 16886 0 -1 1077944384 613 0 0 0 14 0 0 0 20 0 15 0 405768632 15379423232 32409 33554432000 4194304 4196468 140735294950800 140032941344880 140033906944642 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8032256 140735294956270 140735294956698 140735294956698 140735294959567 0
[pid=18796/tid=18809] ppid=18793 vsize=15018968 memory=12024 CPUtime=0 cores=0,2,4,6
/proc/18796/task/18809/stat : 18809 (java) S 18793 18793 16886 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405768632 15379423232 32409 33554432000 4194304 4196468 140735294950800 140031301773536 140033906943701 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8032256 140735294956270 140735294956698 140735294956698 140735294959567 0
[pid=18796/tid=18810] ppid=18793 vsize=15018968 memory=2116 CPUtime=0 cores=0,2,4,6
/proc/18796/task/18810/stat : 18810 (java) S 18793 18793 16886 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405768633 15379423232 32409 33554432000 4194304 4196468 140735294950800 140032940293296 140033906944642 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8032256 140735294956270 140735294956698 140735294956698 140735294959567 0
Current children cumulated CPU time: 1.01 s
Current children cumulated vsize: 15132096 KiB
Current children cumulated memory: 131032 KiB
[startup+1.50081 s]
/proc/loadavg: 2.06 2.36 2.56 3/240 18810
/proc/meminfo: memFree=30595288/32770624 swapFree=67003284/67108860
[pid=18793] ppid=18790 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/18793/stat : 18793 (scop.sh) S 18790 18793 16886 0 -1 4202496 555 320 0 0 0 0 0 0 20 0 1 0 405768626 115843072 349 33554432000 4194304 5098028 140732004959648 140732004956904 140251995181692 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 9842688 140732004967208 140732004967536 140732004967536 140732004970445 0
/proc/18793/statm: 28282 349 296 221 0 87 0
################
# More data... #
################
/proc/18796/task/18809/stat : 18809 (java) S 18793 18793 16886 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405768632 15385792512 1301552 33554432000 4194304 4196468 140735294950800 140031301773536 140033906943701 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8032256 140735294956270 140735294956698 140735294956698 140735294959567 0
[pid=18796/tid=18810] ppid=18793 vsize=15025188 memory=5205960 CPUtime=0.03 cores=0,2,4,6
/proc/18796/task/18810/stat : 18810 (java) S 18793 18793 16886 0 -1 1077944384 167 0 0 0 2 1 0 0 20 0 15 0 405768633 15385792512 1301552 33554432000 4194304 4196468 140735294950800 140032940293296 140033906944642 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 77 0 0 6293624 6294260 8032256 140735294956270 140735294956698 140735294956698 140735294959567 0
Current children cumulated CPU time: 72.95 s
Current children cumulated vsize: 15138316 KiB
Current children cumulated memory: 5207604 KiB
[startup+70.4008 s]
/proc/loadavg: 1.90 2.26 2.51 3/239 18815
/proc/meminfo: memFree=25713732/32770624 swapFree=67003284/67108860
[pid=18793] ppid=18790 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/18793/stat : 18793 (scop.sh) S 18790 18793 16886 0 -1 4202496 555 320 0 0 0 0 0 0 20 0 1 0 405768626 115843072 349 33554432000 4194304 5098028 140732004959648 140732004956904 140251995181692 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 9842688 140732004967208 140732004967536 140732004967536 140732004970445 0
/proc/18793/statm: 28282 349 296 221 0 87 0
[pid=18796] ppid=18793 vsize=15025188 memory=5206292 CPUtime=79.49 cores=0,2,4,6
/proc/18796/stat : 18796 (java) S 18793 18793 16886 0 -1 1077944320 57980 0 0 0 7781 168 0 0 20 0 15 0 405768626 15385792512 1301573 33554432000 4194304 4196468 140735294950800 140735294933344 140033906933495 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 8032256 140735294956270 140735294956698 140735294956698 140735294959567 0
/proc/18796/statm: 3756297 1301573 3279 1 0 3717627 0
[pid=18796/tid=18797] ppid=18793 vsize=15025188 memory=728 CPUtime=68.69 cores=0,2,4,6
/proc/18796/task/18797/stat : 18797 (java) R 18793 18793 16886 0 -1 4202560 26846 0 0 0 6819 50 0 0 20 0 15 0 405768626 15385792512 1301573 33554432000 4194304 4196468 140735294950800 140033878765696 140033405824895 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8032256 140735294956270 140735294956698 140735294956698 140735294959567 0
[pid=18796/tid=18798] ppid=18793 vsize=15025188 memory=3280 CPUtime=1.65 cores=0,2,4,6
/proc/18796/task/18798/stat : 18798 (java) S 18793 18793 16886 0 -1 1077944384 1477 0 0 0 141 24 0 0 20 0 15 0 405768628 15385792512 1301573 33554432000 4194304 4196468 140735294950800 140033911175824 140033906943701 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8032256 140735294956270 140735294956698 140735294956698 140735294959567 0
[pid=18796/tid=18799] ppid=18793 vsize=15025188 memory=36848 CPUtime=1.65 cores=0,2,4,6
/proc/18796/task/18799/stat : 18799 (java) S 18793 18793 16886 0 -1 1077944384 2298 0 0 0 139 26 0 0 20 0 15 0 405768628 15385792512 1301573 33554432000 4194304 4196468 140735294950800 140033725331984 140033906943701 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8032256 140735294956270 140735294956698 140735294956698 140735294959567 0
[pid=18796/tid=18800] ppid=18793 vsize=15025188 memory=988 CPUtime=1.65 cores=0,2,4,6
/proc/18796/task/18800/stat : 18800 (java) S 18793 18793 16886 0 -1 1077944384 2863 0 0 0 137 28 0 0 20 0 15 0 405768628 15385792512 1301573 33554432000 4194304 4196468 140735294950800 140033724279184 140033906943701 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8032256 140735294956270 140735294956698 140735294956698 140735294959567 0
[pid=18796/tid=18801] ppid=18793 vsize=15025188 memory=6791534058613427641 CPUtime=1.63 cores=0,2,4,6
/proc/18796/task/18801/stat : 18801 (java) S 18793 18793 16886 0 -1 1077944384 2829 0 0 0 131 32 0 0 20 0 15 0 405768628 15385792512 1301573 33554432000 4194304 4196468 140735294950800 140033723226384 140033906943701 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8032256 140735294956270 140735294956698 140735294956698 140735294959567 0
[pid=18796/tid=18802] ppid=18793 vsize=15025188 memory=1396 CPUtime=0.02 cores=0,2,4,6
/proc/18796/task/18802/stat : 18802 (java) S 18793 18793 16886 0 -1 1077944384 707 0 0 0 2 0 0 0 20 0 15 0 405768629 15385792512 1301573 33554432000 4194304 4196468 140735294950800 140032944503664 140033906944642 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8032256 140735294956270 140735294956698 140735294956698 140735294959567 0
[pid=18796/tid=18803] ppid=18793 vsize=15025188 memory=5205960 CPUtime=0 cores=0,2,4,6
/proc/18796/task/18803/stat : 18803 (java) S 18793 18793 16886 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 15 0 405768630 15385792512 1301573 33554432000 4194304 4196468 140735294950800 140032442623584 140033906943701 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8032256 140735294956270 140735294956698 140735294956698 140735294959567 0
[pid=18796/tid=18804] ppid=18793 vsize=15025188 memory=1540 CPUtime=0 cores=0,2,4,6
/proc/18796/task/18804/stat : 18804 (java) S 18793 18793 16886 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 15 0 405768630 15385792512 1301573 33554432000 4194304 4196468 140735294950800 140032174187904 140033906943701 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8032256 140735294956270 140735294956698 140735294956698 140735294959567 0
[pid=18796/tid=18805] ppid=18793 vsize=15025188 memory=1616 CPUtime=0 cores=0,2,4,6
/proc/18796/task/18805/stat : 18805 (java) S 18793 18793 16886 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405768632 15385792512 1301573 33554432000 4194304 4196468 140735294950800 140031799679312 140033906952091 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8032256 140735294956270 140735294956698 140735294956698 140735294959567 0
[pid=18796/tid=18806] ppid=18793 vsize=15025188 memory=784 CPUtime=1.75 cores=0,2,4,6
/proc/18796/task/18806/stat : 18806 (java) S 18793 18793 16886 0 -1 1077944384 6643 0 0 0 174 1 0 0 20 0 15 0 405768632 15385792512 1301573 33554432000 4194304 4196468 140735294950800 140032943450480 140033906944642 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8032256 140735294956270 140735294956698 140735294956698 140735294959567 0
[pid=18796/tid=18807] ppid=18793 vsize=15025188 memory=8252 CPUtime=1.59 cores=0,2,4,6
/proc/18796/task/18807/stat : 18807 (java) S 18793 18793 16886 0 -1 1077944384 7954 0 0 0 158 1 0 0 20 0 15 0 405768632 15385792512 1301573 33554432000 4194304 4196468 140735294950800 140032942397680 140033906944642 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8032256 140735294956270 140735294956698 140735294956698 140735294959567 0
[pid=18796/tid=18808] ppid=18793 vsize=15025188 memory=5912 CPUtime=0.74 cores=0,2,4,6
/proc/18796/task/18808/stat : 18808 (java) S 18793 18793 16886 0 -1 1077944384 4835 0 0 0 72 2 0 0 20 0 15 0 405768632 15385792512 1301573 33554432000 4194304 4196468 140735294950800 140032941344880 140033906944642 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8032256 140735294956270 140735294956698 140735294956698 140735294959567 0
[pid=18796/tid=18809] ppid=18793 vsize=15025188 memory=2052 CPUtime=0 cores=0,2,4,6
/proc/18796/task/18809/stat : 18809 (java) S 18793 18793 16886 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405768632 15385792512 1301573 33554432000 4194304 4196468 140735294950800 140031301773536 140033906943701 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8032256 140735294956270 140735294956698 140735294956698 140735294959567 0
[pid=18796/tid=18810] ppid=18793 vsize=15025188 memory=1220 CPUtime=0.03 cores=0,2,4,6
/proc/18796/task/18810/stat : 18810 (java) S 18793 18793 16886 0 -1 1077944384 172 0 0 0 2 1 0 0 20 0 15 0 405768633 15385792512 1301573 33554432000 4194304 4196468 140735294950800 140032940293296 140033906944642 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 77 0 0 6293624 6294260 8032256 140735294956270 140735294956698 140735294956698 140735294959567 0
Current children cumulated CPU time: 79.49 s
Current children cumulated vsize: 15138316 KiB
Current children cumulated memory: 5207688 KiB
[startup+76.8008 s]
/proc/loadavg: 1.92 2.25 2.51 3/239 18815
/proc/meminfo: memFree=25713732/32770624 swapFree=67003284/67108860
[pid=18793] ppid=18790 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/18793/stat : 18793 (scop.sh) S 18790 18793 16886 0 -1 4202496 555 320 0 0 0 0 0 0 20 0 1 0 405768626 115843072 349 33554432000 4194304 5098028 140732004959648 140732004956904 140251995181692 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 9842688 140732004967208 140732004967536 140732004967536 140732004970445 0
/proc/18793/statm: 28282 349 296 221 0 87 0
[pid=18796] ppid=18793 vsize=15025188 memory=5206440 CPUtime=85.98 cores=0,2,4,6
/proc/18796/stat : 18796 (java) S 18793 18793 16886 0 -1 1077944320 58905 0 0 0 8430 168 0 0 20 0 15 0 405768626 15385792512 1301610 33554432000 4194304 4196468 140735294950800 140735294933344 140033906933495 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 8032256 140735294956270 140735294956698 140735294956698 140735294959567 0
/proc/18796/statm: 3756297 1301610 3279 1 0 3717627 0
[pid=18796/tid=18797] ppid=18793 vsize=15025188 memory=36848 CPUtime=75.08 cores=0,2,4,6
/proc/18796/task/18797/stat : 18797 (java) R 18793 18793 16886 0 -1 4202560 27057 0 0 0 7458 50 0 0 20 0 15 0 405768626 15385792512 1301610 33554432000 4194304 4196468 140735294950800 140033878756000 140033407073419 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8032256 140735294956270 140735294956698 140735294956698 140735294959567 0
[pid=18796/tid=18798] ppid=18793 vsize=15025188 memory=988 CPUtime=1.65 cores=0,2,4,6
/proc/18796/task/18798/stat : 18798 (java) S 18793 18793 16886 0 -1 1077944384 1555 0 0 0 141 24 0 0 20 0 15 0 405768628 15385792512 1301610 33554432000 4194304 4196468 140735294950800 140033911175824 140033906943701 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8032256 140735294956270 140735294956698 140735294956698 140735294959567 0
[pid=18796/tid=18799] ppid=18793 vsize=15025188 memory=15470472203376 CPUtime=1.65 cores=0,2,4,6
/proc/18796/task/18799/stat : 18799 (java) S 18793 18793 16886 0 -1 1077944384 2528 0 0 0 139 26 0 0 20 0 15 0 405768628 15385792512 1301610 33554432000 4194304 4196468 140735294950800 140033725331984 140033906943701 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8032256 140735294956270 140735294956698 140735294956698 140735294959567 0
[pid=18796/tid=18800] ppid=18793 vsize=15025188 memory=7084821295264841834 CPUtime=1.65 cores=0,2,4,6
/proc/18796/task/18800/stat : 18800 (java) S 18793 18793 16886 0 -1 1077944384 2866 0 0 0 137 28 0 0 20 0 15 0 405768628 15385792512 1301610 33554432000 4194304 4196468 140735294950800 140033724279184 140033906943701 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8032256 140735294956270 140735294956698 140735294956698 140735294959567 0
[pid=18796/tid=18801] ppid=18793 vsize=15025188 memory=7084821295264841834 CPUtime=1.64 cores=0,2,4,6
/proc/18796/task/18801/stat : 18801 (java) S 18793 18793 16886 0 -1 1077944384 2832 0 0 0 132 32 0 0 20 0 15 0 405768628 15385792512 1301610 33554432000 4194304 4196468 140735294950800 140033723226384 140033906943701 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8032256 140735294956270 140735294956698 140735294956698 140735294959567 0
[pid=18796/tid=18802] ppid=18793 vsize=15025188 memory=1396 CPUtime=0.02 cores=0,2,4,6
/proc/18796/task/18802/stat : 18802 (java) S 18793 18793 16886 0 -1 1077944384 848 0 0 0 2 0 0 0 20 0 15 0 405768629 15385792512 1301610 33554432000 4194304 4196468 140735294950800 140032944503664 140033906944642 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8032256 140735294956270 140735294956698 140735294956698 140735294959567 0
[pid=18796/tid=18803] ppid=18793 vsize=15025188 memory=5138376 CPUtime=0 cores=0,2,4,6
/proc/18796/task/18803/stat : 18803 (java) S 18793 18793 16886 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 15 0 405768630 15385792512 1301610 33554432000 4194304 4196468 140735294950800 140032442623584 140033906943701 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8032256 140735294956270 140735294956698 140735294956698 140735294959567 0
[pid=18796/tid=18804] ppid=18793 vsize=15025188 memory=36848 CPUtime=0 cores=0,2,4,6
/proc/18796/task/18804/stat : 18804 (java) S 18793 18793 16886 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 15 0 405768630 15385792512 1301610 33554432000 4194304 4196468 140735294950800 140032174187904 140033906943701 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8032256 140735294956270 140735294956698 140735294956698 140735294959567 0
[pid=18796/tid=18805] ppid=18793 vsize=15025188 memory=5205960 CPUtime=0 cores=0,2,4,6
/proc/18796/task/18805/stat : 18805 (java) S 18793 18793 16886 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405768632 15385792512 1301610 33554432000 4194304 4196468 140735294950800 140031799679312 140033906952091 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8032256 140735294956270 140735294956698 140735294956698 140735294959567 0
[pid=18796/tid=18806] ppid=18793 vsize=15025188 memory=5205960 CPUtime=1.79 cores=0,2,4,6
/proc/18796/task/18806/stat : 18806 (java) S 18793 18793 16886 0 -1 1077944384 6729 0 0 0 178 1 0 0 20 0 15 0 405768632 15385792512 1301610 33554432000 4194304 4196468 140735294950800 140032943450480 140033906944642 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8032256 140735294956270 140735294956698 140735294956698 140735294959567 0
[pid=18796/tid=18807] ppid=18793 vsize=15025188 memory=1768 CPUtime=1.63 cores=0,2,4,6
/proc/18796/task/18807/stat : 18807 (java) S 18793 18793 16886 0 -1 1077944384 8010 0 0 0 162 1 0 0 20 0 15 0 405768632 15385792512 1301610 33554432000 4194304 4196468 140735294950800 140032942397680 140033906944642 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8032256 140735294956270 140735294956698 140735294956698 140735294959567 0
[pid=18796/tid=18808] ppid=18793 vsize=15025188 memory=0 CPUtime=0.76 cores=0,2,4,6
/proc/18796/task/18808/stat : 18808 (java) S 18793 18793 16886 0 -1 1077944384 4950 0 0 0 74 2 0 0 20 0 15 0 405768632 15385792512 1301610 33554432000 4194304 4196468 140735294950800 140032941344880 140033906944642 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8032256 140735294956270 140735294956698 140735294956698 140735294959567 0
[pid=18796/tid=18809] ppid=18793 vsize=15025188 memory=13789 CPUtime=0 cores=0,2,4,6
/proc/18796/task/18809/stat : 18809 (java) S 18793 18793 16886 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405768632 15385792512 1301610 33554432000 4194304 4196468 140735294950800 140031301773536 140033906943701 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8032256 140735294956270 140735294956698 140735294956698 140735294959567 0
[pid=18796/tid=18810] ppid=18793 vsize=15025188 memory=23038 CPUtime=0.03 cores=0,2,4,6
/proc/18796/task/18810/stat : 18810 (java) S 18793 18793 16886 0 -1 1077944384 174 0 0 0 2 1 0 0 20 0 15 0 405768633 15385792512 1301610 33554432000 4194304 4196468 140735294950800 140032940293296 140033906944642 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 77 0 0 6293624 6294260 8032256 140735294956270 140735294956698 140735294956698 140735294959567 0
Current children cumulated CPU time: 85.98 s
Current children cumulated vsize: 15138316 KiB
Current children cumulated memory: 5207836 KiB
[startup+78.4007 s]
/proc/loadavg: 1.92 2.25 2.51 3/239 18815
/proc/meminfo: memFree=25713732/32770624 swapFree=67003284/67108860
[pid=18793] ppid=18790 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/18793/stat : 18793 (scop.sh) S 18790 18793 16886 0 -1 4202496 555 320 0 0 0 0 0 0 20 0 1 0 405768626 115843072 349 33554432000 4194304 5098028 140732004959648 140732004956904 140251995181692 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 9842688 140732004967208 140732004967536 140732004967536 140732004970445 0
/proc/18793/statm: 28282 349 296 221 0 87 0
[pid=18796] ppid=18793 vsize=15025188 memory=5206440 CPUtime=87.6 cores=0,2,4,6
/proc/18796/stat : 18796 (java) S 18793 18793 16886 0 -1 1077944320 58973 0 0 0 8592 168 0 0 20 0 15 0 405768626 15385792512 1301610 33554432000 4194304 4196468 140735294950800 140735294933344 140033906933495 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 8032256 140735294956270 140735294956698 140735294956698 140735294959567 0
/proc/18796/statm: 3756297 1301610 3279 1 0 3717627 0
[pid=18796/tid=18797] ppid=18793 vsize=15025188 memory=5206440 CPUtime=76.68 cores=0,2,4,6
/proc/18796/task/18797/stat : 18797 (java) R 18793 18793 16886 0 -1 4202560 27087 0 0 0 7618 50 0 0 20 0 15 0 405768626 15385792512 1301610 33554432000 4194304 4196468 140735294950800 140033878768784 140033404235264 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8032256 140735294956270 140735294956698 140735294956698 140735294959567 0
[pid=18796/tid=18798] ppid=18793 vsize=15025188 memory=3280 CPUtime=1.65 cores=0,2,4,6
/proc/18796/task/18798/stat : 18798 (java) S 18793 18793 16886 0 -1 1077944384 1590 0 0 0 141 24 0 0 20 0 15 0 405768628 15385792512 1301610 33554432000 4194304 4196468 140735294950800 140033911175824 140033906943701 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8032256 140735294956270 140735294956698 140735294956698 140735294959567 0
[pid=18796/tid=18799] ppid=18793 vsize=15025188 memory=36848 CPUtime=1.66 cores=0,2,4,6
/proc/18796/task/18799/stat : 18799 (java) S 18793 18793 16886 0 -1 1077944384 2528 0 0 0 140 26 0 0 20 0 15 0 405768628 15385792512 1301610 33554432000 4194304 4196468 140735294950800 140033725331984 140033906943701 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8032256 140735294956270 140735294956698 140735294956698 140735294959567 0
[pid=18796/tid=18800] ppid=18793 vsize=15025188 memory=6791534058613427641 CPUtime=1.65 cores=0,2,4,6
/proc/18796/task/18800/stat : 18800 (java) S 18793 18793 16886 0 -1 1077944384 2868 0 0 0 137 28 0 0 20 0 15 0 405768628 15385792512 1301610 33554432000 4194304 4196468 140735294950800 140033724279184 140033906943701 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8032256 140735294956270 140735294956698 140735294956698 140735294959567 0
[pid=18796/tid=18801] ppid=18793 vsize=15025188 memory=1440 CPUtime=1.64 cores=0,2,4,6
/proc/18796/task/18801/stat : 18801 (java) S 18793 18793 16886 0 -1 1077944384 2832 0 0 0 132 32 0 0 20 0 15 0 405768628 15385792512 1301610 33554432000 4194304 4196468 140735294950800 140033723226384 140033906943701 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8032256 140735294956270 140735294956698 140735294956698 140735294959567 0
[pid=18796/tid=18802] ppid=18793 vsize=15025188 memory=1984 CPUtime=0.02 cores=0,2,4,6
/proc/18796/task/18802/stat : 18802 (java) S 18793 18793 16886 0 -1 1077944384 849 0 0 0 2 0 0 0 20 0 15 0 405768629 15385792512 1301610 33554432000 4194304 4196468 140735294950800 140032944503664 140033906944642 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8032256 140735294956270 140735294956698 140735294956698 140735294959567 0
[pid=18796/tid=18803] ppid=18793 vsize=15025188 memory=2376 CPUtime=0 cores=0,2,4,6
/proc/18796/task/18803/stat : 18803 (java) S 18793 18793 16886 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 15 0 405768630 15385792512 1301610 33554432000 4194304 4196468 140735294950800 140032442623584 140033906943701 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8032256 140735294956270 140735294956698 140735294956698 140735294959567 0
[pid=18796/tid=18804] ppid=18793 vsize=15025188 memory=1768 CPUtime=0 cores=0,2,4,6
/proc/18796/task/18804/stat : 18804 (java) S 18793 18793 16886 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 15 0 405768630 15385792512 1301610 33554432000 4194304 4196468 140735294950800 140032174187904 140033906943701 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8032256 140735294956270 140735294956698 140735294956698 140735294959567 0
[pid=18796/tid=18805] ppid=18793 vsize=15025188 memory=111628 CPUtime=0 cores=0,2,4,6
/proc/18796/task/18805/stat : 18805 (java) S 18793 18793 16886 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405768632 15385792512 1301610 33554432000 4194304 4196468 140735294950800 140031799679312 140033906952091 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8032256 140735294956270 140735294956698 140735294956698 140735294959567 0
[pid=18796/tid=18806] ppid=18793 vsize=15025188 memory=6791534058613427641 CPUtime=1.79 cores=0,2,4,6
/proc/18796/task/18806/stat : 18806 (java) S 18793 18793 16886 0 -1 1077944384 6729 0 0 0 178 1 0 0 20 0 15 0 405768632 15385792512 1301610 33554432000 4194304 4196468 140735294950800 140032943450480 140033906944642 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8032256 140735294956270 140735294956698 140735294956698 140735294959567 0
[pid=18796/tid=18807] ppid=18793 vsize=15025188 memory=3436 CPUtime=1.63 cores=0,2,4,6
/proc/18796/task/18807/stat : 18807 (java) S 18793 18793 16886 0 -1 1077944384 8010 0 0 0 162 1 0 0 20 0 15 0 405768632 15385792512 1301610 33554432000 4194304 4196468 140735294950800 140032942397680 140033906944642 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8032256 140735294956270 140735294956698 140735294956698 140735294959567 0
[pid=18796/tid=18808] ppid=18793 vsize=15025188 memory=2832 CPUtime=0.76 cores=0,2,4,6
/proc/18796/task/18808/stat : 18808 (java) S 18793 18793 16886 0 -1 1077944384 4950 0 0 0 74 2 0 0 20 0 15 0 405768632 15385792512 1301610 33554432000 4194304 4196468 140735294950800 140032941344880 140033906944642 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8032256 140735294956270 140735294956698 140735294956698 140735294959567 0
[pid=18796/tid=18809] ppid=18793 vsize=15025188 memory=1212 CPUtime=0 cores=0,2,4,6
/proc/18796/task/18809/stat : 18809 (java) S 18793 18793 16886 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405768632 15385792512 1301610 33554432000 4194304 4196468 140735294950800 140031301773536 140033906943701 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8032256 140735294956270 140735294956698 140735294956698 140735294959567 0
[pid=18796/tid=18810] ppid=18793 vsize=15025188 memory=1036 CPUtime=0.03 cores=0,2,4,6
/proc/18796/task/18810/stat : 18810 (java) S 18793 18793 16886 0 -1 1077944384 174 0 0 0 2 1 0 0 20 0 15 0 405768633 15385792512 1301610 33554432000 4194304 4196468 140735294950800 140032940293296 140033906944642 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 77 0 0 6293624 6294260 8032256 140735294956270 140735294956698 140735294956698 140735294959567 0
Current children cumulated CPU time: 87.6 s
Current children cumulated vsize: 15138316 KiB
Current children cumulated memory: 5207836 KiB
[startup+79.2002 s]
/proc/loadavg: 1.92 2.25 2.51 3/226 18815
/proc/meminfo: memFree=27169360/32770624 swapFree=67003284/67108860
[pid=18793] ppid=18790 vsize=113128 memory=1476 CPUtime=89.14 cores=0,2,4,6
/proc/18793/stat : 18793 (scop.sh) S 18790 18793 16886 0 -1 4202496 583 68022 0 0 0 0 8742 172 20 0 1 0 405768626 115843072 369 33554432000 4194304 5098028 140732004959648 140732004956392 140251995181692 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 9842688 140732004967208 140732004967536 140732004967536 140732004970445 0
/proc/18793/statm: 28282 369 311 221 0 87 0
Current children cumulated CPU time: 89.14 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1476 KiB
[startup+79.6004 s]
/proc/loadavg: 1.92 2.25 2.51 3/226 18815
/proc/meminfo: memFree=27169360/32770624 swapFree=67003284/67108860
[pid=18793] ppid=18790 vsize=113128 memory=1476 CPUtime=89.14 cores=0,2,4,6
/proc/18793/stat : 18793 (scop.sh) S 18790 18793 16886 0 -1 4202496 583 68022 0 0 0 0 8742 172 20 0 1 0 405768626 115843072 369 33554432000 4194304 5098028 140732004959648 140732004956392 140251995181692 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 9842688 140732004967208 140732004967536 140732004967536 140732004970445 0
/proc/18793/statm: 28282 369 311 221 0 87 0
Current children cumulated CPU time: 89.14 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1476 KiB
[startup+79.8004 s]
/proc/loadavg: 1.92 2.25 2.51 3/226 18815
/proc/meminfo: memFree=27169360/32770624 swapFree=67003284/67108860
[pid=18793] ppid=18790 vsize=113128 memory=1476 CPUtime=89.14 cores=0,2,4,6
/proc/18793/stat : 18793 (scop.sh) S 18790 18793 16886 0 -1 4202496 583 68022 0 0 0 0 8742 172 20 0 1 0 405768626 115843072 369 33554432000 4194304 5098028 140732004959648 140732004956392 140251995181692 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 9842688 140732004967208 140732004967536 140732004967536 140732004970445 0
/proc/18793/statm: 28282 369 311 221 0 87 0
Current children cumulated CPU time: 89.14 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1476 KiB
Child status: 0
Real time (s): 79.8239
CPU time (s): 90.3926
CPU user time (s): 88.5876
CPU system time (s): 1.80501
CPU usage (%): 113.24
Max. virtual memory (cumulated for all children) (KiB): 15140432
Max. memory (cumulated for all children) (KiB): 5212304
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 88.5876
system time used= 1.80501
maximum resident set size= 5212980
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 89723
page faults= 0
swaps= 0
block input operations= 0
block output operations= 400
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7346
involuntary context switches= 208
# summary of solver processes directly reported to runsolver:
# pid: 18793
# total CPU time (s): 90.3926
# total CPU user time (s): 88.5876
# total CPU system time (s): 1.80501
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.545973 second user time and 0.837467 second system time
The end