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