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-10735-serial-file.bin HOME/instance-4387875-1568292047.xml
0.65/0.53
0.65/0.53 Fun-sCOP order+glueminisat-simp-2.2.10-193oa-n-release (2019-06-15)
0.65/0.53
0.65/0.56 c BEGIN-Prog: Thu Sep 12 14:40:09 CEST 2019
0.65/0.56 c PID: 10738
0.65/0.56 c IP: 172.20.3.150
0.65/0.56 c HOST: node150.alineos.net
0.65/0.56 c (0,0) Parsing Begin
52.75/36.94 c (36,33) Parsing End
52.75/36.95 c (36,33) CSP: 600 int (0 aux), 0 bool (0 aux), 718800 ctr, max domain size 599
52.75/36.96 c (36,33) Heap : 1198 MiB used (max 10118 MiB), NonHeap : 24 MiB used (max 0 MiB)
52.75/36.96 c (36,33) Constraint Name Generate Begin
54.73/38.71 c (38,35) Ctr:HOME/instance-4387875-1568292047.xml,Eq:Imp:Le:Num:Var
54.73/38.71 c (38,35) Constraint Name Generate End
54.73/38.71 c (38,35) Heap : 1721 MiB used (max 10118 MiB), NonHeap : 25 MiB used (max 0 MiB)
54.73/38.71 c (38,35) CSP to CSPinCNF Begin
58.11/41.17 c (40,37) translated 71880 (10%) constraints
60.28/43.22 c (42,39) translated 143760 (20%) constraints
64.37/45.78 c (45,41) translated 215640 (30%) constraints
66.47/47.80 c (47,43) translated 287520 (40%) constraints
68.47/49.82 c (49,45) translated 359400 (50%) constraints
70.69/51.92 c (51,47) translated 431280 (60%) constraints
72.69/54.00 c (53,49) translated 503160 (70%) constraints
77.91/56.86 c (56,51) translated 575040 (80%) constraints
80.01/58.94 c (58,53) translated 646920 (90%) constraints
82.21/61.03 c (60,56) translated 718800 (100%) constraints
82.21/61.03 c (60,56) ===========================================
82.21/61.03 c (60,56) Order
82.21/61.03 c (60,56) ===========================================
83.75/62.09 c (61,57) translated 71880 (10%) constraints
84.75/63.09 c (62,58) translated 143760 (20%) constraints
85.79/64.08 c (63,59) translated 215640 (30%) constraints
86.80/65.06 c (64,60) translated 287520 (40%) constraints
89.15/66.39 c (65,61) translated 359400 (50%) constraints
95.07/71.16 c (70,65) translated 431280 (60%) constraints
101.05/76.05 c (75,70) translated 503160 (70%) constraints
107.29/81.05 c (80,74) translated 575040 (80%) constraints
111.80/85.54 c (85,79) translated 646920 (90%) constraints
118.17/90.51 c (89,83) translated 718800 (100%) constraints
118.17/90.51 c (89,83) CSP to CSPinCNF End
118.28/90.62 c (90,84) CSP: 600 int (0 aux), 359400 bool (359400 aux), 1437600 ctr, max domain size 599
118.28/90.62 c (90,84) Heap : 3862 MiB used (max 10570 MiB), NonHeap : 26 MiB used (max 0 MiB)
118.28/90.62 c (90,84) CSPinCNF Propagation Begin
333.18/290.70 c (290,279) 623876 values, 944992 unsatisfiable literals, and 1289712 valid clauses are removed
333.18/290.70 c (290,279) CSPinCNF Propagation End
333.29/290.84 c (290,279) CSP: 581 int (0 aux), 359419 bool (359400 aux), 147888 ctr, max domain size 578
333.29/290.84 c (290,279) Heap : 3243 MiB used (max 10713 MiB), NonHeap : 26 MiB used (max 0 MiB)
333.29/290.86 c (290,279) Simplify CSPinCNF Begin
333.77/291.11 c (290,280) Simplify CSPinCNF End
333.86/291.25 c (290,280) CSP: 581 int (0 aux), 359419 bool (359400 aux), 147888 ctr, max domain size 578
333.86/291.25 c (290,280) Heap : 3402 MiB used (max 10713 MiB), NonHeap : 26 MiB used (max 0 MiB)
333.86/291.25 c (290,280) Calculate Precise Domain Begin
333.86/291.25 c (290,280) 0 values are removed by re-calculation
333.86/291.25 c (290,280) Calculate Precise Domain End
333.96/291.39 c (290,280) CSP: 581 int (0 aux), 359419 bool (359400 aux), 147888 ctr, max domain size 578
333.96/291.39 c (290,280) Heap : 3402 MiB used (max 10713 MiB), NonHeap : 26 MiB used (max 0 MiB)
333.96/291.39 c (290,280) CSPinCNF to SatSolver Begin
336.15/292.20 c (291,281) 14789 (10 %) CSP clauses are encoded (0 SAT variables, 61164 SAT clauses)
336.41/292.32 c (291,281) 29578 (20 %) CSP clauses are encoded (0 SAT variables, 75953 SAT clauses)
336.52/292.42 c (291,281) 44367 (30 %) CSP clauses are encoded (0 SAT variables, 90742 SAT clauses)
336.63/292.51 c (291,281) 59156 (40 %) CSP clauses are encoded (0 SAT variables, 105531 SAT clauses)
336.73/292.60 c (292,281) 73944 (50 %) CSP clauses are encoded (0 SAT variables, 120319 SAT clauses)
336.73/292.70 c (292,281) 88733 (60 %) CSP clauses are encoded (0 SAT variables, 135108 SAT clauses)
336.83/292.79 c (292,281) 103522 (70 %) CSP clauses are encoded (0 SAT variables, 149897 SAT clauses)
336.93/292.88 c (292,281) 118311 (80 %) CSP clauses are encoded (0 SAT variables, 164686 SAT clauses)
337.03/292.97 c (292,281) 133100 (90 %) CSP clauses are encoded (0 SAT variables, 179475 SAT clauses)
337.14/293.07 c (292,282) 147888 (100 %) CSP clauses are encoded (0 SAT variables, 194263 SAT clauses)
337.14/293.07 c (292,282) CSPinCNF to SatSolver End
337.14/293.07 c (292,282) Heap : 4670 MiB used (max 10713 MiB), NonHeap : 28 MiB used (max 0 MiB)
337.14/293.07 c (292,282) 94324 bool, 194264 clause
337.14/293.07 c (292,282) Export Begin
337.27/293.19 c (292,282) Export to HOME/scop-10735-serial-file.bin
337.27/293.19 c (292,282) Export End
337.27/293.19 c (292,282) Export File Size: 0.10 MB
337.27/293.19 c (292,282) 36,38,90,290,290,290,292,STOP-AFTER(DIMACS)
337.27/293.19 c END-Prog: Thu Sep 12 14:45:02 CEST 2019
337.48/293.23 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-10735-serial-file.bin
337.51/293.70 c (0,0) Read Serial File Begin
337.51/293.70 c (0,0) HOME/scop-10735-serial-file.bin
337.51/293.94 c (0,0) Read Serial File End
337.51/293.95
337.51/293.95 Fun-sCOP order+glueminisat-simp-2.2.10-193oa-n-release (2019-06-15)
337.51/293.95 (Solving Process)
337.51/293.95
337.51/293.97 c BEGIN-Prog: Thu Sep 12 14:45:03 CEST 2019
337.51/293.97 c PID: 10776
337.51/293.97 c IP: 172.20.3.150
337.51/293.97 c HOST: node150.alineos.net
337.51/293.98 c (0,0) SatSolver.solve Begin
337.51/293.98 c (0,0) HOME/glueminisat-simp-2.2.10-193oa-n-release -model -verb=3 -elim-cl=5000000 -native-oa HOME/instance-4387875-1568292047.xml-scop-10738.cnf
338.69/294.01 c (0,0) c WARNING: for repeatability, setting FPU to use double precision
338.69/294.01 c (0,0) c glueminisat-simp-2.2.10-193oa-n
338.69/294.02 c (0,0) c Command: HOME/glueminisat-simp-2.2.10-193oa-n-release -model -verb=3 -elim-cl=5000000 -native-oa HOME/instance-4387875-1568292047.xml-scop-10738.cnf
338.69/294.02 c (0,0) c Options:
338.69/294.02 c (0,0) c CORE
338.69/294.02 c (0,0) c var_decay = 0.950
338.69/294.02 c (0,0) c clause_decay = 0.999
338.69/294.02 c (0,0) c random_var_freq = 0.000
338.69/294.02 c (0,0) c random_seed = 91648253.000
338.69/294.02 c (0,0) c luby_restart = 1
338.69/294.02 c (0,0) c ccmin_mode = 2
338.69/294.02 c (0,0) c phase_saving = 2
338.69/294.02 c (0,0) c rnd_pol = 0
338.69/294.02 c (0,0) c rnd_init_act = 0
338.69/294.02 c (0,0) c garbage_frac = 0.200
338.69/294.02 c (0,0) c restart_first = 1000
338.69/294.02 c (0,0) c restart_inc = 2.000
338.69/294.02 c (0,0) c MODEL
338.69/294.02 c (0,0) c partial_model = 0
338.69/294.02 c (0,0) c PROPAGATION
338.69/294.02 c (0,0) c bin_propagation = 1
338.69/294.02 c (0,0) c SIMPLIFICATION
338.69/294.02 c (0,0) c lrn_min_size = 100
338.69/294.02 c (0,0) c lazy_simp = 1
338.69/294.02 c (0,0) c lazy_interval = 10
338.69/294.02 c (0,0) c lazy_fld_probing = 1
338.69/294.02 c (0,0) c lazy_pol_probing = 1
338.69/294.02 c (0,0) c lazy_nec_probing = 1
338.69/294.02 c (0,0) c lazy_eqv_probing = 1
338.69/294.02 c (0,0) c lazy_cla_probing = 1
338.69/294.02 c (0,0) c lazy_lrn_min = 2
338.69/294.02 c (0,0) c lazy_uw_lit_elim = 1
338.69/294.02 c (0,0) c lazy_pr_lit_elim = 0
338.69/294.02 c (0,0) c lazy_bin_add = 3
338.69/294.02 c (0,0) c probed_lit_chain = 1
338.69/294.02 c (0,0) c pr_min_lits = 0.00020
338.69/294.02 c (0,0) c pr_min_starts = 500
338.69/294.02 c (0,0) c rw_min_lits = 0.010
338.69/294.02 c (0,0) c rw_min_starts = 500
338.69/294.02 c (0,0) c rand_attach = 0
338.69/294.02 c (0,0) c dec_elim = 1
338.69/294.02 c (0,0) c dec_elim_lim = 25
338.69/294.02 c (0,0) c dec_elim_len = -1
338.69/294.02 c (0,0) c amo = 0
338.69/294.02 c (0,0) c amo_grp = 1
338.69/294.02 c (0,0) c amo_max_bins = 1000000
338.69/294.02 c (0,0) c amo_starts = 50
338.69/294.02 c (0,0) c mace_cmd = mace
338.69/294.02 c (0,0) c DECISION
338.69/294.02 c (0,0) c rand_rebuild = 0
338.69/294.02 c (0,0) c rand_rebuild_confs = 10000
338.69/294.02 c (0,0) c inc_var_decay = 1
338.69/294.02 c (0,0) c inc_var_decay_period = 100000
338.69/294.02 c (0,0) c inc_var_decay_init = 0.600
338.69/294.02 c (0,0) c var_decay_mode = 0
338.69/294.02 c (0,0) c var_decay_gain = 0
338.69/294.02 c (0,0) c sloped_var_decay = 1
338.69/294.02 c (0,0) c max_var_decay = 0.990
338.69/294.02 c (0,0) c min_var_decay = 0.950
338.69/294.02 c (0,0) c min_var_decay_vars = 10000
338.69/294.02 c (0,0) c max_var_decay_vars = 500
338.69/294.02 c (0,0) c uip_bumping = 1
338.69/294.02 c (0,0) c lbd_act_bumping = 1
338.69/294.02 c (0,0) c rand_tiebreak = 0
338.69/294.02 c (0,0) c simp_rebuild = 1
338.69/294.02 c (0,0) c RESTART
338.69/294.02 c (0,0) c restart_strategy = 2
338.69/294.02 c (0,0) c restart_blocking = 0
338.69/294.02 c (0,0) c agility_decay = 0.99990
338.69/294.02 c (0,0) c lbd_restart_rate = 0.800
338.69/294.02 c (0,0) c dec_restart_rate = 0.950
338.69/294.02 c (0,0) c blk_restart_rate = 0.700
338.69/294.02 c (0,0) c lbd_queue_size = 50
338.69/294.02 c (0,0) c dec_queue_size = 50
338.69/294.02 c (0,0) c trl_queue_size = 5000
338.69/294.02 c (0,0) c blk_restart_weight = 1.000
338.69/294.02 c (0,0) c inc_rst_rate = 0
338.69/294.02 c (0,0) c inc_rst_rate_period = 500000
338.69/294.02 c (0,0) c inc_lbd_rst_rate_init = 0.600
338.69/294.02 c (0,0) c inc_dec_rst_rate_init = 0.750
338.69/294.02 c (0,0) c REDUCTION
338.69/294.02 c (0,0) c closed_lbd = 0
338.69/294.02 c (0,0) c closed_lbd_rate = 0.500
338.69/294.02 c (0,0) c rm_simulate = 0
338.69/294.02 c (0,0) c rdb_eval = 2
338.69/294.02 c (0,0) c rdb_call = 3
338.69/294.02 c (0,0) c rdb_ub = 0.500
338.69/294.02 c (0,0) c core_lbd_cvr = 0.800
338.69/294.02 c (0,0) c supp_lbd_cvr = 0.990
338.69/294.02 c (0,0) c core_lbd_lb = 2
338.69/294.02 c (0,0) c supp_lbd_lb = 2
338.69/294.02 c (0,0) c core_lbd_prd = 7
338.69/294.02 c (0,0) c supp_lbd_prd = 1
338.69/294.02 c (0,0) c othr_lbd_prd = 0
338.69/294.02 c (0,0) c inc_lrn_limit = 1000
338.69/294.02 c (0,0) c frozen_lbd = 30
338.69/294.02 c (0,0) c simp_min_starts = 100
338.69/294.02 c (0,0) c rm_low_act_learnts = 1
338.69/294.02 c (0,0) c lv0_reduce_db = 0
338.69/294.02 c (0,0) c reduce_db_base = 20000
338.69/294.02 c (0,0) c reduce_db_inc = 1000
338.69/294.02 c (0,0) c HARD
338.69/294.02 c (0,0) c inst_check = 200000
338.69/294.02 c (0,0) c small_block = 1.750
338.69/294.02 c (0,0) c slow_restart_speed = 400.000
338.69/294.02 c (0,0) c slow_restart_strategy = 3
338.69/294.02 c (0,0) c slow_lbd_restart_rate = 0.700
338.69/294.02 c (0,0) c slow_dec_restart_rate = 1.000
338.69/294.02 c (0,0) c slow_lbd_queue_size = 50
338.69/294.02 c (0,0) c slow_var_decay = 0.950
338.69/294.02 c (0,0) c slow_glue_threshold = 2
338.69/294.02 c (0,0) c slow_phase_saving = 2
338.69/294.02 c (0,0) c fast_restart_speed = 125.000
338.69/294.02 c (0,0) c fast_restart_strategy = 1
338.69/294.02 c (0,0) c fast_lbd_restart_rate = 0.800
338.69/294.02 c (0,0) c fast_dec_restart_rate = 0.950
338.69/294.02 c (0,0) c fast_lbd_queue_size = 50
338.69/294.02 c (0,0) c fast_var_decay = 1.000
338.69/294.02 c (0,0) c fast_glue_threshold = 2
338.69/294.02 c (0,0) c fast_phase_saving = 2
338.69/294.02 c (0,0) c STATS
338.69/294.02 c (0,0) c stats_conf_size = 10000
338.69/294.02 c (0,0) c max_stats_size = 30
338.69/294.02 c (0,0) c SOLVER
338.69/294.02 c (0,0) c minisat = 0
338.79/294.12 c (0,0) c Problem: 94324 variables, 194264 clauses, parsing 0.11 s
338.79/294.34 c (0,0) c reduced to 4369 variables, 18637 clauses (grow = 0)
338.79/294.34 c (0,0) c exclude 0 (0.0%) variables from decision variables (last cost 0)
338.79/294.35 c (0,0) c Simplification: 89955 vars, 175627 clauses are eliminated using 0.23 s
338.79/294.35 c (0,0) c
338.79/294.35 c (0,0) c #Rstrts #Confs #Vars #Clauses #Learnts Lits/C LBD/C DLVs Trail
338.79/294.35 c (0,0) c
338.79/294.35 c (0,0) c 0 0 0 4369 18637 0 -nan -nan -nan -nan%
338.79/294.36 c (0,0) c 0 1 6 -4354 18637 4 29.0 2.0 1.7 35.2%
338.79/294.36 c (0,0) c
338.79/294.36 c (0,0) c
338.79/294.36 c (0,0) c variables : -4354 (init 94324, after simp 4369, 0 non-decs, 522 csp)
338.79/294.36 c (0,0) c clauses : 18637 (init 194264, after simp 18637)
338.79/294.36 c (0,0) c restarts : 0 (6.00 confs/res, 6~6 confs, 0 blks, 0 last)
338.79/294.36 c (0,0) c conflicts : 6 (17 /sec, 66.67% dconfs, 0.00% supp, trail 18012.50w x 1.67h, jmp 1.00h)
338.79/294.36 c (0,0) c decisions : 6 (0.6000 vdcy, 17 /sec, 0.00% bin, rs 0.000 s)
338.79/294.36 c (0,0) c propagations : 60687 (173525 /sec, 10114.50 lits/dec, 98.71% o.a.)
338.79/294.36 c (0,0) c conflict literals : 192 (39.06% deleted; 0.00% by bin min, 0.000 s)
338.79/294.36 c (0,0) c len : 29.000 (19.50 for all, max 80, used 0)
338.79/294.36 c (0,0) c lbd : 2.000 (1.50 (1.50) for all, max 2, used 0, -nan stdev, 13.000 blk)
338.79/294.36 c (0,0) c amo : 0 (0 max, -nan avg, 0.000 s)
338.79/294.36 c (0,0) c simp dbs : 1 (0.001 s)
338.79/294.36 c (0,0) c reduce dbs : 0 (core-lbd 2, supp-lbd 2147483647, 0.000 s)
338.79/294.36 c (0,0) c learnts : 4 (0 learnts removed, 0.00%)
338.79/294.36 c (0,0) c rewrite dbs : 0 (0/0 vars, 0+0 taut, 0+0 unit, 0.000 s)
338.79/294.36 c (0,0) c assigned lits : 0 (0/0 probed, 0 remains)
338.79/294.36 c (0,0) c premise updates : 0 (0.00 /lit)
338.79/294.36 c (0,0) c probed variables : 0 (0 pr, 0 eq, 0 fld, 0 pol, 0 nec, 0 cla, 0 amo)
338.79/294.36 c (0,0) c equiv variables : 0 (0 bin, 0 trn, 0 quat, 0 quin, 0 othr; 0 amo)
338.79/294.36 c (0,0) c lazy added bins : 0 (0 prop + 0 conf, 0.000s)
338.79/294.36 c (0,0) c unwatched lit elim: 0 (0.00+0.00%, 0+0 of 47494+192)
338.79/294.36 c (0,0) c classified type : undef
338.79/294.36 c (0,0) c progress : 199.657%
338.79/294.36 c (0,0) c
338.79/294.36 c (0,0) c [Statistics]
338.79/294.36 c (0,0) c learnts len learnts lbd lit blk size eq vars size
338.79/294.36 c (0,0) c tot 5 5 9 0
338.79/294.36 c (0,0) c avg 23.400 1.800 13.000 -nan
338.79/294.36 c (0,0) c 1 1 (20.0%) 1 (20.0%) 5 (55.6%) 0 (-nan%)
338.79/294.36 c (0,0) c 2 0 ( 0.0%) 4 (80.0%) 0 ( 0.0%) 0 (-nan%)
338.79/294.36 c (0,0) c 3 0 ( 0.0%) 0 ( 0.0%) 1 (11.1%) 0 (-nan%)
338.79/294.36 c (0,0) c 4 1 (20.0%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
338.79/294.36 c (0,0) c 5 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
338.79/294.36 c (0,0) c 6 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
338.79/294.36 c (0,0) c 7 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
338.79/294.36 c (0,0) c 8 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
338.79/294.36 c (0,0) c 9 0 ( 0.0%) 0 ( 0.0%) 1 (11.1%) 0 (-nan%)
338.79/294.36 c (0,0) c 10 1 (20.0%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
338.79/294.36 c (0,0) c 11 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
338.79/294.36 c (0,0) c 12 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
338.79/294.36 c (0,0) c 13 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
338.79/294.36 c (0,0) c 14 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
338.79/294.36 c (0,0) c 15 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
338.79/294.36 c (0,0) c 16 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
338.79/294.36 c (0,0) c 17 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
338.79/294.36 c (0,0) c 18 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
338.79/294.36 c (0,0) c 19 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
338.79/294.36 c (0,0) c 20 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
338.79/294.36 c (0,0) c 21 0 ( 0.0%) 0 ( 0.0%) 1 (11.1%) 0 (-nan%)
338.79/294.36 c (0,0) c 22 1 (20.0%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
338.79/294.36 c (0,0) c 23 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
338.79/294.36 c (0,0) c 24 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
338.79/294.36 c (0,0) c 25 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
338.79/294.36 c (0,0) c 26 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
338.79/294.36 c (0,0) c 27 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
338.79/294.36 c (0,0) c 28 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
338.79/294.36 c (0,0) c 29 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
338.79/294.36 c (0,0) c 30 1 (20.0%) 0 ( 0.0%) 1 (11.1%) 0 (-nan%)
338.79/294.36 c (0,0) c
338.79/294.36 c (0,0) c [LBD Statistics]
338.79/294.36 c (0,0) c LBD used lbd used clause lbd unused clause lbd
338.79/294.36 c (0,0) c tot 0 0 4
338.79/294.36 c (0,0) c avg -nan -nan 2.000
338.79/294.36 c (0,0) c 1 0 (-nan/-nan%) 0 (-nan/-nan%) 0 ( 0.0/ 0.0%)
338.79/294.36 c (0,0) c 2 0 (-nan/-nan%) 0 (-nan/-nan%) 4 (100.0/100.0%)
338.79/294.36 c (0,0) c
338.79/294.36 c (0,0) c Memory used : 68.00 MB
338.79/294.36 c (0,0) c CPU time : 0.350 s
338.79/294.36 c (0,0) c Real time : 0.361 s
338.79/294.36 c (0,0) c
338.79/294.36 c (0,0) s UNSATISFIABLE
338.79/294.37 c (0,0) SatSolver.solve End
338.79/294.37 c (0,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
338.79/294.37 c (0,0) Show results Begin
338.79/294.37 s UNSATISFIABLE
338.79/294.37 c (0,0) Show results End
338.79/294.37 c (0,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
338.79/294.37 c (0,0) 0,0,STOP-AFTER(ALL)
338.79/294.37 c END-Prog: Thu Sep 12 14:45:03 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 (7585 MiB free)
memory of node 1: 16384 MiB (15793 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4387875-1568292047/watcher-4387875-1568292047 -o /tmp/evaluation-result-4387875-1568292047/solver-4387875-1568292047 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node150-1568287240-8654 --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-4387875-1568292047.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=10735, runsolver pid=10732
Current StackSize limit: 8192 KiB
[startup+0.100244 s]*
/proc/loadavg: 1.98 2.34 2.93 3/234 10752
/proc/meminfo: memFree=23880180/32770624 swapFree=67015516/67108860
[pid=10735] ppid=10732 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/10735/stat : 10735 (scop.sh) S 10732 10735 7440 0 -1 4202496 556 322 0 0 0 0 0 0 20 0 1 0 405477441 115843072 349 33554432000 4194304 5098028 140724644472832 140724644470088 139912436253308 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 10465280 140724644475688 140724644476016 140724644476016 140724644478925 0
/proc/10735/statm: 28282 349 296 221 0 87 0
[pid=10738] ppid=10735 vsize=15012696 memory=71628 CPUtime=0.11 cores=1,3,5,7
/proc/10738/stat : 10738 (java) S 10735 10735 7440 0 -1 1077944320 6145 0 0 0 9 2 0 0 20 0 15 0 405477441 15373000704 17907 33554432000 4194304 4196468 140721177357680 140721177340224 140192310927095 0 0 2 16800973 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 19476480 140721177363182 140721177363610 140721177363610 140721177366479 0
/proc/10738/statm: 3753174 17907 2829 1 0 3715579 0
[pid=10738/tid=10739] ppid=10735 vsize=15012696 memory=7533807676074704953 CPUtime=0.08 cores=1,3,5,7
/proc/10738/task/10739/stat : 10739 (java) R 10735 10735 7440 0 -1 4202560 4146 0 0 0 7 1 0 0 20 0 15 0 405477441 15373000704 17972 33554432000 4194304 4196468 140721177357680 140192282711096 140192295007582 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19476480 140721177363182 140721177363610 140721177363610 140721177366479 0
[pid=10738/tid=10740] ppid=10735 vsize=15012696 memory=3472468472230971056 CPUtime=0 cores=1,3,5,7
/proc/10738/task/10740/stat : 10740 (java) S 10735 10735 7440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405477443 15373000704 17972 33554432000 4194304 4196468 140721177357680 140192315169680 140192310937301 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19476480 140721177363182 140721177363610 140721177363610 140721177366479 0
[pid=10738/tid=10741] ppid=10735 vsize=15012696 memory=140176003290752 CPUtime=0 cores=1,3,5,7
/proc/10738/task/10741/stat : 10741 (java) S 10735 10735 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405477443 15373000704 17972 33554432000 4194304 4196468 140721177357680 140192106253072 140192310937301 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19476480 140721177363182 140721177363610 140721177363610 140721177366479 0
[pid=10738/tid=10742] ppid=10735 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10738/task/10742/stat : 10742 (java) S 10735 10735 7440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405477443 15373000704 17972 33554432000 4194304 4196468 140721177357680 140192105200784 140192310937301 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19476480 140721177363182 140721177363610 140721177363610 140721177366479 0
[pid=10738/tid=10743] ppid=10735 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10738/task/10743/stat : 10743 (java) S 10735 10735 7440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405477443 15373000704 17972 33554432000 4194304 4196468 140721177357680 140192104147984 140192310937301 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19476480 140721177363182 140721177363610 140721177363610 140721177366479 0
[pid=10738/tid=10744] ppid=10735 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10738/task/10744/stat : 10744 (java) S 10735 10735 7440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405477444 15373000704 17972 33554432000 4194304 4196468 140721177357680 140191280883824 140192310938242 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19476480 140721177363182 140721177363610 140721177363610 140721177366479 0
[pid=10738/tid=10745] ppid=10735 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10738/task/10745/stat : 10745 (java) S 10735 10735 7440 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405477445 15373000704 17972 33554432000 4194304 4196468 140721177357680 140190886650656 140192310937301 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19476480 140721177363182 140721177363610 140721177363610 140721177366479 0
[pid=10738/tid=10746] ppid=10735 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10738/task/10746/stat : 10746 (java) S 10735 10735 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405477445 15373000704 17972 33554432000 4194304 4196468 140721177357680 140190618215536 140192310937301 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19476480 140721177363182 140721177363610 140721177363610 140721177366479 0
[pid=10738/tid=10747] ppid=10735 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10738/task/10747/stat : 10747 (java) S 10735 10735 7440 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405477447 15373000704 17972 33554432000 4194304 4196468 140721177357680 140190243706960 140192310945691 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19476480 140721177363182 140721177363610 140721177363610 140721177366479 0
[pid=10738/tid=10748] ppid=10735 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10738/task/10748/stat : 10748 (java) S 10735 10735 7440 0 -1 1077944384 300 0 0 0 0 0 0 0 20 0 15 0 405477447 15373000704 17972 33554432000 4194304 4196468 140721177357680 140191279831664 140192310938242 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19476480 140721177363182 140721177363610 140721177363610 140721177366479 0
[pid=10738/tid=10749] ppid=10735 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10738/task/10749/stat : 10749 (java) S 10735 10735 7440 0 -1 1077944384 125 0 0 0 0 0 0 0 20 0 15 0 405477447 15373000704 17972 33554432000 4194304 4196468 140721177357680 140191278778864 140192310938242 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19476480 140721177363182 140721177363610 140721177363610 140721177366479 0
[pid=10738/tid=10750] ppid=10735 vsize=15012696 memory=140176003290752 CPUtime=0.01 cores=1,3,5,7
/proc/10738/task/10750/stat : 10750 (java) S 10735 10735 7440 0 -1 1077944384 365 0 0 0 1 0 0 0 20 0 15 0 405477447 15373000704 17972 33554432000 4194304 4196468 140721177357680 140191277726576 140192310938242 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19476480 140721177363182 140721177363610 140721177363610 140721177366479 0
[pid=10738/tid=10751] ppid=10735 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10738/task/10751/stat : 10751 (java) S 10735 10735 7440 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405477448 15373000704 17972 33554432000 4194304 4196468 140721177357680 140189745802208 140192310937301 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19476480 140721177363182 140721177363610 140721177363610 140721177366479 0
[pid=10738/tid=10752] ppid=10735 vsize=15012696 memory=140176003290752 CPUtime=0 cores=1,3,5,7
/proc/10738/task/10752/stat : 10752 (java) S 10735 10735 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405477448 15373000704 17972 33554432000 4194304 4196468 140721177357680 140191276673456 140192310938242 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19476480 140721177363182 140721177363610 140721177363610 140721177366479 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 73024 KiB
[startup+0.210782 s]*
/proc/loadavg: 1.98 2.34 2.93 3/234 10752
/proc/meminfo: memFree=23861192/32770624 swapFree=67015516/67108860
[pid=10735] ppid=10732 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/10735/stat : 10735 (scop.sh) S 10732 10735 7440 0 -1 4202496 556 322 0 0 0 0 0 0 20 0 1 0 405477441 115843072 349 33554432000 4194304 5098028 140724644472832 140724644470088 139912436253308 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 10465280 140724644475688 140724644476016 140724644476016 140724644478925 0
/proc/10735/statm: 28282 349 296 221 0 87 0
[pid=10738] ppid=10735 vsize=15012696 memory=87796 CPUtime=0.25 cores=1,3,5,7
/proc/10738/stat : 10738 (java) S 10735 10735 7440 0 -1 1077944320 11533 0 0 0 21 4 0 0 20 0 15 0 405477441 15373000704 21949 33554432000 4194304 4196468 140721177357680 140721177340224 140192310927095 0 0 2 16800973 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 19476480 140721177363182 140721177363610 140721177363610 140721177366479 0
/proc/10738/statm: 3753174 21949 2954 1 0 3715579 0
[pid=10738/tid=10739] ppid=10735 vsize=15012696 memory=8514701219881125283 CPUtime=0.2 cores=1,3,5,7
/proc/10738/task/10739/stat : 10739 (java) R 10735 10735 7440 0 -1 4202560 9307 0 0 0 17 3 0 0 20 0 15 0 405477441 15373000704 22014 33554432000 4194304 4196468 140721177357680 140192282748448 140192295007582 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19476480 140721177363182 140721177363610 140721177363610 140721177366479 0
[pid=10738/tid=10740] ppid=10735 vsize=15012696 memory=3472468472230971056 CPUtime=0 cores=1,3,5,7
/proc/10738/task/10740/stat : 10740 (java) S 10735 10735 7440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405477443 15373000704 22014 33554432000 4194304 4196468 140721177357680 140192315169680 140192310937301 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19476480 140721177363182 140721177363610 140721177363610 140721177366479 0
[pid=10738/tid=10741] ppid=10735 vsize=15012696 memory=140176003290752 CPUtime=0 cores=1,3,5,7
/proc/10738/task/10741/stat : 10741 (java) S 10735 10735 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405477443 15373000704 22014 33554432000 4194304 4196468 140721177357680 140192106253072 140192310937301 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19476480 140721177363182 140721177363610 140721177363610 140721177366479 0
[pid=10738/tid=10742] ppid=10735 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10738/task/10742/stat : 10742 (java) S 10735 10735 7440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405477443 15373000704 22014 33554432000 4194304 4196468 140721177357680 140192105200784 140192310937301 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19476480 140721177363182 140721177363610 140721177363610 140721177366479 0
[pid=10738/tid=10743] ppid=10735 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10738/task/10743/stat : 10743 (java) S 10735 10735 7440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405477443 15373000704 22014 33554432000 4194304 4196468 140721177357680 140192104147984 140192310937301 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19476480 140721177363182 140721177363610 140721177363610 140721177366479 0
[pid=10738/tid=10744] ppid=10735 vsize=15012696 memory=140176003290752 CPUtime=0 cores=1,3,5,7
/proc/10738/task/10744/stat : 10744 (java) S 10735 10735 7440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405477444 15373000704 22014 33554432000 4194304 4196468 140721177357680 140191280883824 140192310938242 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19476480 140721177363182 140721177363610 140721177363610 140721177366479 0
[pid=10738/tid=10745] ppid=10735 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10738/task/10745/stat : 10745 (java) S 10735 10735 7440 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405477445 15373000704 22014 33554432000 4194304 4196468 140721177357680 140190886650656 140192310937301 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19476480 140721177363182 140721177363610 140721177363610 140721177366479 0
[pid=10738/tid=10746] ppid=10735 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10738/task/10746/stat : 10746 (java) S 10735 10735 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405477445 15373000704 22014 33554432000 4194304 4196468 140721177357680 140190618215536 140192310937301 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19476480 140721177363182 140721177363610 140721177363610 140721177366479 0
[pid=10738/tid=10747] ppid=10735 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10738/task/10747/stat : 10747 (java) S 10735 10735 7440 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405477447 15373000704 22014 33554432000 4194304 4196468 140721177357680 140190243706960 140192310945691 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19476480 140721177363182 140721177363610 140721177363610 140721177366479 0
[pid=10738/tid=10748] ppid=10735 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10738/task/10748/stat : 10748 (java) S 10735 10735 7440 0 -1 1077944384 311 0 0 0 0 0 0 0 20 0 15 0 405477447 15373000704 22014 33554432000 4194304 4196468 140721177357680 140191279831664 140192310938242 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19476480 140721177363182 140721177363610 140721177363610 140721177366479 0
[pid=10738/tid=10749] ppid=10735 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10738/task/10749/stat : 10749 (java) S 10735 10735 7440 0 -1 1077944384 158 0 0 0 0 0 0 0 20 0 15 0 405477447 15373000704 22014 33554432000 4194304 4196468 140721177357680 140191278778864 140192310938242 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19476480 140721177363182 140721177363610 140721177363610 140721177366479 0
[pid=10738/tid=10750] ppid=10735 vsize=15012696 memory=140176003290752 CPUtime=0.02 cores=1,3,5,7
/proc/10738/task/10750/stat : 10750 (java) S 10735 10735 7440 0 -1 1077944384 433 0 0 0 2 0 0 0 20 0 15 0 405477447 15373000704 22014 33554432000 4194304 4196468 140721177357680 140191277726576 140192310938242 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19476480 140721177363182 140721177363610 140721177363610 140721177366479 0
[pid=10738/tid=10751] ppid=10735 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10738/task/10751/stat : 10751 (java) S 10735 10735 7440 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405477448 15373000704 22014 33554432000 4194304 4196468 140721177357680 140189745802208 140192310937301 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19476480 140721177363182 140721177363610 140721177363610 140721177366479 0
[pid=10738/tid=10752] ppid=10735 vsize=15012696 memory=140176003290752 CPUtime=0 cores=1,3,5,7
/proc/10738/task/10752/stat : 10752 (java) S 10735 10735 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405477448 15373000704 22014 33554432000 4194304 4196468 140721177357680 140191276673456 140192310938242 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19476480 140721177363182 140721177363610 140721177363610 140721177366479 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 89192 KiB
[startup+0.310666 s]*
/proc/loadavg: 1.98 2.34 2.93 3/234 10752
/proc/meminfo: memFree=23858900/32770624 swapFree=67015516/67108860
[pid=10735] ppid=10732 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/10735/stat : 10735 (scop.sh) S 10732 10735 7440 0 -1 4202496 556 322 0 0 0 0 0 0 20 0 1 0 405477441 115843072 349 33554432000 4194304 5098028 140724644472832 140724644470088 139912436253308 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 10465280 140724644475688 140724644476016 140724644476016 140724644478925 0
/proc/10735/statm: 28282 349 296 221 0 87 0
[pid=10738] ppid=10735 vsize=15012696 memory=92008 CPUtime=0.43 cores=1,3,5,7
/proc/10738/stat : 10738 (java) S 10735 10735 7440 0 -1 1077944320 12538 0 0 0 38 5 0 0 20 0 15 0 405477441 15373000704 23002 33554432000 4194304 4196468 140721177357680 140721177340224 140192310927095 0 0 2 16800973 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 19476480 140721177363182 140721177363610 140721177363610 140721177366479 0
/proc/10738/statm: 3753174 23002 3032 1 0 3715579 0
[pid=10738/tid=10739] ppid=10735 vsize=15012696 memory=8514701219881125283 CPUtime=0.29 cores=1,3,5,7
/proc/10738/task/10739/stat : 10739 (java) R 10735 10735 7440 0 -1 4202560 10108 0 0 0 26 3 0 0 20 0 15 0 405477441 15373000704 23002 33554432000 4194304 4196468 140721177357680 140192282739440 140192296092743 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19476480 140721177363182 140721177363610 140721177363610 140721177366479 0
[pid=10738/tid=10740] ppid=10735 vsize=15012696 memory=3472468472230971056 CPUtime=0 cores=1,3,5,7
/proc/10738/task/10740/stat : 10740 (java) S 10735 10735 7440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405477443 15373000704 23002 33554432000 4194304 4196468 140721177357680 140192315169680 140192310937301 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19476480 140721177363182 140721177363610 140721177363610 140721177366479 0
[pid=10738/tid=10741] ppid=10735 vsize=15012696 memory=140176003298218 CPUtime=0 cores=1,3,5,7
/proc/10738/task/10741/stat : 10741 (java) S 10735 10735 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405477443 15373000704 23002 33554432000 4194304 4196468 140721177357680 140192106253072 140192310937301 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19476480 140721177363182 140721177363610 140721177363610 140721177366479 0
[pid=10738/tid=10742] ppid=10735 vsize=15012696 memory=140175854393659 CPUtime=0 cores=1,3,5,7
/proc/10738/task/10742/stat : 10742 (java) S 10735 10735 7440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405477443 15373000704 23002 33554432000 4194304 4196468 140721177357680 140192105200784 140192310937301 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19476480 140721177363182 140721177363610 140721177363610 140721177366479 0
[pid=10738/tid=10743] ppid=10735 vsize=15012696 memory=140175854399919 CPUtime=0 cores=1,3,5,7
/proc/10738/task/10743/stat : 10743 (java) S 10735 10735 7440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405477443 15373000704 23002 33554432000 4194304 4196468 140721177357680 140192104147984 140192310937301 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19476480 140721177363182 140721177363610 140721177363610 140721177366479 0
[pid=10738/tid=10744] ppid=10735 vsize=15012696 memory=140176003299406 CPUtime=0 cores=1,3,5,7
/proc/10738/task/10744/stat : 10744 (java) S 10735 10735 7440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405477444 15373000704 23002 33554432000 4194304 4196468 140721177357680 140191280883824 140192310938242 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19476480 140721177363182 140721177363610 140721177363610 140721177366479 0
[pid=10738/tid=10745] ppid=10735 vsize=15012696 memory=140175854390735 CPUtime=0 cores=1,3,5,7
/proc/10738/task/10745/stat : 10745 (java) S 10735 10735 7440 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405477445 15373000704 23002 33554432000 4194304 4196468 140721177357680 140190886650656 140192310937301 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19476480 140721177363182 140721177363610 140721177363610 140721177366479 0
[pid=10738/tid=10746] ppid=10735 vsize=15012696 memory=280351708795248 CPUtime=0 cores=1,3,5,7
/proc/10738/task/10746/stat : 10746 (java) S 10735 10735 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405477445 15373000704 23002 33554432000 4194304 4196468 140721177357680 140190618215536 140192310937301 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19476480 140721177363182 140721177363610 140721177363610 140721177366479 0
[pid=10738/tid=10747] ppid=10735 vsize=15012696 memory=140175854408168 CPUtime=0 cores=1,3,5,7
/proc/10738/task/10747/stat : 10747 (java) S 10735 10735 7440 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405477447 15373000704 23002 33554432000 4194304 4196468 140721177357680 140190243706960 140192310945691 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19476480 140721177363182 140721177363610 140721177363610 140721177366479 0
[pid=10738/tid=10748] ppid=10735 vsize=15012696 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/10738/task/10748/stat : 10748 (java) S 10735 10735 7440 0 -1 1077944384 419 0 0 0 2 0 0 0 20 0 15 0 405477447 15373000704 23002 33554432000 4194304 4196468 140721177357680 140191279831664 140192310938242 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19476480 140721177363182 140721177363610 140721177363610 140721177366479 0
[pid=10738/tid=10749] ppid=10735 vsize=15012696 memory=2240 CPUtime=0.01 cores=1,3,5,7
/proc/10738/task/10749/stat : 10749 (java) S 10735 10735 7440 0 -1 1077944384 195 0 0 0 1 0 0 0 20 0 15 0 405477447 15373000704 23002 33554432000 4194304 4196468 140721177357680 140191278778864 140192310938242 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19476480 140721177363182 140721177363610 140721177363610 140721177366479 0
[pid=10738/tid=10750] ppid=10735 vsize=15012696 memory=140176003290752 CPUtime=0.07 cores=1,3,5,7
/proc/10738/task/10750/stat : 10750 (java) S 10735 10735 7440 0 -1 1077944384 482 0 0 0 7 0 0 0 20 0 15 0 405477447 15373000704 23002 33554432000 4194304 4196468 140721177357680 140191277726576 140192310938242 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19476480 140721177363182 140721177363610 140721177363610 140721177366479 0
[pid=10738/tid=10751] ppid=10735 vsize=15012696 memory=2208 CPUtime=0 cores=1,3,5,7
/proc/10738/task/10751/stat : 10751 (java) S 10735 10735 7440 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405477448 15373000704 23002 33554432000 4194304 4196468 140721177357680 140189745802208 140192310937301 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19476480 140721177363182 140721177363610 140721177363610 140721177366479 0
[pid=10738/tid=10752] ppid=10735 vsize=15012696 memory=140176003290752 CPUtime=0 cores=1,3,5,7
/proc/10738/task/10752/stat : 10752 (java) S 10735 10735 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405477448 15373000704 23002 33554432000 4194304 4196468 140721177357680 140191276673456 140192310938242 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19476480 140721177363182 140721177363610 140721177363610 140721177366479 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 93404 KiB
[startup+0.709247 s]
/proc/loadavg: 1.98 2.34 2.93 3/234 10752
/proc/meminfo: memFree=23837196/32770624 swapFree=67015516/67108860
[pid=10735] ppid=10732 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/10735/stat : 10735 (scop.sh) S 10732 10735 7440 0 -1 4202496 556 322 0 0 0 0 0 0 20 0 1 0 405477441 115843072 349 33554432000 4194304 5098028 140724644472832 140724644470088 139912436253308 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 10465280 140724644475688 140724644476016 140724644476016 140724644478925 0
/proc/10735/statm: 28282 349 296 221 0 87 0
[pid=10738] ppid=10735 vsize=15018968 memory=131324 CPUtime=1.04 cores=1,3,5,7
/proc/10738/stat : 10738 (java) S 10735 10735 7440 0 -1 1077944320 19621 0 0 0 97 7 0 0 20 0 15 0 405477441 15379423232 32831 33554432000 4194304 4196468 140721177357680 140721177340224 140192310927095 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 19476480 140721177363182 140721177363610 140721177363610 140721177366479 0
/proc/10738/statm: 3754742 32831 3181 1 0 3716091 0
[pid=10738/tid=10739] ppid=10735 vsize=15018968 memory=7597685182856913236 CPUtime=0.68 cores=1,3,5,7
/proc/10738/task/10739/stat : 10739 (java) R 10735 10735 7440 0 -1 4202560 16678 0 0 0 63 5 0 0 20 0 15 0 405477441 15379423232 32831 33554432000 4194304 4196468 140721177357680 140192282764304 140192310949021 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19476480 140721177363182 140721177363610 140721177363610 140721177366479 0
[pid=10738/tid=10740] ppid=10735 vsize=15018968 memory=6935650355287975249 CPUtime=0 cores=1,3,5,7
/proc/10738/task/10740/stat : 10740 (java) S 10735 10735 7440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405477443 15379423232 32831 33554432000 4194304 4196468 140721177357680 140192315169680 140192310937301 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19476480 140721177363182 140721177363610 140721177363610 140721177366479 0
[pid=10738/tid=10741] ppid=10735 vsize=15018968 memory=6935649255759568960 CPUtime=0 cores=1,3,5,7
/proc/10738/task/10741/stat : 10741 (java) S 10735 10735 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405477443 15379423232 32831 33554432000 4194304 4196468 140721177357680 140192106253072 140192310937301 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19476480 140721177363182 140721177363610 140721177363610 140721177366479 0
[pid=10738/tid=10742] ppid=10735 vsize=15018968 memory=-5874771483550381248 CPUtime=0 cores=1,3,5,7
/proc/10738/task/10742/stat : 10742 (java) S 10735 10735 7440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405477443 15379423232 32831 33554432000 4194304 4196468 140721177357680 140192105200784 140192310937301 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19476480 140721177363182 140721177363610 140721177363610 140721177366479 0
[pid=10738/tid=10743] ppid=10735 vsize=15018968 memory=8370611207639232161 CPUtime=0 cores=1,3,5,7
/proc/10738/task/10743/stat : 10743 (java) S 10735 10735 7440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405477443 15379423232 32831 33554432000 4194304 4196468 140721177357680 140192104147984 140192310937301 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19476480 140721177363182 140721177363610 140721177363610 140721177366479 0
[pid=10738/tid=10744] ppid=10735 vsize=15018968 memory=6944613755328037012 CPUtime=0 cores=1,3,5,7
/proc/10738/task/10744/stat : 10744 (java) S 10735 10735 7440 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 405477444 15379423232 32831 33554432000 4194304 4196468 140721177357680 140191280883824 140192310938242 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19476480 140721177363182 140721177363610 140721177363610 140721177366479 0
[pid=10738/tid=10745] ppid=10735 vsize=15018968 memory=4612 CPUtime=0 cores=1,3,5,7
/proc/10738/task/10745/stat : 10745 (java) S 10735 10735 7440 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405477445 15379423232 32831 33554432000 4194304 4196468 140721177357680 140190886650656 140192310937301 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19476480 140721177363182 140721177363610 140721177363610 140721177366479 0
[pid=10738/tid=10746] ppid=10735 vsize=15018968 memory=6884 CPUtime=0 cores=1,3,5,7
/proc/10738/task/10746/stat : 10746 (java) S 10735 10735 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405477445 15379423232 32831 33554432000 4194304 4196468 140721177357680 140190618215536 140192310937301 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19476480 140721177363182 140721177363610 140721177363610 140721177366479 0
[pid=10738/tid=10747] ppid=10735 vsize=15018968 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/10738/task/10747/stat : 10747 (java) S 10735 10735 7440 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405477447 15379423232 32831 33554432000 4194304 4196468 140721177357680 140190243706960 140192310945691 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19476480 140721177363182 140721177363610 140721177363610 140721177366479 0
[pid=10738/tid=10748] ppid=10735 vsize=15018968 memory=311 CPUtime=0.09 cores=1,3,5,7
/proc/10738/task/10748/stat : 10748 (java) R 10735 10735 7440 0 -1 4202560 513 0 0 0 9 0 0 0 20 0 15 0 405477447 15379423232 32831 33554432000 4194304 4196468 140721177357680 140191279821584 140192304023534 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19476480 140721177363182 140721177363610 140721177363610 140721177366479 0
[pid=10738/tid=10749] ppid=10735 vsize=15018968 memory=10 CPUtime=0.07 cores=1,3,5,7
/proc/10738/task/10749/stat : 10749 (java) R 10735 10735 7440 0 -1 4202560 443 0 0 0 7 0 0 0 20 0 15 0 405477447 15379423232 32831 33554432000 4194304 4196468 140721177357680 140191278765408 140192292471373 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 19476480 140721177363182 140721177363610 140721177363610 140721177366479 0
[pid=10738/tid=10750] ppid=10735 vsize=15018968 memory=1285 CPUtime=0.16 cores=1,3,5,7
/proc/10738/task/10750/stat : 10750 (java) R 10735 10735 7440 0 -1 4202560 651 0 0 0 16 0 0 0 20 0 15 0 405477447 15379423232 32831 33554432000 4194304 4196468 140721177357680 140191277722304 140192295007582 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19476480 140721177363182 140721177363610 140721177363610 140721177366479 0
[pid=10738/tid=10751] ppid=10735 vsize=15018968 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10738/task/10751/stat : 10751 (java) S 10735 10735 7440 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405477448 15379423232 32831 33554432000 4194304 4196468 140721177357680 140189745802208 140192310937301 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19476480 140721177363182 140721177363610 140721177363610 140721177366479 0
[pid=10738/tid=10752] ppid=10735 vsize=15018968 memory=7591186987463698790 CPUtime=0 cores=1,3,5,7
/proc/10738/task/10752/stat : 10752 (java) S 10735 10735 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405477448 15379423232 32831 33554432000 4194304 4196468 140721177357680 140191276673456 140192310938242 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19476480 140721177363182 140721177363610 140721177363610 140721177366479 0
Current children cumulated CPU time: 1.04 s
Current children cumulated vsize: 15132096 KiB
Current children cumulated memory: 132720 KiB
[startup+1.50125 s]
/proc/loadavg: 1.98 2.34 2.93 3/234 10752
/proc/meminfo: memFree=23723944/32770624 swapFree=67015516/67108860
[pid=10735] ppid=10732 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/10735/stat : 10735 (scop.sh) S 10732 10735 7440 0 -1 4202496 556 322 0 0 0 0 0 0 20 0 1 0 405477441 115843072 349 33554432000 4194304 5098028 140724644472832 140724644470088 139912436253308 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 10465280 140724644475688 140724644476016 140724644476016 140724644478925 0
/proc/10735/statm: 28282 349 296 221 0 87 0
################
# More data... #
################
/proc/10738/task/10745/stat : 10745 (java) S 10735 10735 7440 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 405477445 15387959296 1783688 33554432000 4194304 4196468 140721177357680 140190886650720 140192310937301 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19476480 140721177363182 140721177363610 140721177363610 140721177366479 0
[pid=10738/tid=10746] ppid=10735 vsize=15027304 memory=7100808 CPUtime=0 cores=1,3,5,7
/proc/10738/task/10746/stat : 10746 (java) S 10735 10735 7440 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 15 0 405477445 15387959296 1783688 33554432000 4194304 4196468 140721177357680 140190618215552 140192310937301 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19476480 140721177363182 140721177363610 140721177363610 140721177366479 0
[pid=10738/tid=10747] ppid=10735 vsize=15027304 memory=1908 CPUtime=0 cores=1,3,5,7
/proc/10738/task/10747/stat : 10747 (java) S 10735 10735 7440 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405477447 15387959296 1783688 33554432000 4194304 4196468 140721177357680 140190243706960 140192310945691 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19476480 140721177363182 140721177363610 140721177363610 140721177366479 0
[pid=10738/tid=10748] ppid=10735 vsize=15027304 memory=1360 CPUtime=5.84 cores=1,3,5,7
/proc/10738/task/10748/stat : 10748 (java) S 10735 10735 7440 0 -1 1077944384 13975 0 0 0 581 3 0 0 20 0 15 0 405477447 15387959296 1783688 33554432000 4194304 4196468 140721177357680 140191279831664 140192310938242 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19476480 140721177363182 140721177363610 140721177363610 140721177366479 0
[pid=10738/tid=10749] ppid=10735 vsize=15027304 memory=7416 CPUtime=6.02 cores=1,3,5,7
/proc/10738/task/10749/stat : 10749 (java) S 10735 10735 7440 0 -1 1077944384 14041 0 0 0 598 4 0 0 20 0 15 0 405477447 15387959296 1783688 33554432000 4194304 4196468 140721177357680 140191278778864 140192310938242 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19476480 140721177363182 140721177363610 140721177363610 140721177366479 0
[pid=10738/tid=10750] ppid=10735 vsize=15027304 memory=860 CPUtime=1.22 cores=1,3,5,7
/proc/10738/task/10750/stat : 10750 (java) S 10735 10735 7440 0 -1 1077944384 10699 0 0 0 120 2 0 0 20 0 15 0 405477447 15387959296 1783688 33554432000 4194304 4196468 140721177357680 140191277726576 140192310938242 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19476480 140721177363182 140721177363610 140721177363610 140721177366479 0
[pid=10738/tid=10751] ppid=10735 vsize=15027304 memory=776 CPUtime=0 cores=1,3,5,7
/proc/10738/task/10751/stat : 10751 (java) S 10735 10735 7440 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405477448 15387959296 1783688 33554432000 4194304 4196468 140721177357680 140189745802208 140192310937301 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19476480 140721177363182 140721177363610 140721177363610 140721177366479 0
[pid=10738/tid=10752] ppid=10735 vsize=15027304 memory=1612 CPUtime=0.17 cores=1,3,5,7
/proc/10738/task/10752/stat : 10752 (java) S 10735 10735 7440 0 -1 1077944384 168 0 0 0 7 10 0 0 20 0 15 0 405477448 15387959296 1783688 33554432000 4194304 4196468 140721177357680 140191276673456 140192310938242 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 17 0 0 6293624 6294260 19476480 140721177363182 140721177363610 140721177363610 140721177366479 0
Current children cumulated CPU time: 336.93 s
Current children cumulated vsize: 15140432 KiB
Current children cumulated memory: 7136148 KiB
[startup+293.6 s]
/proc/loadavg: 2.03 2.19 2.71 3/234 10775
/proc/meminfo: memFree=16763436/32770624 swapFree=67015516/67108860
[pid=10735] ppid=10732 vsize=113128 memory=1476 CPUtime=337.51 cores=1,3,5,7
/proc/10735/stat : 10735 (scop.sh) S 10732 10735 7440 0 -1 4202496 584 103453 0 0 0 0 33268 483 20 0 1 0 405477441 115843072 369 33554432000 4194304 5098028 140724644472832 140724644469576 139912436253308 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 10465280 140724644475688 140724644476016 140724644476016 140724644478925 0
/proc/10735/statm: 28282 369 311 221 0 87 0
Current children cumulated CPU time: 337.51 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1476 KiB
[startup+294.001 s]*
/proc/loadavg: 2.03 2.19 2.71 4/234 10790
/proc/meminfo: memFree=23838112/32770624 swapFree=67015516/67108860
[pid=10735] ppid=10732 vsize=113128 memory=1476 CPUtime=337.51 cores=1,3,5,7
/proc/10735/stat : 10735 (scop.sh) S 10732 10735 7440 0 -1 4202496 584 103453 0 0 0 0 33268 483 20 0 1 0 405477441 115843072 369 33554432000 4194304 5098028 140724644472832 140724644469576 139912436253308 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 10465280 140724644475688 140724644476016 140724644476016 140724644478925 0
/proc/10735/statm: 28282 369 311 221 0 87 0
[pid=10776] ppid=10735 vsize=7673168 memory=111272 CPUtime=1.18 cores=1,3,5,7
/proc/10776/stat : 10776 (java) S 10735 10735 7440 0 -1 1077944320 20188 0 0 0 109 9 0 0 20 0 17 0 405506764 7857324032 27818 33554432000 4194304 4196468 140730710150832 140730710133376 140057252957943 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 23764992 140730710156283 140730710156442 140730710156442 140730710159311 0
/proc/10776/statm: 1918292 27818 3190 1 0 1879636 0
[pid=10776/tid=10777] ppid=10735 vsize=7673168 memory=1384 CPUtime=0.75 cores=1,3,5,7
/proc/10776/task/10777/stat : 10777 (java) R 10735 10735 7440 0 -1 4202560 16995 0 0 0 68 7 0 0 20 0 17 0 405506765 7857324032 27818 33554432000 4194304 4196468 140730710150832 140057224798664 140057245674906 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23764992 140730710156283 140730710156442 140730710156442 140730710159311 0
[pid=10776/tid=10778] ppid=10735 vsize=7673168 memory=-7003737579269690708 CPUtime=0 cores=1,3,5,7
/proc/10776/task/10778/stat : 10778 (java) S 10735 10735 7440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 17 0 405506766 7857324032 27818 33554432000 4194304 4196468 140730710150832 140057257200784 140057252968149 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23764992 140730710156283 140730710156442 140730710156442 140730710159311 0
[pid=10776/tid=10779] ppid=10735 vsize=7673168 memory=1736 CPUtime=0 cores=1,3,5,7
/proc/10776/task/10779/stat : 10779 (java) S 10735 10735 7440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 17 0 405506766 7857324032 27818 33554432000 4194304 4196468 140730710150832 140057075289104 140057252968149 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23764992 140730710156283 140730710156442 140730710156442 140730710159311 0
[pid=10776/tid=10780] ppid=10735 vsize=7673168 memory=1784 CPUtime=0 cores=1,3,5,7
/proc/10776/task/10780/stat : 10780 (java) S 10735 10735 7440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 17 0 405506766 7857324032 27818 33554432000 4194304 4196468 140730710150832 140057074236304 140057252968149 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23764992 140730710156283 140730710156442 140730710156442 140730710159311 0
[pid=10776/tid=10781] ppid=10735 vsize=7673168 memory=924 CPUtime=0 cores=1,3,5,7
/proc/10776/task/10781/stat : 10781 (java) S 10735 10735 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 17 0 405506766 7857324032 27818 33554432000 4194304 4196468 140730710150832 140057073183504 140057252968149 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23764992 140730710156283 140730710156442 140730710156442 140730710159311 0
[pid=10776/tid=10782] ppid=10735 vsize=7673168 memory=2340 CPUtime=0 cores=1,3,5,7
/proc/10776/task/10782/stat : 10782 (java) S 10735 10735 7440 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 17 0 405506767 7857324032 27818 33554432000 4194304 4196468 140730710150832 140056565168496 140057252969090 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23764992 140730710156283 140730710156442 140730710156442 140730710159311 0
[pid=10776/tid=10783] ppid=10735 vsize=7673168 memory=2064 CPUtime=0 cores=1,3,5,7
/proc/10776/task/10783/stat : 10783 (java) S 10735 10735 7440 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 17 0 405506768 7857324032 27818 33554432000 4194304 4196468 140730710150832 140056064943136 140057252968149 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23764992 140730710156283 140730710156442 140730710156442 140730710159311 0
[pid=10776/tid=10784] ppid=10735 vsize=7673168 memory=2876 CPUtime=0 cores=1,3,5,7
/proc/10776/task/10784/stat : 10784 (java) S 10735 10735 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 17 0 405506768 7857324032 27818 33554432000 4194304 4196468 140730710150832 140055796507504 140057252968149 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23764992 140730710156283 140730710156442 140730710156442 140730710159311 0
[pid=10776/tid=10785] ppid=10735 vsize=7673168 memory=1572 CPUtime=0 cores=1,3,5,7
/proc/10776/task/10785/stat : 10785 (java) S 10735 10735 7440 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 405506771 7857324032 27818 33554432000 4194304 4196468 140730710150832 140055421998928 140057252976539 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23764992 140730710156283 140730710156442 140730710156442 140730710159311 0
[pid=10776/tid=10786] ppid=10735 vsize=7673168 memory=880 CPUtime=0.09 cores=1,3,5,7
/proc/10776/task/10786/stat : 10786 (java) R 10735 10735 7440 0 -1 1077944384 552 0 0 0 9 0 0 0 20 0 17 0 405506771 7857324032 27818 33554432000 4194304 4196468 140730710150832 140056564116336 140057252969090 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23764992 140730710156283 140730710156442 140730710156442 140730710159311 0
[pid=10776/tid=10787] ppid=10735 vsize=7673168 memory=1760 CPUtime=0.1 cores=1,3,5,7
/proc/10776/task/10787/stat : 10787 (java) R 10735 10735 7440 0 -1 4202560 685 0 0 0 10 0 0 0 20 0 17 0 405506771 7857324032 27818 33554432000 4194304 4196468 140730710150832 140056563063536 140057237268544 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23764992 140730710156283 140730710156442 140730710156442 140730710159311 0
[pid=10776/tid=10788] ppid=10735 vsize=7673168 memory=111632 CPUtime=0.21 cores=1,3,5,7
/proc/10776/task/10788/stat : 10788 (java) S 10735 10735 7440 0 -1 1077944384 596 0 0 0 21 0 0 0 20 0 17 0 405506771 7857324032 27818 33554432000 4194304 4196468 140730710150832 140056562010736 140057252969090 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23764992 140730710156283 140730710156442 140730710156442 140730710159311 0
[pid=10776/tid=10789] ppid=10735 vsize=7673168 memory=804 CPUtime=0 cores=1,3,5,7
/proc/10776/task/10789/stat : 10789 (java) S 10735 10735 7440 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 405506771 7857324032 27818 33554432000 4194304 4196468 140730710150832 140054924094176 140057252968149 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23764992 140730710156283 140730710156442 140730710156442 140730710159311 0
[pid=10776/tid=10790] ppid=10735 vsize=7673168 memory=1804 CPUtime=0 cores=1,3,5,7
/proc/10776/task/10790/stat : 10790 (java) S 10735 10735 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 17 0 405506771 7857324032 27818 33554432000 4194304 4196468 140730710150832 140056560958128 140057252969090 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23764992 140730710156283 140730710156442 140730710156442 140730710159311 0
[pid=10776/tid=10792] ppid=10735 vsize=7673168 memory=920 CPUtime=0 cores=1,3,5,7
/proc/10776/task/10792/stat : 10792 (java) S 10735 10735 7440 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 17 0 405506841 7857324032 27818 33554432000 4194304 4196468 140730710150832 140056552924352 140057252982553 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 23764992 140730710156283 140730710156442 140730710156442 140730710159311 0
[pid=10776/tid=10793] ppid=10735 vsize=7673168 memory=3404 CPUtime=0 cores=1,3,5,7
/proc/10776/task/10793/stat : 10793 (java) D 10735 10735 7440 0 -1 4202564 4 0 0 0 0 0 0 0 20 0 17 0 405506841 7857324032 27818 33554432000 4194304 4196468 140730710150832 140054521442080 140057252953684 0 4 2 25189581 18446744071582151416 0 0 -1 5 0 0 0 0 0 6293624 6294260 23764992 140730710156283 140730710156442 140730710156442 140730710159311 0
Current children cumulated CPU time: 338.69 s
Current children cumulated vsize: 7786296 KiB
Current children cumulated memory: 112748 KiB
[startup+294.201 s]
/proc/loadavg: 2.03 2.19 2.71 4/234 10790
/proc/meminfo: memFree=23838112/32770624 swapFree=67015516/67108860
[pid=10735] ppid=10732 vsize=113128 memory=1476 CPUtime=337.51 cores=1,3,5,7
/proc/10735/stat : 10735 (scop.sh) S 10732 10735 7440 0 -1 4202496 584 103453 0 0 0 0 33268 483 20 0 1 0 405477441 115843072 369 33554432000 4194304 5098028 140724644472832 140724644469576 139912436253308 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 10465280 140724644475688 140724644476016 140724644476016 140724644478925 0
/proc/10735/statm: 28282 369 311 221 0 87 0
[pid=10776] ppid=10735 vsize=8068440 memory=120644 CPUtime=1.28 cores=1,3,5,7
/proc/10776/stat : 10776 (java) S 10735 10735 7440 0 -1 1077944320 20495 0 0 0 119 9 0 0 20 0 19 0 405506764 8262082560 30161 33554432000 4194304 4196468 140730710150832 140730710133376 140057252957943 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 23764992 140730710156283 140730710156442 140730710156442 140730710159311 0
/proc/10776/statm: 2017110 30161 3212 1 0 1978454 0
[pid=10776/tid=10777] ppid=10735 vsize=8068440 memory=1472 CPUtime=0.79 cores=1,3,5,7
/proc/10776/task/10777/stat : 10777 (java) S 10735 10735 7440 0 -1 1077944384 17200 0 0 0 72 7 0 0 20 0 19 0 405506765 8262082560 30161 33554432000 4194304 4196468 140730710150832 140057224798112 140057252968149 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23764992 140730710156283 140730710156442 140730710156442 140730710159311 0
[pid=10776/tid=10778] ppid=10735 vsize=8068440 memory=128456 CPUtime=0 cores=1,3,5,7
/proc/10776/task/10778/stat : 10778 (java) S 10735 10735 7440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405506766 8262082560 30161 33554432000 4194304 4196468 140730710150832 140057257200784 140057252968149 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23764992 140730710156283 140730710156442 140730710156442 140730710159311 0
[pid=10776/tid=10779] ppid=10735 vsize=8068440 memory=137844 CPUtime=0 cores=1,3,5,7
/proc/10776/task/10779/stat : 10779 (java) S 10735 10735 7440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405506766 8262082560 30161 33554432000 4194304 4196468 140730710150832 140057075289104 140057252968149 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23764992 140730710156283 140730710156442 140730710156442 140730710159311 0
[pid=10776/tid=10780] ppid=10735 vsize=8068440 memory=1412 CPUtime=0 cores=1,3,5,7
/proc/10776/task/10780/stat : 10780 (java) S 10735 10735 7440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405506766 8262082560 30161 33554432000 4194304 4196468 140730710150832 140057074236304 140057252968149 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23764992 140730710156283 140730710156442 140730710156442 140730710159311 0
[pid=10776/tid=10781] ppid=10735 vsize=8068440 memory=3096 CPUtime=0 cores=1,3,5,7
/proc/10776/task/10781/stat : 10781 (java) S 10735 10735 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405506766 8262082560 30161 33554432000 4194304 4196468 140730710150832 140057073183504 140057252968149 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23764992 140730710156283 140730710156442 140730710156442 140730710159311 0
[pid=10776/tid=10782] ppid=10735 vsize=8068440 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/10776/task/10782/stat : 10782 (java) S 10735 10735 7440 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 405506767 8262082560 30161 33554432000 4194304 4196468 140730710150832 140056565168496 140057252969090 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23764992 140730710156283 140730710156442 140730710156442 140730710159311 0
[pid=10776/tid=10783] ppid=10735 vsize=8068440 memory=7134752 CPUtime=0 cores=1,3,5,7
/proc/10776/task/10783/stat : 10783 (java) S 10735 10735 7440 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 405506768 8262082560 30161 33554432000 4194304 4196468 140730710150832 140056064943136 140057252968149 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23764992 140730710156283 140730710156442 140730710156442 140730710159311 0
[pid=10776/tid=10784] ppid=10735 vsize=8068440 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/10776/task/10784/stat : 10784 (java) S 10735 10735 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405506768 8262082560 30161 33554432000 4194304 4196468 140730710150832 140055796507504 140057252968149 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23764992 140730710156283 140730710156442 140730710156442 140730710159311 0
[pid=10776/tid=10785] ppid=10735 vsize=8068440 memory=-7003737579269690708 CPUtime=0 cores=1,3,5,7
/proc/10776/task/10785/stat : 10785 (java) S 10735 10735 7440 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405506771 8262082560 30161 33554432000 4194304 4196468 140730710150832 140055421998928 140057252976539 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23764992 140730710156283 140730710156442 140730710156442 140730710159311 0
[pid=10776/tid=10786] ppid=10735 vsize=8068440 memory=1804 CPUtime=0.1 cores=1,3,5,7
/proc/10776/task/10786/stat : 10786 (java) S 10735 10735 7440 0 -1 1077944384 558 0 0 0 10 0 0 0 20 0 19 0 405506771 8262082560 30161 33554432000 4194304 4196468 140730710150832 140056564116336 140057252969090 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23764992 140730710156283 140730710156442 140730710156442 140730710159311 0
[pid=10776/tid=10787] ppid=10735 vsize=8068440 memory=920 CPUtime=0.13 cores=1,3,5,7
/proc/10776/task/10787/stat : 10787 (java) S 10735 10735 7440 0 -1 1077944384 712 0 0 0 13 0 0 0 20 0 19 0 405506771 8262082560 30161 33554432000 4194304 4196468 140730710150832 140056563063536 140057252969090 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23764992 140730710156283 140730710156442 140730710156442 140730710159311 0
[pid=10776/tid=10788] ppid=10735 vsize=8068440 memory=3404 CPUtime=0.22 cores=1,3,5,7
/proc/10776/task/10788/stat : 10788 (java) S 10735 10735 7440 0 -1 1077944384 618 0 0 0 22 0 0 0 20 0 19 0 405506771 8262082560 30161 33554432000 4194304 4196468 140730710150832 140056562010736 140057252969090 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23764992 140730710156283 140730710156442 140730710156442 140730710159311 0
[pid=10776/tid=10789] ppid=10735 vsize=8068440 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10776/task/10789/stat : 10789 (java) S 10735 10735 7440 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405506771 8262082560 30161 33554432000 4194304 4196468 140730710150832 140054924094176 140057252968149 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23764992 140730710156283 140730710156442 140730710156442 140730710159311 0
[pid=10776/tid=10790] ppid=10735 vsize=8068440 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10776/task/10790/stat : 10790 (java) S 10735 10735 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405506771 8262082560 30161 33554432000 4194304 4196468 140730710150832 140056560958128 140057252969090 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23764992 140730710156283 140730710156442 140730710156442 140730710159311 0
[pid=10776/tid=10792] ppid=10735 vsize=8068440 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10776/task/10792/stat : 10792 (java) S 10735 10735 7440 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 405506841 8262082560 30161 33554432000 4194304 4196468 140730710150832 140056552924352 140057252982553 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 23764992 140730710156283 140730710156442 140730710156442 140730710159311 0
Current children cumulated CPU time: 338.79 s
Current children cumulated vsize: 8181568 KiB
Current children cumulated memory: 122120 KiB
[startup+294.301 s]
/proc/loadavg: 2.03 2.19 2.71 4/234 10790
/proc/meminfo: memFree=23838112/32770624 swapFree=67015516/67108860
[pid=10735] ppid=10732 vsize=113128 memory=1476 CPUtime=337.51 cores=1,3,5,7
/proc/10735/stat : 10735 (scop.sh) S 10732 10735 7440 0 -1 4202496 584 103453 0 0 0 0 33268 483 20 0 1 0 405477441 115843072 369 33554432000 4194304 5098028 140724644472832 140724644469576 139912436253308 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 10465280 140724644475688 140724644476016 140724644476016 140724644478925 0
/proc/10735/statm: 28282 369 311 221 0 87 0
[pid=10776] ppid=10735 vsize=8068440 memory=120644 CPUtime=1.28 cores=1,3,5,7
/proc/10776/stat : 10776 (java) S 10735 10735 7440 0 -1 1077944320 20495 0 0 0 119 9 0 0 20 0 19 0 405506764 8262082560 30161 33554432000 4194304 4196468 140730710150832 140730710133376 140057252957943 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 23764992 140730710156283 140730710156442 140730710156442 140730710159311 0
/proc/10776/statm: 2017110 30161 3212 1 0 1978454 0
[pid=10776/tid=10777] ppid=10735 vsize=8068440 memory=4443 CPUtime=0.79 cores=1,3,5,7
/proc/10776/task/10777/stat : 10777 (java) S 10735 10735 7440 0 -1 1077944384 17200 0 0 0 72 7 0 0 20 0 19 0 405506765 8262082560 30161 33554432000 4194304 4196468 140730710150832 140057224798112 140057252968149 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23764992 140730710156283 140730710156442 140730710156442 140730710159311 0
[pid=10776/tid=10778] ppid=10735 vsize=8068440 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/10776/task/10778/stat : 10778 (java) S 10735 10735 7440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405506766 8262082560 30161 33554432000 4194304 4196468 140730710150832 140057257200784 140057252968149 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23764992 140730710156283 140730710156442 140730710156442 140730710159311 0
[pid=10776/tid=10779] ppid=10735 vsize=8068440 memory=7100808 CPUtime=0 cores=1,3,5,7
/proc/10776/task/10779/stat : 10779 (java) S 10735 10735 7440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405506766 8262082560 30161 33554432000 4194304 4196468 140730710150832 140057075289104 140057252968149 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23764992 140730710156283 140730710156442 140730710156442 140730710159311 0
[pid=10776/tid=10780] ppid=10735 vsize=8068440 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10776/task/10780/stat : 10780 (java) S 10735 10735 7440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405506766 8262082560 30161 33554432000 4194304 4196468 140730710150832 140057074236304 140057252968149 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23764992 140730710156283 140730710156442 140730710156442 140730710159311 0
[pid=10776/tid=10781] ppid=10735 vsize=8068440 memory=7649399367102050353 CPUtime=0 cores=1,3,5,7
/proc/10776/task/10781/stat : 10781 (java) S 10735 10735 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405506766 8262082560 30161 33554432000 4194304 4196468 140730710150832 140057073183504 140057252968149 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23764992 140730710156283 140730710156442 140730710156442 140730710159311 0
[pid=10776/tid=10782] ppid=10735 vsize=8068440 memory=2752 CPUtime=0 cores=1,3,5,7
/proc/10776/task/10782/stat : 10782 (java) S 10735 10735 7440 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 405506767 8262082560 30161 33554432000 4194304 4196468 140730710150832 140056565168496 140057252969090 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23764992 140730710156283 140730710156442 140730710156442 140730710159311 0
[pid=10776/tid=10783] ppid=10735 vsize=8068440 memory=2752 CPUtime=0 cores=1,3,5,7
/proc/10776/task/10783/stat : 10783 (java) S 10735 10735 7440 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 405506768 8262082560 30161 33554432000 4194304 4196468 140730710150832 140056064943136 140057252968149 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23764992 140730710156283 140730710156442 140730710156442 140730710159311 0
[pid=10776/tid=10784] ppid=10735 vsize=8068440 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/10776/task/10784/stat : 10784 (java) S 10735 10735 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405506768 8262082560 30161 33554432000 4194304 4196468 140730710150832 140055796507504 140057252968149 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23764992 140730710156283 140730710156442 140730710156442 140730710159311 0
[pid=10776/tid=10785] ppid=10735 vsize=8068440 memory=7100808 CPUtime=0 cores=1,3,5,7
/proc/10776/task/10785/stat : 10785 (java) S 10735 10735 7440 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405506771 8262082560 30161 33554432000 4194304 4196468 140730710150832 140055421998928 140057252976539 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23764992 140730710156283 140730710156442 140730710156442 140730710159311 0
[pid=10776/tid=10786] ppid=10735 vsize=8068440 memory=7100808 CPUtime=0.1 cores=1,3,5,7
/proc/10776/task/10786/stat : 10786 (java) S 10735 10735 7440 0 -1 1077944384 558 0 0 0 10 0 0 0 20 0 19 0 405506771 8262082560 30161 33554432000 4194304 4196468 140730710150832 140056564116336 140057252969090 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23764992 140730710156283 140730710156442 140730710156442 140730710159311 0
[pid=10776/tid=10787] ppid=10735 vsize=8068440 memory=3164 CPUtime=0.13 cores=1,3,5,7
/proc/10776/task/10787/stat : 10787 (java) S 10735 10735 7440 0 -1 1077944384 712 0 0 0 13 0 0 0 20 0 19 0 405506771 8262082560 30161 33554432000 4194304 4196468 140730710150832 140056563063536 140057252969090 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23764992 140730710156283 140730710156442 140730710156442 140730710159311 0
[pid=10776/tid=10788] ppid=10735 vsize=8068440 memory=2184 CPUtime=0.22 cores=1,3,5,7
/proc/10776/task/10788/stat : 10788 (java) S 10735 10735 7440 0 -1 1077944384 618 0 0 0 22 0 0 0 20 0 19 0 405506771 8262082560 30161 33554432000 4194304 4196468 140730710150832 140056562010736 140057252969090 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23764992 140730710156283 140730710156442 140730710156442 140730710159311 0
[pid=10776/tid=10789] ppid=10735 vsize=8068440 memory=1844 CPUtime=0 cores=1,3,5,7
/proc/10776/task/10789/stat : 10789 (java) S 10735 10735 7440 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405506771 8262082560 30161 33554432000 4194304 4196468 140730710150832 140054924094176 140057252968149 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23764992 140730710156283 140730710156442 140730710156442 140730710159311 0
[pid=10776/tid=10790] ppid=10735 vsize=8068440 memory=4964 CPUtime=0 cores=1,3,5,7
/proc/10776/task/10790/stat : 10790 (java) S 10735 10735 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405506771 8262082560 30161 33554432000 4194304 4196468 140730710150832 140056560958128 140057252969090 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23764992 140730710156283 140730710156442 140730710156442 140730710159311 0
[pid=10776/tid=10792] ppid=10735 vsize=8068440 memory=10092 CPUtime=0 cores=1,3,5,7
/proc/10776/task/10792/stat : 10792 (java) S 10735 10735 7440 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 405506841 8262082560 30161 33554432000 4194304 4196468 140730710150832 140056552924352 140057252982553 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 23764992 140730710156283 140730710156442 140730710156442 140730710159311 0
Current children cumulated CPU time: 338.79 s
Current children cumulated vsize: 8181568 KiB
Current children cumulated memory: 122120 KiB
Child status: 0
Real time (s): 294.39
CPU time (s): 339.202
CPU user time (s): 334.253
CPU system time (s): 4.94952
CPU usage (%): 115.222
Max. virtual memory (cumulated for all children) (KiB): 15141472
Max. memory (cumulated for all children) (KiB): 7137676
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 334.253
system time used= 4.94952
maximum resident set size= 7136304
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 137340
page faults= 0
swaps= 0
block input operations= 16
block output operations= 8328
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 13996
involuntary context switches= 605
# summary of solver processes directly reported to runsolver:
# pid: 10735
# total CPU time (s): 339.202
# total CPU user time (s): 334.253
# total CPU system time (s): 4.94952
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.9317 second user time and 3.01641 second system time
The end