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