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