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