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-15023-serial-file.bin HOME/instance-4388388-1568299123.xml
0.67/0.53
0.67/0.53 Fun-sCOP order+glueminisat-simp-2.2.10-193oa-n-release (2019-06-15)
0.67/0.53
0.67/0.55 c BEGIN-Prog: Thu Sep 12 16:38:00 CEST 2019
0.67/0.55 c PID: 15026
0.67/0.55 c IP: 172.20.3.147
0.67/0.55 c HOST: node147.alineos.net
0.67/0.56 c (0,0) Parsing Begin
5.05/1.94 c (1,1) Parsing End
5.05/1.95 c (1,1) CSP: 680 int (0 aux), 0 bool (0 aux), 4103 ctr, max domain size 39
5.05/1.95 c (1,1) Heap : 507 MiB used (max 10795 MiB), NonHeap : 24 MiB used (max 0 MiB)
5.05/1.95 c (1,1) Constraint Name Generate Begin
5.05/1.99 c (1,1) Ctr:HOME/instance-4388388-1568299123.xml,Dist:Eq:Le:Num:Var
5.05/1.99 c (1,1) Constraint Name Generate End
5.05/1.99 c (1,1) Heap : 507 MiB used (max 10795 MiB), NonHeap : 25 MiB used (max 0 MiB)
5.05/1.99 c (1,1) CSP to CSPinCNF Begin
6.04/2.26 c (1,1) translated 411 (10%) constraints
6.38/2.34 c (1,1) translated 821 (20%) constraints
6.68/2.41 c (1,1) translated 1231 (30%) constraints
6.68/2.47 c (1,1) translated 1642 (40%) constraints
6.99/2.52 c (1,1) translated 2052 (50%) constraints
6.99/2.57 c (2,2) translated 2462 (60%) constraints
7.29/2.62 c (2,2) translated 2873 (70%) constraints
7.29/2.66 c (2,2) translated 3283 (80%) constraints
7.59/2.71 c (2,2) translated 3693 (90%) constraints
7.91/2.81 c (2,2) translated 4103 (100%) constraints
7.91/2.81 c (2,2) ===========================================
7.91/2.82 c (2,2) Order
7.91/2.82 c (2,2) ===========================================
7.91/2.85 c (2,2) translated 479 (10%) constraints
7.91/2.87 c (2,2) translated 957 (20%) constraints
7.91/2.88 c (2,2) translated 1435 (30%) constraints
8.24/2.90 c (2,2) translated 1914 (40%) constraints
8.24/2.92 c (2,2) translated 2392 (50%) constraints
8.24/2.93 c (2,2) translated 2870 (60%) constraints
8.24/2.95 c (2,2) translated 3349 (70%) constraints
8.24/2.96 c (2,2) translated 3827 (80%) constraints
8.24/2.98 c (2,2) translated 4305 (90%) constraints
8.24/2.99 c (2,2) translated 4783 (100%) constraints
8.24/2.99 c (2,2) CSP to CSPinCNF End
8.24/2.99 c (2,2) CSP: 680 int (0 aux), 0 bool (0 aux), 4783 ctr, max domain size 39
8.24/2.99 c (2,2) Heap : 676 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
8.24/2.99 c (2,2) CSPinCNF Propagation Begin
8.62/3.08 c (2,2) 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed
8.62/3.08 c (2,2) CSPinCNF Propagation End
8.62/3.08 c (2,2) CSP: 680 int (0 aux), 0 bool (0 aux), 4783 ctr, max domain size 39
8.62/3.08 c (2,2) Heap : 676 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
8.62/3.09 c (2,2) Simplify CSPinCNF Begin
9.49/3.33 c (2,2) Simplify CSPinCNF End
9.49/3.33 c (2,2) CSP: 680 int (0 aux), 8206 bool (8206 aux), 12989 ctr, max domain size 39
9.49/3.33 c (2,2) Heap : 732 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
9.49/3.33 c (2,2) Calculate Precise Domain Begin
9.49/3.33 c (2,2) 0 values are removed by re-calculation
9.49/3.33 c (2,2) Calculate Precise Domain End
9.49/3.34 c (2,2) CSP: 680 int (0 aux), 8206 bool (8206 aux), 12989 ctr, max domain size 39
9.49/3.34 c (2,2) Heap : 732 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
9.49/3.34 c (2,2) CSPinCNF to SatSolver Begin
11.46/3.94 c (3,3) 1299 (10 %) CSP clauses are encoded (0 SAT variables, 50505 SAT clauses)
12.07/4.14 c (3,3) 2598 (20 %) CSP clauses are encoded (0 SAT variables, 78073 SAT clauses)
12.53/4.30 c (3,3) 3897 (30 %) CSP clauses are encoded (0 SAT variables, 103483 SAT clauses)
12.69/4.44 c (3,3) 5196 (40 %) CSP clauses are encoded (0 SAT variables, 131265 SAT clauses)
12.81/4.58 c (4,4) 6495 (50 %) CSP clauses are encoded (0 SAT variables, 160135 SAT clauses)
13.04/4.72 c (4,4) 7794 (60 %) CSP clauses are encoded (0 SAT variables, 189589 SAT clauses)
13.17/4.86 c (4,4) 9093 (70 %) CSP clauses are encoded (0 SAT variables, 218811 SAT clauses)
13.29/5.00 c (4,4) 10392 (80 %) CSP clauses are encoded (0 SAT variables, 248167 SAT clauses)
13.59/5.14 c (4,4) 11691 (90 %) CSP clauses are encoded (0 SAT variables, 276483 SAT clauses)
13.94/5.32 c (4,4) 12989 (100 %) CSP clauses are encoded (0 SAT variables, 302440 SAT clauses)
13.94/5.32 c (4,4) CSPinCNF to SatSolver End
13.94/5.33 c (4,4) Heap : 1802 MiB used (max 10795 MiB), NonHeap : 34 MiB used (max 0 MiB)
13.94/5.33 c (4,4) 31386 bool, 302452 clause
13.94/5.33 c (4,4) Export Begin
14.67/5.60 c (5,4) Export to HOME/scop-15023-serial-file.bin
14.67/5.60 c (5,4) Export End
14.67/5.60 c (5,5) Export File Size: 4.12 MB
14.67/5.60 c (5,5) 1,1,2,2,2,2,4,STOP-AFTER(DIMACS)
14.67/5.60 c END-Prog: Thu Sep 12 16:38:05 CEST 2019
14.67/5.63 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-15023-serial-file.bin
15.19/6.09 c (0,0) Read Serial File Begin
15.19/6.09 c (0,0) HOME/scop-15023-serial-file.bin
15.93/6.48 c (0,0) Read Serial File End
15.93/6.49
15.93/6.49 Fun-sCOP order+glueminisat-simp-2.2.10-193oa-n-release (2019-06-15)
15.93/6.49 (Solving Process)
15.93/6.49
16.21/6.51 c BEGIN-Prog: Thu Sep 12 16:38:06 CEST 2019
16.21/6.51 c PID: 15041
16.21/6.51 c IP: 172.20.3.147
16.21/6.51 c HOST: node147.alineos.net
16.21/6.51 c (0,0) SatSolver.solve Begin
16.21/6.51 c (0,0) HOME/glueminisat-simp-2.2.10-193oa-n-release -model -verb=3 -elim-cl=5000000 -native-oa HOME/instance-4388388-1568299123.xml-scop-15026.cnf
16.21/6.55 c (0,0) c WARNING: for repeatability, setting FPU to use double precision
16.21/6.55 c (0,0) c glueminisat-simp-2.2.10-193oa-n
16.21/6.55 c (0,0) c Command: HOME/glueminisat-simp-2.2.10-193oa-n-release -model -verb=3 -elim-cl=5000000 -native-oa HOME/instance-4388388-1568299123.xml-scop-15026.cnf
16.21/6.55 c (0,0) c Options:
16.21/6.55 c (0,0) c CORE
16.21/6.55 c (0,0) c var_decay = 0.950
16.21/6.55 c (0,0) c clause_decay = 0.999
16.21/6.55 c (0,0) c random_var_freq = 0.000
16.21/6.55 c (0,0) c random_seed = 91648253.000
16.21/6.55 c (0,0) c luby_restart = 1
16.21/6.55 c (0,0) c ccmin_mode = 2
16.21/6.55 c (0,0) c phase_saving = 2
16.21/6.55 c (0,0) c rnd_pol = 0
16.21/6.55 c (0,0) c rnd_init_act = 0
16.21/6.55 c (0,0) c garbage_frac = 0.200
16.21/6.55 c (0,0) c restart_first = 1000
16.21/6.55 c (0,0) c restart_inc = 2.000
16.21/6.55 c (0,0) c MODEL
16.21/6.55 c (0,0) c partial_model = 0
16.21/6.55 c (0,0) c PROPAGATION
16.21/6.55 c (0,0) c bin_propagation = 1
16.21/6.55 c (0,0) c SIMPLIFICATION
16.21/6.55 c (0,0) c lrn_min_size = 100
16.21/6.55 c (0,0) c lazy_simp = 1
16.21/6.55 c (0,0) c lazy_interval = 10
16.21/6.55 c (0,0) c lazy_fld_probing = 1
16.21/6.55 c (0,0) c lazy_pol_probing = 1
16.21/6.55 c (0,0) c lazy_nec_probing = 1
16.21/6.55 c (0,0) c lazy_eqv_probing = 1
16.21/6.55 c (0,0) c lazy_cla_probing = 1
16.21/6.55 c (0,0) c lazy_lrn_min = 2
16.21/6.55 c (0,0) c lazy_uw_lit_elim = 1
16.21/6.55 c (0,0) c lazy_pr_lit_elim = 0
16.21/6.55 c (0,0) c lazy_bin_add = 3
16.21/6.55 c (0,0) c probed_lit_chain = 1
16.21/6.55 c (0,0) c pr_min_lits = 0.00020
16.21/6.55 c (0,0) c pr_min_starts = 500
16.21/6.55 c (0,0) c rw_min_lits = 0.010
16.21/6.55 c (0,0) c rw_min_starts = 500
16.21/6.55 c (0,0) c rand_attach = 0
16.21/6.55 c (0,0) c dec_elim = 1
16.21/6.55 c (0,0) c dec_elim_lim = 25
16.21/6.55 c (0,0) c dec_elim_len = -1
16.21/6.55 c (0,0) c amo = 0
16.21/6.55 c (0,0) c amo_grp = 1
16.21/6.55 c (0,0) c amo_max_bins = 1000000
16.21/6.55 c (0,0) c amo_starts = 50
16.21/6.55 c (0,0) c mace_cmd = mace
16.21/6.55 c (0,0) c DECISION
16.21/6.55 c (0,0) c rand_rebuild = 0
16.21/6.55 c (0,0) c rand_rebuild_confs = 10000
16.21/6.55 c (0,0) c inc_var_decay = 1
16.21/6.55 c (0,0) c inc_var_decay_period = 100000
16.21/6.55 c (0,0) c inc_var_decay_init = 0.600
16.21/6.55 c (0,0) c var_decay_mode = 0
16.21/6.55 c (0,0) c var_decay_gain = 0
16.21/6.55 c (0,0) c sloped_var_decay = 1
16.21/6.55 c (0,0) c max_var_decay = 0.990
16.21/6.55 c (0,0) c min_var_decay = 0.950
16.21/6.55 c (0,0) c min_var_decay_vars = 10000
16.21/6.55 c (0,0) c max_var_decay_vars = 500
16.21/6.55 c (0,0) c uip_bumping = 1
16.21/6.55 c (0,0) c lbd_act_bumping = 1
16.21/6.55 c (0,0) c rand_tiebreak = 0
16.21/6.55 c (0,0) c simp_rebuild = 1
16.21/6.55 c (0,0) c RESTART
16.21/6.55 c (0,0) c restart_strategy = 2
16.21/6.55 c (0,0) c restart_blocking = 0
16.21/6.55 c (0,0) c agility_decay = 0.99990
16.21/6.55 c (0,0) c lbd_restart_rate = 0.800
16.21/6.55 c (0,0) c dec_restart_rate = 0.950
16.21/6.55 c (0,0) c blk_restart_rate = 0.700
16.21/6.55 c (0,0) c lbd_queue_size = 50
16.21/6.55 c (0,0) c dec_queue_size = 50
16.21/6.55 c (0,0) c trl_queue_size = 5000
16.21/6.55 c (0,0) c blk_restart_weight = 1.000
16.21/6.55 c (0,0) c inc_rst_rate = 0
16.21/6.55 c (0,0) c inc_rst_rate_period = 500000
16.21/6.55 c (0,0) c inc_lbd_rst_rate_init = 0.600
16.21/6.55 c (0,0) c inc_dec_rst_rate_init = 0.750
16.21/6.55 c (0,0) c REDUCTION
16.21/6.55 c (0,0) c closed_lbd = 0
16.21/6.55 c (0,0) c closed_lbd_rate = 0.500
16.21/6.55 c (0,0) c rm_simulate = 0
16.21/6.55 c (0,0) c rdb_eval = 2
16.21/6.55 c (0,0) c rdb_call = 3
16.21/6.55 c (0,0) c rdb_ub = 0.500
16.21/6.55 c (0,0) c core_lbd_cvr = 0.800
16.21/6.55 c (0,0) c supp_lbd_cvr = 0.990
16.21/6.55 c (0,0) c core_lbd_lb = 2
16.21/6.55 c (0,0) c supp_lbd_lb = 2
16.21/6.55 c (0,0) c core_lbd_prd = 7
16.21/6.55 c (0,0) c supp_lbd_prd = 1
16.21/6.55 c (0,0) c othr_lbd_prd = 0
16.21/6.55 c (0,0) c inc_lrn_limit = 1000
16.21/6.55 c (0,0) c frozen_lbd = 30
16.21/6.55 c (0,0) c simp_min_starts = 100
16.21/6.55 c (0,0) c rm_low_act_learnts = 1
16.21/6.55 c (0,0) c lv0_reduce_db = 0
16.21/6.55 c (0,0) c reduce_db_base = 20000
16.21/6.55 c (0,0) c reduce_db_inc = 1000
16.21/6.55 c (0,0) c HARD
16.21/6.55 c (0,0) c inst_check = 200000
16.21/6.55 c (0,0) c small_block = 1.750
16.21/6.55 c (0,0) c slow_restart_speed = 400.000
16.21/6.55 c (0,0) c slow_restart_strategy = 3
16.21/6.55 c (0,0) c slow_lbd_restart_rate = 0.700
16.21/6.55 c (0,0) c slow_dec_restart_rate = 1.000
16.21/6.55 c (0,0) c slow_lbd_queue_size = 50
16.21/6.55 c (0,0) c slow_var_decay = 0.950
16.21/6.55 c (0,0) c slow_glue_threshold = 2
16.21/6.55 c (0,0) c slow_phase_saving = 2
16.21/6.55 c (0,0) c fast_restart_speed = 125.000
16.21/6.55 c (0,0) c fast_restart_strategy = 1
16.21/6.55 c (0,0) c fast_lbd_restart_rate = 0.800
16.21/6.55 c (0,0) c fast_dec_restart_rate = 0.950
16.21/6.55 c (0,0) c fast_lbd_queue_size = 50
16.21/6.55 c (0,0) c fast_var_decay = 1.000
16.21/6.55 c (0,0) c fast_glue_threshold = 2
16.21/6.55 c (0,0) c fast_phase_saving = 2
16.21/6.55 c (0,0) c STATS
16.21/6.55 c (0,0) c stats_conf_size = 10000
16.21/6.55 c (0,0) c max_stats_size = 30
16.21/6.55 c (0,0) c SOLVER
16.21/6.55 c (0,0) c minisat = 0
16.44/6.66 c (0,0) c Problem: 31386 variables, 302452 clauses, parsing 0.11 s
16.46/6.99 c (0,0) c reduced to 27164 variables, 295754 clauses (grow = 0)
16.46/7.01 c (0,0) c exclude 9 (0.0%) variables from decision variables (last cost 24)
16.92/7.03 c (1,0) c Simplification: 4231 vars, 6698 clauses are eliminated using 0.36 s
16.92/7.03 c (1,0) c
16.92/7.03 c (1,0) c #Rstrts #Confs #Vars #Clauses #Learnts Lits/C LBD/C DLVs Trail
16.92/7.03 c (1,0) c
16.92/7.03 c (1,0) c 0 0 0 27155 295754 0 -nan -nan -nan -nan%
16.92/7.05 c (1,0) c 0 1 100 27155 295754 100 9.1 6.3 460.8 38.7%
16.92/7.06 c (1,0) c 0 1 220 27155 295754 220 10.6 6.8 432.4 35.8%
16.92/7.07 c (1,0) c 0 1 364 27155 295754 364 11.3 7.0 386.5 31.2%
16.92/7.08 c (1,0) c 0 1 536 27155 295754 536 10.8 6.6 351.1 27.7%
16.92/7.10 c (1,0) c 0 1 743 27155 295754 743 10.6 6.3 297.5 23.5%
17.01/7.12 c (1,0) c 0 1 991 27155 295754 991 10.6 6.1 248.4 19.7%
17.01/7.14 c (1,0) c 0 1 1289 27155 295754 1291 10.5 5.8 213.1 17.1%
17.01/7.16 c (1,0) c 0 1 1647 27155 295754 1650 10.6 5.6 187.4 15.2%
17.01/7.18 c (1,0) c 0 1 2076 27155 295754 2080 10.7 5.5 168.5 13.7%
17.10/7.22 c (1,0) c 0 1 2591 27155 295754 2596 10.8 5.3 153.8 12.7%
17.10/7.26 c (1,0) c 0 1 3210 27155 295754 3218 10.9 5.0 142.2 11.8%
17.21/7.31 c (1,0) c 0 1 3953 27132 295754 3963 10.9 4.8 124.2 10.6%
17.21/7.37 c (1,0) c 0 1 4844 27110 295754 4857 10.8 4.6 102.9 9.1%
17.30/7.43 c (1,0) c 0 1 5776 26260 295754 5785 10.6 4.4 87.3 8.0%
17.30/7.43 c (1,0) c
17.30/7.43 c (1,0) c
17.30/7.43 c (1,0) c variables : 26260 (init 31386, after simp 27155, 9 non-decs, 680 csp)
17.30/7.43 c (1,0) c clauses : 295754 (init 302452, after simp 295754)
17.30/7.43 c (1,0) c restarts : 0 (5776.00 confs/res, 5776~5776 confs, 0 blks, 0 last)
17.30/7.43 c (1,0) c conflicts : 5776 (6759 /sec, 53.88% dconfs, 0.00% supp, trail 60.05w x 87.35h, jmp 1.36h)
17.30/7.43 c (1,0) c decisions : 7860 (0.6200 vdcy, 9197 /sec, 0.00% bin, rs 0.001 s)
17.30/7.43 c (1,0) c propagations : 1327938 (1553849 /sec, 168.95 lits/dec, 28.99% o.a.)
17.30/7.43 c (1,0) c conflict literals : 92986 (32.72% deleted; 1.67% by bin min, 0.001 s)
17.30/7.43 c (1,0) c len : 10.551 (10.56 for all, max 34, used 31)
17.30/7.43 c (1,0) c lbd : 4.409 (5.66 (4.41) for all, max 18, used 17, 1.325 stdev, 1.865 blk)
17.30/7.43 c (1,0) c amo : 0 (0 max, -nan avg, 0.000 s)
17.30/7.43 c (1,0) c simp dbs : 1 (0.000 s)
17.30/7.43 c (1,0) c reduce dbs : 0 (core-lbd 2, supp-lbd 2147483647, 0.000 s)
17.30/7.43 c (1,0) c learnts : 5785 (0 learnts removed, 0.00%)
17.30/7.43 c (1,0) c rewrite dbs : 0 (0/0 vars, 0+0 taut, 0+0 unit, 0.000 s)
17.30/7.43 c (1,0) c assigned lits : 0 (0/1 probed, 1 remains)
17.30/7.43 c (1,0) c premise updates : 0 (0.00 /lit)
17.30/7.43 c (1,0) c probed variables : 1 (0 pr, 0 eq, 0 fld, 0 pol, 0 nec, 1 cla, 0 amo)
17.30/7.43 c (1,0) c equiv variables : 0 (0 bin, 0 trn, 0 quat, 0 quin, 0 othr; 0 amo)
17.30/7.43 c (1,0) c lazy added bins : 21 (21 prop + 0 conf, 0.001s)
17.30/7.43 c (1,0) c unwatched lit elim: 720 (0.01+0.70%, 73+647 of 833044+92986)
17.30/7.43 c (1,0) c classified type : undef
17.30/7.43 c (1,0) c progress : 3.296 %
17.30/7.43 c (1,0) c
17.30/7.43 c (1,0) c [Statistics]
17.30/7.43 c (1,0) c learnts len learnts lbd lit blk size eq vars size
17.30/7.43 c (1,0) c tot 5775 5775 32703 0
17.30/7.43 c (1,0) c avg 10.564 4.411 1.865 -nan
17.30/7.43 c (1,0) c 1 11 ( 0.2%) 87 ( 1.5%) 22047 (67.4%) 0 (-nan%)
17.30/7.43 c (1,0) c 2 43 ( 0.7%) 1461 (25.3%) 4690 (14.3%) 0 (-nan%)
17.30/7.43 c (1,0) c 3 253 ( 4.4%) 877 (15.2%) 2209 ( 6.8%) 0 (-nan%)
17.30/7.43 c (1,0) c 4 247 ( 4.3%) 874 (15.1%) 1312 ( 4.0%) 0 (-nan%)
17.30/7.43 c (1,0) c 5 518 ( 9.0%) 779 (13.5%) 746 ( 2.3%) 0 (-nan%)
17.30/7.43 c (1,0) c 6 563 ( 9.7%) 639 (11.1%) 544 ( 1.7%) 0 (-nan%)
17.30/7.43 c (1,0) c 7 414 ( 7.2%) 488 ( 8.5%) 348 ( 1.1%) 0 (-nan%)
17.30/7.43 c (1,0) c 8 409 ( 7.1%) 274 ( 4.7%) 250 ( 0.8%) 0 (-nan%)
17.30/7.43 c (1,0) c 9 380 ( 6.6%) 143 ( 2.5%) 166 ( 0.5%) 0 (-nan%)
17.30/7.43 c (1,0) c 10 343 ( 5.9%) 70 ( 1.2%) 111 ( 0.3%) 0 (-nan%)
17.30/7.43 c (1,0) c 11 398 ( 6.9%) 32 ( 0.6%) 90 ( 0.3%) 0 (-nan%)
17.30/7.43 c (1,0) c 12 323 ( 5.6%) 25 ( 0.4%) 59 ( 0.2%) 0 (-nan%)
17.30/7.43 c (1,0) c 13 300 ( 5.2%) 13 ( 0.2%) 42 ( 0.1%) 0 (-nan%)
17.30/7.43 c (1,0) c 14 258 ( 4.5%) 8 ( 0.1%) 30 ( 0.1%) 0 (-nan%)
17.30/7.43 c (1,0) c 15 256 ( 4.4%) 2 ( 0.0%) 14 ( 0.0%) 0 (-nan%)
17.30/7.43 c (1,0) c 16 197 ( 3.4%) 1 ( 0.0%) 14 ( 0.0%) 0 (-nan%)
17.30/7.43 c (1,0) c 17 187 ( 3.2%) 2 ( 0.0%) 9 ( 0.0%) 0 (-nan%)
17.30/7.43 c (1,0) c 18 133 ( 2.3%) 0 ( 0.0%) 15 ( 0.0%) 0 (-nan%)
17.30/7.43 c (1,0) c 19 120 ( 2.1%) 0 ( 0.0%) 2 ( 0.0%) 0 (-nan%)
17.30/7.43 c (1,0) c 20 93 ( 1.6%) 0 ( 0.0%) 1 ( 0.0%) 0 (-nan%)
17.30/7.43 c (1,0) c 21 84 ( 1.5%) 0 ( 0.0%) 2 ( 0.0%) 0 (-nan%)
17.30/7.43 c (1,0) c 22 68 ( 1.2%) 0 ( 0.0%) 1 ( 0.0%) 0 (-nan%)
17.30/7.43 c (1,0) c 23 55 ( 1.0%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
17.30/7.43 c (1,0) c 24 30 ( 0.5%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
17.30/7.43 c (1,0) c 25 32 ( 0.6%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
17.30/7.43 c (1,0) c 26 25 ( 0.4%) 0 ( 0.0%) 1 ( 0.0%) 0 (-nan%)
17.30/7.43 c (1,0) c 27 14 ( 0.2%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
17.30/7.44 c (1,0) c 28 7 ( 0.1%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
17.30/7.44 c (1,0) c 29 4 ( 0.1%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
17.30/7.44 c (1,0) c 30 10 ( 0.2%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
17.30/7.44 c (1,0) c
17.30/7.44 c (1,0) c [LBD Statistics]
17.30/7.44 c (1,0) c LBD used lbd used clause lbd unused clause lbd
17.30/7.44 c (1,0) c tot 31031 3061 2724
17.30/7.44 c (1,0) c avg 2.672 3.474 5.459
17.30/7.44 c (1,0) c 1 951 ( 3.1/ 3.1%) 76 ( 2.5/ 2.5%) 0 ( 0.0/ 0.0%)
17.30/7.44 c (1,0) c 2 19393 (62.5/65.6%) 1246 (40.7/43.2%) 236 ( 8.7/ 8.7%)
17.30/7.44 c (1,0) c 3 5262 (17.0/82.5%) 565 (18.5/61.6%) 312 (11.5/20.1%)
17.30/7.44 c (1,0) c 4 2612 ( 8.4/90.9%) 421 (13.8/75.4%) 453 (16.6/36.7%)
17.30/7.44 c (1,0) c 5 1418 ( 4.6/95.5%) 308 (10.1/85.5%) 471 (17.3/54.0%)
17.30/7.44 c (1,0) c 6 667 ( 2.1/97.7%) 209 ( 6.8/92.3%) 430 (15.8/69.8%)
17.30/7.44 c (1,0) c 7 353 ( 1.1/98.8%) 127 ( 4.1/96.4%) 361 (13.3/83.1%)
17.30/7.44 c (1,0) c 8 190 ( 0.6/99.4%) 57 ( 1.9/98.3%) 217 ( 8.0/91.0%)
17.30/7.44 c (1,0) c 9 88 ( 0.3/99.7%) 21 ( 0.7/99.0%) 122 ( 4.5/95.5%)
17.30/7.44 c (1,0) c 10 54 ( 0.2/99.9%) 12 ( 0.4/99.4%) 58 ( 2.1/97.7%)
17.30/7.44 c (1,0) c 11 15 ( 0.0/99.9%) 6 ( 0.2/99.6%) 26 ( 1.0/98.6%)
17.30/7.44 c (1,0) c 12 7 ( 0.0/99.9%) 3 ( 0.1/99.7%) 22 ( 0.8/99.4%)
17.30/7.44 c (1,0) c 13 10 ( 0.0/100.0%) 5 ( 0.2/99.8%) 8 ( 0.3/99.7%)
17.30/7.44 c (1,0) c 14 7 ( 0.0/100.0%) 4 ( 0.1/100.0%) 4 ( 0.1/99.9%)
17.30/7.44 c (1,0) c 15 1 ( 0.0/100.0%) 1 ( 0.0/100.0%) 1 ( 0.0/99.9%)
17.30/7.44 c (1,0) c 16 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 1 ( 0.0/99.9%)
17.30/7.44 c (1,0) c 17 3 ( 0.0/100.0%) 0 ( 0.0/100.0%) 2 ( 0.1/100.0%)
17.30/7.44 c (1,0) c
17.30/7.44 c (1,0) c Memory used : 66.00 MB
17.30/7.44 c (1,0) c CPU time : 0.855 s
17.30/7.44 c (1,0) c Real time : 0.897 s
17.30/7.44 c (1,0) c
17.30/7.44 c (1,0) s UNSATISFIABLE
17.30/7.44 c (1,0) SatSolver.solve End
17.30/7.44 c (1,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB)
17.30/7.44 c (1,0) Show results Begin
17.30/7.44 s UNSATISFIABLE
17.30/7.44 c (1,0) Show results End
17.30/7.44 c (1,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB)
17.30/7.44 c (1,0) 1,1,STOP-AFTER(ALL)
17.30/7.44 c END-Prog: Thu Sep 12 16:38:07 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 (8521 MiB free)
memory of node 1: 16384 MiB (14285 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4388388-1568299123/watcher-4388388-1568299123 -o /tmp/evaluation-result-4388388-1568299123/solver-4388388-1568299123 -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-4388388-1568299123.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=15023, runsolver pid=15020
[startup+0.100095 s]*
/proc/loadavg: 2.20 2.15 2.10 3/229 15040
/proc/meminfo: memFree=23296724/32770624 swapFree=66957008/67108860
[pid=15023] ppid=15020 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/15023/stat : 15023 (scop.sh) S 15020 15023 8853 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405826148 115843072 349 33554432000 4194304 5098028 140734660355792 140734660353048 140608788947580 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 15896576 140734660358952 140734660359280 140734660359280 140734660362189 0
/proc/15023/statm: 28282 349 296 221 0 87 0
[pid=15026] ppid=15023 vsize=15012696 memory=70584 CPUtime=0.11 cores=1,3,5,7
/proc/15026/stat : 15026 (java) S 15023 15023 8853 0 -1 1077944320 6920 0 0 0 9 2 0 0 20 0 15 0 405826148 15373000704 17646 33554432000 4194304 4196468 140722358577312 140722358559856 140533060132599 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33718272 140722358579950 140722358580378 140722358580378 140722358583247 0
/proc/15026/statm: 3753174 17646 2912 1 0 3715579 0
[pid=15026/tid=15027] ppid=15023 vsize=15012696 memory=-6673890911685660454 CPUtime=0.09 cores=1,3,5,7
/proc/15026/task/15027/stat : 15027 (java) R 15023 15023 8853 0 -1 4202560 4786 0 0 0 7 2 0 0 20 0 15 0 405826149 15373000704 17712 33554432000 4194304 4196468 140722358577312 140533031927760 140533044213086 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33718272 140722358579950 140722358580378 140722358580378 140722358583247 0
[pid=15026/tid=15028] ppid=15023 vsize=15012696 memory=-3689349214911541841 CPUtime=0 cores=1,3,5,7
/proc/15026/task/15028/stat : 15028 (java) S 15023 15023 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405826150 15373000704 17712 33554432000 4194304 4196468 140722358577312 140533064375184 140533060142805 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33718272 140722358579950 140722358580378 140722358580378 140722358583247 0
[pid=15026/tid=15029] ppid=15023 vsize=15012696 memory=139643151799936 CPUtime=0 cores=1,3,5,7
/proc/15026/task/15029/stat : 15029 (java) S 15023 15023 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405826150 15373000704 17712 33554432000 4194304 4196468 140722358577312 140532878531344 140533060142805 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33718272 140722358579950 140722358580378 140722358580378 140722358583247 0
[pid=15026/tid=15030] ppid=15023 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15026/task/15030/stat : 15030 (java) S 15023 15023 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405826150 15373000704 17712 33554432000 4194304 4196468 140722358577312 140532877479056 140533060142805 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33718272 140722358579950 140722358580378 140722358580378 140722358583247 0
[pid=15026/tid=15031] ppid=15023 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15026/task/15031/stat : 15031 (java) S 15023 15023 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405826150 15373000704 17712 33554432000 4194304 4196468 140722358577312 140532876426256 140533060142805 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33718272 140722358579950 140722358580378 140722358580378 140722358583247 0
[pid=15026/tid=15032] ppid=15023 vsize=15012696 memory=139643151799936 CPUtime=0 cores=1,3,5,7
/proc/15026/task/15032/stat : 15032 (java) S 15023 15023 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405826152 15373000704 17712 33554432000 4194304 4196468 140722358577312 140532097783920 140533060143746 0 0 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33718272 140722358579950 140722358580378 140722358580378 140722358583247 0
[pid=15026/tid=15033] ppid=15023 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15026/task/15033/stat : 15033 (java) S 15023 15023 8853 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405826152 15373000704 17712 33554432000 4194304 4196468 140722358577312 140531464135456 140533060142805 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33718272 140722358579950 140722358580378 140722358580378 140722358583247 0
[pid=15026/tid=15034] ppid=15023 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15026/task/15034/stat : 15034 (java) S 15023 15023 8853 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 405826152 15373000704 17712 33554432000 4194304 4196468 140722358577312 140531329913968 140533060142805 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33718272 140722358579950 140722358580378 140722358580378 140722358583247 0
[pid=15026/tid=15035] ppid=15023 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15026/task/15035/stat : 15035 (java) S 15023 15023 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405826155 15373000704 17712 33554432000 4194304 4196468 140722358577312 140530955409488 140533060151195 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33718272 140722358579950 140722358580378 140722358580378 140722358583247 0
[pid=15026/tid=15036] ppid=15023 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15026/task/15036/stat : 15036 (java) S 15023 15023 8853 0 -1 1077944384 438 0 0 0 0 0 0 0 20 0 15 0 405826155 15373000704 17712 33554432000 4194304 4196468 140722358577312 140532096731760 140533060143746 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33718272 140722358579950 140722358580378 140722358580378 140722358583247 0
[pid=15026/tid=15037] ppid=15023 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15026/task/15037/stat : 15037 (java) S 15023 15023 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405826155 15373000704 17712 33554432000 4194304 4196468 140722358577312 140532095678960 140533060143746 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33718272 140722358579950 140722358580378 140722358580378 140722358583247 0
[pid=15026/tid=15038] ppid=15023 vsize=15012696 memory=139643151799936 CPUtime=0.01 cores=1,3,5,7
/proc/15026/task/15038/stat : 15038 (java) R 15023 15023 8853 0 -1 4202560 432 0 0 0 1 0 0 0 20 0 15 0 405826155 15373000704 17712 33554432000 4194304 4196468 140722358577312 140532094626672 140533060144534 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33718272 140722358579950 140722358580378 140722358580378 140722358583247 0
[pid=15026/tid=15039] ppid=15023 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15026/task/15039/stat : 15039 (java) S 15023 15023 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405826155 15373000704 17712 33554432000 4194304 4196468 140722358577312 140530457504736 140533060142805 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33718272 140722358579950 140722358580378 140722358580378 140722358583247 0
[pid=15026/tid=15040] ppid=15023 vsize=15012696 memory=139643151799936 CPUtime=0 cores=1,3,5,7
/proc/15026/task/15040/stat : 15040 (java) S 15023 15023 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405826155 15373000704 17712 33554432000 4194304 4196468 140722358577312 140532093573552 140533060143746 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33718272 140722358579950 140722358580378 140722358580378 140722358583247 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 71980 KiB
[startup+0.210914 s]*
/proc/loadavg: 2.20 2.15 2.10 3/229 15040
/proc/meminfo: memFree=23268604/32770624 swapFree=66957008/67108860
[pid=15023] ppid=15020 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/15023/stat : 15023 (scop.sh) S 15020 15023 8853 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405826148 115843072 349 33554432000 4194304 5098028 140734660355792 140734660353048 140608788947580 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 15896576 140734660358952 140734660359280 140734660359280 140734660362189 0
/proc/15023/statm: 28282 349 296 221 0 87 0
[pid=15026] ppid=15023 vsize=15012696 memory=85920 CPUtime=0.26 cores=1,3,5,7
/proc/15026/stat : 15026 (java) S 15023 15023 8853 0 -1 1077944320 12099 0 0 0 22 4 0 0 20 0 15 0 405826148 15373000704 21480 33554432000 4194304 4196468 140722358577312 140722358559856 140533060132599 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33718272 140722358579950 140722358580378 140722358580378 140722358583247 0
/proc/15026/statm: 3753174 21480 2918 1 0 3715579 0
[pid=15026/tid=15027] ppid=15023 vsize=15012696 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/15026/task/15027/stat : 15027 (java) R 15023 15023 8853 0 -1 4202560 9818 0 0 0 17 3 0 0 20 0 15 0 405826149 15373000704 21480 33554432000 4194304 4196468 140722358577312 140533031949008 140533044213086 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33718272 140722358579950 140722358580378 140722358580378 140722358583247 0
[pid=15026/tid=15028] ppid=15023 vsize=15012696 memory=8952 CPUtime=0 cores=1,3,5,7
/proc/15026/task/15028/stat : 15028 (java) S 15023 15023 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405826150 15373000704 21480 33554432000 4194304 4196468 140722358577312 140533064375184 140533060142805 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33718272 140722358579950 140722358580378 140722358580378 140722358583247 0
[pid=15026/tid=15029] ppid=15023 vsize=15012696 memory=288370019303511680 CPUtime=0 cores=1,3,5,7
/proc/15026/task/15029/stat : 15029 (java) S 15023 15023 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405826150 15373000704 21480 33554432000 4194304 4196468 140722358577312 140532878531344 140533060142805 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33718272 140722358579950 140722358580378 140722358580378 140722358583247 0
[pid=15026/tid=15030] ppid=15023 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15026/task/15030/stat : 15030 (java) S 15023 15023 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405826150 15373000704 21480 33554432000 4194304 4196468 140722358577312 140532877479056 140533060142805 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33718272 140722358579950 140722358580378 140722358580378 140722358583247 0
[pid=15026/tid=15031] ppid=15023 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15026/task/15031/stat : 15031 (java) S 15023 15023 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405826150 15373000704 21480 33554432000 4194304 4196468 140722358577312 140532876426256 140533060142805 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33718272 140722358579950 140722358580378 140722358580378 140722358583247 0
[pid=15026/tid=15032] ppid=15023 vsize=15012696 memory=139643151799936 CPUtime=0 cores=1,3,5,7
/proc/15026/task/15032/stat : 15032 (java) S 15023 15023 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405826152 15373000704 21480 33554432000 4194304 4196468 140722358577312 140532097783920 140533060143746 0 0 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33718272 140722358579950 140722358580378 140722358580378 140722358583247 0
[pid=15026/tid=15033] ppid=15023 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15026/task/15033/stat : 15033 (java) S 15023 15023 8853 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405826152 15373000704 21480 33554432000 4194304 4196468 140722358577312 140531464135456 140533060142805 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33718272 140722358579950 140722358580378 140722358580378 140722358583247 0
[pid=15026/tid=15034] ppid=15023 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15026/task/15034/stat : 15034 (java) S 15023 15023 8853 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 405826152 15373000704 21480 33554432000 4194304 4196468 140722358577312 140531329913968 140533060142805 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33718272 140722358579950 140722358580378 140722358580378 140722358583247 0
[pid=15026/tid=15035] ppid=15023 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15026/task/15035/stat : 15035 (java) S 15023 15023 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405826155 15373000704 21480 33554432000 4194304 4196468 140722358577312 140530955409488 140533060151195 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33718272 140722358579950 140722358580378 140722358580378 140722358583247 0
[pid=15026/tid=15036] ppid=15023 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15026/task/15036/stat : 15036 (java) S 15023 15023 8853 0 -1 1077944384 449 0 0 0 0 0 0 0 20 0 15 0 405826155 15373000704 21480 33554432000 4194304 4196468 140722358577312 140532096731760 140533060143746 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33718272 140722358579950 140722358580378 140722358580378 140722358583247 0
[pid=15026/tid=15037] ppid=15023 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15026/task/15037/stat : 15037 (java) S 15023 15023 8853 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 405826155 15373000704 21480 33554432000 4194304 4196468 140722358577312 140532095678960 140533060143746 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33718272 140722358579950 140722358580378 140722358580378 140722358583247 0
[pid=15026/tid=15038] ppid=15023 vsize=15012696 memory=139643151799936 CPUtime=0.03 cores=1,3,5,7
/proc/15026/task/15038/stat : 15038 (java) R 15023 15023 8853 0 -1 4202560 443 0 0 0 3 0 0 0 20 0 15 0 405826155 15373000704 21480 33554432000 4194304 4196468 140722358577312 140532094626672 140533044325218 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33718272 140722358579950 140722358580378 140722358580378 140722358583247 0
[pid=15026/tid=15039] ppid=15023 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15026/task/15039/stat : 15039 (java) S 15023 15023 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405826155 15373000704 21480 33554432000 4194304 4196468 140722358577312 140530457504736 140533060142805 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33718272 140722358579950 140722358580378 140722358580378 140722358583247 0
[pid=15026/tid=15040] ppid=15023 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15026/task/15040/stat : 15040 (java) S 15023 15023 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405826155 15373000704 21480 33554432000 4194304 4196468 140722358577312 140532093573552 140533060143746 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33718272 140722358579950 140722358580378 140722358580378 140722358583247 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 87316 KiB
[startup+0.310776 s]*
/proc/loadavg: 2.20 2.15 2.10 4/229 15040
/proc/meminfo: memFree=23267636/32770624 swapFree=66957008/67108860
[pid=15023] ppid=15020 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/15023/stat : 15023 (scop.sh) S 15020 15023 8853 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405826148 115843072 349 33554432000 4194304 5098028 140734660355792 140734660353048 140608788947580 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 15896576 140734660358952 140734660359280 140734660359280 140734660362189 0
/proc/15023/statm: 28282 349 296 221 0 87 0
[pid=15026] ppid=15023 vsize=15012696 memory=90132 CPUtime=0.43 cores=1,3,5,7
/proc/15026/stat : 15026 (java) S 15023 15023 8853 0 -1 1077944320 12568 0 0 0 39 4 0 0 20 0 15 0 405826148 15373000704 22533 33554432000 4194304 4196468 140722358577312 140722358559856 140533060132599 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33718272 140722358579950 140722358580378 140722358580378 140722358583247 0
/proc/15026/statm: 3753174 22533 3073 1 0 3715579 0
[pid=15026/tid=15027] ppid=15023 vsize=15012696 memory=6791534058613427641 CPUtime=0.3 cores=1,3,5,7
/proc/15026/task/15027/stat : 15027 (java) R 15023 15023 8853 0 -1 4202560 10106 0 0 0 27 3 0 0 20 0 15 0 405826149 15373000704 22533 33554432000 4194304 4196468 140722358577312 140533031935824 140533041696195 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33718272 140722358579950 140722358580378 140722358580378 140722358583247 0
[pid=15026/tid=15028] ppid=15023 vsize=15012696 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/15026/task/15028/stat : 15028 (java) S 15023 15023 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405826150 15373000704 22533 33554432000 4194304 4196468 140722358577312 140533064375184 140533060142805 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33718272 140722358579950 140722358580378 140722358580378 140722358583247 0
[pid=15026/tid=15029] ppid=15023 vsize=15012696 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/15026/task/15029/stat : 15029 (java) S 15023 15023 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405826150 15373000704 22533 33554432000 4194304 4196468 140722358577312 140532878531344 140533060142805 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33718272 140722358579950 140722358580378 140722358580378 140722358583247 0
[pid=15026/tid=15030] ppid=15023 vsize=15012696 memory=-5587046532246807594 CPUtime=0 cores=1,3,5,7
/proc/15026/task/15030/stat : 15030 (java) S 15023 15023 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405826150 15373000704 22533 33554432000 4194304 4196468 140722358577312 140532877479056 140533060142805 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33718272 140722358579950 140722358580378 140722358580378 140722358583247 0
[pid=15026/tid=15031] ppid=15023 vsize=15012696 memory=7379517702019849078 CPUtime=0 cores=1,3,5,7
/proc/15026/task/15031/stat : 15031 (java) S 15023 15023 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405826150 15373000704 22533 33554432000 4194304 4196468 140722358577312 140532876426256 140533060142805 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33718272 140722358579950 140722358580378 140722358580378 140722358583247 0
[pid=15026/tid=15032] ppid=15023 vsize=15012696 memory=7016714186490735262 CPUtime=0 cores=1,3,5,7
/proc/15026/task/15032/stat : 15032 (java) S 15023 15023 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405826152 15373000704 22533 33554432000 4194304 4196468 140722358577312 140532097783920 140533060143746 0 0 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33718272 140722358579950 140722358580378 140722358580378 140722358583247 0
[pid=15026/tid=15033] ppid=15023 vsize=15012696 memory=-9062862659931694204 CPUtime=0 cores=1,3,5,7
/proc/15026/task/15033/stat : 15033 (java) S 15023 15023 8853 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405826152 15373000704 22533 33554432000 4194304 4196468 140722358577312 140531464135456 140533060142805 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33718272 140722358579950 140722358580378 140722358580378 140722358583247 0
[pid=15026/tid=15034] ppid=15023 vsize=15012696 memory=3047711566422646390 CPUtime=0 cores=1,3,5,7
/proc/15026/task/15034/stat : 15034 (java) S 15023 15023 8853 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 405826152 15373000704 22533 33554432000 4194304 4196468 140722358577312 140531329913968 140533060142805 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33718272 140722358579950 140722358580378 140722358580378 140722358583247 0
[pid=15026/tid=15035] ppid=15023 vsize=15012696 memory=-6664436420846797971 CPUtime=0 cores=1,3,5,7
/proc/15026/task/15035/stat : 15035 (java) S 15023 15023 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405826155 15373000704 22533 33554432000 4194304 4196468 140722358577312 140530955409488 140533060151195 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33718272 140722358579950 140722358580378 140722358580378 140722358583247 0
[pid=15026/tid=15036] ppid=15023 vsize=15012696 memory=4628975386420216973 CPUtime=0.01 cores=1,3,5,7
/proc/15026/task/15036/stat : 15036 (java) S 15023 15023 8853 0 -1 1077944384 470 0 0 0 1 0 0 0 20 0 15 0 405826155 15373000704 22533 33554432000 4194304 4196468 140722358577312 140532096731760 140533060143746 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33718272 140722358579950 140722358580378 140722358580378 140722358583247 0
[pid=15026/tid=15037] ppid=15023 vsize=15012696 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/15026/task/15037/stat : 15037 (java) S 15023 15023 8853 0 -1 1077944384 152 0 0 0 3 0 0 0 20 0 15 0 405826155 15373000704 22533 33554432000 4194304 4196468 140722358577312 140532095678960 140533060143746 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33718272 140722358579950 140722358580378 140722358580378 140722358583247 0
[pid=15026/tid=15038] ppid=15023 vsize=15012696 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/15026/task/15038/stat : 15038 (java) S 15023 15023 8853 0 -1 1077944384 487 0 0 0 7 0 0 0 20 0 15 0 405826155 15373000704 22533 33554432000 4194304 4196468 140722358577312 140532094626672 140533060143746 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33718272 140722358579950 140722358580378 140722358580378 140722358583247 0
[pid=15026/tid=15039] ppid=15023 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15026/task/15039/stat : 15039 (java) S 15023 15023 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405826155 15373000704 22533 33554432000 4194304 4196468 140722358577312 140530457504736 140533060142805 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33718272 140722358579950 140722358580378 140722358580378 140722358583247 0
[pid=15026/tid=15040] ppid=15023 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15026/task/15040/stat : 15040 (java) S 15023 15023 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405826155 15373000704 22533 33554432000 4194304 4196468 140722358577312 140532093573552 140533060143746 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33718272 140722358579950 140722358580378 140722358580378 140722358583247 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 91528 KiB
[startup+0.710738 s]
/proc/loadavg: 2.20 2.15 2.10 3/229 15040
/proc/meminfo: memFree=23252840/32770624 swapFree=66957008/67108860
[pid=15023] ppid=15020 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/15023/stat : 15023 (scop.sh) S 15020 15023 8853 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405826148 115843072 349 33554432000 4194304 5098028 140734660355792 140734660353048 140608788947580 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 15896576 140734660358952 140734660359280 140734660359280 140734660362189 0
/proc/15023/statm: 28282 349 296 221 0 87 0
[pid=15026] ppid=15023 vsize=15018968 memory=129752 CPUtime=1.06 cores=1,3,5,7
/proc/15026/stat : 15026 (java) S 15023 15023 8853 0 -1 1077944320 20184 0 0 0 100 6 0 0 20 0 15 0 405826148 15379423232 32438 33554432000 4194304 4196468 140722358577312 140722358559856 140533060132599 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33718272 140722358579950 140722358580378 140722358580378 140722358583247 0
/proc/15026/statm: 3754742 32438 3186 1 0 3716091 0
[pid=15026/tid=15027] ppid=15023 vsize=15018968 memory=37520 CPUtime=0.69 cores=1,3,5,7
/proc/15026/task/15027/stat : 15027 (java) R 15023 15023 8853 0 -1 4202560 17169 0 0 0 64 5 0 0 20 0 15 0 405826149 15379423232 32438 33554432000 4194304 4196468 140722358577312 140533031968720 140532554812415 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33718272 140722358579950 140722358580378 140722358580378 140722358583247 0
[pid=15026/tid=15028] ppid=15023 vsize=15018968 memory=2020 CPUtime=0 cores=1,3,5,7
/proc/15026/task/15028/stat : 15028 (java) S 15023 15023 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405826150 15379423232 32438 33554432000 4194304 4196468 140722358577312 140533064375184 140533060142805 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33718272 140722358579950 140722358580378 140722358580378 140722358583247 0
[pid=15026/tid=15029] ppid=15023 vsize=15018968 memory=988 CPUtime=0 cores=1,3,5,7
/proc/15026/task/15029/stat : 15029 (java) S 15023 15023 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405826150 15379423232 32438 33554432000 4194304 4196468 140722358577312 140532878531344 140533060142805 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33718272 140722358579950 140722358580378 140722358580378 140722358583247 0
[pid=15026/tid=15030] ppid=15023 vsize=15018968 memory=1368 CPUtime=0 cores=1,3,5,7
/proc/15026/task/15030/stat : 15030 (java) S 15023 15023 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405826150 15379423232 32438 33554432000 4194304 4196468 140722358577312 140532877479056 140533060142805 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33718272 140722358579950 140722358580378 140722358580378 140722358583247 0
[pid=15026/tid=15031] ppid=15023 vsize=15018968 memory=1056 CPUtime=0 cores=1,3,5,7
/proc/15026/task/15031/stat : 15031 (java) S 15023 15023 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405826150 15379423232 32438 33554432000 4194304 4196468 140722358577312 140532876426256 140533060142805 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33718272 140722358579950 140722358580378 140722358580378 140722358583247 0
[pid=15026/tid=15032] ppid=15023 vsize=15018968 memory=1712 CPUtime=0 cores=1,3,5,7
/proc/15026/task/15032/stat : 15032 (java) S 15023 15023 8853 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 405826152 15379423232 32438 33554432000 4194304 4196468 140722358577312 140532097783920 140533060143746 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33718272 140722358579950 140722358580378 140722358580378 140722358583247 0
[pid=15026/tid=15033] ppid=15023 vsize=15018968 memory=6092 CPUtime=0 cores=1,3,5,7
/proc/15026/task/15033/stat : 15033 (java) S 15023 15023 8853 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405826152 15379423232 32438 33554432000 4194304 4196468 140722358577312 140531464135456 140533060142805 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33718272 140722358579950 140722358580378 140722358580378 140722358583247 0
[pid=15026/tid=15034] ppid=15023 vsize=15018968 memory=11624 CPUtime=0 cores=1,3,5,7
/proc/15026/task/15034/stat : 15034 (java) S 15023 15023 8853 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 405826152 15379423232 32438 33554432000 4194304 4196468 140722358577312 140531329913968 140533060142805 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33718272 140722358579950 140722358580378 140722358580378 140722358583247 0
[pid=15026/tid=15035] ppid=15023 vsize=15018968 memory=732 CPUtime=0 cores=1,3,5,7
/proc/15026/task/15035/stat : 15035 (java) S 15023 15023 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405826155 15379423232 32438 33554432000 4194304 4196468 140722358577312 140530955409488 140533060151195 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33718272 140722358579950 140722358580378 140722358580378 140722358583247 0
[pid=15026/tid=15036] ppid=15023 vsize=15018968 memory=776 CPUtime=0.07 cores=1,3,5,7
/proc/15026/task/15036/stat : 15036 (java) R 15023 15023 8853 0 -1 4202560 599 0 0 0 7 0 0 0 20 0 15 0 405826155 15379423232 32438 33554432000 4194304 4196468 140722358577312 140532096724952 140533045292367 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 33718272 140722358579950 140722358580378 140722358580378 140722358583247 0
[pid=15026/tid=15037] ppid=15023 vsize=15018968 memory=1560 CPUtime=0.1 cores=1,3,5,7
/proc/15026/task/15037/stat : 15037 (java) R 15023 15023 8853 0 -1 4202560 382 0 0 0 10 0 0 0 20 0 15 0 405826155 15379423232 32438 33554432000 4194304 4196468 140722358577312 140532095667920 140533044885408 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33718272 140722358579950 140722358580378 140722358580378 140722358583247 0
[pid=15026/tid=15038] ppid=15023 vsize=15018968 memory=4008 CPUtime=0.18 cores=1,3,5,7
/proc/15026/task/15038/stat : 15038 (java) R 15023 15023 8853 0 -1 4202560 678 0 0 0 18 0 0 0 20 0 15 0 405826155 15379423232 32438 33554432000 4194304 4196468 140722358577312 140532094622240 140533038624670 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33718272 140722358579950 140722358580378 140722358580378 140722358583247 0
[pid=15026/tid=15039] ppid=15023 vsize=15018968 memory=1096 CPUtime=0 cores=1,3,5,7
/proc/15026/task/15039/stat : 15039 (java) S 15023 15023 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405826155 15379423232 32438 33554432000 4194304 4196468 140722358577312 140530457504736 140533060142805 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33718272 140722358579950 140722358580378 140722358580378 140722358583247 0
[pid=15026/tid=15040] ppid=15023 vsize=15018968 memory=2828 CPUtime=0 cores=1,3,5,7
/proc/15026/task/15040/stat : 15040 (java) S 15023 15023 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405826155 15379423232 32438 33554432000 4194304 4196468 140722358577312 140532093573552 140533060143746 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33718272 140722358579950 140722358580378 140722358580378 140722358583247 0
Current children cumulated CPU time: 1.06 s
Current children cumulated vsize: 15132096 KiB
Current children cumulated memory: 131148 KiB
[startup+1.50178 s]
/proc/loadavg: 2.20 2.15 2.10 6/229 15040
/proc/meminfo: memFree=23030212/32770624 swapFree=66957008/67108860
[pid=15023] ppid=15020 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/15023/stat : 15023 (scop.sh) S 15020 15023 8853 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405826148 115843072 349 33554432000 4194304 5098028 140734660355792 140734660353048 140608788947580 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 15896576 140734660358952 140734660359280 140734660359280 140734660362189 0
/proc/15023/statm: 28282 349 296 221 0 87 0
################
# More data... #
################
/proc/15041/task/15054/stat : 15054 (java) S 15023 15023 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405826718 7586459648 25018 33554432000 4194304 4196468 140726899950016 140001237003104 140003571312341 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33738752 140726899958779 140726899958938 140726899958938 140726899961807 0
[pid=15041/tid=15055] ppid=15023 vsize=7408652 memory=732 CPUtime=0 cores=1,3,5,7
/proc/15041/task/15055/stat : 15055 (java) S 15023 15023 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405826718 7586459648 25018 33554432000 4194304 4196468 140726899950016 140002879310384 140003571313282 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33738752 140726899958779 140726899958938 140726899958938 140726899961807 0
Current children cumulated CPU time: 15.62 s
Current children cumulated vsize: 7521780 KiB
Current children cumulated memory: 101548 KiB
[startup+7.45535 s]
# the end of solver process 15023 was just reported to runsolver
# cumulated CPU time of all completed processes: user=16.721 s, system=0.681244 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+6.40097 s]
/proc/loadavg: 2.26 2.16 2.10 3/229 15055
/proc/meminfo: memFree=23267080/32770624 swapFree=66957008/67108860
[pid=15023] ppid=15020 vsize=113128 memory=1476 CPUtime=14.7 cores=1,3,5,7
/proc/15023/stat : 15023 (scop.sh) S 15020 15023 8853 0 -1 4202496 583 36033 0 0 0 0 1422 48 20 0 1 0 405826148 115843072 369 33554432000 4194304 5098028 140734660355792 140734660352536 140608788947580 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 15896576 140734660358952 140734660359280 140734660359280 140734660362189 0
/proc/15023/statm: 28282 369 311 221 0 87 0
[pid=15041] ppid=15023 vsize=7408652 memory=109752 CPUtime=1.23 cores=1,3,5,7
/proc/15041/stat : 15041 (java) S 15023 15023 8853 0 -1 1077944320 20105 0 0 0 113 10 0 0 20 0 15 0 405826712 7586459648 27438 33554432000 4194304 4196468 140726899950016 140726899932560 140003571302135 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 33738752 140726899958779 140726899958938 140726899958938 140726899961807 0
/proc/15041/statm: 1852163 27438 3162 1 0 1814042 0
[pid=15041/tid=15042] ppid=15023 vsize=7408652 memory=6791534058613427641 CPUtime=0.74 cores=1,3,5,7
/proc/15041/task/15042/stat : 15042 (java) R 15023 15023 8853 0 -1 4202560 16841 0 0 0 66 8 0 0 20 0 15 0 405826712 7586459648 27438 33554432000 4194304 4196468 140726899950016 140003543136384 140003571324061 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33738752 140726899958779 140726899958938 140726899958938 140726899961807 0
[pid=15041/tid=15043] ppid=15023 vsize=7408652 memory=9174 CPUtime=0 cores=1,3,5,7
/proc/15041/task/15043/stat : 15043 (java) S 15023 15023 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405826713 7586459648 27438 33554432000 4194304 4196468 140726899950016 140003575544848 140003571312341 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33738752 140726899958779 140726899958938 140726899958938 140726899961807 0
[pid=15041/tid=15044] ppid=15023 vsize=7408652 memory=22745 CPUtime=0 cores=1,3,5,7
/proc/15041/task/15044/stat : 15044 (java) S 15023 15023 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405826713 7586459648 27438 33554432000 4194304 4196468 140726899950016 140003389701264 140003571312341 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33738752 140726899958779 140726899958938 140726899958938 140726899961807 0
[pid=15041/tid=15045] ppid=15023 vsize=7408652 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15041/task/15045/stat : 15045 (java) S 15023 15023 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405826713 7586459648 27438 33554432000 4194304 4196468 140726899950016 140003388648208 140003571312341 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33738752 140726899958779 140726899958938 140726899958938 140726899961807 0
[pid=15041/tid=15046] ppid=15023 vsize=7408652 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15041/task/15046/stat : 15046 (java) S 15023 15023 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405826713 7586459648 27438 33554432000 4194304 4196468 140726899950016 140003387595664 140003571312341 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33738752 140726899958779 140726899958938 140726899958938 140726899961807 0
[pid=15041/tid=15047] ppid=15023 vsize=7408652 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15041/task/15047/stat : 15047 (java) S 15023 15023 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405826715 7586459648 27438 33554432000 4194304 4196468 140726899950016 140002883520752 140003571313282 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33738752 140726899958779 140726899958938 140726899958938 140726899961807 0
[pid=15041/tid=15048] ppid=15023 vsize=7408652 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15041/task/15048/stat : 15048 (java) S 15023 15023 8853 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405826715 7586459648 27438 33554432000 4194304 4196468 140726899950016 140002377852064 140003571312341 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33738752 140726899958779 140726899958938 140726899958938 140726899961807 0
[pid=15041/tid=15049] ppid=15023 vsize=7408652 memory=4008 CPUtime=0 cores=1,3,5,7
/proc/15041/task/15049/stat : 15049 (java) S 15023 15023 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405826715 7586459648 27438 33554432000 4194304 4196468 140726899950016 140002109416176 140003571312341 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33738752 140726899958779 140726899958938 140726899958938 140726899961807 0
[pid=15041/tid=15050] ppid=15023 vsize=7408652 memory=1096 CPUtime=0 cores=1,3,5,7
/proc/15041/task/15050/stat : 15050 (java) S 15023 15023 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405826718 7586459648 27438 33554432000 4194304 4196468 140726899950016 140001734907856 140003571320731 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33738752 140726899958779 140726899958938 140726899958938 140726899961807 0
[pid=15041/tid=15051] ppid=15023 vsize=7408652 memory=2828 CPUtime=0.14 cores=1,3,5,7
/proc/15041/task/15051/stat : 15051 (java) R 15023 15023 8853 0 -1 4202560 608 0 0 0 14 0 0 0 20 0 15 0 405826718 7586459648 27438 33554432000 4194304 4196468 140726899950016 140002882468720 140003555420256 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33738752 140726899958779 140726899958938 140726899958938 140726899961807 0
[pid=15041/tid=15052] ppid=15023 vsize=7408652 memory=1164 CPUtime=0.14 cores=1,3,5,7
/proc/15041/task/15052/stat : 15052 (java) R 15023 15023 8853 0 -1 4202560 799 0 0 0 14 0 0 0 20 0 15 0 405826718 7586459648 27438 33554432000 4194304 4196468 140726899950016 140002881409072 140003556410049 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33738752 140726899958779 140726899958938 140726899958938 140726899961807 0
[pid=15041/tid=15053] ppid=15023 vsize=7408652 memory=14008 CPUtime=0.19 cores=1,3,5,7
/proc/15041/task/15053/stat : 15053 (java) S 15023 15023 8853 0 -1 1077944384 527 0 0 0 19 0 0 0 20 0 15 0 405826718 7586459648 27438 33554432000 4194304 4196468 140726899950016 140002880362992 140003571313282 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33738752 140726899958779 140726899958938 140726899958938 140726899961807 0
[pid=15041/tid=15054] ppid=15023 vsize=7408652 memory=12040 CPUtime=0 cores=1,3,5,7
/proc/15041/task/15054/stat : 15054 (java) S 15023 15023 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405826718 7586459648 27438 33554432000 4194304 4196468 140726899950016 140001237003104 140003571312341 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33738752 140726899958779 140726899958938 140726899958938 140726899961807 0
[pid=15041/tid=15055] ppid=15023 vsize=7408652 memory=2124 CPUtime=0 cores=1,3,5,7
/proc/15041/task/15055/stat : 15055 (java) S 15023 15023 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405826718 7586459648 27438 33554432000 4194304 4196468 140726899950016 140002879310384 140003571313282 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33738752 140726899958779 140726899958938 140726899958938 140726899961807 0
Current children cumulated CPU time: 15.93 s
Current children cumulated vsize: 7521780 KiB
Current children cumulated memory: 111228 KiB
[startup+7.20091 s]
/proc/loadavg: 2.26 2.16 2.10 5/234 15061
/proc/meminfo: memFree=22921468/32770624 swapFree=66957008/67108860
[pid=15023] ppid=15020 vsize=113128 memory=1476 CPUtime=14.7 cores=1,3,5,7
/proc/15023/stat : 15023 (scop.sh) S 15020 15023 8853 0 -1 4202496 583 36033 0 0 0 0 1422 48 20 0 1 0 405826148 115843072 369 33554432000 4194304 5098028 140734660355792 140734660352536 140608788947580 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 15896576 140734660358952 140734660359280 140734660359280 140734660362189 0
/proc/15023/statm: 28282 369 311 221 0 87 0
[pid=15041] ppid=15023 vsize=8068440 memory=133244 CPUtime=1.76 cores=1,3,5,7
/proc/15041/stat : 15041 (java) S 15023 15023 8853 0 -1 1077944320 21695 0 0 0 162 14 0 0 20 0 19 0 405826712 8262082560 33311 33554432000 4194304 4196468 140726899950016 140726899932560 140003571302135 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 33738752 140726899958779 140726899958938 140726899958938 140726899961807 0
/proc/15041/statm: 2017110 33311 3222 1 0 1978454 0
[pid=15056] ppid=15041 vsize=55072 memory=35460 CPUtime=0.64 cores=1,3,5,7
/proc/15056/stat : 15056 (glueminisat-sim) R 15041 15023 8853 0 -1 4202496 10127 0 0 0 62 2 0 0 20 0 1 0 405826802 56393728 8865 33554432000 4194304 4452875 140730954401632 140730954397112 139630879272839 0 4 0 8388610 0 0 0 17 1 0 0 0 0 0 6552096 6554264 11558912 140730954404703 140730954404903 140730954404903 140730954407853 0
/proc/15056/statm: 13768 8865 352 64 0 9972 0
[pid=15041/tid=15042] ppid=15023 vsize=8068440 memory=1476 CPUtime=0.92 cores=1,3,5,7
/proc/15041/task/15042/stat : 15042 (java) S 15023 15023 8853 0 -1 1077944384 17935 0 0 0 81 11 0 0 20 0 19 0 405826712 8262082560 33311 33554432000 4194304 4196468 140726899950016 140003543142304 140003571312341 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33738752 140726899958779 140726899958938 140726899958938 140726899961807 0
[pid=15041/tid=15043] ppid=15023 vsize=8068440 memory=68680 CPUtime=0 cores=1,3,5,7
/proc/15041/task/15043/stat : 15043 (java) S 15023 15023 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405826713 8262082560 33311 33554432000 4194304 4196468 140726899950016 140003575544848 140003571312341 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33738752 140726899958779 140726899958938 140726899958938 140726899961807 0
[pid=15041/tid=15044] ppid=15023 vsize=8068440 memory=3512 CPUtime=0 cores=1,3,5,7
/proc/15041/task/15044/stat : 15044 (java) S 15023 15023 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405826713 8262082560 33311 33554432000 4194304 4196468 140726899950016 140003389701264 140003571312341 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33738752 140726899958779 140726899958938 140726899958938 140726899961807 0
[pid=15041/tid=15045] ppid=15023 vsize=8068440 memory=37520 CPUtime=0 cores=1,3,5,7
/proc/15041/task/15045/stat : 15045 (java) S 15023 15023 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405826713 8262082560 33311 33554432000 4194304 4196468 140726899950016 140003388648208 140003571312341 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33738752 140726899958779 140726899958938 140726899958938 140726899961807 0
[pid=15041/tid=15046] ppid=15023 vsize=8068440 memory=2020 CPUtime=0 cores=1,3,5,7
/proc/15041/task/15046/stat : 15046 (java) S 15023 15023 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405826713 8262082560 33311 33554432000 4194304 4196468 140726899950016 140003387595664 140003571312341 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33738752 140726899958779 140726899958938 140726899958938 140726899961807 0
[pid=15041/tid=15047] ppid=15023 vsize=8068440 memory=1476 CPUtime=0 cores=1,3,5,7
/proc/15041/task/15047/stat : 15047 (java) S 15023 15023 8853 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 405826715 8262082560 33311 33554432000 4194304 4196468 140726899950016 140002883520752 140003571313282 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33738752 140726899958779 140726899958938 140726899958938 140726899961807 0
[pid=15041/tid=15048] ppid=15023 vsize=8068440 memory=133056 CPUtime=0 cores=1,3,5,7
/proc/15041/task/15048/stat : 15048 (java) S 15023 15023 8853 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 405826715 8262082560 33311 33554432000 4194304 4196468 140726899950016 140002377852064 140003571312341 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33738752 140726899958779 140726899958938 140726899958938 140726899961807 0
[pid=15041/tid=15049] ppid=15023 vsize=8068440 memory=1056 CPUtime=0 cores=1,3,5,7
/proc/15041/task/15049/stat : 15049 (java) S 15023 15023 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405826715 8262082560 33311 33554432000 4194304 4196468 140726899950016 140002109416176 140003571312341 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33738752 140726899958779 140726899958938 140726899958938 140726899961807 0
[pid=15041/tid=15050] ppid=15023 vsize=8068440 memory=988 CPUtime=0 cores=1,3,5,7
/proc/15041/task/15050/stat : 15050 (java) S 15023 15023 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405826718 8262082560 33311 33554432000 4194304 4196468 140726899950016 140001734907856 140003571320731 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33738752 140726899958779 140726899958938 140726899958938 140726899961807 0
[pid=15041/tid=15051] ppid=15023 vsize=8068440 memory=1368 CPUtime=0.27 cores=1,3,5,7
/proc/15041/task/15051/stat : 15051 (java) S 15023 15023 8853 0 -1 1077944384 834 0 0 0 27 0 0 0 20 0 19 0 405826718 8262082560 33311 33554432000 4194304 4196468 140726899950016 140002882468592 140003571313282 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33738752 140726899958779 140726899958938 140726899958938 140726899961807 0
[pid=15041/tid=15052] ppid=15023 vsize=8068440 memory=15663745731716 CPUtime=0.26 cores=1,3,5,7
/proc/15041/task/15052/stat : 15052 (java) S 15023 15023 8853 0 -1 1077944384 860 0 0 0 26 0 0 0 20 0 19 0 405826718 8262082560 33311 33554432000 4194304 4196468 140726899950016 140002881416048 140003571313282 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33738752 140726899958779 140726899958938 140726899958938 140726899961807 0
[pid=15041/tid=15053] ppid=15023 vsize=8068440 memory=303711741228089654 CPUtime=0.26 cores=1,3,5,7
/proc/15041/task/15053/stat : 15053 (java) S 15023 15023 8853 0 -1 1077944384 679 0 0 0 26 0 0 0 20 0 19 0 405826718 8262082560 33311 33554432000 4194304 4196468 140726899950016 140002880362992 140003571313282 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33738752 140726899958779 140726899958938 140726899958938 140726899961807 0
[pid=15041/tid=15054] ppid=15023 vsize=8068440 memory=14689690934577591 CPUtime=0 cores=1,3,5,7
/proc/15041/task/15054/stat : 15054 (java) S 15023 15023 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405826718 8262082560 33311 33554432000 4194304 4196468 140726899950016 140001237003104 140003571312341 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33738752 140726899958779 140726899958938 140726899958938 140726899961807 0
[pid=15041/tid=15055] ppid=15023 vsize=8068440 memory=4640204396461838434 CPUtime=0 cores=1,3,5,7
/proc/15041/task/15055/stat : 15055 (java) S 15023 15023 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405826718 8262082560 33311 33554432000 4194304 4196468 140726899950016 140002879310384 140003571313282 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33738752 140726899958779 140726899958938 140726899958938 140726899961807 0
[pid=15041/tid=15057] ppid=15023 vsize=8068440 memory=7649399371363005745 CPUtime=0 cores=1,3,5,7
/proc/15041/task/15057/stat : 15057 (java) S 15023 15023 8853 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 405826802 8262082560 33311 33554432000 4194304 4196468 140726899950016 140002871276864 140003571326745 0 4 2 25189581 18446744071579417331 0 0 -1 1 0 0 0 0 0 6293624 6294260 33738752 140726899958779 140726899958938 140726899958938 140726899961807 0
[pid=15041/tid=15059] ppid=15023 vsize=8068440 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15041/task/15059/stat : 15059 (java) S 15023 15023 8853 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 405826803 8262082560 33311 33554432000 4194304 4196468 140726899950016 140000700120464 140003571324061 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 33738752 140726899958779 140726899958938 140726899958938 140726899961807 0
[pid=15041/tid=15060] ppid=15023 vsize=8068440 memory=54372 CPUtime=0 cores=1,3,5,7
/proc/15041/task/15060/stat : 15060 (java) S 15023 15023 8853 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 405826803 8262082560 33311 33554432000 4194304 4196468 140726899950016 140000431685648 140003571324061 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 33738752 140726899958779 140726899958938 140726899958938 140726899961807 0
[pid=15041/tid=15061] ppid=15023 vsize=8068440 memory=-8253362762721548664 CPUtime=0 cores=1,3,5,7
/proc/15041/task/15061/stat : 15061 (java) S 15023 15023 8853 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 405826805 8262082560 33311 33554432000 4194304 4196468 140726899950016 140000968564528 140003571312341 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33738752 140726899958779 140726899958938 140726899958938 140726899961807 0
Current children cumulated CPU time: 17.1 s
Current children cumulated vsize: 8236640 KiB
Current children cumulated memory: 170180 KiB
[startup+7.40079 s]
/proc/loadavg: 2.26 2.16 2.10 5/234 15061
/proc/meminfo: memFree=22921468/32770624 swapFree=66957008/67108860
[pid=15023] ppid=15020 vsize=113128 memory=1476 CPUtime=14.7 cores=1,3,5,7
/proc/15023/stat : 15023 (scop.sh) S 15020 15023 8853 0 -1 4202496 583 36033 0 0 0 0 1422 48 20 0 1 0 405826148 115843072 369 33554432000 4194304 5098028 140734660355792 140734660352536 140608788947580 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 15896576 140734660358952 140734660359280 140734660359280 140734660362189 0
/proc/15023/statm: 28282 369 311 221 0 87 0
[pid=15041] ppid=15023 vsize=8068440 memory=133244 CPUtime=1.76 cores=1,3,5,7
/proc/15041/stat : 15041 (java) S 15023 15023 8853 0 -1 1077944320 21696 0 0 0 162 14 0 0 20 0 19 0 405826712 8262082560 33311 33554432000 4194304 4196468 140726899950016 140726899932560 140003571302135 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 33738752 140726899958779 140726899958938 140726899958938 140726899961807 0
/proc/15041/statm: 2017110 33311 3222 1 0 1978454 0
[pid=15056] ppid=15041 vsize=55072 memory=35460 CPUtime=0.84 cores=1,3,5,7
/proc/15056/stat : 15056 (glueminisat-sim) R 15041 15023 8853 0 -1 4202496 10127 0 0 0 81 3 0 0 20 0 1 0 405826802 56393728 8865 33554432000 4194304 4452875 140730954401632 140730954396664 139630879272839 0 4 0 8388610 0 0 0 17 1 0 0 0 0 0 6552096 6554264 11558912 140730954404703 140730954404903 140730954404903 140730954407853 0
/proc/15056/statm: 13768 8865 352 64 0 9972 0
[pid=15041/tid=15042] ppid=15023 vsize=8068440 memory=6944652177228980320 CPUtime=0.92 cores=1,3,5,7
/proc/15041/task/15042/stat : 15042 (java) S 15023 15023 8853 0 -1 1077944384 17935 0 0 0 81 11 0 0 20 0 19 0 405826712 8262082560 33311 33554432000 4194304 4196468 140726899950016 140003543142304 140003571312341 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33738752 140726899958779 140726899958938 140726899958938 140726899961807 0
[pid=15041/tid=15043] ppid=15023 vsize=8068440 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/15041/task/15043/stat : 15043 (java) S 15023 15023 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405826713 8262082560 33311 33554432000 4194304 4196468 140726899950016 140003575544848 140003571312341 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33738752 140726899958779 140726899958938 140726899958938 140726899961807 0
[pid=15041/tid=15044] ppid=15023 vsize=8068440 memory=6296989233903915874 CPUtime=0 cores=1,3,5,7
/proc/15041/task/15044/stat : 15044 (java) S 15023 15023 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405826713 8262082560 33311 33554432000 4194304 4196468 140726899950016 140003389701264 140003571312341 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33738752 140726899958779 140726899958938 140726899958938 140726899961807 0
[pid=15041/tid=15045] ppid=15023 vsize=8068440 memory=7517461425798277731 CPUtime=0 cores=1,3,5,7
/proc/15041/task/15045/stat : 15045 (java) S 15023 15023 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405826713 8262082560 33311 33554432000 4194304 4196468 140726899950016 140003388648208 140003571312341 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33738752 140726899958779 140726899958938 140726899958938 140726899961807 0
[pid=15041/tid=15046] ppid=15023 vsize=8068440 memory=7739550752844899667 CPUtime=0 cores=1,3,5,7
/proc/15041/task/15046/stat : 15046 (java) S 15023 15023 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405826713 8262082560 33311 33554432000 4194304 4196468 140726899950016 140003387595664 140003571312341 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33738752 140726899958779 140726899958938 140726899958938 140726899961807 0
[pid=15041/tid=15047] ppid=15023 vsize=8068440 memory=7295938381028020304 CPUtime=0 cores=1,3,5,7
/proc/15041/task/15047/stat : 15047 (java) S 15023 15023 8853 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 405826715 8262082560 33311 33554432000 4194304 4196468 140726899950016 140002883520752 140003571313282 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33738752 140726899958779 140726899958938 140726899958938 140726899961807 0
[pid=15041/tid=15048] ppid=15023 vsize=8068440 memory=8026942214392277355 CPUtime=0 cores=1,3,5,7
/proc/15041/task/15048/stat : 15048 (java) S 15023 15023 8853 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 405826715 8262082560 33311 33554432000 4194304 4196468 140726899950016 140002377852064 140003571312341 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33738752 140726899958779 140726899958938 140726899958938 140726899961807 0
[pid=15041/tid=15049] ppid=15023 vsize=8068440 memory=14008 CPUtime=0 cores=1,3,5,7
/proc/15041/task/15049/stat : 15049 (java) S 15023 15023 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405826715 8262082560 33311 33554432000 4194304 4196468 140726899950016 140002109416176 140003571312341 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33738752 140726899958779 140726899958938 140726899958938 140726899961807 0
[pid=15041/tid=15050] ppid=15023 vsize=8068440 memory=12040 CPUtime=0 cores=1,3,5,7
/proc/15041/task/15050/stat : 15050 (java) S 15023 15023 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405826718 8262082560 33311 33554432000 4194304 4196468 140726899950016 140001734907856 140003571320731 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33738752 140726899958779 140726899958938 140726899958938 140726899961807 0
[pid=15041/tid=15051] ppid=15023 vsize=8068440 memory=2124 CPUtime=0.27 cores=1,3,5,7
/proc/15041/task/15051/stat : 15051 (java) S 15023 15023 8853 0 -1 1077944384 834 0 0 0 27 0 0 0 20 0 19 0 405826718 8262082560 33311 33554432000 4194304 4196468 140726899950016 140002882468592 140003571313282 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33738752 140726899958779 140726899958938 140726899958938 140726899961807 0
[pid=15041/tid=15052] ppid=15023 vsize=8068440 memory=20044 CPUtime=0.26 cores=1,3,5,7
/proc/15041/task/15052/stat : 15052 (java) S 15023 15023 8853 0 -1 1077944384 860 0 0 0 26 0 0 0 20 0 19 0 405826718 8262082560 33311 33554432000 4194304 4196468 140726899950016 140002881416048 140003571313282 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33738752 140726899958779 140726899958938 140726899958938 140726899961807 0
[pid=15041/tid=15053] ppid=15023 vsize=8068440 memory=492 CPUtime=0.26 cores=1,3,5,7
/proc/15041/task/15053/stat : 15053 (java) S 15023 15023 8853 0 -1 1077944384 680 0 0 0 26 0 0 0 20 0 19 0 405826718 8262082560 33311 33554432000 4194304 4196468 140726899950016 140002880362992 140003571313282 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33738752 140726899958779 140726899958938 140726899958938 140726899961807 0
[pid=15041/tid=15054] ppid=15023 vsize=8068440 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15041/task/15054/stat : 15054 (java) S 15023 15023 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405826718 8262082560 33311 33554432000 4194304 4196468 140726899950016 140001237003104 140003571312341 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33738752 140726899958779 140726899958938 140726899958938 140726899961807 0
[pid=15041/tid=15055] ppid=15023 vsize=8068440 memory=279286020760736 CPUtime=0 cores=1,3,5,7
/proc/15041/task/15055/stat : 15055 (java) S 15023 15023 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405826718 8262082560 33311 33554432000 4194304 4196468 140726899950016 140002879310384 140003571313282 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33738752 140726899958779 140726899958938 140726899958938 140726899961807 0
[pid=15041/tid=15057] ppid=15023 vsize=8068440 memory=139643010420256 CPUtime=0 cores=1,3,5,7
/proc/15041/task/15057/stat : 15057 (java) S 15023 15023 8853 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 405826802 8262082560 33311 33554432000 4194304 4196468 140726899950016 140002871276864 140003571326745 0 4 2 25189581 18446744071579417331 0 0 -1 1 0 0 0 0 0 6293624 6294260 33738752 140726899958779 140726899958938 140726899958938 140726899961807 0
[pid=15041/tid=15059] ppid=15023 vsize=8068440 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15041/task/15059/stat : 15059 (java) S 15023 15023 8853 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 405826803 8262082560 33311 33554432000 4194304 4196468 140726899950016 140000700120464 140003571324061 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 33738752 140726899958779 140726899958938 140726899958938 140726899961807 0
[pid=15041/tid=15060] ppid=15023 vsize=8068440 memory=6656426216303648864 CPUtime=0 cores=1,3,5,7
/proc/15041/task/15060/stat : 15060 (java) S 15023 15023 8853 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 405826803 8262082560 33311 33554432000 4194304 4196468 140726899950016 140000431685648 140003571324061 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 33738752 140726899958779 140726899958938 140726899958938 140726899961807 0
[pid=15041/tid=15061] ppid=15023 vsize=8068440 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/15041/task/15061/stat : 15061 (java) S 15023 15023 8853 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 405826805 8262082560 33311 33554432000 4194304 4196468 140726899950016 140000968564528 140003571312341 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33738752 140726899958779 140726899958938 140726899958938 140726899961807 0
Current children cumulated CPU time: 17.3 s
Current children cumulated vsize: 8236640 KiB
Current children cumulated memory: 170180 KiB
Child status: 0
Real time (s): 7.45544
CPU time (s): 17.4022
CPU user time (s): 16.721
CPU system time (s): 0.681244
CPU usage (%): 233.416
Max. virtual memory (cumulated for all children) (KiB): 15142500
Max. memory (cumulated for all children) (KiB): 1784468
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 16.721
system time used= 0.681244
maximum resident set size= 1785720
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 68512
page faults= 0
swaps= 0
block input operations= 0
block output operations= 20600
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5239
involuntary context switches= 60
# summary of solver processes directly reported to runsolver:
# pid: 15023
# total CPU time (s): 17.4022
# total CPU user time (s): 16.721
# total CPU system time (s): 0.681244
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.070398 second user time and 0.128627 second system time
The end