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