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