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