(1,4) (2,29) (3,18) (5,13) (7,10) (9,26) (11,20) (12,14) (15,24) (16,17) (19,25) (23,28) (27,30) 
nodes: 719  conflicts: 64  modelTime: 986  solveTime: 3145  totalTime: 4143  modelSize: 72266  readTime: 12 size: 13