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