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