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