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