Trace number 4388364

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Fun-sCOP order+GlueMiniSat (2019-06-15)SAT 556.865 418.639

General information on the benchmark

NameCrossword/Crossword-m1c-ogd2008-herald/
Crossword-m1c-ogd2008-h1509.xml
MD5SUM47a2430a9bda935532842a3f94086119
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.426879
Satisfiable
(Un)Satisfiability was proved
Number of variables225
Number of constraints82
Number of domains1
Minimum domain size26
Maximum domain size26
Distribution of domain sizes[{"size":26,"count":187}]
Minimum variable degree0
Maximum variable degree2
Distribution of variable degrees[{"degree":0,"count":38},{"degree":2,"count":187}]
Minimum constraint arity3
Maximum constraint arity7
Distribution of constraint arities[{"arity":3,"count":16},{"arity":4,"count":28},{"arity":5,"count":24},{"arity":6,"count":4},{"arity":7,"count":10}]
Number of extensional constraints82
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":82}]
Optimization problemNO
Type of objective

Solver Data 

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-14714-serial-file.bin HOME/instance-4388364-1568298693.xml
0.67/0.54	
0.67/0.54	Fun-sCOP order+glueminisat-simp-2.2.10-193oa-n-release (2019-06-15)
0.67/0.54	
0.67/0.56	c BEGIN-Prog: Thu Sep 12 16:30:51 CEST 2019
0.67/0.56	c PID: 14717
0.67/0.56	c IP: 172.20.3.147
0.67/0.56	c HOST: node147.alineos.net
0.67/0.57	c (0,0) Parsing Begin
2.58/1.37	c (0,0) Parsing End
2.58/1.37	c (0,0) CSP: 187 int (0 aux), 0 bool (0 aux), 82 ctr, max domain size 26
2.58/1.37	c (0,0) Heap : 348 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
2.58/1.37	c (0,0) Constraint Name Generate Begin
2.58/1.38	c (0,0) Ctr:HOME/instance-4388364-1568298693.xml,ExtensionSupport:Var
2.58/1.38	c (0,0) Constraint Name Generate End
2.58/1.38	c (0,0) Heap : 348 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
2.58/1.38	c (0,0) CSP to CSPinCNF Begin
17.00/9.17	c (8,8) translated 9 (10%) constraints
23.55/15.01	c (14,14) translated 17 (20%) constraints
30.36/20.91	c (20,19) translated 25 (30%) constraints
50.04/36.00	c (35,33) translated 33 (40%) constraints
73.37/55.70	c (55,52) translated 41 (50%) constraints
101.44/78.18	c (77,73) translated 50 (60%) constraints
180.78/146.99	c (146,138) translated 58 (70%) constraints
239.71/198.14	c (197,186) translated 66 (80%) constraints
242.20/199.63	c (199,188) translated 74 (90%) constraints
267.86/223.26	c (222,211) translated 82 (100%) constraints
274.61/229.15	c (228,216) ===========================================
274.61/229.18	c (228,216) Order
274.61/229.18	c (228,216) ===========================================
284.12/237.01	c (236,224) translated 414129 (10%) constraints
293.44/245.25	c (244,232) translated 828258 (20%) constraints
303.08/253.50	c (252,239) translated 1242387 (30%) constraints
312.44/261.70	c (261,247) translated 1656516 (40%) constraints
320.34/269.51	c (268,255) translated 2070644 (50%) constraints
329.85/277.75	c (277,263) translated 2484773 (60%) constraints
339.32/285.99	c (285,271) translated 2898902 (70%) constraints
349.02/294.25	c (293,278) translated 3313031 (80%) constraints
358.50/302.49	c (301,286) translated 3727160 (90%) constraints
366.58/310.44	c (309,294) translated 4141288 (100%) constraints
366.58/310.44	c (309,294) CSP to CSPinCNF End
366.72/310.56	c (310,294) CSP: 187 int (0 aux), 367542 bool (367542 aux), 4141288 ctr, max domain size 26
366.72/310.56	c (310,294) Heap : 7586 MiB used (max 10893 MiB), NonHeap : 26 MiB used (max 0 MiB)
366.72/310.56	c (310,294) CSPinCNF Propagation Begin
408.60/334.77	c (334,313) 0 values, 82 unsatisfiable literals, and 0 valid clauses are removed
408.60/334.77	c (334,313) CSPinCNF Propagation End
408.70/334.88	c (334,313) CSP: 187 int (0 aux), 367542 bool (367542 aux), 4141288 ctr, max domain size 26
408.70/334.88	c (334,313) Heap : 8412 MiB used (max 10478 MiB), NonHeap : 26 MiB used (max 0 MiB)
408.81/334.91	c (334,313) Simplify CSPinCNF Begin
490.01/360.86	c (360,320) Simplify CSPinCNF End
490.11/360.96	c (360,320) CSP: 187 int (0 aux), 367542 bool (367542 aux), 4141288 ctr, max domain size 26
490.11/360.96	c (360,320) Heap : 4829 MiB used (max 10731 MiB), NonHeap : 27 MiB used (max 0 MiB)
490.11/360.96	c (360,320) Calculate Precise Domain Begin
490.11/360.97	c (360,320) 0 values are removed by re-calculation
490.11/360.97	c (360,320) Calculate Precise Domain End
490.22/361.07	c (360,320) CSP: 187 int (0 aux), 367542 bool (367542 aux), 4141288 ctr, max domain size 26
490.22/361.07	c (360,320) Heap : 4883 MiB used (max 10731 MiB), NonHeap : 27 MiB used (max 0 MiB)
490.22/361.07	c (360,320) CSPinCNF to SatSolver Begin
497.22/365.88	c (365,325) 414129 (10 %) CSP clauses are encoded (0 SAT variables, 418616 SAT clauses)
502.02/370.02	c (369,329) 828258 (20 %) CSP clauses are encoded (0 SAT variables, 832745 SAT clauses)
507.02/374.29	c (373,333) 1242387 (30 %) CSP clauses are encoded (0 SAT variables, 1246874 SAT clauses)
511.51/378.24	c (377,336) 1656516 (40 %) CSP clauses are encoded (0 SAT variables, 1661003 SAT clauses)
516.58/382.32	c (381,340) 2070644 (50 %) CSP clauses are encoded (0 SAT variables, 2075131 SAT clauses)
520.96/386.26	c (385,344) 2484773 (60 %) CSP clauses are encoded (0 SAT variables, 2489260 SAT clauses)
525.45/390.22	c (389,348) 2898902 (70 %) CSP clauses are encoded (0 SAT variables, 2903389 SAT clauses)
529.94/394.24	c (393,351) 3313031 (80 %) CSP clauses are encoded (0 SAT variables, 3317518 SAT clauses)
535.06/398.37	c (397,355) 3727160 (90 %) CSP clauses are encoded (0 SAT variables, 3731647 SAT clauses)
539.64/402.52	c (401,359) 4141288 (100 %) CSP clauses are encoded (0 SAT variables, 4145775 SAT clauses)
539.64/402.52	c (401,359) CSPinCNF to SatSolver End
539.64/402.52	c (401,359) Heap : 6754 MiB used (max 10814 MiB), NonHeap : 28 MiB used (max 0 MiB)
539.64/402.52	c (401,359) 372217 bool, 4145776 clause
539.64/402.52	c (401,359) Export Begin
539.84/402.63	c (402,359) Export to HOME/scop-14714-serial-file.bin
539.84/402.63	c (402,359) Export End
539.84/402.63	c (402,359) Export File Size: 0.04 MB
539.84/402.63	c (402,359) 0,0,310,334,360,360,401,STOP-AFTER(DIMACS)
539.84/402.63	c END-Prog: Thu Sep 12 16:37:33 CEST 2019
539.84/402.68	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-14714-serial-file.bin
540.48/403.15	c (0,0) Read Serial File Begin
540.48/403.15	c (0,0) HOME/scop-14714-serial-file.bin
540.75/403.39	c (0,0) Read Serial File End
540.93/403.40	
540.93/403.40	Fun-sCOP order+glueminisat-simp-2.2.10-193oa-n-release (2019-06-15)
540.93/403.40	(Solving Process)
540.93/403.40	
540.93/403.43	c BEGIN-Prog: Thu Sep 12 16:37:34 CEST 2019
540.93/403.43	c PID: 14762
540.93/403.43	c IP: 172.20.3.147
540.93/403.43	c HOST: node147.alineos.net
540.93/403.43	c (0,0) SatSolver.solve Begin
540.93/403.43	c (0,0) HOME/glueminisat-simp-2.2.10-193oa-n-release -model -verb=3 -elim-cl=5000000 -native-oa HOME/instance-4388364-1568298693.xml-scop-14717.cnf
540.93/403.47	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
540.93/403.47	c (0,0) c glueminisat-simp-2.2.10-193oa-n
540.93/403.47	c (0,0) c Command: HOME/glueminisat-simp-2.2.10-193oa-n-release -model -verb=3 -elim-cl=5000000 -native-oa HOME/instance-4388364-1568298693.xml-scop-14717.cnf 
540.93/403.47	c (0,0) c Options:
540.93/403.47	c (0,0) c CORE
540.93/403.47	c (0,0) c  var_decay             = 0.950
540.93/403.47	c (0,0) c  clause_decay          = 0.999
540.93/403.47	c (0,0) c  random_var_freq       = 0.000
540.93/403.47	c (0,0) c  random_seed           = 91648253.000
540.93/403.47	c (0,0) c  luby_restart          = 1
540.93/403.47	c (0,0) c  ccmin_mode            = 2
540.93/403.47	c (0,0) c  phase_saving          = 2
540.93/403.47	c (0,0) c  rnd_pol               = 0
540.93/403.47	c (0,0) c  rnd_init_act          = 0
540.93/403.47	c (0,0) c  garbage_frac          = 0.200
540.93/403.47	c (0,0) c  restart_first         = 1000
540.93/403.47	c (0,0) c  restart_inc           = 2.000
540.93/403.47	c (0,0) c MODEL
540.93/403.47	c (0,0) c  partial_model         = 0
540.93/403.47	c (0,0) c PROPAGATION
540.93/403.47	c (0,0) c  bin_propagation       = 1
540.93/403.47	c (0,0) c SIMPLIFICATION
540.93/403.47	c (0,0) c  lrn_min_size          = 100
540.93/403.47	c (0,0) c  lazy_simp             = 1
540.93/403.47	c (0,0) c  lazy_interval         = 10
540.93/403.47	c (0,0) c  lazy_fld_probing      = 1
540.93/403.47	c (0,0) c  lazy_pol_probing      = 1
540.93/403.47	c (0,0) c  lazy_nec_probing      = 1
540.93/403.47	c (0,0) c  lazy_eqv_probing      = 1
540.93/403.47	c (0,0) c  lazy_cla_probing      = 1
540.93/403.47	c (0,0) c  lazy_lrn_min          = 2
540.93/403.47	c (0,0) c  lazy_uw_lit_elim      = 1
540.93/403.47	c (0,0) c  lazy_pr_lit_elim      = 0
540.93/403.47	c (0,0) c  lazy_bin_add          = 3
540.93/403.47	c (0,0) c  probed_lit_chain      = 1
540.93/403.47	c (0,0) c  pr_min_lits           = 0.00020
540.93/403.47	c (0,0) c  pr_min_starts         = 500
540.93/403.47	c (0,0) c  rw_min_lits           = 0.010
540.93/403.47	c (0,0) c  rw_min_starts         = 500
540.93/403.47	c (0,0) c  rand_attach           = 0
540.93/403.47	c (0,0) c  dec_elim              = 1
540.93/403.47	c (0,0) c  dec_elim_lim          = 25
540.93/403.47	c (0,0) c  dec_elim_len          = -1
540.93/403.47	c (0,0) c  amo                   = 0
540.93/403.47	c (0,0) c  amo_grp               = 1
540.93/403.47	c (0,0) c  amo_max_bins          = 1000000
540.93/403.47	c (0,0) c  amo_starts            = 50
540.93/403.47	c (0,0) c  mace_cmd              = mace
540.93/403.47	c (0,0) c DECISION
540.93/403.47	c (0,0) c  rand_rebuild          = 0
540.93/403.47	c (0,0) c  rand_rebuild_confs    = 10000
540.93/403.47	c (0,0) c  inc_var_decay         = 1
540.93/403.47	c (0,0) c  inc_var_decay_period  = 100000
540.93/403.47	c (0,0) c  inc_var_decay_init    = 0.600
540.93/403.47	c (0,0) c  var_decay_mode        = 0
540.93/403.47	c (0,0) c  var_decay_gain        = 0
540.93/403.47	c (0,0) c  sloped_var_decay      = 1
540.93/403.47	c (0,0) c  max_var_decay         = 0.990
540.93/403.47	c (0,0) c  min_var_decay         = 0.950
540.93/403.47	c (0,0) c  min_var_decay_vars    = 10000
540.93/403.47	c (0,0) c  max_var_decay_vars    = 500
540.93/403.47	c (0,0) c  uip_bumping           = 1
540.93/403.47	c (0,0) c  lbd_act_bumping       = 1
540.93/403.47	c (0,0) c  rand_tiebreak         = 0
540.93/403.47	c (0,0) c  simp_rebuild          = 1
540.93/403.47	c (0,0) c RESTART
540.93/403.47	c (0,0) c  restart_strategy      = 2
540.93/403.47	c (0,0) c  restart_blocking      = 0
540.93/403.47	c (0,0) c  agility_decay         = 0.99990
540.93/403.47	c (0,0) c  lbd_restart_rate      = 0.800
540.93/403.47	c (0,0) c  dec_restart_rate      = 0.950
540.93/403.47	c (0,0) c  blk_restart_rate      = 0.700
540.93/403.47	c (0,0) c  lbd_queue_size        = 50
540.93/403.47	c (0,0) c  dec_queue_size        = 50
540.93/403.47	c (0,0) c  trl_queue_size        = 5000
540.93/403.47	c (0,0) c  blk_restart_weight    = 1.000
540.93/403.47	c (0,0) c  inc_rst_rate          = 0
540.93/403.47	c (0,0) c  inc_rst_rate_period   = 500000
540.93/403.47	c (0,0) c  inc_lbd_rst_rate_init = 0.600
540.93/403.47	c (0,0) c  inc_dec_rst_rate_init = 0.750
540.93/403.47	c (0,0) c REDUCTION
540.93/403.47	c (0,0) c  closed_lbd            = 0
540.93/403.47	c (0,0) c  closed_lbd_rate       = 0.500
540.93/403.47	c (0,0) c  rm_simulate           = 0
540.93/403.47	c (0,0) c  rdb_eval              = 2
540.93/403.47	c (0,0) c  rdb_call              = 3
540.93/403.47	c (0,0) c  rdb_ub                = 0.500
540.93/403.47	c (0,0) c  core_lbd_cvr          = 0.800
540.93/403.47	c (0,0) c  supp_lbd_cvr          = 0.990
540.93/403.47	c (0,0) c  core_lbd_lb           = 2
540.93/403.47	c (0,0) c  supp_lbd_lb           = 2
540.93/403.47	c (0,0) c  core_lbd_prd          = 7
540.93/403.47	c (0,0) c  supp_lbd_prd          = 1
540.93/403.47	c (0,0) c  othr_lbd_prd          = 0
540.93/403.47	c (0,0) c  inc_lrn_limit         = 1000
540.93/403.47	c (0,0) c  frozen_lbd            = 30
540.93/403.47	c (0,0) c  simp_min_starts       = 100
540.93/403.47	c (0,0) c  rm_low_act_learnts    = 1
540.93/403.47	c (0,0) c  lv0_reduce_db         = 0
540.93/403.47	c (0,0) c  reduce_db_base        = 20000
540.93/403.47	c (0,0) c  reduce_db_inc         = 1000
540.93/403.47	c (0,0) c HARD
540.93/403.47	c (0,0) c  inst_check            = 200000
540.93/403.47	c (0,0) c  small_block           = 1.750
540.93/403.47	c (0,0) c  slow_restart_speed    = 400.000
540.93/403.47	c (0,0) c  slow_restart_strategy = 3
540.93/403.47	c (0,0) c  slow_lbd_restart_rate = 0.700
540.93/403.47	c (0,0) c  slow_dec_restart_rate = 1.000
540.93/403.47	c (0,0) c  slow_lbd_queue_size   = 50
540.93/403.47	c (0,0) c  slow_var_decay        = 0.950
540.93/403.47	c (0,0) c  slow_glue_threshold   = 2
540.93/403.47	c (0,0) c  slow_phase_saving     = 2
540.93/403.47	c (0,0) c  fast_restart_speed    = 125.000
540.93/403.47	c (0,0) c  fast_restart_strategy = 1
540.93/403.47	c (0,0) c  fast_lbd_restart_rate = 0.800
540.93/403.47	c (0,0) c  fast_dec_restart_rate = 0.950
540.93/403.47	c (0,0) c  fast_lbd_queue_size   = 50
540.93/403.47	c (0,0) c  fast_var_decay        = 1.000
540.93/403.47	c (0,0) c  fast_glue_threshold   = 2
540.93/403.47	c (0,0) c  fast_phase_saving     = 2
540.93/403.47	c (0,0) c STATS
540.93/403.47	c (0,0) c  stats_conf_size       = 10000
540.93/403.47	c (0,0) c  max_stats_size        = 30
540.93/403.47	c (0,0) c SOLVER
540.93/403.47	c (0,0) c  minisat               = 0
542.73/405.07	c (1,0) c Problem: 372217 variables, 4145776 clauses, parsing 1.46 s
552.12/414.46	c (11,0) c  reduced to 345681 variables, 4052411 clauses (grow = 0)
552.32/414.67	c (11,0) c  exclude 36896 (10.7%) variables from decision variables (last cost 25)
552.73/415.07	c (11,0) c Simplification: 63432 vars, 93365 clauses are eliminated using 9.87 s
552.73/415.07	c (11,0) c
552.73/415.07	c (11,0) c        #Rstrts   #Confs   #Vars   #Clauses  #Learnts Lits/C LBD/C DLVs Trail
552.73/415.07	c (11,0) c
552.73/415.07	c (11,0) c   11         0         0   308785  4052411        0   -nan  -nan  -nan -nan%
552.92/415.29	c (12,0) c   11         1       100   308881  4052411      100   57.4   8.0 10278.9 24.5%
553.42/415.71	c (12,0) c   12         2       220   309053  4052411      220   76.4   8.8 7370.6 36.1%
553.62/415.90	c (12,0) c   12         2       364   309112  4052411      371   59.8   7.9 5228.3 48.7%
553.62/415.99	c (12,0) c   12         2       536   309169  4052411      546   67.6   7.8 3764.2 54.5%
553.84/416.14	c (13,0) c   12         3       743   309318  4052411      760   76.5   8.0 2892.3 50.6%
554.23/416.52	c (13,0) c   13         4       991   309453  4052411     1031   68.6   7.7 2289.4 49.2%
554.53/416.86	c (13,0) c   13         4      1289   309656  4052411     1355   70.2   7.1 1966.8 55.8%
554.93/417.22	c (14,0) c   13         4      1647   309751  4052411     1745   60.2   6.8 1702.3 56.6%
555.23/417.56	c (14,0) c   14         5      2076   310029  4052411     2225   60.1   6.6 1414.5 52.1%
555.63/418.00	c (14,0) c   14         7      2591   310323  4052411     2793   61.8   6.9 1236.9 52.0%
555.93/418.21	c (15,0) c   14         7      2769   310383  4052411     2984   60.8   6.9 1220.6 54.0%
555.93/418.22	c (15,0) c
555.93/418.22	c (15,0) c
555.93/418.22	c (15,0) c variables         : 310383      (init 372217, after simp 308785, 35298 non-decs, 187 csp)
555.93/418.22	c (15,0) c clauses           : 4052411     (init 4145776, after simp 4052411)
555.93/418.22	c (15,0) c restarts          : 6           (395.57 confs/res, 50~1187 confs, 0 blks, 0 last)
555.93/418.22	c (15,0) c conflicts         : 2769        (192 /sec, 62.37% dconfs, 0.00% supp, trail 322.69w x 1220.61h, jmp 24.21h)
555.93/418.22	c (15,0) c decisions         : 87652       (0.6000 vdcy, 6078 /sec, 0.00% bin, rs 0.006 s)
555.93/418.22	c (15,0) c propagations      : 11280228    (782161 /sec, 128.69 lits/dec, 0.76% o.a.)
555.93/418.22	c (15,0) c conflict literals : 243412      (25.31% deleted; 0.27% by bin min, 0.001 s)
555.93/418.22	c (15,0) c len               : 60.844      (65.41 for all, max 2271, used 2001)
555.93/418.22	c (15,0) c lbd               : 6.852       (8.01 (7.23) for all, max 112, used 69, 4.746 stdev, 8.164 blk)
555.93/418.22	c (15,0) c amo               : 0           (0 max, -nan avg, 0.000 s)
555.93/418.22	c (15,0) c simp dbs          : 1           (0.004 s)
555.93/418.22	c (15,0) c reduce dbs        : 0           (core-lbd 2, supp-lbd 2147483647, 0.000 s)
555.93/418.22	c (15,0) c learnts           : 2984        (0 learnts removed, 0.00%)
555.93/418.22	c (15,0) c rewrite dbs       : 0           (0/2 vars, 0+0 taut, 0+0 unit, 0.000 s)
555.93/418.22	c (15,0) c assigned lits     : 0           (0/0 probed, 0 remains)
555.93/418.22	c (15,0) c premise updates   : 0           (0.00 /lit)
555.93/418.22	c (15,0) c probed variables  : 0           (0 pr, 0 eq, 0 fld, 0 pol, 0 nec, 0 cla, 0 amo)
555.93/418.22	c (15,0) c equiv variables   : 2           (2 bin, 0 trn, 0 quat, 0 quin, 0 othr; 0 amo)
555.93/418.22	c (15,0) c lazy added bins   : 215         (215 prop + 0 conf, 0.017s)
555.93/418.22	c (15,0) c unwatched lit elim: 658         (0.00+0.22%, 130+528 of 14020923+243412)
555.93/418.22	c (15,0) c classified type   : undef
555.93/418.22	c (15,0) c progress          : 0.000 %
555.93/418.22	c (15,0) c
555.93/418.22	c (15,0) c [Statistics]
555.93/418.22	c (15,0) c             learnts len        learnts lbd        lit blk size       eq vars size
555.93/418.22	c (15,0) c  tot        2769               2769              22186                  2
555.93/418.22	c (15,0) c  avg      65.413              7.229              8.164              2.000
555.93/418.22	c (15,0) c   1            0 ( 0.0%)          6 ( 0.2%)      14300 (64.5%)          0 ( 0.0%)
555.93/418.22	c (15,0) c   2           73 ( 2.6%)        329 (11.9%)       2246 (10.1%)          2 (100.0%)
555.93/418.22	c (15,0) c   3          181 ( 6.5%)        414 (15.0%)        969 ( 4.4%)          0 ( 0.0%)
555.93/418.22	c (15,0) c   4          223 ( 8.1%)        317 (11.4%)        620 ( 2.8%)          0 ( 0.0%)
555.93/418.22	c (15,0) c   5          163 ( 5.9%)        265 ( 9.6%)        438 ( 2.0%)          0 ( 0.0%)
555.93/418.22	c (15,0) c   6          147 ( 5.3%)        275 ( 9.9%)        366 ( 1.6%)          0 ( 0.0%)
555.93/418.22	c (15,0) c   7          109 ( 3.9%)        235 ( 8.5%)        280 ( 1.3%)          0 ( 0.0%)
555.93/418.22	c (15,0) c   8           97 ( 3.5%)        159 ( 5.7%)        235 ( 1.1%)          0 ( 0.0%)
555.93/418.22	c (15,0) c   9           70 ( 2.5%)        146 ( 5.3%)        203 ( 0.9%)          0 ( 0.0%)
555.93/418.22	c (15,0) c  10           54 ( 2.0%)        129 ( 4.7%)        174 ( 0.8%)          0 ( 0.0%)
555.93/418.22	c (15,0) c  11           51 ( 1.8%)        104 ( 3.8%)        153 ( 0.7%)          0 ( 0.0%)
555.93/418.22	c (15,0) c  12           47 ( 1.7%)         57 ( 2.1%)        115 ( 0.5%)          0 ( 0.0%)
555.93/418.22	c (15,0) c  13           42 ( 1.5%)         59 ( 2.1%)        136 ( 0.6%)          0 ( 0.0%)
555.93/418.22	c (15,0) c  14           41 ( 1.5%)         60 ( 2.2%)         83 ( 0.4%)          0 ( 0.0%)
555.93/418.22	c (15,0) c  15           44 ( 1.6%)         31 ( 1.1%)         84 ( 0.4%)          0 ( 0.0%)
555.93/418.22	c (15,0) c  16           41 ( 1.5%)         28 ( 1.0%)        103 ( 0.5%)          0 ( 0.0%)
555.93/418.22	c (15,0) c  17           50 ( 1.8%)         23 ( 0.8%)         81 ( 0.4%)          0 ( 0.0%)
555.93/418.22	c (15,0) c  18           34 ( 1.2%)         28 ( 1.0%)         90 ( 0.4%)          0 ( 0.0%)
555.93/418.22	c (15,0) c  19           39 ( 1.4%)         15 ( 0.5%)         76 ( 0.3%)          0 ( 0.0%)
555.93/418.22	c (15,0) c  20           35 ( 1.3%)         10 ( 0.4%)         58 ( 0.3%)          0 ( 0.0%)
555.93/418.22	c (15,0) c  21           28 ( 1.0%)         12 ( 0.4%)         55 ( 0.2%)          0 ( 0.0%)
555.93/418.22	c (15,0) c  22           29 ( 1.0%)          5 ( 0.2%)         56 ( 0.3%)          0 ( 0.0%)
555.93/418.22	c (15,0) c  23           38 ( 1.4%)          6 ( 0.2%)         70 ( 0.3%)          0 ( 0.0%)
555.93/418.22	c (15,0) c  24           34 ( 1.2%)          8 ( 0.3%)         67 ( 0.3%)          0 ( 0.0%)
555.93/418.22	c (15,0) c  25           30 ( 1.1%)          5 ( 0.2%)         44 ( 0.2%)          0 ( 0.0%)
555.93/418.22	c (15,0) c  26           31 ( 1.1%)          6 ( 0.2%)         35 ( 0.2%)          0 ( 0.0%)
555.93/418.22	c (15,0) c  27           41 ( 1.5%)          5 ( 0.2%)         38 ( 0.2%)          0 ( 0.0%)
555.93/418.22	c (15,0) c  28           65 ( 2.3%)          1 ( 0.0%)         27 ( 0.1%)          0 ( 0.0%)
555.93/418.22	c (15,0) c  29           31 ( 1.1%)          4 ( 0.1%)         21 ( 0.1%)          0 ( 0.0%)
555.93/418.22	c (15,0) c  30          901 (32.5%)         27 ( 1.0%)        963 ( 4.3%)          0 ( 0.0%)
555.93/418.22	c (15,0) c
555.93/418.23	c (15,0) c [LBD Statistics]
555.93/418.23	c (15,0) c LBD          used lbd               used clause lbd         unused clause lbd
555.93/418.23	c (15,0) c  tot         2759                    1293                    1691
555.93/418.23	c (15,0) c  avg        5.647                   5.418                   7.948
555.93/418.23	c (15,0) c    1            4 ( 0.1/ 0.1%)          6 ( 0.5/ 0.5%)          0 ( 0.0/ 0.0%)
555.93/418.23	c (15,0) c    2          387 (14.0/14.2%)        392 (30.3/30.8%)        152 ( 9.0/ 9.0%)
555.93/418.23	c (15,0) c    3          675 (24.5/38.6%)        204 (15.8/46.6%)        210 (12.4/21.4%)
555.93/418.23	c (15,0) c    4          435 (15.8/54.4%)        139 (10.8/57.3%)        178 (10.5/31.9%)
555.93/418.23	c (15,0) c    5          318 (11.5/65.9%)        118 ( 9.1/66.4%)        147 ( 8.7/40.6%)
555.93/418.23	c (15,0) c    6          218 ( 7.9/73.8%)        100 ( 7.7/74.2%)        175 (10.3/51.0%)
555.93/418.23	c (15,0) c    7          156 ( 5.7/79.5%)         76 ( 5.9/80.0%)        159 ( 9.4/60.4%)
555.93/418.23	c (15,0) c    8          101 ( 3.7/83.1%)         42 ( 3.2/83.3%)        117 ( 6.9/67.3%)
555.93/418.23	c (15,0) c    9          113 ( 4.1/87.2%)         45 ( 3.5/86.8%)        101 ( 6.0/73.3%)
555.93/418.23	c (15,0) c   10           76 ( 2.8/90.0%)         46 ( 3.6/90.3%)         83 ( 4.9/78.2%)
555.93/418.23	c (15,0) c   11           68 ( 2.5/92.5%)         28 ( 2.2/92.5%)         76 ( 4.5/82.7%)
555.93/418.23	c (15,0) c   12           36 ( 1.3/93.8%)          6 ( 0.5/93.0%)         51 ( 3.0/85.7%)
555.93/418.23	c (15,0) c   13           26 ( 0.9/94.7%)         18 ( 1.4/94.4%)         41 ( 2.4/88.1%)
555.93/418.23	c (15,0) c   14           28 ( 1.0/95.7%)         21 ( 1.6/96.0%)         39 ( 2.3/90.4%)
555.93/418.23	c (15,0) c   15           21 ( 0.8/96.5%)          5 ( 0.4/96.4%)         26 ( 1.5/92.0%)
555.93/418.23	c (15,0) c   16           15 ( 0.5/97.0%)          7 ( 0.5/96.9%)         21 ( 1.2/93.2%)
555.93/418.23	c (15,0) c   17           14 ( 0.5/97.5%)          8 ( 0.6/97.5%)         15 ( 0.9/94.1%)
555.93/418.23	c (15,0) c   18           12 ( 0.4/98.0%)         10 ( 0.8/98.3%)         18 ( 1.1/95.2%)
555.93/418.23	c (15,0) c   19            8 ( 0.3/98.3%)          4 ( 0.3/98.6%)         11 ( 0.7/95.8%)
555.93/418.23	c (15,0) c   20            9 ( 0.3/98.6%)          1 ( 0.1/98.7%)          9 ( 0.5/96.3%)
555.93/418.23	c (15,0) c   21            3 ( 0.1/98.7%)          1 ( 0.1/98.8%)         11 ( 0.7/97.0%)
555.93/418.23	c (15,0) c   22            4 ( 0.1/98.8%)          1 ( 0.1/98.8%)          4 ( 0.2/97.2%)
555.93/418.23	c (15,0) c   23            1 ( 0.0/98.9%)          2 ( 0.2/99.0%)          4 ( 0.2/97.5%)
555.93/418.23	c (15,0) c   24            2 ( 0.1/98.9%)          1 ( 0.1/99.1%)          7 ( 0.4/97.9%)
555.93/418.23	c (15,0) c   25            1 ( 0.0/99.0%)          0 ( 0.0/99.1%)          5 ( 0.3/98.2%)
555.93/418.23	c (15,0) c   26            8 ( 0.3/99.3%)          0 ( 0.0/99.1%)          6 ( 0.4/98.5%)
555.93/418.23	c (15,0) c   27            1 ( 0.0/99.3%)          2 ( 0.2/99.2%)          3 ( 0.2/98.7%)
555.93/418.23	c (15,0) c   28            8 ( 0.3/99.6%)          0 ( 0.0/99.2%)          1 ( 0.1/98.8%)
555.93/418.23	c (15,0) c   29            1 ( 0.0/99.6%)          1 ( 0.1/99.3%)          3 ( 0.2/98.9%)
555.93/418.23	c (15,0) c   30            0 ( 0.0/99.6%)          0 ( 0.0/99.3%)          1 ( 0.1/99.0%)
555.93/418.23	c (15,0) c   31            0 ( 0.0/99.6%)          0 ( 0.0/99.3%)          1 ( 0.1/99.1%)
555.93/418.23	c (15,0) c   32            0 ( 0.0/99.6%)          0 ( 0.0/99.3%)          2 ( 0.1/99.2%)
555.93/418.23	c (15,0) c   33            1 ( 0.0/99.7%)          1 ( 0.1/99.4%)          3 ( 0.2/99.3%)
555.93/418.23	c (15,0) c   34            0 ( 0.0/99.7%)          0 ( 0.0/99.4%)          0 ( 0.0/99.3%)
555.93/418.23	c (15,0) c   35            1 ( 0.0/99.7%)          1 ( 0.1/99.5%)          0 ( 0.0/99.3%)
555.93/418.23	c (15,0) c   36            0 ( 0.0/99.7%)          0 ( 0.0/99.5%)          1 ( 0.1/99.4%)
555.93/418.23	c (15,0) c   37            0 ( 0.0/99.7%)          0 ( 0.0/99.5%)          1 ( 0.1/99.5%)
555.93/418.23	c (15,0) c   38            0 ( 0.0/99.7%)          0 ( 0.0/99.5%)          0 ( 0.0/99.5%)
555.93/418.23	c (15,0) c   39            0 ( 0.0/99.7%)          0 ( 0.0/99.5%)          1 ( 0.1/99.5%)
555.93/418.23	c (15,0) c   40            0 ( 0.0/99.7%)          0 ( 0.0/99.5%)          0 ( 0.0/99.5%)
555.93/418.23	c (15,0) c   41            0 ( 0.0/99.7%)          0 ( 0.0/99.5%)          0 ( 0.0/99.5%)
555.93/418.23	c (15,0) c   42            0 ( 0.0/99.7%)          0 ( 0.0/99.5%)          0 ( 0.0/99.5%)
555.93/418.23	c (15,0) c   43            0 ( 0.0/99.7%)          1 ( 0.1/99.5%)          1 ( 0.1/99.6%)
555.93/418.23	c (15,0) c   44            2 ( 0.1/99.8%)          2 ( 0.2/99.7%)          0 ( 0.0/99.6%)
555.93/418.23	c (15,0) c   45            1 ( 0.0/99.8%)          1 ( 0.1/99.8%)          1 ( 0.1/99.6%)
555.93/418.23	c (15,0) c   46            1 ( 0.0/99.9%)          0 ( 0.0/99.8%)          0 ( 0.0/99.6%)
555.93/418.23	c (15,0) c   47            1 ( 0.0/99.9%)          1 ( 0.1/99.8%)          0 ( 0.0/99.6%)
555.93/418.23	c (15,0) c   48            0 ( 0.0/99.9%)          0 ( 0.0/99.8%)          0 ( 0.0/99.6%)
555.93/418.23	c (15,0) c   49            1 ( 0.0/99.9%)          0 ( 0.0/99.8%)          0 ( 0.0/99.6%)
555.93/418.23	c (15,0) c   50            0 ( 0.0/99.9%)          0 ( 0.0/99.8%)          0 ( 0.0/99.6%)
555.93/418.23	c (15,0) c   51            0 ( 0.0/99.9%)          0 ( 0.0/99.8%)          0 ( 0.0/99.6%)
555.93/418.23	c (15,0) c   52            0 ( 0.0/99.9%)          0 ( 0.0/99.8%)          0 ( 0.0/99.6%)
555.93/418.23	c (15,0) c   53            0 ( 0.0/99.9%)          0 ( 0.0/99.8%)          0 ( 0.0/99.6%)
555.93/418.23	c (15,0) c   54            0 ( 0.0/99.9%)          0 ( 0.0/99.8%)          0 ( 0.0/99.6%)
555.93/418.23	c (15,0) c   55            0 ( 0.0/99.9%)          0 ( 0.0/99.8%)          0 ( 0.0/99.6%)
555.93/418.23	c (15,0) c   56            0 ( 0.0/99.9%)          0 ( 0.0/99.8%)          0 ( 0.0/99.6%)
555.93/418.23	c (15,0) c   57            0 ( 0.0/99.9%)          0 ( 0.0/99.8%)          0 ( 0.0/99.6%)
555.93/418.23	c (15,0) c   58            0 ( 0.0/99.9%)          0 ( 0.0/99.8%)          0 ( 0.0/99.6%)
555.93/418.23	c (15,0) c   59            0 ( 0.0/99.9%)          0 ( 0.0/99.8%)          0 ( 0.0/99.6%)
555.93/418.23	c (15,0) c   60            0 ( 0.0/99.9%)          0 ( 0.0/99.8%)          0 ( 0.0/99.6%)
555.93/418.23	c (15,0) c   61            0 ( 0.0/99.9%)          0 ( 0.0/99.8%)          0 ( 0.0/99.6%)
555.93/418.23	c (15,0) c   62            0 ( 0.0/99.9%)          0 ( 0.0/99.8%)          0 ( 0.0/99.6%)
555.93/418.23	c (15,0) c   63            0 ( 0.0/99.9%)          0 ( 0.0/99.8%)          0 ( 0.0/99.6%)
555.93/418.23	c (15,0) c   64            1 ( 0.0/100.0%)          1 ( 0.1/99.9%)          0 ( 0.0/99.6%)
555.93/418.23	c (15,0) c   65            0 ( 0.0/100.0%)          0 ( 0.0/99.9%)          0 ( 0.0/99.6%)
555.93/418.23	c (15,0) c   66            0 ( 0.0/100.0%)          0 ( 0.0/99.9%)          0 ( 0.0/99.6%)
555.93/418.23	c (15,0) c   67            0 ( 0.0/100.0%)          1 ( 0.1/100.0%)          1 ( 0.1/99.7%)
555.93/418.23	c (15,0) c   68            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.7%)
555.93/418.23	c (15,0) c   69            1 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.7%)
555.93/418.23	c (15,0) c   70            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.7%)
555.93/418.23	c (15,0) c   71            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.7%)
555.93/418.23	c (15,0) c   72            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.7%)
555.93/418.23	c (15,0) c   73            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          1 ( 0.1/99.8%)
555.93/418.23	c (15,0) c   74            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.8%)
555.93/418.23	c (15,0) c   75            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.8%)
555.93/418.23	c (15,0) c   76            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.8%)
555.93/418.23	c (15,0) c   77            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.8%)
555.93/418.23	c (15,0) c   78            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.8%)
555.93/418.23	c (15,0) c   79            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.8%)
555.93/418.23	c (15,0) c   80            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          1 ( 0.1/99.8%)
555.93/418.23	c (15,0) c   81            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.8%)
555.93/418.23	c (15,0) c   82            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.8%)
555.93/418.23	c (15,0) c   83            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.8%)
555.93/418.23	c (15,0) c   84            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          1 ( 0.1/99.9%)
555.93/418.23	c (15,0) c   85            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.9%)
555.93/418.23	c (15,0) c   86            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.9%)
555.93/418.23	c (15,0) c   87            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.9%)
555.93/418.23	c (15,0) c   88            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.9%)
555.93/418.23	c (15,0) c   89            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.9%)
555.93/418.23	c (15,0) c   90            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.9%)
555.93/418.23	c (15,0) c   91            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.9%)
555.93/418.23	c (15,0) c   92            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.9%)
555.93/418.23	c (15,0) c   93            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.9%)
555.93/418.23	c (15,0) c   94            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.9%)
555.93/418.23	c (15,0) c   95            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.9%)
555.93/418.23	c (15,0) c   96            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.9%)
555.93/418.23	c (15,0) c   97            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.9%)
555.93/418.23	c (15,0) c   98            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.9%)
555.93/418.23	c (15,0) c   99            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.9%)
555.93/418.23	c (15,0) c  100            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.9%)
555.93/418.23	c (15,0) c  101            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.9%)
555.93/418.23	c (15,0) c  102            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.9%)
555.93/418.23	c (15,0) c  103            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.9%)
555.93/418.23	c (15,0) c  104            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          1 ( 0.1/99.9%)
555.93/418.23	c (15,0) c  105            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.9%)
555.93/418.23	c (15,0) c  106            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.9%)
555.93/418.23	c (15,0) c  107            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.9%)
555.93/418.23	c (15,0) c  108            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.9%)
555.93/418.23	c (15,0) c  109            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.9%)
555.93/418.23	c (15,0) c  110            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.9%)
555.93/418.23	c (15,0) c  111            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.9%)
555.93/418.23	c (15,0) c  112            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          1 ( 0.1/100.0%)
555.93/418.23	c (15,0) c
555.93/418.23	c (15,0) c Memory used       : 546.00 MB
555.93/418.23	c (15,0) c CPU time          : 14.422 s
555.93/418.23	c (15,0) c Real time         : 14.768 s
555.93/418.23	c (15,0) c
555.93/418.23	c (15,0) s SATISFIABLE
556.34/418.47	c (15,0) SatSolver.solve End
556.34/418.47	c (15,0) Heap : 189 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
556.34/418.47	c (15,0) Show results Begin
556.77/418.60	c (15,0) x[0][0] = 3
556.77/418.60	c (15,0) x[0][1] = 20
556.77/418.60	c (15,0) x[0][2] = 1
556.77/418.60	c (15,0) x[0][3] = 7
556.77/418.60	c (15,0) x[0][5] = 19
556.77/418.60	c (15,0) x[0][6] = 0
556.77/418.60	c (15,0) x[0][7] = 13
556.77/418.60	c (15,0) x[0][8] = 6
556.77/418.60	c (15,0) x[0][9] = 0
556.77/418.60	c (15,0) x[0][11] = 9
556.77/418.60	c (15,0) x[0][12] = 0
556.77/418.60	c (15,0) x[0][13] = 18
556.77/418.60	c (15,0) x[0][14] = 18
556.77/418.60	c (15,0) x[1][0] = 8
556.77/418.60	c (15,0) x[1][1] = 11
556.77/418.60	c (15,0) x[1][2] = 24
556.77/418.60	c (15,0) x[1][3] = 0
556.77/418.60	c (15,0) x[1][5] = 21
556.77/418.60	c (15,0) x[1][6] = 8
556.77/418.60	c (15,0) x[1][7] = 1
556.77/418.60	c (15,0) x[1][8] = 14
556.77/418.60	c (15,0) x[1][9] = 17
556.77/418.60	c (15,0) x[1][11] = 20
556.77/418.60	c (15,0) x[1][12] = 13
556.77/418.60	c (15,0) x[1][13] = 0
556.77/418.60	c (15,0) x[1][14] = 2
556.77/418.60	c (15,0) x[2][0] = 0
556.77/418.60	c (15,0) x[2][1] = 12
556.77/418.60	c (15,0) x[2][2] = 4
556.77/418.60	c (15,0) x[2][3] = 17
556.77/418.60	c (15,0) x[2][5] = 4
556.77/418.60	c (15,0) x[2][6] = 11
556.77/418.60	c (15,0) x[2][7] = 0
556.77/418.60	c (15,0) x[2][8] = 1
556.77/418.60	c (15,0) x[2][9] = 3
556.77/418.60	c (15,0) x[2][11] = 12
556.77/418.60	c (15,0) x[2][12] = 4
556.77/418.60	c (15,0) x[2][13] = 3
556.77/418.60	c (15,0) x[2][14] = 4
556.77/418.60	c (15,0) x[3][0] = 12
556.77/418.60	c (15,0) x[3][1] = 0
556.77/418.60	c (15,0) x[3][2] = 17
556.77/418.60	c (15,0) x[3][3] = 2
556.77/418.60	c (15,0) x[3][4] = 4
556.77/418.60	c (15,0) x[3][5] = 11
556.77/418.60	c (15,0) x[3][6] = 18
556.77/418.60	c (15,0) x[3][8] = 0
556.77/418.60	c (15,0) x[3][9] = 20
556.77/418.60	c (15,0) x[3][10] = 17
556.77/418.60	c (15,0) x[3][11] = 4
556.77/418.60	c (15,0) x[3][12] = 11
556.77/418.60	c (15,0) x[3][13] = 0
556.77/418.60	c (15,0) x[3][14] = 24
556.77/418.60	c (15,0) x[4][3] = 4
556.77/418.60	c (15,0) x[4][4] = 3
556.77/418.60	c (15,0) x[4][5] = 19
556.77/418.60	c (15,0) x[4][7] = 5
556.77/418.60	c (15,0) x[4][8] = 17
556.77/418.60	c (15,0) x[4][9] = 4
556.77/418.60	c (15,0) x[4][10] = 14
556.77/418.60	c (15,0) x[4][11] = 13
556.77/418.60	c (15,0) x[5][0] = 14
556.77/418.60	c (15,0) x[5][1] = 5
556.77/418.60	c (15,0) x[5][2] = 4
556.77/418.60	c (15,0) x[5][3] = 11
556.77/418.60	c (15,0) x[5][4] = 3
556.77/418.60	c (15,0) x[5][6] = 0
556.77/418.60	c (15,0) x[5][7] = 11
556.77/418.60	c (15,0) x[5][8] = 3
556.77/418.60	c (15,0) x[5][10] = 20
556.77/418.60	c (15,0) x[5][11] = 19
556.77/418.60	c (15,0) x[5][12] = 0
556.77/418.60	c (15,0) x[5][13] = 11
556.77/418.60	c (15,0) x[5][14] = 0
556.77/418.60	c (15,0) x[6][0] = 17
556.77/418.60	c (15,0) x[6][1] = 8
556.77/418.60	c (15,0) x[6][2] = 11
556.77/418.60	c (15,0) x[6][3] = 0
556.77/418.60	c (15,0) x[6][5] = 10
556.77/418.60	c (15,0) x[6][6] = 3
556.77/418.60	c (15,0) x[6][7] = 14
556.77/418.60	c (15,0) x[6][9] = 14
556.77/418.60	c (15,0) x[6][10] = 17
556.77/418.60	c (15,0) x[6][11] = 4
556.77/418.60	c (15,0) x[6][12] = 18
556.77/418.60	c (15,0) x[6][13] = 7
556.77/418.60	c (15,0) x[6][14] = 10
556.77/418.60	c (15,0) x[7][0] = 18
556.77/418.60	c (15,0) x[7][1] = 11
556.77/418.60	c (15,0) x[7][2] = 0
556.77/418.60	c (15,0) x[7][4] = 24
556.77/418.60	c (15,0) x[7][5] = 0
556.77/418.60	c (15,0) x[7][6] = 13
556.77/418.60	c (15,0) x[7][7] = 3
556.77/418.60	c (15,0) x[7][8] = 8
556.77/418.60	c (15,0) x[7][9] = 13
556.77/418.60	c (15,0) x[7][10] = 0
556.77/418.60	c (15,0) x[7][12] = 18
556.77/418.60	c (15,0) x[7][13] = 20
556.77/418.60	c (15,0) x[7][14] = 4
556.77/418.60	c (15,0) x[8][0] = 0
556.77/418.60	c (15,0) x[8][1] = 12
556.77/418.60	c (15,0) x[8][2] = 1
556.77/418.60	c (15,0) x[8][3] = 8
556.77/418.60	c (15,0) x[8][4] = 6
556.77/418.60	c (15,0) x[8][5] = 20
556.77/418.60	c (15,0) x[8][7] = 3
556.77/418.60	c (15,0) x[8][8] = 14
556.77/418.60	c (15,0) x[8][9] = 6
556.77/418.60	c (15,0) x[8][11] = 11
556.77/418.60	c (15,0) x[8][12] = 0
556.77/418.60	c (15,0) x[8][13] = 8
556.77/418.60	c (15,0) x[8][14] = 17
556.77/418.60	c (15,0) x[9][0] = 24
556.77/418.60	c (15,0) x[9][1] = 4
556.77/418.60	c (15,0) x[9][2] = 1
556.77/418.60	c (15,0) x[9][3] = 13
556.77/418.60	c (15,0) x[9][4] = 0
556.77/418.60	c (15,0) x[9][6] = 12
556.77/418.60	c (15,0) x[9][7] = 0
556.77/418.60	c (15,0) x[9][8] = 13
556.77/418.60	c (15,0) x[9][10] = 18
556.77/418.60	c (15,0) x[9][11] = 0
556.77/418.60	c (15,0) x[9][12] = 8
556.77/418.60	c (15,0) x[9][13] = 18
556.77/418.60	c (15,0) x[9][14] = 8
556.77/418.60	c (15,0) x[10][3] = 4
556.77/418.60	c (15,0) x[10][4] = 17
556.77/418.60	c (15,0) x[10][5] = 17
556.77/418.60	c (15,0) x[10][6] = 4
556.77/418.60	c (15,0) x[10][7] = 24
556.77/418.60	c (15,0) x[10][9] = 15
556.77/418.60	c (15,0) x[10][10] = 13
556.77/418.60	c (15,0) x[10][11] = 1
556.77/418.60	c (15,0) x[11][0] = 14
556.77/418.60	c (15,0) x[11][1] = 17
556.77/418.60	c (15,0) x[11][2] = 8
556.77/418.60	c (15,0) x[11][3] = 6
556.77/418.60	c (15,0) x[11][4] = 13
556.77/418.60	c (15,0) x[11][5] = 0
556.77/418.60	c (15,0) x[11][6] = 11
556.77/418.60	c (15,0) x[11][8] = 19
556.77/418.60	c (15,0) x[11][9] = 0
556.77/418.60	c (15,0) x[11][10] = 2
556.77/418.60	c (15,0) x[11][11] = 14
556.77/418.60	c (15,0) x[11][12] = 24
556.77/418.60	c (15,0) x[11][13] = 14
556.77/418.60	c (15,0) x[11][14] = 11
556.77/418.60	c (15,0) x[12][0] = 18
556.77/418.60	c (15,0) x[12][1] = 0
556.77/418.60	c (15,0) x[12][2] = 17
556.77/418.60	c (15,0) x[12][3] = 0
556.77/418.60	c (15,0) x[12][5] = 3
556.77/418.60	c (15,0) x[12][6] = 4
556.77/418.60	c (15,0) x[12][7] = 13
556.77/418.60	c (15,0) x[12][8] = 14
556.77/418.60	c (15,0) x[12][9] = 11
556.77/418.60	c (15,0) x[12][11] = 12
556.77/418.60	c (15,0) x[12][12] = 4
556.77/418.60	c (15,0) x[12][13] = 17
556.77/418.60	c (15,0) x[12][14] = 20
556.77/418.60	c (15,0) x[13][0] = 0
556.77/418.60	c (15,0) x[13][1] = 13
556.77/418.60	c (15,0) x[13][2] = 0
556.77/418.60	c (15,0) x[13][3] = 11
556.77/418.60	c (15,0) x[13][5] = 14
556.77/418.60	c (15,0) x[13][6] = 17
556.77/418.60	c (15,0) x[13][7] = 14
556.77/418.60	c (15,0) x[13][8] = 12
556.77/418.60	c (15,0) x[13][9] = 14
556.77/418.60	c (15,0) x[13][11] = 1
556.77/418.60	c (15,0) x[13][12] = 0
556.77/418.60	c (15,0) x[13][13] = 11
556.77/418.60	c (15,0) x[13][14] = 8
556.77/418.60	c (15,0) x[14][0] = 18
556.77/418.60	c (15,0) x[14][1] = 8
556.77/418.60	c (15,0) x[14][2] = 18
556.77/418.60	c (15,0) x[14][3] = 4
556.77/418.60	c (15,0) x[14][5] = 13
556.77/418.60	c (15,0) x[14][6] = 14
556.77/418.60	c (15,0) x[14][7] = 19
556.77/418.60	c (15,0) x[14][8] = 0
556.77/418.60	c (15,0) x[14][9] = 23
556.77/418.60	c (15,0) x[14][11] = 0
556.77/418.60	c (15,0) x[14][12] = 7
556.77/418.60	c (15,0) x[14][13] = 20
556.77/418.60	c (15,0) x[14][14] = 13
556.77/418.60	s SATISFIABLE
556.77/418.61	v <instantiation>
556.77/418.61	v     <list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][11] x[0][12] x[0][13] x[0][14] x[1][0] x[1][1] x[1][2] x[1][3] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][11] x[1][12] x[1][13] x[1][14] x[2][0] x[2][1] x[2][2] x[2][3] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][11] x[2][12] x[2][13] x[2][14] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[4][3] x[4][4] x[4][5] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][6] x[5][7] x[5][8] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[6][0] x[6][1] x[6][2] x[6][3] x[6][5] x[6][6] x[6][7] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[7][0] x[7][1] x[7][2] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][12] x[7][13] x[7][14] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][7] x[8][8] x[8][9] x[8][11] x[8][12] x[8][13] x[8][14] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][6] x[9][7] x[9][8] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][9] x[10][10] x[10][11] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][8] x[11][9] x[11][10] x[11][11] x[11][12] x[11][13] x[11][14] x[12][0] x[12][1] x[12][2] x[12][3] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[12][11] x[12][12] x[12][13] x[12][14] x[13][0] x[13][1] x[13][2] x[13][3] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[13][11] x[13][12] x[13][13] x[13][14] x[14][0] x[14][1] x[14][2] x[14][3] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[14][11] x[14][12] x[14][13] x[14][14]</list>
556.77/418.61	v     <values>3 20 1 7 19 0 13 6 0 9 0 18 18 8 11 24 0 21 8 1 14 17 20 13 0 2 0 12 4 17 4 11 0 1 3 12 4 3 4 12 0 17 2 4 11 18 0 20 17 4 11 0 24 4 3 19 5 17 4 14 13 14 5 4 11 3 0 11 3 20 19 0 11 0 17 8 11 0 10 3 14 14 17 4 18 7 10 18 11 0 24 0 13 3 8 13 0 18 20 4 0 12 1 8 6 20 3 14 6 11 0 8 17 24 4 1 13 0 12 0 13 18 0 8 18 8 4 17 17 4 24 15 13 1 14 17 8 6 13 0 11 19 0 2 14 24 14 11 18 0 17 0 3 4 13 14 11 12 4 17 20 0 13 0 11 14 17 14 12 14 1 0 11 8 18 8 18 4 13 14 19 0 23 0 7 20 13</values>
556.77/418.61	v </instantiation>
556.77/418.61	c (15,0) Show results End
556.77/418.61	c (15,0) Heap : 210 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB)
556.77/418.61	c (15,0) 15,15,STOP-AFTER(ALL)
556.77/418.61	c END-Prog: Thu Sep 12 16:37:49 CEST 2019

Verifier Data 

OK

Watcher Data 

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 (11535 MiB free)
  memory of node 1: 16384 MiB (14058 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4388364-1568298693/watcher-4388364-1568298693 -o /tmp/evaluation-result-4388364-1568298693/solver-4388364-1568298693 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node147-1568286038-9751 --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-4388364-1568298693.xml 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=14714, runsolver pid=14711
Current StackSize limit: 8192 KiB


[startup+0.100065 s]*
/proc/loadavg: 2.00 2.02 2.07 4/234 14731
/proc/meminfo: memFree=26150320/32770624 swapFree=66957008/67108860
[pid=14714] ppid=14711 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/14714/stat : 14714 (scop.sh) S 14711 14714 8853 0 -1 4202496 556 322 0 0 0 0 0 0 20 0 1 0 405783176 115843072 349 33554432000 4194304 5098028 140726549039120 140726549036376 139731295494780 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 16715776 140726549046056 140726549046384 140726549046384 140726549049293 0
/proc/14714/statm: 28282 349 296 221 0 87 0
[pid=14717] ppid=14714 vsize=15012696 memory=71996 CPUtime=0.11 cores=0,2,4,6
/proc/14717/stat : 14717 (java) S 14714 14714 8853 0 -1 1077944320 6770 0 0 0 9 2 0 0 20 0 15 0 405783176 15373000704 17999 33554432000 4194304 4196468 140736419835408 140736419817952 140638765604599 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 6660096 140736419840750 140736419841178 140736419841178 140736419844047 0
/proc/14717/statm: 3753174 17999 2911 1 0 3715579 0
[pid=14717/tid=14718] ppid=14714 vsize=15012696 memory=-6365412307231883203 CPUtime=0.08 cores=0,2,4,6
/proc/14717/task/14718/stat : 14718 (java) R 14714 14714 8853 0 -1 4202560 4656 0 0 0 7 1 0 0 20 0 15 0 405783176 15373000704 18064 33554432000 4194304 4196468 140736419835408 140638737416584 140638745881424 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6660096 140736419840750 140736419841178 140736419841178 140736419844047 0
[pid=14717/tid=14719] ppid=14714 vsize=15012696 memory=8303054830060986464 CPUtime=0 cores=0,2,4,6
/proc/14717/task/14719/stat : 14719 (java) S 14714 14714 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405783178 15373000704 18064 33554432000 4194304 4196468 140736419835408 140638769846800 140638765614805 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6660096 140736419840750 140736419841178 140736419841178 140736419844047 0
[pid=14717/tid=14720] ppid=14714 vsize=15012696 memory=139646639216256 CPUtime=0 cores=0,2,4,6
/proc/14717/task/14720/stat : 14720 (java) S 14714 14714 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405783178 15373000704 18064 33554432000 4194304 4196468 140736419835408 140638584003216 140638765614805 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6660096 140736419840750 140736419841178 140736419841178 140736419844047 0
[pid=14717/tid=14721] ppid=14714 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14717/task/14721/stat : 14721 (java) S 14714 14714 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405783178 15373000704 18064 33554432000 4194304 4196468 140736419835408 140638582950160 140638765614805 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6660096 140736419840750 140736419841178 140736419841178 140736419844047 0
[pid=14717/tid=14722] ppid=14714 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14717/task/14722/stat : 14722 (java) S 14714 14714 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405783178 15373000704 18064 33554432000 4194304 4196468 140736419835408 140638581897616 140638765614805 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6660096 140736419840750 140736419841178 140736419841178 140736419844047 0
[pid=14717/tid=14723] ppid=14714 vsize=15012696 memory=139646639216256 CPUtime=0 cores=0,2,4,6
/proc/14717/task/14723/stat : 14723 (java) S 14714 14714 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405783179 15373000704 18130 33554432000 4194304 4196468 140736419835408 140638172379888 140638765615746 0 0 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6660096 140736419840750 140736419841178 140736419841178 140736419844047 0
[pid=14717/tid=14724] ppid=14714 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14717/task/14724/stat : 14724 (java) S 14714 14714 8853 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405783180 15373000704 18130 33554432000 4194304 4196468 140736419835408 140637328369312 140638765614805 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6660096 140736419840750 140736419841178 140736419841178 140736419844047 0
[pid=14717/tid=14725] ppid=14714 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14717/task/14725/stat : 14725 (java) S 14714 14714 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405783180 15373000704 18130 33554432000 4194304 4196468 140736419835408 140637093487856 140638765614805 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6660096 140736419840750 140736419841178 140736419841178 140736419844047 0
[pid=14717/tid=14726] ppid=14714 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14717/task/14726/stat : 14726 (java) S 14714 14714 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405783182 15373000704 18130 33554432000 4194304 4196468 140736419835408 140636718979536 140638765623195 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6660096 140736419840750 140736419841178 140736419841178 140736419844047 0
[pid=14717/tid=14727] ppid=14714 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14717/task/14727/stat : 14727 (java) S 14714 14714 8853 0 -1 1077944384 429 0 0 0 0 0 0 0 20 0 15 0 405783182 15373000704 18130 33554432000 4194304 4196468 140736419835408 140638171326704 140638765615746 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6660096 140736419840750 140736419841178 140736419841178 140736419844047 0
[pid=14717/tid=14728] ppid=14714 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14717/task/14728/stat : 14728 (java) S 14714 14714 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405783182 15373000704 18130 33554432000 4194304 4196468 140736419835408 140638170274160 140638765615746 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6660096 140736419840750 140736419841178 140736419841178 140736419844047 0
[pid=14717/tid=14729] ppid=14714 vsize=15012696 memory=139646639216256 CPUtime=0.01 cores=0,2,4,6
/proc/14717/task/14729/stat : 14729 (java) R 14714 14714 8853 0 -1 4202560 422 0 0 0 1 0 0 0 20 0 15 0 405783182 15373000704 18130 33554432000 4194304 4196468 140736419835408 140638169217864 140638744564831 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6660096 140736419840750 140736419841178 140736419841178 140736419844047 0
[pid=14717/tid=14730] ppid=14714 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14717/task/14730/stat : 14730 (java) S 14714 14714 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405783183 15373000704 18130 33554432000 4194304 4196468 140736419835408 140636221073760 140638765614805 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6660096 140736419840750 140736419841178 140736419841178 140736419844047 0
[pid=14717/tid=14731] ppid=14714 vsize=15012696 memory=139646639216256 CPUtime=0 cores=0,2,4,6
/proc/14717/task/14731/stat : 14731 (java) S 14714 14714 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405783183 15373000704 18130 33554432000 4194304 4196468 140736419835408 140638100122672 140638765615746 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6660096 140736419840750 140736419841178 140736419841178 140736419844047 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 73392 KiB

[startup+0.210763 s]*
/proc/loadavg: 2.00 2.02 2.07 3/234 14731
/proc/meminfo: memFree=26131564/32770624 swapFree=66957008/67108860
[pid=14714] ppid=14711 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/14714/stat : 14714 (scop.sh) S 14711 14714 8853 0 -1 4202496 556 322 0 0 0 0 0 0 20 0 1 0 405783176 115843072 349 33554432000 4194304 5098028 140726549039120 140726549036376 139731295494780 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 16715776 140726549046056 140726549046384 140726549046384 140726549049293 0
/proc/14714/statm: 28282 349 296 221 0 87 0
[pid=14717] ppid=14714 vsize=15012696 memory=87652 CPUtime=0.25 cores=0,2,4,6
/proc/14717/stat : 14717 (java) S 14714 14714 8853 0 -1 1077944320 12032 0 0 0 21 4 0 0 20 0 15 0 405783176 15373000704 21913 33554432000 4194304 4196468 140736419835408 140736419817952 140638765604599 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 6660096 140736419840750 140736419841178 140736419841178 140736419844047 0
/proc/14717/statm: 3753174 21913 2922 1 0 3715579 0
[pid=14717/tid=14718] ppid=14714 vsize=15012696 memory=7022364632946311227 CPUtime=0.2 cores=0,2,4,6
/proc/14717/task/14718/stat : 14718 (java) R 14714 14714 8853 0 -1 4202560 9778 0 0 0 17 3 0 0 20 0 15 0 405783176 15373000704 21913 33554432000 4194304 4196468 140736419835408 140638737418032 140638749685086 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6660096 140736419840750 140736419841178 140736419841178 140736419844047 0
[pid=14717/tid=14719] ppid=14714 vsize=15012696 memory=364 CPUtime=0 cores=0,2,4,6
/proc/14717/task/14719/stat : 14719 (java) S 14714 14714 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405783178 15373000704 21913 33554432000 4194304 4196468 140736419835408 140638769846800 140638765614805 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6660096 140736419840750 140736419841178 140736419841178 140736419844047 0
[pid=14717/tid=14720] ppid=14714 vsize=15012696 memory=288370022790928000 CPUtime=0 cores=0,2,4,6
/proc/14717/task/14720/stat : 14720 (java) S 14714 14714 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405783178 15373000704 21913 33554432000 4194304 4196468 140736419835408 140638584003216 140638765614805 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6660096 140736419840750 140736419841178 140736419841178 140736419844047 0
[pid=14717/tid=14721] ppid=14714 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14717/task/14721/stat : 14721 (java) S 14714 14714 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405783178 15373000704 21913 33554432000 4194304 4196468 140736419835408 140638582950160 140638765614805 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6660096 140736419840750 140736419841178 140736419841178 140736419844047 0
[pid=14717/tid=14722] ppid=14714 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14717/task/14722/stat : 14722 (java) S 14714 14714 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405783178 15373000704 21913 33554432000 4194304 4196468 140736419835408 140638581897616 140638765614805 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6660096 140736419840750 140736419841178 140736419841178 140736419844047 0
[pid=14717/tid=14723] ppid=14714 vsize=15012696 memory=139646639216256 CPUtime=0 cores=0,2,4,6
/proc/14717/task/14723/stat : 14723 (java) S 14714 14714 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405783179 15373000704 21913 33554432000 4194304 4196468 140736419835408 140638172379888 140638765615746 0 0 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6660096 140736419840750 140736419841178 140736419841178 140736419844047 0
[pid=14717/tid=14724] ppid=14714 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14717/task/14724/stat : 14724 (java) S 14714 14714 8853 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405783180 15373000704 21913 33554432000 4194304 4196468 140736419835408 140637328369312 140638765614805 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6660096 140736419840750 140736419841178 140736419841178 140736419844047 0
[pid=14717/tid=14725] ppid=14714 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14717/task/14725/stat : 14725 (java) S 14714 14714 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405783180 15373000704 21913 33554432000 4194304 4196468 140736419835408 140637093487856 140638765614805 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6660096 140736419840750 140736419841178 140736419841178 140736419844047 0
[pid=14717/tid=14726] ppid=14714 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14717/task/14726/stat : 14726 (java) S 14714 14714 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405783182 15373000704 21913 33554432000 4194304 4196468 140736419835408 140636718979536 140638765623195 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6660096 140736419840750 140736419841178 140736419841178 140736419844047 0
[pid=14717/tid=14727] ppid=14714 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14717/task/14727/stat : 14727 (java) S 14714 14714 8853 0 -1 1077944384 439 0 0 0 0 0 0 0 20 0 15 0 405783182 15373000704 21913 33554432000 4194304 4196468 140736419835408 140638171326704 140638765615746 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6660096 140736419840750 140736419841178 140736419841178 140736419844047 0
[pid=14717/tid=14728] ppid=14714 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14717/task/14728/stat : 14728 (java) S 14714 14714 8853 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 405783182 15373000704 21913 33554432000 4194304 4196468 140736419835408 140638170274160 140638765615746 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6660096 140736419840750 140736419841178 140736419841178 140736419844047 0
[pid=14717/tid=14729] ppid=14714 vsize=15012696 memory=139646639216256 CPUtime=0.02 cores=0,2,4,6
/proc/14717/task/14729/stat : 14729 (java) S 14714 14714 8853 0 -1 1077944384 441 0 0 0 2 0 0 0 20 0 15 0 405783182 15373000704 21913 33554432000 4194304 4196468 140736419835408 140638169221104 140638765615746 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6660096 140736419840750 140736419841178 140736419841178 140736419844047 0
[pid=14717/tid=14730] ppid=14714 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14717/task/14730/stat : 14730 (java) S 14714 14714 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405783183 15373000704 21913 33554432000 4194304 4196468 140736419835408 140636221073760 140638765614805 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6660096 140736419840750 140736419841178 140736419841178 140736419844047 0
[pid=14717/tid=14731] ppid=14714 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14717/task/14731/stat : 14731 (java) S 14714 14714 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405783183 15373000704 21913 33554432000 4194304 4196468 140736419835408 140638100122672 140638765615746 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6660096 140736419840750 140736419841178 140736419841178 140736419844047 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 89048 KiB

[startup+0.310533 s]*
/proc/loadavg: 2.00 2.02 2.07 3/234 14731
/proc/meminfo: memFree=26127532/32770624 swapFree=66957008/67108860
[pid=14714] ppid=14711 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/14714/stat : 14714 (scop.sh) S 14711 14714 8853 0 -1 4202496 556 322 0 0 0 0 0 0 20 0 1 0 405783176 115843072 349 33554432000 4194304 5098028 140726549039120 140726549036376 139731295494780 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 16715776 140726549046056 140726549046384 140726549046384 140726549049293 0
/proc/14714/statm: 28282 349 296 221 0 87 0
[pid=14717] ppid=14714 vsize=15012696 memory=92200 CPUtime=0.43 cores=0,2,4,6
/proc/14717/stat : 14717 (java) S 14714 14714 8853 0 -1 1077944320 13046 0 0 0 38 5 0 0 20 0 15 0 405783176 15373000704 23050 33554432000 4194304 4196468 140736419835408 140736419817952 140638765604599 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 6660096 140736419840750 140736419841178 140736419841178 140736419844047 0
/proc/14717/statm: 3753174 23050 3066 1 0 3715579 0
[pid=14717/tid=14718] ppid=14714 vsize=15012696 memory=6791534058613427641 CPUtime=0.3 cores=0,2,4,6
/proc/14717/task/14718/stat : 14718 (java) R 14714 14714 8853 0 -1 4202560 10597 0 0 0 26 4 0 0 20 0 15 0 405783176 15373000704 23050 33554432000 4194304 4196468 140736419835408 140638737387616 140638750770238 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6660096 140736419840750 140736419841178 140736419841178 140736419844047 0
[pid=14717/tid=14719] ppid=14714 vsize=15012696 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/14717/task/14719/stat : 14719 (java) S 14714 14714 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405783178 15373000704 23050 33554432000 4194304 4196468 140736419835408 140638769846800 140638765614805 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6660096 140736419840750 140736419841178 140736419841178 140736419844047 0
[pid=14717/tid=14720] ppid=14714 vsize=15012696 memory=-5587046532246807594 CPUtime=0 cores=0,2,4,6
/proc/14717/task/14720/stat : 14720 (java) S 14714 14714 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405783178 15373000704 23050 33554432000 4194304 4196468 140736419835408 140638584003216 140638765614805 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6660096 140736419840750 140736419841178 140736419841178 140736419844047 0
[pid=14717/tid=14721] ppid=14714 vsize=15012696 memory=7379517702019849078 CPUtime=0 cores=0,2,4,6
/proc/14717/task/14721/stat : 14721 (java) S 14714 14714 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405783178 15373000704 23050 33554432000 4194304 4196468 140736419835408 140638582950160 140638765614805 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6660096 140736419840750 140736419841178 140736419841178 140736419844047 0
[pid=14717/tid=14722] ppid=14714 vsize=15012696 memory=7016714186490735262 CPUtime=0 cores=0,2,4,6
/proc/14717/task/14722/stat : 14722 (java) S 14714 14714 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405783178 15373000704 23050 33554432000 4194304 4196468 140736419835408 140638581897616 140638765614805 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6660096 140736419840750 140736419841178 140736419841178 140736419844047 0
[pid=14717/tid=14723] ppid=14714 vsize=15012696 memory=-9062862659931694204 CPUtime=0 cores=0,2,4,6
/proc/14717/task/14723/stat : 14723 (java) S 14714 14714 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405783179 15373000704 23050 33554432000 4194304 4196468 140736419835408 140638172379888 140638765615746 0 0 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6660096 140736419840750 140736419841178 140736419841178 140736419844047 0
[pid=14717/tid=14724] ppid=14714 vsize=15012696 memory=3047711566422646390 CPUtime=0 cores=0,2,4,6
/proc/14717/task/14724/stat : 14724 (java) S 14714 14714 8853 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405783180 15373000704 23050 33554432000 4194304 4196468 140736419835408 140637328369312 140638765614805 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6660096 140736419840750 140736419841178 140736419841178 140736419844047 0
[pid=14717/tid=14725] ppid=14714 vsize=15012696 memory=-6664436420846797971 CPUtime=0 cores=0,2,4,6
/proc/14717/task/14725/stat : 14725 (java) S 14714 14714 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405783180 15373000704 23050 33554432000 4194304 4196468 140736419835408 140637093487856 140638765614805 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6660096 140736419840750 140736419841178 140736419841178 140736419844047 0
[pid=14717/tid=14726] ppid=14714 vsize=15012696 memory=4628975386420216973 CPUtime=0 cores=0,2,4,6
/proc/14717/task/14726/stat : 14726 (java) S 14714 14714 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405783182 15373000704 23050 33554432000 4194304 4196468 140736419835408 140636718979536 140638765623195 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6660096 140736419840750 140736419841178 140736419841178 140736419844047 0
[pid=14717/tid=14727] ppid=14714 vsize=15012696 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/14717/task/14727/stat : 14727 (java) S 14714 14714 8853 0 -1 1077944384 491 0 0 0 2 0 0 0 20 0 15 0 405783182 15373000704 23050 33554432000 4194304 4196468 140736419835408 140638171326704 140638765615746 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6660096 140736419840750 140736419841178 140736419841178 140736419844047 0
[pid=14717/tid=14728] ppid=14714 vsize=15012696 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/14717/task/14728/stat : 14728 (java) S 14714 14714 8853 0 -1 1077944384 134 0 0 0 2 0 0 0 20 0 15 0 405783182 15373000704 23050 33554432000 4194304 4196468 140736419835408 140638170274160 140638765615746 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6660096 140736419840750 140736419841178 140736419841178 140736419844047 0
[pid=14717/tid=14729] ppid=14714 vsize=15012696 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/14717/task/14729/stat : 14729 (java) S 14714 14714 8853 0 -1 1077944384 491 0 0 0 7 0 0 0 20 0 15 0 405783182 15373000704 23050 33554432000 4194304 4196468 140736419835408 140638169221104 140638765615746 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6660096 140736419840750 140736419841178 140736419841178 140736419844047 0
[pid=14717/tid=14730] ppid=14714 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14717/task/14730/stat : 14730 (java) S 14714 14714 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405783183 15373000704 23050 33554432000 4194304 4196468 140736419835408 140636221073760 140638765614805 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6660096 140736419840750 140736419841178 140736419841178 140736419844047 0
[pid=14717/tid=14731] ppid=14714 vsize=15012696 memory=3473743376400004144 CPUtime=0 cores=0,2,4,6
/proc/14717/task/14731/stat : 14731 (java) S 14714 14714 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405783183 15373000704 23050 33554432000 4194304 4196468 140736419835408 140638100122672 140638765615746 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6660096 140736419840750 140736419841178 140736419841178 140736419844047 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 93596 KiB

[startup+0.701796 s]
/proc/loadavg: 2.00 2.02 2.07 3/234 14731
/proc/meminfo: memFree=26106412/32770624 swapFree=66957008/67108860
[pid=14714] ppid=14711 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/14714/stat : 14714 (scop.sh) S 14711 14714 8853 0 -1 4202496 556 322 0 0 0 0 0 0 20 0 1 0 405783176 115843072 349 33554432000 4194304 5098028 140726549039120 140726549036376 139731295494780 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 16715776 140726549046056 140726549046384 140726549046384 140726549049293 0
/proc/14714/statm: 28282 349 296 221 0 87 0
[pid=14717] ppid=14714 vsize=15018968 memory=129472 CPUtime=0.99 cores=0,2,4,6
/proc/14717/stat : 14717 (java) S 14714 14714 8853 0 -1 1077944320 20114 0 0 0 92 7 0 0 20 0 15 0 405783176 15379423232 32368 33554432000 4194304 4196468 140736419835408 140736419817952 140638765604599 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 6660096 140736419840750 140736419841178 140736419841178 140736419844047 0
/proc/14717/statm: 3754742 32368 3182 1 0 3716091 0
[pid=14717/tid=14718] ppid=14714 vsize=15018968 memory=-7816663703405220396 CPUtime=0.68 cores=0,2,4,6
/proc/14717/task/14718/stat : 14718 (java) R 14714 14714 8853 0 -1 4202560 17157 0 0 0 62 6 0 0 20 0 15 0 405783176 15379423232 32368 33554432000 4194304 4196468 140736419835408 140638737442368 140638765626525 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6660096 140736419840750 140736419841178 140736419841178 140736419844047 0
[pid=14717/tid=14719] ppid=14714 vsize=15018968 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14717/task/14719/stat : 14719 (java) S 14714 14714 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405783178 15379423232 32368 33554432000 4194304 4196468 140736419835408 140638769846800 140638765614805 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6660096 140736419840750 140736419841178 140736419841178 140736419844047 0
[pid=14717/tid=14720] ppid=14714 vsize=15018968 memory=37520 CPUtime=0 cores=0,2,4,6
/proc/14717/task/14720/stat : 14720 (java) S 14714 14714 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405783178 15379423232 32368 33554432000 4194304 4196468 140736419835408 140638584003216 140638765614805 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6660096 140736419840750 140736419841178 140736419841178 140736419844047 0
[pid=14717/tid=14721] ppid=14714 vsize=15018968 memory=2020 CPUtime=0 cores=0,2,4,6
/proc/14717/task/14721/stat : 14721 (java) S 14714 14714 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405783178 15379423232 32368 33554432000 4194304 4196468 140736419835408 140638582950160 140638765614805 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6660096 140736419840750 140736419841178 140736419841178 140736419844047 0
[pid=14717/tid=14722] ppid=14714 vsize=15018968 memory=988 CPUtime=0 cores=0,2,4,6
/proc/14717/task/14722/stat : 14722 (java) S 14714 14714 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405783178 15379423232 32368 33554432000 4194304 4196468 140736419835408 140638581897616 140638765614805 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6660096 140736419840750 140736419841178 140736419841178 140736419844047 0
[pid=14717/tid=14723] ppid=14714 vsize=15018968 memory=1368 CPUtime=0 cores=0,2,4,6
/proc/14717/task/14723/stat : 14723 (java) S 14714 14714 8853 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 405783179 15379423232 32368 33554432000 4194304 4196468 140736419835408 140638172379888 140638765615746 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6660096 140736419840750 140736419841178 140736419841178 140736419844047 0
[pid=14717/tid=14724] ppid=14714 vsize=15018968 memory=1056 CPUtime=0 cores=0,2,4,6
/proc/14717/task/14724/stat : 14724 (java) S 14714 14714 8853 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405783180 15379423232 32368 33554432000 4194304 4196468 140736419835408 140637328369312 140638765614805 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6660096 140736419840750 140736419841178 140736419841178 140736419844047 0
[pid=14717/tid=14725] ppid=14714 vsize=15018968 memory=1712 CPUtime=0 cores=0,2,4,6
/proc/14717/task/14725/stat : 14725 (java) S 14714 14714 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405783180 15379423232 32368 33554432000 4194304 4196468 140736419835408 140637093487856 140638765614805 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6660096 140736419840750 140736419841178 140736419841178 140736419844047 0
[pid=14717/tid=14726] ppid=14714 vsize=15018968 memory=6092 CPUtime=0 cores=0,2,4,6
/proc/14717/task/14726/stat : 14726 (java) S 14714 14714 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405783182 15379423232 32368 33554432000 4194304 4196468 140736419835408 140636718979536 140638765623195 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6660096 140736419840750 140736419841178 140736419841178 140736419844047 0
[pid=14717/tid=14727] ppid=14714 vsize=15018968 memory=11624 CPUtime=0.06 cores=0,2,4,6
/proc/14717/task/14727/stat : 14727 (java) R 14714 14714 8853 0 -1 4202560 689 0 0 0 6 0 0 0 20 0 15 0 405783182 15379423232 32368 33554432000 4194304 4196468 140736419835408 140638171326704 140638751618980 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6660096 140736419840750 140736419841178 140736419841178 140736419844047 0
[pid=14717/tid=14728] ppid=14714 vsize=15018968 memory=732 CPUtime=0.08 cores=0,2,4,6
/proc/14717/task/14728/stat : 14728 (java) R 14714 14714 8853 0 -1 1077944384 348 0 0 0 8 0 0 0 20 0 15 0 405783182 15379423232 32368 33554432000 4194304 4196468 140736419835408 140638170274160 140638765615746 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 6660096 140736419840750 140736419841178 140736419841178 140736419844047 0
[pid=14717/tid=14729] ppid=14714 vsize=15018968 memory=776 CPUtime=0.14 cores=0,2,4,6
/proc/14717/task/14729/stat : 14729 (java) S 14714 14714 8853 0 -1 1077944384 584 0 0 0 14 0 0 0 20 0 15 0 405783182 15379423232 32368 33554432000 4194304 4196468 140736419835408 140638169221104 140638765615746 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6660096 140736419840750 140736419841178 140736419841178 140736419844047 0
[pid=14717/tid=14730] ppid=14714 vsize=15018968 memory=1560 CPUtime=0 cores=0,2,4,6
/proc/14717/task/14730/stat : 14730 (java) S 14714 14714 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405783183 15379423232 32368 33554432000 4194304 4196468 140736419835408 140636221073760 140638765614805 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6660096 140736419840750 140736419841178 140736419841178 140736419844047 0
[pid=14717/tid=14731] ppid=14714 vsize=15018968 memory=4008 CPUtime=0 cores=0,2,4,6
/proc/14717/task/14731/stat : 14731 (java) S 14714 14714 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405783183 15379423232 32368 33554432000 4194304 4196468 140736419835408 140638100122672 140638765615746 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6660096 140736419840750 140736419841178 140736419841178 140736419844047 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 15132096 KiB
Current children cumulated memory: 130868 KiB

[startup+1.50087 s]
/proc/loadavg: 2.00 2.02 2.07 5/234 14731
/proc/meminfo: memFree=25993816/32770624 swapFree=66957008/67108860
[pid=14714] ppid=14711 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/14714/stat : 14714 (scop.sh) S 14711 14714 8853 0 -1 4202496 556 322 0 0 0 0 0 0 20 0 1 0 405783176 115843072 349 33554432000 4194304 5098028 140726549039120 140726549036376 139731295494780 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 16715776 140726549046056 140726549046384 140726549046384 140726549049293 0
/proc/14714/statm: 28282 349 296 221 0 87 0

################
# More data... #
################

[pid=14762/tid=14775] ppid=14714 vsize=8068440 memory=119432 CPUtime=0 cores=0,2,4,6
/proc/14762/task/14775/stat : 14775 (java) S 14714 14714 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405823451 8262082560 30054 33554432000 4194304 4196468 140735607630160 139802930310112 139805241370325 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19673088 140735607636987 140735607637146 140735607637146 140735607640015 0
[pid=14762/tid=14776] ppid=14714 vsize=8068440 memory=359180 CPUtime=0 cores=0,2,4,6
/proc/14762/task/14776/stat : 14776 (java) S 14714 14714 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405823452 8262082560 30054 33554432000 4194304 4196468 140735607630160 139804549429680 139805241371266 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19673088 140735607636987 140735607637146 140735607637146 140735607640015 0
[pid=14762/tid=14778] ppid=14714 vsize=8068440 memory=1980 CPUtime=0 cores=0,2,4,6
/proc/14762/task/14778/stat : 14778 (java) S 14714 14714 8853 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 405823522 8262082560 30054 33554432000 4194304 4196468 140735607630160 139804541395904 139805241384729 0 4 2 25189581 18446744071579417331 0 0 -1 6 0 0 0 0 0 6293624 6294260 19673088 140735607636987 140735607637146 140735607637146 140735607640015 0
[pid=14762/tid=14780] ppid=14714 vsize=8068440 memory=2520 CPUtime=0 cores=0,2,4,6
/proc/14762/task/14780/stat : 14780 (java) S 14714 14714 8853 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 405823522 8262082560 30054 33554432000 4194304 4196468 140735607630160 139802393427472 139805241382045 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 19673088 140735607636987 140735607637146 140735607637146 140735607640015 0
[pid=14762/tid=14781] ppid=14714 vsize=8068440 memory=1760 CPUtime=0 cores=0,2,4,6
/proc/14762/task/14781/stat : 14781 (java) S 14714 14714 8853 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 405823522 8262082560 30054 33554432000 4194304 4196468 140735607630160 139802124992400 139805241382045 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 19673088 140735607636987 140735607637146 140735607637146 140735607640015 0
[pid=14762/tid=14782] ppid=14714 vsize=8068440 memory=1660 CPUtime=0 cores=0,2,4,6
/proc/14762/task/14782/stat : 14782 (java) S 14714 14714 8853 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 19 0 405823525 8262082560 30054 33554432000 4194304 4196468 140735607630160 139802661871024 139805241370325 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19673088 140735607636987 140735607637146 140735607637146 140735607640015 0
Current children cumulated CPU time: 553.74 s
Current children cumulated vsize: 8610952 KiB
Current children cumulated memory: 480880 KiB

[startup+417.601 s]
/proc/loadavg: 2.26 2.15 2.10 3/239 14783
/proc/meminfo: memFree=25601128/32770624 swapFree=66957008/67108860
[pid=14714] ppid=14711 vsize=113128 memory=1476 CPUtime=539.93 cores=0,2,4,6
/proc/14714/stat : 14714 (scop.sh) S 14711 14714 8853 0 -1 4202496 584 143160 0 0 0 0 53105 888 20 0 1 0 405783176 115843072 369 33554432000 4194304 5098028 140726549039120 140726549035864 139731295494780 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 16715776 140726549046056 140726549046384 140726549046384 140726549049293 0
/proc/14714/statm: 28282 369 311 221 0 87 0
[pid=14762] ppid=14714 vsize=8068440 memory=120216 CPUtime=1.27 cores=0,2,4,6
/proc/14762/stat : 14762 (java) S 14714 14714 8853 0 -1 1077944320 21500 0 0 0 119 8 0 0 20 0 19 0 405823444 8262082560 30054 33554432000 4194304 4196468 140735607630160 140735607612704 139805241360119 0 0 2 25189581 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 19673088 140735607636987 140735607637146 140735607637146 140735607640015 0
/proc/14762/statm: 2017110 30054 3211 1 0 1978454 0
[pid=14777] ppid=14762 vsize=429384 memory=359192 CPUtime=14.13 cores=0,2,4,6
/proc/14777/stat : 14777 (glueminisat-sim) R 14762 14714 8853 0 -1 4202496 258705 0 0 0 1380 33 0 0 20 0 1 0 405823521 439689216 89798 33554432000 4194304 4452875 140731857214096 140731857209128 4374218 0 4 0 8388610 0 0 0 17 0 0 0 0 0 0 6552096 6554264 10559488 140731857220447 140731857220647 140731857220647 140731857223597 0
/proc/14777/statm: 107346 89798 378 64 0 103550 0
[pid=14762/tid=14763] ppid=14714 vsize=8068440 memory=988 CPUtime=0.79 cores=0,2,4,6
/proc/14762/task/14763/stat : 14763 (java) S 14714 14714 8853 0 -1 1077944384 18010 0 0 0 73 6 0 0 20 0 19 0 405823445 8262082560 30054 33554432000 4194304 4196468 140735607630160 139805213200288 139805241370325 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19673088 140735607636987 140735607637146 140735607637146 140735607640015 0
[pid=14762/tid=14764] ppid=14714 vsize=8068440 memory=1476 CPUtime=0 cores=0,2,4,6
/proc/14762/task/14764/stat : 14764 (java) S 14714 14714 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405823446 8262082560 30054 33554432000 4194304 4196468 140735607630160 139805245602704 139805241370325 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19673088 140735607636987 140735607637146 140735607637146 140735607640015 0
[pid=14762/tid=14765] ppid=14714 vsize=8068440 memory=120216 CPUtime=0 cores=0,2,4,6
/proc/14762/task/14765/stat : 14765 (java) S 14714 14714 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405823446 8262082560 30054 33554432000 4194304 4196468 140735607630160 139805078981392 139805241370325 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19673088 140735607636987 140735607637146 140735607637146 140735607640015 0
[pid=14762/tid=14766] ppid=14714 vsize=8068440 memory=359192 CPUtime=0 cores=0,2,4,6
/proc/14762/task/14766/stat : 14766 (java) S 14714 14714 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405823446 8262082560 30054 33554432000 4194304 4196468 140735607630160 139804725816464 139805241370325 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19673088 140735607636987 140735607637146 140735607637146 140735607640015 0
[pid=14762/tid=14767] ppid=14714 vsize=8068440 memory=-7824251494390912868 CPUtime=0 cores=0,2,4,6
/proc/14762/task/14767/stat : 14767 (java) S 14714 14714 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405823446 8262082560 30054 33554432000 4194304 4196468 140735607630160 139804724763664 139805241370325 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19673088 140735607636987 140735607637146 140735607637146 140735607640015 0
[pid=14762/tid=14768] ppid=14714 vsize=8068440 memory=359128 CPUtime=0 cores=0,2,4,6
/proc/14762/task/14768/stat : 14768 (java) S 14714 14714 8853 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 405823447 8262082560 30054 33554432000 4194304 4196468 140735607630160 139804553640048 139805241371266 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19673088 140735607636987 140735607637146 140735607637146 140735607640015 0
[pid=14762/tid=14769] ppid=14714 vsize=8068440 memory=2020 CPUtime=0 cores=0,2,4,6
/proc/14762/task/14769/stat : 14769 (java) S 14714 14714 8853 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 405823448 8262082560 30054 33554432000 4194304 4196468 140735607630160 139804071158560 139805241370325 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19673088 140735607636987 140735607637146 140735607637146 140735607640015 0
[pid=14762/tid=14770] ppid=14714 vsize=8068440 memory=119432 CPUtime=0 cores=0,2,4,6
/proc/14762/task/14770/stat : 14770 (java) S 14714 14714 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405823448 8262082560 30054 33554432000 4194304 4196468 140735607630160 139803802723440 139805241370325 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19673088 140735607636987 140735607637146 140735607637146 140735607640015 0
[pid=14762/tid=14771] ppid=14714 vsize=8068440 memory=407592 CPUtime=0 cores=0,2,4,6
/proc/14762/task/14771/stat : 14771 (java) S 14714 14714 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405823451 8262082560 30054 33554432000 4194304 4196468 140735607630160 139803428214864 139805241378715 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19673088 140735607636987 140735607637146 140735607637146 140735607640015 0
[pid=14762/tid=14772] ppid=14714 vsize=8068440 memory=2828 CPUtime=0.1 cores=0,2,4,6
/proc/14762/task/14772/stat : 14772 (java) S 14714 14714 8853 0 -1 1077944384 752 0 0 0 10 0 0 0 20 0 19 0 405823451 8262082560 30054 33554432000 4194304 4196468 140735607630160 139804552587888 139805241371266 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19673088 140735607636987 140735607637146 140735607637146 140735607640015 0
[pid=14762/tid=14773] ppid=14714 vsize=8068440 memory=1164 CPUtime=0.1 cores=0,2,4,6
/proc/14762/task/14773/stat : 14773 (java) S 14714 14714 8853 0 -1 1077944384 378 0 0 0 10 0 0 0 20 0 19 0 405823451 8262082560 30054 33554432000 4194304 4196468 140735607630160 139804551535088 139805241371266 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19673088 140735607636987 140735607637146 140735607637146 140735607640015 0
[pid=14762/tid=14774] ppid=14714 vsize=8068440 memory=14008 CPUtime=0.22 cores=0,2,4,6
/proc/14762/task/14774/stat : 14774 (java) S 14714 14714 8853 0 -1 1077944384 964 0 0 0 22 0 0 0 20 0 19 0 405823451 8262082560 30054 33554432000 4194304 4196468 140735607630160 139804550482800 139805241371266 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19673088 140735607636987 140735607637146 140735607637146 140735607640015 0
[pid=14762/tid=14775] ppid=14714 vsize=8068440 memory=-7824251494390912868 CPUtime=0 cores=0,2,4,6
/proc/14762/task/14775/stat : 14775 (java) S 14714 14714 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405823451 8262082560 30054 33554432000 4194304 4196468 140735607630160 139802930310112 139805241370325 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19673088 140735607636987 140735607637146 140735607637146 140735607640015 0
[pid=14762/tid=14776] ppid=14714 vsize=8068440 memory=4420 CPUtime=0 cores=0,2,4,6
/proc/14762/task/14776/stat : 14776 (java) S 14714 14714 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405823452 8262082560 30054 33554432000 4194304 4196468 140735607630160 139804549429680 139805241371266 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19673088 140735607636987 140735607637146 140735607637146 140735607640015 0
[pid=14762/tid=14778] ppid=14714 vsize=8068440 memory=6628 CPUtime=0 cores=0,2,4,6
/proc/14762/task/14778/stat : 14778 (java) S 14714 14714 8853 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 405823522 8262082560 30054 33554432000 4194304 4196468 140735607630160 139804541395904 139805241384729 0 4 2 25189581 18446744071579417331 0 0 -1 6 0 0 0 0 0 6293624 6294260 19673088 140735607636987 140735607637146 140735607637146 140735607640015 0
[pid=14762/tid=14780] ppid=14714 vsize=8068440 memory=6625 CPUtime=0 cores=0,2,4,6
/proc/14762/task/14780/stat : 14780 (java) S 14714 14714 8853 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 405823522 8262082560 30054 33554432000 4194304 4196468 140735607630160 139802393427472 139805241382045 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 19673088 140735607636987 140735607637146 140735607637146 140735607640015 0
[pid=14762/tid=14781] ppid=14714 vsize=8068440 memory=4420 CPUtime=0 cores=0,2,4,6
/proc/14762/task/14781/stat : 14781 (java) S 14714 14714 8853 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 405823522 8262082560 30054 33554432000 4194304 4196468 140735607630160 139802124992400 139805241382045 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 19673088 140735607636987 140735607637146 140735607637146 140735607640015 0
[pid=14762/tid=14782] ppid=14714 vsize=8068440 memory=1436 CPUtime=0 cores=0,2,4,6
/proc/14762/task/14782/stat : 14782 (java) S 14714 14714 8853 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 19 0 405823525 8262082560 30054 33554432000 4194304 4196468 140735607630160 139802661871024 139805241370325 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19673088 140735607636987 140735607637146 140735607637146 140735607640015 0
Current children cumulated CPU time: 555.33 s
Current children cumulated vsize: 8610952 KiB
Current children cumulated memory: 480884 KiB

[startup+418.401 s]
/proc/loadavg: 2.26 2.15 2.10 3/239 14783
/proc/meminfo: memFree=25601128/32770624 swapFree=66957008/67108860
[pid=14714] ppid=14711 vsize=113128 memory=1476 CPUtime=539.93 cores=0,2,4,6
/proc/14714/stat : 14714 (scop.sh) S 14711 14714 8853 0 -1 4202496 584 143160 0 0 0 0 53105 888 20 0 1 0 405783176 115843072 369 33554432000 4194304 5098028 140726549039120 140726549035864 139731295494780 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 16715776 140726549046056 140726549046384 140726549046384 140726549049293 0
/proc/14714/statm: 28282 369 311 221 0 87 0
[pid=14762] ppid=14714 vsize=8068440 memory=188872 CPUtime=16.41 cores=0,2,4,6
/proc/14762/stat : 14762 (java) S 14714 14714 8853 0 -1 1077944320 22322 258830 0 0 145 10 1450 36 20 0 18 0 405823444 8262082560 47218 33554432000 4194304 4196468 140735607630160 140735607612704 139805241360119 0 0 2 25189581 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 19673088 140735607636987 140735607637146 140735607637146 140735607640015 0
/proc/14762/statm: 2017110 47218 3220 1 0 1978454 0
[pid=14762/tid=14763] ppid=14714 vsize=8068440 memory=11624 CPUtime=15.65 cores=0,2,4,6
/proc/14762/task/14763/stat : 14763 (java) S 14714 14714 8853 0 -1 1077944384 18010 258830 0 0 73 6 1450 36 20 0 18 0 405823445 8262082560 47218 33554432000 4194304 4196468 140735607630160 139805213200288 139805241370325 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19673088 140735607636987 140735607637146 140735607637146 140735607640015 0
[pid=14762/tid=14764] ppid=14714 vsize=8068440 memory=732 CPUtime=14.86 cores=0,2,4,6
/proc/14762/task/14764/stat : 14764 (java) S 14714 14714 8853 0 -1 1077944384 1 258830 0 0 0 0 1450 36 20 0 18 0 405823446 8262082560 47218 33554432000 4194304 4196468 140735607630160 139805245602704 139805241370325 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19673088 140735607636987 140735607637146 140735607637146 140735607640015 0
[pid=14762/tid=14765] ppid=14714 vsize=8068440 memory=776 CPUtime=14.86 cores=0,2,4,6
/proc/14762/task/14765/stat : 14765 (java) S 14714 14714 8853 0 -1 1077944384 1 258830 0 0 0 0 1450 36 20 0 18 0 405823446 8262082560 47218 33554432000 4194304 4196468 140735607630160 139805078981392 139805241370325 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19673088 140735607636987 140735607637146 140735607637146 140735607640015 0
[pid=14762/tid=14766] ppid=14714 vsize=8068440 memory=1476 CPUtime=14.86 cores=0,2,4,6
/proc/14762/task/14766/stat : 14766 (java) S 14714 14714 8853 0 -1 1077944384 2 258830 0 0 0 0 1450 36 20 0 18 0 405823446 8262082560 47218 33554432000 4194304 4196468 140735607630160 139804725816464 139805241370325 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19673088 140735607636987 140735607637146 140735607637146 140735607640015 0
[pid=14762/tid=14767] ppid=14714 vsize=8068440 memory=120216 CPUtime=14.86 cores=0,2,4,6
/proc/14762/task/14767/stat : 14767 (java) S 14714 14714 8853 0 -1 1077944384 2 258830 0 0 0 0 1450 36 20 0 18 0 405823446 8262082560 47218 33554432000 4194304 4196468 140735607630160 139804724763664 139805241370325 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19673088 140735607636987 140735607637146 140735607637146 140735607640015 0
[pid=14762/tid=14768] ppid=14714 vsize=8068440 memory=359192 CPUtime=14.86 cores=0,2,4,6
/proc/14762/task/14768/stat : 14768 (java) S 14714 14714 8853 0 -1 1077944384 5 258830 0 0 0 0 1450 36 20 0 18 0 405823447 8262082560 47218 33554432000 4194304 4196468 140735607630160 139804553640048 139805241371266 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19673088 140735607636987 140735607637146 140735607637146 140735607640015 0
[pid=14762/tid=14769] ppid=14714 vsize=8068440 memory=1760 CPUtime=14.86 cores=0,2,4,6
/proc/14762/task/14769/stat : 14769 (java) S 14714 14714 8853 0 -1 1077944384 13 258830 0 0 0 0 1450 36 20 0 18 0 405823448 8262082560 47218 33554432000 4194304 4196468 140735607630160 139804071158560 139805241370325 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19673088 140735607636987 140735607637146 140735607637146 140735607640015 0
[pid=14762/tid=14770] ppid=14714 vsize=8068440 memory=-7824251494390912868 CPUtime=14.86 cores=0,2,4,6
/proc/14762/task/14770/stat : 14770 (java) S 14714 14714 8853 0 -1 1077944384 1 258830 0 0 0 0 1450 36 20 0 18 0 405823448 8262082560 47218 33554432000 4194304 4196468 140735607630160 139803802723440 139805241370325 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19673088 140735607636987 140735607637146 140735607637146 140735607640015 0
[pid=14762/tid=14771] ppid=14714 vsize=8068440 memory=1808 CPUtime=14.86 cores=0,2,4,6
/proc/14762/task/14771/stat : 14771 (java) S 14714 14714 8853 0 -1 1077944384 3 258830 0 0 0 0 1450 36 20 0 18 0 405823451 8262082560 47218 33554432000 4194304 4196468 140735607630160 139803428214864 139805241378715 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19673088 140735607636987 140735607637146 140735607637146 140735607640015 0
[pid=14762/tid=14772] ppid=14714 vsize=8068440 memory=920 CPUtime=14.99 cores=0,2,4,6
/proc/14762/task/14772/stat : 14772 (java) S 14714 14714 8853 0 -1 1077944384 763 258830 0 0 13 0 1450 36 20 0 18 0 405823451 8262082560 47218 33554432000 4194304 4196468 140735607630160 139804552587888 139805241371266 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19673088 140735607636987 140735607637146 140735607637146 140735607640015 0
[pid=14762/tid=14773] ppid=14714 vsize=8068440 memory=3848 CPUtime=15.03 cores=0,2,4,6
/proc/14762/task/14773/stat : 14773 (java) R 14714 14714 8853 0 -1 4202560 752 258830 0 0 17 0 1450 36 20 0 18 0 405823451 8262082560 47218 33554432000 4194304 4196468 140735607630160 139804551535088 139805221015328 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19673088 140735607636987 140735607637146 140735607637146 140735607640015 0
[pid=14762/tid=14774] ppid=14714 vsize=8068440 memory=2856 CPUtime=15.12 cores=0,2,4,6
/proc/14762/task/14774/stat : 14774 (java) S 14714 14714 8853 0 -1 1077944384 1322 258830 0 0 26 0 1450 36 20 0 18 0 405823451 8262082560 47218 33554432000 4194304 4196468 140735607630160 139804550482800 139805241371266 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19673088 140735607636987 140735607637146 140735607637146 140735607640015 0
[pid=14762/tid=14775] ppid=14714 vsize=8068440 memory=-7824251494390912868 CPUtime=14.86 cores=0,2,4,6
/proc/14762/task/14775/stat : 14775 (java) S 14714 14714 8853 0 -1 1077944384 3 258830 0 0 0 0 1450 36 20 0 18 0 405823451 8262082560 47218 33554432000 4194304 4196468 140735607630160 139802930310112 139805241370325 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19673088 140735607636987 140735607637146 140735607637146 140735607640015 0
[pid=14762/tid=14776] ppid=14714 vsize=8068440 memory=1476 CPUtime=14.86 cores=0,2,4,6
/proc/14762/task/14776/stat : 14776 (java) S 14714 14714 8853 0 -1 1077944384 3 258830 0 0 0 0 1450 36 20 0 18 0 405823452 8262082560 47218 33554432000 4194304 4196468 140735607630160 139804549429680 139805241371266 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19673088 140735607636987 140735607637146 140735607637146 140735607640015 0
[pid=14762/tid=14778] ppid=14714 vsize=8068440 memory=132412 CPUtime=14.86 cores=0,2,4,6
/proc/14762/task/14778/stat : 14778 (java) S 14714 14714 8853 0 -1 1077944384 24 258830 0 0 0 0 1450 36 20 0 18 0 405823522 8262082560 47218 33554432000 4194304 4196468 140735607630160 139804541395088 139805241371266 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19673088 140735607636987 140735607637146 140735607637146 140735607640015 0
[pid=14762/tid=14780] ppid=14714 vsize=8068440 memory=111192 CPUtime=15 cores=0,2,4,6
/proc/14762/task/14780/stat : 14780 (java) R 14714 14714 8853 0 -1 4202560 84 258830 0 0 13 1 1450 36 20 0 18 0 405823522 8262082560 47218 33554432000 4194304 4196468 140735607630160 139802393427424 139804743774484 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19673088 140735607636987 140735607637146 140735607637146 140735607640015 0
[pid=14762/tid=14782] ppid=14714 vsize=8068440 memory=3376 CPUtime=14.86 cores=0,2,4,6
/proc/14762/task/14782/stat : 14782 (java) S 14714 14714 8853 0 -1 1077944384 26 258830 0 0 0 0 1450 36 20 0 18 0 405823525 8262082560 47218 33554432000 4194304 4196468 140735607630160 139802661870784 139805241370325 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19673088 140735607636987 140735607637146 140735607637146 140735607640015 0
Current children cumulated CPU time: 556.34 s
Current children cumulated vsize: 8181568 KiB
Current children cumulated memory: 190348 KiB

[startup+418.601 s]
/proc/loadavg: 2.26 2.15 2.10 3/239 14783
/proc/meminfo: memFree=25601128/32770624 swapFree=66957008/67108860
[pid=14714] ppid=14711 vsize=113128 memory=1476 CPUtime=539.93 cores=0,2,4,6
/proc/14714/stat : 14714 (scop.sh) S 14711 14714 8853 0 -1 4202496 584 143160 0 0 0 0 53105 888 20 0 1 0 405783176 115843072 369 33554432000 4194304 5098028 140726549039120 140726549035864 139731295494780 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 16715776 140726549046056 140726549046384 140726549046384 140726549049293 0
/proc/14714/statm: 28282 369 311 221 0 87 0
[pid=14762] ppid=14714 vsize=7937364 memory=200912 CPUtime=16.84 cores=0,2,4,6
/proc/14762/stat : 14762 (java) S 14714 14714 8853 0 -1 1077944320 22831 258830 0 0 188 10 1450 36 20 0 17 0 405823444 8127860736 50228 33554432000 4194304 4196468 140735607630160 140735607612704 139805241360119 0 0 2 25189581 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 19673088 140735607636987 140735607637146 140735607637146 140735607640015 0
/proc/14762/statm: 1984341 50228 3229 1 0 1945685 0
[pid=14762/tid=14763] ppid=14714 vsize=7937364 memory=6791534058613427641 CPUtime=15.78 cores=0,2,4,6
/proc/14762/task/14763/stat : 14763 (java) R 14714 14714 8853 0 -1 4202560 18261 258830 0 0 86 6 1450 36 20 0 17 0 405823445 8127860736 50228 33554432000 4194304 4196468 140735607630160 139805213197856 139805222199600 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19673088 140735607636987 140735607637146 140735607637146 140735607640015 0
[pid=14762/tid=14764] ppid=14714 vsize=7937364 memory=407600 CPUtime=14.86 cores=0,2,4,6
/proc/14762/task/14764/stat : 14764 (java) S 14714 14714 8853 0 -1 1077944384 1 258830 0 0 0 0 1450 36 20 0 17 0 405823446 8127860736 50228 33554432000 4194304 4196468 140735607630160 139805245602704 139805241370325 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19673088 140735607636987 140735607637146 140735607637146 140735607640015 0
[pid=14762/tid=14765] ppid=14714 vsize=7937364 memory=2124 CPUtime=14.86 cores=0,2,4,6
/proc/14762/task/14765/stat : 14765 (java) S 14714 14714 8853 0 -1 1077944384 1 258830 0 0 0 0 1450 36 20 0 17 0 405823446 8127860736 50228 33554432000 4194304 4196468 140735607630160 139805078981392 139805241370325 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19673088 140735607636987 140735607637146 140735607637146 140735607640015 0
[pid=14762/tid=14766] ppid=14714 vsize=7937364 memory=20044 CPUtime=14.86 cores=0,2,4,6
/proc/14762/task/14766/stat : 14766 (java) S 14714 14714 8853 0 -1 1077944384 2 258830 0 0 0 0 1450 36 20 0 17 0 405823446 8127860736 50228 33554432000 4194304 4196468 140735607630160 139804725816464 139805241370325 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19673088 140735607636987 140735607637146 140735607637146 140735607640015 0
[pid=14762/tid=14767] ppid=14714 vsize=7937364 memory=492 CPUtime=14.86 cores=0,2,4,6
/proc/14762/task/14767/stat : 14767 (java) S 14714 14714 8853 0 -1 1077944384 2 258830 0 0 0 0 1450 36 20 0 17 0 405823446 8127860736 50228 33554432000 4194304 4196468 140735607630160 139804724763664 139805241370325 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19673088 140735607636987 140735607637146 140735607637146 140735607640015 0
[pid=14762/tid=14768] ppid=14714 vsize=7937364 memory=1560 CPUtime=14.86 cores=0,2,4,6
/proc/14762/task/14768/stat : 14768 (java) S 14714 14714 8853 0 -1 1077944384 5 258830 0 0 0 0 1450 36 20 0 17 0 405823447 8127860736 50228 33554432000 4194304 4196468 140735607630160 139804553640048 139805241371266 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19673088 140735607636987 140735607637146 140735607637146 140735607640015 0
[pid=14762/tid=14769] ppid=14714 vsize=7937364 memory=932 CPUtime=14.86 cores=0,2,4,6
/proc/14762/task/14769/stat : 14769 (java) S 14714 14714 8853 0 -1 1077944384 13 258830 0 0 0 0 1450 36 20 0 17 0 405823448 8127860736 50228 33554432000 4194304 4196468 140735607630160 139804071158560 139805241370325 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19673088 140735607636987 140735607637146 140735607637146 140735607640015 0
[pid=14762/tid=14770] ppid=14714 vsize=7937364 memory=1476 CPUtime=14.86 cores=0,2,4,6
/proc/14762/task/14770/stat : 14770 (java) S 14714 14714 8853 0 -1 1077944384 1 258830 0 0 0 0 1450 36 20 0 17 0 405823448 8127860736 50228 33554432000 4194304 4196468 140735607630160 139803802723440 139805241370325 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19673088 140735607636987 140735607637146 140735607637146 140735607640015 0
[pid=14762/tid=14771] ppid=14714 vsize=7937364 memory=120216 CPUtime=14.86 cores=0,2,4,6
/proc/14762/task/14771/stat : 14771 (java) S 14714 14714 8853 0 -1 1077944384 3 258830 0 0 0 0 1450 36 20 0 17 0 405823451 8127860736 50228 33554432000 4194304 4196468 140735607630160 139803428214864 139805241378715 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19673088 140735607636987 140735607637146 140735607637146 140735607640015 0
[pid=14762/tid=14772] ppid=14714 vsize=7937364 memory=359192 CPUtime=15.06 cores=0,2,4,6
/proc/14762/task/14772/stat : 14772 (java) R 14714 14714 8853 0 -1 4202560 789 258830 0 0 20 0 1450 36 20 0 17 0 405823451 8127860736 50228 33554432000 4194304 4196468 140735607630160 139804552578000 139805226286718 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19673088 140735607636987 140735607637146 140735607637146 140735607640015 0
[pid=14762/tid=14773] ppid=14714 vsize=7937364 memory=896 CPUtime=15.11 cores=0,2,4,6
/proc/14762/task/14773/stat : 14773 (java) R 14714 14714 8853 0 -1 4202560 786 258830 0 0 25 0 1450 36 20 0 17 0 405823451 8127860736 50228 33554432000 4194304 4196468 140735607630160 139804551522400 139805221080183 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19673088 140735607636987 140735607637146 140735607637146 140735607640015 0
[pid=14762/tid=14774] ppid=14714 vsize=7937364 memory=1980 CPUtime=15.2 cores=0,2,4,6
/proc/14762/task/14774/stat : 14774 (java) R 14714 14714 8853 0 -1 1077944384 1507 258830 0 0 34 0 1450 36 20 0 17 0 405823451 8127860736 50228 33554432000 4194304 4196468 140735607630160 139804550482800 139805241371266 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19673088 140735607636987 140735607637146 140735607637146 140735607640015 0
[pid=14762/tid=14775] ppid=14714 vsize=7937364 memory=2520 CPUtime=14.86 cores=0,2,4,6
/proc/14762/task/14775/stat : 14775 (java) S 14714 14714 8853 0 -1 1077944384 3 258830 0 0 0 0 1450 36 20 0 17 0 405823451 8127860736 50228 33554432000 4194304 4196468 140735607630160 139802930310112 139805241370325 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19673088 140735607636987 140735607637146 140735607637146 140735607640015 0
[pid=14762/tid=14776] ppid=14714 vsize=7937364 memory=1760 CPUtime=14.86 cores=0,2,4,6
/proc/14762/task/14776/stat : 14776 (java) S 14714 14714 8853 0 -1 1077944384 3 258830 0 0 0 0 1450 36 20 0 17 0 405823452 8127860736 50228 33554432000 4194304 4196468 140735607630160 139804549429680 139805241371266 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19673088 140735607636987 140735607637146 140735607637146 140735607640015 0
[pid=14762/tid=14778] ppid=14714 vsize=7937364 memory=8243114992657236055 CPUtime=14.86 cores=0,2,4,6
/proc/14762/task/14778/stat : 14778 (java) S 14714 14714 8853 0 -1 1077944384 24 258830 0 0 0 0 1450 36 20 0 17 0 405823522 8127860736 50228 33554432000 4194304 4196468 140735607630160 139804541395088 139805241371266 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19673088 140735607636987 140735607637146 140735607637146 140735607640015 0
[pid=14762/tid=14782] ppid=14714 vsize=7937364 memory=288292190210502128 CPUtime=14.86 cores=0,2,4,6
/proc/14762/task/14782/stat : 14782 (java) S 14714 14714 8853 0 -1 1077944384 30 258830 0 0 0 0 1450 36 20 0 17 0 405823525 8127860736 50228 33554432000 4194304 4196468 140735607630160 139802661872816 139805241371266 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19673088 140735607636987 140735607637146 140735607637146 140735607640015 0
Current children cumulated CPU time: 556.77 s
Current children cumulated vsize: 8050492 KiB
Current children cumulated memory: 202388 KiB

Child status: 0
Real time (s): 418.639
CPU time (s): 556.865
CPU user time (s): 547.478
CPU system time (s): 9.38678
CPU usage (%): 133.018
Max. virtual memory (cumulated for all children) (KiB): 15142500
Max. memory (cumulated for all children) (KiB): 11746412

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 547.478
system time used= 9.38678
maximum resident set size= 11745424
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 425491
page faults= 0
swaps= 0
block input operations= 8
block output operations= 211864
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 19053
involuntary context switches= 2052


# summary of solver processes directly reported to runsolver:
#   pid: 14714
#   total CPU time (s): 556.865
#   total CPU user time (s): 547.478
#   total CPU system time (s): 9.38678

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.70051 second user time and 4.22465 second system time

The end

Launcher Data 

Begin job on node147 at 2019-09-12 16:30:50
IDJOB=4388364
IDBENCH=140063
IDSOLVER=2825
FILE ID=node147/4388364-1568298693
RUNJOBID= node147-1568286038-9751
PBS_JOBID= 21701064
Free space on /tmp= 52120 MiB

SOLVER NAME= Fun-sCOP order+GlueMiniSat (2019-06-15)
BENCH NAME= XCSP17/Crossword/Crossword-m1c-ogd2008-herald/Crossword-m1c-ogd2008-h1509.xml
COMMAND LINE= DIR/scop.sh 11g DIR/scop.jar -order DIR/glueminisat-simp-2.2.10-193oa-n-release -model:-verb=3:-elim-cl=5000000:-native-oa TMPDIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4388364-1568298693/watcher-4388364-1568298693 -o /tmp/evaluation-result-4388364-1568298693/solver-4388364-1568298693 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node147-1568286038-9751 --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-4388364-1568298693.xml

TIME LIMIT= 2520 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 47a2430a9bda935532842a3f94086119
RANDOM SEED=1054933958

node147.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.52
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.52
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.52
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.52
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        26209756 kB
MemAvailable:   31585256 kB
Buffers:          114552 kB
Cached:          5462708 kB
SwapCached:        48504 kB
Active:          2586060 kB
Inactive:        3273212 kB
Active(anon):     232044 kB
Inactive(anon):    91352 kB
Active(file):    2354016 kB
Inactive(file):  3181860 kB
Unevictable:      107624 kB
Mlocked:          107624 kB
SwapTotal:      67108860 kB
SwapFree:       66957008 kB
Dirty:             22648 kB
Writeback:            84 kB
AnonPages:        343180 kB
Mapped:            55212 kB
Shmem:             32764 kB
Slab:             297152 kB
SReclaimable:     268084 kB
SUnreclaim:        29068 kB
KernelStack:        3776 kB
PageTables:         6244 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    6080204 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    200704 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      120192 kB
DirectMap2M:    33425408 kB

Free space on /tmp at the end= 52100 MiB
End job on node147 at 2019-09-12 16:37:49