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