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-11649-serial-file.bin HOME/instance-4387863-1568291723.xml
0.67/0.53
0.67/0.53 Fun-sCOP order+glueminisat-simp-2.2.10-193oa-n-release (2019-06-15)
0.67/0.53
0.67/0.56 c BEGIN-Prog: Thu Sep 12 14:34:43 CEST 2019
0.67/0.56 c PID: 11652
0.67/0.56 c IP: 172.20.3.137
0.67/0.56 c HOST: node137.alineos.net
0.67/0.56 c (0,0) Parsing Begin
122.26/95.43 c (94,88) Parsing End
122.26/95.44 c (94,88) CSP: 1000 int (0 aux), 0 bool (0 aux), 1998000 ctr, max domain size 999
122.26/95.44 c (94,88) Heap : 3430 MiB used (max 10758 MiB), NonHeap : 24 MiB used (max 0 MiB)
122.26/95.44 c (94,88) Constraint Name Generate Begin
127.24/100.29 c (99,93) Ctr:HOME/instance-4387863-1568291723.xml,Eq:Imp:Le:Num:Var
127.24/100.29 c (99,93) Constraint Name Generate End
127.24/100.29 c (99,93) Heap : 4816 MiB used (max 10758 MiB), NonHeap : 23 MiB used (max 0 MiB)
127.24/100.29 c (99,93) CSP to CSPinCNF Begin
139.01/107.71 c (107,99) translated 199800 (10%) constraints
148.40/114.47 c (113,105) translated 399600 (20%) constraints
154.30/120.35 c (119,111) translated 599400 (30%) constraints
161.43/126.54 c (126,117) translated 799200 (40%) constraints
168.59/132.73 c (132,123) translated 999000 (50%) constraints
174.90/138.72 c (138,129) translated 1198800 (60%) constraints
180.80/144.68 c (144,135) translated 1398600 (70%) constraints
188.12/150.98 c (150,141) translated 1598400 (80%) constraints
194.12/156.93 c (156,146) translated 1798200 (90%) constraints
201.84/163.30 c (162,152) translated 1998000 (100%) constraints
201.84/163.30 c (162,152) ===========================================
201.84/163.31 c (162,152) Order
201.84/163.31 c (162,152) ===========================================
205.48/166.35 c (165,155) translated 199800 (10%) constraints
208.48/169.38 c (168,159) translated 399600 (20%) constraints
213.15/172.77 c (172,161) translated 599400 (30%) constraints
216.16/175.74 c (175,164) translated 799200 (40%) constraints
219.17/178.71 c (178,167) translated 999000 (50%) constraints
236.80/192.86 c (192,181) translated 1198800 (60%) constraints
254.03/206.97 c (206,194) translated 1398600 (70%) constraints
269.10/220.34 c (219,207) translated 1598400 (80%) constraints
286.68/234.76 c (234,220) translated 1798200 (90%) constraints
303.96/248.69 c (248,233) translated 1998000 (100%) constraints
303.96/248.69 c (248,233) CSP to CSPinCNF End
304.28/248.93 c (248,233) CSP: 1000 int (0 aux), 999000 bool (999000 aux), 3996000 ctr, max domain size 999
304.28/248.93 c (248,233) Heap : 7437 MiB used (max 10827 MiB), NonHeap : 27 MiB used (max 0 MiB)
304.28/248.93 c (248,233) CSPinCNF Propagation Begin
984.12/837.59 c (837,791) 1719216 values, 2594122 unsatisfiable literals, and 3559806 valid clauses are removed
984.12/837.59 c (837,791) CSPinCNF Propagation End
984.52/837.96 c (837,791) CSP: 987 int (0 aux), 999013 bool (999000 aux), 436194 ctr, max domain size 955
984.52/837.96 c (837,791) Heap : 7313 MiB used (max 10853 MiB), NonHeap : 26 MiB used (max 0 MiB)
984.63/838.01 c (837,791) Simplify CSPinCNF Begin
985.56/838.77 c (838,792) Simplify CSPinCNF End
985.97/839.14 c (838,793) CSP: 987 int (0 aux), 999013 bool (999000 aux), 436194 ctr, max domain size 955
985.97/839.14 c (838,793) Heap : 7667 MiB used (max 10853 MiB), NonHeap : 26 MiB used (max 0 MiB)
985.97/839.14 c (838,793) Calculate Precise Domain Begin
985.97/839.14 c (838,793) 0 values are removed by re-calculation
985.97/839.14 c (838,793) Calculate Precise Domain End
986.37/839.51 c (838,793) CSP: 987 int (0 aux), 999013 bool (999000 aux), 436194 ctr, max domain size 955
986.37/839.51 c (838,793) Heap : 7667 MiB used (max 10853 MiB), NonHeap : 26 MiB used (max 0 MiB)
986.37/839.51 c (838,793) CSPinCNF to SatSolver Begin
994.60/842.54 c (842,795) 43620 (10 %) CSP clauses are encoded (0 SAT variables, 181101 SAT clauses)
994.96/842.82 c (842,795) 87239 (20 %) CSP clauses are encoded (0 SAT variables, 224720 SAT clauses)
995.17/843.10 c (842,795) 130859 (30 %) CSP clauses are encoded (0 SAT variables, 268340 SAT clauses)
995.47/843.37 c (842,796) 174478 (40 %) CSP clauses are encoded (0 SAT variables, 311959 SAT clauses)
995.76/843.65 c (843,796) 218097 (50 %) CSP clauses are encoded (0 SAT variables, 355578 SAT clauses)
996.06/843.92 c (843,796) 261717 (60 %) CSP clauses are encoded (0 SAT variables, 399198 SAT clauses)
996.27/844.19 c (843,796) 305336 (70 %) CSP clauses are encoded (0 SAT variables, 442817 SAT clauses)
996.56/844.47 c (843,797) 348956 (80 %) CSP clauses are encoded (0 SAT variables, 486437 SAT clauses)
996.86/844.74 c (844,797) 392575 (90 %) CSP clauses are encoded (0 SAT variables, 530056 SAT clauses)
997.17/845.01 c (844,797) 436194 (100 %) CSP clauses are encoded (0 SAT variables, 573675 SAT clauses)
997.17/845.01 c (844,797) CSPinCNF to SatSolver End
997.17/845.01 c (844,797) Heap : 8832 MiB used (max 10863 MiB), NonHeap : 28 MiB used (max 0 MiB)
997.17/845.01 c (844,797) 277784 bool, 573676 clause
997.17/845.01 c (844,797) Export Begin
997.38/845.16 c (844,797) Export to HOME/scop-11649-serial-file.bin
997.38/845.16 c (844,797) Export End
997.38/845.16 c (844,797) Export File Size: 0.16 MB
997.38/845.16 c (844,797) 94,99,248,837,838,838,844,STOP-AFTER(DIMACS)
997.38/845.16 c END-Prog: Thu Sep 12 14:48:47 CEST 2019
0.00/845.22 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-11649-serial-file.bin
997.59/845.70 c (0,0) Read Serial File Begin
997.59/845.70 c (0,0) HOME/scop-11649-serial-file.bin
997.59/845.96 c (0,0) Read Serial File End
997.59/845.98
997.59/845.98 Fun-sCOP order+glueminisat-simp-2.2.10-193oa-n-release (2019-06-15)
997.59/845.98 (Solving Process)
997.59/845.98
997.59/846.00 c BEGIN-Prog: Thu Sep 12 14:48:48 CEST 2019
997.59/846.00 c PID: 11821
997.59/846.00 c IP: 172.20.3.137
997.59/846.00 c HOST: node137.alineos.net
997.59/846.00 c (0,0) SatSolver.solve Begin
997.59/846.00 c (0,0) HOME/glueminisat-simp-2.2.10-193oa-n-release -model -verb=3 -elim-cl=5000000 -native-oa HOME/instance-4387863-1568291723.xml-scop-11652.cnf
998.82/846.03 c (0,0) c WARNING: for repeatability, setting FPU to use double precision
998.82/846.03 c (0,0) c glueminisat-simp-2.2.10-193oa-n
998.82/846.03 c (0,0) c Command: HOME/glueminisat-simp-2.2.10-193oa-n-release -model -verb=3 -elim-cl=5000000 -native-oa HOME/instance-4387863-1568291723.xml-scop-11652.cnf
998.82/846.03 c (0,0) c Options:
998.82/846.03 c (0,0) c CORE
998.82/846.03 c (0,0) c var_decay = 0.950
998.82/846.03 c (0,0) c clause_decay = 0.999
998.82/846.03 c (0,0) c random_var_freq = 0.000
998.82/846.03 c (0,0) c random_seed = 91648253.000
998.82/846.03 c (0,0) c luby_restart = 1
998.82/846.03 c (0,0) c ccmin_mode = 2
998.82/846.03 c (0,0) c phase_saving = 2
998.82/846.03 c (0,0) c rnd_pol = 0
998.82/846.03 c (0,0) c rnd_init_act = 0
998.82/846.03 c (0,0) c garbage_frac = 0.200
998.82/846.03 c (0,0) c restart_first = 1000
998.82/846.03 c (0,0) c restart_inc = 2.000
998.82/846.03 c (0,0) c MODEL
998.82/846.03 c (0,0) c partial_model = 0
998.82/846.03 c (0,0) c PROPAGATION
998.82/846.03 c (0,0) c bin_propagation = 1
998.82/846.03 c (0,0) c SIMPLIFICATION
998.82/846.03 c (0,0) c lrn_min_size = 100
998.82/846.04 c (0,0) c lazy_simp = 1
998.82/846.04 c (0,0) c lazy_interval = 10
998.82/846.04 c (0,0) c lazy_fld_probing = 1
998.82/846.04 c (0,0) c lazy_pol_probing = 1
998.82/846.04 c (0,0) c lazy_nec_probing = 1
998.82/846.04 c (0,0) c lazy_eqv_probing = 1
998.82/846.04 c (0,0) c lazy_cla_probing = 1
998.82/846.04 c (0,0) c lazy_lrn_min = 2
998.82/846.04 c (0,0) c lazy_uw_lit_elim = 1
998.82/846.04 c (0,0) c lazy_pr_lit_elim = 0
998.82/846.04 c (0,0) c lazy_bin_add = 3
998.82/846.04 c (0,0) c probed_lit_chain = 1
998.82/846.04 c (0,0) c pr_min_lits = 0.00020
998.82/846.04 c (0,0) c pr_min_starts = 500
998.82/846.04 c (0,0) c rw_min_lits = 0.010
998.82/846.04 c (0,0) c rw_min_starts = 500
998.82/846.04 c (0,0) c rand_attach = 0
998.82/846.04 c (0,0) c dec_elim = 1
998.82/846.04 c (0,0) c dec_elim_lim = 25
998.82/846.04 c (0,0) c dec_elim_len = -1
998.82/846.04 c (0,0) c amo = 0
998.82/846.04 c (0,0) c amo_grp = 1
998.82/846.04 c (0,0) c amo_max_bins = 1000000
998.82/846.04 c (0,0) c amo_starts = 50
998.82/846.04 c (0,0) c mace_cmd = mace
998.82/846.04 c (0,0) c DECISION
998.82/846.04 c (0,0) c rand_rebuild = 0
998.82/846.04 c (0,0) c rand_rebuild_confs = 10000
998.82/846.04 c (0,0) c inc_var_decay = 1
998.82/846.04 c (0,0) c inc_var_decay_period = 100000
998.82/846.04 c (0,0) c inc_var_decay_init = 0.600
998.82/846.04 c (0,0) c var_decay_mode = 0
998.82/846.04 c (0,0) c var_decay_gain = 0
998.82/846.04 c (0,0) c sloped_var_decay = 1
998.82/846.04 c (0,0) c max_var_decay = 0.990
998.82/846.04 c (0,0) c min_var_decay = 0.950
998.82/846.04 c (0,0) c min_var_decay_vars = 10000
998.82/846.04 c (0,0) c max_var_decay_vars = 500
998.82/846.04 c (0,0) c uip_bumping = 1
998.82/846.04 c (0,0) c lbd_act_bumping = 1
998.82/846.04 c (0,0) c rand_tiebreak = 0
998.82/846.04 c (0,0) c simp_rebuild = 1
998.82/846.04 c (0,0) c RESTART
998.82/846.04 c (0,0) c restart_strategy = 2
998.82/846.04 c (0,0) c restart_blocking = 0
998.82/846.04 c (0,0) c agility_decay = 0.99990
998.82/846.04 c (0,0) c lbd_restart_rate = 0.800
998.82/846.04 c (0,0) c dec_restart_rate = 0.950
998.82/846.04 c (0,0) c blk_restart_rate = 0.700
998.82/846.04 c (0,0) c lbd_queue_size = 50
998.82/846.04 c (0,0) c dec_queue_size = 50
998.82/846.04 c (0,0) c trl_queue_size = 5000
998.82/846.04 c (0,0) c blk_restart_weight = 1.000
998.82/846.04 c (0,0) c inc_rst_rate = 0
998.82/846.04 c (0,0) c inc_rst_rate_period = 500000
998.82/846.04 c (0,0) c inc_lbd_rst_rate_init = 0.600
998.82/846.04 c (0,0) c inc_dec_rst_rate_init = 0.750
998.82/846.04 c (0,0) c REDUCTION
998.82/846.04 c (0,0) c closed_lbd = 0
998.82/846.04 c (0,0) c closed_lbd_rate = 0.500
998.82/846.04 c (0,0) c rm_simulate = 0
998.82/846.04 c (0,0) c rdb_eval = 2
998.82/846.04 c (0,0) c rdb_call = 3
998.82/846.04 c (0,0) c rdb_ub = 0.500
998.82/846.04 c (0,0) c core_lbd_cvr = 0.800
998.82/846.04 c (0,0) c supp_lbd_cvr = 0.990
998.82/846.04 c (0,0) c core_lbd_lb = 2
998.82/846.04 c (0,0) c supp_lbd_lb = 2
998.82/846.04 c (0,0) c core_lbd_prd = 7
998.82/846.04 c (0,0) c supp_lbd_prd = 1
998.82/846.04 c (0,0) c othr_lbd_prd = 0
998.82/846.04 c (0,0) c inc_lrn_limit = 1000
998.82/846.04 c (0,0) c frozen_lbd = 30
998.82/846.04 c (0,0) c simp_min_starts = 100
998.82/846.04 c (0,0) c rm_low_act_learnts = 1
998.82/846.04 c (0,0) c lv0_reduce_db = 0
998.82/846.04 c (0,0) c reduce_db_base = 20000
998.82/846.04 c (0,0) c reduce_db_inc = 1000
998.82/846.04 c (0,0) c HARD
998.82/846.04 c (0,0) c inst_check = 200000
998.82/846.04 c (0,0) c small_block = 1.750
998.82/846.04 c (0,0) c slow_restart_speed = 400.000
998.82/846.04 c (0,0) c slow_restart_strategy = 3
998.82/846.04 c (0,0) c slow_lbd_restart_rate = 0.700
998.82/846.04 c (0,0) c slow_dec_restart_rate = 1.000
998.82/846.04 c (0,0) c slow_lbd_queue_size = 50
998.82/846.04 c (0,0) c slow_var_decay = 0.950
998.82/846.04 c (0,0) c slow_glue_threshold = 2
998.82/846.04 c (0,0) c slow_phase_saving = 2
998.82/846.04 c (0,0) c fast_restart_speed = 125.000
998.82/846.04 c (0,0) c fast_restart_strategy = 1
998.82/846.04 c (0,0) c fast_lbd_restart_rate = 0.800
998.82/846.04 c (0,0) c fast_dec_restart_rate = 0.950
998.82/846.04 c (0,0) c fast_lbd_queue_size = 50
998.82/846.04 c (0,0) c fast_var_decay = 1.000
998.82/846.04 c (0,0) c fast_glue_threshold = 2
998.82/846.04 c (0,0) c fast_phase_saving = 2
998.82/846.04 c (0,0) c STATS
998.82/846.04 c (0,0) c stats_conf_size = 10000
998.82/846.04 c (0,0) c max_stats_size = 30
998.82/846.04 c (0,0) c SOLVER
998.82/846.04 c (0,0) c minisat = 0
998.98/846.37 c (0,0) c Problem: 277784 variables, 573676 clauses, parsing 0.31 s
1000.05/847.16 c (1,0) c reduced to 13517 variables, 57814 clauses (grow = 0)
1000.14/847.26 c (1,0) c reduced to -65140 variables, 11698 clauses (grow = 8)
1000.14/847.26 c (1,0) c exclude 0 (0.0%) variables from decision variables (last cost 0)
1000.14/847.27 c (1,0) c Simplification: 342924 vars, 561978 clauses are eliminated using 0.88 s
1000.14/847.27 c (1,0) c
1000.14/847.27 c (1,0) c #Rstrts #Confs #Vars #Clauses #Learnts Lits/C LBD/C DLVs Trail
1000.14/847.27 c (1,0) c
1000.14/847.27 c (1,0) c 1 0 0 -65140 11698 0 -nan -nan -nan -nan%
1000.14/847.28 c (1,0) c 1 1 6 -71920 11698 4 29.5 2.0 2.0 39.7%
1000.14/847.28 c (1,0) c
1000.14/847.28 c (1,0) c
1000.14/847.28 c (1,0) c variables : -71920 (init 277784, after simp -65140, 0 non-decs, 931 csp)
1000.14/847.28 c (1,0) c clauses : 11698 (init 573676, after simp 11698)
1000.14/847.28 c (1,0) c restarts : 0 (6.00 confs/res, 6~6 confs, 0 blks, 0 last)
1000.14/847.28 c (1,0) c conflicts : 6 (5 /sec, 33.33% dconfs, 0.00% supp, trail 17567.79w x 2.00h, jmp 0.83h)
1000.14/847.28 c (1,0) c decisions : 5 (0.6000 vdcy, 4 /sec, 0.00% bin, rs 0.000 s)
1000.14/847.28 c (1,0) c propagations : 135264 (112113 /sec, 27052.80 lits/dec, 100.01% o.a.)
1000.14/847.28 c (1,0) c conflict literals : 215 (44.65% deleted; 0.00% by bin min, 0.000 s)
1000.14/847.28 c (1,0) c len : 29.500 (19.83 for all, max 51, used 51)
1000.14/847.28 c (1,0) c lbd : 2.000 (2.00 (1.50) for all, max 4, used 3, 0.000 stdev, 9.917 blk)
1000.14/847.28 c (1,0) c amo : 0 (0 max, -nan avg, 0.000 s)
1000.14/847.28 c (1,0) c simp dbs : 1 (0.003 s)
1000.14/847.28 c (1,0) c reduce dbs : 0 (core-lbd 2, supp-lbd 2147483647, 0.000 s)
1000.14/847.28 c (1,0) c learnts : 4 (0 learnts removed, 0.00%)
1000.14/847.28 c (1,0) c rewrite dbs : 0 (0/0 vars, 0+0 taut, 0+0 unit, 0.000 s)
1000.14/847.28 c (1,0) c assigned lits : 0 (0/0 probed, 0 remains)
1000.14/847.28 c (1,0) c premise updates : 0 (0.00 /lit)
1000.14/847.28 c (1,0) c probed variables : 0 (0 pr, 0 eq, 0 fld, 0 pol, 0 nec, 0 cla, 0 amo)
1000.14/847.28 c (1,0) c equiv variables : 0 (0 bin, 0 trn, 0 quat, 0 quin, 0 othr; 0 amo)
1000.14/847.28 c (1,0) c lazy added bins : 0 (0 prop + 0 conf, 0.001s)
1000.14/847.28 c (1,0) c unwatched lit elim: 0 (0.00+0.00%, 0+0 of 34099+215)
1000.14/847.28 c (1,0) c classified type : undef
1000.14/847.28 c (1,0) c progress : 856.734%
1000.14/847.28 c (1,0) c
1000.14/847.28 c (1,0) c [Statistics]
1000.14/847.28 c (1,0) c learnts len learnts lbd lit blk size eq vars size
1000.14/847.28 c (1,0) c tot 5 5 12 0
1000.14/847.28 c (1,0) c avg 23.800 1.800 9.917 -nan
1000.14/847.28 c (1,0) c 1 1 (20.0%) 2 (40.0%) 6 (50.0%) 0 (-nan%)
1000.14/847.28 c (1,0) c 2 0 ( 0.0%) 2 (40.0%) 1 ( 8.3%) 0 (-nan%)
1000.14/847.28 c (1,0) c 3 0 ( 0.0%) 1 (20.0%) 0 ( 0.0%) 0 (-nan%)
1000.14/847.28 c (1,0) c 4 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
1000.14/847.28 c (1,0) c 5 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
1000.14/847.28 c (1,0) c 6 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
1000.14/847.29 c (1,0) c 7 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
1000.14/847.29 c (1,0) c 8 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
1000.14/847.29 c (1,0) c 9 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
1000.14/847.29 c (1,0) c 10 0 ( 0.0%) 0 ( 0.0%) 1 ( 8.3%) 0 (-nan%)
1000.14/847.29 c (1,0) c 11 0 ( 0.0%) 0 ( 0.0%) 1 ( 8.3%) 0 (-nan%)
1000.14/847.29 c (1,0) c 12 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
1000.14/847.29 c (1,0) c 13 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
1000.14/847.29 c (1,0) c 14 1 (20.0%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
1000.14/847.29 c (1,0) c 15 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
1000.14/847.29 c (1,0) c 16 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
1000.14/847.29 c (1,0) c 17 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
1000.14/847.29 c (1,0) c 18 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
1000.14/847.29 c (1,0) c 19 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
1000.14/847.29 c (1,0) c 20 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
1000.14/847.29 c (1,0) c 21 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
1000.14/847.29 c (1,0) c 22 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
1000.14/847.29 c (1,0) c 23 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
1000.14/847.29 c (1,0) c 24 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
1000.14/847.29 c (1,0) c 25 0 ( 0.0%) 0 ( 0.0%) 1 ( 8.3%) 0 (-nan%)
1000.14/847.29 c (1,0) c 26 1 (20.0%) 0 ( 0.0%) 1 ( 8.3%) 0 (-nan%)
1000.14/847.29 c (1,0) c 27 1 (20.0%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
1000.14/847.29 c (1,0) c 28 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
1000.14/847.29 c (1,0) c 29 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
1000.14/847.29 c (1,0) c 30 1 (20.0%) 0 ( 0.0%) 1 ( 8.3%) 0 (-nan%)
1000.14/847.29 c (1,0) c
1000.14/847.29 c (1,0) c [LBD Statistics]
1000.14/847.29 c (1,0) c LBD used lbd used clause lbd unused clause lbd
1000.14/847.29 c (1,0) c tot 2 2 2
1000.14/847.29 c (1,0) c avg 3.000 2.000 2.000
1000.14/847.29 c (1,0) c 1 0 ( 0.0/ 0.0%) 1 (50.0/50.0%) 0 ( 0.0/ 0.0%)
1000.14/847.29 c (1,0) c 2 0 ( 0.0/ 0.0%) 0 ( 0.0/50.0%) 2 (100.0/100.0%)
1000.14/847.29 c (1,0) c 3 2 (100.0/100.0%) 1 (50.0/100.0%) 0 ( 0.0/100.0%)
1000.14/847.29 c (1,0) c
1000.14/847.29 c (1,0) c Memory used : 161.00 MB
1000.14/847.29 c (1,0) c CPU time : 1.207 s
1000.14/847.29 c (1,0) c Real time : 1.259 s
1000.14/847.29 c (1,0) c
1000.14/847.29 c (1,0) s UNSATISFIABLE
1000.14/847.29 c (1,0) SatSolver.solve End
1000.14/847.29 c (1,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
1000.14/847.29 c (1,0) Show results Begin
1000.14/847.29 s UNSATISFIABLE
1000.14/847.29 c (1,0) Show results End
1000.14/847.29 c (1,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
1000.26/847.30 c (1,0) 1,1,STOP-AFTER(ALL)
1000.26/847.30 c END-Prog: Thu Sep 12 14:48:50 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 (11804 MiB free)
memory of node 1: 16384 MiB (12301 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4387863-1568291723/watcher-4387863-1568291723 -o /tmp/evaluation-result-4387863-1568291723/solver-4387863-1568291723 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node137-1568286693-10212 --watchdog 2580 HOME/scop.sh 11g HOME/scop.jar -order HOME/glueminisat-simp-2.2.10-193oa-n-release -model:-verb=3:-elim-cl=5000000:-native-oa HOME HOME/instance-4387863-1568291723.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=11649, runsolver pid=11646
[startup+0.100088 s]*
/proc/loadavg: 2.29 2.08 2.07 3/234 11666
/proc/meminfo: memFree=24624536/32770624 swapFree=66927092/67108860
[pid=11649] ppid=11646 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/11649/stat : 11649 (scop.sh) S 11646 11649 8795 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 405419796 115843072 349 33554432000 4194304 5098028 140726271306160 140726271303416 139808767279740 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 37629952 140726271308584 140726271308912 140726271308912 140726271311821 0
/proc/11649/statm: 28282 349 296 221 0 87 0
[pid=11652] ppid=11649 vsize=15012696 memory=72652 CPUtime=0.12 cores=0,2,4,6
/proc/11652/stat : 11652 (java) S 11649 11649 8795 0 -1 1077944320 6897 0 0 0 9 3 0 0 20 0 15 0 405419797 15373000704 18163 33554432000 4194304 4196468 140732863666448 140732863648992 140315763461879 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 18694144 140732863668974 140732863669402 140732863669402 140732863672271 0
/proc/11652/statm: 3753174 18163 2941 1 0 3715579 0
[pid=11652/tid=11653] ppid=11649 vsize=15012696 memory=-6221015644179316675 CPUtime=0.09 cores=0,2,4,6
/proc/11652/task/11653/stat : 11653 (java) R 11649 11649 8795 0 -1 4202560 4798 0 0 0 7 2 0 0 20 0 15 0 405419797 15373000704 18229 33554432000 4194304 4196468 140732863666448 140315735255784 140315747542366 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18694144 140732863668974 140732863669402 140732863669402 140732863672271 0
[pid=11652/tid=11654] ppid=11649 vsize=15012696 memory=4206468019014099040 CPUtime=0 cores=0,2,4,6
/proc/11652/task/11654/stat : 11654 (java) S 11649 11649 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405419799 15373000704 18229 33554432000 4194304 4196468 140732863666448 140315767704208 140315763472085 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18694144 140732863668974 140732863669402 140732863669402 140732863672271 0
[pid=11652/tid=11655] ppid=11649 vsize=15012696 memory=140326897600128 CPUtime=0 cores=0,2,4,6
/proc/11652/task/11655/stat : 11655 (java) S 11649 11649 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405419799 15373000704 18229 33554432000 4194304 4196468 140732863666448 140315581860368 140315763472085 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18694144 140732863668974 140732863669402 140732863669402 140732863672271 0
[pid=11652/tid=11656] ppid=11649 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11652/task/11656/stat : 11656 (java) S 11649 11649 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405419799 15373000704 18229 33554432000 4194304 4196468 140732863666448 140315580807568 140315763472085 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18694144 140732863668974 140732863669402 140732863669402 140732863672271 0
[pid=11652/tid=11657] ppid=11649 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11652/task/11657/stat : 11657 (java) S 11649 11649 8795 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405419799 15373000704 18229 33554432000 4194304 4196468 140732863666448 140315579754768 140315763472085 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18694144 140732863668974 140732863669402 140732863669402 140732863672271 0
[pid=11652/tid=11658] ppid=11649 vsize=15012696 memory=140326897600128 CPUtime=0 cores=0,2,4,6
/proc/11652/task/11658/stat : 11658 (java) S 11649 11649 8795 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405419800 15373000704 18229 33554432000 4194304 4196468 140732863666448 140314801085296 140315763473026 0 0 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18694144 140732863668974 140732863669402 140732863669402 140732863672271 0
[pid=11652/tid=11659] ppid=11649 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11652/task/11659/stat : 11659 (java) S 11649 11649 8795 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405419801 15373000704 18229 33554432000 4194304 4196468 140732863666448 140314299852320 140315763472085 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18694144 140732863668974 140732863669402 140732863669402 140732863672271 0
[pid=11652/tid=11660] ppid=11649 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11652/task/11660/stat : 11660 (java) S 11649 11649 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405419801 15373000704 18229 33554432000 4194304 4196468 140732863666448 140314031416688 140315763472085 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18694144 140732863668974 140732863669402 140732863669402 140732863672271 0
[pid=11652/tid=11661] ppid=11649 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11652/task/11661/stat : 11661 (java) S 11649 11649 8795 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405419803 15373000704 18229 33554432000 4194304 4196468 140732863666448 140313656908112 140315763480475 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18694144 140732863668974 140732863669402 140732863669402 140732863672271 0
[pid=11652/tid=11662] ppid=11649 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11652/task/11662/stat : 11662 (java) S 11649 11649 8795 0 -1 1077944384 297 0 0 0 0 0 0 0 20 0 15 0 405419803 15373000704 18229 33554432000 4194304 4196468 140732863666448 140314800032112 140315763473026 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18694144 140732863668974 140732863669402 140732863669402 140732863672271 0
[pid=11652/tid=11663] ppid=11649 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11652/task/11663/stat : 11663 (java) S 11649 11649 8795 0 -1 1077944384 135 0 0 0 0 0 0 0 20 0 15 0 405419803 15373000704 18229 33554432000 4194304 4196468 140732863666448 140314798979312 140315763473026 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18694144 140732863668974 140732863669402 140732863669402 140732863672271 0
[pid=11652/tid=11664] ppid=11649 vsize=15012696 memory=140326897600128 CPUtime=0.01 cores=0,2,4,6
/proc/11652/task/11664/stat : 11664 (java) R 11649 11649 8795 0 -1 4202560 439 0 0 0 1 0 0 0 20 0 15 0 405419803 15373000704 18229 33554432000 4194304 4196468 140732863666448 140314797926512 140315742403470 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18694144 140732863668974 140732863669402 140732863669402 140732863672271 0
[pid=11652/tid=11665] ppid=11649 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11652/task/11665/stat : 11665 (java) S 11649 11649 8795 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405419803 15373000704 18229 33554432000 4194304 4196468 140732863666448 140313159002336 140315763472085 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18694144 140732863668974 140732863669402 140732863669402 140732863672271 0
[pid=11652/tid=11666] ppid=11649 vsize=15012696 memory=140326897600128 CPUtime=0 cores=0,2,4,6
/proc/11652/task/11666/stat : 11666 (java) S 11649 11649 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405419804 15373000704 18229 33554432000 4194304 4196468 140732863666448 140314796874928 140315763473026 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18694144 140732863668974 140732863669402 140732863669402 140732863672271 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 74048 KiB
[startup+0.210926 s]*
/proc/loadavg: 2.29 2.08 2.07 3/234 11666
/proc/meminfo: memFree=24605324/32770624 swapFree=66927092/67108860
[pid=11649] ppid=11646 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/11649/stat : 11649 (scop.sh) S 11646 11649 8795 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 405419796 115843072 349 33554432000 4194304 5098028 140726271306160 140726271303416 139808767279740 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 37629952 140726271308584 140726271308912 140726271308912 140726271311821 0
/proc/11649/statm: 28282 349 296 221 0 87 0
[pid=11652] ppid=11649 vsize=15012696 memory=88252 CPUtime=0.25 cores=0,2,4,6
/proc/11652/stat : 11652 (java) S 11649 11649 8795 0 -1 1077944320 12057 0 0 0 21 4 0 0 20 0 15 0 405419797 15373000704 22063 33554432000 4194304 4196468 140732863666448 140732863648992 140315763461879 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 18694144 140732863668974 140732863669402 140732863669402 140732863672271 0
/proc/11652/statm: 3753174 22063 2979 1 0 3715579 0
[pid=11652/tid=11653] ppid=11649 vsize=15012696 memory=7022364632946311227 CPUtime=0.2 cores=0,2,4,6
/proc/11652/task/11653/stat : 11653 (java) R 11649 11649 8795 0 -1 4202560 9815 0 0 0 17 3 0 0 20 0 15 0 405419797 15373000704 22063 33554432000 4194304 4196468 140732863666448 140315735261264 140315747542366 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18694144 140732863668974 140732863669402 140732863669402 140732863672271 0
[pid=11652/tid=11654] ppid=11649 vsize=15012696 memory=540 CPUtime=0 cores=0,2,4,6
/proc/11652/task/11654/stat : 11654 (java) S 11649 11649 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405419799 15373000704 22063 33554432000 4194304 4196468 140732863666448 140315767704208 140315763472085 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18694144 140732863668974 140732863669402 140732863669402 140732863672271 0
[pid=11652/tid=11655] ppid=11649 vsize=15012696 memory=140326900535793 CPUtime=0 cores=0,2,4,6
/proc/11652/task/11655/stat : 11655 (java) S 11649 11649 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405419799 15373000704 22063 33554432000 4194304 4196468 140732863666448 140315581860368 140315763472085 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18694144 140732863668974 140732863669402 140732863669402 140732863672271 0
[pid=11652/tid=11656] ppid=11649 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11652/task/11656/stat : 11656 (java) S 11649 11649 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405419799 15373000704 22063 33554432000 4194304 4196468 140732863666448 140315580807568 140315763472085 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18694144 140732863668974 140732863669402 140732863669402 140732863672271 0
[pid=11652/tid=11657] ppid=11649 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11652/task/11657/stat : 11657 (java) S 11649 11649 8795 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405419799 15373000704 22063 33554432000 4194304 4196468 140732863666448 140315579754768 140315763472085 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18694144 140732863668974 140732863669402 140732863669402 140732863672271 0
[pid=11652/tid=11658] ppid=11649 vsize=15012696 memory=140326897600128 CPUtime=0 cores=0,2,4,6
/proc/11652/task/11658/stat : 11658 (java) S 11649 11649 8795 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405419800 15373000704 22063 33554432000 4194304 4196468 140732863666448 140314801085296 140315763473026 0 0 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18694144 140732863668974 140732863669402 140732863669402 140732863672271 0
[pid=11652/tid=11659] ppid=11649 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11652/task/11659/stat : 11659 (java) S 11649 11649 8795 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405419801 15373000704 22063 33554432000 4194304 4196468 140732863666448 140314299852320 140315763472085 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18694144 140732863668974 140732863669402 140732863669402 140732863672271 0
[pid=11652/tid=11660] ppid=11649 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11652/task/11660/stat : 11660 (java) S 11649 11649 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405419801 15373000704 22063 33554432000 4194304 4196468 140732863666448 140314031416688 140315763472085 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18694144 140732863668974 140732863669402 140732863669402 140732863672271 0
[pid=11652/tid=11661] ppid=11649 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11652/task/11661/stat : 11661 (java) S 11649 11649 8795 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405419803 15373000704 22063 33554432000 4194304 4196468 140732863666448 140313656908112 140315763480475 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18694144 140732863668974 140732863669402 140732863669402 140732863672271 0
[pid=11652/tid=11662] ppid=11649 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11652/task/11662/stat : 11662 (java) S 11649 11649 8795 0 -1 1077944384 331 0 0 0 0 0 0 0 20 0 15 0 405419803 15373000704 22063 33554432000 4194304 4196468 140732863666448 140314800032112 140315763473026 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18694144 140732863668974 140732863669402 140732863669402 140732863672271 0
[pid=11652/tid=11663] ppid=11649 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11652/task/11663/stat : 11663 (java) S 11649 11649 8795 0 -1 1077944384 145 0 0 0 0 0 0 0 20 0 15 0 405419803 15373000704 22063 33554432000 4194304 4196468 140732863666448 140314798979312 140315763473026 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18694144 140732863668974 140732863669402 140732863669402 140732863672271 0
[pid=11652/tid=11664] ppid=11649 vsize=15012696 memory=140326897600128 CPUtime=0.02 cores=0,2,4,6
/proc/11652/task/11664/stat : 11664 (java) R 11649 11649 8795 0 -1 4202560 446 0 0 0 2 0 0 0 20 0 15 0 405419803 15373000704 22063 33554432000 4194304 4196468 140732863666448 140314797926512 140315742416564 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18694144 140732863668974 140732863669402 140732863669402 140732863672271 0
[pid=11652/tid=11665] ppid=11649 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11652/task/11665/stat : 11665 (java) S 11649 11649 8795 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405419803 15373000704 22063 33554432000 4194304 4196468 140732863666448 140313159002336 140315763472085 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18694144 140732863668974 140732863669402 140732863669402 140732863672271 0
[pid=11652/tid=11666] ppid=11649 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11652/task/11666/stat : 11666 (java) S 11649 11649 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405419804 15373000704 22063 33554432000 4194304 4196468 140732863666448 140314796874928 140315763473026 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18694144 140732863668974 140732863669402 140732863669402 140732863672271 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 89648 KiB
[startup+0.310737 s]*
/proc/loadavg: 2.29 2.08 2.07 4/234 11666
/proc/meminfo: memFree=24601912/32770624 swapFree=66927092/67108860
[pid=11649] ppid=11646 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/11649/stat : 11649 (scop.sh) S 11646 11649 8795 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 405419796 115843072 349 33554432000 4194304 5098028 140726271306160 140726271303416 139808767279740 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 37629952 140726271308584 140726271308912 140726271308912 140726271311821 0
/proc/11649/statm: 28282 349 296 221 0 87 0
[pid=11652] ppid=11649 vsize=15012696 memory=91944 CPUtime=0.44 cores=0,2,4,6
/proc/11652/stat : 11652 (java) S 11649 11649 8795 0 -1 1077944320 12557 0 0 0 39 5 0 0 20 0 15 0 405419797 15373000704 22986 33554432000 4194304 4196468 140732863666448 140732863648992 140315763461879 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 18694144 140732863668974 140732863669402 140732863669402 140732863672271 0
/proc/11652/statm: 3753174 22986 3024 1 0 3715579 0
[pid=11652/tid=11653] ppid=11649 vsize=15012696 memory=6791534058613427641 CPUtime=0.3 cores=0,2,4,6
/proc/11652/task/11653/stat : 11653 (java) R 11649 11649 8795 0 -1 4202560 10106 0 0 0 27 3 0 0 20 0 15 0 405419797 15373000704 22986 33554432000 4194304 4196468 140732863666448 140315735248176 140315747542366 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18694144 140732863668974 140732863669402 140732863669402 140732863672271 0
[pid=11652/tid=11654] ppid=11649 vsize=15012696 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/11652/task/11654/stat : 11654 (java) S 11649 11649 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405419799 15373000704 22986 33554432000 4194304 4196468 140732863666448 140315767704208 140315763472085 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18694144 140732863668974 140732863669402 140732863669402 140732863672271 0
[pid=11652/tid=11655] ppid=11649 vsize=15012696 memory=-5587046532246807594 CPUtime=0 cores=0,2,4,6
/proc/11652/task/11655/stat : 11655 (java) S 11649 11649 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405419799 15373000704 22986 33554432000 4194304 4196468 140732863666448 140315581860368 140315763472085 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18694144 140732863668974 140732863669402 140732863669402 140732863672271 0
[pid=11652/tid=11656] ppid=11649 vsize=15012696 memory=7379517702019849078 CPUtime=0 cores=0,2,4,6
/proc/11652/task/11656/stat : 11656 (java) S 11649 11649 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405419799 15373000704 22986 33554432000 4194304 4196468 140732863666448 140315580807568 140315763472085 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18694144 140732863668974 140732863669402 140732863669402 140732863672271 0
[pid=11652/tid=11657] ppid=11649 vsize=15012696 memory=7016714186490735262 CPUtime=0 cores=0,2,4,6
/proc/11652/task/11657/stat : 11657 (java) S 11649 11649 8795 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405419799 15373000704 22986 33554432000 4194304 4196468 140732863666448 140315579754768 140315763472085 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18694144 140732863668974 140732863669402 140732863669402 140732863672271 0
[pid=11652/tid=11658] ppid=11649 vsize=15012696 memory=4498404016631593313 CPUtime=0 cores=0,2,4,6
/proc/11652/task/11658/stat : 11658 (java) S 11649 11649 8795 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405419800 15373000704 22986 33554432000 4194304 4196468 140732863666448 140314801085296 140315763473026 0 0 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18694144 140732863668974 140732863669402 140732863669402 140732863672271 0
[pid=11652/tid=11659] ppid=11649 vsize=15012696 memory=-6519613052471072158 CPUtime=0 cores=0,2,4,6
/proc/11652/task/11659/stat : 11659 (java) S 11649 11649 8795 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405419801 15373000704 22986 33554432000 4194304 4196468 140732863666448 140314299852320 140315763472085 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18694144 140732863668974 140732863669402 140732863669402 140732863672271 0
[pid=11652/tid=11660] ppid=11649 vsize=15012696 memory=7827413994055111515 CPUtime=0 cores=0,2,4,6
/proc/11652/task/11660/stat : 11660 (java) S 11649 11649 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405419801 15373000704 22986 33554432000 4194304 4196468 140732863666448 140314031416688 140315763472085 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18694144 140732863668974 140732863669402 140732863669402 140732863672271 0
[pid=11652/tid=11661] ppid=11649 vsize=15012696 memory=8508281356422055839 CPUtime=0 cores=0,2,4,6
/proc/11652/task/11661/stat : 11661 (java) S 11649 11649 8795 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405419803 15373000704 22986 33554432000 4194304 4196468 140732863666448 140313656908112 140315763480475 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18694144 140732863668974 140732863669402 140732863669402 140732863672271 0
[pid=11652/tid=11662] ppid=11649 vsize=15012696 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/11652/task/11662/stat : 11662 (java) S 11649 11649 8795 0 -1 1077944384 429 0 0 0 2 0 0 0 20 0 15 0 405419803 15373000704 22986 33554432000 4194304 4196468 140732863666448 140314800032112 140315763473026 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18694144 140732863668974 140732863669402 140732863669402 140732863672271 0
[pid=11652/tid=11663] ppid=11649 vsize=15012696 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/11652/task/11663/stat : 11663 (java) S 11649 11649 8795 0 -1 1077944384 197 0 0 0 1 0 0 0 20 0 15 0 405419803 15373000704 22986 33554432000 4194304 4196468 140732863666448 140314798979312 140315763473026 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18694144 140732863668974 140732863669402 140732863669402 140732863672271 0
[pid=11652/tid=11664] ppid=11649 vsize=15012696 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/11652/task/11664/stat : 11664 (java) S 11649 11649 8795 0 -1 1077944384 496 0 0 0 7 0 0 0 20 0 15 0 405419803 15373000704 22986 33554432000 4194304 4196468 140732863666448 140314797926512 140315763473026 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18694144 140732863668974 140732863669402 140732863669402 140732863672271 0
[pid=11652/tid=11665] ppid=11649 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11652/task/11665/stat : 11665 (java) S 11649 11649 8795 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405419803 15373000704 22986 33554432000 4194304 4196468 140732863666448 140313159002336 140315763472085 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18694144 140732863668974 140732863669402 140732863669402 140732863672271 0
[pid=11652/tid=11666] ppid=11649 vsize=15012696 memory=3906370415604282416 CPUtime=0 cores=0,2,4,6
/proc/11652/task/11666/stat : 11666 (java) S 11649 11649 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405419804 15373000704 22986 33554432000 4194304 4196468 140732863666448 140314796874928 140315763473026 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18694144 140732863668974 140732863669402 140732863669402 140732863672271 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 93340 KiB
[startup+0.702416 s]
/proc/loadavg: 2.29 2.08 2.07 3/234 11666
/proc/meminfo: memFree=24581152/32770624 swapFree=66927092/67108860
[pid=11649] ppid=11646 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/11649/stat : 11649 (scop.sh) S 11646 11649 8795 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 405419796 115843072 349 33554432000 4194304 5098028 140726271306160 140726271303416 139808767279740 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 37629952 140726271308584 140726271308912 140726271308912 140726271311821 0
/proc/11649/statm: 28282 349 296 221 0 87 0
[pid=11652] ppid=11649 vsize=15018968 memory=131500 CPUtime=1.03 cores=0,2,4,6
/proc/11652/stat : 11652 (java) S 11649 11649 8795 0 -1 1077944320 20118 0 0 0 96 7 0 0 20 0 15 0 405419797 15379423232 32875 33554432000 4194304 4196468 140732863666448 140732863648992 140315763461879 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 18694144 140732863668974 140732863669402 140732863669402 140732863672271 0
/proc/11652/statm: 3754742 32875 3181 1 0 3716091 0
[pid=11652/tid=11653] ppid=11649 vsize=15018968 memory=0 CPUtime=0.68 cores=0,2,4,6
/proc/11652/task/11653/stat : 11653 (java) R 11649 11649 8795 0 -1 4202560 17161 0 0 0 63 5 0 0 20 0 15 0 405419797 15379423232 32875 33554432000 4194304 4196468 140732863666448 140315735299200 140315763473814 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18694144 140732863668974 140732863669402 140732863669402 140732863672271 0
[pid=11652/tid=11654] ppid=11649 vsize=15018968 memory=5252745004214 CPUtime=0 cores=0,2,4,6
/proc/11652/task/11654/stat : 11654 (java) S 11649 11649 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405419799 15379423232 32875 33554432000 4194304 4196468 140732863666448 140315767704208 140315763472085 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18694144 140732863668974 140732863669402 140732863669402 140732863672271 0
[pid=11652/tid=11655] ppid=11649 vsize=15018968 memory=288230596050944315 CPUtime=0 cores=0,2,4,6
/proc/11652/task/11655/stat : 11655 (java) S 11649 11649 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405419799 15379423232 32875 33554432000 4194304 4196468 140732863666448 140315581860368 140315763472085 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18694144 140732863668974 140732863669402 140732863669402 140732863672271 0
[pid=11652/tid=11656] ppid=11649 vsize=15018968 memory=14690799036142200 CPUtime=0 cores=0,2,4,6
/proc/11652/task/11656/stat : 11656 (java) S 11649 11649 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405419799 15379423232 32875 33554432000 4194304 4196468 140732863666448 140315580807568 140315763472085 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18694144 140732863668974 140732863669402 140732863669402 140732863672271 0
[pid=11652/tid=11657] ppid=11649 vsize=15018968 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11652/task/11657/stat : 11657 (java) S 11649 11649 8795 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405419799 15379423232 32875 33554432000 4194304 4196468 140732863666448 140315579754768 140315763472085 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18694144 140732863668974 140732863669402 140732863669402 140732863672271 0
[pid=11652/tid=11658] ppid=11649 vsize=15018968 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11652/task/11658/stat : 11658 (java) S 11649 11649 8795 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 405419800 15379423232 32875 33554432000 4194304 4196468 140732863666448 140314801085296 140315763473026 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18694144 140732863668974 140732863669402 140732863669402 140732863672271 0
[pid=11652/tid=11659] ppid=11649 vsize=15018968 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11652/task/11659/stat : 11659 (java) S 11649 11649 8795 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405419801 15379423232 32875 33554432000 4194304 4196468 140732863666448 140314299852320 140315763472085 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18694144 140732863668974 140732863669402 140732863669402 140732863672271 0
[pid=11652/tid=11660] ppid=11649 vsize=15018968 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11652/task/11660/stat : 11660 (java) S 11649 11649 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405419801 15379423232 32875 33554432000 4194304 4196468 140732863666448 140314031416688 140315763472085 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18694144 140732863668974 140732863669402 140732863669402 140732863672271 0
[pid=11652/tid=11661] ppid=11649 vsize=15018968 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11652/task/11661/stat : 11661 (java) S 11649 11649 8795 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405419803 15379423232 32875 33554432000 4194304 4196468 140732863666448 140313656908112 140315763480475 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18694144 140732863668974 140732863669402 140732863669402 140732863672271 0
[pid=11652/tid=11662] ppid=11649 vsize=15018968 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/11652/task/11662/stat : 11662 (java) R 11649 11649 8795 0 -1 4202560 521 0 0 0 7 0 0 0 20 0 15 0 405419803 15379423232 32875 33554432000 4194304 4196468 140732863666448 140314800020256 140315742864929 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18694144 140732863668974 140732863669402 140732863669402 140732863672271 0
[pid=11652/tid=11663] ppid=11649 vsize=15018968 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11652/task/11663/stat : 11663 (java) R 11649 11649 8795 0 -1 1077944384 440 0 0 0 8 0 0 0 20 0 15 0 405419803 15379423232 32875 33554432000 4194304 4196468 140732863666448 140314798979312 140315763473026 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18694144 140732863668974 140732863669402 140732863669402 140732863672271 0
[pid=11652/tid=11664] ppid=11649 vsize=15018968 memory=0 CPUtime=0.16 cores=0,2,4,6
/proc/11652/task/11664/stat : 11664 (java) R 11649 11649 8795 0 -1 4202560 661 0 0 0 16 0 0 0 20 0 15 0 405419803 15379423232 32875 33554432000 4194304 4196468 140732863666448 140314797924304 140315747992293 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18694144 140732863668974 140732863669402 140732863669402 140732863672271 0
[pid=11652/tid=11665] ppid=11649 vsize=15018968 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11652/task/11665/stat : 11665 (java) S 11649 11649 8795 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405419803 15379423232 32875 33554432000 4194304 4196468 140732863666448 140313159002336 140315763472085 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18694144 140732863668974 140732863669402 140732863669402 140732863672271 0
[pid=11652/tid=11666] ppid=11649 vsize=15018968 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11652/task/11666/stat : 11666 (java) S 11649 11649 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405419804 15379423232 32875 33554432000 4194304 4196468 140732863666448 140314796874928 140315763473026 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18694144 140732863668974 140732863669402 140732863669402 140732863672271 0
Current children cumulated CPU time: 1.03 s
Current children cumulated vsize: 15132096 KiB
Current children cumulated memory: 132896 KiB
[startup+1.50088 s]
/proc/loadavg: 2.29 2.08 2.07 3/234 11666
/proc/meminfo: memFree=24468068/32770624 swapFree=66927092/67108860
[pid=11649] ppid=11646 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/11649/stat : 11649 (scop.sh) S 11646 11649 8795 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 405419796 115843072 349 33554432000 4194304 5098028 140726271306160 140726271303416 139808767279740 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 37629952 140726271308584 140726271308912 140726271308912 140726271311821 0
/proc/11649/statm: 28282 349 296 221 0 87 0
################
# More data... #
################
[pid=11821/tid=11827] ppid=11649 vsize=8068440 memory=988 CPUtime=0 cores=0,2,4,6
/proc/11821/task/11827/stat : 11827 (java) S 11649 11649 8795 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 405504323 8262082560 29662 33554432000 4194304 4196468 140724989560336 140569727990512 140570281536130 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22745088 140724989563899 140724989564058 140724989564058 140724989566927 0
[pid=11821/tid=11828] ppid=11649 vsize=8068440 memory=1424 CPUtime=0 cores=0,2,4,6
/proc/11821/task/11828/stat : 11828 (java) S 11649 11649 8795 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 405504323 8262082560 29662 33554432000 4194304 4196468 140724989560336 140569179317920 140570281535189 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22745088 140724989563899 140724989564058 140724989564058 140724989566927 0
[pid=11821/tid=11829] ppid=11649 vsize=8068440 memory=9592 CPUtime=0 cores=0,2,4,6
/proc/11821/task/11829/stat : 11829 (java) S 11649 11649 8795 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 405504323 8262082560 29662 33554432000 4194304 4196468 140724989560336 140569045095664 140570281535189 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22745088 140724989563899 140724989564058 140724989564058 140724989566927 0
[pid=11821/tid=11830] ppid=11649 vsize=8068440 memory=776 CPUtime=0 cores=0,2,4,6
/proc/11821/task/11830/stat : 11830 (java) S 11649 11649 8795 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405504326 8262082560 29662 33554432000 4194304 4196468 140724989560336 140568670591440 140570281543579 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22745088 140724989563899 140724989564058 140724989564058 140724989566927 0
[pid=11821/tid=11831] ppid=11649 vsize=8068440 memory=1540 CPUtime=0.14 cores=0,2,4,6
/proc/11821/task/11831/stat : 11831 (java) S 11649 11649 8795 0 -1 1077944384 1020 0 0 0 14 0 0 0 20 0 19 0 405504326 8262082560 29662 33554432000 4194304 4196468 140724989560336 140569726937328 140570281536130 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22745088 140724989563899 140724989564058 140724989564058 140724989566927 0
[pid=11821/tid=11832] ppid=11649 vsize=8068440 memory=4872558044660077418 CPUtime=0.16 cores=0,2,4,6
/proc/11821/task/11832/stat : 11832 (java) S 11649 11649 8795 0 -1 1077944384 489 0 0 0 16 0 0 0 20 0 19 0 405504326 8262082560 29662 33554432000 4194304 4196468 140724989560336 140569725884784 140570281536130 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22745088 140724989563899 140724989564058 140724989564058 140724989566927 0
[pid=11821/tid=11833] ppid=11649 vsize=8068440 memory=11841316 CPUtime=0.23 cores=0,2,4,6
/proc/11821/task/11833/stat : 11833 (java) S 11649 11649 8795 0 -1 1077944384 828 0 0 0 23 0 0 0 20 0 19 0 405504326 8262082560 29662 33554432000 4194304 4196468 140724989560336 140569724831728 140570281536130 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22745088 140724989563899 140724989564058 140724989564058 140724989566927 0
[pid=11821/tid=11834] ppid=11649 vsize=8068440 memory=37264 CPUtime=0 cores=0,2,4,6
/proc/11821/task/11834/stat : 11834 (java) S 11649 11649 8795 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405504326 8262082560 29662 33554432000 4194304 4196468 140724989560336 140568172685664 140570281535189 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22745088 140724989563899 140724989564058 140724989564058 140724989566927 0
[pid=11821/tid=11835] ppid=11649 vsize=8068440 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/11821/task/11835/stat : 11835 (java) S 11649 11649 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405504327 8262082560 29662 33554432000 4194304 4196468 140724989560336 140569723780144 140570281536130 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22745088 140724989563899 140724989564058 140724989564058 140724989566927 0
Current children cumulated CPU time: 998.98 s
Current children cumulated vsize: 8181568 KiB
Current children cumulated memory: 120124 KiB
[startup+846.801 s]
/proc/loadavg: 1.98 2.08 2.12 3/229 11835
/proc/meminfo: memFree=13281084/32770624 swapFree=66927092/67108860
[pid=11649] ppid=11646 vsize=113128 memory=1476 CPUtime=997.59 cores=0,2,4,6
/proc/11649/stat : 11649 (scop.sh) S 11646 11649 8795 0 -1 4202496 584 216871 0 0 0 0 98837 922 20 0 1 0 405419796 115843072 369 33554432000 4194304 5098028 140726271306160 140726271302904 139808767279740 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 37629952 140726271308584 140726271308912 140726271308912 140726271311821 0
/proc/11649/statm: 28282 369 311 221 0 87 0
[pid=11821] ppid=11649 vsize=8068440 memory=118648 CPUtime=1.39 cores=0,2,4,6
/proc/11821/stat : 11821 (java) S 11649 11649 8795 0 -1 1077944320 21190 0 0 0 132 7 0 0 20 0 19 0 405504319 8262082560 29662 33554432000 4194304 4196468 140724989560336 140724989542880 140570281524983 0 0 2 25189581 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 22745088 140724989563899 140724989564058 140724989564058 140724989566927 0
/proc/11821/statm: 2017110 29662 3211 1 0 1978454 0
[pid=11821/tid=11822] ppid=11649 vsize=8068440 memory=4872558044660077418 CPUtime=0.82 cores=0,2,4,6
/proc/11821/task/11822/stat : 11822 (java) S 11649 11649 8795 0 -1 1077944384 17423 0 0 0 76 6 0 0 20 0 19 0 405504320 8262082560 29662 33554432000 4194304 4196468 140724989560336 140570253365152 140570281535189 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22745088 140724989563899 140724989564058 140724989564058 140724989566927 0
[pid=11821/tid=11823] ppid=11649 vsize=8068440 memory=2496 CPUtime=0 cores=0,2,4,6
/proc/11821/task/11823/stat : 11823 (java) S 11649 11649 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405504321 8262082560 29662 33554432000 4194304 4196468 140724989560336 140570285767184 140570281535189 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22745088 140724989563899 140724989564058 140724989564058 140724989566927 0
[pid=11821/tid=11824] ppid=11649 vsize=8068440 memory=1764 CPUtime=0 cores=0,2,4,6
/proc/11821/task/11824/stat : 11824 (java) S 11649 11649 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405504321 8262082560 29662 33554432000 4194304 4196468 140724989560336 140569766865552 140570281535189 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22745088 140724989563899 140724989564058 140724989564058 140724989566927 0
[pid=11821/tid=11825] ppid=11649 vsize=8068440 memory=1476 CPUtime=0 cores=0,2,4,6
/proc/11821/task/11825/stat : 11825 (java) S 11649 11649 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405504321 8262082560 29662 33554432000 4194304 4196468 140724989560336 140569765812496 140570281535189 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22745088 140724989563899 140724989564058 140724989564058 140724989566927 0
[pid=11821/tid=11826] ppid=11649 vsize=8068440 memory=118648 CPUtime=0 cores=0,2,4,6
/proc/11821/task/11826/stat : 11826 (java) S 11649 11649 8795 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405504321 8262082560 29662 33554432000 4194304 4196468 140724989560336 140569764759952 140570281535189 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22745088 140724989563899 140724989564058 140724989564058 140724989566927 0
[pid=11821/tid=11827] ppid=11649 vsize=8068440 memory=916 CPUtime=0 cores=0,2,4,6
/proc/11821/task/11827/stat : 11827 (java) S 11649 11649 8795 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 405504323 8262082560 29662 33554432000 4194304 4196468 140724989560336 140569727990512 140570281536130 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22745088 140724989563899 140724989564058 140724989564058 140724989566927 0
[pid=11821/tid=11828] ppid=11649 vsize=8068440 memory=1656 CPUtime=0 cores=0,2,4,6
/proc/11821/task/11828/stat : 11828 (java) S 11649 11649 8795 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 405504323 8262082560 29662 33554432000 4194304 4196468 140724989560336 140569179317920 140570281535189 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22745088 140724989563899 140724989564058 140724989564058 140724989566927 0
[pid=11821/tid=11829] ppid=11649 vsize=8068440 memory=14004 CPUtime=0 cores=0,2,4,6
/proc/11821/task/11829/stat : 11829 (java) S 11649 11649 8795 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 405504323 8262082560 29662 33554432000 4194304 4196468 140724989560336 140569045095664 140570281535189 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22745088 140724989563899 140724989564058 140724989564058 140724989566927 0
[pid=11821/tid=11830] ppid=11649 vsize=8068440 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/11821/task/11830/stat : 11830 (java) S 11649 11649 8795 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405504326 8262082560 29662 33554432000 4194304 4196468 140724989560336 140568670591440 140570281543579 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22745088 140724989563899 140724989564058 140724989564058 140724989566927 0
[pid=11821/tid=11831] ppid=11649 vsize=8068440 memory=11842416 CPUtime=0.14 cores=0,2,4,6
/proc/11821/task/11831/stat : 11831 (java) S 11649 11649 8795 0 -1 1077944384 1020 0 0 0 14 0 0 0 20 0 19 0 405504326 8262082560 29662 33554432000 4194304 4196468 140724989560336 140569726937328 140570281536130 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22745088 140724989563899 140724989564058 140724989564058 140724989566927 0
[pid=11821/tid=11832] ppid=11649 vsize=8068440 memory=1396 CPUtime=0.16 cores=0,2,4,6
/proc/11821/task/11832/stat : 11832 (java) S 11649 11649 8795 0 -1 1077944384 489 0 0 0 16 0 0 0 20 0 19 0 405504326 8262082560 29662 33554432000 4194304 4196468 140724989560336 140569725884784 140570281536130 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22745088 140724989563899 140724989564058 140724989564058 140724989566927 0
[pid=11821/tid=11833] ppid=11649 vsize=8068440 memory=288230574492221466 CPUtime=0.23 cores=0,2,4,6
/proc/11821/task/11833/stat : 11833 (java) S 11649 11649 8795 0 -1 1077944384 828 0 0 0 23 0 0 0 20 0 19 0 405504326 8262082560 29662 33554432000 4194304 4196468 140724989560336 140569724831728 140570281536130 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22745088 140724989563899 140724989564058 140724989564058 140724989566927 0
[pid=11821/tid=11834] ppid=11649 vsize=8068440 memory=288230596050944315 CPUtime=0 cores=0,2,4,6
/proc/11821/task/11834/stat : 11834 (java) S 11649 11649 8795 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405504326 8262082560 29662 33554432000 4194304 4196468 140724989560336 140568172685664 140570281535189 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22745088 140724989563899 140724989564058 140724989564058 140724989566927 0
[pid=11821/tid=11835] ppid=11649 vsize=8068440 memory=14690799036142200 CPUtime=0 cores=0,2,4,6
/proc/11821/task/11835/stat : 11835 (java) S 11649 11649 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405504327 8262082560 29662 33554432000 4194304 4196468 140724989560336 140569723780144 140570281536130 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22745088 140724989563899 140724989564058 140724989564058 140724989566927 0
Current children cumulated CPU time: 998.98 s
Current children cumulated vsize: 8181568 KiB
Current children cumulated memory: 120124 KiB
[startup+847.201 s]
/proc/loadavg: 1.98 2.08 2.12 3/234 11841
/proc/meminfo: memFree=13147396/32770624 swapFree=66927092/67108860
[pid=11649] ppid=11646 vsize=113128 memory=1476 CPUtime=997.59 cores=0,2,4,6
/proc/11649/stat : 11649 (scop.sh) S 11646 11649 8795 0 -1 4202496 584 216871 0 0 0 0 98837 922 20 0 1 0 405419796 115843072 369 33554432000 4194304 5098028 140726271306160 140726271302904 139808767279740 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 37629952 140726271308584 140726271308912 140726271308912 140726271311821 0
/proc/11649/statm: 28282 369 311 221 0 87 0
[pid=11821] ppid=11649 vsize=8068440 memory=118648 CPUtime=1.39 cores=0,2,4,6
/proc/11821/stat : 11821 (java) S 11649 11649 8795 0 -1 1077944320 21193 0 0 0 132 7 0 0 20 0 19 0 405504319 8262082560 29662 33554432000 4194304 4196468 140724989560336 140724989542880 140570281524983 0 0 2 25189581 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 22745088 140724989563899 140724989564058 140724989564058 140724989566927 0
/proc/11821/statm: 2017110 29662 3211 1 0 1978454 0
[pid=11836] ppid=11821 vsize=159648 memory=123344 CPUtime=1.16 cores=0,2,4,6
/proc/11836/stat : 11836 (glueminisat-sim) R 11821 11649 8795 0 -1 4202496 29396 0 0 0 112 4 0 0 20 0 1 0 405504399 163479552 30836 33554432000 4194304 4452875 140726956564800 140726956559768 140569945059207 0 4 0 8388610 0 0 0 17 2 0 0 0 0 0 6552096 6554264 24924160 140726956569439 140726956569639 140726956569639 140726956572589 0
/proc/11836/statm: 39912 30836 352 64 0 36116 0
[pid=11821/tid=11822] ppid=11649 vsize=8068440 memory=14068 CPUtime=0.82 cores=0,2,4,6
/proc/11821/task/11822/stat : 11822 (java) S 11649 11649 8795 0 -1 1077944384 17423 0 0 0 76 6 0 0 20 0 19 0 405504320 8262082560 29662 33554432000 4194304 4196468 140724989560336 140570253365152 140570281535189 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22745088 140724989563899 140724989564058 140724989564058 140724989566927 0
[pid=11821/tid=11823] ppid=11649 vsize=8068440 memory=528 CPUtime=0 cores=0,2,4,6
/proc/11821/task/11823/stat : 11823 (java) S 11649 11649 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405504321 8262082560 29662 33554432000 4194304 4196468 140724989560336 140570285767184 140570281535189 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22745088 140724989563899 140724989564058 140724989564058 140724989566927 0
[pid=11821/tid=11824] ppid=11649 vsize=8068440 memory=1560 CPUtime=0 cores=0,2,4,6
/proc/11821/task/11824/stat : 11824 (java) S 11649 11649 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405504321 8262082560 29662 33554432000 4194304 4196468 140724989560336 140569766865552 140570281535189 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22745088 140724989563899 140724989564058 140724989564058 140724989566927 0
[pid=11821/tid=11825] ppid=11649 vsize=8068440 memory=1700 CPUtime=0 cores=0,2,4,6
/proc/11821/task/11825/stat : 11825 (java) S 11649 11649 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405504321 8262082560 29662 33554432000 4194304 4196468 140724989560336 140569765812496 140570281535189 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22745088 140724989563899 140724989564058 140724989564058 140724989566927 0
[pid=11821/tid=11826] ppid=11649 vsize=8068440 memory=828 CPUtime=0 cores=0,2,4,6
/proc/11821/task/11826/stat : 11826 (java) S 11649 11649 8795 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405504321 8262082560 29662 33554432000 4194304 4196468 140724989560336 140569764759952 140570281535189 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22745088 140724989563899 140724989564058 140724989564058 140724989566927 0
[pid=11821/tid=11827] ppid=11649 vsize=8068440 memory=1440 CPUtime=0 cores=0,2,4,6
/proc/11821/task/11827/stat : 11827 (java) S 11649 11649 8795 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 405504323 8262082560 29662 33554432000 4194304 4196468 140724989560336 140569727990512 140570281536130 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22745088 140724989563899 140724989564058 140724989564058 140724989566927 0
[pid=11821/tid=11828] ppid=11649 vsize=8068440 memory=1980 CPUtime=0 cores=0,2,4,6
/proc/11821/task/11828/stat : 11828 (java) S 11649 11649 8795 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 405504323 8262082560 29662 33554432000 4194304 4196468 140724989560336 140569179317920 140570281535189 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22745088 140724989563899 140724989564058 140724989564058 140724989566927 0
[pid=11821/tid=11829] ppid=11649 vsize=8068440 memory=928 CPUtime=0 cores=0,2,4,6
/proc/11821/task/11829/stat : 11829 (java) S 11649 11649 8795 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 405504323 8262082560 29662 33554432000 4194304 4196468 140724989560336 140569045095664 140570281535189 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22745088 140724989563899 140724989564058 140724989564058 140724989566927 0
[pid=11821/tid=11830] ppid=11649 vsize=8068440 memory=1700 CPUtime=0 cores=0,2,4,6
/proc/11821/task/11830/stat : 11830 (java) S 11649 11649 8795 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405504326 8262082560 29662 33554432000 4194304 4196468 140724989560336 140568670591440 140570281543579 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22745088 140724989563899 140724989564058 140724989564058 140724989566927 0
[pid=11821/tid=11831] ppid=11649 vsize=8068440 memory=828 CPUtime=0.14 cores=0,2,4,6
/proc/11821/task/11831/stat : 11831 (java) S 11649 11649 8795 0 -1 1077944384 1020 0 0 0 14 0 0 0 20 0 19 0 405504326 8262082560 29662 33554432000 4194304 4196468 140724989560336 140569726937328 140570281536130 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22745088 140724989563899 140724989564058 140724989564058 140724989566927 0
[pid=11821/tid=11832] ppid=11649 vsize=8068440 memory=1440 CPUtime=0.16 cores=0,2,4,6
/proc/11821/task/11832/stat : 11832 (java) S 11649 11649 8795 0 -1 1077944384 489 0 0 0 16 0 0 0 20 0 19 0 405504326 8262082560 29662 33554432000 4194304 4196468 140724989560336 140569725884784 140570281536130 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22745088 140724989563899 140724989564058 140724989564058 140724989566927 0
[pid=11821/tid=11833] ppid=11649 vsize=8068440 memory=1980 CPUtime=0.23 cores=0,2,4,6
/proc/11821/task/11833/stat : 11833 (java) S 11649 11649 8795 0 -1 1077944384 830 0 0 0 23 0 0 0 20 0 19 0 405504326 8262082560 29662 33554432000 4194304 4196468 140724989560336 140569724831728 140570281536130 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22745088 140724989563899 140724989564058 140724989564058 140724989566927 0
[pid=11821/tid=11834] ppid=11649 vsize=8068440 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/11821/task/11834/stat : 11834 (java) S 11649 11649 8795 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405504326 8262082560 29662 33554432000 4194304 4196468 140724989560336 140568172685664 140570281535189 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22745088 140724989563899 140724989564058 140724989564058 140724989566927 0
[pid=11821/tid=11835] ppid=11649 vsize=8068440 memory=11583936 CPUtime=0 cores=0,2,4,6
/proc/11821/task/11835/stat : 11835 (java) S 11649 11649 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405504327 8262082560 29662 33554432000 4194304 4196468 140724989560336 140569723780144 140570281536130 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22745088 140724989563899 140724989564058 140724989564058 140724989566927 0
[pid=11821/tid=11837] ppid=11649 vsize=8068440 memory=104348 CPUtime=0 cores=0,2,4,6
/proc/11821/task/11837/stat : 11837 (java) S 11649 11649 8795 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 405504399 8262082560 29662 33554432000 4194304 4196468 140724989560336 140569717937984 140570281549593 0 4 2 25189581 18446744071579417331 0 0 -1 0 0 0 0 0 0 6293624 6294260 22745088 140724989563899 140724989564058 140724989564058 140724989566927 0
[pid=11821/tid=11839] ppid=11649 vsize=8068440 memory=1804 CPUtime=0 cores=0,2,4,6
/proc/11821/task/11839/stat : 11839 (java) S 11649 11649 8795 0 -1 4202560 30 0 0 0 0 0 0 0 20 0 19 0 405504400 8262082560 29662 33554432000 4194304 4196468 140724989560336 140567635799984 140570281546909 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 22745088 140724989563899 140724989564058 140724989564058 140724989566927 0
[pid=11821/tid=11840] ppid=11649 vsize=8068440 memory=920 CPUtime=0 cores=0,2,4,6
/proc/11821/task/11840/stat : 11840 (java) S 11649 11649 8795 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 405504400 8262082560 29662 33554432000 4194304 4196468 140724989560336 140567770021424 140570281546909 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 22745088 140724989563899 140724989564058 140724989564058 140724989566927 0
[pid=11821/tid=11841] ppid=11649 vsize=8068440 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/11821/task/11841/stat : 11841 (java) S 11649 11649 8795 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 405504402 8262082560 29662 33554432000 4194304 4196468 140724989560336 140567367376176 140570281535189 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22745088 140724989563899 140724989564058 140724989564058 140724989566927 0
Current children cumulated CPU time: 1000.14 s
Current children cumulated vsize: 8341216 KiB
Current children cumulated memory: 243468 KiB
[startup+847.301 s]
/proc/loadavg: 1.98 2.08 2.12 3/234 11841
/proc/meminfo: memFree=13147396/32770624 swapFree=66927092/67108860
[pid=11649] ppid=11646 vsize=113128 memory=1476 CPUtime=997.59 cores=0,2,4,6
/proc/11649/stat : 11649 (scop.sh) S 11646 11649 8795 0 -1 4202496 584 216871 0 0 0 0 98837 922 20 0 1 0 405419796 115843072 369 33554432000 4194304 5098028 140726271306160 140726271302904 139808767279740 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 37629952 140726271308584 140726271308912 140726271308912 140726271311821 0
/proc/11649/statm: 28282 369 311 221 0 87 0
[pid=11821] ppid=11649 vsize=7937364 memory=120896 CPUtime=2.67 cores=0,2,4,6
/proc/11821/stat : 11821 (java) S 11649 11649 8795 0 -1 1077944320 21612 29472 0 0 134 8 120 5 20 0 17 0 405504319 8127860736 30224 33554432000 4194304 4196468 140724989560336 140724989542880 140570281524983 0 0 2 25189581 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 22745088 140724989563899 140724989564058 140724989564058 140724989566927 0
/proc/11821/statm: 1984341 30224 3211 1 0 1945685 0
[pid=11821/tid=11822] ppid=11649 vsize=7937364 memory=1476 CPUtime=2.07 cores=0,2,4,6
/proc/11821/task/11822/stat : 11822 (java) R 11649 11649 8795 0 -1 4202560 17433 29472 0 0 76 6 120 5 20 0 17 0 405504320 8127860736 30224 33554432000 4194304 4196468 140724989560336 140570253365152 140570265568613 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22745088 140724989563899 140724989564058 140724989564058 140724989566927 0
[pid=11821/tid=11823] ppid=11649 vsize=7937364 memory=9592 CPUtime=1.25 cores=0,2,4,6
/proc/11821/task/11823/stat : 11823 (java) S 11649 11649 8795 0 -1 1077944384 1 29472 0 0 0 0 120 5 20 0 17 0 405504321 8127860736 30224 33554432000 4194304 4196468 140724989560336 140570285767184 140570281535189 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22745088 140724989563899 140724989564058 140724989564058 140724989566927 0
[pid=11821/tid=11824] ppid=11649 vsize=7937364 memory=776 CPUtime=1.25 cores=0,2,4,6
/proc/11821/task/11824/stat : 11824 (java) S 11649 11649 8795 0 -1 1077944384 1 29472 0 0 0 0 120 5 20 0 17 0 405504321 8127860736 30224 33554432000 4194304 4196468 140724989560336 140569766865552 140570281535189 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22745088 140724989563899 140724989564058 140724989564058 140724989566927 0
[pid=11821/tid=11825] ppid=11649 vsize=7937364 memory=1540 CPUtime=1.25 cores=0,2,4,6
/proc/11821/task/11825/stat : 11825 (java) S 11649 11649 8795 0 -1 1077944384 1 29472 0 0 0 0 120 5 20 0 17 0 405504321 8127860736 30224 33554432000 4194304 4196468 140724989560336 140569765812496 140570281535189 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22745088 140724989563899 140724989564058 140724989564058 140724989566927 0
[pid=11821/tid=11826] ppid=11649 vsize=7937364 memory=692 CPUtime=1.25 cores=0,2,4,6
/proc/11821/task/11826/stat : 11826 (java) S 11649 11649 8795 0 -1 1077944384 2 29472 0 0 0 0 120 5 20 0 17 0 405504321 8127860736 30224 33554432000 4194304 4196468 140724989560336 140569764759952 140570281535189 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22745088 140724989563899 140724989564058 140724989564058 140724989566927 0
[pid=11821/tid=11827] ppid=11649 vsize=7937364 memory=4004 CPUtime=1.25 cores=0,2,4,6
/proc/11821/task/11827/stat : 11827 (java) S 11649 11649 8795 0 -1 1077944384 5 29472 0 0 0 0 120 5 20 0 17 0 405504323 8127860736 30224 33554432000 4194304 4196468 140724989560336 140569727990512 140570281536130 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22745088 140724989563899 140724989564058 140724989564058 140724989566927 0
[pid=11821/tid=11828] ppid=11649 vsize=7937364 memory=1060 CPUtime=1.25 cores=0,2,4,6
/proc/11821/task/11828/stat : 11828 (java) S 11649 11649 8795 0 -1 1077944384 13 29472 0 0 0 0 120 5 20 0 17 0 405504323 8127860736 30224 33554432000 4194304 4196468 140724989560336 140569179317920 140570281535189 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22745088 140724989563899 140724989564058 140724989564058 140724989566927 0
[pid=11821/tid=11829] ppid=11649 vsize=7937364 memory=2832 CPUtime=1.25 cores=0,2,4,6
/proc/11821/task/11829/stat : 11829 (java) S 11649 11649 8795 0 -1 1077944384 21 29472 0 0 0 0 120 5 20 0 17 0 405504323 8127860736 30224 33554432000 4194304 4196468 140724989560336 140569045095664 140570281535189 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22745088 140724989563899 140724989564058 140724989564058 140724989566927 0
[pid=11821/tid=11830] ppid=11649 vsize=7937364 memory=1716 CPUtime=1.25 cores=0,2,4,6
/proc/11821/task/11830/stat : 11830 (java) S 11649 11649 8795 0 -1 1077944384 3 29472 0 0 0 0 120 5 20 0 17 0 405504326 8127860736 30224 33554432000 4194304 4196468 140724989560336 140568670591440 140570281543579 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22745088 140724989563899 140724989564058 140724989564058 140724989566927 0
[pid=11821/tid=11831] ppid=11649 vsize=7937364 memory=37264 CPUtime=1.39 cores=0,2,4,6
/proc/11821/task/11831/stat : 11831 (java) S 11649 11649 8795 0 -1 1077944384 1020 29472 0 0 14 0 120 5 20 0 17 0 405504326 8127860736 30224 33554432000 4194304 4196468 140724989560336 140569726937328 140570281536130 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22745088 140724989563899 140724989564058 140724989564058 140724989566927 0
[pid=11821/tid=11832] ppid=11649 vsize=7937364 memory=2028 CPUtime=1.41 cores=0,2,4,6
/proc/11821/task/11832/stat : 11832 (java) S 11649 11649 8795 0 -1 1077944384 490 29472 0 0 16 0 120 5 20 0 17 0 405504326 8127860736 30224 33554432000 4194304 4196468 140724989560336 140569725884784 140570281536130 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22745088 140724989563899 140724989564058 140724989564058 140724989566927 0
[pid=11821/tid=11833] ppid=11649 vsize=7937364 memory=6791534058613427641 CPUtime=1.49 cores=0,2,4,6
/proc/11821/task/11833/stat : 11833 (java) R 11649 11649 8795 0 -1 4202560 845 29472 0 0 24 0 120 5 20 0 17 0 405504326 8127860736 30224 33554432000 4194304 4196468 140724989560336 140569724831728 140570265605470 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22745088 140724989563899 140724989564058 140724989564058 140724989566927 0
[pid=11821/tid=11834] ppid=11649 vsize=7937364 memory=692 CPUtime=1.25 cores=0,2,4,6
/proc/11821/task/11834/stat : 11834 (java) S 11649 11649 8795 0 -1 1077944384 3 29472 0 0 0 0 120 5 20 0 17 0 405504326 8127860736 30224 33554432000 4194304 4196468 140724989560336 140568172685664 140570281535189 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22745088 140724989563899 140724989564058 140724989564058 140724989566927 0
[pid=11821/tid=11835] ppid=11649 vsize=7937364 memory=988 CPUtime=1.25 cores=0,2,4,6
/proc/11821/task/11835/stat : 11835 (java) S 11649 11649 8795 0 -1 1077944384 1 29472 0 0 0 0 120 5 20 0 17 0 405504327 8127860736 30224 33554432000 4194304 4196468 140724989560336 140569723780144 140570281536130 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22745088 140724989563899 140724989564058 140724989564058 140724989566927 0
[pid=11821/tid=11837] ppid=11649 vsize=7937364 memory=1424 CPUtime=1.25 cores=0,2,4,6
/proc/11821/task/11837/stat : 11837 (java) S 11649 11649 8795 0 -1 1077944384 25 29472 0 0 0 0 120 5 20 0 17 0 405504399 8127860736 30224 33554432000 4194304 4196468 140724989560336 140569717937168 140570281536130 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22745088 140724989563899 140724989564058 140724989564058 140724989566927 0
[pid=11821/tid=11841] ppid=11649 vsize=7937364 memory=916 CPUtime=1.25 cores=0,2,4,6
/proc/11821/task/11841/stat : 11841 (java) S 11649 11649 8795 0 -1 1077944384 390 29472 0 0 0 0 120 5 20 0 17 0 405504402 8127860736 30224 33554432000 4194304 4196468 140724989560336 140567367377968 140570281536130 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22745088 140724989563899 140724989564058 140724989564058 140724989566927 0
Current children cumulated CPU time: 1000.26 s
Current children cumulated vsize: 8050492 KiB
Current children cumulated memory: 122372 KiB
Child status: 0
Real time (s): 847.31
CPU time (s): 1000.3
CPU user time (s): 990.925
CPU system time (s): 9.37887
CPU usage (%): 118.056
Max. virtual memory (cumulated for all children) (KiB): 15140452
Max. memory (cumulated for all children) (KiB): 11845344
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 990.925
system time used= 9.37887
maximum resident set size= 11844500
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 268563
page faults= 0
swaps= 0
block input operations= 0
block output operations= 25664
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 26910
involuntary context switches= 3172
# summary of solver processes directly reported to runsolver:
# pid: 11649
# total CPU time (s): 1000.3
# total CPU user time (s): 990.925
# total CPU system time (s): 9.37887
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.15984 second user time and 8.63591 second system time
The end