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