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-10837-serial-file.bin HOME/instance-4387626-1568286307.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:04:26 CEST 2019
0.67/0.55 c PID: 10840
0.67/0.55 c IP: 172.20.3.147
0.67/0.55 c HOST: node147.alineos.net
0.67/0.56 c (0,0) Parsing Begin
6.70/4.76 c (4,4) Parsing End
6.70/4.77 c (4,4) CSP: 12 int (0 aux), 0 bool (0 aux), 200 ctr, max domain size 12
6.70/4.77 c (4,4) Heap : 1316 MiB used (max 10795 MiB), NonHeap : 20 MiB used (max 0 MiB)
6.70/4.77 c (4,4) Constraint Name Generate Begin
6.70/4.78 c (4,4) Ctr:HOME/instance-4387626-1568286307.xml,ExtensionSupport:Var
6.70/4.78 c (4,4) Constraint Name Generate End
6.70/4.78 c (4,4) Heap : 1316 MiB used (max 10795 MiB), NonHeap : 20 MiB used (max 0 MiB)
6.70/4.78 c (4,4) CSP to CSPinCNF Begin
69.89/50.33 c (49,47) translated 20 (10%) constraints
122.58/96.00 c (95,91) translated 40 (20%) constraints
170.94/140.72 c (140,134) translated 60 (30%) constraints
218.73/185.26 c (184,178) translated 80 (40%) constraints
266.66/229.87 c (229,221) translated 100 (50%) constraints
314.81/274.48 c (273,265) translated 120 (60%) constraints
362.34/318.88 c (318,308) translated 140 (70%) constraints
410.95/363.56 c (363,351) translated 160 (80%) constraints
458.62/407.97 c (407,395) translated 180 (90%) constraints
507.49/452.80 c (452,438) translated 200 (100%) constraints
509.79/454.97 c (454,440) ===========================================
509.79/455.00 c (454,440) Order
509.79/455.00 c (454,440) ===========================================
525.03/468.30 c (467,453) translated 634338 (10%) constraints
539.63/481.52 c (480,466) translated 1268676 (20%) constraints
554.12/494.66 c (494,479) translated 1903014 (30%) constraints
568.82/507.84 c (507,491) translated 2537351 (40%) constraints
585.27/521.47 c (520,504) translated 3171689 (50%) constraints
599.71/534.59 c (534,517) translated 3806027 (60%) constraints
753.01/582.74 c (582,529) translated 4440364 (70%) constraints
806.00/605.62 c (605,542) translated 5074702 (80%) constraints
903.21/639.70 c (639,555) translated 5709040 (90%) constraints
1004.94/675.05 c (674,568) translated 6343377 (100%) constraints
1004.94/675.05 c (674,568) CSP to CSPinCNF End
1005.17/675.22 c (674,568) CSP: 12 int (0 aux), 436505 bool (436505 aux), 6343377 ctr, max domain size 12
1005.17/675.22 c (674,568) Heap : 8973 MiB used (max 10868 MiB), NonHeap : 26 MiB used (max 0 MiB)
1005.17/675.22 c (674,568) CSPinCNF Propagation Begin
1532.62/831.94 c (831,598) 0 values, 200 unsatisfiable literals, and 0 valid clauses are removed
1532.62/831.94 c (831,598) CSPinCNF Propagation End
1532.73/832.10 c (831,598) CSP: 12 int (0 aux), 436505 bool (436505 aux), 6343377 ctr, max domain size 12
1532.73/832.10 c (831,598) Heap : 8974 MiB used (max 10689 MiB), NonHeap : 26 MiB used (max 0 MiB)
1532.84/832.13 c (831,598) Simplify CSPinCNF Begin
1708.32/885.73 c (885,610) Simplify CSPinCNF End
1708.42/885.89 c (885,611) CSP: 12 int (0 aux), 436505 bool (436505 aux), 6343377 ctr, max domain size 12
1708.42/885.89 c (885,611) Heap : 8590 MiB used (max 10689 MiB), NonHeap : 27 MiB used (max 0 MiB)
1708.42/885.89 c (885,611) Calculate Precise Domain Begin
1708.42/885.89 c (885,611) 0 values are removed by re-calculation
1708.42/885.89 c (885,611) Calculate Precise Domain End
1708.63/886.05 c (885,611) CSP: 12 int (0 aux), 436505 bool (436505 aux), 6343377 ctr, max domain size 12
1708.63/886.05 c (885,611) Heap : 8590 MiB used (max 10689 MiB), NonHeap : 27 MiB used (max 0 MiB)
1708.63/886.05 c (885,611) CSPinCNF to SatSolver Begin
1764.12/905.06 c (904,618) 634338 (10 %) CSP clauses are encoded (0 SAT variables, 634457 SAT clauses)
1772.34/911.71 c (911,624) 1268676 (20 %) CSP clauses are encoded (0 SAT variables, 1268795 SAT clauses)
1781.21/918.53 c (918,630) 1903014 (30 %) CSP clauses are encoded (0 SAT variables, 1903133 SAT clauses)
1790.95/925.57 c (925,636) 2537351 (40 %) CSP clauses are encoded (0 SAT variables, 2537470 SAT clauses)
1804.18/933.47 c (932,642) 3171689 (50 %) CSP clauses are encoded (0 SAT variables, 3171808 SAT clauses)
1818.90/941.74 c (941,648) 3806027 (60 %) CSP clauses are encoded (0 SAT variables, 3806146 SAT clauses)
1837.69/951.02 c (950,654) 4440364 (70 %) CSP clauses are encoded (0 SAT variables, 4440483 SAT clauses)
1854.60/959.81 c (959,661) 5074702 (80 %) CSP clauses are encoded (0 SAT variables, 5074821 SAT clauses)
1898.55/975.48 c (974,667) 5709040 (90 %) CSP clauses are encoded (0 SAT variables, 5709159 SAT clauses)
1907.84/982.36 c (981,673) 6343377 (100 %) CSP clauses are encoded (0 SAT variables, 6343496 SAT clauses)
1907.84/982.36 c (981,673) CSPinCNF to SatSolver End
1907.84/982.36 c (981,673) Heap : 8399 MiB used (max 10116 MiB), NonHeap : 28 MiB used (max 0 MiB)
1907.84/982.36 c (981,673) 436637 bool, 6343497 clause
1907.84/982.36 c (981,673) Export Begin
1907.95/982.44 c (981,673) Export to HOME/scop-10837-serial-file.bin
1907.95/982.44 c (981,673) Export End
1907.95/982.44 c (981,673) Export File Size: 0.00 MB
1907.95/982.44 c (981,673) 4,4,674,831,885,885,981,STOP-AFTER(DIMACS)
1907.95/982.44 c END-Prog: Thu Sep 12 13:20:48 CEST 2019
1907.95/982.49 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-10837-serial-file.bin
1908.09/982.95 c (0,0) Read Serial File Begin
1908.09/982.95 c (0,0) HOME/scop-10837-serial-file.bin
1908.92/983.15 c (0,0) Read Serial File End
1908.92/983.16
1908.92/983.16 Fun-sCOP order+glueminisat-simp-2.2.10-193oa-n-release (2019-06-15)
1908.92/983.16 (Solving Process)
1908.92/983.16
1908.92/983.18 c BEGIN-Prog: Thu Sep 12 13:20:48 CEST 2019
1908.92/983.18 c PID: 10947
1908.92/983.18 c IP: 172.20.3.147
1908.92/983.18 c HOST: node147.alineos.net
1908.92/983.19 c (0,0) SatSolver.solve Begin
1908.92/983.19 c (0,0) HOME/glueminisat-simp-2.2.10-193oa-n-release -model -verb=3 -elim-cl=5000000 -native-oa HOME/instance-4387626-1568286307.xml-scop-10840.cnf
1909.06/983.23 c (0,0) c WARNING: for repeatability, setting FPU to use double precision
1909.06/983.23 c (0,0) c glueminisat-simp-2.2.10-193oa-n
1909.06/983.23 c (0,0) c Command: HOME/glueminisat-simp-2.2.10-193oa-n-release -model -verb=3 -elim-cl=5000000 -native-oa HOME/instance-4387626-1568286307.xml-scop-10840.cnf
1909.06/983.23 c (0,0) c Options:
1909.06/983.23 c (0,0) c CORE
1909.06/983.23 c (0,0) c var_decay = 0.950
1909.06/983.23 c (0,0) c clause_decay = 0.999
1909.06/983.23 c (0,0) c random_var_freq = 0.000
1909.06/983.23 c (0,0) c random_seed = 91648253.000
1909.06/983.23 c (0,0) c luby_restart = 1
1909.06/983.23 c (0,0) c ccmin_mode = 2
1909.06/983.23 c (0,0) c phase_saving = 2
1909.06/983.23 c (0,0) c rnd_pol = 0
1909.06/983.23 c (0,0) c rnd_init_act = 0
1909.06/983.23 c (0,0) c garbage_frac = 0.200
1909.06/983.23 c (0,0) c restart_first = 1000
1909.06/983.23 c (0,0) c restart_inc = 2.000
1909.06/983.23 c (0,0) c MODEL
1909.06/983.23 c (0,0) c partial_model = 0
1909.06/983.23 c (0,0) c PROPAGATION
1909.06/983.23 c (0,0) c bin_propagation = 1
1909.06/983.23 c (0,0) c SIMPLIFICATION
1909.06/983.23 c (0,0) c lrn_min_size = 100
1909.06/983.23 c (0,0) c lazy_simp = 1
1909.06/983.23 c (0,0) c lazy_interval = 10
1909.06/983.23 c (0,0) c lazy_fld_probing = 1
1909.06/983.23 c (0,0) c lazy_pol_probing = 1
1909.06/983.23 c (0,0) c lazy_nec_probing = 1
1909.06/983.23 c (0,0) c lazy_eqv_probing = 1
1909.06/983.23 c (0,0) c lazy_cla_probing = 1
1909.06/983.23 c (0,0) c lazy_lrn_min = 2
1909.06/983.23 c (0,0) c lazy_uw_lit_elim = 1
1909.06/983.23 c (0,0) c lazy_pr_lit_elim = 0
1909.06/983.23 c (0,0) c lazy_bin_add = 3
1909.06/983.23 c (0,0) c probed_lit_chain = 1
1909.06/983.23 c (0,0) c pr_min_lits = 0.00020
1909.06/983.23 c (0,0) c pr_min_starts = 500
1909.06/983.23 c (0,0) c rw_min_lits = 0.010
1909.06/983.23 c (0,0) c rw_min_starts = 500
1909.06/983.23 c (0,0) c rand_attach = 0
1909.06/983.23 c (0,0) c dec_elim = 1
1909.06/983.23 c (0,0) c dec_elim_lim = 25
1909.06/983.23 c (0,0) c dec_elim_len = -1
1909.06/983.23 c (0,0) c amo = 0
1909.06/983.23 c (0,0) c amo_grp = 1
1909.06/983.23 c (0,0) c amo_max_bins = 1000000
1909.06/983.23 c (0,0) c amo_starts = 50
1909.06/983.23 c (0,0) c mace_cmd = mace
1909.06/983.23 c (0,0) c DECISION
1909.06/983.23 c (0,0) c rand_rebuild = 0
1909.06/983.23 c (0,0) c rand_rebuild_confs = 10000
1909.06/983.23 c (0,0) c inc_var_decay = 1
1909.06/983.23 c (0,0) c inc_var_decay_period = 100000
1909.06/983.23 c (0,0) c inc_var_decay_init = 0.600
1909.06/983.23 c (0,0) c var_decay_mode = 0
1909.06/983.23 c (0,0) c var_decay_gain = 0
1909.06/983.23 c (0,0) c sloped_var_decay = 1
1909.06/983.23 c (0,0) c max_var_decay = 0.990
1909.06/983.23 c (0,0) c min_var_decay = 0.950
1909.06/983.23 c (0,0) c min_var_decay_vars = 10000
1909.06/983.23 c (0,0) c max_var_decay_vars = 500
1909.06/983.23 c (0,0) c uip_bumping = 1
1909.06/983.23 c (0,0) c lbd_act_bumping = 1
1909.06/983.23 c (0,0) c rand_tiebreak = 0
1909.06/983.23 c (0,0) c simp_rebuild = 1
1909.06/983.23 c (0,0) c RESTART
1909.06/983.23 c (0,0) c restart_strategy = 2
1909.06/983.23 c (0,0) c restart_blocking = 0
1909.06/983.23 c (0,0) c agility_decay = 0.99990
1909.06/983.23 c (0,0) c lbd_restart_rate = 0.800
1909.06/983.23 c (0,0) c dec_restart_rate = 0.950
1909.06/983.23 c (0,0) c blk_restart_rate = 0.700
1909.06/983.23 c (0,0) c lbd_queue_size = 50
1909.06/983.23 c (0,0) c dec_queue_size = 50
1909.06/983.23 c (0,0) c trl_queue_size = 5000
1909.06/983.23 c (0,0) c blk_restart_weight = 1.000
1909.06/983.23 c (0,0) c inc_rst_rate = 0
1909.06/983.23 c (0,0) c inc_rst_rate_period = 500000
1909.06/983.23 c (0,0) c inc_lbd_rst_rate_init = 0.600
1909.06/983.23 c (0,0) c inc_dec_rst_rate_init = 0.750
1909.06/983.23 c (0,0) c REDUCTION
1909.06/983.23 c (0,0) c closed_lbd = 0
1909.06/983.23 c (0,0) c closed_lbd_rate = 0.500
1909.06/983.23 c (0,0) c rm_simulate = 0
1909.06/983.23 c (0,0) c rdb_eval = 2
1909.06/983.23 c (0,0) c rdb_call = 3
1909.06/983.23 c (0,0) c rdb_ub = 0.500
1909.06/983.23 c (0,0) c core_lbd_cvr = 0.800
1909.06/983.23 c (0,0) c supp_lbd_cvr = 0.990
1909.06/983.23 c (0,0) c core_lbd_lb = 2
1909.06/983.23 c (0,0) c supp_lbd_lb = 2
1909.06/983.23 c (0,0) c core_lbd_prd = 7
1909.06/983.23 c (0,0) c supp_lbd_prd = 1
1909.06/983.23 c (0,0) c othr_lbd_prd = 0
1909.06/983.23 c (0,0) c inc_lrn_limit = 1000
1909.06/983.23 c (0,0) c frozen_lbd = 30
1909.06/983.23 c (0,0) c simp_min_starts = 100
1909.06/983.23 c (0,0) c rm_low_act_learnts = 1
1909.06/983.23 c (0,0) c lv0_reduce_db = 0
1909.06/983.23 c (0,0) c reduce_db_base = 20000
1909.06/983.23 c (0,0) c reduce_db_inc = 1000
1909.06/983.23 c (0,0) c HARD
1909.06/983.23 c (0,0) c inst_check = 200000
1909.06/983.23 c (0,0) c small_block = 1.750
1909.06/983.23 c (0,0) c slow_restart_speed = 400.000
1909.06/983.23 c (0,0) c slow_restart_strategy = 3
1909.06/983.23 c (0,0) c slow_lbd_restart_rate = 0.700
1909.06/983.23 c (0,0) c slow_dec_restart_rate = 1.000
1909.06/983.23 c (0,0) c slow_lbd_queue_size = 50
1909.06/983.23 c (0,0) c slow_var_decay = 0.950
1909.06/983.23 c (0,0) c slow_glue_threshold = 2
1909.06/983.23 c (0,0) c slow_phase_saving = 2
1909.06/983.23 c (0,0) c fast_restart_speed = 125.000
1909.06/983.23 c (0,0) c fast_restart_strategy = 1
1909.06/983.23 c (0,0) c fast_lbd_restart_rate = 0.800
1909.06/983.23 c (0,0) c fast_dec_restart_rate = 0.950
1909.06/983.23 c (0,0) c fast_lbd_queue_size = 50
1909.06/983.23 c (0,0) c fast_var_decay = 1.000
1909.06/983.23 c (0,0) c fast_glue_threshold = 2
1909.06/983.23 c (0,0) c fast_phase_saving = 2
1909.06/983.23 c (0,0) c STATS
1909.06/983.23 c (0,0) c stats_conf_size = 10000
1909.06/983.23 c (0,0) c max_stats_size = 30
1909.06/983.23 c (0,0) c SOLVER
1909.06/983.23 c (0,0) c minisat = 0
1911.53/985.53 c (2,0) c Problem: 436637 variables, 6343497 clauses, parsing 2.14 s
1911.83/985.84 c (2,0) c exclude 24698 (5.7%) variables from decision variables (last cost 25)
1912.43/986.47 c (3,0) c Simplification: 24698 vars, 0 clauses are eliminated using 0.89 s
1912.43/986.47 c (3,0) c
1912.43/986.47 c (3,0) c #Rstrts #Confs #Vars #Clauses #Learnts Lits/C LBD/C DLVs Trail
1912.43/986.47 c (3,0) c
1912.43/986.47 c (3,0) c 3 0 0 411939 6343497 0 -nan -nan -nan -nan%
1915.33/989.31 c (6,0) c 6 1 100 411939 6343497 100 17.8 15.7 173.9 24.1%
1917.62/991.63 c (8,0) c 8 2 220 411940 6343497 220 20.5 14.1 115.7 29.3%
1920.13/994.15 c (11,0) c 10 2 364 411998 6343497 364 48.3 11.0 81.0 36.8%
1921.62/995.60 c (12,0) c 12 2 536 412034 6343497 536 78.7 8.8 63.0 40.0%
1924.15/998.14 c (15,0) c 14 2 743 412067 6343497 744 102.0 7.6 52.1 41.4%
1926.93/1000.92 c (18,0) c 17 2 991 412070 6343497 995 84.0 7.2 46.1 39.4%
1928.73/1002.76 c (19,0) c 19 2 1289 412084 6343497 1293 85.3 6.8 41.6 38.3%
1931.15/1005.11 c (22,0) c 21 2 1647 412094 6343497 1652 79.1 6.5 38.2 36.9%
1936.05/1010.03 c (27,0) c 26 2 2076 412105 6343497 2088 70.2 6.2 35.3 35.0%
1940.65/1014.63 c (31,0) c 31 3 2591 412220 6343497 2605 79.7 6.0 33.5 36.2%
1948.34/1022.36 c (39,0) c 39 3 3210 412222 6343497 3246 66.5 5.6 29.0 32.2%
1956.06/1030.01 c (47,0) c 46 3 3953 412224 6343497 4006 56.4 5.4 25.8 29.0%
1961.25/1035.20 c (52,0) c 51 3 4844 412228 6343497 4928 47.8 5.2 23.1 24.8%
1964.95/1038.91 c (56,0) c 55 3 5913 412228 6343497 6018 40.9 5.0 21.1 21.3%
1973.87/1047.81 c (64,0) c 64 4 7196 412232 6343497 7334 35.3 4.8 19.0 19.0%
1981.87/1055.85 c (72,0) c
1981.87/1055.85 c (72,0) c variables : 297558 (init 436637, after simp 411939, 24398 non-decs, 12 csp)
1981.87/1055.85 c (72,0) c clauses : 6343497 (init 6343497, after simp 6343497)
1981.87/1055.85 c (72,0) c restarts : 4 (1747.20 confs/res, 144~4195 confs, 0 blks, 0 last)
1981.87/1055.85 c (72,0) c conflicts : 8736 (121 /sec, 55.38% dconfs, 0.00% supp, trail 4563.47w x 17.19h, jmp 1.47h)
1981.87/1055.85 c (72,0) c decisions : 12952 (0.6300 vdcy, 179 /sec, 0.00% bin, rs 0.018 s)
1981.87/1055.85 c (72,0) c propagations : 137827757 (1910030 /sec, 10641.43 lits/dec, 0.02% o.a.)
1981.87/1055.85 c (72,0) c conflict literals : 345120 (19.67% deleted; 0.69% by bin min, 0.010 s)
1981.87/1055.85 c (72,0) c len : 30.916 (31.46 for all, max 5277, used 1433)
1981.87/1055.85 c (72,0) c lbd : 4.659 (5.85 (4.71) for all, max 62, used 62, 2.942 stdev, 5.378 blk)
1981.87/1055.85 c (72,0) c amo : 0 (0 max, -nan avg, 0.000 s)
1981.87/1055.85 c (72,0) c simp dbs : 0 (0.000 s)
1981.87/1055.85 c (72,0) c reduce dbs : 0 (core-lbd 2, supp-lbd 2147483647, 0.000 s)
1981.87/1055.85 c (72,0) c learnts : 8902 (0 learnts removed, 0.00%)
1981.87/1055.85 c (72,0) c rewrite dbs : 0 (0/74 vars, 0+0 taut, 0+0 unit, 0.000 s)
1981.87/1055.85 c (72,0) c assigned lits : 0 (0/34 probed, 34 remains)
1981.87/1055.85 c (72,0) c premise updates : 0 (0.00 /lit)
1981.87/1055.85 c (72,0) c probed variables : 34 (0 pr, 34 eq, 0 fld, 0 pol, 0 nec, 0 cla, 0 amo)
1981.87/1055.85 c (72,0) c equiv variables : 74 (14 bin, 0 trn, 1 quat, 1 quin, 4 othr; 0 amo)
1981.87/1055.85 c (72,0) c lazy added bins : 168 (168 prop + 0 conf, 0.004s)
1981.87/1055.85 c (72,0) c unwatched lit elim: 4148 (0.01+0.68%, 1807+2341 of 23896894+345120)
1981.87/1055.85 c (72,0) c classified type : undef
1981.87/1055.85 c (72,0) c progress : 27.819%
1981.87/1055.85 c (72,0) c
1981.87/1055.85 c (72,0) c #Rstrts #Confs #Vars #Clauses #Learnts Lits/C LBD/C DLVs Trail
1981.87/1055.85 c (72,0) c
1981.87/1055.85 c (72,0) c 72 5 8736 297558 6343497 8902 30.9 4.7 17.2 17.1%
1982.47/1056.42 c (73,0) c 73 5 8917 273446 6343497 9080 30.4 4.6 16.9 17.4%
1982.47/1056.42 c (73,0) c
1982.47/1056.42 c (73,0) c
1982.47/1056.42 c (73,0) c variables : 273446 (init 436637, after simp 411939, 24397 non-decs, 12 csp)
1982.47/1056.42 c (73,0) c clauses : 6343497 (init 6343497, after simp 6343497)
1982.47/1056.42 c (73,0) c restarts : 4 (1783.40 confs/res, 144~4195 confs, 0 blks, 0 last)
1982.47/1056.42 c (73,0) c conflicts : 8917 (123 /sec, 55.39% dconfs, 0.00% supp, trail 4530.73w x 16.94h, jmp 1.46h)
1982.47/1056.42 c (73,0) c decisions : 13187 (0.6300 vdcy, 181 /sec, 0.00% bin, rs 0.019 s)
1982.47/1056.42 c (73,0) c propagations : 138868744 (1909435 /sec, 10530.73 lits/dec, 0.03% o.a.)
1982.47/1056.42 c (73,0) c conflict literals : 346704 (19.70% deleted; 0.69% by bin min, 0.010 s)
1982.47/1056.42 c (73,0) c len : 30.437 (30.96 for all, max 5277, used 1433)
1982.47/1056.42 c (73,0) c lbd : 4.615 (5.80 (4.66) for all, max 62, used 62, 2.897 stdev, 5.334 blk)
1982.47/1056.42 c (73,0) c amo : 0 (0 max, -nan avg, 0.000 s)
1982.47/1056.42 c (73,0) c simp dbs : 0 (0.000 s)
1982.47/1056.42 c (73,0) c reduce dbs : 0 (core-lbd 2, supp-lbd 2147483647, 0.000 s)
1982.47/1056.42 c (73,0) c learnts : 9080 (0 learnts removed, 0.00%)
1982.47/1056.42 c (73,0) c rewrite dbs : 0 (0/74 vars, 0+0 taut, 0+0 unit, 0.000 s)
1982.47/1056.42 c (73,0) c assigned lits : 0 (0/43 probed, 43 remains)
1982.47/1056.42 c (73,0) c premise updates : 0 (0.00 /lit)
1982.47/1056.42 c (73,0) c probed variables : 43 (0 pr, 34 eq, 0 fld, 0 pol, 0 nec, 9 cla, 0 amo)
1982.47/1056.42 c (73,0) c equiv variables : 74 (14 bin, 0 trn, 1 quat, 1 quin, 4 othr; 0 amo)
1982.47/1056.42 c (73,0) c lazy added bins : 172 (172 prop + 0 conf, 0.004s)
1982.47/1056.42 c (73,0) c unwatched lit elim: 4330 (0.01+0.68%, 1976+2354 of 23896894+346704)
1982.47/1056.42 c (73,0) c classified type : undef
1982.47/1056.42 c (73,0) c progress : 33.668%
1982.47/1056.42 c (73,0) c
1982.47/1056.42 c (73,0) c [Statistics]
1982.47/1056.42 c (73,0) c learnts len learnts lbd lit blk size eq vars size
1982.47/1056.42 c (73,0) c tot 8916 8916 51749 20
1982.47/1056.42 c (73,0) c avg 30.959 4.662 5.334 4.700
1982.47/1056.42 c (73,0) c 1 8 ( 0.1%) 89 ( 1.0%) 34427 (66.5%) 0 ( 0.0%)
1982.47/1056.42 c (73,0) c 2 41 ( 0.5%) 1526 (17.1%) 6628 (12.8%) 14 (70.0%)
1982.47/1056.42 c (73,0) c 3 103 ( 1.2%) 1815 (20.4%) 3140 ( 6.1%) 0 ( 0.0%)
1982.47/1056.42 c (73,0) c 4 246 ( 2.8%) 1913 (21.5%) 1760 ( 3.4%) 1 ( 5.0%)
1982.47/1056.42 c (73,0) c 5 573 ( 6.4%) 1531 (17.2%) 1105 ( 2.1%) 1 ( 5.0%)
1982.47/1056.42 c (73,0) c 6 722 ( 8.1%) 814 ( 9.1%) 777 ( 1.5%) 1 ( 5.0%)
1982.47/1056.42 c (73,0) c 7 940 (10.5%) 451 ( 5.1%) 551 ( 1.1%) 0 ( 0.0%)
1982.47/1056.42 c (73,0) c 8 1052 (11.8%) 251 ( 2.8%) 386 ( 0.7%) 0 ( 0.0%)
1982.47/1056.42 c (73,0) c 9 749 ( 8.4%) 157 ( 1.8%) 271 ( 0.5%) 0 ( 0.0%)
1982.47/1056.42 c (73,0) c 10 594 ( 6.7%) 70 ( 0.8%) 266 ( 0.5%) 0 ( 0.0%)
1982.47/1056.42 c (73,0) c 11 492 ( 5.5%) 55 ( 0.6%) 202 ( 0.4%) 0 ( 0.0%)
1982.47/1056.42 c (73,0) c 12 391 ( 4.4%) 42 ( 0.5%) 194 ( 0.4%) 0 ( 0.0%)
1982.47/1056.42 c (73,0) c 13 293 ( 3.3%) 41 ( 0.5%) 150 ( 0.3%) 2 (10.0%)
1982.47/1056.42 c (73,0) c 14 287 ( 3.2%) 31 ( 0.3%) 128 ( 0.2%) 0 ( 0.0%)
1982.47/1056.42 c (73,0) c 15 230 ( 2.6%) 20 ( 0.2%) 100 ( 0.2%) 0 ( 0.0%)
1982.47/1056.42 c (73,0) c 16 192 ( 2.2%) 16 ( 0.2%) 97 ( 0.2%) 0 ( 0.0%)
1982.47/1056.42 c (73,0) c 17 154 ( 1.7%) 9 ( 0.1%) 80 ( 0.2%) 0 ( 0.0%)
1982.47/1056.42 c (73,0) c 18 123 ( 1.4%) 5 ( 0.1%) 63 ( 0.1%) 0 ( 0.0%)
1982.47/1056.42 c (73,0) c 19 142 ( 1.6%) 10 ( 0.1%) 47 ( 0.1%) 0 ( 0.0%)
1982.47/1056.42 c (73,0) c 20 127 ( 1.4%) 8 ( 0.1%) 58 ( 0.1%) 0 ( 0.0%)
1982.47/1056.42 c (73,0) c 21 91 ( 1.0%) 3 ( 0.0%) 40 ( 0.1%) 0 ( 0.0%)
1982.47/1056.42 c (73,0) c 22 60 ( 0.7%) 3 ( 0.0%) 41 ( 0.1%) 0 ( 0.0%)
1982.47/1056.42 c (73,0) c 23 62 ( 0.7%) 3 ( 0.0%) 47 ( 0.1%) 0 ( 0.0%)
1982.47/1056.42 c (73,0) c 24 61 ( 0.7%) 3 ( 0.0%) 39 ( 0.1%) 0 ( 0.0%)
1982.47/1056.42 c (73,0) c 25 49 ( 0.5%) 4 ( 0.0%) 39 ( 0.1%) 1 ( 5.0%)
1982.47/1056.42 c (73,0) c 26 49 ( 0.5%) 0 ( 0.0%) 36 ( 0.1%) 0 ( 0.0%)
1982.47/1056.42 c (73,0) c 27 50 ( 0.6%) 1 ( 0.0%) 27 ( 0.1%) 0 ( 0.0%)
1982.47/1056.42 c (73,0) c 28 33 ( 0.4%) 2 ( 0.0%) 39 ( 0.1%) 0 ( 0.0%)
1982.47/1056.42 c (73,0) c 29 26 ( 0.3%) 1 ( 0.0%) 20 ( 0.0%) 0 ( 0.0%)
1982.47/1056.42 c (73,0) c 30 976 (10.9%) 42 ( 0.5%) 991 ( 1.9%) 0 ( 0.0%)
1982.47/1056.42 c (73,0) c
1982.47/1056.42 c (73,0) c [LBD Statistics]
1982.47/1056.42 c (73,0) c LBD used lbd used clause lbd unused clause lbd
1982.47/1056.42 c (73,0) c tot 18101 3918 5162
1982.47/1056.42 c (73,0) c avg 3.644 4.033 5.057
1982.47/1056.42 c (73,0) c 1 230 ( 1.3/ 1.3%) 81 ( 2.1/ 2.1%) 0 ( 0.0/ 0.0%)
1982.47/1056.42 c (73,0) c 2 5903 (32.6/33.9%) 1124 (28.7/30.8%) 574 (11.1/11.1%)
1982.47/1056.42 c (73,0) c 3 5534 (30.6/64.5%) 907 (23.1/53.9%) 908 (17.6/28.7%)
1982.47/1056.42 c (73,0) c 4 2871 (15.9/80.3%) 761 (19.4/73.3%) 1152 (22.3/51.0%)
1982.47/1056.42 c (73,0) c 5 1415 ( 7.8/88.1%) 447 (11.4/84.7%) 1084 (21.0/72.0%)
1982.47/1056.42 c (73,0) c 6 837 ( 4.6/92.8%) 226 ( 5.8/90.5%) 588 (11.4/83.4%)
1982.47/1056.42 c (73,0) c 7 438 ( 2.4/95.2%) 125 ( 3.2/93.7%) 326 ( 6.3/89.7%)
1982.47/1056.42 c (73,0) c 8 236 ( 1.3/96.5%) 66 ( 1.7/95.4%) 185 ( 3.6/93.3%)
1982.47/1056.42 c (73,0) c 9 176 ( 1.0/97.5%) 50 ( 1.3/96.7%) 107 ( 2.1/95.4%)
1982.47/1056.42 c (73,0) c 10 101 ( 0.6/98.0%) 18 ( 0.5/97.1%) 52 ( 1.0/96.4%)
1982.47/1056.42 c (73,0) c 11 72 ( 0.4/98.4%) 18 ( 0.5/97.6%) 37 ( 0.7/97.1%)
1982.47/1056.42 c (73,0) c 12 58 ( 0.3/98.7%) 20 ( 0.5/98.1%) 22 ( 0.4/97.5%)
1982.47/1056.42 c (73,0) c 13 42 ( 0.2/99.0%) 15 ( 0.4/98.5%) 26 ( 0.5/98.0%)
1982.47/1056.42 c (73,0) c 14 38 ( 0.2/99.2%) 10 ( 0.3/98.7%) 21 ( 0.4/98.5%)
1982.47/1056.42 c (73,0) c 15 31 ( 0.2/99.3%) 10 ( 0.3/99.0%) 10 ( 0.2/98.6%)
1982.47/1056.42 c (73,0) c 16 29 ( 0.2/99.5%) 5 ( 0.1/99.1%) 11 ( 0.2/98.9%)
1982.47/1056.42 c (73,0) c 17 19 ( 0.1/99.6%) 4 ( 0.1/99.2%) 5 ( 0.1/99.0%)
1982.47/1056.42 c (73,0) c 18 7 ( 0.0/99.6%) 0 ( 0.0/99.2%) 5 ( 0.1/99.1%)
1982.47/1056.42 c (73,0) c 19 2 ( 0.0/99.7%) 3 ( 0.1/99.3%) 7 ( 0.1/99.2%)
1982.47/1056.42 c (73,0) c 20 3 ( 0.0/99.7%) 1 ( 0.0/99.3%) 7 ( 0.1/99.3%)
1982.47/1056.42 c (73,0) c 21 2 ( 0.0/99.7%) 2 ( 0.1/99.4%) 1 ( 0.0/99.3%)
1982.47/1056.42 c (73,0) c 22 12 ( 0.1/99.8%) 3 ( 0.1/99.4%) 0 ( 0.0/99.3%)
1982.47/1056.42 c (73,0) c 23 3 ( 0.0/99.8%) 1 ( 0.0/99.5%) 2 ( 0.0/99.4%)
1982.47/1056.42 c (73,0) c 24 1 ( 0.0/99.8%) 1 ( 0.0/99.5%) 2 ( 0.0/99.4%)
1982.47/1056.42 c (73,0) c 25 3 ( 0.0/99.8%) 3 ( 0.1/99.6%) 1 ( 0.0/99.4%)
1982.47/1056.42 c (73,0) c 26 0 ( 0.0/99.8%) 0 ( 0.0/99.6%) 0 ( 0.0/99.4%)
1982.47/1056.42 c (73,0) c 27 1 ( 0.0/99.8%) 0 ( 0.0/99.6%) 1 ( 0.0/99.5%)
1982.47/1056.42 c (73,0) c 28 1 ( 0.0/99.8%) 0 ( 0.0/99.6%) 2 ( 0.0/99.5%)
1982.47/1056.42 c (73,0) c 29 1 ( 0.0/99.8%) 1 ( 0.0/99.6%) 0 ( 0.0/99.5%)
1982.47/1056.42 c (73,0) c 30 2 ( 0.0/99.8%) 1 ( 0.0/99.6%) 1 ( 0.0/99.5%)
1982.47/1056.42 c (73,0) c 31 4 ( 0.0/99.8%) 3 ( 0.1/99.7%) 0 ( 0.0/99.5%)
1982.47/1056.42 c (73,0) c 32 0 ( 0.0/99.8%) 0 ( 0.0/99.7%) 2 ( 0.0/99.6%)
1982.47/1056.42 c (73,0) c 33 1 ( 0.0/99.8%) 0 ( 0.0/99.7%) 2 ( 0.0/99.6%)
1982.47/1056.42 c (73,0) c 34 1 ( 0.0/99.9%) 1 ( 0.0/99.7%) 3 ( 0.1/99.7%)
1982.47/1056.42 c (73,0) c 35 0 ( 0.0/99.9%) 1 ( 0.0/99.7%) 0 ( 0.0/99.7%)
1982.47/1056.42 c (73,0) c 36 0 ( 0.0/99.9%) 0 ( 0.0/99.7%) 0 ( 0.0/99.7%)
1982.47/1056.42 c (73,0) c 37 4 ( 0.0/99.9%) 3 ( 0.1/99.8%) 1 ( 0.0/99.7%)
1982.47/1056.42 c (73,0) c 38 3 ( 0.0/99.9%) 0 ( 0.0/99.8%) 2 ( 0.0/99.7%)
1982.47/1056.42 c (73,0) c 39 3 ( 0.0/99.9%) 1 ( 0.0/99.8%) 1 ( 0.0/99.7%)
1982.47/1056.42 c (73,0) c 40 1 ( 0.0/99.9%) 0 ( 0.0/99.8%) 1 ( 0.0/99.7%)
1982.47/1056.42 c (73,0) c 41 0 ( 0.0/99.9%) 0 ( 0.0/99.8%) 1 ( 0.0/99.8%)
1982.47/1056.42 c (73,0) c 42 0 ( 0.0/99.9%) 0 ( 0.0/99.8%) 1 ( 0.0/99.8%)
1982.47/1056.42 c (73,0) c 43 0 ( 0.0/99.9%) 0 ( 0.0/99.8%) 0 ( 0.0/99.8%)
1982.47/1056.42 c (73,0) c 44 0 ( 0.0/99.9%) 0 ( 0.0/99.8%) 2 ( 0.0/99.8%)
1982.47/1056.42 c (73,0) c 45 0 ( 0.0/99.9%) 0 ( 0.0/99.8%) 0 ( 0.0/99.8%)
1982.47/1056.42 c (73,0) c 46 1 ( 0.0/99.9%) 1 ( 0.0/99.9%) 0 ( 0.0/99.8%)
1982.47/1056.42 c (73,0) c 47 0 ( 0.0/99.9%) 0 ( 0.0/99.9%) 0 ( 0.0/99.8%)
1982.47/1056.42 c (73,0) c 48 0 ( 0.0/99.9%) 0 ( 0.0/99.9%) 0 ( 0.0/99.8%)
1982.47/1056.42 c (73,0) c 49 0 ( 0.0/99.9%) 0 ( 0.0/99.9%) 1 ( 0.0/99.8%)
1982.47/1056.42 c (73,0) c 50 0 ( 0.0/99.9%) 0 ( 0.0/99.9%) 1 ( 0.0/99.9%)
1982.47/1056.42 c (73,0) c 51 0 ( 0.0/99.9%) 0 ( 0.0/99.9%) 0 ( 0.0/99.9%)
1982.47/1056.42 c (73,0) c 52 0 ( 0.0/99.9%) 0 ( 0.0/99.9%) 0 ( 0.0/99.9%)
1982.47/1056.42 c (73,0) c 53 0 ( 0.0/99.9%) 0 ( 0.0/99.9%) 0 ( 0.0/99.9%)
1982.47/1056.42 c (73,0) c 54 1 ( 0.0/99.9%) 1 ( 0.0/99.9%) 0 ( 0.0/99.9%)
1982.47/1056.42 c (73,0) c 55 0 ( 0.0/99.9%) 0 ( 0.0/99.9%) 1 ( 0.0/99.9%)
1982.47/1056.42 c (73,0) c 56 0 ( 0.0/99.9%) 0 ( 0.0/99.9%) 0 ( 0.0/99.9%)
1982.47/1056.42 c (73,0) c 57 5 ( 0.0/100.0%) 1 ( 0.0/99.9%) 1 ( 0.0/99.9%)
1982.47/1056.42 c (73,0) c 58 1 ( 0.0/100.0%) 1 ( 0.0/99.9%) 0 ( 0.0/99.9%)
1982.47/1056.42 c (73,0) c 59 3 ( 0.0/100.0%) 2 ( 0.1/100.0%) 3 ( 0.1/100.0%)
1982.47/1056.42 c (73,0) c 60 1 ( 0.0/100.0%) 0 ( 0.0/100.0%) 2 ( 0.0/100.0%)
1982.47/1056.42 c (73,0) c 61 3 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
1982.47/1056.42 c (73,0) c 62 1 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
1982.47/1056.42 c (73,0) c
1982.47/1056.42 c (73,0) c Memory used : 815.00 MB
1982.47/1056.42 c (73,0) c CPU time : 72.728 s
1982.47/1056.42 c (73,0) c Real time : 73.205 s
1982.47/1056.42 c (73,0) c
1982.47/1056.42 c (73,0) s UNSATISFIABLE
1982.47/1056.44 c (73,0) SatSolver.solve End
1982.47/1056.44 c (73,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
1982.47/1056.44 c (73,0) Show results Begin
1982.47/1056.44 s UNSATISFIABLE
1982.47/1056.44 c (73,0) Show results End
1982.47/1056.44 c (73,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
1982.47/1056.44 c (73,0) 73,73,STOP-AFTER(ALL)
1982.47/1056.44 c END-Prog: Thu Sep 12 13:22:02 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 (5432 MiB free)
memory of node 1: 16384 MiB (9266 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4387626-1568286307/watcher-4387626-1568286307 -o /tmp/evaluation-result-4387626-1568286307/solver-4387626-1568286307 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node147-1568286038-9752 --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-4387626-1568286307.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=10837, runsolver pid=10834
Current StackSize limit: 8192 KiB
[startup+0.100093 s]*
/proc/loadavg: 2.86 2.11 1.97 3/235 10855
/proc/meminfo: memFree=14993772/32770624 swapFree=66957008/67108860
[pid=10837] ppid=10834 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/10837/stat : 10837 (scop.sh) S 10834 10837 8853 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 404544670 115843072 349 33554432000 4194304 5098028 140732901411456 140732901408712 140681592656508 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 9547776 140732901413672 140732901414000 140732901414000 140732901416909 0
/proc/10837/statm: 28282 349 296 221 0 87 0
[pid=10840] ppid=10837 vsize=15012696 memory=70904 CPUtime=0.12 cores=1,3,5,7
/proc/10840/stat : 10840 (java) S 10837 10837 8853 0 -1 1077944320 7010 0 0 0 10 2 0 0 20 0 15 0 404544670 15373000704 17726 33554432000 4194304 4196468 140725230288464 140725230271008 140583175409399 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35041280 140725230293742 140725230294170 140725230294170 140725230297039 0
/proc/10840/statm: 3753174 17726 2914 1 0 3715579 0
[pid=10840/tid=10841] ppid=10837 vsize=15012696 memory=-6293354713193955265 CPUtime=0.09 cores=1,3,5,7
/proc/10840/task/10841/stat : 10841 (java) R 10837 10837 8853 0 -1 4202560 4805 0 0 0 8 1 0 0 20 0 15 0 404544671 15373000704 17726 33554432000 4194304 4196468 140725230288464 140583147203304 140582678562209 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35041280 140725230293742 140725230294170 140725230294170 140725230297039 0
[pid=10840/tid=10842] ppid=10837 vsize=15012696 memory=4206468019014099040 CPUtime=0 cores=1,3,5,7
/proc/10840/task/10842/stat : 10842 (java) S 10837 10837 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404544672 15373000704 17726 33554432000 4194304 4196468 140725230288464 140583179652240 140583175419605 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35041280 140725230293742 140725230294170 140725230294170 140725230297039 0
[pid=10840/tid=10843] ppid=10837 vsize=15012696 memory=139810077623936 CPUtime=0 cores=1,3,5,7
/proc/10840/task/10843/stat : 10843 (java) S 10837 10837 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404544672 15373000704 17726 33554432000 4194304 4196468 140725230288464 140582636039184 140583175419605 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35041280 140725230293742 140725230294170 140725230294170 140725230297039 0
[pid=10840/tid=10844] ppid=10837 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10840/task/10844/stat : 10844 (java) S 10837 10837 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404544672 15373000704 17726 33554432000 4194304 4196468 140725230288464 140582634986384 140583175419605 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35041280 140725230293742 140725230294170 140725230294170 140725230297039 0
[pid=10840/tid=10845] ppid=10837 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10840/task/10845/stat : 10845 (java) S 10837 10837 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404544672 15373000704 17726 33554432000 4194304 4196468 140725230288464 140582633933584 140583175419605 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35041280 140725230293742 140725230294170 140725230294170 140725230297039 0
[pid=10840/tid=10846] ppid=10837 vsize=15012696 memory=139810077623936 CPUtime=0 cores=1,3,5,7
/proc/10840/task/10846/stat : 10846 (java) S 10837 10837 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404544674 15373000704 17726 33554432000 4194304 4196468 140725230288464 140582213020016 140583175420546 0 0 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35041280 140725230293742 140725230294170 140725230294170 140725230297039 0
[pid=10840/tid=10847] ppid=10837 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10840/task/10847/stat : 10847 (java) S 10837 10837 8853 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 404544674 15373000704 17726 33554432000 4194304 4196468 140725230288464 140581728674848 140583175419605 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35041280 140725230293742 140725230294170 140725230294170 140725230297039 0
[pid=10840/tid=10849] ppid=10837 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10840/task/10849/stat : 10849 (java) S 10837 10837 8853 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 404544674 15373000704 17726 33554432000 4194304 4196468 140725230288464 140581594452848 140583175419605 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35041280 140725230293742 140725230294170 140725230294170 140725230297039 0
[pid=10840/tid=10850] ppid=10837 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10840/task/10850/stat : 10850 (java) S 10837 10837 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404544677 15373000704 17726 33554432000 4194304 4196468 140725230288464 140581219948368 140583175427995 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35041280 140725230293742 140725230294170 140725230294170 140725230297039 0
[pid=10840/tid=10851] ppid=10837 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10840/task/10851/stat : 10851 (java) S 10837 10837 8853 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 15 0 404544677 15373000704 17726 33554432000 4194304 4196468 140725230288464 140582211967856 140583175420546 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35041280 140725230293742 140725230294170 140725230294170 140725230297039 0
[pid=10840/tid=10852] ppid=10837 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10840/task/10852/stat : 10852 (java) S 10837 10837 8853 0 -1 1077944384 406 0 0 0 0 0 0 0 20 0 15 0 404544677 15373000704 17726 33554432000 4194304 4196468 140725230288464 140582210915056 140583175420546 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35041280 140725230293742 140725230294170 140725230294170 140725230297039 0
[pid=10840/tid=10853] ppid=10837 vsize=15012696 memory=139810077623936 CPUtime=0.01 cores=1,3,5,7
/proc/10840/task/10853/stat : 10853 (java) R 10837 10837 8853 0 -1 4202560 433 0 0 0 1 0 0 0 20 0 15 0 404544677 15373000704 17726 33554432000 4194304 4196468 140725230288464 140582209859432 140583175423281 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35041280 140725230293742 140725230294170 140725230294170 140725230297039 0
[pid=10840/tid=10854] ppid=10837 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10840/task/10854/stat : 10854 (java) S 10837 10837 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404544677 15373000704 17726 33554432000 4194304 4196468 140725230288464 140580722043616 140583175419605 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35041280 140725230293742 140725230294170 140725230294170 140725230297039 0
[pid=10840/tid=10855] ppid=10837 vsize=15012696 memory=139810077623936 CPUtime=0 cores=1,3,5,7
/proc/10840/task/10855/stat : 10855 (java) S 10837 10837 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404544677 15373000704 17726 33554432000 4194304 4196468 140725230288464 140582208809648 140583175420546 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35041280 140725230293742 140725230294170 140725230294170 140725230297039 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 72300 KiB
[startup+0.210908 s]*
/proc/loadavg: 2.86 2.11 1.97 3/235 10855
/proc/meminfo: memFree=14974724/32770624 swapFree=66957008/67108860
[pid=10837] ppid=10834 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/10837/stat : 10837 (scop.sh) S 10834 10837 8853 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 404544670 115843072 349 33554432000 4194304 5098028 140732901411456 140732901408712 140681592656508 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 9547776 140732901413672 140732901414000 140732901414000 140732901416909 0
/proc/10837/statm: 28282 349 296 221 0 87 0
[pid=10840] ppid=10837 vsize=15012696 memory=85980 CPUtime=0.25 cores=1,3,5,7
/proc/10840/stat : 10840 (java) S 10837 10837 8853 0 -1 1077944320 12144 0 0 0 22 3 0 0 20 0 15 0 404544670 15373000704 21495 33554432000 4194304 4196468 140725230288464 140725230271008 140583175409399 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35041280 140725230293742 140725230294170 140725230294170 140725230297039 0
/proc/10840/statm: 3753174 21495 2919 1 0 3715579 0
[pid=10840/tid=10841] ppid=10837 vsize=15012696 memory=7022364632946311227 CPUtime=0.2 cores=1,3,5,7
/proc/10840/task/10841/stat : 10841 (java) R 10837 10837 8853 0 -1 4202560 9878 0 0 0 18 2 0 0 20 0 15 0 404544671 15373000704 21561 33554432000 4194304 4196468 140725230288464 140583147224640 140583159489886 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35041280 140725230293742 140725230294170 140725230294170 140725230297039 0
[pid=10840/tid=10842] ppid=10837 vsize=15012696 memory=364 CPUtime=0 cores=1,3,5,7
/proc/10840/task/10842/stat : 10842 (java) S 10837 10837 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404544672 15373000704 21561 33554432000 4194304 4196468 140725230288464 140583179652240 140583175419605 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35041280 140725230293742 140725230294170 140725230294170 140725230297039 0
[pid=10840/tid=10843] ppid=10837 vsize=15012696 memory=139810077635041 CPUtime=0 cores=1,3,5,7
/proc/10840/task/10843/stat : 10843 (java) S 10837 10837 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404544672 15373000704 21561 33554432000 4194304 4196468 140725230288464 140582636039184 140583175419605 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35041280 140725230293742 140725230294170 140725230294170 140725230297039 0
[pid=10840/tid=10844] ppid=10837 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10840/task/10844/stat : 10844 (java) S 10837 10837 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404544672 15373000704 21561 33554432000 4194304 4196468 140725230288464 140582634986384 140583175419605 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35041280 140725230293742 140725230294170 140725230294170 140725230297039 0
[pid=10840/tid=10845] ppid=10837 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10840/task/10845/stat : 10845 (java) S 10837 10837 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404544672 15373000704 21561 33554432000 4194304 4196468 140725230288464 140582633933584 140583175419605 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35041280 140725230293742 140725230294170 140725230294170 140725230297039 0
[pid=10840/tid=10846] ppid=10837 vsize=15012696 memory=139810077623936 CPUtime=0 cores=1,3,5,7
/proc/10840/task/10846/stat : 10846 (java) S 10837 10837 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404544674 15373000704 21561 33554432000 4194304 4196468 140725230288464 140582213020016 140583175420546 0 0 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35041280 140725230293742 140725230294170 140725230294170 140725230297039 0
[pid=10840/tid=10847] ppid=10837 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10840/task/10847/stat : 10847 (java) S 10837 10837 8853 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 404544674 15373000704 21561 33554432000 4194304 4196468 140725230288464 140581728674848 140583175419605 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35041280 140725230293742 140725230294170 140725230294170 140725230297039 0
[pid=10840/tid=10849] ppid=10837 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10840/task/10849/stat : 10849 (java) S 10837 10837 8853 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 404544674 15373000704 21561 33554432000 4194304 4196468 140725230288464 140581594452848 140583175419605 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35041280 140725230293742 140725230294170 140725230294170 140725230297039 0
[pid=10840/tid=10850] ppid=10837 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10840/task/10850/stat : 10850 (java) S 10837 10837 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404544677 15373000704 21561 33554432000 4194304 4196468 140725230288464 140581219948368 140583175427995 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35041280 140725230293742 140725230294170 140725230294170 140725230297039 0
[pid=10840/tid=10851] ppid=10837 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10840/task/10851/stat : 10851 (java) S 10837 10837 8853 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 404544677 15373000704 21561 33554432000 4194304 4196468 140725230288464 140582211967856 140583175420546 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35041280 140725230293742 140725230294170 140725230294170 140725230297039 0
[pid=10840/tid=10852] ppid=10837 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10840/task/10852/stat : 10852 (java) S 10837 10837 8853 0 -1 1077944384 416 0 0 0 0 0 0 0 20 0 15 0 404544677 15373000704 21561 33554432000 4194304 4196468 140725230288464 140582210915056 140583175420546 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35041280 140725230293742 140725230294170 140725230294170 140725230297039 0
[pid=10840/tid=10853] ppid=10837 vsize=15012696 memory=139810077623936 CPUtime=0.03 cores=1,3,5,7
/proc/10840/task/10853/stat : 10853 (java) S 10837 10837 8853 0 -1 1077944384 454 0 0 0 3 0 0 0 20 0 15 0 404544677 15373000704 21561 33554432000 4194304 4196468 140725230288464 140582209862256 140583175420546 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35041280 140725230293742 140725230294170 140725230294170 140725230297039 0
[pid=10840/tid=10854] ppid=10837 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10840/task/10854/stat : 10854 (java) S 10837 10837 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404544677 15373000704 21561 33554432000 4194304 4196468 140725230288464 140580722043616 140583175419605 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35041280 140725230293742 140725230294170 140725230294170 140725230297039 0
[pid=10840/tid=10855] ppid=10837 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10840/task/10855/stat : 10855 (java) S 10837 10837 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404544677 15373000704 21561 33554432000 4194304 4196468 140725230288464 140582208809648 140583175420546 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35041280 140725230293742 140725230294170 140725230294170 140725230297039 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 87376 KiB
[startup+0.310785 s]*
/proc/loadavg: 2.86 2.11 1.97 3/235 10855
/proc/meminfo: memFree=14971436/32770624 swapFree=66957008/67108860
[pid=10837] ppid=10834 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/10837/stat : 10837 (scop.sh) S 10834 10837 8853 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 404544670 115843072 349 33554432000 4194304 5098028 140732901411456 140732901408712 140681592656508 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 9547776 140732901413672 140732901414000 140732901414000 140732901416909 0
/proc/10837/statm: 28282 349 296 221 0 87 0
[pid=10840] ppid=10837 vsize=15012696 memory=90260 CPUtime=0.44 cores=1,3,5,7
/proc/10840/stat : 10840 (java) S 10837 10837 8853 0 -1 1077944320 12613 0 0 0 40 4 0 0 20 0 15 0 404544670 15373000704 22565 33554432000 4194304 4196468 140725230288464 140725230271008 140583175409399 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35041280 140725230293742 140725230294170 140725230294170 140725230297039 0
/proc/10840/statm: 3753174 22565 3078 1 0 3715579 0
[pid=10840/tid=10841] ppid=10837 vsize=15012696 memory=6791534058613427641 CPUtime=0.29 cores=1,3,5,7
/proc/10840/task/10841/stat : 10841 (java) R 10837 10837 8853 0 -1 4202560 10136 0 0 0 27 2 0 0 20 0 15 0 404544671 15373000704 22565 33554432000 4194304 4196468 140725230288464 140583147239472 140583159489886 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35041280 140725230293742 140725230294170 140725230294170 140725230297039 0
[pid=10840/tid=10842] ppid=10837 vsize=15012696 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/10840/task/10842/stat : 10842 (java) S 10837 10837 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404544672 15373000704 22565 33554432000 4194304 4196468 140725230288464 140583179652240 140583175419605 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35041280 140725230293742 140725230294170 140725230294170 140725230297039 0
[pid=10840/tid=10843] ppid=10837 vsize=15012696 memory=-5587046532246807594 CPUtime=0 cores=1,3,5,7
/proc/10840/task/10843/stat : 10843 (java) S 10837 10837 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404544672 15373000704 22565 33554432000 4194304 4196468 140725230288464 140582636039184 140583175419605 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35041280 140725230293742 140725230294170 140725230294170 140725230297039 0
[pid=10840/tid=10844] ppid=10837 vsize=15012696 memory=7379517702019849078 CPUtime=0 cores=1,3,5,7
/proc/10840/task/10844/stat : 10844 (java) S 10837 10837 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404544672 15373000704 22565 33554432000 4194304 4196468 140725230288464 140582634986384 140583175419605 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35041280 140725230293742 140725230294170 140725230294170 140725230297039 0
[pid=10840/tid=10845] ppid=10837 vsize=15012696 memory=7016714186490735262 CPUtime=0 cores=1,3,5,7
/proc/10840/task/10845/stat : 10845 (java) S 10837 10837 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404544672 15373000704 22565 33554432000 4194304 4196468 140725230288464 140582633933584 140583175419605 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35041280 140725230293742 140725230294170 140725230294170 140725230297039 0
[pid=10840/tid=10846] ppid=10837 vsize=15012696 memory=-7522837583045875833 CPUtime=0 cores=1,3,5,7
/proc/10840/task/10846/stat : 10846 (java) S 10837 10837 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404544674 15373000704 22565 33554432000 4194304 4196468 140725230288464 140582213020016 140583175420546 0 0 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35041280 140725230293742 140725230294170 140725230294170 140725230297039 0
[pid=10840/tid=10847] ppid=10837 vsize=15012696 memory=3047711566422646390 CPUtime=0 cores=1,3,5,7
/proc/10840/task/10847/stat : 10847 (java) S 10837 10837 8853 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 404544674 15373000704 22565 33554432000 4194304 4196468 140725230288464 140581728674848 140583175419605 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35041280 140725230293742 140725230294170 140725230294170 140725230297039 0
[pid=10840/tid=10849] ppid=10837 vsize=15012696 memory=-6372718397967082684 CPUtime=0 cores=1,3,5,7
/proc/10840/task/10849/stat : 10849 (java) S 10837 10837 8853 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 404544674 15373000704 22565 33554432000 4194304 4196468 140725230288464 140581594452848 140583175419605 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35041280 140725230293742 140725230294170 140725230294170 140725230297039 0
[pid=10840/tid=10850] ppid=10837 vsize=15012696 memory=8325818968683490714 CPUtime=0 cores=1,3,5,7
/proc/10840/task/10850/stat : 10850 (java) S 10837 10837 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404544677 15373000704 22565 33554432000 4194304 4196468 140725230288464 140581219948368 140583175427995 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35041280 140725230293742 140725230294170 140725230294170 140725230297039 0
[pid=10840/tid=10851] ppid=10837 vsize=15012696 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/10840/task/10851/stat : 10851 (java) S 10837 10837 8853 0 -1 1077944384 95 0 0 0 1 0 0 0 20 0 15 0 404544677 15373000704 22565 33554432000 4194304 4196468 140725230288464 140582211967856 140583175420546 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35041280 140725230293742 140725230294170 140725230294170 140725230297039 0
[pid=10840/tid=10852] ppid=10837 vsize=15012696 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/10840/task/10852/stat : 10852 (java) S 10837 10837 8853 0 -1 1077944384 533 0 0 0 2 0 0 0 20 0 15 0 404544677 15373000704 22565 33554432000 4194304 4196468 140725230288464 140582210915056 140583175420546 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35041280 140725230293742 140725230294170 140725230294170 140725230297039 0
[pid=10840/tid=10853] ppid=10837 vsize=15012696 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/10840/task/10853/stat : 10853 (java) S 10837 10837 8853 0 -1 1077944384 499 0 0 0 7 0 0 0 20 0 15 0 404544677 15373000704 22565 33554432000 4194304 4196468 140725230288464 140582209862256 140583175420546 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35041280 140725230293742 140725230294170 140725230294170 140725230297039 0
[pid=10840/tid=10854] ppid=10837 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10840/task/10854/stat : 10854 (java) S 10837 10837 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404544677 15373000704 22565 33554432000 4194304 4196468 140725230288464 140580722043616 140583175419605 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35041280 140725230293742 140725230294170 140725230294170 140725230297039 0
[pid=10840/tid=10855] ppid=10837 vsize=15012696 memory=4121130329571341360 CPUtime=0 cores=1,3,5,7
/proc/10840/task/10855/stat : 10855 (java) S 10837 10837 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404544677 15373000704 22565 33554432000 4194304 4196468 140725230288464 140582208809648 140583175420546 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35041280 140725230293742 140725230294170 140725230294170 140725230297039 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 91656 KiB
[startup+0.700814 s]
/proc/loadavg: 2.86 2.11 1.97 3/235 10855
/proc/meminfo: memFree=14950096/32770624 swapFree=66957008/67108860
[pid=10837] ppid=10834 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/10837/stat : 10837 (scop.sh) S 10834 10837 8853 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 404544670 115843072 349 33554432000 4194304 5098028 140732901411456 140732901408712 140681592656508 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 9547776 140732901413672 140732901414000 140732901414000 140732901416909 0
/proc/10837/statm: 28282 349 296 221 0 87 0
[pid=10840] ppid=10837 vsize=15018968 memory=129296 CPUtime=1.02 cores=1,3,5,7
/proc/10840/stat : 10840 (java) S 10837 10837 8853 0 -1 1077944320 20122 0 0 0 96 6 0 0 20 0 15 0 404544670 15379423232 32324 33554432000 4194304 4196468 140725230288464 140725230271008 140583175409399 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35041280 140725230293742 140725230294170 140725230294170 140725230297039 0
/proc/10840/statm: 3754742 32324 3177 1 0 3716091 0
[pid=10840/tid=10841] ppid=10837 vsize=15018968 memory=-7082918048272507482 CPUtime=0.68 cores=1,3,5,7
/proc/10840/task/10841/stat : 10841 (java) R 10837 10837 8853 0 -1 4202560 17180 0 0 0 64 4 0 0 20 0 15 0 404544671 15379423232 32324 33554432000 4194304 4196468 140725230288464 140583147245424 140583175431325 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35041280 140725230293742 140725230294170 140725230294170 140725230297039 0
[pid=10840/tid=10842] ppid=10837 vsize=15018968 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10840/task/10842/stat : 10842 (java) S 10837 10837 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404544672 15379423232 32324 33554432000 4194304 4196468 140725230288464 140583179652240 140583175419605 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35041280 140725230293742 140725230294170 140725230294170 140725230297039 0
[pid=10840/tid=10843] ppid=10837 vsize=15018968 memory=37212 CPUtime=0 cores=1,3,5,7
/proc/10840/task/10843/stat : 10843 (java) S 10837 10837 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404544672 15379423232 32324 33554432000 4194304 4196468 140725230288464 140582636039184 140583175419605 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35041280 140725230293742 140725230294170 140725230294170 140725230297039 0
[pid=10840/tid=10844] ppid=10837 vsize=15018968 memory=2020 CPUtime=0 cores=1,3,5,7
/proc/10840/task/10844/stat : 10844 (java) S 10837 10837 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404544672 15379423232 32324 33554432000 4194304 4196468 140725230288464 140582634986384 140583175419605 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35041280 140725230293742 140725230294170 140725230294170 140725230297039 0
[pid=10840/tid=10845] ppid=10837 vsize=15018968 memory=988 CPUtime=0 cores=1,3,5,7
/proc/10840/task/10845/stat : 10845 (java) S 10837 10837 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404544672 15379423232 32324 33554432000 4194304 4196468 140725230288464 140582633933584 140583175419605 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35041280 140725230293742 140725230294170 140725230294170 140725230297039 0
[pid=10840/tid=10846] ppid=10837 vsize=15018968 memory=1368 CPUtime=0 cores=1,3,5,7
/proc/10840/task/10846/stat : 10846 (java) S 10837 10837 8853 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 404544674 15379423232 32324 33554432000 4194304 4196468 140725230288464 140582213020016 140583175420546 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35041280 140725230293742 140725230294170 140725230294170 140725230297039 0
[pid=10840/tid=10847] ppid=10837 vsize=15018968 memory=1056 CPUtime=0 cores=1,3,5,7
/proc/10840/task/10847/stat : 10847 (java) S 10837 10837 8853 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 404544674 15379423232 32324 33554432000 4194304 4196468 140725230288464 140581728674848 140583175419605 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35041280 140725230293742 140725230294170 140725230294170 140725230297039 0
[pid=10840/tid=10849] ppid=10837 vsize=15018968 memory=1712 CPUtime=0 cores=1,3,5,7
/proc/10840/task/10849/stat : 10849 (java) S 10837 10837 8853 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 404544674 15379423232 32324 33554432000 4194304 4196468 140725230288464 140581594452848 140583175419605 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35041280 140725230293742 140725230294170 140725230294170 140725230297039 0
[pid=10840/tid=10850] ppid=10837 vsize=15018968 memory=6088 CPUtime=0 cores=1,3,5,7
/proc/10840/task/10850/stat : 10850 (java) S 10837 10837 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404544677 15379423232 32324 33554432000 4194304 4196468 140725230288464 140581219948368 140583175427995 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35041280 140725230293742 140725230294170 140725230294170 140725230297039 0
[pid=10840/tid=10851] ppid=10837 vsize=15018968 memory=11624 CPUtime=0.08 cores=1,3,5,7
/proc/10840/task/10851/stat : 10851 (java) S 10837 10837 8853 0 -1 1077944384 299 0 0 0 8 0 0 0 20 0 15 0 404544677 15379423232 32324 33554432000 4194304 4196468 140725230288464 140582211967856 140583175420546 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35041280 140725230293742 140725230294170 140725230294170 140725230297039 0
[pid=10840/tid=10852] ppid=10837 vsize=15018968 memory=732 CPUtime=0.08 cores=1,3,5,7
/proc/10840/task/10852/stat : 10852 (java) S 10837 10837 8853 0 -1 1077944384 726 0 0 0 8 0 0 0 20 0 15 0 404544677 15379423232 32324 33554432000 4194304 4196468 140725230288464 140582210915056 140583175420546 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35041280 140725230293742 140725230294170 140725230294170 140725230297039 0
[pid=10840/tid=10853] ppid=10837 vsize=15018968 memory=776 CPUtime=0.15 cores=1,3,5,7
/proc/10840/task/10853/stat : 10853 (java) R 10837 10837 8853 0 -1 4202560 563 0 0 0 15 0 0 0 20 0 15 0 404544677 15379423232 32324 33554432000 4194304 4196468 140725230288464 140582209862256 140583154212719 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35041280 140725230293742 140725230294170 140725230294170 140725230297039 0
[pid=10840/tid=10854] ppid=10837 vsize=15018968 memory=1560 CPUtime=0 cores=1,3,5,7
/proc/10840/task/10854/stat : 10854 (java) S 10837 10837 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404544677 15379423232 32324 33554432000 4194304 4196468 140725230288464 140580722043616 140583175419605 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35041280 140725230293742 140725230294170 140725230294170 140725230297039 0
[pid=10840/tid=10855] ppid=10837 vsize=15018968 memory=4008 CPUtime=0 cores=1,3,5,7
/proc/10840/task/10855/stat : 10855 (java) S 10837 10837 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404544677 15379423232 32324 33554432000 4194304 4196468 140725230288464 140582208809648 140583175420546 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35041280 140725230293742 140725230294170 140725230294170 140725230297039 0
Current children cumulated CPU time: 1.02 s
Current children cumulated vsize: 15132096 KiB
Current children cumulated memory: 130692 KiB
[startup+1.5008 s]
/proc/loadavg: 2.86 2.11 1.97 8/235 10855
/proc/meminfo: memFree=14826408/32770624 swapFree=66957008/67108860
[pid=10837] ppid=10834 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/10837/stat : 10837 (scop.sh) S 10834 10837 8853 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 404544670 115843072 349 33554432000 4194304 5098028 140732901411456 140732901408712 140681592656508 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 9547776 140732901413672 140732901414000 140732901414000 140732901416909 0
/proc/10837/statm: 28282 349 296 221 0 87 0
################
# More data... #
################
Current children cumulated CPU time: 1980.46 s
Current children cumulated vsize: 8804812 KiB
Current children cumulated memory: 643128 KiB
[startup+1055.2 s]
/proc/loadavg: 2.30 2.99 2.60 3/239 10971
/proc/meminfo: memFree=14248272/32770624 swapFree=66957008/67108860
[pid=10837] ppid=10834 vsize=113128 memory=1476 CPUtime=1908.09 cores=1,3,5,7
/proc/10837/stat : 10837 (scop.sh) S 10834 10837 8853 0 -1 4202496 584 272337 0 0 0 0 190010 799 20 0 1 0 404544670 115843072 369 33554432000 4194304 5098028 140732901411456 140732901408200 140681592656508 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 9547776 140732901413672 140732901414000 140732901414000 140732901416909 0
/proc/10837/statm: 28282 369 311 221 0 87 0
[pid=10947] ppid=10837 vsize=8068440 memory=117352 CPUtime=1.21 cores=1,3,5,7
/proc/10947/stat : 10947 (java) S 10837 10837 8853 0 -1 1077944320 19881 0 0 0 112 9 0 0 20 0 19 0 404642920 8262082560 29338 33554432000 4194304 4196468 140730956643440 140730956625984 140553940582135 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14536704 140730956645371 140730956645530 140730956645530 140730956648399 0
/proc/10947/statm: 2017110 29338 3201 1 0 1978454 0
[pid=10962] ppid=10947 vsize=623244 memory=524300 CPUtime=71.97 cores=1,3,5,7
/proc/10962/stat : 10962 (glueminisat-sim) R 10947 10837 8853 0 -1 4202496 418232 0 0 0 7150 47 0 0 20 0 1 0 404642992 638201856 131075 33554432000 4194304 4452875 140723170937344 140723170932376 4396220 0 4 0 8388610 0 0 0 17 1 0 0 0 0 0 6552096 6554264 13389824 140723170943839 140723170944039 140723170944039 140723170946989 0
/proc/10962/statm: 155811 131075 374 64 0 152015 0
[pid=10947/tid=10948] ppid=10837 vsize=8068440 memory=524300 CPUtime=0.74 cores=1,3,5,7
/proc/10947/task/10948/stat : 10948 (java) S 10837 10837 8853 0 -1 1077944384 16899 0 0 0 68 6 0 0 20 0 19 0 404642920 8262082560 29338 33554432000 4194304 4196468 140730956643440 140553912422304 140553940592341 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14536704 140730956645371 140730956645530 140730956645530 140730956648399 0
[pid=10947/tid=10949] ppid=10837 vsize=8068440 memory=932 CPUtime=0 cores=1,3,5,7
/proc/10947/task/10949/stat : 10949 (java) S 10837 10837 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 404642921 8262082560 29338 33554432000 4194304 4196468 140730956643440 140553944824592 140553940592341 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14536704 140730956645371 140730956645530 140730956645530 140730956648399 0
[pid=10947/tid=10950] ppid=10837 vsize=8068440 memory=4008 CPUtime=0 cores=1,3,5,7
/proc/10947/task/10950/stat : 10950 (java) S 10837 10837 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 404642921 8262082560 29338 33554432000 4194304 4196468 140730956643440 140553425513360 140553940592341 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14536704 140730956645371 140730956645530 140730956645530 140730956648399 0
[pid=10947/tid=10951] ppid=10837 vsize=8068440 memory=1096 CPUtime=0 cores=1,3,5,7
/proc/10947/task/10951/stat : 10951 (java) S 10837 10837 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 404642921 8262082560 29338 33554432000 4194304 4196468 140730956643440 140553424460816 140553940592341 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14536704 140730956645371 140730956645530 140730956645530 140730956648399 0
[pid=10947/tid=10952] ppid=10837 vsize=8068440 memory=2828 CPUtime=0 cores=1,3,5,7
/proc/10947/task/10952/stat : 10952 (java) S 10837 10837 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 404642921 8262082560 29338 33554432000 4194304 4196468 140730956643440 140553423408272 140553940592341 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14536704 140730956645371 140730956645530 140730956645530 140730956648399 0
[pid=10947/tid=10953] ppid=10837 vsize=8068440 memory=1164 CPUtime=0 cores=1,3,5,7
/proc/10947/task/10953/stat : 10953 (java) S 10837 10837 8853 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 19 0 404642923 8262082560 29338 33554432000 4194304 4196468 140730956643440 140553185335280 140553940593282 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14536704 140730956645371 140730956645530 140730956645530 140730956648399 0
[pid=10947/tid=10954] ppid=10837 vsize=8068440 memory=14008 CPUtime=0 cores=1,3,5,7
/proc/10947/task/10954/stat : 10954 (java) S 10837 10837 8853 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 404642923 8262082560 29338 33554432000 4194304 4196468 140730956643440 140552804754336 140553940592341 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14536704 140730956645371 140730956645530 140730956645530 140730956648399 0
[pid=10947/tid=10955] ppid=10837 vsize=8068440 memory=12040 CPUtime=0 cores=1,3,5,7
/proc/10947/task/10955/stat : 10955 (java) S 10837 10837 8853 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 404642923 8262082560 29338 33554432000 4194304 4196468 140730956643440 140552670532592 140553940592341 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14536704 140730956645371 140730956645530 140730956645530 140730956648399 0
[pid=10947/tid=10956] ppid=10837 vsize=8068440 memory=2124 CPUtime=0 cores=1,3,5,7
/proc/10947/task/10956/stat : 10956 (java) S 10837 10837 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 404642926 8262082560 29338 33554432000 4194304 4196468 140730956643440 140552296028368 140553940600731 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14536704 140730956645371 140730956645530 140730956645530 140730956648399 0
[pid=10947/tid=10957] ppid=10837 vsize=8068440 memory=1768 CPUtime=0.1 cores=1,3,5,7
/proc/10947/task/10957/stat : 10957 (java) S 10837 10837 8853 0 -1 1077944384 723 0 0 0 10 0 0 0 20 0 19 0 404642926 8262082560 29338 33554432000 4194304 4196468 140730956643440 140553184283120 140553940593282 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14536704 140730956645371 140730956645530 140730956645530 140730956648399 0
[pid=10947/tid=10958] ppid=10837 vsize=8068440 memory=1436 CPUtime=0.09 cores=1,3,5,7
/proc/10947/task/10958/stat : 10958 (java) S 10837 10837 8853 0 -1 1077944384 308 0 0 0 9 0 0 0 20 0 19 0 404642926 8262082560 29338 33554432000 4194304 4196468 140730956643440 140553183230576 140553940593282 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14536704 140730956645371 140730956645530 140730956645530 140730956648399 0
[pid=10947/tid=10959] ppid=10837 vsize=8068440 memory=896 CPUtime=0.19 cores=1,3,5,7
/proc/10947/task/10959/stat : 10959 (java) S 10837 10837 8853 0 -1 1077944384 526 0 0 0 19 0 0 0 20 0 19 0 404642926 8262082560 29338 33554432000 4194304 4196468 140730956643440 140553182178032 140553940593282 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14536704 140730956645371 140730956645530 140730956645530 140730956648399 0
[pid=10947/tid=10960] ppid=10837 vsize=8068440 memory=1980 CPUtime=0 cores=1,3,5,7
/proc/10947/task/10960/stat : 10960 (java) S 10837 10837 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 404642926 8262082560 29338 33554432000 4194304 4196468 140730956643440 140551798123616 140553940592341 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14536704 140730956645371 140730956645530 140730956645530 140730956648399 0
[pid=10947/tid=10961] ppid=10837 vsize=8068440 memory=2520 CPUtime=0.04 cores=1,3,5,7
/proc/10947/task/10961/stat : 10961 (java) S 10837 10837 8853 0 -1 1077944384 7 0 0 0 2 2 0 0 20 0 19 0 404642927 8262082560 29338 33554432000 4194304 4196468 140730956643440 140553181124912 140553940593282 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 9 0 0 6293624 6294260 14536704 140730956645371 140730956645530 140730956645530 140730956648399 0
[pid=10947/tid=10963] ppid=10837 vsize=8068440 memory=1760 CPUtime=0 cores=1,3,5,7
/proc/10947/task/10963/stat : 10963 (java) S 10837 10837 8853 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 404642992 8262082560 29338 33554432000 4194304 4196468 140730956643440 140553409057856 140553940606745 0 4 2 25189581 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 14536704 140730956645371 140730956645530 140730956645530 140730956648399 0
[pid=10947/tid=10965] ppid=10837 vsize=8068440 memory=1660 CPUtime=0 cores=1,3,5,7
/proc/10947/task/10965/stat : 10965 (java) S 10837 10837 8853 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 404642992 8262082560 29338 33554432000 4194304 4196468 140730956643440 140551261240944 140553940604061 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 14536704 140730956645371 140730956645530 140730956645530 140730956648399 0
[pid=10947/tid=10966] ppid=10837 vsize=8068440 memory=1408 CPUtime=0 cores=1,3,5,7
/proc/10947/task/10966/stat : 10966 (java) S 10837 10837 8853 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 404642992 8262082560 29338 33554432000 4194304 4196468 140730956643440 140550992805648 140553940604061 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 14536704 140730956645371 140730956645530 140730956645530 140730956648399 0
[pid=10947/tid=10967] ppid=10837 vsize=8068440 memory=3492 CPUtime=0 cores=1,3,5,7
/proc/10947/task/10967/stat : 10967 (java) S 10837 10837 8853 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 19 0 404642995 8262082560 29338 33554432000 4194304 4196468 140730956643440 140551529684528 140553940592341 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14536704 140730956645371 140730956645530 140730956645530 140730956648399 0
Current children cumulated CPU time: 1981.27 s
Current children cumulated vsize: 8804812 KiB
Current children cumulated memory: 643128 KiB
[startup+1056 s]*
/proc/loadavg: 2.30 2.99 2.60 3/239 10971
/proc/meminfo: memFree=14246352/32770624 swapFree=66957008/67108860
[pid=10837] ppid=10834 vsize=113128 memory=1476 CPUtime=1908.09 cores=1,3,5,7
/proc/10837/stat : 10837 (scop.sh) S 10834 10837 8853 0 -1 4202496 584 272337 0 0 0 0 190010 799 20 0 1 0 404544670 115843072 369 33554432000 4194304 5098028 140732901411456 140732901408200 140681592656508 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 9547776 140732901413672 140732901414000 140732901414000 140732901416909 0
/proc/10837/statm: 28282 369 311 221 0 87 0
[pid=10947] ppid=10837 vsize=8068440 memory=117412 CPUtime=1.21 cores=1,3,5,7
/proc/10947/stat : 10947 (java) S 10837 10837 8853 0 -1 1077944320 19885 0 0 0 112 9 0 0 20 0 19 0 404642920 8262082560 29353 33554432000 4194304 4196468 140730956643440 140730956625984 140553940582135 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14536704 140730956645371 140730956645530 140730956645530 140730956648399 0
/proc/10947/statm: 2017110 29353 3201 1 0 1978454 0
[pid=10962] ppid=10947 vsize=623244 memory=524300 CPUtime=72.78 cores=1,3,5,7
/proc/10962/stat : 10962 (glueminisat-sim) R 10947 10837 8853 0 -1 4202496 418497 0 0 0 7231 47 0 0 20 0 1 0 404642992 638201856 131075 33554432000 4194304 4452875 140723170937344 140723170932440 140105404223367 0 4 0 8388610 0 0 0 17 1 0 0 0 0 0 6552096 6554264 13389824 140723170943839 140723170944039 140723170944039 140723170946989 0
/proc/10962/statm: 155811 131075 374 64 0 152015 0
[pid=10947/tid=10948] ppid=10837 vsize=8068440 memory=-7824251494390585698 CPUtime=0.74 cores=1,3,5,7
/proc/10947/task/10948/stat : 10948 (java) S 10837 10837 8853 0 -1 1077944384 16899 0 0 0 68 6 0 0 20 0 19 0 404642920 8262082560 29353 33554432000 4194304 4196468 140730956643440 140553912422304 140553940592341 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14536704 140730956645371 140730956645530 140730956645530 140730956648399 0
[pid=10947/tid=10949] ppid=10837 vsize=8068440 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/10947/task/10949/stat : 10949 (java) S 10837 10837 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 404642921 8262082560 29353 33554432000 4194304 4196468 140730956643440 140553944824592 140553940592341 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14536704 140730956645371 140730956645530 140730956645530 140730956648399 0
[pid=10947/tid=10950] ppid=10837 vsize=8068440 memory=14008 CPUtime=0 cores=1,3,5,7
/proc/10947/task/10950/stat : 10950 (java) S 10837 10837 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 404642921 8262082560 29353 33554432000 4194304 4196468 140730956643440 140553425513360 140553940592341 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14536704 140730956645371 140730956645530 140730956645530 140730956648399 0
[pid=10947/tid=10951] ppid=10837 vsize=8068440 memory=12040 CPUtime=0 cores=1,3,5,7
/proc/10947/task/10951/stat : 10951 (java) S 10837 10837 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 404642921 8262082560 29353 33554432000 4194304 4196468 140730956643440 140553424460816 140553940592341 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14536704 140730956645371 140730956645530 140730956645530 140730956648399 0
[pid=10947/tid=10952] ppid=10837 vsize=8068440 memory=2124 CPUtime=0 cores=1,3,5,7
/proc/10947/task/10952/stat : 10952 (java) S 10837 10837 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 404642921 8262082560 29353 33554432000 4194304 4196468 140730956643440 140553423408272 140553940592341 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14536704 140730956645371 140730956645530 140730956645530 140730956648399 0
[pid=10947/tid=10953] ppid=10837 vsize=8068440 memory=19868 CPUtime=0 cores=1,3,5,7
/proc/10947/task/10953/stat : 10953 (java) S 10837 10837 8853 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 19 0 404642923 8262082560 29353 33554432000 4194304 4196468 140730956643440 140553185335280 140553940593282 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14536704 140730956645371 140730956645530 140730956645530 140730956648399 0
[pid=10947/tid=10954] ppid=10837 vsize=8068440 memory=492 CPUtime=0 cores=1,3,5,7
/proc/10947/task/10954/stat : 10954 (java) S 10837 10837 8853 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 404642923 8262082560 29353 33554432000 4194304 4196468 140730956643440 140552804754336 140553940592341 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14536704 140730956645371 140730956645530 140730956645530 140730956648399 0
[pid=10947/tid=10955] ppid=10837 vsize=8068440 memory=2708 CPUtime=0 cores=1,3,5,7
/proc/10947/task/10955/stat : 10955 (java) S 10837 10837 8853 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 404642923 8262082560 29353 33554432000 4194304 4196468 140730956643440 140552670532592 140553940592341 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14536704 140730956645371 140730956645530 140730956645530 140730956648399 0
[pid=10947/tid=10956] ppid=10837 vsize=8068440 memory=1408 CPUtime=0 cores=1,3,5,7
/proc/10947/task/10956/stat : 10956 (java) S 10837 10837 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 404642926 8262082560 29353 33554432000 4194304 4196468 140730956643440 140552296028368 140553940600731 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14536704 140730956645371 140730956645530 140730956645530 140730956648399 0
[pid=10947/tid=10957] ppid=10837 vsize=8068440 memory=1476 CPUtime=0.1 cores=1,3,5,7
/proc/10947/task/10957/stat : 10957 (java) S 10837 10837 8853 0 -1 1077944384 723 0 0 0 10 0 0 0 20 0 19 0 404642926 8262082560 29353 33554432000 4194304 4196468 140730956643440 140553184283120 140553940593282 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14536704 140730956645371 140730956645530 140730956645530 140730956648399 0
[pid=10947/tid=10958] ppid=10837 vsize=8068440 memory=117352 CPUtime=0.09 cores=1,3,5,7
/proc/10947/task/10958/stat : 10958 (java) S 10837 10837 8853 0 -1 1077944384 308 0 0 0 9 0 0 0 20 0 19 0 404642926 8262082560 29353 33554432000 4194304 4196468 140730956643440 140553183230576 140553940593282 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14536704 140730956645371 140730956645530 140730956645530 140730956648399 0
[pid=10947/tid=10959] ppid=10837 vsize=8068440 memory=524300 CPUtime=0.19 cores=1,3,5,7
/proc/10947/task/10959/stat : 10959 (java) S 10837 10837 8853 0 -1 1077944384 530 0 0 0 19 0 0 0 20 0 19 0 404642926 8262082560 29353 33554432000 4194304 4196468 140730956643440 140553182178032 140553940593282 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14536704 140730956645371 140730956645530 140730956645530 140730956648399 0
[pid=10947/tid=10960] ppid=10837 vsize=8068440 memory=331120 CPUtime=0 cores=1,3,5,7
/proc/10947/task/10960/stat : 10960 (java) S 10837 10837 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 404642926 8262082560 29353 33554432000 4194304 4196468 140730956643440 140551798123616 140553940592341 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14536704 140730956645371 140730956645530 140730956645530 140730956648399 0
[pid=10947/tid=10961] ppid=10837 vsize=8068440 memory=1412 CPUtime=0.04 cores=1,3,5,7
/proc/10947/task/10961/stat : 10961 (java) S 10837 10837 8853 0 -1 1077944384 7 0 0 0 2 2 0 0 20 0 19 0 404642927 8262082560 29353 33554432000 4194304 4196468 140730956643440 140553181124912 140553940593282 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 9 0 0 6293624 6294260 14536704 140730956645371 140730956645530 140730956645530 140730956648399 0
[pid=10947/tid=10963] ppid=10837 vsize=8068440 memory=3228 CPUtime=0 cores=1,3,5,7
/proc/10947/task/10963/stat : 10963 (java) S 10837 10837 8853 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 404642992 8262082560 29353 33554432000 4194304 4196468 140730956643440 140553409057856 140553940606745 0 4 2 25189581 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 14536704 140730956645371 140730956645530 140730956645530 140730956648399 0
[pid=10947/tid=10965] ppid=10837 vsize=8068440 memory=11624 CPUtime=0 cores=1,3,5,7
/proc/10947/task/10965/stat : 10965 (java) S 10837 10837 8853 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 404642992 8262082560 29353 33554432000 4194304 4196468 140730956643440 140551261240944 140553940604061 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 14536704 140730956645371 140730956645530 140730956645530 140730956648399 0
[pid=10947/tid=10966] ppid=10837 vsize=8068440 memory=732 CPUtime=0 cores=1,3,5,7
/proc/10947/task/10966/stat : 10966 (java) S 10837 10837 8853 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 404642992 8262082560 29353 33554432000 4194304 4196468 140730956643440 140550992805648 140553940604061 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 14536704 140730956645371 140730956645530 140730956645530 140730956648399 0
[pid=10947/tid=10967] ppid=10837 vsize=8068440 memory=3512 CPUtime=0 cores=1,3,5,7
/proc/10947/task/10967/stat : 10967 (java) S 10837 10837 8853 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 19 0 404642995 8262082560 29353 33554432000 4194304 4196468 140730956643440 140551529684528 140553940592341 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14536704 140730956645371 140730956645530 140730956645530 140730956648399 0
Current children cumulated CPU time: 1982.08 s
Current children cumulated vsize: 8804812 KiB
Current children cumulated memory: 643188 KiB
[startup+1056.4 s]
/proc/loadavg: 2.30 2.99 2.60 3/239 10971
/proc/meminfo: memFree=14246352/32770624 swapFree=66957008/67108860
[pid=10837] ppid=10834 vsize=113128 memory=1476 CPUtime=1908.09 cores=1,3,5,7
/proc/10837/stat : 10837 (scop.sh) S 10834 10837 8853 0 -1 4202496 584 272337 0 0 0 0 190010 799 20 0 1 0 404544670 115843072 369 33554432000 4194304 5098028 140732901411456 140732901408200 140681592656508 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 9547776 140732901413672 140732901414000 140732901414000 140732901416909 0
/proc/10837/statm: 28282 369 311 221 0 87 0
[pid=10947] ppid=10837 vsize=8068440 memory=117412 CPUtime=1.21 cores=1,3,5,7
/proc/10947/stat : 10947 (java) S 10837 10837 8853 0 -1 1077944320 19885 0 0 0 112 9 0 0 20 0 19 0 404642920 8262082560 29353 33554432000 4194304 4196468 140730956643440 140730956625984 140553940582135 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14536704 140730956645371 140730956645530 140730956645530 140730956648399 0
/proc/10947/statm: 2017110 29353 3201 1 0 1978454 0
[pid=10962] ppid=10947 vsize=623244 memory=524300 CPUtime=73.17 cores=1,3,5,7
/proc/10962/stat : 10962 (glueminisat-sim) R 10947 10837 8853 0 -1 4202496 418531 0 0 0 7270 47 0 0 20 0 1 0 404642992 638201856 131075 33554432000 4194304 4452875 140723170937344 140723170932440 4372376 0 4 0 8388610 0 0 0 17 1 0 0 0 0 0 6552096 6554264 13389824 140723170943839 140723170944039 140723170944039 140723170946989 0
/proc/10962/statm: 155811 131075 374 64 0 152015 0
[pid=10947/tid=10948] ppid=10837 vsize=8068440 memory=932 CPUtime=0.74 cores=1,3,5,7
/proc/10947/task/10948/stat : 10948 (java) S 10837 10837 8853 0 -1 1077944384 16899 0 0 0 68 6 0 0 20 0 19 0 404642920 8262082560 29353 33554432000 4194304 4196468 140730956643440 140553912422304 140553940592341 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14536704 140730956645371 140730956645530 140730956645530 140730956648399 0
[pid=10947/tid=10949] ppid=10837 vsize=8068440 memory=1768 CPUtime=0 cores=1,3,5,7
/proc/10947/task/10949/stat : 10949 (java) S 10837 10837 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 404642921 8262082560 29353 33554432000 4194304 4196468 140730956643440 140553944824592 140553940592341 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14536704 140730956645371 140730956645530 140730956645530 140730956648399 0
[pid=10947/tid=10950] ppid=10837 vsize=8068440 memory=1436 CPUtime=0 cores=1,3,5,7
/proc/10947/task/10950/stat : 10950 (java) S 10837 10837 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 404642921 8262082560 29353 33554432000 4194304 4196468 140730956643440 140553425513360 140553940592341 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14536704 140730956645371 140730956645530 140730956645530 140730956648399 0
[pid=10947/tid=10951] ppid=10837 vsize=8068440 memory=896 CPUtime=0 cores=1,3,5,7
/proc/10947/task/10951/stat : 10951 (java) S 10837 10837 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 404642921 8262082560 29353 33554432000 4194304 4196468 140730956643440 140553424460816 140553940592341 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14536704 140730956645371 140730956645530 140730956645530 140730956648399 0
[pid=10947/tid=10952] ppid=10837 vsize=8068440 memory=1980 CPUtime=0 cores=1,3,5,7
/proc/10947/task/10952/stat : 10952 (java) S 10837 10837 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 404642921 8262082560 29353 33554432000 4194304 4196468 140730956643440 140553423408272 140553940592341 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14536704 140730956645371 140730956645530 140730956645530 140730956648399 0
[pid=10947/tid=10953] ppid=10837 vsize=8068440 memory=2520 CPUtime=0 cores=1,3,5,7
/proc/10947/task/10953/stat : 10953 (java) S 10837 10837 8853 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 19 0 404642923 8262082560 29353 33554432000 4194304 4196468 140730956643440 140553185335280 140553940593282 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14536704 140730956645371 140730956645530 140730956645530 140730956648399 0
[pid=10947/tid=10954] ppid=10837 vsize=8068440 memory=1760 CPUtime=0 cores=1,3,5,7
/proc/10947/task/10954/stat : 10954 (java) S 10837 10837 8853 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 404642923 8262082560 29353 33554432000 4194304 4196468 140730956643440 140552804754336 140553940592341 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14536704 140730956645371 140730956645530 140730956645530 140730956648399 0
[pid=10947/tid=10955] ppid=10837 vsize=8068440 memory=776 CPUtime=0 cores=1,3,5,7
/proc/10947/task/10955/stat : 10955 (java) S 10837 10837 8853 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 404642923 8262082560 29353 33554432000 4194304 4196468 140730956643440 140552670532592 140553940592341 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14536704 140730956645371 140730956645530 140730956645530 140730956648399 0
[pid=10947/tid=10956] ppid=10837 vsize=8068440 memory=1560 CPUtime=0 cores=1,3,5,7
/proc/10947/task/10956/stat : 10956 (java) S 10837 10837 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 404642926 8262082560 29353 33554432000 4194304 4196468 140730956643440 140552296028368 140553940600731 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14536704 140730956645371 140730956645530 140730956645530 140730956648399 0
[pid=10947/tid=10957] ppid=10837 vsize=8068440 memory=4008 CPUtime=0.1 cores=1,3,5,7
/proc/10947/task/10957/stat : 10957 (java) S 10837 10837 8853 0 -1 1077944384 723 0 0 0 10 0 0 0 20 0 19 0 404642926 8262082560 29353 33554432000 4194304 4196468 140730956643440 140553184283120 140553940593282 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14536704 140730956645371 140730956645530 140730956645530 140730956648399 0
[pid=10947/tid=10958] ppid=10837 vsize=8068440 memory=1096 CPUtime=0.09 cores=1,3,5,7
/proc/10947/task/10958/stat : 10958 (java) S 10837 10837 8853 0 -1 1077944384 308 0 0 0 9 0 0 0 20 0 19 0 404642926 8262082560 29353 33554432000 4194304 4196468 140730956643440 140553183230576 140553940593282 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14536704 140730956645371 140730956645530 140730956645530 140730956648399 0
[pid=10947/tid=10959] ppid=10837 vsize=8068440 memory=2828 CPUtime=0.19 cores=1,3,5,7
/proc/10947/task/10959/stat : 10959 (java) S 10837 10837 8853 0 -1 1077944384 530 0 0 0 19 0 0 0 20 0 19 0 404642926 8262082560 29353 33554432000 4194304 4196468 140730956643440 140553182178032 140553940593282 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14536704 140730956645371 140730956645530 140730956645530 140730956648399 0
[pid=10947/tid=10960] ppid=10837 vsize=8068440 memory=1164 CPUtime=0 cores=1,3,5,7
/proc/10947/task/10960/stat : 10960 (java) S 10837 10837 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 404642926 8262082560 29353 33554432000 4194304 4196468 140730956643440 140551798123616 140553940592341 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14536704 140730956645371 140730956645530 140730956645530 140730956648399 0
[pid=10947/tid=10961] ppid=10837 vsize=8068440 memory=14008 CPUtime=0.04 cores=1,3,5,7
/proc/10947/task/10961/stat : 10961 (java) S 10837 10837 8853 0 -1 1077944384 7 0 0 0 2 2 0 0 20 0 19 0 404642927 8262082560 29353 33554432000 4194304 4196468 140730956643440 140553181124912 140553940593282 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 9 0 0 6293624 6294260 14536704 140730956645371 140730956645530 140730956645530 140730956648399 0
[pid=10947/tid=10963] ppid=10837 vsize=8068440 memory=12040 CPUtime=0 cores=1,3,5,7
/proc/10947/task/10963/stat : 10963 (java) S 10837 10837 8853 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 404642992 8262082560 29353 33554432000 4194304 4196468 140730956643440 140553409057856 140553940606745 0 4 2 25189581 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 14536704 140730956645371 140730956645530 140730956645530 140730956648399 0
[pid=10947/tid=10965] ppid=10837 vsize=8068440 memory=2124 CPUtime=0 cores=1,3,5,7
/proc/10947/task/10965/stat : 10965 (java) S 10837 10837 8853 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 404642992 8262082560 29353 33554432000 4194304 4196468 140730956643440 140551261240944 140553940604061 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 14536704 140730956645371 140730956645530 140730956645530 140730956648399 0
[pid=10947/tid=10966] ppid=10837 vsize=8068440 memory=19868 CPUtime=0 cores=1,3,5,7
/proc/10947/task/10966/stat : 10966 (java) S 10837 10837 8853 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 404642992 8262082560 29353 33554432000 4194304 4196468 140730956643440 140550992805648 140553940604061 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 14536704 140730956645371 140730956645530 140730956645530 140730956648399 0
[pid=10947/tid=10967] ppid=10837 vsize=8068440 memory=3512 CPUtime=0 cores=1,3,5,7
/proc/10947/task/10967/stat : 10967 (java) S 10837 10837 8853 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 19 0 404642995 8262082560 29353 33554432000 4194304 4196468 140730956643440 140551529684528 140553940592341 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14536704 140730956645371 140730956645530 140730956645530 140730956648399 0
Current children cumulated CPU time: 1982.47 s
Current children cumulated vsize: 8804812 KiB
Current children cumulated memory: 643188 KiB
Child status: 0
Real time (s): 1056.47
CPU time (s): 1982.59
CPU user time (s): 1973.98
CPU system time (s): 8.60934
CPU usage (%): 187.661
Max. virtual memory (cumulated for all children) (KiB): 15140452
Max. memory (cumulated for all children) (KiB): 12064436
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1973.98
system time used= 8.60934
maximum resident set size= 12063716
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 711559
page faults= 0
swaps= 0
block input operations= 8
block output operations= 312760
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 37307
involuntary context switches= 12626
# summary of solver processes directly reported to runsolver:
# pid: 10837
# total CPU time (s): 1982.59
# total CPU user time (s): 1973.98
# total CPU system time (s): 8.60934
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.79982 second user time and 10.942 second system time
The end