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