(1,4) (3,23) (5,21) (6,22) (7,20) (8,18) (9,26) (10,13) (11,25) (12,28) (14,19) (15,16) (17,24) (27,30) 
nodes: 151700  conflicts: 28  modelTime: 934  solveTime: 433823  totalTime: 434774  modelSize: 72265  readTime: 17 size: 14