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