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