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