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.001897
0.00/0.00 c stratification level: 0
30.62/30.71 c #Conflicts: 1000 | #Constraints: 1527
30.62/30.71 c #Conflicts: 2000 | #Constraints: 2527
30.62/30.71 c INPROCESSING
30.62/30.71 c GARBAGE COLLECT
30.62/30.71 c #Conflicts: 3000 | #Constraints: 2552
30.62/30.71 c #Conflicts: 4000 | #Constraints: 3552
30.62/30.71 c INPROCESSING
30.62/30.71 c GARBAGE COLLECT
30.62/30.71 c #Conflicts: 5000 | #Constraints: 2967
30.62/30.71 c #Conflicts: 6000 | #Constraints: 3967
30.62/30.71 c INPROCESSING
30.62/30.71 c GARBAGE COLLECT
30.62/30.71 c #Conflicts: 7000 | #Constraints: 2973
30.62/30.71 c #Conflicts: 8000 | #Constraints: 3973
30.62/30.71 c #Conflicts: 9000 | #Constraints: 4973
30.62/30.71 c INPROCESSING
30.62/30.71 c GARBAGE COLLECT
30.62/30.71 c #Conflicts: 10000 | #Constraints: 3679
30.62/30.71 c #Conflicts: 11000 | #Constraints: 4679
30.62/30.71 c #Conflicts: 12000 | #Constraints: 5679
30.62/30.71 c INPROCESSING
30.62/30.71 c GARBAGE COLLECT
30.62/30.71 c #Conflicts: 13000 | #Constraints: 4130
30.62/30.71 c #Conflicts: 14000 | #Constraints: 5130
30.62/30.71 c #Conflicts: 15000 | #Constraints: 6130
30.62/30.71 c INPROCESSING
30.62/30.71 c GARBAGE COLLECT
30.62/30.71 c #Conflicts: 16000 | #Constraints: 4360
30.62/30.71 c #Conflicts: 17000 | #Constraints: 5360
30.62/30.71 c #Conflicts: 18000 | #Constraints: 6360
30.62/30.71 c INPROCESSING
30.62/30.71 c GARBAGE COLLECT
30.62/30.71 c #Conflicts: 19000 | #Constraints: 4377
30.62/30.71 c #Conflicts: 20000 | #Constraints: 5377
30.62/30.71 c #Conflicts: 21000 | #Constraints: 6377
30.62/30.71 c INPROCESSING
30.62/30.71 c GARBAGE COLLECT
30.62/30.71 c #Conflicts: 22000 | #Constraints: 4182
30.62/30.71 c #Conflicts: 23000 | #Constraints: 5182
30.62/30.71 c #Conflicts: 24000 | #Constraints: 6182
30.62/30.71 c #Conflicts: 25000 | #Constraints: 7182
30.62/30.71 c INPROCESSING
30.62/30.71 c GARBAGE COLLECT
30.62/30.71 c #Conflicts: 26000 | #Constraints: 4792
30.62/30.71 c #Conflicts: 27000 | #Constraints: 5792
30.62/30.71 c #Conflicts: 28000 | #Constraints: 6792
30.62/30.71 c #Conflicts: 29000 | #Constraints: 7792
30.62/30.71 c INPROCESSING
30.62/30.71 c GARBAGE COLLECT
30.62/30.71 c #Conflicts: 30000 | #Constraints: 5187
30.62/30.71 c #Conflicts: 31000 | #Constraints: 6187
30.62/30.71 c #Conflicts: 32000 | #Constraints: 7187
30.62/30.71 c #Conflicts: 33000 | #Constraints: 8187
30.62/30.71 c INPROCESSING
30.62/30.71 c GARBAGE COLLECT
30.62/30.71 c #Conflicts: 34000 | #Constraints: 5389
30.62/30.71 c #Conflicts: 35000 | #Constraints: 6389
30.62/30.71 c #Conflicts: 36000 | #Constraints: 7389
30.62/30.71 c #Conflicts: 37000 | #Constraints: 8389
30.62/30.71 c INPROCESSING
30.62/30.71 c GARBAGE COLLECT
30.62/30.71 c #Conflicts: 38000 | #Constraints: 5385
30.62/30.71 c #Conflicts: 39000 | #Constraints: 6385
30.62/30.71 c #Conflicts: 40000 | #Constraints: 7385
30.62/30.71 c #Conflicts: 41000 | #Constraints: 8385
30.62/30.71 c INPROCESSING
30.62/30.71 c GARBAGE COLLECT
30.62/30.71 c #Conflicts: 42000 | #Constraints: 5183
30.62/30.71 c #Conflicts: 43000 | #Constraints: 6183
30.62/30.71 c #Conflicts: 44000 | #Constraints: 7183
30.62/30.71 c #Conflicts: 45000 | #Constraints: 8183
30.62/30.71 c #Conflicts: 46000 | #Constraints: 9183
30.62/30.71 c INPROCESSING
30.62/30.71 c GARBAGE COLLECT
30.62/30.71 c #Conflicts: 47000 | #Constraints: 5780
30.62/30.71 c #Conflicts: 48000 | #Constraints: 6780
30.62/30.71 c #Conflicts: 49000 | #Constraints: 7780
30.62/30.71 c #Conflicts: 50000 | #Constraints: 8780
30.62/30.71 c #Conflicts: 51000 | #Constraints: 9780
30.62/30.71 c INPROCESSING
30.62/30.71 c GARBAGE COLLECT
30.62/30.71 c #Conflicts: 52000 | #Constraints: 6178
30.62/30.71 c #Conflicts: 53000 | #Constraints: 7178
30.62/30.71 c #Conflicts: 54000 | #Constraints: 8178
30.62/30.71 c #Conflicts: 55000 | #Constraints: 9178
30.62/30.71 c #Conflicts: 56000 | #Constraints: 10178
30.62/30.71 c INPROCESSING
30.62/30.71 c GARBAGE COLLECT
30.62/30.71 c #Conflicts: 57000 | #Constraints: 6385
30.62/30.71 c #Conflicts: 58000 | #Constraints: 7385
30.62/30.71 c #Conflicts: 59000 | #Constraints: 8385
30.62/30.71 c #Conflicts: 60000 | #Constraints: 9385
30.62/30.71 c #Conflicts: 61000 | #Constraints: 10385
30.62/30.71 c INPROCESSING
30.62/30.71 c GARBAGE COLLECT
30.62/30.71 c #Conflicts: 62000 | #Constraints: 6383
30.62/30.71 c #Conflicts: 63000 | #Constraints: 7383
30.62/30.71 c #Conflicts: 64000 | #Constraints: 8383
30.62/30.71 c #Conflicts: 65000 | #Constraints: 9383
30.62/30.71 c #Conflicts: 66000 | #Constraints: 10383
30.62/30.71 c INPROCESSING
30.62/30.71 c GARBAGE COLLECT
30.62/30.71 c #Conflicts: 67000 | #Constraints: 6180
30.62/30.71 c #Conflicts: 68000 | #Constraints: 7180
76.40/76.60 c #Conflicts: 69000 | #Constraints: 8180
76.40/76.60 c #Conflicts: 70000 | #Constraints: 9180
76.40/76.60 c #Conflicts: 71000 | #Constraints: 10180
76.40/76.60 c #Conflicts: 72000 | #Constraints: 11180
76.40/76.60 c INPROCESSING
76.40/76.60 c GARBAGE COLLECT
76.40/76.60 c #Conflicts: 73000 | #Constraints: 6779
76.40/76.60 c #Conflicts: 74000 | #Constraints: 7779
76.40/76.60 c #Conflicts: 75000 | #Constraints: 8779
76.40/76.60 c #Conflicts: 76000 | #Constraints: 9779
76.40/76.60 c #Conflicts: 77000 | #Constraints: 10779
76.40/76.60 c #Conflicts: 78000 | #Constraints: 11779
76.40/76.60 c INPROCESSING
76.40/76.60 c GARBAGE COLLECT
76.40/76.60 c #Conflicts: 79000 | #Constraints: 7188
76.40/76.60 c #Conflicts: 80000 | #Constraints: 8188
76.40/76.60 c #Conflicts: 81000 | #Constraints: 9188
76.40/76.60 c #Conflicts: 82000 | #Constraints: 10188
76.40/76.60 c #Conflicts: 83000 | #Constraints: 11188
76.40/76.60 c #Conflicts: 84000 | #Constraints: 12188
76.40/76.60 c INPROCESSING
76.40/76.60 c GARBAGE COLLECT
76.40/76.60 c #Conflicts: 85000 | #Constraints: 7382
76.40/76.60 c #Conflicts: 86000 | #Constraints: 8382
76.40/76.60 c #Conflicts: 87000 | #Constraints: 9382
76.40/76.60 c #Conflicts: 88000 | #Constraints: 10382
76.40/76.60 c #Conflicts: 89000 | #Constraints: 11382
76.40/76.60 c #Conflicts: 90000 | #Constraints: 12382
76.40/76.60 c INPROCESSING
76.40/76.60 c GARBAGE COLLECT
76.40/76.60 c #Conflicts: 91000 | #Constraints: 7386
76.40/76.60 c #Conflicts: 92000 | #Constraints: 8386
76.40/76.60 c #Conflicts: 93000 | #Constraints: 9386
76.40/76.60 c #Conflicts: 94000 | #Constraints: 10386
76.40/76.60 c #Conflicts: 95000 | #Constraints: 11386
76.40/76.60 c #Conflicts: 96000 | #Constraints: 12386
76.40/76.60 c INPROCESSING
76.40/76.60 c GARBAGE COLLECT
76.40/76.60 c #Conflicts: 97000 | #Constraints: 7184
76.40/76.60 c #Conflicts: 98000 | #Constraints: 8184
76.40/76.60 c #Conflicts: 99000 | #Constraints: 9184
76.40/76.60 c #Conflicts: 100000 | #Constraints: 10184
76.40/76.60 c #Conflicts: 101000 | #Constraints: 11184
76.40/76.60 c #Conflicts: 102000 | #Constraints: 12184
76.40/76.60 c #Conflicts: 103000 | #Constraints: 13184
76.40/76.60 c INPROCESSING
76.40/76.60 c GARBAGE COLLECT
76.40/76.60 c #Conflicts: 104000 | #Constraints: 7784
76.40/76.60 c #Conflicts: 105000 | #Constraints: 8784
76.40/76.60 c #Conflicts: 106000 | #Constraints: 9784
76.40/76.60 c #Conflicts: 107000 | #Constraints: 10784
76.40/76.60 c #Conflicts: 108000 | #Constraints: 11784
76.40/76.60 c #Conflicts: 109000 | #Constraints: 12784
76.40/76.60 c #Conflicts: 110000 | #Constraints: 13784
76.40/76.60 c INPROCESSING
76.40/76.60 c GARBAGE COLLECT
76.40/76.60 c #Conflicts: 111000 | #Constraints: 8187
76.40/76.60 c #Conflicts: 112000 | #Constraints: 9187
76.40/76.60 c #Conflicts: 113000 | #Constraints: 10187
76.40/76.60 c #Conflicts: 114000 | #Constraints: 11187
76.40/76.60 c #Conflicts: 115000 | #Constraints: 12187
76.40/76.60 c #Conflicts: 116000 | #Constraints: 13187
76.40/76.60 c #Conflicts: 117000 | #Constraints: 14187
76.40/76.60 c INPROCESSING
76.40/76.60 c GARBAGE COLLECT
76.40/76.60 c #Conflicts: 118000 | #Constraints: 8391
76.40/76.60 c #Conflicts: 119000 | #Constraints: 9391
76.40/76.60 c #Conflicts: 120000 | #Constraints: 10391
76.40/76.60 c #Conflicts: 121000 | #Constraints: 11391
76.40/76.60 c #Conflicts: 122000 | #Constraints: 12391
76.40/76.60 c #Conflicts: 123000 | #Constraints: 13391
76.40/76.60 c #Conflicts: 124000 | #Constraints: 14391
76.40/76.60 c INPROCESSING
76.40/76.60 c GARBAGE COLLECT
76.40/76.60 c #Conflicts: 125000 | #Constraints: 8386
76.40/76.60 c #Conflicts: 126000 | #Constraints: 9386
76.40/76.60 c #Conflicts: 127000 | #Constraints: 10386
76.40/76.60 c #Conflicts: 128000 | #Constraints: 11386
76.40/76.60 c #Conflicts: 129000 | #Constraints: 12386
76.40/76.60 c #Conflicts: 130000 | #Constraints: 13386
76.40/76.60 c #Conflicts: 131000 | #Constraints: 14386
76.40/76.60 c INPROCESSING
76.40/76.60 c GARBAGE COLLECT
76.40/76.60 c #Conflicts: 132000 | #Constraints: 8185
76.40/76.60 c #Conflicts: 133000 | #Constraints: 9185
76.40/76.60 c #Conflicts: 134000 | #Constraints: 10185
76.40/76.60 c #Conflicts: 135000 | #Constraints: 11185
76.40/76.60 c #Conflicts: 136000 | #Constraints: 12185
76.40/76.60 c #Conflicts: 137000 | #Constraints: 13185
76.40/76.60 c #Conflicts: 138000 | #Constraints: 14185
76.40/76.60 c #Conflicts: 139000 | #Constraints: 15185
76.40/76.60 c INPROCESSING
76.40/76.60 c GARBAGE COLLECT
76.40/76.60 c #Conflicts: 140000 | #Constraints: 8789
125.88/126.27 c #Conflicts: 141000 | #Constraints: 9789
125.88/126.27 c #Conflicts: 142000 | #Constraints: 10789
125.88/126.27 c #Conflicts: 143000 | #Constraints: 11789
125.88/126.27 c #Conflicts: 144000 | #Constraints: 12789
125.88/126.27 c #Conflicts: 145000 | #Constraints: 13789
125.88/126.27 c #Conflicts: 146000 | #Constraints: 14789
125.88/126.27 c #Conflicts: 147000 | #Constraints: 15789
125.88/126.27 c INPROCESSING
125.88/126.27 c GARBAGE COLLECT
125.88/126.27 c #Conflicts: 148000 | #Constraints: 9193
125.88/126.27 c #Conflicts: 149000 | #Constraints: 10193
125.88/126.27 c #Conflicts: 150000 | #Constraints: 11193
125.88/126.27 c #Conflicts: 151000 | #Constraints: 12193
125.88/126.27 c #Conflicts: 152000 | #Constraints: 13193
125.88/126.27 c #Conflicts: 153000 | #Constraints: 14193
125.88/126.27 c #Conflicts: 154000 | #Constraints: 15193
125.88/126.27 c #Conflicts: 155000 | #Constraints: 16193
125.88/126.27 c INPROCESSING
125.88/126.27 c GARBAGE COLLECT
125.88/126.27 c #Conflicts: 156000 | #Constraints: 9400
125.88/126.27 c #Conflicts: 157000 | #Constraints: 10400
125.88/126.27 c #Conflicts: 158000 | #Constraints: 11400
125.88/126.27 c #Conflicts: 159000 | #Constraints: 12400
125.88/126.27 c #Conflicts: 160000 | #Constraints: 13400
125.88/126.27 c #Conflicts: 161000 | #Constraints: 14400
125.88/126.27 c #Conflicts: 162000 | #Constraints: 15400
125.88/126.27 c #Conflicts: 163000 | #Constraints: 16400
125.88/126.27 c INPROCESSING
125.88/126.27 c GARBAGE COLLECT
125.88/126.27 c #Conflicts: 164000 | #Constraints: 9394
125.88/126.27 c #Conflicts: 165000 | #Constraints: 10394
125.88/126.27 c #Conflicts: 166000 | #Constraints: 11394
125.88/126.27 c #Conflicts: 167000 | #Constraints: 12394
125.88/126.27 c #Conflicts: 168000 | #Constraints: 13394
125.88/126.27 c #Conflicts: 169000 | #Constraints: 14394
125.88/126.27 c #Conflicts: 170000 | #Constraints: 15394
125.88/126.27 c #Conflicts: 171000 | #Constraints: 16394
125.88/126.27 c INPROCESSING
125.88/126.27 c GARBAGE COLLECT
125.88/126.27 c #Conflicts: 172000 | #Constraints: 9191
125.88/126.27 c #Conflicts: 173000 | #Constraints: 10191
125.88/126.27 c #Conflicts: 174000 | #Constraints: 11191
125.88/126.27 c #Conflicts: 175000 | #Constraints: 12191
125.88/126.27 c #Conflicts: 176000 | #Constraints: 13191
125.88/126.27 c #Conflicts: 177000 | #Constraints: 14191
125.88/126.27 c #Conflicts: 178000 | #Constraints: 15191
125.88/126.27 c #Conflicts: 179000 | #Constraints: 16191
125.88/126.27 c #Conflicts: 180000 | #Constraints: 17191
125.88/126.27 c INPROCESSING
125.88/126.27 c GARBAGE COLLECT
125.88/126.27 c #Conflicts: 181000 | #Constraints: 9785
125.88/126.27 c #Conflicts: 182000 | #Constraints: 10785
125.88/126.27 c #Conflicts: 183000 | #Constraints: 11785
125.88/126.27 c #Conflicts: 184000 | #Constraints: 12785
125.88/126.27 c #Conflicts: 185000 | #Constraints: 13785
125.88/126.27 c #Conflicts: 186000 | #Constraints: 14785
125.88/126.27 c #Conflicts: 187000 | #Constraints: 15785
125.88/126.27 c #Conflicts: 188000 | #Constraints: 16785
125.88/126.27 c #Conflicts: 189000 | #Constraints: 17785
125.88/126.27 c INPROCESSING
125.88/126.27 c GARBAGE COLLECT
125.88/126.27 c #Conflicts: 190000 | #Constraints: 10195
125.88/126.27 c #Conflicts: 191000 | #Constraints: 11195
125.88/126.27 c #Conflicts: 192000 | #Constraints: 12195
125.88/126.27 c #Conflicts: 193000 | #Constraints: 13195
125.88/126.27 c #Conflicts: 194000 | #Constraints: 14195
125.88/126.27 c #Conflicts: 195000 | #Constraints: 15195
125.88/126.27 c #Conflicts: 196000 | #Constraints: 16195
125.88/126.27 c #Conflicts: 197000 | #Constraints: 17195
125.88/126.27 c #Conflicts: 198000 | #Constraints: 18195
125.88/126.27 c INPROCESSING
125.88/126.27 c GARBAGE COLLECT
125.88/126.27 c #Conflicts: 199000 | #Constraints: 10399
125.88/126.27 c #Conflicts: 200000 | #Constraints: 11399
125.88/126.27 c #Conflicts: 201000 | #Constraints: 12399
125.88/126.27 c #Conflicts: 202000 | #Constraints: 13399
125.88/126.27 c #Conflicts: 203000 | #Constraints: 14399
125.88/126.27 c #Conflicts: 204000 | #Constraints: 15399
125.88/126.27 c #Conflicts: 205000 | #Constraints: 16399
125.88/126.27 c #Conflicts: 206000 | #Constraints: 17399
125.88/126.27 c #Conflicts: 207000 | #Constraints: 18399
125.88/126.27 c INPROCESSING
125.88/126.27 c GARBAGE COLLECT
125.88/126.27 c #Conflicts: 208000 | #Constraints: 10398
125.88/126.27 c #Conflicts: 209000 | #Constraints: 11398
125.88/126.27 c #Conflicts: 210000 | #Constraints: 12398
125.88/126.27 c #Conflicts: 211000 | #Constraints: 13398
125.88/126.27 c #Conflicts: 212000 | #Constraints: 14398
125.88/126.27 c #Conflicts: 213000 | #Constraints: 15398
132.78/133.13 c #Conflicts: 214000 | #Constraints: 16398
132.78/133.13 c #Conflicts: 215000 | #Constraints: 17398
132.78/133.13 c #Conflicts: 216000 | #Constraints: 18398
132.78/133.13 c INPROCESSING
132.78/133.13 c GARBAGE COLLECT
132.78/133.13 c #Conflicts: 217000 | #Constraints: 10203
132.78/133.13 c #Conflicts: 218000 | #Constraints: 11203
132.78/133.13 c #Conflicts: 219000 | #Constraints: 12203
132.78/133.13 c #Conflicts: 220000 | #Constraints: 13203
132.78/133.13 c #Conflicts: 221000 | #Constraints: 14203
132.78/133.13 c bounds - >= -39 @ 129.444
132.78/133.13 c #Conflicts: 222000 | #Constraints: 15204
132.78/133.13 c #Conflicts: 223000 | #Constraints: 16204
132.78/133.13 c #Conflicts: 224000 | #Constraints: 17204
132.78/133.13 c #Conflicts: 225000 | #Constraints: 18204
132.78/133.13 c #Conflicts: 226000 | #Constraints: 19204
132.78/133.13 c INPROCESSING
132.78/133.13 c GARBAGE COLLECT
132.78/133.13 c finalizing WCE round: reformulating cores
208.87/209.47 c #Conflicts: 227000 | #Constraints: 10795
208.87/209.47 c bounds -28 >= -39 @ 131.592
208.87/209.47 c #Conflicts: 228000 | #Constraints: 11795
208.87/209.47 c #Conflicts: 229000 | #Constraints: 12795
208.87/209.47 c #Conflicts: 230000 | #Constraints: 13795
208.87/209.47 c #Conflicts: 231000 | #Constraints: 14795
208.87/209.47 c #Conflicts: 232000 | #Constraints: 15795
208.87/209.47 c #Conflicts: 233000 | #Constraints: 16795
208.87/209.47 c #Conflicts: 234000 | #Constraints: 17795
208.87/209.47 c #Conflicts: 235000 | #Constraints: 18795
208.87/209.47 c #Conflicts: 236000 | #Constraints: 19795
208.87/209.47 c INPROCESSING
208.87/209.47 c GARBAGE COLLECT
208.87/209.47 c #Conflicts: 237000 | #Constraints: 11190
208.87/209.47 c #Conflicts: 238000 | #Constraints: 12190
208.87/209.47 c #Conflicts: 239000 | #Constraints: 13190
208.87/209.47 c #Conflicts: 240000 | #Constraints: 14190
208.87/209.47 c #Conflicts: 241000 | #Constraints: 15190
208.87/209.47 c #Conflicts: 242000 | #Constraints: 16190
208.87/209.47 c #Conflicts: 243000 | #Constraints: 17190
208.87/209.47 c #Conflicts: 244000 | #Constraints: 18190
208.87/209.47 c #Conflicts: 245000 | #Constraints: 19190
208.87/209.47 c #Conflicts: 246000 | #Constraints: 20190
208.87/209.47 c INPROCESSING
208.87/209.47 c GARBAGE COLLECT
208.87/209.47 c #Conflicts: 247000 | #Constraints: 11388
208.87/209.47 c #Conflicts: 248000 | #Constraints: 12388
208.87/209.47 c #Conflicts: 249000 | #Constraints: 13388
208.87/209.47 c #Conflicts: 250000 | #Constraints: 14388
208.87/209.47 c #Conflicts: 251000 | #Constraints: 15388
208.87/209.47 c #Conflicts: 252000 | #Constraints: 16388
208.87/209.47 c #Conflicts: 253000 | #Constraints: 17388
208.87/209.47 c #Conflicts: 254000 | #Constraints: 18388
208.87/209.47 c #Conflicts: 255000 | #Constraints: 19388
208.87/209.47 c #Conflicts: 256000 | #Constraints: 20388
208.87/209.47 c INPROCESSING
208.87/209.47 c GARBAGE COLLECT
208.87/209.47 c #Conflicts: 257000 | #Constraints: 11385
208.87/209.47 c #Conflicts: 258000 | #Constraints: 12385
208.87/209.47 c #Conflicts: 259000 | #Constraints: 13385
208.87/209.47 c #Conflicts: 260000 | #Constraints: 14385
208.87/209.47 c #Conflicts: 261000 | #Constraints: 15385
208.87/209.47 c #Conflicts: 262000 | #Constraints: 16385
208.87/209.47 c #Conflicts: 263000 | #Constraints: 17385
208.87/209.47 c #Conflicts: 264000 | #Constraints: 18385
208.87/209.47 c #Conflicts: 265000 | #Constraints: 19385
208.87/209.47 c #Conflicts: 266000 | #Constraints: 20385
208.87/209.47 c INPROCESSING
208.87/209.47 c GARBAGE COLLECT
208.87/209.47 c #Conflicts: 267000 | #Constraints: 11183
208.87/209.47 c #Conflicts: 268000 | #Constraints: 12183
208.87/209.47 c #Conflicts: 269000 | #Constraints: 13183
208.87/209.47 c #Conflicts: 270000 | #Constraints: 14183
208.87/209.47 c #Conflicts: 271000 | #Constraints: 15183
208.87/209.47 c #Conflicts: 272000 | #Constraints: 16183
208.87/209.47 c #Conflicts: 273000 | #Constraints: 17183
208.87/209.47 c #Conflicts: 274000 | #Constraints: 18183
208.87/209.47 c #Conflicts: 275000 | #Constraints: 19183
208.87/209.47 c #Conflicts: 276000 | #Constraints: 20183
208.87/209.47 c #Conflicts: 277000 | #Constraints: 21183
208.87/209.47 c INPROCESSING
208.87/209.47 c GARBAGE COLLECT
208.87/209.47 c #Conflicts: 278000 | #Constraints: 11776
208.87/209.47 c #Conflicts: 279000 | #Constraints: 12776
208.87/209.47 c #Conflicts: 280000 | #Constraints: 13776
208.87/209.47 c #Conflicts: 281000 | #Constraints: 14776
208.87/209.47 c #Conflicts: 282000 | #Constraints: 15776
208.87/209.47 c #Conflicts: 283000 | #Constraints: 16776
208.87/209.47 c #Conflicts: 284000 | #Constraints: 17776
208.87/209.47 c #Conflicts: 285000 | #Constraints: 18776
208.87/209.47 c #Conflicts: 286000 | #Constraints: 19776
208.87/209.47 c #Conflicts: 287000 | #Constraints: 20776
208.87/209.47 c #Conflicts: 288000 | #Constraints: 21776
208.87/209.47 c INPROCESSING
208.87/209.47 c GARBAGE COLLECT
208.87/209.47 c #Conflicts: 289000 | #Constraints: 12175
208.87/209.47 c #Conflicts: 290000 | #Constraints: 13175
208.87/209.47 c #Conflicts: 291000 | #Constraints: 14175
208.87/209.47 c #Conflicts: 292000 | #Constraints: 15175
208.87/209.47 c #Conflicts: 293000 | #Constraints: 16175
208.87/209.47 c #Conflicts: 294000 | #Constraints: 17175
208.87/209.47 c #Conflicts: 295000 | #Constraints: 18175
208.87/209.47 c #Conflicts: 296000 | #Constraints: 19175
208.87/209.47 c #Conflicts: 297000 | #Constraints: 20175
208.87/209.47 c #Conflicts: 298000 | #Constraints: 21175
208.87/209.47 c #Conflicts: 299000 | #Constraints: 22175
208.87/209.47 c INPROCESSING
208.87/209.47 c GARBAGE COLLECT
208.87/209.47 c #Conflicts: 300000 | #Constraints: 12374
538.47/539.80 c #Conflicts: 301000 | #Constraints: 13374
538.47/539.80 c #Conflicts: 302000 | #Constraints: 14374
538.47/539.80 c #Conflicts: 303000 | #Constraints: 15374
538.47/539.80 c #Conflicts: 304000 | #Constraints: 16374
538.47/539.80 c #Conflicts: 305000 | #Constraints: 17374
538.47/539.80 c #Conflicts: 306000 | #Constraints: 18374
538.47/539.80 c #Conflicts: 307000 | #Constraints: 19374
538.47/539.80 c #Conflicts: 308000 | #Constraints: 20374
538.47/539.80 c #Conflicts: 309000 | #Constraints: 21374
538.47/539.80 c #Conflicts: 310000 | #Constraints: 22374
538.47/539.80 c INPROCESSING
538.47/539.80 c GARBAGE COLLECT
538.47/539.80 c #Conflicts: 311000 | #Constraints: 12374
538.47/539.80 c #Conflicts: 312000 | #Constraints: 13374
538.47/539.80 c #Conflicts: 313000 | #Constraints: 14374
538.47/539.80 c #Conflicts: 314000 | #Constraints: 15374
538.47/539.80 c #Conflicts: 315000 | #Constraints: 16374
538.47/539.80 c #Conflicts: 316000 | #Constraints: 17374
538.47/539.80 c #Conflicts: 317000 | #Constraints: 18374
538.47/539.80 c #Conflicts: 318000 | #Constraints: 19374
538.47/539.80 c #Conflicts: 319000 | #Constraints: 20374
538.47/539.80 c #Conflicts: 320000 | #Constraints: 21374
538.47/539.80 c #Conflicts: 321000 | #Constraints: 22374
538.47/539.80 c INPROCESSING
538.47/539.80 c GARBAGE COLLECT
538.47/539.80 c #Conflicts: 322000 | #Constraints: 12183
538.47/539.80 c #Conflicts: 323000 | #Constraints: 13183
538.47/539.80 c #Conflicts: 324000 | #Constraints: 14183
538.47/539.80 c #Conflicts: 325000 | #Constraints: 15183
538.47/539.80 c #Conflicts: 326000 | #Constraints: 16183
538.47/539.80 c #Conflicts: 327000 | #Constraints: 17183
538.47/539.80 c #Conflicts: 328000 | #Constraints: 18183
538.47/539.80 c #Conflicts: 329000 | #Constraints: 19183
538.47/539.80 c #Conflicts: 330000 | #Constraints: 20183
538.47/539.80 c #Conflicts: 331000 | #Constraints: 21183
538.47/539.80 c #Conflicts: 332000 | #Constraints: 22183
538.47/539.80 c #Conflicts: 333000 | #Constraints: 23183
538.47/539.80 c INPROCESSING
538.47/539.80 c GARBAGE COLLECT
538.47/539.80 c #Conflicts: 334000 | #Constraints: 12777
538.47/539.80 c #Conflicts: 335000 | #Constraints: 13777
538.47/539.80 c #Conflicts: 336000 | #Constraints: 14777
538.47/539.80 c #Conflicts: 337000 | #Constraints: 15777
538.47/539.80 c #Conflicts: 338000 | #Constraints: 16777
538.47/539.80 c #Conflicts: 339000 | #Constraints: 17777
538.47/539.80 c #Conflicts: 340000 | #Constraints: 18777
538.47/539.80 c #Conflicts: 341000 | #Constraints: 19777
538.47/539.80 c #Conflicts: 342000 | #Constraints: 20777
538.47/539.80 c #Conflicts: 343000 | #Constraints: 21777
538.47/539.80 c #Conflicts: 344000 | #Constraints: 22777
538.47/539.80 c #Conflicts: 345000 | #Constraints: 23777
538.47/539.80 c INPROCESSING
538.47/539.80 c GARBAGE COLLECT
538.47/539.80 c #Conflicts: 346000 | #Constraints: 13181
538.47/539.80 c #Conflicts: 347000 | #Constraints: 14181
538.47/539.80 c #Conflicts: 348000 | #Constraints: 15181
538.47/539.80 c #Conflicts: 349000 | #Constraints: 16181
538.47/539.80 c #Conflicts: 350000 | #Constraints: 17181
538.47/539.80 c #Conflicts: 351000 | #Constraints: 18181
538.47/539.80 c #Conflicts: 352000 | #Constraints: 19181
538.47/539.80 c #Conflicts: 353000 | #Constraints: 20181
538.47/539.80 c #Conflicts: 354000 | #Constraints: 21181
538.47/539.80 c #Conflicts: 355000 | #Constraints: 22181
538.47/539.80 c #Conflicts: 356000 | #Constraints: 23181
538.47/539.80 c #Conflicts: 357000 | #Constraints: 24181
538.47/539.80 c INPROCESSING
538.47/539.80 c GARBAGE COLLECT
538.47/539.80 c #Conflicts: 358000 | #Constraints: 13387
538.47/539.80 c #Conflicts: 359000 | #Constraints: 14387
538.47/539.80 c #Conflicts: 360000 | #Constraints: 15387
538.47/539.80 c #Conflicts: 361000 | #Constraints: 16387
538.47/539.80 c #Conflicts: 362000 | #Constraints: 17387
538.47/539.80 c #Conflicts: 363000 | #Constraints: 18387
538.47/539.80 c #Conflicts: 364000 | #Constraints: 19387
538.47/539.80 c #Conflicts: 365000 | #Constraints: 20387
538.47/539.80 c #Conflicts: 366000 | #Constraints: 21387
538.47/539.80 c #Conflicts: 367000 | #Constraints: 22387
538.47/539.80 c #Conflicts: 368000 | #Constraints: 23387
538.47/539.80 c #Conflicts: 369000 | #Constraints: 24387
538.47/539.80 c INPROCESSING
538.47/539.80 c GARBAGE COLLECT
538.47/539.80 c #Conflicts: 370000 | #Constraints: 13381
538.47/539.80 c #Conflicts: 371000 | #Constraints: 14381
538.47/539.80 c #Conflicts: 372000 | #Constraints: 15381
538.47/539.80 c #Conflicts: 373000 | #Constraints: 16381
538.47/539.80 c #Conflicts: 374000 | #Constraints: 17381
538.47/539.80 c #Conflicts: 375000 | #Constraints: 18381
2454.77/2460.72 c #Conflicts: 376000 | #Constraints: 19381
2454.77/2460.72 c #Conflicts: 377000 | #Constraints: 20381
2454.77/2460.72 c #Conflicts: 378000 | #Constraints: 21381
2454.77/2460.72 c #Conflicts: 379000 | #Constraints: 22381
2454.77/2460.72 c #Conflicts: 380000 | #Constraints: 23381
2454.77/2460.72 c #Conflicts: 381000 | #Constraints: 24381
2454.77/2460.72 c INPROCESSING
2454.77/2460.72 c GARBAGE COLLECT
2454.77/2460.72 c #Conflicts: 382000 | #Constraints: 13182
2454.77/2460.72 c #Conflicts: 383000 | #Constraints: 14182
2454.77/2460.72 c #Conflicts: 384000 | #Constraints: 15182
2454.77/2460.72 c #Conflicts: 385000 | #Constraints: 16182
2454.77/2460.72 c #Conflicts: 386000 | #Constraints: 17182
2454.77/2460.72 c #Conflicts: 387000 | #Constraints: 18182
2454.77/2460.72 c #Conflicts: 388000 | #Constraints: 19182
2454.77/2460.72 c #Conflicts: 389000 | #Constraints: 20182
2454.77/2460.72 c #Conflicts: 390000 | #Constraints: 21182
2454.77/2460.72 c #Conflicts: 391000 | #Constraints: 22182
2454.77/2460.72 c #Conflicts: 392000 | #Constraints: 23182
2454.77/2460.72 c #Conflicts: 393000 | #Constraints: 24182
2454.77/2460.72 c #Conflicts: 394000 | #Constraints: 25182
2454.77/2460.72 c INPROCESSING
2454.77/2460.72 c GARBAGE COLLECT
2454.77/2460.72 c #Conflicts: 395000 | #Constraints: 13788
2454.77/2460.72 c #Conflicts: 396000 | #Constraints: 14788
2454.77/2460.72 c #Conflicts: 397000 | #Constraints: 15788
2454.77/2460.72 c #Conflicts: 398000 | #Constraints: 16788
2454.77/2460.72 c #Conflicts: 399000 | #Constraints: 17788
2454.77/2460.72 c #Conflicts: 400000 | #Constraints: 18788
2454.77/2460.72 c #Conflicts: 401000 | #Constraints: 19788
2454.77/2460.72 c #Conflicts: 402000 | #Constraints: 20788
2454.77/2460.72 c #Conflicts: 403000 | #Constraints: 21788
2454.77/2460.72 c #Conflicts: 404000 | #Constraints: 22788
2454.77/2460.72 c #Conflicts: 405000 | #Constraints: 23788
2454.77/2460.72 c #Conflicts: 406000 | #Constraints: 24788
2454.77/2460.72 c #Conflicts: 407000 | #Constraints: 25788
2454.77/2460.72 c INPROCESSING
2454.77/2460.72 c GARBAGE COLLECT
2454.77/2460.72 c #Conflicts: 408000 | #Constraints: 14195
2454.77/2460.72 c #Conflicts: 409000 | #Constraints: 15195
2454.77/2460.72 c #Conflicts: 410000 | #Constraints: 16195
2454.77/2460.72 c #Conflicts: 411000 | #Constraints: 17195
2454.77/2460.72 c #Conflicts: 412000 | #Constraints: 18195
2454.77/2460.72 c #Conflicts: 413000 | #Constraints: 19195
2454.77/2460.72 c #Conflicts: 414000 | #Constraints: 20195
2454.77/2460.72 c #Conflicts: 415000 | #Constraints: 21195
2454.77/2460.72 c #Conflicts: 416000 | #Constraints: 22195
2454.77/2460.72 c #Conflicts: 417000 | #Constraints: 23195
2454.77/2460.72 c #Conflicts: 418000 | #Constraints: 24195
2454.77/2460.72 c #Conflicts: 419000 | #Constraints: 25195
2454.77/2460.72 c #Conflicts: 420000 | #Constraints: 26195
2454.77/2460.72 c #Conflicts: 421000 | #Constraints: 27195
2454.77/2460.72 c #Conflicts: 422000 | #Constraints: 28195
2454.77/2460.72 c #Conflicts: 423000 | #Constraints: 29195
2454.77/2460.72 c #Conflicts: 424000 | #Constraints: 30195
2454.77/2460.72 c #Conflicts: 425000 | #Constraints: 31195
2454.77/2460.72 c #Conflicts: 426000 | #Constraints: 32195
2454.77/2460.72 c #Conflicts: 427000 | #Constraints: 33195
2454.77/2460.72 c #Conflicts: 428000 | #Constraints: 34195
2454.77/2460.72 c #Conflicts: 429000 | #Constraints: 35195
2454.77/2460.72 c #Conflicts: 430000 | #Constraints: 36195
2454.77/2460.72 c #Conflicts: 431000 | #Constraints: 37195
2454.77/2460.72 c #Conflicts: 432000 | #Constraints: 38195
2454.77/2460.72 c #Conflicts: 433000 | #Constraints: 39195
2454.77/2460.72 c #Conflicts: 434000 | #Constraints: 40195
2454.77/2460.72 c #Conflicts: 435000 | #Constraints: 41195
2454.77/2460.72 c #Conflicts: 436000 | #Constraints: 42195
2454.77/2460.72 c #Conflicts: 437000 | #Constraints: 43195
2454.77/2460.72 c #Conflicts: 438000 | #Constraints: 44195
2454.77/2460.72 c #Conflicts: 439000 | #Constraints: 45195
2454.77/2460.72 c #Conflicts: 440000 | #Constraints: 46195
2454.77/2460.72 c #Conflicts: 441000 | #Constraints: 47195
2454.77/2460.72 c #Conflicts: 442000 | #Constraints: 48195
2454.77/2460.72 c #Conflicts: 443000 | #Constraints: 49195
2454.77/2460.72 c #Conflicts: 444000 | #Constraints: 50195
2454.77/2460.72 c #Conflicts: 445000 | #Constraints: 51195
2454.77/2460.72 c #Conflicts: 446000 | #Constraints: 52195
2454.77/2460.72 c #Conflicts: 447000 | #Constraints: 53195
2454.77/2460.72 c #Conflicts: 448000 | #Constraints: 54195
2454.77/2460.72 c #Conflicts: 449000 | #Constraints: 55195
2454.77/2460.72 c #Conflicts: 450000 | #Constraints: 56195
2454.77/2460.72 c #Conflicts: 451000 | #Constraints: 57195
2454.77/2460.72 c #Conflicts: 452000 | #Constraints: 58195
3600.04/3608.90 c #Conflicts: 453000 | #Constraints: 59195
3600.04/3608.90 c #Conflicts: 454000 | #Constraints: 60195
3600.04/3608.90 c #Conflicts: 455000 | #Constraints: 61195
3600.04/3608.90 c #Conflicts: 456000 | #Constraints: 62195
3600.04/3608.90 c #Conflicts: 457000 | #Constraints: 63195
3600.04/3608.90 c #Conflicts: 458000 | #Constraints: 64195
3600.04/3608.90 c #Conflicts: 459000 | #Constraints: 65195
3600.04/3608.90 c #Conflicts: 460000 | #Constraints: 66195
3600.04/3608.90 c #Conflicts: 461000 | #Constraints: 67195
3600.04/3608.90 c #Conflicts: 462000 | #Constraints: 68195
3600.04/3608.90 c #Conflicts: 463000 | #Constraints: 69195
3600.04/3608.90 c #Conflicts: 464000 | #Constraints: 70195
3600.04/3608.90 c #Conflicts: 465000 | #Constraints: 71195
3600.04/3608.90 c #Conflicts: 466000 | #Constraints: 72195
3600.04/3608.90 c #Conflicts: 467000 | #Constraints: 73195
3600.04/3608.90 c #Conflicts: 468000 | #Constraints: 74195
3600.04/3608.90 c #Conflicts: 469000 | #Constraints: 75195
3600.04/3608.90 c #Conflicts: 470000 | #Constraints: 76195
3600.04/3608.90 c INPROCESSING
3600.04/3608.90 c GARBAGE COLLECT
3600.04/3608.90 c #Conflicts: 471000 | #Constraints: 39195
3600.04/3608.90 c #Conflicts: 472000 | #Constraints: 40195
3600.04/3608.90 c #Conflicts: 473000 | #Constraints: 41195
3600.04/3608.90 c #Conflicts: 474000 | #Constraints: 42195
3600.04/3608.90 c #Conflicts: 475000 | #Constraints: 43195
3600.04/3608.90 c Program interrupted by user.
3600.04/3608.90 c cpu time 3591.02 s
3600.04/3608.90 c deterministic time 230404376639 2.30e+11
3600.04/3608.90 c optimization time 213.943 s
3600.04/3608.90 c total solve time 3377.07 s
3600.04/3608.90 c core-guided solve time 3377.07 s
3600.04/3608.90 c propagation time 3416.98 s
3600.04/3608.90 c conflict analysis time 161.698 s
3600.04/3608.90 c propagations 59708830
3600.04/3608.90 c resolve steps 3623576
3600.04/3608.90 c decisions 6318153
3600.04/3608.90 c conflicts 475371
3600.04/3608.90 c restarts 1022
3600.04/3608.90 c inprocessing phases 56
3600.04/3608.90 c input clauses 456
3600.04/3608.90 c input cardinalities 43
3600.04/3608.90 c input general constraints 33
3600.04/3608.90 c input average constraint length 8.95
3600.04/3608.90 c input average constraint degree 4.18
3600.04/3608.90 c learned clauses 183100
3600.04/3608.90 c learned cardinalities 1846
3600.04/3608.90 c learned general constraints 290425
3600.04/3608.90 c learned average constraint length 139.98
3600.04/3608.90 c learned average constraint degree 69984.42
3600.04/3608.90 c watched constraints 273945
3600.04/3608.90 c counting constraints 16513
3600.04/3608.90 c gcd simplifications 1966
3600.04/3608.90 c detected cardinalities 67
3600.04/3608.90 c weakened non-implied lits 14267157
3600.04/3608.90 c weakened non-implying lits 11215
3600.04/3608.90 c original variables 1056
3600.04/3608.90 c clausal propagations 11415025
3600.04/3608.90 c cardinality propagations 9375999
3600.04/3608.90 c watched propagations 15310102
3600.04/3608.90 c counting propagations 22943941
3600.04/3608.90 c watch lookups 67453623711
3600.04/3608.90 c watch backjump lookups 65404910376
3600.04/3608.90 c watch checks 90560344525
3600.04/3608.90 c propagation checks 6682156997
3600.04/3608.90 c constraint additions 170811929
3600.04/3608.90 c trail pops 66502117
3600.04/3608.90 c formula constraints 488
3600.04/3608.90 c learned constraints 475371
3600.04/3608.90 c bound constraints 2
3600.04/3608.90 c core-guided constraints 42
3600.04/3608.90 c encountered formula constraints 2711396
3600.04/3608.90 c encountered learned constraints 1378465
3600.04/3608.90 c encountered bound constraints 0
3600.04/3608.90 c encountered core-guided constraints 9086
3600.04/3608.90 c LP total time 0 s
3600.04/3608.90 c LP solve time 0 s
3600.04/3608.90 c LP constraints added 0
3600.04/3608.90 c LP constraints removed 0
3600.04/3608.90 c LP pivots internal 0
3600.04/3608.90 c LP pivots root 0
3600.04/3608.90 c LP calls 0
3600.04/3608.90 c LP optimalities 0
3600.04/3608.90 c LP no pivot count 0
3600.04/3608.90 c LP infeasibilities 0
3600.04/3608.90 c LP valid Farkas constraints 0
3600.04/3608.90 c LP learned Farkas constraints 0
3600.04/3608.90 c LP basis resets 0
3600.04/3608.90 c LP cycling count 0
3600.04/3608.90 c LP singular count 0
3600.04/3608.90 c LP no primal count 0
3600.04/3608.90 c LP no farkas count 0
3600.04/3608.90 c LP other issue count 0
3600.04/3608.90 c LP Gomory cuts 0
3600.04/3608.90 c LP learned cuts 0
3600.04/3608.90 c LP deleted cuts 0
3600.04/3608.90 c LP encountered Gomory constraints 0
3600.04/3608.90 c LP encountered Farkas constraints 0
3600.04/3608.90 c LP encountered learned Farkas constraints 0
3600.04/3608.90 c CG auxiliary variables introduced 41
3600.04/3608.90 c CG solutions found 1
3600.04/3608.90 c CG cores constructed 1
3600.04/3608.90 c CG core cardinality constraints returned 0
3600.04/3608.90 c CG unit cores 0
3600.04/3608.90 c CG single cores 1
3600.04/3608.90 c CG blocks removed during cardinality reduction 0
3600.04/3608.90 c CG first core best 0
3600.04/3608.90 c CG decision core best 0
3600.04/3608.90 c CG core reduction tie 0
3600.04/3608.90 c CG core degree average 1.00
3600.04/3608.90 c CG core slack average 22.00
3600.04/3608.90 c CG exhausted 0
3600.04/3608.90 c CG exhaust time 0.277202 s
3600.04/3608.90 c CG trimmed 0
3600.04/3608.90 c CG trim time 6.5e-05 s
3600.04/3608.90 c CG minimized 0
3600.04/3608.90 c CG minimize time 0 s
3600.04/3608.90 c CG am1 prop time 0.001453 s
3600.04/3608.90 c CG # am1s reformulated 40
3600.04/3608.90 c CG lower bound derived from am1s 600
3600.04/3608.90 c CG # clausal cores 1
3600.04/3608.90 c CG # cardinality cores 0
3600.04/3608.90 c CG # pb cores 0
3600.04/3608.90 c CG # pb reforms 0
3600.04/3608.90 c CG # cores discarded because of pb reform 0
3600.04/3608.90 d LOWERBOUND -39
3600.04/3608.90 d NCORES 1
3600.04/3608.90 d NPBCORES 0
3600.04/3608.90 d NPBREFORM 0
3600.04/3608.90 d NTRIMMED 0
3600.04/3608.90 d NEXHAUSTED 0
3600.04/3608.90 d NAM1S 40
3600.04/3608.90 d AM1LB 600
3600.04/3608.90 o -28
3600.04/3608.90 s SATISFIABLE
3600.04/3608.90 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 (50807 MiB free)
memory of node 1: 64510 MiB (56470 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4458463-1721887956/watcher-4458463-1721887956 -o /tmp/evaluation-result-4458463-1721887956/solver-4458463-1721887956 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1721887939-273804 --watchdog 3760 pb-oll-rs HOME/instance-4458463-1721887956.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=273916, runsolver pid=273913
[startup+0.10009 s]*
/proc/loadavg: 2.15 1.42 1.87 9/246 273917
/proc/meminfo: memFree=109848444/131655788 swapFree=131070704/131071996
[pid=273916] ppid=273913 vsize=40488 memory=9852 CPUtime=0.1 cores=4,6
/proc/273916/stat : 273916 (pb-oll-rs) R 273913 273916 273793 0 -1 4194304 730 0 0 0 9 1 0 0 20 0 1 0 24784965 41459712 2463 134679101440 4194304 5384005 140733395556384 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 27369472 140733395563543 140733395563620 140733395563620 140733395570635 0
/proc/273916/statm: 10122 2463 1408 291 0 1656 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 40488 KiB
Current children cumulated memory: 9852 KiB
[startup+0.213027 s]*
/proc/loadavg: 2.15 1.42 1.87 5/246 273917
/proc/meminfo: memFree=109845784/131655788 swapFree=131070704/131071996
[pid=273916] ppid=273913 vsize=40748 memory=10076 CPUtime=0.21 cores=4,6
/proc/273916/stat : 273916 (pb-oll-rs) R 273913 273916 273793 0 -1 4194304 805 0 0 0 20 1 0 0 20 0 1 0 24784965 41725952 2519 134679101440 4194304 5384005 140733395556384 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 27369472 140733395563543 140733395563620 140733395563620 140733395570635 0
/proc/273916/statm: 10187 2519 1408 291 0 1721 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 40748 KiB
Current children cumulated memory: 10076 KiB
[startup+0.311968 s]*
/proc/loadavg: 2.15 1.42 1.87 5/246 273917
/proc/meminfo: memFree=109844972/131655788 swapFree=131070704/131071996
[pid=273916] ppid=273913 vsize=41144 memory=10600 CPUtime=0.31 cores=4,6
/proc/273916/stat : 273916 (pb-oll-rs) R 273913 273916 273793 0 -1 4194304 905 0 0 0 29 2 0 0 20 0 1 0 24784965 42131456 2650 134679101440 4194304 5384005 140733395556384 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 27369472 140733395563543 140733395563620 140733395563620 140733395570635 0
/proc/273916/statm: 10286 2650 1408 291 0 1820 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 41144 KiB
Current children cumulated memory: 10600 KiB
[startup+0.700297 s]
/proc/loadavg: 2.15 1.42 1.87 5/246 273917
/proc/meminfo: memFree=109844160/131655788 swapFree=131070704/131071996
[pid=273916] ppid=273913 vsize=41640 memory=11140 CPUtime=0.68 cores=4,6
/proc/273916/stat : 273916 (pb-oll-rs) R 273913 273916 273793 0 -1 4194304 1030 0 0 0 65 3 0 0 20 0 1 0 24784965 42639360 2785 134679101440 4194304 5384005 140733395556384 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 27369472 140733395563543 140733395563620 140733395563620 140733395570635 0
/proc/273916/statm: 10410 2785 1408 291 0 1944 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 41640 KiB
Current children cumulated memory: 11140 KiB
[startup+1.50027 s]
/proc/loadavg: 2.15 1.42 1.87 5/246 273917
/proc/meminfo: memFree=109840516/131655788 swapFree=131070704/131071996
[pid=273916] ppid=273913 vsize=43004 memory=14700 CPUtime=1.49 cores=4,6
/proc/273916/stat : 273916 (pb-oll-rs) R 273913 273916 273793 0 -1 4194304 1377 0 0 0 143 6 0 0 20 0 1 0 24784965 44036096 3675 134679101440 4194304 5384005 140733395556384 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 27369472 140733395563543 140733395563620 140733395563620 140733395570635 0
/proc/273916/statm: 10751 3675 1462 291 0 2285 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 43004 KiB
Current children cumulated memory: 14700 KiB
[startup+3.11256 s]
/proc/loadavg: 2.15 1.42 1.87 5/246 273917
/proc/meminfo: memFree=109834764/131655788 swapFree=131070704/131071996
[pid=273916] ppid=273913 vsize=44148 memory=15676 CPUtime=3.1 cores=4,6
/proc/273916/stat : 273916 (pb-oll-rs) R 273913 273916 273793 0 -1 4194304 1634 0 0 0 301 9 0 0 20 0 1 0 24784965 45207552 3919 134679101440 4194304 5384005 140733395556384 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 27369472 140733395563543 140733395563620 140733395563620 140733395570635 0
/proc/273916/statm: 11037 3919 1462 291 0 2571 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 44148 KiB
Current children cumulated memory: 15676 KiB
[startup+6.30027 s]
/proc/loadavg: 2.38 1.48 1.89 5/246 273917
/proc/meminfo: memFree=109825592/131655788 swapFree=131070704/131071996
[pid=273916] ppid=273913 vsize=47992 memory=17448 CPUtime=6.28 cores=4,6
/proc/273916/stat : 273916 (pb-oll-rs) R 273913 273916 273793 0 -1 4194304 2047 0 0 0 614 14 0 0 20 0 1 0 24784965 49143808 4362 134679101440 4194304 5384005 140733395556384 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 27369472 140733395563543 140733395563620 140733395563620 140733395570635 0
/proc/273916/statm: 11998 4362 1462 291 0 3532 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 47992 KiB
Current children cumulated memory: 17448 KiB
[startup+12.7003 s]
/proc/loadavg: 2.51 1.52 1.90 5/246 273918
/proc/meminfo: memFree=109820228/131655788 swapFree=131070704/131071996
[pid=273916] ppid=273913 vsize=49956 memory=20580 CPUtime=12.66 cores=4,6
/proc/273916/stat : 273916 (pb-oll-rs) R 273913 273916 273793 0 -1 4194304 2858 0 0 0 1241 25 0 0 20 0 1 0 24784965 51154944 5145 134679101440 4194304 5384005 140733395556384 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 27369472 140733395563543 140733395563620 140733395563620 140733395570635 0
/proc/273916/statm: 12489 5145 1462 291 0 4023 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 49956 KiB
Current children cumulated memory: 20580 KiB
[startup+25.5003 s]
/proc/loadavg: 2.84 1.65 1.93 5/246 273920
/proc/meminfo: memFree=109807072/131655788 swapFree=131070704/131071996
[pid=273916] ppid=273913 vsize=56588 memory=24040 CPUtime=25.42 cores=4,6
/proc/273916/stat : 273916 (pb-oll-rs) R 273913 273916 273793 0 -1 4194304 3706 0 0 0 2501 41 0 0 20 0 1 0 24784965 57946112 6010 134679101440 4194304 5384005 140733395556384 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 27369472 140733395563543 140733395563620 140733395563620 140733395570635 0
/proc/273916/statm: 14147 6010 1462 291 0 5681 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 56588 KiB
Current children cumulated memory: 24040 KiB
[startup+51.1128 s]
/proc/loadavg: 3.24 1.84 1.99 5/246 273924
/proc/meminfo: memFree=109778248/131655788 swapFree=131070704/131071996
[pid=273916] ppid=273913 vsize=58348 memory=28532 CPUtime=50.97 cores=4,6
/proc/273916/stat : 273916 (pb-oll-rs) R 273913 273916 273793 0 -1 4194304 4424 0 0 0 5029 68 0 0 20 0 1 0 24784965 59748352 7133 134679101440 4194304 5384005 140733395556384 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 27369472 140733395563543 140733395563620 140733395563620 140733395570635 0
/proc/273916/statm: 14587 7133 1462 291 0 6121 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 58348 KiB
Current children cumulated memory: 28532 KiB
[startup+102.3 s]
/proc/loadavg: 3.71 2.19 2.10 5/246 273935
/proc/meminfo: memFree=109752448/131655788 swapFree=131070704/131071996
[pid=273916] ppid=273913 vsize=68500 memory=32172 CPUtime=102.04 cores=4,6
/proc/273916/stat : 273916 (pb-oll-rs) R 273913 273916 273793 0 -1 4194304 5462 0 0 0 10085 119 0 0 20 0 1 0 24784965 70144000 8043 134679101440 4194304 5384005 140733395556384 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 27369472 140733395563543 140733395563620 140733395563620 140733395570635 0
/proc/273916/statm: 17125 8043 1462 291 0 8659 0
Current children cumulated CPU time: 102.04 s
Current children cumulated vsize: 68500 KiB
Current children cumulated memory: 32172 KiB
[startup+162.3 s]
/proc/loadavg: 4.00 2.55 2.23 5/246 273945
/proc/meminfo: memFree=109725256/131655788 swapFree=131070704/131071996
[pid=273916] ppid=273913 vsize=73188 memory=39132 CPUtime=161.89 cores=4,6
/proc/273916/stat : 273916 (pb-oll-rs) R 273913 273916 273793 0 -1 4194304 6848 0 0 0 16006 183 0 0 20 0 1 0 24784965 74944512 9783 134679101440 4194304 5384005 140733395556384 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 27369472 140733395563543 140733395563620 140733395563620 140733395570635 0
/proc/273916/statm: 18297 9783 1462 291 0 9831 0
Current children cumulated CPU time: 161.89 s
Current children cumulated vsize: 73188 KiB
Current children cumulated memory: 39132 KiB
[startup+222.3 s]
/proc/loadavg: 4.05 2.83 2.35 5/243 273955
/proc/meminfo: memFree=109687476/131655788 swapFree=131070704/131071996
[pid=273916] ppid=273913 vsize=76908 memory=44648 CPUtime=221.74 cores=4,6
/proc/273916/stat : 273916 (pb-oll-rs) R 273913 273916 273793 0 -1 4194304 7862 0 0 0 21938 236 0 0 20 0 1 0 24784965 78753792 11162 134679101440 4194304 5384005 140733395556384 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 27369472 140733395563543 140733395563620 140733395563620 140733395570635 0
/proc/273916/statm: 19227 11162 1462 291 0 10761 0
Current children cumulated CPU time: 221.74 s
Current children cumulated vsize: 76908 KiB
Current children cumulated memory: 44648 KiB
[startup+282.3 s]
/proc/loadavg: 4.09 3.06 2.46 5/243 273966
/proc/meminfo: memFree=109669812/131655788 swapFree=131070704/131071996
[pid=273916] ppid=273913 vsize=92580 memory=54128 CPUtime=281.59 cores=4,6
/proc/273916/stat : 273916 (pb-oll-rs) R 273913 273916 273793 0 -1 4194304 9779 0 0 0 27877 282 0 0 20 0 1 0 24784965 94801920 13532 134679101440 4194304 5384005 140733395556384 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 27369472 140733395563543 140733395563620 140733395563620 140733395570635 0
/proc/273916/statm: 23145 13532 1462 291 0 14679 0
Current children cumulated CPU time: 281.59 s
Current children cumulated vsize: 92580 KiB
Current children cumulated memory: 54128 KiB
[startup+342.3 s]
/proc/loadavg: 4.09 3.25 2.57 5/241 273976
/proc/meminfo: memFree=109656024/131655788 swapFree=131070704/131071996
[pid=273916] ppid=273913 vsize=95308 memory=57712 CPUtime=341.42 cores=4,6
/proc/273916/stat : 273916 (pb-oll-rs) R 273913 273916 273793 0 -1 4194304 10286 0 0 0 33820 322 0 0 20 0 1 0 24784965 97595392 14428 134679101440 4194304 5384005 140733395556384 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 27369472 140733395563543 140733395563620 140733395563620 140733395570635 0
/proc/273916/statm: 23827 14428 1462 291 0 15361 0
Current children cumulated CPU time: 341.42 s
Current children cumulated vsize: 95308 KiB
Current children cumulated memory: 57712 KiB
[startup+402.3 s]
/proc/loadavg: 4.08 3.41 2.67 5/241 273986
/proc/meminfo: memFree=109640128/131655788 swapFree=131070704/131071996
[pid=273916] ppid=273913 vsize=99436 memory=63684 CPUtime=401.28 cores=4,6
/proc/273916/stat : 273916 (pb-oll-rs) R 273913 273916 273793 0 -1 4194304 10967 0 0 0 39777 351 0 0 20 0 1 0 24784965 101822464 15921 134679101440 4194304 5384005 140733395556384 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 27369472 140733395563543 140733395563620 140733395563620 140733395570635 0
/proc/273916/statm: 24859 15921 1462 291 0 16393 0
Current children cumulated CPU time: 401.28 s
Current children cumulated vsize: 99436 KiB
Current children cumulated memory: 63684 KiB
[startup+462.3 s]
/proc/loadavg: 4.11 3.55 2.76 5/241 273997
/proc/meminfo: memFree=109614252/131655788 swapFree=131070704/131071996
[pid=273916] ppid=273913 vsize=100940 memory=64904 CPUtime=461.14 cores=4,6
/proc/273916/stat : 273916 (pb-oll-rs) R 273913 273916 273793 0 -1 4194304 11329 0 0 0 45745 369 0 0 20 0 1 0 24784965 103362560 16226 134679101440 4194304 5384005 140733395556384 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 27369472 140733395563543 140733395563620 140733395563620 140733395570635 0
/proc/273916/statm: 25235 16226 1462 291 0 16769 0
################
# More data... #
################
Current children cumulated memory: 172116 KiB
[startup+2922.3 s]
/proc/loadavg: 4.11 4.14 4.09 5/245 275669
/proc/meminfo: memFree=109028916/131655788 swapFree=131070704/131071996
[pid=273916] ppid=273913 vsize=214292 memory=172852 CPUtime=2915.28 cores=4,6
/proc/273916/stat : 273916 (pb-oll-rs) R 273913 273916 273793 0 -1 4194304 26478 0 0 0 290698 830 0 0 20 0 1 0 24784965 219435008 43213 134679101440 4194304 5384005 140733395556384 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 27369472 140733395563543 140733395563620 140733395563620 140733395570635 0
/proc/273916/statm: 53573 43213 1462 291 0 45107 0
Current children cumulated CPU time: 2915.28 s
Current children cumulated vsize: 214292 KiB
Current children cumulated memory: 172852 KiB
[startup+2982.3 s]
/proc/loadavg: 4.08 4.13 4.09 5/244 275680
/proc/meminfo: memFree=109009412/131655788 swapFree=131070704/131071996
[pid=273916] ppid=273913 vsize=215704 memory=175652 CPUtime=2975.15 cores=4,6
/proc/273916/stat : 273916 (pb-oll-rs) R 273913 273916 273793 0 -1 4194304 26859 0 0 0 296679 836 0 0 20 0 1 0 24784965 220880896 43913 134679101440 4194304 5384005 140733395556384 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 27369472 140733395563543 140733395563620 140733395563620 140733395570635 0
/proc/273916/statm: 53926 43913 1462 291 0 45460 0
Current children cumulated CPU time: 2975.15 s
Current children cumulated vsize: 215704 KiB
Current children cumulated memory: 175652 KiB
[startup+3042.3 s]
/proc/loadavg: 4.20 4.16 4.10 5/244 275690
/proc/meminfo: memFree=108975512/131655788 swapFree=131070704/131071996
[pid=273916] ppid=273913 vsize=216856 memory=178464 CPUtime=3035 cores=4,6
/proc/273916/stat : 273916 (pb-oll-rs) R 273913 273916 273793 0 -1 4194304 27173 0 0 0 302660 840 0 0 20 0 1 0 24784965 222060544 44616 134679101440 4194304 5384005 140733395556384 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 27369472 140733395563543 140733395563620 140733395563620 140733395570635 0
/proc/273916/statm: 54214 44616 1462 291 0 45748 0
Current children cumulated CPU time: 3035 s
Current children cumulated vsize: 216856 KiB
Current children cumulated memory: 178464 KiB
[startup+3102.3 s]
/proc/loadavg: 4.12 4.14 4.09 5/243 275701
/proc/meminfo: memFree=108953888/131655788 swapFree=131070704/131071996
[pid=273916] ppid=273913 vsize=218648 memory=179752 CPUtime=3094.83 cores=4,6
/proc/273916/stat : 273916 (pb-oll-rs) R 273913 273916 273793 0 -1 4194304 27553 0 0 0 308636 847 0 0 20 0 1 0 24784965 223895552 44938 134679101440 4194304 5384005 140733395556384 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 27369472 140733395563543 140733395563620 140733395563620 140733395570635 0
/proc/273916/statm: 54662 44938 1462 291 0 46196 0
Current children cumulated CPU time: 3094.83 s
Current children cumulated vsize: 218648 KiB
Current children cumulated memory: 179752 KiB
[startup+3162.3 s]
/proc/loadavg: 4.21 4.16 4.10 5/243 275711
/proc/meminfo: memFree=108941620/131655788 swapFree=131070704/131071996
[pid=273916] ppid=273913 vsize=269888 memory=182996 CPUtime=3154.65 cores=4,6
/proc/273916/stat : 273916 (pb-oll-rs) R 273913 273916 273793 0 -1 4194304 27909 0 0 0 314610 855 0 0 20 0 1 0 24784965 276365312 45749 134679101440 4194304 5384005 140733395556384 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 27369472 140733395563543 140733395563620 140733395563620 140733395570635 0
/proc/273916/statm: 67472 45749 1462 291 0 59006 0
Current children cumulated CPU time: 3154.65 s
Current children cumulated vsize: 269888 KiB
Current children cumulated memory: 182996 KiB
[startup+3222.3 s]
/proc/loadavg: 4.14 4.15 4.09 5/241 275721
/proc/meminfo: memFree=108933992/131655788 swapFree=131070704/131071996
[pid=273916] ppid=273913 vsize=270400 memory=183252 CPUtime=3214.46 cores=4,6
/proc/273916/stat : 273916 (pb-oll-rs) R 273913 273916 273793 0 -1 4194304 28083 0 0 0 320585 861 0 0 20 0 1 0 24784965 276889600 45813 134679101440 4194304 5384005 140733395556384 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 27369472 140733395563543 140733395563620 140733395563620 140733395570635 0
/proc/273916/statm: 67600 45813 1462 291 0 59134 0
Current children cumulated CPU time: 3214.46 s
Current children cumulated vsize: 270400 KiB
Current children cumulated memory: 183252 KiB
[startup+3282.3 s]
/proc/loadavg: 4.10 4.13 4.09 5/242 275733
/proc/meminfo: memFree=108907676/131655788 swapFree=131070704/131071996
[pid=273916] ppid=273913 vsize=273216 memory=188940 CPUtime=3274.29 cores=4,6
/proc/273916/stat : 273916 (pb-oll-rs) R 273913 273916 273793 0 -1 4194304 28639 0 0 0 326561 868 0 0 20 0 1 0 24784965 279773184 47235 134679101440 4194304 5384005 140733395556384 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 27369472 140733395563543 140733395563620 140733395563620 140733395570635 0
/proc/273916/statm: 68304 47235 1462 291 0 59838 0
Current children cumulated CPU time: 3274.29 s
Current children cumulated vsize: 273216 KiB
Current children cumulated memory: 188940 KiB
[startup+3342.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/242 275743
/proc/meminfo: memFree=108898036/131655788 swapFree=131070704/131071996
[pid=273916] ppid=273913 vsize=275520 memory=192420 CPUtime=3334.1 cores=4,6
/proc/273916/stat : 273916 (pb-oll-rs) R 273913 273916 273793 0 -1 4194304 29043 0 0 0 332536 874 0 0 20 0 1 0 24784965 282132480 48105 134679101440 4194304 5384005 140733395556384 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 27369472 140733395563543 140733395563620 140733395563620 140733395570635 0
/proc/273916/statm: 68880 48105 1462 291 0 60414 0
Current children cumulated CPU time: 3334.1 s
Current children cumulated vsize: 275520 KiB
Current children cumulated memory: 192420 KiB
[startup+3402.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/242 275753
/proc/meminfo: memFree=108876676/131655788 swapFree=131070704/131071996
[pid=273916] ppid=273913 vsize=276436 memory=199196 CPUtime=3393.91 cores=4,6
/proc/273916/stat : 273916 (pb-oll-rs) R 273913 273916 273793 0 -1 4194304 29505 0 0 0 338512 879 0 0 20 0 1 0 24784965 283070464 49799 134679101440 4194304 5384005 140733395556384 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 27369472 140733395563543 140733395563620 140733395563620 140733395570635 0
/proc/273916/statm: 69109 49799 1462 291 0 60643 0
Current children cumulated CPU time: 3393.91 s
Current children cumulated vsize: 276436 KiB
Current children cumulated memory: 199196 KiB
[startup+3462.3 s]
/proc/loadavg: 4.07 4.11 4.09 5/242 275763
/proc/meminfo: memFree=108861808/131655788 swapFree=131070704/131071996
[pid=273916] ppid=273913 vsize=276436 memory=199196 CPUtime=3453.77 cores=4,6
/proc/273916/stat : 273916 (pb-oll-rs) R 273913 273916 273793 0 -1 4194304 29577 0 0 0 344490 887 0 0 20 0 1 0 24784965 283070464 49799 134679101440 4194304 5384005 140733395556384 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 27369472 140733395563543 140733395563620 140733395563620 140733395570635 0
/proc/273916/statm: 69109 49799 1462 291 0 60643 0
Current children cumulated CPU time: 3453.77 s
Current children cumulated vsize: 276436 KiB
Current children cumulated memory: 199196 KiB
[startup+3522.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/245 275779
/proc/meminfo: memFree=108845928/131655788 swapFree=131070704/131071996
[pid=273916] ppid=273913 vsize=276436 memory=202136 CPUtime=3513.63 cores=4,6
/proc/273916/stat : 273916 (pb-oll-rs) R 273913 273916 273793 0 -1 4194304 29646 0 0 0 350470 893 0 0 20 0 1 0 24784965 283070464 50534 134679101440 4194304 5384005 140733395556384 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 27369472 140733395563543 140733395563620 140733395563620 140733395570635 0
/proc/273916/statm: 69109 50534 1462 291 0 60643 0
Current children cumulated CPU time: 3513.63 s
Current children cumulated vsize: 276436 KiB
Current children cumulated memory: 202136 KiB
[startup+3582.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/244 275790
/proc/meminfo: memFree=108814124/131655788 swapFree=131070704/131071996
[pid=273916] ppid=273913 vsize=276436 memory=202140 CPUtime=3573.49 cores=4,6
/proc/273916/stat : 273916 (pb-oll-rs) R 273913 273916 273793 0 -1 4194304 29717 0 0 0 356449 900 0 0 20 0 1 0 24784965 283070464 50535 134679101440 4194304 5384005 140733395556384 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 27369472 140733395563543 140733395563620 140733395563620 140733395570635 0
/proc/273916/statm: 69109 50535 1462 291 0 60643 0
Current children cumulated CPU time: 3573.49 s
Current children cumulated vsize: 276436 KiB
Current children cumulated memory: 202140 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3608.9 s]
/proc/loadavg: 4.05 4.10 4.09 5/244 275886
/proc/meminfo: memFree=109318196/131655788 swapFree=131070704/131071996
[pid=273916] ppid=273913 vsize=276436 memory=202144 CPUtime=3600.04 cores=4,6
/proc/273916/stat : 273916 (pb-oll-rs) R 273913 273916 273793 0 -1 4194304 29788 0 0 0 359101 903 0 0 20 0 1 0 24784965 283070464 50536 134679101440 4194304 5384005 140733395556384 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 27369472 140733395563543 140733395563620 140733395563620 140733395570635 0
/proc/273916/statm: 69109 50536 1462 291 0 60643 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 276436 KiB
Current children cumulated memory: 202144 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3608.91 s]
# the end of solver process 273916 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3591.02 s, system=9.03439 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3608.9 s]
/proc/loadavg: 4.05 4.10 4.09 5/244 275886
/proc/meminfo: memFree=109318196/131655788 swapFree=131070704/131071996
[pid=273916] ppid=273913 vsize=276436 memory=202144 CPUtime=3600.04 cores=4,6
/proc/273916/stat : 273916 (pb-oll-rs) R 273913 273916 273793 0 -1 4194304 29788 0 0 0 359101 903 0 0 20 0 1 0 24784965 283070464 50536 134679101440 4194304 5384005 140733395556384 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 27369472 140733395563543 140733395563620 140733395563620 140733395570635 0
/proc/273916/statm: 69109 50536 1462 291 0 60643 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 276436 KiB
Current children cumulated memory: 202144 KiB
Child status: 0
Real time (s): 3608.91
CPU time (s): 3600.05
CPU user time (s): 3591.02
CPU system time (s): 9.03439
CPU usage (%): 99.7545
Max. virtual memory (cumulated for all children) (KiB): 277068
Max. memory (cumulated for all children) (KiB): 202144
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3591.02
system time used= 9.03439
maximum resident set size= 202144
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 29805
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= 70
involuntary context switches= 4103
# summary of solver processes directly reported to runsolver:
# pid: 273916
# total CPU time (s): 3600.05
# total CPU user time (s): 3591.02
# total CPU system time (s): 9.03439
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.7858 second user time and 33.9048 second system time
The end
Begin job on nodeC008 at 2024-07-25 08:12:36
IDJOB=4458463
IDBENCH=177485
IDSOLVER=3067
FILE ID=nodeC008/4458463-1721887956
RUNJOBID= nodeC008-1721887939-273804
SLURM_JOB_ID= 8089302
Free space on /tmp= 723764 MiB
SOLVER NAME= pb-oll-rs 2024-07-02
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-4458463-1721887956/watcher-4458463-1721887956 -o /tmp/evaluation-result-4458463-1721887956/solver-4458463-1721887956 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1721887939-273804 --watchdog 3760 pb-oll-rs HOME/instance-4458463-1721887956.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 678da6339402b89815c46f6042afd950
RANDOM SEED=25764228
nodeC008.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 : 3661.146
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 : 6983.19
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 : 3668.853
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.33
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.318
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 : 6983.19
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.216
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.33
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 : 3491.643
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 : 6983.19
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 : 3669.087
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.33
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.128
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 : 6983.19
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.408
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.33
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 109853504 kB
MemAvailable: 129797568 kB
Buffers: 308824 kB
Cached: 20396520 kB
SwapCached: 732 kB
Active: 2740992 kB
Inactive: 18355496 kB
Active(anon): 1620 kB
Inactive(anon): 443404 kB
Active(file): 2739372 kB
Inactive(file): 17912092 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131070704 kB
Dirty: 8856 kB
Writeback: 0 kB
AnonPages: 390500 kB
Mapped: 123708 kB
Shmem: 53860 kB
KReclaimable: 265260 kB
Slab: 385280 kB
SReclaimable: 265260 kB
SUnreclaim: 120020 kB
KernelStack: 3984 kB
PageTables: 9960 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 689904 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 19456 kB
HardwareCorrupted: 0 kB
AnonHugePages: 217088 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: 400200 kB
DirectMap2M: 49836032 kB
DirectMap1G: 85983232 kB
Free space on /tmp at the end= 723752 MiB
End job on nodeC008 at 2024-07-25 09:12:45