Trace number 4387998

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 258.289 215.658

General information on the benchmark

NameSubisomorphism/Subisomorphism-m1-si6-bvg/
Subisomorphism-si6-b09-m200-08.xml
MD5SUM7f9c41aacca1e0b30cdd7db3c30aaf94
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.033514
Satisfiable
(Un)Satisfiability was proved
Number of variables120
Number of constraints517
Number of domains1
Minimum domain size200
Maximum domain size200
Distribution of domain sizes[{"size":200,"count":120}]
Minimum variable degree5
Maximum variable degree10
Distribution of variable degrees[{"degree":5,"count":2},{"degree":6,"count":4},{"degree":7,"count":4},{"degree":8,"count":4},{"degree":9,"count":2},{"degree":10,"count":104}]
Minimum constraint arity2
Maximum constraint arity120
Distribution of constraint arities[{"arity":2,"count":516},{"arity":120,"count":1}]
Number of extensional constraints516
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":516},{"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-12731-serial-file.bin HOME/instance-4387998-1568293440.xml
0.67/0.54	
0.67/0.54	Fun-sCOP order+glueminisat-simp-2.2.10-193oa-n-release (2019-06-15)
0.67/0.54	
0.67/0.56	c BEGIN-Prog: Thu Sep 12 15:03:18 CEST 2019
0.67/0.56	c PID: 12734
0.67/0.56	c IP: 172.20.3.137
0.67/0.56	c HOST: node137.alineos.net
0.67/0.57	c (0,0) Parsing Begin
1.80/1.04	c (0,0) Parsing End
1.80/1.05	c (0,0) CSP: 120 int (0 aux), 0 bool (0 aux), 517 ctr, max domain size 200
1.80/1.05	c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.80/1.05	c (0,0) Constraint Name Generate Begin
1.80/1.06	c (0,0) Ctr:HOME/instance-4387998-1568293440.xml,AllDifferent:ExtensionSupport:Var
1.80/1.06	c (0,0) Constraint Name Generate End
1.80/1.06	c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.80/1.06	c (0,0) CSP to CSPinCNF Begin
19.42/12.41	c (11,11) translated 52 (10%) constraints
30.18/22.31	c (21,21) translated 104 (20%) constraints
41.17/32.28	c (31,30) translated 156 (30%) constraints
54.26/42.69	c (42,40) translated 207 (40%) constraints
66.11/52.86	c (52,49) translated 259 (50%) constraints
78.01/63.09	c (62,59) translated 311 (60%) constraints
90.51/73.32	c (72,69) translated 362 (70%) constraints
101.53/83.30	c (82,78) translated 414 (80%) constraints
112.98/93.37	c (92,88) translated 466 (90%) constraints
123.29/103.03	c (102,97) translated 517 (100%) constraints
123.48/103.22	c (102,97) ===========================================
123.48/103.23	c (102,97) Order
123.48/103.23	c (102,97) ===========================================
129.12/107.30	c (106,101) translated 197982 (10%) constraints
132.84/111.04	c (110,105) translated 395963 (20%) constraints
136.57/114.79	c (114,109) translated 593944 (30%) constraints
141.64/118.85	c (118,113) translated 791925 (40%) constraints
145.36/122.59	c (122,116) translated 989906 (50%) constraints
149.22/126.31	c (125,120) translated 1187887 (60%) constraints
154.34/130.37	c (129,124) translated 1385868 (70%) constraints
158.06/134.04	c (133,127) translated 1583849 (80%) constraints
163.39/138.13	c (137,131) translated 1781830 (90%) constraints
167.14/141.81	c (141,135) translated 1979811 (100%) constraints
167.14/141.81	c (141,135) CSP to CSPinCNF End
167.14/141.86	c (141,135) CSP: 120 int (0 aux), 103200 bool (103200 aux), 1979811 ctr, max domain size 200
167.14/141.86	c (141,135) Heap : 3008 MiB used (max 10669 MiB), NonHeap : 27 MiB used (max 0 MiB)
167.14/141.86	c (141,135) CSPinCNF Propagation Begin
185.29/153.31	c (152,144) 0 values, 516 unsatisfiable literals, and 1 valid clauses are removed
185.29/153.31	c (152,144) CSPinCNF Propagation End
185.29/153.35	c (152,144) CSP: 120 int (0 aux), 103200 bool (103200 aux), 1979810 ctr, max domain size 200
185.29/153.35	c (152,144) Heap : 3588 MiB used (max 10761 MiB), NonHeap : 28 MiB used (max 0 MiB)
185.29/153.35	c (152,144) Simplify CSPinCNF Begin
189.36/156.63	c (156,148) Simplify CSPinCNF End
189.36/156.67	c (156,148) CSP: 120 int (0 aux), 117480 bool (117480 aux), 1994090 ctr, max domain size 200
189.36/156.67	c (156,148) Heap : 5525 MiB used (max 10761 MiB), NonHeap : 29 MiB used (max 0 MiB)
189.36/156.67	c (156,148) Calculate Precise Domain Begin
189.36/156.68	c (156,148) 0 values are removed by re-calculation
189.36/156.68	c (156,148) Calculate Precise Domain End
189.46/156.72	c (156,148) CSP: 120 int (0 aux), 117480 bool (117480 aux), 1994090 ctr, max domain size 200
189.46/156.72	c (156,148) Heap : 5525 MiB used (max 10761 MiB), NonHeap : 29 MiB used (max 0 MiB)
189.46/156.72	c (156,148) CSPinCNF to SatSolver Begin
210.46/172.16	c (171,162) 199409 (10 %) CSP clauses are encoded (0 SAT variables, 3064888 SAT clauses)
212.50/174.18	c (173,164) 398818 (20 %) CSP clauses are encoded (0 SAT variables, 3264297 SAT clauses)
215.15/176.35	c (175,166) 598227 (30 %) CSP clauses are encoded (0 SAT variables, 3463706 SAT clauses)
217.12/178.39	c (177,168) 797636 (40 %) CSP clauses are encoded (0 SAT variables, 3663115 SAT clauses)
220.12/180.66	c (180,170) 997045 (50 %) CSP clauses are encoded (0 SAT variables, 3862524 SAT clauses)
222.12/182.69	c (182,172) 1196454 (60 %) CSP clauses are encoded (0 SAT variables, 4061933 SAT clauses)
225.10/184.96	c (184,174) 1395863 (70 %) CSP clauses are encoded (0 SAT variables, 4261342 SAT clauses)
227.11/186.99	c (186,176) 1595272 (80 %) CSP clauses are encoded (0 SAT variables, 4460751 SAT clauses)
230.11/189.26	c (188,178) 1794681 (90 %) CSP clauses are encoded (0 SAT variables, 4660160 SAT clauses)
233.12/191.52	c (190,180) 1994090 (100 %) CSP clauses are encoded (0 SAT variables, 4859569 SAT clauses)
233.12/191.52	c (190,180) CSPinCNF to SatSolver End
233.12/191.52	c (190,180) Heap : 3489 MiB used (max 10818 MiB), NonHeap : 32 MiB used (max 0 MiB)
233.12/191.52	c (190,180) 141360 bool, 4859570 clause
233.12/191.52	c (190,180) Export Begin
233.31/191.62	c (191,180) Export to HOME/scop-12731-serial-file.bin
233.31/191.62	c (191,180) Export End
233.31/191.62	c (191,180) Export File Size: 0.03 MB
233.31/191.62	c (191,180) 0,0,141,152,156,156,190,STOP-AFTER(DIMACS)
233.31/191.62	c END-Prog: Thu Sep 12 15:06:29 CEST 2019
233.31/191.66	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-12731-serial-file.bin
233.99/192.12	c (0,0) Read Serial File Begin
233.99/192.12	c (0,0) HOME/scop-12731-serial-file.bin
234.27/192.35	c (0,0) Read Serial File End
234.27/192.36	
234.27/192.36	Fun-sCOP order+glueminisat-simp-2.2.10-193oa-n-release (2019-06-15)
234.27/192.36	(Solving Process)
234.27/192.36	
234.27/192.38	c BEGIN-Prog: Thu Sep 12 15:06:30 CEST 2019
234.27/192.38	c PID: 12763
234.27/192.38	c IP: 172.20.3.137
234.27/192.38	c HOST: node137.alineos.net
234.27/192.39	c (0,0) SatSolver.solve Begin
234.27/192.39	c (0,0) HOME/glueminisat-simp-2.2.10-193oa-n-release -model -verb=3 -elim-cl=5000000 -native-oa HOME/instance-4387998-1568293440.xml-scop-12734.cnf
234.45/192.42	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
234.45/192.42	c (0,0) c glueminisat-simp-2.2.10-193oa-n
234.45/192.42	c (0,0) c Command: HOME/glueminisat-simp-2.2.10-193oa-n-release -model -verb=3 -elim-cl=5000000 -native-oa HOME/instance-4387998-1568293440.xml-scop-12734.cnf 
234.45/192.42	c (0,0) c Options:
234.45/192.42	c (0,0) c CORE
234.45/192.42	c (0,0) c  var_decay             = 0.950
234.45/192.42	c (0,0) c  clause_decay          = 0.999
234.45/192.42	c (0,0) c  random_var_freq       = 0.000
234.45/192.42	c (0,0) c  random_seed           = 91648253.000
234.45/192.42	c (0,0) c  luby_restart          = 1
234.45/192.42	c (0,0) c  ccmin_mode            = 2
234.45/192.43	c (0,0) c  phase_saving          = 2
234.45/192.43	c (0,0) c  rnd_pol               = 0
234.45/192.43	c (0,0) c  rnd_init_act          = 0
234.45/192.43	c (0,0) c  garbage_frac          = 0.200
234.45/192.43	c (0,0) c  restart_first         = 1000
234.45/192.43	c (0,0) c  restart_inc           = 2.000
234.45/192.43	c (0,0) c MODEL
234.45/192.43	c (0,0) c  partial_model         = 0
234.45/192.43	c (0,0) c PROPAGATION
234.45/192.43	c (0,0) c  bin_propagation       = 1
234.45/192.43	c (0,0) c SIMPLIFICATION
234.45/192.43	c (0,0) c  lrn_min_size          = 100
234.45/192.43	c (0,0) c  lazy_simp             = 1
234.45/192.43	c (0,0) c  lazy_interval         = 10
234.45/192.43	c (0,0) c  lazy_fld_probing      = 1
234.45/192.43	c (0,0) c  lazy_pol_probing      = 1
234.45/192.43	c (0,0) c  lazy_nec_probing      = 1
234.45/192.43	c (0,0) c  lazy_eqv_probing      = 1
234.45/192.43	c (0,0) c  lazy_cla_probing      = 1
234.45/192.43	c (0,0) c  lazy_lrn_min          = 2
234.45/192.43	c (0,0) c  lazy_uw_lit_elim      = 1
234.45/192.43	c (0,0) c  lazy_pr_lit_elim      = 0
234.45/192.43	c (0,0) c  lazy_bin_add          = 3
234.45/192.43	c (0,0) c  probed_lit_chain      = 1
234.45/192.43	c (0,0) c  pr_min_lits           = 0.00020
234.45/192.43	c (0,0) c  pr_min_starts         = 500
234.45/192.43	c (0,0) c  rw_min_lits           = 0.010
234.45/192.43	c (0,0) c  rw_min_starts         = 500
234.45/192.43	c (0,0) c  rand_attach           = 0
234.45/192.43	c (0,0) c  dec_elim              = 1
234.45/192.43	c (0,0) c  dec_elim_lim          = 25
234.45/192.43	c (0,0) c  dec_elim_len          = -1
234.45/192.43	c (0,0) c  amo                   = 0
234.45/192.43	c (0,0) c  amo_grp               = 1
234.45/192.43	c (0,0) c  amo_max_bins          = 1000000
234.45/192.43	c (0,0) c  amo_starts            = 50
234.45/192.43	c (0,0) c  mace_cmd              = mace
234.45/192.43	c (0,0) c DECISION
234.45/192.43	c (0,0) c  rand_rebuild          = 0
234.45/192.43	c (0,0) c  rand_rebuild_confs    = 10000
234.45/192.43	c (0,0) c  inc_var_decay         = 1
234.45/192.43	c (0,0) c  inc_var_decay_period  = 100000
234.45/192.43	c (0,0) c  inc_var_decay_init    = 0.600
234.45/192.43	c (0,0) c  var_decay_mode        = 0
234.45/192.43	c (0,0) c  var_decay_gain        = 0
234.45/192.43	c (0,0) c  sloped_var_decay      = 1
234.45/192.43	c (0,0) c  max_var_decay         = 0.990
234.45/192.43	c (0,0) c  min_var_decay         = 0.950
234.45/192.43	c (0,0) c  min_var_decay_vars    = 10000
234.45/192.43	c (0,0) c  max_var_decay_vars    = 500
234.45/192.43	c (0,0) c  uip_bumping           = 1
234.45/192.43	c (0,0) c  lbd_act_bumping       = 1
234.45/192.43	c (0,0) c  rand_tiebreak         = 0
234.45/192.43	c (0,0) c  simp_rebuild          = 1
234.45/192.43	c (0,0) c RESTART
234.45/192.43	c (0,0) c  restart_strategy      = 2
234.45/192.43	c (0,0) c  restart_blocking      = 0
234.45/192.43	c (0,0) c  agility_decay         = 0.99990
234.45/192.43	c (0,0) c  lbd_restart_rate      = 0.800
234.45/192.43	c (0,0) c  dec_restart_rate      = 0.950
234.45/192.43	c (0,0) c  blk_restart_rate      = 0.700
234.45/192.43	c (0,0) c  lbd_queue_size        = 50
234.45/192.43	c (0,0) c  dec_queue_size        = 50
234.45/192.43	c (0,0) c  trl_queue_size        = 5000
234.45/192.43	c (0,0) c  blk_restart_weight    = 1.000
234.45/192.43	c (0,0) c  inc_rst_rate          = 0
234.45/192.43	c (0,0) c  inc_rst_rate_period   = 500000
234.45/192.43	c (0,0) c  inc_lbd_rst_rate_init = 0.600
234.45/192.43	c (0,0) c  inc_dec_rst_rate_init = 0.750
234.45/192.43	c (0,0) c REDUCTION
234.45/192.43	c (0,0) c  closed_lbd            = 0
234.45/192.43	c (0,0) c  closed_lbd_rate       = 0.500
234.45/192.43	c (0,0) c  rm_simulate           = 0
234.45/192.43	c (0,0) c  rdb_eval              = 2
234.45/192.43	c (0,0) c  rdb_call              = 3
234.45/192.43	c (0,0) c  rdb_ub                = 0.500
234.45/192.43	c (0,0) c  core_lbd_cvr          = 0.800
234.45/192.43	c (0,0) c  supp_lbd_cvr          = 0.990
234.45/192.43	c (0,0) c  core_lbd_lb           = 2
234.45/192.43	c (0,0) c  supp_lbd_lb           = 2
234.45/192.43	c (0,0) c  core_lbd_prd          = 7
234.45/192.43	c (0,0) c  supp_lbd_prd          = 1
234.45/192.43	c (0,0) c  othr_lbd_prd          = 0
234.45/192.43	c (0,0) c  inc_lrn_limit         = 1000
234.45/192.43	c (0,0) c  frozen_lbd            = 30
234.45/192.43	c (0,0) c  simp_min_starts       = 100
234.45/192.43	c (0,0) c  rm_low_act_learnts    = 1
234.45/192.43	c (0,0) c  lv0_reduce_db         = 0
234.45/192.43	c (0,0) c  reduce_db_base        = 20000
234.45/192.43	c (0,0) c  reduce_db_inc         = 1000
234.45/192.43	c (0,0) c HARD
234.45/192.43	c (0,0) c  inst_check            = 200000
234.45/192.43	c (0,0) c  small_block           = 1.750
234.45/192.43	c (0,0) c  slow_restart_speed    = 400.000
234.45/192.43	c (0,0) c  slow_restart_strategy = 3
234.45/192.43	c (0,0) c  slow_lbd_restart_rate = 0.700
234.45/192.43	c (0,0) c  slow_dec_restart_rate = 1.000
234.45/192.43	c (0,0) c  slow_lbd_queue_size   = 50
234.45/192.43	c (0,0) c  slow_var_decay        = 0.950
234.45/192.43	c (0,0) c  slow_glue_threshold   = 2
234.45/192.43	c (0,0) c  slow_phase_saving     = 2
234.45/192.43	c (0,0) c  fast_restart_speed    = 125.000
234.45/192.43	c (0,0) c  fast_restart_strategy = 1
234.45/192.43	c (0,0) c  fast_lbd_restart_rate = 0.800
234.45/192.43	c (0,0) c  fast_dec_restart_rate = 0.950
234.45/192.43	c (0,0) c  fast_lbd_queue_size   = 50
234.45/192.43	c (0,0) c  fast_var_decay        = 1.000
234.45/192.43	c (0,0) c  fast_glue_threshold   = 2
234.45/192.43	c (0,0) c  fast_phase_saving     = 2
234.45/192.43	c (0,0) c STATS
234.45/192.43	c (0,0) c  stats_conf_size       = 10000
234.45/192.43	c (0,0) c  max_stats_size        = 30
234.45/192.43	c (0,0) c SOLVER
234.45/192.43	c (0,0) c  minisat               = 0
236.11/193.96	c (1,0) c Problem: 141360 variables, 4859570 clauses, parsing 1.42 s
256.72/214.50	c (22,0) c  reduced to 134220 variables, 4852430 clauses (grow = 0)
256.81/214.69	c (22,0) c  exclude 0 (0.0%) variables from decision variables (last cost 0)
257.22/215.05	c (23,0) c Simplification: 7140 vars, 7140 clauses are eliminated using 20.90 s
257.22/215.05	c (23,0) c
257.22/215.05	c (23,0) c        #Rstrts   #Confs   #Vars   #Clauses  #Learnts Lits/C LBD/C DLVs Trail
257.22/215.05	c (23,0) c
257.22/215.05	c (23,0) c   22         0         0   134220  4852430        0   -nan  -nan  -nan -nan%
257.32/215.15	c (23,0) c   22         2       100   134220  4852430      100   72.5   7.0  18.6  4.2%
257.51/215.37	c (23,0) c   22         2       126   134220  4852430      126   88.6   6.6  17.1  4.2%
257.51/215.37	c (23,0) c
257.51/215.37	c (23,0) c
257.51/215.37	c (23,0) c variables         : 134220      (init 141360, after simp 134220, 0 non-decs, 120 csp)
257.51/215.37	c (23,0) c clauses           : 4852430     (init 4859570, after simp 4852430)
257.51/215.37	c (23,0) c restarts          : 1           (63.00 confs/res, 30~96 confs, 0 blks, 0 last)
257.51/215.37	c (23,0) c conflicts         : 126         (6 /sec, 55.56% dconfs, 0.00% supp, trail 392.41w x 17.09h, jmp 1.60h)
257.51/215.37	c (23,0) c decisions         : 229         (0.6000 vdcy, 10 /sec, 0.00% bin, rs 0.000 s)
257.51/215.37	c (23,0) c propagations      : 417533      (18442 /sec, 1823.29 lits/dec, 6.36% o.a.)
257.51/215.37	c (23,0) c conflict literals : 14901       (24.83% deleted; 0.25% by bin min, 0.000 s)
257.51/215.37	c (23,0) c len               : 88.603      (88.60 for all, max 388, used 308)
257.51/215.37	c (23,0) c lbd               : 6.563       (7.54 (6.56) for all, max 23, used 22, 3.770 stdev, 11.752 blk)
257.51/215.37	c (23,0) c amo               : 0           (0 max, -nan avg, 0.000 s)
257.51/215.37	c (23,0) c simp dbs          : 1           (0.002 s)
257.51/215.37	c (23,0) c reduce dbs        : 0           (core-lbd 2, supp-lbd 2147483647, 0.000 s)
257.51/215.37	c (23,0) c learnts           : 126         (0 learnts removed, 0.00%)
257.51/215.37	c (23,0) c rewrite dbs       : 0           (0/0 vars, 0+0 taut, 0+0 unit, 0.000 s)
257.51/215.37	c (23,0) c assigned lits     : 0           (0/0 probed, 0 remains)
257.51/215.37	c (23,0) c premise updates   : 0           (0.00 /lit)
257.51/215.37	c (23,0) c probed variables  : 0           (0 pr, 0 eq, 0 fld, 0 pol, 0 nec, 0 cla, 0 amo)
257.51/215.37	c (23,0) c equiv variables   : 0           (0 bin, 0 trn, 0 quat, 0 quin, 0 othr; 0 amo)
257.51/215.37	c (23,0) c lazy added bins   : 0           (0 prop + 0 conf, 0.000s)
257.51/215.37	c (23,0) c unwatched lit elim: 17          (0.00+0.11%, 0+17 of 14399424+14901)
257.51/215.37	c (23,0) c classified type   : undef
257.51/215.37	c (23,0) c progress          : 0.000 %
257.51/215.37	c (23,0) c
257.51/215.37	c (23,0) c [Statistics]
257.51/215.37	c (23,0) c             learnts len        learnts lbd        lit blk size       eq vars size
257.51/215.37	c (23,0) c  tot         126                126                950                  0
257.51/215.37	c (23,0) c  avg      88.603              6.563             11.752               -nan
257.51/215.37	c (23,0) c   1            0 ( 0.0%)          1 ( 0.8%)        534 (56.2%)          0 (-nan%)
257.51/215.37	c (23,0) c   2            0 ( 0.0%)          7 ( 5.6%)         74 ( 7.8%)          0 (-nan%)
257.51/215.37	c (23,0) c   3            3 ( 2.4%)         22 (17.5%)         42 ( 4.4%)          0 (-nan%)
257.51/215.37	c (23,0) c   4            7 ( 5.6%)         16 (12.7%)         18 ( 1.9%)          0 (-nan%)
257.51/215.37	c (23,0) c   5            6 ( 4.8%)         20 (15.9%)         18 ( 1.9%)          0 (-nan%)
257.51/215.37	c (23,0) c   6            6 ( 4.8%)         17 (13.5%)         13 ( 1.4%)          0 (-nan%)
257.51/215.37	c (23,0) c   7            7 ( 5.6%)         10 ( 7.9%)          9 ( 0.9%)          0 (-nan%)
257.51/215.37	c (23,0) c   8            6 ( 4.8%)          5 ( 4.0%)          9 ( 0.9%)          0 (-nan%)
257.51/215.37	c (23,0) c   9            5 ( 4.0%)          2 ( 1.6%)         12 ( 1.3%)          0 (-nan%)
257.51/215.37	c (23,0) c  10            4 ( 3.2%)          3 ( 2.4%)          2 ( 0.2%)          0 (-nan%)
257.51/215.37	c (23,0) c  11            1 ( 0.8%)          3 ( 2.4%)         11 ( 1.2%)          0 (-nan%)
257.51/215.37	c (23,0) c  12            1 ( 0.8%)          5 ( 4.0%)          8 ( 0.8%)          0 (-nan%)
257.51/215.37	c (23,0) c  13            2 ( 1.6%)          2 ( 1.6%)          9 ( 0.9%)          0 (-nan%)
257.51/215.37	c (23,0) c  14            2 ( 1.6%)          4 ( 3.2%)          4 ( 0.4%)          0 (-nan%)
257.51/215.37	c (23,0) c  15            0 ( 0.0%)          5 ( 4.0%)          6 ( 0.6%)          0 (-nan%)
257.51/215.37	c (23,0) c  16            0 ( 0.0%)          2 ( 1.6%)          4 ( 0.4%)          0 (-nan%)
257.51/215.37	c (23,0) c  17            0 ( 0.0%)          1 ( 0.8%)          4 ( 0.4%)          0 (-nan%)
257.51/215.37	c (23,0) c  18            2 ( 1.6%)          0 ( 0.0%)          4 ( 0.4%)          0 (-nan%)
257.51/215.37	c (23,0) c  19            1 ( 0.8%)          0 ( 0.0%)          3 ( 0.3%)          0 (-nan%)
257.51/215.37	c (23,0) c  20            1 ( 0.8%)          0 ( 0.0%)          7 ( 0.7%)          0 (-nan%)
257.51/215.37	c (23,0) c  21            1 ( 0.8%)          0 ( 0.0%)          7 ( 0.7%)          0 (-nan%)
257.51/215.37	c (23,0) c  22            0 ( 0.0%)          0 ( 0.0%)          2 ( 0.2%)          0 (-nan%)
257.51/215.37	c (23,0) c  23            0 ( 0.0%)          1 ( 0.8%)          3 ( 0.3%)          0 (-nan%)
257.51/215.37	c (23,0) c  24            0 ( 0.0%)          0 ( 0.0%)          8 ( 0.8%)          0 (-nan%)
257.51/215.37	c (23,0) c  25            0 ( 0.0%)          0 ( 0.0%)          3 ( 0.3%)          0 (-nan%)
257.51/215.37	c (23,0) c  26            1 ( 0.8%)          0 ( 0.0%)          5 ( 0.5%)          0 (-nan%)
257.51/215.37	c (23,0) c  27            0 ( 0.0%)          0 ( 0.0%)          6 ( 0.6%)          0 (-nan%)
257.51/215.38	c (23,0) c  28            0 ( 0.0%)          0 ( 0.0%)          2 ( 0.2%)          0 (-nan%)
257.51/215.38	c (23,0) c  29            0 ( 0.0%)          0 ( 0.0%)          2 ( 0.2%)          0 (-nan%)
257.51/215.38	c (23,0) c  30           70 (55.6%)          0 ( 0.0%)        121 (12.7%)          0 (-nan%)
257.51/215.38	c (23,0) c
257.51/215.38	c (23,0) c [LBD Statistics]
257.51/215.38	c (23,0) c LBD          used lbd               used clause lbd         unused clause lbd
257.51/215.38	c (23,0) c  tot           77                      40                      86
257.51/215.38	c (23,0) c  avg        5.390                   5.300                   7.151
257.51/215.38	c (23,0) c    1            1 ( 1.3/ 1.3%)          1 ( 2.5/ 2.5%)          0 ( 0.0/ 0.0%)
257.51/215.38	c (23,0) c    2           12 (15.6/16.9%)          5 (12.5/15.0%)          2 ( 2.3/ 2.3%)
257.51/215.38	c (23,0) c    3           12 (15.6/32.5%)         10 (25.0/40.0%)         12 (14.0/16.3%)
257.51/215.38	c (23,0) c    4           10 (13.0/45.5%)          3 ( 7.5/47.5%)         13 (15.1/31.4%)
257.51/215.38	c (23,0) c    5           20 (26.0/71.4%)         10 (25.0/72.5%)         10 (11.6/43.0%)
257.51/215.38	c (23,0) c    6            4 ( 5.2/76.6%)          1 ( 2.5/75.0%)         16 (18.6/61.6%)
257.51/215.38	c (23,0) c    7            6 ( 7.8/84.4%)          4 (10.0/85.0%)          6 ( 7.0/68.6%)
257.51/215.38	c (23,0) c    8            4 ( 5.2/89.6%)          1 ( 2.5/87.5%)          4 ( 4.7/73.3%)
257.51/215.38	c (23,0) c    9            2 ( 2.6/92.2%)          0 ( 0.0/87.5%)          2 ( 2.3/75.6%)
257.51/215.38	c (23,0) c   10            0 ( 0.0/92.2%)          1 ( 2.5/90.0%)          2 ( 2.3/77.9%)
257.51/215.38	c (23,0) c   11            0 ( 0.0/92.2%)          1 ( 2.5/92.5%)          2 ( 2.3/80.2%)
257.51/215.38	c (23,0) c   12            1 ( 1.3/93.5%)          0 ( 0.0/92.5%)          5 ( 5.8/86.0%)
257.51/215.38	c (23,0) c   13            0 ( 0.0/93.5%)          0 ( 0.0/92.5%)          2 ( 2.3/88.4%)
257.51/215.38	c (23,0) c   14            1 ( 1.3/94.8%)          0 ( 0.0/92.5%)          4 ( 4.7/93.0%)
257.51/215.38	c (23,0) c   15            0 ( 0.0/94.8%)          2 ( 5.0/97.5%)          3 ( 3.5/96.5%)
257.51/215.38	c (23,0) c   16            1 ( 1.3/96.1%)          1 ( 2.5/100.0%)          1 ( 1.2/97.7%)
257.51/215.38	c (23,0) c   17            2 ( 2.6/98.7%)          0 ( 0.0/100.0%)          1 ( 1.2/98.8%)
257.51/215.38	c (23,0) c   18            0 ( 0.0/98.7%)          0 ( 0.0/100.0%)          0 ( 0.0/98.8%)
257.51/215.38	c (23,0) c   19            0 ( 0.0/98.7%)          0 ( 0.0/100.0%)          0 ( 0.0/98.8%)
257.51/215.38	c (23,0) c   20            0 ( 0.0/98.7%)          0 ( 0.0/100.0%)          0 ( 0.0/98.8%)
257.51/215.38	c (23,0) c   21            0 ( 0.0/98.7%)          0 ( 0.0/100.0%)          0 ( 0.0/98.8%)
257.51/215.38	c (23,0) c   22            1 ( 1.3/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/98.8%)
257.51/215.38	c (23,0) c   23            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          1 ( 1.2/100.0%)
257.51/215.38	c (23,0) c
257.51/215.38	c (23,0) c Memory used       : 655.00 MB
257.51/215.38	c (23,0) c CPU time          : 22.640 s
257.51/215.38	c (23,0) c Real time         : 22.962 s
257.51/215.38	c (23,0) c
257.51/215.38	c (23,0) s SATISFIABLE
257.66/215.50	c (23,0) SatSolver.solve End
257.66/215.50	c (23,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
257.66/215.50	c (23,0) Show results Begin
258.17/215.62	c (23,0) x[0] = 41
258.17/215.62	c (23,0) x[1] = 130
258.17/215.62	c (23,0) x[2] = 92
258.17/215.62	c (23,0) x[3] = 26
258.17/215.62	c (23,0) x[4] = 143
258.17/215.62	c (23,0) x[5] = 129
258.17/215.62	c (23,0) x[6] = 1
258.17/215.62	c (23,0) x[7] = 197
258.17/215.62	c (23,0) x[8] = 111
258.17/215.62	c (23,0) x[9] = 57
258.17/215.62	c (23,0) x[10] = 0
258.17/215.62	c (23,0) x[11] = 137
258.17/215.62	c (23,0) x[12] = 142
258.17/215.63	c (23,0) x[13] = 29
258.17/215.63	c (23,0) x[14] = 180
258.17/215.63	c (23,0) x[15] = 14
258.17/215.63	c (23,0) x[16] = 113
258.17/215.63	c (23,0) x[17] = 187
258.17/215.63	c (23,0) x[18] = 24
258.17/215.63	c (23,0) x[19] = 114
258.17/215.63	c (23,0) x[20] = 161
258.17/215.63	c (23,0) x[21] = 188
258.17/215.63	c (23,0) x[22] = 82
258.17/215.63	c (23,0) x[23] = 164
258.17/215.63	c (23,0) x[24] = 105
258.17/215.63	c (23,0) x[25] = 91
258.17/215.63	c (23,0) x[26] = 63
258.17/215.63	c (23,0) x[27] = 185
258.17/215.63	c (23,0) x[28] = 13
258.17/215.63	c (23,0) x[29] = 104
258.17/215.63	c (23,0) x[30] = 134
258.17/215.63	c (23,0) x[31] = 135
258.17/215.63	c (23,0) x[32] = 42
258.17/215.63	c (23,0) x[33] = 97
258.17/215.63	c (23,0) x[34] = 124
258.17/215.63	c (23,0) x[35] = 90
258.17/215.63	c (23,0) x[36] = 106
258.17/215.63	c (23,0) x[37] = 95
258.17/215.63	c (23,0) x[38] = 72
258.17/215.63	c (23,0) x[39] = 79
258.17/215.63	c (23,0) x[40] = 167
258.17/215.63	c (23,0) x[41] = 49
258.17/215.63	c (23,0) x[42] = 133
258.17/215.63	c (23,0) x[43] = 189
258.17/215.63	c (23,0) x[44] = 65
258.17/215.63	c (23,0) x[45] = 94
258.17/215.63	c (23,0) x[46] = 89
258.17/215.63	c (23,0) x[47] = 83
258.17/215.63	c (23,0) x[48] = 115
258.17/215.63	c (23,0) x[49] = 32
258.17/215.63	c (23,0) x[50] = 11
258.17/215.63	c (23,0) x[51] = 100
258.17/215.63	c (23,0) x[52] = 53
258.17/215.63	c (23,0) x[53] = 23
258.17/215.63	c (23,0) x[54] = 35
258.17/215.63	c (23,0) x[55] = 64
258.17/215.63	c (23,0) x[56] = 166
258.17/215.63	c (23,0) x[57] = 99
258.17/215.63	c (23,0) x[58] = 9
258.17/215.63	c (23,0) x[59] = 172
258.17/215.63	c (23,0) x[60] = 87
258.17/215.63	c (23,0) x[61] = 171
258.17/215.63	c (23,0) x[62] = 183
258.17/215.63	c (23,0) x[63] = 5
258.17/215.63	c (23,0) x[64] = 58
258.17/215.63	c (23,0) x[65] = 147
258.17/215.63	c (23,0) x[66] = 126
258.17/215.63	c (23,0) x[67] = 156
258.17/215.63	c (23,0) x[68] = 96
258.17/215.63	c (23,0) x[69] = 169
258.17/215.63	c (23,0) x[70] = 181
258.17/215.63	c (23,0) x[71] = 36
258.17/215.63	c (23,0) x[72] = 131
258.17/215.63	c (23,0) x[73] = 195
258.17/215.63	c (23,0) x[74] = 98
258.17/215.63	c (23,0) x[75] = 123
258.17/215.63	c (23,0) x[76] = 101
258.17/215.63	c (23,0) x[77] = 120
258.17/215.63	c (23,0) x[78] = 139
258.17/215.63	c (23,0) x[79] = 144
258.17/215.63	c (23,0) x[80] = 25
258.17/215.63	c (23,0) x[81] = 152
258.17/215.63	c (23,0) x[82] = 191
258.17/215.63	c (23,0) x[83] = 30
258.17/215.63	c (23,0) x[84] = 20
258.17/215.63	c (23,0) x[85] = 192
258.17/215.63	c (23,0) x[86] = 6
258.17/215.63	c (23,0) x[87] = 160
258.17/215.63	c (23,0) x[88] = 2
258.17/215.63	c (23,0) x[89] = 179
258.17/215.63	c (23,0) x[90] = 12
258.17/215.63	c (23,0) x[91] = 75
258.17/215.63	c (23,0) x[92] = 146
258.17/215.63	c (23,0) x[93] = 112
258.17/215.63	c (23,0) x[94] = 103
258.17/215.63	c (23,0) x[95] = 18
258.17/215.63	c (23,0) x[96] = 162
258.17/215.63	c (23,0) x[97] = 50
258.17/215.63	c (23,0) x[98] = 69
258.17/215.63	c (23,0) x[99] = 61
258.17/215.63	c (23,0) x[100] = 77
258.17/215.63	c (23,0) x[101] = 163
258.17/215.63	c (23,0) x[102] = 154
258.17/215.63	c (23,0) x[103] = 39
258.17/215.63	c (23,0) x[104] = 159
258.17/215.63	c (23,0) x[105] = 109
258.17/215.63	c (23,0) x[106] = 70
258.17/215.63	c (23,0) x[107] = 148
258.17/215.63	c (23,0) x[108] = 33
258.17/215.63	c (23,0) x[109] = 74
258.17/215.63	c (23,0) x[110] = 3
258.17/215.63	c (23,0) x[111] = 19
258.17/215.63	c (23,0) x[112] = 149
258.17/215.63	c (23,0) x[113] = 122
258.17/215.63	c (23,0) x[114] = 125
258.17/215.63	c (23,0) x[115] = 168
258.17/215.63	c (23,0) x[116] = 173
258.17/215.63	c (23,0) x[117] = 190
258.17/215.63	c (23,0) x[118] = 186
258.17/215.63	c (23,0) x[119] = 38
258.17/215.63	s SATISFIABLE
258.17/215.63	v <instantiation>
258.17/215.63	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]</list>
258.17/215.63	v     <values>41 130 92 26 143 129 1 197 111 57 0 137 142 29 180 14 113 187 24 114 161 188 82 164 105 91 63 185 13 104 134 135 42 97 124 90 106 95 72 79 167 49 133 189 65 94 89 83 115 32 11 100 53 23 35 64 166 99 9 172 87 171 183 5 58 147 126 156 96 169 181 36 131 195 98 123 101 120 139 144 25 152 191 30 20 192 6 160 2 179 12 75 146 112 103 18 162 50 69 61 77 163 154 39 159 109 70 148 33 74 3 19 149 122 125 168 173 190 186 38</values>
258.17/215.63	v </instantiation>
258.17/215.63	c (23,0) Show results End
258.17/215.63	c (23,0) Heap : 163 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB)
258.17/215.63	c (23,0) 23,23,STOP-AFTER(ALL)
258.17/215.63	c END-Prog: Thu Sep 12 15:06:53 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 (11886 MiB free)
  memory of node 1: 16384 MiB (12449 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4387998-1568293440/watcher-4387998-1568293440 -o /tmp/evaluation-result-4387998-1568293440/solver-4387998-1568293440 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node137-1568286693-10212 --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-4387998-1568293440.xml 

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

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


[startup+0.100062 s]*
/proc/loadavg: 2.18 2.15 2.15 4/235 12748
/proc/meminfo: memFree=24859404/32770624 swapFree=66927092/67108860
[pid=12731] ppid=12728 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/12731/stat : 12731 (scop.sh) S 12728 12731 8795 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 405591339 115843072 349 33554432000 4194304 5098028 140732596375808 140732596373064 139968011264636 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 36970496 140732596380456 140732596380784 140732596380784 140732596383693 0
/proc/12731/statm: 28282 349 296 221 0 87 0
[pid=12734] ppid=12731 vsize=15012696 memory=72640 CPUtime=0.11 cores=0,2,4,6
/proc/12734/stat : 12734 (java) S 12731 12731 8795 0 -1 1077944320 6870 0 0 0 9 2 0 0 20 0 15 0 405591339 15373000704 18160 33554432000 4194304 4196468 140724858790176 140724858772720 140152889134839 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 28200960 140724858794734 140724858795162 140724858795162 140724858798031 0
/proc/12734/statm: 3753174 18160 2919 1 0 3715579 0
[pid=12734/tid=12735] ppid=12731 vsize=15012696 memory=-6149239525118099393 CPUtime=0.09 cores=0,2,4,6
/proc/12734/task/12735/stat : 12735 (java) R 12731 12731 8795 0 -1 4202560 4716 0 0 0 7 2 0 0 20 0 15 0 405591339 15373000704 18160 33554432000 4194304 4196468 140724858790176 140152860928744 140152869409680 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28200960 140724858794734 140724858795162 140724858795162 140724858798031 0
[pid=12734/tid=12736] ppid=12731 vsize=15012696 memory=4206468019014099040 CPUtime=0 cores=0,2,4,6
/proc/12734/task/12736/stat : 12736 (java) S 12731 12731 8795 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405591341 15373000704 18160 33554432000 4194304 4196468 140724858790176 140152893376912 140152889145045 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28200960 140724858794734 140724858795162 140724858795162 140724858798031 0
[pid=12734/tid=12737] ppid=12731 vsize=15012696 memory=140177699669632 CPUtime=0 cores=0,2,4,6
/proc/12734/task/12737/stat : 12737 (java) S 12731 12731 8795 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405591341 15373000704 18160 33554432000 4194304 4196468 140724858790176 140152707533072 140152889145045 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28200960 140724858794734 140724858795162 140724858795162 140724858798031 0
[pid=12734/tid=12738] ppid=12731 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12734/task/12738/stat : 12738 (java) S 12731 12731 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405591341 15373000704 18160 33554432000 4194304 4196468 140724858790176 140152706480784 140152889145045 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28200960 140724858794734 140724858795162 140724858795162 140724858798031 0
[pid=12734/tid=12739] ppid=12731 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/12734/task/12739/stat : 12739 (java) S 12731 12731 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405591341 15373000704 18226 33554432000 4194304 4196468 140724858790176 140152705427984 140152889145045 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28200960 140724858794734 140724858795162 140724858795162 140724858798031 0
[pid=12734/tid=12740] ppid=12731 vsize=15012696 memory=140177699669632 CPUtime=0 cores=0,2,4,6
/proc/12734/task/12740/stat : 12740 (java) S 12731 12731 8795 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405591342 15373000704 18226 33554432000 4194304 4196468 140724858790176 140151926717040 140152889145986 0 0 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28200960 140724858794734 140724858795162 140724858795162 140724858798031 0
[pid=12734/tid=12741] ppid=12731 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/12734/task/12741/stat : 12741 (java) S 12731 12731 8795 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405591343 15373000704 18226 33554432000 4194304 4196468 140724858790176 140151426639136 140152889145045 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28200960 140724858794734 140724858795162 140724858795162 140724858798031 0
[pid=12734/tid=12742] ppid=12731 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12734/task/12742/stat : 12742 (java) S 12731 12731 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405591343 15373000704 18226 33554432000 4194304 4196468 140724858790176 140151158204016 140152889145045 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28200960 140724858794734 140724858795162 140724858795162 140724858798031 0
[pid=12734/tid=12743] ppid=12731 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12734/task/12743/stat : 12743 (java) S 12731 12731 8795 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405591346 15373000704 18226 33554432000 4194304 4196468 140724858790176 140150783695440 140152889153435 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28200960 140724858794734 140724858795162 140724858795162 140724858798031 0
[pid=12734/tid=12744] ppid=12731 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12734/task/12744/stat : 12744 (java) S 12731 12731 8795 0 -1 1077944384 430 0 0 0 0 0 0 0 20 0 15 0 405591346 15373000704 18226 33554432000 4194304 4196468 140724858790176 140151925663856 140152889145986 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28200960 140724858794734 140724858795162 140724858795162 140724858798031 0
[pid=12734/tid=12745] ppid=12731 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/12734/task/12745/stat : 12745 (java) S 12731 12731 8795 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405591346 15373000704 18226 33554432000 4194304 4196468 140724858790176 140151924611056 140152889145986 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28200960 140724858794734 140724858795162 140724858795162 140724858798031 0
[pid=12734/tid=12746] ppid=12731 vsize=15012696 memory=140177699669632 CPUtime=0.01 cores=0,2,4,6
/proc/12734/task/12746/stat : 12746 (java) R 12731 12731 8795 0 -1 4202560 438 0 0 0 1 0 0 0 20 0 15 0 405591346 15373000704 18226 33554432000 4194304 4196468 140724858790176 140151923558768 140152881371966 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28200960 140724858794734 140724858795162 140724858795162 140724858798031 0
[pid=12734/tid=12747] ppid=12731 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/12734/task/12747/stat : 12747 (java) S 12731 12731 8795 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405591346 15373000704 18226 33554432000 4194304 4196468 140724858790176 140150285789664 140152889145045 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28200960 140724858794734 140724858795162 140724858795162 140724858798031 0
[pid=12734/tid=12748] ppid=12731 vsize=15012696 memory=140177699669632 CPUtime=0 cores=0,2,4,6
/proc/12734/task/12748/stat : 12748 (java) S 12731 12731 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405591346 15373000704 18226 33554432000 4194304 4196468 140724858790176 140151922506672 140152889145986 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28200960 140724858794734 140724858795162 140724858795162 140724858798031 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 74036 KiB

[startup+0.210925 s]*
/proc/loadavg: 2.18 2.15 2.15 3/235 12748
/proc/meminfo: memFree=24840560/32770624 swapFree=66927092/67108860
[pid=12731] ppid=12728 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/12731/stat : 12731 (scop.sh) S 12728 12731 8795 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 405591339 115843072 349 33554432000 4194304 5098028 140732596375808 140732596373064 139968011264636 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 36970496 140732596380456 140732596380784 140732596380784 140732596383693 0
/proc/12731/statm: 28282 349 296 221 0 87 0
[pid=12734] ppid=12731 vsize=15012696 memory=88236 CPUtime=0.25 cores=0,2,4,6
/proc/12734/stat : 12734 (java) S 12731 12731 8795 0 -1 1077944320 12059 0 0 0 21 4 0 0 20 0 15 0 405591339 15373000704 22059 33554432000 4194304 4196468 140724858790176 140724858772720 140152889134839 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 28200960 140724858794734 140724858795162 140724858795162 140724858798031 0
/proc/12734/statm: 3753174 22059 2981 1 0 3715579 0
[pid=12734/tid=12735] ppid=12731 vsize=15012696 memory=7022364632946311227 CPUtime=0.2 cores=0,2,4,6
/proc/12734/task/12735/stat : 12735 (java) R 12731 12731 8795 0 -1 4202560 9800 0 0 0 17 3 0 0 20 0 15 0 405591339 15373000704 22059 33554432000 4194304 4196468 140724858790176 140152860956192 140152889156765 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28200960 140724858794734 140724858795162 140724858795162 140724858798031 0
[pid=12734/tid=12736] ppid=12731 vsize=15012696 memory=540 CPUtime=0 cores=0,2,4,6
/proc/12734/task/12736/stat : 12736 (java) S 12731 12731 8795 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405591341 15373000704 22059 33554432000 4194304 4196468 140724858790176 140152893376912 140152889145045 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28200960 140724858794734 140724858795162 140724858795162 140724858798031 0
[pid=12734/tid=12737] ppid=12731 vsize=15012696 memory=4121833452825904800 CPUtime=0 cores=0,2,4,6
/proc/12734/task/12737/stat : 12737 (java) S 12731 12731 8795 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405591341 15373000704 22059 33554432000 4194304 4196468 140724858790176 140152707533072 140152889145045 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28200960 140724858794734 140724858795162 140724858795162 140724858798031 0
[pid=12734/tid=12738] ppid=12731 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12734/task/12738/stat : 12738 (java) S 12731 12731 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405591341 15373000704 22059 33554432000 4194304 4196468 140724858790176 140152706480784 140152889145045 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28200960 140724858794734 140724858795162 140724858795162 140724858798031 0
[pid=12734/tid=12739] ppid=12731 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/12734/task/12739/stat : 12739 (java) S 12731 12731 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405591341 15373000704 22059 33554432000 4194304 4196468 140724858790176 140152705427984 140152889145045 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28200960 140724858794734 140724858795162 140724858795162 140724858798031 0
[pid=12734/tid=12740] ppid=12731 vsize=15012696 memory=140177699669632 CPUtime=0 cores=0,2,4,6
/proc/12734/task/12740/stat : 12740 (java) S 12731 12731 8795 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405591342 15373000704 22059 33554432000 4194304 4196468 140724858790176 140151926717040 140152889145986 0 0 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28200960 140724858794734 140724858795162 140724858795162 140724858798031 0
[pid=12734/tid=12741] ppid=12731 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/12734/task/12741/stat : 12741 (java) S 12731 12731 8795 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405591343 15373000704 22059 33554432000 4194304 4196468 140724858790176 140151426639136 140152889145045 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28200960 140724858794734 140724858795162 140724858795162 140724858798031 0
[pid=12734/tid=12742] ppid=12731 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12734/task/12742/stat : 12742 (java) S 12731 12731 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405591343 15373000704 22059 33554432000 4194304 4196468 140724858790176 140151158204016 140152889145045 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28200960 140724858794734 140724858795162 140724858795162 140724858798031 0
[pid=12734/tid=12743] ppid=12731 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12734/task/12743/stat : 12743 (java) S 12731 12731 8795 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405591346 15373000704 22059 33554432000 4194304 4196468 140724858790176 140150783695440 140152889153435 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28200960 140724858794734 140724858795162 140724858795162 140724858798031 0
[pid=12734/tid=12744] ppid=12731 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12734/task/12744/stat : 12744 (java) S 12731 12731 8795 0 -1 1077944384 463 0 0 0 0 0 0 0 20 0 15 0 405591346 15373000704 22059 33554432000 4194304 4196468 140724858790176 140151925663856 140152889145986 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28200960 140724858794734 140724858795162 140724858795162 140724858798031 0
[pid=12734/tid=12745] ppid=12731 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/12734/task/12745/stat : 12745 (java) S 12731 12731 8795 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 15 0 405591346 15373000704 22059 33554432000 4194304 4196468 140724858790176 140151924611056 140152889145986 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28200960 140724858794734 140724858795162 140724858795162 140724858798031 0
[pid=12734/tid=12746] ppid=12731 vsize=15012696 memory=140177699669632 CPUtime=0.02 cores=0,2,4,6
/proc/12734/task/12746/stat : 12746 (java) R 12731 12731 8795 0 -1 4202560 447 0 0 0 2 0 0 0 20 0 15 0 405591346 15373000704 22059 33554432000 4194304 4196468 140724858790176 140151923558768 140152873215326 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28200960 140724858794734 140724858795162 140724858795162 140724858798031 0
[pid=12734/tid=12747] ppid=12731 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/12734/task/12747/stat : 12747 (java) S 12731 12731 8795 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405591346 15373000704 22059 33554432000 4194304 4196468 140724858790176 140150285789664 140152889145045 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28200960 140724858794734 140724858795162 140724858795162 140724858798031 0
[pid=12734/tid=12748] ppid=12731 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12734/task/12748/stat : 12748 (java) S 12731 12731 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405591346 15373000704 22059 33554432000 4194304 4196468 140724858790176 140151922506672 140152889145986 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28200960 140724858794734 140724858795162 140724858795162 140724858798031 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 89632 KiB

[startup+0.310758 s]*
/proc/loadavg: 2.18 2.15 2.15 3/235 12748
/proc/meminfo: memFree=24837556/32770624 swapFree=66927092/67108860
[pid=12731] ppid=12728 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/12731/stat : 12731 (scop.sh) S 12728 12731 8795 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 405591339 115843072 349 33554432000 4194304 5098028 140732596375808 140732596373064 139968011264636 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 36970496 140732596380456 140732596380784 140732596380784 140732596383693 0
/proc/12731/statm: 28282 349 296 221 0 87 0
[pid=12734] ppid=12731 vsize=15012696 memory=92196 CPUtime=0.43 cores=0,2,4,6
/proc/12734/stat : 12734 (java) S 12731 12731 8795 0 -1 1077944320 13064 0 0 0 39 4 0 0 20 0 15 0 405591339 15373000704 23049 33554432000 4194304 4196468 140724858790176 140724858772720 140152889134839 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 28200960 140724858794734 140724858795162 140724858795162 140724858798031 0
/proc/12734/statm: 3753174 23049 3062 1 0 3715579 0
[pid=12734/tid=12735] ppid=12731 vsize=15012696 memory=6791534058613427641 CPUtime=0.29 cores=0,2,4,6
/proc/12734/task/12735/stat : 12735 (java) R 12731 12731 8795 0 -1 4202560 10598 0 0 0 26 3 0 0 20 0 15 0 405591339 15373000704 23049 33554432000 4194304 4196468 140724858790176 140152860925472 140152889148743 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28200960 140724858794734 140724858795162 140724858795162 140724858798031 0
[pid=12734/tid=12736] ppid=12731 vsize=15012696 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/12734/task/12736/stat : 12736 (java) S 12731 12731 8795 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405591341 15373000704 23049 33554432000 4194304 4196468 140724858790176 140152893376912 140152889145045 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28200960 140724858794734 140724858795162 140724858795162 140724858798031 0
[pid=12734/tid=12737] ppid=12731 vsize=15012696 memory=-5587046532246807594 CPUtime=0 cores=0,2,4,6
/proc/12734/task/12737/stat : 12737 (java) S 12731 12731 8795 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405591341 15373000704 23049 33554432000 4194304 4196468 140724858790176 140152707533072 140152889145045 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28200960 140724858794734 140724858795162 140724858795162 140724858798031 0
[pid=12734/tid=12738] ppid=12731 vsize=15012696 memory=7379517702019849078 CPUtime=0 cores=0,2,4,6
/proc/12734/task/12738/stat : 12738 (java) S 12731 12731 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405591341 15373000704 23049 33554432000 4194304 4196468 140724858790176 140152706480784 140152889145045 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28200960 140724858794734 140724858795162 140724858795162 140724858798031 0
[pid=12734/tid=12739] ppid=12731 vsize=15012696 memory=7016714186490735262 CPUtime=0 cores=0,2,4,6
/proc/12734/task/12739/stat : 12739 (java) S 12731 12731 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405591341 15373000704 23049 33554432000 4194304 4196468 140724858790176 140152705427984 140152889145045 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28200960 140724858794734 140724858795162 140724858795162 140724858798031 0
[pid=12734/tid=12740] ppid=12731 vsize=15012696 memory=4498404016631593313 CPUtime=0 cores=0,2,4,6
/proc/12734/task/12740/stat : 12740 (java) S 12731 12731 8795 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405591342 15373000704 23049 33554432000 4194304 4196468 140724858790176 140151926717040 140152889145986 0 0 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28200960 140724858794734 140724858795162 140724858795162 140724858798031 0
[pid=12734/tid=12741] ppid=12731 vsize=15012696 memory=-6519613052471072158 CPUtime=0 cores=0,2,4,6
/proc/12734/task/12741/stat : 12741 (java) S 12731 12731 8795 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405591343 15373000704 23049 33554432000 4194304 4196468 140724858790176 140151426639136 140152889145045 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28200960 140724858794734 140724858795162 140724858795162 140724858798031 0
[pid=12734/tid=12742] ppid=12731 vsize=15012696 memory=-6664436420846796947 CPUtime=0 cores=0,2,4,6
/proc/12734/task/12742/stat : 12742 (java) S 12731 12731 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405591343 15373000704 23049 33554432000 4194304 4196468 140724858790176 140151158204016 140152889145045 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28200960 140724858794734 140724858795162 140724858795162 140724858798031 0
[pid=12734/tid=12743] ppid=12731 vsize=15012696 memory=4426078206164241782 CPUtime=0 cores=0,2,4,6
/proc/12734/task/12743/stat : 12743 (java) S 12731 12731 8795 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405591346 15373000704 23049 33554432000 4194304 4196468 140724858790176 140150783695440 140152889153435 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28200960 140724858794734 140724858795162 140724858795162 140724858798031 0
[pid=12734/tid=12744] ppid=12731 vsize=15012696 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/12734/task/12744/stat : 12744 (java) S 12731 12731 8795 0 -1 1077944384 565 0 0 0 2 0 0 0 20 0 15 0 405591346 15373000704 23049 33554432000 4194304 4196468 140724858790176 140151925663856 140152889145986 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28200960 140724858794734 140724858795162 140724858795162 140724858798031 0
[pid=12734/tid=12745] ppid=12731 vsize=15012696 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/12734/task/12745/stat : 12745 (java) S 12731 12731 8795 0 -1 1077944384 77 0 0 0 2 0 0 0 20 0 15 0 405591346 15373000704 23049 33554432000 4194304 4196468 140724858790176 140151924611056 140152889145986 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28200960 140724858794734 140724858795162 140724858795162 140724858798031 0
[pid=12734/tid=12746] ppid=12731 vsize=15012696 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/12734/task/12746/stat : 12746 (java) S 12731 12731 8795 0 -1 1077944384 492 0 0 0 7 0 0 0 20 0 15 0 405591346 15373000704 23049 33554432000 4194304 4196468 140724858790176 140151923558768 140152889145986 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28200960 140724858794734 140724858795162 140724858795162 140724858798031 0
[pid=12734/tid=12747] ppid=12731 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12734/task/12747/stat : 12747 (java) S 12731 12731 8795 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405591346 15373000704 23049 33554432000 4194304 4196468 140724858790176 140150285789664 140152889145045 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28200960 140724858794734 140724858795162 140724858795162 140724858798031 0
[pid=12734/tid=12748] ppid=12731 vsize=15012696 memory=3617570492429382704 CPUtime=0 cores=0,2,4,6
/proc/12734/task/12748/stat : 12748 (java) S 12731 12731 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405591346 15373000704 23049 33554432000 4194304 4196468 140724858790176 140151922506672 140152889145986 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28200960 140724858794734 140724858795162 140724858795162 140724858798031 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 93592 KiB

[startup+0.701783 s]
/proc/loadavg: 2.18 2.15 2.15 3/235 12748
/proc/meminfo: memFree=24815808/32770624 swapFree=66927092/67108860
[pid=12731] ppid=12728 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/12731/stat : 12731 (scop.sh) S 12728 12731 8795 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 405591339 115843072 349 33554432000 4194304 5098028 140732596375808 140732596373064 139968011264636 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 36970496 140732596380456 140732596380784 140732596380784 140732596383693 0
/proc/12731/statm: 28282 349 296 221 0 87 0
[pid=12734] ppid=12731 vsize=15018968 memory=129204 CPUtime=0.99 cores=0,2,4,6
/proc/12734/stat : 12734 (java) S 12731 12731 8795 0 -1 1077944320 20111 0 0 0 92 7 0 0 20 0 15 0 405591339 15379423232 32301 33554432000 4194304 4196468 140724858790176 140724858772720 140152889134839 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 28200960 140724858794734 140724858795162 140724858795162 140724858798031 0
/proc/12734/statm: 3754742 32301 3183 1 0 3716091 0
[pid=12734/tid=12735] ppid=12731 vsize=15018968 memory=2372 CPUtime=0.68 cores=0,2,4,6
/proc/12734/task/12735/stat : 12735 (java) R 12731 12731 8795 0 -1 4202560 17206 0 0 0 62 6 0 0 20 0 15 0 405591339 15379423232 32301 33554432000 4194304 4196468 140724858790176 140152860956976 140152868734027 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28200960 140724858794734 140724858795162 140724858795162 140724858798031 0
[pid=12734/tid=12736] ppid=12731 vsize=15018968 memory=180 CPUtime=0 cores=0,2,4,6
/proc/12734/task/12736/stat : 12736 (java) S 12731 12731 8795 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405591341 15379423232 32301 33554432000 4194304 4196468 140724858790176 140152893376912 140152889145045 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28200960 140724858794734 140724858795162 140724858795162 140724858798031 0
[pid=12734/tid=12737] ppid=12731 vsize=15018968 memory=13367 CPUtime=0 cores=0,2,4,6
/proc/12734/task/12737/stat : 12737 (java) S 12731 12731 8795 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405591341 15379423232 32301 33554432000 4194304 4196468 140724858790176 140152707533072 140152889145045 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28200960 140724858794734 140724858795162 140724858795162 140724858798031 0
[pid=12734/tid=12738] ppid=12731 vsize=15018968 memory=22962 CPUtime=0 cores=0,2,4,6
/proc/12734/task/12738/stat : 12738 (java) S 12731 12731 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405591341 15379423232 32301 33554432000 4194304 4196468 140724858790176 140152706480784 140152889145045 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28200960 140724858794734 140724858795162 140724858795162 140724858798031 0
[pid=12734/tid=12739] ppid=12731 vsize=15018968 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12734/task/12739/stat : 12739 (java) S 12731 12731 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405591341 15379423232 32301 33554432000 4194304 4196468 140724858790176 140152705427984 140152889145045 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28200960 140724858794734 140724858795162 140724858795162 140724858798031 0
[pid=12734/tid=12740] ppid=12731 vsize=15018968 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12734/task/12740/stat : 12740 (java) S 12731 12731 8795 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 405591342 15379423232 32301 33554432000 4194304 4196468 140724858790176 140151926717040 140152889145986 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28200960 140724858794734 140724858795162 140724858795162 140724858798031 0
[pid=12734/tid=12741] ppid=12731 vsize=15018968 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12734/task/12741/stat : 12741 (java) S 12731 12731 8795 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405591343 15379423232 32301 33554432000 4194304 4196468 140724858790176 140151426639136 140152889145045 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28200960 140724858794734 140724858795162 140724858795162 140724858798031 0
[pid=12734/tid=12742] ppid=12731 vsize=15018968 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12734/task/12742/stat : 12742 (java) S 12731 12731 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405591343 15379423232 32301 33554432000 4194304 4196468 140724858790176 140151158204016 140152889145045 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28200960 140724858794734 140724858795162 140724858795162 140724858798031 0
[pid=12734/tid=12743] ppid=12731 vsize=15018968 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12734/task/12743/stat : 12743 (java) S 12731 12731 8795 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405591346 15379423232 32301 33554432000 4194304 4196468 140724858790176 140150783695440 140152889153435 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28200960 140724858794734 140724858795162 140724858795162 140724858798031 0
[pid=12734/tid=12744] ppid=12731 vsize=15018968 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/12734/task/12744/stat : 12744 (java) R 12731 12731 8795 0 -1 4202560 779 0 0 0 7 0 0 0 20 0 15 0 405591346 15379423232 32301 33554432000 4194304 4196468 140724858790176 140151925653648 140152869770723 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28200960 140724858794734 140724858795162 140724858795162 140724858798031 0
[pid=12734/tid=12745] ppid=12731 vsize=15018968 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/12734/task/12745/stat : 12745 (java) S 12731 12731 8795 0 -1 1077944384 176 0 0 0 7 0 0 0 20 0 15 0 405591346 15379423232 32301 33554432000 4194304 4196468 140724858790176 140151924611056 140152889145986 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28200960 140724858794734 140724858795162 140724858795162 140724858798031 0
[pid=12734/tid=12746] ppid=12731 vsize=15018968 memory=0 CPUtime=0.15 cores=0,2,4,6
/proc/12734/task/12746/stat : 12746 (java) S 12731 12731 8795 0 -1 1077944384 615 0 0 0 15 0 0 0 20 0 15 0 405591346 15379423232 32301 33554432000 4194304 4196468 140724858790176 140151923558768 140152889145986 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28200960 140724858794734 140724858795162 140724858795162 140724858798031 0
[pid=12734/tid=12747] ppid=12731 vsize=15018968 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12734/task/12747/stat : 12747 (java) S 12731 12731 8795 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405591346 15379423232 32301 33554432000 4194304 4196468 140724858790176 140150285789664 140152889145045 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28200960 140724858794734 140724858795162 140724858795162 140724858798031 0
[pid=12734/tid=12748] ppid=12731 vsize=15018968 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12734/task/12748/stat : 12748 (java) S 12731 12731 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405591346 15379423232 32301 33554432000 4194304 4196468 140724858790176 140151922506672 140152889145986 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28200960 140724858794734 140724858795162 140724858795162 140724858798031 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 15132096 KiB
Current children cumulated memory: 130600 KiB

[startup+1.50404 s]
/proc/loadavg: 2.18 2.15 2.15 5/235 12748
/proc/meminfo: memFree=24783300/32770624 swapFree=66927092/67108860
[pid=12731] ppid=12728 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/12731/stat : 12731 (scop.sh) S 12728 12731 8795 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 405591339 115843072 349 33554432000 4194304 5098028 140732596375808 140732596373064 139968011264636 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 36970496 140732596380456 140732596380784 140732596380784 140732596383693 0
/proc/12731/statm: 28282 349 296 221 0 87 0

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

/proc/12763/task/12780/stat : 12780 (java) S 12731 12731 8795 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 405610580 8262082560 30038 33554432000 4194304 4196468 140725765232784 140177306702912 140177939681049 0 4 2 25189581 18446744071579417331 0 0 -1 0 0 0 0 0 0 6293624 6294260 12992512 140725765239803 140725765239962 140725765239962 140725765242831 0
[pid=12763/tid=12782] ppid=12731 vsize=8068440 memory=1476 CPUtime=0 cores=0,2,4,6
/proc/12763/task/12782/stat : 12782 (java) S 12731 12731 8795 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 405610581 8262082560 30038 33554432000 4194304 4196468 140725765232784 140175116058256 140177939678365 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 12992512 140725765239803 140725765239962 140725765239962 140725765242831 0
[pid=12763/tid=12783] ppid=12731 vsize=8068440 memory=120152 CPUtime=0 cores=0,2,4,6
/proc/12763/task/12783/stat : 12783 (java) S 12731 12731 8795 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 405610581 8262082560 30038 33554432000 4194304 4196468 140725765232784 140174847622928 140177939678365 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 12992512 140725765239803 140725765239962 140725765239962 140725765242831 0
[pid=12763/tid=12784] ppid=12731 vsize=8068440 memory=442912 CPUtime=0 cores=0,2,4,6
/proc/12763/task/12784/stat : 12784 (java) S 12731 12731 8795 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 405610584 8262082560 30038 33554432000 4194304 4196468 140725765232784 140175384501808 140177939666645 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12992512 140725765239803 140725765239962 140725765239962 140725765242831 0
Current children cumulated CPU time: 255.01 s
Current children cumulated vsize: 8722868 KiB
Current children cumulated memory: 570504 KiB

[startup+214.401 s]
/proc/loadavg: 2.46 2.32 2.22 3/239 12786
/proc/meminfo: memFree=24226640/32770624 swapFree=66927092/67108860
[pid=12731] ppid=12728 vsize=113128 memory=1476 CPUtime=233.41 cores=0,2,4,6
/proc/12731/stat : 12731 (scop.sh) S 12728 12731 8795 0 -1 4202496 583 84071 0 0 0 0 22844 497 20 0 1 0 405591339 115843072 369 33554432000 4194304 5098028 140732596375808 140732596372552 139968011264636 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 36970496 140732596380456 140732596380784 140732596380784 140732596383693 0
/proc/12731/statm: 28282 369 311 221 0 87 0
[pid=12763] ppid=12731 vsize=8068440 memory=120152 CPUtime=1.23 cores=0,2,4,6
/proc/12763/stat : 12763 (java) S 12731 12731 8795 0 -1 1077944320 20455 0 0 0 116 7 0 0 20 0 19 0 405610505 8262082560 30038 33554432000 4194304 4196468 140725765232784 140725765215328 140177939656439 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 12992512 140725765239803 140725765239962 140725765239962 140725765242831 0
/proc/12763/statm: 2017110 30038 3209 1 0 1978454 0
[pid=12779] ppid=12763 vsize=671528 memory=563280 CPUtime=21.97 cores=0,2,4,6
/proc/12779/stat : 12779 (glueminisat-sim) R 12763 12731 8795 0 -1 4202496 365275 0 0 0 2168 29 0 0 20 0 1 0 405610580 687644672 140820 33554432000 4194304 4452875 140732548933984 140732548928952 4399086 0 4 0 8388610 0 0 0 17 2 0 0 0 0 0 6552096 6554264 34394112 140732548940639 140732548940839 140732548940839 140732548943789 0
/proc/12779/statm: 167882 140820 350 64 0 164086 0
[pid=12763/tid=12764] ppid=12731 vsize=8068440 memory=776 CPUtime=0.77 cores=0,2,4,6
/proc/12763/task/12764/stat : 12764 (java) S 12731 12731 8795 0 -1 1077944384 17421 0 0 0 72 5 0 0 20 0 19 0 405610505 8262082560 30038 33554432000 4194304 4196468 140725765232784 140177911496608 140177939666645 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12992512 140725765239803 140725765239962 140725765239962 140725765242831 0
[pid=12763/tid=12765] ppid=12731 vsize=8068440 memory=1476 CPUtime=0 cores=0,2,4,6
/proc/12763/task/12765/stat : 12765 (java) S 12731 12731 8795 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405610507 8262082560 30038 33554432000 4194304 4196468 140725765232784 140177943898896 140177939666645 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12992512 140725765239803 140725765239962 140725765239962 140725765242831 0
[pid=12763/tid=12767] ppid=12731 vsize=8068440 memory=120152 CPUtime=0 cores=0,2,4,6
/proc/12763/task/12767/stat : 12767 (java) S 12731 12731 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405610507 8262082560 30038 33554432000 4194304 4196468 140725765232784 140177744067472 140177939666645 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12992512 140725765239803 140725765239962 140725765239962 140725765242831 0
[pid=12763/tid=12768] ppid=12731 vsize=8068440 memory=448876 CPUtime=0 cores=0,2,4,6
/proc/12763/task/12768/stat : 12768 (java) S 12731 12731 8795 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405610507 8262082560 30038 33554432000 4194304 4196468 140725765232784 140177743014928 140177939666645 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12992512 140725765239803 140725765239962 140725765239962 140725765242831 0
[pid=12763/tid=12769] ppid=12731 vsize=8068440 memory=988 CPUtime=0 cores=0,2,4,6
/proc/12763/task/12769/stat : 12769 (java) S 12731 12731 8795 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405610507 8262082560 30038 33554432000 4194304 4196468 140725765232784 140177741962384 140177939666645 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12992512 140725765239803 140725765239962 140725765239962 140725765242831 0
[pid=12763/tid=12770] ppid=12731 vsize=8068440 memory=1424 CPUtime=0 cores=0,2,4,6
/proc/12763/task/12770/stat : 12770 (java) S 12731 12731 8795 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 19 0 405610508 8262082560 30038 33554432000 4194304 4196468 140725765232784 140177318946800 140177939667586 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12992512 140725765239803 140725765239962 140725765239962 140725765242831 0
[pid=12763/tid=12771] ppid=12731 vsize=8068440 memory=4004 CPUtime=0 cores=0,2,4,6
/proc/12763/task/12771/stat : 12771 (java) S 12731 12731 8795 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 405610509 8262082560 30038 33554432000 4194304 4196468 140725765232784 140176793789344 140177939666645 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12992512 140725765239803 140725765239962 140725765239962 140725765242831 0
[pid=12763/tid=12772] ppid=12731 vsize=8068440 memory=1060 CPUtime=0 cores=0,2,4,6
/proc/12763/task/12772/stat : 12772 (java) S 12731 12731 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405610509 8262082560 30038 33554432000 4194304 4196468 140725765232784 140176525353968 140177939666645 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12992512 140725765239803 140725765239962 140725765239962 140725765242831 0
[pid=12763/tid=12773] ppid=12731 vsize=8068440 memory=2832 CPUtime=0 cores=0,2,4,6
/proc/12763/task/12773/stat : 12773 (java) S 12731 12731 8795 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405610512 8262082560 30038 33554432000 4194304 4196468 140725765232784 140176150845648 140177939675035 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12992512 140725765239803 140725765239962 140725765239962 140725765242831 0
[pid=12763/tid=12774] ppid=12731 vsize=8068440 memory=1716 CPUtime=0.09 cores=0,2,4,6
/proc/12763/task/12774/stat : 12774 (java) S 12731 12731 8795 0 -1 1077944384 696 0 0 0 9 0 0 0 20 0 19 0 405610512 8262082560 30038 33554432000 4194304 4196468 140725765232784 140177317894640 140177939667586 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12992512 140725765239803 140725765239962 140725765239962 140725765242831 0
[pid=12763/tid=12775] ppid=12731 vsize=8068440 memory=1124 CPUtime=0.1 cores=0,2,4,6
/proc/12763/task/12775/stat : 12775 (java) S 12731 12731 8795 0 -1 1077944384 351 0 0 0 10 0 0 0 20 0 19 0 405610512 8262082560 30038 33554432000 4194304 4196468 140725765232784 140177316842096 140177939667586 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12992512 140725765239803 140725765239962 140725765239962 140725765242831 0
[pid=12763/tid=12776] ppid=12731 vsize=8068440 memory=5912 CPUtime=0.22 cores=0,2,4,6
/proc/12763/task/12776/stat : 12776 (java) S 12731 12731 8795 0 -1 1077944384 591 0 0 0 22 0 0 0 20 0 19 0 405610512 8262082560 30038 33554432000 4194304 4196468 140725765232784 140177315789552 140177939667586 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12992512 140725765239803 140725765239962 140725765239962 140725765242831 0
[pid=12763/tid=12777] ppid=12731 vsize=8068440 memory=1540 CPUtime=0 cores=0,2,4,6
/proc/12763/task/12777/stat : 12777 (java) S 12731 12731 8795 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405610512 8262082560 30038 33554432000 4194304 4196468 140725765232784 140175652940896 140177939666645 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12992512 140725765239803 140725765239962 140725765239962 140725765242831 0
[pid=12763/tid=12778] ppid=12731 vsize=8068440 memory=692 CPUtime=0 cores=0,2,4,6
/proc/12763/task/12778/stat : 12778 (java) S 12731 12731 8795 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405610512 8262082560 30038 33554432000 4194304 4196468 140725765232784 140177314736432 140177939667586 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12992512 140725765239803 140725765239962 140725765239962 140725765242831 0
[pid=12763/tid=12780] ppid=12731 vsize=8068440 memory=4004 CPUtime=0 cores=0,2,4,6
/proc/12763/task/12780/stat : 12780 (java) S 12731 12731 8795 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 405610580 8262082560 30038 33554432000 4194304 4196468 140725765232784 140177306702912 140177939681049 0 4 2 25189581 18446744071579417331 0 0 -1 0 0 0 0 0 0 6293624 6294260 12992512 140725765239803 140725765239962 140725765239962 140725765242831 0
[pid=12763/tid=12782] ppid=12731 vsize=8068440 memory=1060 CPUtime=0 cores=0,2,4,6
/proc/12763/task/12782/stat : 12782 (java) S 12731 12731 8795 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 405610581 8262082560 30038 33554432000 4194304 4196468 140725765232784 140175116058256 140177939678365 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 12992512 140725765239803 140725765239962 140725765239962 140725765242831 0
[pid=12763/tid=12783] ppid=12731 vsize=8068440 memory=2832 CPUtime=0 cores=0,2,4,6
/proc/12763/task/12783/stat : 12783 (java) S 12731 12731 8795 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 405610581 8262082560 30038 33554432000 4194304 4196468 140725765232784 140174847622928 140177939678365 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 12992512 140725765239803 140725765239962 140725765239962 140725765242831 0
[pid=12763/tid=12784] ppid=12731 vsize=8068440 memory=1476 CPUtime=0 cores=0,2,4,6
/proc/12763/task/12784/stat : 12784 (java) S 12731 12731 8795 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 405610584 8262082560 30038 33554432000 4194304 4196468 140725765232784 140175384501808 140177939666645 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12992512 140725765239803 140725765239962 140725765239962 140725765242831 0
Current children cumulated CPU time: 256.61 s
Current children cumulated vsize: 8853096 KiB
Current children cumulated memory: 684908 KiB

[startup+215.201 s]
/proc/loadavg: 2.46 2.32 2.22 3/239 12786
/proc/meminfo: memFree=24209440/32770624 swapFree=66927092/67108860
[pid=12731] ppid=12728 vsize=113128 memory=1476 CPUtime=233.41 cores=0,2,4,6
/proc/12731/stat : 12731 (scop.sh) S 12728 12731 8795 0 -1 4202496 583 84071 0 0 0 0 22844 497 20 0 1 0 405591339 115843072 369 33554432000 4194304 5098028 140732596375808 140732596372552 139968011264636 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 36970496 140732596380456 140732596380784 140732596380784 140732596383693 0
/proc/12731/statm: 28282 369 311 221 0 87 0
[pid=12763] ppid=12731 vsize=8068440 memory=120152 CPUtime=1.23 cores=0,2,4,6
/proc/12763/stat : 12763 (java) S 12731 12731 8795 0 -1 1077944320 20455 0 0 0 116 7 0 0 20 0 19 0 405610505 8262082560 30038 33554432000 4194304 4196468 140725765232784 140725765215328 140177939656439 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 12992512 140725765239803 140725765239962 140725765239962 140725765242831 0
/proc/12763/statm: 2017110 30038 3209 1 0 1978454 0
[pid=12779] ppid=12763 vsize=433924 memory=371344 CPUtime=22.77 cores=0,2,4,6
/proc/12779/stat : 12779 (glueminisat-sim) R 12763 12731 8795 0 -1 4202496 369960 0 0 0 2246 31 0 0 20 0 1 0 405610580 444338176 92836 33554432000 4194304 4452875 140732548933984 140732548929592 4372270 0 4 0 8388610 0 0 0 17 2 0 0 0 0 0 6552096 6554264 34394112 140732548940639 140732548940839 140732548940839 140732548943789 0
/proc/12779/statm: 108481 92836 372 64 0 104685 0
[pid=12763/tid=12764] ppid=12731 vsize=8068440 memory=120152 CPUtime=0.77 cores=0,2,4,6
/proc/12763/task/12764/stat : 12764 (java) S 12731 12731 8795 0 -1 1077944384 17421 0 0 0 72 5 0 0 20 0 19 0 405610505 8262082560 30038 33554432000 4194304 4196468 140725765232784 140177911496608 140177939666645 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12992512 140725765239803 140725765239962 140725765239962 140725765242831 0
[pid=12763/tid=12765] ppid=12731 vsize=8068440 memory=448876 CPUtime=0 cores=0,2,4,6
/proc/12763/task/12765/stat : 12765 (java) S 12731 12731 8795 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405610507 8262082560 30038 33554432000 4194304 4196468 140725765232784 140177943898896 140177939666645 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12992512 140725765239803 140725765239962 140725765239962 140725765242831 0
[pid=12763/tid=12767] ppid=12731 vsize=8068440 memory=928 CPUtime=0 cores=0,2,4,6
/proc/12763/task/12767/stat : 12767 (java) S 12731 12731 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405610507 8262082560 30038 33554432000 4194304 4196468 140725765232784 140177744067472 140177939666645 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12992512 140725765239803 140725765239962 140725765239962 140725765242831 0
[pid=12763/tid=12768] ppid=12731 vsize=8068440 memory=1476 CPUtime=0 cores=0,2,4,6
/proc/12763/task/12768/stat : 12768 (java) S 12731 12731 8795 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405610507 8262082560 30038 33554432000 4194304 4196468 140725765232784 140177743014928 140177939666645 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12992512 140725765239803 140725765239962 140725765239962 140725765242831 0
[pid=12763/tid=12769] ppid=12731 vsize=8068440 memory=120152 CPUtime=0 cores=0,2,4,6
/proc/12763/task/12769/stat : 12769 (java) S 12731 12731 8795 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405610507 8262082560 30038 33554432000 4194304 4196468 140725765232784 140177741962384 140177939666645 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12992512 140725765239803 140725765239962 140725765239962 140725765242831 0
[pid=12763/tid=12770] ppid=12731 vsize=8068440 memory=415176 CPUtime=0 cores=0,2,4,6
/proc/12763/task/12770/stat : 12770 (java) S 12731 12731 8795 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 19 0 405610508 8262082560 30038 33554432000 4194304 4196468 140725765232784 140177318946800 140177939667586 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12992512 140725765239803 140725765239962 140725765239962 140725765242831 0
[pid=12763/tid=12771] ppid=12731 vsize=8068440 memory=916 CPUtime=0 cores=0,2,4,6
/proc/12763/task/12771/stat : 12771 (java) S 12731 12731 8795 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 405610509 8262082560 30038 33554432000 4194304 4196468 140725765232784 140176793789344 140177939666645 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12992512 140725765239803 140725765239962 140725765239962 140725765242831 0
[pid=12763/tid=12772] ppid=12731 vsize=8068440 memory=1656 CPUtime=0 cores=0,2,4,6
/proc/12763/task/12772/stat : 12772 (java) S 12731 12731 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405610509 8262082560 30038 33554432000 4194304 4196468 140725765232784 140176525353968 140177939666645 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12992512 140725765239803 140725765239962 140725765239962 140725765242831 0
[pid=12763/tid=12773] ppid=12731 vsize=8068440 memory=14004 CPUtime=0 cores=0,2,4,6
/proc/12763/task/12773/stat : 12773 (java) S 12731 12731 8795 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405610512 8262082560 30038 33554432000 4194304 4196468 140725765232784 140176150845648 140177939675035 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12992512 140725765239803 140725765239962 140725765239962 140725765242831 0
[pid=12763/tid=12774] ppid=12731 vsize=8068440 memory=530508 CPUtime=0.09 cores=0,2,4,6
/proc/12763/task/12774/stat : 12774 (java) S 12731 12731 8795 0 -1 1077944384 696 0 0 0 9 0 0 0 20 0 19 0 405610512 8262082560 30038 33554432000 4194304 4196468 140725765232784 140177317894640 140177939667586 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12992512 140725765239803 140725765239962 140725765239962 140725765242831 0
[pid=12763/tid=12775] ppid=12731 vsize=8068440 memory=3580 CPUtime=0.1 cores=0,2,4,6
/proc/12763/task/12775/stat : 12775 (java) S 12731 12731 8795 0 -1 1077944384 351 0 0 0 10 0 0 0 20 0 19 0 405610512 8262082560 30038 33554432000 4194304 4196468 140725765232784 140177316842096 140177939667586 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12992512 140725765239803 140725765239962 140725765239962 140725765242831 0
[pid=12763/tid=12776] ppid=12731 vsize=8068440 memory=37308 CPUtime=0.22 cores=0,2,4,6
/proc/12763/task/12776/stat : 12776 (java) S 12731 12731 8795 0 -1 1077944384 591 0 0 0 22 0 0 0 20 0 19 0 405610512 8262082560 30038 33554432000 4194304 4196468 140725765232784 140177315789552 140177939667586 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12992512 140725765239803 140725765239962 140725765239962 140725765242831 0
[pid=12763/tid=12777] ppid=12731 vsize=8068440 memory=2028 CPUtime=0 cores=0,2,4,6
/proc/12763/task/12777/stat : 12777 (java) S 12731 12731 8795 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405610512 8262082560 30038 33554432000 4194304 4196468 140725765232784 140175652940896 140177939666645 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12992512 140725765239803 140725765239962 140725765239962 140725765242831 0
[pid=12763/tid=12778] ppid=12731 vsize=8068440 memory=988 CPUtime=0.01 cores=0,2,4,6
/proc/12763/task/12778/stat : 12778 (java) S 12731 12731 8795 0 -1 1077944384 3 0 0 0 1 0 0 0 20 0 19 0 405610512 8262082560 30038 33554432000 4194304 4196468 140725765232784 140177314736432 140177939667586 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12992512 140725765239803 140725765239962 140725765239962 140725765242831 0
[pid=12763/tid=12780] ppid=12731 vsize=8068440 memory=448876 CPUtime=0 cores=0,2,4,6
/proc/12763/task/12780/stat : 12780 (java) S 12731 12731 8795 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 405610580 8262082560 30038 33554432000 4194304 4196468 140725765232784 140177306702912 140177939681049 0 4 2 25189581 18446744071579417331 0 0 -1 0 0 0 0 0 0 6293624 6294260 12992512 140725765239803 140725765239962 140725765239962 140725765242831 0
[pid=12763/tid=12782] ppid=12731 vsize=8068440 memory=1476 CPUtime=0 cores=0,2,4,6
/proc/12763/task/12782/stat : 12782 (java) S 12731 12731 8795 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 405610581 8262082560 30038 33554432000 4194304 4196468 140725765232784 140175116058256 140177939678365 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 12992512 140725765239803 140725765239962 140725765239962 140725765242831 0
[pid=12763/tid=12783] ppid=12731 vsize=8068440 memory=120152 CPUtime=0 cores=0,2,4,6
/proc/12763/task/12783/stat : 12783 (java) S 12731 12731 8795 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 405610581 8262082560 30038 33554432000 4194304 4196468 140725765232784 140174847622928 140177939678365 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 12992512 140725765239803 140725765239962 140725765239962 140725765242831 0
[pid=12763/tid=12784] ppid=12731 vsize=8068440 memory=1476 CPUtime=0 cores=0,2,4,6
/proc/12763/task/12784/stat : 12784 (java) S 12731 12731 8795 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 405610584 8262082560 30038 33554432000 4194304 4196468 140725765232784 140175384501808 140177939666645 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12992512 140725765239803 140725765239962 140725765239962 140725765242831 0
Current children cumulated CPU time: 257.41 s
Current children cumulated vsize: 8615492 KiB
Current children cumulated memory: 492972 KiB

[startup+215.601 s]
/proc/loadavg: 2.46 2.32 2.22 3/239 12786
/proc/meminfo: memFree=24209440/32770624 swapFree=66927092/67108860
[pid=12731] ppid=12728 vsize=113128 memory=1476 CPUtime=233.41 cores=0,2,4,6
/proc/12731/stat : 12731 (scop.sh) S 12728 12731 8795 0 -1 4202496 583 84071 0 0 0 0 22844 497 20 0 1 0 405591339 115843072 369 33554432000 4194304 5098028 140732596375808 140732596372552 139968011264636 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 36970496 140732596380456 140732596380784 140732596380784 140732596383693 0
/proc/12731/statm: 28282 369 311 221 0 87 0
[pid=12763] ppid=12731 vsize=7937364 memory=155780 CPUtime=24.76 cores=0,2,4,6
/proc/12763/stat : 12763 (java) S 12731 12731 8795 0 -1 1077944320 21736 371365 0 0 167 9 2267 33 20 0 17 0 405610505 8127860736 38945 33554432000 4194304 4196468 140725765232784 140725765215328 140177939656439 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 12992512 140725765239803 140725765239962 140725765239962 140725765242831 0
/proc/12763/statm: 1984341 38945 3227 1 0 1945685 0
[pid=12763/tid=12764] ppid=12731 vsize=7937364 memory=20208 CPUtime=23.87 cores=0,2,4,6
/proc/12763/task/12764/stat : 12764 (java) R 12731 12731 8795 0 -1 4202560 17658 371365 0 0 81 6 2267 33 20 0 17 0 405610505 8127860736 38945 33554432000 4194304 4196468 140725765232784 140177911494352 140177919381552 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12992512 140725765239803 140725765239962 140725765239962 140725765242831 0
[pid=12763/tid=12765] ppid=12731 vsize=7937364 memory=14068 CPUtime=23 cores=0,2,4,6
/proc/12763/task/12765/stat : 12765 (java) S 12731 12731 8795 0 -1 1077944384 2 371365 0 0 0 0 2267 33 20 0 17 0 405610507 8127860736 38945 33554432000 4194304 4196468 140725765232784 140177943898896 140177939666645 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12992512 140725765239803 140725765239962 140725765239962 140725765242831 0
[pid=12763/tid=12767] ppid=12731 vsize=7937364 memory=528 CPUtime=23 cores=0,2,4,6
/proc/12763/task/12767/stat : 12767 (java) S 12731 12731 8795 0 -1 1077944384 1 371365 0 0 0 0 2267 33 20 0 17 0 405610507 8127860736 38945 33554432000 4194304 4196468 140725765232784 140177744067472 140177939666645 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12992512 140725765239803 140725765239962 140725765239962 140725765242831 0
[pid=12763/tid=12768] ppid=12731 vsize=7937364 memory=1560 CPUtime=23 cores=0,2,4,6
/proc/12763/task/12768/stat : 12768 (java) S 12731 12731 8795 0 -1 1077944384 2 371365 0 0 0 0 2267 33 20 0 17 0 405610507 8127860736 38945 33554432000 4194304 4196468 140725765232784 140177743014928 140177939666645 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12992512 140725765239803 140725765239962 140725765239962 140725765242831 0
[pid=12763/tid=12769] ppid=12731 vsize=7937364 memory=928 CPUtime=23 cores=0,2,4,6
/proc/12763/task/12769/stat : 12769 (java) S 12731 12731 8795 0 -1 1077944384 2 371365 0 0 0 0 2267 33 20 0 17 0 405610507 8127860736 38945 33554432000 4194304 4196468 140725765232784 140177741962384 140177939666645 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12992512 140725765239803 140725765239962 140725765239962 140725765242831 0
[pid=12763/tid=12770] ppid=12731 vsize=7937364 memory=1700 CPUtime=23 cores=0,2,4,6
/proc/12763/task/12770/stat : 12770 (java) S 12731 12731 8795 0 -1 1077944384 8 371365 0 0 0 0 2267 33 20 0 17 0 405610508 8127860736 38945 33554432000 4194304 4196468 140725765232784 140177318946800 140177939667586 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12992512 140725765239803 140725765239962 140725765239962 140725765242831 0
[pid=12763/tid=12771] ppid=12731 vsize=7937364 memory=828 CPUtime=23 cores=0,2,4,6
/proc/12763/task/12771/stat : 12771 (java) S 12731 12731 8795 0 -1 1077944384 13 371365 0 0 0 0 2267 33 20 0 17 0 405610509 8127860736 38945 33554432000 4194304 4196468 140725765232784 140176793789344 140177939666645 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12992512 140725765239803 140725765239962 140725765239962 140725765242831 0
[pid=12763/tid=12772] ppid=12731 vsize=7937364 memory=140177599136209 CPUtime=23 cores=0,2,4,6
/proc/12763/task/12772/stat : 12772 (java) S 12731 12731 8795 0 -1 1077944384 1 371365 0 0 0 0 2267 33 20 0 17 0 405610509 8127860736 38945 33554432000 4194304 4196468 140725765232784 140176525353968 140177939666645 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12992512 140725765239803 140725765239962 140725765239962 140725765242831 0
[pid=12763/tid=12773] ppid=12731 vsize=7937364 memory=1540 CPUtime=23 cores=0,2,4,6
/proc/12763/task/12773/stat : 12773 (java) S 12731 12731 8795 0 -1 1077944384 3 371365 0 0 0 0 2267 33 20 0 17 0 405610512 8127860736 38945 33554432000 4194304 4196468 140725765232784 140176150845648 140177939675035 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12992512 140725765239803 140725765239962 140725765239962 140725765242831 0
[pid=12763/tid=12774] ppid=12731 vsize=7937364 memory=692 CPUtime=23.2 cores=0,2,4,6
/proc/12763/task/12774/stat : 12774 (java) S 12731 12731 8795 0 -1 1077944384 742 371365 0 0 20 0 2267 33 20 0 17 0 405610512 8127860736 38945 33554432000 4194304 4196468 140725765232784 140177317894640 140177939667586 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12992512 140725765239803 140725765239962 140725765239962 140725765242831 0
[pid=12763/tid=12775] ppid=12731 vsize=7937364 memory=4004 CPUtime=23.22 cores=0,2,4,6
/proc/12763/task/12775/stat : 12775 (java) S 12731 12731 8795 0 -1 1077944384 659 371365 0 0 22 0 2267 33 20 0 17 0 405610512 8127860736 38945 33554432000 4194304 4196468 140725765232784 140177316842096 140177939667586 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12992512 140725765239803 140725765239962 140725765239962 140725765242831 0
[pid=12763/tid=12776] ppid=12731 vsize=7937364 memory=1060 CPUtime=23.3 cores=0,2,4,6
/proc/12763/task/12776/stat : 12776 (java) R 12731 12731 8795 0 -1 4202560 1221 371365 0 0 30 0 2267 33 20 0 17 0 405610512 8127860736 38945 33554432000 4194304 4196468 140725765232784 140177315789552 140177932753275 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12992512 140725765239803 140725765239962 140725765239962 140725765242831 0
[pid=12763/tid=12777] ppid=12731 vsize=7937364 memory=2832 CPUtime=23 cores=0,2,4,6
/proc/12763/task/12777/stat : 12777 (java) S 12731 12731 8795 0 -1 1077944384 3 371365 0 0 0 0 2267 33 20 0 17 0 405610512 8127860736 38945 33554432000 4194304 4196468 140725765232784 140175652940896 140177939666645 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12992512 140725765239803 140725765239962 140725765239962 140725765242831 0
[pid=12763/tid=12778] ppid=12731 vsize=7937364 memory=1716 CPUtime=23.01 cores=0,2,4,6
/proc/12763/task/12778/stat : 12778 (java) S 12731 12731 8795 0 -1 1077944384 3 371365 0 0 1 0 2267 33 20 0 17 0 405610512 8127860736 38945 33554432000 4194304 4196468 140725765232784 140177314736432 140177939667586 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12992512 140725765239803 140725765239962 140725765239962 140725765242831 0
[pid=12763/tid=12780] ppid=12731 vsize=7937364 memory=1124 CPUtime=23 cores=0,2,4,6
/proc/12763/task/12780/stat : 12780 (java) S 12731 12731 8795 0 -1 1077944384 24 371365 0 0 0 0 2267 33 20 0 17 0 405610580 8127860736 38945 33554432000 4194304 4196468 140725765232784 140177306702096 140177939667586 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12992512 140725765239803 140725765239962 140725765239962 140725765242831 0
[pid=12763/tid=12784] ppid=12731 vsize=7937364 memory=5912 CPUtime=23 cores=0,2,4,6
/proc/12763/task/12784/stat : 12784 (java) S 12731 12731 8795 0 -1 1077944384 27 371365 0 0 0 0 2267 33 20 0 17 0 405610584 8127860736 38945 33554432000 4194304 4196468 140725765232784 140175384503600 140177939667586 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12992512 140725765239803 140725765239962 140725765239962 140725765242831 0
Current children cumulated CPU time: 258.17 s
Current children cumulated vsize: 8050492 KiB
Current children cumulated memory: 157256 KiB

Child status: 0
Real time (s): 215.658
CPU time (s): 258.289
CPU user time (s): 252.864
CPU system time (s): 5.42483
CPU usage (%): 119.768
Max. virtual memory (cumulated for all children) (KiB): 15142500
Max. memory (cumulated for all children) (KiB): 7383532

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 252.864
system time used= 5.42483
maximum resident set size= 7382632
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 477878
page faults= 0
swaps= 0
block input operations= 8
block output operations= 208352
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 13046
involuntary context switches= 781


# summary of solver processes directly reported to runsolver:
#   pid: 12731
#   total CPU time (s): 258.289
#   total CPU user time (s): 252.864
#   total CPU system time (s): 5.42483

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.47488 second user time and 2.15822 second system time

The end

Launcher Data 

Begin job on node137 at 2019-09-12 15:03:18
IDJOB=4387998
IDBENCH=131470
IDSOLVER=2825
FILE ID=node137/4387998-1568293440
RUNJOBID= node137-1568286693-10212
PBS_JOBID= 21701071
Free space on /tmp= 56780 MiB

SOLVER NAME= Fun-sCOP order+GlueMiniSat (2019-06-15)
BENCH NAME= XCSP17/Subisomorphism/Subisomorphism-m1-si6-bvg/Subisomorphism-si6-b09-m200-08.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-4387998-1568293440/watcher-4387998-1568293440 -o /tmp/evaluation-result-4387998-1568293440/solver-4387998-1568293440 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node137-1568286693-10212 --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-4387998-1568293440.xml

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

MD5SUM BENCH= 7f9c41aacca1e0b30cdd7db3c30aaf94
RANDOM SEED=1295752375

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        24919964 kB
MemAvailable:   31570900 kB
Buffers:          112292 kB
Cached:          6781892 kB
SwapCached:        77624 kB
Active:          1826600 kB
Inactive:        5363796 kB
Active(anon):     219832 kB
Inactive(anon):   118208 kB
Active(file):    1606768 kB
Inactive(file):  5245588 kB
Unevictable:      108040 kB
Mlocked:          108040 kB
SwapTotal:      67108860 kB
SwapFree:       66927092 kB
Dirty:             20180 kB
Writeback:             0 kB
AnonPages:        283988 kB
Mapped:            55004 kB
Shmem:             32624 kB
Slab:             256584 kB
SReclaimable:     227040 kB
SUnreclaim:        29544 kB
KernelStack:        3952 kB
PageTables:         6164 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    6073760 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    129024 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      105856 kB
DirectMap2M:    33439744 kB

Free space on /tmp at the end= 56760 MiB
End job on node137 at 2019-09-12 15:06:53