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