Trace number 4507663

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
roundingsat-ls-log 63f22adSAT 63.9615 64.4346

General information on the benchmark

NamePB24/normalized-PB12/DEC-LIN/sroussel/
ShortestPathBA/normalized-BeauxArts_K71.opb
MD5SUM9c6bc9cc94309c2493f896d524de96fb
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark1.42493
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables3905
Total number of constraints4049
Number of constraints which are clauses3978
Number of constraints which are cardinality constraints (but not clauses)71
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint71
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 72
Number of bits of the biggest sum of numbers7
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.03	c RoundingSat 2
0.00/0.03	c branch pb25
0.00/0.03	c commit 63f22ad
0.00/0.11	c #variables 3905 #constraints 4049
26.79/26.91	c #Conflicts:       1000 | #Constraints:       5048
26.79/26.91	c #Conflicts:       2000 | #Constraints:       6048
26.79/26.91	c INPROCESSING
26.79/26.91	c GARBAGE COLLECT
26.79/26.91	c #Conflicts:       3000 | #Constraints:       5540
26.79/26.91	c #Conflicts:       4000 | #Constraints:       6540
26.79/26.91	c INPROCESSING
26.79/26.91	c GARBAGE COLLECT
26.79/26.91	c #Conflicts:       5000 | #Constraints:       5997
26.79/26.91	c #Conflicts:       6000 | #Constraints:       6997
26.79/26.91	c INPROCESSING
26.79/26.91	c GARBAGE COLLECT
26.79/26.91	c #Conflicts:       7000 | #Constraints:       6025
26.79/26.91	c #Conflicts:       8000 | #Constraints:       7025
26.79/26.91	c #Conflicts:       9000 | #Constraints:       8025
26.79/26.91	c INPROCESSING
26.79/26.91	c GARBAGE COLLECT
26.79/26.91	c #Conflicts:      10000 | #Constraints:       6741
26.79/26.91	c #Conflicts:      11000 | #Constraints:       7741
26.79/26.91	c #Conflicts:      12000 | #Constraints:       8741
26.79/26.91	c INPROCESSING
26.79/26.91	c GARBAGE COLLECT
26.79/26.91	c #Conflicts:      13000 | #Constraints:       7241
26.79/26.91	c #Conflicts:      14000 | #Constraints:       8241
26.79/26.91	c #Conflicts:      15000 | #Constraints:       9241
26.79/26.91	c INPROCESSING
26.79/26.91	c GARBAGE COLLECT
26.79/26.91	c #Conflicts:      16000 | #Constraints:       7473
26.79/26.91	c #Conflicts:      17000 | #Constraints:       8473
26.79/26.91	c #Conflicts:      18000 | #Constraints:       9473
26.79/26.91	c INPROCESSING
26.79/26.91	c GARBAGE COLLECT
26.79/26.91	c #Conflicts:      19000 | #Constraints:       7513
26.79/26.91	c #Conflicts:      20000 | #Constraints:       8513
26.79/26.91	c #Conflicts:      21000 | #Constraints:       9513
26.79/26.91	c INPROCESSING
26.79/26.91	c GARBAGE COLLECT
26.79/26.91	c #Conflicts:      22000 | #Constraints:       7320
26.79/26.91	c #Conflicts:      23000 | #Constraints:       8320
26.79/26.91	c #Conflicts:      24000 | #Constraints:       9320
26.79/26.91	c #Conflicts:      25000 | #Constraints:      10320
26.79/26.91	c INPROCESSING
26.79/26.91	c GARBAGE COLLECT
26.79/26.91	c #Conflicts:      26000 | #Constraints:       7950
26.79/26.91	c #Conflicts:      27000 | #Constraints:       8950
26.79/26.91	c #Conflicts:      28000 | #Constraints:       9950
26.79/26.91	c #Conflicts:      29000 | #Constraints:      10950
26.79/26.91	c INPROCESSING
26.79/26.91	c GARBAGE COLLECT
26.79/26.91	c #Conflicts:      30000 | #Constraints:       8362
26.79/26.91	c #Conflicts:      31000 | #Constraints:       9362
26.79/26.91	c #Conflicts:      32000 | #Constraints:      10362
26.79/26.91	c #Conflicts:      33000 | #Constraints:      11362
26.79/26.91	c INPROCESSING
26.79/26.91	c GARBAGE COLLECT
26.79/26.91	c #Conflicts:      34000 | #Constraints:       8568
26.79/26.91	c #Conflicts:      35000 | #Constraints:       9568
26.79/26.91	c #Conflicts:      36000 | #Constraints:      10568
26.79/26.91	c #Conflicts:      37000 | #Constraints:      11568
26.79/26.91	c INPROCESSING
26.79/26.91	c GARBAGE COLLECT
26.79/26.91	c #Conflicts:      38000 | #Constraints:       8595
26.79/26.91	c #Conflicts:      39000 | #Constraints:       9595
26.79/26.91	c #Conflicts:      40000 | #Constraints:      10595
26.79/26.91	c #Conflicts:      41000 | #Constraints:      11595
26.79/26.91	c INPROCESSING
26.79/26.91	c GARBAGE COLLECT
26.79/26.91	c #Conflicts:      42000 | #Constraints:       8395
26.79/26.91	c #Conflicts:      43000 | #Constraints:       9395
26.79/26.91	c #Conflicts:      44000 | #Constraints:      10395
26.79/26.91	c #Conflicts:      45000 | #Constraints:      11395
26.79/26.91	c #Conflicts:      46000 | #Constraints:      12395
26.79/26.91	c INPROCESSING
26.79/26.91	c GARBAGE COLLECT
26.79/26.91	c #Conflicts:      47000 | #Constraints:       8998
26.79/26.91	c #Conflicts:      48000 | #Constraints:       9998
26.79/26.91	c #Conflicts:      49000 | #Constraints:      10998
26.79/26.91	c #Conflicts:      50000 | #Constraints:      11998
26.79/26.91	c #Conflicts:      51000 | #Constraints:      12998
26.79/26.91	c INPROCESSING
26.79/26.91	c GARBAGE COLLECT
26.79/26.91	c rational objective 71
30.38/30.50	c #Conflicts:      52000 | #Constraints:       9402
30.38/30.50	c #Conflicts:      53000 | #Constraints:      10402
30.38/30.50	c #Conflicts:      54000 | #Constraints:      11402
30.38/30.50	c #Conflicts:      55000 | #Constraints:      12402
30.38/30.50	c #Conflicts:      56000 | #Constraints:      13402
30.38/30.50	c INPROCESSING
30.38/30.50	c GARBAGE COLLECT
30.38/30.50	c rational objective 71
34.77/34.92	c #Conflicts:      57000 | #Constraints:       9600
34.77/34.92	c #Conflicts:      58000 | #Constraints:      10600
34.77/34.92	c #Conflicts:      59000 | #Constraints:      11600
34.77/34.92	c #Conflicts:      60000 | #Constraints:      12600
34.77/34.92	c #Conflicts:      61000 | #Constraints:      13600
34.77/34.92	c INPROCESSING
34.77/34.92	c GARBAGE COLLECT
34.77/34.92	c rational objective 71
45.55/45.79	c #Conflicts:      62000 | #Constraints:       9609
45.55/45.79	c #Conflicts:      63000 | #Constraints:      10609
45.55/45.79	c #Conflicts:      64000 | #Constraints:      11609
45.55/45.79	c #Conflicts:      65000 | #Constraints:      12609
45.55/45.79	c #Conflicts:      66000 | #Constraints:      13609
45.55/45.79	c INPROCESSING
45.55/45.79	c GARBAGE COLLECT
45.55/45.79	c #Conflicts:      67000 | #Constraints:       9421
45.55/45.79	c #Conflicts:      68000 | #Constraints:      10421
45.55/45.79	c #Conflicts:      69000 | #Constraints:      11421
45.55/45.79	c #Conflicts:      70000 | #Constraints:      12421
45.55/45.79	c #Conflicts:      71000 | #Constraints:      13421
45.55/45.79	c #Conflicts:      72000 | #Constraints:      14421
45.55/45.79	c INPROCESSING
45.55/45.79	c GARBAGE COLLECT
45.55/45.79	c #Conflicts:      73000 | #Constraints:      10027
45.55/45.79	c #Conflicts:      74000 | #Constraints:      11027
45.55/45.79	c #Conflicts:      75000 | #Constraints:      12027
45.55/45.79	c #Conflicts:      76000 | #Constraints:      13027
45.55/45.79	c #Conflicts:      77000 | #Constraints:      14027
45.55/45.79	c #Conflicts:      78000 | #Constraints:      15027
45.55/45.79	c INPROCESSING
45.55/45.79	c GARBAGE COLLECT
45.55/45.79	c rational objective 71
50.73/50.95	c #Conflicts:      79000 | #Constraints:      10453
50.73/50.95	c #Conflicts:      80000 | #Constraints:      11453
50.73/50.95	c #Conflicts:      81000 | #Constraints:      12453
50.73/50.95	c #Conflicts:      82000 | #Constraints:      13453
50.73/50.95	c #Conflicts:      83000 | #Constraints:      14453
50.73/50.95	c #Conflicts:      84000 | #Constraints:      15453
50.73/50.95	c INPROCESSING
50.73/50.95	c GARBAGE COLLECT
50.73/50.95	c rational objective 71
56.62/56.80	c #Conflicts:      85000 | #Constraints:      10657
56.62/56.80	c #Conflicts:      86000 | #Constraints:      11657
56.62/56.80	c #Conflicts:      87000 | #Constraints:      12657
56.62/56.80	c #Conflicts:      88000 | #Constraints:      13657
56.62/56.80	c #Conflicts:      89000 | #Constraints:      14657
56.62/56.80	c #Conflicts:      90000 | #Constraints:      15657
56.62/56.80	c INPROCESSING
56.62/56.80	c GARBAGE COLLECT
56.62/56.80	c rational objective 71
62.10/62.37	c #Conflicts:      91000 | #Constraints:      10687
62.10/62.37	c #Conflicts:      92000 | #Constraints:      11687
62.10/62.37	c #Conflicts:      93000 | #Constraints:      12687
62.10/62.37	c #Conflicts:      94000 | #Constraints:      13687
62.10/62.37	c #Conflicts:      95000 | #Constraints:      14687
62.10/62.37	c #Conflicts:      96000 | #Constraints:      15687
62.10/62.37	c INPROCESSING
62.10/62.37	c GARBAGE COLLECT
62.10/62.37	c rational objective 71
63.80/64.09	c cpu time 62.8019 s
63.80/64.09	c deterministic time 2555387661 2.56e+09
63.80/64.09	c optimization time 0.000223 s
63.80/64.09	c total solve time 62.7381 s
63.80/64.09	c core-guided solve time 0 s
63.80/64.09	c propagation time 21.8816 s
63.80/64.09	c conflict analysis time 23.618 s
63.80/64.09	c propagations 32466437
63.80/64.09	c resolve steps 3710416
63.80/64.09	c decisions 613492
63.80/64.09	c conflicts 96946
63.80/64.09	c restarts 254
63.80/64.09	c inprocessing phases 23
63.80/64.09	c garbage collections 23 ,( 100.00 )
63.80/64.09	c input clauses 3978 ,( 98.25 )
63.80/64.09	c input cardinalities 71 ,( 1.75 )
63.80/64.09	c input general constraints 0 ,( 0.00 )
63.80/64.09	c input average constraint length 6.01
63.80/64.09	c input average constraint degree 1.93
63.80/64.09	c learned clauses 68759 ,( 70.92 )
63.80/64.09	c learned cardinalities 4227 ,( 4.36 )
63.80/64.09	c learned general constraints 23965 ,( 24.72 )
63.80/64.09	c learned average constraint length 319.57
63.80/64.09	c learned average constraint degree 2478901.66
63.80/64.09	c watched  CF 32, 64, 128, Arb: 7036 , 0 , 0 , 0
63.80/64.09	c counting CF 32, 64, 128, Arb: 16929 , 0 , 0 , 0
63.80/64.09	c watched   constraints 7036 ,( 29.36 ) 
63.80/64.09	c counting  constraints 16929 ,( 70.64 ) 
63.80/64.09	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 31603245 , 16545095 , 35186296 ,( 2714375 , 32471921 )
63.80/64.09	c gcd simplifications 56
63.80/64.09	c detected cardinalities 381
63.80/64.09	c weakened non-implied lits 12274979
63.80/64.09	c weakened non-implying lits 7548
63.80/64.09	c original variables 3905
63.80/64.09	c clausal propagations 14916234
63.80/64.09	c cardinality propagations 11997202
63.80/64.09	c watched propagations 145050
63.80/64.09	c counting propagations 5005900
63.80/64.09	c watch lookups 738903212
63.80/64.09	c watch backjump lookups 0
63.80/64.09	c watch checks 632803848
63.80/64.09	c propagation checks 1008670786
63.80/64.09	c constraint additions 108730498
63.80/64.09	c trail pops 33176273
63.80/64.09	c formula constraints 4049
63.80/64.09	c learned constraints 96946
63.80/64.09	c bound constraints 0
63.80/64.09	c core-guided constraints 0
63.80/64.09	c encountered formula constraints 2850595
63.80/64.09	c encountered learned constraints 956767
63.80/64.09	c encountered bound constraints 0
63.80/64.09	c encountered core-guided constraints 0
63.80/64.09	c LP total time 13.4191 s
63.80/64.09	c LP solve time 5.16 s
63.80/64.09	c LP constraints added 4266
63.80/64.09	c LP constraints removed 122
63.80/64.09	c LP pivots internal 11502
63.80/64.09	c LP pivots root 11612
63.80/64.09	c LP calls 12
63.80/64.09	c LP optimalities 9
63.80/64.09	c LP no pivot count 0
63.80/64.09	c LP infeasibilities 0
63.80/64.09	c LP valid Farkas constraints 0
63.80/64.09	c LP learned Farkas constraints 0
63.80/64.09	c LP basis resets 0
63.80/64.09	c LP cycling count 0
63.80/64.09	c LP singular count 0
63.80/64.09	c LP no primal count 0
63.80/64.09	c LP no farkas count 0
63.80/64.09	c LP other issue count 0
63.80/64.09	c LP Gomory cuts 5
63.80/64.09	c LP learned cuts 253
63.80/64.09	c LP deleted cuts 168
63.80/64.09	c LP encountered Gomory constraints 0
63.80/64.09	c LP encountered Farkas constraints 0
63.80/64.09	c LP encountered learned Farkas constraints 0
63.80/64.09	c CG auxiliary variables introduced 0
63.80/64.09	c CG solutions found 0
63.80/64.09	c CG cores constructed 0
63.80/64.09	c CG core cardinality constraints returned 0
63.80/64.09	c CG unit cores 0
63.80/64.09	c CG single cores 0
63.80/64.09	c CG blocks removed during cardinality reduction 0
63.80/64.09	c CG first core best 0
63.80/64.09	c CG decision core best 0
63.80/64.09	c CG core reduction tie 0
63.80/64.09	c CG core degree average 0.00
63.80/64.09	c CG core slack average 0.00
63.80/64.09	c CG core upper bound improvements 0
63.80/64.09	c STR number of successful calls 0
63.80/64.09	c STR number of unsuccessful calls 0
63.80/64.09	c STR number of inconclusive calls 0
63.80/64.09	c STR number of successful attempts 0
63.80/64.09	c STR number of unsuccessful attempts 0
63.80/64.09	c STR number of inconclusive attempts 0
63.80/64.09	c STR average degree increase per successful call inf
63.80/64.09	c STR average degree increase per successful attempt inf
63.80/64.09	c STR total number of conflicts for successful attempts 0
63.80/64.09	c STR total number of conflicts for unsuccessful attempts 0
63.80/64.09	c STR total number of conflicts for inconclusive attempts 0
63.80/64.09	c STR average number of conflicts per successful attempt inf
63.80/64.09	c STR average number of conflicts per unsuccessful attempt inf
63.80/64.09	c STR average number of conflicts per inconclusive attempt inf
63.80/64.09	c AVG.sumWPerc 62.02 
63.80/64.09	c bigint constraints 0 
63.80/64.09	s SATISFIABLE
63.80/64.09	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 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 x631 -x632 x633 -x634 x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 x749 -x750 x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 x920 -x921 -x922 -x923 -x924 -x925 x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 x1293 -x1294 x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 x1571 -x1572 x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 x2789 -x2790 x2791 -x2792 x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 x3807 -x3808 x3809 -x3810 x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 x3905

Verifier Data 

OK	0

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: 63837 MiB (63283 MiB free)
  memory of node 1: 64465 MiB (63934 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4507663-1751192146/watcher-4507663-1751192146 -o /tmp/evaluation-result-4507663-1751192146/solver-4507663-1751192146 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1751192146-24747 --watchdog 3760 --file-size-limit 100000 run-dec-ls-log.sh HOME/instance-4507663-1751192146.opb PROOFDIR/proof-4507663-1751192146 

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 FSIZE limit: 102400000 KiB
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 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=24798, runsolver pid=24789
Current StackSize limit: 8192 KiB


[startup+0.100072 s]*
/proc/loadavg: 0.86 1.52 2.64 6/256 24811
/proc/meminfo: memFree=130249028/131382116 swapFree=33010684/33010684
[pid=24798] ppid=24789 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/24798/stat : 24798 (run-dec-ls-log.) S 24789 24798 24737 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 34893804 4292608 768 18446744073709551615 93878045577216 93878046471749 140735214939344 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93878046710800 93878046758544 93878060609536 140735214942491 140735214942689 140735214942689 140735214948291 0
/proc/24798/statm: 1048 768 704 219 0 110 0
[pid=24809] ppid=24798 vsize=62836 memory=17224 CPUtime=0.07 cores=0,2
/proc/24809/stat : 24809 (roundingsat) R 24798 24798 24737 0 -1 4194304 2855 0 0 0 6 1 0 0 20 0 1 0 34893805 64344064 4306 18446744073709551615 4227072 8923433 140722517812848 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 40611840 140722517821776 140722517821992 140722517821992 140722517827562 0
/proc/24809/statm: 15709 4306 2272 1147 0 3136 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 67028 KiB
Current children cumulated memory: 20296 KiB

[startup+0.214273 s]*
/proc/loadavg: 0.86 1.52 2.64 6/256 24811
/proc/meminfo: memFree=130238444/131382116 swapFree=33010684/33010684
[pid=24798] ppid=24789 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/24798/stat : 24798 (run-dec-ls-log.) S 24789 24798 24737 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 34893804 4292608 768 18446744073709551615 93878045577216 93878046471749 140735214939344 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93878046710800 93878046758544 93878060609536 140735214942491 140735214942689 140735214942689 140735214948291 0
/proc/24798/statm: 1048 768 704 219 0 110 0
[pid=24809] ppid=24798 vsize=66564 memory=20296 CPUtime=0.19 cores=0,2
/proc/24809/stat : 24809 (roundingsat) R 24798 24798 24737 0 -1 4194304 3633 0 0 0 17 2 0 0 20 0 1 0 34893805 68161536 5074 18446744073709551615 4227072 8923433 140722517812848 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 40611840 140722517821776 140722517821992 140722517821992 140722517827562 0
/proc/24809/statm: 16641 5074 2272 1147 0 4068 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 70756 KiB
Current children cumulated memory: 23368 KiB

[startup+0.314373 s]*
/proc/loadavg: 0.86 1.52 2.64 6/256 24811
/proc/meminfo: memFree=130238444/131382116 swapFree=33010684/33010684
[pid=24798] ppid=24789 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/24798/stat : 24798 (run-dec-ls-log.) S 24789 24798 24737 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 34893804 4292608 768 18446744073709551615 93878045577216 93878046471749 140735214939344 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93878046710800 93878046758544 93878060609536 140735214942491 140735214942689 140735214942689 140735214948291 0
/proc/24798/statm: 1048 768 704 219 0 110 0
[pid=24809] ppid=24798 vsize=66564 memory=20296 CPUtime=0.3 cores=0,2
/proc/24809/stat : 24809 (roundingsat) R 24798 24798 24737 0 -1 4194304 3639 0 0 0 27 3 0 0 20 0 1 0 34893805 68161536 5074 18446744073709551615 4227072 8923433 140722517812848 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 40611840 140722517821776 140722517821992 140722517821992 140722517827562 0
/proc/24809/statm: 16641 5074 2272 1147 0 4068 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 70756 KiB
Current children cumulated memory: 23368 KiB

[startup+0.700304 s]
/proc/loadavg: 0.86 1.52 2.64 6/256 24811
/proc/meminfo: memFree=130236428/131382116 swapFree=33010684/33010684
[pid=24798] ppid=24789 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/24798/stat : 24798 (run-dec-ls-log.) S 24789 24798 24737 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 34893804 4292608 768 18446744073709551615 93878045577216 93878046471749 140735214939344 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93878046710800 93878046758544 93878060609536 140735214942491 140735214942689 140735214942689 140735214948291 0
/proc/24798/statm: 1048 768 704 219 0 110 0
[pid=24809] ppid=24798 vsize=66564 memory=20424 CPUtime=0.67 cores=0,2
/proc/24809/stat : 24809 (roundingsat) R 24798 24798 24737 0 -1 4194304 3644 0 0 0 64 3 0 0 20 0 1 0 34893805 68161536 5106 18446744073709551615 4227072 8923433 140722517812848 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 40611840 140722517821776 140722517821992 140722517821992 140722517827562 0
/proc/24809/statm: 16641 5106 2304 1147 0 4068 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 70756 KiB
Current children cumulated memory: 23496 KiB

[startup+1.5003 s]
/proc/loadavg: 0.86 1.52 2.64 6/256 24811
/proc/meminfo: memFree=130231660/131382116 swapFree=33010684/33010684
[pid=24798] ppid=24789 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/24798/stat : 24798 (run-dec-ls-log.) S 24789 24798 24737 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 34893804 4292608 768 18446744073709551615 93878045577216 93878046471749 140735214939344 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93878046710800 93878046758544 93878060609536 140735214942491 140735214942689 140735214942689 140735214948291 0
/proc/24798/statm: 1048 768 704 219 0 110 0
[pid=24809] ppid=24798 vsize=67484 memory=21448 CPUtime=1.46 cores=0,2
/proc/24809/stat : 24809 (roundingsat) R 24798 24798 24737 0 -1 4194304 3873 0 0 0 142 4 0 0 20 0 1 0 34893805 69103616 5362 18446744073709551615 4227072 8923433 140722517812848 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 40611840 140722517821776 140722517821992 140722517821992 140722517827562 0
/proc/24809/statm: 16871 5362 2304 1147 0 4298 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 71676 KiB
Current children cumulated memory: 24520 KiB

[startup+3.11322 s]
/proc/loadavg: 1.11 1.56 2.65 6/257 24812
/proc/meminfo: memFree=130181852/131382116 swapFree=33010684/33010684
[pid=24798] ppid=24789 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/24798/stat : 24798 (run-dec-ls-log.) S 24789 24798 24737 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 34893804 4292608 768 18446744073709551615 93878045577216 93878046471749 140735214939344 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93878046710800 93878046758544 93878060609536 140735214942491 140735214942689 140735214942689 140735214948291 0
/proc/24798/statm: 1048 768 704 219 0 110 0
[pid=24809] ppid=24798 vsize=71272 memory=29320 CPUtime=3.06 cores=0,2
/proc/24809/stat : 24809 (roundingsat) R 24798 24798 24737 0 -1 4194304 5325 0 0 0 296 10 0 0 20 0 1 0 34893805 72982528 7330 18446744073709551615 4227072 8923433 140722517812848 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 40611840 140722517821776 140722517821992 140722517821992 140722517827562 0
/proc/24809/statm: 17818 7330 2336 1147 0 5245 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 75464 KiB
Current children cumulated memory: 32392 KiB

[startup+6.30029 s]
/proc/loadavg: 1.11 1.56 2.65 6/259 24814
/proc/meminfo: memFree=130155912/131382116 swapFree=33010684/33010684
[pid=24798] ppid=24789 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/24798/stat : 24798 (run-dec-ls-log.) S 24789 24798 24737 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 34893804 4292608 768 18446744073709551615 93878045577216 93878046471749 140735214939344 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93878046710800 93878046758544 93878060609536 140735214942491 140735214942689 140735214942689 140735214948291 0
/proc/24798/statm: 1048 768 704 219 0 110 0
[pid=24809] ppid=24798 vsize=79164 memory=34312 CPUtime=6.24 cores=0,2
/proc/24809/stat : 24809 (roundingsat) R 24798 24798 24737 0 -1 4194304 6563 0 0 0 606 18 0 0 20 0 1 0 34893805 81063936 8578 18446744073709551615 4227072 8923433 140722517812848 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 40611840 140722517821776 140722517821992 140722517821992 140722517827562 0
/proc/24809/statm: 19791 8578 2336 1147 0 7218 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 83356 KiB
Current children cumulated memory: 37384 KiB

[startup+12.7003 s]
/proc/loadavg: 1.55 1.64 2.66 6/259 24814
/proc/meminfo: memFree=130055744/131382116 swapFree=33010684/33010684
[pid=24798] ppid=24789 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/24798/stat : 24798 (run-dec-ls-log.) S 24789 24798 24737 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 34893804 4292608 768 18446744073709551615 93878045577216 93878046471749 140735214939344 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93878046710800 93878046758544 93878060609536 140735214942491 140735214942689 140735214942689 140735214948291 0
/proc/24798/statm: 1048 768 704 219 0 110 0
[pid=24809] ppid=24798 vsize=80712 memory=37256 CPUtime=12.62 cores=0,2
/proc/24809/stat : 24809 (roundingsat) R 24798 24798 24737 0 -1 4194304 7322 0 0 0 1234 28 0 0 20 0 1 0 34893805 82649088 9314 18446744073709551615 4227072 8923433 140722517812848 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 40611840 140722517821776 140722517821992 140722517821992 140722517827562 0
/proc/24809/statm: 20178 9314 2336 1147 0 7605 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 84904 KiB
Current children cumulated memory: 40328 KiB

[startup+25.5003 s]
/proc/loadavg: 1.93 1.72 2.68 5/259 24953
/proc/meminfo: memFree=129964324/131382116 swapFree=33010684/33010684
[pid=24798] ppid=24789 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/24798/stat : 24798 (run-dec-ls-log.) S 24789 24798 24737 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 34893804 4292608 768 18446744073709551615 93878045577216 93878046471749 140735214939344 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93878046710800 93878046758544 93878060609536 140735214942491 140735214942689 140735214942689 140735214948291 0
/proc/24798/statm: 1048 768 704 219 0 110 0
[pid=24809] ppid=24798 vsize=88900 memory=44984 CPUtime=25.39 cores=0,2
/proc/24809/stat : 24809 (roundingsat) R 24798 24798 24737 0 -1 4194304 8742 0 0 0 2488 51 0 0 20 0 1 0 34893805 91033600 11246 18446744073709551615 4227072 8923433 140722517812848 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 40611840 140722517821776 140722517821992 140722517821992 140722517827562 0
/proc/24809/statm: 22225 11246 2336 1147 0 9652 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 93092 KiB
Current children cumulated memory: 48056 KiB

[startup+51.1135 s]
/proc/loadavg: 2.69 1.92 2.72 5/261 24955
/proc/meminfo: memFree=129382800/131382116 swapFree=33010684/33010684
[pid=24798] ppid=24789 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/24798/stat : 24798 (run-dec-ls-log.) S 24789 24798 24737 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 34893804 4292608 768 18446744073709551615 93878045577216 93878046471749 140735214939344 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93878046710800 93878046758544 93878060609536 140735214942491 140735214942689 140735214942689 140735214948291 0
/proc/24798/statm: 1048 768 704 219 0 110 0
[pid=24809] ppid=24798 vsize=132848 memory=90548 CPUtime=50.94 cores=0,2
/proc/24809/stat : 24809 (roundingsat) R 24798 24798 24737 0 -1 4194304 18553 0 0 0 5001 93 0 0 20 0 1 0 34893805 136036352 22637 18446744073709551615 4227072 8923433 140722517812848 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 40611840 140722517821776 140722517821992 140722517821992 140722517827562 0
/proc/24809/statm: 33212 22637 2368 1147 0 20639 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 137040 KiB
Current children cumulated memory: 93620 KiB

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

# cumulated CPU time of all completed processes:  user=62.8195 s, system=1.14202 s

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

[startup+51.2004 s]
/proc/loadavg: 2.69 1.92 2.72 5/261 24955
/proc/meminfo: memFree=129382800/131382116 swapFree=33010684/33010684
[pid=24798] ppid=24789 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/24798/stat : 24798 (run-dec-ls-log.) S 24789 24798 24737 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 34893804 4292608 768 18446744073709551615 93878045577216 93878046471749 140735214939344 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93878046710800 93878046758544 93878060609536 140735214942491 140735214942689 140735214942689 140735214948291 0
/proc/24798/statm: 1048 768 704 219 0 110 0
[pid=24809] ppid=24798 vsize=132848 memory=90548 CPUtime=51.03 cores=0,2
/proc/24809/stat : 24809 (roundingsat) R 24798 24798 24737 0 -1 4194304 18553 0 0 0 5010 93 0 0 20 0 1 0 34893805 136036352 22637 18446744073709551615 4227072 8923433 140722517812848 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 40611840 140722517821776 140722517821992 140722517821992 140722517827562 0
/proc/24809/statm: 33212 22637 2368 1147 0 20639 0
Current children cumulated CPU time: 51.03 s
Current children cumulated vsize: 137040 KiB
Current children cumulated memory: 93620 KiB

[startup+57.6003 s]
/proc/loadavg: 2.90 1.99 2.74 5/261 24956
/proc/meminfo: memFree=129240956/131382116 swapFree=33010684/33010684
[pid=24798] ppid=24789 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/24798/stat : 24798 (run-dec-ls-log.) S 24789 24798 24737 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 34893804 4292608 768 18446744073709551615 93878045577216 93878046471749 140735214939344 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93878046710800 93878046758544 93878060609536 140735214942491 140735214942689 140735214942689 140735214948291 0
/proc/24798/statm: 1048 768 704 219 0 110 0
[pid=24809] ppid=24798 vsize=132848 memory=90548 CPUtime=57.41 cores=0,2
/proc/24809/stat : 24809 (roundingsat) R 24798 24798 24737 0 -1 4194304 18564 0 0 0 5641 100 0 0 20 0 1 0 34893805 136036352 22637 18446744073709551615 4227072 8923433 140722517812848 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 40611840 140722517821776 140722517821992 140722517821992 140722517827562 0
/proc/24809/statm: 33212 22637 2368 1147 0 20639 0
Current children cumulated CPU time: 57.41 s
Current children cumulated vsize: 137040 KiB
Current children cumulated memory: 93620 KiB

[startup+60.8003 s]
/proc/loadavg: 2.90 1.99 2.74 5/261 24956
/proc/meminfo: memFree=129163532/131382116 swapFree=33010684/33010684
[pid=24798] ppid=24789 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/24798/stat : 24798 (run-dec-ls-log.) S 24789 24798 24737 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 34893804 4292608 768 18446744073709551615 93878045577216 93878046471749 140735214939344 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93878046710800 93878046758544 93878060609536 140735214942491 140735214942689 140735214942689 140735214948291 0
/proc/24798/statm: 1048 768 704 219 0 110 0
[pid=24809] ppid=24798 vsize=132848 memory=90548 CPUtime=60.61 cores=0,2
/proc/24809/stat : 24809 (roundingsat) R 24798 24798 24737 0 -1 4194304 18564 0 0 0 5957 104 0 0 20 0 1 0 34893805 136036352 22637 18446744073709551615 4227072 8923433 140722517812848 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 40611840 140722517821776 140722517821992 140722517821992 140722517827562 0
/proc/24809/statm: 33212 22637 2368 1147 0 20639 0
Current children cumulated CPU time: 60.61 s
Current children cumulated vsize: 137040 KiB
Current children cumulated memory: 93620 KiB

[startup+62.4003 s]
/proc/loadavg: 2.98 2.02 2.74 5/261 24956
/proc/meminfo: memFree=129117680/131382116 swapFree=33010684/33010684
[pid=24798] ppid=24789 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/24798/stat : 24798 (run-dec-ls-log.) S 24789 24798 24737 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 34893804 4292608 768 18446744073709551615 93878045577216 93878046471749 140735214939344 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93878046710800 93878046758544 93878060609536 140735214942491 140735214942689 140735214942689 140735214948291 0
/proc/24798/statm: 1048 768 704 219 0 110 0
[pid=24809] ppid=24798 vsize=132848 memory=90676 CPUtime=62.2 cores=0,2
/proc/24809/stat : 24809 (roundingsat) R 24798 24798 24737 0 -1 4194304 18587 0 0 0 6113 107 0 0 20 0 1 0 34893805 136036352 22669 18446744073709551615 4227072 8923433 140722517812848 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 40611840 140722517821776 140722517821992 140722517821992 140722517827562 0
/proc/24809/statm: 33212 22669 2368 1147 0 20639 0
Current children cumulated CPU time: 62.2 s
Current children cumulated vsize: 137040 KiB
Current children cumulated memory: 93748 KiB

[startup+63.2003 s]
/proc/loadavg: 2.98 2.02 2.74 5/261 24956
/proc/meminfo: memFree=129089960/131382116 swapFree=33010684/33010684
[pid=24798] ppid=24789 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/24798/stat : 24798 (run-dec-ls-log.) S 24789 24798 24737 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 34893804 4292608 768 18446744073709551615 93878045577216 93878046471749 140735214939344 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93878046710800 93878046758544 93878060609536 140735214942491 140735214942689 140735214942689 140735214948291 0
/proc/24798/statm: 1048 768 704 219 0 110 0
[pid=24809] ppid=24798 vsize=132848 memory=90676 CPUtime=62.99 cores=0,2
/proc/24809/stat : 24809 (roundingsat) R 24798 24798 24737 0 -1 4194304 18587 0 0 0 6192 107 0 0 20 0 1 0 34893805 136036352 22669 18446744073709551615 4227072 8923433 140722517812848 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 40611840 140722517821776 140722517821992 140722517821992 140722517827562 0
/proc/24809/statm: 33212 22669 2368 1147 0 20639 0
Current children cumulated CPU time: 62.99 s
Current children cumulated vsize: 137040 KiB
Current children cumulated memory: 93748 KiB

[startup+64.0003 s]*
/proc/loadavg: 2.98 2.02 2.74 5/261 24956
/proc/meminfo: memFree=129062132/131382116 swapFree=33010684/33010684
[pid=24798] ppid=24789 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/24798/stat : 24798 (run-dec-ls-log.) S 24789 24798 24737 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 34893804 4292608 768 18446744073709551615 93878045577216 93878046471749 140735214939344 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93878046710800 93878046758544 93878060609536 140735214942491 140735214942689 140735214942689 140735214948291 0
/proc/24798/statm: 1048 768 704 219 0 110 0
[pid=24809] ppid=24798 vsize=132848 memory=90676 CPUtime=63.8 cores=0,2
/proc/24809/stat : 24809 (roundingsat) R 24798 24798 24737 0 -1 4194304 18587 0 0 0 6272 108 0 0 20 0 1 0 34893805 136036352 22669 18446744073709551615 4227072 8923433 140722517812848 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 40611840 140722517821776 140722517821992 140722517821992 140722517827562 0
/proc/24809/statm: 33212 22669 2368 1147 0 20639 0
Current children cumulated CPU time: 63.8 s
Current children cumulated vsize: 137040 KiB
Current children cumulated memory: 93748 KiB

[startup+64.4003 s]
/proc/loadavg: 2.98 2.02 2.74 5/261 24956
/proc/meminfo: memFree=129062132/131382116 swapFree=33010684/33010684
[pid=24798] ppid=24789 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/24798/stat : 24798 (run-dec-ls-log.) S 24789 24798 24737 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 34893804 4292608 768 18446744073709551615 93878045577216 93878046471749 140735214939344 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93878046710800 93878046758544 93878060609536 140735214942491 140735214942689 140735214942689 140735214948291 0
/proc/24798/statm: 1048 768 704 219 0 110 0
[pid=24809] ppid=24798 vsize=132848 memory=90676 CPUtime=63.94 cores=0,2
/proc/24809/stat : 24809 (roundingsat) D 24798 24798 24737 0 -1 4194304 18587 0 0 0 6281 113 0 0 20 0 1 0 34893805 136036352 22669 18446744073709551615 4227072 8923433 140722517812848 0 0 0 0 0 8405026 1 0 0 17 0 0 0 0 0 0 9823104 9832592 40611840 140722517821776 140722517821992 140722517821992 140722517827562 0
/proc/24809/statm: 33212 22669 2368 1147 0 20639 0
Current children cumulated CPU time: 63.94 s
Current children cumulated vsize: 137040 KiB
Current children cumulated memory: 93748 KiB

Child status: 0

Real time (s): 64.4346
CPU time (s): 63.9615
CPU user time (s): 62.8195
CPU system time (s): 1.14202
CPU usage (%): 99.2658
Max. virtual memory (cumulated for all children) (KiB): 137040
Max. memory (cumulated for all children) (KiB): 93748

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 62.8195
system time used= 1.14202
maximum resident set size= 90676
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18819
page faults= 0
swaps= 0
block input operations= 0
block output operations= 689504
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 10484
involuntary context switches= 161


# summary of solver processes directly reported to runsolver:
#   pid: 24798
#   total CPU time (s): 63.9615
#   total CPU user time (s): 62.8195
#   total CPU system time (s): 1.14202

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.381793 second user time and 0.695799 second system time

The end

Launcher Data 

Begin job on nodeC004 at 2025-06-29 12:15:46
IDJOB=4507663
IDBENCH=158375
IDSOLVER=3354
FILE ID=nodeC004/4507663-1751192146
RUNJOBID= nodeC004-1751192146-24747
SLURM_JOB_ID= 9587582
Free space on /tmp= 433060 MiB

SOLVER NAME= roundingsat-ls-log 63f22ad
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathBA/normalized-BeauxArts_K71.opb
COMMAND LINE= run-dec-ls-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4507663-1751192146/watcher-4507663-1751192146 -o /tmp/evaluation-result-4507663-1751192146/solver-4507663-1751192146 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1751192146-24747 --watchdog 3760 --file-size-limit 100000 run-dec-ls-log.sh HOME/instance-4507663-1751192146.opb PROOFDIR/proof-4507663-1751192146

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

MD5SUM BENCH= 9c6bc9cc94309c2493f896d524de96fb
RANDOM SEED=1400166151

nodeC004 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024

/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	: 0xb00001f
cpu MHz		: 1197.322
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.74
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	: 0xb00001f
cpu MHz		: 1197.176
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.74
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	: 0xb00001f
cpu MHz		: 1197.206
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.74
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	: 0xb00001f
cpu MHz		: 1197.118
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.74
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	: 0xb00001f
cpu MHz		: 1197.360
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.74
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	: 0xb00001f
cpu MHz		: 1197.213
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.74
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	: 0xb00001f
cpu MHz		: 1197.213
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.74
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	: 0xb00001f
cpu MHz		: 1197.033
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382116 kB
MemFree:        130272804 kB
MemAvailable:   129924904 kB
Buffers:            3280 kB
Cached:           463672 kB
SwapCached:            0 kB
Active:           316764 kB
Inactive:         216000 kB
Active(anon):      83788 kB
Inactive(anon):        0 kB
Active(file):     232976 kB
Inactive(file):   216000 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             30448 kB
Writeback:             8 kB
AnonPages:         68884 kB
Mapped:           102064 kB
Shmem:             17976 kB
KReclaimable:      85500 kB
Slab:             167332 kB
SReclaimable:      85500 kB
SUnreclaim:        81832 kB
KernelStack:        3808 kB
PageTables:         2776 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:     331612 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149256 kB
VmallocChunk:          0 kB
Percpu:             3680 kB
HardwareCorrupted:     0 kB
AnonHugePages:     12288 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      197448 kB
DirectMap2M:    10190848 kB
DirectMap1G:    125829120 kB

Free space on /tmp at the end= 433032 MiB
End job on nodeC004 at 2025-06-29 12:16:51