Trace number 4458674

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 (2)OPT140 167.689 168.255

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 - >= 0 @ 0.001741
0.09/0.20	c bounds 170 >= 0 @ 0.111082
0.09/0.20	c bounds 170 >= 1 @ 0.111197
0.09/0.20	c bounds 170 >= 2 @ 0.111275
0.09/0.20	c bounds 170 >= 3 @ 0.111347
0.09/0.20	c bounds 170 >= 4 @ 0.111417
0.09/0.20	c bounds 170 >= 5 @ 0.111488
0.09/0.20	c bounds 170 >= 6 @ 0.111554
0.09/0.20	c bounds 170 >= 7 @ 0.111629
0.09/0.20	c bounds 170 >= 8 @ 0.111698
0.09/0.20	c bounds 170 >= 9 @ 0.111768
0.09/0.20	c bounds 170 >= 10 @ 0.111841
0.09/0.20	c bounds 170 >= 11 @ 0.111911
0.09/0.20	c bounds 170 >= 12 @ 0.11198
0.09/0.20	c bounds 170 >= 13 @ 0.112054
0.09/0.20	c bounds 170 >= 14 @ 0.112129
0.09/0.20	c bounds 170 >= 15 @ 0.112202
0.09/0.20	c bounds 170 >= 16 @ 0.112276
0.09/0.20	c bounds 170 >= 17 @ 0.112348
0.09/0.20	c bounds 170 >= 18 @ 0.112417
0.09/0.20	c bounds 170 >= 19 @ 0.112496
0.09/0.20	c bounds 170 >= 20 @ 0.112572
0.09/0.20	c bounds 170 >= 21 @ 0.112643
0.09/0.20	c bounds 170 >= 22 @ 0.112719
0.09/0.20	c bounds 170 >= 23 @ 0.112793
0.09/0.20	c bounds 170 >= 24 @ 0.112866
0.09/0.20	c bounds 170 >= 25 @ 0.112945
0.09/0.20	c bounds 170 >= 26 @ 0.11302
0.09/0.20	c bounds 170 >= 27 @ 0.113095
0.09/0.20	c bounds 170 >= 28 @ 0.113171
0.09/0.20	c bounds 170 >= 29 @ 0.113197
0.09/0.20	c bounds 170 >= 30 @ 0.113197
0.09/0.20	c bounds 170 >= 31 @ 0.113197
0.09/0.20	c bounds 170 >= 32 @ 0.113197
0.09/0.20	c bounds 170 >= 33 @ 0.113197
0.09/0.20	c bounds 170 >= 34 @ 0.113197
0.09/0.20	c bounds 170 >= 35 @ 0.113197
0.09/0.20	c bounds 170 >= 36 @ 0.113197
0.09/0.20	c bounds 170 >= 37 @ 0.113197
0.09/0.20	c bounds 170 >= 38 @ 0.113197
0.09/0.20	c bounds 170 >= 39 @ 0.113197
0.09/0.20	c bounds 170 >= 40 @ 0.113197
0.09/0.20	c bounds 170 >= 41 @ 0.11323
0.09/0.20	c bounds 170 >= 42 @ 0.113312
0.09/0.20	c bounds 170 >= 43 @ 0.113397
0.09/0.20	c bounds 170 >= 44 @ 0.113497
0.09/0.20	c bounds 170 >= 45 @ 0.113579
0.09/0.20	c bounds 170 >= 46 @ 0.113661
0.09/0.20	c bounds 170 >= 47 @ 0.113743
0.09/0.20	c bounds 170 >= 48 @ 0.113822
0.09/0.20	c bounds 170 >= 49 @ 0.113907
0.09/0.20	c bounds 170 >= 50 @ 0.113992
0.09/0.20	c bounds 170 >= 51 @ 0.114074
0.09/0.20	c bounds 170 >= 52 @ 0.114158
0.09/0.20	c bounds 170 >= 53 @ 0.114199
0.09/0.20	c bounds 170 >= 54 @ 0.114199
0.09/0.20	c bounds 170 >= 55 @ 0.114199
0.09/0.20	c bounds 170 >= 56 @ 0.114199
0.09/0.20	c bounds 170 >= 57 @ 0.114199
0.09/0.20	c bounds 170 >= 58 @ 0.114199
0.09/0.20	c bounds 170 >= 59 @ 0.114199
0.09/0.20	c bounds 170 >= 60 @ 0.114199
0.09/0.20	c bounds 170 >= 61 @ 0.114199
0.09/0.20	c bounds 170 >= 62 @ 0.114199
0.09/0.20	c bounds 170 >= 63 @ 0.114199
0.09/0.20	c bounds 170 >= 64 @ 0.114252
0.09/0.20	c bounds 169 >= 64 @ 0.124184
0.09/0.20	c bounds 169 >= 65 @ 0.124292
0.09/0.20	c bounds 169 >= 66 @ 0.124381
0.09/0.20	c bounds 169 >= 67 @ 0.124478
0.09/0.20	c bounds 169 >= 68 @ 0.124567
0.09/0.20	c bounds 169 >= 69 @ 0.124655
0.09/0.20	c bounds 169 >= 70 @ 0.124748
0.09/0.20	c bounds 169 >= 71 @ 0.124838
0.09/0.20	c bounds 169 >= 72 @ 0.124927
0.09/0.20	c bounds 169 >= 73 @ 0.125022
0.09/0.20	c bounds 169 >= 74 @ 0.125114
0.09/0.20	c bounds 169 >= 75 @ 0.125206
0.09/0.20	c bounds 169 >= 76 @ 0.125301
0.09/0.20	c bounds 169 >= 77 @ 0.125392
0.09/0.20	c bounds 169 >= 78 @ 0.125481
0.09/0.20	c bounds 169 >= 79 @ 0.12558
0.09/0.20	c bounds 169 >= 80 @ 0.125674
0.09/0.20	c bounds 169 >= 81 @ 0.125766
0.09/0.20	c bounds 169 >= 82 @ 0.12586
0.09/0.20	c bounds 169 >= 83 @ 0.125953
0.09/0.20	c bounds 169 >= 84 @ 0.126045
0.09/0.20	c bounds 169 >= 85 @ 0.126146
0.09/0.20	c bounds 169 >= 86 @ 0.126243
0.09/0.20	c bounds 169 >= 87 @ 0.126339
0.09/0.20	c bounds 169 >= 88 @ 0.126439
0.09/0.20	c bounds 169 >= 89 @ 0.126535
0.09/0.20	c bounds 169 >= 90 @ 0.126629
0.09/0.20	c bounds 169 >= 91 @ 0.126728
0.09/0.20	c bounds 169 >= 92 @ 0.126824
0.09/0.20	c bounds 169 >= 93 @ 0.126921
0.09/0.20	c bounds 169 >= 94 @ 0.127022
0.09/0.20	c bounds 169 >= 95 @ 0.12712
0.09/0.20	c bounds 169 >= 96 @ 0.127163
0.09/0.20	c bounds 169 >= 97 @ 0.127163
0.09/0.20	c bounds 169 >= 98 @ 0.127163
0.09/0.20	c bounds 169 >= 99 @ 0.127163
0.09/0.20	c bounds 169 >= 100 @ 0.127163
0.09/0.20	c bounds 169 >= 101 @ 0.127163
0.09/0.20	c bounds 169 >= 102 @ 0.127163
0.09/0.20	c bounds 169 >= 103 @ 0.127163
0.09/0.20	c bounds 169 >= 104 @ 0.127163
0.09/0.20	c bounds 169 >= 105 @ 0.127163
0.09/0.20	c bounds 169 >= 106 @ 0.127163
0.09/0.20	c bounds 169 >= 107 @ 0.127163
0.09/0.20	c bounds 169 >= 108 @ 0.127163
0.09/0.20	c bounds 169 >= 109 @ 0.127163
0.09/0.20	c bounds 169 >= 110 @ 0.127163
0.09/0.20	c bounds 169 >= 111 @ 0.127163
0.09/0.20	c bounds 169 >= 112 @ 0.127163
0.09/0.20	c bounds 169 >= 113 @ 0.127163
0.09/0.20	c bounds 169 >= 114 @ 0.127163
0.09/0.20	c bounds 169 >= 115 @ 0.127163
0.09/0.20	c bounds 169 >= 116 @ 0.127163
0.09/0.20	c bounds 169 >= 117 @ 0.127163
0.09/0.20	c bounds 169 >= 118 @ 0.127163
0.09/0.20	c bounds 169 >= 119 @ 0.127163
0.09/0.20	c bounds 169 >= 120 @ 0.127163
0.09/0.20	c bounds 169 >= 121 @ 0.127163
0.09/0.20	c bounds 169 >= 122 @ 0.127163
0.09/0.20	c bounds 169 >= 123 @ 0.127163
0.09/0.20	c bounds 169 >= 124 @ 0.127178
0.09/0.20	c bounds 169 >= 125 @ 0.127286
0.09/0.20	c bounds 169 >= 126 @ 0.127392
0.09/0.20	c bounds 169 >= 127 @ 0.127524
0.09/0.20	c bounds 169 >= 128 @ 0.127662
0.09/0.20	c bounds 169 >= 129 @ 0.127812
0.09/0.20	c bounds 169 >= 130 @ 0.128155
0.09/0.20	c bounds 169 >= 131 @ 0.128155
0.09/0.20	c bounds 169 >= 132 @ 0.133327
0.09/0.20	c bounds 169 >= 133 @ 0.160969
0.09/0.20	c bounds 168 >= 133 @ 0.165927
0.39/0.42	c bounds 167 >= 133 @ 0.172341
0.39/0.42	c bounds 166 >= 133 @ 0.182747
0.39/0.42	c bounds 165 >= 133 @ 0.190401
0.39/0.42	c #Conflicts:       1000 | #Constraints:       2225
0.39/0.42	c bounds 164 >= 133 @ 0.204847
0.39/0.42	c bounds 164 >= 134 @ 0.211205
0.39/0.42	c bounds 163 >= 134 @ 0.215743
0.39/0.42	c bounds 163 >= 135 @ 0.223572
0.39/0.42	c bounds 162 >= 135 @ 0.22828
0.39/0.42	c bounds 162 >= 136 @ 0.273235
0.39/0.42	c bounds 161 >= 136 @ 0.279021
0.39/0.42	c bounds 160 >= 136 @ 0.291327
0.39/0.42	c #Conflicts:       2000 | #Constraints:       3428
0.39/0.42	c INPROCESSING
0.39/0.42	c GARBAGE COLLECT
0.39/0.42	c rational objective 140
1.09/1.14	c bounds 159 >= 136 @ 0.570331
1.09/1.14	c #Conflicts:       3000 | #Constraints:       3300
1.09/1.14	c bounds 158 >= 136 @ 0.739026
1.09/1.14	c #Conflicts:       4000 | #Constraints:       4301
1.09/1.14	c INPROCESSING
1.09/1.14	c GARBAGE COLLECT
1.09/1.14	c rational objective 140
1.68/1.76	c bounds 157 >= 136 @ 1.10533
1.68/1.76	c bounds 156 >= 136 @ 1.146
1.68/1.76	c bounds 155 >= 136 @ 1.15321
1.68/1.76	c #Conflicts:       5000 | #Constraints:       3759
1.68/1.76	c bounds 154 >= 136 @ 1.25808
1.68/1.76	c bounds 153 >= 136 @ 1.30877
1.68/1.76	c #Conflicts:       6000 | #Constraints:       4766
1.68/1.76	c INPROCESSING
1.68/1.76	c GARBAGE COLLECT
1.68/1.76	c rational objective 140
2.29/2.32	c bounds 152 >= 136 @ 1.69378
2.29/2.32	c #Conflicts:       7000 | #Constraints:       3789
2.29/2.32	c bounds 151 >= 136 @ 1.78482
2.29/2.32	c #Conflicts:       8000 | #Constraints:       4796
2.29/2.32	c bounds 150 >= 136 @ 1.85669
2.29/2.32	c bounds 149 >= 136 @ 1.94488
2.29/2.32	c bounds 148 >= 136 @ 1.99235
2.29/2.32	c #Conflicts:       9000 | #Constraints:       5843
2.29/2.32	c bounds 147 >= 136 @ 2.07312
2.29/2.32	c INPROCESSING
2.29/2.32	c GARBAGE COLLECT
2.29/2.32	c rational objective 140
3.98/4.05	c #Conflicts:      10000 | #Constraints:       4484
3.98/4.05	c bounds 147 >= 137 @ 2.44625
3.98/4.05	c bounds 146 >= 137 @ 2.55601
3.98/4.05	c #Conflicts:      11000 | #Constraints:       5542
3.98/4.05	c #Conflicts:      12000 | #Constraints:       6542
3.98/4.05	c INPROCESSING
3.98/4.05	c GARBAGE COLLECT
3.98/4.05	c #Conflicts:      13000 | #Constraints:       4959
3.98/4.05	c #Conflicts:      14000 | #Constraints:       5959
3.98/4.05	c #Conflicts:      15000 | #Constraints:       6959
3.98/4.05	c INPROCESSING
3.98/4.05	c GARBAGE COLLECT
3.98/4.05	c rational objective 140
4.77/4.81	c bounds 145 >= 137 @ 3.84737
4.77/4.81	c bounds 144 >= 137 @ 3.9342
4.77/4.81	c #Conflicts:      16000 | #Constraints:       5288
4.77/4.81	c bounds 143 >= 137 @ 4.0409
4.77/4.81	c #Conflicts:      17000 | #Constraints:       6320
4.77/4.81	c #Conflicts:      18000 | #Constraints:       7341
4.77/4.81	c INPROCESSING
4.77/4.81	c GARBAGE COLLECT
4.77/4.81	c rational objective 140
5.87/5.91	c #Conflicts:      19000 | #Constraints:       5292
5.87/5.91	c #Conflicts:      20000 | #Constraints:       6306
5.87/5.91	c #Conflicts:      21000 | #Constraints:       7323
5.87/5.91	c INPROCESSING
5.87/5.91	c GARBAGE COLLECT
5.87/5.91	c rational objective 140
7.37/7.48	c #Conflicts:      22000 | #Constraints:       5075
7.37/7.48	c #Conflicts:      23000 | #Constraints:       6075
7.37/7.48	c #Conflicts:      24000 | #Constraints:       7075
7.37/7.48	c #Conflicts:      25000 | #Constraints:       8075
7.37/7.48	c INPROCESSING
7.37/7.48	c GARBAGE COLLECT
7.37/7.48	c rational objective 140
8.97/9.01	c #Conflicts:      26000 | #Constraints:       5741
8.97/9.01	c #Conflicts:      27000 | #Constraints:       6750
8.97/9.01	c #Conflicts:      28000 | #Constraints:       7769
8.97/9.01	c #Conflicts:      29000 | #Constraints:       8783
8.97/9.01	c INPROCESSING
8.97/9.01	c GARBAGE COLLECT
8.97/9.01	c rational objective 140
10.96/11.08	c #Conflicts:      30000 | #Constraints:       6105
10.96/11.08	c #Conflicts:      31000 | #Constraints:       7105
10.96/11.08	c #Conflicts:      32000 | #Constraints:       8105
10.96/11.08	c #Conflicts:      33000 | #Constraints:       9105
10.96/11.08	c INPROCESSING
10.96/11.08	c GARBAGE COLLECT
10.96/11.08	c rational objective 140
12.55/12.61	c #Conflicts:      34000 | #Constraints:       6354
12.55/12.61	c #Conflicts:      35000 | #Constraints:       7363
12.55/12.61	c #Conflicts:      36000 | #Constraints:       8387
12.55/12.61	c #Conflicts:      37000 | #Constraints:       9406
12.55/12.61	c INPROCESSING
12.55/12.61	c GARBAGE COLLECT
12.55/12.61	c rational objective 140
14.44/14.55	c #Conflicts:      38000 | #Constraints:       6336
14.44/14.55	c #Conflicts:      39000 | #Constraints:       7351
14.44/14.55	c #Conflicts:      40000 | #Constraints:       8366
14.44/14.55	c #Conflicts:      41000 | #Constraints:       9377
14.44/14.55	c INPROCESSING
14.44/14.55	c GARBAGE COLLECT
14.44/14.55	c rational objective 140
16.74/16.89	c #Conflicts:      42000 | #Constraints:       6098
16.74/16.89	c #Conflicts:      43000 | #Constraints:       7098
16.74/16.89	c bounds 143 >= 138 @ 14.6034
16.74/16.89	c #Conflicts:      44000 | #Constraints:       8240
16.74/16.89	c #Conflicts:      45000 | #Constraints:       9240
16.74/16.89	c #Conflicts:      46000 | #Constraints:      10240
16.74/16.89	c INPROCESSING
16.74/16.89	c GARBAGE COLLECT
16.74/16.89	c rational objective 140
18.54/18.66	c #Conflicts:      47000 | #Constraints:       6862
18.54/18.66	c #Conflicts:      48000 | #Constraints:       7884
18.54/18.66	c #Conflicts:      49000 | #Constraints:       8903
18.54/18.66	c #Conflicts:      50000 | #Constraints:       9921
18.54/18.66	c #Conflicts:      51000 | #Constraints:      10941
18.54/18.66	c INPROCESSING
18.54/18.66	c GARBAGE COLLECT
18.54/18.66	c rational objective 140
21.23/21.38	c #Conflicts:      52000 | #Constraints:       7260
21.23/21.38	c #Conflicts:      53000 | #Constraints:       8261
21.23/21.38	c #Conflicts:      54000 | #Constraints:       9261
21.23/21.38	c #Conflicts:      55000 | #Constraints:      10261
21.23/21.38	c #Conflicts:      56000 | #Constraints:      11261
21.23/21.38	c INPROCESSING
21.23/21.38	c GARBAGE COLLECT
21.23/21.38	c rational objective 140
41.16/41.36	c #Conflicts:      57000 | #Constraints:       7522
41.16/41.36	c #Conflicts:      58000 | #Constraints:       8546
41.16/41.36	c #Conflicts:      59000 | #Constraints:       9567
41.16/41.36	c #Conflicts:      60000 | #Constraints:      10581
41.16/41.36	c #Conflicts:      61000 | #Constraints:      11600
41.16/41.36	c #Conflicts:      62000 | #Constraints:      12617
41.16/41.36	c #Conflicts:      63000 | #Constraints:      13630
41.16/41.36	c #Conflicts:      64000 | #Constraints:      14645
41.16/41.36	c #Conflicts:      65000 | #Constraints:      15658
41.16/41.36	c #Conflicts:      66000 | #Constraints:      16670
41.16/41.36	c #Conflicts:      67000 | #Constraints:      17684
41.16/41.36	c #Conflicts:      68000 | #Constraints:      18695
41.16/41.36	c #Conflicts:      69000 | #Constraints:      19710
41.16/41.36	c #Conflicts:      70000 | #Constraints:      20723
41.16/41.36	c #Conflicts:      71000 | #Constraints:      21739
41.16/41.36	c #Conflicts:      72000 | #Constraints:      22756
41.16/41.36	c #Conflicts:      73000 | #Constraints:      23764
41.16/41.36	c #Conflicts:      74000 | #Constraints:      24775
41.16/41.36	c #Conflicts:      75000 | #Constraints:      25790
41.16/41.36	c #Conflicts:      76000 | #Constraints:      26807
41.16/41.37	c INPROCESSING
41.16/41.37	c GARBAGE COLLECT
41.16/41.37	c rational objective 140
46.55/46.71	c #Conflicts:      77000 | #Constraints:      14949
46.55/46.71	c #Conflicts:      78000 | #Constraints:      15949
46.55/46.71	c #Conflicts:      79000 | #Constraints:      16949
46.55/46.71	c #Conflicts:      80000 | #Constraints:      17949
46.55/46.71	c #Conflicts:      81000 | #Constraints:      18949
46.55/46.71	c #Conflicts:      82000 | #Constraints:      19949
46.55/46.71	c INPROCESSING
46.55/46.71	c GARBAGE COLLECT
46.55/46.71	c rational objective 140
52.93/53.19	c #Conflicts:      83000 | #Constraints:      11455
52.93/53.19	c #Conflicts:      84000 | #Constraints:      12455
52.93/53.19	c #Conflicts:      85000 | #Constraints:      13455
52.93/53.19	c #Conflicts:      86000 | #Constraints:      14455
52.93/53.19	c #Conflicts:      87000 | #Constraints:      15455
52.93/53.19	c #Conflicts:      88000 | #Constraints:      16455
52.93/53.19	c #Conflicts:      89000 | #Constraints:      17455
52.93/53.19	c INPROCESSING
52.93/53.19	c GARBAGE COLLECT
52.93/53.19	c rational objective 140
59.90/60.12	c #Conflicts:      90000 | #Constraints:      10471
59.90/60.12	c #Conflicts:      91000 | #Constraints:      11471
59.90/60.12	c #Conflicts:      92000 | #Constraints:      12471
59.90/60.12	c #Conflicts:      93000 | #Constraints:      13471
59.90/60.12	c #Conflicts:      94000 | #Constraints:      14471
59.90/60.12	c #Conflicts:      95000 | #Constraints:      15471
59.90/60.12	c #Conflicts:      96000 | #Constraints:      16471
59.90/60.12	c INPROCESSING
59.90/60.12	c GARBAGE COLLECT
59.90/60.12	c rational objective 140
92.98/93.31	c #Conflicts:      97000 | #Constraints:      10151
92.98/93.31	c #Conflicts:      98000 | #Constraints:      11175
92.98/93.31	c #Conflicts:      99000 | #Constraints:      12199
92.98/93.31	c #Conflicts:     100000 | #Constraints:      13221
92.98/93.31	c #Conflicts:     101000 | #Constraints:      14243
92.98/93.31	c #Conflicts:     102000 | #Constraints:      15256
92.98/93.31	c #Conflicts:     103000 | #Constraints:      16268
92.98/93.31	c #Conflicts:     104000 | #Constraints:      17288
92.98/93.31	c #Conflicts:     105000 | #Constraints:      18301
92.98/93.31	c #Conflicts:     106000 | #Constraints:      19326
92.98/93.31	c #Conflicts:     107000 | #Constraints:      20341
92.98/93.31	c #Conflicts:     108000 | #Constraints:      21351
92.98/93.31	c bounds 142 >= 138 @ 69.1605
92.98/93.31	c #Conflicts:     109000 | #Constraints:      22364
92.98/93.31	c #Conflicts:     110000 | #Constraints:      23364
92.98/93.31	c #Conflicts:     111000 | #Constraints:      24364
92.98/93.31	c #Conflicts:     112000 | #Constraints:      25364
92.98/93.31	c #Conflicts:     113000 | #Constraints:      26364
92.98/93.31	c #Conflicts:     114000 | #Constraints:      27364
92.98/93.31	c #Conflicts:     115000 | #Constraints:      28364
92.98/93.31	c bounds 142 >= 139 @ 81.4265
92.98/93.31	c #Conflicts:     116000 | #Constraints:      29499
92.98/93.31	c #Conflicts:     117000 | #Constraints:      30507
92.98/93.31	c #Conflicts:     118000 | #Constraints:      31542
92.98/93.31	c #Conflicts:     119000 | #Constraints:      32569
92.98/93.31	c #Conflicts:     120000 | #Constraints:      33590
92.98/93.31	c #Conflicts:     121000 | #Constraints:      34605
92.98/93.31	c bounds 141 >= 139 @ 89.2708
92.98/93.31	c INPROCESSING
92.98/93.31	c GARBAGE COLLECT
92.98/93.31	c rational objective 140
109.04/109.47	c #Conflicts:     122000 | #Constraints:      18846
109.04/109.47	c #Conflicts:     123000 | #Constraints:      19846
109.04/109.47	c #Conflicts:     124000 | #Constraints:      20849
109.04/109.47	c #Conflicts:     125000 | #Constraints:      21852
109.04/109.47	c #Conflicts:     126000 | #Constraints:      22853
109.04/109.47	c #Conflicts:     127000 | #Constraints:      23854
109.04/109.47	c #Conflicts:     128000 | #Constraints:      24857
109.04/109.47	c #Conflicts:     129000 | #Constraints:      25857
109.04/109.47	c INPROCESSING
109.04/109.47	c GARBAGE COLLECT
109.04/109.47	c rational objective 140
114.81/115.30	c #Conflicts:     130000 | #Constraints:      14494
114.81/115.30	c #Conflicts:     131000 | #Constraints:      15494
114.81/115.30	c #Conflicts:     132000 | #Constraints:      16520
114.81/115.30	c #Conflicts:     133000 | #Constraints:      17538
114.81/115.30	c #Conflicts:     134000 | #Constraints:      18551
114.81/115.30	c #Conflicts:     135000 | #Constraints:      19572
114.81/115.30	c #Conflicts:     136000 | #Constraints:      20590
114.81/115.30	c #Conflicts:     137000 | #Constraints:      21598
114.81/115.30	c #Conflicts:     138000 | #Constraints:      22611
114.81/115.30	c INPROCESSING
114.81/115.30	c GARBAGE COLLECT
114.81/115.30	c rational objective 140
119.50/119.99	c #Conflicts:     139000 | #Constraints:      13196
119.50/119.99	c #Conflicts:     140000 | #Constraints:      14213
119.50/119.99	c #Conflicts:     141000 | #Constraints:      15238
119.50/119.99	c #Conflicts:     142000 | #Constraints:      16249
119.50/119.99	c #Conflicts:     143000 | #Constraints:      17263
119.50/119.99	c #Conflicts:     144000 | #Constraints:      18277
119.50/119.99	c #Conflicts:     145000 | #Constraints:      19290
119.50/119.99	c #Conflicts:     146000 | #Constraints:      20305
119.50/119.99	c INPROCESSING
119.50/119.99	c GARBAGE COLLECT
119.50/119.99	c rational objective 140
142.53/143.05	c #Conflicts:     147000 | #Constraints:      11843
142.53/143.05	c #Conflicts:     148000 | #Constraints:      12854
142.53/143.05	c #Conflicts:     149000 | #Constraints:      13865
142.53/143.05	c #Conflicts:     150000 | #Constraints:      14876
142.53/143.05	c #Conflicts:     151000 | #Constraints:      15883
142.53/143.05	c #Conflicts:     152000 | #Constraints:      16897
142.53/143.05	c #Conflicts:     153000 | #Constraints:      17900
142.53/143.05	c #Conflicts:     154000 | #Constraints:      18912
142.53/143.05	c #Conflicts:     155000 | #Constraints:      19918
142.53/143.05	c #Conflicts:     156000 | #Constraints:      20928
142.53/143.05	c #Conflicts:     157000 | #Constraints:      21937
142.53/143.05	c #Conflicts:     158000 | #Constraints:      22950
142.53/143.05	c #Conflicts:     159000 | #Constraints:      23959
142.53/143.05	c #Conflicts:     160000 | #Constraints:      24971
142.53/143.05	c #Conflicts:     161000 | #Constraints:      25978
142.53/143.05	c #Conflicts:     162000 | #Constraints:      26991
142.53/143.05	c #Conflicts:     163000 | #Constraints:      27996
142.53/143.05	c #Conflicts:     164000 | #Constraints:      29007
142.53/143.05	c #Conflicts:     165000 | #Constraints:      30015
142.53/143.05	c #Conflicts:     166000 | #Constraints:      31019
142.53/143.05	c #Conflicts:     167000 | #Constraints:      32024
142.53/143.05	c #Conflicts:     168000 | #Constraints:      33028
142.53/143.05	c #Conflicts:     169000 | #Constraints:      34031
142.53/143.05	c #Conflicts:     170000 | #Constraints:      35034
142.53/143.05	c #Conflicts:     171000 | #Constraints:      36037
142.53/143.05	c #Conflicts:     172000 | #Constraints:      37041
142.53/143.05	c #Conflicts:     173000 | #Constraints:      38048
142.53/143.05	c #Conflicts:     174000 | #Constraints:      39051
142.53/143.05	c #Conflicts:     175000 | #Constraints:      40063
142.53/143.05	c #Conflicts:     176000 | #Constraints:      41068
142.53/143.05	c #Conflicts:     177000 | #Constraints:      42070
142.53/143.05	c INPROCESSING
142.53/143.05	c GARBAGE COLLECT
142.53/143.05	c rational objective 140
152.78/153.35	c #Conflicts:     178000 | #Constraints:      22668
152.78/153.35	c #Conflicts:     179000 | #Constraints:      23670
152.78/153.35	c #Conflicts:     180000 | #Constraints:      24670
152.78/153.35	c #Conflicts:     181000 | #Constraints:      25671
152.78/153.35	c #Conflicts:     182000 | #Constraints:      26671
152.78/153.35	c #Conflicts:     183000 | #Constraints:      27671
152.78/153.35	c #Conflicts:     184000 | #Constraints:      28672
152.78/153.35	c #Conflicts:     185000 | #Constraints:      29675
152.78/153.35	c #Conflicts:     186000 | #Constraints:      30676
152.78/153.35	c #Conflicts:     187000 | #Constraints:      31678
152.78/153.35	c INPROCESSING
152.78/153.35	c GARBAGE COLLECT
152.78/153.35	c rational objective 140
166.92/167.50	c #Conflicts:     188000 | #Constraints:      17685
166.92/167.50	c #Conflicts:     189000 | #Constraints:      18685
166.92/167.50	c #Conflicts:     190000 | #Constraints:      19688
166.92/167.50	c #Conflicts:     191000 | #Constraints:      20688
166.92/167.50	c #Conflicts:     192000 | #Constraints:      21688
166.92/167.50	c #Conflicts:     193000 | #Constraints:      22690
166.92/167.50	c #Conflicts:     194000 | #Constraints:      23690
166.92/167.50	c #Conflicts:     195000 | #Constraints:      24692
166.92/167.50	c #Conflicts:     196000 | #Constraints:      25693
166.92/167.50	c #Conflicts:     197000 | #Constraints:      26694
166.92/167.50	c INPROCESSING
166.92/167.50	c GARBAGE COLLECT
166.92/167.50	c rational objective 140
167.62/168.25	c #Conflicts:     198000 | #Constraints:      15279
167.62/168.25	c bounds 140 >= 139 @ 163.876
167.62/168.25	c bounds 140 >= 139 @ 163.976
167.62/168.25	c cpu time 163.976 s
167.62/168.25	c deterministic time 19191351104 1.92e+10
167.62/168.25	c optimization time 0.007698 s
167.62/168.25	c total solve time 163.967 s
167.62/168.25	c core-guided solve time 81.8859 s
167.62/168.25	c propagation time 137.085 s
167.62/168.25	c conflict analysis time 19.1045 s
167.62/168.25	c propagations 22050005
167.62/168.25	c resolve steps 1382756
167.62/168.25	c decisions 2050578
167.62/168.25	c conflicts 198479
167.62/168.25	c restarts 509
167.62/168.25	c inprocessing phases 27
167.62/168.25	c input clauses 919
167.62/168.25	c input cardinalities 308
167.62/168.25	c input general constraints 552
167.62/168.25	c input average constraint length 58.22
167.62/168.25	c input average constraint degree 14.58
167.62/168.25	c learned clauses 46627
167.62/168.25	c learned cardinalities 3542
167.62/168.25	c learned general constraints 149911
167.62/168.25	c learned average constraint length 124.74
167.62/168.25	c learned average constraint degree 1889187997.85
167.62/168.25	c watched constraints 116642
167.62/168.25	c counting constraints 33821
167.62/168.25	c gcd simplifications 12641
167.62/168.25	c detected cardinalities 427
167.62/168.25	c weakened non-implied lits 5975342
167.62/168.25	c weakened non-implying lits 29823
167.62/168.25	c original variables 560
167.62/168.25	c clausal propagations 2168713
167.62/168.25	c cardinality propagations 1033056
167.62/168.25	c watched propagations 3788826
167.62/168.25	c counting propagations 14560194
167.62/168.25	c watch lookups 3776128770
167.62/168.25	c watch backjump lookups 3211867035
167.62/168.25	c watch checks 10830108317
167.62/168.25	c propagation checks 1222175259
167.62/168.25	c constraint additions 102438440
167.62/168.25	c trail pops 24297468
167.62/168.25	c formula constraints 560
167.62/168.25	c learned constraints 196888
167.62/168.25	c bound constraints 170
167.62/168.25	c core-guided constraints 1049
167.62/168.25	c encountered formula constraints 254611
167.62/168.25	c encountered learned constraints 845230
167.62/168.25	c encountered bound constraints 113
167.62/168.25	c encountered core-guided constraints 170319
167.62/168.25	c LP total time 12.7502 s
167.62/168.25	c LP solve time 10.36 s
167.62/168.25	c LP constraints added 566
167.62/168.25	c LP constraints removed 6
167.62/168.25	c LP pivots internal 200999
167.62/168.25	c LP pivots root 34232
167.62/168.25	c LP calls 1815
167.62/168.25	c LP optimalities 218
167.62/168.25	c LP no pivot count 115
167.62/168.25	c LP infeasibilities 1594
167.62/168.25	c LP valid Farkas constraints 1593
167.62/168.25	c LP learned Farkas constraints 1593
167.62/168.25	c LP basis resets 0
167.62/168.25	c LP cycling count 0
167.62/168.25	c LP singular count 0
167.62/168.25	c LP no primal count 0
167.62/168.25	c LP no farkas count 0
167.62/168.25	c LP other issue count 0
167.62/168.25	c LP Gomory cuts 6
167.62/168.25	c LP learned cuts 0
167.62/168.25	c LP deleted cuts 6
167.62/168.25	c LP encountered Gomory constraints 0
167.62/168.25	c LP encountered Farkas constraints 260317
167.62/168.25	c LP encountered learned Farkas constraints 49051
167.62/168.25	c CG auxiliary variables introduced 396
167.62/168.25	c CG solutions found 31
167.62/168.25	c CG cores constructed 139
167.62/168.25	c CG core cardinality constraints returned 0
167.62/168.25	c CG unit cores 0
167.62/168.25	c CG single cores 139
167.62/168.25	c CG blocks removed during cardinality reduction 0
167.62/168.25	c CG first core best 0
167.62/168.25	c CG decision core best 0
167.62/168.25	c CG core reduction tie 0
167.62/168.25	c CG core degree average 1.00
167.62/168.25	c CG core slack average 4.88
167.62/168.25	o 140
167.62/168.25	s OPTIMUM FOUND
167.62/168.25	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 (60614 MiB free)
  memory of node 1: 64510 MiB (60410 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4458674-1721879985/watcher-4458674-1721879985 -o /tmp/evaluation-result-4458674-1721879985/solver-4458674-1721879985 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1721875932-216019 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4458674-1721879985.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=219803, runsolver pid=219800

[startup+0.100102 s]*
/proc/loadavg: 4.14 4.14 4.10 5/259 219804
/proc/meminfo: memFree=123927728/131524600 swapFree=131061428/131071996
[pid=219803] ppid=219800 vsize=38636 memory=8720 CPUtime=0.09 cores=0,2
/proc/219803/stat : 219803 (roundingsat) R 219800 219803 216009 0 -1 4194304 653 0 0 0 9 0 0 0 20 0 1 0 24521388 39563264 2180 134679101440 4194304 7968373 140722357934896 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 24793088 140722357937086 140722357937250 140722357937250 140722357944265 0
/proc/219803/statm: 9659 2180 1737 922 0 1611 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 38636 KiB
Current children cumulated memory: 8720 KiB

[startup+0.205403 s]*
/proc/loadavg: 4.12 4.14 4.10 5/259 219804
/proc/meminfo: memFree=123924064/131524600 swapFree=131061428/131071996
[pid=219803] ppid=219800 vsize=40068 memory=12372 CPUtime=0.2 cores=0,2
/proc/219803/stat : 219803 (roundingsat) R 219800 219803 216009 0 -1 4194304 1033 0 0 0 17 3 0 0 20 0 1 0 24521388 41029632 3093 134679101440 4194304 7968373 140722357934896 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 24793088 140722357937086 140722357937250 140722357937250 140722357944265 0
/proc/219803/statm: 10017 3093 1768 922 0 1969 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 40068 KiB
Current children cumulated memory: 12372 KiB

[startup+0.305032 s]*
/proc/loadavg: 4.12 4.14 4.10 5/259 219804
/proc/meminfo: memFree=123921236/131524600 swapFree=131061428/131071996
[pid=219803] ppid=219800 vsize=42480 memory=14916 CPUtime=0.3 cores=0,2
/proc/219803/stat : 219803 (roundingsat) R 219800 219803 216009 0 -1 4194304 1656 0 0 0 25 5 0 0 20 0 1 0 24521388 43499520 3729 134679101440 4194304 7968373 140722357934896 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 24793088 140722357937086 140722357937250 140722357937250 140722357944265 0
/proc/219803/statm: 10620 3729 1783 922 0 2572 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 42480 KiB
Current children cumulated memory: 14916 KiB

[startup+0.700158 s]
/proc/loadavg: 4.12 4.14 4.10 6/259 219804
/proc/meminfo: memFree=123917592/131524600 swapFree=131061428/131071996
[pid=219803] ppid=219800 vsize=44964 memory=19788 CPUtime=0.69 cores=0,2
/proc/219803/stat : 219803 (roundingsat) R 219800 219803 216009 0 -1 4194304 2280 0 0 0 62 7 0 0 20 0 1 0 24521388 46043136 4947 134679101440 4194304 7968373 140722357934896 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 24793088 140722357937086 140722357937250 140722357937250 140722357944265 0
/proc/219803/statm: 11241 4947 1850 922 0 3193 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 44964 KiB
Current children cumulated memory: 19788 KiB

[startup+1.5002 s]
/proc/loadavg: 4.12 4.14 4.10 5/259 219804
/proc/meminfo: memFree=123915640/131524600 swapFree=131061428/131071996
[pid=219803] ppid=219800 vsize=50800 memory=23296 CPUtime=1.49 cores=0,2
/proc/219803/stat : 219803 (roundingsat) R 219800 219803 216009 0 -1 4194304 3212 0 0 0 137 12 0 0 20 0 1 0 24521388 52019200 5824 134679101440 4194304 7968373 140722357934896 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 24793088 140722357937086 140722357937250 140722357937250 140722357944265 0
/proc/219803/statm: 12700 5824 1850 922 0 4652 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 50800 KiB
Current children cumulated memory: 23296 KiB

[startup+3.10571 s]
/proc/loadavg: 4.12 4.14 4.10 5/259 219804
/proc/meminfo: memFree=123909692/131524600 swapFree=131061428/131071996
[pid=219803] ppid=219800 vsize=52896 memory=26464 CPUtime=3.08 cores=0,2
/proc/219803/stat : 219803 (roundingsat) R 219800 219803 216009 0 -1 4194304 3972 0 0 0 286 22 0 0 20 0 1 0 24521388 54165504 6616 134679101440 4194304 7968373 140722357934896 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 24793088 140722357937086 140722357937250 140722357937250 140722357944265 0
/proc/219803/statm: 13224 6616 1850 922 0 5176 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 52896 KiB
Current children cumulated memory: 26464 KiB

[startup+6.30014 s]
/proc/loadavg: 4.11 4.14 4.10 5/259 219804
/proc/meminfo: memFree=123908524/131524600 swapFree=131061428/131071996
[pid=219803] ppid=219800 vsize=54308 memory=27624 CPUtime=6.27 cores=0,2
/proc/219803/stat : 219803 (roundingsat) R 219800 219803 216009 0 -1 4194304 4317 0 0 0 591 36 0 0 20 0 1 0 24521388 55611392 6906 134679101440 4194304 7968373 140722357934896 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 24793088 140722357937086 140722357937250 140722357937250 140722357944265 0
/proc/219803/statm: 13577 6906 1850 922 0 5529 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 54308 KiB
Current children cumulated memory: 27624 KiB

[startup+12.7001 s]
/proc/loadavg: 4.11 4.14 4.10 5/259 219806
/proc/meminfo: memFree=123903944/131524600 swapFree=131061428/131071996
[pid=219803] ppid=219800 vsize=63320 memory=36536 CPUtime=12.66 cores=0,2
/proc/219803/stat : 219803 (roundingsat) R 219800 219803 216009 0 -1 4194304 6027 0 0 0 1202 64 0 0 20 0 1 0 24521388 64839680 9134 134679101440 4194304 7968373 140722357934896 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 24793088 140722357937086 140722357937250 140722357937250 140722357944265 0
/proc/219803/statm: 15830 9134 1850 922 0 7782 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 63320 KiB
Current children cumulated memory: 36536 KiB

[startup+25.5002 s]
/proc/loadavg: 4.16 4.15 4.10 5/259 219807
/proc/meminfo: memFree=123885196/131524600 swapFree=131061428/131071996
[pid=219803] ppid=219800 vsize=79160 memory=48068 CPUtime=25.41 cores=0,2
/proc/219803/stat : 219803 (roundingsat) R 219800 219803 216009 0 -1 4194304 8411 0 0 0 2431 110 0 0 20 0 1 0 24521388 81059840 12017 134679101440 4194304 7968373 140722357934896 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 24793088 140722357937086 140722357937250 140722357937250 140722357944265 0
/proc/219803/statm: 19790 12017 1850 922 0 11742 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 79160 KiB
Current children cumulated memory: 48068 KiB

[startup+51.1055 s]
/proc/loadavg: 4.10 4.13 4.10 5/259 219812
/proc/meminfo: memFree=123853808/131524600 swapFree=131061428/131071996
[pid=219803] ppid=219800 vsize=106016 memory=76360 CPUtime=50.93 cores=0,2
/proc/219803/stat : 219803 (roundingsat) R 219800 219803 216009 0 -1 4194304 12996 0 0 0 4932 161 0 0 20 0 1 0 24521388 108560384 19090 134679101440 4194304 7968373 140722357934896 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 24793088 140722357937086 140722357937250 140722357937250 140722357944265 0
/proc/219803/statm: 26504 19090 1850 922 0 18456 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 106016 KiB
Current children cumulated memory: 76360 KiB

[startup+102.3 s]
/proc/loadavg: 4.08 4.13 4.09 5/259 219837
/proc/meminfo: memFree=123822372/131524600 swapFree=131061428/131071996
[pid=219803] ppid=219800 vsize=140384 memory=97216 CPUtime=101.95 cores=0,2
/proc/219803/stat : 219803 (roundingsat) R 219800 219803 216009 0 -1 4194304 16251 0 0 0 9941 254 0 0 20 0 1 0 24521388 143753216 24304 134679101440 4194304 7968373 140722357934896 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 24793088 140722357937086 140722357937250 140722357937250 140722357944265 0
/proc/219803/statm: 35096 24304 1850 922 0 27048 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 140384 KiB
Current children cumulated memory: 97216 KiB

[startup+162.3 s]
/proc/loadavg: 4.17 4.15 4.10 5/258 219848
/proc/meminfo: memFree=123808596/131524600 swapFree=131061428/131071996
[pid=219803] ppid=219800 vsize=145164 memory=101796 CPUtime=161.74 cores=0,2
/proc/219803/stat : 219803 (roundingsat) R 219800 219803 216009 0 -1 4194304 17550 0 0 0 15813 361 0 0 20 0 1 0 24521388 148647936 25449 134679101440 4194304 7968373 140722357934896 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 24793088 140722357937086 140722357937250 140722357937250 140722357944265 0
/proc/219803/statm: 36291 25449 1850 922 0 28243 0
Current children cumulated CPU time: 161.74 s
Current children cumulated vsize: 145164 KiB
Current children cumulated memory: 101796 KiB

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

# cumulated CPU time of all completed processes:  user=163.977 s, system=3.71193 s

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

[startup+163.2 s]
/proc/loadavg: 4.17 4.15 4.10 5/258 219848
/proc/meminfo: memFree=123808436/131524600 swapFree=131061428/131071996
[pid=219803] ppid=219800 vsize=145324 memory=101796 CPUtime=162.64 cores=0,2
/proc/219803/stat : 219803 (roundingsat) R 219800 219803 216009 0 -1 4194304 17566 0 0 0 15901 363 0 0 20 0 1 0 24521388 148811776 25449 134679101440 4194304 7968373 140722357934896 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 24793088 140722357937086 140722357937250 140722357937250 140722357944265 0
/proc/219803/statm: 36331 25449 1850 922 0 28283 0
Current children cumulated CPU time: 162.64 s
Current children cumulated vsize: 145324 KiB
Current children cumulated memory: 101796 KiB

[startup+166.4 s]
/proc/loadavg: 4.16 4.14 4.10 5/258 219848
/proc/meminfo: memFree=123808156/131524600 swapFree=131061428/131071996
[pid=219803] ppid=219800 vsize=145516 memory=104784 CPUtime=165.83 cores=0,2
/proc/219803/stat : 219803 (roundingsat) R 219800 219803 216009 0 -1 4194304 17606 0 0 0 16216 367 0 0 20 0 1 0 24521388 149008384 26196 134679101440 4194304 7968373 140722357934896 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 24793088 140722357937086 140722357937250 140722357937250 140722357944265 0
/proc/219803/statm: 36379 26196 1850 922 0 28331 0
Current children cumulated CPU time: 165.83 s
Current children cumulated vsize: 145516 KiB
Current children cumulated memory: 104784 KiB

[startup+167.2 s]
/proc/loadavg: 4.16 4.14 4.10 5/258 219850
/proc/meminfo: memFree=123804988/131524600 swapFree=131061428/131071996
[pid=219803] ppid=219800 vsize=145516 memory=105032 CPUtime=166.63 cores=0,2
/proc/219803/stat : 219803 (roundingsat) R 219800 219803 216009 0 -1 4194304 17620 0 0 0 16295 368 0 0 20 0 1 0 24521388 149008384 26258 134679101440 4194304 7968373 140722357934896 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 24793088 140722357937086 140722357937250 140722357937250 140722357944265 0
/proc/219803/statm: 36379 26258 1850 922 0 28331 0
Current children cumulated CPU time: 166.63 s
Current children cumulated vsize: 145516 KiB
Current children cumulated memory: 105032 KiB

[startup+168 s]*
/proc/loadavg: 4.16 4.14 4.10 5/258 219850
/proc/meminfo: memFree=123804568/131524600 swapFree=131061428/131071996
[pid=219803] ppid=219800 vsize=146040 memory=105296 CPUtime=167.43 cores=0,2
/proc/219803/stat : 219803 (roundingsat) R 219800 219803 216009 0 -1 4194304 17707 0 0 0 16374 369 0 0 20 0 1 0 24521388 149544960 26324 134679101440 4194304 7968373 140722357934896 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 24793088 140722357937086 140722357937250 140722357937250 140722357944265 0
/proc/219803/statm: 36510 26324 1850 922 0 28462 0
Current children cumulated CPU time: 167.43 s
Current children cumulated vsize: 146040 KiB
Current children cumulated memory: 105296 KiB

[startup+168.2 s]
/proc/loadavg: 4.16 4.14 4.10 5/258 219850
/proc/meminfo: memFree=123804568/131524600 swapFree=131061428/131071996
[pid=219803] ppid=219800 vsize=146040 memory=105296 CPUtime=167.62 cores=0,2
/proc/219803/stat : 219803 (roundingsat) R 219800 219803 216009 0 -1 4194304 17707 0 0 0 16392 370 0 0 20 0 1 0 24521388 149544960 26324 134679101440 4194304 7968373 140722357934896 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 24793088 140722357937086 140722357937250 140722357937250 140722357944265 0
/proc/219803/statm: 36510 26324 1850 922 0 28462 0
Current children cumulated CPU time: 167.62 s
Current children cumulated vsize: 146040 KiB
Current children cumulated memory: 105296 KiB

Child status: 0

Real time (s): 168.255
CPU time (s): 167.689
CPU user time (s): 163.977
CPU system time (s): 3.71193
CPU usage (%): 99.6635
Max. virtual memory (cumulated for all children) (KiB): 146040
Max. memory (cumulated for all children) (KiB): 105296

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 163.977
system time used= 3.71193
maximum resident set size= 105296
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17715
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= 21
involuntary context switches= 1185


# summary of solver processes directly reported to runsolver:
#   pid: 219803
#   total CPU time (s): 167.689
#   total CPU user time (s): 163.977
#   total CPU system time (s): 3.71193

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.310097 second user time and 0.812467 second system time

The end

Launcher Data 

Begin job on nodeC022 at 2024-07-25 05:59:45
IDJOB=4458674
IDBENCH=178101
IDSOLVER=3084
FILE ID=nodeC022/4458674-1721879985
RUNJOBID= nodeC022-1721875932-216019
SLURM_JOB_ID= 8089234
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-4458674-1721879985/watcher-4458674-1721879985 -o /tmp/evaluation-result-4458674-1721879985/solver-4458674-1721879985 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1721875932-216019 --watchdog 3760  roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4458674-1721879985.opb

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

MD5SUM BENCH= 6f0521fdb0b18beb600868184781ec28
RANDOM SEED=1157915361

nodeC022.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		: 3657.723
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.87
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		: 3690.986
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	: 7006.75
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		: 3644.500
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.87
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.210
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	: 7006.75
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		: 3670.365
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.87
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		: 3691.062
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	: 7006.75
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		: 3631.849
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.87
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.082
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	: 7006.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        123930244 kB
MemAvailable:   129365184 kB
Buffers:          298320 kB
Cached:          5885988 kB
SwapCached:         1424 kB
Active:          2574732 kB
Inactive:        4250684 kB
Active(anon):       1936 kB
Inactive(anon):   692908 kB
Active(file):    2572796 kB
Inactive(file):  3557776 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131061428 kB
Dirty:              5524 kB
Writeback:            40 kB
AnonPages:        639440 kB
Mapped:           124876 kB
Shmem:             53732 kB
KReclaimable:     292128 kB
Slab:             415484 kB
SReclaimable:     292128 kB
SUnreclaim:       123356 kB
KernelStack:        4128 kB
PageTables:        10620 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     976436 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            17248 kB
HardwareCorrupted:     0 kB
AnonHugePages:    331776 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:      334548 kB
DirectMap2M:    36139008 kB
DirectMap1G:    99614720 kB

Free space on /tmp at the end= 890064 MiB
End job on nodeC022 at 2024-07-25 06:02:33