Trace number 4388241

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

NameSuperSolutions/SuperSolutions-Taillard-js15/
SuperTaillard-js-15-13.xml
MD5SUM388994c608323cc5ca888624a3c66f06
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark110.493
Satisfiable
(Un)Satisfiability was proved
Number of variables450
Number of constraints5580
Number of domains89
Minimum domain size1197
Maximum domain size1295
Distribution of domain sizes[{"size":1197,"count":4},{"size":1199,"count":2},{"size":1200,"count":14},{"size":1201,"count":2},{"size":1202,"count":4},{"size":1203,"count":4},{"size":1204,"count":4},{"size":1206,"count":6},{"size":1207,"count":6},{"size":1208,"count":4},{"size":1209,"count":4},{"size":1210,"count":6},{"size":1211,"count":2},{"size":1212,"count":6},{"size":1213,"count":6},{"size":1214,"count":6},{"size":1215,"count":6},{"size":1216,"count":8},{"size":1217,"count":2},{"size":1218,"count":6},{"size":1219,"count":2},{"size":1220,"count":6},{"size":1221,"count":6},{"size":1222,"count":4},{"size":1223,"count":4},"...",{"size":1269,"count":8}, {"size":1270,"count":6}, {"size":1271,"count":4}, {"size":1272,"count":4}, {"size":1273,"count":6}, {"size":1274,"count":6}, {"size":1275,"count":4}, {"size":1277,"count":6}, {"size":1278,"count":6}, {"size":1279,"count":8}, {"size":1280,"count":4}, {"size":1281,"count":6}, {"size":1282,"count":6}, {"size":1283,"count":4}, {"size":1284,"count":10}, {"size":1285,"count":6}, {"size":1286,"count":6}, {"size":1287,"count":4}, {"size":1288,"count":2}, {"size":1289,"count":2}, {"size":1290,"count":2}, {"size":1291,"count":6}, {"size":1292,"count":4}, {"size":1293,"count":10}, {"size":1295,"count":2}]
Minimum variable degree16
Maximum variable degree33
Distribution of variable degrees[{"degree":16,"count":30},{"degree":17,"count":195},{"degree":31,"count":30},{"degree":33,"count":195}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":5580}]
Number of extensional constraints0
Number of intensional constraints5580
Distribution of constraint types[{"type":"intension","count":5580}]
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-13997-serial-file.bin HOME/instance-4388241-1568297381.xml
0.66/0.53	
0.66/0.53	Fun-sCOP order+glueminisat-simp-2.2.10-193oa-n-release (2019-06-15)
0.66/0.53	
0.66/0.56	c BEGIN-Prog: Thu Sep 12 16:09:00 CEST 2019
0.66/0.56	c PID: 14000
0.66/0.56	c IP: 172.20.3.137
0.66/0.56	c HOST: node137.alineos.net
0.66/0.57	c (0,0) Parsing Begin
4.86/1.94	c (1,1) Parsing End
4.86/1.95	c (1,1) CSP: 450 int (0 aux), 0 bool (0 aux), 5580 ctr, max domain size 1295
4.86/1.95	c (1,1) Heap : 394 MiB used (max 10795 MiB), NonHeap : 22 MiB used (max 0 MiB)
4.86/1.95	c (1,1) Constraint Name Generate Begin
4.86/1.99	c (1,1) Ctr:HOME/instance-4388241-1568297381.xml,Add:Le:Ne:Num:Or:Var
4.86/1.99	c (1,1) Constraint Name Generate End
4.86/1.99	c (1,1) Heap : 394 MiB used (max 10795 MiB), NonHeap : 22 MiB used (max 0 MiB)
4.86/1.99	c (1,1) CSP to CSPinCNF Begin
5.79/2.26	c (1,1) translated 558 (10%) constraints
6.11/2.32	c (1,1) translated 1116 (20%) constraints
6.11/2.38	c (1,1) translated 1674 (30%) constraints
6.40/2.42	c (1,1) translated 2232 (40%) constraints
6.40/2.46	c (1,1) translated 2790 (50%) constraints
6.70/2.50	c (1,1) translated 3348 (60%) constraints
6.70/2.54	c (2,1) translated 3906 (70%) constraints
6.70/2.57	c (2,2) translated 4464 (80%) constraints
7.01/2.60	c (2,2) translated 5022 (90%) constraints
7.01/2.63	c (2,2) translated 5580 (100%) constraints
7.01/2.63	c (2,2) ===========================================
7.01/2.63	c (2,2) Order
7.01/2.63	c (2,2) ===========================================
7.01/2.66	c (2,2) translated 558 (10%) constraints
7.01/2.68	c (2,2) translated 1116 (20%) constraints
7.34/2.70	c (2,2) translated 1674 (30%) constraints
7.34/2.72	c (2,2) translated 2232 (40%) constraints
7.34/2.74	c (2,2) translated 2790 (50%) constraints
7.34/2.75	c (2,2) translated 3348 (60%) constraints
7.34/2.77	c (2,2) translated 3906 (70%) constraints
7.34/2.78	c (2,2) translated 4464 (80%) constraints
7.34/2.80	c (2,2) translated 5022 (90%) constraints
7.59/2.81	c (2,2) translated 5580 (100%) constraints
7.59/2.81	c (2,2) CSP to CSPinCNF End
7.59/2.82	c (2,2) CSP: 450 int (0 aux), 0 bool (0 aux), 5580 ctr, max domain size 1230
7.59/2.82	c (2,2) Heap : 563 MiB used (max 10795 MiB), NonHeap : 26 MiB used (max 0 MiB)
7.59/2.82	c (2,2) CSPinCNF Propagation Begin
7.59/2.89	c (2,2) 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed
7.59/2.89	c (2,2) CSPinCNF Propagation End
7.59/2.89	c (2,2) CSP: 450 int (0 aux), 0 bool (0 aux), 5580 ctr, max domain size 1230
7.59/2.89	c (2,2) Heap : 563 MiB used (max 10795 MiB), NonHeap : 26 MiB used (max 0 MiB)
7.59/2.89	c (2,2) Simplify CSPinCNF Begin
8.53/3.19	c (2,2) Simplify CSPinCNF End
8.53/3.19	c (2,2) CSP: 450 int (0 aux), 9900 bool (9900 aux), 15480 ctr, max domain size 1230
8.53/3.19	c (2,2) Heap : 619 MiB used (max 10795 MiB), NonHeap : 27 MiB used (max 0 MiB)
8.53/3.19	c (2,2) Calculate Precise Domain Begin
8.53/3.19	c (2,2) 0 values are removed by re-calculation
8.53/3.19	c (2,2) Calculate Precise Domain End
8.80/3.20	c (2,2) CSP: 450 int (0 aux), 9900 bool (9900 aux), 15480 ctr, max domain size 1230
8.80/3.20	c (2,2) Heap : 619 MiB used (max 10795 MiB), NonHeap : 27 MiB used (max 0 MiB)
8.80/3.20	c (2,2) CSPinCNF to SatSolver Begin
15.43/7.85	c (7,7) 1548 (10 %) CSP clauses are encoded (0 SAT variables, 1097700 SAT clauses)
18.76/11.06	c (10,10) 3096 (20 %) CSP clauses are encoded (0 SAT variables, 1796999 SAT clauses)
21.76/13.92	c (13,12) 4644 (30 %) CSP clauses are encoded (0 SAT variables, 2446381 SAT clauses)
24.49/16.68	c (16,15) 6192 (40 %) CSP clauses are encoded (0 SAT variables, 3086517 SAT clauses)
27.21/19.51	c (18,18) 7740 (50 %) CSP clauses are encoded (0 SAT variables, 3652935 SAT clauses)
30.19/22.37	c (21,20) 9288 (60 %) CSP clauses are encoded (0 SAT variables, 4308909 SAT clauses)
33.37/25.31	c (24,23) 10836 (70 %) CSP clauses are encoded (0 SAT variables, 4975280 SAT clauses)
36.29/28.29	c (27,26) 12384 (80 %) CSP clauses are encoded (0 SAT variables, 5649113 SAT clauses)
39.55/31.32	c (30,29) 13932 (90 %) CSP clauses are encoded (0 SAT variables, 6323858 SAT clauses)
42.58/34.30	c (33,32) 15480 (100 %) CSP clauses are encoded (0 SAT variables, 7298756 SAT clauses)
42.58/34.30	c (33,32) CSPinCNF to SatSolver End
42.58/34.30	c (33,32) Heap : 1276 MiB used (max 11186 MiB), NonHeap : 29 MiB used (max 0 MiB)
42.58/34.30	c (33,32) 374202 bool, 7299138 clause
42.58/34.30	c (33,32) Export Begin
42.78/34.41	c (33,32) Export to HOME/scop-13997-serial-file.bin
42.78/34.41	c (33,32) Export End
42.78/34.41	c (33,32) Export File Size: 0.07 MB
42.78/34.41	c (33,32) 1,1,2,2,2,2,33,STOP-AFTER(DIMACS)
42.78/34.41	c END-Prog: Thu Sep 12 16:09:34 CEST 2019
42.78/34.44	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-13997-serial-file.bin
42.84/34.91	c (0,0) Read Serial File Begin
42.84/34.91	c (0,0) HOME/scop-13997-serial-file.bin
43.76/35.14	c (0,0) Read Serial File End
43.76/35.16	
43.76/35.16	Fun-sCOP order+glueminisat-simp-2.2.10-193oa-n-release (2019-06-15)
43.76/35.16	(Solving Process)
43.76/35.16	
43.76/35.18	c BEGIN-Prog: Thu Sep 12 16:09:35 CEST 2019
43.76/35.18	c PID: 14018
43.76/35.18	c IP: 172.20.3.137
43.76/35.18	c HOST: node137.alineos.net
43.76/35.18	c (0,0) SatSolver.solve Begin
43.76/35.18	c (0,0) HOME/glueminisat-simp-2.2.10-193oa-n-release -model -verb=3 -elim-cl=5000000 -native-oa HOME/instance-4388241-1568297381.xml-scop-14000.cnf
43.98/35.22	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
43.98/35.22	c (0,0) c glueminisat-simp-2.2.10-193oa-n
43.98/35.22	c (0,0) c Command: HOME/glueminisat-simp-2.2.10-193oa-n-release -model -verb=3 -elim-cl=5000000 -native-oa HOME/instance-4388241-1568297381.xml-scop-14000.cnf 
43.98/35.22	c (0,0) c Options:
43.98/35.22	c (0,0) c CORE
43.98/35.22	c (0,0) c  var_decay             = 0.950
43.98/35.22	c (0,0) c  clause_decay          = 0.999
43.98/35.22	c (0,0) c  random_var_freq       = 0.000
43.98/35.22	c (0,0) c  random_seed           = 91648253.000
43.98/35.22	c (0,0) c  luby_restart          = 1
43.98/35.22	c (0,0) c  ccmin_mode            = 2
43.98/35.22	c (0,0) c  phase_saving          = 2
43.98/35.22	c (0,0) c  rnd_pol               = 0
43.98/35.22	c (0,0) c  rnd_init_act          = 0
43.98/35.22	c (0,0) c  garbage_frac          = 0.200
43.98/35.22	c (0,0) c  restart_first         = 1000
43.98/35.22	c (0,0) c  restart_inc           = 2.000
43.98/35.22	c (0,0) c MODEL
43.98/35.22	c (0,0) c  partial_model         = 0
43.98/35.22	c (0,0) c PROPAGATION
43.98/35.22	c (0,0) c  bin_propagation       = 1
43.98/35.22	c (0,0) c SIMPLIFICATION
43.98/35.22	c (0,0) c  lrn_min_size          = 100
43.98/35.22	c (0,0) c  lazy_simp             = 1
43.98/35.22	c (0,0) c  lazy_interval         = 10
43.98/35.22	c (0,0) c  lazy_fld_probing      = 1
43.98/35.22	c (0,0) c  lazy_pol_probing      = 1
43.98/35.22	c (0,0) c  lazy_nec_probing      = 1
43.98/35.22	c (0,0) c  lazy_eqv_probing      = 1
43.98/35.22	c (0,0) c  lazy_cla_probing      = 1
43.98/35.22	c (0,0) c  lazy_lrn_min          = 2
43.98/35.22	c (0,0) c  lazy_uw_lit_elim      = 1
43.98/35.22	c (0,0) c  lazy_pr_lit_elim      = 0
43.98/35.22	c (0,0) c  lazy_bin_add          = 3
43.98/35.22	c (0,0) c  probed_lit_chain      = 1
43.98/35.22	c (0,0) c  pr_min_lits           = 0.00020
43.98/35.22	c (0,0) c  pr_min_starts         = 500
43.98/35.22	c (0,0) c  rw_min_lits           = 0.010
43.98/35.22	c (0,0) c  rw_min_starts         = 500
43.98/35.22	c (0,0) c  rand_attach           = 0
43.98/35.22	c (0,0) c  dec_elim              = 1
43.98/35.22	c (0,0) c  dec_elim_lim          = 25
43.98/35.22	c (0,0) c  dec_elim_len          = -1
43.98/35.22	c (0,0) c  amo                   = 0
43.98/35.22	c (0,0) c  amo_grp               = 1
43.98/35.22	c (0,0) c  amo_max_bins          = 1000000
43.98/35.22	c (0,0) c  amo_starts            = 50
43.98/35.22	c (0,0) c  mace_cmd              = mace
43.98/35.22	c (0,0) c DECISION
43.98/35.22	c (0,0) c  rand_rebuild          = 0
43.98/35.22	c (0,0) c  rand_rebuild_confs    = 10000
43.98/35.22	c (0,0) c  inc_var_decay         = 1
43.98/35.22	c (0,0) c  inc_var_decay_period  = 100000
43.98/35.22	c (0,0) c  inc_var_decay_init    = 0.600
43.98/35.22	c (0,0) c  var_decay_mode        = 0
43.98/35.22	c (0,0) c  var_decay_gain        = 0
43.98/35.22	c (0,0) c  sloped_var_decay      = 1
43.98/35.22	c (0,0) c  max_var_decay         = 0.990
43.98/35.22	c (0,0) c  min_var_decay         = 0.950
43.98/35.22	c (0,0) c  min_var_decay_vars    = 10000
43.98/35.22	c (0,0) c  max_var_decay_vars    = 500
43.98/35.22	c (0,0) c  uip_bumping           = 1
43.98/35.22	c (0,0) c  lbd_act_bumping       = 1
43.98/35.22	c (0,0) c  rand_tiebreak         = 0
43.98/35.22	c (0,0) c  simp_rebuild          = 1
43.98/35.22	c (0,0) c RESTART
43.98/35.22	c (0,0) c  restart_strategy      = 2
43.98/35.22	c (0,0) c  restart_blocking      = 0
43.98/35.22	c (0,0) c  agility_decay         = 0.99990
43.98/35.22	c (0,0) c  lbd_restart_rate      = 0.800
43.98/35.22	c (0,0) c  dec_restart_rate      = 0.950
43.98/35.22	c (0,0) c  blk_restart_rate      = 0.700
43.98/35.22	c (0,0) c  lbd_queue_size        = 50
43.98/35.22	c (0,0) c  dec_queue_size        = 50
43.98/35.22	c (0,0) c  trl_queue_size        = 5000
43.98/35.22	c (0,0) c  blk_restart_weight    = 1.000
43.98/35.22	c (0,0) c  inc_rst_rate          = 0
43.98/35.22	c (0,0) c  inc_rst_rate_period   = 500000
43.98/35.22	c (0,0) c  inc_lbd_rst_rate_init = 0.600
43.98/35.22	c (0,0) c  inc_dec_rst_rate_init = 0.750
43.98/35.22	c (0,0) c REDUCTION
43.98/35.22	c (0,0) c  closed_lbd            = 0
43.98/35.22	c (0,0) c  closed_lbd_rate       = 0.500
43.98/35.22	c (0,0) c  rm_simulate           = 0
43.98/35.22	c (0,0) c  rdb_eval              = 2
43.98/35.22	c (0,0) c  rdb_call              = 3
43.98/35.22	c (0,0) c  rdb_ub                = 0.500
43.98/35.22	c (0,0) c  core_lbd_cvr          = 0.800
43.98/35.22	c (0,0) c  supp_lbd_cvr          = 0.990
43.98/35.22	c (0,0) c  core_lbd_lb           = 2
43.98/35.22	c (0,0) c  supp_lbd_lb           = 2
43.98/35.22	c (0,0) c  core_lbd_prd          = 7
43.98/35.22	c (0,0) c  supp_lbd_prd          = 1
43.98/35.22	c (0,0) c  othr_lbd_prd          = 0
43.98/35.22	c (0,0) c  inc_lrn_limit         = 1000
43.98/35.22	c (0,0) c  frozen_lbd            = 30
43.98/35.22	c (0,0) c  simp_min_starts       = 100
43.98/35.22	c (0,0) c  rm_low_act_learnts    = 1
43.98/35.22	c (0,0) c  lv0_reduce_db         = 0
43.98/35.22	c (0,0) c  reduce_db_base        = 20000
43.98/35.22	c (0,0) c  reduce_db_inc         = 1000
43.98/35.22	c (0,0) c HARD
43.98/35.22	c (0,0) c  inst_check            = 200000
43.98/35.22	c (0,0) c  small_block           = 1.750
43.98/35.22	c (0,0) c  slow_restart_speed    = 400.000
43.98/35.22	c (0,0) c  slow_restart_strategy = 3
43.98/35.22	c (0,0) c  slow_lbd_restart_rate = 0.700
43.98/35.22	c (0,0) c  slow_dec_restart_rate = 1.000
43.98/35.22	c (0,0) c  slow_lbd_queue_size   = 50
43.98/35.22	c (0,0) c  slow_var_decay        = 0.950
43.98/35.22	c (0,0) c  slow_glue_threshold   = 2
43.98/35.22	c (0,0) c  slow_phase_saving     = 2
43.98/35.22	c (0,0) c  fast_restart_speed    = 125.000
43.98/35.22	c (0,0) c  fast_restart_strategy = 1
43.98/35.22	c (0,0) c  fast_lbd_restart_rate = 0.800
43.98/35.22	c (0,0) c  fast_dec_restart_rate = 0.950
43.98/35.22	c (0,0) c  fast_lbd_queue_size   = 50
43.98/35.22	c (0,0) c  fast_var_decay        = 1.000
43.98/35.22	c (0,0) c  fast_glue_threshold   = 2
43.98/35.22	c (0,0) c  fast_phase_saving     = 2
43.98/35.22	c (0,0) c STATS
43.98/35.22	c (0,0) c  stats_conf_size       = 10000
43.98/35.22	c (0,0) c  max_stats_size        = 30
43.98/35.22	c (0,0) c SOLVER
43.98/35.22	c (0,0) c  minisat               = 0
46.98/38.14	c (3,0) c Problem: 374202 variables, 7181976 clauses, parsing 2.70 s
47.27/38.41	c (3,0) c  exclude 0 (0.0%) variables from decision variables (last cost 0)
47.68/38.89	c (4,0) c Simplification: 118284 vars, 0 clauses are eliminated using 0.70 s
47.68/38.89	c (4,0) c
47.68/38.89	c (4,0) c        #Rstrts   #Confs   #Vars   #Clauses  #Learnts Lits/C LBD/C DLVs Trail
47.68/38.89	c (4,0) c
47.68/38.89	c (4,0) c    3         0         0   255918  7181976        0   -nan  -nan  -nan -nan%
48.48/39.62	c (4,0) c    4         2       100   255918  7181976      100   47.9  20.4 215.3 69.3%
49.08/40.24	c (5,0) c    5         2       220   255918  7181976      220   29.5  11.8 107.3 63.3%
49.89/41.10	c (6,0) c    5         2       364   255918  7181976      366   25.4   9.3  72.4 66.3%
51.28/42.47	c (7,0) c    7         2       536   255839  7181976      531   25.3   8.6  61.9 67.6%
52.90/44.06	c (9,0) c    8         4       743   255814  7181976      737   25.9   8.9  53.8 67.5%
54.19/45.33	c (10,0) c   10         5       991   255814  7181976      986   23.6   8.5  45.7 65.1%
55.79/46.91	c (12,0) c   11         5      1289   255814  7181976     1284   21.1   8.0  39.6 63.6%
58.00/49.12	c (14,0) c   13         7      1647   255789  7181976     1642   21.5   8.0  38.3 64.4%
60.39/51.52	c (16,0) c   16         8      2076   255685  7181976     2072   21.2   7.8  39.8 65.9%
64.00/55.16	c (20,0) c   19        10      2591   255535  7181976     2583   20.9   7.7  39.5 66.3%
68.30/59.47	c (24,0) c   24 p      11      3143   255347  7181976     3132   22.0   7.6  37.2 66.6%
68.80/59.99	c (25,0) c   24        11      3210   255345  7181976     3198   21.9   7.5  37.1 66.8%
73.50/64.60	c (29,0) c   29        14      3953   255318  7181976     3947   22.1   7.4  36.4 66.8%
79.20/70.34	c (35,0) c   35        16      4844   255291  7181976     4848   22.6   7.4  35.2 67.5%
84.92/76.08	c (41,0) c   40        19      5913   255116  7181976     5907   23.1   7.2  36.7 68.8%
91.52/82.62	c (47,0) c
91.52/82.62	c (47,0) c   variables         : 255026      (init 374202, after simp 255918, 0 non-decs, 450 csp)
91.52/82.62	c (47,0) c   clauses           : 7181976     (init 7181976, after simp 7181976)
91.52/82.62	c (47,0) c   restarts          : 21          (327.09 confs/res, 50~899 confs, 0 blks, 0 last)
91.52/82.62	c (47,0) c   conflicts         : 7196        (153 /sec, 62.03% dconfs, 0.00% supp, trail 4768.35w x 35.65h, jmp 2.04h)
91.52/82.62	c (47,0) c   decisions         : 15803       (0.6200 vdcy, 337 /sec, 0.00% bin, rs 0.014 s)
91.52/82.62	c (47,0) c   propagations      : 136719016   (2914200 /sec, 8651.46 lits/dec, 4.21% o.a.)
91.52/82.62	c (47,0) c   conflict literals : 218191      (17.09% deleted; 0.44% by bin min, 0.012 s)
91.52/82.62	c (47,0) c   len               : 24.997      (25.01 for all, max 303, used 227)
91.52/82.62	c (47,0) c   lbd               : 6.995       (7.96 (6.99) for all, max 122, used 52, 2.717 stdev, 3.142 blk)
91.52/82.62	c (47,0) c   amo               : 0           (0 max, -nan avg, 0.000 s)
91.52/82.62	c (47,0) c   simp dbs          : 0           (0.000 s)
91.52/82.62	c (47,0) c   reduce dbs        : 0           (core-lbd 2, supp-lbd 2147483647, 0.000 s)
91.52/82.62	c (47,0) c   learnts           : 7202        (0 learnts removed, 0.00%)
91.52/82.62	c (47,0) c   rewrite dbs       : 0           (0/2 vars, 0+0 taut, 0+0 unit, 0.000 s)
91.52/82.62	c (47,0) c   assigned lits     : 1           (7/85 probed, 12 remains)
91.52/82.62	c (47,0) c   premise updates   : 8241657     (16.10 /lit)
91.52/82.62	c (47,0) c   probed variables  : 85          (53 pr, 0 eq, 14 fld, 3 pol, 1 nec, 14 cla, 0 amo)
91.52/82.62	c (47,0) c   equiv variables   : 2           (2 bin, 0 trn, 0 quat, 0 quin, 0 othr; 0 amo)
91.52/82.62	c (47,0) c   lazy added bins   : 73          (73 prop + 0 conf, 0.049s)
91.52/82.62	c (47,0) c   unwatched lit elim: 314         (0.00+0.13%, 25+289 of 20667972+218191)
91.52/82.62	c (47,0) c   classified type   : undef
91.52/82.62	c (47,0) c   progress          : 31.848%
91.52/82.62	c (47,0) c
91.52/82.62	c (47,0) c        #Rstrts   #Confs   #Vars   #Clauses  #Learnts Lits/C LBD/C DLVs Trail
91.52/82.62	c (47,0) c
91.52/82.62	c (47,0) c   47        22      7196   255026  7181976     7202   25.0   7.0  35.6 69.4%
100.24/91.39	c (56,0) c   56        27      8736   254918  7181976     8768   25.1   7.0  36.7 69.7%
111.46/102.58	c (67,0) c   67 p      36     10411   254791  7181976    10454   25.9   7.0  34.0 70.2%
112.66/103.73	c (68,0) c   68        36     10584   254762  7181976    10627   25.9   7.0  33.6 70.2%
121.98/113.09	c (78,0) c   77        38     12147   254700  7181976    12205   26.3   6.9  32.9 70.9%
121.98/113.10	c (78,0) c
121.98/113.10	c (78,0) c
121.98/113.10	c (78,0) c variables         : 254700      (init 374202, after simp 255918, 0 non-decs, 450 csp)
121.98/113.10	c (78,0) c clauses           : 7181976     (init 7181976, after simp 7181976)
121.98/113.10	c (78,0) c restarts          : 37          (319.66 confs/res, 50~1116 confs, 0 blks, 0 last)
121.98/113.10	c (78,0) c conflicts         : 12147       (157 /sec, 61.83% dconfs, 0.00% supp, trail 4978.25w x 34.18h, jmp 2.18h)
121.98/113.10	c (78,0) c decisions         : 29382       (0.6400 vdcy, 380 /sec, 0.00% bin, rs 0.024 s)
121.98/113.10	c (78,0) c propagations      : 232664264   (3008918 /sec, 7918.60 lits/dec, 4.45% o.a.)
121.98/113.10	c (78,0) c conflict literals : 388806      (17.18% deleted; 0.40% by bin min, 0.027 s)
121.98/113.10	c (78,0) c len               : 26.273      (26.38 for all, max 303, used 273)
121.98/113.10	c (78,0) c lbd               : 6.886       (7.90 (6.90) for all, max 122, used 52, 2.282 stdev, 3.339 blk)
121.98/113.10	c (78,0) c amo               : 0           (0 max, -nan avg, 0.000 s)
121.98/113.10	c (78,0) c simp dbs          : 0           (0.000 s)
121.98/113.10	c (78,0) c reduce dbs        : 0           (core-lbd 2, supp-lbd 2147483647, 0.000 s)
121.98/113.10	c (78,0) c learnts           : 12205       (0 learnts removed, 0.00%)
121.98/113.10	c (78,0) c rewrite dbs       : 0           (0/4 vars, 0+0 taut, 0+0 unit, 0.000 s)
121.98/113.10	c (78,0) c assigned lits     : 2           (13/126 probed, 0 remains)
121.98/113.10	c (78,0) c premise updates   : 10056312    (19.65 /lit)
121.98/113.10	c (78,0) c probed variables  : 126         (75 pr, 0 eq, 26 fld, 3 pol, 3 nec, 19 cla, 0 amo)
121.98/113.10	c (78,0) c equiv variables   : 4           (4 bin, 0 trn, 0 quat, 0 quin, 0 othr; 0 amo)
121.98/113.10	c (78,0) c lazy added bins   : 164         (164 prop + 0 conf, 0.098s)
121.98/113.10	c (78,0) c unwatched lit elim: 612         (0.00+0.15%, 39+573 of 20667972+388806)
121.98/113.10	c (78,0) c classified type   : undef
121.98/113.10	c (78,0) c progress          : 31.935%
121.98/113.10	c (78,0) c
121.98/113.10	c (78,0) c [Statistics]
121.98/113.10	c (78,0) c             learnts len        learnts lbd        lit blk size       eq vars size
121.98/113.10	c (78,0) c  tot       12147              12147              95958                  4
121.98/113.10	c (78,0) c  avg      26.380              6.900              3.339              2.000
121.98/113.10	c (78,0) c   1          106 ( 0.9%)        229 ( 1.9%)      54587 (56.9%)          0 ( 0.0%)
121.98/113.10	c (78,0) c   2           24 ( 0.2%)       2183 (18.0%)      14393 (15.0%)          4 (100.0%)
121.98/113.10	c (78,0) c   3          675 ( 5.6%)       1453 (12.0%)       6800 ( 7.1%)          0 ( 0.0%)
121.98/113.10	c (78,0) c   4          281 ( 2.3%)       1197 ( 9.9%)       4456 ( 4.6%)          0 ( 0.0%)
121.98/113.10	c (78,0) c   5         1346 (11.1%)       1045 ( 8.6%)       3085 ( 3.2%)          0 ( 0.0%)
121.98/113.10	c (78,0) c   6          614 ( 5.1%)        891 ( 7.3%)       2148 ( 2.2%)          0 ( 0.0%)
121.98/113.10	c (78,0) c   7          624 ( 5.1%)        817 ( 6.7%)       1697 ( 1.8%)          0 ( 0.0%)
121.98/113.10	c (78,0) c   8          397 ( 3.3%)        701 ( 5.8%)       1276 ( 1.3%)          0 ( 0.0%)
121.98/113.10	c (78,0) c   9          437 ( 3.6%)        610 ( 5.0%)       1039 ( 1.1%)          0 ( 0.0%)
121.98/113.10	c (78,0) c  10          390 ( 3.2%)        587 ( 4.8%)        862 ( 0.9%)          0 ( 0.0%)
121.98/113.10	c (78,0) c  11          367 ( 3.0%)        498 ( 4.1%)        706 ( 0.7%)          0 ( 0.0%)
121.98/113.10	c (78,0) c  12          307 ( 2.5%)        406 ( 3.3%)        567 ( 0.6%)          0 ( 0.0%)
121.98/113.10	c (78,0) c  13          342 ( 2.8%)        298 ( 2.5%)        441 ( 0.5%)          0 ( 0.0%)
121.98/113.10	c (78,0) c  14          286 ( 2.4%)        262 ( 2.2%)        378 ( 0.4%)          0 ( 0.0%)
121.98/113.10	c (78,0) c  15          242 ( 2.0%)        214 ( 1.8%)        359 ( 0.4%)          0 ( 0.0%)
121.98/113.10	c (78,0) c  16          253 ( 2.1%)        171 ( 1.4%)        275 ( 0.3%)          0 ( 0.0%)
121.98/113.10	c (78,0) c  17          249 ( 2.0%)        112 ( 0.9%)        238 ( 0.2%)          0 ( 0.0%)
121.98/113.10	c (78,0) c  18          212 ( 1.7%)         86 ( 0.7%)        238 ( 0.2%)          0 ( 0.0%)
121.98/113.10	c (78,0) c  19          190 ( 1.6%)         77 ( 0.6%)        173 ( 0.2%)          0 ( 0.0%)
121.98/113.10	c (78,0) c  20          184 ( 1.5%)         52 ( 0.4%)        188 ( 0.2%)          0 ( 0.0%)
121.98/113.10	c (78,0) c  21          166 ( 1.4%)         60 ( 0.5%)        161 ( 0.2%)          0 ( 0.0%)
121.98/113.10	c (78,0) c  22          167 ( 1.4%)         43 ( 0.4%)        154 ( 0.2%)          0 ( 0.0%)
121.98/113.10	c (78,0) c  23          158 ( 1.3%)         36 ( 0.3%)        132 ( 0.1%)          0 ( 0.0%)
121.98/113.10	c (78,0) c  24          152 ( 1.3%)         22 ( 0.2%)        114 ( 0.1%)          0 ( 0.0%)
121.98/113.10	c (78,0) c  25          136 ( 1.1%)         20 ( 0.2%)         97 ( 0.1%)          0 ( 0.0%)
121.98/113.10	c (78,0) c  26          126 ( 1.0%)         14 ( 0.1%)         99 ( 0.1%)          0 ( 0.0%)
121.98/113.10	c (78,0) c  27          139 ( 1.1%)          8 ( 0.1%)         91 ( 0.1%)          0 ( 0.0%)
121.98/113.10	c (78,0) c  28          126 ( 1.0%)          9 ( 0.1%)         77 ( 0.1%)          0 ( 0.0%)
121.98/113.10	c (78,0) c  29          143 ( 1.2%)         10 ( 0.1%)         88 ( 0.1%)          0 ( 0.0%)
121.98/113.10	c (78,0) c  30         3308 (27.2%)         36 ( 0.3%)       1039 ( 1.1%)          0 ( 0.0%)
121.98/113.10	c (78,0) c
121.98/113.10	c (78,0) c [LBD Statistics]
121.98/113.10	c (78,0) c LBD          used lbd               used clause lbd         unused clause lbd
121.98/113.10	c (78,0) c  tot        84603                    7416                    4789
121.98/113.10	c (78,0) c  avg        2.963                   5.158                   9.561
121.98/113.11	c (78,0) c    1         3456 ( 4.1/ 4.1%)        123 ( 1.7/ 1.7%)          0 ( 0.0/ 0.0%)
121.98/113.11	c (78,0) c    2        51501 (60.9/65.0%)       2155 (29.1/30.7%)        192 ( 4.0/ 4.0%)
121.98/113.11	c (78,0) c    3        13155 (15.5/80.5%)       1175 (15.8/46.6%)        278 ( 5.8/ 9.8%)
121.98/113.11	c (78,0) c    4         6262 ( 7.4/87.9%)        835 (11.3/57.8%)        362 ( 7.6/17.4%)
121.98/113.11	c (78,0) c    5         3155 ( 3.7/91.6%)        676 ( 9.1/66.9%)        369 ( 7.7/25.1%)
121.98/113.11	c (78,0) c    6         1930 ( 2.3/93.9%)        502 ( 6.8/73.7%)        389 ( 8.1/33.2%)
121.98/113.11	c (78,0) c    7         1278 ( 1.5/95.4%)        416 ( 5.6/79.3%)        401 ( 8.4/41.6%)
121.98/113.11	c (78,0) c    8          911 ( 1.1/96.5%)        321 ( 4.3/83.6%)        380 ( 7.9/49.5%)
121.98/113.11	c (78,0) c    9          672 ( 0.8/97.3%)        258 ( 3.5/87.1%)        352 ( 7.4/56.9%)
121.98/113.11	c (78,0) c   10          567 ( 0.7/98.0%)        226 ( 3.0/90.2%)        361 ( 7.5/64.4%)
121.98/113.11	c (78,0) c   11          426 ( 0.5/98.5%)        163 ( 2.2/92.4%)        335 ( 7.0/71.4%)
121.98/113.11	c (78,0) c   12          346 ( 0.4/98.9%)        147 ( 2.0/94.4%)        259 ( 5.4/76.8%)
121.98/113.11	c (78,0) c   13          194 ( 0.2/99.1%)         77 ( 1.0/95.4%)        221 ( 4.6/81.4%)
121.98/113.11	c (78,0) c   14          149 ( 0.2/99.3%)         76 ( 1.0/96.4%)        186 ( 3.9/85.3%)
121.98/113.11	c (78,0) c   15          157 ( 0.2/99.5%)         70 ( 0.9/97.4%)        144 ( 3.0/88.3%)
121.98/113.11	c (78,0) c   16          128 ( 0.2/99.6%)         50 ( 0.7/98.0%)        121 ( 2.5/90.8%)
121.98/113.11	c (78,0) c   17           76 ( 0.1/99.7%)         32 ( 0.4/98.5%)         80 ( 1.7/92.5%)
121.98/113.11	c (78,0) c   18           54 ( 0.1/99.8%)         24 ( 0.3/98.8%)         62 ( 1.3/93.8%)
121.98/113.11	c (78,0) c   19           52 ( 0.1/99.8%)         22 ( 0.3/99.1%)         55 ( 1.1/94.9%)
121.98/113.11	c (78,0) c   20           26 ( 0.0/99.9%)         15 ( 0.2/99.3%)         37 ( 0.8/95.7%)
121.98/113.11	c (78,0) c   21           25 ( 0.0/99.9%)         11 ( 0.1/99.4%)         49 ( 1.0/96.7%)
121.98/113.11	c (78,0) c   22           12 ( 0.0/99.9%)          7 ( 0.1/99.5%)         36 ( 0.8/97.5%)
121.98/113.11	c (78,0) c   23           18 ( 0.0/99.9%)         11 ( 0.1/99.7%)         25 ( 0.5/98.0%)
121.98/113.11	c (78,0) c   24           11 ( 0.0/100.0%)          6 ( 0.1/99.8%)         16 ( 0.3/98.4%)
121.98/113.11	c (78,0) c   25           12 ( 0.0/100.0%)          5 ( 0.1/99.8%)         15 ( 0.3/98.7%)
121.98/113.11	c (78,0) c   26            7 ( 0.0/100.0%)          2 ( 0.0/99.9%)         12 ( 0.3/98.9%)
121.98/113.11	c (78,0) c   27            5 ( 0.0/100.0%)          1 ( 0.0/99.9%)          7 ( 0.1/99.1%)
121.98/113.11	c (78,0) c   28            1 ( 0.0/100.0%)          1 ( 0.0/99.9%)          8 ( 0.2/99.2%)
121.98/113.11	c (78,0) c   29            2 ( 0.0/100.0%)          2 ( 0.0/99.9%)          8 ( 0.2/99.4%)
121.98/113.11	c (78,0) c   30            2 ( 0.0/100.0%)          1 ( 0.0/99.9%)          5 ( 0.1/99.5%)
121.98/113.11	c (78,0) c   31            2 ( 0.0/100.0%)          1 ( 0.0/99.9%)          1 ( 0.0/99.5%)
121.98/113.11	c (78,0) c   32            2 ( 0.0/100.0%)          0 ( 0.0/99.9%)          4 ( 0.1/99.6%)
121.98/113.11	c (78,0) c   33            0 ( 0.0/100.0%)          0 ( 0.0/99.9%)          2 ( 0.0/99.6%)
121.98/113.11	c (78,0) c   34            2 ( 0.0/100.0%)          1 ( 0.0/99.9%)          1 ( 0.0/99.7%)
121.98/113.11	c (78,0) c   35            0 ( 0.0/100.0%)          0 ( 0.0/99.9%)          0 ( 0.0/99.7%)
121.98/113.11	c (78,0) c   36            0 ( 0.0/100.0%)          0 ( 0.0/99.9%)          2 ( 0.0/99.7%)
121.98/113.11	c (78,0) c   37            0 ( 0.0/100.0%)          1 ( 0.0/100.0%)          0 ( 0.0/99.7%)
121.98/113.11	c (78,0) c   38            0 ( 0.0/100.0%)          1 ( 0.0/100.0%)          0 ( 0.0/99.7%)
121.98/113.11	c (78,0) c   39            1 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.7%)
121.98/113.11	c (78,0) c   40            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          1 ( 0.0/99.7%)
121.98/113.11	c (78,0) c   41            1 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.7%)
121.98/113.11	c (78,0) c   42            0 ( 0.0/100.0%)          1 ( 0.0/100.0%)          0 ( 0.0/99.7%)
121.98/113.11	c (78,0) c   43            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.7%)
121.98/113.11	c (78,0) c   44            1 ( 0.0/100.0%)          0 ( 0.0/100.0%)          1 ( 0.0/99.7%)
121.98/113.11	c (78,0) c   45            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.7%)
121.98/113.11	c (78,0) c   46            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.7%)
121.98/113.11	c (78,0) c   47            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.7%)
121.98/113.11	c (78,0) c   48            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          1 ( 0.0/99.8%)
121.98/113.11	c (78,0) c   49            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.8%)
121.98/113.11	c (78,0) c   50            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.8%)
121.98/113.11	c (78,0) c   51            3 ( 0.0/100.0%)          1 ( 0.0/100.0%)          0 ( 0.0/99.8%)
121.98/113.11	c (78,0) c   52            1 ( 0.0/100.0%)          0 ( 0.0/100.0%)          1 ( 0.0/99.8%)
121.98/113.11	c (78,0) c   53            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.8%)
121.98/113.11	c (78,0) c   54            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          1 ( 0.0/99.8%)
121.98/113.11	c (78,0) c   55            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.8%)
121.98/113.11	c (78,0) c   56            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.8%)
121.98/113.11	c (78,0) c   57            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.8%)
121.98/113.11	c (78,0) c   58            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.8%)
121.98/113.11	c (78,0) c   59            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          1 ( 0.0/99.8%)
121.98/113.11	c (78,0) c   60            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.8%)
121.98/113.11	c (78,0) c   61            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.8%)
121.98/113.11	c (78,0) c   62            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.8%)
121.98/113.11	c (78,0) c   63            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.8%)
121.98/113.11	c (78,0) c   64            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.8%)
121.98/113.11	c (78,0) c   65            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.8%)
121.98/113.11	c (78,0) c   66            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.8%)
121.98/113.11	c (78,0) c   67            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.8%)
121.98/113.11	c (78,0) c   68            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.8%)
121.98/113.11	c (78,0) c   69            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.8%)
121.98/113.11	c (78,0) c   70            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          1 ( 0.0/99.9%)
121.98/113.11	c (78,0) c   71            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          1 ( 0.0/99.9%)
121.98/113.11	c (78,0) c   72            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.9%)
121.98/113.11	c (78,0) c   73            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.9%)
121.98/113.11	c (78,0) c   74            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.9%)
121.98/113.11	c (78,0) c   75            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.9%)
121.98/113.11	c (78,0) c   76            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.9%)
121.98/113.11	c (78,0) c   77            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          1 ( 0.0/99.9%)
121.98/113.11	c (78,0) c   78            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.9%)
121.98/113.11	c (78,0) c   79            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.9%)
121.98/113.11	c (78,0) c   80            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.9%)
121.98/113.11	c (78,0) c   81            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.9%)
121.98/113.11	c (78,0) c   82            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.9%)
121.98/113.11	c (78,0) c   83            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.9%)
121.98/113.11	c (78,0) c   84            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.9%)
121.98/113.11	c (78,0) c   85            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.9%)
121.98/113.11	c (78,0) c   86            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.9%)
121.98/113.11	c (78,0) c   87            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.9%)
121.98/113.11	c (78,0) c   88            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.9%)
121.98/113.11	c (78,0) c   89            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.9%)
121.98/113.11	c (78,0) c   90            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.9%)
121.98/113.11	c (78,0) c   91            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.9%)
121.98/113.11	c (78,0) c   92            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.9%)
121.98/113.11	c (78,0) c   93            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.9%)
121.98/113.11	c (78,0) c   94            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.9%)
121.98/113.11	c (78,0) c   95            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.9%)
121.98/113.11	c (78,0) c   96            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.9%)
121.98/113.11	c (78,0) c   97            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.9%)
121.98/113.11	c (78,0) c   98            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.9%)
121.98/113.11	c (78,0) c   99            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.9%)
121.98/113.11	c (78,0) c  100            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.9%)
121.98/113.11	c (78,0) c  101            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.9%)
121.98/113.11	c (78,0) c  102            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.9%)
121.98/113.11	c (78,0) c  103            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.9%)
121.98/113.11	c (78,0) c  104            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.9%)
121.98/113.11	c (78,0) c  105            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.9%)
121.98/113.11	c (78,0) c  106            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.9%)
121.98/113.11	c (78,0) c  107            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.9%)
121.98/113.11	c (78,0) c  108            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.9%)
121.98/113.11	c (78,0) c  109            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.9%)
121.98/113.11	c (78,0) c  110            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.9%)
121.98/113.11	c (78,0) c  111            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.9%)
121.98/113.11	c (78,0) c  112            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.9%)
121.98/113.11	c (78,0) c  113            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          1 ( 0.0/99.9%)
121.98/113.11	c (78,0) c  114            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.9%)
121.98/113.11	c (78,0) c  115            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          2 ( 0.0/100.0%)
121.98/113.11	c (78,0) c  116            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
121.98/113.11	c (78,0) c  117            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
121.98/113.11	c (78,0) c  118            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
121.98/113.11	c (78,0) c  119            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          1 ( 0.0/100.0%)
121.98/113.11	c (78,0) c  120            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
121.98/113.11	c (78,0) c  121            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
121.98/113.11	c (78,0) c  122            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          1 ( 0.0/100.0%)
121.98/113.11	c (78,0) c
121.98/113.11	c (78,0) c Memory used       : 834.00 MB
121.98/113.11	c (78,0) c CPU time          : 77.326 s
121.98/113.11	c (78,0) c Real time         : 77.897 s
121.98/113.11	c (78,0) c
121.98/113.11	c (78,0) s SATISFIABLE
122.51/113.35	c (78,0) SatSolver.solve End
122.51/113.35	c (78,0) Heap : 179 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
122.51/113.35	c (78,0) Show results Begin
122.70/113.49	c (78,0) x0 = 16
122.70/113.49	c (78,0) x1 = 15
122.70/113.49	c (78,0) x10 = 459
122.70/113.49	c (78,0) x100 = 524
122.70/113.49	c (78,0) x101 = 523
122.70/113.49	c (78,0) x102 = 555
122.70/113.49	c (78,0) x103 = 556
122.70/113.49	c (78,0) x104 = 567
122.70/113.49	c (78,0) x105 = 566
122.70/113.49	c (78,0) x106 = 639
122.70/113.49	c (78,0) x107 = 640
122.70/113.49	c (78,0) x108 = 681
122.70/113.49	c (78,0) x109 = 680
122.70/113.49	c (78,0) x11 = 460
122.70/113.49	c (78,0) x110 = 736
122.70/113.49	c (78,0) x111 = 737
122.70/113.49	c (78,0) x112 = 749
122.70/113.49	c (78,0) x113 = 748
122.70/113.49	c (78,0) x114 = 781
122.70/113.49	c (78,0) x115 = 782
122.70/113.49	c (78,0) x116 = 1038
122.70/113.49	c (78,0) x117 = 1037
122.70/113.49	c (78,0) x118 = 1042
122.70/113.49	c (78,0) x119 = 1041
122.70/113.49	c (78,0) x12 = 463
122.70/113.49	c (78,0) x120 = 0
122.70/113.49	c (78,0) x121 = 1
122.70/113.49	c (78,0) x122 = 39
122.70/113.49	c (78,0) x123 = 40
122.70/113.49	c (78,0) x124 = 89
122.70/113.49	c (78,0) x125 = 90
122.70/113.49	c (78,0) x126 = 100
122.70/113.49	c (78,0) x127 = 101
122.70/113.49	c (78,0) x128 = 144
122.70/113.49	c (78,0) x129 = 143
122.70/113.49	c (78,0) x13 = 462
122.70/113.49	c (78,0) x130 = 214
122.70/113.49	c (78,0) x131 = 213
122.70/113.49	c (78,0) x132 = 319
122.70/113.49	c (78,0) x133 = 320
122.70/113.49	c (78,0) x134 = 397
122.70/113.49	c (78,0) x135 = 398
122.70/113.49	c (78,0) x136 = 463
122.70/113.49	c (78,0) x137 = 464
122.70/113.49	c (78,0) x138 = 501
122.70/113.49	c (78,0) x139 = 500
122.70/113.49	c (78,0) x14 = 502
122.70/113.49	c (78,0) x140 = 565
122.70/113.49	c (78,0) x141 = 566
122.70/113.49	c (78,0) x142 = 646
122.70/113.49	c (78,0) x143 = 645
122.70/113.49	c (78,0) x144 = 920
122.70/113.49	c (78,0) x145 = 921
122.70/113.49	c (78,0) x146 = 994
122.70/113.49	c (78,0) x147 = 995
122.70/113.49	c (78,0) x148 = 1257
122.70/113.49	c (78,0) x149 = 1258
122.70/113.49	c (78,0) x15 = 501
122.70/113.49	c (78,0) x150 = 43
122.70/113.49	c (78,0) x151 = 29
122.70/113.49	c (78,0) x152 = 144
122.70/113.49	c (78,0) x153 = 143
122.70/113.49	c (78,0) x154 = 284
122.70/113.49	c (78,0) x155 = 283
122.70/113.49	c (78,0) x156 = 291
122.70/113.49	c (78,0) x157 = 290
122.70/113.49	c (78,0) x158 = 397
122.70/113.49	c (78,0) x159 = 398
122.70/113.49	c (78,0) x16 = 717
122.70/113.49	c (78,0) x160 = 499
122.70/113.49	c (78,0) x161 = 498
122.70/113.49	c (78,0) x162 = 594
122.70/113.49	c (78,0) x163 = 593
122.70/113.49	c (78,0) x164 = 669
122.70/113.49	c (78,0) x165 = 668
122.70/113.49	c (78,0) x166 = 745
122.70/113.49	c (78,0) x167 = 746
122.70/113.49	c (78,0) x168 = 792
122.70/113.49	c (78,0) x169 = 791
122.70/113.49	c (78,0) x17 = 718
122.70/113.49	c (78,0) x170 = 833
122.70/113.49	c (78,0) x171 = 834
122.70/113.49	c (78,0) x172 = 907
122.70/113.49	c (78,0) x173 = 908
122.70/113.49	c (78,0) x174 = 970
122.70/113.49	c (78,0) x175 = 971
122.70/113.49	c (78,0) x176 = 1049
122.70/113.49	c (78,0) x177 = 1048
122.70/113.49	c (78,0) x178 = 1200
122.70/113.49	c (78,0) x179 = 1201
122.70/113.49	c (78,0) x18 = 792
122.70/113.49	c (78,0) x180 = 0
122.70/113.49	c (78,0) x181 = 14
122.70/113.49	c (78,0) x182 = 49
122.70/113.49	c (78,0) x183 = 43
122.70/113.49	c (78,0) x184 = 264
122.70/113.49	c (78,0) x185 = 263
122.70/113.49	c (78,0) x186 = 311
122.70/113.49	c (78,0) x187 = 312
122.70/113.49	c (78,0) x188 = 339
122.70/113.49	c (78,0) x189 = 338
122.70/113.49	c (78,0) x19 = 791
122.70/113.49	c (78,0) x190 = 421
122.70/113.49	c (78,0) x191 = 420
122.70/113.49	c (78,0) x192 = 465
122.70/113.49	c (78,0) x193 = 464
122.70/113.49	c (78,0) x194 = 485
122.70/113.49	c (78,0) x195 = 484
122.70/113.49	c (78,0) x196 = 500
122.70/113.49	c (78,0) x197 = 501
122.70/113.49	c (78,0) x198 = 517
122.70/113.49	c (78,0) x199 = 516
122.70/113.49	c (78,0) x2 = 85
122.70/113.49	c (78,0) x20 = 858
122.70/113.49	c (78,0) x200 = 566
122.70/113.49	c (78,0) x201 = 567
122.70/113.49	c (78,0) x202 = 833
122.70/113.49	c (78,0) x203 = 929
122.70/113.49	c (78,0) x204 = 1090
122.70/113.49	c (78,0) x205 = 1091
122.70/113.49	c (78,0) x206 = 1190
122.70/113.49	c (78,0) x207 = 1189
122.70/113.49	c (78,0) x208 = 1231
122.70/113.49	c (78,0) x209 = 1230
122.70/113.49	c (78,0) x21 = 859
122.70/113.49	c (78,0) x210 = 0
122.70/113.49	c (78,0) x211 = 1
122.70/113.49	c (78,0) x212 = 122
122.70/113.49	c (78,0) x213 = 123
122.70/113.49	c (78,0) x214 = 354
122.70/113.49	c (78,0) x215 = 331
122.70/113.49	c (78,0) x216 = 392
122.70/113.49	c (78,0) x217 = 442
122.70/113.49	c (78,0) x218 = 445
122.70/113.49	c (78,0) x219 = 411
122.70/113.49	c (78,0) x22 = 1007
122.70/113.49	c (78,0) x220 = 599
122.70/113.49	c (78,0) x221 = 598
122.70/113.49	c (78,0) x222 = 662
122.70/113.49	c (78,0) x223 = 661
122.70/113.49	c (78,0) x224 = 772
122.70/113.49	c (78,0) x225 = 771
122.70/113.49	c (78,0) x226 = 810
122.70/113.49	c (78,0) x227 = 811
122.70/113.49	c (78,0) x228 = 860
122.70/113.49	c (78,0) x229 = 859
122.70/113.49	c (78,0) x23 = 1008
122.70/113.49	c (78,0) x230 = 905
122.70/113.49	c (78,0) x231 = 906
122.70/113.49	c (78,0) x232 = 1053
122.70/113.49	c (78,0) x233 = 1054
122.70/113.49	c (78,0) x234 = 1116
122.70/113.49	c (78,0) x235 = 1115
122.70/113.49	c (78,0) x236 = 1186
122.70/113.49	c (78,0) x237 = 1185
122.70/113.49	c (78,0) x238 = 1267
122.70/113.49	c (78,0) x239 = 1266
122.70/113.49	c (78,0) x24 = 1182
122.70/113.49	c (78,0) x240 = 0
122.70/113.49	c (78,0) x241 = 1
122.70/113.49	c (78,0) x242 = 71
122.70/113.49	c (78,0) x243 = 72
122.70/113.49	c (78,0) x244 = 111
122.70/113.49	c (78,0) x245 = 110
122.70/113.49	c (78,0) x246 = 145
122.70/113.49	c (78,0) x247 = 144
122.70/113.49	c (78,0) x248 = 197
122.70/113.49	c (78,0) x249 = 196
122.70/113.49	c (78,0) x25 = 1183
122.70/113.49	c (78,0) x250 = 380
122.70/113.49	c (78,0) x251 = 381
122.70/113.49	c (78,0) x252 = 427
122.70/113.49	c (78,0) x253 = 426
122.70/113.49	c (78,0) x254 = 524
122.70/113.49	c (78,0) x255 = 525
122.70/113.49	c (78,0) x256 = 573
122.70/113.49	c (78,0) x257 = 572
122.70/113.49	c (78,0) x258 = 598
122.70/113.49	c (78,0) x259 = 599
122.70/113.49	c (78,0) x26 = 1194
122.70/113.49	c (78,0) x260 = 639
122.70/113.49	c (78,0) x261 = 638
122.70/113.49	c (78,0) x262 = 735
122.70/113.49	c (78,0) x263 = 736
122.70/113.49	c (78,0) x264 = 758
122.70/113.49	c (78,0) x265 = 757
122.70/113.49	c (78,0) x266 = 1026
122.70/113.49	c (78,0) x267 = 1027
122.70/113.49	c (78,0) x268 = 1279
122.70/113.49	c (78,0) x269 = 1239
122.70/113.49	c (78,0) x27 = 1195
122.70/113.49	c (78,0) x270 = 0
122.70/113.49	c (78,0) x271 = 1
122.70/113.49	c (78,0) x272 = 28
122.70/113.49	c (78,0) x273 = 27
122.70/113.49	c (78,0) x274 = 80
122.70/113.49	c (78,0) x275 = 81
122.70/113.49	c (78,0) x276 = 116
122.70/113.49	c (78,0) x277 = 117
122.70/113.49	c (78,0) x278 = 197
122.70/113.49	c (78,0) x279 = 198
122.98/113.50	c (78,0) x28 = 1207
122.98/113.50	c (78,0) x280 = 247
122.98/113.50	c (78,0) x281 = 246
122.98/113.50	c (78,0) x282 = 296
122.98/113.50	c (78,0) x283 = 295
122.98/113.50	c (78,0) x284 = 396
122.98/113.50	c (78,0) x285 = 395
122.98/113.50	c (78,0) x286 = 443
122.98/113.50	c (78,0) x287 = 442
122.98/113.50	c (78,0) x288 = 540
122.98/113.50	c (78,0) x289 = 539
122.98/113.50	c (78,0) x29 = 1206
122.98/113.50	c (78,0) x290 = 680
122.98/113.50	c (78,0) x291 = 681
122.98/113.50	c (78,0) x292 = 699
122.98/113.50	c (78,0) x293 = 698
122.98/113.50	c (78,0) x294 = 722
122.98/113.50	c (78,0) x295 = 723
122.98/113.50	c (78,0) x296 = 819
122.98/113.50	c (78,0) x297 = 820
122.98/113.50	c (78,0) x298 = 1255
122.98/113.50	c (78,0) x299 = 1256
122.98/113.50	c (78,0) x3 = 86
122.98/113.50	c (78,0) x30 = 19
122.98/113.50	c (78,0) x300 = 85
122.98/113.50	c (78,0) x301 = 86
122.98/113.50	c (78,0) x302 = 127
122.98/113.50	c (78,0) x303 = 128
122.98/113.50	c (78,0) x304 = 229
122.98/113.50	c (78,0) x305 = 230
122.98/113.50	c (78,0) x306 = 311
122.98/113.50	c (78,0) x307 = 310
122.98/113.50	c (78,0) x308 = 379
122.98/113.50	c (78,0) x309 = 378
122.98/113.50	c (78,0) x31 = 25
122.98/113.50	c (78,0) x310 = 471
122.98/113.50	c (78,0) x311 = 472
122.98/113.50	c (78,0) x312 = 491
122.98/113.50	c (78,0) x313 = 490
122.98/113.50	c (78,0) x314 = 543
122.98/113.50	c (78,0) x315 = 542
122.98/113.50	c (78,0) x316 = 740
122.98/113.50	c (78,0) x317 = 739
122.98/113.50	c (78,0) x318 = 822
122.98/113.50	c (78,0) x319 = 823
122.98/113.50	c (78,0) x32 = 178
122.98/113.50	c (78,0) x320 = 874
122.98/113.50	c (78,0) x321 = 873
122.98/113.50	c (78,0) x322 = 971
122.98/113.50	c (78,0) x323 = 970
122.98/113.50	c (78,0) x324 = 985
122.98/113.50	c (78,0) x325 = 984
122.98/113.50	c (78,0) x326 = 1084
122.98/113.50	c (78,0) x327 = 1085
122.98/113.50	c (78,0) x328 = 1235
122.98/113.50	c (78,0) x329 = 1236
122.98/113.50	c (78,0) x33 = 177
122.98/113.50	c (78,0) x330 = 32
122.98/113.50	c (78,0) x331 = 33
122.98/113.50	c (78,0) x332 = 113
122.98/113.50	c (78,0) x333 = 114
122.98/113.50	c (78,0) x334 = 254
122.98/113.50	c (78,0) x335 = 255
122.98/113.50	c (78,0) x336 = 459
122.98/113.50	c (78,0) x337 = 458
122.98/113.50	c (78,0) x338 = 503
122.98/113.50	c (78,0) x339 = 502
122.98/113.50	c (78,0) x34 = 271
122.98/113.50	c (78,0) x340 = 541
122.98/113.50	c (78,0) x341 = 542
122.98/113.50	c (78,0) x342 = 858
122.98/113.50	c (78,0) x343 = 859
122.98/113.50	c (78,0) x344 = 935
122.98/113.50	c (78,0) x345 = 934
122.98/113.50	c (78,0) x346 = 984
122.98/113.50	c (78,0) x347 = 985
122.98/113.50	c (78,0) x348 = 1079
122.98/113.50	c (78,0) x349 = 1080
122.98/113.50	c (78,0) x35 = 272
122.98/113.50	c (78,0) x350 = 1113
122.98/113.50	c (78,0) x351 = 1114
122.98/113.50	c (78,0) x352 = 1193
122.98/113.50	c (78,0) x353 = 1194
122.98/113.50	c (78,0) x354 = 1203
122.98/113.50	c (78,0) x355 = 1204
122.98/113.50	c (78,0) x356 = 1228
122.98/113.50	c (78,0) x357 = 1229
122.98/113.50	c (78,0) x358 = 1253
122.98/113.50	c (78,0) x359 = 1252
122.98/113.50	c (78,0) x36 = 319
122.98/113.50	c (78,0) x360 = 1
122.98/113.50	c (78,0) x361 = 0
122.98/113.50	c (78,0) x362 = 108
122.98/113.50	c (78,0) x363 = 102
122.98/113.50	c (78,0) x364 = 359
122.98/113.50	c (78,0) x365 = 358
122.98/113.50	c (78,0) x366 = 419
122.98/113.50	c (78,0) x367 = 420
122.98/113.50	c (78,0) x368 = 613
122.98/113.50	c (78,0) x369 = 612
122.98/113.50	c (78,0) x37 = 318
122.98/113.50	c (78,0) x370 = 697
122.98/113.50	c (78,0) x371 = 696
122.98/113.50	c (78,0) x372 = 733
122.98/113.50	c (78,0) x373 = 734
122.98/113.50	c (78,0) x374 = 773
122.98/113.50	c (78,0) x375 = 772
122.98/113.50	c (78,0) x376 = 790
122.98/113.50	c (78,0) x377 = 791
122.98/113.50	c (78,0) x378 = 890
122.98/113.50	c (78,0) x379 = 891
122.98/113.50	c (78,0) x38 = 334
122.98/113.50	c (78,0) x380 = 905
122.98/113.50	c (78,0) x381 = 904
122.98/113.50	c (78,0) x382 = 962
122.98/113.50	c (78,0) x383 = 963
122.98/113.50	c (78,0) x384 = 1027
122.98/113.50	c (78,0) x385 = 1028
122.98/113.50	c (78,0) x386 = 1086
122.98/113.50	c (78,0) x387 = 1085
122.98/113.50	c (78,0) x388 = 1183
122.98/113.50	c (78,0) x389 = 1182
122.98/113.50	c (78,0) x39 = 349
122.98/113.50	c (78,0) x390 = 34
122.98/113.50	c (78,0) x391 = 35
122.98/113.50	c (78,0) x392 = 192
122.98/113.50	c (78,0) x393 = 193
122.98/113.50	c (78,0) x394 = 319
122.98/113.50	c (78,0) x395 = 320
122.98/113.50	c (78,0) x396 = 413
122.98/113.50	c (78,0) x397 = 414
122.98/113.50	c (78,0) x398 = 477
122.98/113.50	c (78,0) x399 = 478
122.98/113.50	c (78,0) x4 = 172
122.98/113.50	c (78,0) x40 = 759
122.98/113.50	c (78,0) x400 = 559
122.98/113.50	c (78,0) x401 = 558
122.98/113.50	c (78,0) x402 = 621
122.98/113.50	c (78,0) x403 = 622
122.98/113.50	c (78,0) x404 = 799
122.98/113.50	c (78,0) x405 = 798
122.98/113.50	c (78,0) x406 = 889
122.98/113.50	c (78,0) x407 = 890
122.98/113.50	c (78,0) x408 = 930
122.98/113.50	c (78,0) x409 = 929
122.98/113.50	c (78,0) x41 = 760
122.98/113.50	c (78,0) x410 = 1017
122.98/113.50	c (78,0) x411 = 1016
122.98/113.50	c (78,0) x412 = 1026
122.98/113.50	c (78,0) x413 = 1025
122.98/113.50	c (78,0) x414 = 1065
122.98/113.50	c (78,0) x415 = 1064
122.98/113.50	c (78,0) x416 = 1161
122.98/113.50	c (78,0) x417 = 1162
122.98/113.50	c (78,0) x418 = 1231
122.98/113.50	c (78,0) x419 = 1230
122.98/113.50	c (78,0) x42 = 859
122.98/113.50	c (78,0) x420 = 99
122.98/113.50	c (78,0) x421 = 100
122.98/113.50	c (78,0) x422 = 173
122.98/113.50	c (78,0) x423 = 172
122.98/113.50	c (78,0) x424 = 185
122.98/113.50	c (78,0) x425 = 186
122.98/113.50	c (78,0) x426 = 200
122.98/113.50	c (78,0) x427 = 199
122.98/113.50	c (78,0) x428 = 280
122.98/113.50	c (78,0) x429 = 281
122.98/113.50	c (78,0) x43 = 858
122.98/113.50	c (78,0) x430 = 284
122.98/113.50	c (78,0) x431 = 283
122.98/113.50	c (78,0) x432 = 331
122.98/113.50	c (78,0) x433 = 332
122.98/113.50	c (78,0) x434 = 416
122.98/113.50	c (78,0) x435 = 415
122.98/113.51	c (78,0) x436 = 545
122.98/113.51	c (78,0) x437 = 544
122.98/113.51	c (78,0) x438 = 598
122.98/113.51	c (78,0) x439 = 599
122.98/113.51	c (78,0) x44 = 911
122.98/113.51	c (78,0) x440 = 657
122.98/113.51	c (78,0) x441 = 658
122.98/113.51	c (78,0) x442 = 938
122.98/113.51	c (78,0) x443 = 939
122.98/113.51	c (78,0) x444 = 1027
122.98/113.51	c (78,0) x445 = 1026
122.98/113.51	c (78,0) x446 = 1117
122.98/113.51	c (78,0) x447 = 1118
122.98/113.51	c (78,0) x448 = 1220
122.98/113.51	c (78,0) x449 = 1219
122.98/113.51	c (78,0) x45 = 912
122.98/113.51	c (78,0) x46 = 930
122.98/113.51	c (78,0) x47 = 929
122.98/113.51	c (78,0) x48 = 1003
122.98/113.51	c (78,0) x49 = 1002
122.98/113.51	c (78,0) x5 = 171
122.98/113.51	c (78,0) x50 = 1089
122.98/113.51	c (78,0) x51 = 1088
122.98/113.51	c (78,0) x52 = 1116
122.98/113.51	c (78,0) x53 = 1115
122.98/113.51	c (78,0) x54 = 1147
122.98/113.51	c (78,0) x55 = 1146
122.98/113.51	c (78,0) x56 = 1177
122.98/113.51	c (78,0) x57 = 1178
122.98/113.51	c (78,0) x58 = 1273
122.98/113.51	c (78,0) x59 = 1272
122.98/113.51	c (78,0) x6 = 254
122.98/113.51	c (78,0) x60 = 37
122.98/113.51	c (78,0) x61 = 36
122.98/113.51	c (78,0) x62 = 145
122.98/113.51	c (78,0) x63 = 144
122.98/113.51	c (78,0) x64 = 192
122.98/113.51	c (78,0) x65 = 193
122.98/113.51	c (78,0) x66 = 286
122.98/113.51	c (78,0) x67 = 285
122.98/113.51	c (78,0) x68 = 340
122.98/113.51	c (78,0) x69 = 341
122.98/113.51	c (78,0) x7 = 253
122.98/113.51	c (78,0) x70 = 422
122.98/113.51	c (78,0) x71 = 423
122.98/113.51	c (78,0) x72 = 501
122.98/113.51	c (78,0) x73 = 500
122.98/113.51	c (78,0) x74 = 572
122.98/113.51	c (78,0) x75 = 573
122.98/113.51	c (78,0) x76 = 698
122.98/113.51	c (78,0) x77 = 697
122.98/113.51	c (78,0) x78 = 717
122.98/113.51	c (78,0) x79 = 718
122.98/113.51	c (78,0) x8 = 378
122.98/113.51	c (78,0) x80 = 751
122.98/113.51	c (78,0) x81 = 750
122.98/113.51	c (78,0) x82 = 795
122.98/113.51	c (78,0) x83 = 796
122.98/113.51	c (78,0) x84 = 894
122.98/113.51	c (78,0) x85 = 893
122.98/113.51	c (78,0) x86 = 1205
122.98/113.51	c (78,0) x87 = 1258
122.98/113.51	c (78,0) x88 = 1274
122.98/113.51	c (78,0) x89 = 1214
122.98/113.51	c (78,0) x9 = 379
122.98/113.51	c (78,0) x90 = 0
122.98/113.51	c (78,0) x91 = 1
122.98/113.51	c (78,0) x92 = 34
122.98/113.51	c (78,0) x93 = 33
122.98/113.51	c (78,0) x94 = 213
122.98/113.51	c (78,0) x95 = 214
122.98/113.51	c (78,0) x96 = 294
122.98/113.51	c (78,0) x97 = 293
122.98/113.51	c (78,0) x98 = 324
122.98/113.51	c (78,0) x99 = 325
122.98/113.51	s SATISFIABLE
122.98/113.51	v <instantiation>
122.98/113.51	v     <list>x0 x1 x2 x3 x4 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 x15 x16 x17 x18 x19 x20 x21 x22 x23 x24 x25 x26 x27 x28 x29 x30 x31 x32 x33 x34 x35 x36 x37 x38 x39 x40 x41 x42 x43 x44 x45 x46 x47 x48 x49 x50 x51 x52 x53 x54 x55 x56 x57 x58 x59 x60 x61 x62 x63 x64 x65 x66 x67 x68 x69 x70 x71 x72 x73 x74 x75 x76 x77 x78 x79 x80 x81 x82 x83 x84 x85 x86 x87 x88 x89 x90 x91 x92 x93 x94 x95 x96 x97 x98 x99 x100 x101 x102 x103 x104 x105 x106 x107 x108 x109 x110 x111 x112 x113 x114 x115 x116 x117 x118 x119 x120 x121 x122 x123 x124 x125 x126 x127 x128 x129 x130 x131 x132 x133 x134 x135 x136 x137 x138 x139 x140 x141 x142 x143 x144 x145 x146 x147 x148 x149 x150 x151 x152 x153 x154 x155 x156 x157 x158 x159 x160 x161 x162 x163 x164 x165 x166 x167 x168 x169 x170 x171 x172 x173 x174 x175 x176 x177 x178 x179 x180 x181 x182 x183 x184 x185 x186 x187 x188 x189 x190 x191 x192 x193 x194 x195 x196 x197 x198 x199 x200 x201 x202 x203 x204 x205 x206 x207 x208 x209 x210 x211 x212 x213 x214 x215 x216 x217 x218 x219 x220 x221 x222 x223 x224 x225 x226 x227 x228 x229 x230 x231 x232 x233 x234 x235 x236 x237 x238 x239 x240 x241 x242 x243 x244 x245 x246 x247 x248 x249 x250 x251 x252 x253 x254 x255 x256 x257 x258 x259 x260 x261 x262 x263 x264 x265 x266 x267 x268 x269 x270 x271 x272 x273 x274 x275 x276 x277 x278 x279 x280 x281 x282 x283 x284 x285 x286 x287 x288 x289 x290 x291 x292 x293 x294 x295 x296 x297 x298 x299 x300 x301 x302 x303 x304 x305 x306 x307 x308 x309 x310 x311 x312 x313 x314 x315 x316 x317 x318 x319 x320 x321 x322 x323 x324 x325 x326 x327 x328 x329 x330 x331 x332 x333 x334 x335 x336 x337 x338 x339 x340 x341 x342 x343 x344 x345 x346 x347 x348 x349 x350 x351 x352 x353 x354 x355 x356 x357 x358 x359 x360 x361 x362 x363 x364 x365 x366 x367 x368 x369 x370 x371 x372 x373 x374 x375 x376 x377 x378 x379 x380 x381 x382 x383 x384 x385 x386 x387 x388 x389 x390 x391 x392 x393 x394 x395 x396 x397 x398 x399 x400 x401 x402 x403 x404 x405 x406 x407 x408 x409 x410 x411 x412 x413 x414 x415 x416 x417 x418 x419 x420 x421 x422 x423 x424 x425 x426 x427 x428 x429 x430 x431 x432 x433 x434 x435 x436 x437 x438 x439 x440 x441 x442 x443 x444 x445 x446 x447 x448 x449</list>
122.98/113.51	v     <values>16 15 85 86 172 171 254 253 378 379 459 460 463 462 502 501 717 718 792 791 858 859 1007 1008 1182 1183 1194 1195 1207 1206 19 25 178 177 271 272 319 318 334 349 759 760 859 858 911 912 930 929 1003 1002 1089 1088 1116 1115 1147 1146 1177 1178 1273 1272 37 36 145 144 192 193 286 285 340 341 422 423 501 500 572 573 698 697 717 718 751 750 795 796 894 893 1205 1258 1274 1214 0 1 34 33 213 214 294 293 324 325 524 523 555 556 567 566 639 640 681 680 736 737 749 748 781 782 1038 1037 1042 1041 0 1 39 40 89 90 100 101 144 143 214 213 319 320 397 398 463 464 501 500 565 566 646 645 920 921 994 995 1257 1258 43 29 144 143 284 283 291 290 397 398 499 498 594 593 669 668 745 746 792 791 833 834 907 908 970 971 1049 1048 1200 1201 0 14 49 43 264 263 311 312 339 338 421 420 465 464 485 484 500 501 517 516 566 567 833 929 1090 1091 1190 1189 1231 1230 0 1 122 123 354 331 392 442 445 411 599 598 662 661 772 771 810 811 860 859 905 906 1053 1054 1116 1115 1186 1185 1267 1266 0 1 71 72 111 110 145 144 197 196 380 381 427 426 524 525 573 572 598 599 639 638 735 736 758 757 1026 1027 1279 1239 0 1 28 27 80 81 116 117 197 198 247 246 296 295 396 395 443 442 540 539 680 681 699 698 722 723 819 820 1255 1256 85 86 127 128 229 230 311 310 379 378 471 472 491 490 543 542 740 739 822 823 874 873 971 970 985 984 1084 1085 1235 1236 32 33 113 114 254 255 459 458 503 502 541 542 858 859 935 934 984 985 1079 1080 1113 1114 1193 1194 1203 1204 1228 1229 1253 1252 1 0 108 102 359 358 419 420 613 612 697 696 733 734 773 772 790 791 890 891 905 904 962 963 1027 1028 1086 1085 1183 1182 34 35 192 193 319 320 413 414 477 478 559 558 621 622 799 798 889 890 930 929 1017 1016 1026 1025 1065 1064 1161 1162 1231 1230 99 100 173 172 185 186 200 199 280 281 284 283 331 332 416 415 545 544 598 599 657 658 938 939 1027 1026 1117 1118 1220 1219</values>
122.98/113.51	v </instantiation>
122.98/113.51	c (78,0) Show results End
122.98/113.51	c (78,0) Heap : 220 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB)
122.98/113.51	c (78,0) 78,78,STOP-AFTER(ALL)
122.98/113.51	c END-Prog: Thu Sep 12 16:10:53 CEST 2019

Verifier Data 

OK

Watcher Data 

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (11881 MiB free)
  memory of node 1: 16384 MiB (11278 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4388241-1568297381/watcher-4388241-1568297381 -o /tmp/evaluation-result-4388241-1568297381/solver-4388241-1568297381 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node137-1568286693-10212 --watchdog 2580 HOME/scop.sh 11g HOME/scop.jar -order HOME/glueminisat-simp-2.2.10-193oa-n-release -model:-verb=3:-elim-cl=5000000:-native-oa HOME HOME/instance-4388241-1568297381.xml 

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

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

solver pid=13997, runsolver pid=13994

[startup+0.100165 s]*
/proc/loadavg: 2.15 2.10 2.07 3/234 14014
/proc/meminfo: memFree=23655844/32770624 swapFree=66927100/67108860
[pid=13997] ppid=13994 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/13997/stat : 13997 (scop.sh) S 13994 13997 8795 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 405985511 115843072 349 33554432000 4194304 5098028 140732400172448 140732400169704 140321132282492 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 32698368 140732400177960 140732400178288 140732400178288 140732400181197 0
/proc/13997/statm: 28282 349 296 221 0 87 0
[pid=14000] ppid=13997 vsize=15012696 memory=72768 CPUtime=0.12 cores=0,2,4,6
/proc/14000/stat : 14000 (java) S 13997 13997 8795 0 -1 1077944320 6442 0 0 0 10 2 0 0 20 0 15 0 405985512 15373000704 18192 33554432000 4194304 4196468 140730355312064 140730355294608 140091007213303 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 11112448 140730355319534 140730355319962 140730355319962 140730355322831 0
/proc/14000/statm: 3753174 18192 2916 1 0 3715579 0
[pid=14000/tid=14001] ppid=13997 vsize=15012696 memory=-6221297119156027331 CPUtime=0.09 cores=0,2,4,6
/proc/14000/task/14001/stat : 14001 (java) R 13997 13997 8795 0 -1 4202560 4235 0 0 0 8 1 0 0 20 0 15 0 405985512 15373000704 18192 33554432000 4194304 4196468 140730355312064 140090979007208 140091007235229 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11112448 140730355319534 140730355319962 140730355319962 140730355322831 0
[pid=14000/tid=14002] ppid=13997 vsize=15012696 memory=4206468019014099040 CPUtime=0 cores=0,2,4,6
/proc/14000/task/14002/stat : 14002 (java) S 13997 13997 8795 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405985513 15373000704 18192 33554432000 4194304 4196468 140730355312064 140091011456144 140091007223509 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11112448 140730355319534 140730355319962 140730355319962 140730355322831 0
[pid=14000/tid=14003] ppid=13997 vsize=15012696 memory=140307662722688 CPUtime=0 cores=0,2,4,6
/proc/14000/task/14003/stat : 14003 (java) S 13997 13997 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405985514 15373000704 18192 33554432000 4194304 4196468 140730355312064 140090829544464 140091007223509 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11112448 140730355319534 140730355319962 140730355319962 140730355322831 0
[pid=14000/tid=14004] ppid=13997 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14000/task/14004/stat : 14004 (java) S 13997 13997 8795 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405985514 15373000704 18192 33554432000 4194304 4196468 140730355312064 140090828491664 140091007223509 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11112448 140730355319534 140730355319962 140730355319962 140730355322831 0
[pid=14000/tid=14005] ppid=13997 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14000/task/14005/stat : 14005 (java) S 13997 13997 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405985514 15373000704 18192 33554432000 4194304 4196468 140730355312064 140090466183952 140091007223509 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11112448 140730355319534 140730355319962 140730355319962 140730355322831 0
[pid=14000/tid=14006] ppid=13997 vsize=15012696 memory=140307662722688 CPUtime=0 cores=0,2,4,6
/proc/14000/task/14006/stat : 14006 (java) S 13997 13997 8795 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405985515 15373000704 18192 33554432000 4194304 4196468 140730355312064 140090044787056 140091007224450 0 0 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11112448 140730355319534 140730355319962 140730355319962 140730355322831 0
[pid=14000/tid=14007] ppid=13997 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14000/task/14007/stat : 14007 (java) S 13997 13997 8795 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405985515 15373000704 18192 33554432000 4194304 4196468 140730355312064 140089552266272 140091007223509 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11112448 140730355319534 140730355319962 140730355319962 140730355322831 0
[pid=14000/tid=14008] ppid=13997 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14000/task/14008/stat : 14008 (java) S 13997 13997 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405985516 15373000704 18192 33554432000 4194304 4196468 140730355312064 140089283830640 140091007223509 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11112448 140730355319534 140730355319962 140730355319962 140730355322831 0
[pid=14000/tid=14009] ppid=13997 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14000/task/14009/stat : 14009 (java) S 13997 13997 8795 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405985518 15373000704 18192 33554432000 4194304 4196468 140730355312064 140088909322064 140091007231899 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11112448 140730355319534 140730355319962 140730355319962 140730355322831 0
[pid=14000/tid=14010] ppid=13997 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14000/task/14010/stat : 14010 (java) S 13997 13997 8795 0 -1 1077944384 432 0 0 0 0 0 0 0 20 0 15 0 405985518 15373000704 18192 33554432000 4194304 4196468 140730355312064 140090043734896 140091007224450 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11112448 140730355319534 140730355319962 140730355319962 140730355322831 0
[pid=14000/tid=14011] ppid=13997 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14000/task/14011/stat : 14011 (java) S 13997 13997 8795 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405985518 15373000704 18192 33554432000 4194304 4196468 140730355312064 140090042682096 140091007224450 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11112448 140730355319534 140730355319962 140730355319962 140730355322831 0
[pid=14000/tid=14012] ppid=13997 vsize=15012696 memory=140307662722688 CPUtime=0.01 cores=0,2,4,6
/proc/14000/task/14012/stat : 14012 (java) S 13997 13997 8795 0 -1 1077944384 444 0 0 0 1 0 0 0 20 0 15 0 405985518 15373000704 18192 33554432000 4194304 4196468 140730355312064 140090041629296 140091007224450 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11112448 140730355319534 140730355319962 140730355319962 140730355322831 0
[pid=14000/tid=14013] ppid=13997 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14000/task/14013/stat : 14013 (java) S 13997 13997 8795 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405985518 15373000704 18192 33554432000 4194304 4196468 140730355312064 140088411417312 140091007223509 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11112448 140730355319534 140730355319962 140730355319962 140730355322831 0
[pid=14000/tid=14014] ppid=13997 vsize=15012696 memory=140307662722688 CPUtime=0 cores=0,2,4,6
/proc/14000/task/14014/stat : 14014 (java) S 13997 13997 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405985519 15373000704 18192 33554432000 4194304 4196468 140730355312064 140090040576688 140091007224450 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11112448 140730355319534 140730355319962 140730355319962 140730355322831 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 74164 KiB

[startup+0.211116 s]*
/proc/loadavg: 2.15 2.10 2.07 3/234 14014
/proc/meminfo: memFree=23637424/32770624 swapFree=66927100/67108860
[pid=13997] ppid=13994 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/13997/stat : 13997 (scop.sh) S 13994 13997 8795 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 405985511 115843072 349 33554432000 4194304 5098028 140732400172448 140732400169704 140321132282492 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 32698368 140732400177960 140732400178288 140732400178288 140732400181197 0
/proc/13997/statm: 28282 349 296 221 0 87 0
[pid=14000] ppid=13997 vsize=15012696 memory=87828 CPUtime=0.25 cores=0,2,4,6
/proc/14000/stat : 14000 (java) S 13997 13997 8795 0 -1 1077944320 11565 0 0 0 22 3 0 0 20 0 15 0 405985512 15373000704 21957 33554432000 4194304 4196468 140730355312064 140730355294608 140091007213303 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 11112448 140730355319534 140730355319962 140730355319962 140730355322831 0
/proc/14000/statm: 3753174 21957 2921 1 0 3715579 0
[pid=14000/tid=14001] ppid=13997 vsize=15012696 memory=7022364632946311227 CPUtime=0.2 cores=0,2,4,6
/proc/14000/task/14001/stat : 14001 (java) R 13997 13997 8795 0 -1 4202560 9301 0 0 0 18 2 0 0 20 0 15 0 405985512 15373000704 21957 33554432000 4194304 4196468 140730355312064 140090979028944 140090991293790 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11112448 140730355319534 140730355319962 140730355319962 140730355322831 0
[pid=14000/tid=14002] ppid=13997 vsize=15012696 memory=540 CPUtime=0 cores=0,2,4,6
/proc/14000/task/14002/stat : 14002 (java) S 13997 13997 8795 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405985513 15373000704 21957 33554432000 4194304 4196468 140730355312064 140091011456144 140091007223509 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11112448 140730355319534 140730355319962 140730355319962 140730355322831 0
[pid=14000/tid=14003] ppid=13997 vsize=15012696 memory=140307662736078 CPUtime=0 cores=0,2,4,6
/proc/14000/task/14003/stat : 14003 (java) S 13997 13997 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405985514 15373000704 21957 33554432000 4194304 4196468 140730355312064 140090829544464 140091007223509 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11112448 140730355319534 140730355319962 140730355319962 140730355322831 0
[pid=14000/tid=14004] ppid=13997 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14000/task/14004/stat : 14004 (java) S 13997 13997 8795 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405985514 15373000704 21957 33554432000 4194304 4196468 140730355312064 140090828491664 140091007223509 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11112448 140730355319534 140730355319962 140730355319962 140730355322831 0
[pid=14000/tid=14005] ppid=13997 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14000/task/14005/stat : 14005 (java) S 13997 13997 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405985514 15373000704 21957 33554432000 4194304 4196468 140730355312064 140090466183952 140091007223509 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11112448 140730355319534 140730355319962 140730355319962 140730355322831 0
[pid=14000/tid=14006] ppid=13997 vsize=15012696 memory=140307662722688 CPUtime=0 cores=0,2,4,6
/proc/14000/task/14006/stat : 14006 (java) S 13997 13997 8795 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405985515 15373000704 21957 33554432000 4194304 4196468 140730355312064 140090044787056 140091007224450 0 0 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11112448 140730355319534 140730355319962 140730355319962 140730355322831 0
[pid=14000/tid=14007] ppid=13997 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14000/task/14007/stat : 14007 (java) S 13997 13997 8795 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405985515 15373000704 22023 33554432000 4194304 4196468 140730355312064 140089552266272 140091007223509 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11112448 140730355319534 140730355319962 140730355319962 140730355322831 0
[pid=14000/tid=14008] ppid=13997 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14000/task/14008/stat : 14008 (java) S 13997 13997 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405985516 15373000704 22023 33554432000 4194304 4196468 140730355312064 140089283830640 140091007223509 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11112448 140730355319534 140730355319962 140730355319962 140730355322831 0
[pid=14000/tid=14009] ppid=13997 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14000/task/14009/stat : 14009 (java) S 13997 13997 8795 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405985518 15373000704 22023 33554432000 4194304 4196468 140730355312064 140088909322064 140091007231899 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11112448 140730355319534 140730355319962 140730355319962 140730355322831 0
[pid=14000/tid=14010] ppid=13997 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14000/task/14010/stat : 14010 (java) S 13997 13997 8795 0 -1 1077944384 442 0 0 0 0 0 0 0 20 0 15 0 405985518 15373000704 22023 33554432000 4194304 4196468 140730355312064 140090043734896 140091007224450 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11112448 140730355319534 140730355319962 140730355319962 140730355322831 0
[pid=14000/tid=14011] ppid=13997 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14000/task/14011/stat : 14011 (java) S 13997 13997 8795 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 405985518 15373000704 22023 33554432000 4194304 4196468 140730355312064 140090042682096 140091007224450 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11112448 140730355319534 140730355319962 140730355319962 140730355322831 0
[pid=14000/tid=14012] ppid=13997 vsize=15012696 memory=140307662722688 CPUtime=0.03 cores=0,2,4,6
/proc/14000/task/14012/stat : 14012 (java) R 13997 13997 8795 0 -1 4202560 462 0 0 0 3 0 0 0 20 0 15 0 405985518 15373000704 22023 33554432000 4194304 4196468 140730355312064 140090041629296 140090987184488 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11112448 140730355319534 140730355319962 140730355319962 140730355322831 0
[pid=14000/tid=14013] ppid=13997 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14000/task/14013/stat : 14013 (java) S 13997 13997 8795 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405985518 15373000704 22023 33554432000 4194304 4196468 140730355312064 140088411417312 140091007223509 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11112448 140730355319534 140730355319962 140730355319962 140730355322831 0
[pid=14000/tid=14014] ppid=13997 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14000/task/14014/stat : 14014 (java) S 13997 13997 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405985519 15373000704 22023 33554432000 4194304 4196468 140730355312064 140090040576688 140091007224450 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11112448 140730355319534 140730355319962 140730355319962 140730355322831 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 89224 KiB

[startup+0.310726 s]*
/proc/loadavg: 2.15 2.10 2.07 3/234 14014
/proc/meminfo: memFree=23634012/32770624 swapFree=66927100/67108860
[pid=13997] ppid=13994 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/13997/stat : 13997 (scop.sh) S 13994 13997 8795 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 405985511 115843072 349 33554432000 4194304 5098028 140732400172448 140732400169704 140321132282492 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 32698368 140732400177960 140732400178288 140732400178288 140732400181197 0
/proc/13997/statm: 28282 349 296 221 0 87 0
[pid=14000] ppid=13997 vsize=15012696 memory=92112 CPUtime=0.44 cores=0,2,4,6
/proc/14000/stat : 14000 (java) S 13997 13997 8795 0 -1 1077944320 12060 0 0 0 40 4 0 0 20 0 15 0 405985512 15373000704 23028 33554432000 4194304 4196468 140730355312064 140730355294608 140091007213303 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 11112448 140730355319534 140730355319962 140730355319962 140730355322831 0
/proc/14000/statm: 3753174 23028 3074 1 0 3715579 0
[pid=14000/tid=14001] ppid=13997 vsize=15012696 memory=6791534058613427641 CPUtime=0.3 cores=0,2,4,6
/proc/14000/task/14001/stat : 14001 (java) R 13997 13997 8795 0 -1 4202560 9576 0 0 0 27 3 0 0 20 0 15 0 405985512 15373000704 23028 33554432000 4194304 4196468 140730355312064 140090979043376 140090987479416 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11112448 140730355319534 140730355319962 140730355319962 140730355322831 0
[pid=14000/tid=14002] ppid=13997 vsize=15012696 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/14000/task/14002/stat : 14002 (java) S 13997 13997 8795 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405985513 15373000704 23028 33554432000 4194304 4196468 140730355312064 140091011456144 140091007223509 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11112448 140730355319534 140730355319962 140730355319962 140730355322831 0
[pid=14000/tid=14003] ppid=13997 vsize=15012696 memory=-5587046532246807594 CPUtime=0 cores=0,2,4,6
/proc/14000/task/14003/stat : 14003 (java) S 13997 13997 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405985514 15373000704 23028 33554432000 4194304 4196468 140730355312064 140090829544464 140091007223509 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11112448 140730355319534 140730355319962 140730355319962 140730355322831 0
[pid=14000/tid=14004] ppid=13997 vsize=15012696 memory=7379517702019849078 CPUtime=0 cores=0,2,4,6
/proc/14000/task/14004/stat : 14004 (java) S 13997 13997 8795 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405985514 15373000704 23028 33554432000 4194304 4196468 140730355312064 140090828491664 140091007223509 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11112448 140730355319534 140730355319962 140730355319962 140730355322831 0
[pid=14000/tid=14005] ppid=13997 vsize=15012696 memory=7016714186490735262 CPUtime=0 cores=0,2,4,6
/proc/14000/task/14005/stat : 14005 (java) S 13997 13997 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405985514 15373000704 23028 33554432000 4194304 4196468 140730355312064 140090466183952 140091007223509 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11112448 140730355319534 140730355319962 140730355319962 140730355322831 0
[pid=14000/tid=14006] ppid=13997 vsize=15012696 memory=4498404016631593313 CPUtime=0 cores=0,2,4,6
/proc/14000/task/14006/stat : 14006 (java) S 13997 13997 8795 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405985515 15373000704 23028 33554432000 4194304 4196468 140730355312064 140090044787056 140091007224450 0 0 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11112448 140730355319534 140730355319962 140730355319962 140730355322831 0
[pid=14000/tid=14007] ppid=13997 vsize=15012696 memory=-6519613052471072158 CPUtime=0 cores=0,2,4,6
/proc/14000/task/14007/stat : 14007 (java) S 13997 13997 8795 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405985515 15373000704 23028 33554432000 4194304 4196468 140730355312064 140089552266272 140091007223509 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11112448 140730355319534 140730355319962 140730355319962 140730355322831 0
[pid=14000/tid=14008] ppid=13997 vsize=15012696 memory=7827413994055111515 CPUtime=0 cores=0,2,4,6
/proc/14000/task/14008/stat : 14008 (java) S 13997 13997 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405985516 15373000704 23028 33554432000 4194304 4196468 140730355312064 140089283830640 140091007223509 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11112448 140730355319534 140730355319962 140730355319962 140730355322831 0
[pid=14000/tid=14009] ppid=13997 vsize=15012696 memory=8508281356422055839 CPUtime=0 cores=0,2,4,6
/proc/14000/task/14009/stat : 14009 (java) S 13997 13997 8795 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405985518 15373000704 23028 33554432000 4194304 4196468 140730355312064 140088909322064 140091007231899 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11112448 140730355319534 140730355319962 140730355319962 140730355322831 0
[pid=14000/tid=14010] ppid=13997 vsize=15012696 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/14000/task/14010/stat : 14010 (java) S 13997 13997 8795 0 -1 1077944384 490 0 0 0 2 0 0 0 20 0 15 0 405985518 15373000704 23028 33554432000 4194304 4196468 140730355312064 140090043734896 140091007224450 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11112448 140730355319534 140730355319962 140730355319962 140730355322831 0
[pid=14000/tid=14011] ppid=13997 vsize=15012696 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/14000/task/14011/stat : 14011 (java) S 13997 13997 8795 0 -1 1077944384 152 0 0 0 2 0 0 0 20 0 15 0 405985518 15373000704 23028 33554432000 4194304 4196468 140730355312064 140090042682096 140091007224450 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11112448 140730355319534 140730355319962 140730355319962 140730355322831 0
[pid=14000/tid=14012] ppid=13997 vsize=15012696 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/14000/task/14012/stat : 14012 (java) S 13997 13997 8795 0 -1 1077944384 510 0 0 0 7 0 0 0 20 0 15 0 405985518 15373000704 23028 33554432000 4194304 4196468 140730355312064 140090041629296 140091007224450 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11112448 140730355319534 140730355319962 140730355319962 140730355322831 0
[pid=14000/tid=14013] ppid=13997 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14000/task/14013/stat : 14013 (java) S 13997 13997 8795 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405985518 15373000704 23028 33554432000 4194304 4196468 140730355312064 140088411417312 140091007223509 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11112448 140730355319534 140730355319962 140730355319962 140730355322831 0
[pid=14000/tid=14014] ppid=13997 vsize=15012696 memory=3832907645706056752 CPUtime=0 cores=0,2,4,6
/proc/14000/task/14014/stat : 14014 (java) S 13997 13997 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405985519 15373000704 23028 33554432000 4194304 4196468 140730355312064 140090040576688 140091007224450 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11112448 140730355319534 140730355319962 140730355319962 140730355322831 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 93508 KiB

[startup+0.708089 s]
/proc/loadavg: 2.15 2.10 2.07 3/234 14014
/proc/meminfo: memFree=23612856/32770624 swapFree=66927100/67108860
[pid=13997] ppid=13994 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/13997/stat : 13997 (scop.sh) S 13994 13997 8795 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 405985511 115843072 349 33554432000 4194304 5098028 140732400172448 140732400169704 140321132282492 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 32698368 140732400177960 140732400178288 140732400178288 140732400181197 0
/proc/13997/statm: 28282 349 296 221 0 87 0
[pid=14000] ppid=13997 vsize=15018968 memory=131920 CPUtime=1.04 cores=0,2,4,6
/proc/14000/stat : 14000 (java) S 13997 13997 8795 0 -1 1077944320 19699 0 0 0 98 6 0 0 20 0 15 0 405985512 15379423232 32980 33554432000 4194304 4196468 140730355312064 140730355294608 140091007213303 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 11112448 140730355319534 140730355319962 140730355319962 140730355322831 0
/proc/14000/statm: 3754742 32980 3182 1 0 3716091 0
[pid=14000/tid=14001] ppid=13997 vsize=15018968 memory=0 CPUtime=0.68 cores=0,2,4,6
/proc/14000/task/14001/stat : 14001 (java) R 13997 13997 8795 0 -1 4202560 16630 0 0 0 63 5 0 0 20 0 15 0 405985512 15379423232 32980 33554432000 4194304 4196468 140730355312064 140090979048768 140091007235229 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11112448 140730355319534 140730355319962 140730355319962 140730355322831 0
[pid=14000/tid=14002] ppid=13997 vsize=15018968 memory=5252745004214 CPUtime=0 cores=0,2,4,6
/proc/14000/task/14002/stat : 14002 (java) S 13997 13997 8795 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405985513 15379423232 32980 33554432000 4194304 4196468 140730355312064 140091011456144 140091007223509 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11112448 140730355319534 140730355319962 140730355319962 140730355322831 0
[pid=14000/tid=14003] ppid=13997 vsize=15018968 memory=288230596050944315 CPUtime=0 cores=0,2,4,6
/proc/14000/task/14003/stat : 14003 (java) S 13997 13997 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405985514 15379423232 32980 33554432000 4194304 4196468 140730355312064 140090829544464 140091007223509 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11112448 140730355319534 140730355319962 140730355319962 140730355322831 0
[pid=14000/tid=14004] ppid=13997 vsize=15018968 memory=14690799036142200 CPUtime=0 cores=0,2,4,6
/proc/14000/task/14004/stat : 14004 (java) S 13997 13997 8795 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405985514 15379423232 32980 33554432000 4194304 4196468 140730355312064 140090828491664 140091007223509 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11112448 140730355319534 140730355319962 140730355319962 140730355322831 0
[pid=14000/tid=14005] ppid=13997 vsize=15018968 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14000/task/14005/stat : 14005 (java) S 13997 13997 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405985514 15379423232 32980 33554432000 4194304 4196468 140730355312064 140090466183952 140091007223509 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11112448 140730355319534 140730355319962 140730355319962 140730355322831 0
[pid=14000/tid=14006] ppid=13997 vsize=15018968 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14000/task/14006/stat : 14006 (java) S 13997 13997 8795 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 405985515 15379423232 32980 33554432000 4194304 4196468 140730355312064 140090044787056 140091007224450 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11112448 140730355319534 140730355319962 140730355319962 140730355322831 0
[pid=14000/tid=14007] ppid=13997 vsize=15018968 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14000/task/14007/stat : 14007 (java) S 13997 13997 8795 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405985515 15379423232 32980 33554432000 4194304 4196468 140730355312064 140089552266272 140091007223509 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11112448 140730355319534 140730355319962 140730355319962 140730355322831 0
[pid=14000/tid=14008] ppid=13997 vsize=15018968 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14000/task/14008/stat : 14008 (java) S 13997 13997 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405985516 15379423232 32980 33554432000 4194304 4196468 140730355312064 140089283830640 140091007223509 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11112448 140730355319534 140730355319962 140730355319962 140730355322831 0
[pid=14000/tid=14009] ppid=13997 vsize=15018968 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14000/task/14009/stat : 14009 (java) S 13997 13997 8795 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405985518 15379423232 32980 33554432000 4194304 4196468 140730355312064 140088909322064 140091007231899 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11112448 140730355319534 140730355319962 140730355319962 140730355322831 0
[pid=14000/tid=14010] ppid=13997 vsize=15018968 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/14000/task/14010/stat : 14010 (java) R 13997 13997 8795 0 -1 4202560 685 0 0 0 9 0 0 0 20 0 15 0 405985518 15379423232 32980 33554432000 4194304 4196468 140730355312064 140090043728088 140090986646389 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11112448 140730355319534 140730355319962 140730355319962 140730355322831 0
[pid=14000/tid=14011] ppid=13997 vsize=15018968 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/14000/task/14011/stat : 14011 (java) R 13997 13997 8795 0 -1 4202560 366 0 0 0 7 0 0 0 20 0 15 0 405985518 15379423232 32980 33554432000 4194304 4196468 140730355312064 140090042669648 140090985660603 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11112448 140730355319534 140730355319962 140730355319962 140730355322831 0
[pid=14000/tid=14012] ppid=13997 vsize=15018968 memory=0 CPUtime=0.17 cores=0,2,4,6
/proc/14000/task/14012/stat : 14012 (java) R 13997 13997 8795 0 -1 4202560 683 0 0 0 17 0 0 0 20 0 15 0 405985518 15379423232 32980 33554432000 4194304 4196468 140730355312064 140090041629424 140091007225238 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11112448 140730355319534 140730355319962 140730355319962 140730355322831 0
[pid=14000/tid=14013] ppid=13997 vsize=15018968 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14000/task/14013/stat : 14013 (java) S 13997 13997 8795 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405985518 15379423232 32980 33554432000 4194304 4196468 140730355312064 140088411417312 140091007223509 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11112448 140730355319534 140730355319962 140730355319962 140730355322831 0
[pid=14000/tid=14014] ppid=13997 vsize=15018968 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14000/task/14014/stat : 14014 (java) S 13997 13997 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405985519 15379423232 32980 33554432000 4194304 4196468 140730355312064 140090040576688 140091007224450 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11112448 140730355319534 140730355319962 140730355319962 140730355322831 0
Current children cumulated CPU time: 1.04 s
Current children cumulated vsize: 15132096 KiB
Current children cumulated memory: 133316 KiB

[startup+1.50078 s]
/proc/loadavg: 2.15 2.10 2.07 5/234 14014
/proc/meminfo: memFree=23562884/32770624 swapFree=66927100/67108860
[pid=13997] ppid=13994 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/13997/stat : 13997 (scop.sh) S 13994 13997 8795 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 405985511 115843072 349 33554432000 4194304 5098028 140732400172448 140732400169704 140321132282492 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 32698368 140732400177960 140732400178288 140732400178288 140732400181197 0
/proc/13997/statm: 28282 349 296 221 0 87 0

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

/proc/14018/task/14028/stat : 14028 (java) S 13997 13997 8795 0 -1 1077944384 871 0 0 0 13 0 0 0 20 0 19 0 405988963 8262082560 29792 33554432000 4194304 4196468 140736050940896 139677417953904 139678039804546 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9609216 140736050947067 140736050947226 140736050947226 140736050950095 0
[pid=14018/tid=14029] ppid=13997 vsize=8068440 memory=1804 CPUtime=0.09 cores=0,2,4,6
/proc/14018/task/14029/stat : 14029 (java) S 13997 13997 8795 0 -1 1077944384 350 0 0 0 9 0 0 0 20 0 19 0 405988963 8262082560 29792 33554432000 4194304 4196468 140736050940896 139677416901104 139678039804546 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9609216 140736050947067 140736050947226 140736050947226 140736050950095 0
[pid=14018/tid=14030] ppid=13997 vsize=8068440 memory=920 CPUtime=0.22 cores=0,2,4,6
/proc/14018/task/14030/stat : 14030 (java) S 13997 13997 8795 0 -1 1077944384 766 0 0 0 22 0 0 0 20 0 19 0 405988963 8262082560 29792 33554432000 4194304 4196468 140736050940896 139677415848816 139678039804546 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9609216 140736050947067 140736050947226 140736050947226 140736050950095 0
[pid=14018/tid=14031] ppid=13997 vsize=8068440 memory=3844 CPUtime=0 cores=0,2,4,6
/proc/14018/task/14031/stat : 14031 (java) S 13997 13997 8795 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405988963 8262082560 29792 33554432000 4194304 4196468 140736050940896 139675759012832 139678039803605 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9609216 140736050947067 140736050947226 140736050947226 140736050950095 0
[pid=14018/tid=14032] ppid=13997 vsize=8068440 memory=1476 CPUtime=0.07 cores=0,2,4,6
/proc/14018/task/14032/stat : 14032 (java) S 13997 13997 8795 0 -1 1077944384 7 0 0 0 3 4 0 0 20 0 19 0 405988964 8262082560 29792 33554432000 4194304 4196468 140736050940896 139677414795696 139678039804546 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9609216 140736050947067 140736050947226 140736050947226 140736050950095 0
[pid=14018/tid=14034] ppid=13997 vsize=8068440 memory=119168 CPUtime=0 cores=0,2,4,6
/proc/14018/task/14034/stat : 14034 (java) S 13997 13997 8795 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 405989032 8262082560 29792 33554432000 4194304 4196468 140736050940896 139677406761920 139678039818009 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 9609216 140736050947067 140736050947226 140736050947226 140736050950095 0
[pid=14018/tid=14036] ppid=13997 vsize=8068440 memory=536912 CPUtime=0.01 cores=0,2,4,6
/proc/14018/task/14036/stat : 14036 (java) S 13997 13997 8795 0 -1 4202560 34 0 0 0 1 0 0 0 20 0 19 0 405989033 8262082560 29792 33554432000 4194304 4196468 140736050940896 139675222126096 139678039815325 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 9609216 140736050947067 140736050947226 140736050947226 140736050950095 0
[pid=14018/tid=14037] ppid=13997 vsize=8068440 memory=1440 CPUtime=0 cores=0,2,4,6
/proc/14018/task/14037/stat : 14037 (java) S 13997 13997 8795 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 405989033 8262082560 29792 33554432000 4194304 4196468 140736050940896 139675356348336 139678039815325 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 9609216 140736050947067 140736050947226 140736050947226 140736050950095 0
[pid=14018/tid=14038] ppid=13997 vsize=8068440 memory=1980 CPUtime=0 cores=0,2,4,6
/proc/14018/task/14038/stat : 14038 (java) S 13997 13997 8795 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 405989035 8262082560 29792 33554432000 4194304 4196468 140736050940896 139674953702832 139678039803605 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9609216 140736050947067 140736050947226 140736050947226 140736050950095 0
Current children cumulated CPU time: 121.77 s
Current children cumulated vsize: 8824136 KiB
Current children cumulated memory: 657556 KiB

[startup+113.201 s]
/proc/loadavg: 2.06 2.09 2.07 3/240 14052
/proc/meminfo: memFree=22876136/32770624 swapFree=66927100/67108860
[pid=13997] ppid=13994 vsize=113128 memory=1476 CPUtime=42.84 cores=0,2,4,6
/proc/13997/stat : 13997 (scop.sh) S 13994 13997 8795 0 -1 4202496 584 43487 0 0 0 0 4160 124 20 0 1 0 405985511 115843072 369 33554432000 4194304 5098028 140732400172448 140732400169192 140321132282492 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 32698368 140732400177960 140732400178288 140732400178288 140732400181197 0
/proc/13997/statm: 28282 369 311 221 0 87 0
[pid=14018] ppid=13997 vsize=8068440 memory=140008 CPUtime=1.51 cores=0,2,4,6
/proc/14018/stat : 14018 (java) S 13997 13997 8795 0 -1 1077944320 21294 0 0 0 140 11 0 0 20 0 19 0 405988956 8262082560 35002 33554432000 4194304 4196468 140736050940896 140736050923440 139678039793399 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9609216 140736050947067 140736050947226 140736050947226 140736050950095 0
/proc/14018/statm: 2017110 35002 3220 1 0 1978454 0
[pid=14018/tid=14019] ppid=13997 vsize=8068440 memory=1476 CPUtime=0.78 cores=0,2,4,6
/proc/14018/task/14019/stat : 14019 (java) S 13997 13997 8795 0 -1 1077944384 17237 0 0 0 71 7 0 0 20 0 19 0 405988957 8262082560 35002 33554432000 4194304 4196468 140736050940896 139678011633568 139678039803605 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9609216 140736050947067 140736050947226 140736050947226 140736050950095 0
[pid=14018/tid=14020] ppid=13997 vsize=8068440 memory=134476 CPUtime=0 cores=0,2,4,6
/proc/14018/task/14020/stat : 14020 (java) S 13997 13997 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405988958 8262082560 35002 33554432000 4194304 4196468 140736050940896 139678044035984 139678039803605 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9609216 140736050947067 140736050947226 140736050947226 140736050950095 0
[pid=14018/tid=14021] ppid=13997 vsize=8068440 memory=536912 CPUtime=0 cores=0,2,4,6
/proc/14018/task/14021/stat : 14021 (java) S 13997 13997 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405988958 8262082560 35002 33554432000 4194304 4196468 140736050940896 139677844204304 139678039803605 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9609216 140736050947067 140736050947226 140736050947226 140736050950095 0
[pid=14018/tid=14022] ppid=13997 vsize=8068440 memory=288230574492221466 CPUtime=0 cores=0,2,4,6
/proc/14018/task/14022/stat : 14022 (java) S 13997 13997 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405988958 8262082560 35002 33554432000 4194304 4196468 140736050940896 139677843152016 139678039803605 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9609216 140736050947067 140736050947226 140736050947226 140736050950095 0
[pid=14018/tid=14023] ppid=13997 vsize=8068440 memory=288230596050944315 CPUtime=0 cores=0,2,4,6
/proc/14018/task/14023/stat : 14023 (java) S 13997 13997 8795 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405988958 8262082560 35002 33554432000 4194304 4196468 140736050940896 139677842099216 139678039803605 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9609216 140736050947067 140736050947226 140736050947226 140736050950095 0
[pid=14018/tid=14024] ppid=13997 vsize=8068440 memory=14690799036142200 CPUtime=0 cores=0,2,4,6
/proc/14018/task/14024/stat : 14024 (java) S 13997 13997 8795 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 19 0 405988960 8262082560 35002 33554432000 4194304 4196468 140736050940896 139677419006064 139678039804546 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9609216 140736050947067 140736050947226 140736050947226 140736050950095 0
[pid=14018/tid=14025] ppid=13997 vsize=8068440 memory=1716 CPUtime=0 cores=0,2,4,6
/proc/14018/task/14025/stat : 14025 (java) S 13997 13997 8795 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 405988960 8262082560 35002 33554432000 4194304 4196468 140736050940896 139676899861280 139678039803605 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9609216 140736050947067 140736050947226 140736050947226 140736050950095 0
[pid=14018/tid=14026] ppid=13997 vsize=8068440 memory=1124 CPUtime=0 cores=0,2,4,6
/proc/14018/task/14026/stat : 14026 (java) S 13997 13997 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405988960 8262082560 35002 33554432000 4194304 4196468 140736050940896 139676631426160 139678039803605 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9609216 140736050947067 140736050947226 140736050947226 140736050950095 0
[pid=14018/tid=14027] ppid=13997 vsize=8068440 memory=5912 CPUtime=0 cores=0,2,4,6
/proc/14018/task/14027/stat : 14027 (java) S 13997 13997 8795 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405988963 8262082560 35002 33554432000 4194304 4196468 140736050940896 139676256917584 139678039811995 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9609216 140736050947067 140736050947226 140736050947226 140736050950095 0
[pid=14018/tid=14028] ppid=13997 vsize=8068440 memory=916 CPUtime=0.17 cores=0,2,4,6
/proc/14018/task/14028/stat : 14028 (java) S 13997 13997 8795 0 -1 1077944384 881 0 0 0 17 0 0 0 20 0 19 0 405988963 8262082560 35002 33554432000 4194304 4196468 140736050940896 139677417953904 139678039804546 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9609216 140736050947067 140736050947226 140736050947226 140736050950095 0
[pid=14018/tid=14029] ppid=13997 vsize=8068440 memory=1656 CPUtime=0.12 cores=0,2,4,6
/proc/14018/task/14029/stat : 14029 (java) R 13997 13997 8795 0 -1 4202560 694 0 0 0 12 0 0 0 20 0 19 0 405988963 8262082560 35002 33554432000 4194304 4196468 140736050940896 139677416901104 139678023178192 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9609216 140736050947067 140736050947226 140736050947226 140736050950095 0
[pid=14018/tid=14030] ppid=13997 vsize=8068440 memory=14004 CPUtime=0.25 cores=0,2,4,6
/proc/14018/task/14030/stat : 14030 (java) S 13997 13997 8795 0 -1 1077944384 1038 0 0 0 25 0 0 0 20 0 19 0 405988963 8262082560 35002 33554432000 4194304 4196468 140736050940896 139677415848816 139678039804546 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9609216 140736050947067 140736050947226 140736050947226 140736050950095 0
[pid=14018/tid=14031] ppid=13997 vsize=8068440 memory=2120 CPUtime=0 cores=0,2,4,6
/proc/14018/task/14031/stat : 14031 (java) S 13997 13997 8795 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405988963 8262082560 35002 33554432000 4194304 4196468 140736050940896 139675759012832 139678039803605 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9609216 140736050947067 140736050947226 140736050947226 140736050950095 0
[pid=14018/tid=14032] ppid=13997 vsize=8068440 memory=20260 CPUtime=0.08 cores=0,2,4,6
/proc/14018/task/14032/stat : 14032 (java) S 13997 13997 8795 0 -1 1077944384 7 0 0 0 4 4 0 0 20 0 19 0 405988964 8262082560 35002 33554432000 4194304 4196468 140736050940896 139677414795696 139678039804546 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9609216 140736050947067 140736050947226 140736050947226 140736050950095 0
[pid=14018/tid=14034] ppid=13997 vsize=8068440 memory=14068 CPUtime=0 cores=0,2,4,6
/proc/14018/task/14034/stat : 14034 (java) S 13997 13997 8795 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 405989032 8262082560 35002 33554432000 4194304 4196468 140736050940896 139677406761920 139678039818009 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 9609216 140736050947067 140736050947226 140736050947226 140736050950095 0
[pid=14018/tid=14036] ppid=13997 vsize=8068440 memory=528 CPUtime=0.06 cores=0,2,4,6
/proc/14018/task/14036/stat : 14036 (java) R 13997 13997 8795 0 -1 4202560 58 0 0 0 6 0 0 0 20 0 19 0 405989033 8262082560 35002 33554432000 4194304 4196468 140736050940896 139675222126080 139677520657040 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9609216 140736050947067 140736050947226 140736050947226 140736050950095 0
[pid=14018/tid=14037] ppid=13997 vsize=8068440 memory=1560 CPUtime=0 cores=0,2,4,6
/proc/14018/task/14037/stat : 14037 (java) S 13997 13997 8795 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 405989033 8262082560 35002 33554432000 4194304 4196468 140736050940896 139675356348336 139678039815325 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 9609216 140736050947067 140736050947226 140736050947226 140736050950095 0
[pid=14018/tid=14038] ppid=13997 vsize=8068440 memory=288230574492221466 CPUtime=0 cores=0,2,4,6
/proc/14018/task/14038/stat : 14038 (java) S 13997 13997 8795 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 405989035 8262082560 35002 33554432000 4194304 4196468 140736050940896 139674953702832 139678039803605 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9609216 140736050947067 140736050947226 140736050947226 140736050950095 0
Current children cumulated CPU time: 44.35 s
Current children cumulated vsize: 8181568 KiB
Current children cumulated memory: 141484 KiB

[startup+113.402 s]
/proc/loadavg: 2.06 2.09 2.07 3/240 14052
/proc/meminfo: memFree=22876136/32770624 swapFree=66927100/67108860
[pid=13997] ppid=13994 vsize=113128 memory=1476 CPUtime=42.84 cores=0,2,4,6
/proc/13997/stat : 13997 (scop.sh) S 13994 13997 8795 0 -1 4202496 584 43487 0 0 0 0 4160 124 20 0 1 0 405985511 115843072 369 33554432000 4194304 5098028 140732400172448 140732400169192 140321132282492 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 32698368 140732400177960 140732400178288 140732400178288 140732400181197 0
/proc/13997/statm: 28282 369 311 221 0 87 0
[pid=14018] ppid=13997 vsize=7937364 memory=200676 CPUtime=79.86 cores=0,2,4,6
/proc/14018/stat : 14018 (java) S 13997 13997 8795 0 -1 1077944320 21782 572527 0 0 176 12 7740 58 20 0 17 0 405988956 8127860736 50169 33554432000 4194304 4196468 140736050940896 140736050923440 139678039793399 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9609216 140736050947067 140736050947226 140736050947226 140736050950095 0
/proc/14018/statm: 1984341 50169 3224 1 0 1945685 0
[pid=14018/tid=14019] ppid=13997 vsize=7937364 memory=302867294839898427 CPUtime=78.81 cores=0,2,4,6
/proc/14018/task/14019/stat : 14019 (java) R 13997 13997 8795 0 -1 4202560 17391 572527 0 0 76 7 7740 58 20 0 17 0 405988957 8127860736 50169 33554432000 4194304 4196468 140736050940896 139678011631088 139678039805334 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9609216 140736050947067 140736050947226 140736050947226 140736050950095 0
[pid=14018/tid=14020] ppid=13997 vsize=7937364 memory=14690799036142200 CPUtime=77.98 cores=0,2,4,6
/proc/14018/task/14020/stat : 14020 (java) S 13997 13997 8795 0 -1 1077944384 1 572527 0 0 0 0 7740 58 20 0 17 0 405988958 8127860736 50169 33554432000 4194304 4196468 140736050940896 139678044035984 139678039803605 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9609216 140736050947067 140736050947226 140736050947226 140736050950095 0
[pid=14018/tid=14021] ppid=13997 vsize=7937364 memory=3736 CPUtime=77.98 cores=0,2,4,6
/proc/14018/task/14021/stat : 14021 (java) S 13997 13997 8795 0 -1 1077944384 1 572527 0 0 0 0 7740 58 20 0 17 0 405988958 8127860736 50169 33554432000 4194304 4196468 140736050940896 139677844204304 139678039803605 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9609216 140736050947067 140736050947226 140736050947226 140736050950095 0
[pid=14018/tid=14022] ppid=13997 vsize=7937364 memory=1412 CPUtime=77.98 cores=0,2,4,6
/proc/14018/task/14022/stat : 14022 (java) S 13997 13997 8795 0 -1 1077944384 1 572527 0 0 0 0 7740 58 20 0 17 0 405988958 8127860736 50169 33554432000 4194304 4196468 140736050940896 139677843152016 139678039803605 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9609216 140736050947067 140736050947226 140736050947226 140736050950095 0
[pid=14018/tid=14023] ppid=13997 vsize=7937364 memory=3524 CPUtime=77.98 cores=0,2,4,6
/proc/14018/task/14023/stat : 14023 (java) S 13997 13997 8795 0 -1 1077944384 2 572527 0 0 0 0 7740 58 20 0 17 0 405988958 8127860736 50169 33554432000 4194304 4196468 140736050940896 139677842099216 139678039803605 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9609216 140736050947067 140736050947226 140736050947226 140736050950095 0
[pid=14018/tid=14024] ppid=13997 vsize=7937364 memory=1476 CPUtime=77.98 cores=0,2,4,6
/proc/14018/task/14024/stat : 14024 (java) S 13997 13997 8795 0 -1 1077944384 6 572527 0 0 0 0 7740 58 20 0 17 0 405988960 8127860736 50169 33554432000 4194304 4196468 140736050940896 139677419006064 139678039804546 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9609216 140736050947067 140736050947226 140736050947226 140736050950095 0
[pid=14018/tid=14025] ppid=13997 vsize=7937364 memory=134476 CPUtime=77.98 cores=0,2,4,6
/proc/14018/task/14025/stat : 14025 (java) S 13997 13997 8795 0 -1 1077944384 13 572527 0 0 0 0 7740 58 20 0 17 0 405988960 8127860736 50169 33554432000 4194304 4196468 140736050940896 139676899861280 139678039803605 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9609216 140736050947067 140736050947226 140736050947226 140736050950095 0
[pid=14018/tid=14026] ppid=13997 vsize=7937364 memory=1012780 CPUtime=77.98 cores=0,2,4,6
/proc/14018/task/14026/stat : 14026 (java) S 13997 13997 8795 0 -1 1077944384 1 572527 0 0 0 0 7740 58 20 0 17 0 405988960 8127860736 50169 33554432000 4194304 4196468 140736050940896 139676631426160 139678039803605 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9609216 140736050947067 140736050947226 140736050947226 140736050950095 0
[pid=14018/tid=14027] ppid=13997 vsize=7937364 memory=4096 CPUtime=77.98 cores=0,2,4,6
/proc/14018/task/14027/stat : 14027 (java) S 13997 13997 8795 0 -1 1077944384 3 572527 0 0 0 0 7740 58 20 0 17 0 405988963 8127860736 50169 33554432000 4194304 4196468 140736050940896 139676256917584 139678039811995 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9609216 140736050947067 140736050947226 140736050947226 140736050950095 0
[pid=14018/tid=14028] ppid=13997 vsize=7937364 memory=1408 CPUtime=78.23 cores=0,2,4,6
/proc/14018/task/14028/stat : 14028 (java) R 13997 13997 8795 0 -1 1077944384 909 572527 0 0 25 0 7740 58 20 0 17 0 405988963 8127860736 50169 33554432000 4194304 4196468 140736050940896 139677417953904 139678039804546 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9609216 140736050947067 140736050947226 140736050947226 140736050950095 0
[pid=14018/tid=14029] ppid=13997 vsize=7937364 memory=3244 CPUtime=78.15 cores=0,2,4,6
/proc/14018/task/14029/stat : 14029 (java) R 13997 13997 8795 0 -1 4202560 710 572527 0 0 17 0 7740 58 20 0 17 0 405988963 8127860736 50169 33554432000 4194304 4196468 140736050940896 139677416901104 139678039814746 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9609216 140736050947067 140736050947226 140736050947226 140736050950095 0
[pid=14018/tid=14030] ppid=13997 vsize=7937364 memory=1476 CPUtime=78.28 cores=0,2,4,6
/proc/14018/task/14030/stat : 14030 (java) S 13997 13997 8795 0 -1 1077944384 1130 572527 0 0 30 0 7740 58 20 0 17 0 405988963 8127860736 50169 33554432000 4194304 4196468 140736050940896 139677415848816 139678039804546 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9609216 140736050947067 140736050947226 140736050947226 140736050950095 0
[pid=14018/tid=14031] ppid=13997 vsize=7937364 memory=119168 CPUtime=77.98 cores=0,2,4,6
/proc/14018/task/14031/stat : 14031 (java) S 13997 13997 8795 0 -1 1077944384 3 572527 0 0 0 0 7740 58 20 0 17 0 405988963 8127860736 50169 33554432000 4194304 4196468 140736050940896 139675759012832 139678039803605 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9609216 140736050947067 140736050947226 140736050947226 140736050950095 0
[pid=14018/tid=14032] ppid=13997 vsize=7937364 memory=-8486080722631693414 CPUtime=78.06 cores=0,2,4,6
/proc/14018/task/14032/stat : 14032 (java) S 13997 13997 8795 0 -1 1077944384 7 572527 0 0 4 4 7740 58 20 0 17 0 405988964 8127860736 50169 33554432000 4194304 4196468 140736050940896 139677414795696 139678039804546 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9609216 140736050947067 140736050947226 140736050947226 140736050950095 0
[pid=14018/tid=14034] ppid=13997 vsize=7937364 memory=4426639978525455914 CPUtime=77.98 cores=0,2,4,6
/proc/14018/task/14034/stat : 14034 (java) S 13997 13997 8795 0 -1 1077944384 25 572527 0 0 0 0 7740 58 20 0 17 0 405989032 8127860736 50169 33554432000 4194304 4196468 140736050940896 139677406761104 139678039804546 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9609216 140736050947067 140736050947226 140736050947226 140736050950095 0
[pid=14018/tid=14038] ppid=13997 vsize=7937364 memory=-7521736447810188379 CPUtime=77.98 cores=0,2,4,6
/proc/14018/task/14038/stat : 14038 (java) S 13997 13997 8795 0 -1 1077944384 9 572527 0 0 0 0 7740 58 20 0 17 0 405989035 8127860736 50169 33554432000 4194304 4196468 140736050940896 139674953704624 139678039804546 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9609216 140736050947067 140736050947226 140736050947226 140736050950095 0
Current children cumulated CPU time: 122.7 s
Current children cumulated vsize: 8050492 KiB
Current children cumulated memory: 202152 KiB

[startup+113.503 s]
/proc/loadavg: 2.06 2.09 2.07 3/240 14052
/proc/meminfo: memFree=22876136/32770624 swapFree=66927100/67108860
[pid=13997] ppid=13994 vsize=113128 memory=1476 CPUtime=42.84 cores=0,2,4,6
/proc/13997/stat : 13997 (scop.sh) S 13994 13997 8795 0 -1 4202496 584 43487 0 0 0 0 4160 124 20 0 1 0 405985511 115843072 369 33554432000 4194304 5098028 140732400172448 140732400169192 140321132282492 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 32698368 140732400177960 140732400178288 140732400178288 140732400181197 0
/proc/13997/statm: 28282 369 311 221 0 87 0
[pid=14018] ppid=13997 vsize=7938388 memory=223496 CPUtime=80.14 cores=0,2,4,6
/proc/14018/stat : 14018 (java) S 13997 13997 8795 0 -1 1077944320 22853 572527 0 0 203 13 7740 58 20 0 17 0 405988956 8128909312 55874 33554432000 4194304 4196468 140736050940896 140736050923440 139678039793399 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9609216 140736050947067 140736050947226 140736050947226 140736050950095 0
/proc/14018/statm: 1984597 55874 3233 1 0 1945941 0
[pid=14018/tid=14019] ppid=13997 vsize=7938388 memory=119168 CPUtime=78.91 cores=0,2,4,6
/proc/14018/task/14019/stat : 14019 (java) R 13997 13997 8795 0 -1 4202560 18292 572527 0 0 85 8 7740 58 20 0 17 0 405988957 8128909312 55874 33554432000 4194304 4196468 140736050940896 139678011620128 139678032473117 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9609216 140736050947067 140736050947226 140736050947226 140736050950095 0
[pid=14018/tid=14020] ppid=13997 vsize=7938388 memory=119168 CPUtime=77.98 cores=0,2,4,6
/proc/14018/task/14020/stat : 14020 (java) S 13997 13997 8795 0 -1 1077944384 1 572527 0 0 0 0 7740 58 20 0 17 0 405988958 8128909312 55874 33554432000 4194304 4196468 140736050940896 139678044035984 139678039803605 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9609216 140736050947067 140736050947226 140736050947226 140736050950095 0
[pid=14018/tid=14021] ppid=13997 vsize=7938388 memory=189372 CPUtime=77.98 cores=0,2,4,6
/proc/14018/task/14021/stat : 14021 (java) S 13997 13997 8795 0 -1 1077944384 1 572527 0 0 0 0 7740 58 20 0 17 0 405988958 8128909312 55874 33554432000 4194304 4196468 140736050940896 139677844204304 139678039803605 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9609216 140736050947067 140736050947226 140736050947226 140736050950095 0
[pid=14018/tid=14022] ppid=13997 vsize=7938388 memory=1476 CPUtime=77.98 cores=0,2,4,6
/proc/14018/task/14022/stat : 14022 (java) S 13997 13997 8795 0 -1 1077944384 1 572527 0 0 0 0 7740 58 20 0 17 0 405988958 8128909312 55874 33554432000 4194304 4196468 140736050940896 139677843152016 139678039803605 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9609216 140736050947067 140736050947226 140736050947226 140736050950095 0
[pid=14018/tid=14023] ppid=13997 vsize=7938388 memory=134476 CPUtime=77.98 cores=0,2,4,6
/proc/14018/task/14023/stat : 14023 (java) S 13997 13997 8795 0 -1 1077944384 2 572527 0 0 0 0 7740 58 20 0 17 0 405988958 8128909312 55874 33554432000 4194304 4196468 140736050940896 139677842099216 139678039803605 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9609216 140736050947067 140736050947226 140736050947226 140736050950095 0
[pid=14018/tid=14024] ppid=13997 vsize=7938388 memory=536912 CPUtime=77.98 cores=0,2,4,6
/proc/14018/task/14024/stat : 14024 (java) S 13997 13997 8795 0 -1 1077944384 6 572527 0 0 0 0 7740 58 20 0 17 0 405988960 8128909312 55874 33554432000 4194304 4196468 140736050940896 139677419006064 139678039804546 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9609216 140736050947067 140736050947226 140736050947226 140736050950095 0
[pid=14018/tid=14025] ppid=13997 vsize=7938388 memory=-7824251494390520939 CPUtime=77.98 cores=0,2,4,6
/proc/14018/task/14025/stat : 14025 (java) S 13997 13997 8795 0 -1 1077944384 13 572527 0 0 0 0 7740 58 20 0 17 0 405988960 8128909312 55874 33554432000 4194304 4196468 140736050940896 139676899861280 139678039803605 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9609216 140736050947067 140736050947226 140736050947226 140736050950095 0
[pid=14018/tid=14026] ppid=13997 vsize=7938388 memory=1560 CPUtime=77.98 cores=0,2,4,6
/proc/14018/task/14026/stat : 14026 (java) S 13997 13997 8795 0 -1 1077944384 1 572527 0 0 0 0 7740 58 20 0 17 0 405988960 8128909312 55874 33554432000 4194304 4196468 140736050940896 139676631426160 139678039803605 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9609216 140736050947067 140736050947226 140736050947226 140736050950095 0
[pid=14018/tid=14027] ppid=13997 vsize=7938388 memory=534864 CPUtime=77.98 cores=0,2,4,6
/proc/14018/task/14027/stat : 14027 (java) S 13997 13997 8795 0 -1 1077944384 3 572527 0 0 0 0 7740 58 20 0 17 0 405988963 8128909312 55874 33554432000 4194304 4196468 140736050940896 139676256917584 139678039811995 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9609216 140736050947067 140736050947226 140736050947226 140736050950095 0
[pid=14018/tid=14028] ppid=13997 vsize=7938388 memory=119132 CPUtime=78.28 cores=0,2,4,6
/proc/14018/task/14028/stat : 14028 (java) S 13997 13997 8795 0 -1 1077944384 935 572527 0 0 30 0 7740 58 20 0 17 0 405988963 8128909312 55874 33554432000 4194304 4196468 140736050940896 139677417953904 139678039804546 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9609216 140736050947067 140736050947226 140736050947226 140736050950095 0
[pid=14018/tid=14029] ppid=13997 vsize=7938388 memory=1476 CPUtime=78.23 cores=0,2,4,6
/proc/14018/task/14029/stat : 14029 (java) S 13997 13997 8795 0 -1 1077944384 761 572527 0 0 25 0 7740 58 20 0 17 0 405988963 8128909312 55874 33554432000 4194304 4196468 140736050940896 139677416901104 139678039804546 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9609216 140736050947067 140736050947226 140736050947226 140736050950095 0
[pid=14018/tid=14030] ppid=13997 vsize=7938388 memory=119168 CPUtime=78.32 cores=0,2,4,6
/proc/14018/task/14030/stat : 14030 (java) R 13997 13997 8795 0 -1 4202560 1224 572527 0 0 34 0 7740 58 20 0 17 0 405988963 8128909312 55874 33554432000 4194304 4196468 140736050940896 139677415843856 139678032893246 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9609216 140736050947067 140736050947226 140736050947226 140736050950095 0
[pid=14018/tid=14031] ppid=13997 vsize=7938388 memory=2496 CPUtime=77.98 cores=0,2,4,6
/proc/14018/task/14031/stat : 14031 (java) S 13997 13997 8795 0 -1 1077944384 3 572527 0 0 0 0 7740 58 20 0 17 0 405988963 8128909312 55874 33554432000 4194304 4196468 140736050940896 139675759012832 139678039803605 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9609216 140736050947067 140736050947226 140736050947226 140736050950095 0
[pid=14018/tid=14032] ppid=13997 vsize=7938388 memory=1764 CPUtime=78.06 cores=0,2,4,6
/proc/14018/task/14032/stat : 14032 (java) S 13997 13997 8795 0 -1 1077944384 7 572527 0 0 4 4 7740 58 20 0 17 0 405988964 8128909312 55874 33554432000 4194304 4196468 140736050940896 139677414795696 139678039804546 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9609216 140736050947067 140736050947226 140736050947226 140736050950095 0
[pid=14018/tid=14034] ppid=13997 vsize=7938388 memory=1476 CPUtime=77.98 cores=0,2,4,6
/proc/14018/task/14034/stat : 14034 (java) S 13997 13997 8795 0 -1 1077944384 25 572527 0 0 0 0 7740 58 20 0 17 0 405989032 8128909312 55874 33554432000 4194304 4196468 140736050940896 139677406761104 139678039804546 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9609216 140736050947067 140736050947226 140736050947226 140736050950095 0
[pid=14018/tid=14038] ppid=13997 vsize=7938388 memory=3580 CPUtime=77.98 cores=0,2,4,6
/proc/14018/task/14038/stat : 14038 (java) S 13997 13997 8795 0 -1 1077944384 9 572527 0 0 0 0 7740 58 20 0 17 0 405989035 8128909312 55874 33554432000 4194304 4196468 140736050940896 139674953704624 139678039804546 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9609216 140736050947067 140736050947226 140736050947226 140736050950095 0
Current children cumulated CPU time: 122.98 s
Current children cumulated vsize: 8051516 KiB
Current children cumulated memory: 224972 KiB

Child status: 0
Real time (s): 113.545
CPU time (s): 123.069
CPU user time (s): 121.06
CPU system time (s): 2.00876
CPU usage (%): 108.388
Max. virtual memory (cumulated for all children) (KiB): 15142500
Max. memory (cumulated for all children) (KiB): 3982164

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 121.06
system time used= 2.00876
maximum resident set size= 3981048
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 639826
page faults= 0
swaps= 0
block input operations= 8
block output operations= 334944
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8869
involuntary context switches= 225


# summary of solver processes directly reported to runsolver:
#   pid: 13997
#   total CPU time (s): 123.069
#   total CPU user time (s): 121.06
#   total CPU system time (s): 2.00876

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.983042 second user time and 1.10737 second system time

The end

Launcher Data 

Begin job on node137 at 2019-09-12 16:08:59
IDJOB=4388241
IDBENCH=138480
IDSOLVER=2825
FILE ID=node137/4388241-1568297381
RUNJOBID= node137-1568286693-10212
PBS_JOBID= 21701071
Free space on /tmp= 56500 MiB

SOLVER NAME= Fun-sCOP order+GlueMiniSat (2019-06-15)
BENCH NAME= XCSP17/SuperSolutions/SuperSolutions-Taillard-js15/SuperTaillard-js-15-13.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-4388241-1568297381/watcher-4388241-1568297381 -o /tmp/evaluation-result-4388241-1568297381/solver-4388241-1568297381 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node137-1568286693-10212 --watchdog 2580  HOME/scop.sh 11g HOME/scop.jar -order HOME/glueminisat-simp-2.2.10-193oa-n-release -model:-verb=3:-elim-cl=5000000:-native-oa HOME HOME/instance-4388241-1568297381.xml

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

MD5SUM BENCH= 388994c608323cc5ca888624a3c66f06
RANDOM SEED=389476154

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        23717224 kB
MemAvailable:   30668756 kB
Buffers:          116884 kB
Cached:          7069240 kB
SwapCached:        77616 kB
Active:          3014892 kB
Inactive:        5369784 kB
Active(anon):    1121468 kB
Inactive(anon):   118208 kB
Active(file):    1893424 kB
Inactive(file):  5251576 kB
Unevictable:      108040 kB
Mlocked:          108040 kB
SwapTotal:      67108860 kB
SwapFree:       66927100 kB
Dirty:             21080 kB
Writeback:             0 kB
AnonPages:       1363728 kB
Mapped:            55324 kB
Shmem:             32632 kB
Slab:             264428 kB
SReclaimable:     234992 kB
SUnreclaim:        29436 kB
KernelStack:        4080 kB
PageTables:         8472 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    6996528 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    604160 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      105856 kB
DirectMap2M:    33439744 kB

Free space on /tmp at the end= 56480 MiB
End job on node137 at 2019-09-12 16:10:53