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