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-10271-serial-file.bin HOME/instance-4388355-1568298620.xml
0.67/0.53
0.67/0.53 Fun-sCOP order+glueminisat-simp-2.2.10-193oa-n-release (2019-06-15)
0.67/0.53
0.67/0.56 c BEGIN-Prog: Thu Sep 12 16:29:40 CEST 2019
0.67/0.56 c PID: 10274
0.67/0.56 c IP: 172.20.3.127
0.67/0.56 c HOST: node127.alineos.net
0.67/0.57 c (0,0) Parsing Begin
2.26/1.19 c (0,0) Parsing End
2.26/1.20 c (0,0) CSP: 285 int (0 aux), 0 bool (0 aux), 34 ctr, max domain size 26
2.26/1.20 c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
2.26/1.20 c (0,0) Constraint Name Generate Begin
2.66/1.21 c (0,0) Ctr:HOME/instance-4388355-1568298620.xml,ExtensionSupport:Var
2.66/1.21 c (0,0) Constraint Name Generate End
2.66/1.21 c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
2.66/1.21 c (0,0) CSP to CSPinCNF Begin
12.74/4.79 c (4,4) translated 4 (10%) constraints
15.77/6.86 c (6,6) translated 7 (20%) constraints
19.17/9.69 c (9,8) translated 11 (30%) constraints
21.11/11.56 c (11,10) translated 14 (40%) constraints
32.05/20.67 c (20,19) translated 17 (50%) constraints
60.02/44.62 c (44,42) translated 21 (60%) constraints
88.58/68.93 c (68,65) translated 24 (70%) constraints
124.78/102.39 c (101,97) translated 28 (80%) constraints
147.96/123.34 c (122,118) translated 31 (90%) constraints
163.96/138.16 c (137,132) translated 34 (100%) constraints
163.96/138.19 c (137,132) ===========================================
164.10/138.21 c (137,132) Order
164.10/138.21 c (137,132) ===========================================
168.70/141.57 c (141,135) translated 174492 (10%) constraints
171.90/144.70 c (144,138) translated 348983 (20%) constraints
175.06/147.86 c (147,142) translated 523474 (30%) constraints
179.61/151.33 c (150,145) translated 697965 (40%) constraints
182.70/154.47 c (153,148) translated 872456 (50%) constraints
185.90/157.60 c (157,151) translated 1046948 (60%) constraints
190.76/161.17 c (160,154) translated 1221439 (70%) constraints
193.87/164.28 c (163,157) translated 1395930 (80%) constraints
197.07/167.40 c (166,160) translated 1570421 (90%) constraints
200.21/170.53 c (169,163) translated 1744912 (100%) constraints
200.21/170.53 c (169,163) CSP to CSPinCNF End
200.38/170.65 c (170,164) CSP: 285 int (0 aux), 298411 bool (298411 aux), 1744912 ctr, max domain size 24
200.38/170.65 c (170,164) Heap : 4963 MiB used (max 10879 MiB), NonHeap : 26 MiB used (max 0 MiB)
200.38/170.65 c (170,164) CSPinCNF Propagation Begin
223.95/188.19 c (187,179) 21788 values, 74103 unsatisfiable literals, and 112651 valid clauses are removed
223.95/188.19 c (187,179) CSPinCNF Propagation End
224.18/188.31 c (187,180) CSP: 285 int (0 aux), 298411 bool (298411 aux), 1632261 ctr, max domain size 24
224.18/188.31 c (187,180) Heap : 5235 MiB used (max 10881 MiB), NonHeap : 27 MiB used (max 0 MiB)
224.18/188.33 c (187,180) Simplify CSPinCNF Begin
230.01/191.83 c (191,182) Simplify CSPinCNF End
230.11/191.95 c (191,182) CSP: 285 int (0 aux), 298411 bool (298411 aux), 1632261 ctr, max domain size 24
230.11/191.95 c (191,182) Heap : 4107 MiB used (max 10879 MiB), NonHeap : 27 MiB used (max 0 MiB)
230.11/191.95 c (191,182) Calculate Precise Domain Begin
230.11/191.95 c (191,182) 0 values are removed by re-calculation
230.11/191.95 c (191,182) Calculate Precise Domain End
230.21/192.07 c (191,183) CSP: 285 int (0 aux), 298411 bool (298411 aux), 1632261 ctr, max domain size 24
230.21/192.07 c (191,183) Heap : 4107 MiB used (max 10879 MiB), NonHeap : 27 MiB used (max 0 MiB)
230.21/192.07 c (191,183) CSPinCNF to SatSolver Begin
234.14/194.28 c (193,185) 163227 (10 %) CSP clauses are encoded (0 SAT variables, 167896 SAT clauses)
238.61/196.42 c (195,186) 326453 (20 %) CSP clauses are encoded (0 SAT variables, 331122 SAT clauses)
240.00/197.81 c (197,188) 489679 (30 %) CSP clauses are encoded (0 SAT variables, 494348 SAT clauses)
242.68/199.51 c (198,189) 652905 (40 %) CSP clauses are encoded (0 SAT variables, 657574 SAT clauses)
244.09/200.90 c (200,190) 816131 (50 %) CSP clauses are encoded (0 SAT variables, 820800 SAT clauses)
246.46/202.56 c (202,192) 979357 (60 %) CSP clauses are encoded (0 SAT variables, 984026 SAT clauses)
247.86/203.96 c (203,193) 1142583 (70 %) CSP clauses are encoded (0 SAT variables, 1147252 SAT clauses)
249.27/205.36 c (204,195) 1305809 (80 %) CSP clauses are encoded (0 SAT variables, 1310478 SAT clauses)
251.71/207.01 c (206,196) 1469035 (90 %) CSP clauses are encoded (0 SAT variables, 1473704 SAT clauses)
253.11/208.42 c (207,197) 1632261 (100 %) CSP clauses are encoded (0 SAT variables, 1636930 SAT clauses)
253.11/208.42 c (207,197) CSPinCNF to SatSolver End
253.11/208.42 c (207,197) Heap : 5658 MiB used (max 10811 MiB), NonHeap : 29 MiB used (max 0 MiB)
253.11/208.42 c (207,197) 281594 bool, 1636931 clause
253.11/208.42 c (207,197) Export Begin
253.25/208.56 c (208,197) Export to HOME/scop-10271-serial-file.bin
253.25/208.56 c (208,197) Export End
253.25/208.57 c (208,197) Export File Size: 0.17 MB
253.25/208.57 c (208,197) 0,0,170,187,191,191,207,STOP-AFTER(DIMACS)
253.25/208.57 c END-Prog: Thu Sep 12 16:33:08 CEST 2019
0.00/208.61 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-10271-serial-file.bin
253.49/209.08 c (0,0) Read Serial File Begin
253.49/209.08 c (0,0) HOME/scop-10271-serial-file.bin
254.47/209.36 c (0,0) Read Serial File End
254.47/209.37
254.47/209.37 Fun-sCOP order+glueminisat-simp-2.2.10-193oa-n-release (2019-06-15)
254.47/209.37 (Solving Process)
254.47/209.37
254.47/209.39 c BEGIN-Prog: Thu Sep 12 16:33:09 CEST 2019
254.47/209.39 c PID: 10332
254.47/209.39 c IP: 172.20.3.127
254.47/209.39 c HOST: node127.alineos.net
254.66/209.40 c (0,0) SatSolver.solve Begin
254.66/209.40 c (0,0) HOME/glueminisat-simp-2.2.10-193oa-n-release -model -verb=3 -elim-cl=5000000 -native-oa HOME/instance-4388355-1568298620.xml-scop-10274.cnf
254.66/209.43 c (0,0) c WARNING: for repeatability, setting FPU to use double precision
254.66/209.43 c (0,0) c glueminisat-simp-2.2.10-193oa-n
254.66/209.43 c (0,0) c Command: HOME/glueminisat-simp-2.2.10-193oa-n-release -model -verb=3 -elim-cl=5000000 -native-oa HOME/instance-4388355-1568298620.xml-scop-10274.cnf
254.66/209.43 c (0,0) c Options:
254.66/209.44 c (0,0) c CORE
254.66/209.44 c (0,0) c var_decay = 0.950
254.66/209.44 c (0,0) c clause_decay = 0.999
254.66/209.44 c (0,0) c random_var_freq = 0.000
254.66/209.44 c (0,0) c random_seed = 91648253.000
254.66/209.44 c (0,0) c luby_restart = 1
254.66/209.44 c (0,0) c ccmin_mode = 2
254.66/209.44 c (0,0) c phase_saving = 2
254.66/209.44 c (0,0) c rnd_pol = 0
254.66/209.44 c (0,0) c rnd_init_act = 0
254.66/209.44 c (0,0) c garbage_frac = 0.200
254.66/209.44 c (0,0) c restart_first = 1000
254.66/209.44 c (0,0) c restart_inc = 2.000
254.66/209.44 c (0,0) c MODEL
254.66/209.44 c (0,0) c partial_model = 0
254.66/209.44 c (0,0) c PROPAGATION
254.66/209.44 c (0,0) c bin_propagation = 1
254.66/209.44 c (0,0) c SIMPLIFICATION
254.66/209.44 c (0,0) c lrn_min_size = 100
254.66/209.44 c (0,0) c lazy_simp = 1
254.66/209.44 c (0,0) c lazy_interval = 10
254.66/209.44 c (0,0) c lazy_fld_probing = 1
254.66/209.44 c (0,0) c lazy_pol_probing = 1
254.66/209.44 c (0,0) c lazy_nec_probing = 1
254.66/209.44 c (0,0) c lazy_eqv_probing = 1
254.66/209.44 c (0,0) c lazy_cla_probing = 1
254.66/209.44 c (0,0) c lazy_lrn_min = 2
254.66/209.44 c (0,0) c lazy_uw_lit_elim = 1
254.66/209.44 c (0,0) c lazy_pr_lit_elim = 0
254.66/209.44 c (0,0) c lazy_bin_add = 3
254.66/209.44 c (0,0) c probed_lit_chain = 1
254.66/209.44 c (0,0) c pr_min_lits = 0.00020
254.66/209.44 c (0,0) c pr_min_starts = 500
254.66/209.44 c (0,0) c rw_min_lits = 0.010
254.66/209.44 c (0,0) c rw_min_starts = 500
254.66/209.44 c (0,0) c rand_attach = 0
254.66/209.44 c (0,0) c dec_elim = 1
254.66/209.44 c (0,0) c dec_elim_lim = 25
254.66/209.44 c (0,0) c dec_elim_len = -1
254.66/209.44 c (0,0) c amo = 0
254.66/209.44 c (0,0) c amo_grp = 1
254.66/209.44 c (0,0) c amo_max_bins = 1000000
254.66/209.44 c (0,0) c amo_starts = 50
254.66/209.44 c (0,0) c mace_cmd = mace
254.66/209.44 c (0,0) c DECISION
254.66/209.44 c (0,0) c rand_rebuild = 0
254.66/209.44 c (0,0) c rand_rebuild_confs = 10000
254.66/209.44 c (0,0) c inc_var_decay = 1
254.66/209.44 c (0,0) c inc_var_decay_period = 100000
254.66/209.44 c (0,0) c inc_var_decay_init = 0.600
254.66/209.44 c (0,0) c var_decay_mode = 0
254.66/209.44 c (0,0) c var_decay_gain = 0
254.66/209.44 c (0,0) c sloped_var_decay = 1
254.66/209.44 c (0,0) c max_var_decay = 0.990
254.66/209.44 c (0,0) c min_var_decay = 0.950
254.66/209.44 c (0,0) c min_var_decay_vars = 10000
254.66/209.44 c (0,0) c max_var_decay_vars = 500
254.66/209.44 c (0,0) c uip_bumping = 1
254.66/209.44 c (0,0) c lbd_act_bumping = 1
254.66/209.44 c (0,0) c rand_tiebreak = 0
254.66/209.44 c (0,0) c simp_rebuild = 1
254.66/209.44 c (0,0) c RESTART
254.66/209.44 c (0,0) c restart_strategy = 2
254.66/209.44 c (0,0) c restart_blocking = 0
254.66/209.44 c (0,0) c agility_decay = 0.99990
254.66/209.44 c (0,0) c lbd_restart_rate = 0.800
254.66/209.44 c (0,0) c dec_restart_rate = 0.950
254.66/209.44 c (0,0) c blk_restart_rate = 0.700
254.66/209.44 c (0,0) c lbd_queue_size = 50
254.66/209.44 c (0,0) c dec_queue_size = 50
254.66/209.44 c (0,0) c trl_queue_size = 5000
254.66/209.44 c (0,0) c blk_restart_weight = 1.000
254.66/209.44 c (0,0) c inc_rst_rate = 0
254.66/209.44 c (0,0) c inc_rst_rate_period = 500000
254.66/209.44 c (0,0) c inc_lbd_rst_rate_init = 0.600
254.66/209.44 c (0,0) c inc_dec_rst_rate_init = 0.750
254.66/209.44 c (0,0) c REDUCTION
254.66/209.44 c (0,0) c closed_lbd = 0
254.66/209.44 c (0,0) c closed_lbd_rate = 0.500
254.66/209.44 c (0,0) c rm_simulate = 0
254.66/209.44 c (0,0) c rdb_eval = 2
254.66/209.44 c (0,0) c rdb_call = 3
254.66/209.44 c (0,0) c rdb_ub = 0.500
254.66/209.44 c (0,0) c core_lbd_cvr = 0.800
254.66/209.44 c (0,0) c supp_lbd_cvr = 0.990
254.66/209.44 c (0,0) c core_lbd_lb = 2
254.66/209.44 c (0,0) c supp_lbd_lb = 2
254.66/209.44 c (0,0) c core_lbd_prd = 7
254.66/209.44 c (0,0) c supp_lbd_prd = 1
254.66/209.44 c (0,0) c othr_lbd_prd = 0
254.66/209.44 c (0,0) c inc_lrn_limit = 1000
254.66/209.44 c (0,0) c frozen_lbd = 30
254.66/209.44 c (0,0) c simp_min_starts = 100
254.66/209.44 c (0,0) c rm_low_act_learnts = 1
254.66/209.44 c (0,0) c lv0_reduce_db = 0
254.66/209.44 c (0,0) c reduce_db_base = 20000
254.66/209.44 c (0,0) c reduce_db_inc = 1000
254.66/209.44 c (0,0) c HARD
254.66/209.44 c (0,0) c inst_check = 200000
254.66/209.44 c (0,0) c small_block = 1.750
254.66/209.44 c (0,0) c slow_restart_speed = 400.000
254.66/209.44 c (0,0) c slow_restart_strategy = 3
254.66/209.44 c (0,0) c slow_lbd_restart_rate = 0.700
254.66/209.44 c (0,0) c slow_dec_restart_rate = 1.000
254.66/209.44 c (0,0) c slow_lbd_queue_size = 50
254.66/209.44 c (0,0) c slow_var_decay = 0.950
254.66/209.44 c (0,0) c slow_glue_threshold = 2
254.66/209.44 c (0,0) c slow_phase_saving = 2
254.66/209.44 c (0,0) c fast_restart_speed = 125.000
254.66/209.44 c (0,0) c fast_restart_strategy = 1
254.66/209.44 c (0,0) c fast_lbd_restart_rate = 0.800
254.66/209.44 c (0,0) c fast_dec_restart_rate = 0.950
254.66/209.44 c (0,0) c fast_lbd_queue_size = 50
254.66/209.44 c (0,0) c fast_var_decay = 1.000
254.66/209.44 c (0,0) c fast_glue_threshold = 2
254.66/209.44 c (0,0) c fast_phase_saving = 2
254.66/209.44 c (0,0) c STATS
254.66/209.44 c (0,0) c stats_conf_size = 10000
254.66/209.44 c (0,0) c max_stats_size = 30
254.66/209.44 c (0,0) c SOLVER
254.66/209.44 c (0,0) c minisat = 0
254.86/210.13 c (1,0) c Problem: 281594 variables, 1636368 clauses, parsing 0.62 s
258.74/213.32 c (4,0) c reduced to 134419 variables, 1123470 clauses (grow = 0)
261.02/215.64 c (6,0) c reduced to 101026 variables, 1228561 clauses (grow = 8)
263.03/217.61 c (8,0) c reduced to 91492 variables, 1319405 clauses (grow = 16)
265.53/220.12 c (11,0) c reduced to 82680 variables, 1479263 clauses (grow = 32)
269.75/224.36 c (15,0) c reduced to 74632 variables, 1757273 clauses (grow = 64)
269.84/224.45 c (15,0) c exclude 185 (0.2%) variables from decision variables (last cost 24)
270.03/224.62 c (15,0) c Simplification: 207147 vars, -120905 clauses are eliminated using 14.37 s
270.03/224.62 c (15,0) c
270.03/224.62 c (15,0) c #Rstrts #Confs #Vars #Clauses #Learnts Lits/C LBD/C DLVs Trail
270.03/224.62 c (15,0) c
270.03/224.62 c (15,0) c 15 0 0 74447 1757273 0 -nan -nan -nan -nan%
270.03/224.63 c (15,0) c 15 1 10 73726 1757273 4 5.0 2.0 351.5 4.2%
270.03/224.63 c (15,0) c
270.03/224.63 c (15,0) c
270.03/224.63 c (15,0) c variables : 73726 (init 281594, after simp 74447, 185 non-decs, 276 csp)
270.03/224.63 c (15,0) c clauses : 1757273 (init 1636368, after simp 1757273)
270.03/224.63 c (15,0) c restarts : 0 (10.00 confs/res, 10~10 confs, 0 blks, 0 last)
270.03/224.63 c (15,0) c conflicts : 10 (1 /sec, 60.00% dconfs, 0.00% supp, trail 100.93w x 351.50h, jmp 350.80h)
270.03/224.63 c (15,0) c decisions : 3508 (0.6000 vdcy, 234 /sec, 0.00% bin, rs 0.000 s)
270.03/224.63 c (15,0) c propagations : 16347 (1090 /sec, 4.66 lits/dec, 3.86% o.a.)
270.03/224.63 c (15,0) c conflict literals : 28 (10.71% deleted; 0.00% by bin min, 0.000 s)
270.03/224.63 c (15,0) c len : 5.000 (2.50 for all, max 12, used 3)
270.03/224.63 c (15,0) c lbd : 2.000 (1.40 (1.30) for all, max 3, used 3, 0.000 stdev, 1.786 blk)
270.03/224.63 c (15,0) c amo : 0 (0 max, -nan avg, 0.000 s)
270.03/224.63 c (15,0) c simp dbs : 1 (0.003 s)
270.03/224.63 c (15,0) c reduce dbs : 0 (core-lbd 2, supp-lbd 2147483647, 0.000 s)
270.03/224.63 c (15,0) c learnts : 4 (0 learnts removed, 0.00%)
270.03/224.63 c (15,0) c rewrite dbs : 0 (0/0 vars, 0+0 taut, 0+0 unit, 0.000 s)
270.03/224.63 c (15,0) c assigned lits : 0 (0/0 probed, 0 remains)
270.03/224.63 c (15,0) c premise updates : 0 (0.00 /lit)
270.03/224.63 c (15,0) c probed variables : 0 (0 pr, 0 eq, 0 fld, 0 pol, 0 nec, 0 cla, 0 amo)
270.03/224.63 c (15,0) c equiv variables : 0 (0 bin, 0 trn, 0 quat, 0 quin, 0 othr; 0 amo)
270.03/224.63 c (15,0) c lazy added bins : 0 (0 prop + 0 conf, 0.004s)
270.03/224.63 c (15,0) c unwatched lit elim: 1 (0.00+0.00%, 1+0 of 7578452+28)
270.03/224.63 c (15,0) c classified type : undef
270.03/224.63 c (15,0) c progress : 13.533%
270.03/224.63 c (15,0) c
270.03/224.63 c (15,0) c [Statistics]
270.03/224.63 c (15,0) c learnts len learnts lbd lit blk size eq vars size
270.03/224.63 c (15,0) c tot 9 9 14 0
270.03/224.63 c (15,0) c avg 2.778 1.444 1.786 -nan
270.03/224.63 c (15,0) c 1 5 (55.6%) 5 (55.6%) 12 (85.7%) 0 (-nan%)
270.03/224.63 c (15,0) c 2 1 (11.1%) 4 (44.4%) 1 ( 7.1%) 0 (-nan%)
270.03/224.63 c (15,0) c 3 2 (22.2%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
270.03/224.63 c (15,0) c 4 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
270.03/224.63 c (15,0) c 5 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
270.03/224.63 c (15,0) c 6 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
270.03/224.63 c (15,0) c 7 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
270.03/224.63 c (15,0) c 8 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
270.03/224.63 c (15,0) c 9 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
270.03/224.63 c (15,0) c 10 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
270.03/224.63 c (15,0) c 11 0 ( 0.0%) 0 ( 0.0%) 1 ( 7.1%) 0 (-nan%)
270.03/224.63 c (15,0) c 12 1 (11.1%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
270.03/224.63 c (15,0) c 13 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
270.03/224.63 c (15,0) c 14 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
270.03/224.63 c (15,0) c 15 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
270.03/224.63 c (15,0) c 16 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
270.03/224.63 c (15,0) c 17 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
270.03/224.63 c (15,0) c 18 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
270.03/224.63 c (15,0) c 19 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
270.03/224.63 c (15,0) c 20 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
270.03/224.63 c (15,0) c 21 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
270.03/224.63 c (15,0) c 22 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
270.03/224.63 c (15,0) c 23 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
270.03/224.63 c (15,0) c 24 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
270.03/224.63 c (15,0) c 25 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
270.03/224.63 c (15,0) c 26 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
270.03/224.63 c (15,0) c 27 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
270.03/224.63 c (15,0) c 28 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
270.03/224.63 c (15,0) c 29 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
270.03/224.63 c (15,0) c 30 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
270.03/224.63 c (15,0) c
270.03/224.63 c (15,0) c [LBD Statistics]
270.03/224.63 c (15,0) c LBD used lbd used clause lbd unused clause lbd
270.03/224.63 c (15,0) c tot 1 1 3
270.03/224.63 c (15,0) c avg 3.000 2.000 2.000
270.03/224.63 c (15,0) c 1 0 ( 0.0/ 0.0%) 0 ( 0.0/ 0.0%) 0 ( 0.0/ 0.0%)
270.03/224.63 c (15,0) c 2 0 ( 0.0/ 0.0%) 1 (100.0/100.0%) 3 (100.0/100.0%)
270.03/224.63 c (15,0) c 3 1 (100.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
270.03/224.63 c (15,0) c
270.03/224.63 c (15,0) c Memory used : 386.00 MB
270.03/224.63 c (15,0) c CPU time : 14.998 s
270.03/224.63 c (15,0) c Real time : 15.206 s
270.03/224.63 c (15,0) c
270.03/224.63 c (15,0) s UNSATISFIABLE
270.03/224.64 c (15,0) SatSolver.solve End
270.03/224.64 c (15,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
270.03/224.64 c (15,0) Show results Begin
270.03/224.64 s UNSATISFIABLE
270.03/224.64 c (15,0) Show results End
270.03/224.64 c (15,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
270.03/224.65 c (15,0) 15,15,STOP-AFTER(ALL)
270.03/224.65 c END-Prog: Thu Sep 12 16:33:24 CEST 2019
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (14135 MiB free)
memory of node 1: 16384 MiB (7251 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4388355-1568298620/watcher-4388355-1568298620 -o /tmp/evaluation-result-4388355-1568298620/solver-4388355-1568298620 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node127-1568286090-6276 --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-4388355-1568298620.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=10271, runsolver pid=10268
[startup+0.100132 s]*
/proc/loadavg: 1.88 3.06 3.05 3/229 10288
/proc/meminfo: memFree=21841364/32770624 swapFree=66998516/67108860
[pid=10271] ppid=10268 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/10271/stat : 10271 (scop.sh) S 10268 10271 4978 0 -1 4202496 556 322 0 0 0 0 0 0 20 0 1 0 406130832 115843072 349 33554432000 4194304 5098028 140735792765072 140735792762328 139675882795644 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 23621632 140735792771880 140735792772208 140735792772208 140735792775117 0
/proc/10271/statm: 28282 349 296 221 0 87 0
[pid=10274] ppid=10271 vsize=15012696 memory=72712 CPUtime=0.11 cores=0,2,4,6
/proc/10274/stat : 10274 (java) S 10271 10271 4978 0 -1 1077944320 6381 0 0 0 10 1 0 0 20 0 15 0 406130832 15373000704 18178 33554432000 4194304 4196468 140734072756112 140734072738656 139628861173495 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 7270400 140734072759022 140734072759450 140734072759450 140734072762319 0
/proc/10274/statm: 3753174 18178 2924 1 0 3715579 0
[pid=10274/tid=10275] ppid=10271 vsize=15012696 memory=576460756329955459 CPUtime=0.08 cores=0,2,4,6
/proc/10274/task/10275/stat : 10275 (java) R 10271 10271 4978 0 -1 4202560 4177 0 0 0 7 1 0 0 20 0 15 0 406130833 15373000704 18178 33554432000 4194304 4196468 140734072756112 139628832960720 139628845253982 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7270400 140734072759022 140734072759450 140734072759450 140734072762319 0
[pid=10274/tid=10276] ppid=10271 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10274/task/10276/stat : 10276 (java) S 10271 10271 4978 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 406130834 15373000704 18178 33554432000 4194304 4196468 140734072756112 139628865416080 139628861183701 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7270400 140734072759022 140734072759450 140734072759450 140734072762319 0
[pid=10274/tid=10277] ppid=10271 vsize=15012696 memory=139845872029596 CPUtime=0 cores=0,2,4,6
/proc/10274/task/10277/stat : 10277 (java) S 10271 10271 4978 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 406130834 15373000704 18178 33554432000 4194304 4196468 140734072756112 139628656499472 139628861183701 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7270400 140734072759022 140734072759450 140734072759450 140734072762319 0
[pid=10274/tid=10278] ppid=10271 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10274/task/10278/stat : 10278 (java) S 10271 10271 4978 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 406130834 15373000704 18178 33554432000 4194304 4196468 140734072756112 139628655447184 139628861183701 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7270400 140734072759022 140734072759450 140734072759450 140734072762319 0
[pid=10274/tid=10279] ppid=10271 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10274/task/10279/stat : 10279 (java) S 10271 10271 4978 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406130834 15373000704 18178 33554432000 4194304 4196468 140734072756112 139628654394384 139628861183701 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7270400 140734072759022 140734072759450 140734072759450 140734072762319 0
[pid=10274/tid=10280] ppid=10271 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10274/task/10280/stat : 10280 (java) S 10271 10271 4978 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 406130836 15373000704 18178 33554432000 4194304 4196468 140734072756112 139627831568496 139628861184642 0 0 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7270400 140734072759022 140734072759450 140734072759450 140734072762319 0
[pid=10274/tid=10281] ppid=10271 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10274/task/10281/stat : 10281 (java) S 10271 10271 4978 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 406130836 15373000704 18178 33554432000 4194304 4196468 140734072756112 139627440628512 139628861183701 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7270400 140734072759022 140734072759450 140734072759450 140734072762319 0
[pid=10274/tid=10282] ppid=10271 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10274/task/10282/stat : 10282 (java) S 10271 10271 4978 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406130836 15373000704 18178 33554432000 4194304 4196468 140734072756112 139627172193392 139628861183701 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7270400 140734072759022 140734072759450 140734072759450 140734072762319 0
[pid=10274/tid=10283] ppid=10271 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10274/task/10283/stat : 10283 (java) S 10271 10271 4978 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 406130839 15373000704 18178 33554432000 4194304 4196468 140734072756112 139626797684816 139628861192091 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7270400 140734072759022 140734072759450 140734072759450 140734072762319 0
[pid=10274/tid=10284] ppid=10271 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10274/task/10284/stat : 10284 (java) S 10271 10271 4978 0 -1 1077944384 416 0 0 0 0 0 0 0 20 0 15 0 406130839 15373000704 18178 33554432000 4194304 4196468 140734072756112 139627830516336 139628861184642 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7270400 140734072759022 140734072759450 140734072759450 140734072762319 0
[pid=10274/tid=10285] ppid=10271 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10274/task/10285/stat : 10285 (java) S 10271 10271 4978 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 406130839 15373000704 18178 33554432000 4194304 4196468 140734072756112 139627829463536 139628861184642 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7270400 140734072759022 140734072759450 140734072759450 140734072762319 0
[pid=10274/tid=10286] ppid=10271 vsize=15012696 memory=139845872019072 CPUtime=0.01 cores=0,2,4,6
/proc/10274/task/10286/stat : 10286 (java) S 10271 10271 4978 0 -1 1077944384 465 0 0 0 1 0 0 0 20 0 15 0 406130839 15373000704 18178 33554432000 4194304 4196468 140734072756112 139627828411248 139628861184642 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7270400 140734072759022 140734072759450 140734072759450 140734072762319 0
[pid=10274/tid=10287] ppid=10271 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10274/task/10287/stat : 10287 (java) S 10271 10271 4978 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 406130839 15373000704 18178 33554432000 4194304 4196468 140734072756112 139626299780064 139628861183701 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7270400 140734072759022 140734072759450 140734072759450 140734072762319 0
[pid=10274/tid=10288] ppid=10271 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10274/task/10288/stat : 10288 (java) S 10271 10271 4978 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406130839 15373000704 18178 33554432000 4194304 4196468 140734072756112 139627827358128 139628861184642 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7270400 140734072759022 140734072759450 140734072759450 140734072762319 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 74108 KiB
[startup+0.210741 s]*
/proc/loadavg: 1.88 3.06 3.05 3/229 10288
/proc/meminfo: memFree=21824932/32770624 swapFree=66998516/67108860
[pid=10271] ppid=10268 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/10271/stat : 10271 (scop.sh) S 10268 10271 4978 0 -1 4202496 556 322 0 0 0 0 0 0 20 0 1 0 406130832 115843072 349 33554432000 4194304 5098028 140735792765072 140735792762328 139675882795644 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 23621632 140735792771880 140735792772208 140735792772208 140735792775117 0
/proc/10271/statm: 28282 349 296 221 0 87 0
[pid=10274] ppid=10271 vsize=15012696 memory=85676 CPUtime=0.25 cores=0,2,4,6
/proc/10274/stat : 10274 (java) S 10271 10271 4978 0 -1 1077944320 10938 0 0 0 22 3 0 0 20 0 15 0 406130832 15373000704 21419 33554432000 4194304 4196468 140734072756112 140734072738656 139628861173495 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 7270400 140734072759022 140734072759450 140734072759450 140734072762319 0
/proc/10274/statm: 3753174 21419 2929 1 0 3715579 0
[pid=10274/tid=10275] ppid=10271 vsize=15012696 memory=7883960649037381690 CPUtime=0.19 cores=0,2,4,6
/proc/10274/task/10275/stat : 10275 (java) R 10271 10271 4978 0 -1 4202560 8661 0 0 0 17 2 0 0 20 0 15 0 406130833 15373000704 21419 33554432000 4194304 4196468 140734072756112 139628832995504 139628853890647 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7270400 140734072759022 140734072759450 140734072759450 140734072762319 0
[pid=10274/tid=10276] ppid=10271 vsize=15012696 memory=1946935 CPUtime=0 cores=0,2,4,6
/proc/10274/task/10276/stat : 10276 (java) S 10271 10271 4978 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 406130834 15373000704 21419 33554432000 4194304 4196468 140734072756112 139628865416080 139628861183701 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7270400 140734072759022 140734072759450 140734072759450 140734072762319 0
[pid=10274/tid=10277] ppid=10271 vsize=15012696 memory=288370222023730816 CPUtime=0 cores=0,2,4,6
/proc/10274/task/10277/stat : 10277 (java) S 10271 10271 4978 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 406130834 15373000704 21419 33554432000 4194304 4196468 140734072756112 139628656499472 139628861183701 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7270400 140734072759022 140734072759450 140734072759450 140734072762319 0
[pid=10274/tid=10278] ppid=10271 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10274/task/10278/stat : 10278 (java) S 10271 10271 4978 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 406130834 15373000704 21419 33554432000 4194304 4196468 140734072756112 139628655447184 139628861183701 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7270400 140734072759022 140734072759450 140734072759450 140734072762319 0
[pid=10274/tid=10279] ppid=10271 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10274/task/10279/stat : 10279 (java) S 10271 10271 4978 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406130834 15373000704 21419 33554432000 4194304 4196468 140734072756112 139628654394384 139628861183701 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7270400 140734072759022 140734072759450 140734072759450 140734072762319 0
[pid=10274/tid=10280] ppid=10271 vsize=15012696 memory=139845872019072 CPUtime=0 cores=0,2,4,6
/proc/10274/task/10280/stat : 10280 (java) S 10271 10271 4978 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 406130836 15373000704 21419 33554432000 4194304 4196468 140734072756112 139627831568496 139628861184642 0 0 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7270400 140734072759022 140734072759450 140734072759450 140734072762319 0
[pid=10274/tid=10281] ppid=10271 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10274/task/10281/stat : 10281 (java) S 10271 10271 4978 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 406130836 15373000704 21419 33554432000 4194304 4196468 140734072756112 139627440628512 139628861183701 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7270400 140734072759022 140734072759450 140734072759450 140734072762319 0
[pid=10274/tid=10282] ppid=10271 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10274/task/10282/stat : 10282 (java) S 10271 10271 4978 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406130836 15373000704 21419 33554432000 4194304 4196468 140734072756112 139627172193392 139628861183701 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7270400 140734072759022 140734072759450 140734072759450 140734072762319 0
[pid=10274/tid=10283] ppid=10271 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10274/task/10283/stat : 10283 (java) S 10271 10271 4978 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 406130839 15373000704 21419 33554432000 4194304 4196468 140734072756112 139626797684816 139628861192091 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7270400 140734072759022 140734072759450 140734072759450 140734072762319 0
[pid=10274/tid=10284] ppid=10271 vsize=15012696 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/10274/task/10284/stat : 10284 (java) S 10271 10271 4978 0 -1 1077944384 449 0 0 0 1 0 0 0 20 0 15 0 406130839 15373000704 21419 33554432000 4194304 4196468 140734072756112 139627830516336 139628861184642 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7270400 140734072759022 140734072759450 140734072759450 140734072762319 0
[pid=10274/tid=10285] ppid=10271 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10274/task/10285/stat : 10285 (java) S 10271 10271 4978 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 15 0 406130839 15373000704 21419 33554432000 4194304 4196468 140734072756112 139627829463536 139628861184642 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7270400 140734072759022 140734072759450 140734072759450 140734072762319 0
[pid=10274/tid=10286] ppid=10271 vsize=15012696 memory=139845872019072 CPUtime=0.02 cores=0,2,4,6
/proc/10274/task/10286/stat : 10286 (java) R 10271 10271 4978 0 -1 4202560 477 0 0 0 2 0 0 0 20 0 15 0 406130839 15373000704 21419 33554432000 4194304 4196468 140734072756112 139627828411248 139628839778489 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7270400 140734072759022 140734072759450 140734072759450 140734072762319 0
[pid=10274/tid=10287] ppid=10271 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10274/task/10287/stat : 10287 (java) S 10271 10271 4978 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 406130839 15373000704 21419 33554432000 4194304 4196468 140734072756112 139626299780064 139628861183701 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7270400 140734072759022 140734072759450 140734072759450 140734072762319 0
[pid=10274/tid=10288] ppid=10271 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10274/task/10288/stat : 10288 (java) S 10271 10271 4978 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406130839 15373000704 21419 33554432000 4194304 4196468 140734072756112 139627827358128 139628861184642 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7270400 140734072759022 140734072759450 140734072759450 140734072762319 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 87072 KiB
[startup+0.310596 s]*
/proc/loadavg: 1.88 3.06 3.05 3/229 10288
/proc/meminfo: memFree=21820900/32770624 swapFree=66998516/67108860
[pid=10271] ppid=10268 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/10271/stat : 10271 (scop.sh) S 10268 10271 4978 0 -1 4202496 556 322 0 0 0 0 0 0 20 0 1 0 406130832 115843072 349 33554432000 4194304 5098028 140735792765072 140735792762328 139675882795644 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 23621632 140735792771880 140735792772208 140735792772208 140735792775117 0
/proc/10271/statm: 28282 349 296 221 0 87 0
[pid=10274] ppid=10271 vsize=15012696 memory=89980 CPUtime=0.43 cores=0,2,4,6
/proc/10274/stat : 10274 (java) S 10271 10271 4978 0 -1 1077944320 12024 0 0 0 40 3 0 0 20 0 15 0 406130832 15373000704 22495 33554432000 4194304 4196468 140734072756112 140734072738656 139628861173495 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 7270400 140734072759022 140734072759450 140734072759450 140734072762319 0
/proc/10274/statm: 3753174 22495 3084 1 0 3715579 0
[pid=10274/tid=10275] ppid=10271 vsize=15012696 memory=8317482817917895235 CPUtime=0.3 cores=0,2,4,6
/proc/10274/task/10275/stat : 10275 (java) R 10271 10271 4978 0 -1 4202560 9540 0 0 0 27 3 0 0 20 0 15 0 406130833 15373000704 22495 33554432000 4194304 4196468 140734072756112 139628833003568 139628842737059 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7270400 140734072759022 140734072759450 140734072759450 140734072762319 0
[pid=10274/tid=10276] ppid=10271 vsize=15012696 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/10274/task/10276/stat : 10276 (java) S 10271 10271 4978 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 406130834 15373000704 22495 33554432000 4194304 4196468 140734072756112 139628865416080 139628861183701 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7270400 140734072759022 140734072759450 140734072759450 140734072762319 0
[pid=10274/tid=10277] ppid=10271 vsize=15012696 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/10274/task/10277/stat : 10277 (java) S 10271 10271 4978 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 406130834 15373000704 22495 33554432000 4194304 4196468 140734072756112 139628656499472 139628861183701 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7270400 140734072759022 140734072759450 140734072759450 140734072762319 0
[pid=10274/tid=10278] ppid=10271 vsize=15012696 memory=6944656592387989600 CPUtime=0 cores=0,2,4,6
/proc/10274/task/10278/stat : 10278 (java) S 10271 10271 4978 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 406130834 15373000704 22495 33554432000 4194304 4196468 140734072756112 139628655447184 139628861183701 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7270400 140734072759022 140734072759450 140734072759450 140734072762319 0
[pid=10274/tid=10279] ppid=10271 vsize=15012696 memory=8562125494162282060 CPUtime=0 cores=0,2,4,6
/proc/10274/task/10279/stat : 10279 (java) S 10271 10271 4978 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406130834 15373000704 22495 33554432000 4194304 4196468 140734072756112 139628654394384 139628861183701 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7270400 140734072759022 140734072759450 140734072759450 140734072762319 0
[pid=10274/tid=10280] ppid=10271 vsize=15012696 memory=7223591943076881810 CPUtime=0 cores=0,2,4,6
/proc/10274/task/10280/stat : 10280 (java) S 10271 10271 4978 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 406130836 15373000704 22495 33554432000 4194304 4196468 140734072756112 139627831568496 139628861184642 0 0 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7270400 140734072759022 140734072759450 140734072759450 140734072762319 0
[pid=10274/tid=10281] ppid=10271 vsize=15012696 memory=6944938067432061290 CPUtime=0 cores=0,2,4,6
/proc/10274/task/10281/stat : 10281 (java) S 10271 10271 4978 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 406130836 15373000704 22495 33554432000 4194304 4196468 140734072756112 139627440628512 139628861183701 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7270400 140734072759022 140734072759450 140734072759450 140734072762319 0
[pid=10274/tid=10282] ppid=10271 vsize=15012696 memory=-9062862659931694204 CPUtime=0 cores=0,2,4,6
/proc/10274/task/10282/stat : 10282 (java) S 10271 10271 4978 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406130836 15373000704 22495 33554432000 4194304 4196468 140734072756112 139627172193392 139628861183701 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7270400 140734072759022 140734072759450 140734072759450 140734072762319 0
[pid=10274/tid=10283] ppid=10271 vsize=15012696 memory=7100839852926015589 CPUtime=0 cores=0,2,4,6
/proc/10274/task/10283/stat : 10283 (java) S 10271 10271 4978 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 406130839 15373000704 22495 33554432000 4194304 4196468 140734072756112 139626797684816 139628861192091 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7270400 140734072759022 140734072759450 140734072759450 140734072762319 0
[pid=10274/tid=10284] ppid=10271 vsize=15012696 memory=4426089072227881875 CPUtime=0.02 cores=0,2,4,6
/proc/10274/task/10284/stat : 10284 (java) S 10271 10271 4978 0 -1 1077944384 494 0 0 0 2 0 0 0 20 0 15 0 406130839 15373000704 22495 33554432000 4194304 4196468 140734072756112 139627830516336 139628861184642 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7270400 140734072759022 140734072759450 140734072759450 140734072762319 0
[pid=10274/tid=10285] ppid=10271 vsize=15012696 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/10274/task/10285/stat : 10285 (java) S 10271 10271 4978 0 -1 1077944384 132 0 0 0 2 0 0 0 20 0 15 0 406130839 15373000704 22495 33554432000 4194304 4196468 140734072756112 139627829463536 139628861184642 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7270400 140734072759022 140734072759450 140734072759450 140734072762319 0
[pid=10274/tid=10286] ppid=10271 vsize=15012696 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/10274/task/10286/stat : 10286 (java) S 10271 10271 4978 0 -1 1077944384 524 0 0 0 7 0 0 0 20 0 15 0 406130839 15373000704 22495 33554432000 4194304 4196468 140734072756112 139627828411248 139628861184642 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7270400 140734072759022 140734072759450 140734072759450 140734072762319 0
[pid=10274/tid=10287] ppid=10271 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10274/task/10287/stat : 10287 (java) S 10271 10271 4978 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 406130839 15373000704 22495 33554432000 4194304 4196468 140734072756112 139626299780064 139628861183701 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7270400 140734072759022 140734072759450 140734072759450 140734072762319 0
[pid=10274/tid=10288] ppid=10271 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10274/task/10288/stat : 10288 (java) S 10271 10271 4978 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406130839 15373000704 22495 33554432000 4194304 4196468 140734072756112 139627827358128 139628861184642 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7270400 140734072759022 140734072759450 140734072759450 140734072762319 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 91376 KiB
[startup+0.701159 s]
/proc/loadavg: 1.88 3.06 3.05 3/229 10288
/proc/meminfo: memFree=21798464/32770624 swapFree=66998516/67108860
[pid=10271] ppid=10268 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/10271/stat : 10271 (scop.sh) S 10268 10271 4978 0 -1 4202496 556 322 0 0 0 0 0 0 20 0 1 0 406130832 115843072 349 33554432000 4194304 5098028 140735792765072 140735792762328 139675882795644 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 23621632 140735792771880 140735792772208 140735792772208 140735792775117 0
/proc/10271/statm: 28282 349 296 221 0 87 0
[pid=10274] ppid=10271 vsize=15018968 memory=129632 CPUtime=1.02 cores=0,2,4,6
/proc/10274/stat : 10274 (java) S 10271 10271 4978 0 -1 1077944320 19653 0 0 0 97 5 0 0 20 0 15 0 406130832 15379423232 32408 33554432000 4194304 4196468 140734072756112 140734072738656 139628861173495 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 7270400 140734072759022 140734072759450 140734072759450 140734072762319 0
/proc/10274/statm: 3754742 32408 3190 1 0 3716091 0
[pid=10274/tid=10275] ppid=10271 vsize=15018968 memory=0 CPUtime=0.68 cores=0,2,4,6
/proc/10274/task/10275/stat : 10275 (java) R 10271 10271 4978 0 -1 4202560 16654 0 0 0 64 4 0 0 20 0 15 0 406130833 15379423232 32408 33554432000 4194304 4196468 140734072756112 139628833001432 139628845281369 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7270400 140734072759022 140734072759450 140734072759450 140734072762319 0
[pid=10274/tid=10276] ppid=10271 vsize=15018968 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10274/task/10276/stat : 10276 (java) S 10271 10271 4978 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 406130834 15379423232 32408 33554432000 4194304 4196468 140734072756112 139628865416080 139628861183701 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7270400 140734072759022 140734072759450 140734072759450 140734072762319 0
[pid=10274/tid=10277] ppid=10271 vsize=15018968 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10274/task/10277/stat : 10277 (java) S 10271 10271 4978 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 406130834 15379423232 32408 33554432000 4194304 4196468 140734072756112 139628656499472 139628861183701 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7270400 140734072759022 140734072759450 140734072759450 140734072762319 0
[pid=10274/tid=10278] ppid=10271 vsize=15018968 memory=1056 CPUtime=0 cores=0,2,4,6
/proc/10274/task/10278/stat : 10278 (java) S 10271 10271 4978 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 406130834 15379423232 32408 33554432000 4194304 4196468 140734072756112 139628655447184 139628861183701 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7270400 140734072759022 140734072759450 140734072759450 140734072762319 0
[pid=10274/tid=10279] ppid=10271 vsize=15018968 memory=1204 CPUtime=0 cores=0,2,4,6
/proc/10274/task/10279/stat : 10279 (java) S 10271 10271 4978 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406130834 15379423232 32408 33554432000 4194304 4196468 140734072756112 139628654394384 139628861183701 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7270400 140734072759022 140734072759450 140734072759450 140734072762319 0
[pid=10274/tid=10280] ppid=10271 vsize=15018968 memory=1536 CPUtime=0 cores=0,2,4,6
/proc/10274/task/10280/stat : 10280 (java) S 10271 10271 4978 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 406130836 15379423232 32408 33554432000 4194304 4196468 140734072756112 139627831568496 139628861184642 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7270400 140734072759022 140734072759450 140734072759450 140734072762319 0
[pid=10274/tid=10281] ppid=10271 vsize=15018968 memory=9592 CPUtime=0 cores=0,2,4,6
/proc/10274/task/10281/stat : 10281 (java) S 10271 10271 4978 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 406130836 15379423232 32408 33554432000 4194304 4196468 140734072756112 139627440628512 139628861183701 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7270400 140734072759022 140734072759450 140734072759450 140734072762319 0
[pid=10274/tid=10282] ppid=10271 vsize=15018968 memory=2828 CPUtime=0 cores=0,2,4,6
/proc/10274/task/10282/stat : 10282 (java) S 10271 10271 4978 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406130836 15379423232 32408 33554432000 4194304 4196468 140734072756112 139627172193392 139628861183701 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7270400 140734072759022 140734072759450 140734072759450 140734072762319 0
[pid=10274/tid=10283] ppid=10271 vsize=15018968 memory=780 CPUtime=0 cores=0,2,4,6
/proc/10274/task/10283/stat : 10283 (java) S 10271 10271 4978 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 406130839 15379423232 32408 33554432000 4194304 4196468 140734072756112 139626797684816 139628861192091 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7270400 140734072759022 140734072759450 140734072759450 140734072762319 0
[pid=10274/tid=10284] ppid=10271 vsize=15018968 memory=620 CPUtime=0.08 cores=0,2,4,6
/proc/10274/task/10284/stat : 10284 (java) S 10271 10271 4978 0 -1 1077944384 691 0 0 0 8 0 0 0 20 0 15 0 406130839 15379423232 32408 33554432000 4194304 4196468 140734072756112 139627830516336 139628861184642 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7270400 140734072759022 140734072759450 140734072759450 140734072762319 0
[pid=10274/tid=10285] ppid=10271 vsize=15018968 memory=1712 CPUtime=0.09 cores=0,2,4,6
/proc/10274/task/10285/stat : 10285 (java) R 10271 10271 4978 0 -1 4202560 343 0 0 0 9 0 0 0 20 0 15 0 406130839 15379423232 32408 33554432000 4194304 4196468 140734072756112 139627829463536 139628842718046 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7270400 140734072759022 140734072759450 140734072759450 140734072762319 0
[pid=10274/tid=10286] ppid=10271 vsize=15018968 memory=1052 CPUtime=0.15 cores=0,2,4,6
/proc/10274/task/10286/stat : 10286 (java) S 10271 10271 4978 0 -1 1077944384 627 0 0 0 15 0 0 0 20 0 15 0 406130839 15379423232 32408 33554432000 4194304 4196468 140734072756112 139627828411248 139628861184642 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7270400 140734072759022 140734072759450 140734072759450 140734072762319 0
[pid=10274/tid=10287] ppid=10271 vsize=15018968 memory=5900 CPUtime=0 cores=0,2,4,6
/proc/10274/task/10287/stat : 10287 (java) S 10271 10271 4978 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 406130839 15379423232 32408 33554432000 4194304 4196468 140734072756112 139626299780064 139628861183701 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7270400 140734072759022 140734072759450 140734072759450 140734072762319 0
[pid=10274/tid=10288] ppid=10271 vsize=15018968 memory=14012 CPUtime=0 cores=0,2,4,6
/proc/10274/task/10288/stat : 10288 (java) S 10271 10271 4978 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 406130839 15379423232 32408 33554432000 4194304 4196468 140734072756112 139627827358128 139628861184642 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7270400 140734072759022 140734072759450 140734072759450 140734072762319 0
Current children cumulated CPU time: 1.02 s
Current children cumulated vsize: 15132096 KiB
Current children cumulated memory: 131028 KiB
[startup+1.50074 s]
/proc/loadavg: 1.88 3.06 3.05 6/229 10288
/proc/meminfo: memFree=21724492/32770624 swapFree=66998516/67108860
[pid=10271] ppid=10268 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/10271/stat : 10271 (scop.sh) S 10268 10271 4978 0 -1 4202496 556 322 0 0 0 0 0 0 20 0 1 0 406130832 115843072 349 33554432000 4194304 5098028 140735792765072 140735792762328 139675882795644 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 23621632 140735792771880 140735792772208 140735792772208 140735792775117 0
/proc/10271/statm: 28282 349 296 221 0 87 0
################
# More data... #
################
Current children cumulated CPU time: 268.03 s
Current children cumulated vsize: 8496616 KiB
Current children cumulated memory: 394744 KiB
[startup+223.401 s]
/proc/loadavg: 2.15 2.51 2.82 3/240 10354
/proc/meminfo: memFree=27493688/32770624 swapFree=66998516/67108860
[pid=10271] ppid=10268 vsize=113128 memory=1476 CPUtime=253.49 cores=0,2,4,6
/proc/10271/stat : 10271 (scop.sh) S 10268 10271 4978 0 -1 4202496 584 97742 0 0 0 0 24899 450 20 0 1 0 406130832 115843072 369 33554432000 4194304 5098028 140735792765072 140735792761816 139675882795644 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 23621632 140735792771880 140735792772208 140735792772208 140735792775117 0
/proc/10271/statm: 28282 369 311 221 0 87 0
[pid=10332] ppid=10271 vsize=8068440 memory=118416 CPUtime=1.38 cores=0,2,4,6
/proc/10332/stat : 10332 (java) S 10271 10271 4978 0 -1 1077944320 20658 0 0 0 130 8 0 0 20 0 19 0 406151694 8262082560 29604 33554432000 4194304 4196468 140729128196544 140729128179088 140217480732407 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 39378944 140729128203259 140729128203418 140729128203418 140729128206287 0
/proc/10332/statm: 2017110 29604 3210 1 0 1978454 0
[pid=10347] ppid=10332 vsize=315312 memory=275120 CPUtime=13.97 cores=0,2,4,6
/proc/10347/stat : 10347 (glueminisat-sim) R 10332 10271 4978 0 -1 4202496 181936 0 0 0 1378 19 0 0 20 0 1 0 406151774 322879488 68780 33554432000 4194304 4452875 140728680594784 140728680589464 4242752 0 4 0 8388610 0 0 0 17 2 0 0 0 0 0 6552096 6554264 26693632 140728680600415 140728680600615 140728680600615 140728680603565 0
/proc/10347/statm: 78828 68780 351 64 0 75032 0
[pid=10332/tid=10333] ppid=10271 vsize=8068440 memory=5859535235326444939 CPUtime=0.82 cores=0,2,4,6
/proc/10332/task/10333/stat : 10333 (java) S 10271 10271 4978 0 -1 1077944384 17452 0 0 0 76 6 0 0 20 0 19 0 406151694 8262082560 29604 33554432000 4194304 4196468 140729128196544 140217452572576 140217480742613 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39378944 140729128203259 140729128203418 140729128203418 140729128206287 0
[pid=10332/tid=10334] ppid=10271 vsize=8068440 memory=-8961168018402230209 CPUtime=0 cores=0,2,4,6
/proc/10332/task/10334/stat : 10334 (java) S 10271 10271 4978 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 406151696 8262082560 29604 33554432000 4194304 4196468 140729128196544 140217484974736 140217480742613 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39378944 140729128203259 140729128203418 140729128203418 140729128206287 0
[pid=10332/tid=10335] ppid=10271 vsize=8068440 memory=1476 CPUtime=0 cores=0,2,4,6
/proc/10332/task/10335/stat : 10335 (java) S 10271 10271 4978 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 406151696 8262082560 29604 33554432000 4194304 4196468 140729128196544 140217285143056 140217480742613 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39378944 140729128203259 140729128203418 140729128203418 140729128206287 0
[pid=10332/tid=10336] ppid=10271 vsize=8068440 memory=1412 CPUtime=0 cores=0,2,4,6
/proc/10332/task/10336/stat : 10336 (java) S 10271 10271 4978 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 406151696 8262082560 29604 33554432000 4194304 4196468 140729128196544 140217284090256 140217480742613 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39378944 140729128203259 140729128203418 140729128203418 140729128206287 0
[pid=10332/tid=10337] ppid=10271 vsize=8068440 memory=3176 CPUtime=0 cores=0,2,4,6
/proc/10332/task/10337/stat : 10337 (java) S 10271 10271 4978 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 406151696 8262082560 29604 33554432000 4194304 4196468 140729128196544 140217283037456 140217480742613 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39378944 140729128203259 140729128203418 140729128203418 140729128206287 0
[pid=10332/tid=10338] ppid=10271 vsize=8068440 memory=3624 CPUtime=0 cores=0,2,4,6
/proc/10332/task/10338/stat : 10338 (java) S 10271 10271 4978 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 19 0 406151697 8262082560 29604 33554432000 4194304 4196468 140729128196544 140216926931824 140217480743554 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39378944 140729128203259 140729128203418 140729128203418 140729128206287 0
[pid=10332/tid=10339] ppid=10271 vsize=8068440 memory=37612 CPUtime=0 cores=0,2,4,6
/proc/10332/task/10339/stat : 10339 (java) S 10271 10271 4978 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 406151698 8262082560 29604 33554432000 4194304 4196468 140729128196544 140216388019744 140217480742613 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39378944 140729128203259 140729128203418 140729128203418 140729128206287 0
[pid=10332/tid=10340] ppid=10271 vsize=8068440 memory=988 CPUtime=0 cores=0,2,4,6
/proc/10332/task/10340/stat : 10340 (java) S 10271 10271 4978 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 406151698 8262082560 29604 33554432000 4194304 4196468 140729128196544 140216253797744 140217480742613 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39378944 140729128203259 140729128203418 140729128203418 140729128206287 0
[pid=10332/tid=10341] ppid=10271 vsize=8068440 memory=2024 CPUtime=0 cores=0,2,4,6
/proc/10332/task/10341/stat : 10341 (java) S 10271 10271 4978 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 406151701 8262082560 29604 33554432000 4194304 4196468 140729128196544 140215879293264 140217480751003 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39378944 140729128203259 140729128203418 140729128203418 140729128206287 0
[pid=10332/tid=10342] ppid=10271 vsize=8068440 memory=1428 CPUtime=0.15 cores=0,2,4,6
/proc/10332/task/10342/stat : 10342 (java) S 10271 10271 4978 0 -1 1077944384 757 0 0 0 15 0 0 0 20 0 19 0 406151701 8262082560 29604 33554432000 4194304 4196468 140729128196544 140216119576944 140217480743554 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39378944 140729128203259 140729128203418 140729128203418 140729128206287 0
[pid=10332/tid=10343] ppid=10271 vsize=8068440 memory=4148 CPUtime=0.12 cores=0,2,4,6
/proc/10332/task/10343/stat : 10343 (java) S 10271 10271 4978 0 -1 1077944384 386 0 0 0 12 0 0 0 20 0 19 0 406151701 8262082560 29604 33554432000 4194304 4196468 140729128196544 140216118524144 140217480743554 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39378944 140729128203259 140729128203418 140729128203418 140729128206287 0
[pid=10332/tid=10344] ppid=10271 vsize=8068440 memory=1056 CPUtime=0.24 cores=0,2,4,6
/proc/10332/task/10344/stat : 10344 (java) S 10271 10271 4978 0 -1 1077944384 623 0 0 0 24 0 0 0 20 0 19 0 406151701 8262082560 29604 33554432000 4194304 4196468 140729128196544 140216117471344 140217480743554 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39378944 140729128203259 140729128203418 140729128203418 140729128206287 0
[pid=10332/tid=10345] ppid=10271 vsize=8068440 memory=1476 CPUtime=0 cores=0,2,4,6
/proc/10332/task/10345/stat : 10345 (java) S 10271 10271 4978 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 406151701 8262082560 29604 33554432000 4194304 4196468 140729128196544 140215381387488 140217480742613 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39378944 140729128203259 140729128203418 140729128203418 140729128206287 0
[pid=10332/tid=10346] ppid=10271 vsize=8068440 memory=4148 CPUtime=0 cores=0,2,4,6
/proc/10332/task/10346/stat : 10346 (java) S 10271 10271 4978 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 406151701 8262082560 29604 33554432000 4194304 4196468 140729128196544 140216116419760 140217480743554 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 39378944 140729128203259 140729128203418 140729128203418 140729128206287 0
[pid=10332/tid=10348] ppid=10271 vsize=8068440 memory=1056 CPUtime=0 cores=0,2,4,6
/proc/10332/task/10348/stat : 10348 (java) S 10271 10271 4978 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 406151775 8262082560 29604 33554432000 4194304 4196468 140729128196544 140217260734144 140217480757017 0 4 2 25189581 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 39378944 140729128203259 140729128203418 140729128203418 140729128206287 0
[pid=10332/tid=10350] ppid=10271 vsize=8068440 memory=1204 CPUtime=0 cores=0,2,4,6
/proc/10332/task/10350/stat : 10350 (java) S 10271 10271 4978 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 406151775 8262082560 29604 33554432000 4194304 4196468 140729128196544 140215112941360 140217480754333 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 39378944 140729128203259 140729128203418 140729128203418 140729128206287 0
[pid=10332/tid=10351] ppid=10271 vsize=8068440 memory=1536 CPUtime=0 cores=0,2,4,6
/proc/10332/task/10351/stat : 10351 (java) S 10271 10271 4978 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 406151775 8262082560 29604 33554432000 4194304 4196468 140729128196544 140214710288048 140217480754333 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 39378944 140729128203259 140729128203418 140729128203418 140729128206287 0
[pid=10332/tid=10352] ppid=10271 vsize=8068440 memory=9592 CPUtime=0 cores=0,2,4,6
/proc/10332/task/10352/stat : 10352 (java) S 10271 10271 4978 0 -1 1077944384 32 0 0 0 0 0 0 0 20 0 19 0 406151778 8262082560 29604 33554432000 4194304 4196468 140729128196544 140214576073904 140217480742613 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39378944 140729128203259 140729128203418 140729128203418 140729128206287 0
Current children cumulated CPU time: 268.84 s
Current children cumulated vsize: 8496880 KiB
Current children cumulated memory: 395012 KiB
[startup+224.201 s]*
/proc/loadavg: 2.13 2.50 2.82 3/240 10354
/proc/meminfo: memFree=27448944/32770624 swapFree=66998516/67108860
[pid=10271] ppid=10268 vsize=113128 memory=1476 CPUtime=253.49 cores=0,2,4,6
/proc/10271/stat : 10271 (scop.sh) S 10268 10271 4978 0 -1 4202496 584 97742 0 0 0 0 24899 450 20 0 1 0 406130832 115843072 369 33554432000 4194304 5098028 140735792765072 140735792761816 139675882795644 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 23621632 140735792771880 140735792772208 140735792772208 140735792775117 0
/proc/10271/statm: 28282 369 311 221 0 87 0
[pid=10332] ppid=10271 vsize=8068440 memory=118416 CPUtime=1.38 cores=0,2,4,6
/proc/10332/stat : 10332 (java) S 10271 10271 4978 0 -1 1077944320 20658 0 0 0 130 8 0 0 20 0 19 0 406151694 8262082560 29604 33554432000 4194304 4196468 140729128196544 140729128179088 140217480732407 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 39378944 140729128203259 140729128203418 140729128203418 140729128206287 0
/proc/10332/statm: 2017110 29604 3210 1 0 1978454 0
[pid=10347] ppid=10332 vsize=395452 memory=321560 CPUtime=14.77 cores=0,2,4,6
/proc/10347/stat : 10347 (glueminisat-sim) R 10332 10271 4978 0 -1 4202496 184560 0 0 0 1458 19 0 0 20 0 1 0 406151774 404942848 80390 33554432000 4194304 4452875 140728680594784 140728680589464 4265891 0 4 0 8388610 0 0 0 17 2 0 0 0 0 0 6552096 6554264 26693632 140728680600415 140728680600615 140728680600615 140728680603565 0
/proc/10347/statm: 98863 80390 351 64 0 95067 0
[pid=10332/tid=10333] ppid=10271 vsize=8068440 memory=8317482817917895235 CPUtime=0.82 cores=0,2,4,6
/proc/10332/task/10333/stat : 10333 (java) S 10271 10271 4978 0 -1 1077944384 17452 0 0 0 76 6 0 0 20 0 19 0 406151694 8262082560 29604 33554432000 4194304 4196468 140729128196544 140217452572576 140217480742613 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39378944 140729128203259 140729128203418 140729128203418 140729128206287 0
[pid=10332/tid=10334] ppid=10271 vsize=8068440 memory=1052 CPUtime=0 cores=0,2,4,6
/proc/10332/task/10334/stat : 10334 (java) S 10271 10271 4978 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 406151696 8262082560 29604 33554432000 4194304 4196468 140729128196544 140217484974736 140217480742613 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39378944 140729128203259 140729128203418 140729128203418 140729128206287 0
[pid=10332/tid=10335] ppid=10271 vsize=8068440 memory=5900 CPUtime=0 cores=0,2,4,6
/proc/10332/task/10335/stat : 10335 (java) S 10271 10271 4978 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 406151696 8262082560 29604 33554432000 4194304 4196468 140729128196544 140217285143056 140217480742613 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39378944 140729128203259 140729128203418 140729128203418 140729128206287 0
[pid=10332/tid=10336] ppid=10271 vsize=8068440 memory=14012 CPUtime=0 cores=0,2,4,6
/proc/10332/task/10336/stat : 10336 (java) S 10271 10271 4978 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 406151696 8262082560 29604 33554432000 4194304 4196468 140729128196544 140217284090256 140217480742613 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39378944 140729128203259 140729128203418 140729128203418 140729128206287 0
[pid=10332/tid=10337] ppid=10271 vsize=8068440 memory=2116 CPUtime=0 cores=0,2,4,6
/proc/10332/task/10337/stat : 10337 (java) S 10271 10271 4978 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 406151696 8262082560 29604 33554432000 4194304 4196468 140729128196544 140217283037456 140217480742613 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39378944 140729128203259 140729128203418 140729128203418 140729128206287 0
[pid=10332/tid=10338] ppid=10271 vsize=8068440 memory=20548 CPUtime=0 cores=0,2,4,6
/proc/10332/task/10338/stat : 10338 (java) S 10271 10271 4978 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 19 0 406151697 8262082560 29604 33554432000 4194304 4196468 140729128196544 140216926931824 140217480743554 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39378944 140729128203259 140729128203418 140729128203418 140729128206287 0
[pid=10332/tid=10339] ppid=10271 vsize=8068440 memory=14068 CPUtime=0 cores=0,2,4,6
/proc/10332/task/10339/stat : 10339 (java) S 10271 10271 4978 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 406151698 8262082560 29604 33554432000 4194304 4196468 140729128196544 140216388019744 140217480742613 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39378944 140729128203259 140729128203418 140729128203418 140729128206287 0
[pid=10332/tid=10340] ppid=10271 vsize=8068440 memory=-7824251494390913640 CPUtime=0 cores=0,2,4,6
/proc/10332/task/10340/stat : 10340 (java) S 10271 10271 4978 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 406151698 8262082560 29604 33554432000 4194304 4196468 140729128196544 140216253797744 140217480742613 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39378944 140729128203259 140729128203418 140729128203418 140729128206287 0
[pid=10332/tid=10341] ppid=10271 vsize=8068440 memory=1052 CPUtime=0 cores=0,2,4,6
/proc/10332/task/10341/stat : 10341 (java) S 10271 10271 4978 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 406151701 8262082560 29604 33554432000 4194304 4196468 140729128196544 140215879293264 140217480751003 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39378944 140729128203259 140729128203418 140729128203418 140729128206287 0
[pid=10332/tid=10342] ppid=10271 vsize=8068440 memory=5900 CPUtime=0.15 cores=0,2,4,6
/proc/10332/task/10342/stat : 10342 (java) S 10271 10271 4978 0 -1 1077944384 757 0 0 0 15 0 0 0 20 0 19 0 406151701 8262082560 29604 33554432000 4194304 4196468 140729128196544 140216119576944 140217480743554 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39378944 140729128203259 140729128203418 140729128203418 140729128206287 0
[pid=10332/tid=10343] ppid=10271 vsize=8068440 memory=14012 CPUtime=0.12 cores=0,2,4,6
/proc/10332/task/10343/stat : 10343 (java) S 10271 10271 4978 0 -1 1077944384 386 0 0 0 12 0 0 0 20 0 19 0 406151701 8262082560 29604 33554432000 4194304 4196468 140729128196544 140216118524144 140217480743554 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39378944 140729128203259 140729128203418 140729128203418 140729128206287 0
[pid=10332/tid=10344] ppid=10271 vsize=8068440 memory=2116 CPUtime=0.24 cores=0,2,4,6
/proc/10332/task/10344/stat : 10344 (java) S 10271 10271 4978 0 -1 1077944384 623 0 0 0 24 0 0 0 20 0 19 0 406151701 8262082560 29604 33554432000 4194304 4196468 140729128196544 140216117471344 140217480743554 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39378944 140729128203259 140729128203418 140729128203418 140729128206287 0
[pid=10332/tid=10345] ppid=10271 vsize=8068440 memory=20548 CPUtime=0 cores=0,2,4,6
/proc/10332/task/10345/stat : 10345 (java) S 10271 10271 4978 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 406151701 8262082560 29604 33554432000 4194304 4196468 140729128196544 140215381387488 140217480742613 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39378944 140729128203259 140729128203418 140729128203418 140729128206287 0
[pid=10332/tid=10346] ppid=10271 vsize=8068440 memory=14068 CPUtime=0 cores=0,2,4,6
/proc/10332/task/10346/stat : 10346 (java) S 10271 10271 4978 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 406151701 8262082560 29604 33554432000 4194304 4196468 140729128196544 140216116419760 140217480743554 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 39378944 140729128203259 140729128203418 140729128203418 140729128206287 0
[pid=10332/tid=10348] ppid=10271 vsize=8068440 memory=524 CPUtime=0 cores=0,2,4,6
/proc/10332/task/10348/stat : 10348 (java) S 10271 10271 4978 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 406151775 8262082560 29604 33554432000 4194304 4196468 140729128196544 140217260734144 140217480757017 0 4 2 25189581 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 39378944 140729128203259 140729128203418 140729128203418 140729128206287 0
[pid=10332/tid=10350] ppid=10271 vsize=8068440 memory=1536 CPUtime=0 cores=0,2,4,6
/proc/10332/task/10350/stat : 10350 (java) S 10271 10271 4978 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 406151775 8262082560 29604 33554432000 4194304 4196468 140729128196544 140215112941360 140217480754333 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 39378944 140729128203259 140729128203418 140729128203418 140729128206287 0
[pid=10332/tid=10351] ppid=10271 vsize=8068440 memory=9592 CPUtime=0 cores=0,2,4,6
/proc/10332/task/10351/stat : 10351 (java) S 10271 10271 4978 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 406151775 8262082560 29604 33554432000 4194304 4196468 140729128196544 140214710288048 140217480754333 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 39378944 140729128203259 140729128203418 140729128203418 140729128206287 0
[pid=10332/tid=10352] ppid=10271 vsize=8068440 memory=2828 CPUtime=0 cores=0,2,4,6
/proc/10332/task/10352/stat : 10352 (java) S 10271 10271 4978 0 -1 1077944384 32 0 0 0 0 0 0 0 20 0 19 0 406151778 8262082560 29604 33554432000 4194304 4196468 140729128196544 140214576073904 140217480742613 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39378944 140729128203259 140729128203418 140729128203418 140729128206287 0
Current children cumulated CPU time: 269.64 s
Current children cumulated vsize: 8577020 KiB
Current children cumulated memory: 441452 KiB
[startup+224.601 s]
/proc/loadavg: 2.13 2.50 2.82 3/240 10354
/proc/meminfo: memFree=27448944/32770624 swapFree=66998516/67108860
[pid=10271] ppid=10268 vsize=113128 memory=1476 CPUtime=253.49 cores=0,2,4,6
/proc/10271/stat : 10271 (scop.sh) S 10268 10271 4978 0 -1 4202496 584 97742 0 0 0 0 24899 450 20 0 1 0 406130832 115843072 369 33554432000 4194304 5098028 140735792765072 140735792761816 139675882795644 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 23621632 140735792771880 140735792772208 140735792772208 140735792775117 0
/proc/10271/statm: 28282 369 311 221 0 87 0
[pid=10332] ppid=10271 vsize=8068440 memory=118416 CPUtime=1.38 cores=0,2,4,6
/proc/10332/stat : 10332 (java) S 10271 10271 4978 0 -1 1077944320 20658 0 0 0 130 8 0 0 20 0 19 0 406151694 8262082560 29604 33554432000 4194304 4196468 140729128196544 140729128179088 140217480732407 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 39378944 140729128203259 140729128203418 140729128203418 140729128206287 0
/proc/10332/statm: 2017110 29604 3210 1 0 1978454 0
[pid=10347] ppid=10332 vsize=379992 memory=288020 CPUtime=15.16 cores=0,2,4,6
/proc/10347/stat : 10347 (glueminisat-sim) R 10332 10271 4978 0 -1 4202496 188615 0 0 0 1496 20 0 0 20 0 1 0 406151774 389111808 72005 33554432000 4194304 4452875 140728680594784 140728680590264 4399107 0 4 0 8388610 0 0 0 17 2 0 0 0 0 0 6552096 6554264 26693632 140728680600415 140728680600615 140728680600615 140728680603565 0
/proc/10347/statm: 94998 72005 353 64 0 91202 0
[pid=10332/tid=10333] ppid=10271 vsize=8068440 memory=124248 CPUtime=0.82 cores=0,2,4,6
/proc/10332/task/10333/stat : 10333 (java) S 10271 10271 4978 0 -1 1077944384 17452 0 0 0 76 6 0 0 20 0 19 0 406151694 8262082560 29604 33554432000 4194304 4196468 140729128196544 140217452572576 140217480742613 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39378944 140729128203259 140729128203418 140729128203418 140729128206287 0
[pid=10332/tid=10334] ppid=10271 vsize=8068440 memory=268148 CPUtime=0 cores=0,2,4,6
/proc/10332/task/10334/stat : 10334 (java) S 10271 10271 4978 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 406151696 8262082560 29604 33554432000 4194304 4196468 140729128196544 140217484974736 140217480742613 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39378944 140729128203259 140729128203418 140729128203418 140729128206287 0
[pid=10332/tid=10335] ppid=10271 vsize=8068440 memory=1204 CPUtime=0 cores=0,2,4,6
/proc/10332/task/10335/stat : 10335 (java) S 10271 10271 4978 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 406151696 8262082560 29604 33554432000 4194304 4196468 140729128196544 140217285143056 140217480742613 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39378944 140729128203259 140729128203418 140729128203418 140729128206287 0
[pid=10332/tid=10336] ppid=10271 vsize=8068440 memory=1536 CPUtime=0 cores=0,2,4,6
/proc/10332/task/10336/stat : 10336 (java) S 10271 10271 4978 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 406151696 8262082560 29604 33554432000 4194304 4196468 140729128196544 140217284090256 140217480742613 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39378944 140729128203259 140729128203418 140729128203418 140729128206287 0
[pid=10332/tid=10337] ppid=10271 vsize=8068440 memory=9592 CPUtime=0 cores=0,2,4,6
/proc/10332/task/10337/stat : 10337 (java) S 10271 10271 4978 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 406151696 8262082560 29604 33554432000 4194304 4196468 140729128196544 140217283037456 140217480742613 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39378944 140729128203259 140729128203418 140729128203418 140729128206287 0
[pid=10332/tid=10338] ppid=10271 vsize=8068440 memory=2828 CPUtime=0 cores=0,2,4,6
/proc/10332/task/10338/stat : 10338 (java) S 10271 10271 4978 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 19 0 406151697 8262082560 29604 33554432000 4194304 4196468 140729128196544 140216926931824 140217480743554 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39378944 140729128203259 140729128203418 140729128203418 140729128206287 0
[pid=10332/tid=10339] ppid=10271 vsize=8068440 memory=780 CPUtime=0 cores=0,2,4,6
/proc/10332/task/10339/stat : 10339 (java) S 10271 10271 4978 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 406151698 8262082560 29604 33554432000 4194304 4196468 140729128196544 140216388019744 140217480742613 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39378944 140729128203259 140729128203418 140729128203418 140729128206287 0
[pid=10332/tid=10340] ppid=10271 vsize=8068440 memory=620 CPUtime=0 cores=0,2,4,6
/proc/10332/task/10340/stat : 10340 (java) S 10271 10271 4978 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 406151698 8262082560 29604 33554432000 4194304 4196468 140729128196544 140216253797744 140217480742613 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39378944 140729128203259 140729128203418 140729128203418 140729128206287 0
[pid=10332/tid=10341] ppid=10271 vsize=8068440 memory=3816 CPUtime=0 cores=0,2,4,6
/proc/10332/task/10341/stat : 10341 (java) S 10271 10271 4978 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 406151701 8262082560 29604 33554432000 4194304 4196468 140729128196544 140215879293264 140217480751003 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39378944 140729128203259 140729128203418 140729128203418 140729128206287 0
[pid=10332/tid=10342] ppid=10271 vsize=8068440 memory=2584 CPUtime=0.15 cores=0,2,4,6
/proc/10332/task/10342/stat : 10342 (java) S 10271 10271 4978 0 -1 1077944384 757 0 0 0 15 0 0 0 20 0 19 0 406151701 8262082560 29604 33554432000 4194304 4196468 140729128196544 140216119576944 140217480743554 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39378944 140729128203259 140729128203418 140729128203418 140729128206287 0
[pid=10332/tid=10343] ppid=10271 vsize=8068440 memory=2892 CPUtime=0.12 cores=0,2,4,6
/proc/10332/task/10343/stat : 10343 (java) S 10271 10271 4978 0 -1 1077944384 386 0 0 0 12 0 0 0 20 0 19 0 406151701 8262082560 29604 33554432000 4194304 4196468 140729128196544 140216118524144 140217480743554 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39378944 140729128203259 140729128203418 140729128203418 140729128206287 0
[pid=10332/tid=10344] ppid=10271 vsize=8068440 memory=4104 CPUtime=0.24 cores=0,2,4,6
/proc/10332/task/10344/stat : 10344 (java) S 10271 10271 4978 0 -1 1077944384 623 0 0 0 24 0 0 0 20 0 19 0 406151701 8262082560 29604 33554432000 4194304 4196468 140729128196544 140216117471344 140217480743554 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39378944 140729128203259 140729128203418 140729128203418 140729128206287 0
[pid=10332/tid=10345] ppid=10271 vsize=8068440 memory=1412 CPUtime=0 cores=0,2,4,6
/proc/10332/task/10345/stat : 10345 (java) S 10271 10271 4978 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 406151701 8262082560 29604 33554432000 4194304 4196468 140729128196544 140215381387488 140217480742613 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39378944 140729128203259 140729128203418 140729128203418 140729128206287 0
[pid=10332/tid=10346] ppid=10271 vsize=8068440 memory=3288 CPUtime=0 cores=0,2,4,6
/proc/10332/task/10346/stat : 10346 (java) S 10271 10271 4978 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 406151701 8262082560 29604 33554432000 4194304 4196468 140729128196544 140216116419760 140217480743554 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 39378944 140729128203259 140729128203418 140729128203418 140729128206287 0
[pid=10332/tid=10348] ppid=10271 vsize=8068440 memory=1476 CPUtime=0 cores=0,2,4,6
/proc/10332/task/10348/stat : 10348 (java) S 10271 10271 4978 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 406151775 8262082560 29604 33554432000 4194304 4196468 140729128196544 140217260734144 140217480757017 0 4 2 25189581 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 39378944 140729128203259 140729128203418 140729128203418 140729128206287 0
[pid=10332/tid=10350] ppid=10271 vsize=8068440 memory=1412 CPUtime=0 cores=0,2,4,6
/proc/10332/task/10350/stat : 10350 (java) S 10271 10271 4978 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 406151775 8262082560 29604 33554432000 4194304 4196468 140729128196544 140215112941360 140217480754333 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 39378944 140729128203259 140729128203418 140729128203418 140729128206287 0
[pid=10332/tid=10351] ppid=10271 vsize=8068440 memory=3176 CPUtime=0 cores=0,2,4,6
/proc/10332/task/10351/stat : 10351 (java) S 10271 10271 4978 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 406151775 8262082560 29604 33554432000 4194304 4196468 140729128196544 140214710288048 140217480754333 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 39378944 140729128203259 140729128203418 140729128203418 140729128206287 0
[pid=10332/tid=10352] ppid=10271 vsize=8068440 memory=1476 CPUtime=0 cores=0,2,4,6
/proc/10332/task/10352/stat : 10352 (java) S 10271 10271 4978 0 -1 1077944384 32 0 0 0 0 0 0 0 20 0 19 0 406151778 8262082560 29604 33554432000 4194304 4196468 140729128196544 140214576073904 140217480742613 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39378944 140729128203259 140729128203418 140729128203418 140729128206287 0
Current children cumulated CPU time: 270.03 s
Current children cumulated vsize: 8561560 KiB
Current children cumulated memory: 407912 KiB
Child status: 0
Real time (s): 224.665
CPU time (s): 270.138
CPU user time (s): 265.316
CPU system time (s): 4.82295
CPU usage (%): 120.241
Max. virtual memory (cumulated for all children) (KiB): 15142500
Max. memory (cumulated for all children) (KiB): 7296300
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 265.316
system time used= 4.82295
maximum resident set size= 7295416
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 308598
page faults= 0
swaps= 0
block input operations= 0
block output operations= 80528
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 11553
involuntary context switches= 750
# summary of solver processes directly reported to runsolver:
# pid: 10271
# total CPU time (s): 270.138
# total CPU user time (s): 265.316
# total CPU system time (s): 4.82295
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.29751 second user time and 2.45567 second system time
The end