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