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