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