Trace number 4458642

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 NameAnswerobjective functionCPU timeWall clock time
RoundingSat nolog (1)OPT140 166.12 166.684

General information on the benchmark

NamePB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/dominating_set/
hexgrid_nrowsdiv30add5/normalized-domset_opt_hexgrid_nrowsdiv30add5_ncols_080.opb
MD5SUM6f0521fdb0b18beb600868184781ec28
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark140
Best CPU time to get the best result obtained on this benchmark0.141667
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables560
Total number of constraints560
Number of constraints which are clauses560
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint4
Maximum length of a constraint4
Number of terms in the objective function 560
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 560
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 560
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c RoundingSat 2
0.00/0.00	c branch 
0.00/0.00	c commit 
0.00/0.00	c #variables 560 #constraints 560
0.09/0.20	c bounds 561 >= 0 @ 0.002295
0.09/0.20	c bounds 170 >= 0 @ 0.113538
0.09/0.20	c bounds 170 >= 1 @ 0.113655
0.09/0.20	c bounds 170 >= 2 @ 0.113733
0.09/0.20	c bounds 170 >= 3 @ 0.113805
0.09/0.20	c bounds 170 >= 4 @ 0.113876
0.09/0.20	c bounds 170 >= 5 @ 0.113947
0.09/0.20	c bounds 170 >= 6 @ 0.114014
0.09/0.20	c bounds 170 >= 7 @ 0.114088
0.09/0.20	c bounds 170 >= 8 @ 0.114157
0.09/0.20	c bounds 170 >= 9 @ 0.114228
0.09/0.20	c bounds 170 >= 10 @ 0.114301
0.09/0.20	c bounds 170 >= 11 @ 0.11437
0.09/0.20	c bounds 170 >= 12 @ 0.114439
0.09/0.20	c bounds 170 >= 13 @ 0.114513
0.09/0.20	c bounds 170 >= 14 @ 0.114588
0.09/0.20	c bounds 170 >= 15 @ 0.114662
0.09/0.20	c bounds 170 >= 16 @ 0.114736
0.09/0.20	c bounds 170 >= 17 @ 0.114809
0.09/0.20	c bounds 170 >= 18 @ 0.114878
0.09/0.20	c bounds 170 >= 19 @ 0.114956
0.09/0.20	c bounds 170 >= 20 @ 0.115032
0.09/0.20	c bounds 170 >= 21 @ 0.115104
0.09/0.20	c bounds 170 >= 22 @ 0.11518
0.09/0.20	c bounds 170 >= 23 @ 0.115253
0.09/0.20	c bounds 170 >= 24 @ 0.115326
0.09/0.20	c bounds 170 >= 25 @ 0.115405
0.09/0.20	c bounds 170 >= 26 @ 0.115479
0.09/0.20	c bounds 170 >= 27 @ 0.115554
0.09/0.20	c bounds 170 >= 28 @ 0.11563
0.09/0.20	c bounds 170 >= 29 @ 0.115708
0.09/0.20	c bounds 170 >= 30 @ 0.115783
0.09/0.20	c bounds 170 >= 31 @ 0.115861
0.09/0.20	c bounds 170 >= 32 @ 0.11594
0.09/0.20	c bounds 170 >= 33 @ 0.116015
0.09/0.20	c bounds 170 >= 34 @ 0.116094
0.09/0.20	c bounds 170 >= 35 @ 0.116173
0.09/0.20	c bounds 170 >= 36 @ 0.116248
0.09/0.20	c bounds 170 >= 37 @ 0.11633
0.09/0.20	c bounds 170 >= 38 @ 0.116426
0.09/0.20	c bounds 170 >= 39 @ 0.116508
0.09/0.20	c bounds 170 >= 40 @ 0.116592
0.09/0.20	c bounds 170 >= 41 @ 0.116671
0.09/0.20	c bounds 170 >= 42 @ 0.116698
0.09/0.20	c bounds 170 >= 43 @ 0.116698
0.09/0.20	c bounds 170 >= 44 @ 0.116698
0.09/0.20	c bounds 170 >= 45 @ 0.116698
0.09/0.20	c bounds 170 >= 46 @ 0.116698
0.09/0.20	c bounds 170 >= 47 @ 0.116698
0.09/0.20	c bounds 170 >= 48 @ 0.116698
0.09/0.20	c bounds 170 >= 49 @ 0.116698
0.09/0.20	c bounds 170 >= 50 @ 0.116698
0.09/0.20	c bounds 170 >= 51 @ 0.116698
0.09/0.20	c bounds 170 >= 52 @ 0.116698
0.09/0.20	c bounds 170 >= 53 @ 0.116698
0.09/0.20	c bounds 170 >= 54 @ 0.116781
0.09/0.20	c bounds 170 >= 55 @ 0.116869
0.09/0.20	c bounds 170 >= 56 @ 0.116954
0.09/0.20	c bounds 170 >= 57 @ 0.117039
0.09/0.20	c bounds 170 >= 58 @ 0.117124
0.09/0.20	c bounds 170 >= 59 @ 0.117209
0.09/0.20	c bounds 170 >= 60 @ 0.117293
0.09/0.20	c bounds 170 >= 61 @ 0.117382
0.09/0.20	c bounds 170 >= 62 @ 0.11747
0.09/0.20	c bounds 170 >= 63 @ 0.117557
0.09/0.20	c bounds 170 >= 64 @ 0.117641
0.09/0.20	c bounds 169 >= 64 @ 0.127677
0.09/0.20	c bounds 169 >= 65 @ 0.127677
0.09/0.20	c bounds 169 >= 66 @ 0.127677
0.09/0.20	c bounds 169 >= 67 @ 0.127677
0.09/0.20	c bounds 169 >= 68 @ 0.127677
0.09/0.20	c bounds 169 >= 69 @ 0.127678
0.09/0.20	c bounds 169 >= 70 @ 0.127678
0.09/0.20	c bounds 169 >= 71 @ 0.127678
0.09/0.20	c bounds 169 >= 72 @ 0.127678
0.09/0.20	c bounds 169 >= 73 @ 0.127678
0.09/0.20	c bounds 169 >= 74 @ 0.127678
0.09/0.20	c bounds 169 >= 75 @ 0.127678
0.09/0.20	c bounds 169 >= 76 @ 0.127678
0.09/0.20	c bounds 169 >= 77 @ 0.127678
0.09/0.20	c bounds 169 >= 78 @ 0.127678
0.09/0.20	c bounds 169 >= 79 @ 0.127678
0.09/0.20	c bounds 169 >= 80 @ 0.127773
0.09/0.20	c bounds 169 >= 81 @ 0.127869
0.09/0.20	c bounds 169 >= 82 @ 0.127966
0.09/0.20	c bounds 169 >= 83 @ 0.128058
0.09/0.20	c bounds 169 >= 84 @ 0.128155
0.09/0.20	c bounds 169 >= 85 @ 0.128255
0.09/0.20	c bounds 169 >= 86 @ 0.128355
0.09/0.20	c bounds 169 >= 87 @ 0.128448
0.09/0.20	c bounds 169 >= 88 @ 0.12855
0.09/0.20	c bounds 169 >= 89 @ 0.128648
0.09/0.20	c bounds 169 >= 90 @ 0.128742
0.09/0.20	c bounds 169 >= 91 @ 0.128845
0.09/0.20	c bounds 169 >= 92 @ 0.128942
0.09/0.20	c bounds 169 >= 93 @ 0.129041
0.09/0.20	c bounds 169 >= 94 @ 0.129145
0.09/0.20	c bounds 169 >= 95 @ 0.129243
0.09/0.20	c bounds 169 >= 96 @ 0.129341
0.09/0.20	c bounds 169 >= 97 @ 0.129448
0.09/0.20	c bounds 169 >= 98 @ 0.12955
0.09/0.20	c bounds 169 >= 99 @ 0.129651
0.09/0.20	c bounds 169 >= 100 @ 0.129675
0.09/0.20	c bounds 169 >= 101 @ 0.129675
0.09/0.20	c bounds 169 >= 102 @ 0.129675
0.09/0.20	c bounds 169 >= 103 @ 0.129675
0.09/0.20	c bounds 169 >= 104 @ 0.129675
0.09/0.20	c bounds 169 >= 105 @ 0.129675
0.09/0.20	c bounds 169 >= 106 @ 0.129675
0.09/0.20	c bounds 169 >= 107 @ 0.129675
0.09/0.20	c bounds 169 >= 108 @ 0.129675
0.09/0.20	c bounds 169 >= 109 @ 0.129676
0.09/0.20	c bounds 169 >= 110 @ 0.129676
0.09/0.20	c bounds 169 >= 111 @ 0.129676
0.09/0.20	c bounds 169 >= 112 @ 0.129676
0.09/0.20	c bounds 169 >= 113 @ 0.129676
0.09/0.20	c bounds 169 >= 114 @ 0.129676
0.09/0.20	c bounds 169 >= 115 @ 0.129676
0.09/0.20	c bounds 169 >= 116 @ 0.129676
0.09/0.20	c bounds 169 >= 117 @ 0.129676
0.09/0.20	c bounds 169 >= 118 @ 0.129706
0.09/0.20	c bounds 169 >= 119 @ 0.129817
0.09/0.20	c bounds 169 >= 120 @ 0.129922
0.09/0.20	c bounds 169 >= 121 @ 0.130053
0.09/0.20	c bounds 169 >= 122 @ 0.13016
0.09/0.20	c bounds 169 >= 123 @ 0.130266
0.09/0.20	c bounds 169 >= 124 @ 0.130379
0.09/0.20	c bounds 169 >= 125 @ 0.130488
0.09/0.20	c bounds 169 >= 126 @ 0.130596
0.09/0.20	c bounds 169 >= 127 @ 0.130727
0.09/0.20	c bounds 169 >= 128 @ 0.130863
0.09/0.20	c bounds 169 >= 129 @ 0.131015
0.09/0.20	c bounds 169 >= 130 @ 0.132221
0.09/0.20	c bounds 169 >= 131 @ 0.132672
0.09/0.20	c bounds 169 >= 132 @ 0.136919
0.09/0.20	c bounds 169 >= 133 @ 0.164129
0.09/0.20	c bounds 168 >= 133 @ 0.170774
0.40/0.42	c bounds 167 >= 133 @ 0.179284
0.40/0.42	c bounds 166 >= 133 @ 0.190729
0.40/0.42	c bounds 165 >= 133 @ 0.199123
0.40/0.42	c #Conflicts:       1000 | #Constraints:       2225
0.40/0.42	c bounds 164 >= 133 @ 0.215165
0.40/0.42	c bounds 164 >= 134 @ 0.219894
0.40/0.42	c bounds 163 >= 134 @ 0.225311
0.40/0.42	c bounds 163 >= 135 @ 0.232427
0.40/0.42	c bounds 162 >= 135 @ 0.238033
0.40/0.42	c bounds 162 >= 136 @ 0.284658
0.40/0.42	c bounds 161 >= 136 @ 0.290352
0.40/0.42	c bounds 160 >= 136 @ 0.303626
0.40/0.42	c #Conflicts:       2000 | #Constraints:       3428
0.40/0.42	c INPROCESSING
0.40/0.42	c GARBAGE COLLECT
0.40/0.42	c rational objective 140
1.09/1.15	c bounds 159 >= 136 @ 0.578445
1.09/1.15	c #Conflicts:       3000 | #Constraints:       3300
1.09/1.15	c bounds 158 >= 136 @ 0.746828
1.09/1.15	c #Conflicts:       4000 | #Constraints:       4301
1.09/1.15	c INPROCESSING
1.09/1.15	c GARBAGE COLLECT
1.09/1.15	c rational objective 140
1.68/1.77	c bounds 157 >= 136 @ 1.11955
1.68/1.77	c bounds 156 >= 136 @ 1.16317
1.68/1.77	c bounds 155 >= 136 @ 1.16935
1.68/1.77	c #Conflicts:       5000 | #Constraints:       3759
1.68/1.77	c bounds 154 >= 136 @ 1.27409
1.68/1.77	c bounds 153 >= 136 @ 1.32456
1.68/1.77	c #Conflicts:       6000 | #Constraints:       4766
1.68/1.77	c INPROCESSING
1.68/1.77	c GARBAGE COLLECT
1.68/1.77	c rational objective 140
2.28/2.34	c bounds 152 >= 136 @ 1.70304
2.28/2.34	c #Conflicts:       7000 | #Constraints:       3789
2.28/2.34	c bounds 151 >= 136 @ 1.79757
2.28/2.34	c #Conflicts:       8000 | #Constraints:       4796
2.28/2.34	c bounds 150 >= 136 @ 1.86747
2.28/2.34	c bounds 149 >= 136 @ 1.9614
2.28/2.34	c bounds 148 >= 136 @ 2.00961
2.28/2.34	c #Conflicts:       9000 | #Constraints:       5843
2.28/2.34	c bounds 147 >= 136 @ 2.09242
2.28/2.34	c INPROCESSING
2.28/2.34	c GARBAGE COLLECT
2.28/2.34	c rational objective 140
3.98/4.08	c #Conflicts:      10000 | #Constraints:       4484
3.98/4.08	c bounds 147 >= 137 @ 2.46484
3.98/4.08	c bounds 146 >= 137 @ 2.57594
3.98/4.08	c #Conflicts:      11000 | #Constraints:       5542
3.98/4.08	c #Conflicts:      12000 | #Constraints:       6542
3.98/4.08	c INPROCESSING
3.98/4.08	c GARBAGE COLLECT
3.98/4.08	c #Conflicts:      13000 | #Constraints:       4959
3.98/4.08	c #Conflicts:      14000 | #Constraints:       5959
3.98/4.08	c #Conflicts:      15000 | #Constraints:       6959
3.98/4.08	c INPROCESSING
3.98/4.08	c GARBAGE COLLECT
3.98/4.08	c rational objective 140
4.78/4.84	c bounds 145 >= 137 @ 3.87621
4.78/4.84	c bounds 144 >= 137 @ 3.95967
4.78/4.84	c #Conflicts:      16000 | #Constraints:       5288
4.78/4.84	c bounds 143 >= 137 @ 4.06619
4.78/4.84	c #Conflicts:      17000 | #Constraints:       6320
4.78/4.84	c #Conflicts:      18000 | #Constraints:       7341
4.78/4.84	c INPROCESSING
4.78/4.84	c GARBAGE COLLECT
4.78/4.84	c rational objective 140
5.87/5.96	c #Conflicts:      19000 | #Constraints:       5292
5.87/5.96	c #Conflicts:      20000 | #Constraints:       6306
5.87/5.96	c #Conflicts:      21000 | #Constraints:       7323
5.87/5.96	c INPROCESSING
5.87/5.96	c GARBAGE COLLECT
5.87/5.96	c rational objective 140
7.47/7.53	c #Conflicts:      22000 | #Constraints:       5075
7.47/7.53	c #Conflicts:      23000 | #Constraints:       6075
7.47/7.53	c #Conflicts:      24000 | #Constraints:       7075
7.47/7.53	c #Conflicts:      25000 | #Constraints:       8075
7.47/7.53	c INPROCESSING
7.47/7.53	c GARBAGE COLLECT
7.47/7.53	c rational objective 140
8.96/9.08	c #Conflicts:      26000 | #Constraints:       5741
8.96/9.08	c #Conflicts:      27000 | #Constraints:       6750
8.96/9.08	c #Conflicts:      28000 | #Constraints:       7769
8.96/9.08	c #Conflicts:      29000 | #Constraints:       8783
8.96/9.08	c INPROCESSING
8.96/9.08	c GARBAGE COLLECT
8.96/9.08	c rational objective 140
11.06/11.16	c #Conflicts:      30000 | #Constraints:       6105
11.06/11.16	c #Conflicts:      31000 | #Constraints:       7105
11.06/11.16	c #Conflicts:      32000 | #Constraints:       8105
11.06/11.16	c #Conflicts:      33000 | #Constraints:       9105
11.06/11.16	c INPROCESSING
11.06/11.16	c GARBAGE COLLECT
11.06/11.16	c rational objective 140
12.65/12.73	c #Conflicts:      34000 | #Constraints:       6354
12.65/12.73	c #Conflicts:      35000 | #Constraints:       7363
12.65/12.73	c #Conflicts:      36000 | #Constraints:       8387
12.65/12.73	c #Conflicts:      37000 | #Constraints:       9406
12.65/12.73	c INPROCESSING
12.65/12.73	c GARBAGE COLLECT
12.65/12.73	c rational objective 140
14.54/14.69	c #Conflicts:      38000 | #Constraints:       6336
14.54/14.69	c #Conflicts:      39000 | #Constraints:       7351
14.54/14.69	c #Conflicts:      40000 | #Constraints:       8366
14.54/14.69	c #Conflicts:      41000 | #Constraints:       9377
14.54/14.69	c INPROCESSING
14.54/14.69	c GARBAGE COLLECT
14.54/14.69	c rational objective 140
16.94/17.04	c #Conflicts:      42000 | #Constraints:       6098
16.94/17.04	c #Conflicts:      43000 | #Constraints:       7098
16.94/17.04	c bounds 143 >= 138 @ 14.7172
16.94/17.04	c #Conflicts:      44000 | #Constraints:       8240
16.94/17.04	c #Conflicts:      45000 | #Constraints:       9240
16.94/17.04	c #Conflicts:      46000 | #Constraints:      10240
16.94/17.04	c INPROCESSING
16.94/17.04	c GARBAGE COLLECT
16.94/17.04	c rational objective 140
18.73/18.84	c #Conflicts:      47000 | #Constraints:       6862
18.73/18.84	c #Conflicts:      48000 | #Constraints:       7884
18.73/18.84	c #Conflicts:      49000 | #Constraints:       8903
18.73/18.84	c #Conflicts:      50000 | #Constraints:       9921
18.73/18.84	c #Conflicts:      51000 | #Constraints:      10941
18.73/18.84	c INPROCESSING
18.73/18.84	c GARBAGE COLLECT
18.73/18.84	c rational objective 140
21.42/21.56	c #Conflicts:      52000 | #Constraints:       7260
21.42/21.56	c #Conflicts:      53000 | #Constraints:       8261
21.42/21.56	c #Conflicts:      54000 | #Constraints:       9261
21.42/21.56	c #Conflicts:      55000 | #Constraints:      10261
21.42/21.56	c #Conflicts:      56000 | #Constraints:      11261
21.42/21.56	c INPROCESSING
21.42/21.56	c GARBAGE COLLECT
21.42/21.56	c rational objective 140
41.75/41.91	c #Conflicts:      57000 | #Constraints:       7522
41.75/41.91	c #Conflicts:      58000 | #Constraints:       8546
41.75/41.91	c #Conflicts:      59000 | #Constraints:       9567
41.75/41.91	c #Conflicts:      60000 | #Constraints:      10581
41.75/41.91	c #Conflicts:      61000 | #Constraints:      11600
41.75/41.91	c #Conflicts:      62000 | #Constraints:      12617
41.75/41.91	c #Conflicts:      63000 | #Constraints:      13630
41.75/41.91	c #Conflicts:      64000 | #Constraints:      14645
41.75/41.91	c #Conflicts:      65000 | #Constraints:      15658
41.75/41.91	c #Conflicts:      66000 | #Constraints:      16670
41.75/41.91	c #Conflicts:      67000 | #Constraints:      17684
41.75/41.91	c #Conflicts:      68000 | #Constraints:      18695
41.75/41.91	c #Conflicts:      69000 | #Constraints:      19710
41.75/41.91	c #Conflicts:      70000 | #Constraints:      20723
41.75/41.91	c #Conflicts:      71000 | #Constraints:      21739
41.75/41.91	c #Conflicts:      72000 | #Constraints:      22756
41.75/41.91	c #Conflicts:      73000 | #Constraints:      23764
41.75/41.91	c #Conflicts:      74000 | #Constraints:      24775
41.75/41.91	c #Conflicts:      75000 | #Constraints:      25790
41.75/41.91	c #Conflicts:      76000 | #Constraints:      26807
41.75/41.91	c INPROCESSING
41.75/41.91	c GARBAGE COLLECT
41.75/41.91	c rational objective 140
47.14/47.36	c #Conflicts:      77000 | #Constraints:      14949
47.14/47.36	c #Conflicts:      78000 | #Constraints:      15949
47.14/47.36	c #Conflicts:      79000 | #Constraints:      16949
47.14/47.36	c #Conflicts:      80000 | #Constraints:      17949
47.14/47.36	c #Conflicts:      81000 | #Constraints:      18949
47.14/47.36	c #Conflicts:      82000 | #Constraints:      19949
47.14/47.36	c INPROCESSING
47.14/47.36	c GARBAGE COLLECT
47.14/47.36	c rational objective 140
53.82/54.01	c #Conflicts:      83000 | #Constraints:      11455
53.82/54.01	c #Conflicts:      84000 | #Constraints:      12455
53.82/54.01	c #Conflicts:      85000 | #Constraints:      13455
53.82/54.01	c #Conflicts:      86000 | #Constraints:      14455
53.82/54.01	c #Conflicts:      87000 | #Constraints:      15455
53.82/54.01	c #Conflicts:      88000 | #Constraints:      16455
53.82/54.01	c #Conflicts:      89000 | #Constraints:      17455
53.82/54.01	c INPROCESSING
53.82/54.01	c GARBAGE COLLECT
53.82/54.01	c rational objective 140
60.80/61.03	c #Conflicts:      90000 | #Constraints:      10471
60.80/61.03	c #Conflicts:      91000 | #Constraints:      11471
60.80/61.03	c #Conflicts:      92000 | #Constraints:      12471
60.80/61.03	c #Conflicts:      93000 | #Constraints:      13471
60.80/61.03	c #Conflicts:      94000 | #Constraints:      14471
60.80/61.03	c #Conflicts:      95000 | #Constraints:      15471
60.80/61.03	c #Conflicts:      96000 | #Constraints:      16471
60.80/61.03	c INPROCESSING
60.80/61.03	c GARBAGE COLLECT
60.80/61.03	c rational objective 140
93.89/94.22	c #Conflicts:      97000 | #Constraints:      10151
93.89/94.22	c #Conflicts:      98000 | #Constraints:      11175
93.89/94.22	c #Conflicts:      99000 | #Constraints:      12199
93.89/94.22	c #Conflicts:     100000 | #Constraints:      13221
93.89/94.22	c #Conflicts:     101000 | #Constraints:      14243
93.89/94.22	c #Conflicts:     102000 | #Constraints:      15256
93.89/94.22	c #Conflicts:     103000 | #Constraints:      16268
93.89/94.22	c #Conflicts:     104000 | #Constraints:      17288
93.89/94.22	c #Conflicts:     105000 | #Constraints:      18301
93.89/94.22	c #Conflicts:     106000 | #Constraints:      19326
93.89/94.22	c #Conflicts:     107000 | #Constraints:      20341
93.89/94.22	c #Conflicts:     108000 | #Constraints:      21351
93.89/94.22	c bounds 142 >= 138 @ 70.3315
93.89/94.22	c #Conflicts:     109000 | #Constraints:      22364
93.89/94.22	c #Conflicts:     110000 | #Constraints:      23364
93.89/94.22	c #Conflicts:     111000 | #Constraints:      24364
93.89/94.22	c #Conflicts:     112000 | #Constraints:      25364
93.89/94.22	c #Conflicts:     113000 | #Constraints:      26364
93.89/94.22	c #Conflicts:     114000 | #Constraints:      27364
93.89/94.22	c #Conflicts:     115000 | #Constraints:      28364
93.89/94.22	c bounds 142 >= 139 @ 82.3247
93.89/94.22	c #Conflicts:     116000 | #Constraints:      29499
93.89/94.22	c #Conflicts:     117000 | #Constraints:      30507
93.89/94.22	c #Conflicts:     118000 | #Constraints:      31542
93.89/94.22	c #Conflicts:     119000 | #Constraints:      32569
93.89/94.22	c #Conflicts:     120000 | #Constraints:      33590
93.89/94.22	c #Conflicts:     121000 | #Constraints:      34605
93.89/94.22	c bounds 141 >= 139 @ 90.2503
93.89/94.22	c INPROCESSING
93.89/94.22	c GARBAGE COLLECT
93.89/94.22	c rational objective 140
109.33/109.71	c #Conflicts:     122000 | #Constraints:      18846
109.33/109.71	c #Conflicts:     123000 | #Constraints:      19846
109.33/109.71	c #Conflicts:     124000 | #Constraints:      20849
109.33/109.71	c #Conflicts:     125000 | #Constraints:      21852
109.33/109.71	c #Conflicts:     126000 | #Constraints:      22853
109.33/109.71	c #Conflicts:     127000 | #Constraints:      23854
109.33/109.71	c #Conflicts:     128000 | #Constraints:      24857
109.33/109.71	c #Conflicts:     129000 | #Constraints:      25857
109.33/109.71	c INPROCESSING
109.33/109.71	c GARBAGE COLLECT
109.33/109.71	c rational objective 140
115.02/115.49	c #Conflicts:     130000 | #Constraints:      14494
115.02/115.49	c #Conflicts:     131000 | #Constraints:      15494
115.02/115.49	c #Conflicts:     132000 | #Constraints:      16520
115.02/115.49	c #Conflicts:     133000 | #Constraints:      17538
115.02/115.49	c #Conflicts:     134000 | #Constraints:      18551
115.02/115.49	c #Conflicts:     135000 | #Constraints:      19572
115.02/115.49	c #Conflicts:     136000 | #Constraints:      20590
115.02/115.49	c #Conflicts:     137000 | #Constraints:      21598
115.02/115.49	c #Conflicts:     138000 | #Constraints:      22611
115.02/115.49	c INPROCESSING
115.02/115.49	c GARBAGE COLLECT
115.02/115.49	c rational objective 140
119.71/120.16	c #Conflicts:     139000 | #Constraints:      13196
119.71/120.16	c #Conflicts:     140000 | #Constraints:      14213
119.71/120.16	c #Conflicts:     141000 | #Constraints:      15238
119.71/120.16	c #Conflicts:     142000 | #Constraints:      16249
119.71/120.16	c #Conflicts:     143000 | #Constraints:      17263
119.71/120.16	c #Conflicts:     144000 | #Constraints:      18277
119.71/120.16	c #Conflicts:     145000 | #Constraints:      19290
119.71/120.16	c #Conflicts:     146000 | #Constraints:      20305
119.71/120.16	c INPROCESSING
119.71/120.16	c GARBAGE COLLECT
119.71/120.16	c rational objective 140
141.71/142.23	c #Conflicts:     147000 | #Constraints:      11843
141.71/142.23	c #Conflicts:     148000 | #Constraints:      12854
141.71/142.23	c #Conflicts:     149000 | #Constraints:      13865
141.71/142.23	c #Conflicts:     150000 | #Constraints:      14876
141.71/142.23	c #Conflicts:     151000 | #Constraints:      15883
141.71/142.23	c #Conflicts:     152000 | #Constraints:      16897
141.71/142.23	c #Conflicts:     153000 | #Constraints:      17900
141.71/142.23	c #Conflicts:     154000 | #Constraints:      18912
141.71/142.23	c #Conflicts:     155000 | #Constraints:      19918
141.71/142.23	c #Conflicts:     156000 | #Constraints:      20928
141.71/142.23	c #Conflicts:     157000 | #Constraints:      21937
141.71/142.23	c #Conflicts:     158000 | #Constraints:      22950
141.71/142.23	c #Conflicts:     159000 | #Constraints:      23959
141.71/142.23	c #Conflicts:     160000 | #Constraints:      24971
141.71/142.23	c #Conflicts:     161000 | #Constraints:      25978
141.71/142.23	c #Conflicts:     162000 | #Constraints:      26991
141.71/142.23	c #Conflicts:     163000 | #Constraints:      27996
141.71/142.23	c #Conflicts:     164000 | #Constraints:      29007
141.71/142.23	c #Conflicts:     165000 | #Constraints:      30015
141.71/142.23	c #Conflicts:     166000 | #Constraints:      31019
141.71/142.23	c #Conflicts:     167000 | #Constraints:      32024
141.71/142.23	c #Conflicts:     168000 | #Constraints:      33028
141.71/142.23	c #Conflicts:     169000 | #Constraints:      34031
141.71/142.23	c #Conflicts:     170000 | #Constraints:      35034
141.71/142.23	c #Conflicts:     171000 | #Constraints:      36037
141.71/142.23	c #Conflicts:     172000 | #Constraints:      37041
141.71/142.23	c #Conflicts:     173000 | #Constraints:      38048
141.71/142.23	c #Conflicts:     174000 | #Constraints:      39051
141.71/142.23	c #Conflicts:     175000 | #Constraints:      40063
141.71/142.23	c #Conflicts:     176000 | #Constraints:      41068
141.71/142.23	c #Conflicts:     177000 | #Constraints:      42070
141.71/142.23	c INPROCESSING
141.71/142.23	c GARBAGE COLLECT
141.71/142.23	c rational objective 140
151.58/152.13	c #Conflicts:     178000 | #Constraints:      22668
151.58/152.13	c #Conflicts:     179000 | #Constraints:      23670
151.58/152.13	c #Conflicts:     180000 | #Constraints:      24670
151.58/152.13	c #Conflicts:     181000 | #Constraints:      25671
151.58/152.13	c #Conflicts:     182000 | #Constraints:      26671
151.58/152.13	c #Conflicts:     183000 | #Constraints:      27671
151.58/152.13	c #Conflicts:     184000 | #Constraints:      28672
151.58/152.13	c #Conflicts:     185000 | #Constraints:      29675
151.58/152.13	c #Conflicts:     186000 | #Constraints:      30676
151.58/152.13	c #Conflicts:     187000 | #Constraints:      31678
151.58/152.13	c INPROCESSING
151.58/152.13	c GARBAGE COLLECT
151.58/152.13	c rational objective 140
165.33/165.95	c #Conflicts:     188000 | #Constraints:      17685
165.33/165.95	c #Conflicts:     189000 | #Constraints:      18685
165.33/165.95	c #Conflicts:     190000 | #Constraints:      19688
165.33/165.95	c #Conflicts:     191000 | #Constraints:      20688
165.33/165.95	c #Conflicts:     192000 | #Constraints:      21688
165.33/165.95	c #Conflicts:     193000 | #Constraints:      22690
165.33/165.95	c #Conflicts:     194000 | #Constraints:      23690
165.33/165.95	c #Conflicts:     195000 | #Constraints:      24692
165.33/165.95	c #Conflicts:     196000 | #Constraints:      25693
165.33/165.95	c #Conflicts:     197000 | #Constraints:      26694
165.33/165.95	c INPROCESSING
165.33/165.95	c GARBAGE COLLECT
165.33/165.95	c rational objective 140
166.03/166.68	c #Conflicts:     198000 | #Constraints:      15279
166.03/166.68	c bounds 140 >= 139 @ 162.327
166.03/166.68	c bounds 140 >= 139 @ 162.434
166.03/166.68	c cpu time 162.434 s
166.03/166.68	c deterministic time 19191351104 1.92e+10
166.03/166.68	c optimization time 0.00853 s
166.03/166.68	c total solve time 162.423 s
166.03/166.68	c core-guided solve time 80.6025 s
166.03/166.68	c propagation time 135.546 s
166.03/166.68	c conflict analysis time 19.1289 s
166.03/166.68	c propagations 22050005
166.03/166.68	c resolve steps 1382756
166.03/166.68	c decisions 2050578
166.03/166.68	c conflicts 198479
166.03/166.68	c restarts 509
166.03/166.68	c inprocessing phases 27
166.03/166.68	c input clauses 919
166.03/166.68	c input cardinalities 308
166.03/166.68	c input general constraints 552
166.03/166.68	c input average constraint length 58.22
166.03/166.68	c input average constraint degree 14.58
166.03/166.68	c learned clauses 46627
166.03/166.68	c learned cardinalities 3542
166.03/166.68	c learned general constraints 149911
166.03/166.68	c learned average constraint length 124.74
166.03/166.68	c learned average constraint degree 1889187997.85
166.03/166.68	c watched constraints 116642
166.03/166.68	c counting constraints 33821
166.03/166.68	c gcd simplifications 12641
166.03/166.68	c detected cardinalities 427
166.03/166.68	c weakened non-implied lits 5975342
166.03/166.68	c weakened non-implying lits 29823
166.03/166.68	c original variables 560
166.03/166.68	c clausal propagations 2168713
166.03/166.68	c cardinality propagations 1033056
166.03/166.68	c watched propagations 3788826
166.03/166.68	c counting propagations 14560194
166.03/166.68	c watch lookups 3776128770
166.03/166.68	c watch backjump lookups 3211867035
166.03/166.68	c watch checks 10830108317
166.03/166.68	c propagation checks 1222175259
166.03/166.68	c constraint additions 102438440
166.03/166.68	c trail pops 24297468
166.03/166.68	c formula constraints 560
166.03/166.68	c learned constraints 196888
166.03/166.68	c bound constraints 170
166.03/166.68	c core-guided constraints 1049
166.03/166.68	c encountered formula constraints 254611
166.03/166.68	c encountered learned constraints 845230
166.03/166.68	c encountered bound constraints 113
166.03/166.68	c encountered core-guided constraints 170319
166.03/166.68	c LP total time 12.8515 s
166.03/166.68	c LP solve time 10.55 s
166.03/166.68	c LP constraints added 566
166.03/166.68	c LP constraints removed 6
166.03/166.68	c LP pivots internal 200999
166.03/166.68	c LP pivots root 34232
166.03/166.68	c LP calls 1815
166.03/166.68	c LP optimalities 218
166.03/166.68	c LP no pivot count 115
166.03/166.68	c LP infeasibilities 1594
166.03/166.68	c LP valid Farkas constraints 1593
166.03/166.68	c LP learned Farkas constraints 1593
166.03/166.68	c LP basis resets 0
166.03/166.68	c LP cycling count 0
166.03/166.68	c LP singular count 0
166.03/166.68	c LP no primal count 0
166.03/166.68	c LP no farkas count 0
166.03/166.68	c LP other issue count 0
166.03/166.68	c LP Gomory cuts 6
166.03/166.68	c LP learned cuts 0
166.03/166.68	c LP deleted cuts 6
166.03/166.68	c LP encountered Gomory constraints 0
166.03/166.68	c LP encountered Farkas constraints 260317
166.03/166.68	c LP encountered learned Farkas constraints 49051
166.03/166.68	c CG auxiliary variables introduced 396
166.03/166.68	c CG solutions found 31
166.03/166.68	c CG cores constructed 139
166.03/166.68	c CG core cardinality constraints returned 0
166.03/166.68	c CG unit cores 0
166.03/166.68	c CG single cores 139
166.03/166.68	c CG blocks removed during cardinality reduction 0
166.03/166.68	c CG first core best 0
166.03/166.68	c CG decision core best 0
166.03/166.68	c CG core reduction tie 0
166.03/166.68	c CG core degree average 1.00
166.03/166.68	c CG core slack average 4.88
166.03/166.68	o 140
166.03/166.68	s OPTIMUM FOUND
166.03/166.68	v -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 x450 x451 -x452 -x453 x454 x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 x466 x467 -x468 -x469 x470 x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 x482 x483 -x484 -x485 x486 x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 x498 x499 -x500 -x501 x502 x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 x514 x515 -x516 -x517 x518 x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 x530 x531 -x532 -x533 x534 x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 x546 x547 -x548 -x549 x550 x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560

Verifier Data 

OK	140

Watcher Data 

runsolver version 3.4.2 (svn: 4680) 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: 63931 MiB (62050 MiB free)
  memory of node 1: 64510 MiB (62538 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4458642-1721869155/watcher-4458642-1721869155 -o /tmp/evaluation-result-4458642-1721869155/solver-4458642-1721869155 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1721865102-210795 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4458642-1721869155.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=214584, runsolver pid=214581

[startup+0.100248 s]*
/proc/loadavg: 4.06 4.11 4.09 5/258 214585
/proc/meminfo: memFree=127576828/131524600 swapFree=131053920/131071996
[pid=214584] ppid=214581 vsize=38640 memory=8772 CPUtime=0.09 cores=0,2
/proc/214584/stat : 214584 (roundingsat) R 214581 214584 210785 0 -1 4194304 652 0 0 0 9 0 0 0 20 0 1 0 23444787 39567360 2193 134679101440 4194304 7968869 140736749617344 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 38158336 140736749626302 140736749626466 140736749626466 140736749633481 0
/proc/214584/statm: 9660 2193 1748 922 0 1612 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 38640 KiB
Current children cumulated memory: 8772 KiB

[startup+0.205364 s]*
/proc/loadavg: 4.06 4.11 4.09 5/258 214585
/proc/meminfo: memFree=127572596/131524600 swapFree=131053920/131071996
[pid=214584] ppid=214581 vsize=39940 memory=12784 CPUtime=0.19 cores=0,2
/proc/214584/stat : 214584 (roundingsat) R 214581 214584 210785 0 -1 4194304 1107 0 0 0 17 2 0 0 20 0 1 0 23444787 40898560 3196 134679101440 4194304 7968869 140736749617344 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 38158336 140736749626302 140736749626466 140736749626466 140736749633481 0
/proc/214584/statm: 9985 3196 1779 922 0 1937 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 39940 KiB
Current children cumulated memory: 12784 KiB

[startup+0.305262 s]*
/proc/loadavg: 4.06 4.11 4.09 5/258 214585
/proc/meminfo: memFree=127570104/131524600 swapFree=131053920/131071996
[pid=214584] ppid=214581 vsize=42488 memory=15156 CPUtime=0.3 cores=0,2
/proc/214584/stat : 214584 (roundingsat) R 214581 214584 210785 0 -1 4194304 1744 0 0 0 26 4 0 0 20 0 1 0 23444787 43507712 3789 134679101440 4194304 7968869 140736749617344 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 38158336 140736749626302 140736749626466 140736749626466 140736749633481 0
/proc/214584/statm: 10622 3789 1779 922 0 2574 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 42488 KiB
Current children cumulated memory: 15156 KiB

[startup+0.700168 s]
/proc/loadavg: 4.06 4.11 4.09 5/258 214585
/proc/meminfo: memFree=127567948/131524600 swapFree=131053920/131071996
[pid=214584] ppid=214581 vsize=44964 memory=18252 CPUtime=0.69 cores=0,2
/proc/214584/stat : 214584 (roundingsat) R 214581 214584 210785 0 -1 4194304 2395 0 0 0 63 6 0 0 20 0 1 0 23444787 46043136 4563 134679101440 4194304 7968869 140736749617344 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 38158336 140736749626302 140736749626466 140736749626466 140736749633481 0
/proc/214584/statm: 11241 4563 1858 922 0 3193 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 44964 KiB
Current children cumulated memory: 18252 KiB

[startup+1.5002 s]
/proc/loadavg: 4.06 4.11 4.09 5/258 214585
/proc/meminfo: memFree=127565460/131524600 swapFree=131053920/131071996
[pid=214584] ppid=214581 vsize=50796 memory=23064 CPUtime=1.49 cores=0,2
/proc/214584/stat : 214584 (roundingsat) R 214581 214584 210785 0 -1 4194304 3631 0 0 0 137 12 0 0 20 0 1 0 23444787 52015104 5766 134679101440 4194304 7968869 140736749617344 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 38158336 140736749626302 140736749626466 140736749626466 140736749633481 0
/proc/214584/statm: 12699 5766 1858 922 0 4651 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 50796 KiB
Current children cumulated memory: 23064 KiB

[startup+3.10536 s]
/proc/loadavg: 4.06 4.11 4.09 5/258 214587
/proc/meminfo: memFree=127558880/131524600 swapFree=131053920/131071996
[pid=214584] ppid=214581 vsize=52916 memory=26232 CPUtime=3.09 cores=0,2
/proc/214584/stat : 214584 (roundingsat) R 214581 214584 210785 0 -1 4194304 4467 0 0 0 287 22 0 0 20 0 1 0 23444787 54185984 6558 134679101440 4194304 7968869 140736749617344 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 38158336 140736749626302 140736749626466 140736749626466 140736749633481 0
/proc/214584/statm: 13229 6558 1858 922 0 5181 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 52916 KiB
Current children cumulated memory: 26232 KiB

[startup+6.30016 s]
/proc/loadavg: 4.22 4.14 4.10 5/258 214587
/proc/meminfo: memFree=127557424/131524600 swapFree=131053920/131071996
[pid=214584] ppid=214581 vsize=54248 memory=27676 CPUtime=6.27 cores=0,2
/proc/214584/stat : 214584 (roundingsat) R 214581 214584 210785 0 -1 4194304 4822 0 0 0 590 37 0 0 20 0 1 0 23444787 55549952 6919 134679101440 4194304 7968869 140736749617344 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 38158336 140736749626302 140736749626466 140736749626466 140736749633481 0
/proc/214584/statm: 13562 6919 1858 922 0 5514 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 54248 KiB
Current children cumulated memory: 27676 KiB

[startup+12.7002 s]
/proc/loadavg: 4.28 4.16 4.10 5/258 214587
/proc/meminfo: memFree=127552244/131524600 swapFree=131053920/131071996
[pid=214584] ppid=214581 vsize=63476 memory=34936 CPUtime=12.65 cores=0,2
/proc/214584/stat : 214584 (roundingsat) R 214581 214584 210785 0 -1 4194304 6660 0 0 0 1201 64 0 0 20 0 1 0 23444787 64999424 8734 134679101440 4194304 7968869 140736749617344 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 38158336 140736749626302 140736749626466 140736749626466 140736749633481 0
/proc/214584/statm: 15869 8734 1858 922 0 7821 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 63476 KiB
Current children cumulated memory: 34936 KiB

[startup+25.5002 s]
/proc/loadavg: 4.29 4.16 4.11 5/259 214591
/proc/meminfo: memFree=127536796/131524600 swapFree=131053920/131071996
[pid=214584] ppid=214581 vsize=78856 memory=48000 CPUtime=25.41 cores=0,2
/proc/214584/stat : 214584 (roundingsat) R 214581 214584 210785 0 -1 4194304 8928 0 0 0 2434 107 0 0 20 0 1 0 23444787 80748544 12000 134679101440 4194304 7968869 140736749617344 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 38158336 140736749626302 140736749626466 140736749626466 140736749633481 0
/proc/214584/statm: 19714 12000 1858 922 0 11666 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 78856 KiB
Current children cumulated memory: 48000 KiB

[startup+51.1055 s]
/proc/loadavg: 4.27 4.17 4.11 5/259 214594
/proc/meminfo: memFree=127501612/131524600 swapFree=131053920/131071996
[pid=214584] ppid=214581 vsize=105776 memory=76136 CPUtime=50.93 cores=0,2
/proc/214584/stat : 214584 (roundingsat) R 214581 214584 210785 0 -1 4194304 12918 0 0 0 4939 154 0 0 20 0 1 0 23444787 108314624 19034 134679101440 4194304 7968869 140736749617344 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 38158336 140736749626302 140736749626466 140736749626466 140736749633481 0
/proc/214584/statm: 26444 19034 1858 922 0 18396 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 105776 KiB
Current children cumulated memory: 76136 KiB

[startup+102.3 s]
/proc/loadavg: 4.19 4.16 4.10 5/258 214605
/proc/meminfo: memFree=127468688/131524600 swapFree=131053920/131071996
[pid=214584] ppid=214581 vsize=140256 memory=97500 CPUtime=101.96 cores=0,2
/proc/214584/stat : 214584 (roundingsat) R 214581 214584 210785 0 -1 4194304 16275 0 0 0 9941 255 0 0 20 0 1 0 23444787 143622144 24375 134679101440 4194304 7968869 140736749617344 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 38158336 140736749626302 140736749626466 140736749626466 140736749633481 0
/proc/214584/statm: 35064 24375 1858 922 0 27016 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 140256 KiB
Current children cumulated memory: 97500 KiB

[startup+162.3 s]
/proc/loadavg: 4.07 4.12 4.09 5/259 214629
/proc/meminfo: memFree=127444324/131524600 swapFree=131053920/131071996
[pid=214584] ppid=214581 vsize=145320 memory=109520 CPUtime=161.74 cores=0,2
/proc/214584/stat : 214584 (roundingsat) R 214581 214584 210785 0 -1 4194304 17599 0 0 0 15814 360 0 0 20 0 1 0 23444787 148807680 27380 134679101440 4194304 7968869 140736749617344 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 38158336 140736749626302 140736749626466 140736749626466 140736749633481 0
/proc/214584/statm: 36330 27380 1858 922 0 28282 0
Current children cumulated CPU time: 161.74 s
Current children cumulated vsize: 145320 KiB
Current children cumulated memory: 109520 KiB

[startup+166.684 s]
# the end of solver process 214584 was just reported to runsolver
# Child status: 0

# cumulated CPU time of all completed processes:  user=162.435 s, system=3.685 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+163.2 s]
/proc/loadavg: 4.07 4.12 4.09 5/259 214630
/proc/meminfo: memFree=127444108/131524600 swapFree=131053920/131071996
[pid=214584] ppid=214581 vsize=145320 memory=109520 CPUtime=162.64 cores=0,2
/proc/214584/stat : 214584 (roundingsat) R 214581 214584 210785 0 -1 4194304 17609 0 0 0 15902 362 0 0 20 0 1 0 23444787 148807680 27380 134679101440 4194304 7968869 140736749617344 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 38158336 140736749626302 140736749626466 140736749626466 140736749633481 0
/proc/214584/statm: 36330 27380 1858 922 0 28282 0
Current children cumulated CPU time: 162.64 s
Current children cumulated vsize: 145320 KiB
Current children cumulated memory: 109520 KiB

[startup+164.8 s]
/proc/loadavg: 4.07 4.12 4.09 5/259 214630
/proc/meminfo: memFree=127443968/131524600 swapFree=131053920/131071996
[pid=214584] ppid=214581 vsize=145512 memory=109520 CPUtime=164.23 cores=0,2
/proc/214584/stat : 214584 (roundingsat) R 214581 214584 210785 0 -1 4194304 17627 0 0 0 16059 364 0 0 20 0 1 0 23444787 149004288 27380 134679101440 4194304 7968869 140736749617344 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 38158336 140736749626302 140736749626466 140736749626466 140736749633481 0
/proc/214584/statm: 36378 27380 1858 922 0 28330 0
Current children cumulated CPU time: 164.23 s
Current children cumulated vsize: 145512 KiB
Current children cumulated memory: 109520 KiB

[startup+165.6 s]
/proc/loadavg: 4.06 4.12 4.09 5/259 214630
/proc/meminfo: memFree=127443868/131524600 swapFree=131053920/131071996
[pid=214584] ppid=214581 vsize=145512 memory=109520 CPUtime=165.03 cores=0,2
/proc/214584/stat : 214584 (roundingsat) R 214581 214584 210785 0 -1 4194304 17647 0 0 0 16138 365 0 0 20 0 1 0 23444787 149004288 27380 134679101440 4194304 7968869 140736749617344 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 38158336 140736749626302 140736749626466 140736749626466 140736749633481 0
/proc/214584/statm: 36378 27380 1858 922 0 28330 0
Current children cumulated CPU time: 165.03 s
Current children cumulated vsize: 145512 KiB
Current children cumulated memory: 109520 KiB

[startup+166.4 s]
/proc/loadavg: 4.06 4.12 4.09 5/259 214630
/proc/meminfo: memFree=127443512/131524600 swapFree=131053920/131071996
[pid=214584] ppid=214581 vsize=146040 memory=110048 CPUtime=165.82 cores=0,2
/proc/214584/stat : 214584 (roundingsat) R 214581 214584 210785 0 -1 4194304 17735 0 0 0 16215 367 0 0 20 0 1 0 23444787 149544960 27512 134679101440 4194304 7968869 140736749617344 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 38158336 140736749626302 140736749626466 140736749626466 140736749633481 0
/proc/214584/statm: 36510 27512 1858 922 0 28462 0
Current children cumulated CPU time: 165.82 s
Current children cumulated vsize: 146040 KiB
Current children cumulated memory: 110048 KiB

[startup+166.6 s]
/proc/loadavg: 4.06 4.12 4.09 5/259 214630
/proc/meminfo: memFree=127443512/131524600 swapFree=131053920/131071996
[pid=214584] ppid=214581 vsize=146040 memory=110048 CPUtime=166.03 cores=0,2
/proc/214584/stat : 214584 (roundingsat) R 214581 214584 210785 0 -1 4194304 17735 0 0 0 16235 368 0 0 20 0 1 0 23444787 149544960 27512 134679101440 4194304 7968869 140736749617344 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 38158336 140736749626302 140736749626466 140736749626466 140736749633481 0
/proc/214584/statm: 36510 27512 1858 922 0 28462 0
Current children cumulated CPU time: 166.03 s
Current children cumulated vsize: 146040 KiB
Current children cumulated memory: 110048 KiB

Child status: 0

Real time (s): 166.684
CPU time (s): 166.12
CPU user time (s): 162.435
CPU system time (s): 3.685
CPU usage (%): 99.6613
Max. virtual memory (cumulated for all children) (KiB): 146040
Max. memory (cumulated for all children) (KiB): 110048

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 162.435
system time used= 3.685
maximum resident set size= 110048
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17743
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 25
involuntary context switches= 1145


# summary of solver processes directly reported to runsolver:
#   pid: 214584
#   total CPU time (s): 166.12
#   total CPU user time (s): 162.435
#   total CPU system time (s): 3.685

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.406456 second user time and 0.680007 second system time

The end

Launcher Data 

Begin job on nodeC023 at 2024-07-25 02:59:15
IDJOB=4458642
IDBENCH=178101
IDSOLVER=3051
FILE ID=nodeC023/4458642-1721869155
RUNJOBID= nodeC023-1721865102-210795
SLURM_JOB_ID= 8089171
Free space on /tmp= 890068 MiB

SOLVER NAME= RoundingSat nolog
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/dominating_set/hexgrid_nrowsdiv30add5/normalized-domset_opt_hexgrid_nrowsdiv30add5_ncols_080.opb
COMMAND LINE= roundingsat --print-sol=1 --'time limit'=TIMEOUT --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4458642-1721869155/watcher-4458642-1721869155 -o /tmp/evaluation-result-4458642-1721869155/solver-4458642-1721869155 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1721865102-210795 --watchdog 3760  roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4458642-1721869155.opb

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2

MD5SUM BENCH= 6f0521fdb0b18beb600868184781ec28
RANDOM SEED=1005321350

nodeC023.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3653.327
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.85
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3685.122
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7007.10
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3647.358
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.85
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.282
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7007.10
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3671.124
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.85
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3685.177
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7007.10
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3604.989
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.85
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.176
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7007.10
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        127579104 kB
MemAvailable:   129444628 kB
Buffers:          273308 kB
Cached:          2406084 kB
SwapCached:          208 kB
Active:          1503968 kB
Inactive:        1810632 kB
Active(anon):       2432 kB
Inactive(anon):   684940 kB
Active(file):    1501536 kB
Inactive(file):  1125692 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131053920 kB
Dirty:              5404 kB
Writeback:             0 kB
AnonPages:        634844 kB
Mapped:           103448 kB
Shmem:             52148 kB
KReclaimable:     155884 kB
Slab:             272744 kB
SReclaimable:     155884 kB
SUnreclaim:       116860 kB
KernelStack:        4176 kB
PageTables:        10520 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     960868 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            21472 kB
HardwareCorrupted:     0 kB
AnonHugePages:    339968 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      408276 kB
DirectMap2M:    60182528 kB
DirectMap1G:    75497472 kB

Free space on /tmp at the end= 890064 MiB
End job on nodeC023 at 2024-07-25 03:02:02