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-8843-serial-file.bin HOME/instance-4388043-1568294675.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.56 c BEGIN-Prog: Thu Sep 12 15:23:55 CEST 2019
0.67/0.56 c PID: 8846
0.67/0.56 c IP: 172.20.3.127
0.67/0.56 c HOST: node127.alineos.net
0.67/0.57 c (0,0) Parsing Begin
1.20/0.90 c (0,0) Parsing End
1.41/0.90 c (0,0) CSP: 91 int (0 aux), 0 bool (0 aux), 40 ctr, max domain size 46
1.41/0.90 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.41/0.90 c (0,0) Constraint Name Generate Begin
1.41/0.91 c (0,0) Ctr:HOME/instance-4388043-1568294675.xml,Num:Var:WeightedSum
1.41/0.91 c (0,0) Constraint Name Generate End
1.41/0.91 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.41/0.91 c (0,0) CSP to CSPinCNF Begin
1.41/1.00 c (0,0) translated 4 (10%) constraints
1.57/1.02 c (0,0) translated 8 (20%) constraints
1.57/1.03 c (0,0) translated 12 (30%) constraints
1.57/1.04 c (0,0) translated 16 (40%) constraints
1.57/1.04 c (0,0) translated 20 (50%) constraints
1.57/1.05 c (0,0) translated 24 (60%) constraints
1.57/1.06 c (0,0) translated 28 (70%) constraints
1.57/1.07 c (0,0) translated 32 (80%) constraints
1.57/1.07 c (0,0) translated 36 (90%) constraints
1.57/1.08 c (0,0) translated 40 (100%) constraints
1.57/1.08 c (0,0) ===========================================
1.57/1.08 c (0,0) Order
1.57/1.08 c (0,0) ===========================================
1.83/1.11 c (0,0) translated 4 (10%) constraints
1.83/1.13 c (0,0) translated 8 (20%) constraints
1.83/1.15 c (0,0) translated 12 (30%) constraints
1.83/1.16 c (0,0) translated 16 (40%) constraints
1.83/1.17 c (0,0) translated 20 (50%) constraints
1.83/1.18 c (0,0) translated 24 (60%) constraints
1.83/1.19 c (0,0) translated 28 (70%) constraints
2.03/1.20 c (0,0) translated 32 (80%) constraints
2.03/1.21 c (0,0) translated 36 (90%) constraints
2.03/1.22 c (0,0) translated 40 (100%) constraints
2.03/1.23 c (0,0) CSP to CSPinCNF End
2.03/1.23 c (0,0) CSP: 201 int (110 aux), 0 bool (0 aux), 300 ctr, max domain size 4276
2.03/1.23 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 22 MiB used (max 0 MiB)
2.03/1.23 c (0,0) CSPinCNF Propagation Begin
2.03/1.25 c (0,0) 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed
2.03/1.25 c (0,0) CSPinCNF Propagation End
2.03/1.25 c (0,0) CSP: 201 int (110 aux), 0 bool (0 aux), 300 ctr, max domain size 4276
2.03/1.25 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 22 MiB used (max 0 MiB)
2.03/1.25 c (0,0) Simplify CSPinCNF Begin
2.03/1.26 c (0,0) Simplify CSPinCNF End
2.03/1.26 c (0,0) CSP: 201 int (110 aux), 0 bool (0 aux), 300 ctr, max domain size 4276
2.03/1.26 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 22 MiB used (max 0 MiB)
2.03/1.26 c (0,0) Calculate Precise Domain Begin
3.14/1.69 c (1,1) 34780 values are removed by re-calculation
3.14/1.69 c (1,1) Calculate Precise Domain End
3.14/1.69 c (1,1) CSP: 201 int (110 aux), 0 bool (0 aux), 300 ctr, max domain size 4096
3.14/1.69 c (1,1) Heap : 281 MiB used (max 10795 MiB), NonHeap : 24 MiB used (max 0 MiB)
3.14/1.69 c (1,1) CSPinCNF to SatSolver Begin
24.81/17.39 c (16,13) 30 (10 %) CSP clauses are encoded (0 SAT variables, 8619555 SAT clauses)
66.38/42.97 c (42,31) 60 (20 %) CSP clauses are encoded (0 SAT variables, 22513701 SAT clauses)
72.00/47.17 c (46,35) 90 (30 %) CSP clauses are encoded (0 SAT variables, 25153779 SAT clauses)
80.61/54.10 c (53,40) 120 (40 %) CSP clauses are encoded (0 SAT variables, 28975033 SAT clauses)
86.89/58.00 c (57,43) 150 (50 %) CSP clauses are encoded (0 SAT variables, 31312432 SAT clauses)
92.19/61.51 c (60,46) 180 (60 %) CSP clauses are encoded (0 SAT variables, 33435050 SAT clauses)
98.37/66.11 c (65,50) 210 (70 %) CSP clauses are encoded (0 SAT variables, 36369534 SAT clauses)
131.07/83.37 c (82,62) 240 (80 %) CSP clauses are encoded (0 SAT variables, 45432548 SAT clauses)
150.61/97.00 c (96,73) 270 (90 %) CSP clauses are encoded (0 SAT variables, 53164901 SAT clauses)
161.19/106.17 c (105,80) 300 (100 %) CSP clauses are encoded (0 SAT variables, 58579435 SAT clauses)
161.19/106.18 c (105,80) CSPinCNF to SatSolver End
161.19/106.18 c (105,80) Heap : 5827 MiB used (max 10507 MiB), NonHeap : 27 MiB used (max 0 MiB)
161.19/106.18 c (105,80) 152800 bool, 58580775 clause
161.19/106.18 c (105,80) Export Begin
161.29/106.27 c (105,80) Export to HOME/scop-8843-serial-file.bin
161.29/106.27 c (105,80) Export End
161.29/106.27 c (105,80) Export File Size: 0.02 MB
161.29/106.27 c (105,80) 0,0,0,0,0,1,105,STOP-AFTER(DIMACS)
161.29/106.27 c END-Prog: Thu Sep 12 15:25:41 CEST 2019
0.00/106.32 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-8843-serial-file.bin
161.47/106.79 c (0,0) Read Serial File Begin
161.47/106.79 c (0,0) HOME/scop-8843-serial-file.bin
161.47/107.00 c (0,0) Read Serial File End
162.41/107.01
162.41/107.01 Fun-sCOP order+glueminisat-simp-2.2.10-193oa-n-release (2019-06-15)
162.41/107.01 (Solving Process)
162.41/107.01
162.41/107.03 c BEGIN-Prog: Thu Sep 12 15:25:42 CEST 2019
162.41/107.03 c PID: 8869
162.41/107.03 c IP: 172.20.3.127
162.41/107.03 c HOST: node127.alineos.net
162.41/107.04 c (0,0) SatSolver.solve Begin
162.41/107.04 c (0,0) HOME/glueminisat-simp-2.2.10-193oa-n-release -model -verb=3 -elim-cl=5000000 -native-oa HOME/instance-4388043-1568294675.xml-scop-8846.cnf
162.41/107.07 c (0,0) c WARNING: for repeatability, setting FPU to use double precision
162.41/107.07 c (0,0) c glueminisat-simp-2.2.10-193oa-n
162.41/107.07 c (0,0) c Command: HOME/glueminisat-simp-2.2.10-193oa-n-release -model -verb=3 -elim-cl=5000000 -native-oa HOME/instance-4388043-1568294675.xml-scop-8846.cnf
162.41/107.07 c (0,0) c Options:
162.41/107.07 c (0,0) c CORE
162.41/107.07 c (0,0) c var_decay = 0.950
162.41/107.07 c (0,0) c clause_decay = 0.999
162.41/107.07 c (0,0) c random_var_freq = 0.000
162.41/107.07 c (0,0) c random_seed = 91648253.000
162.41/107.07 c (0,0) c luby_restart = 1
162.41/107.07 c (0,0) c ccmin_mode = 2
162.41/107.07 c (0,0) c phase_saving = 2
162.41/107.07 c (0,0) c rnd_pol = 0
162.41/107.07 c (0,0) c rnd_init_act = 0
162.41/107.07 c (0,0) c garbage_frac = 0.200
162.41/107.07 c (0,0) c restart_first = 1000
162.41/107.07 c (0,0) c restart_inc = 2.000
162.41/107.07 c (0,0) c MODEL
162.41/107.07 c (0,0) c partial_model = 0
162.41/107.07 c (0,0) c PROPAGATION
162.41/107.07 c (0,0) c bin_propagation = 1
162.41/107.07 c (0,0) c SIMPLIFICATION
162.41/107.07 c (0,0) c lrn_min_size = 100
162.41/107.07 c (0,0) c lazy_simp = 1
162.41/107.07 c (0,0) c lazy_interval = 10
162.41/107.07 c (0,0) c lazy_fld_probing = 1
162.41/107.07 c (0,0) c lazy_pol_probing = 1
162.41/107.07 c (0,0) c lazy_nec_probing = 1
162.41/107.07 c (0,0) c lazy_eqv_probing = 1
162.41/107.07 c (0,0) c lazy_cla_probing = 1
162.41/107.07 c (0,0) c lazy_lrn_min = 2
162.41/107.07 c (0,0) c lazy_uw_lit_elim = 1
162.41/107.07 c (0,0) c lazy_pr_lit_elim = 0
162.41/107.07 c (0,0) c lazy_bin_add = 3
162.41/107.07 c (0,0) c probed_lit_chain = 1
162.41/107.07 c (0,0) c pr_min_lits = 0.00020
162.41/107.07 c (0,0) c pr_min_starts = 500
162.41/107.07 c (0,0) c rw_min_lits = 0.010
162.41/107.07 c (0,0) c rw_min_starts = 500
162.41/107.07 c (0,0) c rand_attach = 0
162.41/107.07 c (0,0) c dec_elim = 1
162.41/107.07 c (0,0) c dec_elim_lim = 25
162.41/107.07 c (0,0) c dec_elim_len = -1
162.41/107.07 c (0,0) c amo = 0
162.41/107.07 c (0,0) c amo_grp = 1
162.41/107.07 c (0,0) c amo_max_bins = 1000000
162.41/107.07 c (0,0) c amo_starts = 50
162.41/107.07 c (0,0) c mace_cmd = mace
162.41/107.07 c (0,0) c DECISION
162.41/107.07 c (0,0) c rand_rebuild = 0
162.41/107.07 c (0,0) c rand_rebuild_confs = 10000
162.41/107.07 c (0,0) c inc_var_decay = 1
162.41/107.07 c (0,0) c inc_var_decay_period = 100000
162.41/107.07 c (0,0) c inc_var_decay_init = 0.600
162.41/107.07 c (0,0) c var_decay_mode = 0
162.41/107.07 c (0,0) c var_decay_gain = 0
162.41/107.07 c (0,0) c sloped_var_decay = 1
162.41/107.07 c (0,0) c max_var_decay = 0.990
162.41/107.07 c (0,0) c min_var_decay = 0.950
162.41/107.07 c (0,0) c min_var_decay_vars = 10000
162.41/107.07 c (0,0) c max_var_decay_vars = 500
162.41/107.07 c (0,0) c uip_bumping = 1
162.41/107.07 c (0,0) c lbd_act_bumping = 1
162.41/107.07 c (0,0) c rand_tiebreak = 0
162.41/107.07 c (0,0) c simp_rebuild = 1
162.41/107.07 c (0,0) c RESTART
162.41/107.07 c (0,0) c restart_strategy = 2
162.41/107.07 c (0,0) c restart_blocking = 0
162.41/107.07 c (0,0) c agility_decay = 0.99990
162.41/107.07 c (0,0) c lbd_restart_rate = 0.800
162.41/107.07 c (0,0) c dec_restart_rate = 0.950
162.41/107.07 c (0,0) c blk_restart_rate = 0.700
162.41/107.07 c (0,0) c lbd_queue_size = 50
162.41/107.07 c (0,0) c dec_queue_size = 50
162.41/107.07 c (0,0) c trl_queue_size = 5000
162.41/107.07 c (0,0) c blk_restart_weight = 1.000
162.41/107.07 c (0,0) c inc_rst_rate = 0
162.41/107.07 c (0,0) c inc_rst_rate_period = 500000
162.41/107.07 c (0,0) c inc_lbd_rst_rate_init = 0.600
162.41/107.07 c (0,0) c inc_dec_rst_rate_init = 0.750
162.41/107.07 c (0,0) c REDUCTION
162.41/107.07 c (0,0) c closed_lbd = 0
162.41/107.07 c (0,0) c closed_lbd_rate = 0.500
162.41/107.07 c (0,0) c rm_simulate = 0
162.41/107.07 c (0,0) c rdb_eval = 2
162.41/107.07 c (0,0) c rdb_call = 3
162.41/107.07 c (0,0) c rdb_ub = 0.500
162.41/107.07 c (0,0) c core_lbd_cvr = 0.800
162.41/107.07 c (0,0) c supp_lbd_cvr = 0.990
162.41/107.07 c (0,0) c core_lbd_lb = 2
162.41/107.07 c (0,0) c supp_lbd_lb = 2
162.41/107.07 c (0,0) c core_lbd_prd = 7
162.41/107.07 c (0,0) c supp_lbd_prd = 1
162.41/107.07 c (0,0) c othr_lbd_prd = 0
162.41/107.07 c (0,0) c inc_lrn_limit = 1000
162.41/107.07 c (0,0) c frozen_lbd = 30
162.41/107.07 c (0,0) c simp_min_starts = 100
162.41/107.07 c (0,0) c rm_low_act_learnts = 1
162.41/107.07 c (0,0) c lv0_reduce_db = 0
162.41/107.07 c (0,0) c reduce_db_base = 20000
162.41/107.07 c (0,0) c reduce_db_inc = 1000
162.41/107.07 c (0,0) c HARD
162.41/107.07 c (0,0) c inst_check = 200000
162.41/107.07 c (0,0) c small_block = 1.750
162.41/107.07 c (0,0) c slow_restart_speed = 400.000
162.41/107.07 c (0,0) c slow_restart_strategy = 3
162.41/107.07 c (0,0) c slow_lbd_restart_rate = 0.700
162.41/107.07 c (0,0) c slow_dec_restart_rate = 1.000
162.41/107.07 c (0,0) c slow_lbd_queue_size = 50
162.41/107.07 c (0,0) c slow_var_decay = 0.950
162.41/107.07 c (0,0) c slow_glue_threshold = 2
162.41/107.07 c (0,0) c slow_phase_saving = 2
162.41/107.07 c (0,0) c fast_restart_speed = 125.000
162.41/107.07 c (0,0) c fast_restart_strategy = 1
162.41/107.07 c (0,0) c fast_lbd_restart_rate = 0.800
162.41/107.07 c (0,0) c fast_dec_restart_rate = 0.950
162.41/107.07 c (0,0) c fast_lbd_queue_size = 50
162.41/107.07 c (0,0) c fast_var_decay = 1.000
162.41/107.07 c (0,0) c fast_glue_threshold = 2
162.41/107.07 c (0,0) c fast_phase_saving = 2
162.41/107.07 c (0,0) c STATS
162.41/107.07 c (0,0) c stats_conf_size = 10000
162.41/107.07 c (0,0) c max_stats_size = 30
162.41/107.07 c (0,0) c SOLVER
162.41/107.07 c (0,0) c minisat = 0
180.15/124.61 c (17,0) WARNING! DIMACS header mismatch: wrong number of variables.
180.15/124.61 c (17,0) c Problem: 152801 variables, 58580639 clauses, parsing 16.17 s
181.85/126.32 c (19,0) c exclude 0 (0.0%) variables from decision variables (last cost 0)
186.07/130.51 c (23,0) c Simplification: 3 vars, 0 clauses are eliminated using 5.48 s
186.07/130.51 c (23,0) c
186.07/130.52 c (23,0) c #Rstrts #Confs #Vars #Clauses #Learnts Lits/C LBD/C DLVs Trail
186.07/130.52 c (23,0) c
186.07/130.52 c (23,0) c 23 0 0 152798 58580639 0 -nan -nan -nan -nan%
188.27/132.78 c (26,0) c 25 1 100 152798 58580639 100 15.4 11.2 2727.8 60.4%
190.07/134.59 c (27,0) c 27 2 220 152160 58580639 219 16.7 11.5 1620.5 61.6%
192.17/136.67 c (29,0) c 29 2 364 151980 58580639 363 15.4 9.6 995.8 64.6%
193.78/138.27 c (31,0) c 31 2 536 151980 58580639 535 15.0 9.0 691.2 68.1%
195.88/140.32 c (33,0) c 33 2 743 151980 58580639 745 15.8 8.6 510.7 68.0%
197.69/142.18 c (35,0) c 35 2 991 151980 58580639 993 15.6 8.3 393.3 66.3%
199.88/144.40 c (37,0) c 37 3 1289 151980 58580639 1292 15.7 8.3 312.2 64.0%
204.69/149.16 c (42,0) c 42 4 1647 151928 58580639 1651 15.3 8.0 253.4 65.4%
206.98/151.43 c (44,0) c 44 4 2076 151928 58580639 2080 17.0 7.8 209.2 67.0%
210.39/154.84 c (48,0) c 47 6 2591 151928 58580639 2595 17.8 7.7 175.1 66.6%
216.29/160.78 c (54,0) c 53 7 3210 151928 58580639 3215 17.5 7.5 149.0 66.9%
225.19/169.68 c (62,0) c 62 10 3953 150798 58580639 3959 17.1 7.3 127.8 67.7%
233.41/177.89 c (71,0) c 70 13 4844 150798 58580639 4855 17.1 7.2 111.9 68.6%
247.01/191.49 c (84,0) c 84 16 5913 150798 58580639 5927 17.4 7.3 97.2 67.8%
262.93/207.33 c (100,0) c 100 24 7196 150798 58580639 7226 17.9 7.3 85.8 68.8%
279.85/224.27 c (117,0) c
279.85/224.27 c (117,0) c variables : 150798 (init 152801, after simp 152798, 0 non-decs, 201 csp)
279.85/224.27 c (117,0) c clauses : 58580639 (init 58580639, after simp 58580639)
279.85/224.27 c (117,0) c restarts : 29 (291.20 confs/res, 50~1130 confs, 0 blks, 0 last)
279.85/224.27 c (117,0) c conflicts : 8736 (76 /sec, 61.72% dconfs, 0.00% supp, trail 2924.10w x 76.96h, jmp 1.81h)
279.85/224.27 c (117,0) c decisions : 18128 (0.6300 vdcy, 158 /sec, 0.00% bin, rs 0.010 s)
279.85/224.27 c (117,0) c propagations : 61217612 (532856 /sec, 3376.96 lits/dec, 39.04% o.a.)
279.85/224.27 c (117,0) c conflict literals : 205840 (19.21% deleted; 2.34% by bin min, 0.007 s)
279.85/224.27 c (117,0) c len : 18.425 (18.48 for all, max 198, used 154)
279.85/224.27 c (117,0) c lbd : 7.309 (8.28 (7.33) for all, max 50, used 49, 3.356 stdev, 2.234 blk)
279.85/224.27 c (117,0) c amo : 0 (0 max, -nan avg, 0.000 s)
279.85/224.27 c (117,0) c simp dbs : 0 (0.000 s)
279.85/224.27 c (117,0) c reduce dbs : 0 (core-lbd 2, supp-lbd 2147483647, 0.000 s)
279.85/224.27 c (117,0) c learnts : 8768 (0 learnts removed, 0.00%)
279.85/224.27 c (117,0) c rewrite dbs : 0 (0/0 vars, 0+0 taut, 0+0 unit, 0.000 s)
279.85/224.27 c (117,0) c assigned lits : 0 (0/22 probed, 22 remains)
279.85/224.27 c (117,0) c premise updates : 426147 (1.39 /lit)
279.85/224.27 c (117,0) c probed variables : 22 (0 pr, 0 eq, 0 fld, 16 pol, 0 nec, 6 cla, 0 amo)
279.85/224.27 c (117,0) c equiv variables : 0 (0 bin, 0 trn, 0 quat, 0 quin, 0 othr; 0 amo)
279.85/224.27 c (117,0) c lazy added bins : 38 (38 prop + 0 conf, 0.006s)
279.85/224.27 c (117,0) c unwatched lit elim: 529 (0.00+0.23%, 55+474 of 175420110+205840)
279.85/224.27 c (117,0) c classified type : undef
279.85/224.27 c (117,0) c progress : 1.311 %
279.85/224.27 c (117,0) c
279.85/224.27 c (117,0) c #Rstrts #Confs #Vars #Clauses #Learnts Lits/C LBD/C DLVs Trail
279.85/224.27 c (117,0) c
279.85/224.27 c (117,0) c 117 30 8736 150798 58580639 8768 18.4 7.3 77.0 69.5%
296.46/240.81 c (134,0) c 133 32 10584 150776 58580639 10612 19.3 7.1 35.3 70.0%
314.78/259.18 c (152,0) c 152 32 12802 150776 58580639 12833 23.1 6.8 30.9 73.5%
332.37/276.75 c (170,0) c 169 p 41 14556 150376 58580639 14597 22.4 6.9 30.5 72.3%
341.49/285.90 c (179,0) c 178 45 15464 150372 58580639 15509 22.0 6.9 30.5 72.6%
381.83/326.20 c (219,0) c 219 68 18658 150372 58580639 18706 21.3 7.0 31.6 71.5%
400.03/344.33 c (237,0) c 237 r 73 20000 150372 58580639 20050 21.3 7.0 31.4 71.8%
400.03/344.33 c (237,0) c
400.03/344.33 c (237,0) c R [LBD Statistics #1]
400.03/344.33 c (237,0) c R LBD used lbd used clause lbd
400.03/344.33 c (237,0) c R tot 61814 20050
400.03/344.33 c (237,0) c R avg 3.852 6.963
400.03/344.33 c (237,0) c R 1 1811 ( 2.9/ 2.9%) 154 ( 0.8/ 0.8%)
400.03/344.33 c (237,0) c R 2 21251 (34.4/37.3%) 2223 (11.1/11.9%)
400.03/344.33 c (237,0) c R 3 15544 (25.1/62.5%) 2489 (12.4/24.3%)
400.03/344.33 c (237,0) c R 4 8020 (13.0/75.4%) 2607 (13.0/37.3%)
400.03/344.33 c (237,0) c R 5 4832 ( 7.8/83.2%) 2436 (12.1/49.4%)
400.03/344.33 c (237,0) c R
400.03/344.33 c (237,0) c R core_lbd_threshold = 5
400.03/344.33 c (237,0) c R supp_lbd_threshold = 16
400.03/344.33 c (237,0) c R
400.03/344.33 c (237,0) c R [RDB Statistics #1]
400.03/344.33 c (237,0) c R kept: lbd = 9829 (49.0/49.0%)
400.03/344.33 c (237,0) c R kept: ttl = 10134 (50.5/99.6%)
400.03/344.33 c (237,0) c R kept: locked = 87 ( 0.4/100.0%)
400.03/344.33 c (237,0) c R lost: lbd = 0 ( 0.0/ 0.0%)
400.03/344.33 c (237,0) c R lost: ttl = 0 ( 0.0/ 0.0%)
400.03/344.33 c (237,0) c R lost: subsumed = 0 ( 0.0/ 0.0%)
400.03/344.33 c (237,0) c
400.03/344.33 c (237,0) c 237 R 73 20000 150372 58580639 20050 21.3 7.0 31.4 71.8%
423.25/367.51 c (260,0) c 260 p 85 22164 150211 58580639 22220 21.2 7.0 34.7 70.3%
427.65/371.97 c (265,0) c 264 86 22491 150211 58580639 22548 21.1 7.0 35.1 70.1%
477.20/421.46 c (314,0) c 314 107 27091 150211 57593924 27137 20.6 7.0 33.7 69.4%
538.85/483.02 c (376,0) c 375 136 32611 150211 57593924 32665 20.5 7.1 35.5 68.7%
610.09/554.21 c (447,0) c 447 165 39235 150211 57593924 39295 20.7 7.1 35.5 72.2%
617.80/562.01 c (455,0) c 454 p 171 39818 149985 57593924 39878 20.7 7.1 34.9 72.0%
630.11/574.22 c (467,0) c 467 r 178 41000 149985 57593924 41061 20.6 7.1 35.1 72.0%
630.11/574.22 c (467,0) c
630.11/574.22 c (467,0) c R [LBD Statistics #2]
630.11/574.22 c (467,0) c R LBD used lbd used clause lbd
630.11/574.22 c (467,0) c R tot 155283 41061
630.11/574.22 c (467,0) c R avg 3.483 7.095
630.11/574.22 c (467,0) c R 1 7732 ( 5.0/ 5.0%) 288 ( 0.7/ 0.7%)
630.11/574.22 c (467,0) c R 2 69196 (44.6/49.5%) 4244 (10.3/11.0%)
630.11/574.22 c (467,0) c R 3 29501 (19.0/68.5%) 4885 (11.9/22.9%)
630.11/574.22 c (467,0) c R 4 17306 (11.1/79.7%) 5387 (13.1/36.1%)
630.11/574.22 c (467,0) c R 5 10953 ( 7.1/86.7%) 4925 (12.0/48.0%)
630.11/574.22 c (467,0) c R
630.11/574.22 c (467,0) c R core_lbd_threshold = 5
630.11/574.22 c (467,0) c R supp_lbd_threshold = 15
630.11/574.22 c (467,0) c R
630.11/574.22 c (467,0) c R [RDB Statistics #2]
630.11/574.22 c (467,0) c R kept: lbd = 19631 (47.8/47.8%)
630.11/574.22 c (467,0) c R kept: ttl = 9874 (24.0/71.9%)
630.11/574.22 c (467,0) c R kept: locked = 107 ( 0.3/72.1%)
630.11/574.22 c (467,0) c R lost: lbd = 0 ( 0.0/ 0.0%)
630.11/574.22 c (467,0) c R lost: ttl = 11449 (27.9/27.9%)
630.11/574.22 c (467,0) c R lost: subsumed = 0 ( 0.0/27.9%)
630.11/574.22 c (467,0) c
630.11/574.22 c (467,0) c 467 R 178 41000 149985 57593924 29612 14.5 5.4 35.1 72.0%
654.83/599.00 c (492,0) c
654.83/599.00 c (492,0) c variables : 149794 (init 152801, after simp 152798, 0 non-decs, 201 csp)
654.83/599.00 c (492,0) c clauses : 57593924 (init 58580639, after simp 58580639)
654.83/599.00 c (492,0) c restarts : 185 (232.14 confs/res, 50~3642 confs, 0 blks, 0 last)
654.83/599.00 c (492,0) c conflicts : 43178 (88 /sec, 61.50% dconfs, 0.00% supp, trail 3287.46w x 42.52h, jmp 1.64h)
654.83/599.00 c (492,0) c decisions : 78469 (0.7500 vdcy, 161 /sec, 0.00% bin, rs 0.046 s)
654.83/599.00 c (492,0) c propagations : 299067205 (612731 /sec, 3811.28 lits/dec, 38.32% o.a.)
654.83/599.00 c (492,0) c conflict literals : 1135708 (19.42% deleted; 2.65% by bin min, 0.063 s)
654.83/599.00 c (492,0) c len : 14.743 (20.50 for all, max 240, used 228)
654.83/599.00 c (492,0) c lbd : 5.506 (8.11 (7.09) for all, max 50, used 49, 2.622 stdev, 2.528 blk)
654.83/599.00 c (492,0) c amo : 0 (0 max, -nan avg, 0.000 s)
654.83/599.00 c (492,0) c simp dbs : 1 (3.414 s)
654.83/599.00 c (492,0) c reduce dbs : 2 (core-lbd 5, supp-lbd 15, 0.003 s)
654.83/599.00 c (492,0) c learnts : 31796 (11449 learnts removed, 26.52%)
654.83/599.00 c (492,0) c rewrite dbs : 0 (0/0 vars, 0+0 taut, 0+0 unit, 0.000 s)
654.83/599.00 c (492,0) c assigned lits : 4 (172/356 probed, 0 remains)
654.83/599.00 c (492,0) c premise updates : 4844014 (15.85 /lit)
654.83/599.00 c (492,0) c probed variables : 356 (112 pr, 0 eq, 8 fld, 219 pol, 0 nec, 17 cla, 0 amo)
654.83/599.00 c (492,0) c equiv variables : 0 (0 bin, 0 trn, 0 quat, 0 quin, 0 othr; 0 amo)
654.83/599.00 c (492,0) c lazy added bins : 94 (94 prop + 0 conf, 0.054s)
654.83/599.00 c (492,0) c unwatched lit elim: 5070 (0.00+0.43%, 230+4840 of 175420110+1135708)
654.83/599.00 c (492,0) c classified type : undef
654.83/599.00 c (492,0) c progress : 1.968 %
654.83/599.00 c (492,0) c
654.83/599.00 c (492,0) c #Rstrts #Confs #Vars #Clauses #Learnts Lits/C LBD/C DLVs Trail
654.83/599.00 c (492,0) c
654.83/599.00 c (492,0) c 491 p 186 43178 149794 57593924 31796 14.7 5.5 34.3 71.1%
704.87/648.91 c (542,0) c 541 208 47184 149791 57593924 35809 15.2 5.7 35.2 69.9%
804.96/748.93 c (642,0) c 641 250 56723 149572 57476344 45357 16.0 6.0 34.7 69.6%
889.73/833.65 c (726,0) c 726 r 293 63001 149572 57476344 51643 16.7 6.3 31.6 71.4%
889.73/833.65 c (726,0) c
889.73/833.65 c (726,0) c R [LBD Statistics #3]
889.73/833.65 c (726,0) c R LBD used lbd used clause lbd
889.73/833.65 c (726,0) c R tot 302244 51643
889.73/833.65 c (726,0) c R avg 3.166 6.263
889.73/833.65 c (726,0) c R 1 17089 ( 5.7/ 5.7%) 456 ( 0.9/ 0.9%)
889.73/833.65 c (726,0) c R 2 160373 (53.1/58.7%) 6562 (12.7/13.6%)
889.73/833.65 c (726,0) c R 3 49674 (16.4/75.1%) 7275 (14.1/27.7%)
889.73/833.65 c (726,0) c R 4 27705 ( 9.2/84.3%) 7904 (15.3/43.0%)
889.73/833.65 c (726,0) c R
889.73/833.65 c (726,0) c R core_lbd_threshold = 4
889.73/833.65 c (726,0) c R supp_lbd_threshold = 14
889.73/833.65 c (726,0) c R
889.73/833.65 c (726,0) c R [RDB Statistics #3]
889.73/833.65 c (726,0) c R kept: lbd = 22092 (42.8/42.8%)
889.73/833.65 c (726,0) c R kept: ttl = 17545 (34.0/76.8%)
889.73/833.65 c (726,0) c R kept: locked = 113 ( 0.2/77.0%)
889.73/833.65 c (726,0) c R lost: lbd = 0 ( 0.0/ 0.0%)
889.73/833.65 c (726,0) c R lost: ttl = 11893 (23.0/23.0%)
889.73/833.65 c (726,0) c R lost: subsumed = 0 ( 0.0/23.0%)
889.73/833.65 c (726,0) c
889.73/833.65 c (726,0) c 726 R 293 63001 149572 57476344 39750 12.5 4.9 31.6 71.4%
939.97/883.87 c (777,0) c 776 318 68170 149572 57476344 44926 13.2 5.2 32.9 67.9%
1065.09/1008.89 c (902,0) c 901 p 391 78736 149509 57423863 55507 14.4 5.7 35.6 70.9%
1098.42/1042.13 c (935,0) c 935 407 81907 149509 57423863 58681 14.7 5.8 37.6 71.2%
1149.18/1092.90 c (986,0) c 985 r 433 86000 149509 57423863 62775 15.2 5.9 36.5 70.3%
1149.28/1092.90 c (986,0) c
1149.28/1092.90 c (986,0) c R [LBD Statistics #4]
1149.28/1092.90 c (986,0) c R LBD used lbd used clause lbd
1149.28/1092.90 c (986,0) c R tot 467888 62775
1149.28/1092.90 c (986,0) c R avg 3.047 5.915
1149.28/1092.90 c (986,0) c R 1 28947 ( 6.2/ 6.2%) 618 ( 1.0/ 1.0%)
1149.28/1092.90 c (986,0) c R 2 261136 (55.8/62.0%) 8734 (13.9/14.9%)
1149.28/1092.90 c (986,0) c R 3 72350 (15.5/77.5%) 9658 (15.4/30.3%)
1149.28/1092.90 c (986,0) c R 4 39712 ( 8.5/85.9%) 10589 (16.9/47.2%)
1149.28/1092.90 c (986,0) c R
1149.28/1092.90 c (986,0) c R core_lbd_threshold = 4
1149.28/1092.90 c (986,0) c R supp_lbd_threshold = 14
1149.28/1092.90 c (986,0) c R
1149.28/1092.90 c (986,0) c R [RDB Statistics #4]
1149.28/1092.90 c (986,0) c R kept: lbd = 29458 (46.9/46.9%)
1149.28/1092.90 c (986,0) c R kept: ttl = 20028 (31.9/78.8%)
1149.28/1092.90 c (986,0) c R kept: locked = 161 ( 0.3/79.1%)
1149.28/1092.90 c (986,0) c R lost: lbd = 0 ( 0.0/ 0.0%)
1149.28/1092.90 c (986,0) c R lost: ttl = 13128 (20.9/20.9%)
1149.28/1092.90 c (986,0) c R lost: subsumed = 0 ( 0.0/20.9%)
1149.28/1092.90 c (986,0) c
1149.28/1092.90 c (986,0) c 985 R 433 86000 149509 57423863 49647 11.5 4.6 36.5 70.3%
1289.93/1233.48 c (1126,0) c 1126 497 98391 149509 57403258 62033 13.2 5.2 36.3 72.0%
1309.65/1253.16 c (1146,0) c 1146 f 510 100000 149509 57403258 63643 13.3 5.3 35.7 70.3%
1445.46/1388.84 c (1282,0) c 1281 r 583 110000 149509 57403258 73656 14.3 5.7 32.7 69.4%
1445.46/1388.84 c (1282,0) c
1445.46/1388.84 c (1282,0) c R [LBD Statistics #5]
1445.46/1388.84 c (1282,0) c R LBD used lbd used clause lbd
1445.46/1388.84 c (1282,0) c R tot 680947 73656
1445.46/1388.84 c (1282,0) c R avg 2.970 5.722
1445.46/1388.84 c (1282,0) c R 1 44282 ( 6.5/ 6.5%) 773 ( 1.0/ 1.0%)
1445.46/1388.86 c (1282,0) c R 2 392370 (57.6/64.1%) 10780 (14.6/15.7%)
1445.46/1388.86 c (1282,0) c R 3 100690 (14.8/78.9%) 11897 (16.2/31.8%)
1445.46/1388.86 c (1282,0) c R 4 54854 ( 8.1/87.0%) 13202 (17.9/49.8%)
1445.46/1388.86 c (1282,0) c R
1445.46/1388.86 c (1282,0) c R core_lbd_threshold = 4
1445.46/1388.86 c (1282,0) c R supp_lbd_threshold = 14
1445.46/1388.86 c (1282,0) c R
1445.46/1388.86 c (1282,0) c R [RDB Statistics #5]
1445.46/1388.86 c (1282,0) c R kept: lbd = 36586 (49.7/49.7%)
1445.46/1388.86 c (1282,0) c R kept: ttl = 20772 (28.2/77.9%)
1445.46/1388.86 c (1282,0) c R kept: locked = 68 ( 0.1/78.0%)
1445.46/1388.86 c (1282,0) c R lost: lbd = 0 ( 0.0/ 0.0%)
1445.46/1388.86 c (1282,0) c R lost: ttl = 16230 (22.0/22.0%)
1445.46/1388.86 c (1282,0) c R lost: subsumed = 0 ( 0.0/22.0%)
1445.46/1388.86 c (1282,0) c
1445.46/1388.86 c (1282,0) c 1281 R 583 110000 149509 57403258 57426 11.1 4.5 32.7 69.4%
1559.07/1502.31 c (1395,0) c 1395 653 118172 149509 57403258 65603 12.4 5.0 34.1 70.3%
1751.43/1694.53 c (1587,0) c 1587 r 770 135000 149509 57403258 82441 14.2 5.7 37.1 70.0%
1751.43/1694.53 c (1587,0) c
1751.43/1694.53 c (1587,0) c R [LBD Statistics #6]
1751.43/1694.53 c (1587,0) c R LBD used lbd used clause lbd
1751.43/1694.53 c (1587,0) c R tot 923952 82441
1751.43/1694.53 c (1587,0) c R avg 2.923 5.724
1751.43/1694.53 c (1587,0) c R 1 61940 ( 6.7/ 6.7%) 886 ( 1.1/ 1.1%)
1751.43/1694.53 c (1587,0) c R 2 542746 (58.7/65.4%) 12642 (15.3/16.4%)
1751.43/1694.53 c (1587,0) c R 3 132521 (14.3/79.8%) 13959 (16.9/33.3%)
1751.43/1694.53 c (1587,0) c R 4 72364 ( 7.8/87.6%) 15730 (19.1/52.4%)
1751.43/1694.53 c (1587,0) c R
1751.43/1694.53 c (1587,0) c R core_lbd_threshold = 4
1751.43/1694.53 c (1587,0) c R supp_lbd_threshold = 13
1751.43/1694.53 c (1587,0) c R
1751.43/1694.53 c (1587,0) c R [RDB Statistics #6]
1751.43/1694.53 c (1587,0) c R kept: lbd = 43147 (52.3/52.3%)
1751.43/1694.53 c (1587,0) c R kept: ttl = 21489 (26.1/78.4%)
1751.43/1694.53 c (1587,0) c R kept: locked = 74 ( 0.1/78.5%)
1751.43/1694.53 c (1587,0) c R lost: lbd = 0 ( 0.0/ 0.0%)
1751.43/1694.53 c (1587,0) c R lost: ttl = 17731 (21.5/21.5%)
1751.43/1694.53 c (1587,0) c R lost: subsumed = 0 ( 0.0/21.5%)
1751.43/1694.53 c (1587,0) c
1751.43/1694.53 c (1587,0) c
1751.43/1694.53 c (1587,0) c variables : 149509 (init 152801, after simp 152798, 0 non-decs, 201 csp)
1751.43/1694.53 c (1587,0) c clauses : 57403258 (init 58580639, after simp 58580639)
1751.43/1694.53 c (1587,0) c restarts : 769 (175.32 confs/res, 50~3642 confs, 0 blks, 0 last)
1751.43/1694.53 c (1587,0) c conflicts : 135000 (85 /sec, 60.12% dconfs, 0.00% supp, trail 3158.10w x 37.44h, jmp 1.64h)
1751.43/1694.53 c (1587,0) c decisions : 248669 (0.9500 vdcy, 157 /sec, 0.00% bin, rs 0.080 s)
1751.43/1694.53 c (1587,0) c propagations : 1012439831 (641083 /sec, 4071.44 lits/dec, 38.56% o.a.)
1751.43/1694.53 c (1587,0) c conflict literals : 3610631 (20.93% deleted; 2.98% by bin min, 0.299 s)
1751.43/1694.53 c (1587,0) c len : 10.846 (20.35 for all, max 240, used 228)
1751.43/1694.53 c (1587,0) c lbd : 4.366 (8.77 (7.71) for all, max 50, used 49, 2.265 stdev, 2.321 blk)
1751.43/1694.53 c (1587,0) c amo : 0 (0 max, -nan avg, 0.000 s)
1751.43/1694.53 c (1587,0) c simp dbs : 4 (13.513 s)
1751.43/1694.53 c (1587,0) c reduce dbs : 6 (core-lbd 4, supp-lbd 13, 0.018 s)
1751.43/1694.53 c (1587,0) c learnts : 64710 (70431 learnts removed, 52.17%)
1751.43/1694.53 c (1587,0) c rewrite dbs : 0 (0/0 vars, 0+0 taut, 0+0 unit, 0.000 s)
1751.43/1694.53 c (1587,0) c assigned lits : 5 (188/413 probed, 20 remains)
1751.43/1694.53 c (1587,0) c premise updates : 21994541 (71.97 /lit)
1751.43/1694.53 c (1587,0) c probed variables : 413 (135 pr, 0 eq, 18 fld, 235 pol, 0 nec, 25 cla, 0 amo)
1751.43/1694.53 c (1587,0) c equiv variables : 0 (0 bin, 0 trn, 0 quat, 0 quin, 0 othr; 0 amo)
1751.43/1694.53 c (1587,0) c lazy added bins : 181 (181 prop + 0 conf, 0.265s)
1751.43/1694.53 c (1587,0) c unwatched lit elim: 194252 (0.10+0.56%, 173932+20320 of 175420110+3610631)
1751.43/1694.53 c (1587,0) c classified type : undef
1751.43/1694.53 c (1587,0) c progress : 2.154 %
1751.43/1694.53 c (1587,0) c
1751.43/1694.53 c (1587,0) c #Rstrts #Confs #Vars #Clauses #Learnts Lits/C LBD/C DLVs Trail
1751.43/1694.53 c (1587,0) c
1751.43/1694.53 c (1587,0) c 1587 R 770 135000 149509 57403258 64710 10.8 4.4 37.1 70.0%
1776.17/1719.26 c (1612,0) c 1612 p 781 136517 149437 57395370 66227 11.0 4.5 36.1 68.8%
1855.04/1798.09 c (1691,0) c 1691 806 141909 149437 57395370 71620 12.0 4.7 33.1 71.0%
2082.93/2025.76 c (1919,0) c 1918 r 907 161000 149437 57395370 90716 14.0 5.5 31.9 70.1%
2082.93/2025.77 c (1919,0) c
2082.93/2025.77 c (1919,0) c R [LBD Statistics #7]
2082.93/2025.77 c (1919,0) c R LBD used lbd used clause lbd
2082.93/2025.77 c (1919,0) c R tot 1213829 90716
2082.93/2025.77 c (1919,0) c R avg 2.873 5.453
2082.93/2025.77 c (1919,0) c R 1 80890 ( 6.7/ 6.7%) 1008 ( 1.1/ 1.1%)
2082.93/2025.77 c (1919,0) c R 2 725711 (59.8/66.5%) 14764 (16.3/17.4%)
2082.93/2025.77 c (1919,0) c R 3 172416 (14.2/80.7%) 16300 (18.0/35.4%)
2082.93/2025.77 c (1919,0) c R
2082.93/2025.77 c (1919,0) c R core_lbd_threshold = 3
2082.93/2025.77 c (1919,0) c R supp_lbd_threshold = 13
2082.93/2025.77 c (1919,0) c R
2082.93/2025.77 c (1919,0) c R [RDB Statistics #7]
2082.93/2025.77 c (1919,0) c R kept: lbd = 31930 (35.2/35.2%)
2082.93/2025.77 c (1919,0) c R kept: ttl = 39653 (43.7/78.9%)
2082.93/2025.77 c (1919,0) c R kept: locked = 157 ( 0.2/79.1%)
2082.93/2025.77 c (1919,0) c R lost: lbd = 0 ( 0.0/ 0.0%)
2082.93/2025.77 c (1919,0) c R lost: ttl = 18976 (20.9/20.9%)
2082.93/2025.77 c (1919,0) c R lost: subsumed = 0 ( 0.0/20.9%)
2082.93/2025.77 c (1919,0) c
2082.93/2025.77 c (1919,0) c 1918 R 907 161000 149437 57395370 71740 10.9 4.2 31.9 70.1%
2201.72/2144.42 c (2037,0) c 2037 981 170394 149437 57395370 81137 12.1 4.7 34.4 70.9%
2434.91/2377.42 c (2270,0) c 2270 r 1120 188000 149437 57395370 98752 13.9 5.5 32.2 69.5%
2434.91/2377.43 c (2270,0) c
2434.91/2377.43 c (2270,0) c R [LBD Statistics #8]
2434.91/2377.43 c (2270,0) c R LBD used lbd used clause lbd
2434.91/2377.43 c (2270,0) c R tot 1542273 98752
2434.91/2377.43 c (2270,0) c R avg 2.834 5.473
2434.91/2377.43 c (2270,0) c R 1 103485 ( 6.7/ 6.7%) 1169 ( 1.2/ 1.2%)
2434.91/2377.43 c (2270,0) c R 2 938327 (60.8/67.6%) 16823 (17.0/18.2%)
2434.91/2377.43 c (2270,0) c R 3 215091 (13.9/81.5%) 18396 (18.6/36.8%)
2434.91/2377.43 c (2270,0) c R
2434.91/2377.43 c (2270,0) c R core_lbd_threshold = 3
2434.91/2377.43 c (2270,0) c R supp_lbd_threshold = 13
2434.91/2377.43 c (2270,0) c R
2434.91/2377.43 c (2270,0) c R [RDB Statistics #8]
2434.91/2377.43 c (2270,0) c R kept: lbd = 34608 (35.0/35.0%)
2434.91/2377.43 c (2270,0) c R kept: ttl = 38392 (38.9/73.9%)
2434.91/2377.43 c (2270,0) c R kept: locked = 135 ( 0.1/74.1%)
2434.91/2377.43 c (2270,0) c R lost: lbd = 1652 ( 1.7/ 1.7%)
2434.91/2377.43 c (2270,0) c R lost: ttl = 23965 (24.3/25.9%)
2434.91/2377.43 c (2270,0) c R lost: subsumed = 0 ( 0.0/25.9%)
2434.91/2377.43 c (2270,0) c
2434.91/2377.43 c (2270,0) c 2270 R 1120 188000 149437 57395370 73135 10.2 4.1 32.2 69.5%
2520.07/2462.50 c (2355,0) receiving signal SIGTERM
2520.07/2462.50 s UNKNOWN
2520.07/2462.51 c (scop.sh) Receiving Signal. Removing all intermediate files.
2520.07/2462.51 c (scop.sh) Remove HOME/scop-8843-serial-file.bin.
2520.07/2462.51 c (scop.sh) Killing background jobs.
2520.07/2462.51 c (2355,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 (11876 MiB free)
memory of node 1: 16384 MiB (55 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4388043-1568294675/watcher-4388043-1568294675 -o /tmp/evaluation-result-4388043-1568294675/solver-4388043-1568294675 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node127-1568286090-6276 --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-4388043-1568294675.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=8843, runsolver pid=8840
[startup+0.105728 s]*
/proc/loadavg: 5.51 5.61 4.49 4/230 8860
/proc/meminfo: memFree=12153924/32770624 swapFree=66998516/67108860
[pid=8843] ppid=8840 vsize=113128 memory=1392 CPUtime=0 cores=0,2,4,6
/proc/8843/stat : 8843 (scop.sh) S 8840 8843 4978 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405736346 115843072 348 33554432000 4194304 5098028 140730087620352 140730087617608 140524195889788 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 11014144 140730087621416 140730087621744 140730087621744 140730087624653 0
/proc/8843/statm: 28282 348 296 221 0 87 0
[pid=8846] ppid=8843 vsize=15012696 memory=74208 CPUtime=0.13 cores=0,2,4,6
/proc/8846/stat : 8846 (java) S 8843 8843 4978 0 -1 1077944320 7286 0 0 0 11 2 0 0 20 0 15 0 405736346 15373000704 18552 33554432000 4194304 4196468 140723168689360 140723168671904 139705190907639 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 27418624 140723168690927 140723168691354 140723168691354 140723168694223 0
/proc/8846/statm: 3753174 18552 2941 1 0 3715579 0
[pid=8846/tid=8847] ppid=8843 vsize=15012696 memory=576460756329955459 CPUtime=0.09 cores=0,2,4,6
/proc/8846/task/8847/stat : 8847 (java) R 8843 8843 4978 0 -1 4202560 5085 0 0 0 8 1 0 0 20 0 15 0 405736347 15373000704 18552 33554432000 4194304 4196468 140723168689360 139705162712448 139705171183388 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27418624 140723168690927 140723168691354 140723168691354 140723168694223 0
[pid=8846/tid=8848] ppid=8843 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8846/task/8848/stat : 8848 (java) S 8843 8843 4978 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405736348 15373000704 18552 33554432000 4194304 4196468 140723168689360 139705195149712 139705190917845 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27418624 140723168690927 140723168691354 140723168691354 140723168694223 0
[pid=8846/tid=8849] ppid=8843 vsize=15012696 memory=140082009168392 CPUtime=0 cores=0,2,4,6
/proc/8846/task/8849/stat : 8849 (java) S 8843 8843 4978 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405736348 15373000704 18552 33554432000 4194304 4196468 140723168689360 139705019791632 139705190917845 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27418624 140723168690927 140723168691354 140723168691354 140723168694223 0
[pid=8846/tid=8850] ppid=8843 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8846/task/8850/stat : 8850 (java) S 8843 8843 4978 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405736348 15373000704 18552 33554432000 4194304 4196468 140723168689360 139704650771088 139705190917845 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27418624 140723168690927 140723168691354 140723168691354 140723168694223 0
[pid=8846/tid=8851] ppid=8843 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8846/task/8851/stat : 8851 (java) S 8843 8843 4978 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405736348 15373000704 18552 33554432000 4194304 4196468 140723168689360 139704649718288 139705190917845 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27418624 140723168690927 140723168691354 140723168691354 140723168694223 0
[pid=8846/tid=8852] ppid=8843 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8846/task/8852/stat : 8852 (java) S 8843 8843 4978 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405736350 15373000704 18552 33554432000 4194304 4196468 140723168689360 139704228457072 139705190918786 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27418624 140723168690927 140723168691354 140723168691354 140723168694223 0
[pid=8846/tid=8853] ppid=8843 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8846/task/8853/stat : 8853 (java) S 8843 8843 4978 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405736350 15373000704 18552 33554432000 4194304 4196468 140723168689360 139703743407392 139705190917845 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27418624 140723168690927 140723168691354 140723168691354 140723168694223 0
[pid=8846/tid=8854] ppid=8843 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8846/task/8854/stat : 8854 (java) S 8843 8843 4978 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405736351 15373000704 18552 33554432000 4194304 4196468 140723168689360 139703474972272 139705190917845 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27418624 140723168690927 140723168691354 140723168691354 140723168694223 0
[pid=8846/tid=8855] ppid=8843 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8846/task/8855/stat : 8855 (java) S 8843 8843 4978 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405736353 15373000704 18552 33554432000 4194304 4196468 140723168689360 139703100463696 139705190926235 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27418624 140723168690927 140723168691354 140723168691354 140723168694223 0
[pid=8846/tid=8856] ppid=8843 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8846/task/8856/stat : 8856 (java) S 8843 8843 4978 0 -1 1077944384 307 0 0 0 0 0 0 0 20 0 15 0 405736353 15373000704 18552 33554432000 4194304 4196468 140723168689360 139704227403888 139705190918786 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27418624 140723168690927 140723168691354 140723168691354 140723168694223 0
[pid=8846/tid=8857] ppid=8843 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8846/task/8857/stat : 8857 (java) S 8843 8843 4978 0 -1 1077944384 135 0 0 0 0 0 0 0 20 0 15 0 405736353 15373000704 18552 33554432000 4194304 4196468 140723168689360 139704226351088 139705190918786 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27418624 140723168690927 140723168691354 140723168691354 140723168694223 0
[pid=8846/tid=8858] ppid=8843 vsize=15012696 memory=140082009159296 CPUtime=0.01 cores=0,2,4,6
/proc/8846/task/8858/stat : 8858 (java) S 8843 8843 4978 0 -1 1077944384 430 0 0 0 1 0 0 0 20 0 15 0 405736353 15373000704 18552 33554432000 4194304 4196468 140723168689360 139704225298800 139705190918786 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27418624 140723168690927 140723168691354 140723168691354 140723168694223 0
[pid=8846/tid=8859] ppid=8843 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8846/task/8859/stat : 8859 (java) S 8843 8843 4978 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405736353 15373000704 18552 33554432000 4194304 4196468 140723168689360 139702602557920 139705190917845 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27418624 140723168690927 140723168691354 140723168691354 140723168694223 0
[pid=8846/tid=8860] ppid=8843 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8846/task/8860/stat : 8860 (java) S 8843 8843 4978 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405736354 15373000704 18552 33554432000 4194304 4196468 140723168689360 139704224246704 139705190918786 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27418624 140723168690927 140723168691354 140723168691354 140723168694223 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 75600 KiB
[startup+0.211014 s]*
/proc/loadavg: 5.51 5.61 4.49 3/230 8860
/proc/meminfo: memFree=12090544/32770624 swapFree=66998516/67108860
[pid=8843] ppid=8840 vsize=113128 memory=1392 CPUtime=0 cores=0,2,4,6
/proc/8843/stat : 8843 (scop.sh) S 8840 8843 4978 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405736346 115843072 348 33554432000 4194304 5098028 140730087620352 140730087617608 140524195889788 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 11014144 140730087621416 140730087621744 140730087621744 140730087624653 0
/proc/8843/statm: 28282 348 296 221 0 87 0
[pid=8846] ppid=8843 vsize=15012696 memory=88752 CPUtime=0.26 cores=0,2,4,6
/proc/8846/stat : 8846 (java) S 8843 8843 4978 0 -1 1077944320 12289 0 0 0 22 4 0 0 20 0 15 0 405736346 15373000704 22188 33554432000 4194304 4196468 140723168689360 140723168671904 139705190907639 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 27418624 140723168690927 140723168691354 140723168691354 140723168694223 0
/proc/8846/statm: 3753174 22188 2944 1 0 3715579 0
[pid=8846/tid=8847] ppid=8843 vsize=15012696 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/8846/task/8847/stat : 8847 (java) R 8843 8843 4978 0 -1 4202560 10029 0 0 0 17 3 0 0 20 0 15 0 405736347 15373000704 22188 33554432000 4194304 4196468 140723168689360 139705162707024 139705190929565 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27418624 140723168690927 140723168691354 140723168691354 140723168694223 0
[pid=8846/tid=8848] ppid=8843 vsize=15012696 memory=1946935 CPUtime=0 cores=0,2,4,6
/proc/8846/task/8848/stat : 8848 (java) S 8843 8843 4978 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405736348 15373000704 22188 33554432000 4194304 4196468 140723168689360 139705195149712 139705190917845 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27418624 140723168690927 140723168691354 140723168691354 140723168694223 0
[pid=8846/tid=8849] ppid=8843 vsize=15012696 memory=140082012097222 CPUtime=0 cores=0,2,4,6
/proc/8846/task/8849/stat : 8849 (java) S 8843 8843 4978 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405736348 15373000704 22188 33554432000 4194304 4196468 140723168689360 139705019791632 139705190917845 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27418624 140723168690927 140723168691354 140723168691354 140723168694223 0
[pid=8846/tid=8850] ppid=8843 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8846/task/8850/stat : 8850 (java) S 8843 8843 4978 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405736348 15373000704 22188 33554432000 4194304 4196468 140723168689360 139704650771088 139705190917845 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27418624 140723168690927 140723168691354 140723168691354 140723168694223 0
[pid=8846/tid=8851] ppid=8843 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8846/task/8851/stat : 8851 (java) S 8843 8843 4978 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405736348 15373000704 22188 33554432000 4194304 4196468 140723168689360 139704649718288 139705190917845 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27418624 140723168690927 140723168691354 140723168691354 140723168694223 0
[pid=8846/tid=8852] ppid=8843 vsize=15012696 memory=140082009159296 CPUtime=0 cores=0,2,4,6
/proc/8846/task/8852/stat : 8852 (java) S 8843 8843 4978 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405736350 15373000704 22188 33554432000 4194304 4196468 140723168689360 139704228457072 139705190918786 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27418624 140723168690927 140723168691354 140723168691354 140723168694223 0
[pid=8846/tid=8853] ppid=8843 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8846/task/8853/stat : 8853 (java) S 8843 8843 4978 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405736350 15373000704 22188 33554432000 4194304 4196468 140723168689360 139703743407392 139705190917845 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27418624 140723168690927 140723168691354 140723168691354 140723168694223 0
[pid=8846/tid=8854] ppid=8843 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8846/task/8854/stat : 8854 (java) S 8843 8843 4978 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405736351 15373000704 22188 33554432000 4194304 4196468 140723168689360 139703474972272 139705190917845 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27418624 140723168690927 140723168691354 140723168691354 140723168694223 0
[pid=8846/tid=8855] ppid=8843 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8846/task/8855/stat : 8855 (java) S 8843 8843 4978 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405736353 15373000704 22188 33554432000 4194304 4196468 140723168689360 139703100463696 139705190926235 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27418624 140723168690927 140723168691354 140723168691354 140723168694223 0
[pid=8846/tid=8856] ppid=8843 vsize=15012696 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/8846/task/8856/stat : 8856 (java) S 8843 8843 4978 0 -1 1077944384 320 0 0 0 1 0 0 0 20 0 15 0 405736353 15373000704 22188 33554432000 4194304 4196468 140723168689360 139704227403888 139705190918786 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27418624 140723168690927 140723168691354 140723168691354 140723168694223 0
[pid=8846/tid=8857] ppid=8843 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8846/task/8857/stat : 8857 (java) S 8843 8843 4978 0 -1 1077944384 168 0 0 0 0 0 0 0 20 0 15 0 405736353 15373000704 22188 33554432000 4194304 4196468 140723168689360 139704226351088 139705190918786 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27418624 140723168690927 140723168691354 140723168691354 140723168694223 0
[pid=8846/tid=8858] ppid=8843 vsize=15012696 memory=140082009159296 CPUtime=0.03 cores=0,2,4,6
/proc/8846/task/8858/stat : 8858 (java) S 8843 8843 4978 0 -1 1077944384 437 0 0 0 3 0 0 0 20 0 15 0 405736353 15373000704 22188 33554432000 4194304 4196468 140723168689360 139704225298800 139705190918786 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27418624 140723168690927 140723168691354 140723168691354 140723168694223 0
[pid=8846/tid=8859] ppid=8843 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8846/task/8859/stat : 8859 (java) S 8843 8843 4978 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405736353 15373000704 22188 33554432000 4194304 4196468 140723168689360 139702602557920 139705190917845 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27418624 140723168690927 140723168691354 140723168691354 140723168694223 0
[pid=8846/tid=8860] ppid=8843 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8846/task/8860/stat : 8860 (java) S 8843 8843 4978 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405736354 15373000704 22188 33554432000 4194304 4196468 140723168689360 139704224246704 139705190918786 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27418624 140723168690927 140723168691354 140723168691354 140723168694223 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 90144 KiB
[startup+0.310686 s]*
/proc/loadavg: 5.51 5.61 4.49 3/230 8860
/proc/meminfo: memFree=12083448/32770624 swapFree=66998516/67108860
[pid=8843] ppid=8840 vsize=113128 memory=1392 CPUtime=0 cores=0,2,4,6
/proc/8843/stat : 8843 (scop.sh) S 8840 8843 4978 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405736346 115843072 348 33554432000 4194304 5098028 140730087620352 140730087617608 140524195889788 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 11014144 140730087621416 140730087621744 140730087621744 140730087624653 0
/proc/8843/statm: 28282 348 296 221 0 87 0
[pid=8846] ppid=8843 vsize=15012696 memory=92344 CPUtime=0.43 cores=0,2,4,6
/proc/8846/stat : 8846 (java) S 8843 8843 4978 0 -1 1077944320 12637 0 0 0 39 4 0 0 20 0 15 0 405736346 15373000704 23086 33554432000 4194304 4196468 140723168689360 140723168671904 139705190907639 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 27418624 140723168690927 140723168691354 140723168691354 140723168694223 0
/proc/8846/statm: 3753174 23086 3056 1 0 3715579 0
[pid=8846/tid=8847] ppid=8843 vsize=15012696 memory=8317482817917895235 CPUtime=0.3 cores=0,2,4,6
/proc/8846/task/8847/stat : 8847 (java) R 8843 8843 4978 0 -1 4202560 10208 0 0 0 27 3 0 0 20 0 15 0 405736347 15373000704 23086 33554432000 4194304 4196468 140723168689360 139705162727360 139705172471168 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27418624 140723168690927 140723168691354 140723168691354 140723168694223 0
[pid=8846/tid=8848] ppid=8843 vsize=15012696 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/8846/task/8848/stat : 8848 (java) S 8843 8843 4978 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405736348 15373000704 23086 33554432000 4194304 4196468 140723168689360 139705195149712 139705190917845 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27418624 140723168690927 140723168691354 140723168691354 140723168694223 0
[pid=8846/tid=8849] ppid=8843 vsize=15012696 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/8846/task/8849/stat : 8849 (java) S 8843 8843 4978 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405736348 15373000704 23086 33554432000 4194304 4196468 140723168689360 139705019791632 139705190917845 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27418624 140723168690927 140723168691354 140723168691354 140723168694223 0
[pid=8846/tid=8850] ppid=8843 vsize=15012696 memory=6944656592387989600 CPUtime=0 cores=0,2,4,6
/proc/8846/task/8850/stat : 8850 (java) S 8843 8843 4978 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405736348 15373000704 23086 33554432000 4194304 4196468 140723168689360 139704650771088 139705190917845 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27418624 140723168690927 140723168691354 140723168691354 140723168694223 0
[pid=8846/tid=8851] ppid=8843 vsize=15012696 memory=8562125494162282060 CPUtime=0 cores=0,2,4,6
/proc/8846/task/8851/stat : 8851 (java) S 8843 8843 4978 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405736348 15373000704 23086 33554432000 4194304 4196468 140723168689360 139704649718288 139705190917845 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27418624 140723168690927 140723168691354 140723168691354 140723168694223 0
[pid=8846/tid=8852] ppid=8843 vsize=15012696 memory=7223873422398956946 CPUtime=0 cores=0,2,4,6
/proc/8846/task/8852/stat : 8852 (java) S 8843 8843 4978 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405736350 15373000704 23086 33554432000 4194304 4196468 140723168689360 139704228457072 139705190918786 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27418624 140723168690927 140723168691354 140723168691354 140723168694223 0
[pid=8846/tid=8853] ppid=8843 vsize=15012696 memory=6944938067432061290 CPUtime=0 cores=0,2,4,6
/proc/8846/task/8853/stat : 8853 (java) S 8843 8843 4978 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405736350 15373000704 23086 33554432000 4194304 4196468 140723168689360 139703743407392 139705190917845 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27418624 140723168690927 140723168691354 140723168691354 140723168694223 0
[pid=8846/tid=8854] ppid=8843 vsize=15012696 memory=-9062862659931694204 CPUtime=0 cores=0,2,4,6
/proc/8846/task/8854/stat : 8854 (java) S 8843 8843 4978 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405736351 15373000704 23086 33554432000 4194304 4196468 140723168689360 139703474972272 139705190917845 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27418624 140723168690927 140723168691354 140723168691354 140723168694223 0
[pid=8846/tid=8855] ppid=8843 vsize=15012696 memory=7100839852926015589 CPUtime=0 cores=0,2,4,6
/proc/8846/task/8855/stat : 8855 (java) S 8843 8843 4978 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405736353 15373000704 23086 33554432000 4194304 4196468 140723168689360 139703100463696 139705190926235 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27418624 140723168690927 140723168691354 140723168691354 140723168694223 0
[pid=8846/tid=8856] ppid=8843 vsize=15012696 memory=-8412660965215072671 CPUtime=0.02 cores=0,2,4,6
/proc/8846/task/8856/stat : 8856 (java) S 8843 8843 4978 0 -1 1077944384 362 0 0 0 2 0 0 0 20 0 15 0 405736353 15373000704 23086 33554432000 4194304 4196468 140723168689360 139704227403888 139705190918786 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27418624 140723168690927 140723168691354 140723168691354 140723168694223 0
[pid=8846/tid=8857] ppid=8843 vsize=15012696 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/8846/task/8857/stat : 8857 (java) S 8843 8843 4978 0 -1 1077944384 273 0 0 0 2 0 0 0 20 0 15 0 405736353 15373000704 23086 33554432000 4194304 4196468 140723168689360 139704226351088 139705190918786 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27418624 140723168690927 140723168691354 140723168691354 140723168694223 0
[pid=8846/tid=8858] ppid=8843 vsize=15012696 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/8846/task/8858/stat : 8858 (java) S 8843 8843 4978 0 -1 1077944384 458 0 0 0 7 0 0 0 20 0 15 0 405736353 15373000704 23086 33554432000 4194304 4196468 140723168689360 139704225298800 139705190918786 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27418624 140723168690927 140723168691354 140723168691354 140723168694223 0
[pid=8846/tid=8859] ppid=8843 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8846/task/8859/stat : 8859 (java) S 8843 8843 4978 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405736353 15373000704 23086 33554432000 4194304 4196468 140723168689360 139702602557920 139705190917845 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27418624 140723168690927 140723168691354 140723168691354 140723168694223 0
[pid=8846/tid=8860] ppid=8843 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8846/task/8860/stat : 8860 (java) S 8843 8843 4978 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405736354 15373000704 23086 33554432000 4194304 4196468 140723168689360 139704224246704 139705190918786 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27418624 140723168690927 140723168691354 140723168691354 140723168694223 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 93736 KiB
[startup+0.700769 s]
/proc/loadavg: 5.51 5.61 4.49 3/230 8860
/proc/meminfo: memFree=12068456/32770624 swapFree=66998516/67108860
[pid=8843] ppid=8840 vsize=113128 memory=1392 CPUtime=0 cores=0,2,4,6
/proc/8843/stat : 8843 (scop.sh) S 8840 8843 4978 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405736346 115843072 348 33554432000 4194304 5098028 140730087620352 140730087617608 140524195889788 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 11014144 140730087621416 140730087621744 140730087621744 140730087624653 0
/proc/8843/statm: 28282 348 296 221 0 87 0
[pid=8846] ppid=8843 vsize=15021016 memory=129304 CPUtime=1 cores=0,2,4,6
/proc/8846/stat : 8846 (java) S 8843 8843 4978 0 -1 1077944320 20167 0 0 0 94 6 0 0 20 0 15 0 405736346 15381520384 32326 33554432000 4194304 4196468 140723168689360 140723168671904 139705190907639 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 27418624 140723168690927 140723168691354 140723168691354 140723168694223 0
/proc/8846/statm: 3755254 32326 3183 1 0 3716603 0
[pid=8846/tid=8847] ppid=8843 vsize=15021016 memory=0 CPUtime=0.67 cores=0,2,4,6
/proc/8846/task/8847/stat : 8847 (java) R 8843 8843 4978 0 -1 4202560 17347 0 0 0 62 5 0 0 20 0 15 0 405736347 15381520384 32326 33554432000 4194304 4196468 140723168689360 139705162739008 139705183728510 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27418624 140723168690927 140723168691354 140723168691354 140723168694223 0
[pid=8846/tid=8848] ppid=8843 vsize=15021016 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8846/task/8848/stat : 8848 (java) S 8843 8843 4978 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405736348 15381520384 32326 33554432000 4194304 4196468 140723168689360 139705195149712 139705190917845 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27418624 140723168690927 140723168691354 140723168691354 140723168694223 0
[pid=8846/tid=8849] ppid=8843 vsize=15021016 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8846/task/8849/stat : 8849 (java) S 8843 8843 4978 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405736348 15381520384 32326 33554432000 4194304 4196468 140723168689360 139705019791632 139705190917845 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27418624 140723168690927 140723168691354 140723168691354 140723168694223 0
[pid=8846/tid=8850] ppid=8843 vsize=15021016 memory=1056 CPUtime=0 cores=0,2,4,6
/proc/8846/task/8850/stat : 8850 (java) S 8843 8843 4978 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405736348 15381520384 32326 33554432000 4194304 4196468 140723168689360 139704650771088 139705190917845 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27418624 140723168690927 140723168691354 140723168691354 140723168694223 0
[pid=8846/tid=8851] ppid=8843 vsize=15021016 memory=1204 CPUtime=0 cores=0,2,4,6
/proc/8846/task/8851/stat : 8851 (java) S 8843 8843 4978 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405736348 15381520384 32326 33554432000 4194304 4196468 140723168689360 139704649718288 139705190917845 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27418624 140723168690927 140723168691354 140723168691354 140723168694223 0
[pid=8846/tid=8852] ppid=8843 vsize=15021016 memory=1536 CPUtime=0 cores=0,2,4,6
/proc/8846/task/8852/stat : 8852 (java) S 8843 8843 4978 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 405736350 15381520384 32326 33554432000 4194304 4196468 140723168689360 139704228457072 139705190918786 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27418624 140723168690927 140723168691354 140723168691354 140723168694223 0
[pid=8846/tid=8853] ppid=8843 vsize=15021016 memory=9592 CPUtime=0 cores=0,2,4,6
/proc/8846/task/8853/stat : 8853 (java) S 8843 8843 4978 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405736350 15381520384 32326 33554432000 4194304 4196468 140723168689360 139703743407392 139705190917845 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27418624 140723168690927 140723168691354 140723168691354 140723168694223 0
[pid=8846/tid=8854] ppid=8843 vsize=15021016 memory=2828 CPUtime=0 cores=0,2,4,6
/proc/8846/task/8854/stat : 8854 (java) S 8843 8843 4978 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405736351 15381520384 32326 33554432000 4194304 4196468 140723168689360 139703474972272 139705190917845 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27418624 140723168690927 140723168691354 140723168691354 140723168694223 0
[pid=8846/tid=8855] ppid=8843 vsize=15021016 memory=780 CPUtime=0 cores=0,2,4,6
/proc/8846/task/8855/stat : 8855 (java) S 8843 8843 4978 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405736353 15381520384 32326 33554432000 4194304 4196468 140723168689360 139703100463696 139705190926235 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27418624 140723168690927 140723168691354 140723168691354 140723168694223 0
[pid=8846/tid=8856] ppid=8843 vsize=15021016 memory=620 CPUtime=0.08 cores=0,2,4,6
/proc/8846/task/8856/stat : 8856 (java) R 8843 8843 4978 0 -1 4202560 592 0 0 0 8 0 0 0 20 0 15 0 405736353 15381520384 32326 33554432000 4194304 4196468 140723168689360 139704227391568 139705170595465 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27418624 140723168690927 140723168691354 140723168691354 140723168694223 0
[pid=8846/tid=8857] ppid=8843 vsize=15021016 memory=1712 CPUtime=0.06 cores=0,2,4,6
/proc/8846/task/8857/stat : 8857 (java) S 8843 8843 4978 0 -1 1077944384 364 0 0 0 6 0 0 0 20 0 15 0 405736353 15381520384 32326 33554432000 4194304 4196468 140723168689360 139704226351088 139705190918786 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27418624 140723168690927 140723168691354 140723168691354 140723168694223 0
[pid=8846/tid=8858] ppid=8843 vsize=15021016 memory=1052 CPUtime=0.15 cores=0,2,4,6
/proc/8846/task/8858/stat : 8858 (java) S 8843 8843 4978 0 -1 1077944384 525 0 0 0 15 0 0 0 20 0 15 0 405736353 15381520384 32326 33554432000 4194304 4196468 140723168689360 139704225298800 139705190918786 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27418624 140723168690927 140723168691354 140723168691354 140723168694223 0
[pid=8846/tid=8859] ppid=8843 vsize=15021016 memory=5900 CPUtime=0 cores=0,2,4,6
/proc/8846/task/8859/stat : 8859 (java) S 8843 8843 4978 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405736353 15381520384 32326 33554432000 4194304 4196468 140723168689360 139702602557920 139705190917845 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27418624 140723168690927 140723168691354 140723168691354 140723168694223 0
[pid=8846/tid=8860] ppid=8843 vsize=15021016 memory=14012 CPUtime=0 cores=0,2,4,6
/proc/8846/task/8860/stat : 8860 (java) S 8843 8843 4978 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405736354 15381520384 32326 33554432000 4194304 4196468 140723168689360 139704224246704 139705190918786 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27418624 140723168690927 140723168691354 140723168691354 140723168694223 0
Current children cumulated CPU time: 1 s
Current children cumulated vsize: 15134144 KiB
Current children cumulated memory: 130696 KiB
[startup+1.50108 s]
/proc/loadavg: 5.51 5.61 4.49 4/230 8860
/proc/meminfo: memFree=12038716/32770624 swapFree=66998516/67108860
[pid=8843] ppid=8840 vsize=113128 memory=1392 CPUtime=0 cores=0,2,4,6
/proc/8843/stat : 8843 (scop.sh) S 8840 8843 4978 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405736346 115843072 348 33554432000 4194304 5098028 140730087620352 140730087617608 140524195889788 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 11014144 140730087621416 140730087621744 140730087621744 140730087624653 0
/proc/8843/statm: 28282 348 296 221 0 87 0
################
# More data... #
################
[pid=8884] ppid=8869 vsize=3833840 memory=3402460 CPUtime=2335.28 cores=0,2,4,6
/proc/8884/stat : 8884 (glueminisat-sim) R 8869 8843 4978 0 -1 4202496 14627694 0 0 0 232421 1107 0 0 20 0 1 0 405747052 3925852160 850615 33554432000 4194304 4452875 140722685929472 140722685924568 139961433968519 0 4 0 8388610 0 0 0 17 4 0 0 0 0 0 6552096 6554264 27111424 140722685936480 140722685936679 140722685936679 140722685939629 0
/proc/8884/statm: 958460 850615 376 64 0 954664 0
[pid=8869/tid=8870] ppid=8843 vsize=8068440 memory=121500 CPUtime=0.77 cores=0,2,4,6
/proc/8869/task/8870/stat : 8870 (java) S 8843 8843 4978 0 -1 1077944384 17766 0 0 0 72 5 0 0 20 0 19 0 405746979 8262082560 30375 33554432000 4194304 4196468 140723371922368 139773681282976 139773709453013 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32043008 140723371930620 140723371930778 140723371930778 140723371933647 0
[pid=8869/tid=8871] ppid=8843 vsize=8068440 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/8869/task/8871/stat : 8871 (java) S 8843 8843 4978 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405746980 8262082560 30375 33554432000 4194304 4196468 140723371922368 139773713685008 139773709453013 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32043008 140723371930620 140723371930778 140723371930778 140723371933647 0
[pid=8869/tid=8872] ppid=8843 vsize=8068440 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/8869/task/8872/stat : 8872 (java) S 8843 8843 4978 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405746980 8262082560 30375 33554432000 4194304 4196468 140723371922368 139773538327184 139773709453013 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32043008 140723371930620 140723371930778 140723371930778 140723371933647 0
[pid=8869/tid=8873] ppid=8843 vsize=8068440 memory=3402456 CPUtime=0 cores=0,2,4,6
/proc/8869/task/8873/stat : 8873 (java) S 8843 8843 4978 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405746980 8262082560 30375 33554432000 4194304 4196468 140723371922368 139773193386256 139773709453013 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32043008 140723371930620 140723371930778 140723371930778 140723371933647 0
[pid=8869/tid=8874] ppid=8843 vsize=8068440 memory=121500 CPUtime=0 cores=0,2,4,6
/proc/8869/task/8874/stat : 8874 (java) S 8843 8843 4978 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405746980 8262082560 30375 33554432000 4194304 4196468 140723371922368 139773192333712 139773709453013 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32043008 140723371930620 140723371930778 140723371930778 140723371933647 0
[pid=8869/tid=8875] ppid=8843 vsize=8068440 memory=1472 CPUtime=0.08 cores=0,2,4,6
/proc/8869/task/8875/stat : 8875 (java) S 8843 8843 4978 0 -1 1077944384 10 0 0 0 3 5 0 0 20 0 19 0 405746982 8262082560 30375 33554432000 4194304 4196468 140723371922368 139773155912432 139773709453954 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32043008 140723371930620 140723371930778 140723371930778 140723371933647 0
[pid=8869/tid=8876] ppid=8843 vsize=8068440 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/8869/task/8876/stat : 8876 (java) S 8843 8843 4978 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 405746982 8262082560 30375 33554432000 4194304 4196468 140723371922368 139772529993376 139773709453013 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32043008 140723371930620 140723371930778 140723371930778 140723371933647 0
[pid=8869/tid=8877] ppid=8843 vsize=8068440 memory=121500 CPUtime=0 cores=0,2,4,6
/proc/8869/task/8877/stat : 8877 (java) S 8843 8843 4978 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 405746982 8262082560 30375 33554432000 4194304 4196468 140723371922368 139772395771120 139773709453013 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32043008 140723371930620 140723371930778 140723371930778 140723371933647 0
[pid=8869/tid=8878] ppid=8843 vsize=8068440 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/8869/task/8878/stat : 8878 (java) S 8843 8843 4978 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405746985 8262082560 30375 33554432000 4194304 4196468 140723371922368 139772021266896 139773709461403 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32043008 140723371930620 140723371930778 140723371930778 140723371933647 0
[pid=8869/tid=8879] ppid=8843 vsize=8068440 memory=1472 CPUtime=0.1 cores=0,2,4,6
/proc/8869/task/8879/stat : 8879 (java) S 8843 8843 4978 0 -1 1077944384 790 0 0 0 9 1 0 0 20 0 19 0 405746985 8262082560 30375 33554432000 4194304 4196468 140723371922368 139773154859248 139773709453954 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32043008 140723371930620 140723371930778 140723371930778 140723371933647 0
[pid=8869/tid=8880] ppid=8843 vsize=8068440 memory=1472 CPUtime=0.09 cores=0,2,4,6
/proc/8869/task/8880/stat : 8880 (java) S 8843 8843 4978 0 -1 1077944384 167 0 0 0 8 1 0 0 20 0 19 0 405746985 8262082560 30375 33554432000 4194304 4196468 140723371922368 139773153806704 139773709453954 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32043008 140723371930620 140723371930778 140723371930778 140723371933647 0
[pid=8869/tid=8881] ppid=8843 vsize=8068440 memory=121500 CPUtime=0.23 cores=0,2,4,6
/proc/8869/task/8881/stat : 8881 (java) S 8843 8843 4978 0 -1 1077944384 1029 0 0 0 23 0 0 0 20 0 19 0 405746985 8262082560 30375 33554432000 4194304 4196468 140723371922368 139773152753648 139773709453954 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32043008 140723371930620 140723371930778 140723371930778 140723371933647 0
[pid=8869/tid=8882] ppid=8843 vsize=8068440 memory=121500 CPUtime=0 cores=0,2,4,6
/proc/8869/task/8882/stat : 8882 (java) S 8843 8843 4978 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405746986 8262082560 30375 33554432000 4194304 4196468 140723371922368 139771523361120 139773709453013 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32043008 140723371930620 140723371930778 140723371930778 140723371933647 0
[pid=8869/tid=8883] ppid=8843 vsize=8068440 memory=1472 CPUtime=1.74 cores=0,2,4,6
/proc/8869/task/8883/stat : 8883 (java) S 8843 8843 4978 0 -1 1077944384 159 0 0 0 94 80 0 0 20 0 19 0 405746986 8262082560 30375 33554432000 4194304 4196468 140723371922368 139773151702064 139773709453954 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 30 0 0 6293624 6294260 32043008 140723371930620 140723371930778 140723371930778 140723371933647 0
[pid=8869/tid=8885] ppid=8843 vsize=8068440 memory=121500 CPUtime=0 cores=0,2,4,6
/proc/8869/task/8885/stat : 8885 (java) S 8843 8843 4978 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 405747053 8262082560 30375 33554432000 4194304 4196468 140723371922368 139773143668544 139773709467417 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 32043008 140723371930620 140723371930778 140723371930778 140723371933647 0
[pid=8869/tid=8887] ppid=8843 vsize=8068440 memory=3624 CPUtime=0.03 cores=0,2,4,6
/proc/8869/task/8887/stat : 8887 (java) S 8843 8843 4978 0 -1 4202560 1690 0 0 0 2 1 0 0 20 0 19 0 405747053 8262082560 30375 33554432000 4194304 4196468 140723371922368 139770986475376 139773709464733 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 32043008 140723371930620 140723371930778 140723371930778 140723371933647 0
[pid=8869/tid=8888] ppid=8843 vsize=8068440 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/8869/task/8888/stat : 8888 (java) S 8843 8843 4978 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 19 0 405747053 8262082560 30375 33554432000 4194304 4196468 140723371922368 139771120696848 139773709464733 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 32043008 140723371930620 140723371930778 140723371930778 140723371933647 0
[pid=8869/tid=8889] ppid=8843 vsize=8068440 memory=121500 CPUtime=0 cores=0,2,4,6
/proc/8869/task/8889/stat : 8889 (java) S 8843 8843 4978 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 405747055 8262082560 30375 33554432000 4194304 4196468 140723371922368 139770718051632 139773709453013 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32043008 140723371930620 140723371930778 140723371930778 140723371933647 0
Current children cumulated CPU time: 2499.86 s
Current children cumulated vsize: 12015408 KiB
Current children cumulated memory: 3525432 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2462.5 s]
/proc/loadavg: 2.00 2.04 2.34 3/240 9230
/proc/meminfo: memFree=22748944/32770624 swapFree=66998516/67108860
[pid=8843] ppid=8840 vsize=113128 memory=1472 CPUtime=161.47 cores=0,2,4,6
/proc/8843/stat : 8843 (scop.sh) S 8840 8843 4978 0 -1 4202496 582 71222 0 0 0 0 15414 733 20 0 1 0 405736346 115843072 368 33554432000 4194304 5098028 140730087620352 140730087617096 140524195889788 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 11014144 140730087621416 140730087621744 140730087621744 140730087624653 0
/proc/8843/statm: 28282 368 311 221 0 87 0
[pid=8869] ppid=8843 vsize=8068440 memory=121500 CPUtime=3.12 cores=0,2,4,6
/proc/8869/stat : 8869 (java) S 8843 8843 4978 0 -1 1077944320 23008 0 0 0 224 88 0 0 20 0 19 0 405746978 8262082560 30375 33554432000 4194304 4196468 140723371922368 140723371904912 139773709442807 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 32043008 140723371930620 140723371930778 140723371930778 140723371933647 0
/proc/8869/statm: 2017110 30375 3201 1 0 1978454 0
[pid=8884] ppid=8869 vsize=3833840 memory=3402460 CPUtime=2355.48 cores=0,2,4,6
/proc/8884/stat : 8884 (glueminisat-sim) R 8869 8843 4978 0 -1 4202496 14784944 0 0 0 234432 1116 0 0 20 0 1 0 405747052 3925852160 850615 33554432000 4194304 4452875 140722685929472 140722685924504 4372350 0 4 0 8388610 0 0 0 17 4 0 0 0 0 0 6552096 6554264 27111424 140722685936480 140722685936679 140722685936679 140722685939629 0
/proc/8884/statm: 958460 850615 376 64 0 954664 0
[pid=8869/tid=8870] ppid=8843 vsize=8068440 memory=121500 CPUtime=0.77 cores=0,2,4,6
/proc/8869/task/8870/stat : 8870 (java) S 8843 8843 4978 0 -1 1077944384 17766 0 0 0 72 5 0 0 20 0 19 0 405746979 8262082560 30375 33554432000 4194304 4196468 140723371922368 139773681282976 139773709453013 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32043008 140723371930620 140723371930778 140723371930778 140723371933647 0
[pid=8869/tid=8871] ppid=8843 vsize=8068440 memory=121500 CPUtime=0 cores=0,2,4,6
/proc/8869/task/8871/stat : 8871 (java) S 8843 8843 4978 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405746980 8262082560 30375 33554432000 4194304 4196468 140723371922368 139773713685008 139773709453013 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32043008 140723371930620 140723371930778 140723371930778 140723371933647 0
[pid=8869/tid=8872] ppid=8843 vsize=8068440 memory=121500 CPUtime=0 cores=0,2,4,6
/proc/8869/task/8872/stat : 8872 (java) S 8843 8843 4978 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405746980 8262082560 30375 33554432000 4194304 4196468 140723371922368 139773538327184 139773709453013 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32043008 140723371930620 140723371930778 140723371930778 140723371933647 0
[pid=8869/tid=8873] ppid=8843 vsize=8068440 memory=121500 CPUtime=0 cores=0,2,4,6
/proc/8869/task/8873/stat : 8873 (java) S 8843 8843 4978 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405746980 8262082560 30375 33554432000 4194304 4196468 140723371922368 139773193386256 139773709453013 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32043008 140723371930620 140723371930778 140723371930778 140723371933647 0
[pid=8869/tid=8874] ppid=8843 vsize=8068440 memory=121500 CPUtime=0 cores=0,2,4,6
/proc/8869/task/8874/stat : 8874 (java) S 8843 8843 4978 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405746980 8262082560 30375 33554432000 4194304 4196468 140723371922368 139773192333712 139773709453013 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32043008 140723371930620 140723371930778 140723371930778 140723371933647 0
[pid=8869/tid=8875] ppid=8843 vsize=8068440 memory=1472 CPUtime=0.08 cores=0,2,4,6
/proc/8869/task/8875/stat : 8875 (java) S 8843 8843 4978 0 -1 1077944384 10 0 0 0 3 5 0 0 20 0 19 0 405746982 8262082560 30375 33554432000 4194304 4196468 140723371922368 139773155912432 139773709453954 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32043008 140723371930620 140723371930778 140723371930778 140723371933647 0
[pid=8869/tid=8876] ppid=8843 vsize=8068440 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/8869/task/8876/stat : 8876 (java) S 8843 8843 4978 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 405746982 8262082560 30375 33554432000 4194304 4196468 140723371922368 139772529993376 139773709453013 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32043008 140723371930620 140723371930778 140723371930778 140723371933647 0
[pid=8869/tid=8877] ppid=8843 vsize=8068440 memory=280163804133824 CPUtime=0 cores=0,2,4,6
/proc/8869/task/8877/stat : 8877 (java) S 8843 8843 4978 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 405746982 8262082560 30375 33554432000 4194304 4196468 140723371922368 139772395771120 139773709453013 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32043008 140723371930620 140723371930778 140723371930778 140723371933647 0
[pid=8869/tid=8878] ppid=8843 vsize=8068440 memory=3402460 CPUtime=0 cores=0,2,4,6
/proc/8869/task/8878/stat : 8878 (java) S 8843 8843 4978 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405746985 8262082560 30375 33554432000 4194304 4196468 140723371922368 139772021266896 139773709461403 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32043008 140723371930620 140723371930778 140723371930778 140723371933647 0
[pid=8869/tid=8879] ppid=8843 vsize=8068440 memory=1472 CPUtime=0.1 cores=0,2,4,6
/proc/8869/task/8879/stat : 8879 (java) S 8843 8843 4978 0 -1 1077944384 790 0 0 0 9 1 0 0 20 0 19 0 405746985 8262082560 30375 33554432000 4194304 4196468 140723371922368 139773154859248 139773709453954 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32043008 140723371930620 140723371930778 140723371930778 140723371933647 0
[pid=8869/tid=8880] ppid=8843 vsize=8068440 memory=3402460 CPUtime=0.09 cores=0,2,4,6
/proc/8869/task/8880/stat : 8880 (java) S 8843 8843 4978 0 -1 1077944384 167 0 0 0 8 1 0 0 20 0 19 0 405746985 8262082560 30375 33554432000 4194304 4196468 140723371922368 139773153806704 139773709453954 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32043008 140723371930620 140723371930778 140723371930778 140723371933647 0
[pid=8869/tid=8881] ppid=8843 vsize=8068440 memory=121500 CPUtime=0.23 cores=0,2,4,6
/proc/8869/task/8881/stat : 8881 (java) S 8843 8843 4978 0 -1 1077944384 1029 0 0 0 23 0 0 0 20 0 19 0 405746985 8262082560 30375 33554432000 4194304 4196468 140723371922368 139773152753648 139773709453954 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32043008 140723371930620 140723371930778 140723371930778 140723371933647 0
[pid=8869/tid=8882] ppid=8843 vsize=8068440 memory=928 CPUtime=0 cores=0,2,4,6
/proc/8869/task/8882/stat : 8882 (java) S 8843 8843 4978 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405746986 8262082560 30375 33554432000 4194304 4196468 140723371922368 139771523361120 139773709453013 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32043008 140723371930620 140723371930778 140723371930778 140723371933647 0
[pid=8869/tid=8883] ppid=8843 vsize=8068440 memory=3536 CPUtime=1.75 cores=0,2,4,6
/proc/8869/task/8883/stat : 8883 (java) S 8843 8843 4978 0 -1 1077944384 159 0 0 0 94 81 0 0 20 0 19 0 405746986 8262082560 30375 33554432000 4194304 4196468 140723371922368 139773151702064 139773709453954 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 30 0 0 6293624 6294260 32043008 140723371930620 140723371930778 140723371930778 140723371933647 0
[pid=8869/tid=8885] ppid=8843 vsize=8068440 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/8869/task/8885/stat : 8885 (java) S 8843 8843 4978 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 405747053 8262082560 30375 33554432000 4194304 4196468 140723371922368 139773143668544 139773709467417 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 32043008 140723371930620 140723371930778 140723371930778 140723371933647 0
[pid=8869/tid=8887] ppid=8843 vsize=8068440 memory=1472 CPUtime=0.03 cores=0,2,4,6
/proc/8869/task/8887/stat : 8887 (java) S 8843 8843 4978 0 -1 4202560 1690 0 0 0 2 1 0 0 20 0 19 0 405747053 8262082560 30375 33554432000 4194304 4196468 140723371922368 139770986475376 139773709464733 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 32043008 140723371930620 140723371930778 140723371930778 140723371933647 0
[pid=8869/tid=8888] ppid=8843 vsize=8068440 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/8869/task/8888/stat : 8888 (java) S 8843 8843 4978 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 19 0 405747053 8262082560 30375 33554432000 4194304 4196468 140723371922368 139771120696848 139773709464733 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 32043008 140723371930620 140723371930778 140723371930778 140723371933647 0
[pid=8869/tid=8889] ppid=8843 vsize=8068440 memory=121500 CPUtime=0 cores=0,2,4,6
/proc/8869/task/8889/stat : 8889 (java) S 8843 8843 4978 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 405747055 8262082560 30375 33554432000 4194304 4196468 140723371922368 139770718051632 139773709453013 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32043008 140723371930620 140723371930778 140723371930778 140723371933647 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 12015408 KiB
Current children cumulated memory: 3525432 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2462.51 s]
# the end of solver process 8843 was just reported to runsolver
# cumulated CPU time of all completed processes: user=154.145 s, system=7.34017 s
[startup+2462.82 s]
# the end of solver process 8869 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2500.71 s, system=19.7257 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+2462.8 s]
/proc/loadavg: 2.00 2.04 2.34 3/241 9234
/proc/meminfo: memFree=24558980/32770624 swapFree=66998516/67108860
[pid=8869] ppid=8840 vsize=8330588 memory=131760 CPUtime=2358.93 cores=0,2,4,6
/proc/8869/stat : 8869 (java) S 8840 8843 4978 0 -1 1077944320 23096 14785079 0 0 224 108 234432 1129 20 0 18 0 405746978 8530522112 32940 33554432000 4194304 4196468 140723371922368 140723371904912 139773709442807 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 32043008 140723371930620 140723371930778 140723371930778 140723371933647 0
/proc/8869/statm: 2082647 32940 3201 1 0 2043991 0
[pid=8869/tid=8870] ppid=8840 vsize=8330588 memory=1476 CPUtime=2356.38 cores=0,2,4,6
/proc/8869/task/8870/stat : 8870 (java) S 8840 8843 4978 0 -1 1077944384 17766 14785079 0 0 72 5 234432 1129 20 0 18 0 405746979 8530522112 32940 33554432000 4194304 4196468 140723371922368 139773681282496 139773709453013 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32043008 140723371930620 140723371930778 140723371930778 140723371933647 0
[pid=8869/tid=8871] ppid=8840 vsize=8330588 memory=119900 CPUtime=2355.61 cores=0,2,4,6
/proc/8869/task/8871/stat : 8871 (java) S 8840 8843 4978 0 -1 1077944384 1 14785079 0 0 0 0 234432 1129 20 0 18 0 405746980 8530522112 32940 33554432000 4194304 4196468 140723371922368 139773713685008 139773709453013 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32043008 140723371930620 140723371930778 140723371930778 140723371933647 0
[pid=8869/tid=8872] ppid=8840 vsize=8330588 memory=504784 CPUtime=2355.61 cores=0,2,4,6
/proc/8869/task/8872/stat : 8872 (java) S 8840 8843 4978 0 -1 1077944384 1 14785079 0 0 0 0 234432 1129 20 0 18 0 405746980 8530522112 32940 33554432000 4194304 4196468 140723371922368 139773538327184 139773709453013 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32043008 140723371930620 140723371930778 140723371930778 140723371933647 0
[pid=8869/tid=8873] ppid=8840 vsize=8330588 memory=4104 CPUtime=2355.61 cores=0,2,4,6
/proc/8869/task/8873/stat : 8873 (java) S 8840 8843 4978 0 -1 1077944384 1 14785079 0 0 0 0 234432 1129 20 0 18 0 405746980 8530522112 32940 33554432000 4194304 4196468 140723371922368 139773193386256 139773709453013 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32043008 140723371930620 140723371930778 140723371930778 140723371933647 0
[pid=8869/tid=8874] ppid=8840 vsize=8330588 memory=1656 CPUtime=2355.61 cores=0,2,4,6
/proc/8869/task/8874/stat : 8874 (java) S 8840 8843 4978 0 -1 1077944384 2 14785079 0 0 0 0 234432 1129 20 0 18 0 405746980 8530522112 32940 33554432000 4194304 4196468 140723371922368 139773192333712 139773709453013 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32043008 140723371930620 140723371930778 140723371930778 140723371933647 0
[pid=8869/tid=8875] ppid=8840 vsize=8330588 memory=8317482817917895235 CPUtime=2355.69 cores=0,2,4,6
/proc/8869/task/8875/stat : 8875 (java) S 8840 8843 4978 0 -1 1077944384 10 14785079 0 0 3 5 234432 1129 20 0 18 0 405746982 8530522112 32940 33554432000 4194304 4196468 140723371922368 139773155911936 139773709453954 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32043008 140723371930620 140723371930778 140723371930778 140723371933647 0
[pid=8869/tid=8876] ppid=8840 vsize=8330588 memory=3360 CPUtime=2355.61 cores=0,2,4,6
/proc/8869/task/8876/stat : 8876 (java) S 8840 8843 4978 0 -1 1077944384 13 14785079 0 0 0 0 234432 1129 20 0 18 0 405746982 8530522112 32940 33554432000 4194304 4196468 140723371922368 139772529993376 139773709453013 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32043008 140723371930620 140723371930778 140723371930778 140723371933647 0
[pid=8869/tid=8877] ppid=8840 vsize=8330588 memory=1476 CPUtime=2355.61 cores=0,2,4,6
/proc/8869/task/8877/stat : 8877 (java) S 8840 8843 4978 0 -1 1077944384 21 14785079 0 0 0 0 234432 1129 20 0 18 0 405746982 8530522112 32940 33554432000 4194304 4196468 140723371922368 139772395771120 139773709453013 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32043008 140723371930620 140723371930778 140723371930778 140723371933647 0
[pid=8869/tid=8878] ppid=8840 vsize=8330588 memory=119900 CPUtime=2355.61 cores=0,2,4,6
/proc/8869/task/8878/stat : 8878 (java) S 8840 8843 4978 0 -1 1077944384 32 14785079 0 0 0 0 234432 1129 20 0 18 0 405746985 8530522112 32940 33554432000 4194304 4196468 140723371922368 139772021266608 139773709453013 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32043008 140723371930620 140723371930778 140723371930778 140723371933647 0
[pid=8869/tid=8879] ppid=8840 vsize=8330588 memory=0 CPUtime=2355.71 cores=0,2,4,6
/proc/8869/task/8879/stat : 8879 (java) S 8840 8843 4978 0 -1 1077944384 790 14785079 0 0 9 1 234432 1129 20 0 18 0 405746985 8530522112 32940 33554432000 4194304 4196468 140723371922368 139773154859248 139773709453954 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32043008 140723371930620 140723371930778 140723371930778 140723371933647 0
[pid=8869/tid=8880] ppid=8840 vsize=8330588 memory=7234303152781525078 CPUtime=2355.7 cores=0,2,4,6
/proc/8869/task/8880/stat : 8880 (java) S 8840 8843 4978 0 -1 1077944384 182 14785079 0 0 8 1 234432 1129 20 0 18 0 405746985 8530522112 32940 33554432000 4194304 4196468 140723371922368 139773153797200 139773709453013 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32043008 140723371930620 140723371930778 140723371930778 140723371933647 0
[pid=8869/tid=8881] ppid=8840 vsize=8330588 memory=800 CPUtime=2355.84 cores=0,2,4,6
/proc/8869/task/8881/stat : 8881 (java) S 8840 8843 4978 0 -1 1077944384 1035 14785079 0 0 23 0 234432 1129 20 0 18 0 405746985 8530522112 32940 33554432000 4194304 4196468 140723371922368 139773152749520 139773709453013 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32043008 140723371930620 140723371930778 140723371930778 140723371933647 0
[pid=8869/tid=8882] ppid=8840 vsize=8330588 memory=1808 CPUtime=2355.61 cores=0,2,4,6
/proc/8869/task/8882/stat : 8882 (java) S 8840 8843 4978 0 -1 1077944384 3 14785079 0 0 0 0 234432 1129 20 0 18 0 405746986 8530522112 32940 33554432000 4194304 4196468 140723371922368 139771523361120 139773709453013 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32043008 140723371930620 140723371930778 140723371930778 140723371933647 0
[pid=8869/tid=8885] ppid=8840 vsize=8330588 memory=920 CPUtime=2355.61 cores=0,2,4,6
/proc/8869/task/8885/stat : 8885 (java) S 8840 8843 4978 0 -1 1077944384 26 14785079 0 0 0 0 234432 1129 20 0 18 0 405747053 8530522112 32940 33554432000 4194304 4196468 140723371922368 139773143667728 139773709453954 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32043008 140723371930620 140723371930778 140723371930778 140723371933647 0
[pid=8869/tid=8889] ppid=8840 vsize=8330588 memory=3816 CPUtime=2355.61 cores=0,2,4,6
/proc/8869/task/8889/stat : 8889 (java) S 8840 8843 4978 0 -1 1077944384 26 14785079 0 0 0 0 234432 1129 20 0 18 0 405747055 8530522112 32940 33554432000 4194304 4196468 140723371922368 139770718053424 139773709453954 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32043008 140723371930620 140723371930778 140723371930778 140723371933647 0
[pid=8869/tid=9231] ppid=8840 vsize=8330588 memory=2960 CPUtime=2355.61 cores=0,2,4,6
/proc/8869/task/9231/stat : 9231 (java) S 8840 8843 4978 0 -1 1077944384 9 14785079 0 0 0 0 234432 1129 20 0 18 0 405982597 8530522112 32940 33554432000 4194304 4196468 140723371922368 139770449616592 139773709453013 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32043008 140723371930620 140723371930778 140723371930778 140723371933647 0
[pid=8869/tid=9234] ppid=8840 vsize=8330588 memory=2408 CPUtime=2355.78 cores=0,2,4,6
/proc/8869/task/9234/stat : 9234 (java) R 8840 8843 4978 0 -1 4202560 2 14785079 0 0 0 17 234432 1129 20 0 18 0 405982598 8530522112 32940 33554432000 4194304 4196468 140723371922368 139770181182112 139773702128439 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32043008 140723371930620 140723371930778 140723371930778 140723371933647 0
Current cumulated CPU time of completed processes: 161.485 s
Current children cumulated CPU time: 2358.93 s
Current children cumulated vsize: 8330588 KiB
Current children cumulated memory: 131760 KiB
Child status: 1
Real time (s): 2462.82
CPU time (s): 2520.44
CPU user time (s): 2500.71
CPU system time (s): 19.7257
CPU usage (%): 102.339
Max. virtual memory (cumulated for all children) (KiB): 15140452
Max. memory (cumulated for all children) (KiB): 7944184
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2500.71
system time used= 19.7257
maximum resident set size= 7943908
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14880481
page faults= 0
swaps= 0
block input operations= 80
block output operations= 2570288
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 59497
involuntary context switches= 2097
# summary of solver processes directly reported to runsolver:
# pid: 8843,8869
# total CPU time (s): 2520.44
# total CPU user time (s): 2500.71
# total CPU system time (s): 19.7257
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.5384 second user time and 29.1976 second system time
The end