0.00/0.00 c RoundingSat 2
0.00/0.00 c branch
0.00/0.00 c commit
0.00/0.00 c [STEP] parsing instance
0.00/0.00 c [STEP] solving
0.00/0.00 c #variables 1056 #constraints 488
0.00/0.00 c SMALL=int, LARGE=long long
0.00/0.00 c bounds - >= -640 @ 0.002369
0.00/0.00 c stratification level: 0
30.41/30.57 c #Conflicts: 1000 | #Constraints: 1527
30.41/30.57 c #Conflicts: 2000 | #Constraints: 2527
30.41/30.57 c INPROCESSING
30.41/30.57 c GARBAGE COLLECT
30.41/30.57 c #Conflicts: 3000 | #Constraints: 2552
30.41/30.57 c #Conflicts: 4000 | #Constraints: 3552
30.41/30.57 c INPROCESSING
30.41/30.57 c GARBAGE COLLECT
30.41/30.57 c #Conflicts: 5000 | #Constraints: 2967
30.41/30.57 c #Conflicts: 6000 | #Constraints: 3967
30.41/30.57 c INPROCESSING
30.41/30.57 c GARBAGE COLLECT
30.41/30.57 c #Conflicts: 7000 | #Constraints: 2973
30.41/30.57 c #Conflicts: 8000 | #Constraints: 3973
30.41/30.57 c #Conflicts: 9000 | #Constraints: 4973
30.41/30.57 c INPROCESSING
30.41/30.57 c GARBAGE COLLECT
30.41/30.57 c #Conflicts: 10000 | #Constraints: 3679
30.41/30.57 c #Conflicts: 11000 | #Constraints: 4679
30.41/30.57 c #Conflicts: 12000 | #Constraints: 5679
30.41/30.57 c INPROCESSING
30.41/30.57 c GARBAGE COLLECT
30.41/30.57 c #Conflicts: 13000 | #Constraints: 4130
30.41/30.57 c #Conflicts: 14000 | #Constraints: 5130
30.41/30.57 c #Conflicts: 15000 | #Constraints: 6130
30.41/30.57 c INPROCESSING
30.41/30.57 c GARBAGE COLLECT
30.41/30.57 c #Conflicts: 16000 | #Constraints: 4360
30.41/30.57 c #Conflicts: 17000 | #Constraints: 5360
30.41/30.57 c #Conflicts: 18000 | #Constraints: 6360
30.41/30.57 c INPROCESSING
30.41/30.57 c GARBAGE COLLECT
30.41/30.57 c #Conflicts: 19000 | #Constraints: 4377
30.41/30.57 c #Conflicts: 20000 | #Constraints: 5377
30.41/30.57 c #Conflicts: 21000 | #Constraints: 6377
30.41/30.57 c INPROCESSING
30.41/30.57 c GARBAGE COLLECT
30.41/30.57 c #Conflicts: 22000 | #Constraints: 4182
30.41/30.57 c #Conflicts: 23000 | #Constraints: 5182
30.41/30.57 c #Conflicts: 24000 | #Constraints: 6182
30.41/30.57 c #Conflicts: 25000 | #Constraints: 7182
30.41/30.57 c INPROCESSING
30.41/30.57 c GARBAGE COLLECT
30.41/30.57 c #Conflicts: 26000 | #Constraints: 4792
30.41/30.57 c #Conflicts: 27000 | #Constraints: 5792
30.41/30.57 c #Conflicts: 28000 | #Constraints: 6792
30.41/30.57 c #Conflicts: 29000 | #Constraints: 7792
30.41/30.57 c INPROCESSING
30.41/30.57 c GARBAGE COLLECT
30.41/30.57 c #Conflicts: 30000 | #Constraints: 5187
30.41/30.57 c #Conflicts: 31000 | #Constraints: 6187
30.41/30.57 c #Conflicts: 32000 | #Constraints: 7187
30.41/30.57 c #Conflicts: 33000 | #Constraints: 8187
30.41/30.57 c INPROCESSING
30.41/30.57 c GARBAGE COLLECT
30.41/30.57 c #Conflicts: 34000 | #Constraints: 5389
30.41/30.57 c #Conflicts: 35000 | #Constraints: 6389
30.41/30.57 c #Conflicts: 36000 | #Constraints: 7389
30.41/30.57 c #Conflicts: 37000 | #Constraints: 8389
30.41/30.57 c INPROCESSING
30.41/30.57 c GARBAGE COLLECT
30.41/30.57 c #Conflicts: 38000 | #Constraints: 5385
30.41/30.57 c #Conflicts: 39000 | #Constraints: 6385
30.41/30.57 c #Conflicts: 40000 | #Constraints: 7385
30.41/30.57 c #Conflicts: 41000 | #Constraints: 8385
30.41/30.57 c INPROCESSING
30.41/30.57 c GARBAGE COLLECT
30.41/30.57 c #Conflicts: 42000 | #Constraints: 5183
30.41/30.57 c #Conflicts: 43000 | #Constraints: 6183
30.41/30.57 c #Conflicts: 44000 | #Constraints: 7183
30.41/30.57 c #Conflicts: 45000 | #Constraints: 8183
30.41/30.57 c #Conflicts: 46000 | #Constraints: 9183
30.41/30.57 c INPROCESSING
30.41/30.57 c GARBAGE COLLECT
30.41/30.57 c #Conflicts: 47000 | #Constraints: 5780
30.41/30.57 c #Conflicts: 48000 | #Constraints: 6780
30.41/30.57 c #Conflicts: 49000 | #Constraints: 7780
30.41/30.57 c #Conflicts: 50000 | #Constraints: 8780
30.41/30.57 c #Conflicts: 51000 | #Constraints: 9780
30.41/30.57 c INPROCESSING
30.41/30.57 c GARBAGE COLLECT
30.41/30.57 c #Conflicts: 52000 | #Constraints: 6178
30.41/30.57 c #Conflicts: 53000 | #Constraints: 7178
30.41/30.57 c #Conflicts: 54000 | #Constraints: 8178
30.41/30.57 c #Conflicts: 55000 | #Constraints: 9178
30.41/30.57 c #Conflicts: 56000 | #Constraints: 10178
30.41/30.57 c INPROCESSING
30.41/30.57 c GARBAGE COLLECT
30.41/30.57 c #Conflicts: 57000 | #Constraints: 6385
30.41/30.57 c #Conflicts: 58000 | #Constraints: 7385
30.41/30.57 c #Conflicts: 59000 | #Constraints: 8385
30.41/30.57 c #Conflicts: 60000 | #Constraints: 9385
30.41/30.57 c #Conflicts: 61000 | #Constraints: 10385
30.41/30.57 c INPROCESSING
30.41/30.57 c GARBAGE COLLECT
30.41/30.57 c #Conflicts: 62000 | #Constraints: 6383
30.41/30.57 c #Conflicts: 63000 | #Constraints: 7383
30.41/30.57 c #Conflicts: 64000 | #Constraints: 8383
30.41/30.57 c #Conflicts: 65000 | #Constraints: 9383
30.41/30.57 c #Conflicts: 66000 | #Constraints: 10383
30.41/30.57 c INPROCESSING
30.41/30.57 c GARBAGE COLLECT
30.41/30.57 c #Conflicts: 67000 | #Constraints: 6180
30.41/30.57 c #Conflicts: 68000 | #Constraints: 7180
76.59/76.84 c #Conflicts: 69000 | #Constraints: 8180
76.59/76.84 c #Conflicts: 70000 | #Constraints: 9180
76.59/76.84 c #Conflicts: 71000 | #Constraints: 10180
76.59/76.84 c #Conflicts: 72000 | #Constraints: 11180
76.59/76.84 c INPROCESSING
76.59/76.84 c GARBAGE COLLECT
76.59/76.84 c #Conflicts: 73000 | #Constraints: 6779
76.59/76.84 c #Conflicts: 74000 | #Constraints: 7779
76.59/76.84 c #Conflicts: 75000 | #Constraints: 8779
76.59/76.84 c #Conflicts: 76000 | #Constraints: 9779
76.59/76.84 c #Conflicts: 77000 | #Constraints: 10779
76.59/76.84 c #Conflicts: 78000 | #Constraints: 11779
76.59/76.84 c INPROCESSING
76.59/76.84 c GARBAGE COLLECT
76.59/76.84 c #Conflicts: 79000 | #Constraints: 7188
76.59/76.84 c #Conflicts: 80000 | #Constraints: 8188
76.59/76.84 c #Conflicts: 81000 | #Constraints: 9188
76.59/76.84 c #Conflicts: 82000 | #Constraints: 10188
76.59/76.84 c #Conflicts: 83000 | #Constraints: 11188
76.59/76.84 c #Conflicts: 84000 | #Constraints: 12188
76.59/76.84 c INPROCESSING
76.59/76.84 c GARBAGE COLLECT
76.59/76.84 c #Conflicts: 85000 | #Constraints: 7382
76.59/76.84 c #Conflicts: 86000 | #Constraints: 8382
76.59/76.84 c #Conflicts: 87000 | #Constraints: 9382
76.59/76.84 c #Conflicts: 88000 | #Constraints: 10382
76.59/76.84 c #Conflicts: 89000 | #Constraints: 11382
76.59/76.84 c #Conflicts: 90000 | #Constraints: 12382
76.59/76.84 c INPROCESSING
76.59/76.84 c GARBAGE COLLECT
76.59/76.84 c #Conflicts: 91000 | #Constraints: 7386
76.59/76.84 c #Conflicts: 92000 | #Constraints: 8386
76.59/76.84 c #Conflicts: 93000 | #Constraints: 9386
76.59/76.84 c #Conflicts: 94000 | #Constraints: 10386
76.59/76.84 c #Conflicts: 95000 | #Constraints: 11386
76.59/76.84 c #Conflicts: 96000 | #Constraints: 12386
76.59/76.84 c INPROCESSING
76.59/76.84 c GARBAGE COLLECT
76.59/76.84 c #Conflicts: 97000 | #Constraints: 7184
76.59/76.84 c #Conflicts: 98000 | #Constraints: 8184
76.59/76.84 c #Conflicts: 99000 | #Constraints: 9184
76.59/76.84 c #Conflicts: 100000 | #Constraints: 10184
76.59/76.84 c #Conflicts: 101000 | #Constraints: 11184
76.59/76.84 c #Conflicts: 102000 | #Constraints: 12184
76.59/76.84 c #Conflicts: 103000 | #Constraints: 13184
76.59/76.84 c INPROCESSING
76.59/76.84 c GARBAGE COLLECT
76.59/76.84 c #Conflicts: 104000 | #Constraints: 7784
76.59/76.84 c #Conflicts: 105000 | #Constraints: 8784
76.59/76.84 c #Conflicts: 106000 | #Constraints: 9784
76.59/76.84 c #Conflicts: 107000 | #Constraints: 10784
76.59/76.84 c #Conflicts: 108000 | #Constraints: 11784
76.59/76.84 c #Conflicts: 109000 | #Constraints: 12784
76.59/76.84 c #Conflicts: 110000 | #Constraints: 13784
76.59/76.84 c INPROCESSING
76.59/76.84 c GARBAGE COLLECT
76.59/76.84 c #Conflicts: 111000 | #Constraints: 8187
76.59/76.84 c #Conflicts: 112000 | #Constraints: 9187
76.59/76.84 c #Conflicts: 113000 | #Constraints: 10187
76.59/76.84 c #Conflicts: 114000 | #Constraints: 11187
76.59/76.84 c #Conflicts: 115000 | #Constraints: 12187
76.59/76.84 c #Conflicts: 116000 | #Constraints: 13187
76.59/76.84 c #Conflicts: 117000 | #Constraints: 14187
76.59/76.84 c INPROCESSING
76.59/76.84 c GARBAGE COLLECT
76.59/76.84 c #Conflicts: 118000 | #Constraints: 8391
76.59/76.84 c #Conflicts: 119000 | #Constraints: 9391
76.59/76.84 c #Conflicts: 120000 | #Constraints: 10391
76.59/76.84 c #Conflicts: 121000 | #Constraints: 11391
76.59/76.84 c #Conflicts: 122000 | #Constraints: 12391
76.59/76.84 c #Conflicts: 123000 | #Constraints: 13391
76.59/76.84 c #Conflicts: 124000 | #Constraints: 14391
76.59/76.84 c INPROCESSING
76.59/76.84 c GARBAGE COLLECT
76.59/76.84 c #Conflicts: 125000 | #Constraints: 8386
76.59/76.84 c #Conflicts: 126000 | #Constraints: 9386
76.59/76.84 c #Conflicts: 127000 | #Constraints: 10386
76.59/76.84 c #Conflicts: 128000 | #Constraints: 11386
76.59/76.84 c #Conflicts: 129000 | #Constraints: 12386
76.59/76.84 c #Conflicts: 130000 | #Constraints: 13386
76.59/76.84 c #Conflicts: 131000 | #Constraints: 14386
76.59/76.84 c INPROCESSING
76.59/76.84 c GARBAGE COLLECT
76.59/76.84 c #Conflicts: 132000 | #Constraints: 8185
76.59/76.84 c #Conflicts: 133000 | #Constraints: 9185
76.59/76.84 c #Conflicts: 134000 | #Constraints: 10185
76.59/76.84 c #Conflicts: 135000 | #Constraints: 11185
76.59/76.84 c #Conflicts: 136000 | #Constraints: 12185
76.59/76.84 c #Conflicts: 137000 | #Constraints: 13185
76.59/76.84 c #Conflicts: 138000 | #Constraints: 14185
76.59/76.84 c #Conflicts: 139000 | #Constraints: 15185
76.59/76.84 c INPROCESSING
76.59/76.84 c GARBAGE COLLECT
76.59/76.84 c #Conflicts: 140000 | #Constraints: 8789
126.46/126.87 c #Conflicts: 141000 | #Constraints: 9789
126.46/126.87 c #Conflicts: 142000 | #Constraints: 10789
126.46/126.87 c #Conflicts: 143000 | #Constraints: 11789
126.46/126.87 c #Conflicts: 144000 | #Constraints: 12789
126.46/126.87 c #Conflicts: 145000 | #Constraints: 13789
126.46/126.87 c #Conflicts: 146000 | #Constraints: 14789
126.46/126.87 c #Conflicts: 147000 | #Constraints: 15789
126.46/126.87 c INPROCESSING
126.46/126.87 c GARBAGE COLLECT
126.46/126.87 c #Conflicts: 148000 | #Constraints: 9193
126.46/126.87 c #Conflicts: 149000 | #Constraints: 10193
126.46/126.87 c #Conflicts: 150000 | #Constraints: 11193
126.46/126.87 c #Conflicts: 151000 | #Constraints: 12193
126.46/126.87 c #Conflicts: 152000 | #Constraints: 13193
126.46/126.87 c #Conflicts: 153000 | #Constraints: 14193
126.46/126.87 c #Conflicts: 154000 | #Constraints: 15193
126.46/126.87 c #Conflicts: 155000 | #Constraints: 16193
126.46/126.87 c INPROCESSING
126.46/126.87 c GARBAGE COLLECT
126.46/126.87 c #Conflicts: 156000 | #Constraints: 9400
126.46/126.87 c #Conflicts: 157000 | #Constraints: 10400
126.46/126.87 c #Conflicts: 158000 | #Constraints: 11400
126.46/126.87 c #Conflicts: 159000 | #Constraints: 12400
126.46/126.87 c #Conflicts: 160000 | #Constraints: 13400
126.46/126.87 c #Conflicts: 161000 | #Constraints: 14400
126.46/126.87 c #Conflicts: 162000 | #Constraints: 15400
126.46/126.87 c #Conflicts: 163000 | #Constraints: 16400
126.46/126.87 c INPROCESSING
126.46/126.87 c GARBAGE COLLECT
126.46/126.87 c #Conflicts: 164000 | #Constraints: 9394
126.46/126.87 c #Conflicts: 165000 | #Constraints: 10394
126.46/126.87 c #Conflicts: 166000 | #Constraints: 11394
126.46/126.87 c #Conflicts: 167000 | #Constraints: 12394
126.46/126.87 c #Conflicts: 168000 | #Constraints: 13394
126.46/126.87 c #Conflicts: 169000 | #Constraints: 14394
126.46/126.87 c #Conflicts: 170000 | #Constraints: 15394
126.46/126.87 c #Conflicts: 171000 | #Constraints: 16394
126.46/126.87 c INPROCESSING
126.46/126.87 c GARBAGE COLLECT
126.46/126.87 c #Conflicts: 172000 | #Constraints: 9191
126.46/126.87 c #Conflicts: 173000 | #Constraints: 10191
126.46/126.87 c #Conflicts: 174000 | #Constraints: 11191
126.46/126.87 c #Conflicts: 175000 | #Constraints: 12191
126.46/126.87 c #Conflicts: 176000 | #Constraints: 13191
126.46/126.87 c #Conflicts: 177000 | #Constraints: 14191
126.46/126.87 c #Conflicts: 178000 | #Constraints: 15191
126.46/126.87 c #Conflicts: 179000 | #Constraints: 16191
126.46/126.87 c #Conflicts: 180000 | #Constraints: 17191
126.46/126.87 c INPROCESSING
126.46/126.87 c GARBAGE COLLECT
126.46/126.87 c #Conflicts: 181000 | #Constraints: 9785
126.46/126.87 c #Conflicts: 182000 | #Constraints: 10785
126.46/126.87 c #Conflicts: 183000 | #Constraints: 11785
126.46/126.87 c #Conflicts: 184000 | #Constraints: 12785
126.46/126.87 c #Conflicts: 185000 | #Constraints: 13785
126.46/126.87 c #Conflicts: 186000 | #Constraints: 14785
126.46/126.87 c #Conflicts: 187000 | #Constraints: 15785
126.46/126.87 c #Conflicts: 188000 | #Constraints: 16785
126.46/126.87 c #Conflicts: 189000 | #Constraints: 17785
126.46/126.87 c INPROCESSING
126.46/126.87 c GARBAGE COLLECT
126.46/126.87 c #Conflicts: 190000 | #Constraints: 10195
126.46/126.87 c #Conflicts: 191000 | #Constraints: 11195
126.46/126.87 c #Conflicts: 192000 | #Constraints: 12195
126.46/126.87 c #Conflicts: 193000 | #Constraints: 13195
126.46/126.87 c #Conflicts: 194000 | #Constraints: 14195
126.46/126.87 c #Conflicts: 195000 | #Constraints: 15195
126.46/126.87 c #Conflicts: 196000 | #Constraints: 16195
126.46/126.87 c #Conflicts: 197000 | #Constraints: 17195
126.46/126.87 c #Conflicts: 198000 | #Constraints: 18195
126.46/126.87 c INPROCESSING
126.46/126.87 c GARBAGE COLLECT
126.46/126.87 c #Conflicts: 199000 | #Constraints: 10399
126.46/126.87 c #Conflicts: 200000 | #Constraints: 11399
126.46/126.87 c #Conflicts: 201000 | #Constraints: 12399
126.46/126.87 c #Conflicts: 202000 | #Constraints: 13399
126.46/126.87 c #Conflicts: 203000 | #Constraints: 14399
126.46/126.87 c #Conflicts: 204000 | #Constraints: 15399
126.46/126.87 c #Conflicts: 205000 | #Constraints: 16399
126.46/126.87 c #Conflicts: 206000 | #Constraints: 17399
126.46/126.87 c #Conflicts: 207000 | #Constraints: 18399
126.46/126.87 c INPROCESSING
126.46/126.87 c GARBAGE COLLECT
126.46/126.87 c #Conflicts: 208000 | #Constraints: 10398
126.46/126.87 c #Conflicts: 209000 | #Constraints: 11398
126.46/126.87 c #Conflicts: 210000 | #Constraints: 12398
126.46/126.87 c #Conflicts: 211000 | #Constraints: 13398
126.46/126.87 c #Conflicts: 212000 | #Constraints: 14398
126.46/126.87 c #Conflicts: 213000 | #Constraints: 15398
133.35/133.78 c #Conflicts: 214000 | #Constraints: 16398
133.35/133.78 c #Conflicts: 215000 | #Constraints: 17398
133.35/133.78 c #Conflicts: 216000 | #Constraints: 18398
133.35/133.78 c INPROCESSING
133.35/133.78 c GARBAGE COLLECT
133.35/133.78 c #Conflicts: 217000 | #Constraints: 10203
133.35/133.78 c #Conflicts: 218000 | #Constraints: 11203
133.35/133.78 c #Conflicts: 219000 | #Constraints: 12203
133.35/133.78 c #Conflicts: 220000 | #Constraints: 13203
133.35/133.78 c #Conflicts: 221000 | #Constraints: 14203
133.35/133.78 c bounds - >= -39 @ 130.083
133.35/133.78 c #Conflicts: 222000 | #Constraints: 15204
133.35/133.78 c #Conflicts: 223000 | #Constraints: 16204
133.35/133.78 c #Conflicts: 224000 | #Constraints: 17204
133.35/133.78 c #Conflicts: 225000 | #Constraints: 18204
133.35/133.78 c #Conflicts: 226000 | #Constraints: 19204
133.35/133.78 c INPROCESSING
133.35/133.78 c GARBAGE COLLECT
133.35/133.78 c finalizing WCE round: reformulating cores
208.65/209.21 c #Conflicts: 227000 | #Constraints: 10795
208.65/209.21 c bounds -28 >= -39 @ 132.243
208.65/209.21 c #Conflicts: 228000 | #Constraints: 11795
208.65/209.21 c #Conflicts: 229000 | #Constraints: 12795
208.65/209.21 c #Conflicts: 230000 | #Constraints: 13795
208.65/209.21 c #Conflicts: 231000 | #Constraints: 14795
208.65/209.21 c #Conflicts: 232000 | #Constraints: 15795
208.65/209.21 c #Conflicts: 233000 | #Constraints: 16795
208.65/209.21 c #Conflicts: 234000 | #Constraints: 17795
208.65/209.21 c #Conflicts: 235000 | #Constraints: 18795
208.65/209.21 c #Conflicts: 236000 | #Constraints: 19795
208.65/209.21 c INPROCESSING
208.65/209.21 c GARBAGE COLLECT
208.65/209.21 c #Conflicts: 237000 | #Constraints: 11190
208.65/209.21 c #Conflicts: 238000 | #Constraints: 12190
208.65/209.21 c #Conflicts: 239000 | #Constraints: 13190
208.65/209.21 c #Conflicts: 240000 | #Constraints: 14190
208.65/209.21 c #Conflicts: 241000 | #Constraints: 15190
208.65/209.21 c #Conflicts: 242000 | #Constraints: 16190
208.65/209.21 c #Conflicts: 243000 | #Constraints: 17190
208.65/209.21 c #Conflicts: 244000 | #Constraints: 18190
208.65/209.21 c #Conflicts: 245000 | #Constraints: 19190
208.65/209.21 c #Conflicts: 246000 | #Constraints: 20190
208.65/209.21 c INPROCESSING
208.65/209.21 c GARBAGE COLLECT
208.65/209.21 c #Conflicts: 247000 | #Constraints: 11388
208.65/209.21 c #Conflicts: 248000 | #Constraints: 12388
208.65/209.21 c #Conflicts: 249000 | #Constraints: 13388
208.65/209.21 c #Conflicts: 250000 | #Constraints: 14388
208.65/209.21 c #Conflicts: 251000 | #Constraints: 15388
208.65/209.21 c #Conflicts: 252000 | #Constraints: 16388
208.65/209.21 c #Conflicts: 253000 | #Constraints: 17388
208.65/209.21 c #Conflicts: 254000 | #Constraints: 18388
208.65/209.21 c #Conflicts: 255000 | #Constraints: 19388
208.65/209.21 c #Conflicts: 256000 | #Constraints: 20388
208.65/209.21 c INPROCESSING
208.65/209.21 c GARBAGE COLLECT
208.65/209.21 c #Conflicts: 257000 | #Constraints: 11385
208.65/209.21 c #Conflicts: 258000 | #Constraints: 12385
208.65/209.21 c #Conflicts: 259000 | #Constraints: 13385
208.65/209.21 c #Conflicts: 260000 | #Constraints: 14385
208.65/209.21 c #Conflicts: 261000 | #Constraints: 15385
208.65/209.21 c #Conflicts: 262000 | #Constraints: 16385
208.65/209.21 c #Conflicts: 263000 | #Constraints: 17385
208.65/209.22 c #Conflicts: 264000 | #Constraints: 18385
208.65/209.22 c #Conflicts: 265000 | #Constraints: 19385
208.65/209.22 c #Conflicts: 266000 | #Constraints: 20385
208.65/209.22 c INPROCESSING
208.65/209.22 c GARBAGE COLLECT
208.65/209.22 c #Conflicts: 267000 | #Constraints: 11183
208.65/209.22 c #Conflicts: 268000 | #Constraints: 12183
208.65/209.22 c #Conflicts: 269000 | #Constraints: 13183
208.65/209.22 c #Conflicts: 270000 | #Constraints: 14183
208.65/209.22 c #Conflicts: 271000 | #Constraints: 15183
208.65/209.22 c #Conflicts: 272000 | #Constraints: 16183
208.65/209.22 c #Conflicts: 273000 | #Constraints: 17183
208.65/209.22 c #Conflicts: 274000 | #Constraints: 18183
208.65/209.22 c #Conflicts: 275000 | #Constraints: 19183
208.65/209.22 c #Conflicts: 276000 | #Constraints: 20183
208.65/209.22 c #Conflicts: 277000 | #Constraints: 21183
208.65/209.22 c INPROCESSING
208.65/209.22 c GARBAGE COLLECT
208.65/209.22 c #Conflicts: 278000 | #Constraints: 11776
208.65/209.22 c #Conflicts: 279000 | #Constraints: 12776
208.65/209.22 c #Conflicts: 280000 | #Constraints: 13776
208.65/209.22 c #Conflicts: 281000 | #Constraints: 14776
208.65/209.22 c #Conflicts: 282000 | #Constraints: 15776
208.65/209.22 c #Conflicts: 283000 | #Constraints: 16776
208.65/209.22 c #Conflicts: 284000 | #Constraints: 17776
208.65/209.22 c #Conflicts: 285000 | #Constraints: 18776
208.65/209.22 c #Conflicts: 286000 | #Constraints: 19776
208.65/209.22 c #Conflicts: 287000 | #Constraints: 20776
208.65/209.22 c #Conflicts: 288000 | #Constraints: 21776
208.65/209.22 c INPROCESSING
208.65/209.22 c GARBAGE COLLECT
208.65/209.22 c #Conflicts: 289000 | #Constraints: 12175
208.65/209.22 c #Conflicts: 290000 | #Constraints: 13175
208.65/209.22 c #Conflicts: 291000 | #Constraints: 14175
208.65/209.22 c #Conflicts: 292000 | #Constraints: 15175
208.65/209.22 c #Conflicts: 293000 | #Constraints: 16175
208.65/209.22 c #Conflicts: 294000 | #Constraints: 17175
208.65/209.22 c #Conflicts: 295000 | #Constraints: 18175
208.65/209.22 c #Conflicts: 296000 | #Constraints: 19175
208.65/209.22 c #Conflicts: 297000 | #Constraints: 20175
208.65/209.22 c #Conflicts: 298000 | #Constraints: 21175
208.65/209.22 c #Conflicts: 299000 | #Constraints: 22175
208.65/209.22 c INPROCESSING
208.65/209.22 c GARBAGE COLLECT
208.65/209.22 c #Conflicts: 300000 | #Constraints: 12374
536.13/537.57 c #Conflicts: 301000 | #Constraints: 13374
536.13/537.57 c #Conflicts: 302000 | #Constraints: 14374
536.13/537.57 c #Conflicts: 303000 | #Constraints: 15374
536.13/537.57 c #Conflicts: 304000 | #Constraints: 16374
536.13/537.57 c #Conflicts: 305000 | #Constraints: 17374
536.13/537.57 c #Conflicts: 306000 | #Constraints: 18374
536.13/537.57 c #Conflicts: 307000 | #Constraints: 19374
536.13/537.57 c #Conflicts: 308000 | #Constraints: 20374
536.13/537.57 c #Conflicts: 309000 | #Constraints: 21374
536.13/537.57 c #Conflicts: 310000 | #Constraints: 22374
536.13/537.57 c INPROCESSING
536.13/537.57 c GARBAGE COLLECT
536.13/537.57 c #Conflicts: 311000 | #Constraints: 12374
536.13/537.57 c #Conflicts: 312000 | #Constraints: 13374
536.13/537.57 c #Conflicts: 313000 | #Constraints: 14374
536.13/537.57 c #Conflicts: 314000 | #Constraints: 15374
536.13/537.57 c #Conflicts: 315000 | #Constraints: 16374
536.13/537.57 c #Conflicts: 316000 | #Constraints: 17374
536.13/537.57 c #Conflicts: 317000 | #Constraints: 18374
536.13/537.57 c #Conflicts: 318000 | #Constraints: 19374
536.13/537.57 c #Conflicts: 319000 | #Constraints: 20374
536.13/537.57 c #Conflicts: 320000 | #Constraints: 21374
536.13/537.57 c #Conflicts: 321000 | #Constraints: 22374
536.13/537.57 c INPROCESSING
536.13/537.57 c GARBAGE COLLECT
536.13/537.57 c #Conflicts: 322000 | #Constraints: 12183
536.13/537.57 c #Conflicts: 323000 | #Constraints: 13183
536.13/537.57 c #Conflicts: 324000 | #Constraints: 14183
536.13/537.57 c #Conflicts: 325000 | #Constraints: 15183
536.13/537.57 c #Conflicts: 326000 | #Constraints: 16183
536.13/537.57 c #Conflicts: 327000 | #Constraints: 17183
536.13/537.57 c #Conflicts: 328000 | #Constraints: 18183
536.13/537.57 c #Conflicts: 329000 | #Constraints: 19183
536.13/537.57 c #Conflicts: 330000 | #Constraints: 20183
536.13/537.57 c #Conflicts: 331000 | #Constraints: 21183
536.13/537.57 c #Conflicts: 332000 | #Constraints: 22183
536.13/537.57 c #Conflicts: 333000 | #Constraints: 23183
536.13/537.57 c INPROCESSING
536.13/537.57 c GARBAGE COLLECT
536.13/537.57 c #Conflicts: 334000 | #Constraints: 12777
536.13/537.57 c #Conflicts: 335000 | #Constraints: 13777
536.13/537.57 c #Conflicts: 336000 | #Constraints: 14777
536.13/537.57 c #Conflicts: 337000 | #Constraints: 15777
536.13/537.57 c #Conflicts: 338000 | #Constraints: 16777
536.13/537.57 c #Conflicts: 339000 | #Constraints: 17777
536.13/537.57 c #Conflicts: 340000 | #Constraints: 18777
536.13/537.57 c #Conflicts: 341000 | #Constraints: 19777
536.13/537.57 c #Conflicts: 342000 | #Constraints: 20777
536.13/537.57 c #Conflicts: 343000 | #Constraints: 21777
536.13/537.57 c #Conflicts: 344000 | #Constraints: 22777
536.13/537.57 c #Conflicts: 345000 | #Constraints: 23777
536.13/537.57 c INPROCESSING
536.13/537.57 c GARBAGE COLLECT
536.13/537.57 c #Conflicts: 346000 | #Constraints: 13181
536.13/537.57 c #Conflicts: 347000 | #Constraints: 14181
536.13/537.57 c #Conflicts: 348000 | #Constraints: 15181
536.13/537.57 c #Conflicts: 349000 | #Constraints: 16181
536.13/537.57 c #Conflicts: 350000 | #Constraints: 17181
536.13/537.57 c #Conflicts: 351000 | #Constraints: 18181
536.13/537.57 c #Conflicts: 352000 | #Constraints: 19181
536.13/537.57 c #Conflicts: 353000 | #Constraints: 20181
536.13/537.57 c #Conflicts: 354000 | #Constraints: 21181
536.13/537.57 c #Conflicts: 355000 | #Constraints: 22181
536.13/537.57 c #Conflicts: 356000 | #Constraints: 23181
536.13/537.57 c #Conflicts: 357000 | #Constraints: 24181
536.13/537.57 c INPROCESSING
536.13/537.57 c GARBAGE COLLECT
536.13/537.57 c #Conflicts: 358000 | #Constraints: 13387
536.13/537.57 c #Conflicts: 359000 | #Constraints: 14387
536.13/537.57 c #Conflicts: 360000 | #Constraints: 15387
536.13/537.57 c #Conflicts: 361000 | #Constraints: 16387
536.13/537.57 c #Conflicts: 362000 | #Constraints: 17387
536.13/537.57 c #Conflicts: 363000 | #Constraints: 18387
536.13/537.57 c #Conflicts: 364000 | #Constraints: 19387
536.13/537.57 c #Conflicts: 365000 | #Constraints: 20387
536.13/537.57 c #Conflicts: 366000 | #Constraints: 21387
536.13/537.57 c #Conflicts: 367000 | #Constraints: 22387
536.13/537.57 c #Conflicts: 368000 | #Constraints: 23387
536.13/537.57 c #Conflicts: 369000 | #Constraints: 24387
536.13/537.57 c INPROCESSING
536.13/537.57 c GARBAGE COLLECT
536.13/537.57 c #Conflicts: 370000 | #Constraints: 13381
536.13/537.57 c #Conflicts: 371000 | #Constraints: 14381
536.13/537.57 c #Conflicts: 372000 | #Constraints: 15381
536.13/537.57 c #Conflicts: 373000 | #Constraints: 16381
536.13/537.57 c #Conflicts: 374000 | #Constraints: 17381
536.13/537.57 c #Conflicts: 375000 | #Constraints: 18381
2456.33/2462.61 c #Conflicts: 376000 | #Constraints: 19381
2456.33/2462.61 c #Conflicts: 377000 | #Constraints: 20381
2456.33/2462.61 c #Conflicts: 378000 | #Constraints: 21381
2456.33/2462.61 c #Conflicts: 379000 | #Constraints: 22381
2456.33/2462.61 c #Conflicts: 380000 | #Constraints: 23381
2456.33/2462.61 c #Conflicts: 381000 | #Constraints: 24381
2456.33/2462.61 c INPROCESSING
2456.33/2462.61 c GARBAGE COLLECT
2456.33/2462.61 c #Conflicts: 382000 | #Constraints: 13182
2456.33/2462.61 c #Conflicts: 383000 | #Constraints: 14182
2456.33/2462.61 c #Conflicts: 384000 | #Constraints: 15182
2456.33/2462.61 c #Conflicts: 385000 | #Constraints: 16182
2456.33/2462.61 c #Conflicts: 386000 | #Constraints: 17182
2456.33/2462.61 c #Conflicts: 387000 | #Constraints: 18182
2456.33/2462.61 c #Conflicts: 388000 | #Constraints: 19182
2456.33/2462.61 c #Conflicts: 389000 | #Constraints: 20182
2456.33/2462.61 c #Conflicts: 390000 | #Constraints: 21182
2456.33/2462.61 c #Conflicts: 391000 | #Constraints: 22182
2456.33/2462.61 c #Conflicts: 392000 | #Constraints: 23182
2456.33/2462.61 c #Conflicts: 393000 | #Constraints: 24182
2456.33/2462.61 c #Conflicts: 394000 | #Constraints: 25182
2456.33/2462.61 c INPROCESSING
2456.33/2462.61 c GARBAGE COLLECT
2456.33/2462.61 c #Conflicts: 395000 | #Constraints: 13788
2456.33/2462.61 c #Conflicts: 396000 | #Constraints: 14788
2456.33/2462.61 c #Conflicts: 397000 | #Constraints: 15788
2456.33/2462.61 c #Conflicts: 398000 | #Constraints: 16788
2456.33/2462.61 c #Conflicts: 399000 | #Constraints: 17788
2456.33/2462.61 c #Conflicts: 400000 | #Constraints: 18788
2456.33/2462.61 c #Conflicts: 401000 | #Constraints: 19788
2456.33/2462.61 c #Conflicts: 402000 | #Constraints: 20788
2456.33/2462.61 c #Conflicts: 403000 | #Constraints: 21788
2456.33/2462.61 c #Conflicts: 404000 | #Constraints: 22788
2456.33/2462.61 c #Conflicts: 405000 | #Constraints: 23788
2456.33/2462.61 c #Conflicts: 406000 | #Constraints: 24788
2456.33/2462.61 c #Conflicts: 407000 | #Constraints: 25788
2456.33/2462.61 c INPROCESSING
2456.33/2462.61 c GARBAGE COLLECT
2456.33/2462.61 c #Conflicts: 408000 | #Constraints: 14195
2456.33/2462.61 c #Conflicts: 409000 | #Constraints: 15195
2456.33/2462.61 c #Conflicts: 410000 | #Constraints: 16195
2456.33/2462.61 c #Conflicts: 411000 | #Constraints: 17195
2456.33/2462.61 c #Conflicts: 412000 | #Constraints: 18195
2456.33/2462.61 c #Conflicts: 413000 | #Constraints: 19195
2456.33/2462.61 c #Conflicts: 414000 | #Constraints: 20195
2456.33/2462.61 c #Conflicts: 415000 | #Constraints: 21195
2456.33/2462.61 c #Conflicts: 416000 | #Constraints: 22195
2456.33/2462.61 c #Conflicts: 417000 | #Constraints: 23195
2456.33/2462.61 c #Conflicts: 418000 | #Constraints: 24195
2456.33/2462.61 c #Conflicts: 419000 | #Constraints: 25195
2456.33/2462.61 c #Conflicts: 420000 | #Constraints: 26195
2456.33/2462.61 c #Conflicts: 421000 | #Constraints: 27195
2456.33/2462.61 c #Conflicts: 422000 | #Constraints: 28195
2456.33/2462.61 c #Conflicts: 423000 | #Constraints: 29195
2456.33/2462.61 c #Conflicts: 424000 | #Constraints: 30195
2456.33/2462.61 c #Conflicts: 425000 | #Constraints: 31195
2456.33/2462.61 c #Conflicts: 426000 | #Constraints: 32195
2456.33/2462.61 c #Conflicts: 427000 | #Constraints: 33195
2456.33/2462.61 c #Conflicts: 428000 | #Constraints: 34195
2456.33/2462.61 c #Conflicts: 429000 | #Constraints: 35195
2456.33/2462.61 c #Conflicts: 430000 | #Constraints: 36195
2456.33/2462.61 c #Conflicts: 431000 | #Constraints: 37195
2456.33/2462.61 c #Conflicts: 432000 | #Constraints: 38195
2456.33/2462.61 c #Conflicts: 433000 | #Constraints: 39195
2456.33/2462.61 c #Conflicts: 434000 | #Constraints: 40195
2456.33/2462.61 c #Conflicts: 435000 | #Constraints: 41195
2456.33/2462.61 c #Conflicts: 436000 | #Constraints: 42195
2456.33/2462.61 c #Conflicts: 437000 | #Constraints: 43195
2456.33/2462.61 c #Conflicts: 438000 | #Constraints: 44195
2456.33/2462.61 c #Conflicts: 439000 | #Constraints: 45195
2456.33/2462.61 c #Conflicts: 440000 | #Constraints: 46195
2456.33/2462.61 c #Conflicts: 441000 | #Constraints: 47195
2456.33/2462.61 c #Conflicts: 442000 | #Constraints: 48195
2456.33/2462.61 c #Conflicts: 443000 | #Constraints: 49195
2456.33/2462.61 c #Conflicts: 444000 | #Constraints: 50195
2456.33/2462.61 c #Conflicts: 445000 | #Constraints: 51195
2456.33/2462.61 c #Conflicts: 446000 | #Constraints: 52195
2456.33/2462.61 c #Conflicts: 447000 | #Constraints: 53195
2456.33/2462.61 c #Conflicts: 448000 | #Constraints: 54195
2456.33/2462.61 c #Conflicts: 449000 | #Constraints: 55195
2456.33/2462.61 c #Conflicts: 450000 | #Constraints: 56195
2456.33/2462.61 c #Conflicts: 451000 | #Constraints: 57195
2456.33/2462.61 c #Conflicts: 452000 | #Constraints: 58195
3600.00/3609.11 c #Conflicts: 453000 | #Constraints: 59195
3600.00/3609.11 c #Conflicts: 454000 | #Constraints: 60195
3600.00/3609.11 c #Conflicts: 455000 | #Constraints: 61195
3600.00/3609.11 c #Conflicts: 456000 | #Constraints: 62195
3600.00/3609.11 c #Conflicts: 457000 | #Constraints: 63195
3600.00/3609.11 c #Conflicts: 458000 | #Constraints: 64195
3600.00/3609.11 c #Conflicts: 459000 | #Constraints: 65195
3600.00/3609.11 c #Conflicts: 460000 | #Constraints: 66195
3600.00/3609.11 c #Conflicts: 461000 | #Constraints: 67195
3600.00/3609.11 c #Conflicts: 462000 | #Constraints: 68195
3600.00/3609.11 c #Conflicts: 463000 | #Constraints: 69195
3600.00/3609.11 c #Conflicts: 464000 | #Constraints: 70195
3600.00/3609.11 c #Conflicts: 465000 | #Constraints: 71195
3600.00/3609.11 c #Conflicts: 466000 | #Constraints: 72195
3600.00/3609.11 c #Conflicts: 467000 | #Constraints: 73195
3600.00/3609.11 c #Conflicts: 468000 | #Constraints: 74195
3600.00/3609.11 c #Conflicts: 469000 | #Constraints: 75195
3600.00/3609.11 c #Conflicts: 470000 | #Constraints: 76195
3600.00/3609.11 c INPROCESSING
3600.00/3609.11 c GARBAGE COLLECT
3600.00/3609.11 c #Conflicts: 471000 | #Constraints: 39195
3600.00/3609.11 c #Conflicts: 472000 | #Constraints: 40195
3600.00/3609.11 c #Conflicts: 473000 | #Constraints: 41195
3600.00/3609.11 c #Conflicts: 474000 | #Constraints: 42195
3600.00/3609.11 c #Conflicts: 475000 | #Constraints: 43195
3600.00/3609.11 c Program interrupted by user.
3600.00/3609.11 c cpu time 3590.89 s
3600.00/3609.11 c deterministic time 231043726246 2.31e+11
3600.00/3609.11 c optimization time 219.701 s
3600.00/3609.11 c total solve time 3371.19 s
3600.00/3609.11 c core-guided solve time 3371.19 s
3600.00/3609.11 c propagation time 3417.08 s
3600.00/3609.11 c conflict analysis time 161.533 s
3600.00/3609.11 c propagations 59760478
3600.00/3609.11 c resolve steps 3625001
3600.00/3609.11 c decisions 6326340
3600.00/3609.11 c conflicts 475640
3600.00/3609.11 c restarts 1022
3600.00/3609.11 c inprocessing phases 56
3600.00/3609.11 c input clauses 456
3600.00/3609.11 c input cardinalities 43
3600.00/3609.11 c input general constraints 33
3600.00/3609.11 c input average constraint length 8.95
3600.00/3609.11 c input average constraint degree 4.18
3600.00/3609.11 c learned clauses 183127
3600.00/3609.11 c learned cardinalities 1846
3600.00/3609.11 c learned general constraints 290667
3600.00/3609.11 c learned average constraint length 139.97
3600.00/3609.11 c learned average constraint degree 69946.43
3600.00/3609.11 c watched constraints 274175
3600.00/3609.11 c counting constraints 16525
3600.00/3609.11 c gcd simplifications 1967
3600.00/3609.11 c detected cardinalities 67
3600.00/3609.11 c weakened non-implied lits 14268697
3600.00/3609.11 c weakened non-implying lits 11219
3600.00/3609.11 c original variables 1056
3600.00/3609.11 c clausal propagations 11425032
3600.00/3609.11 c cardinality propagations 9382612
3600.00/3609.11 c watched propagations 15319370
3600.00/3609.11 c counting propagations 22969674
3600.00/3609.11 c watch lookups 67687704528
3600.00/3609.11 c watch backjump lookups 65639351549
3600.00/3609.11 c watch checks 90715168079
3600.00/3609.11 c propagation checks 6697973393
3600.00/3609.11 c constraint additions 170879463
3600.00/3609.11 c trail pops 66562415
3600.00/3609.11 c formula constraints 488
3600.00/3609.11 c learned constraints 475640
3600.00/3609.11 c bound constraints 2
3600.00/3609.11 c core-guided constraints 42
3600.00/3609.11 c encountered formula constraints 2712404
3600.00/3609.11 c encountered learned constraints 1379149
3600.00/3609.11 c encountered bound constraints 0
3600.00/3609.11 c encountered core-guided constraints 9088
3600.00/3609.11 c LP total time 0 s
3600.00/3609.11 c LP solve time 0 s
3600.00/3609.11 c LP constraints added 0
3600.00/3609.11 c LP constraints removed 0
3600.00/3609.11 c LP pivots internal 0
3600.00/3609.11 c LP pivots root 0
3600.00/3609.11 c LP calls 0
3600.00/3609.11 c LP optimalities 0
3600.00/3609.11 c LP no pivot count 0
3600.00/3609.11 c LP infeasibilities 0
3600.00/3609.11 c LP valid Farkas constraints 0
3600.00/3609.11 c LP learned Farkas constraints 0
3600.00/3609.11 c LP basis resets 0
3600.00/3609.11 c LP cycling count 0
3600.00/3609.11 c LP singular count 0
3600.00/3609.11 c LP no primal count 0
3600.00/3609.11 c LP no farkas count 0
3600.00/3609.11 c LP other issue count 0
3600.00/3609.11 c LP Gomory cuts 0
3600.00/3609.11 c LP learned cuts 0
3600.00/3609.11 c LP deleted cuts 0
3600.00/3609.11 c LP encountered Gomory constraints 0
3600.00/3609.11 c LP encountered Farkas constraints 0
3600.00/3609.11 c LP encountered learned Farkas constraints 0
3600.00/3609.11 c CG auxiliary variables introduced 41
3600.00/3609.11 c CG solutions found 1
3600.00/3609.11 c CG cores constructed 1
3600.00/3609.11 c CG core cardinality constraints returned 0
3600.00/3609.11 c CG unit cores 0
3600.00/3609.11 c CG single cores 1
3600.00/3609.11 c CG blocks removed during cardinality reduction 0
3600.00/3609.11 c CG first core best 0
3600.00/3609.11 c CG decision core best 0
3600.00/3609.11 c CG core reduction tie 0
3600.00/3609.11 c CG core degree average 1.00
3600.00/3609.11 c CG core slack average 22.00
3600.00/3609.11 c CG exhausted 0
3600.00/3609.11 c CG exhaust time 0.281363 s
3600.00/3609.11 c CG trimmed 0
3600.00/3609.11 c CG trim time 6.5e-05 s
3600.00/3609.11 c CG minimized 0
3600.00/3609.11 c CG minimize time 0 s
3600.00/3609.11 c CG am1 prop time 0.001033 s
3600.00/3609.11 c CG # am1s reformulated 40
3600.00/3609.11 c CG lower bound derived from am1s 600
3600.00/3609.11 c CG # clausal cores 1
3600.00/3609.11 c CG # cardinality cores 0
3600.00/3609.11 c CG # pb cores 0
3600.00/3609.11 c CG # pb reforms 0
3600.00/3609.11 c CG # cores discarded because of pb reform 0
3600.00/3609.11 d LOWERBOUND -39
3600.00/3609.11 d NCORES 1
3600.00/3609.11 d NPBCORES 0
3600.00/3609.11 d NPBREFORM 0
3600.00/3609.11 d NTRIMMED 0
3600.00/3609.11 d NEXHAUSTED 0
3600.00/3609.11 d NAM1S 40
3600.00/3609.11 d AM1LB 600
3600.00/3609.11 o -28
3600.00/3609.11 s SATISFIABLE
3600.00/3609.11 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
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: 64059 MiB (42271 MiB free)
memory of node 1: 64510 MiB (55434 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4458477-1721880036/watcher-4458477-1721880036 -o /tmp/evaluation-result-4458477-1721880036/solver-4458477-1721880036 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1721875971-215807 --watchdog 3760 pb-oll-rs HOME/instance-4458477-1721880036.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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=218886, runsolver pid=218883
[startup+0.100098 s]*
/proc/loadavg: 4.10 4.11 4.12 6/244 218887
/proc/meminfo: memFree=100047496/131655788 swapFree=131062644/131071996
[pid=218886] ppid=218883 vsize=40616 memory=8484 CPUtime=0.1 cores=4,6
/proc/218886/stat : 218886 (pb-oll-rs) R 218883 218886 215796 0 -1 4194304 956 0 0 0 10 0 0 0 20 0 1 0 23992613 41590784 2121 134679101440 4194304 5384485 140723332091408 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 31850496 140723332097047 140723332097124 140723332097124 140723332104139 0
/proc/218886/statm: 10154 2121 1319 291 0 1688 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 40616 KiB
Current children cumulated memory: 8484 KiB
[startup+0.213523 s]*
/proc/loadavg: 4.10 4.11 4.12 5/244 218887
/proc/meminfo: memFree=100043880/131655788 swapFree=131062644/131071996
[pid=218886] ppid=218883 vsize=41280 memory=11588 CPUtime=0.21 cores=4,6
/proc/218886/stat : 218886 (pb-oll-rs) R 218883 218886 215796 0 -1 4194304 1257 0 0 0 20 1 0 0 20 0 1 0 23992613 42270720 2897 134679101440 4194304 5384485 140723332091408 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 31850496 140723332097047 140723332097124 140723332097124 140723332104139 0
/proc/218886/statm: 10320 2897 1319 291 0 1854 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 41280 KiB
Current children cumulated memory: 11588 KiB
[startup+0.313222 s]*
/proc/loadavg: 4.10 4.11 4.12 5/244 218887
/proc/meminfo: memFree=100043068/131655788 swapFree=131062644/131071996
[pid=218886] ppid=218883 vsize=41640 memory=12092 CPUtime=0.31 cores=4,6
/proc/218886/stat : 218886 (pb-oll-rs) R 218883 218886 215796 0 -1 4194304 1343 0 0 0 30 1 0 0 20 0 1 0 23992613 42639360 3023 134679101440 4194304 5384485 140723332091408 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 31850496 140723332097047 140723332097124 140723332097124 140723332104139 0
/proc/218886/statm: 10410 3023 1319 291 0 1944 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 41640 KiB
Current children cumulated memory: 12092 KiB
[startup+0.700319 s]
/proc/loadavg: 4.10 4.11 4.12 5/244 218887
/proc/meminfo: memFree=100042592/131655788 swapFree=131062644/131071996
[pid=218886] ppid=218883 vsize=42308 memory=12848 CPUtime=0.69 cores=4,6
/proc/218886/stat : 218886 (pb-oll-rs) R 218883 218886 215796 0 -1 4194304 1530 0 0 0 66 3 0 0 20 0 1 0 23992613 43323392 3212 134679101440 4194304 5384485 140723332091408 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 31850496 140723332097047 140723332097124 140723332097124 140723332104139 0
/proc/218886/statm: 10577 3212 1381 291 0 2111 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 42308 KiB
Current children cumulated memory: 12848 KiB
[startup+1.50031 s]
/proc/loadavg: 4.10 4.11 4.12 5/244 218887
/proc/meminfo: memFree=100041572/131655788 swapFree=131062644/131071996
[pid=218886] ppid=218883 vsize=43380 memory=13788 CPUtime=1.49 cores=4,6
/proc/218886/stat : 218886 (pb-oll-rs) R 218883 218886 215796 0 -1 4194304 1767 0 0 0 144 5 0 0 20 0 1 0 23992613 44421120 3447 134679101440 4194304 5384485 140723332091408 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 31850496 140723332097047 140723332097124 140723332097124 140723332104139 0
/proc/218886/statm: 10845 3447 1381 291 0 2379 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 43380 KiB
Current children cumulated memory: 13788 KiB
[startup+3.11318 s]
/proc/loadavg: 4.09 4.11 4.12 5/244 218887
/proc/meminfo: memFree=100034928/131655788 swapFree=131062644/131071996
[pid=218886] ppid=218883 vsize=47156 memory=17856 CPUtime=3.09 cores=4,6
/proc/218886/stat : 218886 (pb-oll-rs) R 218883 218886 215796 0 -1 4194304 2257 0 0 0 301 8 0 0 20 0 1 0 23992613 48287744 4464 134679101440 4194304 5384485 140723332091408 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 31850496 140723332097047 140723332097124 140723332097124 140723332104139 0
/proc/218886/statm: 11789 4464 1381 291 0 3323 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 47156 KiB
Current children cumulated memory: 17856 KiB
[startup+6.30031 s]
/proc/loadavg: 4.09 4.11 4.12 5/244 218887
/proc/meminfo: memFree=100033616/131655788 swapFree=131062644/131071996
[pid=218886] ppid=218883 vsize=47992 memory=18644 CPUtime=6.27 cores=4,6
/proc/218886/stat : 218886 (pb-oll-rs) R 218883 218886 215796 0 -1 4194304 2478 0 0 0 614 13 0 0 20 0 1 0 23992613 49143808 4661 134679101440 4194304 5384485 140723332091408 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 31850496 140723332097047 140723332097124 140723332097124 140723332104139 0
/proc/218886/statm: 11998 4661 1381 291 0 3532 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 47992 KiB
Current children cumulated memory: 18644 KiB
[startup+12.7003 s]
/proc/loadavg: 4.08 4.11 4.11 5/244 218889
/proc/meminfo: memFree=100029452/131655788 swapFree=131062644/131071996
[pid=218886] ppid=218883 vsize=50004 memory=20488 CPUtime=12.66 cores=4,6
/proc/218886/stat : 218886 (pb-oll-rs) R 218883 218886 215796 0 -1 4194304 2877 0 0 0 1243 23 0 0 20 0 1 0 23992613 51204096 5122 134679101440 4194304 5384485 140723332091408 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 31850496 140723332097047 140723332097124 140723332097124 140723332104139 0
/proc/218886/statm: 12501 5122 1381 291 0 4035 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 50004 KiB
Current children cumulated memory: 20488 KiB
[startup+25.5003 s]
/proc/loadavg: 4.06 4.10 4.11 5/244 218890
/proc/meminfo: memFree=100020716/131655788 swapFree=131062644/131071996
[pid=218886] ppid=218883 vsize=56588 memory=23720 CPUtime=25.42 cores=4,6
/proc/218886/stat : 218886 (pb-oll-rs) R 218883 218886 215796 0 -1 4194304 3700 0 0 0 2502 40 0 0 20 0 1 0 23992613 57946112 5930 134679101440 4194304 5384485 140723332091408 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 31850496 140723332097047 140723332097124 140723332097124 140723332104139 0
/proc/218886/statm: 14147 5930 1381 291 0 5681 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 56588 KiB
Current children cumulated memory: 23720 KiB
[startup+51.1133 s]
/proc/loadavg: 4.04 4.09 4.11 5/244 218907
/proc/meminfo: memFree=100006564/131655788 swapFree=131062644/131071996
[pid=218886] ppid=218883 vsize=58348 memory=27468 CPUtime=50.97 cores=4,6
/proc/218886/stat : 218886 (pb-oll-rs) R 218883 218886 215796 0 -1 4194304 4233 0 0 0 5031 66 0 0 20 0 1 0 23992613 59748352 6867 134679101440 4194304 5384485 140723332091408 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 31850496 140723332097047 140723332097124 140723332097124 140723332104139 0
/proc/218886/statm: 14587 6867 1381 291 0 6121 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 58348 KiB
Current children cumulated memory: 27468 KiB
[startup+102.3 s]
/proc/loadavg: 4.12 4.10 4.11 5/244 218915
/proc/meminfo: memFree=99990036/131655788 swapFree=131062644/131071996
[pid=218886] ppid=218883 vsize=68500 memory=31852 CPUtime=102.02 cores=4,6
/proc/218886/stat : 218886 (pb-oll-rs) R 218883 218886 215796 0 -1 4194304 5453 0 0 0 10085 117 0 0 20 0 1 0 23992613 70144000 7963 134679101440 4194304 5384485 140723332091408 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 31850496 140723332097047 140723332097124 140723332097124 140723332104139 0
/proc/218886/statm: 17125 7963 1381 291 0 8659 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 68500 KiB
Current children cumulated memory: 31852 KiB
[startup+162.3 s]
/proc/loadavg: 4.15 4.11 4.11 5/245 218927
/proc/meminfo: memFree=99972660/131655788 swapFree=131062644/131071996
[pid=218886] ppid=218883 vsize=73188 memory=40112 CPUtime=161.87 cores=4,6
/proc/218886/stat : 218886 (pb-oll-rs) R 218883 218886 215796 0 -1 4194304 6651 0 0 0 16005 182 0 0 20 0 1 0 23992613 74944512 10028 134679101440 4194304 5384485 140723332091408 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 31850496 140723332097047 140723332097124 140723332097124 140723332104139 0
/proc/218886/statm: 18297 10028 1381 291 0 9831 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 73188 KiB
Current children cumulated memory: 40112 KiB
[startup+222.3 s]
/proc/loadavg: 4.10 4.11 4.10 5/244 218937
/proc/meminfo: memFree=99962288/131655788 swapFree=131062644/131071996
[pid=218886] ppid=218883 vsize=77068 memory=45628 CPUtime=221.72 cores=4,6
/proc/218886/stat : 218886 (pb-oll-rs) R 218883 218886 215796 0 -1 4194304 7675 0 0 0 21931 241 0 0 20 0 1 0 23992613 78917632 11407 134679101440 4194304 5384485 140723332091408 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 31850496 140723332097047 140723332097124 140723332097124 140723332104139 0
/proc/218886/statm: 19267 11407 1381 291 0 10801 0
Current children cumulated CPU time: 221.72 s
Current children cumulated vsize: 77068 KiB
Current children cumulated memory: 45628 KiB
[startup+282.3 s]
/proc/loadavg: 4.14 4.12 4.10 5/242 218947
/proc/meminfo: memFree=99948212/131655788 swapFree=131062644/131071996
[pid=218886] ppid=218883 vsize=92580 memory=53060 CPUtime=281.56 cores=4,6
/proc/218886/stat : 218886 (pb-oll-rs) R 218883 218886 215796 0 -1 4194304 9074 0 0 0 27868 288 0 0 20 0 1 0 23992613 94801920 13265 134679101440 4194304 5384485 140723332091408 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 31850496 140723332097047 140723332097124 140723332097124 140723332104139 0
/proc/218886/statm: 23145 13265 1381 291 0 14679 0
Current children cumulated CPU time: 281.56 s
Current children cumulated vsize: 92580 KiB
Current children cumulated memory: 53060 KiB
[startup+342.3 s]
/proc/loadavg: 4.10 4.11 4.10 5/242 218957
/proc/meminfo: memFree=99940264/131655788 swapFree=131062644/131071996
[pid=218886] ppid=218883 vsize=95308 memory=55480 CPUtime=341.39 cores=4,6
/proc/218886/stat : 218886 (pb-oll-rs) R 218883 218886 215796 0 -1 4194304 9615 0 0 0 33810 329 0 0 20 0 1 0 23992613 97595392 13870 134679101440 4194304 5384485 140723332091408 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 31850496 140723332097047 140723332097124 140723332097124 140723332104139 0
/proc/218886/statm: 23827 13870 1381 291 0 15361 0
Current children cumulated CPU time: 341.39 s
Current children cumulated vsize: 95308 KiB
Current children cumulated memory: 55480 KiB
[startup+402.3 s]
/proc/loadavg: 4.15 4.12 4.10 5/242 218968
/proc/meminfo: memFree=99920020/131655788 swapFree=131062644/131071996
[pid=218886] ppid=218883 vsize=99436 memory=62492 CPUtime=401.25 cores=4,6
/proc/218886/stat : 218886 (pb-oll-rs) R 218883 218886 215796 0 -1 4194304 10295 0 0 0 39767 358 0 0 20 0 1 0 23992613 101822464 15623 134679101440 4194304 5384485 140723332091408 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 31850496 140723332097047 140723332097124 140723332097124 140723332104139 0
/proc/218886/statm: 24859 15623 1381 291 0 16393 0
Current children cumulated CPU time: 401.25 s
Current children cumulated vsize: 99436 KiB
Current children cumulated memory: 62492 KiB
[startup+462.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/242 218978
/proc/meminfo: memFree=99912472/131655788 swapFree=131062644/131071996
[pid=218886] ppid=218883 vsize=100940 memory=63888 CPUtime=461.1 cores=4,6
/proc/218886/stat : 218886 (pb-oll-rs) R 218883 218886 215796 0 -1 4194304 10675 0 0 0 45731 379 0 0 20 0 1 0 23992613 103362560 15972 134679101440 4194304 5384485 140723332091408 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 31850496 140723332097047 140723332097124 140723332097124 140723332104139 0
/proc/218886/statm: 25235 15972 1381 291 0 16769 0
################
# More data... #
################
Current children cumulated memory: 174460 KiB
[startup+2922.3 s]
/proc/loadavg: 4.10 4.14 4.17 5/242 220083
/proc/meminfo: memFree=99261152/131655788 swapFree=131062644/131071996
[pid=218886] ppid=218883 vsize=214292 memory=177112 CPUtime=2914.93 cores=4,6
/proc/218886/stat : 218886 (pb-oll-rs) R 218883 218886 215796 0 -1 4194304 25568 0 0 0 290653 840 0 0 20 0 1 0 23992613 219435008 44278 134679101440 4194304 5384485 140723332091408 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 31850496 140723332097047 140723332097124 140723332097124 140723332104139 0
/proc/218886/statm: 53573 44278 1381 291 0 45107 0
Current children cumulated CPU time: 2914.93 s
Current children cumulated vsize: 214292 KiB
Current children cumulated memory: 177112 KiB
[startup+2982.3 s]
/proc/loadavg: 4.08 4.12 4.16 5/244 220098
/proc/meminfo: memFree=99250324/131655788 swapFree=131062644/131071996
[pid=218886] ppid=218883 vsize=215704 memory=177728 CPUtime=2974.79 cores=4,6
/proc/218886/stat : 218886 (pb-oll-rs) R 218883 218886 215796 0 -1 4194304 25927 0 0 0 296631 848 0 0 20 0 1 0 23992613 220880896 44432 134679101440 4194304 5384485 140723332091408 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 31850496 140723332097047 140723332097124 140723332097124 140723332104139 0
/proc/218886/statm: 53926 44432 1381 291 0 45460 0
Current children cumulated CPU time: 2974.79 s
Current children cumulated vsize: 215704 KiB
Current children cumulated memory: 177728 KiB
[startup+3042.3 s]
/proc/loadavg: 4.13 4.13 4.16 5/244 220108
/proc/meminfo: memFree=99233632/131655788 swapFree=131062644/131071996
[pid=218886] ppid=218883 vsize=216600 memory=180368 CPUtime=3034.65 cores=4,6
/proc/218886/stat : 218886 (pb-oll-rs) R 218883 218886 215796 0 -1 4194304 26139 0 0 0 302611 854 0 0 20 0 1 0 23992613 221798400 45092 134679101440 4194304 5384485 140723332091408 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 31850496 140723332097047 140723332097124 140723332097124 140723332104139 0
/proc/218886/statm: 54150 45092 1381 291 0 45684 0
Current children cumulated CPU time: 3034.65 s
Current children cumulated vsize: 216600 KiB
Current children cumulated memory: 180368 KiB
[startup+3102.3 s]
/proc/loadavg: 4.09 4.12 4.16 5/243 220119
/proc/meminfo: memFree=99212824/131655788 swapFree=131062644/131071996
[pid=218886] ppid=218883 vsize=218392 memory=181516 CPUtime=3094.51 cores=4,6
/proc/218886/stat : 218886 (pb-oll-rs) R 218883 218886 215796 0 -1 4194304 26476 0 0 0 308591 860 0 0 20 0 1 0 23992613 223633408 45379 134679101440 4194304 5384485 140723332091408 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 31850496 140723332097047 140723332097124 140723332097124 140723332104139 0
/proc/218886/statm: 54598 45379 1381 291 0 46132 0
Current children cumulated CPU time: 3094.51 s
Current children cumulated vsize: 218392 KiB
Current children cumulated memory: 181516 KiB
[startup+3162.3 s]
/proc/loadavg: 4.19 4.14 4.16 5/243 220176
/proc/meminfo: memFree=99428496/131655788 swapFree=131062644/131071996
[pid=218886] ppid=218883 vsize=269888 memory=183676 CPUtime=3154.35 cores=4,6
/proc/218886/stat : 218886 (pb-oll-rs) R 218883 218886 215796 0 -1 4194304 27089 0 0 0 314568 867 0 0 20 0 1 0 23992613 276365312 45919 134679101440 4194304 5384485 140723332091408 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 31850496 140723332097047 140723332097124 140723332097124 140723332104139 0
/proc/218886/statm: 67472 45919 1381 291 0 59006 0
Current children cumulated CPU time: 3154.35 s
Current children cumulated vsize: 269888 KiB
Current children cumulated memory: 183676 KiB
[startup+3222.3 s]
/proc/loadavg: 4.06 4.11 4.15 5/243 220231
/proc/meminfo: memFree=98763136/131655788 swapFree=131062644/131071996
[pid=218886] ppid=218883 vsize=270400 memory=186948 CPUtime=3214.2 cores=4,6
/proc/218886/stat : 218886 (pb-oll-rs) R 218883 218886 215796 0 -1 4194304 27493 0 0 0 320547 873 0 0 20 0 1 0 23992613 276889600 46737 134679101440 4194304 5384485 140723332091408 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 31850496 140723332097047 140723332097124 140723332097124 140723332104139 0
/proc/218886/statm: 67600 46737 1381 291 0 59134 0
Current children cumulated CPU time: 3214.2 s
Current children cumulated vsize: 270400 KiB
Current children cumulated memory: 186948 KiB
[startup+3282.3 s]
/proc/loadavg: 4.15 4.12 4.15 5/244 220624
/proc/meminfo: memFree=98450972/131655788 swapFree=131062644/131071996
[pid=218886] ppid=218883 vsize=272704 memory=190268 CPUtime=3274.04 cores=4,6
/proc/218886/stat : 218886 (pb-oll-rs) R 218883 218886 215796 0 -1 4194304 27976 0 0 0 326526 878 0 0 20 0 1 0 23992613 279248896 47567 134679101440 4194304 5384485 140723332091408 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 31850496 140723332097047 140723332097124 140723332097124 140723332104139 0
/proc/218886/statm: 68176 47567 1381 291 0 59710 0
Current children cumulated CPU time: 3274.04 s
Current children cumulated vsize: 272704 KiB
Current children cumulated memory: 190268 KiB
[startup+3342.3 s]
/proc/loadavg: 4.11 4.11 4.14 5/244 220636
/proc/meminfo: memFree=98238076/131655788 swapFree=131062644/131071996
[pid=218886] ppid=218883 vsize=275520 memory=198436 CPUtime=3333.87 cores=4,6
/proc/218886/stat : 218886 (pb-oll-rs) R 218883 218886 215796 0 -1 4194304 28441 0 0 0 332502 885 0 0 20 0 1 0 23992613 282132480 49609 134679101440 4194304 5384485 140723332091408 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 31850496 140723332097047 140723332097124 140723332097124 140723332104139 0
/proc/218886/statm: 68880 49609 1381 291 0 60414 0
Current children cumulated CPU time: 3333.87 s
Current children cumulated vsize: 275520 KiB
Current children cumulated memory: 198436 KiB
[startup+3402.3 s]
/proc/loadavg: 4.09 4.11 4.14 5/244 220647
/proc/meminfo: memFree=98024456/131655788 swapFree=131062644/131071996
[pid=218886] ppid=218883 vsize=276436 memory=201264 CPUtime=3393.7 cores=4,6
/proc/218886/stat : 218886 (pb-oll-rs) R 218883 218886 215796 0 -1 4194304 28908 0 0 0 338480 890 0 0 20 0 1 0 23992613 283070464 50316 134679101440 4194304 5384485 140723332091408 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 31850496 140723332097047 140723332097124 140723332097124 140723332104139 0
/proc/218886/statm: 69109 50316 1381 291 0 60643 0
Current children cumulated CPU time: 3393.7 s
Current children cumulated vsize: 276436 KiB
Current children cumulated memory: 201264 KiB
[startup+3462.3 s]
/proc/loadavg: 4.15 4.12 4.14 5/245 220827
/proc/meminfo: memFree=97872016/131655788 swapFree=131062644/131071996
[pid=218886] ppid=218883 vsize=276436 memory=203096 CPUtime=3453.58 cores=4,6
/proc/218886/stat : 218886 (pb-oll-rs) R 218883 218886 215796 0 -1 4194304 28974 0 0 0 344463 895 0 0 20 0 1 0 23992613 283070464 50774 134679101440 4194304 5384485 140723332091408 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 31850496 140723332097047 140723332097124 140723332097124 140723332104139 0
/proc/218886/statm: 69109 50774 1381 291 0 60643 0
Current children cumulated CPU time: 3453.58 s
Current children cumulated vsize: 276436 KiB
Current children cumulated memory: 203096 KiB
[startup+3522.3 s]
/proc/loadavg: 4.05 4.09 4.13 5/245 220837
/proc/meminfo: memFree=97835276/131655788 swapFree=131062644/131071996
[pid=218886] ppid=218883 vsize=276436 memory=203096 CPUtime=3513.44 cores=4,6
/proc/218886/stat : 218886 (pb-oll-rs) R 218883 218886 215796 0 -1 4194304 29042 0 0 0 350441 903 0 0 20 0 1 0 23992613 283070464 50774 134679101440 4194304 5384485 140723332091408 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 31850496 140723332097047 140723332097124 140723332097124 140723332104139 0
/proc/218886/statm: 69109 50774 1381 291 0 60643 0
Current children cumulated CPU time: 3513.44 s
Current children cumulated vsize: 276436 KiB
Current children cumulated memory: 203096 KiB
[startup+3582.3 s]
/proc/loadavg: 4.13 4.10 4.13 5/244 220849
/proc/meminfo: memFree=97477748/131655788 swapFree=131062644/131071996
[pid=218886] ppid=218883 vsize=276436 memory=203096 CPUtime=3573.26 cores=4,6
/proc/218886/stat : 218886 (pb-oll-rs) R 218883 218886 215796 0 -1 4194304 29111 0 0 0 356418 908 0 0 20 0 1 0 23992613 283070464 50774 134679101440 4194304 5384485 140723332091408 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 31850496 140723332097047 140723332097124 140723332097124 140723332104139 0
/proc/218886/statm: 69109 50774 1381 291 0 60643 0
Current children cumulated CPU time: 3573.26 s
Current children cumulated vsize: 276436 KiB
Current children cumulated memory: 203096 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.11 s]
/proc/loadavg: 4.13 4.11 4.13 5/244 220852
/proc/meminfo: memFree=97456088/131655788 swapFree=131062644/131071996
[pid=218886] ppid=218883 vsize=276436 memory=203096 CPUtime=3600 cores=4,6
/proc/218886/stat : 218886 (pb-oll-rs) R 218883 218886 215796 0 -1 4194304 29180 0 0 0 359089 911 0 0 20 0 1 0 23992613 283070464 50774 134679101440 4194304 5384485 140723332091408 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 31850496 140723332097047 140723332097124 140723332097124 140723332104139 0
/proc/218886/statm: 69109 50774 1381 291 0 60643 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 276436 KiB
Current children cumulated memory: 203096 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.12 s]
# the end of solver process 218886 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3590.89 s, system=9.12105 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.11 s]
/proc/loadavg: 4.13 4.11 4.13 5/244 220852
/proc/meminfo: memFree=97456088/131655788 swapFree=131062644/131071996
[pid=218886] ppid=218883 vsize=276436 memory=203096 CPUtime=3600 cores=4,6
/proc/218886/stat : 218886 (pb-oll-rs) R 218883 218886 215796 0 -1 4194304 29180 0 0 0 359089 911 0 0 20 0 1 0 23992613 283070464 50774 134679101440 4194304 5384485 140723332091408 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 31850496 140723332097047 140723332097124 140723332097124 140723332104139 0
/proc/218886/statm: 69109 50774 1381 291 0 60643 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 276436 KiB
Current children cumulated memory: 203096 KiB
Child status: 0
Real time (s): 3609.12
CPU time (s): 3600.01
CPU user time (s): 3590.89
CPU system time (s): 9.12105
CPU usage (%): 99.7477
Max. virtual memory (cumulated for all children) (KiB): 277068
Max. memory (cumulated for all children) (KiB): 203096
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3590.89
system time used= 9.12106
maximum resident set size= 203096
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 29197
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= 87
involuntary context switches= 3748
# summary of solver processes directly reported to runsolver:
# pid: 218886
# total CPU time (s): 3600.01
# total CPU user time (s): 3590.89
# total CPU system time (s): 9.12105
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.3792 second user time and 36.6433 second system time
The end
Begin job on nodeC003 at 2024-07-25 06:00:36
IDJOB=4458477
IDBENCH=177485
IDSOLVER=3082
FILE ID=nodeC003/4458477-1721880036
RUNJOBID= nodeC003-1721875971-215807
SLURM_JOB_ID= 8089247
Free space on /tmp= 723776 MiB
SOLVER NAME= pb-oll-rs 2024-07-19
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/injcomp/injcomp_opt_4layers_maxall_lastlayerdiv2/normalized-injcomp_opt_4layers_maxall_lastlayerdiv2_size_16.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4458477-1721880036/watcher-4458477-1721880036 -o /tmp/evaluation-result-4458477-1721880036/solver-4458477-1721880036 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1721875971-215807 --watchdog 3760 pb-oll-rs HOME/instance-4458477-1721880036.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 678da6339402b89815c46f6042afd950
RANDOM SEED=1645781306
nodeC003.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 : 0xb00001f
cpu MHz : 3671.674
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 invpcid_single pti 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 : 6984.09
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 : 3665.215
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 invpcid_single pti 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 : 6983.31
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.478
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 invpcid_single pti 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 : 6984.09
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.452
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 invpcid_single pti 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 : 6983.31
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 : 3492.079
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 invpcid_single pti 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 : 6984.09
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 : 3639.987
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 invpcid_single pti 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 : 6983.31
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.287
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 invpcid_single pti 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 : 6984.09
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.378
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 invpcid_single pti 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 : 6983.31
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 100051320 kB
MemAvailable: 129586892 kB
Buffers: 295692 kB
Cached: 29787848 kB
SwapCached: 968 kB
Active: 2488296 kB
Inactive: 28119300 kB
Active(anon): 2576 kB
Inactive(anon): 574952 kB
Active(file): 2485720 kB
Inactive(file): 27544348 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131062644 kB
Dirty: 2192 kB
Writeback: 0 kB
AnonPages: 519484 kB
Mapped: 113972 kB
Shmem: 53440 kB
KReclaimable: 567248 kB
Slab: 681476 kB
SReclaimable: 567248 kB
SUnreclaim: 114228 kB
KernelStack: 3936 kB
PageTables: 10640 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 777988 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 14752 kB
HardwareCorrupted: 0 kB
AnonHugePages: 376832 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: 394056 kB
DirectMap2M: 40404992 kB
DirectMap1G: 95420416 kB
Free space on /tmp at the end= 723772 MiB
End job on nodeC003 at 2024-07-25 07:00:45