(1,14) (2,10) (3,12) (5,6) (7,15) (8,11) (9,24) (13,16) (17,22) (18,21) (19,28) (20,29) (23,30) (25,26) 
nodes: 2239  conflicts: 41  modelTime: 1024  solveTime: 10204  totalTime: 11239  modelSize: 72262  readTime: 11 size: 14