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