About primal results of 200
03:43 03:19 92:40 11:36 04:26 06:43 05:12 08:24 11:18 06:20 19:35 10:33 10:18 05:03 06:07 04:10 06:27 06:57 05:23 04:26 07:32 04:45 08:14 05:32 04:38 10:58 07:13 13:10 09:06 05:59 06:34 06:48 08:20 06:57 11:36 09:16 10:23 08:32 08:46 11:32 13:22 19:05 09:01 07:52 07:50 06:25