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