Trace number 4387971

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 863.093 718.699

General information on the benchmark

NameSubisomorphism/Subisomorphism-m1-si4-m4D/
Subisomorphism-si4-m4D-m625-05.xml
MD5SUMa06e274e1d637d430249b010d1ea7ff6
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.107886
Satisfiable
(Un)Satisfiability was proved
Number of variables250
Number of constraints900
Number of domains1
Minimum domain size625
Maximum domain size625
Distribution of domain sizes[{"size":625,"count":250}]
Minimum variable degree3
Maximum variable degree10
Distribution of variable degrees[{"degree":3,"count":7},{"degree":4,"count":20},{"degree":6,"count":53},{"degree":7,"count":38},{"degree":8,"count":61},{"degree":9,"count":58},{"degree":10,"count":13}]
Minimum constraint arity1
Maximum constraint arity250
Distribution of constraint arities[{"arity":1,"count":223},{"arity":2,"count":676},{"arity":250,"count":1}]
Number of extensional constraints899
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":899},{"type":"allDifferent","count":1}]
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-8975-serial-file.bin HOME/instance-4387971-1568292944.xml
0.66/0.53	
0.66/0.53	Fun-sCOP order+glueminisat-simp-2.2.10-193oa-n-release (2019-06-15)
0.66/0.53	
0.66/0.55	c BEGIN-Prog: Thu Sep 12 14:55:08 CEST 2019
0.66/0.55	c PID: 8978
0.66/0.55	c IP: 172.20.3.126
0.66/0.55	c HOST: node126.alineos.net
0.66/0.56	c (0,0) Parsing Begin
2.17/1.16	c (0,0) Parsing End
2.17/1.17	c (0,0) CSP: 250 int (0 aux), 0 bool (0 aux), 900 ctr, max domain size 625
2.17/1.17	c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.17/1.17	c (0,0) Constraint Name Generate Begin
2.17/1.19	c (0,0) Ctr:HOME/instance-4387971-1568292944.xml,AllDifferent:ExtensionConflict:ExtensionSupport:Var
2.17/1.19	c (0,0) Constraint Name Generate End
2.17/1.19	c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 21 MiB used (max 0 MiB)
2.17/1.19	c (0,0) CSP to CSPinCNF Begin
53.79/41.98	c (41,39) translated 90 (10%) constraints
102.06/82.21	c (81,77) translated 180 (20%) constraints
144.21/120.93	c (120,115) translated 270 (30%) constraints
185.97/159.68	c (159,152) translated 360 (40%) constraints
228.02/198.45	c (197,190) translated 450 (50%) constraints
269.41/237.09	c (236,228) translated 540 (60%) constraints
311.06/275.78	c (275,266) translated 630 (70%) constraints
333.73/296.60	c (296,286) translated 720 (80%) constraints
336.08/297.30	c (296,286) translated 810 (90%) constraints
336.84/297.62	c (297,287) translated 900 (100%) constraints
336.84/297.62	c (297,287) ===========================================
336.84/297.65	c (297,287) Order
336.84/297.65	c (297,287) ===========================================
347.80/307.57	c (307,297) translated 544660 (10%) constraints
359.05/317.59	c (317,306) translated 1089320 (20%) constraints
370.83/327.88	c (327,316) translated 1633980 (30%) constraints
382.70/338.18	c (337,326) translated 2178640 (40%) constraints
394.36/348.43	c (347,336) translated 2723299 (50%) constraints
404.16/358.21	c (357,345) translated 3267959 (60%) constraints
415.96/368.51	c (367,355) translated 3812619 (70%) constraints
427.74/378.80	c (378,365) translated 4357279 (80%) constraints
439.40/389.08	c (388,375) translated 4901939 (90%) constraints
451.34/399.47	c (398,385) translated 5446598 (100%) constraints
451.34/399.47	c (398,385) CSP to CSPinCNF End
451.60/399.63	c (399,385) CSP: 250 int (0 aux), 422500 bool (422500 aux), 5446598 ctr, max domain size 625
451.60/399.63	c (399,385) Heap : 6386 MiB used (max 10914 MiB), NonHeap : 29 MiB used (max 0 MiB)
451.60/399.63	c (399,385) CSPinCNF Propagation Begin
607.91/478.85	c (478,438) 0 values, 68547 unsatisfiable literals, and 68042 valid clauses are removed
607.91/478.85	c (478,438) CSPinCNF Propagation End
608.16/479.01	c (478,438) CSP: 250 int (0 aux), 422500 bool (422500 aux), 5378556 ctr, max domain size 625
608.16/479.01	c (478,438) Heap : 6063 MiB used (max 10898 MiB), NonHeap : 30 MiB used (max 0 MiB)
608.16/479.03	c (478,438) Simplify CSPinCNF Begin
621.90/488.82	c (488,447) Simplify CSPinCNF End
622.00/489.00	c (488,447) CSP: 250 int (0 aux), 484750 bool (484750 aux), 5440806 ctr, max domain size 625
622.00/489.00	c (488,447) Heap : 6394 MiB used (max 10747 MiB), NonHeap : 31 MiB used (max 0 MiB)
622.00/489.00	c (488,447) Calculate Precise Domain Begin
622.00/489.00	c (488,447) 0 values are removed by re-calculation
622.00/489.00	c (488,447) Calculate Precise Domain End
622.21/489.17	c (488,448) CSP: 250 int (0 aux), 484750 bool (484750 aux), 5440806 ctr, max domain size 625
622.21/489.17	c (488,448) Heap : 6394 MiB used (max 10747 MiB), NonHeap : 31 MiB used (max 0 MiB)
622.21/489.17	c (488,448) CSPinCNF to SatSolver Begin
777.31/643.81	c (643,595) 544081 (10 %) CSP clauses are encoded (0 SAT variables, 38780941 SAT clauses)
783.71/649.46	c (648,601) 1088162 (20 %) CSP clauses are encoded (0 SAT variables, 39325022 SAT clauses)
789.66/654.86	c (654,606) 1632242 (30 %) CSP clauses are encoded (0 SAT variables, 39869102 SAT clauses)
795.59/660.23	c (659,611) 2176323 (40 %) CSP clauses are encoded (0 SAT variables, 40413183 SAT clauses)
801.72/665.68	c (665,616) 2720403 (50 %) CSP clauses are encoded (0 SAT variables, 40957263 SAT clauses)
809.09/671.44	c (670,621) 3264484 (60 %) CSP clauses are encoded (0 SAT variables, 41501344 SAT clauses)
815.50/676.95	c (676,627) 3808565 (70 %) CSP clauses are encoded (0 SAT variables, 42045425 SAT clauses)
822.16/682.54	c (682,632) 4352645 (80 %) CSP clauses are encoded (0 SAT variables, 42589505 SAT clauses)
830.54/688.57	c (688,637) 4896726 (90 %) CSP clauses are encoded (0 SAT variables, 43133586 SAT clauses)
837.38/694.15	c (693,642) 5440806 (100 %) CSP clauses are encoded (0 SAT variables, 43677666 SAT clauses)
837.38/694.15	c (693,642) CSPinCNF to SatSolver End
837.38/694.15	c (693,642) Heap : 9780 MiB used (max 10532 MiB), NonHeap : 31 MiB used (max 0 MiB)
837.38/694.15	c (693,642) 638953 bool, 43677667 clause
837.38/694.15	c (693,642) Export Begin
837.47/694.28	c (693,642) Export to HOME/scop-8975-serial-file.bin
837.47/694.28	c (693,642) Export End
837.47/694.28	c (693,642) Export File Size: 0.05 MB
837.47/694.28	c (693,642) 0,0,399,478,488,488,693,STOP-AFTER(DIMACS)
837.47/694.28	c END-Prog: Thu Sep 12 15:06:41 CEST 2019
0.00/694.34	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-8975-serial-file.bin
837.69/694.80	c (0,0) Read Serial File Begin
837.69/694.80	c (0,0) HOME/scop-8975-serial-file.bin
838.61/695.04	c (0,0) Read Serial File End
838.61/695.05	
838.61/695.05	Fun-sCOP order+glueminisat-simp-2.2.10-193oa-n-release (2019-06-15)
838.61/695.05	(Solving Process)
838.61/695.05	
838.61/695.07	c BEGIN-Prog: Thu Sep 12 15:06:42 CEST 2019
838.61/695.07	c PID: 9078
838.61/695.07	c IP: 172.20.3.126
838.61/695.07	c HOST: node126.alineos.net
838.61/695.07	c (0,0) SatSolver.solve Begin
838.61/695.07	c (0,0) HOME/glueminisat-simp-2.2.10-193oa-n-release -model -verb=3 -elim-cl=5000000 -native-oa HOME/instance-4387971-1568292944.xml-scop-8978.cnf
838.83/695.11	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
838.83/695.11	c (0,0) c glueminisat-simp-2.2.10-193oa-n
838.83/695.11	c (0,0) c Command: HOME/glueminisat-simp-2.2.10-193oa-n-release -model -verb=3 -elim-cl=5000000 -native-oa HOME/instance-4387971-1568292944.xml-scop-8978.cnf 
838.83/695.11	c (0,0) c Options:
838.83/695.11	c (0,0) c CORE
838.83/695.11	c (0,0) c  var_decay             = 0.950
838.83/695.11	c (0,0) c  clause_decay          = 0.999
838.83/695.11	c (0,0) c  random_var_freq       = 0.000
838.83/695.11	c (0,0) c  random_seed           = 91648253.000
838.83/695.11	c (0,0) c  luby_restart          = 1
838.83/695.11	c (0,0) c  ccmin_mode            = 2
838.83/695.11	c (0,0) c  phase_saving          = 2
838.83/695.11	c (0,0) c  rnd_pol               = 0
838.83/695.11	c (0,0) c  rnd_init_act          = 0
838.83/695.11	c (0,0) c  garbage_frac          = 0.200
838.83/695.11	c (0,0) c  restart_first         = 1000
838.83/695.11	c (0,0) c  restart_inc           = 2.000
838.83/695.11	c (0,0) c MODEL
838.83/695.11	c (0,0) c  partial_model         = 0
838.83/695.11	c (0,0) c PROPAGATION
838.83/695.11	c (0,0) c  bin_propagation       = 1
838.83/695.11	c (0,0) c SIMPLIFICATION
838.83/695.11	c (0,0) c  lrn_min_size          = 100
838.83/695.11	c (0,0) c  lazy_simp             = 1
838.83/695.11	c (0,0) c  lazy_interval         = 10
838.83/695.11	c (0,0) c  lazy_fld_probing      = 1
838.83/695.11	c (0,0) c  lazy_pol_probing      = 1
838.83/695.11	c (0,0) c  lazy_nec_probing      = 1
838.83/695.11	c (0,0) c  lazy_eqv_probing      = 1
838.83/695.11	c (0,0) c  lazy_cla_probing      = 1
838.83/695.11	c (0,0) c  lazy_lrn_min          = 2
838.83/695.11	c (0,0) c  lazy_uw_lit_elim      = 1
838.83/695.11	c (0,0) c  lazy_pr_lit_elim      = 0
838.83/695.11	c (0,0) c  lazy_bin_add          = 3
838.83/695.11	c (0,0) c  probed_lit_chain      = 1
838.83/695.11	c (0,0) c  pr_min_lits           = 0.00020
838.83/695.11	c (0,0) c  pr_min_starts         = 500
838.83/695.11	c (0,0) c  rw_min_lits           = 0.010
838.83/695.11	c (0,0) c  rw_min_starts         = 500
838.83/695.11	c (0,0) c  rand_attach           = 0
838.83/695.11	c (0,0) c  dec_elim              = 1
838.83/695.11	c (0,0) c  dec_elim_lim          = 25
838.83/695.11	c (0,0) c  dec_elim_len          = -1
838.83/695.11	c (0,0) c  amo                   = 0
838.83/695.11	c (0,0) c  amo_grp               = 1
838.83/695.11	c (0,0) c  amo_max_bins          = 1000000
838.83/695.11	c (0,0) c  amo_starts            = 50
838.83/695.11	c (0,0) c  mace_cmd              = mace
838.83/695.11	c (0,0) c DECISION
838.83/695.11	c (0,0) c  rand_rebuild          = 0
838.83/695.11	c (0,0) c  rand_rebuild_confs    = 10000
838.83/695.11	c (0,0) c  inc_var_decay         = 1
838.83/695.11	c (0,0) c  inc_var_decay_period  = 100000
838.83/695.11	c (0,0) c  inc_var_decay_init    = 0.600
838.83/695.11	c (0,0) c  var_decay_mode        = 0
838.83/695.11	c (0,0) c  var_decay_gain        = 0
838.83/695.11	c (0,0) c  sloped_var_decay      = 1
838.83/695.11	c (0,0) c  max_var_decay         = 0.990
838.83/695.11	c (0,0) c  min_var_decay         = 0.950
838.83/695.11	c (0,0) c  min_var_decay_vars    = 10000
838.83/695.11	c (0,0) c  max_var_decay_vars    = 500
838.83/695.11	c (0,0) c  uip_bumping           = 1
838.83/695.11	c (0,0) c  lbd_act_bumping       = 1
838.83/695.11	c (0,0) c  rand_tiebreak         = 0
838.83/695.11	c (0,0) c  simp_rebuild          = 1
838.83/695.11	c (0,0) c RESTART
838.83/695.11	c (0,0) c  restart_strategy      = 2
838.83/695.11	c (0,0) c  restart_blocking      = 0
838.83/695.11	c (0,0) c  agility_decay         = 0.99990
838.83/695.11	c (0,0) c  lbd_restart_rate      = 0.800
838.83/695.11	c (0,0) c  dec_restart_rate      = 0.950
838.83/695.11	c (0,0) c  blk_restart_rate      = 0.700
838.83/695.11	c (0,0) c  lbd_queue_size        = 50
838.83/695.11	c (0,0) c  dec_queue_size        = 50
838.83/695.11	c (0,0) c  trl_queue_size        = 5000
838.83/695.11	c (0,0) c  blk_restart_weight    = 1.000
838.83/695.11	c (0,0) c  inc_rst_rate          = 0
838.83/695.11	c (0,0) c  inc_rst_rate_period   = 500000
838.83/695.11	c (0,0) c  inc_lbd_rst_rate_init = 0.600
838.83/695.11	c (0,0) c  inc_dec_rst_rate_init = 0.750
838.83/695.11	c (0,0) c REDUCTION
838.83/695.11	c (0,0) c  closed_lbd            = 0
838.83/695.11	c (0,0) c  closed_lbd_rate       = 0.500
838.83/695.11	c (0,0) c  rm_simulate           = 0
838.83/695.11	c (0,0) c  rdb_eval              = 2
838.83/695.11	c (0,0) c  rdb_call              = 3
838.83/695.11	c (0,0) c  rdb_ub                = 0.500
838.83/695.11	c (0,0) c  core_lbd_cvr          = 0.800
838.83/695.11	c (0,0) c  supp_lbd_cvr          = 0.990
838.83/695.11	c (0,0) c  core_lbd_lb           = 2
838.83/695.11	c (0,0) c  supp_lbd_lb           = 2
838.83/695.11	c (0,0) c  core_lbd_prd          = 7
838.83/695.11	c (0,0) c  supp_lbd_prd          = 1
838.83/695.11	c (0,0) c  othr_lbd_prd          = 0
838.83/695.11	c (0,0) c  inc_lrn_limit         = 1000
838.83/695.11	c (0,0) c  frozen_lbd            = 30
838.83/695.11	c (0,0) c  simp_min_starts       = 100
838.83/695.11	c (0,0) c  rm_low_act_learnts    = 1
838.83/695.11	c (0,0) c  lv0_reduce_db         = 0
838.83/695.11	c (0,0) c  reduce_db_base        = 20000
838.83/695.11	c (0,0) c  reduce_db_inc         = 1000
838.83/695.11	c (0,0) c HARD
838.83/695.11	c (0,0) c  inst_check            = 200000
838.83/695.11	c (0,0) c  small_block           = 1.750
838.83/695.11	c (0,0) c  slow_restart_speed    = 400.000
838.83/695.11	c (0,0) c  slow_restart_strategy = 3
838.83/695.11	c (0,0) c  slow_lbd_restart_rate = 0.700
838.83/695.11	c (0,0) c  slow_dec_restart_rate = 1.000
838.83/695.11	c (0,0) c  slow_lbd_queue_size   = 50
838.83/695.11	c (0,0) c  slow_var_decay        = 0.950
838.83/695.11	c (0,0) c  slow_glue_threshold   = 2
838.83/695.11	c (0,0) c  slow_phase_saving     = 2
838.83/695.11	c (0,0) c  fast_restart_speed    = 125.000
838.83/695.11	c (0,0) c  fast_restart_strategy = 1
838.83/695.11	c (0,0) c  fast_lbd_restart_rate = 0.800
838.83/695.11	c (0,0) c  fast_dec_restart_rate = 0.950
838.83/695.11	c (0,0) c  fast_lbd_queue_size   = 50
838.83/695.11	c (0,0) c  fast_var_decay        = 1.000
838.83/695.11	c (0,0) c  fast_glue_threshold   = 2
838.83/695.11	c (0,0) c  fast_phase_saving     = 2
838.83/695.11	c (0,0) c STATS
838.83/695.11	c (0,0) c  stats_conf_size       = 10000
838.83/695.11	c (0,0) c  max_stats_size        = 30
838.83/695.11	c (0,0) c SOLVER
838.83/695.11	c (0,0) c  minisat               = 0
854.94/711.18	c (16,0) c Problem: 638953 variables, 43677667 clauses, parsing 14.88 s
856.94/713.17	c (18,0) c  exclude 676 (0.1%) variables from decision variables (last cost 15)
859.23/715.47	c (20,0) c Simplification: 676 vars, 0 clauses are eliminated using 4.03 s
859.23/715.47	c (20,0) c
859.23/715.47	c (20,0) c        #Rstrts   #Confs   #Vars   #Clauses  #Learnts Lits/C LBD/C DLVs Trail
859.23/715.47	c (20,0) c
859.23/715.47	c (20,0) c   20         0         0   638277 43677667        0   -nan  -nan  -nan -nan%
861.73/717.92	c (23,0) c   22         1         7   638277 43677667        7   21.0   2.7  26.6 42.6%
861.73/717.95	c (23,0) c
861.73/717.95	c (23,0) c
861.73/717.95	c (23,0) c variables         : 638277      (init 638953, after simp 638277, 676 non-decs, 250 csp)
861.73/717.95	c (23,0) c clauses           : 43677667    (init 43677667, after simp 43677667)
861.73/717.95	c (23,0) c restarts          : 0           (7.00 confs/res, 7~7 confs, 0 blks, 0 last)
861.73/717.95	c (23,0) c conflicts         : 7           (0 /sec, 57.14% dconfs, 0.00% supp, trail 67106.93w x 26.57h, jmp 21.14h)
861.73/717.95	c (23,0) c decisions         : 150         (0.6000 vdcy, 7 /sec, 0.00% bin, rs 0.000 s)
861.73/717.95	c (23,0) c propagations      : 1512277     (70724 /sec, 10081.85 lits/dec, 24.16% o.a.)
861.73/717.95	c (23,0) c conflict literals : 259         (43.24% deleted; 0.00% by bin min, 0.000 s)
861.73/717.95	c (23,0) c len               : 21.000      (21.00 for all, max 39, used 36)
861.73/717.95	c (23,0) c lbd               : 2.714       (3.14 (2.71) for all, max 4, used 3, 0.471 stdev, 6.682 blk)
861.73/717.95	c (23,0) c amo               : 0           (0 max, -nan avg, 0.000 s)
861.73/717.95	c (23,0) c simp dbs          : 0           (0.000 s)
861.73/717.95	c (23,0) c reduce dbs        : 0           (core-lbd 2, supp-lbd 2147483647, 0.000 s)
861.73/717.95	c (23,0) c learnts           : 7           (0 learnts removed, 0.00%)
861.73/717.95	c (23,0) c rewrite dbs       : 0           (0/0 vars, 0+0 taut, 0+0 unit, 0.000 s)
861.73/717.95	c (23,0) c assigned lits     : 0           (0/0 probed, 0 remains)
861.73/717.95	c (23,0) c premise updates   : 0           (0.00 /lit)
861.73/717.95	c (23,0) c probed variables  : 0           (0 pr, 0 eq, 0 fld, 0 pol, 0 nec, 0 cla, 0 amo)
861.73/717.95	c (23,0) c equiv variables   : 0           (0 bin, 0 trn, 0 quat, 0 quin, 0 othr; 0 amo)
861.73/717.95	c (23,0) c lazy added bins   : 0           (0 prop + 0 conf, 0.000s)
861.73/717.95	c (23,0) c unwatched lit elim: 0           (0.00+0.00%, 0+0 of 130323147+259)
861.73/717.95	c (23,0) c classified type   : undef
861.73/717.95	c (23,0) c progress          : 0.000 %
861.73/717.95	c (23,0) c
861.73/717.95	c (23,0) c [Statistics]
861.73/717.95	c (23,0) c             learnts len        learnts lbd        lit blk size       eq vars size
861.73/717.95	c (23,0) c  tot           7                  7                 22                  0
861.73/717.95	c (23,0) c  avg      21.000              2.714              6.682               -nan
861.73/717.95	c (23,0) c   1            0 ( 0.0%)          0 ( 0.0%)         15 (68.2%)          0 (-nan%)
861.73/717.95	c (23,0) c   2            0 ( 0.0%)          3 (42.9%)          0 ( 0.0%)          0 (-nan%)
861.73/717.95	c (23,0) c   3            0 ( 0.0%)          3 (42.9%)          0 ( 0.0%)          0 (-nan%)
861.73/717.95	c (23,0) c   4            0 ( 0.0%)          1 (14.3%)          0 ( 0.0%)          0 (-nan%)
861.73/717.95	c (23,0) c   5            0 ( 0.0%)          0 ( 0.0%)          0 ( 0.0%)          0 (-nan%)
861.73/717.95	c (23,0) c   6            0 ( 0.0%)          0 ( 0.0%)          1 ( 4.5%)          0 (-nan%)
861.73/717.95	c (23,0) c   7            0 ( 0.0%)          0 ( 0.0%)          0 ( 0.0%)          0 (-nan%)
861.73/717.95	c (23,0) c   8            0 ( 0.0%)          0 ( 0.0%)          1 ( 4.5%)          0 (-nan%)
861.73/717.95	c (23,0) c   9            1 (14.3%)          0 ( 0.0%)          0 ( 0.0%)          0 (-nan%)
861.73/717.95	c (23,0) c  10            0 ( 0.0%)          0 ( 0.0%)          1 ( 4.5%)          0 (-nan%)
861.73/717.95	c (23,0) c  11            1 (14.3%)          0 ( 0.0%)          1 ( 4.5%)          0 (-nan%)
861.73/717.95	c (23,0) c  12            1 (14.3%)          0 ( 0.0%)          0 ( 0.0%)          0 (-nan%)
861.73/717.95	c (23,0) c  13            1 (14.3%)          0 ( 0.0%)          0 ( 0.0%)          0 (-nan%)
861.73/717.95	c (23,0) c  14            0 ( 0.0%)          0 ( 0.0%)          0 ( 0.0%)          0 (-nan%)
861.73/717.95	c (23,0) c  15            0 ( 0.0%)          0 ( 0.0%)          0 ( 0.0%)          0 (-nan%)
861.73/717.95	c (23,0) c  16            0 ( 0.0%)          0 ( 0.0%)          0 ( 0.0%)          0 (-nan%)
861.73/717.95	c (23,0) c  17            0 ( 0.0%)          0 ( 0.0%)          0 ( 0.0%)          0 (-nan%)
861.73/717.95	c (23,0) c  18            0 ( 0.0%)          0 ( 0.0%)          0 ( 0.0%)          0 (-nan%)
861.73/717.95	c (23,0) c  19            0 ( 0.0%)          0 ( 0.0%)          0 ( 0.0%)          0 (-nan%)
861.73/717.95	c (23,0) c  20            0 ( 0.0%)          0 ( 0.0%)          0 ( 0.0%)          0 (-nan%)
861.73/717.95	c (23,0) c  21            0 ( 0.0%)          0 ( 0.0%)          0 ( 0.0%)          0 (-nan%)
861.73/717.95	c (23,0) c  22            0 ( 0.0%)          0 ( 0.0%)          0 ( 0.0%)          0 (-nan%)
861.73/717.95	c (23,0) c  23            0 ( 0.0%)          0 ( 0.0%)          0 ( 0.0%)          0 (-nan%)
861.73/717.95	c (23,0) c  24            0 ( 0.0%)          0 ( 0.0%)          0 ( 0.0%)          0 (-nan%)
861.73/717.95	c (23,0) c  25            0 ( 0.0%)          0 ( 0.0%)          1 ( 4.5%)          0 (-nan%)
861.73/717.95	c (23,0) c  26            0 ( 0.0%)          0 ( 0.0%)          0 ( 0.0%)          0 (-nan%)
861.73/717.95	c (23,0) c  27            1 (14.3%)          0 ( 0.0%)          0 ( 0.0%)          0 (-nan%)
861.73/717.95	c (23,0) c  28            0 ( 0.0%)          0 ( 0.0%)          0 ( 0.0%)          0 (-nan%)
861.73/717.95	c (23,0) c  29            0 ( 0.0%)          0 ( 0.0%)          0 ( 0.0%)          0 (-nan%)
861.73/717.95	c (23,0) c  30            2 (28.6%)          0 ( 0.0%)          2 ( 9.1%)          0 (-nan%)
861.73/717.95	c (23,0) c
861.73/717.95	c (23,0) c [LBD Statistics]
861.73/717.95	c (23,0) c LBD          used lbd               used clause lbd         unused clause lbd
861.73/717.95	c (23,0) c  tot            3                       3                       4
861.73/717.95	c (23,0) c  avg        2.667                   2.667                   2.750
861.73/717.95	c (23,0) c    1            0 ( 0.0/ 0.0%)          0 ( 0.0/ 0.0%)          0 ( 0.0/ 0.0%)
861.73/717.95	c (23,0) c    2            1 (33.3/33.3%)          1 (33.3/33.3%)          2 (50.0/50.0%)
861.73/717.95	c (23,0) c    3            2 (66.7/100.0%)          2 (66.7/100.0%)          1 (25.0/75.0%)
861.73/717.95	c (23,0) c    4            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          1 (25.0/100.0%)
861.73/717.95	c (23,0) c
861.73/717.95	c (23,0) c Memory used       : 4704.00 MB
861.73/717.95	c (23,0) c CPU time          : 21.383 s
861.73/717.95	c (23,0) c Real time         : 22.854 s
861.73/717.95	c (23,0) c
861.73/717.96	c (23,0) s SATISFIABLE
862.53/718.33	c (23,0) SatSolver.solve End
862.53/718.33	c (23,0) Heap : 241 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
862.53/718.33	c (23,0) Show results Begin
862.72/718.48	c (23,0) x[0] = 0
862.72/718.48	c (23,0) x[1] = 82
862.72/718.48	c (23,0) x[2] = 86
862.72/718.48	c (23,0) x[3] = 388
862.72/718.48	c (23,0) x[4] = 498
862.72/718.48	c (23,0) x[5] = 258
862.72/718.48	c (23,0) x[6] = 312
862.72/718.48	c (23,0) x[7] = 406
862.72/718.48	c (23,0) x[8] = 416
862.72/718.48	c (23,0) x[9] = 520
862.72/718.48	c (23,0) x[10] = 120
862.72/718.48	c (23,0) x[11] = 325
862.72/718.48	c (23,0) x[12] = 429
862.72/718.48	c (23,0) x[13] = 185
862.72/718.48	c (23,0) x[14] = 43
862.72/718.48	c (23,0) x[15] = 145
862.72/718.48	c (23,0) x[16] = 180
862.72/718.48	c (23,0) x[17] = 233
862.72/718.48	c (23,0) x[18] = 396
862.72/718.48	c (23,0) x[19] = 70
862.72/718.48	c (23,0) x[20] = 187
862.72/718.48	c (23,0) x[21] = 311
862.72/718.48	c (23,0) x[22] = 403
862.72/718.48	c (23,0) x[23] = 254
862.72/718.48	c (23,0) x[24] = 322
862.72/718.48	c (23,0) x[25] = 379
862.72/718.48	c (23,0) x[26] = 492
862.72/718.48	c (23,0) x[27] = 168
862.72/718.48	c (23,0) x[28] = 320
862.72/718.48	c (23,0) x[29] = 378
862.72/718.48	c (23,0) x[30] = 604
862.72/718.48	c (23,0) x[31] = 42
862.72/718.48	c (23,0) x[32] = 256
862.72/718.48	c (23,0) x[33] = 428
862.72/718.48	c (23,0) x[34] = 462
862.72/718.48	c (23,0) x[35] = 616
862.72/718.48	c (23,0) x[36] = 24
862.72/718.48	c (23,0) x[37] = 39
862.72/718.48	c (23,0) x[38] = 230
862.72/718.48	c (23,0) x[39] = 74
862.72/718.48	c (23,0) x[40] = 227
862.72/718.48	c (23,0) x[41] = 335
862.72/718.48	c (23,0) x[42] = 270
862.72/718.48	c (23,0) x[43] = 375
862.72/718.48	c (23,0) x[44] = 263
862.72/718.48	c (23,0) x[45] = 89
862.72/718.48	c (23,0) x[46] = 303
862.72/718.48	c (23,0) x[47] = 503
862.72/718.48	c (23,0) x[48] = 527
862.72/718.48	c (23,0) x[49] = 338
862.72/718.48	c (23,0) x[50] = 476
862.72/718.48	c (23,0) x[51] = 319
862.72/718.48	c (23,0) x[52] = 573
862.72/718.48	c (23,0) x[53] = 76
862.72/718.48	c (23,0) x[54] = 511
862.72/718.48	c (23,0) x[55] = 152
862.72/718.48	c (23,0) x[56] = 279
862.72/718.48	c (23,0) x[57] = 434
862.72/718.48	c (23,0) x[58] = 352
862.72/718.48	c (23,0) x[59] = 333
862.72/718.48	c (23,0) x[60] = 602
862.72/718.48	c (23,0) x[61] = 176
862.72/718.48	c (23,0) x[62] = 308
862.72/718.48	c (23,0) x[63] = 64
862.72/718.48	c (23,0) x[64] = 437
862.72/718.48	c (23,0) x[65] = 471
862.72/718.48	c (23,0) x[66] = 596
862.72/718.48	c (23,0) x[67] = 58
862.72/718.48	c (23,0) x[68] = 205
862.72/718.48	c (23,0) x[69] = 236
862.72/718.48	c (23,0) x[70] = 93
862.72/718.48	c (23,0) x[71] = 156
862.72/718.48	c (23,0) x[72] = 535
862.72/718.48	c (23,0) x[73] = 31
862.72/718.48	c (23,0) x[74] = 350
862.72/718.48	c (23,0) x[75] = 472
862.72/718.48	c (23,0) x[76] = 108
862.72/718.48	c (23,0) x[77] = 487
862.72/718.48	c (23,0) x[78] = 386
862.72/718.48	c (23,0) x[79] = 103
862.72/718.48	c (23,0) x[80] = 151
862.72/718.48	c (23,0) x[81] = 570
862.72/718.48	c (23,0) x[82] = 368
862.72/718.48	c (23,0) x[83] = 580
862.72/718.48	c (23,0) x[84] = 344
862.72/718.48	c (23,0) x[85] = 455
862.72/718.48	c (23,0) x[86] = 15
862.72/718.48	c (23,0) x[87] = 215
862.72/718.48	c (23,0) x[88] = 347
862.72/718.48	c (23,0) x[89] = 362
862.72/718.48	c (23,0) x[90] = 415
862.72/718.48	c (23,0) x[91] = 494
862.72/718.48	c (23,0) x[92] = 47
862.72/718.48	c (23,0) x[93] = 295
862.72/718.48	c (23,0) x[94] = 479
862.72/718.48	c (23,0) x[95] = 52
862.72/718.48	c (23,0) x[96] = 26
862.72/718.48	c (23,0) x[97] = 447
862.72/718.48	c (23,0) x[98] = 104
862.72/718.48	c (23,0) x[99] = 558
862.72/718.48	c (23,0) x[100] = 474
862.72/718.48	c (23,0) x[101] = 507
862.72/718.48	c (23,0) x[102] = 404
862.72/718.48	c (23,0) x[103] = 433
862.72/718.48	c (23,0) x[104] = 623
862.72/718.48	c (23,0) x[105] = 484
862.72/718.48	c (23,0) x[106] = 525
862.72/718.48	c (23,0) x[107] = 617
862.72/718.48	c (23,0) x[108] = 193
862.72/718.48	c (23,0) x[109] = 56
862.72/718.48	c (23,0) x[110] = 65
862.72/718.48	c (23,0) x[111] = 414
862.72/718.48	c (23,0) x[112] = 442
862.72/718.48	c (23,0) x[113] = 11
862.72/718.48	c (23,0) x[114] = 480
862.72/718.48	c (23,0) x[115] = 555
862.72/718.48	c (23,0) x[116] = 470
862.72/718.48	c (23,0) x[117] = 543
862.72/718.48	c (23,0) x[118] = 77
862.72/718.48	c (23,0) x[119] = 243
862.72/718.48	c (23,0) x[120] = 369
862.72/718.48	c (23,0) x[121] = 191
862.72/718.48	c (23,0) x[122] = 618
862.72/718.48	c (23,0) x[123] = 149
862.72/718.48	c (23,0) x[124] = 345
862.72/718.48	c (23,0) x[125] = 336
862.72/718.48	c (23,0) x[126] = 561
862.72/718.48	c (23,0) x[127] = 25
862.72/718.48	c (23,0) x[128] = 54
862.72/718.48	c (23,0) x[129] = 274
862.72/718.48	c (23,0) x[130] = 430
862.72/718.48	c (23,0) x[131] = 544
862.72/718.48	c (23,0) x[132] = 242
862.72/718.48	c (23,0) x[133] = 244
862.72/718.48	c (23,0) x[134] = 16
862.72/718.48	c (23,0) x[135] = 33
862.72/718.48	c (23,0) x[136] = 300
862.72/718.48	c (23,0) x[137] = 376
862.72/718.48	c (23,0) x[138] = 486
862.72/718.48	c (23,0) x[139] = 123
862.72/718.48	c (23,0) x[140] = 179
862.72/718.48	c (23,0) x[141] = 473
862.72/718.48	c (23,0) x[142] = 261
862.72/718.48	c (23,0) x[143] = 622
862.72/718.48	c (23,0) x[144] = 121
862.72/718.48	c (23,0) x[145] = 167
862.72/718.48	c (23,0) x[146] = 475
862.72/718.48	c (23,0) x[147] = 539
862.72/718.48	c (23,0) x[148] = 582
862.72/718.48	c (23,0) x[149] = 80
862.72/718.48	c (23,0) x[150] = 101
862.72/718.48	c (23,0) x[151] = 161
862.72/718.48	c (23,0) x[152] = 326
862.72/718.48	c (23,0) x[153] = 252
862.72/718.48	c (23,0) x[154] = 318
862.72/718.48	c (23,0) x[155] = 342
862.72/718.48	c (23,0) x[156] = 355
862.72/718.48	c (23,0) x[157] = 427
862.72/718.48	c (23,0) x[158] = 37
862.72/718.48	c (23,0) x[159] = 466
862.72/718.48	c (23,0) x[160] = 248
862.72/718.48	c (23,0) x[161] = 446
862.72/718.48	c (23,0) x[162] = 540
862.72/718.48	c (23,0) x[163] = 489
862.72/718.48	c (23,0) x[164] = 409
862.72/718.48	c (23,0) x[165] = 567
862.72/718.48	c (23,0) x[166] = 63
862.72/718.48	c (23,0) x[167] = 217
862.72/718.48	c (23,0) x[168] = 560
862.72/718.48	c (23,0) x[169] = 136
862.72/718.48	c (23,0) x[170] = 353
862.72/718.48	c (23,0) x[171] = 523
862.72/718.48	c (23,0) x[172] = 321
862.72/718.48	c (23,0) x[173] = 384
862.72/718.48	c (23,0) x[174] = 88
862.72/718.48	c (23,0) x[175] = 290
862.72/718.48	c (23,0) x[176] = 436
862.72/718.48	c (23,0) x[177] = 611
862.72/718.48	c (23,0) x[178] = 365
862.72/718.48	c (23,0) x[179] = 400
862.72/718.48	c (23,0) x[180] = 159
862.72/718.48	c (23,0) x[181] = 444
862.72/718.48	c (23,0) x[182] = 8
862.72/718.48	c (23,0) x[183] = 272
862.72/718.48	c (23,0) x[184] = 231
862.72/718.48	c (23,0) x[185] = 599
862.72/718.48	c (23,0) x[186] = 586
862.72/718.48	c (23,0) x[187] = 372
862.72/718.48	c (23,0) x[188] = 536
862.72/718.48	c (23,0) x[189] = 387
862.72/718.48	c (23,0) x[190] = 419
862.72/718.48	c (23,0) x[191] = 87
862.72/718.48	c (23,0) x[192] = 615
862.72/718.48	c (23,0) x[193] = 621
862.72/718.48	c (23,0) x[194] = 28
862.72/718.48	c (23,0) x[195] = 229
862.72/718.48	c (23,0) x[196] = 504
862.72/718.48	c (23,0) x[197] = 496
862.72/718.48	c (23,0) x[198] = 497
862.72/718.48	c (23,0) x[199] = 153
862.72/718.48	c (23,0) x[200] = 408
862.72/718.48	c (23,0) x[201] = 213
862.72/718.48	c (23,0) x[202] = 299
862.72/718.48	c (23,0) x[203] = 381
862.72/718.48	c (23,0) x[204] = 184
862.72/718.48	c (23,0) x[205] = 394
862.72/718.48	c (23,0) x[206] = 304
862.72/718.48	c (23,0) x[207] = 111
862.72/718.48	c (23,0) x[208] = 49
862.72/718.48	c (23,0) x[209] = 518
862.72/718.48	c (23,0) x[210] = 48
862.72/718.48	c (23,0) x[211] = 339
862.72/718.48	c (23,0) x[212] = 488
862.72/718.48	c (23,0) x[213] = 485
862.72/718.48	c (23,0) x[214] = 499
862.72/718.48	c (23,0) x[215] = 247
862.72/718.48	c (23,0) x[216] = 59
862.72/718.48	c (23,0) x[217] = 147
862.72/718.48	c (23,0) x[218] = 351
862.72/718.48	c (23,0) x[219] = 502
862.72/718.48	c (23,0) x[220] = 163
862.72/718.48	c (23,0) x[221] = 514
862.72/718.48	c (23,0) x[222] = 40
862.72/718.48	c (23,0) x[223] = 450
862.72/718.48	c (23,0) x[224] = 590
862.72/718.48	c (23,0) x[225] = 495
862.72/718.48	c (23,0) x[226] = 255
862.72/718.48	c (23,0) x[227] = 53
862.72/718.48	c (23,0) x[228] = 493
862.72/718.48	c (23,0) x[229] = 574
862.72/718.48	c (23,0) x[230] = 324
862.72/718.48	c (23,0) x[231] = 424
862.72/718.48	c (23,0) x[232] = 198
862.72/718.48	c (23,0) x[233] = 44
862.72/718.48	c (23,0) x[234] = 45
862.72/718.48	c (23,0) x[235] = 262
862.72/718.48	c (23,0) x[236] = 392
862.72/718.48	c (23,0) x[237] = 614
862.72/718.48	c (23,0) x[238] = 23
862.72/718.48	c (23,0) x[239] = 155
862.72/718.48	c (23,0) x[240] = 310
862.72/718.48	c (23,0) x[241] = 139
862.72/718.48	c (23,0) x[242] = 112
862.72/718.49	c (23,0) x[243] = 385
862.72/718.49	c (23,0) x[244] = 359
862.72/718.49	c (23,0) x[245] = 453
862.72/718.49	c (23,0) x[246] = 354
862.72/718.49	c (23,0) x[247] = 190
862.72/718.49	c (23,0) x[248] = 348
862.72/718.49	c (23,0) x[249] = 71
862.72/718.49	s SATISFIABLE
862.72/718.49	v <instantiation>
862.72/718.49	v     <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[77] x[78] x[79] x[80] x[81] x[82] x[83] x[84] x[85] x[86] x[87] x[88] x[89] x[90] x[91] x[92] x[93] x[94] x[95] x[96] x[97] x[98] x[99] x[100] x[101] x[102] x[103] x[104] x[105] x[106] x[107] x[108] x[109] x[110] x[111] x[112] x[113] x[114] x[115] x[116] x[117] x[118] x[119] x[120] x[121] x[122] x[123] x[124] x[125] x[126] x[127] x[128] x[129] x[130] x[131] x[132] x[133] x[134] x[135] x[136] x[137] x[138] x[139] x[140] x[141] x[142] x[143] x[144] x[145] x[146] x[147] x[148] x[149] x[150] x[151] x[152] x[153] x[154] x[155] x[156] x[157] x[158] x[159] x[160] x[161] x[162] x[163] x[164] x[165] x[166] x[167] x[168] x[169] x[170] x[171] x[172] x[173] x[174] x[175] x[176] x[177] x[178] x[179] x[180] x[181] x[182] x[183] x[184] x[185] x[186] x[187] x[188] x[189] x[190] x[191] x[192] x[193] x[194] x[195] x[196] x[197] x[198] x[199] x[200] x[201] x[202] x[203] x[204] x[205] x[206] x[207] x[208] x[209] x[210] x[211] x[212] x[213] x[214] x[215] x[216] x[217] x[218] x[219] x[220] x[221] x[222] x[223] x[224] x[225] x[226] x[227] x[228] x[229] x[230] x[231] x[232] x[233] x[234] x[235] x[236] x[237] x[238] x[239] x[240] x[241] x[242] x[243] x[244] x[245] x[246] x[247] x[248] x[249]</list>
862.72/718.49	v     <values>0 82 86 388 498 258 312 406 416 520 120 325 429 185 43 145 180 233 396 70 187 311 403 254 322 379 492 168 320 378 604 42 256 428 462 616 24 39 230 74 227 335 270 375 263 89 303 503 527 338 476 319 573 76 511 152 279 434 352 333 602 176 308 64 437 471 596 58 205 236 93 156 535 31 350 472 108 487 386 103 151 570 368 580 344 455 15 215 347 362 415 494 47 295 479 52 26 447 104 558 474 507 404 433 623 484 525 617 193 56 65 414 442 11 480 555 470 543 77 243 369 191 618 149 345 336 561 25 54 274 430 544 242 244 16 33 300 376 486 123 179 473 261 622 121 167 475 539 582 80 101 161 326 252 318 342 355 427 37 466 248 446 540 489 409 567 63 217 560 136 353 523 321 384 88 290 436 611 365 400 159 444 8 272 231 599 586 372 536 387 419 87 615 621 28 229 504 496 497 153 408 213 299 381 184 394 304 111 49 518 48 339 488 485 499 247 59 147 351 502 163 514 40 450 590 495 255 53 493 574 324 424 198 44 45 262 392 614 23 155 310 139 112 385 359 453 354 190 348 71</values>
862.72/718.49	v </instantiation>
862.72/718.49	c (23,0) Show results End
862.72/718.49	c (23,0) Heap : 261 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB)
862.72/718.49	c (23,0) 23,23,STOP-AFTER(ALL)
862.72/718.49	c END-Prog: Thu Sep 12 15:07:05 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 (9050 MiB free)
  memory of node 1: 16384 MiB (14215 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4387971-1568292944/watcher-4387971-1568292944 -o /tmp/evaluation-result-4387971-1568292944/solver-4387971-1568292944 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node126-1568286203-6147 --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-4387971-1568292944.xml 

running on 4 cores: 1,3,5,7

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


[startup+0.100059 s]*
/proc/loadavg: 2.09 2.56 3.01 3/229 8992
/proc/meminfo: memFree=23763776/32770624 swapFree=67004752/67108860
[pid=8975] ppid=8972 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/8975/stat : 8975 (scop.sh) S 8972 8975 5150 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 405562263 115843072 349 33554432000 4194304 5098028 140728746064384 140728746061640 140593900864124 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 11005952 140728746070824 140728746071152 140728746071152 140728746074061 0
/proc/8975/statm: 28282 349 296 221 0 87 0
[pid=8978] ppid=8975 vsize=15012696 memory=74304 CPUtime=0.12 cores=1,3,5,7
/proc/8978/stat : 8978 (java) S 8975 8975 5150 0 -1 1077944320 6809 0 0 0 10 2 0 0 20 0 15 0 405562264 15373000704 18576 33554432000 4194304 4196468 140733993590944 140733993573488 139947887615735 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37646336 140733993595631 140733993596058 140733993596058 140733993598927 0
/proc/8978/statm: 3753174 18576 2938 1 0 3715579 0
[pid=8978/tid=8979] ppid=8975 vsize=15012696 memory=8252710469714192971 CPUtime=0.08 cores=1,3,5,7
/proc/8978/task/8979/stat : 8979 (java) R 8975 8975 5150 0 -1 4202560 4630 0 0 0 7 1 0 0 20 0 15 0 405562264 15373000704 18576 33554432000 4194304 4196468 140733993590944 139947859409544 139947887637661 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37646336 140733993595631 140733993596058 140733993596058 140733993598927 0
[pid=8978/tid=8980] ppid=8975 vsize=15012696 memory=-3689451258167578675 CPUtime=0 cores=1,3,5,7
/proc/8978/task/8980/stat : 8980 (java) S 8975 8975 5150 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405562265 15373000704 18576 33554432000 4194304 4196468 140733993590944 139947891858320 139947887625941 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37646336 140733993595631 140733993596058 140733993596058 140733993598927 0
[pid=8978/tid=8981] ppid=8975 vsize=15012696 memory=140162814760576 CPUtime=0 cores=1,3,5,7
/proc/8978/task/8981/stat : 8981 (java) S 8975 8975 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405562265 15373000704 18576 33554432000 4194304 4196468 140733993590944 139947690634000 139947887625941 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37646336 140733993595631 140733993596058 140733993596058 140733993598927 0
[pid=8978/tid=8982] ppid=8975 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8978/task/8982/stat : 8982 (java) S 8975 8975 5150 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405562265 15373000704 18576 33554432000 4194304 4196468 140733993590944 139947689581712 139947887625941 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37646336 140733993595631 140733993596058 140733993596058 140733993598927 0
[pid=8978/tid=8983] ppid=8975 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8978/task/8983/stat : 8983 (java) S 8975 8975 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405562265 15373000704 18576 33554432000 4194304 4196468 140733993590944 139947688528912 139947887625941 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37646336 140733993595631 140733993596058 140733993596058 140733993598927 0
[pid=8978/tid=8984] ppid=8975 vsize=15012696 memory=140162814760576 CPUtime=0 cores=1,3,5,7
/proc/8978/task/8984/stat : 8984 (java) S 8975 8975 5150 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405562267 15373000704 18576 33554432000 4194304 4196468 140733993590944 139946857801840 139947887626882 0 0 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37646336 140733993595631 140733993596058 140733993596058 140733993598927 0
[pid=8978/tid=8985] ppid=8975 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8978/task/8985/stat : 8985 (java) S 8975 8975 5150 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405562267 15373000704 18576 33554432000 4194304 4196468 140733993590944 139946476167968 139947887625941 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37646336 140733993595631 140733993596058 140733993596058 140733993598927 0
[pid=8978/tid=8986] ppid=8975 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8978/task/8986/stat : 8986 (java) S 8975 8975 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405562268 15373000704 18576 33554432000 4194304 4196468 140733993590944 139946207732848 139947887625941 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37646336 140733993595631 140733993596058 140733993596058 140733993598927 0
[pid=8978/tid=8987] ppid=8975 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8978/task/8987/stat : 8987 (java) S 8975 8975 5150 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405562270 15373000704 18576 33554432000 4194304 4196468 140733993590944 139945833224272 139947887634331 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37646336 140733993595631 140733993596058 140733993596058 140733993598927 0
[pid=8978/tid=8988] ppid=8975 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8978/task/8988/stat : 8988 (java) S 8975 8975 5150 0 -1 1077944384 311 0 0 0 0 0 0 0 20 0 15 0 405562270 15373000704 18576 33554432000 4194304 4196468 140733993590944 139946856749680 139947887626882 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37646336 140733993595631 140733993596058 140733993596058 140733993598927 0
[pid=8978/tid=8989] ppid=8975 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8978/task/8989/stat : 8989 (java) S 8975 8975 5150 0 -1 1077944384 138 0 0 0 0 0 0 0 20 0 15 0 405562270 15373000704 18576 33554432000 4194304 4196468 140733993590944 139946855696880 139947887626882 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37646336 140733993595631 140733993596058 140733993596058 140733993598927 0
[pid=8978/tid=8990] ppid=8975 vsize=15012696 memory=140162814760576 CPUtime=0.01 cores=1,3,5,7
/proc/8978/task/8990/stat : 8990 (java) S 8975 8975 5150 0 -1 1077944384 401 0 0 0 1 0 0 0 20 0 15 0 405562270 15373000704 18576 33554432000 4194304 4196468 140733993590944 139946854644592 139947887626882 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37646336 140733993595631 140733993596058 140733993596058 140733993598927 0
[pid=8978/tid=8991] ppid=8975 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8978/task/8991/stat : 8991 (java) S 8975 8975 5150 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405562270 15373000704 18576 33554432000 4194304 4196468 140733993590944 139945335319520 139947887625941 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37646336 140733993595631 140733993596058 140733993596058 140733993598927 0
[pid=8978/tid=8992] ppid=8975 vsize=15012696 memory=140162814760576 CPUtime=0 cores=1,3,5,7
/proc/8978/task/8992/stat : 8992 (java) S 8975 8975 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405562270 15373000704 18576 33554432000 4194304 4196468 140733993590944 139946853591472 139947887626882 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37646336 140733993595631 140733993596058 140733993596058 140733993598927 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 75700 KiB

[startup+0.210765 s]*
/proc/loadavg: 2.09 2.56 3.01 3/229 8992
/proc/meminfo: memFree=23745168/32770624 swapFree=67004752/67108860
[pid=8975] ppid=8972 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/8975/stat : 8975 (scop.sh) S 8972 8975 5150 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 405562263 115843072 349 33554432000 4194304 5098028 140728746064384 140728746061640 140593900864124 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 11005952 140728746070824 140728746071152 140728746071152 140728746074061 0
/proc/8975/statm: 28282 349 296 221 0 87 0
[pid=8978] ppid=8975 vsize=15012696 memory=89164 CPUtime=0.25 cores=1,3,5,7
/proc/8978/stat : 8978 (java) S 8975 8975 5150 0 -1 1077944320 11861 0 0 0 22 3 0 0 20 0 15 0 405562264 15373000704 22291 33554432000 4194304 4196468 140733993590944 140733993573488 139947887615735 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37646336 140733993595631 140733993596058 140733993596058 140733993598927 0
/proc/8978/statm: 3753174 22291 2941 1 0 3715579 0
[pid=8978/tid=8979] ppid=8975 vsize=15012696 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/8978/task/8979/stat : 8979 (java) R 8975 8975 5150 0 -1 4202560 9629 0 0 0 17 3 0 0 20 0 15 0 405562264 15373000704 22291 33554432000 4194304 4196468 140733993590944 139947859430976 139947887637661 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37646336 140733993595631 140733993596058 140733993596058 140733993598927 0
[pid=8978/tid=8980] ppid=8975 vsize=15012696 memory=8992 CPUtime=0 cores=1,3,5,7
/proc/8978/task/8980/stat : 8980 (java) S 8975 8975 5150 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405562265 15373000704 22291 33554432000 4194304 4196468 140733993590944 139947891858320 139947887625941 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37646336 140733993595631 140733993596058 140733993596058 140733993598927 0
[pid=8978/tid=8981] ppid=8975 vsize=15012696 memory=140162817692723 CPUtime=0 cores=1,3,5,7
/proc/8978/task/8981/stat : 8981 (java) S 8975 8975 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405562265 15373000704 22291 33554432000 4194304 4196468 140733993590944 139947690634000 139947887625941 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37646336 140733993595631 140733993596058 140733993596058 140733993598927 0
[pid=8978/tid=8982] ppid=8975 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8978/task/8982/stat : 8982 (java) S 8975 8975 5150 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405562265 15373000704 22291 33554432000 4194304 4196468 140733993590944 139947689581712 139947887625941 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37646336 140733993595631 140733993596058 140733993596058 140733993598927 0
[pid=8978/tid=8983] ppid=8975 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8978/task/8983/stat : 8983 (java) S 8975 8975 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405562265 15373000704 22291 33554432000 4194304 4196468 140733993590944 139947688528912 139947887625941 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37646336 140733993595631 140733993596058 140733993596058 140733993598927 0
[pid=8978/tid=8984] ppid=8975 vsize=15012696 memory=140162814760576 CPUtime=0 cores=1,3,5,7
/proc/8978/task/8984/stat : 8984 (java) S 8975 8975 5150 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405562267 15373000704 22291 33554432000 4194304 4196468 140733993590944 139946857801840 139947887626882 0 0 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37646336 140733993595631 140733993596058 140733993596058 140733993598927 0
[pid=8978/tid=8985] ppid=8975 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8978/task/8985/stat : 8985 (java) S 8975 8975 5150 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405562267 15373000704 22291 33554432000 4194304 4196468 140733993590944 139946476167968 139947887625941 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37646336 140733993595631 140733993596058 140733993596058 140733993598927 0
[pid=8978/tid=8986] ppid=8975 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8978/task/8986/stat : 8986 (java) S 8975 8975 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405562268 15373000704 22291 33554432000 4194304 4196468 140733993590944 139946207732848 139947887625941 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37646336 140733993595631 140733993596058 140733993596058 140733993598927 0
[pid=8978/tid=8987] ppid=8975 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8978/task/8987/stat : 8987 (java) S 8975 8975 5150 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405562270 15373000704 22291 33554432000 4194304 4196468 140733993590944 139945833224272 139947887634331 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37646336 140733993595631 140733993596058 140733993596058 140733993598927 0
[pid=8978/tid=8988] ppid=8975 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8978/task/8988/stat : 8988 (java) S 8975 8975 5150 0 -1 1077944384 322 0 0 0 0 0 0 0 20 0 15 0 405562270 15373000704 22291 33554432000 4194304 4196468 140733993590944 139946856749680 139947887626882 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37646336 140733993595631 140733993596058 140733993596058 140733993598927 0
[pid=8978/tid=8989] ppid=8975 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8978/task/8989/stat : 8989 (java) S 8975 8975 5150 0 -1 1077944384 171 0 0 0 0 0 0 0 20 0 15 0 405562270 15373000704 22291 33554432000 4194304 4196468 140733993590944 139946855696880 139947887626882 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37646336 140733993595631 140733993596058 140733993596058 140733993598927 0
[pid=8978/tid=8990] ppid=8975 vsize=15012696 memory=140162814760576 CPUtime=0.03 cores=1,3,5,7
/proc/8978/task/8990/stat : 8990 (java) S 8975 8975 5150 0 -1 1077944384 410 0 0 0 3 0 0 0 20 0 15 0 405562270 15373000704 22291 33554432000 4194304 4196468 140733993590944 139946854644592 139947887626882 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37646336 140733993595631 140733993596058 140733993596058 140733993598927 0
[pid=8978/tid=8991] ppid=8975 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8978/task/8991/stat : 8991 (java) S 8975 8975 5150 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405562270 15373000704 22291 33554432000 4194304 4196468 140733993590944 139945335319520 139947887625941 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37646336 140733993595631 140733993596058 140733993596058 140733993598927 0
[pid=8978/tid=8992] ppid=8975 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8978/task/8992/stat : 8992 (java) S 8975 8975 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405562270 15373000704 22291 33554432000 4194304 4196468 140733993590944 139946853591472 139947887626882 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37646336 140733993595631 140733993596058 140733993596058 140733993598927 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 90560 KiB

[startup+0.310566 s]*
/proc/loadavg: 2.09 2.56 3.01 3/229 8992
/proc/meminfo: memFree=23742624/32770624 swapFree=67004752/67108860
[pid=8975] ppid=8972 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/8975/stat : 8975 (scop.sh) S 8972 8975 5150 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 405562263 115843072 349 33554432000 4194304 5098028 140728746064384 140728746061640 140593900864124 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 11005952 140728746070824 140728746071152 140728746071152 140728746074061 0
/proc/8975/statm: 28282 349 296 221 0 87 0
[pid=8978] ppid=8975 vsize=15012696 memory=92776 CPUtime=0.44 cores=1,3,5,7
/proc/8978/stat : 8978 (java) S 8975 8975 5150 0 -1 1077944320 12207 0 0 0 40 4 0 0 20 0 15 0 405562264 15373000704 23194 33554432000 4194304 4196468 140733993590944 140733993573488 139947887615735 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37646336 140733993595631 140733993596058 140733993596058 140733993598927 0
/proc/8978/statm: 3753174 23194 3064 1 0 3715579 0
[pid=8978/tid=8979] ppid=8975 vsize=15012696 memory=1398722017469774279 CPUtime=0.3 cores=1,3,5,7
/proc/8978/task/8979/stat : 8979 (java) R 8975 8975 5150 0 -1 4202560 9811 0 0 0 27 3 0 0 20 0 15 0 405562264 15373000704 23194 33554432000 4194304 4196468 140733993590944 139947859418960 139947871659365 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37646336 140733993595631 140733993596058 140733993596058 140733993598927 0
[pid=8978/tid=8980] ppid=8975 vsize=15012696 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/8978/task/8980/stat : 8980 (java) S 8975 8975 5150 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405562265 15373000704 23194 33554432000 4194304 4196468 140733993590944 139947891858320 139947887625941 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37646336 140733993595631 140733993596058 140733993596058 140733993598927 0
[pid=8978/tid=8981] ppid=8975 vsize=15012696 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/8978/task/8981/stat : 8981 (java) S 8975 8975 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405562265 15373000704 23194 33554432000 4194304 4196468 140733993590944 139947690634000 139947887625941 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37646336 140733993595631 140733993596058 140733993596058 140733993598927 0
[pid=8978/tid=8982] ppid=8975 vsize=15012696 memory=6944656592387989600 CPUtime=0 cores=1,3,5,7
/proc/8978/task/8982/stat : 8982 (java) S 8975 8975 5150 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405562265 15373000704 23194 33554432000 4194304 4196468 140733993590944 139947689581712 139947887625941 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37646336 140733993595631 140733993596058 140733993596058 140733993598927 0
[pid=8978/tid=8983] ppid=8975 vsize=15012696 memory=8562125494162282060 CPUtime=0 cores=1,3,5,7
/proc/8978/task/8983/stat : 8983 (java) S 8975 8975 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405562265 15373000704 23194 33554432000 4194304 4196468 140733993590944 139947688528912 139947887625941 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37646336 140733993595631 140733993596058 140733993596058 140733993598927 0
[pid=8978/tid=8984] ppid=8975 vsize=15012696 memory=7151815828344251794 CPUtime=0 cores=1,3,5,7
/proc/8978/task/8984/stat : 8984 (java) S 8975 8975 5150 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405562267 15373000704 23194 33554432000 4194304 4196468 140733993590944 139946857801840 139947887626882 0 0 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37646336 140733993595631 140733993596058 140733993596058 140733993598927 0
[pid=8978/tid=8985] ppid=8975 vsize=15012696 memory=6944938067432061290 CPUtime=0 cores=1,3,5,7
/proc/8978/task/8985/stat : 8985 (java) S 8975 8975 5150 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405562267 15373000704 23194 33554432000 4194304 4196468 140733993590944 139946476167968 139947887625941 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37646336 140733993595631 140733993596058 140733993596058 140733993598927 0
[pid=8978/tid=8986] ppid=8975 vsize=15012696 memory=-9062862659931694204 CPUtime=0 cores=1,3,5,7
/proc/8978/task/8986/stat : 8986 (java) S 8975 8975 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405562268 15373000704 23194 33554432000 4194304 4196468 140733993590944 139946207732848 139947887625941 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37646336 140733993595631 140733993596058 140733993596058 140733993598927 0
[pid=8978/tid=8987] ppid=8975 vsize=15012696 memory=7100839852926015589 CPUtime=0 cores=1,3,5,7
/proc/8978/task/8987/stat : 8987 (java) S 8975 8975 5150 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405562270 15373000704 23194 33554432000 4194304 4196468 140733993590944 139945833224272 139947887634331 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37646336 140733993595631 140733993596058 140733993596058 140733993598927 0
[pid=8978/tid=8988] ppid=8975 vsize=15012696 memory=-8412656567168561567 CPUtime=0.01 cores=1,3,5,7
/proc/8978/task/8988/stat : 8988 (java) S 8975 8975 5150 0 -1 1077944384 360 0 0 0 1 0 0 0 20 0 15 0 405562270 15373000704 23194 33554432000 4194304 4196468 140733993590944 139946856749680 139947887626882 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37646336 140733993595631 140733993596058 140733993596058 140733993598927 0
[pid=8978/tid=8989] ppid=8975 vsize=15012696 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/8978/task/8989/stat : 8989 (java) S 8975 8975 5150 0 -1 1077944384 278 0 0 0 3 0 0 0 20 0 15 0 405562270 15373000704 23194 33554432000 4194304 4196468 140733993590944 139946855696880 139947887626882 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37646336 140733993595631 140733993596058 140733993596058 140733993598927 0
[pid=8978/tid=8990] ppid=8975 vsize=15012696 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8978/task/8990/stat : 8990 (java) S 8975 8975 5150 0 -1 1077944384 429 0 0 0 7 0 0 0 20 0 15 0 405562270 15373000704 23194 33554432000 4194304 4196468 140733993590944 139946854644592 139947887626882 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37646336 140733993595631 140733993596058 140733993596058 140733993598927 0
[pid=8978/tid=8991] ppid=8975 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8978/task/8991/stat : 8991 (java) S 8975 8975 5150 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405562270 15373000704 23194 33554432000 4194304 4196468 140733993590944 139945335319520 139947887625941 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37646336 140733993595631 140733993596058 140733993596058 140733993598927 0
[pid=8978/tid=8992] ppid=8975 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8978/task/8992/stat : 8992 (java) S 8975 8975 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405562270 15373000704 23194 33554432000 4194304 4196468 140733993590944 139946853591472 139947887626882 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37646336 140733993595631 140733993596058 140733993596058 140733993598927 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 94172 KiB

[startup+0.700766 s]
/proc/loadavg: 2.09 2.56 3.01 3/229 8992
/proc/meminfo: memFree=23721528/32770624 swapFree=67004752/67108860
[pid=8975] ppid=8972 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/8975/stat : 8975 (scop.sh) S 8972 8975 5150 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 405562263 115843072 349 33554432000 4194304 5098028 140728746064384 140728746061640 140593900864124 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 11005952 140728746070824 140728746071152 140728746071152 140728746074061 0
/proc/8975/statm: 28282 349 296 221 0 87 0
[pid=8978] ppid=8975 vsize=15018968 memory=129708 CPUtime=1.01 cores=1,3,5,7
/proc/8978/stat : 8978 (java) S 8975 8975 5150 0 -1 1077944320 19712 0 0 0 95 6 0 0 20 0 15 0 405562264 15379423232 32427 33554432000 4194304 4196468 140733993590944 140733993573488 139947887615735 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37646336 140733993595631 140733993596058 140733993596058 140733993598927 0
/proc/8978/statm: 3754742 32427 3190 1 0 3716091 0
[pid=8978/tid=8979] ppid=8975 vsize=15018968 memory=0 CPUtime=0.68 cores=1,3,5,7
/proc/8978/task/8979/stat : 8979 (java) R 8975 8975 5150 0 -1 4202560 16760 0 0 0 63 5 0 0 20 0 15 0 405562264 15379423232 32427 33554432000 4194304 4196468 140733993590944 139947859438400 139947871696222 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37646336 140733993595631 140733993596058 140733993596058 140733993598927 0
[pid=8978/tid=8980] ppid=8975 vsize=15018968 memory=33 CPUtime=0 cores=1,3,5,7
/proc/8978/task/8980/stat : 8980 (java) S 8975 8975 5150 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405562265 15379423232 32427 33554432000 4194304 4196468 140733993590944 139947891858320 139947887625941 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37646336 140733993595631 140733993596058 140733993596058 140733993598927 0
[pid=8978/tid=8981] ppid=8975 vsize=15018968 memory=-7604262568725289114 CPUtime=0 cores=1,3,5,7
/proc/8978/task/8981/stat : 8981 (java) S 8975 8975 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405562265 15379423232 32427 33554432000 4194304 4196468 140733993590944 139947690634000 139947887625941 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37646336 140733993595631 140733993596058 140733993596058 140733993598927 0
[pid=8978/tid=8982] ppid=8975 vsize=15018968 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8978/task/8982/stat : 8982 (java) S 8975 8975 5150 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405562265 15379423232 32427 33554432000 4194304 4196468 140733993590944 139947689581712 139947887625941 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37646336 140733993595631 140733993596058 140733993596058 140733993598927 0
[pid=8978/tid=8983] ppid=8975 vsize=15018968 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8978/task/8983/stat : 8983 (java) S 8975 8975 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405562265 15379423232 32427 33554432000 4194304 4196468 140733993590944 139947688528912 139947887625941 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37646336 140733993595631 140733993596058 140733993596058 140733993598927 0
[pid=8978/tid=8984] ppid=8975 vsize=15018968 memory=37388 CPUtime=0 cores=1,3,5,7
/proc/8978/task/8984/stat : 8984 (java) S 8975 8975 5150 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 405562267 15379423232 32427 33554432000 4194304 4196468 140733993590944 139946857801840 139947887626882 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37646336 140733993595631 140733993596058 140733993596058 140733993598927 0
[pid=8978/tid=8985] ppid=8975 vsize=15018968 memory=984 CPUtime=0 cores=1,3,5,7
/proc/8978/task/8985/stat : 8985 (java) S 8975 8975 5150 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405562267 15379423232 32427 33554432000 4194304 4196468 140733993590944 139946476167968 139947887625941 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37646336 140733993595631 140733993596058 140733993596058 140733993598927 0
[pid=8978/tid=8986] ppid=8975 vsize=15018968 memory=2004 CPUtime=0 cores=1,3,5,7
/proc/8978/task/8986/stat : 8986 (java) S 8975 8975 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405562268 15379423232 32427 33554432000 4194304 4196468 140733993590944 139946207732848 139947887625941 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37646336 140733993595631 140733993596058 140733993596058 140733993598927 0
[pid=8978/tid=8987] ppid=8975 vsize=15018968 memory=1276 CPUtime=0 cores=1,3,5,7
/proc/8978/task/8987/stat : 8987 (java) S 8975 8975 5150 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405562270 15379423232 32427 33554432000 4194304 4196468 140733993590944 139945833224272 139947887634331 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37646336 140733993595631 140733993596058 140733993596058 140733993598927 0
[pid=8978/tid=8988] ppid=8975 vsize=15018968 memory=1060 CPUtime=0.07 cores=1,3,5,7
/proc/8978/task/8988/stat : 8988 (java) R 8975 8975 5150 0 -1 4202560 605 0 0 0 7 0 0 0 20 0 15 0 405562270 15379423232 32427 33554432000 4194304 4196468 140733993590944 139946856749680 139947866923472 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37646336 140733993595631 140733993596058 140733993596058 140733993598927 0
[pid=8978/tid=8989] ppid=8975 vsize=15018968 memory=752 CPUtime=0.08 cores=1,3,5,7
/proc/8978/task/8989/stat : 8989 (java) S 8975 8975 5150 0 -1 1077944384 455 0 0 0 8 0 0 0 20 0 15 0 405562270 15379423232 32427 33554432000 4194304 4196468 140733993590944 139946855696880 139947887626882 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37646336 140733993595631 140733993596058 140733993596058 140733993598927 0
[pid=8978/tid=8990] ppid=8975 vsize=15018968 memory=1228 CPUtime=0.16 cores=1,3,5,7
/proc/8978/task/8990/stat : 8990 (java) R 8975 8975 5150 0 -1 4202560 557 0 0 0 16 0 0 0 20 0 15 0 405562270 15379423232 32427 33554432000 4194304 4196468 140733993590944 139946854640352 139947866744131 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37646336 140733993595631 140733993596058 140733993596058 140733993598927 0
[pid=8978/tid=8991] ppid=8975 vsize=15018968 memory=9584 CPUtime=0 cores=1,3,5,7
/proc/8978/task/8991/stat : 8991 (java) S 8975 8975 5150 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405562270 15379423232 32427 33554432000 4194304 4196468 140733993590944 139945335319520 139947887625941 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37646336 140733993595631 140733993596058 140733993596058 140733993598927 0
[pid=8978/tid=8992] ppid=8975 vsize=15018968 memory=4140 CPUtime=0 cores=1,3,5,7
/proc/8978/task/8992/stat : 8992 (java) S 8975 8975 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405562270 15379423232 32427 33554432000 4194304 4196468 140733993590944 139946853591472 139947887626882 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37646336 140733993595631 140733993596058 140733993596058 140733993598927 0
Current children cumulated CPU time: 1.01 s
Current children cumulated vsize: 15132096 KiB
Current children cumulated memory: 131104 KiB

[startup+1.50144 s]
/proc/loadavg: 2.09 2.56 3.01 4/229 8992
/proc/meminfo: memFree=23689968/32770624 swapFree=67004752/67108860
[pid=8975] ppid=8972 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/8975/stat : 8975 (scop.sh) S 8972 8975 5150 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 405562263 115843072 349 33554432000 4194304 5098028 140728746064384 140728746061640 140593900864124 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 11005952 140728746070824 140728746071152 140728746071152 140728746074061 0
/proc/8975/statm: 28282 349 296 221 0 87 0

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

[pid=9078/tid=9090] ppid=8975 vsize=8068440 memory=120160 CPUtime=0.22 cores=1,3,5,7
/proc/9078/task/9090/stat : 9090 (java) S 8975 8975 5150 0 -1 1077944384 579 0 0 0 22 0 0 0 20 0 19 0 405631705 8262082560 30040 33554432000 4194304 4196468 140735114003728 139854246840688 139855004953218 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22085632 140735114011644 140735114011802 140735114011802 140735114014671 0
[pid=9078/tid=9091] ppid=8975 vsize=8068440 memory=671 CPUtime=0 cores=1,3,5,7
/proc/9078/task/9091/stat : 9091 (java) S 8975 8975 5150 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405631705 8262082560 30040 33554432000 4194304 4196468 140735114003728 139852725086688 139855004952277 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22085632 140735114011644 140735114011802 140735114011802 140735114014671 0
[pid=9078/tid=9092] ppid=8975 vsize=8068440 memory=156 CPUtime=0 cores=1,3,5,7
/proc/9078/task/9092/stat : 9092 (java) S 8975 8975 5150 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405631705 8262082560 30040 33554432000 4194304 4196468 140735114003728 139854245788592 139855004953218 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22085632 140735114011644 140735114011802 140735114011802 140735114014671 0
[pid=9078/tid=9094] ppid=8975 vsize=8068440 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9078/task/9094/stat : 9094 (java) S 8975 8975 5150 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 405631774 8262082560 30040 33554432000 4194304 4196468 140735114003728 139854237754816 139855004966681 0 4 2 25189581 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 22085632 140735114011644 140735114011802 140735114011802 140735114014671 0
[pid=9078/tid=9096] ppid=8975 vsize=8068440 memory=196 CPUtime=0 cores=1,3,5,7
/proc/9078/task/9096/stat : 9096 (java) S 8975 8975 5150 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 405631774 8262082560 30040 33554432000 4194304 4196468 140735114003728 139852188205072 139855004963997 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 22085632 140735114011644 140735114011802 140735114011802 140735114014671 0
[pid=9078/tid=9097] ppid=8975 vsize=8068440 memory=7084821295264841834 CPUtime=0 cores=1,3,5,7
/proc/9078/task/9097/stat : 9097 (java) S 8975 8975 5150 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 405631774 8262082560 30040 33554432000 4194304 4196468 140735114003728 139851919768976 139855004963997 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 22085632 140735114011644 140735114011802 140735114011802 140735114014671 0
[pid=9078/tid=9098] ppid=8975 vsize=8068440 memory=7084821295264841834 CPUtime=0 cores=1,3,5,7
/proc/9078/task/9098/stat : 9098 (java) S 8975 8975 5150 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 19 0 405631777 8262082560 30040 33554432000 4194304 4196468 140735114003728 139852456647600 139855004952277 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22085632 140735114011644 140735114011802 140735114011802 140735114014671 0
Current children cumulated CPU time: 860.63 s
Current children cumulated vsize: 11523672 KiB
Current children cumulated memory: 2761104 KiB

[startup+717.601 s]
/proc/loadavg: 3.98 2.96 2.81 6/234 9099
/proc/meminfo: memFree=12820876/32770624 swapFree=67004752/67108860
[pid=8975] ppid=8972 vsize=113128 memory=1476 CPUtime=837.69 cores=1,3,5,7
/proc/8975/stat : 8975 (scop.sh) S 8972 8975 5150 0 -1 4202496 584 218766 0 0 0 0 82756 1013 20 0 1 0 405562263 115843072 369 33554432000 4194304 5098028 140728746064384 140728746061128 140593900864124 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 11005952 140728746070824 140728746071152 140728746071152 140728746074061 0
/proc/8975/statm: 28282 369 311 221 0 87 0
[pid=9078] ppid=8975 vsize=8068440 memory=120160 CPUtime=1.25 cores=1,3,5,7
/proc/9078/stat : 9078 (java) S 8975 8975 5150 0 -1 1077944320 19962 0 0 0 119 6 0 0 20 0 19 0 405631698 8262082560 30040 33554432000 4194304 4196468 140735114003728 140735113986272 139855004942071 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22085632 140735114011644 140735114011802 140735114011802 140735114014671 0
/proc/9078/statm: 2017110 30040 3210 1 0 1978454 0
[pid=9093] ppid=9078 vsize=3342104 memory=2640196 CPUtime=22.49 cores=1,3,5,7
/proc/9093/stat : 9093 (glueminisat-sim) R 9078 8975 5150 0 -1 4202496 1001889 0 0 0 2102 147 0 0 20 0 1 0 405631773 3422314496 660049 33554432000 4194304 4452875 140729281232560 140729281227592 4321220 0 4 0 8388610 0 0 0 17 5 0 0 0 0 0 6552096 6554264 10956800 140729281237856 140729281238055 140729281238055 140729281241005 0
/proc/9093/statm: 835526 660049 361 64 0 831730 0
[pid=9078/tid=9079] ppid=8975 vsize=8068440 memory=1564 CPUtime=0.78 cores=1,3,5,7
/proc/9078/task/9079/stat : 9079 (java) S 8975 8975 5150 0 -1 1077944384 16921 0 0 0 74 4 0 0 20 0 19 0 405631699 8262082560 30040 33554432000 4194304 4196468 140735114003728 139854976782240 139855004952277 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22085632 140735114011644 140735114011802 140735114011802 140735114014671 0
[pid=9078/tid=9080] ppid=8975 vsize=8068440 memory=928 CPUtime=0 cores=1,3,5,7
/proc/9078/task/9080/stat : 9080 (java) S 8975 8975 5150 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405631700 8262082560 30040 33554432000 4194304 4196468 140735114003728 139855009184144 139855004952277 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22085632 140735114011644 140735114011802 140735114011802 140735114014671 0
[pid=9078/tid=9081] ppid=8975 vsize=8068440 memory=1660 CPUtime=0 cores=1,3,5,7
/proc/9078/task/9081/stat : 9081 (java) S 8975 8975 5150 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405631700 8262082560 30040 33554432000 4194304 4196468 140735114003728 139854809352464 139855004952277 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22085632 140735114011644 140735114011802 140735114011802 140735114014671 0
[pid=9078/tid=9082] ppid=8975 vsize=8068440 memory=1984 CPUtime=0 cores=1,3,5,7
/proc/9078/task/9082/stat : 9082 (java) S 8975 8975 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405631700 8262082560 30040 33554432000 4194304 4196468 140735114003728 139854808300176 139855004952277 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22085632 140735114011644 140735114011802 140735114011802 140735114014671 0
[pid=9078/tid=9083] ppid=8975 vsize=8068440 memory=2472 CPUtime=0 cores=1,3,5,7
/proc/9078/task/9083/stat : 9083 (java) S 8975 8975 5150 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405631700 8262082560 30040 33554432000 4194304 4196468 140735114003728 139854807247376 139855004952277 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22085632 140735114011644 140735114011802 140735114011802 140735114014671 0
[pid=9078/tid=9084] ppid=8975 vsize=8068440 memory=1440 CPUtime=0 cores=1,3,5,7
/proc/9078/task/9084/stat : 9084 (java) S 8975 8975 5150 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 19 0 405631701 8262082560 30040 33554432000 4194304 4196468 140735114003728 139854249998960 139855004953218 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22085632 140735114011644 140735114011802 140735114011802 140735114014671 0
[pid=9078/tid=9085] ppid=8975 vsize=8068440 memory=816 CPUtime=0 cores=1,3,5,7
/proc/9078/task/9085/stat : 9085 (java) S 8975 8975 5150 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 405631702 8262082560 30040 33554432000 4194304 4196468 140735114003728 139853865936160 139855004952277 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22085632 140735114011644 140735114011802 140735114011802 140735114014671 0
[pid=9078/tid=9086] ppid=8975 vsize=8068440 memory=1764 CPUtime=0 cores=1,3,5,7
/proc/9078/task/9086/stat : 9086 (java) S 8975 8975 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405631702 8262082560 30040 33554432000 4194304 4196468 140735114003728 139853597501040 139855004952277 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22085632 140735114011644 140735114011802 140735114011802 140735114014671 0
[pid=9078/tid=9087] ppid=8975 vsize=8068440 memory=111628 CPUtime=0 cores=1,3,5,7
/proc/9078/task/9087/stat : 9087 (java) S 8975 8975 5150 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405631705 8262082560 30040 33554432000 4194304 4196468 140735114003728 139853222992464 139855004960667 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22085632 140735114011644 140735114011802 140735114011802 140735114014671 0
[pid=9078/tid=9088] ppid=8975 vsize=8068440 memory=804 CPUtime=0.11 cores=1,3,5,7
/proc/9078/task/9088/stat : 9088 (java) S 8975 8975 5150 0 -1 1077944384 771 0 0 0 11 0 0 0 20 0 19 0 405631705 8262082560 30040 33554432000 4194304 4196468 140735114003728 139854248945776 139855004953218 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22085632 140735114011644 140735114011802 140735114011802 140735114014671 0
[pid=9078/tid=9089] ppid=8975 vsize=8068440 memory=6791534058613427641 CPUtime=0.09 cores=1,3,5,7
/proc/9078/task/9089/stat : 9089 (java) S 8975 8975 5150 0 -1 1077944384 290 0 0 0 9 0 0 0 20 0 19 0 405631705 8262082560 30040 33554432000 4194304 4196468 140735114003728 139854247892976 139855004953218 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22085632 140735114011644 140735114011802 140735114011802 140735114014671 0
[pid=9078/tid=9090] ppid=8975 vsize=8068440 memory=9584 CPUtime=0.22 cores=1,3,5,7
/proc/9078/task/9090/stat : 9090 (java) S 8975 8975 5150 0 -1 1077944384 579 0 0 0 22 0 0 0 20 0 19 0 405631705 8262082560 30040 33554432000 4194304 4196468 140735114003728 139854246840688 139855004953218 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22085632 140735114011644 140735114011802 140735114011802 140735114014671 0
[pid=9078/tid=9091] ppid=8975 vsize=8068440 memory=4140 CPUtime=0 cores=1,3,5,7
/proc/9078/task/9091/stat : 9091 (java) S 8975 8975 5150 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405631705 8262082560 30040 33554432000 4194304 4196468 140735114003728 139852725086688 139855004952277 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22085632 140735114011644 140735114011802 140735114011802 140735114014671 0
[pid=9078/tid=9092] ppid=8975 vsize=8068440 memory=2832 CPUtime=0 cores=1,3,5,7
/proc/9078/task/9092/stat : 9092 (java) S 8975 8975 5150 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405631705 8262082560 30040 33554432000 4194304 4196468 140735114003728 139854245788592 139855004953218 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22085632 140735114011644 140735114011802 140735114011802 140735114014671 0
[pid=9078/tid=9094] ppid=8975 vsize=8068440 memory=8112282956445269571 CPUtime=0 cores=1,3,5,7
/proc/9078/task/9094/stat : 9094 (java) S 8975 8975 5150 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 405631774 8262082560 30040 33554432000 4194304 4196468 140735114003728 139854237754816 139855004966681 0 4 2 25189581 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 22085632 140735114011644 140735114011802 140735114011802 140735114014671 0
[pid=9078/tid=9096] ppid=8975 vsize=8068440 memory=1720 CPUtime=0 cores=1,3,5,7
/proc/9078/task/9096/stat : 9096 (java) S 8975 8975 5150 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 405631774 8262082560 30040 33554432000 4194304 4196468 140735114003728 139852188205072 139855004963997 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 22085632 140735114011644 140735114011802 140735114011802 140735114014671 0
[pid=9078/tid=9097] ppid=8975 vsize=8068440 memory=5956 CPUtime=0 cores=1,3,5,7
/proc/9078/task/9097/stat : 9097 (java) S 8975 8975 5150 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 405631774 8262082560 30040 33554432000 4194304 4196468 140735114003728 139851919768976 139855004963997 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 22085632 140735114011644 140735114011802 140735114011802 140735114014671 0
[pid=9078/tid=9098] ppid=8975 vsize=8068440 memory=772 CPUtime=0 cores=1,3,5,7
/proc/9078/task/9098/stat : 9098 (java) S 8975 8975 5150 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 19 0 405631777 8262082560 30040 33554432000 4194304 4196468 140735114003728 139852456647600 139855004952277 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22085632 140735114011644 140735114011802 140735114011802 140735114014671 0
Current children cumulated CPU time: 861.43 s
Current children cumulated vsize: 11523672 KiB
Current children cumulated memory: 2761832 KiB

[startup+718.402 s]
/proc/loadavg: 3.98 2.96 2.81 8/234 9099
/proc/meminfo: memFree=12811384/32770624 swapFree=67004752/67108860
[pid=8975] ppid=8972 vsize=113128 memory=1476 CPUtime=837.69 cores=1,3,5,7
/proc/8975/stat : 8975 (scop.sh) S 8972 8975 5150 0 -1 4202496 584 218766 0 0 0 0 82756 1013 20 0 1 0 405562263 115843072 369 33554432000 4194304 5098028 140728746064384 140728746061128 140593900864124 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 11005952 140728746070824 140728746071152 140728746071152 140728746074061 0
/proc/8975/statm: 28282 369 311 221 0 87 0
[pid=9078] ppid=8975 vsize=7937364 memory=261748 CPUtime=25.03 cores=1,3,5,7
/proc/9078/stat : 9078 (java) S 8975 8975 5150 0 -1 1077944320 21176 1004998 0 0 185 10 2151 157 20 0 17 0 405631698 8127860736 65437 33554432000 4194304 4196468 140735114003728 140735113986272 139855004942071 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22085632 140735114011644 140735114011802 140735114011802 140735114014671 0
/proc/9078/statm: 1984341 65437 3225 1 0 1945685 0
[pid=9078/tid=9079] ppid=8975 vsize=7937364 memory=6791534058613427641 CPUtime=23.92 cores=1,3,5,7
/proc/9078/task/9079/stat : 9079 (java) R 8975 8975 5150 0 -1 4202560 17059 1004998 0 0 80 4 2151 157 20 0 17 0 405631699 8127860736 65437 33554432000 4194304 4196468 140735114003728 139854976780840 139854486733244 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 22085632 140735114011644 140735114011802 140735114011802 140735114014671 0
[pid=9078/tid=9080] ppid=8975 vsize=7937364 memory=120160 CPUtime=23.08 cores=1,3,5,7
/proc/9078/task/9080/stat : 9080 (java) S 8975 8975 5150 0 -1 1077944384 2 1004998 0 0 0 0 2151 157 20 0 17 0 405631700 8127860736 65499 33554432000 4194304 4196468 140735114003728 139855009184144 139855004952277 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22085632 140735114011644 140735114011802 140735114011802 140735114014671 0
[pid=9078/tid=9081] ppid=8975 vsize=7937364 memory=2640472 CPUtime=23.08 cores=1,3,5,7
/proc/9078/task/9081/stat : 9081 (java) S 8975 8975 5150 0 -1 1077944384 2 1004998 0 0 0 0 2151 157 20 0 17 0 405631700 8127860736 65499 33554432000 4194304 4196468 140735114003728 139854809352464 139855004952277 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22085632 140735114011644 140735114011802 140735114011802 140735114014671 0
[pid=9078/tid=9082] ppid=8975 vsize=7937364 memory=2116 CPUtime=23.08 cores=1,3,5,7
/proc/9078/task/9082/stat : 9082 (java) S 8975 8975 5150 0 -1 1077944384 1 1004998 0 0 0 0 2151 157 20 0 17 0 405631700 8127860736 65499 33554432000 4194304 4196468 140735114003728 139854808300176 139855004952277 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22085632 140735114011644 140735114011802 140735114011802 140735114014671 0
[pid=9078/tid=9083] ppid=8975 vsize=7937364 memory=8112282956445269571 CPUtime=23.08 cores=1,3,5,7
/proc/9078/task/9083/stat : 9083 (java) S 8975 8975 5150 0 -1 1077944384 2 1004998 0 0 0 0 2151 157 20 0 17 0 405631700 8127860736 65499 33554432000 4194304 4196468 140735114003728 139854807247376 139855004952277 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22085632 140735114011644 140735114011802 140735114011802 140735114014671 0
[pid=9078/tid=9084] ppid=8975 vsize=7937364 memory=4108 CPUtime=23.08 cores=1,3,5,7
/proc/9078/task/9084/stat : 9084 (java) S 8975 8975 5150 0 -1 1077944384 7 1004998 0 0 0 0 2151 157 20 0 17 0 405631701 8127860736 65499 33554432000 4194304 4196468 140735114003728 139854249998960 139855004953218 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22085632 140735114011644 140735114011802 140735114011802 140735114014671 0
[pid=9078/tid=9085] ppid=8975 vsize=7937364 memory=1412 CPUtime=23.08 cores=1,3,5,7
/proc/9078/task/9085/stat : 9085 (java) S 8975 8975 5150 0 -1 1077944384 13 1004998 0 0 0 0 2151 157 20 0 17 0 405631702 8127860736 65499 33554432000 4194304 4196468 140735114003728 139853865936160 139855004952277 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22085632 140735114011644 140735114011802 140735114011802 140735114014671 0
[pid=9078/tid=9086] ppid=8975 vsize=7937364 memory=3316 CPUtime=23.08 cores=1,3,5,7
/proc/9078/task/9086/stat : 9086 (java) S 8975 8975 5150 0 -1 1077944384 1 1004998 0 0 0 0 2151 157 20 0 17 0 405631702 8127860736 65499 33554432000 4194304 4196468 140735114003728 139853597501040 139855004952277 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22085632 140735114011644 140735114011802 140735114011802 140735114014671 0
[pid=9078/tid=9087] ppid=8975 vsize=7937364 memory=2004 CPUtime=23.08 cores=1,3,5,7
/proc/9078/task/9087/stat : 9087 (java) S 8975 8975 5150 0 -1 1077944384 3 1004998 0 0 0 0 2151 157 20 0 17 0 405631705 8127860736 65499 33554432000 4194304 4196468 140735114003728 139853222992464 139855004960667 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22085632 140735114011644 140735114011802 140735114011802 140735114014671 0
[pid=9078/tid=9088] ppid=8975 vsize=7937364 memory=1276 CPUtime=23.34 cores=1,3,5,7
/proc/9078/task/9088/stat : 9088 (java) S 8975 8975 5150 0 -1 1077944384 1080 1004998 0 0 26 0 2151 157 20 0 17 0 405631705 8127860736 65499 33554432000 4194304 4196468 140735114003728 139854248945776 139855004953218 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22085632 140735114011644 140735114011802 140735114011802 140735114014671 0
[pid=9078/tid=9089] ppid=8975 vsize=7937364 memory=1060 CPUtime=23.27 cores=1,3,5,7
/proc/9078/task/9089/stat : 9089 (java) S 8975 8975 5150 0 -1 1077944384 323 1004998 0 0 19 0 2151 157 20 0 17 0 405631705 8127860736 65499 33554432000 4194304 4196468 140735114003728 139854247892976 139855004953218 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22085632 140735114011644 140735114011802 140735114011802 140735114014671 0
[pid=9078/tid=9090] ppid=8975 vsize=7937364 memory=752 CPUtime=23.37 cores=1,3,5,7
/proc/9078/task/9090/stat : 9090 (java) S 8975 8975 5150 0 -1 1077944384 1200 1004998 0 0 29 0 2151 157 20 0 17 0 405631705 8127860736 65499 33554432000 4194304 4196468 140735114003728 139854246840688 139855004953218 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22085632 140735114011644 140735114011802 140735114011802 140735114014671 0
[pid=9078/tid=9091] ppid=8975 vsize=7937364 memory=1808 CPUtime=23.08 cores=1,3,5,7
/proc/9078/task/9091/stat : 9091 (java) S 8975 8975 5150 0 -1 1077944384 3 1004998 0 0 0 0 2151 157 20 0 17 0 405631705 8127860736 65499 33554432000 4194304 4196468 140735114003728 139852725086688 139855004952277 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22085632 140735114011644 140735114011802 140735114011802 140735114014671 0
[pid=9078/tid=9092] ppid=8975 vsize=7937364 memory=924 CPUtime=23.08 cores=1,3,5,7
/proc/9078/task/9092/stat : 9092 (java) S 8975 8975 5150 0 -1 1077944384 3 1004998 0 0 0 0 2151 157 20 0 17 0 405631705 8127860736 65499 33554432000 4194304 4196468 140735114003728 139854245788592 139855004953218 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22085632 140735114011644 140735114011802 140735114011802 140735114014671 0
[pid=9078/tid=9094] ppid=8975 vsize=7937364 memory=3848 CPUtime=23.08 cores=1,3,5,7
/proc/9078/task/9094/stat : 9094 (java) S 8975 8975 5150 0 -1 1077944384 23 1004998 0 0 0 0 2151 157 20 0 17 0 405631774 8127860736 65499 33554432000 4194304 4196468 140735114003728 139854237754000 139855004953218 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22085632 140735114011644 140735114011802 140735114011802 140735114014671 0
[pid=9078/tid=9098] ppid=8975 vsize=7937364 memory=2639816 CPUtime=23.08 cores=1,3,5,7
/proc/9078/task/9098/stat : 9098 (java) S 8975 8975 5150 0 -1 1077944384 30 1004998 0 0 0 0 2151 157 20 0 17 0 405631777 8127860736 65499 33554432000 4194304 4196468 140735114003728 139852456649392 139855004953218 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22085632 140735114011644 140735114011802 140735114011802 140735114014671 0
Current children cumulated CPU time: 862.72 s
Current children cumulated vsize: 8050492 KiB
Current children cumulated memory: 263224 KiB

[startup+718.601 s]
/proc/loadavg: 3.98 2.96 2.81 8/234 9099
/proc/meminfo: memFree=12811384/32770624 swapFree=67004752/67108860
[pid=8975] ppid=8972 vsize=113128 memory=1476 CPUtime=837.69 cores=1,3,5,7
/proc/8975/stat : 8975 (scop.sh) S 8972 8975 5150 0 -1 4202496 584 218766 0 0 0 0 82756 1013 20 0 1 0 405562263 115843072 369 33554432000 4194304 5098028 140728746064384 140728746061128 140593900864124 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 11005952 140728746070824 140728746071152 140728746071152 140728746074061 0
/proc/8975/statm: 28282 369 311 221 0 87 0
[pid=9078] ppid=8975 vsize=7937364 memory=267208 CPUtime=25.33 cores=1,3,5,7
/proc/9078/stat : 9078 (java) S 8975 8975 5150 0 -1 1077944320 21477 1004998 0 0 204 21 2151 157 20 0 17 0 405631698 8127860736 66802 33554432000 4194304 4196468 140735114003728 140735113986272 139855004942071 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22085632 140735114011644 140735114011802 140735114011802 140735114014671 0
/proc/9078/statm: 1984341 66802 3232 1 0 1945685 0
[pid=9078/tid=9079] ppid=8975 vsize=7937364 memory=178765867875313 CPUtime=24.13 cores=1,3,5,7
/proc/9078/task/9079/stat : 9079 (java) R 8975 8975 5150 0 -1 4202560 17186 1004998 0 0 90 15 2151 157 20 0 17 0 405631699 8127860736 66802 33554432000 4194304 4196468 140735114003728 139854976783848 139854997627703 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22085632 140735114011644 140735114011802 140735114011802 140735114014671 0
[pid=9078/tid=9080] ppid=8975 vsize=7937364 memory=6656426216303648864 CPUtime=23.08 cores=1,3,5,7
/proc/9078/task/9080/stat : 9080 (java) S 8975 8975 5150 0 -1 1077944384 2 1004998 0 0 0 0 2151 157 20 0 17 0 405631700 8127860736 66802 33554432000 4194304 4196468 140735114003728 139855009184144 139855004952277 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22085632 140735114011644 140735114011802 140735114011802 140735114014671 0
[pid=9078/tid=9081] ppid=8975 vsize=7937364 memory=6944656575208382560 CPUtime=23.08 cores=1,3,5,7
/proc/9078/task/9081/stat : 9081 (java) S 8975 8975 5150 0 -1 1077944384 2 1004998 0 0 0 0 2151 157 20 0 17 0 405631700 8127860736 66802 33554432000 4194304 4196468 140735114003728 139854809352464 139855004952277 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22085632 140735114011644 140735114011802 140735114011802 140735114014671 0
[pid=9078/tid=9082] ppid=8975 vsize=7937364 memory=2640196 CPUtime=23.08 cores=1,3,5,7
/proc/9078/task/9082/stat : 9082 (java) S 8975 8975 5150 0 -1 1077944384 1 1004998 0 0 0 0 2151 157 20 0 17 0 405631700 8127860736 66802 33554432000 4194304 4196468 140735114003728 139854808300176 139855004952277 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22085632 140735114011644 140735114011802 140735114011802 140735114014671 0
[pid=9078/tid=9083] ppid=8975 vsize=7937364 memory=3316 CPUtime=23.08 cores=1,3,5,7
/proc/9078/task/9083/stat : 9083 (java) S 8975 8975 5150 0 -1 1077944384 2 1004998 0 0 0 0 2151 157 20 0 17 0 405631700 8127860736 66802 33554432000 4194304 4196468 140735114003728 139854807247376 139855004952277 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22085632 140735114011644 140735114011802 140735114011802 140735114014671 0
[pid=9078/tid=9084] ppid=8975 vsize=7937364 memory=1396 CPUtime=23.08 cores=1,3,5,7
/proc/9078/task/9084/stat : 9084 (java) S 8975 8975 5150 0 -1 1077944384 7 1004998 0 0 0 0 2151 157 20 0 17 0 405631701 8127860736 66802 33554432000 4194304 4196468 140735114003728 139854249998960 139855004953218 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22085632 140735114011644 140735114011802 140735114011802 140735114014671 0
[pid=9078/tid=9085] ppid=8975 vsize=7937364 memory=12071924 CPUtime=23.08 cores=1,3,5,7
/proc/9078/task/9085/stat : 9085 (java) S 8975 8975 5150 0 -1 1077944384 13 1004998 0 0 0 0 2151 157 20 0 17 0 405631702 8127860736 66802 33554432000 4194304 4196468 140735114003728 139853865936160 139855004952277 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22085632 140735114011644 140735114011802 140735114011802 140735114014671 0
[pid=9078/tid=9086] ppid=8975 vsize=7937364 memory=1412 CPUtime=23.08 cores=1,3,5,7
/proc/9078/task/9086/stat : 9086 (java) S 8975 8975 5150 0 -1 1077944384 1 1004998 0 0 0 0 2151 157 20 0 17 0 405631702 8127860736 66802 33554432000 4194304 4196468 140735114003728 139853597501040 139855004952277 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22085632 140735114011644 140735114011802 140735114011802 140735114014671 0
[pid=9078/tid=9087] ppid=8975 vsize=7937364 memory=3240 CPUtime=23.08 cores=1,3,5,7
/proc/9078/task/9087/stat : 9087 (java) S 8975 8975 5150 0 -1 1077944384 3 1004998 0 0 0 0 2151 157 20 0 17 0 405631705 8127860736 66802 33554432000 4194304 4196468 140735114003728 139853222992464 139855004960667 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22085632 140735114011644 140735114011802 140735114011802 140735114014671 0
[pid=9078/tid=9088] ppid=8975 vsize=7937364 memory=120160 CPUtime=23.36 cores=1,3,5,7
/proc/9078/task/9088/stat : 9088 (java) S 8975 8975 5150 0 -1 1077944384 1097 1004998 0 0 28 0 2151 157 20 0 17 0 405631705 8127860736 66802 33554432000 4194304 4196468 140735114003728 139854248945776 139855004953218 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22085632 140735114011644 140735114011802 140735114011802 140735114014671 0
[pid=9078/tid=9089] ppid=8975 vsize=7937364 memory=1476 CPUtime=23.29 cores=1,3,5,7
/proc/9078/task/9089/stat : 9089 (java) S 8975 8975 5150 0 -1 1077944384 339 1004998 0 0 21 0 2151 157 20 0 17 0 405631705 8127860736 66802 33554432000 4194304 4196468 140735114003728 139854247892976 139855004953218 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22085632 140735114011644 140735114011802 140735114011802 140735114014671 0
[pid=9078/tid=9090] ppid=8975 vsize=7937364 memory=120076 CPUtime=23.43 cores=1,3,5,7
/proc/9078/task/9090/stat : 9090 (java) S 8975 8975 5150 0 -1 1077944384 1339 1004998 0 0 35 0 2151 157 20 0 17 0 405631705 8127860736 66802 33554432000 4194304 4196468 140735114003728 139854246840688 139855004953218 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22085632 140735114011644 140735114011802 140735114011802 140735114014671 0
[pid=9078/tid=9091] ppid=8975 vsize=7937364 memory=562320 CPUtime=23.08 cores=1,3,5,7
/proc/9078/task/9091/stat : 9091 (java) S 8975 8975 5150 0 -1 1077944384 3 1004998 0 0 0 0 2151 157 20 0 17 0 405631705 8127860736 66802 33554432000 4194304 4196468 140735114003728 139852725086688 139855004952277 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22085632 140735114011644 140735114011802 140735114011802 140735114014671 0
[pid=9078/tid=9092] ppid=8975 vsize=7937364 memory=984 CPUtime=23.08 cores=1,3,5,7
/proc/9078/task/9092/stat : 9092 (java) S 8975 8975 5150 0 -1 1077944384 3 1004998 0 0 0 0 2151 157 20 0 17 0 405631705 8127860736 66802 33554432000 4194304 4196468 140735114003728 139854245788592 139855004953218 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22085632 140735114011644 140735114011802 140735114011802 140735114014671 0
[pid=9078/tid=9094] ppid=8975 vsize=7937364 memory=2004 CPUtime=23.08 cores=1,3,5,7
/proc/9078/task/9094/stat : 9094 (java) S 8975 8975 5150 0 -1 1077944384 23 1004998 0 0 0 0 2151 157 20 0 17 0 405631774 8127860736 66802 33554432000 4194304 4196468 140735114003728 139854237754000 139855004953218 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22085632 140735114011644 140735114011802 140735114011802 140735114014671 0
[pid=9078/tid=9098] ppid=8975 vsize=7937364 memory=3620 CPUtime=23.08 cores=1,3,5,7
/proc/9078/task/9098/stat : 9098 (java) S 8975 8975 5150 0 -1 1077944384 30 1004998 0 0 0 0 2151 157 20 0 17 0 405631777 8127860736 66802 33554432000 4194304 4196468 140735114003728 139852456649392 139855004953218 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22085632 140735114011644 140735114011802 140735114011802 140735114014671 0
Current children cumulated CPU time: 863.02 s
Current children cumulated vsize: 8050492 KiB
Current children cumulated memory: 268684 KiB

Child status: 0
Real time (s): 718.699
CPU time (s): 863.093
CPU user time (s): 851.129
CPU system time (s): 11.9636
CPU usage (%): 120.091
Max. virtual memory (cumulated for all children) (KiB): 15142500
Max. memory (cumulated for all children) (KiB): 11726940

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 851.129
system time used= 11.9636
maximum resident set size= 11726360
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1245864
page faults= 0
swaps= 0
block input operations= 232
block output operations= 2018384
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 27867
involuntary context switches= 2660


# summary of solver processes directly reported to runsolver:
#   pid: 8975
#   total CPU time (s): 863.093
#   total CPU user time (s): 851.129
#   total CPU system time (s): 11.9636

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.12012 second user time and 6.67546 second system time

The end

Launcher Data 

Begin job on node126 at 2019-09-12 14:55:07
IDJOB=4387971
IDBENCH=130877
IDSOLVER=2825
FILE ID=node126/4387971-1568292944
RUNJOBID= node126-1568286203-6147
PBS_JOBID= 21701078
Free space on /tmp= 53156 MiB

SOLVER NAME= Fun-sCOP order+GlueMiniSat (2019-06-15)
BENCH NAME= XCSP17/Subisomorphism/Subisomorphism-m1-si4-m4D/Subisomorphism-si4-m4D-m625-05.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-4387971-1568292944/watcher-4387971-1568292944 -o /tmp/evaluation-result-4387971-1568292944/solver-4387971-1568292944 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node126-1568286203-6147 --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-4387971-1568292944.xml

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

MD5SUM BENCH= a06e274e1d637d430249b010d1ea7ff6
RANDOM SEED=254366313

node126.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.45
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.56
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.45
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.56
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.45
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.56
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.45
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        23825368 kB
MemAvailable:   27036668 kB
Buffers:           95784 kB
Cached:          3376292 kB
SwapCached:         2860 kB
Active:          6794524 kB
Inactive:        1515900 kB
Active(anon):    4834744 kB
Inactive(anon):    45052 kB
Active(file):    1959780 kB
Inactive(file):  1470848 kB
Unevictable:      109096 kB
Mlocked:          109096 kB
SwapTotal:      67108860 kB
SwapFree:       67004752 kB
Dirty:             20632 kB
Writeback:             0 kB
AnonPages:       4943428 kB
Mapped:            55348 kB
Shmem:             32816 kB
Slab:             222168 kB
SReclaimable:     193012 kB
SUnreclaim:        29156 kB
KernelStack:        4112 kB
PageTables:        15352 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:   13200004 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   4796416 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      130432 kB
DirectMap2M:    33415168 kB

Free space on /tmp at the end= 53136 MiB
End job on node126 at 2019-09-12 15:07:06