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