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