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-10143-serial-file.bin HOME/instance-4388220-1568297280.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 16:07:15 CEST 2019
0.66/0.56 c PID: 10146
0.66/0.56 c IP: 172.20.3.102
0.66/0.56 c HOST: node102.alineos.net
0.66/0.56 c (0,0) Parsing Begin
4.01/1.62 c (1,1) Parsing End
4.01/1.62 c (1,1) CSP: 200 int (0 aux), 0 bool (0 aux), 2800 ctr, max domain size 538
4.01/1.63 c (1,1) Heap : 281 MiB used (max 10795 MiB), NonHeap : 21 MiB used (max 0 MiB)
4.01/1.63 c (1,1) Constraint Name Generate Begin
4.01/1.66 c (1,1) Ctr:HOME/instance-4388220-1568297280.xml,Add:Le:Ne:Num:Or:Var
4.01/1.66 c (1,1) Constraint Name Generate End
4.01/1.66 c (1,1) Heap : 281 MiB used (max 10795 MiB), NonHeap : 21 MiB used (max 0 MiB)
4.01/1.66 c (1,1) CSP to CSPinCNF Begin
4.52/1.88 c (1,1) translated 280 (10%) constraints
4.74/1.94 c (1,1) translated 560 (20%) constraints
5.09/2.07 c (1,1) translated 840 (30%) constraints
5.09/2.07 c (1,1) translated 1120 (40%) constraints
5.09/2.07 c (1,1) translated 1400 (50%) constraints
5.09/2.07 c (1,1) translated 1680 (60%) constraints
5.09/2.08 c (1,1) translated 1960 (70%) constraints
5.09/2.10 c (1,1) translated 2240 (80%) constraints
5.39/2.13 c (1,1) translated 2520 (90%) constraints
5.39/2.15 c (1,1) translated 2800 (100%) constraints
5.39/2.15 c (1,1) ===========================================
5.39/2.15 c (1,1) Order
5.39/2.15 c (1,1) ===========================================
5.39/2.17 c (1,1) translated 280 (10%) constraints
5.39/2.19 c (1,1) translated 560 (20%) constraints
5.68/2.21 c (1,1) translated 840 (30%) constraints
5.68/2.22 c (1,1) translated 1120 (40%) constraints
5.68/2.24 c (1,1) translated 1400 (50%) constraints
5.68/2.25 c (1,1) translated 1680 (60%) constraints
5.68/2.27 c (1,1) translated 1960 (70%) constraints
5.68/2.28 c (1,1) translated 2240 (80%) constraints
5.98/2.30 c (1,1) translated 2520 (90%) constraints
5.98/2.31 c (1,1) translated 2800 (100%) constraints
5.98/2.32 c (1,1) CSP to CSPinCNF End
5.98/2.32 c (1,1) CSP: 200 int (0 aux), 0 bool (0 aux), 2800 ctr, max domain size 538
5.98/2.32 c (1,1) Heap : 337 MiB used (max 10795 MiB), NonHeap : 25 MiB used (max 0 MiB)
5.98/2.32 c (1,1) CSPinCNF Propagation Begin
5.98/2.37 c (1,1) 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed
5.98/2.37 c (1,1) CSPinCNF Propagation End
5.98/2.38 c (1,1) CSP: 200 int (0 aux), 0 bool (0 aux), 2800 ctr, max domain size 538
5.98/2.38 c (1,1) Heap : 337 MiB used (max 10795 MiB), NonHeap : 26 MiB used (max 0 MiB)
5.98/2.38 c (1,1) Simplify CSPinCNF Begin
6.59/2.59 c (2,2) Simplify CSPinCNF End
6.59/2.59 c (2,2) CSP: 200 int (0 aux), 5600 bool (5600 aux), 8400 ctr, max domain size 538
6.59/2.59 c (2,2) Heap : 394 MiB used (max 10795 MiB), NonHeap : 26 MiB used (max 0 MiB)
6.59/2.59 c (2,2) Calculate Precise Domain Begin
6.59/2.59 c (2,2) 0 values are removed by re-calculation
6.59/2.59 c (2,2) Calculate Precise Domain End
6.59/2.59 c (2,2) CSP: 200 int (0 aux), 5600 bool (5600 aux), 8400 ctr, max domain size 538
6.59/2.59 c (2,2) Heap : 394 MiB used (max 10795 MiB), NonHeap : 26 MiB used (max 0 MiB)
6.59/2.59 c (2,2) CSPinCNF to SatSolver Begin
10.05/4.21 c (3,3) 840 (10 %) CSP clauses are encoded (0 SAT variables, 350597 SAT clauses)
11.08/5.28 c (4,4) 1680 (20 %) CSP clauses are encoded (0 SAT variables, 602843 SAT clauses)
12.34/6.34 c (5,5) 2520 (30 %) CSP clauses are encoded (0 SAT variables, 853595 SAT clauses)
13.28/7.28 c (6,6) 3360 (40 %) CSP clauses are encoded (0 SAT variables, 1103069 SAT clauses)
14.29/8.21 c (7,7) 4200 (50 %) CSP clauses are encoded (0 SAT variables, 1355459 SAT clauses)
15.29/9.18 c (8,8) 5040 (60 %) CSP clauses are encoded (0 SAT variables, 1608144 SAT clauses)
16.21/10.10 c (9,9) 5880 (70 %) CSP clauses are encoded (0 SAT variables, 1857511 SAT clauses)
17.28/11.03 c (10,10) 6720 (80 %) CSP clauses are encoded (0 SAT variables, 2105987 SAT clauses)
18.22/11.97 c (11,11) 7560 (90 %) CSP clauses are encoded (0 SAT variables, 2357105 SAT clauses)
19.31/12.96 c (12,12) 8400 (100 %) CSP clauses are encoded (0 SAT variables, 2617437 SAT clauses)
19.31/12.96 c (12,12) CSPinCNF to SatSolver End
19.31/12.96 c (12,12) Heap : 1079 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
19.31/12.96 c (12,12) 103984 bool, 2617904 clause
19.31/12.96 c (12,12) Export Begin
19.46/13.06 c (12,12) Export to HOME/scop-10143-serial-file.bin
19.46/13.06 c (12,12) Export End
19.46/13.06 c (12,12) Export File Size: 0.03 MB
19.46/13.06 c (12,12) 1,1,1,1,2,2,12,STOP-AFTER(DIMACS)
19.46/13.06 c END-Prog: Thu Sep 12 16:07:28 CEST 2019
19.46/13.08 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-10143-serial-file.bin
19.60/13.54 c (0,0) Read Serial File Begin
19.60/13.54 c (0,0) HOME/scop-10143-serial-file.bin
19.60/13.76 c (0,0) Read Serial File End
19.60/13.77
19.60/13.77 Fun-sCOP order+glueminisat-simp-2.2.10-193oa-n-release (2019-06-15)
19.60/13.77 (Solving Process)
19.60/13.77
19.60/13.79 c BEGIN-Prog: Thu Sep 12 16:07:29 CEST 2019
19.60/13.79 c PID: 10161
19.60/13.79 c IP: 172.20.3.102
19.60/13.79 c HOST: node102.alineos.net
19.60/13.80 c (0,0) SatSolver.solve Begin
19.60/13.80 c (0,0) HOME/glueminisat-simp-2.2.10-193oa-n-release -model -verb=3 -elim-cl=5000000 -native-oa HOME/instance-4388220-1568297280.xml-scop-10146.cnf
19.60/13.83 c (0,0) c WARNING: for repeatability, setting FPU to use double precision
19.60/13.83 c (0,0) c glueminisat-simp-2.2.10-193oa-n
19.60/13.83 c (0,0) c Command: HOME/glueminisat-simp-2.2.10-193oa-n-release -model -verb=3 -elim-cl=5000000 -native-oa HOME/instance-4388220-1568297280.xml-scop-10146.cnf
19.60/13.83 c (0,0) c Options:
19.60/13.83 c (0,0) c CORE
19.60/13.83 c (0,0) c var_decay = 0.950
19.60/13.83 c (0,0) c clause_decay = 0.999
19.60/13.83 c (0,0) c random_var_freq = 0.000
19.60/13.83 c (0,0) c random_seed = 91648253.000
19.60/13.83 c (0,0) c luby_restart = 1
19.60/13.83 c (0,0) c ccmin_mode = 2
19.60/13.83 c (0,0) c phase_saving = 2
19.60/13.83 c (0,0) c rnd_pol = 0
19.60/13.83 c (0,0) c rnd_init_act = 0
19.60/13.83 c (0,0) c garbage_frac = 0.200
19.60/13.83 c (0,0) c restart_first = 1000
19.60/13.83 c (0,0) c restart_inc = 2.000
19.60/13.83 c (0,0) c MODEL
19.60/13.83 c (0,0) c partial_model = 0
19.60/13.83 c (0,0) c PROPAGATION
19.60/13.83 c (0,0) c bin_propagation = 1
19.60/13.83 c (0,0) c SIMPLIFICATION
19.60/13.83 c (0,0) c lrn_min_size = 100
19.60/13.83 c (0,0) c lazy_simp = 1
19.60/13.83 c (0,0) c lazy_interval = 10
19.60/13.83 c (0,0) c lazy_fld_probing = 1
19.60/13.83 c (0,0) c lazy_pol_probing = 1
19.60/13.83 c (0,0) c lazy_nec_probing = 1
19.60/13.83 c (0,0) c lazy_eqv_probing = 1
19.60/13.83 c (0,0) c lazy_cla_probing = 1
19.60/13.83 c (0,0) c lazy_lrn_min = 2
19.60/13.83 c (0,0) c lazy_uw_lit_elim = 1
19.60/13.83 c (0,0) c lazy_pr_lit_elim = 0
19.60/13.83 c (0,0) c lazy_bin_add = 3
19.60/13.83 c (0,0) c probed_lit_chain = 1
19.60/13.83 c (0,0) c pr_min_lits = 0.00020
19.60/13.83 c (0,0) c pr_min_starts = 500
19.60/13.83 c (0,0) c rw_min_lits = 0.010
19.60/13.83 c (0,0) c rw_min_starts = 500
19.60/13.83 c (0,0) c rand_attach = 0
19.60/13.83 c (0,0) c dec_elim = 1
19.60/13.83 c (0,0) c dec_elim_lim = 25
19.60/13.83 c (0,0) c dec_elim_len = -1
19.60/13.83 c (0,0) c amo = 0
19.60/13.83 c (0,0) c amo_grp = 1
19.60/13.83 c (0,0) c amo_max_bins = 1000000
19.60/13.83 c (0,0) c amo_starts = 50
19.60/13.83 c (0,0) c mace_cmd = mace
19.60/13.84 c (0,0) c DECISION
19.60/13.84 c (0,0) c rand_rebuild = 0
19.60/13.84 c (0,0) c rand_rebuild_confs = 10000
19.60/13.84 c (0,0) c inc_var_decay = 1
19.60/13.84 c (0,0) c inc_var_decay_period = 100000
19.60/13.84 c (0,0) c inc_var_decay_init = 0.600
19.60/13.84 c (0,0) c var_decay_mode = 0
19.60/13.84 c (0,0) c var_decay_gain = 0
19.60/13.84 c (0,0) c sloped_var_decay = 1
19.60/13.84 c (0,0) c max_var_decay = 0.990
19.60/13.84 c (0,0) c min_var_decay = 0.950
19.60/13.84 c (0,0) c min_var_decay_vars = 10000
19.60/13.84 c (0,0) c max_var_decay_vars = 500
19.60/13.84 c (0,0) c uip_bumping = 1
19.60/13.84 c (0,0) c lbd_act_bumping = 1
19.60/13.84 c (0,0) c rand_tiebreak = 0
19.60/13.84 c (0,0) c simp_rebuild = 1
19.60/13.84 c (0,0) c RESTART
19.60/13.84 c (0,0) c restart_strategy = 2
19.60/13.84 c (0,0) c restart_blocking = 0
19.60/13.84 c (0,0) c agility_decay = 0.99990
19.60/13.84 c (0,0) c lbd_restart_rate = 0.800
19.60/13.84 c (0,0) c dec_restart_rate = 0.950
19.60/13.84 c (0,0) c blk_restart_rate = 0.700
19.60/13.84 c (0,0) c lbd_queue_size = 50
19.60/13.84 c (0,0) c dec_queue_size = 50
19.60/13.84 c (0,0) c trl_queue_size = 5000
19.60/13.84 c (0,0) c blk_restart_weight = 1.000
19.60/13.84 c (0,0) c inc_rst_rate = 0
19.60/13.84 c (0,0) c inc_rst_rate_period = 500000
19.60/13.84 c (0,0) c inc_lbd_rst_rate_init = 0.600
19.60/13.84 c (0,0) c inc_dec_rst_rate_init = 0.750
19.60/13.84 c (0,0) c REDUCTION
19.60/13.84 c (0,0) c closed_lbd = 0
19.60/13.84 c (0,0) c closed_lbd_rate = 0.500
19.60/13.84 c (0,0) c rm_simulate = 0
19.60/13.84 c (0,0) c rdb_eval = 2
19.60/13.84 c (0,0) c rdb_call = 3
19.60/13.84 c (0,0) c rdb_ub = 0.500
19.60/13.84 c (0,0) c core_lbd_cvr = 0.800
19.60/13.84 c (0,0) c supp_lbd_cvr = 0.990
19.60/13.84 c (0,0) c core_lbd_lb = 2
19.60/13.84 c (0,0) c supp_lbd_lb = 2
19.60/13.84 c (0,0) c core_lbd_prd = 7
19.60/13.84 c (0,0) c supp_lbd_prd = 1
19.60/13.84 c (0,0) c othr_lbd_prd = 0
19.60/13.84 c (0,0) c inc_lrn_limit = 1000
19.60/13.84 c (0,0) c frozen_lbd = 30
19.60/13.84 c (0,0) c simp_min_starts = 100
19.60/13.84 c (0,0) c rm_low_act_learnts = 1
19.60/13.84 c (0,0) c lv0_reduce_db = 0
19.60/13.84 c (0,0) c reduce_db_base = 20000
19.60/13.84 c (0,0) c reduce_db_inc = 1000
19.60/13.84 c (0,0) c HARD
19.60/13.84 c (0,0) c inst_check = 200000
19.60/13.84 c (0,0) c small_block = 1.750
19.60/13.84 c (0,0) c slow_restart_speed = 400.000
19.60/13.84 c (0,0) c slow_restart_strategy = 3
19.60/13.84 c (0,0) c slow_lbd_restart_rate = 0.700
19.60/13.84 c (0,0) c slow_dec_restart_rate = 1.000
19.60/13.84 c (0,0) c slow_lbd_queue_size = 50
19.60/13.84 c (0,0) c slow_var_decay = 0.950
19.60/13.84 c (0,0) c slow_glue_threshold = 2
19.60/13.84 c (0,0) c slow_phase_saving = 2
19.60/13.84 c (0,0) c fast_restart_speed = 125.000
19.60/13.84 c (0,0) c fast_restart_strategy = 1
19.60/13.84 c (0,0) c fast_lbd_restart_rate = 0.800
19.60/13.84 c (0,0) c fast_dec_restart_rate = 0.950
19.60/13.84 c (0,0) c fast_lbd_queue_size = 50
19.60/13.84 c (0,0) c fast_var_decay = 1.000
19.60/13.84 c (0,0) c fast_glue_threshold = 2
19.60/13.84 c (0,0) c fast_phase_saving = 2
19.60/13.84 c (0,0) c STATS
19.60/13.84 c (0,0) c stats_conf_size = 10000
19.60/13.84 c (0,0) c max_stats_size = 30
19.60/13.84 c (0,0) c SOLVER
19.60/13.84 c (0,0) c minisat = 0
21.72/14.77 c (1,0) c Problem: 103984 variables, 2617904 clauses, parsing 0.87 s
27.44/20.44 c (6,0) c reduced to 101184 variables, 2615104 clauses (grow = 0)
27.53/20.58 c (7,0) c exclude 0 (0.0%) variables from decision variables (last cost 0)
27.83/20.81 c (7,0) c Simplification: 2800 vars, 2800 clauses are eliminated using 5.94 s
27.83/20.81 c (7,0) c
27.83/20.81 c (7,0) c #Rstrts #Confs #Vars #Clauses #Learnts Lits/C LBD/C DLVs Trail
27.83/20.81 c (7,0) c
27.83/20.81 c (7,0) c 6 0 0 101184 2615104 0 -nan -nan -nan -nan%
27.94/20.96 c (7,0) c 7 2 100 101184 2615104 100 16.3 7.7 133.1 21.5%
28.05/21.06 c (7,0) c 7 2 220 101184 2615104 220 18.2 7.3 117.0 29.9%
28.15/21.16 c (7,0) c 7 3 364 101184 2615104 364 19.4 7.4 108.4 31.2%
28.23/21.21 c (7,0) c 7 3 536 101184 2615104 536 17.1 6.6 79.4 24.5%
28.23/21.28 c (7,0) c 7 3 743 101184 2615104 743 15.4 6.2 62.0 20.1%
28.33/21.38 c (7,0) c 7 3 991 101184 2615104 991 14.2 5.8 50.1 17.3%
28.43/21.49 c (8,0) c 7 3 1289 101184 2615104 1289 13.7 5.6 41.8 15.4%
28.63/21.60 c (8,0) c 7 3 1647 101184 2615104 1647 13.7 5.6 35.6 14.1%
28.73/21.71 c (8,0) c 7 4 2076 101184 2615104 2076 13.2 5.5 32.0 13.1%
28.83/21.85 c (8,0) c 8 4 2591 101184 2615104 2591 13.4 5.4 28.8 12.4%
29.04/22.01 c (8,0) c 8 4 3210 101184 2615104 3210 13.1 5.3 26.4 11.8%
29.23/22.22 c (8,0) c 8 5 3953 101184 2615104 3953 12.9 5.2 24.3 11.3%
29.44/22.48 c (9,0) c 8 6 4844 101184 2615104 4844 12.8 5.1 22.7 10.8%
29.74/22.79 c (9,0) c 8 8 5913 101184 2615104 5913 12.6 5.1 21.5 10.5%
30.25/23.20 c (9,0) c 9 10 7196 101184 2615104 7196 12.6 5.1 20.5 10.1%
30.74/23.75 c (10,0) c
30.74/23.75 c (10,0) c variables : 101184 (init 103984, after simp 101184, 0 non-decs, 200 csp)
30.74/23.75 c (10,0) c clauses : 2615104 (init 2617904, after simp 2615104)
30.74/23.75 c (10,0) c restarts : 12 (672.00 confs/res, 56~1840 confs, 0 blks, 0 last)
30.74/23.75 c (10,0) c conflicts : 8736 (899 /sec, 57.74% dconfs, 0.00% supp, trail 601.46w x 19.44h, jmp 1.43h)
30.74/23.75 c (10,0) c decisions : 12880 (0.6300 vdcy, 1325 /sec, 0.00% bin, rs 0.004 s)
30.74/23.75 c (10,0) c propagations : 15048416 (1547775 /sec, 1168.36 lits/dec, 50.49% o.a.)
30.74/23.75 c (10,0) c conflict literals : 151756 (27.21% deleted; 0.86% by bin min, 0.002 s)
30.74/23.75 c (10,0) c len : 12.496 (12.50 for all, max 127, used 53)
30.74/23.75 c (10,0) c lbd : 5.095 (6.29 (5.09) for all, max 35, used 18, 1.783 stdev, 1.988 blk)
30.74/23.75 c (10,0) c amo : 0 (0 max, -nan avg, 0.000 s)
30.74/23.75 c (10,0) c simp dbs : 1 (0.001 s)
30.74/23.75 c (10,0) c reduce dbs : 0 (core-lbd 2, supp-lbd 2147483647, 0.000 s)
30.74/23.75 c (10,0) c learnts : 8736 (0 learnts removed, 0.00%)
30.74/23.75 c (10,0) c rewrite dbs : 0 (0/0 vars, 0+0 taut, 0+0 unit, 0.000 s)
30.74/23.75 c (10,0) c assigned lits : 0 (0/0 probed, 0 remains)
30.74/23.75 c (10,0) c premise updates : 405492 (2.00 /lit)
30.74/23.75 c (10,0) c probed variables : 0 (0 pr, 0 eq, 0 fld, 0 pol, 0 nec, 0 cla, 0 amo)
30.74/23.75 c (10,0) c equiv variables : 0 (0 bin, 0 trn, 0 quat, 0 quin, 0 othr; 0 amo)
30.74/23.75 c (10,0) c lazy added bins : 0 (0 prop + 0 conf, 0.001s)
30.74/23.75 c (10,0) c unwatched lit elim: 394 (0.00+0.26%, 0+394 of 7735928+151756)
30.74/23.75 c (10,0) c classified type : undef
30.74/23.75 c (10,0) c progress : 0.000 %
30.74/23.75 c (10,0) c
30.74/23.75 c (10,0) c #Rstrts #Confs #Vars #Clauses #Learnts Lits/C LBD/C DLVs Trail
30.74/23.75 c (10,0) c
30.74/23.75 c (10,0) c 9 13 8736 101184 2615104 8736 12.5 5.1 19.4 9.8%
31.35/24.35 c (10,0) c 10 20 10584 101184 2615104 10584 12.5 5.1 15.5 8.7%
32.16/25.13 c (11,0) c 11 26 12802 101184 2615104 12802 12.5 5.1 15.1 8.4%
32.94/25.91 c (12,0) c 12 30 15464 101184 2615104 15464 12.8 5.1 14.3 8.5%
34.05/27.03 c (13,0) c 13 43 18658 101184 2615104 18658 13.0 5.1 14.2 8.3%
34.54/27.56 c (14,0) c 13 r 50 20000 101184 2615104 20000 13.0 5.1 14.1 8.3%
34.54/27.56 c (14,0) c
34.54/27.56 c (14,0) c R [LBD Statistics #1]
34.54/27.56 c (14,0) c R LBD used lbd used clause lbd
34.54/27.56 c (14,0) c R tot 132472 20000
34.54/27.56 c (14,0) c R avg 2.803 5.144
34.54/27.56 c (14,0) c R 1 4345 ( 3.3/ 3.3%) 297 ( 1.5/ 1.5%)
34.54/27.56 c (14,0) c R 2 79791 (60.2/63.5%) 4682 (23.4/24.9%)
34.54/27.56 c (14,0) c R 3 23384 (17.7/81.2%) 2648 (13.2/38.1%)
34.54/27.56 c (14,0) c R
34.54/27.56 c (14,0) c R core_lbd_threshold = 3
34.54/27.56 c (14,0) c R supp_lbd_threshold = 10
34.54/27.56 c (14,0) c R
34.54/27.56 c (14,0) c R [RDB Statistics #1]
34.54/27.56 c (14,0) c R kept: lbd = 7627 (38.1/38.1%)
34.54/27.56 c (14,0) c R kept: ttl = 12370 (61.9/100.0%)
34.54/27.56 c (14,0) c R kept: locked = 3 ( 0.0/100.0%)
34.54/27.56 c (14,0) c R lost: lbd = 0 ( 0.0/ 0.0%)
34.54/27.56 c (14,0) c R lost: ttl = 0 ( 0.0/ 0.0%)
34.54/27.56 c (14,0) c R lost: subsumed = 0 ( 0.0/ 0.0%)
34.54/27.56 c (14,0) c
34.54/27.56 c (14,0) c 13 R 50 20000 101184 2615104 20000 13.0 5.1 14.1 8.3%
35.55/28.55 c (15,0) c 14 55 22491 101184 2615104 22491 13.2 5.1 13.6 8.3%
37.16/30.16 c (16,0) c 16 71 27091 101184 2615104 27091 13.5 5.1 14.1 8.2%
39.25/32.25 c (18,0) c 18 86 32611 101184 2615104 32611 13.7 5.1 13.3 8.1%
41.96/34.93 c (21,0) c 21 120 39235 101184 2615104 39235 14.1 5.2 13.1 8.0%
42.75/35.75 c (22,0) c 21 r 121 41001 101184 2615104 41001 14.2 5.2 13.0 7.9%
42.75/35.75 c (22,0) c
42.75/35.75 c (22,0) c R [LBD Statistics #2]
42.75/35.75 c (22,0) c R LBD used lbd used clause lbd
42.75/35.75 c (22,0) c R tot 396155 41001
42.75/35.75 c (22,0) c R avg 2.626 5.181
42.75/35.75 c (22,0) c R 1 16227 ( 4.1/ 4.1%) 701 ( 1.7/ 1.7%)
42.75/35.75 c (22,0) c R 2 260400 (65.7/69.8%) 9441 (23.0/24.7%)
42.75/35.75 c (22,0) c R 3 59322 (15.0/84.8%) 4929 (12.0/36.8%)
42.75/35.75 c (22,0) c R
42.75/35.75 c (22,0) c R core_lbd_threshold = 3
42.75/35.75 c (22,0) c R supp_lbd_threshold = 9
42.75/35.75 c (22,0) c R
42.75/35.75 c (22,0) c R [RDB Statistics #2]
42.75/35.75 c (22,0) c R kept: lbd = 15056 (36.7/36.7%)
42.75/35.75 c (22,0) c R kept: ttl = 14797 (36.1/72.8%)
42.75/35.75 c (22,0) c R kept: locked = 22 ( 0.1/72.9%)
42.75/35.75 c (22,0) c R lost: lbd = 0 ( 0.0/ 0.0%)
42.75/35.75 c (22,0) c R lost: ttl = 11126 (27.1/27.1%)
42.75/35.76 c (22,0) c R lost: subsumed = 0 ( 0.0/27.1%)
42.75/35.76 c (22,0) c
42.75/35.76 c (22,0) c 21 R 121 41001 101184 2615104 29875 12.1 4.1 13.0 7.9%
45.25/38.25 c (24,0) c 24 145 47184 101184 2615104 36058 12.9 4.4 12.2 7.6%
49.65/42.66 c (29,0) c 28 175 56723 101184 2615104 45597 13.8 4.6 11.5 7.8%
52.86/45.84 c (32,0) c 32 r 191 63000 101184 2615104 51874 14.1 4.6 10.9 7.5%
52.86/45.85 c (32,0) c
52.86/45.85 c (32,0) c R [LBD Statistics #3]
52.86/45.85 c (32,0) c R LBD used lbd used clause lbd
52.86/45.85 c (32,0) c R tot 808605 51874
52.86/45.85 c (32,0) c R avg 2.527 4.618
52.86/45.85 c (32,0) c R 1 38490 ( 4.8/ 4.8%) 1154 ( 2.2/ 2.2%)
52.86/45.85 c (32,0) c R 2 556485 (68.8/73.6%) 13990 (27.0/29.2%)
52.86/45.85 c (32,0) c R 3 106475 (13.2/86.7%) 7201 (13.9/43.1%)
52.86/45.85 c (32,0) c R
52.86/45.85 c (32,0) c R core_lbd_threshold = 3
52.86/45.85 c (32,0) c R supp_lbd_threshold = 9
52.86/45.85 c (32,0) c R
52.86/45.85 c (32,0) c R [RDB Statistics #3]
52.86/45.85 c (32,0) c R kept: lbd = 22298 (43.0/43.0%)
52.86/45.85 c (32,0) c R kept: ttl = 17060 (32.9/75.9%)
52.86/45.85 c (32,0) c R kept: locked = 53 ( 0.1/76.0%)
52.86/45.85 c (32,0) c R lost: lbd = 0 ( 0.0/ 0.0%)
52.86/45.85 c (32,0) c R lost: ttl = 12463 (24.0/24.0%)
52.86/45.85 c (32,0) c R lost: subsumed = 0 ( 0.0/24.0%)
52.86/45.85 c (32,0) c
52.86/45.85 c (32,0) c
52.86/45.85 c (32,0) c variables : 101184 (init 103984, after simp 101184, 0 non-decs, 200 csp)
52.86/45.85 c (32,0) c clauses : 2615104 (init 2617904, after simp 2615104)
52.86/45.85 c (32,0) c restarts : 190 (329.84 confs/res, 50~2063 confs, 0 blks, 0 last)
52.86/45.85 c (32,0) c conflicts : 63000 (1992 /sec, 55.02% dconfs, 0.00% supp, trail 685.64w x 13.60h, jmp 1.30h)
52.86/45.85 c (32,0) c decisions : 84259 (0.8200 vdcy, 2664 /sec, 0.00% bin, rs 0.019 s)
52.86/45.85 c (32,0) c propagations : 106788064 (3376753 /sec, 1267.38 lits/dec, 54.89% o.a.)
52.86/45.85 c (32,0) c conflict literals : 1494208 (35.30% deleted; 1.21% by bin min, 0.017 s)
52.86/45.85 c (32,0) c len : 12.166 (15.06 for all, max 127, used 60)
52.86/45.85 c (32,0) c lbd : 3.756 (6.73 (5.21) for all, max 35, used 21, 1.359 stdev, 2.238 blk)
52.86/45.85 c (32,0) c amo : 0 (0 max, -nan avg, 0.000 s)
52.86/45.85 c (32,0) c simp dbs : 1 (0.001 s)
52.86/45.85 c (32,0) c reduce dbs : 3 (core-lbd 3, supp-lbd 9, 0.005 s)
52.86/45.85 c (32,0) c learnts : 39411 (23589 learnts removed, 37.44%)
52.86/45.85 c (32,0) c rewrite dbs : 0 (0/0 vars, 0+0 taut, 0+0 unit, 0.000 s)
52.86/45.85 c (32,0) c assigned lits : 0 (0/0 probed, 0 remains)
52.86/45.85 c (32,0) c premise updates : 2256336 (11.15 /lit)
52.86/45.85 c (32,0) c probed variables : 0 (0 pr, 0 eq, 0 fld, 0 pol, 0 nec, 0 cla, 0 amo)
52.86/45.85 c (32,0) c equiv variables : 0 (0 bin, 0 trn, 0 quat, 0 quin, 0 othr; 0 amo)
52.86/45.85 c (32,0) c lazy added bins : 0 (0 prop + 0 conf, 0.006s)
52.86/45.85 c (32,0) c unwatched lit elim: 4249 (0.00+0.28%, 0+4249 of 7735928+1494208)
52.86/45.85 c (32,0) c classified type : undef
52.86/45.85 c (32,0) c progress : 0.000 %
52.86/45.85 c (32,0) c
52.86/45.85 c (32,0) c #Rstrts #Confs #Vars #Clauses #Learnts Lits/C LBD/C DLVs Trail
52.86/45.85 c (32,0) c
52.86/45.85 c (32,0) c 32 R 191 63000 101184 2615104 39411 12.2 3.8 10.9 7.5%
55.46/48.48 c (35,0) c 34 192 68170 100791 2611230 37735 11.8 3.6 9.3 7.4%
56.07/49.04 c (35,0) c 35 192 69191 91837 2611230 38746 11.9 3.6 8.9 7.5%
56.07/49.04 c (35,0) c
56.07/49.04 c (35,0) c
56.07/49.04 c (35,0) c variables : 91837 (init 103984, after simp 101184, 0 non-decs, 200 csp)
56.07/49.04 c (35,0) c clauses : 2611230 (init 2617904, after simp 2615104)
56.07/49.04 c (35,0) c restarts : 191 (360.37 confs/res, 50~3352 confs, 0 blks, 0 last)
56.07/49.04 c (35,0) c conflicts : 69191 (1989 /sec, 54.72% dconfs, 0.00% supp, trail 719.13w x 13.12h, jmp 1.28h)
56.07/49.04 c (35,0) c decisions : 91491 (0.8400 vdcy, 2629 /sec, 0.00% bin, rs 0.019 s)
56.07/49.04 c (35,0) c propagations : 118635593 (3409526 /sec, 1296.69 lits/dec, 55.10% o.a.)
56.07/49.04 c (35,0) c conflict literals : 1669995 (36.67% deleted; 1.18% by bin min, 0.019 s)
56.07/49.04 c (35,0) c len : 11.865 (15.00 for all, max 127, used 60)
56.07/49.04 c (35,0) c lbd : 3.628 (6.65 (5.11) for all, max 35, used 21, 1.314 stdev, 2.256 blk)
56.07/49.04 c (35,0) c amo : 0 (0 max, -nan avg, 0.000 s)
56.07/49.04 c (35,0) c simp dbs : 2 (0.178 s)
56.07/49.04 c (35,0) c reduce dbs : 3 (core-lbd 3, supp-lbd 9, 0.005 s)
56.07/49.04 c (35,0) c learnts : 38746 (23589 learnts removed, 34.09%)
56.07/49.04 c (35,0) c rewrite dbs : 0 (0/1 vars, 0+0 taut, 0+0 unit, 0.000 s)
56.07/49.04 c (35,0) c assigned lits : 0 (0/1 probed, 1 remains)
56.07/49.04 c (35,0) c premise updates : 2256336 (11.15 /lit)
56.07/49.04 c (35,0) c probed variables : 1 (0 pr, 1 eq, 0 fld, 0 pol, 0 nec, 0 cla, 0 amo)
56.07/49.04 c (35,0) c equiv variables : 1 (1 bin, 0 trn, 0 quat, 0 quin, 0 othr; 0 amo)
56.07/49.04 c (35,0) c lazy added bins : 1 (1 prop + 0 conf, 0.006s)
56.07/49.04 c (35,0) c unwatched lit elim: 8697 (0.01+0.50%, 414+8283 of 7735928+1669995)
56.07/49.04 c (35,0) c classified type : undef
56.07/49.04 c (35,0) c progress : 9.238 %
56.07/49.04 c (35,0) c
56.07/49.04 c (35,0) c [Statistics]
56.07/49.04 c (35,0) c learnts len learnts lbd lit blk size eq vars size
56.07/49.04 c (35,0) c tot 69190 69190 460157 1
56.07/49.04 c (35,0) c avg 15.001 5.115 2.256 2.000
56.07/49.04 c (35,0) c 1 12 ( 0.0%) 1326 ( 1.9%) 301011 (65.4%) 0 ( 0.0%)
56.07/49.04 c (35,0) c 2 50 ( 0.1%) 15686 (22.7%) 60588 (13.2%) 1 (100.0%)
56.07/49.04 c (35,0) c 3 1366 ( 2.0%) 8140 (11.8%) 29850 ( 6.5%) 0 ( 0.0%)
56.07/49.04 c (35,0) c 4 1466 ( 2.1%) 7999 (11.6%) 18364 ( 4.0%) 0 ( 0.0%)
56.07/49.04 c (35,0) c 5 6503 ( 9.4%) 7905 (11.4%) 11738 ( 2.6%) 0 ( 0.0%)
56.07/49.04 c (35,0) c 6 3741 ( 5.4%) 7305 (10.6%) 8261 ( 1.8%) 0 ( 0.0%)
56.07/49.04 c (35,0) c 7 3479 ( 5.0%) 6476 ( 9.4%) 6195 ( 1.3%) 0 ( 0.0%)
56.07/49.04 c (35,0) c 8 3418 ( 4.9%) 5132 ( 7.4%) 4632 ( 1.0%) 0 ( 0.0%)
56.07/49.04 c (35,0) c 9 3254 ( 4.7%) 3665 ( 5.3%) 3664 ( 0.8%) 0 ( 0.0%)
56.07/49.04 c (35,0) c 10 3075 ( 4.4%) 2463 ( 3.6%) 2846 ( 0.6%) 0 ( 0.0%)
56.07/49.04 c (35,0) c 11 3068 ( 4.4%) 1506 ( 2.2%) 2302 ( 0.5%) 0 ( 0.0%)
56.07/49.04 c (35,0) c 12 2827 ( 4.1%) 792 ( 1.1%) 1973 ( 0.4%) 0 ( 0.0%)
56.07/49.04 c (35,0) c 13 2677 ( 3.9%) 413 ( 0.6%) 1572 ( 0.3%) 0 ( 0.0%)
56.07/49.04 c (35,0) c 14 2628 ( 3.8%) 181 ( 0.3%) 1245 ( 0.3%) 0 ( 0.0%)
56.07/49.04 c (35,0) c 15 2596 ( 3.8%) 75 ( 0.1%) 1033 ( 0.2%) 0 ( 0.0%)
56.07/49.04 c (35,0) c 16 2535 ( 3.7%) 37 ( 0.1%) 849 ( 0.2%) 0 ( 0.0%)
56.07/49.04 c (35,0) c 17 2416 ( 3.5%) 34 ( 0.0%) 739 ( 0.2%) 0 ( 0.0%)
56.07/49.04 c (35,0) c 18 2307 ( 3.3%) 14 ( 0.0%) 597 ( 0.1%) 0 ( 0.0%)
56.07/49.04 c (35,0) c 19 2256 ( 3.3%) 17 ( 0.0%) 476 ( 0.1%) 0 ( 0.0%)
56.07/49.04 c (35,0) c 20 2146 ( 3.1%) 6 ( 0.0%) 420 ( 0.1%) 0 ( 0.0%)
56.07/49.04 c (35,0) c 21 1965 ( 2.8%) 4 ( 0.0%) 342 ( 0.1%) 0 ( 0.0%)
56.07/49.04 c (35,0) c 22 1802 ( 2.6%) 4 ( 0.0%) 305 ( 0.1%) 0 ( 0.0%)
56.07/49.04 c (35,0) c 23 1718 ( 2.5%) 2 ( 0.0%) 200 ( 0.0%) 0 ( 0.0%)
56.07/49.04 c (35,0) c 24 1586 ( 2.3%) 0 ( 0.0%) 169 ( 0.0%) 0 ( 0.0%)
56.07/49.04 c (35,0) c 25 1496 ( 2.2%) 1 ( 0.0%) 142 ( 0.0%) 0 ( 0.0%)
56.07/49.04 c (35,0) c 26 1197 ( 1.7%) 1 ( 0.0%) 115 ( 0.0%) 0 ( 0.0%)
56.07/49.04 c (35,0) c 27 1092 ( 1.6%) 0 ( 0.0%) 91 ( 0.0%) 0 ( 0.0%)
56.07/49.04 c (35,0) c 28 951 ( 1.4%) 1 ( 0.0%) 70 ( 0.0%) 0 ( 0.0%)
56.07/49.04 c (35,0) c 29 819 ( 1.2%) 0 ( 0.0%) 49 ( 0.0%) 0 ( 0.0%)
56.07/49.04 c (35,0) c 30 4744 ( 6.9%) 5 ( 0.0%) 319 ( 0.1%) 0 ( 0.0%)
56.07/49.04 c (35,0) c
56.07/49.04 c (35,0) c [LBD Statistics]
56.07/49.04 c (35,0) c LBD used lbd used clause lbd unused clause lbd
56.07/49.04 c (35,0) c tot 945584 42982 26197
56.07/49.04 c (35,0) c avg 2.495 3.986 6.968
56.07/49.04 c (35,0) c 1 46305 ( 4.9/ 4.9%) 1314 ( 3.1/ 3.1%) 0 ( 0.0/ 0.0%)
56.07/49.04 c (35,0) c 2 659137 (69.7/74.6%) 15118 (35.2/38.2%) 569 ( 2.2/ 2.2%)
56.07/49.04 c (35,0) c 3 121100 (12.8/87.4%) 6892 (16.0/54.3%) 1248 ( 4.8/ 6.9%)
56.07/49.04 c (35,0) c 4 55036 ( 5.8/93.2%) 5548 (12.9/67.2%) 2451 ( 9.4/16.3%)
56.07/49.04 c (35,0) c 5 28185 ( 3.0/96.2%) 4305 (10.0/77.2%) 3600 (13.7/30.0%)
56.07/49.04 c (35,0) c 6 14024 ( 1.5/97.7%) 3174 ( 7.4/84.6%) 4131 (15.8/45.8%)
56.07/49.04 c (35,0) c 7 8307 ( 0.9/98.6%) 2391 ( 5.6/90.1%) 4085 (15.6/61.4%)
56.07/49.04 c (35,0) c 8 5086 ( 0.5/99.1%) 1684 ( 3.9/94.1%) 3448 (13.2/74.6%)
56.07/49.04 c (35,0) c 9 3398 ( 0.4/99.5%) 1088 ( 2.5/96.6%) 2577 ( 9.8/84.4%)
56.07/49.04 c (35,0) c 10 2068 ( 0.2/99.7%) 666 ( 1.5/98.1%) 1797 ( 6.9/91.3%)
56.07/49.04 c (35,0) c 11 1298 ( 0.1/99.8%) 380 ( 0.9/99.0%) 1126 ( 4.3/95.6%)
56.07/49.04 c (35,0) c 12 776 ( 0.1/99.9%) 211 ( 0.5/99.5%) 581 ( 2.2/97.8%)
56.07/49.04 c (35,0) c 13 450 ( 0.0/100.0%) 113 ( 0.3/99.8%) 300 ( 1.1/98.9%)
56.07/49.04 c (35,0) c 14 208 ( 0.0/100.0%) 49 ( 0.1/99.9%) 132 ( 0.5/99.4%)
56.07/49.04 c (35,0) c 15 94 ( 0.0/100.0%) 16 ( 0.0/99.9%) 59 ( 0.2/99.6%)
56.07/49.04 c (35,0) c 16 42 ( 0.0/100.0%) 10 ( 0.0/99.9%) 27 ( 0.1/99.7%)
56.07/49.04 c (35,0) c 17 37 ( 0.0/100.0%) 11 ( 0.0/100.0%) 23 ( 0.1/99.8%)
56.07/49.04 c (35,0) c 18 14 ( 0.0/100.0%) 4 ( 0.0/100.0%) 10 ( 0.0/99.9%)
56.07/49.04 c (35,0) c 19 10 ( 0.0/100.0%) 7 ( 0.0/100.0%) 10 ( 0.0/99.9%)
56.07/49.04 c (35,0) c 20 6 ( 0.0/100.0%) 0 ( 0.0/100.0%) 6 ( 0.0/99.9%)
56.07/49.04 c (35,0) c 21 3 ( 0.0/100.0%) 1 ( 0.0/100.0%) 3 ( 0.0/99.9%)
56.07/49.04 c (35,0) c 22 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 4 ( 0.0/100.0%)
56.07/49.04 c (35,0) c 23 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 2 ( 0.0/100.0%)
56.07/49.04 c (35,0) c 24 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
56.07/49.04 c (35,0) c 25 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 1 ( 0.0/100.0%)
56.07/49.04 c (35,0) c 26 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 1 ( 0.0/100.0%)
56.07/49.04 c (35,0) c 27 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
56.07/49.04 c (35,0) c 28 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 1 ( 0.0/100.0%)
56.07/49.04 c (35,0) c 29 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
56.07/49.04 c (35,0) c 30 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 3 ( 0.0/100.0%)
56.07/49.04 c (35,0) c 31 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 1 ( 0.0/100.0%)
56.07/49.04 c (35,0) c 32 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
56.07/49.04 c (35,0) c 33 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
56.07/49.04 c (35,0) c 34 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
56.07/49.04 c (35,0) c 35 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 1 ( 0.0/100.0%)
56.07/49.04 c (35,0) c
56.07/49.04 c (35,0) c Memory used : 418.00 MB
56.07/49.04 c (35,0) c CPU time : 34.796 s
56.07/49.04 c (35,0) c Real time : 35.216 s
56.07/49.04 c (35,0) c
56.07/49.04 c (35,0) s UNSATISFIABLE
56.07/49.05 c (35,0) SatSolver.solve End
56.07/49.05 c (35,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
56.07/49.05 c (35,0) Show results Begin
56.07/49.05 s UNSATISFIABLE
56.07/49.05 c (35,0) Show results End
56.07/49.05 c (35,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
56.07/49.05 c (35,0) 35,35,STOP-AFTER(ALL)
56.07/49.05 c END-Prog: Thu Sep 12 16:08: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 (15391 MiB free)
memory of node 1: 16384 MiB (4809 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4388220-1568297280/watcher-4388220-1568297280 -o /tmp/evaluation-result-4388220-1568297280/solver-4388220-1568297280 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node102-1568285939-6430 --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-4388220-1568297280.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=10143, runsolver pid=10140
[startup+0.100166 s]*
/proc/loadavg: 1.97 2.01 2.22 3/230 10160
/proc/meminfo: memFree=20625792/32770624 swapFree=66992932/67108860
[pid=10143] ppid=10140 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/10143/stat : 10143 (scop.sh) S 10140 10143 5522 0 -1 4202496 556 322 0 0 0 0 0 0 20 0 1 0 405979454 115843072 349 33554432000 4194304 5098028 140721759025200 140721759022456 140408049230460 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 32079872 140721759032104 140721759032432 140721759032432 140721759035341 0
/proc/10143/statm: 28282 349 296 221 0 87 0
[pid=10146] ppid=10143 vsize=15012696 memory=72552 CPUtime=0.11 cores=0,2,4,6
/proc/10146/stat : 10146 (java) S 10143 10143 5522 0 -1 1077944320 6453 0 0 0 9 2 0 0 20 0 15 0 405979454 15373000704 18138 33554432000 4194304 4196468 140732937729600 140732937712144 140453221031671 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 27086848 140732937732846 140732937733274 140732937733274 140732937736143 0
/proc/10146/statm: 3753174 18138 2893 1 0 3715579 0
[pid=10146/tid=10147] ppid=10143 vsize=15012696 memory=7100839861464433778 CPUtime=0.09 cores=0,2,4,6
/proc/10146/task/10147/stat : 10147 (java) R 10143 10143 5522 0 -1 4202560 4327 0 0 0 7 2 0 0 20 0 15 0 405979454 15373000704 18204 33554432000 4194304 4196468 140732937729600 140453192826832 140453201308496 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27086848 140732937732846 140732937733274 140732937733274 140732937736143 0
[pid=10146/tid=10148] ppid=10143 vsize=15012696 memory=-3689451258167578675 CPUtime=0 cores=0,2,4,6
/proc/10146/task/10148/stat : 10148 (java) S 10143 10143 5522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405979456 15373000704 18204 33554432000 4194304 4196468 140732937729600 140453225274256 140453221041877 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27086848 140732937732846 140732937733274 140732937733274 140732937736143 0
[pid=10146/tid=10149] ppid=10143 vsize=15012696 memory=140151676692096 CPUtime=0 cores=0,2,4,6
/proc/10146/task/10149/stat : 10149 (java) S 10143 10143 5522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405979456 15373000704 18204 33554432000 4194304 4196468 140732937729600 140453016357648 140453221041877 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27086848 140732937732846 140732937733274 140732937733274 140732937736143 0
[pid=10146/tid=10150] ppid=10143 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10146/task/10150/stat : 10150 (java) S 10143 10143 5522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405979456 15373000704 18204 33554432000 4194304 4196468 140732937729600 140453015305360 140453221041877 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27086848 140732937732846 140732937733274 140732937733274 140732937736143 0
[pid=10146/tid=10151] ppid=10143 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10146/task/10151/stat : 10151 (java) S 10143 10143 5522 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405979456 15373000704 18204 33554432000 4194304 4196468 140732937729600 140452679728144 140453221041877 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27086848 140732937732846 140732937733274 140732937733274 140732937736143 0
[pid=10146/tid=10152] ppid=10143 vsize=15012696 memory=140151676692096 CPUtime=0 cores=0,2,4,6
/proc/10146/task/10152/stat : 10152 (java) S 10143 10143 5522 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405979457 15373000704 18204 33554432000 4194304 4196468 140732937729600 140451990091888 140453221042818 0 0 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27086848 140732937732846 140732937733274 140732937733274 140732937736143 0
[pid=10146/tid=10153] ppid=10143 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10146/task/10153/stat : 10153 (java) S 10143 10143 5522 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405979458 15373000704 18204 33554432000 4194304 4196468 140732937729600 140451873022752 140453221041877 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27086848 140732937732846 140732937733274 140732937733274 140732937736143 0
[pid=10146/tid=10154] ppid=10143 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10146/task/10154/stat : 10154 (java) S 10143 10143 5522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405979458 15373000704 18204 33554432000 4194304 4196468 140732937729600 140451604587632 140453221041877 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27086848 140732937732846 140732937733274 140732937733274 140732937736143 0
[pid=10146/tid=10155] ppid=10143 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10146/task/10155/stat : 10155 (java) S 10143 10143 5522 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405979460 15373000704 18204 33554432000 4194304 4196468 140732937729600 140451230079056 140453221050267 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27086848 140732937732846 140732937733274 140732937733274 140732937736143 0
[pid=10146/tid=10156] ppid=10143 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10146/task/10156/stat : 10156 (java) S 10143 10143 5522 0 -1 1077944384 312 0 0 0 0 0 0 0 20 0 15 0 405979460 15373000704 18204 33554432000 4194304 4196468 140732937729600 140451989039728 140453221042818 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27086848 140732937732846 140732937733274 140732937733274 140732937736143 0
[pid=10146/tid=10157] ppid=10143 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10146/task/10157/stat : 10157 (java) S 10143 10143 5522 0 -1 1077944384 131 0 0 0 0 0 0 0 20 0 15 0 405979460 15373000704 18204 33554432000 4194304 4196468 140732937729600 140451987986928 140453221042818 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27086848 140732937732846 140732937733274 140732937733274 140732937736143 0
[pid=10146/tid=10158] ppid=10143 vsize=15012696 memory=140151676692096 CPUtime=0.01 cores=0,2,4,6
/proc/10146/task/10158/stat : 10158 (java) R 10143 10143 5522 0 -1 4202560 434 0 0 0 1 0 0 0 20 0 15 0 405979460 15373000704 18204 33554432000 4194304 4196468 140732937729600 140451986931848 140453221043606 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27086848 140732937732846 140732937733274 140732937733274 140732937736143 0
[pid=10146/tid=10159] ppid=10143 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10146/task/10159/stat : 10159 (java) S 10143 10143 5522 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405979461 15373000704 18204 33554432000 4194304 4196468 140732937729600 140450732174304 140453221041877 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27086848 140732937732846 140732937733274 140732937733274 140732937736143 0
[pid=10146/tid=10160] ppid=10143 vsize=15012696 memory=140151676692096 CPUtime=0 cores=0,2,4,6
/proc/10146/task/10160/stat : 10160 (java) S 10143 10143 5522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405979461 15373000704 18204 33554432000 4194304 4196468 140732937729600 140451985881520 140453221042818 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27086848 140732937732846 140732937733274 140732937733274 140732937736143 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 73948 KiB
[startup+0.210724 s]*
/proc/loadavg: 1.97 2.01 2.22 3/230 10160
/proc/meminfo: memFree=20607524/32770624 swapFree=66992932/67108860
[pid=10143] ppid=10140 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/10143/stat : 10143 (scop.sh) S 10140 10143 5522 0 -1 4202496 556 322 0 0 0 0 0 0 20 0 1 0 405979454 115843072 349 33554432000 4194304 5098028 140721759025200 140721759022456 140408049230460 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 32079872 140721759032104 140721759032432 140721759032432 140721759035341 0
/proc/10143/statm: 28282 349 296 221 0 87 0
[pid=10146] ppid=10143 vsize=15012696 memory=87892 CPUtime=0.26 cores=0,2,4,6
/proc/10146/stat : 10146 (java) S 10143 10143 5522 0 -1 1077944320 11566 0 0 0 22 4 0 0 20 0 15 0 405979454 15373000704 21973 33554432000 4194304 4196468 140732937729600 140732937712144 140453221031671 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 27086848 140732937732846 140732937733274 140732937733274 140732937736143 0
/proc/10146/statm: 3753174 21973 2948 1 0 3715579 0
[pid=10146/tid=10147] ppid=10143 vsize=15012696 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/10146/task/10147/stat : 10147 (java) R 10143 10143 5522 0 -1 4202560 9308 0 0 0 17 3 0 0 20 0 15 0 405979454 15373000704 21973 33554432000 4194304 4196468 140732937729600 140453192853000 140453221053597 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27086848 140732937732846 140732937733274 140732937733274 140732937736143 0
[pid=10146/tid=10148] ppid=10143 vsize=15012696 memory=2809255 CPUtime=0 cores=0,2,4,6
/proc/10146/task/10148/stat : 10148 (java) S 10143 10143 5522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405979456 15373000704 21973 33554432000 4194304 4196468 140732937729600 140453225274256 140453221041877 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27086848 140732937732846 140732937733274 140732937733274 140732937736143 0
[pid=10146/tid=10149] ppid=10143 vsize=15012696 memory=3689908453238909059 CPUtime=0 cores=0,2,4,6
/proc/10146/task/10149/stat : 10149 (java) S 10143 10143 5522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405979456 15373000704 21973 33554432000 4194304 4196468 140732937729600 140453016357648 140453221041877 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27086848 140732937732846 140732937733274 140732937733274 140732937736143 0
[pid=10146/tid=10150] ppid=10143 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10146/task/10150/stat : 10150 (java) S 10143 10143 5522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405979456 15373000704 21973 33554432000 4194304 4196468 140732937729600 140453015305360 140453221041877 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27086848 140732937732846 140732937733274 140732937733274 140732937736143 0
[pid=10146/tid=10151] ppid=10143 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10146/task/10151/stat : 10151 (java) S 10143 10143 5522 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405979456 15373000704 21973 33554432000 4194304 4196468 140732937729600 140452679728144 140453221041877 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27086848 140732937732846 140732937733274 140732937733274 140732937736143 0
[pid=10146/tid=10152] ppid=10143 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10146/task/10152/stat : 10152 (java) S 10143 10143 5522 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405979457 15373000704 21973 33554432000 4194304 4196468 140732937729600 140451990091888 140453221042818 0 0 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27086848 140732937732846 140732937733274 140732937733274 140732937736143 0
[pid=10146/tid=10153] ppid=10143 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10146/task/10153/stat : 10153 (java) S 10143 10143 5522 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405979458 15373000704 21973 33554432000 4194304 4196468 140732937729600 140451873022752 140453221041877 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27086848 140732937732846 140732937733274 140732937733274 140732937736143 0
[pid=10146/tid=10154] ppid=10143 vsize=15012696 memory=140151676692096 CPUtime=0 cores=0,2,4,6
/proc/10146/task/10154/stat : 10154 (java) S 10143 10143 5522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405979458 15373000704 21973 33554432000 4194304 4196468 140732937729600 140451604587632 140453221041877 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27086848 140732937732846 140732937733274 140732937733274 140732937736143 0
[pid=10146/tid=10155] ppid=10143 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10146/task/10155/stat : 10155 (java) S 10143 10143 5522 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405979460 15373000704 21973 33554432000 4194304 4196468 140732937729600 140451230079056 140453221050267 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27086848 140732937732846 140732937733274 140732937733274 140732937736143 0
[pid=10146/tid=10156] ppid=10143 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10146/task/10156/stat : 10156 (java) S 10143 10143 5522 0 -1 1077944384 323 0 0 0 0 0 0 0 20 0 15 0 405979460 15373000704 21973 33554432000 4194304 4196468 140732937729600 140451989039728 140453221042818 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27086848 140732937732846 140732937733274 140732937733274 140732937736143 0
[pid=10146/tid=10157] ppid=10143 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10146/task/10157/stat : 10157 (java) S 10143 10143 5522 0 -1 1077944384 164 0 0 0 0 0 0 0 20 0 15 0 405979460 15373000704 21973 33554432000 4194304 4196468 140732937729600 140451987986928 140453221042818 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27086848 140732937732846 140732937733274 140732937733274 140732937736143 0
[pid=10146/tid=10158] ppid=10143 vsize=15012696 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/10146/task/10158/stat : 10158 (java) R 10143 10143 5522 0 -1 4202560 441 0 0 0 2 0 0 0 20 0 15 0 405979460 15373000704 21973 33554432000 4194304 4196468 140732937729600 140451986934640 140453204381860 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27086848 140732937732846 140732937733274 140732937733274 140732937736143 0
[pid=10146/tid=10159] ppid=10143 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10146/task/10159/stat : 10159 (java) S 10143 10143 5522 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405979461 15373000704 21973 33554432000 4194304 4196468 140732937729600 140450732174304 140453221041877 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27086848 140732937732846 140732937733274 140732937733274 140732937736143 0
[pid=10146/tid=10160] ppid=10143 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10146/task/10160/stat : 10160 (java) S 10143 10143 5522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405979461 15373000704 21973 33554432000 4194304 4196468 140732937729600 140451985881520 140453221042818 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27086848 140732937732846 140732937733274 140732937733274 140732937736143 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 89288 KiB
[startup+0.310496 s]*
/proc/loadavg: 1.97 2.01 2.22 4/230 10160
/proc/meminfo: memFree=20603988/32770624 swapFree=66992932/67108860
[pid=10143] ppid=10140 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/10143/stat : 10143 (scop.sh) S 10140 10143 5522 0 -1 4202496 556 322 0 0 0 0 0 0 20 0 1 0 405979454 115843072 349 33554432000 4194304 5098028 140721759025200 140721759022456 140408049230460 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 32079872 140721759032104 140721759032432 140721759032432 140721759035341 0
/proc/10143/statm: 28282 349 296 221 0 87 0
[pid=10146] ppid=10143 vsize=15012696 memory=92172 CPUtime=0.43 cores=0,2,4,6
/proc/10146/stat : 10146 (java) S 10143 10143 5522 0 -1 1077944320 12549 0 0 0 39 4 0 0 20 0 15 0 405979454 15373000704 23043 33554432000 4194304 4196468 140732937729600 140732937712144 140453221031671 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 27086848 140732937732846 140732937733274 140732937733274 140732937736143 0
/proc/10146/statm: 3753174 23043 3064 1 0 3715579 0
[pid=10146/tid=10147] ppid=10143 vsize=15012696 memory=7883960649037381690 CPUtime=0.3 cores=0,2,4,6
/proc/10146/task/10147/stat : 10147 (java) R 10143 10143 5522 0 -1 4202560 10081 0 0 0 26 4 0 0 20 0 15 0 405979454 15373000704 23043 33554432000 4194304 4196468 140732937729600 140453192814688 140453206197310 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27086848 140732937732846 140732937733274 140732937733274 140732937736143 0
[pid=10146/tid=10148] ppid=10143 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10146/task/10148/stat : 10148 (java) S 10143 10143 5522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405979456 15373000704 23043 33554432000 4194304 4196468 140732937729600 140453225274256 140453221041877 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27086848 140732937732846 140732937733274 140732937733274 140732937736143 0
[pid=10146/tid=10149] ppid=10143 vsize=15012696 memory=2948187 CPUtime=0 cores=0,2,4,6
/proc/10146/task/10149/stat : 10149 (java) S 10143 10143 5522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405979456 15373000704 23043 33554432000 4194304 4196468 140732937729600 140453016357648 140453221041877 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27086848 140732937732846 140732937733274 140732937733274 140732937736143 0
[pid=10146/tid=10150] ppid=10143 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10146/task/10150/stat : 10150 (java) S 10143 10143 5522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405979456 15373000704 23043 33554432000 4194304 4196468 140732937729600 140453015305360 140453221041877 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27086848 140732937732846 140732937733274 140732937733274 140732937736143 0
[pid=10146/tid=10151] ppid=10143 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10146/task/10151/stat : 10151 (java) S 10143 10143 5522 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405979456 15373000704 23043 33554432000 4194304 4196468 140732937729600 140452679728144 140453221041877 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27086848 140732937732846 140732937733274 140732937733274 140732937736143 0
[pid=10146/tid=10152] ppid=10143 vsize=15012696 memory=140151676692096 CPUtime=0 cores=0,2,4,6
/proc/10146/task/10152/stat : 10152 (java) S 10143 10143 5522 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405979457 15373000704 23043 33554432000 4194304 4196468 140732937729600 140451990091888 140453221042818 0 0 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27086848 140732937732846 140732937733274 140732937733274 140732937736143 0
[pid=10146/tid=10153] ppid=10143 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10146/task/10153/stat : 10153 (java) S 10143 10143 5522 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405979458 15373000704 23043 33554432000 4194304 4196468 140732937729600 140451873022752 140453221041877 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27086848 140732937732846 140732937733274 140732937733274 140732937736143 0
[pid=10146/tid=10154] ppid=10143 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10146/task/10154/stat : 10154 (java) S 10143 10143 5522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405979458 15373000704 23043 33554432000 4194304 4196468 140732937729600 140451604587632 140453221041877 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27086848 140732937732846 140732937733274 140732937733274 140732937736143 0
[pid=10146/tid=10155] ppid=10143 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10146/task/10155/stat : 10155 (java) S 10143 10143 5522 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405979460 15373000704 23043 33554432000 4194304 4196468 140732937729600 140451230079056 140453221050267 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27086848 140732937732846 140732937733274 140732937733274 140732937736143 0
[pid=10146/tid=10156] ppid=10143 vsize=15012696 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/10146/task/10156/stat : 10156 (java) S 10143 10143 5522 0 -1 1077944384 430 0 0 0 2 0 0 0 20 0 15 0 405979460 15373000704 23043 33554432000 4194304 4196468 140732937729600 140451989039728 140453221042818 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27086848 140732937732846 140732937733274 140732937733274 140732937736143 0
[pid=10146/tid=10157] ppid=10143 vsize=15012696 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/10146/task/10157/stat : 10157 (java) S 10143 10143 5522 0 -1 1077944384 216 0 0 0 2 0 0 0 20 0 15 0 405979460 15373000704 23043 33554432000 4194304 4196468 140732937729600 140451987986928 140453221042818 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27086848 140732937732846 140732937733274 140732937733274 140732937736143 0
[pid=10146/tid=10158] ppid=10143 vsize=15012696 memory=140151676692096 CPUtime=0.07 cores=0,2,4,6
/proc/10146/task/10158/stat : 10158 (java) S 10143 10143 5522 0 -1 1077944384 490 0 0 0 7 0 0 0 20 0 15 0 405979460 15373000704 23043 33554432000 4194304 4196468 140732937729600 140451986934640 140453221042818 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27086848 140732937732846 140732937733274 140732937733274 140732937736143 0
[pid=10146/tid=10159] ppid=10143 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10146/task/10159/stat : 10159 (java) S 10143 10143 5522 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405979461 15373000704 23043 33554432000 4194304 4196468 140732937729600 140450732174304 140453221041877 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27086848 140732937732846 140732937733274 140732937733274 140732937736143 0
[pid=10146/tid=10160] ppid=10143 vsize=15012696 memory=140151676692096 CPUtime=0 cores=0,2,4,6
/proc/10146/task/10160/stat : 10160 (java) S 10143 10143 5522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405979461 15373000704 23043 33554432000 4194304 4196468 140732937729600 140451985881520 140453221042818 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27086848 140732937732846 140732937733274 140732937733274 140732937736143 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 93568 KiB
[startup+0.701557 s]
/proc/loadavg: 1.97 2.01 2.22 4/230 10160
/proc/meminfo: memFree=20583028/32770624 swapFree=66992932/67108860
[pid=10143] ppid=10140 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/10143/stat : 10143 (scop.sh) S 10140 10143 5522 0 -1 4202496 556 322 0 0 0 0 0 0 20 0 1 0 405979454 115843072 349 33554432000 4194304 5098028 140721759025200 140721759022456 140408049230460 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 32079872 140721759032104 140721759032432 140721759032432 140721759035341 0
/proc/10143/statm: 28282 349 296 221 0 87 0
[pid=10146] ppid=10143 vsize=15018968 memory=129040 CPUtime=1.01 cores=0,2,4,6
/proc/10146/stat : 10146 (java) S 10143 10143 5522 0 -1 1077944320 19580 0 0 0 95 6 0 0 20 0 15 0 405979454 15379423232 32260 33554432000 4194304 4196468 140732937729600 140732937712144 140453221031671 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 27086848 140732937732846 140732937733274 140732937733274 140732937736143 0
/proc/10146/statm: 3754742 32260 3184 1 0 3716091 0
[pid=10146/tid=10147] ppid=10143 vsize=15018968 memory=2124 CPUtime=0.67 cores=0,2,4,6
/proc/10146/task/10147/stat : 10147 (java) R 10143 10143 5522 0 -1 4202560 16650 0 0 0 62 5 0 0 20 0 15 0 405979454 15379423232 32260 33554432000 4194304 4196468 140732937729600 140453192869648 140452697402828 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27086848 140732937732846 140732937733274 140732937733274 140732937736143 0
[pid=10146/tid=10148] ppid=10143 vsize=15018968 memory=1556 CPUtime=0 cores=0,2,4,6
/proc/10146/task/10148/stat : 10148 (java) S 10143 10143 5522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405979456 15379423232 32260 33554432000 4194304 4196468 140732937729600 140453225274256 140453221041877 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27086848 140732937732846 140732937733274 140732937733274 140732937736143 0
[pid=10146/tid=10149] ppid=10143 vsize=15018968 memory=496 CPUtime=0 cores=0,2,4,6
/proc/10146/task/10149/stat : 10149 (java) S 10143 10143 5522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405979456 15379423232 32260 33554432000 4194304 4196468 140732937729600 140453016357648 140453221041877 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27086848 140732937732846 140732937733274 140732937733274 140732937736143 0
[pid=10146/tid=10150] ppid=10143 vsize=15018968 memory=928 CPUtime=0 cores=0,2,4,6
/proc/10146/task/10150/stat : 10150 (java) S 10143 10143 5522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405979456 15379423232 32260 33554432000 4194304 4196468 140732937729600 140453015305360 140453221041877 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27086848 140732937732846 140732937733274 140732937733274 140732937736143 0
[pid=10146/tid=10151] ppid=10143 vsize=15018968 memory=1604 CPUtime=0 cores=0,2,4,6
/proc/10146/task/10151/stat : 10151 (java) S 10143 10143 5522 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405979456 15379423232 32260 33554432000 4194304 4196468 140732937729600 140452679728144 140453221041877 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27086848 140732937732846 140732937733274 140732937733274 140732937736143 0
[pid=10146/tid=10152] ppid=10143 vsize=15018968 memory=1980 CPUtime=0 cores=0,2,4,6
/proc/10146/task/10152/stat : 10152 (java) S 10143 10143 5522 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 405979457 15379423232 32260 33554432000 4194304 4196468 140732937729600 140451990091888 140453221042818 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27086848 140732937732846 140732937733274 140732937733274 140732937736143 0
[pid=10146/tid=10153] ppid=10143 vsize=15018968 memory=2356 CPUtime=0 cores=0,2,4,6
/proc/10146/task/10153/stat : 10153 (java) S 10143 10143 5522 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405979458 15379423232 32260 33554432000 4194304 4196468 140732937729600 140451873022752 140453221041877 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27086848 140732937732846 140732937733274 140732937733274 140732937736143 0
[pid=10146/tid=10154] ppid=10143 vsize=15018968 memory=1440 CPUtime=0 cores=0,2,4,6
/proc/10146/task/10154/stat : 10154 (java) S 10143 10143 5522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405979458 15379423232 32260 33554432000 4194304 4196468 140732937729600 140451604587632 140453221041877 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27086848 140732937732846 140732937733274 140732937733274 140732937736143 0
[pid=10146/tid=10155] ppid=10143 vsize=15018968 memory=820 CPUtime=0 cores=0,2,4,6
/proc/10146/task/10155/stat : 10155 (java) S 10143 10143 5522 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405979460 15379423232 32260 33554432000 4194304 4196468 140732937729600 140451230079056 140453221050267 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27086848 140732937732846 140732937733274 140732937733274 140732937736143 0
[pid=10146/tid=10156] ppid=10143 vsize=15018968 memory=7302135314614015843 CPUtime=0.07 cores=0,2,4,6
/proc/10146/task/10156/stat : 10156 (java) R 10143 10143 5522 0 -1 1077944384 519 0 0 0 7 0 0 0 20 0 15 0 405979460 15379423232 32260 33554432000 4194304 4196468 140732937729600 140451989039728 140453221042818 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27086848 140732937732846 140732937733274 140732937733274 140732937736143 0
[pid=10146/tid=10157] ppid=10143 vsize=15018968 memory=6942687306850200426 CPUtime=0.08 cores=0,2,4,6
/proc/10146/task/10157/stat : 10157 (java) R 10143 10143 5522 0 -1 4202560 448 0 0 0 8 0 0 0 20 0 15 0 405979460 15379423232 32260 33554432000 4194304 4196468 140732937729600 140451987986928 140453221043606 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27086848 140732937732846 140732937733274 140732937733274 140732937736143 0
[pid=10146/tid=10158] ppid=10143 vsize=15018968 memory=7444819964895188053 CPUtime=0.15 cores=0,2,4,6
/proc/10146/task/10158/stat : 10158 (java) R 10143 10143 5522 0 -1 4202560 628 0 0 0 15 0 0 0 20 0 15 0 405979460 15379423232 32260 33554432000 4194304 4196468 140732937729600 140451986932312 140453199182472 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27086848 140732937732846 140732937733274 140732937733274 140732937736143 0
[pid=10146/tid=10159] ppid=10143 vsize=15018968 memory=4638778398333489488 CPUtime=0 cores=0,2,4,6
/proc/10146/task/10159/stat : 10159 (java) S 10143 10143 5522 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405979461 15379423232 32260 33554432000 4194304 4196468 140732937729600 140450732174304 140453221041877 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27086848 140732937732846 140732937733274 140732937733274 140732937736143 0
[pid=10146/tid=10160] ppid=10143 vsize=15018968 memory=7379825633957865584 CPUtime=0 cores=0,2,4,6
/proc/10146/task/10160/stat : 10160 (java) S 10143 10143 5522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405979461 15379423232 32260 33554432000 4194304 4196468 140732937729600 140451985881520 140453221042818 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27086848 140732937732846 140732937733274 140732937733274 140732937736143 0
Current children cumulated CPU time: 1.01 s
Current children cumulated vsize: 15132096 KiB
Current children cumulated memory: 130436 KiB
[startup+1.50076 s]
/proc/loadavg: 1.97 2.01 2.22 5/230 10160
/proc/meminfo: memFree=20542764/32770624 swapFree=66992932/67108860
[pid=10143] ppid=10140 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/10143/stat : 10143 (scop.sh) S 10140 10143 5522 0 -1 4202496 556 322 0 0 0 0 0 0 20 0 1 0 405979454 115843072 349 33554432000 4194304 5098028 140721759025200 140721759022456 140408049230460 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 32079872 140721759032104 140721759032432 140721759032432 140721759035341 0
/proc/10143/statm: 28282 349 296 221 0 87 0
################
# More data... #
################
Current children cumulated CPU time: 53.46 s
Current children cumulated vsize: 8593828 KiB
Current children cumulated memory: 364356 KiB
[startup+48.0009 s]*
/proc/loadavg: 3.25 2.34 2.32 6/234 10184
/proc/meminfo: memFree=19631784/32770624 swapFree=66992932/67108860
[pid=10143] ppid=10140 vsize=113128 memory=1476 CPUtime=19.6 cores=0,2,4,6
/proc/10143/stat : 10143 (scop.sh) S 10140 10143 5522 0 -1 4202496 584 31463 0 0 0 0 1887 73 20 0 1 0 405979454 115843072 369 33554432000 4194304 5098028 140721759025200 140721759021944 140408049230460 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 32079872 140721759032104 140721759032432 140721759032432 140721759035341 0
/proc/10143/statm: 28282 369 311 221 0 87 0
[pid=10161] ppid=10143 vsize=8199516 memory=123680 CPUtime=1.3 cores=0,2,4,6
/proc/10161/stat : 10161 (java) S 10143 10143 5522 0 -1 1077944320 20250 0 0 0 123 7 0 0 20 0 19 0 405980762 8396304384 30920 33554432000 4194304 4196468 140735951865424 140735951847968 139636376747767 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29171712 140735951868923 140735951869082 140735951869082 140735951871951 0
/proc/10161/statm: 2049879 30920 3208 1 0 2011223 0
[pid=10176] ppid=10161 vsize=281184 memory=239200 CPUtime=34.17 cores=0,2,4,6
/proc/10176/stat : 10176 (glueminisat-sim) R 10161 10143 5522 0 -1 4202496 216887 0 0 0 3377 40 0 0 20 0 1 0 405980836 287932416 59800 33554432000 4194304 4452875 140727917456176 140727917451272 140442403131271 0 4 0 8388610 0 0 0 17 0 0 0 0 0 0 6552096 6554264 8949760 140727917458271 140727917458471 140727917458471 140727917461421 0
/proc/10176/statm: 70296 59800 379 64 0 66500 0
[pid=10161/tid=10162] ppid=10143 vsize=8199516 memory=8317482817917895235 CPUtime=0.76 cores=0,2,4,6
/proc/10161/task/10162/stat : 10162 (java) S 10143 10143 5522 0 -1 1077944384 16730 0 0 0 71 5 0 0 20 0 19 0 405980763 8396304384 30920 33554432000 4194304 4196468 140735951865424 139636348587936 139636376757973 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29171712 140735951868923 140735951869082 140735951869082 140735951871951 0
[pid=10161/tid=10163] ppid=10143 vsize=8199516 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/10161/task/10163/stat : 10163 (java) S 10143 10143 5522 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405980764 8396304384 30920 33554432000 4194304 4196468 140735951865424 139636380990480 139636376757973 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29171712 140735951868923 140735951869082 140735951869082 140735951871951 0
[pid=10161/tid=10164] ppid=10143 vsize=8199516 memory=3440 CPUtime=0 cores=0,2,4,6
/proc/10161/task/10164/stat : 10164 (java) S 10143 10143 5522 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405980764 8396304384 30920 33554432000 4194304 4196468 140735951865424 139636181159056 139636376757973 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29171712 140735951868923 140735951869082 140735951869082 140735951871951 0
[pid=10161/tid=10165] ppid=10143 vsize=8199516 memory=2832 CPUtime=0 cores=0,2,4,6
/proc/10161/task/10165/stat : 10165 (java) S 10143 10143 5522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405980764 8396304384 30920 33554432000 4194304 4196468 140735951865424 139636180106000 139636376757973 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29171712 140735951868923 140735951869082 140735951869082 140735951871951 0
[pid=10161/tid=10166] ppid=10143 vsize=8199516 memory=5896 CPUtime=0 cores=0,2,4,6
/proc/10161/task/10166/stat : 10166 (java) S 10143 10143 5522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405980764 8396304384 30920 33554432000 4194304 4196468 140735951865424 139636179053456 139636376757973 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29171712 140735951868923 140735951869082 140735951869082 140735951871951 0
[pid=10161/tid=10167] ppid=10143 vsize=8199516 memory=664 CPUtime=0 cores=0,2,4,6
/proc/10161/task/10167/stat : 10167 (java) S 10143 10143 5522 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 19 0 405980765 8396304384 30920 33554432000 4194304 4196468 140735951865424 139635620542704 139636376758914 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29171712 140735951868923 140735951869082 140735951869082 140735951871951 0
[pid=10161/tid=10168] ppid=10143 vsize=8199516 memory=1156 CPUtime=0 cores=0,2,4,6
/proc/10161/task/10168/stat : 10168 (java) S 10143 10143 5522 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 405980766 8396304384 30920 33554432000 4194304 4196468 140735951865424 139635225257120 139636376757973 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29171712 140735951868923 140735951869082 140735951869082 140735951871951 0
[pid=10161/tid=10169] ppid=10143 vsize=8199516 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10161/task/10169/stat : 10169 (java) S 10143 10143 5522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405980766 8396304384 30920 33554432000 4194304 4196468 140735951865424 139634956821232 139636376757973 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29171712 140735951868923 140735951869082 140735951869082 140735951871951 0
[pid=10161/tid=10170] ppid=10143 vsize=8199516 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10161/task/10170/stat : 10170 (java) S 10143 10143 5522 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405980768 8396304384 30920 33554432000 4194304 4196468 140735951865424 139634582312912 139636376766363 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29171712 140735951868923 140735951869082 140735951869082 140735951871951 0
[pid=10161/tid=10171] ppid=10143 vsize=8199516 memory=3472468446980883781 CPUtime=0.16 cores=0,2,4,6
/proc/10161/task/10171/stat : 10171 (java) S 10143 10143 5522 0 -1 1077944384 1073 0 0 0 16 0 0 0 20 0 19 0 405980769 8396304384 30920 33554432000 4194304 4196468 140735951865424 139635619490544 139636376758914 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29171712 140735951868923 140735951869082 140735951869082 140735951871951 0
[pid=10161/tid=10172] ppid=10143 vsize=8199516 memory=280303123464144 CPUtime=0.09 cores=0,2,4,6
/proc/10161/task/10172/stat : 10172 (java) S 10143 10143 5522 0 -1 1077944384 319 0 0 0 9 0 0 0 20 0 19 0 405980769 8396304384 30920 33554432000 4194304 4196468 140735951865424 139635618438000 139636376758914 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29171712 140735951868923 140735951869082 140735951869082 140735951871951 0
[pid=10161/tid=10173] ppid=10143 vsize=8199516 memory=280303121727728 CPUtime=0.22 cores=0,2,4,6
/proc/10161/task/10173/stat : 10173 (java) S 10143 10143 5522 0 -1 1077944384 750 0 0 0 22 0 0 0 20 0 19 0 405980769 8396304384 30920 33554432000 4194304 4196468 140735951865424 139635617384944 139636376758914 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29171712 140735951868923 140735951869082 140735951869082 140735951871951 0
[pid=10161/tid=10174] ppid=10143 vsize=8199516 memory=-1088251628401078322 CPUtime=0 cores=0,2,4,6
/proc/10161/task/10174/stat : 10174 (java) S 10143 10143 5522 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405980769 8396304384 30920 33554432000 4194304 4196468 140735951865424 139634084408160 139636376757973 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29171712 140735951868923 140735951869082 140735951869082 140735951871951 0
[pid=10161/tid=10175] ppid=10143 vsize=8199516 memory=6944656592455097440 CPUtime=0.01 cores=0,2,4,6
/proc/10161/task/10175/stat : 10175 (java) S 10143 10143 5522 0 -1 1077944384 5 0 0 0 1 0 0 0 20 0 19 0 405980769 8396304384 30920 33554432000 4194304 4196468 140735951865424 139635616332336 139636376758914 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 6 0 0 6293624 6294260 29171712 140735951868923 140735951869082 140735951869082 140735951871951 0
[pid=10161/tid=10177] ppid=10143 vsize=8199516 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10161/task/10177/stat : 10177 (java) S 10143 10143 5522 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 405980836 8396304384 30920 33554432000 4194304 4196468 140735951865424 139636165137728 139636376772377 0 4 2 25189581 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 29171712 140735951868923 140735951869082 140735951869082 140735951871951 0
[pid=10161/tid=10179] ppid=10143 vsize=8199516 memory=183712931129247 CPUtime=0.01 cores=0,2,4,6
/proc/10161/task/10179/stat : 10179 (java) S 10143 10143 5522 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 19 0 405980836 8396304384 30920 33554432000 4194304 4196468 140735951865424 139633547521392 139636376769693 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 29171712 140735951868923 140735951869082 140735951869082 140735951871951 0
[pid=10161/tid=10180] ppid=10143 vsize=8199516 memory=-7824251494390978410 CPUtime=0 cores=0,2,4,6
/proc/10161/task/10180/stat : 10180 (java) S 10143 10143 5522 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 405980836 8396304384 30920 33554432000 4194304 4196468 140735951865424 139633413300272 139636376769693 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 29171712 140735951868923 140735951869082 140735951869082 140735951871951 0
[pid=10161/tid=10181] ppid=10143 vsize=8199516 memory=1764 CPUtime=0 cores=0,2,4,6
/proc/10161/task/10181/stat : 10181 (java) S 10143 10143 5522 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405980839 8396304384 30920 33554432000 4194304 4196468 140735951865424 139633010663216 139636376757973 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29171712 140735951868923 140735951869082 140735951869082 140735951871951 0
Current children cumulated CPU time: 55.07 s
Current children cumulated vsize: 8593828 KiB
Current children cumulated memory: 364356 KiB
[startup+48.8009 s]
/proc/loadavg: 3.25 2.34 2.32 6/234 10184
/proc/meminfo: memFree=19631784/32770624 swapFree=66992932/67108860
[pid=10143] ppid=10140 vsize=113128 memory=1476 CPUtime=19.6 cores=0,2,4,6
/proc/10143/stat : 10143 (scop.sh) S 10140 10143 5522 0 -1 4202496 584 31463 0 0 0 0 1887 73 20 0 1 0 405979454 115843072 369 33554432000 4194304 5098028 140721759025200 140721759021944 140408049230460 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 32079872 140721759032104 140721759032432 140721759032432 140721759035341 0
/proc/10143/statm: 28282 369 311 221 0 87 0
[pid=10161] ppid=10143 vsize=8199516 memory=123680 CPUtime=1.3 cores=0,2,4,6
/proc/10161/stat : 10161 (java) S 10143 10143 5522 0 -1 1077944320 20251 0 0 0 123 7 0 0 20 0 19 0 405980762 8396304384 30920 33554432000 4194304 4196468 140735951865424 140735951847968 139636376747767 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29171712 140735951868923 140735951869082 140735951869082 140735951871951 0
/proc/10161/statm: 2049879 30920 3208 1 0 2011223 0
[pid=10176] ppid=10161 vsize=281184 memory=239200 CPUtime=34.96 cores=0,2,4,6
/proc/10176/stat : 10176 (glueminisat-sim) R 10161 10143 5522 0 -1 4202496 216918 0 0 0 3455 41 0 0 20 0 1 0 405980836 287932416 59800 33554432000 4194304 4452875 140727917456176 140727917451208 140442403131271 0 4 0 8388610 0 0 0 17 0 0 0 0 0 0 6552096 6554264 8949760 140727917458271 140727917458471 140727917458471 140727917461421 0
/proc/10176/statm: 70296 59800 379 64 0 66500 0
[pid=10161/tid=10162] ppid=10143 vsize=8199516 memory=1804 CPUtime=0.76 cores=0,2,4,6
/proc/10161/task/10162/stat : 10162 (java) S 10143 10143 5522 0 -1 1077944384 16730 0 0 0 71 5 0 0 20 0 19 0 405980763 8396304384 30920 33554432000 4194304 4196468 140735951865424 139636348587936 139636376757973 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29171712 140735951868923 140735951869082 140735951869082 140735951871951 0
[pid=10161/tid=10163] ppid=10143 vsize=8199516 memory=916 CPUtime=0 cores=0,2,4,6
/proc/10161/task/10163/stat : 10163 (java) S 10143 10143 5522 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405980764 8396304384 30920 33554432000 4194304 4196468 140735951865424 139636380990480 139636376757973 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29171712 140735951868923 140735951869082 140735951869082 140735951871951 0
[pid=10161/tid=10164] ppid=10143 vsize=8199516 memory=3848 CPUtime=0 cores=0,2,4,6
/proc/10161/task/10164/stat : 10164 (java) S 10143 10143 5522 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405980764 8396304384 30920 33554432000 4194304 4196468 140735951865424 139636181159056 139636376757973 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29171712 140735951868923 140735951869082 140735951869082 140735951871951 0
[pid=10161/tid=10165] ppid=10143 vsize=8199516 memory=2856 CPUtime=0 cores=0,2,4,6
/proc/10161/task/10165/stat : 10165 (java) S 10143 10143 5522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405980764 8396304384 30920 33554432000 4194304 4196468 140735951865424 139636180106000 139636376757973 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29171712 140735951868923 140735951869082 140735951869082 140735951871951 0
[pid=10161/tid=10166] ppid=10143 vsize=8199516 memory=2924 CPUtime=0 cores=0,2,4,6
/proc/10161/task/10166/stat : 10166 (java) S 10143 10143 5522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405980764 8396304384 30920 33554432000 4194304 4196468 140735951865424 139636179053456 139636376757973 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29171712 140735951868923 140735951869082 140735951869082 140735951871951 0
[pid=10161/tid=10167] ppid=10143 vsize=8199516 memory=664 CPUtime=0 cores=0,2,4,6
/proc/10161/task/10167/stat : 10167 (java) S 10143 10143 5522 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 19 0 405980765 8396304384 30920 33554432000 4194304 4196468 140735951865424 139635620542704 139636376758914 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29171712 140735951868923 140735951869082 140735951869082 140735951871951 0
[pid=10161/tid=10168] ppid=10143 vsize=8199516 memory=1156 CPUtime=0 cores=0,2,4,6
/proc/10161/task/10168/stat : 10168 (java) S 10143 10143 5522 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 405980766 8396304384 30920 33554432000 4194304 4196468 140735951865424 139635225257120 139636376757973 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29171712 140735951868923 140735951869082 140735951869082 140735951871951 0
[pid=10161/tid=10169] ppid=10143 vsize=8199516 memory=1000 CPUtime=0 cores=0,2,4,6
/proc/10161/task/10169/stat : 10169 (java) S 10143 10143 5522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405980766 8396304384 30920 33554432000 4194304 4196468 140735951865424 139634956821232 139636376757973 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29171712 140735951868923 140735951869082 140735951869082 140735951871951 0
[pid=10161/tid=10170] ppid=10143 vsize=8199516 memory=14008 CPUtime=0 cores=0,2,4,6
/proc/10161/task/10170/stat : 10170 (java) S 10143 10143 5522 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405980768 8396304384 30920 33554432000 4194304 4196468 140735951865424 139634582312912 139636376766363 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29171712 140735951868923 140735951869082 140735951869082 140735951871951 0
[pid=10161/tid=10171] ppid=10143 vsize=8199516 memory=4916 CPUtime=0.16 cores=0,2,4,6
/proc/10161/task/10171/stat : 10171 (java) S 10143 10143 5522 0 -1 1077944384 1073 0 0 0 16 0 0 0 20 0 19 0 405980769 8396304384 30920 33554432000 4194304 4196468 140735951865424 139635619490544 139636376758914 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29171712 140735951868923 140735951869082 140735951869082 140735951871951 0
[pid=10161/tid=10172] ppid=10143 vsize=8199516 memory=12040 CPUtime=0.09 cores=0,2,4,6
/proc/10161/task/10172/stat : 10172 (java) S 10143 10143 5522 0 -1 1077944384 319 0 0 0 9 0 0 0 20 0 19 0 405980769 8396304384 30920 33554432000 4194304 4196468 140735951865424 139635618438000 139636376758914 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29171712 140735951868923 140735951869082 140735951869082 140735951871951 0
[pid=10161/tid=10173] ppid=10143 vsize=8199516 memory=2124 CPUtime=0.22 cores=0,2,4,6
/proc/10161/task/10173/stat : 10173 (java) S 10143 10143 5522 0 -1 1077944384 750 0 0 0 22 0 0 0 20 0 19 0 405980769 8396304384 30920 33554432000 4194304 4196468 140735951865424 139635617384944 139636376758914 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29171712 140735951868923 140735951869082 140735951869082 140735951871951 0
[pid=10161/tid=10174] ppid=10143 vsize=8199516 memory=1556 CPUtime=0 cores=0,2,4,6
/proc/10161/task/10174/stat : 10174 (java) S 10143 10143 5522 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405980769 8396304384 30920 33554432000 4194304 4196468 140735951865424 139634084408160 139636376757973 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29171712 140735951868923 140735951869082 140735951869082 140735951871951 0
[pid=10161/tid=10175] ppid=10143 vsize=8199516 memory=-7824251494390978410 CPUtime=0.01 cores=0,2,4,6
/proc/10161/task/10175/stat : 10175 (java) S 10143 10143 5522 0 -1 1077944384 5 0 0 0 1 0 0 0 20 0 19 0 405980769 8396304384 30920 33554432000 4194304 4196468 140735951865424 139635616332336 139636376758914 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 6 0 0 6293624 6294260 29171712 140735951868923 140735951869082 140735951869082 140735951871951 0
[pid=10161/tid=10177] ppid=10143 vsize=8199516 memory=1764 CPUtime=0 cores=0,2,4,6
/proc/10161/task/10177/stat : 10177 (java) S 10143 10143 5522 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 405980836 8396304384 30920 33554432000 4194304 4196468 140735951865424 139636165137728 139636376772377 0 4 2 25189581 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 29171712 140735951868923 140735951869082 140735951869082 140735951871951 0
[pid=10161/tid=10179] ppid=10143 vsize=8199516 memory=111632 CPUtime=0.01 cores=0,2,4,6
/proc/10161/task/10179/stat : 10179 (java) S 10143 10143 5522 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 19 0 405980836 8396304384 30920 33554432000 4194304 4196468 140735951865424 139633547521392 139636376769693 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 29171712 140735951868923 140735951869082 140735951869082 140735951871951 0
[pid=10161/tid=10180] ppid=10143 vsize=8199516 memory=808 CPUtime=0 cores=0,2,4,6
/proc/10161/task/10180/stat : 10180 (java) S 10143 10143 5522 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 405980836 8396304384 30920 33554432000 4194304 4196468 140735951865424 139633413300272 139636376769693 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 29171712 140735951868923 140735951869082 140735951869082 140735951871951 0
[pid=10161/tid=10181] ppid=10143 vsize=8199516 memory=1804 CPUtime=0 cores=0,2,4,6
/proc/10161/task/10181/stat : 10181 (java) S 10143 10143 5522 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405980839 8396304384 30920 33554432000 4194304 4196468 140735951865424 139633010663216 139636376757973 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29171712 140735951868923 140735951869082 140735951869082 140735951871951 0
Current children cumulated CPU time: 55.86 s
Current children cumulated vsize: 8593828 KiB
Current children cumulated memory: 364356 KiB
[startup+49.0009 s]*
/proc/loadavg: 3.25 2.34 2.32 6/234 10184
/proc/meminfo: memFree=19631784/32770624 swapFree=66992932/67108860
[pid=10143] ppid=10140 vsize=113128 memory=1476 CPUtime=19.6 cores=0,2,4,6
/proc/10143/stat : 10143 (scop.sh) S 10140 10143 5522 0 -1 4202496 584 31463 0 0 0 0 1887 73 20 0 1 0 405979454 115843072 369 33554432000 4194304 5098028 140721759025200 140721759021944 140408049230460 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 32079872 140721759032104 140721759032432 140721759032432 140721759035341 0
/proc/10143/statm: 28282 369 311 221 0 87 0
[pid=10161] ppid=10143 vsize=8199516 memory=123680 CPUtime=1.3 cores=0,2,4,6
/proc/10161/stat : 10161 (java) S 10143 10143 5522 0 -1 1077944320 20251 0 0 0 123 7 0 0 20 0 19 0 405980762 8396304384 30920 33554432000 4194304 4196468 140735951865424 140735951847968 139636376747767 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29171712 140735951868923 140735951869082 140735951869082 140735951871951 0
/proc/10161/statm: 2049879 30920 3208 1 0 2011223 0
[pid=10176] ppid=10161 vsize=281184 memory=239200 CPUtime=35.17 cores=0,2,4,6
/proc/10176/stat : 10176 (glueminisat-sim) R 10161 10143 5522 0 -1 4202496 216923 0 0 0 3476 41 0 0 20 0 1 0 405980836 287932416 59800 33554432000 4194304 4452875 140727917456176 140727917451208 140442403131271 0 4 0 8388610 0 0 0 17 0 0 0 0 0 0 6552096 6554264 8949760 140727917458271 140727917458471 140727917458471 140727917461421 0
/proc/10176/statm: 70296 59800 379 64 0 66500 0
[pid=10161/tid=10162] ppid=10143 vsize=8199516 memory=8317482817917895235 CPUtime=0.76 cores=0,2,4,6
/proc/10161/task/10162/stat : 10162 (java) S 10143 10143 5522 0 -1 1077944384 16730 0 0 0 71 5 0 0 20 0 19 0 405980763 8396304384 30920 33554432000 4194304 4196468 140735951865424 139636348587936 139636376757973 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29171712 140735951868923 140735951869082 140735951869082 140735951871951 0
[pid=10161/tid=10163] ppid=10143 vsize=8199516 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10161/task/10163/stat : 10163 (java) S 10143 10143 5522 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405980764 8396304384 30920 33554432000 4194304 4196468 140735951865424 139636380990480 139636376757973 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29171712 140735951868923 140735951869082 140735951869082 140735951871951 0
[pid=10161/tid=10164] ppid=10143 vsize=8199516 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10161/task/10164/stat : 10164 (java) S 10143 10143 5522 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405980764 8396304384 30920 33554432000 4194304 4196468 140735951865424 139636181159056 139636376757973 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29171712 140735951868923 140735951869082 140735951869082 140735951871951 0
[pid=10161/tid=10165] ppid=10143 vsize=8199516 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10161/task/10165/stat : 10165 (java) S 10143 10143 5522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405980764 8396304384 30920 33554432000 4194304 4196468 140735951865424 139636180106000 139636376757973 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29171712 140735951868923 140735951869082 140735951869082 140735951871951 0
[pid=10161/tid=10166] ppid=10143 vsize=8199516 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10161/task/10166/stat : 10166 (java) S 10143 10143 5522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405980764 8396304384 30920 33554432000 4194304 4196468 140735951865424 139636179053456 139636376757973 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29171712 140735951868923 140735951869082 140735951869082 140735951871951 0
[pid=10161/tid=10167] ppid=10143 vsize=8199516 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10161/task/10167/stat : 10167 (java) S 10143 10143 5522 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 19 0 405980765 8396304384 30920 33554432000 4194304 4196468 140735951865424 139635620542704 139636376758914 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29171712 140735951868923 140735951869082 140735951869082 140735951871951 0
[pid=10161/tid=10168] ppid=10143 vsize=8199516 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10161/task/10168/stat : 10168 (java) S 10143 10143 5522 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 405980766 8396304384 30920 33554432000 4194304 4196468 140735951865424 139635225257120 139636376757973 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29171712 140735951868923 140735951869082 140735951869082 140735951871951 0
[pid=10161/tid=10169] ppid=10143 vsize=8199516 memory=6147522718021472336 CPUtime=0 cores=0,2,4,6
/proc/10161/task/10169/stat : 10169 (java) S 10143 10143 5522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405980766 8396304384 30920 33554432000 4194304 4196468 140735951865424 139634956821232 139636376757973 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29171712 140735951868923 140735951869082 140735951869082 140735951871951 0
[pid=10161/tid=10170] ppid=10143 vsize=8199516 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10161/task/10170/stat : 10170 (java) S 10143 10143 5522 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405980768 8396304384 30920 33554432000 4194304 4196468 140735951865424 139634582312912 139636376766363 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29171712 140735951868923 140735951869082 140735951869082 140735951871951 0
[pid=10161/tid=10171] ppid=10143 vsize=8199516 memory=4122257346052501791 CPUtime=0.16 cores=0,2,4,6
/proc/10161/task/10171/stat : 10171 (java) S 10143 10143 5522 0 -1 1077944384 1073 0 0 0 16 0 0 0 20 0 19 0 405980769 8396304384 30920 33554432000 4194304 4196468 140735951865424 139635619490544 139636376758914 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29171712 140735951868923 140735951869082 140735951869082 140735951871951 0
[pid=10161/tid=10172] ppid=10143 vsize=8199516 memory=3475008354141380533 CPUtime=0.09 cores=0,2,4,6
/proc/10161/task/10172/stat : 10172 (java) S 10143 10143 5522 0 -1 1077944384 319 0 0 0 9 0 0 0 20 0 19 0 405980769 8396304384 30920 33554432000 4194304 4196468 140735951865424 139635618438000 139636376758914 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29171712 140735951868923 140735951869082 140735951869082 140735951871951 0
[pid=10161/tid=10173] ppid=10143 vsize=8199516 memory=3617579288504579121 CPUtime=0.22 cores=0,2,4,6
/proc/10161/task/10173/stat : 10173 (java) S 10143 10143 5522 0 -1 1077944384 750 0 0 0 22 0 0 0 20 0 19 0 405980769 8396304384 30920 33554432000 4194304 4196468 140735951865424 139635617384944 139636376758914 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29171712 140735951868923 140735951869082 140735951869082 140735951871951 0
[pid=10161/tid=10174] ppid=10143 vsize=8199516 memory=3618835474549807029 CPUtime=0 cores=0,2,4,6
/proc/10161/task/10174/stat : 10174 (java) S 10143 10143 5522 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405980769 8396304384 30920 33554432000 4194304 4196468 140735951865424 139634084408160 139636376757973 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29171712 140735951868923 140735951869082 140735951869082 140735951871951 0
[pid=10161/tid=10175] ppid=10143 vsize=8199516 memory=2319413397348233781 CPUtime=0.01 cores=0,2,4,6
/proc/10161/task/10175/stat : 10175 (java) S 10143 10143 5522 0 -1 1077944384 5 0 0 0 1 0 0 0 20 0 19 0 405980769 8396304384 30920 33554432000 4194304 4196468 140735951865424 139635616332336 139636376758914 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 6 0 0 6293624 6294260 29171712 140735951868923 140735951869082 140735951869082 140735951871951 0
[pid=10161/tid=10177] ppid=10143 vsize=8199516 memory=3540024675698515128 CPUtime=0 cores=0,2,4,6
/proc/10161/task/10177/stat : 10177 (java) S 10143 10143 5522 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 405980836 8396304384 30920 33554432000 4194304 4196468 140735951865424 139636165137728 139636376772377 0 4 2 25189581 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 29171712 140735951868923 140735951869082 140735951869082 140735951871951 0
[pid=10161/tid=10179] ppid=10143 vsize=8199516 memory=4121392000437204024 CPUtime=0.01 cores=0,2,4,6
/proc/10161/task/10179/stat : 10179 (java) S 10143 10143 5522 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 19 0 405980836 8396304384 30920 33554432000 4194304 4196468 140735951865424 139633547521392 139636376769693 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 29171712 140735951868923 140735951869082 140735951869082 140735951871951 0
[pid=10161/tid=10180] ppid=10143 vsize=8199516 memory=7809898623698956390 CPUtime=0 cores=0,2,4,6
/proc/10161/task/10180/stat : 10180 (java) S 10143 10143 5522 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 405980836 8396304384 30920 33554432000 4194304 4196468 140735951865424 139633413300272 139636376769693 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 29171712 140735951868923 140735951869082 140735951869082 140735951871951 0
[pid=10161/tid=10181] ppid=10143 vsize=8199516 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10161/task/10181/stat : 10181 (java) S 10143 10143 5522 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405980839 8396304384 30920 33554432000 4194304 4196468 140735951865424 139633010663216 139636376757973 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29171712 140735951868923 140735951869082 140735951869082 140735951871951 0
Current children cumulated CPU time: 56.07 s
Current children cumulated vsize: 8593828 KiB
Current children cumulated memory: 364356 KiB
Child status: 0
Real time (s): 49.0711
CPU time (s): 56.1836
CPU user time (s): 54.9317
CPU system time (s): 1.25191
CPU usage (%): 114.494
Max. virtual memory (cumulated for all children) (KiB): 15140452
Max. memory (cumulated for all children) (KiB): 3073908
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 54.9317
system time used= 1.25191
maximum resident set size= 3073712
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 269314
page faults= 0
swaps= 0
block input operations= 0
block output operations= 113896
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6037
involuntary context switches= 167
# summary of solver processes directly reported to runsolver:
# pid: 10143
# total CPU time (s): 56.1836
# total CPU user time (s): 54.9317
# total CPU system time (s): 1.25191
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.368771 second user time and 0.55469 second system time
The end