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