(1,23) (2,29) (3,19) (4,21) (5,15) (6,20) (7,11) (8,24) (9,28) (10,14) (12,17) (13,18) (16,25) (22,30) (26,27) 
nodes: 199190  conflicts: 8  modelTime: 1199  solveTime: 1024794  totalTime: 1026036  modelSize: 72268  readTime: 43 size: 15