Version: 1.13 
 _ data/zoo_json_alt_waypoint4/UsCarrier_3.json -f output/flip/data/zoo_json_alt_waypoint4/UsCarrier_3.json.subpaths
Flip subpaths generated in 0.395 seconds!
real 0.79
user 1.64
sys 0.11
<logging.Logger object at 0x7f26455e77d0>
W1217 12:31:45.862 2470564 flip.py:156] subpath ['131', '124', '122', '129', '127', '78', '120', '96', '126', '65', '64', '63', '79', '99', '121', '144', '145', '146', '147', '198', '201', '200', '245', '301', '300', '315', '207', '293', '235', '178', '179', '167', '165', '277', '276', '274', '193', '190', '191', '194', '195', '241', '211', '216', '217', '214', '215', '286', '287', '285', '236', '278', '254', '284', '223', '222', '221', '237', '257', '279', '302', '303', '304', '305', '356', '359', '358', '403', '459', '458', '473', '365', '451', '393', '336', '337', '325', '323', '435', '434', '432', '351', '348', '349', '352', '353', '399', '369', '374', '375', '372', '373', '444', '445', '443', '394', '436', '412', '442', '381', '380', '379', '395'] is superfluous, discarding it
W1217 12:31:45.863 2470564 flip.py:156] subpath ['131', '124', '122', '129', '127', '78', '120', '96', '126', '65', '64', '63', '79', '99', '121', '144', '145', '146', '147', '198', '201', '200', '245', '301', '300', '315', '207', '293', '235', '178', '179', '167', '165', '277', '276', '274', '193', '190', '191', '194', '195', '241', '211', '216', '217', '214', '215', '286', '287', '285', '236', '278', '254', '284', '223', '222', '221', '237', '257', '279', '302', '303', '304', '305', '356', '359', '358', '403', '459', '458', '473', '365', '451', '393', '336', '337', '325', '323', '435', '434', '432', '351', '348', '349', '352', '353', '399', '369', '374', '375', '372', '373', '444', '445', '443', '394', '378', '395'] is superfluous, discarding it
W1217 12:31:45.863 2470564 flip.py:156] subpath ['131', '124', '122', '129', '127', '78', '120', '96', '126', '65', '64', '63', '79', '99', '121', '144', '145', '146', '147', '198', '201', '200', '245', '301', '300', '315', '207', '293', '235', '178', '179', '167', '165', '277', '276', '274', '193', '190', '191', '194', '195', '241', '211', '216', '217', '214', '215', '286', '287', '285', '236', '278', '254', '284', '223', '222', '221', '237', '257', '279', '302', '303', '304', '305', '356', '359', '358', '403', '459', '458', '473', '322', '321', '319', '318', '448', '449', '419', '418', '421', '398', '420', '423', '335', '334', '326', '329', '328', '346', '447', '440', '438', '445', '443', '394', '436', '412', '442', '381', '380', '379', '395'] is superfluous, discarding it
W1217 12:31:45.863 2470564 flip.py:156] subpath ['131', '124', '122', '129', '127', '78', '120', '96', '126', '65', '64', '63', '79', '99', '121', '144', '145', '146', '147', '198', '201', '200', '245', '301', '300', '315', '207', '293', '235', '178', '179', '167', '165', '277', '276', '274', '193', '190', '191', '194', '195', '241', '211', '216', '217', '214', '215', '286', '287', '285', '236', '278', '254', '284', '223', '222', '221', '237', '257', '279', '302', '303', '304', '305', '356', '359', '358', '403', '459', '458', '473', '322', '321', '319', '318', '448', '449', '419', '418', '421', '398', '420', '423', '335', '334', '326', '329', '328', '346', '447', '440', '438', '445', '443', '394', '378', '395'] is superfluous, discarding it
W1217 12:31:45.863 2470564 flip.py:156] subpath ['131', '124', '122', '129', '127', '78', '120', '96', '126', '65', '64', '63', '79', '99', '121', '144', '145', '146', '147', '198', '201', '200', '245', '301', '300', '315', '207', '293', '235', '178', '179', '167', '165', '277', '276', '274', '193', '190', '191', '194', '195', '241', '211', '216', '217', '214', '215', '286', '287', '285', '236', '220', '237', '257', '279', '302', '303', '304', '305', '356', '359', '358', '403', '459', '458', '473', '365', '451', '393', '336', '337', '325', '323', '435', '434', '432', '351', '348', '349', '352', '353', '399', '369', '374', '375', '372', '373', '444', '445', '443', '394', '436', '412', '442', '381', '380', '379', '395'] is superfluous, discarding it
W1217 12:31:45.863 2470564 flip.py:156] subpath ['131', '124', '122', '129', '127', '78', '120', '96', '126', '65', '64', '63', '79', '99', '121', '144', '145', '146', '147', '198', '201', '200', '245', '301', '300', '315', '207', '293', '235', '178', '179', '167', '165', '277', '276', '274', '193', '190', '191', '194', '195', '241', '211', '216', '217', '214', '215', '286', '287', '285', '236', '220', '237', '257', '279', '302', '303', '304', '305', '356', '359', '358', '403', '459', '458', '473', '365', '451', '393', '336', '337', '325', '323', '435', '434', '432', '351', '348', '349', '352', '353', '399', '369', '374', '375', '372', '373', '444', '445', '443', '394', '378', '395'] is superfluous, discarding it
W1217 12:31:45.863 2470564 flip.py:156] subpath ['131', '124', '122', '129', '127', '78', '120', '96', '126', '65', '64', '63', '79', '99', '121', '144', '145', '146', '147', '198', '201', '200', '245', '301', '300', '315', '207', '293', '235', '178', '179', '167', '165', '277', '276', '274', '193', '190', '191', '194', '195', '241', '211', '216', '217', '214', '215', '286', '287', '285', '236', '220', '237', '257', '279', '302', '303', '304', '305', '356', '359', '358', '403', '459', '458', '473', '322', '321', '319', '318', '448', '449', '419', '418', '421', '398', '420', '423', '335', '334', '326', '329', '328', '346', '447', '440', '438', '445', '443', '394', '436', '412', '442', '381', '380', '379', '395'] is superfluous, discarding it
W1217 12:31:45.863 2470564 flip.py:156] subpath ['131', '124', '122', '129', '127', '78', '120', '96', '126', '65', '64', '63', '79', '99', '121', '144', '145', '146', '147', '198', '201', '200', '245', '301', '300', '315', '207', '293', '235', '178', '179', '167', '165', '277', '276', '274', '193', '190', '191', '194', '195', '241', '211', '216', '217', '214', '215', '286', '287', '285', '236', '220', '237', '257', '279', '302', '303', '304', '305', '356', '359', '358', '403', '459', '458', '473', '322', '321', '319', '318', '448', '449', '419', '418', '421', '398', '420', '423', '335', '334', '326', '329', '328', '346', '447', '440', '438', '445', '443', '394', '378', '395'] is superfluous, discarding it
W1217 12:31:45.863 2470564 flip.py:156] subpath ['131', '124', '122', '129', '127', '78', '120', '96', '126', '65', '64', '63', '79', '99', '121', '144', '145', '146', '147', '198', '201', '200', '245', '301', '300', '315', '164', '163', '161', '160', '290', '291', '261', '260', '263', '240', '262', '265', '177', '176', '168', '171', '170', '188', '289', '282', '280', '287', '285', '236', '278', '254', '284', '223', '222', '221', '237', '257', '279', '302', '303', '304', '305', '356', '359', '358', '403', '459', '458', '473', '322', '321', '319', '318', '448', '449', '419', '418', '421', '398', '420', '423', '335', '334', '326', '329', '328', '346', '447', '440', '438', '445', '443', '394', '436', '412', '442', '381', '380', '379', '395'] is superfluous, discarding it
W1217 12:31:45.864 2470564 flip.py:156] subpath ['131', '124', '122', '129', '127', '78', '120', '96', '126', '65', '64', '63', '79', '99', '121', '144', '145', '146', '147', '198', '201', '200', '245', '301', '300', '315', '164', '163', '161', '160', '290', '291', '261', '260', '263', '240', '262', '265', '177', '176', '168', '171', '170', '188', '289', '282', '280', '287', '285', '236', '278', '254', '284', '223', '222', '221', '237', '257', '279', '302', '303', '304', '305', '356', '359', '358', '403', '459', '458', '473', '322', '321', '319', '318', '448', '449', '419', '418', '421', '398', '420', '423', '335', '334', '326', '329', '328', '346', '447', '440', '438', '445', '443', '394', '378', '395'] is superfluous, discarding it
W1217 12:31:45.864 2470564 flip.py:156] subpath ['131', '124', '122', '129', '127', '78', '120', '96', '126', '65', '64', '63', '79', '99', '121', '144', '145', '146', '147', '198', '201', '200', '245', '301', '300', '315', '164', '163', '161', '160', '290', '291', '261', '260', '263', '240', '262', '265', '177', '176', '168', '171', '170', '188', '289', '282', '280', '287', '285', '236', '220', '237', '257', '279', '302', '303', '304', '305', '356', '359', '358', '403', '459', '458', '473', '322', '321', '319', '318', '448', '449', '419', '418', '421', '398', '420', '423', '335', '334', '326', '329', '328', '346', '447', '440', '438', '445', '443', '394', '436', '412', '442', '381', '380', '379', '395'] is superfluous, discarding it
W1217 12:31:45.864 2470564 flip.py:156] subpath ['131', '124', '122', '129', '127', '78', '120', '96', '126', '65', '64', '63', '79', '99', '121', '144', '145', '146', '147', '198', '201', '200', '245', '301', '300', '315', '164', '163', '161', '160', '290', '291', '261', '260', '263', '240', '262', '265', '177', '176', '168', '171', '170', '188', '289', '282', '280', '287', '285', '236', '220', '237', '257', '279', '302', '303', '304', '305', '356', '359', '358', '403', '459', '458', '473', '322', '321', '319', '318', '448', '449', '419', '418', '421', '398', '420', '423', '335', '334', '326', '329', '328', '346', '447', '440', '438', '445', '443', '394', '378', '395'] is superfluous, discarding it
W1217 12:31:45.864 2470564 flip.py:156] subpath ['131', '124', '122', '129', '127', '78', '62', '79', '99', '121', '144', '145', '146', '147', '198', '201', '200', '245', '301', '300', '315', '207', '293', '235', '178', '179', '167', '165', '277', '276', '274', '193', '190', '191', '194', '195', '241', '211', '216', '217', '214', '215', '286', '287', '285', '236', '278', '254', '284', '223', '222', '221', '237', '257', '279', '302', '303', '304', '305', '356', '359', '358', '403', '459', '458', '473', '365', '451', '393', '336', '337', '325', '323', '435', '434', '432', '351', '348', '349', '352', '353', '399', '369', '374', '375', '372', '373', '444', '445', '443', '394', '436', '412', '442', '381', '380', '379', '395'] is superfluous, discarding it
W1217 12:31:45.864 2470564 flip.py:156] subpath ['131', '124', '122', '129', '127', '78', '62', '79', '99', '121', '144', '145', '146', '147', '198', '201', '200', '245', '301', '300', '315', '207', '293', '235', '178', '179', '167', '165', '277', '276', '274', '193', '190', '191', '194', '195', '241', '211', '216', '217', '214', '215', '286', '287', '285', '236', '278', '254', '284', '223', '222', '221', '237', '257', '279', '302', '303', '304', '305', '356', '359', '358', '403', '459', '458', '473', '365', '451', '393', '336', '337', '325', '323', '435', '434', '432', '351', '348', '349', '352', '353', '399', '369', '374', '375', '372', '373', '444', '445', '443', '394', '378', '395'] is superfluous, discarding it
W1217 12:31:45.864 2470564 flip.py:156] subpath ['131', '124', '122', '129', '127', '78', '62', '79', '99', '121', '144', '145', '146', '147', '198', '201', '200', '245', '301', '300', '315', '207', '293', '235', '178', '179', '167', '165', '277', '276', '274', '193', '190', '191', '194', '195', '241', '211', '216', '217', '214', '215', '286', '287', '285', '236', '278', '254', '284', '223', '222', '221', '237', '257', '279', '302', '303', '304', '305', '356', '359', '358', '403', '459', '458', '473', '322', '321', '319', '318', '448', '449', '419', '418', '421', '398', '420', '423', '335', '334', '326', '329', '328', '346', '447', '440', '438', '445', '443', '394', '436', '412', '442', '381', '380', '379', '395'] is superfluous, discarding it
W1217 12:31:45.864 2470564 flip.py:156] subpath ['131', '124', '122', '129', '127', '78', '62', '79', '99', '121', '144', '145', '146', '147', '198', '201', '200', '245', '301', '300', '315', '207', '293', '235', '178', '179', '167', '165', '277', '276', '274', '193', '190', '191', '194', '195', '241', '211', '216', '217', '214', '215', '286', '287', '285', '236', '278', '254', '284', '223', '222', '221', '237', '257', '279', '302', '303', '304', '305', '356', '359', '358', '403', '459', '458', '473', '322', '321', '319', '318', '448', '449', '419', '418', '421', '398', '420', '423', '335', '334', '326', '329', '328', '346', '447', '440', '438', '445', '443', '394', '378', '395'] is superfluous, discarding it
W1217 12:31:45.864 2470564 flip.py:156] subpath ['131', '124', '122', '129', '127', '78', '62', '79', '99', '121', '144', '145', '146', '147', '198', '201', '200', '245', '301', '300', '315', '207', '293', '235', '178', '179', '167', '165', '277', '276', '274', '193', '190', '191', '194', '195', '241', '211', '216', '217', '214', '215', '286', '287', '285', '236', '220', '237', '257', '279', '302', '303', '304', '305', '356', '359', '358', '403', '459', '458', '473', '365', '451', '393', '336', '337', '325', '323', '435', '434', '432', '351', '348', '349', '352', '353', '399', '369', '374', '375', '372', '373', '444', '445', '443', '394', '436', '412', '442', '381', '380', '379', '395'] is superfluous, discarding it
W1217 12:31:45.864 2470564 flip.py:156] subpath ['131', '124', '122', '129', '127', '78', '62', '79', '99', '121', '144', '145', '146', '147', '198', '201', '200', '245', '301', '300', '315', '207', '293', '235', '178', '179', '167', '165', '277', '276', '274', '193', '190', '191', '194', '195', '241', '211', '216', '217', '214', '215', '286', '287', '285', '236', '220', '237', '257', '279', '302', '303', '304', '305', '356', '359', '358', '403', '459', '458', '473', '365', '451', '393', '336', '337', '325', '323', '435', '434', '432', '351', '348', '349', '352', '353', '399', '369', '374', '375', '372', '373', '444', '445', '443', '394', '378', '395'] is superfluous, discarding it
W1217 12:31:45.864 2470564 flip.py:156] subpath ['131', '124', '122', '129', '127', '78', '62', '79', '99', '121', '144', '145', '146', '147', '198', '201', '200', '245', '301', '300', '315', '207', '293', '235', '178', '179', '167', '165', '277', '276', '274', '193', '190', '191', '194', '195', '241', '211', '216', '217', '214', '215', '286', '287', '285', '236', '220', '237', '257', '279', '302', '303', '304', '305', '356', '359', '358', '403', '459', '458', '473', '322', '321', '319', '318', '448', '449', '419', '418', '421', '398', '420', '423', '335', '334', '326', '329', '328', '346', '447', '440', '438', '445', '443', '394', '436', '412', '442', '381', '380', '379', '395'] is superfluous, discarding it
W1217 12:31:45.865 2470564 flip.py:156] subpath ['131', '124', '122', '129', '127', '78', '62', '79', '99', '121', '144', '145', '146', '147', '198', '201', '200', '245', '301', '300', '315', '207', '293', '235', '178', '179', '167', '165', '277', '276', '274', '193', '190', '191', '194', '195', '241', '211', '216', '217', '214', '215', '286', '287', '285', '236', '220', '237', '257', '279', '302', '303', '304', '305', '356', '359', '358', '403', '459', '458', '473', '322', '321', '319', '318', '448', '449', '419', '418', '421', '398', '420', '423', '335', '334', '326', '329', '328', '346', '447', '440', '438', '445', '443', '394', '378', '395'] is superfluous, discarding it
W1217 12:31:45.865 2470564 flip.py:156] subpath ['131', '124', '122', '129', '127', '78', '62', '79', '99', '121', '144', '145', '146', '147', '198', '201', '200', '245', '301', '300', '315', '164', '163', '161', '160', '290', '291', '261', '260', '263', '240', '262', '265', '177', '176', '168', '171', '170', '188', '289', '282', '280', '287', '285', '236', '278', '254', '284', '223', '222', '221', '237', '257', '279', '302', '303', '304', '305', '356', '359', '358', '403', '459', '458', '473', '322', '321', '319', '318', '448', '449', '419', '418', '421', '398', '420', '423', '335', '334', '326', '329', '328', '346', '447', '440', '438', '445', '443', '394', '436', '412', '442', '381', '380', '379', '395'] is superfluous, discarding it
W1217 12:31:45.865 2470564 flip.py:156] subpath ['131', '124', '122', '129', '127', '78', '62', '79', '99', '121', '144', '145', '146', '147', '198', '201', '200', '245', '301', '300', '315', '164', '163', '161', '160', '290', '291', '261', '260', '263', '240', '262', '265', '177', '176', '168', '171', '170', '188', '289', '282', '280', '287', '285', '236', '278', '254', '284', '223', '222', '221', '237', '257', '279', '302', '303', '304', '305', '356', '359', '358', '403', '459', '458', '473', '322', '321', '319', '318', '448', '449', '419', '418', '421', '398', '420', '423', '335', '334', '326', '329', '328', '346', '447', '440', '438', '445', '443', '394', '378', '395'] is superfluous, discarding it
W1217 12:31:45.865 2470564 flip.py:156] subpath ['131', '124', '122', '129', '127', '78', '62', '79', '99', '121', '144', '145', '146', '147', '198', '201', '200', '245', '301', '300', '315', '164', '163', '161', '160', '290', '291', '261', '260', '263', '240', '262', '265', '177', '176', '168', '171', '170', '188', '289', '282', '280', '287', '285', '236', '220', '237', '257', '279', '302', '303', '304', '305', '356', '359', '358', '403', '459', '458', '473', '322', '321', '319', '318', '448', '449', '419', '418', '421', '398', '420', '423', '335', '334', '326', '329', '328', '346', '447', '440', '438', '445', '443', '394', '436', '412', '442', '381', '380', '379', '395'] is superfluous, discarding it
W1217 12:31:45.865 2470564 flip.py:156] subpath ['131', '124', '122', '129', '127', '78', '62', '79', '99', '121', '144', '145', '146', '147', '198', '201', '200', '245', '301', '300', '315', '164', '163', '161', '160', '290', '291', '261', '260', '263', '240', '262', '265', '177', '176', '168', '171', '170', '188', '289', '282', '280', '287', '285', '236', '220', '237', '257', '279', '302', '303', '304', '305', '356', '359', '358', '403', '459', '458', '473', '322', '321', '319', '318', '448', '449', '419', '418', '421', '398', '420', '423', '335', '334', '326', '329', '328', '346', '447', '440', '438', '445', '443', '394', '378', '395'] is superfluous, discarding it
W1217 12:31:45.872 2470564 flip.py:156] subpath ['164', '163', '161', '160', '290', '291', '261', '260', '263', '240', '262', '265', '177', '176', '168', '171', '170', '188', '289', '282', '280', '287', '285', '236', '278', '254', '284', '223', '222', '221', '237', '257', '279', '302', '303', '304', '305', '356', '359', '358', '403', '459', '458', '473', '322', '321', '319', '318', '448', '449', '419', '418', '421', '398', '420', '423', '335', '334', '326', '329', '328', '346', '447', '440', '438', '445', '443', '394', '436', '412', '442', '381', '380', '379', '395'] is superfluous, discarding it
W1217 12:31:45.872 2470564 flip.py:156] subpath ['164', '163', '161', '160', '290', '291', '261', '260', '263', '240', '262', '265', '177', '176', '168', '171', '170', '188', '289', '282', '280', '287', '285', '236', '278', '254', '284', '223', '222', '221', '237', '257', '279', '302', '303', '304', '305', '356', '359', '358', '403', '459', '458', '473', '322', '321', '319', '318', '448', '449', '419', '418', '421', '398', '420', '423', '335', '334', '326', '329', '328', '346', '447', '440', '438', '445', '443', '394', '378', '395'] is superfluous, discarding it
W1217 12:31:45.872 2470564 flip.py:156] subpath ['164', '163', '161', '160', '290', '291', '261', '260', '263', '240', '262', '265', '177', '176', '168', '171', '170', '188', '289', '282', '280', '287', '285', '236', '220', '237', '257', '279', '302', '303', '304', '305', '356', '359', '358', '403', '459', '458', '473', '322', '321', '319', '318', '448', '449', '419', '418', '421', '398', '420', '423', '335', '334', '326', '329', '328', '346', '447', '440', '438', '445', '443', '394', '436', '412', '442', '381', '380', '379', '395'] is superfluous, discarding it
W1217 12:31:45.872 2470564 flip.py:156] subpath ['164', '163', '161', '160', '290', '291', '261', '260', '263', '240', '262', '265', '177', '176', '168', '171', '170', '188', '289', '282', '280', '287', '285', '236', '220', '237', '257', '279', '302', '303', '304', '305', '356', '359', '358', '403', '459', '458', '473', '322', '321', '319', '318', '448', '449', '419', '418', '421', '398', '420', '423', '335', '334', '326', '329', '328', '346', '447', '440', '438', '445', '443', '394', '378', '395'] 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 74, in initialize
    self.color_dag(self.initial)
  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 40 is not green in initial graph
