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-13130-serial-file.bin HOME/instance-4388358-1568298680.xml
0.65/0.54
0.65/0.54 Fun-sCOP order+glueminisat-simp-2.2.10-193oa-n-release (2019-06-15)
0.65/0.54
0.65/0.56 c BEGIN-Prog: Thu Sep 12 16:30:42 CEST 2019
0.65/0.56 c PID: 13133
0.65/0.56 c IP: 172.20.3.150
0.65/0.56 c HOST: node150.alineos.net
0.65/0.57 c (0,0) Parsing Begin
1.60/0.99 c (0,0) Parsing End
1.60/1.00 c (0,0) CSP: 256 int (0 aux), 0 bool (0 aux), 32 ctr, max domain size 26
1.60/1.00 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.60/1.00 c (0,0) Constraint Name Generate Begin
1.60/1.01 c (0,0) Ctr:HOME/instance-4388358-1568298680.xml,ExtensionSupport:Var
1.60/1.01 c (0,0) Constraint Name Generate End
1.60/1.01 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.60/1.01 c (0,0) CSP to CSPinCNF Begin
22.23/10.98 c (10,10) translated 4 (10%) constraints
30.12/17.86 c (17,16) translated 7 (20%) constraints
38.26/24.80 c (24,23) translated 10 (30%) constraints
46.66/31.84 c (31,29) translated 13 (40%) constraints
55.39/38.97 c (38,36) translated 16 (50%) constraints
70.55/50.65 c (50,47) translated 20 (60%) constraints
78.77/57.65 c (57,53) translated 23 (70%) constraints
87.91/65.72 c (65,61) translated 26 (80%) constraints
97.60/73.68 c (73,68) translated 29 (90%) constraints
105.90/81.25 c (80,76) translated 32 (100%) constraints
106.14/81.43 c (80,76) ===========================================
106.14/81.45 c (80,76) Order
106.14/81.45 c (80,76) ===========================================
109.47/84.27 c (83,79) translated 147333 (10%) constraints
113.27/87.25 c (86,82) translated 294665 (20%) constraints
116.11/90.02 c (89,84) translated 441997 (30%) constraints
118.80/92.79 c (92,87) translated 589330 (40%) constraints
122.81/95.85 c (95,90) translated 736662 (50%) constraints
125.62/98.61 c (98,93) translated 883994 (60%) constraints
128.32/101.37 c (100,95) translated 1031327 (70%) constraints
132.54/104.48 c (103,98) translated 1178659 (80%) constraints
135.34/107.23 c (106,101) translated 1325991 (90%) constraints
138.11/109.99 c (109,104) translated 1473323 (100%) constraints
138.11/109.99 c (109,104) CSP to CSPinCNF End
138.24/110.09 c (109,104) CSP: 256 int (0 aux), 264258 bool (264258 aux), 1473323 ctr, max domain size 26
138.24/110.09 c (109,104) Heap : 3682 MiB used (max 10574 MiB), NonHeap : 26 MiB used (max 0 MiB)
138.24/110.09 c (109,104) CSPinCNF Propagation Begin
153.41/120.12 c (119,112) 1250 values, 5796 unsatisfiable literals, and 7277 valid clauses are removed
153.41/120.12 c (119,112) CSPinCNF Propagation End
153.50/120.22 c (119,112) CSP: 256 int (0 aux), 264258 bool (264258 aux), 1466046 ctr, max domain size 26
153.50/120.22 c (119,112) Heap : 3590 MiB used (max 10691 MiB), NonHeap : 27 MiB used (max 0 MiB)
153.50/120.23 c (119,112) Simplify CSPinCNF Begin
158.45/123.27 c (122,115) Simplify CSPinCNF End
158.55/123.37 c (122,115) CSP: 256 int (0 aux), 264258 bool (264258 aux), 1466046 ctr, max domain size 26
158.55/123.37 c (122,115) Heap : 2697 MiB used (max 10665 MiB), NonHeap : 27 MiB used (max 0 MiB)
158.55/123.37 c (122,115) Calculate Precise Domain Begin
158.55/123.37 c (122,115) 0 values are removed by re-calculation
158.55/123.37 c (122,115) Calculate Precise Domain End
158.66/123.46 c (122,115) CSP: 256 int (0 aux), 264258 bool (264258 aux), 1466046 ctr, max domain size 26
158.66/123.46 c (122,115) Heap : 2697 MiB used (max 10665 MiB), NonHeap : 27 MiB used (max 0 MiB)
158.66/123.46 c (122,115) CSPinCNF to SatSolver Begin
162.30/125.52 c (124,117) 146605 (10 %) CSP clauses are encoded (0 SAT variables, 151559 SAT clauses)
166.26/127.48 c (126,118) 293210 (20 %) CSP clauses are encoded (0 SAT variables, 298164 SAT clauses)
167.58/128.75 c (128,120) 439814 (30 %) CSP clauses are encoded (0 SAT variables, 444768 SAT clauses)
168.90/130.02 c (129,121) 586419 (40 %) CSP clauses are encoded (0 SAT variables, 591373 SAT clauses)
171.28/131.59 c (131,122) 733023 (50 %) CSP clauses are encoded (0 SAT variables, 737977 SAT clauses)
172.58/132.86 c (132,124) 879628 (60 %) CSP clauses are encoded (0 SAT variables, 884582 SAT clauses)
174.78/134.37 c (133,125) 1026233 (70 %) CSP clauses are encoded (0 SAT variables, 1031187 SAT clauses)
176.08/135.63 c (135,126) 1172837 (80 %) CSP clauses are encoded (0 SAT variables, 1177791 SAT clauses)
177.30/137.09 c (136,127) 1319442 (90 %) CSP clauses are encoded (0 SAT variables, 1324396 SAT clauses)
179.49/138.59 c (138,129) 1466046 (100 %) CSP clauses are encoded (0 SAT variables, 1471000 SAT clauses)
179.49/138.59 c (138,129) CSPinCNF to SatSolver End
179.49/138.59 c (138,129) Heap : 3796 MiB used (max 10691 MiB), NonHeap : 29 MiB used (max 0 MiB)
179.49/138.59 c (138,129) 268219 bool, 1471001 clause
179.49/138.59 c (138,129) Export Begin
179.77/138.73 c (138,129) Export to HOME/scop-13130-serial-file.bin
179.77/138.73 c (138,129) Export End
179.77/138.73 c (138,129) Export File Size: 0.15 MB
179.77/138.73 c (138,129) 0,0,109,119,122,122,138,STOP-AFTER(DIMACS)
179.77/138.73 c END-Prog: Thu Sep 12 16:33:00 CEST 2019
179.77/138.77 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-13130-serial-file.bin
180.45/139.23 c (0,0) Read Serial File Begin
180.45/139.23 c (0,0) HOME/scop-13130-serial-file.bin
180.72/139.49 c (0,0) Read Serial File End
181.00/139.51
181.00/139.51 Fun-sCOP order+glueminisat-simp-2.2.10-193oa-n-release (2019-06-15)
181.00/139.51 (Solving Process)
181.00/139.51
181.00/139.53 c BEGIN-Prog: Thu Sep 12 16:33:01 CEST 2019
181.00/139.53 c PID: 13158
181.00/139.53 c IP: 172.20.3.150
181.00/139.53 c HOST: node150.alineos.net
181.00/139.53 c (0,0) SatSolver.solve Begin
181.00/139.53 c (0,0) HOME/glueminisat-simp-2.2.10-193oa-n-release -model -verb=3 -elim-cl=5000000 -native-oa HOME/instance-4388358-1568298680.xml-scop-13133.cnf
181.00/139.57 c (0,0) c WARNING: for repeatability, setting FPU to use double precision
181.00/139.57 c (0,0) c glueminisat-simp-2.2.10-193oa-n
181.00/139.57 c (0,0) c Command: HOME/glueminisat-simp-2.2.10-193oa-n-release -model -verb=3 -elim-cl=5000000 -native-oa HOME/instance-4388358-1568298680.xml-scop-13133.cnf
181.00/139.57 c (0,0) c Options:
181.00/139.57 c (0,0) c CORE
181.00/139.57 c (0,0) c var_decay = 0.950
181.00/139.57 c (0,0) c clause_decay = 0.999
181.00/139.57 c (0,0) c random_var_freq = 0.000
181.00/139.57 c (0,0) c random_seed = 91648253.000
181.00/139.57 c (0,0) c luby_restart = 1
181.00/139.57 c (0,0) c ccmin_mode = 2
181.00/139.57 c (0,0) c phase_saving = 2
181.00/139.57 c (0,0) c rnd_pol = 0
181.00/139.57 c (0,0) c rnd_init_act = 0
181.00/139.57 c (0,0) c garbage_frac = 0.200
181.00/139.57 c (0,0) c restart_first = 1000
181.00/139.57 c (0,0) c restart_inc = 2.000
181.00/139.57 c (0,0) c MODEL
181.00/139.57 c (0,0) c partial_model = 0
181.00/139.57 c (0,0) c PROPAGATION
181.00/139.57 c (0,0) c bin_propagation = 1
181.00/139.57 c (0,0) c SIMPLIFICATION
181.00/139.57 c (0,0) c lrn_min_size = 100
181.00/139.57 c (0,0) c lazy_simp = 1
181.00/139.57 c (0,0) c lazy_interval = 10
181.00/139.57 c (0,0) c lazy_fld_probing = 1
181.00/139.57 c (0,0) c lazy_pol_probing = 1
181.00/139.57 c (0,0) c lazy_nec_probing = 1
181.00/139.57 c (0,0) c lazy_eqv_probing = 1
181.00/139.57 c (0,0) c lazy_cla_probing = 1
181.00/139.57 c (0,0) c lazy_lrn_min = 2
181.00/139.57 c (0,0) c lazy_uw_lit_elim = 1
181.00/139.57 c (0,0) c lazy_pr_lit_elim = 0
181.00/139.57 c (0,0) c lazy_bin_add = 3
181.00/139.57 c (0,0) c probed_lit_chain = 1
181.00/139.57 c (0,0) c pr_min_lits = 0.00020
181.00/139.57 c (0,0) c pr_min_starts = 500
181.00/139.57 c (0,0) c rw_min_lits = 0.010
181.00/139.57 c (0,0) c rw_min_starts = 500
181.00/139.57 c (0,0) c rand_attach = 0
181.00/139.57 c (0,0) c dec_elim = 1
181.00/139.57 c (0,0) c dec_elim_lim = 25
181.00/139.57 c (0,0) c dec_elim_len = -1
181.00/139.57 c (0,0) c amo = 0
181.00/139.57 c (0,0) c amo_grp = 1
181.00/139.57 c (0,0) c amo_max_bins = 1000000
181.00/139.57 c (0,0) c amo_starts = 50
181.00/139.57 c (0,0) c mace_cmd = mace
181.00/139.57 c (0,0) c DECISION
181.00/139.57 c (0,0) c rand_rebuild = 0
181.00/139.57 c (0,0) c rand_rebuild_confs = 10000
181.00/139.57 c (0,0) c inc_var_decay = 1
181.00/139.57 c (0,0) c inc_var_decay_period = 100000
181.00/139.57 c (0,0) c inc_var_decay_init = 0.600
181.00/139.57 c (0,0) c var_decay_mode = 0
181.00/139.57 c (0,0) c var_decay_gain = 0
181.00/139.57 c (0,0) c sloped_var_decay = 1
181.00/139.57 c (0,0) c max_var_decay = 0.990
181.00/139.57 c (0,0) c min_var_decay = 0.950
181.00/139.57 c (0,0) c min_var_decay_vars = 10000
181.00/139.57 c (0,0) c max_var_decay_vars = 500
181.00/139.57 c (0,0) c uip_bumping = 1
181.00/139.57 c (0,0) c lbd_act_bumping = 1
181.00/139.57 c (0,0) c rand_tiebreak = 0
181.00/139.57 c (0,0) c simp_rebuild = 1
181.00/139.57 c (0,0) c RESTART
181.00/139.57 c (0,0) c restart_strategy = 2
181.00/139.57 c (0,0) c restart_blocking = 0
181.00/139.57 c (0,0) c agility_decay = 0.99990
181.00/139.57 c (0,0) c lbd_restart_rate = 0.800
181.00/139.57 c (0,0) c dec_restart_rate = 0.950
181.00/139.57 c (0,0) c blk_restart_rate = 0.700
181.00/139.57 c (0,0) c lbd_queue_size = 50
181.00/139.57 c (0,0) c dec_queue_size = 50
181.00/139.57 c (0,0) c trl_queue_size = 5000
181.00/139.57 c (0,0) c blk_restart_weight = 1.000
181.00/139.57 c (0,0) c inc_rst_rate = 0
181.00/139.57 c (0,0) c inc_rst_rate_period = 500000
181.00/139.57 c (0,0) c inc_lbd_rst_rate_init = 0.600
181.00/139.57 c (0,0) c inc_dec_rst_rate_init = 0.750
181.00/139.57 c (0,0) c REDUCTION
181.00/139.57 c (0,0) c closed_lbd = 0
181.00/139.57 c (0,0) c closed_lbd_rate = 0.500
181.00/139.57 c (0,0) c rm_simulate = 0
181.00/139.57 c (0,0) c rdb_eval = 2
181.00/139.57 c (0,0) c rdb_call = 3
181.00/139.57 c (0,0) c rdb_ub = 0.500
181.00/139.57 c (0,0) c core_lbd_cvr = 0.800
181.00/139.57 c (0,0) c supp_lbd_cvr = 0.990
181.00/139.57 c (0,0) c core_lbd_lb = 2
181.00/139.57 c (0,0) c supp_lbd_lb = 2
181.00/139.57 c (0,0) c core_lbd_prd = 7
181.00/139.57 c (0,0) c supp_lbd_prd = 1
181.00/139.57 c (0,0) c othr_lbd_prd = 0
181.00/139.57 c (0,0) c inc_lrn_limit = 1000
181.00/139.57 c (0,0) c frozen_lbd = 30
181.00/139.57 c (0,0) c simp_min_starts = 100
181.00/139.57 c (0,0) c rm_low_act_learnts = 1
181.00/139.57 c (0,0) c lv0_reduce_db = 0
181.00/139.57 c (0,0) c reduce_db_base = 20000
181.00/139.57 c (0,0) c reduce_db_inc = 1000
181.00/139.57 c (0,0) c HARD
181.00/139.57 c (0,0) c inst_check = 200000
181.00/139.57 c (0,0) c small_block = 1.750
181.00/139.57 c (0,0) c slow_restart_speed = 400.000
181.00/139.57 c (0,0) c slow_restart_strategy = 3
181.00/139.57 c (0,0) c slow_lbd_restart_rate = 0.700
181.00/139.57 c (0,0) c slow_dec_restart_rate = 1.000
181.00/139.57 c (0,0) c slow_lbd_queue_size = 50
181.00/139.57 c (0,0) c slow_var_decay = 0.950
181.00/139.57 c (0,0) c slow_glue_threshold = 2
181.00/139.57 c (0,0) c slow_phase_saving = 2
181.00/139.57 c (0,0) c fast_restart_speed = 125.000
181.00/139.57 c (0,0) c fast_restart_strategy = 1
181.00/139.57 c (0,0) c fast_lbd_restart_rate = 0.800
181.00/139.57 c (0,0) c fast_dec_restart_rate = 0.950
181.00/139.57 c (0,0) c fast_lbd_queue_size = 50
181.00/139.57 c (0,0) c fast_var_decay = 1.000
181.00/139.57 c (0,0) c fast_glue_threshold = 2
181.00/139.57 c (0,0) c fast_phase_saving = 2
181.00/139.57 c (0,0) c STATS
181.00/139.57 c (0,0) c stats_conf_size = 10000
181.00/139.57 c (0,0) c max_stats_size = 30
181.00/139.57 c (0,0) c SOLVER
181.00/139.57 c (0,0) c minisat = 0
181.77/140.18 c (1,0) c Problem: 268219 variables, 1463462 clauses, parsing 0.57 s
184.27/142.69 c (3,0) c reduced to 103155 variables, 891142 clauses (grow = 0)
186.07/144.43 c (5,0) c reduced to 78468 variables, 968112 clauses (grow = 8)
187.37/145.75 c (6,0) c reduced to 71872 variables, 1033626 clauses (grow = 16)
188.99/147.35 c (8,0) c reduced to 65803 variables, 1143644 clauses (grow = 32)
192.08/150.45 c (11,0) c reduced to 60131 variables, 1344260 clauses (grow = 64)
196.38/154.77 c (15,0) c reduced to 55491 variables, 1668477 clauses (grow = 128)
196.48/154.87 c (15,0) c exclude 501 (0.9%) variables from decision variables (last cost 25)
196.69/155.07 c (15,0) c Simplification: 213229 vars, -205015 clauses are eliminated using 14.73 s
196.69/155.07 c (15,0) c
196.69/155.07 c (15,0) c #Rstrts #Confs #Vars #Clauses #Learnts Lits/C LBD/C DLVs Trail
196.69/155.07 c (15,0) c
196.69/155.07 c (15,0) c 15 0 0 54990 1668477 0 -nan -nan -nan -nan%
196.89/155.27 c (16,0) c 15 1 100 54988 1668477 100 47.3 8.0 100.9 13.3%
196.99/155.30 c (16,0) c 15 1 220 54988 1668477 249 33.7 6.8 62.3 10.7%
196.99/155.38 c (16,0) c 15 2 364 54597 1668477 420 34.7 7.2 55.8 10.1%
197.09/155.47 c (16,0) c 15 2 536 54596 1668477 620 30.4 6.2 46.4 9.6%
197.30/155.61 c (16,0) c 16 2 743 54596 1668477 875 32.7 5.7 38.5 9.4%
197.60/155.97 c (16,0) c 16 2 991 53955 1668477 1188 34.9 5.1 32.5 9.6%
197.60/156.00 c (16,0) c 16 2 1002 37237 1668477 1199 34.7 5.1 32.3 9.6%
197.60/156.00 c (16,0) c
197.60/156.00 c (16,0) c
197.60/156.00 c (16,0) c variables : 37237 (init 268219, after simp 54990, 499 non-decs, 256 csp)
197.60/156.00 c (16,0) c clauses : 1668477 (init 1463462, after simp 1668477)
197.60/156.00 c (16,0) c restarts : 1 (501.00 confs/res, 277~725 confs, 0 blks, 0 last)
197.60/156.00 c (16,0) c conflicts : 1002 (62 /sec, 62.28% dconfs, 0.00% supp, trail 768.35w x 32.27h, jmp 3.48h)
197.60/156.00 c (16,0) c decisions : 3540 (0.6000 vdcy, 218 /sec, 0.00% bin, rs 0.000 s)
197.60/156.00 c (16,0) c propagations : 2754318 (169819 /sec, 778.06 lits/dec, 5.18% o.a.)
197.60/156.00 c (16,0) c conflict literals : 65558 (36.90% deleted; 0.29% by bin min, 0.001 s)
197.60/156.00 c (16,0) c len : 34.680 (41.09 for all, max 400, used 302)
197.60/156.00 c (16,0) c lbd : 5.112 (6.76 (5.71) for all, max 46, used 37, 2.849 stdev, 6.083 blk)
197.60/156.00 c (16,0) c amo : 0 (0 max, -nan avg, 0.000 s)
197.60/156.00 c (16,0) c simp dbs : 1 (0.003 s)
197.60/156.00 c (16,0) c reduce dbs : 0 (core-lbd 2, supp-lbd 2147483647, 0.000 s)
197.60/156.00 c (16,0) c learnts : 1199 (0 learnts removed, 0.00%)
197.60/156.00 c (16,0) c rewrite dbs : 0 (0/2 vars, 0+0 taut, 0+0 unit, 0.000 s)
197.60/156.00 c (16,0) c assigned lits : 0 (0/17 probed, 17 remains)
197.60/156.00 c (16,0) c premise updates : 0 (0.00 /lit)
197.60/156.00 c (16,0) c probed variables : 17 (0 pr, 2 eq, 0 fld, 0 pol, 0 nec, 15 cla, 0 amo)
197.60/156.00 c (16,0) c equiv variables : 2 (0 bin, 1 trn, 0 quat, 0 quin, 0 othr; 0 amo)
197.60/156.00 c (16,0) c lazy added bins : 208 (208 prop + 0 conf, 0.005s)
197.60/156.00 c (16,0) c unwatched lit elim: 281 (0.00+0.20%, 151+130 of 7539972+65558)
197.60/156.00 c (16,0) c classified type : undef
197.60/156.00 c (16,0) c progress : 46.287%
197.60/156.00 c (16,0) c
197.60/156.00 c (16,0) c [Statistics]
197.60/156.00 c (16,0) c learnts len learnts lbd lit blk size eq vars size
197.60/156.00 c (16,0) c tot 1001 1001 6769 1
197.60/156.00 c (16,0) c avg 41.134 5.717 6.083 3.000
197.60/156.00 c (16,0) c 1 10 ( 1.0%) 42 ( 4.2%) 4004 (59.2%) 0 ( 0.0%)
197.60/156.00 c (16,0) c 2 51 ( 5.1%) 272 (27.2%) 705 (10.4%) 0 ( 0.0%)
197.60/156.00 c (16,0) c 3 95 ( 9.5%) 134 (13.4%) 419 ( 6.2%) 1 (100.0%)
197.60/156.00 c (16,0) c 4 77 ( 7.7%) 92 ( 9.2%) 185 ( 2.7%) 0 ( 0.0%)
197.60/156.00 c (16,0) c 5 61 ( 6.1%) 95 ( 9.5%) 182 ( 2.7%) 0 ( 0.0%)
197.60/156.00 c (16,0) c 6 32 ( 3.2%) 72 ( 7.2%) 136 ( 2.0%) 0 ( 0.0%)
197.60/156.00 c (16,0) c 7 32 ( 3.2%) 59 ( 5.9%) 108 ( 1.6%) 0 ( 0.0%)
197.60/156.00 c (16,0) c 8 16 ( 1.6%) 44 ( 4.4%) 105 ( 1.6%) 0 ( 0.0%)
197.60/156.00 c (16,0) c 9 18 ( 1.8%) 51 ( 5.1%) 73 ( 1.1%) 0 ( 0.0%)
197.60/156.00 c (16,0) c 10 20 ( 2.0%) 24 ( 2.4%) 53 ( 0.8%) 0 ( 0.0%)
197.60/156.00 c (16,0) c 11 9 ( 0.9%) 15 ( 1.5%) 56 ( 0.8%) 0 ( 0.0%)
197.60/156.00 c (16,0) c 12 9 ( 0.9%) 15 ( 1.5%) 51 ( 0.8%) 0 ( 0.0%)
197.60/156.00 c (16,0) c 13 10 ( 1.0%) 18 ( 1.8%) 46 ( 0.7%) 0 ( 0.0%)
197.60/156.00 c (16,0) c 14 14 ( 1.4%) 9 ( 0.9%) 23 ( 0.3%) 0 ( 0.0%)
197.60/156.00 c (16,0) c 15 8 ( 0.8%) 8 ( 0.8%) 34 ( 0.5%) 0 ( 0.0%)
197.60/156.00 c (16,0) c 16 12 ( 1.2%) 5 ( 0.5%) 36 ( 0.5%) 0 ( 0.0%)
197.60/156.00 c (16,0) c 17 15 ( 1.5%) 5 ( 0.5%) 23 ( 0.3%) 0 ( 0.0%)
197.60/156.00 c (16,0) c 18 7 ( 0.7%) 5 ( 0.5%) 30 ( 0.4%) 0 ( 0.0%)
197.60/156.00 c (16,0) c 19 11 ( 1.1%) 0 ( 0.0%) 26 ( 0.4%) 0 ( 0.0%)
197.60/156.00 c (16,0) c 20 10 ( 1.0%) 6 ( 0.6%) 19 ( 0.3%) 0 ( 0.0%)
197.60/156.00 c (16,0) c 21 8 ( 0.8%) 5 ( 0.5%) 17 ( 0.3%) 0 ( 0.0%)
197.60/156.00 c (16,0) c 22 14 ( 1.4%) 4 ( 0.4%) 8 ( 0.1%) 0 ( 0.0%)
197.60/156.00 c (16,0) c 23 17 ( 1.7%) 5 ( 0.5%) 20 ( 0.3%) 0 ( 0.0%)
197.60/156.00 c (16,0) c 24 13 ( 1.3%) 3 ( 0.3%) 18 ( 0.3%) 0 ( 0.0%)
197.60/156.00 c (16,0) c 25 16 ( 1.6%) 2 ( 0.2%) 23 ( 0.3%) 0 ( 0.0%)
197.60/156.00 c (16,0) c 26 12 ( 1.2%) 2 ( 0.2%) 13 ( 0.2%) 0 ( 0.0%)
197.60/156.00 c (16,0) c 27 14 ( 1.4%) 0 ( 0.0%) 13 ( 0.2%) 0 ( 0.0%)
197.60/156.00 c (16,0) c 28 10 ( 1.0%) 1 ( 0.1%) 17 ( 0.3%) 0 ( 0.0%)
197.60/156.00 c (16,0) c 29 7 ( 0.7%) 1 ( 0.1%) 11 ( 0.2%) 0 ( 0.0%)
197.60/156.00 c (16,0) c 30 373 (37.3%) 7 ( 0.7%) 315 ( 4.7%) 0 ( 0.0%)
197.60/156.00 c (16,0) c
197.60/156.00 c (16,0) c [LBD Statistics]
197.60/156.00 c (16,0) c LBD used lbd used clause lbd unused clause lbd
197.60/156.00 c (16,0) c tot 2940 788 411
197.60/156.00 c (16,0) c avg 3.723 3.692 7.835
197.60/156.00 c (16,0) c 1 164 ( 5.6/ 5.6%) 32 ( 4.1/ 4.1%) 0 ( 0.0/ 0.0%)
197.60/156.00 c (16,0) c 2 1109 (37.7/43.3%) 424 (53.8/57.9%) 56 (13.6/13.6%)
197.60/156.00 c (16,0) c 3 671 (22.8/66.1%) 90 (11.4/69.3%) 44 (10.7/24.3%)
197.60/156.00 c (16,0) c 4 324 (11.0/77.1%) 56 ( 7.1/76.4%) 36 ( 8.8/33.1%)
197.60/156.00 c (16,0) c 5 178 ( 6.1/83.2%) 47 ( 6.0/82.4%) 48 (11.7/44.8%)
197.60/156.00 c (16,0) c 6 120 ( 4.1/87.3%) 25 ( 3.2/85.5%) 47 (11.4/56.2%)
197.60/156.00 c (16,0) c 7 116 ( 3.9/91.2%) 30 ( 3.8/89.3%) 29 ( 7.1/63.3%)
197.60/156.00 c (16,0) c 8 52 ( 1.8/93.0%) 20 ( 2.5/91.9%) 24 ( 5.8/69.1%)
197.60/156.00 c (16,0) c 9 62 ( 2.1/95.1%) 23 ( 2.9/94.8%) 28 ( 6.8/75.9%)
197.60/156.00 c (16,0) c 10 30 ( 1.0/96.1%) 7 ( 0.9/95.7%) 17 ( 4.1/80.0%)
197.60/156.00 c (16,0) c 11 27 ( 0.9/97.0%) 7 ( 0.9/96.6%) 8 ( 1.9/82.0%)
197.60/156.00 c (16,0) c 12 37 ( 1.3/98.3%) 5 ( 0.6/97.2%) 10 ( 2.4/84.4%)
197.60/156.00 c (16,0) c 13 11 ( 0.4/98.7%) 7 ( 0.9/98.1%) 11 ( 2.7/87.1%)
197.60/156.00 c (16,0) c 14 11 ( 0.4/99.0%) 4 ( 0.5/98.6%) 5 ( 1.2/88.3%)
197.60/156.00 c (16,0) c 15 8 ( 0.3/99.3%) 3 ( 0.4/99.0%) 5 ( 1.2/89.5%)
197.60/156.00 c (16,0) c 16 4 ( 0.1/99.5%) 2 ( 0.3/99.2%) 3 ( 0.7/90.3%)
197.60/156.00 c (16,0) c 17 5 ( 0.2/99.6%) 1 ( 0.1/99.4%) 4 ( 1.0/91.2%)
197.60/156.00 c (16,0) c 18 1 ( 0.0/99.7%) 0 ( 0.0/99.4%) 5 ( 1.2/92.5%)
197.60/156.00 c (16,0) c 19 1 ( 0.0/99.7%) 0 ( 0.0/99.4%) 0 ( 0.0/92.5%)
197.60/156.00 c (16,0) c 20 4 ( 0.1/99.8%) 2 ( 0.3/99.6%) 4 ( 1.0/93.4%)
197.60/156.00 c (16,0) c 21 0 ( 0.0/99.8%) 0 ( 0.0/99.6%) 5 ( 1.2/94.6%)
197.60/156.00 c (16,0) c 22 1 ( 0.0/99.9%) 1 ( 0.1/99.7%) 3 ( 0.7/95.4%)
197.60/156.00 c (16,0) c 23 0 ( 0.0/99.9%) 0 ( 0.0/99.7%) 5 ( 1.2/96.6%)
197.60/156.00 c (16,0) c 24 1 ( 0.0/99.9%) 0 ( 0.0/99.7%) 3 ( 0.7/97.3%)
197.60/156.00 c (16,0) c 25 0 ( 0.0/99.9%) 0 ( 0.0/99.7%) 2 ( 0.5/97.8%)
197.60/156.00 c (16,0) c 26 1 ( 0.0/99.9%) 1 ( 0.1/99.9%) 1 ( 0.2/98.1%)
197.60/156.00 c (16,0) c 27 1 ( 0.0/100.0%) 0 ( 0.0/99.9%) 0 ( 0.0/98.1%)
197.60/156.00 c (16,0) c 28 0 ( 0.0/100.0%) 0 ( 0.0/99.9%) 1 ( 0.2/98.3%)
197.60/156.00 c (16,0) c 29 0 ( 0.0/100.0%) 0 ( 0.0/99.9%) 1 ( 0.2/98.5%)
197.60/156.00 c (16,0) c 30 0 ( 0.0/100.0%) 0 ( 0.0/99.9%) 0 ( 0.0/98.5%)
197.60/156.00 c (16,0) c 31 0 ( 0.0/100.0%) 0 ( 0.0/99.9%) 0 ( 0.0/98.5%)
197.60/156.00 c (16,0) c 32 0 ( 0.0/100.0%) 0 ( 0.0/99.9%) 1 ( 0.2/98.8%)
197.60/156.00 c (16,0) c 33 0 ( 0.0/100.0%) 0 ( 0.0/99.9%) 1 ( 0.2/99.0%)
197.60/156.00 c (16,0) c 34 0 ( 0.0/100.0%) 0 ( 0.0/99.9%) 0 ( 0.0/99.0%)
197.60/156.00 c (16,0) c 35 0 ( 0.0/100.0%) 0 ( 0.0/99.9%) 1 ( 0.2/99.3%)
197.60/156.00 c (16,0) c 36 0 ( 0.0/100.0%) 0 ( 0.0/99.9%) 1 ( 0.2/99.5%)
197.60/156.00 c (16,0) c 37 1 ( 0.0/100.0%) 1 ( 0.1/100.0%) 0 ( 0.0/99.5%)
197.60/156.00 c (16,0) c 38 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 1 ( 0.2/99.8%)
197.60/156.00 c (16,0) c 39 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.8%)
197.60/156.00 c (16,0) c 40 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.8%)
197.60/156.00 c (16,0) c 41 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.8%)
197.60/156.00 c (16,0) c 42 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.8%)
197.60/156.00 c (16,0) c 43 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.8%)
197.60/156.00 c (16,0) c 44 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.8%)
197.60/156.00 c (16,0) c 45 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.8%)
197.60/156.00 c (16,0) c 46 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 1 ( 0.2/100.0%)
197.60/156.00 c (16,0) c
197.60/156.00 c (16,0) c Memory used : 356.00 MB
197.60/156.00 c (16,0) c CPU time : 16.219 s
197.60/156.00 c (16,0) c Real time : 16.440 s
197.60/156.00 c (16,0) c
197.60/156.00 c (16,0) s UNSATISFIABLE
197.60/156.01 c (16,0) SatSolver.solve End
197.60/156.01 c (16,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
197.72/156.01 c (16,0) Show results Begin
197.72/156.01 s UNSATISFIABLE
197.72/156.01 c (16,0) Show results End
197.72/156.01 c (16,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
197.72/156.01 c (16,0) 16,16,STOP-AFTER(ALL)
197.72/156.01 c END-Prog: Thu Sep 12 16:33:17 CEST 2019
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (5013 MiB free)
memory of node 1: 16384 MiB (13614 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4388358-1568298680/watcher-4388358-1568298680 -o /tmp/evaluation-result-4388358-1568298680/solver-4388358-1568298680 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node150-1568287240-8654 --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-4388358-1568298680.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=13130, runsolver pid=13127
Current StackSize limit: 8192 KiB
[startup+0.101961 s]*
/proc/loadavg: 1.95 2.05 2.08 4/232 13147
/proc/meminfo: memFree=19016120/32770624 swapFree=67015880/67108860
[pid=13130] ppid=13127 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/13130/stat : 13130 (scop.sh) S 13127 13130 7440 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 406140679 115843072 349 33554432000 4194304 5098028 140728965728880 140728965726136 140029665182332 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 30982144 140728965735208 140728965735536 140728965735536 140728965738445 0
/proc/13130/statm: 28282 349 296 221 0 87 0
[pid=13133] ppid=13130 vsize=15012696 memory=71144 CPUtime=0.12 cores=1,3,5,7
/proc/13133/stat : 13133 (java) S 13130 13130 7440 0 -1 1077944320 7099 0 0 0 10 2 0 0 20 0 15 0 406140679 15373000704 17786 33554432000 4194304 4196468 140720615744256 140720615726800 139915103862519 0 0 2 16800973 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 37838848 140720615748334 140720615748762 140720615748762 140720615751631 0
/proc/13133/statm: 3753174 17786 2937 1 0 3715579 0
[pid=13133/tid=13134] ppid=13130 vsize=15012696 memory=-6673890911685660454 CPUtime=0.09 cores=1,3,5,7
/proc/13133/task/13134/stat : 13134 (java) R 13130 13130 7440 0 -1 4202560 4878 0 0 0 8 1 0 0 20 0 15 0 406140680 15373000704 17786 33554432000 4194304 4196468 140720615744256 139915075657680 139915103874454 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37838848 140720615748334 140720615748762 140720615748762 140720615751631 0
[pid=13133/tid=13135] ppid=13130 vsize=15012696 memory=-3689451258167578675 CPUtime=0 cores=1,3,5,7
/proc/13133/task/13135/stat : 13135 (java) S 13130 13130 7440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 406140681 15373000704 17786 33554432000 4194304 4196468 140720615744256 139915108104720 139915103872725 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37838848 140720615748334 140720615748762 140720615748762 140720615751631 0
[pid=13133/tid=13136] ppid=13130 vsize=15012696 memory=139926020621952 CPUtime=0 cores=1,3,5,7
/proc/13133/task/13136/stat : 13136 (java) S 13130 13130 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406140681 15373000704 17786 33554432000 4194304 4196468 140720615744256 139914565020304 139915103872725 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37838848 140720615748334 140720615748762 140720615748762 140720615751631 0
[pid=13133/tid=13137] ppid=13130 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13133/task/13137/stat : 13137 (java) S 13130 13130 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406140681 15373000704 17786 33554432000 4194304 4196468 140720615744256 139914563967248 139915103872725 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37838848 140720615748334 140720615748762 140720615748762 140720615751631 0
[pid=13133/tid=13138] ppid=13130 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13133/task/13138/stat : 13138 (java) S 13130 13130 7440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 406140681 15373000704 17786 33554432000 4194304 4196468 140720615744256 139914562914704 139915103872725 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37838848 140720615748334 140720615748762 140720615748762 140720615751631 0
[pid=13133/tid=13139] ppid=13130 vsize=15012696 memory=139926020621952 CPUtime=0 cores=1,3,5,7
/proc/13133/task/13139/stat : 13139 (java) S 13130 13130 7440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 406140683 15373000704 17786 33554432000 4194304 4196468 140720615744256 139914141518576 139915103873666 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37838848 140720615748334 140720615748762 140720615748762 140720615751631 0
[pid=13133/tid=13140] ppid=13130 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13133/task/13140/stat : 13140 (java) S 13130 13130 7440 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 406140683 15373000704 17786 33554432000 4194304 4196468 140720615744256 139913727043232 139915103872725 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37838848 140720615748334 140720615748762 140720615748762 140720615751631 0
[pid=13133/tid=13141] ppid=13130 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13133/task/13141/stat : 13141 (java) S 13130 13130 7440 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 406140683 15373000704 17786 33554432000 4194304 4196468 140720615744256 139913592820976 139915103872725 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37838848 140720615748334 140720615748762 140720615748762 140720615751631 0
[pid=13133/tid=13142] ppid=13130 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13133/task/13142/stat : 13142 (java) S 13130 13130 7440 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 406140686 15373000704 17786 33554432000 4194304 4196468 140720615744256 139913218316752 139915103881115 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37838848 140720615748334 140720615748762 140720615748762 140720615751631 0
[pid=13133/tid=13143] ppid=13130 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13133/task/13143/stat : 13143 (java) S 13130 13130 7440 0 -1 1077944384 314 0 0 0 0 0 0 0 20 0 15 0 406140686 15373000704 17786 33554432000 4194304 4196468 140720615744256 139914140465392 139915103873666 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37838848 140720615748334 140720615748762 140720615748762 140720615751631 0
[pid=13133/tid=13144] ppid=13130 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13133/task/13144/stat : 13144 (java) R 13130 13130 7440 0 -1 1077944384 134 0 0 0 0 0 0 0 20 0 15 0 406140686 15373000704 17786 33554432000 4194304 4196468 140720615744256 139914139412848 139915103883866 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37838848 140720615748334 140720615748762 140720615748762 140720615751631 0
[pid=13133/tid=13145] ppid=13130 vsize=15012696 memory=139926020621952 CPUtime=0.01 cores=1,3,5,7
/proc/13133/task/13145/stat : 13145 (java) S 13130 13130 7440 0 -1 1077944384 429 0 0 0 1 0 0 0 20 0 15 0 406140686 15373000704 17852 33554432000 4194304 4196468 140720615744256 139914138359792 139915103873666 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37838848 140720615748334 140720615748762 140720615748762 140720615751631 0
[pid=13133/tid=13146] ppid=13130 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13133/task/13146/stat : 13146 (java) S 13130 13130 7440 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 406140686 15373000704 17852 33554432000 4194304 4196468 140720615744256 139912720410976 139915103872725 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37838848 140720615748334 140720615748762 140720615748762 140720615751631 0
[pid=13133/tid=13147] ppid=13130 vsize=15012696 memory=139926020621952 CPUtime=0 cores=1,3,5,7
/proc/13133/task/13147/stat : 13147 (java) S 13130 13130 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406140686 15373000704 17852 33554432000 4194304 4196468 140720615744256 139914137308208 139915103873666 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37838848 140720615748334 140720615748762 140720615748762 140720615751631 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 72540 KiB
[startup+0.211224 s]*
/proc/loadavg: 1.95 2.05 2.08 3/232 13147
/proc/meminfo: memFree=18997516/32770624 swapFree=67015880/67108860
[pid=13130] ppid=13127 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/13130/stat : 13130 (scop.sh) S 13127 13130 7440 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 406140679 115843072 349 33554432000 4194304 5098028 140728965728880 140728965726136 140029665182332 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 30982144 140728965735208 140728965735536 140728965735536 140728965738445 0
/proc/13130/statm: 28282 349 296 221 0 87 0
[pid=13133] ppid=13130 vsize=15012696 memory=86212 CPUtime=0.24 cores=1,3,5,7
/proc/13133/stat : 13133 (java) S 13130 13130 7440 0 -1 1077944320 12117 0 0 0 21 3 0 0 20 0 15 0 406140679 15373000704 21553 33554432000 4194304 4196468 140720615744256 140720615726800 139915103862519 0 0 2 16800973 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 37838848 140720615748334 140720615748762 140720615748762 140720615751631 0
/proc/13133/statm: 3753174 21553 2960 1 0 3715579 0
[pid=13133/tid=13134] ppid=13130 vsize=15012696 memory=7883960649037381690 CPUtime=0.19 cores=1,3,5,7
/proc/13133/task/13134/stat : 13134 (java) R 13130 13130 7440 0 -1 4202560 9840 0 0 0 17 2 0 0 20 0 15 0 406140680 15373000704 21553 33554432000 4194304 4196468 140720615744256 139915075646080 139915087943006 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37838848 140720615748334 140720615748762 140720615748762 140720615751631 0
[pid=13133/tid=13135] ppid=13130 vsize=15012696 memory=13574 CPUtime=0 cores=1,3,5,7
/proc/13133/task/13135/stat : 13135 (java) S 13130 13130 7440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 406140681 15373000704 21553 33554432000 4194304 4196468 140720615744256 139915108104720 139915103872725 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37838848 140720615748334 140720615748762 140720615748762 140720615751631 0
[pid=13133/tid=13136] ppid=13130 vsize=15012696 memory=288370302172333696 CPUtime=0 cores=1,3,5,7
/proc/13133/task/13136/stat : 13136 (java) S 13130 13130 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406140681 15373000704 21553 33554432000 4194304 4196468 140720615744256 139914565020304 139915103872725 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37838848 140720615748334 140720615748762 140720615748762 140720615751631 0
[pid=13133/tid=13137] ppid=13130 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13133/task/13137/stat : 13137 (java) S 13130 13130 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406140681 15373000704 21553 33554432000 4194304 4196468 140720615744256 139914563967248 139915103872725 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37838848 140720615748334 140720615748762 140720615748762 140720615751631 0
[pid=13133/tid=13138] ppid=13130 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13133/task/13138/stat : 13138 (java) S 13130 13130 7440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 406140681 15373000704 21553 33554432000 4194304 4196468 140720615744256 139914562914704 139915103872725 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37838848 140720615748334 140720615748762 140720615748762 140720615751631 0
[pid=13133/tid=13139] ppid=13130 vsize=15012696 memory=139926020621952 CPUtime=0 cores=1,3,5,7
/proc/13133/task/13139/stat : 13139 (java) S 13130 13130 7440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 406140683 15373000704 21553 33554432000 4194304 4196468 140720615744256 139914141518576 139915103873666 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37838848 140720615748334 140720615748762 140720615748762 140720615751631 0
[pid=13133/tid=13140] ppid=13130 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13133/task/13140/stat : 13140 (java) S 13130 13130 7440 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 406140683 15373000704 21553 33554432000 4194304 4196468 140720615744256 139913727043232 139915103872725 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37838848 140720615748334 140720615748762 140720615748762 140720615751631 0
[pid=13133/tid=13141] ppid=13130 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13133/task/13141/stat : 13141 (java) S 13130 13130 7440 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 406140683 15373000704 21553 33554432000 4194304 4196468 140720615744256 139913592820976 139915103872725 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37838848 140720615748334 140720615748762 140720615748762 140720615751631 0
[pid=13133/tid=13142] ppid=13130 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13133/task/13142/stat : 13142 (java) S 13130 13130 7440 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 406140686 15373000704 21553 33554432000 4194304 4196468 140720615744256 139913218316752 139915103881115 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37838848 140720615748334 140720615748762 140720615748762 140720615751631 0
[pid=13133/tid=13143] ppid=13130 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13133/task/13143/stat : 13143 (java) S 13130 13130 7440 0 -1 1077944384 348 0 0 0 0 0 0 0 20 0 15 0 406140686 15373000704 21553 33554432000 4194304 4196468 140720615744256 139914140465392 139915103873666 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37838848 140720615748334 140720615748762 140720615748762 140720615751631 0
[pid=13133/tid=13144] ppid=13130 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13133/task/13144/stat : 13144 (java) S 13130 13130 7440 0 -1 1077944384 144 0 0 0 0 0 0 0 20 0 15 0 406140686 15373000704 21553 33554432000 4194304 4196468 140720615744256 139914139412848 139915103873666 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37838848 140720615748334 140720615748762 140720615748762 140720615751631 0
[pid=13133/tid=13145] ppid=13130 vsize=15012696 memory=139926020621952 CPUtime=0.02 cores=1,3,5,7
/proc/13133/task/13145/stat : 13145 (java) S 13130 13130 7440 0 -1 1077944384 435 0 0 0 2 0 0 0 20 0 15 0 406140686 15373000704 21553 33554432000 4194304 4196468 140720615744256 139914138359792 139915103873666 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37838848 140720615748334 140720615748762 140720615748762 140720615751631 0
[pid=13133/tid=13146] ppid=13130 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13133/task/13146/stat : 13146 (java) S 13130 13130 7440 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 406140686 15373000704 21553 33554432000 4194304 4196468 140720615744256 139912720410976 139915103872725 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37838848 140720615748334 140720615748762 140720615748762 140720615751631 0
[pid=13133/tid=13147] ppid=13130 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13133/task/13147/stat : 13147 (java) S 13130 13130 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406140686 15373000704 21553 33554432000 4194304 4196468 140720615744256 139914137308208 139915103873666 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37838848 140720615748334 140720615748762 140720615748762 140720615751631 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 87608 KiB
[startup+0.310573 s]*
/proc/loadavg: 1.95 2.05 2.08 3/232 13147
/proc/meminfo: memFree=18994592/32770624 swapFree=67015880/67108860
[pid=13130] ppid=13127 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/13130/stat : 13130 (scop.sh) S 13127 13130 7440 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 406140679 115843072 349 33554432000 4194304 5098028 140728965728880 140728965726136 140029665182332 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 30982144 140728965735208 140728965735536 140728965735536 140728965738445 0
/proc/13130/statm: 28282 349 296 221 0 87 0
[pid=13133] ppid=13130 vsize=15012696 memory=90120 CPUtime=0.43 cores=1,3,5,7
/proc/13133/stat : 13133 (java) S 13130 13130 7440 0 -1 1077944320 13140 0 0 0 39 4 0 0 20 0 15 0 406140679 15373000704 22530 33554432000 4194304 4196468 140720615744256 140720615726800 139915103862519 0 0 2 16800973 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 37838848 140720615748334 140720615748762 140720615748762 140720615751631 0
/proc/13133/statm: 3753174 22530 3021 1 0 3715579 0
[pid=13133/tid=13134] ppid=13130 vsize=15012696 memory=7883960649037381690 CPUtime=0.29 cores=1,3,5,7
/proc/13133/task/13134/stat : 13134 (java) R 13130 13130 7440 0 -1 4202560 10654 0 0 0 26 3 0 0 20 0 15 0 406140680 15373000704 22530 33554432000 4194304 4196468 140720615744256 139915075665744 139915084138394 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37838848 140720615748334 140720615748762 140720615748762 140720615751631 0
[pid=13133/tid=13135] ppid=13130 vsize=15012696 memory=13917 CPUtime=0 cores=1,3,5,7
/proc/13133/task/13135/stat : 13135 (java) S 13130 13130 7440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 406140681 15373000704 22530 33554432000 4194304 4196468 140720615744256 139915108104720 139915103872725 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37838848 140720615748334 140720615748762 140720615748762 140720615751631 0
[pid=13133/tid=13136] ppid=13130 vsize=15012696 memory=288230376154652157 CPUtime=0 cores=1,3,5,7
/proc/13133/task/13136/stat : 13136 (java) S 13130 13130 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406140681 15373000704 22530 33554432000 4194304 4196468 140720615744256 139914565020304 139915103872725 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37838848 140720615748334 140720615748762 140720615748762 140720615751631 0
[pid=13133/tid=13137] ppid=13130 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13133/task/13137/stat : 13137 (java) S 13130 13130 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406140681 15373000704 22530 33554432000 4194304 4196468 140720615744256 139914563967248 139915103872725 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37838848 140720615748334 140720615748762 140720615748762 140720615751631 0
[pid=13133/tid=13138] ppid=13130 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13133/task/13138/stat : 13138 (java) S 13130 13130 7440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 406140681 15373000704 22530 33554432000 4194304 4196468 140720615744256 139914562914704 139915103872725 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37838848 140720615748334 140720615748762 140720615748762 140720615751631 0
[pid=13133/tid=13139] ppid=13130 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13133/task/13139/stat : 13139 (java) S 13130 13130 7440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 406140683 15373000704 22530 33554432000 4194304 4196468 140720615744256 139914141518576 139915103873666 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37838848 140720615748334 140720615748762 140720615748762 140720615751631 0
[pid=13133/tid=13140] ppid=13130 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13133/task/13140/stat : 13140 (java) S 13130 13130 7440 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 406140683 15373000704 22530 33554432000 4194304 4196468 140720615744256 139913727043232 139915103872725 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37838848 140720615748334 140720615748762 140720615748762 140720615751631 0
[pid=13133/tid=13141] ppid=13130 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13133/task/13141/stat : 13141 (java) S 13130 13130 7440 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 406140683 15373000704 22530 33554432000 4194304 4196468 140720615744256 139913592820976 139915103872725 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37838848 140720615748334 140720615748762 140720615748762 140720615751631 0
[pid=13133/tid=13142] ppid=13130 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13133/task/13142/stat : 13142 (java) S 13130 13130 7440 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 406140686 15373000704 22530 33554432000 4194304 4196468 140720615744256 139913218316752 139915103881115 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37838848 140720615748334 140720615748762 140720615748762 140720615751631 0
[pid=13133/tid=13143] ppid=13130 vsize=15012696 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/13133/task/13143/stat : 13143 (java) S 13130 13130 7440 0 -1 1077944384 452 0 0 0 2 0 0 0 20 0 15 0 406140686 15373000704 22530 33554432000 4194304 4196468 140720615744256 139914140465392 139915103873666 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37838848 140720615748334 140720615748762 140720615748762 140720615751631 0
[pid=13133/tid=13144] ppid=13130 vsize=15012696 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/13133/task/13144/stat : 13144 (java) S 13130 13130 7440 0 -1 1077944384 198 0 0 0 2 0 0 0 20 0 15 0 406140686 15373000704 22530 33554432000 4194304 4196468 140720615744256 139914139412848 139915103873666 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37838848 140720615748334 140720615748762 140720615748762 140720615751631 0
[pid=13133/tid=13145] ppid=13130 vsize=15012696 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/13133/task/13145/stat : 13145 (java) S 13130 13130 7440 0 -1 1077944384 484 0 0 0 7 0 0 0 20 0 15 0 406140686 15373000704 22530 33554432000 4194304 4196468 140720615744256 139914138359792 139915103873666 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37838848 140720615748334 140720615748762 140720615748762 140720615751631 0
[pid=13133/tid=13146] ppid=13130 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13133/task/13146/stat : 13146 (java) S 13130 13130 7440 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 406140686 15373000704 22530 33554432000 4194304 4196468 140720615744256 139912720410976 139915103872725 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37838848 140720615748334 140720615748762 140720615748762 140720615751631 0
[pid=13133/tid=13147] ppid=13130 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13133/task/13147/stat : 13147 (java) S 13130 13130 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406140686 15373000704 22530 33554432000 4194304 4196468 140720615744256 139914137308208 139915103873666 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37838848 140720615748334 140720615748762 140720615748762 140720615751631 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 91516 KiB
[startup+0.704182 s]
/proc/loadavg: 1.95 2.05 2.08 3/232 13147
/proc/meminfo: memFree=18973720/32770624 swapFree=67015880/67108860
[pid=13130] ppid=13127 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/13130/stat : 13130 (scop.sh) S 13127 13130 7440 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 406140679 115843072 349 33554432000 4194304 5098028 140728965728880 140728965726136 140029665182332 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 30982144 140728965735208 140728965735536 140728965735536 140728965738445 0
/proc/13130/statm: 28282 349 296 221 0 87 0
[pid=13133] ppid=13130 vsize=15021092 memory=127992 CPUtime=0.98 cores=1,3,5,7
/proc/13133/stat : 13133 (java) S 13130 13130 7440 0 -1 1077944320 20227 0 0 0 92 6 0 0 20 0 15 0 406140679 15381598208 31998 33554432000 4194304 4196468 140720615744256 140720615726800 139915103862519 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 37838848 140720615748334 140720615748762 140720615748762 140720615751631 0
/proc/13133/statm: 3755273 31998 3202 1 0 3716603 0
[pid=13133/tid=13134] ppid=13130 vsize=15021092 memory=13240 CPUtime=0.67 cores=1,3,5,7
/proc/13133/task/13134/stat : 13134 (java) R 13130 13130 7440 0 -1 4202560 17369 0 0 0 62 5 0 0 20 0 15 0 406140680 15381598208 31998 33554432000 4194304 4196468 140720615744256 139915075694288 139915103874454 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37838848 140720615748334 140720615748762 140720615748762 140720615751631 0
[pid=13133/tid=13135] ppid=13130 vsize=15021092 memory=500 CPUtime=0 cores=1,3,5,7
/proc/13133/task/13135/stat : 13135 (java) S 13130 13130 7440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 406140681 15381598208 31998 33554432000 4194304 4196468 140720615744256 139915108104720 139915103872725 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37838848 140720615748334 140720615748762 140720615748762 140720615751631 0
[pid=13133/tid=13136] ppid=13130 vsize=15021092 memory=1736 CPUtime=0 cores=1,3,5,7
/proc/13133/task/13136/stat : 13136 (java) S 13130 13130 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406140681 15381598208 31998 33554432000 4194304 4196468 140720615744256 139914565020304 139915103872725 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37838848 140720615748334 140720615748762 140720615748762 140720615751631 0
[pid=13133/tid=13137] ppid=13130 vsize=15021092 memory=1784 CPUtime=0 cores=1,3,5,7
/proc/13133/task/13137/stat : 13137 (java) S 13130 13130 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406140681 15381598208 31998 33554432000 4194304 4196468 140720615744256 139914563967248 139915103872725 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37838848 140720615748334 140720615748762 140720615748762 140720615751631 0
[pid=13133/tid=13138] ppid=13130 vsize=15021092 memory=924 CPUtime=0 cores=1,3,5,7
/proc/13133/task/13138/stat : 13138 (java) S 13130 13130 7440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 406140681 15381598208 31998 33554432000 4194304 4196468 140720615744256 139914562914704 139915103872725 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37838848 140720615748334 140720615748762 140720615748762 140720615751631 0
[pid=13133/tid=13139] ppid=13130 vsize=15021092 memory=2340 CPUtime=0 cores=1,3,5,7
/proc/13133/task/13139/stat : 13139 (java) S 13130 13130 7440 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 406140683 15381598208 31998 33554432000 4194304 4196468 140720615744256 139914141518576 139915103873666 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37838848 140720615748334 140720615748762 140720615748762 140720615751631 0
[pid=13133/tid=13140] ppid=13130 vsize=15021092 memory=2064 CPUtime=0 cores=1,3,5,7
/proc/13133/task/13140/stat : 13140 (java) S 13130 13130 7440 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 406140683 15381598208 31998 33554432000 4194304 4196468 140720615744256 139913727043232 139915103872725 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37838848 140720615748334 140720615748762 140720615748762 140720615751631 0
[pid=13133/tid=13141] ppid=13130 vsize=15021092 memory=2876 CPUtime=0 cores=1,3,5,7
/proc/13133/task/13141/stat : 13141 (java) S 13130 13130 7440 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 406140683 15381598208 31998 33554432000 4194304 4196468 140720615744256 139913592820976 139915103872725 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37838848 140720615748334 140720615748762 140720615748762 140720615751631 0
[pid=13133/tid=13142] ppid=13130 vsize=15021092 memory=1572 CPUtime=0 cores=1,3,5,7
/proc/13133/task/13142/stat : 13142 (java) S 13130 13130 7440 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 406140686 15381598208 31998 33554432000 4194304 4196468 140720615744256 139913218316752 139915103881115 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37838848 140720615748334 140720615748762 140720615748762 140720615751631 0
[pid=13133/tid=13143] ppid=13130 vsize=15021092 memory=880 CPUtime=0.07 cores=1,3,5,7
/proc/13133/task/13143/stat : 13143 (java) R 13130 13130 7440 0 -1 4202560 533 0 0 0 7 0 0 0 20 0 15 0 406140686 15381598208 31998 33554432000 4194304 4196468 140720615744256 139914140453152 139915083106536 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 37838848 140720615748334 140720615748762 140720615748762 140720615751631 0
[pid=13133/tid=13144] ppid=13130 vsize=15021092 memory=1760 CPUtime=0.07 cores=1,3,5,7
/proc/13133/task/13144/stat : 13144 (java) S 13130 13130 7440 0 -1 1077944384 422 0 0 0 7 0 0 0 20 0 15 0 406140686 15381598208 31998 33554432000 4194304 4196468 140720615744256 139914139412848 139915103873666 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37838848 140720615748334 140720615748762 140720615748762 140720615751631 0
[pid=13133/tid=13145] ppid=13130 vsize=15021092 memory=111632 CPUtime=0.14 cores=1,3,5,7
/proc/13133/task/13145/stat : 13145 (java) S 13130 13130 7440 0 -1 1077944384 546 0 0 0 14 0 0 0 20 0 15 0 406140686 15381598208 31998 33554432000 4194304 4196468 140720615744256 139914138359792 139915103873666 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37838848 140720615748334 140720615748762 140720615748762 140720615751631 0
[pid=13133/tid=13146] ppid=13130 vsize=15021092 memory=804 CPUtime=0 cores=1,3,5,7
/proc/13133/task/13146/stat : 13146 (java) S 13130 13130 7440 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 406140686 15381598208 31998 33554432000 4194304 4196468 140720615744256 139912720410976 139915103872725 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37838848 140720615748334 140720615748762 140720615748762 140720615751631 0
[pid=13133/tid=13147] ppid=13130 vsize=15021092 memory=1804 CPUtime=0 cores=1,3,5,7
/proc/13133/task/13147/stat : 13147 (java) S 13130 13130 7440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 406140686 15381598208 31998 33554432000 4194304 4196468 140720615744256 139914137308208 139915103873666 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37838848 140720615748334 140720615748762 140720615748762 140720615751631 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 15134220 KiB
Current children cumulated memory: 129388 KiB
[startup+1.50718 s]
/proc/loadavg: 1.95 2.05 2.08 5/232 13147
/proc/meminfo: memFree=18938980/32770624 swapFree=67015880/67108860
[pid=13130] ppid=13127 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/13130/stat : 13130 (scop.sh) S 13127 13130 7440 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 406140679 115843072 349 33554432000 4194304 5098028 140728965728880 140728965726136 140029665182332 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 30982144 140728965735208 140728965735536 140728965735536 140728965738445 0
/proc/13130/statm: 28282 349 296 221 0 87 0
################
# More data... #
################
/proc/13158/task/13174/stat : 13174 (java) S 13130 13130 7440 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 406154635 8262082560 30258 33554432000 4194304 4196468 140730627597056 140485651080640 140486284156697 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 20160512 140730627605499 140730627605658 140730627605658 140730627608527 0
[pid=13158/tid=13176] ppid=13130 vsize=8068440 memory=256192 CPUtime=0 cores=1,3,5,7
/proc/13158/task/13176/stat : 13176 (java) S 13130 13130 7440 0 -1 4202560 30 0 0 0 0 0 0 0 20 0 19 0 406154636 8262082560 30258 33554432000 4194304 4196468 140730627597056 140483615502384 140486284154013 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 20160512 140730627605499 140730627605658 140730627605658 140730627608527 0
[pid=13158/tid=13177] ppid=13130 vsize=8068440 memory=-7824251494390519914 CPUtime=0 cores=1,3,5,7
/proc/13158/task/13177/stat : 13177 (java) S 13130 13130 7440 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 406154636 8262082560 30258 33554432000 4194304 4196468 140730627597056 140483749723568 140486284154013 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 20160512 140730627605499 140730627605658 140730627605658 140730627608527 0
[pid=13158/tid=13178] ppid=13130 vsize=8068440 memory=1908 CPUtime=0 cores=1,3,5,7
/proc/13158/task/13178/stat : 13178 (java) S 13130 13130 7440 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 19 0 406154638 8262082560 30258 33554432000 4194304 4196468 140730627597056 140483347078064 140486284142293 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20160512 140730627605499 140730627605658 140730627605658 140730627608527 0
Current children cumulated CPU time: 195.28 s
Current children cumulated vsize: 8479712 KiB
Current children cumulated memory: 379096 KiB
[startup+155.201 s]
/proc/loadavg: 2.30 2.15 2.11 3/236 13178
/proc/meminfo: memFree=16780916/32770624 swapFree=67015880/67108860
[pid=13130] ppid=13127 vsize=113128 memory=1476 CPUtime=179.9 cores=1,3,5,7
/proc/13130/stat : 13130 (scop.sh) S 13127 13130 7440 0 -1 4202496 584 85548 0 0 0 0 17555 435 20 0 1 0 406140679 115843072 369 33554432000 4194304 5098028 140728965728880 140728965725624 140029665182332 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 30982144 140728965735208 140728965735536 140728965735536 140728965738445 0
/proc/13130/statm: 28282 369 311 221 0 87 0
[pid=13158] ppid=13130 vsize=8068440 memory=121556 CPUtime=1.36 cores=1,3,5,7
/proc/13158/stat : 13158 (java) S 13130 13130 7440 0 -1 1077944320 20920 0 0 0 127 9 0 0 20 0 19 0 406154557 8262082560 30389 33554432000 4194304 4196468 140730627597056 140730627579600 140486284132087 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 20160512 140730627605499 140730627605658 140730627605658 140730627608527 0
/proc/13158/statm: 2017110 30389 3194 1 0 1978454 0
[pid=13173] ppid=13158 vsize=284952 memory=229436 CPUtime=15.63 cores=1,3,5,7
/proc/13173/stat : 13173 (glueminisat-sim) R 13158 13130 7440 0 -1 4202496 204675 0 0 0 1542 21 0 0 20 0 1 0 406154635 291790848 57359 33554432000 4194304 4452875 140732337439936 140732337435016 140010642524377 0 4 0 8388610 0 0 0 17 5 0 0 0 0 0 6552096 6554264 29155328 140732337443679 140732337443879 140732337443879 140732337446829 0
/proc/13173/statm: 71238 57359 366 64 0 67442 0
[pid=13158/tid=13159] ppid=13130 vsize=8068440 memory=1296 CPUtime=0.81 cores=1,3,5,7
/proc/13158/task/13159/stat : 13159 (java) S 13130 13130 7440 0 -1 1077944384 17457 0 0 0 75 6 0 0 20 0 19 0 406154557 8262082560 30389 33554432000 4194304 4196468 140730627597056 140486255972256 140486284142293 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20160512 140730627605499 140730627605658 140730627605658 140730627608527 0
[pid=13158/tid=13160] ppid=13130 vsize=8068440 memory=2184 CPUtime=0 cores=1,3,5,7
/proc/13158/task/13160/stat : 13160 (java) S 13130 13130 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 406154558 8262082560 30389 33554432000 4194304 4196468 140730627597056 140486288374160 140486284142293 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20160512 140730627605499 140730627605658 140730627605658 140730627608527 0
[pid=13158/tid=13161] ppid=13130 vsize=8068440 memory=-7824251494390519914 CPUtime=0 cores=1,3,5,7
/proc/13158/task/13161/stat : 13161 (java) S 13130 13130 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 406154558 8262082560 30389 33554432000 4194304 4196468 140730627597056 140486102530320 140486284142293 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20160512 140730627605499 140730627605658 140730627605658 140730627608527 0
[pid=13158/tid=13162] ppid=13130 vsize=8068440 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/13158/task/13162/stat : 13162 (java) S 13130 13130 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 406154558 8262082560 30389 33554432000 4194304 4196468 140730627597056 140486101478032 140486284142293 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20160512 140730627605499 140730627605658 140730627605658 140730627608527 0
[pid=13158/tid=13163] ppid=13130 vsize=8068440 memory=15080 CPUtime=0 cores=1,3,5,7
/proc/13158/task/13163/stat : 13163 (java) S 13130 13130 7440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 406154558 8262082560 30389 33554432000 4194304 4196468 140730627597056 140486100425232 140486284142293 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20160512 140730627605499 140730627605658 140730627605658 140730627608527 0
[pid=13158/tid=13164] ppid=13130 vsize=8068440 memory=7892 CPUtime=0 cores=1,3,5,7
/proc/13158/task/13164/stat : 13164 (java) S 13130 13130 7440 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 19 0 406154560 8262082560 30389 33554432000 4194304 4196468 140730627597056 140485663324784 140486284143234 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20160512 140730627605499 140730627605658 140730627605658 140730627608527 0
[pid=13158/tid=13165] ppid=13130 vsize=8068440 memory=2676 CPUtime=0 cores=1,3,5,7
/proc/13158/task/13165/stat : 13165 (java) S 13130 13130 7440 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 406154560 8262082560 30389 33554432000 4194304 4196468 140730627597056 140485159019808 140486284142293 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20160512 140730627605499 140730627605658 140730627605658 140730627608527 0
[pid=13158/tid=13166] ppid=13130 vsize=8068440 memory=1844 CPUtime=0 cores=1,3,5,7
/proc/13158/task/13166/stat : 13166 (java) S 13130 13130 7440 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 406154561 8262082560 30389 33554432000 4194304 4196468 140730627597056 140485024798320 140486284142293 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20160512 140730627605499 140730627605658 140730627605658 140730627608527 0
[pid=13158/tid=13167] ppid=13130 vsize=8068440 memory=4964 CPUtime=0 cores=1,3,5,7
/proc/13158/task/13167/stat : 13167 (java) S 13130 13130 7440 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 406154563 8262082560 30389 33554432000 4194304 4196468 140730627597056 140484650293840 140486284150683 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20160512 140730627605499 140730627605658 140730627605658 140730627608527 0
[pid=13158/tid=13168] ppid=13130 vsize=8068440 memory=10092 CPUtime=0.11 cores=1,3,5,7
/proc/13158/task/13168/stat : 13168 (java) S 13130 13130 7440 0 -1 1077944384 663 0 0 0 11 0 0 0 20 0 19 0 406154563 8262082560 30389 33554432000 4194304 4196468 140730627597056 140485662271600 140486284143234 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20160512 140730627605499 140730627605658 140730627605658 140730627608527 0
[pid=13158/tid=13169] ppid=13130 vsize=8068440 memory=1908 CPUtime=0.14 cores=1,3,5,7
/proc/13158/task/13169/stat : 13169 (java) S 13130 13130 7440 0 -1 1077944384 561 0 0 0 14 0 0 0 20 0 19 0 406154563 8262082560 30389 33554432000 4194304 4196468 140730627597056 140485661218800 140486284143234 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20160512 140730627605499 140730627605658 140730627605658 140730627608527 0
[pid=13158/tid=13170] ppid=13130 vsize=8068440 memory=1360 CPUtime=0.24 cores=1,3,5,7
/proc/13158/task/13170/stat : 13170 (java) S 13130 13130 7440 0 -1 1077944384 799 0 0 0 24 0 0 0 20 0 19 0 406154563 8262082560 30389 33554432000 4194304 4196468 140730627597056 140485660166512 140486284143234 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20160512 140730627605499 140730627605658 140730627605658 140730627608527 0
[pid=13158/tid=13171] ppid=13130 vsize=8068440 memory=7416 CPUtime=0 cores=1,3,5,7
/proc/13158/task/13171/stat : 13171 (java) S 13130 13130 7440 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 406154564 8262082560 30389 33554432000 4194304 4196468 140730627597056 140484152388064 140486284142293 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20160512 140730627605499 140730627605658 140730627605658 140730627608527 0
[pid=13158/tid=13172] ppid=13130 vsize=8068440 memory=860 CPUtime=0 cores=1,3,5,7
/proc/13158/task/13172/stat : 13172 (java) S 13130 13130 7440 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 406154564 8262082560 30389 33554432000 4194304 4196468 140730627597056 140485659114416 140486284143234 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 7 0 0 6293624 6294260 20160512 140730627605499 140730627605658 140730627605658 140730627608527 0
[pid=13158/tid=13174] ppid=13130 vsize=8068440 memory=776 CPUtime=0 cores=1,3,5,7
/proc/13158/task/13174/stat : 13174 (java) S 13130 13130 7440 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 406154635 8262082560 30389 33554432000 4194304 4196468 140730627597056 140485651080640 140486284156697 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 20160512 140730627605499 140730627605658 140730627605658 140730627608527 0
[pid=13158/tid=13176] ppid=13130 vsize=8068440 memory=1612 CPUtime=0.01 cores=1,3,5,7
/proc/13158/task/13176/stat : 13176 (java) S 13130 13130 7440 0 -1 4202560 30 0 0 0 1 0 0 0 20 0 19 0 406154636 8262082560 30389 33554432000 4194304 4196468 140730627597056 140483615502384 140486284154013 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 20160512 140730627605499 140730627605658 140730627605658 140730627608527 0
[pid=13158/tid=13177] ppid=13130 vsize=8068440 memory=1224 CPUtime=0 cores=1,3,5,7
/proc/13158/task/13177/stat : 13177 (java) S 13130 13130 7440 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 406154636 8262082560 30389 33554432000 4194304 4196468 140730627597056 140483749723568 140486284154013 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 20160512 140730627605499 140730627605658 140730627605658 140730627608527 0
[pid=13158/tid=13178] ppid=13130 vsize=8068440 memory=13240 CPUtime=0 cores=1,3,5,7
/proc/13158/task/13178/stat : 13178 (java) S 13130 13130 7440 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 19 0 406154638 8262082560 30389 33554432000 4194304 4196468 140730627597056 140483347078064 140486284142293 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20160512 140730627605499 140730627605658 140730627605658 140730627608527 0
Current children cumulated CPU time: 196.89 s
Current children cumulated vsize: 8466520 KiB
Current children cumulated memory: 352468 KiB
[startup+155.601 s]
/proc/loadavg: 2.30 2.15 2.11 3/236 13178
/proc/meminfo: memFree=16780916/32770624 swapFree=67015880/67108860
[pid=13130] ppid=13127 vsize=113128 memory=1476 CPUtime=179.9 cores=1,3,5,7
/proc/13130/stat : 13130 (scop.sh) S 13127 13130 7440 0 -1 4202496 584 85548 0 0 0 0 17555 435 20 0 1 0 406140679 115843072 369 33554432000 4194304 5098028 140728965728880 140728965725624 140029665182332 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 30982144 140728965735208 140728965735536 140728965735536 140728965738445 0
/proc/13130/statm: 28282 369 311 221 0 87 0
[pid=13158] ppid=13130 vsize=8068440 memory=121556 CPUtime=1.36 cores=1,3,5,7
/proc/13158/stat : 13158 (java) S 13130 13130 7440 0 -1 1077944320 20920 0 0 0 127 9 0 0 20 0 19 0 406154557 8262082560 30389 33554432000 4194304 4196468 140730627597056 140730627579600 140486284132087 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 20160512 140730627605499 140730627605658 140730627605658 140730627608527 0
/proc/13158/statm: 2017110 30389 3194 1 0 1978454 0
[pid=13173] ppid=13158 vsize=284952 memory=229464 CPUtime=16.04 cores=1,3,5,7
/proc/13173/stat : 13173 (glueminisat-sim) R 13158 13130 7440 0 -1 4202496 205012 0 0 0 1582 22 0 0 20 0 1 0 406154635 291790848 57366 33554432000 4194304 4452875 140732337439936 140732337435016 140010642915207 0 4 0 8388610 0 0 0 17 5 0 0 0 0 0 6552096 6554264 29155328 140732337443679 140732337443879 140732337443879 140732337446829 0
/proc/13173/statm: 71238 57366 373 64 0 67442 0
[pid=13158/tid=13159] ppid=13130 vsize=8068440 memory=-7824251494390519914 CPUtime=0.81 cores=1,3,5,7
/proc/13158/task/13159/stat : 13159 (java) S 13130 13130 7440 0 -1 1077944384 17457 0 0 0 75 6 0 0 20 0 19 0 406154557 8262082560 30389 33554432000 4194304 4196468 140730627597056 140486255972256 140486284142293 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20160512 140730627605499 140730627605658 140730627605658 140730627608527 0
[pid=13158/tid=13160] ppid=13130 vsize=8068440 memory=4120 CPUtime=0 cores=1,3,5,7
/proc/13158/task/13160/stat : 13160 (java) S 13130 13130 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 406154558 8262082560 30389 33554432000 4194304 4196468 140730627597056 140486288374160 140486284142293 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20160512 140730627605499 140730627605658 140730627605658 140730627608527 0
[pid=13158/tid=13161] ppid=13130 vsize=8068440 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/13158/task/13161/stat : 13161 (java) S 13130 13130 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 406154558 8262082560 30389 33554432000 4194304 4196468 140730627597056 140486102530320 140486284142293 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20160512 140730627605499 140730627605658 140730627605658 140730627608527 0
[pid=13158/tid=13162] ppid=13130 vsize=8068440 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/13158/task/13162/stat : 13162 (java) S 13130 13130 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 406154558 8262082560 30389 33554432000 4194304 4196468 140730627597056 140486101478032 140486284142293 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20160512 140730627605499 140730627605658 140730627605658 140730627608527 0
[pid=13158/tid=13163] ppid=13130 vsize=8068440 memory=5524436 CPUtime=0 cores=1,3,5,7
/proc/13158/task/13163/stat : 13163 (java) S 13130 13130 7440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 406154558 8262082560 30389 33554432000 4194304 4196468 140730627597056 140486100425232 140486284142293 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20160512 140730627605499 140730627605658 140730627605658 140730627608527 0
[pid=13158/tid=13164] ppid=13130 vsize=8068440 memory=7416 CPUtime=0 cores=1,3,5,7
/proc/13158/task/13164/stat : 13164 (java) S 13130 13130 7440 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 19 0 406154560 8262082560 30389 33554432000 4194304 4196468 140730627597056 140485663324784 140486284143234 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20160512 140730627605499 140730627605658 140730627605658 140730627608527 0
[pid=13158/tid=13165] ppid=13130 vsize=8068440 memory=1476 CPUtime=0 cores=1,3,5,7
/proc/13158/task/13165/stat : 13165 (java) S 13130 13130 7440 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 406154560 8262082560 30389 33554432000 4194304 4196468 140730627597056 140485159019808 140486284142293 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20160512 140730627605499 140730627605658 140730627605658 140730627608527 0
[pid=13158/tid=13166] ppid=13130 vsize=8068440 memory=121032 CPUtime=0 cores=1,3,5,7
/proc/13158/task/13166/stat : 13166 (java) S 13130 13130 7440 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 406154561 8262082560 30389 33554432000 4194304 4196468 140730627597056 140485024798320 140486284142293 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20160512 140730627605499 140730627605658 140730627605658 140730627608527 0
[pid=13158/tid=13167] ppid=13130 vsize=8068440 memory=256616 CPUtime=0 cores=1,3,5,7
/proc/13158/task/13167/stat : 13167 (java) S 13130 13130 7440 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 406154563 8262082560 30389 33554432000 4194304 4196468 140730627597056 140484650293840 140486284150683 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20160512 140730627605499 140730627605658 140730627605658 140730627608527 0
[pid=13158/tid=13168] ppid=13130 vsize=8068440 memory=1760 CPUtime=0.11 cores=1,3,5,7
/proc/13158/task/13168/stat : 13168 (java) S 13130 13130 7440 0 -1 1077944384 663 0 0 0 11 0 0 0 20 0 19 0 406154563 8262082560 30389 33554432000 4194304 4196468 140730627597056 140485662271600 140486284143234 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20160512 140730627605499 140730627605658 140730627605658 140730627608527 0
[pid=13158/tid=13169] ppid=13130 vsize=8068440 memory=111632 CPUtime=0.14 cores=1,3,5,7
/proc/13158/task/13169/stat : 13169 (java) S 13130 13130 7440 0 -1 1077944384 561 0 0 0 14 0 0 0 20 0 19 0 406154563 8262082560 30389 33554432000 4194304 4196468 140730627597056 140485661218800 140486284143234 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20160512 140730627605499 140730627605658 140730627605658 140730627608527 0
[pid=13158/tid=13170] ppid=13130 vsize=8068440 memory=804 CPUtime=0.24 cores=1,3,5,7
/proc/13158/task/13170/stat : 13170 (java) S 13130 13130 7440 0 -1 1077944384 799 0 0 0 24 0 0 0 20 0 19 0 406154563 8262082560 30389 33554432000 4194304 4196468 140730627597056 140485660166512 140486284143234 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20160512 140730627605499 140730627605658 140730627605658 140730627608527 0
[pid=13158/tid=13171] ppid=13130 vsize=8068440 memory=1804 CPUtime=0 cores=1,3,5,7
/proc/13158/task/13171/stat : 13171 (java) S 13130 13130 7440 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 406154564 8262082560 30389 33554432000 4194304 4196468 140730627597056 140484152388064 140486284142293 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20160512 140730627605499 140730627605658 140730627605658 140730627608527 0
[pid=13158/tid=13172] ppid=13130 vsize=8068440 memory=920 CPUtime=0 cores=1,3,5,7
/proc/13158/task/13172/stat : 13172 (java) S 13130 13130 7440 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 406154564 8262082560 30389 33554432000 4194304 4196468 140730627597056 140485659114416 140486284143234 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 7 0 0 6293624 6294260 20160512 140730627605499 140730627605658 140730627605658 140730627608527 0
[pid=13158/tid=13174] ppid=13130 vsize=8068440 memory=1412 CPUtime=0 cores=1,3,5,7
/proc/13158/task/13174/stat : 13174 (java) S 13130 13130 7440 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 406154635 8262082560 30389 33554432000 4194304 4196468 140730627597056 140485651080640 140486284156697 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 20160512 140730627605499 140730627605658 140730627605658 140730627608527 0
[pid=13158/tid=13176] ppid=13130 vsize=8068440 memory=3176 CPUtime=0.01 cores=1,3,5,7
/proc/13158/task/13176/stat : 13176 (java) S 13130 13130 7440 0 -1 4202560 30 0 0 0 1 0 0 0 20 0 19 0 406154636 8262082560 30389 33554432000 4194304 4196468 140730627597056 140483615502384 140486284154013 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 20160512 140730627605499 140730627605658 140730627605658 140730627608527 0
[pid=13158/tid=13177] ppid=13130 vsize=8068440 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/13158/task/13177/stat : 13177 (java) S 13130 13130 7440 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 406154636 8262082560 30389 33554432000 4194304 4196468 140730627597056 140483749723568 140486284154013 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 20160512 140730627605499 140730627605658 140730627605658 140730627608527 0
[pid=13158/tid=13178] ppid=13130 vsize=8068440 memory=6934684 CPUtime=0 cores=1,3,5,7
/proc/13158/task/13178/stat : 13178 (java) S 13130 13130 7440 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 19 0 406154638 8262082560 30389 33554432000 4194304 4196468 140730627597056 140483347078064 140486284142293 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20160512 140730627605499 140730627605658 140730627605658 140730627608527 0
Current children cumulated CPU time: 197.3 s
Current children cumulated vsize: 8466520 KiB
Current children cumulated memory: 352496 KiB
[startup+156.005 s]*
/proc/loadavg: 2.28 2.14 2.11 5/236 13178
/proc/meminfo: memFree=16891956/32770624 swapFree=67015880/67108860
[pid=13130] ppid=13127 vsize=113128 memory=1476 CPUtime=179.9 cores=1,3,5,7
/proc/13130/stat : 13130 (scop.sh) S 13127 13130 7440 0 -1 4202496 584 85548 0 0 0 0 17555 435 20 0 1 0 406140679 115843072 369 33554432000 4194304 5098028 140728965728880 140728965725624 140029665182332 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 30982144 140728965735208 140728965735536 140728965735536 140728965738445 0
/proc/13130/statm: 28282 369 311 221 0 87 0
[pid=13158] ppid=13130 vsize=7937364 memory=123868 CPUtime=17.82 cores=1,3,5,7
/proc/13158/stat : 13158 (java) S 13130 13130 7440 0 -1 1077944320 20955 205121 0 0 128 9 1622 23 20 0 17 0 406154557 8127860736 30967 33554432000 4194304 4196468 140730627597056 140730627579600 140486284132087 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 20160512 140730627605499 140730627605658 140730627605658 140730627608527 0
/proc/13158/statm: 1984341 30967 3194 1 0 1945685 0
[pid=13158/tid=13159] ppid=13130 vsize=7937364 memory=1396 CPUtime=17.26 cores=1,3,5,7
/proc/13158/task/13159/stat : 13159 (java) R 13130 13130 7440 0 -1 4202560 17457 205121 0 0 75 6 1622 23 20 0 17 0 406154557 8127860736 30967 33554432000 4194304 4196468 140730627597056 140486255972256 140486284154013 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20160512 140730627605499 140730627605658 140730627605658 140730627608527 0
[pid=13158/tid=13160] ppid=13130 vsize=7937364 memory=6854812 CPUtime=16.45 cores=1,3,5,7
/proc/13158/task/13160/stat : 13160 (java) S 13130 13130 7440 0 -1 1077944384 1 205121 0 0 0 0 1622 23 20 0 17 0 406154558 8127860736 30967 33554432000 4194304 4196468 140730627597056 140486288374160 140486284142293 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20160512 140730627605499 140730627605658 140730627605658 140730627608527 0
[pid=13158/tid=13161] ppid=13130 vsize=7937364 memory=1412 CPUtime=16.45 cores=1,3,5,7
/proc/13158/task/13161/stat : 13161 (java) S 13130 13130 7440 0 -1 1077944384 1 205121 0 0 0 0 1622 23 20 0 17 0 406154558 8127860736 30967 33554432000 4194304 4196468 140730627597056 140486102530320 140486284142293 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20160512 140730627605499 140730627605658 140730627605658 140730627608527 0
[pid=13158/tid=13162] ppid=13130 vsize=7937364 memory=4872558044660077418 CPUtime=16.45 cores=1,3,5,7
/proc/13158/task/13162/stat : 13162 (java) S 13130 13130 7440 0 -1 1077944384 1 205121 0 0 0 0 1622 23 20 0 17 0 406154558 8127860736 30967 33554432000 4194304 4196468 140730627597056 140486101478032 140486284142293 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20160512 140730627605499 140730627605658 140730627605658 140730627608527 0
[pid=13158/tid=13163] ppid=13130 vsize=7937364 memory=139930034504261 CPUtime=16.45 cores=1,3,5,7
/proc/13158/task/13163/stat : 13163 (java) S 13130 13130 7440 0 -1 1077944384 2 205121 0 0 0 0 1622 23 20 0 17 0 406154558 8127860736 30967 33554432000 4194304 4196468 140730627597056 140486100425232 140486284142293 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20160512 140730627605499 140730627605658 140730627605658 140730627608527 0
[pid=13158/tid=13164] ppid=13130 vsize=7937364 memory=139930034504271 CPUtime=16.45 cores=1,3,5,7
/proc/13158/task/13164/stat : 13164 (java) S 13130 13130 7440 0 -1 1077944384 7 205121 0 0 0 0 1622 23 20 0 17 0 406154560 8127860736 30967 33554432000 4194304 4196468 140730627597056 140485663324784 140486284143234 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20160512 140730627605499 140730627605658 140730627605658 140730627608527 0
[pid=13158/tid=13165] ppid=13130 vsize=7937364 memory=139930034504274 CPUtime=16.45 cores=1,3,5,7
/proc/13158/task/13165/stat : 13165 (java) S 13130 13130 7440 0 -1 1077944384 13 205121 0 0 0 0 1622 23 20 0 17 0 406154560 8127860736 30967 33554432000 4194304 4196468 140730627597056 140485159019808 140486284142293 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20160512 140730627605499 140730627605658 140730627605658 140730627608527 0
[pid=13158/tid=13166] ppid=13130 vsize=7937364 memory=139930034504275 CPUtime=16.45 cores=1,3,5,7
/proc/13158/task/13166/stat : 13166 (java) S 13130 13130 7440 0 -1 1077944384 21 205121 0 0 0 0 1622 23 20 0 17 0 406154561 8127860736 30967 33554432000 4194304 4196468 140730627597056 140485024798320 140486284142293 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20160512 140730627605499 140730627605658 140730627605658 140730627608527 0
[pid=13158/tid=13167] ppid=13130 vsize=7937364 memory=139930034504277 CPUtime=16.45 cores=1,3,5,7
/proc/13158/task/13167/stat : 13167 (java) S 13130 13130 7440 0 -1 1077944384 3 205121 0 0 0 0 1622 23 20 0 17 0 406154563 8127860736 30967 33554432000 4194304 4196468 140730627597056 140484650293840 140486284150683 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20160512 140730627605499 140730627605658 140730627605658 140730627608527 0
[pid=13158/tid=13168] ppid=13130 vsize=7937364 memory=139930034504281 CPUtime=16.56 cores=1,3,5,7
/proc/13158/task/13168/stat : 13168 (java) S 13130 13130 7440 0 -1 1077944384 663 205121 0 0 11 0 1622 23 20 0 17 0 406154563 8127860736 30967 33554432000 4194304 4196468 140730627597056 140485662271600 140486284143234 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20160512 140730627605499 140730627605658 140730627605658 140730627608527 0
[pid=13158/tid=13169] ppid=13130 vsize=7937364 memory=3176 CPUtime=16.59 cores=1,3,5,7
/proc/13158/task/13169/stat : 13169 (java) S 13130 13130 7440 0 -1 1077944384 561 205121 0 0 14 0 1622 23 20 0 17 0 406154563 8127860736 30967 33554432000 4194304 4196468 140730627597056 140485661218800 140486284143234 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20160512 140730627605499 140730627605658 140730627605658 140730627608527 0
[pid=13158/tid=13170] ppid=13130 vsize=7937364 memory=1396 CPUtime=16.69 cores=1,3,5,7
/proc/13158/task/13170/stat : 13170 (java) S 13130 13130 7440 0 -1 1077944384 820 205121 0 0 24 0 1622 23 20 0 17 0 406154563 8127860736 30967 33554432000 4194304 4196468 140730627597056 140485660166512 140486284143234 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20160512 140730627605499 140730627605658 140730627605658 140730627608527 0
[pid=13158/tid=13171] ppid=13130 vsize=7937364 memory=6973596 CPUtime=16.45 cores=1,3,5,7
/proc/13158/task/13171/stat : 13171 (java) S 13130 13130 7440 0 -1 1077944384 3 205121 0 0 0 0 1622 23 20 0 17 0 406154564 8127860736 30967 33554432000 4194304 4196468 140730627597056 140484152388064 140486284142293 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20160512 140730627605499 140730627605658 140730627605658 140730627608527 0
[pid=13158/tid=13172] ppid=13130 vsize=7937364 memory=1412 CPUtime=16.45 cores=1,3,5,7
/proc/13158/task/13172/stat : 13172 (java) S 13130 13130 7440 0 -1 1077944384 3 205121 0 0 0 0 1622 23 20 0 17 0 406154564 8127860736 30967 33554432000 4194304 4196468 140730627597056 140485659114416 140486284143234 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 7 0 0 6293624 6294260 20160512 140730627605499 140730627605658 140730627605658 140730627608527 0
[pid=13158/tid=13174] ppid=13130 vsize=7937364 memory=3220 CPUtime=16.45 cores=1,3,5,7
/proc/13158/task/13174/stat : 13174 (java) S 13130 13130 7440 0 -1 1077944384 24 205121 0 0 0 0 1622 23 20 0 17 0 406154635 8127860736 30967 33554432000 4194304 4196468 140730627597056 140485651079824 140486284143234 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20160512 140730627605499 140730627605658 140730627605658 140730627608527 0
[pid=13158/tid=13178] ppid=13130 vsize=7937364 memory=1476 CPUtime=16.45 cores=1,3,5,7
/proc/13158/task/13178/stat : 13178 (java) S 13130 13130 7440 0 -1 1077944384 14 205121 0 0 0 0 1622 23 20 0 17 0 406154638 8127860736 30967 33554432000 4194304 4196468 140730627597056 140483347079856 140486284143234 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20160512 140730627605499 140730627605658 140730627605658 140730627608527 0
Current children cumulated CPU time: 197.72 s
Current children cumulated vsize: 8050492 KiB
Current children cumulated memory: 125344 KiB
Child status: 0
Real time (s): 156.03
CPU time (s): 197.764
CPU user time (s): 193.071
CPU system time (s): 4.69313
CPU usage (%): 126.748
Max. virtual memory (cumulated for all children) (KiB): 15142500
Max. memory (cumulated for all children) (KiB): 6751604
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 193.071
system time used= 4.69313
maximum resident set size= 6750624
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 312264
page faults= 0
swaps= 0
block input operations= 0
block output operations= 71368
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 10267
involuntary context switches= 577
# summary of solver processes directly reported to runsolver:
# pid: 13130
# total CPU time (s): 197.764
# total CPU user time (s): 193.071
# total CPU system time (s): 4.69313
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.07882 second user time and 1.60449 second system time
The end