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-14112-serial-file.bin HOME/instance-4388256-1568297497.xml
0.66/0.54
0.66/0.54 Fun-sCOP order+glueminisat-simp-2.2.10-193oa-n-release (2019-06-15)
0.66/0.54
0.66/0.56 c BEGIN-Prog: Thu Sep 12 16:10:55 CEST 2019
0.66/0.56 c PID: 14115
0.66/0.56 c IP: 172.20.3.137
0.66/0.56 c HOST: node137.alineos.net
0.66/0.57 c (0,0) Parsing Begin
6.92/2.66 c (2,2) Parsing End
6.92/2.67 c (2,2) CSP: 800 int (0 aux), 0 bool (0 aux), 12940 ctr, max domain size 1616
6.92/2.67 c (2,2) Heap : 732 MiB used (max 10795 MiB), NonHeap : 23 MiB used (max 0 MiB)
6.92/2.67 c (2,2) Constraint Name Generate Begin
7.22/2.74 c (2,2) Ctr:HOME/instance-4388256-1568297497.xml,Add:Le:Ne:Num:Or:Var
7.22/2.74 c (2,2) Constraint Name Generate End
7.22/2.74 c (2,2) Heap : 732 MiB used (max 10795 MiB), NonHeap : 23 MiB used (max 0 MiB)
7.22/2.74 c (2,2) CSP to CSPinCNF Begin
7.94/3.08 c (2,2) translated 1294 (10%) constraints
8.24/3.18 c (2,2) translated 2588 (20%) constraints
8.24/3.41 c (2,2) translated 3882 (30%) constraints
8.24/3.41 c (2,2) translated 5176 (40%) constraints
8.24/3.42 c (2,2) translated 6470 (50%) constraints
8.24/3.49 c (2,2) translated 7764 (60%) constraints
9.42/3.56 c (3,3) translated 9058 (70%) constraints
9.71/3.61 c (3,3) translated 10352 (80%) constraints
9.71/3.67 c (3,3) translated 11646 (90%) constraints
10.01/3.71 c (3,3) translated 12940 (100%) constraints
10.01/3.71 c (3,3) ===========================================
10.01/3.71 c (3,3) Order
10.01/3.71 c (3,3) ===========================================
10.01/3.76 c (3,3) translated 1294 (10%) constraints
10.34/3.80 c (3,3) translated 2588 (20%) constraints
10.34/3.84 c (3,3) translated 3882 (30%) constraints
10.34/3.88 c (3,3) translated 5176 (40%) constraints
10.52/3.91 c (3,3) translated 6470 (50%) constraints
10.52/3.95 c (3,3) translated 7764 (60%) constraints
10.52/3.98 c (3,3) translated 9058 (70%) constraints
10.71/4.00 c (3,3) translated 10352 (80%) constraints
10.71/4.04 c (3,3) translated 11646 (90%) constraints
10.71/4.07 c (3,3) translated 12940 (100%) constraints
10.71/4.07 c (3,3) CSP to CSPinCNF End
10.71/4.07 c (3,3) CSP: 800 int (0 aux), 0 bool (0 aux), 12940 ctr, max domain size 1536
10.71/4.08 c (3,3) Heap : 1013 MiB used (max 10795 MiB), NonHeap : 27 MiB used (max 0 MiB)
10.71/4.08 c (3,3) CSPinCNF Propagation Begin
11.29/4.20 c (3,3) 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed
11.29/4.20 c (3,3) CSPinCNF Propagation End
11.29/4.20 c (3,3) CSP: 800 int (0 aux), 0 bool (0 aux), 12940 ctr, max domain size 1536
11.29/4.20 c (3,3) Heap : 1070 MiB used (max 10795 MiB), NonHeap : 28 MiB used (max 0 MiB)
11.29/4.20 c (3,3) Simplify CSPinCNF Begin
12.70/4.72 c (4,4) Simplify CSPinCNF End
12.70/4.73 c (4,4) CSP: 800 int (0 aux), 23600 bool (23600 aux), 36540 ctr, max domain size 1536
12.70/4.73 c (4,4) Heap : 1182 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
12.70/4.73 c (4,4) Calculate Precise Domain Begin
12.70/4.73 c (4,4) 0 values are removed by re-calculation
12.70/4.73 c (4,4) Calculate Precise Domain End
12.70/4.74 c (4,4) CSP: 800 int (0 aux), 23600 bool (23600 aux), 36540 ctr, max domain size 1536
12.70/4.74 c (4,4) Heap : 1182 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
12.70/4.74 c (4,4) CSPinCNF to SatSolver Begin
24.28/13.25 c (12,12) 3654 (10 %) CSP clauses are encoded (0 SAT variables, 2711483 SAT clauses)
31.00/19.67 c (19,18) 7308 (20 %) CSP clauses are encoded (0 SAT variables, 4482547 SAT clauses)
38.80/26.88 c (26,24) 10962 (30 %) CSP clauses are encoded (0 SAT variables, 6418046 SAT clauses)
45.56/33.70 c (33,31) 14616 (40 %) CSP clauses are encoded (0 SAT variables, 8368336 SAT clauses)
51.55/39.71 c (39,37) 18270 (50 %) CSP clauses are encoded (0 SAT variables, 10136140 SAT clauses)
58.51/46.85 c (46,44) 21924 (60 %) CSP clauses are encoded (0 SAT variables, 12200416 SAT clauses)
65.66/54.72 c (54,51) 25578 (70 %) CSP clauses are encoded (0 SAT variables, 14299249 SAT clauses)
71.48/60.57 c (60,57) 29232 (80 %) CSP clauses are encoded (0 SAT variables, 16017404 SAT clauses)
78.03/67.40 c (66,63) 32886 (90 %) CSP clauses are encoded (0 SAT variables, 17952809 SAT clauses)
85.22/75.03 c (74,71) 36540 (100 %) CSP clauses are encoded (0 SAT variables, 20635348 SAT clauses)
85.22/75.03 c (74,71) CSPinCNF to SatSolver End
85.22/75.03 c (74,71) Heap : 2348 MiB used (max 11127 MiB), NonHeap : 28 MiB used (max 0 MiB)
85.22/75.03 c (74,71) 818794 bool, 20635901 clause
85.22/75.03 c (74,71) Export Begin
85.36/75.15 c (74,71) Export to HOME/scop-14112-serial-file.bin
85.36/75.15 c (74,71) Export End
85.36/75.16 c (74,71) Export File Size: 0.12 MB
85.36/75.16 c (74,71) 2,2,3,3,4,4,74,STOP-AFTER(DIMACS)
85.36/75.16 c END-Prog: Thu Sep 12 16:12:10 CEST 2019
85.36/75.19 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-14112-serial-file.bin
86.09/75.65 c (0,0) Read Serial File Begin
86.09/75.65 c (0,0) HOME/scop-14112-serial-file.bin
86.61/75.91 c (0,0) Read Serial File End
86.61/75.92
86.61/75.92 Fun-sCOP order+glueminisat-simp-2.2.10-193oa-n-release (2019-06-15)
86.61/75.92 (Solving Process)
86.61/75.92
86.61/75.94 c BEGIN-Prog: Thu Sep 12 16:12:11 CEST 2019
86.61/75.94 c PID: 14136
86.61/75.94 c IP: 172.20.3.137
86.61/75.94 c HOST: node137.alineos.net
86.61/75.94 c (0,0) SatSolver.solve Begin
86.61/75.94 c (0,0) HOME/glueminisat-simp-2.2.10-193oa-n-release -model -verb=3 -elim-cl=5000000 -native-oa HOME/instance-4388256-1568297497.xml-scop-14115.cnf
86.61/75.98 c (0,0) c WARNING: for repeatability, setting FPU to use double precision
86.61/75.98 c (0,0) c glueminisat-simp-2.2.10-193oa-n
86.61/75.98 c (0,0) c Command: HOME/glueminisat-simp-2.2.10-193oa-n-release -model -verb=3 -elim-cl=5000000 -native-oa HOME/instance-4388256-1568297497.xml-scop-14115.cnf
86.61/75.98 c (0,0) c Options:
86.61/75.98 c (0,0) c CORE
86.61/75.98 c (0,0) c var_decay = 0.950
86.61/75.98 c (0,0) c clause_decay = 0.999
86.61/75.98 c (0,0) c random_var_freq = 0.000
86.61/75.98 c (0,0) c random_seed = 91648253.000
86.61/75.98 c (0,0) c luby_restart = 1
86.61/75.98 c (0,0) c ccmin_mode = 2
86.61/75.98 c (0,0) c phase_saving = 2
86.61/75.98 c (0,0) c rnd_pol = 0
86.61/75.98 c (0,0) c rnd_init_act = 0
86.61/75.98 c (0,0) c garbage_frac = 0.200
86.61/75.98 c (0,0) c restart_first = 1000
86.61/75.98 c (0,0) c restart_inc = 2.000
86.61/75.98 c (0,0) c MODEL
86.61/75.98 c (0,0) c partial_model = 0
86.61/75.98 c (0,0) c PROPAGATION
86.61/75.98 c (0,0) c bin_propagation = 1
86.61/75.98 c (0,0) c SIMPLIFICATION
86.61/75.98 c (0,0) c lrn_min_size = 100
86.61/75.98 c (0,0) c lazy_simp = 1
86.61/75.98 c (0,0) c lazy_interval = 10
86.61/75.98 c (0,0) c lazy_fld_probing = 1
86.61/75.98 c (0,0) c lazy_pol_probing = 1
86.61/75.98 c (0,0) c lazy_nec_probing = 1
86.61/75.98 c (0,0) c lazy_eqv_probing = 1
86.61/75.98 c (0,0) c lazy_cla_probing = 1
86.61/75.98 c (0,0) c lazy_lrn_min = 2
86.61/75.98 c (0,0) c lazy_uw_lit_elim = 1
86.61/75.98 c (0,0) c lazy_pr_lit_elim = 0
86.61/75.98 c (0,0) c lazy_bin_add = 3
86.61/75.98 c (0,0) c probed_lit_chain = 1
86.61/75.98 c (0,0) c pr_min_lits = 0.00020
86.61/75.98 c (0,0) c pr_min_starts = 500
86.61/75.98 c (0,0) c rw_min_lits = 0.010
86.61/75.98 c (0,0) c rw_min_starts = 500
86.61/75.98 c (0,0) c rand_attach = 0
86.61/75.98 c (0,0) c dec_elim = 1
86.61/75.98 c (0,0) c dec_elim_lim = 25
86.61/75.98 c (0,0) c dec_elim_len = -1
86.61/75.98 c (0,0) c amo = 0
86.61/75.98 c (0,0) c amo_grp = 1
86.61/75.98 c (0,0) c amo_max_bins = 1000000
86.61/75.98 c (0,0) c amo_starts = 50
86.61/75.98 c (0,0) c mace_cmd = mace
86.61/75.98 c (0,0) c DECISION
86.61/75.98 c (0,0) c rand_rebuild = 0
86.61/75.98 c (0,0) c rand_rebuild_confs = 10000
86.61/75.98 c (0,0) c inc_var_decay = 1
86.61/75.98 c (0,0) c inc_var_decay_period = 100000
86.61/75.98 c (0,0) c inc_var_decay_init = 0.600
86.61/75.98 c (0,0) c var_decay_mode = 0
86.61/75.98 c (0,0) c var_decay_gain = 0
86.61/75.98 c (0,0) c sloped_var_decay = 1
86.61/75.98 c (0,0) c max_var_decay = 0.990
86.61/75.98 c (0,0) c min_var_decay = 0.950
86.61/75.98 c (0,0) c min_var_decay_vars = 10000
86.61/75.98 c (0,0) c max_var_decay_vars = 500
86.61/75.98 c (0,0) c uip_bumping = 1
86.61/75.98 c (0,0) c lbd_act_bumping = 1
86.61/75.98 c (0,0) c rand_tiebreak = 0
86.61/75.98 c (0,0) c simp_rebuild = 1
86.61/75.98 c (0,0) c RESTART
86.61/75.98 c (0,0) c restart_strategy = 2
86.61/75.98 c (0,0) c restart_blocking = 0
86.61/75.98 c (0,0) c agility_decay = 0.99990
86.61/75.98 c (0,0) c lbd_restart_rate = 0.800
86.61/75.98 c (0,0) c dec_restart_rate = 0.950
86.61/75.98 c (0,0) c blk_restart_rate = 0.700
86.61/75.98 c (0,0) c lbd_queue_size = 50
86.61/75.98 c (0,0) c dec_queue_size = 50
86.61/75.98 c (0,0) c trl_queue_size = 5000
86.61/75.98 c (0,0) c blk_restart_weight = 1.000
86.61/75.98 c (0,0) c inc_rst_rate = 0
86.61/75.98 c (0,0) c inc_rst_rate_period = 500000
86.61/75.98 c (0,0) c inc_lbd_rst_rate_init = 0.600
86.61/75.98 c (0,0) c inc_dec_rst_rate_init = 0.750
86.61/75.98 c (0,0) c REDUCTION
86.61/75.98 c (0,0) c closed_lbd = 0
86.61/75.98 c (0,0) c closed_lbd_rate = 0.500
86.61/75.98 c (0,0) c rm_simulate = 0
86.61/75.98 c (0,0) c rdb_eval = 2
86.61/75.98 c (0,0) c rdb_call = 3
86.61/75.98 c (0,0) c rdb_ub = 0.500
86.61/75.98 c (0,0) c core_lbd_cvr = 0.800
86.61/75.98 c (0,0) c supp_lbd_cvr = 0.990
86.61/75.98 c (0,0) c core_lbd_lb = 2
86.61/75.98 c (0,0) c supp_lbd_lb = 2
86.61/75.98 c (0,0) c core_lbd_prd = 7
86.61/75.98 c (0,0) c supp_lbd_prd = 1
86.61/75.98 c (0,0) c othr_lbd_prd = 0
86.61/75.98 c (0,0) c inc_lrn_limit = 1000
86.61/75.98 c (0,0) c frozen_lbd = 30
86.61/75.98 c (0,0) c simp_min_starts = 100
86.61/75.98 c (0,0) c rm_low_act_learnts = 1
86.61/75.98 c (0,0) c lv0_reduce_db = 0
86.61/75.98 c (0,0) c reduce_db_base = 20000
86.61/75.98 c (0,0) c reduce_db_inc = 1000
86.61/75.98 c (0,0) c HARD
86.61/75.98 c (0,0) c inst_check = 200000
86.61/75.98 c (0,0) c small_block = 1.750
86.61/75.98 c (0,0) c slow_restart_speed = 400.000
86.61/75.98 c (0,0) c slow_restart_strategy = 3
86.61/75.98 c (0,0) c slow_lbd_restart_rate = 0.700
86.61/75.98 c (0,0) c slow_dec_restart_rate = 1.000
86.61/75.98 c (0,0) c slow_lbd_queue_size = 50
86.61/75.98 c (0,0) c slow_var_decay = 0.950
86.61/75.98 c (0,0) c slow_glue_threshold = 2
86.61/75.98 c (0,0) c slow_phase_saving = 2
86.61/75.98 c (0,0) c fast_restart_speed = 125.000
86.61/75.98 c (0,0) c fast_restart_strategy = 1
86.61/75.98 c (0,0) c fast_lbd_restart_rate = 0.800
86.61/75.98 c (0,0) c fast_dec_restart_rate = 0.950
86.61/75.98 c (0,0) c fast_lbd_queue_size = 50
86.61/75.98 c (0,0) c fast_var_decay = 1.000
86.61/75.98 c (0,0) c fast_glue_threshold = 2
86.61/75.98 c (0,0) c fast_phase_saving = 2
86.61/75.98 c (0,0) c STATS
86.84/76.00 c (0,0) c stats_conf_size = 10000
86.84/76.00 c (0,0) c max_stats_size = 30
86.84/76.00 c (0,0) c SOLVER
86.84/76.00 c (0,0) c minisat = 0
95.51/84.63 c (9,0) c Problem: 818794 variables, 20331087 clauses, parsing 7.91 s
96.22/85.40 c (9,0) c exclude 0 (0.0%) variables from decision variables (last cost 0)
97.50/86.68 c (11,0) c Simplification: 308938 vars, 0 clauses are eliminated using 1.90 s
97.50/86.68 c (11,0) c
97.50/86.68 c (11,0) c #Rstrts #Confs #Vars #Clauses #Learnts Lits/C LBD/C DLVs Trail
97.50/86.68 c (11,0) c
97.50/86.68 c (11,0) c 10 0 0 509856 20331087 0 -nan -nan -nan -nan%
100.11/89.28 c (13,0) c 13 1 100 509856 20331087 100 61.6 39.9 440.5 74.1%
102.40/91.55 c (15,0) c 15 2 220 509813 20331087 217 57.7 34.3 320.0 71.6%
104.61/93.72 c (18,0) c 17 2 364 509813 20331087 363 49.2 24.6 213.4 71.4%
107.42/96.57 c (20,0) c 20 2 536 509708 20331087 534 42.5 19.3 160.0 70.8%
110.73/99.87 c (24,0) c 23 2 743 509681 20331087 737 39.8 16.5 127.7 71.5%
114.82/103.98 c (28,0) c 28 2 991 509570 20331087 983 36.3 14.0 104.2 71.7%
118.72/107.81 c (32,0) c 31 2 1289 509408 20331087 1276 32.4 12.3 92.4 71.6%
122.83/111.96 c (36,0) c 35 2 1647 509293 20331087 1625 29.8 11.0 81.8 70.9%
128.73/117.88 c (42,0) c 41 2 2076 509258 20331087 2054 29.1 10.3 76.0 70.8%
135.93/125.01 c (49,0) c 49 2 2591 509073 20331087 2574 28.9 9.9 72.8 70.7%
142.84/131.96 c (56,0) c 55 3 3210 508962 20331087 3193 29.6 9.6 69.3 71.1%
153.05/142.13 c (66,0) c 66 6 3953 508929 20331087 3938 30.1 9.5 67.2 71.6%
163.65/152.78 c (77,0) c 76 9 4844 508875 20331087 4839 29.2 9.1 63.7 71.4%
177.28/166.32 c (90,0) c 90 15 5913 508832 20331087 5928 28.8 9.0 61.8 71.5%
194.28/183.39 c (107,0) c 107 21 7196 508694 20331087 7214 29.8 8.8 58.1 71.7%
208.99/198.09 c (122,0) c
208.99/198.09 c (122,0) c variables : 508568 (init 818794, after simp 509856, 0 non-decs, 800 csp)
208.99/198.09 c (122,0) c clauses : 20331087 (init 20331087, after simp 20331087)
208.99/198.09 c (122,0) c restarts : 25 (329.31 confs/res, 50~2846 confs, 0 blks, 0 last)
208.99/198.09 c (122,0) c conflicts : 8562 (71 /sec, 62.98% dconfs, 0.00% supp, trail 6029.88w x 55.72h, jmp 2.27h)
208.99/198.09 c (122,0) c decisions : 21094 (0.6200 vdcy, 175 /sec, 0.00% bin, rs 0.034 s)
208.99/198.09 c (122,0) c propagations : 306731810 (2538733 /sec, 14541.19 lits/dec, 2.79% o.a.)
208.99/198.09 c (122,0) c conflict literals : 302388 (13.64% deleted; 0.27% by bin min, 0.023 s)
208.99/198.09 c (122,0) c len : 30.322 (30.41 for all, max 388, used 388)
208.99/198.09 c (122,0) c lbd : 8.616 (9.50 (8.63) for all, max 230, used 154, 3.464 stdev, 3.201 blk)
208.99/198.09 c (122,0) c amo : 0 (0 max, -nan avg, 0.000 s)
208.99/198.09 c (122,0) c simp dbs : 0 (0.000 s)
208.99/198.09 c (122,0) c reduce dbs : 0 (core-lbd 2, supp-lbd 2147483647, 0.000 s)
208.99/198.09 c (122,0) c learnts : 8591 (0 learnts removed, 0.00%)
208.99/198.09 c (122,0) c rewrite dbs : 0 (0/0 vars, 0+0 taut, 0+0 unit, 0.000 s)
208.99/198.09 c (122,0) c assigned lits : 1 (2/105 probed, 0 remains)
208.99/198.09 c (122,0) c premise updates : 2709177 (2.66 /lit)
208.99/198.09 c (122,0) c probed variables : 105 (91 pr, 0 eq, 4 fld, 0 pol, 0 nec, 10 cla, 0 amo)
208.99/198.09 c (122,0) c equiv variables : 0 (0 bin, 0 trn, 0 quat, 0 quin, 0 othr; 0 amo)
208.99/198.09 c (122,0) c lazy added bins : 132 (132 prop + 0 conf, 0.169s)
208.99/198.09 c (122,0) c unwatched lit elim: 315 (0.00+0.09%, 37+278 of 59049115+302388)
208.99/198.09 c (122,0) c classified type : undef
208.99/198.09 c (122,0) c progress : 37.888%
208.99/198.09 c (122,0) c
208.99/198.09 c (122,0) c #Rstrts #Confs #Vars #Clauses #Learnts Lits/C LBD/C DLVs Trail
208.99/198.09 c (122,0) c
208.99/198.09 c (122,0) c 122 p 26 8562 508568 20331087 8591 30.3 8.6 55.7 71.9%
211.99/201.02 c (125,0) c 125 26 8736 508531 20331087 8762 30.3 8.6 55.7 71.8%
237.81/226.85 c (151,0) c 150 35 10584 508458 20331087 10639 30.1 8.6 47.7 71.7%
255.43/244.47 c (168,0) c 168 p 42 11952 508195 20331087 12025 30.0 8.5 46.7 71.4%
267.12/256.15 c (180,0) c 180 47 12802 508065 20331087 12889 29.7 8.5 46.0 71.4%
301.45/290.44 c (214,0) c 214 60 15464 507968 20331087 15583 29.3 8.4 42.1 70.6%
306.74/295.73 c (220,0) c 219 p 61 15814 507726 20331087 15942 29.2 8.3 41.8 70.7%
346.47/335.49 c (259,0) c 259 75 18658 507557 20331087 18825 29.3 8.3 42.3 70.4%
361.18/350.19 c (274,0) c 274 p 82 19838 507378 20331087 20037 29.4 8.3 43.2 70.8%
362.98/351.93 c (276,0) c 275 r 83 20002 507378 20331087 20209 29.4 8.3 43.3 70.7%
362.98/351.93 c (276,0) c
362.98/351.93 c (276,0) c R [LBD Statistics #1]
362.98/351.93 c (276,0) c R LBD used lbd used clause lbd
362.98/351.93 c (276,0) c R tot 203545 20209
362.98/351.93 c (276,0) c R avg 2.708 8.266
362.98/351.93 c (276,0) c R 1 7351 ( 3.6/ 3.6%) 195 ( 1.0/ 1.0%)
362.98/351.93 c (276,0) c R 2 146980 (72.2/75.8%) 3828 (18.9/19.9%)
362.98/351.93 c (276,0) c R 3 23096 (11.3/87.2%) 2096 (10.4/30.3%)
362.98/351.93 c (276,0) c R
362.98/351.93 c (276,0) c R core_lbd_threshold = 3
362.98/351.93 c (276,0) c R supp_lbd_threshold = 14
362.98/351.93 c (276,0) c R
362.98/351.93 c (276,0) c R [RDB Statistics #1]
362.98/351.93 c (276,0) c R kept: lbd = 6008 (29.7/29.7%)
362.98/351.93 c (276,0) c R kept: ttl = 14088 (69.7/99.4%)
362.98/351.93 c (276,0) c R kept: locked = 113 ( 0.6/100.0%)
362.98/351.93 c (276,0) c R lost: lbd = 0 ( 0.0/ 0.0%)
362.98/351.93 c (276,0) c R lost: ttl = 0 ( 0.0/ 0.0%)
362.98/351.93 c (276,0) c R lost: subsumed = 0 ( 0.0/ 0.0%)
362.98/351.93 c (276,0) c
362.98/351.93 c (276,0) c 275 R 83 20002 507378 20331087 20209 29.4 8.3 43.3 70.7%
394.70/383.67 c (308,0) c 307 96 22491 507265 20331087 22750 29.2 8.2 42.3 70.7%
426.21/415.11 c (339,0) c 339 p 101 24569 506989 10990876 24832 29.6 8.1 40.9 70.9%
456.96/445.90 c (370,0) c 369 113 27091 506892 10990876 27395 29.7 8.1 39.1 71.1%
524.42/513.29 c (437,0) c 437 142 32611 506760 10990876 33035 29.5 8.1 35.6 70.7%
605.58/594.40 c (518,0) c 518 181 39235 506745 10990876 39829 30.2 8.1 40.3 72.6%
626.48/615.26 c (539,0) c
626.48/615.26 c (539,0) c variables : 506678 (init 818794, after simp 509856, 0 non-decs, 800 csp)
626.48/615.26 c (539,0) c clauses : 10990876 (init 20331087, after simp 20331087)
626.48/615.26 c (539,0) c restarts : 189 (215.79 confs/res, 50~2846 confs, 0 blks, 0 last)
626.48/615.26 c (539,0) c conflicts : 41001 (76 /sec, 61.55% dconfs, 0.00% supp, trail 7383.39w x 42.86h, jmp 2.04h)
626.48/615.26 c (539,0) c decisions : 92737 (0.7400 vdcy, 173 /sec, 0.00% bin, rs 0.144 s)
626.48/615.26 c (539,0) c propagations : 1498917864 (2791128 /sec, 16163.11 lits/dec, 3.62% o.a.)
626.48/615.26 c (539,0) c conflict literals : 1499486 (15.95% deleted; 0.34% by bin min, 0.168 s)
626.48/615.26 c (539,0) c len : 30.174 (30.61 for all, max 388, used 388)
626.48/615.26 c (539,0) c lbd : 8.080 (9.14 (8.17) for all, max 230, used 154, 1.899 stdev, 3.349 blk)
626.48/615.26 c (539,0) c amo : 0 (0 max, -nan avg, 0.000 s)
626.48/615.26 c (539,0) c simp dbs : 1 (2.089 s)
626.48/615.26 c (539,0) c reduce dbs : 1 (core-lbd 3, supp-lbd 14, 0.001 s)
626.48/615.26 c (539,0) c learnts : 41635 (0 learnts removed, 0.00%)
626.48/615.26 c (539,0) c rewrite dbs : 0 (0/10 vars, 0+0 taut, 0+0 unit, 0.000 s)
626.48/615.26 c (539,0) c assigned lits : 5 (46/617 probed, 60 remains)
626.48/615.26 c (539,0) c premise updates : 59620960 (58.47 /lit)
626.48/615.26 c (539,0) c probed variables : 617 (497 pr, 0 eq, 20 fld, 22 pol, 9 nec, 69 cla, 0 amo)
626.48/615.26 c (539,0) c equiv variables : 10 (10 bin, 0 trn, 0 quat, 0 quin, 0 othr; 0 amo)
626.48/615.26 c (539,0) c lazy added bins : 866 (866 prop + 0 conf, 1.004s)
626.48/615.26 c (539,0) c unwatched lit elim: 2334 (0.00+0.15%, 147+2187 of 59049115+1499486)
626.48/615.26 c (539,0) c classified type : undef
626.48/615.26 c (539,0) c progress : 38.119%
626.48/615.26 c (539,0) c
626.48/615.26 c (539,0) c #Rstrts #Confs #Vars #Clauses #Learnts Lits/C LBD/C DLVs Trail
626.48/615.26 c (539,0) c
626.48/615.26 c (539,0) c 539 r 190 41001 506678 10990876 41635 30.2 8.1 39.7 72.7%
626.48/615.27 c (539,0) c
626.48/615.27 c (539,0) c R [LBD Statistics #2]
626.48/615.27 c (539,0) c R LBD used lbd used clause lbd
626.48/615.27 c (539,0) c R tot 658548 41635
626.48/615.27 c (539,0) c R avg 2.497 8.080
626.48/615.27 c (539,0) c R 1 25405 ( 3.9/ 3.9%) 423 ( 1.0/ 1.0%)
626.48/615.27 c (539,0) c R 2 503758 (76.5/80.4%) 7870 (18.9/19.9%)
626.48/615.27 c (539,0) c R
626.48/615.27 c (539,0) c R core_lbd_threshold = 2
626.48/615.27 c (539,0) c R supp_lbd_threshold = 11
626.48/615.27 c (539,0) c R
626.48/615.27 c (539,0) c R [RDB Statistics #2]
626.48/615.27 c (539,0) c R kept: lbd = 8094 (19.4/19.4%)
626.48/615.27 c (539,0) c R kept: ttl = 17276 (41.5/60.9%)
626.48/615.27 c (539,0) c R kept: locked = 218 ( 0.5/61.5%)
626.48/615.27 c (539,0) c R lost: lbd = 0 ( 0.0/ 0.0%)
626.48/615.27 c (539,0) c R lost: ttl = 16047 (38.5/38.5%)
626.48/615.27 c (539,0) c R lost: subsumed = 0 ( 0.0/38.5%)
626.48/615.27 c (539,0) c
626.48/615.27 c (539,0) c 539 R 190 41001 506678 10990876 25588 16.7 5.0 39.7 72.7%
658.31/647.03 c (571,0) c 571 p 201 43870 506505 10968347 28505 18.6 5.3 37.2 72.9%
698.13/686.88 c (611,0) c 610 218 47184 506458 10968347 31876 19.9 5.5 34.6 72.6%
818.39/807.08 c (731,0) c 731 268 56723 506343 10968347 41608 23.0 6.2 34.3 72.0%
895.24/883.84 c (808,0) c 807 r 298 63000 506326 10968347 48031 24.7 6.4 35.4 72.0%
895.24/883.84 c (808,0) c
895.24/883.84 c (808,0) c R [LBD Statistics #3]
895.24/883.84 c (808,0) c R LBD used lbd used clause lbd
895.24/883.84 c (808,0) c R tot 1295905 48031
895.24/883.84 c (808,0) c R avg 2.412 6.431
895.24/883.84 c (808,0) c R 1 55095 ( 4.3/ 4.3%) 687 ( 1.4/ 1.4%)
895.24/883.84 c (808,0) c R 2 1015256 (78.3/82.6%) 11805 (24.6/26.0%)
895.24/883.84 c (808,0) c R
895.24/883.84 c (808,0) c R core_lbd_threshold = 2
895.24/883.84 c (808,0) c R supp_lbd_threshold = 10
895.24/883.84 c (808,0) c R
895.24/883.84 c (808,0) c R [RDB Statistics #3]
895.24/883.84 c (808,0) c R kept: lbd = 12227 (25.5/25.5%)
895.24/883.84 c (808,0) c R kept: ttl = 18084 (37.7/63.1%)
895.24/883.84 c (808,0) c R kept: locked = 275 ( 0.6/63.7%)
895.24/883.84 c (808,0) c R lost: lbd = 0 ( 0.0/ 0.0%)
895.24/883.84 c (808,0) c R lost: ttl = 17445 (36.3/36.3%)
895.24/883.84 c (808,0) c R lost: subsumed = 0 ( 0.0/36.3%)
895.24/883.84 c (808,0) c
895.24/883.84 c (808,0) c 807 R 298 63000 506326 10968347 30586 12.5 4.0 35.4 72.0%
903.65/892.20 c (816,0) c 816 p 301 63717 506143 10958553 31312 13.1 4.0 36.1 72.3%
961.19/949.72 c (874,0) c 873 332 68170 506143 10958553 35870 16.2 4.7 36.7 73.0%
1138.90/1127.37 c (1051,0) c 1051 391 81907 506035 10958553 49861 22.1 5.6 30.8 72.1%
1160.59/1149.04 c (1073,0) c 1073 p 402 83352 505934 10951629 51327 22.6 5.7 29.3 71.8%
1193.43/1181.84 c (1106,0) c 1105 r 415 86001 505934 10951629 54037 23.2 5.8 30.4 71.4%
1193.43/1181.84 c (1106,0) c
1193.43/1181.84 c (1106,0) c R [LBD Statistics #4]
1193.43/1181.84 c (1106,0) c R LBD used lbd used clause lbd
1193.43/1181.84 c (1106,0) c R tot 2119004 54037
1193.43/1181.84 c (1106,0) c R avg 2.364 5.838
1193.43/1181.84 c (1106,0) c R 1 97830 ( 4.6/ 4.6%) 971 ( 1.8/ 1.8%)
1193.43/1181.84 c (1106,0) c R 2 1679779 (79.3/83.9%) 15612 (28.9/30.7%)
1193.43/1181.84 c (1106,0) c R
1193.43/1181.84 c (1106,0) c R core_lbd_threshold = 2
1193.43/1181.84 c (1106,0) c R supp_lbd_threshold = 9
1193.43/1181.84 c (1106,0) c R
1193.43/1181.84 c (1106,0) c R [RDB Statistics #4]
1193.43/1181.84 c (1106,0) c R kept: lbd = 16145 (29.9/29.9%)
1193.43/1181.84 c (1106,0) c R kept: ttl = 18518 (34.3/64.1%)
1193.43/1181.84 c (1106,0) c R kept: locked = 457 ( 0.8/65.0%)
1193.43/1181.84 c (1106,0) c R lost: lbd = 0 ( 0.0/ 0.0%)
1193.43/1181.84 c (1106,0) c R lost: ttl = 18917 (35.0/35.0%)
1193.43/1181.84 c (1106,0) c R lost: subsumed = 0 ( 0.0/35.0%)
1193.43/1181.84 c (1106,0) c
1193.43/1181.84 c (1106,0) c 1105 R 415 86001 505934 10951629 35120 11.8 3.6 30.4 71.4%
1364.51/1352.81 c (1277,0) c 1276 488 98391 505878 10951629 47752 18.7 4.9 30.1 71.8%
1389.04/1377.40 c (1301,0) c 1301 f 496 100000 505867 10951629 49383 19.0 5.0 29.6 71.6%
1525.12/1513.39 c (1437,0) c 1437 r 572 110002 505836 10947142 59567 22.5 5.7 32.3 73.3%
1525.12/1513.39 c (1437,0) c
1525.12/1513.39 c (1437,0) c R [LBD Statistics #5]
1525.12/1513.39 c (1437,0) c R LBD used lbd used clause lbd
1525.12/1513.39 c (1437,0) c R tot 3148240 59567
1525.12/1513.40 c (1437,0) c R avg 2.325 5.709
1525.12/1513.40 c (1437,0) c R 1 152697 ( 4.9/ 4.9%) 1215 ( 2.0/ 2.0%)
1525.12/1513.40 c (1437,0) c R 2 2524616 (80.2/85.0%) 19139 (32.1/34.2%)
1525.12/1513.40 c (1437,0) c R
1525.12/1513.40 c (1437,0) c R core_lbd_threshold = 2
1525.12/1513.40 c (1437,0) c R supp_lbd_threshold = 9
1525.12/1513.40 c (1437,0) c R
1525.12/1513.40 c (1437,0) c R [RDB Statistics #5]
1525.12/1513.40 c (1437,0) c R kept: lbd = 20148 (33.8/33.8%)
1525.24/1513.41 c (1437,0) c R kept: ttl = 17961 (30.2/64.0%)
1525.24/1513.41 c (1437,0) c R kept: locked = 209 ( 0.4/64.3%)
1525.24/1513.41 c (1437,0) c R lost: lbd = 0 ( 0.0/ 0.0%)
1525.24/1513.41 c (1437,0) c R lost: ttl = 21249 (35.7/35.7%)
1525.24/1513.41 c (1437,0) c R lost: subsumed = 0 ( 0.0/35.7%)
1525.24/1513.41 c (1437,0) c
1525.24/1513.41 c (1437,0) c
1525.24/1513.41 c (1437,0) c variables : 505836 (init 818794, after simp 509856, 0 non-decs, 800 csp)
1525.24/1513.41 c (1437,0) c clauses : 10947142 (init 20331087, after simp 20331087)
1525.24/1513.41 c (1437,0) c restarts : 571 (192.31 confs/res, 50~2846 confs, 0 blks, 0 last)
1525.24/1513.41 c (1437,0) c conflicts : 110002 (77 /sec, 59.22% dconfs, 0.00% supp, trail 8888.03w x 35.96h, jmp 1.90h)
1525.24/1513.41 c (1437,0) c decisions : 231827 (0.9500 vdcy, 162 /sec, 0.00% bin, rs 0.248 s)
1525.24/1513.41 c (1437,0) c propagations : 4203647381 (2933075 /sec, 18132.69 lits/dec, 4.85% o.a.)
1525.24/1513.41 c (1437,0) c conflict literals : 4730089 (19.07% deleted; 0.37% by bin min, 0.546 s)
1525.24/1513.41 c (1437,0) c len : 10.568 (34.64 for all, max 406, used 388)
1525.24/1513.41 c (1437,0) c lbd : 3.304 (9.45 (8.37) for all, max 230, used 154, 1.482 stdev, 3.666 blk)
1525.24/1513.41 c (1437,0) c amo : 0 (0 max, -nan avg, 0.000 s)
1525.24/1513.41 c (1437,0) c simp dbs : 5 (4.783 s)
1525.24/1513.41 c (1437,0) c reduce dbs : 5 (core-lbd 2, supp-lbd 9, 0.018 s)
1525.24/1513.41 c (1437,0) c learnts : 38318 (73658 learnts removed, 66.96%)
1525.24/1513.41 c (1437,0) c rewrite dbs : 0 (0/21 vars, 0+0 taut, 0+0 unit, 0.000 s)
1525.24/1513.41 c (1437,0) c assigned lits : 8 (70/993 probed, 99 remains)
1525.24/1513.41 c (1437,0) c premise updates : 174948610 (171.57 /lit)
1525.24/1513.41 c (1437,0) c probed variables : 993 (825 pr, 0 eq, 27 fld, 22 pol, 10 nec, 109 cla, 0 amo)
1525.24/1513.41 c (1437,0) c equiv variables : 21 (21 bin, 0 trn, 0 quat, 0 quin, 0 othr; 0 amo)
1525.24/1513.41 c (1437,0) c lazy added bins : 2264 (2264 prop + 0 conf, 2.799s)
1525.24/1513.41 c (1437,0) c unwatched lit elim: 9539 (0.00+0.18%, 808+8731 of 59049115+4730089)
1525.24/1513.41 c (1437,0) c classified type : undef
1525.24/1513.41 c (1437,0) c progress : 38.222%
1525.24/1513.41 c (1437,0) c
1525.24/1513.41 c (1437,0) c #Rstrts #Confs #Vars #Clauses #Learnts Lits/C LBD/C DLVs Trail
1525.24/1513.41 c (1437,0) c
1525.24/1513.41 c (1437,0) c 1437 R 572 110002 505836 10947142 38318 10.6 3.3 32.3 73.3%
1614.39/1602.55 c (1526,0) c 1526 p 610 116804 505749 10946353 45222 14.9 4.1 29.0 72.2%
1632.10/1620.30 c (1544,0) c 1544 623 118172 505749 10946353 46620 15.5 4.3 30.5 72.7%
1851.03/1839.08 c (1763,0) c 1763 r 737 135000 505749 10942928 63702 21.2 5.6 32.3 71.6%
1851.03/1839.09 c (1763,0) c
1851.03/1839.09 c (1763,0) c R [LBD Statistics #6]
1851.03/1839.09 c (1763,0) c R LBD used lbd used clause lbd
1851.03/1839.09 c (1763,0) c R tot 4241029 63702
1851.03/1839.09 c (1763,0) c R avg 2.301 5.595
1851.03/1839.09 c (1763,0) c R 1 213110 ( 5.0/ 5.0%) 1462 ( 2.3/ 2.3%)
1851.03/1839.09 c (1763,0) c R 2 3425783 (80.8/85.8%) 22585 (35.5/37.7%)
1851.03/1839.09 c (1763,0) c R
1851.03/1839.09 c (1763,0) c R core_lbd_threshold = 2
1851.03/1839.09 c (1763,0) c R supp_lbd_threshold = 9
1851.03/1839.09 c (1763,0) c R
1851.03/1839.09 c (1763,0) c R [RDB Statistics #6]
1851.03/1839.09 c (1763,0) c R kept: lbd = 23249 (36.5/36.5%)
1851.03/1839.09 c (1763,0) c R kept: ttl = 18072 (28.4/64.9%)
1851.03/1839.09 c (1763,0) c R kept: locked = 820 ( 1.3/66.2%)
1851.03/1839.09 c (1763,0) c R lost: lbd = 0 ( 0.0/ 0.0%)
1851.03/1839.09 c (1763,0) c R lost: ttl = 21561 (33.8/33.8%)
1851.03/1839.09 c (1763,0) c R lost: subsumed = 0 ( 0.0/33.8%)
1851.03/1839.09 c (1763,0) c
1851.03/1839.09 c (1763,0) c 1763 R 737 135000 505749 10942928 42141 9.7 3.2 32.3 71.6%
1935.00/1923.00 c (1847,0) c 1847 760 141909 505742 10942928 49120 13.8 3.9 26.8 73.4%
1992.13/1980.09 c (1904,0) c 1904 p 782 146389 505624 10942928 53659 16.0 4.3 24.9 73.1%
2190.59/2178.35 c (2102,0) c 2102 r 862 161000 505604 10936958 68466 20.5 5.3 27.5 70.6%
2190.59/2178.35 c (2102,0) c
2190.59/2178.35 c (2102,0) c R [LBD Statistics #7]
2190.59/2178.35 c (2102,0) c R LBD used lbd used clause lbd
2190.59/2178.35 c (2102,0) c R tot 5422150 68466
2190.59/2178.35 c (2102,0) c R avg 2.284 5.309
2190.59/2178.35 c (2102,0) c R 1 280545 ( 5.2/ 5.2%) 1715 ( 2.5/ 2.5%)
2190.59/2178.35 c (2102,0) c R 2 4404261 (81.2/86.4%) 26075 (38.1/40.6%)
2190.59/2178.35 c (2102,0) c R
2190.59/2178.35 c (2102,0) c R core_lbd_threshold = 2
2190.59/2178.35 c (2102,0) c R supp_lbd_threshold = 8
2190.59/2178.35 c (2102,0) c R
2190.59/2178.35 c (2102,0) c R [RDB Statistics #7]
2190.59/2178.35 c (2102,0) c R kept: lbd = 27107 (39.6/39.6%)
2190.59/2178.35 c (2102,0) c R kept: ttl = 19010 (27.8/67.4%)
2190.59/2178.35 c (2102,0) c R kept: locked = 700 ( 1.0/68.4%)
2190.59/2178.35 c (2102,0) c R lost: lbd = 0 ( 0.0/ 0.0%)
2190.59/2178.35 c (2102,0) c R lost: ttl = 21649 (31.6/31.6%)
2190.59/2178.35 c (2102,0) c R lost: subsumed = 0 ( 0.0/31.6%)
2190.59/2178.35 c (2102,0) c
2190.59/2178.35 c (2102,0) c 2102 R 862 161000 505604 10936958 46817 10.1 3.1 27.5 70.6%
2317.95/2305.61 c (2230,0) c 2229 910 170394 505577 10936223 56330 14.4 4.1 27.2 71.0%
2467.54/2455.14 c (2379,0) c 2379 p 985 181891 505469 10936223 68008 18.7 5.0 31.2 73.2%
2520.08/2507.60 c (2432,0) receiving signal SIGTERM
2520.08/2507.60 s UNKNOWN
2520.08/2507.61 c (scop.sh) Receiving Signal. Removing all intermediate files.
2520.08/2507.61 c (scop.sh) Remove HOME/scop-14112-serial-file.bin.
2520.08/2507.61 c (scop.sh) Killing background jobs.
2520.08/2507.61 c (2432,0) receiving signal SIGTERM
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 (11879 MiB free)
memory of node 1: 16384 MiB (11258 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4388256-1568297497/watcher-4388256-1568297497 -o /tmp/evaluation-result-4388256-1568297497/solver-4388256-1568297497 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node137-1568286693-10212 --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-4388256-1568297497.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=14112, runsolver pid=14109
[startup+0.100059 s]*
/proc/loadavg: 2.06 2.09 2.07 4/235 14129
/proc/meminfo: memFree=23631868/32770624 swapFree=66927100/67108860
[pid=14112] ppid=14109 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/14112/stat : 14112 (scop.sh) S 14109 14112 8795 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 405997045 115843072 349 33554432000 4194304 5098028 140726099312000 140726099309256 140230417392252 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 16519168 140726099317544 140726099317872 140726099317872 140726099320781 0
/proc/14112/statm: 28282 349 296 221 0 87 0
[pid=14115] ppid=14112 vsize=15012696 memory=74104 CPUtime=0.11 cores=0,2,4,6
/proc/14115/stat : 14115 (java) S 14112 14112 8795 0 -1 1077944320 6778 0 0 0 9 2 0 0 20 0 15 0 405997045 15373000704 18526 33554432000 4194304 4196468 140737216005216 140737215987760 140543645339383 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 30208000 140737216013038 140737216013466 140737216013466 140737216016335 0
/proc/14115/statm: 3753174 18526 2923 1 0 3715579 0
[pid=14115/tid=14116] ppid=14112 vsize=15012696 memory=-6005124337042243525 CPUtime=0.08 cores=0,2,4,6
/proc/14115/task/14116/stat : 14116 (java) R 14112 14112 8795 0 -1 4202560 4562 0 0 0 7 1 0 0 20 0 15 0 405997046 15373000704 18526 33554432000 4194304 4196468 140737216005216 140543617130552 140543629383013 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30208000 140737216013038 140737216013466 140737216013466 140737216016335 0
[pid=14115/tid=14117] ppid=14112 vsize=15012696 memory=4206468019014099040 CPUtime=0 cores=0,2,4,6
/proc/14115/task/14117/stat : 14117 (java) S 14112 14112 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405997047 15373000704 18526 33554432000 4194304 4196468 140737216005216 140543649581840 140543645349589 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30208000 140737216013038 140737216013466 140737216013466 140737216016335 0
[pid=14115/tid=14118] ppid=14112 vsize=15012696 memory=140255928657536 CPUtime=0 cores=0,2,4,6
/proc/14115/task/14118/stat : 14118 (java) S 14112 14112 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405997047 15373000704 18526 33554432000 4194304 4196468 140737216005216 140543478676368 140543645349589 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30208000 140737216013038 140737216013466 140737216013466 140737216016335 0
[pid=14115/tid=14119] ppid=14112 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14115/task/14119/stat : 14119 (java) S 14112 14112 8795 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405997047 15373000704 18526 33554432000 4194304 4196468 140737216005216 140543104465936 140543645349589 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30208000 140737216013038 140737216013466 140737216013466 140737216016335 0
[pid=14115/tid=14120] ppid=14112 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14115/task/14120/stat : 14120 (java) S 14112 14112 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405997047 15373000704 18526 33554432000 4194304 4196468 140737216005216 140543103413392 140543645349589 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30208000 140737216013038 140737216013466 140737216013466 140737216016335 0
[pid=14115/tid=14121] ppid=14112 vsize=15012696 memory=140255928657536 CPUtime=0 cores=0,2,4,6
/proc/14115/task/14121/stat : 14121 (java) S 14112 14112 8795 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405997049 15373000704 18526 33554432000 4194304 4196468 140737216005216 140542414362608 140543645350530 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30208000 140737216013038 140737216013466 140737216013466 140737216016335 0
[pid=14115/tid=14122] ppid=14112 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14115/task/14122/stat : 14122 (java) S 14112 14112 8795 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405997049 15373000704 18592 33554432000 4194304 4196468 140737216005216 140542335771552 140543645349589 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30208000 140737216013038 140737216013466 140737216013466 140737216016335 0
[pid=14115/tid=14123] ppid=14112 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14115/task/14123/stat : 14123 (java) S 14112 14112 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405997049 15373000704 18592 33554432000 4194304 4196468 140737216005216 140542067336176 140543645349589 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30208000 140737216013038 140737216013466 140737216013466 140737216016335 0
[pid=14115/tid=14124] ppid=14112 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14115/task/14124/stat : 14124 (java) S 14112 14112 8795 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405997052 15373000704 18592 33554432000 4194304 4196468 140737216005216 140541692827856 140543645357979 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30208000 140737216013038 140737216013466 140737216013466 140737216016335 0
[pid=14115/tid=14125] ppid=14112 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14115/task/14125/stat : 14125 (java) S 14112 14112 8795 0 -1 1077944384 312 0 0 0 0 0 0 0 20 0 15 0 405997052 15373000704 18592 33554432000 4194304 4196468 140737216005216 140542413310448 140543645350530 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30208000 140737216013038 140737216013466 140737216013466 140737216016335 0
[pid=14115/tid=14126] ppid=14112 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14115/task/14126/stat : 14126 (java) S 14112 14112 8795 0 -1 1077944384 140 0 0 0 0 0 0 0 20 0 15 0 405997052 15373000704 18592 33554432000 4194304 4196468 140737216005216 140542412257904 140543645350530 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30208000 140737216013038 140737216013466 140737216013466 140737216016335 0
[pid=14115/tid=14127] ppid=14112 vsize=15012696 memory=140255928657536 CPUtime=0.01 cores=0,2,4,6
/proc/14115/task/14127/stat : 14127 (java) R 14112 14112 8795 0 -1 4202560 467 0 0 0 1 0 0 0 20 0 15 0 405997052 15373000704 18592 33554432000 4194304 4196468 140737216005216 140542411202120 140543623505187 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30208000 140737216013038 140737216013466 140737216013466 140737216016335 0
[pid=14115/tid=14128] ppid=14112 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14115/task/14128/stat : 14128 (java) S 14112 14112 8795 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405997052 15373000704 18592 33554432000 4194304 4196468 140737216005216 140541194923104 140543645349589 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30208000 140737216013038 140737216013466 140737216013466 140737216016335 0
[pid=14115/tid=14129] ppid=14112 vsize=15012696 memory=140255928657536 CPUtime=0 cores=0,2,4,6
/proc/14115/task/14129/stat : 14129 (java) S 14112 14112 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405997052 15373000704 18592 33554432000 4194304 4196468 140737216005216 140542410152240 140543645350530 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30208000 140737216013038 140737216013466 140737216013466 140737216016335 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 75500 KiB
[startup+0.211164 s]*
/proc/loadavg: 2.06 2.09 2.07 3/235 14129
/proc/meminfo: memFree=23613108/32770624 swapFree=66927100/67108860
[pid=14112] ppid=14109 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/14112/stat : 14112 (scop.sh) S 14109 14112 8795 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 405997045 115843072 349 33554432000 4194304 5098028 140726099312000 140726099309256 140230417392252 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 16519168 140726099317544 140726099317872 140726099317872 140726099320781 0
/proc/14112/statm: 28282 349 296 221 0 87 0
[pid=14115] ppid=14112 vsize=15012696 memory=89692 CPUtime=0.25 cores=0,2,4,6
/proc/14115/stat : 14115 (java) S 14112 14112 8795 0 -1 1077944320 11962 0 0 0 21 4 0 0 20 0 15 0 405997045 15373000704 22423 33554432000 4194304 4196468 140737216005216 140737215987760 140543645339383 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 30208000 140737216013038 140737216013466 140737216013466 140737216016335 0
/proc/14115/statm: 3753174 22423 2958 1 0 3715579 0
[pid=14115/tid=14116] ppid=14112 vsize=15012696 memory=7022364632946311227 CPUtime=0.2 cores=0,2,4,6
/proc/14115/task/14116/stat : 14116 (java) R 14112 14112 8795 0 -1 4202560 9627 0 0 0 17 3 0 0 20 0 15 0 405997046 15373000704 22423 33554432000 4194304 4196468 140737216005216 140543617160288 140543645351318 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30208000 140737216013038 140737216013466 140737216013466 140737216016335 0
[pid=14115/tid=14117] ppid=14112 vsize=15012696 memory=540 CPUtime=0 cores=0,2,4,6
/proc/14115/task/14117/stat : 14117 (java) S 14112 14112 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405997047 15373000704 22423 33554432000 4194304 4196468 140737216005216 140543649581840 140543645349589 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30208000 140737216013038 140737216013466 140737216013466 140737216016335 0
[pid=14115/tid=14118] ppid=14112 vsize=15012696 memory=140255928670926 CPUtime=0 cores=0,2,4,6
/proc/14115/task/14118/stat : 14118 (java) S 14112 14112 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405997047 15373000704 22423 33554432000 4194304 4196468 140737216005216 140543478676368 140543645349589 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30208000 140737216013038 140737216013466 140737216013466 140737216016335 0
[pid=14115/tid=14119] ppid=14112 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14115/task/14119/stat : 14119 (java) S 14112 14112 8795 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405997047 15373000704 22423 33554432000 4194304 4196468 140737216005216 140543104465936 140543645349589 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30208000 140737216013038 140737216013466 140737216013466 140737216016335 0
[pid=14115/tid=14120] ppid=14112 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14115/task/14120/stat : 14120 (java) S 14112 14112 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405997047 15373000704 22423 33554432000 4194304 4196468 140737216005216 140543103413392 140543645349589 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30208000 140737216013038 140737216013466 140737216013466 140737216016335 0
[pid=14115/tid=14121] ppid=14112 vsize=15012696 memory=140255928657536 CPUtime=0 cores=0,2,4,6
/proc/14115/task/14121/stat : 14121 (java) S 14112 14112 8795 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405997049 15373000704 22423 33554432000 4194304 4196468 140737216005216 140542414362608 140543645350530 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30208000 140737216013038 140737216013466 140737216013466 140737216016335 0
[pid=14115/tid=14122] ppid=14112 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14115/task/14122/stat : 14122 (java) S 14112 14112 8795 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405997049 15373000704 22423 33554432000 4194304 4196468 140737216005216 140542335771552 140543645349589 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30208000 140737216013038 140737216013466 140737216013466 140737216016335 0
[pid=14115/tid=14123] ppid=14112 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14115/task/14123/stat : 14123 (java) S 14112 14112 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405997049 15373000704 22423 33554432000 4194304 4196468 140737216005216 140542067336176 140543645349589 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30208000 140737216013038 140737216013466 140737216013466 140737216016335 0
[pid=14115/tid=14124] ppid=14112 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14115/task/14124/stat : 14124 (java) S 14112 14112 8795 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405997052 15373000704 22423 33554432000 4194304 4196468 140737216005216 140541692827856 140543645357979 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30208000 140737216013038 140737216013466 140737216013466 140737216016335 0
[pid=14115/tid=14125] ppid=14112 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14115/task/14125/stat : 14125 (java) S 14112 14112 8795 0 -1 1077944384 349 0 0 0 0 0 0 0 20 0 15 0 405997052 15373000704 22423 33554432000 4194304 4196468 140737216005216 140542413310448 140543645350530 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30208000 140737216013038 140737216013466 140737216013466 140737216016335 0
[pid=14115/tid=14126] ppid=14112 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14115/task/14126/stat : 14126 (java) S 14112 14112 8795 0 -1 1077944384 151 0 0 0 0 0 0 0 20 0 15 0 405997052 15373000704 22423 33554432000 4194304 4196468 140737216005216 140542412257904 140543645350530 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30208000 140737216013038 140737216013466 140737216013466 140737216016335 0
[pid=14115/tid=14127] ppid=14112 vsize=15012696 memory=140255928657536 CPUtime=0.02 cores=0,2,4,6
/proc/14115/task/14127/stat : 14127 (java) R 14112 14112 8795 0 -1 4202560 508 0 0 0 2 0 0 0 20 0 15 0 405997052 15373000704 22423 33554432000 4194304 4196468 140737216005216 140542411205360 140543645351318 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30208000 140737216013038 140737216013466 140737216013466 140737216016335 0
[pid=14115/tid=14128] ppid=14112 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14115/task/14128/stat : 14128 (java) S 14112 14112 8795 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405997052 15373000704 22423 33554432000 4194304 4196468 140737216005216 140541194923104 140543645349589 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30208000 140737216013038 140737216013466 140737216013466 140737216016335 0
[pid=14115/tid=14129] ppid=14112 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14115/task/14129/stat : 14129 (java) S 14112 14112 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405997052 15373000704 22423 33554432000 4194304 4196468 140737216005216 140542410152240 140543645350530 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30208000 140737216013038 140737216013466 140737216013466 140737216016335 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 91088 KiB
[startup+0.310944 s]*
/proc/loadavg: 2.06 2.09 2.07 3/235 14129
/proc/meminfo: memFree=23610544/32770624 swapFree=66927100/67108860
[pid=14112] ppid=14109 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/14112/stat : 14112 (scop.sh) S 14109 14112 8795 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 405997045 115843072 349 33554432000 4194304 5098028 140726099312000 140726099309256 140230417392252 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 16519168 140726099317544 140726099317872 140726099317872 140726099320781 0
/proc/14112/statm: 28282 349 296 221 0 87 0
[pid=14115] ppid=14112 vsize=15012696 memory=93864 CPUtime=0.44 cores=0,2,4,6
/proc/14115/stat : 14115 (java) S 14112 14112 8795 0 -1 1077944320 12909 0 0 0 39 5 0 0 20 0 15 0 405997045 15373000704 23466 33554432000 4194304 4196468 140737216005216 140737215987760 140543645339383 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 30208000 140737216013038 140737216013466 140737216013466 140737216016335 0
/proc/14115/statm: 3753174 23466 3088 1 0 3715579 0
[pid=14115/tid=14116] ppid=14112 vsize=15012696 memory=6791534058613427641 CPUtime=0.3 cores=0,2,4,6
/proc/14115/task/14116/stat : 14116 (java) R 14112 14112 8795 0 -1 4202560 10304 0 0 0 26 4 0 0 20 0 15 0 405997046 15373000704 23466 33554432000 4194304 4196468 140737216005216 140543617122400 140543626902975 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30208000 140737216013038 140737216013466 140737216013466 140737216016335 0
[pid=14115/tid=14117] ppid=14112 vsize=15012696 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/14115/task/14117/stat : 14117 (java) S 14112 14112 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405997047 15373000704 23466 33554432000 4194304 4196468 140737216005216 140543649581840 140543645349589 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30208000 140737216013038 140737216013466 140737216013466 140737216016335 0
[pid=14115/tid=14118] ppid=14112 vsize=15012696 memory=-5587046532246807594 CPUtime=0 cores=0,2,4,6
/proc/14115/task/14118/stat : 14118 (java) S 14112 14112 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405997047 15373000704 23466 33554432000 4194304 4196468 140737216005216 140543478676368 140543645349589 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30208000 140737216013038 140737216013466 140737216013466 140737216016335 0
[pid=14115/tid=14119] ppid=14112 vsize=15012696 memory=7379517702019849078 CPUtime=0 cores=0,2,4,6
/proc/14115/task/14119/stat : 14119 (java) S 14112 14112 8795 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405997047 15373000704 23466 33554432000 4194304 4196468 140737216005216 140543104465936 140543645349589 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30208000 140737216013038 140737216013466 140737216013466 140737216016335 0
[pid=14115/tid=14120] ppid=14112 vsize=15012696 memory=7016714186490735262 CPUtime=0 cores=0,2,4,6
/proc/14115/task/14120/stat : 14120 (java) S 14112 14112 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405997047 15373000704 23466 33554432000 4194304 4196468 140737216005216 140543103413392 140543645349589 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30208000 140737216013038 140737216013466 140737216013466 140737216016335 0
[pid=14115/tid=14121] ppid=14112 vsize=15012696 memory=4498404016631593313 CPUtime=0 cores=0,2,4,6
/proc/14115/task/14121/stat : 14121 (java) S 14112 14112 8795 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405997049 15373000704 23466 33554432000 4194304 4196468 140737216005216 140542414362608 140543645350530 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30208000 140737216013038 140737216013466 140737216013466 140737216016335 0
[pid=14115/tid=14122] ppid=14112 vsize=15012696 memory=-6519613052471072158 CPUtime=0 cores=0,2,4,6
/proc/14115/task/14122/stat : 14122 (java) S 14112 14112 8795 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405997049 15373000704 23466 33554432000 4194304 4196468 140737216005216 140542335771552 140543645349589 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30208000 140737216013038 140737216013466 140737216013466 140737216016335 0
[pid=14115/tid=14123] ppid=14112 vsize=15012696 memory=7827413994055111515 CPUtime=0 cores=0,2,4,6
/proc/14115/task/14123/stat : 14123 (java) S 14112 14112 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405997049 15373000704 23466 33554432000 4194304 4196468 140737216005216 140542067336176 140543645349589 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30208000 140737216013038 140737216013466 140737216013466 140737216016335 0
[pid=14115/tid=14124] ppid=14112 vsize=15012696 memory=8508281356422055839 CPUtime=0 cores=0,2,4,6
/proc/14115/task/14124/stat : 14124 (java) S 14112 14112 8795 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405997052 15373000704 23466 33554432000 4194304 4196468 140737216005216 140541692827856 140543645357979 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30208000 140737216013038 140737216013466 140737216013466 140737216016335 0
[pid=14115/tid=14125] ppid=14112 vsize=15012696 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/14115/task/14125/stat : 14125 (java) S 14112 14112 8795 0 -1 1077944384 464 0 0 0 3 0 0 0 20 0 15 0 405997052 15373000704 23466 33554432000 4194304 4196468 140737216005216 140542413310448 140543645350530 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30208000 140737216013038 140737216013466 140737216013466 140737216016335 0
[pid=14115/tid=14126] ppid=14112 vsize=15012696 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/14115/task/14126/stat : 14126 (java) S 14112 14112 8795 0 -1 1077944384 206 0 0 0 1 0 0 0 20 0 15 0 405997052 15373000704 23466 33554432000 4194304 4196468 140737216005216 140542412257904 140543645350530 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30208000 140737216013038 140737216013466 140737216013466 140737216016335 0
[pid=14115/tid=14127] ppid=14112 vsize=15012696 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/14115/task/14127/stat : 14127 (java) S 14112 14112 8795 0 -1 1077944384 604 0 0 0 7 0 0 0 20 0 15 0 405997052 15373000704 23466 33554432000 4194304 4196468 140737216005216 140542411205360 140543645350530 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30208000 140737216013038 140737216013466 140737216013466 140737216016335 0
[pid=14115/tid=14128] ppid=14112 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14115/task/14128/stat : 14128 (java) S 14112 14112 8795 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405997052 15373000704 23466 33554432000 4194304 4196468 140737216005216 140541194923104 140543645349589 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30208000 140737216013038 140737216013466 140737216013466 140737216016335 0
[pid=14115/tid=14129] ppid=14112 vsize=15012696 memory=3544670672484578352 CPUtime=0 cores=0,2,4,6
/proc/14115/task/14129/stat : 14129 (java) S 14112 14112 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405997052 15373000704 23466 33554432000 4194304 4196468 140737216005216 140542410152240 140543645350530 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30208000 140737216013038 140737216013466 140737216013466 140737216016335 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 95260 KiB
[startup+0.700829 s]
/proc/loadavg: 2.06 2.09 2.07 3/235 14129
/proc/meminfo: memFree=23589336/32770624 swapFree=66927100/67108860
[pid=14112] ppid=14109 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/14112/stat : 14112 (scop.sh) S 14109 14112 8795 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 405997045 115843072 349 33554432000 4194304 5098028 140726099312000 140726099309256 140230417392252 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 16519168 140726099317544 140726099317872 140726099317872 140726099320781 0
/proc/14112/statm: 28282 349 296 221 0 87 0
[pid=14115] ppid=14112 vsize=15018968 memory=128768 CPUtime=0.99 cores=0,2,4,6
/proc/14115/stat : 14115 (java) S 14112 14112 8795 0 -1 1077944320 19935 0 0 0 92 7 0 0 20 0 15 0 405997045 15379423232 32192 33554432000 4194304 4196468 140737216005216 140737215987760 140543645339383 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 30208000 140737216013038 140737216013466 140737216013466 140737216016335 0
/proc/14115/statm: 3754742 32192 3190 1 0 3716091 0
[pid=14115/tid=14116] ppid=14112 vsize=15018968 memory=0 CPUtime=0.67 cores=0,2,4,6
/proc/14115/task/14116/stat : 14116 (java) R 14112 14112 8795 0 -1 4202560 16729 0 0 0 61 6 0 0 20 0 15 0 405997046 15379423232 32192 33554432000 4194304 4196468 140737216005216 140543617177504 140543629531158 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30208000 140737216013038 140737216013466 140737216013466 140737216016335 0
[pid=14115/tid=14117] ppid=14112 vsize=15018968 memory=5252745004214 CPUtime=0 cores=0,2,4,6
/proc/14115/task/14117/stat : 14117 (java) S 14112 14112 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405997047 15379423232 32192 33554432000 4194304 4196468 140737216005216 140543649581840 140543645349589 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30208000 140737216013038 140737216013466 140737216013466 140737216016335 0
[pid=14115/tid=14118] ppid=14112 vsize=15018968 memory=288230596050944315 CPUtime=0 cores=0,2,4,6
/proc/14115/task/14118/stat : 14118 (java) S 14112 14112 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405997047 15379423232 32192 33554432000 4194304 4196468 140737216005216 140543478676368 140543645349589 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30208000 140737216013038 140737216013466 140737216013466 140737216016335 0
[pid=14115/tid=14119] ppid=14112 vsize=15018968 memory=14690799036142200 CPUtime=0 cores=0,2,4,6
/proc/14115/task/14119/stat : 14119 (java) S 14112 14112 8795 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405997047 15379423232 32192 33554432000 4194304 4196468 140737216005216 140543104465936 140543645349589 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30208000 140737216013038 140737216013466 140737216013466 140737216016335 0
[pid=14115/tid=14120] ppid=14112 vsize=15018968 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14115/task/14120/stat : 14120 (java) S 14112 14112 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405997047 15379423232 32192 33554432000 4194304 4196468 140737216005216 140543103413392 140543645349589 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30208000 140737216013038 140737216013466 140737216013466 140737216016335 0
[pid=14115/tid=14121] ppid=14112 vsize=15018968 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14115/task/14121/stat : 14121 (java) S 14112 14112 8795 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 405997049 15379423232 32192 33554432000 4194304 4196468 140737216005216 140542414362608 140543645350530 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30208000 140737216013038 140737216013466 140737216013466 140737216016335 0
[pid=14115/tid=14122] ppid=14112 vsize=15018968 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14115/task/14122/stat : 14122 (java) S 14112 14112 8795 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405997049 15379423232 32192 33554432000 4194304 4196468 140737216005216 140542335771552 140543645349589 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30208000 140737216013038 140737216013466 140737216013466 140737216016335 0
[pid=14115/tid=14123] ppid=14112 vsize=15018968 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14115/task/14123/stat : 14123 (java) S 14112 14112 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405997049 15379423232 32192 33554432000 4194304 4196468 140737216005216 140542067336176 140543645349589 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30208000 140737216013038 140737216013466 140737216013466 140737216016335 0
[pid=14115/tid=14124] ppid=14112 vsize=15018968 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14115/task/14124/stat : 14124 (java) S 14112 14112 8795 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405997052 15379423232 32192 33554432000 4194304 4196468 140737216005216 140541692827856 140543645357979 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30208000 140737216013038 140737216013466 140737216013466 140737216016335 0
[pid=14115/tid=14125] ppid=14112 vsize=15018968 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/14115/task/14125/stat : 14125 (java) S 14112 14112 8795 0 -1 1077944384 668 0 0 0 8 0 0 0 20 0 15 0 405997052 15379423232 32192 33554432000 4194304 4196468 140737216005216 140542413310448 140543645350530 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30208000 140737216013038 140737216013466 140737216013466 140737216016335 0
[pid=14115/tid=14126] ppid=14112 vsize=15018968 memory=0 CPUtime=0.06 cores=0,2,4,6
/proc/14115/task/14126/stat : 14126 (java) S 14112 14112 8795 0 -1 1077944384 420 0 0 0 6 0 0 0 20 0 15 0 405997052 15379423232 32192 33554432000 4194304 4196468 140737216005216 140542412257904 140543645350530 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30208000 140737216013038 140737216013466 140737216013466 140737216016335 0
[pid=14115/tid=14127] ppid=14112 vsize=15018968 memory=0 CPUtime=0.15 cores=0,2,4,6
/proc/14115/task/14127/stat : 14127 (java) R 14112 14112 8795 0 -1 4202560 783 0 0 0 15 0 0 0 20 0 15 0 405997052 15379423232 32192 33554432000 4194304 4196468 140737216005216 140542411201728 140543624608876 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30208000 140737216013038 140737216013466 140737216013466 140737216016335 0
[pid=14115/tid=14128] ppid=14112 vsize=15018968 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14115/task/14128/stat : 14128 (java) S 14112 14112 8795 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405997052 15379423232 32192 33554432000 4194304 4196468 140737216005216 140541194923104 140543645349589 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30208000 140737216013038 140737216013466 140737216013466 140737216016335 0
[pid=14115/tid=14129] ppid=14112 vsize=15018968 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14115/task/14129/stat : 14129 (java) S 14112 14112 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405997052 15379423232 32192 33554432000 4194304 4196468 140737216005216 140542410152240 140543645350530 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30208000 140737216013038 140737216013466 140737216013466 140737216016335 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 15132096 KiB
Current children cumulated memory: 130164 KiB
[startup+1.50284 s]
/proc/loadavg: 2.06 2.09 2.07 5/235 14129
/proc/meminfo: memFree=23529332/32770624 swapFree=66927100/67108860
[pid=14112] ppid=14109 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/14112/stat : 14112 (scop.sh) S 14109 14112 8795 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 405997045 115843072 349 33554432000 4194304 5098028 140726099312000 140726099309256 140230417392252 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 16519168 140726099317544 140726099317872 140726099317872 140726099320781 0
/proc/14112/statm: 28282 349 296 221 0 87 0
################
# More data... #
################
/proc/14136/stat : 14136 (java) S 14112 14112 8795 0 -1 1077944320 22309 0 0 0 234 87 0 0 20 0 19 0 406004564 8262082560 30760 33554432000 4194304 4196468 140730908465616 140730908448160 140448979160823 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 6987776 140730908472315 140730908472474 140730908472474 140730908475343 0
/proc/14136/statm: 2017110 30760 3208 1 0 1978454 0
[pid=14151] ppid=14136 vsize=1479500 memory=1327228 CPUtime=2426.03 cores=0,2,4,6
/proc/14151/stat : 14151 (glueminisat-sim) R 14136 14112 8795 0 -1 4202496 6965969 0 0 0 241980 623 0 0 20 0 1 0 406004642 1515008000 331807 33554432000 4194304 4452875 140727591046096 140727591041192 4373019 0 4 0 8388610 0 0 0 17 2 0 0 0 0 0 6552096 6554264 29687808 140727591052127 140727591052327 140727591052327 140727591055277 0
/proc/14151/statm: 369875 331807 376 64 0 366079 0
[pid=14136/tid=14137] ppid=14112 vsize=8068440 memory=4026532046 CPUtime=0.8 cores=0,2,4,6
/proc/14136/task/14137/stat : 14137 (java) S 14112 14112 8795 0 -1 1077944384 16737 0 0 0 73 7 0 0 20 0 19 0 406004565 8262082560 30760 33554432000 4194304 4196468 140730908465616 140448951000992 140448979171029 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6987776 140730908472315 140730908472474 140730908472474 140730908475343 0
[pid=14136/tid=14138] ppid=14112 vsize=8068440 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14136/task/14138/stat : 14138 (java) S 14112 14112 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 406004566 8262082560 30760 33554432000 4194304 4196468 140730908465616 140448983403664 140448979171029 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6987776 140730908472315 140730908472474 140730908472474 140730908475343 0
[pid=14136/tid=14139] ppid=14112 vsize=8068440 memory=3762818168788364395 CPUtime=0 cores=0,2,4,6
/proc/14136/task/14139/stat : 14139 (java) S 14112 14112 8795 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 406004566 8262082560 30760 33554432000 4194304 4196468 140730908465616 140448789167120 140448979171029 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6987776 140730908472315 140730908472474 140730908472474 140730908475343 0
[pid=14136/tid=14140] ppid=14112 vsize=8068440 memory=3762811503002531128 CPUtime=0 cores=0,2,4,6
/proc/14136/task/14140/stat : 14140 (java) S 14112 14112 8795 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 406004566 8262082560 30760 33554432000 4194304 4196468 140730908465616 140448788114320 140448979171029 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6987776 140730908472315 140730908472474 140730908472474 140730908475343 0
[pid=14136/tid=14141] ppid=14112 vsize=8068440 memory=2320395883495381688 CPUtime=0 cores=0,2,4,6
/proc/14136/task/14141/stat : 14141 (java) S 14112 14112 8795 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 406004566 8262082560 30760 33554432000 4194304 4196468 140730908465616 140448461654800 140448979171029 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6987776 140730908472315 140730908472474 140730908472474 140730908475343 0
[pid=14136/tid=14142] ppid=14112 vsize=8068440 memory=3461362060430936623 CPUtime=0.05 cores=0,2,4,6
/proc/14136/task/14142/stat : 14142 (java) S 14112 14112 8795 0 -1 1077944384 11 0 0 0 3 2 0 0 20 0 19 0 406004567 8262082560 30760 33554432000 4194304 4196468 140730908465616 140448358300016 140448979171970 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 15 0 0 6293624 6294260 6987776 140730908472315 140730908472474 140730908472474 140730908475343 0
[pid=14136/tid=14143] ppid=14112 vsize=8068440 memory=6944656575205224506 CPUtime=0 cores=0,2,4,6
/proc/14136/task/14143/stat : 14143 (java) S 14112 14112 8795 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 406004568 8262082560 30760 33554432000 4194304 4196468 140730908465616 140447846491168 140448979171029 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6987776 140730908472315 140730908472474 140730908472474 140730908475343 0
[pid=14136/tid=14144] ppid=14112 vsize=8068440 memory=6944656592455359580 CPUtime=0 cores=0,2,4,6
/proc/14136/task/14144/stat : 14144 (java) S 14112 14112 8795 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 406004568 8262082560 30760 33554432000 4194304 4196468 140730908465616 140447712269168 140448979171029 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6987776 140730908472315 140730908472474 140730908472474 140730908475343 0
[pid=14136/tid=14145] ppid=14112 vsize=8068440 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14136/task/14145/stat : 14145 (java) S 14112 14112 8795 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 406004571 8262082560 30760 33554432000 4194304 4196468 140730908465616 140447337764688 140448979179419 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6987776 140730908472315 140730908472474 140730908472474 140730908475343 0
[pid=14136/tid=14146] ppid=14112 vsize=8068440 memory=4211821575541123446 CPUtime=0.15 cores=0,2,4,6
/proc/14136/task/14146/stat : 14146 (java) S 14112 14112 8795 0 -1 1077944384 809 0 0 0 14 1 0 0 20 0 19 0 406004571 8262082560 30760 33554432000 4194304 4196468 140730908465616 140448357247856 140448979171970 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6987776 140730908472315 140730908472474 140730908472474 140730908475343 0
[pid=14136/tid=14147] ppid=14112 vsize=8068440 memory=140255928671202 CPUtime=0.17 cores=0,2,4,6
/proc/14136/task/14147/stat : 14147 (java) S 14112 14112 8795 0 -1 1077944384 541 0 0 0 16 1 0 0 20 0 19 0 406004571 8262082560 30760 33554432000 4194304 4196468 140730908465616 140448356195056 140448979171970 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6987776 140730908472315 140730908472474 140730908472474 140730908475343 0
[pid=14136/tid=14148] ppid=14112 vsize=8068440 memory=-1 CPUtime=0.28 cores=0,2,4,6
/proc/14136/task/14148/stat : 14148 (java) S 14112 14112 8795 0 -1 1077944384 968 0 0 0 27 1 0 0 20 0 19 0 406004571 8262082560 30760 33554432000 4194304 4196468 140730908465616 140448355142256 140448979171970 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6987776 140730908472315 140730908472474 140730908472474 140730908475343 0
[pid=14136/tid=14149] ppid=14112 vsize=8068440 memory=3472468552156075696 CPUtime=0 cores=0,2,4,6
/proc/14136/task/14149/stat : 14149 (java) S 14112 14112 8795 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 406004571 8262082560 30760 33554432000 4194304 4196468 140730908465616 140446839859936 140448979171029 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6987776 140730908472315 140730908472474 140730908472474 140730908475343 0
[pid=14136/tid=14150] ppid=14112 vsize=8068440 memory=-1 CPUtime=1.65 cores=0,2,4,6
/proc/14136/task/14150/stat : 14150 (java) S 14112 14112 8795 0 -1 1077944384 161 0 0 0 86 79 0 0 20 0 19 0 406004571 8262082560 30760 33554432000 4194304 4196468 140730908465616 140448354089648 140448979171970 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 145 0 0 6293624 6294260 6987776 140730908472315 140730908472474 140730908472474 140730908475343 0
[pid=14136/tid=14152] ppid=14112 vsize=8068440 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14136/task/14152/stat : 14152 (java) S 14112 14112 8795 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 406004642 8262082560 30760 33554432000 4194304 4196468 140730908465616 140448346055872 140448979185433 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 6987776 140730908472315 140730908472474 140730908472474 140730908475343 0
[pid=14136/tid=14154] ppid=14112 vsize=8068440 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/14136/task/14154/stat : 14154 (java) S 14112 14112 8795 0 -1 4202560 1688 0 0 0 2 1 0 0 20 0 19 0 406004642 8262082560 30760 33554432000 4194304 4196468 140730908465616 140446302973360 140448979182749 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 6987776 140730908472315 140730908472474 140730908472474 140730908475343 0
[pid=14136/tid=14155] ppid=14112 vsize=8068440 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14136/task/14155/stat : 14155 (java) S 14112 14112 8795 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 406004642 8262082560 30760 33554432000 4194304 4196468 140730908465616 140446437195952 140448979182749 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 6987776 140730908472315 140730908472474 140730908472474 140730908475343 0
[pid=14136/tid=14156] ppid=14112 vsize=8068440 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14136/task/14156/stat : 14156 (java) S 14112 14112 8795 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 406004645 8262082560 30760 33554432000 4194304 4196468 140730908465616 140446034550448 140448979171029 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6987776 140730908472315 140730908472474 140730908472474 140730908475343 0
Current children cumulated CPU time: 2514.79 s
Current children cumulated vsize: 9661068 KiB
Current children cumulated memory: 1451744 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2507.6 s]
/proc/loadavg: 2.00 2.02 2.05 3/239 15172
/proc/meminfo: memFree=22989824/32770624 swapFree=66927112/67108860
[pid=14112] ppid=14109 vsize=113128 memory=1476 CPUtime=85.55 cores=0,2,4,6
/proc/14112/stat : 14112 (scop.sh) S 14109 14112 8795 0 -1 4202496 584 57126 0 0 0 0 8348 207 20 0 1 0 405997045 115843072 369 33554432000 4194304 5098028 140726099312000 140726099308744 140230417392252 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 16519168 140726099317544 140726099317872 140726099317872 140726099320781 0
/proc/14112/statm: 28282 369 311 221 0 87 0
[pid=14136] ppid=14112 vsize=8068440 memory=123040 CPUtime=3.21 cores=0,2,4,6
/proc/14136/stat : 14136 (java) S 14112 14112 8795 0 -1 1077944320 22309 0 0 0 234 87 0 0 20 0 19 0 406004564 8262082560 30760 33554432000 4194304 4196468 140730908465616 140730908448160 140448979160823 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 6987776 140730908472315 140730908472474 140730908472474 140730908475343 0
/proc/14136/statm: 2017110 30760 3208 1 0 1978454 0
[pid=14151] ppid=14136 vsize=1479500 memory=1327228 CPUtime=2431.32 cores=0,2,4,6
/proc/14151/stat : 14151 (glueminisat-sim) R 14136 14112 8795 0 -1 4202496 6996677 0 0 0 242508 624 0 0 20 0 1 0 406004642 1515008000 331807 33554432000 4194304 4452875 140727591046096 140727591041128 4373050 0 4 0 8388610 0 0 0 17 2 0 0 0 0 0 6552096 6554264 29687808 140727591052127 140727591052327 140727591052327 140727591055277 0
/proc/14151/statm: 369875 331807 376 64 0 366079 0
[pid=14136/tid=14137] ppid=14112 vsize=8068440 memory=123040 CPUtime=0.8 cores=0,2,4,6
/proc/14136/task/14137/stat : 14137 (java) S 14112 14112 8795 0 -1 1077944384 16737 0 0 0 73 7 0 0 20 0 19 0 406004565 8262082560 30760 33554432000 4194304 4196468 140730908465616 140448951000992 140448979171029 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6987776 140730908472315 140730908472474 140730908472474 140730908475343 0
[pid=14136/tid=14138] ppid=14112 vsize=8068440 memory=123040 CPUtime=0 cores=0,2,4,6
/proc/14136/task/14138/stat : 14138 (java) S 14112 14112 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 406004566 8262082560 30760 33554432000 4194304 4196468 140730908465616 140448983403664 140448979171029 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6987776 140730908472315 140730908472474 140730908472474 140730908475343 0
[pid=14136/tid=14139] ppid=14112 vsize=8068440 memory=123040 CPUtime=0 cores=0,2,4,6
/proc/14136/task/14139/stat : 14139 (java) S 14112 14112 8795 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 406004566 8262082560 30760 33554432000 4194304 4196468 140730908465616 140448789167120 140448979171029 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6987776 140730908472315 140730908472474 140730908472474 140730908475343 0
[pid=14136/tid=14140] ppid=14112 vsize=8068440 memory=1476 CPUtime=0 cores=0,2,4,6
/proc/14136/task/14140/stat : 14140 (java) S 14112 14112 8795 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 406004566 8262082560 30760 33554432000 4194304 4196468 140730908465616 140448788114320 140448979171029 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6987776 140730908472315 140730908472474 140730908472474 140730908475343 0
[pid=14136/tid=14141] ppid=14112 vsize=8068440 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14136/task/14141/stat : 14141 (java) S 14112 14112 8795 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 406004566 8262082560 30760 33554432000 4194304 4196468 140730908465616 140448461654800 140448979171029 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6987776 140730908472315 140730908472474 140730908472474 140730908475343 0
[pid=14136/tid=14142] ppid=14112 vsize=8068440 memory=1476 CPUtime=0.05 cores=0,2,4,6
/proc/14136/task/14142/stat : 14142 (java) S 14112 14112 8795 0 -1 1077944384 11 0 0 0 3 2 0 0 20 0 19 0 406004567 8262082560 30760 33554432000 4194304 4196468 140730908465616 140448358300016 140448979171970 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 15 0 0 6293624 6294260 6987776 140730908472315 140730908472474 140730908472474 140730908475343 0
[pid=14136/tid=14143] ppid=14112 vsize=8068440 memory=123040 CPUtime=0 cores=0,2,4,6
/proc/14136/task/14143/stat : 14143 (java) S 14112 14112 8795 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 406004568 8262082560 30760 33554432000 4194304 4196468 140730908465616 140447846491168 140448979171029 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6987776 140730908472315 140730908472474 140730908472474 140730908475343 0
[pid=14136/tid=14144] ppid=14112 vsize=8068440 memory=1327228 CPUtime=0 cores=0,2,4,6
/proc/14136/task/14144/stat : 14144 (java) S 14112 14112 8795 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 406004568 8262082560 30760 33554432000 4194304 4196468 140730908465616 140447712269168 140448979171029 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6987776 140730908472315 140730908472474 140730908472474 140730908475343 0
[pid=14136/tid=14145] ppid=14112 vsize=8068440 memory=2028 CPUtime=0 cores=0,2,4,6
/proc/14136/task/14145/stat : 14145 (java) S 14112 14112 8795 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 406004571 8262082560 30760 33554432000 4194304 4196468 140730908465616 140447337764688 140448979179419 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6987776 140730908472315 140730908472474 140730908472474 140730908475343 0
[pid=14136/tid=14146] ppid=14112 vsize=8068440 memory=123040 CPUtime=0.15 cores=0,2,4,6
/proc/14136/task/14146/stat : 14146 (java) S 14112 14112 8795 0 -1 1077944384 809 0 0 0 14 1 0 0 20 0 19 0 406004571 8262082560 30760 33554432000 4194304 4196468 140730908465616 140448357247856 140448979171970 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6987776 140730908472315 140730908472474 140730908472474 140730908475343 0
[pid=14136/tid=14147] ppid=14112 vsize=8068440 memory=1476 CPUtime=0.17 cores=0,2,4,6
/proc/14136/task/14147/stat : 14147 (java) S 14112 14112 8795 0 -1 1077944384 541 0 0 0 16 1 0 0 20 0 19 0 406004571 8262082560 30760 33554432000 4194304 4196468 140730908465616 140448356195056 140448979171970 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6987776 140730908472315 140730908472474 140730908472474 140730908475343 0
[pid=14136/tid=14148] ppid=14112 vsize=8068440 memory=1476 CPUtime=0.28 cores=0,2,4,6
/proc/14136/task/14148/stat : 14148 (java) S 14112 14112 8795 0 -1 1077944384 968 0 0 0 27 1 0 0 20 0 19 0 406004571 8262082560 30760 33554432000 4194304 4196468 140730908465616 140448355142256 140448979171970 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6987776 140730908472315 140730908472474 140730908472474 140730908475343 0
[pid=14136/tid=14149] ppid=14112 vsize=8068440 memory=1476 CPUtime=0 cores=0,2,4,6
/proc/14136/task/14149/stat : 14149 (java) S 14112 14112 8795 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 406004571 8262082560 30760 33554432000 4194304 4196468 140730908465616 140446839859936 140448979171029 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6987776 140730908472315 140730908472474 140730908472474 140730908475343 0
[pid=14136/tid=14150] ppid=14112 vsize=8068440 memory=1476 CPUtime=1.66 cores=0,2,4,6
/proc/14136/task/14150/stat : 14150 (java) S 14112 14112 8795 0 -1 1077944384 161 0 0 0 87 79 0 0 20 0 19 0 406004571 8262082560 30760 33554432000 4194304 4196468 140730908465616 140448354089648 140448979171970 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 145 0 0 6293624 6294260 6987776 140730908472315 140730908472474 140730908472474 140730908475343 0
[pid=14136/tid=14152] ppid=14112 vsize=8068440 memory=1476 CPUtime=0 cores=0,2,4,6
/proc/14136/task/14152/stat : 14152 (java) S 14112 14112 8795 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 406004642 8262082560 30760 33554432000 4194304 4196468 140730908465616 140448346055872 140448979185433 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 6987776 140730908472315 140730908472474 140730908472474 140730908475343 0
[pid=14136/tid=14154] ppid=14112 vsize=8068440 memory=1656 CPUtime=0.03 cores=0,2,4,6
/proc/14136/task/14154/stat : 14154 (java) S 14112 14112 8795 0 -1 4202560 1688 0 0 0 2 1 0 0 20 0 19 0 406004642 8262082560 30760 33554432000 4194304 4196468 140730908465616 140446302973360 140448979182749 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 6987776 140730908472315 140730908472474 140730908472474 140730908475343 0
[pid=14136/tid=14155] ppid=14112 vsize=8068440 memory=14004 CPUtime=0 cores=0,2,4,6
/proc/14136/task/14155/stat : 14155 (java) S 14112 14112 8795 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 406004642 8262082560 30760 33554432000 4194304 4196468 140730908465616 140446437195952 140448979182749 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 6987776 140730908472315 140730908472474 140730908472474 140730908475343 0
[pid=14136/tid=14156] ppid=14112 vsize=8068440 memory=2120 CPUtime=0 cores=0,2,4,6
/proc/14136/task/14156/stat : 14156 (java) S 14112 14112 8795 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 406004645 8262082560 30760 33554432000 4194304 4196468 140730908465616 140446034550448 140448979171029 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6987776 140730908472315 140730908472474 140730908472474 140730908475343 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 9661068 KiB
Current children cumulated memory: 1451744 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2507.61 s]
# the end of solver process 14112 was just reported to runsolver
# cumulated CPU time of all completed processes: user=83.486 s, system=2.07416 s
[startup+2507.74 s]
# the end of solver process 14136 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2510.92 s, system=9.33535 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2507.71 s]*
/proc/loadavg: 2.00 2.02 2.05 3/235 15176
/proc/meminfo: memFree=24661804/32770624 swapFree=66927112/67108860
[pid=14136] ppid=14109 vsize=8198484 memory=133296 CPUtime=2434.65 cores=0,2,4,6
/proc/14136/stat : 14136 (java) S 14109 14112 8795 0 -1 1077944320 22349 6996683 0 0 234 93 242508 630 20 0 17 0 406004564 8395247616 33324 33554432000 4194304 4196468 140730908465616 140730908448160 140448979160823 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 6987776 140730908472315 140730908472474 140730908472474 140730908475343 0
/proc/14136/statm: 2049621 33324 3209 1 0 2010965 0
[pid=14136/tid=14137] ppid=14109 vsize=8198484 memory=-7824251494390650475 CPUtime=2432.18 cores=0,2,4,6
/proc/14136/task/14137/stat : 14137 (java) S 14109 14112 8795 0 -1 1077944384 16737 6996683 0 0 73 7 242508 630 20 0 17 0 406004565 8395247616 33324 33554432000 4194304 4196468 140730908465616 140448951000992 140448979171029 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6987776 140730908472315 140730908472474 140730908472474 140730908475343 0
[pid=14136/tid=14138] ppid=14109 vsize=8198484 memory=1060 CPUtime=2431.38 cores=0,2,4,6
/proc/14136/task/14138/stat : 14138 (java) S 14109 14112 8795 0 -1 1077944384 1 6996683 0 0 0 0 242508 630 20 0 17 0 406004566 8395247616 33324 33554432000 4194304 4196468 140730908465616 140448983403664 140448979171029 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6987776 140730908472315 140730908472474 140730908472474 140730908475343 0
[pid=14136/tid=14139] ppid=14109 vsize=8198484 memory=2832 CPUtime=2431.38 cores=0,2,4,6
/proc/14136/task/14139/stat : 14139 (java) S 14109 14112 8795 0 -1 1077944384 2 6996683 0 0 0 0 242508 630 20 0 17 0 406004566 8395247616 33324 33554432000 4194304 4196468 140730908465616 140448789167120 140448979171029 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6987776 140730908472315 140730908472474 140730908472474 140730908475343 0
[pid=14136/tid=14140] ppid=14109 vsize=8198484 memory=1716 CPUtime=2431.38 cores=0,2,4,6
/proc/14136/task/14140/stat : 14140 (java) S 14109 14112 8795 0 -1 1077944384 2 6996683 0 0 0 0 242508 630 20 0 17 0 406004566 8395247616 33324 33554432000 4194304 4196468 140730908465616 140448788114320 140448979171029 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6987776 140730908472315 140730908472474 140730908472474 140730908475343 0
[pid=14136/tid=14141] ppid=14109 vsize=8198484 memory=4872558044660077418 CPUtime=2431.38 cores=0,2,4,6
/proc/14136/task/14141/stat : 14141 (java) S 14109 14112 8795 0 -1 1077944384 2 6996683 0 0 0 0 242508 630 20 0 17 0 406004566 8395247616 33324 33554432000 4194304 4196468 140730908465616 140448461654800 140448979171029 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6987776 140730908472315 140730908472474 140730908472474 140730908475343 0
[pid=14136/tid=14142] ppid=14109 vsize=8198484 memory=804 CPUtime=2431.43 cores=0,2,4,6
/proc/14136/task/14142/stat : 14142 (java) S 14109 14112 8795 0 -1 1077944384 11 6996683 0 0 3 2 242508 630 20 0 17 0 406004567 8395247616 33324 33554432000 4194304 4196468 140730908465616 140448358299520 140448979171970 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 15 0 0 6293624 6294260 6987776 140730908472315 140730908472474 140730908472474 140730908475343 0
[pid=14136/tid=14143] ppid=14109 vsize=8198484 memory=1804 CPUtime=2431.38 cores=0,2,4,6
/proc/14136/task/14143/stat : 14143 (java) S 14109 14112 8795 0 -1 1077944384 13 6996683 0 0 0 0 242508 630 20 0 17 0 406004568 8395247616 33324 33554432000 4194304 4196468 140730908465616 140447846491168 140448979171029 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6987776 140730908472315 140730908472474 140730908472474 140730908475343 0
[pid=14136/tid=14144] ppid=14109 vsize=8198484 memory=920 CPUtime=2431.38 cores=0,2,4,6
/proc/14136/task/14144/stat : 14144 (java) S 14109 14112 8795 0 -1 1077944384 21 6996683 0 0 0 0 242508 630 20 0 17 0 406004568 8395247616 33324 33554432000 4194304 4196468 140730908465616 140447712269168 140448979171029 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6987776 140730908472315 140730908472474 140730908472474 140730908475343 0
[pid=14136/tid=14146] ppid=14109 vsize=8198484 memory=3844 CPUtime=2431.53 cores=0,2,4,6
/proc/14136/task/14146/stat : 14146 (java) S 14109 14112 8795 0 -1 1077944384 809 6996683 0 0 14 1 242508 630 20 0 17 0 406004571 8395247616 33324 33554432000 4194304 4196468 140730908465616 140448357247856 140448979171970 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6987776 140730908472315 140730908472474 140730908472474 140730908475343 0
[pid=14136/tid=14147] ppid=14109 vsize=8198484 memory=3496 CPUtime=2431.55 cores=0,2,4,6
/proc/14136/task/14147/stat : 14147 (java) S 14109 14112 8795 0 -1 1077944384 541 6996683 0 0 16 1 242508 630 20 0 17 0 406004571 8395247616 33324 33554432000 4194304 4196468 140730908465616 140448356195056 140448979171970 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6987776 140730908472315 140730908472474 140730908472474 140730908475343 0
[pid=14136/tid=14148] ppid=14109 vsize=8198484 memory=2944 CPUtime=2431.66 cores=0,2,4,6
/proc/14136/task/14148/stat : 14148 (java) S 14109 14112 8795 0 -1 1077944384 969 6996683 0 0 27 1 242508 630 20 0 17 0 406004571 8395247616 33324 33554432000 4194304 4196468 140730908465616 140448355142016 140448979171029 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6987776 140730908472315 140730908472474 140730908472474 140730908475343 0
[pid=14136/tid=14149] ppid=14109 vsize=8198484 memory=4096 CPUtime=2431.38 cores=0,2,4,6
/proc/14136/task/14149/stat : 14149 (java) S 14109 14112 8795 0 -1 1077944384 3 6996683 0 0 0 0 242508 630 20 0 17 0 406004571 8395247616 33324 33554432000 4194304 4196468 140730908465616 140446839859936 140448979171029 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6987776 140730908472315 140730908472474 140730908472474 140730908475343 0
[pid=14136/tid=14152] ppid=14109 vsize=8198484 memory=1412 CPUtime=2431.38 cores=0,2,4,6
/proc/14136/task/14152/stat : 14152 (java) S 14109 14112 8795 0 -1 1077944384 24 6996683 0 0 0 0 242508 630 20 0 17 0 406004642 8395247616 33324 33554432000 4194304 4196468 140730908465616 140448346050224 140448979171029 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6987776 140730908472315 140730908472474 140730908472474 140730908475343 0
[pid=14136/tid=14156] ppid=14109 vsize=8198484 memory=3452 CPUtime=2431.38 cores=0,2,4,6
/proc/14136/task/14156/stat : 14156 (java) S 14109 14112 8795 0 -1 1077944384 4 6996683 0 0 0 0 242508 630 20 0 17 0 406004645 8395247616 33324 33554432000 4194304 4196468 140730908465616 140446034532144 140448979171029 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6987776 140730908472315 140730908472474 140730908472474 140730908475343 0
[pid=14136/tid=15173] ppid=14109 vsize=8198484 memory=1476 CPUtime=2431.43 cores=0,2,4,6
/proc/14136/task/15173/stat : 15173 (java) R 14109 14112 8795 0 -1 4202560 3 6996683 0 0 0 5 242508 630 20 0 17 0 406247806 8395247616 33324 33554432000 4194304 4196468 140730908465616 140445766116512 140448971846455 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6987776 140730908472315 140730908472474 140730908472474 140730908475343 0
[pid=14136/tid=15176] ppid=14109 vsize=8198484 memory=123040 CPUtime=2431.38 cores=0,2,4,6
/proc/14136/task/15176/stat : 15176 (java) S 14109 14112 8795 0 -1 1077944384 3 6996683 0 0 0 0 242508 630 20 0 17 0 406247806 8395247616 33324 33554432000 4194304 4196468 140730908465616 140445497680080 140448979171029 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6987776 140730908472315 140730908472474 140730908472474 140730908475343 0
Current cumulated CPU time of completed processes: 85.5601 s
Current children cumulated CPU time: 2434.65 s
Current children cumulated vsize: 8198484 KiB
Current children cumulated memory: 133296 KiB
Child status: 1
Real time (s): 2507.74
CPU time (s): 2520.25
CPU user time (s): 2510.92
CPU system time (s): 9.33535
CPU usage (%): 100.499
Max. virtual memory (cumulated for all children) (KiB): 15142500
Max. memory (cumulated for all children) (KiB): 4014412
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2510.92
system time used= 9.33535
maximum resident set size= 4013280
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7077243
page faults= 0
swaps= 0
block input operations= 32
block output operations= 969408
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 60945
involuntary context switches= 3308
# summary of solver processes directly reported to runsolver:
# pid: 14112,14136
# total CPU time (s): 2520.25
# total CPU user time (s): 2510.92
# total CPU system time (s): 9.33535
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 21.9115 second user time and 23.7719 second system time
The end