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