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