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