About primal results of 200
10:20 01:00 02:17 02:12 44:25 02:47 04:59 01:47 02:25 03:00 02:08 02:12 07:26 05:03 05:42 05:09 03:30 04:01 09:04 10:17 03:54 04:41 01:10 02:40 05:18 05:48 04:54 02:48 03:07 02:51 01:55 02:38 07:14 07:59 08:57 02:41 11:54 09:36 02:20 04:03 05:16 02:36 04:47 03:17 05:46 13:30