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