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-10638-serial-file.bin HOME/instance-4387620-1568286281.xml
0.65/0.53
0.65/0.53 Fun-sCOP order+glueminisat-simp-2.2.10-193oa-n-release (2019-06-15)
0.65/0.53
0.65/0.55 c BEGIN-Prog: Thu Sep 12 13:03:58 CEST 2019
0.65/0.55 c PID: 10641
0.65/0.55 c IP: 172.20.3.147
0.65/0.55 c HOST: node147.alineos.net
0.65/0.56 c (0,0) Parsing Begin
4.14/1.71 c (1,1) Parsing End
4.14/1.72 c (1,1) CSP: 85 int (0 aux), 0 bool (0 aux), 3170 ctr, max domain size 6400
4.14/1.72 c (1,1) Heap : 337 MiB used (max 10795 MiB), NonHeap : 22 MiB used (max 0 MiB)
4.14/1.72 c (1,1) Constraint Name Generate Begin
4.14/1.76 c (1,1) Ctr:HOME/instance-4387620-1568286281.xml,And:Dist:Div:Eq:Mod:Ne:Num:Or:Var
4.14/1.76 c (1,1) Constraint Name Generate End
4.14/1.76 c (1,1) Heap : 337 MiB used (max 10795 MiB), NonHeap : 22 MiB used (max 0 MiB)
4.14/1.76 c (1,1) CSP to CSPinCNF Begin
5.25/2.13 c (1,1) translated 317 (10%) constraints
5.50/2.26 c (1,1) translated 634 (20%) constraints
5.80/2.37 c (1,1) translated 951 (30%) constraints
6.11/2.46 c (1,1) translated 1268 (40%) constraints
6.40/2.55 c (2,2) translated 1585 (50%) constraints
6.70/2.63 c (2,2) translated 1902 (60%) constraints
6.98/2.70 c (2,2) translated 2219 (70%) constraints
6.98/2.77 c (2,2) translated 2536 (80%) constraints
7.18/2.85 c (2,2) translated 2853 (90%) constraints
7.38/2.95 c (2,2) translated 3170 (100%) constraints
7.38/2.95 c (2,2) ===========================================
7.38/2.95 c (2,2) Order
7.38/2.95 c (2,2) ===========================================
7.76/3.04 c (2,2) translated 1274 (10%) constraints
7.76/3.10 c (2,2) translated 2548 (20%) constraints
8.04/3.16 c (2,2) translated 3822 (30%) constraints
8.04/3.21 c (2,2) translated 5096 (40%) constraints
8.04/3.27 c (2,2) translated 6370 (50%) constraints
8.04/3.32 c (2,2) translated 7644 (60%) constraints
8.69/3.36 c (2,2) translated 8918 (70%) constraints
8.91/3.41 c (2,2) translated 10192 (80%) constraints
8.91/3.45 c (2,2) translated 11466 (90%) constraints
8.91/3.50 c (2,2) translated 12740 (100%) constraints
9.24/3.51 c (2,2) CSP to CSPinCNF End
9.24/3.51 c (2,2) CSP: 105 int (20 aux), 3170 bool (3170 aux), 12750 ctr, max domain size 6400
9.24/3.51 c (2,2) Heap : 619 MiB used (max 10795 MiB), NonHeap : 28 MiB used (max 0 MiB)
9.24/3.51 c (2,2) CSPinCNF Propagation Begin
9.54/3.65 c (3,3) 1 values, 4 unsatisfiable literals, and 21 valid clauses are removed
9.54/3.65 c (3,3) CSPinCNF Propagation End
9.54/3.65 c (3,3) CSP: 105 int (20 aux), 3170 bool (3170 aux), 12729 ctr, max domain size 6400
9.54/3.65 c (3,3) Heap : 675 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
9.54/3.65 c (3,3) Simplify CSPinCNF Begin
10.40/3.97 c (3,3) Simplify CSPinCNF End
10.40/3.97 c (3,3) CSP: 105 int (20 aux), 15858 bool (15858 aux), 25417 ctr, max domain size 6400
10.40/3.97 c (3,3) Heap : 788 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
10.40/3.97 c (3,3) Calculate Precise Domain Begin
10.40/3.97 c (3,3) 0 values are removed by re-calculation
10.40/3.97 c (3,3) Calculate Precise Domain End
10.40/3.98 c (3,3) CSP: 105 int (20 aux), 15858 bool (15858 aux), 25417 ctr, max domain size 6400
10.40/3.98 c (3,3) Heap : 788 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
10.40/3.98 c (3,3) CSPinCNF to SatSolver Begin
13.18/5.04 c (4,4) 2542 (10 %) CSP clauses are encoded (0 SAT variables, 144239 SAT clauses)
13.91/5.66 c (5,5) 5084 (20 %) CSP clauses are encoded (0 SAT variables, 251571 SAT clauses)
14.67/6.27 c (5,5) 7626 (30 %) CSP clauses are encoded (0 SAT variables, 358503 SAT clauses)
15.31/6.89 c (6,6) 10167 (40 %) CSP clauses are encoded (0 SAT variables, 469962 SAT clauses)
16.07/7.53 c (6,6) 12709 (50 %) CSP clauses are encoded (0 SAT variables, 586449 SAT clauses)
16.84/8.20 c (7,7) 15251 (60 %) CSP clauses are encoded (0 SAT variables, 704908 SAT clauses)
17.54/8.80 c (8,8) 17792 (70 %) CSP clauses are encoded (0 SAT variables, 827085 SAT clauses)
18.14/9.42 c (8,8) 20334 (80 %) CSP clauses are encoded (0 SAT variables, 954519 SAT clauses)
18.74/10.07 c (9,9) 22876 (90 %) CSP clauses are encoded (0 SAT variables, 1087267 SAT clauses)
20.38/11.36 c (10,10) 25417 (100 %) CSP clauses are encoded (0 SAT variables, 1413517 SAT clauses)
20.38/11.39 c (10,10) CSPinCNF to SatSolver End
20.38/11.39 c (10,10) Heap : 2744 MiB used (max 10795 MiB), NonHeap : 33 MiB used (max 0 MiB)
20.38/11.40 c (10,10) 55752 bool, 1419917 clause
20.38/11.40 c (10,10) Export Begin
20.49/11.48 c (10,10) Export to HOME/scop-10638-serial-file.bin
20.49/11.48 c (10,10) Export End
20.49/11.48 c (10,10) Export File Size: 0.02 MB
20.49/11.48 c (10,10) 1,1,2,3,3,3,10,STOP-AFTER(DIMACS)
20.49/11.48 c END-Prog: Thu Sep 12 13:04:09 CEST 2019
0.00/11.51 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-10638-serial-file.bin
20.67/11.96 c (0,0) Read Serial File Begin
20.67/11.96 c (0,0) HOME/scop-10638-serial-file.bin
21.46/12.16 c (0,0) Read Serial File End
21.46/12.18
21.46/12.18 Fun-sCOP order+glueminisat-simp-2.2.10-193oa-n-release (2019-06-15)
21.46/12.18 (Solving Process)
21.46/12.18
21.46/12.20 c BEGIN-Prog: Thu Sep 12 13:04:10 CEST 2019
21.46/12.20 c PID: 10657
21.46/12.20 c IP: 172.20.3.147
21.46/12.20 c HOST: node147.alineos.net
21.46/12.20 c (0,0) SatSolver.solve Begin
21.46/12.20 c (0,0) HOME/glueminisat-simp-2.2.10-193oa-n-release -model -verb=3 -elim-cl=5000000 -native-oa HOME/instance-4387620-1568286281.xml-scop-10641.cnf
21.65/12.23 c (0,0) c WARNING: for repeatability, setting FPU to use double precision
21.65/12.23 c (0,0) c glueminisat-simp-2.2.10-193oa-n
21.65/12.23 c (0,0) c Command: HOME/glueminisat-simp-2.2.10-193oa-n-release -model -verb=3 -elim-cl=5000000 -native-oa HOME/instance-4387620-1568286281.xml-scop-10641.cnf
21.65/12.23 c (0,0) c Options:
21.65/12.23 c (0,0) c CORE
21.65/12.23 c (0,0) c var_decay = 0.950
21.65/12.23 c (0,0) c clause_decay = 0.999
21.65/12.23 c (0,0) c random_var_freq = 0.000
21.65/12.23 c (0,0) c random_seed = 91648253.000
21.65/12.23 c (0,0) c luby_restart = 1
21.65/12.23 c (0,0) c ccmin_mode = 2
21.65/12.23 c (0,0) c phase_saving = 2
21.65/12.23 c (0,0) c rnd_pol = 0
21.65/12.23 c (0,0) c rnd_init_act = 0
21.65/12.23 c (0,0) c garbage_frac = 0.200
21.65/12.23 c (0,0) c restart_first = 1000
21.65/12.23 c (0,0) c restart_inc = 2.000
21.65/12.23 c (0,0) c MODEL
21.65/12.23 c (0,0) c partial_model = 0
21.65/12.23 c (0,0) c PROPAGATION
21.65/12.23 c (0,0) c bin_propagation = 1
21.65/12.23 c (0,0) c SIMPLIFICATION
21.65/12.23 c (0,0) c lrn_min_size = 100
21.65/12.23 c (0,0) c lazy_simp = 1
21.65/12.23 c (0,0) c lazy_interval = 10
21.65/12.23 c (0,0) c lazy_fld_probing = 1
21.65/12.23 c (0,0) c lazy_pol_probing = 1
21.65/12.23 c (0,0) c lazy_nec_probing = 1
21.65/12.23 c (0,0) c lazy_eqv_probing = 1
21.65/12.23 c (0,0) c lazy_cla_probing = 1
21.65/12.23 c (0,0) c lazy_lrn_min = 2
21.65/12.23 c (0,0) c lazy_uw_lit_elim = 1
21.65/12.23 c (0,0) c lazy_pr_lit_elim = 0
21.65/12.23 c (0,0) c lazy_bin_add = 3
21.65/12.23 c (0,0) c probed_lit_chain = 1
21.65/12.23 c (0,0) c pr_min_lits = 0.00020
21.65/12.23 c (0,0) c pr_min_starts = 500
21.65/12.23 c (0,0) c rw_min_lits = 0.010
21.65/12.23 c (0,0) c rw_min_starts = 500
21.65/12.23 c (0,0) c rand_attach = 0
21.65/12.23 c (0,0) c dec_elim = 1
21.65/12.23 c (0,0) c dec_elim_lim = 25
21.65/12.23 c (0,0) c dec_elim_len = -1
21.65/12.23 c (0,0) c amo = 0
21.65/12.23 c (0,0) c amo_grp = 1
21.65/12.23 c (0,0) c amo_max_bins = 1000000
21.65/12.23 c (0,0) c amo_starts = 50
21.65/12.23 c (0,0) c mace_cmd = mace
21.65/12.23 c (0,0) c DECISION
21.65/12.23 c (0,0) c rand_rebuild = 0
21.65/12.23 c (0,0) c rand_rebuild_confs = 10000
21.65/12.23 c (0,0) c inc_var_decay = 1
21.65/12.23 c (0,0) c inc_var_decay_period = 100000
21.65/12.23 c (0,0) c inc_var_decay_init = 0.600
21.65/12.23 c (0,0) c var_decay_mode = 0
21.65/12.23 c (0,0) c var_decay_gain = 0
21.65/12.23 c (0,0) c sloped_var_decay = 1
21.65/12.23 c (0,0) c max_var_decay = 0.990
21.65/12.23 c (0,0) c min_var_decay = 0.950
21.65/12.23 c (0,0) c min_var_decay_vars = 10000
21.65/12.23 c (0,0) c max_var_decay_vars = 500
21.65/12.23 c (0,0) c uip_bumping = 1
21.65/12.23 c (0,0) c lbd_act_bumping = 1
21.65/12.23 c (0,0) c rand_tiebreak = 0
21.65/12.23 c (0,0) c simp_rebuild = 1
21.65/12.23 c (0,0) c RESTART
21.65/12.23 c (0,0) c restart_strategy = 2
21.65/12.23 c (0,0) c restart_blocking = 0
21.65/12.23 c (0,0) c agility_decay = 0.99990
21.65/12.23 c (0,0) c lbd_restart_rate = 0.800
21.65/12.23 c (0,0) c dec_restart_rate = 0.950
21.65/12.23 c (0,0) c blk_restart_rate = 0.700
21.65/12.23 c (0,0) c lbd_queue_size = 50
21.65/12.23 c (0,0) c dec_queue_size = 50
21.65/12.23 c (0,0) c trl_queue_size = 5000
21.65/12.23 c (0,0) c blk_restart_weight = 1.000
21.65/12.23 c (0,0) c inc_rst_rate = 0
21.65/12.23 c (0,0) c inc_rst_rate_period = 500000
21.65/12.23 c (0,0) c inc_lbd_rst_rate_init = 0.600
21.65/12.23 c (0,0) c inc_dec_rst_rate_init = 0.750
21.65/12.23 c (0,0) c REDUCTION
21.65/12.23 c (0,0) c closed_lbd = 0
21.65/12.23 c (0,0) c closed_lbd_rate = 0.500
21.65/12.23 c (0,0) c rm_simulate = 0
21.65/12.23 c (0,0) c rdb_eval = 2
21.65/12.23 c (0,0) c rdb_call = 3
21.65/12.23 c (0,0) c rdb_ub = 0.500
21.65/12.23 c (0,0) c core_lbd_cvr = 0.800
21.65/12.23 c (0,0) c supp_lbd_cvr = 0.990
21.65/12.23 c (0,0) c core_lbd_lb = 2
21.65/12.23 c (0,0) c supp_lbd_lb = 2
21.65/12.23 c (0,0) c core_lbd_prd = 7
21.65/12.23 c (0,0) c supp_lbd_prd = 1
21.65/12.23 c (0,0) c othr_lbd_prd = 0
21.65/12.23 c (0,0) c inc_lrn_limit = 1000
21.65/12.23 c (0,0) c frozen_lbd = 30
21.65/12.23 c (0,0) c simp_min_starts = 100
21.65/12.23 c (0,0) c rm_low_act_learnts = 1
21.65/12.23 c (0,0) c lv0_reduce_db = 0
21.65/12.23 c (0,0) c reduce_db_base = 20000
21.65/12.23 c (0,0) c reduce_db_inc = 1000
21.65/12.23 c (0,0) c HARD
21.65/12.23 c (0,0) c inst_check = 200000
21.65/12.23 c (0,0) c small_block = 1.750
21.65/12.23 c (0,0) c slow_restart_speed = 400.000
21.65/12.23 c (0,0) c slow_restart_strategy = 3
21.65/12.23 c (0,0) c slow_lbd_restart_rate = 0.700
21.65/12.23 c (0,0) c slow_dec_restart_rate = 1.000
21.65/12.23 c (0,0) c slow_lbd_queue_size = 50
21.65/12.23 c (0,0) c slow_var_decay = 0.950
21.65/12.23 c (0,0) c slow_glue_threshold = 2
21.65/12.23 c (0,0) c slow_phase_saving = 2
21.65/12.23 c (0,0) c fast_restart_speed = 125.000
21.65/12.23 c (0,0) c fast_restart_strategy = 1
21.65/12.23 c (0,0) c fast_lbd_restart_rate = 0.800
21.65/12.23 c (0,0) c fast_dec_restart_rate = 0.950
21.65/12.23 c (0,0) c fast_lbd_queue_size = 50
21.65/12.23 c (0,0) c fast_var_decay = 1.000
21.65/12.23 c (0,0) c fast_glue_threshold = 2
21.65/12.23 c (0,0) c fast_phase_saving = 2
21.65/12.23 c (0,0) c STATS
21.65/12.23 c (0,0) c stats_conf_size = 10000
21.65/12.23 c (0,0) c max_stats_size = 30
21.65/12.23 c (0,0) c SOLVER
21.65/12.23 c (0,0) c minisat = 0
21.82/12.66 c (0,0) c Problem: 55752 variables, 1419917 clauses, parsing 0.38 s
24.39/14.88 c (2,0) c reduced to 49399 variables, 1413568 clauses (grow = 0)
24.49/14.93 c (3,0) c exclude 12 (0.0%) variables from decision variables (last cost 25)
24.58/15.03 c (3,0) c Simplification: 6365 vars, 6349 clauses are eliminated using 2.35 s
24.58/15.03 c (3,0) c
24.58/15.03 c (3,0) c #Rstrts #Confs #Vars #Clauses #Learnts Lits/C LBD/C DLVs Trail
24.58/15.03 c (3,0) c
24.58/15.03 c (3,0) c 2 0 0 49387 1413568 0 -nan -nan -nan -nan%
24.69/15.14 c (3,0) c 2 2 100 49387 1413568 100 55.8 36.5 173.8 18.4%
24.79/15.22 c (3,0) c 2 4 220 49387 1413568 220 58.9 45.9 140.8 20.0%
24.89/15.31 c (3,0) c 3 5 364 49387 1413568 364 57.6 46.5 130.4 20.9%
24.89/15.38 c (3,0) c 3 5 536 49387 1413568 536 43.3 34.2 257.8 38.6%
24.89/15.39 c (3,0) c 3 5 743 49387 1413568 743 33.8 26.0 239.5 52.5%
24.99/15.41 c (3,0) c 3 5 991 49387 1413568 991 27.7 20.8 227.8 61.5%
24.99/15.44 c (3,0) c 3 5 1289 49387 1413568 1289 23.4 17.1 219.3 67.7%
24.99/15.48 c (3,0) c 3 5 1647 49387 1413568 1647 20.4 14.4 213.0 72.2%
25.10/15.55 c (3,0) c 3 5 2076 49387 1413568 2076 18.0 12.3 208.0 75.4%
25.19/15.63 c (3,0) c 3 5 2591 49387 1413568 2591 16.1 10.7 204.3 77.7%
25.39/15.84 c (3,0) c 3 5 3210 49387 1413568 3210 14.5 9.4 200.8 79.3%
25.71/16.21 c (4,0) c 3 5 3953 49387 1413568 3953 13.1 8.3 196.1 80.4%
26.10/16.60 c (4,0) c 4 5 4844 49387 1413568 4845 12.0 7.4 190.2 81.2%
26.59/17.03 c (5,0) c 4 5 5913 49387 1413568 5914 11.1 6.7 182.8 81.9%
27.00/17.44 c (5,0) c 5 5 7196 28395 1413568 7195 10.4 6.2 167.4 81.0%
27.09/17.59 c (5,0) c
27.09/17.59 c (5,0) c variables : 17219 (init 55752, after simp 49387, 12 non-decs, 105 csp)
27.09/17.59 c (5,0) c clauses : 1413568 (init 1419917, after simp 1413568)
27.09/17.59 c (5,0) c restarts : 4 (1645.40 confs/res, 51~7893 confs, 0 blks, 0 last)
27.09/17.59 c (5,0) c conflicts : 8227 (1571 /sec, 55.03% dconfs, 0.00% supp, trail 539.28w x 147.22h, jmp 2.89h)
27.09/17.59 c (5,0) c decisions : 24341 (0.6200 vdcy, 4647 /sec, 0.00% bin, rs 0.002 s)
27.09/17.59 c (5,0) c propagations : 25457185 (4860064 /sec, 1045.86 lits/dec, 97.16% o.a.)
27.09/17.59 c (5,0) c conflict literals : 99911 (18.62% deleted; 0.25% by bin min, 0.001 s)
27.09/17.59 c (5,0) c len : 9.865 (9.85 for all, max 238, used 238)
27.09/17.59 c (5,0) c lbd : 5.832 (6.97 (5.82) for all, max 109, used 108, 6.769 stdev, 1.413 blk)
27.09/17.59 c (5,0) c amo : 0 (0 max, -nan avg, 0.000 s)
27.09/17.59 c (5,0) c simp dbs : 1 (0.001 s)
27.09/17.59 c (5,0) c reduce dbs : 0 (core-lbd 2, supp-lbd 2147483647, 0.000 s)
27.09/17.59 c (5,0) c learnts : 8216 (0 learnts removed, 0.00%)
27.09/17.59 c (5,0) c rewrite dbs : 0 (0/0 vars, 0+0 taut, 0+0 unit, 0.000 s)
27.09/17.59 c (5,0) c assigned lits : 0 (0/164 probed, 164 remains)
27.09/17.59 c (5,0) c premise updates : 0 (0.00 /lit)
27.09/17.59 c (5,0) c probed variables : 164 (162 pr, 0 eq, 0 fld, 0 pol, 0 nec, 2 cla, 0 amo)
27.09/17.59 c (5,0) c equiv variables : 0 (0 bin, 0 trn, 0 quat, 0 quin, 0 othr; 0 amo)
27.09/17.59 c (5,0) c lazy added bins : 1 (1 prop + 0 conf, 0.003s)
27.09/17.59 c (5,0) c unwatched lit elim: 229 (0.00+0.16%, 68+161 of 4341465+99911)
27.09/17.59 c (5,0) c classified type : undef
27.09/17.59 c (5,0) c progress : 65.135%
27.09/17.59 c (5,0) c
27.09/17.59 c (5,0) c #Rstrts #Confs #Vars #Clauses #Learnts Lits/C LBD/C DLVs Trail
27.09/17.59 c (5,0) c
27.09/17.59 c (5,0) c 5 5 8227 17219 1413568 8216 9.9 5.8 147.2 78.0%
27.09/17.59 c (5,0) c
27.09/17.59 c (5,0) c
27.09/17.59 c (5,0) c variables : 17219 (init 55752, after simp 49387, 12 non-decs, 105 csp)
27.09/17.59 c (5,0) c clauses : 1413568 (init 1419917, after simp 1413568)
27.09/17.59 c (5,0) c restarts : 4 (1645.40 confs/res, 51~7893 confs, 0 blks, 0 last)
27.09/17.59 c (5,0) c conflicts : 8227 (1571 /sec, 55.03% dconfs, 0.00% supp, trail 539.28w x 147.22h, jmp 2.89h)
27.09/17.59 c (5,0) c decisions : 24341 (0.6200 vdcy, 4647 /sec, 0.00% bin, rs 0.002 s)
27.09/17.59 c (5,0) c propagations : 25457185 (4860018 /sec, 1045.86 lits/dec, 97.16% o.a.)
27.09/17.59 c (5,0) c conflict literals : 99911 (18.62% deleted; 0.25% by bin min, 0.001 s)
27.09/17.59 c (5,0) c len : 9.865 (9.85 for all, max 238, used 238)
27.09/17.59 c (5,0) c lbd : 5.832 (6.97 (5.82) for all, max 109, used 108, 6.769 stdev, 1.413 blk)
27.09/17.59 c (5,0) c amo : 0 (0 max, -nan avg, 0.000 s)
27.09/17.59 c (5,0) c simp dbs : 1 (0.001 s)
27.09/17.59 c (5,0) c reduce dbs : 0 (core-lbd 2, supp-lbd 2147483647, 0.000 s)
27.09/17.59 c (5,0) c learnts : 8216 (0 learnts removed, 0.00%)
27.09/17.59 c (5,0) c rewrite dbs : 0 (0/0 vars, 0+0 taut, 0+0 unit, 0.000 s)
27.09/17.59 c (5,0) c assigned lits : 0 (0/164 probed, 164 remains)
27.09/17.59 c (5,0) c premise updates : 0 (0.00 /lit)
27.09/17.59 c (5,0) c probed variables : 164 (162 pr, 0 eq, 0 fld, 0 pol, 0 nec, 2 cla, 0 amo)
27.09/17.59 c (5,0) c equiv variables : 0 (0 bin, 0 trn, 0 quat, 0 quin, 0 othr; 0 amo)
27.09/17.59 c (5,0) c lazy added bins : 1 (1 prop + 0 conf, 0.003s)
27.09/17.59 c (5,0) c unwatched lit elim: 229 (0.00+0.16%, 68+161 of 4341465+99911)
27.09/17.59 c (5,0) c classified type : undef
27.09/17.59 c (5,0) c progress : 65.135%
27.09/17.59 c (5,0) c
27.09/17.59 c (5,0) c [Statistics]
27.09/17.59 c (5,0) c learnts len learnts lbd lit blk size eq vars size
27.09/17.59 c (5,0) c tot 8226 8226 57361 0
27.09/17.59 c (5,0) c avg 9.854 5.826 1.413 -nan
27.09/17.59 c (5,0) c 1 11 ( 0.1%) 60 ( 0.7%) 43908 (76.5%) 0 (-nan%)
27.09/17.59 c (5,0) c 2 53 ( 0.6%) 1472 (17.9%) 7906 (13.8%) 0 (-nan%)
27.09/17.59 c (5,0) c 3 169 ( 2.1%) 1914 (23.3%) 3154 ( 5.5%) 0 (-nan%)
27.09/17.59 c (5,0) c 4 357 ( 4.3%) 2087 (25.4%) 1267 ( 2.2%) 0 (-nan%)
27.09/17.59 c (5,0) c 5 591 ( 7.2%) 1291 (15.7%) 617 ( 1.1%) 0 (-nan%)
27.09/17.59 c (5,0) c 6 1336 (16.2%) 658 ( 8.0%) 241 ( 0.4%) 0 (-nan%)
27.09/17.59 c (5,0) c 7 1530 (18.6%) 299 ( 3.6%) 146 ( 0.3%) 0 (-nan%)
27.09/17.59 c (5,0) c 8 1580 (19.2%) 94 ( 1.1%) 57 ( 0.1%) 0 (-nan%)
27.09/17.59 c (5,0) c 9 990 (12.0%) 38 ( 0.5%) 24 ( 0.0%) 0 (-nan%)
27.09/17.59 c (5,0) c 10 596 ( 7.2%) 21 ( 0.3%) 9 ( 0.0%) 0 (-nan%)
27.09/17.59 c (5,0) c 11 343 ( 4.2%) 11 ( 0.1%) 11 ( 0.0%) 0 (-nan%)
27.09/17.59 c (5,0) c 12 176 ( 2.1%) 12 ( 0.1%) 2 ( 0.0%) 0 (-nan%)
27.09/17.59 c (5,0) c 13 91 ( 1.1%) 11 ( 0.1%) 4 ( 0.0%) 0 (-nan%)
27.09/17.59 c (5,0) c 14 63 ( 0.8%) 4 ( 0.0%) 2 ( 0.0%) 0 (-nan%)
27.09/17.59 c (5,0) c 15 45 ( 0.5%) 3 ( 0.0%) 2 ( 0.0%) 0 (-nan%)
27.09/17.59 c (5,0) c 16 28 ( 0.3%) 6 ( 0.1%) 4 ( 0.0%) 0 (-nan%)
27.09/17.59 c (5,0) c 17 5 ( 0.1%) 3 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
27.09/17.59 c (5,0) c 18 5 ( 0.1%) 2 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
27.09/17.59 c (5,0) c 19 7 ( 0.1%) 3 ( 0.0%) 1 ( 0.0%) 0 (-nan%)
27.09/17.59 c (5,0) c 20 1 ( 0.0%) 1 ( 0.0%) 1 ( 0.0%) 0 (-nan%)
27.09/17.59 c (5,0) c 21 3 ( 0.0%) 3 ( 0.0%) 1 ( 0.0%) 0 (-nan%)
27.09/17.59 c (5,0) c 22 3 ( 0.0%) 1 ( 0.0%) 1 ( 0.0%) 0 (-nan%)
27.09/17.59 c (5,0) c 23 5 ( 0.1%) 2 ( 0.0%) 1 ( 0.0%) 0 (-nan%)
27.09/17.59 c (5,0) c 24 1 ( 0.0%) 3 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
27.09/17.59 c (5,0) c 25 0 ( 0.0%) 5 ( 0.1%) 0 ( 0.0%) 0 (-nan%)
27.09/17.59 c (5,0) c 26 3 ( 0.0%) 3 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
27.09/17.59 c (5,0) c 27 2 ( 0.0%) 1 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
27.09/17.59 c (5,0) c 28 1 ( 0.0%) 2 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
27.09/17.59 c (5,0) c 29 1 ( 0.0%) 3 ( 0.0%) 1 ( 0.0%) 0 (-nan%)
27.09/17.59 c (5,0) c 30 230 ( 2.8%) 213 ( 2.6%) 1 ( 0.0%) 0 (-nan%)
27.09/17.59 c (5,0) c
27.09/17.59 c (5,0) c [LBD Statistics]
27.09/17.59 c (5,0) c LBD used lbd used clause lbd unused clause lbd
27.09/17.59 c (5,0) c tot 11985 2907 5309
27.09/17.59 c (5,0) c avg 4.043 5.062 6.253
27.09/17.59 c (5,0) c 1 273 ( 2.3/ 2.3%) 49 ( 1.7/ 1.7%) 0 ( 0.0/ 0.0%)
27.09/17.59 c (5,0) c 2 4624 (38.6/40.9%) 735 (25.3/27.0%) 738 (13.9/13.9%)
27.09/17.59 c (5,0) c 3 2560 (21.4/62.2%) 698 (24.0/51.0%) 1216 (22.9/36.8%)
27.09/17.59 c (5,0) c 4 2096 (17.5/79.7%) 674 (23.2/74.2%) 1413 (26.6/63.4%)
27.09/17.59 c (5,0) c 5 1100 ( 9.2/88.9%) 365 (12.6/86.7%) 926 (17.4/80.9%)
27.09/17.59 c (5,0) c 6 626 ( 5.2/94.1%) 171 ( 5.9/92.6%) 487 ( 9.2/90.0%)
27.09/17.59 c (5,0) c 7 276 ( 2.3/96.4%) 76 ( 2.6/95.2%) 223 ( 4.2/94.2%)
27.09/17.59 c (5,0) c 8 125 ( 1.0/97.5%) 26 ( 0.9/96.1%) 68 ( 1.3/95.5%)
27.09/17.59 c (5,0) c 9 23 ( 0.2/97.6%) 7 ( 0.2/96.4%) 31 ( 0.6/96.1%)
27.09/17.59 c (5,0) c 10 32 ( 0.3/97.9%) 8 ( 0.3/96.6%) 13 ( 0.2/96.3%)
27.09/17.59 c (5,0) c 11 3 ( 0.0/97.9%) 3 ( 0.1/96.7%) 8 ( 0.2/96.5%)
27.09/17.59 c (5,0) c 12 12 ( 0.1/98.0%) 5 ( 0.2/96.9%) 7 ( 0.1/96.6%)
27.09/17.59 c (5,0) c 13 13 ( 0.1/98.1%) 4 ( 0.1/97.0%) 7 ( 0.1/96.8%)
27.09/17.59 c (5,0) c 14 9 ( 0.1/98.2%) 2 ( 0.1/97.1%) 2 ( 0.0/96.8%)
27.09/17.59 c (5,0) c 15 21 ( 0.2/98.4%) 3 ( 0.1/97.2%) 0 ( 0.0/96.8%)
27.09/17.59 c (5,0) c 16 2 ( 0.0/98.4%) 1 ( 0.0/97.2%) 5 ( 0.1/96.9%)
27.09/17.59 c (5,0) c 17 1 ( 0.0/98.4%) 1 ( 0.0/97.3%) 2 ( 0.0/96.9%)
27.09/17.59 c (5,0) c 18 3 ( 0.0/98.4%) 1 ( 0.0/97.3%) 1 ( 0.0/96.9%)
27.09/17.59 c (5,0) c 19 2 ( 0.0/98.5%) 1 ( 0.0/97.4%) 2 ( 0.0/97.0%)
27.09/17.59 c (5,0) c 20 2 ( 0.0/98.5%) 1 ( 0.0/97.4%) 0 ( 0.0/97.0%)
27.09/17.59 c (5,0) c 21 13 ( 0.1/98.6%) 3 ( 0.1/97.5%) 0 ( 0.0/97.0%)
27.09/17.59 c (5,0) c 22 1 ( 0.0/98.6%) 1 ( 0.0/97.5%) 0 ( 0.0/97.0%)
27.09/17.59 c (5,0) c 23 2 ( 0.0/98.6%) 1 ( 0.0/97.6%) 1 ( 0.0/97.0%)
27.09/17.59 c (5,0) c 24 10 ( 0.1/98.7%) 1 ( 0.0/97.6%) 2 ( 0.0/97.0%)
27.09/17.59 c (5,0) c 25 9 ( 0.1/98.8%) 2 ( 0.1/97.7%) 3 ( 0.1/97.1%)
27.09/17.59 c (5,0) c 26 4 ( 0.0/98.8%) 1 ( 0.0/97.7%) 2 ( 0.0/97.1%)
27.09/17.59 c (5,0) c 27 5 ( 0.0/98.8%) 1 ( 0.0/97.7%) 0 ( 0.0/97.1%)
27.09/17.59 c (5,0) c 28 0 ( 0.0/98.8%) 0 ( 0.0/97.7%) 2 ( 0.0/97.2%)
27.09/17.59 c (5,0) c 29 1 ( 0.0/98.9%) 1 ( 0.0/97.8%) 2 ( 0.0/97.2%)
27.09/17.59 c (5,0) c 30 0 ( 0.0/98.9%) 0 ( 0.0/97.8%) 0 ( 0.0/97.2%)
27.09/17.59 c (5,0) c 31 1 ( 0.0/98.9%) 1 ( 0.0/97.8%) 2 ( 0.0/97.2%)
27.09/17.59 c (5,0) c 32 1 ( 0.0/98.9%) 1 ( 0.0/97.8%) 1 ( 0.0/97.3%)
27.09/17.59 c (5,0) c 33 6 ( 0.1/98.9%) 3 ( 0.1/97.9%) 1 ( 0.0/97.3%)
27.09/17.59 c (5,0) c 34 2 ( 0.0/98.9%) 2 ( 0.1/98.0%) 4 ( 0.1/97.4%)
27.09/17.59 c (5,0) c 35 1 ( 0.0/98.9%) 0 ( 0.0/98.0%) 0 ( 0.0/97.4%)
27.09/17.59 c (5,0) c 36 3 ( 0.0/99.0%) 1 ( 0.0/98.0%) 1 ( 0.0/97.4%)
27.09/17.59 c (5,0) c 37 6 ( 0.1/99.0%) 3 ( 0.1/98.1%) 0 ( 0.0/97.4%)
27.09/17.59 c (5,0) c 38 22 ( 0.2/99.2%) 2 ( 0.1/98.2%) 2 ( 0.0/97.4%)
27.09/17.59 c (5,0) c 39 0 ( 0.0/99.2%) 0 ( 0.0/98.2%) 0 ( 0.0/97.4%)
27.09/17.59 c (5,0) c 40 3 ( 0.0/99.2%) 1 ( 0.0/98.2%) 4 ( 0.1/97.5%)
27.09/17.59 c (5,0) c 41 3 ( 0.0/99.3%) 2 ( 0.1/98.3%) 1 ( 0.0/97.5%)
27.09/17.59 c (5,0) c 42 4 ( 0.0/99.3%) 2 ( 0.1/98.4%) 0 ( 0.0/97.5%)
27.09/17.59 c (5,0) c 43 0 ( 0.0/99.3%) 0 ( 0.0/98.4%) 1 ( 0.0/97.5%)
27.09/17.59 c (5,0) c 44 0 ( 0.0/99.3%) 1 ( 0.0/98.4%) 2 ( 0.0/97.6%)
27.09/17.59 c (5,0) c 45 4 ( 0.0/99.3%) 3 ( 0.1/98.5%) 0 ( 0.0/97.6%)
27.09/17.59 c (5,0) c 46 7 ( 0.1/99.4%) 1 ( 0.0/98.6%) 0 ( 0.0/97.6%)
27.09/17.59 c (5,0) c 47 1 ( 0.0/99.4%) 0 ( 0.0/98.6%) 1 ( 0.0/97.6%)
27.09/17.59 c (5,0) c 48 1 ( 0.0/99.4%) 1 ( 0.0/98.6%) 0 ( 0.0/97.6%)
27.09/17.59 c (5,0) c 49 4 ( 0.0/99.4%) 2 ( 0.1/98.7%) 0 ( 0.0/97.6%)
27.09/17.59 c (5,0) c 50 1 ( 0.0/99.4%) 1 ( 0.0/98.7%) 1 ( 0.0/97.6%)
27.09/17.59 c (5,0) c 51 1 ( 0.0/99.4%) 1 ( 0.0/98.7%) 0 ( 0.0/97.6%)
27.09/17.59 c (5,0) c 52 2 ( 0.0/99.5%) 1 ( 0.0/98.8%) 1 ( 0.0/97.6%)
27.09/17.59 c (5,0) c 53 1 ( 0.0/99.5%) 1 ( 0.0/98.8%) 0 ( 0.0/97.6%)
27.09/17.59 c (5,0) c 54 1 ( 0.0/99.5%) 0 ( 0.0/98.8%) 1 ( 0.0/97.6%)
27.09/17.59 c (5,0) c 55 1 ( 0.0/99.5%) 2 ( 0.1/98.9%) 2 ( 0.0/97.7%)
27.09/17.59 c (5,0) c 56 0 ( 0.0/99.5%) 0 ( 0.0/98.9%) 2 ( 0.0/97.7%)
27.09/17.59 c (5,0) c 57 0 ( 0.0/99.5%) 0 ( 0.0/98.9%) 0 ( 0.0/97.7%)
27.09/17.59 c (5,0) c 58 2 ( 0.0/99.5%) 0 ( 0.0/98.9%) 4 ( 0.1/97.8%)
27.09/17.59 c (5,0) c 59 0 ( 0.0/99.5%) 1 ( 0.0/98.9%) 2 ( 0.0/97.8%)
27.09/17.59 c (5,0) c 60 1 ( 0.0/99.5%) 0 ( 0.0/98.9%) 1 ( 0.0/97.9%)
27.09/17.59 c (5,0) c 61 0 ( 0.0/99.5%) 2 ( 0.1/99.0%) 1 ( 0.0/97.9%)
27.09/17.59 c (5,0) c 62 4 ( 0.0/99.5%) 1 ( 0.0/99.0%) 4 ( 0.1/97.9%)
27.09/17.59 c (5,0) c 63 5 ( 0.0/99.6%) 1 ( 0.0/99.0%) 2 ( 0.0/98.0%)
27.09/17.59 c (5,0) c 64 1 ( 0.0/99.6%) 1 ( 0.0/99.1%) 1 ( 0.0/98.0%)
27.09/17.59 c (5,0) c 65 2 ( 0.0/99.6%) 0 ( 0.0/99.1%) 1 ( 0.0/98.0%)
27.09/17.59 c (5,0) c 66 0 ( 0.0/99.6%) 0 ( 0.0/99.1%) 0 ( 0.0/98.0%)
27.09/17.59 c (5,0) c 67 0 ( 0.0/99.6%) 0 ( 0.0/99.1%) 3 ( 0.1/98.1%)
27.09/17.59 c (5,0) c 68 0 ( 0.0/99.6%) 0 ( 0.0/99.1%) 1 ( 0.0/98.1%)
27.09/17.59 c (5,0) c 69 0 ( 0.0/99.6%) 0 ( 0.0/99.1%) 1 ( 0.0/98.1%)
27.09/17.59 c (5,0) c 70 0 ( 0.0/99.6%) 1 ( 0.0/99.1%) 6 ( 0.1/98.2%)
27.09/17.59 c (5,0) c 71 1 ( 0.0/99.6%) 1 ( 0.0/99.1%) 0 ( 0.0/98.2%)
27.09/17.59 c (5,0) c 72 0 ( 0.0/99.6%) 1 ( 0.0/99.2%) 1 ( 0.0/98.2%)
27.09/17.59 c (5,0) c 73 0 ( 0.0/99.6%) 0 ( 0.0/99.2%) 2 ( 0.0/98.3%)
27.09/17.59 c (5,0) c 74 3 ( 0.0/99.6%) 0 ( 0.0/99.2%) 4 ( 0.1/98.4%)
27.09/17.59 c (5,0) c 75 0 ( 0.0/99.6%) 0 ( 0.0/99.2%) 1 ( 0.0/98.4%)
27.09/17.60 c (5,0) c 76 0 ( 0.0/99.6%) 0 ( 0.0/99.2%) 2 ( 0.0/98.4%)
27.09/17.60 c (5,0) c 77 0 ( 0.0/99.6%) 0 ( 0.0/99.2%) 2 ( 0.0/98.5%)
27.09/17.60 c (5,0) c 78 3 ( 0.0/99.7%) 2 ( 0.1/99.2%) 3 ( 0.1/98.5%)
27.09/17.60 c (5,0) c 79 2 ( 0.0/99.7%) 1 ( 0.0/99.3%) 2 ( 0.0/98.5%)
27.09/17.60 c (5,0) c 80 1 ( 0.0/99.7%) 1 ( 0.0/99.3%) 2 ( 0.0/98.6%)
27.09/17.60 c (5,0) c 81 2 ( 0.0/99.7%) 2 ( 0.1/99.4%) 0 ( 0.0/98.6%)
27.09/17.60 c (5,0) c 82 0 ( 0.0/99.7%) 1 ( 0.0/99.4%) 0 ( 0.0/98.6%)
27.09/17.60 c (5,0) c 83 2 ( 0.0/99.7%) 0 ( 0.0/99.4%) 1 ( 0.0/98.6%)
27.09/17.60 c (5,0) c 84 3 ( 0.0/99.8%) 1 ( 0.0/99.4%) 2 ( 0.0/98.6%)
27.09/17.60 c (5,0) c 85 1 ( 0.0/99.8%) 2 ( 0.1/99.5%) 0 ( 0.0/98.6%)
27.09/17.60 c (5,0) c 86 1 ( 0.0/99.8%) 0 ( 0.0/99.5%) 5 ( 0.1/98.7%)
27.09/17.60 c (5,0) c 87 2 ( 0.0/99.8%) 1 ( 0.0/99.6%) 1 ( 0.0/98.8%)
27.09/17.60 c (5,0) c 88 6 ( 0.1/99.8%) 0 ( 0.0/99.6%) 3 ( 0.1/98.8%)
27.09/17.60 c (5,0) c 89 1 ( 0.0/99.8%) 0 ( 0.0/99.6%) 3 ( 0.1/98.9%)
27.09/17.60 c (5,0) c 90 0 ( 0.0/99.8%) 0 ( 0.0/99.6%) 1 ( 0.0/98.9%)
27.09/17.60 c (5,0) c 91 3 ( 0.0/99.9%) 2 ( 0.1/99.6%) 4 ( 0.1/99.0%)
27.09/17.60 c (5,0) c 92 1 ( 0.0/99.9%) 2 ( 0.1/99.7%) 2 ( 0.0/99.0%)
27.09/17.60 c (5,0) c 93 1 ( 0.0/99.9%) 0 ( 0.0/99.7%) 4 ( 0.1/99.1%)
27.09/17.60 c (5,0) c 94 2 ( 0.0/99.9%) 0 ( 0.0/99.7%) 3 ( 0.1/99.1%)
27.09/17.60 c (5,0) c 95 0 ( 0.0/99.9%) 0 ( 0.0/99.7%) 4 ( 0.1/99.2%)
27.09/17.60 c (5,0) c 96 2 ( 0.0/99.9%) 2 ( 0.1/99.8%) 2 ( 0.0/99.2%)
27.09/17.60 c (5,0) c 97 0 ( 0.0/99.9%) 1 ( 0.0/99.8%) 2 ( 0.0/99.3%)
27.09/17.60 c (5,0) c 98 0 ( 0.0/99.9%) 0 ( 0.0/99.8%) 3 ( 0.1/99.3%)
27.09/17.60 c (5,0) c 99 1 ( 0.0/99.9%) 0 ( 0.0/99.8%) 6 ( 0.1/99.5%)
27.09/17.60 c (5,0) c 100 2 ( 0.0/99.9%) 2 ( 0.1/99.9%) 5 ( 0.1/99.5%)
27.09/17.60 c (5,0) c 101 1 ( 0.0/100.0%) 1 ( 0.0/99.9%) 1 ( 0.0/99.6%)
27.09/17.60 c (5,0) c 102 0 ( 0.0/100.0%) 0 ( 0.0/99.9%) 2 ( 0.0/99.6%)
27.09/17.60 c (5,0) c 103 0 ( 0.0/100.0%) 1 ( 0.0/99.9%) 1 ( 0.0/99.6%)
27.09/17.60 c (5,0) c 104 0 ( 0.0/100.0%) 0 ( 0.0/99.9%) 3 ( 0.1/99.7%)
27.09/17.60 c (5,0) c 105 1 ( 0.0/100.0%) 0 ( 0.0/99.9%) 5 ( 0.1/99.8%)
27.09/17.60 c (5,0) c 106 0 ( 0.0/100.0%) 1 ( 0.0/100.0%) 5 ( 0.1/99.9%)
27.09/17.60 c (5,0) c 107 3 ( 0.0/100.0%) 1 ( 0.0/100.0%) 6 ( 0.1/100.0%)
27.09/17.60 c (5,0) c 108 1 ( 0.0/100.0%) 0 ( 0.0/100.0%) 1 ( 0.0/100.0%)
27.09/17.60 c (5,0) c
27.09/17.60 c (5,0) c Memory used : 215.00 MB
27.09/17.60 c (5,0) c CPU time : 5.239 s
27.09/17.60 c (5,0) c Real time : 5.366 s
27.09/17.60 c (5,0) c
27.21/17.60 c (5,0) s UNSATISFIABLE
27.21/17.60 c (5,0) SatSolver.solve End
27.21/17.60 c (5,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
27.21/17.60 c (5,0) Show results Begin
27.21/17.60 s UNSATISFIABLE
27.21/17.60 c (5,0) Show results End
27.21/17.60 c (5,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
27.21/17.60 c (5,0) 5,5,STOP-AFTER(ALL)
27.21/17.60 c END-Prog: Thu Sep 12 13:04:15 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 (5422 MiB free)
memory of node 1: 16384 MiB (9299 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4387620-1568286281/watcher-4387620-1568286281 -o /tmp/evaluation-result-4387620-1568286281/solver-4387620-1568286281 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node147-1568286038-9752 --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-4387620-1568286281.xml
running on 4 cores: 1,3,5,7
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=10638, runsolver pid=10635
[startup+0.102514 s]*
/proc/loadavg: 2.82 2.03 1.94 4/235 10655
/proc/meminfo: memFree=15014584/32770624 swapFree=66957008/67108860
[pid=10638] ppid=10635 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/10638/stat : 10638 (scop.sh) S 10635 10638 8853 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 404541932 115843072 349 33554432000 4194304 5098028 140732816323952 140732816321208 140004997141116 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 20361216 140732816327464 140732816327792 140732816327792 140732816330701 0
/proc/10638/statm: 28282 349 296 221 0 87 0
[pid=10641] ppid=10638 vsize=15016308 memory=76184 CPUtime=0.12 cores=1,3,5,7
/proc/10641/stat : 10641 (java) S 10638 10638 8853 0 -1 1077944320 7249 0 0 0 10 2 0 0 20 0 15 0 404541933 15376699392 18980 33554432000 4194304 4196468 140726113106832 140726113089376 140513158536951 0 0 2 16800973 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 31862784 140726113108718 140726113109146 140726113109146 140726113112015 0
/proc/10641/statm: 3754077 19046 2931 1 0 3716482 0
[pid=10641/tid=10642] ppid=10638 vsize=15013720 memory=-6509246020331028419 CPUtime=0.09 cores=1,3,5,7
/proc/10641/task/10642/stat : 10642 (java) R 10638 10638 8853 0 -1 4202560 5241 0 0 0 8 1 0 0 20 0 15 0 404541933 15374049280 18319 33554432000 4194304 4196468 140726113106832 140513130321200 140513151216669 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31862784 140726113108718 140726113109146 140726113109146 140726113112015 0
[pid=10641/tid=10643] ppid=10638 vsize=15013720 memory=4206468019014099040 CPUtime=0 cores=1,3,5,7
/proc/10641/task/10643/stat : 10643 (java) S 10638 10638 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404541935 15374049280 18319 33554432000 4194304 4196468 140726113106832 140513162779664 140513158547157 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31862784 140726113108718 140726113109146 140726113109146 140726113112015 0
[pid=10641/tid=10644] ppid=10638 vsize=15013720 memory=140388735256192 CPUtime=0 cores=1,3,5,7
/proc/10641/task/10644/stat : 10644 (java) S 10638 10638 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404541935 15374049280 18319 33554432000 4194304 4196468 140726113106832 140512953863312 140513158547157 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31862784 140726113108718 140726113109146 140726113109146 140726113112015 0
[pid=10641/tid=10645] ppid=10638 vsize=15013720 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10641/task/10645/stat : 10645 (java) S 10638 10638 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404541935 15374049280 18385 33554432000 4194304 4196468 140726113106832 140512952810256 140513158547157 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31862784 140726113108718 140726113109146 140726113109146 140726113112015 0
[pid=10641/tid=10646] ppid=10638 vsize=15013720 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10641/task/10646/stat : 10646 (java) S 10638 10638 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404541935 15374049280 18385 33554432000 4194304 4196468 140726113106832 140512951757712 140513158547157 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31862784 140726113108718 140726113109146 140726113109146 140726113112015 0
[pid=10641/tid=10647] ppid=10638 vsize=15013720 memory=140388735256192 CPUtime=0 cores=1,3,5,7
/proc/10641/task/10647/stat : 10647 (java) S 10638 10638 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404541936 15374049280 18385 33554432000 4194304 4196468 140726113106832 140512129009904 140513158548098 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31862784 140726113108718 140726113109146 140726113109146 140726113112015 0
[pid=10641/tid=10648] ppid=10638 vsize=15013720 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10641/task/10648/stat : 10648 (java) S 10638 10638 8853 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 404541937 15374049280 18385 33554432000 4194304 4196468 140726113106832 140511734129824 140513158547157 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31862784 140726113108718 140726113109146 140726113109146 140726113112015 0
[pid=10641/tid=10649] ppid=10638 vsize=15013720 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10641/task/10649/stat : 10649 (java) S 10638 10638 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404541937 15374049280 18385 33554432000 4194304 4196468 140726113106832 140511465693936 140513158547157 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31862784 140726113108718 140726113109146 140726113109146 140726113112015 0
[pid=10641/tid=10650] ppid=10638 vsize=15013720 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10641/task/10650/stat : 10650 (java) S 10638 10638 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404541939 15374049280 18385 33554432000 4194304 4196468 140726113106832 140511091185616 140513158555547 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31862784 140726113108718 140726113109146 140726113109146 140726113112015 0
[pid=10641/tid=10651] ppid=10638 vsize=15013720 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10641/task/10651/stat : 10651 (java) S 10638 10638 8853 0 -1 1077944384 407 0 0 0 0 0 0 0 20 0 15 0 404541939 15374049280 18385 33554432000 4194304 4196468 140726113106832 140512127957744 140513158548098 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31862784 140726113108718 140726113109146 140726113109146 140726113112015 0
[pid=10641/tid=10652] ppid=10638 vsize=15013720 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10641/task/10652/stat : 10652 (java) S 10638 10638 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404541939 15374049280 18385 33554432000 4194304 4196468 140726113106832 140512126905200 140513158548098 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31862784 140726113108718 140726113109146 140726113109146 140726113112015 0
[pid=10641/tid=10653] ppid=10638 vsize=15013720 memory=140388735256192 CPUtime=0.01 cores=1,3,5,7
/proc/10641/task/10653/stat : 10653 (java) S 10638 10638 8853 0 -1 1077944384 461 0 0 0 1 0 0 0 20 0 15 0 404541939 15374049280 18385 33554432000 4194304 4196468 140726113106832 140512125852144 140513158548098 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31862784 140726113108718 140726113109146 140726113109146 140726113112015 0
[pid=10641/tid=10654] ppid=10638 vsize=15013720 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10641/task/10654/stat : 10654 (java) S 10638 10638 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404541939 15374049280 18385 33554432000 4194304 4196468 140726113106832 140510593280864 140513158547157 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31862784 140726113108718 140726113109146 140726113109146 140726113112015 0
[pid=10641/tid=10655] ppid=10638 vsize=15013720 memory=140388735256192 CPUtime=0 cores=1,3,5,7
/proc/10641/task/10655/stat : 10655 (java) S 10638 10638 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404541940 15374049280 18385 33554432000 4194304 4196468 140726113106832 140512124799536 140513158548098 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31862784 140726113108718 140726113109146 140726113109146 140726113112015 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15129436 KiB
Current children cumulated memory: 77580 KiB
[startup+0.211182 s]*
/proc/loadavg: 2.82 2.03 1.94 3/235 10655
/proc/meminfo: memFree=14999168/32770624 swapFree=66957008/67108860
[pid=10638] ppid=10635 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/10638/stat : 10638 (scop.sh) S 10635 10638 8853 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 404541932 115843072 349 33554432000 4194304 5098028 140732816323952 140732816321208 140004997141116 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 20361216 140732816327464 140732816327792 140732816327792 140732816330701 0
/proc/10638/statm: 28282 349 296 221 0 87 0
[pid=10641] ppid=10638 vsize=15012696 memory=85736 CPUtime=0.25 cores=1,3,5,7
/proc/10641/stat : 10641 (java) S 10638 10638 8853 0 -1 1077944320 10954 0 0 0 22 3 0 0 20 0 15 0 404541933 15373000704 21434 33554432000 4194304 4196468 140726113106832 140726113089376 140513158536951 0 0 2 16800973 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 31862784 140726113108718 140726113109146 140726113109146 140726113112015 0
/proc/10641/statm: 3753174 21434 2938 1 0 3715579 0
[pid=10641/tid=10642] ppid=10638 vsize=15012696 memory=7022364632946311227 CPUtime=0.19 cores=1,3,5,7
/proc/10641/task/10642/stat : 10642 (java) R 10638 10638 8853 0 -1 4202560 8698 0 0 0 17 2 0 0 20 0 15 0 404541933 15373000704 21434 33554432000 4194304 4196468 140726113106832 140513130358304 140513142617438 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31862784 140726113108718 140726113109146 140726113109146 140726113112015 0
[pid=10641/tid=10643] ppid=10638 vsize=15012696 memory=364 CPUtime=0 cores=1,3,5,7
/proc/10641/task/10643/stat : 10643 (java) S 10638 10638 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404541935 15373000704 21434 33554432000 4194304 4196468 140726113106832 140513162779664 140513158547157 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31862784 140726113108718 140726113109146 140726113109146 140726113112015 0
[pid=10641/tid=10644] ppid=10638 vsize=15012696 memory=140388735267297 CPUtime=0 cores=1,3,5,7
/proc/10641/task/10644/stat : 10644 (java) S 10638 10638 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404541935 15373000704 21434 33554432000 4194304 4196468 140726113106832 140512953863312 140513158547157 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31862784 140726113108718 140726113109146 140726113109146 140726113112015 0
[pid=10641/tid=10645] ppid=10638 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10641/task/10645/stat : 10645 (java) S 10638 10638 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404541935 15373000704 21434 33554432000 4194304 4196468 140726113106832 140512952810256 140513158547157 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31862784 140726113108718 140726113109146 140726113109146 140726113112015 0
[pid=10641/tid=10646] ppid=10638 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10641/task/10646/stat : 10646 (java) S 10638 10638 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404541935 15373000704 21434 33554432000 4194304 4196468 140726113106832 140512951757712 140513158547157 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31862784 140726113108718 140726113109146 140726113109146 140726113112015 0
[pid=10641/tid=10647] ppid=10638 vsize=15012696 memory=140388735256192 CPUtime=0 cores=1,3,5,7
/proc/10641/task/10647/stat : 10647 (java) S 10638 10638 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404541936 15373000704 21434 33554432000 4194304 4196468 140726113106832 140512129009904 140513158548098 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31862784 140726113108718 140726113109146 140726113109146 140726113112015 0
[pid=10641/tid=10648] ppid=10638 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10641/task/10648/stat : 10648 (java) S 10638 10638 8853 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 404541937 15373000704 21434 33554432000 4194304 4196468 140726113106832 140511734129824 140513158547157 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31862784 140726113108718 140726113109146 140726113109146 140726113112015 0
[pid=10641/tid=10649] ppid=10638 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10641/task/10649/stat : 10649 (java) S 10638 10638 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404541937 15373000704 21434 33554432000 4194304 4196468 140726113106832 140511465693936 140513158547157 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31862784 140726113108718 140726113109146 140726113109146 140726113112015 0
[pid=10641/tid=10650] ppid=10638 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10641/task/10650/stat : 10650 (java) S 10638 10638 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404541939 15373000704 21434 33554432000 4194304 4196468 140726113106832 140511091185616 140513158555547 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31862784 140726113108718 140726113109146 140726113109146 140726113112015 0
[pid=10641/tid=10651] ppid=10638 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10641/task/10651/stat : 10651 (java) S 10638 10638 8853 0 -1 1077944384 417 0 0 0 0 0 0 0 20 0 15 0 404541939 15373000704 21434 33554432000 4194304 4196468 140726113106832 140512127957744 140513158548098 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31862784 140726113108718 140726113109146 140726113109146 140726113112015 0
[pid=10641/tid=10652] ppid=10638 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10641/task/10652/stat : 10652 (java) S 10638 10638 8853 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 404541939 15373000704 21434 33554432000 4194304 4196468 140726113106832 140512126905200 140513158548098 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31862784 140726113108718 140726113109146 140726113109146 140726113112015 0
[pid=10641/tid=10653] ppid=10638 vsize=15012696 memory=140388735256192 CPUtime=0.03 cores=1,3,5,7
/proc/10641/task/10653/stat : 10653 (java) R 10638 10638 8853 0 -1 4202560 476 0 0 0 3 0 0 0 20 0 15 0 404541939 15373000704 21434 33554432000 4194304 4196468 140726113106832 140512125852144 140513137160960 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31862784 140726113108718 140726113109146 140726113109146 140726113112015 0
[pid=10641/tid=10654] ppid=10638 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10641/task/10654/stat : 10654 (java) S 10638 10638 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404541939 15373000704 21434 33554432000 4194304 4196468 140726113106832 140510593280864 140513158547157 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31862784 140726113108718 140726113109146 140726113109146 140726113112015 0
[pid=10641/tid=10655] ppid=10638 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10641/task/10655/stat : 10655 (java) S 10638 10638 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404541940 15373000704 21434 33554432000 4194304 4196468 140726113106832 140512124799536 140513158548098 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31862784 140726113108718 140726113109146 140726113109146 140726113112015 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 87132 KiB
[startup+0.310614 s]*
/proc/loadavg: 2.82 2.03 1.94 4/235 10655
/proc/meminfo: memFree=14995372/32770624 swapFree=66957008/67108860
[pid=10638] ppid=10635 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/10638/stat : 10638 (scop.sh) S 10635 10638 8853 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 404541932 115843072 349 33554432000 4194304 5098028 140732816323952 140732816321208 140004997141116 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 20361216 140732816327464 140732816327792 140732816327792 140732816330701 0
/proc/10638/statm: 28282 349 296 221 0 87 0
[pid=10641] ppid=10638 vsize=15012696 memory=90044 CPUtime=0.43 cores=1,3,5,7
/proc/10641/stat : 10641 (java) S 10638 10638 8853 0 -1 1077944320 12025 0 0 0 39 4 0 0 20 0 15 0 404541933 15373000704 22511 33554432000 4194304 4196468 140726113106832 140726113089376 140513158536951 0 0 2 16800973 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 31862784 140726113108718 140726113109146 140726113109146 140726113112015 0
/proc/10641/statm: 3753174 22511 3080 1 0 3715579 0
[pid=10641/tid=10642] ppid=10638 vsize=15012696 memory=6791534058613427641 CPUtime=0.3 cores=1,3,5,7
/proc/10641/task/10642/stat : 10642 (java) R 10638 10638 8853 0 -1 4202560 9558 0 0 0 27 3 0 0 20 0 15 0 404541933 15373000704 22511 33554432000 4194304 4196468 140726113106832 140513130349296 140513142617438 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31862784 140726113108718 140726113109146 140726113109146 140726113112015 0
[pid=10641/tid=10643] ppid=10638 vsize=15012696 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/10641/task/10643/stat : 10643 (java) S 10638 10638 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404541935 15373000704 22511 33554432000 4194304 4196468 140726113106832 140513162779664 140513158547157 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31862784 140726113108718 140726113109146 140726113109146 140726113112015 0
[pid=10641/tid=10644] ppid=10638 vsize=15012696 memory=-5587046532246807594 CPUtime=0 cores=1,3,5,7
/proc/10641/task/10644/stat : 10644 (java) S 10638 10638 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404541935 15373000704 22511 33554432000 4194304 4196468 140726113106832 140512953863312 140513158547157 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31862784 140726113108718 140726113109146 140726113109146 140726113112015 0
[pid=10641/tid=10645] ppid=10638 vsize=15012696 memory=7379517702019849078 CPUtime=0 cores=1,3,5,7
/proc/10641/task/10645/stat : 10645 (java) S 10638 10638 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404541935 15373000704 22511 33554432000 4194304 4196468 140726113106832 140512952810256 140513158547157 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31862784 140726113108718 140726113109146 140726113109146 140726113112015 0
[pid=10641/tid=10646] ppid=10638 vsize=15012696 memory=7016714186490735262 CPUtime=0 cores=1,3,5,7
/proc/10641/task/10646/stat : 10646 (java) S 10638 10638 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404541935 15373000704 22511 33554432000 4194304 4196468 140726113106832 140512951757712 140513158547157 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31862784 140726113108718 140726113109146 140726113109146 140726113112015 0
[pid=10641/tid=10647] ppid=10638 vsize=15012696 memory=-7522837583045875833 CPUtime=0 cores=1,3,5,7
/proc/10641/task/10647/stat : 10647 (java) S 10638 10638 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404541936 15373000704 22511 33554432000 4194304 4196468 140726113106832 140512129009904 140513158548098 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31862784 140726113108718 140726113109146 140726113109146 140726113112015 0
[pid=10641/tid=10648] ppid=10638 vsize=15012696 memory=3047711566422646390 CPUtime=0 cores=1,3,5,7
/proc/10641/task/10648/stat : 10648 (java) S 10638 10638 8853 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 404541937 15373000704 22511 33554432000 4194304 4196468 140726113106832 140511734129824 140513158547157 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31862784 140726113108718 140726113109146 140726113109146 140726113112015 0
[pid=10641/tid=10649] ppid=10638 vsize=15012696 memory=-6372718397967082684 CPUtime=0 cores=1,3,5,7
/proc/10641/task/10649/stat : 10649 (java) S 10638 10638 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404541937 15373000704 22511 33554432000 4194304 4196468 140726113106832 140511465693936 140513158547157 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31862784 140726113108718 140726113109146 140726113109146 140726113112015 0
[pid=10641/tid=10650] ppid=10638 vsize=15012696 memory=8325818968683490714 CPUtime=0 cores=1,3,5,7
/proc/10641/task/10650/stat : 10650 (java) S 10638 10638 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404541939 15373000704 22511 33554432000 4194304 4196468 140726113106832 140511091185616 140513158555547 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31862784 140726113108718 140726113109146 140726113109146 140726113112015 0
[pid=10641/tid=10651] ppid=10638 vsize=15012696 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/10641/task/10651/stat : 10651 (java) S 10638 10638 8853 0 -1 1077944384 533 0 0 0 2 0 0 0 20 0 15 0 404541939 15373000704 22511 33554432000 4194304 4196468 140726113106832 140512127957744 140513158548098 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31862784 140726113108718 140726113109146 140726113109146 140726113112015 0
[pid=10641/tid=10652] ppid=10638 vsize=15012696 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/10641/task/10652/stat : 10652 (java) S 10638 10638 8853 0 -1 1077944384 85 0 0 0 1 0 0 0 20 0 15 0 404541939 15373000704 22511 33554432000 4194304 4196468 140726113106832 140512126905200 140513158548098 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31862784 140726113108718 140726113109146 140726113109146 140726113112015 0
[pid=10641/tid=10653] ppid=10638 vsize=15012696 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/10641/task/10653/stat : 10653 (java) S 10638 10638 8853 0 -1 1077944384 518 0 0 0 7 0 0 0 20 0 15 0 404541939 15373000704 22511 33554432000 4194304 4196468 140726113106832 140512125852144 140513158548098 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31862784 140726113108718 140726113109146 140726113109146 140726113112015 0
[pid=10641/tid=10654] ppid=10638 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10641/task/10654/stat : 10654 (java) S 10638 10638 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404541939 15373000704 22511 33554432000 4194304 4196468 140726113106832 140510593280864 140513158547157 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31862784 140726113108718 140726113109146 140726113109146 140726113112015 0
[pid=10641/tid=10655] ppid=10638 vsize=15012696 memory=3760564178644907056 CPUtime=0 cores=1,3,5,7
/proc/10641/task/10655/stat : 10655 (java) S 10638 10638 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404541940 15373000704 22511 33554432000 4194304 4196468 140726113106832 140512124799536 140513158548098 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31862784 140726113108718 140726113109146 140726113109146 140726113112015 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 91440 KiB
[startup+0.701198 s]
/proc/loadavg: 2.82 2.03 1.94 3/235 10655
/proc/meminfo: memFree=14971808/32770624 swapFree=66957008/67108860
[pid=10638] ppid=10635 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/10638/stat : 10638 (scop.sh) S 10635 10638 8853 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 404541932 115843072 349 33554432000 4194304 5098028 140732816323952 140732816321208 140004997141116 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 20361216 140732816327464 140732816327792 140732816327792 140732816330701 0
/proc/10638/statm: 28282 349 296 221 0 87 0
[pid=10641] ppid=10638 vsize=15018968 memory=131740 CPUtime=1.03 cores=1,3,5,7
/proc/10641/stat : 10641 (java) S 10638 10638 8853 0 -1 1077944320 19674 0 0 0 96 7 0 0 20 0 15 0 404541933 15379423232 32935 33554432000 4194304 4196468 140726113106832 140726113089376 140513158536951 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 31862784 140726113108718 140726113109146 140726113109146 140726113112015 0
/proc/10641/statm: 3754742 32935 3182 1 0 3716091 0
[pid=10641/tid=10642] ppid=10638 vsize=15018968 memory=-7082918048272507482 CPUtime=0.67 cores=1,3,5,7
/proc/10641/task/10642/stat : 10642 (java) R 10638 10638 8853 0 -1 4202560 16641 0 0 0 62 5 0 0 20 0 15 0 404541933 15379423232 32935 33554432000 4194304 4196468 140726113106832 140513130372624 140512623433313 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31862784 140726113108718 140726113109146 140726113109146 140726113112015 0
[pid=10641/tid=10643] ppid=10638 vsize=15018968 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10641/task/10643/stat : 10643 (java) S 10638 10638 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404541935 15379423232 32935 33554432000 4194304 4196468 140726113106832 140513162779664 140513158547157 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31862784 140726113108718 140726113109146 140726113109146 140726113112015 0
[pid=10641/tid=10644] ppid=10638 vsize=15018968 memory=37212 CPUtime=0 cores=1,3,5,7
/proc/10641/task/10644/stat : 10644 (java) S 10638 10638 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404541935 15379423232 32935 33554432000 4194304 4196468 140726113106832 140512953863312 140513158547157 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31862784 140726113108718 140726113109146 140726113109146 140726113112015 0
[pid=10641/tid=10645] ppid=10638 vsize=15018968 memory=2020 CPUtime=0 cores=1,3,5,7
/proc/10641/task/10645/stat : 10645 (java) S 10638 10638 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404541935 15379423232 32935 33554432000 4194304 4196468 140726113106832 140512952810256 140513158547157 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31862784 140726113108718 140726113109146 140726113109146 140726113112015 0
[pid=10641/tid=10646] ppid=10638 vsize=15018968 memory=988 CPUtime=0 cores=1,3,5,7
/proc/10641/task/10646/stat : 10646 (java) S 10638 10638 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404541935 15379423232 32935 33554432000 4194304 4196468 140726113106832 140512951757712 140513158547157 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31862784 140726113108718 140726113109146 140726113109146 140726113112015 0
[pid=10641/tid=10647] ppid=10638 vsize=15018968 memory=1368 CPUtime=0 cores=1,3,5,7
/proc/10641/task/10647/stat : 10647 (java) S 10638 10638 8853 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 404541936 15379423232 32935 33554432000 4194304 4196468 140726113106832 140512129009904 140513158548098 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31862784 140726113108718 140726113109146 140726113109146 140726113112015 0
[pid=10641/tid=10648] ppid=10638 vsize=15018968 memory=1056 CPUtime=0 cores=1,3,5,7
/proc/10641/task/10648/stat : 10648 (java) S 10638 10638 8853 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 404541937 15379423232 32935 33554432000 4194304 4196468 140726113106832 140511734129824 140513158547157 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31862784 140726113108718 140726113109146 140726113109146 140726113112015 0
[pid=10641/tid=10649] ppid=10638 vsize=15018968 memory=1712 CPUtime=0 cores=1,3,5,7
/proc/10641/task/10649/stat : 10649 (java) S 10638 10638 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404541937 15379423232 32935 33554432000 4194304 4196468 140726113106832 140511465693936 140513158547157 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31862784 140726113108718 140726113109146 140726113109146 140726113112015 0
[pid=10641/tid=10650] ppid=10638 vsize=15018968 memory=6088 CPUtime=0 cores=1,3,5,7
/proc/10641/task/10650/stat : 10650 (java) S 10638 10638 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404541939 15379423232 32935 33554432000 4194304 4196468 140726113106832 140511091185616 140513158555547 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31862784 140726113108718 140726113109146 140726113109146 140726113112015 0
[pid=10641/tid=10651] ppid=10638 vsize=15018968 memory=11624 CPUtime=0.08 cores=1,3,5,7
/proc/10641/task/10651/stat : 10651 (java) R 10638 10638 8853 0 -1 4202560 711 0 0 0 8 0 0 0 20 0 15 0 404541939 15379423232 32935 33554432000 4194304 4196468 140726113106832 140512127957744 140513140058660 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31862784 140726113108718 140726113109146 140726113109146 140726113112015 0
[pid=10641/tid=10652] ppid=10638 vsize=15018968 memory=732 CPUtime=0.08 cores=1,3,5,7
/proc/10641/task/10652/stat : 10652 (java) R 10638 10638 8853 0 -1 4202560 321 0 0 0 8 0 0 0 20 0 15 0 404541939 15379423232 32935 33554432000 4194304 4196468 140726113106832 140512126894992 140513144217680 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31862784 140726113108718 140726113109146 140726113109146 140726113112015 0
[pid=10641/tid=10653] ppid=10638 vsize=15018968 memory=776 CPUtime=0.16 cores=1,3,5,7
/proc/10641/task/10653/stat : 10653 (java) R 10638 10638 8853 0 -1 4202560 665 0 0 0 16 0 0 0 20 0 15 0 404541939 15379423232 32935 33554432000 4194304 4196468 140726113106832 140512125850104 140513137406152 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 31862784 140726113108718 140726113109146 140726113109146 140726113112015 0
[pid=10641/tid=10654] ppid=10638 vsize=15018968 memory=1560 CPUtime=0 cores=1,3,5,7
/proc/10641/task/10654/stat : 10654 (java) S 10638 10638 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404541939 15379423232 32935 33554432000 4194304 4196468 140726113106832 140510593280864 140513158547157 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31862784 140726113108718 140726113109146 140726113109146 140726113112015 0
[pid=10641/tid=10655] ppid=10638 vsize=15018968 memory=4008 CPUtime=0 cores=1,3,5,7
/proc/10641/task/10655/stat : 10655 (java) S 10638 10638 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404541940 15379423232 32935 33554432000 4194304 4196468 140726113106832 140512124799536 140513158548098 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31862784 140726113108718 140726113109146 140726113109146 140726113112015 0
Current children cumulated CPU time: 1.03 s
Current children cumulated vsize: 15132096 KiB
Current children cumulated memory: 133136 KiB
[startup+1.5012 s]
/proc/loadavg: 2.82 2.03 1.94 5/235 10655
/proc/meminfo: memFree=14925496/32770624 swapFree=66957008/67108860
[pid=10638] ppid=10635 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/10638/stat : 10638 (scop.sh) S 10635 10638 8853 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 404541932 115843072 349 33554432000 4194304 5098028 140732816323952 140732816321208 140004997141116 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 20361216 140732816327464 140732816327792 140732816327792 140732816330701 0
/proc/10638/statm: 28282 349 296 221 0 87 0
################
# More data... #
################
/proc/10657/task/10675/stat : 10675 (java) S 10638 10638 8853 0 -1 4202560 29 0 0 0 0 0 0 0 20 0 19 0 404543156 8262082560 29348 33554432000 4194304 4196468 140734197703776 140434223377808 140436959331485 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 38076416 140734197707771 140734197707930 140734197707930 140734197710799 0
[pid=10657/tid=10676] ppid=10638 vsize=8068440 memory=126192 CPUtime=0 cores=1,3,5,7
/proc/10657/task/10676/stat : 10676 (java) S 10638 10638 8853 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 404543156 8262082560 29348 33554432000 4194304 4196468 140734197703776 140434357600272 140436959331485 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 38076416 140734197707771 140734197707930 140734197707930 140734197710799 0
[pid=10657/tid=10677] ppid=10638 vsize=8068440 memory=-8253362762722141311 CPUtime=0 cores=1,3,5,7
/proc/10657/task/10677/stat : 10677 (java) S 10638 10638 8853 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 404543159 8262082560 29348 33554432000 4194304 4196468 140734197703776 140433954955056 140436959319765 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38076416 140734197707771 140734197707930 140734197707930 140734197710799 0
Current children cumulated CPU time: 26.49 s
Current children cumulated vsize: 8344260 KiB
Current children cumulated memory: 245060 KiB
[startup+17.301 s]
/proc/loadavg: 2.84 2.08 1.96 3/240 10677
/proc/meminfo: memFree=14829444/32770624 swapFree=66957008/67108860
[pid=10638] ppid=10635 vsize=113128 memory=1476 CPUtime=20.67 cores=1,3,5,7
/proc/10638/stat : 10638 (scop.sh) S 10635 10638 8853 0 -1 4202496 584 33137 0 0 0 0 2004 63 20 0 1 0 404541932 115843072 369 33554432000 4194304 5098028 140732816323952 140732816320696 140004997141116 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 20361216 140732816327464 140732816327792 140732816327792 140732816330701 0
/proc/10638/statm: 28282 369 311 221 0 87 0
[pid=10657] ppid=10638 vsize=8068440 memory=117392 CPUtime=1.16 cores=1,3,5,7
/proc/10657/stat : 10657 (java) S 10638 10638 8853 0 -1 1077944320 19854 0 0 0 110 6 0 0 20 0 19 0 404543084 8262082560 29348 33554432000 4194304 4196468 140734197703776 140734197686320 140436959309559 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38076416 140734197707771 140734197707930 140734197707930 140734197710799 0
/proc/10657/statm: 2017110 29348 3201 1 0 1978454 0
[pid=10672] ppid=10657 vsize=162692 memory=126192 CPUtime=5.07 cores=1,3,5,7
/proc/10672/stat : 10672 (glueminisat-sim) R 10657 10638 8853 0 -1 4202496 57465 0 0 0 495 12 0 0 20 0 1 0 404543155 166596608 31548 33554432000 4194304 4452875 140736073160688 140736073155720 4372067 0 4 0 8388610 0 0 0 17 5 0 0 0 0 0 6552096 6554264 21991424 140736073163615 140736073163815 140736073163815 140736073166765 0
/proc/10672/statm: 40673 31548 378 64 0 36877 0
[pid=10657/tid=10658] ppid=10638 vsize=8068440 memory=-6421031960926448530 CPUtime=0.74 cores=1,3,5,7
/proc/10657/task/10658/stat : 10658 (java) S 10638 10638 8853 0 -1 1077944384 16868 0 0 0 70 4 0 0 20 0 19 0 404543084 8262082560 29348 33554432000 4194304 4196468 140734197703776 140436931149728 140436959319765 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38076416 140734197707771 140734197707930 140734197707930 140734197710799 0
[pid=10657/tid=10659] ppid=10638 vsize=8068440 memory=9084729808173506443 CPUtime=0 cores=1,3,5,7
/proc/10657/task/10659/stat : 10659 (java) S 10638 10638 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 404543085 8262082560 29348 33554432000 4194304 4196468 140734197703776 140436963552272 140436959319765 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38076416 140734197707771 140734197707930 140734197707930 140734197710799 0
[pid=10657/tid=10660] ppid=10638 vsize=8068440 memory=-7751062316387021378 CPUtime=0 cores=1,3,5,7
/proc/10657/task/10660/stat : 10660 (java) S 10638 10638 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 404543085 8262082560 29348 33554432000 4194304 4196468 140734197703776 140436777708688 140436959319765 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38076416 140734197707771 140734197707930 140734197707930 140734197710799 0
[pid=10657/tid=10661] ppid=10638 vsize=8068440 memory=-2317720213663851332 CPUtime=0 cores=1,3,5,7
/proc/10657/task/10661/stat : 10661 (java) S 10638 10638 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 404543085 8262082560 29348 33554432000 4194304 4196468 140734197703776 140436776655632 140436959319765 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38076416 140734197707771 140734197707930 140734197707930 140734197710799 0
[pid=10657/tid=10662] ppid=10638 vsize=8068440 memory=68 CPUtime=0 cores=1,3,5,7
/proc/10657/task/10662/stat : 10662 (java) S 10638 10638 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 404543085 8262082560 29348 33554432000 4194304 4196468 140734197703776 140436775603088 140436959319765 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38076416 140734197707771 140734197707930 140734197707930 140734197710799 0
[pid=10657/tid=10663] ppid=10638 vsize=8068440 memory=-7520551213931984064 CPUtime=0 cores=1,3,5,7
/proc/10657/task/10663/stat : 10663 (java) S 10638 10638 8853 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 19 0 404543087 8262082560 29348 33554432000 4194304 4196468 140734197703776 140436002765040 140436959320706 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38076416 140734197707771 140734197707930 140734197707930 140734197710799 0
[pid=10657/tid=10664] ppid=10638 vsize=8068440 memory=-6520473914223154590 CPUtime=0 cores=1,3,5,7
/proc/10657/task/10664/stat : 10664 (java) S 10638 10638 8853 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 404543087 8262082560 29348 33554432000 4194304 4196468 140734197703776 140435901113504 140436959319765 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38076416 140734197707771 140734197707930 140734197707930 140734197710799 0
[pid=10657/tid=10665] ppid=10638 vsize=8068440 memory=7667206186387729003 CPUtime=0 cores=1,3,5,7
/proc/10657/task/10665/stat : 10665 (java) S 10638 10638 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 404543087 8262082560 29348 33554432000 4194304 4196468 140734197703776 140435632677616 140436959319765 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38076416 140734197707771 140734197707930 140734197707930 140734197710799 0
[pid=10657/tid=10666] ppid=10638 vsize=8068440 memory=7589504773446462313 CPUtime=0 cores=1,3,5,7
/proc/10657/task/10666/stat : 10666 (java) S 10638 10638 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 404543090 8262082560 29348 33554432000 4194304 4196468 140734197703776 140435258169296 140436959328155 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38076416 140734197707771 140734197707930 140734197707930 140734197710799 0
[pid=10657/tid=10667] ppid=10638 vsize=8068440 memory=7666631141572963411 CPUtime=0.09 cores=1,3,5,7
/proc/10657/task/10667/stat : 10667 (java) S 10638 10638 8853 0 -1 1077944384 591 0 0 0 9 0 0 0 20 0 19 0 404543090 8262082560 29348 33554432000 4194304 4196468 140734197703776 140436001712880 140436959320706 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38076416 140734197707771 140734197707930 140734197707930 140734197710799 0
[pid=10657/tid=10668] ppid=10638 vsize=8068440 memory=5795117241467496816 CPUtime=0.09 cores=1,3,5,7
/proc/10657/task/10668/stat : 10668 (java) S 10638 10638 8853 0 -1 1077944384 455 0 0 0 9 0 0 0 20 0 19 0 404543090 8262082560 29348 33554432000 4194304 4196468 140734197703776 140436000660336 140436959320706 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38076416 140734197707771 140734197707930 140734197707930 140734197710799 0
[pid=10657/tid=10669] ppid=10638 vsize=8068440 memory=5795117241467496816 CPUtime=0.2 cores=1,3,5,7
/proc/10657/task/10669/stat : 10669 (java) S 10638 10638 8853 0 -1 1077944384 527 0 0 0 20 0 0 0 20 0 19 0 404543090 8262082560 29348 33554432000 4194304 4196468 140734197703776 140435999607280 140436959320706 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38076416 140734197707771 140734197707930 140734197707930 140734197710799 0
[pid=10657/tid=10670] ppid=10638 vsize=8068440 memory=7450752960074378349 CPUtime=0 cores=1,3,5,7
/proc/10657/task/10670/stat : 10670 (java) S 10638 10638 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 404543090 8262082560 29348 33554432000 4194304 4196468 140734197703776 140434760264544 140436959319765 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38076416 140734197707771 140734197707930 140734197707930 140734197710799 0
[pid=10657/tid=10671] ppid=10638 vsize=8068440 memory=7379826853712127063 CPUtime=0 cores=1,3,5,7
/proc/10657/task/10671/stat : 10671 (java) S 10638 10638 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 404543090 8262082560 29348 33554432000 4194304 4196468 140734197703776 140435998554672 140436959320706 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 24 0 0 6293624 6294260 38076416 140734197707771 140734197707930 140734197707930 140734197710799 0
[pid=10657/tid=10673] ppid=10638 vsize=8068440 memory=7013913786330145898 CPUtime=0 cores=1,3,5,7
/proc/10657/task/10673/stat : 10673 (java) S 10638 10638 8853 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 404543155 8262082560 29348 33554432000 4194304 4196468 140734197703776 140436438295872 140436959334169 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 38076416 140734197707771 140734197707930 140734197707930 140734197710799 0
[pid=10657/tid=10675] ppid=10638 vsize=8068440 memory=7381513504230629971 CPUtime=0 cores=1,3,5,7
/proc/10657/task/10675/stat : 10675 (java) S 10638 10638 8853 0 -1 4202560 29 0 0 0 0 0 0 0 20 0 19 0 404543156 8262082560 29348 33554432000 4194304 4196468 140734197703776 140434223377776 140436959331485 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 38076416 140734197707771 140734197707930 140734197707930 140734197710799 0
[pid=10657/tid=10676] ppid=10638 vsize=8068440 memory=7308041844102687335 CPUtime=0 cores=1,3,5,7
/proc/10657/task/10676/stat : 10676 (java) S 10638 10638 8853 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 404543156 8262082560 29348 33554432000 4194304 4196468 140734197703776 140434357600272 140436959331485 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 38076416 140734197707771 140734197707930 140734197707930 140734197710799 0
[pid=10657/tid=10677] ppid=10638 vsize=8068440 memory=7597126613769871702 CPUtime=0 cores=1,3,5,7
/proc/10657/task/10677/stat : 10677 (java) S 10638 10638 8853 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 404543159 8262082560 29348 33554432000 4194304 4196468 140734197703776 140433954955056 140436959319765 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38076416 140734197707771 140734197707930 140734197707930 140734197710799 0
Current children cumulated CPU time: 26.9 s
Current children cumulated vsize: 8344260 KiB
Current children cumulated memory: 245060 KiB
[startup+17.5009 s]
/proc/loadavg: 2.84 2.08 1.96 3/240 10677
/proc/meminfo: memFree=14829444/32770624 swapFree=66957008/67108860
[pid=10638] ppid=10635 vsize=113128 memory=1476 CPUtime=20.67 cores=1,3,5,7
/proc/10638/stat : 10638 (scop.sh) S 10635 10638 8853 0 -1 4202496 584 33137 0 0 0 0 2004 63 20 0 1 0 404541932 115843072 369 33554432000 4194304 5098028 140732816323952 140732816320696 140004997141116 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 20361216 140732816327464 140732816327792 140732816327792 140732816330701 0
/proc/10638/statm: 28282 369 311 221 0 87 0
[pid=10657] ppid=10638 vsize=8068440 memory=117392 CPUtime=1.16 cores=1,3,5,7
/proc/10657/stat : 10657 (java) S 10638 10638 8853 0 -1 1077944320 19854 0 0 0 110 6 0 0 20 0 19 0 404543084 8262082560 29348 33554432000 4194304 4196468 140734197703776 140734197686320 140436959309559 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38076416 140734197707771 140734197707930 140734197707930 140734197710799 0
/proc/10657/statm: 2017110 29348 3201 1 0 1978454 0
[pid=10672] ppid=10657 vsize=162692 memory=126192 CPUtime=5.26 cores=1,3,5,7
/proc/10672/stat : 10672 (glueminisat-sim) R 10657 10638 8853 0 -1 4202496 58415 0 0 0 514 12 0 0 20 0 1 0 404543155 166596608 31548 33554432000 4194304 4452875 140736073160688 140736073155720 140243124510599 0 4 0 8388610 0 0 0 17 5 0 0 0 0 0 6552096 6554264 21991424 140736073163615 140736073163815 140736073163815 140736073166765 0
/proc/10672/statm: 40673 31548 378 64 0 36877 0
[pid=10657/tid=10658] ppid=10638 vsize=8068440 memory=0 CPUtime=0.74 cores=1,3,5,7
/proc/10657/task/10658/stat : 10658 (java) S 10638 10638 8853 0 -1 1077944384 16868 0 0 0 70 4 0 0 20 0 19 0 404543084 8262082560 29348 33554432000 4194304 4196468 140734197703776 140436931149728 140436959319765 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38076416 140734197707771 140734197707930 140734197707930 140734197710799 0
[pid=10657/tid=10659] ppid=10638 vsize=8068440 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10657/task/10659/stat : 10659 (java) S 10638 10638 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 404543085 8262082560 29348 33554432000 4194304 4196468 140734197703776 140436963552272 140436959319765 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38076416 140734197707771 140734197707930 140734197707930 140734197710799 0
[pid=10657/tid=10660] ppid=10638 vsize=8068440 memory=6656426216303648864 CPUtime=0 cores=1,3,5,7
/proc/10657/task/10660/stat : 10660 (java) S 10638 10638 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 404543085 8262082560 29348 33554432000 4194304 4196468 140734197703776 140436777708688 140436959319765 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38076416 140734197707771 140734197707930 140734197707930 140734197710799 0
[pid=10657/tid=10661] ppid=10638 vsize=8068440 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10657/task/10661/stat : 10661 (java) S 10638 10638 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 404543085 8262082560 29348 33554432000 4194304 4196468 140734197703776 140436776655632 140436959319765 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38076416 140734197707771 140734197707930 140734197707930 140734197710799 0
[pid=10657/tid=10662] ppid=10638 vsize=8068440 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10657/task/10662/stat : 10662 (java) S 10638 10638 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 404543085 8262082560 29348 33554432000 4194304 4196468 140734197703776 140436775603088 140436959319765 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38076416 140734197707771 140734197707930 140734197707930 140734197710799 0
[pid=10657/tid=10663] ppid=10638 vsize=8068440 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10657/task/10663/stat : 10663 (java) S 10638 10638 8853 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 19 0 404543087 8262082560 29348 33554432000 4194304 4196468 140734197703776 140436002765040 140436959320706 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38076416 140734197707771 140734197707930 140734197707930 140734197710799 0
[pid=10657/tid=10664] ppid=10638 vsize=8068440 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10657/task/10664/stat : 10664 (java) S 10638 10638 8853 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 404543087 8262082560 29348 33554432000 4194304 4196468 140734197703776 140435901113504 140436959319765 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38076416 140734197707771 140734197707930 140734197707930 140734197710799 0
[pid=10657/tid=10665] ppid=10638 vsize=8068440 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10657/task/10665/stat : 10665 (java) S 10638 10638 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 404543087 8262082560 29348 33554432000 4194304 4196468 140734197703776 140435632677616 140436959319765 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38076416 140734197707771 140734197707930 140734197707930 140734197710799 0
[pid=10657/tid=10666] ppid=10638 vsize=8068440 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10657/task/10666/stat : 10666 (java) S 10638 10638 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 404543090 8262082560 29348 33554432000 4194304 4196468 140734197703776 140435258169296 140436959328155 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38076416 140734197707771 140734197707930 140734197707930 140734197710799 0
[pid=10657/tid=10667] ppid=10638 vsize=8068440 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/10657/task/10667/stat : 10667 (java) S 10638 10638 8853 0 -1 1077944384 591 0 0 0 9 0 0 0 20 0 19 0 404543090 8262082560 29348 33554432000 4194304 4196468 140734197703776 140436001712880 140436959320706 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38076416 140734197707771 140734197707930 140734197707930 140734197710799 0
[pid=10657/tid=10668] ppid=10638 vsize=8068440 memory=7018697765600061529 CPUtime=0.09 cores=1,3,5,7
/proc/10657/task/10668/stat : 10668 (java) S 10638 10638 8853 0 -1 1077944384 455 0 0 0 9 0 0 0 20 0 19 0 404543090 8262082560 29348 33554432000 4194304 4196468 140734197703776 140436000660336 140436959320706 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38076416 140734197707771 140734197707930 140734197707930 140734197710799 0
[pid=10657/tid=10669] ppid=10638 vsize=8068440 memory=0 CPUtime=0.2 cores=1,3,5,7
/proc/10657/task/10669/stat : 10669 (java) S 10638 10638 8853 0 -1 1077944384 527 0 0 0 20 0 0 0 20 0 19 0 404543090 8262082560 29348 33554432000 4194304 4196468 140734197703776 140435999607280 140436959320706 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38076416 140734197707771 140734197707930 140734197707930 140734197710799 0
[pid=10657/tid=10670] ppid=10638 vsize=8068440 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10657/task/10670/stat : 10670 (java) S 10638 10638 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 404543090 8262082560 29348 33554432000 4194304 4196468 140734197703776 140434760264544 140436959319765 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38076416 140734197707771 140734197707930 140734197707930 140734197710799 0
[pid=10657/tid=10671] ppid=10638 vsize=8068440 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10657/task/10671/stat : 10671 (java) S 10638 10638 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 404543090 8262082560 29348 33554432000 4194304 4196468 140734197703776 140435998554672 140436959320706 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 24 0 0 6293624 6294260 38076416 140734197707771 140734197707930 140734197707930 140734197710799 0
[pid=10657/tid=10673] ppid=10638 vsize=8068440 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10657/task/10673/stat : 10673 (java) S 10638 10638 8853 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 404543155 8262082560 29348 33554432000 4194304 4196468 140734197703776 140436438295872 140436959334169 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 38076416 140734197707771 140734197707930 140734197707930 140734197710799 0
[pid=10657/tid=10675] ppid=10638 vsize=8068440 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10657/task/10675/stat : 10675 (java) S 10638 10638 8853 0 -1 4202560 29 0 0 0 0 0 0 0 20 0 19 0 404543156 8262082560 29348 33554432000 4194304 4196468 140734197703776 140434223377776 140436959331485 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 38076416 140734197707771 140734197707930 140734197707930 140734197710799 0
[pid=10657/tid=10676] ppid=10638 vsize=8068440 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10657/task/10676/stat : 10676 (java) S 10638 10638 8853 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 404543156 8262082560 29348 33554432000 4194304 4196468 140734197703776 140434357600272 140436959331485 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 38076416 140734197707771 140734197707930 140734197707930 140734197710799 0
[pid=10657/tid=10677] ppid=10638 vsize=8068440 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10657/task/10677/stat : 10677 (java) S 10638 10638 8853 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 404543159 8262082560 29348 33554432000 4194304 4196468 140734197703776 140433954955056 140436959319765 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38076416 140734197707771 140734197707930 140734197707930 140734197710799 0
Current children cumulated CPU time: 27.09 s
Current children cumulated vsize: 8344260 KiB
Current children cumulated memory: 245060 KiB
[startup+17.6012 s]
/proc/loadavg: 2.84 2.08 1.96 3/240 10677
/proc/meminfo: memFree=14829444/32770624 swapFree=66957008/67108860
[pid=10638] ppid=10635 vsize=113128 memory=1476 CPUtime=20.67 cores=1,3,5,7
/proc/10638/stat : 10638 (scop.sh) S 10635 10638 8853 0 -1 4202496 584 33137 0 0 0 0 2004 63 20 0 1 0 404541932 115843072 369 33554432000 4194304 5098028 140732816323952 140732816320696 140004997141116 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 20361216 140732816327464 140732816327792 140732816327792 140732816330701 0
/proc/10638/statm: 28282 369 311 221 0 87 0
[pid=10657] ppid=10638 vsize=8068440 memory=119908 CPUtime=6.54 cores=1,3,5,7
/proc/10657/stat : 10657 (java) S 10638 10638 8853 0 -1 1077944320 19971 58475 0 0 112 6 523 13 20 0 18 0 404543084 8262082560 29977 33554432000 4194304 4196468 140734197703776 140734197686320 140436959309559 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38076416 140734197707771 140734197707930 140734197707930 140734197710799 0
/proc/10657/statm: 2017110 29977 3201 1 0 1978454 0
[pid=10657/tid=10658] ppid=10638 vsize=8068440 memory=-7824251494390585445 CPUtime=6.1 cores=1,3,5,7
/proc/10657/task/10658/stat : 10658 (java) S 10638 10638 8853 0 -1 1077944384 16868 58475 0 0 70 4 523 13 20 0 18 0 404543084 8262082560 29977 33554432000 4194304 4196468 140734197703776 140436931149728 140436959319765 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38076416 140734197707771 140734197707930 140734197707930 140734197710799 0
[pid=10657/tid=10659] ppid=10638 vsize=8068440 memory=1436 CPUtime=5.36 cores=1,3,5,7
/proc/10657/task/10659/stat : 10659 (java) S 10638 10638 8853 0 -1 1077944384 1 58475 0 0 0 0 523 13 20 0 18 0 404543085 8262082560 29977 33554432000 4194304 4196468 140734197703776 140436963552272 140436959319765 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38076416 140734197707771 140734197707930 140734197707930 140734197710799 0
[pid=10657/tid=10660] ppid=10638 vsize=8068440 memory=0 CPUtime=5.36 cores=1,3,5,7
/proc/10657/task/10660/stat : 10660 (java) S 10638 10638 8853 0 -1 1077944384 1 58475 0 0 0 0 523 13 20 0 18 0 404543085 8262082560 29977 33554432000 4194304 4196468 140734197703776 140436777708688 140436959319765 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38076416 140734197707771 140734197707930 140734197707930 140734197710799 0
[pid=10657/tid=10661] ppid=10638 vsize=8068440 memory=0 CPUtime=5.36 cores=1,3,5,7
/proc/10657/task/10661/stat : 10661 (java) S 10638 10638 8853 0 -1 1077944384 1 58475 0 0 0 0 523 13 20 0 18 0 404543085 8262082560 29977 33554432000 4194304 4196468 140734197703776 140436776655632 140436959319765 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38076416 140734197707771 140734197707930 140734197707930 140734197710799 0
[pid=10657/tid=10662] ppid=10638 vsize=8068440 memory=356 CPUtime=5.36 cores=1,3,5,7
/proc/10657/task/10662/stat : 10662 (java) S 10638 10638 8853 0 -1 1077944384 2 58475 0 0 0 0 523 13 20 0 18 0 404543085 8262082560 29977 33554432000 4194304 4196468 140734197703776 140436775603088 140436959319765 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38076416 140734197707771 140734197707930 140734197707930 140734197710799 0
[pid=10657/tid=10663] ppid=10638 vsize=8068440 memory=37212 CPUtime=5.36 cores=1,3,5,7
/proc/10657/task/10663/stat : 10663 (java) S 10638 10638 8853 0 -1 1077944384 7 58475 0 0 0 0 523 13 20 0 18 0 404543087 8262082560 29977 33554432000 4194304 4196468 140734197703776 140436002765040 140436959320706 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38076416 140734197707771 140734197707930 140734197707930 140734197710799 0
[pid=10657/tid=10664] ppid=10638 vsize=8068440 memory=2020 CPUtime=5.36 cores=1,3,5,7
/proc/10657/task/10664/stat : 10664 (java) S 10638 10638 8853 0 -1 1077944384 13 58475 0 0 0 0 523 13 20 0 18 0 404543087 8262082560 29977 33554432000 4194304 4196468 140734197703776 140435901113504 140436959319765 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38076416 140734197707771 140734197707930 140734197707930 140734197710799 0
[pid=10657/tid=10665] ppid=10638 vsize=8068440 memory=988 CPUtime=5.36 cores=1,3,5,7
/proc/10657/task/10665/stat : 10665 (java) S 10638 10638 8853 0 -1 1077944384 1 58475 0 0 0 0 523 13 20 0 18 0 404543087 8262082560 29977 33554432000 4194304 4196468 140734197703776 140435632677616 140436959319765 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38076416 140734197707771 140734197707930 140734197707930 140734197710799 0
[pid=10657/tid=10666] ppid=10638 vsize=8068440 memory=149572 CPUtime=5.36 cores=1,3,5,7
/proc/10657/task/10666/stat : 10666 (java) S 10638 10638 8853 0 -1 1077944384 3 58475 0 0 0 0 523 13 20 0 18 0 404543090 8262082560 29977 33554432000 4194304 4196468 140734197703776 140435258169296 140436959328155 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38076416 140734197707771 140734197707930 140734197707930 140734197710799 0
[pid=10657/tid=10667] ppid=10638 vsize=8068440 memory=1897 CPUtime=5.45 cores=1,3,5,7
/proc/10657/task/10667/stat : 10667 (java) R 10638 10638 8853 0 -1 1077944384 594 58475 0 0 9 0 523 13 20 0 18 0 404543090 8262082560 29977 33554432000 4194304 4196468 140734197703776 140436001704832 140436959319765 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38076416 140734197707771 140734197707930 140734197707930 140734197710799 0
[pid=10657/tid=10668] ppid=10638 vsize=8068440 memory=80 CPUtime=5.45 cores=1,3,5,7
/proc/10657/task/10668/stat : 10668 (java) R 10638 10638 8853 0 -1 1077944384 455 58475 0 0 9 0 523 13 20 0 18 0 404543090 8262082560 29977 33554432000 4194304 4196468 140734197703776 140436000660336 140436959320706 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38076416 140734197707771 140734197707930 140734197707930 140734197710799 0
[pid=10657/tid=10669] ppid=10638 vsize=8068440 memory=988 CPUtime=5.57 cores=1,3,5,7
/proc/10657/task/10669/stat : 10669 (java) R 10638 10638 8853 0 -1 4202560 631 58475 0 0 21 0 523 13 20 0 18 0 404543090 8262082560 29977 33554432000 4194304 4196468 140734197703776 140435999604216 140436943353189 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38076416 140734197707771 140734197707930 140734197707930 140734197710799 0
[pid=10657/tid=10670] ppid=10638 vsize=8068440 memory=1368 CPUtime=5.36 cores=1,3,5,7
/proc/10657/task/10670/stat : 10670 (java) S 10638 10638 8853 0 -1 1077944384 3 58475 0 0 0 0 523 13 20 0 18 0 404543090 8262082560 29977 33554432000 4194304 4196468 140734197703776 140434760264544 140436959319765 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38076416 140734197707771 140734197707930 140734197707930 140734197710799 0
[pid=10657/tid=10671] ppid=10638 vsize=8068440 memory=1056 CPUtime=5.36 cores=1,3,5,7
/proc/10657/task/10671/stat : 10671 (java) S 10638 10638 8853 0 -1 1077944384 3 58475 0 0 0 0 523 13 20 0 18 0 404543090 8262082560 29977 33554432000 4194304 4196468 140734197703776 140435998554672 140436959320706 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 24 0 0 6293624 6294260 38076416 140734197707771 140734197707930 140734197707930 140734197710799 0
[pid=10657/tid=10673] ppid=10638 vsize=8068440 memory=74 CPUtime=5.36 cores=1,3,5,7
/proc/10657/task/10673/stat : 10673 (java) S 10638 10638 8853 0 -1 1077944384 26 58475 0 0 0 0 523 13 20 0 18 0 404543155 8262082560 29977 33554432000 4194304 4196468 140734197703776 140436438295056 140436959320706 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38076416 140734197707771 140734197707930 140734197707930 140734197710799 0
[pid=10657/tid=10675] ppid=10638 vsize=8068440 memory=0 CPUtime=5.37 cores=1,3,5,7
/proc/10657/task/10675/stat : 10675 (java) R 10638 10638 8853 0 -1 4202560 40 58475 0 0 1 0 523 13 20 0 18 0 404543156 8262082560 29977 33554432000 4194304 4196468 140734197703776 140434223385984 140436456851040 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38076416 140734197707771 140734197707930 140734197707930 140734197710799 0
[pid=10657/tid=10677] ppid=10638 vsize=8068440 memory=116 CPUtime=5.36 cores=1,3,5,7
/proc/10657/task/10677/stat : 10677 (java) S 10638 10638 8853 0 -1 1077944384 4 58475 0 0 0 0 523 13 20 0 18 0 404543159 8262082560 29977 33554432000 4194304 4196468 140734197703776 140433954954816 140436959319765 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38076416 140734197707771 140734197707930 140734197707930 140734197710799 0
Current children cumulated CPU time: 27.21 s
Current children cumulated vsize: 8181568 KiB
Current children cumulated memory: 121384 KiB
Child status: 0
Real time (s): 17.6165
CPU time (s): 27.268
CPU user time (s): 26.4211
CPU system time (s): 0.846935
CPU usage (%): 154.787
Max. virtual memory (cumulated for all children) (KiB): 15140432
Max. memory (cumulated for all children) (KiB): 3046032
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 26.4211
system time used= 0.846935
maximum resident set size= 3046728
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 112260
page faults= 0
swaps= 0
block input operations= 0
block output operations= 55448
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6034
involuntary context switches= 67
# summary of solver processes directly reported to runsolver:
# pid: 10638
# total CPU time (s): 27.268
# total CPU user time (s): 26.4211
# total CPU system time (s): 0.846935
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.13531 second user time and 0.236794 second system time
The end