Trace number 4387872

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)UNSAT 1561 1402.06

General information on the benchmark

NameRoomMate/
RoomMate-int-s1/RoomMate-sr1000c-int.xml
MD5SUM2ff4403728a82746813109e0b9ab6660
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark495.64
Satisfiable
(Un)Satisfiability was proved
Number of variables1000
Number of constraints1998000
Number of domains1
Minimum domain size999
Maximum domain size999
Distribution of domain sizes[{"size":999,"count":1000}]
Minimum variable degree3996
Maximum variable degree3996
Distribution of variable degrees[{"degree":3996,"count":1000}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":1998000}]
Number of extensional constraints0
Number of intensional constraints1998000
Distribution of constraint types[{"type":"intension","count":1998000}]
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-17566-serial-file.bin HOME/instance-4387872-1568291929.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:38:12 CEST 2019
0.67/0.56	c PID: 17569
0.67/0.56	c IP: 172.20.3.133
0.67/0.56	c HOST: node133.alineos.net
0.67/0.56	c (0,0) Parsing Begin
120.40/94.03	c (93,87) Parsing End
120.40/94.05	c (93,87) CSP: 1000 int (0 aux), 0 bool (0 aux), 1998000 ctr, max domain size 999
120.40/94.05	c (93,87) Heap : 3503 MiB used (max 10756 MiB), NonHeap : 24 MiB used (max 0 MiB)
120.40/94.05	c (93,87) Constraint Name Generate Begin
125.50/98.91	c (98,92) Ctr:HOME/instance-4387872-1568291929.xml,Eq:Imp:Le:Num:Var
125.50/98.91	c (98,92) Constraint Name Generate End
125.50/98.91	c (98,92) Heap : 4888 MiB used (max 10756 MiB), NonHeap : 23 MiB used (max 0 MiB)
125.50/98.91	c (98,92) CSP to CSPinCNF Begin
137.11/106.20	c (105,98) translated 199800 (10%) constraints
146.30/112.77	c (112,103) translated 399600 (20%) constraints
152.01/118.49	c (117,109) translated 599400 (30%) constraints
159.03/124.52	c (123,115) translated 799200 (40%) constraints
165.98/130.56	c (130,121) translated 999000 (50%) constraints
171.88/136.29	c (135,126) translated 1198800 (60%) constraints
178.86/142.29	c (141,132) translated 1398600 (70%) constraints
184.56/147.97	c (147,138) translated 1598400 (80%) constraints
190.28/153.65	c (153,143) translated 1798200 (90%) constraints
197.63/159.74	c (159,149) translated 1998000 (100%) constraints
197.63/159.74	c (159,149) ===========================================
197.63/159.74	c (159,149) Order
197.63/159.74	c (159,149) ===========================================
201.08/162.59	c (162,152) translated 199800 (10%) constraints
205.44/165.77	c (165,155) translated 399600 (20%) constraints
208.29/168.54	c (168,157) translated 599400 (30%) constraints
211.09/171.32	c (170,160) translated 799200 (40%) constraints
213.79/174.09	c (173,163) translated 999000 (50%) constraints
231.13/187.89	c (187,176) translated 1198800 (60%) constraints
247.99/201.68	c (201,189) translated 1398600 (70%) constraints
262.69/214.71	c (214,201) translated 1598400 (80%) constraints
280.01/228.91	c (228,214) translated 1798200 (90%) constraints
296.99/242.53	c (241,227) translated 1998000 (100%) constraints
296.99/242.54	c (242,227) CSP to CSPinCNF End
297.29/242.86	c (242,227) CSP: 1000 int (0 aux), 999000 bool (999000 aux), 3996000 ctr, max domain size 999
297.29/242.86	c (242,227) Heap : 7619 MiB used (max 10828 MiB), NonHeap : 27 MiB used (max 0 MiB)
297.29/242.86	c (242,227) CSPinCNF Propagation Begin
1546.62/1393.71	c (1393,1345) 1780938 values, 2689286 unsatisfiable literals, and 3659834 valid clauses are removed
1546.62/1393.71	c (1393,1345) CSPinCNF Propagation End
1546.92/1394.09	c (1393,1346) CSP: 983 int (0 aux), 999017 bool (999000 aux), 336166 ctr, max domain size 747
1546.92/1394.09	c (1393,1346) Heap : 8082 MiB used (max 10721 MiB), NonHeap : 26 MiB used (max 0 MiB)
1547.03/1394.15	c (1393,1346) Simplify CSPinCNF Begin
1547.73/1394.69	c (1394,1346) Simplify CSPinCNF End
1548.12/1395.07	c (1394,1347) CSP: 983 int (0 aux), 999017 bool (999000 aux), 336166 ctr, max domain size 747
1548.12/1395.07	c (1394,1347) Heap : 8356 MiB used (max 10721 MiB), NonHeap : 26 MiB used (max 0 MiB)
1548.12/1395.07	c (1394,1347) Calculate Precise Domain Begin
1548.12/1395.08	c (1394,1347) 0 values are removed by re-calculation
1548.12/1395.08	c (1394,1347) Calculate Precise Domain End
1548.52/1395.46	c (1394,1347) CSP: 983 int (0 aux), 999017 bool (999000 aux), 336166 ctr, max domain size 747
1548.52/1395.46	c (1394,1347) Heap : 8356 MiB used (max 10721 MiB), NonHeap : 26 MiB used (max 0 MiB)
1548.52/1395.46	c (1394,1347) CSPinCNF to SatSolver Begin
1556.26/1398.23	c (1397,1349) 33617 (10 %) CSP clauses are encoded (0 SAT variables, 140276 SAT clauses)
1556.51/1398.46	c (1397,1349) 67234 (20 %) CSP clauses are encoded (0 SAT variables, 173893 SAT clauses)
1556.72/1398.68	c (1398,1349) 100850 (30 %) CSP clauses are encoded (0 SAT variables, 207509 SAT clauses)
1556.91/1398.89	c (1398,1350) 134467 (40 %) CSP clauses are encoded (0 SAT variables, 241126 SAT clauses)
1557.21/1399.11	c (1398,1350) 168083 (50 %) CSP clauses are encoded (0 SAT variables, 274742 SAT clauses)
1557.41/1399.32	c (1398,1350) 201700 (60 %) CSP clauses are encoded (0 SAT variables, 308359 SAT clauses)
1557.62/1399.54	c (1399,1350) 235317 (70 %) CSP clauses are encoded (0 SAT variables, 341976 SAT clauses)
1557.81/1399.75	c (1399,1350) 268933 (80 %) CSP clauses are encoded (0 SAT variables, 375592 SAT clauses)
1558.01/1399.97	c (1399,1351) 302550 (90 %) CSP clauses are encoded (0 SAT variables, 409209 SAT clauses)
1558.21/1400.18	c (1399,1351) 336166 (100 %) CSP clauses are encoded (0 SAT variables, 442825 SAT clauses)
1558.21/1400.18	c (1399,1351) CSPinCNF to SatSolver End
1558.21/1400.18	c (1399,1351) Heap : 8933 MiB used (max 10757 MiB), NonHeap : 28 MiB used (max 0 MiB)
1558.21/1400.18	c (1399,1351) 216062 bool, 442826 clause
1558.21/1400.18	c (1399,1351) Export Begin
1558.55/1400.32	c (1399,1351) Export to HOME/scop-17566-serial-file.bin
1558.55/1400.32	c (1399,1351) Export End
1558.55/1400.33	c (1399,1351) Export File Size: 0.16 MB
1558.55/1400.33	c (1399,1351) 93,98,242,1393,1394,1394,1399,STOP-AFTER(DIMACS)
1558.55/1400.33	c END-Prog: Thu Sep 12 15:01:32 CEST 2019
1558.55/1400.39	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-17566-serial-file.bin
1559.23/1400.85	c (0,0) Read Serial File Begin
1559.23/1400.85	c (0,0) HOME/scop-17566-serial-file.bin
1559.78/1401.11	c (0,0) Read Serial File End
1559.78/1401.12	
1559.78/1401.12	Fun-sCOP order+glueminisat-simp-2.2.10-193oa-n-release (2019-06-15)
1559.78/1401.12	(Solving Process)
1559.78/1401.12	
1559.78/1401.15	c BEGIN-Prog: Thu Sep 12 15:01:33 CEST 2019
1559.78/1401.15	c PID: 18145
1559.78/1401.15	c IP: 172.20.3.133
1559.78/1401.15	c HOST: node133.alineos.net
1559.78/1401.15	c (0,0) SatSolver.solve Begin
1559.78/1401.15	c (0,0) HOME/glueminisat-simp-2.2.10-193oa-n-release -model -verb=3 -elim-cl=5000000 -native-oa HOME/instance-4387872-1568291929.xml-scop-17569.cnf
1559.78/1401.18	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
1559.78/1401.18	c (0,0) c glueminisat-simp-2.2.10-193oa-n
1559.78/1401.18	c (0,0) c Command: HOME/glueminisat-simp-2.2.10-193oa-n-release -model -verb=3 -elim-cl=5000000 -native-oa HOME/instance-4387872-1568291929.xml-scop-17569.cnf 
1559.78/1401.18	c (0,0) c Options:
1559.78/1401.18	c (0,0) c CORE
1559.78/1401.18	c (0,0) c  var_decay             = 0.950
1559.78/1401.18	c (0,0) c  clause_decay          = 0.999
1559.78/1401.18	c (0,0) c  random_var_freq       = 0.000
1559.78/1401.18	c (0,0) c  random_seed           = 91648253.000
1559.78/1401.18	c (0,0) c  luby_restart          = 1
1559.78/1401.18	c (0,0) c  ccmin_mode            = 2
1559.78/1401.18	c (0,0) c  phase_saving          = 2
1559.78/1401.18	c (0,0) c  rnd_pol               = 0
1559.78/1401.18	c (0,0) c  rnd_init_act          = 0
1559.78/1401.18	c (0,0) c  garbage_frac          = 0.200
1559.78/1401.18	c (0,0) c  restart_first         = 1000
1559.78/1401.18	c (0,0) c  restart_inc           = 2.000
1559.78/1401.18	c (0,0) c MODEL
1559.78/1401.18	c (0,0) c  partial_model         = 0
1559.78/1401.18	c (0,0) c PROPAGATION
1559.78/1401.18	c (0,0) c  bin_propagation       = 1
1559.78/1401.18	c (0,0) c SIMPLIFICATION
1559.78/1401.18	c (0,0) c  lrn_min_size          = 100
1559.78/1401.18	c (0,0) c  lazy_simp             = 1
1559.78/1401.18	c (0,0) c  lazy_interval         = 10
1559.78/1401.18	c (0,0) c  lazy_fld_probing      = 1
1559.78/1401.18	c (0,0) c  lazy_pol_probing      = 1
1559.78/1401.18	c (0,0) c  lazy_nec_probing      = 1
1559.78/1401.18	c (0,0) c  lazy_eqv_probing      = 1
1559.78/1401.18	c (0,0) c  lazy_cla_probing      = 1
1559.78/1401.18	c (0,0) c  lazy_lrn_min          = 2
1559.78/1401.18	c (0,0) c  lazy_uw_lit_elim      = 1
1559.78/1401.18	c (0,0) c  lazy_pr_lit_elim      = 0
1559.78/1401.18	c (0,0) c  lazy_bin_add          = 3
1559.78/1401.18	c (0,0) c  probed_lit_chain      = 1
1559.78/1401.18	c (0,0) c  pr_min_lits           = 0.00020
1559.78/1401.18	c (0,0) c  pr_min_starts         = 500
1559.78/1401.18	c (0,0) c  rw_min_lits           = 0.010
1559.78/1401.18	c (0,0) c  rw_min_starts         = 500
1559.78/1401.18	c (0,0) c  rand_attach           = 0
1559.78/1401.18	c (0,0) c  dec_elim              = 1
1559.78/1401.18	c (0,0) c  dec_elim_lim          = 25
1559.78/1401.18	c (0,0) c  dec_elim_len          = -1
1559.78/1401.18	c (0,0) c  amo                   = 0
1559.78/1401.18	c (0,0) c  amo_grp               = 1
1559.78/1401.18	c (0,0) c  amo_max_bins          = 1000000
1559.78/1401.18	c (0,0) c  amo_starts            = 50
1559.78/1401.18	c (0,0) c  mace_cmd              = mace
1559.78/1401.18	c (0,0) c DECISION
1559.78/1401.18	c (0,0) c  rand_rebuild          = 0
1559.78/1401.18	c (0,0) c  rand_rebuild_confs    = 10000
1559.78/1401.18	c (0,0) c  inc_var_decay         = 1
1559.78/1401.18	c (0,0) c  inc_var_decay_period  = 100000
1559.78/1401.18	c (0,0) c  inc_var_decay_init    = 0.600
1559.78/1401.18	c (0,0) c  var_decay_mode        = 0
1559.78/1401.18	c (0,0) c  var_decay_gain        = 0
1559.78/1401.18	c (0,0) c  sloped_var_decay      = 1
1559.78/1401.18	c (0,0) c  max_var_decay         = 0.990
1559.78/1401.18	c (0,0) c  min_var_decay         = 0.950
1559.78/1401.18	c (0,0) c  min_var_decay_vars    = 10000
1559.78/1401.18	c (0,0) c  max_var_decay_vars    = 500
1559.78/1401.18	c (0,0) c  uip_bumping           = 1
1559.78/1401.18	c (0,0) c  lbd_act_bumping       = 1
1559.78/1401.18	c (0,0) c  rand_tiebreak         = 0
1559.78/1401.18	c (0,0) c  simp_rebuild          = 1
1559.78/1401.18	c (0,0) c RESTART
1559.78/1401.18	c (0,0) c  restart_strategy      = 2
1559.78/1401.18	c (0,0) c  restart_blocking      = 0
1559.78/1401.18	c (0,0) c  agility_decay         = 0.99990
1559.78/1401.18	c (0,0) c  lbd_restart_rate      = 0.800
1559.78/1401.18	c (0,0) c  dec_restart_rate      = 0.950
1559.78/1401.18	c (0,0) c  blk_restart_rate      = 0.700
1559.78/1401.18	c (0,0) c  lbd_queue_size        = 50
1559.78/1401.18	c (0,0) c  dec_queue_size        = 50
1559.78/1401.18	c (0,0) c  trl_queue_size        = 5000
1559.78/1401.18	c (0,0) c  blk_restart_weight    = 1.000
1559.78/1401.18	c (0,0) c  inc_rst_rate          = 0
1559.78/1401.18	c (0,0) c  inc_rst_rate_period   = 500000
1559.78/1401.18	c (0,0) c  inc_lbd_rst_rate_init = 0.600
1559.78/1401.18	c (0,0) c  inc_dec_rst_rate_init = 0.750
1559.78/1401.18	c (0,0) c REDUCTION
1559.78/1401.18	c (0,0) c  closed_lbd            = 0
1559.78/1401.18	c (0,0) c  closed_lbd_rate       = 0.500
1559.78/1401.18	c (0,0) c  rm_simulate           = 0
1559.78/1401.18	c (0,0) c  rdb_eval              = 2
1559.78/1401.18	c (0,0) c  rdb_call              = 3
1559.78/1401.18	c (0,0) c  rdb_ub                = 0.500
1559.78/1401.18	c (0,0) c  core_lbd_cvr          = 0.800
1559.78/1401.18	c (0,0) c  supp_lbd_cvr          = 0.990
1559.78/1401.18	c (0,0) c  core_lbd_lb           = 2
1559.78/1401.18	c (0,0) c  supp_lbd_lb           = 2
1559.78/1401.18	c (0,0) c  core_lbd_prd          = 7
1559.78/1401.18	c (0,0) c  supp_lbd_prd          = 1
1559.78/1401.18	c (0,0) c  othr_lbd_prd          = 0
1559.78/1401.18	c (0,0) c  inc_lrn_limit         = 1000
1559.78/1401.18	c (0,0) c  frozen_lbd            = 30
1559.78/1401.18	c (0,0) c  simp_min_starts       = 100
1559.78/1401.18	c (0,0) c  rm_low_act_learnts    = 1
1559.78/1401.18	c (0,0) c  lv0_reduce_db         = 0
1559.78/1401.18	c (0,0) c  reduce_db_base        = 20000
1559.78/1401.18	c (0,0) c  reduce_db_inc         = 1000
1559.78/1401.18	c (0,0) c HARD
1559.78/1401.18	c (0,0) c  inst_check            = 200000
1559.78/1401.18	c (0,0) c  small_block           = 1.750
1559.78/1401.18	c (0,0) c  slow_restart_speed    = 400.000
1559.78/1401.18	c (0,0) c  slow_restart_strategy = 3
1559.78/1401.18	c (0,0) c  slow_lbd_restart_rate = 0.700
1559.78/1401.18	c (0,0) c  slow_dec_restart_rate = 1.000
1559.78/1401.18	c (0,0) c  slow_lbd_queue_size   = 50
1559.78/1401.18	c (0,0) c  slow_var_decay        = 0.950
1559.78/1401.18	c (0,0) c  slow_glue_threshold   = 2
1559.78/1401.18	c (0,0) c  slow_phase_saving     = 2
1559.78/1401.18	c (0,0) c  fast_restart_speed    = 125.000
1559.78/1401.18	c (0,0) c  fast_restart_strategy = 1
1559.78/1401.18	c (0,0) c  fast_lbd_restart_rate = 0.800
1559.78/1401.18	c (0,0) c  fast_dec_restart_rate = 0.950
1559.78/1401.18	c (0,0) c  fast_lbd_queue_size   = 50
1559.78/1401.18	c (0,0) c  fast_var_decay        = 1.000
1559.78/1401.18	c (0,0) c  fast_glue_threshold   = 2
1559.78/1401.18	c (0,0) c  fast_phase_saving     = 2
1559.78/1401.18	c (0,0) c STATS
1559.78/1401.18	c (0,0) c  stats_conf_size       = 10000
1559.78/1401.18	c (0,0) c  max_stats_size        = 30
1559.78/1401.18	c (0,0) c SOLVER
1559.78/1401.18	c (0,0) c  minisat               = 0
1560.07/1401.44	c (0,0) c Problem: 216062 variables, 442826 clauses, parsing 0.23 s
1560.79/1401.98	c (1,0) c  reduced to 8243 variables, 35275 clauses (grow = 0)
1560.79/1401.99	c (1,0) c  exclude 0 (0.0%) variables from decision variables (last cost 0)
1560.89/1402.00	c (1,0) c Simplification: 207819 vars, 407551 clauses are eliminated using 0.55 s
1560.89/1402.00	c (1,0) c
1560.89/1402.00	c (1,0) c        #Rstrts   #Confs   #Vars   #Clauses  #Learnts Lits/C LBD/C DLVs Trail
1560.89/1402.00	c (1,0) c
1560.89/1402.00	c (1,0) c    0         0         0     8243    35275        0   -nan  -nan  -nan -nan%
1560.89/1402.02	c (1,0) c    0         1         3   -88622    35275        1    2.0   2.0   0.7 33.4%
1560.89/1402.02	c (1,0) c
1560.89/1402.02	c (1,0) c
1560.89/1402.02	c (1,0) c variables         : -88622      (init 216062, after simp 8243, 0 non-decs, 909 csp)
1560.89/1402.02	c (1,0) c clauses           : 35275       (init 442826, after simp 35275)
1560.89/1402.02	c (1,0) c restarts          : 0           (3.00 confs/res, 3~3 confs, 0 blks, 0 last)
1560.89/1402.02	c (1,0) c conflicts         : 3           (4 /sec, 66.67% dconfs, 0.00% supp, trail 34165.00w x 0.67h, jmp 0.67h)
1560.89/1402.02	c (1,0) c decisions         : 2           (0.6000 vdcy, 3 /sec, 0.00% bin, rs 0.000 s)
1560.89/1402.02	c (1,0) c propagations      : 210138      (262934 /sec, 105069.00 lits/dec, 92.13% o.a.)
1560.89/1402.02	c (1,0) c conflict literals : 2           (0.00% deleted; 0.00% by bin min, 0.000 s)
1560.89/1402.02	c (1,0) c len               : 2.000       (0.67 for all, max 1, used 0)
1560.89/1402.02	c (1,0) c lbd               : 2.000       (0.67 (0.67) for all, max 1, used 0, -nan stdev, 1.000 blk)
1560.89/1402.02	c (1,0) c amo               : 0           (0 max, -nan avg, 0.000 s)
1560.89/1402.02	c (1,0) c simp dbs          : 1           (0.002 s)
1560.89/1402.02	c (1,0) c reduce dbs        : 0           (core-lbd 2, supp-lbd 2147483647, 0.000 s)
1560.89/1402.02	c (1,0) c learnts           : 1           (0 learnts removed, 0.00%)
1560.89/1402.02	c (1,0) c rewrite dbs       : 0           (0/0 vars, 0+0 taut, 0+0 unit, 0.000 s)
1560.89/1402.02	c (1,0) c assigned lits     : 0           (0/0 probed, 0 remains)
1560.89/1402.02	c (1,0) c premise updates   : 0           (0.00 /lit)
1560.89/1402.02	c (1,0) c probed variables  : 0           (0 pr, 0 eq, 0 fld, 0 pol, 0 nec, 0 cla, 0 amo)
1560.89/1402.02	c (1,0) c equiv variables   : 0           (0 bin, 0 trn, 0 quat, 0 quin, 0 othr; 0 amo)
1560.89/1402.02	c (1,0) c lazy added bins   : 1           (1 prop + 0 conf, 0.000s)
1560.89/1402.02	c (1,0) c unwatched lit elim: 0           (0.00+0.00%, 0+0 of 89956+2)
1560.89/1402.02	c (1,0) c classified type   : undef
1560.89/1402.02	c (1,0) c progress          : 1175.118%
1560.89/1402.02	c (1,0) c
1560.89/1402.02	c (1,0) c [Statistics]
1560.89/1402.02	c (1,0) c             learnts len        learnts lbd        lit blk size       eq vars size
1560.89/1402.02	c (1,0) c  tot           2                  2                  2                  0
1560.89/1402.02	c (1,0) c  avg       1.000              1.000              1.000               -nan
1560.89/1402.02	c (1,0) c   1            2 (100.0%)          2 (100.0%)          2 (100.0%)          0 (-nan%)
1560.89/1402.02	c (1,0) c   2            0 ( 0.0%)          0 ( 0.0%)          0 ( 0.0%)          0 (-nan%)
1560.89/1402.02	c (1,0) c   3            0 ( 0.0%)          0 ( 0.0%)          0 ( 0.0%)          0 (-nan%)
1560.89/1402.02	c (1,0) c   4            0 ( 0.0%)          0 ( 0.0%)          0 ( 0.0%)          0 (-nan%)
1560.89/1402.02	c (1,0) c   5            0 ( 0.0%)          0 ( 0.0%)          0 ( 0.0%)          0 (-nan%)
1560.89/1402.02	c (1,0) c   6            0 ( 0.0%)          0 ( 0.0%)          0 ( 0.0%)          0 (-nan%)
1560.89/1402.02	c (1,0) c   7            0 ( 0.0%)          0 ( 0.0%)          0 ( 0.0%)          0 (-nan%)
1560.89/1402.02	c (1,0) c   8            0 ( 0.0%)          0 ( 0.0%)          0 ( 0.0%)          0 (-nan%)
1560.89/1402.02	c (1,0) c   9            0 ( 0.0%)          0 ( 0.0%)          0 ( 0.0%)          0 (-nan%)
1560.89/1402.02	c (1,0) c  10            0 ( 0.0%)          0 ( 0.0%)          0 ( 0.0%)          0 (-nan%)
1560.89/1402.02	c (1,0) c  11            0 ( 0.0%)          0 ( 0.0%)          0 ( 0.0%)          0 (-nan%)
1560.89/1402.02	c (1,0) c  12            0 ( 0.0%)          0 ( 0.0%)          0 ( 0.0%)          0 (-nan%)
1560.89/1402.02	c (1,0) c  13            0 ( 0.0%)          0 ( 0.0%)          0 ( 0.0%)          0 (-nan%)
1560.89/1402.02	c (1,0) c  14            0 ( 0.0%)          0 ( 0.0%)          0 ( 0.0%)          0 (-nan%)
1560.89/1402.02	c (1,0) c  15            0 ( 0.0%)          0 ( 0.0%)          0 ( 0.0%)          0 (-nan%)
1560.89/1402.02	c (1,0) c  16            0 ( 0.0%)          0 ( 0.0%)          0 ( 0.0%)          0 (-nan%)
1560.89/1402.02	c (1,0) c  17            0 ( 0.0%)          0 ( 0.0%)          0 ( 0.0%)          0 (-nan%)
1560.89/1402.02	c (1,0) c  18            0 ( 0.0%)          0 ( 0.0%)          0 ( 0.0%)          0 (-nan%)
1560.89/1402.02	c (1,0) c  19            0 ( 0.0%)          0 ( 0.0%)          0 ( 0.0%)          0 (-nan%)
1560.89/1402.02	c (1,0) c  20            0 ( 0.0%)          0 ( 0.0%)          0 ( 0.0%)          0 (-nan%)
1560.89/1402.02	c (1,0) c  21            0 ( 0.0%)          0 ( 0.0%)          0 ( 0.0%)          0 (-nan%)
1560.89/1402.02	c (1,0) c  22            0 ( 0.0%)          0 ( 0.0%)          0 ( 0.0%)          0 (-nan%)
1560.89/1402.02	c (1,0) c  23            0 ( 0.0%)          0 ( 0.0%)          0 ( 0.0%)          0 (-nan%)
1560.89/1402.02	c (1,0) c  24            0 ( 0.0%)          0 ( 0.0%)          0 ( 0.0%)          0 (-nan%)
1560.89/1402.02	c (1,0) c  25            0 ( 0.0%)          0 ( 0.0%)          0 ( 0.0%)          0 (-nan%)
1560.89/1402.02	c (1,0) c  26            0 ( 0.0%)          0 ( 0.0%)          0 ( 0.0%)          0 (-nan%)
1560.89/1402.02	c (1,0) c  27            0 ( 0.0%)          0 ( 0.0%)          0 ( 0.0%)          0 (-nan%)
1560.89/1402.02	c (1,0) c  28            0 ( 0.0%)          0 ( 0.0%)          0 ( 0.0%)          0 (-nan%)
1560.89/1402.02	c (1,0) c  29            0 ( 0.0%)          0 ( 0.0%)          0 ( 0.0%)          0 (-nan%)
1560.89/1402.02	c (1,0) c  30            0 ( 0.0%)          0 ( 0.0%)          0 ( 0.0%)          0 (-nan%)
1560.89/1402.02	c (1,0) c
1560.89/1402.02	c (1,0) c [LBD Statistics]
1560.89/1402.02	c (1,0) c LBD          used lbd               used clause lbd         unused clause lbd
1560.89/1402.02	c (1,0) c  tot            0                       1                       0
1560.89/1402.02	c (1,0) c  avg         -nan                   2.000                    -nan
1560.89/1402.02	c (1,0) c    1            0 (-nan/-nan%)          0 ( 0.0/ 0.0%)          0 (-nan/-nan%)
1560.89/1402.02	c (1,0) c    2            0 (-nan/-nan%)          1 (100.0/100.0%)          0 (-nan/-nan%)
1560.89/1402.02	c (1,0) c
1560.89/1402.02	c (1,0) c Memory used       : 132.00 MB
1560.89/1402.02	c (1,0) c CPU time          : 0.799 s
1560.89/1402.02	c (1,0) c Real time         : 0.847 s
1560.89/1402.02	c (1,0) c
1560.89/1402.02	c (1,0) s UNSATISFIABLE
1560.89/1402.03	c (1,0) SatSolver.solve End
1560.89/1402.03	c (1,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
1560.89/1402.03	c (1,0) Show results Begin
1560.89/1402.03	s UNSATISFIABLE
1560.89/1402.03	c (1,0) Show results End
1560.89/1402.03	c (1,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
1560.89/1402.03	c (1,0) 1,1,STOP-AFTER(ALL)
1560.89/1402.03	c END-Prog: Thu Sep 12 15:01:34 CEST 2019

Verifier Data


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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4387872-1568291929/watcher-4387872-1568291929 -o /tmp/evaluation-result-4387872-1568291929/solver-4387872-1568291929 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1568289747-16920 --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-4387872-1568291929.xml 

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

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

solver pid=17566, runsolver pid=17563

[startup+0.100141 s]*
/proc/loadavg: 2.01 2.16 2.78 3/239 17583
/proc/meminfo: memFree=31329952/32770624 swapFree=67003268/67108860
[pid=17566] ppid=17563 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/17566/stat : 17566 (scop.sh) S 17563 17566 16886 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405432725 115843072 348 33554432000 4194304 5098028 140736329837904 140736329835160 140569558819452 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 39866368 140736329839400 140736329839728 140736329839728 140736329842637 0
/proc/17566/statm: 28282 348 296 221 0 87 0
[pid=17569] ppid=17566 vsize=15012696 memory=72628 CPUtime=0.12 cores=1,3,5,7
/proc/17569/stat : 17569 (java) S 17566 17566 16886 0 -1 1077944320 6510 0 0 0 10 2 0 0 20 0 15 0 405432725 15373000704 18157 33554432000 4194304 4196468 140727117801248 140727117783792 140316725202679 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 20332544 140727117804270 140727117804698 140727117804698 140727117807567 0
/proc/17569/statm: 3753174 18157 2889 1 0 3715579 0
[pid=17569/tid=17570] ppid=17566 vsize=15012696 memory=-6293636188170665921 CPUtime=0.09 cores=1,3,5,7
/proc/17569/task/17570/stat : 17570 (java) R 17566 17566 16886 0 -1 4202560 4296 0 0 0 8 1 0 0 20 0 15 0 405432725 15373000704 18157 33554432000 4194304 4196468 140727117801248 140316696996584 140316717439806 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20332544 140727117804270 140727117804698 140727117804698 140727117807567 0
[pid=17569/tid=17571] ppid=17566 vsize=15012696 memory=4206468019014099040 CPUtime=0 cores=1,3,5,7
/proc/17569/task/17571/stat : 17571 (java) S 17566 17566 16886 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405432727 15373000704 18157 33554432000 4194304 4196468 140727117801248 140316729445392 140316725212885 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20332544 140727117804270 140727117804698 140727117804698 140727117807567 0
[pid=17569/tid=17572] ppid=17566 vsize=15012696 memory=140407964931712 CPUtime=0 cores=1,3,5,7
/proc/17569/task/17572/stat : 17572 (java) S 17566 17566 16886 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405432727 15373000704 18157 33554432000 4194304 4196468 140727117801248 140316520529040 140316725212885 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20332544 140727117804270 140727117804698 140727117804698 140727117807567 0
[pid=17569/tid=17573] ppid=17566 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17569/task/17573/stat : 17573 (java) S 17566 17566 16886 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405432727 15373000704 18157 33554432000 4194304 4196468 140727117801248 140316519475984 140316725212885 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20332544 140727117804270 140727117804698 140727117804698 140727117807567 0
[pid=17569/tid=17574] ppid=17566 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17569/task/17574/stat : 17574 (java) S 17566 17566 16886 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405432727 15373000704 18157 33554432000 4194304 4196468 140727117801248 140316518423440 140316725212885 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20332544 140727117804270 140727117804698 140727117804698 140727117807567 0
[pid=17569/tid=17575] ppid=17566 vsize=15012696 memory=140407964931712 CPUtime=0 cores=1,3,5,7
/proc/17569/task/17575/stat : 17575 (java) S 17566 17566 16886 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405432728 15373000704 18157 33554432000 4194304 4196468 140727117801248 140315695454448 140316725213826 0 0 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20332544 140727117804270 140727117804698 140727117804698 140727117807567 0
[pid=17569/tid=17576] ppid=17566 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17569/task/17576/stat : 17576 (java) S 17566 17566 16886 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405432729 15373000704 18223 33554432000 4194304 4196468 140727117801248 140315306484896 140316725212885 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20332544 140727117804270 140727117804698 140727117804698 140727117807567 0
[pid=17569/tid=17577] ppid=17566 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17569/task/17577/stat : 17577 (java) S 17566 17566 16886 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 405432729 15373000704 18223 33554432000 4194304 4196468 140727117801248 140315172262640 140316725212885 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20332544 140727117804270 140727117804698 140727117804698 140727117807567 0
[pid=17569/tid=17578] ppid=17566 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17569/task/17578/stat : 17578 (java) S 17566 17566 16886 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405432731 15373000704 18223 33554432000 4194304 4196468 140727117801248 140314797758416 140316725221275 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20332544 140727117804270 140727117804698 140727117804698 140727117807567 0
[pid=17569/tid=17579] ppid=17566 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17569/task/17579/stat : 17579 (java) S 17566 17566 16886 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 15 0 405432731 15373000704 18223 33554432000 4194304 4196468 140727117801248 140315694402288 140316725213826 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20332544 140727117804270 140727117804698 140727117804698 140727117807567 0
[pid=17569/tid=17580] ppid=17566 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17569/task/17580/stat : 17580 (java) S 17566 17566 16886 0 -1 1077944384 125 0 0 0 0 0 0 0 20 0 15 0 405432731 15373000704 18223 33554432000 4194304 4196468 140727117801248 140315693349744 140316725213826 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20332544 140727117804270 140727117804698 140727117804698 140727117807567 0
[pid=17569/tid=17581] ppid=17566 vsize=15012696 memory=140407964931712 CPUtime=0.01 cores=1,3,5,7
/proc/17569/task/17581/stat : 17581 (java) S 17566 17566 16886 0 -1 1077944384 440 0 0 0 1 0 0 0 20 0 15 0 405432731 15373000704 18223 33554432000 4194304 4196468 140727117801248 140315692296688 140316725213826 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20332544 140727117804270 140727117804698 140727117804698 140727117807567 0
[pid=17569/tid=17582] ppid=17566 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17569/task/17582/stat : 17582 (java) S 17566 17566 16886 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405432731 15373000704 18223 33554432000 4194304 4196468 140727117801248 140314299853664 140316725212885 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20332544 140727117804270 140727117804698 140727117804698 140727117807567 0
[pid=17569/tid=17583] ppid=17566 vsize=15012696 memory=140407964931712 CPUtime=0 cores=1,3,5,7
/proc/17569/task/17583/stat : 17583 (java) S 17566 17566 16886 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405432732 15373000704 18223 33554432000 4194304 4196468 140727117801248 140315691244080 140316725213826 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20332544 140727117804270 140727117804698 140727117804698 140727117807567 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 74020 KiB

[startup+0.212194 s]*
/proc/loadavg: 2.01 2.16 2.78 3/239 17583
/proc/meminfo: memFree=31309040/32770624 swapFree=67003268/67108860
[pid=17566] ppid=17563 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/17566/stat : 17566 (scop.sh) S 17563 17566 16886 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405432725 115843072 348 33554432000 4194304 5098028 140736329837904 140736329835160 140569558819452 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 39866368 140736329839400 140736329839728 140736329839728 140736329842637 0
/proc/17566/statm: 28282 348 296 221 0 87 0
[pid=17569] ppid=17566 vsize=15012696 memory=88260 CPUtime=0.26 cores=1,3,5,7
/proc/17569/stat : 17569 (java) S 17566 17566 16886 0 -1 1077944320 11611 0 0 0 23 3 0 0 20 0 15 0 405432725 15373000704 22065 33554432000 4194304 4196468 140727117801248 140727117783792 140316725202679 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 20332544 140727117804270 140727117804698 140727117804698 140727117807567 0
/proc/17569/statm: 3753174 22065 2982 1 0 3715579 0
[pid=17569/tid=17570] ppid=17566 vsize=15012696 memory=7022364632946311227 CPUtime=0.19 cores=1,3,5,7
/proc/17569/task/17570/stat : 17570 (java) R 17566 17566 16886 0 -1 4202560 9348 0 0 0 17 2 0 0 20 0 15 0 405432725 15373000704 22065 33554432000 4194304 4196468 140727117801248 140316697028144 140316709283166 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20332544 140727117804270 140727117804698 140727117804698 140727117807567 0
[pid=17569/tid=17571] ppid=17566 vsize=15012696 memory=397 CPUtime=0 cores=1,3,5,7
/proc/17569/task/17571/stat : 17571 (java) S 17566 17566 16886 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405432727 15373000704 22065 33554432000 4194304 4196468 140727117801248 140316729445392 140316725212885 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20332544 140727117804270 140727117804698 140727117804698 140727117807567 0
[pid=17569/tid=17572] ppid=17566 vsize=15012696 memory=140407964948990 CPUtime=0 cores=1,3,5,7
/proc/17569/task/17572/stat : 17572 (java) S 17566 17566 16886 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405432727 15373000704 22065 33554432000 4194304 4196468 140727117801248 140316520529040 140316725212885 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20332544 140727117804270 140727117804698 140727117804698 140727117807567 0
[pid=17569/tid=17573] ppid=17566 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17569/task/17573/stat : 17573 (java) S 17566 17566 16886 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405432727 15373000704 22065 33554432000 4194304 4196468 140727117801248 140316519475984 140316725212885 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20332544 140727117804270 140727117804698 140727117804698 140727117807567 0
[pid=17569/tid=17574] ppid=17566 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17569/task/17574/stat : 17574 (java) S 17566 17566 16886 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405432727 15373000704 22065 33554432000 4194304 4196468 140727117801248 140316518423440 140316725212885 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20332544 140727117804270 140727117804698 140727117804698 140727117807567 0
[pid=17569/tid=17575] ppid=17566 vsize=15012696 memory=140407964931712 CPUtime=0 cores=1,3,5,7
/proc/17569/task/17575/stat : 17575 (java) S 17566 17566 16886 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405432728 15373000704 22065 33554432000 4194304 4196468 140727117801248 140315695454448 140316725213826 0 0 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20332544 140727117804270 140727117804698 140727117804698 140727117807567 0
[pid=17569/tid=17576] ppid=17566 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17569/task/17576/stat : 17576 (java) S 17566 17566 16886 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405432729 15373000704 22065 33554432000 4194304 4196468 140727117801248 140315306484896 140316725212885 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20332544 140727117804270 140727117804698 140727117804698 140727117807567 0
[pid=17569/tid=17577] ppid=17566 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17569/task/17577/stat : 17577 (java) S 17566 17566 16886 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 405432729 15373000704 22065 33554432000 4194304 4196468 140727117801248 140315172262640 140316725212885 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20332544 140727117804270 140727117804698 140727117804698 140727117807567 0
[pid=17569/tid=17578] ppid=17566 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17569/task/17578/stat : 17578 (java) S 17566 17566 16886 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405432731 15373000704 22065 33554432000 4194304 4196468 140727117801248 140314797758416 140316725221275 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20332544 140727117804270 140727117804698 140727117804698 140727117807567 0
[pid=17569/tid=17579] ppid=17566 vsize=15012696 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/17569/task/17579/stat : 17579 (java) S 17566 17566 16886 0 -1 1077944384 336 0 0 0 1 0 0 0 20 0 15 0 405432731 15373000704 22065 33554432000 4194304 4196468 140727117801248 140315694402288 140316725213826 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20332544 140727117804270 140727117804698 140727117804698 140727117807567 0
[pid=17569/tid=17580] ppid=17566 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17569/task/17580/stat : 17580 (java) S 17566 17566 16886 0 -1 1077944384 135 0 0 0 0 0 0 0 20 0 15 0 405432731 15373000704 22065 33554432000 4194304 4196468 140727117801248 140315693349744 140316725213826 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20332544 140727117804270 140727117804698 140727117804698 140727117807567 0
[pid=17569/tid=17581] ppid=17566 vsize=15012696 memory=140407964931712 CPUtime=0.03 cores=1,3,5,7
/proc/17569/task/17581/stat : 17581 (java) S 17566 17566 16886 0 -1 1077944384 451 0 0 0 3 0 0 0 20 0 15 0 405432731 15373000704 22065 33554432000 4194304 4196468 140727117801248 140315692296688 140316725213826 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20332544 140727117804270 140727117804698 140727117804698 140727117807567 0
[pid=17569/tid=17582] ppid=17566 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17569/task/17582/stat : 17582 (java) S 17566 17566 16886 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405432731 15373000704 22065 33554432000 4194304 4196468 140727117801248 140314299853664 140316725212885 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20332544 140727117804270 140727117804698 140727117804698 140727117807567 0
[pid=17569/tid=17583] ppid=17566 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17569/task/17583/stat : 17583 (java) S 17566 17566 16886 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405432732 15373000704 22065 33554432000 4194304 4196468 140727117801248 140315691244080 140316725213826 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20332544 140727117804270 140727117804698 140727117804698 140727117807567 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 89652 KiB

[startup+0.31099 s]*
/proc/loadavg: 2.01 2.16 2.78 3/239 17583
/proc/meminfo: memFree=31306856/32770624 swapFree=67003268/67108860
[pid=17566] ppid=17563 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/17566/stat : 17566 (scop.sh) S 17563 17566 16886 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405432725 115843072 348 33554432000 4194304 5098028 140736329837904 140736329835160 140569558819452 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 39866368 140736329839400 140736329839728 140736329839728 140736329842637 0
/proc/17566/statm: 28282 348 296 221 0 87 0
[pid=17569] ppid=17566 vsize=15012696 memory=91964 CPUtime=0.43 cores=1,3,5,7
/proc/17569/stat : 17569 (java) S 17566 17566 16886 0 -1 1077944320 12055 0 0 0 40 3 0 0 20 0 15 0 405432725 15373000704 22991 33554432000 4194304 4196468 140727117801248 140727117783792 140316725202679 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 20332544 140727117804270 140727117804698 140727117804698 140727117807567 0
/proc/17569/statm: 3753174 22991 3043 1 0 3715579 0
[pid=17569/tid=17570] ppid=17566 vsize=15012696 memory=7022364632946311227 CPUtime=0.3 cores=1,3,5,7
/proc/17569/task/17570/stat : 17570 (java) R 17566 17566 16886 0 -1 4202560 9606 0 0 0 27 3 0 0 20 0 15 0 405432725 15373000704 22991 33554432000 4194304 4196468 140727117801248 140316697032752 140316706766217 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20332544 140727117804270 140727117804698 140727117804698 140727117807567 0
[pid=17569/tid=17571] ppid=17566 vsize=15012696 memory=288230613314699634 CPUtime=0 cores=1,3,5,7
/proc/17569/task/17571/stat : 17571 (java) S 17566 17566 16886 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405432727 15373000704 22991 33554432000 4194304 4196468 140727117801248 140316729445392 140316725212885 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20332544 140727117804270 140727117804698 140727117804698 140727117807567 0
[pid=17569/tid=17572] ppid=17566 vsize=15012696 memory=3832907662782382904 CPUtime=0 cores=1,3,5,7
/proc/17569/task/17572/stat : 17572 (java) S 17566 17566 16886 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405432727 15373000704 22991 33554432000 4194304 4196468 140727117801248 140316520529040 140316725212885 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20332544 140727117804270 140727117804698 140727117804698 140727117807567 0
[pid=17569/tid=17573] ppid=17566 vsize=15012696 memory=280815699523952 CPUtime=0 cores=1,3,5,7
/proc/17569/task/17573/stat : 17573 (java) S 17566 17566 16886 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405432727 15373000704 22991 33554432000 4194304 4196468 140727117801248 140316519475984 140316725212885 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20332544 140727117804270 140727117804698 140727117804698 140727117807567 0
[pid=17569/tid=17574] ppid=17566 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17569/task/17574/stat : 17574 (java) S 17566 17566 16886 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405432727 15373000704 22991 33554432000 4194304 4196468 140727117801248 140316518423440 140316725212885 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20332544 140727117804270 140727117804698 140727117804698 140727117807567 0
[pid=17569/tid=17575] ppid=17566 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17569/task/17575/stat : 17575 (java) S 17566 17566 16886 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405432728 15373000704 22991 33554432000 4194304 4196468 140727117801248 140315695454448 140316725213826 0 0 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20332544 140727117804270 140727117804698 140727117804698 140727117807567 0
[pid=17569/tid=17576] ppid=17566 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17569/task/17576/stat : 17576 (java) S 17566 17566 16886 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405432729 15373000704 22991 33554432000 4194304 4196468 140727117801248 140315306484896 140316725212885 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20332544 140727117804270 140727117804698 140727117804698 140727117807567 0
[pid=17569/tid=17577] ppid=17566 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17569/task/17577/stat : 17577 (java) S 17566 17566 16886 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 405432729 15373000704 22991 33554432000 4194304 4196468 140727117801248 140315172262640 140316725212885 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20332544 140727117804270 140727117804698 140727117804698 140727117807567 0
[pid=17569/tid=17578] ppid=17566 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17569/task/17578/stat : 17578 (java) S 17566 17566 16886 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405432731 15373000704 22991 33554432000 4194304 4196468 140727117801248 140314797758416 140316725221275 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20332544 140727117804270 140727117804698 140727117804698 140727117807567 0
[pid=17569/tid=17579] ppid=17566 vsize=15012696 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/17569/task/17579/stat : 17579 (java) S 17566 17566 16886 0 -1 1077944384 461 0 0 0 3 0 0 0 20 0 15 0 405432731 15373000704 22991 33554432000 4194304 4196468 140727117801248 140315694402288 140316725213826 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20332544 140727117804270 140727117804698 140727117804698 140727117807567 0
[pid=17569/tid=17580] ppid=17566 vsize=15012696 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/17569/task/17580/stat : 17580 (java) S 17566 17566 16886 0 -1 1077944384 142 0 0 0 1 0 0 0 20 0 15 0 405432731 15373000704 22991 33554432000 4194304 4196468 140727117801248 140315693349744 140316725213826 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20332544 140727117804270 140727117804698 140727117804698 140727117807567 0
[pid=17569/tid=17581] ppid=17566 vsize=15012696 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17569/task/17581/stat : 17581 (java) S 17566 17566 16886 0 -1 1077944384 493 0 0 0 7 0 0 0 20 0 15 0 405432731 15373000704 22991 33554432000 4194304 4196468 140727117801248 140315692296688 140316725213826 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20332544 140727117804270 140727117804698 140727117804698 140727117807567 0
[pid=17569/tid=17582] ppid=17566 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17569/task/17582/stat : 17582 (java) S 17566 17566 16886 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405432731 15373000704 22991 33554432000 4194304 4196468 140727117801248 140314299853664 140316725212885 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20332544 140727117804270 140727117804698 140727117804698 140727117807567 0
[pid=17569/tid=17583] ppid=17566 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17569/task/17583/stat : 17583 (java) S 17566 17566 16886 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405432732 15373000704 22991 33554432000 4194304 4196468 140727117801248 140315691244080 140316725213826 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20332544 140727117804270 140727117804698 140727117804698 140727117807567 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 93356 KiB

[startup+0.702152 s]
/proc/loadavg: 2.01 2.16 2.78 3/239 17583
/proc/meminfo: memFree=31284512/32770624 swapFree=67003268/67108860
[pid=17566] ppid=17563 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/17566/stat : 17566 (scop.sh) S 17563 17566 16886 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405432725 115843072 348 33554432000 4194304 5098028 140736329837904 140736329835160 140569558819452 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 39866368 140736329839400 140736329839728 140736329839728 140736329842637 0
/proc/17566/statm: 28282 348 296 221 0 87 0
[pid=17569] ppid=17566 vsize=15018968 memory=129496 CPUtime=1.02 cores=1,3,5,7
/proc/17569/stat : 17569 (java) S 17566 17566 16886 0 -1 1077944320 19619 0 0 0 96 6 0 0 20 0 15 0 405432725 15379423232 32374 33554432000 4194304 4196468 140727117801248 140727117783792 140316725202679 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 20332544 140727117804270 140727117804698 140727117804698 140727117807567 0
/proc/17569/statm: 3754742 32374 3193 1 0 3716091 0
[pid=17569/tid=17570] ppid=17566 vsize=15018968 memory=1616 CPUtime=0.67 cores=1,3,5,7
/proc/17569/task/17570/stat : 17570 (java) R 17566 17566 16886 0 -1 4202560 16661 0 0 0 62 5 0 0 20 0 15 0 405432725 15379423232 32374 33554432000 4194304 4196468 140727117801248 140316697032848 140316195819520 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20332544 140727117804270 140727117804698 140727117804698 140727117807567 0
[pid=17569/tid=17571] ppid=17566 vsize=15018968 memory=784 CPUtime=0 cores=1,3,5,7
/proc/17569/task/17571/stat : 17571 (java) S 17566 17566 16886 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405432727 15379423232 32374 33554432000 4194304 4196468 140727117801248 140316729445392 140316725212885 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20332544 140727117804270 140727117804698 140727117804698 140727117807567 0
[pid=17569/tid=17572] ppid=17566 vsize=15018968 memory=8252 CPUtime=0 cores=1,3,5,7
/proc/17569/task/17572/stat : 17572 (java) S 17566 17566 16886 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405432727 15379423232 32374 33554432000 4194304 4196468 140727117801248 140316520529040 140316725212885 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20332544 140727117804270 140727117804698 140727117804698 140727117807567 0
[pid=17569/tid=17573] ppid=17566 vsize=15018968 memory=5912 CPUtime=0 cores=1,3,5,7
/proc/17569/task/17573/stat : 17573 (java) S 17566 17566 16886 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405432727 15379423232 32374 33554432000 4194304 4196468 140727117801248 140316519475984 140316725212885 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20332544 140727117804270 140727117804698 140727117804698 140727117807567 0
[pid=17569/tid=17574] ppid=17566 vsize=15018968 memory=1056 CPUtime=0 cores=1,3,5,7
/proc/17569/task/17574/stat : 17574 (java) S 17566 17566 16886 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405432727 15379423232 32374 33554432000 4194304 4196468 140727117801248 140316518423440 140316725212885 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20332544 140727117804270 140727117804698 140727117804698 140727117807567 0
[pid=17569/tid=17575] ppid=17566 vsize=15018968 memory=1540 CPUtime=0 cores=1,3,5,7
/proc/17569/task/17575/stat : 17575 (java) S 17566 17566 16886 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 405432728 15379423232 32374 33554432000 4194304 4196468 140727117801248 140315695454448 140316725213826 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20332544 140727117804270 140727117804698 140727117804698 140727117807567 0
[pid=17569/tid=17576] ppid=17566 vsize=15018968 memory=728 CPUtime=0 cores=1,3,5,7
/proc/17569/task/17576/stat : 17576 (java) S 17566 17566 16886 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405432729 15379423232 32374 33554432000 4194304 4196468 140727117801248 140315306484896 140316725212885 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20332544 140727117804270 140727117804698 140727117804698 140727117807567 0
[pid=17569/tid=17577] ppid=17566 vsize=15018968 memory=3436 CPUtime=0 cores=1,3,5,7
/proc/17569/task/17577/stat : 17577 (java) S 17566 17566 16886 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 405432729 15379423232 32374 33554432000 4194304 4196468 140727117801248 140315172262640 140316725212885 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20332544 140727117804270 140727117804698 140727117804698 140727117807567 0
[pid=17569/tid=17578] ppid=17566 vsize=15018968 memory=2832 CPUtime=0 cores=1,3,5,7
/proc/17569/task/17578/stat : 17578 (java) S 17566 17566 16886 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405432731 15379423232 32374 33554432000 4194304 4196468 140727117801248 140314797758416 140316725221275 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20332544 140727117804270 140727117804698 140727117804698 140727117807567 0
[pid=17569/tid=17579] ppid=17566 vsize=15018968 memory=1212 CPUtime=0.1 cores=1,3,5,7
/proc/17569/task/17579/stat : 17579 (java) R 17566 17566 16886 0 -1 4202560 689 0 0 0 10 0 0 0 20 0 15 0 405432731 15379423232 32374 33554432000 4194304 4196468 140727117801248 140315694402288 140316704392263 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20332544 140727117804270 140727117804698 140727117804698 140727117807567 0
[pid=17569/tid=17580] ppid=17566 vsize=15018968 memory=1036 CPUtime=0.06 cores=1,3,5,7
/proc/17569/task/17580/stat : 17580 (java) R 17566 17566 16886 0 -1 4202560 267 0 0 0 6 0 0 0 20 0 15 0 405432731 15379423232 32374 33554432000 4194304 4196468 140727117801248 140315693338544 140316706851627 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20332544 140727117804270 140727117804698 140727117804698 140727117807567 0
[pid=17569/tid=17581] ppid=17566 vsize=15018968 memory=14008 CPUtime=0.16 cores=1,3,5,7
/proc/17569/task/17581/stat : 17581 (java) R 17566 17566 16886 0 -1 4202560 646 0 0 0 16 0 0 0 20 0 15 0 405432731 15379423232 32374 33554432000 4194304 4196468 140727117801248 140315692292448 140316718302379 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20332544 140727117804270 140727117804698 140727117804698 140727117807567 0
[pid=17569/tid=17582] ppid=17566 vsize=15018968 memory=12024 CPUtime=0 cores=1,3,5,7
/proc/17569/task/17582/stat : 17582 (java) S 17566 17566 16886 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405432731 15379423232 32374 33554432000 4194304 4196468 140727117801248 140314299853664 140316725212885 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20332544 140727117804270 140727117804698 140727117804698 140727117807567 0
[pid=17569/tid=17583] ppid=17566 vsize=15018968 memory=2116 CPUtime=0 cores=1,3,5,7
/proc/17569/task/17583/stat : 17583 (java) S 17566 17566 16886 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405432732 15379423232 32374 33554432000 4194304 4196468 140727117801248 140315691244080 140316725213826 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20332544 140727117804270 140727117804698 140727117804698 140727117807567 0
Current children cumulated CPU time: 1.02 s
Current children cumulated vsize: 15132096 KiB
Current children cumulated memory: 130888 KiB

[startup+1.50087 s]
/proc/loadavg: 2.01 2.16 2.78 3/239 17583
/proc/meminfo: memFree=31127764/32770624 swapFree=67003268/67108860
[pid=17566] ppid=17563 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/17566/stat : 17566 (scop.sh) S 17563 17566 16886 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405432725 115843072 348 33554432000 4194304 5098028 140736329837904 140736329835160 140569558819452 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 39866368 140736329839400 140736329839728 140736329839728 140736329842637 0
/proc/17566/statm: 28282 348 296 221 0 87 0

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

Current children cumulated CPU time: 1560.07 s
Current children cumulated vsize: 8181568 KiB
Current children cumulated memory: 120332 KiB

[startup+1401.7 s]
/proc/loadavg: 2.00 2.08 2.28 3/246 18165
/proc/meminfo: memFree=31043240/32770624 swapFree=67003272/67108860
[pid=17566] ppid=17563 vsize=113128 memory=1472 CPUtime=1558.7 cores=1,3,5,7
/proc/17566/stat : 17566 (scop.sh) S 17563 17566 16886 0 -1 4202496 583 268382 0 0 0 0 154943 927 20 0 1 0 405432725 115843072 368 33554432000 4194304 5098028 140736329837904 140736329834648 140569558819452 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 39866368 140736329839400 140736329839728 140736329839728 140736329842637 0
/proc/17566/statm: 28282 368 311 221 0 87 0
[pid=18145] ppid=17566 vsize=8068440 memory=118860 CPUtime=1.38 cores=1,3,5,7
/proc/18145/stat : 18145 (java) S 17566 17566 16886 0 -1 1077944320 20753 0 0 0 131 7 0 0 20 0 19 0 405572764 8262082560 29715 33554432000 4194304 4196468 140731079728848 140731079711392 139890667540215 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 39284736 140731079730171 140731079730330 140731079730330 140731079733199 0
/proc/18145/statm: 2017110 29715 3209 1 0 1978454 0
[pid=18160] ppid=18145 vsize=135800 memory=98644 CPUtime=0.51 cores=1,3,5,7
/proc/18160/stat : 18160 (glueminisat-sim) R 18145 17566 16886 0 -1 4202496 22306 0 0 0 48 3 0 0 20 0 1 0 405572842 139059200 24661 33554432000 4194304 4452875 140732253792704 140732253788008 4399107 0 4 0 8388610 0 0 0 17 1 0 0 0 0 0 6552096 6554264 7852032 140732253795167 140732253795367 140732253795367 140732253798317 0
/proc/18160/statm: 33950 24661 350 64 0 30154 0
[pid=18145/tid=18146] ppid=17566 vsize=8068440 memory=2376 CPUtime=0.8 cores=1,3,5,7
/proc/18145/task/18146/stat : 18146 (java) S 17566 17566 16886 0 -1 1077944384 17347 0 0 0 74 6 0 0 20 0 19 0 405572764 8262082560 29715 33554432000 4194304 4196468 140731079728848 139890639380384 139890667550421 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39284736 140731079730171 140731079730330 140731079730330 140731079733199 0
[pid=18145/tid=18147] ppid=17566 vsize=8068440 memory=1768 CPUtime=0 cores=1,3,5,7
/proc/18145/task/18147/stat : 18147 (java) S 17566 17566 16886 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405572765 8262082560 29715 33554432000 4194304 4196468 140731079728848 139890671782928 139890667550421 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39284736 140731079730171 140731079730330 140731079730330 140731079733199 0
[pid=18145/tid=18148] ppid=17566 vsize=8068440 memory=111628 CPUtime=0 cores=1,3,5,7
/proc/18145/task/18148/stat : 18148 (java) S 17566 17566 16886 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405572765 8262082560 29715 33554432000 4194304 4196468 140731079728848 139890471951504 139890667550421 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39284736 140731079730171 140731079730330 140731079730330 140731079733199 0
[pid=18145/tid=18149] ppid=17566 vsize=8068440 memory=804 CPUtime=0 cores=1,3,5,7
/proc/18145/task/18149/stat : 18149 (java) S 17566 17566 16886 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405572765 8262082560 29715 33554432000 4194304 4196468 140731079728848 139890470898448 139890667550421 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39284736 140731079730171 140731079730330 140731079730330 140731079733199 0
[pid=18145/tid=18150] ppid=17566 vsize=8068440 memory=1660 CPUtime=0 cores=1,3,5,7
/proc/18145/task/18150/stat : 18150 (java) S 17566 17566 16886 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405572765 8262082560 29715 33554432000 4194304 4196468 140731079728848 139890469845904 139890667550421 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39284736 140731079730171 140731079730330 140731079730330 140731079733199 0
[pid=18145/tid=18151] ppid=17566 vsize=8068440 memory=1804 CPUtime=0 cores=1,3,5,7
/proc/18145/task/18151/stat : 18151 (java) S 17566 17566 16886 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 405572767 8262082560 29715 33554432000 4194304 4196468 140731079728848 139890113997040 139890667551362 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39284736 140731079730171 140731079730330 140731079730330 140731079733199 0
[pid=18145/tid=18152] ppid=17566 vsize=8068440 memory=14008 CPUtime=0 cores=1,3,5,7
/proc/18145/task/18152/stat : 18152 (java) S 17566 17566 16886 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 405572767 8262082560 29715 33554432000 4194304 4196468 140731079728848 139889567851680 139890667550421 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39284736 140731079730171 140731079730330 140731079730330 140731079733199 0
[pid=18145/tid=18153] ppid=17566 vsize=8068440 memory=12024 CPUtime=0 cores=1,3,5,7
/proc/18145/task/18153/stat : 18153 (java) S 17566 17566 16886 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 405572768 8262082560 29715 33554432000 4194304 4196468 140731079728848 139889433629424 139890667550421 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39284736 140731079730171 140731079730330 140731079730330 140731079733199 0
[pid=18145/tid=18154] ppid=17566 vsize=8068440 memory=303430223234596890 CPUtime=0 cores=1,3,5,7
/proc/18145/task/18154/stat : 18154 (java) S 17566 17566 16886 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405572770 8262082560 29715 33554432000 4194304 4196468 140731079728848 139889059125200 139890667558811 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39284736 140731079730171 140731079730330 140731079730330 140731079733199 0
[pid=18145/tid=18155] ppid=17566 vsize=8068440 memory=288230621803970871 CPUtime=0.14 cores=1,3,5,7
/proc/18145/task/18155/stat : 18155 (java) S 17566 17566 16886 0 -1 1077944384 599 0 0 0 14 0 0 0 20 0 19 0 405572770 8262082560 29715 33554432000 4194304 4196468 140731079728848 139890112944880 139890667551362 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39284736 140731079730171 140731079730330 140731079730330 140731079733199 0
[pid=18145/tid=18156] ppid=17566 vsize=8068440 memory=13568180484311317 CPUtime=0.17 cores=1,3,5,7
/proc/18145/task/18156/stat : 18156 (java) S 17566 17566 16886 0 -1 1077944384 773 0 0 0 17 0 0 0 20 0 19 0 405572770 8262082560 29715 33554432000 4194304 4196468 140731079728848 139890111892336 139890667551362 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39284736 140731079730171 140731079730330 140731079730330 140731079733199 0
[pid=18145/tid=18157] ppid=17566 vsize=8068440 memory=1564 CPUtime=0.22 cores=1,3,5,7
/proc/18145/task/18157/stat : 18157 (java) S 17566 17566 16886 0 -1 1077944384 606 0 0 0 22 0 0 0 20 0 19 0 405572770 8262082560 29715 33554432000 4194304 4196468 140731079728848 139890110839280 139890667551362 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39284736 140731079730171 140731079730330 140731079730330 140731079733199 0
[pid=18145/tid=18158] ppid=17566 vsize=8068440 memory=928 CPUtime=0 cores=1,3,5,7
/proc/18145/task/18158/stat : 18158 (java) S 17566 17566 16886 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405572771 8262082560 29715 33554432000 4194304 4196468 140731079728848 139888561220448 139890667550421 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39284736 140731079730171 140731079730330 140731079730330 140731079733199 0
[pid=18145/tid=18159] ppid=17566 vsize=8068440 memory=1512 CPUtime=0 cores=1,3,5,7
/proc/18145/task/18159/stat : 18159 (java) S 17566 17566 16886 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405572771 8262082560 29715 33554432000 4194304 4196468 140731079728848 139890109786672 139890667551362 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39284736 140731079730171 140731079730330 140731079730330 140731079733199 0
[pid=18145/tid=18161] ppid=17566 vsize=8068440 memory=792 CPUtime=0 cores=1,3,5,7
/proc/18145/task/18161/stat : 18161 (java) S 17566 17566 16886 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 405572842 8262082560 29715 33554432000 4194304 4196468 140731079728848 139890106041664 139890667564825 0 4 2 25189581 18446744071579417331 0 0 -1 1 0 0 0 0 0 6293624 6294260 39284736 140731079730171 140731079730330 140731079730330 140731079733199 0
[pid=18145/tid=18163] ppid=17566 vsize=8068440 memory=1440 CPUtime=0 cores=1,3,5,7
/proc/18145/task/18163/stat : 18163 (java) S 17566 17566 16886 0 -1 4202560 27 0 0 0 0 0 0 0 20 0 19 0 405572843 8262082560 29715 33554432000 4194304 4196468 140731079728848 139888024333712 139890667562141 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 39284736 140731079730171 140731079730330 140731079730330 140731079733199 0
[pid=18145/tid=18164] ppid=17566 vsize=8068440 memory=1984 CPUtime=0 cores=1,3,5,7
/proc/18145/task/18164/stat : 18164 (java) S 17566 17566 16886 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 405572843 8262082560 29715 33554432000 4194304 4196468 140731079728848 139888158556176 139890667562141 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 39284736 140731079730171 140731079730330 140731079730330 140731079733199 0
[pid=18145/tid=18165] ppid=17566 vsize=8068440 memory=2376 CPUtime=0 cores=1,3,5,7
/proc/18145/task/18165/stat : 18165 (java) S 17566 17566 16886 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 405572845 8262082560 29715 33554432000 4194304 4196468 140731079728848 139887755910960 139890667550421 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39284736 140731079730171 140731079730330 140731079730330 140731079733199 0
Current children cumulated CPU time: 1560.59 s
Current children cumulated vsize: 8317368 KiB
Current children cumulated memory: 218976 KiB

[startup+1401.9 s]
/proc/loadavg: 2.00 2.08 2.28 3/246 18165
/proc/meminfo: memFree=31043240/32770624 swapFree=67003272/67108860
[pid=17566] ppid=17563 vsize=113128 memory=1472 CPUtime=1558.7 cores=1,3,5,7
/proc/17566/stat : 17566 (scop.sh) S 17563 17566 16886 0 -1 4202496 583 268382 0 0 0 0 154943 927 20 0 1 0 405432725 115843072 368 33554432000 4194304 5098028 140736329837904 140736329834648 140569558819452 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 39866368 140736329839400 140736329839728 140736329839728 140736329842637 0
/proc/17566/statm: 28282 368 311 221 0 87 0
[pid=18145] ppid=17566 vsize=8068440 memory=118860 CPUtime=1.38 cores=1,3,5,7
/proc/18145/stat : 18145 (java) S 17566 17566 16886 0 -1 1077944320 20753 0 0 0 131 7 0 0 20 0 19 0 405572764 8262082560 29715 33554432000 4194304 4196468 140731079728848 140731079711392 139890667540215 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 39284736 140731079730171 140731079730330 140731079730330 140731079733199 0
/proc/18145/statm: 2017110 29715 3209 1 0 1978454 0
[pid=18160] ppid=18145 vsize=123032 memory=89712 CPUtime=0.71 cores=1,3,5,7
/proc/18160/stat : 18160 (glueminisat-sim) R 18145 17566 16886 0 -1 4202496 24209 0 0 0 68 3 0 0 20 0 1 0 405572842 125984768 22428 33554432000 4194304 4452875 140732253792704 140732253788008 4272525 0 4 0 8388610 0 0 0 17 1 0 0 0 0 0 6552096 6554264 7852032 140732253795167 140732253795367 140732253795367 140732253798317 0
/proc/18160/statm: 30758 22428 351 64 0 26962 0
[pid=18145/tid=18146] ppid=17566 vsize=8068440 memory=1512 CPUtime=0.8 cores=1,3,5,7
/proc/18145/task/18146/stat : 18146 (java) S 17566 17566 16886 0 -1 1077944384 17347 0 0 0 74 6 0 0 20 0 19 0 405572764 8262082560 29715 33554432000 4194304 4196468 140731079728848 139890639380384 139890667550421 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39284736 140731079730171 140731079730330 140731079730330 140731079733199 0
[pid=18145/tid=18147] ppid=17566 vsize=8068440 memory=1408 CPUtime=0 cores=1,3,5,7
/proc/18145/task/18147/stat : 18147 (java) S 17566 17566 16886 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405572765 8262082560 29715 33554432000 4194304 4196468 140731079728848 139890671782928 139890667550421 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39284736 140731079730171 140731079730330 140731079730330 140731079733199 0
[pid=18145/tid=18148] ppid=17566 vsize=8068440 memory=3332 CPUtime=0 cores=1,3,5,7
/proc/18145/task/18148/stat : 18148 (java) S 17566 17566 16886 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405572765 8262082560 29715 33554432000 4194304 4196468 140731079728848 139890471951504 139890667550421 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39284736 140731079730171 140731079730330 140731079730330 140731079733199 0
[pid=18145/tid=18149] ppid=17566 vsize=8068440 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/18145/task/18149/stat : 18149 (java) S 17566 17566 16886 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405572765 8262082560 29715 33554432000 4194304 4196468 140731079728848 139890470898448 139890667550421 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39284736 140731079730171 140731079730330 140731079730330 140731079733199 0
[pid=18145/tid=18150] ppid=17566 vsize=8068440 memory=11850532 CPUtime=0 cores=1,3,5,7
/proc/18145/task/18150/stat : 18150 (java) S 17566 17566 16886 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405572765 8262082560 29715 33554432000 4194304 4196468 140731079728848 139890469845904 139890667550421 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39284736 140731079730171 140731079730330 140731079730330 140731079733199 0
[pid=18145/tid=18151] ppid=17566 vsize=8068440 memory=1412 CPUtime=0 cores=1,3,5,7
/proc/18145/task/18151/stat : 18151 (java) S 17566 17566 16886 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 405572767 8262082560 29715 33554432000 4194304 4196468 140731079728848 139890113997040 139890667551362 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39284736 140731079730171 140731079730330 140731079730330 140731079733199 0
[pid=18145/tid=18152] ppid=17566 vsize=8068440 memory=3484 CPUtime=0 cores=1,3,5,7
/proc/18145/task/18152/stat : 18152 (java) S 17566 17566 16886 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 405572767 8262082560 29715 33554432000 4194304 4196468 140731079728848 139889567851680 139890667550421 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39284736 140731079730171 140731079730330 140731079730330 140731079733199 0
[pid=18145/tid=18153] ppid=17566 vsize=8068440 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/18145/task/18153/stat : 18153 (java) S 17566 17566 16886 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 405572768 8262082560 29715 33554432000 4194304 4196468 140731079728848 139889433629424 139890667550421 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39284736 140731079730171 140731079730330 140731079730330 140731079733199 0
[pid=18145/tid=18154] ppid=17566 vsize=8068440 memory=128500 CPUtime=0 cores=1,3,5,7
/proc/18145/task/18154/stat : 18154 (java) S 17566 17566 16886 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405572770 8262082560 29715 33554432000 4194304 4196468 140731079728848 139889059125200 139890667558811 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39284736 140731079730171 140731079730330 140731079730330 140731079733199 0
[pid=18145/tid=18155] ppid=17566 vsize=8068440 memory=244240 CPUtime=0.14 cores=1,3,5,7
/proc/18145/task/18155/stat : 18155 (java) S 17566 17566 16886 0 -1 1077944384 599 0 0 0 14 0 0 0 20 0 19 0 405572770 8262082560 29715 33554432000 4194304 4196468 140731079728848 139890112944880 139890667551362 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39284736 140731079730171 140731079730330 140731079730330 140731079733199 0
[pid=18145/tid=18156] ppid=17566 vsize=8068440 memory=-7824251494390585707 CPUtime=0.17 cores=1,3,5,7
/proc/18145/task/18156/stat : 18156 (java) S 17566 17566 16886 0 -1 1077944384 773 0 0 0 17 0 0 0 20 0 19 0 405572770 8262082560 29715 33554432000 4194304 4196468 140731079728848 139890111892336 139890667551362 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39284736 140731079730171 140731079730330 140731079730330 140731079733199 0
[pid=18145/tid=18157] ppid=17566 vsize=8068440 memory=4872558044660077418 CPUtime=0.22 cores=1,3,5,7
/proc/18145/task/18157/stat : 18157 (java) S 17566 17566 16886 0 -1 1077944384 606 0 0 0 22 0 0 0 20 0 19 0 405572770 8262082560 29715 33554432000 4194304 4196468 140731079728848 139890110839280 139890667551362 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39284736 140731079730171 140731079730330 140731079730330 140731079733199 0
[pid=18145/tid=18158] ppid=17566 vsize=8068440 memory=-7175204567652784766 CPUtime=0 cores=1,3,5,7
/proc/18145/task/18158/stat : 18158 (java) S 17566 17566 16886 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405572771 8262082560 29715 33554432000 4194304 4196468 140731079728848 139888561220448 139890667550421 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39284736 140731079730171 140731079730330 140731079730330 140731079733199 0
[pid=18145/tid=18159] ppid=17566 vsize=8068440 memory=-8412656567318647667 CPUtime=0 cores=1,3,5,7
/proc/18145/task/18159/stat : 18159 (java) S 17566 17566 16886 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405572771 8262082560 29715 33554432000 4194304 4196468 140731079728848 139890109786672 139890667551362 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39284736 140731079730171 140731079730330 140731079730330 140731079733199 0
[pid=18145/tid=18161] ppid=17566 vsize=8068440 memory=4427205132082312746 CPUtime=0 cores=1,3,5,7
/proc/18145/task/18161/stat : 18161 (java) S 17566 17566 16886 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 405572842 8262082560 29715 33554432000 4194304 4196468 140731079728848 139890106041664 139890667564825 0 4 2 25189581 18446744071579417331 0 0 -1 1 0 0 0 0 0 6293624 6294260 39284736 140731079730171 140731079730330 140731079730330 140731079733199 0
[pid=18145/tid=18163] ppid=17566 vsize=8068440 memory=-8486080722631693414 CPUtime=0 cores=1,3,5,7
/proc/18145/task/18163/stat : 18163 (java) S 17566 17566 16886 0 -1 4202560 27 0 0 0 0 0 0 0 20 0 19 0 405572843 8262082560 29715 33554432000 4194304 4196468 140731079728848 139888024333712 139890667562141 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 39284736 140731079730171 140731079730330 140731079730330 140731079733199 0
[pid=18145/tid=18164] ppid=17566 vsize=8068440 memory=-7023579799431922829 CPUtime=0 cores=1,3,5,7
/proc/18145/task/18164/stat : 18164 (java) S 17566 17566 16886 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 405572843 8262082560 29715 33554432000 4194304 4196468 140731079728848 139888158556176 139890667562141 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 39284736 140731079730171 140731079730330 140731079730330 140731079733199 0
[pid=18145/tid=18165] ppid=17566 vsize=8068440 memory=-8412652152092201843 CPUtime=0 cores=1,3,5,7
/proc/18145/task/18165/stat : 18165 (java) S 17566 17566 16886 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 405572845 8262082560 29715 33554432000 4194304 4196468 140731079728848 139887755910960 139890667550421 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39284736 140731079730171 140731079730330 140731079730330 140731079733199 0
Current children cumulated CPU time: 1560.79 s
Current children cumulated vsize: 8304600 KiB
Current children cumulated memory: 210044 KiB

[startup+1402 s]
/proc/loadavg: 2.00 2.08 2.28 3/246 18165
/proc/meminfo: memFree=31043240/32770624 swapFree=67003272/67108860
[pid=17566] ppid=17563 vsize=113128 memory=1472 CPUtime=1558.7 cores=1,3,5,7
/proc/17566/stat : 17566 (scop.sh) S 17563 17566 16886 0 -1 4202496 583 268382 0 0 0 0 154943 927 20 0 1 0 405432725 115843072 368 33554432000 4194304 5098028 140736329837904 140736329834648 140569558819452 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 39866368 140736329839400 140736329839728 140736329839728 140736329842637 0
/proc/17566/statm: 28282 368 311 221 0 87 0
[pid=18145] ppid=17566 vsize=8068440 memory=118860 CPUtime=1.38 cores=1,3,5,7
/proc/18145/stat : 18145 (java) S 17566 17566 16886 0 -1 1077944320 20757 0 0 0 131 7 0 0 20 0 19 0 405572764 8262082560 29715 33554432000 4194304 4196468 140731079728848 140731079711392 139890667540215 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 39284736 140731079730171 140731079730330 140731079730330 140731079733199 0
/proc/18145/statm: 2017110 29715 3209 1 0 1978454 0
[pid=18160] ppid=18145 vsize=117720 memory=86384 CPUtime=0.81 cores=1,3,5,7
/proc/18160/stat : 18160 (glueminisat-sim) R 18145 17566 16886 0 -1 4202496 24844 0 0 0 77 4 0 0 20 0 1 0 405572842 120545280 21596 33554432000 4194304 4452875 140732253792704 140732253788008 4338238 0 4 0 8388610 0 0 0 17 1 0 0 0 0 0 6552096 6554264 7852032 140732253795167 140732253795367 140732253795367 140732253798317 0
/proc/18160/statm: 29430 21596 353 64 0 25634 0
[pid=18145/tid=18146] ppid=17566 vsize=8068440 memory=11854152 CPUtime=0.8 cores=1,3,5,7
/proc/18145/task/18146/stat : 18146 (java) S 17566 17566 16886 0 -1 1077944384 17347 0 0 0 74 6 0 0 20 0 19 0 405572764 8262082560 29715 33554432000 4194304 4196468 140731079728848 139890639380384 139890667550421 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39284736 140731079730171 140731079730330 140731079730330 140731079733199 0
[pid=18145/tid=18147] ppid=17566 vsize=8068440 memory=11850588 CPUtime=0 cores=1,3,5,7
/proc/18145/task/18147/stat : 18147 (java) S 17566 17566 16886 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405572765 8262082560 29715 33554432000 4194304 4196468 140731079728848 139890671782928 139890667550421 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39284736 140731079730171 140731079730330 140731079730330 140731079733199 0
[pid=18145/tid=18148] ppid=17566 vsize=8068440 memory=11853904 CPUtime=0 cores=1,3,5,7
/proc/18145/task/18148/stat : 18148 (java) S 17566 17566 16886 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405572765 8262082560 29715 33554432000 4194304 4196468 140731079728848 139890471951504 139890667550421 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39284736 140731079730171 140731079730330 140731079730330 140731079733199 0
[pid=18145/tid=18149] ppid=17566 vsize=8068440 memory=11854116 CPUtime=0 cores=1,3,5,7
/proc/18145/task/18149/stat : 18149 (java) S 17566 17566 16886 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405572765 8262082560 29715 33554432000 4194304 4196468 140731079728848 139890470898448 139890667550421 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39284736 140731079730171 140731079730330 140731079730330 140731079733199 0
[pid=18145/tid=18150] ppid=17566 vsize=8068440 memory=57840 CPUtime=0 cores=1,3,5,7
/proc/18145/task/18150/stat : 18150 (java) S 17566 17566 16886 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405572765 8262082560 29715 33554432000 4194304 4196468 140731079728848 139890469845904 139890667550421 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39284736 140731079730171 140731079730330 140731079730330 140731079733199 0
[pid=18145/tid=18151] ppid=17566 vsize=8068440 memory=118860 CPUtime=0 cores=1,3,5,7
/proc/18145/task/18151/stat : 18151 (java) S 17566 17566 16886 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 405572767 8262082560 29715 33554432000 4194304 4196468 140731079728848 139890113997040 139890667551362 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39284736 140731079730171 140731079730330 140731079730330 140731079733199 0
[pid=18145/tid=18152] ppid=17566 vsize=8068440 memory=11850580 CPUtime=0 cores=1,3,5,7
/proc/18145/task/18152/stat : 18152 (java) S 17566 17566 16886 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 405572767 8262082560 29715 33554432000 4194304 4196468 140731079728848 139889567851680 139890667550421 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39284736 140731079730171 140731079730330 140731079730330 140731079733199 0
[pid=18145/tid=18153] ppid=17566 vsize=8068440 memory=11854116 CPUtime=0 cores=1,3,5,7
/proc/18145/task/18153/stat : 18153 (java) S 17566 17566 16886 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 405572768 8262082560 29715 33554432000 4194304 4196468 140731079728848 139889433629424 139890667550421 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39284736 140731079730171 140731079730330 140731079730330 140731079733199 0
[pid=18145/tid=18154] ppid=17566 vsize=8068440 memory=76396 CPUtime=0 cores=1,3,5,7
/proc/18145/task/18154/stat : 18154 (java) S 17566 17566 16886 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405572770 8262082560 29715 33554432000 4194304 4196468 140731079728848 139889059125200 139890667558811 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39284736 140731079730171 140731079730330 140731079730330 140731079733199 0
[pid=18145/tid=18155] ppid=17566 vsize=8068440 memory=1392 CPUtime=0.14 cores=1,3,5,7
/proc/18145/task/18155/stat : 18155 (java) S 17566 17566 16886 0 -1 1077944384 599 0 0 0 14 0 0 0 20 0 19 0 405572770 8262082560 29715 33554432000 4194304 4196468 140731079728848 139890112944880 139890667551362 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39284736 140731079730171 140731079730330 140731079730330 140731079733199 0
[pid=18145/tid=18156] ppid=17566 vsize=8068440 memory=1392 CPUtime=0.17 cores=1,3,5,7
/proc/18145/task/18156/stat : 18156 (java) S 17566 17566 16886 0 -1 1077944384 773 0 0 0 17 0 0 0 20 0 19 0 405572770 8262082560 29715 33554432000 4194304 4196468 140731079728848 139890111892336 139890667551362 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39284736 140731079730171 140731079730330 140731079730330 140731079733199 0
[pid=18145/tid=18157] ppid=17566 vsize=8068440 memory=11853904 CPUtime=0.23 cores=1,3,5,7
/proc/18145/task/18157/stat : 18157 (java) S 17566 17566 16886 0 -1 1077944384 610 0 0 0 23 0 0 0 20 0 19 0 405572770 8262082560 29715 33554432000 4194304 4196468 140731079728848 139890110839280 139890667551362 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39284736 140731079730171 140731079730330 140731079730330 140731079733199 0
[pid=18145/tid=18158] ppid=17566 vsize=8068440 memory=3280 CPUtime=0 cores=1,3,5,7
/proc/18145/task/18158/stat : 18158 (java) S 17566 17566 16886 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405572771 8262082560 29715 33554432000 4194304 4196468 140731079728848 139888561220448 139890667550421 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39284736 140731079730171 140731079730330 140731079730330 140731079733199 0
[pid=18145/tid=18159] ppid=17566 vsize=8068440 memory=36804 CPUtime=0 cores=1,3,5,7
/proc/18145/task/18159/stat : 18159 (java) S 17566 17566 16886 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405572771 8262082560 29715 33554432000 4194304 4196468 140731079728848 139890109786672 139890667551362 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39284736 140731079730171 140731079730330 140731079730330 140731079733199 0
[pid=18145/tid=18161] ppid=17566 vsize=8068440 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/18145/task/18161/stat : 18161 (java) S 17566 17566 16886 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 405572842 8262082560 29715 33554432000 4194304 4196468 140731079728848 139890106041664 139890667564825 0 4 2 25189581 18446744071579417331 0 0 -1 1 0 0 0 0 0 6293624 6294260 39284736 140731079730171 140731079730330 140731079730330 140731079733199 0
[pid=18145/tid=18163] ppid=17566 vsize=8068440 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/18145/task/18163/stat : 18163 (java) S 17566 17566 16886 0 -1 4202560 27 0 0 0 0 0 0 0 20 0 19 0 405572843 8262082560 29715 33554432000 4194304 4196468 140731079728848 139888024333712 139890667562141 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 39284736 140731079730171 140731079730330 140731079730330 140731079733199 0
[pid=18145/tid=18164] ppid=17566 vsize=8068440 memory=288230574492221466 CPUtime=0 cores=1,3,5,7
/proc/18145/task/18164/stat : 18164 (java) S 17566 17566 16886 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 405572843 8262082560 29715 33554432000 4194304 4196468 140731079728848 139888158556176 139890667562141 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 39284736 140731079730171 140731079730330 140731079730330 140731079733199 0
[pid=18145/tid=18165] ppid=17566 vsize=8068440 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/18145/task/18165/stat : 18165 (java) S 17566 17566 16886 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 405572845 8262082560 29715 33554432000 4194304 4196468 140731079728848 139887755910960 139890667550421 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39284736 140731079730171 140731079730330 140731079730330 140731079733199 0
Current children cumulated CPU time: 1560.89 s
Current children cumulated vsize: 8299288 KiB
Current children cumulated memory: 206716 KiB

Child status: 0
Real time (s): 1402.06
CPU time (s): 1561
CPU user time (s): 1551.58
CPU system time (s): 9.41382
CPU usage (%): 111.336
Max. virtual memory (cumulated for all children) (KiB): 15142500
Max. memory (cumulated for all children) (KiB): 11857044

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1551.58
system time used= 9.41382
maximum resident set size= 11856056
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 315128
page faults= 0
swaps= 0
block input operations= 8
block output operations= 20208
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 39173
involuntary context switches= 2725


# summary of solver processes directly reported to runsolver:
#   pid: 17566
#   total CPU time (s): 1561
#   total CPU user time (s): 1551.58
#   total CPU system time (s): 9.41382

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.38222 second user time and 14.3931 second system time

The end

Launcher Data 

Begin job on node133 at 2019-09-12 14:38:11
IDJOB=4387872
IDBENCH=126912
IDSOLVER=2825
FILE ID=node133/4387872-1568291929
RUNJOBID= node133-1568289747-16920
PBS_JOBID= 21701096
Free space on /tmp= 52732 MiB

SOLVER NAME= Fun-sCOP order+GlueMiniSat (2019-06-15)
BENCH NAME= XCSP17/RoomMate/RoomMate-int-s1/RoomMate-sr1000c-int.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-4387872-1568291929/watcher-4387872-1568291929 -o /tmp/evaluation-result-4387872-1568291929/solver-4387872-1568291929 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1568289747-16920 --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-4387872-1568291929.xml

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

MD5SUM BENCH= 2ff4403728a82746813109e0b9ab6660
RANDOM SEED=529785023

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

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

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

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

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

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

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.18
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:        31388436 kB
MemAvailable:   31615868 kB
Buffers:           90880 kB
Cached:           419932 kB
SwapCached:         3616 kB
Active:           616560 kB
Inactive:         183684 kB
Active(anon):     313808 kB
Inactive(anon):    15660 kB
Active(file):     302752 kB
Inactive(file):   168024 kB
Unevictable:      111244 kB
Mlocked:          111244 kB
SwapTotal:      67108860 kB
SwapFree:       67003268 kB
Dirty:            103268 kB
Writeback:             0 kB
AnonPages:        398884 kB
Mapped:            54180 kB
Shmem:             31132 kB
Slab:             173404 kB
SReclaimable:     144984 kB
SUnreclaim:        28420 kB
KernelStack:        3888 kB
PageTables:         6476 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    6156316 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    210944 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      122240 kB
DirectMap2M:    33423360 kB

Free space on /tmp at the end= 52652 MiB
End job on node133 at 2019-09-12 15:01:34