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