Trace number 4387977

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 119.415 95.132

General information on the benchmark

NameSubisomorphism/Subisomorphism-m1-si4-m4D/
Subisomorphism-si4-m4Dr4-m256-08.xml
MD5SUM81c7a723557c708ecb18ed846030ca95
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.018955
Satisfiable
(Un)Satisfiability was proved
Number of variables102
Number of constraints253
Number of domains1
Minimum domain size256
Maximum domain size256
Distribution of domain sizes[{"size":256,"count":102}]
Minimum variable degree2
Maximum variable degree13
Distribution of variable degrees[{"degree":2,"count":9},{"degree":3,"count":22},{"degree":4,"count":19},{"degree":6,"count":17},{"degree":7,"count":10},{"degree":8,"count":12},{"degree":9,"count":7},{"degree":10,"count":5},{"degree":13,"count":1}]
Minimum constraint arity1
Maximum constraint arity102
Distribution of constraint arities[{"arity":1,"count":52},{"arity":2,"count":200},{"arity":102,"count":1}]
Number of extensional constraints252
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":252},{"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-12366-serial-file.bin HOME/instance-4387977-1568293047.xml
0.67/0.53	
0.67/0.53	Fun-sCOP order+glueminisat-simp-2.2.10-193oa-n-release (2019-06-15)
0.67/0.53	
0.67/0.56	c BEGIN-Prog: Thu Sep 12 14:56:45 CEST 2019
0.67/0.56	c PID: 12369
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.54/0.99	c (0,0) Parsing End
1.54/1.00	c (0,0) CSP: 102 int (0 aux), 0 bool (0 aux), 253 ctr, max domain size 256
1.54/1.00	c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.54/1.00	c (0,0) Constraint Name Generate Begin
1.79/1.01	c (0,0) Ctr:HOME/instance-4387977-1568293047.xml,AllDifferent:ExtensionConflict:ExtensionSupport:Var
1.79/1.01	c (0,0) Constraint Name Generate End
1.79/1.01	c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.79/1.01	c (0,0) CSP to CSPinCNF Begin
12.17/6.60	c (6,6) translated 26 (10%) constraints
17.45/11.25	c (10,10) translated 51 (20%) constraints
21.71/15.46	c (14,14) translated 76 (30%) constraints
27.25/20.13	c (19,19) translated 102 (40%) constraints
31.47/24.34	c (23,23) translated 127 (50%) constraints
37.12/28.93	c (28,27) translated 152 (60%) constraints
43.10/33.74	c (33,32) translated 178 (70%) constraints
47.23/37.86	c (37,36) translated 203 (80%) constraints
47.47/37.96	c (37,36) translated 228 (90%) constraints
47.47/37.98	c (37,36) translated 253 (100%) constraints
47.47/37.99	c (37,36) ===========================================
47.47/37.99	c (37,36) Order
47.47/37.99	c (37,36) ===========================================
50.28/39.51	c (38,37) translated 71494 (10%) constraints
51.59/40.83	c (40,39) translated 142987 (20%) constraints
52.97/42.16	c (41,40) translated 214480 (30%) constraints
56.61/44.06	c (43,41) translated 285974 (40%) constraints
57.90/45.38	c (44,43) translated 357467 (50%) constraints
59.20/46.69	c (46,44) translated 428960 (60%) constraints
60.61/48.01	c (47,45) translated 500454 (70%) constraints
61.91/49.33	c (48,47) translated 571947 (80%) constraints
63.21/50.65	c (50,48) translated 643440 (90%) constraints
64.56/51.97	c (51,49) translated 714933 (100%) constraints
64.56/51.97	c (51,49) CSP to CSPinCNF End
64.56/52.00	c (51,49) CSP: 102 int (0 aux), 51200 bool (51200 aux), 714933 ctr, max domain size 256
64.56/52.00	c (51,49) Heap : 2761 MiB used (max 10795 MiB), NonHeap : 27 MiB used (max 0 MiB)
64.56/52.00	c (51,49) CSPinCNF Propagation Begin
75.56/58.64	c (58,55) 574 values, 16892 unsatisfiable literals, and 14749 valid clauses are removed
75.56/58.64	c (58,55) CSPinCNF Propagation End
75.56/58.66	c (58,55) CSP: 102 int (0 aux), 51200 bool (51200 aux), 700184 ctr, max domain size 256
75.56/58.66	c (58,55) Heap : 2400 MiB used (max 10359 MiB), NonHeap : 28 MiB used (max 0 MiB)
75.56/58.66	c (58,55) Simplify CSPinCNF Begin
77.67/60.01	c (59,56) Simplify CSPinCNF End
77.77/60.02	c (59,56) CSP: 102 int (0 aux), 61500 bool (61500 aux), 710484 ctr, max domain size 256
77.77/60.02	c (59,56) Heap : 3063 MiB used (max 10359 MiB), NonHeap : 29 MiB used (max 0 MiB)
77.77/60.02	c (59,56) Calculate Precise Domain Begin
77.77/60.02	c (59,56) 0 values are removed by re-calculation
77.77/60.02	c (59,56) Calculate Precise Domain End
77.77/60.04	c (59,56) CSP: 102 int (0 aux), 61500 bool (61500 aux), 710484 ctr, max domain size 256
77.77/60.04	c (59,56) Heap : 3063 MiB used (max 10359 MiB), NonHeap : 29 MiB used (max 0 MiB)
77.77/60.04	c (59,56) CSPinCNF to SatSolver Begin
94.09/71.70	c (71,66) 71049 (10 %) CSP clauses are encoded (0 SAT variables, 2607204 SAT clauses)
94.91/72.37	c (71,67) 142097 (20 %) CSP clauses are encoded (0 SAT variables, 2678252 SAT clauses)
95.51/73.00	c (72,68) 213146 (30 %) CSP clauses are encoded (0 SAT variables, 2749301 SAT clauses)
96.20/73.64	c (73,68) 284194 (40 %) CSP clauses are encoded (0 SAT variables, 2820349 SAT clauses)
96.80/74.29	c (73,69) 355242 (50 %) CSP clauses are encoded (0 SAT variables, 2891397 SAT clauses)
97.88/75.03	c (74,70) 426291 (60 %) CSP clauses are encoded (0 SAT variables, 2962446 SAT clauses)
98.47/75.66	c (75,70) 497339 (70 %) CSP clauses are encoded (0 SAT variables, 3033494 SAT clauses)
99.18/76.30	c (75,71) 568388 (80 %) CSP clauses are encoded (0 SAT variables, 3104543 SAT clauses)
99.78/76.94	c (76,72) 639436 (90 %) CSP clauses are encoded (0 SAT variables, 3175591 SAT clauses)
101.04/77.74	c (77,72) 710484 (100 %) CSP clauses are encoded (0 SAT variables, 3246639 SAT clauses)
101.04/77.74	c (77,72) CSPinCNF to SatSolver End
101.04/77.74	c (77,72) Heap : 833 MiB used (max 10570 MiB), NonHeap : 31 MiB used (max 0 MiB)
101.04/77.74	c (77,72) 86613 bool, 3246640 clause
101.04/77.74	c (77,72) Export Begin
101.21/77.83	c (77,72) Export to HOME/scop-12366-serial-file.bin
101.21/77.83	c (77,72) Export End
101.21/77.83	c (77,72) Export File Size: 0.02 MB
101.21/77.83	c (77,72) 0,0,51,58,59,59,77,STOP-AFTER(DIMACS)
101.21/77.83	c END-Prog: Thu Sep 12 14:58:03 CEST 2019
101.21/77.86	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-12366-serial-file.bin
101.88/78.33	c (0,0) Read Serial File Begin
101.88/78.33	c (0,0) HOME/scop-12366-serial-file.bin
102.18/78.55	c (0,0) Read Serial File End
102.18/78.57	
102.18/78.57	Fun-sCOP order+glueminisat-simp-2.2.10-193oa-n-release (2019-06-15)
102.18/78.57	(Solving Process)
102.18/78.57	
102.18/78.59	c BEGIN-Prog: Thu Sep 12 14:58:03 CEST 2019
102.18/78.59	c PID: 12392
102.18/78.59	c IP: 172.20.3.137
102.18/78.59	c HOST: node137.alineos.net
102.18/78.59	c (0,0) SatSolver.solve Begin
102.18/78.59	c (0,0) HOME/glueminisat-simp-2.2.10-193oa-n-release -model -verb=3 -elim-cl=5000000 -native-oa HOME/instance-4387977-1568293047.xml-scop-12369.cnf
102.33/78.63	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
102.33/78.63	c (0,0) c glueminisat-simp-2.2.10-193oa-n
102.33/78.63	c (0,0) c Command: HOME/glueminisat-simp-2.2.10-193oa-n-release -model -verb=3 -elim-cl=5000000 -native-oa HOME/instance-4387977-1568293047.xml-scop-12369.cnf 
102.33/78.63	c (0,0) c Options:
102.33/78.63	c (0,0) c CORE
102.33/78.63	c (0,0) c  var_decay             = 0.950
102.33/78.63	c (0,0) c  clause_decay          = 0.999
102.33/78.63	c (0,0) c  random_var_freq       = 0.000
102.33/78.63	c (0,0) c  random_seed           = 91648253.000
102.33/78.63	c (0,0) c  luby_restart          = 1
102.33/78.63	c (0,0) c  ccmin_mode            = 2
102.33/78.63	c (0,0) c  phase_saving          = 2
102.33/78.63	c (0,0) c  rnd_pol               = 0
102.33/78.63	c (0,0) c  rnd_init_act          = 0
102.33/78.63	c (0,0) c  garbage_frac          = 0.200
102.33/78.63	c (0,0) c  restart_first         = 1000
102.33/78.63	c (0,0) c  restart_inc           = 2.000
102.33/78.63	c (0,0) c MODEL
102.33/78.63	c (0,0) c  partial_model         = 0
102.33/78.63	c (0,0) c PROPAGATION
102.33/78.63	c (0,0) c  bin_propagation       = 1
102.33/78.63	c (0,0) c SIMPLIFICATION
102.33/78.63	c (0,0) c  lrn_min_size          = 100
102.33/78.63	c (0,0) c  lazy_simp             = 1
102.33/78.63	c (0,0) c  lazy_interval         = 10
102.33/78.63	c (0,0) c  lazy_fld_probing      = 1
102.33/78.63	c (0,0) c  lazy_pol_probing      = 1
102.33/78.63	c (0,0) c  lazy_nec_probing      = 1
102.33/78.63	c (0,0) c  lazy_eqv_probing      = 1
102.33/78.63	c (0,0) c  lazy_cla_probing      = 1
102.33/78.63	c (0,0) c  lazy_lrn_min          = 2
102.33/78.63	c (0,0) c  lazy_uw_lit_elim      = 1
102.33/78.63	c (0,0) c  lazy_pr_lit_elim      = 0
102.33/78.63	c (0,0) c  lazy_bin_add          = 3
102.33/78.63	c (0,0) c  probed_lit_chain      = 1
102.33/78.63	c (0,0) c  pr_min_lits           = 0.00020
102.33/78.63	c (0,0) c  pr_min_starts         = 500
102.33/78.63	c (0,0) c  rw_min_lits           = 0.010
102.33/78.63	c (0,0) c  rw_min_starts         = 500
102.33/78.63	c (0,0) c  rand_attach           = 0
102.33/78.63	c (0,0) c  dec_elim              = 1
102.33/78.63	c (0,0) c  dec_elim_lim          = 25
102.33/78.63	c (0,0) c  dec_elim_len          = -1
102.33/78.63	c (0,0) c  amo                   = 0
102.33/78.63	c (0,0) c  amo_grp               = 1
102.33/78.63	c (0,0) c  amo_max_bins          = 1000000
102.33/78.63	c (0,0) c  amo_starts            = 50
102.33/78.63	c (0,0) c  mace_cmd              = mace
102.33/78.63	c (0,0) c DECISION
102.33/78.63	c (0,0) c  rand_rebuild          = 0
102.33/78.63	c (0,0) c  rand_rebuild_confs    = 10000
102.33/78.63	c (0,0) c  inc_var_decay         = 1
102.33/78.63	c (0,0) c  inc_var_decay_period  = 100000
102.33/78.63	c (0,0) c  inc_var_decay_init    = 0.600
102.33/78.63	c (0,0) c  var_decay_mode        = 0
102.33/78.63	c (0,0) c  var_decay_gain        = 0
102.33/78.63	c (0,0) c  sloped_var_decay      = 1
102.33/78.63	c (0,0) c  max_var_decay         = 0.990
102.33/78.63	c (0,0) c  min_var_decay         = 0.950
102.33/78.63	c (0,0) c  min_var_decay_vars    = 10000
102.33/78.63	c (0,0) c  max_var_decay_vars    = 500
102.33/78.63	c (0,0) c  uip_bumping           = 1
102.33/78.63	c (0,0) c  lbd_act_bumping       = 1
102.33/78.63	c (0,0) c  rand_tiebreak         = 0
102.33/78.63	c (0,0) c  simp_rebuild          = 1
102.33/78.63	c (0,0) c RESTART
102.33/78.63	c (0,0) c  restart_strategy      = 2
102.33/78.63	c (0,0) c  restart_blocking      = 0
102.33/78.63	c (0,0) c  agility_decay         = 0.99990
102.33/78.63	c (0,0) c  lbd_restart_rate      = 0.800
102.33/78.63	c (0,0) c  dec_restart_rate      = 0.950
102.33/78.63	c (0,0) c  blk_restart_rate      = 0.700
102.33/78.63	c (0,0) c  lbd_queue_size        = 50
102.33/78.63	c (0,0) c  dec_queue_size        = 50
102.33/78.63	c (0,0) c  trl_queue_size        = 5000
102.33/78.63	c (0,0) c  blk_restart_weight    = 1.000
102.33/78.63	c (0,0) c  inc_rst_rate          = 0
102.33/78.63	c (0,0) c  inc_rst_rate_period   = 500000
102.33/78.63	c (0,0) c  inc_lbd_rst_rate_init = 0.600
102.33/78.63	c (0,0) c  inc_dec_rst_rate_init = 0.750
102.33/78.63	c (0,0) c REDUCTION
102.33/78.63	c (0,0) c  closed_lbd            = 0
102.33/78.63	c (0,0) c  closed_lbd_rate       = 0.500
102.33/78.63	c (0,0) c  rm_simulate           = 0
102.33/78.63	c (0,0) c  rdb_eval              = 2
102.33/78.63	c (0,0) c  rdb_call              = 3
102.33/78.63	c (0,0) c  rdb_ub                = 0.500
102.33/78.63	c (0,0) c  core_lbd_cvr          = 0.800
102.33/78.63	c (0,0) c  supp_lbd_cvr          = 0.990
102.33/78.63	c (0,0) c  core_lbd_lb           = 2
102.33/78.63	c (0,0) c  supp_lbd_lb           = 2
102.33/78.63	c (0,0) c  core_lbd_prd          = 7
102.33/78.63	c (0,0) c  supp_lbd_prd          = 1
102.33/78.63	c (0,0) c  othr_lbd_prd          = 0
102.33/78.63	c (0,0) c  inc_lrn_limit         = 1000
102.33/78.63	c (0,0) c  frozen_lbd            = 30
102.33/78.63	c (0,0) c  simp_min_starts       = 100
102.33/78.63	c (0,0) c  rm_low_act_learnts    = 1
102.33/78.63	c (0,0) c  lv0_reduce_db         = 0
102.33/78.63	c (0,0) c  reduce_db_base        = 20000
102.33/78.63	c (0,0) c  reduce_db_inc         = 1000
102.33/78.63	c (0,0) c HARD
102.33/78.63	c (0,0) c  inst_check            = 200000
102.33/78.63	c (0,0) c  small_block           = 1.750
102.33/78.63	c (0,0) c  slow_restart_speed    = 400.000
102.33/78.63	c (0,0) c  slow_restart_strategy = 3
102.33/78.63	c (0,0) c  slow_lbd_restart_rate = 0.700
102.33/78.63	c (0,0) c  slow_dec_restart_rate = 1.000
102.33/78.63	c (0,0) c  slow_lbd_queue_size   = 50
102.33/78.63	c (0,0) c  slow_var_decay        = 0.950
102.33/78.63	c (0,0) c  slow_glue_threshold   = 2
102.33/78.63	c (0,0) c  slow_phase_saving     = 2
102.33/78.63	c (0,0) c  fast_restart_speed    = 125.000
102.33/78.63	c (0,0) c  fast_restart_strategy = 1
102.33/78.63	c (0,0) c  fast_lbd_restart_rate = 0.800
102.33/78.63	c (0,0) c  fast_dec_restart_rate = 0.950
102.33/78.63	c (0,0) c  fast_lbd_queue_size   = 50
102.33/78.63	c (0,0) c  fast_var_decay        = 1.000
102.33/78.63	c (0,0) c  fast_glue_threshold   = 2
102.33/78.63	c (0,0) c  fast_phase_saving     = 2
102.33/78.63	c (0,0) c STATS
102.33/78.63	c (0,0) c  stats_conf_size       = 10000
102.33/78.63	c (0,0) c  max_stats_size        = 30
102.33/78.63	c (0,0) c SOLVER
102.33/78.63	c (0,0) c  minisat               = 0
103.61/79.72	c (1,0) c Problem: 86613 variables, 3246640 clauses, parsing 1.02 s
118.22/94.39	c (16,0) c  reduced to 80794 variables, 3222996 clauses (grow = 0)
118.41/94.53	c (16,0) c  exclude 1083 (1.3%) variables from decision variables (last cost 25)
118.61/94.78	c (16,0) c Simplification: 6902 vars, 23644 clauses are eliminated using 14.95 s
118.61/94.78	c (16,0) c
118.61/94.78	c (16,0) c        #Rstrts   #Confs   #Vars   #Clauses  #Learnts Lits/C LBD/C DLVs Trail
118.61/94.78	c (16,0) c
118.61/94.78	c (16,0) c   16         0         0    79711  3222996        0   -nan  -nan  -nan -nan%
118.71/94.88	c (16,0) c   16         1         0    79711  3222996        0   -nan  -nan  -nan -nan%
118.71/94.89	c (16,0) c
118.71/94.89	c (16,0) c
118.71/94.89	c (16,0) c variables         : 79711       (init 86613, after simp 79711, 1083 non-decs, 101 csp)
118.71/94.89	c (16,0) c clauses           : 3222996     (init 3246640, after simp 3222996)
118.71/94.89	c (16,0) c restarts          : 0           (0.00 confs/res, 0~0 confs, 0 blks, 0 last)
118.71/94.89	c (16,0) c conflicts         : 0           (0 /sec, -nan% dconfs, -nan% supp, trail -nanw x -nanh, jmp -nanh)
118.71/94.89	c (16,0) c decisions         : 5           (0.6000 vdcy, 0 /sec, 0.00% bin, rs 0.000 s)
118.71/94.89	c (16,0) c propagations      : 80794       (5025 /sec, 16158.80 lits/dec, 29.39% o.a.)
118.71/94.89	c (16,0) c conflict literals : 0           (-nan% deleted; -nan% by bin min, 0.000 s)
118.71/94.89	c (16,0) c len               : -nan        (-nan for all, max 0, used 0)
118.71/94.89	c (16,0) c lbd               : -nan        (-nan (-nan) for all, max 0, used 0, -nan stdev, -nan blk)
118.71/94.89	c (16,0) c amo               : 0           (0 max, -nan avg, 0.000 s)
118.71/94.89	c (16,0) c simp dbs          : 1           (0.001 s)
118.71/94.89	c (16,0) c reduce dbs        : 0           (core-lbd 2, supp-lbd 2147483647, 0.000 s)
118.71/94.89	c (16,0) c learnts           : 0           (0 learnts removed, -nan%)
118.71/94.89	c (16,0) c rewrite dbs       : 0           (0/0 vars, 0+0 taut, 0+0 unit, 0.000 s)
118.71/94.89	c (16,0) c assigned lits     : 0           (0/0 probed, 0 remains)
118.71/94.89	c (16,0) c premise updates   : 0           (0.00 /lit)
118.71/94.89	c (16,0) c probed variables  : 0           (0 pr, 0 eq, 0 fld, 0 pol, 0 nec, 0 cla, 0 amo)
118.71/94.89	c (16,0) c equiv variables   : 0           (0 bin, 0 trn, 0 quat, 0 quin, 0 othr; 0 amo)
118.71/94.89	c (16,0) c lazy added bins   : 0           (0 prop + 0 conf, 0.000s)
118.71/94.89	c (16,0) c unwatched lit elim: 0           (0.00+-nan%, 0+0 of 9571258+0)
118.71/94.89	c (16,0) c classified type   : undef
118.71/94.89	c (16,0) c progress          : 0.000 %
118.71/94.89	c (16,0) c
118.71/94.89	c (16,0) c [Statistics]
118.71/94.89	c (16,0) c             learnts len        learnts lbd        lit blk size       eq vars size
118.71/94.89	c (16,0) c  tot           0                  0                  0                  0
118.71/94.89	c (16,0) c  avg        -nan               -nan               -nan               -nan
118.71/94.89	c (16,0) c   1            0 (-nan%)          0 (-nan%)          0 (-nan%)          0 (-nan%)
118.71/94.89	c (16,0) c   2            0 (-nan%)          0 (-nan%)          0 (-nan%)          0 (-nan%)
118.71/94.89	c (16,0) c   3            0 (-nan%)          0 (-nan%)          0 (-nan%)          0 (-nan%)
118.71/94.89	c (16,0) c   4            0 (-nan%)          0 (-nan%)          0 (-nan%)          0 (-nan%)
118.71/94.89	c (16,0) c   5            0 (-nan%)          0 (-nan%)          0 (-nan%)          0 (-nan%)
118.71/94.89	c (16,0) c   6            0 (-nan%)          0 (-nan%)          0 (-nan%)          0 (-nan%)
118.71/94.89	c (16,0) c   7            0 (-nan%)          0 (-nan%)          0 (-nan%)          0 (-nan%)
118.71/94.89	c (16,0) c   8            0 (-nan%)          0 (-nan%)          0 (-nan%)          0 (-nan%)
118.71/94.89	c (16,0) c   9            0 (-nan%)          0 (-nan%)          0 (-nan%)          0 (-nan%)
118.71/94.89	c (16,0) c  10            0 (-nan%)          0 (-nan%)          0 (-nan%)          0 (-nan%)
118.71/94.89	c (16,0) c  11            0 (-nan%)          0 (-nan%)          0 (-nan%)          0 (-nan%)
118.71/94.89	c (16,0) c  12            0 (-nan%)          0 (-nan%)          0 (-nan%)          0 (-nan%)
118.71/94.89	c (16,0) c  13            0 (-nan%)          0 (-nan%)          0 (-nan%)          0 (-nan%)
118.71/94.89	c (16,0) c  14            0 (-nan%)          0 (-nan%)          0 (-nan%)          0 (-nan%)
118.71/94.89	c (16,0) c  15            0 (-nan%)          0 (-nan%)          0 (-nan%)          0 (-nan%)
118.71/94.89	c (16,0) c  16            0 (-nan%)          0 (-nan%)          0 (-nan%)          0 (-nan%)
118.71/94.89	c (16,0) c  17            0 (-nan%)          0 (-nan%)          0 (-nan%)          0 (-nan%)
118.71/94.89	c (16,0) c  18            0 (-nan%)          0 (-nan%)          0 (-nan%)          0 (-nan%)
118.71/94.89	c (16,0) c  19            0 (-nan%)          0 (-nan%)          0 (-nan%)          0 (-nan%)
118.71/94.89	c (16,0) c  20            0 (-nan%)          0 (-nan%)          0 (-nan%)          0 (-nan%)
118.71/94.89	c (16,0) c  21            0 (-nan%)          0 (-nan%)          0 (-nan%)          0 (-nan%)
118.71/94.89	c (16,0) c  22            0 (-nan%)          0 (-nan%)          0 (-nan%)          0 (-nan%)
118.71/94.89	c (16,0) c  23            0 (-nan%)          0 (-nan%)          0 (-nan%)          0 (-nan%)
118.71/94.89	c (16,0) c  24            0 (-nan%)          0 (-nan%)          0 (-nan%)          0 (-nan%)
118.71/94.89	c (16,0) c  25            0 (-nan%)          0 (-nan%)          0 (-nan%)          0 (-nan%)
118.71/94.89	c (16,0) c  26            0 (-nan%)          0 (-nan%)          0 (-nan%)          0 (-nan%)
118.71/94.89	c (16,0) c  27            0 (-nan%)          0 (-nan%)          0 (-nan%)          0 (-nan%)
118.71/94.89	c (16,0) c  28            0 (-nan%)          0 (-nan%)          0 (-nan%)          0 (-nan%)
118.71/94.89	c (16,0) c  29            0 (-nan%)          0 (-nan%)          0 (-nan%)          0 (-nan%)
118.71/94.89	c (16,0) c  30            0 (-nan%)          0 (-nan%)          0 (-nan%)          0 (-nan%)
118.71/94.89	c (16,0) c
118.71/94.89	c (16,0) c [LBD Statistics]
118.71/94.89	c (16,0) c LBD          used lbd               used clause lbd         unused clause lbd
118.71/94.89	c (16,0) c  tot            0                       0                       0
118.71/94.89	c (16,0) c  avg         -nan                    -nan                    -nan
118.71/94.89	c (16,0) c
118.71/94.89	c (16,0) c Memory used       : 431.00 MB
118.71/94.89	c (16,0) c CPU time          : 16.079 s
118.71/94.89	c (16,0) c Real time         : 16.268 s
118.71/94.89	c (16,0) c
118.71/94.89	c (16,0) s SATISFIABLE
118.84/94.98	c (16,0) SatSolver.solve End
118.84/94.98	c (16,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
118.84/94.98	c (16,0) Show results Begin
119.09/95.10	c (16,0) x[0] = 0
119.09/95.10	c (16,0) x[1] = 58
119.09/95.10	c (16,0) x[2] = 62
119.09/95.10	c (16,0) x[3] = 81
119.09/95.10	c (16,0) x[4] = 140
119.09/95.10	c (16,0) x[5] = 169
119.09/95.10	c (16,0) x[6] = 234
119.09/95.10	c (16,0) x[7] = 22
119.09/95.10	c (16,0) x[8] = 101
119.09/95.10	c (16,0) x[9] = 155
119.09/95.10	c (16,0) x[10] = 166
119.09/95.10	c (16,0) x[11] = 176
119.09/95.10	c (16,0) x[12] = 198
119.09/95.10	c (16,0) x[13] = 3
119.09/95.10	c (16,0) x[14] = 38
119.09/95.10	c (16,0) x[15] = 83
119.09/95.10	c (16,0) x[16] = 159
119.09/95.10	c (16,0) x[17] = 189
119.09/95.10	c (16,0) x[18] = 9
119.09/95.10	c (16,0) x[19] = 66
119.09/95.10	c (16,0) x[20] = 91
119.09/95.10	c (16,0) x[21] = 126
119.09/95.10	c (16,0) x[22] = 173
119.09/95.10	c (16,0) x[23] = 243
119.09/95.10	c (16,0) x[24] = 48
119.09/95.10	c (16,0) x[25] = 182
119.09/95.10	c (16,0) x[26] = 27
119.09/95.10	c (16,0) x[27] = 164
119.09/95.10	c (16,0) x[28] = 211
119.09/95.10	c (16,0) x[29] = 7
119.09/95.10	c (16,0) x[30] = 25
119.09/95.10	c (16,0) x[31] = 50
119.09/95.10	c (16,0) x[32] = 55
119.09/95.10	c (16,0) x[33] = 153
119.09/95.10	c (16,0) x[34] = 185
119.09/95.10	c (16,0) x[35] = 197
119.09/95.10	c (16,0) x[36] = 224
119.09/95.10	c (16,0) x[37] = 249
119.09/95.10	c (16,0) x[38] = 33
119.09/95.10	c (16,0) x[39] = 118
119.09/95.10	c (16,0) x[40] = 171
119.09/95.10	c (16,0) x[41] = 172
119.09/95.10	c (16,0) x[42] = 51
119.09/95.10	c (16,0) x[43] = 218
119.09/95.10	c (16,0) x[44] = 72
119.09/95.10	c (16,0) x[45] = 100
119.09/95.10	c (16,0) x[46] = 184
119.09/95.10	c (16,0) x[47] = 108
119.09/95.10	c (16,0) x[48] = 209
119.09/95.10	c (16,0) x[49] = 40
119.09/95.10	c (16,0) x[50] = 67
119.09/95.10	c (16,0) x[51] = 34
119.09/95.11	c (16,0) x[52] = 111
119.09/95.11	c (16,0) x[53] = 144
119.09/95.11	c (16,0) x[54] = 188
119.09/95.11	c (16,0) x[55] = 214
119.09/95.11	c (16,0) x[56] = 115
119.09/95.11	c (16,0) x[57] = 136
119.09/95.11	c (16,0) x[58] = 220
119.09/95.11	c (16,0) x[59] = 2
119.09/95.11	c (16,0) x[60] = 125
119.09/95.11	c (16,0) x[61] = 196
119.09/95.11	c (16,0) x[62] = 93
119.09/95.11	c (16,0) x[63] = 248
119.09/95.11	c (16,0) x[64] = 8
119.09/95.11	c (16,0) x[65] = 221
119.09/95.11	c (16,0) x[66] = 46
119.09/95.11	c (16,0) x[67] = 138
119.09/95.11	c (16,0) x[68] = 32
119.09/95.11	c (16,0) x[69] = 74
119.09/95.11	c (16,0) x[70] = 86
119.09/95.11	c (16,0) x[71] = 112
119.09/95.11	c (16,0) x[72] = 147
119.09/95.11	c (16,0) x[73] = 75
119.09/95.11	c (16,0) x[74] = 219
119.09/95.11	c (16,0) x[75] = 80
119.09/95.11	c (16,0) x[76] = 139
119.09/95.11	c (16,0) x[77] = 6
119.09/95.11	c (16,0) x[78] = 54
119.09/95.11	c (16,0) x[79] = 94
119.09/95.11	c (16,0) x[80] = 161
119.35/95.11	c (16,0) x[81] = 228
119.35/95.11	c (16,0) x[82] = 238
119.35/95.11	c (16,0) x[83] = 215
119.35/95.11	c (16,0) x[84] = 254
119.35/95.11	c (16,0) x[85] = 208
119.35/95.11	c (16,0) x[86] = 39
119.35/95.11	c (16,0) x[87] = 49
119.35/95.11	c (16,0) x[88] = 88
119.35/95.11	c (16,0) x[89] = 130
119.35/95.11	c (16,0) x[90] = 245
119.35/95.11	c (16,0) x[91] = 251
119.35/95.11	c (16,0) x[92] = 96
119.35/95.11	c (16,0) x[93] = 225
119.35/95.11	c (16,0) x[94] = 244
119.35/95.11	c (16,0) x[95] = 5
119.35/95.11	c (16,0) x[96] = 41
119.35/95.11	c (16,0) x[97] = 191
119.35/95.11	c (16,0) x[98] = 145
119.35/95.11	c (16,0) x[99] = 70
119.35/95.11	c (16,0) x[100] = 135
119.35/95.11	c (16,0) x[101] = 45
119.35/95.11	s SATISFIABLE
119.35/95.11	v <instantiation>
119.35/95.11	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]</list>
119.35/95.11	v     <values>0 58 62 81 140 169 234 22 101 155 166 176 198 3 38 83 159 189 9 66 91 126 173 243 48 182 27 164 211 7 25 50 55 153 185 197 224 249 33 118 171 172 51 218 72 100 184 108 209 40 67 34 111 144 188 214 115 136 220 2 125 196 93 248 8 221 46 138 32 74 86 112 147 75 219 80 139 6 54 94 161 228 238 215 254 208 39 49 88 130 245 251 96 225 244 5 41 191 145 70 135 45</values>
119.35/95.11	v </instantiation>
119.35/95.11	c (16,0) Show results End
119.35/95.11	c (16,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB)
119.35/95.11	c (16,0) 16,16,STOP-AFTER(ALL)
119.35/95.11	c END-Prog: Thu Sep 12 14:58:20 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 (11885 MiB free)
  memory of node 1: 16384 MiB (12421 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4387977-1568293047/watcher-4387977-1568293047 -o /tmp/evaluation-result-4387977-1568293047/solver-4387977-1568293047 -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-4387977-1568293047.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=12366, runsolver pid=12363
Current StackSize limit: 8192 KiB


[startup+0.100065 s]*
/proc/loadavg: 2.07 2.13 2.16 4/235 12383
/proc/meminfo: memFree=24832304/32770624 swapFree=66927092/67108860
[pid=12366] ppid=12363 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/12366/stat : 12366 (scop.sh) S 12363 12366 8795 0 -1 4202496 558 321 0 0 0 0 0 0 20 0 1 0 405552053 115843072 349 33554432000 4194304 5098028 140726416995120 140726416992376 139954310070908 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 33943552 140726416999208 140726416999536 140726416999536 140726417002445 0
/proc/12366/statm: 28282 349 296 221 0 87 0
[pid=12369] ppid=12366 vsize=15012696 memory=72060 CPUtime=0.11 cores=0,2,4,6
/proc/12369/stat : 12369 (java) S 12366 12366 8795 0 -1 1077944320 6815 0 0 0 9 2 0 0 20 0 15 0 405552053 15373000704 18015 33554432000 4194304 4196468 140727959778400 140727959760944 140707413638903 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 16883712 140727959782126 140727959782554 140727959782554 140727959785423 0
/proc/12369/statm: 3753174 18015 2915 1 0 3715579 0
[pid=12369/tid=12370] ppid=12366 vsize=15012696 memory=-6221297119156027335 CPUtime=0.09 cores=0,2,4,6
/proc/12369/task/12370/stat : 12370 (java) R 12366 12366 8795 0 -1 4202560 4713 0 0 0 7 2 0 0 20 0 15 0 405552053 15373000704 18146 33554432000 4194304 4196468 140727959778400 140707385409936 140707413650838 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16883712 140727959782126 140727959782554 140727959782554 140727959785423 0
[pid=12369/tid=12371] ppid=12366 vsize=15012696 memory=4206468019014099040 CPUtime=0 cores=0,2,4,6
/proc/12369/task/12371/stat : 12371 (java) S 12366 12366 8795 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405552055 15373000704 18146 33554432000 4194304 4196468 140727959778400 140707417881616 140707413649109 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16883712 140727959782126 140727959782554 140727959782554 140727959785423 0
[pid=12369/tid=12372] ppid=12366 vsize=15012696 memory=140132767442560 CPUtime=0 cores=0,2,4,6
/proc/12369/task/12372/stat : 12372 (java) S 12366 12366 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405552055 15373000704 18146 33554432000 4194304 4196468 140727959778400 140707232038032 140707413649109 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16883712 140727959782126 140727959782554 140727959782554 140727959785423 0
[pid=12369/tid=12373] ppid=12366 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12369/task/12373/stat : 12373 (java) S 12366 12366 8795 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405552055 15373000704 18146 33554432000 4194304 4196468 140727959778400 140707230984976 140707413649109 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16883712 140727959782126 140727959782554 140727959782554 140727959785423 0
[pid=12369/tid=12374] ppid=12366 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/12369/task/12374/stat : 12374 (java) S 12366 12366 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405552055 15373000704 18146 33554432000 4194304 4196468 140727959778400 140707229932432 140707413649109 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16883712 140727959782126 140727959782554 140727959782554 140727959785423 0
[pid=12369/tid=12375] ppid=12366 vsize=15012696 memory=140132767442560 CPUtime=0 cores=0,2,4,6
/proc/12369/task/12375/stat : 12375 (java) S 12366 12366 8795 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405552056 15373000704 18146 33554432000 4194304 4196468 140727959778400 140706752489712 140707413650050 0 0 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16883712 140727959782126 140727959782554 140727959782554 140727959785423 0
[pid=12369/tid=12376] ppid=12366 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/12369/task/12376/stat : 12376 (java) S 12366 12366 8795 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405552057 15373000704 18146 33554432000 4194304 4196468 140727959778400 140705980736672 140707413649109 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16883712 140727959782126 140727959782554 140727959782554 140727959785423 0
[pid=12369/tid=12377] ppid=12366 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12369/task/12377/stat : 12377 (java) S 12366 12366 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405552057 15373000704 18146 33554432000 4194304 4196468 140727959778400 140705745855216 140707413649109 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16883712 140727959782126 140727959782554 140727959782554 140727959785423 0
[pid=12369/tid=12378] ppid=12366 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12369/task/12378/stat : 12378 (java) S 12366 12366 8795 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405552059 15373000704 18146 33554432000 4194304 4196468 140727959778400 140705371346896 140707413657499 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16883712 140727959782126 140727959782554 140727959782554 140727959785423 0
[pid=12369/tid=12379] ppid=12366 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12369/task/12379/stat : 12379 (java) S 12366 12366 8795 0 -1 1077944384 427 0 0 0 0 0 0 0 20 0 15 0 405552059 15373000704 18146 33554432000 4194304 4196468 140727959778400 140706751437552 140707413650050 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16883712 140727959782126 140727959782554 140727959782554 140727959785423 0
[pid=12369/tid=12380] ppid=12366 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/12369/task/12380/stat : 12380 (java) S 12366 12366 8795 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405552059 15373000704 18146 33554432000 4194304 4196468 140727959778400 140706750385008 140707413650050 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16883712 140727959782126 140727959782554 140727959782554 140727959785423 0
[pid=12369/tid=12381] ppid=12366 vsize=15012696 memory=140132767442560 CPUtime=0.01 cores=0,2,4,6
/proc/12369/task/12381/stat : 12381 (java) R 12366 12366 8795 0 -1 4202560 434 0 0 0 1 0 0 0 20 0 15 0 405552059 15373000704 18146 33554432000 4194304 4196468 140727959778400 140706749329064 140707405876030 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16883712 140727959782126 140727959782554 140727959782554 140727959785423 0
[pid=12369/tid=12382] ppid=12366 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/12369/task/12382/stat : 12382 (java) S 12366 12366 8795 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405552060 15373000704 18146 33554432000 4194304 4196468 140727959778400 140704873442144 140707413649109 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16883712 140727959782126 140727959782554 140727959782554 140727959785423 0
[pid=12369/tid=12383] ppid=12366 vsize=15012696 memory=140132767442560 CPUtime=0 cores=0,2,4,6
/proc/12369/task/12383/stat : 12383 (java) S 12366 12366 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405552060 15373000704 18146 33554432000 4194304 4196468 140727959778400 140706748279344 140707413650050 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16883712 140727959782126 140727959782554 140727959782554 140727959785423 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 73456 KiB

[startup+0.210911 s]*
/proc/loadavg: 2.07 2.13 2.16 3/235 12383
/proc/meminfo: memFree=24812992/32770624 swapFree=66927092/67108860
[pid=12366] ppid=12363 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/12366/stat : 12366 (scop.sh) S 12363 12366 8795 0 -1 4202496 558 321 0 0 0 0 0 0 20 0 1 0 405552053 115843072 349 33554432000 4194304 5098028 140726416995120 140726416992376 139954310070908 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 33943552 140726416999208 140726416999536 140726416999536 140726417002445 0
/proc/12366/statm: 28282 349 296 221 0 87 0
[pid=12369] ppid=12366 vsize=15012696 memory=88256 CPUtime=0.25 cores=0,2,4,6
/proc/12369/stat : 12369 (java) S 12366 12366 8795 0 -1 1077944320 12050 0 0 0 21 4 0 0 20 0 15 0 405552053 15373000704 22064 33554432000 4194304 4196468 140727959778400 140727959760944 140707413638903 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 16883712 140727959782126 140727959782554 140727959782554 140727959785423 0
/proc/12369/statm: 3753174 22064 2984 1 0 3715579 0
[pid=12369/tid=12370] ppid=12366 vsize=15012696 memory=7022364632946311227 CPUtime=0.2 cores=0,2,4,6
/proc/12369/task/12370/stat : 12370 (java) R 12366 12366 8795 0 -1 4202560 9808 0 0 0 16 4 0 0 20 0 15 0 405552053 15373000704 22064 33554432000 4194304 4196468 140727959778400 140707385458144 140707413660829 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16883712 140727959782126 140727959782554 140727959782554 140727959785423 0
[pid=12369/tid=12371] ppid=12366 vsize=15012696 memory=540 CPUtime=0 cores=0,2,4,6
/proc/12369/task/12371/stat : 12371 (java) S 12366 12366 8795 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405552055 15373000704 22064 33554432000 4194304 4196468 140727959778400 140707417881616 140707413649109 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16883712 140727959782126 140727959782554 140727959782554 140727959785423 0
[pid=12369/tid=12372] ppid=12366 vsize=15012696 memory=288370508919154304 CPUtime=0 cores=0,2,4,6
/proc/12369/task/12372/stat : 12372 (java) S 12366 12366 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405552055 15373000704 22064 33554432000 4194304 4196468 140727959778400 140707232038032 140707413649109 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16883712 140727959782126 140727959782554 140727959782554 140727959785423 0
[pid=12369/tid=12373] ppid=12366 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12369/task/12373/stat : 12373 (java) S 12366 12366 8795 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405552055 15373000704 22064 33554432000 4194304 4196468 140727959778400 140707230984976 140707413649109 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16883712 140727959782126 140727959782554 140727959782554 140727959785423 0
[pid=12369/tid=12374] ppid=12366 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/12369/task/12374/stat : 12374 (java) S 12366 12366 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405552055 15373000704 22064 33554432000 4194304 4196468 140727959778400 140707229932432 140707413649109 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16883712 140727959782126 140727959782554 140727959782554 140727959785423 0
[pid=12369/tid=12375] ppid=12366 vsize=15012696 memory=140132767442560 CPUtime=0 cores=0,2,4,6
/proc/12369/task/12375/stat : 12375 (java) S 12366 12366 8795 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405552056 15373000704 22064 33554432000 4194304 4196468 140727959778400 140706752489712 140707413650050 0 0 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16883712 140727959782126 140727959782554 140727959782554 140727959785423 0
[pid=12369/tid=12376] ppid=12366 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/12369/task/12376/stat : 12376 (java) S 12366 12366 8795 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405552057 15373000704 22064 33554432000 4194304 4196468 140727959778400 140705980736672 140707413649109 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16883712 140727959782126 140727959782554 140727959782554 140727959785423 0
[pid=12369/tid=12377] ppid=12366 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12369/task/12377/stat : 12377 (java) S 12366 12366 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405552057 15373000704 22064 33554432000 4194304 4196468 140727959778400 140705745855216 140707413649109 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16883712 140727959782126 140727959782554 140727959782554 140727959785423 0
[pid=12369/tid=12378] ppid=12366 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12369/task/12378/stat : 12378 (java) S 12366 12366 8795 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405552059 15373000704 22064 33554432000 4194304 4196468 140727959778400 140705371346896 140707413657499 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16883712 140727959782126 140727959782554 140727959782554 140727959785423 0
[pid=12369/tid=12379] ppid=12366 vsize=15012696 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/12369/task/12379/stat : 12379 (java) S 12366 12366 8795 0 -1 1077944384 470 0 0 0 1 0 0 0 20 0 15 0 405552059 15373000704 22064 33554432000 4194304 4196468 140727959778400 140706751437552 140707413650050 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16883712 140727959782126 140727959782554 140727959782554 140727959785423 0
[pid=12369/tid=12380] ppid=12366 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/12369/task/12380/stat : 12380 (java) S 12366 12366 8795 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405552059 15373000704 22064 33554432000 4194304 4196468 140727959778400 140706750385008 140707413650050 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16883712 140727959782126 140727959782554 140727959782554 140727959785423 0
[pid=12369/tid=12381] ppid=12366 vsize=15012696 memory=140132767442560 CPUtime=0.02 cores=0,2,4,6
/proc/12369/task/12381/stat : 12381 (java) R 12366 12366 8795 0 -1 4202560 443 0 0 0 2 0 0 0 20 0 15 0 405552059 15373000704 22064 33554432000 4194304 4196468 140727959778400 140706749331952 140707397719390 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16883712 140727959782126 140727959782554 140727959782554 140727959785423 0
[pid=12369/tid=12382] ppid=12366 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/12369/task/12382/stat : 12382 (java) S 12366 12366 8795 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405552060 15373000704 22064 33554432000 4194304 4196468 140727959778400 140704873442144 140707413649109 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16883712 140727959782126 140727959782554 140727959782554 140727959785423 0
[pid=12369/tid=12383] ppid=12366 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12369/task/12383/stat : 12383 (java) S 12366 12366 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405552060 15373000704 22064 33554432000 4194304 4196468 140727959778400 140706748279344 140707413650050 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16883712 140727959782126 140727959782554 140727959782554 140727959785423 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 89652 KiB

[startup+0.310818 s]*
/proc/loadavg: 2.07 2.13 2.16 3/235 12383
/proc/meminfo: memFree=24809952/32770624 swapFree=66927092/67108860
[pid=12366] ppid=12363 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/12366/stat : 12366 (scop.sh) S 12363 12366 8795 0 -1 4202496 558 321 0 0 0 0 0 0 20 0 1 0 405552053 115843072 349 33554432000 4194304 5098028 140726416995120 140726416992376 139954310070908 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 33943552 140726416999208 140726416999536 140726416999536 140726417002445 0
/proc/12366/statm: 28282 349 296 221 0 87 0
[pid=12369] ppid=12366 vsize=15012696 memory=92204 CPUtime=0.43 cores=0,2,4,6
/proc/12369/stat : 12369 (java) S 12366 12366 8795 0 -1 1077944320 13061 0 0 0 38 5 0 0 20 0 15 0 405552053 15373000704 23051 33554432000 4194304 4196468 140727959778400 140727959760944 140707413638903 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 16883712 140727959782126 140727959782554 140727959782554 140727959785423 0
/proc/12369/statm: 3753174 23051 3063 1 0 3715579 0
[pid=12369/tid=12370] ppid=12366 vsize=15012696 memory=6791534058613427641 CPUtime=0.3 cores=0,2,4,6
/proc/12369/task/12370/stat : 12370 (java) R 12366 12366 8795 0 -1 4202560 10601 0 0 0 26 4 0 0 20 0 15 0 405552053 15373000704 23051 33554432000 4194304 4196468 140727959778400 140707385421920 140707395202467 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16883712 140727959782126 140727959782554 140727959782554 140727959785423 0
[pid=12369/tid=12371] ppid=12366 vsize=15012696 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/12369/task/12371/stat : 12371 (java) S 12366 12366 8795 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405552055 15373000704 23051 33554432000 4194304 4196468 140727959778400 140707417881616 140707413649109 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16883712 140727959782126 140727959782554 140727959782554 140727959785423 0
[pid=12369/tid=12372] ppid=12366 vsize=15012696 memory=-5587046532246807594 CPUtime=0 cores=0,2,4,6
/proc/12369/task/12372/stat : 12372 (java) S 12366 12366 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405552055 15373000704 23051 33554432000 4194304 4196468 140727959778400 140707232038032 140707413649109 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16883712 140727959782126 140727959782554 140727959782554 140727959785423 0
[pid=12369/tid=12373] ppid=12366 vsize=15012696 memory=7379517702019849078 CPUtime=0 cores=0,2,4,6
/proc/12369/task/12373/stat : 12373 (java) S 12366 12366 8795 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405552055 15373000704 23051 33554432000 4194304 4196468 140727959778400 140707230984976 140707413649109 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16883712 140727959782126 140727959782554 140727959782554 140727959785423 0
[pid=12369/tid=12374] ppid=12366 vsize=15012696 memory=7016714186490735262 CPUtime=0 cores=0,2,4,6
/proc/12369/task/12374/stat : 12374 (java) S 12366 12366 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405552055 15373000704 23051 33554432000 4194304 4196468 140727959778400 140707229932432 140707413649109 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16883712 140727959782126 140727959782554 140727959782554 140727959785423 0
[pid=12369/tid=12375] ppid=12366 vsize=15012696 memory=4498404016631593313 CPUtime=0 cores=0,2,4,6
/proc/12369/task/12375/stat : 12375 (java) S 12366 12366 8795 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405552056 15373000704 23051 33554432000 4194304 4196468 140727959778400 140706752489712 140707413650050 0 0 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16883712 140727959782126 140727959782554 140727959782554 140727959785423 0
[pid=12369/tid=12376] ppid=12366 vsize=15012696 memory=-6519613052471072158 CPUtime=0 cores=0,2,4,6
/proc/12369/task/12376/stat : 12376 (java) S 12366 12366 8795 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405552057 15373000704 23051 33554432000 4194304 4196468 140727959778400 140705980736672 140707413649109 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16883712 140727959782126 140727959782554 140727959782554 140727959785423 0
[pid=12369/tid=12377] ppid=12366 vsize=15012696 memory=-6664436420846796947 CPUtime=0 cores=0,2,4,6
/proc/12369/task/12377/stat : 12377 (java) S 12366 12366 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405552057 15373000704 23051 33554432000 4194304 4196468 140727959778400 140705745855216 140707413649109 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16883712 140727959782126 140727959782554 140727959782554 140727959785423 0
[pid=12369/tid=12378] ppid=12366 vsize=15012696 memory=4426078206164241782 CPUtime=0 cores=0,2,4,6
/proc/12369/task/12378/stat : 12378 (java) S 12366 12366 8795 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405552059 15373000704 23051 33554432000 4194304 4196468 140727959778400 140705371346896 140707413657499 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16883712 140727959782126 140727959782554 140727959782554 140727959785423 0
[pid=12369/tid=12379] ppid=12366 vsize=15012696 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/12369/task/12379/stat : 12379 (java) S 12366 12366 8795 0 -1 1077944384 536 0 0 0 3 0 0 0 20 0 15 0 405552059 15373000704 23051 33554432000 4194304 4196468 140727959778400 140706751437552 140707413650050 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16883712 140727959782126 140727959782554 140727959782554 140727959785423 0
[pid=12369/tid=12380] ppid=12366 vsize=15012696 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/12369/task/12380/stat : 12380 (java) S 12366 12366 8795 0 -1 1077944384 101 0 0 0 2 0 0 0 20 0 15 0 405552059 15373000704 23051 33554432000 4194304 4196468 140727959778400 140706750385008 140707413650050 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16883712 140727959782126 140727959782554 140727959782554 140727959785423 0
[pid=12369/tid=12381] ppid=12366 vsize=15012696 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/12369/task/12381/stat : 12381 (java) S 12366 12366 8795 0 -1 1077944384 491 0 0 0 7 0 0 0 20 0 15 0 405552059 15373000704 23051 33554432000 4194304 4196468 140727959778400 140706749331952 140707413650050 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16883712 140727959782126 140727959782554 140727959782554 140727959785423 0
[pid=12369/tid=12382] ppid=12366 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12369/task/12382/stat : 12382 (java) S 12366 12366 8795 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405552060 15373000704 23051 33554432000 4194304 4196468 140727959778400 140704873442144 140707413649109 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16883712 140727959782126 140727959782554 140727959782554 140727959785423 0
[pid=12369/tid=12383] ppid=12366 vsize=15012696 memory=4122254026159961136 CPUtime=0 cores=0,2,4,6
/proc/12369/task/12383/stat : 12383 (java) S 12366 12366 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405552060 15373000704 23051 33554432000 4194304 4196468 140727959778400 140706748279344 140707413650050 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16883712 140727959782126 140727959782554 140727959782554 140727959785423 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 93600 KiB

[startup+0.700786 s]
/proc/loadavg: 2.14 2.14 2.17 4/235 12383
/proc/meminfo: memFree=24788248/32770624 swapFree=66927092/67108860
[pid=12366] ppid=12363 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/12366/stat : 12366 (scop.sh) S 12363 12366 8795 0 -1 4202496 558 321 0 0 0 0 0 0 20 0 1 0 405552053 115843072 349 33554432000 4194304 5098028 140726416995120 140726416992376 139954310070908 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 33943552 140726416999208 140726416999536 140726416999536 140726417002445 0
/proc/12366/statm: 28282 349 296 221 0 87 0
[pid=12369] ppid=12366 vsize=15021016 memory=130096 CPUtime=0.99 cores=0,2,4,6
/proc/12369/stat : 12369 (java) S 12366 12366 8795 0 -1 1077944320 20240 0 0 0 92 7 0 0 20 0 15 0 405552053 15381520384 32524 33554432000 4194304 4196468 140727959778400 140727959760944 140707413638903 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 16883712 140727959782126 140727959782554 140727959782554 140727959785423 0
/proc/12369/statm: 3755254 32524 3182 1 0 3716603 0
[pid=12369/tid=12370] ppid=12366 vsize=15021016 memory=2372 CPUtime=0.68 cores=0,2,4,6
/proc/12369/task/12370/stat : 12370 (java) R 12366 12366 8795 0 -1 4202560 17267 0 0 0 62 6 0 0 20 0 15 0 405552053 15381520384 32524 33554432000 4194304 4196468 140727959778400 140707385476464 140707413660829 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16883712 140727959782126 140727959782554 140727959782554 140727959785423 0
[pid=12369/tid=12371] ppid=12366 vsize=15021016 memory=180 CPUtime=0 cores=0,2,4,6
/proc/12369/task/12371/stat : 12371 (java) S 12366 12366 8795 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405552055 15381520384 32524 33554432000 4194304 4196468 140727959778400 140707417881616 140707413649109 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16883712 140727959782126 140727959782554 140727959782554 140727959785423 0
[pid=12369/tid=12372] ppid=12366 vsize=15021016 memory=13367 CPUtime=0 cores=0,2,4,6
/proc/12369/task/12372/stat : 12372 (java) S 12366 12366 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405552055 15381520384 32524 33554432000 4194304 4196468 140727959778400 140707232038032 140707413649109 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16883712 140727959782126 140727959782554 140727959782554 140727959785423 0
[pid=12369/tid=12373] ppid=12366 vsize=15021016 memory=22962 CPUtime=0 cores=0,2,4,6
/proc/12369/task/12373/stat : 12373 (java) S 12366 12366 8795 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405552055 15381520384 32524 33554432000 4194304 4196468 140727959778400 140707230984976 140707413649109 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16883712 140727959782126 140727959782554 140727959782554 140727959785423 0
[pid=12369/tid=12374] ppid=12366 vsize=15021016 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12369/task/12374/stat : 12374 (java) S 12366 12366 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405552055 15381520384 32524 33554432000 4194304 4196468 140727959778400 140707229932432 140707413649109 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16883712 140727959782126 140727959782554 140727959782554 140727959785423 0
[pid=12369/tid=12375] ppid=12366 vsize=15021016 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12369/task/12375/stat : 12375 (java) S 12366 12366 8795 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 405552056 15381520384 32524 33554432000 4194304 4196468 140727959778400 140706752489712 140707413650050 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16883712 140727959782126 140727959782554 140727959782554 140727959785423 0
[pid=12369/tid=12376] ppid=12366 vsize=15021016 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12369/task/12376/stat : 12376 (java) S 12366 12366 8795 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405552057 15381520384 32524 33554432000 4194304 4196468 140727959778400 140705980736672 140707413649109 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16883712 140727959782126 140727959782554 140727959782554 140727959785423 0
[pid=12369/tid=12377] ppid=12366 vsize=15021016 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12369/task/12377/stat : 12377 (java) S 12366 12366 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405552057 15381520384 32524 33554432000 4194304 4196468 140727959778400 140705745855216 140707413649109 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16883712 140727959782126 140727959782554 140727959782554 140727959785423 0
[pid=12369/tid=12378] ppid=12366 vsize=15021016 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12369/task/12378/stat : 12378 (java) S 12366 12366 8795 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405552059 15381520384 32524 33554432000 4194304 4196468 140727959778400 140705371346896 140707413657499 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16883712 140727959782126 140727959782554 140727959782554 140727959785423 0
[pid=12369/tid=12379] ppid=12366 vsize=15021016 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/12369/task/12379/stat : 12379 (java) R 12366 12366 8795 0 -1 4202560 749 0 0 0 8 0 0 0 20 0 15 0 405552059 15381520384 32524 33554432000 4194304 4196468 140727959778400 140706751425104 140707397545025 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16883712 140727959782126 140727959782554 140727959782554 140727959785423 0
[pid=12369/tid=12380] ppid=12366 vsize=15021016 memory=0 CPUtime=0.06 cores=0,2,4,6
/proc/12369/task/12380/stat : 12380 (java) S 12366 12366 8795 0 -1 1077944384 284 0 0 0 6 0 0 0 20 0 15 0 405552059 15381520384 32524 33554432000 4194304 4196468 140727959778400 140706750385008 140707413650050 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16883712 140727959782126 140727959782554 140727959782554 140727959785423 0
[pid=12369/tid=12381] ppid=12366 vsize=15021016 memory=0 CPUtime=0.15 cores=0,2,4,6
/proc/12369/task/12381/stat : 12381 (java) S 12366 12366 8795 0 -1 1077944384 605 0 0 0 15 0 0 0 20 0 15 0 405552059 15381520384 32524 33554432000 4194304 4196468 140727959778400 140706749331952 140707413650050 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16883712 140727959782126 140727959782554 140727959782554 140727959785423 0
[pid=12369/tid=12382] ppid=12366 vsize=15021016 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12369/task/12382/stat : 12382 (java) S 12366 12366 8795 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405552060 15381520384 32524 33554432000 4194304 4196468 140727959778400 140704873442144 140707413649109 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16883712 140727959782126 140727959782554 140727959782554 140727959785423 0
[pid=12369/tid=12383] ppid=12366 vsize=15021016 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12369/task/12383/stat : 12383 (java) S 12366 12366 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405552060 15381520384 32524 33554432000 4194304 4196468 140727959778400 140706748279344 140707413650050 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16883712 140727959782126 140727959782554 140727959782554 140727959785423 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 15134144 KiB
Current children cumulated memory: 131492 KiB

[startup+1.50082 s]
/proc/loadavg: 2.14 2.14 2.17 4/235 12383
/proc/meminfo: memFree=24759704/32770624 swapFree=66927092/67108860
[pid=12366] ppid=12363 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/12366/stat : 12366 (scop.sh) S 12363 12366 8795 0 -1 4202496 558 321 0 0 0 0 0 0 20 0 1 0 405552053 115843072 349 33554432000 4194304 5098028 140726416995120 140726416992376 139954310070908 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 33943552 140726416999208 140726416999536 140726416999536 140726417002445 0
/proc/12366/statm: 28282 349 296 221 0 87 0

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

[pid=12392/tid=12404] ppid=12366 vsize=8068440 memory=692 CPUtime=0.21 cores=0,2,4,6
/proc/12392/task/12404/stat : 12404 (java) S 12366 12366 8795 0 -1 1077944384 770 0 0 0 21 0 0 0 20 0 19 0 405559846 8262082560 29802 33554432000 4194304 4196468 140729929710752 140363303033456 140363859778178 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36388864 140729929712635 140729929712794 140729929712794 140729929715663 0
[pid=12392/tid=12405] ppid=12366 vsize=8068440 memory=4004 CPUtime=0 cores=0,2,4,6
/proc/12392/task/12405/stat : 12405 (java) S 12366 12366 8795 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405559846 8262082560 29802 33554432000 4194304 4196468 140729929710752 140361544493792 140363859777237 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36388864 140729929712635 140729929712794 140729929712794 140729929715663 0
[pid=12392/tid=12406] ppid=12366 vsize=8068440 memory=1060 CPUtime=0 cores=0,2,4,6
/proc/12392/task/12406/stat : 12406 (java) S 12366 12366 8795 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405559847 8262082560 29802 33554432000 4194304 4196468 140729929710752 140363301980848 140363859778178 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 16 0 0 6293624 6294260 36388864 140729929712635 140729929712794 140729929712794 140729929715663 0
[pid=12392/tid=12408] ppid=12366 vsize=8068440 memory=2832 CPUtime=0 cores=0,2,4,6
/proc/12392/task/12408/stat : 12408 (java) S 12366 12366 8795 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 405559915 8262082560 29802 33554432000 4194304 4196468 140729929710752 140363293947072 140363859791641 0 4 2 25189581 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 36388864 140729929712635 140729929712794 140729929712794 140729929715663 0
[pid=12392/tid=12410] ppid=12366 vsize=8068440 memory=1716 CPUtime=0 cores=0,2,4,6
/proc/12392/task/12410/stat : 12410 (java) S 12366 12366 8795 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 405559915 8262082560 29802 33554432000 4194304 4196468 140729929710752 140361007607056 140363859788957 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 36388864 140729929712635 140729929712794 140729929712794 140729929715663 0
[pid=12392/tid=12411] ppid=12366 vsize=8068440 memory=1124 CPUtime=0 cores=0,2,4,6
/proc/12392/task/12411/stat : 12411 (java) S 12366 12366 8795 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 405559916 8262082560 29802 33554432000 4194304 4196468 140729929710752 140360873386128 140363859788957 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 36388864 140729929712635 140729929712794 140729929712794 140729929715663 0
[pid=12392/tid=12412] ppid=12366 vsize=8068440 memory=5912 CPUtime=0 cores=0,2,4,6
/proc/12392/task/12412/stat : 12412 (java) S 12366 12366 8795 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 19 0 405559919 8262082560 29802 33554432000 4194304 4196468 140729929710752 140361141837488 140363859777237 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36388864 140729929712635 140729929712794 140729929712794 140729929715663 0
Current children cumulated CPU time: 118.31 s
Current children cumulated vsize: 8493092 KiB
Current children cumulated memory: 410176 KiB

[startup+94.801 s]
/proc/loadavg: 1.99 2.09 2.14 3/239 12412
/proc/meminfo: memFree=24393052/32770624 swapFree=66927092/67108860
[pid=12366] ppid=12363 vsize=113128 memory=1476 CPUtime=101.32 cores=0,2,4,6
/proc/12366/stat : 12366 (scop.sh) S 12363 12366 8795 0 -1 4202496 585 68351 0 0 0 0 9862 270 20 0 1 0 405552053 115843072 369 33554432000 4194304 5098028 140726416995120 140726416991864 139954310070908 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 33943552 140726416999208 140726416999536 140726416999536 140726417002445 0
/proc/12366/statm: 28282 369 311 221 0 87 0
[pid=12392] ppid=12366 vsize=8068440 memory=119208 CPUtime=1.23 cores=0,2,4,6
/proc/12392/stat : 12392 (java) S 12366 12366 8795 0 -1 1077944320 21269 0 0 0 115 8 0 0 20 0 19 0 405559839 8262082560 29802 33554432000 4194304 4196468 140729929710752 140729929693296 140363859767031 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 36388864 140729929712635 140729929712794 140729929712794 140729929715663 0
/proc/12392/statm: 2017110 29802 3209 1 0 1978454 0
[pid=12407] ppid=12392 vsize=294740 memory=260680 CPUtime=16.16 cores=0,2,4,6
/proc/12407/stat : 12407 (glueminisat-sim) R 12392 12366 8795 0 -1 4202496 175365 0 0 0 1598 18 0 0 20 0 1 0 405559915 301813760 65170 33554432000 4194304 4452875 140734156982912 140734156977880 140314506555932 0 4 0 8388610 0 0 0 17 2 0 0 0 0 0 6552096 6554264 9326592 140734156989279 140734156989479 140734156989479 140734156992429 0
/proc/12407/statm: 73685 65170 363 64 0 69889 0
[pid=12392/tid=12393] ppid=12366 vsize=8068440 memory=280265273482784 CPUtime=0.77 cores=0,2,4,6
/proc/12392/task/12393/stat : 12393 (java) S 12366 12366 8795 0 -1 1077944384 18003 0 0 0 72 5 0 0 20 0 19 0 405559840 8262082560 29802 33554432000 4194304 4196468 140729929710752 140363831607200 140363859777237 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36388864 140729929712635 140729929712794 140729929712794 140729929715663 0
[pid=12392/tid=12394] ppid=12366 vsize=8068440 memory=280265273482976 CPUtime=0 cores=0,2,4,6
/proc/12392/task/12394/stat : 12394 (java) S 12366 12366 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405559841 8262082560 29802 33554432000 4194304 4196468 140729929710752 140363864009872 140363859777237 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36388864 140729929712635 140729929712794 140729929712794 140729929715663 0
[pid=12392/tid=12395] ppid=12366 vsize=8068440 memory=280265273483168 CPUtime=0 cores=0,2,4,6
/proc/12392/task/12395/stat : 12395 (java) S 12366 12366 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405559841 8262082560 29802 33554432000 4194304 4196468 140729929710752 140363693104144 140363859777237 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36388864 140729929712635 140729929712794 140729929712794 140729929715663 0
[pid=12392/tid=12396] ppid=12366 vsize=8068440 memory=280265273483360 CPUtime=0 cores=0,2,4,6
/proc/12392/task/12396/stat : 12396 (java) S 12366 12366 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405559841 8262082560 29802 33554432000 4194304 4196468 140729929710752 140363344284560 140363859777237 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36388864 140729929712635 140729929712794 140729929712794 140729929715663 0
[pid=12392/tid=12397] ppid=12366 vsize=8068440 memory=280265273483552 CPUtime=0 cores=0,2,4,6
/proc/12392/task/12397/stat : 12397 (java) S 12366 12366 8795 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405559841 8262082560 29802 33554432000 4194304 4196468 140729929710752 140363343231760 140363859777237 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36388864 140729929712635 140729929712794 140729929712794 140729929715663 0
[pid=12392/tid=12398] ppid=12366 vsize=8068440 memory=280265273483744 CPUtime=0 cores=0,2,4,6
/proc/12392/task/12398/stat : 12398 (java) S 12366 12366 8795 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 19 0 405559842 8262082560 29802 33554432000 4194304 4196468 140729929710752 140363306191216 140363859778178 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36388864 140729929712635 140729929712794 140729929712794 140729929715663 0
[pid=12392/tid=12399] ppid=12366 vsize=8068440 memory=280265273483936 CPUtime=0 cores=0,2,4,6
/proc/12392/task/12399/stat : 12399 (java) S 12366 12366 8795 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 405559843 8262082560 29802 33554432000 4194304 4196468 140729929710752 140362685342752 140363859777237 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36388864 140729929712635 140729929712794 140729929712794 140729929715663 0
[pid=12392/tid=12400] ppid=12366 vsize=8068440 memory=119208 CPUtime=0 cores=0,2,4,6
/proc/12392/task/12400/stat : 12400 (java) S 12366 12366 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405559843 8262082560 29802 33554432000 4194304 4196468 140729929710752 140362416907120 140363859777237 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36388864 140729929712635 140729929712794 140729929712794 140729929715663 0
[pid=12392/tid=12401] ppid=12366 vsize=8068440 memory=319936 CPUtime=0 cores=0,2,4,6
/proc/12392/task/12401/stat : 12401 (java) S 12366 12366 8795 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405559846 8262082560 29802 33554432000 4194304 4196468 140729929710752 140362042398544 140363859785627 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36388864 140729929712635 140729929712794 140729929712794 140729929715663 0
[pid=12392/tid=12402] ppid=12366 vsize=8068440 memory=319936 CPUtime=0.09 cores=0,2,4,6
/proc/12392/task/12402/stat : 12402 (java) S 12366 12366 8795 0 -1 1077944384 658 0 0 0 9 0 0 0 20 0 19 0 405559846 8262082560 29802 33554432000 4194304 4196468 140729929710752 140363305139056 140363859778178 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36388864 140729929712635 140729929712794 140729929712794 140729929715663 0
[pid=12392/tid=12403] ppid=12366 vsize=8068440 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/12392/task/12403/stat : 12403 (java) S 12366 12366 8795 0 -1 1077944384 439 0 0 0 9 0 0 0 20 0 19 0 405559846 8262082560 29802 33554432000 4194304 4196468 140729929710752 140363304086256 140363859778178 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36388864 140729929712635 140729929712794 140729929712794 140729929715663 0
[pid=12392/tid=12404] ppid=12366 vsize=8068440 memory=0 CPUtime=0.21 cores=0,2,4,6
/proc/12392/task/12404/stat : 12404 (java) S 12366 12366 8795 0 -1 1077944384 771 0 0 0 21 0 0 0 20 0 19 0 405559846 8262082560 29802 33554432000 4194304 4196468 140729929710752 140363303033456 140363859778178 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36388864 140729929712635 140729929712794 140729929712794 140729929715663 0
[pid=12392/tid=12405] ppid=12366 vsize=8068440 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12392/task/12405/stat : 12405 (java) S 12366 12366 8795 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405559846 8262082560 29802 33554432000 4194304 4196468 140729929710752 140361544493792 140363859777237 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36388864 140729929712635 140729929712794 140729929712794 140729929715663 0
[pid=12392/tid=12406] ppid=12366 vsize=8068440 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12392/task/12406/stat : 12406 (java) S 12366 12366 8795 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405559847 8262082560 29802 33554432000 4194304 4196468 140729929710752 140363301980848 140363859778178 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 16 0 0 6293624 6294260 36388864 140729929712635 140729929712794 140729929712794 140729929715663 0
[pid=12392/tid=12408] ppid=12366 vsize=8068440 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12392/task/12408/stat : 12408 (java) S 12366 12366 8795 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 405559915 8262082560 29802 33554432000 4194304 4196468 140729929710752 140363293947072 140363859791641 0 4 2 25189581 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 36388864 140729929712635 140729929712794 140729929712794 140729929715663 0
[pid=12392/tid=12410] ppid=12366 vsize=8068440 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12392/task/12410/stat : 12410 (java) S 12366 12366 8795 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 405559915 8262082560 29802 33554432000 4194304 4196468 140729929710752 140361007607056 140363859788957 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 36388864 140729929712635 140729929712794 140729929712794 140729929715663 0
[pid=12392/tid=12411] ppid=12366 vsize=8068440 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12392/task/12411/stat : 12411 (java) S 12366 12366 8795 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 405559916 8262082560 29802 33554432000 4194304 4196468 140729929710752 140360873386128 140363859788957 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 36388864 140729929712635 140729929712794 140729929712794 140729929715663 0
[pid=12392/tid=12412] ppid=12366 vsize=8068440 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12392/task/12412/stat : 12412 (java) S 12366 12366 8795 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 19 0 405559919 8262082560 29802 33554432000 4194304 4196468 140729929710752 140361141837488 140363859777237 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36388864 140729929712635 140729929712794 140729929712794 140729929715663 0
Current children cumulated CPU time: 118.71 s
Current children cumulated vsize: 8476308 KiB
Current children cumulated memory: 381364 KiB

[startup+95.001 s]*
/proc/loadavg: 1.99 2.09 2.14 3/236 12412
/proc/meminfo: memFree=24691732/32770624 swapFree=66927092/67108860
[pid=12366] ppid=12363 vsize=113128 memory=1476 CPUtime=101.32 cores=0,2,4,6
/proc/12366/stat : 12366 (scop.sh) S 12363 12366 8795 0 -1 4202496 585 68351 0 0 0 0 9862 270 20 0 1 0 405552053 115843072 369 33554432000 4194304 5098028 140726416995120 140726416991864 139954310070908 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 33943552 140726416999208 140726416999536 140726416999536 140726417002445 0
/proc/12366/statm: 28282 369 311 221 0 87 0
[pid=12392] ppid=12366 vsize=7937364 memory=137720 CPUtime=17.77 cores=0,2,4,6
/proc/12392/stat : 12392 (java) S 12366 12366 8795 0 -1 1077944320 22351 176027 0 0 139 9 1609 20 20 0 17 0 405559839 8127860736 34430 33554432000 4194304 4196468 140729929710752 140729929693296 140363859767031 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 36388864 140729929712635 140729929712794 140729929712794 140729929715663 0
/proc/12392/statm: 1984341 34430 3223 1 0 1945685 0
[pid=12392/tid=12393] ppid=12366 vsize=7937364 memory=6791534058613427641 CPUtime=17.09 cores=0,2,4,6
/proc/12392/task/12393/stat : 12393 (java) R 12366 12366 8795 0 -1 4202560 18119 176027 0 0 75 5 1609 20 20 0 17 0 405559840 8127860736 34495 33554432000 4194304 4196468 140729929710752 140363831605552 140363859788957 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36388864 140729929712635 140729929712794 140729929712794 140729929715663 0
[pid=12392/tid=12394] ppid=12366 vsize=7937364 memory=4872558044660077418 CPUtime=16.29 cores=0,2,4,6
/proc/12392/task/12394/stat : 12394 (java) S 12366 12366 8795 0 -1 1077944384 1 176027 0 0 0 0 1609 20 20 0 17 0 405559841 8127860736 34495 33554432000 4194304 4196468 140729929710752 140363864009872 140363859777237 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36388864 140729929712635 140729929712794 140729929712794 140729929715663 0
[pid=12392/tid=12395] ppid=12366 vsize=7937364 memory=0 CPUtime=16.29 cores=0,2,4,6
/proc/12392/task/12395/stat : 12395 (java) S 12366 12366 8795 0 -1 1077944384 1 176027 0 0 0 0 1609 20 20 0 17 0 405559841 8127860736 34495 33554432000 4194304 4196468 140729929710752 140363693104144 140363859777237 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36388864 140729929712635 140729929712794 140729929712794 140729929715663 0
[pid=12392/tid=12396] ppid=12366 vsize=7937364 memory=0 CPUtime=16.29 cores=0,2,4,6
/proc/12392/task/12396/stat : 12396 (java) S 12366 12366 8795 0 -1 1077944384 1 176027 0 0 0 0 1609 20 20 0 17 0 405559841 8127860736 34495 33554432000 4194304 4196468 140729929710752 140363344284560 140363859777237 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36388864 140729929712635 140729929712794 140729929712794 140729929715663 0
[pid=12392/tid=12397] ppid=12366 vsize=7937364 memory=-7824251494390912104 CPUtime=16.29 cores=0,2,4,6
/proc/12392/task/12397/stat : 12397 (java) S 12366 12366 8795 0 -1 1077944384 2 176027 0 0 0 0 1609 20 20 0 17 0 405559841 8127860736 34495 33554432000 4194304 4196468 140729929710752 140363343231760 140363859777237 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36388864 140729929712635 140729929712794 140729929712794 140729929715663 0
[pid=12392/tid=12398] ppid=12366 vsize=7937364 memory=-7824251494390912104 CPUtime=16.29 cores=0,2,4,6
/proc/12392/task/12398/stat : 12398 (java) S 12366 12366 8795 0 -1 1077944384 7 176027 0 0 0 0 1609 20 20 0 17 0 405559842 8127860736 34495 33554432000 4194304 4196468 140729929710752 140363306191216 140363859778178 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36388864 140729929712635 140729929712794 140729929712794 140729929715663 0
[pid=12392/tid=12399] ppid=12366 vsize=7937364 memory=0 CPUtime=16.29 cores=0,2,4,6
/proc/12392/task/12399/stat : 12399 (java) S 12366 12366 8795 0 -1 1077944384 13 176027 0 0 0 0 1609 20 20 0 17 0 405559843 8127860736 34495 33554432000 4194304 4196468 140729929710752 140362685342752 140363859777237 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36388864 140729929712635 140729929712794 140729929712794 140729929715663 0
[pid=12392/tid=12400] ppid=12366 vsize=7937364 memory=7824336315716348491 CPUtime=16.29 cores=0,2,4,6
/proc/12392/task/12400/stat : 12400 (java) S 12366 12366 8795 0 -1 1077944384 1 176027 0 0 0 0 1609 20 20 0 17 0 405559843 8127860736 34495 33554432000 4194304 4196468 140729929710752 140362416907120 140363859777237 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36388864 140729929712635 140729929712794 140729929712794 140729929715663 0
[pid=12392/tid=12401] ppid=12366 vsize=7937364 memory=7957129827610551378 CPUtime=16.29 cores=0,2,4,6
/proc/12392/task/12401/stat : 12401 (java) S 12366 12366 8795 0 -1 1077944384 3 176027 0 0 0 0 1609 20 20 0 17 0 405559846 8127860736 34495 33554432000 4194304 4196468 140729929710752 140362042398544 140363859785627 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36388864 140729929712635 140729929712794 140729929712794 140729929715663 0
[pid=12392/tid=12402] ppid=12366 vsize=7937364 memory=7378977932069136235 CPUtime=16.42 cores=0,2,4,6
/proc/12392/task/12402/stat : 12402 (java) S 12366 12366 8795 0 -1 1077944384 673 176027 0 0 13 0 1609 20 20 0 17 0 405559846 8127860736 34495 33554432000 4194304 4196468 140729929710752 140363305139056 140363859778178 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36388864 140729929712635 140729929712794 140729929712794 140729929715663 0
[pid=12392/tid=12403] ppid=12366 vsize=7937364 memory=8099284556440289380 CPUtime=16.44 cores=0,2,4,6
/proc/12392/task/12403/stat : 12403 (java) S 12366 12366 8795 0 -1 1077944384 739 176027 0 0 15 0 1609 20 20 0 17 0 405559846 8127860736 34495 33554432000 4194304 4196468 140729929710752 140363304086256 140363859778178 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36388864 140729929712635 140729929712794 140729929712794 140729929715663 0
[pid=12392/tid=12404] ppid=12366 vsize=7937364 memory=7597080421446741096 CPUtime=16.54 cores=0,2,4,6
/proc/12392/task/12404/stat : 12404 (java) R 12366 12366 8795 0 -1 4202560 1364 176027 0 0 25 0 1609 20 20 0 17 0 405559846 8127860736 34495 33554432000 4194304 4196468 140729929710752 140363303033456 140363852872723 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36388864 140729929712635 140729929712794 140729929712794 140729929715663 0
[pid=12392/tid=12405] ppid=12366 vsize=7937364 memory=7597080421446741096 CPUtime=16.29 cores=0,2,4,6
/proc/12392/task/12405/stat : 12405 (java) S 12366 12366 8795 0 -1 1077944384 3 176027 0 0 0 0 1609 20 20 0 17 0 405559846 8127860736 34495 33554432000 4194304 4196468 140729929710752 140361544493792 140363859777237 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36388864 140729929712635 140729929712794 140729929712794 140729929715663 0
[pid=12392/tid=12406] ppid=12366 vsize=7937364 memory=-6519613052471072158 CPUtime=16.29 cores=0,2,4,6
/proc/12392/task/12406/stat : 12406 (java) S 12366 12366 8795 0 -1 1077944384 3 176027 0 0 0 0 1609 20 20 0 17 0 405559847 8127860736 34495 33554432000 4194304 4196468 140729929710752 140363301980848 140363859778178 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 16 0 0 6293624 6294260 36388864 140729929712635 140729929712794 140729929712794 140729929715663 0
[pid=12392/tid=12408] ppid=12366 vsize=7937364 memory=7596277709272212336 CPUtime=16.29 cores=0,2,4,6
/proc/12392/task/12408/stat : 12408 (java) S 12366 12366 8795 0 -1 1077944384 24 176027 0 0 0 0 1609 20 20 0 17 0 405559915 8127860736 34495 33554432000 4194304 4196468 140729929710752 140363293946256 140363859778178 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36388864 140729929712635 140729929712794 140729929712794 140729929715663 0
[pid=12392/tid=12412] ppid=12366 vsize=7937364 memory=7588941857852582762 CPUtime=16.29 cores=0,2,4,6
/proc/12392/task/12412/stat : 12412 (java) S 12366 12366 8795 0 -1 1077944384 30 176027 0 0 0 0 1609 20 20 0 17 0 405559919 8127860736 34495 33554432000 4194304 4196468 140729929710752 140361141839280 140363859778178 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36388864 140729929712635 140729929712794 140729929712794 140729929715663 0
Current children cumulated CPU time: 119.09 s
Current children cumulated vsize: 8050492 KiB
Current children cumulated memory: 139196 KiB

[startup+95.1105 s]
/proc/loadavg: 1.99 2.09 2.14 3/236 12412
/proc/meminfo: memFree=24691732/32770624 swapFree=66927092/67108860
[pid=12366] ppid=12363 vsize=113128 memory=1476 CPUtime=101.32 cores=0,2,4,6
/proc/12366/stat : 12366 (scop.sh) S 12363 12366 8795 0 -1 4202496 585 68351 0 0 0 0 9862 270 20 0 1 0 405552053 115843072 369 33554432000 4194304 5098028 140726416995120 140726416991864 139954310070908 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 33943552 140726416999208 140726416999536 140726416999536 140726417002445 0
/proc/12366/statm: 28282 369 311 221 0 87 0
[pid=12392] ppid=12366 vsize=7937364 memory=145212 CPUtime=18.03 cores=0,2,4,6
/proc/12392/stat : 12392 (java) S 12366 12366 8795 0 -1 1077944320 22670 176027 0 0 165 9 1609 20 20 0 17 0 405559839 8127860736 36303 33554432000 4194304 4196468 140729929710752 140729929693296 140363859767031 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 36388864 140729929712635 140729929712794 140729929712794 140729929715663 0
/proc/12392/statm: 1984341 36303 3229 1 0 1945685 0
[pid=12392/tid=12393] ppid=12366 vsize=7937364 memory=119208 CPUtime=17.18 cores=0,2,4,6
/proc/12392/task/12393/stat : 12393 (java) R 12366 12366 8795 0 -1 4202560 18261 176027 0 0 84 5 1609 20 20 0 17 0 405559840 8127860736 36303 33554432000 4194304 4196468 140729929710752 140363831604288 140729929914306 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36388864 140729929712635 140729929712794 140729929712794 140729929715663 0
[pid=12392/tid=12394] ppid=12366 vsize=7937364 memory=123648 CPUtime=16.29 cores=0,2,4,6
/proc/12392/task/12394/stat : 12394 (java) S 12366 12366 8795 0 -1 1077944384 1 176027 0 0 0 0 1609 20 20 0 17 0 405559841 8127860736 36303 33554432000 4194304 4196468 140729929710752 140363864009872 140363859777237 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36388864 140729929712635 140729929712794 140729929712794 140729929715663 0
[pid=12392/tid=12395] ppid=12366 vsize=7937364 memory=1476 CPUtime=16.29 cores=0,2,4,6
/proc/12392/task/12395/stat : 12395 (java) S 12366 12366 8795 0 -1 1077944384 1 176027 0 0 0 0 1609 20 20 0 17 0 405559841 8127860736 36303 33554432000 4194304 4196468 140729929710752 140363693104144 140363859777237 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36388864 140729929712635 140729929712794 140729929712794 140729929715663 0
[pid=12392/tid=12396] ppid=12366 vsize=7937364 memory=0 CPUtime=16.29 cores=0,2,4,6
/proc/12392/task/12396/stat : 12396 (java) S 12366 12366 8795 0 -1 1077944384 1 176027 0 0 0 0 1609 20 20 0 17 0 405559841 8127860736 36303 33554432000 4194304 4196468 140729929710752 140363344284560 140363859777237 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36388864 140729929712635 140729929712794 140729929712794 140729929715663 0
[pid=12392/tid=12397] ppid=12366 vsize=7937364 memory=1 CPUtime=16.29 cores=0,2,4,6
/proc/12392/task/12397/stat : 12397 (java) S 12366 12366 8795 0 -1 1077944384 2 176027 0 0 0 0 1609 20 20 0 17 0 405559841 8127860736 36303 33554432000 4194304 4196468 140729929710752 140363343231760 140363859777237 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36388864 140729929712635 140729929712794 140729929712794 140729929715663 0
[pid=12392/tid=12398] ppid=12366 vsize=7937364 memory=119208 CPUtime=16.29 cores=0,2,4,6
/proc/12392/task/12398/stat : 12398 (java) S 12366 12366 8795 0 -1 1077944384 7 176027 0 0 0 0 1609 20 20 0 17 0 405559842 8127860736 36303 33554432000 4194304 4196468 140729929710752 140363306191216 140363859778178 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36388864 140729929712635 140729929712794 140729929712794 140729929715663 0
[pid=12392/tid=12399] ppid=12366 vsize=7937364 memory=276580 CPUtime=16.29 cores=0,2,4,6
/proc/12392/task/12399/stat : 12399 (java) S 12366 12366 8795 0 -1 1077944384 13 176027 0 0 0 0 1609 20 20 0 17 0 405559843 8127860736 36303 33554432000 4194304 4196468 140729929710752 140362685342752 140363859777237 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36388864 140729929712635 140729929712794 140729929712794 140729929715663 0
[pid=12392/tid=12400] ppid=12366 vsize=7937364 memory=1476 CPUtime=16.29 cores=0,2,4,6
/proc/12392/task/12400/stat : 12400 (java) S 12366 12366 8795 0 -1 1077944384 1 176027 0 0 0 0 1609 20 20 0 17 0 405559843 8127860736 36303 33554432000 4194304 4196468 140729929710752 140362416907120 140363859777237 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36388864 140729929712635 140729929712794 140729929712794 140729929715663 0
[pid=12392/tid=12401] ppid=12366 vsize=7937364 memory=119208 CPUtime=16.29 cores=0,2,4,6
/proc/12392/task/12401/stat : 12401 (java) S 12366 12366 8795 0 -1 1077944384 3 176027 0 0 0 0 1609 20 20 0 17 0 405559846 8127860736 36303 33554432000 4194304 4196468 140729929710752 140362042398544 140363859785627 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36388864 140729929712635 140729929712794 140729929712794 140729929715663 0
[pid=12392/tid=12402] ppid=12366 vsize=7937364 memory=1396 CPUtime=16.46 cores=0,2,4,6
/proc/12392/task/12402/stat : 12402 (java) R 12366 12366 8795 0 -1 1077944384 696 176027 0 0 17 0 1609 20 20 0 17 0 405559846 8127860736 36303 33554432000 4194304 4196468 140729929710752 140363305139056 140363859778178 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36388864 140729929712635 140729929712794 140729929712794 140729929715663 0
[pid=12392/tid=12403] ppid=12366 vsize=7937364 memory=3580 CPUtime=16.5 cores=0,2,4,6
/proc/12392/task/12403/stat : 12403 (java) R 12366 12366 8795 0 -1 4202560 767 176027 0 0 21 0 1609 20 20 0 17 0 405559846 8127860736 36303 33554432000 4194304 4196468 140729929710752 140363304066048 140363837784040 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36388864 140729929712635 140729929712794 140729929712794 140729929715663 0
[pid=12392/tid=12404] ppid=12366 vsize=7937364 memory=164 CPUtime=16.59 cores=0,2,4,6
/proc/12392/task/12404/stat : 12404 (java) R 12366 12366 8795 0 -1 4202560 1484 176027 0 0 30 0 1609 20 20 0 17 0 405559846 8127860736 36303 33554432000 4194304 4196468 140729929710752 140363303031264 140363852863867 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36388864 140729929712635 140729929712794 140729929712794 140729929715663 0
[pid=12392/tid=12405] ppid=12366 vsize=7937364 memory=373 CPUtime=16.29 cores=0,2,4,6
/proc/12392/task/12405/stat : 12405 (java) S 12366 12366 8795 0 -1 1077944384 3 176027 0 0 0 0 1609 20 20 0 17 0 405559846 8127860736 36303 33554432000 4194304 4196468 140729929710752 140361544493792 140363859777237 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36388864 140729929712635 140729929712794 140729929712794 140729929715663 0
[pid=12392/tid=12406] ppid=12366 vsize=7937364 memory=1396 CPUtime=16.29 cores=0,2,4,6
/proc/12392/task/12406/stat : 12406 (java) S 12366 12366 8795 0 -1 1077944384 3 176027 0 0 0 0 1609 20 20 0 17 0 405559847 8127860736 36303 33554432000 4194304 4196468 140729929710752 140363301980848 140363859778178 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 16 0 0 6293624 6294260 36388864 140729929712635 140729929712794 140729929712794 140729929715663 0
[pid=12392/tid=12408] ppid=12366 vsize=7937364 memory=4279908 CPUtime=16.29 cores=0,2,4,6
/proc/12392/task/12408/stat : 12408 (java) S 12366 12366 8795 0 -1 1077944384 24 176027 0 0 0 0 1609 20 20 0 17 0 405559915 8127860736 36303 33554432000 4194304 4196468 140729929710752 140363293946256 140363859778178 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36388864 140729929712635 140729929712794 140729929712794 140729929715663 0
[pid=12392/tid=12412] ppid=12366 vsize=7937364 memory=1396 CPUtime=16.29 cores=0,2,4,6
/proc/12392/task/12412/stat : 12412 (java) S 12366 12366 8795 0 -1 1077944384 30 176027 0 0 0 0 1609 20 20 0 17 0 405559919 8127860736 36303 33554432000 4194304 4196468 140729929710752 140361141839280 140363859778178 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36388864 140729929712635 140729929712794 140729929712794 140729929715663 0
Current children cumulated CPU time: 119.35 s
Current children cumulated vsize: 8050492 KiB
Current children cumulated memory: 146688 KiB

Child status: 0
Real time (s): 95.132
CPU time (s): 119.415
CPU user time (s): 116.4
CPU system time (s): 3.01534
CPU usage (%): 125.526
Max. virtual memory (cumulated for all children) (KiB): 15142500
Max. memory (cumulated for all children) (KiB): 4752412

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 116.4
system time used= 3.01534
maximum resident set size= 4751472
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 267695
page faults= 0
swaps= 0
block input operations= 8
block output operations= 134968
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 9757
involuntary context switches= 346


# summary of solver processes directly reported to runsolver:
#   pid: 12366
#   total CPU time (s): 119.415
#   total CPU user time (s): 116.4
#   total CPU system time (s): 3.01534

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.654179 second user time and 1.00558 second system time

The end

Launcher Data 

Begin job on node137 at 2019-09-12 14:56:45
IDJOB=4387977
IDBENCH=130927
IDSOLVER=2825
FILE ID=node137/4387977-1568293047
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-si4-m4D/Subisomorphism-si4-m4Dr4-m256-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-4387977-1568293047/watcher-4387977-1568293047 -o /tmp/evaluation-result-4387977-1568293047/solver-4387977-1568293047 -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-4387977-1568293047.xml

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

MD5SUM BENCH= 81c7a723557c708ecb18ed846030ca95
RANDOM SEED=495571159

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:        24890740 kB
MemAvailable:   31541176 kB
Buffers:          111732 kB
Cached:          6781384 kB
SwapCached:        77624 kB
Active:          1855724 kB
Inactive:        5363456 kB
Active(anon):     248772 kB
Inactive(anon):   118208 kB
Active(file):    1606952 kB
Inactive(file):  5245248 kB
Unevictable:      108040 kB
Mlocked:          108040 kB
SwapTotal:      67108860 kB
SwapFree:       66927092 kB
Dirty:             20248 kB
Writeback:             0 kB
AnonPages:        279176 kB
Mapped:            55152 kB
Shmem:             32624 kB
Slab:             256656 kB
SReclaimable:     226696 kB
SUnreclaim:        29960 kB
KernelStack:        3888 kB
PageTables:         6436 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    6104088 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    122880 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 14:58:20