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