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