(1,26) (2,19) (3,7) (4,16) (5,11) (6,27) (8,15) (9,17) (10,22) (12,29) (13,24) (14,20) (18,21) (23,25) (28,30) 
nodes: 35153  conflicts: 5  modelTime: 1703  solveTime: 286594  totalTime: 288310  modelSize: 72264  readTime: 13 size: 15