Version: 1.13 
 _ data/zoo_json_cond_enf2/Kdl_4.json -f output/flip/data/zoo_json_cond_enf2/Kdl_4.json.subpaths
Flip subpaths generated in 1.661 seconds!
real 2.09
user 4.43
sys 0.25
<logging.Logger object at 0x7fb4187f77d0>
W1217 12:35:22.369 2334567 flip.py:156] subpath ['3261', '3581', '3761', '3767', '3016', '3253', '3254', '3650', '3670', '3539', '3706', '3757', '3758', '3048', '3049', '3046', '3047', '3125', '3124', '3119', '3116', '3122', '3556', '3300', '3444', '3440', '3442', '3441', '3436', '3435', '3438', '3437', '4336', '3840', '3782', '4332', '3825', '3826', '3910', '4311', '4301', '4308', '4302', '4303', '4290', '4435', '3841', '4169', '4170', '3842', '4202', '4203', '4205', '4204', '4412', '4411', '4410', '4003', '4004', '3997', '4001', '4475', '4000', '3822', '3821', '3818', '3934', '3938', '3937', '4273', '3931', '3932', '3970', '4178', '4181', '4276', '4275', '4010', '4012', '4282', '4009', '4006', '4514', '4513', '3802', '3803', '3800', '3801', '3879', '3878', '3873', '3870', '3876', '4310', '4054', '4198', '4194', '4196', '4195', '4190', '4189', '4192', '4191', '5090', '4594', '4536', '5086', '4579', '4580', '4664'] is superfluous, discarding it
W1217 12:35:22.369 2334567 flip.py:156] subpath ['3261', '3581', '3761', '3767', '3016', '3253', '3254', '3650', '3670', '3539', '3706', '3757', '3758', '3048', '3049', '3046', '3047', '3125', '3124', '3119', '3116', '3122', '3556', '3300', '3444', '3440', '3442', '3441', '3436', '3435', '3438', '3437', '4336', '3840', '3782', '4332', '3825', '3826', '3910', '4311', '4301', '4308', '4302', '4303', '4290', '4435', '3841', '4169', '4170', '3842', '4202', '4203', '4205', '4204', '4412', '4411', '4410', '4003', '4004', '3997', '4001', '4475', '4000', '3822', '3821', '3818', '3934', '3938', '3937', '4273', '3931', '3932', '3970', '4178', '4181', '4276', '4275', '4010', '4012', '4282', '4009', '4006', '4514', '4513', '3802', '3803', '3800', '3801', '3879', '3878', '3873', '3870', '3876', '4310', '4054', '4198', '4507', '4522', '4523', '4508', '4478', '4191', '5090', '4594', '4536', '5086', '4579', '4580', '4664'] is superfluous, discarding it
W1217 12:35:22.369 2334567 flip.py:156] subpath ['3261', '3581', '3761', '3767', '3016', '3253', '3254', '3650', '3670', '3539', '3706', '3757', '3758', '3048', '3049', '3046', '3047', '3125', '3124', '3119', '3116', '3122', '3556', '3300', '3444', '3440', '3442', '3441', '3436', '3435', '3438', '3437', '4336', '3840', '3782', '4332', '3825', '3826', '3910', '4311', '4301', '4308', '4302', '4303', '4290', '4435', '3841', '4169', '4170', '3842', '4202', '4203', '4205', '4204', '4412', '4411', '4410', '4003', '4004', '3997', '4001', '4475', '4000', '3822', '3821', '3818', '3934', '3938', '3937', '4273', '3931', '3932', '3970', '4178', '4181', '4276', '4275', '4010', '4012', '4282', '4009', '4006', '4514', '4513', '3802', '3981', '3809', '4394', '4079', '4086', '4084', '4091', '4228', '4315', '4316', '3920', '4197', '4198', '4194', '4196', '4195', '4190', '4189', '4192', '4191', '5090', '4594', '4536', '5086', '4579', '4580', '4664'] is superfluous, discarding it
W1217 12:35:22.369 2334567 flip.py:156] subpath ['3261', '3581', '3761', '3767', '3016', '3253', '3254', '3650', '3670', '3539', '3706', '3757', '3758', '3048', '3049', '3046', '3047', '3125', '3124', '3119', '3116', '3122', '3556', '3300', '3444', '3440', '3442', '3441', '3436', '3435', '3438', '3437', '4336', '3840', '3782', '4332', '3825', '3826', '3910', '4311', '4301', '4308', '4302', '4303', '4290', '4435', '3841', '4169', '4170', '3842', '4202', '4203', '4205', '4204', '4412', '4411', '4410', '4003', '4004', '3997', '4001', '4475', '4000', '3822', '3821', '3818', '3934', '3938', '3937', '4273', '3931', '3932', '3970', '4178', '4181', '4276', '4275', '4010', '4012', '4282', '4009', '4006', '4514', '4513', '3802', '3981', '3809', '4394', '4079', '4086', '4084', '4091', '4228', '4315', '4316', '3920', '4197', '4198', '4507', '4522', '4523', '4508', '4478', '4191', '5090', '4594', '4536', '5086', '4579', '4580', '4664'] is superfluous, discarding it
W1217 12:35:22.369 2334567 flip.py:156] subpath ['3261', '3581', '3761', '3767', '3016', '3253', '3254', '3650', '3670', '3539', '3706', '3757', '3758', '3048', '3049', '3046', '3047', '3125', '3124', '3119', '3116', '3122', '3556', '3300', '3444', '3440', '3442', '3441', '3436', '3435', '3438', '3437', '4336', '4369', '4368', '3982', '3983', '3991', '3992', '4288', '3989', '3990', '3779', '3778', '4219', '4218', '4217', '4216', '4215', '4214', '4213', '4210', '4212', '4211', '3772', '3774', '4419', '4015', '4335', '4515', '4521', '3770', '4007', '4008', '4404', '4424', '4293', '4460', '4511', '4512', '3802', '3803', '3800', '3801', '3879', '3878', '3873', '3870', '3876', '4310', '4054', '4198', '4194', '4196', '4195', '4190', '4189', '4192', '4191', '5090', '4594', '4536', '5086', '4579', '4580', '4664'] is superfluous, discarding it
W1217 12:35:22.369 2334567 flip.py:156] subpath ['3261', '3581', '3761', '3767', '3016', '3253', '3254', '3650', '3670', '3539', '3706', '3757', '3758', '3048', '3049', '3046', '3047', '3125', '3124', '3119', '3116', '3122', '3556', '3300', '3444', '3440', '3442', '3441', '3436', '3435', '3438', '3437', '4336', '4369', '4368', '3982', '3983', '3991', '3992', '4288', '3989', '3990', '3779', '3778', '4219', '4218', '4217', '4216', '4215', '4214', '4213', '4210', '4212', '4211', '3772', '3774', '4419', '4015', '4335', '4515', '4521', '3770', '4007', '4008', '4404', '4424', '4293', '4460', '4511', '4512', '3802', '3803', '3800', '3801', '3879', '3878', '3873', '3870', '3876', '4310', '4054', '4198', '4507', '4522', '4523', '4508', '4478', '4191', '5090', '4594', '4536', '5086', '4579', '4580', '4664'] is superfluous, discarding it
W1217 12:35:22.370 2334567 flip.py:156] subpath ['3261', '3581', '3761', '3767', '3016', '3253', '3254', '3650', '3670', '3539', '3706', '3757', '3758', '3048', '3049', '3046', '3047', '3125', '3124', '3119', '3116', '3122', '3556', '3300', '3444', '3440', '3442', '3441', '3436', '3435', '3438', '3437', '4336', '4369', '4368', '3982', '3983', '3991', '3992', '4288', '3989', '3990', '3779', '3778', '4219', '4218', '4217', '4216', '4215', '4214', '4213', '4210', '4212', '4211', '3772', '3774', '4419', '4015', '4335', '4515', '4521', '3770', '4007', '4008', '4404', '4424', '4293', '4460', '4511', '4512', '3802', '3981', '3809', '4394', '4079', '4086', '4084', '4091', '4228', '4315', '4316', '3920', '4197', '4198', '4194', '4196', '4195', '4190', '4189', '4192', '4191', '5090', '4594', '4536', '5086', '4579', '4580', '4664'] is superfluous, discarding it
W1217 12:35:22.370 2334567 flip.py:156] subpath ['3261', '3581', '3761', '3767', '3016', '3253', '3254', '3650', '3670', '3539', '3706', '3757', '3758', '3048', '3049', '3046', '3047', '3125', '3124', '3119', '3116', '3122', '3556', '3300', '3444', '3440', '3442', '3441', '3436', '3435', '3438', '3437', '4336', '4369', '4368', '3982', '3983', '3991', '3992', '4288', '3989', '3990', '3779', '3778', '4219', '4218', '4217', '4216', '4215', '4214', '4213', '4210', '4212', '4211', '3772', '3774', '4419', '4015', '4335', '4515', '4521', '3770', '4007', '4008', '4404', '4424', '4293', '4460', '4511', '4512', '3802', '3981', '3809', '4394', '4079', '4086', '4084', '4091', '4228', '4315', '4316', '3920', '4197', '4198', '4507', '4522', '4523', '4508', '4478', '4191', '5090', '4594', '4536', '5086', '4579', '4580', '4664'] is superfluous, discarding it
W1217 12:35:22.370 2334567 flip.py:156] subpath ['3261', '3581', '3761', '3767', '3016', '3253', '3254', '3650', '3670', '3539', '3706', '3757', '3758', '3048', '3049', '3046', '3047', '3125', '3124', '3119', '3116', '3122', '3556', '3300', '3444', '3753', '3768', '3769', '3754', '3724', '3437', '4336', '3840', '3782', '4332', '3825', '3826', '3910', '4311', '4301', '4308', '4302', '4303', '4290', '4435', '3841', '4169', '4170', '3842', '4202', '4203', '4205', '4204', '4412', '4411', '4410', '4003', '4004', '3997', '4001', '4475', '4000', '3822', '3821', '3818', '3934', '3938', '3937', '4273', '3931', '3932', '3970', '4178', '4181', '4276', '4275', '4010', '4012', '4282', '4009', '4006', '4514', '4513', '3802', '3803', '3800', '3801', '3879', '3878', '3873', '3870', '3876', '4310', '4054', '4198', '4194', '4196', '4195', '4190', '4189', '4192', '4191', '5090', '4594', '4536', '5086', '4579', '4580', '4664'] is superfluous, discarding it
W1217 12:35:22.370 2334567 flip.py:156] subpath ['3261', '3581', '3761', '3767', '3016', '3253', '3254', '3650', '3670', '3539', '3706', '3757', '3758', '3048', '3049', '3046', '3047', '3125', '3124', '3119', '3116', '3122', '3556', '3300', '3444', '3753', '3768', '3769', '3754', '3724', '3437', '4336', '3840', '3782', '4332', '3825', '3826', '3910', '4311', '4301', '4308', '4302', '4303', '4290', '4435', '3841', '4169', '4170', '3842', '4202', '4203', '4205', '4204', '4412', '4411', '4410', '4003', '4004', '3997', '4001', '4475', '4000', '3822', '3821', '3818', '3934', '3938', '3937', '4273', '3931', '3932', '3970', '4178', '4181', '4276', '4275', '4010', '4012', '4282', '4009', '4006', '4514', '4513', '3802', '3803', '3800', '3801', '3879', '3878', '3873', '3870', '3876', '4310', '4054', '4198', '4507', '4522', '4523', '4508', '4478', '4191', '5090', '4594', '4536', '5086', '4579', '4580', '4664'] is superfluous, discarding it
W1217 12:35:22.370 2334567 flip.py:156] subpath ['3261', '3581', '3761', '3767', '3016', '3253', '3254', '3650', '3670', '3539', '3706', '3757', '3758', '3048', '3049', '3046', '3047', '3125', '3124', '3119', '3116', '3122', '3556', '3300', '3444', '3753', '3768', '3769', '3754', '3724', '3437', '4336', '3840', '3782', '4332', '3825', '3826', '3910', '4311', '4301', '4308', '4302', '4303', '4290', '4435', '3841', '4169', '4170', '3842', '4202', '4203', '4205', '4204', '4412', '4411', '4410', '4003', '4004', '3997', '4001', '4475', '4000', '3822', '3821', '3818', '3934', '3938', '3937', '4273', '3931', '3932', '3970', '4178', '4181', '4276', '4275', '4010', '4012', '4282', '4009', '4006', '4514', '4513', '3802', '3981', '3809', '4394', '4079', '4086', '4084', '4091', '4228', '4315', '4316', '3920', '4197', '4198', '4194', '4196', '4195', '4190', '4189', '4192', '4191', '5090', '4594', '4536', '5086', '4579', '4580', '4664'] is superfluous, discarding it
W1217 12:35:22.370 2334567 flip.py:156] subpath ['3261', '3581', '3761', '3767', '3016', '3253', '3254', '3650', '3670', '3539', '3706', '3757', '3758', '3048', '3049', '3046', '3047', '3125', '3124', '3119', '3116', '3122', '3556', '3300', '3444', '3753', '3768', '3769', '3754', '3724', '3437', '4336', '3840', '3782', '4332', '3825', '3826', '3910', '4311', '4301', '4308', '4302', '4303', '4290', '4435', '3841', '4169', '4170', '3842', '4202', '4203', '4205', '4204', '4412', '4411', '4410', '4003', '4004', '3997', '4001', '4475', '4000', '3822', '3821', '3818', '3934', '3938', '3937', '4273', '3931', '3932', '3970', '4178', '4181', '4276', '4275', '4010', '4012', '4282', '4009', '4006', '4514', '4513', '3802', '3981', '3809', '4394', '4079', '4086', '4084', '4091', '4228', '4315', '4316', '3920', '4197', '4198', '4507', '4522', '4523', '4508', '4478', '4191', '5090', '4594', '4536', '5086', '4579', '4580', '4664'] is superfluous, discarding it
W1217 12:35:22.370 2334567 flip.py:156] subpath ['3261', '3581', '3761', '3767', '3016', '3253', '3254', '3650', '3670', '3539', '3706', '3757', '3758', '3048', '3049', '3046', '3047', '3125', '3124', '3119', '3116', '3122', '3556', '3300', '3444', '3753', '3768', '3769', '3754', '3724', '3437', '4336', '4369', '4368', '3982', '3983', '3991', '3992', '4288', '3989', '3990', '3779', '3778', '4219', '4218', '4217', '4216', '4215', '4214', '4213', '4210', '4212', '4211', '3772', '3774', '4419', '4015', '4335', '4515', '4521', '3770', '4007', '4008', '4404', '4424', '4293', '4460', '4511', '4512', '3802', '3803', '3800', '3801', '3879', '3878', '3873', '3870', '3876', '4310', '4054', '4198', '4194', '4196', '4195', '4190', '4189', '4192', '4191', '5090', '4594', '4536', '5086', '4579', '4580', '4664'] is superfluous, discarding it
W1217 12:35:22.370 2334567 flip.py:156] subpath ['3261', '3581', '3761', '3767', '3016', '3253', '3254', '3650', '3670', '3539', '3706', '3757', '3758', '3048', '3049', '3046', '3047', '3125', '3124', '3119', '3116', '3122', '3556', '3300', '3444', '3753', '3768', '3769', '3754', '3724', '3437', '4336', '4369', '4368', '3982', '3983', '3991', '3992', '4288', '3989', '3990', '3779', '3778', '4219', '4218', '4217', '4216', '4215', '4214', '4213', '4210', '4212', '4211', '3772', '3774', '4419', '4015', '4335', '4515', '4521', '3770', '4007', '4008', '4404', '4424', '4293', '4460', '4511', '4512', '3802', '3803', '3800', '3801', '3879', '3878', '3873', '3870', '3876', '4310', '4054', '4198', '4507', '4522', '4523', '4508', '4478', '4191', '5090', '4594', '4536', '5086', '4579', '4580', '4664'] is superfluous, discarding it
W1217 12:35:22.370 2334567 flip.py:156] subpath ['3261', '3581', '3761', '3767', '3016', '3253', '3254', '3650', '3670', '3539', '3706', '3757', '3758', '3048', '3049', '3046', '3047', '3125', '3124', '3119', '3116', '3122', '3556', '3300', '3444', '3753', '3768', '3769', '3754', '3724', '3437', '4336', '4369', '4368', '3982', '3983', '3991', '3992', '4288', '3989', '3990', '3779', '3778', '4219', '4218', '4217', '4216', '4215', '4214', '4213', '4210', '4212', '4211', '3772', '3774', '4419', '4015', '4335', '4515', '4521', '3770', '4007', '4008', '4404', '4424', '4293', '4460', '4511', '4512', '3802', '3981', '3809', '4394', '4079', '4086', '4084', '4091', '4228', '4315', '4316', '3920', '4197', '4198', '4194', '4196', '4195', '4190', '4189', '4192', '4191', '5090', '4594', '4536', '5086', '4579', '4580', '4664'] is superfluous, discarding it
W1217 12:35:22.370 2334567 flip.py:156] subpath ['3261', '3581', '3761', '3767', '3016', '3253', '3254', '3650', '3670', '3539', '3706', '3757', '3758', '3048', '3049', '3046', '3047', '3125', '3124', '3119', '3116', '3122', '3556', '3300', '3444', '3753', '3768', '3769', '3754', '3724', '3437', '4336', '4369', '4368', '3982', '3983', '3991', '3992', '4288', '3989', '3990', '3779', '3778', '4219', '4218', '4217', '4216', '4215', '4214', '4213', '4210', '4212', '4211', '3772', '3774', '4419', '4015', '4335', '4515', '4521', '3770', '4007', '4008', '4404', '4424', '4293', '4460', '4511', '4512', '3802', '3981', '3809', '4394', '4079', '4086', '4084', '4091', '4228', '4315', '4316', '3920', '4197', '4198', '4507', '4522', '4523', '4508', '4478', '4191', '5090', '4594', '4536', '5086', '4579', '4580', '4664'] is superfluous, discarding it
W1217 12:35:22.371 2334567 flip.py:156] subpath ['3261', '3581', '3761', '3767', '3016', '3253', '3254', '3650', '3670', '3539', '3706', '3757', '3758', '3048', '3227', '3055', '3640', '3325', '3332', '3330', '3337', '3474', '3561', '3562', '3166', '3443', '3444', '3440', '3442', '3441', '3436', '3435', '3438', '3437', '4336', '3840', '3782', '4332', '3825', '3826', '3910', '4311', '4301', '4308', '4302', '4303', '4290', '4435', '3841', '4169', '4170', '3842', '4202', '4203', '4205', '4204', '4412', '4411', '4410', '4003', '4004', '3997', '4001', '4475', '4000', '3822', '3821', '3818', '3934', '3938', '3937', '4273', '3931', '3932', '3970', '4178', '4181', '4276', '4275', '4010', '4012', '4282', '4009', '4006', '4514', '4513', '3802', '3803', '3800', '3801', '3879', '3878', '3873', '3870', '3876', '4310', '4054', '4198', '4194', '4196', '4195', '4190', '4189', '4192', '4191', '5090', '4594', '4536', '5086', '4579', '4580', '4664'] is superfluous, discarding it
W1217 12:35:22.371 2334567 flip.py:156] subpath ['3261', '3581', '3761', '3767', '3016', '3253', '3254', '3650', '3670', '3539', '3706', '3757', '3758', '3048', '3227', '3055', '3640', '3325', '3332', '3330', '3337', '3474', '3561', '3562', '3166', '3443', '3444', '3440', '3442', '3441', '3436', '3435', '3438', '3437', '4336', '3840', '3782', '4332', '3825', '3826', '3910', '4311', '4301', '4308', '4302', '4303', '4290', '4435', '3841', '4169', '4170', '3842', '4202', '4203', '4205', '4204', '4412', '4411', '4410', '4003', '4004', '3997', '4001', '4475', '4000', '3822', '3821', '3818', '3934', '3938', '3937', '4273', '3931', '3932', '3970', '4178', '4181', '4276', '4275', '4010', '4012', '4282', '4009', '4006', '4514', '4513', '3802', '3803', '3800', '3801', '3879', '3878', '3873', '3870', '3876', '4310', '4054', '4198', '4507', '4522', '4523', '4508', '4478', '4191', '5090', '4594', '4536', '5086', '4579', '4580', '4664'] is superfluous, discarding it
W1217 12:35:22.371 2334567 flip.py:156] subpath ['3261', '3581', '3761', '3767', '3016', '3253', '3254', '3650', '3670', '3539', '3706', '3757', '3758', '3048', '3227', '3055', '3640', '3325', '3332', '3330', '3337', '3474', '3561', '3562', '3166', '3443', '3444', '3440', '3442', '3441', '3436', '3435', '3438', '3437', '4336', '3840', '3782', '4332', '3825', '3826', '3910', '4311', '4301', '4308', '4302', '4303', '4290', '4435', '3841', '4169', '4170', '3842', '4202', '4203', '4205', '4204', '4412', '4411', '4410', '4003', '4004', '3997', '4001', '4475', '4000', '3822', '3821', '3818', '3934', '3938', '3937', '4273', '3931', '3932', '3970', '4178', '4181', '4276', '4275', '4010', '4012', '4282', '4009', '4006', '4514', '4513', '3802', '3981', '3809', '4394', '4079', '4086', '4084', '4091', '4228', '4315', '4316', '3920', '4197', '4198', '4194', '4196', '4195', '4190', '4189', '4192', '4191', '5090', '4594', '4536', '5086', '4579', '4580', '4664'] is superfluous, discarding it
W1217 12:35:22.371 2334567 flip.py:156] subpath ['3261', '3581', '3761', '3767', '3016', '3253', '3254', '3650', '3670', '3539', '3706', '3757', '3758', '3048', '3227', '3055', '3640', '3325', '3332', '3330', '3337', '3474', '3561', '3562', '3166', '3443', '3444', '3440', '3442', '3441', '3436', '3435', '3438', '3437', '4336', '3840', '3782', '4332', '3825', '3826', '3910', '4311', '4301', '4308', '4302', '4303', '4290', '4435', '3841', '4169', '4170', '3842', '4202', '4203', '4205', '4204', '4412', '4411', '4410', '4003', '4004', '3997', '4001', '4475', '4000', '3822', '3821', '3818', '3934', '3938', '3937', '4273', '3931', '3932', '3970', '4178', '4181', '4276', '4275', '4010', '4012', '4282', '4009', '4006', '4514', '4513', '3802', '3981', '3809', '4394', '4079', '4086', '4084', '4091', '4228', '4315', '4316', '3920', '4197', '4198', '4507', '4522', '4523', '4508', '4478', '4191', '5090', '4594', '4536', '5086', '4579', '4580', '4664'] is superfluous, discarding it
W1217 12:35:22.371 2334567 flip.py:156] subpath ['3261', '3581', '3761', '3767', '3016', '3253', '3254', '3650', '3670', '3539', '3706', '3757', '3758', '3048', '3227', '3055', '3640', '3325', '3332', '3330', '3337', '3474', '3561', '3562', '3166', '3443', '3444', '3440', '3442', '3441', '3436', '3435', '3438', '3437', '4336', '4369', '4368', '3982', '3983', '3991', '3992', '4288', '3989', '3990', '3779', '3778', '4219', '4218', '4217', '4216', '4215', '4214', '4213', '4210', '4212', '4211', '3772', '3774', '4419', '4015', '4335', '4515', '4521', '3770', '4007', '4008', '4404', '4424', '4293', '4460', '4511', '4512', '3802', '3803', '3800', '3801', '3879', '3878', '3873', '3870', '3876', '4310', '4054', '4198', '4194', '4196', '4195', '4190', '4189', '4192', '4191', '5090', '4594', '4536', '5086', '4579', '4580', '4664'] is superfluous, discarding it
W1217 12:35:22.371 2334567 flip.py:156] subpath ['3261', '3581', '3761', '3767', '3016', '3253', '3254', '3650', '3670', '3539', '3706', '3757', '3758', '3048', '3227', '3055', '3640', '3325', '3332', '3330', '3337', '3474', '3561', '3562', '3166', '3443', '3444', '3440', '3442', '3441', '3436', '3435', '3438', '3437', '4336', '4369', '4368', '3982', '3983', '3991', '3992', '4288', '3989', '3990', '3779', '3778', '4219', '4218', '4217', '4216', '4215', '4214', '4213', '4210', '4212', '4211', '3772', '3774', '4419', '4015', '4335', '4515', '4521', '3770', '4007', '4008', '4404', '4424', '4293', '4460', '4511', '4512', '3802', '3803', '3800', '3801', '3879', '3878', '3873', '3870', '3876', '4310', '4054', '4198', '4507', '4522', '4523', '4508', '4478', '4191', '5090', '4594', '4536', '5086', '4579', '4580', '4664'] is superfluous, discarding it
W1217 12:35:22.371 2334567 flip.py:156] subpath ['3261', '3581', '3761', '3767', '3016', '3253', '3254', '3650', '3670', '3539', '3706', '3757', '3758', '3048', '3227', '3055', '3640', '3325', '3332', '3330', '3337', '3474', '3561', '3562', '3166', '3443', '3444', '3440', '3442', '3441', '3436', '3435', '3438', '3437', '4336', '4369', '4368', '3982', '3983', '3991', '3992', '4288', '3989', '3990', '3779', '3778', '4219', '4218', '4217', '4216', '4215', '4214', '4213', '4210', '4212', '4211', '3772', '3774', '4419', '4015', '4335', '4515', '4521', '3770', '4007', '4008', '4404', '4424', '4293', '4460', '4511', '4512', '3802', '3981', '3809', '4394', '4079', '4086', '4084', '4091', '4228', '4315', '4316', '3920', '4197', '4198', '4194', '4196', '4195', '4190', '4189', '4192', '4191', '5090', '4594', '4536', '5086', '4579', '4580', '4664'] is superfluous, discarding it
W1217 12:35:22.371 2334567 flip.py:156] subpath ['3261', '3581', '3761', '3767', '3016', '3253', '3254', '3650', '3670', '3539', '3706', '3757', '3758', '3048', '3227', '3055', '3640', '3325', '3332', '3330', '3337', '3474', '3561', '3562', '3166', '3443', '3444', '3440', '3442', '3441', '3436', '3435', '3438', '3437', '4336', '4369', '4368', '3982', '3983', '3991', '3992', '4288', '3989', '3990', '3779', '3778', '4219', '4218', '4217', '4216', '4215', '4214', '4213', '4210', '4212', '4211', '3772', '3774', '4419', '4015', '4335', '4515', '4521', '3770', '4007', '4008', '4404', '4424', '4293', '4460', '4511', '4512', '3802', '3981', '3809', '4394', '4079', '4086', '4084', '4091', '4228', '4315', '4316', '3920', '4197', '4198', '4507', '4522', '4523', '4508', '4478', '4191', '5090', '4594', '4536', '5086', '4579', '4580', '4664'] is superfluous, discarding it
W1217 12:35:22.371 2334567 flip.py:156] subpath ['3261', '3581', '3761', '3767', '3016', '3253', '3254', '3650', '3670', '3539', '3706', '3757', '3758', '3048', '3227', '3055', '3640', '3325', '3332', '3330', '3337', '3474', '3561', '3562', '3166', '3443', '3444', '3753', '3768', '3769', '3754', '3724', '3437', '4336', '3840', '3782', '4332', '3825', '3826', '3910', '4311', '4301', '4308', '4302', '4303', '4290', '4435', '3841', '4169', '4170', '3842', '4202', '4203', '4205', '4204', '4412', '4411', '4410', '4003', '4004', '3997', '4001', '4475', '4000', '3822', '3821', '3818', '3934', '3938', '3937', '4273', '3931', '3932', '3970', '4178', '4181', '4276', '4275', '4010', '4012', '4282', '4009', '4006', '4514', '4513', '3802', '3803', '3800', '3801', '3879', '3878', '3873', '3870', '3876', '4310', '4054', '4198', '4194', '4196', '4195', '4190', '4189', '4192', '4191', '5090', '4594', '4536', '5086', '4579', '4580', '4664'] is superfluous, discarding it
W1217 12:35:22.372 2334567 flip.py:156] subpath ['3261', '3581', '3761', '3767', '3016', '3253', '3254', '3650', '3670', '3539', '3706', '3757', '3758', '3048', '3227', '3055', '3640', '3325', '3332', '3330', '3337', '3474', '3561', '3562', '3166', '3443', '3444', '3753', '3768', '3769', '3754', '3724', '3437', '4336', '3840', '3782', '4332', '3825', '3826', '3910', '4311', '4301', '4308', '4302', '4303', '4290', '4435', '3841', '4169', '4170', '3842', '4202', '4203', '4205', '4204', '4412', '4411', '4410', '4003', '4004', '3997', '4001', '4475', '4000', '3822', '3821', '3818', '3934', '3938', '3937', '4273', '3931', '3932', '3970', '4178', '4181', '4276', '4275', '4010', '4012', '4282', '4009', '4006', '4514', '4513', '3802', '3803', '3800', '3801', '3879', '3878', '3873', '3870', '3876', '4310', '4054', '4198', '4507', '4522', '4523', '4508', '4478', '4191', '5090', '4594', '4536', '5086', '4579', '4580', '4664'] is superfluous, discarding it
W1217 12:35:22.372 2334567 flip.py:156] subpath ['3261', '3581', '3761', '3767', '3016', '3253', '3254', '3650', '3670', '3539', '3706', '3757', '3758', '3048', '3227', '3055', '3640', '3325', '3332', '3330', '3337', '3474', '3561', '3562', '3166', '3443', '3444', '3753', '3768', '3769', '3754', '3724', '3437', '4336', '3840', '3782', '4332', '3825', '3826', '3910', '4311', '4301', '4308', '4302', '4303', '4290', '4435', '3841', '4169', '4170', '3842', '4202', '4203', '4205', '4204', '4412', '4411', '4410', '4003', '4004', '3997', '4001', '4475', '4000', '3822', '3821', '3818', '3934', '3938', '3937', '4273', '3931', '3932', '3970', '4178', '4181', '4276', '4275', '4010', '4012', '4282', '4009', '4006', '4514', '4513', '3802', '3981', '3809', '4394', '4079', '4086', '4084', '4091', '4228', '4315', '4316', '3920', '4197', '4198', '4194', '4196', '4195', '4190', '4189', '4192', '4191', '5090', '4594', '4536', '5086', '4579', '4580', '4664'] is superfluous, discarding it
W1217 12:35:22.372 2334567 flip.py:156] subpath ['3261', '3581', '3761', '3767', '3016', '3253', '3254', '3650', '3670', '3539', '3706', '3757', '3758', '3048', '3227', '3055', '3640', '3325', '3332', '3330', '3337', '3474', '3561', '3562', '3166', '3443', '3444', '3753', '3768', '3769', '3754', '3724', '3437', '4336', '3840', '3782', '4332', '3825', '3826', '3910', '4311', '4301', '4308', '4302', '4303', '4290', '4435', '3841', '4169', '4170', '3842', '4202', '4203', '4205', '4204', '4412', '4411', '4410', '4003', '4004', '3997', '4001', '4475', '4000', '3822', '3821', '3818', '3934', '3938', '3937', '4273', '3931', '3932', '3970', '4178', '4181', '4276', '4275', '4010', '4012', '4282', '4009', '4006', '4514', '4513', '3802', '3981', '3809', '4394', '4079', '4086', '4084', '4091', '4228', '4315', '4316', '3920', '4197', '4198', '4507', '4522', '4523', '4508', '4478', '4191', '5090', '4594', '4536', '5086', '4579', '4580', '4664'] is superfluous, discarding it
W1217 12:35:22.372 2334567 flip.py:156] subpath ['3261', '3581', '3761', '3767', '3016', '3253', '3254', '3650', '3670', '3539', '3706', '3757', '3758', '3048', '3227', '3055', '3640', '3325', '3332', '3330', '3337', '3474', '3561', '3562', '3166', '3443', '3444', '3753', '3768', '3769', '3754', '3724', '3437', '4336', '4369', '4368', '3982', '3983', '3991', '3992', '4288', '3989', '3990', '3779', '3778', '4219', '4218', '4217', '4216', '4215', '4214', '4213', '4210', '4212', '4211', '3772', '3774', '4419', '4015', '4335', '4515', '4521', '3770', '4007', '4008', '4404', '4424', '4293', '4460', '4511', '4512', '3802', '3803', '3800', '3801', '3879', '3878', '3873', '3870', '3876', '4310', '4054', '4198', '4194', '4196', '4195', '4190', '4189', '4192', '4191', '5090', '4594', '4536', '5086', '4579', '4580', '4664'] is superfluous, discarding it
W1217 12:35:22.372 2334567 flip.py:156] subpath ['3261', '3581', '3761', '3767', '3016', '3253', '3254', '3650', '3670', '3539', '3706', '3757', '3758', '3048', '3227', '3055', '3640', '3325', '3332', '3330', '3337', '3474', '3561', '3562', '3166', '3443', '3444', '3753', '3768', '3769', '3754', '3724', '3437', '4336', '4369', '4368', '3982', '3983', '3991', '3992', '4288', '3989', '3990', '3779', '3778', '4219', '4218', '4217', '4216', '4215', '4214', '4213', '4210', '4212', '4211', '3772', '3774', '4419', '4015', '4335', '4515', '4521', '3770', '4007', '4008', '4404', '4424', '4293', '4460', '4511', '4512', '3802', '3803', '3800', '3801', '3879', '3878', '3873', '3870', '3876', '4310', '4054', '4198', '4507', '4522', '4523', '4508', '4478', '4191', '5090', '4594', '4536', '5086', '4579', '4580', '4664'] is superfluous, discarding it
W1217 12:35:22.372 2334567 flip.py:156] subpath ['3261', '3581', '3761', '3767', '3016', '3253', '3254', '3650', '3670', '3539', '3706', '3757', '3758', '3048', '3227', '3055', '3640', '3325', '3332', '3330', '3337', '3474', '3561', '3562', '3166', '3443', '3444', '3753', '3768', '3769', '3754', '3724', '3437', '4336', '4369', '4368', '3982', '3983', '3991', '3992', '4288', '3989', '3990', '3779', '3778', '4219', '4218', '4217', '4216', '4215', '4214', '4213', '4210', '4212', '4211', '3772', '3774', '4419', '4015', '4335', '4515', '4521', '3770', '4007', '4008', '4404', '4424', '4293', '4460', '4511', '4512', '3802', '3981', '3809', '4394', '4079', '4086', '4084', '4091', '4228', '4315', '4316', '3920', '4197', '4198', '4194', '4196', '4195', '4190', '4189', '4192', '4191', '5090', '4594', '4536', '5086', '4579', '4580', '4664'] is superfluous, discarding it
W1217 12:35:22.372 2334567 flip.py:156] subpath ['3261', '3581', '3761', '3767', '3016', '3253', '3254', '3650', '3670', '3539', '3706', '3757', '3758', '3048', '3227', '3055', '3640', '3325', '3332', '3330', '3337', '3474', '3561', '3562', '3166', '3443', '3444', '3753', '3768', '3769', '3754', '3724', '3437', '4336', '4369', '4368', '3982', '3983', '3991', '3992', '4288', '3989', '3990', '3779', '3778', '4219', '4218', '4217', '4216', '4215', '4214', '4213', '4210', '4212', '4211', '3772', '3774', '4419', '4015', '4335', '4515', '4521', '3770', '4007', '4008', '4404', '4424', '4293', '4460', '4511', '4512', '3802', '3981', '3809', '4394', '4079', '4086', '4084', '4091', '4228', '4315', '4316', '3920', '4197', '4198', '4507', '4522', '4523', '4508', '4478', '4191', '5090', '4594', '4536', '5086', '4579', '4580', '4664'] is superfluous, discarding it
Traceback (most recent call last):
  File "runflipwithdfa.py", line 39, in <module>
    main(jsonPath, subpathsPath)
  File "runflipwithdfa.py", line 30, in main
    order = flip.compute_sequence(graph)
  File "/nfs/home/student.aau.dk/rtollu18/dat7/FLIP/flip.py", line 1374, in compute_sequence
    storage.extract()
  File "/nfs/home/student.aau.dk/rtollu18/dat7/FLIP/flip.py", line 1009, in extract
    self.graph.initialize()
  File "/nfs/home/student.aau.dk/rtollu18/dat7/FLIP/flip.py", line 75, in initialize
    self.color_dag(self.final)
  File "/nfs/home/student.aau.dk/rtollu18/dat7/FLIP/flip.py", line 182, in color_dag
    'source %s is not green in %s graph' %(node, desc))
FLIP.flip.PreconditionFailedError: source 566 is not green in final graph
