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