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-7043-serial-file.bin HOME/instance-4387698-1568288646.xml
0.67/0.53
0.67/0.53 Fun-sCOP order+glueminisat-simp-2.2.10-193oa-n-release (2019-06-15)
0.67/0.53
0.67/0.55 c BEGIN-Prog: Thu Sep 12 13:43:29 CEST 2019
0.67/0.55 c PID: 7046
0.67/0.55 c IP: 172.20.3.126
0.67/0.55 c HOST: node126.alineos.net
0.67/0.56 c (0,0) Parsing Begin
1.79/1.03 c (0,0) Parsing End
1.79/1.04 c (0,0) CSP: 800 int (0 aux), 0 bool (0 aux), 3 ctr, max domain size 800
1.79/1.04 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.79/1.04 c (0,0) Constraint Name Generate Begin
1.79/1.06 c (0,0) Ctr:HOME/instance-4387698-1568288646.xml,Cardinality:Num:Var:WeightedSum
1.79/1.06 c (0,0) Constraint Name Generate End
1.79/1.06 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.79/1.06 c (0,0) CSP to CSPinCNF Begin
1.79/1.09 c (0,0) translated 1 (10%) constraints
336.88/313.01 c (312,306) translated 2 (20%) constraints
337.34/313.47 c (312,306) translated 3 (30%) constraints
337.90/313.94 c (313,306) ===========================================
337.90/313.97 c (313,306) Order
337.90/313.97 c (313,306) ===========================================
437.61/402.73 c (402,393) translated 128081 (10%) constraints
443.41/408.52 c (407,399) translated 256161 (20%) constraints
451.29/414.86 c (414,405) translated 384241 (30%) constraints
457.20/420.71 c (420,411) translated 512321 (40%) constraints
464.98/427.05 c (426,416) translated 640401 (50%) constraints
473.07/433.48 c (432,422) translated 768482 (60%) constraints
478.97/439.34 c (438,428) translated 896562 (70%) constraints
486.88/445.72 c (445,434) translated 1024642 (80%) constraints
492.69/451.59 c (451,440) translated 1152722 (90%) constraints
500.87/458.11 c (457,446) translated 1280802 (100%) constraints
500.97/458.28 c (457,446) CSP to CSPinCNF End
501.40/458.62 c (458,446) CSP: 150243 int (149842 aux), 1283192 bool (1282793 aux), 2866874 ctr, max domain size 45212
501.40/458.62 c (458,446) Heap : 6403 MiB used (max 10793 MiB), NonHeap : 27 MiB used (max 0 MiB)
501.40/458.62 c (458,446) CSPinCNF Propagation Begin
562.62/499.26 c (498,481) 6393231 values, 2533044 unsatisfiable literals, and 2791974 valid clauses are removed
562.62/499.26 c (498,481) CSPinCNF Propagation End
563.13/499.71 c (499,481) CSP: 10590 int (10189 aux), 1422845 bool (1422446 aux), 74900 ctr, max domain size 866
563.13/499.71 c (499,481) Heap : 8590 MiB used (max 10794 MiB), NonHeap : 27 MiB used (max 0 MiB)
563.13/499.79 c (499,481) Simplify CSPinCNF Begin
563.47/499.97 c (499,481) Simplify CSPinCNF End
564.09/500.41 c (499,482) CSP: 10590 int (10189 aux), 1422845 bool (1422446 aux), 74900 ctr, max domain size 866
564.09/500.41 c (499,482) Heap : 8701 MiB used (max 10794 MiB), NonHeap : 28 MiB used (max 0 MiB)
564.09/500.41 c (499,482) Calculate Precise Domain Begin
570.86/503.62 c (503,484) 279566 values are removed by re-calculation
570.86/503.62 c (503,484) Calculate Precise Domain End
571.28/504.07 c (503,484) CSP: 10590 int (10189 aux), 1422845 bool (1422446 aux), 74900 ctr, max domain size 866
571.28/504.07 c (503,484) Heap : 7707 MiB used (max 10768 MiB), NonHeap : 30 MiB used (max 0 MiB)
571.28/504.07 c (503,484) CSPinCNF to SatSolver Begin
583.68/510.34 c (509,489) 7490 (10 %) CSP clauses are encoded (0 SAT variables, 2161883 SAT clauses)
584.40/510.62 c (510,490) 14980 (20 %) CSP clauses are encoded (0 SAT variables, 2205083 SAT clauses)
584.79/510.82 c (510,490) 22470 (30 %) CSP clauses are encoded (0 SAT variables, 2225223 SAT clauses)
584.89/510.95 c (510,490) 29960 (40 %) CSP clauses are encoded (0 SAT variables, 2237959 SAT clauses)
585.00/511.06 c (510,490) 37450 (50 %) CSP clauses are encoded (0 SAT variables, 2246841 SAT clauses)
585.10/511.17 c (510,490) 44940 (60 %) CSP clauses are encoded (0 SAT variables, 2254767 SAT clauses)
585.22/511.30 c (510,490) 52430 (70 %) CSP clauses are encoded (0 SAT variables, 2262311 SAT clauses)
585.51/511.36 c (510,490) 59920 (80 %) CSP clauses are encoded (0 SAT variables, 2269801 SAT clauses)
585.76/511.43 c (510,491) 67410 (90 %) CSP clauses are encoded (0 SAT variables, 2277291 SAT clauses)
626.49/553.52 c (552,526) 74900 (100 %) CSP clauses are encoded (0 SAT variables, 23495242 SAT clauses)
626.49/553.52 c (552,526) CSPinCNF to SatSolver End
626.49/553.52 c (552,526) Heap : 7967 MiB used (max 10920 MiB), NonHeap : 31 MiB used (max 0 MiB)
626.49/553.52 c (552,526) 276530 bool, 23495503 clause
626.49/553.52 c (552,526) Export Begin
626.64/553.65 c (553,526) Export to HOME/scop-7043-serial-file.bin
626.64/553.65 c (553,526) Export End
626.64/553.65 c (553,526) Export File Size: 0.12 MB
626.64/553.65 c (553,526) 0,0,458,499,499,503,552,STOP-AFTER(DIMACS)
626.64/553.65 c END-Prog: Thu Sep 12 13:52:43 CEST 2019
0.00/553.72 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-7043-serial-file.bin
627.38/554.18 c (0,0) Read Serial File Begin
627.38/554.18 c (0,0) HOME/scop-7043-serial-file.bin
627.85/554.43 c (0,0) Read Serial File End
627.85/554.45
627.85/554.45 Fun-sCOP order+glueminisat-simp-2.2.10-193oa-n-release (2019-06-15)
628.23/554.72 (Solving Process)
628.23/554.72
628.23/554.72 c BEGIN-Prog: Thu Sep 12 13:52:43 CEST 2019
628.23/554.72 c PID: 7111
628.23/554.72 c IP: 172.20.3.126
628.23/554.72 c HOST: node126.alineos.net
628.23/554.72 c (0,0) SatSolver.solve Begin
628.23/554.72 c (0,0) HOME/glueminisat-simp-2.2.10-193oa-n-release -model -verb=3 -elim-cl=5000000 -native-oa HOME/instance-4387698-1568288646.xml-scop-7046.cnf
628.23/554.72 c (0,0) c WARNING: for repeatability, setting FPU to use double precision
628.23/554.72 c (0,0) c glueminisat-simp-2.2.10-193oa-n
628.23/554.72 c (0,0) c Command: HOME/glueminisat-simp-2.2.10-193oa-n-release -model -verb=3 -elim-cl=5000000 -native-oa HOME/instance-4387698-1568288646.xml-scop-7046.cnf
628.23/554.72 c (0,0) c Options:
628.23/554.72 c (0,0) c CORE
628.23/554.72 c (0,0) c var_decay = 0.950
628.23/554.72 c (0,0) c clause_decay = 0.999
628.23/554.72 c (0,0) c random_var_freq = 0.000
628.23/554.72 c (0,0) c random_seed = 91648253.000
628.23/554.72 c (0,0) c luby_restart = 1
628.23/554.72 c (0,0) c ccmin_mode = 2
628.23/554.72 c (0,0) c phase_saving = 2
628.23/554.72 c (0,0) c rnd_pol = 0
628.23/554.72 c (0,0) c rnd_init_act = 0
628.23/554.72 c (0,0) c garbage_frac = 0.200
628.23/554.72 c (0,0) c restart_first = 1000
628.23/554.72 c (0,0) c restart_inc = 2.000
628.23/554.72 c (0,0) c MODEL
628.23/554.72 c (0,0) c partial_model = 0
628.23/554.72 c (0,0) c PROPAGATION
628.23/554.72 c (0,0) c bin_propagation = 1
628.23/554.72 c (0,0) c SIMPLIFICATION
628.23/554.72 c (0,0) c lrn_min_size = 100
628.23/554.72 c (0,0) c lazy_simp = 1
628.23/554.72 c (0,0) c lazy_interval = 10
628.23/554.72 c (0,0) c lazy_fld_probing = 1
628.23/554.72 c (0,0) c lazy_pol_probing = 1
628.23/554.72 c (0,0) c lazy_nec_probing = 1
628.23/554.72 c (0,0) c lazy_eqv_probing = 1
628.23/554.72 c (0,0) c lazy_cla_probing = 1
628.23/554.72 c (0,0) c lazy_lrn_min = 2
628.23/554.72 c (0,0) c lazy_uw_lit_elim = 1
628.23/554.72 c (0,0) c lazy_pr_lit_elim = 0
628.23/554.72 c (0,0) c lazy_bin_add = 3
628.23/554.72 c (0,0) c probed_lit_chain = 1
628.23/554.72 c (0,0) c pr_min_lits = 0.00020
628.23/554.72 c (0,0) c pr_min_starts = 500
628.23/554.72 c (0,0) c rw_min_lits = 0.010
628.23/554.72 c (0,0) c rw_min_starts = 500
628.23/554.72 c (0,0) c rand_attach = 0
628.23/554.72 c (0,0) c dec_elim = 1
628.23/554.72 c (0,0) c dec_elim_lim = 25
628.23/554.72 c (0,0) c dec_elim_len = -1
628.23/554.72 c (0,0) c amo = 0
628.23/554.72 c (0,0) c amo_grp = 1
628.23/554.72 c (0,0) c amo_max_bins = 1000000
628.23/554.72 c (0,0) c amo_starts = 50
628.23/554.72 c (0,0) c mace_cmd = mace
628.23/554.72 c (0,0) c DECISION
628.23/554.72 c (0,0) c rand_rebuild = 0
628.23/554.72 c (0,0) c rand_rebuild_confs = 10000
628.23/554.72 c (0,0) c inc_var_decay = 1
628.23/554.72 c (0,0) c inc_var_decay_period = 100000
628.23/554.72 c (0,0) c inc_var_decay_init = 0.600
628.23/554.72 c (0,0) c var_decay_mode = 0
628.23/554.72 c (0,0) c var_decay_gain = 0
628.23/554.72 c (0,0) c sloped_var_decay = 1
628.23/554.72 c (0,0) c max_var_decay = 0.990
628.23/554.72 c (0,0) c min_var_decay = 0.950
628.23/554.72 c (0,0) c min_var_decay_vars = 10000
628.23/554.72 c (0,0) c max_var_decay_vars = 500
628.23/554.72 c (0,0) c uip_bumping = 1
628.23/554.72 c (0,0) c lbd_act_bumping = 1
628.23/554.72 c (0,0) c rand_tiebreak = 0
628.23/554.72 c (0,0) c simp_rebuild = 1
628.23/554.72 c (0,0) c RESTART
628.23/554.72 c (0,0) c restart_strategy = 2
628.23/554.72 c (0,0) c restart_blocking = 0
628.23/554.72 c (0,0) c agility_decay = 0.99990
628.23/554.72 c (0,0) c lbd_restart_rate = 0.800
628.23/554.72 c (0,0) c dec_restart_rate = 0.950
628.23/554.72 c (0,0) c blk_restart_rate = 0.700
628.23/554.72 c (0,0) c lbd_queue_size = 50
628.23/554.72 c (0,0) c dec_queue_size = 50
628.23/554.72 c (0,0) c trl_queue_size = 5000
628.23/554.72 c (0,0) c blk_restart_weight = 1.000
628.23/554.72 c (0,0) c inc_rst_rate = 0
628.23/554.72 c (0,0) c inc_rst_rate_period = 500000
628.23/554.72 c (0,0) c inc_lbd_rst_rate_init = 0.600
628.23/554.72 c (0,0) c inc_dec_rst_rate_init = 0.750
628.23/554.72 c (0,0) c REDUCTION
628.23/554.72 c (0,0) c closed_lbd = 0
628.23/554.72 c (0,0) c closed_lbd_rate = 0.500
628.23/554.72 c (0,0) c rm_simulate = 0
628.23/554.72 c (0,0) c rdb_eval = 2
628.23/554.72 c (0,0) c rdb_call = 3
628.23/554.72 c (0,0) c rdb_ub = 0.500
628.23/554.72 c (0,0) c core_lbd_cvr = 0.800
628.23/554.72 c (0,0) c supp_lbd_cvr = 0.990
628.23/554.72 c (0,0) c core_lbd_lb = 2
628.23/554.72 c (0,0) c supp_lbd_lb = 2
628.23/554.72 c (0,0) c core_lbd_prd = 7
628.23/554.72 c (0,0) c supp_lbd_prd = 1
628.23/554.72 c (0,0) c othr_lbd_prd = 0
628.23/554.72 c (0,0) c inc_lrn_limit = 1000
628.23/554.72 c (0,0) c frozen_lbd = 30
628.23/554.72 c (0,0) c simp_min_starts = 100
628.23/554.72 c (0,0) c rm_low_act_learnts = 1
628.23/554.72 c (0,0) c lv0_reduce_db = 0
628.23/554.72 c (0,0) c reduce_db_base = 20000
628.23/554.72 c (0,0) c reduce_db_inc = 1000
628.23/554.72 c (0,0) c HARD
628.23/554.72 c (0,0) c inst_check = 200000
628.23/554.72 c (0,0) c small_block = 1.750
628.23/554.72 c (0,0) c slow_restart_speed = 400.000
628.23/554.72 c (0,0) c slow_restart_strategy = 3
628.23/554.72 c (0,0) c slow_lbd_restart_rate = 0.700
628.23/554.72 c (0,0) c slow_dec_restart_rate = 1.000
628.23/554.72 c (0,0) c slow_lbd_queue_size = 50
628.23/554.72 c (0,0) c slow_var_decay = 0.950
628.23/554.72 c (0,0) c slow_glue_threshold = 2
628.23/554.72 c (0,0) c slow_phase_saving = 2
628.23/554.72 c (0,0) c fast_restart_speed = 125.000
628.23/554.72 c (0,0) c fast_restart_strategy = 1
628.23/554.72 c (0,0) c fast_lbd_restart_rate = 0.800
628.23/554.72 c (0,0) c fast_dec_restart_rate = 0.950
628.23/554.72 c (0,0) c fast_lbd_queue_size = 50
628.23/554.72 c (0,0) c fast_var_decay = 1.000
628.23/554.72 c (0,0) c fast_glue_threshold = 2
628.23/554.72 c (0,0) c fast_phase_saving = 2
628.23/554.72 c (0,0) c STATS
628.23/554.72 c (0,0) c stats_conf_size = 10000
628.23/554.72 c (0,0) c max_stats_size = 30
628.23/554.72 c (0,0) c SOLVER
628.23/554.72 c (0,0) c minisat = 0
634.80/561.34 c (7,0) WARNING! DIMACS header mismatch: wrong number of variables.
634.80/561.35 c (7,0) c Problem: 276531 variables, 23495353 clauses, parsing 6.04 s
635.40/561.99 c (7,0) c exclude 13579 (4.9%) variables from decision variables (last cost 6)
636.62/563.16 c (9,0) c Simplification: 14128 vars, 0 clauses are eliminated using 1.64 s
636.62/563.16 c (9,0) c
636.62/563.16 c (9,0) c #Rstrts #Confs #Vars #Clauses #Learnts Lits/C LBD/C DLVs Trail
636.62/563.16 c (9,0) c
636.62/563.16 c (9,0) c 8 0 0 262403 23495353 0 -nan -nan -nan -nan%
640.63/567.19 c (13,0) c 12 1 100 262368 23495353 99 394.1 14.6 30.4 74.4%
646.42/572.92 c (18,0) c 18 3 220 262368 23495353 220 362.5 21.3 43.6 81.0%
654.62/581.14 c (27,0) c 26 5 364 262099 23495353 364 480.5 35.2 55.3 85.3%
666.32/592.88 c (38,0) c 38 6 536 262099 23495353 536 612.9 39.1 58.7 84.7%
667.73/594.29 c (40,0) c 39 6 560 262099 23495353 560 632.5 37.6 56.8 84.1%
667.83/594.30 c (40,0) c
667.83/594.30 c (40,0) c
667.83/594.30 c (40,0) c variables : 262099 (init 276531, after simp 262403, 13579 non-decs, 8174 csp)
667.83/594.30 c (40,0) c clauses : 23495353 (init 23495353, after simp 23495353)
667.83/594.30 c (40,0) c restarts : 5 (93.33 confs/res, 50~165 confs, 0 blks, 0 last)
667.83/594.30 c (40,0) c conflicts : 560 (15 /sec, 39.82% dconfs, 0.00% supp, trail 10390.21w x 56.75h, jmp 2.16h)
667.83/594.30 c (40,0) c decisions : 1725 (0.6000 vdcy, 45 /sec, 0.00% bin, rs 0.000 s)
667.83/594.30 c (40,0) c propagations : 27653760 (716957 /sec, 16031.17 lits/dec, 11.22% o.a.)
667.83/594.30 c (40,0) c conflict literals : 426507 (16.96% deleted; 0.00% by bin min, 0.001 s)
667.83/594.30 c (40,0) c len : 632.464 (632.46 for all, max 2495, used 1871)
667.83/594.30 c (40,0) c lbd : 37.614 (40.45 (37.61) for all, max 255, used 240, 27.610 stdev, 15.636 blk)
667.83/594.30 c (40,0) c amo : 0 (0 max, -nan avg, 0.000 s)
667.83/594.30 c (40,0) c simp dbs : 0 (0.000 s)
667.83/594.30 c (40,0) c reduce dbs : 0 (core-lbd 2, supp-lbd 2147483647, 0.000 s)
667.83/594.30 c (40,0) c learnts : 560 (0 learnts removed, 0.00%)
667.83/594.30 c (40,0) c rewrite dbs : 0 (0/1415 vars, 0+0 taut, 0+0 unit, 0.000 s)
667.83/594.30 c (40,0) c assigned lits : 0 (0/0 probed, 0 remains)
667.83/594.30 c (40,0) c premise updates : 0 (0.00 /lit)
667.83/594.30 c (40,0) c probed variables : 0 (0 pr, 0 eq, 0 fld, 0 pol, 0 nec, 0 cla, 0 amo)
667.83/594.30 c (40,0) c equiv variables : 1415 (550 bin, 18 trn, 47 quat, 17 quin, 70 othr; 0 amo)
667.83/594.30 c (40,0) c lazy added bins : 2 (2 prop + 0 conf, 0.002s)
667.83/594.30 c (40,0) c unwatched lit elim: 1948 (0.00+0.45%, 17+1931 of 70175451+426507)
667.83/594.30 c (40,0) c classified type : undef
667.83/594.30 c (40,0) c progress : 0.324 %
667.83/594.30 c (40,0) c
667.83/594.30 c (40,0) c [Statistics]
667.83/594.30 c (40,0) c learnts len learnts lbd lit blk size eq vars size
667.83/594.30 c (40,0) c tot 560 560 22651 702
667.83/594.30 c (40,0) c avg 632.461 37.611 15.636 3.016
667.83/594.30 c (40,0) c 1 2 ( 0.4%) 2 ( 0.4%) 12322 (54.4%) 0 ( 0.0%)
667.83/594.30 c (40,0) c 2 1 ( 0.2%) 28 ( 5.0%) 3026 (13.4%) 550 (78.3%)
667.83/594.30 c (40,0) c 3 0 ( 0.0%) 33 ( 5.9%) 1851 ( 8.2%) 18 ( 2.6%)
667.83/594.30 c (40,0) c 4 3 ( 0.5%) 26 ( 4.6%) 1002 ( 4.4%) 47 ( 6.7%)
667.83/594.30 c (40,0) c 5 0 ( 0.0%) 18 ( 3.2%) 473 ( 2.1%) 17 ( 2.4%)
667.83/594.30 c (40,0) c 6 8 ( 1.4%) 26 ( 4.6%) 498 ( 2.2%) 4 ( 0.6%)
667.83/594.30 c (40,0) c 7 6 ( 1.1%) 16 ( 2.9%) 372 ( 1.6%) 6 ( 0.9%)
667.83/594.30 c (40,0) c 8 8 ( 1.4%) 12 ( 2.1%) 270 ( 1.2%) 6 ( 0.9%)
667.83/594.30 c (40,0) c 9 7 ( 1.2%) 18 ( 3.2%) 140 ( 0.6%) 12 ( 1.7%)
667.83/594.30 c (40,0) c 10 8 ( 1.4%) 17 ( 3.0%) 134 ( 0.6%) 14 ( 2.0%)
667.83/594.30 c (40,0) c 11 8 ( 1.4%) 29 ( 5.2%) 139 ( 0.6%) 16 ( 2.3%)
667.83/594.30 c (40,0) c 12 2 ( 0.4%) 16 ( 2.9%) 104 ( 0.5%) 8 ( 1.1%)
667.83/594.30 c (40,0) c 13 5 ( 0.9%) 13 ( 2.3%) 118 ( 0.5%) 2 ( 0.3%)
667.83/594.30 c (40,0) c 14 1 ( 0.2%) 13 ( 2.3%) 67 ( 0.3%) 1 ( 0.1%)
667.83/594.30 c (40,0) c 15 3 ( 0.5%) 13 ( 2.3%) 129 ( 0.6%) 0 ( 0.0%)
667.83/594.30 c (40,0) c 16 1 ( 0.2%) 7 ( 1.2%) 68 ( 0.3%) 1 ( 0.1%)
667.83/594.30 c (40,0) c 17 4 ( 0.7%) 4 ( 0.7%) 102 ( 0.5%) 0 ( 0.0%)
667.83/594.30 c (40,0) c 18 4 ( 0.7%) 7 ( 1.2%) 63 ( 0.3%) 0 ( 0.0%)
667.83/594.30 c (40,0) c 19 0 ( 0.0%) 8 ( 1.4%) 44 ( 0.2%) 0 ( 0.0%)
667.83/594.30 c (40,0) c 20 5 ( 0.9%) 11 ( 2.0%) 35 ( 0.2%) 0 ( 0.0%)
667.83/594.30 c (40,0) c 21 3 ( 0.5%) 9 ( 1.6%) 37 ( 0.2%) 0 ( 0.0%)
667.83/594.30 c (40,0) c 22 1 ( 0.2%) 9 ( 1.6%) 83 ( 0.4%) 0 ( 0.0%)
667.83/594.30 c (40,0) c 23 1 ( 0.2%) 8 ( 1.4%) 57 ( 0.3%) 0 ( 0.0%)
667.83/594.30 c (40,0) c 24 2 ( 0.4%) 11 ( 2.0%) 40 ( 0.2%) 0 ( 0.0%)
667.83/594.31 c (40,0) c 25 0 ( 0.0%) 12 ( 2.1%) 36 ( 0.2%) 0 ( 0.0%)
667.83/594.31 c (40,0) c 26 0 ( 0.0%) 9 ( 1.6%) 39 ( 0.2%) 0 ( 0.0%)
667.83/594.31 c (40,0) c 27 5 ( 0.9%) 6 ( 1.1%) 49 ( 0.2%) 0 ( 0.0%)
667.83/594.31 c (40,0) c 28 2 ( 0.4%) 0 ( 0.0%) 50 ( 0.2%) 0 ( 0.0%)
667.83/594.31 c (40,0) c 29 0 ( 0.0%) 3 ( 0.5%) 36 ( 0.2%) 0 ( 0.0%)
667.83/594.31 c (40,0) c 30 470 (83.9%) 176 (31.4%) 1267 ( 5.6%) 0 ( 0.0%)
667.83/594.31 c (40,0) c
667.83/594.31 c (40,0) c [LBD Statistics]
667.83/594.31 c (40,0) c LBD used lbd used clause lbd unused clause lbd
667.83/594.31 c (40,0) c tot 913 234 326
667.83/594.31 c (40,0) c avg 15.059 21.470 49.202
667.83/594.31 c (40,0) c 1 0 ( 0.0/ 0.0%) 0 ( 0.0/ 0.0%) 0 ( 0.0/ 0.0%)
667.83/594.31 c (40,0) c 2 144 (15.8/15.8%) 21 ( 9.0/ 9.0%) 9 ( 2.8/ 2.8%)
667.83/594.31 c (40,0) c 3 135 (14.8/30.6%) 18 ( 7.7/16.7%) 15 ( 4.6/ 7.4%)
667.83/594.31 c (40,0) c 4 77 ( 8.4/39.0%) 14 ( 6.0/22.6%) 12 ( 3.7/11.0%)
667.83/594.31 c (40,0) c 5 72 ( 7.9/46.9%) 10 ( 4.3/26.9%) 8 ( 2.5/13.5%)
667.83/594.31 c (40,0) c 6 40 ( 4.4/51.3%) 15 ( 6.4/33.3%) 11 ( 3.4/16.9%)
667.83/594.31 c (40,0) c 7 31 ( 3.4/54.7%) 7 ( 3.0/36.3%) 9 ( 2.8/19.6%)
667.83/594.31 c (40,0) c 8 35 ( 3.8/58.5%) 9 ( 3.8/40.2%) 3 ( 0.9/20.6%)
667.83/594.31 c (40,0) c 9 43 ( 4.7/63.2%) 8 ( 3.4/43.6%) 10 ( 3.1/23.6%)
667.83/594.31 c (40,0) c 10 19 ( 2.1/65.3%) 8 ( 3.4/47.0%) 9 ( 2.8/26.4%)
667.83/594.31 c (40,0) c 11 22 ( 2.4/67.7%) 14 ( 6.0/53.0%) 15 ( 4.6/31.0%)
667.83/594.31 c (40,0) c 12 28 ( 3.1/70.8%) 7 ( 3.0/56.0%) 9 ( 2.8/33.7%)
667.83/594.31 c (40,0) c 13 12 ( 1.3/72.1%) 4 ( 1.7/57.7%) 9 ( 2.8/36.5%)
667.83/594.31 c (40,0) c 14 16 ( 1.8/73.8%) 7 ( 3.0/60.7%) 6 ( 1.8/38.3%)
667.83/594.31 c (40,0) c 15 21 ( 2.3/76.1%) 6 ( 2.6/63.2%) 7 ( 2.1/40.5%)
667.83/594.31 c (40,0) c 16 16 ( 1.8/77.9%) 1 ( 0.4/63.7%) 6 ( 1.8/42.3%)
667.83/594.31 c (40,0) c 17 12 ( 1.3/79.2%) 1 ( 0.4/64.1%) 3 ( 0.9/43.3%)
667.83/594.31 c (40,0) c 18 8 ( 0.9/80.1%) 3 ( 1.3/65.4%) 4 ( 1.2/44.5%)
667.83/594.31 c (40,0) c 19 16 ( 1.8/81.8%) 3 ( 1.3/66.7%) 5 ( 1.5/46.0%)
667.83/594.31 c (40,0) c 20 8 ( 0.9/82.7%) 6 ( 2.6/69.2%) 5 ( 1.5/47.5%)
667.83/594.31 c (40,0) c 21 5 ( 0.5/83.2%) 4 ( 1.7/70.9%) 5 ( 1.5/49.1%)
667.83/594.31 c (40,0) c 22 5 ( 0.5/83.8%) 5 ( 2.1/73.1%) 4 ( 1.2/50.3%)
667.83/594.31 c (40,0) c 23 2 ( 0.2/84.0%) 3 ( 1.3/74.4%) 5 ( 1.5/51.8%)
667.83/594.31 c (40,0) c 24 1 ( 0.1/84.1%) 2 ( 0.9/75.2%) 9 ( 2.8/54.6%)
667.83/594.31 c (40,0) c 25 12 ( 1.3/85.4%) 7 ( 3.0/78.2%) 5 ( 1.5/56.1%)
667.83/594.31 c (40,0) c 26 3 ( 0.3/85.8%) 3 ( 1.3/79.5%) 6 ( 1.8/58.0%)
667.83/594.31 c (40,0) c 27 8 ( 0.9/86.6%) 2 ( 0.9/80.3%) 4 ( 1.2/59.2%)
667.83/594.31 c (40,0) c 28 5 ( 0.5/87.2%) 0 ( 0.0/80.3%) 0 ( 0.0/59.2%)
667.83/594.31 c (40,0) c 29 5 ( 0.5/87.7%) 0 ( 0.0/80.3%) 3 ( 0.9/60.1%)
667.83/594.31 c (40,0) c 30 4 ( 0.4/88.2%) 2 ( 0.9/81.2%) 2 ( 0.6/60.7%)
667.83/594.31 c (40,0) c 31 1 ( 0.1/88.3%) 1 ( 0.4/81.6%) 2 ( 0.6/61.3%)
667.83/594.31 c (40,0) c 32 6 ( 0.7/88.9%) 2 ( 0.9/82.5%) 2 ( 0.6/62.0%)
667.83/594.31 c (40,0) c 33 4 ( 0.4/89.4%) 2 ( 0.9/83.3%) 4 ( 1.2/63.2%)
667.83/594.31 c (40,0) c 34 4 ( 0.4/89.8%) 3 ( 1.3/84.6%) 4 ( 1.2/64.4%)
667.83/594.31 c (40,0) c 35 0 ( 0.0/89.8%) 1 ( 0.4/85.0%) 2 ( 0.6/65.0%)
667.83/594.31 c (40,0) c 36 4 ( 0.4/90.3%) 1 ( 0.4/85.5%) 3 ( 0.9/66.0%)
667.83/594.31 c (40,0) c 37 3 ( 0.3/90.6%) 0 ( 0.0/85.5%) 4 ( 1.2/67.2%)
667.83/594.31 c (40,0) c 38 4 ( 0.4/91.0%) 2 ( 0.9/86.3%) 3 ( 0.9/68.1%)
667.83/594.31 c (40,0) c 39 1 ( 0.1/91.1%) 0 ( 0.0/86.3%) 3 ( 0.9/69.0%)
667.83/594.31 c (40,0) c 40 2 ( 0.2/91.3%) 1 ( 0.4/86.8%) 6 ( 1.8/70.9%)
667.83/594.31 c (40,0) c 41 4 ( 0.4/91.8%) 2 ( 0.9/87.6%) 1 ( 0.3/71.2%)
667.83/594.31 c (40,0) c 42 5 ( 0.5/92.3%) 2 ( 0.9/88.5%) 3 ( 0.9/72.1%)
667.83/594.31 c (40,0) c 43 1 ( 0.1/92.4%) 0 ( 0.0/88.5%) 1 ( 0.3/72.4%)
667.83/594.31 c (40,0) c 44 0 ( 0.0/92.4%) 0 ( 0.0/88.5%) 2 ( 0.6/73.0%)
667.83/594.31 c (40,0) c 45 0 ( 0.0/92.4%) 0 ( 0.0/88.5%) 1 ( 0.3/73.3%)
667.83/594.31 c (40,0) c 46 6 ( 0.7/93.1%) 1 ( 0.4/88.9%) 4 ( 1.2/74.5%)
667.83/594.31 c (40,0) c 47 4 ( 0.4/93.5%) 1 ( 0.4/89.3%) 3 ( 0.9/75.5%)
667.83/594.31 c (40,0) c 48 3 ( 0.3/93.9%) 1 ( 0.4/89.7%) 3 ( 0.9/76.4%)
667.83/594.31 c (40,0) c 49 6 ( 0.7/94.5%) 3 ( 1.3/91.0%) 4 ( 1.2/77.6%)
667.83/594.31 c (40,0) c 50 2 ( 0.2/94.7%) 2 ( 0.9/91.9%) 1 ( 0.3/77.9%)
667.83/594.31 c (40,0) c 51 4 ( 0.4/95.2%) 1 ( 0.4/92.3%) 1 ( 0.3/78.2%)
667.83/594.31 c (40,0) c 52 1 ( 0.1/95.3%) 1 ( 0.4/92.7%) 2 ( 0.6/78.8%)
667.83/594.31 c (40,0) c 53 1 ( 0.1/95.4%) 2 ( 0.9/93.6%) 0 ( 0.0/78.8%)
667.83/594.31 c (40,0) c 54 1 ( 0.1/95.5%) 1 ( 0.4/94.0%) 1 ( 0.3/79.1%)
667.83/594.31 c (40,0) c 55 1 ( 0.1/95.6%) 0 ( 0.0/94.0%) 0 ( 0.0/79.1%)
667.83/594.31 c (40,0) c 56 5 ( 0.5/96.2%) 2 ( 0.9/94.9%) 1 ( 0.3/79.4%)
667.83/594.31 c (40,0) c 57 1 ( 0.1/96.3%) 1 ( 0.4/95.3%) 3 ( 0.9/80.4%)
667.83/594.31 c (40,0) c 58 2 ( 0.2/96.5%) 1 ( 0.4/95.7%) 1 ( 0.3/80.7%)
667.83/594.31 c (40,0) c 59 0 ( 0.0/96.5%) 0 ( 0.0/95.7%) 0 ( 0.0/80.7%)
667.83/594.31 c (40,0) c 60 2 ( 0.2/96.7%) 0 ( 0.0/95.7%) 1 ( 0.3/81.0%)
667.83/594.31 c (40,0) c 61 0 ( 0.0/96.7%) 0 ( 0.0/95.7%) 1 ( 0.3/81.3%)
667.83/594.31 c (40,0) c 62 1 ( 0.1/96.8%) 0 ( 0.0/95.7%) 1 ( 0.3/81.6%)
667.83/594.31 c (40,0) c 63 0 ( 0.0/96.8%) 0 ( 0.0/95.7%) 1 ( 0.3/81.9%)
667.83/594.31 c (40,0) c 64 0 ( 0.0/96.8%) 1 ( 0.4/96.2%) 0 ( 0.0/81.9%)
667.83/594.31 c (40,0) c 65 0 ( 0.0/96.8%) 0 ( 0.0/96.2%) 0 ( 0.0/81.9%)
667.83/594.31 c (40,0) c 66 1 ( 0.1/96.9%) 1 ( 0.4/96.6%) 0 ( 0.0/81.9%)
667.83/594.31 c (40,0) c 67 3 ( 0.3/97.3%) 0 ( 0.0/96.6%) 3 ( 0.9/82.8%)
667.83/594.31 c (40,0) c 68 0 ( 0.0/97.3%) 0 ( 0.0/96.6%) 0 ( 0.0/82.8%)
667.83/594.31 c (40,0) c 69 0 ( 0.0/97.3%) 0 ( 0.0/96.6%) 0 ( 0.0/82.8%)
667.83/594.31 c (40,0) c 70 0 ( 0.0/97.3%) 0 ( 0.0/96.6%) 0 ( 0.0/82.8%)
667.83/594.31 c (40,0) c 71 0 ( 0.0/97.3%) 0 ( 0.0/96.6%) 0 ( 0.0/82.8%)
667.83/594.31 c (40,0) c 72 0 ( 0.0/97.3%) 0 ( 0.0/96.6%) 0 ( 0.0/82.8%)
667.83/594.31 c (40,0) c 73 0 ( 0.0/97.3%) 0 ( 0.0/96.6%) 0 ( 0.0/82.8%)
667.83/594.31 c (40,0) c 74 0 ( 0.0/97.3%) 0 ( 0.0/96.6%) 0 ( 0.0/82.8%)
667.83/594.31 c (40,0) c 75 0 ( 0.0/97.3%) 0 ( 0.0/96.6%) 0 ( 0.0/82.8%)
667.83/594.31 c (40,0) c 76 0 ( 0.0/97.3%) 0 ( 0.0/96.6%) 0 ( 0.0/82.8%)
667.83/594.31 c (40,0) c 77 0 ( 0.0/97.3%) 0 ( 0.0/96.6%) 0 ( 0.0/82.8%)
667.83/594.31 c (40,0) c 78 0 ( 0.0/97.3%) 0 ( 0.0/96.6%) 0 ( 0.0/82.8%)
667.83/594.31 c (40,0) c 79 0 ( 0.0/97.3%) 0 ( 0.0/96.6%) 1 ( 0.3/83.1%)
667.83/594.31 c (40,0) c 80 0 ( 0.0/97.3%) 0 ( 0.0/96.6%) 1 ( 0.3/83.4%)
667.83/594.31 c (40,0) c 81 0 ( 0.0/97.3%) 0 ( 0.0/96.6%) 0 ( 0.0/83.4%)
667.83/594.31 c (40,0) c 82 0 ( 0.0/97.3%) 0 ( 0.0/96.6%) 1 ( 0.3/83.7%)
667.83/594.31 c (40,0) c 83 0 ( 0.0/97.3%) 0 ( 0.0/96.6%) 1 ( 0.3/84.0%)
667.83/594.31 c (40,0) c 84 0 ( 0.0/97.3%) 0 ( 0.0/96.6%) 0 ( 0.0/84.0%)
667.83/594.31 c (40,0) c 85 0 ( 0.0/97.3%) 0 ( 0.0/96.6%) 0 ( 0.0/84.0%)
667.83/594.31 c (40,0) c 86 1 ( 0.1/97.4%) 1 ( 0.4/97.0%) 1 ( 0.3/84.4%)
667.83/594.31 c (40,0) c 87 0 ( 0.0/97.4%) 0 ( 0.0/97.0%) 0 ( 0.0/84.4%)
667.83/594.31 c (40,0) c 88 0 ( 0.0/97.4%) 0 ( 0.0/97.0%) 0 ( 0.0/84.4%)
667.83/594.31 c (40,0) c 89 2 ( 0.2/97.6%) 0 ( 0.0/97.0%) 1 ( 0.3/84.7%)
667.83/594.31 c (40,0) c 90 1 ( 0.1/97.7%) 0 ( 0.0/97.0%) 5 ( 1.5/86.2%)
667.83/594.31 c (40,0) c 91 3 ( 0.3/98.0%) 1 ( 0.4/97.4%) 1 ( 0.3/86.5%)
667.83/594.31 c (40,0) c 92 1 ( 0.1/98.1%) 1 ( 0.4/97.9%) 0 ( 0.0/86.5%)
667.83/594.31 c (40,0) c 93 1 ( 0.1/98.2%) 0 ( 0.0/97.9%) 2 ( 0.6/87.1%)
667.83/594.31 c (40,0) c 94 0 ( 0.0/98.2%) 0 ( 0.0/97.9%) 1 ( 0.3/87.4%)
667.83/594.31 c (40,0) c 95 0 ( 0.0/98.2%) 0 ( 0.0/97.9%) 2 ( 0.6/88.0%)
667.83/594.31 c (40,0) c 96 0 ( 0.0/98.2%) 0 ( 0.0/97.9%) 2 ( 0.6/88.7%)
667.83/594.31 c (40,0) c 97 0 ( 0.0/98.2%) 0 ( 0.0/97.9%) 0 ( 0.0/88.7%)
667.83/594.31 c (40,0) c 98 0 ( 0.0/98.2%) 0 ( 0.0/97.9%) 0 ( 0.0/88.7%)
667.83/594.31 c (40,0) c 99 0 ( 0.0/98.2%) 0 ( 0.0/97.9%) 0 ( 0.0/88.7%)
667.83/594.31 c (40,0) c 100 0 ( 0.0/98.2%) 0 ( 0.0/97.9%) 0 ( 0.0/88.7%)
667.83/594.31 c (40,0) c 101 0 ( 0.0/98.2%) 0 ( 0.0/97.9%) 0 ( 0.0/88.7%)
667.83/594.31 c (40,0) c 102 0 ( 0.0/98.2%) 0 ( 0.0/97.9%) 0 ( 0.0/88.7%)
667.83/594.31 c (40,0) c 103 0 ( 0.0/98.2%) 0 ( 0.0/97.9%) 0 ( 0.0/88.7%)
667.83/594.31 c (40,0) c 104 0 ( 0.0/98.2%) 0 ( 0.0/97.9%) 0 ( 0.0/88.7%)
667.83/594.31 c (40,0) c 105 1 ( 0.1/98.4%) 0 ( 0.0/97.9%) 0 ( 0.0/88.7%)
667.83/594.31 c (40,0) c 106 0 ( 0.0/98.4%) 0 ( 0.0/97.9%) 0 ( 0.0/88.7%)
667.83/594.31 c (40,0) c 107 3 ( 0.3/98.7%) 0 ( 0.0/97.9%) 0 ( 0.0/88.7%)
667.83/594.31 c (40,0) c 108 0 ( 0.0/98.7%) 0 ( 0.0/97.9%) 0 ( 0.0/88.7%)
667.83/594.31 c (40,0) c 109 0 ( 0.0/98.7%) 0 ( 0.0/97.9%) 0 ( 0.0/88.7%)
667.83/594.31 c (40,0) c 110 0 ( 0.0/98.7%) 0 ( 0.0/97.9%) 0 ( 0.0/88.7%)
667.83/594.31 c (40,0) c 111 0 ( 0.0/98.7%) 0 ( 0.0/97.9%) 0 ( 0.0/88.7%)
667.83/594.31 c (40,0) c 112 0 ( 0.0/98.7%) 0 ( 0.0/97.9%) 0 ( 0.0/88.7%)
667.83/594.31 c (40,0) c 113 0 ( 0.0/98.7%) 0 ( 0.0/97.9%) 0 ( 0.0/88.7%)
667.83/594.31 c (40,0) c 114 0 ( 0.0/98.7%) 0 ( 0.0/97.9%) 1 ( 0.3/89.0%)
667.83/594.31 c (40,0) c 115 0 ( 0.0/98.7%) 0 ( 0.0/97.9%) 0 ( 0.0/89.0%)
667.83/594.31 c (40,0) c 116 0 ( 0.0/98.7%) 0 ( 0.0/97.9%) 0 ( 0.0/89.0%)
667.83/594.31 c (40,0) c 117 0 ( 0.0/98.7%) 0 ( 0.0/97.9%) 0 ( 0.0/89.0%)
667.83/594.31 c (40,0) c 118 0 ( 0.0/98.7%) 0 ( 0.0/97.9%) 0 ( 0.0/89.0%)
667.83/594.31 c (40,0) c 119 2 ( 0.2/98.9%) 0 ( 0.0/97.9%) 0 ( 0.0/89.0%)
667.83/594.31 c (40,0) c 120 0 ( 0.0/98.9%) 0 ( 0.0/97.9%) 0 ( 0.0/89.0%)
667.83/594.31 c (40,0) c 121 0 ( 0.0/98.9%) 0 ( 0.0/97.9%) 0 ( 0.0/89.0%)
667.83/594.31 c (40,0) c 122 0 ( 0.0/98.9%) 0 ( 0.0/97.9%) 0 ( 0.0/89.0%)
667.83/594.31 c (40,0) c 123 0 ( 0.0/98.9%) 0 ( 0.0/97.9%) 0 ( 0.0/89.0%)
667.83/594.31 c (40,0) c 124 0 ( 0.0/98.9%) 0 ( 0.0/97.9%) 0 ( 0.0/89.0%)
667.83/594.31 c (40,0) c 125 0 ( 0.0/98.9%) 0 ( 0.0/97.9%) 0 ( 0.0/89.0%)
667.83/594.31 c (40,0) c 126 0 ( 0.0/98.9%) 0 ( 0.0/97.9%) 0 ( 0.0/89.0%)
667.83/594.31 c (40,0) c 127 0 ( 0.0/98.9%) 0 ( 0.0/97.9%) 0 ( 0.0/89.0%)
667.83/594.31 c (40,0) c 128 0 ( 0.0/98.9%) 0 ( 0.0/97.9%) 0 ( 0.0/89.0%)
667.83/594.31 c (40,0) c 129 0 ( 0.0/98.9%) 0 ( 0.0/97.9%) 0 ( 0.0/89.0%)
667.83/594.31 c (40,0) c 130 0 ( 0.0/98.9%) 0 ( 0.0/97.9%) 0 ( 0.0/89.0%)
667.83/594.31 c (40,0) c 131 0 ( 0.0/98.9%) 0 ( 0.0/97.9%) 0 ( 0.0/89.0%)
667.83/594.31 c (40,0) c 132 0 ( 0.0/98.9%) 0 ( 0.0/97.9%) 0 ( 0.0/89.0%)
667.83/594.31 c (40,0) c 133 0 ( 0.0/98.9%) 0 ( 0.0/97.9%) 0 ( 0.0/89.0%)
667.83/594.31 c (40,0) c 134 0 ( 0.0/98.9%) 0 ( 0.0/97.9%) 0 ( 0.0/89.0%)
667.83/594.31 c (40,0) c 135 0 ( 0.0/98.9%) 0 ( 0.0/97.9%) 0 ( 0.0/89.0%)
667.83/594.31 c (40,0) c 136 0 ( 0.0/98.9%) 0 ( 0.0/97.9%) 0 ( 0.0/89.0%)
667.83/594.31 c (40,0) c 137 0 ( 0.0/98.9%) 0 ( 0.0/97.9%) 0 ( 0.0/89.0%)
667.83/594.31 c (40,0) c 138 0 ( 0.0/98.9%) 0 ( 0.0/97.9%) 0 ( 0.0/89.0%)
667.83/594.31 c (40,0) c 139 0 ( 0.0/98.9%) 0 ( 0.0/97.9%) 0 ( 0.0/89.0%)
667.83/594.31 c (40,0) c 140 0 ( 0.0/98.9%) 0 ( 0.0/97.9%) 0 ( 0.0/89.0%)
667.83/594.31 c (40,0) c 141 0 ( 0.0/98.9%) 0 ( 0.0/97.9%) 0 ( 0.0/89.0%)
667.83/594.31 c (40,0) c 142 0 ( 0.0/98.9%) 0 ( 0.0/97.9%) 0 ( 0.0/89.0%)
667.83/594.31 c (40,0) c 143 0 ( 0.0/98.9%) 0 ( 0.0/97.9%) 0 ( 0.0/89.0%)
667.83/594.31 c (40,0) c 144 0 ( 0.0/98.9%) 0 ( 0.0/97.9%) 0 ( 0.0/89.0%)
667.83/594.31 c (40,0) c 145 0 ( 0.0/98.9%) 0 ( 0.0/97.9%) 0 ( 0.0/89.0%)
667.83/594.31 c (40,0) c 146 0 ( 0.0/98.9%) 0 ( 0.0/97.9%) 0 ( 0.0/89.0%)
667.83/594.31 c (40,0) c 147 0 ( 0.0/98.9%) 0 ( 0.0/97.9%) 0 ( 0.0/89.0%)
667.83/594.31 c (40,0) c 148 0 ( 0.0/98.9%) 0 ( 0.0/97.9%) 0 ( 0.0/89.0%)
667.83/594.31 c (40,0) c 149 0 ( 0.0/98.9%) 0 ( 0.0/97.9%) 0 ( 0.0/89.0%)
667.83/594.31 c (40,0) c 150 0 ( 0.0/98.9%) 0 ( 0.0/97.9%) 0 ( 0.0/89.0%)
667.83/594.31 c (40,0) c 151 0 ( 0.0/98.9%) 0 ( 0.0/97.9%) 0 ( 0.0/89.0%)
667.83/594.31 c (40,0) c 152 0 ( 0.0/98.9%) 0 ( 0.0/97.9%) 0 ( 0.0/89.0%)
667.83/594.31 c (40,0) c 153 0 ( 0.0/98.9%) 0 ( 0.0/97.9%) 0 ( 0.0/89.0%)
667.83/594.31 c (40,0) c 154 0 ( 0.0/98.9%) 0 ( 0.0/97.9%) 0 ( 0.0/89.0%)
667.83/594.31 c (40,0) c 155 0 ( 0.0/98.9%) 0 ( 0.0/97.9%) 0 ( 0.0/89.0%)
667.83/594.31 c (40,0) c 156 0 ( 0.0/98.9%) 0 ( 0.0/97.9%) 0 ( 0.0/89.0%)
667.83/594.31 c (40,0) c 157 0 ( 0.0/98.9%) 0 ( 0.0/97.9%) 0 ( 0.0/89.0%)
667.83/594.31 c (40,0) c 158 0 ( 0.0/98.9%) 0 ( 0.0/97.9%) 0 ( 0.0/89.0%)
667.83/594.31 c (40,0) c 159 0 ( 0.0/98.9%) 0 ( 0.0/97.9%) 0 ( 0.0/89.0%)
667.83/594.31 c (40,0) c 160 0 ( 0.0/98.9%) 0 ( 0.0/97.9%) 0 ( 0.0/89.0%)
667.83/594.31 c (40,0) c 161 0 ( 0.0/98.9%) 0 ( 0.0/97.9%) 0 ( 0.0/89.0%)
667.83/594.31 c (40,0) c 162 0 ( 0.0/98.9%) 0 ( 0.0/97.9%) 0 ( 0.0/89.0%)
667.83/594.31 c (40,0) c 163 0 ( 0.0/98.9%) 0 ( 0.0/97.9%) 0 ( 0.0/89.0%)
667.83/594.31 c (40,0) c 164 0 ( 0.0/98.9%) 0 ( 0.0/97.9%) 0 ( 0.0/89.0%)
667.83/594.31 c (40,0) c 165 0 ( 0.0/98.9%) 0 ( 0.0/97.9%) 0 ( 0.0/89.0%)
667.83/594.31 c (40,0) c 166 0 ( 0.0/98.9%) 0 ( 0.0/97.9%) 0 ( 0.0/89.0%)
667.83/594.31 c (40,0) c 167 0 ( 0.0/98.9%) 0 ( 0.0/97.9%) 0 ( 0.0/89.0%)
667.83/594.31 c (40,0) c 168 0 ( 0.0/98.9%) 0 ( 0.0/97.9%) 0 ( 0.0/89.0%)
667.83/594.31 c (40,0) c 169 0 ( 0.0/98.9%) 0 ( 0.0/97.9%) 0 ( 0.0/89.0%)
667.83/594.31 c (40,0) c 170 0 ( 0.0/98.9%) 0 ( 0.0/97.9%) 0 ( 0.0/89.0%)
667.83/594.31 c (40,0) c 171 0 ( 0.0/98.9%) 0 ( 0.0/97.9%) 0 ( 0.0/89.0%)
667.83/594.31 c (40,0) c 172 0 ( 0.0/98.9%) 0 ( 0.0/97.9%) 0 ( 0.0/89.0%)
667.83/594.31 c (40,0) c 173 0 ( 0.0/98.9%) 0 ( 0.0/97.9%) 0 ( 0.0/89.0%)
667.83/594.31 c (40,0) c 174 0 ( 0.0/98.9%) 0 ( 0.0/97.9%) 0 ( 0.0/89.0%)
667.83/594.31 c (40,0) c 175 0 ( 0.0/98.9%) 0 ( 0.0/97.9%) 0 ( 0.0/89.0%)
667.83/594.31 c (40,0) c 176 0 ( 0.0/98.9%) 0 ( 0.0/97.9%) 0 ( 0.0/89.0%)
667.83/594.31 c (40,0) c 177 0 ( 0.0/98.9%) 0 ( 0.0/97.9%) 0 ( 0.0/89.0%)
667.83/594.31 c (40,0) c 178 0 ( 0.0/98.9%) 0 ( 0.0/97.9%) 0 ( 0.0/89.0%)
667.83/594.31 c (40,0) c 179 0 ( 0.0/98.9%) 0 ( 0.0/97.9%) 0 ( 0.0/89.0%)
667.83/594.31 c (40,0) c 180 0 ( 0.0/98.9%) 0 ( 0.0/97.9%) 0 ( 0.0/89.0%)
667.83/594.31 c (40,0) c 181 0 ( 0.0/98.9%) 0 ( 0.0/97.9%) 0 ( 0.0/89.0%)
667.83/594.31 c (40,0) c 182 0 ( 0.0/98.9%) 0 ( 0.0/97.9%) 0 ( 0.0/89.0%)
667.83/594.31 c (40,0) c 183 0 ( 0.0/98.9%) 0 ( 0.0/97.9%) 0 ( 0.0/89.0%)
667.83/594.31 c (40,0) c 184 0 ( 0.0/98.9%) 0 ( 0.0/97.9%) 0 ( 0.0/89.0%)
667.83/594.31 c (40,0) c 185 0 ( 0.0/98.9%) 0 ( 0.0/97.9%) 0 ( 0.0/89.0%)
667.83/594.31 c (40,0) c 186 0 ( 0.0/98.9%) 0 ( 0.0/97.9%) 0 ( 0.0/89.0%)
667.83/594.31 c (40,0) c 187 0 ( 0.0/98.9%) 0 ( 0.0/97.9%) 0 ( 0.0/89.0%)
667.83/594.31 c (40,0) c 188 0 ( 0.0/98.9%) 0 ( 0.0/97.9%) 0 ( 0.0/89.0%)
667.83/594.31 c (40,0) c 189 0 ( 0.0/98.9%) 0 ( 0.0/97.9%) 0 ( 0.0/89.0%)
667.83/594.31 c (40,0) c 190 0 ( 0.0/98.9%) 0 ( 0.0/97.9%) 0 ( 0.0/89.0%)
667.83/594.31 c (40,0) c 191 0 ( 0.0/98.9%) 0 ( 0.0/97.9%) 0 ( 0.0/89.0%)
667.83/594.31 c (40,0) c 192 0 ( 0.0/98.9%) 0 ( 0.0/97.9%) 0 ( 0.0/89.0%)
667.83/594.31 c (40,0) c 193 0 ( 0.0/98.9%) 0 ( 0.0/97.9%) 0 ( 0.0/89.0%)
667.83/594.31 c (40,0) c 194 0 ( 0.0/98.9%) 0 ( 0.0/97.9%) 0 ( 0.0/89.0%)
667.83/594.31 c (40,0) c 195 0 ( 0.0/98.9%) 0 ( 0.0/97.9%) 0 ( 0.0/89.0%)
667.83/594.31 c (40,0) c 196 0 ( 0.0/98.9%) 0 ( 0.0/97.9%) 0 ( 0.0/89.0%)
667.83/594.31 c (40,0) c 197 0 ( 0.0/98.9%) 0 ( 0.0/97.9%) 0 ( 0.0/89.0%)
667.83/594.31 c (40,0) c 198 0 ( 0.0/98.9%) 0 ( 0.0/97.9%) 0 ( 0.0/89.0%)
667.83/594.31 c (40,0) c 199 0 ( 0.0/98.9%) 0 ( 0.0/97.9%) 0 ( 0.0/89.0%)
667.83/594.31 c (40,0) c 200 0 ( 0.0/98.9%) 0 ( 0.0/97.9%) 0 ( 0.0/89.0%)
667.83/594.31 c (40,0) c 201 0 ( 0.0/98.9%) 0 ( 0.0/97.9%) 0 ( 0.0/89.0%)
667.83/594.31 c (40,0) c 202 0 ( 0.0/98.9%) 0 ( 0.0/97.9%) 0 ( 0.0/89.0%)
667.83/594.31 c (40,0) c 203 4 ( 0.4/99.3%) 1 ( 0.4/98.3%) 1 ( 0.3/89.3%)
667.83/594.31 c (40,0) c 204 0 ( 0.0/99.3%) 0 ( 0.0/98.3%) 0 ( 0.0/89.3%)
667.83/594.31 c (40,0) c 205 0 ( 0.0/99.3%) 0 ( 0.0/98.3%) 0 ( 0.0/89.3%)
667.83/594.31 c (40,0) c 206 0 ( 0.0/99.3%) 0 ( 0.0/98.3%) 0 ( 0.0/89.3%)
667.83/594.31 c (40,0) c 207 0 ( 0.0/99.3%) 0 ( 0.0/98.3%) 0 ( 0.0/89.3%)
667.83/594.31 c (40,0) c 208 0 ( 0.0/99.3%) 0 ( 0.0/98.3%) 0 ( 0.0/89.3%)
667.83/594.31 c (40,0) c 209 0 ( 0.0/99.3%) 0 ( 0.0/98.3%) 0 ( 0.0/89.3%)
667.83/594.31 c (40,0) c 210 0 ( 0.0/99.3%) 0 ( 0.0/98.3%) 0 ( 0.0/89.3%)
667.83/594.31 c (40,0) c 211 0 ( 0.0/99.3%) 0 ( 0.0/98.3%) 0 ( 0.0/89.3%)
667.83/594.31 c (40,0) c 212 0 ( 0.0/99.3%) 0 ( 0.0/98.3%) 0 ( 0.0/89.3%)
667.83/594.31 c (40,0) c 213 0 ( 0.0/99.3%) 0 ( 0.0/98.3%) 0 ( 0.0/89.3%)
667.83/594.31 c (40,0) c 214 0 ( 0.0/99.3%) 0 ( 0.0/98.3%) 0 ( 0.0/89.3%)
667.83/594.31 c (40,0) c 215 0 ( 0.0/99.3%) 0 ( 0.0/98.3%) 0 ( 0.0/89.3%)
667.83/594.31 c (40,0) c 216 0 ( 0.0/99.3%) 0 ( 0.0/98.3%) 0 ( 0.0/89.3%)
667.83/594.31 c (40,0) c 217 0 ( 0.0/99.3%) 0 ( 0.0/98.3%) 0 ( 0.0/89.3%)
667.83/594.31 c (40,0) c 218 0 ( 0.0/99.3%) 0 ( 0.0/98.3%) 0 ( 0.0/89.3%)
667.83/594.31 c (40,0) c 219 0 ( 0.0/99.3%) 0 ( 0.0/98.3%) 0 ( 0.0/89.3%)
667.83/594.31 c (40,0) c 220 0 ( 0.0/99.3%) 0 ( 0.0/98.3%) 2 ( 0.6/89.9%)
667.83/594.31 c (40,0) c 221 1 ( 0.1/99.5%) 0 ( 0.0/98.3%) 0 ( 0.0/89.9%)
667.83/594.31 c (40,0) c 222 0 ( 0.0/99.5%) 0 ( 0.0/98.3%) 1 ( 0.3/90.2%)
667.83/594.31 c (40,0) c 223 0 ( 0.0/99.5%) 0 ( 0.0/98.3%) 1 ( 0.3/90.5%)
667.83/594.31 c (40,0) c 224 0 ( 0.0/99.5%) 0 ( 0.0/98.3%) 1 ( 0.3/90.8%)
667.83/594.31 c (40,0) c 225 0 ( 0.0/99.5%) 0 ( 0.0/98.3%) 1 ( 0.3/91.1%)
667.83/594.31 c (40,0) c 226 0 ( 0.0/99.5%) 0 ( 0.0/98.3%) 1 ( 0.3/91.4%)
667.83/594.31 c (40,0) c 227 0 ( 0.0/99.5%) 0 ( 0.0/98.3%) 1 ( 0.3/91.7%)
667.83/594.31 c (40,0) c 228 0 ( 0.0/99.5%) 0 ( 0.0/98.3%) 1 ( 0.3/92.0%)
667.83/594.31 c (40,0) c 229 0 ( 0.0/99.5%) 0 ( 0.0/98.3%) 1 ( 0.3/92.3%)
667.83/594.31 c (40,0) c 230 0 ( 0.0/99.5%) 0 ( 0.0/98.3%) 1 ( 0.3/92.6%)
667.83/594.31 c (40,0) c 231 0 ( 0.0/99.5%) 0 ( 0.0/98.3%) 1 ( 0.3/92.9%)
667.83/594.31 c (40,0) c 232 0 ( 0.0/99.5%) 0 ( 0.0/98.3%) 1 ( 0.3/93.3%)
667.83/594.31 c (40,0) c 233 1 ( 0.1/99.6%) 1 ( 0.4/98.7%) 1 ( 0.3/93.6%)
667.83/594.31 c (40,0) c 234 0 ( 0.0/99.6%) 0 ( 0.0/98.7%) 1 ( 0.3/93.9%)
667.83/594.31 c (40,0) c 235 0 ( 0.0/99.6%) 1 ( 0.4/99.1%) 1 ( 0.3/94.2%)
667.83/594.31 c (40,0) c 236 1 ( 0.1/99.7%) 1 ( 0.4/99.6%) 1 ( 0.3/94.5%)
667.83/594.31 c (40,0) c 237 1 ( 0.1/99.8%) 0 ( 0.0/99.6%) 1 ( 0.3/94.8%)
667.83/594.31 c (40,0) c 238 1 ( 0.1/99.9%) 0 ( 0.0/99.6%) 1 ( 0.3/95.1%)
667.83/594.31 c (40,0) c 239 0 ( 0.0/99.9%) 1 ( 0.4/100.0%) 1 ( 0.3/95.4%)
667.83/594.31 c (40,0) c 240 1 ( 0.1/100.0%) 0 ( 0.0/100.0%) 1 ( 0.3/95.7%)
667.83/594.31 c (40,0) c 241 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 1 ( 0.3/96.0%)
667.83/594.31 c (40,0) c 242 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 1 ( 0.3/96.3%)
667.83/594.31 c (40,0) c 243 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 1 ( 0.3/96.6%)
667.83/594.31 c (40,0) c 244 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 1 ( 0.3/96.9%)
667.83/594.31 c (40,0) c 245 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 1 ( 0.3/97.2%)
667.83/594.31 c (40,0) c 246 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 1 ( 0.3/97.5%)
667.83/594.31 c (40,0) c 247 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 1 ( 0.3/97.9%)
667.83/594.33 c (40,0) c 248 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 1 ( 0.3/98.2%)
667.83/594.33 c (40,0) c 249 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 1 ( 0.3/98.5%)
667.83/594.33 c (40,0) c 250 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 1 ( 0.3/98.8%)
667.83/594.33 c (40,0) c 251 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 1 ( 0.3/99.1%)
667.83/594.33 c (40,0) c 252 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 1 ( 0.3/99.4%)
667.83/594.33 c (40,0) c 253 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 1 ( 0.3/99.7%)
667.83/594.33 c (40,0) c 254 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 1 ( 0.3/100.0%)
667.83/594.33 c (40,0) c
667.83/594.33 c (40,0) c Memory used : 2062.00 MB
667.83/594.33 c (40,0) c CPU time : 38.572 s
667.83/594.33 c (40,0) c Real time : 39.810 s
667.83/594.33 c (40,0) c
667.83/594.33 c (40,0) s SATISFIABLE
668.35/594.53 c (40,0) SatSolver.solve End
668.35/594.53 c (40,0) Heap : 176 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
668.35/594.53 c (40,0) Show results Begin
668.80/594.72 c (40,0) x[0] = 796
668.80/594.72 c (40,0) x[1] = 2
668.80/594.72 c (40,0) x[2] = 1
668.80/594.72 c (40,0) x[3] = 0
668.80/594.72 c (40,0) x[4] = 0
668.80/594.72 c (40,0) x[5] = 0
668.80/594.72 c (40,0) x[6] = 0
668.80/594.72 c (40,0) x[7] = 0
668.80/594.72 c (40,0) x[8] = 0
668.80/594.72 c (40,0) x[9] = 0
668.80/594.72 c (40,0) x[10] = 0
668.80/594.72 c (40,0) x[11] = 0
668.80/594.72 c (40,0) x[12] = 0
668.80/594.72 c (40,0) x[13] = 0
668.80/594.72 c (40,0) x[14] = 0
668.80/594.72 c (40,0) x[15] = 0
668.80/594.72 c (40,0) x[16] = 0
668.80/594.72 c (40,0) x[17] = 0
668.80/594.72 c (40,0) x[18] = 0
668.80/594.72 c (40,0) x[19] = 0
668.80/594.72 c (40,0) x[20] = 0
668.80/594.72 c (40,0) x[21] = 0
668.80/594.72 c (40,0) x[22] = 0
668.80/594.72 c (40,0) x[23] = 0
668.80/594.72 c (40,0) x[24] = 0
668.80/594.72 c (40,0) x[25] = 0
668.80/594.72 c (40,0) x[26] = 0
668.80/594.72 c (40,0) x[27] = 0
668.80/594.72 c (40,0) x[28] = 0
668.80/594.72 c (40,0) x[29] = 0
668.80/594.72 c (40,0) x[30] = 0
668.80/594.72 c (40,0) x[31] = 0
668.80/594.72 c (40,0) x[32] = 0
668.80/594.72 c (40,0) x[33] = 0
668.80/594.72 c (40,0) x[34] = 0
668.80/594.72 c (40,0) x[35] = 0
668.80/594.72 c (40,0) x[36] = 0
668.80/594.72 c (40,0) x[37] = 0
668.80/594.72 c (40,0) x[38] = 0
668.80/594.72 c (40,0) x[39] = 0
668.80/594.72 c (40,0) x[40] = 0
668.80/594.72 c (40,0) x[41] = 0
668.80/594.72 c (40,0) x[42] = 0
668.80/594.72 c (40,0) x[43] = 0
668.80/594.72 c (40,0) x[44] = 0
668.80/594.72 c (40,0) x[45] = 0
668.80/594.72 c (40,0) x[46] = 0
668.80/594.72 c (40,0) x[47] = 0
668.80/594.72 c (40,0) x[48] = 0
668.80/594.72 c (40,0) x[49] = 0
668.80/594.72 c (40,0) x[50] = 0
668.80/594.72 c (40,0) x[51] = 0
668.80/594.72 c (40,0) x[52] = 0
668.80/594.72 c (40,0) x[53] = 0
668.80/594.72 c (40,0) x[54] = 0
668.80/594.72 c (40,0) x[55] = 0
668.80/594.72 c (40,0) x[56] = 0
668.80/594.72 c (40,0) x[57] = 0
668.80/594.72 c (40,0) x[58] = 0
668.80/594.72 c (40,0) x[59] = 0
668.80/594.72 c (40,0) x[60] = 0
668.80/594.72 c (40,0) x[61] = 0
668.80/594.72 c (40,0) x[62] = 0
668.80/594.72 c (40,0) x[63] = 0
668.80/594.72 c (40,0) x[64] = 0
668.80/594.72 c (40,0) x[65] = 0
668.80/594.72 c (40,0) x[66] = 0
668.80/594.72 c (40,0) x[67] = 0
668.80/594.72 c (40,0) x[68] = 0
668.80/594.72 c (40,0) x[69] = 0
668.80/594.72 c (40,0) x[70] = 0
668.80/594.72 c (40,0) x[71] = 0
668.80/594.72 c (40,0) x[72] = 0
668.80/594.72 c (40,0) x[73] = 0
668.80/594.72 c (40,0) x[74] = 0
668.80/594.72 c (40,0) x[75] = 0
668.80/594.72 c (40,0) x[76] = 0
668.80/594.72 c (40,0) x[77] = 0
668.80/594.72 c (40,0) x[78] = 0
668.80/594.72 c (40,0) x[79] = 0
668.80/594.72 c (40,0) x[80] = 0
668.80/594.72 c (40,0) x[81] = 0
668.80/594.72 c (40,0) x[82] = 0
668.80/594.72 c (40,0) x[83] = 0
668.80/594.72 c (40,0) x[84] = 0
668.80/594.72 c (40,0) x[85] = 0
668.80/594.72 c (40,0) x[86] = 0
668.80/594.72 c (40,0) x[87] = 0
668.80/594.72 c (40,0) x[88] = 0
668.80/594.72 c (40,0) x[89] = 0
668.80/594.72 c (40,0) x[90] = 0
668.80/594.72 c (40,0) x[91] = 0
668.80/594.72 c (40,0) x[92] = 0
668.80/594.72 c (40,0) x[93] = 0
668.80/594.72 c (40,0) x[94] = 0
668.80/594.72 c (40,0) x[95] = 0
668.80/594.72 c (40,0) x[96] = 0
668.80/594.72 c (40,0) x[97] = 0
668.80/594.72 c (40,0) x[98] = 0
668.80/594.72 c (40,0) x[99] = 0
668.80/594.72 c (40,0) x[100] = 0
668.80/594.72 c (40,0) x[101] = 0
668.80/594.72 c (40,0) x[102] = 0
668.80/594.72 c (40,0) x[103] = 0
668.80/594.72 c (40,0) x[104] = 0
668.80/594.72 c (40,0) x[105] = 0
668.80/594.72 c (40,0) x[106] = 0
668.80/594.72 c (40,0) x[107] = 0
668.80/594.72 c (40,0) x[108] = 0
668.80/594.72 c (40,0) x[109] = 0
668.80/594.72 c (40,0) x[110] = 0
668.80/594.72 c (40,0) x[111] = 0
668.80/594.72 c (40,0) x[112] = 0
668.80/594.72 c (40,0) x[113] = 0
668.80/594.72 c (40,0) x[114] = 0
668.80/594.72 c (40,0) x[115] = 0
668.80/594.72 c (40,0) x[116] = 0
668.80/594.72 c (40,0) x[117] = 0
668.80/594.72 c (40,0) x[118] = 0
668.80/594.72 c (40,0) x[119] = 0
668.80/594.72 c (40,0) x[120] = 0
668.80/594.72 c (40,0) x[121] = 0
668.80/594.72 c (40,0) x[122] = 0
668.80/594.72 c (40,0) x[123] = 0
668.80/594.72 c (40,0) x[124] = 0
668.80/594.72 c (40,0) x[125] = 0
668.80/594.72 c (40,0) x[126] = 0
668.80/594.72 c (40,0) x[127] = 0
668.80/594.72 c (40,0) x[128] = 0
668.80/594.72 c (40,0) x[129] = 0
668.80/594.72 c (40,0) x[130] = 0
668.80/594.72 c (40,0) x[131] = 0
668.80/594.72 c (40,0) x[132] = 0
668.80/594.72 c (40,0) x[133] = 0
668.80/594.72 c (40,0) x[134] = 0
668.80/594.72 c (40,0) x[135] = 0
668.80/594.72 c (40,0) x[136] = 0
668.80/594.72 c (40,0) x[137] = 0
668.80/594.72 c (40,0) x[138] = 0
668.80/594.72 c (40,0) x[139] = 0
668.80/594.72 c (40,0) x[140] = 0
668.80/594.72 c (40,0) x[141] = 0
668.80/594.72 c (40,0) x[142] = 0
668.80/594.72 c (40,0) x[143] = 0
668.80/594.72 c (40,0) x[144] = 0
668.80/594.72 c (40,0) x[145] = 0
668.80/594.72 c (40,0) x[146] = 0
668.80/594.72 c (40,0) x[147] = 0
668.80/594.72 c (40,0) x[148] = 0
668.80/594.72 c (40,0) x[149] = 0
668.80/594.72 c (40,0) x[150] = 0
668.80/594.72 c (40,0) x[151] = 0
668.80/594.72 c (40,0) x[152] = 0
668.80/594.72 c (40,0) x[153] = 0
668.80/594.72 c (40,0) x[154] = 0
668.80/594.72 c (40,0) x[155] = 0
668.80/594.72 c (40,0) x[156] = 0
668.80/594.72 c (40,0) x[157] = 0
668.80/594.72 c (40,0) x[158] = 0
668.80/594.72 c (40,0) x[159] = 0
668.80/594.72 c (40,0) x[160] = 0
668.80/594.72 c (40,0) x[161] = 0
668.80/594.73 c (40,0) x[162] = 0
668.80/594.73 c (40,0) x[163] = 0
668.80/594.73 c (40,0) x[164] = 0
668.80/594.73 c (40,0) x[165] = 0
668.80/594.73 c (40,0) x[166] = 0
668.80/594.73 c (40,0) x[167] = 0
668.80/594.73 c (40,0) x[168] = 0
668.80/594.73 c (40,0) x[169] = 0
668.80/594.73 c (40,0) x[170] = 0
668.80/594.73 c (40,0) x[171] = 0
668.80/594.73 c (40,0) x[172] = 0
668.80/594.73 c (40,0) x[173] = 0
668.80/594.73 c (40,0) x[174] = 0
668.80/594.73 c (40,0) x[175] = 0
668.80/594.73 c (40,0) x[176] = 0
668.80/594.73 c (40,0) x[177] = 0
668.80/594.73 c (40,0) x[178] = 0
668.80/594.73 c (40,0) x[179] = 0
668.80/594.73 c (40,0) x[180] = 0
668.80/594.73 c (40,0) x[181] = 0
668.80/594.73 c (40,0) x[182] = 0
668.80/594.73 c (40,0) x[183] = 0
668.80/594.73 c (40,0) x[184] = 0
668.80/594.73 c (40,0) x[185] = 0
668.80/594.73 c (40,0) x[186] = 0
668.80/594.73 c (40,0) x[187] = 0
668.80/594.73 c (40,0) x[188] = 0
668.80/594.73 c (40,0) x[189] = 0
668.80/594.73 c (40,0) x[190] = 0
668.80/594.73 c (40,0) x[191] = 0
668.80/594.73 c (40,0) x[192] = 0
668.80/594.73 c (40,0) x[193] = 0
668.80/594.73 c (40,0) x[194] = 0
668.80/594.73 c (40,0) x[195] = 0
668.80/594.73 c (40,0) x[196] = 0
668.80/594.73 c (40,0) x[197] = 0
668.80/594.73 c (40,0) x[198] = 0
668.80/594.73 c (40,0) x[199] = 0
668.80/594.73 c (40,0) x[200] = 0
668.80/594.73 c (40,0) x[201] = 0
668.80/594.73 c (40,0) x[202] = 0
668.80/594.73 c (40,0) x[203] = 0
668.80/594.73 c (40,0) x[204] = 0
668.80/594.73 c (40,0) x[205] = 0
668.80/594.73 c (40,0) x[206] = 0
668.80/594.73 c (40,0) x[207] = 0
668.80/594.73 c (40,0) x[208] = 0
668.80/594.73 c (40,0) x[209] = 0
668.80/594.73 c (40,0) x[210] = 0
668.80/594.73 c (40,0) x[211] = 0
668.80/594.73 c (40,0) x[212] = 0
668.80/594.73 c (40,0) x[213] = 0
668.80/594.73 c (40,0) x[214] = 0
668.80/594.73 c (40,0) x[215] = 0
668.80/594.73 c (40,0) x[216] = 0
668.80/594.73 c (40,0) x[217] = 0
668.80/594.73 c (40,0) x[218] = 0
668.80/594.73 c (40,0) x[219] = 0
668.80/594.73 c (40,0) x[220] = 0
668.80/594.73 c (40,0) x[221] = 0
668.80/594.73 c (40,0) x[222] = 0
668.80/594.73 c (40,0) x[223] = 0
668.80/594.73 c (40,0) x[224] = 0
668.80/594.73 c (40,0) x[225] = 0
668.80/594.73 c (40,0) x[226] = 0
668.80/594.73 c (40,0) x[227] = 0
668.80/594.73 c (40,0) x[228] = 0
668.80/594.73 c (40,0) x[229] = 0
668.80/594.73 c (40,0) x[230] = 0
668.80/594.73 c (40,0) x[231] = 0
668.80/594.73 c (40,0) x[232] = 0
668.80/594.73 c (40,0) x[233] = 0
668.80/594.73 c (40,0) x[234] = 0
668.80/594.73 c (40,0) x[235] = 0
668.80/594.73 c (40,0) x[236] = 0
668.80/594.73 c (40,0) x[237] = 0
668.80/594.73 c (40,0) x[238] = 0
668.80/594.73 c (40,0) x[239] = 0
668.80/594.73 c (40,0) x[240] = 0
668.80/594.73 c (40,0) x[241] = 0
668.80/594.73 c (40,0) x[242] = 0
668.80/594.73 c (40,0) x[243] = 0
668.80/594.73 c (40,0) x[244] = 0
668.80/594.73 c (40,0) x[245] = 0
668.80/594.73 c (40,0) x[246] = 0
668.80/594.73 c (40,0) x[247] = 0
668.80/594.73 c (40,0) x[248] = 0
668.80/594.73 c (40,0) x[249] = 0
668.80/594.73 c (40,0) x[250] = 0
668.80/594.73 c (40,0) x[251] = 0
668.80/594.73 c (40,0) x[252] = 0
668.80/594.73 c (40,0) x[253] = 0
668.80/594.73 c (40,0) x[254] = 0
668.80/594.73 c (40,0) x[255] = 0
668.80/594.73 c (40,0) x[256] = 0
668.80/594.73 c (40,0) x[257] = 0
668.80/594.73 c (40,0) x[258] = 0
668.80/594.73 c (40,0) x[259] = 0
668.80/594.73 c (40,0) x[260] = 0
668.80/594.73 c (40,0) x[261] = 0
668.80/594.73 c (40,0) x[262] = 0
668.80/594.73 c (40,0) x[263] = 0
668.80/594.73 c (40,0) x[264] = 0
668.80/594.73 c (40,0) x[265] = 0
668.80/594.73 c (40,0) x[266] = 0
668.80/594.73 c (40,0) x[267] = 0
668.80/594.73 c (40,0) x[268] = 0
668.80/594.73 c (40,0) x[269] = 0
668.80/594.73 c (40,0) x[270] = 0
668.80/594.73 c (40,0) x[271] = 0
668.80/594.73 c (40,0) x[272] = 0
668.80/594.73 c (40,0) x[273] = 0
668.80/594.73 c (40,0) x[274] = 0
668.80/594.73 c (40,0) x[275] = 0
668.80/594.73 c (40,0) x[276] = 0
668.80/594.73 c (40,0) x[277] = 0
668.80/594.73 c (40,0) x[278] = 0
668.80/594.73 c (40,0) x[279] = 0
668.80/594.73 c (40,0) x[280] = 0
668.80/594.73 c (40,0) x[281] = 0
668.80/594.73 c (40,0) x[282] = 0
668.80/594.73 c (40,0) x[283] = 0
668.80/594.73 c (40,0) x[284] = 0
668.80/594.73 c (40,0) x[285] = 0
668.80/594.73 c (40,0) x[286] = 0
668.80/594.73 c (40,0) x[287] = 0
668.80/594.73 c (40,0) x[288] = 0
668.80/594.73 c (40,0) x[289] = 0
668.80/594.73 c (40,0) x[290] = 0
668.80/594.73 c (40,0) x[291] = 0
668.80/594.73 c (40,0) x[292] = 0
668.80/594.73 c (40,0) x[293] = 0
668.80/594.73 c (40,0) x[294] = 0
668.80/594.73 c (40,0) x[295] = 0
668.80/594.73 c (40,0) x[296] = 0
668.80/594.73 c (40,0) x[297] = 0
668.80/594.73 c (40,0) x[298] = 0
668.80/594.73 c (40,0) x[299] = 0
668.80/594.73 c (40,0) x[300] = 0
668.80/594.73 c (40,0) x[301] = 0
668.80/594.73 c (40,0) x[302] = 0
668.80/594.73 c (40,0) x[303] = 0
668.80/594.73 c (40,0) x[304] = 0
668.80/594.73 c (40,0) x[305] = 0
668.80/594.73 c (40,0) x[306] = 0
668.80/594.73 c (40,0) x[307] = 0
668.80/594.73 c (40,0) x[308] = 0
668.80/594.73 c (40,0) x[309] = 0
668.80/594.73 c (40,0) x[310] = 0
668.80/594.73 c (40,0) x[311] = 0
668.80/594.73 c (40,0) x[312] = 0
668.80/594.73 c (40,0) x[313] = 0
668.80/594.73 c (40,0) x[314] = 0
668.80/594.73 c (40,0) x[315] = 0
668.80/594.73 c (40,0) x[316] = 0
668.80/594.73 c (40,0) x[317] = 0
668.80/594.73 c (40,0) x[318] = 0
668.80/594.73 c (40,0) x[319] = 0
668.80/594.73 c (40,0) x[320] = 0
668.80/594.73 c (40,0) x[321] = 0
668.80/594.73 c (40,0) x[322] = 0
668.80/594.73 c (40,0) x[323] = 0
668.80/594.73 c (40,0) x[324] = 0
668.80/594.73 c (40,0) x[325] = 0
668.80/594.73 c (40,0) x[326] = 0
668.80/594.73 c (40,0) x[327] = 0
668.80/594.73 c (40,0) x[328] = 0
668.80/594.73 c (40,0) x[329] = 0
668.80/594.73 c (40,0) x[330] = 0
668.80/594.73 c (40,0) x[331] = 0
668.80/594.73 c (40,0) x[332] = 0
668.80/594.73 c (40,0) x[333] = 0
668.80/594.73 c (40,0) x[334] = 0
668.80/594.73 c (40,0) x[335] = 0
668.80/594.73 c (40,0) x[336] = 0
668.80/594.73 c (40,0) x[337] = 0
668.80/594.73 c (40,0) x[338] = 0
668.80/594.73 c (40,0) x[339] = 0
668.80/594.73 c (40,0) x[340] = 0
668.80/594.73 c (40,0) x[341] = 0
668.80/594.73 c (40,0) x[342] = 0
668.80/594.73 c (40,0) x[343] = 0
668.80/594.73 c (40,0) x[344] = 0
668.80/594.73 c (40,0) x[345] = 0
668.80/594.73 c (40,0) x[346] = 0
668.80/594.73 c (40,0) x[347] = 0
668.80/594.73 c (40,0) x[348] = 0
668.80/594.73 c (40,0) x[349] = 0
668.80/594.73 c (40,0) x[350] = 0
668.80/594.73 c (40,0) x[351] = 0
668.80/594.73 c (40,0) x[352] = 0
668.80/594.73 c (40,0) x[353] = 0
668.80/594.73 c (40,0) x[354] = 0
668.80/594.73 c (40,0) x[355] = 0
668.80/594.73 c (40,0) x[356] = 0
668.80/594.73 c (40,0) x[357] = 0
668.80/594.73 c (40,0) x[358] = 0
668.80/594.73 c (40,0) x[359] = 0
668.80/594.73 c (40,0) x[360] = 0
668.80/594.73 c (40,0) x[361] = 0
668.80/594.73 c (40,0) x[362] = 0
668.80/594.73 c (40,0) x[363] = 0
668.80/594.73 c (40,0) x[364] = 0
668.80/594.73 c (40,0) x[365] = 0
668.80/594.73 c (40,0) x[366] = 0
668.80/594.73 c (40,0) x[367] = 0
668.80/594.73 c (40,0) x[368] = 0
668.80/594.73 c (40,0) x[369] = 0
668.80/594.73 c (40,0) x[370] = 0
668.80/594.73 c (40,0) x[371] = 0
668.80/594.73 c (40,0) x[372] = 0
668.80/594.73 c (40,0) x[373] = 0
668.80/594.73 c (40,0) x[374] = 0
668.80/594.73 c (40,0) x[375] = 0
668.80/594.73 c (40,0) x[376] = 0
668.80/594.73 c (40,0) x[377] = 0
668.80/594.73 c (40,0) x[378] = 0
668.80/594.73 c (40,0) x[379] = 0
668.80/594.73 c (40,0) x[380] = 0
668.80/594.73 c (40,0) x[381] = 0
668.80/594.73 c (40,0) x[382] = 0
668.80/594.73 c (40,0) x[383] = 0
668.80/594.73 c (40,0) x[384] = 0
668.80/594.73 c (40,0) x[385] = 0
668.80/594.73 c (40,0) x[386] = 0
668.80/594.73 c (40,0) x[387] = 0
668.80/594.73 c (40,0) x[388] = 0
668.80/594.73 c (40,0) x[389] = 0
668.80/594.73 c (40,0) x[390] = 0
668.80/594.73 c (40,0) x[391] = 0
668.80/594.73 c (40,0) x[392] = 0
668.80/594.73 c (40,0) x[393] = 0
668.80/594.73 c (40,0) x[394] = 0
668.80/594.73 c (40,0) x[395] = 0
668.80/594.73 c (40,0) x[396] = 0
668.80/594.73 c (40,0) x[397] = 0
668.80/594.73 c (40,0) x[398] = 0
668.80/594.73 c (40,0) x[399] = 0
668.80/594.73 c (40,0) x[400] = 0
668.80/594.73 c (40,0) x[401] = 0
668.80/594.73 c (40,0) x[402] = 0
668.80/594.73 c (40,0) x[403] = 0
668.80/594.73 c (40,0) x[404] = 0
668.80/594.73 c (40,0) x[405] = 0
668.80/594.73 c (40,0) x[406] = 0
668.80/594.73 c (40,0) x[407] = 0
668.80/594.73 c (40,0) x[408] = 0
668.80/594.73 c (40,0) x[409] = 0
668.80/594.73 c (40,0) x[410] = 0
668.80/594.73 c (40,0) x[411] = 0
668.80/594.73 c (40,0) x[412] = 0
668.80/594.73 c (40,0) x[413] = 0
668.80/594.73 c (40,0) x[414] = 0
668.80/594.73 c (40,0) x[415] = 0
668.80/594.73 c (40,0) x[416] = 0
668.80/594.73 c (40,0) x[417] = 0
668.80/594.73 c (40,0) x[418] = 0
668.80/594.73 c (40,0) x[419] = 0
668.80/594.73 c (40,0) x[420] = 0
668.80/594.73 c (40,0) x[421] = 0
668.80/594.73 c (40,0) x[422] = 0
668.80/594.73 c (40,0) x[423] = 0
668.80/594.73 c (40,0) x[424] = 0
668.80/594.73 c (40,0) x[425] = 0
668.80/594.73 c (40,0) x[426] = 0
668.80/594.73 c (40,0) x[427] = 0
668.80/594.73 c (40,0) x[428] = 0
668.80/594.73 c (40,0) x[429] = 0
668.80/594.73 c (40,0) x[430] = 0
668.80/594.73 c (40,0) x[431] = 0
668.80/594.73 c (40,0) x[432] = 0
668.80/594.73 c (40,0) x[433] = 0
668.80/594.73 c (40,0) x[434] = 0
668.80/594.73 c (40,0) x[435] = 0
668.80/594.73 c (40,0) x[436] = 0
668.80/594.73 c (40,0) x[437] = 0
668.80/594.73 c (40,0) x[438] = 0
668.80/594.73 c (40,0) x[439] = 0
668.80/594.73 c (40,0) x[440] = 0
668.80/594.73 c (40,0) x[441] = 0
668.80/594.73 c (40,0) x[442] = 0
668.80/594.73 c (40,0) x[443] = 0
668.80/594.73 c (40,0) x[444] = 0
668.80/594.73 c (40,0) x[445] = 0
668.80/594.73 c (40,0) x[446] = 0
668.80/594.73 c (40,0) x[447] = 0
668.80/594.73 c (40,0) x[448] = 0
668.80/594.73 c (40,0) x[449] = 0
668.80/594.73 c (40,0) x[450] = 0
668.80/594.73 c (40,0) x[451] = 0
668.80/594.73 c (40,0) x[452] = 0
668.80/594.73 c (40,0) x[453] = 0
668.80/594.73 c (40,0) x[454] = 0
668.80/594.73 c (40,0) x[455] = 0
668.80/594.73 c (40,0) x[456] = 0
668.80/594.73 c (40,0) x[457] = 0
668.80/594.73 c (40,0) x[458] = 0
668.80/594.73 c (40,0) x[459] = 0
668.80/594.73 c (40,0) x[460] = 0
668.80/594.73 c (40,0) x[461] = 0
668.80/594.73 c (40,0) x[462] = 0
668.80/594.73 c (40,0) x[463] = 0
668.80/594.73 c (40,0) x[464] = 0
668.80/594.73 c (40,0) x[465] = 0
668.80/594.73 c (40,0) x[466] = 0
668.80/594.73 c (40,0) x[467] = 0
668.80/594.73 c (40,0) x[468] = 0
668.80/594.73 c (40,0) x[469] = 0
668.80/594.73 c (40,0) x[470] = 0
668.80/594.73 c (40,0) x[471] = 0
668.80/594.73 c (40,0) x[472] = 0
668.80/594.73 c (40,0) x[473] = 0
668.80/594.73 c (40,0) x[474] = 0
668.80/594.73 c (40,0) x[475] = 0
668.80/594.73 c (40,0) x[476] = 0
668.80/594.73 c (40,0) x[477] = 0
668.80/594.73 c (40,0) x[478] = 0
668.80/594.73 c (40,0) x[479] = 0
668.80/594.73 c (40,0) x[480] = 0
668.80/594.73 c (40,0) x[481] = 0
668.80/594.73 c (40,0) x[482] = 0
668.80/594.73 c (40,0) x[483] = 0
668.80/594.73 c (40,0) x[484] = 0
668.80/594.73 c (40,0) x[485] = 0
668.80/594.73 c (40,0) x[486] = 0
668.80/594.73 c (40,0) x[487] = 0
668.80/594.73 c (40,0) x[488] = 0
668.80/594.73 c (40,0) x[489] = 0
668.80/594.73 c (40,0) x[490] = 0
668.80/594.73 c (40,0) x[491] = 0
668.80/594.73 c (40,0) x[492] = 0
668.80/594.73 c (40,0) x[493] = 0
668.80/594.73 c (40,0) x[494] = 0
668.80/594.73 c (40,0) x[495] = 0
668.80/594.73 c (40,0) x[496] = 0
668.80/594.73 c (40,0) x[497] = 0
668.80/594.73 c (40,0) x[498] = 0
668.80/594.73 c (40,0) x[499] = 0
668.80/594.73 c (40,0) x[500] = 0
668.80/594.73 c (40,0) x[501] = 0
668.80/594.73 c (40,0) x[502] = 0
668.80/594.73 c (40,0) x[503] = 0
668.80/594.73 c (40,0) x[504] = 0
668.80/594.73 c (40,0) x[505] = 0
668.80/594.73 c (40,0) x[506] = 0
668.80/594.73 c (40,0) x[507] = 0
668.80/594.73 c (40,0) x[508] = 0
668.80/594.73 c (40,0) x[509] = 0
668.80/594.73 c (40,0) x[510] = 0
668.80/594.73 c (40,0) x[511] = 0
668.80/594.73 c (40,0) x[512] = 0
668.80/594.73 c (40,0) x[513] = 0
668.80/594.73 c (40,0) x[514] = 0
668.80/594.73 c (40,0) x[515] = 0
668.80/594.73 c (40,0) x[516] = 0
668.80/594.73 c (40,0) x[517] = 0
668.80/594.73 c (40,0) x[518] = 0
668.80/594.73 c (40,0) x[519] = 0
668.80/594.73 c (40,0) x[520] = 0
668.80/594.73 c (40,0) x[521] = 0
668.80/594.73 c (40,0) x[522] = 0
668.80/594.73 c (40,0) x[523] = 0
668.80/594.73 c (40,0) x[524] = 0
668.80/594.73 c (40,0) x[525] = 0
668.80/594.73 c (40,0) x[526] = 0
668.80/594.73 c (40,0) x[527] = 0
668.80/594.73 c (40,0) x[528] = 0
668.80/594.73 c (40,0) x[529] = 0
668.80/594.73 c (40,0) x[530] = 0
668.80/594.73 c (40,0) x[531] = 0
668.80/594.73 c (40,0) x[532] = 0
668.80/594.73 c (40,0) x[533] = 0
668.80/594.73 c (40,0) x[534] = 0
668.80/594.73 c (40,0) x[535] = 0
668.80/594.73 c (40,0) x[536] = 0
668.80/594.73 c (40,0) x[537] = 0
668.80/594.73 c (40,0) x[538] = 0
668.80/594.73 c (40,0) x[539] = 0
668.80/594.73 c (40,0) x[540] = 0
668.80/594.73 c (40,0) x[541] = 0
668.80/594.73 c (40,0) x[542] = 0
668.80/594.73 c (40,0) x[543] = 0
668.80/594.73 c (40,0) x[544] = 0
668.80/594.73 c (40,0) x[545] = 0
668.80/594.73 c (40,0) x[546] = 0
668.80/594.73 c (40,0) x[547] = 0
668.80/594.73 c (40,0) x[548] = 0
668.80/594.73 c (40,0) x[549] = 0
668.80/594.73 c (40,0) x[550] = 0
668.80/594.73 c (40,0) x[551] = 0
668.80/594.73 c (40,0) x[552] = 0
668.80/594.73 c (40,0) x[553] = 0
668.80/594.73 c (40,0) x[554] = 0
668.80/594.73 c (40,0) x[555] = 0
668.80/594.73 c (40,0) x[556] = 0
668.80/594.73 c (40,0) x[557] = 0
668.80/594.73 c (40,0) x[558] = 0
668.80/594.73 c (40,0) x[559] = 0
668.80/594.73 c (40,0) x[560] = 0
668.80/594.73 c (40,0) x[561] = 0
668.80/594.73 c (40,0) x[562] = 0
668.80/594.73 c (40,0) x[563] = 0
668.80/594.73 c (40,0) x[564] = 0
668.80/594.73 c (40,0) x[565] = 0
668.80/594.73 c (40,0) x[566] = 0
668.80/594.73 c (40,0) x[567] = 0
668.80/594.73 c (40,0) x[568] = 0
668.80/594.73 c (40,0) x[569] = 0
668.80/594.73 c (40,0) x[570] = 0
668.80/594.73 c (40,0) x[571] = 0
668.80/594.73 c (40,0) x[572] = 0
668.80/594.73 c (40,0) x[573] = 0
668.80/594.73 c (40,0) x[574] = 0
668.80/594.73 c (40,0) x[575] = 0
668.80/594.73 c (40,0) x[576] = 0
668.80/594.73 c (40,0) x[577] = 0
668.80/594.73 c (40,0) x[578] = 0
668.80/594.73 c (40,0) x[579] = 0
668.80/594.73 c (40,0) x[580] = 0
668.80/594.73 c (40,0) x[581] = 0
668.80/594.73 c (40,0) x[582] = 0
668.80/594.73 c (40,0) x[583] = 0
668.80/594.73 c (40,0) x[584] = 0
668.80/594.73 c (40,0) x[585] = 0
668.80/594.73 c (40,0) x[586] = 0
668.80/594.73 c (40,0) x[587] = 0
668.80/594.73 c (40,0) x[588] = 0
668.80/594.73 c (40,0) x[589] = 0
668.80/594.73 c (40,0) x[590] = 0
668.80/594.73 c (40,0) x[591] = 0
668.80/594.73 c (40,0) x[592] = 0
668.80/594.73 c (40,0) x[593] = 0
668.80/594.73 c (40,0) x[594] = 0
668.80/594.73 c (40,0) x[595] = 0
668.80/594.73 c (40,0) x[596] = 0
668.80/594.73 c (40,0) x[597] = 0
668.80/594.73 c (40,0) x[598] = 0
668.80/594.73 c (40,0) x[599] = 0
668.80/594.73 c (40,0) x[600] = 0
668.80/594.73 c (40,0) x[601] = 0
668.80/594.73 c (40,0) x[602] = 0
668.80/594.73 c (40,0) x[603] = 0
668.80/594.73 c (40,0) x[604] = 0
668.80/594.73 c (40,0) x[605] = 0
668.80/594.73 c (40,0) x[606] = 0
668.80/594.73 c (40,0) x[607] = 0
668.80/594.73 c (40,0) x[608] = 0
668.80/594.73 c (40,0) x[609] = 0
668.80/594.73 c (40,0) x[610] = 0
668.80/594.73 c (40,0) x[611] = 0
668.80/594.73 c (40,0) x[612] = 0
668.80/594.73 c (40,0) x[613] = 0
668.80/594.73 c (40,0) x[614] = 0
668.80/594.73 c (40,0) x[615] = 0
668.80/594.73 c (40,0) x[616] = 0
668.80/594.73 c (40,0) x[617] = 0
668.80/594.73 c (40,0) x[618] = 0
668.80/594.73 c (40,0) x[619] = 0
668.80/594.73 c (40,0) x[620] = 0
668.80/594.73 c (40,0) x[621] = 0
668.80/594.73 c (40,0) x[622] = 0
668.80/594.73 c (40,0) x[623] = 0
668.80/594.73 c (40,0) x[624] = 0
668.80/594.73 c (40,0) x[625] = 0
668.80/594.73 c (40,0) x[626] = 0
668.80/594.73 c (40,0) x[627] = 0
668.80/594.73 c (40,0) x[628] = 0
668.80/594.73 c (40,0) x[629] = 0
668.80/594.73 c (40,0) x[630] = 0
668.80/594.73 c (40,0) x[631] = 0
668.80/594.73 c (40,0) x[632] = 0
668.80/594.73 c (40,0) x[633] = 0
668.80/594.73 c (40,0) x[634] = 0
668.80/594.73 c (40,0) x[635] = 0
668.80/594.73 c (40,0) x[636] = 0
668.80/594.73 c (40,0) x[637] = 0
668.80/594.73 c (40,0) x[638] = 0
668.80/594.73 c (40,0) x[639] = 0
668.80/594.73 c (40,0) x[640] = 0
668.80/594.73 c (40,0) x[641] = 0
668.80/594.73 c (40,0) x[642] = 0
668.80/594.73 c (40,0) x[643] = 0
668.80/594.73 c (40,0) x[644] = 0
668.80/594.73 c (40,0) x[645] = 0
668.80/594.73 c (40,0) x[646] = 0
668.80/594.73 c (40,0) x[647] = 0
668.80/594.73 c (40,0) x[648] = 0
668.80/594.73 c (40,0) x[649] = 0
668.80/594.73 c (40,0) x[650] = 0
668.80/594.73 c (40,0) x[651] = 0
668.80/594.73 c (40,0) x[652] = 0
668.80/594.73 c (40,0) x[653] = 0
668.80/594.73 c (40,0) x[654] = 0
668.80/594.73 c (40,0) x[655] = 0
668.80/594.73 c (40,0) x[656] = 0
668.80/594.73 c (40,0) x[657] = 0
668.80/594.73 c (40,0) x[658] = 0
668.80/594.73 c (40,0) x[659] = 0
668.80/594.73 c (40,0) x[660] = 0
668.80/594.73 c (40,0) x[661] = 0
668.80/594.73 c (40,0) x[662] = 0
668.80/594.73 c (40,0) x[663] = 0
668.80/594.73 c (40,0) x[664] = 0
668.80/594.73 c (40,0) x[665] = 0
668.80/594.73 c (40,0) x[666] = 0
668.80/594.73 c (40,0) x[667] = 0
668.80/594.73 c (40,0) x[668] = 0
668.80/594.73 c (40,0) x[669] = 0
668.80/594.73 c (40,0) x[670] = 0
668.80/594.73 c (40,0) x[671] = 0
668.80/594.73 c (40,0) x[672] = 0
668.80/594.73 c (40,0) x[673] = 0
668.80/594.73 c (40,0) x[674] = 0
668.80/594.73 c (40,0) x[675] = 0
668.80/594.73 c (40,0) x[676] = 0
668.80/594.73 c (40,0) x[677] = 0
668.80/594.73 c (40,0) x[678] = 0
668.80/594.73 c (40,0) x[679] = 0
668.80/594.73 c (40,0) x[680] = 0
668.80/594.73 c (40,0) x[681] = 0
668.80/594.73 c (40,0) x[682] = 0
668.80/594.73 c (40,0) x[683] = 0
668.80/594.73 c (40,0) x[684] = 0
668.80/594.73 c (40,0) x[685] = 0
668.80/594.73 c (40,0) x[686] = 0
668.80/594.73 c (40,0) x[687] = 0
668.80/594.73 c (40,0) x[688] = 0
668.80/594.73 c (40,0) x[689] = 0
668.80/594.73 c (40,0) x[690] = 0
668.80/594.73 c (40,0) x[691] = 0
668.80/594.73 c (40,0) x[692] = 0
668.80/594.73 c (40,0) x[693] = 0
668.80/594.73 c (40,0) x[694] = 0
668.80/594.73 c (40,0) x[695] = 0
668.80/594.73 c (40,0) x[696] = 0
668.80/594.73 c (40,0) x[697] = 0
668.80/594.73 c (40,0) x[698] = 0
668.80/594.73 c (40,0) x[699] = 0
668.80/594.73 c (40,0) x[700] = 0
668.80/594.73 c (40,0) x[701] = 0
668.80/594.73 c (40,0) x[702] = 0
668.80/594.73 c (40,0) x[703] = 0
668.80/594.73 c (40,0) x[704] = 0
668.80/594.73 c (40,0) x[705] = 0
668.80/594.73 c (40,0) x[706] = 0
668.80/594.73 c (40,0) x[707] = 0
668.80/594.73 c (40,0) x[708] = 0
668.80/594.73 c (40,0) x[709] = 0
668.80/594.73 c (40,0) x[710] = 0
668.80/594.73 c (40,0) x[711] = 0
668.80/594.73 c (40,0) x[712] = 0
668.80/594.73 c (40,0) x[713] = 0
668.80/594.73 c (40,0) x[714] = 0
668.80/594.73 c (40,0) x[715] = 0
668.80/594.73 c (40,0) x[716] = 0
668.80/594.73 c (40,0) x[717] = 0
668.80/594.73 c (40,0) x[718] = 0
668.80/594.73 c (40,0) x[719] = 0
668.80/594.73 c (40,0) x[720] = 0
668.80/594.73 c (40,0) x[721] = 0
668.80/594.73 c (40,0) x[722] = 0
668.80/594.73 c (40,0) x[723] = 0
668.80/594.73 c (40,0) x[724] = 0
668.80/594.73 c (40,0) x[725] = 0
668.80/594.73 c (40,0) x[726] = 0
668.80/594.73 c (40,0) x[727] = 0
668.80/594.73 c (40,0) x[728] = 0
668.80/594.73 c (40,0) x[729] = 0
668.80/594.73 c (40,0) x[730] = 0
668.80/594.73 c (40,0) x[731] = 0
668.80/594.73 c (40,0) x[732] = 0
668.80/594.73 c (40,0) x[733] = 0
668.80/594.73 c (40,0) x[734] = 0
668.80/594.73 c (40,0) x[735] = 0
668.80/594.73 c (40,0) x[736] = 0
668.80/594.73 c (40,0) x[737] = 0
668.80/594.73 c (40,0) x[738] = 0
668.80/594.73 c (40,0) x[739] = 0
668.80/594.73 c (40,0) x[740] = 0
668.80/594.73 c (40,0) x[741] = 0
668.80/594.73 c (40,0) x[742] = 0
668.80/594.73 c (40,0) x[743] = 0
668.80/594.73 c (40,0) x[744] = 0
668.80/594.73 c (40,0) x[745] = 0
668.80/594.73 c (40,0) x[746] = 0
668.80/594.73 c (40,0) x[747] = 0
668.80/594.73 c (40,0) x[748] = 0
668.80/594.73 c (40,0) x[749] = 0
668.80/594.73 c (40,0) x[750] = 0
668.80/594.73 c (40,0) x[751] = 0
668.80/594.73 c (40,0) x[752] = 0
668.80/594.73 c (40,0) x[753] = 0
668.80/594.73 c (40,0) x[754] = 0
668.80/594.73 c (40,0) x[755] = 0
668.80/594.73 c (40,0) x[756] = 0
668.80/594.73 c (40,0) x[757] = 0
668.80/594.73 c (40,0) x[758] = 0
668.80/594.73 c (40,0) x[759] = 0
668.80/594.73 c (40,0) x[760] = 0
668.80/594.73 c (40,0) x[761] = 0
668.80/594.73 c (40,0) x[762] = 0
668.80/594.73 c (40,0) x[763] = 0
668.80/594.73 c (40,0) x[764] = 0
668.80/594.73 c (40,0) x[765] = 0
668.80/594.73 c (40,0) x[766] = 0
668.80/594.73 c (40,0) x[767] = 0
668.80/594.73 c (40,0) x[768] = 0
668.80/594.73 c (40,0) x[769] = 0
668.80/594.73 c (40,0) x[770] = 0
668.80/594.73 c (40,0) x[771] = 0
668.80/594.73 c (40,0) x[772] = 0
668.80/594.73 c (40,0) x[773] = 0
668.80/594.73 c (40,0) x[774] = 0
668.80/594.73 c (40,0) x[775] = 0
668.80/594.73 c (40,0) x[776] = 0
668.80/594.73 c (40,0) x[777] = 0
668.80/594.73 c (40,0) x[778] = 0
668.80/594.73 c (40,0) x[779] = 0
668.80/594.73 c (40,0) x[780] = 0
668.80/594.73 c (40,0) x[781] = 0
668.80/594.73 c (40,0) x[782] = 0
668.80/594.73 c (40,0) x[783] = 0
668.80/594.73 c (40,0) x[784] = 0
668.80/594.73 c (40,0) x[785] = 0
668.80/594.73 c (40,0) x[786] = 0
668.80/594.73 c (40,0) x[787] = 0
668.80/594.73 c (40,0) x[788] = 0
668.80/594.73 c (40,0) x[789] = 0
668.80/594.73 c (40,0) x[790] = 0
668.80/594.73 c (40,0) x[791] = 0
668.80/594.73 c (40,0) x[792] = 0
668.80/594.73 c (40,0) x[793] = 0
668.80/594.73 c (40,0) x[794] = 0
668.80/594.73 c (40,0) x[795] = 0
668.80/594.73 c (40,0) x[796] = 1
668.80/594.73 c (40,0) x[797] = 0
668.80/594.73 c (40,0) x[798] = 0
668.80/594.73 c (40,0) x[799] = 0
668.80/594.73 s SATISFIABLE
668.80/594.74 v <instantiation>
668.80/594.74 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] x[700] x[701] x[702] x[703] x[704] x[705] x[706] x[707] x[708] x[709] x[710] x[711] x[712] x[713] x[714] x[715] x[716] x[717] x[718] x[719] x[720] x[721] x[722] x[723] x[724] x[725] x[726] x[727] x[728] x[729] x[730] x[731] x[732] x[733] x[734] x[735] x[736] x[737] x[738] x[739] x[740] x[741] x[742] x[743] x[744] x[745] x[746] x[747] x[748] x[749] x[750] x[751] x[752] x[753] x[754] x[755] x[756] x[757] x[758] x[759] x[760] x[761] x[762] x[763] x[764] x[765] x[766] x[767] x[768] x[769] x[770] x[771] x[772] x[773] x[774] x[775] x[776] x[777] x[778] x[779] x[780] x[781] x[782] x[783] x[784] x[785] x[786] x[787] x[788] x[789] x[790] x[791] x[792] x[793] x[794] x[795] x[796] x[797] x[798] x[799]</list>
668.80/594.74 v <values>796 2 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0</values>
668.80/594.74 v </instantiation>
668.80/594.74 c (40,0) Show results End
668.80/594.74 c (40,0) Heap : 196 MiB used (max 3925 MiB), NonHeap : 19 MiB used (max 0 MiB)
668.80/594.74 c (40,0) 40,40,STOP-AFTER(ALL)
668.80/594.74 c END-Prog: Thu Sep 12 13:53:24 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 (13599 MiB free)
memory of node 1: 16384 MiB (14227 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4387698-1568288646/watcher-4387698-1568288646 -o /tmp/evaluation-result-4387698-1568288646/solver-4387698-1568288646 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node126-1568286203-6147 --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-4387698-1568288646.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=7043, runsolver pid=7040
[startup+0.100063 s]*
/proc/loadavg: 5.04 4.79 4.03 3/237 7060
/proc/meminfo: memFree=28433812/32770624 swapFree=67004752/67108860
[pid=7043] ppid=7040 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/7043/stat : 7043 (scop.sh) S 7040 7043 5150 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405132451 115843072 349 33554432000 4194304 5098028 140721926868736 140721926865992 139932207678076 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 21237760 140721926873896 140721926874224 140721926874224 140721926877133 0
/proc/7043/statm: 28282 349 296 221 0 87 0
[pid=7046] ppid=7043 vsize=15014680 memory=75036 CPUtime=0.12 cores=1,3,5,7
/proc/7046/stat : 7046 (java) S 7043 7043 5150 0 -1 1077944320 7071 0 0 0 10 2 0 0 20 0 15 0 405132451 15375032320 18759 33554432000 4194304 4196468 140732112435136 140732112417680 140555794583287 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27721728 140732112437999 140732112438426 140732112438426 140732112441295 0
/proc/7046/statm: 3753670 18759 2890 1 0 3716075 0
[pid=7046/tid=7047] ppid=7043 vsize=15016308 memory=-2915660033818482078 CPUtime=0.08 cores=1,3,5,7
/proc/7046/task/7047/stat : 7047 (java) R 7043 7043 5150 0 -1 4202560 5179 0 0 0 7 1 0 0 20 0 15 0 405132451 15376699392 19089 33554432000 4194304 4196468 140732112435136 140555766367536 140555787263005 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27721728 140732112437999 140732112438426 140732112438426 140732112441295 0
[pid=7046/tid=7048] ppid=7043 vsize=15016308 memory=4206468019014099040 CPUtime=0 cores=1,3,5,7
/proc/7046/task/7048/stat : 7048 (java) S 7043 7043 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405132453 15376699392 19089 33554432000 4194304 4196468 140732112435136 140555798825360 140555794593493 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27721728 140732112437999 140732112438426 140732112438426 140732112441295 0
[pid=7046/tid=7049] ppid=7043 vsize=15016308 memory=139900300744320 CPUtime=0 cores=1,3,5,7
/proc/7046/task/7049/stat : 7049 (java) S 7043 7043 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405132453 15376699392 19089 33554432000 4194304 4196468 140732112435136 140555255621904 140555794593493 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27721728 140732112437999 140732112438426 140732112438426 140732112441295 0
[pid=7046/tid=7050] ppid=7043 vsize=15016308 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7046/task/7050/stat : 7050 (java) S 7043 7043 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405132453 15376699392 19089 33554432000 4194304 4196468 140732112435136 140555254569616 140555794593493 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27721728 140732112437999 140732112438426 140732112438426 140732112441295 0
[pid=7046/tid=7051] ppid=7043 vsize=15016308 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7046/task/7051/stat : 7051 (java) S 7043 7043 5150 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405132453 15376699392 19155 33554432000 4194304 4196468 140732112435136 140555253516816 140555794593493 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27721728 140732112437999 140732112438426 140732112438426 140732112441295 0
[pid=7046/tid=7052] ppid=7043 vsize=15016308 memory=139900300744320 CPUtime=0 cores=1,3,5,7
/proc/7046/task/7052/stat : 7052 (java) S 7043 7043 5150 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405132454 15376699392 19155 33554432000 4194304 4196468 140732112435136 140555134245488 140555794594434 0 0 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27721728 140732112437999 140732112438426 140732112438426 140732112441295 0
[pid=7046/tid=7053] ppid=7043 vsize=15016308 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7046/task/7053/stat : 7053 (java) S 7043 7043 5150 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405132455 15376699392 19155 33554432000 4194304 4196468 140732112435136 140554415367456 140555794593493 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27721728 140732112437999 140732112438426 140732112438426 140732112441295 0
[pid=7046/tid=7054] ppid=7043 vsize=15016308 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7046/task/7054/stat : 7054 (java) S 7043 7043 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405132455 15376699392 19155 33554432000 4194304 4196468 140732112435136 140554146932336 140555794593493 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27721728 140732112437999 140732112438426 140732112438426 140732112441295 0
[pid=7046/tid=7055] ppid=7043 vsize=15016308 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7046/task/7055/stat : 7055 (java) S 7043 7043 5150 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405132457 15376699392 19221 33554432000 4194304 4196468 140732112435136 140553772423760 140555794601883 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27721728 140732112437999 140732112438426 140732112438426 140732112441295 0
[pid=7046/tid=7056] ppid=7043 vsize=15016308 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7046/task/7056/stat : 7056 (java) S 7043 7043 5150 0 -1 1077944384 296 0 0 0 0 0 0 0 20 0 15 0 405132457 15376699392 19221 33554432000 4194304 4196468 140732112435136 140555133192304 140555794594434 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27721728 140732112437999 140732112438426 140732112438426 140732112441295 0
[pid=7046/tid=7057] ppid=7043 vsize=15016308 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7046/task/7057/stat : 7057 (java) S 7043 7043 5150 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 15 0 405132457 15376699392 19221 33554432000 4194304 4196468 140732112435136 140555132139504 140555794594434 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27721728 140732112437999 140732112438426 140732112438426 140732112441295 0
[pid=7046/tid=7058] ppid=7043 vsize=15016308 memory=139900300744320 CPUtime=0.01 cores=1,3,5,7
/proc/7046/task/7058/stat : 7058 (java) S 7043 7043 5150 0 -1 1077944384 456 0 0 0 1 0 0 0 20 0 15 0 405132457 15376699392 19221 33554432000 4194304 4196468 140732112435136 140555131087216 140555794594434 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27721728 140732112437999 140732112438426 140732112438426 140732112441295 0
[pid=7046/tid=7059] ppid=7043 vsize=15016308 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7046/task/7059/stat : 7059 (java) S 7043 7043 5150 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405132458 15376699392 19221 33554432000 4194304 4196468 140732112435136 140553274517984 140555794593493 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27721728 140732112437999 140732112438426 140732112438426 140732112441295 0
[pid=7046/tid=7060] ppid=7043 vsize=15016308 memory=139900300744320 CPUtime=0 cores=1,3,5,7
/proc/7046/task/7060/stat : 7060 (java) S 7043 7043 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405132458 15376699392 19287 33554432000 4194304 4196468 140732112435136 140555130035120 140555794594434 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27721728 140732112437999 140732112438426 140732112438426 140732112441295 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15127808 KiB
Current children cumulated memory: 76432 KiB
[startup+0.211129 s]*
/proc/loadavg: 5.04 4.79 4.03 3/237 7060
/proc/meminfo: memFree=28418000/32770624 swapFree=67004752/67108860
[pid=7043] ppid=7040 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/7043/stat : 7043 (scop.sh) S 7040 7043 5150 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405132451 115843072 349 33554432000 4194304 5098028 140721926868736 140721926865992 139932207678076 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 21237760 140721926873896 140721926874224 140721926874224 140721926877133 0
/proc/7043/statm: 28282 349 296 221 0 87 0
[pid=7046] ppid=7043 vsize=15012696 memory=87220 CPUtime=0.25 cores=1,3,5,7
/proc/7046/stat : 7046 (java) S 7043 7043 5150 0 -1 1077944320 11294 0 0 0 22 3 0 0 20 0 15 0 405132451 15373000704 21805 33554432000 4194304 4196468 140732112435136 140732112417680 140555794583287 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27721728 140732112437999 140732112438426 140732112438426 140732112441295 0
/proc/7046/statm: 3753174 21805 2986 1 0 3715579 0
[pid=7046/tid=7047] ppid=7043 vsize=15012696 memory=7022364632946311227 CPUtime=0.19 cores=1,3,5,7
/proc/7046/task/7047/stat : 7047 (java) R 7043 7043 5150 0 -1 4202560 9035 0 0 0 17 2 0 0 20 0 15 0 405132451 15373000704 21870 33554432000 4194304 4196468 140732112435136 140555766405824 140555794605213 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27721728 140732112437999 140732112438426 140732112438426 140732112441295 0
[pid=7046/tid=7048] ppid=7043 vsize=15012696 memory=365 CPUtime=0 cores=1,3,5,7
/proc/7046/task/7048/stat : 7048 (java) S 7043 7043 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405132453 15373000704 21870 33554432000 4194304 4196468 140732112435136 140555798825360 140555794593493 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27721728 140732112437999 140732112438426 140732112438426 140732112441295 0
[pid=7046/tid=7049] ppid=7043 vsize=15012696 memory=139900300751617 CPUtime=0 cores=1,3,5,7
/proc/7046/task/7049/stat : 7049 (java) S 7043 7043 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405132453 15373000704 21870 33554432000 4194304 4196468 140732112435136 140555255621904 140555794593493 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27721728 140732112437999 140732112438426 140732112438426 140732112441295 0
[pid=7046/tid=7050] ppid=7043 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7046/task/7050/stat : 7050 (java) S 7043 7043 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405132453 15373000704 21870 33554432000 4194304 4196468 140732112435136 140555254569616 140555794593493 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27721728 140732112437999 140732112438426 140732112438426 140732112441295 0
[pid=7046/tid=7051] ppid=7043 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7046/task/7051/stat : 7051 (java) S 7043 7043 5150 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405132453 15373000704 21870 33554432000 4194304 4196468 140732112435136 140555253516816 140555794593493 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27721728 140732112437999 140732112438426 140732112438426 140732112441295 0
[pid=7046/tid=7052] ppid=7043 vsize=15012696 memory=139900300744320 CPUtime=0 cores=1,3,5,7
/proc/7046/task/7052/stat : 7052 (java) S 7043 7043 5150 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405132454 15373000704 21870 33554432000 4194304 4196468 140732112435136 140555134245488 140555794594434 0 0 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27721728 140732112437999 140732112438426 140732112438426 140732112441295 0
[pid=7046/tid=7053] ppid=7043 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7046/task/7053/stat : 7053 (java) S 7043 7043 5150 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405132455 15373000704 21870 33554432000 4194304 4196468 140732112435136 140554415367456 140555794593493 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27721728 140732112437999 140732112438426 140732112438426 140732112441295 0
[pid=7046/tid=7054] ppid=7043 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7046/task/7054/stat : 7054 (java) S 7043 7043 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405132455 15373000704 21870 33554432000 4194304 4196468 140732112435136 140554146932336 140555794593493 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27721728 140732112437999 140732112438426 140732112438426 140732112441295 0
[pid=7046/tid=7055] ppid=7043 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7046/task/7055/stat : 7055 (java) S 7043 7043 5150 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405132457 15373000704 21870 33554432000 4194304 4196468 140732112435136 140553772423760 140555794601883 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27721728 140732112437999 140732112438426 140732112438426 140732112441295 0
[pid=7046/tid=7056] ppid=7043 vsize=15012696 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/7046/task/7056/stat : 7056 (java) S 7043 7043 5150 0 -1 1077944384 331 0 0 0 1 0 0 0 20 0 15 0 405132457 15373000704 21870 33554432000 4194304 4196468 140732112435136 140555133192304 140555794594434 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27721728 140732112437999 140732112438426 140732112438426 140732112441295 0
[pid=7046/tid=7057] ppid=7043 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7046/task/7057/stat : 7057 (java) S 7043 7043 5150 0 -1 1077944384 134 0 0 0 0 0 0 0 20 0 15 0 405132457 15373000704 21870 33554432000 4194304 4196468 140732112435136 140555132139504 140555794594434 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27721728 140732112437999 140732112438426 140732112438426 140732112441295 0
[pid=7046/tid=7058] ppid=7043 vsize=15012696 memory=139900300744320 CPUtime=0.03 cores=1,3,5,7
/proc/7046/task/7058/stat : 7058 (java) S 7043 7043 5150 0 -1 1077944384 473 0 0 0 3 0 0 0 20 0 15 0 405132457 15373000704 21870 33554432000 4194304 4196468 140732112435136 140555131087216 140555794594434 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27721728 140732112437999 140732112438426 140732112438426 140732112441295 0
[pid=7046/tid=7059] ppid=7043 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7046/task/7059/stat : 7059 (java) S 7043 7043 5150 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405132458 15373000704 21870 33554432000 4194304 4196468 140732112435136 140553274517984 140555794593493 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27721728 140732112437999 140732112438426 140732112438426 140732112441295 0
[pid=7046/tid=7060] ppid=7043 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7046/task/7060/stat : 7060 (java) S 7043 7043 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405132458 15373000704 21870 33554432000 4194304 4196468 140732112435136 140555130035120 140555794594434 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27721728 140732112437999 140732112438426 140732112438426 140732112441295 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 88616 KiB
[startup+0.310997 s]*
/proc/loadavg: 5.04 4.79 4.03 4/237 7060
/proc/meminfo: memFree=28415580/32770624 swapFree=67004752/67108860
[pid=7043] ppid=7040 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/7043/stat : 7043 (scop.sh) S 7040 7043 5150 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405132451 115843072 349 33554432000 4194304 5098028 140721926868736 140721926865992 139932207678076 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 21237760 140721926873896 140721926874224 140721926874224 140721926877133 0
/proc/7043/statm: 28282 349 296 221 0 87 0
[pid=7046] ppid=7043 vsize=15012696 memory=90640 CPUtime=0.44 cores=1,3,5,7
/proc/7046/stat : 7046 (java) S 7043 7043 5150 0 -1 1077944320 12226 0 0 0 40 4 0 0 20 0 15 0 405132451 15373000704 22660 33554432000 4194304 4196468 140732112435136 140732112417680 140555794583287 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27721728 140732112437999 140732112438426 140732112438426 140732112441295 0
/proc/7046/statm: 3753174 22660 3029 1 0 3715579 0
[pid=7046/tid=7047] ppid=7043 vsize=15012696 memory=1398722017469774279 CPUtime=0.3 cores=1,3,5,7
/proc/7046/task/7047/stat : 7047 (java) R 7043 7043 5150 0 -1 4202560 9780 0 0 0 27 3 0 0 20 0 15 0 405132451 15373000704 22660 33554432000 4194304 4196468 140732112435136 140555766377392 140555777770096 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27721728 140732112437999 140732112438426 140732112438426 140732112441295 0
[pid=7046/tid=7048] ppid=7043 vsize=15012696 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/7046/task/7048/stat : 7048 (java) S 7043 7043 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405132453 15373000704 22660 33554432000 4194304 4196468 140732112435136 140555798825360 140555794593493 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27721728 140732112437999 140732112438426 140732112438426 140732112441295 0
[pid=7046/tid=7049] ppid=7043 vsize=15012696 memory=6944656592387989600 CPUtime=0 cores=1,3,5,7
/proc/7046/task/7049/stat : 7049 (java) S 7043 7043 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405132453 15373000704 22660 33554432000 4194304 4196468 140732112435136 140555255621904 140555794593493 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27721728 140732112437999 140732112438426 140732112438426 140732112441295 0
[pid=7046/tid=7050] ppid=7043 vsize=15012696 memory=8562125494162282060 CPUtime=0 cores=1,3,5,7
/proc/7046/task/7050/stat : 7050 (java) S 7043 7043 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405132453 15373000704 22660 33554432000 4194304 4196468 140732112435136 140555254569616 140555794593493 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27721728 140732112437999 140732112438426 140732112438426 140732112441295 0
[pid=7046/tid=7051] ppid=7043 vsize=15012696 memory=6933954179156714387 CPUtime=0 cores=1,3,5,7
/proc/7046/task/7051/stat : 7051 (java) S 7043 7043 5150 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405132453 15373000704 22660 33554432000 4194304 4196468 140732112435136 140555253516816 140555794593493 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27721728 140732112437999 140732112438426 140732112438426 140732112441295 0
[pid=7046/tid=7052] ppid=7043 vsize=15012696 memory=7684433391216329786 CPUtime=0 cores=1,3,5,7
/proc/7046/task/7052/stat : 7052 (java) S 7043 7043 5150 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405132454 15373000704 22660 33554432000 4194304 4196468 140732112435136 140555134245488 140555794594434 0 0 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27721728 140732112437999 140732112438426 140732112438426 140732112441295 0
[pid=7046/tid=7053] ppid=7043 vsize=15012696 memory=-9062862659931694204 CPUtime=0 cores=1,3,5,7
/proc/7046/task/7053/stat : 7053 (java) S 7043 7043 5150 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405132455 15373000704 22660 33554432000 4194304 4196468 140732112435136 140554415367456 140555794593493 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27721728 140732112437999 140732112438426 140732112438426 140732112441295 0
[pid=7046/tid=7054] ppid=7043 vsize=15012696 memory=3047711566422646390 CPUtime=0 cores=1,3,5,7
/proc/7046/task/7054/stat : 7054 (java) S 7043 7043 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405132455 15373000704 22660 33554432000 4194304 4196468 140732112435136 140554146932336 140555794593493 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27721728 140732112437999 140732112438426 140732112438426 140732112441295 0
[pid=7046/tid=7055] ppid=7043 vsize=15012696 memory=-8412656567168561567 CPUtime=0 cores=1,3,5,7
/proc/7046/task/7055/stat : 7055 (java) S 7043 7043 5150 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405132457 15373000704 22660 33554432000 4194304 4196468 140732112435136 140553772423760 140555794601883 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27721728 140732112437999 140732112438426 140732112438426 140732112441295 0
[pid=7046/tid=7056] ppid=7043 vsize=15012696 memory=-7384621950708166502 CPUtime=0.02 cores=1,3,5,7
/proc/7046/task/7056/stat : 7056 (java) S 7043 7043 5150 0 -1 1077944384 436 0 0 0 2 0 0 0 20 0 15 0 405132457 15373000704 22660 33554432000 4194304 4196468 140732112435136 140555133192304 140555794594434 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27721728 140732112437999 140732112438426 140732112438426 140732112441295 0
[pid=7046/tid=7057] ppid=7043 vsize=15012696 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/7046/task/7057/stat : 7057 (java) S 7043 7043 5150 0 -1 1077944384 188 0 0 0 2 0 0 0 20 0 15 0 405132457 15373000704 22660 33554432000 4194304 4196468 140732112435136 140555132139504 140555794594434 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27721728 140732112437999 140732112438426 140732112438426 140732112441295 0
[pid=7046/tid=7058] ppid=7043 vsize=15012696 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/7046/task/7058/stat : 7058 (java) S 7043 7043 5150 0 -1 1077944384 493 0 0 0 7 0 0 0 20 0 15 0 405132457 15373000704 22660 33554432000 4194304 4196468 140732112435136 140555131087216 140555794594434 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27721728 140732112437999 140732112438426 140732112438426 140732112441295 0
[pid=7046/tid=7059] ppid=7043 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7046/task/7059/stat : 7059 (java) S 7043 7043 5150 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405132458 15373000704 22660 33554432000 4194304 4196468 140732112435136 140553274517984 140555794593493 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27721728 140732112437999 140732112438426 140732112438426 140732112441295 0
[pid=7046/tid=7060] ppid=7043 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7046/task/7060/stat : 7060 (java) S 7043 7043 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405132458 15373000704 22660 33554432000 4194304 4196468 140732112435136 140555130035120 140555794594434 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27721728 140732112437999 140732112438426 140732112438426 140732112441295 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 92036 KiB
[startup+0.701757 s]
/proc/loadavg: 5.04 4.79 4.03 3/237 7060
/proc/meminfo: memFree=28391892/32770624 swapFree=67004752/67108860
[pid=7043] ppid=7040 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/7043/stat : 7043 (scop.sh) S 7040 7043 5150 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405132451 115843072 349 33554432000 4194304 5098028 140721926868736 140721926865992 139932207678076 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 21237760 140721926873896 140721926874224 140721926874224 140721926877133 0
/proc/7043/statm: 28282 349 296 221 0 87 0
[pid=7046] ppid=7043 vsize=15021092 memory=130560 CPUtime=1.01 cores=1,3,5,7
/proc/7046/stat : 7046 (java) S 7043 7043 5150 0 -1 1077944320 19946 0 0 0 95 6 0 0 20 0 15 0 405132451 15381598208 32640 33554432000 4194304 4196468 140732112435136 140732112417680 140555794583287 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27721728 140732112437999 140732112438426 140732112438426 140732112441295 0
/proc/7046/statm: 3755273 32640 3207 1 0 3716603 0
[pid=7046/tid=7047] ppid=7043 vsize=15021092 memory=286543155 CPUtime=0.68 cores=1,3,5,7
/proc/7046/task/7047/stat : 7047 (java) R 7043 7043 5150 0 -1 4202560 17062 0 0 0 63 5 0 0 20 0 15 0 405132451 15381598208 32640 33554432000 4194304 4196468 140732112435136 140555766418128 140555794605213 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27721728 140732112437999 140732112438426 140732112438426 140732112441295 0
[pid=7046/tid=7048] ppid=7043 vsize=15021092 memory=2372 CPUtime=0 cores=1,3,5,7
/proc/7046/task/7048/stat : 7048 (java) S 7043 7043 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405132453 15381598208 32640 33554432000 4194304 4196468 140732112435136 140555798825360 140555794593493 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27721728 140732112437999 140732112438426 140732112438426 140732112441295 0
[pid=7046/tid=7049] ppid=7043 vsize=15021092 memory=180 CPUtime=0 cores=1,3,5,7
/proc/7046/task/7049/stat : 7049 (java) S 7043 7043 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405132453 15381598208 32640 33554432000 4194304 4196468 140732112435136 140555255621904 140555794593493 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27721728 140732112437999 140732112438426 140732112438426 140732112441295 0
[pid=7046/tid=7050] ppid=7043 vsize=15021092 memory=9230 CPUtime=0 cores=1,3,5,7
/proc/7046/task/7050/stat : 7050 (java) S 7043 7043 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405132453 15381598208 32640 33554432000 4194304 4196468 140732112435136 140555254569616 140555794593493 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27721728 140732112437999 140732112438426 140732112438426 140732112441295 0
[pid=7046/tid=7051] ppid=7043 vsize=15021092 memory=21150 CPUtime=0 cores=1,3,5,7
/proc/7046/task/7051/stat : 7051 (java) S 7043 7043 5150 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405132453 15381598208 32640 33554432000 4194304 4196468 140732112435136 140555253516816 140555794593493 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27721728 140732112437999 140732112438426 140732112438426 140732112441295 0
[pid=7046/tid=7052] ppid=7043 vsize=15021092 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7046/task/7052/stat : 7052 (java) S 7043 7043 5150 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 405132454 15381598208 32640 33554432000 4194304 4196468 140732112435136 140555134245488 140555794594434 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27721728 140732112437999 140732112438426 140732112438426 140732112441295 0
[pid=7046/tid=7053] ppid=7043 vsize=15021092 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7046/task/7053/stat : 7053 (java) S 7043 7043 5150 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405132455 15381598208 32640 33554432000 4194304 4196468 140732112435136 140554415367456 140555794593493 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27721728 140732112437999 140732112438426 140732112438426 140732112441295 0
[pid=7046/tid=7054] ppid=7043 vsize=15021092 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7046/task/7054/stat : 7054 (java) S 7043 7043 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405132455 15381598208 32640 33554432000 4194304 4196468 140732112435136 140554146932336 140555794593493 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27721728 140732112437999 140732112438426 140732112438426 140732112441295 0
[pid=7046/tid=7055] ppid=7043 vsize=15021092 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7046/task/7055/stat : 7055 (java) S 7043 7043 5150 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405132457 15381598208 32640 33554432000 4194304 4196468 140732112435136 140553772423760 140555794601883 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27721728 140732112437999 140732112438426 140732112438426 140732112441295 0
[pid=7046/tid=7056] ppid=7043 vsize=15021092 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/7046/task/7056/stat : 7056 (java) S 7043 7043 5150 0 -1 1077944384 598 0 0 0 9 0 0 0 20 0 15 0 405132457 15381598208 32640 33554432000 4194304 4196468 140732112435136 140555133192304 140555794594434 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27721728 140732112437999 140732112438426 140732112438426 140732112441295 0
[pid=7046/tid=7057] ppid=7043 vsize=15021092 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/7046/task/7057/stat : 7057 (java) S 7043 7043 5150 0 -1 1077944384 408 0 0 0 8 0 0 0 20 0 15 0 405132457 15381598208 32640 33554432000 4194304 4196468 140732112435136 140555132139504 140555794594434 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27721728 140732112437999 140732112438426 140732112438426 140732112441295 0
[pid=7046/tid=7058] ppid=7043 vsize=15021092 memory=0 CPUtime=0.14 cores=1,3,5,7
/proc/7046/task/7058/stat : 7058 (java) R 7043 7043 5150 0 -1 4202560 544 0 0 0 14 0 0 0 20 0 15 0 405132457 15381598208 32640 33554432000 4194304 4196468 140732112435136 140555131087216 140555794595222 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27721728 140732112437999 140732112438426 140732112438426 140732112441295 0
[pid=7046/tid=7059] ppid=7043 vsize=15021092 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7046/task/7059/stat : 7059 (java) S 7043 7043 5150 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405132458 15381598208 32640 33554432000 4194304 4196468 140732112435136 140553274517984 140555794593493 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27721728 140732112437999 140732112438426 140732112438426 140732112441295 0
[pid=7046/tid=7060] ppid=7043 vsize=15021092 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7046/task/7060/stat : 7060 (java) S 7043 7043 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405132458 15381598208 32640 33554432000 4194304 4196468 140732112435136 140555130035120 140555794594434 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27721728 140732112437999 140732112438426 140732112438426 140732112441295 0
Current children cumulated CPU time: 1.01 s
Current children cumulated vsize: 15134220 KiB
Current children cumulated memory: 131956 KiB
[startup+1.50082 s]
/proc/loadavg: 4.80 4.75 4.02 6/237 7060
/proc/meminfo: memFree=28360308/32770624 swapFree=67004752/67108860
[pid=7043] ppid=7040 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/7043/stat : 7043 (scop.sh) S 7040 7043 5150 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405132451 115843072 349 33554432000 4194304 5098028 140721926868736 140721926865992 139932207678076 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 21237760 140721926873896 140721926874224 140721926874224 140721926877133 0
/proc/7043/statm: 28282 349 296 221 0 87 0
################
# More data... #
################
[pid=7111/tid=7125] ppid=7043 vsize=8068440 memory=20476 CPUtime=0.01 cores=1,3,5,7
/proc/7111/task/7125/stat : 7125 (java) S 7043 7043 5150 0 -1 1077944384 4 0 0 0 1 0 0 0 20 0 19 0 405187830 8262082560 29949 33554432000 4194304 4196468 140735113504688 140262077578032 140262837906050 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20885504 140735113511932 140735113512090 140735113512090 140735113514959 0
[pid=7111/tid=7127] ppid=7043 vsize=8068440 memory=2116 CPUtime=0 cores=1,3,5,7
/proc/7111/task/7127/stat : 7127 (java) S 7043 7043 5150 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 405187901 8262082560 29949 33554432000 4194304 4196468 140735113504688 140262626285120 140262837919513 0 4 2 25189581 18446744071579417331 0 0 -1 1 0 0 0 0 0 6293624 6294260 20885504 140735113511932 140735113512090 140735113512090 140735113514959 0
[pid=7111/tid=7129] ppid=7043 vsize=8068440 memory=12028 CPUtime=0 cores=1,3,5,7
/proc/7111/task/7129/stat : 7129 (java) S 7043 7043 5150 0 -1 4202560 30 0 0 0 0 0 0 0 20 0 19 0 405187901 8262082560 29949 33554432000 4194304 4196468 140735113504688 140260008767664 140262837916829 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 20885504 140735113511932 140735113512090 140735113512090 140735113514959 0
[pid=7111/tid=7130] ppid=7043 vsize=8068440 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7111/task/7130/stat : 7130 (java) S 7043 7043 5150 0 -1 4202560 23 0 0 0 0 0 0 0 20 0 19 0 405187901 8262082560 29949 33554432000 4194304 4196468 140735113504688 140260142988592 140262837916829 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 20885504 140735113511932 140735113512090 140735113512090 140735113514959 0
[pid=7111/tid=7131] ppid=7043 vsize=8068440 memory=279800342622928 CPUtime=0 cores=1,3,5,7
/proc/7111/task/7131/stat : 7131 (java) S 7043 7043 5150 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 405187903 8262082560 29949 33554432000 4194304 4196468 140735113504688 140259740343344 140262837905109 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20885504 140735113511932 140735113512090 140735113512090 140735113514959 0
Current children cumulated CPU time: 665.53 s
Current children cumulated vsize: 9735140 KiB
Current children cumulated memory: 1553008 KiB
[startup+593.601 s]
/proc/loadavg: 2.57 2.64 3.16 3/239 7133
/proc/meminfo: memFree=26364800/32770624 swapFree=67004752/67108860
[pid=7043] ppid=7040 vsize=113128 memory=1476 CPUtime=626.87 cores=1,3,5,7
/proc/7043/stat : 7043 (scop.sh) S 7040 7043 5150 0 -1 4202496 582 164537 0 0 0 0 61770 917 20 0 1 0 405132451 115843072 369 33554432000 4194304 5098028 140721926868736 140721926865480 139932207678076 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 21237760 140721926873896 140721926874224 140721926874224 140721926877133 0
/proc/7043/statm: 28282 369 311 221 0 87 0
[pid=7111] ppid=7043 vsize=8068440 memory=119796 CPUtime=1.39 cores=1,3,5,7
/proc/7111/stat : 7111 (java) S 7043 7043 5150 0 -1 1077944320 19959 0 0 0 130 9 0 0 20 0 19 0 405187823 8262082560 29949 33554432000 4194304 4196468 140735113504688 140735113487232 140262837894903 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 20885504 140735113511932 140735113512090 140735113512090 140735113514959 0
/proc/7111/statm: 2017110 29949 3196 1 0 1978454 0
[pid=7126] ppid=7111 vsize=1553572 memory=1431736 CPUtime=38.86 cores=1,3,5,7
/proc/7126/stat : 7126 (glueminisat-sim) R 7111 7043 5150 0 -1 4202496 914820 0 0 0 3786 100 0 0 20 0 1 0 405187900 1590857728 357934 33554432000 4194304 4452875 140731046551936 140731046547032 4372354 0 4 0 8388610 0 0 0 17 3 0 0 22 0 0 6552096 6554264 19992576 140731046560608 140731046560807 140731046560807 140731046563757 0
/proc/7126/statm: 388393 357934 373 64 0 384597 0
[pid=7111/tid=7112] ppid=7043 vsize=8068440 memory=1431736 CPUtime=0.79 cores=1,3,5,7
/proc/7111/task/7112/stat : 7112 (java) S 7043 7043 5150 0 -1 1077944384 16360 0 0 0 72 7 0 0 20 0 19 0 405187824 8262082560 29949 33554432000 4194304 4196468 140735113504688 140262809735072 140262837905109 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20885504 140735113511932 140735113512090 140735113512090 140735113514959 0
[pid=7111/tid=7113] ppid=7043 vsize=8068440 memory=119796 CPUtime=0 cores=1,3,5,7
/proc/7111/task/7113/stat : 7113 (java) S 7043 7043 5150 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405187825 8262082560 29949 33554432000 4194304 4196468 140735113504688 140262842136848 140262837905109 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20885504 140735113511932 140735113512090 140735113512090 140735113514959 0
[pid=7111/tid=7114] ppid=7043 vsize=8068440 memory=1476 CPUtime=0 cores=1,3,5,7
/proc/7111/task/7114/stat : 7114 (java) S 7043 7043 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405187825 8262082560 29949 33554432000 4194304 4196468 140735113504688 140262642305424 140262837905109 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20885504 140735113511932 140735113512090 140735113512090 140735113514959 0
[pid=7111/tid=7115] ppid=7043 vsize=8068440 memory=119796 CPUtime=0 cores=1,3,5,7
/proc/7111/task/7115/stat : 7115 (java) S 7043 7043 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405187825 8262082560 29949 33554432000 4194304 4196468 140735113504688 140262641252880 140262837905109 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20885504 140735113511932 140735113512090 140735113512090 140735113514959 0
[pid=7111/tid=7116] ppid=7043 vsize=8068440 memory=-5059952977386882957 CPUtime=0 cores=1,3,5,7
/proc/7111/task/7116/stat : 7116 (java) S 7043 7043 5150 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405187825 8262082560 29949 33554432000 4194304 4196468 140735113504688 140262640200336 140262837905109 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20885504 140735113511932 140735113512090 140735113512090 140735113514959 0
[pid=7111/tid=7117] ppid=7043 vsize=8068440 memory=119796 CPUtime=0 cores=1,3,5,7
/proc/7111/task/7117/stat : 7117 (java) S 7043 7043 5150 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 405187826 8262082560 29949 33554432000 4194304 4196468 140735113504688 140262081788400 140262837906050 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20885504 140735113511932 140735113512090 140735113512090 140735113514959 0
[pid=7111/tid=7118] ppid=7043 vsize=8068440 memory=1431736 CPUtime=0 cores=1,3,5,7
/proc/7111/task/7118/stat : 7118 (java) S 7043 7043 5150 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 405187827 8262082560 29949 33554432000 4194304 4196468 140735113504688 140261686502816 140262837905109 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20885504 140735113511932 140735113512090 140735113512090 140735113514959 0
[pid=7111/tid=7119] ppid=7043 vsize=8068440 memory=-5059952977386882957 CPUtime=0 cores=1,3,5,7
/proc/7111/task/7119/stat : 7119 (java) S 7043 7043 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405187827 8262082560 29949 33554432000 4194304 4196468 140735113504688 140261418067440 140262837905109 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20885504 140735113511932 140735113512090 140735113512090 140735113514959 0
[pid=7111/tid=7120] ppid=7043 vsize=8068440 memory=119796 CPUtime=0 cores=1,3,5,7
/proc/7111/task/7120/stat : 7120 (java) S 7043 7043 5150 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405187830 8262082560 29949 33554432000 4194304 4196468 140735113504688 140261043559120 140262837913499 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20885504 140735113511932 140735113512090 140735113512090 140735113514959 0
[pid=7111/tid=7121] ppid=7043 vsize=8068440 memory=1431736 CPUtime=0.17 cores=1,3,5,7
/proc/7111/task/7121/stat : 7121 (java) S 7043 7043 5150 0 -1 1077944384 1050 0 0 0 17 0 0 0 20 0 19 0 405187830 8262082560 29949 33554432000 4194304 4196468 140735113504688 140262080735216 140262837906050 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20885504 140735113511932 140735113512090 140735113512090 140735113514959 0
[pid=7111/tid=7122] ppid=7043 vsize=8068440 memory=1540 CPUtime=0.14 cores=1,3,5,7
/proc/7111/task/7122/stat : 7122 (java) S 7043 7043 5150 0 -1 1077944384 347 0 0 0 14 0 0 0 20 0 19 0 405187830 8262082560 29949 33554432000 4194304 4196468 140735113504688 140262079682672 140262837906050 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20885504 140735113511932 140735113512090 140735113512090 140735113514959 0
[pid=7111/tid=7123] ppid=7043 vsize=8068440 memory=752 CPUtime=0.23 cores=1,3,5,7
/proc/7111/task/7123/stat : 7123 (java) S 7043 7043 5150 0 -1 1077944384 784 0 0 0 23 0 0 0 20 0 19 0 405187830 8262082560 29949 33554432000 4194304 4196468 140735113504688 140262078630128 140262837906050 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20885504 140735113511932 140735113512090 140735113512090 140735113514959 0
[pid=7111/tid=7124] ppid=7043 vsize=8068440 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/7111/task/7124/stat : 7124 (java) S 7043 7043 5150 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405187830 8262082560 29949 33554432000 4194304 4196468 140735113504688 140260545653344 140262837905109 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20885504 140735113511932 140735113512090 140735113512090 140735113514959 0
[pid=7111/tid=7125] ppid=7043 vsize=8068440 memory=9584 CPUtime=0.01 cores=1,3,5,7
/proc/7111/task/7125/stat : 7125 (java) S 7043 7043 5150 0 -1 1077944384 4 0 0 0 1 0 0 0 20 0 19 0 405187830 8262082560 29949 33554432000 4194304 4196468 140735113504688 140262077578032 140262837906050 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20885504 140735113511932 140735113512090 140735113512090 140735113514959 0
[pid=7111/tid=7127] ppid=7043 vsize=8068440 memory=4140 CPUtime=0 cores=1,3,5,7
/proc/7111/task/7127/stat : 7127 (java) S 7043 7043 5150 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 405187901 8262082560 29949 33554432000 4194304 4196468 140735113504688 140262626285120 140262837919513 0 4 2 25189581 18446744071579417331 0 0 -1 1 0 0 0 0 0 6293624 6294260 20885504 140735113511932 140735113512090 140735113512090 140735113514959 0
[pid=7111/tid=7129] ppid=7043 vsize=8068440 memory=2832 CPUtime=0 cores=1,3,5,7
/proc/7111/task/7129/stat : 7129 (java) S 7043 7043 5150 0 -1 4202560 30 0 0 0 0 0 0 0 20 0 19 0 405187901 8262082560 29949 33554432000 4194304 4196468 140735113504688 140260008767664 140262837916829 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 20885504 140735113511932 140735113512090 140735113512090 140735113514959 0
[pid=7111/tid=7130] ppid=7043 vsize=8068440 memory=1540 CPUtime=0 cores=1,3,5,7
/proc/7111/task/7130/stat : 7130 (java) S 7043 7043 5150 0 -1 4202560 23 0 0 0 0 0 0 0 20 0 19 0 405187901 8262082560 29949 33554432000 4194304 4196468 140735113504688 140260142988592 140262837916829 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 20885504 140735113511932 140735113512090 140735113512090 140735113514959 0
[pid=7111/tid=7131] ppid=7043 vsize=8068440 memory=1764 CPUtime=0 cores=1,3,5,7
/proc/7111/task/7131/stat : 7131 (java) S 7043 7043 5150 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 405187903 8262082560 29949 33554432000 4194304 4196468 140735113504688 140259740343344 140262837905109 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20885504 140735113511932 140735113512090 140735113512090 140735113514959 0
Current children cumulated CPU time: 667.12 s
Current children cumulated vsize: 9735140 KiB
Current children cumulated memory: 1553008 KiB
[startup+594.409 s]
/proc/loadavg: 2.57 2.64 3.16 3/239 7133
/proc/meminfo: memFree=26364800/32770624 swapFree=67004752/67108860
[pid=7043] ppid=7040 vsize=113128 memory=1476 CPUtime=626.87 cores=1,3,5,7
/proc/7043/stat : 7043 (scop.sh) S 7040 7043 5150 0 -1 4202496 582 164537 0 0 0 0 61770 917 20 0 1 0 405132451 115843072 369 33554432000 4194304 5098028 140721926868736 140721926865480 139932207678076 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 21237760 140721926873896 140721926874224 140721926874224 140721926877133 0
/proc/7043/statm: 28282 369 311 221 0 87 0
[pid=7111] ppid=7043 vsize=8068440 memory=143164 CPUtime=1.57 cores=1,3,5,7
/proc/7111/stat : 7111 (java) S 7043 7043 5150 0 -1 1077944320 22239 0 0 0 147 10 0 0 20 0 19 0 405187823 8262082560 35791 33554432000 4194304 4196468 140735113504688 140735113487232 140262837894903 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 20885504 140735113511932 140735113512090 140735113512090 140735113514959 0
/proc/7111/statm: 2017110 35791 3224 1 0 1978454 0
[pid=7111/tid=7112] ppid=7043 vsize=8068440 memory=2004 CPUtime=0.79 cores=1,3,5,7
/proc/7111/task/7112/stat : 7112 (java) S 7043 7043 5150 0 -1 1077944384 16360 0 0 0 72 7 0 0 20 0 19 0 405187824 8262082560 35791 33554432000 4194304 4196468 140735113504688 140262809735072 140262837905109 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20885504 140735113511932 140735113512090 140735113512090 140735113514959 0
[pid=7111/tid=7113] ppid=7043 vsize=8068440 memory=1276 CPUtime=0 cores=1,3,5,7
/proc/7111/task/7113/stat : 7113 (java) S 7043 7043 5150 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405187825 8262082560 35791 33554432000 4194304 4196468 140735113504688 140262842136848 140262837905109 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20885504 140735113511932 140735113512090 140735113512090 140735113514959 0
[pid=7111/tid=7114] ppid=7043 vsize=8068440 memory=1476 CPUtime=0 cores=1,3,5,7
/proc/7111/task/7114/stat : 7114 (java) S 7043 7043 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405187825 8262082560 35791 33554432000 4194304 4196468 140735113504688 140262642305424 140262837905109 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20885504 140735113511932 140735113512090 140735113512090 140735113514959 0
[pid=7111/tid=7115] ppid=7043 vsize=8068440 memory=119796 CPUtime=0 cores=1,3,5,7
/proc/7111/task/7115/stat : 7115 (java) S 7043 7043 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405187825 8262082560 35791 33554432000 4194304 4196468 140735113504688 140262641252880 140262837905109 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20885504 140735113511932 140735113512090 140735113512090 140735113514959 0
[pid=7111/tid=7116] ppid=7043 vsize=8068440 memory=1431736 CPUtime=0 cores=1,3,5,7
/proc/7111/task/7116/stat : 7116 (java) S 7043 7043 5150 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405187825 8262082560 35791 33554432000 4194304 4196468 140735113504688 140262640200336 140262837905109 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20885504 140735113511932 140735113512090 140735113512090 140735113514959 0
[pid=7111/tid=7117] ppid=7043 vsize=8068440 memory=924 CPUtime=0 cores=1,3,5,7
/proc/7111/task/7117/stat : 7117 (java) S 7043 7043 5150 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 405187826 8262082560 35791 33554432000 4194304 4196468 140735113504688 140262081788400 140262837906050 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20885504 140735113511932 140735113512090 140735113512090 140735113514959 0
[pid=7111/tid=7118] ppid=7043 vsize=8068440 memory=3848 CPUtime=0 cores=1,3,5,7
/proc/7111/task/7118/stat : 7118 (java) S 7043 7043 5150 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 405187827 8262082560 35791 33554432000 4194304 4196468 140735113504688 140261686502816 140262837905109 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20885504 140735113511932 140735113512090 140735113512090 140735113514959 0
[pid=7111/tid=7119] ppid=7043 vsize=8068440 memory=3620 CPUtime=0 cores=1,3,5,7
/proc/7111/task/7119/stat : 7119 (java) S 7043 7043 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405187827 8262082560 35791 33554432000 4194304 4196468 140735113504688 140261418067440 140262837905109 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20885504 140735113511932 140735113512090 140735113512090 140735113514959 0
[pid=7111/tid=7120] ppid=7043 vsize=8068440 memory=37296 CPUtime=0 cores=1,3,5,7
/proc/7111/task/7120/stat : 7120 (java) S 7043 7043 5150 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405187830 8262082560 35791 33554432000 4194304 4196468 140735113504688 140261043559120 140262837913499 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20885504 140735113511932 140735113512090 140735113512090 140735113514959 0
[pid=7111/tid=7121] ppid=7043 vsize=8068440 memory=984 CPUtime=0.21 cores=1,3,5,7
/proc/7111/task/7121/stat : 7121 (java) S 7043 7043 5150 0 -1 1077944384 1131 0 0 0 21 0 0 0 20 0 19 0 405187830 8262082560 35791 33554432000 4194304 4196468 140735113504688 140262080735216 140262837906050 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20885504 140735113511932 140735113512090 140735113512090 140735113514959 0
[pid=7111/tid=7122] ppid=7043 vsize=8068440 memory=2004 CPUtime=0.19 cores=1,3,5,7
/proc/7111/task/7122/stat : 7122 (java) S 7043 7043 5150 0 -1 1077944384 550 0 0 0 19 0 0 0 20 0 19 0 405187830 8262082560 35791 33554432000 4194304 4196468 140735113504688 140262079682672 140262837906050 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20885504 140735113511932 140735113512090 140735113512090 140735113514959 0
[pid=7111/tid=7123] ppid=7043 vsize=8068440 memory=1276 CPUtime=0.27 cores=1,3,5,7
/proc/7111/task/7123/stat : 7123 (java) S 7043 7043 5150 0 -1 1077944384 1086 0 0 0 27 0 0 0 20 0 19 0 405187830 8262082560 35791 33554432000 4194304 4196468 140735113504688 140262078630128 140262837906050 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20885504 140735113511932 140735113512090 140735113512090 140735113514959 0
[pid=7111/tid=7124] ppid=7043 vsize=8068440 memory=1060 CPUtime=0 cores=1,3,5,7
/proc/7111/task/7124/stat : 7124 (java) S 7043 7043 5150 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405187830 8262082560 35791 33554432000 4194304 4196468 140735113504688 140260545653344 140262837905109 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20885504 140735113511932 140735113512090 140735113512090 140735113514959 0
[pid=7111/tid=7125] ppid=7043 vsize=8068440 memory=752 CPUtime=0.01 cores=1,3,5,7
/proc/7111/task/7125/stat : 7125 (java) S 7043 7043 5150 0 -1 1077944384 4 0 0 0 1 0 0 0 20 0 19 0 405187830 8262082560 35791 33554432000 4194304 4196468 140735113504688 140262077578032 140262837906050 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20885504 140735113511932 140735113512090 140735113512090 140735113514959 0
[pid=7111/tid=7127] ppid=7043 vsize=8068440 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/7111/task/7127/stat : 7127 (java) S 7043 7043 5150 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 405187901 8262082560 35791 33554432000 4194304 4196468 140735113504688 140262626285120 140262837919513 0 4 2 25189581 18446744071579417331 0 0 -1 1 0 0 0 0 0 6293624 6294260 20885504 140735113511932 140735113512090 140735113512090 140735113514959 0
[pid=7111/tid=7129] ppid=7043 vsize=8068440 memory=9584 CPUtime=0.06 cores=1,3,5,7
/proc/7111/task/7129/stat : 7129 (java) R 7043 7043 5150 0 -1 4202560 1724 0 0 0 5 1 0 0 20 0 19 0 405187901 8262082560 35791 33554432000 4194304 4196468 140735113504688 140260008774008 140262310708167 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20885504 140735113511932 140735113512090 140735113512090 140735113514959 0
[pid=7111/tid=7130] ppid=7043 vsize=8068440 memory=4140 CPUtime=0 cores=1,3,5,7
/proc/7111/task/7130/stat : 7130 (java) S 7043 7043 5150 0 -1 4202560 23 0 0 0 0 0 0 0 20 0 19 0 405187901 8262082560 35791 33554432000 4194304 4196468 140735113504688 140260142988592 140262837916829 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 20885504 140735113511932 140735113512090 140735113512090 140735113514959 0
[pid=7111/tid=7131] ppid=7043 vsize=8068440 memory=2832 CPUtime=0 cores=1,3,5,7
/proc/7111/task/7131/stat : 7131 (java) S 7043 7043 5150 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 405187903 8262082560 35791 33554432000 4194304 4196468 140735113504688 140259740343344 140262837905109 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20885504 140735113511932 140735113512090 140735113512090 140735113514959 0
Current children cumulated CPU time: 628.44 s
Current children cumulated vsize: 8181568 KiB
Current children cumulated memory: 144640 KiB
[startup+594.802 s]
/proc/loadavg: 2.57 2.64 3.16 3/239 7133
/proc/meminfo: memFree=26364800/32770624 swapFree=67004752/67108860
[pid=7043] ppid=7040 vsize=113128 memory=1476 CPUtime=626.87 cores=1,3,5,7
/proc/7043/stat : 7043 (scop.sh) S 7040 7043 5150 0 -1 4202496 582 164537 0 0 0 0 61770 917 20 0 1 0 405132451 115843072 369 33554432000 4194304 5098028 140721926868736 140721926865480 139932207678076 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 21237760 140721926873896 140721926874224 140721926874224 140721926877133 0
/proc/7043/statm: 28282 369 311 221 0 87 0
[pid=7111] ppid=7043 vsize=7937364 memory=207288 CPUtime=42.16 cores=1,3,5,7
/proc/7111/stat : 7111 (java) S 7043 7043 5150 0 -1 1077944320 25000 917860 0 0 228 18 3863 107 20 0 17 0 405187823 8127860736 51822 33554432000 4194304 4196468 140735113504688 140735113487232 140262837894903 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 20885504 140735113511932 140735113512090 140735113512090 140735113514959 0
/proc/7111/statm: 1984341 51822 3236 1 0 1945685 0
[pid=7111/tid=7112] ppid=7043 vsize=7937364 memory=12028 CPUtime=40.76 cores=1,3,5,7
/proc/7111/task/7112/stat : 7112 (java) R 7043 7043 5150 0 -1 4202560 16730 917860 0 0 93 13 3863 107 20 0 17 0 405187824 8127860736 51822 33554432000 4194304 4196468 140735113504688 140262809721536 140262830580535 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20885504 140735113511932 140735113512090 140735113512090 140735113514959 0
[pid=7111/tid=7113] ppid=7043 vsize=7937364 memory=496 CPUtime=39.7 cores=1,3,5,7
/proc/7111/task/7113/stat : 7113 (java) S 7043 7043 5150 0 -1 1077944384 2 917860 0 0 0 0 3863 107 20 0 17 0 405187825 8127860736 51822 33554432000 4194304 4196468 140735113504688 140262842136848 140262837905109 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20885504 140735113511932 140735113512090 140735113512090 140735113514959 0
[pid=7111/tid=7114] ppid=7043 vsize=7937364 memory=8112282956445269571 CPUtime=39.7 cores=1,3,5,7
/proc/7111/task/7114/stat : 7114 (java) S 7043 7043 5150 0 -1 1077944384 1 917860 0 0 0 0 3863 107 20 0 17 0 405187825 8127860736 51822 33554432000 4194304 4196468 140735113504688 140262642305424 140262837905109 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20885504 140735113511932 140735113512090 140735113512090 140735113514959 0
[pid=7111/tid=7115] ppid=7043 vsize=7937364 memory=119796 CPUtime=39.7 cores=1,3,5,7
/proc/7111/task/7115/stat : 7115 (java) S 7043 7043 5150 0 -1 1077944384 1 917860 0 0 0 0 3863 107 20 0 17 0 405187825 8127860736 51822 33554432000 4194304 4196468 140735113504688 140262641252880 140262837905109 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20885504 140735113511932 140735113512090 140735113512090 140735113514959 0
[pid=7111/tid=7116] ppid=7043 vsize=7937364 memory=1431736 CPUtime=39.7 cores=1,3,5,7
/proc/7111/task/7116/stat : 7116 (java) S 7043 7043 5150 0 -1 1077944384 2 917860 0 0 0 0 3863 107 20 0 17 0 405187825 8127860736 51822 33554432000 4194304 4196468 140735113504688 140262640200336 140262837905109 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20885504 140735113511932 140735113512090 140735113512090 140735113514959 0
[pid=7111/tid=7117] ppid=7043 vsize=7937364 memory=4140 CPUtime=39.7 cores=1,3,5,7
/proc/7111/task/7117/stat : 7117 (java) S 7043 7043 5150 0 -1 1077944384 5 917860 0 0 0 0 3863 107 20 0 17 0 405187826 8127860736 51822 33554432000 4194304 4196468 140735113504688 140262081788400 140262837906050 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20885504 140735113511932 140735113512090 140735113512090 140735113514959 0
[pid=7111/tid=7118] ppid=7043 vsize=7937364 memory=2832 CPUtime=39.7 cores=1,3,5,7
/proc/7111/task/7118/stat : 7118 (java) S 7043 7043 5150 0 -1 1077944384 13 917860 0 0 0 0 3863 107 20 0 17 0 405187827 8127860736 51822 33554432000 4194304 4196468 140735113504688 140261686502816 140262837905109 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20885504 140735113511932 140735113512090 140735113512090 140735113514959 0
[pid=7111/tid=7119] ppid=7043 vsize=7937364 memory=1540 CPUtime=39.7 cores=1,3,5,7
/proc/7111/task/7119/stat : 7119 (java) S 7043 7043 5150 0 -1 1077944384 1 917860 0 0 0 0 3863 107 20 0 17 0 405187827 8127860736 51822 33554432000 4194304 4196468 140735113504688 140261418067440 140262837905109 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20885504 140735113511932 140735113512090 140735113512090 140735113514959 0
[pid=7111/tid=7120] ppid=7043 vsize=7937364 memory=1720 CPUtime=39.7 cores=1,3,5,7
/proc/7111/task/7120/stat : 7120 (java) S 7043 7043 5150 0 -1 1077944384 3 917860 0 0 0 0 3863 107 20 0 17 0 405187830 8127860736 51822 33554432000 4194304 4196468 140735113504688 140261043559120 140262837913499 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20885504 140735113511932 140735113512090 140735113512090 140735113514959 0
[pid=7111/tid=7121] ppid=7043 vsize=7937364 memory=5956 CPUtime=40.12 cores=1,3,5,7
/proc/7111/task/7121/stat : 7121 (java) R 7043 7043 5150 0 -1 4202560 2216 917860 0 0 42 0 3863 107 20 0 17 0 405187830 8127860736 51822 33554432000 4194304 4196468 140735113504688 140262080720680 140262822813928 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20885504 140735113511932 140735113512090 140735113512090 140735113514959 0
[pid=7111/tid=7122] ppid=7043 vsize=7937364 memory=772 CPUtime=40.03 cores=1,3,5,7
/proc/7111/task/7122/stat : 7122 (java) S 7043 7043 5150 0 -1 1077944384 937 917860 0 0 33 0 3863 107 20 0 17 0 405187830 8127860736 51822 33554432000 4194304 4196468 140735113504688 140262079682672 140262837906050 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20885504 140735113511932 140735113512090 140735113512090 140735113514959 0
[pid=7111/tid=7123] ppid=7043 vsize=7937364 memory=952 CPUtime=40.1 cores=1,3,5,7
/proc/7111/task/7123/stat : 7123 (java) S 7043 7043 5150 0 -1 1077944384 1457 917860 0 0 40 0 3863 107 20 0 17 0 405187830 8127860736 51822 33554432000 4194304 4196468 140735113504688 140262078630128 140262837906050 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20885504 140735113511932 140735113512090 140735113512090 140735113514959 0
[pid=7111/tid=7124] ppid=7043 vsize=7937364 memory=14008 CPUtime=39.7 cores=1,3,5,7
/proc/7111/task/7124/stat : 7124 (java) S 7043 7043 5150 0 -1 1077944384 3 917860 0 0 0 0 3863 107 20 0 17 0 405187830 8127860736 51822 33554432000 4194304 4196468 140735113504688 140260545653344 140262837905109 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20885504 140735113511932 140735113512090 140735113512090 140735113514959 0
[pid=7111/tid=7125] ppid=7043 vsize=7937364 memory=20476 CPUtime=39.71 cores=1,3,5,7
/proc/7111/task/7125/stat : 7125 (java) S 7043 7043 5150 0 -1 1077944384 4 917860 0 0 1 0 3863 107 20 0 17 0 405187830 8127860736 51822 33554432000 4194304 4196468 140735113504688 140262077578032 140262837906050 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20885504 140735113511932 140735113512090 140735113512090 140735113514959 0
[pid=7111/tid=7127] ppid=7043 vsize=7937364 memory=2116 CPUtime=39.7 cores=1,3,5,7
/proc/7111/task/7127/stat : 7127 (java) S 7043 7043 5150 0 -1 1077944384 24 917860 0 0 0 0 3863 107 20 0 17 0 405187901 8127860736 51822 33554432000 4194304 4196468 140735113504688 140262626284304 140262837906050 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20885504 140735113511932 140735113512090 140735113512090 140735113514959 0
[pid=7111/tid=7131] ppid=7043 vsize=7937364 memory=12028 CPUtime=39.7 cores=1,3,5,7
/proc/7111/task/7131/stat : 7131 (java) S 7043 7043 5150 0 -1 1077944384 11 917860 0 0 0 0 3863 107 20 0 17 0 405187903 8127860736 51822 33554432000 4194304 4196468 140735113504688 140259740345136 140262837906050 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20885504 140735113511932 140735113512090 140735113512090 140735113514959 0
Current children cumulated CPU time: 669.03 s
Current children cumulated vsize: 8050492 KiB
Current children cumulated memory: 208764 KiB
Child status: 0
Real time (s): 594.827
CPU time (s): 669.085
CPU user time (s): 658.629
CPU system time (s): 10.4569
CPU usage (%): 112.484
Max. virtual memory (cumulated for all children) (KiB): 15142500
Max. memory (cumulated for all children) (KiB): 10767892
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 658.629
system time used= 10.4569
maximum resident set size= 10766496
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1108065
page faults= 0
swaps= 0
block input operations= 32
block output operations= 1106512
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 24214
involuntary context switches= 1497
# summary of solver processes directly reported to runsolver:
# pid: 7043
# total CPU time (s): 669.085
# total CPU user time (s): 658.629
# total CPU system time (s): 10.4569
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.71044 second user time and 6.00004 second system time
The end