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