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