task_etp.txt.o372538.1:z = -86;
task_etp.txt.o372538.1:==========
task_etp.txt.o372538.1:% Wall time: 564.880337
task_etp.txt.o372538.1:% Conflicts: 84334
task_etp.txt.o372538.10:3745 conflicts
task_etp.txt.o372538.10:7.53 seconds search time
task_etp.txt.o372538.10:z = 72;
task_etp.txt.o372538.10:z = 64;
task_etp.txt.o372538.10:z = 35;
task_etp.txt.o372538.10:z = 32;
task_etp.txt.o372538.10:z = 24;
task_etp.txt.o372538.10:z = 23;
task_etp.txt.o372538.10:z = 22;
task_etp.txt.o372538.10:z = 14;
task_etp.txt.o372538.10:z = 11;
task_etp.txt.o372538.10:z = 10;
task_etp.txt.o372538.10:z = 9;
task_etp.txt.o372538.10:z = 4;
task_etp.txt.o372538.10:z = 2;
task_etp.txt.o372538.10:z = 1;
task_etp.txt.o372538.10:z = -1;
task_etp.txt.o372538.10:z = -5;
task_etp.txt.o372538.10:z = -6;
task_etp.txt.o372538.10:z = -8;
task_etp.txt.o372538.10:z = -9;
task_etp.txt.o372538.10:z = -10;
task_etp.txt.o372538.10:z = -12;
task_etp.txt.o372538.10:z = -13;
task_etp.txt.o372538.10:z = -14;
task_etp.txt.o372538.10:z = -15;
task_etp.txt.o372538.10:z = -17;
task_etp.txt.o372538.10:z = -18;
task_etp.txt.o372538.10:z = -20;
task_etp.txt.o372538.10:z = -22;
task_etp.txt.o372538.10:z = -43;
task_etp.txt.o372538.10:z = -46;
task_etp.txt.o372538.10:z = -49;
task_etp.txt.o372538.10:z = -50;
task_etp.txt.o372538.10:z = -51;
task_etp.txt.o372538.10:z = -52;
task_etp.txt.o372538.10:z = -53;
task_etp.txt.o372538.10:z = -55;
task_etp.txt.o372538.10:z = -58;
task_etp.txt.o372538.10:z = -59;
task_etp.txt.o372538.10:z = -60;
task_etp.txt.o372538.10:z = -63;
task_etp.txt.o372538.10:z = -66;
task_etp.txt.o372538.10:z = -67;
task_etp.txt.o372538.10:z = -70;
task_etp.txt.o372538.10:z = -71;
task_etp.txt.o372538.10:z = -72;
task_etp.txt.o372538.10:z = -73;
task_etp.txt.o372538.10:z = -74;
task_etp.txt.o372538.10:z = -75;
task_etp.txt.o372538.10:z = -76;
task_etp.txt.o372538.10:z = -77;
task_etp.txt.o372538.10:z = -78;
task_etp.txt.o372538.10:z = -79;
task_etp.txt.o372538.10:z = -80;
task_etp.txt.o372538.10:z = -81;
task_etp.txt.o372538.10:z = -82;
task_etp.txt.o372538.10:z = -83;
task_etp.txt.o372538.10:z = -84;
task_etp.txt.o372538.10:z = -85;
task_etp.txt.o372538.10:z = -86;
task_etp.txt.o372538.10:==========
task_etp.txt.o372538.100:677 conflicts
task_etp.txt.o372538.100:1.01 seconds search time
task_etp.txt.o372538.100:z = 50;
task_etp.txt.o372538.100:z = 49;
task_etp.txt.o372538.100:z = 35;
task_etp.txt.o372538.100:z = 34;
task_etp.txt.o372538.100:z = 31;
task_etp.txt.o372538.100:z = 27;
task_etp.txt.o372538.100:z = 26;
task_etp.txt.o372538.100:z = 25;
task_etp.txt.o372538.100:z = 18;
task_etp.txt.o372538.100:z = 13;
task_etp.txt.o372538.100:z = 12;
task_etp.txt.o372538.100:z = -9;
task_etp.txt.o372538.100:z = -12;
task_etp.txt.o372538.100:z = -17;
task_etp.txt.o372538.100:z = -20;
task_etp.txt.o372538.100:z = -21;
task_etp.txt.o372538.100:z = -28;
task_etp.txt.o372538.100:z = -32;
task_etp.txt.o372538.100:z = -43;
task_etp.txt.o372538.100:z = -56;
task_etp.txt.o372538.100:z = -60;
task_etp.txt.o372538.100:z = -63;
task_etp.txt.o372538.100:z = -66;
task_etp.txt.o372538.100:z = -70;
task_etp.txt.o372538.100:z = -71;
task_etp.txt.o372538.100:z = -75;
task_etp.txt.o372538.100:z = -76;
task_etp.txt.o372538.100:z = -79;
task_etp.txt.o372538.100:z = -81;
task_etp.txt.o372538.100:z = -82;
task_etp.txt.o372538.100:z = -83;
task_etp.txt.o372538.100:z = -84;
task_etp.txt.o372538.100:z = -86;
task_etp.txt.o372538.100:z = -87;
task_etp.txt.o372538.100:z = -89;
task_etp.txt.o372538.100:z = -92;
task_etp.txt.o372538.100:z = -93;
task_etp.txt.o372538.100:z = -94;
task_etp.txt.o372538.100:==========
task_etp.txt.o372538.101:z = -25;
task_etp.txt.o372538.101:% Wall time: 610.002816
task_etp.txt.o372538.101:% Conflicts: 22407
task_etp.txt.o372538.102:z = -27;
task_etp.txt.o372538.102:% Wall time: 610.001876
task_etp.txt.o372538.102:% Conflicts: 24455
task_etp.txt.o372538.103:z = -28;
task_etp.txt.o372538.103:% Wall time: 610.024872
task_etp.txt.o372538.103:% Conflicts: 23019
task_etp.txt.o372538.104:z = -28;
task_etp.txt.o372538.104:% Wall time: 610.033959
task_etp.txt.o372538.104:% Conflicts: 26406
task_etp.txt.o372538.105:z = -22;
task_etp.txt.o372538.105:% Wall time: 610.034749
task_etp.txt.o372538.105:% Conflicts: 10573
task_etp.txt.o372538.106:z = -55;
task_etp.txt.o372538.106:==========
task_etp.txt.o372538.106:% Wall time: 208.309939
task_etp.txt.o372538.106:% Conflicts: 2047
task_etp.txt.o372538.107:z = -55;
task_etp.txt.o372538.107:==========
task_etp.txt.o372538.107:% Wall time: 52.436918
task_etp.txt.o372538.107:% Conflicts: 1042
task_etp.txt.o372538.108:72176 conflicts
task_etp.txt.o372538.108:119.94 seconds search time
task_etp.txt.o372538.108:z = 31;
task_etp.txt.o372538.108:z = 16;
task_etp.txt.o372538.108:z = -5;
task_etp.txt.o372538.108:z = -21;
task_etp.txt.o372538.108:z = -22;
task_etp.txt.o372538.108:z = -23;
task_etp.txt.o372538.108:z = -24;
task_etp.txt.o372538.108:z = -25;
task_etp.txt.o372538.108:z = -26;
task_etp.txt.o372538.108:z = -27;
task_etp.txt.o372538.108:z = -28;
task_etp.txt.o372538.108:z = -29;
task_etp.txt.o372538.108:z = -30;
task_etp.txt.o372538.108:z = -31;
task_etp.txt.o372538.108:z = -32;
task_etp.txt.o372538.108:z = -33;
task_etp.txt.o372538.108:z = -34;
task_etp.txt.o372538.108:z = -35;
task_etp.txt.o372538.108:z = -36;
task_etp.txt.o372538.108:z = -37;
task_etp.txt.o372538.108:z = -38;
task_etp.txt.o372538.108:z = -39;
task_etp.txt.o372538.108:z = -40;
task_etp.txt.o372538.108:z = -41;
task_etp.txt.o372538.108:z = -42;
task_etp.txt.o372538.108:z = -43;
task_etp.txt.o372538.108:z = -44;
task_etp.txt.o372538.108:z = -45;
task_etp.txt.o372538.108:z = -46;
task_etp.txt.o372538.108:z = -47;
task_etp.txt.o372538.108:z = -48;
task_etp.txt.o372538.108:z = -49;
task_etp.txt.o372538.108:z = -50;
task_etp.txt.o372538.108:z = -51;
task_etp.txt.o372538.108:z = -52;
task_etp.txt.o372538.108:z = -53;
task_etp.txt.o372538.108:z = -54;
task_etp.txt.o372538.108:z = -55;
task_etp.txt.o372538.108:==========
task_etp.txt.o372538.109:205087 conflicts
task_etp.txt.o372538.109:611.71 seconds search time
task_etp.txt.o372538.109:z = 31;
task_etp.txt.o372538.109:z = 16;
task_etp.txt.o372538.109:z = -5;
task_etp.txt.o372538.109:z = -21;
task_etp.txt.o372538.109:z = -22;
task_etp.txt.o372538.109:z = -23;
task_etp.txt.o372538.109:z = -24;
task_etp.txt.o372538.109:z = -25;
task_etp.txt.o372538.109:z = -26;
task_etp.txt.o372538.109:z = -27;
task_etp.txt.o372538.109:z = -28;
task_etp.txt.o372538.109:z = -29;
task_etp.txt.o372538.109:z = -30;
task_etp.txt.o372538.109:z = -31;
task_etp.txt.o372538.109:z = -32;
task_etp.txt.o372538.109:z = -33;
task_etp.txt.o372538.109:z = -34;
task_etp.txt.o372538.109:z = -35;
task_etp.txt.o372538.109:z = -36;
task_etp.txt.o372538.109:z = -37;
task_etp.txt.o372538.109:z = -38;
task_etp.txt.o372538.109:z = -39;
task_etp.txt.o372538.109:z = -40;
task_etp.txt.o372538.109:z = -41;
task_etp.txt.o372538.109:z = -42;
task_etp.txt.o372538.109:z = -43;
task_etp.txt.o372538.109:z = -44;
task_etp.txt.o372538.109:z = -45;
task_etp.txt.o372538.109:z = -46;
task_etp.txt.o372538.109:z = -47;
task_etp.txt.o372538.109:z = -48;
task_etp.txt.o372538.109:z = -49;
task_etp.txt.o372538.109:z = -50;
task_etp.txt.o372538.109:z = -51;
task_etp.txt.o372538.109:z = -52;
task_etp.txt.o372538.109:z = -53;
task_etp.txt.o372538.109:z = -54;
task_etp.txt.o372538.11:z = -41;
task_etp.txt.o372538.11:% Wall time: 610.028967
task_etp.txt.o372538.11:% Conflicts: 50586
task_etp.txt.o372538.110:12417 conflicts
task_etp.txt.o372538.110:73.24 seconds search time
task_etp.txt.o372538.110:z = 31;
task_etp.txt.o372538.110:z = 3;
task_etp.txt.o372538.110:z = 2;
task_etp.txt.o372538.110:z = 0;
task_etp.txt.o372538.110:z = -5;
task_etp.txt.o372538.110:z = -7;
task_etp.txt.o372538.110:z = -8;
task_etp.txt.o372538.110:z = -10;
task_etp.txt.o372538.110:z = -11;
task_etp.txt.o372538.110:z = -12;
task_etp.txt.o372538.110:z = -13;
task_etp.txt.o372538.110:z = -14;
task_etp.txt.o372538.110:z = -15;
task_etp.txt.o372538.110:z = -16;
task_etp.txt.o372538.110:z = -17;
task_etp.txt.o372538.110:z = -19;
task_etp.txt.o372538.110:z = -23;
task_etp.txt.o372538.110:z = -26;
task_etp.txt.o372538.110:z = -27;
task_etp.txt.o372538.110:z = -29;
task_etp.txt.o372538.110:z = -30;
task_etp.txt.o372538.110:z = -31;
task_etp.txt.o372538.110:z = -32;
task_etp.txt.o372538.110:z = -33;
task_etp.txt.o372538.110:z = -34;
task_etp.txt.o372538.110:z = -35;
task_etp.txt.o372538.110:z = -36;
task_etp.txt.o372538.110:z = -37;
task_etp.txt.o372538.110:z = -39;
task_etp.txt.o372538.110:z = -40;
task_etp.txt.o372538.110:z = -41;
task_etp.txt.o372538.110:z = -42;
task_etp.txt.o372538.110:z = -43;
task_etp.txt.o372538.110:z = -44;
task_etp.txt.o372538.110:z = -45;
task_etp.txt.o372538.110:z = -46;
task_etp.txt.o372538.110:z = -47;
task_etp.txt.o372538.110:z = -48;
task_etp.txt.o372538.110:z = -49;
task_etp.txt.o372538.110:z = -50;
task_etp.txt.o372538.110:z = -51;
task_etp.txt.o372538.110:z = -52;
task_etp.txt.o372538.110:z = -53;
task_etp.txt.o372538.110:z = -54;
task_etp.txt.o372538.110:z = -55;
task_etp.txt.o372538.110:==========
task_etp.txt.o372538.111:z = -76;
task_etp.txt.o372538.111:% Wall time: 610.013148
task_etp.txt.o372538.111:% Conflicts: 69224
task_etp.txt.o372538.112:z = -76;
task_etp.txt.o372538.112:% Wall time: 610.005110
task_etp.txt.o372538.112:% Conflicts: 59765
task_etp.txt.o372538.113:z = -76;
task_etp.txt.o372538.113:% Wall time: 610.004987
task_etp.txt.o372538.113:% Conflicts: 76406
task_etp.txt.o372538.114:z = -76;
task_etp.txt.o372538.114:% Wall time: 610.003513
task_etp.txt.o372538.114:% Conflicts: 53516
task_etp.txt.o372538.115:z = -74;
task_etp.txt.o372538.115:% Wall time: 610.030203
task_etp.txt.o372538.115:% Conflicts: 11044
task_etp.txt.o372538.116:z = -79;
task_etp.txt.o372538.116:==========
task_etp.txt.o372538.116:% Wall time: 270.159037
task_etp.txt.o372538.116:% Conflicts: 1399
task_etp.txt.o372538.117:z = -79;
task_etp.txt.o372538.117:% Wall time: 610.072501
task_etp.txt.o372538.117:% Conflicts: 5565
task_etp.txt.o372538.118:367695 conflicts
task_etp.txt.o372538.118:610.76 seconds search time
task_etp.txt.o372538.118:z = 47;
task_etp.txt.o372538.118:z = 0;
task_etp.txt.o372538.118:z = -17;
task_etp.txt.o372538.118:z = -20;
task_etp.txt.o372538.118:z = -21;
task_etp.txt.o372538.118:z = -22;
task_etp.txt.o372538.118:z = -23;
task_etp.txt.o372538.118:z = -26;
task_etp.txt.o372538.118:z = -28;
task_etp.txt.o372538.118:z = -29;
task_etp.txt.o372538.118:z = -30;
task_etp.txt.o372538.118:z = -31;
task_etp.txt.o372538.118:z = -32;
task_etp.txt.o372538.118:z = -33;
task_etp.txt.o372538.118:z = -34;
task_etp.txt.o372538.118:z = -35;
task_etp.txt.o372538.118:z = -36;
task_etp.txt.o372538.118:z = -37;
task_etp.txt.o372538.118:z = -38;
task_etp.txt.o372538.118:z = -39;
task_etp.txt.o372538.118:z = -40;
task_etp.txt.o372538.118:z = -41;
task_etp.txt.o372538.118:z = -42;
task_etp.txt.o372538.118:z = -43;
task_etp.txt.o372538.118:z = -44;
task_etp.txt.o372538.118:z = -45;
task_etp.txt.o372538.118:z = -46;
task_etp.txt.o372538.118:z = -47;
task_etp.txt.o372538.118:z = -48;
task_etp.txt.o372538.118:z = -49;
task_etp.txt.o372538.118:z = -50;
task_etp.txt.o372538.118:z = -51;
task_etp.txt.o372538.118:z = -52;
task_etp.txt.o372538.118:z = -53;
task_etp.txt.o372538.118:z = -54;
task_etp.txt.o372538.118:z = -55;
task_etp.txt.o372538.118:z = -56;
task_etp.txt.o372538.118:z = -57;
task_etp.txt.o372538.118:z = -58;
task_etp.txt.o372538.118:z = -59;
task_etp.txt.o372538.118:z = -60;
task_etp.txt.o372538.118:z = -61;
task_etp.txt.o372538.118:z = -62;
task_etp.txt.o372538.118:z = -63;
task_etp.txt.o372538.118:z = -64;
task_etp.txt.o372538.118:z = -65;
task_etp.txt.o372538.118:z = -66;
task_etp.txt.o372538.118:z = -67;
task_etp.txt.o372538.118:z = -68;
task_etp.txt.o372538.118:z = -69;
task_etp.txt.o372538.118:z = -70;
task_etp.txt.o372538.118:z = -71;
task_etp.txt.o372538.118:z = -72;
task_etp.txt.o372538.118:z = -73;
task_etp.txt.o372538.118:z = -74;
task_etp.txt.o372538.118:z = -75;
task_etp.txt.o372538.118:z = -76;
task_etp.txt.o372538.118:z = -78;
task_etp.txt.o372538.118:z = -79;
task_etp.txt.o372538.119:314041 conflicts
task_etp.txt.o372538.119:610.81 seconds search time
task_etp.txt.o372538.119:z = 47;
task_etp.txt.o372538.119:z = 0;
task_etp.txt.o372538.119:z = -17;
task_etp.txt.o372538.119:z = -20;
task_etp.txt.o372538.119:z = -21;
task_etp.txt.o372538.119:z = -22;
task_etp.txt.o372538.119:z = -23;
task_etp.txt.o372538.119:z = -26;
task_etp.txt.o372538.119:z = -28;
task_etp.txt.o372538.119:z = -29;
task_etp.txt.o372538.119:z = -30;
task_etp.txt.o372538.119:z = -31;
task_etp.txt.o372538.119:z = -32;
task_etp.txt.o372538.119:z = -33;
task_etp.txt.o372538.119:z = -34;
task_etp.txt.o372538.119:z = -35;
task_etp.txt.o372538.119:z = -36;
task_etp.txt.o372538.119:z = -37;
task_etp.txt.o372538.119:z = -38;
task_etp.txt.o372538.119:z = -39;
task_etp.txt.o372538.119:z = -40;
task_etp.txt.o372538.119:z = -41;
task_etp.txt.o372538.119:z = -42;
task_etp.txt.o372538.119:z = -43;
task_etp.txt.o372538.119:z = -44;
task_etp.txt.o372538.119:z = -45;
task_etp.txt.o372538.119:z = -46;
task_etp.txt.o372538.119:z = -47;
task_etp.txt.o372538.119:z = -48;
task_etp.txt.o372538.119:z = -49;
task_etp.txt.o372538.119:z = -50;
task_etp.txt.o372538.119:z = -51;
task_etp.txt.o372538.119:z = -52;
task_etp.txt.o372538.119:z = -53;
task_etp.txt.o372538.119:z = -54;
task_etp.txt.o372538.119:z = -55;
task_etp.txt.o372538.119:z = -56;
task_etp.txt.o372538.119:z = -57;
task_etp.txt.o372538.119:z = -58;
task_etp.txt.o372538.119:z = -59;
task_etp.txt.o372538.119:z = -60;
task_etp.txt.o372538.119:z = -61;
task_etp.txt.o372538.119:z = -62;
task_etp.txt.o372538.119:z = -63;
task_etp.txt.o372538.119:z = -64;
task_etp.txt.o372538.119:z = -65;
task_etp.txt.o372538.119:z = -66;
task_etp.txt.o372538.119:z = -67;
task_etp.txt.o372538.119:z = -68;
task_etp.txt.o372538.119:z = -69;
task_etp.txt.o372538.119:z = -70;
task_etp.txt.o372538.119:z = -71;
task_etp.txt.o372538.119:z = -72;
task_etp.txt.o372538.119:z = -73;
task_etp.txt.o372538.119:z = -74;
task_etp.txt.o372538.119:z = -75;
task_etp.txt.o372538.119:z = -76;
task_etp.txt.o372538.119:z = -78;
task_etp.txt.o372538.119:z = -79;
task_etp.txt.o372538.12:z = -41;
task_etp.txt.o372538.12:% Wall time: 610.005431
task_etp.txt.o372538.12:% Conflicts: 59362
task_etp.txt.o372538.120:43129 conflicts
task_etp.txt.o372538.120:610.65 seconds search time
task_etp.txt.o372538.120:z = 47;
task_etp.txt.o372538.120:z = 0;
task_etp.txt.o372538.120:z = -20;
task_etp.txt.o372538.120:z = -33;
task_etp.txt.o372538.120:z = -36;
task_etp.txt.o372538.120:z = -37;
task_etp.txt.o372538.120:z = -41;
task_etp.txt.o372538.120:z = -42;
task_etp.txt.o372538.120:z = -43;
task_etp.txt.o372538.120:z = -44;
task_etp.txt.o372538.120:z = -46;
task_etp.txt.o372538.120:z = -47;
task_etp.txt.o372538.120:z = -50;
task_etp.txt.o372538.120:z = -52;
task_etp.txt.o372538.120:z = -53;
task_etp.txt.o372538.120:z = -54;
task_etp.txt.o372538.120:z = -55;
task_etp.txt.o372538.120:z = -56;
task_etp.txt.o372538.120:z = -57;
task_etp.txt.o372538.120:z = -58;
task_etp.txt.o372538.120:z = -59;
task_etp.txt.o372538.120:z = -60;
task_etp.txt.o372538.120:z = -61;
task_etp.txt.o372538.120:z = -62;
task_etp.txt.o372538.120:z = -63;
task_etp.txt.o372538.120:z = -64;
task_etp.txt.o372538.120:z = -65;
task_etp.txt.o372538.120:z = -67;
task_etp.txt.o372538.120:z = -68;
task_etp.txt.o372538.120:z = -70;
task_etp.txt.o372538.120:z = -71;
task_etp.txt.o372538.120:z = -72;
task_etp.txt.o372538.120:z = -73;
task_etp.txt.o372538.120:z = -74;
task_etp.txt.o372538.120:z = -75;
task_etp.txt.o372538.120:z = -76;
task_etp.txt.o372538.120:z = -77;
task_etp.txt.o372538.120:z = -78;
task_etp.txt.o372538.120:z = -79;
task_etp.txt.o372538.121:z = -60;
task_etp.txt.o372538.121:% Wall time: 610.014345
task_etp.txt.o372538.121:% Conflicts: 48940
task_etp.txt.o372538.122:z = -60;
task_etp.txt.o372538.122:% Wall time: 610.010908
task_etp.txt.o372538.122:% Conflicts: 43255
task_etp.txt.o372538.123:z = -60;
task_etp.txt.o372538.123:% Wall time: 610.027756
task_etp.txt.o372538.123:% Conflicts: 50636
task_etp.txt.o372538.124:z = -60;
task_etp.txt.o372538.124:% Wall time: 610.005951
task_etp.txt.o372538.124:% Conflicts: 36575
task_etp.txt.o372538.125:z = -60;
task_etp.txt.o372538.125:% Wall time: 610.011709
task_etp.txt.o372538.125:% Conflicts: 8410
task_etp.txt.o372538.126:z = -65;
task_etp.txt.o372538.126:==========
task_etp.txt.o372538.126:% Wall time: 159.662007
task_etp.txt.o372538.126:% Conflicts: 1169
task_etp.txt.o372538.127:z = -65;
task_etp.txt.o372538.127:% Wall time: 610.021772
task_etp.txt.o372538.127:% Conflicts: 4339
task_etp.txt.o372538.128:214835 conflicts
task_etp.txt.o372538.128:610.79 seconds search time
task_etp.txt.o372538.128:z = 29;
task_etp.txt.o372538.128:z = 25;
task_etp.txt.o372538.128:z = 22;
task_etp.txt.o372538.128:z = -20;
task_etp.txt.o372538.128:z = -32;
task_etp.txt.o372538.128:z = -34;
task_etp.txt.o372538.128:z = -35;
task_etp.txt.o372538.128:z = -37;
task_etp.txt.o372538.128:z = -38;
task_etp.txt.o372538.128:z = -39;
task_etp.txt.o372538.128:z = -40;
task_etp.txt.o372538.128:z = -41;
task_etp.txt.o372538.128:z = -42;
task_etp.txt.o372538.128:z = -43;
task_etp.txt.o372538.128:z = -45;
task_etp.txt.o372538.128:z = -46;
task_etp.txt.o372538.128:z = -48;
task_etp.txt.o372538.128:z = -49;
task_etp.txt.o372538.128:z = -50;
task_etp.txt.o372538.128:z = -51;
task_etp.txt.o372538.128:z = -52;
task_etp.txt.o372538.128:z = -54;
task_etp.txt.o372538.128:z = -55;
task_etp.txt.o372538.128:z = -57;
task_etp.txt.o372538.128:z = -58;
task_etp.txt.o372538.128:z = -59;
task_etp.txt.o372538.128:z = -60;
task_etp.txt.o372538.128:z = -61;
task_etp.txt.o372538.128:z = -62;
task_etp.txt.o372538.128:z = -63;
task_etp.txt.o372538.128:z = -64;
task_etp.txt.o372538.128:z = -65;
task_etp.txt.o372538.129:276322 conflicts
task_etp.txt.o372538.129:611.23 seconds search time
task_etp.txt.o372538.129:z = 29;
task_etp.txt.o372538.129:z = 25;
task_etp.txt.o372538.129:z = 22;
task_etp.txt.o372538.129:z = -20;
task_etp.txt.o372538.129:z = -32;
task_etp.txt.o372538.129:z = -34;
task_etp.txt.o372538.129:z = -35;
task_etp.txt.o372538.129:z = -37;
task_etp.txt.o372538.129:z = -38;
task_etp.txt.o372538.129:z = -39;
task_etp.txt.o372538.129:z = -40;
task_etp.txt.o372538.129:z = -41;
task_etp.txt.o372538.129:z = -42;
task_etp.txt.o372538.129:z = -43;
task_etp.txt.o372538.129:z = -45;
task_etp.txt.o372538.129:z = -46;
task_etp.txt.o372538.129:z = -48;
task_etp.txt.o372538.129:z = -49;
task_etp.txt.o372538.129:z = -50;
task_etp.txt.o372538.129:z = -51;
task_etp.txt.o372538.129:z = -52;
task_etp.txt.o372538.129:z = -54;
task_etp.txt.o372538.129:z = -55;
task_etp.txt.o372538.129:z = -57;
task_etp.txt.o372538.129:z = -58;
task_etp.txt.o372538.129:z = -59;
task_etp.txt.o372538.129:z = -60;
task_etp.txt.o372538.129:z = -61;
task_etp.txt.o372538.129:z = -62;
task_etp.txt.o372538.129:z = -63;
task_etp.txt.o372538.129:z = -64;
task_etp.txt.o372538.129:z = -65;
task_etp.txt.o372538.13:z = -41;
task_etp.txt.o372538.13:% Wall time: 610.008994
task_etp.txt.o372538.13:% Conflicts: 54176
task_etp.txt.o372538.130:49193 conflicts
task_etp.txt.o372538.130:610.75 seconds search time
task_etp.txt.o372538.130:z = 29;
task_etp.txt.o372538.130:z = 25;
task_etp.txt.o372538.130:z = 22;
task_etp.txt.o372538.130:z = 5;
task_etp.txt.o372538.130:z = 3;
task_etp.txt.o372538.130:z = 2;
task_etp.txt.o372538.130:z = -19;
task_etp.txt.o372538.130:z = -24;
task_etp.txt.o372538.130:z = -25;
task_etp.txt.o372538.130:z = -26;
task_etp.txt.o372538.130:z = -27;
task_etp.txt.o372538.130:z = -30;
task_etp.txt.o372538.130:z = -31;
task_etp.txt.o372538.130:z = -32;
task_etp.txt.o372538.130:z = -34;
task_etp.txt.o372538.130:z = -35;
task_etp.txt.o372538.130:z = -37;
task_etp.txt.o372538.130:z = -38;
task_etp.txt.o372538.130:z = -40;
task_etp.txt.o372538.130:z = -41;
task_etp.txt.o372538.130:z = -42;
task_etp.txt.o372538.130:z = -43;
task_etp.txt.o372538.130:z = -44;
task_etp.txt.o372538.130:z = -45;
task_etp.txt.o372538.130:z = -46;
task_etp.txt.o372538.130:z = -47;
task_etp.txt.o372538.130:z = -48;
task_etp.txt.o372538.130:z = -49;
task_etp.txt.o372538.130:z = -50;
task_etp.txt.o372538.130:z = -51;
task_etp.txt.o372538.130:z = -52;
task_etp.txt.o372538.130:z = -53;
task_etp.txt.o372538.130:z = -54;
task_etp.txt.o372538.130:z = -55;
task_etp.txt.o372538.130:z = -56;
task_etp.txt.o372538.130:z = -57;
task_etp.txt.o372538.130:z = -58;
task_etp.txt.o372538.130:z = -59;
task_etp.txt.o372538.130:z = -60;
task_etp.txt.o372538.130:z = -62;
task_etp.txt.o372538.130:z = -63;
task_etp.txt.o372538.131:z = -76;
task_etp.txt.o372538.131:% Wall time: 610.005461
task_etp.txt.o372538.131:% Conflicts: 55451
task_etp.txt.o372538.132:z = -76;
task_etp.txt.o372538.132:% Wall time: 610.002251
task_etp.txt.o372538.132:% Conflicts: 64720
task_etp.txt.o372538.133:z = -74;
task_etp.txt.o372538.133:% Wall time: 610.015298
task_etp.txt.o372538.133:% Conflicts: 61986
task_etp.txt.o372538.134:z = -76;
task_etp.txt.o372538.134:% Wall time: 610.003040
task_etp.txt.o372538.134:% Conflicts: 55113
task_etp.txt.o372538.135:z = -73;
task_etp.txt.o372538.135:% Wall time: 610.301288
task_etp.txt.o372538.135:% Conflicts: 9608
task_etp.txt.o372538.136:z = -76;
task_etp.txt.o372538.136:% Wall time: 610.657069
task_etp.txt.o372538.136:% Conflicts: 3237
task_etp.txt.o372538.137:z = -76;
task_etp.txt.o372538.137:% Wall time: 610.048547
task_etp.txt.o372538.137:% Conflicts: 6884
task_etp.txt.o372538.138:460692 conflicts
task_etp.txt.o372538.138:610.79 seconds search time
task_etp.txt.o372538.138:z = 50;
task_etp.txt.o372538.138:z = 49;
task_etp.txt.o372538.138:z = 48;
task_etp.txt.o372538.138:z = 43;
task_etp.txt.o372538.138:z = 41;
task_etp.txt.o372538.138:z = 40;
task_etp.txt.o372538.138:z = 28;
task_etp.txt.o372538.138:z = 27;
task_etp.txt.o372538.138:z = 26;
task_etp.txt.o372538.138:z = 21;
task_etp.txt.o372538.138:z = 19;
task_etp.txt.o372538.138:z = 18;
task_etp.txt.o372538.138:z = 17;
task_etp.txt.o372538.138:z = 15;
task_etp.txt.o372538.138:z = 14;
task_etp.txt.o372538.138:z = 13;
task_etp.txt.o372538.138:z = 12;
task_etp.txt.o372538.138:z = 11;
task_etp.txt.o372538.138:z = 10;
task_etp.txt.o372538.138:z = 7;
task_etp.txt.o372538.138:z = 5;
task_etp.txt.o372538.138:z = 3;
task_etp.txt.o372538.138:z = 2;
task_etp.txt.o372538.138:z = 1;
task_etp.txt.o372538.138:z = -2;
task_etp.txt.o372538.138:z = -4;
task_etp.txt.o372538.138:z = -8;
task_etp.txt.o372538.138:z = -11;
task_etp.txt.o372538.138:z = -12;
task_etp.txt.o372538.138:z = -16;
task_etp.txt.o372538.138:z = -20;
task_etp.txt.o372538.138:z = -23;
task_etp.txt.o372538.138:z = -26;
task_etp.txt.o372538.138:z = -29;
task_etp.txt.o372538.138:z = -30;
task_etp.txt.o372538.138:z = -32;
task_etp.txt.o372538.138:z = -33;
task_etp.txt.o372538.138:z = -34;
task_etp.txt.o372538.138:z = -35;
task_etp.txt.o372538.138:z = -36;
task_etp.txt.o372538.138:z = -37;
task_etp.txt.o372538.138:z = -39;
task_etp.txt.o372538.138:z = -40;
task_etp.txt.o372538.138:z = -43;
task_etp.txt.o372538.138:z = -46;
task_etp.txt.o372538.138:z = -47;
task_etp.txt.o372538.138:z = -48;
task_etp.txt.o372538.138:z = -50;
task_etp.txt.o372538.138:z = -51;
task_etp.txt.o372538.138:z = -52;
task_etp.txt.o372538.138:z = -53;
task_etp.txt.o372538.138:z = -54;
task_etp.txt.o372538.138:z = -55;
task_etp.txt.o372538.138:z = -57;
task_etp.txt.o372538.138:z = -58;
task_etp.txt.o372538.138:z = -59;
task_etp.txt.o372538.138:z = -60;
task_etp.txt.o372538.138:z = -61;
task_etp.txt.o372538.138:z = -62;
task_etp.txt.o372538.138:z = -63;
task_etp.txt.o372538.138:z = -64;
task_etp.txt.o372538.138:z = -65;
task_etp.txt.o372538.138:z = -66;
task_etp.txt.o372538.138:z = -67;
task_etp.txt.o372538.138:z = -68;
task_etp.txt.o372538.138:z = -69;
task_etp.txt.o372538.138:z = -70;
task_etp.txt.o372538.138:z = -71;
task_etp.txt.o372538.138:z = -72;
task_etp.txt.o372538.138:z = -73;
task_etp.txt.o372538.138:z = -74;
task_etp.txt.o372538.138:z = -75;
task_etp.txt.o372538.138:z = -76;
task_etp.txt.o372538.139:452256 conflicts
task_etp.txt.o372538.139:610.78 seconds search time
task_etp.txt.o372538.139:z = 50;
task_etp.txt.o372538.139:z = 49;
task_etp.txt.o372538.139:z = 48;
task_etp.txt.o372538.139:z = 43;
task_etp.txt.o372538.139:z = 41;
task_etp.txt.o372538.139:z = 40;
task_etp.txt.o372538.139:z = 28;
task_etp.txt.o372538.139:z = 27;
task_etp.txt.o372538.139:z = 26;
task_etp.txt.o372538.139:z = 21;
task_etp.txt.o372538.139:z = 19;
task_etp.txt.o372538.139:z = 18;
task_etp.txt.o372538.139:z = 17;
task_etp.txt.o372538.139:z = 15;
task_etp.txt.o372538.139:z = 14;
task_etp.txt.o372538.139:z = 13;
task_etp.txt.o372538.139:z = 12;
task_etp.txt.o372538.139:z = 11;
task_etp.txt.o372538.139:z = 10;
task_etp.txt.o372538.139:z = 7;
task_etp.txt.o372538.139:z = 5;
task_etp.txt.o372538.139:z = 3;
task_etp.txt.o372538.139:z = 2;
task_etp.txt.o372538.139:z = 1;
task_etp.txt.o372538.139:z = -2;
task_etp.txt.o372538.139:z = -4;
task_etp.txt.o372538.139:z = -8;
task_etp.txt.o372538.139:z = -11;
task_etp.txt.o372538.139:z = -12;
task_etp.txt.o372538.139:z = -16;
task_etp.txt.o372538.139:z = -20;
task_etp.txt.o372538.139:z = -23;
task_etp.txt.o372538.139:z = -26;
task_etp.txt.o372538.139:z = -29;
task_etp.txt.o372538.139:z = -30;
task_etp.txt.o372538.139:z = -32;
task_etp.txt.o372538.139:z = -33;
task_etp.txt.o372538.139:z = -34;
task_etp.txt.o372538.139:z = -35;
task_etp.txt.o372538.139:z = -36;
task_etp.txt.o372538.139:z = -37;
task_etp.txt.o372538.139:z = -39;
task_etp.txt.o372538.139:z = -40;
task_etp.txt.o372538.139:z = -43;
task_etp.txt.o372538.139:z = -46;
task_etp.txt.o372538.139:z = -47;
task_etp.txt.o372538.139:z = -48;
task_etp.txt.o372538.139:z = -50;
task_etp.txt.o372538.139:z = -51;
task_etp.txt.o372538.139:z = -52;
task_etp.txt.o372538.139:z = -53;
task_etp.txt.o372538.139:z = -54;
task_etp.txt.o372538.139:z = -55;
task_etp.txt.o372538.139:z = -56;
task_etp.txt.o372538.139:z = -57;
task_etp.txt.o372538.139:z = -58;
task_etp.txt.o372538.139:z = -60;
task_etp.txt.o372538.139:z = -61;
task_etp.txt.o372538.139:z = -62;
task_etp.txt.o372538.139:z = -63;
task_etp.txt.o372538.139:z = -64;
task_etp.txt.o372538.139:z = -65;
task_etp.txt.o372538.139:z = -66;
task_etp.txt.o372538.139:z = -67;
task_etp.txt.o372538.139:z = -68;
task_etp.txt.o372538.139:z = -69;
task_etp.txt.o372538.139:z = -70;
task_etp.txt.o372538.139:z = -71;
task_etp.txt.o372538.139:z = -72;
task_etp.txt.o372538.139:z = -73;
task_etp.txt.o372538.139:z = -74;
task_etp.txt.o372538.139:z = -75;
task_etp.txt.o372538.139:z = -76;
task_etp.txt.o372538.139:z = -77;
task_etp.txt.o372538.139:z = -78;
task_etp.txt.o372538.139:z = -79;
task_etp.txt.o372538.139:z = -80;
task_etp.txt.o372538.139:z = -81;
task_etp.txt.o372538.14:z = -41;
task_etp.txt.o372538.14:% Wall time: 610.005902
task_etp.txt.o372538.14:% Conflicts: 47295
task_etp.txt.o372538.140:196746 conflicts
task_etp.txt.o372538.140:610.76 seconds search time
task_etp.txt.o372538.140:z = 50;
task_etp.txt.o372538.140:z = 42;
task_etp.txt.o372538.140:z = 24;
task_etp.txt.o372538.140:z = 22;
task_etp.txt.o372538.140:z = 21;
task_etp.txt.o372538.140:z = 19;
task_etp.txt.o372538.140:z = 12;
task_etp.txt.o372538.140:z = 7;
task_etp.txt.o372538.140:z = -18;
task_etp.txt.o372538.140:z = -20;
task_etp.txt.o372538.140:z = -35;
task_etp.txt.o372538.140:z = -36;
task_etp.txt.o372538.140:z = -37;
task_etp.txt.o372538.140:z = -38;
task_etp.txt.o372538.140:z = -39;
task_etp.txt.o372538.140:z = -40;
task_etp.txt.o372538.140:z = -41;
task_etp.txt.o372538.140:z = -42;
task_etp.txt.o372538.140:z = -43;
task_etp.txt.o372538.140:z = -44;
task_etp.txt.o372538.140:z = -45;
task_etp.txt.o372538.140:z = -47;
task_etp.txt.o372538.140:z = -49;
task_etp.txt.o372538.140:z = -52;
task_etp.txt.o372538.140:z = -53;
task_etp.txt.o372538.140:z = -54;
task_etp.txt.o372538.140:z = -55;
task_etp.txt.o372538.140:z = -56;
task_etp.txt.o372538.140:z = -57;
task_etp.txt.o372538.140:z = -58;
task_etp.txt.o372538.140:z = -59;
task_etp.txt.o372538.140:z = -60;
task_etp.txt.o372538.140:z = -61;
task_etp.txt.o372538.140:z = -62;
task_etp.txt.o372538.140:z = -63;
task_etp.txt.o372538.140:z = -64;
task_etp.txt.o372538.140:z = -65;
task_etp.txt.o372538.140:z = -66;
task_etp.txt.o372538.140:z = -68;
task_etp.txt.o372538.140:z = -69;
task_etp.txt.o372538.140:z = -70;
task_etp.txt.o372538.140:z = -71;
task_etp.txt.o372538.140:z = -72;
task_etp.txt.o372538.140:z = -73;
task_etp.txt.o372538.140:z = -74;
task_etp.txt.o372538.140:z = -75;
task_etp.txt.o372538.140:z = -76;
task_etp.txt.o372538.141:z = -63;
task_etp.txt.o372538.141:% Wall time: 610.016894
task_etp.txt.o372538.141:% Conflicts: 59561
task_etp.txt.o372538.142:z = -62;
task_etp.txt.o372538.142:% Wall time: 610.023793
task_etp.txt.o372538.142:% Conflicts: 58593
task_etp.txt.o372538.143:z = -61;
task_etp.txt.o372538.143:% Wall time: 610.000670
task_etp.txt.o372538.143:% Conflicts: 84185
task_etp.txt.o372538.144:z = -63;
task_etp.txt.o372538.144:% Wall time: 610.001519
task_etp.txt.o372538.144:% Conflicts: 59489
task_etp.txt.o372538.145:z = -57;
task_etp.txt.o372538.145:% Wall time: 610.050361
task_etp.txt.o372538.145:% Conflicts: 11416
task_etp.txt.o372538.146:z = -63;
task_etp.txt.o372538.146:==========
task_etp.txt.o372538.146:% Wall time: 428.159655
task_etp.txt.o372538.146:% Conflicts: 5142
task_etp.txt.o372538.147:z = -54;
task_etp.txt.o372538.147:% Wall time: 610.056834
task_etp.txt.o372538.147:% Conflicts: 7877
task_etp.txt.o372538.148:340211 conflicts
task_etp.txt.o372538.148:610.79 seconds search time
task_etp.txt.o372538.148:z = 45;
task_etp.txt.o372538.148:z = 27;
task_etp.txt.o372538.148:z = -3;
task_etp.txt.o372538.148:z = -10;
task_etp.txt.o372538.148:z = -11;
task_etp.txt.o372538.148:z = -18;
task_etp.txt.o372538.148:z = -22;
task_etp.txt.o372538.148:z = -24;
task_etp.txt.o372538.148:z = -26;
task_etp.txt.o372538.148:z = -27;
task_etp.txt.o372538.148:z = -28;
task_etp.txt.o372538.148:z = -29;
task_etp.txt.o372538.148:z = -31;
task_etp.txt.o372538.148:z = -32;
task_etp.txt.o372538.148:z = -34;
task_etp.txt.o372538.148:z = -36;
task_etp.txt.o372538.148:z = -37;
task_etp.txt.o372538.148:z = -40;
task_etp.txt.o372538.148:z = -44;
task_etp.txt.o372538.148:z = -45;
task_etp.txt.o372538.148:z = -46;
task_etp.txt.o372538.148:z = -47;
task_etp.txt.o372538.148:z = -48;
task_etp.txt.o372538.148:z = -49;
task_etp.txt.o372538.148:z = -50;
task_etp.txt.o372538.148:z = -51;
task_etp.txt.o372538.148:z = -52;
task_etp.txt.o372538.148:z = -53;
task_etp.txt.o372538.148:z = -54;
task_etp.txt.o372538.148:z = -55;
task_etp.txt.o372538.148:z = -56;
task_etp.txt.o372538.148:z = -57;
task_etp.txt.o372538.148:z = -58;
task_etp.txt.o372538.148:z = -59;
task_etp.txt.o372538.148:z = -60;
task_etp.txt.o372538.148:z = -61;
task_etp.txt.o372538.148:z = -62;
task_etp.txt.o372538.148:z = -63;
task_etp.txt.o372538.149:325251 conflicts
task_etp.txt.o372538.149:610.76 seconds search time
task_etp.txt.o372538.149:z = 45;
task_etp.txt.o372538.149:z = 27;
task_etp.txt.o372538.149:z = -3;
task_etp.txt.o372538.149:z = -10;
task_etp.txt.o372538.149:z = -11;
task_etp.txt.o372538.149:z = -18;
task_etp.txt.o372538.149:z = -22;
task_etp.txt.o372538.149:z = -24;
task_etp.txt.o372538.149:z = -26;
task_etp.txt.o372538.149:z = -27;
task_etp.txt.o372538.149:z = -28;
task_etp.txt.o372538.149:z = -29;
task_etp.txt.o372538.149:z = -31;
task_etp.txt.o372538.149:z = -32;
task_etp.txt.o372538.149:z = -34;
task_etp.txt.o372538.149:z = -36;
task_etp.txt.o372538.149:z = -37;
task_etp.txt.o372538.149:z = -40;
task_etp.txt.o372538.149:z = -44;
task_etp.txt.o372538.149:z = -45;
task_etp.txt.o372538.149:z = -46;
task_etp.txt.o372538.149:z = -47;
task_etp.txt.o372538.149:z = -48;
task_etp.txt.o372538.149:z = -49;
task_etp.txt.o372538.149:z = -50;
task_etp.txt.o372538.149:z = -51;
task_etp.txt.o372538.149:z = -52;
task_etp.txt.o372538.149:z = -53;
task_etp.txt.o372538.149:z = -54;
task_etp.txt.o372538.149:z = -55;
task_etp.txt.o372538.149:z = -56;
task_etp.txt.o372538.149:z = -57;
task_etp.txt.o372538.149:z = -58;
task_etp.txt.o372538.149:z = -59;
task_etp.txt.o372538.149:z = -60;
task_etp.txt.o372538.149:z = -61;
task_etp.txt.o372538.149:z = -62;
task_etp.txt.o372538.149:z = -63;
task_etp.txt.o372538.15:z = -41;
task_etp.txt.o372538.15:% Wall time: 610.000625
task_etp.txt.o372538.15:% Conflicts: 20194
task_etp.txt.o372538.150:38068 conflicts
task_etp.txt.o372538.150:610.84 seconds search time
task_etp.txt.o372538.150:z = 45;
task_etp.txt.o372538.150:z = 27;
task_etp.txt.o372538.150:z = 10;
task_etp.txt.o372538.150:z = 7;
task_etp.txt.o372538.150:z = 3;
task_etp.txt.o372538.150:z = 2;
task_etp.txt.o372538.150:z = 1;
task_etp.txt.o372538.150:z = 0;
task_etp.txt.o372538.150:z = -6;
task_etp.txt.o372538.150:z = -9;
task_etp.txt.o372538.150:z = -10;
task_etp.txt.o372538.150:z = -11;
task_etp.txt.o372538.150:z = -12;
task_etp.txt.o372538.150:z = -13;
task_etp.txt.o372538.150:z = -14;
task_etp.txt.o372538.150:z = -15;
task_etp.txt.o372538.150:z = -16;
task_etp.txt.o372538.150:z = -17;
task_etp.txt.o372538.150:z = -19;
task_etp.txt.o372538.150:z = -20;
task_etp.txt.o372538.150:z = -21;
task_etp.txt.o372538.150:z = -22;
task_etp.txt.o372538.150:z = -23;
task_etp.txt.o372538.150:z = -25;
task_etp.txt.o372538.150:z = -27;
task_etp.txt.o372538.150:z = -28;
task_etp.txt.o372538.150:z = -29;
task_etp.txt.o372538.150:z = -30;
task_etp.txt.o372538.150:z = -31;
task_etp.txt.o372538.150:z = -33;
task_etp.txt.o372538.150:z = -36;
task_etp.txt.o372538.150:z = -37;
task_etp.txt.o372538.150:z = -41;
task_etp.txt.o372538.150:z = -42;
task_etp.txt.o372538.150:z = -43;
task_etp.txt.o372538.150:z = -44;
task_etp.txt.o372538.150:z = -45;
task_etp.txt.o372538.150:z = -46;
task_etp.txt.o372538.150:z = -47;
task_etp.txt.o372538.150:z = -48;
task_etp.txt.o372538.150:z = -49;
task_etp.txt.o372538.150:z = -50;
task_etp.txt.o372538.150:z = -51;
task_etp.txt.o372538.150:z = -52;
task_etp.txt.o372538.150:z = -53;
task_etp.txt.o372538.150:z = -54;
task_etp.txt.o372538.150:z = -55;
task_etp.txt.o372538.150:z = -56;
task_etp.txt.o372538.150:z = -57;
task_etp.txt.o372538.150:z = -58;
task_etp.txt.o372538.150:z = -59;
task_etp.txt.o372538.150:z = -60;
task_etp.txt.o372538.151:z = -30;
task_etp.txt.o372538.151:==========
task_etp.txt.o372538.151:% Wall time: 191.254621
task_etp.txt.o372538.151:% Conflicts: 11059
task_etp.txt.o372538.152:z = -30;
task_etp.txt.o372538.152:==========
task_etp.txt.o372538.152:% Wall time: 218.480304
task_etp.txt.o372538.152:% Conflicts: 15750
task_etp.txt.o372538.153:z = -30;
task_etp.txt.o372538.153:==========
task_etp.txt.o372538.153:% Wall time: 280.654488
task_etp.txt.o372538.153:% Conflicts: 22177
task_etp.txt.o372538.154:z = -30;
task_etp.txt.o372538.154:==========
task_etp.txt.o372538.154:% Wall time: 239.296383
task_etp.txt.o372538.154:% Conflicts: 16096
task_etp.txt.o372538.155:z = -30;
task_etp.txt.o372538.155:==========
task_etp.txt.o372538.155:% Wall time: 123.480702
task_etp.txt.o372538.155:% Conflicts: 5829
task_etp.txt.o372538.156:z = -30;
task_etp.txt.o372538.156:==========
task_etp.txt.o372538.156:% Wall time: 49.519019
task_etp.txt.o372538.156:% Conflicts: 226
task_etp.txt.o372538.157:z = -30;
task_etp.txt.o372538.157:==========
task_etp.txt.o372538.157:% Wall time: 32.249839
task_etp.txt.o372538.157:% Conflicts: 963
task_etp.txt.o372538.158:12545 conflicts
task_etp.txt.o372538.158:21.88 seconds search time
task_etp.txt.o372538.158:z = 39;
task_etp.txt.o372538.158:z = 37;
task_etp.txt.o372538.158:z = 24;
task_etp.txt.o372538.158:z = 12;
task_etp.txt.o372538.158:z = 11;
task_etp.txt.o372538.158:z = 10;
task_etp.txt.o372538.158:z = -2;
task_etp.txt.o372538.158:z = -3;
task_etp.txt.o372538.158:z = -4;
task_etp.txt.o372538.158:z = -7;
task_etp.txt.o372538.158:z = -9;
task_etp.txt.o372538.158:z = -12;
task_etp.txt.o372538.158:z = -13;
task_etp.txt.o372538.158:z = -14;
task_etp.txt.o372538.158:z = -15;
task_etp.txt.o372538.158:z = -16;
task_etp.txt.o372538.158:z = -17;
task_etp.txt.o372538.158:z = -18;
task_etp.txt.o372538.158:z = -19;
task_etp.txt.o372538.158:z = -20;
task_etp.txt.o372538.158:z = -21;
task_etp.txt.o372538.158:z = -22;
task_etp.txt.o372538.158:z = -23;
task_etp.txt.o372538.158:z = -24;
task_etp.txt.o372538.158:z = -25;
task_etp.txt.o372538.158:z = -26;
task_etp.txt.o372538.158:z = -27;
task_etp.txt.o372538.158:z = -28;
task_etp.txt.o372538.158:z = -29;
task_etp.txt.o372538.158:z = -30;
task_etp.txt.o372538.158:==========
task_etp.txt.o372538.159:6537 conflicts
task_etp.txt.o372538.159:17.34 seconds search time
task_etp.txt.o372538.159:z = 39;
task_etp.txt.o372538.159:z = 37;
task_etp.txt.o372538.159:z = 24;
task_etp.txt.o372538.159:z = 12;
task_etp.txt.o372538.159:z = 11;
task_etp.txt.o372538.159:z = 10;
task_etp.txt.o372538.159:z = -2;
task_etp.txt.o372538.159:z = -3;
task_etp.txt.o372538.159:z = -4;
task_etp.txt.o372538.159:z = -7;
task_etp.txt.o372538.159:z = -9;
task_etp.txt.o372538.159:z = -12;
task_etp.txt.o372538.159:z = -13;
task_etp.txt.o372538.159:z = -14;
task_etp.txt.o372538.159:z = -15;
task_etp.txt.o372538.159:z = -16;
task_etp.txt.o372538.159:z = -17;
task_etp.txt.o372538.159:z = -18;
task_etp.txt.o372538.159:z = -19;
task_etp.txt.o372538.159:z = -20;
task_etp.txt.o372538.159:z = -21;
task_etp.txt.o372538.159:z = -22;
task_etp.txt.o372538.159:z = -23;
task_etp.txt.o372538.159:z = -24;
task_etp.txt.o372538.159:z = -25;
task_etp.txt.o372538.159:z = -26;
task_etp.txt.o372538.159:z = -27;
task_etp.txt.o372538.159:z = -28;
task_etp.txt.o372538.159:z = -29;
task_etp.txt.o372538.159:z = -30;
task_etp.txt.o372538.159:==========
task_etp.txt.o372538.16:z = -79;
task_etp.txt.o372538.16:==========
task_etp.txt.o372538.16:% Wall time: 109.282402
task_etp.txt.o372538.16:% Conflicts: 2334
task_etp.txt.o372538.160:4561 conflicts
task_etp.txt.o372538.160:3.86 seconds search time
task_etp.txt.o372538.160:z = 39;
task_etp.txt.o372538.160:z = 23;
task_etp.txt.o372538.160:z = 18;
task_etp.txt.o372538.160:z = 9;
task_etp.txt.o372538.160:z = 3;
task_etp.txt.o372538.160:z = 2;
task_etp.txt.o372538.160:z = 1;
task_etp.txt.o372538.160:z = 0;
task_etp.txt.o372538.160:z = -2;
task_etp.txt.o372538.160:z = -5;
task_etp.txt.o372538.160:z = -6;
task_etp.txt.o372538.160:z = -8;
task_etp.txt.o372538.160:z = -9;
task_etp.txt.o372538.160:z = -11;
task_etp.txt.o372538.160:z = -12;
task_etp.txt.o372538.160:z = -13;
task_etp.txt.o372538.160:z = -14;
task_etp.txt.o372538.160:z = -15;
task_etp.txt.o372538.160:z = -16;
task_etp.txt.o372538.160:z = -17;
task_etp.txt.o372538.160:z = -18;
task_etp.txt.o372538.160:z = -19;
task_etp.txt.o372538.160:z = -20;
task_etp.txt.o372538.160:z = -21;
task_etp.txt.o372538.160:z = -22;
task_etp.txt.o372538.160:z = -24;
task_etp.txt.o372538.160:z = -25;
task_etp.txt.o372538.160:z = -26;
task_etp.txt.o372538.160:z = -27;
task_etp.txt.o372538.160:z = -28;
task_etp.txt.o372538.160:z = -29;
task_etp.txt.o372538.160:z = -30;
task_etp.txt.o372538.160:==========
task_etp.txt.o372538.161:z = -29;
task_etp.txt.o372538.161:% Wall time: 610.007473
task_etp.txt.o372538.161:% Conflicts: 28273
task_etp.txt.o372538.162:z = -29;
task_etp.txt.o372538.162:% Wall time: 610.006648
task_etp.txt.o372538.162:% Conflicts: 29168
task_etp.txt.o372538.163:z = -21;
task_etp.txt.o372538.163:% Wall time: 610.011273
task_etp.txt.o372538.163:% Conflicts: 36728
task_etp.txt.o372538.164:z = -25;
task_etp.txt.o372538.164:% Wall time: 610.021335
task_etp.txt.o372538.164:% Conflicts: 23132
task_etp.txt.o372538.165:z = -61;
task_etp.txt.o372538.165:% Wall time: 610.023836
task_etp.txt.o372538.165:% Conflicts: 9621
task_etp.txt.o372538.166:z = -62;
task_etp.txt.o372538.166:% Wall time: 610.334455
task_etp.txt.o372538.166:% Conflicts: 5107
task_etp.txt.o372538.167:z = -62;
task_etp.txt.o372538.167:% Wall time: 610.001684
task_etp.txt.o372538.167:% Conflicts: 8171
task_etp.txt.o372538.168:225462 conflicts
task_etp.txt.o372538.168:422.58 seconds search time
task_etp.txt.o372538.168:z = 1;
task_etp.txt.o372538.168:z = 0;
task_etp.txt.o372538.168:z = -1;
task_etp.txt.o372538.168:z = -2;
task_etp.txt.o372538.168:z = -3;
task_etp.txt.o372538.168:z = -4;
task_etp.txt.o372538.168:z = -5;
task_etp.txt.o372538.168:z = -6;
task_etp.txt.o372538.168:z = -7;
task_etp.txt.o372538.168:z = -8;
task_etp.txt.o372538.168:z = -9;
task_etp.txt.o372538.168:z = -10;
task_etp.txt.o372538.168:z = -12;
task_etp.txt.o372538.168:z = -13;
task_etp.txt.o372538.168:z = -14;
task_etp.txt.o372538.168:z = -15;
task_etp.txt.o372538.168:z = -16;
task_etp.txt.o372538.168:z = -17;
task_etp.txt.o372538.168:z = -18;
task_etp.txt.o372538.168:z = -19;
task_etp.txt.o372538.168:z = -20;
task_etp.txt.o372538.168:z = -21;
task_etp.txt.o372538.168:z = -22;
task_etp.txt.o372538.168:z = -23;
task_etp.txt.o372538.168:z = -24;
task_etp.txt.o372538.168:z = -25;
task_etp.txt.o372538.168:z = -26;
task_etp.txt.o372538.168:z = -27;
task_etp.txt.o372538.168:z = -28;
task_etp.txt.o372538.168:z = -29;
task_etp.txt.o372538.168:z = -30;
task_etp.txt.o372538.168:z = -31;
task_etp.txt.o372538.168:z = -32;
task_etp.txt.o372538.168:z = -33;
task_etp.txt.o372538.168:z = -34;
task_etp.txt.o372538.168:z = -35;
task_etp.txt.o372538.168:z = -36;
task_etp.txt.o372538.168:z = -37;
task_etp.txt.o372538.168:z = -38;
task_etp.txt.o372538.168:z = -39;
task_etp.txt.o372538.168:z = -40;
task_etp.txt.o372538.168:z = -41;
task_etp.txt.o372538.168:z = -42;
task_etp.txt.o372538.168:z = -43;
task_etp.txt.o372538.168:z = -44;
task_etp.txt.o372538.168:z = -45;
task_etp.txt.o372538.168:z = -46;
task_etp.txt.o372538.168:z = -47;
task_etp.txt.o372538.168:z = -48;
task_etp.txt.o372538.168:z = -49;
task_etp.txt.o372538.168:z = -50;
task_etp.txt.o372538.168:z = -51;
task_etp.txt.o372538.168:z = -52;
task_etp.txt.o372538.168:z = -53;
task_etp.txt.o372538.168:z = -54;
task_etp.txt.o372538.168:z = -55;
task_etp.txt.o372538.168:z = -56;
task_etp.txt.o372538.168:z = -57;
task_etp.txt.o372538.168:z = -58;
task_etp.txt.o372538.168:z = -59;
task_etp.txt.o372538.168:z = -60;
task_etp.txt.o372538.168:z = -61;
task_etp.txt.o372538.168:z = -62;
task_etp.txt.o372538.168:z = -63;
task_etp.txt.o372538.168:==========
task_etp.txt.o372538.169:244448 conflicts
task_etp.txt.o372538.169:359.73 seconds search time
task_etp.txt.o372538.169:z = 1;
task_etp.txt.o372538.169:z = 0;
task_etp.txt.o372538.169:z = -1;
task_etp.txt.o372538.169:z = -2;
task_etp.txt.o372538.169:z = -3;
task_etp.txt.o372538.169:z = -4;
task_etp.txt.o372538.169:z = -5;
task_etp.txt.o372538.169:z = -6;
task_etp.txt.o372538.169:z = -7;
task_etp.txt.o372538.169:z = -8;
task_etp.txt.o372538.169:z = -9;
task_etp.txt.o372538.169:z = -10;
task_etp.txt.o372538.169:z = -12;
task_etp.txt.o372538.169:z = -13;
task_etp.txt.o372538.169:z = -14;
task_etp.txt.o372538.169:z = -15;
task_etp.txt.o372538.169:z = -16;
task_etp.txt.o372538.169:z = -17;
task_etp.txt.o372538.169:z = -18;
task_etp.txt.o372538.169:z = -19;
task_etp.txt.o372538.169:z = -20;
task_etp.txt.o372538.169:z = -21;
task_etp.txt.o372538.169:z = -22;
task_etp.txt.o372538.169:z = -23;
task_etp.txt.o372538.169:z = -24;
task_etp.txt.o372538.169:z = -25;
task_etp.txt.o372538.169:z = -26;
task_etp.txt.o372538.169:z = -27;
task_etp.txt.o372538.169:z = -28;
task_etp.txt.o372538.169:z = -29;
task_etp.txt.o372538.169:z = -30;
task_etp.txt.o372538.169:z = -31;
task_etp.txt.o372538.169:z = -32;
task_etp.txt.o372538.169:z = -33;
task_etp.txt.o372538.169:z = -34;
task_etp.txt.o372538.169:z = -35;
task_etp.txt.o372538.169:z = -36;
task_etp.txt.o372538.169:z = -37;
task_etp.txt.o372538.169:z = -38;
task_etp.txt.o372538.169:z = -39;
task_etp.txt.o372538.169:z = -40;
task_etp.txt.o372538.169:z = -41;
task_etp.txt.o372538.169:z = -42;
task_etp.txt.o372538.169:z = -43;
task_etp.txt.o372538.169:z = -44;
task_etp.txt.o372538.169:z = -45;
task_etp.txt.o372538.169:z = -46;
task_etp.txt.o372538.169:z = -47;
task_etp.txt.o372538.169:z = -48;
task_etp.txt.o372538.169:z = -49;
task_etp.txt.o372538.169:z = -50;
task_etp.txt.o372538.169:z = -51;
task_etp.txt.o372538.169:z = -52;
task_etp.txt.o372538.169:z = -53;
task_etp.txt.o372538.169:z = -54;
task_etp.txt.o372538.169:z = -55;
task_etp.txt.o372538.169:z = -56;
task_etp.txt.o372538.169:z = -57;
task_etp.txt.o372538.169:z = -58;
task_etp.txt.o372538.169:z = -59;
task_etp.txt.o372538.169:z = -60;
task_etp.txt.o372538.169:z = -61;
task_etp.txt.o372538.169:z = -62;
task_etp.txt.o372538.169:z = -63;
task_etp.txt.o372538.169:==========
task_etp.txt.o372538.17:z = -79;
task_etp.txt.o372538.17:==========
task_etp.txt.o372538.17:% Wall time: 284.816070
task_etp.txt.o372538.17:% Conflicts: 5370
task_etp.txt.o372538.170:66708 conflicts
task_etp.txt.o372538.170:342.26 seconds search time
task_etp.txt.o372538.170:z = 1;
task_etp.txt.o372538.170:z = -1;
task_etp.txt.o372538.170:z = -4;
task_etp.txt.o372538.170:z = -7;
task_etp.txt.o372538.170:z = -8;
task_etp.txt.o372538.170:z = -10;
task_etp.txt.o372538.170:z = -12;
task_etp.txt.o372538.170:z = -13;
task_etp.txt.o372538.170:z = -14;
task_etp.txt.o372538.170:z = -15;
task_etp.txt.o372538.170:z = -16;
task_etp.txt.o372538.170:z = -17;
task_etp.txt.o372538.170:z = -19;
task_etp.txt.o372538.170:z = -20;
task_etp.txt.o372538.170:z = -21;
task_etp.txt.o372538.170:z = -22;
task_etp.txt.o372538.170:z = -23;
task_etp.txt.o372538.170:z = -24;
task_etp.txt.o372538.170:z = -25;
task_etp.txt.o372538.170:z = -26;
task_etp.txt.o372538.170:z = -27;
task_etp.txt.o372538.170:z = -28;
task_etp.txt.o372538.170:z = -29;
task_etp.txt.o372538.170:z = -30;
task_etp.txt.o372538.170:z = -31;
task_etp.txt.o372538.170:z = -32;
task_etp.txt.o372538.170:z = -34;
task_etp.txt.o372538.170:z = -35;
task_etp.txt.o372538.170:z = -36;
task_etp.txt.o372538.170:z = -37;
task_etp.txt.o372538.170:z = -39;
task_etp.txt.o372538.170:z = -41;
task_etp.txt.o372538.170:z = -42;
task_etp.txt.o372538.170:z = -43;
task_etp.txt.o372538.170:z = -45;
task_etp.txt.o372538.170:z = -46;
task_etp.txt.o372538.170:z = -47;
task_etp.txt.o372538.170:z = -48;
task_etp.txt.o372538.170:z = -49;
task_etp.txt.o372538.170:z = -50;
task_etp.txt.o372538.170:z = -51;
task_etp.txt.o372538.170:z = -52;
task_etp.txt.o372538.170:z = -53;
task_etp.txt.o372538.170:z = -54;
task_etp.txt.o372538.170:z = -55;
task_etp.txt.o372538.170:z = -56;
task_etp.txt.o372538.170:z = -58;
task_etp.txt.o372538.170:z = -59;
task_etp.txt.o372538.170:z = -60;
task_etp.txt.o372538.170:z = -61;
task_etp.txt.o372538.170:z = -62;
task_etp.txt.o372538.170:z = -63;
task_etp.txt.o372538.170:==========
task_etp.txt.o372538.171:z = -57;
task_etp.txt.o372538.171:% Wall time: 610.026082
task_etp.txt.o372538.171:% Conflicts: 41387
task_etp.txt.o372538.172:z = -57;
task_etp.txt.o372538.172:% Wall time: 610.003060
task_etp.txt.o372538.172:% Conflicts: 40150
task_etp.txt.o372538.173:z = -57;
task_etp.txt.o372538.173:% Wall time: 610.000457
task_etp.txt.o372538.173:% Conflicts: 33472
task_etp.txt.o372538.174:z = -57;
task_etp.txt.o372538.174:% Wall time: 610.007339
task_etp.txt.o372538.174:% Conflicts: 32092
task_etp.txt.o372538.175:z = -49;
task_etp.txt.o372538.175:% Wall time: 610.118540
task_etp.txt.o372538.175:% Conflicts: 10405
task_etp.txt.o372538.176:z = -57;
task_etp.txt.o372538.176:==========
task_etp.txt.o372538.176:% Wall time: 105.779698
task_etp.txt.o372538.176:% Conflicts: 864
task_etp.txt.o372538.177:z = -54;
task_etp.txt.o372538.177:% Wall time: 610.036724
task_etp.txt.o372538.177:% Conflicts: 7084
task_etp.txt.o372538.178:466596 conflicts
task_etp.txt.o372538.178:610.83 seconds search time
task_etp.txt.o372538.178:z = 38;
task_etp.txt.o372538.178:z = 14;
task_etp.txt.o372538.178:z = -8;
task_etp.txt.o372538.178:z = -29;
task_etp.txt.o372538.178:z = -34;
task_etp.txt.o372538.178:z = -35;
task_etp.txt.o372538.178:z = -37;
task_etp.txt.o372538.178:z = -39;
task_etp.txt.o372538.178:z = -40;
task_etp.txt.o372538.178:z = -41;
task_etp.txt.o372538.178:z = -42;
task_etp.txt.o372538.178:z = -43;
task_etp.txt.o372538.178:z = -44;
task_etp.txt.o372538.178:z = -45;
task_etp.txt.o372538.178:z = -47;
task_etp.txt.o372538.178:z = -48;
task_etp.txt.o372538.178:z = -49;
task_etp.txt.o372538.178:z = -50;
task_etp.txt.o372538.178:z = -51;
task_etp.txt.o372538.178:z = -52;
task_etp.txt.o372538.178:z = -53;
task_etp.txt.o372538.178:z = -54;
task_etp.txt.o372538.178:z = -55;
task_etp.txt.o372538.178:z = -56;
task_etp.txt.o372538.178:z = -57;
task_etp.txt.o372538.179:336438 conflicts
task_etp.txt.o372538.179:610.82 seconds search time
task_etp.txt.o372538.179:z = 38;
task_etp.txt.o372538.179:z = 14;
task_etp.txt.o372538.179:z = -8;
task_etp.txt.o372538.179:z = -29;
task_etp.txt.o372538.179:z = -34;
task_etp.txt.o372538.179:z = -35;
task_etp.txt.o372538.179:z = -37;
task_etp.txt.o372538.179:z = -39;
task_etp.txt.o372538.179:z = -40;
task_etp.txt.o372538.179:z = -41;
task_etp.txt.o372538.179:z = -42;
task_etp.txt.o372538.179:z = -43;
task_etp.txt.o372538.179:z = -44;
task_etp.txt.o372538.179:z = -45;
task_etp.txt.o372538.179:z = -47;
task_etp.txt.o372538.179:z = -48;
task_etp.txt.o372538.179:z = -49;
task_etp.txt.o372538.179:z = -50;
task_etp.txt.o372538.179:z = -51;
task_etp.txt.o372538.179:z = -52;
task_etp.txt.o372538.179:z = -53;
task_etp.txt.o372538.179:z = -54;
task_etp.txt.o372538.179:z = -55;
task_etp.txt.o372538.179:z = -56;
task_etp.txt.o372538.179:z = -57;
task_etp.txt.o372538.18:325231 conflicts
task_etp.txt.o372538.18:610.49 seconds search time
task_etp.txt.o372538.18:z = 124;
task_etp.txt.o372538.18:z = 51;
task_etp.txt.o372538.18:z = 44;
task_etp.txt.o372538.18:z = 38;
task_etp.txt.o372538.18:z = 31;
task_etp.txt.o372538.18:z = 30;
task_etp.txt.o372538.18:z = 28;
task_etp.txt.o372538.18:z = 27;
task_etp.txt.o372538.18:z = 25;
task_etp.txt.o372538.18:z = 23;
task_etp.txt.o372538.18:z = 22;
task_etp.txt.o372538.18:z = 21;
task_etp.txt.o372538.18:z = 18;
task_etp.txt.o372538.18:z = 16;
task_etp.txt.o372538.18:z = 13;
task_etp.txt.o372538.18:z = 12;
task_etp.txt.o372538.18:z = 10;
task_etp.txt.o372538.18:z = 8;
task_etp.txt.o372538.18:z = 7;
task_etp.txt.o372538.18:z = 4;
task_etp.txt.o372538.18:z = -3;
task_etp.txt.o372538.18:z = -5;
task_etp.txt.o372538.18:z = -8;
task_etp.txt.o372538.18:z = -10;
task_etp.txt.o372538.18:z = -11;
task_etp.txt.o372538.18:z = -12;
task_etp.txt.o372538.18:z = -14;
task_etp.txt.o372538.18:z = -15;
task_etp.txt.o372538.18:z = -16;
task_etp.txt.o372538.18:z = -18;
task_etp.txt.o372538.18:z = -19;
task_etp.txt.o372538.18:z = -20;
task_etp.txt.o372538.18:z = -21;
task_etp.txt.o372538.18:z = -22;
task_etp.txt.o372538.18:z = -23;
task_etp.txt.o372538.18:z = -24;
task_etp.txt.o372538.18:z = -25;
task_etp.txt.o372538.18:z = -26;
task_etp.txt.o372538.18:z = -27;
task_etp.txt.o372538.18:z = -28;
task_etp.txt.o372538.18:z = -29;
task_etp.txt.o372538.18:z = -30;
task_etp.txt.o372538.18:z = -31;
task_etp.txt.o372538.18:z = -33;
task_etp.txt.o372538.18:z = -34;
task_etp.txt.o372538.18:z = -35;
task_etp.txt.o372538.18:z = -36;
task_etp.txt.o372538.18:z = -37;
task_etp.txt.o372538.18:z = -38;
task_etp.txt.o372538.18:z = -39;
task_etp.txt.o372538.18:z = -40;
task_etp.txt.o372538.18:z = -41;
task_etp.txt.o372538.18:z = -42;
task_etp.txt.o372538.18:z = -43;
task_etp.txt.o372538.18:z = -44;
task_etp.txt.o372538.18:z = -45;
task_etp.txt.o372538.18:z = -46;
task_etp.txt.o372538.18:z = -47;
task_etp.txt.o372538.18:z = -48;
task_etp.txt.o372538.18:z = -49;
task_etp.txt.o372538.18:z = -50;
task_etp.txt.o372538.18:z = -51;
task_etp.txt.o372538.18:z = -52;
task_etp.txt.o372538.18:z = -53;
task_etp.txt.o372538.18:z = -54;
task_etp.txt.o372538.18:z = -55;
task_etp.txt.o372538.18:z = -56;
task_etp.txt.o372538.18:z = -57;
task_etp.txt.o372538.18:z = -58;
task_etp.txt.o372538.18:z = -59;
task_etp.txt.o372538.18:z = -60;
task_etp.txt.o372538.18:z = -61;
task_etp.txt.o372538.18:z = -62;
task_etp.txt.o372538.18:z = -63;
task_etp.txt.o372538.18:z = -64;
task_etp.txt.o372538.18:z = -65;
task_etp.txt.o372538.18:z = -66;
task_etp.txt.o372538.18:z = -67;
task_etp.txt.o372538.18:z = -68;
task_etp.txt.o372538.18:z = -69;
task_etp.txt.o372538.18:z = -70;
task_etp.txt.o372538.180:69622 conflicts
task_etp.txt.o372538.180:610.80 seconds search time
task_etp.txt.o372538.180:z = 38;
task_etp.txt.o372538.180:z = 14;
task_etp.txt.o372538.180:z = 4;
task_etp.txt.o372538.180:z = -13;
task_etp.txt.o372538.180:z = -14;
task_etp.txt.o372538.180:z = -15;
task_etp.txt.o372538.180:z = -17;
task_etp.txt.o372538.180:z = -19;
task_etp.txt.o372538.180:z = -20;
task_etp.txt.o372538.180:z = -21;
task_etp.txt.o372538.180:z = -22;
task_etp.txt.o372538.180:z = -23;
task_etp.txt.o372538.180:z = -24;
task_etp.txt.o372538.180:z = -25;
task_etp.txt.o372538.180:z = -26;
task_etp.txt.o372538.180:z = -28;
task_etp.txt.o372538.180:z = -30;
task_etp.txt.o372538.180:z = -33;
task_etp.txt.o372538.180:z = -34;
task_etp.txt.o372538.180:z = -36;
task_etp.txt.o372538.180:z = -38;
task_etp.txt.o372538.180:z = -39;
task_etp.txt.o372538.180:z = -40;
task_etp.txt.o372538.180:z = -41;
task_etp.txt.o372538.180:z = -42;
task_etp.txt.o372538.180:z = -43;
task_etp.txt.o372538.180:z = -44;
task_etp.txt.o372538.180:z = -45;
task_etp.txt.o372538.180:z = -46;
task_etp.txt.o372538.180:z = -47;
task_etp.txt.o372538.180:z = -48;
task_etp.txt.o372538.180:z = -49;
task_etp.txt.o372538.181:z = -33;
task_etp.txt.o372538.181:% Wall time: 610.029263
task_etp.txt.o372538.181:% Conflicts: 34801
task_etp.txt.o372538.182:z = -32;
task_etp.txt.o372538.182:% Wall time: 610.021101
task_etp.txt.o372538.182:% Conflicts: 38005
task_etp.txt.o372538.183:z = -32;
task_etp.txt.o372538.183:% Wall time: 610.025667
task_etp.txt.o372538.183:% Conflicts: 32250
task_etp.txt.o372538.184:z = -32;
task_etp.txt.o372538.184:% Wall time: 610.009954
task_etp.txt.o372538.184:% Conflicts: 36136
task_etp.txt.o372538.185:z = -33;
task_etp.txt.o372538.185:% Wall time: 610.055842
task_etp.txt.o372538.185:% Conflicts: 14121
task_etp.txt.o372538.186:z = -67;
task_etp.txt.o372538.186:==========
task_etp.txt.o372538.186:% Wall time: 314.320987
task_etp.txt.o372538.186:% Conflicts: 13040
task_etp.txt.o372538.187:z = -63;
task_etp.txt.o372538.187:% Wall time: 610.099054
task_etp.txt.o372538.187:% Conflicts: 10130
task_etp.txt.o372538.188:318168 conflicts
task_etp.txt.o372538.188:610.81 seconds search time
task_etp.txt.o372538.188:z = 94;
task_etp.txt.o372538.188:z = 38;
task_etp.txt.o372538.188:z = 37;
task_etp.txt.o372538.188:z = 29;
task_etp.txt.o372538.188:z = 11;
task_etp.txt.o372538.188:z = 10;
task_etp.txt.o372538.188:z = 8;
task_etp.txt.o372538.188:z = 6;
task_etp.txt.o372538.188:z = 5;
task_etp.txt.o372538.188:z = -1;
task_etp.txt.o372538.188:z = -2;
task_etp.txt.o372538.188:z = -4;
task_etp.txt.o372538.188:z = -5;
task_etp.txt.o372538.188:z = -6;
task_etp.txt.o372538.188:z = -7;
task_etp.txt.o372538.188:z = -8;
task_etp.txt.o372538.188:z = -9;
task_etp.txt.o372538.188:z = -10;
task_etp.txt.o372538.188:z = -11;
task_etp.txt.o372538.188:z = -12;
task_etp.txt.o372538.188:z = -13;
task_etp.txt.o372538.188:z = -14;
task_etp.txt.o372538.188:z = -15;
task_etp.txt.o372538.188:z = -16;
task_etp.txt.o372538.188:z = -17;
task_etp.txt.o372538.188:z = -18;
task_etp.txt.o372538.188:z = -19;
task_etp.txt.o372538.188:z = -20;
task_etp.txt.o372538.188:z = -21;
task_etp.txt.o372538.188:z = -22;
task_etp.txt.o372538.188:z = -23;
task_etp.txt.o372538.188:z = -24;
task_etp.txt.o372538.188:z = -25;
task_etp.txt.o372538.188:z = -26;
task_etp.txt.o372538.188:z = -27;
task_etp.txt.o372538.188:z = -28;
task_etp.txt.o372538.188:z = -29;
task_etp.txt.o372538.188:z = -30;
task_etp.txt.o372538.188:z = -31;
task_etp.txt.o372538.188:z = -32;
task_etp.txt.o372538.188:z = -33;
task_etp.txt.o372538.188:z = -34;
task_etp.txt.o372538.188:z = -35;
task_etp.txt.o372538.188:z = -36;
task_etp.txt.o372538.188:z = -37;
task_etp.txt.o372538.188:z = -38;
task_etp.txt.o372538.188:z = -39;
task_etp.txt.o372538.188:z = -40;
task_etp.txt.o372538.188:z = -41;
task_etp.txt.o372538.188:z = -42;
task_etp.txt.o372538.188:z = -43;
task_etp.txt.o372538.188:z = -44;
task_etp.txt.o372538.188:z = -45;
task_etp.txt.o372538.188:z = -46;
task_etp.txt.o372538.188:z = -47;
task_etp.txt.o372538.188:z = -48;
task_etp.txt.o372538.188:z = -49;
task_etp.txt.o372538.188:z = -50;
task_etp.txt.o372538.188:z = -51;
task_etp.txt.o372538.188:z = -52;
task_etp.txt.o372538.188:z = -53;
task_etp.txt.o372538.188:z = -54;
task_etp.txt.o372538.188:z = -55;
task_etp.txt.o372538.189:331381 conflicts
task_etp.txt.o372538.189:610.86 seconds search time
task_etp.txt.o372538.189:z = 94;
task_etp.txt.o372538.189:z = 38;
task_etp.txt.o372538.189:z = 37;
task_etp.txt.o372538.189:z = 29;
task_etp.txt.o372538.189:z = 11;
task_etp.txt.o372538.189:z = 10;
task_etp.txt.o372538.189:z = 8;
task_etp.txt.o372538.189:z = 6;
task_etp.txt.o372538.189:z = 5;
task_etp.txt.o372538.189:z = -1;
task_etp.txt.o372538.189:z = -2;
task_etp.txt.o372538.189:z = -4;
task_etp.txt.o372538.189:z = -5;
task_etp.txt.o372538.189:z = -6;
task_etp.txt.o372538.189:z = -7;
task_etp.txt.o372538.189:z = -8;
task_etp.txt.o372538.189:z = -9;
task_etp.txt.o372538.189:z = -10;
task_etp.txt.o372538.189:z = -11;
task_etp.txt.o372538.189:z = -12;
task_etp.txt.o372538.189:z = -13;
task_etp.txt.o372538.189:z = -14;
task_etp.txt.o372538.189:z = -15;
task_etp.txt.o372538.189:z = -16;
task_etp.txt.o372538.189:z = -17;
task_etp.txt.o372538.189:z = -18;
task_etp.txt.o372538.189:z = -19;
task_etp.txt.o372538.189:z = -20;
task_etp.txt.o372538.189:z = -21;
task_etp.txt.o372538.189:z = -22;
task_etp.txt.o372538.189:z = -23;
task_etp.txt.o372538.189:z = -24;
task_etp.txt.o372538.189:z = -25;
task_etp.txt.o372538.189:z = -26;
task_etp.txt.o372538.189:z = -27;
task_etp.txt.o372538.189:z = -28;
task_etp.txt.o372538.189:z = -29;
task_etp.txt.o372538.189:z = -30;
task_etp.txt.o372538.189:z = -31;
task_etp.txt.o372538.189:z = -32;
task_etp.txt.o372538.189:z = -33;
task_etp.txt.o372538.189:z = -34;
task_etp.txt.o372538.189:z = -35;
task_etp.txt.o372538.189:z = -36;
task_etp.txt.o372538.189:z = -37;
task_etp.txt.o372538.189:z = -38;
task_etp.txt.o372538.189:z = -39;
task_etp.txt.o372538.189:z = -40;
task_etp.txt.o372538.189:z = -41;
task_etp.txt.o372538.189:z = -42;
task_etp.txt.o372538.189:z = -43;
task_etp.txt.o372538.189:z = -44;
task_etp.txt.o372538.189:z = -45;
task_etp.txt.o372538.189:z = -46;
task_etp.txt.o372538.189:z = -47;
task_etp.txt.o372538.189:z = -48;
task_etp.txt.o372538.189:z = -49;
task_etp.txt.o372538.189:z = -50;
task_etp.txt.o372538.189:z = -51;
task_etp.txt.o372538.189:z = -52;
task_etp.txt.o372538.189:z = -53;
task_etp.txt.o372538.189:z = -54;
task_etp.txt.o372538.189:z = -55;
task_etp.txt.o372538.189:z = -56;
task_etp.txt.o372538.189:z = -57;
task_etp.txt.o372538.189:z = -58;
task_etp.txt.o372538.189:z = -59;
task_etp.txt.o372538.189:z = -60;
task_etp.txt.o372538.189:z = -61;
task_etp.txt.o372538.189:z = -62;
task_etp.txt.o372538.189:z = -63;
task_etp.txt.o372538.19:49632 conflicts
task_etp.txt.o372538.19:56.63 seconds search time
task_etp.txt.o372538.19:z = 124;
task_etp.txt.o372538.19:z = 51;
task_etp.txt.o372538.19:z = 44;
task_etp.txt.o372538.19:z = 38;
task_etp.txt.o372538.19:z = 31;
task_etp.txt.o372538.19:z = 30;
task_etp.txt.o372538.19:z = 28;
task_etp.txt.o372538.19:z = 27;
task_etp.txt.o372538.19:z = 25;
task_etp.txt.o372538.19:z = 23;
task_etp.txt.o372538.19:z = 22;
task_etp.txt.o372538.19:z = 21;
task_etp.txt.o372538.19:z = 18;
task_etp.txt.o372538.19:z = 16;
task_etp.txt.o372538.19:z = 13;
task_etp.txt.o372538.19:z = 12;
task_etp.txt.o372538.19:z = 10;
task_etp.txt.o372538.19:z = 8;
task_etp.txt.o372538.19:z = 7;
task_etp.txt.o372538.19:z = 4;
task_etp.txt.o372538.19:z = -3;
task_etp.txt.o372538.19:z = -5;
task_etp.txt.o372538.19:z = -8;
task_etp.txt.o372538.19:z = -10;
task_etp.txt.o372538.19:z = -11;
task_etp.txt.o372538.19:z = -12;
task_etp.txt.o372538.19:z = -14;
task_etp.txt.o372538.19:z = -15;
task_etp.txt.o372538.19:z = -16;
task_etp.txt.o372538.19:z = -18;
task_etp.txt.o372538.19:z = -19;
task_etp.txt.o372538.19:z = -20;
task_etp.txt.o372538.19:z = -21;
task_etp.txt.o372538.19:z = -22;
task_etp.txt.o372538.19:z = -23;
task_etp.txt.o372538.19:z = -24;
task_etp.txt.o372538.19:z = -25;
task_etp.txt.o372538.19:z = -26;
task_etp.txt.o372538.19:z = -27;
task_etp.txt.o372538.19:z = -28;
task_etp.txt.o372538.19:z = -29;
task_etp.txt.o372538.19:z = -30;
task_etp.txt.o372538.19:z = -31;
task_etp.txt.o372538.19:z = -33;
task_etp.txt.o372538.19:z = -34;
task_etp.txt.o372538.19:z = -35;
task_etp.txt.o372538.19:z = -36;
task_etp.txt.o372538.19:z = -37;
task_etp.txt.o372538.19:z = -38;
task_etp.txt.o372538.19:z = -39;
task_etp.txt.o372538.19:z = -40;
task_etp.txt.o372538.19:z = -41;
task_etp.txt.o372538.19:z = -42;
task_etp.txt.o372538.19:z = -43;
task_etp.txt.o372538.19:z = -44;
task_etp.txt.o372538.19:z = -45;
task_etp.txt.o372538.19:z = -46;
task_etp.txt.o372538.19:z = -47;
task_etp.txt.o372538.19:z = -48;
task_etp.txt.o372538.19:z = -49;
task_etp.txt.o372538.19:z = -50;
task_etp.txt.o372538.19:z = -51;
task_etp.txt.o372538.19:z = -52;
task_etp.txt.o372538.19:z = -53;
task_etp.txt.o372538.19:z = -54;
task_etp.txt.o372538.19:z = -55;
task_etp.txt.o372538.19:z = -56;
task_etp.txt.o372538.19:z = -57;
task_etp.txt.o372538.19:z = -58;
task_etp.txt.o372538.19:z = -59;
task_etp.txt.o372538.19:z = -60;
task_etp.txt.o372538.19:z = -61;
task_etp.txt.o372538.19:z = -62;
task_etp.txt.o372538.19:z = -63;
task_etp.txt.o372538.19:z = -64;
task_etp.txt.o372538.19:z = -65;
task_etp.txt.o372538.19:z = -66;
task_etp.txt.o372538.19:z = -67;
task_etp.txt.o372538.19:z = -68;
task_etp.txt.o372538.19:z = -69;
task_etp.txt.o372538.19:z = -70;
task_etp.txt.o372538.19:z = -71;
task_etp.txt.o372538.19:z = -72;
task_etp.txt.o372538.19:z = -73;
task_etp.txt.o372538.19:z = -74;
task_etp.txt.o372538.19:z = -75;
task_etp.txt.o372538.19:z = -76;
task_etp.txt.o372538.19:z = -77;
task_etp.txt.o372538.19:z = -79;
task_etp.txt.o372538.19:==========
task_etp.txt.o372538.190:68352 conflicts
task_etp.txt.o372538.190:610.77 seconds search time
task_etp.txt.o372538.190:z = 94;
task_etp.txt.o372538.190:z = 38;
task_etp.txt.o372538.190:z = 11;
task_etp.txt.o372538.190:z = 10;
task_etp.txt.o372538.190:z = 8;
task_etp.txt.o372538.190:z = 7;
task_etp.txt.o372538.190:z = 1;
task_etp.txt.o372538.190:z = -5;
task_etp.txt.o372538.190:z = -6;
task_etp.txt.o372538.190:z = -14;
task_etp.txt.o372538.190:z = -15;
task_etp.txt.o372538.190:z = -16;
task_etp.txt.o372538.190:z = -17;
task_etp.txt.o372538.190:z = -18;
task_etp.txt.o372538.190:z = -19;
task_etp.txt.o372538.190:z = -20;
task_etp.txt.o372538.190:z = -21;
task_etp.txt.o372538.190:z = -22;
task_etp.txt.o372538.190:z = -23;
task_etp.txt.o372538.190:z = -24;
task_etp.txt.o372538.190:z = -25;
task_etp.txt.o372538.190:z = -26;
task_etp.txt.o372538.190:z = -27;
task_etp.txt.o372538.190:z = -28;
task_etp.txt.o372538.190:z = -29;
task_etp.txt.o372538.190:z = -30;
task_etp.txt.o372538.190:z = -31;
task_etp.txt.o372538.190:z = -32;
task_etp.txt.o372538.190:z = -33;
task_etp.txt.o372538.190:z = -34;
task_etp.txt.o372538.190:z = -35;
task_etp.txt.o372538.190:z = -36;
task_etp.txt.o372538.190:z = -37;
task_etp.txt.o372538.190:z = -38;
task_etp.txt.o372538.190:z = -39;
task_etp.txt.o372538.190:z = -40;
task_etp.txt.o372538.190:z = -41;
task_etp.txt.o372538.190:z = -42;
task_etp.txt.o372538.190:z = -43;
task_etp.txt.o372538.190:z = -44;
task_etp.txt.o372538.190:z = -45;
task_etp.txt.o372538.190:z = -46;
task_etp.txt.o372538.190:z = -47;
task_etp.txt.o372538.190:z = -48;
task_etp.txt.o372538.190:z = -49;
task_etp.txt.o372538.190:z = -50;
task_etp.txt.o372538.190:z = -51;
task_etp.txt.o372538.190:z = -52;
task_etp.txt.o372538.190:z = -53;
task_etp.txt.o372538.190:z = -54;
task_etp.txt.o372538.190:z = -55;
task_etp.txt.o372538.191:z = -47;
task_etp.txt.o372538.191:% Wall time: 610.001398
task_etp.txt.o372538.191:% Conflicts: 60248
task_etp.txt.o372538.192:z = -47;
task_etp.txt.o372538.192:% Wall time: 610.005938
task_etp.txt.o372538.192:% Conflicts: 58001
task_etp.txt.o372538.193:z = -50;
task_etp.txt.o372538.193:% Wall time: 610.016762
task_etp.txt.o372538.193:% Conflicts: 76341
task_etp.txt.o372538.194:z = -47;
task_etp.txt.o372538.194:% Wall time: 610.003532
task_etp.txt.o372538.194:% Conflicts: 44633
task_etp.txt.o372538.195:z = -55;
task_etp.txt.o372538.195:% Wall time: 610.012095
task_etp.txt.o372538.195:% Conflicts: 11724
task_etp.txt.o372538.196:z = -78;
task_etp.txt.o372538.196:% Wall time: 610.018078
task_etp.txt.o372538.196:% Conflicts: 10934
task_etp.txt.o372538.197:z = -78;
task_etp.txt.o372538.197:% Wall time: 610.226040
task_etp.txt.o372538.197:% Conflicts: 7571
task_etp.txt.o372538.198:425321 conflicts
task_etp.txt.o372538.198:610.85 seconds search time
task_etp.txt.o372538.198:z = -2;
task_etp.txt.o372538.198:z = -9;
task_etp.txt.o372538.198:z = -12;
task_etp.txt.o372538.198:z = -13;
task_etp.txt.o372538.198:z = -14;
task_etp.txt.o372538.198:z = -15;
task_etp.txt.o372538.198:z = -16;
task_etp.txt.o372538.198:z = -18;
task_etp.txt.o372538.198:z = -19;
task_etp.txt.o372538.198:z = -20;
task_etp.txt.o372538.198:z = -21;
task_etp.txt.o372538.198:z = -22;
task_etp.txt.o372538.198:z = -23;
task_etp.txt.o372538.198:z = -24;
task_etp.txt.o372538.198:z = -25;
task_etp.txt.o372538.198:z = -26;
task_etp.txt.o372538.198:z = -27;
task_etp.txt.o372538.198:z = -28;
task_etp.txt.o372538.198:z = -29;
task_etp.txt.o372538.198:z = -30;
task_etp.txt.o372538.198:z = -31;
task_etp.txt.o372538.198:z = -33;
task_etp.txt.o372538.198:z = -34;
task_etp.txt.o372538.198:z = -35;
task_etp.txt.o372538.198:z = -36;
task_etp.txt.o372538.198:z = -37;
task_etp.txt.o372538.198:z = -38;
task_etp.txt.o372538.198:z = -39;
task_etp.txt.o372538.198:z = -40;
task_etp.txt.o372538.198:z = -41;
task_etp.txt.o372538.198:z = -42;
task_etp.txt.o372538.198:z = -43;
task_etp.txt.o372538.198:z = -44;
task_etp.txt.o372538.198:z = -45;
task_etp.txt.o372538.198:z = -46;
task_etp.txt.o372538.198:z = -47;
task_etp.txt.o372538.198:z = -48;
task_etp.txt.o372538.198:z = -49;
task_etp.txt.o372538.198:z = -50;
task_etp.txt.o372538.198:z = -51;
task_etp.txt.o372538.198:z = -52;
task_etp.txt.o372538.198:z = -54;
task_etp.txt.o372538.198:z = -55;
task_etp.txt.o372538.198:z = -56;
task_etp.txt.o372538.198:z = -57;
task_etp.txt.o372538.198:z = -58;
task_etp.txt.o372538.198:z = -59;
task_etp.txt.o372538.198:z = -60;
task_etp.txt.o372538.198:z = -61;
task_etp.txt.o372538.198:z = -62;
task_etp.txt.o372538.198:z = -63;
task_etp.txt.o372538.198:z = -64;
task_etp.txt.o372538.198:z = -65;
task_etp.txt.o372538.198:z = -66;
task_etp.txt.o372538.198:z = -67;
task_etp.txt.o372538.198:z = -68;
task_etp.txt.o372538.199:430190 conflicts
task_etp.txt.o372538.199:610.83 seconds search time
task_etp.txt.o372538.199:z = -2;
task_etp.txt.o372538.199:z = -9;
task_etp.txt.o372538.199:z = -12;
task_etp.txt.o372538.199:z = -13;
task_etp.txt.o372538.199:z = -14;
task_etp.txt.o372538.199:z = -15;
task_etp.txt.o372538.199:z = -16;
task_etp.txt.o372538.199:z = -18;
task_etp.txt.o372538.199:z = -19;
task_etp.txt.o372538.199:z = -20;
task_etp.txt.o372538.199:z = -21;
task_etp.txt.o372538.199:z = -22;
task_etp.txt.o372538.199:z = -23;
task_etp.txt.o372538.199:z = -24;
task_etp.txt.o372538.199:z = -25;
task_etp.txt.o372538.199:z = -26;
task_etp.txt.o372538.199:z = -27;
task_etp.txt.o372538.199:z = -28;
task_etp.txt.o372538.199:z = -29;
task_etp.txt.o372538.199:z = -30;
task_etp.txt.o372538.199:z = -31;
task_etp.txt.o372538.199:z = -33;
task_etp.txt.o372538.199:z = -34;
task_etp.txt.o372538.199:z = -35;
task_etp.txt.o372538.199:z = -36;
task_etp.txt.o372538.199:z = -37;
task_etp.txt.o372538.199:z = -38;
task_etp.txt.o372538.199:z = -39;
task_etp.txt.o372538.199:z = -40;
task_etp.txt.o372538.199:z = -41;
task_etp.txt.o372538.199:z = -42;
task_etp.txt.o372538.199:z = -43;
task_etp.txt.o372538.199:z = -44;
task_etp.txt.o372538.199:z = -45;
task_etp.txt.o372538.199:z = -46;
task_etp.txt.o372538.199:z = -47;
task_etp.txt.o372538.199:z = -48;
task_etp.txt.o372538.199:z = -49;
task_etp.txt.o372538.199:z = -50;
task_etp.txt.o372538.199:z = -51;
task_etp.txt.o372538.199:z = -52;
task_etp.txt.o372538.199:z = -54;
task_etp.txt.o372538.199:z = -55;
task_etp.txt.o372538.199:z = -56;
task_etp.txt.o372538.199:z = -57;
task_etp.txt.o372538.199:z = -58;
task_etp.txt.o372538.199:z = -59;
task_etp.txt.o372538.199:z = -60;
task_etp.txt.o372538.199:z = -61;
task_etp.txt.o372538.199:z = -62;
task_etp.txt.o372538.199:z = -63;
task_etp.txt.o372538.199:z = -64;
task_etp.txt.o372538.199:z = -65;
task_etp.txt.o372538.199:z = -66;
task_etp.txt.o372538.199:z = -67;
task_etp.txt.o372538.199:z = -68;
task_etp.txt.o372538.199:z = -69;
task_etp.txt.o372538.199:z = -70;
task_etp.txt.o372538.199:z = -71;
task_etp.txt.o372538.199:z = -72;
task_etp.txt.o372538.199:z = -73;
task_etp.txt.o372538.199:z = -74;
task_etp.txt.o372538.199:z = -75;
task_etp.txt.o372538.199:z = -76;
task_etp.txt.o372538.199:z = -77;
task_etp.txt.o372538.199:z = -78;
task_etp.txt.o372538.2:z = -86;
task_etp.txt.o372538.2:% Wall time: 610.011559
task_etp.txt.o372538.2:% Conflicts: 119679
task_etp.txt.o372538.20:298898 conflicts
task_etp.txt.o372538.20:610.48 seconds search time
task_etp.txt.o372538.20:z = 124;
task_etp.txt.o372538.20:z = 51;
task_etp.txt.o372538.20:z = 40;
task_etp.txt.o372538.20:z = 29;
task_etp.txt.o372538.20:z = 8;
task_etp.txt.o372538.20:z = -16;
task_etp.txt.o372538.20:z = -23;
task_etp.txt.o372538.20:z = -24;
task_etp.txt.o372538.20:z = -25;
task_etp.txt.o372538.20:z = -26;
task_etp.txt.o372538.20:z = -27;
task_etp.txt.o372538.20:z = -28;
task_etp.txt.o372538.20:z = -29;
task_etp.txt.o372538.20:z = -30;
task_etp.txt.o372538.20:z = -31;
task_etp.txt.o372538.20:z = -32;
task_etp.txt.o372538.20:z = -33;
task_etp.txt.o372538.20:z = -34;
task_etp.txt.o372538.20:z = -35;
task_etp.txt.o372538.20:z = -36;
task_etp.txt.o372538.20:z = -37;
task_etp.txt.o372538.20:z = -38;
task_etp.txt.o372538.20:z = -39;
task_etp.txt.o372538.20:z = -40;
task_etp.txt.o372538.20:z = -41;
task_etp.txt.o372538.200:129178 conflicts
task_etp.txt.o372538.200:610.79 seconds search time
task_etp.txt.o372538.200:z = -2;
task_etp.txt.o372538.200:z = -3;
task_etp.txt.o372538.200:z = -5;
task_etp.txt.o372538.200:z = -7;
task_etp.txt.o372538.200:z = -15;
task_etp.txt.o372538.200:z = -17;
task_etp.txt.o372538.200:z = -18;
task_etp.txt.o372538.200:z = -20;
task_etp.txt.o372538.200:z = -21;
task_etp.txt.o372538.200:z = -22;
task_etp.txt.o372538.200:z = -23;
task_etp.txt.o372538.200:z = -24;
task_etp.txt.o372538.200:z = -25;
task_etp.txt.o372538.200:z = -26;
task_etp.txt.o372538.200:z = -27;
task_etp.txt.o372538.200:z = -28;
task_etp.txt.o372538.200:z = -29;
task_etp.txt.o372538.200:z = -30;
task_etp.txt.o372538.200:z = -31;
task_etp.txt.o372538.200:z = -33;
task_etp.txt.o372538.200:z = -34;
task_etp.txt.o372538.200:z = -35;
task_etp.txt.o372538.200:z = -37;
task_etp.txt.o372538.200:z = -38;
task_etp.txt.o372538.200:z = -39;
task_etp.txt.o372538.200:z = -40;
task_etp.txt.o372538.200:z = -41;
task_etp.txt.o372538.200:z = -42;
task_etp.txt.o372538.200:z = -43;
task_etp.txt.o372538.200:z = -44;
task_etp.txt.o372538.200:z = -45;
task_etp.txt.o372538.200:z = -46;
task_etp.txt.o372538.200:z = -47;
task_etp.txt.o372538.200:z = -48;
task_etp.txt.o372538.200:z = -49;
task_etp.txt.o372538.200:z = -50;
task_etp.txt.o372538.200:z = -51;
task_etp.txt.o372538.200:z = -52;
task_etp.txt.o372538.200:z = -53;
task_etp.txt.o372538.200:z = -54;
task_etp.txt.o372538.200:z = -55;
task_etp.txt.o372538.200:z = -56;
task_etp.txt.o372538.200:z = -57;
task_etp.txt.o372538.200:z = -58;
task_etp.txt.o372538.200:z = -59;
task_etp.txt.o372538.200:z = -60;
task_etp.txt.o372538.200:z = -61;
task_etp.txt.o372538.200:z = -62;
task_etp.txt.o372538.200:z = -63;
task_etp.txt.o372538.200:z = -64;
task_etp.txt.o372538.200:z = -65;
task_etp.txt.o372538.200:z = -66;
task_etp.txt.o372538.200:z = -67;
task_etp.txt.o372538.200:z = -68;
task_etp.txt.o372538.200:z = -69;
task_etp.txt.o372538.200:z = -70;
task_etp.txt.o372538.200:z = -71;
task_etp.txt.o372538.200:z = -72;
task_etp.txt.o372538.201:z = -49;
task_etp.txt.o372538.201:% Wall time: 610.081212
task_etp.txt.o372538.201:% Conflicts: 29019
task_etp.txt.o372538.202:z = -49;
task_etp.txt.o372538.202:% Wall time: 610.029549
task_etp.txt.o372538.202:% Conflicts: 33373
task_etp.txt.o372538.203:z = -49;
task_etp.txt.o372538.203:% Wall time: 610.000733
task_etp.txt.o372538.203:% Conflicts: 35313
task_etp.txt.o372538.204:z = -49;
task_etp.txt.o372538.204:% Wall time: 610.006427
task_etp.txt.o372538.204:% Conflicts: 26479
task_etp.txt.o372538.205:z = -50;
task_etp.txt.o372538.205:% Wall time: 610.060708
task_etp.txt.o372538.205:% Conflicts: 11738
task_etp.txt.o372538.206:z = -50;
task_etp.txt.o372538.206:% Wall time: 610.285465
task_etp.txt.o372538.206:% Conflicts: 1580
task_etp.txt.o372538.207:z = -59;
task_etp.txt.o372538.207:% Wall time: 610.122076
task_etp.txt.o372538.207:% Conflicts: 4806
task_etp.txt.o372538.208:266843 conflicts
task_etp.txt.o372538.208:610.79 seconds search time
task_etp.txt.o372538.208:z = 19;
task_etp.txt.o372538.208:z = 16;
task_etp.txt.o372538.208:z = 10;
task_etp.txt.o372538.208:z = 6;
task_etp.txt.o372538.208:z = 3;
task_etp.txt.o372538.208:z = 2;
task_etp.txt.o372538.208:z = 1;
task_etp.txt.o372538.208:z = 0;
task_etp.txt.o372538.208:z = -1;
task_etp.txt.o372538.208:z = -2;
task_etp.txt.o372538.208:z = -3;
task_etp.txt.o372538.208:z = -4;
task_etp.txt.o372538.208:z = -5;
task_etp.txt.o372538.208:z = -6;
task_etp.txt.o372538.208:z = -7;
task_etp.txt.o372538.208:z = -8;
task_etp.txt.o372538.208:z = -10;
task_etp.txt.o372538.208:z = -11;
task_etp.txt.o372538.208:z = -12;
task_etp.txt.o372538.208:z = -13;
task_etp.txt.o372538.208:z = -14;
task_etp.txt.o372538.208:z = -15;
task_etp.txt.o372538.208:z = -16;
task_etp.txt.o372538.208:z = -17;
task_etp.txt.o372538.208:z = -18;
task_etp.txt.o372538.208:z = -19;
task_etp.txt.o372538.208:z = -20;
task_etp.txt.o372538.208:z = -21;
task_etp.txt.o372538.208:z = -22;
task_etp.txt.o372538.208:z = -23;
task_etp.txt.o372538.208:z = -24;
task_etp.txt.o372538.208:z = -25;
task_etp.txt.o372538.208:z = -26;
task_etp.txt.o372538.208:z = -27;
task_etp.txt.o372538.208:z = -28;
task_etp.txt.o372538.208:z = -29;
task_etp.txt.o372538.208:z = -30;
task_etp.txt.o372538.208:z = -31;
task_etp.txt.o372538.208:z = -32;
task_etp.txt.o372538.208:z = -33;
task_etp.txt.o372538.208:z = -34;
task_etp.txt.o372538.208:z = -35;
task_etp.txt.o372538.208:z = -36;
task_etp.txt.o372538.208:z = -37;
task_etp.txt.o372538.208:z = -38;
task_etp.txt.o372538.208:z = -39;
task_etp.txt.o372538.208:z = -40;
task_etp.txt.o372538.208:z = -41;
task_etp.txt.o372538.208:z = -42;
task_etp.txt.o372538.208:z = -43;
task_etp.txt.o372538.208:z = -44;
task_etp.txt.o372538.208:z = -45;
task_etp.txt.o372538.208:z = -46;
task_etp.txt.o372538.208:z = -47;
task_etp.txt.o372538.208:z = -48;
task_etp.txt.o372538.208:z = -49;
task_etp.txt.o372538.208:z = -50;
task_etp.txt.o372538.208:z = -51;
task_etp.txt.o372538.208:z = -52;
task_etp.txt.o372538.208:z = -53;
task_etp.txt.o372538.208:z = -54;
task_etp.txt.o372538.208:z = -55;
task_etp.txt.o372538.208:z = -56;
task_etp.txt.o372538.208:z = -57;
task_etp.txt.o372538.208:z = -58;
task_etp.txt.o372538.208:z = -59;
task_etp.txt.o372538.209:271414 conflicts
task_etp.txt.o372538.209:610.75 seconds search time
task_etp.txt.o372538.209:z = 19;
task_etp.txt.o372538.209:z = 16;
task_etp.txt.o372538.209:z = 10;
task_etp.txt.o372538.209:z = 6;
task_etp.txt.o372538.209:z = 3;
task_etp.txt.o372538.209:z = 2;
task_etp.txt.o372538.209:z = 1;
task_etp.txt.o372538.209:z = 0;
task_etp.txt.o372538.209:z = -1;
task_etp.txt.o372538.209:z = -2;
task_etp.txt.o372538.209:z = -3;
task_etp.txt.o372538.209:z = -4;
task_etp.txt.o372538.209:z = -5;
task_etp.txt.o372538.209:z = -6;
task_etp.txt.o372538.209:z = -7;
task_etp.txt.o372538.209:z = -8;
task_etp.txt.o372538.209:z = -10;
task_etp.txt.o372538.209:z = -11;
task_etp.txt.o372538.209:z = -12;
task_etp.txt.o372538.209:z = -13;
task_etp.txt.o372538.209:z = -14;
task_etp.txt.o372538.209:z = -15;
task_etp.txt.o372538.209:z = -16;
task_etp.txt.o372538.209:z = -17;
task_etp.txt.o372538.209:z = -18;
task_etp.txt.o372538.209:z = -19;
task_etp.txt.o372538.209:z = -20;
task_etp.txt.o372538.209:z = -21;
task_etp.txt.o372538.209:z = -22;
task_etp.txt.o372538.209:z = -23;
task_etp.txt.o372538.209:z = -24;
task_etp.txt.o372538.209:z = -25;
task_etp.txt.o372538.209:z = -26;
task_etp.txt.o372538.209:z = -27;
task_etp.txt.o372538.209:z = -28;
task_etp.txt.o372538.209:z = -29;
task_etp.txt.o372538.209:z = -30;
task_etp.txt.o372538.209:z = -31;
task_etp.txt.o372538.209:z = -32;
task_etp.txt.o372538.209:z = -33;
task_etp.txt.o372538.209:z = -34;
task_etp.txt.o372538.209:z = -35;
task_etp.txt.o372538.209:z = -36;
task_etp.txt.o372538.209:z = -37;
task_etp.txt.o372538.209:z = -38;
task_etp.txt.o372538.209:z = -39;
task_etp.txt.o372538.209:z = -40;
task_etp.txt.o372538.209:z = -41;
task_etp.txt.o372538.209:z = -42;
task_etp.txt.o372538.209:z = -43;
task_etp.txt.o372538.209:z = -44;
task_etp.txt.o372538.209:z = -45;
task_etp.txt.o372538.209:z = -46;
task_etp.txt.o372538.209:z = -47;
task_etp.txt.o372538.209:z = -48;
task_etp.txt.o372538.209:z = -49;
task_etp.txt.o372538.209:z = -50;
task_etp.txt.o372538.209:z = -51;
task_etp.txt.o372538.209:z = -52;
task_etp.txt.o372538.209:z = -53;
task_etp.txt.o372538.209:z = -54;
task_etp.txt.o372538.209:z = -55;
task_etp.txt.o372538.209:z = -56;
task_etp.txt.o372538.209:z = -57;
task_etp.txt.o372538.209:z = -58;
task_etp.txt.o372538.209:z = -59;
task_etp.txt.o372538.209:z = -60;
task_etp.txt.o372538.209:z = -61;
task_etp.txt.o372538.209:z = -62;
task_etp.txt.o372538.21:z = -80;
task_etp.txt.o372538.21:% Wall time: 610.008097
task_etp.txt.o372538.21:% Conflicts: 87226
task_etp.txt.o372538.210:109095 conflicts
task_etp.txt.o372538.210:610.67 seconds search time
task_etp.txt.o372538.210:z = 19;
task_etp.txt.o372538.210:z = 18;
task_etp.txt.o372538.210:z = 15;
task_etp.txt.o372538.210:z = 14;
task_etp.txt.o372538.210:z = 10;
task_etp.txt.o372538.210:z = 5;
task_etp.txt.o372538.210:z = 3;
task_etp.txt.o372538.210:z = 2;
task_etp.txt.o372538.210:z = -1;
task_etp.txt.o372538.210:z = -5;
task_etp.txt.o372538.210:z = -7;
task_etp.txt.o372538.210:z = -13;
task_etp.txt.o372538.210:z = -14;
task_etp.txt.o372538.210:z = -15;
task_etp.txt.o372538.210:z = -16;
task_etp.txt.o372538.210:z = -17;
task_etp.txt.o372538.210:z = -18;
task_etp.txt.o372538.210:z = -19;
task_etp.txt.o372538.210:z = -23;
task_etp.txt.o372538.210:z = -24;
task_etp.txt.o372538.210:z = -25;
task_etp.txt.o372538.210:z = -26;
task_etp.txt.o372538.210:z = -27;
task_etp.txt.o372538.210:z = -29;
task_etp.txt.o372538.210:z = -31;
task_etp.txt.o372538.210:z = -32;
task_etp.txt.o372538.210:z = -33;
task_etp.txt.o372538.210:z = -34;
task_etp.txt.o372538.210:z = -35;
task_etp.txt.o372538.210:z = -36;
task_etp.txt.o372538.210:z = -37;
task_etp.txt.o372538.210:z = -38;
task_etp.txt.o372538.210:z = -39;
task_etp.txt.o372538.210:z = -40;
task_etp.txt.o372538.210:z = -41;
task_etp.txt.o372538.210:z = -42;
task_etp.txt.o372538.210:z = -43;
task_etp.txt.o372538.210:z = -44;
task_etp.txt.o372538.210:z = -45;
task_etp.txt.o372538.210:z = -46;
task_etp.txt.o372538.210:z = -47;
task_etp.txt.o372538.210:z = -48;
task_etp.txt.o372538.210:z = -49;
task_etp.txt.o372538.210:z = -50;
task_etp.txt.o372538.210:z = -51;
task_etp.txt.o372538.210:z = -53;
task_etp.txt.o372538.210:z = -54;
task_etp.txt.o372538.210:z = -55;
task_etp.txt.o372538.210:z = -56;
task_etp.txt.o372538.210:z = -57;
task_etp.txt.o372538.211:z = -43;
task_etp.txt.o372538.211:% Wall time: 610.029991
task_etp.txt.o372538.211:% Conflicts: 13484
task_etp.txt.o372538.212:z = -43;
task_etp.txt.o372538.212:% Wall time: 610.077457
task_etp.txt.o372538.212:% Conflicts: 15395
task_etp.txt.o372538.213:z = -42;
task_etp.txt.o372538.213:% Wall time: 610.067779
task_etp.txt.o372538.213:% Conflicts: 16508
task_etp.txt.o372538.214:z = -43;
task_etp.txt.o372538.214:% Wall time: 610.007906
task_etp.txt.o372538.214:% Conflicts: 12109
task_etp.txt.o372538.215:z = -35;
task_etp.txt.o372538.215:% Wall time: 610.002966
task_etp.txt.o372538.215:% Conflicts: 14132
task_etp.txt.o372538.216:z = -24;
task_etp.txt.o372538.216:% Wall time: 610.320922
task_etp.txt.o372538.216:% Conflicts: 3378
task_etp.txt.o372538.217:z = -30;
task_etp.txt.o372538.217:% Wall time: 610.149719
task_etp.txt.o372538.217:% Conflicts: 5136
task_etp.txt.o372538.218:42666 conflicts
task_etp.txt.o372538.218:83.32 seconds search time
task_etp.txt.o372538.218:z = 24;
task_etp.txt.o372538.218:z = -9;
task_etp.txt.o372538.218:z = -24;
task_etp.txt.o372538.218:z = -25;
task_etp.txt.o372538.218:z = -27;
task_etp.txt.o372538.218:z = -28;
task_etp.txt.o372538.218:z = -30;
task_etp.txt.o372538.218:z = -31;
task_etp.txt.o372538.218:z = -33;
task_etp.txt.o372538.218:z = -34;
task_etp.txt.o372538.218:z = -35;
task_etp.txt.o372538.218:z = -36;
task_etp.txt.o372538.218:z = -37;
task_etp.txt.o372538.218:z = -38;
task_etp.txt.o372538.218:z = -39;
task_etp.txt.o372538.218:z = -40;
task_etp.txt.o372538.218:z = -41;
task_etp.txt.o372538.218:z = -42;
task_etp.txt.o372538.218:z = -43;
task_etp.txt.o372538.218:==========
task_etp.txt.o372538.219:4060 conflicts
task_etp.txt.o372538.219:19.73 seconds search time
task_etp.txt.o372538.219:z = 24;
task_etp.txt.o372538.219:z = -9;
task_etp.txt.o372538.219:z = -24;
task_etp.txt.o372538.219:z = -25;
task_etp.txt.o372538.219:z = -27;
task_etp.txt.o372538.219:z = -28;
task_etp.txt.o372538.219:z = -30;
task_etp.txt.o372538.219:z = -31;
task_etp.txt.o372538.219:z = -33;
task_etp.txt.o372538.219:z = -34;
task_etp.txt.o372538.219:z = -35;
task_etp.txt.o372538.219:z = -36;
task_etp.txt.o372538.219:z = -37;
task_etp.txt.o372538.219:z = -38;
task_etp.txt.o372538.219:z = -39;
task_etp.txt.o372538.219:z = -40;
task_etp.txt.o372538.219:z = -41;
task_etp.txt.o372538.219:z = -42;
task_etp.txt.o372538.219:z = -43;
task_etp.txt.o372538.219:==========
task_etp.txt.o372538.22:z = -80;
task_etp.txt.o372538.22:% Wall time: 610.006427
task_etp.txt.o372538.22:% Conflicts: 75114
task_etp.txt.o372538.220:46775 conflicts
task_etp.txt.o372538.220:546.15 seconds search time
task_etp.txt.o372538.220:z = 24;
task_etp.txt.o372538.220:z = -1;
task_etp.txt.o372538.220:z = -5;
task_etp.txt.o372538.220:z = -6;
task_etp.txt.o372538.220:z = -7;
task_etp.txt.o372538.220:z = -8;
task_etp.txt.o372538.220:z = -9;
task_etp.txt.o372538.220:z = -10;
task_etp.txt.o372538.220:z = -11;
task_etp.txt.o372538.220:z = -12;
task_etp.txt.o372538.220:z = -13;
task_etp.txt.o372538.220:z = -14;
task_etp.txt.o372538.220:z = -15;
task_etp.txt.o372538.220:z = -16;
task_etp.txt.o372538.220:z = -17;
task_etp.txt.o372538.220:z = -18;
task_etp.txt.o372538.220:z = -19;
task_etp.txt.o372538.220:z = -20;
task_etp.txt.o372538.220:z = -27;
task_etp.txt.o372538.220:z = -28;
task_etp.txt.o372538.220:z = -29;
task_etp.txt.o372538.220:z = -30;
task_etp.txt.o372538.220:z = -31;
task_etp.txt.o372538.220:z = -32;
task_etp.txt.o372538.220:z = -33;
task_etp.txt.o372538.220:z = -34;
task_etp.txt.o372538.220:z = -35;
task_etp.txt.o372538.220:z = -36;
task_etp.txt.o372538.220:z = -37;
task_etp.txt.o372538.220:z = -38;
task_etp.txt.o372538.220:z = -39;
task_etp.txt.o372538.220:z = -40;
task_etp.txt.o372538.220:z = -41;
task_etp.txt.o372538.220:z = -42;
task_etp.txt.o372538.220:z = -43;
task_etp.txt.o372538.220:==========
task_etp.txt.o372538.221:z = -45;
task_etp.txt.o372538.221:% Wall time: 610.103039
task_etp.txt.o372538.221:% Conflicts: 26138
task_etp.txt.o372538.222:z = -38;
task_etp.txt.o372538.222:% Wall time: 610.026122
task_etp.txt.o372538.222:% Conflicts: 30127
task_etp.txt.o372538.223:z = -30;
task_etp.txt.o372538.223:% Wall time: 610.017049
task_etp.txt.o372538.223:% Conflicts: 35520
task_etp.txt.o372538.224:z = -30;
task_etp.txt.o372538.224:% Wall time: 610.000623
task_etp.txt.o372538.224:% Conflicts: 27081
task_etp.txt.o372538.225:z = -38;
task_etp.txt.o372538.225:% Wall time: 610.135668
task_etp.txt.o372538.225:% Conflicts: 7561
task_etp.txt.o372538.226:z = -53;
task_etp.txt.o372538.226:% Wall time: 610.037055
task_etp.txt.o372538.226:% Conflicts: 6414
task_etp.txt.o372538.227:z = -53;
task_etp.txt.o372538.227:% Wall time: 610.106572
task_etp.txt.o372538.227:% Conflicts: 4868
task_etp.txt.o372538.228:233770 conflicts
task_etp.txt.o372538.228:610.73 seconds search time
task_etp.txt.o372538.228:z = 41;
task_etp.txt.o372538.228:z = 38;
task_etp.txt.o372538.228:z = 35;
task_etp.txt.o372538.228:z = 33;
task_etp.txt.o372538.228:z = 28;
task_etp.txt.o372538.228:z = 22;
task_etp.txt.o372538.228:z = 11;
task_etp.txt.o372538.228:z = 9;
task_etp.txt.o372538.228:z = 6;
task_etp.txt.o372538.228:z = 1;
task_etp.txt.o372538.228:z = 0;
task_etp.txt.o372538.228:z = -1;
task_etp.txt.o372538.228:z = -2;
task_etp.txt.o372538.228:z = -3;
task_etp.txt.o372538.228:z = -4;
task_etp.txt.o372538.228:z = -5;
task_etp.txt.o372538.228:z = -6;
task_etp.txt.o372538.228:z = -7;
task_etp.txt.o372538.228:z = -8;
task_etp.txt.o372538.228:z = -9;
task_etp.txt.o372538.228:z = -10;
task_etp.txt.o372538.228:z = -11;
task_etp.txt.o372538.228:z = -12;
task_etp.txt.o372538.228:z = -13;
task_etp.txt.o372538.228:z = -14;
task_etp.txt.o372538.228:z = -15;
task_etp.txt.o372538.228:z = -16;
task_etp.txt.o372538.228:z = -17;
task_etp.txt.o372538.228:z = -18;
task_etp.txt.o372538.228:z = -19;
task_etp.txt.o372538.228:z = -20;
task_etp.txt.o372538.228:z = -21;
task_etp.txt.o372538.228:z = -22;
task_etp.txt.o372538.228:z = -23;
task_etp.txt.o372538.228:z = -24;
task_etp.txt.o372538.228:z = -25;
task_etp.txt.o372538.228:z = -26;
task_etp.txt.o372538.228:z = -27;
task_etp.txt.o372538.228:z = -28;
task_etp.txt.o372538.228:z = -29;
task_etp.txt.o372538.228:z = -30;
task_etp.txt.o372538.228:z = -31;
task_etp.txt.o372538.228:z = -32;
task_etp.txt.o372538.228:z = -33;
task_etp.txt.o372538.228:z = -34;
task_etp.txt.o372538.228:z = -35;
task_etp.txt.o372538.228:z = -36;
task_etp.txt.o372538.228:z = -37;
task_etp.txt.o372538.228:z = -38;
task_etp.txt.o372538.228:z = -39;
task_etp.txt.o372538.228:z = -40;
task_etp.txt.o372538.228:z = -41;
task_etp.txt.o372538.228:z = -42;
task_etp.txt.o372538.228:z = -43;
task_etp.txt.o372538.228:z = -44;
task_etp.txt.o372538.228:z = -45;
task_etp.txt.o372538.228:z = -46;
task_etp.txt.o372538.228:z = -47;
task_etp.txt.o372538.228:z = -48;
task_etp.txt.o372538.228:z = -49;
task_etp.txt.o372538.228:z = -50;
task_etp.txt.o372538.228:z = -51;
task_etp.txt.o372538.229:367172 conflicts
task_etp.txt.o372538.229:610.78 seconds search time
task_etp.txt.o372538.229:z = 41;
task_etp.txt.o372538.229:z = 38;
task_etp.txt.o372538.229:z = 35;
task_etp.txt.o372538.229:z = 33;
task_etp.txt.o372538.229:z = 28;
task_etp.txt.o372538.229:z = 22;
task_etp.txt.o372538.229:z = 11;
task_etp.txt.o372538.229:z = 9;
task_etp.txt.o372538.229:z = 6;
task_etp.txt.o372538.229:z = 1;
task_etp.txt.o372538.229:z = 0;
task_etp.txt.o372538.229:z = -1;
task_etp.txt.o372538.229:z = -2;
task_etp.txt.o372538.229:z = -3;
task_etp.txt.o372538.229:z = -4;
task_etp.txt.o372538.229:z = -5;
task_etp.txt.o372538.229:z = -6;
task_etp.txt.o372538.229:z = -7;
task_etp.txt.o372538.229:z = -8;
task_etp.txt.o372538.229:z = -9;
task_etp.txt.o372538.229:z = -10;
task_etp.txt.o372538.229:z = -11;
task_etp.txt.o372538.229:z = -12;
task_etp.txt.o372538.229:z = -13;
task_etp.txt.o372538.229:z = -14;
task_etp.txt.o372538.229:z = -15;
task_etp.txt.o372538.229:z = -16;
task_etp.txt.o372538.229:z = -17;
task_etp.txt.o372538.229:z = -18;
task_etp.txt.o372538.229:z = -19;
task_etp.txt.o372538.229:z = -20;
task_etp.txt.o372538.229:z = -21;
task_etp.txt.o372538.229:z = -22;
task_etp.txt.o372538.229:z = -23;
task_etp.txt.o372538.229:z = -24;
task_etp.txt.o372538.229:z = -25;
task_etp.txt.o372538.229:z = -26;
task_etp.txt.o372538.229:z = -27;
task_etp.txt.o372538.229:z = -28;
task_etp.txt.o372538.229:z = -29;
task_etp.txt.o372538.229:z = -30;
task_etp.txt.o372538.229:z = -31;
task_etp.txt.o372538.229:z = -32;
task_etp.txt.o372538.229:z = -33;
task_etp.txt.o372538.229:z = -34;
task_etp.txt.o372538.229:z = -35;
task_etp.txt.o372538.229:z = -36;
task_etp.txt.o372538.229:z = -37;
task_etp.txt.o372538.229:z = -38;
task_etp.txt.o372538.229:z = -39;
task_etp.txt.o372538.229:z = -40;
task_etp.txt.o372538.229:z = -41;
task_etp.txt.o372538.229:z = -42;
task_etp.txt.o372538.229:z = -43;
task_etp.txt.o372538.229:z = -44;
task_etp.txt.o372538.229:z = -45;
task_etp.txt.o372538.229:z = -46;
task_etp.txt.o372538.229:z = -47;
task_etp.txt.o372538.229:z = -48;
task_etp.txt.o372538.229:z = -49;
task_etp.txt.o372538.229:z = -50;
task_etp.txt.o372538.229:z = -51;
task_etp.txt.o372538.229:z = -52;
task_etp.txt.o372538.229:z = -53;
task_etp.txt.o372538.23:z = -80;
task_etp.txt.o372538.23:% Wall time: 610.000570
task_etp.txt.o372538.23:% Conflicts: 85899
task_etp.txt.o372538.230:28212 conflicts
task_etp.txt.o372538.230:610.77 seconds search time
task_etp.txt.o372538.230:z = 41;
task_etp.txt.o372538.230:z = 39;
task_etp.txt.o372538.230:z = 36;
task_etp.txt.o372538.230:z = 34;
task_etp.txt.o372538.230:z = 28;
task_etp.txt.o372538.230:z = 14;
task_etp.txt.o372538.230:z = 5;
task_etp.txt.o372538.230:z = 1;
task_etp.txt.o372538.230:z = 0;
task_etp.txt.o372538.230:z = -1;
task_etp.txt.o372538.230:z = -2;
task_etp.txt.o372538.230:z = -3;
task_etp.txt.o372538.230:z = -4;
task_etp.txt.o372538.230:z = -5;
task_etp.txt.o372538.230:z = -6;
task_etp.txt.o372538.230:z = -14;
task_etp.txt.o372538.230:z = -15;
task_etp.txt.o372538.230:z = -18;
task_etp.txt.o372538.230:z = -20;
task_etp.txt.o372538.230:z = -22;
task_etp.txt.o372538.230:z = -23;
task_etp.txt.o372538.230:z = -24;
task_etp.txt.o372538.230:z = -25;
task_etp.txt.o372538.230:z = -26;
task_etp.txt.o372538.230:z = -27;
task_etp.txt.o372538.230:z = -28;
task_etp.txt.o372538.230:z = -29;
task_etp.txt.o372538.230:z = -30;
task_etp.txt.o372538.230:z = -31;
task_etp.txt.o372538.230:z = -32;
task_etp.txt.o372538.230:z = -33;
task_etp.txt.o372538.230:z = -34;
task_etp.txt.o372538.230:z = -35;
task_etp.txt.o372538.230:z = -36;
task_etp.txt.o372538.230:z = -37;
task_etp.txt.o372538.230:z = -38;
task_etp.txt.o372538.230:z = -39;
task_etp.txt.o372538.230:z = -40;
task_etp.txt.o372538.230:z = -41;
task_etp.txt.o372538.230:z = -42;
task_etp.txt.o372538.230:z = -43;
task_etp.txt.o372538.230:z = -44;
task_etp.txt.o372538.230:z = -45;
task_etp.txt.o372538.230:z = -46;
task_etp.txt.o372538.231:z = -43;
task_etp.txt.o372538.231:% Wall time: 610.027433
task_etp.txt.o372538.231:% Conflicts: 39677
task_etp.txt.o372538.232:z = -43;
task_etp.txt.o372538.232:% Wall time: 610.008112
task_etp.txt.o372538.232:% Conflicts: 36878
task_etp.txt.o372538.233:z = -43;
task_etp.txt.o372538.233:% Wall time: 610.001077
task_etp.txt.o372538.233:% Conflicts: 28074
task_etp.txt.o372538.234:z = -43;
task_etp.txt.o372538.234:% Wall time: 610.006274
task_etp.txt.o372538.234:% Conflicts: 32484
task_etp.txt.o372538.235:z = -42;
task_etp.txt.o372538.235:% Wall time: 610.068953
task_etp.txt.o372538.235:% Conflicts: 7675
task_etp.txt.o372538.236:z = -43;
task_etp.txt.o372538.236:==========
task_etp.txt.o372538.236:% Wall time: 208.709205
task_etp.txt.o372538.236:% Conflicts: 1102
task_etp.txt.o372538.237:z = -43;
task_etp.txt.o372538.237:% Wall time: 610.310010
task_etp.txt.o372538.237:% Conflicts: 6241
task_etp.txt.o372538.238:265456 conflicts
task_etp.txt.o372538.238:610.76 seconds search time
task_etp.txt.o372538.238:z = 62;
task_etp.txt.o372538.238:z = 49;
task_etp.txt.o372538.238:z = 42;
task_etp.txt.o372538.238:z = 33;
task_etp.txt.o372538.238:z = 30;
task_etp.txt.o372538.238:z = 28;
task_etp.txt.o372538.238:z = 11;
task_etp.txt.o372538.238:z = 10;
task_etp.txt.o372538.238:z = 9;
task_etp.txt.o372538.238:z = 2;
task_etp.txt.o372538.238:z = -13;
task_etp.txt.o372538.238:z = -18;
task_etp.txt.o372538.238:z = -20;
task_etp.txt.o372538.238:z = -21;
task_etp.txt.o372538.238:z = -22;
task_etp.txt.o372538.238:z = -23;
task_etp.txt.o372538.238:z = -24;
task_etp.txt.o372538.238:z = -26;
task_etp.txt.o372538.238:z = -27;
task_etp.txt.o372538.238:z = -28;
task_etp.txt.o372538.238:z = -29;
task_etp.txt.o372538.238:z = -30;
task_etp.txt.o372538.238:z = -31;
task_etp.txt.o372538.238:z = -32;
task_etp.txt.o372538.238:z = -33;
task_etp.txt.o372538.238:z = -34;
task_etp.txt.o372538.238:z = -35;
task_etp.txt.o372538.238:z = -36;
task_etp.txt.o372538.238:z = -37;
task_etp.txt.o372538.238:z = -38;
task_etp.txt.o372538.238:z = -39;
task_etp.txt.o372538.238:z = -40;
task_etp.txt.o372538.238:z = -41;
task_etp.txt.o372538.238:z = -42;
task_etp.txt.o372538.238:z = -43;
task_etp.txt.o372538.239:69954 conflicts
task_etp.txt.o372538.239:241.01 seconds search time
task_etp.txt.o372538.239:z = 62;
task_etp.txt.o372538.239:z = 49;
task_etp.txt.o372538.239:z = 42;
task_etp.txt.o372538.239:z = 33;
task_etp.txt.o372538.239:z = 30;
task_etp.txt.o372538.239:z = 28;
task_etp.txt.o372538.239:z = 11;
task_etp.txt.o372538.239:z = 10;
task_etp.txt.o372538.239:z = 9;
task_etp.txt.o372538.239:z = 2;
task_etp.txt.o372538.239:z = -13;
task_etp.txt.o372538.239:z = -18;
task_etp.txt.o372538.239:z = -20;
task_etp.txt.o372538.239:z = -21;
task_etp.txt.o372538.239:z = -22;
task_etp.txt.o372538.239:z = -23;
task_etp.txt.o372538.239:z = -24;
task_etp.txt.o372538.239:z = -26;
task_etp.txt.o372538.239:z = -27;
task_etp.txt.o372538.239:z = -28;
task_etp.txt.o372538.239:z = -29;
task_etp.txt.o372538.239:z = -30;
task_etp.txt.o372538.239:z = -31;
task_etp.txt.o372538.239:z = -32;
task_etp.txt.o372538.239:z = -33;
task_etp.txt.o372538.239:z = -34;
task_etp.txt.o372538.239:z = -35;
task_etp.txt.o372538.239:z = -36;
task_etp.txt.o372538.239:z = -37;
task_etp.txt.o372538.239:z = -38;
task_etp.txt.o372538.239:z = -39;
task_etp.txt.o372538.239:z = -40;
task_etp.txt.o372538.239:z = -41;
task_etp.txt.o372538.239:z = -42;
task_etp.txt.o372538.239:z = -43;
task_etp.txt.o372538.239:==========
task_etp.txt.o372538.24:z = -80;
task_etp.txt.o372538.24:% Wall time: 610.008059
task_etp.txt.o372538.24:% Conflicts: 72807
task_etp.txt.o372538.240:77927 conflicts
task_etp.txt.o372538.240:610.68 seconds search time
task_etp.txt.o372538.240:z = 62;
task_etp.txt.o372538.240:z = 49;
task_etp.txt.o372538.240:z = 42;
task_etp.txt.o372538.240:z = 33;
task_etp.txt.o372538.240:z = 30;
task_etp.txt.o372538.240:z = 25;
task_etp.txt.o372538.240:z = 19;
task_etp.txt.o372538.240:z = 13;
task_etp.txt.o372538.240:z = 5;
task_etp.txt.o372538.240:z = -2;
task_etp.txt.o372538.240:z = -5;
task_etp.txt.o372538.240:z = -9;
task_etp.txt.o372538.240:z = -10;
task_etp.txt.o372538.240:z = -11;
task_etp.txt.o372538.240:z = -12;
task_etp.txt.o372538.240:z = -13;
task_etp.txt.o372538.240:z = -14;
task_etp.txt.o372538.240:z = -15;
task_etp.txt.o372538.240:z = -21;
task_etp.txt.o372538.240:z = -22;
task_etp.txt.o372538.240:z = -23;
task_etp.txt.o372538.240:z = -24;
task_etp.txt.o372538.240:z = -25;
task_etp.txt.o372538.240:z = -26;
task_etp.txt.o372538.240:z = -27;
task_etp.txt.o372538.240:z = -28;
task_etp.txt.o372538.240:z = -29;
task_etp.txt.o372538.240:z = -30;
task_etp.txt.o372538.240:z = -31;
task_etp.txt.o372538.240:z = -32;
task_etp.txt.o372538.240:z = -33;
task_etp.txt.o372538.240:z = -34;
task_etp.txt.o372538.240:z = -35;
task_etp.txt.o372538.240:z = -36;
task_etp.txt.o372538.241:z = -11;
task_etp.txt.o372538.241:==========
task_etp.txt.o372538.241:% Wall time: 131.086767
task_etp.txt.o372538.241:% Conflicts: 3940
task_etp.txt.o372538.242:z = -11;
task_etp.txt.o372538.242:==========
task_etp.txt.o372538.242:% Wall time: 152.307542
task_etp.txt.o372538.242:% Conflicts: 4333
task_etp.txt.o372538.243:z = -11;
task_etp.txt.o372538.243:==========
task_etp.txt.o372538.243:% Wall time: 229.648138
task_etp.txt.o372538.243:% Conflicts: 6387
task_etp.txt.o372538.244:z = -11;
task_etp.txt.o372538.244:==========
task_etp.txt.o372538.244:% Wall time: 181.650098
task_etp.txt.o372538.244:% Conflicts: 4855
task_etp.txt.o372538.245:z = -11;
task_etp.txt.o372538.245:==========
task_etp.txt.o372538.245:% Wall time: 423.599472
task_etp.txt.o372538.245:% Conflicts: 4000
task_etp.txt.o372538.246:z = -11;
task_etp.txt.o372538.246:==========
task_etp.txt.o372538.246:% Wall time: 134.140960
task_etp.txt.o372538.246:% Conflicts: 455
task_etp.txt.o372538.247:z = -11;
task_etp.txt.o372538.247:==========
task_etp.txt.o372538.247:% Wall time: 95.121809
task_etp.txt.o372538.247:% Conflicts: 260
task_etp.txt.o372538.248:839 conflicts
task_etp.txt.o372538.248:1.60 seconds search time
task_etp.txt.o372538.248:z = 95;
task_etp.txt.o372538.248:z = 60;
task_etp.txt.o372538.248:z = 42;
task_etp.txt.o372538.248:z = 36;
task_etp.txt.o372538.248:z = 22;
task_etp.txt.o372538.248:z = 16;
task_etp.txt.o372538.248:z = 15;
task_etp.txt.o372538.248:z = 9;
task_etp.txt.o372538.248:z = 8;
task_etp.txt.o372538.248:z = 7;
task_etp.txt.o372538.248:z = 6;
task_etp.txt.o372538.248:z = 5;
task_etp.txt.o372538.248:z = 4;
task_etp.txt.o372538.248:z = 3;
task_etp.txt.o372538.248:z = 2;
task_etp.txt.o372538.248:z = 1;
task_etp.txt.o372538.248:z = 0;
task_etp.txt.o372538.248:z = -1;
task_etp.txt.o372538.248:z = -2;
task_etp.txt.o372538.248:z = -3;
task_etp.txt.o372538.248:z = -4;
task_etp.txt.o372538.248:z = -5;
task_etp.txt.o372538.248:z = -6;
task_etp.txt.o372538.248:z = -7;
task_etp.txt.o372538.248:z = -8;
task_etp.txt.o372538.248:z = -9;
task_etp.txt.o372538.248:z = -10;
task_etp.txt.o372538.248:z = -11;
task_etp.txt.o372538.248:==========
task_etp.txt.o372538.249:1020 conflicts
task_etp.txt.o372538.249:7.24 seconds search time
task_etp.txt.o372538.249:z = 95;
task_etp.txt.o372538.249:z = 60;
task_etp.txt.o372538.249:z = 42;
task_etp.txt.o372538.249:z = 36;
task_etp.txt.o372538.249:z = 22;
task_etp.txt.o372538.249:z = 16;
task_etp.txt.o372538.249:z = 15;
task_etp.txt.o372538.249:z = 9;
task_etp.txt.o372538.249:z = 8;
task_etp.txt.o372538.249:z = 7;
task_etp.txt.o372538.249:z = 6;
task_etp.txt.o372538.249:z = 5;
task_etp.txt.o372538.249:z = 4;
task_etp.txt.o372538.249:z = 3;
task_etp.txt.o372538.249:z = 2;
task_etp.txt.o372538.249:z = 1;
task_etp.txt.o372538.249:z = 0;
task_etp.txt.o372538.249:z = -1;
task_etp.txt.o372538.249:z = -2;
task_etp.txt.o372538.249:z = -3;
task_etp.txt.o372538.249:z = -4;
task_etp.txt.o372538.249:z = -5;
task_etp.txt.o372538.249:z = -6;
task_etp.txt.o372538.249:z = -7;
task_etp.txt.o372538.249:z = -8;
task_etp.txt.o372538.249:z = -9;
task_etp.txt.o372538.249:z = -10;
task_etp.txt.o372538.249:z = -11;
task_etp.txt.o372538.249:==========
task_etp.txt.o372538.25:z = -70;
task_etp.txt.o372538.25:% Wall time: 610.006932
task_etp.txt.o372538.25:% Conflicts: 14024
task_etp.txt.o372538.250:1362 conflicts
task_etp.txt.o372538.250:2.69 seconds search time
task_etp.txt.o372538.250:z = 95;
task_etp.txt.o372538.250:z = 60;
task_etp.txt.o372538.250:z = 42;
task_etp.txt.o372538.250:z = 40;
task_etp.txt.o372538.250:z = 30;
task_etp.txt.o372538.250:z = 29;
task_etp.txt.o372538.250:z = 28;
task_etp.txt.o372538.250:z = 27;
task_etp.txt.o372538.250:z = 26;
task_etp.txt.o372538.250:z = 23;
task_etp.txt.o372538.250:z = 19;
task_etp.txt.o372538.250:z = 15;
task_etp.txt.o372538.250:z = -2;
task_etp.txt.o372538.250:z = -3;
task_etp.txt.o372538.250:z = -4;
task_etp.txt.o372538.250:z = -5;
task_etp.txt.o372538.250:z = -6;
task_etp.txt.o372538.250:z = -7;
task_etp.txt.o372538.250:z = -8;
task_etp.txt.o372538.250:z = -9;
task_etp.txt.o372538.250:z = -10;
task_etp.txt.o372538.250:z = -11;
task_etp.txt.o372538.250:==========
task_etp.txt.o372538.251:z = -40;
task_etp.txt.o372538.251:% Wall time: 610.016243
task_etp.txt.o372538.251:% Conflicts: 30100
task_etp.txt.o372538.252:z = -39;
task_etp.txt.o372538.252:% Wall time: 610.009573
task_etp.txt.o372538.252:% Conflicts: 24880
task_etp.txt.o372538.253:z = -39;
task_etp.txt.o372538.253:% Wall time: 610.004238
task_etp.txt.o372538.253:% Conflicts: 31427
task_etp.txt.o372538.254:z = -40;
task_etp.txt.o372538.254:% Wall time: 610.010283
task_etp.txt.o372538.254:% Conflicts: 29299
task_etp.txt.o372538.255:z = -46;
task_etp.txt.o372538.255:% Wall time: 610.094679
task_etp.txt.o372538.255:% Conflicts: 6681
task_etp.txt.o372538.256:z = -56;
task_etp.txt.o372538.256:% Wall time: 610.043389
task_etp.txt.o372538.256:% Conflicts: 9313
task_etp.txt.o372538.257:z = -57;
task_etp.txt.o372538.257:% Wall time: 610.191610
task_etp.txt.o372538.257:% Conflicts: 8352
task_etp.txt.o372538.258:409310 conflicts
task_etp.txt.o372538.258:610.80 seconds search time
task_etp.txt.o372538.258:z = 37;
task_etp.txt.o372538.258:z = 17;
task_etp.txt.o372538.258:z = 12;
task_etp.txt.o372538.258:z = 7;
task_etp.txt.o372538.258:z = 3;
task_etp.txt.o372538.258:z = -2;
task_etp.txt.o372538.258:z = -6;
task_etp.txt.o372538.258:z = -7;
task_etp.txt.o372538.258:z = -8;
task_etp.txt.o372538.258:z = -9;
task_etp.txt.o372538.258:z = -10;
task_etp.txt.o372538.258:z = -11;
task_etp.txt.o372538.258:z = -12;
task_etp.txt.o372538.258:z = -13;
task_etp.txt.o372538.258:z = -14;
task_etp.txt.o372538.258:z = -15;
task_etp.txt.o372538.258:z = -16;
task_etp.txt.o372538.258:z = -17;
task_etp.txt.o372538.258:z = -18;
task_etp.txt.o372538.258:z = -19;
task_etp.txt.o372538.258:z = -20;
task_etp.txt.o372538.258:z = -21;
task_etp.txt.o372538.258:z = -22;
task_etp.txt.o372538.258:z = -23;
task_etp.txt.o372538.258:z = -24;
task_etp.txt.o372538.258:z = -25;
task_etp.txt.o372538.258:z = -26;
task_etp.txt.o372538.258:z = -27;
task_etp.txt.o372538.258:z = -28;
task_etp.txt.o372538.258:z = -29;
task_etp.txt.o372538.258:z = -30;
task_etp.txt.o372538.258:z = -31;
task_etp.txt.o372538.258:z = -32;
task_etp.txt.o372538.258:z = -33;
task_etp.txt.o372538.258:z = -34;
task_etp.txt.o372538.258:z = -35;
task_etp.txt.o372538.258:z = -36;
task_etp.txt.o372538.258:z = -37;
task_etp.txt.o372538.258:z = -38;
task_etp.txt.o372538.258:z = -39;
task_etp.txt.o372538.258:z = -40;
task_etp.txt.o372538.258:z = -41;
task_etp.txt.o372538.258:z = -42;
task_etp.txt.o372538.258:z = -43;
task_etp.txt.o372538.258:z = -44;
task_etp.txt.o372538.258:z = -45;
task_etp.txt.o372538.258:z = -46;
task_etp.txt.o372538.258:z = -47;
task_etp.txt.o372538.258:z = -48;
task_etp.txt.o372538.258:z = -49;
task_etp.txt.o372538.258:z = -50;
task_etp.txt.o372538.258:z = -51;
task_etp.txt.o372538.258:z = -52;
task_etp.txt.o372538.258:z = -53;
task_etp.txt.o372538.258:z = -54;
task_etp.txt.o372538.258:z = -55;
task_etp.txt.o372538.259:323555 conflicts
task_etp.txt.o372538.259:610.75 seconds search time
task_etp.txt.o372538.259:z = 37;
task_etp.txt.o372538.259:z = 17;
task_etp.txt.o372538.259:z = 12;
task_etp.txt.o372538.259:z = 7;
task_etp.txt.o372538.259:z = 3;
task_etp.txt.o372538.259:z = -2;
task_etp.txt.o372538.259:z = -6;
task_etp.txt.o372538.259:z = -7;
task_etp.txt.o372538.259:z = -8;
task_etp.txt.o372538.259:z = -9;
task_etp.txt.o372538.259:z = -10;
task_etp.txt.o372538.259:z = -11;
task_etp.txt.o372538.259:z = -12;
task_etp.txt.o372538.259:z = -13;
task_etp.txt.o372538.259:z = -14;
task_etp.txt.o372538.259:z = -15;
task_etp.txt.o372538.259:z = -16;
task_etp.txt.o372538.259:z = -17;
task_etp.txt.o372538.259:z = -18;
task_etp.txt.o372538.259:z = -19;
task_etp.txt.o372538.259:z = -20;
task_etp.txt.o372538.259:z = -21;
task_etp.txt.o372538.259:z = -22;
task_etp.txt.o372538.259:z = -23;
task_etp.txt.o372538.259:z = -24;
task_etp.txt.o372538.259:z = -25;
task_etp.txt.o372538.259:z = -26;
task_etp.txt.o372538.259:z = -27;
task_etp.txt.o372538.259:z = -28;
task_etp.txt.o372538.259:z = -29;
task_etp.txt.o372538.259:z = -30;
task_etp.txt.o372538.259:z = -31;
task_etp.txt.o372538.259:z = -32;
task_etp.txt.o372538.259:z = -33;
task_etp.txt.o372538.259:z = -34;
task_etp.txt.o372538.259:z = -35;
task_etp.txt.o372538.259:z = -36;
task_etp.txt.o372538.259:z = -37;
task_etp.txt.o372538.259:z = -38;
task_etp.txt.o372538.259:z = -39;
task_etp.txt.o372538.259:z = -40;
task_etp.txt.o372538.259:z = -41;
task_etp.txt.o372538.259:z = -42;
task_etp.txt.o372538.259:z = -43;
task_etp.txt.o372538.259:z = -44;
task_etp.txt.o372538.259:z = -45;
task_etp.txt.o372538.259:z = -46;
task_etp.txt.o372538.259:z = -47;
task_etp.txt.o372538.259:z = -48;
task_etp.txt.o372538.259:z = -49;
task_etp.txt.o372538.259:z = -50;
task_etp.txt.o372538.259:z = -51;
task_etp.txt.o372538.259:z = -52;
task_etp.txt.o372538.259:z = -53;
task_etp.txt.o372538.259:z = -54;
task_etp.txt.o372538.259:z = -55;
task_etp.txt.o372538.259:z = -56;
task_etp.txt.o372538.259:z = -57;
task_etp.txt.o372538.26:z = -80;
task_etp.txt.o372538.26:==========
task_etp.txt.o372538.26:% Wall time: 309.650847
task_etp.txt.o372538.26:% Conflicts: 5999
task_etp.txt.o372538.260:51129 conflicts
task_etp.txt.o372538.260:610.71 seconds search time
task_etp.txt.o372538.260:z = 37;
task_etp.txt.o372538.260:z = 17;
task_etp.txt.o372538.260:z = 10;
task_etp.txt.o372538.260:z = -6;
task_etp.txt.o372538.260:z = -11;
task_etp.txt.o372538.260:z = -13;
task_etp.txt.o372538.260:z = -15;
task_etp.txt.o372538.260:z = -16;
task_etp.txt.o372538.260:z = -17;
task_etp.txt.o372538.260:z = -18;
task_etp.txt.o372538.260:z = -19;
task_etp.txt.o372538.260:z = -20;
task_etp.txt.o372538.260:z = -21;
task_etp.txt.o372538.260:z = -23;
task_etp.txt.o372538.260:z = -24;
task_etp.txt.o372538.260:z = -25;
task_etp.txt.o372538.260:z = -26;
task_etp.txt.o372538.260:z = -27;
task_etp.txt.o372538.260:z = -28;
task_etp.txt.o372538.260:z = -29;
task_etp.txt.o372538.260:z = -30;
task_etp.txt.o372538.260:z = -31;
task_etp.txt.o372538.260:z = -32;
task_etp.txt.o372538.260:z = -33;
task_etp.txt.o372538.260:z = -34;
task_etp.txt.o372538.260:z = -35;
task_etp.txt.o372538.260:z = -36;
task_etp.txt.o372538.260:z = -37;
task_etp.txt.o372538.260:z = -38;
task_etp.txt.o372538.260:z = -39;
task_etp.txt.o372538.260:z = -40;
task_etp.txt.o372538.260:z = -41;
task_etp.txt.o372538.260:z = -42;
task_etp.txt.o372538.260:z = -43;
task_etp.txt.o372538.260:z = -44;
task_etp.txt.o372538.260:z = -45;
task_etp.txt.o372538.260:z = -46;
task_etp.txt.o372538.260:z = -47;
task_etp.txt.o372538.260:z = -48;
task_etp.txt.o372538.260:z = -49;
task_etp.txt.o372538.260:z = -50;
task_etp.txt.o372538.260:z = -51;
task_etp.txt.o372538.260:z = -52;
task_etp.txt.o372538.261:z = -31;
task_etp.txt.o372538.261:% Wall time: 610.014214
task_etp.txt.o372538.261:% Conflicts: 23452
task_etp.txt.o372538.262:z = -32;
task_etp.txt.o372538.262:% Wall time: 610.012673
task_etp.txt.o372538.262:% Conflicts: 28309
task_etp.txt.o372538.263:z = -31;
task_etp.txt.o372538.263:% Wall time: 610.025039
task_etp.txt.o372538.263:% Conflicts: 26397
task_etp.txt.o372538.264:z = -31;
task_etp.txt.o372538.264:% Wall time: 610.037149
task_etp.txt.o372538.264:% Conflicts: 24244
task_etp.txt.o372538.265:z = -36;
task_etp.txt.o372538.265:% Wall time: 610.029135
task_etp.txt.o372538.265:% Conflicts: 11878
task_etp.txt.o372538.266:z = -37;
task_etp.txt.o372538.266:% Wall time: 610.230697
task_etp.txt.o372538.266:% Conflicts: 3158
task_etp.txt.o372538.267:z = -37;
task_etp.txt.o372538.267:==========
task_etp.txt.o372538.267:% Wall time: 222.156686
task_etp.txt.o372538.267:% Conflicts: 2985
task_etp.txt.o372538.268:125856 conflicts
task_etp.txt.o372538.268:290.71 seconds search time
task_etp.txt.o372538.268:z = 30;
task_etp.txt.o372538.268:z = 10;
task_etp.txt.o372538.268:z = 9;
task_etp.txt.o372538.268:z = 8;
task_etp.txt.o372538.268:z = 7;
task_etp.txt.o372538.268:z = 6;
task_etp.txt.o372538.268:z = 5;
task_etp.txt.o372538.268:z = 4;
task_etp.txt.o372538.268:z = 3;
task_etp.txt.o372538.268:z = 2;
task_etp.txt.o372538.268:z = 1;
task_etp.txt.o372538.268:z = 0;
task_etp.txt.o372538.268:z = -1;
task_etp.txt.o372538.268:z = -2;
task_etp.txt.o372538.268:z = -3;
task_etp.txt.o372538.268:z = -4;
task_etp.txt.o372538.268:z = -5;
task_etp.txt.o372538.268:z = -6;
task_etp.txt.o372538.268:z = -7;
task_etp.txt.o372538.268:z = -8;
task_etp.txt.o372538.268:z = -9;
task_etp.txt.o372538.268:z = -10;
task_etp.txt.o372538.268:z = -11;
task_etp.txt.o372538.268:z = -12;
task_etp.txt.o372538.268:z = -13;
task_etp.txt.o372538.268:z = -14;
task_etp.txt.o372538.268:z = -15;
task_etp.txt.o372538.268:z = -16;
task_etp.txt.o372538.268:z = -17;
task_etp.txt.o372538.268:z = -18;
task_etp.txt.o372538.268:z = -19;
task_etp.txt.o372538.268:z = -20;
task_etp.txt.o372538.268:z = -21;
task_etp.txt.o372538.268:z = -22;
task_etp.txt.o372538.268:z = -23;
task_etp.txt.o372538.268:z = -24;
task_etp.txt.o372538.268:z = -25;
task_etp.txt.o372538.268:z = -26;
task_etp.txt.o372538.268:z = -27;
task_etp.txt.o372538.268:z = -28;
task_etp.txt.o372538.268:z = -29;
task_etp.txt.o372538.268:z = -30;
task_etp.txt.o372538.268:z = -31;
task_etp.txt.o372538.268:z = -32;
task_etp.txt.o372538.268:z = -33;
task_etp.txt.o372538.268:z = -34;
task_etp.txt.o372538.268:z = -35;
task_etp.txt.o372538.268:z = -36;
task_etp.txt.o372538.268:z = -37;
task_etp.txt.o372538.268:==========
task_etp.txt.o372538.269:297868 conflicts
task_etp.txt.o372538.269:610.72 seconds search time
task_etp.txt.o372538.269:z = 30;
task_etp.txt.o372538.269:z = 10;
task_etp.txt.o372538.269:z = 9;
task_etp.txt.o372538.269:z = 8;
task_etp.txt.o372538.269:z = 7;
task_etp.txt.o372538.269:z = 6;
task_etp.txt.o372538.269:z = 5;
task_etp.txt.o372538.269:z = 4;
task_etp.txt.o372538.269:z = 3;
task_etp.txt.o372538.269:z = 2;
task_etp.txt.o372538.269:z = 1;
task_etp.txt.o372538.269:z = 0;
task_etp.txt.o372538.269:z = -1;
task_etp.txt.o372538.269:z = -2;
task_etp.txt.o372538.269:z = -3;
task_etp.txt.o372538.269:z = -4;
task_etp.txt.o372538.269:z = -5;
task_etp.txt.o372538.269:z = -6;
task_etp.txt.o372538.269:z = -7;
task_etp.txt.o372538.269:z = -8;
task_etp.txt.o372538.269:z = -9;
task_etp.txt.o372538.269:z = -10;
task_etp.txt.o372538.269:z = -11;
task_etp.txt.o372538.269:z = -12;
task_etp.txt.o372538.269:z = -13;
task_etp.txt.o372538.269:z = -14;
task_etp.txt.o372538.269:z = -15;
task_etp.txt.o372538.269:z = -16;
task_etp.txt.o372538.269:z = -17;
task_etp.txt.o372538.269:z = -18;
task_etp.txt.o372538.269:z = -19;
task_etp.txt.o372538.269:z = -20;
task_etp.txt.o372538.269:z = -21;
task_etp.txt.o372538.269:z = -22;
task_etp.txt.o372538.269:z = -23;
task_etp.txt.o372538.269:z = -24;
task_etp.txt.o372538.269:z = -25;
task_etp.txt.o372538.269:z = -26;
task_etp.txt.o372538.269:z = -27;
task_etp.txt.o372538.269:z = -28;
task_etp.txt.o372538.269:z = -29;
task_etp.txt.o372538.269:z = -30;
task_etp.txt.o372538.269:z = -31;
task_etp.txt.o372538.269:z = -32;
task_etp.txt.o372538.269:z = -33;
task_etp.txt.o372538.269:z = -34;
task_etp.txt.o372538.269:z = -35;
task_etp.txt.o372538.269:z = -36;
task_etp.txt.o372538.269:z = -37;
task_etp.txt.o372538.27:z = -63;
task_etp.txt.o372538.27:% Wall time: 610.017892
task_etp.txt.o372538.27:% Conflicts: 9945
task_etp.txt.o372538.270:13292 conflicts
task_etp.txt.o372538.270:23.17 seconds search time
task_etp.txt.o372538.270:z = 30;
task_etp.txt.o372538.270:z = 20;
task_etp.txt.o372538.270:z = 5;
task_etp.txt.o372538.270:z = -4;
task_etp.txt.o372538.270:z = -5;
task_etp.txt.o372538.270:z = -6;
task_etp.txt.o372538.270:z = -7;
task_etp.txt.o372538.270:z = -8;
task_etp.txt.o372538.270:z = -9;
task_etp.txt.o372538.270:z = -10;
task_etp.txt.o372538.270:z = -12;
task_etp.txt.o372538.270:z = -13;
task_etp.txt.o372538.270:z = -14;
task_etp.txt.o372538.270:z = -15;
task_etp.txt.o372538.270:z = -16;
task_etp.txt.o372538.270:z = -17;
task_etp.txt.o372538.270:z = -18;
task_etp.txt.o372538.270:z = -19;
task_etp.txt.o372538.270:z = -20;
task_etp.txt.o372538.270:z = -21;
task_etp.txt.o372538.270:z = -22;
task_etp.txt.o372538.270:z = -23;
task_etp.txt.o372538.270:z = -24;
task_etp.txt.o372538.270:z = -25;
task_etp.txt.o372538.270:z = -26;
task_etp.txt.o372538.270:z = -27;
task_etp.txt.o372538.270:z = -28;
task_etp.txt.o372538.270:z = -29;
task_etp.txt.o372538.270:z = -30;
task_etp.txt.o372538.270:z = -31;
task_etp.txt.o372538.270:z = -32;
task_etp.txt.o372538.270:z = -33;
task_etp.txt.o372538.270:z = -34;
task_etp.txt.o372538.270:z = -35;
task_etp.txt.o372538.270:z = -36;
task_etp.txt.o372538.270:z = -37;
task_etp.txt.o372538.270:==========
task_etp.txt.o372538.271:z = -40;
task_etp.txt.o372538.271:% Wall time: 610.011167
task_etp.txt.o372538.271:% Conflicts: 25825
task_etp.txt.o372538.272:z = -40;
task_etp.txt.o372538.272:% Wall time: 610.036160
task_etp.txt.o372538.272:% Conflicts: 30146
task_etp.txt.o372538.273:z = -36;
task_etp.txt.o372538.273:% Wall time: 610.003071
task_etp.txt.o372538.273:% Conflicts: 154095
task_etp.txt.o372538.274:z = -40;
task_etp.txt.o372538.274:% Wall time: 610.002809
task_etp.txt.o372538.274:% Conflicts: 19197
task_etp.txt.o372538.275:z = -33;
task_etp.txt.o372538.275:% Wall time: 610.043791
task_etp.txt.o372538.275:% Conflicts: 8385
task_etp.txt.o372538.276:z = -65;
task_etp.txt.o372538.276:% Wall time: 610.216476
task_etp.txt.o372538.276:% Conflicts: 5924
task_etp.txt.o372538.277:z = -68;
task_etp.txt.o372538.277:% Wall time: 610.084539
task_etp.txt.o372538.277:% Conflicts: 9255
task_etp.txt.o372538.278:275151 conflicts
task_etp.txt.o372538.278:610.79 seconds search time
task_etp.txt.o372538.278:z = -14;
task_etp.txt.o372538.278:z = -15;
task_etp.txt.o372538.278:z = -16;
task_etp.txt.o372538.278:z = -17;
task_etp.txt.o372538.278:z = -18;
task_etp.txt.o372538.278:z = -19;
task_etp.txt.o372538.278:z = -20;
task_etp.txt.o372538.278:z = -21;
task_etp.txt.o372538.278:z = -22;
task_etp.txt.o372538.278:z = -23;
task_etp.txt.o372538.278:z = -24;
task_etp.txt.o372538.278:z = -25;
task_etp.txt.o372538.278:z = -26;
task_etp.txt.o372538.278:z = -27;
task_etp.txt.o372538.278:z = -28;
task_etp.txt.o372538.278:z = -29;
task_etp.txt.o372538.278:z = -30;
task_etp.txt.o372538.278:z = -31;
task_etp.txt.o372538.278:z = -32;
task_etp.txt.o372538.278:z = -33;
task_etp.txt.o372538.278:z = -34;
task_etp.txt.o372538.278:z = -35;
task_etp.txt.o372538.278:z = -36;
task_etp.txt.o372538.278:z = -37;
task_etp.txt.o372538.278:z = -38;
task_etp.txt.o372538.278:z = -39;
task_etp.txt.o372538.278:z = -40;
task_etp.txt.o372538.279:476211 conflicts
task_etp.txt.o372538.279:610.80 seconds search time
task_etp.txt.o372538.279:z = -14;
task_etp.txt.o372538.279:z = -15;
task_etp.txt.o372538.279:z = -16;
task_etp.txt.o372538.279:z = -17;
task_etp.txt.o372538.279:z = -18;
task_etp.txt.o372538.279:z = -19;
task_etp.txt.o372538.279:z = -20;
task_etp.txt.o372538.279:z = -21;
task_etp.txt.o372538.279:z = -22;
task_etp.txt.o372538.279:z = -23;
task_etp.txt.o372538.279:z = -24;
task_etp.txt.o372538.279:z = -25;
task_etp.txt.o372538.279:z = -26;
task_etp.txt.o372538.279:z = -27;
task_etp.txt.o372538.279:z = -28;
task_etp.txt.o372538.279:z = -29;
task_etp.txt.o372538.279:z = -30;
task_etp.txt.o372538.279:z = -31;
task_etp.txt.o372538.279:z = -32;
task_etp.txt.o372538.279:z = -33;
task_etp.txt.o372538.279:z = -34;
task_etp.txt.o372538.279:z = -35;
task_etp.txt.o372538.279:z = -36;
task_etp.txt.o372538.279:z = -37;
task_etp.txt.o372538.279:z = -38;
task_etp.txt.o372538.279:z = -39;
task_etp.txt.o372538.279:z = -40;
task_etp.txt.o372538.279:z = -41;
task_etp.txt.o372538.279:z = -42;
task_etp.txt.o372538.279:z = -43;
task_etp.txt.o372538.279:z = -44;
task_etp.txt.o372538.279:z = -45;
task_etp.txt.o372538.279:z = -46;
task_etp.txt.o372538.279:z = -47;
task_etp.txt.o372538.279:z = -48;
task_etp.txt.o372538.279:z = -49;
task_etp.txt.o372538.279:z = -50;
task_etp.txt.o372538.279:z = -51;
task_etp.txt.o372538.279:z = -52;
task_etp.txt.o372538.279:z = -53;
task_etp.txt.o372538.279:z = -54;
task_etp.txt.o372538.279:z = -55;
task_etp.txt.o372538.279:z = -56;
task_etp.txt.o372538.279:z = -57;
task_etp.txt.o372538.279:z = -58;
task_etp.txt.o372538.279:z = -59;
task_etp.txt.o372538.279:z = -60;
task_etp.txt.o372538.279:z = -61;
task_etp.txt.o372538.279:z = -62;
task_etp.txt.o372538.279:z = -63;
task_etp.txt.o372538.279:z = -64;
task_etp.txt.o372538.279:z = -65;
task_etp.txt.o372538.279:z = -66;
task_etp.txt.o372538.279:z = -67;
task_etp.txt.o372538.279:z = -68;
task_etp.txt.o372538.279:z = -69;
task_etp.txt.o372538.279:z = -70;
task_etp.txt.o372538.279:z = -71;
task_etp.txt.o372538.279:z = -72;
task_etp.txt.o372538.279:z = -73;
task_etp.txt.o372538.279:z = -74;
task_etp.txt.o372538.279:z = -75;
task_etp.txt.o372538.279:z = -76;
task_etp.txt.o372538.279:z = -77;
task_etp.txt.o372538.28:48063 conflicts
task_etp.txt.o372538.28:67.28 seconds search time
task_etp.txt.o372538.28:z = 48;
task_etp.txt.o372538.28:z = -25;
task_etp.txt.o372538.28:z = -45;
task_etp.txt.o372538.28:z = -47;
task_etp.txt.o372538.28:z = -49;
task_etp.txt.o372538.28:z = -51;
task_etp.txt.o372538.28:z = -52;
task_etp.txt.o372538.28:z = -55;
task_etp.txt.o372538.28:z = -56;
task_etp.txt.o372538.28:z = -57;
task_etp.txt.o372538.28:z = -58;
task_etp.txt.o372538.28:z = -59;
task_etp.txt.o372538.28:z = -60;
task_etp.txt.o372538.28:z = -61;
task_etp.txt.o372538.28:z = -62;
task_etp.txt.o372538.28:z = -63;
task_etp.txt.o372538.28:z = -64;
task_etp.txt.o372538.28:z = -65;
task_etp.txt.o372538.28:z = -66;
task_etp.txt.o372538.28:z = -67;
task_etp.txt.o372538.28:z = -68;
task_etp.txt.o372538.28:z = -69;
task_etp.txt.o372538.28:z = -70;
task_etp.txt.o372538.28:z = -72;
task_etp.txt.o372538.28:z = -73;
task_etp.txt.o372538.28:z = -75;
task_etp.txt.o372538.28:z = -76;
task_etp.txt.o372538.28:z = -77;
task_etp.txt.o372538.28:z = -78;
task_etp.txt.o372538.28:z = -79;
task_etp.txt.o372538.28:z = -80;
task_etp.txt.o372538.28:==========
task_etp.txt.o372538.280:22915 conflicts
task_etp.txt.o372538.280:610.71 seconds search time
task_etp.txt.o372538.280:z = -14;
task_etp.txt.o372538.280:z = -15;
task_etp.txt.o372538.280:z = -16;
task_etp.txt.o372538.280:z = -17;
task_etp.txt.o372538.280:z = -18;
task_etp.txt.o372538.280:z = -19;
task_etp.txt.o372538.280:z = -20;
task_etp.txt.o372538.280:z = -21;
task_etp.txt.o372538.280:z = -22;
task_etp.txt.o372538.280:z = -23;
task_etp.txt.o372538.280:z = -24;
task_etp.txt.o372538.280:z = -25;
task_etp.txt.o372538.280:z = -26;
task_etp.txt.o372538.280:z = -27;
task_etp.txt.o372538.280:z = -28;
task_etp.txt.o372538.280:z = -29;
task_etp.txt.o372538.280:z = -30;
task_etp.txt.o372538.280:z = -31;
task_etp.txt.o372538.280:z = -32;
task_etp.txt.o372538.280:z = -33;
task_etp.txt.o372538.280:z = -34;
task_etp.txt.o372538.280:z = -35;
task_etp.txt.o372538.280:z = -36;
task_etp.txt.o372538.280:z = -37;
task_etp.txt.o372538.280:z = -38;
task_etp.txt.o372538.280:z = -39;
task_etp.txt.o372538.280:z = -40;
task_etp.txt.o372538.281:z = -33;
task_etp.txt.o372538.281:% Wall time: 610.016812
task_etp.txt.o372538.281:% Conflicts: 31420
task_etp.txt.o372538.282:z = -33;
task_etp.txt.o372538.282:% Wall time: 610.009336
task_etp.txt.o372538.282:% Conflicts: 30429
task_etp.txt.o372538.283:z = -33;
task_etp.txt.o372538.283:% Wall time: 610.010198
task_etp.txt.o372538.283:% Conflicts: 38446
task_etp.txt.o372538.284:z = -33;
task_etp.txt.o372538.284:% Wall time: 610.008634
task_etp.txt.o372538.284:% Conflicts: 28164
task_etp.txt.o372538.285:z = -28;
task_etp.txt.o372538.285:% Wall time: 610.022452
task_etp.txt.o372538.285:% Conflicts: 9564
task_etp.txt.o372538.286:z = -33;
task_etp.txt.o372538.286:==========
task_etp.txt.o372538.286:% Wall time: 371.885410
task_etp.txt.o372538.286:% Conflicts: 693
task_etp.txt.o372538.287:z = -33;
task_etp.txt.o372538.287:==========
task_etp.txt.o372538.287:% Wall time: 462.153857
task_etp.txt.o372538.287:% Conflicts: 3538
task_etp.txt.o372538.288:23842 conflicts
task_etp.txt.o372538.288:24.75 seconds search time
task_etp.txt.o372538.288:z = 22;
task_etp.txt.o372538.288:z = -7;
task_etp.txt.o372538.288:z = -18;
task_etp.txt.o372538.288:z = -19;
task_etp.txt.o372538.288:z = -20;
task_etp.txt.o372538.288:z = -21;
task_etp.txt.o372538.288:z = -22;
task_etp.txt.o372538.288:z = -23;
task_etp.txt.o372538.288:z = -24;
task_etp.txt.o372538.288:z = -25;
task_etp.txt.o372538.288:z = -26;
task_etp.txt.o372538.288:z = -27;
task_etp.txt.o372538.288:z = -28;
task_etp.txt.o372538.288:z = -29;
task_etp.txt.o372538.288:z = -30;
task_etp.txt.o372538.288:z = -31;
task_etp.txt.o372538.288:z = -32;
task_etp.txt.o372538.288:z = -33;
task_etp.txt.o372538.288:==========
task_etp.txt.o372538.289:1686 conflicts
task_etp.txt.o372538.289:8.86 seconds search time
task_etp.txt.o372538.289:z = 22;
task_etp.txt.o372538.289:z = -7;
task_etp.txt.o372538.289:z = -18;
task_etp.txt.o372538.289:z = -19;
task_etp.txt.o372538.289:z = -20;
task_etp.txt.o372538.289:z = -21;
task_etp.txt.o372538.289:z = -22;
task_etp.txt.o372538.289:z = -23;
task_etp.txt.o372538.289:z = -24;
task_etp.txt.o372538.289:z = -25;
task_etp.txt.o372538.289:z = -26;
task_etp.txt.o372538.289:z = -27;
task_etp.txt.o372538.289:z = -28;
task_etp.txt.o372538.289:z = -29;
task_etp.txt.o372538.289:z = -30;
task_etp.txt.o372538.289:z = -31;
task_etp.txt.o372538.289:z = -32;
task_etp.txt.o372538.289:z = -33;
task_etp.txt.o372538.289:==========
task_etp.txt.o372538.29:42291 conflicts
task_etp.txt.o372538.29:94.94 seconds search time
task_etp.txt.o372538.29:z = 48;
task_etp.txt.o372538.29:z = -25;
task_etp.txt.o372538.29:z = -45;
task_etp.txt.o372538.29:z = -47;
task_etp.txt.o372538.29:z = -49;
task_etp.txt.o372538.29:z = -51;
task_etp.txt.o372538.29:z = -52;
task_etp.txt.o372538.29:z = -55;
task_etp.txt.o372538.29:z = -56;
task_etp.txt.o372538.29:z = -57;
task_etp.txt.o372538.29:z = -58;
task_etp.txt.o372538.29:z = -59;
task_etp.txt.o372538.29:z = -60;
task_etp.txt.o372538.29:z = -61;
task_etp.txt.o372538.29:z = -62;
task_etp.txt.o372538.29:z = -63;
task_etp.txt.o372538.29:z = -64;
task_etp.txt.o372538.29:z = -65;
task_etp.txt.o372538.29:z = -66;
task_etp.txt.o372538.29:z = -67;
task_etp.txt.o372538.29:z = -68;
task_etp.txt.o372538.29:z = -69;
task_etp.txt.o372538.29:z = -70;
task_etp.txt.o372538.29:z = -72;
task_etp.txt.o372538.29:z = -73;
task_etp.txt.o372538.29:z = -75;
task_etp.txt.o372538.29:z = -76;
task_etp.txt.o372538.29:z = -77;
task_etp.txt.o372538.29:z = -78;
task_etp.txt.o372538.29:z = -79;
task_etp.txt.o372538.29:z = -80;
task_etp.txt.o372538.29:==========
task_etp.txt.o372538.290:75365 conflicts
task_etp.txt.o372538.290:610.69 seconds search time
task_etp.txt.o372538.290:z = 22;
task_etp.txt.o372538.290:z = 21;
task_etp.txt.o372538.290:z = 5;
task_etp.txt.o372538.290:z = 4;
task_etp.txt.o372538.290:z = 3;
task_etp.txt.o372538.290:z = -2;
task_etp.txt.o372538.290:z = -3;
task_etp.txt.o372538.290:z = -8;
task_etp.txt.o372538.290:z = -9;
task_etp.txt.o372538.290:z = -10;
task_etp.txt.o372538.290:z = -11;
task_etp.txt.o372538.290:z = -12;
task_etp.txt.o372538.290:z = -13;
task_etp.txt.o372538.290:z = -14;
task_etp.txt.o372538.290:z = -15;
task_etp.txt.o372538.290:z = -16;
task_etp.txt.o372538.290:z = -17;
task_etp.txt.o372538.290:z = -18;
task_etp.txt.o372538.290:z = -19;
task_etp.txt.o372538.290:z = -20;
task_etp.txt.o372538.290:z = -21;
task_etp.txt.o372538.290:z = -22;
task_etp.txt.o372538.290:z = -23;
task_etp.txt.o372538.290:z = -24;
task_etp.txt.o372538.290:z = -25;
task_etp.txt.o372538.290:z = -26;
task_etp.txt.o372538.291:z = -9;
task_etp.txt.o372538.291:==========
task_etp.txt.o372538.291:% Wall time: 65.881424
task_etp.txt.o372538.291:% Conflicts: 3544
task_etp.txt.o372538.292:z = -9;
task_etp.txt.o372538.292:==========
task_etp.txt.o372538.292:% Wall time: 64.730667
task_etp.txt.o372538.292:% Conflicts: 3644
task_etp.txt.o372538.293:z = -9;
task_etp.txt.o372538.293:==========
task_etp.txt.o372538.293:% Wall time: 57.178173
task_etp.txt.o372538.293:% Conflicts: 3188
task_etp.txt.o372538.294:z = -9;
task_etp.txt.o372538.294:==========
task_etp.txt.o372538.294:% Wall time: 75.351494
task_etp.txt.o372538.294:% Conflicts: 3613
task_etp.txt.o372538.295:z = -9;
task_etp.txt.o372538.295:==========
task_etp.txt.o372538.295:% Wall time: 338.696471
task_etp.txt.o372538.295:% Conflicts: 4263
task_etp.txt.o372538.296:z = -9;
task_etp.txt.o372538.296:==========
task_etp.txt.o372538.296:% Wall time: 111.454490
task_etp.txt.o372538.296:% Conflicts: 713
task_etp.txt.o372538.297:z = -9;
task_etp.txt.o372538.297:==========
task_etp.txt.o372538.297:% Wall time: 84.751276
task_etp.txt.o372538.297:% Conflicts: 821
task_etp.txt.o372538.298:1804 conflicts
task_etp.txt.o372538.298:1.46 seconds search time
task_etp.txt.o372538.298:z = 34;
task_etp.txt.o372538.298:z = 31;
task_etp.txt.o372538.298:z = 29;
task_etp.txt.o372538.298:z = 24;
task_etp.txt.o372538.298:z = 21;
task_etp.txt.o372538.298:z = 20;
task_etp.txt.o372538.298:z = 17;
task_etp.txt.o372538.298:z = 16;
task_etp.txt.o372538.298:z = 15;
task_etp.txt.o372538.298:z = 14;
task_etp.txt.o372538.298:z = 13;
task_etp.txt.o372538.298:z = 12;
task_etp.txt.o372538.298:z = 11;
task_etp.txt.o372538.298:z = 10;
task_etp.txt.o372538.298:z = 9;
task_etp.txt.o372538.298:z = 8;
task_etp.txt.o372538.298:z = 7;
task_etp.txt.o372538.298:z = 6;
task_etp.txt.o372538.298:z = 5;
task_etp.txt.o372538.298:z = 1;
task_etp.txt.o372538.298:z = 0;
task_etp.txt.o372538.298:z = -1;
task_etp.txt.o372538.298:z = -2;
task_etp.txt.o372538.298:z = -3;
task_etp.txt.o372538.298:z = -4;
task_etp.txt.o372538.298:z = -5;
task_etp.txt.o372538.298:z = -6;
task_etp.txt.o372538.298:z = -7;
task_etp.txt.o372538.298:z = -8;
task_etp.txt.o372538.298:z = -9;
task_etp.txt.o372538.298:==========
task_etp.txt.o372538.299:1607 conflicts
task_etp.txt.o372538.299:6.84 seconds search time
task_etp.txt.o372538.299:z = 34;
task_etp.txt.o372538.299:z = 31;
task_etp.txt.o372538.299:z = 29;
task_etp.txt.o372538.299:z = 24;
task_etp.txt.o372538.299:z = 21;
task_etp.txt.o372538.299:z = 20;
task_etp.txt.o372538.299:z = 17;
task_etp.txt.o372538.299:z = 16;
task_etp.txt.o372538.299:z = 15;
task_etp.txt.o372538.299:z = 14;
task_etp.txt.o372538.299:z = 13;
task_etp.txt.o372538.299:z = 12;
task_etp.txt.o372538.299:z = 11;
task_etp.txt.o372538.299:z = 10;
task_etp.txt.o372538.299:z = 9;
task_etp.txt.o372538.299:z = 8;
task_etp.txt.o372538.299:z = 7;
task_etp.txt.o372538.299:z = 6;
task_etp.txt.o372538.299:z = 5;
task_etp.txt.o372538.299:z = 1;
task_etp.txt.o372538.299:z = 0;
task_etp.txt.o372538.299:z = -1;
task_etp.txt.o372538.299:z = -2;
task_etp.txt.o372538.299:z = -3;
task_etp.txt.o372538.299:z = -4;
task_etp.txt.o372538.299:z = -5;
task_etp.txt.o372538.299:z = -6;
task_etp.txt.o372538.299:z = -7;
task_etp.txt.o372538.299:z = -8;
task_etp.txt.o372538.299:z = -9;
task_etp.txt.o372538.299:==========
task_etp.txt.o372538.3:z = -86;
task_etp.txt.o372538.3:% Wall time: 610.006060
task_etp.txt.o372538.3:% Conflicts: 104109
task_etp.txt.o372538.30:90418 conflicts
task_etp.txt.o372538.30:610.86 seconds search time
task_etp.txt.o372538.30:z = 48;
task_etp.txt.o372538.30:z = 12;
task_etp.txt.o372538.30:z = 9;
task_etp.txt.o372538.30:z = 0;
task_etp.txt.o372538.30:z = -6;
task_etp.txt.o372538.30:z = -9;
task_etp.txt.o372538.30:z = -10;
task_etp.txt.o372538.30:z = -14;
task_etp.txt.o372538.30:z = -15;
task_etp.txt.o372538.30:z = -16;
task_etp.txt.o372538.30:z = -17;
task_etp.txt.o372538.30:z = -18;
task_etp.txt.o372538.30:z = -19;
task_etp.txt.o372538.30:z = -20;
task_etp.txt.o372538.30:z = -21;
task_etp.txt.o372538.30:z = -22;
task_etp.txt.o372538.30:z = -23;
task_etp.txt.o372538.30:z = -24;
task_etp.txt.o372538.30:z = -25;
task_etp.txt.o372538.30:z = -26;
task_etp.txt.o372538.30:z = -27;
task_etp.txt.o372538.30:z = -29;
task_etp.txt.o372538.30:z = -30;
task_etp.txt.o372538.30:z = -32;
task_etp.txt.o372538.30:z = -33;
task_etp.txt.o372538.30:z = -35;
task_etp.txt.o372538.30:z = -37;
task_etp.txt.o372538.30:z = -39;
task_etp.txt.o372538.30:z = -41;
task_etp.txt.o372538.30:z = -43;
task_etp.txt.o372538.30:z = -44;
task_etp.txt.o372538.30:z = -46;
task_etp.txt.o372538.30:z = -47;
task_etp.txt.o372538.30:z = -48;
task_etp.txt.o372538.30:z = -49;
task_etp.txt.o372538.30:z = -50;
task_etp.txt.o372538.30:z = -51;
task_etp.txt.o372538.30:z = -52;
task_etp.txt.o372538.30:z = -53;
task_etp.txt.o372538.30:z = -54;
task_etp.txt.o372538.30:z = -55;
task_etp.txt.o372538.30:z = -56;
task_etp.txt.o372538.30:z = -57;
task_etp.txt.o372538.30:z = -58;
task_etp.txt.o372538.30:z = -59;
task_etp.txt.o372538.30:z = -60;
task_etp.txt.o372538.30:z = -61;
task_etp.txt.o372538.30:z = -62;
task_etp.txt.o372538.30:z = -63;
task_etp.txt.o372538.30:z = -65;
task_etp.txt.o372538.30:z = -66;
task_etp.txt.o372538.30:z = -67;
task_etp.txt.o372538.30:z = -68;
task_etp.txt.o372538.30:z = -69;
task_etp.txt.o372538.30:z = -70;
task_etp.txt.o372538.30:z = -72;
task_etp.txt.o372538.30:z = -73;
task_etp.txt.o372538.300:2900 conflicts
task_etp.txt.o372538.300:5.37 seconds search time
task_etp.txt.o372538.300:z = 34;
task_etp.txt.o372538.300:z = 30;
task_etp.txt.o372538.300:z = 28;
task_etp.txt.o372538.300:z = 25;
task_etp.txt.o372538.300:z = 24;
task_etp.txt.o372538.300:z = 23;
task_etp.txt.o372538.300:z = 18;
task_etp.txt.o372538.300:z = 16;
task_etp.txt.o372538.300:z = 14;
task_etp.txt.o372538.300:z = 13;
task_etp.txt.o372538.300:z = 12;
task_etp.txt.o372538.300:z = 8;
task_etp.txt.o372538.300:z = 5;
task_etp.txt.o372538.300:z = 3;
task_etp.txt.o372538.300:z = 2;
task_etp.txt.o372538.300:z = 1;
task_etp.txt.o372538.300:z = 0;
task_etp.txt.o372538.300:z = -1;
task_etp.txt.o372538.300:z = -2;
task_etp.txt.o372538.300:z = -3;
task_etp.txt.o372538.300:z = -4;
task_etp.txt.o372538.300:z = -5;
task_etp.txt.o372538.300:z = -6;
task_etp.txt.o372538.300:z = -7;
task_etp.txt.o372538.300:z = -8;
task_etp.txt.o372538.300:z = -9;
task_etp.txt.o372538.300:==========
task_etp.txt.o372538.31:z = -35;
task_etp.txt.o372538.31:==========
task_etp.txt.o372538.31:% Wall time: 22.130921
task_etp.txt.o372538.31:% Conflicts: 3023
task_etp.txt.o372538.32:z = -35;
task_etp.txt.o372538.32:==========
task_etp.txt.o372538.32:% Wall time: 21.701778
task_etp.txt.o372538.32:% Conflicts: 3096
task_etp.txt.o372538.33:z = -35;
task_etp.txt.o372538.33:==========
task_etp.txt.o372538.33:% Wall time: 25.550907
task_etp.txt.o372538.33:% Conflicts: 3232
task_etp.txt.o372538.34:z = -35;
task_etp.txt.o372538.34:==========
task_etp.txt.o372538.34:% Wall time: 23.669029
task_etp.txt.o372538.34:% Conflicts: 3045
task_etp.txt.o372538.35:z = -35;
task_etp.txt.o372538.35:==========
task_etp.txt.o372538.35:% Wall time: 27.065718
task_etp.txt.o372538.35:% Conflicts: 1100
task_etp.txt.o372538.36:z = -35;
task_etp.txt.o372538.36:==========
task_etp.txt.o372538.36:% Wall time: 7.155691
task_etp.txt.o372538.36:% Conflicts: 56
task_etp.txt.o372538.37:z = -35;
task_etp.txt.o372538.37:==========
task_etp.txt.o372538.37:% Wall time: 3.293684
task_etp.txt.o372538.37:% Conflicts: 60
task_etp.txt.o372538.38:820 conflicts
task_etp.txt.o372538.38:0.51 seconds search time
task_etp.txt.o372538.38:z = 101;
task_etp.txt.o372538.38:z = 32;
task_etp.txt.o372538.38:z = 8;
task_etp.txt.o372538.38:z = 7;
task_etp.txt.o372538.38:z = 5;
task_etp.txt.o372538.38:z = 3;
task_etp.txt.o372538.38:z = 1;
task_etp.txt.o372538.38:z = 0;
task_etp.txt.o372538.38:z = -2;
task_etp.txt.o372538.38:z = -3;
task_etp.txt.o372538.38:z = -5;
task_etp.txt.o372538.38:z = -7;
task_etp.txt.o372538.38:z = -8;
task_etp.txt.o372538.38:z = -9;
task_etp.txt.o372538.38:z = -10;
task_etp.txt.o372538.38:z = -11;
task_etp.txt.o372538.38:z = -12;
task_etp.txt.o372538.38:z = -14;
task_etp.txt.o372538.38:z = -16;
task_etp.txt.o372538.38:z = -17;
task_etp.txt.o372538.38:z = -19;
task_etp.txt.o372538.38:z = -20;
task_etp.txt.o372538.38:z = -21;
task_etp.txt.o372538.38:z = -22;
task_etp.txt.o372538.38:z = -23;
task_etp.txt.o372538.38:z = -24;
task_etp.txt.o372538.38:z = -25;
task_etp.txt.o372538.38:z = -26;
task_etp.txt.o372538.38:z = -27;
task_etp.txt.o372538.38:z = -28;
task_etp.txt.o372538.38:z = -29;
task_etp.txt.o372538.38:z = -30;
task_etp.txt.o372538.38:z = -31;
task_etp.txt.o372538.38:z = -32;
task_etp.txt.o372538.38:z = -33;
task_etp.txt.o372538.38:z = -34;
task_etp.txt.o372538.38:z = -35;
task_etp.txt.o372538.38:==========
task_etp.txt.o372538.39:776 conflicts
task_etp.txt.o372538.39:1.22 seconds search time
task_etp.txt.o372538.39:z = 101;
task_etp.txt.o372538.39:z = 32;
task_etp.txt.o372538.39:z = 8;
task_etp.txt.o372538.39:z = 7;
task_etp.txt.o372538.39:z = 5;
task_etp.txt.o372538.39:z = 3;
task_etp.txt.o372538.39:z = 1;
task_etp.txt.o372538.39:z = 0;
task_etp.txt.o372538.39:z = -2;
task_etp.txt.o372538.39:z = -3;
task_etp.txt.o372538.39:z = -5;
task_etp.txt.o372538.39:z = -7;
task_etp.txt.o372538.39:z = -8;
task_etp.txt.o372538.39:z = -9;
task_etp.txt.o372538.39:z = -10;
task_etp.txt.o372538.39:z = -11;
task_etp.txt.o372538.39:z = -12;
task_etp.txt.o372538.39:z = -14;
task_etp.txt.o372538.39:z = -16;
task_etp.txt.o372538.39:z = -17;
task_etp.txt.o372538.39:z = -19;
task_etp.txt.o372538.39:z = -20;
task_etp.txt.o372538.39:z = -21;
task_etp.txt.o372538.39:z = -22;
task_etp.txt.o372538.39:z = -23;
task_etp.txt.o372538.39:z = -24;
task_etp.txt.o372538.39:z = -25;
task_etp.txt.o372538.39:z = -26;
task_etp.txt.o372538.39:z = -27;
task_etp.txt.o372538.39:z = -28;
task_etp.txt.o372538.39:z = -29;
task_etp.txt.o372538.39:z = -30;
task_etp.txt.o372538.39:z = -31;
task_etp.txt.o372538.39:z = -32;
task_etp.txt.o372538.39:z = -33;
task_etp.txt.o372538.39:z = -34;
task_etp.txt.o372538.39:z = -35;
task_etp.txt.o372538.39:==========
task_etp.txt.o372538.4:z = -86;
task_etp.txt.o372538.4:% Wall time: 610.004311
task_etp.txt.o372538.4:% Conflicts: 87582
task_etp.txt.o372538.40:620 conflicts
task_etp.txt.o372538.40:0.88 seconds search time
task_etp.txt.o372538.40:z = 101;
task_etp.txt.o372538.40:z = 32;
task_etp.txt.o372538.40:z = 25;
task_etp.txt.o372538.40:z = 20;
task_etp.txt.o372538.40:z = 4;
task_etp.txt.o372538.40:z = 3;
task_etp.txt.o372538.40:z = 2;
task_etp.txt.o372538.40:z = 1;
task_etp.txt.o372538.40:z = -17;
task_etp.txt.o372538.40:z = -18;
task_etp.txt.o372538.40:z = -21;
task_etp.txt.o372538.40:z = -22;
task_etp.txt.o372538.40:z = -25;
task_etp.txt.o372538.40:z = -29;
task_etp.txt.o372538.40:z = -30;
task_etp.txt.o372538.40:z = -31;
task_etp.txt.o372538.40:z = -32;
task_etp.txt.o372538.40:z = -33;
task_etp.txt.o372538.40:z = -34;
task_etp.txt.o372538.40:z = -35;
task_etp.txt.o372538.40:==========
task_etp.txt.o372538.41:z = -76;
task_etp.txt.o372538.41:% Wall time: 610.000154
task_etp.txt.o372538.41:% Conflicts: 92616
task_etp.txt.o372538.42:z = -75;
task_etp.txt.o372538.42:% Wall time: 610.001815
task_etp.txt.o372538.42:% Conflicts: 87203
task_etp.txt.o372538.43:z = -74;
task_etp.txt.o372538.43:% Wall time: 610.013607
task_etp.txt.o372538.43:% Conflicts: 85225
task_etp.txt.o372538.44:z = -74;
task_etp.txt.o372538.44:% Wall time: 610.017252
task_etp.txt.o372538.44:% Conflicts: 54283
task_etp.txt.o372538.45:z = -74;
task_etp.txt.o372538.45:% Wall time: 610.079259
task_etp.txt.o372538.45:% Conflicts: 14709
task_etp.txt.o372538.46:z = -120;
task_etp.txt.o372538.46:==========
task_etp.txt.o372538.46:% Wall time: 556.117210
task_etp.txt.o372538.46:% Conflicts: 2984
task_etp.txt.o372538.47:z = -120;
task_etp.txt.o372538.47:% Wall time: 610.230011
task_etp.txt.o372538.47:% Conflicts: 12579
task_etp.txt.o372538.48:524807 conflicts
task_etp.txt.o372538.48:610.89 seconds search time
task_etp.txt.o372538.48:z = 131;
task_etp.txt.o372538.48:z = 121;
task_etp.txt.o372538.48:z = 15;
task_etp.txt.o372538.48:z = -28;
task_etp.txt.o372538.48:z = -29;
task_etp.txt.o372538.48:z = -30;
task_etp.txt.o372538.48:z = -31;
task_etp.txt.o372538.48:z = -35;
task_etp.txt.o372538.48:z = -36;
task_etp.txt.o372538.48:z = -37;
task_etp.txt.o372538.48:z = -38;
task_etp.txt.o372538.48:z = -41;
task_etp.txt.o372538.48:z = -43;
task_etp.txt.o372538.48:z = -44;
task_etp.txt.o372538.48:z = -45;
task_etp.txt.o372538.48:z = -46;
task_etp.txt.o372538.48:z = -48;
task_etp.txt.o372538.48:z = -49;
task_etp.txt.o372538.48:z = -50;
task_etp.txt.o372538.48:z = -52;
task_etp.txt.o372538.48:z = -53;
task_etp.txt.o372538.48:z = -54;
task_etp.txt.o372538.48:z = -56;
task_etp.txt.o372538.48:z = -58;
task_etp.txt.o372538.48:z = -60;
task_etp.txt.o372538.48:z = -62;
task_etp.txt.o372538.48:z = -64;
task_etp.txt.o372538.48:z = -66;
task_etp.txt.o372538.48:z = -68;
task_etp.txt.o372538.48:z = -69;
task_etp.txt.o372538.48:z = -70;
task_etp.txt.o372538.48:z = -71;
task_etp.txt.o372538.48:z = -72;
task_etp.txt.o372538.48:z = -73;
task_etp.txt.o372538.48:z = -74;
task_etp.txt.o372538.48:z = -75;
task_etp.txt.o372538.48:z = -76;
task_etp.txt.o372538.48:z = -77;
task_etp.txt.o372538.48:z = -78;
task_etp.txt.o372538.48:z = -79;
task_etp.txt.o372538.48:z = -80;
task_etp.txt.o372538.48:z = -81;
task_etp.txt.o372538.48:z = -82;
task_etp.txt.o372538.48:z = -83;
task_etp.txt.o372538.48:z = -84;
task_etp.txt.o372538.48:z = -85;
task_etp.txt.o372538.48:z = -86;
task_etp.txt.o372538.48:z = -87;
task_etp.txt.o372538.48:z = -88;
task_etp.txt.o372538.48:z = -89;
task_etp.txt.o372538.48:z = -90;
task_etp.txt.o372538.48:z = -91;
task_etp.txt.o372538.48:z = -92;
task_etp.txt.o372538.48:z = -93;
task_etp.txt.o372538.48:z = -94;
task_etp.txt.o372538.48:z = -95;
task_etp.txt.o372538.48:z = -96;
task_etp.txt.o372538.48:z = -97;
task_etp.txt.o372538.48:z = -98;
task_etp.txt.o372538.48:z = -99;
task_etp.txt.o372538.48:z = -100;
task_etp.txt.o372538.48:z = -101;
task_etp.txt.o372538.48:z = -102;
task_etp.txt.o372538.48:z = -103;
task_etp.txt.o372538.48:z = -104;
task_etp.txt.o372538.48:z = -105;
task_etp.txt.o372538.48:z = -106;
task_etp.txt.o372538.48:z = -107;
task_etp.txt.o372538.48:z = -108;
task_etp.txt.o372538.48:z = -109;
task_etp.txt.o372538.48:z = -110;
task_etp.txt.o372538.48:z = -111;
task_etp.txt.o372538.48:z = -112;
task_etp.txt.o372538.48:z = -113;
task_etp.txt.o372538.48:z = -114;
task_etp.txt.o372538.48:z = -115;
task_etp.txt.o372538.48:z = -116;
task_etp.txt.o372538.48:z = -117;
task_etp.txt.o372538.48:z = -118;
task_etp.txt.o372538.48:z = -119;
task_etp.txt.o372538.48:z = -120;
task_etp.txt.o372538.49:361004 conflicts
task_etp.txt.o372538.49:447.19 seconds search time
task_etp.txt.o372538.49:z = 131;
task_etp.txt.o372538.49:z = 121;
task_etp.txt.o372538.49:z = 15;
task_etp.txt.o372538.49:z = -28;
task_etp.txt.o372538.49:z = -29;
task_etp.txt.o372538.49:z = -30;
task_etp.txt.o372538.49:z = -31;
task_etp.txt.o372538.49:z = -35;
task_etp.txt.o372538.49:z = -36;
task_etp.txt.o372538.49:z = -37;
task_etp.txt.o372538.49:z = -38;
task_etp.txt.o372538.49:z = -41;
task_etp.txt.o372538.49:z = -43;
task_etp.txt.o372538.49:z = -44;
task_etp.txt.o372538.49:z = -45;
task_etp.txt.o372538.49:z = -46;
task_etp.txt.o372538.49:z = -48;
task_etp.txt.o372538.49:z = -49;
task_etp.txt.o372538.49:z = -50;
task_etp.txt.o372538.49:z = -52;
task_etp.txt.o372538.49:z = -53;
task_etp.txt.o372538.49:z = -54;
task_etp.txt.o372538.49:z = -56;
task_etp.txt.o372538.49:z = -58;
task_etp.txt.o372538.49:z = -60;
task_etp.txt.o372538.49:z = -62;
task_etp.txt.o372538.49:z = -64;
task_etp.txt.o372538.49:z = -66;
task_etp.txt.o372538.49:z = -68;
task_etp.txt.o372538.49:z = -69;
task_etp.txt.o372538.49:z = -70;
task_etp.txt.o372538.49:z = -71;
task_etp.txt.o372538.49:z = -72;
task_etp.txt.o372538.49:z = -73;
task_etp.txt.o372538.49:z = -74;
task_etp.txt.o372538.49:z = -75;
task_etp.txt.o372538.49:z = -76;
task_etp.txt.o372538.49:z = -77;
task_etp.txt.o372538.49:z = -78;
task_etp.txt.o372538.49:z = -79;
task_etp.txt.o372538.49:z = -80;
task_etp.txt.o372538.49:z = -81;
task_etp.txt.o372538.49:z = -82;
task_etp.txt.o372538.49:z = -83;
task_etp.txt.o372538.49:z = -84;
task_etp.txt.o372538.49:z = -85;
task_etp.txt.o372538.49:z = -86;
task_etp.txt.o372538.49:z = -87;
task_etp.txt.o372538.49:z = -88;
task_etp.txt.o372538.49:z = -89;
task_etp.txt.o372538.49:z = -90;
task_etp.txt.o372538.49:z = -91;
task_etp.txt.o372538.49:z = -92;
task_etp.txt.o372538.49:z = -93;
task_etp.txt.o372538.49:z = -94;
task_etp.txt.o372538.49:z = -95;
task_etp.txt.o372538.49:z = -96;
task_etp.txt.o372538.49:z = -97;
task_etp.txt.o372538.49:z = -98;
task_etp.txt.o372538.49:z = -99;
task_etp.txt.o372538.49:z = -100;
task_etp.txt.o372538.49:z = -101;
task_etp.txt.o372538.49:z = -102;
task_etp.txt.o372538.49:z = -103;
task_etp.txt.o372538.49:z = -104;
task_etp.txt.o372538.49:z = -105;
task_etp.txt.o372538.49:z = -106;
task_etp.txt.o372538.49:z = -107;
task_etp.txt.o372538.49:z = -108;
task_etp.txt.o372538.49:z = -109;
task_etp.txt.o372538.49:z = -110;
task_etp.txt.o372538.49:z = -111;
task_etp.txt.o372538.49:z = -112;
task_etp.txt.o372538.49:z = -113;
task_etp.txt.o372538.49:z = -114;
task_etp.txt.o372538.49:z = -115;
task_etp.txt.o372538.49:z = -116;
task_etp.txt.o372538.49:z = -117;
task_etp.txt.o372538.49:z = -118;
task_etp.txt.o372538.49:z = -119;
task_etp.txt.o372538.49:z = -120;
task_etp.txt.o372538.49:==========
task_etp.txt.o372538.5:z = -86;
task_etp.txt.o372538.5:% Wall time: 610.039103
task_etp.txt.o372538.5:% Conflicts: 21287
task_etp.txt.o372538.50:205596 conflicts
task_etp.txt.o372538.50:610.87 seconds search time
task_etp.txt.o372538.50:z = 131;
task_etp.txt.o372538.50:z = 121;
task_etp.txt.o372538.50:z = 15;
task_etp.txt.o372538.50:z = 14;
task_etp.txt.o372538.50:z = -13;
task_etp.txt.o372538.50:z = -17;
task_etp.txt.o372538.50:z = -23;
task_etp.txt.o372538.50:z = -24;
task_etp.txt.o372538.50:z = -25;
task_etp.txt.o372538.50:z = -28;
task_etp.txt.o372538.50:z = -29;
task_etp.txt.o372538.50:z = -31;
task_etp.txt.o372538.50:z = -38;
task_etp.txt.o372538.50:z = -41;
task_etp.txt.o372538.50:z = -45;
task_etp.txt.o372538.50:z = -47;
task_etp.txt.o372538.50:z = -49;
task_etp.txt.o372538.50:z = -50;
task_etp.txt.o372538.50:z = -54;
task_etp.txt.o372538.50:z = -57;
task_etp.txt.o372538.50:z = -58;
task_etp.txt.o372538.50:z = -59;
task_etp.txt.o372538.50:z = -61;
task_etp.txt.o372538.50:z = -62;
task_etp.txt.o372538.50:z = -63;
task_etp.txt.o372538.50:z = -66;
task_etp.txt.o372538.50:z = -67;
task_etp.txt.o372538.50:z = -68;
task_etp.txt.o372538.50:z = -70;
task_etp.txt.o372538.50:z = -71;
task_etp.txt.o372538.50:z = -72;
task_etp.txt.o372538.50:z = -73;
task_etp.txt.o372538.50:z = -74;
task_etp.txt.o372538.50:z = -75;
task_etp.txt.o372538.50:z = -76;
task_etp.txt.o372538.50:z = -77;
task_etp.txt.o372538.50:z = -78;
task_etp.txt.o372538.50:z = -79;
task_etp.txt.o372538.50:z = -80;
task_etp.txt.o372538.50:z = -81;
task_etp.txt.o372538.50:z = -82;
task_etp.txt.o372538.50:z = -83;
task_etp.txt.o372538.50:z = -84;
task_etp.txt.o372538.50:z = -85;
task_etp.txt.o372538.50:z = -86;
task_etp.txt.o372538.50:z = -87;
task_etp.txt.o372538.50:z = -88;
task_etp.txt.o372538.50:z = -89;
task_etp.txt.o372538.50:z = -92;
task_etp.txt.o372538.50:z = -93;
task_etp.txt.o372538.50:z = -94;
task_etp.txt.o372538.50:z = -95;
task_etp.txt.o372538.50:z = -96;
task_etp.txt.o372538.50:z = -97;
task_etp.txt.o372538.50:z = -98;
task_etp.txt.o372538.50:z = -99;
task_etp.txt.o372538.50:z = -101;
task_etp.txt.o372538.50:z = -102;
task_etp.txt.o372538.50:z = -103;
task_etp.txt.o372538.50:z = -104;
task_etp.txt.o372538.50:z = -105;
task_etp.txt.o372538.50:z = -106;
task_etp.txt.o372538.50:z = -107;
task_etp.txt.o372538.50:z = -108;
task_etp.txt.o372538.50:z = -109;
task_etp.txt.o372538.50:z = -110;
task_etp.txt.o372538.50:z = -111;
task_etp.txt.o372538.50:z = -112;
task_etp.txt.o372538.50:z = -113;
task_etp.txt.o372538.50:z = -114;
task_etp.txt.o372538.50:z = -116;
task_etp.txt.o372538.50:z = -117;
task_etp.txt.o372538.51:z = -81;
task_etp.txt.o372538.51:% Wall time: 610.005015
task_etp.txt.o372538.51:% Conflicts: 35319
task_etp.txt.o372538.52:z = -81;
task_etp.txt.o372538.52:% Wall time: 610.024383
task_etp.txt.o372538.52:% Conflicts: 30825
task_etp.txt.o372538.53:z = -81;
task_etp.txt.o372538.53:% Wall time: 610.011309
task_etp.txt.o372538.53:% Conflicts: 35916
task_etp.txt.o372538.54:z = -81;
task_etp.txt.o372538.54:% Wall time: 610.000526
task_etp.txt.o372538.54:% Conflicts: 36619
task_etp.txt.o372538.55:z = -72;
task_etp.txt.o372538.55:% Wall time: 610.006754
task_etp.txt.o372538.55:% Conflicts: 7841
task_etp.txt.o372538.56:z = -77;
task_etp.txt.o372538.56:% Wall time: 610.000281
task_etp.txt.o372538.56:% Conflicts: 9683
task_etp.txt.o372538.57:z = -66;
task_etp.txt.o372538.57:% Wall time: 610.014414
task_etp.txt.o372538.57:% Conflicts: 16066
task_etp.txt.o372538.58:31720 conflicts
task_etp.txt.o372538.58:65.29 seconds search time
task_etp.txt.o372538.58:z = 6;
task_etp.txt.o372538.58:z = -31;
task_etp.txt.o372538.58:z = -33;
task_etp.txt.o372538.58:z = -35;
task_etp.txt.o372538.58:z = -36;
task_etp.txt.o372538.58:z = -37;
task_etp.txt.o372538.58:z = -38;
task_etp.txt.o372538.58:z = -39;
task_etp.txt.o372538.58:z = -40;
task_etp.txt.o372538.58:z = -42;
task_etp.txt.o372538.58:z = -44;
task_etp.txt.o372538.58:z = -45;
task_etp.txt.o372538.58:z = -46;
task_etp.txt.o372538.58:z = -47;
task_etp.txt.o372538.58:z = -49;
task_etp.txt.o372538.58:z = -50;
task_etp.txt.o372538.58:z = -51;
task_etp.txt.o372538.58:z = -53;
task_etp.txt.o372538.58:z = -54;
task_etp.txt.o372538.58:z = -56;
task_etp.txt.o372538.58:z = -57;
task_etp.txt.o372538.58:z = -58;
task_etp.txt.o372538.58:z = -60;
task_etp.txt.o372538.58:z = -61;
task_etp.txt.o372538.58:z = -63;
task_etp.txt.o372538.58:z = -65;
task_etp.txt.o372538.58:z = -66;
task_etp.txt.o372538.58:z = -67;
task_etp.txt.o372538.58:z = -69;
task_etp.txt.o372538.58:z = -70;
task_etp.txt.o372538.58:z = -71;
task_etp.txt.o372538.58:z = -72;
task_etp.txt.o372538.58:z = -73;
task_etp.txt.o372538.58:z = -74;
task_etp.txt.o372538.58:z = -75;
task_etp.txt.o372538.58:z = -76;
task_etp.txt.o372538.58:z = -77;
task_etp.txt.o372538.58:z = -78;
task_etp.txt.o372538.58:z = -79;
task_etp.txt.o372538.58:z = -80;
task_etp.txt.o372538.58:z = -81;
task_etp.txt.o372538.58:==========
task_etp.txt.o372538.59:12810 conflicts
task_etp.txt.o372538.59:24.35 seconds search time
task_etp.txt.o372538.59:z = 6;
task_etp.txt.o372538.59:z = -31;
task_etp.txt.o372538.59:z = -33;
task_etp.txt.o372538.59:z = -35;
task_etp.txt.o372538.59:z = -36;
task_etp.txt.o372538.59:z = -37;
task_etp.txt.o372538.59:z = -38;
task_etp.txt.o372538.59:z = -39;
task_etp.txt.o372538.59:z = -40;
task_etp.txt.o372538.59:z = -42;
task_etp.txt.o372538.59:z = -44;
task_etp.txt.o372538.59:z = -45;
task_etp.txt.o372538.59:z = -46;
task_etp.txt.o372538.59:z = -47;
task_etp.txt.o372538.59:z = -49;
task_etp.txt.o372538.59:z = -50;
task_etp.txt.o372538.59:z = -51;
task_etp.txt.o372538.59:z = -53;
task_etp.txt.o372538.59:z = -54;
task_etp.txt.o372538.59:z = -56;
task_etp.txt.o372538.59:z = -57;
task_etp.txt.o372538.59:z = -58;
task_etp.txt.o372538.59:z = -60;
task_etp.txt.o372538.59:z = -61;
task_etp.txt.o372538.59:z = -63;
task_etp.txt.o372538.59:z = -65;
task_etp.txt.o372538.59:z = -66;
task_etp.txt.o372538.59:z = -67;
task_etp.txt.o372538.59:z = -69;
task_etp.txt.o372538.59:z = -70;
task_etp.txt.o372538.59:z = -71;
task_etp.txt.o372538.59:z = -72;
task_etp.txt.o372538.59:z = -73;
task_etp.txt.o372538.59:z = -74;
task_etp.txt.o372538.59:z = -75;
task_etp.txt.o372538.59:z = -76;
task_etp.txt.o372538.59:z = -77;
task_etp.txt.o372538.59:z = -78;
task_etp.txt.o372538.59:z = -79;
task_etp.txt.o372538.59:z = -80;
task_etp.txt.o372538.59:z = -81;
task_etp.txt.o372538.59:==========
task_etp.txt.o372538.6:z = -86;
task_etp.txt.o372538.6:==========
task_etp.txt.o372538.6:% Wall time: 111.902769
task_etp.txt.o372538.6:% Conflicts: 1232
task_etp.txt.o372538.60:4895 conflicts
task_etp.txt.o372538.60:21.25 seconds search time
task_etp.txt.o372538.60:z = 6;
task_etp.txt.o372538.60:z = -6;
task_etp.txt.o372538.60:z = -23;
task_etp.txt.o372538.60:z = -34;
task_etp.txt.o372538.60:z = -43;
task_etp.txt.o372538.60:z = -49;
task_etp.txt.o372538.60:z = -50;
task_etp.txt.o372538.60:z = -53;
task_etp.txt.o372538.60:z = -55;
task_etp.txt.o372538.60:z = -56;
task_etp.txt.o372538.60:z = -57;
task_etp.txt.o372538.60:z = -63;
task_etp.txt.o372538.60:z = -65;
task_etp.txt.o372538.60:z = -66;
task_etp.txt.o372538.60:z = -67;
task_etp.txt.o372538.60:z = -68;
task_etp.txt.o372538.60:z = -69;
task_etp.txt.o372538.60:z = -71;
task_etp.txt.o372538.60:z = -72;
task_etp.txt.o372538.60:z = -73;
task_etp.txt.o372538.60:z = -74;
task_etp.txt.o372538.60:z = -75;
task_etp.txt.o372538.60:z = -76;
task_etp.txt.o372538.60:z = -77;
task_etp.txt.o372538.60:z = -78;
task_etp.txt.o372538.60:z = -79;
task_etp.txt.o372538.60:z = -80;
task_etp.txt.o372538.60:z = -81;
task_etp.txt.o372538.60:==========
task_etp.txt.o372538.61:z = -87;
task_etp.txt.o372538.61:==========
task_etp.txt.o372538.61:% Wall time: 151.473715
task_etp.txt.o372538.61:% Conflicts: 26167
task_etp.txt.o372538.62:z = -87;
task_etp.txt.o372538.62:==========
task_etp.txt.o372538.62:% Wall time: 154.632357
task_etp.txt.o372538.62:% Conflicts: 25501
task_etp.txt.o372538.63:z = -87;
task_etp.txt.o372538.63:==========
task_etp.txt.o372538.63:% Wall time: 214.735467
task_etp.txt.o372538.63:% Conflicts: 32941
task_etp.txt.o372538.64:z = -87;
task_etp.txt.o372538.64:==========
task_etp.txt.o372538.64:% Wall time: 190.474392
task_etp.txt.o372538.64:% Conflicts: 24766
task_etp.txt.o372538.65:z = -87;
task_etp.txt.o372538.65:==========
task_etp.txt.o372538.65:% Wall time: 226.702424
task_etp.txt.o372538.65:% Conflicts: 15359
task_etp.txt.o372538.66:z = -87;
task_etp.txt.o372538.66:==========
task_etp.txt.o372538.66:% Wall time: 219.121587
task_etp.txt.o372538.66:% Conflicts: 2239
task_etp.txt.o372538.67:z = -87;
task_etp.txt.o372538.67:==========
task_etp.txt.o372538.67:% Wall time: 63.094969
task_etp.txt.o372538.67:% Conflicts: 2694
task_etp.txt.o372538.68:14210 conflicts
task_etp.txt.o372538.68:5.51 seconds search time
task_etp.txt.o372538.68:z = 111;
task_etp.txt.o372538.68:z = 73;
task_etp.txt.o372538.68:z = 63;
task_etp.txt.o372538.68:z = 33;
task_etp.txt.o372538.68:z = 9;
task_etp.txt.o372538.68:z = 4;
task_etp.txt.o372538.68:z = -11;
task_etp.txt.o372538.68:z = -14;
task_etp.txt.o372538.68:z = -19;
task_etp.txt.o372538.68:z = -20;
task_etp.txt.o372538.68:z = -22;
task_etp.txt.o372538.68:z = -24;
task_etp.txt.o372538.68:z = -25;
task_etp.txt.o372538.68:z = -26;
task_etp.txt.o372538.68:z = -27;
task_etp.txt.o372538.68:z = -28;
task_etp.txt.o372538.68:z = -29;
task_etp.txt.o372538.68:z = -30;
task_etp.txt.o372538.68:z = -32;
task_etp.txt.o372538.68:z = -33;
task_etp.txt.o372538.68:z = -34;
task_etp.txt.o372538.68:z = -35;
task_etp.txt.o372538.68:z = -36;
task_etp.txt.o372538.68:z = -37;
task_etp.txt.o372538.68:z = -38;
task_etp.txt.o372538.68:z = -39;
task_etp.txt.o372538.68:z = -40;
task_etp.txt.o372538.68:z = -41;
task_etp.txt.o372538.68:z = -42;
task_etp.txt.o372538.68:z = -43;
task_etp.txt.o372538.68:z = -44;
task_etp.txt.o372538.68:z = -45;
task_etp.txt.o372538.68:z = -46;
task_etp.txt.o372538.68:z = -47;
task_etp.txt.o372538.68:z = -48;
task_etp.txt.o372538.68:z = -49;
task_etp.txt.o372538.68:z = -50;
task_etp.txt.o372538.68:z = -51;
task_etp.txt.o372538.68:z = -53;
task_etp.txt.o372538.68:z = -54;
task_etp.txt.o372538.68:z = -55;
task_etp.txt.o372538.68:z = -57;
task_etp.txt.o372538.68:z = -58;
task_etp.txt.o372538.68:z = -59;
task_etp.txt.o372538.68:z = -60;
task_etp.txt.o372538.68:z = -61;
task_etp.txt.o372538.68:z = -62;
task_etp.txt.o372538.68:z = -63;
task_etp.txt.o372538.68:z = -64;
task_etp.txt.o372538.68:z = -65;
task_etp.txt.o372538.68:z = -66;
task_etp.txt.o372538.68:z = -67;
task_etp.txt.o372538.68:z = -68;
task_etp.txt.o372538.68:z = -69;
task_etp.txt.o372538.68:z = -70;
task_etp.txt.o372538.68:z = -71;
task_etp.txt.o372538.68:z = -72;
task_etp.txt.o372538.68:z = -73;
task_etp.txt.o372538.68:z = -74;
task_etp.txt.o372538.68:z = -75;
task_etp.txt.o372538.68:z = -76;
task_etp.txt.o372538.68:z = -77;
task_etp.txt.o372538.68:z = -78;
task_etp.txt.o372538.68:z = -79;
task_etp.txt.o372538.68:z = -80;
task_etp.txt.o372538.68:z = -81;
task_etp.txt.o372538.68:z = -82;
task_etp.txt.o372538.68:z = -83;
task_etp.txt.o372538.68:z = -84;
task_etp.txt.o372538.68:z = -85;
task_etp.txt.o372538.68:z = -86;
task_etp.txt.o372538.68:z = -87;
task_etp.txt.o372538.68:==========
task_etp.txt.o372538.69:15261 conflicts
task_etp.txt.o372538.69:27.74 seconds search time
task_etp.txt.o372538.69:z = 111;
task_etp.txt.o372538.69:z = 73;
task_etp.txt.o372538.69:z = 63;
task_etp.txt.o372538.69:z = 33;
task_etp.txt.o372538.69:z = 9;
task_etp.txt.o372538.69:z = 4;
task_etp.txt.o372538.69:z = -11;
task_etp.txt.o372538.69:z = -14;
task_etp.txt.o372538.69:z = -19;
task_etp.txt.o372538.69:z = -20;
task_etp.txt.o372538.69:z = -22;
task_etp.txt.o372538.69:z = -24;
task_etp.txt.o372538.69:z = -25;
task_etp.txt.o372538.69:z = -26;
task_etp.txt.o372538.69:z = -27;
task_etp.txt.o372538.69:z = -28;
task_etp.txt.o372538.69:z = -29;
task_etp.txt.o372538.69:z = -30;
task_etp.txt.o372538.69:z = -32;
task_etp.txt.o372538.69:z = -33;
task_etp.txt.o372538.69:z = -34;
task_etp.txt.o372538.69:z = -35;
task_etp.txt.o372538.69:z = -36;
task_etp.txt.o372538.69:z = -37;
task_etp.txt.o372538.69:z = -38;
task_etp.txt.o372538.69:z = -39;
task_etp.txt.o372538.69:z = -40;
task_etp.txt.o372538.69:z = -41;
task_etp.txt.o372538.69:z = -42;
task_etp.txt.o372538.69:z = -43;
task_etp.txt.o372538.69:z = -44;
task_etp.txt.o372538.69:z = -45;
task_etp.txt.o372538.69:z = -46;
task_etp.txt.o372538.69:z = -47;
task_etp.txt.o372538.69:z = -48;
task_etp.txt.o372538.69:z = -49;
task_etp.txt.o372538.69:z = -50;
task_etp.txt.o372538.69:z = -51;
task_etp.txt.o372538.69:z = -53;
task_etp.txt.o372538.69:z = -54;
task_etp.txt.o372538.69:z = -55;
task_etp.txt.o372538.69:z = -57;
task_etp.txt.o372538.69:z = -58;
task_etp.txt.o372538.69:z = -59;
task_etp.txt.o372538.69:z = -60;
task_etp.txt.o372538.69:z = -61;
task_etp.txt.o372538.69:z = -62;
task_etp.txt.o372538.69:z = -63;
task_etp.txt.o372538.69:z = -64;
task_etp.txt.o372538.69:z = -65;
task_etp.txt.o372538.69:z = -66;
task_etp.txt.o372538.69:z = -67;
task_etp.txt.o372538.69:z = -68;
task_etp.txt.o372538.69:z = -69;
task_etp.txt.o372538.69:z = -70;
task_etp.txt.o372538.69:z = -71;
task_etp.txt.o372538.69:z = -72;
task_etp.txt.o372538.69:z = -73;
task_etp.txt.o372538.69:z = -74;
task_etp.txt.o372538.69:z = -75;
task_etp.txt.o372538.69:z = -76;
task_etp.txt.o372538.69:z = -77;
task_etp.txt.o372538.69:z = -78;
task_etp.txt.o372538.69:z = -79;
task_etp.txt.o372538.69:z = -80;
task_etp.txt.o372538.69:z = -81;
task_etp.txt.o372538.69:z = -82;
task_etp.txt.o372538.69:z = -83;
task_etp.txt.o372538.69:z = -84;
task_etp.txt.o372538.69:z = -85;
task_etp.txt.o372538.69:z = -86;
task_etp.txt.o372538.69:z = -87;
task_etp.txt.o372538.69:==========
task_etp.txt.o372538.7:z = -86;
task_etp.txt.o372538.7:==========
task_etp.txt.o372538.7:% Wall time: 19.218827
task_etp.txt.o372538.7:% Conflicts: 855
task_etp.txt.o372538.70:5742 conflicts
task_etp.txt.o372538.70:6.89 seconds search time
task_etp.txt.o372538.70:z = 111;
task_etp.txt.o372538.70:z = 73;
task_etp.txt.o372538.70:z = 63;
task_etp.txt.o372538.70:z = 33;
task_etp.txt.o372538.70:z = 26;
task_etp.txt.o372538.70:z = 22;
task_etp.txt.o372538.70:z = 19;
task_etp.txt.o372538.70:z = 16;
task_etp.txt.o372538.70:z = 1;
task_etp.txt.o372538.70:z = -8;
task_etp.txt.o372538.70:z = -11;
task_etp.txt.o372538.70:z = -40;
task_etp.txt.o372538.70:z = -41;
task_etp.txt.o372538.70:z = -42;
task_etp.txt.o372538.70:z = -43;
task_etp.txt.o372538.70:z = -44;
task_etp.txt.o372538.70:z = -45;
task_etp.txt.o372538.70:z = -46;
task_etp.txt.o372538.70:z = -49;
task_etp.txt.o372538.70:z = -51;
task_etp.txt.o372538.70:z = -52;
task_etp.txt.o372538.70:z = -53;
task_etp.txt.o372538.70:z = -54;
task_etp.txt.o372538.70:z = -55;
task_etp.txt.o372538.70:z = -59;
task_etp.txt.o372538.70:z = -60;
task_etp.txt.o372538.70:z = -62;
task_etp.txt.o372538.70:z = -63;
task_etp.txt.o372538.70:z = -64;
task_etp.txt.o372538.70:z = -65;
task_etp.txt.o372538.70:z = -66;
task_etp.txt.o372538.70:z = -67;
task_etp.txt.o372538.70:z = -68;
task_etp.txt.o372538.70:z = -69;
task_etp.txt.o372538.70:z = -70;
task_etp.txt.o372538.70:z = -71;
task_etp.txt.o372538.70:z = -72;
task_etp.txt.o372538.70:z = -73;
task_etp.txt.o372538.70:z = -74;
task_etp.txt.o372538.70:z = -75;
task_etp.txt.o372538.70:z = -76;
task_etp.txt.o372538.70:z = -77;
task_etp.txt.o372538.70:z = -78;
task_etp.txt.o372538.70:z = -79;
task_etp.txt.o372538.70:z = -80;
task_etp.txt.o372538.70:z = -81;
task_etp.txt.o372538.70:z = -82;
task_etp.txt.o372538.70:z = -83;
task_etp.txt.o372538.70:z = -84;
task_etp.txt.o372538.70:z = -85;
task_etp.txt.o372538.70:z = -86;
task_etp.txt.o372538.70:z = -87;
task_etp.txt.o372538.70:==========
task_etp.txt.o372538.71:z = -131;
task_etp.txt.o372538.71:% Wall time: 610.002177
task_etp.txt.o372538.71:% Conflicts: 173730
task_etp.txt.o372538.72:z = -131;
task_etp.txt.o372538.72:% Wall time: 610.000499
task_etp.txt.o372538.72:% Conflicts: 176338
task_etp.txt.o372538.73:z = -131;
task_etp.txt.o372538.73:% Wall time: 610.002034
task_etp.txt.o372538.73:% Conflicts: 165523
task_etp.txt.o372538.74:z = -131;
task_etp.txt.o372538.74:% Wall time: 610.009165
task_etp.txt.o372538.74:% Conflicts: 129875
task_etp.txt.o372538.75:z = -130;
task_etp.txt.o372538.75:% Wall time: 610.034355
task_etp.txt.o372538.75:% Conflicts: 19911
task_etp.txt.o372538.76:z = -131;
task_etp.txt.o372538.76:% Wall time: 610.014506
task_etp.txt.o372538.76:% Conflicts: 9536
task_etp.txt.o372538.77:z = -128;
task_etp.txt.o372538.77:% Wall time: 610.037375
task_etp.txt.o372538.77:% Conflicts: 12994
task_etp.txt.o372538.78:125687 conflicts
task_etp.txt.o372538.78:96.62 seconds search time
task_etp.txt.o372538.78:z = 20;
task_etp.txt.o372538.78:z = -15;
task_etp.txt.o372538.78:z = -21;
task_etp.txt.o372538.78:z = -42;
task_etp.txt.o372538.78:z = -43;
task_etp.txt.o372538.78:z = -46;
task_etp.txt.o372538.78:z = -47;
task_etp.txt.o372538.78:z = -50;
task_etp.txt.o372538.78:z = -51;
task_etp.txt.o372538.78:z = -52;
task_etp.txt.o372538.78:z = -55;
task_etp.txt.o372538.78:z = -56;
task_etp.txt.o372538.78:z = -58;
task_etp.txt.o372538.78:z = -59;
task_etp.txt.o372538.78:z = -60;
task_etp.txt.o372538.78:z = -61;
task_etp.txt.o372538.78:z = -64;
task_etp.txt.o372538.78:z = -65;
task_etp.txt.o372538.78:z = -68;
task_etp.txt.o372538.78:z = -69;
task_etp.txt.o372538.78:z = -72;
task_etp.txt.o372538.78:z = -73;
task_etp.txt.o372538.78:z = -74;
task_etp.txt.o372538.78:z = -77;
task_etp.txt.o372538.78:z = -78;
task_etp.txt.o372538.78:z = -80;
task_etp.txt.o372538.78:z = -81;
task_etp.txt.o372538.78:z = -82;
task_etp.txt.o372538.78:z = -85;
task_etp.txt.o372538.78:z = -86;
task_etp.txt.o372538.78:z = -87;
task_etp.txt.o372538.78:z = -88;
task_etp.txt.o372538.78:z = -89;
task_etp.txt.o372538.78:z = -90;
task_etp.txt.o372538.78:z = -91;
task_etp.txt.o372538.78:z = -93;
task_etp.txt.o372538.78:z = -95;
task_etp.txt.o372538.78:z = -96;
task_etp.txt.o372538.78:z = -97;
task_etp.txt.o372538.78:z = -98;
task_etp.txt.o372538.78:z = -99;
task_etp.txt.o372538.78:z = -100;
task_etp.txt.o372538.78:z = -101;
task_etp.txt.o372538.78:z = -102;
task_etp.txt.o372538.78:z = -103;
task_etp.txt.o372538.78:z = -104;
task_etp.txt.o372538.78:z = -105;
task_etp.txt.o372538.78:z = -106;
task_etp.txt.o372538.78:z = -107;
task_etp.txt.o372538.78:z = -108;
task_etp.txt.o372538.78:z = -109;
task_etp.txt.o372538.78:z = -110;
task_etp.txt.o372538.78:z = -111;
task_etp.txt.o372538.78:z = -112;
task_etp.txt.o372538.78:z = -113;
task_etp.txt.o372538.78:z = -114;
task_etp.txt.o372538.78:z = -115;
task_etp.txt.o372538.78:z = -116;
task_etp.txt.o372538.78:z = -117;
task_etp.txt.o372538.78:z = -118;
task_etp.txt.o372538.78:z = -119;
task_etp.txt.o372538.78:z = -120;
task_etp.txt.o372538.78:z = -121;
task_etp.txt.o372538.78:z = -122;
task_etp.txt.o372538.78:z = -123;
task_etp.txt.o372538.78:z = -124;
task_etp.txt.o372538.78:z = -125;
task_etp.txt.o372538.78:z = -126;
task_etp.txt.o372538.78:z = -128;
task_etp.txt.o372538.78:z = -129;
task_etp.txt.o372538.78:z = -130;
task_etp.txt.o372538.78:z = -131;
task_etp.txt.o372538.78:==========
task_etp.txt.o372538.79:70529 conflicts
task_etp.txt.o372538.79:76.47 seconds search time
task_etp.txt.o372538.79:z = 20;
task_etp.txt.o372538.79:z = -15;
task_etp.txt.o372538.79:z = -21;
task_etp.txt.o372538.79:z = -42;
task_etp.txt.o372538.79:z = -43;
task_etp.txt.o372538.79:z = -46;
task_etp.txt.o372538.79:z = -47;
task_etp.txt.o372538.79:z = -50;
task_etp.txt.o372538.79:z = -51;
task_etp.txt.o372538.79:z = -52;
task_etp.txt.o372538.79:z = -55;
task_etp.txt.o372538.79:z = -56;
task_etp.txt.o372538.79:z = -58;
task_etp.txt.o372538.79:z = -59;
task_etp.txt.o372538.79:z = -60;
task_etp.txt.o372538.79:z = -61;
task_etp.txt.o372538.79:z = -64;
task_etp.txt.o372538.79:z = -65;
task_etp.txt.o372538.79:z = -68;
task_etp.txt.o372538.79:z = -69;
task_etp.txt.o372538.79:z = -72;
task_etp.txt.o372538.79:z = -73;
task_etp.txt.o372538.79:z = -74;
task_etp.txt.o372538.79:z = -77;
task_etp.txt.o372538.79:z = -78;
task_etp.txt.o372538.79:z = -80;
task_etp.txt.o372538.79:z = -81;
task_etp.txt.o372538.79:z = -82;
task_etp.txt.o372538.79:z = -85;
task_etp.txt.o372538.79:z = -86;
task_etp.txt.o372538.79:z = -87;
task_etp.txt.o372538.79:z = -88;
task_etp.txt.o372538.79:z = -89;
task_etp.txt.o372538.79:z = -90;
task_etp.txt.o372538.79:z = -91;
task_etp.txt.o372538.79:z = -93;
task_etp.txt.o372538.79:z = -95;
task_etp.txt.o372538.79:z = -96;
task_etp.txt.o372538.79:z = -97;
task_etp.txt.o372538.79:z = -98;
task_etp.txt.o372538.79:z = -99;
task_etp.txt.o372538.79:z = -100;
task_etp.txt.o372538.79:z = -101;
task_etp.txt.o372538.79:z = -102;
task_etp.txt.o372538.79:z = -103;
task_etp.txt.o372538.79:z = -104;
task_etp.txt.o372538.79:z = -105;
task_etp.txt.o372538.79:z = -106;
task_etp.txt.o372538.79:z = -107;
task_etp.txt.o372538.79:z = -108;
task_etp.txt.o372538.79:z = -109;
task_etp.txt.o372538.79:z = -110;
task_etp.txt.o372538.79:z = -111;
task_etp.txt.o372538.79:z = -112;
task_etp.txt.o372538.79:z = -113;
task_etp.txt.o372538.79:z = -114;
task_etp.txt.o372538.79:z = -115;
task_etp.txt.o372538.79:z = -116;
task_etp.txt.o372538.79:z = -117;
task_etp.txt.o372538.79:z = -118;
task_etp.txt.o372538.79:z = -119;
task_etp.txt.o372538.79:z = -120;
task_etp.txt.o372538.79:z = -121;
task_etp.txt.o372538.79:z = -122;
task_etp.txt.o372538.79:z = -123;
task_etp.txt.o372538.79:z = -124;
task_etp.txt.o372538.79:z = -125;
task_etp.txt.o372538.79:z = -126;
task_etp.txt.o372538.79:z = -128;
task_etp.txt.o372538.79:z = -129;
task_etp.txt.o372538.79:z = -130;
task_etp.txt.o372538.79:z = -131;
task_etp.txt.o372538.79:==========
task_etp.txt.o372538.8:21264 conflicts
task_etp.txt.o372538.8:8.93 seconds search time
task_etp.txt.o372538.8:z = 72;
task_etp.txt.o372538.8:z = 64;
task_etp.txt.o372538.8:z = 35;
task_etp.txt.o372538.8:z = 11;
task_etp.txt.o372538.8:z = 9;
task_etp.txt.o372538.8:z = -6;
task_etp.txt.o372538.8:z = -7;
task_etp.txt.o372538.8:z = -8;
task_etp.txt.o372538.8:z = -9;
task_etp.txt.o372538.8:z = -11;
task_etp.txt.o372538.8:z = -12;
task_etp.txt.o372538.8:z = -13;
task_etp.txt.o372538.8:z = -15;
task_etp.txt.o372538.8:z = -16;
task_etp.txt.o372538.8:z = -17;
task_etp.txt.o372538.8:z = -18;
task_etp.txt.o372538.8:z = -19;
task_etp.txt.o372538.8:z = -20;
task_etp.txt.o372538.8:z = -21;
task_etp.txt.o372538.8:z = -23;
task_etp.txt.o372538.8:z = -25;
task_etp.txt.o372538.8:z = -26;
task_etp.txt.o372538.8:z = -28;
task_etp.txt.o372538.8:z = -29;
task_etp.txt.o372538.8:z = -31;
task_etp.txt.o372538.8:z = -32;
task_etp.txt.o372538.8:z = -33;
task_etp.txt.o372538.8:z = -35;
task_etp.txt.o372538.8:z = -36;
task_etp.txt.o372538.8:z = -37;
task_etp.txt.o372538.8:z = -39;
task_etp.txt.o372538.8:z = -40;
task_etp.txt.o372538.8:z = -41;
task_etp.txt.o372538.8:z = -43;
task_etp.txt.o372538.8:z = -44;
task_etp.txt.o372538.8:z = -45;
task_etp.txt.o372538.8:z = -47;
task_etp.txt.o372538.8:z = -48;
task_etp.txt.o372538.8:z = -49;
task_etp.txt.o372538.8:z = -50;
task_etp.txt.o372538.8:z = -51;
task_etp.txt.o372538.8:z = -52;
task_etp.txt.o372538.8:z = -53;
task_etp.txt.o372538.8:z = -54;
task_etp.txt.o372538.8:z = -55;
task_etp.txt.o372538.8:z = -56;
task_etp.txt.o372538.8:z = -57;
task_etp.txt.o372538.8:z = -58;
task_etp.txt.o372538.8:z = -59;
task_etp.txt.o372538.8:z = -60;
task_etp.txt.o372538.8:z = -61;
task_etp.txt.o372538.8:z = -62;
task_etp.txt.o372538.8:z = -63;
task_etp.txt.o372538.8:z = -64;
task_etp.txt.o372538.8:z = -65;
task_etp.txt.o372538.8:z = -66;
task_etp.txt.o372538.8:z = -67;
task_etp.txt.o372538.8:z = -68;
task_etp.txt.o372538.8:z = -69;
task_etp.txt.o372538.8:z = -70;
task_etp.txt.o372538.8:z = -71;
task_etp.txt.o372538.8:z = -72;
task_etp.txt.o372538.8:z = -73;
task_etp.txt.o372538.8:z = -74;
task_etp.txt.o372538.8:z = -75;
task_etp.txt.o372538.8:z = -76;
task_etp.txt.o372538.8:z = -77;
task_etp.txt.o372538.8:z = -78;
task_etp.txt.o372538.8:z = -79;
task_etp.txt.o372538.8:z = -80;
task_etp.txt.o372538.8:z = -81;
task_etp.txt.o372538.8:z = -82;
task_etp.txt.o372538.8:z = -83;
task_etp.txt.o372538.8:z = -84;
task_etp.txt.o372538.8:z = -85;
task_etp.txt.o372538.8:z = -86;
task_etp.txt.o372538.8:==========
task_etp.txt.o372538.80:25334 conflicts
task_etp.txt.o372538.80:77.16 seconds search time
task_etp.txt.o372538.80:z = 20;
task_etp.txt.o372538.80:z = 14;
task_etp.txt.o372538.80:z = -12;
task_etp.txt.o372538.80:z = -17;
task_etp.txt.o372538.80:z = -23;
task_etp.txt.o372538.80:z = -26;
task_etp.txt.o372538.80:z = -50;
task_etp.txt.o372538.80:z = -51;
task_etp.txt.o372538.80:z = -52;
task_etp.txt.o372538.80:z = -54;
task_etp.txt.o372538.80:z = -55;
task_etp.txt.o372538.80:z = -56;
task_etp.txt.o372538.80:z = -58;
task_etp.txt.o372538.80:z = -59;
task_etp.txt.o372538.80:z = -60;
task_etp.txt.o372538.80:z = -64;
task_etp.txt.o372538.80:z = -67;
task_etp.txt.o372538.80:z = -68;
task_etp.txt.o372538.80:z = -69;
task_etp.txt.o372538.80:z = -71;
task_etp.txt.o372538.80:z = -75;
task_etp.txt.o372538.80:z = -78;
task_etp.txt.o372538.80:z = -80;
task_etp.txt.o372538.80:z = -84;
task_etp.txt.o372538.80:z = -87;
task_etp.txt.o372538.80:z = -88;
task_etp.txt.o372538.80:z = -90;
task_etp.txt.o372538.80:z = -92;
task_etp.txt.o372538.80:z = -94;
task_etp.txt.o372538.80:z = -95;
task_etp.txt.o372538.80:z = -97;
task_etp.txt.o372538.80:z = -98;
task_etp.txt.o372538.80:z = -102;
task_etp.txt.o372538.80:z = -104;
task_etp.txt.o372538.80:z = -107;
task_etp.txt.o372538.80:z = -108;
task_etp.txt.o372538.80:z = -110;
task_etp.txt.o372538.80:z = -112;
task_etp.txt.o372538.80:z = -113;
task_etp.txt.o372538.80:z = -114;
task_etp.txt.o372538.80:z = -115;
task_etp.txt.o372538.80:z = -116;
task_etp.txt.o372538.80:z = -118;
task_etp.txt.o372538.80:z = -121;
task_etp.txt.o372538.80:z = -124;
task_etp.txt.o372538.80:z = -125;
task_etp.txt.o372538.80:z = -127;
task_etp.txt.o372538.80:z = -128;
task_etp.txt.o372538.80:z = -129;
task_etp.txt.o372538.80:z = -130;
task_etp.txt.o372538.80:z = -131;
task_etp.txt.o372538.80:==========
task_etp.txt.o372538.81:z = -96;
task_etp.txt.o372538.81:==========
task_etp.txt.o372538.81:% Wall time: 27.828500
task_etp.txt.o372538.81:% Conflicts: 1916
task_etp.txt.o372538.82:z = -96;
task_etp.txt.o372538.82:==========
task_etp.txt.o372538.82:% Wall time: 35.724823
task_etp.txt.o372538.82:% Conflicts: 3038
task_etp.txt.o372538.83:z = -96;
task_etp.txt.o372538.83:% Wall time: 610.021355
task_etp.txt.o372538.83:% Conflicts: 31431
task_etp.txt.o372538.84:z = -96;
task_etp.txt.o372538.84:==========
task_etp.txt.o372538.84:% Wall time: 37.452351
task_etp.txt.o372538.84:% Conflicts: 2595
task_etp.txt.o372538.85:z = -96;
task_etp.txt.o372538.85:==========
task_etp.txt.o372538.85:% Wall time: 12.749889
task_etp.txt.o372538.85:% Conflicts: 726
task_etp.txt.o372538.86:z = -96;
task_etp.txt.o372538.86:==========
task_etp.txt.o372538.86:% Wall time: 85.770036
task_etp.txt.o372538.86:% Conflicts: 507
task_etp.txt.o372538.87:z = -96;
task_etp.txt.o372538.87:==========
task_etp.txt.o372538.87:% Wall time: 16.306935
task_etp.txt.o372538.87:% Conflicts: 376
task_etp.txt.o372538.88:497 conflicts
task_etp.txt.o372538.88:0.98 seconds search time
task_etp.txt.o372538.88:z = 82;
task_etp.txt.o372538.88:z = 52;
task_etp.txt.o372538.88:z = 51;
task_etp.txt.o372538.88:z = 16;
task_etp.txt.o372538.88:z = 4;
task_etp.txt.o372538.88:z = -2;
task_etp.txt.o372538.88:z = -30;
task_etp.txt.o372538.88:z = -31;
task_etp.txt.o372538.88:z = -32;
task_etp.txt.o372538.88:z = -36;
task_etp.txt.o372538.88:z = -37;
task_etp.txt.o372538.88:z = -38;
task_etp.txt.o372538.88:z = -41;
task_etp.txt.o372538.88:z = -42;
task_etp.txt.o372538.88:z = -43;
task_etp.txt.o372538.88:z = -44;
task_etp.txt.o372538.88:z = -47;
task_etp.txt.o372538.88:z = -48;
task_etp.txt.o372538.88:z = -49;
task_etp.txt.o372538.88:z = -50;
task_etp.txt.o372538.88:z = -53;
task_etp.txt.o372538.88:z = -54;
task_etp.txt.o372538.88:z = -57;
task_etp.txt.o372538.88:z = -58;
task_etp.txt.o372538.88:z = -59;
task_etp.txt.o372538.88:z = -60;
task_etp.txt.o372538.88:z = -63;
task_etp.txt.o372538.88:z = -64;
task_etp.txt.o372538.88:z = -67;
task_etp.txt.o372538.88:z = -68;
task_etp.txt.o372538.88:z = -69;
task_etp.txt.o372538.88:z = -72;
task_etp.txt.o372538.88:z = -73;
task_etp.txt.o372538.88:z = -75;
task_etp.txt.o372538.88:z = -76;
task_etp.txt.o372538.88:z = -77;
task_etp.txt.o372538.88:z = -78;
task_etp.txt.o372538.88:z = -79;
task_etp.txt.o372538.88:z = -81;
task_etp.txt.o372538.88:z = -82;
task_etp.txt.o372538.88:z = -83;
task_etp.txt.o372538.88:z = -84;
task_etp.txt.o372538.88:z = -85;
task_etp.txt.o372538.88:z = -88;
task_etp.txt.o372538.88:z = -89;
task_etp.txt.o372538.88:z = -91;
task_etp.txt.o372538.88:z = -93;
task_etp.txt.o372538.88:z = -96;
task_etp.txt.o372538.88:==========
task_etp.txt.o372538.89:347 conflicts
task_etp.txt.o372538.89:1.27 seconds search time
task_etp.txt.o372538.89:z = 82;
task_etp.txt.o372538.89:z = 52;
task_etp.txt.o372538.89:z = 51;
task_etp.txt.o372538.89:z = 16;
task_etp.txt.o372538.89:z = 4;
task_etp.txt.o372538.89:z = -2;
task_etp.txt.o372538.89:z = -30;
task_etp.txt.o372538.89:z = -31;
task_etp.txt.o372538.89:z = -32;
task_etp.txt.o372538.89:z = -36;
task_etp.txt.o372538.89:z = -37;
task_etp.txt.o372538.89:z = -38;
task_etp.txt.o372538.89:z = -41;
task_etp.txt.o372538.89:z = -42;
task_etp.txt.o372538.89:z = -43;
task_etp.txt.o372538.89:z = -44;
task_etp.txt.o372538.89:z = -47;
task_etp.txt.o372538.89:z = -48;
task_etp.txt.o372538.89:z = -49;
task_etp.txt.o372538.89:z = -50;
task_etp.txt.o372538.89:z = -53;
task_etp.txt.o372538.89:z = -54;
task_etp.txt.o372538.89:z = -57;
task_etp.txt.o372538.89:z = -58;
task_etp.txt.o372538.89:z = -59;
task_etp.txt.o372538.89:z = -60;
task_etp.txt.o372538.89:z = -63;
task_etp.txt.o372538.89:z = -64;
task_etp.txt.o372538.89:z = -67;
task_etp.txt.o372538.89:z = -68;
task_etp.txt.o372538.89:z = -69;
task_etp.txt.o372538.89:z = -72;
task_etp.txt.o372538.89:z = -73;
task_etp.txt.o372538.89:z = -75;
task_etp.txt.o372538.89:z = -76;
task_etp.txt.o372538.89:z = -77;
task_etp.txt.o372538.89:z = -78;
task_etp.txt.o372538.89:z = -79;
task_etp.txt.o372538.89:z = -81;
task_etp.txt.o372538.89:z = -82;
task_etp.txt.o372538.89:z = -83;
task_etp.txt.o372538.89:z = -84;
task_etp.txt.o372538.89:z = -85;
task_etp.txt.o372538.89:z = -88;
task_etp.txt.o372538.89:z = -89;
task_etp.txt.o372538.89:z = -91;
task_etp.txt.o372538.89:z = -93;
task_etp.txt.o372538.89:z = -96;
task_etp.txt.o372538.89:==========
task_etp.txt.o372538.9:15832 conflicts
task_etp.txt.o372538.9:15.10 seconds search time
task_etp.txt.o372538.9:z = 72;
task_etp.txt.o372538.9:z = 64;
task_etp.txt.o372538.9:z = 35;
task_etp.txt.o372538.9:z = 11;
task_etp.txt.o372538.9:z = 9;
task_etp.txt.o372538.9:z = -6;
task_etp.txt.o372538.9:z = -7;
task_etp.txt.o372538.9:z = -8;
task_etp.txt.o372538.9:z = -9;
task_etp.txt.o372538.9:z = -11;
task_etp.txt.o372538.9:z = -12;
task_etp.txt.o372538.9:z = -13;
task_etp.txt.o372538.9:z = -15;
task_etp.txt.o372538.9:z = -16;
task_etp.txt.o372538.9:z = -17;
task_etp.txt.o372538.9:z = -18;
task_etp.txt.o372538.9:z = -19;
task_etp.txt.o372538.9:z = -20;
task_etp.txt.o372538.9:z = -21;
task_etp.txt.o372538.9:z = -23;
task_etp.txt.o372538.9:z = -25;
task_etp.txt.o372538.9:z = -26;
task_etp.txt.o372538.9:z = -28;
task_etp.txt.o372538.9:z = -29;
task_etp.txt.o372538.9:z = -31;
task_etp.txt.o372538.9:z = -32;
task_etp.txt.o372538.9:z = -33;
task_etp.txt.o372538.9:z = -35;
task_etp.txt.o372538.9:z = -36;
task_etp.txt.o372538.9:z = -37;
task_etp.txt.o372538.9:z = -39;
task_etp.txt.o372538.9:z = -40;
task_etp.txt.o372538.9:z = -41;
task_etp.txt.o372538.9:z = -43;
task_etp.txt.o372538.9:z = -44;
task_etp.txt.o372538.9:z = -45;
task_etp.txt.o372538.9:z = -47;
task_etp.txt.o372538.9:z = -48;
task_etp.txt.o372538.9:z = -49;
task_etp.txt.o372538.9:z = -50;
task_etp.txt.o372538.9:z = -51;
task_etp.txt.o372538.9:z = -52;
task_etp.txt.o372538.9:z = -53;
task_etp.txt.o372538.9:z = -54;
task_etp.txt.o372538.9:z = -55;
task_etp.txt.o372538.9:z = -56;
task_etp.txt.o372538.9:z = -57;
task_etp.txt.o372538.9:z = -58;
task_etp.txt.o372538.9:z = -59;
task_etp.txt.o372538.9:z = -60;
task_etp.txt.o372538.9:z = -61;
task_etp.txt.o372538.9:z = -62;
task_etp.txt.o372538.9:z = -63;
task_etp.txt.o372538.9:z = -64;
task_etp.txt.o372538.9:z = -65;
task_etp.txt.o372538.9:z = -66;
task_etp.txt.o372538.9:z = -67;
task_etp.txt.o372538.9:z = -68;
task_etp.txt.o372538.9:z = -69;
task_etp.txt.o372538.9:z = -70;
task_etp.txt.o372538.9:z = -71;
task_etp.txt.o372538.9:z = -72;
task_etp.txt.o372538.9:z = -73;
task_etp.txt.o372538.9:z = -74;
task_etp.txt.o372538.9:z = -75;
task_etp.txt.o372538.9:z = -76;
task_etp.txt.o372538.9:z = -77;
task_etp.txt.o372538.9:z = -78;
task_etp.txt.o372538.9:z = -79;
task_etp.txt.o372538.9:z = -80;
task_etp.txt.o372538.9:z = -81;
task_etp.txt.o372538.9:z = -82;
task_etp.txt.o372538.9:z = -83;
task_etp.txt.o372538.9:z = -84;
task_etp.txt.o372538.9:z = -85;
task_etp.txt.o372538.9:z = -86;
task_etp.txt.o372538.9:==========
task_etp.txt.o372538.90:309 conflicts
task_etp.txt.o372538.90:1.05 seconds search time
task_etp.txt.o372538.90:z = 82;
task_etp.txt.o372538.90:z = 52;
task_etp.txt.o372538.90:z = 51;
task_etp.txt.o372538.90:z = 16;
task_etp.txt.o372538.90:z = 11;
task_etp.txt.o372538.90:z = 6;
task_etp.txt.o372538.90:z = 3;
task_etp.txt.o372538.90:z = 0;
task_etp.txt.o372538.90:z = -1;
task_etp.txt.o372538.90:z = -9;
task_etp.txt.o372538.90:z = -10;
task_etp.txt.o372538.90:z = -14;
task_etp.txt.o372538.90:z = -21;
task_etp.txt.o372538.90:z = -59;
task_etp.txt.o372538.90:z = -61;
task_etp.txt.o372538.90:z = -66;
task_etp.txt.o372538.90:z = -67;
task_etp.txt.o372538.90:z = -72;
task_etp.txt.o372538.90:z = -76;
task_etp.txt.o372538.90:z = -80;
task_etp.txt.o372538.90:z = -82;
task_etp.txt.o372538.90:z = -83;
task_etp.txt.o372538.90:z = -84;
task_etp.txt.o372538.90:z = -87;
task_etp.txt.o372538.90:z = -90;
task_etp.txt.o372538.90:z = -92;
task_etp.txt.o372538.90:z = -93;
task_etp.txt.o372538.90:z = -96;
task_etp.txt.o372538.90:==========
task_etp.txt.o372538.91:z = -94;
task_etp.txt.o372538.91:==========
task_etp.txt.o372538.91:% Wall time: 38.443466
task_etp.txt.o372538.91:% Conflicts: 4030
task_etp.txt.o372538.92:z = -94;
task_etp.txt.o372538.92:==========
task_etp.txt.o372538.92:% Wall time: 32.045351
task_etp.txt.o372538.92:% Conflicts: 4075
task_etp.txt.o372538.93:z = -94;
task_etp.txt.o372538.93:==========
task_etp.txt.o372538.93:% Wall time: 33.763426
task_etp.txt.o372538.93:% Conflicts: 4063
task_etp.txt.o372538.94:z = -94;
task_etp.txt.o372538.94:==========
task_etp.txt.o372538.94:% Wall time: 33.943392
task_etp.txt.o372538.94:% Conflicts: 4022
task_etp.txt.o372538.95:z = -94;
task_etp.txt.o372538.95:==========
task_etp.txt.o372538.95:% Wall time: 40.051544
task_etp.txt.o372538.95:% Conflicts: 2158
task_etp.txt.o372538.96:z = -94;
task_etp.txt.o372538.96:==========
task_etp.txt.o372538.96:% Wall time: 25.549764
task_etp.txt.o372538.96:% Conflicts: 292
task_etp.txt.o372538.97:z = -94;
task_etp.txt.o372538.97:==========
task_etp.txt.o372538.97:% Wall time: 14.556253
task_etp.txt.o372538.97:% Conflicts: 359
task_etp.txt.o372538.98:1209 conflicts
task_etp.txt.o372538.98:1.23 seconds search time
task_etp.txt.o372538.98:z = 50;
task_etp.txt.o372538.98:z = 30;
task_etp.txt.o372538.98:z = 26;
task_etp.txt.o372538.98:z = 22;
task_etp.txt.o372538.98:z = 19;
task_etp.txt.o372538.98:z = 17;
task_etp.txt.o372538.98:z = 12;
task_etp.txt.o372538.98:z = 11;
task_etp.txt.o372538.98:z = 9;
task_etp.txt.o372538.98:z = 7;
task_etp.txt.o372538.98:z = 4;
task_etp.txt.o372538.98:z = 3;
task_etp.txt.o372538.98:z = 0;
task_etp.txt.o372538.98:z = -1;
task_etp.txt.o372538.98:z = -4;
task_etp.txt.o372538.98:z = -5;
task_etp.txt.o372538.98:z = -7;
task_etp.txt.o372538.98:z = -8;
task_etp.txt.o372538.98:z = -10;
task_etp.txt.o372538.98:z = -11;
task_etp.txt.o372538.98:z = -13;
task_etp.txt.o372538.98:z = -16;
task_etp.txt.o372538.98:z = -17;
task_etp.txt.o372538.98:z = -19;
task_etp.txt.o372538.98:z = -22;
task_etp.txt.o372538.98:z = -30;
task_etp.txt.o372538.98:z = -31;
task_etp.txt.o372538.98:z = -36;
task_etp.txt.o372538.98:z = -38;
task_etp.txt.o372538.98:z = -39;
task_etp.txt.o372538.98:z = -41;
task_etp.txt.o372538.98:z = -43;
task_etp.txt.o372538.98:z = -46;
task_etp.txt.o372538.98:z = -47;
task_etp.txt.o372538.98:z = -49;
task_etp.txt.o372538.98:z = -50;
task_etp.txt.o372538.98:z = -51;
task_etp.txt.o372538.98:z = -52;
task_etp.txt.o372538.98:z = -53;
task_etp.txt.o372538.98:z = -54;
task_etp.txt.o372538.98:z = -55;
task_etp.txt.o372538.98:z = -56;
task_etp.txt.o372538.98:z = -57;
task_etp.txt.o372538.98:z = -58;
task_etp.txt.o372538.98:z = -59;
task_etp.txt.o372538.98:z = -60;
task_etp.txt.o372538.98:z = -61;
task_etp.txt.o372538.98:z = -62;
task_etp.txt.o372538.98:z = -63;
task_etp.txt.o372538.98:z = -64;
task_etp.txt.o372538.98:z = -65;
task_etp.txt.o372538.98:z = -66;
task_etp.txt.o372538.98:z = -67;
task_etp.txt.o372538.98:z = -68;
task_etp.txt.o372538.98:z = -69;
task_etp.txt.o372538.98:z = -70;
task_etp.txt.o372538.98:z = -71;
task_etp.txt.o372538.98:z = -72;
task_etp.txt.o372538.98:z = -73;
task_etp.txt.o372538.98:z = -74;
task_etp.txt.o372538.98:z = -75;
task_etp.txt.o372538.98:z = -76;
task_etp.txt.o372538.98:z = -77;
task_etp.txt.o372538.98:z = -78;
task_etp.txt.o372538.98:z = -79;
task_etp.txt.o372538.98:z = -80;
task_etp.txt.o372538.98:z = -81;
task_etp.txt.o372538.98:z = -82;
task_etp.txt.o372538.98:z = -83;
task_etp.txt.o372538.98:z = -84;
task_etp.txt.o372538.98:z = -85;
task_etp.txt.o372538.98:z = -86;
task_etp.txt.o372538.98:z = -87;
task_etp.txt.o372538.98:z = -88;
task_etp.txt.o372538.98:z = -89;
task_etp.txt.o372538.98:z = -90;
task_etp.txt.o372538.98:z = -91;
task_etp.txt.o372538.98:z = -92;
task_etp.txt.o372538.98:z = -93;
task_etp.txt.o372538.98:z = -94;
task_etp.txt.o372538.98:==========
task_etp.txt.o372538.99:1133 conflicts
task_etp.txt.o372538.99:2.09 seconds search time
task_etp.txt.o372538.99:z = 50;
task_etp.txt.o372538.99:z = 30;
task_etp.txt.o372538.99:z = 26;
task_etp.txt.o372538.99:z = 22;
task_etp.txt.o372538.99:z = 19;
task_etp.txt.o372538.99:z = 17;
task_etp.txt.o372538.99:z = 12;
task_etp.txt.o372538.99:z = 11;
task_etp.txt.o372538.99:z = 9;
task_etp.txt.o372538.99:z = 7;
task_etp.txt.o372538.99:z = 4;
task_etp.txt.o372538.99:z = 3;
task_etp.txt.o372538.99:z = 0;
task_etp.txt.o372538.99:z = -1;
task_etp.txt.o372538.99:z = -4;
task_etp.txt.o372538.99:z = -5;
task_etp.txt.o372538.99:z = -7;
task_etp.txt.o372538.99:z = -8;
task_etp.txt.o372538.99:z = -10;
task_etp.txt.o372538.99:z = -11;
task_etp.txt.o372538.99:z = -13;
task_etp.txt.o372538.99:z = -16;
task_etp.txt.o372538.99:z = -17;
task_etp.txt.o372538.99:z = -19;
task_etp.txt.o372538.99:z = -22;
task_etp.txt.o372538.99:z = -30;
task_etp.txt.o372538.99:z = -31;
task_etp.txt.o372538.99:z = -36;
task_etp.txt.o372538.99:z = -38;
task_etp.txt.o372538.99:z = -39;
task_etp.txt.o372538.99:z = -41;
task_etp.txt.o372538.99:z = -43;
task_etp.txt.o372538.99:z = -46;
task_etp.txt.o372538.99:z = -47;
task_etp.txt.o372538.99:z = -49;
task_etp.txt.o372538.99:z = -50;
task_etp.txt.o372538.99:z = -51;
task_etp.txt.o372538.99:z = -52;
task_etp.txt.o372538.99:z = -53;
task_etp.txt.o372538.99:z = -54;
task_etp.txt.o372538.99:z = -55;
task_etp.txt.o372538.99:z = -56;
task_etp.txt.o372538.99:z = -57;
task_etp.txt.o372538.99:z = -58;
task_etp.txt.o372538.99:z = -59;
task_etp.txt.o372538.99:z = -60;
task_etp.txt.o372538.99:z = -61;
task_etp.txt.o372538.99:z = -62;
task_etp.txt.o372538.99:z = -63;
task_etp.txt.o372538.99:z = -64;
task_etp.txt.o372538.99:z = -65;
task_etp.txt.o372538.99:z = -66;
task_etp.txt.o372538.99:z = -67;
task_etp.txt.o372538.99:z = -68;
task_etp.txt.o372538.99:z = -69;
task_etp.txt.o372538.99:z = -70;
task_etp.txt.o372538.99:z = -71;
task_etp.txt.o372538.99:z = -72;
task_etp.txt.o372538.99:z = -73;
task_etp.txt.o372538.99:z = -74;
task_etp.txt.o372538.99:z = -75;
task_etp.txt.o372538.99:z = -76;
task_etp.txt.o372538.99:z = -77;
task_etp.txt.o372538.99:z = -78;
task_etp.txt.o372538.99:z = -79;
task_etp.txt.o372538.99:z = -80;
task_etp.txt.o372538.99:z = -81;
task_etp.txt.o372538.99:z = -82;
task_etp.txt.o372538.99:z = -83;
task_etp.txt.o372538.99:z = -84;
task_etp.txt.o372538.99:z = -85;
task_etp.txt.o372538.99:z = -86;
task_etp.txt.o372538.99:z = -87;
task_etp.txt.o372538.99:z = -88;
task_etp.txt.o372538.99:z = -89;
task_etp.txt.o372538.99:z = -90;
task_etp.txt.o372538.99:z = -91;
task_etp.txt.o372538.99:z = -92;
task_etp.txt.o372538.99:z = -93;
task_etp.txt.o372538.99:z = -94;
task_etp.txt.o372538.99:==========