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