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