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