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