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