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