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