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