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