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-11731-serial-file.bin HOME/instance-4387866-1568291742.xml
0.66/0.52
0.66/0.52 Fun-sCOP order+glueminisat-simp-2.2.10-193oa-n-release (2019-06-15)
0.66/0.52
0.66/0.55 c BEGIN-Prog: Thu Sep 12 14:35:02 CEST 2019
0.66/0.55 c PID: 11734
0.66/0.55 c IP: 172.20.3.137
0.66/0.55 c HOST: node137.alineos.net
0.66/0.56 c (0,0) Parsing Begin
116.10/89.55 c (89,82) Parsing End
116.10/89.56 c (89,82) CSP: 1000 int (0 aux), 0 bool (0 aux), 1998000 ctr, max domain size 999
116.10/89.56 c (89,82) Heap : 3177 MiB used (max 10757 MiB), NonHeap : 24 MiB used (max 0 MiB)
116.10/89.56 c (89,82) Constraint Name Generate Begin
121.29/94.55 c (94,87) Ctr:HOME/instance-4387866-1568291742.xml,Eq:Imp:Le:Num:Var
121.29/94.55 c (94,87) Constraint Name Generate End
121.29/94.55 c (94,87) Heap : 4562 MiB used (max 10757 MiB), NonHeap : 24 MiB used (max 0 MiB)
121.29/94.56 c (94,87) CSP to CSPinCNF Begin
133.00/102.00 c (101,93) translated 199800 (10%) constraints
138.99/107.86 c (107,99) translated 399600 (20%) constraints
148.31/114.59 c (114,105) translated 599400 (30%) constraints
155.41/120.75 c (120,111) translated 799200 (40%) constraints
161.33/126.60 c (126,117) translated 999000 (50%) constraints
168.75/132.88 c (132,123) translated 1198800 (60%) constraints
174.66/138.79 c (138,129) translated 1398600 (70%) constraints
181.97/145.06 c (144,135) translated 1598400 (80%) constraints
187.87/150.99 c (150,141) translated 1798200 (90%) constraints
195.59/157.35 c (156,147) translated 1998000 (100%) constraints
195.59/157.35 c (156,147) ===========================================
195.59/157.35 c (156,147) Order
195.59/157.35 c (156,147) ===========================================
199.18/160.38 c (159,150) translated 199800 (10%) constraints
202.19/163.38 c (162,153) translated 399600 (20%) constraints
206.92/166.74 c (166,155) translated 599400 (30%) constraints
209.82/169.67 c (169,158) translated 799200 (40%) constraints
212.72/172.60 c (172,161) translated 999000 (50%) constraints
230.44/186.71 c (186,175) translated 1198800 (60%) constraints
247.55/200.78 c (200,188) translated 1398600 (70%) constraints
262.45/214.09 c (213,200) translated 1598400 (80%) constraints
280.10/228.51 c (227,214) translated 1798200 (90%) constraints
297.46/242.46 c (241,227) translated 1998000 (100%) constraints
297.46/242.47 c (241,227) CSP to CSPinCNF End
297.77/242.72 c (242,227) CSP: 1000 int (0 aux), 999000 bool (999000 aux), 3996000 ctr, max domain size 999
297.77/242.72 c (242,227) Heap : 7297 MiB used (max 10826 MiB), NonHeap : 27 MiB used (max 0 MiB)
297.77/242.72 c (242,227) CSPinCNF Propagation Begin
971.35/828.11 c (827,783) 1722360 values, 2597771 unsatisfiable literals, and 3564861 valid clauses are removed
971.35/828.11 c (827,783) CSPinCNF Propagation End
971.64/828.47 c (827,783) CSP: 986 int (0 aux), 999014 bool (999000 aux), 431139 ctr, max domain size 790
971.64/828.47 c (827,783) Heap : 8357 MiB used (max 10853 MiB), NonHeap : 25 MiB used (max 0 MiB)
971.74/828.52 c (827,783) Simplify CSPinCNF Begin
972.69/829.26 c (828,784) Simplify CSPinCNF End
973.08/829.62 c (829,784) CSP: 986 int (0 aux), 999014 bool (999000 aux), 431139 ctr, max domain size 790
973.08/829.62 c (829,784) Heap : 8768 MiB used (max 10853 MiB), NonHeap : 26 MiB used (max 0 MiB)
973.08/829.62 c (829,784) Calculate Precise Domain Begin
973.08/829.62 c (829,784) 0 values are removed by re-calculation
973.08/829.62 c (829,784) Calculate Precise Domain End
973.39/829.97 c (829,785) CSP: 986 int (0 aux), 999014 bool (999000 aux), 431139 ctr, max domain size 790
973.39/829.97 c (829,785) Heap : 8768 MiB used (max 10853 MiB), NonHeap : 26 MiB used (max 0 MiB)
973.39/829.97 c (829,785) CSPinCNF to SatSolver Begin
980.61/832.72 c (832,786) 43114 (10 %) CSP clauses are encoded (0 SAT variables, 179014 SAT clauses)
980.86/833.00 c (832,787) 86228 (20 %) CSP clauses are encoded (0 SAT variables, 222128 SAT clauses)
981.16/833.27 c (832,787) 129342 (30 %) CSP clauses are encoded (0 SAT variables, 265242 SAT clauses)
981.46/833.54 c (833,787) 172456 (40 %) CSP clauses are encoded (0 SAT variables, 308356 SAT clauses)
981.76/833.86 c (833,787) 215570 (50 %) CSP clauses are encoded (0 SAT variables, 351470 SAT clauses)
982.01/834.13 c (833,788) 258684 (60 %) CSP clauses are encoded (0 SAT variables, 394584 SAT clauses)
982.30/834.40 c (833,788) 301798 (70 %) CSP clauses are encoded (0 SAT variables, 437698 SAT clauses)
986.46/835.66 c (835,788) 344912 (80 %) CSP clauses are encoded (0 SAT variables, 480812 SAT clauses)
986.76/835.92 c (835,789) 388026 (90 %) CSP clauses are encoded (0 SAT variables, 523926 SAT clauses)
986.97/836.19 c (835,789) 431139 (100 %) CSP clauses are encoded (0 SAT variables, 567039 SAT clauses)
986.97/836.19 c (835,789) CSPinCNF to SatSolver End
986.97/836.19 c (835,789) Heap : 7073 MiB used (max 10752 MiB), NonHeap : 28 MiB used (max 0 MiB)
986.97/836.19 c (835,789) 274640 bool, 567040 clause
986.97/836.19 c (835,789) Export Begin
987.28/836.33 c (835,789) Export to HOME/scop-11731-serial-file.bin
987.28/836.33 c (835,789) Export End
987.28/836.34 c (835,789) Export File Size: 0.16 MB
987.28/836.34 c (835,789) 89,94,242,827,829,829,835,STOP-AFTER(DIMACS)
987.28/836.34 c END-Prog: Thu Sep 12 14:48:58 CEST 2019
0.00/836.41 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-11731-serial-file.bin
987.47/836.86 c (0,0) Read Serial File Begin
987.47/836.86 c (0,0) HOME/scop-11731-serial-file.bin
988.54/837.13 c (0,0) Read Serial File End
988.54/837.14
988.54/837.14 Fun-sCOP order+glueminisat-simp-2.2.10-193oa-n-release (2019-06-15)
988.54/837.14 (Solving Process)
988.54/837.14
988.54/837.16 c BEGIN-Prog: Thu Sep 12 14:48:59 CEST 2019
988.54/837.16 c PID: 11940
988.54/837.16 c IP: 172.20.3.137
988.54/837.16 c HOST: node137.alineos.net
988.54/837.16 c (0,0) SatSolver.solve Begin
988.54/837.16 c (0,0) HOME/glueminisat-simp-2.2.10-193oa-n-release -model -verb=3 -elim-cl=5000000 -native-oa HOME/instance-4387866-1568291742.xml-scop-11734.cnf
988.54/837.19 c (0,0) c WARNING: for repeatability, setting FPU to use double precision
988.54/837.19 c (0,0) c glueminisat-simp-2.2.10-193oa-n
988.54/837.19 c (0,0) c Command: HOME/glueminisat-simp-2.2.10-193oa-n-release -model -verb=3 -elim-cl=5000000 -native-oa HOME/instance-4387866-1568291742.xml-scop-11734.cnf
988.54/837.19 c (0,0) c Options:
988.54/837.19 c (0,0) c CORE
988.54/837.19 c (0,0) c var_decay = 0.950
988.54/837.19 c (0,0) c clause_decay = 0.999
988.54/837.19 c (0,0) c random_var_freq = 0.000
988.54/837.19 c (0,0) c random_seed = 91648253.000
988.54/837.19 c (0,0) c luby_restart = 1
988.54/837.19 c (0,0) c ccmin_mode = 2
988.54/837.19 c (0,0) c phase_saving = 2
988.54/837.19 c (0,0) c rnd_pol = 0
988.54/837.19 c (0,0) c rnd_init_act = 0
988.54/837.19 c (0,0) c garbage_frac = 0.200
988.54/837.19 c (0,0) c restart_first = 1000
988.54/837.19 c (0,0) c restart_inc = 2.000
988.54/837.19 c (0,0) c MODEL
988.54/837.19 c (0,0) c partial_model = 0
988.54/837.19 c (0,0) c PROPAGATION
988.54/837.19 c (0,0) c bin_propagation = 1
988.54/837.19 c (0,0) c SIMPLIFICATION
988.54/837.19 c (0,0) c lrn_min_size = 100
988.54/837.19 c (0,0) c lazy_simp = 1
988.54/837.19 c (0,0) c lazy_interval = 10
988.54/837.19 c (0,0) c lazy_fld_probing = 1
988.54/837.19 c (0,0) c lazy_pol_probing = 1
988.54/837.19 c (0,0) c lazy_nec_probing = 1
988.54/837.19 c (0,0) c lazy_eqv_probing = 1
988.54/837.19 c (0,0) c lazy_cla_probing = 1
988.54/837.19 c (0,0) c lazy_lrn_min = 2
988.54/837.19 c (0,0) c lazy_uw_lit_elim = 1
988.54/837.19 c (0,0) c lazy_pr_lit_elim = 0
988.54/837.19 c (0,0) c lazy_bin_add = 3
988.54/837.19 c (0,0) c probed_lit_chain = 1
988.54/837.19 c (0,0) c pr_min_lits = 0.00020
988.54/837.19 c (0,0) c pr_min_starts = 500
988.54/837.19 c (0,0) c rw_min_lits = 0.010
988.54/837.19 c (0,0) c rw_min_starts = 500
988.54/837.19 c (0,0) c rand_attach = 0
988.54/837.19 c (0,0) c dec_elim = 1
988.54/837.19 c (0,0) c dec_elim_lim = 25
988.54/837.19 c (0,0) c dec_elim_len = -1
988.54/837.19 c (0,0) c amo = 0
988.54/837.19 c (0,0) c amo_grp = 1
988.54/837.19 c (0,0) c amo_max_bins = 1000000
988.54/837.19 c (0,0) c amo_starts = 50
988.54/837.19 c (0,0) c mace_cmd = mace
988.54/837.19 c (0,0) c DECISION
988.54/837.19 c (0,0) c rand_rebuild = 0
988.54/837.19 c (0,0) c rand_rebuild_confs = 10000
988.54/837.19 c (0,0) c inc_var_decay = 1
988.54/837.19 c (0,0) c inc_var_decay_period = 100000
988.54/837.19 c (0,0) c inc_var_decay_init = 0.600
988.54/837.19 c (0,0) c var_decay_mode = 0
988.74/837.20 c (0,0) c var_decay_gain = 0
988.74/837.20 c (0,0) c sloped_var_decay = 1
988.74/837.20 c (0,0) c max_var_decay = 0.990
988.74/837.20 c (0,0) c min_var_decay = 0.950
988.74/837.20 c (0,0) c min_var_decay_vars = 10000
988.74/837.20 c (0,0) c max_var_decay_vars = 500
988.74/837.20 c (0,0) c uip_bumping = 1
988.74/837.20 c (0,0) c lbd_act_bumping = 1
988.74/837.20 c (0,0) c rand_tiebreak = 0
988.74/837.20 c (0,0) c simp_rebuild = 1
988.74/837.20 c (0,0) c RESTART
988.74/837.20 c (0,0) c restart_strategy = 2
988.74/837.20 c (0,0) c restart_blocking = 0
988.74/837.20 c (0,0) c agility_decay = 0.99990
988.74/837.20 c (0,0) c lbd_restart_rate = 0.800
988.74/837.20 c (0,0) c dec_restart_rate = 0.950
988.74/837.20 c (0,0) c blk_restart_rate = 0.700
988.74/837.20 c (0,0) c lbd_queue_size = 50
988.74/837.20 c (0,0) c dec_queue_size = 50
988.74/837.20 c (0,0) c trl_queue_size = 5000
988.74/837.20 c (0,0) c blk_restart_weight = 1.000
988.74/837.20 c (0,0) c inc_rst_rate = 0
988.74/837.20 c (0,0) c inc_rst_rate_period = 500000
988.74/837.20 c (0,0) c inc_lbd_rst_rate_init = 0.600
988.74/837.20 c (0,0) c inc_dec_rst_rate_init = 0.750
988.74/837.20 c (0,0) c REDUCTION
988.74/837.20 c (0,0) c closed_lbd = 0
988.74/837.20 c (0,0) c closed_lbd_rate = 0.500
988.74/837.20 c (0,0) c rm_simulate = 0
988.74/837.20 c (0,0) c rdb_eval = 2
988.74/837.20 c (0,0) c rdb_call = 3
988.74/837.20 c (0,0) c rdb_ub = 0.500
988.74/837.20 c (0,0) c core_lbd_cvr = 0.800
988.74/837.20 c (0,0) c supp_lbd_cvr = 0.990
988.74/837.20 c (0,0) c core_lbd_lb = 2
988.74/837.20 c (0,0) c supp_lbd_lb = 2
988.74/837.20 c (0,0) c core_lbd_prd = 7
988.74/837.20 c (0,0) c supp_lbd_prd = 1
988.74/837.20 c (0,0) c othr_lbd_prd = 0
988.74/837.20 c (0,0) c inc_lrn_limit = 1000
988.74/837.20 c (0,0) c frozen_lbd = 30
988.74/837.20 c (0,0) c simp_min_starts = 100
988.74/837.20 c (0,0) c rm_low_act_learnts = 1
988.74/837.20 c (0,0) c lv0_reduce_db = 0
988.74/837.20 c (0,0) c reduce_db_base = 20000
988.74/837.20 c (0,0) c reduce_db_inc = 1000
988.74/837.20 c (0,0) c HARD
988.74/837.20 c (0,0) c inst_check = 200000
988.74/837.20 c (0,0) c small_block = 1.750
988.74/837.20 c (0,0) c slow_restart_speed = 400.000
988.74/837.20 c (0,0) c slow_restart_strategy = 3
988.74/837.20 c (0,0) c slow_lbd_restart_rate = 0.700
988.74/837.20 c (0,0) c slow_dec_restart_rate = 1.000
988.74/837.20 c (0,0) c slow_lbd_queue_size = 50
988.74/837.20 c (0,0) c slow_var_decay = 0.950
988.74/837.20 c (0,0) c slow_glue_threshold = 2
988.74/837.20 c (0,0) c slow_phase_saving = 2
988.74/837.20 c (0,0) c fast_restart_speed = 125.000
988.74/837.20 c (0,0) c fast_restart_strategy = 1
988.74/837.20 c (0,0) c fast_lbd_restart_rate = 0.800
988.74/837.20 c (0,0) c fast_dec_restart_rate = 0.950
988.74/837.20 c (0,0) c fast_lbd_queue_size = 50
988.74/837.20 c (0,0) c fast_var_decay = 1.000
988.74/837.20 c (0,0) c fast_glue_threshold = 2
988.74/837.20 c (0,0) c fast_phase_saving = 2
988.74/837.20 c (0,0) c STATS
988.74/837.20 c (0,0) c stats_conf_size = 10000
988.74/837.20 c (0,0) c max_stats_size = 30
988.74/837.20 c (0,0) c SOLVER
988.74/837.20 c (0,0) c minisat = 0
988.85/837.53 c (0,0) c Problem: 274640 variables, 567040 clauses, parsing 0.31 s
989.87/838.29 c (1,0) c reduced to 13179 variables, 56640 clauses (grow = 0)
990.06/838.43 c (1,0) c reduced to 10104 variables, 61143 clauses (grow = 8)
990.16/838.54 c (1,0) c reduced to 9158 variables, 67675 clauses (grow = 16)
990.26/838.68 c (1,0) c reduced to 8463 variables, 77669 clauses (grow = 32)
990.56/838.93 c (2,0) c reduced to 7951 variables, 92772 clauses (grow = 64)
990.96/839.34 c (2,0) c reduced to 7555 variables, 116914 clauses (grow = 128)
990.96/839.35 c (2,0) c exclude 0 (0.0%) variables from decision variables (last cost 0)
990.96/839.38 c (2,0) c Simplification: 267085 vars, 450126 clauses are eliminated using 1.83 s
990.96/839.38 c (2,0) c
990.96/839.38 c (2,0) c #Rstrts #Confs #Vars #Clauses #Learnts Lits/C LBD/C DLVs Trail
990.96/839.38 c (2,0) c
990.96/839.38 c (2,0) c 2 0 0 7555 116914 0 -nan -nan -nan -nan%
991.06/839.41 c (2,0) c 2 1 9 -87891 116914 6 22.5 2.0 2.3 39.7%
991.06/839.41 c (2,0) c
991.06/839.41 c (2,0) c
991.06/839.41 c (2,0) c variables : -87891 (init 274640, after simp 7555, 0 non-decs, 941 csp)
991.06/839.41 c (2,0) c clauses : 116914 (init 567040, after simp 116914)
991.06/839.41 c (2,0) c restarts : 0 (9.00 confs/res, 9~9 confs, 0 blks, 0 last)
991.06/839.41 c (2,0) c conflicts : 9 (4 /sec, 55.56% dconfs, 0.00% supp, trail 19091.40w x 2.33h, jmp 0.89h)
991.06/839.41 c (2,0) c decisions : 8 (0.6000 vdcy, 4 /sec, 0.00% bin, rs 0.000 s)
991.06/839.41 c (2,0) c propagations : 248607 (114515 /sec, 31075.88 lits/dec, 99.52% o.a.)
991.06/839.41 c (2,0) c conflict literals : 419 (67.30% deleted; 0.00% by bin min, 0.000 s)
991.06/839.41 c (2,0) c len : 22.500 (15.22 for all, max 55, used 0)
991.06/839.41 c (2,0) c lbd : 2.000 (1.89 (1.56) for all, max 3, used 0, -nan stdev, 8.059 blk)
991.06/839.41 c (2,0) c amo : 0 (0 max, -nan avg, 0.000 s)
991.06/839.41 c (2,0) c simp dbs : 1 (0.003 s)
991.06/839.41 c (2,0) c reduce dbs : 0 (core-lbd 2, supp-lbd 2147483647, 0.000 s)
991.06/839.41 c (2,0) c learnts : 6 (0 learnts removed, 0.00%)
991.06/839.41 c (2,0) c rewrite dbs : 0 (0/0 vars, 0+0 taut, 0+0 unit, 0.000 s)
991.06/839.41 c (2,0) c assigned lits : 0 (0/0 probed, 0 remains)
991.06/839.41 c (2,0) c premise updates : 0 (0.00 /lit)
991.06/839.41 c (2,0) c probed variables : 0 (0 pr, 0 eq, 0 fld, 0 pol, 0 nec, 0 cla, 0 amo)
991.06/839.41 c (2,0) c equiv variables : 0 (0 bin, 0 trn, 0 quat, 0 quin, 0 othr; 0 amo)
991.06/839.41 c (2,0) c lazy added bins : 0 (0 prop + 0 conf, 0.000s)
991.06/839.41 c (2,0) c unwatched lit elim: 0 (0.00+0.00%, 0+0 of 549541+419)
991.06/839.41 c (2,0) c classified type : undef
991.06/839.41 c (2,0) c progress : 1263.349%
991.06/839.41 c (2,0) c
991.06/839.41 c (2,0) c [Statistics]
991.06/839.41 c (2,0) c learnts len learnts lbd lit blk size eq vars size
991.06/839.41 c (2,0) c tot 8 8 17 0
991.06/839.41 c (2,0) c avg 17.125 1.750 8.059 -nan
991.06/839.41 c (2,0) c 1 2 (25.0%) 2 (25.0%) 12 (70.6%) 0 (-nan%)
991.06/839.41 c (2,0) c 2 1 (12.5%) 6 (75.0%) 0 ( 0.0%) 0 (-nan%)
991.06/839.41 c (2,0) c 3 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
991.06/839.41 c (2,0) c 4 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
991.06/839.41 c (2,0) c 5 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
991.06/839.41 c (2,0) c 6 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
991.06/839.41 c (2,0) c 7 0 ( 0.0%) 0 ( 0.0%) 1 ( 5.9%) 0 (-nan%)
991.06/839.41 c (2,0) c 8 1 (12.5%) 0 ( 0.0%) 1 ( 5.9%) 0 (-nan%)
991.06/839.41 c (2,0) c 9 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
991.06/839.41 c (2,0) c 10 1 (12.5%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
991.06/839.41 c (2,0) c 11 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
991.06/839.41 c (2,0) c 12 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
991.06/839.41 c (2,0) c 13 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
991.06/839.41 c (2,0) c 14 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
991.06/839.41 c (2,0) c 15 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
991.06/839.41 c (2,0) c 16 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
991.06/839.41 c (2,0) c 17 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
991.06/839.41 c (2,0) c 18 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
991.06/839.41 c (2,0) c 19 0 ( 0.0%) 0 ( 0.0%) 1 ( 5.9%) 0 (-nan%)
991.06/839.41 c (2,0) c 20 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
991.06/839.41 c (2,0) c 21 1 (12.5%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
991.06/839.41 c (2,0) c 22 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
991.06/839.41 c (2,0) c 23 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
991.06/839.41 c (2,0) c 24 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
991.06/839.41 c (2,0) c 25 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
991.06/839.41 c (2,0) c 26 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
991.06/839.41 c (2,0) c 27 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
991.06/839.41 c (2,0) c 28 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
991.06/839.41 c (2,0) c 29 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
991.06/839.41 c (2,0) c 30 2 (25.0%) 0 ( 0.0%) 2 (11.8%) 0 (-nan%)
991.06/839.41 c (2,0) c
991.06/839.41 c (2,0) c [LBD Statistics]
991.06/839.41 c (2,0) c LBD used lbd used clause lbd unused clause lbd
991.06/839.41 c (2,0) c tot 0 1 5
991.06/839.41 c (2,0) c avg -nan 2.000 2.000
991.06/839.41 c (2,0) c 1 0 (-nan/-nan%) 0 ( 0.0/ 0.0%) 0 ( 0.0/ 0.0%)
991.06/839.41 c (2,0) c 2 0 (-nan/-nan%) 1 (100.0/100.0%) 5 (100.0/100.0%)
991.06/839.41 c (2,0) c
991.06/839.41 c (2,0) c Memory used : 148.00 MB
991.06/839.41 c (2,0) c CPU time : 2.171 s
991.06/839.41 c (2,0) c Real time : 2.222 s
991.06/839.41 c (2,0) c
991.06/839.41 c (2,0) s UNSATISFIABLE
991.06/839.42 c (2,0) SatSolver.solve End
991.06/839.42 c (2,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
991.06/839.42 c (2,0) Show results Begin
991.06/839.42 s UNSATISFIABLE
991.06/839.42 c (2,0) Show results End
991.06/839.42 c (2,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
991.06/839.42 c (2,0) 2,2,STOP-AFTER(ALL)
991.06/839.42 c END-Prog: Thu Sep 12 14:49:01 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 (7108 MiB free)
memory of node 1: 16384 MiB (12595 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4387866-1568291742/watcher-4387866-1568291742 -o /tmp/evaluation-result-4387866-1568291742/solver-4387866-1568291742 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node137-1568286693-10213 --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-4387866-1568291742.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=11731, runsolver pid=11728
Current StackSize limit: 8192 KiB
[startup+0.100091 s]*
/proc/loadavg: 2.34 2.11 2.07 3/229 11748
/proc/meminfo: memFree=20117864/32770624 swapFree=66927092/67108860
[pid=11731] ppid=11728 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/11731/stat : 11731 (scop.sh) S 11728 11731 8795 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 405421710 115843072 349 33554432000 4194304 5098028 140736675333984 140736675331240 140605103235708 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 36892672 140736675337000 140736675337328 140736675337328 140736675340237 0
/proc/11731/statm: 28282 349 296 221 0 87 0
[pid=11734] ppid=11731 vsize=15014680 memory=73172 CPUtime=0.11 cores=1,3,5,7
/proc/11734/stat : 11734 (java) S 11731 11731 8795 0 -1 1077944320 7536 0 0 0 10 1 0 0 20 0 15 0 405421710 15375032320 18227 33554432000 4194304 4196468 140737033946240 140737033928784 139943449452279 0 0 2 16800973 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 31510528 140737033949934 140737033950362 140737033950362 140737033953231 0
/proc/11734/statm: 3753670 18227 2916 1 0 3716075 0
[pid=11734/tid=11735] ppid=11731 vsize=15016308 memory=-6601833317647732518 CPUtime=0.09 cores=1,3,5,7
/proc/11734/task/11735/stat : 11735 (java) R 11731 11731 8795 0 -1 4202560 5699 0 0 0 8 1 0 0 20 0 15 0 405421710 15376699392 18623 33554432000 4194304 4196468 140737033946240 139943421236528 139943442131997 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31510528 140737033949934 140737033950362 140737033950362 140737033953231 0
[pid=11734/tid=11736] ppid=11731 vsize=15016308 memory=-3689451258167578675 CPUtime=0 cores=1,3,5,7
/proc/11734/task/11736/stat : 11736 (java) S 11731 11731 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405421712 15376699392 18689 33554432000 4194304 4196468 140737033946240 139943453694352 139943449462485 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31510528 140737033949934 140737033950362 140737033950362 140737033953231 0
[pid=11734/tid=11737] ppid=11731 vsize=15016308 memory=140238301808256 CPUtime=0 cores=1,3,5,7
/proc/11734/task/11737/stat : 11737 (java) S 11731 11731 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405421712 15376699392 18689 33554432000 4194304 4196468 140737033946240 139943267850512 139943449462485 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31510528 140737033949934 140737033950362 140737033950362 140737033953231 0
[pid=11734/tid=11738] ppid=11731 vsize=15016308 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11734/task/11738/stat : 11738 (java) S 11731 11731 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405421712 15376699392 18689 33554432000 4194304 4196468 140737033946240 139943266798224 139943449462485 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31510528 140737033949934 140737033950362 140737033950362 140737033953231 0
[pid=11734/tid=11739] ppid=11731 vsize=15016308 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11734/task/11739/stat : 11739 (java) S 11731 11731 8795 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405421712 15376699392 18689 33554432000 4194304 4196468 140737033946240 139943265745424 139943449462485 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31510528 140737033949934 140737033950362 140737033950362 140737033953231 0
[pid=11734/tid=11740] ppid=11731 vsize=15016308 memory=140238301808256 CPUtime=0 cores=1,3,5,7
/proc/11734/task/11740/stat : 11740 (java) S 11731 11731 8795 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405421713 15376699392 18689 33554432000 4194304 4196468 140737033946240 139942856174192 139943449463426 0 0 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31510528 140737033949934 140737033950362 140737033950362 140737033953231 0
[pid=11734/tid=11741] ppid=11731 vsize=15016308 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11734/task/11741/stat : 11741 (java) S 11731 11731 8795 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405421714 15376699392 18689 33554432000 4194304 4196468 140737033946240 139942046983456 139943449462485 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31510528 140737033949934 140737033950362 140737033950362 140737033953231 0
[pid=11734/tid=11742] ppid=11731 vsize=15016308 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11734/task/11742/stat : 11742 (java) S 11731 11731 8795 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 405421714 15376699392 18755 33554432000 4194304 4196468 140737033946240 139941912761968 139943449462485 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31510528 140737033949934 140737033950362 140737033950362 140737033953231 0
[pid=11734/tid=11743] ppid=11731 vsize=15016308 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11734/task/11743/stat : 11743 (java) S 11731 11731 8795 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405421717 15376699392 18755 33554432000 4194304 4196468 140737033946240 139941538257488 139943449470875 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31510528 140737033949934 140737033950362 140737033950362 140737033953231 0
[pid=11734/tid=11744] ppid=11731 vsize=15016308 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11734/task/11744/stat : 11744 (java) S 11731 11731 8795 0 -1 1077944384 421 0 0 0 0 0 0 0 20 0 15 0 405421717 15376699392 18755 33554432000 4194304 4196468 140737033946240 139942855121008 139943449463426 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31510528 140737033949934 140737033950362 140737033950362 140737033953231 0
[pid=11734/tid=11745] ppid=11731 vsize=15016308 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11734/task/11745/stat : 11745 (java) S 11731 11731 8795 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405421717 15376699392 18755 33554432000 4194304 4196468 140737033946240 139942854068208 139943449463426 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31510528 140737033949934 140737033950362 140737033950362 140737033953231 0
[pid=11734/tid=11746] ppid=11731 vsize=15016308 memory=140238301808256 CPUtime=0.01 cores=1,3,5,7
/proc/11734/task/11746/stat : 11746 (java) S 11731 11731 8795 0 -1 1077944384 458 0 0 0 1 0 0 0 20 0 15 0 405421717 15376699392 18755 33554432000 4194304 4196468 140737033946240 139942281865584 139943449463426 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31510528 140737033949934 140737033950362 140737033950362 140737033953231 0
[pid=11734/tid=11747] ppid=11731 vsize=15016308 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11734/task/11747/stat : 11747 (java) S 11731 11731 8795 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405421717 15376699392 18755 33554432000 4194304 4196468 140737033946240 139941040351712 139943449462485 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31510528 140737033949934 140737033950362 140737033950362 140737033953231 0
[pid=11734/tid=11748] ppid=11731 vsize=15016308 memory=140238301808256 CPUtime=0 cores=1,3,5,7
/proc/11734/task/11748/stat : 11748 (java) S 11731 11731 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405421717 15376699392 18755 33554432000 4194304 4196468 140737033946240 139942280813488 139943449463426 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31510528 140737033949934 140737033950362 140737033950362 140737033953231 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15127808 KiB
Current children cumulated memory: 74568 KiB
[startup+0.211863 s]*
/proc/loadavg: 2.34 2.11 2.07 3/229 11748
/proc/meminfo: memFree=20101972/32770624 swapFree=66927092/67108860
[pid=11731] ppid=11728 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/11731/stat : 11731 (scop.sh) S 11728 11731 8795 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 405421710 115843072 349 33554432000 4194304 5098028 140736675333984 140736675331240 140605103235708 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 36892672 140736675337000 140736675337328 140736675337328 140736675340237 0
/proc/11731/statm: 28282 349 296 221 0 87 0
[pid=11734] ppid=11731 vsize=15012696 memory=84556 CPUtime=0.26 cores=1,3,5,7
/proc/11734/stat : 11734 (java) S 11731 11731 8795 0 -1 1077944320 11691 0 0 0 23 3 0 0 20 0 15 0 405421710 15373000704 21139 33554432000 4194304 4196468 140737033946240 140737033928784 139943449452279 0 0 2 16800973 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 31510528 140737033949934 140737033950362 140737033950362 140737033953231 0
/proc/11734/statm: 3753174 21139 2926 1 0 3715579 0
[pid=11734/tid=11735] ppid=11731 vsize=15012696 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/11734/task/11735/stat : 11735 (java) R 11731 11731 8795 0 -1 4202560 9393 0 0 0 18 2 0 0 20 0 15 0 405421710 15373000704 21139 33554432000 4194304 4196468 140737033946240 139943421270688 139943433495909 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31510528 140737033949934 140737033950362 140737033950362 140737033953231 0
[pid=11734/tid=11736] ppid=11731 vsize=15012696 memory=13126 CPUtime=0 cores=1,3,5,7
/proc/11734/task/11736/stat : 11736 (java) S 11731 11731 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405421712 15373000704 21139 33554432000 4194304 4196468 140737033946240 139943453694352 139943449462485 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31510528 140737033949934 140737033950362 140737033950362 140737033953231 0
[pid=11734/tid=11737] ppid=11731 vsize=15012696 memory=140238304746463 CPUtime=0 cores=1,3,5,7
/proc/11734/task/11737/stat : 11737 (java) S 11731 11731 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405421712 15373000704 21139 33554432000 4194304 4196468 140737033946240 139943267850512 139943449462485 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31510528 140737033949934 140737033950362 140737033950362 140737033953231 0
[pid=11734/tid=11738] ppid=11731 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11734/task/11738/stat : 11738 (java) S 11731 11731 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405421712 15373000704 21139 33554432000 4194304 4196468 140737033946240 139943266798224 139943449462485 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31510528 140737033949934 140737033950362 140737033950362 140737033953231 0
[pid=11734/tid=11739] ppid=11731 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11734/task/11739/stat : 11739 (java) S 11731 11731 8795 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405421712 15373000704 21139 33554432000 4194304 4196468 140737033946240 139943265745424 139943449462485 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31510528 140737033949934 140737033950362 140737033950362 140737033953231 0
[pid=11734/tid=11740] ppid=11731 vsize=15012696 memory=140238301808256 CPUtime=0 cores=1,3,5,7
/proc/11734/task/11740/stat : 11740 (java) S 11731 11731 8795 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405421713 15373000704 21139 33554432000 4194304 4196468 140737033946240 139942856174192 139943449463426 0 0 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31510528 140737033949934 140737033950362 140737033950362 140737033953231 0
[pid=11734/tid=11741] ppid=11731 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11734/task/11741/stat : 11741 (java) S 11731 11731 8795 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405421714 15373000704 21139 33554432000 4194304 4196468 140737033946240 139942046983456 139943449462485 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31510528 140737033949934 140737033950362 140737033950362 140737033953231 0
[pid=11734/tid=11742] ppid=11731 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11734/task/11742/stat : 11742 (java) S 11731 11731 8795 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 405421714 15373000704 21139 33554432000 4194304 4196468 140737033946240 139941912761968 139943449462485 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31510528 140737033949934 140737033950362 140737033950362 140737033953231 0
[pid=11734/tid=11743] ppid=11731 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11734/task/11743/stat : 11743 (java) S 11731 11731 8795 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405421717 15373000704 21139 33554432000 4194304 4196468 140737033946240 139941538257488 139943449470875 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31510528 140737033949934 140737033950362 140737033950362 140737033953231 0
[pid=11734/tid=11744] ppid=11731 vsize=15012696 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/11734/task/11744/stat : 11744 (java) S 11731 11731 8795 0 -1 1077944384 454 0 0 0 1 0 0 0 20 0 15 0 405421717 15373000704 21139 33554432000 4194304 4196468 140737033946240 139942855121008 139943449463426 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31510528 140737033949934 140737033950362 140737033950362 140737033953231 0
[pid=11734/tid=11745] ppid=11731 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11734/task/11745/stat : 11745 (java) S 11731 11731 8795 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 15 0 405421717 15373000704 21139 33554432000 4194304 4196468 140737033946240 139942854068208 139943449463426 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31510528 140737033949934 140737033950362 140737033950362 140737033953231 0
[pid=11734/tid=11746] ppid=11731 vsize=15012696 memory=140238301808256 CPUtime=0.03 cores=1,3,5,7
/proc/11734/task/11746/stat : 11746 (java) S 11731 11731 8795 0 -1 1077944384 475 0 0 0 3 0 0 0 20 0 15 0 405421717 15373000704 21139 33554432000 4194304 4196468 140737033946240 139942281865584 139943449463426 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31510528 140737033949934 140737033950362 140737033950362 140737033953231 0
[pid=11734/tid=11747] ppid=11731 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11734/task/11747/stat : 11747 (java) S 11731 11731 8795 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405421717 15373000704 21139 33554432000 4194304 4196468 140737033946240 139941040351712 139943449462485 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31510528 140737033949934 140737033950362 140737033950362 140737033953231 0
[pid=11734/tid=11748] ppid=11731 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11734/task/11748/stat : 11748 (java) S 11731 11731 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405421717 15373000704 21139 33554432000 4194304 4196468 140737033946240 139942280813488 139943449463426 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31510528 140737033949934 140737033950362 140737033950362 140737033953231 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 85952 KiB
[startup+0.310624 s]*
/proc/loadavg: 2.34 2.11 2.07 4/229 11748
/proc/meminfo: memFree=20099416/32770624 swapFree=66927092/67108860
[pid=11731] ppid=11728 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/11731/stat : 11731 (scop.sh) S 11728 11731 8795 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 405421710 115843072 349 33554432000 4194304 5098028 140736675333984 140736675331240 140605103235708 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 36892672 140736675337000 140736675337328 140736675337328 140736675340237 0
/proc/11731/statm: 28282 349 296 221 0 87 0
[pid=11734] ppid=11731 vsize=15012696 memory=88240 CPUtime=0.43 cores=1,3,5,7
/proc/11734/stat : 11734 (java) S 11731 11731 8795 0 -1 1077944320 12586 0 0 0 40 3 0 0 20 0 15 0 405421710 15373000704 22060 33554432000 4194304 4196468 140737033946240 140737033928784 139943449452279 0 0 2 16800973 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 31510528 140737033949934 140737033950362 140737033950362 140737033953231 0
/proc/11734/statm: 3753174 22060 3079 1 0 3715579 0
[pid=11734/tid=11735] ppid=11731 vsize=15012696 memory=6791534058613427641 CPUtime=0.3 cores=1,3,5,7
/proc/11734/task/11735/stat : 11735 (java) R 11731 11731 8795 0 -1 4202560 10134 0 0 0 27 3 0 0 20 0 15 0 405421710 15373000704 22060 33554432000 4194304 4196468 140737033946240 139943421264624 139943431015808 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31510528 140737033949934 140737033950362 140737033950362 140737033953231 0
[pid=11734/tid=11736] ppid=11731 vsize=15012696 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/11734/task/11736/stat : 11736 (java) S 11731 11731 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405421712 15373000704 22060 33554432000 4194304 4196468 140737033946240 139943453694352 139943449462485 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31510528 140737033949934 140737033950362 140737033950362 140737033953231 0
[pid=11734/tid=11737] ppid=11731 vsize=15012696 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/11734/task/11737/stat : 11737 (java) S 11731 11731 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405421712 15373000704 22060 33554432000 4194304 4196468 140737033946240 139943267850512 139943449462485 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31510528 140737033949934 140737033950362 140737033950362 140737033953231 0
[pid=11734/tid=11738] ppid=11731 vsize=15012696 memory=-5587046532246807594 CPUtime=0 cores=1,3,5,7
/proc/11734/task/11738/stat : 11738 (java) S 11731 11731 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405421712 15373000704 22060 33554432000 4194304 4196468 140737033946240 139943266798224 139943449462485 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31510528 140737033949934 140737033950362 140737033950362 140737033953231 0
[pid=11734/tid=11739] ppid=11731 vsize=15012696 memory=7379517702019849078 CPUtime=0 cores=1,3,5,7
/proc/11734/task/11739/stat : 11739 (java) S 11731 11731 8795 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405421712 15373000704 22060 33554432000 4194304 4196468 140737033946240 139943265745424 139943449462485 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31510528 140737033949934 140737033950362 140737033950362 140737033953231 0
[pid=11734/tid=11740] ppid=11731 vsize=15012696 memory=7016714186490735262 CPUtime=0 cores=1,3,5,7
/proc/11734/task/11740/stat : 11740 (java) S 11731 11731 8795 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405421713 15373000704 22060 33554432000 4194304 4196468 140737033946240 139942856174192 139943449463426 0 0 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31510528 140737033949934 140737033950362 140737033950362 140737033953231 0
[pid=11734/tid=11741] ppid=11731 vsize=15012696 memory=4498404016631593313 CPUtime=0 cores=1,3,5,7
/proc/11734/task/11741/stat : 11741 (java) S 11731 11731 8795 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405421714 15373000704 22060 33554432000 4194304 4196468 140737033946240 139942046983456 139943449462485 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31510528 140737033949934 140737033950362 140737033950362 140737033953231 0
[pid=11734/tid=11742] ppid=11731 vsize=15012696 memory=-6519613052471072158 CPUtime=0 cores=1,3,5,7
/proc/11734/task/11742/stat : 11742 (java) S 11731 11731 8795 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 405421714 15373000704 22060 33554432000 4194304 4196468 140737033946240 139941912761968 139943449462485 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31510528 140737033949934 140737033950362 140737033950362 140737033953231 0
[pid=11734/tid=11743] ppid=11731 vsize=15012696 memory=-6664436420846796947 CPUtime=0 cores=1,3,5,7
/proc/11734/task/11743/stat : 11743 (java) S 11731 11731 8795 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405421717 15373000704 22060 33554432000 4194304 4196468 140737033946240 139941538257488 139943449470875 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31510528 140737033949934 140737033950362 140737033950362 140737033953231 0
[pid=11734/tid=11744] ppid=11731 vsize=15012696 memory=4426078206164241782 CPUtime=0.01 cores=1,3,5,7
/proc/11734/task/11744/stat : 11744 (java) S 11731 11731 8795 0 -1 1077944384 470 0 0 0 1 0 0 0 20 0 15 0 405421717 15373000704 22060 33554432000 4194304 4196468 140737033946240 139942855121008 139943449463426 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31510528 140737033949934 140737033950362 140737033950362 140737033953231 0
[pid=11734/tid=11745] ppid=11731 vsize=15012696 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/11734/task/11745/stat : 11745 (java) S 11731 11731 8795 0 -1 1077944384 135 0 0 0 3 0 0 0 20 0 15 0 405421717 15373000704 22060 33554432000 4194304 4196468 140737033946240 139942854068208 139943449463426 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31510528 140737033949934 140737033950362 140737033950362 140737033953231 0
[pid=11734/tid=11746] ppid=11731 vsize=15012696 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/11734/task/11746/stat : 11746 (java) S 11731 11731 8795 0 -1 1077944384 495 0 0 0 7 0 0 0 20 0 15 0 405421717 15373000704 22060 33554432000 4194304 4196468 140737033946240 139942281865584 139943449463426 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31510528 140737033949934 140737033950362 140737033950362 140737033953231 0
[pid=11734/tid=11747] ppid=11731 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11734/task/11747/stat : 11747 (java) S 11731 11731 8795 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405421717 15373000704 22060 33554432000 4194304 4196468 140737033946240 139941040351712 139943449462485 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31510528 140737033949934 140737033950362 140737033950362 140737033953231 0
[pid=11734/tid=11748] ppid=11731 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11734/task/11748/stat : 11748 (java) S 11731 11731 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405421717 15373000704 22060 33554432000 4194304 4196468 140737033946240 139942280813488 139943449463426 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31510528 140737033949934 140737033950362 140737033950362 140737033953231 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 89636 KiB
[startup+0.706775 s]
/proc/loadavg: 2.34 2.11 2.07 3/229 11748
/proc/meminfo: memFree=20075844/32770624 swapFree=66927092/67108860
[pid=11731] ppid=11728 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/11731/stat : 11731 (scop.sh) S 11728 11731 8795 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 405421710 115843072 349 33554432000 4194304 5098028 140736675333984 140736675331240 140605103235708 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 36892672 140736675337000 140736675337328 140736675337328 140736675340237 0
/proc/11731/statm: 28282 349 296 221 0 87 0
[pid=11734] ppid=11731 vsize=15018968 memory=130056 CPUtime=1.08 cores=1,3,5,7
/proc/11734/stat : 11734 (java) S 11731 11731 8795 0 -1 1077944320 20253 0 0 0 103 5 0 0 20 0 15 0 405421710 15379423232 32514 33554432000 4194304 4196468 140737033946240 140737033928784 139943449452279 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 31510528 140737033949934 140737033950362 140737033950362 140737033953231 0
/proc/11734/statm: 3754742 32514 3186 1 0 3716091 0
[pid=11734/tid=11735] ppid=11731 vsize=15018968 memory=3472328296227679313 CPUtime=0.68 cores=1,3,5,7
/proc/11734/task/11735/stat : 11735 (java) S 11731 11731 8795 0 -1 1077944384 17184 0 0 0 64 4 0 0 20 0 15 0 405421710 15379423232 32514 33554432000 4194304 4196468 140737033946240 139943421288160 139943449462485 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31510528 140737033949934 140737033950362 140737033950362 140737033953231 0
[pid=11734/tid=11736] ppid=11731 vsize=15018968 memory=-7816663703405220396 CPUtime=0 cores=1,3,5,7
/proc/11734/task/11736/stat : 11736 (java) S 11731 11731 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405421712 15379423232 32514 33554432000 4194304 4196468 140737033946240 139943453694352 139943449462485 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31510528 140737033949934 140737033950362 140737033950362 140737033953231 0
[pid=11734/tid=11737] ppid=11731 vsize=15018968 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11734/task/11737/stat : 11737 (java) S 11731 11731 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405421712 15379423232 32514 33554432000 4194304 4196468 140737033946240 139943267850512 139943449462485 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31510528 140737033949934 140737033950362 140737033950362 140737033953231 0
[pid=11734/tid=11738] ppid=11731 vsize=15018968 memory=37248 CPUtime=0 cores=1,3,5,7
/proc/11734/task/11738/stat : 11738 (java) S 11731 11731 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405421712 15379423232 32514 33554432000 4194304 4196468 140737033946240 139943266798224 139943449462485 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31510528 140737033949934 140737033950362 140737033950362 140737033953231 0
[pid=11734/tid=11739] ppid=11731 vsize=15018968 memory=2028 CPUtime=0 cores=1,3,5,7
/proc/11734/task/11739/stat : 11739 (java) S 11731 11731 8795 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405421712 15379423232 32514 33554432000 4194304 4196468 140737033946240 139943265745424 139943449462485 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31510528 140737033949934 140737033950362 140737033950362 140737033953231 0
[pid=11734/tid=11740] ppid=11731 vsize=15018968 memory=988 CPUtime=0 cores=1,3,5,7
/proc/11734/task/11740/stat : 11740 (java) S 11731 11731 8795 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 405421713 15379423232 32514 33554432000 4194304 4196468 140737033946240 139942856174192 139943449463426 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31510528 140737033949934 140737033950362 140737033950362 140737033953231 0
[pid=11734/tid=11741] ppid=11731 vsize=15018968 memory=1424 CPUtime=0 cores=1,3,5,7
/proc/11734/task/11741/stat : 11741 (java) S 11731 11731 8795 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405421714 15379423232 32514 33554432000 4194304 4196468 140737033946240 139942046983456 139943449462485 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31510528 140737033949934 140737033950362 140737033950362 140737033953231 0
[pid=11734/tid=11742] ppid=11731 vsize=15018968 memory=9592 CPUtime=0 cores=1,3,5,7
/proc/11734/task/11742/stat : 11742 (java) S 11731 11731 8795 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 405421714 15379423232 32514 33554432000 4194304 4196468 140737033946240 139941912761968 139943449462485 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31510528 140737033949934 140737033950362 140737033950362 140737033953231 0
[pid=11734/tid=11743] ppid=11731 vsize=15018968 memory=776 CPUtime=0 cores=1,3,5,7
/proc/11734/task/11743/stat : 11743 (java) S 11731 11731 8795 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405421717 15379423232 32514 33554432000 4194304 4196468 140737033946240 139941538257488 139943449470875 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31510528 140737033949934 140737033950362 140737033950362 140737033953231 0
[pid=11734/tid=11744] ppid=11731 vsize=15018968 memory=1540 CPUtime=0.08 cores=1,3,5,7
/proc/11734/task/11744/stat : 11744 (java) S 11731 11731 8795 0 -1 1077944384 699 0 0 0 8 0 0 0 20 0 15 0 405421717 15379423232 32514 33554432000 4194304 4196468 140737033946240 139942855107792 139943449462485 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31510528 140737033949934 140737033950362 140737033950362 140737033953231 0
[pid=11734/tid=11745] ppid=11731 vsize=15018968 memory=692 CPUtime=0.11 cores=1,3,5,7
/proc/11734/task/11745/stat : 11745 (java) R 11731 11731 8795 0 -1 4202560 356 0 0 0 11 0 0 0 20 0 15 0 405421717 15379423232 32514 33554432000 4194304 4196468 140737033946240 139942854060160 139943433875319 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31510528 140737033949934 140737033950362 140737033950362 140737033953231 0
[pid=11734/tid=11746] ppid=11731 vsize=15018968 memory=4004 CPUtime=0.17 cores=1,3,5,7
/proc/11734/task/11746/stat : 11746 (java) R 11731 11731 8795 0 -1 4202560 659 0 0 0 17 0 0 0 20 0 15 0 405421717 15379423232 32514 33554432000 4194304 4196468 140737033946240 139942281862840 139942936182891 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 31510528 140737033949934 140737033950362 140737033950362 140737033953231 0
[pid=11734/tid=11747] ppid=11731 vsize=15018968 memory=1060 CPUtime=0 cores=1,3,5,7
/proc/11734/task/11747/stat : 11747 (java) S 11731 11731 8795 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405421717 15379423232 32514 33554432000 4194304 4196468 140737033946240 139941040351712 139943449462485 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31510528 140737033949934 140737033950362 140737033950362 140737033953231 0
[pid=11734/tid=11748] ppid=11731 vsize=15018968 memory=2832 CPUtime=0 cores=1,3,5,7
/proc/11734/task/11748/stat : 11748 (java) S 11731 11731 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405421717 15379423232 32514 33554432000 4194304 4196468 140737033946240 139942280813488 139943449463426 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31510528 140737033949934 140737033950362 140737033950362 140737033953231 0
Current children cumulated CPU time: 1.08 s
Current children cumulated vsize: 15132096 KiB
Current children cumulated memory: 131452 KiB
[startup+1.50081 s]
/proc/loadavg: 2.34 2.11 2.07 3/229 11748
/proc/meminfo: memFree=19960668/32770624 swapFree=66927092/67108860
[pid=11731] ppid=11728 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/11731/stat : 11731 (scop.sh) S 11728 11731 8795 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 405421710 115843072 349 33554432000 4194304 5098028 140736675333984 140736675331240 140605103235708 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 36892672 140736675337000 140736675337328 140736675337328 140736675340237 0
/proc/11731/statm: 28282 349 296 221 0 87 0
################
# More data... #
################
Current children cumulated CPU time: 987.47 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1476 KiB
[startup+838.401 s]
/proc/loadavg: 2.29 2.14 2.14 3/239 11960
/proc/meminfo: memFree=24672616/32770624 swapFree=66927092/67108860
[pid=11731] ppid=11728 vsize=113128 memory=1476 CPUtime=987.47 cores=1,3,5,7
/proc/11731/stat : 11731 (scop.sh) S 11728 11731 8795 0 -1 4202496 584 306020 0 0 0 0 97828 919 20 0 1 0 405421710 115843072 369 33554432000 4194304 5098028 140736675333984 140736675330728 140605103235708 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 36892672 140736675337000 140736675337328 140736675337328 140736675340237 0
/proc/11731/statm: 28282 369 311 221 0 87 0
[pid=11940] ppid=11731 vsize=8068440 memory=121024 CPUtime=1.39 cores=1,3,5,7
/proc/11940/stat : 11940 (java) S 11731 11731 8795 0 -1 1077944320 20281 0 0 0 131 8 0 0 20 0 19 0 405505351 8262082560 30256 33554432000 4194304 4196468 140734950392944 140734950375488 140086892621559 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 13746176 140734950396923 140734950397082 140734950397082 140734950399951 0
/proc/11940/statm: 2017110 30256 3194 1 0 1978454 0
[pid=11955] ppid=11940 vsize=145792 memory=120656 CPUtime=1.2 cores=1,3,5,7
/proc/11955/stat : 11955 (glueminisat-sim) R 11940 11731 8795 0 -1 4202496 30325 0 0 0 116 4 0 0 20 0 1 0 405505429 149291008 30164 33554432000 4194304 4452875 140722871189040 140722871183448 4246642 0 4 0 8388610 0 0 0 17 1 0 0 0 0 0 6552096 6554264 20553728 140722871194463 140722871194663 140722871194663 140722871197613 0
/proc/11955/statm: 36448 30164 351 64 0 32652 0
[pid=11940/tid=11941] ppid=11731 vsize=8068440 memory=528 CPUtime=0.8 cores=1,3,5,7
/proc/11940/task/11941/stat : 11941 (java) S 11731 11731 8795 0 -1 1077944384 16868 0 0 0 74 6 0 0 20 0 19 0 405505352 8262082560 30256 33554432000 4194304 4196468 140734950392944 140086864461728 140086892631765 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13746176 140734950396923 140734950397082 140734950397082 140734950399951 0
[pid=11940/tid=11942] ppid=11731 vsize=8068440 memory=122 CPUtime=0 cores=1,3,5,7
/proc/11940/task/11942/stat : 11942 (java) S 11731 11731 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405505353 8262082560 30256 33554432000 4194304 4196468 140734950392944 140086896863888 140086892631765 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13746176 140734950396923 140734950397082 140734950397082 140734950399951 0
[pid=11940/tid=11943] ppid=11731 vsize=8068440 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11940/task/11943/stat : 11943 (java) S 11731 11731 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405505353 8262082560 30256 33554432000 4194304 4196468 140734950392944 140086697032208 140086892631765 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13746176 140734950396923 140734950397082 140734950397082 140734950399951 0
[pid=11940/tid=11944] ppid=11731 vsize=8068440 memory=555 CPUtime=0 cores=1,3,5,7
/proc/11940/task/11944/stat : 11944 (java) S 11731 11731 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405505353 8262082560 30256 33554432000 4194304 4196468 140734950392944 140086695979408 140086892631765 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13746176 140734950396923 140734950397082 140734950397082 140734950399951 0
[pid=11940/tid=11945] ppid=11731 vsize=8068440 memory=9592 CPUtime=0 cores=1,3,5,7
/proc/11940/task/11945/stat : 11945 (java) S 11731 11731 8795 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405505353 8262082560 30256 33554432000 4194304 4196468 140734950392944 140086694926608 140086892631765 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13746176 140734950396923 140734950397082 140734950397082 140734950399951 0
[pid=11940/tid=11946] ppid=11731 vsize=8068440 memory=776 CPUtime=0 cores=1,3,5,7
/proc/11940/task/11946/stat : 11946 (java) S 11731 11731 8795 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 405505354 8262082560 30256 33554432000 4194304 4196468 140734950392944 140086338993008 140086892632706 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13746176 140734950396923 140734950397082 140734950397082 140734950399951 0
[pid=11940/tid=11947] ppid=11731 vsize=8068440 memory=1540 CPUtime=0 cores=1,3,5,7
/proc/11940/task/11947/stat : 11947 (java) S 11731 11731 8795 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 405505354 8262082560 30256 33554432000 4194304 4196468 140734950392944 140085727061536 140086892631765 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13746176 140734950396923 140734950397082 140734950397082 140734950399951 0
[pid=11940/tid=11948] ppid=11731 vsize=8068440 memory=11583988 CPUtime=0 cores=1,3,5,7
/proc/11940/task/11948/stat : 11948 (java) S 11731 11731 8795 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 405505355 8262082560 30256 33554432000 4194304 4196468 140734950392944 140085592839536 140086892631765 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13746176 140734950396923 140734950397082 140734950397082 140734950399951 0
[pid=11940/tid=11949] ppid=11731 vsize=8068440 memory=1716 CPUtime=0 cores=1,3,5,7
/proc/11940/task/11949/stat : 11949 (java) S 11731 11731 8795 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405505357 8262082560 30256 33554432000 4194304 4196468 140734950392944 140085218335056 140086892640155 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13746176 140734950396923 140734950397082 140734950397082 140734950399951 0
[pid=11940/tid=11950] ppid=11731 vsize=8068440 memory=1124 CPUtime=0.15 cores=1,3,5,7
/proc/11940/task/11950/stat : 11950 (java) S 11731 11731 8795 0 -1 1077944384 415 0 0 0 15 0 0 0 20 0 19 0 405505357 8262082560 30256 33554432000 4194304 4196468 140734950392944 140086337939824 140086892632706 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13746176 140734950396923 140734950397082 140734950397082 140734950399951 0
[pid=11940/tid=11951] ppid=11731 vsize=8068440 memory=-7824251494391044450 CPUtime=0.16 cores=1,3,5,7
/proc/11940/task/11951/stat : 11951 (java) S 11731 11731 8795 0 -1 1077944384 980 0 0 0 16 0 0 0 20 0 19 0 405505357 8262082560 30256 33554432000 4194304 4196468 140734950392944 140086336887024 140086892632706 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13746176 140734950396923 140734950397082 140734950397082 140734950399951 0
[pid=11940/tid=11952] ppid=11731 vsize=8068440 memory=43132 CPUtime=0.23 cores=1,3,5,7
/proc/11940/task/11952/stat : 11952 (java) S 11731 11731 8795 0 -1 1077944384 589 0 0 0 23 0 0 0 20 0 19 0 405505357 8262082560 30256 33554432000 4194304 4196468 140734950392944 140086335834224 140086892632706 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13746176 140734950396923 140734950397082 140734950397082 140734950399951 0
[pid=11940/tid=11953] ppid=11731 vsize=8068440 memory=95184 CPUtime=0 cores=1,3,5,7
/proc/11940/task/11953/stat : 11953 (java) S 11731 11731 8795 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405505357 8262082560 30256 33554432000 4194304 4196468 140734950392944 140084720429280 140086892631765 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13746176 140734950396923 140734950397082 140734950397082 140734950399951 0
[pid=11940/tid=11954] ppid=11731 vsize=8068440 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/11940/task/11954/stat : 11954 (java) S 11731 11731 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405505358 8262082560 30256 33554432000 4194304 4196468 140734950392944 140086334782640 140086892632706 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13746176 140734950396923 140734950397082 140734950397082 140734950399951 0
[pid=11940/tid=11956] ppid=11731 vsize=8068440 memory=11586668 CPUtime=0 cores=1,3,5,7
/proc/11940/task/11956/stat : 11956 (java) S 11731 11731 8795 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 405505429 8262082560 30256 33554432000 4194304 4196468 140734950392944 140086125389504 140086892646169 0 4 2 25189581 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 13746176 140734950396923 140734950397082 140734950397082 140734950399951 0
[pid=11940/tid=11958] ppid=11731 vsize=8068440 memory=2496 CPUtime=0 cores=1,3,5,7
/proc/11940/task/11958/stat : 11958 (java) S 11731 11731 8795 0 -1 4202560 30 0 0 0 0 0 0 0 20 0 19 0 405505429 8262082560 30256 33554432000 4194304 4196468 140734950392944 140084183543600 140086892643485 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 13746176 140734950396923 140734950397082 140734950397082 140734950399951 0
[pid=11940/tid=11959] ppid=11731 vsize=8068440 memory=1764 CPUtime=0 cores=1,3,5,7
/proc/11940/task/11959/stat : 11959 (java) S 11731 11731 8795 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 405505429 8262082560 30256 33554432000 4194304 4196468 140734950392944 140084317765296 140086892643485 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 13746176 140734950396923 140734950397082 140734950397082 140734950399951 0
[pid=11940/tid=11960] ppid=11731 vsize=8068440 memory=111632 CPUtime=0 cores=1,3,5,7
/proc/11940/task/11960/stat : 11960 (java) S 11731 11731 8795 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405505432 8262082560 30256 33554432000 4194304 4196468 140734950392944 140083915119792 140086892631765 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13746176 140734950396923 140734950397082 140734950397082 140734950399951 0
Current children cumulated CPU time: 990.06 s
Current children cumulated vsize: 8327360 KiB
Current children cumulated memory: 243156 KiB
[startup+839.201 s]
/proc/loadavg: 2.27 2.14 2.14 3/239 11961
/proc/meminfo: memFree=24662664/32770624 swapFree=66927092/67108860
[pid=11731] ppid=11728 vsize=113128 memory=1476 CPUtime=987.47 cores=1,3,5,7
/proc/11731/stat : 11731 (scop.sh) S 11728 11731 8795 0 -1 4202496 584 306020 0 0 0 0 97828 919 20 0 1 0 405421710 115843072 369 33554432000 4194304 5098028 140736675333984 140736675330728 140605103235708 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 36892672 140736675337000 140736675337328 140736675337328 140736675340237 0
/proc/11731/statm: 28282 369 311 221 0 87 0
[pid=11940] ppid=11731 vsize=8068440 memory=121024 CPUtime=1.39 cores=1,3,5,7
/proc/11940/stat : 11940 (java) S 11731 11731 8795 0 -1 1077944320 20283 0 0 0 131 8 0 0 20 0 19 0 405505351 8262082560 30256 33554432000 4194304 4196468 140734950392944 140734950375488 140086892621559 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 13746176 140734950396923 140734950397082 140734950397082 140734950399951 0
/proc/11940/statm: 2017110 30256 3194 1 0 1978454 0
[pid=11955] ppid=11940 vsize=145792 memory=123556 CPUtime=2 cores=1,3,5,7
/proc/11955/stat : 11955 (glueminisat-sim) R 11940 11731 8795 0 -1 4202496 35435 0 0 0 196 4 0 0 20 0 1 0 405505429 149291008 30889 33554432000 4194304 4452875 140722871189040 140722871184136 4246202 0 4 0 8388610 0 0 0 17 1 0 0 0 0 0 6552096 6554264 20553728 140722871194463 140722871194663 140722871194663 140722871197613 0
/proc/11955/statm: 36448 30889 351 64 0 32652 0
[pid=11940/tid=11941] ppid=11731 vsize=8068440 memory=1060 CPUtime=0.8 cores=1,3,5,7
/proc/11940/task/11941/stat : 11941 (java) S 11731 11731 8795 0 -1 1077944384 16868 0 0 0 74 6 0 0 20 0 19 0 405505352 8262082560 30256 33554432000 4194304 4196468 140734950392944 140086864461728 140086892631765 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13746176 140734950396923 140734950397082 140734950397082 140734950399951 0
[pid=11940/tid=11942] ppid=11731 vsize=8068440 memory=2832 CPUtime=0 cores=1,3,5,7
/proc/11940/task/11942/stat : 11942 (java) S 11731 11731 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405505353 8262082560 30256 33554432000 4194304 4196468 140734950392944 140086896863888 140086892631765 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13746176 140734950396923 140734950397082 140734950397082 140734950399951 0
[pid=11940/tid=11943] ppid=11731 vsize=8068440 memory=1716 CPUtime=0 cores=1,3,5,7
/proc/11940/task/11943/stat : 11943 (java) S 11731 11731 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405505353 8262082560 30256 33554432000 4194304 4196468 140734950392944 140086697032208 140086892631765 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13746176 140734950396923 140734950397082 140734950397082 140734950399951 0
[pid=11940/tid=11944] ppid=11731 vsize=8068440 memory=121024 CPUtime=0 cores=1,3,5,7
/proc/11940/task/11944/stat : 11944 (java) S 11731 11731 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405505353 8262082560 30256 33554432000 4194304 4196468 140734950392944 140086695979408 140086892631765 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13746176 140734950396923 140734950397082 140734950397082 140734950399951 0
[pid=11940/tid=11945] ppid=11731 vsize=8068440 memory=120656 CPUtime=0 cores=1,3,5,7
/proc/11940/task/11945/stat : 11945 (java) S 11731 11731 8795 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405505353 8262082560 30256 33554432000 4194304 4196468 140734950392944 140086694926608 140086892631765 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13746176 140734950396923 140734950397082 140734950397082 140734950399951 0
[pid=11940/tid=11946] ppid=11731 vsize=8068440 memory=776 CPUtime=0 cores=1,3,5,7
/proc/11940/task/11946/stat : 11946 (java) S 11731 11731 8795 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 405505354 8262082560 30256 33554432000 4194304 4196468 140734950392944 140086338993008 140086892632706 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13746176 140734950396923 140734950397082 140734950397082 140734950399951 0
[pid=11940/tid=11947] ppid=11731 vsize=8068440 memory=1540 CPUtime=0 cores=1,3,5,7
/proc/11940/task/11947/stat : 11947 (java) S 11731 11731 8795 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 405505354 8262082560 30256 33554432000 4194304 4196468 140734950392944 140085727061536 140086892631765 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13746176 140734950396923 140734950397082 140734950397082 140734950399951 0
[pid=11940/tid=11948] ppid=11731 vsize=8068440 memory=692 CPUtime=0 cores=1,3,5,7
/proc/11940/task/11948/stat : 11948 (java) S 11731 11731 8795 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 405505355 8262082560 30256 33554432000 4194304 4196468 140734950392944 140085592839536 140086892631765 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13746176 140734950396923 140734950397082 140734950397082 140734950399951 0
[pid=11940/tid=11949] ppid=11731 vsize=8068440 memory=288230574492221466 CPUtime=0 cores=1,3,5,7
/proc/11940/task/11949/stat : 11949 (java) S 11731 11731 8795 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405505357 8262082560 30256 33554432000 4194304 4196468 140734950392944 140085218335056 140086892640155 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13746176 140734950396923 140734950397082 140734950397082 140734950399951 0
[pid=11940/tid=11950] ppid=11731 vsize=8068440 memory=288230596050944315 CPUtime=0.15 cores=1,3,5,7
/proc/11940/task/11950/stat : 11950 (java) S 11731 11731 8795 0 -1 1077944384 415 0 0 0 15 0 0 0 20 0 19 0 405505357 8262082560 30256 33554432000 4194304 4196468 140734950392944 140086337939824 140086892632706 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13746176 140734950396923 140734950397082 140734950397082 140734950399951 0
[pid=11940/tid=11951] ppid=11731 vsize=8068440 memory=14690799036142200 CPUtime=0.16 cores=1,3,5,7
/proc/11940/task/11951/stat : 11951 (java) S 11731 11731 8795 0 -1 1077944384 980 0 0 0 16 0 0 0 20 0 19 0 405505357 8262082560 30256 33554432000 4194304 4196468 140734950392944 140086336887024 140086892632706 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13746176 140734950396923 140734950397082 140734950397082 140734950399951 0
[pid=11940/tid=11952] ppid=11731 vsize=8068440 memory=2664 CPUtime=0.23 cores=1,3,5,7
/proc/11940/task/11952/stat : 11952 (java) S 11731 11731 8795 0 -1 1077944384 589 0 0 0 23 0 0 0 20 0 19 0 405505357 8262082560 30256 33554432000 4194304 4196468 140734950392944 140086335834224 140086892632706 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13746176 140734950396923 140734950397082 140734950397082 140734950399951 0
[pid=11940/tid=11953] ppid=11731 vsize=8068440 memory=3736 CPUtime=0 cores=1,3,5,7
/proc/11940/task/11953/stat : 11953 (java) S 11731 11731 8795 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405505357 8262082560 30256 33554432000 4194304 4196468 140734950392944 140084720429280 140086892631765 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13746176 140734950396923 140734950397082 140734950397082 140734950399951 0
[pid=11940/tid=11954] ppid=11731 vsize=8068440 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/11940/task/11954/stat : 11954 (java) S 11731 11731 8795 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405505358 8262082560 30256 33554432000 4194304 4196468 140734950392944 140086334782640 140086892632706 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 2 0 0 6293624 6294260 13746176 140734950396923 140734950397082 140734950397082 140734950399951 0
[pid=11940/tid=11956] ppid=11731 vsize=8068440 memory=121024 CPUtime=0 cores=1,3,5,7
/proc/11940/task/11956/stat : 11956 (java) S 11731 11731 8795 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 405505429 8262082560 30256 33554432000 4194304 4196468 140734950392944 140086125389504 140086892646169 0 4 2 25189581 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 13746176 140734950396923 140734950397082 140734950397082 140734950399951 0
[pid=11940/tid=11958] ppid=11731 vsize=8068440 memory=3844 CPUtime=0 cores=1,3,5,7
/proc/11940/task/11958/stat : 11958 (java) S 11731 11731 8795 0 -1 4202560 30 0 0 0 0 0 0 0 20 0 19 0 405505429 8262082560 30256 33554432000 4194304 4196468 140734950392944 140084183543600 140086892643485 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 13746176 140734950396923 140734950397082 140734950397082 140734950399951 0
[pid=11940/tid=11959] ppid=11731 vsize=8068440 memory=2932 CPUtime=0 cores=1,3,5,7
/proc/11940/task/11959/stat : 11959 (java) S 11731 11731 8795 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 405505429 8262082560 30256 33554432000 4194304 4196468 140734950392944 140084317765296 140086892643485 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 13746176 140734950396923 140734950397082 140734950397082 140734950399951 0
[pid=11940/tid=11960] ppid=11731 vsize=8068440 memory=3736 CPUtime=0 cores=1,3,5,7
/proc/11940/task/11960/stat : 11960 (java) S 11731 11731 8795 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405505432 8262082560 30256 33554432000 4194304 4196468 140734950392944 140083915119792 140086892631765 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13746176 140734950396923 140734950397082 140734950397082 140734950399951 0
Current children cumulated CPU time: 990.86 s
Current children cumulated vsize: 8327360 KiB
Current children cumulated memory: 246056 KiB
[startup+839.401 s]
/proc/loadavg: 2.27 2.14 2.14 3/239 11961
/proc/meminfo: memFree=24662664/32770624 swapFree=66927092/67108860
[pid=11731] ppid=11728 vsize=113128 memory=1476 CPUtime=987.47 cores=1,3,5,7
/proc/11731/stat : 11731 (scop.sh) S 11728 11731 8795 0 -1 4202496 584 306020 0 0 0 0 97828 919 20 0 1 0 405421710 115843072 369 33554432000 4194304 5098028 140736675333984 140736675330728 140605103235708 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 36892672 140736675337000 140736675337328 140736675337328 140736675340237 0
/proc/11731/statm: 28282 369 311 221 0 87 0
[pid=11940] ppid=11731 vsize=8068440 memory=121024 CPUtime=1.39 cores=1,3,5,7
/proc/11940/stat : 11940 (java) S 11731 11731 8795 0 -1 1077944320 20283 0 0 0 131 8 0 0 20 0 19 0 405505351 8262082560 30256 33554432000 4194304 4196468 140734950392944 140734950375488 140086892621559 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 13746176 140734950396923 140734950397082 140734950397082 140734950399951 0
/proc/11940/statm: 2017110 30256 3194 1 0 1978454 0
[pid=11955] ppid=11940 vsize=135216 memory=113872 CPUtime=2.2 cores=1,3,5,7
/proc/11955/stat : 11955 (glueminisat-sim) R 11940 11731 8795 0 -1 4202496 47425 0 0 0 215 5 0 0 20 0 1 0 405505429 138461184 28468 33554432000 4194304 4452875 140722871189040 140722871184136 4321082 0 4 0 8388610 0 0 0 17 1 0 0 0 0 0 6552096 6554264 20553728 140722871194463 140722871194663 140722871194663 140722871197613 0
/proc/11955/statm: 33804 28468 366 64 0 30008 0
[pid=11940/tid=11941] ppid=11731 vsize=8068440 memory=42904 CPUtime=0.8 cores=1,3,5,7
/proc/11940/task/11941/stat : 11941 (java) S 11731 11731 8795 0 -1 1077944384 16868 0 0 0 74 6 0 0 20 0 19 0 405505352 8262082560 30256 33554432000 4194304 4196468 140734950392944 140086864461728 140086892631765 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13746176 140734950396923 140734950397082 140734950397082 140734950399951 0
[pid=11940/tid=11942] ppid=11731 vsize=8068440 memory=-7824251494390455394 CPUtime=0 cores=1,3,5,7
/proc/11940/task/11942/stat : 11942 (java) S 11731 11731 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405505353 8262082560 30256 33554432000 4194304 4196468 140734950392944 140086896863888 140086892631765 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13746176 140734950396923 140734950397082 140734950397082 140734950399951 0
[pid=11940/tid=11943] ppid=11731 vsize=8068440 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/11940/task/11943/stat : 11943 (java) S 11731 11731 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405505353 8262082560 30256 33554432000 4194304 4196468 140734950392944 140086697032208 140086892631765 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13746176 140734950396923 140734950397082 140734950397082 140734950399951 0
[pid=11940/tid=11944] ppid=11731 vsize=8068440 memory=49 CPUtime=0 cores=1,3,5,7
/proc/11940/task/11944/stat : 11944 (java) S 11731 11731 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405505353 8262082560 30256 33554432000 4194304 4196468 140734950392944 140086695979408 140086892631765 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13746176 140734950396923 140734950397082 140734950397082 140734950399951 0
[pid=11940/tid=11945] ppid=11731 vsize=8068440 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11940/task/11945/stat : 11945 (java) S 11731 11731 8795 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405505353 8262082560 30256 33554432000 4194304 4196468 140734950392944 140086694926608 140086892631765 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13746176 140734950396923 140734950397082 140734950397082 140734950399951 0
[pid=11940/tid=11946] ppid=11731 vsize=8068440 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11940/task/11946/stat : 11946 (java) S 11731 11731 8795 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 405505354 8262082560 30256 33554432000 4194304 4196468 140734950392944 140086338993008 140086892632706 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13746176 140734950396923 140734950397082 140734950397082 140734950399951 0
[pid=11940/tid=11947] ppid=11731 vsize=8068440 memory=988 CPUtime=0 cores=1,3,5,7
/proc/11940/task/11947/stat : 11947 (java) S 11731 11731 8795 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 405505354 8262082560 30256 33554432000 4194304 4196468 140734950392944 140085727061536 140086892631765 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13746176 140734950396923 140734950397082 140734950397082 140734950399951 0
[pid=11940/tid=11948] ppid=11731 vsize=8068440 memory=1424 CPUtime=0 cores=1,3,5,7
/proc/11940/task/11948/stat : 11948 (java) S 11731 11731 8795 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 405505355 8262082560 30256 33554432000 4194304 4196468 140734950392944 140085592839536 140086892631765 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13746176 140734950396923 140734950397082 140734950397082 140734950399951 0
[pid=11940/tid=11949] ppid=11731 vsize=8068440 memory=9592 CPUtime=0 cores=1,3,5,7
/proc/11940/task/11949/stat : 11949 (java) S 11731 11731 8795 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405505357 8262082560 30256 33554432000 4194304 4196468 140734950392944 140085218335056 140086892640155 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13746176 140734950396923 140734950397082 140734950397082 140734950399951 0
[pid=11940/tid=11950] ppid=11731 vsize=8068440 memory=776 CPUtime=0.15 cores=1,3,5,7
/proc/11940/task/11950/stat : 11950 (java) S 11731 11731 8795 0 -1 1077944384 415 0 0 0 15 0 0 0 20 0 19 0 405505357 8262082560 30256 33554432000 4194304 4196468 140734950392944 140086337939824 140086892632706 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13746176 140734950396923 140734950397082 140734950397082 140734950399951 0
[pid=11940/tid=11951] ppid=11731 vsize=8068440 memory=1540 CPUtime=0.16 cores=1,3,5,7
/proc/11940/task/11951/stat : 11951 (java) S 11731 11731 8795 0 -1 1077944384 980 0 0 0 16 0 0 0 20 0 19 0 405505357 8262082560 30256 33554432000 4194304 4196468 140734950392944 140086336887024 140086892632706 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13746176 140734950396923 140734950397082 140734950397082 140734950399951 0
[pid=11940/tid=11952] ppid=11731 vsize=8068440 memory=692 CPUtime=0.23 cores=1,3,5,7
/proc/11940/task/11952/stat : 11952 (java) S 11731 11731 8795 0 -1 1077944384 589 0 0 0 23 0 0 0 20 0 19 0 405505357 8262082560 30256 33554432000 4194304 4196468 140734950392944 140086335834224 140086892632706 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13746176 140734950396923 140734950397082 140734950397082 140734950399951 0
[pid=11940/tid=11953] ppid=11731 vsize=8068440 memory=4004 CPUtime=0 cores=1,3,5,7
/proc/11940/task/11953/stat : 11953 (java) S 11731 11731 8795 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405505357 8262082560 30256 33554432000 4194304 4196468 140734950392944 140084720429280 140086892631765 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13746176 140734950396923 140734950397082 140734950397082 140734950399951 0
[pid=11940/tid=11954] ppid=11731 vsize=8068440 memory=1060 CPUtime=0 cores=1,3,5,7
/proc/11940/task/11954/stat : 11954 (java) S 11731 11731 8795 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405505358 8262082560 30256 33554432000 4194304 4196468 140734950392944 140086334782640 140086892632706 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 2 0 0 6293624 6294260 13746176 140734950396923 140734950397082 140734950397082 140734950399951 0
[pid=11940/tid=11956] ppid=11731 vsize=8068440 memory=2832 CPUtime=0 cores=1,3,5,7
/proc/11940/task/11956/stat : 11956 (java) S 11731 11731 8795 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 405505429 8262082560 30256 33554432000 4194304 4196468 140734950392944 140086125389504 140086892646169 0 4 2 25189581 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 13746176 140734950396923 140734950397082 140734950397082 140734950399951 0
[pid=11940/tid=11958] ppid=11731 vsize=8068440 memory=1716 CPUtime=0 cores=1,3,5,7
/proc/11940/task/11958/stat : 11958 (java) S 11731 11731 8795 0 -1 4202560 30 0 0 0 0 0 0 0 20 0 19 0 405505429 8262082560 30256 33554432000 4194304 4196468 140734950392944 140084183543600 140086892643485 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 13746176 140734950396923 140734950397082 140734950397082 140734950399951 0
[pid=11940/tid=11959] ppid=11731 vsize=8068440 memory=1124 CPUtime=0 cores=1,3,5,7
/proc/11940/task/11959/stat : 11959 (java) S 11731 11731 8795 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 405505429 8262082560 30256 33554432000 4194304 4196468 140734950392944 140084317765296 140086892643485 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 13746176 140734950396923 140734950397082 140734950397082 140734950399951 0
[pid=11940/tid=11960] ppid=11731 vsize=8068440 memory=5912 CPUtime=0 cores=1,3,5,7
/proc/11940/task/11960/stat : 11960 (java) S 11731 11731 8795 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405505432 8262082560 30256 33554432000 4194304 4196468 140734950392944 140083915119792 140086892631765 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13746176 140734950396923 140734950397082 140734950397082 140734950399951 0
Current children cumulated CPU time: 991.06 s
Current children cumulated vsize: 8316784 KiB
Current children cumulated memory: 236372 KiB
Child status: 0
Real time (s): 839.445
CPU time (s): 991.161
CPU user time (s): 981.808
CPU system time (s): 9.35379
CPU usage (%): 118.073
Max. virtual memory (cumulated for all children) (KiB): 15142500
Max. memory (cumulated for all children) (KiB): 11589520
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 981.808
system time used= 9.35379
maximum resident set size= 11588576
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 374954
page faults= 0
swaps= 0
block input operations= 0
block output operations= 25392
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 26573
involuntary context switches= 2819
# summary of solver processes directly reported to runsolver:
# pid: 11731
# total CPU time (s): 991.161
# total CPU user time (s): 981.808
# total CPU system time (s): 9.35379
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.16955 second user time and 8.79345 second system time
The end