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