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