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