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-11847-serial-file.bin HOME/instance-4387869-1568291875.xml
0.66/0.53
0.66/0.53 Fun-sCOP order+glueminisat-simp-2.2.10-193oa-n-release (2019-06-15)
0.66/0.53
0.66/0.56 c BEGIN-Prog: Thu Sep 12 14:37:14 CEST 2019
0.66/0.56 c PID: 11850
0.66/0.56 c IP: 172.20.3.147
0.66/0.56 c HOST: node147.alineos.net
0.66/0.57 c (0,0) Parsing Begin
66.83/48.84 c (48,44) Parsing End
66.83/48.86 c (48,44) CSP: 700 int (0 aux), 0 bool (0 aux), 978600 ctr, max domain size 699
66.83/48.86 c (48,44) Heap : 3313 MiB used (max 10500 MiB), NonHeap : 24 MiB used (max 0 MiB)
66.83/48.86 c (48,44) Constraint Name Generate Begin
70.45/51.50 c (50,46) Ctr:HOME/instance-4387869-1568291875.xml,Eq:Imp:Le:Num:Var
70.45/51.50 c (50,46) Constraint Name Generate End
70.45/51.50 c (50,46) Heap : 1945 MiB used (max 10508 MiB), NonHeap : 25 MiB used (max 0 MiB)
70.45/51.50 c (50,46) CSP to CSPinCNF Begin
74.48/54.68 c (54,50) translated 97860 (10%) constraints
77.40/57.44 c (56,52) translated 195720 (20%) constraints
82.47/60.78 c (60,55) translated 293580 (30%) constraints
85.28/63.53 c (62,58) translated 391440 (40%) constraints
87.98/66.27 c (65,61) translated 489300 (50%) constraints
93.61/69.77 c (69,63) translated 587160 (60%) constraints
96.42/72.59 c (72,66) translated 685020 (70%) constraints
99.32/75.40 c (74,69) translated 782880 (80%) constraints
102.12/78.21 c (77,72) translated 880740 (90%) constraints
106.23/81.36 c (80,75) translated 978600 (100%) constraints
106.23/81.36 c (80,75) ===========================================
106.23/81.36 c (80,75) Order
106.23/81.36 c (80,75) ===========================================
108.21/82.78 c (82,76) translated 97860 (10%) constraints
109.62/84.16 c (83,77) translated 195720 (20%) constraints
111.05/85.53 c (84,79) translated 293580 (30%) constraints
112.35/86.89 c (86,80) translated 391440 (40%) constraints
115.16/88.60 c (88,82) translated 489300 (50%) constraints
123.81/95.29 c (94,88) translated 587160 (60%) constraints
129.95/101.39 c (100,94) translated 685020 (70%) constraints
137.86/108.00 c (107,100) translated 782880 (80%) constraints
145.78/114.52 c (113,106) translated 880740 (90%) constraints
154.03/121.34 c (120,113) translated 978600 (100%) constraints
154.03/121.35 c (120,113) CSP to CSPinCNF End
154.24/121.54 c (120,113) CSP: 700 int (0 aux), 489300 bool (489300 aux), 1957200 ctr, max domain size 699
154.24/121.54 c (120,113) Heap : 5099 MiB used (max 10654 MiB), NonHeap : 25 MiB used (max 0 MiB)
154.24/121.54 c (120,113) CSPinCNF Propagation Begin
361.37/307.75 c (307,293) 838502 values, 1267429 unsatisfiable literals, and 1737973 valid clauses are removed
361.37/307.75 c (307,293) CSPinCNF Propagation End
361.68/308.05 c (307,293) CSP: 684 int (0 aux), 489316 bool (489300 aux), 219227 ctr, max domain size 683
361.68/308.05 c (307,293) Heap : 5254 MiB used (max 10831 MiB), NonHeap : 26 MiB used (max 0 MiB)
361.68/308.09 c (307,293) Simplify CSPinCNF Begin
362.41/308.51 c (307,293) Simplify CSPinCNF End
362.71/308.81 c (308,294) CSP: 684 int (0 aux), 489316 bool (489300 aux), 219227 ctr, max domain size 683
362.71/308.81 c (308,294) Heap : 5428 MiB used (max 10831 MiB), NonHeap : 26 MiB used (max 0 MiB)
362.71/308.81 c (308,294) Calculate Precise Domain Begin
362.71/308.81 c (308,294) 0 values are removed by re-calculation
362.71/308.81 c (308,294) Calculate Precise Domain End
363.02/309.11 c (308,294) CSP: 684 int (0 aux), 489316 bool (489300 aux), 219227 ctr, max domain size 683
363.02/309.11 c (308,294) Heap : 5428 MiB used (max 10831 MiB), NonHeap : 26 MiB used (max 0 MiB)
363.02/309.11 c (308,294) CSPinCNF to SatSolver Begin
365.21/310.16 c (309,295) 21923 (10 %) CSP clauses are encoded (0 SAT variables, 90619 SAT clauses)
365.51/310.33 c (309,295) 43846 (20 %) CSP clauses are encoded (0 SAT variables, 112542 SAT clauses)
365.63/310.48 c (309,295) 65769 (30 %) CSP clauses are encoded (0 SAT variables, 134465 SAT clauses)
365.83/310.63 c (310,295) 87691 (40 %) CSP clauses are encoded (0 SAT variables, 156387 SAT clauses)
365.93/310.77 c (310,296) 109614 (50 %) CSP clauses are encoded (0 SAT variables, 178310 SAT clauses)
366.13/310.92 c (310,296) 131537 (60 %) CSP clauses are encoded (0 SAT variables, 200233 SAT clauses)
366.24/311.07 c (310,296) 153459 (70 %) CSP clauses are encoded (0 SAT variables, 222155 SAT clauses)
366.43/311.21 c (310,296) 175382 (80 %) CSP clauses are encoded (0 SAT variables, 244078 SAT clauses)
366.53/311.36 c (310,296) 197305 (90 %) CSP clauses are encoded (0 SAT variables, 266001 SAT clauses)
366.73/311.50 c (310,296) 219227 (100 %) CSP clauses are encoded (0 SAT variables, 287923 SAT clauses)
366.73/311.50 c (310,296) CSPinCNF to SatSolver End
366.73/311.50 c (310,296) Heap : 7335 MiB used (max 10831 MiB), NonHeap : 29 MiB used (max 0 MiB)
366.73/311.50 c (310,296) 139398 bool, 287924 clause
366.73/311.50 c (310,296) Export Begin
366.93/311.63 c (311,296) Export to HOME/scop-11847-serial-file.bin
366.93/311.63 c (311,296) Export End
366.93/311.63 c (311,296) Export File Size: 0.11 MB
366.93/311.63 c (311,296) 48,50,120,307,308,308,310,STOP-AFTER(DIMACS)
366.93/311.63 c END-Prog: Thu Sep 12 14:42:25 CEST 2019
369.68/312.37 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-11847-serial-file.bin
369.80/312.83 c (0,0) Read Serial File Begin
369.80/312.83 c (0,0) HOME/scop-11847-serial-file.bin
370.65/313.08 c (0,0) Read Serial File End
370.65/313.10
370.65/313.10 Fun-sCOP order+glueminisat-simp-2.2.10-193oa-n-release (2019-06-15)
370.65/313.10 (Solving Process)
370.65/313.10
370.93/313.12 c BEGIN-Prog: Thu Sep 12 14:42:26 CEST 2019
370.93/313.12 c PID: 11898
370.93/313.12 c IP: 172.20.3.147
370.93/313.12 c HOST: node147.alineos.net
370.93/313.13 c (0,0) SatSolver.solve Begin
370.93/313.13 c (0,0) HOME/glueminisat-simp-2.2.10-193oa-n-release -model -verb=3 -elim-cl=5000000 -native-oa HOME/instance-4387869-1568291875.xml-scop-11850.cnf
370.93/313.16 c (0,0) c WARNING: for repeatability, setting FPU to use double precision
370.93/313.16 c (0,0) c glueminisat-simp-2.2.10-193oa-n
370.93/313.16 c (0,0) c Command: HOME/glueminisat-simp-2.2.10-193oa-n-release -model -verb=3 -elim-cl=5000000 -native-oa HOME/instance-4387869-1568291875.xml-scop-11850.cnf
370.93/313.16 c (0,0) c Options:
370.93/313.16 c (0,0) c CORE
370.93/313.16 c (0,0) c var_decay = 0.950
370.93/313.16 c (0,0) c clause_decay = 0.999
370.93/313.16 c (0,0) c random_var_freq = 0.000
370.93/313.16 c (0,0) c random_seed = 91648253.000
370.93/313.16 c (0,0) c luby_restart = 1
370.93/313.16 c (0,0) c ccmin_mode = 2
370.93/313.16 c (0,0) c phase_saving = 2
370.93/313.16 c (0,0) c rnd_pol = 0
370.93/313.16 c (0,0) c rnd_init_act = 0
370.93/313.16 c (0,0) c garbage_frac = 0.200
370.93/313.16 c (0,0) c restart_first = 1000
370.93/313.16 c (0,0) c restart_inc = 2.000
370.93/313.16 c (0,0) c MODEL
370.93/313.16 c (0,0) c partial_model = 0
370.93/313.16 c (0,0) c PROPAGATION
370.93/313.16 c (0,0) c bin_propagation = 1
370.93/313.16 c (0,0) c SIMPLIFICATION
370.93/313.16 c (0,0) c lrn_min_size = 100
370.93/313.16 c (0,0) c lazy_simp = 1
370.93/313.16 c (0,0) c lazy_interval = 10
370.93/313.16 c (0,0) c lazy_fld_probing = 1
370.93/313.16 c (0,0) c lazy_pol_probing = 1
370.93/313.16 c (0,0) c lazy_nec_probing = 1
370.93/313.16 c (0,0) c lazy_eqv_probing = 1
370.93/313.16 c (0,0) c lazy_cla_probing = 1
370.93/313.16 c (0,0) c lazy_lrn_min = 2
370.93/313.16 c (0,0) c lazy_uw_lit_elim = 1
370.93/313.16 c (0,0) c lazy_pr_lit_elim = 0
370.93/313.16 c (0,0) c lazy_bin_add = 3
370.93/313.16 c (0,0) c probed_lit_chain = 1
370.93/313.16 c (0,0) c pr_min_lits = 0.00020
370.93/313.16 c (0,0) c pr_min_starts = 500
370.93/313.16 c (0,0) c rw_min_lits = 0.010
370.93/313.16 c (0,0) c rw_min_starts = 500
370.93/313.16 c (0,0) c rand_attach = 0
370.93/313.16 c (0,0) c dec_elim = 1
370.93/313.16 c (0,0) c dec_elim_lim = 25
370.93/313.16 c (0,0) c dec_elim_len = -1
370.93/313.16 c (0,0) c amo = 0
370.93/313.16 c (0,0) c amo_grp = 1
370.93/313.16 c (0,0) c amo_max_bins = 1000000
370.93/313.16 c (0,0) c amo_starts = 50
370.93/313.16 c (0,0) c mace_cmd = mace
370.93/313.16 c (0,0) c DECISION
370.93/313.16 c (0,0) c rand_rebuild = 0
370.93/313.16 c (0,0) c rand_rebuild_confs = 10000
371.15/313.23 c (0,0) c inc_var_decay = 1
371.15/313.23 c (0,0) c inc_var_decay_period = 100000
371.15/313.23 c (0,0) c inc_var_decay_init = 0.600
371.15/313.23 c (0,0) c var_decay_mode = 0
371.15/313.23 c (0,0) c var_decay_gain = 0
371.15/313.23 c (0,0) c sloped_var_decay = 1
371.15/313.23 c (0,0) c max_var_decay = 0.990
371.15/313.23 c (0,0) c min_var_decay = 0.950
371.15/313.23 c (0,0) c min_var_decay_vars = 10000
371.15/313.23 c (0,0) c max_var_decay_vars = 500
371.15/313.23 c (0,0) c uip_bumping = 1
371.15/313.23 c (0,0) c lbd_act_bumping = 1
371.15/313.23 c (0,0) c rand_tiebreak = 0
371.15/313.23 c (0,0) c simp_rebuild = 1
371.15/313.23 c (0,0) c RESTART
371.15/313.23 c (0,0) c restart_strategy = 2
371.15/313.23 c (0,0) c restart_blocking = 0
371.15/313.23 c (0,0) c agility_decay = 0.99990
371.15/313.23 c (0,0) c lbd_restart_rate = 0.800
371.15/313.23 c (0,0) c dec_restart_rate = 0.950
371.15/313.23 c (0,0) c blk_restart_rate = 0.700
371.15/313.23 c (0,0) c lbd_queue_size = 50
371.15/313.23 c (0,0) c dec_queue_size = 50
371.15/313.23 c (0,0) c trl_queue_size = 5000
371.15/313.23 c (0,0) c blk_restart_weight = 1.000
371.15/313.23 c (0,0) c inc_rst_rate = 0
371.15/313.23 c (0,0) c inc_rst_rate_period = 500000
371.15/313.23 c (0,0) c inc_lbd_rst_rate_init = 0.600
371.15/313.23 c (0,0) c inc_dec_rst_rate_init = 0.750
371.15/313.23 c (0,0) c REDUCTION
371.15/313.23 c (0,0) c closed_lbd = 0
371.15/313.23 c (0,0) c closed_lbd_rate = 0.500
371.15/313.23 c (0,0) c rm_simulate = 0
371.15/313.23 c (0,0) c rdb_eval = 2
371.15/313.23 c (0,0) c rdb_call = 3
371.15/313.23 c (0,0) c rdb_ub = 0.500
371.15/313.23 c (0,0) c core_lbd_cvr = 0.800
371.15/313.23 c (0,0) c supp_lbd_cvr = 0.990
371.15/313.23 c (0,0) c core_lbd_lb = 2
371.15/313.23 c (0,0) c supp_lbd_lb = 2
371.15/313.23 c (0,0) c core_lbd_prd = 7
371.15/313.23 c (0,0) c supp_lbd_prd = 1
371.15/313.23 c (0,0) c othr_lbd_prd = 0
371.15/313.23 c (0,0) c inc_lrn_limit = 1000
371.15/313.23 c (0,0) c frozen_lbd = 30
371.15/313.23 c (0,0) c simp_min_starts = 100
371.15/313.23 c (0,0) c rm_low_act_learnts = 1
371.15/313.23 c (0,0) c lv0_reduce_db = 0
371.15/313.23 c (0,0) c reduce_db_base = 20000
371.15/313.23 c (0,0) c reduce_db_inc = 1000
371.15/313.23 c (0,0) c HARD
371.15/313.23 c (0,0) c inst_check = 200000
371.15/313.23 c (0,0) c small_block = 1.750
371.15/313.23 c (0,0) c slow_restart_speed = 400.000
371.15/313.23 c (0,0) c slow_restart_strategy = 3
371.15/313.23 c (0,0) c slow_lbd_restart_rate = 0.700
371.15/313.23 c (0,0) c slow_dec_restart_rate = 1.000
371.15/313.23 c (0,0) c slow_lbd_queue_size = 50
371.15/313.23 c (0,0) c slow_var_decay = 0.950
371.15/313.23 c (0,0) c slow_glue_threshold = 2
371.15/313.23 c (0,0) c slow_phase_saving = 2
371.15/313.23 c (0,0) c fast_restart_speed = 125.000
371.15/313.23 c (0,0) c fast_restart_strategy = 1
371.15/313.23 c (0,0) c fast_lbd_restart_rate = 0.800
371.15/313.23 c (0,0) c fast_dec_restart_rate = 0.950
371.15/313.23 c (0,0) c fast_lbd_queue_size = 50
371.15/313.23 c (0,0) c fast_var_decay = 1.000
371.15/313.23 c (0,0) c fast_glue_threshold = 2
371.15/313.23 c (0,0) c fast_phase_saving = 2
371.15/313.23 c (0,0) c STATS
371.15/313.23 c (0,0) c stats_conf_size = 10000
371.15/313.23 c (0,0) c max_stats_size = 30
371.15/313.23 c (0,0) c SOLVER
371.15/313.23 c (0,0) c minisat = 0
371.15/313.39 c (0,0) c Problem: 139398 variables, 287924 clauses, parsing 0.15 s
371.16/313.75 c (0,0) c reduced to 6922 variables, 29669 clauses (grow = 0)
371.16/313.76 c (0,0) c exclude 0 (0.0%) variables from decision variables (last cost 0)
371.16/313.77 c (1,0) c Simplification: 132476 vars, 258255 clauses are eliminated using 0.37 s
371.16/313.77 c (1,0) c
371.16/313.77 c (1,0) c #Rstrts #Confs #Vars #Clauses #Learnts Lits/C LBD/C DLVs Trail
371.16/313.77 c (1,0) c
371.16/313.77 c (1,0) c 0 0 0 6922 29669 0 -nan -nan -nan -nan%
371.16/313.78 c (1,0) c 0 1 2 -25138 29669 0 -nan -nan 1.0 25.8%
371.16/313.78 c (1,0) c
371.16/313.78 c (1,0) c
371.16/313.78 c (1,0) c variables : -25138 (init 139398, after simp 6922, 0 non-decs, 658 csp)
371.16/313.78 c (1,0) c clauses : 29669 (init 287924, after simp 29669)
371.16/313.78 c (1,0) c restarts : 0 (2.00 confs/res, 2~2 confs, 0 blks, 0 last)
371.16/313.78 c (1,0) c conflicts : 2 (4 /sec, 100.00% dconfs, 0.00% supp, trail 20132.00w x 1.00h, jmp 1.00h)
371.16/313.78 c (1,0) c decisions : 8 (0.6000 vdcy, 15 /sec, 0.00% bin, rs 0.000 s)
371.16/313.78 c (1,0) c propagations : 102513 (194944 /sec, 12814.12 lits/dec, 98.07% o.a.)
371.16/313.78 c (1,0) c conflict literals : 2 (0.00% deleted; 0.00% by bin min, 0.000 s)
371.16/313.78 c (1,0) c len : -nan (1.00 for all, max 1, used 0)
371.16/313.78 c (1,0) c lbd : -nan (1.00 (1.00) for all, max 1, used 0, -nan stdev, 1.000 blk)
371.16/313.78 c (1,0) c amo : 0 (0 max, -nan avg, 0.000 s)
371.16/313.78 c (1,0) c simp dbs : 1 (0.002 s)
371.16/313.78 c (1,0) c reduce dbs : 0 (core-lbd 2, supp-lbd 2147483647, 0.000 s)
371.16/313.78 c (1,0) c learnts : 0 (0 learnts removed, 0.00%)
371.16/313.78 c (1,0) c rewrite dbs : 0 (0/0 vars, 0+0 taut, 0+0 unit, 0.000 s)
371.16/313.78 c (1,0) c assigned lits : 0 (0/0 probed, 0 remains)
371.16/313.78 c (1,0) c premise updates : 0 (0.00 /lit)
371.16/313.78 c (1,0) c probed variables : 0 (0 pr, 0 eq, 0 fld, 0 pol, 0 nec, 0 cla, 0 amo)
371.16/313.78 c (1,0) c equiv variables : 0 (0 bin, 0 trn, 0 quat, 0 quin, 0 othr; 0 amo)
371.16/313.78 c (1,0) c lazy added bins : 0 (0 prop + 0 conf, 0.000s)
371.16/313.78 c (1,0) c unwatched lit elim: 0 (0.00+0.00%, 0+0 of 75834+2)
371.16/313.78 c (1,0) c classified type : undef
371.16/313.78 c (1,0) c progress : 463.161%
371.16/313.78 c (1,0) c
371.16/313.78 c (1,0) c [Statistics]
371.16/313.78 c (1,0) c learnts len learnts lbd lit blk size eq vars size
371.16/313.78 c (1,0) c tot 2 2 2 0
371.16/313.78 c (1,0) c avg 1.000 1.000 1.000 -nan
371.16/313.78 c (1,0) c 1 2 (100.0%) 2 (100.0%) 2 (100.0%) 0 (-nan%)
371.16/313.78 c (1,0) c 2 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
371.16/313.78 c (1,0) c 3 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
371.16/313.78 c (1,0) c 4 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
371.16/313.78 c (1,0) c 5 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
371.16/313.78 c (1,0) c 6 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
371.16/313.78 c (1,0) c 7 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
371.16/313.78 c (1,0) c 8 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
371.16/313.78 c (1,0) c 9 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
371.16/313.78 c (1,0) c 10 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
371.16/313.78 c (1,0) c 11 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
371.16/313.78 c (1,0) c 12 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
371.16/313.78 c (1,0) c 13 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
371.16/313.78 c (1,0) c 14 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
371.16/313.78 c (1,0) c 15 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
371.16/313.78 c (1,0) c 16 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
371.16/313.78 c (1,0) c 17 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
371.16/313.78 c (1,0) c 18 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
371.16/313.78 c (1,0) c 19 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
371.16/313.78 c (1,0) c 20 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
371.16/313.78 c (1,0) c 21 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
371.16/313.78 c (1,0) c 22 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
371.16/313.78 c (1,0) c 23 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
371.16/313.78 c (1,0) c 24 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
371.16/313.78 c (1,0) c 25 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
371.16/313.78 c (1,0) c 26 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
371.16/313.78 c (1,0) c 27 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
371.16/313.78 c (1,0) c 28 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
371.16/313.78 c (1,0) c 29 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
371.16/313.78 c (1,0) c 30 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
371.16/313.78 c (1,0) c
371.16/313.78 c (1,0) c [LBD Statistics]
371.16/313.78 c (1,0) c LBD used lbd used clause lbd unused clause lbd
371.16/313.78 c (1,0) c tot 0 0 0
371.16/313.78 c (1,0) c avg -nan -nan -nan
371.16/313.78 c (1,0) c
371.16/313.78 c (1,0) c Memory used : 93.00 MB
371.16/313.78 c (1,0) c CPU time : 0.526 s
371.16/313.78 c (1,0) c Real time : 0.630 s
371.16/313.78 c (1,0) c
371.16/313.78 c (1,0) s SATISFIABLE
372.02/313.90 c (1,0) SatSolver.solve End
372.02/313.90 c (1,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
372.02/313.90 c (1,0) Show results Begin
372.28/314.10 c (1,0) x[0] = 30
372.28/314.10 c (1,0) x[1] = 6
372.28/314.10 c (1,0) x[2] = 32
372.28/314.10 c (1,0) x[3] = 12
372.28/314.10 c (1,0) x[4] = 20
372.28/314.10 c (1,0) x[5] = 7
372.28/314.10 c (1,0) x[6] = 5
372.28/314.10 c (1,0) x[7] = 16
372.28/314.10 c (1,0) x[8] = 23
372.28/314.10 c (1,0) x[9] = 10
372.28/314.10 c (1,0) x[10] = 3
372.28/314.10 c (1,0) x[11] = 52
372.28/314.10 c (1,0) x[12] = 21
372.28/314.10 c (1,0) x[13] = 17
372.28/314.10 c (1,0) x[14] = 55
372.28/314.10 c (1,0) x[15] = 4
372.28/314.10 c (1,0) x[16] = 1
372.28/314.10 c (1,0) x[17] = 46
372.28/314.10 c (1,0) x[18] = 25
372.28/314.10 c (1,0) x[19] = 25
372.28/314.10 c (1,0) x[20] = 16
372.28/314.10 c (1,0) x[21] = 11
372.28/314.10 c (1,0) x[22] = 15
372.28/314.10 c (1,0) x[23] = 71
372.28/314.10 c (1,0) x[24] = 28
372.28/314.10 c (1,0) x[25] = 28
372.28/314.10 c (1,0) x[26] = 11
372.28/314.10 c (1,0) x[27] = 20
372.28/314.10 c (1,0) x[28] = 1
372.28/314.10 c (1,0) x[29] = 1
372.28/314.10 c (1,0) x[30] = 20
372.28/314.10 c (1,0) x[31] = 68
372.28/314.10 c (1,0) x[32] = 5
372.28/314.10 c (1,0) x[33] = 9
372.28/314.10 c (1,0) x[34] = 3
372.28/314.10 c (1,0) x[35] = 29
372.28/314.10 c (1,0) x[36] = 33
372.28/314.10 c (1,0) x[37] = 15
372.28/314.10 c (1,0) x[38] = 50
372.28/314.10 c (1,0) x[39] = 37
372.28/314.10 c (1,0) x[40] = 2
372.28/314.10 c (1,0) x[41] = 6
372.28/314.10 c (1,0) x[42] = 31
372.28/314.10 c (1,0) x[43] = 6
372.28/314.10 c (1,0) x[44] = 65
372.28/314.10 c (1,0) x[45] = 14
372.28/314.10 c (1,0) x[46] = 0
372.28/314.10 c (1,0) x[47] = 10
372.28/314.10 c (1,0) x[48] = 124
372.28/314.10 c (1,0) x[49] = 7
372.28/314.10 c (1,0) x[50] = 36
372.28/314.10 c (1,0) x[51] = 45
372.28/314.10 c (1,0) x[52] = 1
372.28/314.10 c (1,0) x[53] = 37
372.28/314.10 c (1,0) x[54] = 26
372.28/314.10 c (1,0) x[55] = 11
372.28/314.10 c (1,0) x[56] = 73
372.28/314.10 c (1,0) x[57] = 9
372.28/314.10 c (1,0) x[58] = 0
372.28/314.10 c (1,0) x[59] = 24
372.28/314.10 c (1,0) x[60] = 1
372.28/314.10 c (1,0) x[61] = 57
372.28/314.10 c (1,0) x[62] = 10
372.28/314.10 c (1,0) x[63] = 0
372.28/314.10 c (1,0) x[64] = 36
372.28/314.10 c (1,0) x[65] = 41
372.28/314.10 c (1,0) x[66] = 47
372.28/314.10 c (1,0) x[67] = 40
372.28/314.10 c (1,0) x[68] = 41
372.28/314.10 c (1,0) x[69] = 5
372.28/314.10 c (1,0) x[70] = 2
372.28/314.10 c (1,0) x[71] = 30
372.28/314.10 c (1,0) x[72] = 4
372.28/314.10 c (1,0) x[73] = 27
372.28/314.10 c (1,0) x[74] = 32
372.28/314.10 c (1,0) x[75] = 4
372.28/314.10 c (1,0) x[76] = 3
372.28/314.10 c (1,0) x[77] = 79
372.28/314.10 c (1,0) x[78] = 70
372.28/314.10 c (1,0) x[79] = 35
372.28/314.10 c (1,0) x[80] = 22
372.28/314.10 c (1,0) x[81] = 14
372.28/314.10 c (1,0) x[82] = 26
372.28/314.10 c (1,0) x[83] = 37
372.28/314.10 c (1,0) x[84] = 7
372.28/314.10 c (1,0) x[85] = 29
372.28/314.10 c (1,0) x[86] = 10
372.28/314.10 c (1,0) x[87] = 74
372.28/314.10 c (1,0) x[88] = 52
372.28/314.10 c (1,0) x[89] = 9
372.28/314.10 c (1,0) x[90] = 2
372.28/314.10 c (1,0) x[91] = 23
372.28/314.10 c (1,0) x[92] = 16
372.28/314.10 c (1,0) x[93] = 21
372.28/314.10 c (1,0) x[94] = 23
372.28/314.10 c (1,0) x[95] = 43
372.28/314.10 c (1,0) x[96] = 0
372.28/314.10 c (1,0) x[97] = 11
372.28/314.10 c (1,0) x[98] = 10
372.28/314.10 c (1,0) x[99] = 9
372.28/314.10 c (1,0) x[100] = 36
372.28/314.10 c (1,0) x[101] = 0
372.28/314.10 c (1,0) x[102] = 5
372.28/314.10 c (1,0) x[103] = 15
372.28/314.10 c (1,0) x[104] = 56
372.28/314.10 c (1,0) x[105] = 67
372.28/314.10 c (1,0) x[106] = 4
372.28/314.10 c (1,0) x[107] = 71
372.28/314.10 c (1,0) x[108] = 13
372.28/314.10 c (1,0) x[109] = 24
372.28/314.10 c (1,0) x[110] = 24
372.28/314.10 c (1,0) x[111] = 12
372.28/314.10 c (1,0) x[112] = 18
372.28/314.10 c (1,0) x[113] = 148
372.28/314.10 c (1,0) x[114] = 33
372.28/314.10 c (1,0) x[115] = 11
372.28/314.10 c (1,0) x[116] = 39
372.28/314.10 c (1,0) x[117] = 56
372.28/314.10 c (1,0) x[118] = 99
372.28/314.10 c (1,0) x[119] = 117
372.28/314.10 c (1,0) x[120] = 22
372.28/314.10 c (1,0) x[121] = 1
372.28/314.10 c (1,0) x[122] = 43
372.28/314.10 c (1,0) x[123] = 42
372.28/314.10 c (1,0) x[124] = 13
372.28/314.10 c (1,0) x[125] = 18
372.28/314.10 c (1,0) x[126] = 77
372.28/314.10 c (1,0) x[127] = 1
372.28/314.10 c (1,0) x[128] = 23
372.28/314.10 c (1,0) x[129] = 5
372.28/314.10 c (1,0) x[130] = 68
372.28/314.10 c (1,0) x[131] = 19
372.28/314.10 c (1,0) x[132] = 18
372.28/314.10 c (1,0) x[133] = 4
372.28/314.10 c (1,0) x[134] = 11
372.28/314.10 c (1,0) x[135] = 18
372.28/314.10 c (1,0) x[136] = 5
372.28/314.10 c (1,0) x[137] = 2
372.28/314.10 c (1,0) x[138] = 20
372.28/314.10 c (1,0) x[139] = 12
372.28/314.10 c (1,0) x[140] = 2
372.28/314.10 c (1,0) x[141] = 0
372.28/314.10 c (1,0) x[142] = 73
372.28/314.10 c (1,0) x[143] = 23
372.28/314.10 c (1,0) x[144] = 5
372.28/314.10 c (1,0) x[145] = 21
372.28/314.10 c (1,0) x[146] = 93
372.28/314.10 c (1,0) x[147] = 10
372.28/314.10 c (1,0) x[148] = 2
372.28/314.10 c (1,0) x[149] = 101
372.28/314.10 c (1,0) x[150] = 20
372.28/314.10 c (1,0) x[151] = 11
372.28/314.10 c (1,0) x[152] = 3
372.28/314.10 c (1,0) x[153] = 36
372.28/314.10 c (1,0) x[154] = 11
372.28/314.10 c (1,0) x[155] = 8
372.28/314.10 c (1,0) x[156] = 52
372.28/314.10 c (1,0) x[157] = 28
372.28/314.10 c (1,0) x[158] = 2
372.28/314.10 c (1,0) x[159] = 17
372.28/314.10 c (1,0) x[160] = 16
372.28/314.10 c (1,0) x[161] = 55
372.28/314.10 c (1,0) x[162] = 32
372.28/314.10 c (1,0) x[163] = 6
372.28/314.10 c (1,0) x[164] = 39
372.28/314.10 c (1,0) x[165] = 34
372.28/314.10 c (1,0) x[166] = 25
372.28/314.10 c (1,0) x[167] = 15
372.28/314.10 c (1,0) x[168] = 10
372.28/314.10 c (1,0) x[169] = 0
372.28/314.10 c (1,0) x[170] = 6
372.28/314.10 c (1,0) x[171] = 43
372.28/314.10 c (1,0) x[172] = 2
372.28/314.10 c (1,0) x[173] = 1
372.28/314.10 c (1,0) x[174] = 2
372.28/314.10 c (1,0) x[175] = 29
372.28/314.10 c (1,0) x[176] = 31
372.28/314.10 c (1,0) x[177] = 5
372.28/314.10 c (1,0) x[178] = 61
372.28/314.10 c (1,0) x[179] = 20
372.28/314.10 c (1,0) x[180] = 4
372.28/314.10 c (1,0) x[181] = 4
372.28/314.10 c (1,0) x[182] = 8
372.28/314.10 c (1,0) x[183] = 19
372.28/314.10 c (1,0) x[184] = 15
372.28/314.10 c (1,0) x[185] = 4
372.28/314.10 c (1,0) x[186] = 12
372.28/314.10 c (1,0) x[187] = 2
372.28/314.10 c (1,0) x[188] = 0
372.28/314.10 c (1,0) x[189] = 37
372.28/314.10 c (1,0) x[190] = 12
372.28/314.10 c (1,0) x[191] = 15
372.28/314.10 c (1,0) x[192] = 17
372.28/314.10 c (1,0) x[193] = 0
372.28/314.10 c (1,0) x[194] = 67
372.28/314.10 c (1,0) x[195] = 116
372.28/314.10 c (1,0) x[196] = 4
372.28/314.10 c (1,0) x[197] = 34
372.28/314.10 c (1,0) x[198] = 45
372.28/314.10 c (1,0) x[199] = 9
372.28/314.10 c (1,0) x[200] = 1
372.28/314.10 c (1,0) x[201] = 25
372.28/314.10 c (1,0) x[202] = 38
372.28/314.10 c (1,0) x[203] = 4
372.28/314.10 c (1,0) x[204] = 21
372.28/314.10 c (1,0) x[205] = 4
372.28/314.10 c (1,0) x[206] = 10
372.28/314.10 c (1,0) x[207] = 21
372.28/314.10 c (1,0) x[208] = 67
372.28/314.10 c (1,0) x[209] = 30
372.28/314.10 c (1,0) x[210] = 5
372.28/314.10 c (1,0) x[211] = 43
372.28/314.10 c (1,0) x[212] = 37
372.28/314.10 c (1,0) x[213] = 45
372.28/314.10 c (1,0) x[214] = 17
372.28/314.10 c (1,0) x[215] = 94
372.28/314.10 c (1,0) x[216] = 12
372.28/314.10 c (1,0) x[217] = 10
372.28/314.10 c (1,0) x[218] = 16
372.28/314.10 c (1,0) x[219] = 20
372.28/314.10 c (1,0) x[220] = 71
372.28/314.10 c (1,0) x[221] = 25
372.28/314.10 c (1,0) x[222] = 10
372.28/314.10 c (1,0) x[223] = 4
372.28/314.10 c (1,0) x[224] = 114
372.28/314.10 c (1,0) x[225] = 39
372.28/314.10 c (1,0) x[226] = 23
372.28/314.10 c (1,0) x[227] = 29
372.28/314.10 c (1,0) x[228] = 8
372.28/314.10 c (1,0) x[229] = 35
372.28/314.10 c (1,0) x[230] = 3
372.28/314.10 c (1,0) x[231] = 61
372.28/314.10 c (1,0) x[232] = 1
372.28/314.10 c (1,0) x[233] = 76
372.28/314.10 c (1,0) x[234] = 74
372.28/314.10 c (1,0) x[235] = 32
372.28/314.10 c (1,0) x[236] = 2
372.28/314.10 c (1,0) x[237] = 8
372.28/314.10 c (1,0) x[238] = 5
372.28/314.10 c (1,0) x[239] = 10
372.28/314.10 c (1,0) x[240] = 35
372.28/314.10 c (1,0) x[241] = 0
372.28/314.10 c (1,0) x[242] = 8
372.28/314.10 c (1,0) x[243] = 42
372.28/314.10 c (1,0) x[244] = 12
372.28/314.10 c (1,0) x[245] = 8
372.28/314.10 c (1,0) x[246] = 6
372.28/314.10 c (1,0) x[247] = 81
372.28/314.10 c (1,0) x[248] = 0
372.28/314.10 c (1,0) x[249] = 72
372.28/314.10 c (1,0) x[250] = 16
372.28/314.10 c (1,0) x[251] = 0
372.28/314.10 c (1,0) x[252] = 15
372.28/314.10 c (1,0) x[253] = 20
372.28/314.10 c (1,0) x[254] = 17
372.28/314.10 c (1,0) x[255] = 10
372.28/314.10 c (1,0) x[256] = 19
372.28/314.10 c (1,0) x[257] = 113
372.28/314.10 c (1,0) x[258] = 20
372.28/314.10 c (1,0) x[259] = 14
372.28/314.10 c (1,0) x[260] = 24
372.28/314.10 c (1,0) x[261] = 24
372.28/314.10 c (1,0) x[262] = 51
372.28/314.10 c (1,0) x[263] = 28
372.28/314.10 c (1,0) x[264] = 21
372.28/314.10 c (1,0) x[265] = 26
372.28/314.10 c (1,0) x[266] = 37
372.28/314.10 c (1,0) x[267] = 0
372.28/314.10 c (1,0) x[268] = 31
372.28/314.10 c (1,0) x[269] = 38
372.28/314.10 c (1,0) x[270] = 8
372.28/314.10 c (1,0) x[271] = 84
372.28/314.10 c (1,0) x[272] = 51
372.28/314.10 c (1,0) x[273] = 3
372.28/314.10 c (1,0) x[274] = 43
372.28/314.10 c (1,0) x[275] = 23
372.28/314.10 c (1,0) x[276] = 3
372.28/314.10 c (1,0) x[277] = 16
372.28/314.10 c (1,0) x[278] = 11
372.28/314.10 c (1,0) x[279] = 1
372.28/314.10 c (1,0) x[280] = 4
372.28/314.10 c (1,0) x[281] = 20
372.28/314.10 c (1,0) x[282] = 0
372.28/314.10 c (1,0) x[283] = 7
372.28/314.10 c (1,0) x[284] = 37
372.28/314.10 c (1,0) x[285] = 54
372.28/314.10 c (1,0) x[286] = 57
372.28/314.10 c (1,0) x[287] = 29
372.28/314.10 c (1,0) x[288] = 1
372.28/314.10 c (1,0) x[289] = 41
372.28/314.10 c (1,0) x[290] = 8
372.28/314.10 c (1,0) x[291] = 3
372.28/314.10 c (1,0) x[292] = 33
372.28/314.10 c (1,0) x[293] = 5
372.28/314.10 c (1,0) x[294] = 5
372.28/314.10 c (1,0) x[295] = 43
372.28/314.10 c (1,0) x[296] = 9
372.28/314.10 c (1,0) x[297] = 10
372.28/314.10 c (1,0) x[298] = 7
372.28/314.10 c (1,0) x[299] = 3
372.28/314.10 c (1,0) x[300] = 93
372.28/314.10 c (1,0) x[301] = 0
372.28/314.10 c (1,0) x[302] = 16
372.28/314.10 c (1,0) x[303] = 8
372.28/314.10 c (1,0) x[304] = 5
372.28/314.10 c (1,0) x[305] = 68
372.28/314.10 c (1,0) x[306] = 0
372.28/314.10 c (1,0) x[307] = 40
372.28/314.10 c (1,0) x[308] = 1
372.28/314.10 c (1,0) x[309] = 36
372.28/314.10 c (1,0) x[310] = 9
372.28/314.10 c (1,0) x[311] = 6
372.28/314.10 c (1,0) x[312] = 24
372.28/314.10 c (1,0) x[313] = 52
372.28/314.10 c (1,0) x[314] = 24
372.28/314.10 c (1,0) x[315] = 12
372.28/314.10 c (1,0) x[316] = 9
372.28/314.10 c (1,0) x[317] = 30
372.28/314.10 c (1,0) x[318] = 21
372.28/314.10 c (1,0) x[319] = 1
372.28/314.10 c (1,0) x[320] = 8
372.28/314.10 c (1,0) x[321] = 26
372.28/314.10 c (1,0) x[322] = 6
372.28/314.10 c (1,0) x[323] = 21
372.28/314.10 c (1,0) x[324] = 12
372.28/314.10 c (1,0) x[325] = 84
372.28/314.10 c (1,0) x[326] = 56
372.28/314.10 c (1,0) x[327] = 13
372.28/314.10 c (1,0) x[328] = 4
372.28/314.10 c (1,0) x[329] = 42
372.28/314.10 c (1,0) x[330] = 11
372.28/314.10 c (1,0) x[331] = 44
372.28/314.10 c (1,0) x[332] = 24
372.28/314.10 c (1,0) x[333] = 61
372.28/314.10 c (1,0) x[334] = 15
372.28/314.10 c (1,0) x[335] = 63
372.28/314.10 c (1,0) x[336] = 26
372.28/314.10 c (1,0) x[337] = 42
372.28/314.10 c (1,0) x[338] = 77
372.28/314.10 c (1,0) x[339] = 39
372.28/314.10 c (1,0) x[340] = 33
372.28/314.10 c (1,0) x[341] = 27
372.28/314.10 c (1,0) x[342] = 4
372.28/314.10 c (1,0) x[343] = 81
372.28/314.10 c (1,0) x[344] = 61
372.28/314.10 c (1,0) x[345] = 5
372.28/314.10 c (1,0) x[346] = 8
372.28/314.10 c (1,0) x[347] = 7
372.28/314.10 c (1,0) x[348] = 5
372.28/314.10 c (1,0) x[349] = 28
372.28/314.10 c (1,0) x[350] = 14
372.28/314.10 c (1,0) x[351] = 12
372.28/314.10 c (1,0) x[352] = 23
372.28/314.10 c (1,0) x[353] = 70
372.28/314.10 c (1,0) x[354] = 3
372.28/314.10 c (1,0) x[355] = 65
372.28/314.10 c (1,0) x[356] = 23
372.28/314.10 c (1,0) x[357] = 68
372.28/314.10 c (1,0) x[358] = 39
372.28/314.10 c (1,0) x[359] = 40
372.28/314.10 c (1,0) x[360] = 1
372.28/314.10 c (1,0) x[361] = 4
372.28/314.10 c (1,0) x[362] = 49
372.28/314.10 c (1,0) x[363] = 13
372.28/314.10 c (1,0) x[364] = 30
372.28/314.10 c (1,0) x[365] = 77
372.28/314.10 c (1,0) x[366] = 14
372.54/314.12 c (1,0) x[367] = 50
372.54/314.12 c (1,0) x[368] = 16
372.54/314.12 c (1,0) x[369] = 11
372.54/314.12 c (1,0) x[370] = 36
372.54/314.12 c (1,0) x[371] = 23
372.54/314.12 c (1,0) x[372] = 42
372.54/314.12 c (1,0) x[373] = 18
372.54/314.12 c (1,0) x[374] = 2
372.54/314.12 c (1,0) x[375] = 69
372.54/314.12 c (1,0) x[376] = 21
372.54/314.12 c (1,0) x[377] = 46
372.54/314.12 c (1,0) x[378] = 43
372.54/314.12 c (1,0) x[379] = 94
372.54/314.12 c (1,0) x[380] = 6
372.54/314.12 c (1,0) x[381] = 4
372.54/314.12 c (1,0) x[382] = 15
372.54/314.12 c (1,0) x[383] = 24
372.54/314.12 c (1,0) x[384] = 9
372.54/314.12 c (1,0) x[385] = 30
372.54/314.12 c (1,0) x[386] = 62
372.54/314.12 c (1,0) x[387] = 10
372.54/314.12 c (1,0) x[388] = 2
372.54/314.12 c (1,0) x[389] = 11
372.54/314.12 c (1,0) x[390] = 2
372.54/314.12 c (1,0) x[391] = 14
372.54/314.12 c (1,0) x[392] = 8
372.54/314.12 c (1,0) x[393] = 6
372.54/314.12 c (1,0) x[394] = 3
372.54/314.12 c (1,0) x[395] = 20
372.54/314.12 c (1,0) x[396] = 52
372.54/314.12 c (1,0) x[397] = 19
372.54/314.12 c (1,0) x[398] = 25
372.54/314.12 c (1,0) x[399] = 30
372.54/314.12 c (1,0) x[400] = 37
372.54/314.12 c (1,0) x[401] = 0
372.54/314.12 c (1,0) x[402] = 0
372.54/314.12 c (1,0) x[403] = 46
372.54/314.12 c (1,0) x[404] = 2
372.54/314.12 c (1,0) x[405] = 1
372.54/314.12 c (1,0) x[406] = 30
372.54/314.12 c (1,0) x[407] = 129
372.54/314.12 c (1,0) x[408] = 24
372.54/314.12 c (1,0) x[409] = 22
372.54/314.12 c (1,0) x[410] = 41
372.54/314.12 c (1,0) x[411] = 11
372.54/314.12 c (1,0) x[412] = 17
372.54/314.12 c (1,0) x[413] = 25
372.54/314.12 c (1,0) x[414] = 5
372.54/314.12 c (1,0) x[415] = 14
372.54/314.12 c (1,0) x[416] = 33
372.54/314.12 c (1,0) x[417] = 5
372.54/314.12 c (1,0) x[418] = 66
372.54/314.12 c (1,0) x[419] = 7
372.54/314.12 c (1,0) x[420] = 0
372.54/314.12 c (1,0) x[421] = 9
372.54/314.12 c (1,0) x[422] = 8
372.54/314.12 c (1,0) x[423] = 22
372.54/314.12 c (1,0) x[424] = 4
372.54/314.12 c (1,0) x[425] = 16
372.54/314.12 c (1,0) x[426] = 9
372.54/314.12 c (1,0) x[427] = 24
372.54/314.12 c (1,0) x[428] = 20
372.54/314.12 c (1,0) x[429] = 42
372.54/314.12 c (1,0) x[430] = 121
372.54/314.12 c (1,0) x[431] = 49
372.54/314.12 c (1,0) x[432] = 22
372.54/314.12 c (1,0) x[433] = 36
372.54/314.12 c (1,0) x[434] = 26
372.54/314.12 c (1,0) x[435] = 19
372.54/314.12 c (1,0) x[436] = 13
372.54/314.12 c (1,0) x[437] = 26
372.54/314.12 c (1,0) x[438] = 23
372.54/314.12 c (1,0) x[439] = 31
372.54/314.12 c (1,0) x[440] = 12
372.54/314.12 c (1,0) x[441] = 15
372.54/314.12 c (1,0) x[442] = 4
372.54/314.12 c (1,0) x[443] = 66
372.54/314.12 c (1,0) x[444] = 33
372.54/314.12 c (1,0) x[445] = 5
372.54/314.12 c (1,0) x[446] = 15
372.54/314.12 c (1,0) x[447] = 21
372.54/314.12 c (1,0) x[448] = 8
372.54/314.12 c (1,0) x[449] = 7
372.54/314.12 c (1,0) x[450] = 57
372.54/314.12 c (1,0) x[451] = 13
372.54/314.12 c (1,0) x[452] = 41
372.54/314.12 c (1,0) x[453] = 49
372.54/314.12 c (1,0) x[454] = 42
372.54/314.12 c (1,0) x[455] = 23
372.54/314.12 c (1,0) x[456] = 12
372.54/314.12 c (1,0) x[457] = 17
372.54/314.12 c (1,0) x[458] = 22
372.54/314.12 c (1,0) x[459] = 32
372.54/314.12 c (1,0) x[460] = 76
372.54/314.12 c (1,0) x[461] = 0
372.54/314.12 c (1,0) x[462] = 20
372.54/314.12 c (1,0) x[463] = 3
372.54/314.12 c (1,0) x[464] = 53
372.54/314.12 c (1,0) x[465] = 39
372.54/314.12 c (1,0) x[466] = 16
372.54/314.12 c (1,0) x[467] = 0
372.54/314.12 c (1,0) x[468] = 20
372.54/314.12 c (1,0) x[469] = 26
372.54/314.12 c (1,0) x[470] = 2
372.54/314.12 c (1,0) x[471] = 17
372.54/314.12 c (1,0) x[472] = 41
372.54/314.12 c (1,0) x[473] = 11
372.54/314.12 c (1,0) x[474] = 13
372.54/314.12 c (1,0) x[475] = 44
372.54/314.12 c (1,0) x[476] = 19
372.54/314.12 c (1,0) x[477] = 63
372.54/314.12 c (1,0) x[478] = 19
372.54/314.12 c (1,0) x[479] = 31
372.54/314.12 c (1,0) x[480] = 165
372.54/314.12 c (1,0) x[481] = 3
372.54/314.12 c (1,0) x[482] = 53
372.54/314.12 c (1,0) x[483] = 26
372.54/314.12 c (1,0) x[484] = 8
372.54/314.12 c (1,0) x[485] = 4
372.54/314.12 c (1,0) x[486] = 5
372.54/314.12 c (1,0) x[487] = 3
372.54/314.12 c (1,0) x[488] = 19
372.54/314.12 c (1,0) x[489] = 6
372.54/314.12 c (1,0) x[490] = 64
372.54/314.12 c (1,0) x[491] = 35
372.54/314.12 c (1,0) x[492] = 2
372.54/314.12 c (1,0) x[493] = 10
372.54/314.12 c (1,0) x[494] = 98
372.54/314.12 c (1,0) x[495] = 63
372.54/314.12 c (1,0) x[496] = 19
372.54/314.12 c (1,0) x[497] = 5
372.54/314.12 c (1,0) x[498] = 10
372.54/314.12 c (1,0) x[499] = 17
372.54/314.12 c (1,0) x[500] = 1
372.54/314.12 c (1,0) x[501] = 61
372.54/314.12 c (1,0) x[502] = 6
372.54/314.12 c (1,0) x[503] = 119
372.54/314.12 c (1,0) x[504] = 20
372.54/314.12 c (1,0) x[505] = 123
372.54/314.12 c (1,0) x[506] = 4
372.54/314.12 c (1,0) x[507] = 2
372.54/314.12 c (1,0) x[508] = 7
372.54/314.12 c (1,0) x[509] = 22
372.54/314.12 c (1,0) x[510] = 21
372.54/314.12 c (1,0) x[511] = 17
372.54/314.12 c (1,0) x[512] = 102
372.54/314.12 c (1,0) x[513] = 62
372.54/314.12 c (1,0) x[514] = 19
372.54/314.12 c (1,0) x[515] = 44
372.54/314.12 c (1,0) x[516] = 52
372.54/314.12 c (1,0) x[517] = 20
372.54/314.12 c (1,0) x[518] = 22
372.54/314.12 c (1,0) x[519] = 9
372.54/314.12 c (1,0) x[520] = 40
372.54/314.12 c (1,0) x[521] = 29
372.54/314.12 c (1,0) x[522] = 71
372.54/314.12 c (1,0) x[523] = 120
372.54/314.12 c (1,0) x[524] = 74
372.54/314.12 c (1,0) x[525] = 35
372.54/314.12 c (1,0) x[526] = 60
372.54/314.12 c (1,0) x[527] = 8
372.54/314.12 c (1,0) x[528] = 0
372.54/314.12 c (1,0) x[529] = 28
372.54/314.12 c (1,0) x[530] = 9
372.54/314.12 c (1,0) x[531] = 14
372.54/314.12 c (1,0) x[532] = 20
372.54/314.12 c (1,0) x[533] = 2
372.54/314.12 c (1,0) x[534] = 3
372.54/314.12 c (1,0) x[535] = 1
372.54/314.12 c (1,0) x[536] = 14
372.54/314.12 c (1,0) x[537] = 43
372.54/314.12 c (1,0) x[538] = 1
372.54/314.12 c (1,0) x[539] = 4
372.54/314.12 c (1,0) x[540] = 35
372.54/314.12 c (1,0) x[541] = 27
372.54/314.12 c (1,0) x[542] = 44
372.54/314.12 c (1,0) x[543] = 6
372.54/314.12 c (1,0) x[544] = 2
372.54/314.12 c (1,0) x[545] = 54
372.54/314.12 c (1,0) x[546] = 3
372.54/314.12 c (1,0) x[547] = 4
372.54/314.12 c (1,0) x[548] = 26
372.54/314.12 c (1,0) x[549] = 58
372.54/314.12 c (1,0) x[550] = 20
372.54/314.12 c (1,0) x[551] = 24
372.54/314.12 c (1,0) x[552] = 31
372.54/314.12 c (1,0) x[553] = 17
372.54/314.12 c (1,0) x[554] = 5
372.54/314.12 c (1,0) x[555] = 33
372.54/314.12 c (1,0) x[556] = 12
372.54/314.12 c (1,0) x[557] = 29
372.54/314.12 c (1,0) x[558] = 3
372.54/314.12 c (1,0) x[559] = 13
372.54/314.12 c (1,0) x[560] = 12
372.54/314.12 c (1,0) x[561] = 19
372.54/314.12 c (1,0) x[562] = 19
372.54/314.12 c (1,0) x[563] = 33
372.54/314.12 c (1,0) x[564] = 31
372.54/314.12 c (1,0) x[565] = 50
372.54/314.12 c (1,0) x[566] = 4
372.54/314.12 c (1,0) x[567] = 14
372.54/314.12 c (1,0) x[568] = 60
372.54/314.12 c (1,0) x[569] = 56
372.54/314.12 c (1,0) x[570] = 19
372.54/314.12 c (1,0) x[571] = 116
372.54/314.12 c (1,0) x[572] = 3
372.54/314.12 c (1,0) x[573] = 6
372.54/314.12 c (1,0) x[574] = 32
372.54/314.12 c (1,0) x[575] = 16
372.54/314.12 c (1,0) x[576] = 8
372.54/314.12 c (1,0) x[577] = 19
372.54/314.12 c (1,0) x[578] = 12
372.54/314.12 c (1,0) x[579] = 7
372.54/314.12 c (1,0) x[580] = 8
372.54/314.12 c (1,0) x[581] = 24
372.54/314.12 c (1,0) x[582] = 3
372.54/314.12 c (1,0) x[583] = 53
372.54/314.12 c (1,0) x[584] = 0
372.54/314.12 c (1,0) x[585] = 2
372.54/314.12 c (1,0) x[586] = 44
372.54/314.12 c (1,0) x[587] = 46
372.54/314.12 c (1,0) x[588] = 1
372.54/314.12 c (1,0) x[589] = 74
372.54/314.12 c (1,0) x[590] = 25
372.54/314.12 c (1,0) x[591] = 60
372.54/314.12 c (1,0) x[592] = 2
372.54/314.12 c (1,0) x[593] = 29
372.54/314.12 c (1,0) x[594] = 29
372.54/314.12 c (1,0) x[595] = 3
372.54/314.12 c (1,0) x[596] = 6
372.54/314.12 c (1,0) x[597] = 74
372.54/314.12 c (1,0) x[598] = 6
372.54/314.12 c (1,0) x[599] = 9
372.54/314.12 c (1,0) x[600] = 24
372.54/314.12 c (1,0) x[601] = 33
372.54/314.12 c (1,0) x[602] = 4
372.54/314.12 c (1,0) x[603] = 50
372.54/314.12 c (1,0) x[604] = 4
372.54/314.12 c (1,0) x[605] = 48
372.54/314.12 c (1,0) x[606] = 7
372.54/314.12 c (1,0) x[607] = 25
372.54/314.12 c (1,0) x[608] = 1
372.54/314.12 c (1,0) x[609] = 23
372.54/314.12 c (1,0) x[610] = 0
372.54/314.12 c (1,0) x[611] = 25
372.54/314.12 c (1,0) x[612] = 13
372.54/314.12 c (1,0) x[613] = 19
372.54/314.12 c (1,0) x[614] = 72
372.54/314.12 c (1,0) x[615] = 6
372.54/314.12 c (1,0) x[616] = 7
372.54/314.12 c (1,0) x[617] = 13
372.54/314.12 c (1,0) x[618] = 14
372.54/314.12 c (1,0) x[619] = 33
372.54/314.12 c (1,0) x[620] = 0
372.54/314.12 c (1,0) x[621] = 50
372.54/314.12 c (1,0) x[622] = 3
372.54/314.12 c (1,0) x[623] = 11
372.54/314.12 c (1,0) x[624] = 48
372.54/314.12 c (1,0) x[625] = 4
372.54/314.12 c (1,0) x[626] = 23
372.54/314.12 c (1,0) x[627] = 23
372.54/314.12 c (1,0) x[628] = 25
372.54/314.12 c (1,0) x[629] = 7
372.54/314.12 c (1,0) x[630] = 79
372.54/314.12 c (1,0) x[631] = 13
372.54/314.12 c (1,0) x[632] = 0
372.54/314.12 c (1,0) x[633] = 8
372.54/314.12 c (1,0) x[634] = 34
372.54/314.12 c (1,0) x[635] = 20
372.54/314.12 c (1,0) x[636] = 52
372.54/314.12 c (1,0) x[637] = 0
372.54/314.12 c (1,0) x[638] = 10
372.54/314.12 c (1,0) x[639] = 5
372.54/314.12 c (1,0) x[640] = 1
372.54/314.12 c (1,0) x[641] = 24
372.54/314.12 c (1,0) x[642] = 23
372.54/314.12 c (1,0) x[643] = 6
372.54/314.12 c (1,0) x[644] = 26
372.54/314.12 c (1,0) x[645] = 20
372.54/314.12 c (1,0) x[646] = 21
372.54/314.12 c (1,0) x[647] = 23
372.54/314.12 c (1,0) x[648] = 20
372.54/314.12 c (1,0) x[649] = 3
372.54/314.12 c (1,0) x[650] = 4
372.54/314.12 c (1,0) x[651] = 11
372.54/314.12 c (1,0) x[652] = 3
372.54/314.12 c (1,0) x[653] = 66
372.54/314.12 c (1,0) x[654] = 18
372.54/314.12 c (1,0) x[655] = 3
372.54/314.12 c (1,0) x[656] = 66
372.54/314.12 c (1,0) x[657] = 12
372.54/314.12 c (1,0) x[658] = 11
372.54/314.12 c (1,0) x[659] = 14
372.54/314.12 c (1,0) x[660] = 21
372.54/314.12 c (1,0) x[661] = 20
372.54/314.12 c (1,0) x[662] = 29
372.54/314.12 c (1,0) x[663] = 13
372.54/314.12 c (1,0) x[664] = 0
372.54/314.12 c (1,0) x[665] = 8
372.54/314.12 c (1,0) x[666] = 7
372.54/314.12 c (1,0) x[667] = 42
372.54/314.12 c (1,0) x[668] = 5
372.54/314.12 c (1,0) x[669] = 4
372.54/314.12 c (1,0) x[670] = 82
372.54/314.12 c (1,0) x[671] = 35
372.54/314.12 c (1,0) x[672] = 64
372.54/314.12 c (1,0) x[673] = 5
372.54/314.12 c (1,0) x[674] = 3
372.54/314.12 c (1,0) x[675] = 21
372.54/314.12 c (1,0) x[676] = 44
372.54/314.12 c (1,0) x[677] = 26
372.54/314.12 c (1,0) x[678] = 60
372.54/314.12 c (1,0) x[679] = 65
372.54/314.12 c (1,0) x[680] = 3
372.54/314.12 c (1,0) x[681] = 20
372.54/314.12 c (1,0) x[682] = 1
372.54/314.12 c (1,0) x[683] = 1
372.54/314.12 c (1,0) x[684] = 31
372.54/314.12 c (1,0) x[685] = 18
372.54/314.12 c (1,0) x[686] = 55
372.54/314.12 c (1,0) x[687] = 14
372.54/314.12 c (1,0) x[688] = 1
372.54/314.12 c (1,0) x[689] = 24
372.54/314.12 c (1,0) x[690] = 34
372.54/314.12 c (1,0) x[691] = 59
372.54/314.12 c (1,0) x[692] = 17
372.54/314.12 c (1,0) x[693] = 11
372.54/314.12 c (1,0) x[694] = 8
372.54/314.12 c (1,0) x[695] = 0
372.54/314.12 c (1,0) x[696] = 9
372.54/314.12 c (1,0) x[697] = 5
372.54/314.12 c (1,0) x[698] = 8
372.54/314.12 c (1,0) x[699] = 12
372.54/314.12 s SATISFIABLE
372.54/314.13 v <instantiation>
372.54/314.13 v <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[77] x[78] x[79] x[80] x[81] x[82] x[83] x[84] x[85] x[86] x[87] x[88] x[89] x[90] x[91] x[92] x[93] x[94] x[95] x[96] x[97] x[98] x[99] x[100] x[101] x[102] x[103] x[104] x[105] x[106] x[107] x[108] x[109] x[110] x[111] x[112] x[113] x[114] x[115] x[116] x[117] x[118] x[119] x[120] x[121] x[122] x[123] x[124] x[125] x[126] x[127] x[128] x[129] x[130] x[131] x[132] x[133] x[134] x[135] x[136] x[137] x[138] x[139] x[140] x[141] x[142] x[143] x[144] x[145] x[146] x[147] x[148] x[149] x[150] x[151] x[152] x[153] x[154] x[155] x[156] x[157] x[158] x[159] x[160] x[161] x[162] x[163] x[164] x[165] x[166] x[167] x[168] x[169] x[170] x[171] x[172] x[173] x[174] x[175] x[176] x[177] x[178] x[179] x[180] x[181] x[182] x[183] x[184] x[185] x[186] x[187] x[188] x[189] x[190] x[191] x[192] x[193] x[194] x[195] x[196] x[197] x[198] x[199] x[200] x[201] x[202] x[203] x[204] x[205] x[206] x[207] x[208] x[209] x[210] x[211] x[212] x[213] x[214] x[215] x[216] x[217] x[218] x[219] x[220] x[221] x[222] x[223] x[224] x[225] x[226] x[227] x[228] x[229] x[230] x[231] x[232] x[233] x[234] x[235] x[236] x[237] x[238] x[239] x[240] x[241] x[242] x[243] x[244] x[245] x[246] x[247] x[248] x[249] x[250] x[251] x[252] x[253] x[254] x[255] x[256] x[257] x[258] x[259] x[260] x[261] x[262] x[263] x[264] x[265] x[266] x[267] x[268] x[269] x[270] x[271] x[272] x[273] x[274] x[275] x[276] x[277] x[278] x[279] x[280] x[281] x[282] x[283] x[284] x[285] x[286] x[287] x[288] x[289] x[290] x[291] x[292] x[293] x[294] x[295] x[296] x[297] x[298] x[299] x[300] x[301] x[302] x[303] x[304] x[305] x[306] x[307] x[308] x[309] x[310] x[311] x[312] x[313] x[314] x[315] x[316] x[317] x[318] x[319] x[320] x[321] x[322] x[323] x[324] x[325] x[326] x[327] x[328] x[329] x[330] x[331] x[332] x[333] x[334] x[335] x[336] x[337] x[338] x[339] x[340] x[341] x[342] x[343] x[344] x[345] x[346] x[347] x[348] x[349] x[350] x[351] x[352] x[353] x[354] x[355] x[356] x[357] x[358] x[359] x[360] x[361] x[362] x[363] x[364] x[365] x[366] x[367] x[368] x[369] x[370] x[371] x[372] x[373] x[374] x[375] x[376] x[377] x[378] x[379] x[380] x[381] x[382] x[383] x[384] x[385] x[386] x[387] x[388] x[389] x[390] x[391] x[392] x[393] x[394] x[395] x[396] x[397] x[398] x[399] x[400] x[401] x[402] x[403] x[404] x[405] x[406] x[407] x[408] x[409] x[410] x[411] x[412] x[413] x[414] x[415] x[416] x[417] x[418] x[419] x[420] x[421] x[422] x[423] x[424] x[425] x[426] x[427] x[428] x[429] x[430] x[431] x[432] x[433] x[434] x[435] x[436] x[437] x[438] x[439] x[440] x[441] x[442] x[443] x[444] x[445] x[446] x[447] x[448] x[449] x[450] x[451] x[452] x[453] x[454] x[455] x[456] x[457] x[458] x[459] x[460] x[461] x[462] x[463] x[464] x[465] x[466] x[467] x[468] x[469] x[470] x[471] x[472] x[473] x[474] x[475] x[476] x[477] x[478] x[479] x[480] x[481] x[482] x[483] x[484] x[485] x[486] x[487] x[488] x[489] x[490] x[491] x[492] x[493] x[494] x[495] x[496] x[497] x[498] x[499] x[500] x[501] x[502] x[503] x[504] x[505] x[506] x[507] x[508] x[509] x[510] x[511] x[512] x[513] x[514] x[515] x[516] x[517] x[518] x[519] x[520] x[521] x[522] x[523] x[524] x[525] x[526] x[527] x[528] x[529] x[530] x[531] x[532] x[533] x[534] x[535] x[536] x[537] x[538] x[539] x[540] x[541] x[542] x[543] x[544] x[545] x[546] x[547] x[548] x[549] x[550] x[551] x[552] x[553] x[554] x[555] x[556] x[557] x[558] x[559] x[560] x[561] x[562] x[563] x[564] x[565] x[566] x[567] x[568] x[569] x[570] x[571] x[572] x[573] x[574] x[575] x[576] x[577] x[578] x[579] x[580] x[581] x[582] x[583] x[584] x[585] x[586] x[587] x[588] x[589] x[590] x[591] x[592] x[593] x[594] x[595] x[596] x[597] x[598] x[599] x[600] x[601] x[602] x[603] x[604] x[605] x[606] x[607] x[608] x[609] x[610] x[611] x[612] x[613] x[614] x[615] x[616] x[617] x[618] x[619] x[620] x[621] x[622] x[623] x[624] x[625] x[626] x[627] x[628] x[629] x[630] x[631] x[632] x[633] x[634] x[635] x[636] x[637] x[638] x[639] x[640] x[641] x[642] x[643] x[644] x[645] x[646] x[647] x[648] x[649] x[650] x[651] x[652] x[653] x[654] x[655] x[656] x[657] x[658] x[659] x[660] x[661] x[662] x[663] x[664] x[665] x[666] x[667] x[668] x[669] x[670] x[671] x[672] x[673] x[674] x[675] x[676] x[677] x[678] x[679] x[680] x[681] x[682] x[683] x[684] x[685] x[686] x[687] x[688] x[689] x[690] x[691] x[692] x[693] x[694] x[695] x[696] x[697] x[698] x[699]</list>
372.54/314.13 v <values>30 6 32 12 20 7 5 16 23 10 3 52 21 17 55 4 1 46 25 25 16 11 15 71 28 28 11 20 1 1 20 68 5 9 3 29 33 15 50 37 2 6 31 6 65 14 0 10 124 7 36 45 1 37 26 11 73 9 0 24 1 57 10 0 36 41 47 40 41 5 2 30 4 27 32 4 3 79 70 35 22 14 26 37 7 29 10 74 52 9 2 23 16 21 23 43 0 11 10 9 36 0 5 15 56 67 4 71 13 24 24 12 18 148 33 11 39 56 99 117 22 1 43 42 13 18 77 1 23 5 68 19 18 4 11 18 5 2 20 12 2 0 73 23 5 21 93 10 2 101 20 11 3 36 11 8 52 28 2 17 16 55 32 6 39 34 25 15 10 0 6 43 2 1 2 29 31 5 61 20 4 4 8 19 15 4 12 2 0 37 12 15 17 0 67 116 4 34 45 9 1 25 38 4 21 4 10 21 67 30 5 43 37 45 17 94 12 10 16 20 71 25 10 4 114 39 23 29 8 35 3 61 1 76 74 32 2 8 5 10 35 0 8 42 12 8 6 81 0 72 16 0 15 20 17 10 19 113 20 14 24 24 51 28 21 26 37 0 31 38 8 84 51 3 43 23 3 16 11 1 4 20 0 7 37 54 57 29 1 41 8 3 33 5 5 43 9 10 7 3 93 0 16 8 5 68 0 40 1 36 9 6 24 52 24 12 9 30 21 1 8 26 6 21 12 84 56 13 4 42 11 44 24 61 15 63 26 42 77 39 33 27 4 81 61 5 8 7 5 28 14 12 23 70 3 65 23 68 39 40 1 4 49 13 30 77 14 50 16 11 36 23 42 18 2 69 21 46 43 94 6 4 15 24 9 30 62 10 2 11 2 14 8 6 3 20 52 19 25 30 37 0 0 46 2 1 30 129 24 22 41 11 17 25 5 14 33 5 66 7 0 9 8 22 4 16 9 24 20 42 121 49 22 36 26 19 13 26 23 31 12 15 4 66 33 5 15 21 8 7 57 13 41 49 42 23 12 17 22 32 76 0 20 3 53 39 16 0 20 26 2 17 41 11 13 44 19 63 19 31 165 3 53 26 8 4 5 3 19 6 64 35 2 10 98 63 19 5 10 17 1 61 6 119 20 123 4 2 7 22 21 17 102 62 19 44 52 20 22 9 40 29 71 120 74 35 60 8 0 28 9 14 20 2 3 1 14 43 1 4 35 27 44 6 2 54 3 4 26 58 20 24 31 17 5 33 12 29 3 13 12 19 19 33 31 50 4 14 60 56 19 116 3 6 32 16 8 19 12 7 8 24 3 53 0 2 44 46 1 74 25 60 2 29 29 3 6 74 6 9 24 33 4 50 4 48 7 25 1 23 0 25 13 19 72 6 7 13 14 33 0 50 3 11 48 4 23 23 25 7 79 13 0 8 34 20 52 0 10 5 1 24 23 6 26 20 21 23 20 3 4 11 3 66 18 3 66 12 11 14 21 20 29 13 0 8 7 42 5 4 82 35 64 5 3 21 44 26 60 65 3 20 1 1 31 18 55 14 1 24 34 59 17 11 8 0 9 5 8 12</values>
372.54/314.13 v </instantiation>
372.54/314.13 c (1,0) Show results End
372.54/314.13 c (1,0) Heap : 184 MiB used (max 3925 MiB), NonHeap : 19 MiB used (max 0 MiB)
372.54/314.13 c (1,0) 1,1,STOP-AFTER(ALL)
372.54/314.13 c END-Prog: Thu Sep 12 14:42:27 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 (5895 MiB free)
memory of node 1: 16384 MiB (9040 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4387869-1568291875/watcher-4387869-1568291875 -o /tmp/evaluation-result-4387869-1568291875/solver-4387869-1568291875 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node147-1568286038-9751 --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-4387869-1568291875.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
solver pid=11847, runsolver pid=11844
Current StackSize limit: 8192 KiB
[startup+0.100057 s]*
/proc/loadavg: 2.00 2.07 2.17 3/234 11864
/proc/meminfo: memFree=15234716/32770624 swapFree=66957008/67108860
[pid=11847] ppid=11844 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/11847/stat : 11847 (scop.sh) S 11844 11847 8853 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 405101480 115843072 349 33554432000 4194304 5098028 140723379679040 140723379676296 140456763900540 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 28831744 140723379684136 140723379684464 140723379684464 140723379687373 0
/proc/11847/statm: 28282 349 296 221 0 87 0
[pid=11850] ppid=11847 vsize=15012696 memory=72740 CPUtime=0.12 cores=0,2,4,6
/proc/11850/stat : 11850 (java) S 11847 11847 8853 0 -1 1077944320 6452 0 0 0 10 2 0 0 20 0 15 0 405101481 15373000704 18185 33554432000 4194304 4196468 140725387418320 140725387400864 139647148150519 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 16596992 140725387420398 140725387420826 140725387420826 140725387423695 0
/proc/11850/statm: 3753174 18185 2909 1 0 3715579 0
[pid=11850/tid=11851] ppid=11847 vsize=15012696 memory=-6437469901269811137 CPUtime=0.09 cores=0,2,4,6
/proc/11850/task/11851/stat : 11851 (java) R 11847 11847 8853 0 -1 4202560 4361 0 0 0 8 1 0 0 20 0 15 0 405101481 15373000704 18316 33554432000 4194304 4196468 140725387418320 139647119944424 139647132231006 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16596992 140725387420398 140725387420826 140725387420826 140725387423695 0
[pid=11850/tid=11852] ppid=11847 vsize=15012696 memory=8303054830060986464 CPUtime=0 cores=0,2,4,6
/proc/11850/task/11852/stat : 11852 (java) S 11847 11847 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405101483 15373000704 18316 33554432000 4194304 4196468 140725387418320 139647152393104 139647148160725 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16596992 140725387420398 140725387420826 140725387420826 140725387423695 0
[pid=11850/tid=11853] ppid=11847 vsize=15012696 memory=140053828429440 CPUtime=0 cores=0,2,4,6
/proc/11850/task/11853/stat : 11853 (java) S 11847 11847 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405101483 15373000704 18316 33554432000 4194304 4196468 140725387418320 139646970481424 139647148160725 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16596992 140725387420398 140725387420826 140725387420826 140725387423695 0
[pid=11850/tid=11854] ppid=11847 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11850/task/11854/stat : 11854 (java) S 11847 11847 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405101483 15373000704 18316 33554432000 4194304 4196468 140725387418320 139646608157840 139647148160725 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16596992 140725387420398 140725387420826 140725387420826 140725387423695 0
[pid=11850/tid=11855] ppid=11847 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11850/task/11855/stat : 11855 (java) S 11847 11847 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405101483 15373000704 18316 33554432000 4194304 4196468 140725387418320 139646607105040 139647148160725 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16596992 140725387420398 140725387420826 140725387420826 140725387423695 0
[pid=11850/tid=11856] ppid=11847 vsize=15012696 memory=140053828429440 CPUtime=0 cores=0,2,4,6
/proc/11850/task/11856/stat : 11856 (java) S 11847 11847 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405101484 15373000704 18316 33554432000 4194304 4196468 140725387418320 139646185707632 139647148161666 0 0 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16596992 140725387420398 140725387420826 140725387420826 140725387423695 0
[pid=11850/tid=11857] ppid=11847 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11850/task/11857/stat : 11857 (java) S 11847 11847 8853 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405101485 15373000704 18316 33554432000 4194304 4196468 140725387418320 139645694239520 139647148160725 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16596992 140725387420398 140725387420826 140725387420826 140725387423695 0
[pid=11850/tid=11858] ppid=11847 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11850/task/11858/stat : 11858 (java) S 11847 11847 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405101485 15373000704 18316 33554432000 4194304 4196468 140725387418320 139645425804400 139647148160725 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16596992 140725387420398 140725387420826 140725387420826 140725387423695 0
[pid=11850/tid=11859] ppid=11847 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11850/task/11859/stat : 11859 (java) S 11847 11847 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405101487 15373000704 18316 33554432000 4194304 4196468 140725387418320 139645051295824 139647148169115 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16596992 140725387420398 140725387420826 140725387420826 140725387423695 0
[pid=11850/tid=11860] ppid=11847 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11850/task/11860/stat : 11860 (java) S 11847 11847 8853 0 -1 1077944384 430 0 0 0 0 0 0 0 20 0 15 0 405101487 15373000704 18316 33554432000 4194304 4196468 140725387418320 139646184655472 139647148161666 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16596992 140725387420398 140725387420826 140725387420826 140725387423695 0
[pid=11850/tid=11861] ppid=11847 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11850/task/11861/stat : 11861 (java) S 11847 11847 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405101487 15373000704 18316 33554432000 4194304 4196468 140725387418320 139646183602672 139647148161666 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16596992 140725387420398 140725387420826 140725387420826 140725387423695 0
[pid=11850/tid=11862] ppid=11847 vsize=15012696 memory=140053828429440 CPUtime=0.01 cores=0,2,4,6
/proc/11850/task/11862/stat : 11862 (java) R 11847 11847 8853 0 -1 4202560 429 0 0 0 1 0 0 0 20 0 15 0 405101487 15373000704 18316 33554432000 4194304 4196468 140725387418320 139646182550384 139647126519158 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16596992 140725387420398 140725387420826 140725387420826 140725387423695 0
[pid=11850/tid=11863] ppid=11847 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11850/task/11863/stat : 11863 (java) S 11847 11847 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405101488 15373000704 18316 33554432000 4194304 4196468 140725387418320 139644553391072 139647148160725 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16596992 140725387420398 140725387420826 140725387420826 140725387423695 0
[pid=11850/tid=11864] ppid=11847 vsize=15012696 memory=140053828429440 CPUtime=0 cores=0,2,4,6
/proc/11850/task/11864/stat : 11864 (java) S 11847 11847 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405101488 15373000704 18316 33554432000 4194304 4196468 140725387418320 139646181497264 139647148161666 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16596992 140725387420398 140725387420826 140725387420826 140725387423695 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 74136 KiB
[startup+0.210703 s]*
/proc/loadavg: 2.00 2.07 2.17 3/234 11864
/proc/meminfo: memFree=15215460/32770624 swapFree=66957008/67108860
[pid=11847] ppid=11844 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/11847/stat : 11847 (scop.sh) S 11844 11847 8853 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 405101480 115843072 349 33554432000 4194304 5098028 140723379679040 140723379676296 140456763900540 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 28831744 140723379684136 140723379684464 140723379684464 140723379687373 0
/proc/11847/statm: 28282 349 296 221 0 87 0
[pid=11850] ppid=11847 vsize=15012696 memory=88348 CPUtime=0.24 cores=0,2,4,6
/proc/11850/stat : 11850 (java) S 11847 11847 8853 0 -1 1077944320 11672 0 0 0 21 3 0 0 20 0 15 0 405101481 15373000704 22087 33554432000 4194304 4196468 140725387418320 140725387400864 139647148150519 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 16596992 140725387420398 140725387420826 140725387420826 140725387423695 0
/proc/11850/statm: 3753174 22087 2922 1 0 3715579 0
[pid=11850/tid=11851] ppid=11847 vsize=15012696 memory=7022364632946311227 CPUtime=0.2 cores=0,2,4,6
/proc/11850/task/11851/stat : 11851 (java) R 11847 11847 8853 0 -1 4202560 9416 0 0 0 17 3 0 0 20 0 15 0 405101481 15373000704 22087 33554432000 4194304 4196468 140725387418320 139647119971872 139647133876222 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16596992 140725387420398 140725387420826 140725387420826 140725387423695 0
[pid=11850/tid=11852] ppid=11847 vsize=15012696 memory=364 CPUtime=0 cores=0,2,4,6
/proc/11850/task/11852/stat : 11852 (java) S 11847 11847 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405101483 15373000704 22087 33554432000 4194304 4196468 140725387418320 139647152393104 139647148160725 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16596992 140725387420398 140725387420826 140725387420826 140725387423695 0
[pid=11850/tid=11853] ppid=11847 vsize=15012696 memory=140053831367411 CPUtime=0 cores=0,2,4,6
/proc/11850/task/11853/stat : 11853 (java) S 11847 11847 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405101483 15373000704 22087 33554432000 4194304 4196468 140725387418320 139646970481424 139647148160725 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16596992 140725387420398 140725387420826 140725387420826 140725387423695 0
[pid=11850/tid=11854] ppid=11847 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11850/task/11854/stat : 11854 (java) S 11847 11847 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405101483 15373000704 22087 33554432000 4194304 4196468 140725387418320 139646608157840 139647148160725 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16596992 140725387420398 140725387420826 140725387420826 140725387423695 0
[pid=11850/tid=11855] ppid=11847 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11850/task/11855/stat : 11855 (java) S 11847 11847 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405101483 15373000704 22087 33554432000 4194304 4196468 140725387418320 139646607105040 139647148160725 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16596992 140725387420398 140725387420826 140725387420826 140725387423695 0
[pid=11850/tid=11856] ppid=11847 vsize=15012696 memory=140053828429440 CPUtime=0 cores=0,2,4,6
/proc/11850/task/11856/stat : 11856 (java) S 11847 11847 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405101484 15373000704 22087 33554432000 4194304 4196468 140725387418320 139646185707632 139647148161666 0 0 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16596992 140725387420398 140725387420826 140725387420826 140725387423695 0
[pid=11850/tid=11857] ppid=11847 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11850/task/11857/stat : 11857 (java) S 11847 11847 8853 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405101485 15373000704 22087 33554432000 4194304 4196468 140725387418320 139645694239520 139647148160725 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16596992 140725387420398 140725387420826 140725387420826 140725387423695 0
[pid=11850/tid=11858] ppid=11847 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11850/task/11858/stat : 11858 (java) S 11847 11847 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405101485 15373000704 22087 33554432000 4194304 4196468 140725387418320 139645425804400 139647148160725 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16596992 140725387420398 140725387420826 140725387420826 140725387423695 0
[pid=11850/tid=11859] ppid=11847 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11850/task/11859/stat : 11859 (java) S 11847 11847 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405101487 15373000704 22087 33554432000 4194304 4196468 140725387418320 139645051295824 139647148169115 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16596992 140725387420398 140725387420826 140725387420826 140725387423695 0
[pid=11850/tid=11860] ppid=11847 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11850/task/11860/stat : 11860 (java) S 11847 11847 8853 0 -1 1077944384 440 0 0 0 0 0 0 0 20 0 15 0 405101487 15373000704 22087 33554432000 4194304 4196468 140725387418320 139646184655472 139647148161666 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16596992 140725387420398 140725387420826 140725387420826 140725387423695 0
[pid=11850/tid=11861] ppid=11847 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11850/task/11861/stat : 11861 (java) S 11847 11847 8853 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 15 0 405101487 15373000704 22087 33554432000 4194304 4196468 140725387418320 139646183602672 139647148161666 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16596992 140725387420398 140725387420826 140725387420826 140725387423695 0
[pid=11850/tid=11862] ppid=11847 vsize=15012696 memory=140053828429440 CPUtime=0.02 cores=0,2,4,6
/proc/11850/task/11862/stat : 11862 (java) S 11847 11847 8853 0 -1 1077944384 445 0 0 0 2 0 0 0 20 0 15 0 405101487 15373000704 22087 33554432000 4194304 4196468 140725387418320 139646182550384 139647148161666 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16596992 140725387420398 140725387420826 140725387420826 140725387423695 0
[pid=11850/tid=11863] ppid=11847 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11850/task/11863/stat : 11863 (java) S 11847 11847 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405101488 15373000704 22087 33554432000 4194304 4196468 140725387418320 139644553391072 139647148160725 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16596992 140725387420398 140725387420826 140725387420826 140725387423695 0
[pid=11850/tid=11864] ppid=11847 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11850/task/11864/stat : 11864 (java) S 11847 11847 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405101488 15373000704 22087 33554432000 4194304 4196468 140725387418320 139646181497264 139647148161666 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16596992 140725387420398 140725387420826 140725387420826 140725387423695 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 89744 KiB
[startup+0.315144 s]*
/proc/loadavg: 2.00 2.07 2.17 3/234 11864
/proc/meminfo: memFree=15212544/32770624 swapFree=66957008/67108860
[pid=11847] ppid=11844 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/11847/stat : 11847 (scop.sh) S 11844 11847 8853 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 405101480 115843072 349 33554432000 4194304 5098028 140723379679040 140723379676296 140456763900540 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 28831744 140723379684136 140723379684464 140723379684464 140723379687373 0
/proc/11847/statm: 28282 349 296 221 0 87 0
[pid=11850] ppid=11847 vsize=15012696 memory=92288 CPUtime=0.44 cores=0,2,4,6
/proc/11850/stat : 11850 (java) S 11847 11847 8853 0 -1 1077944320 12048 0 0 0 40 4 0 0 20 0 15 0 405101481 15373000704 23072 33554432000 4194304 4196468 140725387418320 140725387400864 139647148150519 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 16596992 140725387420398 140725387420826 140725387420826 140725387423695 0
/proc/11850/statm: 3753174 23072 3071 1 0 3715579 0
[pid=11850/tid=11851] ppid=11847 vsize=15012696 memory=6791534058613427641 CPUtime=0.3 cores=0,2,4,6
/proc/11850/task/11851/stat : 11851 (java) R 11847 11847 8853 0 -1 4202560 9618 0 0 0 27 3 0 0 20 0 15 0 405101481 15373000704 23072 33554432000 4194304 4196468 140725387418320 139647119980592 139647133316174 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16596992 140725387420398 140725387420826 140725387420826 140725387423695 0
[pid=11850/tid=11852] ppid=11847 vsize=15012696 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/11850/task/11852/stat : 11852 (java) S 11847 11847 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405101483 15373000704 23072 33554432000 4194304 4196468 140725387418320 139647152393104 139647148160725 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16596992 140725387420398 140725387420826 140725387420826 140725387423695 0
[pid=11850/tid=11853] ppid=11847 vsize=15012696 memory=-5587046532246807594 CPUtime=0 cores=0,2,4,6
/proc/11850/task/11853/stat : 11853 (java) S 11847 11847 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405101483 15373000704 23072 33554432000 4194304 4196468 140725387418320 139646970481424 139647148160725 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16596992 140725387420398 140725387420826 140725387420826 140725387423695 0
[pid=11850/tid=11854] ppid=11847 vsize=15012696 memory=7379517702019849078 CPUtime=0 cores=0,2,4,6
/proc/11850/task/11854/stat : 11854 (java) S 11847 11847 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405101483 15373000704 23072 33554432000 4194304 4196468 140725387418320 139646608157840 139647148160725 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16596992 140725387420398 140725387420826 140725387420826 140725387423695 0
[pid=11850/tid=11855] ppid=11847 vsize=15012696 memory=7016714186490735262 CPUtime=0 cores=0,2,4,6
/proc/11850/task/11855/stat : 11855 (java) S 11847 11847 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405101483 15373000704 23072 33554432000 4194304 4196468 140725387418320 139646607105040 139647148160725 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16596992 140725387420398 140725387420826 140725387420826 140725387423695 0
[pid=11850/tid=11856] ppid=11847 vsize=15012696 memory=-9062862659931694204 CPUtime=0 cores=0,2,4,6
/proc/11850/task/11856/stat : 11856 (java) S 11847 11847 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405101484 15373000704 23072 33554432000 4194304 4196468 140725387418320 139646185707632 139647148161666 0 0 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16596992 140725387420398 140725387420826 140725387420826 140725387423695 0
[pid=11850/tid=11857] ppid=11847 vsize=15012696 memory=3047711566422646390 CPUtime=0 cores=0,2,4,6
/proc/11850/task/11857/stat : 11857 (java) S 11847 11847 8853 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405101485 15373000704 23072 33554432000 4194304 4196468 140725387418320 139645694239520 139647148160725 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16596992 140725387420398 140725387420826 140725387420826 140725387423695 0
[pid=11850/tid=11858] ppid=11847 vsize=15012696 memory=-6664436420846797971 CPUtime=0 cores=0,2,4,6
/proc/11850/task/11858/stat : 11858 (java) S 11847 11847 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405101485 15373000704 23072 33554432000 4194304 4196468 140725387418320 139645425804400 139647148160725 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16596992 140725387420398 140725387420826 140725387420826 140725387423695 0
[pid=11850/tid=11859] ppid=11847 vsize=15012696 memory=4628975386420216973 CPUtime=0 cores=0,2,4,6
/proc/11850/task/11859/stat : 11859 (java) S 11847 11847 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405101487 15373000704 23072 33554432000 4194304 4196468 140725387418320 139645051295824 139647148169115 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16596992 140725387420398 140725387420826 140725387420826 140725387423695 0
[pid=11850/tid=11860] ppid=11847 vsize=15012696 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/11850/task/11860/stat : 11860 (java) S 11847 11847 8853 0 -1 1077944384 483 0 0 0 2 0 0 0 20 0 15 0 405101487 15373000704 23072 33554432000 4194304 4196468 140725387418320 139646184655472 139647148161666 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16596992 140725387420398 140725387420826 140725387420826 140725387423695 0
[pid=11850/tid=11861] ppid=11847 vsize=15012696 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/11850/task/11861/stat : 11861 (java) S 11847 11847 8853 0 -1 1077944384 147 0 0 0 2 0 0 0 20 0 15 0 405101487 15373000704 23072 33554432000 4194304 4196468 140725387418320 139646183602672 139647148161666 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16596992 140725387420398 140725387420826 140725387420826 140725387423695 0
[pid=11850/tid=11862] ppid=11847 vsize=15012696 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/11850/task/11862/stat : 11862 (java) S 11847 11847 8853 0 -1 1077944384 468 0 0 0 7 0 0 0 20 0 15 0 405101487 15373000704 23072 33554432000 4194304 4196468 140725387418320 139646182550384 139647148161666 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16596992 140725387420398 140725387420826 140725387420826 140725387423695 0
[pid=11850/tid=11863] ppid=11847 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11850/task/11863/stat : 11863 (java) S 11847 11847 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405101488 15373000704 23072 33554432000 4194304 4196468 140725387418320 139644553391072 139647148160725 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16596992 140725387420398 140725387420826 140725387420826 140725387423695 0
[pid=11850/tid=11864] ppid=11847 vsize=15012696 memory=3618140039452570672 CPUtime=0 cores=0,2,4,6
/proc/11850/task/11864/stat : 11864 (java) S 11847 11847 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405101488 15373000704 23072 33554432000 4194304 4196468 140725387418320 139646181497264 139647148161666 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16596992 140725387420398 140725387420826 140725387420826 140725387423695 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 93684 KiB
[startup+0.701429 s]
/proc/loadavg: 2.00 2.07 2.17 3/234 11864
/proc/meminfo: memFree=15191688/32770624 swapFree=66957008/67108860
[pid=11847] ppid=11844 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/11847/stat : 11847 (scop.sh) S 11844 11847 8853 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 405101480 115843072 349 33554432000 4194304 5098028 140723379679040 140723379676296 140456763900540 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 28831744 140723379684136 140723379684464 140723379684464 140723379687373 0
/proc/11847/statm: 28282 349 296 221 0 87 0
[pid=11850] ppid=11847 vsize=15018968 memory=127768 CPUtime=1.01 cores=0,2,4,6
/proc/11850/stat : 11850 (java) S 11847 11847 8853 0 -1 1077944320 19650 0 0 0 95 6 0 0 20 0 15 0 405101481 15379423232 31942 33554432000 4194304 4196468 140725387418320 140725387400864 139647148150519 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 16596992 140725387420398 140725387420826 140725387420826 140725387423695 0
/proc/11850/statm: 3754742 31942 3182 1 0 3716091 0
[pid=11850/tid=11851] ppid=11847 vsize=15018968 memory=-7816663703405220396 CPUtime=0.68 cores=0,2,4,6
/proc/11850/task/11851/stat : 11851 (java) R 11847 11847 8853 0 -1 4202560 16671 0 0 0 63 5 0 0 20 0 15 0 405101481 15379423232 31942 33554432000 4194304 4196468 140725387418320 139647119986328 139647126146133 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 16596992 140725387420398 140725387420826 140725387420826 140725387423695 0
[pid=11850/tid=11852] ppid=11847 vsize=15018968 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11850/task/11852/stat : 11852 (java) S 11847 11847 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405101483 15379423232 31942 33554432000 4194304 4196468 140725387418320 139647152393104 139647148160725 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16596992 140725387420398 140725387420826 140725387420826 140725387423695 0
[pid=11850/tid=11853] ppid=11847 vsize=15018968 memory=37324 CPUtime=0 cores=0,2,4,6
/proc/11850/task/11853/stat : 11853 (java) S 11847 11847 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405101483 15379423232 31942 33554432000 4194304 4196468 140725387418320 139646970481424 139647148160725 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16596992 140725387420398 140725387420826 140725387420826 140725387423695 0
[pid=11850/tid=11854] ppid=11847 vsize=15018968 memory=2020 CPUtime=0 cores=0,2,4,6
/proc/11850/task/11854/stat : 11854 (java) S 11847 11847 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405101483 15379423232 31942 33554432000 4194304 4196468 140725387418320 139646608157840 139647148160725 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16596992 140725387420398 140725387420826 140725387420826 140725387423695 0
[pid=11850/tid=11855] ppid=11847 vsize=15018968 memory=988 CPUtime=0 cores=0,2,4,6
/proc/11850/task/11855/stat : 11855 (java) S 11847 11847 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405101483 15379423232 31942 33554432000 4194304 4196468 140725387418320 139646607105040 139647148160725 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16596992 140725387420398 140725387420826 140725387420826 140725387423695 0
[pid=11850/tid=11856] ppid=11847 vsize=15018968 memory=1368 CPUtime=0 cores=0,2,4,6
/proc/11850/task/11856/stat : 11856 (java) S 11847 11847 8853 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 405101484 15379423232 31942 33554432000 4194304 4196468 140725387418320 139646185707632 139647148161666 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16596992 140725387420398 140725387420826 140725387420826 140725387423695 0
[pid=11850/tid=11857] ppid=11847 vsize=15018968 memory=1056 CPUtime=0 cores=0,2,4,6
/proc/11850/task/11857/stat : 11857 (java) S 11847 11847 8853 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405101485 15379423232 31942 33554432000 4194304 4196468 140725387418320 139645694239520 139647148160725 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16596992 140725387420398 140725387420826 140725387420826 140725387423695 0
[pid=11850/tid=11858] ppid=11847 vsize=15018968 memory=1712 CPUtime=0 cores=0,2,4,6
/proc/11850/task/11858/stat : 11858 (java) S 11847 11847 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405101485 15379423232 31942 33554432000 4194304 4196468 140725387418320 139645425804400 139647148160725 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16596992 140725387420398 140725387420826 140725387420826 140725387423695 0
[pid=11850/tid=11859] ppid=11847 vsize=15018968 memory=6088 CPUtime=0 cores=0,2,4,6
/proc/11850/task/11859/stat : 11859 (java) S 11847 11847 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405101487 15379423232 31942 33554432000 4194304 4196468 140725387418320 139645051295824 139647148169115 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16596992 140725387420398 140725387420826 140725387420826 140725387423695 0
[pid=11850/tid=11860] ppid=11847 vsize=15018968 memory=11624 CPUtime=0.07 cores=0,2,4,6
/proc/11850/task/11860/stat : 11860 (java) R 11847 11847 8853 0 -1 4202560 679 0 0 0 7 0 0 0 20 0 15 0 405101487 15379423232 31942 33554432000 4194304 4196468 140725387418320 139646184654656 139647129694991 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16596992 140725387420398 140725387420826 140725387420826 140725387423695 0
[pid=11850/tid=11861] ppid=11847 vsize=15018968 memory=732 CPUtime=0.07 cores=0,2,4,6
/proc/11850/task/11861/stat : 11861 (java) R 11847 11847 8853 0 -1 4202560 358 0 0 0 7 0 0 0 20 0 15 0 405101487 15379423232 31942 33554432000 4194304 4196468 140725387418320 139646183602672 139647127622918 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16596992 140725387420398 140725387420826 140725387420826 140725387423695 0
[pid=11850/tid=11862] ppid=11847 vsize=15018968 memory=776 CPUtime=0.16 cores=0,2,4,6
/proc/11850/task/11862/stat : 11862 (java) R 11847 11847 8853 0 -1 4202560 611 0 0 0 16 0 0 0 20 0 15 0 405101487 15379423232 31942 33554432000 4194304 4196468 140725387418320 139646182546752 139647141250219 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16596992 140725387420398 140725387420826 140725387420826 140725387423695 0
[pid=11850/tid=11863] ppid=11847 vsize=15018968 memory=1560 CPUtime=0 cores=0,2,4,6
/proc/11850/task/11863/stat : 11863 (java) S 11847 11847 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405101488 15379423232 31942 33554432000 4194304 4196468 140725387418320 139644553391072 139647148160725 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16596992 140725387420398 140725387420826 140725387420826 140725387423695 0
[pid=11850/tid=11864] ppid=11847 vsize=15018968 memory=4008 CPUtime=0 cores=0,2,4,6
/proc/11850/task/11864/stat : 11864 (java) S 11847 11847 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405101488 15379423232 31942 33554432000 4194304 4196468 140725387418320 139646181497264 139647148161666 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16596992 140725387420398 140725387420826 140725387420826 140725387423695 0
Current children cumulated CPU time: 1.01 s
Current children cumulated vsize: 15132096 KiB
Current children cumulated memory: 129164 KiB
[startup+1.50072 s]
/proc/loadavg: 2.00 2.07 2.17 3/234 11864
/proc/meminfo: memFree=15071940/32770624 swapFree=66957008/67108860
[pid=11847] ppid=11844 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/11847/stat : 11847 (scop.sh) S 11844 11847 8853 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 405101480 115843072 349 33554432000 4194304 5098028 140723379679040 140723379676296 140456763900540 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 28831744 140723379684136 140723379684464 140723379684464 140723379687373 0
/proc/11847/statm: 28282 349 296 221 0 87 0
################
# More data... #
################
/proc/11850/task/11857/stat : 11857 (java) S 11847 11847 8853 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 15 0 405101485 15390076928 2119930 33554432000 4194304 4196468 140725387418320 139645694239584 139647148160725 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16596992 140725387420398 140725387420826 140725387420826 140725387423695 0
[pid=11850/tid=11858] ppid=11847 vsize=15029372 memory=1056 CPUtime=0 cores=0,2,4,6
/proc/11850/task/11858/stat : 11858 (java) S 11847 11847 8853 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 15 0 405101485 15390076928 2119930 33554432000 4194304 4196468 140725387418320 139645425804416 139647148160725 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16596992 140725387420398 140725387420826 140725387420826 140725387423695 0
[pid=11850/tid=11859] ppid=11847 vsize=15029372 memory=1712 CPUtime=0 cores=0,2,4,6
/proc/11850/task/11859/stat : 11859 (java) S 11847 11847 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405101487 15390076928 2119930 33554432000 4194304 4196468 140725387418320 139645051295824 139647148169115 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16596992 140725387420398 140725387420826 140725387420826 140725387423695 0
[pid=11850/tid=11860] ppid=11847 vsize=15029372 memory=6088 CPUtime=5.82 cores=0,2,4,6
/proc/11850/task/11860/stat : 11860 (java) S 11847 11847 8853 0 -1 1077944384 15286 0 0 0 580 2 0 0 20 0 15 0 405101487 15390076928 2119930 33554432000 4194304 4196468 140725387418320 139646184646576 139647148160725 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16596992 140725387420398 140725387420826 140725387420826 140725387423695 0
[pid=11850/tid=11861] ppid=11847 vsize=15029372 memory=11624 CPUtime=6.29 cores=0,2,4,6
/proc/11850/task/11861/stat : 11861 (java) S 11847 11847 8853 0 -1 1077944384 15770 0 0 0 627 2 0 0 20 0 15 0 405101487 15390076928 2119930 33554432000 4194304 4196468 140725387418320 139646183587664 139647148160725 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16596992 140725387420398 140725387420826 140725387420826 140725387423695 0
[pid=11850/tid=11862] ppid=11847 vsize=15029372 memory=732 CPUtime=1.32 cores=0,2,4,6
/proc/11850/task/11862/stat : 11862 (java) S 11847 11847 8853 0 -1 1077944384 10134 0 0 0 130 2 0 0 20 0 15 0 405101487 15390076928 2119930 33554432000 4194304 4196468 140725387418320 139646182550384 139647148161666 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16596992 140725387420398 140725387420826 140725387420826 140725387423695 0
[pid=11850/tid=11863] ppid=11847 vsize=15029372 memory=776 CPUtime=0 cores=0,2,4,6
/proc/11850/task/11863/stat : 11863 (java) S 11847 11847 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405101488 15390076928 2119930 33554432000 4194304 4196468 140725387418320 139644553391072 139647148160725 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16596992 140725387420398 140725387420826 140725387420826 140725387423695 0
[pid=11850/tid=11864] ppid=11847 vsize=15029372 memory=1560 CPUtime=0.21 cores=0,2,4,6
/proc/11850/task/11864/stat : 11864 (java) S 11847 11847 8853 0 -1 1077944384 521 0 0 0 11 10 0 0 20 0 15 0 405101488 15390076928 2119930 33554432000 4194304 4196468 140725387418320 139646181497264 139647148161666 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 19 0 0 6293624 6294260 16596992 140725387420398 140725387420826 140725387420826 140725387423695 0
Current children cumulated CPU time: 368.51 s
Current children cumulated vsize: 15142500 KiB
Current children cumulated memory: 8479068 KiB
[startup+312.8 s]
/proc/loadavg: 2.16 2.12 2.15 6/235 11897
/proc/meminfo: memFree=6807208/32770624 swapFree=66957008/67108860
[pid=11847] ppid=11844 vsize=113128 memory=1476 CPUtime=369.8 cores=0,2,4,6
/proc/11847/stat : 11847 (scop.sh) S 11844 11847 8853 0 -1 4202496 583 114187 0 0 0 0 36352 628 20 0 1 0 405101480 115843072 369 33554432000 4194304 5098028 140723379679040 140723379675784 140456763900540 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 28831744 140723379684136 140723379684464 140723379684464 140723379687373 0
/proc/11847/statm: 28282 369 311 221 0 87 0
Current children cumulated CPU time: 369.8 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1476 KiB
[startup+313.601 s]
/proc/loadavg: 2.16 2.12 2.15 4/235 11912
/proc/meminfo: memFree=15203504/32770624 swapFree=66957008/67108860
[pid=11847] ppid=11844 vsize=113128 memory=1476 CPUtime=369.8 cores=0,2,4,6
/proc/11847/stat : 11847 (scop.sh) S 11844 11847 8853 0 -1 4202496 583 114187 0 0 0 0 36352 628 20 0 1 0 405101480 115843072 369 33554432000 4194304 5098028 140723379679040 140723379675784 140456763900540 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 28831744 140723379684136 140723379684464 140723379684464 140723379687373 0
/proc/11847/statm: 28282 369 311 221 0 87 0
[pid=11898] ppid=11847 vsize=8068440 memory=119484 CPUtime=1.36 cores=0,2,4,6
/proc/11898/stat : 11898 (java) S 11847 11847 8853 0 -1 1077944320 20366 0 0 0 127 9 0 0 20 0 19 0 405132718 8262082560 29871 33554432000 4194304 4196468 140726349074192 140726349056736 140414239973111 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 21278720 140726349075451 140726349075610 140726349075610 140726349078479 0
/proc/11898/statm: 2017110 29871 3194 1 0 1978454 0
[pid=11898/tid=11899] ppid=11847 vsize=8068440 memory=119484 CPUtime=0.8 cores=0,2,4,6
/proc/11898/task/11899/stat : 11899 (java) S 11847 11847 8853 0 -1 1077944384 16841 0 0 0 73 7 0 0 20 0 19 0 405132718 8262082560 29871 33554432000 4194304 4196468 140726349074192 140414211813280 140414239983317 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21278720 140726349075451 140726349075610 140726349075610 140726349078479 0
[pid=11898/tid=11900] ppid=11847 vsize=8068440 memory=3512 CPUtime=0 cores=0,2,4,6
/proc/11898/task/11900/stat : 11900 (java) S 11847 11847 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405132719 8262082560 29871 33554432000 4194304 4196468 140726349074192 140414244215696 140414239983317 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21278720 140726349075451 140726349075610 140726349075610 140726349078479 0
[pid=11898/tid=11901] ppid=11847 vsize=8068440 memory=37328 CPUtime=0 cores=0,2,4,6
/proc/11898/task/11901/stat : 11901 (java) S 11847 11847 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405132719 8262082560 29871 33554432000 4194304 4196468 140726349074192 140414044384016 140414239983317 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21278720 140726349075451 140726349075610 140726349075610 140726349078479 0
[pid=11898/tid=11902] ppid=11847 vsize=8068440 memory=8442236 CPUtime=0 cores=0,2,4,6
/proc/11898/task/11902/stat : 11902 (java) S 11847 11847 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405132719 8262082560 29871 33554432000 4194304 4196468 140726349074192 140414043331728 140414239983317 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21278720 140726349075451 140726349075610 140726349075610 140726349078479 0
[pid=11898/tid=11903] ppid=11847 vsize=8068440 memory=8442236 CPUtime=0 cores=0,2,4,6
/proc/11898/task/11903/stat : 11903 (java) S 11847 11847 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405132719 8262082560 29871 33554432000 4194304 4196468 140726349074192 140414042278928 140414239983317 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21278720 140726349075451 140726349075610 140726349075610 140726349078479 0
[pid=11898/tid=11904] ppid=11847 vsize=8068440 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11898/task/11904/stat : 11904 (java) S 11847 11847 8853 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 405132721 8262082560 29871 33554432000 4194304 4196468 140726349074192 140413618866288 140414239984258 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21278720 140726349075451 140726349075610 140726349075610 140726349078479 0
[pid=11898/tid=11905] ppid=11847 vsize=8068440 memory=1096 CPUtime=0 cores=0,2,4,6
/proc/11898/task/11905/stat : 11905 (java) S 11847 11847 8853 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 405132721 8262082560 29871 33554432000 4194304 4196468 140726349074192 140413084099360 140414239983317 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21278720 140726349075451 140726349075610 140726349075610 140726349078479 0
[pid=11898/tid=11906] ppid=11847 vsize=8068440 memory=2828 CPUtime=0 cores=0,2,4,6
/proc/11898/task/11906/stat : 11906 (java) S 11847 11847 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405132722 8262082560 29871 33554432000 4194304 4196468 140726349074192 140412815664240 140414239983317 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21278720 140726349075451 140726349075610 140726349075610 140726349078479 0
[pid=11898/tid=11907] ppid=11847 vsize=8068440 memory=732 CPUtime=0 cores=0,2,4,6
/proc/11898/task/11907/stat : 11907 (java) S 11847 11847 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405132724 8262082560 29871 33554432000 4194304 4196468 140726349074192 140412441155664 140414239991707 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21278720 140726349075451 140726349075610 140726349075610 140726349078479 0
[pid=11898/tid=11908] ppid=11847 vsize=8068440 memory=776 CPUtime=0.14 cores=0,2,4,6
/proc/11898/task/11908/stat : 11908 (java) S 11847 11847 8853 0 -1 1077944384 627 0 0 0 14 0 0 0 20 0 19 0 405132724 8262082560 29871 33554432000 4194304 4196468 140726349074192 140413617814128 140414239984258 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21278720 140726349075451 140726349075610 140726349075610 140726349078479 0
[pid=11898/tid=11909] ppid=11847 vsize=8068440 memory=1560 CPUtime=0.15 cores=0,2,4,6
/proc/11898/task/11909/stat : 11909 (java) S 11847 11847 8853 0 -1 1077944384 880 0 0 0 15 0 0 0 20 0 19 0 405132724 8262082560 29871 33554432000 4194304 4196468 140726349074192 140413616761328 140414239984258 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21278720 140726349075451 140726349075610 140726349075610 140726349078479 0
[pid=11898/tid=11910] ppid=11847 vsize=8068440 memory=4008 CPUtime=0.22 cores=0,2,4,6
/proc/11898/task/11910/stat : 11910 (java) S 11847 11847 8853 0 -1 1077944384 608 0 0 0 22 0 0 0 20 0 19 0 405132724 8262082560 29871 33554432000 4194304 4196468 140726349074192 140413615709040 140414239984258 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21278720 140726349075451 140726349075610 140726349075610 140726349078479 0
[pid=11898/tid=11911] ppid=11847 vsize=8068440 memory=280107433087568 CPUtime=0 cores=0,2,4,6
/proc/11898/task/11911/stat : 11911 (java) S 11847 11847 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405132725 8262082560 29871 33554432000 4194304 4196468 140726349074192 140411943250912 140414239983317 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21278720 140726349075451 140726349075610 140726349075610 140726349078479 0
[pid=11898/tid=11912] ppid=11847 vsize=8068440 memory=-2023959437020729679 CPUtime=0 cores=0,2,4,6
/proc/11898/task/11912/stat : 11912 (java) S 11847 11847 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405132725 8262082560 29871 33554432000 4194304 4196468 140726349074192 140413614655920 140414239984258 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21278720 140726349075451 140726349075610 140726349075610 140726349078479 0
Current children cumulated CPU time: 371.16 s
Current children cumulated vsize: 8181568 KiB
Current children cumulated memory: 120960 KiB
[startup+314.001 s]*
/proc/loadavg: 2.16 2.12 2.15 4/237 11918
/proc/meminfo: memFree=15143260/32770624 swapFree=66957008/67108860
[pid=11847] ppid=11844 vsize=113128 memory=1476 CPUtime=369.8 cores=0,2,4,6
/proc/11847/stat : 11847 (scop.sh) S 11844 11847 8853 0 -1 4202496 583 114187 0 0 0 0 36352 628 20 0 1 0 405101480 115843072 369 33554432000 4194304 5098028 140723379679040 140723379675784 140456763900540 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 28831744 140723379684136 140723379684464 140723379684464 140723379687373 0
/proc/11847/statm: 28282 369 311 221 0 87 0
[pid=11898] ppid=11847 vsize=7937364 memory=156984 CPUtime=2.48 cores=0,2,4,6
/proc/11898/stat : 11898 (java) S 11847 11847 8853 0 -1 1077944320 21535 17372 0 0 181 10 55 2 20 0 17 0 405132718 8127860736 39246 33554432000 4194304 4196468 140726349074192 140726349056736 140414239973111 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 21278720 140726349075451 140726349075610 140726349075610 140726349078479 0
/proc/11898/statm: 1984341 39246 3234 1 0 1945685 0
[pid=11898/tid=11899] ppid=11847 vsize=7937364 memory=6791534058613427641 CPUtime=1.47 cores=0,2,4,6
/proc/11898/task/11899/stat : 11899 (java) R 11847 11847 8853 0 -1 4202560 17120 17372 0 0 83 7 55 2 20 0 17 0 405132718 8127860736 39299 33554432000 4194304 4196468 140726349074192 140414211793968 140414219578478 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21278720 140726349075451 140726349075610 140726349075610 140726349078479 0
[pid=11898/tid=11900] ppid=11847 vsize=7937364 memory=4126316290023845779 CPUtime=0.57 cores=0,2,4,6
/proc/11898/task/11900/stat : 11900 (java) S 11847 11847 8853 0 -1 1077944384 1 17372 0 0 0 0 55 2 20 0 17 0 405132719 8127860736 39299 33554432000 4194304 4196468 140726349074192 140414244215696 140414239983317 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21278720 140726349075451 140726349075610 140726349075610 140726349078479 0
[pid=11898/tid=11901] ppid=11847 vsize=7937364 memory=3500 CPUtime=0.57 cores=0,2,4,6
/proc/11898/task/11901/stat : 11901 (java) S 11847 11847 8853 0 -1 1077944384 1 17372 0 0 0 0 55 2 20 0 17 0 405132719 8127860736 39299 33554432000 4194304 4196468 140726349074192 140414044384016 140414239983317 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21278720 140726349075451 140726349075610 140726349075610 140726349078479 0
[pid=11898/tid=11902] ppid=11847 vsize=7937364 memory=1476 CPUtime=0.57 cores=0,2,4,6
/proc/11898/task/11902/stat : 11902 (java) S 11847 11847 8853 0 -1 1077944384 1 17372 0 0 0 0 55 2 20 0 17 0 405132719 8127860736 39299 33554432000 4194304 4196468 140726349074192 140414043331728 140414239983317 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21278720 140726349075451 140726349075610 140726349075610 140726349078479 0
[pid=11898/tid=11903] ppid=11847 vsize=7937364 memory=130780 CPUtime=0.57 cores=0,2,4,6
/proc/11898/task/11903/stat : 11903 (java) S 11847 11847 8853 0 -1 1077944384 2 17372 0 0 0 0 55 2 20 0 17 0 405132719 8127860736 39299 33554432000 4194304 4196468 140726349074192 140414042278928 140414239983317 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21278720 140726349075451 140726349075610 140726349075610 140726349078479 0
[pid=11898/tid=11904] ppid=11847 vsize=7937364 memory=136160 CPUtime=0.57 cores=0,2,4,6
/proc/11898/task/11904/stat : 11904 (java) S 11847 11847 8853 0 -1 1077944384 5 17372 0 0 0 0 55 2 20 0 17 0 405132721 8127860736 39299 33554432000 4194304 4196468 140726349074192 140413618866288 140414239984258 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21278720 140726349075451 140726349075610 140726349075610 140726349078479 0
[pid=11898/tid=11905] ppid=11847 vsize=7937364 memory=1408 CPUtime=0.57 cores=0,2,4,6
/proc/11898/task/11905/stat : 11905 (java) S 11847 11847 8853 0 -1 1077944384 13 17372 0 0 0 0 55 2 20 0 17 0 405132721 8127860736 39299 33554432000 4194304 4196468 140726349074192 140413084099360 140414239983317 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21278720 140726349075451 140726349075610 140726349075610 140726349078479 0
[pid=11898/tid=11906] ppid=11847 vsize=7937364 memory=3140 CPUtime=0.57 cores=0,2,4,6
/proc/11898/task/11906/stat : 11906 (java) S 11847 11847 8853 0 -1 1077944384 1 17372 0 0 0 0 55 2 20 0 17 0 405132722 8127860736 39299 33554432000 4194304 4196468 140726349074192 140412815664240 140414239983317 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21278720 140726349075451 140726349075610 140726349075610 140726349078479 0
[pid=11898/tid=11907] ppid=11847 vsize=7937364 memory=1476 CPUtime=0.57 cores=0,2,4,6
/proc/11898/task/11907/stat : 11907 (java) S 11847 11847 8853 0 -1 1077944384 3 17372 0 0 0 0 55 2 20 0 17 0 405132724 8127860736 39299 33554432000 4194304 4196468 140726349074192 140412441155664 140414239991707 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21278720 140726349075451 140726349075610 140726349075610 140726349078479 0
[pid=11898/tid=11908] ppid=11847 vsize=7937364 memory=130780 CPUtime=0.83 cores=0,2,4,6
/proc/11898/task/11908/stat : 11908 (java) S 11847 11847 8853 0 -1 1077944384 682 17372 0 0 26 0 55 2 20 0 17 0 405132724 8127860736 39299 33554432000 4194304 4196468 140726349074192 140413617814128 140414239984258 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21278720 140726349075451 140726349075610 140726349075610 140726349078479 0
[pid=11898/tid=11909] ppid=11847 vsize=7937364 memory=136160 CPUtime=0.84 cores=0,2,4,6
/proc/11898/task/11909/stat : 11909 (java) S 11847 11847 8853 0 -1 1077944384 929 17372 0 0 27 0 55 2 20 0 17 0 405132724 8127860736 39299 33554432000 4194304 4196468 140726349074192 140413616761328 140414239984258 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21278720 140726349075451 140726349075610 140726349075610 140726349078479 0
[pid=11898/tid=11910] ppid=11847 vsize=7937364 memory=1408 CPUtime=0.89 cores=0,2,4,6
/proc/11898/task/11910/stat : 11910 (java) S 11847 11847 8853 0 -1 1077944384 837 17372 0 0 32 0 55 2 20 0 17 0 405132724 8127860736 39299 33554432000 4194304 4196468 140726349074192 140413615709040 140414239984258 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21278720 140726349075451 140726349075610 140726349075610 140726349078479 0
[pid=11898/tid=11911] ppid=11847 vsize=7937364 memory=3212 CPUtime=0.57 cores=0,2,4,6
/proc/11898/task/11911/stat : 11911 (java) S 11847 11847 8853 0 -1 1077944384 3 17372 0 0 0 0 55 2 20 0 17 0 405132725 8127860736 39299 33554432000 4194304 4196468 140726349074192 140411943250912 140414239983317 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21278720 140726349075451 140726349075610 140726349075610 140726349078479 0
[pid=11898/tid=11912] ppid=11847 vsize=7937364 memory=1476 CPUtime=0.57 cores=0,2,4,6
/proc/11898/task/11912/stat : 11912 (java) S 11847 11847 8853 0 -1 1077944384 2 17372 0 0 0 0 55 2 20 0 17 0 405132725 8127860736 39299 33554432000 4194304 4196468 140726349074192 140413614655920 140414239984258 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21278720 140726349075451 140726349075610 140726349075610 140726349078479 0
[pid=11898/tid=11914] ppid=11847 vsize=7937364 memory=97620 CPUtime=0.57 cores=0,2,4,6
/proc/11898/task/11914/stat : 11914 (java) S 11847 11847 8853 0 -1 1077944384 25 17372 0 0 0 0 55 2 20 0 17 0 405132796 8127860736 39299 33554432000 4194304 4196468 140726349074192 140413688557712 140414239984258 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21278720 140726349075451 140726349075610 140726349075610 140726349078479 0
[pid=11898/tid=11918] ppid=11847 vsize=7937364 memory=19936 CPUtime=0.57 cores=0,2,4,6
/proc/11898/task/11918/stat : 11918 (java) S 11847 11847 8853 0 -1 1077944384 12 17372 0 0 0 0 55 2 20 0 17 0 405132798 8127860736 39299 33554432000 4194304 4196468 140726349074192 140411137942704 140414239984258 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21278720 140726349075451 140726349075610 140726349075610 140726349078479 0
Current children cumulated CPU time: 372.28 s
Current children cumulated vsize: 8050492 KiB
Current children cumulated memory: 158460 KiB
[startup+314.114 s]
/proc/loadavg: 2.16 2.12 2.15 4/237 11918
/proc/meminfo: memFree=15143260/32770624 swapFree=66957008/67108860
[pid=11847] ppid=11844 vsize=113128 memory=1476 CPUtime=369.8 cores=0,2,4,6
/proc/11847/stat : 11847 (scop.sh) S 11844 11847 8853 0 -1 4202496 583 114187 0 0 0 0 36352 628 20 0 1 0 405101480 115843072 369 33554432000 4194304 5098028 140723379679040 140723379675784 140456763900540 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 28831744 140723379684136 140723379684464 140723379684464 140723379687373 0
/proc/11847/statm: 28282 369 311 221 0 87 0
[pid=11898] ppid=11847 vsize=7938388 memory=167164 CPUtime=2.74 cores=0,2,4,6
/proc/11898/stat : 11898 (java) S 11847 11847 8853 0 -1 1077944320 22764 17372 0 0 206 11 55 2 20 0 17 0 405132718 8128909312 41727 33554432000 4194304 4196468 140726349074192 140726349056736 140414239973111 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 21278720 140726349075451 140726349075610 140726349075610 140726349078479 0
/proc/11898/statm: 1984597 41791 3234 1 0 1945941 0
[pid=11898/tid=11899] ppid=11847 vsize=7938388 memory=1476 CPUtime=1.58 cores=0,2,4,6
/proc/11898/task/11899/stat : 11899 (java) R 11847 11847 8853 0 -1 4202560 18201 17372 0 0 93 8 55 2 20 0 17 0 405132718 8128909312 41791 33554432000 4194304 4196468 140726349074192 140414211799840 140414232652829 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21278720 140726349075451 140726349075610 140726349075610 140726349078479 0
[pid=11898/tid=11900] ppid=11847 vsize=7938388 memory=1476 CPUtime=0.57 cores=0,2,4,6
/proc/11898/task/11900/stat : 11900 (java) S 11847 11847 8853 0 -1 1077944384 1 17372 0 0 0 0 55 2 20 0 17 0 405132719 8128909312 41791 33554432000 4194304 4196468 140726349074192 140414244215696 140414239983317 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21278720 140726349075451 140726349075610 140726349075610 140726349078479 0
[pid=11898/tid=11901] ppid=11847 vsize=7938388 memory=988 CPUtime=0.57 cores=0,2,4,6
/proc/11898/task/11901/stat : 11901 (java) S 11847 11847 8853 0 -1 1077944384 1 17372 0 0 0 0 55 2 20 0 17 0 405132719 8128909312 41857 33554432000 4194304 4196468 140726349074192 140414044384016 140414239983317 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21278720 140726349075451 140726349075610 140726349075610 140726349078479 0
[pid=11898/tid=11902] ppid=11847 vsize=7938388 memory=1368 CPUtime=0.57 cores=0,2,4,6
/proc/11898/task/11902/stat : 11902 (java) S 11847 11847 8853 0 -1 1077944384 1 17372 0 0 0 0 55 2 20 0 17 0 405132719 8128909312 41857 33554432000 4194304 4196468 140726349074192 140414043331728 140414239983317 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21278720 140726349075451 140726349075610 140726349075610 140726349078479 0
[pid=11898/tid=11903] ppid=11847 vsize=7938388 memory=1056 CPUtime=0.57 cores=0,2,4,6
/proc/11898/task/11903/stat : 11903 (java) S 11847 11847 8853 0 -1 1077944384 2 17372 0 0 0 0 55 2 20 0 17 0 405132719 8128909312 41857 33554432000 4194304 4196468 140726349074192 140414042278928 140414239983317 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21278720 140726349075451 140726349075610 140726349075610 140726349078479 0
[pid=11898/tid=11904] ppid=11847 vsize=7938388 memory=119484 CPUtime=0.57 cores=0,2,4,6
/proc/11898/task/11904/stat : 11904 (java) S 11847 11847 8853 0 -1 1077944384 5 17372 0 0 0 0 55 2 20 0 17 0 405132721 8128909312 41857 33554432000 4194304 4196468 140726349074192 140413618866288 140414239984258 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21278720 140726349075451 140726349075610 140726349075610 140726349078479 0
[pid=11898/tid=11905] ppid=11847 vsize=7938388 memory=1476 CPUtime=0.57 cores=0,2,4,6
/proc/11898/task/11905/stat : 11905 (java) S 11847 11847 8853 0 -1 1077944384 13 17372 0 0 0 0 55 2 20 0 17 0 405132721 8128909312 41923 33554432000 4194304 4196468 140726349074192 140413084099360 140414239983317 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21278720 140726349075451 140726349075610 140726349075610 140726349078479 0
[pid=11898/tid=11906] ppid=11847 vsize=7938388 memory=146832 CPUtime=0.57 cores=0,2,4,6
/proc/11898/task/11906/stat : 11906 (java) S 11847 11847 8853 0 -1 1077944384 1 17372 0 0 0 0 55 2 20 0 17 0 405132722 8128909312 41923 33554432000 4194304 4196468 140726349074192 140412815664240 140414239983317 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21278720 140726349075451 140726349075610 140726349075610 140726349078479 0
[pid=11898/tid=11907] ppid=11847 vsize=7938388 memory=1476 CPUtime=0.57 cores=0,2,4,6
/proc/11898/task/11907/stat : 11907 (java) S 11847 11847 8853 0 -1 1077944384 3 17372 0 0 0 0 55 2 20 0 17 0 405132724 8128909312 41923 33554432000 4194304 4196468 140726349074192 140412441155664 140414239991707 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21278720 140726349075451 140726349075610 140726349075610 140726349078479 0
[pid=11898/tid=11908] ppid=11847 vsize=7938388 memory=492 CPUtime=0.86 cores=0,2,4,6
/proc/11898/task/11908/stat : 11908 (java) R 11847 11847 8853 0 -1 4202560 709 17372 0 0 29 0 55 2 20 0 17 0 405132724 8128909312 41923 33554432000 4194304 4196468 140726349074192 140413617814128 140414217529066 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21278720 140726349075451 140726349075610 140726349075610 140726349078479 0
[pid=11898/tid=11909] ppid=11847 vsize=7938388 memory=11624 CPUtime=0.9 cores=0,2,4,6
/proc/11898/task/11909/stat : 11909 (java) R 11847 11847 8853 0 -1 4202560 944 17372 0 0 33 0 55 2 20 0 17 0 405132724 8128909312 41923 33554432000 4194304 4196468 140726349074192 140413616739680 140414224896664 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21278720 140726349075451 140726349075610 140726349075610 140726349078479 0
[pid=11898/tid=11910] ppid=11847 vsize=7938388 memory=776 CPUtime=0.95 cores=0,2,4,6
/proc/11898/task/11910/stat : 11910 (java) S 11847 11847 8853 0 -1 1077944384 979 17372 0 0 38 0 55 2 20 0 17 0 405132724 8128909312 41923 33554432000 4194304 4196468 140726349074192 140413615709040 140414239984258 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21278720 140726349075451 140726349075610 140726349075610 140726349078479 0
[pid=11898/tid=11911] ppid=11847 vsize=7938388 memory=4008 CPUtime=0.57 cores=0,2,4,6
/proc/11898/task/11911/stat : 11911 (java) S 11847 11847 8853 0 -1 1077944384 3 17372 0 0 0 0 55 2 20 0 17 0 405132725 8128909312 41923 33554432000 4194304 4196468 140726349074192 140411943250912 140414239983317 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21278720 140726349075451 140726349075610 140726349075610 140726349078479 0
[pid=11898/tid=11912] ppid=11847 vsize=7938388 memory=1096 CPUtime=0.57 cores=0,2,4,6
/proc/11898/task/11912/stat : 11912 (java) S 11847 11847 8853 0 -1 1077944384 2 17372 0 0 0 0 55 2 20 0 17 0 405132725 8128909312 41923 33554432000 4194304 4196468 140726349074192 140413614655920 140414239984258 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21278720 140726349075451 140726349075610 140726349075610 140726349078479 0
[pid=11898/tid=11914] ppid=11847 vsize=7938388 memory=1396 CPUtime=0.57 cores=0,2,4,6
/proc/11898/task/11914/stat : 11914 (java) S 11847 11847 8853 0 -1 1077944384 25 17372 0 0 0 0 55 2 20 0 17 0 405132796 8128909312 41923 33554432000 4194304 4196468 140726349074192 140413688557712 140414239984258 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21278720 140726349075451 140726349075610 140726349075610 140726349078479 0
[pid=11898/tid=11918] ppid=11847 vsize=7938388 memory=1808 CPUtime=0.57 cores=0,2,4,6
/proc/11898/task/11918/stat : 11918 (java) S 11847 11847 8853 0 -1 1077944384 12 17372 0 0 0 0 55 2 20 0 17 0 405132798 8128909312 41923 33554432000 4194304 4196468 140726349074192 140411137942704 140414239984258 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21278720 140726349075451 140726349075610 140726349075610 140726349078479 0
Current children cumulated CPU time: 372.54 s
Current children cumulated vsize: 8051516 KiB
Current children cumulated memory: 168640 KiB
Child status: 0
Real time (s): 314.141
CPU time (s): 372.629
CPU user time (s): 366.188
CPU system time (s): 6.44095
CPU usage (%): 118.618
Max. virtual memory (cumulated for all children) (KiB): 15142500
Max. memory (cumulated for all children) (KiB): 8497500
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 366.188
system time used= 6.44095
maximum resident set size= 8496144
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 155734
page faults= 0
swaps= 0
block input operations= 0
block output operations= 12512
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 15383
involuntary context switches= 870
# summary of solver processes directly reported to runsolver:
# pid: 11847
# total CPU time (s): 372.629
# total CPU user time (s): 366.188
# total CPU system time (s): 6.44095
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.98676 second user time and 3.17435 second system time
The end