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-10244-serial-file.bin HOME/instance-4387638-1568286735.xml
0.64/0.54
0.64/0.54 Fun-sCOP order+glueminisat-simp-2.2.10-193oa-n-release (2019-06-15)
0.64/0.54
0.64/0.56 c BEGIN-Prog: Thu Sep 12 13:11:34 CEST 2019
0.64/0.56 c PID: 10247
0.64/0.56 c IP: 172.20.3.137
0.64/0.56 c HOST: node137.alineos.net
0.64/0.57 c (0,0) Parsing Begin
4.25/2.65 c (2,2) Parsing End
4.25/2.65 c (2,2) CSP: 40 int (0 aux), 0 bool (0 aux), 40 ctr, max domain size 8
4.25/2.65 c (2,2) Heap : 1634 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
4.25/2.65 c (2,2) Constraint Name Generate Begin
4.25/2.66 c (2,2) Ctr:HOME/instance-4387638-1568286735.xml,ExtensionSupport:Var
4.25/2.66 c (2,2) Constraint Name Generate End
4.25/2.66 c (2,2) Heap : 1634 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
4.25/2.66 c (2,2) CSP to CSPinCNF Begin
34.99/20.60 c (20,19) translated 4 (10%) constraints
60.14/42.31 c (41,40) translated 8 (20%) constraints
86.56/64.45 c (63,60) translated 12 (30%) constraints
112.05/86.33 c (85,81) translated 16 (40%) constraints
135.39/107.77 c (107,102) translated 20 (50%) constraints
158.78/129.20 c (128,123) translated 24 (60%) constraints
182.27/150.71 c (150,144) translated 28 (70%) constraints
205.68/172.19 c (171,164) translated 32 (80%) constraints
229.35/193.68 c (193,185) translated 36 (90%) constraints
252.89/215.14 c (214,206) translated 40 (100%) constraints
258.09/220.37 c (219,211) ===========================================
258.09/220.39 c (219,211) Order
258.09/220.39 c (219,211) ===========================================
266.06/227.07 c (226,218) translated 311749 (10%) constraints
272.64/233.59 c (233,224) translated 623497 (20%) constraints
280.73/240.47 c (239,231) translated 935245 (30%) constraints
289.00/247.39 c (246,237) translated 1246993 (40%) constraints
295.52/253.83 c (253,243) translated 1558741 (50%) constraints
303.78/260.73 c (260,250) translated 1870489 (60%) constraints
310.19/267.17 c (266,256) translated 2182237 (70%) constraints
318.44/274.06 c (273,263) translated 2493985 (80%) constraints
326.76/280.96 c (280,269) translated 2805733 (90%) constraints
333.16/287.38 c (286,276) translated 3117481 (100%) constraints
333.16/287.38 c (286,276) CSP to CSPinCNF End
333.28/287.48 c (286,276) CSP: 40 int (0 aux), 301033 bool (301033 aux), 3117481 ctr, max domain size 8
333.28/287.48 c (286,276) Heap : 6235 MiB used (max 10922 MiB), NonHeap : 25 MiB used (max 0 MiB)
333.28/287.48 c (286,276) CSPinCNF Propagation Begin
363.75/305.74 c (305,290) 0 values, 40 unsatisfiable literals, and 0 valid clauses are removed
363.75/305.74 c (305,290) CSPinCNF Propagation End
363.86/305.83 c (305,290) CSP: 40 int (0 aux), 301033 bool (301033 aux), 3117481 ctr, max domain size 8
363.86/305.83 c (305,290) Heap : 7721 MiB used (max 10667 MiB), NonHeap : 26 MiB used (max 0 MiB)
363.86/305.84 c (305,290) Simplify CSPinCNF Begin
378.35/313.67 c (313,296) Simplify CSPinCNF End
378.46/313.76 c (313,296) CSP: 40 int (0 aux), 301033 bool (301033 aux), 3117481 ctr, max domain size 8
378.46/313.76 c (313,296) Heap : 6231 MiB used (max 10515 MiB), NonHeap : 26 MiB used (max 0 MiB)
378.46/313.76 c (313,296) Calculate Precise Domain Begin
378.46/313.76 c (313,296) 0 values are removed by re-calculation
378.46/313.76 c (313,296) Calculate Precise Domain End
378.56/313.84 c (313,296) CSP: 40 int (0 aux), 301033 bool (301033 aux), 3117481 ctr, max domain size 8
378.56/313.84 c (313,296) Heap : 6282 MiB used (max 10515 MiB), NonHeap : 26 MiB used (max 0 MiB)
378.56/313.84 c (313,296) CSPinCNF to SatSolver Begin
384.99/317.85 c (317,300) 311749 (10 %) CSP clauses are encoded (0 SAT variables, 311988 SAT clauses)
389.06/321.00 c (320,302) 623497 (20 %) CSP clauses are encoded (0 SAT variables, 623736 SAT clauses)
392.88/324.08 c (323,305) 935245 (30 %) CSP clauses are encoded (0 SAT variables, 935484 SAT clauses)
396.70/327.16 c (326,308) 1246993 (40 %) CSP clauses are encoded (0 SAT variables, 1247232 SAT clauses)
400.50/330.25 c (329,311) 1558741 (50 %) CSP clauses are encoded (0 SAT variables, 1558980 SAT clauses)
404.32/333.33 c (332,314) 1870489 (60 %) CSP clauses are encoded (0 SAT variables, 1870728 SAT clauses)
408.15/336.42 c (335,317) 2182237 (70 %) CSP clauses are encoded (0 SAT variables, 2182476 SAT clauses)
411.96/339.51 c (338,319) 2493985 (80 %) CSP clauses are encoded (0 SAT variables, 2494224 SAT clauses)
415.82/342.60 c (342,322) 2805733 (90 %) CSP clauses are encoded (0 SAT variables, 2805972 SAT clauses)
419.57/345.70 c (345,325) 3117481 (100 %) CSP clauses are encoded (0 SAT variables, 3117720 SAT clauses)
419.57/345.70 c (345,325) CSPinCNF to SatSolver End
419.57/345.70 c (345,325) Heap : 9348 MiB used (max 10775 MiB), NonHeap : 28 MiB used (max 0 MiB)
419.67/345.70 c (345,325) 301313 bool, 3117721 clause
419.67/345.70 c (345,325) Export Begin
419.67/345.78 c (345,325) Export to HOME/scop-10244-serial-file.bin
419.67/345.78 c (345,325) Export End
419.67/345.79 c (345,325) Export File Size: 0.01 MB
419.67/345.79 c (345,325) 2,2,286,305,313,313,345,STOP-AFTER(DIMACS)
419.67/345.79 c END-Prog: Thu Sep 12 13:17:19 CEST 2019
0.00/345.83 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-10244-serial-file.bin
420.34/346.29 c (0,0) Read Serial File Begin
420.34/346.29 c (0,0) HOME/scop-10244-serial-file.bin
420.77/346.50 c (0,0) Read Serial File End
420.77/346.51
420.77/346.51 Fun-sCOP order+glueminisat-simp-2.2.10-193oa-n-release (2019-06-15)
420.77/346.51 (Solving Process)
420.77/346.51
420.77/346.53 c BEGIN-Prog: Thu Sep 12 13:17:20 CEST 2019
420.77/346.53 c PID: 10324
420.77/346.53 c IP: 172.20.3.137
420.77/346.53 c HOST: node137.alineos.net
420.77/346.54 c (0,0) SatSolver.solve Begin
420.77/346.54 c (0,0) HOME/glueminisat-simp-2.2.10-193oa-n-release -model -verb=3 -elim-cl=5000000 -native-oa HOME/instance-4387638-1568286735.xml-scop-10247.cnf
420.77/346.57 c (0,0) c WARNING: for repeatability, setting FPU to use double precision
420.77/346.57 c (0,0) c glueminisat-simp-2.2.10-193oa-n
420.77/346.57 c (0,0) c Command: HOME/glueminisat-simp-2.2.10-193oa-n-release -model -verb=3 -elim-cl=5000000 -native-oa HOME/instance-4387638-1568286735.xml-scop-10247.cnf
420.77/346.57 c (0,0) c Options:
420.77/346.57 c (0,0) c CORE
420.77/346.57 c (0,0) c var_decay = 0.950
420.77/346.57 c (0,0) c clause_decay = 0.999
420.77/346.57 c (0,0) c random_var_freq = 0.000
420.77/346.57 c (0,0) c random_seed = 91648253.000
420.77/346.57 c (0,0) c luby_restart = 1
420.77/346.57 c (0,0) c ccmin_mode = 2
420.77/346.57 c (0,0) c phase_saving = 2
420.77/346.57 c (0,0) c rnd_pol = 0
420.77/346.57 c (0,0) c rnd_init_act = 0
420.77/346.57 c (0,0) c garbage_frac = 0.200
420.77/346.57 c (0,0) c restart_first = 1000
420.77/346.57 c (0,0) c restart_inc = 2.000
420.77/346.57 c (0,0) c MODEL
420.77/346.57 c (0,0) c partial_model = 0
420.77/346.58 c (0,0) c PROPAGATION
420.77/346.58 c (0,0) c bin_propagation = 1
420.77/346.58 c (0,0) c SIMPLIFICATION
420.77/346.58 c (0,0) c lrn_min_size = 100
420.77/346.58 c (0,0) c lazy_simp = 1
420.77/346.58 c (0,0) c lazy_interval = 10
420.77/346.58 c (0,0) c lazy_fld_probing = 1
420.77/346.58 c (0,0) c lazy_pol_probing = 1
420.77/346.58 c (0,0) c lazy_nec_probing = 1
420.77/346.58 c (0,0) c lazy_eqv_probing = 1
420.77/346.58 c (0,0) c lazy_cla_probing = 1
420.77/346.58 c (0,0) c lazy_lrn_min = 2
420.77/346.58 c (0,0) c lazy_uw_lit_elim = 1
420.77/346.58 c (0,0) c lazy_pr_lit_elim = 0
420.77/346.58 c (0,0) c lazy_bin_add = 3
420.77/346.58 c (0,0) c probed_lit_chain = 1
420.77/346.58 c (0,0) c pr_min_lits = 0.00020
420.77/346.58 c (0,0) c pr_min_starts = 500
420.77/346.58 c (0,0) c rw_min_lits = 0.010
420.77/346.58 c (0,0) c rw_min_starts = 500
420.77/346.58 c (0,0) c rand_attach = 0
420.77/346.58 c (0,0) c dec_elim = 1
420.77/346.58 c (0,0) c dec_elim_lim = 25
420.77/346.58 c (0,0) c dec_elim_len = -1
420.77/346.58 c (0,0) c amo = 0
420.77/346.58 c (0,0) c amo_grp = 1
420.77/346.58 c (0,0) c amo_max_bins = 1000000
420.77/346.58 c (0,0) c amo_starts = 50
420.77/346.58 c (0,0) c mace_cmd = mace
420.77/346.58 c (0,0) c DECISION
420.77/346.58 c (0,0) c rand_rebuild = 0
420.77/346.58 c (0,0) c rand_rebuild_confs = 10000
420.77/346.58 c (0,0) c inc_var_decay = 1
420.77/346.58 c (0,0) c inc_var_decay_period = 100000
420.77/346.58 c (0,0) c inc_var_decay_init = 0.600
420.77/346.58 c (0,0) c var_decay_mode = 0
420.77/346.58 c (0,0) c var_decay_gain = 0
420.77/346.58 c (0,0) c sloped_var_decay = 1
420.77/346.58 c (0,0) c max_var_decay = 0.990
420.77/346.58 c (0,0) c min_var_decay = 0.950
420.77/346.58 c (0,0) c min_var_decay_vars = 10000
420.77/346.58 c (0,0) c max_var_decay_vars = 500
420.77/346.58 c (0,0) c uip_bumping = 1
420.77/346.58 c (0,0) c lbd_act_bumping = 1
420.77/346.58 c (0,0) c rand_tiebreak = 0
420.77/346.58 c (0,0) c simp_rebuild = 1
420.77/346.58 c (0,0) c RESTART
420.77/346.58 c (0,0) c restart_strategy = 2
420.77/346.58 c (0,0) c restart_blocking = 0
420.77/346.58 c (0,0) c agility_decay = 0.99990
420.77/346.58 c (0,0) c lbd_restart_rate = 0.800
420.77/346.58 c (0,0) c dec_restart_rate = 0.950
420.77/346.58 c (0,0) c blk_restart_rate = 0.700
420.77/346.58 c (0,0) c lbd_queue_size = 50
420.77/346.58 c (0,0) c dec_queue_size = 50
420.77/346.58 c (0,0) c trl_queue_size = 5000
420.77/346.58 c (0,0) c blk_restart_weight = 1.000
420.77/346.58 c (0,0) c inc_rst_rate = 0
420.77/346.58 c (0,0) c inc_rst_rate_period = 500000
420.77/346.58 c (0,0) c inc_lbd_rst_rate_init = 0.600
420.77/346.58 c (0,0) c inc_dec_rst_rate_init = 0.750
420.77/346.58 c (0,0) c REDUCTION
420.77/346.58 c (0,0) c closed_lbd = 0
420.77/346.58 c (0,0) c closed_lbd_rate = 0.500
420.77/346.58 c (0,0) c rm_simulate = 0
420.77/346.58 c (0,0) c rdb_eval = 2
420.77/346.58 c (0,0) c rdb_call = 3
420.77/346.58 c (0,0) c rdb_ub = 0.500
420.77/346.58 c (0,0) c core_lbd_cvr = 0.800
420.77/346.58 c (0,0) c supp_lbd_cvr = 0.990
420.77/346.58 c (0,0) c core_lbd_lb = 2
420.77/346.58 c (0,0) c supp_lbd_lb = 2
420.77/346.58 c (0,0) c core_lbd_prd = 7
420.77/346.58 c (0,0) c supp_lbd_prd = 1
420.77/346.58 c (0,0) c othr_lbd_prd = 0
420.77/346.58 c (0,0) c inc_lrn_limit = 1000
420.77/346.58 c (0,0) c frozen_lbd = 30
420.77/346.58 c (0,0) c simp_min_starts = 100
420.77/346.58 c (0,0) c rm_low_act_learnts = 1
420.77/346.58 c (0,0) c lv0_reduce_db = 0
420.77/346.58 c (0,0) c reduce_db_base = 20000
420.77/346.58 c (0,0) c reduce_db_inc = 1000
420.77/346.58 c (0,0) c HARD
420.77/346.58 c (0,0) c inst_check = 200000
420.77/346.58 c (0,0) c small_block = 1.750
420.77/346.58 c (0,0) c slow_restart_speed = 400.000
420.77/346.58 c (0,0) c slow_restart_strategy = 3
420.77/346.58 c (0,0) c slow_lbd_restart_rate = 0.700
420.77/346.58 c (0,0) c slow_dec_restart_rate = 1.000
420.77/346.58 c (0,0) c slow_lbd_queue_size = 50
420.77/346.58 c (0,0) c slow_var_decay = 0.950
420.77/346.58 c (0,0) c slow_glue_threshold = 2
420.77/346.58 c (0,0) c slow_phase_saving = 2
420.77/346.58 c (0,0) c fast_restart_speed = 125.000
420.77/346.58 c (0,0) c fast_restart_strategy = 1
420.77/346.58 c (0,0) c fast_lbd_restart_rate = 0.800
420.77/346.58 c (0,0) c fast_dec_restart_rate = 0.950
420.77/346.58 c (0,0) c fast_lbd_queue_size = 50
420.77/346.58 c (0,0) c fast_var_decay = 1.000
420.77/346.58 c (0,0) c fast_glue_threshold = 2
420.77/346.58 c (0,0) c fast_phase_saving = 2
420.77/346.58 c (0,0) c STATS
420.77/346.58 c (0,0) c stats_conf_size = 10000
420.77/346.58 c (0,0) c max_stats_size = 30
420.77/346.58 c (0,0) c SOLVER
420.77/346.58 c (0,0) c minisat = 0
422.17/347.77 c (1,0) c Problem: 301313 variables, 3117721 clauses, parsing 1.10 s
447.59/373.16 c (26,0) c reduced to 293167 variables, 3081752 clauses (grow = 0)
447.77/373.32 c (27,0) c exclude 24734 (8.4%) variables from decision variables (last cost 25)
448.07/373.64 c (27,0) c Simplification: 32880 vars, 35969 clauses are eliminated using 25.79 s
448.07/373.64 c (27,0) c
448.07/373.64 c (27,0) c #Rstrts #Confs #Vars #Clauses #Learnts Lits/C LBD/C DLVs Trail
448.07/373.64 c (27,0) c
448.07/373.64 c (27,0) c 27 0 0 268433 3081752 0 -nan -nan -nan -nan%
448.48/374.04 c (27,0) c 27 1 100 268433 3081752 100 16.9 14.6 3891.0 10.5%
448.97/374.51 c (28,0) c 27 2 220 268471 3081752 220 110.5 11.7 1955.8 25.5%
449.37/374.95 c (28,0) c 28 2 364 268645 3081752 364 244.8 11.0 1292.7 31.7%
449.78/375.36 c (29,0) c 28 2 536 268688 3081752 536 285.2 10.3 967.0 34.9%
450.29/375.85 c (29,0) c 29 2 743 268768 3081752 744 341.6 10.4 773.7 36.3%
451.29/376.85 c (30,0) c 30 3 991 268877 3081752 995 317.1 10.8 597.4 36.8%
452.78/378.31 c (32,0) c 31 3 1289 268970 3081752 1296 267.1 10.5 468.2 36.6%
455.29/380.82 c (34,0) c 34 4 1647 269000 3081752 1658 223.0 10.4 373.4 37.1%
459.09/384.68 c (38,0) c 38 4 2076 269029 3081752 2100 198.2 9.7 300.7 36.8%
462.19/387.77 c (41,0) c 41 6 2591 269108 3081752 2632 174.5 9.6 245.9 36.7%
464.09/389.60 c (43,0) c 43 6 3210 269192 3081752 3258 192.1 8.9 204.3 36.4%
467.50/393.03 c (46,0) c 46 7 3953 269268 3081752 4041 194.6 8.6 172.3 35.9%
472.99/398.54 c (52,0) c 51 10 4844 269353 3081752 4990 175.0 8.5 147.1 36.5%
481.11/406.60 c (60,0) c 60 12 5913 269375 3081752 6095 154.2 8.2 128.3 36.3%
490.21/415.73 c (69,0) c 69 13 7196 269391 3081752 7449 135.7 8.0 112.6 35.2%
503.12/428.62 c (82,0) c
503.12/428.62 c (82,0) c variables : 269425 (init 301313, after simp 268433, 23742 non-decs, 40 csp)
503.12/428.62 c (82,0) c clauses : 3081752 (init 3117721, after simp 3081752)
503.12/428.62 c (82,0) c restarts : 13 (624.00 confs/res, 103~1711 confs, 0 blks, 0 last)
503.12/428.62 c (82,0) c conflicts : 8736 (107 /sec, 56.38% dconfs, 0.00% supp, trail 3582.74w x 96.35h, jmp 2.53h)
503.12/428.62 c (82,0) c decisions : 23773 (0.6300 vdcy, 291 /sec, 0.00% bin, rs 0.016 s)
503.12/428.62 c (82,0) c propagations : 174954292 (2139468 /sec, 7359.37 lits/dec, 0.03% o.a.)
503.12/428.62 c (82,0) c conflict literals : 1580969 (31.14% deleted; 0.15% by bin min, 0.018 s)
503.12/428.62 c (82,0) c len : 119.850 (124.34 for all, max 2762, used 2658)
503.12/428.62 c (82,0) c lbd : 7.735 (9.28 (7.95) for all, max 69, used 69, 2.641 stdev, 13.397 blk)
503.12/428.62 c (82,0) c amo : 0 (0 max, -nan avg, 0.000 s)
503.12/428.62 c (82,0) c simp dbs : 1 (0.003 s)
503.12/428.62 c (82,0) c reduce dbs : 0 (core-lbd 2, supp-lbd 2147483647, 0.000 s)
503.12/428.62 c (82,0) c learnts : 9069 (0 learnts removed, 0.00%)
503.12/428.62 c (82,0) c rewrite dbs : 0 (0/34 vars, 0+0 taut, 0+0 unit, 0.000 s)
503.12/428.62 c (82,0) c assigned lits : 0 (0/0 probed, 0 remains)
503.12/428.62 c (82,0) c premise updates : 2173192 (4.05 /lit)
503.12/428.62 c (82,0) c probed variables : 0 (0 pr, 0 eq, 0 fld, 0 pol, 0 nec, 0 cla, 0 amo)
503.12/428.62 c (82,0) c equiv variables : 34 (13 bin, 4 trn, 1 quat, 1 quin, 1 othr; 0 amo)
503.12/428.62 c (82,0) c lazy added bins : 333 (333 prop + 0 conf, 0.010s)
503.12/428.62 c (82,0) c unwatched lit elim: 1571 (0.00+0.09%, 146+1425 of 10901693+1580969)
503.12/428.62 c (82,0) c classified type : undef
503.12/428.62 c (82,0) c progress : 0.000 %
503.12/428.62 c (82,0) c
503.12/428.62 c (82,0) c #Rstrts #Confs #Vars #Clauses #Learnts Lits/C LBD/C DLVs Trail
503.12/428.62 c (82,0) c
503.12/428.62 c (82,0) c 82 14 8736 269425 3081752 9069 119.9 7.7 96.4 35.3%
519.12/444.68 c (98,0) c 98 15 10584 269508 3081752 11000 110.5 7.5 35.1 36.3%
541.84/467.38 c (121,0) c 120 15 12802 269672 3081752 13393 100.2 7.3 29.2 39.3%
567.86/493.32 c (147,0) c 146 20 15464 269868 3081752 16249 93.4 7.0 27.0 41.7%
598.59/524.01 c (177,0) c 177 20 18658 269950 3081752 19686 82.4 6.6 22.3 45.1%
611.60/537.03 c (190,0) c 190 r 20 20000 270029 3081752 21135 80.3 6.5 21.7 46.3%
611.60/537.04 c (190,0) c
611.60/537.04 c (190,0) c R [LBD Statistics #1]
611.60/537.04 c (190,0) c R LBD used lbd used clause lbd
611.60/537.04 c (190,0) c R tot 246387 21135
611.60/537.04 c (190,0) c R avg 2.850 6.502
611.60/537.04 c (190,0) c R 1 8978 ( 3.6/ 3.6%) 200 ( 0.9/ 0.9%)
611.60/537.04 c (190,0) c R 2 141663 (57.5/61.1%) 4469 (21.1/22.1%)
611.60/537.04 c (190,0) c R 3 53181 (21.6/82.7%) 2114 (10.0/32.1%)
611.60/537.04 c (190,0) c R
611.60/537.04 c (190,0) c R core_lbd_threshold = 3
611.60/537.04 c (190,0) c R supp_lbd_threshold = 11
611.60/537.04 c (190,0) c R
611.60/537.04 c (190,0) c R [RDB Statistics #1]
611.60/537.04 c (190,0) c R kept: lbd = 6717 (31.8/31.8%)
611.60/537.04 c (190,0) c R kept: ttl = 14337 (67.8/99.6%)
611.60/537.04 c (190,0) c R kept: locked = 81 ( 0.4/100.0%)
611.60/537.04 c (190,0) c R lost: lbd = 0 ( 0.0/ 0.0%)
611.60/537.04 c (190,0) c R lost: ttl = 0 ( 0.0/ 0.0%)
611.60/537.04 c (190,0) c R lost: subsumed = 0 ( 0.0/ 0.0%)
611.60/537.04 c (190,0) c
611.60/537.04 c (190,0) c 190 R 20 20000 270029 3081752 21135 80.3 6.5 21.7 46.3%
639.41/564.81 c (218,0) c 218 22 22491 270190 3081752 23838 75.1 6.3 19.7 46.1%
676.23/601.60 c (255,0) c 255 34 27091 270421 3081752 28776 72.8 6.3 21.7 45.2%
726.15/651.52 c (305,0) c 304 53 32611 271242 3081752 34503 72.6 6.3 23.3 45.4%
786.08/711.43 c (365,0) c 364 69 39235 272089 3081752 41314 76.5 6.3 19.7 49.1%
800.58/725.99 c (379,0) c 379 r 69 41002 272260 3081752 43104 77.6 6.2 19.1 49.2%
800.58/725.99 c (379,0) c
800.58/725.99 c (379,0) c R [LBD Statistics #2]
800.58/725.99 c (379,0) c R LBD used lbd used clause lbd
800.58/725.99 c (379,0) c R tot 834153 43104
800.58/725.99 c (379,0) c R avg 2.614 6.189
800.58/725.99 c (379,0) c R 1 34621 ( 4.2/ 4.2%) 492 ( 1.1/ 1.1%)
800.58/725.99 c (379,0) c R 2 512036 (61.4/65.5%) 9265 (21.5/22.6%)
800.58/725.99 c (379,0) c R 3 176214 (21.1/86.7%) 4431 (10.3/32.9%)
800.58/725.99 c (379,0) c R
800.58/725.99 c (379,0) c R core_lbd_threshold = 3
800.58/725.99 c (379,0) c R supp_lbd_threshold = 9
800.58/725.99 c (379,0) c R
800.58/725.99 c (379,0) c R [RDB Statistics #2]
800.58/725.99 c (379,0) c R kept: lbd = 14087 (32.7/32.7%)
800.58/725.99 c (379,0) c R kept: ttl = 13418 (31.1/63.8%)
800.58/725.99 c (379,0) c R kept: locked = 112 ( 0.3/64.1%)
800.58/725.99 c (379,0) c R lost: lbd = 0 ( 0.0/ 0.0%)
800.58/725.99 c (379,0) c R lost: ttl = 15487 (35.9/35.9%)
800.58/725.99 c (379,0) c R lost: subsumed = 0 ( 0.0/35.9%)
800.58/725.99 c (379,0) c
800.58/725.99 c (379,0) c 379 R 69 41002 272260 3081752 27617 49.4 4.3 19.1 49.2%
852.02/777.37 c (431,0) c 430 86 47184 272706 3081752 33937 54.6 4.6 16.5 46.7%
945.47/870.73 c (524,0) c 524 132 56723 273365 3081752 43774 61.8 5.0 18.0 46.0%
1016.00/941.21 c (594,0) c 594 r 145 63002 273806 3081752 50145 65.0 5.1 15.1 46.7%
1016.00/941.21 c (594,0) c
1016.00/941.21 c (594,0) c R [LBD Statistics #3]
1016.00/941.21 c (594,0) c R LBD used lbd used clause lbd
1016.00/941.21 c (594,0) c R tot 2294096 50145
1016.00/941.21 c (594,0) c R avg 2.440 5.074
1016.00/941.21 c (594,0) c R 1 101120 ( 4.4/ 4.4%) 850 ( 1.7/ 1.7%)
1016.00/941.21 c (594,0) c R 2 1539446 (67.1/71.5%) 13838 (27.6/29.3%)
1016.00/941.21 c (594,0) c R 3 429692 (18.7/90.2%) 6492 (12.9/42.2%)
1016.00/941.21 c (594,0) c R
1016.00/941.21 c (594,0) c R core_lbd_threshold = 3
1016.00/941.21 c (594,0) c R supp_lbd_threshold = 7
1016.00/941.21 c (594,0) c R
1016.00/941.21 c (594,0) c R [RDB Statistics #3]
1016.00/941.21 c (594,0) c R kept: lbd = 20884 (41.6/41.6%)
1016.00/941.21 c (594,0) c R kept: ttl = 12329 (24.6/66.2%)
1016.00/941.21 c (594,0) c R kept: locked = 318 ( 0.6/66.9%)
1016.00/941.21 c (594,0) c R lost: lbd = 0 ( 0.0/ 0.0%)
1016.00/941.21 c (594,0) c R lost: ttl = 16614 (33.1/33.1%)
1016.00/941.21 c (594,0) c R lost: subsumed = 0 ( 0.0/33.1%)
1016.00/941.21 c (594,0) c
1016.00/941.21 c (594,0) c
1016.00/941.21 c (594,0) c variables : 273806 (init 301313, after simp 268433, 19361 non-decs, 40 csp)
1016.00/941.21 c (594,0) c clauses : 3081752 (init 3117721, after simp 3081752)
1016.00/941.21 c (594,0) c restarts : 144 (434.50 confs/res, 50~5923 confs, 0 blks, 0 last)
1016.00/941.21 c (594,0) c conflicts : 63002 (106 /sec, 56.58% dconfs, 0.00% supp, trail 8291.10w x 29.84h, jmp 1.93h)
1016.00/941.21 c (594,0) c decisions : 126780 (0.8200 vdcy, 214 /sec, 0.00% bin, rs 0.098 s)
1016.00/941.21 c (594,0) c propagations : 1692342436 (2850158 /sec, 13348.65 lits/dec, 0.02% o.a.)
1016.00/941.21 c (594,0) c conflict literals : 9459255 (44.30% deleted; 0.34% by bin min, 0.179 s)
1016.00/941.21 c (594,0) c len : 40.718 (83.12 for all, max 2762, used 2658)
1016.00/941.21 c (594,0) c lbd : 3.578 (7.66 (6.32) for all, max 69, used 69, 1.184 stdev, 10.844 blk)
1016.00/941.21 c (594,0) c amo : 0 (0 max, -nan avg, 0.000 s)
1016.00/941.21 c (594,0) c simp dbs : 1 (0.003 s)
1016.00/941.21 c (594,0) c reduce dbs : 3 (core-lbd 3, supp-lbd 7, 0.007 s)
1016.00/941.21 c (594,0) c learnts : 33531 (32101 learnts removed, 50.95%)
1016.00/941.21 c (594,0) c rewrite dbs : 0 (0/166 vars, 0+0 taut, 0+0 unit, 0.000 s)
1016.00/941.21 c (594,0) c assigned lits : 0 (0/0 probed, 0 remains)
1016.00/941.21 c (594,0) c premise updates : 76313614 (142.15 /lit)
1016.00/941.21 c (594,0) c probed variables : 0 (0 pr, 0 eq, 0 fld, 0 pol, 0 nec, 0 cla, 0 amo)
1016.00/941.21 c (594,0) c equiv variables : 166 (80 bin, 12 trn, 6 quat, 3 quin, 6 othr; 0 amo)
1016.00/941.21 c (594,0) c lazy added bins : 2630 (2630 prop + 0 conf, 0.111s)
1016.00/941.21 c (594,0) c unwatched lit elim: 24207 (0.02+0.23%, 2537+21670 of 10901693+9459255)
1016.00/941.21 c (594,0) c classified type : undef
1016.00/941.21 c (594,0) c progress : 0.000 %
1016.00/941.21 c (594,0) c
1016.00/941.21 c (594,0) c #Rstrts #Confs #Vars #Clauses #Learnts Lits/C LBD/C DLVs Trail
1016.00/941.21 c (594,0) c
1016.00/941.21 c (594,0) c 594 R 145 63002 273806 3081752 33531 40.7 3.6 15.1 46.7%
1062.85/988.09 c (641,0) c 641 146 68170 274041 3081752 38744 48.8 3.8 13.7 48.0%
1193.82/1118.97 c (772,0) c 772 193 81907 274495 3081752 52748 58.3 4.4 15.9 45.2%
1235.24/1160.30 c (814,0) c 813 r 215 86001 274585 3081752 56942 59.4 4.5 15.5 45.9%
1235.44/1160.58 c (814,0) c
1235.44/1160.58 c (814,0) c R [LBD Statistics #4]
1235.44/1160.58 c (814,0) c R LBD used lbd used clause lbd
1235.44/1160.58 c (814,0) c R tot 4608926 56942
1235.44/1160.58 c (814,0) c R avg 2.341 4.539
1235.44/1160.58 c (814,0) c R 1 214943 ( 4.7/ 4.7%) 1102 ( 1.9/ 1.9%)
1235.44/1160.58 c (814,0) c R 2 3275636 (71.1/75.7%) 18268 (32.1/34.0%)
1235.44/1160.58 c (814,0) c R 3 767655 (16.7/92.4%) 8728 (15.3/49.3%)
1235.44/1160.58 c (814,0) c R
1235.44/1160.58 c (814,0) c R core_lbd_threshold = 3
1235.44/1160.58 c (814,0) c R supp_lbd_threshold = 6
1235.44/1160.58 c (814,0) c R
1235.44/1160.58 c (814,0) c R [RDB Statistics #4]
1235.44/1160.58 c (814,0) c R kept: lbd = 28006 (49.2/49.2%)
1235.44/1160.58 c (814,0) c R kept: ttl = 10626 (18.7/67.8%)
1235.44/1160.58 c (814,0) c R kept: locked = 93 ( 0.2/68.0%)
1235.44/1160.58 c (814,0) c R lost: lbd = 0 ( 0.0/ 0.0%)
1235.44/1160.58 c (814,0) c R lost: ttl = 18217 (32.0/32.0%)
1235.44/1160.58 c (814,0) c R lost: subsumed = 0 ( 0.0/32.0%)
1235.44/1160.58 c (814,0) c
1235.44/1160.58 c (814,0) c 814 R 215 86001 274585 3081752 38725 29.8 3.0 15.5 45.9%
1357.60/1282.62 c (936,0) c 936 257 98391 274921 3081752 51285 42.1 3.8 13.6 46.9%
1376.82/1301.88 c (955,0) c 955 f 281 100000 274948 3081752 52909 42.6 3.9 13.8 46.8%
1479.08/1404.10 c (1057,0) c 1057 r 323 110000 275066 3081752 63035 45.7 4.4 14.3 42.0%
1479.08/1404.10 c (1057,0) c
1479.08/1404.10 c (1057,0) c R [LBD Statistics #5]
1479.08/1404.10 c (1057,0) c R LBD used lbd used clause lbd
1479.08/1404.10 c (1057,0) c R tot 7919373 63035
1479.08/1404.10 c (1057,0) c R avg 2.275 4.410
1479.08/1404.10 c (1057,0) c R 1 387906 ( 4.9/ 4.9%) 1437 ( 2.3/ 2.3%)
1479.08/1404.10 c (1057,0) c R 2 5871186 (74.1/79.0%) 22329 (35.4/37.7%)
1479.08/1404.10 c (1057,0) c R 3 1164545 (14.7/93.7%) 10132 (16.1/53.8%)
1479.08/1404.10 c (1057,0) c R
1479.08/1404.10 c (1057,0) c R core_lbd_threshold = 3
1479.08/1404.10 c (1057,0) c R supp_lbd_threshold = 6
1479.08/1404.10 c (1057,0) c R
1479.08/1404.10 c (1057,0) c R [RDB Statistics #5]
1479.08/1404.10 c (1057,0) c R kept: lbd = 33752 (53.5/53.5%)
1479.08/1404.10 c (1057,0) c R kept: ttl = 7905 (12.5/66.1%)
1479.08/1404.10 c (1057,0) c R kept: locked = 152 ( 0.2/66.3%)
1479.08/1404.10 c (1057,0) c R lost: lbd = 0 ( 0.0/ 0.0%)
1479.20/1404.11 c (1057,0) c R lost: ttl = 21226 (33.7/33.7%)
1479.20/1404.11 c (1057,0) c R lost: subsumed = 0 ( 0.0/33.7%)
1479.20/1404.11 c (1057,0) c
1479.20/1404.11 c (1057,0) c 1057 R 323 110000 275066 3081752 41809 21.5 2.7 14.3 42.0%
1567.54/1492.44 c (1146,0) c 1145 364 118172 275293 3081752 50089 29.3 3.4 14.0 45.7%
1746.35/1671.16 c (1324,0) c 1324 r 428 135000 275527 3081752 67095 40.7 4.2 12.9 45.4%
1746.35/1671.17 c (1324,0) c
1746.35/1671.17 c (1324,0) c R [LBD Statistics #6]
1746.35/1671.17 c (1324,0) c R LBD used lbd used clause lbd
1746.35/1671.17 c (1324,0) c R tot 12099679 67095
1746.35/1671.17 c (1324,0) c R avg 2.228 4.176
1746.35/1671.17 c (1324,0) c R 1 621930 ( 5.1/ 5.1%) 1748 ( 2.6/ 2.6%)
1746.35/1671.17 c (1324,0) c R 2 9244978 (76.4/81.5%) 26496 (39.5/42.1%)
1746.35/1671.17 c (1324,0) c R
1746.35/1671.17 c (1324,0) c R core_lbd_threshold = 2
1746.35/1671.17 c (1324,0) c R supp_lbd_threshold = 5
1746.35/1671.17 c (1324,0) c R
1746.35/1671.17 c (1324,0) c R [RDB Statistics #6]
1746.35/1671.17 c (1324,0) c R kept: lbd = 27642 (41.2/41.2%)
1746.35/1671.17 c (1324,0) c R kept: ttl = 20109 (30.0/71.2%)
1746.35/1671.17 c (1324,0) c R kept: locked = 664 ( 1.0/72.2%)
1746.35/1671.17 c (1324,0) c R lost: lbd = 0 ( 0.0/ 0.0%)
1746.35/1671.17 c (1324,0) c R lost: ttl = 18680 (27.8/27.8%)
1746.35/1671.17 c (1324,0) c R lost: subsumed = 0 ( 0.0/27.8%)
1746.35/1671.17 c (1324,0) c
1746.35/1671.17 c (1324,0) c 1324 R 428 135000 275527 3081752 48415 22.6 2.7 12.9 45.4%
1826.98/1751.76 c (1405,0) c 1405 493 141909 275593 3081752 55387 25.7 3.3 14.1 46.5%
2040.21/1964.81 c (1618,0) c 1618 r 603 161000 275728 3081752 74677 34.0 4.3 12.5 45.3%
2040.53/1965.11 c (1618,0) c
2040.53/1965.11 c (1618,0) c R [LBD Statistics #7]
2040.53/1965.11 c (1618,0) c R LBD used lbd used clause lbd
2040.53/1965.11 c (1618,0) c R tot 17491550 74677
2040.53/1965.11 c (1618,0) c R avg 2.199 4.342
2040.53/1965.11 c (1618,0) c R 1 923887 ( 5.3/ 5.3%) 1946 ( 2.6/ 2.6%)
2040.53/1965.11 c (1618,0) c R 2 13614695 (77.8/83.1%) 29270 (39.2/41.8%)
2040.53/1965.11 c (1618,0) c R
2040.53/1965.11 c (1618,0) c R core_lbd_threshold = 2
2040.53/1965.11 c (1618,0) c R supp_lbd_threshold = 5
2040.53/1965.11 c (1618,0) c R
2040.53/1965.11 c (1618,0) c R [RDB Statistics #7]
2040.53/1965.11 c (1618,0) c R kept: lbd = 30748 (41.2/41.2%)
2040.53/1965.11 c (1618,0) c R kept: ttl = 19004 (25.4/66.6%)
2040.53/1965.11 c (1618,0) c R kept: locked = 502 ( 0.7/67.3%)
2040.53/1965.11 c (1618,0) c R lost: lbd = 0 ( 0.0/ 0.0%)
2040.53/1965.11 c (1618,0) c R lost: ttl = 24423 (32.7/32.7%)
2040.53/1965.11 c (1618,0) c R lost: subsumed = 0 ( 0.0/32.7%)
2040.53/1965.11 c (1618,0) c
2040.53/1965.11 c (1618,0) c 1618 R 603 161000 275728 3081752 50254 19.0 2.5 12.5 45.3%
2146.59/2071.18 c (1724,0) c 1724 629 170394 275795 3081752 59708 25.4 3.2 12.4 44.7%
2335.78/2260.28 c (1914,0) c
2335.78/2260.28 c (1914,0) c variables : 275895 (init 301313, after simp 268433, 17272 non-decs, 40 csp)
2335.78/2260.28 c (1914,0) c clauses : 3081752 (init 3117721, after simp 3081752)
2335.78/2260.28 c (1914,0) c restarts : 706 (265.92 confs/res, 50~7756 confs, 0 blks, 0 last)
2335.78/2260.28 c (1914,0) c conflicts : 188004 (98 /sec, 54.81% dconfs, 0.00% supp, trail 10302.64w x 19.01h, jmp 1.63h)
2335.78/2260.28 c (1914,0) c decisions : 320091 (0.9500 vdcy, 167 /sec, 0.00% bin, rs 0.135 s)
2335.78/2260.28 c (1914,0) c propagations : 5691950197 (2978052 /sec, 17782.29 lits/dec, 0.02% o.a.)
2335.78/2260.28 c (1914,0) c conflict literals : 32197463 (56.94% deleted; 0.49% by bin min, 0.599 s)
2335.78/2260.28 c (1914,0) c len : 31.108 (72.91 for all, max 2762, used 2658)
2335.78/2260.28 c (1914,0) c lbd : 4.085 (8.00 (6.63) for all, max 69, used 69, 0.743 stdev, 9.112 blk)
2335.78/2260.28 c (1914,0) c amo : 0 (0 max, -nan avg, 0.000 s)
2335.78/2260.28 c (1914,0) c simp dbs : 1 (0.003 s)
2335.78/2260.29 c (1914,0) c reduce dbs : 7 (core-lbd 2, supp-lbd 5, 0.564 s)
2335.78/2260.29 c (1914,0) c learnts : 77473 (114647 learnts removed, 60.98%)
2335.78/2260.29 c (1914,0) c rewrite dbs : 0 (0/196 vars, 0+0 taut, 0+0 unit, 0.000 s)
2335.78/2260.29 c (1914,0) c assigned lits : 0 (0/0 probed, 0 remains)
2335.78/2260.29 c (1914,0) c premise updates : 139938205 (260.66 /lit)
2335.78/2260.29 c (1914,0) c probed variables : 0 (0 pr, 0 eq, 0 fld, 0 pol, 0 nec, 0 cla, 0 amo)
2335.78/2260.29 c (1914,0) c equiv variables : 196 (103 bin, 8 trn, 7 quat, 6 quin, 6 othr; 0 amo)
2335.78/2260.29 c (1914,0) c lazy added bins : 4116 (4116 prop + 0 conf, 0.367s)
2335.78/2260.29 c (1914,0) c unwatched lit elim: 91318 (0.04+0.27%, 4687+86631 of 10901693+32197463)
2335.78/2260.29 c (1914,0) c classified type : undef
2335.78/2260.29 c (1914,0) c progress : 0.000 %
2335.78/2260.29 c (1914,0) c
2335.78/2260.29 c (1914,0) c #Rstrts #Confs #Vars #Clauses #Learnts Lits/C LBD/C DLVs Trail
2335.78/2260.29 c (1914,0) c
2335.78/2260.29 c (1914,0) c 1913 r 707 188004 275895 3081752 77473 31.1 4.1 13.3 44.6%
2335.78/2260.29 c (1914,0) c
2335.78/2260.29 c (1914,0) c R [LBD Statistics #8]
2335.78/2260.29 c (1914,0) c R LBD used lbd used clause lbd
2335.78/2260.29 c (1914,0) c R tot 24066464 77473
2335.78/2260.29 c (1914,0) c R avg 2.178 4.085
2335.78/2260.29 c (1914,0) c R 1 1263159 ( 5.2/ 5.2%) 2247 ( 2.9/ 2.9%)
2335.78/2260.29 c (1914,0) c R 2 18999284 (78.9/84.2%) 32822 (42.4/45.3%)
2335.78/2260.29 c (1914,0) c R
2335.78/2260.29 c (1914,0) c R core_lbd_threshold = 2
2335.78/2260.29 c (1914,0) c R supp_lbd_threshold = 5
2335.78/2260.29 c (1914,0) c R
2335.78/2260.29 c (1914,0) c R [RDB Statistics #8]
2335.78/2260.29 c (1914,0) c R kept: lbd = 34248 (44.2/44.2%)
2335.78/2260.29 c (1914,0) c R kept: ttl = 18376 (23.7/67.9%)
2335.78/2260.29 c (1914,0) c R kept: locked = 359 ( 0.5/68.4%)
2335.78/2260.29 c (1914,0) c R lost: lbd = 485 ( 0.6/ 0.6%)
2335.78/2260.29 c (1914,0) c R lost: ttl = 24005 (31.0/31.6%)
2335.78/2260.29 c (1914,0) c R lost: subsumed = 0 ( 0.0/31.6%)
2335.78/2260.29 c (1914,0) c
2335.78/2260.29 c (1914,0) c 1913 R 707 188004 275895 3081752 52983 18.5 2.5 13.3 44.6%
2465.26/2389.69 c (2043,0) c 2043 N 745 200041 275975 3081752 65092 27.4 3.2 13.1 45.3%
2515.98/2440.34 c (2094,0) c
2515.98/2440.34 c (2094,0) c I variables : 275975 (init 301313, after simp 268433, 17192 non-decs, 40 csp)
2515.98/2440.34 c (2094,0) c I clauses : 3081752 (init 3117721, after simp 3081752)
2515.98/2440.34 c (2094,0) c I restarts : 744 (268.51 confs/res, 50~7756 confs, 0 blks, 0 last)
2515.98/2440.34 c (2094,0) c I conflicts : 200041 (98 /sec, 54.72% dconfs, 0.00% supp, trail 10396.37w x 18.64h, jmp 1.62h)
2515.98/2440.34 c (2094,0) c I decisions : 337138 (0.9500 vdcy, 165 /sec, 0.00% bin, rs 0.138 s)
2515.98/2440.34 c (2094,0) c I propagations : 6089999212 (2984475 /sec, 18063.82 lits/dec, 0.02% o.a.)
2515.98/2440.34 c (2094,0) c I conflict literals : 34408027 (57.33% deleted; 0.50% by bin min, 0.639 s)
2515.98/2440.34 c (2094,0) c I len : 27.435 (72.55 for all, max 2762, used 2658)
2515.98/2440.34 c (2094,0) c I lbd : 3.222 (8.00 (6.63) for all, max 69, used 69, 0.727 stdev, 9.072 blk)
2515.98/2440.34 c (2094,0) c I amo : 0 (0 max, -nan avg, 0.000 s)
2515.98/2440.34 c (2094,0) c I simp dbs : 1 (0.003 s)
2515.98/2440.34 c (2094,0) c I reduce dbs : 8 (core-lbd 2, supp-lbd 5, 0.570 s)
2515.98/2440.34 c (2094,0) c I learnts : 65092 (139137 learnts removed, 69.55%)
2515.98/2440.34 c (2094,0) c I rewrite dbs : 0 (0/196 vars, 0+0 taut, 0+0 unit, 0.000 s)
2515.98/2440.34 c (2094,0) c I assigned lits : 0 (0/0 probed, 0 remains)
2515.98/2440.34 c (2094,0) c I premise updates : 146699339 (273.25 /lit)
2515.98/2440.34 c (2094,0) c I probed variables : 0 (0 pr, 0 eq, 0 fld, 0 pol, 0 nec, 0 cla, 0 amo)
2515.98/2440.34 c (2094,0) c I equiv variables : 196 (103 bin, 8 trn, 7 quat, 6 quin, 6 othr; 0 amo)
2515.98/2440.34 c (2094,0) c I lazy added bins : 4188 (4188 prop + 0 conf, 0.392s)
2515.98/2440.34 c (2094,0) c I unwatched lit elim: 97389 (0.04+0.27%, 4791+92598 of 10901693+34408027)
2515.98/2440.34 c (2094,0) c I classified type : normal
2515.98/2440.34 c (2094,0) c I progress : 0.000 %
2515.98/2440.34 c (2094,0) c
2515.98/2440.34 c (2094,0) c #Rstrts #Confs #Vars #Clauses #Learnts Lits/C LBD/C DLVs Trail
2515.98/2440.34 c (2094,0) c
2515.98/2440.34 c (2094,0) c 2093 779 204576 275991 3081752 69670 28.9 3.5 12.7 45.1%
2520.09/2444.40 c (2098,0) receiving signal SIGTERM
2520.09/2444.40 s UNKNOWN
2520.09/2444.41 c (scop.sh) Receiving Signal. Removing all intermediate files.
2520.09/2444.41 c (scop.sh) Remove HOME/scop-10244-serial-file.bin.
2520.09/2444.42 c (2098,0) SatSolver is killed by some reasons.
2520.09/2444.42 c (scop.sh) Killing background jobs.
2520.09/2444.42 c (2098,0) TO,TO,TO,TO,TO,TO,TO,TO,TO,STOP-AFTER(Nothing)
2520.09/2444.42 c END-Prog: Thu Sep 12 13:52:18 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 (11893 MiB free)
memory of node 1: 16384 MiB (12676 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4387638-1568286735/watcher-4387638-1568286735 -o /tmp/evaluation-result-4387638-1568286735/solver-4387638-1568286735 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node137-1568286693-10213 --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-4387638-1568286735.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=10244, runsolver pid=10240
Current StackSize limit: 8192 KiB
[startup+0.100106 s]*
/proc/loadavg: 1.00 1.17 1.54 6/229 10275
/proc/meminfo: memFree=25041184/32770624 swapFree=66927084/67108860
[pid=10244] ppid=10240 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/10244/stat : 10244 (scop.sh) S 10240 10244 8795 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 404920915 115843072 349 33554432000 4194304 5098028 140732512033824 140732512031080 139759188841084 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 23662592 140732512039720 140732512040048 140732512040048 140732512042957 0
/proc/10244/statm: 28282 349 296 221 0 87 0
[pid=10247] ppid=10244 vsize=15012696 memory=72896 CPUtime=0.11 cores=1,3,5,7
/proc/10247/stat : 10247 (java) S 10244 10244 8795 0 -1 1077944320 6998 0 0 0 9 2 0 0 20 0 15 0 404920915 15373000704 18224 33554432000 4194304 4196468 140732353110224 140732353092768 139986999492343 0 0 2 16800973 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 15532032 140732353118958 140732353119386 140732353119386 140732353122255 0
/proc/10247/statm: 3753174 18224 2915 1 0 3715579 0
[pid=10247/tid=10249] ppid=10244 vsize=15012696 memory=-6601833317647732518 CPUtime=0.09 cores=1,3,5,7
/proc/10247/task/10249/stat : 10249 (java) R 10244 10244 8795 0 -1 4202560 4808 0 0 0 7 2 0 0 20 0 15 0 404920915 15373000704 18290 33554432000 4194304 4196468 140732353110224 139986971287504 139986983572830 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15532032 140732353118958 140732353119386 140732353119386 140732353122255 0
[pid=10247/tid=10254] ppid=10244 vsize=15012696 memory=-3689451258167578675 CPUtime=0 cores=1,3,5,7
/proc/10247/task/10254/stat : 10254 (java) S 10244 10244 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404920917 15373000704 18290 33554432000 4194304 4196468 140732353110224 139987003734288 139986999502549 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15532032 140732353118958 140732353119386 140732353119386 140732353122255 0
[pid=10247/tid=10255] ppid=10244 vsize=15012696 memory=139687767811712 CPUtime=0 cores=1,3,5,7
/proc/10247/task/10255/stat : 10255 (java) S 10244 10244 8795 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404920917 15373000704 18290 33554432000 4194304 4196468 140732353110224 139986817890704 139986999502549 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15532032 140732353118958 140732353119386 140732353119386 140732353122255 0
[pid=10247/tid=10256] ppid=10244 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10247/task/10256/stat : 10256 (java) S 10244 10244 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404920917 15373000704 18290 33554432000 4194304 4196468 140732353110224 139986816838160 139986999502549 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15532032 140732353118958 140732353119386 140732353119386 140732353122255 0
[pid=10247/tid=10257] ppid=10244 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10247/task/10257/stat : 10257 (java) S 10244 10244 8795 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404920917 15373000704 18290 33554432000 4194304 4196468 140732353110224 139986815785616 139986999502549 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15532032 140732353118958 140732353119386 140732353119386 140732353122255 0
[pid=10247/tid=10259] ppid=10244 vsize=15012696 memory=139687767811712 CPUtime=0 cores=1,3,5,7
/proc/10247/task/10259/stat : 10259 (java) S 10244 10244 8795 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404920918 15373000704 18290 33554432000 4194304 4196468 140732353110224 139986338834928 139986999503490 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15532032 140732353118958 140732353119386 140732353119386 140732353122255 0
[pid=10247/tid=10261] ppid=10244 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10247/task/10261/stat : 10261 (java) S 10244 10244 8795 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 404920919 15373000704 18290 33554432000 4194304 4196468 140732353110224 139985600636320 139986999502549 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15532032 140732353118958 140732353119386 140732353119386 140732353122255 0
[pid=10247/tid=10263] ppid=10244 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10247/task/10263/stat : 10263 (java) S 10244 10244 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404920919 15373000704 18290 33554432000 4194304 4196468 140732353110224 139985332200944 139986999502549 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15532032 140732353118958 140732353119386 140732353119386 140732353122255 0
[pid=10247/tid=10264] ppid=10244 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10247/task/10264/stat : 10264 (java) S 10244 10244 8795 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404920921 15373000704 18290 33554432000 4194304 4196468 140732353110224 139984957692624 139986999510939 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15532032 140732353118958 140732353119386 140732353119386 140732353122255 0
[pid=10247/tid=10265] ppid=10244 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10247/task/10265/stat : 10265 (java) S 10244 10244 8795 0 -1 1077944384 430 0 0 0 0 0 0 0 20 0 15 0 404920921 15373000704 18290 33554432000 4194304 4196468 140732353110224 139986337781744 139986999503490 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15532032 140732353118958 140732353119386 140732353119386 140732353122255 0
[pid=10247/tid=10267] ppid=10244 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10247/task/10267/stat : 10267 (java) R 10244 10244 8795 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404920921 15373000704 18290 33554432000 4194304 4196468 140732353110224 139986336729200 139986999503490 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15532032 140732353118958 140732353119386 140732353119386 140732353122255 0
[pid=10247/tid=10268] ppid=10244 vsize=15012696 memory=139687767811712 CPUtime=0.01 cores=1,3,5,7
/proc/10247/task/10268/stat : 10268 (java) R 10244 10244 8795 0 -1 4202560 437 0 0 0 1 0 0 0 20 0 15 0 404920921 15373000704 18290 33554432000 4194304 4196468 140732353110224 139986335676656 139986999513690 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15532032 140732353118958 140732353119386 140732353119386 140732353122255 0
[pid=10247/tid=10272] ppid=10244 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10247/task/10272/stat : 10272 (java) S 10244 10244 8795 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404920922 15373000704 18290 33554432000 4194304 4196468 140732353110224 139984459786848 139986999502549 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15532032 140732353118958 140732353119386 140732353119386 140732353122255 0
[pid=10247/tid=10274] ppid=10244 vsize=15012696 memory=139687767811712 CPUtime=0 cores=1,3,5,7
/proc/10247/task/10274/stat : 10274 (java) S 10244 10244 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404920922 15373000704 18290 33554432000 4194304 4196468 140732353110224 139986334624560 139986999503490 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15532032 140732353118958 140732353119386 140732353119386 140732353122255 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 74292 KiB
[startup+0.210675 s]*
/proc/loadavg: 1.00 1.17 1.54 4/229 10275
/proc/meminfo: memFree=25003720/32770624 swapFree=66927084/67108860
[pid=10244] ppid=10240 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/10244/stat : 10244 (scop.sh) S 10240 10244 8795 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 404920915 115843072 349 33554432000 4194304 5098028 140732512033824 140732512031080 139759188841084 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 23662592 140732512039720 140732512040048 140732512040048 140732512042957 0
/proc/10244/statm: 28282 349 296 221 0 87 0
[pid=10247] ppid=10244 vsize=15012696 memory=87980 CPUtime=0.25 cores=1,3,5,7
/proc/10247/stat : 10247 (java) S 10244 10244 8795 0 -1 1077944320 12122 0 0 0 21 4 0 0 20 0 15 0 404920915 15373000704 21995 33554432000 4194304 4196468 140732353110224 140732353092768 139986999492343 0 0 2 16800973 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 15532032 140732353118958 140732353119386 140732353119386 140732353122255 0
/proc/10247/statm: 3753174 21995 2921 1 0 3715579 0
[pid=10247/tid=10249] ppid=10244 vsize=15012696 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/10247/task/10249/stat : 10249 (java) R 10244 10244 8795 0 -1 4202560 9864 0 0 0 16 4 0 0 20 0 15 0 404920915 15373000704 22061 33554432000 4194304 4196468 140732353110224 139986971291728 139986999504278 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15532032 140732353118958 140732353119386 140732353119386 140732353122255 0
[pid=10247/tid=10254] ppid=10244 vsize=15012696 memory=13126 CPUtime=0 cores=1,3,5,7
/proc/10247/task/10254/stat : 10254 (java) S 10244 10244 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404920917 15373000704 22061 33554432000 4194304 4196468 140732353110224 139987003734288 139986999502549 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15532032 140732353118958 140732353119386 140732353119386 140732353122255 0
[pid=10247/tid=10255] ppid=10244 vsize=15012696 memory=3473596082939471520 CPUtime=0 cores=1,3,5,7
/proc/10247/task/10255/stat : 10255 (java) S 10244 10244 8795 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404920917 15373000704 22061 33554432000 4194304 4196468 140732353110224 139986817890704 139986999502549 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15532032 140732353118958 140732353119386 140732353119386 140732353122255 0
[pid=10247/tid=10256] ppid=10244 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10247/task/10256/stat : 10256 (java) S 10244 10244 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404920917 15373000704 22061 33554432000 4194304 4196468 140732353110224 139986816838160 139986999502549 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15532032 140732353118958 140732353119386 140732353119386 140732353122255 0
[pid=10247/tid=10257] ppid=10244 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10247/task/10257/stat : 10257 (java) S 10244 10244 8795 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404920917 15373000704 22061 33554432000 4194304 4196468 140732353110224 139986815785616 139986999502549 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15532032 140732353118958 140732353119386 140732353119386 140732353122255 0
[pid=10247/tid=10259] ppid=10244 vsize=15012696 memory=139687767811712 CPUtime=0 cores=1,3,5,7
/proc/10247/task/10259/stat : 10259 (java) S 10244 10244 8795 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404920918 15373000704 22061 33554432000 4194304 4196468 140732353110224 139986338834928 139986999503490 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15532032 140732353118958 140732353119386 140732353119386 140732353122255 0
[pid=10247/tid=10261] ppid=10244 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10247/task/10261/stat : 10261 (java) S 10244 10244 8795 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 404920919 15373000704 22061 33554432000 4194304 4196468 140732353110224 139985600636320 139986999502549 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15532032 140732353118958 140732353119386 140732353119386 140732353122255 0
[pid=10247/tid=10263] ppid=10244 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10247/task/10263/stat : 10263 (java) S 10244 10244 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404920919 15373000704 22061 33554432000 4194304 4196468 140732353110224 139985332200944 139986999502549 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15532032 140732353118958 140732353119386 140732353119386 140732353122255 0
[pid=10247/tid=10264] ppid=10244 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10247/task/10264/stat : 10264 (java) S 10244 10244 8795 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404920921 15373000704 22061 33554432000 4194304 4196468 140732353110224 139984957692624 139986999510939 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15532032 140732353118958 140732353119386 140732353119386 140732353122255 0
[pid=10247/tid=10265] ppid=10244 vsize=15012696 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/10247/task/10265/stat : 10265 (java) S 10244 10244 8795 0 -1 1077944384 440 0 0 0 1 0 0 0 20 0 15 0 404920921 15373000704 22061 33554432000 4194304 4196468 140732353110224 139986337781744 139986999503490 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15532032 140732353118958 140732353119386 140732353119386 140732353122255 0
[pid=10247/tid=10267] ppid=10244 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10247/task/10267/stat : 10267 (java) S 10244 10244 8795 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 404920921 15373000704 22061 33554432000 4194304 4196468 140732353110224 139986336729200 139986999503490 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15532032 140732353118958 140732353119386 140732353119386 140732353122255 0
[pid=10247/tid=10268] ppid=10244 vsize=15012696 memory=139687767811712 CPUtime=0.03 cores=1,3,5,7
/proc/10247/task/10268/stat : 10268 (java) S 10244 10244 8795 0 -1 1077944384 447 0 0 0 3 0 0 0 20 0 15 0 404920921 15373000704 22061 33554432000 4194304 4196468 140732353110224 139986335676656 139986999503490 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15532032 140732353118958 140732353119386 140732353119386 140732353122255 0
[pid=10247/tid=10272] ppid=10244 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10247/task/10272/stat : 10272 (java) S 10244 10244 8795 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404920922 15373000704 22061 33554432000 4194304 4196468 140732353110224 139984459786848 139986999502549 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15532032 140732353118958 140732353119386 140732353119386 140732353122255 0
[pid=10247/tid=10274] ppid=10244 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10247/task/10274/stat : 10274 (java) S 10244 10244 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404920922 15373000704 22061 33554432000 4194304 4196468 140732353110224 139986334624560 139986999503490 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15532032 140732353118958 140732353119386 140732353119386 140732353122255 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 89376 KiB
[startup+0.310805 s]*
/proc/loadavg: 1.00 1.17 1.54 6/229 10275
/proc/meminfo: memFree=24995408/32770624 swapFree=66927084/67108860
[pid=10244] ppid=10240 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/10244/stat : 10244 (scop.sh) S 10240 10244 8795 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 404920915 115843072 349 33554432000 4194304 5098028 140732512033824 140732512031080 139759188841084 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 23662592 140732512039720 140732512040048 140732512040048 140732512042957 0
/proc/10244/statm: 28282 349 296 221 0 87 0
[pid=10247] ppid=10244 vsize=15012696 memory=91940 CPUtime=0.43 cores=1,3,5,7
/proc/10247/stat : 10247 (java) S 10244 10244 8795 0 -1 1077944320 13035 0 0 0 38 5 0 0 20 0 15 0 404920915 15373000704 22985 33554432000 4194304 4196468 140732353110224 140732353092768 139986999492343 0 0 2 16800973 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 15532032 140732353118958 140732353119386 140732353119386 140732353122255 0
/proc/10247/statm: 3753174 22985 3025 1 0 3715579 0
[pid=10247/tid=10249] ppid=10244 vsize=15012696 memory=6791534058613427641 CPUtime=0.29 cores=1,3,5,7
/proc/10247/task/10249/stat : 10249 (java) R 10244 10244 8795 0 -1 4202560 10598 0 0 0 25 4 0 0 20 0 15 0 404920915 15373000704 22985 33554432000 4194304 4196468 140732353110224 139986971297456 139986979768224 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15532032 140732353118958 140732353119386 140732353119386 140732353122255 0
[pid=10247/tid=10254] ppid=10244 vsize=15012696 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/10247/task/10254/stat : 10254 (java) S 10244 10244 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404920917 15373000704 22985 33554432000 4194304 4196468 140732353110224 139987003734288 139986999502549 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15532032 140732353118958 140732353119386 140732353119386 140732353122255 0
[pid=10247/tid=10255] ppid=10244 vsize=15012696 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/10247/task/10255/stat : 10255 (java) S 10244 10244 8795 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404920917 15373000704 22985 33554432000 4194304 4196468 140732353110224 139986817890704 139986999502549 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15532032 140732353118958 140732353119386 140732353119386 140732353122255 0
[pid=10247/tid=10256] ppid=10244 vsize=15012696 memory=-5587046532246807594 CPUtime=0 cores=1,3,5,7
/proc/10247/task/10256/stat : 10256 (java) S 10244 10244 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404920917 15373000704 22985 33554432000 4194304 4196468 140732353110224 139986816838160 139986999502549 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15532032 140732353118958 140732353119386 140732353119386 140732353122255 0
[pid=10247/tid=10257] ppid=10244 vsize=15012696 memory=7379517702019849078 CPUtime=0 cores=1,3,5,7
/proc/10247/task/10257/stat : 10257 (java) S 10244 10244 8795 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404920917 15373000704 22985 33554432000 4194304 4196468 140732353110224 139986815785616 139986999502549 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15532032 140732353118958 140732353119386 140732353119386 140732353122255 0
[pid=10247/tid=10259] ppid=10244 vsize=15012696 memory=7016714186490735262 CPUtime=0 cores=1,3,5,7
/proc/10247/task/10259/stat : 10259 (java) S 10244 10244 8795 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404920918 15373000704 22985 33554432000 4194304 4196468 140732353110224 139986338834928 139986999503490 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15532032 140732353118958 140732353119386 140732353119386 140732353122255 0
[pid=10247/tid=10261] ppid=10244 vsize=15012696 memory=-7522837583045875833 CPUtime=0 cores=1,3,5,7
/proc/10247/task/10261/stat : 10261 (java) S 10244 10244 8795 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 404920919 15373000704 22985 33554432000 4194304 4196468 140732353110224 139985600636320 139986999502549 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15532032 140732353118958 140732353119386 140732353119386 140732353122255 0
[pid=10247/tid=10263] ppid=10244 vsize=15012696 memory=-6519613052471072158 CPUtime=0 cores=1,3,5,7
/proc/10247/task/10263/stat : 10263 (java) S 10244 10244 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404920919 15373000704 22985 33554432000 4194304 4196468 140732353110224 139985332200944 139986999502549 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15532032 140732353118958 140732353119386 140732353119386 140732353122255 0
[pid=10247/tid=10264] ppid=10244 vsize=15012696 memory=-8187100386482147110 CPUtime=0 cores=1,3,5,7
/proc/10247/task/10264/stat : 10264 (java) S 10244 10244 8795 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404920921 15373000704 22985 33554432000 4194304 4196468 140732353110224 139984957692624 139986999510939 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15532032 140732353118958 140732353119386 140732353119386 140732353122255 0
[pid=10247/tid=10265] ppid=10244 vsize=15012696 memory=4426078206164241782 CPUtime=0.01 cores=1,3,5,7
/proc/10247/task/10265/stat : 10265 (java) S 10244 10244 8795 0 -1 1077944384 461 0 0 0 1 0 0 0 20 0 15 0 404920921 15373000704 22985 33554432000 4194304 4196468 140732353110224 139986337781744 139986999503490 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15532032 140732353118958 140732353119386 140732353119386 140732353122255 0
[pid=10247/tid=10267] ppid=10244 vsize=15012696 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/10247/task/10267/stat : 10267 (java) S 10244 10244 8795 0 -1 1077944384 153 0 0 0 3 0 0 0 20 0 15 0 404920921 15373000704 22985 33554432000 4194304 4196468 140732353110224 139986336729200 139986999503490 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15532032 140732353118958 140732353119386 140732353119386 140732353122255 0
[pid=10247/tid=10268] ppid=10244 vsize=15012696 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/10247/task/10268/stat : 10268 (java) S 10244 10244 8795 0 -1 1077944384 491 0 0 0 7 0 0 0 20 0 15 0 404920921 15373000704 22985 33554432000 4194304 4196468 140732353110224 139986335676656 139986999503490 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15532032 140732353118958 140732353119386 140732353119386 140732353122255 0
[pid=10247/tid=10272] ppid=10244 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10247/task/10272/stat : 10272 (java) S 10244 10244 8795 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404920922 15373000704 22985 33554432000 4194304 4196468 140732353110224 139984459786848 139986999502549 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15532032 140732353118958 140732353119386 140732353119386 140732353122255 0
[pid=10247/tid=10274] ppid=10244 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10247/task/10274/stat : 10274 (java) S 10244 10244 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404920922 15373000704 22985 33554432000 4194304 4196468 140732353110224 139986334624560 139986999503490 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15532032 140732353118958 140732353119386 140732353119386 140732353122255 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 93336 KiB
[startup+0.707777 s]
/proc/loadavg: 1.00 1.17 1.54 4/229 10275
/proc/meminfo: memFree=24952124/32770624 swapFree=66927084/67108860
[pid=10244] ppid=10240 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/10244/stat : 10244 (scop.sh) S 10240 10244 8795 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 404920915 115843072 349 33554432000 4194304 5098028 140732512033824 140732512031080 139759188841084 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 23662592 140732512039720 140732512040048 140732512040048 140732512042957 0
/proc/10244/statm: 28282 349 296 221 0 87 0
[pid=10247] ppid=10244 vsize=15018968 memory=129204 CPUtime=1.01 cores=1,3,5,7
/proc/10247/stat : 10247 (java) S 10244 10244 8795 0 -1 1077944320 20096 0 0 0 94 7 0 0 20 0 15 0 404920915 15379423232 32301 33554432000 4194304 4196468 140732353110224 140732353092768 139986999492343 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 15532032 140732353118958 140732353119386 140732353119386 140732353122255 0
/proc/10247/statm: 3754742 32301 3186 1 0 3716091 0
[pid=10247/tid=10249] ppid=10244 vsize=15018968 memory=3472328296227679313 CPUtime=0.68 cores=1,3,5,7
/proc/10247/task/10249/stat : 10249 (java) R 10244 10244 8795 0 -1 4202560 17157 0 0 0 62 6 0 0 20 0 15 0 404920915 15379423232 32301 33554432000 4194304 4196468 140732353110224 139986971327152 139986999514269 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15532032 140732353118958 140732353119386 140732353119386 140732353122255 0
[pid=10247/tid=10254] ppid=10244 vsize=15018968 memory=-7082918048272507482 CPUtime=0 cores=1,3,5,7
/proc/10247/task/10254/stat : 10254 (java) S 10244 10244 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404920917 15379423232 32301 33554432000 4194304 4196468 140732353110224 139987003734288 139986999502549 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15532032 140732353118958 140732353119386 140732353119386 140732353122255 0
[pid=10247/tid=10255] ppid=10244 vsize=15018968 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10247/task/10255/stat : 10255 (java) S 10244 10244 8795 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404920917 15379423232 32301 33554432000 4194304 4196468 140732353110224 139986817890704 139986999502549 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15532032 140732353118958 140732353119386 140732353119386 140732353122255 0
[pid=10247/tid=10256] ppid=10244 vsize=15018968 memory=37148 CPUtime=0 cores=1,3,5,7
/proc/10247/task/10256/stat : 10256 (java) S 10244 10244 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404920917 15379423232 32301 33554432000 4194304 4196468 140732353110224 139986816838160 139986999502549 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15532032 140732353118958 140732353119386 140732353119386 140732353122255 0
[pid=10247/tid=10257] ppid=10244 vsize=15018968 memory=2028 CPUtime=0 cores=1,3,5,7
/proc/10247/task/10257/stat : 10257 (java) S 10244 10244 8795 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404920917 15379423232 32301 33554432000 4194304 4196468 140732353110224 139986815785616 139986999502549 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15532032 140732353118958 140732353119386 140732353119386 140732353122255 0
[pid=10247/tid=10259] ppid=10244 vsize=15018968 memory=988 CPUtime=0 cores=1,3,5,7
/proc/10247/task/10259/stat : 10259 (java) S 10244 10244 8795 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 404920918 15379423232 32301 33554432000 4194304 4196468 140732353110224 139986338834928 139986999503490 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15532032 140732353118958 140732353119386 140732353119386 140732353122255 0
[pid=10247/tid=10261] ppid=10244 vsize=15018968 memory=1424 CPUtime=0 cores=1,3,5,7
/proc/10247/task/10261/stat : 10261 (java) S 10244 10244 8795 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 404920919 15379423232 32301 33554432000 4194304 4196468 140732353110224 139985600636320 139986999502549 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15532032 140732353118958 140732353119386 140732353119386 140732353122255 0
[pid=10247/tid=10263] ppid=10244 vsize=15018968 memory=9592 CPUtime=0 cores=1,3,5,7
/proc/10247/task/10263/stat : 10263 (java) S 10244 10244 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404920919 15379423232 32301 33554432000 4194304 4196468 140732353110224 139985332200944 139986999502549 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15532032 140732353118958 140732353119386 140732353119386 140732353122255 0
[pid=10247/tid=10264] ppid=10244 vsize=15018968 memory=776 CPUtime=0 cores=1,3,5,7
/proc/10247/task/10264/stat : 10264 (java) S 10244 10244 8795 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404920921 15379423232 32301 33554432000 4194304 4196468 140732353110224 139984957692624 139986999510939 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15532032 140732353118958 140732353119386 140732353119386 140732353122255 0
[pid=10247/tid=10265] ppid=10244 vsize=15018968 memory=1540 CPUtime=0.08 cores=1,3,5,7
/proc/10247/task/10265/stat : 10265 (java) R 10244 10244 8795 0 -1 4202560 718 0 0 0 8 0 0 0 20 0 15 0 404920921 15379423232 32301 33554432000 4194304 4196468 140732353110224 139986337768288 139986977321022 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 15532032 140732353118958 140732353119386 140732353119386 140732353122255 0
[pid=10247/tid=10267] ppid=10244 vsize=15018968 memory=692 CPUtime=0.08 cores=1,3,5,7
/proc/10247/task/10267/stat : 10267 (java) S 10244 10244 8795 0 -1 1077944384 298 0 0 0 8 0 0 0 20 0 15 0 404920921 15379423232 32301 33554432000 4194304 4196468 140732353110224 139986336729200 139986999503490 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15532032 140732353118958 140732353119386 140732353119386 140732353122255 0
[pid=10247/tid=10268] ppid=10244 vsize=15018968 memory=4004 CPUtime=0.14 cores=1,3,5,7
/proc/10247/task/10268/stat : 10268 (java) S 10244 10244 8795 0 -1 1077944384 588 0 0 0 14 0 0 0 20 0 15 0 404920921 15379423232 32301 33554432000 4194304 4196468 140732353110224 139986335676656 139986999503490 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15532032 140732353118958 140732353119386 140732353119386 140732353122255 0
[pid=10247/tid=10272] ppid=10244 vsize=15018968 memory=1060 CPUtime=0 cores=1,3,5,7
/proc/10247/task/10272/stat : 10272 (java) S 10244 10244 8795 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404920922 15379423232 32301 33554432000 4194304 4196468 140732353110224 139984459786848 139986999502549 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15532032 140732353118958 140732353119386 140732353119386 140732353122255 0
[pid=10247/tid=10274] ppid=10244 vsize=15018968 memory=2832 CPUtime=0 cores=1,3,5,7
/proc/10247/task/10274/stat : 10274 (java) S 10244 10244 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404920922 15379423232 32301 33554432000 4194304 4196468 140732353110224 139986334624560 139986999503490 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15532032 140732353118958 140732353119386 140732353119386 140732353122255 0
Current children cumulated CPU time: 1.01 s
Current children cumulated vsize: 15132096 KiB
Current children cumulated memory: 130600 KiB
[startup+1.50091 s]
/proc/loadavg: 1.16 1.20 1.54 8/229 10275
/proc/meminfo: memFree=24722392/32770624 swapFree=66927084/67108860
[pid=10244] ppid=10240 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/10244/stat : 10244 (scop.sh) S 10240 10244 8795 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 404920915 115843072 349 33554432000 4194304 5098028 140732512033824 140732512031080 139759188841084 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 23662592 140732512039720 140732512040048 140732512040048 140732512042957 0
/proc/10244/statm: 28282 349 296 221 0 87 0
################
# More data... #
################
[pid=10324/tid=10327] ppid=10244 vsize=8068440 memory=124696 CPUtime=0 cores=1,3,5,7
/proc/10324/task/10327/stat : 10327 (java) S 10244 10244 8795 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 404955500 8262082560 31174 33554432000 4194304 4196468 140726449682816 140172570679824 140172752291541 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32391168 140726449685499 140726449685658 140726449685658 140726449688527 0
[pid=10324/tid=10328] ppid=10244 vsize=8068440 memory=124696 CPUtime=0 cores=1,3,5,7
/proc/10324/task/10328/stat : 10328 (java) S 10244 10244 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 404955500 8262082560 31174 33554432000 4194304 4196468 140726449682816 140172569627024 140172752291541 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32391168 140726449685499 140726449685658 140726449685658 140726449688527 0
[pid=10324/tid=10329] ppid=10244 vsize=8068440 memory=1476 CPUtime=0 cores=1,3,5,7
/proc/10324/task/10329/stat : 10329 (java) S 10244 10244 8795 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 404955500 8262082560 31174 33554432000 4194304 4196468 140726449682816 140172568574224 140172752291541 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32391168 140726449685499 140726449685658 140726449685658 140726449688527 0
[pid=10324/tid=10330] ppid=10244 vsize=8068440 memory=1476 CPUtime=0.05 cores=1,3,5,7
/proc/10324/task/10330/stat : 10330 (java) S 10244 10244 8795 0 -1 1077944384 15 0 0 0 2 3 0 0 20 0 19 0 404955502 8262082560 31174 33554432000 4194304 4196468 140726449682816 140172064455536 140172752292482 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32391168 140726449685499 140726449685658 140726449685658 140726449688527 0
[pid=10324/tid=10331] ppid=10244 vsize=8068440 memory=-7824251494390782824 CPUtime=0 cores=1,3,5,7
/proc/10324/task/10331/stat : 10331 (java) S 10244 10244 8795 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 404955502 8262082560 31174 33554432000 4194304 4196468 140726449682816 140171559298592 140172752291541 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32391168 140726449685499 140726449685658 140726449685658 140726449688527 0
[pid=10324/tid=10332] ppid=10244 vsize=8068440 memory=292820 CPUtime=0 cores=1,3,5,7
/proc/10324/task/10332/stat : 10332 (java) S 10244 10244 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 404955502 8262082560 31174 33554432000 4194304 4196468 140726449682816 140171290862960 140172752291541 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32391168 140726449685499 140726449685658 140726449685658 140726449688527 0
[pid=10324/tid=10333] ppid=10244 vsize=8068440 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/10324/task/10333/stat : 10333 (java) S 10244 10244 8795 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 404955505 8262082560 31174 33554432000 4194304 4196468 140726449682816 140170916354384 140172752299931 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32391168 140726449685499 140726449685658 140726449685658 140726449688527 0
[pid=10324/tid=10334] ppid=10244 vsize=8068440 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/10324/task/10334/stat : 10334 (java) S 10244 10244 8795 0 -1 1077944384 762 0 0 0 10 0 0 0 20 0 19 0 404955505 8262082560 31174 33554432000 4194304 4196468 140726449682816 140172063402352 140172752292482 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32391168 140726449685499 140726449685658 140726449685658 140726449688527 0
[pid=10324/tid=10335] ppid=10244 vsize=8068440 memory=1476 CPUtime=0.1 cores=1,3,5,7
/proc/10324/task/10335/stat : 10335 (java) S 10244 10244 8795 0 -1 1077944384 337 0 0 0 10 0 0 0 20 0 19 0 404955505 8262082560 31174 33554432000 4194304 4196468 140726449682816 140172062349552 140172752292482 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32391168 140726449685499 140726449685658 140726449685658 140726449688527 0
[pid=10324/tid=10336] ppid=10244 vsize=8068440 memory=1476 CPUtime=0.23 cores=1,3,5,7
/proc/10324/task/10336/stat : 10336 (java) S 10244 10244 8795 0 -1 1077944384 1092 0 0 0 23 0 0 0 20 0 19 0 404955505 8262082560 31174 33554432000 4194304 4196468 140726449682816 140172061296752 140172752292482 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32391168 140726449685499 140726449685658 140726449685658 140726449688527 0
[pid=10324/tid=10337] ppid=10244 vsize=8068440 memory=1476 CPUtime=0 cores=1,3,5,7
/proc/10324/task/10337/stat : 10337 (java) S 10244 10244 8795 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 404955505 8262082560 31174 33554432000 4194304 4196468 140726449682816 140170418448608 140172752291541 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32391168 140726449685499 140726449685658 140726449685658 140726449688527 0
[pid=10324/tid=10338] ppid=10244 vsize=8068440 memory=124696 CPUtime=1.2 cores=1,3,5,7
/proc/10324/task/10338/stat : 10338 (java) S 10244 10244 8795 0 -1 1077944384 137 0 0 0 57 63 0 0 20 0 19 0 404955506 8262082560 31174 33554432000 4194304 4196468 140726449682816 140172060245168 140172752292482 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32391168 140726449685499 140726449685658 140726449685658 140726449688527 0
[pid=10324/tid=10340] ppid=10244 vsize=8068440 memory=292272 CPUtime=0 cores=1,3,5,7
/proc/10324/task/10340/stat : 10340 (java) S 10244 10244 8795 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 404955571 8262082560 31174 33554432000 4194304 4196468 140726449682816 140172052211392 140172752305945 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 32391168 140726449685499 140726449685658 140726449685658 140726449688527 0
[pid=10324/tid=10342] ppid=10244 vsize=8068440 memory=124696 CPUtime=0.03 cores=1,3,5,7
/proc/10324/task/10342/stat : 10342 (java) S 10244 10244 8795 0 -1 4202560 1688 0 0 0 2 1 0 0 20 0 19 0 404955572 8262082560 31174 33554432000 4194304 4196468 140726449682816 140169881566960 140172752303261 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 32391168 140726449685499 140726449685658 140726449685658 140726449688527 0
[pid=10324/tid=10343] ppid=10244 vsize=8068440 memory=124696 CPUtime=0 cores=1,3,5,7
/proc/10324/task/10343/stat : 10343 (java) S 10244 10244 8795 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 404955572 8262082560 31174 33554432000 4194304 4196468 140726449682816 140169613131408 140172752303261 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 32391168 140726449685499 140726449685658 140726449685658 140726449688527 0
[pid=10324/tid=10344] ppid=10244 vsize=8068440 memory=293288 CPUtime=0 cores=1,3,5,7
/proc/10324/task/10344/stat : 10344 (java) S 10244 10244 8795 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 19 0 404955574 8262082560 31174 33554432000 4194304 4196468 140726449682816 140170150010032 140172752291541 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32391168 140726449685499 140726449685658 140726449685658 140726449688527 0
Current children cumulated CPU time: 2457.96 s
Current children cumulated vsize: 8502140 KiB
Current children cumulated memory: 419672 KiB
[startup+2442.3 s]
/proc/loadavg: 2.83 2.32 2.08 4/239 10538
/proc/meminfo: memFree=24222900/32770624 swapFree=66927088/67108860
[pid=10244] ppid=10240 vsize=113128 memory=1476 CPUtime=419.86 cores=1,3,5,7
/proc/10244/stat : 10244 (scop.sh) S 10240 10244 8795 0 -1 4202496 584 119431 0 0 0 0 41198 788 20 0 1 0 404920915 115843072 369 33554432000 4194304 5098028 140732512033824 140732512030568 139759188841084 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 23662592 140732512039720 140732512040048 140732512040048 140732512042957 0
/proc/10244/statm: 28282 369 311 221 0 87 0
[pid=10324] ppid=10244 vsize=8068440 memory=124696 CPUtime=2.57 cores=1,3,5,7
/proc/10324/stat : 10324 (java) S 10244 10244 8795 0 -1 1077944320 23314 0 0 0 184 73 0 0 20 0 19 0 404955498 8262082560 31174 33554432000 4194304 4196468 140726449682816 140726449665360 140172752281335 0 0 2 25189581 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 32391168 140726449685499 140726449685658 140726449685658 140726449688527 0
/proc/10324/statm: 2017110 31174 3201 1 0 1978454 0
[pid=10339] ppid=10324 vsize=370660 memory=294940 CPUtime=2095.56 cores=1,3,5,7
/proc/10339/stat : 10339 (glueminisat-sim) R 10324 10244 8795 0 -1 4202496 1572504 0 0 0 209308 248 0 0 20 0 1 0 404955571 379555840 73735 33554432000 4194304 4452875 140735511210304 140735511205400 140243921338247 0 4 0 8388610 0 0 0 17 5 0 0 0 0 0 6552096 6554264 26656768 140735511216991 140735511217191 140735511217191 140735511220141 0
/proc/10339/statm: 92665 73735 380 64 0 88869 0
[pid=10324/tid=10325] ppid=10244 vsize=8068440 memory=124696 CPUtime=0.75 cores=1,3,5,7
/proc/10324/task/10325/stat : 10325 (java) S 10244 10244 8795 0 -1 1077944384 17892 0 0 0 70 5 0 0 20 0 19 0 404955499 8262082560 31174 33554432000 4194304 4196468 140726449682816 140172724121504 140172752291541 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32391168 140726449685499 140726449685658 140726449685658 140726449688527 0
[pid=10324/tid=10326] ppid=10244 vsize=8068440 memory=124696 CPUtime=0 cores=1,3,5,7
/proc/10324/task/10326/stat : 10326 (java) S 10244 10244 8795 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 404955500 8262082560 31174 33554432000 4194304 4196468 140726449682816 140172756523664 140172752291541 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32391168 140726449685499 140726449685658 140726449685658 140726449688527 0
[pid=10324/tid=10327] ppid=10244 vsize=8068440 memory=1476 CPUtime=0 cores=1,3,5,7
/proc/10324/task/10327/stat : 10327 (java) S 10244 10244 8795 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 404955500 8262082560 31174 33554432000 4194304 4196468 140726449682816 140172570679824 140172752291541 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32391168 140726449685499 140726449685658 140726449685658 140726449688527 0
[pid=10324/tid=10328] ppid=10244 vsize=8068440 memory=1476 CPUtime=0 cores=1,3,5,7
/proc/10324/task/10328/stat : 10328 (java) S 10244 10244 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 404955500 8262082560 31174 33554432000 4194304 4196468 140726449682816 140172569627024 140172752291541 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32391168 140726449685499 140726449685658 140726449685658 140726449688527 0
[pid=10324/tid=10329] ppid=10244 vsize=8068440 memory=124696 CPUtime=0 cores=1,3,5,7
/proc/10324/task/10329/stat : 10329 (java) S 10244 10244 8795 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 404955500 8262082560 31174 33554432000 4194304 4196468 140726449682816 140172568574224 140172752291541 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32391168 140726449685499 140726449685658 140726449685658 140726449688527 0
[pid=10324/tid=10330] ppid=10244 vsize=8068440 memory=-7824251494390782824 CPUtime=0.05 cores=1,3,5,7
/proc/10324/task/10330/stat : 10330 (java) S 10244 10244 8795 0 -1 1077944384 15 0 0 0 2 3 0 0 20 0 19 0 404955502 8262082560 31174 33554432000 4194304 4196468 140726449682816 140172064455536 140172752292482 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32391168 140726449685499 140726449685658 140726449685658 140726449688527 0
[pid=10324/tid=10331] ppid=10244 vsize=8068440 memory=9592 CPUtime=0 cores=1,3,5,7
/proc/10324/task/10331/stat : 10331 (java) S 10244 10244 8795 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 404955502 8262082560 31174 33554432000 4194304 4196468 140726449682816 140171559298592 140172752291541 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32391168 140726449685499 140726449685658 140726449685658 140726449688527 0
[pid=10324/tid=10332] ppid=10244 vsize=8068440 memory=1476 CPUtime=0 cores=1,3,5,7
/proc/10324/task/10332/stat : 10332 (java) S 10244 10244 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 404955502 8262082560 31174 33554432000 4194304 4196468 140726449682816 140171290862960 140172752291541 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32391168 140726449685499 140726449685658 140726449685658 140726449688527 0
[pid=10324/tid=10333] ppid=10244 vsize=8068440 memory=1476 CPUtime=0 cores=1,3,5,7
/proc/10324/task/10333/stat : 10333 (java) S 10244 10244 8795 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 404955505 8262082560 31174 33554432000 4194304 4196468 140726449682816 140170916354384 140172752299931 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32391168 140726449685499 140726449685658 140726449685658 140726449688527 0
[pid=10324/tid=10334] ppid=10244 vsize=8068440 memory=1476 CPUtime=0.1 cores=1,3,5,7
/proc/10324/task/10334/stat : 10334 (java) S 10244 10244 8795 0 -1 1077944384 766 0 0 0 10 0 0 0 20 0 19 0 404955505 8262082560 31174 33554432000 4194304 4196468 140726449682816 140172063402352 140172752292482 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32391168 140726449685499 140726449685658 140726449685658 140726449688527 0
[pid=10324/tid=10335] ppid=10244 vsize=8068440 memory=3580 CPUtime=0.1 cores=1,3,5,7
/proc/10324/task/10335/stat : 10335 (java) S 10244 10244 8795 0 -1 1077944384 337 0 0 0 10 0 0 0 20 0 19 0 404955505 8262082560 31174 33554432000 4194304 4196468 140726449682816 140172062349552 140172752292482 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32391168 140726449685499 140726449685658 140726449685658 140726449688527 0
[pid=10324/tid=10336] ppid=10244 vsize=8068440 memory=1476 CPUtime=0.23 cores=1,3,5,7
/proc/10324/task/10336/stat : 10336 (java) S 10244 10244 8795 0 -1 1077944384 1092 0 0 0 23 0 0 0 20 0 19 0 404955505 8262082560 31174 33554432000 4194304 4196468 140726449682816 140172061296752 140172752292482 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32391168 140726449685499 140726449685658 140726449685658 140726449688527 0
[pid=10324/tid=10337] ppid=10244 vsize=8068440 memory=3580 CPUtime=0 cores=1,3,5,7
/proc/10324/task/10337/stat : 10337 (java) S 10244 10244 8795 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 404955505 8262082560 31174 33554432000 4194304 4196468 140726449682816 140170418448608 140172752291541 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32391168 140726449685499 140726449685658 140726449685658 140726449688527 0
[pid=10324/tid=10338] ppid=10244 vsize=8068440 memory=1476 CPUtime=1.23 cores=1,3,5,7
/proc/10324/task/10338/stat : 10338 (java) S 10244 10244 8795 0 -1 1077944384 141 0 0 0 58 65 0 0 20 0 19 0 404955506 8262082560 31174 33554432000 4194304 4196468 140726449682816 140172060245168 140172752292482 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32391168 140726449685499 140726449685658 140726449685658 140726449688527 0
[pid=10324/tid=10340] ppid=10244 vsize=8068440 memory=1476 CPUtime=0 cores=1,3,5,7
/proc/10324/task/10340/stat : 10340 (java) S 10244 10244 8795 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 404955571 8262082560 31174 33554432000 4194304 4196468 140726449682816 140172052211392 140172752305945 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 32391168 140726449685499 140726449685658 140726449685658 140726449688527 0
[pid=10324/tid=10342] ppid=10244 vsize=8068440 memory=124696 CPUtime=0.03 cores=1,3,5,7
/proc/10324/task/10342/stat : 10342 (java) S 10244 10244 8795 0 -1 4202560 1688 0 0 0 2 1 0 0 20 0 19 0 404955572 8262082560 31174 33554432000 4194304 4196468 140726449682816 140169881566960 140172752303261 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 32391168 140726449685499 140726449685658 140726449685658 140726449688527 0
[pid=10324/tid=10343] ppid=10244 vsize=8068440 memory=1476 CPUtime=0 cores=1,3,5,7
/proc/10324/task/10343/stat : 10343 (java) S 10244 10244 8795 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 404955572 8262082560 31174 33554432000 4194304 4196468 140726449682816 140169613131408 140172752303261 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 32391168 140726449685499 140726449685658 140726449685658 140726449688527 0
[pid=10324/tid=10344] ppid=10244 vsize=8068440 memory=1476 CPUtime=0 cores=1,3,5,7
/proc/10324/task/10344/stat : 10344 (java) S 10244 10244 8795 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 19 0 404955574 8262082560 31174 33554432000 4194304 4196468 140726449682816 140170150010032 140172752291541 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32391168 140726449685499 140726449685658 140726449685658 140726449688527 0
Current children cumulated CPU time: 2517.99 s
Current children cumulated vsize: 8552228 KiB
Current children cumulated memory: 421112 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2444.4 s]
/proc/loadavg: 2.83 2.32 2.08 4/239 10538
/proc/meminfo: memFree=24222900/32770624 swapFree=66927088/67108860
[pid=10244] ppid=10240 vsize=113128 memory=1476 CPUtime=419.86 cores=1,3,5,7
/proc/10244/stat : 10244 (scop.sh) S 10240 10244 8795 0 -1 4202496 584 119431 0 0 0 0 41198 788 20 0 1 0 404920915 115843072 369 33554432000 4194304 5098028 140732512033824 140732512030568 139759188841084 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 23662592 140732512039720 140732512040048 140732512040048 140732512042957 0
/proc/10244/statm: 28282 369 311 221 0 87 0
[pid=10324] ppid=10244 vsize=8068440 memory=124696 CPUtime=2.57 cores=1,3,5,7
/proc/10324/stat : 10324 (java) S 10244 10244 8795 0 -1 1077944320 23314 0 0 0 184 73 0 0 20 0 19 0 404955498 8262082560 31174 33554432000 4194304 4196468 140726449682816 140726449665360 140172752281335 0 0 2 25189581 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 32391168 140726449685499 140726449685658 140726449685658 140726449688527 0
/proc/10324/statm: 2017110 31174 3201 1 0 1978454 0
[pid=10339] ppid=10324 vsize=370660 memory=294980 CPUtime=2097.66 cores=1,3,5,7
/proc/10339/stat : 10339 (glueminisat-sim) R 10324 10244 8795 0 -1 4202496 1572533 0 0 0 209518 248 0 0 20 0 1 0 404955571 379555840 73745 33554432000 4194304 4452875 140735511210304 140735511205400 140243921338247 0 4 0 8388610 0 0 0 17 5 0 0 0 0 0 6552096 6554264 26656768 140735511216991 140735511217191 140735511217191 140735511220141 0
/proc/10339/statm: 92665 73745 380 64 0 88869 0
[pid=10324/tid=10325] ppid=10244 vsize=8068440 memory=294796 CPUtime=0.75 cores=1,3,5,7
/proc/10324/task/10325/stat : 10325 (java) S 10244 10244 8795 0 -1 1077944384 17892 0 0 0 70 5 0 0 20 0 19 0 404955499 8262082560 31174 33554432000 4194304 4196468 140726449682816 140172724121504 140172752291541 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32391168 140726449685499 140726449685658 140726449685658 140726449688527 0
[pid=10324/tid=10326] ppid=10244 vsize=8068440 memory=824 CPUtime=0 cores=1,3,5,7
/proc/10324/task/10326/stat : 10326 (java) S 10244 10244 8795 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 404955500 8262082560 31174 33554432000 4194304 4196468 140726449682816 140172756523664 140172752291541 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32391168 140726449685499 140726449685658 140726449685658 140726449688527 0
[pid=10324/tid=10327] ppid=10244 vsize=8068440 memory=-7824251494390782824 CPUtime=0 cores=1,3,5,7
/proc/10324/task/10327/stat : 10327 (java) S 10244 10244 8795 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 404955500 8262082560 31174 33554432000 4194304 4196468 140726449682816 140172570679824 140172752291541 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32391168 140726449685499 140726449685658 140726449685658 140726449688527 0
[pid=10324/tid=10328] ppid=10244 vsize=8068440 memory=1476 CPUtime=0 cores=1,3,5,7
/proc/10324/task/10328/stat : 10328 (java) S 10244 10244 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 404955500 8262082560 31174 33554432000 4194304 4196468 140726449682816 140172569627024 140172752291541 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32391168 140726449685499 140726449685658 140726449685658 140726449688527 0
[pid=10324/tid=10329] ppid=10244 vsize=8068440 memory=124696 CPUtime=0 cores=1,3,5,7
/proc/10324/task/10329/stat : 10329 (java) S 10244 10244 8795 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 404955500 8262082560 31174 33554432000 4194304 4196468 140726449682816 140172568574224 140172752291541 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32391168 140726449685499 140726449685658 140726449685658 140726449688527 0
[pid=10324/tid=10330] ppid=10244 vsize=8068440 memory=294980 CPUtime=0.05 cores=1,3,5,7
/proc/10324/task/10330/stat : 10330 (java) S 10244 10244 8795 0 -1 1077944384 15 0 0 0 2 3 0 0 20 0 19 0 404955502 8262082560 31174 33554432000 4194304 4196468 140726449682816 140172064455536 140172752292482 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32391168 140726449685499 140726449685658 140726449685658 140726449688527 0
[pid=10324/tid=10331] ppid=10244 vsize=8068440 memory=126340 CPUtime=0 cores=1,3,5,7
/proc/10324/task/10331/stat : 10331 (java) S 10244 10244 8795 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 404955502 8262082560 31174 33554432000 4194304 4196468 140726449682816 140171559298592 140172752291541 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32391168 140726449685499 140726449685658 140726449685658 140726449688527 0
[pid=10324/tid=10332] ppid=10244 vsize=8068440 memory=265040 CPUtime=0 cores=1,3,5,7
/proc/10324/task/10332/stat : 10332 (java) S 10244 10244 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 404955502 8262082560 31174 33554432000 4194304 4196468 140726449682816 140171290862960 140172752291541 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32391168 140726449685499 140726449685658 140726449685658 140726449688527 0
[pid=10324/tid=10333] ppid=10244 vsize=8068440 memory=124696 CPUtime=0 cores=1,3,5,7
/proc/10324/task/10333/stat : 10333 (java) S 10244 10244 8795 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 404955505 8262082560 31174 33554432000 4194304 4196468 140726449682816 140170916354384 140172752299931 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32391168 140726449685499 140726449685658 140726449685658 140726449688527 0
[pid=10324/tid=10334] ppid=10244 vsize=8068440 memory=294940 CPUtime=0.1 cores=1,3,5,7
/proc/10324/task/10334/stat : 10334 (java) S 10244 10244 8795 0 -1 1077944384 766 0 0 0 10 0 0 0 20 0 19 0 404955505 8262082560 31174 33554432000 4194304 4196468 140726449682816 140172063402352 140172752292482 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32391168 140726449685499 140726449685658 140726449685658 140726449688527 0
[pid=10324/tid=10335] ppid=10244 vsize=8068440 memory=-7824251494390782824 CPUtime=0.1 cores=1,3,5,7
/proc/10324/task/10335/stat : 10335 (java) S 10244 10244 8795 0 -1 1077944384 337 0 0 0 10 0 0 0 20 0 19 0 404955505 8262082560 31174 33554432000 4194304 4196468 140726449682816 140172062349552 140172752292482 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32391168 140726449685499 140726449685658 140726449685658 140726449688527 0
[pid=10324/tid=10336] ppid=10244 vsize=8068440 memory=4872558044660077418 CPUtime=0.23 cores=1,3,5,7
/proc/10324/task/10336/stat : 10336 (java) S 10244 10244 8795 0 -1 1077944384 1092 0 0 0 23 0 0 0 20 0 19 0 404955505 8262082560 31174 33554432000 4194304 4196468 140726449682816 140172061296752 140172752292482 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32391168 140726449685499 140726449685658 140726449685658 140726449688527 0
[pid=10324/tid=10337] ppid=10244 vsize=8068440 memory=824 CPUtime=0 cores=1,3,5,7
/proc/10324/task/10337/stat : 10337 (java) S 10244 10244 8795 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 404955505 8262082560 31174 33554432000 4194304 4196468 140726449682816 140170418448608 140172752291541 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32391168 140726449685499 140726449685658 140726449685658 140726449688527 0
[pid=10324/tid=10338] ppid=10244 vsize=8068440 memory=1440 CPUtime=1.23 cores=1,3,5,7
/proc/10324/task/10338/stat : 10338 (java) S 10244 10244 8795 0 -1 1077944384 141 0 0 0 58 65 0 0 20 0 19 0 404955506 8262082560 31174 33554432000 4194304 4196468 140726449682816 140172060245168 140172752292482 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32391168 140726449685499 140726449685658 140726449685658 140726449688527 0
[pid=10324/tid=10340] ppid=10244 vsize=8068440 memory=1980 CPUtime=0 cores=1,3,5,7
/proc/10324/task/10340/stat : 10340 (java) S 10244 10244 8795 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 404955571 8262082560 31174 33554432000 4194304 4196468 140726449682816 140172052211392 140172752305945 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 32391168 140726449685499 140726449685658 140726449685658 140726449688527 0
[pid=10324/tid=10342] ppid=10244 vsize=8068440 memory=2496 CPUtime=0.03 cores=1,3,5,7
/proc/10324/task/10342/stat : 10342 (java) S 10244 10244 8795 0 -1 4202560 1688 0 0 0 2 1 0 0 20 0 19 0 404955572 8262082560 31174 33554432000 4194304 4196468 140726449682816 140169881566960 140172752303261 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 32391168 140726449685499 140726449685658 140726449685658 140726449688527 0
[pid=10324/tid=10343] ppid=10244 vsize=8068440 memory=1764 CPUtime=0 cores=1,3,5,7
/proc/10324/task/10343/stat : 10343 (java) S 10244 10244 8795 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 404955572 8262082560 31174 33554432000 4194304 4196468 140726449682816 140169613131408 140172752303261 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 32391168 140726449685499 140726449685658 140726449685658 140726449688527 0
[pid=10324/tid=10344] ppid=10244 vsize=8068440 memory=111632 CPUtime=0 cores=1,3,5,7
/proc/10324/task/10344/stat : 10344 (java) S 10244 10244 8795 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 19 0 404955574 8262082560 31174 33554432000 4194304 4196468 140726449682816 140170150010032 140172752291541 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32391168 140726449685499 140726449685658 140726449685658 140726449688527 0
Current children cumulated CPU time: 2520.09 s
Current children cumulated vsize: 8552228 KiB
Current children cumulated memory: 421152 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2444.42 s]
# the end of solver process 10244 was just reported to runsolver
# cumulated CPU time of all completed processes: user=411.984 s, system=7.89042 s
[startup+2444.44 s]
# the end of solver process 10324 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2509.03 s, system=11.1406 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 2444.44
CPU time (s): 2520.17
CPU user time (s): 2509.03
CPU system time (s): 11.1406
CPU usage (%): 103.098
Max. virtual memory (cumulated for all children) (KiB): 15140432
Max. memory (cumulated for all children) (KiB): 10969432
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2509.03
system time used= 11.1406
maximum resident set size= 10969624
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1716439
page faults= 0
swaps= 0
block input operations= 3752
block output operations= 158280
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 60701
involuntary context switches= 2720
# summary of solver processes directly reported to runsolver:
# pid: 10244,10324
# total CPU time (s): 2520.17
# total CPU user time (s): 2509.03
# total CPU system time (s): 11.1406
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 24.8119 second user time and 18.8335 second system time
The end